../ hiformat.hnt 29-Jun-2024 19:36 1093728 hiformat.pdf 29-Jun-2024 19:36 1292888 hintmac.tex 29-Jun-2024 19:36 45994 hitexman.hnt 29-Jun-2024 19:36 542761 hitexman.pdf 29-Jun-2024 19:36 237043 hitexman.tex 29-Jun-2024 19:36 40743