testcase_17


入力

出力