<?php
$hi = fopen('php://stdin', "r"); #$ho = fopen('php://stdout', "w");
fscanf($hi, "%d %d", $n1,$n2); echo "%d %d\n", $n1,$n2;
#fclose($ho);
?>
PD9waHAKIAokaGkgPSBmb3BlbigncGhwOi8vc3RkaW4nLCAiciIpOwojJGhvID0gZm9wZW4oJ3BocDovL3N0ZG91dCcsICJ3Iik7CiAKIApmc2NhbmYoJGhpLCAiJWQgJWQiLCAkbjEsJG4yKTsKZWNobyAiJWQgJWRcbiIsICRuMSwkbjI7CiAKIAojZmNsb3NlKCRobyk7CmZjbG9zZSgkaGkpOwogCj8+