%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                      %
%  VERBINP.TEX / VERBINP.STY                                           %
%                                                                      %
%  (c) 1993: Rainer Perske, Zur Gr"afte 10, D-48161 M"unster, Germany  %
%                                                                      %
%  This file may be copied, distributed and modified only unter the    %
%  TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION of  %
%  the GNU GENERAL PUBLIC LICENSE, Version 2, and any later version,   %
%  as published by Free Software Foundation, Inc., 675 Mass Ave,       %
%  Cambridge, MA 02139, USA.                                           %
%                                                                      %
%  Direct any comments about this file to: perske@uni-muenster.de      %
%  For the date of this version see \message line below                %
%                                                                      %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                      %
%  Einf"ugen von Dateien, die dann verbatim ausgegeben werden.         %
%  Die Zeichen hex.A0 bis FF werden optional gem"a"s ISO 8859 Latin 1, %
%  gem"a"s CECP 850 oder gem"a"s CECP 437 gedruckt. Die Steuerzeichen  %
%  hex.00 bis 07, 0E bis 20 und 7F bis 9F werden ebenfalls sinnvoll    %
%  dargestellt, die Steuerzeichen 08 (BS), 09 (HT), 0A (LF), 0B (VT),  %
%  0C (FF) und OD (CR) werden sinnvoll ausgef�hrt, wobei LF, VT, FF    %
%  und CR alle (nur) als Zeilenenden behandelt werden.                 %
%                                                                      %
%  \verbinput{fn} - Datei fn einf"ugen                                 %
%  \verbinputnum{fn} - Datei fn einf"ugen, links mit Zeilennummern     %
%  \verbinputbox{fn} - Datei fn einf"ugen, in Kasten einschlie"sen     %
%  \verbcharset{nnn} - Zeichensatz nnn einstellen, dabei ist nnn eine  %
%    der Zahlen 88591, 850 oder 437. Die Einstellung gilt lokal        %
%                                                                      %
%  Diese Datei ist mit \input in die Pr"aambel einzuf"ugen oder als    %
%  Style-Datei im \documentstyle-/\documentclass-Befehl anzugeben      %
%                                                                      %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\ifx\verbinputdefined\relax\endinput\else\let\verbinputdefined\relax\fi

\message{Verbatim 8 Bit File Input of 23.Aug.1993}

\begingroup
\makeatletter% LaTeX-Buchstabe
\catcode`\:=11% Privater Buchstabe
\catcode`\^^0c=\active\let^^0c=\relax% Outer-Setzung entsch"arfen
\gdef\H:{2.4ex}% Zeilenabstand

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                      %
%  Erster Teil: Definition der Sonderzeichen                           %
%                                                                      %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Kein Zeichen darf so definiert werden, da"s es mit '{' anf"angt,
% da sonst wegen \everypar Schwierigkeiten auftreten k"onnen

% Makro zum Setzen der Dimensionen zur Laufzeit

\newdimen{\w:}
\newdimen{\h:}
\newdimen{\d:}
\newdimen{\x:}
\newdimen{\y:}
\newdimen{\z:}

% Hilfsmakros

\gdef\cbox:#1{\leavevmode{\tt\setbox0=\hbox to\w:{#1}\ht0=\h:\dp0=\d:\box0 }}
\gdef\sym:#1{\cbox:{\hss#1\hss}}
\gdef\bs:{{\hskip-\w:}}
\gdef\up:#1#2{\raise#1\hbox{#2}}
\gdef\cntl:#1{\sym:{\char20 \bs:\up:{.3ex}{\char20 }\bs:\up:{-.4ex}{#1}}}
\gdef\cntl::#1{\sym:{\char94 \bs:\up:{.3ex}{\char94 }\bs:\up:{-.4ex}{#1}}}
\gdef\G:#1{\leavevmode\lower\d:\vbox to\z:{\vss\hbox to\w:{#1\hss}}}
\gdef\B:#1#2#3#4{\hbox to0em{\vrule height0ex depth0ex width#1\x:\vrule
height#2\y: depth-#3\y: width#4\x: \hss}}

% Umdefinierte ASCII-Zeichen

\gdef\:sp{\ }% Feste Blanks
\gdef\:gr{\kern0pt\char96 }% Keine Ligaturen ?` und !`
\gdef\:us{\leavevmode\vrule height-.2\d: depth.5\d: width\w:\relax}% Aussehen

% Definition der Akzente und Umlaute als Makros

\gdef\:acute{\char19 }
\gdef\:angstrom{\char23 }
\gdef\:macron{\char22 }
\gdef\:cedilla{\char24 }
\gdef\:circumflex{\char94 }
\gdef\:grave{\char18 }
\gdef\:tilde{\char126 }
\gdef\:umlaut{\char127 }

\gdef\acu:a{\accent19 a}
\gdef\acu:A{\accent19 A}
\gdef\acu:e{\accent19 e}
\gdef\acu:E{\accent19 E}
\gdef\acu:i{\accent19 \char16 }
\gdef\acu:I{\accent19 I}
\gdef\acu:o{\accent19 o}
\gdef\acu:O{\accent19 O}
\gdef\acu:u{\accent19 u}
\gdef\acu:U{\accent19 U}
\gdef\acu:y{\accent19 y}
\gdef\acu:Y{\accent19 Y}
\gdef\ang:a{\accent23 a}
\gdef\ang:A{\accent23 A}
\gdef\ced:C{C\bs:{\char24 }}
\gdef\ced:c{c\bs:{\char24 }}
\gdef\cir:a{\accent94 a}
\gdef\cir:A{\accent94 A}
\gdef\cir:e{\accent94 e}
\gdef\cir:E{\accent94 E}
\gdef\cir:i{\accent94 \char16 }
\gdef\cir:I{\accent94 I}
\gdef\cir:o{\accent94 o}
\gdef\cir:O{\accent94 O}
\gdef\cir:u{\accent94 u}
\gdef\cir:U{\accent94 U}
\gdef\dia:o{\char28 }
\gdef\dia:O{\char31 }
\gdef\gra:a{\accent18 a}
\gdef\gra:A{\accent18 A}
\gdef\gra:e{\accent18 e}
\gdef\gra:E{\accent18 E}
\gdef\gra:i{\accent18 \char16 }
\gdef\gra:I{\accent18 I}
\gdef\gra:o{\accent18 o}
\gdef\gra:O{\accent18 O}
\gdef\gra:u{\accent18 u}
\gdef\gra:U{\accent18 U}
\gdef\lig:ae{\char26 }
\gdef\lig:AE{\char29 }
\gdef\til:a{\accent126 a}
\gdef\til:A{\accent126 A}
\gdef\til:n{\accent126 n}
\gdef\til:N{\accent126 N}
\gdef\til:o{\accent126 o}
\gdef\til:O{\accent126 O}
\gdef\uml:a{\accent127 a}
\gdef\uml:A{\accent127 A}
\gdef\uml:e{\accent127 e}
\gdef\uml:E{\accent127 E}
\gdef\uml:i{\accent127 \char16 }
\gdef\uml:I{\accent127 I}
\gdef\uml:o{\accent127 o}
\gdef\uml:O{\accent127 O}
\gdef\uml:u{\accent127 u}
\gdef\uml:U{\accent127 U}
\gdef\uml:y{\accent127 y}
\gdef\:eszet{\char25 }

% Definition der graphischen Zeichen im 9x9-Raster als Makros

