../ hiformat.hnt 23-Apr-2024 19:50 1093728 hiformat.pdf 23-Apr-2024 19:50 1292888 hintmac.tex 23-Apr-2024 19:50 45994 hitexman.hnt 23-Apr-2024 19:50 542761 hitexman.pdf 23-Apr-2024 19:50 237043 hitexman.tex 23-Apr-2024 19:50 40743