../ mainloop.dvi 31-Aug-2005 22:56 51K mainloop.tex 31-Aug-2005 22:34 40K mainloop1.mf 31-Aug-2005 22:56 832 mainloop2.mf 31-Aug-2005 22:56 1244 mainloop3.mf 31-Aug-2005 22:56 1347 mainloop4.mf 31-Aug-2005 22:56 616 mainloop5.mf 31-Aug-2005 22:56 737 mainloop6.mf 31-Aug-2005 22:56 13K running.dvi 30-Aug-2005 00:41 7400 running.tex 31-Aug-2005 21:31 5962 wants.dvi 31-Aug-2005 22:06 6556 wants.tex 31-Aug-2005 22:06 4481