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