#Sat Apr 29 18:26:43 EEST 2006
mini01_filename=mini.out.txt
mini01_submit_time=2006.04.29 18\:26\:42
mini01=2000003
