Attention: The time limit was revised to 3.0 seconds. The size of the input file does not exceed 15.0 MiB.