\gdef\box:full{\G:{\B:0909}}
\gdef\box:halfhigh{\G:{\B:09{4.5}9}}
\gdef\box:halfleft{\G:{\B:090{4.5}}}
\gdef\box:halflow{\G:{\B:0{4.5}09}}
\gdef\box:halfright{\G:{\B:{4.5}90{4.5}}}
\gdef\box:light{\G:{\B:1901\B:4901\B:7901}}
\gdef\box:medium{\G:{\B:{0.5}902\B:{3.5}902\B:{6.5}902}}
\gdef\box:dark{\G:{\B:{0.5}902\B:{3.5}902\B:{6.5}902\B:0879\B:0549\B:0219}}
\gdef\box:small{\G:{\B:3633}}
\gdef\bar:DDLLRR{\G:{\B:0659\B:0432\B:2401\B:6401\B:7432}}
\gdef\bar:DDLL{\G:{\B:0432\B:2401\B:0656\B:6601}}
\gdef\bar:DDRR{\G:{\B:2601\B:3656\B:6401\B:7432}}
\gdef\bar:DLR{\G:{\B:0549\B:4501}}
\gdef\bar:DL{\G:{\B:0544\B:4501}}
\gdef\bar:DR{\G:{\B:4501\B:5544}}
\gdef\bar:LLRR{\G:{\B:0439\B:0659}}
\gdef\bar:LR{\G:{\B:0549}}
\gdef\bar:UDLR{\G:{\B:0549\B:4901}}
\gdef\bar:UDL{\G:{\B:0544\B:4901}}
\gdef\bar:UDR{\G:{\B:4901\B:5544}}
\gdef\bar:UD{\G:{\B:4901}}
\gdef\bar:ULR{\G:{\B:0549\B:4951}}
\gdef\bar:UL{\G:{\B:0544\B:4941}}
\gdef\bar:UR{\G:{\B:4941\B:5544}}
\gdef\bar:UUDDLLRR{\G:{\B:0652\B:2951\B:6951\B:7652\B:0432\B:2401\B:6401\B:7432}}
\gdef\bar:UUDDLL{\G:{\B:0652\B:2951\B:0432\B:2401\B:6901}}
\gdef\bar:UUDDRR{\G:{\B:2901\B:6951\B:7652\B:6401\B:7432}}
\gdef\bar:UUDD{\G:{\B:2901\B:6901}}
\gdef\bar:UULLRR{\G:{\B:0439\B:0652\B:2951\B:6951\B:7652}}
\gdef\bar:UULL{\G:{\B:0652\B:2951\B:0436\B:6931}}
\gdef\bar:UURR{\G:{\B:2931\B:3436\B:6951\B:7652}}
\gdef\bar:UDLL{\G:{\B:0434\B:0654\B:4901}}
\gdef\bar:UUDDL{\G:{\B:0542\B:2901\B:6901}}
\gdef\bar:DDL{\G:{\B:0546\B:2401\B:6501}}
\gdef\bar:DLL{\G:{\B:0434\B:0654\B:4601}}
\gdef\bar:UUL{\G:{\B:0546\B:2951\B:6941}}
\gdef\bar:ULL{\G:{\B:0434\B:0654\B:4931}}
\gdef\bar:UDRR{\G:{\B:4901\B:5435\B:5655}}
\gdef\bar:UUDDR{\G:{\B:2901\B:6901\B:7543}}
\gdef\bar:ULLRR{\G:{\B:0439\B:0659\B:4961}}
\gdef\bar:UULR{\G:{\B:0549\B:2951\B:6951}}
\gdef\bar:DLLRR{\G:{\B:0439\B:0659\B:4401}}
\gdef\bar:DDLR{\G:{\B:0549\B:2401\B:6501}}
\gdef\bar:UUR{\G:{\B:2547\B:2951\B:6951}}
\gdef\bar:URR{\G:{\B:4931\B:5435\B:5655}}
\gdef\bar:DRR{\G:{\B:4601\B:5435\B:5655}}
\gdef\bar:DDR{\G:{\B:2547\B:2401\B:6501}}
\gdef\bar:UUDDLR{\G:{\B:2901\B:6901\B:0549}}
\gdef\bar:UDLLRR{\G:{\B:0439\B:0659\B:4901}}

% Definition der sonstige Zeichen als Makros

