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