BEGIN {
}
{
num = $1;
if(num == 42)
else
printf("%d . %d . %d\n", $
0, $
2, $
3); }
END {
}
QkVHSU4gewoKfQoKewoJbnVtID0gJDE7CglpZihudW0gPT0gNDIpCgkJZXhpdDsKCWVsc2UKCQlwcmludGYoIiVkXG4iLCBudW0pOwoJcHJpbnRmKCIlZCAuICVkIC4gJWRcbiIsICQwLCAkMiwgJDMpOwp9CgpFTkQgewoKfQ==