test_rand31.txt


入力

出力