(loop(format t"~{~3*~A-~2,'0D-~2,'0D ~2,'0D:~2,'0D:~2,'0D
~}"(reverse(multiple-value-list(decode-universal-time(-(set'i(read))-2208956435(or(nth(floor i 15768d3)(map'list'char-int"#####$%%&&''(())**++,,,--..////00000111223333445566677788899999999999999"))58))-9)))))