\gdef\ctl:at{\cntl:{@}}
\gdef\ctl:a{\cntl:{A}}
\gdef\ctl:b{\cntl:{B}}
\gdef\ctl:c{\cntl:{C}}
\gdef\ctl:d{\cntl:{D}}
\gdef\ctl:e{\cntl:{E}}
\gdef\ctl:f{\cntl:{F}}
\gdef\ctl:g{\cntl:{G}}
\gdef\ctl:h{\cntl:{H}}
\gdef\ctl:i{\cntl:{I}}
\gdef\ctl:j{\cntl:{J}}
\gdef\ctl:k{\cntl:{K}}
\gdef\ctl:l{\cntl:{L}}
\gdef\ctl:m{\cntl:{M}}
\gdef\ctl:n{\cntl:{N}}
\gdef\ctl:o{\cntl:{O}}
\gdef\ctl:p{\cntl:{P}}
\gdef\ctl:q{\cntl:{Q}}
\gdef\ctl:r{\cntl:{R}}
\gdef\ctl:s{\cntl:{S}}
\gdef\ctl:t{\cntl:{T}}
\gdef\ctl:u{\cntl:{U}}
\gdef\ctl:v{\cntl:{V}}
\gdef\ctl:w{\cntl:{W}}
\gdef\ctl:x{\cntl:{X}}
\gdef\ctl:y{\cntl:{Y}}
\gdef\ctl:z{\cntl:{Z}}
\gdef\ctl:a:{\cntl:{[}}
\gdef\ctl:b:{\cntl:{\char92 }}
\gdef\ctl:c:{\cntl:{]}}
\gdef\ctl:d:{\cntl:{\char94 }}
\gdef\ctl:e:{\cntl:{\char95 }}
\gdef\ctl::at{\cntl::{@}}
\gdef\ctl::a{\cntl::{A}}
\gdef\ctl::b{\cntl::{B}}
\gdef\ctl::c{\cntl::{C}}
\gdef\ctl::d{\cntl::{D}}
\gdef\ctl::e{\cntl::{E}}
\gdef\ctl::f{\cntl::{F}}
\gdef\ctl::g{\cntl::{G}}
\gdef\ctl::h{\cntl::{H}}
\gdef\ctl::i{\cntl::{I}}
\gdef\ctl::j{\cntl::{J}}
\gdef\ctl::k{\cntl::{K}}
\gdef\ctl::l{\cntl::{L}}
\gdef\ctl::m{\cntl::{M}}
\gdef\ctl::n{\cntl::{N}}
\gdef\ctl::o{\cntl::{O}}
\gdef\ctl::p{\cntl::{P}}
\gdef\ctl::q{\cntl::{Q}}
\gdef\ctl::r{\cntl::{R}}
\gdef\ctl::s{\cntl::{S}}
\gdef\ctl::t{\cntl::{T}}
\gdef\ctl::u{\cntl::{U}}
\gdef\ctl::v{\cntl::{V}}
\gdef\ctl::w{\cntl::{W}}
\gdef\ctl::x{\cntl::{X}}
\gdef\ctl::y{\cntl::{Y}}
\gdef\ctl::z{\cntl::{Z}}
\gdef\ctl::a:{\cntl::{[}}
\gdef\ctl::b:{\cntl::{\char92 }}
\gdef\ctl::c:{\cntl::{]}}
\gdef\ctl::d:{\cntl::{\char94 }}
\gdef\ctl::e:{\cntl::{\char95 }}
\gdef\:fixedblank{\char32 }
\gdef\:invertedexclamationmark{\char14 }
\gdef\:cent{c\bs:\up:{-.2ex}{\char124 }}
\gdef\:pound{\sym:{\it\char36 }}
\gdef\:currency{\up:{.5\y:}{\sym:{$\scriptstyle\cap$}}\bs:
\up:{\y:}{\sym:{$\scriptstyle\cup$}}}
\gdef\:Yen{Y\bs:\up:{-\y:}{-}}
\gdef\:brokenvbar{\G:{\B:4851\B:4411}}
\gdef\:paragraph{\sym:{S\bs:\up:{-.6ex}{S}}}
\gdef\:copyright{\cbox:{\kern-.2em(\hss\up:{.2ex}{c}\hss)\kern-.2em}}
\gdef\:umera{\cbox:{\up:{.3ex}{\char95 }\bs:\up:{.4ex}{a}}}
\gdef\:frenchleftquotes{\sym:{<\kern-.3em<}}
\gdef\:not{\sym:{-\llap{\up:{-.66ex}{\char13 }\kern-.18em}}}
\gdef\:syllablehyphen{\sym:{\it\char45 }}
\gdef\:registered{\cbox:{\kern-.2em(\hss R\hss)\kern-.2em}}
\gdef\:degree{\sym:{$^\circ$}}
\gdef\:plusminus{+\bs:\char95 }
\gdef\:supertwo{\sym:{$^{\scriptscriptstyle2}$}}
\gdef\:superthree{\sym:{$^{\scriptscriptstyle3}$}}
\gdef\:mu{\sym:{$\mu$}}
\gdef\:paramark{\sym:{\P}}
\gdef\:middledot{\cbox:{\up:{.5ex}{.}}}
\gdef\:superone{\sym:{$^{\scriptscriptstyle1}$}}
\gdef\:umero{\cbox:{\up:{.3ex}{\char95 }\bs:\up:{.4ex}{o}}}
\gdef\:frenchrightquotes{\sym:{>\kern-.3em>}}
\gdef\:onefourth{\up:{\y:}{\sym:{$\scriptstyle{1\over4}$}}}
\gdef\:onehalf{\up:{\y:}{\sym:{$\scriptstyle{1\over2}$}}}
\gdef\:threefourth{\up:{\y:}{\sym:{$\scriptstyle{3\over4}$}}}
\gdef\:invertedquestionmark{\char15 }
\gdef\:Eth{D\bs:-}
\gdef\:eth{d\bs:{\char22 }}
\gdef\:Thorn{\sym:{\rlap{\kern-.07em\rm I}\up:{2\y:}{$\scriptscriptstyle\supset$}}}
\gdef\:thorn{\sym:{\rlap{\kern.08em\vrule height\h: depth\d: width\x:}\up:{0.2ex}{$\scriptscriptstyle\supset$}\kern-\x:}}
%%%\gdef\:thorn{\cbox:{\kern-.17em\up:{-.2ex}{\char124 }\hss o}}%%%naja%%%{\G:{\B:1701}\bs: o}
\gdef\:times{\up:{\y:}{\sym:{$\scriptstyle\times$}}}
\gdef\:div{\up:{\y:}{\sym:{$\scriptstyle\div$}}}
\gdef\:dotlessi{\char16 }
\gdef\:doubleunderscore{\char95 \bs:\up:{-\y:}{\char95 }}
\gdef\:florin{\sym:{\it f}}

\gdef\:alpha{\sym:{$\alpha$}}
\gdef\:approxequal{\up:{\y:}{\sym:{$\scriptstyle\approx$}}}
\gdef\:bigmiddledot{\up:{\y:}{\sym:{$\scriptstyle\bullet$}}}
\gdef\:cut{\sym:{$\cap$}}
\gdef\:Delta{\char1 }
\gdef\:delta{\sym:{$\delta$}}
\gdef\:diameter{\sym:{$\phi$}}
\gdef\:elementof{\sym:{$\in$}}
\gdef\:Gamma{\char0 }
\gdef\:ge{<\bs:\char95 }
\gdef\:identity{\up:{\y:}{\sym:{$\scriptstyle\equiv$}}}
\gdef\:infinity{\up:{\y:}{\sym:{$\scriptstyle\infty$}}}
\gdef\:intlower{\G:{\B:4931\B:2322}}
\gdef\:intupper{\G:{\B:4601\B:5762}}
\gdef\:invertednot{\sym:{\rlap{\kern-.18em\up:{-.66ex}{\char13 }}-}}
\gdef\:le{>\bs:\char95 }
\gdef\:Omega{\char10 }
\gdef\:Pesetas{P\bs:\hbox{\kern1\x: t\kern-1\x:}}
\gdef\:Phi{\char9 }
\gdef\:Pi{\char5 }
\gdef\:root{\up:{\y:}{\sym:{$\scriptscriptstyle\surd$}}}
\gdef\:Sigma{\char6 }
\gdef\:sigma{\sym:{$\sigma$}}
\gdef\:supern{\sym:{$^{\rm n}$}}
\gdef\:tau{\sym:{$\tau$}}
\gdef\:Theta{\char2 }

