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