../ hiformat.hnt 01-Jul-2025 19:35 1151826 hiformat.pdf 01-Jul-2025 19:35 1328247 hintmac.tex 01-Jul-2025 19:35 46317 hitexman.hnt 01-Jul-2025 19:35 548767 hitexman.pdf 01-Jul-2025 19:35 276857 hitexman.tex 01-Jul-2025 19:35 63942