g(T,E,T/E/1e7).
-N:-N<10,\+put(48);write(N).
m:-prompt1(''),readln([T]),maplist(g(T),"\x07\x09\x0c\x0f\x12\x16\x19\x1c\x1f$'*08?BFJMRV[q",P),sublist(<(1),P,X),length(X,C),R is T-C,convert_time(R,Y,M,D,H,N,S,_),-Y,put(-),-M,put(-),-D,put(32),-H,put(:),-N,put(:),-S,nl,m.
Note that non-ascii characters in the above source code will be escaped (such as \x9f).