random_1_7.txt


入力

出力