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