../ hiformat.hnt 25-Oct-2024 19:35 1093728 hiformat.pdf 25-Oct-2024 19:35 1292888 hintmac.tex 25-Oct-2024 19:35 45994 hitexman.hnt 25-Oct-2024 19:35 542761 hitexman.pdf 25-Oct-2024 19:35 237043 hitexman.tex 25-Oct-2024 19:35 40743