\catcode`@=11 % roman text \font\seventeenrm= rm-anttr at17.28pt \font\fourteenrm= rm-anttr at14.4pt \font\twelverm= rm-anttr at12pt \font\elevenrm= rm-anttr at11pt \font\tenrm= rm-anttr \font\ninerm= rm-anttr at9pt \font\eightrm= rm-anttr at8pt \font\sevenrm= rm-anttr at7pt \font\sixrm= rm-anttr at6pt \font\fiverm= rm-anttr at5pt % math italic \font\seventeeni= mi-anttri at17.28pt \font\fourteeni= mi-anttri at14.4pt \font\twelvei= mi-anttri at12pt \font\eleveni= mi-anttri at11pt \font\teni= mi-anttri \font\ninei= mi-anttri at9pt \font\eighti= mi-anttri at8pt \font\seveni= mi-anttri at7pt \font\sixi= mi-anttri at6pt \font\fivei= mi-anttri at5pt % math symbols \font\seventeensy= sy-anttrz at17.28pt \font\fourteensy= sy-anttrz at14.4pt \font\twelvesy= sy-anttrz at12pt \font\elevensy= sy-anttrz at11pt \font\tensy= sy-anttrz \font\ninesy= sy-anttrz at9pt \font\eightsy= sy-anttrz at8pt \font\sevensy= sy-anttrz at7pt \font\sixsy= sy-anttrz at6pt \font\fivesy= sy-anttrz at5pt % math extension \font\seventeenex= ex-anttr at17.28pt \font\fourteenex= ex-anttr at14.4pt \font\twelveex= ex-anttr at12pt \font\elevenex= ex-anttr at11pt \font\tenex= ex-anttr \font\nineex= ex-anttr at9pt \font\eightex= ex-anttr at8pt \font\sevenex= ex-anttr at7pt \font\sixex= ex-anttr at6pt \font\fiveex= ex-anttr at5pt % boldface \font\seventeenbf= qx-anttb at17.28pt \font\fourteenbf= qx-anttb at14.4pt \font\twelvebf= qx-anttb at12pt \font\elevenbf= qx-anttb at11pt \font\tenbf= qx-anttb \font\ninebf= qx-anttb at9pt \font\eightbf= qx-anttb at8pt \font\sevenbf= qx-anttb at7pt \font\sixbf= qx-anttb at6pt \font\fivebf= qx-anttb at5pt % typewriter \font\seventeentt= qx-lmtt12 at17.28pt \font\fourteentt= qx-lmtt12 at14.4pt \font\twelvett= qx-lmtt12 \font\eleventt= qx-lmtt10 at11pt \font\tentt= qx-lmtt10 \font\ninett= qx-lmtt9 \font\eighttt= qx-lmtt8 \font\seventt= qx-lmtt8 at7pt \font\sixtt= qx-lmtt8 at6pt \font\fivett= qx-lmtt8 at5pt % text italic \font\seventeenit= qx-anttri at17.28pt \font\fourteenit= qx-anttri at14.4pt \font\twelveit= qx-anttri at12pt \font\elevenit= qx-anttri at11pt \font\tenit= qx-anttri \font\nineit= qx-anttri at9pt \font\eightit= qx-anttri at8pt \font\sevenit= qx-anttri at7pt \font\sixit= qx-anttri at6pt \font\fiveit= qx-anttri at5pt % \skewchar\seventeeni='177 \skewchar\fourteeni='177 \skewchar\twelvei='177 \skewchar\eleveni='177 \skewchar\teni='177 \skewchar\ninei='177 \skewchar\eighti='177 \skewchar\seveni='177 \skewchar\sixi='177 \skewchar\fivei='177 \skewchar\seventeensy='60 \skewchar\fourteensy='60 \skewchar\twelvesy='60 \skewchar\elevensy='60 \skewchar\tensy='60 \skewchar\ninesy='60 \skewchar\eightsy='60 \skewchar\sevensy='60 \skewchar\sixsy='60 \skewchar\fivesy='60 % \let\usereightpointmacro=\relax \def\eightpoint{\let\pointsize=\eightpoint \textfont0=\eightrm \scriptfont0=\sixrm \scriptscriptfont0=\fiverm \def\rm{\fam\z@\eightrm}% \textfont1=\eighti \scriptfont1=\sixi \scriptscriptfont1=\fivei \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\eighti}% \textfont2=\eightsy \scriptfont2=\sixsy \scriptscriptfont2=\fivesy \def\cal{\fam\tw@}% \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex \textfont\itfam=\eightit \def\it{\fam\itfam\eightit}% \textfont\bffam=\eightbf \scriptfont\bffam=\sixbf \scriptscriptfont\bffam=\fivebf \def\bf{\fam\bffam\eightbf}% \textfont\ttfam=\eighttt \def\tt{\fam\ttfam\eighttt}% \def\big##1{{\hbox{$\left##1\vbox to8.5\p@{}\right.\n@space$}}}% \def\Big##1{{\hbox{$\left##1\vbox to11.5\p@{}\right.\n@space$}}}% \def\bigg##1{{\hbox{$\left##1\vbox to14.5\p@{}\right.\n@space$}}}% \def\Bigg##1{{\hbox{$\left##1\vbox to17.5\p@{}\right.\n@space$}}}% \setnormalsp@cing \usereightpointmacro} % \let\userninepointmacro=\relax \def\ninepoint{\let\pointsize=\ninepoint \textfont0=\ninerm \scriptfont0=\sevenrm \scriptscriptfont0=\fiverm \def\rm{\fam\z@\ninerm}% \textfont1=\ninei \scriptfont1=\seveni \scriptscriptfont1=\fivei \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\ninei}% \textfont2=\ninesy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy \def\cal{\fam\tw@}% \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex \textfont\itfam=\nineit \def\it{\fam\itfam\nineit}% \textfont\bffam=\ninebf \scriptfont\bffam=\sevenbf \scriptscriptfont\bffam=\fivebf \def\bf{\fam\bffam\ninebf}% \textfont\ttfam=\ninett \def\tt{\fam\ttfam\ninett}% \def\big##1{{\hbox{$\left##1\vbox to8.5\p@{}\right.\n@space$}}}% \def\Big##1{{\hbox{$\left##1\vbox to11.5\p@{}\right.\n@space$}}}% \def\bigg##1{{\hbox{$\left##1\vbox to14.5\p@{}\right.\n@space$}}}% \def\Bigg##1{{\hbox{$\left##1\vbox to17.5\p@{}\right.\n@space$}}}% \setnormalsp@cing \userninepointmacro} % \let\usertenpointmacro=\relax \def\tenpoint{\let\pointsize=\tenpoint \textfont0=\tenrm \scriptfont0=\sevenrm \scriptscriptfont0=\fiverm \def\rm{\fam\z@\tenrm}% \textfont1=\teni \scriptfont1=\seveni \scriptscriptfont1=\fivei \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\teni}% \textfont2=\tensy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy \def\cal{\fam\tw@}% \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex \textfont\itfam=\tenit \def\it{\fam\itfam\tenit}% \textfont\bffam=\tenbf \scriptfont\bffam=\sevenbf \scriptscriptfont\bffam=\fivebf \def\bf{\fam\bffam\tenbf}% \textfont\ttfam=\tentt \def\tt{\fam\ttfam\tentt}% \def\big##1{{\hbox{$\left##1\vbox to8.5\p@{}\right.\n@space$}}}% \def\Big##1{{\hbox{$\left##1\vbox to11.5\p@{}\right.\n@space$}}}% \def\bigg##1{{\hbox{$\left##1\vbox to14.5\p@{}\right.\n@space$}}}% \def\Bigg##1{{\hbox{$\left##1\vbox to17.5\p@{}\right.\n@space$}}}% \setnormalsp@cing \usertenpointmacro} % \let\userelevenpointmacro=\relax \def\elevenpoint{\let\pointsize=\elevenpoint \textfont0=\elevenrm \scriptfont0=\eightrm \scriptscriptfont0=\fiverm \def\rm{\fam\z@\elevenrm}% \textfont1=\eleveni \scriptfont1=\eighti \scriptscriptfont1=\fivei \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\eleveni}% \textfont2=\elevensy \scriptfont2=\eightsy \scriptscriptfont2=\fivesy \def\cal{\fam\tw@}% \textfont3=\elevenex \scriptfont3=\elevenex \scriptscriptfont3=\elevenex% \textfont\itfam=\elevenit \def\it{\fam\itfam\elevenit}% \textfont\bffam=\elevenbf \scriptfont\bffam=\eightbf \scriptscriptfont\bffam=\fivebf \def\bf{\fam\bffam\elevenbf}% \textfont\ttfam=\eleventt \def\tt{\fam\ttfam\eleventt}% \def\big##1{{\hbox{$\left##1\vbox to9.3\p@{}\right.\n@space$}}}% \def\Big##1{{\hbox{$\left##1\vbox to12.6\p@{}\right.\n@space$}}}% \def\bigg##1{{\hbox{$\left##1\vbox to16\p@{}\right.\n@space$}}}% \def\Bigg##1{{\hbox{$\left##1\vbox to19.2\p@{}\right.\n@space$}}}% \setnormalsp@cing \userelevenpointmacro} % \let\usertwelvepointmacro=\relax \def\twelvepoint{\let\pointsize=\twelvepoint \textfont0=\twelverm \scriptfont0=\ninerm \scriptscriptfont0=\sixrm \def\rm{\fam\z@\twelverm}% \textfont1=\twelvei \scriptfont1=\ninei \scriptscriptfont1=\sixi \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\twelvei}% \textfont2=\twelvesy \scriptfont2=\ninesy \scriptscriptfont2=\sixsy \def\cal{\fam\tw@}% \textfont3=\twelveex \scriptfont3=\twelveex \scriptscriptfont3=\twelveex% \textfont\itfam=\twelveit \def\it{\fam\itfam\twelveit}% \textfont\bffam=\twelvebf \scriptfont\bffam=\ninebf \scriptscriptfont\bffam=\sixbf \def\bf{\fam\bffam\twelvebf}% \textfont\ttfam=\twelvett \def\tt{\fam\ttfam\twelvett}% \def\big##1{{\hbox{$\left##1\vbox to10.2\p@{}\right.\n@space$}}}% \def\Big##1{{\hbox{$\left##1\vbox to13.8\p@{}\right.\n@space$}}}% \def\bigg##1{{\hbox{$\left##1\vbox to17.4\p@{}\right.\n@space$}}}% \def\Bigg##1{{\hbox{$\left##1\vbox to21\p@{}\right.\n@space$}}}% \setnormalsp@cing \usertwelvepointmacro} % \let\userfourteenpointmacro=\relax \def\fourteenpoint{\let\pointsize=\fourteenpoint \textfont0=\fourteenrm \scriptfont0=\tenrm \scriptscriptfont0=\sevenrm \def\rm{\fam\z@\fourteenrm}% \textfont1=\fourteeni \scriptfont1=\teni \scriptscriptfont1=\seveni \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\fourteeni}% \textfont2=\fourteensy \scriptfont2=\tensy \scriptscriptfont2=\sevensy \def\cal{\fam\tw@}% \textfont3=\fourteenex \scriptfont3=\fourteenex \scriptscriptfont3=\fourteenex% \textfont\itfam=\fourteenit \def\it{\fam\itfam\fourteenit}% \textfont\bffam=\fourteenbf \scriptfont\bffam=\tenbf \scriptscriptfont\bffam=\sixbf \def\bf{\fam\bffam\fourteenbf}% \textfont\ttfam=\fourteentt \def\tt{\fam\ttfam\fourteentt}% \def\big##1{{\hbox{$\left##1\vbox to11.9\p@{}\right.\n@space$}}}% \def\Big##1{{\hbox{$\left##1\vbox to16.1\p@{}\right.\n@space$}}}% \def\bigg##1{{\hbox{$\left##1\vbox to20.3\p@{}\right.\n@space$}}}% \def\Bigg##1{{\hbox{$\left##1\vbox to24.5\p@{}\right.\n@space$}}}% \setnormalsp@cing \userfourteenpointmacro} % \newcount\antttext \antttext=10 \let\userseventeenpointmacro=\relax \def\seventeenpoint{\let\pointsize=\seventeenpoint \textfont0=\seventeenrm \scriptfont0=\twelverm \scriptscriptfont0=\ninerm \textfont1=\seventeeni \scriptfont1=\twelvei \scriptscriptfont1=\ninei \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\seventeeni}% \textfont2=\seventeensy \scriptfont2=\twelvesy \scriptscriptfont2=\ninesy \def\cal{\fam\tw@}% \textfont3=\seventeenex \scriptfont3=\seventeenex \scriptscriptfont3=\seventeenex% \textfont\itfam=\seventeenit \textfont\bffam=\seventeenbf \scriptfont\bffam=\twelvebf \scriptscriptfont\bffam=\ninebf \textfont\ttfam=\seventeentt \def\rm{\fam\z@\seventeenrm}% \def\bf{\fam\bffam\seventeenbf}% \def\it{\fam\itfam\seventeenit}% \def\tt{\fam\ttfam\seventeentt}% \def\big##1{{\hbox{$\left##1\vbox to15.3\p@{}\right.\n@space$}}}% \def\Big##1{{\hbox{$\left##1\vbox to20.7\p@{}\right.\n@space$}}}% \def\bigg##1{{\hbox{$\left##1\vbox to26.1\p@{}\right.\n@space$}}}% \def\Bigg##1{{\hbox{$\left##1\vbox to31.5\p@{}\right.\n@space$}}}% \setnormalsp@cing \userseventeenpointmacro} % \newtoks\baselinefactor \baselinefactor={1.2} \def\setnormalsp@cing{% \rm % set the em properly \normalbaselineskip=\the\baselinefactor em\relax \normalbaselines \abovedisplayskip=1.2em plus .3em minus .9em% \abovedisplayshortskip=0em plus .3em% \belowdisplayskip=1.2em plus .3em minus .9em% \belowdisplayshortskip=.7em plus .3em minus .4em% \setbox\strutbox=\hbox{\vrule height .7\baselineskip depth .3\baselineskip width\z@}} % \mathchardef\equalleft="32CD \mathchardef\equalright="32CC \mathchardef\equalc="32CB \mathchardef\Rightarrow="32D1 \mathchardef\Leftarrowj="32D0 \mathchardef\minusleft="32C9 \mathchardef\minusright="32CA \mathchardef\minusc="32C8 \mathchardef\rightarrow="32CF \mathchardef\leftarrow="32CE \def\Longrightarrow{\equalleft\joinrel\Rightarrow} \def\Longleftarrow{\Leftarrowj\joinrel\equalright} \def\longrightarrow{\minusright\joinrel\rightarrow} \def\longleftarrow{\leftarrow\joinrel\minusleft} \def\rightarrowfill{$\m@th\minusright\mkern-7mu% \cleaders\hbox{$\mkern-2mu\minusc\mkern-2mu$}\hfill \mkern-7mu\mathord\rightarrow$} \def\leftarrowfill{$\m@th\mathord\leftarrow\mkern-7mu% \cleaders\hbox{$\mkern-2mu\minusc\mkern-2mu$}\hfill \mkern-7mu\minusleft$} \catcode`@=12 \endinput