#include <stdio.h>
#include <time.h>
int main(void) {
char buf[256];
time_t t1 = 61;
strftime(buf
, sizeof(buf
), "%Y-%m-%d %H:%M:%S", t2
); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDx0aW1lLmg+CgppbnQgbWFpbih2b2lkKSB7CgljaGFyIGJ1ZlsyNTZdOwoJCgl0aW1lX3QgdDEgPSA2MTsKCXN0cnVjdCB0bSAqdDIgPSBsb2NhbHRpbWUoJnQxKTsKCQoJc3RyZnRpbWUoYnVmLCBzaXplb2YoYnVmKSwgIiVZLSVtLSVkICVIOiVNOiVTIiwgdDIpOwoJcHJpbnRmKCJUaW1lIGlzOiAlc1xuIiwgYnVmKTsKCXJldHVybiAwOwp9Cg==