../ hiformat.hnt 17-Jul-2024 19:35 1093728 hiformat.pdf 17-Jul-2024 19:35 1292888 hintmac.tex 17-Jul-2024 19:35 45994 hitexman.hnt 17-Jul-2024 19:35 542761 hitexman.pdf 17-Jul-2024 19:35 237043 hitexman.tex 17-Jul-2024 19:35 40743