random_tiny10.txt


入力

出力