test_rand13.txt


入力

出力