#include "stdio.h"
#include "string.h"
int main(void) {
char line[256];
while (fgets(line
, 256, stdin
) && strcmp(line
, "12345\n") != 0){}
return 0;
}
I2luY2x1ZGUgInN0ZGlvLmgiCiNpbmNsdWRlICJzdHJpbmcuaCIKCmludCBtYWluKHZvaWQpIHsKICAgIGNoYXIgbGluZVsyNTZdOwogICAgd2hpbGUgKGZnZXRzKGxpbmUsIDI1Niwgc3RkaW4pICYmIHN0cmNtcChsaW5lLCAiMTIzNDVcbiIpICE9IDApe30KICAgIGlmIChmZ2V0cyhsaW5lLCAyNTYsIHN0ZGluKSkge3B1dHMobGluZSk7fQogICAgCiAgICByZXR1cm4gMDsKfQ==