namedefds@11pt namedefds@12pt namedefds@norm twosidefalse options @germangermanfalse options 1pt 1pt =1in by 6 ptsize setsizesetsizeHuge30ptxxvpt30ptxxvpt=setsizesetsizehuge25ptxxpt25ptxxpt =0.55mm =-1.3mm =0 =4.1cm 5pt 10pt 0pt by by by 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 ptsize=3 lowpenalty 51 medpenalty 151 highpenalty 301 beginparpenalty -lowpenalty endparpenalty -lowpenalty itempenalty -lowpenalty 2.5em 2.2em 1.87em 1.7em 1em 1em -listi = = =3em 5pt 6pt .4pt 2pt mpfootins = = 3pt = .4pt @̧topnumber=2 @̧bottomnumber=1 @̧totalnumber=3 @̧dbltopnumber= 2


=normalcr 200

@par@plain fileswfalse