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