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