\gdef\:null{\ }
\gdef\:smile{\G:{\B:2985\B:1821\B:7821\B:2215\B:3761\B:5761\B:3543\B:4431}}
\gdef\:invertedsmile{\G:{\B:2975\B:1822\B:6822\B:2315\B:2655\B:4761\B:2422\B:5422}}
\gdef\:herz{\up:{\y:}{\sym:{$\scriptstyle\heartsuit$}}}
\gdef\:karo{\up:{\y:}{\sym:{$\scriptstyle\diamondsuit$}}}
\gdef\:kreuz{\up:{\y:}{\sym:{$\scriptstyle\clubsuit$}}}
\gdef\:pik{\up:{\y:}{\sym:{$\scriptstyle\spadesuit$}}}
\gdef\:bigdot{\sym:{$\bullet$}}
\gdef\:invertedbigdot{\sym:{$\bullet$}\bs:\G:{\B:0989\B:0109\B:0901\B:8901}}
\gdef\:circ{\sym:{$\circ$}}
\gdef\:invertedcirc{\sym:{$\circ$}\bs:\G:{\B:0989\B:0109\B:0901\B:8901}}
\gdef\:male{o\bs:\up:{3\y:}{\sym:{$\scriptscriptstyle\nearrow$}}}
\gdef\:female{\up:{2\y:}{o}\bs:\up:{-2\y:}{+}}
\gdef\:onenote{\G:{\B:1422\B:3831\B:4873\B:4653\B:7851}}
\gdef\:twonote{\G:{\B:0312\B:2821\B:5422\B:7831\B:3874\B:3654}}
\gdef\:star{\sym:{$\ast$}}
\gdef\:trirt{\sym:{$\triangleright$}}
\gdef\:trilf{\sym:{$\triangleleft$}}
\gdef\:arrupdn{\up:{\y:}{\sym:{$\scriptstyle\updownarrow$}}}
\gdef\:doubleexclamationmark{\cbox:{\kern-.1em!\hss!\kern-.1em}}
\gdef\:bigcursor{\sym:{\vrule height.5ex depth0ex width7\x:}}
\gdef\:updnbar{\up:{\y:}{\sym:{$\scriptstyle\updownarrow$}\bs:\G:{\B:2105}}}
\gdef\:arrup{\up:{\y:}{\sym:{$\scriptstyle\uparrow$}}}
\gdef\:arrdn{\up:{\y:}{\sym:{$\scriptstyle\downarrow$}}}
\gdef\:arrrt{\up:{\y:}{\sym:{$\scriptscriptstyle\rightarrow$}}}
\gdef\:arrlf{\up:{\y:}{\sym:{$\scriptscriptstyle\leftarrow$}}}
\gdef\:mirrorednot{\sym:{\rlap{\kern-.18em\up:{-.10ex}{\char13 }}-}}
\gdef\:arrlfrt{\up:{\y:}{\sym:{$\scriptscriptstyle\leftrightarrow$}}}
\gdef\:triup{\up:{\y:}{\sym:{$\scriptstyle\bigtriangleup$}}}
\gdef\:tridn{\up:{\y:}{\sym:{$\scriptstyle\bigtriangledown$}}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                      %
%  Zweiter Teil: Definition der Makros zum Setzen der Sonderzeichen    %
%                                                                      %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\gdef\verb:normalize{
\catcode`\^^21=11\catcode`\^^22=11\catcode`\^^23=11
\catcode`\^^24=11\catcode`\^^25=11\catcode`\^^26=11\catcode`\^^27=11
\catcode`\^^28=11\catcode`\^^29=11\catcode`\^^2a=11\catcode`\^^2b=11
\catcode`\^^2c=11\catcode`\^^2d=11\catcode`\^^2e=11\catcode`\^^2f=11
\catcode`\^^30=11\catcode`\^^31=11\catcode`\^^32=11\catcode`\^^33=11
\catcode`\^^34=11\catcode`\^^35=11\catcode`\^^36=11\catcode`\^^37=11
\catcode`\^^38=11\catcode`\^^39=11\catcode`\^^3a=11\catcode`\^^3b=11
\catcode`\^^3c=11\catcode`\^^3d=11\catcode`\^^3e=11\catcode`\^^3f=11
\catcode`\^^40=11\catcode`\^^41=11\catcode`\^^42=11\catcode`\^^43=11
\catcode`\^^44=11\catcode`\^^45=11\catcode`\^^46=11\catcode`\^^47=11
\catcode`\^^48=11\catcode`\^^49=11\catcode`\^^4a=11\catcode`\^^4b=11
\catcode`\^^4c=11\catcode`\^^4d=11\catcode`\^^4e=11\catcode`\^^4f=11
\catcode`\^^50=11\catcode`\^^51=11\catcode`\^^52=11\catcode`\^^53=11
\catcode`\^^54=11\catcode`\^^55=11\catcode`\^^56=11\catcode`\^^57=11
\catcode`\^^58=11\catcode`\^^59=11\catcode`\^^5a=11\catcode`\^^5b=11
\catcode`\^^5c=11\catcode`\^^5d=11\catcode`\^^5e=11
\catcode`\^^61=11\catcode`\^^62=11\catcode`\^^63=11
\catcode`\^^64=11\catcode`\^^65=11\catcode`\^^66=11\catcode`\^^67=11
\catcode`\^^68=11\catcode`\^^69=11\catcode`\^^6a=11\catcode`\^^6b=11
\catcode`\^^6c=11\catcode`\^^6d=11\catcode`\^^6e=11\catcode`\^^6f=11
\catcode`\^^70=11\catcode`\^^71=11\catcode`\^^72=11\catcode`\^^73=11
\catcode`\^^74=11\catcode`\^^75=11\catcode`\^^76=11\catcode`\^^77=11
\catcode`\^^78=11\catcode`\^^79=11\catcode`\^^7a=11\catcode`\^^7b=11
\catcode`\^^7c=11\catcode`\^^7d=11\catcode`\^^7e=11
}

\gdef\verb:activate{
\catcode`\^^00=13\catcode`\^^01=13\catcode`\^^02=13\catcode`\^^03=13
\catcode`\^^04=13\catcode`\^^05=13\catcode`\^^06=13\catcode`\^^07=13
\catcode`\^^08=13\catcode`\^^09=13\catcode`\^^0a=13\catcode`\^^0b=13
\catcode`\^^0c=13\catcode`\^^0d=13\catcode`\^^0e=13\catcode`\^^0f=13
\catcode`\^^10=13\catcode`\^^11=13\catcode`\^^12=13\catcode`\^^13=13
\catcode`\^^14=13\catcode`\^^15=13\catcode`\^^16=13\catcode`\^^17=13
\catcode`\^^18=13\catcode`\^^19=13\catcode`\^^1a=13\catcode`\^^1b=13
\catcode`\^^1c=13\catcode`\^^1d=13\catcode`\^^1e=13\catcode`\^^1f=13
\catcode`\^^20=13\catcode`\^^5f=13\catcode`\^^60=13\catcode`\^^7f=13
\catcode`\^^80=13\catcode`\^^81=13\catcode`\^^82=13\catcode`\^^83=13
\catcode`\^^84=13\catcode`\^^85=13\catcode`\^^86=13\catcode`\^^87=13
\catcode`\^^88=13\catcode`\^^89=13\catcode`\^^8a=13\catcode`\^^8b=13
\catcode`\^^8c=13\catcode`\^^8d=13\catcode`\^^8e=13\catcode`\^^8f=13
\catcode`\^^90=13\catcode`\^^91=13\catcode`\^^92=13\catcode`\^^93=13
\catcode`\^^94=13\catcode`\^^95=13\catcode`\^^96=13\catcode`\^^97=13
\catcode`\^^98=13\catcode`\^^99=13\catcode`\^^9a=13\catcode`\^^9b=13
\catcode`\^^9c=13\catcode`\^^9d=13\catcode`\^^9e=13\catcode`\^^9f=13
\catcode`\^^a0=13\catcode`\^^a1=13\catcode`\^^a2=13\catcode`\^^a3=13
\catcode`\^^a4=13\catcode`\^^a5=13\catcode`\^^a6=13\catcode`\^^a7=13
\catcode`\^^a8=13\catcode`\^^a9=13\catcode`\^^aa=13\catcode`\^^ab=13
\catcode`\^^ac=13\catcode`\^^ad=13\catcode`\^^ae=13\catcode`\^^af=13
\catcode`\^^b0=13\catcode`\^^b1=13\catcode`\^^b2=13\catcode`\^^b3=13
\catcode`\^^b4=13\catcode`\^^b5=13\catcode`\^^b6=13\catcode`\^^b7=13
\catcode`\^^b8=13\catcode`\^^b9=13\catcode`\^^ba=13\catcode`\^^bb=13
\catcode`\^^bc=13\catcode`\^^bd=13\catcode`\^^be=13\catcode`\^^bf=13
\catcode`\^^c0=13\catcode`\^^c1=13\catcode`\^^c2=13\catcode`\^^c3=13
\catcode`\^^c4=13\catcode`\^^c5=13\catcode`\^^c6=13\catcode`\^^c7=13
\catcode`\^^c8=13\catcode`\^^c9=13\catcode`\^^ca=13\catcode`\^^cb=13
\catcode`\^^cc=13\catcode`\^^cd=13\catcode`\^^ce=13\catcode`\^^cf=13
\catcode`\^^d0=13\catcode`\^^d1=13\catcode`\^^d2=13\catcode`\^^d3=13
\catcode`\^^d4=13\catcode`\^^d5=13\catcode`\^^d6=13\catcode`\^^d7=13
\catcode`\^^d8=13\catcode`\^^d9=13\catcode`\^^da=13\catcode`\^^db=13
\catcode`\^^dc=13\catcode`\^^dd=13\catcode`\^^de=13\catcode`\^^df=13
\catcode`\^^e0=13\catcode`\^^e1=13\catcode`\^^e2=13\catcode`\^^e3=13
\catcode`\^^e4=13\catcode`\^^e5=13\catcode`\^^e6=13\catcode`\^^e7=13
\catcode`\^^e8=13\catcode`\^^e9=13\catcode`\^^ea=13\catcode`\^^eb=13
\catcode`\^^ec=13\catcode`\^^ed=13\catcode`\^^ee=13\catcode`\^^ef=13
\catcode`\^^f0=13\catcode`\^^f1=13\catcode`\^^f2=13\catcode`\^^f3=13
\catcode`\^^f4=13\catcode`\^^f5=13\catcode`\^^f6=13\catcode`\^^f7=13
\catcode`\^^f8=13\catcode`\^^f9=13\catcode`\^^fa=13\catcode`\^^fb=13
\catcode`\^^fc=13\catcode`\^^fd=13\catcode`\^^fe=13\catcode`\^^ff=13
}

\begingroup
\verb:activate%
%
\gdef\verb:iso{%
\verb:normalize%
\verb:activate%
\let^^00=\ctl:at%
\let^^01=\ctl:a%
\let^^02=\ctl:b%
\let^^03=\ctl:c%
\let^^04=\ctl:d%
\let^^05=\ctl:e%
\let^^06=\ctl:f%
\let^^07=\ctl:g%
\let^^08=\verb:BS%
\let^^09=\verb:HT%
\let^^0a=\verb:LF%
\let^^0b=\verb:VT%
\let^^0c=\verb:FF%
\let^^0d=\verb:CR%
\let^^0e=\ctl:n%
\let^^0f=\ctl:o%
\let^^10=\ctl:p%
\let^^11=\ctl:q%
\let^^12=\ctl:r%
\let^^13=\ctl:s%
\let^^14=\ctl:t%
\let^^15=\ctl:u%
\let^^16=\ctl:v%
\let^^17=\ctl:w%
\let^^18=\ctl:x%
\let^^19=\ctl:y%
\let^^1a=\ctl:z%
\let^^1b=\ctl:a:%
\let^^1c=\ctl:b:%
\let^^1d=\ctl:c:%
\let^^1e=\ctl:d:%
\let^^1f=\ctl:e:%
\let^^20=\:sp%
\let^^5f=\:us%
\let^^60=\:gr%
\let^^7f=\:Delta%
\let^^80=\bar:LR%
\let^^81=\bar:UD%
\let^^82=\bar:UR%
\let^^83=\bar:UL%
\let^^84=\bar:DL%
\let^^85=\bar:DR%
\let^^86=\bar:UDR%
\let^^87=\bar:ULR%
\let^^88=\bar:UDL%
\let^^89=\bar:DLR%
\let^^8a=\bar:UDLR%
\let^^8b=\box:light%
\let^^8c=\box:medium%
\let^^8d=\box:dark%
\let^^8e=\:dotlessi%
\let^^8f=\:doubleunderscore%
\let^^90=\bar:LLRR%
\let^^91=\bar:UUDD%
\let^^92=\bar:UURR%
\let^^93=\bar:UULL%
\let^^94=\bar:DDLL%
\let^^95=\bar:DDRR%
\let^^96=\bar:UUDDRR%
\let^^97=\bar:UULLRR%
\let^^98=\bar:UUDDLL%
\let^^99=\bar:DDLLRR%
\let^^9a=\bar:UUDDLLRR%
\let^^9b=\box:halfhigh%
\let^^9c=\box:halflow%
\let^^9d=\box:full%
\let^^9e=\box:small%
\let^^9f=\:florin%
\let^^a0=\:fixedblank%
\let^^a1=\:invertedexclamationmark%
\let^^a2=\:cent%
\let^^a3=\:pound%
\let^^a4=\:currency%
\let^^a5=\:Yen%
\let^^a6=\:brokenvbar%
\let^^a7=\:paragraph%
\let^^a8=\:umlaut%
\let^^a9=\:copyright%
\let^^aa=\:umera%
\let^^ab=\:frenchleftquotes%
\let^^ac=\:not%
\let^^ad=\:syllablehyphen%
\let^^ae=\:registered%
\let^^af=\:macron%
\let^^b0=\:degree%
\let^^b1=\:plusminus%
\let^^b2=\:supertwo%
\let^^b3=\:superthree%
\let^^b4=\:acute%
\let^^b5=\:mu%
\let^^b6=\:paramark%
\let^^b7=\:middledot%
\let^^b8=\:cedilla%
\let^^b9=\:superone%
\let^^ba=\:umero%
\let^^bb=\:frenchrightquotes%
\let^^bc=\:onefourth%
\let^^bd=\:onehalf%
\let^^be=\:threefourth%
\let^^bf=\:invertedquestionmark%
\let^^c0=\gra:A%
\let^^c1=\acu:A%
\let^^c2=\cir:A%
\let^^c3=\til:A%
\let^^c4=\uml:A%
\let^^c5=\ang:A%
\let^^c6=\lig:AE%
\let^^c7=\ced:C%
\let^^c8=\gra:E%
\let^^c9=\acu:E%
\let^^ca=\cir:E%
\let^^cb=\uml:E%
\let^^cc=\gra:I%
\let^^cd=\acu:I%
\let^^ce=\cir:I%
\let^^cf=\uml:I%
\let^^d0=\:Eth%
\let^^d1=\til:N%
\let^^d2=\gra:O%
\let^^d3=\acu:O%
\let^^d4=\cir:O%
\let^^d5=\til:O%
\let^^d6=\uml:O%
\let^^d7=\:times%
\let^^d8=\dia:O%
\let^^d9=\gra:U%
\let^^da=\acu:U%
\let^^db=\cir:U%
\let^^dc=\uml:U%
\let^^dd=\acu:Y%
\let^^de=\:Thorn%
\let^^df=\:eszet%
\let^^e0=\gra:a%
\let^^e1=\acu:a%
\let^^e2=\cir:a%
\let^^e3=\til:a%
\let^^e4=\uml:a%
\let^^e5=\ang:a%
\let^^e6=\lig:ae%
\let^^e7=\ced:c%
\let^^e8=\gra:e%
\let^^e9=\acu:e%
\let^^ea=\cir:e%
\let^^eb=\uml:e%
\let^^ec=\gra:i%
\let^^ed=\acu:i%
\let^^ee=\cir:i%
\let^^ef=\uml:i%
\let^^f0=\:eth%
\let^^f1=\til:n%
\let^^f2=\gra:o%
\let^^f3=\acu:o%
\let^^f4=\cir:o%
\let^^f5=\til:o%
\let^^f6=\uml:o%
\let^^f7=\:div%
\let^^f8=\dia:o%
\let^^f9=\gra:u%
\let^^fa=\acu:u%
\let^^fb=\cir:u%
\let^^fc=\uml:u%
\let^^fd=\acu:y%
\let^^fe=\:thorn%
\let^^ff=\uml:y%
}%
%
\gdef\verb:ibm{%
\verb:normalize%
\verb:activate%
\let^^00=\:null%
\let^^01=\:smile%
\let^^02=\:invertedsmile%
\let^^03=\:herz%
\let^^04=\:karo%
\let^^05=\:kreuz%
\let^^06=\:pik%
\let^^07=\:bigdot%
\let^^08=\verb:BS%
\let^^09=\verb:HT%
\let^^0a=\verb:LF%
\let^^0b=\verb:VT%
\let^^0c=\verb:FF%
\let^^0d=\verb:CR%
\let^^0e=\:twonote%
\let^^0f=\:star%
\let^^10=\:trirt%
\let^^11=\:trilf%
\let^^12=\:arrupdn%
\let^^13=\:doubleexclamationmark%
\let^^14=\:paramark%
\let^^15=\:paragraph%
\let^^16=\:bigcursor%
\let^^17=\:updnbar%
\let^^18=\:arrup%
\let^^19=\:arrdn%
\let^^1a=\:arrrt%
\let^^1b=\:arrlf%
\let^^1c=\:mirrorednot%
\let^^1d=\:arrlfrt%
\let^^1e=\:triup%
\let^^1f=\:tridn%
\let^^20=\:sp%
\let^^5f=\:us%
\let^^60=\:gr%
\let^^7f=\:Delta%
\let^^80=\ced:C%
\let^^81=\uml:u%
\let^^82=\acu:e%
\let^^83=\cir:a%
\let^^84=\uml:a%
\let^^85=\gra:a%
\let^^86=\ang:a%
\let^^87=\ced:c%
\let^^88=\cir:e%
\let^^89=\uml:e%
\let^^8a=\gra:e%
\let^^8b=\uml:i%
\let^^8c=\cir:i%
\let^^8d=\gra:i%
\let^^8e=\uml:A%
\let^^8f=\ang:A%
\let^^90=\acu:E%
\let^^91=\lig:ae%
\let^^92=\lig:AE%
\let^^93=\cir:o%
\let^^94=\uml:o%
\let^^95=\gra:o%
\let^^96=\cir:u%
\let^^97=\gra:u%
\let^^98=\uml:y%
\let^^99=\uml:O%
\let^^9a=\uml:U%
\let^^9b=\dia:o%
\let^^9c=\:pound%
\let^^9d=\dia:O%
\let^^9e=\:times%
\let^^9f=\:florin%
\let^^a0=\acu:a%
\let^^a1=\acu:i%
\let^^a2=\acu:o%
\let^^a3=\acu:u%
\let^^a4=\til:n%
\let^^a5=\til:N%
\let^^a6=\:umera%
\let^^a7=\:umero%
\let^^a8=\:invertedquestionmark%
\let^^a9=\:registered%
\let^^aa=\:not%
\let^^ab=\:onehalf%
\let^^ac=\:onefourth%
\let^^ad=\:invertedexclamationmark%
\let^^ae=\:frenchleftquotes%
\let^^af=\:frenchrightquotes%
\let^^b0=\box:light%
\let^^b1=\box:medium%
\let^^b2=\box:dark%
\let^^b3=\bar:UD%
\let^^b4=\bar:UDL%
\let^^b5=\acu:A%
\let^^b6=\cir:A%
\let^^b7=\gra:A%
\let^^b8=\:copyright%
\let^^b9=\bar:UUDDLL%
\let^^ba=\bar:UUDD%
\let^^bb=\bar:DDLL%
\let^^bc=\bar:UULL%
\let^^bd=\:cent%
\let^^be=\:Yen%
\let^^bf=\bar:DL%
\let^^c0=\bar:UR%
\let^^c1=\bar:ULR%
\let^^c2=\bar:DLR%
\let^^c3=\bar:UDR%
\let^^c4=\bar:LR%
\let^^c5=\bar:UDLR%
\let^^c6=\til:a%
\let^^c7=\til:A%
\let^^c8=\bar:UURR%
\let^^c9=\bar:DDRR%
\let^^ca=\bar:UULLRR%
\let^^cb=\bar:DDLLRR%
\let^^cc=\bar:UUDDRR%
\let^^cd=\bar:LLRR%
\let^^ce=\bar:UUDDLLRR%
\let^^cf=\:currency%
\let^^d0=\:eth%
\let^^d1=\:Eth%
\let^^d2=\cir:E%
\let^^d3=\uml:E%
\let^^d4=\gra:E%
\let^^d5=\:dotlessi%
\let^^d6=\acu:I%
\let^^d7=\cir:I%
\let^^d8=\uml:I%
\let^^d9=\bar:UL%
\let^^da=\bar:DR%
\let^^db=\box:full%
\let^^dc=\box:halflow%
\let^^dd=\:brokenvbar%
\let^^de=\gra:I%
\let^^df=\box:halfhigh%
\let^^e0=\acu:O%
\let^^e1=\:eszet%
\let^^e2=\cir:O%
\let^^e3=\gra:O%
\let^^e4=\til:o%
\let^^e5=\til:O%
\let^^e6=\:mu%
\let^^e7=\:thorn%
\let^^e8=\:Thorn%
\let^^e9=\acu:U%
\let^^ea=\cir:U%
\let^^eb=\gra:U%
\let^^ec=\acu:y%
\let^^ed=\acu:Y%
\let^^ee=\:macron%
\let^^ef=\:acute%
\let^^f0=\:syllablehyphen%
\let^^f1=\:plusminus%
\let^^f2=\:doubleunderscore%
\let^^f3=\:threefourth%
\let^^f4=\:paramark%
\let^^f5=\:paragraph%
\let^^f6=\:div%
\let^^f7=\:cedilla%
\let^^f8=\:degree%
\let^^f9=\:umlaut%
\let^^fa=\:middledot%
\let^^fb=\:superone%
\let^^fc=\:superthree%
\let^^fd=\:supertwo%
\let^^fe=\box:small%
\let^^ff=\:fixedblank%
}%
%
\gdef\verb:pc{%
\verb:normalize%
\verb:activate%
\let^^00=\:null%
\let^^01=\:smile%
\let^^02=\:invertedsmile%
\let^^03=\:herz%
\let^^04=\:karo%
\let^^05=\:kreuz%
\let^^06=\:pik%
\let^^07=\:bigdot%
\let^^08=\verb:BS%
\let^^09=\verb:HT%
\let^^0a=\verb:LF%
\let^^0b=\verb:VT%
\let^^0c=\verb:FF%
\let^^0d=\verb:CR%
\let^^0e=\:twonote%
\let^^0f=\:star%
\let^^10=\:trirt%
\let^^11=\:trilf%
\let^^12=\:arrupdn%
\let^^13=\:doubleexclamationmark%
\let^^14=\:paramark%
\let^^15=\:paragraph%
\let^^16=\:bigcursor%
\let^^17=\:updnbar%
\let^^18=\:arrup%
\let^^19=\:arrdn%
\let^^1a=\:arrrt%
\let^^1b=\:arrlf%
\let^^1c=\:mirrorednot%
\let^^1d=\:arrlfrt%
\let^^1e=\:triup%
\let^^1f=\:tridn%
\let^^20=\:sp%
\let^^5f=\:us%
\let^^60=\:gr%
\let^^7f=\:Delta%
\let^^80=\ced:C%
\let^^81=\uml:u%
\let^^82=\acu:e%
\let^^83=\cir:a%
\let^^84=\uml:a%
\let^^85=\gra:a%
\let^^86=\ang:a%
\let^^87=\ced:c%
\let^^88=\cir:e%
\let^^89=\uml:e%
\let^^8a=\gra:e%
\let^^8b=\uml:i%
\let^^8c=\cir:i%
\let^^8d=\gra:i%
\let^^8e=\uml:A%
\let^^8f=\ang:A%
\let^^90=\acu:E%
\let^^91=\lig:ae%
\let^^92=\lig:AE%
\let^^93=\cir:o%
\let^^94=\uml:o%
\let^^95=\gra:o%
\let^^96=\cir:u%
\let^^97=\gra:u%
\let^^98=\uml:y%
\let^^99=\uml:O%
\let^^9a=\uml:U%
\let^^9b=\:cent%%%
\let^^9c=\:pound%
\let^^9d=\:Yen%%%
\let^^9e=\:Pesetas%%%
\let^^9f=\:florin%
\let^^a0=\acu:a%
\let^^a1=\acu:i%
\let^^a2=\acu:o%
\let^^a3=\acu:u%
\let^^a4=\til:n%
\let^^a5=\til:N%
\let^^a6=\:umera%
\let^^a7=\:umero%
\let^^a8=\:invertedquestionmark%
\let^^a9=\:invertednot%%%
\let^^aa=\:not%
\let^^ab=\:onehalf%
\let^^ac=\:onefourth%
\let^^ad=\:invertedexclamationmark%
\let^^ae=\:frenchleftquotes%
\let^^af=\:frenchrightquotes%
\let^^b0=\box:light%
\let^^b1=\box:medium%
\let^^b2=\box:dark%
\let^^b3=\bar:UD%
\let^^b4=\bar:UDL%
\let^^b5=\bar:UDLL%%%
\let^^b6=\bar:UUDDL%%%
\let^^b7=\bar:DDL%%%
\let^^b8=\bar:DLL%%%
\let^^b9=\bar:UUDDLL%
\let^^ba=\bar:UUDD%
\let^^bb=\bar:DDLL%
\let^^bc=\bar:UULL%
\let^^bd=\bar:UUL%%%
\let^^be=\bar:ULL%%%
\let^^bf=\bar:DL%
\let^^c0=\bar:UR%
\let^^c1=\bar:ULR%
\let^^c2=\bar:DLR%
\let^^c3=\bar:UDR%
\let^^c4=\bar:LR%
\let^^c5=\bar:UDLR%
\let^^c6=\bar:UDRR%%%
\let^^c7=\bar:UUDDR%%%
\let^^c8=\bar:UURR%
\let^^c9=\bar:DDRR%
\let^^ca=\bar:UULLRR%
\let^^cb=\bar:DDLLRR%
\let^^cc=\bar:UUDDRR%
\let^^cd=\bar:LLRR%
\let^^ce=\bar:UUDDLLRR%
\let^^cf=\bar:ULLRR%%%
\let^^d0=\bar:UULR%%%
\let^^d1=\bar:DLLRR%%%
\let^^d2=\bar:DDLR%%%
\let^^d3=\bar:UUR%%%
\let^^d4=\bar:URR%%%
\let^^d5=\bar:DRR%%%
\let^^d6=\bar:DDR%%%
\let^^d7=\bar:UUDDLR%%%
\let^^d8=\bar:UDLLRR%%%
\let^^d9=\bar:UL%
\let^^da=\bar:DR%
\let^^db=\box:full%
\let^^dc=\box:halflow%
\let^^dd=\box:halfleft%%%
\let^^de=\box:halfright%%%
\let^^df=\box:halfhigh%
\let^^e0=\:alpha%%%
\let^^e1=\:eszet%
\let^^e2=\:Gamma%%%
\let^^e3=\:Pi%%%
\let^^e4=\:Sigma%%%
\let^^e5=\:sigma%%%
\let^^e6=\:mu%
\let^^e7=\:tau%%%
\let^^e8=\:Phi%%%
\let^^e9=\:Theta%%%
\let^^ea=\:Omega%%%
\let^^eb=\:delta%%%
\let^^ec=\:infinity%%%
\let^^ed=\:diameter%%%
\let^^ee=\:elementof%%%
\let^^ef=\:cut%%%
\let^^f0=\:identity%%%
\let^^f1=\:plusminus%
\let^^f2=\:ge%%%
\let^^f3=\:le%%%
\let^^f4=\:intupper%%%
\let^^f5=\:intlower%%%
\let^^f6=\:div%
\let^^f7=\:approxequal%%%
\let^^f8=\:degree%
\let^^f9=\:bigmiddledot%%%
\let^^fa=\:middledot%
\let^^fb=\:root%%%
\let^^fc=\:supern%%%
\let^^fd=\:supertwo%
\let^^fe=\box:small%
\let^^ff=\:fixedblank%
}%
\gdef\verb:test{%
\verb:normalize%
\verb:activate%
\let^^00=\ctl:at%
\let^^01=\ctl:a%
\let^^02=\ctl:b%
\let^^03=\ctl:c%
\let^^04=\ctl:d%
\let^^05=\ctl:e%
\let^^06=\ctl:f%
\let^^07=\ctl:g%
\let^^08=\verb:BS%
\let^^09=\verb:HT%
\let^^0a=\verb:LF%
\let^^0b=\verb:VT%
\let^^0c=\verb:FF%
\let^^0d=\verb:CR%
\let^^0e=\ctl:n%
\let^^0f=\ctl:o%
\let^^10=\ctl:p%
\let^^11=\ctl:q%
\let^^12=\ctl:r%
\let^^13=\ctl:s%
\let^^14=\ctl:t%
\let^^15=\ctl:u%
\let^^16=\ctl:v%
\let^^17=\ctl:w%
\let^^18=\ctl:x%
\let^^19=\ctl:y%
\let^^1a=\ctl:z%
\let^^1b=\ctl:a:%
\let^^1c=\ctl:b:%
\let^^1d=\ctl:c:%
\let^^1e=\ctl:d:%
\let^^1f=\ctl:e:%
\let^^20=\:sp%
\let^^5f=\:us%
\let^^60=\:gr%
\let^^7f=\:Delta%
\let^^80=\ctl::at%
\let^^81=\ctl::a%
\let^^82=\ctl::b%
\let^^83=\ctl::c%
\let^^84=\ctl::d%
\let^^85=\ctl::e%
\let^^86=\ctl::f%
\let^^87=\ctl::g%
\let^^88=\ctl::h%
\let^^89=\ctl::i%
\let^^8a=\ctl::j%
\let^^8b=\ctl::k%
\let^^8c=\ctl::l%
\let^^8d=\ctl::m%
\let^^8e=\ctl::n%
\let^^8f=\ctl::o%
\let^^90=\ctl::p%
\let^^91=\ctl::q%
\let^^92=\ctl::r%
\let^^93=\ctl::s%
\let^^94=\ctl::t%
\let^^95=\ctl::u%
\let^^96=\ctl::v%
\let^^97=\ctl::w%
\let^^98=\ctl::x%
\let^^99=\ctl::y%
\let^^9a=\ctl::z%
\let^^9b=\ctl::a:%
\let^^9c=\ctl::b:%
\let^^9d=\ctl::c:%
\let^^9e=\ctl::d:%
\let^^9f=\ctl::e:%
\let^^a0=\:null%
\let^^a1=\:smile%
\let^^a2=\:invertedsmile%
\let^^a3=\:herz%
\let^^a4=\:karo%
\let^^a5=\:kreuz%
\let^^a6=\:pik%
\let^^a7=\:bigdot%
\let^^a8=\:invertedbigdot%
\let^^a9=\:circ%
\let^^aa=\:invertedcirc%
\let^^ab=\:male%
\let^^ac=\:female%
\let^^ad=\:onenote%
\let^^ae=\:twonote%
\let^^af=\:star%
\let^^b0=\:trirt%
\let^^b1=\:trilf%
\let^^b2=\:arrupdn%
\let^^b3=\:doubleexclamationmark%
\let^^b4=\:paramark%
\let^^b5=\:paragraph%
\let^^b6=\:bigcursor%
\let^^b7=\:updnbar%
\let^^b8=\:arrup%
\let^^b9=\:arrdn%
\let^^ba=\:arrrt%
\let^^bb=\:arrlf%
\let^^bc=\:mirrorednot%
\let^^bd=\:arrlfrt%
\let^^be=\:triup%
\let^^bf=\:tridn%
\let^^c0=\ctl:at%
\let^^c1=\ctl:a%
\let^^c2=\ctl:b%
\let^^c3=\ctl:c%
\let^^c4=\ctl:d%
\let^^c5=\ctl:e%
\let^^c6=\ctl:f%
\let^^c7=\ctl:g%
\let^^c8=\ctl:h%
\let^^c9=\ctl:i%
\let^^ca=\ctl:j%
\let^^cb=\ctl:k%
\let^^cc=\ctl:l%
\let^^cd=\ctl:m%
\let^^ce=\ctl:n%
\let^^cf=\ctl:o%
\let^^d0=\ctl:p%
\let^^d1=\ctl:q%
\let^^d2=\ctl:r%
\let^^d3=\ctl:s%
\let^^d4=\ctl:t%
\let^^d5=\ctl:u%
\let^^d6=\ctl:v%
\let^^d7=\ctl:w%
\let^^d8=\ctl:x%
\let^^d9=\ctl:y%
\let^^da=\ctl:z%
\let^^db=\ctl:a:%
\let^^dc=\ctl:b:%
\let^^dd=\ctl:c:%
\let^^de=\ctl:d:%
\let^^df=\ctl:e:%
\let^^e0=\ctl::at%
\let^^e1=\ctl::a%
\let^^e2=\ctl::b%
\let^^e3=\ctl::c%
\let^^e4=\ctl::d%
\let^^e5=\ctl::e%
\let^^e6=\ctl::f%
\let^^e7=\ctl::g%
\let^^e8=\ctl::h%
\let^^e9=\ctl::i%
\let^^ea=\ctl::j%
\let^^eb=\ctl::k%
\let^^ec=\ctl::l%
\let^^ed=\ctl::m%
\let^^ee=\ctl::n%
\let^^ef=\ctl::o%
\let^^f0=\ctl::p%
\let^^f1=\ctl::q%
\let^^f2=\ctl::r%
\let^^f3=\ctl::s%
\let^^f4=\ctl::t%
\let^^f5=\ctl::u%
\let^^f6=\ctl::v%
\let^^f7=\ctl::w%
\let^^f8=\ctl::x%
\let^^f9=\ctl::y%
\let^^fa=\ctl::z%
\let^^fb=\ctl::a:%
\let^^fc=\ctl::b:%
\let^^fd=\ctl::c:%
\let^^fe=\ctl::d:%
\let^^ff=\ctl::e:%
}%
%
\endgroup

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                      %
%  Dritter Teil: Definition der Makros                                 %
%                                                                      %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newbox\verbb:x
\newcount\verb:line
\newtoks\verb:toks
\gdef\verb:bar{\up:{-0.6ex}{\vrule width1ptheight\H: depth0ex}}
\gdef\verb:bol{\setbox\verbb:x=\hbox\bgroup}
\gdef\verb:egrp{\leavevmode\egroup\ht\verbb:x\h:\dp\verbb:x\d:\box\verbb:x}
\gdef\verb:eol{\verb:egrp\par}
\gdef\verb:xbol{\nobreak\leavevmode\verb:bar\space\setbox\verbb:x=\hbox\bgroup}
\gdef\verb:xeol{\verb:egrp\hfill\verb:bar\par}
\gdef\verb:cnt{\advance\verb:line by1\hbox to3em{\hfil\the\verb:line\quad}}
\global\let\verb:cset\verb:iso

\gdef\verb:BS{%
\leavevmode\egroup% end collecting of current box
\dimen0\wd\verbb:x% get width of current box
\advance\dimen0by-\w:% one space back
\wd\verbb:x\dimen0% set box width of current box
\setbox0=\box\verbb:x% copy box
\setbox\verbb:x=\hbox\bgroup\box0% restart box
}

\gdef\verb:HT{%
\leavevmode\egroup% end collecting of current box
\dimen0\wd\verbb:x% get width of current box
\divide\dimen0by8% integer division by tab distance
\divide\dimen0by\w:% integer division by character width
\multiply\dimen0by\w:% integer multiplication by character width
\advance\dimen0by\w:% advance to next position
\multiply\dimen0by8% integer multiplication by tab distance
\wd\verbb:x\dimen0% set box width of current box
\box\verbb:x% type box
\setbox\verbb:x=\hbox\bgroup% start next box
}

\gdef\verb:LF{\verb:CR}
\gdef\verb:VT{\verb:CR\verb:CR}
\gdef\verb:FF{\verb:CR\verb:CR\verb:CR}%%%{\verb:eol\vskip0ptplus1fil\break}

\gdef\verb:verb{%
\verb:cset%
\frenchspacing\tt\baselineskip=\H:\parindent=0pt\parskip=0pt%
\setbox0=\hbox{X}%
\global\w:=\wd0%
\global\h:=\ht0%
\setbox0=\hbox{g}%
\global\d:=\dp0%
\global\x:=\w:\global\divide\x: by9%
\global\z:=\h:\global\advance\z: by\d:%
\global\y:=\H:\global\divide\y: by9%
}

\gdef\verbcharset#1{%
\ifnum#1=437\let\verb:cset\verb:pc\else%
\ifnum#1=850\let\verb:cset\verb:ibm\else%
\ifnum#1=88591\let\verb:cset\verb:iso\else%
\ifnum#1=4101962\let\verb:cset\verb:test\else%
\@latexerr{Unknown verbatim character set}\@eha%
\fi\fi\fi\fi%
}

\gdef\verbinput#1{%
\par%
\verb:toks=\everypar\everypar{}%
\begingroup%
\def\verb:CR{\verb:eol}%
\verb:verb%
\everypar{\the\verb:toks\everypar{\verb:bol}\the\everypar}%
\input#1\endgroup%
\par%
}

\gdef\verbinputnum#1{%
\par%
\verb:toks=\everypar\everypar{}%
\begingroup%
\verb:line=0%
\def\verb:CR{\verb:eol}%
\verb:verb%
\everypar{\the\verb:toks\everypar{\verb:cnt\verb:bol}\the\everypar}%
\input#1\endgroup%
\par%
}

\gdef\verbinputbox#1{%
\par%
\begingroup%
\def\verb:CR{\verb:xeol\verb:xbol}%
\verb:verb%
\offinterlineskip%
\noindent\leaders\hrule height1pt\hfill\kern0pt\par%
\verb:xbol\verb:xeol\verb:xbol\input#1\relax\verb:xeol\nobreak%
\noindent\leaders\hrule height1pt\hfill\kern0pt\par\nointerlineskip%
\endgroup%
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\endgroup