../ batch.zip 17-Jul-2024 19:35 2240 doc_dvi.zip 17-Jul-2024 19:35 256932 doc_tex.zip 17-Jul-2024 19:35 187720 inrsinpu.zip 17-Jul-2024 19:35 33913 inrstex.zip 17-Jul-2024 19:35 110879 readme.txt 17-Jul-2024 19:35 10203 texgraph.zip 17-Jul-2024 19:35 184639