#Sat Nov 19 13:07:42 EET 2005
digits_filename=digits.c
oldmap_filename=oldmap.c
oldmap_submit_time=2005.11.19 13\:07\:42
oldmap=2000003
digits=2000002
digits_submit_time=2005.11.19 13\:02\:33
