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