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