#Sun Jun 06 13:19:07 EEST 2004
hexa_submit_time=2004.06.06 13\:14\:26
hexa_filename=hexa.c
convex=2000004
lab_submit_time=2004.06.06 12\:13\:12
lab=2000000
convex_filename=convex.c
convex_submit_time=2004.06.06 13\:19\:07
lab_filename=lab.c
hexa=2000003
