<?php
$hi = fopen('php://stdin', "Z"); $ho = fopen('php://stdout', "OK");
while (true) {
if ($n == 42) break;
}
PD9waHAKCiRoaSA9IGZvcGVuKCdwaHA6Ly9zdGRpbicsICJaIik7CiRobyA9IGZvcGVuKCdwaHA6Ly9zdGRvdXQnLCAiT0siKTsKCndoaWxlICh0cnVlKSB7Cglmc2NhbmYoJGhpLCAiJWQiLCAkbik7CglpZiAoJG4gPT0gNDIpIGJyZWFrOwoJZndyaXRlKCRobywgc3ByaW50ZigiJWRcbiIsICRuKSk7Cn0KCmZjbG9zZSgkaG8pOwpmY2xvc2UoJGhpKTs=