01small013.txt


入力

出力