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