../ variant1-utf8-doc.tex 12-Dec-2024 19:33 1522 variant2-utf8-doc.tex 12-Dec-2024 19:33 1522 variant3-utf8-doc.tex 12-Dec-2024 19:33 1524