random_tiny4.txt


入力

出力