O "EXTENDED TEX FONT ENCODING - LATINTEX-DEJAVSMONO-BOLD  '``'``00pp|'0 `gpPpqqq|ppq||pqqppp|p@0{{|{q{q 4CVI z  ! X 6,8M~(7Z~(!Qc `',-<>`` 4 4