k=n_0.txt


入力

出力