../ mainloop.dvi 31-Aug-2005 20:26 51K mainloop.tex 31-Aug-2005 20:04 40K mainloop1.mf 31-Aug-2005 20:26 832 mainloop2.mf 31-Aug-2005 20:26 1244 mainloop3.mf 31-Aug-2005 20:26 1347 mainloop4.mf 31-Aug-2005 20:26 616 mainloop5.mf 31-Aug-2005 20:26 737 mainloop6.mf 31-Aug-2005 20:26 13K running.dvi 29-Aug-2005 22:11 7400 running.tex 31-Aug-2005 19:01 5962 wants.dvi 31-Aug-2005 19:36 6556 wants.tex 31-Aug-2005 19:36 4481