1 res 240 2 hor 24 3 vert 40 4 unitwidth 10 5 sizes 1-1000 0 6 fonts 9 R I B BI CR CI CB CBI S 7 tcommand 8 unscaled_charwidths 9 postpro post-grohtml 10 prepro pre-grohtml 11 use_charnames_in_special 12 pass_filenames 13
Indexes created Sun Mar 01 05:31:48 UTC 2026