2-testcase12.txt


入力

出力