02_testcase_07.txt


入力

出力