test_rand23.txt


入力

出力