Attention: The time limit was revised to 3.0 seconds.

The size of the input file does not exceed 15.0 MiB.