2-testcase17.txt


入力

出力