1res 240 2hor 24 3vert 40 4unitwidth 10 5sizes 1-1000 0 6fonts 9 R I B BI CR CI CB CBI S 7tcommand 8unscaled_charwidths 9postpro post-grohtml 10prepro pre-grohtml 11use_charnames_in_special 12pass_filenames 13