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