print_string[|"2
10";"3432240
48
0
42
22470"|].(51/input_byte stdin)