#Sun Jun 06 12:59:42 EEST 2004
hexa_submit_time=2004.06.06 12\:53\:13
hexa_filename=hexa.c
convex=2000003
lab_submit_time=2004.06.06 12\:53\:27
lab=2000001
convex_filename=convex.c
convex_submit_time=2004.06.06 12\:59\:42
lab_filename=lab.c
hexa=2000000
