#Sat Nov 19 12:53:22 EST 2005
green_filename=green.c
n23_filename=n23.c
n23=2000003
n23_submit_time=2005.11.19 12\:53\:21
green=2000002
green_submit_time=2005.11.19 11\:00\:17
