#load"unix.cma"open Unix open Printf let a=(read_int())mod 7;;a=0&String.iter(fun t->let a=gmtime(read_float()-.float(Char.code t-48))in printf"%d-%02d-%02d %02d:%02d:%02d "(a.tm_year+1900)(a.tm_mon+1)a.tm_mday a.tm_hour a.tm_min a.tm_sec)"000002345688:;<<=>>@AACDEFFFFFFGGGGGGGGGGGGGGGGGG"=printf"1970-01-01 00:00:00 "||()=for i=57to 99do printf"%s:4%d:%02d "[|"1973-03-03 09";"2001-09-09 01"|].(a/4)[|6;i/60+5|].(a/4)[|i-40;i mod 60|].(a/4)done
Note that non-ascii characters in the above source code will be escaped (such as \x9f).