namedefds@11pt namedefds@12pt twosidefalse
options
1pt 1pt
ptsize
setsizesetsizeHuge30ptxxvpt30ptxxvpt=setsizesetsizehuge30ptxxvpt30ptxxvpt
5pt 10pt 0pt 12pt 10pt plus 2pt minus 4pt 12pt plus 2pt minus 2pt
20pt plus 2pt minus 4pt
12pt plus 2pt minus 2pt
12pt plus 2pt minus 2pt
20pt plus 2pt minus 4pt
maxsep 20pt
dblmaxsep 20pt
fptop 0pt plus 1fil
fpsep 8pt plus 2fil
fpbot 0pt plus 1fil
dblfptop 0pt plus 1fil
dblfpsep 8pt plus 2fil
dblfpbot 0pt plus 1fil
=.5
=-
lowpenalty 51 medpenalty 151 highpenalty 301 beginparpenalty -lowpenalty endparpenalty -lowpenalty itempenalty -lowpenalty 2.5em
2.2em 1.87em 1.7em 1em
1em
-listi
=
=
5pt 6pt .4pt 2pt mpfootins =
= 3pt = .4pt
@̧topnumber=2
@̧bottomnumber=1
@̧totalnumber=3
@̧dbltopnumber= 2
=normalcr
200
@par@plain fileswfalse