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