../ mainloop.dvi 16-Aug-2024 19:34 52456 mainloop.tex 16-Aug-2024 19:34 41454 mainloop1.mf 16-Aug-2024 19:34 832 mainloop2.mf 16-Aug-2024 19:34 1244 mainloop3.mf 16-Aug-2024 19:34 1347 mainloop4.mf 16-Aug-2024 19:34 616 mainloop5.mf 16-Aug-2024 19:34 737 mainloop6.mf 16-Aug-2024 19:34 13055 running.dvi 16-Aug-2024 19:34 7400 running.tex 16-Aug-2024 19:34 5962 wants.dvi 16-Aug-2024 19:34 6556 wants.tex 16-Aug-2024 19:34 4481