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