random_15.txt


入力

出力