../ hiformat.hnt 17-Mar-2025 19:36 1151826 hiformat.pdf 17-Mar-2025 19:36 1328247 hintmac.tex 17-Mar-2025 19:36 46317 hitexman.hnt 17-Mar-2025 19:36 548767 hitexman.pdf 17-Mar-2025 19:36 276857 hitexman.tex 17-Mar-2025 19:36 63942