diff -r 8b410f3fb2a4 -r 345dd18f020e Slides/nom08.ps --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Slides/nom08.ps Thu Mar 08 23:29:10 2012 +0000 @@ -0,0 +1,3569 @@ +%!PS-Adobe-2.0 +%%Creator: dvips(k) 5.95a Copyright 2005 Radical Eye Software +%%Title: 08.dvi +%%Pages: 10 +%%PageOrder: Ascend +%%BoundingBox: 0 0 595 842 +%%DocumentFonts: Times-Bold CMMIB10 CMBX12 CMBX10 CMBSY10 ComicSansMS +%%+ MSBM10 CMTT12 +%%EndComments +%DVIPSWebPage: (www.radicaleye.com) +%DVIPSCommandLine: dvips 08.dvi -o 08.ps +%DVIPSParameters: dpi=600 +%DVIPSSource: TeX output 2005.06.27:2120 +%%BeginProcSet: tex.pro 0 0 +%! +/TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S +N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72 +mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0 +0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{ +landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize +mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[ +matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round +exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{ +statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0] +N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin +/FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array +/BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2 +array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N +df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A +definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get +}B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub} +B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr +1 add N}if}B/CharBuilder{save 3 1 roll S A/base get 2 index get S +/BitMaps get S get/Cd X pop/ctr 0 N Cdx 0 Cx Cy Ch sub Cx Cw add Cy +setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx sub Cy .1 sub]{Ci}imagemask +restore}B/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn +/BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put +}if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{ +bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A +mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{ +SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{ +userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X +1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4 +index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N +/p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{ +/Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT) +(LaserWriter 16/600)]{A length product length le{A length product exch 0 +exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse +end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask +grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot} +imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round +exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto +fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p +delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M} +B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{ +p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S +rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end + +%%EndProcSet +%%BeginProcSet: pstricks.pro 0 0 +%! +% PostScript prologue for pstricks.tex. +% Version 97 patch 4, 04/05/10 +% For distribution, see pstricks.tex. +% +/tx@Dict 200 dict def tx@Dict begin +/ADict 25 dict def +/CM { matrix currentmatrix } bind def +/SLW /setlinewidth load def +/CLW /currentlinewidth load def +/CP /currentpoint load def +/ED { exch def } bind def +/L /lineto load def +/T /translate load def +/TMatrix { } def +/RAngle { 0 } def +/Atan { /atan load stopped { pop pop 0 } if } def +/Div { dup 0 eq { pop } { div } ifelse } def +/NET { neg exch neg exch T } def +/Pyth { dup mul exch dup mul add sqrt } def +/PtoC { 2 copy cos mul 3 1 roll sin mul } def +/PathLength@ { /z z y y1 sub x x1 sub Pyth add def /y1 y def /x1 x def } +def +/PathLength { flattenpath /z 0 def { /y1 ED /x1 ED /y2 y1 def /x2 x1 def +} { /y ED /x ED PathLength@ } {} { /y y2 def /x x2 def PathLength@ } +/pathforall load stopped { pop pop pop pop } if z } def +/STP { .996264 dup scale } def +/STV { SDict begin normalscale end STP } def +% +%%-------------- DG begin patch 15 ---------------%% +%/DashLine { dup 0 gt { /a .5 def PathLength exch div } { pop /a 1 def +%PathLength } ifelse /b ED /x ED /y ED /z y x add def b a .5 sub 2 mul y +%mul sub z Div round z mul a .5 sub 2 mul y mul add b exch Div dup y mul +%/y ED x mul /x ED x 0 gt y 0 gt and { [ y x ] 1 a sub y mul } { [ 1 0 ] +%0 } ifelse setdash stroke } def +/DashLine { + dup 0 gt { /a .5 def PathLength exch div } { pop /a 1 def PathLength } ifelse + /b ED /x1 ED /y1 ED /x ED /y ED + /z y x add y1 add x1 add def + /Coef b a .5 sub 2 mul y mul sub z Div round + z mul a .5 sub 2 mul y mul add b exch Div def + /y y Coef mul def /x x Coef mul def /y1 y1 Coef mul def /x1 x1 Coef mul def + x1 0 gt y1 0 gt x 0 gt y 0 gt and { [ y x y1 x1 ] 1 a sub y mul} + { [ 1 0] 0 } ifelse setdash stroke +} def +%%-------------- DG end patch 15 ---------------%% +/DotLine { /b PathLength def /a ED /z ED /y CLW def /z y z add def a 0 gt +{ /b b a div def } { a 0 eq { /b b y sub def } { a -3 eq { /b b y add +def } if } ifelse } ifelse [ 0 b b z Div round Div dup 0 le { pop 1 } if +] a 0 gt { 0 } { y 2 div a -2 gt { neg } if } ifelse setdash 1 +setlinecap stroke } def +/LineFill { gsave abs CLW add /a ED a 0 dtransform round exch round exch +2 copy idtransform exch Atan rotate idtransform pop /a ED .25 .25 +% DG/SR modification begin - Dec. 12, 1997 - Patch 2 +%itransform translate pathbbox /y2 ED a Div ceiling cvi /x2 ED /y1 ED a +itransform pathbbox /y2 ED a Div ceiling cvi /x2 ED /y1 ED a +% DG/SR modification end +Div cvi /x1 ED /y2 y2 y1 sub def clip newpath 2 setlinecap systemdict +/setstrokeadjust known { true setstrokeadjust } if x2 x1 sub 1 add { x1 +% DG/SR modification begin - Jun. 1, 1998 - Patch 3 (from Michael Vulis) +% a mul y1 moveto 0 y2 rlineto stroke /x1 x1 1 add def } repeat grestore } +% def +a mul y1 moveto 0 y2 rlineto stroke /x1 x1 1 add def } repeat grestore +pop pop } def +% DG/SR modification end +/BeginArrow { ADict begin /@mtrx CM def gsave 2 copy T 2 index sub neg +exch 3 index sub exch Atan rotate newpath } def +/EndArrow { @mtrx setmatrix CP grestore end } def +/Arrow { CLW mul add dup 2 div /w ED mul dup /h ED mul /a ED { 0 h T 1 -1 +scale } if w neg h moveto 0 0 L w h L w neg a neg rlineto gsave fill +grestore } def +/Tbar { CLW mul add /z ED z -2 div CLW 2 div moveto z 0 rlineto stroke 0 +CLW moveto } def +/Bracket { CLW mul add dup CLW sub 2 div /x ED mul CLW add /y ED /z CLW 2 +div def x neg y moveto x neg CLW 2 div L x CLW 2 div L x y L stroke 0 +CLW moveto } def +/RoundBracket { CLW mul add dup 2 div /x ED mul /y ED /mtrx CM def 0 CLW +2 div T x y mul 0 ne { x y scale } if 1 1 moveto .85 .5 .35 0 0 0 +curveto -.35 0 -.85 .5 -1 1 curveto mtrx setmatrix stroke 0 CLW moveto } +def +/SD { 0 360 arc fill } def +/EndDot { { /z DS def } { /z 0 def } ifelse /b ED 0 z DS SD b { 0 z DS +CLW sub SD } if 0 DS z add CLW 4 div sub moveto } def +/Shadow { [ { /moveto load } { /lineto load } { /curveto load } { +/closepath load } /pathforall load stopped { pop pop pop pop CP /moveto +load } if ] cvx newpath 3 1 roll T exec } def +/NArray { aload length 2 div dup dup cvi eq not { exch pop } if /n exch +cvi def } def +/NArray { /f ED counttomark 2 div dup cvi /n ED n eq not { exch pop } if +f { ] aload /Points ED } { n 2 mul 1 add -1 roll pop } ifelse } def +/Line { NArray n 0 eq not { n 1 eq { 0 0 /n 2 def } if ArrowA /n n 2 sub +def n { Lineto } repeat CP 4 2 roll ArrowB L pop pop } if } def +/Arcto { /a [ 6 -2 roll ] cvx def a r /arcto load stopped { 5 } { 4 } +ifelse { pop } repeat a } def +/CheckClosed { dup n 2 mul 1 sub index eq 2 index n 2 mul 1 add index eq +and { pop pop /n n 1 sub def } if } def +/Polygon { NArray n 2 eq { 0 0 /n 3 def } if n 3 lt { n { pop pop } +repeat } { n 3 gt { CheckClosed } if n 2 mul -2 roll /y0 ED /x0 ED /y1 +ED /x1 ED x1 y1 /x1 x0 x1 add 2 div def /y1 y0 y1 add 2 div def x1 y1 +moveto /n n 2 sub def n { Lineto } repeat x1 y1 x0 y0 6 4 roll Lineto +Lineto pop pop closepath } ifelse } def +/Diamond { /mtrx CM def T rotate /h ED /w ED dup 0 eq { pop } { CLW mul +neg /d ED /a w h Atan def /h d a sin Div h add def /w d a cos Div w add +def } ifelse mark w 2 div h 2 div w 0 0 h neg w neg 0 0 h w 2 div h 2 +div /ArrowA { moveto } def /ArrowB { } def false Line closepath mtrx +setmatrix } def +% DG modification begin - Jan. 15, 1997 +%/Triangle { /mtrx CM def translate rotate /h ED 2 div /w ED dup 0 eq { +%pop } { CLW mul /d ED /h h d w h Atan sin Div sub def /w w d h w Atan 2 +%div dup cos exch sin Div mul sub def } ifelse mark 0 d w neg d 0 h w d 0 +%d /ArrowA { moveto } def /ArrowB { } def false Line closepath mtrx +%setmatrix } def +/Triangle { /mtrx CM def translate rotate /h ED 2 div /w ED dup +CLW mul /d ED /h h d w h Atan sin Div sub def /w w d h w Atan 2 +div dup cos exch sin Div mul sub def mark 0 d w neg d 0 h w d 0 +d /ArrowA { moveto } def /ArrowB { } def false Line closepath mtrx +% DG/SR modification begin - Jun. 1, 1998 - Patch 3 (from Michael Vulis) +% setmatrix } def +setmatrix pop } def +% DG/SR modification end +/CCA { /y ED /x ED 2 copy y sub /dy1 ED x sub /dx1 ED /l1 dx1 dy1 Pyth +def } def +/CCA { /y ED /x ED 2 copy y sub /dy1 ED x sub /dx1 ED /l1 dx1 dy1 Pyth +def } def +/CC { /l0 l1 def /x1 x dx sub def /y1 y dy sub def /dx0 dx1 def /dy0 dy1 +def CCA /dx dx0 l1 c exp mul dx1 l0 c exp mul add def /dy dy0 l1 c exp +mul dy1 l0 c exp mul add def /m dx0 dy0 Atan dx1 dy1 Atan sub 2 div cos +abs b exp a mul dx dy Pyth Div 2 div def /x2 x l0 dx mul m mul sub def +/y2 y l0 dy mul m mul sub def /dx l1 dx mul m mul neg def /dy l1 dy mul +m mul neg def } def +/IC { /c c 1 add def c 0 lt { /c 0 def } { c 3 gt { /c 3 def } if } +ifelse /a a 2 mul 3 div 45 cos b exp div def CCA /dx 0 def /dy 0 def } +def +/BOC { IC CC x2 y2 x1 y1 ArrowA CP 4 2 roll x y curveto } def +/NC { CC x1 y1 x2 y2 x y curveto } def +/EOC { x dx sub y dy sub 4 2 roll ArrowB 2 copy curveto } def +/BAC { IC CC x y moveto CC x1 y1 CP ArrowA } def +/NAC { x2 y2 x y curveto CC x1 y1 } def +/EAC { x2 y2 x y ArrowB curveto pop pop } def +/OpenCurve { NArray n 3 lt { n { pop pop } repeat } { BOC /n n 3 sub def + n { NC } repeat EOC } ifelse } def +/AltCurve { { false NArray n 2 mul 2 roll [ n 2 mul 3 sub 1 roll ] aload +/Points ED n 2 mul -2 roll } { false NArray } ifelse n 4 lt { n { pop +pop } repeat } { BAC /n n 4 sub def n { NAC } repeat EAC } ifelse } def +/ClosedCurve { NArray n 3 lt { n { pop pop } repeat } { n 3 gt { +CheckClosed } if 6 copy n 2 mul 6 add 6 roll IC CC x y moveto n { NC } +repeat closepath pop pop } ifelse } def +/SQ { /r ED r r moveto r r neg L r neg r neg L r neg r L fill } def +/ST { /y ED /x ED x y moveto x neg y L 0 x L fill } def +/SP { /r ED gsave 0 r moveto 4 { 72 rotate 0 r L } repeat fill grestore } +def +/FontDot { DS 2 mul dup matrix scale matrix concatmatrix exch matrix +rotate matrix concatmatrix exch findfont exch makefont setfont } def +/Rect { x1 y1 y2 add 2 div moveto x1 y2 lineto x2 y2 lineto x2 y1 lineto +x1 y1 lineto closepath } def +/OvalFrame { x1 x2 eq y1 y2 eq or { pop pop x1 y1 moveto x2 y2 L } { y1 +y2 sub abs x1 x2 sub abs 2 copy gt { exch pop } { pop } ifelse 2 div +exch { dup 3 1 roll mul exch } if 2 copy lt { pop } { exch pop } ifelse +/b ED x1 y1 y2 add 2 div moveto x1 y2 x2 y2 b arcto x2 y2 x2 y1 b arcto +x2 y1 x1 y1 b arcto x1 y1 x1 y2 b arcto 16 { pop } repeat closepath } +ifelse } def +/Frame { CLW mul /a ED 3 -1 roll 2 copy gt { exch } if a sub /y2 ED a add +/y1 ED 2 copy gt { exch } if a sub /x2 ED a add /x1 ED 1 index 0 eq { +pop pop Rect } { OvalFrame } ifelse } def +/BezierNArray { /f ED counttomark 2 div dup cvi /n ED n eq not { exch pop +} if n 1 sub neg 3 mod 3 add 3 mod { 0 0 /n n 1 add def } repeat f { ] +aload /Points ED } { n 2 mul 1 add -1 roll pop } ifelse } def +/OpenBezier { BezierNArray n 1 eq { pop pop } { ArrowA n 4 sub 3 idiv { 6 +2 roll 4 2 roll curveto } repeat 6 2 roll 4 2 roll ArrowB curveto } +ifelse } def +/ClosedBezier { BezierNArray n 1 eq { pop pop } { moveto n 1 sub 3 idiv { +6 2 roll 4 2 roll curveto } repeat closepath } ifelse } def +/BezierShowPoints { gsave Points aload length 2 div cvi /n ED moveto n 1 +sub { lineto } repeat CLW 2 div SLW [ 4 4 ] 0 setdash stroke grestore } +def +/Parab { /y0 exch def /x0 exch def /y1 exch def /x1 exch def /dx x0 x1 +sub 3 div def /dy y0 y1 sub 3 div def x0 dx sub y0 dy add x1 y1 ArrowA +x0 dx add y0 dy add x0 2 mul x1 sub y1 ArrowB curveto /Points [ x1 y1 x0 +y0 x0 2 mul x1 sub y1 ] def } def +/Grid { newpath /a 4 string def /b ED /c ED /n ED cvi dup 1 lt { pop 1 } +if /s ED s div dup 0 eq { pop 1 } if /dy ED s div dup 0 eq { pop 1 } if +/dx ED dy div round dy mul /y0 ED dx div round dx mul /x0 ED dy div +round cvi /y2 ED dx div round cvi /x2 ED dy div round cvi /y1 ED dx div +round cvi /x1 ED /h y2 y1 sub 0 gt { 1 } { -1 } ifelse def /w x2 x1 sub +0 gt { 1 } { -1 } ifelse def b 0 gt { /z1 b 4 div CLW 2 div add def +/Helvetica findfont b scalefont setfont /b b .95 mul CLW 2 div add def } +if systemdict /setstrokeadjust known { true setstrokeadjust /t { } def } +{ /t { transform 0.25 sub round 0.25 add exch 0.25 sub round 0.25 add +exch itransform } bind def } ifelse gsave n 0 gt { 1 setlinecap [ 0 dy n +div ] dy n div 2 div setdash } { 2 setlinecap } ifelse /i x1 def /f y1 +dy mul n 0 gt { dy n div 2 div h mul sub } if def /g y2 dy mul n 0 gt { +dy n div 2 div h mul add } if def x2 x1 sub w mul 1 add dup 1000 gt { +pop 1000 } if { i dx mul dup y0 moveto b 0 gt { gsave c i a cvs dup +stringwidth pop /z2 ED w 0 gt {z1} {z1 z2 add neg} ifelse h 0 gt {b neg} +{z1} ifelse rmoveto show grestore } if dup t f moveto g t L stroke /i i +w add def } repeat grestore gsave n 0 gt +% DG/SR modification begin - Nov. 7, 1997 - Patch 1 +%{ 1 setlinecap [ 0 dx n div ] dy n div 2 div setdash } +{ 1 setlinecap [ 0 dx n div ] dx n div 2 div setdash } +% DG/SR modification end +{ 2 setlinecap } ifelse /i y1 def /f x1 dx mul +n 0 gt { dx n div 2 div w mul sub } if def /g x2 dx mul n 0 gt { dx n +div 2 div w mul add } if def y2 y1 sub h mul 1 add dup 1000 gt { pop +1000 } if { newpath i dy mul dup x0 exch moveto b 0 gt { gsave c i a cvs +dup stringwidth pop /z2 ED w 0 gt {z1 z2 add neg} {z1} ifelse h 0 gt +{z1} {b neg} ifelse rmoveto show grestore } if dup f exch t moveto g +exch t L stroke /i i h add def } repeat grestore } def +/ArcArrow { /d ED /b ED /a ED gsave newpath 0 -1000 moveto clip newpath 0 +1 0 0 b grestore c mul /e ED pop pop pop r a e d PtoC y add exch x add +exch r a PtoC y add exch x add exch b pop pop pop pop a e d CLW 8 div c +mul neg d } def +/Ellipse { /mtrx CM def T scale 0 0 1 5 3 roll arc mtrx setmatrix } def +/Rot { CP CP translate 3 -1 roll neg rotate NET } def +/RotBegin { tx@Dict /TMatrix known not { /TMatrix { } def /RAngle { 0 } +def } if /TMatrix [ TMatrix CM ] cvx def /a ED a Rot /RAngle [ RAngle +dup a add ] cvx def } def +/RotEnd { /TMatrix [ TMatrix setmatrix ] cvx def /RAngle [ RAngle pop ] +cvx def } def +/PutCoor { gsave CP T CM STV exch exec moveto setmatrix CP grestore } def +/PutBegin { /TMatrix [ TMatrix CM ] cvx def CP 4 2 roll T moveto } def +/PutEnd { CP /TMatrix [ TMatrix setmatrix ] cvx def moveto } def +/Uput { /a ED add 2 div /h ED 2 div /w ED /s a sin def /c a cos def /b s +abs c abs 2 copy gt dup /q ED { pop } { exch pop } ifelse def /w1 c b +div w mul def /h1 s b div h mul def q { w1 abs w sub dup c mul abs } { +h1 abs h sub dup s mul abs } ifelse } def +/UUput { /z ED abs /y ED /x ED q { x s div c mul abs y gt } { x c div s +mul abs y gt } ifelse { x x mul y y mul sub z z mul add sqrt z add } { q +{ x s div } { x c div } ifelse abs } ifelse a PtoC h1 add exch w1 add +exch } def +/BeginOL { dup (all) eq exch TheOL eq or { IfVisible not { Visible +/IfVisible true def } if } { IfVisible { Invisible /IfVisible false def +} if } ifelse } def +/InitOL { /OLUnit [ 3000 3000 matrix defaultmatrix dtransform ] cvx def +/Visible { CP OLUnit idtransform T moveto } def /Invisible { CP OLUnit +neg exch neg exch idtransform T moveto } def /BOL { BeginOL } def +/IfVisible true def } def +end +% END pstricks.pro + +%%EndProcSet +%%BeginProcSet: pst-dots.pro 0 0 +%!PS-Adobe-2.0 +%%Title: Dot Font for PSTricks +%%Creator: Timothy Van Zandt +%%Creation Date: May 7, 1993 +%% Version 97 patch 1, 99/12/16 +%% Modified by Etienne Riga - Dec. 16, 1999 +%% to add /Diamond, /SolidDiamond and /BoldDiamond +10 dict dup begin + /FontType 3 def + /FontMatrix [ .001 0 0 .001 0 0 ] def + /FontBBox [ 0 0 0 0 ] def + /Encoding 256 array def + 0 1 255 { Encoding exch /.notdef put } for + Encoding + dup (b) 0 get /Bullet put + dup (c) 0 get /Circle put + dup (C) 0 get /BoldCircle put + dup (u) 0 get /SolidTriangle put + dup (t) 0 get /Triangle put + dup (T) 0 get /BoldTriangle put + dup (r) 0 get /SolidSquare put + dup (s) 0 get /Square put + dup (S) 0 get /BoldSquare put + dup (q) 0 get /SolidPentagon put + dup (p) 0 get /Pentagon put + dup (P) 0 get /BoldPentagon put +% DG/SR modification begin - Dec. 16, 1999 - From Etienne Riga + dup (l) 0 get /SolidDiamond put + dup (d) 0 get /Diamond put + (D) 0 get /BoldDiamond put +% DG/SR modification end + /Metrics 13 dict def + Metrics begin + /Bullet 1000 def + /Circle 1000 def + /BoldCircle 1000 def + /SolidTriangle 1344 def + /Triangle 1344 def + /BoldTriangle 1344 def + /SolidSquare 886 def + /Square 886 def + /BoldSquare 886 def + /SolidPentagon 1093.2 def + /Pentagon 1093.2 def + /BoldPentagon 1093.2 def +% DG/SR modification begin - Dec. 16, 1999 - From Etienne Riga + /SolidDiamond 1008 def + /Diamond 1008 def + /BoldDiamond 1008 def +% DG/SR modification end + /.notdef 0 def + end + /BBoxes 13 dict def + BBoxes begin + /Circle { -550 -550 550 550 } def + /BoldCircle /Circle load def + /Bullet /Circle load def + /Triangle { -571.5 -330 571.5 660 } def + /BoldTriangle /Triangle load def + /SolidTriangle /Triangle load def + /Square { -450 -450 450 450 } def + /BoldSquare /Square load def + /SolidSquare /Square load def + /Pentagon { -546.6 -465 546.6 574.7 } def + /BoldPentagon /Pentagon load def + /SolidPentagon /Pentagon load def +% DG/SR modification begin - Dec. 16, 1999 - From Etienne Riga + /Diamond { -428.5 -742.5 428.5 742.5 } def + /BoldDiamond /Diamond load def + /SolidDiamond /Diamond load def +% DG/SR modification end + /.notdef { 0 0 0 0 } def + end + /CharProcs 20 dict def + CharProcs begin + /Adjust { + 2 copy dtransform floor .5 add exch floor .5 add exch idtransform + 3 -1 roll div 3 1 roll exch div exch scale + } def + /CirclePath { 0 0 500 0 360 arc closepath } def + /Bullet { 500 500 Adjust CirclePath fill } def + /Circle { 500 500 Adjust CirclePath .9 .9 scale CirclePath + eofill } def + /BoldCircle { 500 500 Adjust CirclePath .8 .8 scale CirclePath + eofill } def + /BoldCircle { CirclePath .8 .8 scale CirclePath eofill } def + /TrianglePath { 0 660 moveto -571.5 -330 lineto 571.5 -330 lineto + closepath } def + /SolidTriangle { TrianglePath fill } def + /Triangle { TrianglePath .85 .85 scale TrianglePath eofill } def + /BoldTriangle { TrianglePath .7 .7 scale TrianglePath eofill } def + /SquarePath { -450 450 moveto 450 450 lineto 450 -450 lineto + -450 -450 lineto closepath } def + /SolidSquare { SquarePath fill } def + /Square { SquarePath .89 .89 scale SquarePath eofill } def + /BoldSquare { SquarePath .78 .78 scale SquarePath eofill } def + /PentagonPath { + -337.8 -465 moveto + 337.8 -465 lineto + 546.6 177.6 lineto + 0 574.7 lineto + -546.6 177.6 lineto + closepath + } def + /SolidPentagon { PentagonPath fill } def + /Pentagon { PentagonPath .89 .89 scale PentagonPath eofill } def + /BoldPentagon { PentagonPath .78 .78 scale PentagonPath eofill } def +% DG/SR modification begin - Dec. 16, 1999 - From Etienne Riga + /DiamondPath { 0 742.5 moveto -428.5 0 lineto 0 -742.5 lineto + 428.5 0 lineto closepath } def + /SolidDiamond { DiamondPath fill } def + /Diamond { DiamondPath .85 .85 scale DiamondPath eofill } def + /BoldDiamond { DiamondPath .7 .7 scale DiamondPath eofill } def +% DG/SR modification end + /.notdef { } def + end + /BuildGlyph { + exch + begin + Metrics 1 index get exec 0 + BBoxes 3 index get exec + setcachedevice + CharProcs begin load exec end + end + } def + /BuildChar { + 1 index /Encoding get exch get + 1 index /BuildGlyph get exec + } bind def +end +/PSTricksDotFont exch definefont pop +%END pst-dots.pro + +%%EndProcSet +%%BeginProcSet: pst-node.pro 0 0 +%! +% PostScript prologue for pst-node.tex. +% Version 97 patch 1, 97/05/09. +% For distribution, see pstricks.tex. +% +/tx@NodeDict 400 dict def tx@NodeDict begin +tx@Dict begin /T /translate load def end +/NewNode { gsave /next ED dict dup 3 1 roll def exch { dup 3 1 roll def } +if begin tx@Dict begin STV CP T exec end /NodeMtrx CM def next end +grestore } def +/InitPnode { /Y ED /X ED /NodePos { NodeSep Cos mul NodeSep Sin mul } def +} def +/InitCnode { /r ED /Y ED /X ED /NodePos { NodeSep r add dup Cos mul exch +Sin mul } def } def +/GetRnodePos { Cos 0 gt { /dx r NodeSep add def } { /dx l NodeSep sub def +} ifelse Sin 0 gt { /dy u NodeSep add def } { /dy d NodeSep sub def } +ifelse dx Sin mul abs dy Cos mul abs gt { dy Cos mul Sin div dy } { dx +dup Sin mul Cos Div } ifelse } def +/InitRnode { /Y ED /X ED X sub /r ED /l X neg def Y add neg /d ED Y sub +/u ED /NodePos { GetRnodePos } def } def +/DiaNodePos { w h mul w Sin mul abs h Cos mul abs add Div NodeSep add dup +Cos mul exch Sin mul } def +/TriNodePos { Sin s lt { d NodeSep sub dup Cos mul Sin Div exch } { w h +mul w Sin mul h Cos abs mul add Div NodeSep add dup Cos mul exch Sin mul +} ifelse } def +/InitTriNode { sub 2 div exch 2 div exch 2 copy T 2 copy 4 index index /d +ED pop pop pop pop -90 mul rotate /NodeMtrx CM def /X 0 def /Y 0 def d +sub abs neg /d ED d add /h ED 2 div h mul h d sub Div /w ED /s d w Atan +sin def /NodePos { TriNodePos } def } def +/OvalNodePos { /ww w NodeSep add def /hh h NodeSep add def Sin ww mul Cos +hh mul Atan dup cos ww mul exch sin hh mul } def +/GetCenter { begin X Y NodeMtrx transform CM itransform end } def +/XYPos { dup sin exch cos Do /Cos ED /Sin ED /Dist ED Cos 0 gt { Dist +Dist Sin mul Cos div } { Cos 0 lt { Dist neg Dist Sin mul Cos div neg } +{ 0 Dist Sin mul } ifelse } ifelse Do } def +/GetEdge { dup 0 eq { pop begin 1 0 NodeMtrx dtransform CM idtransform +exch atan sub dup sin /Sin ED cos /Cos ED /NodeSep ED NodePos NodeMtrx +dtransform CM idtransform end } { 1 eq {{exch}} {{}} ifelse /Do ED pop +XYPos } ifelse } def +/AddOffset { 1 index 0 eq { pop pop } { 2 copy 5 2 roll cos mul add 4 1 +roll sin mul sub exch } ifelse } def +/GetEdgeA { NodeSepA AngleA NodeA NodeSepTypeA GetEdge OffsetA AngleA +AddOffset yA add /yA1 ED xA add /xA1 ED } def +/GetEdgeB { NodeSepB AngleB NodeB NodeSepTypeB GetEdge OffsetB AngleB +AddOffset yB add /yB1 ED xB add /xB1 ED } def +/GetArmA { ArmTypeA 0 eq { /xA2 ArmA AngleA cos mul xA1 add def /yA2 ArmA +AngleA sin mul yA1 add def } { ArmTypeA 1 eq {{exch}} {{}} ifelse /Do ED +ArmA AngleA XYPos OffsetA AngleA AddOffset yA add /yA2 ED xA add /xA2 ED +} ifelse } def +/GetArmB { ArmTypeB 0 eq { /xB2 ArmB AngleB cos mul xB1 add def /yB2 ArmB +AngleB sin mul yB1 add def } { ArmTypeB 1 eq {{exch}} {{}} ifelse /Do ED +ArmB AngleB XYPos OffsetB AngleB AddOffset yB add /yB2 ED xB add /xB2 ED +} ifelse } def +/InitNC { /b ED /a ED /NodeSepTypeB ED /NodeSepTypeA ED /NodeSepB ED +/NodeSepA ED /OffsetB ED /OffsetA ED tx@NodeDict a known tx@NodeDict b +known and dup { /NodeA a load def /NodeB b load def NodeA GetCenter /yA +ED /xA ED NodeB GetCenter /yB ED /xB ED } if } def +/LPutLine { 4 copy 3 -1 roll sub neg 3 1 roll sub Atan /NAngle ED 1 t sub +mul 3 1 roll 1 t sub mul 4 1 roll t mul add /Y ED t mul add /X ED } def +/LPutLines { mark LPutVar counttomark 2 div 1 sub /n ED t floor dup n gt +{ pop n 1 sub /t 1 def } { dup t sub neg /t ED } ifelse cvi 2 mul { pop +} repeat LPutLine cleartomark } def +/BezierMidpoint { /y3 ED /x3 ED /y2 ED /x2 ED /y1 ED /x1 ED /y0 ED /x0 ED +/t ED /cx x1 x0 sub 3 mul def /cy y1 y0 sub 3 mul def /bx x2 x1 sub 3 +mul cx sub def /by y2 y1 sub 3 mul cy sub def /ax x3 x0 sub cx sub bx +sub def /ay y3 y0 sub cy sub by sub def ax t 3 exp mul bx t t mul mul +add cx t mul add x0 add ay t 3 exp mul by t t mul mul add cy t mul add +y0 add 3 ay t t mul mul mul 2 by t mul mul add cy add 3 ax t t mul mul +mul 2 bx t mul mul add cx add atan /NAngle ED /Y ED /X ED } def +/HPosBegin { yB yA ge { /t 1 t sub def } if /Y yB yA sub t mul yA add def +} def +/HPosEnd { /X Y yyA sub yyB yyA sub Div xxB xxA sub mul xxA add def +/NAngle yyB yyA sub xxB xxA sub Atan def } def +/HPutLine { HPosBegin /yyA ED /xxA ED /yyB ED /xxB ED HPosEnd } def +/HPutLines { HPosBegin yB yA ge { /check { le } def } { /check { ge } def +} ifelse /xxA xA def /yyA yA def mark xB yB LPutVar { dup Y check { exit +} { /yyA ED /xxA ED } ifelse } loop /yyB ED /xxB ED cleartomark HPosEnd +} def +/VPosBegin { xB xA lt { /t 1 t sub def } if /X xB xA sub t mul xA add def +} def +/VPosEnd { /Y X xxA sub xxB xxA sub Div yyB yyA sub mul yyA add def +/NAngle yyB yyA sub xxB xxA sub Atan def } def +/VPutLine { VPosBegin /yyA ED /xxA ED /yyB ED /xxB ED VPosEnd } def +/VPutLines { VPosBegin xB xA ge { /check { le } def } { /check { ge } def +} ifelse /xxA xA def /yyA yA def mark xB yB LPutVar { 1 index X check { +exit } { /yyA ED /xxA ED } ifelse } loop /yyB ED /xxB ED cleartomark +VPosEnd } def +/HPutCurve { gsave newpath /SaveLPutVar /LPutVar load def LPutVar 8 -2 +roll moveto curveto flattenpath /LPutVar [ {} {} {} {} pathforall ] cvx +def grestore exec /LPutVar /SaveLPutVar load def } def +/NCCoor { /AngleA yB yA sub xB xA sub Atan def /AngleB AngleA 180 add def +GetEdgeA GetEdgeB /LPutVar [ xB1 yB1 xA1 yA1 ] cvx def /LPutPos { +LPutVar LPutLine } def /HPutPos { LPutVar HPutLine } def /VPutPos { +LPutVar VPutLine } def LPutVar } def +/NCLine { NCCoor tx@Dict begin ArrowA CP 4 2 roll ArrowB lineto pop pop +end } def +/NCLines { false NArray n 0 eq { NCLine } { 2 copy yA sub exch xA sub +Atan /AngleA ED n 2 mul dup index exch index yB sub exch xB sub Atan +/AngleB ED GetEdgeA GetEdgeB /LPutVar [ xB1 yB1 n 2 mul 4 add 4 roll xA1 +yA1 ] cvx def mark LPutVar tx@Dict begin false Line end /LPutPos { +LPutLines } def /HPutPos { HPutLines } def /VPutPos { VPutLines } def } +ifelse } def +/NCCurve { GetEdgeA GetEdgeB xA1 xB1 sub yA1 yB1 sub Pyth 2 div dup 3 -1 +roll mul /ArmA ED mul /ArmB ED /ArmTypeA 0 def /ArmTypeB 0 def GetArmA +GetArmB xA2 yA2 xA1 yA1 tx@Dict begin ArrowA end xB2 yB2 xB1 yB1 tx@Dict +begin ArrowB end curveto /LPutVar [ xA1 yA1 xA2 yA2 xB2 yB2 xB1 yB1 ] +cvx def /LPutPos { t LPutVar BezierMidpoint } def /HPutPos { { HPutLines +} HPutCurve } def /VPutPos { { VPutLines } HPutCurve } def } def +/NCAngles { GetEdgeA GetEdgeB GetArmA GetArmB /mtrx AngleA matrix rotate +def xA2 yA2 mtrx transform pop xB2 yB2 mtrx transform exch pop mtrx +itransform /y0 ED /x0 ED mark ArmB 0 ne { xB1 yB1 } if xB2 yB2 x0 y0 xA2 +yA2 ArmA 0 ne { xA1 yA1 } if tx@Dict begin false Line end /LPutVar [ xB1 +yB1 xB2 yB2 x0 y0 xA2 yA2 xA1 yA1 ] cvx def /LPutPos { LPutLines } def +/HPutPos { HPutLines } def /VPutPos { VPutLines } def } def +/NCAngle { GetEdgeA GetEdgeB GetArmB /mtrx AngleA matrix rotate def xB2 +yB2 mtrx itransform pop xA1 yA1 mtrx itransform exch pop mtrx transform +/y0 ED /x0 ED mark ArmB 0 ne { xB1 yB1 } if xB2 yB2 x0 y0 xA1 yA1 +tx@Dict begin false Line end /LPutVar [ xB1 yB1 xB2 yB2 x0 y0 xA1 yA1 ] +cvx def /LPutPos { LPutLines } def /HPutPos { HPutLines } def /VPutPos { +VPutLines } def } def +/NCBar { GetEdgeA GetEdgeB GetArmA GetArmB /mtrx AngleA matrix rotate def +xA2 yA2 mtrx itransform pop xB2 yB2 mtrx itransform pop sub dup 0 mtrx +transform 3 -1 roll 0 gt { /yB2 exch yB2 add def /xB2 exch xB2 add def } +{ /yA2 exch neg yA2 add def /xA2 exch neg xA2 add def } ifelse mark ArmB +0 ne { xB1 yB1 } if xB2 yB2 xA2 yA2 ArmA 0 ne { xA1 yA1 } if tx@Dict +begin false Line end /LPutVar [ xB1 yB1 xB2 yB2 xA2 yA2 xA1 yA1 ] cvx +def /LPutPos { LPutLines } def /HPutPos { HPutLines } def /VPutPos { +VPutLines } def } def +/NCDiag { GetEdgeA GetEdgeB GetArmA GetArmB mark ArmB 0 ne { xB1 yB1 } if +xB2 yB2 xA2 yA2 ArmA 0 ne { xA1 yA1 } if tx@Dict begin false Line end +/LPutVar [ xB1 yB1 xB2 yB2 xA2 yA2 xA1 yA1 ] cvx def /LPutPos { +LPutLines } def /HPutPos { HPutLines } def /VPutPos { VPutLines } def } +def +/NCDiagg { GetEdgeA GetArmA yB yA2 sub xB xA2 sub Atan 180 add /AngleB ED +GetEdgeB mark xB1 yB1 xA2 yA2 ArmA 0 ne { xA1 yA1 } if tx@Dict begin +false Line end /LPutVar [ xB1 yB1 xA2 yA2 xA1 yA1 ] cvx def /LPutPos { +LPutLines } def /HPutPos { HPutLines } def /VPutPos { VPutLines } def } +def +/NCLoop { GetEdgeA GetEdgeB GetArmA GetArmB /mtrx AngleA matrix rotate +def xA2 yA2 mtrx transform loopsize add /yA3 ED /xA3 ED /xB3 xB2 yB2 +mtrx transform pop def xB3 yA3 mtrx itransform /yB3 ED /xB3 ED xA3 yA3 +mtrx itransform /yA3 ED /xA3 ED mark ArmB 0 ne { xB1 yB1 } if xB2 yB2 +xB3 yB3 xA3 yA3 xA2 yA2 ArmA 0 ne { xA1 yA1 } if tx@Dict begin false +Line end /LPutVar [ xB1 yB1 xB2 yB2 xB3 yB3 xA3 yA3 xA2 yA2 xA1 yA1 ] +cvx def /LPutPos { LPutLines } def /HPutPos { HPutLines } def /VPutPos { +VPutLines } def } def +% DG/SR modification begin - May 9, 1997 - Patch 1 +%/NCCircle { 0 0 NodesepA nodeA \tx@GetEdge pop xA sub 2 div dup 2 exp r +%r mul sub abs sqrt atan 2 mul /a ED r AngleA 90 add PtoC yA add exch xA add +%exch 2 copy /LPutVar [ 4 2 roll r AngleA ] cvx def /LPutPos { LPutVar t 360 +%mul add dup 5 1 roll 90 sub \tx@PtoC 3 -1 roll add /Y ED add /X ED /NAngle ED +/NCCircle { NodeSepA 0 NodeA 0 GetEdge pop 2 div dup 2 exp r +r mul sub abs sqrt atan 2 mul /a ED r AngleA 90 add PtoC yA add exch xA add +exch 2 copy /LPutVar [ 4 2 roll r AngleA ] cvx def /LPutPos { LPutVar t 360 +mul add dup 5 1 roll 90 sub PtoC 3 -1 roll add /Y ED add /X ED /NAngle ED +% DG/SR modification end +} def /HPutPos { LPutPos } def /VPutPos { LPutPos } def r AngleA 90 sub a add +AngleA 270 add a sub tx@Dict begin /angleB ED /angleA ED /r ED /c 57.2957 r +Div def /y ED /x ED } def +/NCBox { /d ED /h ED /AngleB yB yA sub xB xA sub Atan def /AngleA AngleB +180 add def GetEdgeA GetEdgeB /dx d AngleB sin mul def /dy d AngleB cos +mul neg def /hx h AngleB sin mul neg def /hy h AngleB cos mul def +/LPutVar [ xA1 hx add yA1 hy add xB1 hx add yB1 hy add xB1 dx add yB1 dy +add xA1 dx add yA1 dy add ] cvx def /LPutPos { LPutLines } def /HPutPos +{ xB yB xA yA LPutLine } def /VPutPos { HPutPos } def mark LPutVar +tx@Dict begin false Polygon end } def +/NCArcBox { /l ED neg /d ED /h ED /a ED /AngleA yB yA sub xB xA sub Atan +def /AngleB AngleA 180 add def /tA AngleA a sub 90 add def /tB tA a 2 +mul add def /r xB xA sub tA cos tB cos sub Div dup 0 eq { pop 1 } if def +/x0 xA r tA cos mul add def /y0 yA r tA sin mul add def /c 57.2958 r div +def /AngleA AngleA a sub 180 add def /AngleB AngleB a add 180 add def +GetEdgeA GetEdgeB /AngleA tA 180 add yA yA1 sub xA xA1 sub Pyth c mul +sub def /AngleB tB 180 add yB yB1 sub xB xB1 sub Pyth c mul add def l 0 +eq { x0 y0 r h add AngleA AngleB arc x0 y0 r d add AngleB AngleA arcn } +{ x0 y0 translate /tA AngleA l c mul add def /tB AngleB l c mul sub def +0 0 r h add tA tB arc r h add AngleB PtoC r d add AngleB PtoC 2 copy 6 2 +roll l arcto 4 { pop } repeat r d add tB PtoC l arcto 4 { pop } repeat 0 +0 r d add tB tA arcn r d add AngleA PtoC r h add AngleA PtoC 2 copy 6 2 +roll l arcto 4 { pop } repeat r h add tA PtoC l arcto 4 { pop } repeat } +ifelse closepath /LPutVar [ x0 y0 r AngleA AngleB h d ] cvx def /LPutPos +{ LPutVar /d ED /h ED /AngleB ED /AngleA ED /r ED /y0 ED /x0 ED t 1 le { +r h add AngleA 1 t sub mul AngleB t mul add dup 90 add /NAngle ED PtoC } +{ t 2 lt { /NAngle AngleB 180 add def r 2 t sub h mul t 1 sub d mul add +add AngleB PtoC } { t 3 lt { r d add AngleB 3 t sub mul AngleA 2 t sub +mul add dup 90 sub /NAngle ED PtoC } { /NAngle AngleA 180 add def r 4 t +sub d mul t 3 sub h mul add add AngleA PtoC } ifelse } ifelse } ifelse +y0 add /Y ED x0 add /X ED } def /HPutPos { LPutPos } def /VPutPos { +LPutPos } def } def +/Tfan { /AngleA yB yA sub xB xA sub Atan def GetEdgeA w xA1 xB sub yA1 yB +sub Pyth Pyth w Div CLW 2 div mul 2 div dup AngleA sin mul yA1 add /yA1 +ED AngleA cos mul xA1 add /xA1 ED /LPutVar [ xA1 yA1 m { xB w add yB xB +w sub yB } { xB yB w sub xB yB w add } ifelse xA1 yA1 ] cvx def /LPutPos +{ LPutLines } def /VPutPos@ { LPutVar flag { 8 4 roll pop pop pop pop } +{ pop pop pop pop 4 2 roll } ifelse } def /VPutPos { VPutPos@ VPutLine } +def /HPutPos { VPutPos@ HPutLine } def mark LPutVar tx@Dict begin +/ArrowA { moveto } def /ArrowB { } def false Line closepath end } def +/LPutCoor { NAngle tx@Dict begin /NAngle ED end gsave CM STV CP Y sub neg +exch X sub neg exch moveto setmatrix CP grestore } def +/LPut { tx@NodeDict /LPutPos known { LPutPos } { CP /Y ED /X ED /NAngle 0 +def } ifelse LPutCoor } def +/HPutAdjust { Sin Cos mul 0 eq { 0 } { d Cos mul Sin div flag not { neg } +if h Cos mul Sin div flag { neg } if 2 copy gt { pop } { exch pop } +ifelse } ifelse s add flag { r add neg } { l add } ifelse X add /X ED } +def +/VPutAdjust { Sin Cos mul 0 eq { 0 } { l Sin mul Cos div flag { neg } if +r Sin mul Cos div flag not { neg } if 2 copy gt { pop } { exch pop } +ifelse } ifelse s add flag { d add } { h add neg } ifelse Y add /Y ED } +def +end +% END pst-node.pro + +%%EndProcSet +%%BeginProcSet: pst-text.pro 0 0 +%! +% PostScript header file pst-text.pro +% Version 97, 94/04/20; patched MV 10-09-99 00:36 +% For distribution, see pstricks.tex. + +/tx@TextPathDict 40 dict def +tx@TextPathDict begin + +% Syntax: PathPosition - +% Function: Searches for position of currentpath distance from +% beginning. Sets (X,Y)=position, and Angle=tangent. +/PathPosition +{ /targetdist exch def + /pathdist 0 def + /continue true def + /X { newx } def /Y { newy } def /Angle 0 def + gsave + flattenpath + { movetoproc } { linetoproc } { } { firstx firsty linetoproc } + /pathforall load stopped { pop pop pop pop /X 0 def /Y 0 def } if + grestore +} def + +/movetoproc { continue { @movetoproc } { pop pop } ifelse } def + +/@movetoproc +{ /newy exch def /newx exch def + /firstx newx def /firsty newy def +} def + +/linetoproc { continue { @linetoproc } { pop pop } ifelse } def + +/@linetoproc +{ + /oldx newx def /oldy newy def + /newy exch def /newx exch def + /dx newx oldx sub def + /dy newy oldy sub def + /dist dx dup mul dy dup mul add sqrt def + /pathdist pathdist dist add def + pathdist targetdist ge + { pathdist targetdist sub dist div dup + dy mul neg newy add /Y exch def + dx mul neg newx add /X exch def + /Angle dy dx atan def + /continue false def + } if +} def + +/TextPathShow +{ /String exch def + /CharCount 0 def + String length + { String CharCount 1 getinterval ShowChar + /CharCount CharCount 1 add def + } repeat +} def + +% Syntax: InitTextPath - +/InitTextPath +{ gsave + currentpoint /Y exch def /X exch def + exch X Hoffset sub sub mul + Voffset Hoffset sub add + neg X add /Hoffset exch def + /Voffset Y def + grestore +} def + +/Transform +{ PathPosition + dup + Angle cos mul Y add exch + Angle sin mul neg X add exch + translate + Angle rotate +} def + +/ShowChar +{ /Char exch def + gsave + Char end stringwidth + tx@TextPathDict begin + 2 div /Sy exch def 2 div /Sx exch def + +%%% MV 10-09-99 00:36 + /sc?currentpoint where {pop sc?currentpoint} {currentpoint} ifelse +% currentpoint + + Voffset sub Sy add exch + Hoffset sub Sx add + Transform + Sx neg Sy neg moveto + Char end tx@TextPathSavedShow + tx@TextPathDict begin + grestore + Sx 2 mul Sy 2 mul rmoveto +} def + +end +% END pst-text.pro + +%%EndProcSet +%%BeginProcSet: 8r.enc 0 0 +% File 8r.enc TeX Base 1 Encoding Revision 2.0 2002-10-30 +% +% @@psencodingfile@{ +% author = "S. Rahtz, P. MacKay, Alan Jeffrey, B. Horn, K. Berry, +% W. Schmidt, P. Lehman", +% version = "2.0", +% date = "30 October 2002", +% filename = "8r.enc", +% email = "tex-fonts@@tug.org", +% docstring = "This is the encoding vector for Type1 and TrueType +% fonts to be used with TeX. This file is part of the +% PSNFSS bundle, version 9" +% @} +% +% The idea is to have all the characters normally included in Type 1 fonts +% available for typesetting. This is effectively the characters in Adobe +% Standard encoding, ISO Latin 1, Windows ANSI including the euro symbol, +% MacRoman, and some extra characters from Lucida. +% +% Character code assignments were made as follows: +% +% (1) the Windows ANSI characters are almost all in their Windows ANSI +% positions, because some Windows users cannot easily reencode the +% fonts, and it makes no difference on other systems. The only Windows +% ANSI characters not available are those that make no sense for +% typesetting -- rubout (127 decimal), nobreakspace (160), softhyphen +% (173). quotesingle and grave are moved just because it's such an +% irritation not having them in TeX positions. +% +% (2) Remaining characters are assigned arbitrarily to the lower part +% of the range, avoiding 0, 10 and 13 in case we meet dumb software. +% +% (3) Y&Y Lucida Bright includes some extra text characters; in the +% hopes that other PostScript fonts, perhaps created for public +% consumption, will include them, they are included starting at 0x12. +% These are /dotlessj /ff /ffi /ffl. +% +% (4) hyphen appears twice for compatibility with both ASCII and Windows. +% +% (5) /Euro was assigned to 128, as in Windows ANSI +% +% (6) Missing characters from MacRoman encoding incorporated as follows: +% +% PostScript MacRoman TeXBase1 +% -------------- -------------- -------------- +% /notequal 173 0x16 +% /infinity 176 0x17 +% /lessequal 178 0x18 +% /greaterequal 179 0x19 +% /partialdiff 182 0x1A +% /summation 183 0x1B +% /product 184 0x1C +% /pi 185 0x1D +% /integral 186 0x81 +% /Omega 189 0x8D +% /radical 195 0x8E +% /approxequal 197 0x8F +% /Delta 198 0x9D +% /lozenge 215 0x9E +% +/TeXBase1Encoding [ +% 0x00 + /.notdef /dotaccent /fi /fl + /fraction /hungarumlaut /Lslash /lslash + /ogonek /ring /.notdef /breve + /minus /.notdef /Zcaron /zcaron +% 0x10 + /caron /dotlessi /dotlessj /ff + /ffi /ffl /notequal /infinity + /lessequal /greaterequal /partialdiff /summation + /product /pi /grave /quotesingle +% 0x20 + /space /exclam /quotedbl /numbersign + /dollar /percent /ampersand /quoteright + /parenleft /parenright /asterisk /plus + /comma /hyphen /period /slash +% 0x30 + /zero /one /two /three + /four /five /six /seven + /eight /nine /colon /semicolon + /less /equal /greater /question +% 0x40 + /at /A /B /C + /D /E /F /G + /H /I /J /K + /L /M /N /O +% 0x50 + /P /Q /R /S + /T /U /V /W + /X /Y /Z /bracketleft + /backslash /bracketright /asciicircum /underscore +% 0x60 + /quoteleft /a /b /c + /d /e /f /g + /h /i /j /k + /l /m /n /o +% 0x70 + /p /q /r /s + /t /u /v /w + /x /y /z /braceleft + /bar /braceright /asciitilde /.notdef +% 0x80 + /Euro /integral /quotesinglbase /florin + /quotedblbase /ellipsis /dagger /daggerdbl + /circumflex /perthousand /Scaron /guilsinglleft + /OE /Omega /radical /approxequal +% 0x90 + /.notdef /.notdef /.notdef /quotedblleft + /quotedblright /bullet /endash /emdash + /tilde /trademark /scaron /guilsinglright + /oe /Delta /lozenge /Ydieresis +% 0xA0 + /.notdef /exclamdown /cent /sterling + /currency /yen /brokenbar /section + /dieresis /copyright /ordfeminine /guillemotleft + /logicalnot /hyphen /registered /macron +% 0xD0 + /degree /plusminus /twosuperior /threesuperior + /acute /mu /paragraph /periodcentered + /cedilla /onesuperior /ordmasculine /guillemotright + /onequarter /onehalf /threequarters /questiondown +% 0xC0 + /Agrave /Aacute /Acircumflex /Atilde + /Adieresis /Aring /AE /Ccedilla + /Egrave /Eacute /Ecircumflex /Edieresis + /Igrave /Iacute /Icircumflex /Idieresis +% 0xD0 + /Eth /Ntilde /Ograve /Oacute + /Ocircumflex /Otilde /Odieresis /multiply + /Oslash /Ugrave /Uacute /Ucircumflex + /Udieresis /Yacute /Thorn /germandbls +% 0xE0 + /agrave /aacute /acircumflex /atilde + /adieresis /aring /ae /ccedilla + /egrave /eacute /ecircumflex /edieresis + /igrave /iacute /icircumflex /idieresis +% 0xF0 + /eth /ntilde /ograve /oacute + /ocircumflex /otilde /odieresis /divide + /oslash /ugrave /uacute /ucircumflex + /udieresis /yacute /thorn /ydieresis +] def + + +%%EndProcSet +%%BeginProcSet: texmital.enc 0 0 +% TeX math italic encoding. +% No ligatures or kerns. +% +/TeXMathItalicEncoding [ % now 256 chars follow +% 0x0 +/Gamma +/Delta +/Theta +/Lambda +/Xi +/Pi +/Sigma +/Upsilon + +% 0x8 +/Phi +/Psi +/Omega +/alpha +/beta +/gamma +/delta +/epsilon1 + +% 0x10 +/zeta +/eta +/theta +/iota +/kappa +/lambda +/mu +/nu + +% 0x18 +/xi +/pi +/rho +/sigma +/tau +/upsilon +/phi +/chi + +% 0x20 +/psi +/omega +/epsilon +/theta1 +/pi1 +/rho1 +/sigma1 +/phi1 + +% 0x28 +/arrowlefttophalf +/arrowleftbothalf +/arrowrighttophalf +/arrowrightbothalf +/arrowhookleft +/arrowhookright +/triangleright +/triangleleft + +% 0x30 +/zerooldstyle +/oneoldstyle +/twooldstyle +/threeoldstyle +/fouroldstyle +/fiveoldstyle +/sixoldstyle +/sevenoldstyle + +% 0x38 +/eightoldstyle +/nineoldstyle +/period +/comma +/less +/slash +/greater +/star + +% 0x40 +/partialdiff +/A +/B +/C +/D +/E +/F +/G + +% 0x48 +/H +/I +/J +/K +/L +/M +/N +/O + +% 0x50 +/P +/Q +/R +/S +/T +/U +/V +/W + +% 0x58 +/X +/Y +/Z +/flat +/natural +/sharp +/slurbelow +/slurabove + +% 0x60 +/lscript +/a +/b +/c +/d +/e +/f +/g + +% 0x68 +/h +/i +/j +/k +/l +/m +/n +/o + +% 0x70 +/p +/q +/r +/s +/t +/u +/v +/w + +% 0x78 +/x +/y +/z +/dotlessi +/dotlessj +/weierstrass +/vector +/tie + +% Have to have 128 .notdef's now to fill things out. +% +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +] def + +%%EndProcSet +%%BeginProcSet: texps.pro 0 0 +%! +TeXDict begin/rf{findfont dup length 1 add dict begin{1 index/FID ne 2 +index/UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll +exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]FontType 0 +ne{/Metrics exch def dict begin Encoding{exch dup type/integertype ne{ +pop pop 1 sub dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get +div def}ifelse}forall Metrics/Metrics currentdict end def}{{1 index type +/nametype eq{exit}if exch pop}loop}ifelse[2 index currentdict end +definefont 3 -1 roll makefont/setfont cvx]cvx def}def/ObliqueSlant{dup +sin S cos div neg}B/SlantFont{4 index mul add}def/ExtendFont{3 -1 roll +mul exch}def/ReEncodeFont{CharStrings rcheck{/Encoding false def dup[ +exch{dup CharStrings exch known not{pop/.notdef/Encoding true def}if} +forall Encoding{]exch pop}{cleartomark}ifelse}if/Encoding exch def}def +end + +%%EndProcSet +%%BeginProcSet: special.pro 0 0 +%! +TeXDict begin/SDict 200 dict N SDict begin/@SpecialDefaults{/hs 612 N +/vs 792 N/ho 0 N/vo 0 N/hsc 1 N/vsc 1 N/ang 0 N/CLIP 0 N/rwiSeen false N +/rhiSeen false N/letter{}N/note{}N/a4{}N/legal{}N}B/@scaleunit 100 N +/@hscale{@scaleunit div/hsc X}B/@vscale{@scaleunit div/vsc X}B/@hsize{ +/hs X/CLIP 1 N}B/@vsize{/vs X/CLIP 1 N}B/@clip{/CLIP 2 N}B/@hoffset{/ho +X}B/@voffset{/vo X}B/@angle{/ang X}B/@rwi{10 div/rwi X/rwiSeen true N}B +/@rhi{10 div/rhi X/rhiSeen true N}B/@llx{/llx X}B/@lly{/lly X}B/@urx{ +/urx X}B/@ury{/ury X}B/magscale true def end/@MacSetUp{userdict/md known +{userdict/md get type/dicttype eq{userdict begin md length 10 add md +maxlength ge{/md md dup length 20 add dict copy def}if end md begin +/letter{}N/note{}N/legal{}N/od{txpose 1 0 mtx defaultmatrix dtransform S +atan/pa X newpath clippath mark{transform{itransform moveto}}{transform{ +itransform lineto}}{6 -2 roll transform 6 -2 roll transform 6 -2 roll +transform{itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll +curveto}}{{closepath}}pathforall newpath counttomark array astore/gc xdf +pop ct 39 0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack} +if}N/txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1 +-1 scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3 +get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip +yflip not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub +neg 0 TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{ +noflips{TR pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop +90 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get +neg sub neg TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr +1 get neg sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr +2 get ppr 0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4 +-1 roll add 2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S +TR}if}N/cp{pop pop showpage pm restore}N end}if}if}N/normalscale{ +Resolution 72 div VResolution 72 div neg scale magscale{DVImag dup scale +}if 0 setgray}N/psfts{S 65781.76 div N}N/startTexFig{/psf$SavedState +save N userdict maxlength dict begin/magscale true def normalscale +currentpoint TR/psf$ury psfts/psf$urx psfts/psf$lly psfts/psf$llx psfts +/psf$y psfts/psf$x psfts currentpoint/psf$cy X/psf$cx X/psf$sx psf$x +psf$urx psf$llx sub div N/psf$sy psf$y psf$ury psf$lly sub div N psf$sx +psf$sy scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub +TR/showpage{}N/erasepage{}N/setpagedevice{pop}N/copypage{}N/p 3 def +@MacSetUp}N/doclip{psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll +newpath 4 copy 4 2 roll moveto 6 -1 roll S lineto S lineto S lineto +closepath clip newpath moveto}N/endTexFig{end psf$SavedState restore}N +/@beginspecial{SDict begin/SpecialSave save N gsave normalscale +currentpoint TR @SpecialDefaults count/ocount X/dcount countdictstack N} +N/@setspecial{CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs +neg 0 rlineto closepath clip}if ho vo TR hsc vsc scale ang rotate +rwiSeen{rwi urx llx sub div rhiSeen{rhi ury lly sub div}{dup}ifelse +scale llx neg lly neg TR}{rhiSeen{rhi ury lly sub div dup scale llx neg +lly neg TR}if}ifelse CLIP 2 eq{newpath llx lly moveto urx lly lineto urx +ury lineto llx ury lineto closepath clip}if/showpage{}N/erasepage{}N +/setpagedevice{pop}N/copypage{}N newpath}N/@endspecial{count ocount sub{ +pop}repeat countdictstack dcount sub{end}repeat grestore SpecialSave +restore end}N/@defspecial{SDict begin}N/@fedspecial{end}B/li{lineto}B +/rl{rlineto}B/rc{rcurveto}B/np{/SaveX currentpoint/SaveY X N 1 +setlinecap newpath}N/st{stroke SaveX SaveY moveto}N/fil{fill SaveX SaveY +moveto}N/ellipse{/endangle X/startangle X/yrad X/xrad X/savematrix +matrix currentmatrix N TR xrad yrad scale 0 0 1 startangle endangle arc +savematrix setmatrix}N end + +%%EndProcSet +%%BeginProcSet: color.pro 0 0 +%! +TeXDict begin/setcmykcolor where{pop}{/setcmykcolor{dup 10 eq{pop +setrgbcolor}{1 sub 4 1 roll 3{3 index add neg dup 0 lt{pop 0}if 3 1 roll +}repeat setrgbcolor pop}ifelse}B}ifelse/TeXcolorcmyk{setcmykcolor}def +/TeXcolorrgb{setrgbcolor}def/TeXcolorgrey{setgray}def/TeXcolorgray{ +setgray}def/TeXcolorhsb{sethsbcolor}def/currentcmykcolor where{pop}{ +/currentcmykcolor{currentrgbcolor 10}B}ifelse/DC{exch dup userdict exch +known{pop pop}{X}ifelse}B/GreenYellow{0.15 0 0.69 0 setcmykcolor}DC +/Yellow{0 0 1 0 setcmykcolor}DC/Goldenrod{0 0.10 0.84 0 setcmykcolor}DC +/Dandelion{0 0.29 0.84 0 setcmykcolor}DC/Apricot{0 0.32 0.52 0 +setcmykcolor}DC/Peach{0 0.50 0.70 0 setcmykcolor}DC/Melon{0 0.46 0.50 0 +setcmykcolor}DC/YellowOrange{0 0.42 1 0 setcmykcolor}DC/Orange{0 0.61 +0.87 0 setcmykcolor}DC/BurntOrange{0 0.51 1 0 setcmykcolor}DC +/Bittersweet{0 0.75 1 0.24 setcmykcolor}DC/RedOrange{0 0.77 0.87 0 +setcmykcolor}DC/Mahogany{0 0.85 0.87 0.35 setcmykcolor}DC/Maroon{0 0.87 +0.68 0.32 setcmykcolor}DC/BrickRed{0 0.89 0.94 0.28 setcmykcolor}DC/Red{ +0 1 1 0 setcmykcolor}DC/OrangeRed{0 1 0.50 0 setcmykcolor}DC/RubineRed{ +0 1 0.13 0 setcmykcolor}DC/WildStrawberry{0 0.96 0.39 0 setcmykcolor}DC +/Salmon{0 0.53 0.38 0 setcmykcolor}DC/CarnationPink{0 0.63 0 0 +setcmykcolor}DC/Magenta{0 1 0 0 setcmykcolor}DC/VioletRed{0 0.81 0 0 +setcmykcolor}DC/Rhodamine{0 0.82 0 0 setcmykcolor}DC/Mulberry{0.34 0.90 +0 0.02 setcmykcolor}DC/RedViolet{0.07 0.90 0 0.34 setcmykcolor}DC +/Fuchsia{0.47 0.91 0 0.08 setcmykcolor}DC/Lavender{0 0.48 0 0 +setcmykcolor}DC/Thistle{0.12 0.59 0 0 setcmykcolor}DC/Orchid{0.32 0.64 0 +0 setcmykcolor}DC/DarkOrchid{0.40 0.80 0.20 0 setcmykcolor}DC/Purple{ +0.45 0.86 0 0 setcmykcolor}DC/Plum{0.50 1 0 0 setcmykcolor}DC/Violet{ +0.79 0.88 0 0 setcmykcolor}DC/RoyalPurple{0.75 0.90 0 0 setcmykcolor}DC +/BlueViolet{0.86 0.91 0 0.04 setcmykcolor}DC/Periwinkle{0.57 0.55 0 0 +setcmykcolor}DC/CadetBlue{0.62 0.57 0.23 0 setcmykcolor}DC +/CornflowerBlue{0.65 0.13 0 0 setcmykcolor}DC/MidnightBlue{0.98 0.13 0 +0.43 setcmykcolor}DC/NavyBlue{0.94 0.54 0 0 setcmykcolor}DC/RoyalBlue{1 +0.50 0 0 setcmykcolor}DC/Blue{1 1 0 0 setcmykcolor}DC/Cerulean{0.94 0.11 +0 0 setcmykcolor}DC/Cyan{1 0 0 0 setcmykcolor}DC/ProcessBlue{0.96 0 0 0 +setcmykcolor}DC/SkyBlue{0.62 0 0.12 0 setcmykcolor}DC/Turquoise{0.85 0 +0.20 0 setcmykcolor}DC/TealBlue{0.86 0 0.34 0.02 setcmykcolor}DC +/Aquamarine{0.82 0 0.30 0 setcmykcolor}DC/BlueGreen{0.85 0 0.33 0 +setcmykcolor}DC/Emerald{1 0 0.50 0 setcmykcolor}DC/JungleGreen{0.99 0 +0.52 0 setcmykcolor}DC/SeaGreen{0.69 0 0.50 0 setcmykcolor}DC/Green{1 0 +1 0 setcmykcolor}DC/ForestGreen{0.91 0 0.88 0.12 setcmykcolor}DC +/PineGreen{0.92 0 0.59 0.25 setcmykcolor}DC/LimeGreen{0.50 0 1 0 +setcmykcolor}DC/YellowGreen{0.44 0 0.74 0 setcmykcolor}DC/SpringGreen{ +0.26 0 0.76 0 setcmykcolor}DC/OliveGreen{0.64 0 0.95 0.40 setcmykcolor} +DC/RawSienna{0 0.72 1 0.45 setcmykcolor}DC/Sepia{0 0.83 1 0.70 +setcmykcolor}DC/Brown{0 0.81 1 0.60 setcmykcolor}DC/Tan{0.14 0.42 0.56 0 +setcmykcolor}DC/Gray{0 0 0 0.50 setcmykcolor}DC/Black{0 0 0 1 +setcmykcolor}DC/White{0 0 0 0 setcmykcolor}DC end + +%%EndProcSet +TeXDict begin @defspecial + + /DvipsToPDF { 72.27 mul Resolution div } def /PDFToDvips { 72.27 div +Resolution mul } def /HyperBorder { 1 PDFToDvips } def /H.V {pdf@hoff +pdf@voff null} def /H.B {/Rect[pdf@llx pdf@lly pdf@urx pdf@ury]} def +/H.S { currentpoint HyperBorder add /pdf@lly exch def dup DvipsToPDF +/pdf@hoff exch def HyperBorder sub /pdf@llx exch def } def /H.L { 2 +sub dup /HyperBasePt exch def PDFToDvips /HyperBaseDvips exch def currentpoint +HyperBaseDvips sub /pdf@ury exch def /pdf@urx exch def } def /H.A { +H.L currentpoint exch pop vsize 72 sub exch DvipsToPDF HyperBasePt +sub sub /pdf@voff exch def } def /H.R { currentpoint HyperBorder sub +/pdf@ury exch def HyperBorder add /pdf@urx exch def currentpoint exch +pop vsize 72 sub exch DvipsToPDF sub /pdf@voff exch def } def systemdict +/pdfmark known not {userdict /pdfmark systemdict /cleartomark get put} +if + +@fedspecial end +%%BeginFont: CMTT12 +%!PS-AdobeFont-1.1: CMTT12 1.0 +%%CreationDate: 1991 Aug 20 16:45:46 +% Copyright (C) 1997 American Mathematical Society. All Rights Reserved. +11 dict begin +/FontInfo 7 dict dup begin +/version (1.0) readonly def +/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def +/FullName (CMTT12) readonly def +/FamilyName (Computer Modern) readonly def +/Weight (Medium) readonly def +/ItalicAngle 0 def +/isFixedPitch true def +end readonly def +/FontName /CMTT12 def +/PaintType 0 def +/FontType 1 def +/FontMatrix [0.001 0 0 0.001 0 0] readonly def +/Encoding 256 array +0 1 255 {1 index exch /.notdef put} for +dup 100 /d put +dup 101 /e put +dup 102 /f put +dup 112 /p put +dup 116 /t put +dup 121 /y put +readonly def +/FontBBox{-1 -234 524 695}readonly def +currentdict end +currentfile eexec +D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 +016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 +9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F +D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 +469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 +2BDBF16FBC7512FAA308A093FE5F0364CD5660FE13FF01BC20148F9C480BCD0E +C81D5BFC66F04993DD73F0BE0AB13F53B1BA79FE5F618A4F672B16C06BE3251E +3BCB599BFA0E6041FBD558475370D693A959259A2699BA6E97CF40435B8E8A4B +426343E145DF14E59028D4E0941AB537E34024E6CDE0EA9AF8038A3260A0358D +D5B1DB53582F0DAB7ADE29CF8DBA0992D5A94672DFF91573F38D9BFD1A57E161 +E52DA1B41433C82261E47F79997DF603935D2A187A95F7A25D148FB3C2B6AA32 +6B982C32C6B25867871ED7B38E150031A3DE568C8D3731A779EAAF09AC5CE6C5 +A129C4147E56882B8068DF37C97C761694F1316AF93E33FF7E0B2F1F252735CE +0D9F7BCE136B06EE967ABE0C8DF24DCBBF99874702ED252B677F407CB39678CC +85DDFC2F45C552BA967E4158165ED16FECC4E32AC4D3B3EB8046DCDD37C92FDF +F1F3710BB8EF5CA358ABACA33C7E5ACAD6BF5DC58BDFC3CF09BA2A38291D45A4 +C15FF1916FE2EC47FDC80911EB9C61F5D355BEDFC9DB17588547763AC5F0B1CC +12D2FFB32E0803D37E3281DA9CE36C5433655526ACFB3A301C56FAB09DF07B5D +048B47687348DEB96F3F9C53CE56DDD312B93D3918CD92AF53FB9461864D11B8 +0138918D0B1270C54873C4012CDE6F886DB11BCEA04B023EBB43E0D0A06BE725 +741D08B9DB688731A6C9886C15A83C28DADCC81385EA239E045E8F3670CE03DB +9EE77ED067036595C9F3B1854343BE3A12E486B6E5A2F8AC44FA5378D28DCCEE +306B0E283AA444423F9A4FF38E2B56DCF67A39CEB2C643DAE86865517D5D0371 +CB8797208ADEC637330A3A57902C9A88EDB75A7C16FA9850075D9F19578EC666 +1353CC1FC512D59DFF847ACCD5A0FDA6F4CF4BB7C9EE62271154425996A088B6 +1927646C7A761183ED3B781599964A4E0F89B56297700011C2132F8051616CC1 +B7771D9128F478D8A01024BFF595108A327B9A29B418B31339290F8B9F48A03C +4907685FD788FF3D599563586351B5191C2331B49360DEFB8647DE28B559F2F6 +DDC9F1A9106016CA2284EA6CBAFF7344809E4DE22B5050316C462FC3A102E14C +0A655CEF136B70D4C73DAFC2805722C1FDBAFD4F0237F1893E43AC5E471487E7 +8A95DAA118ED0F9C0E6D6866DB6D7BA89A5D071FFD71EE1FE14A54089469163B +31F7945C5AA5E7553C8EF3DDA69FE00978BA409CB18D0DA421424FB1CCAED6C0 +918D5F5642F7A84D6705AF87C55632BEB5ADA98E53BBEEDF4E51A2E3C1D7F4F8 +2D67F783BD2323CB92DB607847039C8B4347D67A1BEBDE50A455D9DFE1F4A1B9 +0046083438A10FC647E9D46A4F14F22DB1A70CED1A4DB4879677A1CD5613BBED +B9B2A932D715942AFF77A7DF8788FD91BAEA5D78FFC4EC472240934D4527821A +0F13E75679C3D61F3558FC5348B2C673B138218EF9A30B0E28782D17F93EA5D6 +F305A8D4FD84A9AB59B398D948CE8E83C8D3D376F2290D321C10F41233D64515 +452DD877F1B2E2DF7A9677ABF1977A8895D982DE3F22309ADC2BE230C9076625 +B4C2C1DDFA407AA85CA05DA18C78D9C483D9AD04C6597F80B0BE915D3EE9AA85 +3ABDDA69936B3F4064047A3102F6D0FFF09F177D665BA8C9969D481E5E6918CD +D19AB8FD285B79E7F72BF69DDEDA0017938506AC4451678D967BBAF87594EC0A +5D9BDC58F81587C95BF27353BFE60AA58FFD744630C2479F11676FE8C73E4E5B +F0C68BB54CCB8A1856D93FBFCF7DEAE1174CE2CB8953467083F7CB45A81E536A +7D5B779B3E6F00190B328BC5E777036DD730C069694191B95B0B60C7E047B2A8 +54B0D1ED502F985E8659986445BFDB0164B3C8A7F1EB5A975A60AC684D60A74D +720B063AB815A37F41EDF87565A8B5C0D059BB83B2CE56B1987AC23E3B59F334 +AB3C18993CC925AFD5120E2C6C2EDD5989DCD2C64C85A5F20B9200340B7529EA +751D2C19BBF431795749522C1736CE033943C417C2D680FBB64FD52F0AF14864 +A6BD3B18966612FB51E2B97C54CC6EC2A63AE8BF93A4A47E0233AA59D1E8691F +3B93F20DC46E454F4399E5AC1735883E1C6CD0973FC015C00070309BF342E0EB +EA92547C0B83FD8CB52233641753BD2A1C37184E1B06E35356B5508808B4542D +A835271A51BDA396FE4D35B9639EDF15E58465CB46F3370C7D72EFF375A3CCAE +3C5AAFAE1350103CCFFE834484FA4FC25A9129A072B53A0BE39F21D062DB4599 +D3FE95AD4949D980F8B2B83BDAFFCE9E1109EE556394470A07D42313F45557E6 +B24BB09FF60B87B8391E47D2C76D03D0C57020CFD2525879B75F6444E94F917D +114BBDED88C09BAF108E7A00B402FF12038D +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +cleartomark +%%EndFont +%%BeginFont: ComicSansMS +%!PS-AdobeFont-1.0: ComicSansMS Copyright [c] 1995 Microsoft Corporation. All rights reserved. +%%CreationDate: Sat Sep 14 10:16:33 2002 +% Converted by ttf2pt1 3.4.2/ttf +% Args: -a -b comic.ttf +%%EndComments +12 dict begin +/FontInfo 9 dict dup begin +/version (Version 2.10) readonly def +/Notice (Copyright [c] 1995 Microsoft Corporation. All rights reserved.) readonly def +/FullName (Comic Sans MS) readonly def +/FamilyName (Comic Sans MS) readonly def +/Weight (Regular) readonly def +/ItalicAngle 0.000000 def +/isFixedPitch false def +/UnderlinePosition -133 def +/UnderlineThickness 85 def +end readonly def +/FontName /ComicSansMS def +/PaintType 0 def +/StrokeWidth 0 def +/FontType 1 def +/FontMatrix [0.001 0 0 0.001 0 0] def +/FontBBox {-93 -312 1187 1102} readonly def +/Encoding 256 array +0 1 255 {1 index exch /.notdef put} for +dup 0 /.notdef put +readonly def +currentdict end +currentfile eexec +D9D66F633B846A989B9974B0179FC6CC445BC1325EB8F274DD24A5D21C056364 +13EFC099729365596A8A52075A624087116520034680FDBD3E86220CBF46C2E8 +2BA32413E26C0AE960BB760BE98B2E1348D6A21CDB5429260899F7FF77617B00 +E876499AFB997425D58673778E90672CE2F26C816F6EF6C1F6F0724D575749C5 +5AE9D8CD0337709436E75CF2354AFBA7974814727450620BF79E10457E31E899 +430F90AC9865F70FE6B6777C3B647DBF5479B987AFBD6DBAEA380CEC42950CA1 +9398EFFA5677DCC3A12382E5728D26A08A739460E0C7EEFBC2B287F337C81126 +D554D5A2079FE15A7AAB1D1578A6B7E7AE509A0C8EA12CB3BFFA8CA21F80C28F +165E56DDE1398D280FC068CB1C04C8317F894F38EBAFBDA29AB0EA3916EA9E64 +672E802980AA50F43C457AB4070C6F095772F85CEB9ED0FD0CA31682AC547B8E +8DEBE311665FCB8AE3AE78AC5AC5FB3F47582BEFEFAEC16DB1FD2025778C99C2 +488806E7D306ACBD579C02F05107A52DD8289D51C2D63372BB823C9B17F5FB76 +81F2778107E303E1951D955443AC4C731FE01234033C6FD1AAFAEF0C3981E9B2 +CA2386BF69A80C9019A7D8CF24477C4A5AB1BD191D1A8784E6260E49B87788FC +B6F169985E9C65C30DE793F4A68E75FB3A8135C52F8CB70F96ABE2F5FF571BBD +0732FF0A6EF848E437B50688DF5645B3A30E47B5AA0F1EB35A669B2B0603A931 +D08C5B9669221238E5745FF9DBF2BA765274A440F3987FBFC0689BE4C0407E98 +19FE68FC2C4CAA484A4DBF909B2858AD23B1EDEF2CB984E273CCDBE03C107CCD +13EFFC1A953F569C002E526244487C242639D8BF38201CD6447ACCA150D05B25 +BA9C9DDC2F597C8D4B091D853369B8ADE0B18E8DFDE785893B5EFD6019AC678B +9658F8649182BA4DD7D16E5DC259E3F5083D2A5B98281323C7EB5A6A1BB84E58 +E792C362F039EC894655E7B06095437FEF27B81EB14663E3073EA5D9410D411C +DA75C4C5C7864FA957AAFEEA79FEC8CC064641BD58F0EC389FACADA308A1723A +5C2492BA061EE8AD39200BFD0358D8D606291B417D0B25542A15E0DECFE2C769 +4669121D5623921B1DCBE64808E61DD4F21BF74F5BF076049BAC620D7C544BEF +828A51B066C7134AD5D0447045AF93358ACF5DE07C87C7C94DEF2EF284C2DAE0 +8E3664B7D51FC34898B2382F1AF4831554814D1846C82E64B2AD350340A40030 +1BD2C6D721E5EFD3BEC41F18FB8C6D2B457E60950E1CEE746CA7155A9563A3B3 +009F37E856E1E39ADD6AB74B4CF8C077BF2D626D2100D5784D8CE19198772CD7 +C7AE13A3928640F97B6E66D0A2557B6A75D56EFA3BE862FBBE0D3CF1E4E4489A +47D23E91AE3911DE781EA5719684E8C9B2EBB2EDE5273C41CBFC78BEE42E887A +2D4115CCEA5FE4C0CF761E921D7D2992EB24625547D54C50B9EB097FF31C13D0 +010E4A3B947F6998826D10AB53A1067BAD45E3F4249AACD8AE81CEC8190320B9 +8A39199BFCD1C4FF3CE4851D494EF97D357057B13F2C830A38C7B58AF68CFECB +09313F5745B02B4BB60DBB2B680A764BAF9085F3C72EFDD42EF25EBCB7870205 +7AE8A23C751014185DE9AFC917F2D783A0838DB6577607E207CCB5FB4007BE7A +3F43824A3BFF8B9F6A1E5C9D03B3CD1425CC36C2E4B233E8AF4A29074189D859 +A96C113F239B3FDDB442396970B2C343CA8658711636549C90976D8F07AF398E +DFAA15CD75A52428102EEB5128796E46CB0AF4B537987C2ED552B37D82CF312B +030E422825AE97E638E539D1E22D2D4630424B9FB0C8025111091F54823FDAAC +9DDFDDFCC6DD14B65C493F0DF9044517835C5A18B6EDACA49FE842BFC82666D2 +BCC82B4DA8AC924829C2BF2C24F464D9A4D5D5F7A76DA1ADF692B8DA6E68C40F +D16885A589F1FC2459F2E6B90131359A396EF818B1F1A690DFC246D5F82FADDA +2C3ABF2B3E9255EE6BB12EF66E699062A3B686AEAF76305955ED24298C2DF6DD +952B33819F09B3C7CE2DC374653E4B7339877DE9B4D3E0D96F9B3F3D0E1CAD73 +42541435FD02230E4678EEE1DEBA4603B10AF17643F3FB2278A00844E981B2B4 +EE60E2E09DFC242EB629D14A2F2603D8D1EE7C918FEA038360616F45D6816CFA +0C618732D04E0D6B7E7B091F85367186DDB626D66F223A6ED2EAE1D37826EC18 +6491BE75C89124DADA58C9CDF79DF9383F779695C9A9695FEDB35240D20345FA +57D34BFF49DFDED802B3CDA24BE5B94FDF2910214E9DE600AA45F7BAA0038FF6 +02E7D0B63A9540CE04C041D24ED01904D121DDC0D8645161A24017FC678A7386 +07329268F446E523CFCD29A4047457D56024588C0F93212BB4092079B1B94BF9 +17D001A5D7C9A8DD9088FE86FD10BB19E18B570DC8370D1F18C28B61B4E00C44 +8F2637D7E20FBEFC3ADB587959D05FD294A4E55E4E56AB5305B7B32A1F4FFFBC +36AE063F84EF962146ED64FFDDC683B50FE5F93E6735F77E02745FDF1B36582E +2DE257D768E49692834144953AB91593FA24BA1141FE5999A70FC188CED3256B +046F7E559C29107B7770BABC5FFD5F430D5438128A62C8BB985C3F3E02C1DD89 +01661DDD0190AEB798B8DE5EADCD6C5216CAFABE8A0478EE9B9C3C85B6E9C13D +C13EECCEC90B036F774F7FF2D7030768CDB682898E01228F3224DF331F1BE63E +EA95A09C7B64F4F10CE24095BFFB5DD7A934A294D964F05B333D877C114A8495 +A573F018075B5411AF5EBE0B73570A95B9429D4882427BD832EC908DEC483D4D +CDDD175FC9AD9EEA5E07982F7D4B7B7112BFDD19A8451B0A3E8A3CB3498FB39A +DE64DC03EB3490850789BEB08F5B331CB742B1E842D5A02974D1D210E80AADCD +191C733C69A79FF4554DD25EF581017758A172F80111BA19167650D65779019E +678CC866ACE6308C956DBA08B815B258E525FA7BB0DA8242AB619E3D729125DE +BF1DDF6527CA8FD03772C588357472CDAE684C2AC5D6DC1A66571928161ED7AD +8493B4A9EE36401A2A54A603C2A9AAFB5829429F15FA1BF3DAF894E939E5EAE8 +69C4C113ADC92551B57F617D13D190A8AC6287644374DDF833A419E891E8C5AD +303FF87050363CCD7CBBEFE568BC009A12A564240DBB494670FC1804D241E14C +EE033273D8D6B92F86979F67036C2938DEAF61D75DD947DA29B54CD2EC33F618 +B8CA36FCDA32FDC097B19794B10D9F47DB9287A12F77AE150E4FDDAE8346CD68 +8AABCDA341900C9DFCC0F7FFF139D69DF6E56CD704ED44EA5D22124C4D5553E4 +A904F2704D9367231BF40F074A0262D96CC7C41F453CF1F228BB2D2756573320 +172DC627587099164627634D49F59423A7E5401FA6479DC0309A89C788379718 +55488EB552CF7FCD8E02E18FE3DCF62463AD80181F8034395A1260BB2A55F002 +7B42AA97E4C570951EB81044DAF537940CF633C69D64978FD33DEB0B660C6C18 +E482FA39E0427FCFBDEEAAC67F14F71B450BC562A195E9F1C1F906DC6D27AF94 +F660759B7B78206BB5E077D703DA7C30FF26A1AB03592F9372AF27DDEAEFF8B8 +0E1A449E0778302889C4BE460469FF24650E918FED19132E76D78F851D34B6EE +CC77D163847E63D3C9AA412D19E0152CF6A50F4B45AFECD3F835C80419B6AB69 +6284FF2B2F0CA3130E229B74A3CF91E2599B2F6F443D369D02F99076F2000555 +6CEDC6F02FCDC1216F10B7A491F62A09D70000BB32244DEBABE035F2A19ADAE8 +640B43413EB59E91CB79727BD3BE976D4963B7840824B7973A7DD95352BF15C1 +E7031165426EE99F2C00C2C8E4CDE0FAE6944819365D300A475AA9F5F7B5B737 +D307771041978292841E74BC60C16FEA1B45218871E5C4FEE96C8D4DF87FF054 +32B5165C8DDEF255B30836388BDC7AECC01062AB86D4EF61EA4CAB23970B6492 +CB0ACF13DA5AB57954B914ECA637ED4A18E26B166D5853E33EB59B3FE4A32EA3 +800CC8AD97D85829BC1E2071131FFF47E4533DA66CD991640317676458D27915 +C7EE363C4A24562849E8FA141C5A0DD354858A138EE3B234AFF7BB6CE48E4D28 +DF25A018A681C24A5F27105260CF2CDAEEEFEBD12888FF26D3263B0E4D0654E8 +AACA4ACE065E9060B8ED8671BA724909C1A780FE8E09E02E877A0218F8865BD9 +5D620CA9436FD8118E8E6E1A5FA86D1DB564A1B23D443CFE12D85553FCA7840F +D9C18D6565A29B18C26A4F1D951390AD6A52E1ECEA3AE0585B1D4783F11B5F18 +896EE6114F4F6E287AD85A1EC28E956A12F524DC97030DFE3CFCBDFF331B3B6F +AE7AE7D71DBD01CFA5BBFF356208E8CA1FA43CC687C2E16E4FCD64B18EE8AB83 +464F26C049CC42A10727D24EBF9520FCBDD5F9688F1304E33256C34462EF5E07 +B37D046EA67E534B2D8B78DBF5B5D8D399C475B37ADBA95DD1EBF79BADC0668E +6ECA005FA9160C28D0F44180B7493B93F62F925EAC604119029F54CA543BA2AA +B1ECCDCD40CE7AC4971524A4A25CA9D00543F8C29EB4F5419C8704101CCD4D00 +A333E6A547A5C29288C6281CB6B62068E6DB78E26BACC7B6E8B260A180B09E6A +18AA7EEEBDA6F3607700A7FF8A34425FA26259BCFF03976A2B89A4C01802C913 +4BA366936C2CE9AB594261EF53303B99E3B49804228E74B02B2E1C169C5ADD3F +79C14B02F024EB1DBDF65B5A2F8D05AFFD0F8A45EFD26C85AE8813A99E543954 +5CE4CA3A87DADFAB360CB4DB932F49524F18D927A779468ECE32F5EFCE7B08DC +D30BEC81A89AE8928FD7CC737951D80B1E88CEAAE35E132D1CA61DA081A9D407 +06E01630670DC48D02FE5D1465A6BBF79910583873E863E18EA897F069D50028 +0528556D464F9C447D1F72A41D557DA31A46FD5F2C40B964230FA2B0C9E933F4 +163385818F683871F557C915D6F153FAAAD9CDEEC4F306D9146E7F5458F9CEAF +E7D68C9C5E8D32A8B8F11E0124E9A31040AE138A801778AF0F48DBB4862DB295 +672CCC66558658950CF64D6761ACEDE777F2D011DBEE193CC87BA98F5A4185C0 +9F4614F284FB7743B5F73E9DD9F6C552DD53020BF0C27F175DE95374206BF276 +38FDD487F582343250BA9534545CCD8490664D6B61E916B27ACCC0C66C1DA5EF +2E3BB77043C5A32B1ECC192AE3B2594D6E6A01DA7224B06AADE4ACD70B2FEF00 +DD8E855DF303BD989C3FD80099306D1FD4778162E55A8533C8A71693CEECB24C +AFFCFACA2DC9297749CC808E590F745711D4C1CEF15C70BD5E2BF0DDDEB2304C +0D4FFD78D4812749762C330B259F0184FC33A66FD0782BA310AFFA57355AEE23 +04DFB96FEC831375B8EDDF6CE870E720C06A9A156D594FEA136F2ED0C853EF81 +9F0A9796DFC3EA38916276AD0A5D2E23697DC5DFF896EC8C1916D52E34692466 +4EEC4F30A1261A0096AB6580B12D648ED51EAD252812048317F4628F7570D3DB +E35B3F60391D13C26A4F0C70BD7E723E9192487494B2B00E2AFD210C3E9EE4E6 +8AA31889A372F3489A6BAB6A5F3EF9A9280384901E65C773974B55FB4FDEB79A +695E89B67C33653B05DECD9D47E4669B70191514DD9A89D4B210ADBC8E00BEB6 +3652E1A8A5FBD2154C9A2F821E1C4BD4616F1DC438FAD743973C6C91950FDDE0 +840FE34D55F775F2EC2F646B424F7588082217A6877DBCDE62C1AE05CF60692F +2F1837F2B985C2D9843E0FA0AFB08E9E795436686D52979F95C0FBD592EDAA63 +7B4E4E7AEC711351DC8532F18CBE8513DE3E46179BC08E730DC45F58571FF22C +22F84C48B07CFF3F4C302314EEA06C4D3BE4D8129F69377625AD35EE8AEE9FE7 +537C3F8E25B997E07D68C4B0B91385CDC9BD8830A340931029F531ADC0F01D06 +41C7768CB7980AD9899D59D48AD509908ACD994D12F1DB6531DAF05B5B788994 +82D13780ADA31B84BEEFEDDC70B433B74131B5BAE0D3672B0892B59B9B75B6C6 +23DDC0E21F81AD7ACD06ED4D34A5E4A2F4C554ABA9027658A466E50268F605F5 +D980FDEA576086E16F90EEE126B9954C8720530EC4692AB32DCF985B6F42974E +0BFBEE0F59509A1178DB4727B62F28E0D8A13443D24A234A74BD70D068614117 +1C5A32A41F78AACAB8B58CAA7FD01A9E4F3A63641E03D2B5D851BEEC4675F472 +C5C6E2C88FA9336082C86E84310DF2E15C2A8EF19A072B72E9E936BBC50D28B5 +C185399BC5C251127B69C436ACB531A076037755496C3DF9CBE5B8211CA8E1F5 +F6C477FAC71FD55A5490C89142F2844CB7E6352B01A2D49159B71D9E8E5DB24A +70752D839DD4A4F6A61B071E323D60B99AE719923C6AE3C993B61EB38EF3A1DD +23AA94D53BFAD2EB9CAEB51D021CB9C7B350C2C2D71CC801CC25791811AAAB77 +99E3BBCB8F8C473E70941D18714B75A811876B50E6F7B4E9DAD17935216EC016 +455276ED0FCD4F40876779C1472096F9A9FB39BB197AFC2F97E36F3B4ED9BC32 +88894177AEF0B44D4661CC608BD9B0FB1A1A355D49E0B9D5DC3BEF9A875B7607 +2FF7F7722EB48E8F701C11FFD1B7F263ACEFB0A6E18CC0C89440046421957884 +6685909845C2A0B9925D157FFCA9F2D5BFD0073C9671F7F951F199375ED66713 +97A1B020389DEB8841CB34E59B660CAF50371D6C11A75F2D504F45CAA0E02507 +034F043B65E1238AC2BB7C065D47B5B0A3725EC5101252F708A3F3B5CFACD77D +5DEC67127944EB80DC56FA968672331BE4268D2ABD61D3DE45C491103B6C2D4C +14393B95D12FC9F4D36F563A5D5A51CBA7A97B8B09755D3D61875115365E93E4 +89680FDC601006F8ECC930DEECC72781066085C13AF52E30A96D40DC786D9015 +79C497C3EC6D98BCE6B0497E4A4F003ADB8CCAC4361557D938FC4AEAEA9E88AA +0FF61ED499E6D47F4F435F098D346360D280B813A8BEA26BEBEF0809526D1476 +2A1CB6478A4891191970C0F0E81DBEF4ED43A0294A75A62AA83295F8DC9FF205 +36F140D86E148AD5831960C3DD7B0774DDACAD3CE68D323BA915C10F77439CD7 +2CBDF4EAE3D5BAEDECD6A194E6142FA206A67B9E35F7ABA897501019932A2029 +BE9D741D184007401BFB9A147695843FD9CF8D6BEB3B9A8FDB3333B694B10BCA +7EBE0CEEADB782FFA929E83E3A8E4FF1964DD14A2CB4DFC9A597910685A9BEE4 +CBA868D352ADC10A564E6879E934883BBDE13DF3AE05DECF3750E2959BE5E014 +BEC6D4D25BECF3DF12801358123442F4DBE198DEBB18DA900573A5DC148E37E0 +5F6347EB5B8B1A01BC2D312B443B447D890E3E2ACAC2670230C67883D02993AE +A911A3F41A52AD8A869A6D141D218799085E26D90F2E3CD6E983816322F87A3D +2F4079E0C1BBE42D4EEF3B23EB2C5B8463FBF008D13A744CAD6D85DE466A6A83 +A898B0C9B0D6A28C70650EF68ECBE49E4101612687B1DD963FA7C257214DB9A0 +0455CC8CBC0A878608407B92005FDF7FB38FC12CB2815BB5D434222191CA0DD8 +3787CAD0C31E3C30CC36F3BDA71C63F30A9CBD3A850793875696BA8DFB6C37AE +540AD4662F84577630643D1DBD78F9F833707690741C8333B0B03006912DC9BB +700F283512745638690B990C1917F2BEA91C6B3C4319D244F00164BCFDBF7C47 +D33193DAF1B8120F0F5CA0E01F3BB6FE484CE582EB7FB48BDBCA970878F55C4D +6DA862B5712F89240CADC9C6C143513370FB903D4874B43A3D1C2B965F288DDA +2CF914DBE32DD3C12993D22CC8137D6647F1DB93858819131F36413F9B7A3353 +32E0CF05C754FD8541F6E0924D6BB8F341FBA213031888DECBA4AFBB516DABB8 +25F1CF9DB91528708C446C51F462BAD5C88B9CB7B9F8600A76C34590C36AECA6 +2939F5D468C788A6CAC6190A493577095C49E4DD03AFD4B7C09587B0F70C7A4B +243E5F10DF6C6E9EA13C0560C3CF042CF1E388C8426FEC458D2C2A0133C2BA5E +2CF4D526967FF861E0FFDD170AF1011736D9B24EE0A930903A0FC80A210F1A8A +F789E1DA1A7857A982797B884212282BB7BDFC554465C09BC1570A4A28DDC24E +CF2CF908E9085B30F56BDC0CADBA83170342E163E9F0CF45E34F3E676FA76CC8 +F1EAE6F7E3FF6D38275DCE756B0C248D56F247AA68FFDE62638D053F2EB3FA8B +F2A3A0F6AF567AFD407564C80EB1E33180C9B1CBB6D05AA6861E3ABE2B68D6F1 +A51D4F558B3C8309F7382327A2F9AD203FA4F2554E52F04D2AAD7D1332C4DA8F +9BA124BB8C4D76B9C310D775443680BEEA8C5B2D60295D216F39AC2D3DD8A9AC +65424B06337662B9485DE6736F0325F47280B1FF706D150FF76E75C9C944B274 +872C7A2E643F42D81EF03D9BCAAFB511A630E8148A5128D47685DABD0351F71B +50303BFB33BE50E164D97A565DD6C338BF9ADD214F6F30DAC84FB25EDFC7336E +49A1AD47FEA559CDE80F2AC2BEDDBACA73F6D8DB7770EA076115E876426A5E01 +8B5B244D9C62352A2CF2DB7BC7FBFD79A652B213567E2758596AD40E704DF349 +6B096C28C86166CD167E327C710EA4F0EE090585CC98C5D024F39309DDAE717E +B6ADFBD067CA7DE1A77CEFD65A9CEB567DC0AE201544DC7A3A01B9FC879BB253 +EB68F06E43519A689F4338E0E3E8782E34609B04176ACF3E9CD1774E393F76BA +5CE298C15410B9F7CE0B9580B9840E263707E73B98A287D5800E3489A14C8EAE +44E19F757BFF147D383D79E2BCADEB2F949DC6AE13E4974E2A25F3DD96B45454 +7A4B365C3C6A9FBE17903D7F5C495E6CDA6B5DB6328729BA9972B1C7AA6B459E +2CD5D21ACEAE6F4E4B0F75D97C79FA568306F16F8D4FFAE4FD1C70793A92D95D +92D23773D92B41C75D0B3FA3A7B16B9DF176051ABB9C091D9FA4240334842911 +DFD59980FDD2346551A6836C0430A9BD05C410603F6B55845BE9A914353F9B51 +94CB2F0953A42F6626A6E7CFC8BA653412AACFE0CD092DEB0538F7B02AAE4FAE +626F4C40E068890AB3F47CDFB6182F87467E95C33B0D6B6A2654555F8CA81A98 +F8AC57D9677D622D460701760E7469FF9597D0F4BC6E1EA6AA380AFFE4A05112 +A3BEA5C4A2B7E1F4180D3C3C1F0B13A9F5A6F4900CBACD98B0DE897990729C0F +4C6842F98EDD465986E17D0469658BA9ED4FA9419EC6F76115EE6135F0ADF4FF +15106AA1F0B3867EDE0A050E315BAE04FE67A5081F7924228A89E0645F53EA95 +95DF357C3D53CFF50F60BA6E2F911A6E822D89FA4C21702F65F57375A90A150B +7C4D887AFA0963BA6AEF2B533B6D8E98714F6B6C252BD113D4C2F5C4ECE9016B +7F2901EBB5886888D4A6C504DF39FBD4699BB42B6F2E8AD884FC8A266C29EA2F +1D1EA86607CC7EE76CD6B4132398B4C43E15A84E7DE987658E49D6303E71757A +8D906B53F12C5E8609A92942B5CF2AB04509230BFFC01CBAA10C003269A2F04D +0C5AD78659C2C76E20A2A3E9C7F2E4DC003725336E6446EC5B1A2041D7BFD186 +D87AE133AAEA2419D85DCADF3958184CF236FA21404F44379066FC8C4F948986 +6E79A580EF092D1BA1D40AC53968133AC8D20F57EC7CE87D6A43D5774F18A1AD +1067178865E9CEDF25C9BA9E2044ECC17EC3CDDDB2C4A68B8F974BCC432016F2 +4F184298438154B60674239915AB4D160B857AFF1FCA8294AA33E53898AF2EFD +A092DFF7E113E18F1BB31594F476D76445B4E57E882CFFE769D481F38DD868CD +2B4E085BC075BD7242ACD034D90675A49597413D95EA0463B1C428579113EAE3 +72761078CBCD7D3DA3F5DB311E568EDEB166B11CE7A41E0400C3AFC76969F114 +C564103B89A932C94645A1BE3128221F97ECCCB8F8A422F2E0E9E654005C6995 +8FF7D401437FAA4563FABB2F3C6DCE94200B25AB6C9FC244259D630D23143B39 +59C09ADE23DF5484159D7122DFADAD09EA3A0DC9BE84E1686E0FC033379FAFE5 +FD7658A86F492D5B8B6BAD3CBAF36F0DB8566A268801A7242BC3D37EB1F761DC +C9970506D4A7ECAB4DCADB101ABB8B9E9B4E4483DD252D9BFE42AAF3E1390FC7 +39FCA366DD2EFDD203CB7CC6A50B112382356B76A6157DFE1892E34C35C68686 +071FF45FF4897094EE32F4167F45530C20E87E13E0C3066ACBF9C2DE66992C07 +4493070C826F304B9A865EB372D237205BE529A3E67F23EFA6DE2E4998B50FC4 +6A7AED5D8E99BBD874DD442923CA2B4DBEEC24B0F3B41C828B659DF07A2E46FD +52D787A1ACC287418295CFE86DF2692DFB2C8381E13CB69ADBA52B1ABB498709 +525438CF7EEFCCCAEB5C2D27B3090E5FF58EEABE4D1263EDC9B0FCBD5E1B46D2 +E0328A7F4D22319428780C7040770D5E78D728D2FB5DBC1103123F6BD30DB61C +DA5349613C994854EABAF8C2D22032652B61519F7B8ED0F34471457AF7F47D23 +FD2713D049248ECE78A971F4AC9A2626B4671C67BC40979F9B86E04F23CE9FD8 +9132C15EF411B4FA0EB77DADC3A90F91F40164EE0F0781ECEBFD26A75857F531 +5D198C3E822F9C75FA1210881D95D6EF61E5EA6BC7855FAAE316E0BA8270E434 +42E707E9F315F53BC22D8EC10EC4D4B332C9A39143F3F9B0C5ECDF9763AC4C75 +643D0C2FD802C545F92404F6B14C49E845DA36632D452BC8A23D12D773BAFCA5 +07CEE3D5BE2A98DC8F23BC2360E42C13AB4829EF58D62DF6C4CD5658D8DEE558 +D56E146112C5BADC08A7A32948413F34D770D1202CDC5E5A11FD21A9B8728BE7 +045DF33975EC34387F5E4BC4A044FDCB99D70EB58740DCC4BA984C3010A88692 +D4F22EFC34A1E8769999035BFF29D6477B2C3EF7CAB079820BDC7C05266A0CF6 +FC0A11C83C4E7AE0B995385A56B21FA570B11C51A6108AC1864C968DC394CA30 +0DF3C5A3E0FF840A0A3291053A42460468F6A1700953700663A8522938510960 +AB33B369EBFA1BABC1CA2D5134F45D29A6B34C1BFD72ADCD6196E6FDF82F6D92 +A3F11C7EA1FEE81E0D553DE6C8B3B0AC0E75AE8646784B588CE0DE89BEE5E654 +295EB294948D9305B66F6DDCD13D1E9F158AC88FCD1B613A41A5A38F6C448198 +8A5E1102AB15CDC60F6EF06001A5B00ADA8E33534A2FD470E8459380D70B0A49 +024EE901582970DF345C37F3BEFE4A81FFAC079A4ADB4B9AE228E0B2301D85F0 +FC49AD0DA112E199447E0C516BD17C2D42FEC131372A2D75A4AB18ADF4ED2688 +529F8CCAB488D61276F94706B29796358956C55E2AFF9E1DDA5B5FD637A89595 +FCC0F9AB4FF7DAB21AA6B30547145D335A945569610079DF9E96CDE8D005FC25 +E59B029C016F2E600C577CDF514D89222B39F7D09A121118428CE5F92FC11752 +1CBCBE5A6AE683A71B601AB6A2B5D3DBA523612D10372015A8CDA28AEDDE6E02 +E37ABF96D6709899A03D0724DC953E18E8C8355D66B32DF73B6BA4CDDDFECC47 +B40BF4ADAD86EF5BEE825C3F850B6EE405BD38DEC88F5FDCF5E10577569ACA97 +70A56D61D2D3F4484139340E5B4B5B858609A41C02D3637C5EFA4885FC8B1D64 +3C462708DA8F5C29F60512FC389917ACF73444EF903BA02E6E372DDBEE44AA95 +2CA42668A93FC84298A55FF6538057567BF58497ECE9A3914678EE3A7C7BE835 +847200096303493D3AC7E24AEBCFD27811DD1BDACB1A0AA8167F3FF009AF8CAC +6860527DBD2B62750C163DCCCDD18D671765EF4919F3AA17749D8276940F0846 +4405D897079911F2B53E072D324ADD764851888781FDE97B25C566C0F26343FE +0F315877A06C567634B34A12550E10A1D54EED3455C90F1D36E21D52A210FECA +5F50626F2216BFBCCD4A743DE63B7A8395F625BA36D9134FFB899EBEF74D336A +889395E771CEC29602496D2F4CC30058651B1029330A33E361C619BD62942EB7 +27CA1870F943798A9403EADAB83A4D8C332E2221AF8F6F4A4954501CBD12CCC9 +DCFE5DB3743D73F39A7785A0B2F313EA4AC680F95F3F37CCB5C6F49F964FB9ED +AB8FDE5AF3B0271B0081F64B4BDBB6334233C58E0E68876A6D2048DB062B60FB +B6EF5F92D80AEAC2CF58EC01BD61D7CB962C4EA67FBA78688AA11FFB6F594D32 +6D48E679190A0FAE0EB69BBD6ACC6FB6A7D01150E5B38F3410D8AD65DC3B10A7 +2E8B594ADAA3B1B2F74ECE5DA88BFD862CDEB2CD24D084D346DEEFEDFB47D236 +F1DF488EA9100D499A87C0AD1624DCFB5B856A8C34BC6B1DFBB5E5E0FD6150E4 +A8F795B8B030024ECF9B9E27C2A57C517DE53310C680BCC0C00B401C31950A39 +3F4F1720D25160F42D9892372CCED3CBE1147A844A7DC46DFC69EB7B63E61265 +45B566CA3BB1303BF2214C20FF453386DE9F4286F02E496E8B60B36CA3F17E1A +3FAC930A2C3C2BEBA86CD8754FBF01CDFC84A748FA62F116941558BD0F6554E1 +52EFD268E21171A1D484AD9356402E391761E1DC4C45CE37AEBC396E3299F519 +F90D165EF1C2A06A9B7500C6AD185B4115777EC657BE2F7EC3151F50BB9D5C0D +6ACFBAFA134AEF156916A8CC265C01B8B693840EF15076D542F1B785673802CE +EBFCB4783DAEC99BC7A3A82EB333E78317ACD72DA85287A3B3C4C135EEE52000 +473EB5E85AF7F296FAE916E228C2763D38121FE0F961527C3BD065D70CF3B600 +75C31D63D184C4139B0111BF88E55C4E52F038F5EB1239AB0464998D4FF999BB +4808531DE9D4762D0D7D90DB36AC1783AE4A530FEAC44A63E2B90731652CCDDB +EEC584B7EB177E799855334DAC3760EA1B589B5562F3D48652B0775BA2F7BFE0 +0578BB6C18A3DB61A9E84B41CC5A6B777B12C13EEFEC631D2B1F265ABC4F7164 +344947526BA5ECB0EF200E16BA13E4A36F92147E38CD27171877780B3F16A197 +425EE120A17F7791554750299F7A6109C26A9A156D594FEA136F2ED0C853EF81 +9F0A9796DFC3E85D723BD358D6931EEA4A860E1A17079A59DEB9C7A4C0FA9A96 +CBD0A038B6BA98B6078C9FCA1556AEB8E16DCC0F6FC041E7C56351F122EA8045 +C697647502CDF96CDA518B804C28E32FB3BFF145BDDA844AFE41C6709E48702F +E77A8FE6B6F2BECFE199946D22396E06DA8FCA17AB7A92C882C7A5E2768D210F +A622491C4B224888BA29A71E0C4BCE2FCAD37FC498AD7D881491C1D06444915B +1436C8C84FFBA306FC5E40690E464D46673BC84C902C0D35B018C470914CF1D5 +22123E627D00097377258E81CD068A82342AEEC5762713C43E7E94884C06329D +340EEB3F773EB7E92A2386B678179EE7279BF20CFCFC70378DBB5770C47904DE +9A4F6B520C1ED4EB1C67E7E16CEA47A065FC6D24A091A75B5745DFEEF5C11629 +00B5F1EF58935863AB30DC3F3BB4B4EFDC6DD658FEAFE642F6F31784BDAAE679 +03B8C5CC99288333EFCB59D45103580B01E3CF7D8B2DF6A3B6681C63BCFC1413 +5382469123169FED2BE96C095EED5449C6319F2DB9F1065F9997AC886452BED2 +C9082CD5F8B74D44AAAF83E4E04ACEA44C5BA804E1D915D7E58D777D53156CB5 +D90105651F3CD4CB9427D8239F0F41E86F2D4EEB998520A57985CEEF4463EC78 +97CDE9166094B03E1B344E3B29A9DD939BA4C4B32515CC61AFE9D26BFF842E08 +752064C9D149D5AB137C15B745E4C03D01CF167B0D7BBBC53023A12C5B3581D8 +F351C3695D85DB4B8EB762BDA2CCDA2F5E5ADA62706D4C6AE96ED0EFDE808AC3 +69ED17E1AC94F2BCCCB29902029E3B0F01017DB6D4137018EEF6C9BF625A1596 +A7A3BDCC08D2A3F2449EA5006EE0724C5B5D085846A3C7C3088620493A637E05 +5EFB165093E904545A26E9C5B2E79EEC3897A434CDF2A2ACCAE877C3B56CB5A2 +9F919EDF2ED2CC5E15ED402A0F46027DDE61EAD03E8DE7EE3E332AB29CA4A1ED +DF6A0122789BF66501B14680A3B9650D6DDE6DC320C05FEF8BF68D616695ACD1 +4B3594882B491F6F3100800271FBCCD9DFAAB5E93F903A8FEC0119ED1F1AA5FF +86846BA1B1B2BFE36AF9E311D31CB4D124C5AC8CF1088BDF5E020B27F5307E54 +B6F4A4858CEF9F21FC381E5DF0CB0E032FA0793789483374DD552E9B16777E9C +EB239961D451D10743B0521AE48DC71EF5FF7BC09D562B717444C8E2C33EA2B2 +7F17185FF2C992D480DE335773FD23BC99D34FCB2E6586DE317EE3BC34234AED +FFB4AE1238DF70AA3A421603ECC1623D32353CD7684A19AD134BC4409B9A97CC +AB9DA5C76148888F30AE04C7E9A813ED2460D9A9EF2A95B7D987384C7D5E552E +41C99423702938BB507902E7235609BDFBAD62ACEC039D37816C342C96C41E33 +A1F66F931F2A9A50D2857A8AD5CECA25892B5B970CC74AE8A08E28A3804934FF +A3EF4A169755BC850BB70534647A4C09D8B5EA9DB838A16A02EDEA2E36A798B6 +E803A0A99CABA87DA35B532BCA16C510BE833A54188D11AF8339662D164EF37B +F8635D5E0A836CD7C7465393A7DEB7DA08B3012A99FB2FC7F6FF7AE570B96B14 +1D0CC94768B538891AFC33B1E9929C9CEE82C585FB73854A5E51E73652B90264 +B50DF8CC22E516C5CA5D99C0B8E8E937971E94C01CB172F3A0D8F7D7A4E3783E +4615CCEA5FE4C0CF761E921D7D2992EB24625547D49325566B91425A2A65C07D +4FBCBB8FB94BE05DFF2B3DC8EE825097E3E048679849A829F4171A1515A6C5DB +908A173333A9B31EC7C2C99EDC7BBDFA0CE085C7CFD4C0AC1DA45A8E98921EEA +FD82A9516D47CC0D6183D68AFDF46134D6205BE2434118077B908451C4ED8341 +D28931A2D97998A32A0F6414BFC5E4AB5E0BCDD5E76534B21C001A82B53CEFEE +5A5C18087F2C3B28BEAF58B3EDA5670C3097A434CDF2A2ACCAE877C3B56CB5A2 +9F919EDF2EDE93E547DCF3AF3471F16FF759D63A7C091ADDCD3076218A99CE05 +8CA4994F6AD3FD93A2EBD338C28CDCBBA1D69D9C97BD38382FAE8F93AF77D949 +89AA693B550699340ABA9F7F7C0089818E3F82FA42E9473ABE2F9E0CEE7FD175 +C5AAA0190182797E60835A740EFD72228AC15C565C0346CD9F59A3E70196ED37 +E6BE3262D1AFBA82395D8187E2791C791A0005560EE26C52E95B71C4B9F6D1D6 +4E1986461CDF084B59B5786859662242E4FB89185C0AE93904BB3AC4563D3E77 +8E0C96590D2D4DA46741AC1D2C3082DD7583FE4BC0A3A30649486C002BFB9868 +AAC135F6AAE1541AB6B5EF2212B7C645986B3B35D7FFF41A1FCC7C29E99B5641 +BF3A81102D49B5ABB051053D4E2B387BA0BCF7739D813518451BBF41F9D9F03F +14667084F66DF6E9B62353C3A97B9BC866CFBD491B08704C6C875819331CDA93 +CF358AB9FC23F12BA3BAD27A858258D1E412FC23069DF8D162A2B400EDE05DF4 +12F5D3AF86BF751B1D0791B6056EA7E06D5885091CF68205E2650E219BC916BF +9A6BDAA24DE24D6CD65831B8E50C195D07F126807E09FD39B4341967F54537EC +CBC61816D57CA513147C8DAEBC28D7DE5CB57A30F23A2859902409CD49D8E6DE +CDABE9F3842581C3BB3F68A47752328AC1739D3C80C13265E7A78843F80CD719 +C44633862B102690CD3ECD22723CAC55F4D5236628739606D8EF5ACD55D67E91 +567ADA087210CE220862D385C4A97750300F7E066746B41876C1DB3A6B32B70C +9CC4B27DA28E97CCA8A885F4D0B5691166D59F99616224E706E080926688173C +80156AA27D4EA53FCBE67F188553AA98F8F2F93797E81B49BD69AD60434EF282 +4246CD4B7C7592758D2EB863245C0C28723810DAD7CE08EB085D29AC7925CE02 +513B497B5FD93625C5D2D7209315F9E358DC4BEB66160A8FA506A98E184B027F +08FB8C4E85D8F183D2C20E7518C87F204E7847107009B163709687F03E8904C6 +70CBFF1BC60BA1EE9F4E4A3C202A378409F5A1591F80E1281C37B99663BA8729 +D9692720373831BD3C4E8F387C78E203E2B1ED3FE72CC66F826A3A692434D4D3 +BE6ED6DABA6016FBBA2EC88D6323AA7C2D6585F57CE1A9B1386693DAAED251AD +39D3BDE3E416E13D6B23272517D28E9E093AE3C367CEEB4DEDF80BA158F65C54 +6E9ABE7B6415B64E2BD0B1721F48AD00693D9EFD2E0110B640E38CB4A7EDCC98 +49DB017FE6C5895D6B38283878928E69D0B4B7D9F1D1D05EF2022EA1DB12DE17 +BED15E6180B4FD4920794D8F5743D0F9DAF13088E1BC59640E0336424602EA4A +35299AC4CE1AF752E3A7B6DDE7BDFFD0954AD15D9D20810A61B4F50EE635A4C8 +F7A3B6866F93CA641F3F2CC93C7C195B7569629AF50EBCF7152E3715510FBF60 +F16750C579477C1429D85F6909DEF8C451A5A38F6A1656BA95CD0259836FCF6C +DC988E5148B85F48169737499815408D8B64E1A2935F3463195DE95A253AD84C +9B7EB6D776E958479685AA9AE8DF53A2A21D951A60E73E67169DC5C1CFC5EFE5 +6334B137F76A3EA01B7F2FFCD4DEF3DC9ACF797F39C0FF5C49D1AD996A67AB09 +14D83D859C06AA0980D26A7987D1B6A10A4D6765835DEC4EA0645F47A766E81B +3F3CC28EE10BE6610B8820C212630C2D9D32EF4767AEFB56A44965744053106B +D5B5E99175BBC27E471826160A6ACBF9C2DE66992CF4DAB3368A64C98FAB5D9F +AA0B9BFC4919F2483E9868E0D59E613B99092C8C0E1BC2A9B3B3E4C94830361C +8115DC829905CDD01E943FD5D24D5FB00FABD415EB4EDA15C15D794AB11EE10C +5E971A9DB382F2181EC00A0208E0451F6B0CA3360AD99B2DB2E5898638982FF1 +91687F723B02A05EA5F95D79F1338E7050D043B09368E43CEB4EB4ACAB454C6C +B74F0E46C5D88948D2849734E5F9DD5CB5BFEA5D7E820D14BE48CAB55C1CFB94 +2952C5F2D227B7A94085C657D1C6E557B240CE43444A3778178CD7FFA7152F53 +51D55C683CF59C2C04D14C4C65A43095F7F0BF8E2E5795683F27D26481C8552B +AE2FD82785988D02E3FFC53FBD9B984B003AB5F0E6E195CBDAC59C6559274CED +2B0F61820249B62694B403E6922EF30EEDB86012DBFFF13C7DAC43B540D55442 +428332F2357E23D066595826FBC6EE668580DC1C1DBCE1D7B9AD890D6BC64614 +C5CF9B2479B4E7C3B12B60AB056C27A87CE961E0DDABA61649AA1E4BA1237B57 +266471F1662AB779230049079D9DDB03E622B8665779D4822540D36BB2C73622 +5102573D21FD0B03969BA7FFA4F3B6102F19D4C26C51B773151E91659F532E4C +FE9C30208BBBBE8FBCA23F602F13B2F4140A0A7DE082798CC9710E29409BCC90 +E1B54328E6A0C72315471578822102A1FD6C0479C8F89AC68DE87D86F3CEFC68 +FD0886476E4949E55CC2A2BB87E8E9DB44DB791D1C46AFE2BA7EA3EB8D2DA4B4 +91536CEF9D1E9F4FD8C0003E6F232C4EE17CC79D75EC3262338CD13F13C659D7 +62DB6199447BC8C757B0FD0A10AC1127B4E7D18ADDEF5FFE63A9BE768D1EC4DF +4956D533E0A0670D60CBD73D1E1B9865CA92D4466870C3B0F9F47FFE4EF9561A +25F70102C8091BAC66A9CD3050FCBB2D04764B751500A6F3AB7A8D39A6281EF7 +58CF048E713C0C6A1A19088BE630227E5F97C41D9F67FDAE1B24D89C50C3C54B +4136149F76989E8C596B2A00893A100BEC19E13A6511D4EA600B1ADC4C374FBF +F33E6CCEB0188A1309F39157CEE8D09BA136B97665661A8AC2BADD58DA49BE09 +7447E45E5BE2784E937EB01404FCC4FDF3704C77BCEE0DD24EBF066CE4E6A9D2 +F0F4985DD9F9645D2BF1C1AABA1E2AFB1682EA8409E9FF00869412F9A6A7431D +F5AF888E3C414F73321DC5FF5D48434499435270B17B9AFE2E0C0729E5F10461 +A8DDBBEB6A27BA9173B2B324C4A9667F5692B30D09EFB60C18C10B7DEE9D4CBE +E4DC23636D83F81ECC28DB55A59A294D481C34CB4BF88039971CBF0B811DA5D0 +453701393A1609A14002E454BE43246A11B4C17B55516CF4256C1C5E1CCCA936 +D0011C53E7B33D5B50ED7BF3F41289F4880CBD65EB106F365321CE68091E6386 +CC913D4554731177BF0194240BEB2B017C9C4F9E43D85CD32C949F3D903BCA25 +DCB7C07A9FD4973CA9936C7CEBD55EB56E4255E94B6B47F2E2057457A2BAF74D +A634A429F9D0B4733615190D5DCD70D140B498BA43863C45D94E6642DD04CE60 +EE52D3CE37E2F63D1B34FB1EBDC9A60F4AB8C27EF468BEEF222CAC2C775B6964 +AEA57F562C969C92D66E11A666CCC8D838ABBD910E13589CF5EBC5DD20C62F79 +E11EBEA5C97B6B8F4763D21E005D89FAEBBD7D8B06F3FD66845F48BBD28B37BD +51EAC7264D45CD2BB8B613752CCBB4C8C868FB6AFAADECA9158EC9419109D47C +0ACEAD4FD34338305F4E01DC7DF5B3174ECDCC3BA85A857933C2C08E97618B0C +337A906FF31C4B78EACB6615080D4A3C31296683A898B0C9B0D6A251BF1E8DC9 +D091F67A974BE006D67A9A82BE2AA6D7C24DC708CBAD17ABD8F8850FFE69376E +CB29BB35D08017FDB67ED9FD13987E816CF57541CE42A834F186D3549338FDDE +A07BD62F4D3D8EE78CA4C448122CE2721DF8373367309F337B2359B096389A2C +177B1B1505B3F1266F44EFCD4938FB6A1C4DC92A25B84914F79A11637AC718C0 +65A32EF7366AB59B6BD239B3C9108D4964C7FD5E57B68DFB22B3AEDCE7792F6B +9CE90AA2B0D2902A041BD4C5BA15A44F8BA179D3C6BCA66C4E52763B579D4535 +CBEFA5C9999897F224F40B331D853D2C54E5123E5E2F843602DCE3AF90C4CF1C +AE3ED55EEF399CA17B715C8A6DA4099DE693A04CE94F04B8A5A08ADE3960EB9D +90AC64F9C82C455AC62202ABF4B85C04D8BBB17301B6DDB78A8E6B04FAF168AC +45A0A4D502B5F4A686C9002A805F8FC84B14608085DE7AF2209A9F760CD3E325 +86D55DFE985951304701D12D3A66EE38027BF50401DCC1F02C650105E8092702 +D8DA1BE48FC44AC55C1AA38633D1B38B4B56A05BCF4D0E881031C10DE091BAB0 +04A70D0486B75FE82E88EAA03F65077776C747047E30DBF910D3A249AD283F53 +87224270F8133FA299289B255A4D20DE3F79C14B02F024EBEE5C1E79A408C9BD +1DD1C468BD653E7D055B889245BB6661679F7EF91967AF1B2D209586AF5FA034 +769A116E2AD25B9F11BD929F39DD43E97B002255701F2BADE28357678B3DDADB +2DC08CCAF19FE2F85EEEEB0C32EE8A2F40E30BE8EC1A9A84A3A1B346FC987A55 +ED58D87566C8DCF13322078DE4CF1E96739D207E6C29B69E80D205669E929607 +730606CFA775C1422B367FF14E72129ACE0590E1B613AAB89F20B39D1F2DFBE7 +81CE97DF06830FC498BDB073AD2CA5EC36B72F0FB847BCA2FD7D159B0308E33E +6C3C2DE1498876511347D296FC220C6416877F7F1995EA262713DA7EC6AA2F77 +B1F405776D90A2D1A68B5133B7D4D838496CDB7882EEBF4AAF793DB9E52A949D +C00B40EA09B02354FF0785CFAC76EC51E19B68F5D04CC70DCF68A3DE6E265309 +F864686AFC62624ACA1C6928D445F685D514EF21A99AF63EE1F905EE52087181 +251AD87A3F1337CBFAD6A0C5489848C5FCEEDE946577F66F72BF30CD89A67BCA +5F06C892F6126CF8E02759DA17CF32388016CBBF33B30B40740791733EE0D415 +1C6A0E15298A78C6E0A77517F7659286228B4E19575A855DE498EF5E103B4500 +F4B6D1FF2C33291DB74DA7D8CF0E9E257A7A988390FA62555AF9A75E236B302F +CF8FFDACB039AE48C7A0DB13F2BEA16E59294BF148795D63B85FA6CC569A8F87 +9CD66834A23728BBDFE45644A53CFC2136AA61260012FC9A7F7AB3059EFBECCA +2B266452FB86BCC47D993294F559C22E0A3A64437755DC548D8EDB223ED7A961 +3F3D1904E8A0E26159F6619E30C8A74C94537D65031CDF7CC67289A034A14EA6 +14C19E8DB41821541B9742D0DE3A1212D5A0B863839973213E2E570850D0BBEA +3F1858160ED264CA568E8594F1E1625503693822CB2D0CA3C3665A3352070E6F +2168B6852B84A709B819AD184C64E1D65B78066E6F59F7686B601B8AC3A5012B +2B066DC4579BF85A5787DC4AA6A5F78F510BFFA79D452141A78B6EAF24A89E52 +E3B1695FDEC9ABBE11AD4713FFC253D7C60FE1D432A39BDE9F528E06ADA19CB0 +7C02892CE421D0468B91DC9D98472D21F758D059EB0C51B8BC5DA5D6AE5DCBD6 +B119811ED301D0E6F1D3BB927FB44AF255348EDC4DB80D517BE923544EA5E22F +A0A5D41EFC115B2C87F498C1855B7FEE6B4E20336CEB1BD3F42BE3FC01C9F199 +C8D54B4660E89685C41E6BA6107EFACA20298E6A4499407C68941C41DF1208DC +9770B9BBD2F7C388949FEA1828511CB21C6DE17322F11017C40D85C494586216 +ADB12605224B6C8A0593ED7C9E2AB4B09865E57C29DC75697722D74D1FADE6B3 +0653DA6591FA1D89EFA1F009B5D92DCFF4DB25EA8B158B22F27910AFEAD38AD2 +8B7A73AB9DBDB206D03671236DE142D8917FFBE4FEA53775BAB67293EF918305 +8A0FF033CC6ED13E70A8EE8EDAF56252863EF96CEF748D6766D3996B3F865D24 +D124127B0D47FF7CA04F69717EDC443FC2F1B51343FDA98D7EAB898A65276E55 +136D9B9EA7034725ACEAC6B83994AD63D63C43270C1A64658C70B98526744BF3 +70F6D9FD4250C28E4EF3F8A4F0C3FE11E65D4F01AA51DD85FCD2409CFD43A610 +E7B81FFDDA7E510D8C950713CDE43BE99CFB760579DF1AEAC8AE764BC58DADCB +40EA80369001E49AF5091E6DDC0B4813A86050194A31FC87F9BBA977C798D0EF +D52011E77EEF259262DBEDEC7CBCC5623B275C65F8473BF8CE871A353275C210 +C16EF6E207DAEEDAB3939703785DD9F9860694C7A9069F7D7D59083C183AFB9A +AB0B9E9D6F18CD8471C3BB42261C94428D4448D89155D6B3370AE0743866D2C5 +5F813FC103C5038A92C12F5F2FAF2DAF98CD0256A39B9768C9464ECB592661E0 +13085AE3BF79477D19C28BA92154FFA45AB7C535C4C5F4649C2D80CEA8BDB5B9 +834EC15C047F5C96189FE0A9C3B4F05097FCBD768A4AF4479A2A28B553691143 +F33C500B2BBD1A19FBFBEF906B08E7AD8278C543262051DE9430802978EEA344 +946CE1784081DFDCC835EAD47F786FB4133D6CACB7EB740C92BC88573C281D8F +D9C96255B5C9A19533C55136F54797DE0D15C0374C56EBD0ADB0BC89A8557C15 +5C4A43979F2DF06F8D11BBAF6B46775D922820862E855BC0C0ECDDA7A74F1218 +B7327B1E6D3487C910D7148AE60DF4B421AFDFB21B4D97218E694271AE1205DC +B485D18FBD2E0F65D2A436641EE528C6323BE1C99B83C2CE09998573233AD2F3 +3AE543A8CB14DB4820CD368EBF54F7837D8F730C527E8456E16B5730E2C99125 +11094ADE2FDB192C767BC4E249DB82C7C4A77D6E4842E9A29D3178D3BB33AB55 +6A94DA1765668ABED8678E3C05487CCE8A85F3DAA51DE967517A43BBB32E693E +65487776D68E705A04305F67923113FE1B371C02213AFE727210E6A1274D4153 +75E8EA9DE03BB76FE92DBDDAFFAD7B5C7D3F48762EF2E1EC4342A58E2FC03785 +050C54C9E53818204E4664B5899AC897D973E69AC5C950156C3E94F3432371CC +2DAC3B0C7376601C7780DA35540BACED29B354F4A3AE11BFF9EFB2B3A960DB40 +23131B56849E86D53CA4D1D617E326FF961D4864D48684CE3EAA4535F0341C97 +13BE3D80190CD6928552DD50D80031EFD4878C5B600FAEDA566AA195B4A29D36 +16E8C16092554B91C7E30D1BBC20791A3E891A8271EECCCD02C0CF016CFE73A6 +2EBF6B688F62D73E3BF706F429F452F72FAF1E8404215F65C1CDD88D6B8A5D4B +C1C0E03CD2ED1D0BDB36A3664F3953C5F69F9D63AACFE406F5DACE6686921F75 +6F078EC12577E6A28BD50A59043D60F0584BDB77BFF304C3BE91C16EBE620F48 +DE102FA8D39A4F1C9276D128648F844D9A076FCE34EBD1CD1767ED52273375E5 +6D47D8C409D0B2FF2A7BAD28631F2D01B5F40957B2B0ED29588B25AEA13D1BBF +26B587F4CE4EABC9247295A9A0A7F95FC4EAC05763EDD41E4A5B6B58E17CBA02 +7E8B329AD2E501F5EDA3AF4E7A14817DA0640D7D36A28E484C4D72089FE69966 +702CD37ECDA723F87F26835A1626D4F8E0AA81846BC4F867C32F92329DEF3427 +F0E66767222E5FD20C188697C421079C0A4B3F11FD34557065FC1B2E309CDA1F +000FC85F467296B9ED0F4E4B178537031E6A4116C4A8F283E2EA7F85ED9E77DD +98586CF0C4616740D45FA3EE55C5B2C0539FE30C809C49AE69A462168B883E7C +67F84A357FAC9A0DD8587BA20E0C4A0101EA648F1B7076DB52ED5C237AFFB2E3 +DEB052E72AED01B4AF00BA2352F63F36DA16C1B663CFAA940C15466C59E37790 +7A94FC8D818F165930ACBC4FF6BBD7D264925CC30DA2F7C09A486D6E04CA979C +1333A4F82FAA88244DD3C4B5506A7202212B896CB522EF1655A2E946869F9269 +BCF94A02F61ACCC3FCD36389366F068B8B3683F4C009159B80D7C90580F93821 +AFC2A1C505D64718B5E8F557A25781C7B570E1EC2FFBD9AB1EB7EE13B886154A +DAC1EC086155BA7583F659147F1A999459E600F9F0E3B92B2B4A8D9DFEF5C191 +10C86D1D91AD19EB59A53C5FCF0C8BCC60249A5EB7C99D268A105C23D7B90E97 +BA57AD801B0C83858A09AB04C9B3B80832F21414E55B2BA710FAABEC2636B4A9 +C1715245E55AD47C456D9974817BD9A8B43B2A9C517E6543F77F2A9968DCA9CE +563D99B80F6647DD0D0311A9BF106156AA2D5B798ADD1DDF1C6AD205444C71F7 +F4AABE8325FF3709B0AA70B7E0E3E12CBFF98AD28A485E54E5234292786EBB4D +837F158282484374AFB2C71C383D5E5EE2443952AB6A97912C7614388600BED1 +B00E67F301195203CF393CBE23944C2B615D50B92834C085A119657019BC823B +4D409897B76B663BF10A2A43E50DE6F6F71079FA05738CE1FF374269EFA1243D +E6B7AADE1FF1D710AC7121035998EFA7FB2460B4C5DB9FC5EFBD6BD6DED39EF6 +59CAAEB13217C10375F2BED635114F12F3114B3C07A7BA3EA7E8FEEDA919A3BE +9A88DF37FC00702B77E3C50522270F0FC389CC543911FE74AF18FD628E7D3A98 +C7D7227CFE24476DA6711B7ACB40AB093C8B467B918108A4DBAC3F5519F9BA5F +FEFC744498BF24459B22CB284F66698A7CF7E38DE0DE00C05A458D5CDD298E2B +1618E5BC288AE85DE1FEF571A9A163621F4E4BA57EA6AA013582A1A24F57C53A +73AE64AD32283D969251C5406362E979BD598DD65443812B285C06A78206C2F2 +30928FFF8CCE3CB6C1A461104345819C3B40A5274E758332E9BF04342DB73F8D +50964244ACEFFE302C5A5E7B8D4AB25F71054A1822CDC4BC5AB758B2AFFF7B26 +607621C6890D425876D07EF67CD27547D012EF098D4A48D17B235E8638EDCB5C +DF4313BF52E18F2E5E081AE3CDF420F04863270B8E57EFF4E25E9AC592DE5C27 +5167D48CBDD431B15016427B96DA033B7BECC98EFC30672ECA1BD58300472379 +AAA5289EBAD232FBA545150716B82DEBB2EE0FD69336E787AD93FFD7A6F93908 +DE078767990F2A97C63E6364386A287C4337535CD21E0009C4AD23F1C4769D87 +59D8B2B7E185E14BCFBC26028D20B1230BE924633F69FDF879CE0C753804795B +6AC161AD975BDDE3FB74AF9B9D05088E0F13FCFE1A4DAF8266AA206953DEB8A0 +E0EA6F1CFFDBAB34B514F4BF444B83DD578C67B4559ECC5FD9F89EF2069E61BC +DAE364EEB523A3E16776F30C59CFE1E242B526AD17DA6D5CDF0F1D74D3481AFE +654BEE09EBBB9A044EC7CC1DCDE0D7F03EAF49BE964BB53CC18AFB612BB757E1 +6FB9DEC7A951EBDE4C4F95C925987805657CB56A53006CF6594ED15E37E0E0AF +3366B2622F6D1C1776AF540D38B7FA2093F93D165BE88F5180E4ACF6E4082B2F +596628A3A61D984C97E39BB0034CD0CF7EBCABE2C49282A7FB46E360122E6A13 +DBA381977B4FAA70C65A2242561618F6D00450B8AF456F9EA9C3758EA93A00D6 +BCAC0E542BC45F82C96D843C2C061FEECDA0D153B1AD99DF86CA606E0A437EDC +0F5DD14EEACEB4EE52D5C5BD246811A7AD9E81D938118D110172F03A3BFEC360 +886661D2130354FD67E6767A96DEA881308E7F3F75611294F18B5E7ED330B3D2 +E72FF240CA2B051CEC7E34AC6F121A0FC4851520DC4DFF30854B1AF85CFF2F22 +18BE8823DDD7A212141FF24FD357E03F99CD8CF2B71495557F436169E9B44164 +BB3DC2C12FF88F0D6D8F1A38F8FAF902ECC4AF2D39B9510992F83FE7E8A5D309 +9D03F0F5800D440722C30800E01A1BADEAC4C888F041F13696BFC530B1B1CD4A +F988F996EB6C6BF85D4B62B6E41CABCB55A10E534340BBFED486B89F38AFB559 +CDA1E89D29AEA2F16DAAA78F68492F1D8032CD211C074D394308BA31C8D4F4F7 +C4373DC8F4733DA12AA27DA04D2DC9F36BCBC09260CF4E48358B8838596D7B4A +14D1A828502A1520ECA5985B2A584394153423E663032FFC5020CCCA102DA8BE +9A4F165B22243DECBA4674F006B861FA50A62BEA9B370BB93012083A063C8A6A +622C694B148142943C88676A504FCF73B37EA71216561D56DEAFEB0E6DFC0899 +CA3415E1499BEF9DAFAC5B1556AC1F3CA86418C2EB842C570394F4316067DA4D +AD93B92A69B33848B66D3697A2856044E309C58AF1F37F548F0C706FCAC25BFE +D271564230748E1B6A50C3920E7C6676924CF4C02FBA89F78B01335D09C3DBA9 +AEC76E3E45A9B7B6C109A43287FEB6127976F82D0D532B16D13D1F9F5C7EDDAB +CE0E9EC2C8BCAE45BAB225090D159BD6B151D67D50C27DCFF0492E1656B7B3DA +94306F1D0655E4AA6999FB3182A55F73FB9648B668C8CA4EC02EA8112E768875 +3A6CE6E2B389A3D293D0494CC9D12310E453C4ECEE0C16153D396C8E06D9870B +17E14AFB18291769B72FE79314574DEE09AE4F90DBA6F5F5974A91602E9F6777 +2DA9D71C6EB760F809157FA70D0FF42960C04313D33922923EA95EE2C44CEAD6 +EF4F8BCA3C1B4610E9317A324494D5529E3D55DCAA6782C5BC3EE4C68753B009 +6B643D1874CD71D1DF7C85D6DBBE1DC076F62280C5100CEFC52053A755D1D714 +3F889DE1E96E28486A4AEF6BB2260B456C2E626CB72DF642C58B7F97E9AD49CE +D93C8BD16760A91B02555B754DCC576CD5C1F2F1DA54FA1F8080DF8E0F176851 +D478C1F16D6071D66C6105957EED713E475B2D2C66517BF74FFCF3DDAF3129F1 +EB1C5A4B1B66149FFCCFEAD074FE6D67745714B78616C2FB8BAC63D385F68878 +E116C1D4F7CDB4727AAD9AFBD61CAB50AA01D6CE9ABD74CB3BD4F8E34665473C +304C3075D09798FCC7660F811CF37EC3F286C649CFC072DF72D91F508EA1268B +A1A21FBED777790B7D7678E06BAD26BCFFCAB08AA43656FAB7E5BEF873699A22 +921808CBD1328DE62564D95BD8242EE3B282877BB36917531043CB1399008823 +FD41494C749AA9345FDE39C7E85811851C734E02FBD8C88805723D1648D4D84F +E3447C05BD07E85A6D21A99C335E59682C2270688E0DB6CC7F8973900D034F14 +B3FC2B12C1B8ADCB4E48E53FE1B71B5E6EDCD29D2AFCE581E04BD937DB4B63E4 +2744FF24F8FB3DC98514D756B9474B3EA450BE45B73B8CD8A4CC793FF7E057C1 +DE9C3D4C32BD1537A9B57CD899FADCA42E004E8B522F23BE4C84ADFE646ACC97 +1AB63DC395F039C88EA6BD76D742B158A1C368F0E30DB7496202282ED3BEEF39 +C9F848A1FA7AF6D7CEA288A1F57A8844A0F8184EBBD19463830E3EA0DFCEDB20 +73479714A00CBC37F3DC8262CF11B969A7E139F41D41F8E55A375D24BF8B600F +FBCFA5C1908BFB5D1ED04358D7C668DAF3E4C66033AB906CBF8DE3A98501ABBF +CA4946E403651EAB52928A77998F0D5461397509AC41FD798A04C5C788AB2109 +A59AAAC779931AF74D599F56744D59DA43BB9C6AED3CF926EAAEE7CEE7B65A14 +44819C89431956F523C144D544C4A6FF7A655E00D6373FE0F4EEF8781A2138F0 +78415C4DFEF47B6BA1B55BDFAE94ED557C60C1640EB7E7F02C11C1B5AC223B25 +C019EA76707B37D7BA33BC0380EA679B501AC67134C7322DDE6F6A65B0A51D75 +4E10F3B7F5C59AC647F20D56B8682348CDD64E6A004F4DDF7728863B68588FB7 +354545F7CFD1E085E486EFD45E2C00242864CB8EA9B0A17C9BA16872B96DC37C +BF323DCF2B515B7F46CF165E805A841F5FBEA30BDB673163F77CA897E9C2AC5E +AAEC3431B31F82FF5A89A7D040ED41FAB1FB819348E270AF59DDB989C1760B52 +E5BFDB70768585EEEFDEC03F786EDBE24388B5FEB41A8E6EBEB03B2C78575045 +5A6AC092221F33D3ACE40F7F348DF35E010350DF0239761A4BFF9027A1B3D645 +520F1F5AF2493BEECB4C5F492E4B837E58BF86466112AAD2F26A24B12006B363 +0B374098BAD0E39E90A1D2A91DA08F0A8663C7D92B6CDC948B34E8954226D699 +63A108B94D30C73EF3800AB4B3335E109ED617D9A540C86E1FAA3C9AC1DAAD39 +CF48DA3374B8E7A2897E69408B69A50BC21DE51778431F7FA43A498A26A3E36D +B78C09E8970B649ED4D1B62C9440B9D8BF4D1598DED8A08F63B0462F340B210E +706DC3E19BD95A00E17CE4E7FBFC25F7D96CE743EA75E0FBDACA8FB99F0089D8 +01A8B0AB3ABBE715271BD2AE40981D7E89C076C6E78D745A7A2C3642B776DB7E +4206F8E0CA8601A9943BE978DCA9997E602ACB3F095E5336D03FCA7B55603973 +5B3720896C14BFDC2AD92902996997B1BD29D0CBCE649EC7460DD4BF09C83C1C +40DD3E80D61DC343F63EEF3C0ED308210E92902C60FC917A5E46162FB1B5D692 +7368EA0F5ED3F1E89C9B8FA16A7A5656E6D6889C26DC8C1E155E192BDA101B9B +88CDB9047F70B521C0391CBAAB202C32D9778514F909446A4FCED1FD28768482 +4D6DAD18A3BBF7CCE3D6AAD9CE8CA14D1AE236FBCEFD14B0080BAD4CF4D669B2 +B5B534D48C0F3C2F56C6D7B86A9EC1A55010807DDB8AF1F76476E5AC8FE26F92 +C6BDE7E679D3C58517990AF6C81B583A5A4D674A24F080DE82D5BFAD088A45AC +005E57E214AC3C261CFF96DEC72CFC188912146C8E321FD0628C79237B7AE99B +F630A87CA91C660282E1942D97E791E1BF20FDAEE1C0DAEBD7555A0F15B3B5BF +F271613C3E5507D70E1F2F84F6557D6997424098F06DCCD4DC9FEEA9AE3B5B74 +7F5EAD6CB57116F541162B4CE263BB7EACA9985BCD0A0C96996F12246B7A5140 +516664221E3748C6DBC6CF14CC1767CA58C6B2E2AC87DEDEB575A53F9EB21AC1 +7BA01B94061831F7C51B7550AAA17A33D2CDB1A510BC58640A39A395DA28E7A4 +14C95846AA79AD1D7BBF3689A1554D27A8633E81CD11AB07035598E7FF3F9D87 +65917F30B279B347D12A1F485C058326FFABBBD9E55CF450BF39BDF4BFEC9A47 +3AEAB2F4099402F82B71D601E04D0D5311E191DEFE5ED4D2BA25631C135E6DF1 +CB0CFC87C39575AF2FD643BCC31F95C374DF6B92231DBD92EE22BE2E454E6DEF +9B96D22AE24915A71074ADBF58AD06A2E13885BDE5B5AA66AA9DE2167F250DFB +4A3964F88D8203E74BDD514B87FAF7D4A9596360FF989CC330898734D713B3D8 +AE451750809B429F61B37C9A81BEBAD8C1FAB061045470F5D6A6087665A32FBE +0713B22677C50C2864FB376CD3A497DA6714EA71CABF6A5E546EA183A9B7ADEA +A3D7E05B7DA8C435A28E751B81A453268DABFF5126458FE4A37ABECFC28D6AD2 +2FDCDB9D47FA86BCC4ABDB580487605319824C13577C6ED3B622708BDB377B49 +A0C38728E69957D9E446EF7F06E84690EBEA961E1738904A858C9529D7690D0F +B74067F65C8DAF088E30113C5540758E70B709221C472576362D9AC8B0C8A3D3 +C47CDCDB142FB2EA496863501ED747D4F7E8148E5A420E931BD250199208B9EB +9C4F27E28068D01C8FB318FE588C1DDDC2EAE86428092AC5263DEEE85931EC94 +07E1B884A635A73EC6FFF4AB288323C091EB8374071DB3AA50F0A7F7A604B632 +EFC5112CFFF5666A16F2E820D108E8021C3F83DDF64BD0D8280FAE6684252EEA +E4CF4D6F87B79A6BD750010ECADDB73CF3084B755AD56A9EBCFF2BB74F16CC81 +101C08B53384C005A84F9A6D98EE30CDCB1A96D248AFECCD51F7F61237C66B64 +39B5C009801FE279FA131C37FA976600076CDB8133D4B648E527873882A92D29 +D13EAFAEA59BCED7D139DB7CCFD550F339424ECBA3D5B3120EA9CFF83AA09B15 +0479161D0B1E5DBAA40012C9010CAC60C3E0A27A3691A044AF43ABD3790C0787 +258F7BF261460E633E824A3E68A621ECF370977948DAA5186A85517C3E499C85 +399A858A8F31A06C592907068738C359C98BE26EA74BE7E7CE70AA94FB728057 +E394F07D7D322D676F7C2F26908A650FF1F031C81D39BEF771A594437E6E9C4A +5932B386B21A23A1BE1920B81CFB6BE25E7795B1DC4CA5A1A48A5EF065D42A3F +5D483D5B5784AFD4978121DA2E9A7E5152BCDB0895A3D059969560182A48D5ED +B48CE1E4A7C605DC064751D8A74BD82E81D3B926C2266580E11D43C4308C80DE +CF403624781A2086D85CD5DB455EE66BF10928ABF9B92C064BA80DF8EC4683F1 +6D8315718AC3D299A64897FC058CE73B2FC69FE9FD47150A8CDEAB64C4D16C60 +BAE4B6BB75BB68B2B0F862234C281CC0322C0AC109AECF779BFD3710E4FA99FB +4BBD71B5215F7400CE1FE62686374FE8D1B9742DDE5BBAE2490831BF97E53CE3 +DC7C226BE13C85C718B1BE4CED5B152C5336788ADD01C618EB92B08A768EBF68 +06ACDB576C90B0796FB308EDAFC45AD83617273B4873D9FA0568F8CFD66AFAA2 +D3DE7EFCA9EB4D8B738EC2A2527D413E32AB5C8108BEE5E93E96874CBD5A4411 +9F16E8CD2F66559079B65FA0BD7E4E62C90E0CCB24824503D79F8A3AF238EC8F +31F8FAB5826583E4306080632775AD6F9CBA95A9B3D50F3ACF5CC3463A669A38 +C7899DF2A5640CEAE48D23A1C8612957A6497E690CC28D61170DFD9490A2FF30 +D8EB04A6F41264716054A1192FF06CE114221590C75295C0EFBA5BE1F043F38C +9E984DD538575F400A9E804C4B1F1E32E4CBE67C031578EF8A43FA450EDD6559 +374A77F027ADB006AEFCCBD85AEF0476F9D23E47380FC806A9CC014D84C2E761 +DAB740CB91FB3B572EBE6CADA1DD02BCA2979207855A7B394F24D5C74F7B2F19 +5E2AB77F8DD386E19C3C471BBC6B5A24D9A1D9420FC7EDD145A5913C9D8090B6 +1F9BD2A9BAA0B5072494E3F39D15A4796AB77A239473FAADC2C9D200865AF9AD +E504F70CB457479799F6866A8EE70A8306F1392DF902FB280C4C49A4C938F326 +D71C934F99D0DAB94E021F9C38CDFD091DD56791C2DB1F276ED462E6509F16D7 +D4D0DFED88885B768A7BA691817831326878CDE0E5129C7BFA613BEAA214CCA1 +7902A7D4B249CEDAC4F91328B6B13F0993D829BE26F033525C9688864D5D1B42 +A35165B518E8096A7D456B05B807D8DFC4834485B244F6B9009AFBB8F4156402 +052EA0A965CEB476E5E0A34D65C3E7086D2E2BBFD1DF3426778D59ECD4A9FF10 +61D86CBE740CA58324FFB0A3D7F208B1B5305CB9F360C764ECF337652059F4B2 +9BA41666DD01A8C4B57E5561045BC1FD0A5E4D7379D576F1D88773CD6A598DE5 +36DA07679F81E1FF8EA936682BB2584E5B0432CFFC164EA6CBBAB9B9D0784CED +6A68052CCC8451F0EFFD8234F74C9ED840C3403A20223BBD0F48B7CA6311454F +0A708F8C11BC7A8DC40FC0B22DB69D0B9841EB4A6F90E7A141C27287C7E101AF +B9D8B5B79F7253162FFEF8BA2F518A68EE2CDFD1CFDD275845846533E0E48F08 +59BD19A41B09E1BFE6AA6E50E0A7FB6277C24FA36A855AA66DAB703495D7B940 +EA4F6CDB608AC762C983924B128B614B72587A9BFB9DA733ED7615E4FE327CEE +B289EF203FE428E833B477B42EDE9FF4F654591082CA1643B747B498F142DA44 +2293A860C985660EE10BB1993EED80DE58AEB57003D0E1D83DEBF4A2FD24D1CE +7D43B9443CFC8156A475D7E7392BCEC9382D50E918601C48050CD304DD98DF5E +D028D84EC9035F9EF089E816C7CDC4F72A6C57B2A77DF516B7BF9F9B70CBCC1D +C4C275DB0A07C56512834842AE0E6067F4E1E43AECD70ACB490B55DDEA9A1997 +952B9C9C196B45A8593A76BB6621AD0743EB79B3B23783D142F5B86817A1292E +F7202621BDD96EE6B8FC9813A902C316324C95B53F3A25525BD1C43BA58E31C6 +1C5F5F3CF2B013DF9C1E275162F1F00404DD6ACBBAC7D6F3CDB47FB7CBEE9A62 +6C121C4CEAA3CF90E289761076A037457592984493EBCA019F190A635384B058 +A6157488109FABEAA7DD2AA138EFC88DB3CFB97135532E39D8ACDEBB25BB578B +DAD4BACFA022658625AEB53901AECF8A26A12C7FD1CC3CEBC248D65390CB72BC +F9D7B29E1A6F5526CA3C2D77B110B07EA76BBC635378853B95A0FC94154932B9 +9B61E85EEFA3021EBE495100F7DBCAEB931E96D1179234A064B95579A202479F +3130DDEF0A0F36E93C42E1E35DEE6EFFB8A055C112D7813F7271A5C752386AAC +13F2DEF3C344AAEC01A06191704190C822159FC445D1E5E29D3D6895E53C1C36 +40016856722CA93D0776B09A0C1B2BC49936492612722A49F6F40EF05E589DAB +6F6F0D3DB2EA612DEF81345A4F848E41DF06F09EEA355309B03B70010328AE3E +49871A15DCDE3B4598FC2E127878D50DA86B40370823E3FEC4ED075B04D08ACA +EA4C25E6F91B187CE694477F749F82992E955C662D9DB4D3B3B79FCDC01C3A71 +F4A5049B2EB5B9A58EBE4208F4BF11668F7B7B15F430231FF2DB7166B87A14AE +74E294DFC4DBF85B68C5EF65BE8BB8327F5C81DC2770FAA8EB45FD90D0CF8114 +6B6AB39D4401D9E1F56E48F762F9FCD9FF6DD517C2E8F0A40693E8C5B121A511 +4F9C1A621274E39EEAADF0B38FF09381BAD76932F83776F6D8DA39850483C2DD +45F88328B149F806B94B1D5EE9FB471C521EB0C7574C40274A092DF90BC61E7D +BF4C8A7E640C812ED7BE51FCC5DD659F00DF779F534AD4B1D30D819B352B680B +2EF89EDC2068D05D890A4F2D0463B1632DA26C0693EC6BA4DC266341787CF9F3 +4AAAFBF7E31E57FE33DCFE92321D83D9D0C7D22C95006DF6994A91A9514B4227 +16121CF4F0EAA6DB692BE7ECB662348634ED8795729E69126D278CA3D2851DC2 +E0CB728D30F2E030CCA8F1AE496ECC86B685522E7489DEF27A13739E3A7E7C41 +65D37BD1D4DAED76ECD3393D162276EA8B1DEB61F004C230B2B45A498FF9CCC4 +0DF8502D61905FD02748D5153874C668258AE550E7A193F65EC5005CFC62F487 +95DCCE8FCCB0DEAA29284EBAA2AA8E4390F9BDB8728832055F71E7508466F81E +C36D3AD412461BB5D47AF5C25F5691DF2F1237AF4C38B5F9A39D3DC93CC09CE8 +BE83282D74D0067BE635AE5534CFE21ED731BC7D57A1E599B5F857B441DF312B +EE63B17625F8E9C8B60886751887972D66C3CAFF6C4A79230C80D38E62097920 +02AED9583BFA093E12C43C21E925382A2D1CF849CF0EF78E3A10D3D096FA7E5D +4852B48F35BF580DB5F5081D39F0A71ABD18DA66E55A95087D8C8A8ABF3F9CE8 +44C8271E2E979D7BA6B4E3705D427A58D03453901DF851E1E153FFA9FCA9323A +6CC96B8412E022161BF93F74EAFFABC289CD66F67A05295C2B63D12118C63092 +6E10779F06B689A33213303F8B918A8C05EA8CCE48232CDCC32369C9EA4391FB +DDC912D95BE98F9539D8AF957A13964832F81D15176FD2B86E2DA6327CC39BEC +A62DB926109089A0CAEE25E722BEE165B208B2E253AFD91A5E89862C3190F1C6 +4D6132556E5D42E5918E8CB8C7CEE33228E1E6E20346D2642B7AB3B24C1DAE44 +AD13D1BC81D3D025616203CE7F35CA1F268933734C975E255A1998824B1BF655 +7F6DB1F18A1EC83F7A91804DE9E7854282285079D030E0D84ADEE3B9189FE570 +B245242DEB11D546E6276360F717E460D4DC64612104F729B929FF470796626F +87231A215E2312385EBD018FF2FDC1AC98E326E8C3BD4309AE18E49FAAA5D529 +A256D25EA954E041CE082BF92B72F912011BB8FCD1DB58E50EA8CEAA32493E4D +D09BD064230E53AE51129938BCA34028BEF49225F03970FE8664F07EE6575DA9 +AF009F93883432ACE62D0EDB0921A5255D09D1E85F611EB4C6670A3D3CBEB607 +37C546E9A01AD9BC31C39B2A031B01713006AB351807BDC24317535766F347A7 +B6BC75B15028F4BBAD94FA7DCBC14B6A51DA89523630676A49A80E56847BAAB8 +C6E6430EFF726E9A67F3659A098448D4529256AAD1514E2DBF9209DB00E4C655 +D66D8ACD94222D763E958C86F1203618D9EDBBE9CC0BBBA0425096509DFA6290 +E283ED970B130C0A8460EE0E8AB22526FBBE0D52B401E319BFA0704184658F77 +32C3EDA5E4D79F7E7CB040B98FDA0F432EADB73ACC60F188E4D75F160523A100 +CE68E70879FF824DF892ADE43E889237CA0058E648347485647191730E94C9D5 +30C3A0323DAEB3288657CA33E44BC157A11032118A62ED355342832955BDABDC +6CD94484B3C415AE773CFB6166535DF4B668B00DA523F94D8B029D33295A8DA5 +37A8ECD10589B7B0620D4F0A5257727ACE1D1642932626179286010FA08BDE39 +AB375825E697C4BE80345F57459A77A8C2D09879612D91E26D74A55353334B43 +D89AEDE4FA249790C7B440EDD8B645CD29670BF7AAAE9D097B445C0C07254D9D +2ABF07CF57C7E1E576A74981BF9AC8CF35C2204BC77C2AA0D6B4BFD10CED9FCA +266706941699066BC3D16230FABEBFD57E83B352974DA2C4A88CB4013FEDDDEA +A7777C88B08667FEB4F9871963C5BF6E576A4E5F8C3F9453E2191D5A47483534 +FA7C7CC217F9FA275B7FB4D14B9426D110B6ECB2C34FD6EB1530A2587F520B20 +11BFD5793163CA9BEF0C5D57EBF03A59BB8F303881DEA5D4C5A0CC4F344721E8 +0FCA16 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +cleartomark +%%EndFont +%%BeginFont: MSBM10 +%!PS-AdobeFont-1.1: MSBM10 2.1 +%%CreationDate: 1993 Sep 17 11:10:37 +% Math Symbol fonts were designed by the American Mathematical Society. +% Copyright (C) 1997 American Mathematical Society. All Rights Reserved. +11 dict begin +/FontInfo 7 dict dup begin +/version (2.1) readonly def +/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def +/FullName (MSBM10) readonly def +/FamilyName (Euler) readonly def +/Weight (Medium) readonly def +/ItalicAngle 0 def +/isFixedPitch false def +end readonly def +/FontName /MSBM10 def +/PaintType 0 def +/FontType 1 def +/FontMatrix [0.001 0 0 0.001 0 0] readonly def +/Encoding 256 array +0 1 255 {1 index exch /.notdef put} for +dup 63 /emptyset put +readonly def +/FontBBox{-55 -420 2343 920}readonly def +currentdict end +currentfile eexec +D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 +016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 +9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F +D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 +469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 +2BDBF16FBC7512FAA308A093FE5CF5B8CABB9FFC6A66A4000A13D5F68BFF326D +1D432B0D064B56C598F4338C319309181D78E1629A31ECA5DD8536379B03C383 +D10F04E2C2822D3E73F25B81C424627D3D9A158EAB554233A25D3C6849ABA86F +1F25C1667CB57D2E79B7803083CB7CC0616467F68450D9A3FEAB534EB9721003 +DBFEEFD050F3AC3492F5C74162A9A531ECEC0F47610B4940E946D21CAA771D30 +A6C27ECBA11708CC46C62396BF9D1990D579D0C394899D24FE7A4382EA18E7E1 +160E7283AF5BE17254790628E79FCC206F28B5566075B3A5697D5209062544FF +D85FD89D6F43D6588B242AB2666B5D2861CD38A8CE676503EDFAE84D12A71E77 +8405E468FE391F4F3F50D2C57ED55512036B0DB8E76A7EF413ED08673E56DE2C +16A3B65CD478433C0D2F9FEC4E662D54DAA43CFA6957D2A9AF8979BE06F70B68 +ED4C8C493D6DAC4971A3F1D010A7726D084EC1074FECD7D12D72AE16C26194AF +21AF5774D9B860EEE8608D34F150092F09C19959BAA670022B9A9F263CD391E3 +74DD1D1B4CD4D75273CAA4E37F68C631723E08FA35AD34C0AFB4621AE6689861 +854D16CE1C375FD159A337E221A6FF1CFFB5693A0623E7EBB58C2969F590D081 +AD92DD9E5322E26D6A15023664AC73A355998BCC48ADD0E7A4BC79790519606F +A1FEF6075033BCD422EE8233B83D1E7C20043280D531223D5AD4D5B41669F884 +95CE4D6DDE819B588742B930C579EDF743F2C74C95F717FAA6154FADC3FE2975 +F59CFB1C1A29059487E75C48505BAEAD7145667D4E18E46E610C868A257173ED +0D30EAA4C090854DD8378E92D0A376226EA7DA63798F247BAC770FE26D70E72F +90CCFAADF118304646955B0310C65F6CA51BEEEF87AFFE294D08C443636DF75B +DE5A40A671EB63B8FBA940417A22BE3706D2341E62C59351946035638A25BE94 +60C5AECC478C553CF2E3B4CB088D9484D697E831038F8A531F3EEFD41C31449D +6DDF83FD724F4C81B0D713B73E56FCD2329063033F6A4DAEBF007FD440CF3509 +5A90257034F5827C28890A0994B32EA705AC88782F3AF039F94AF3C6EEA0857D +3EAA1D1B61597E6AAB0C0CE342E7332A947102F48F28D169AE3575F8EC625964 +520ACB3FFF574B9D39D7BA6CEAD0ACE429F4F147B848FD26C3C2E187CF76E7A6 +FE0CDD9A53C3E4586B1C252E056BF41347B2B8A28510B8E53183D24F5B758BF9 +2A4B744E2DFE23911B0D40A6AA8559D89128A29EE51A806F533B599CA94C44EB +3EEBB6304B96F2FCEBCE45929D139C3107DC10ED807E1D8B5229216787C20B3E +E4413D68D0A7BDCF429BDCD1E9AF9B9590BC9D6211B1960CD0FCB32633EB7B23 +67DE12C994F006556E99AB540962208FAB61 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +cleartomark +%%EndFont +%%BeginFont: CMBX12 +%!PS-AdobeFont-1.1: CMBX12 1.0 +%%CreationDate: 1991 Aug 20 16:34:54 +% Copyright (C) 1997 American Mathematical Society. All Rights Reserved. +11 dict begin +/FontInfo 7 dict dup begin +/version (1.0) readonly def +/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def +/FullName (CMBX12) readonly def +/FamilyName (Computer Modern) readonly def +/Weight (Bold) readonly def +/ItalicAngle 0 def +/isFixedPitch false def +end readonly def +/FontName /CMBX12 def +/PaintType 0 def +/FontType 1 def +/FontMatrix [0.001 0 0 0.001 0 0] readonly def +/Encoding 256 array +0 1 255 {1 index exch /.notdef put} for +dup 12 /fi put +dup 35 /numbersign put +dup 40 /parenleft put +dup 41 /parenright put +dup 58 /colon put +dup 61 /equal put +dup 101 /e put +dup 105 /i put +dup 110 /n put +dup 116 /t put +readonly def +/FontBBox{-53 -251 1139 750}readonly def +currentdict end +currentfile eexec +D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 +016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 +9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F +D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 +469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 +2BDBF16FBC7512FAA308A093FE5F0364CD5660F74BEE96790DE35AFA90CCF712 +B1805DA88AE375A04D99598EADFC625BDC1F9C315B6CF28C9BD427F32C745C99 +AEBE70DAAED49EA45AF94F081934AA47894A370D698ABABDA4215500B190AF26 +7FCFB7DDA2BC68605A4EF61ECCA3D61C684B47FFB5887A3BEDE0B4D30E8EBABF +20980C23312618EB0EAF289B2924FF4A334B85D98FD68545FDADB47F991E7390 +B10EE86A46A5AF8866C010225024D5E5862D49DEB5D8ECCB95D94283C50A363D +68A49071445610F03CE3600945118A6BC0B3AA4593104E727261C68C4A47F809 +D77E4CF27B3681F6B6F3AC498E45361BF9E01FAF5527F5E3CC790D3084674B3E +26296F3E03321B5C555D2458578A89E72D3166A3C5D740B3ABB127CF420C316D +F957873DA04CF0DB25A73574A4DE2E4F2D5D4E8E0B430654CF7F341A1BDB3E26 +77C194764EAD58C585F49EF10843FE020F9FDFD9008D660DE50B9BD7A2A87299 +BC319E66D781101BB956E30643A19B93C8967E1AE4719F300BFE5866F0D6DA5E +C55E171A24D3B707EFA325D47F473764E99BC8B1108D815CF2ACADFA6C4663E8 +30855D673CE98AB78F5F829F7FA226AB57F07B3E7D4E7CE30ED3B7EB0D3035C5 +148DA8D9FA34483414FDA8E3DC9E6C479E3EEE9A11A0547FC9085FA4631AD19C +E936E0598E3197207FA7BB6E55CFD5EF72AEC12D9A9675241C7B00AD58FAF645 +1297991B5D01701E82228D0313FC7C66B263BC79ACDDF9AAC48A3CBF42B96E38 +583E1D059953076D68148DC8B6C9527B3A74CE7DEF788A11531F44120BDF0F61 +0B2F3ED94EEBCDE4ACD23834C242AA4314B9EF98E4BE72DB76EBDD0A028CEA9D +B4C38C1F2D24B8FDE686832FE96204552C820E45B6BAF0C3308742AE2BF8E09B +5C68BEBF37982B2EC24C4A8F927B726A0C918F3AE2D7BE7A13313D91A9FFA2ED +E05379E6A7D6D99BDDB3623A848446582EA4816DEA69D30344AE71358B5F1241 +350E932FAFA0F85DAB124180FABE88F36FECD75F2A9B9BC7DD5D53F3E81369F9 +2E7FAFB4C3835CF8558A0E83AB321A5B14969F3F5AE9B6ACF635D3B9BB31E89A +8DEC2D5D6DE6EB6EBE7CE4CDFD8091B27971CE3531550678500FC8A3539AF3AE +B28AE3C628C11E9D1D72CB3441CFFADC9E5AF0E20AF8058C2C10AA264140D214 +D5251C044B8967142A83AC36C738288C127178D756C8ED56E6548A06DD35E837 +A38C2819D616DBFD92936EF7E7EA91071B540684F8A4C75E5DF8DEC245E90368 +82D4A4D18106B184164FE3248EB720A46465488D5624BAF2985FFA26C4FE102F +101225F6D6D830E025DFBCC5A451FE0B8324DB8FFD73B457DFACB7510F164DEB +DB51D7CB289F0FDA5B391605DF30B686455EA9E3DFA9072AE54C9289A22E4EBD +5B3EEA194D4B834FA103C46CD855C839D39338E042453E3FAE4CF7C337515696 +237E33BB2B7504EC40D0F6FF65FF352051EFAD39FFD961EAEA535623ADC6BCA4 +DF58F50805F6DDDE1390E2BDB54D1CBBF66DA5EEC4D5F0083823163DAC7EC0AF +93283FE39675D500C377AC7FB8D5D225151468DDE61BCA5303EE477A124A5A23 +E5F0FEB60EAED09600C708E6721BF38019C8283CBF68491AF71EBCBA69959B57 +39045987DF4380F9255EECB47DA770FE1C4227D79A2059124EDF92C19416F331 +D5CD9195D8A68F18F35CA9BB874F19F7A31830DEBCB18E98D5840EB002AB7B29 +449A18B15CE875AF94E4DBC668E439A96A5F48A7A40385D44F9E52819B5FD422 +4BA099A289B290A51C17DD1122BEA1617243203D331A93760E30CC240DEDB93C +B1C7109482AFA08C5F55FD884668C4814084B1D2F3E95589C643340B679095A0 +5C77BD6C4DB0099C6B44415C6F29F79B82F7E13A5DF630CC9AD41FA51D156CD3 +AC8B6047091F053DFAC33E938348576F087CEC7F412B5277DD7F015760783880 +ED54895B4F07A0C607F9D0A04443F4FA3ACC1B0A4DF119AE6A7875DE4BF1C380 +07B8E16EC2E7A72890181A5834A21009F20C8DA3CC83145ED7C0F104B0110F9C +DF6576366CE35CC55ECCD38DED5056D52057ED9CA7660935CBEB57D70A5CFAFD +527A77A3F3AE4344A19E313BC77F75DCE7025A7C8AF2775BCEC4654D2D99DD8A +D08136231DB934F4070A7D4A2E156D498307A2B8C2B0BBE45C9B0118E32B9B34 +AE7A4B1003F0C5EC791673656282F8050F9C68E17749CCF7A18080544D6B2865 +A64BA94BE2D5AA53FCB890663B68647AECF56E82DDDBBB56CAA7F7D8E8FB823E +9D020DBCF92605CBC42C3DB44B6EBC64067E69639764BAAABF1F7B1891684B76 +C6B37CB60A0F0E7BAD176F6F50C17961B8387260357F1AF6F58D063079BB9AF4 +3022F30008BF9462A21624E4CC8D35B2B5F6439FABAFAEB3D6B9059ACF56CA3C +D9C5A99E9EE68C2A85C5067778C4E90977492C4DCC1935AFC7EEBDE51683E643 +F7734CEDDF10D9B89787C7D233AAA933ACDF4C094550D35DAD32F97FEC809B8D +16600CCE82BB3A6B9A672B3A15F50F59EF11C6EAE0B7D1276A9045B773243641 +CBCE33E6D9067F63583E60F8B297270FB1758B82260ED8522B3BE4A245118A10 +9F1EB36577CDE015EA26038072F6AC10DA45CF569F754290649685E6666415D8 +0112B117836C36A4FF57E85EEE66C964E5DB34DDE1C17B4A6FB4D37A8391D925 +84B978DBBB37A9365B83AAC3F396D4AF476D6CB6995F6E432642348EEDB85E46 +526938BB28CC7C9CD67D9D26165C9322377839893B73B1E0BC336749193E6E26 +2898BDA3F8B053B9A497D133250A04FB262CDCB5FE891C1B865CDBEC27C1E60F +E450EC88C9FA46ADE43ED562D4063435A8E0EDCCFF435D2607C44C5345BEF1DF +D483CE7FEE72BC91709B387C9663A0DD756186C60DB5AF0465D1B1E7FAC13B2A +BE39ED468F13DB3351AF5A8C744221D5B1F3D172AF3278FB7550592C0F314B68 +E5536453BFDB8EA801710AFCBF1DCE1170876791F1CEFC7B4DADA8524B6525D3 +00DB59D0063747DAD551BD7AAE06AEAFA41F79F7BBC6DC71B4B4B93239674298 +E284E9C61DEAEA7509EF57C3E1D7E6F8F8CA19081EA83F +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +cleartomark +%%EndFont +%%BeginFont: CMMIB10 +%!PS-AdobeFont-1.1: CMMIB10 1.100 +%%CreationDate: 1996 Jul 23 07:54:00 +% Copyright (C) 1997 American Mathematical Society. All Rights Reserved. +11 dict begin +/FontInfo 7 dict dup begin +/version (1.100) readonly def +/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def +/FullName (CMMIB10) readonly def +/FamilyName (Computer Modern) readonly def +/Weight (Bold) readonly def +/ItalicAngle -14.04 def +/isFixedPitch false def +end readonly def +/FontName /CMMIB10 def +/PaintType 0 def +/FontType 1 def +/FontMatrix [0.001 0 0 0.001 0 0] readonly def +/Encoding 256 array +0 1 255 {1 index exch /.notdef put} for +dup 11 /alpha put +dup 19 /iota put +dup 21 /lambda put +dup 58 /period put +dup 59 /comma put +dup 65 /A put +dup 70 /F put +dup 76 /L put +dup 77 /M put +dup 78 /N put +dup 80 /P put +dup 82 /R put +dup 83 /S put +dup 86 /V put +dup 88 /X put +dup 97 /a put +dup 98 /b put +dup 99 /c put +dup 101 /e put +dup 102 /f put +dup 104 /h put +dup 108 /l put +dup 111 /o put +dup 112 /p put +dup 114 /r put +dup 115 /s put +dup 116 /t put +dup 117 /u put +dup 120 /x put +readonly def +/FontBBox{-15 -250 1216 750}readonly def +currentdict end +currentfile eexec +D9D66F633B846A97B686A97E45A3D0AA0529731C99A784CCBE85B4993B2EEBDE +3B12D472B7CF54651EF21185116A69AB1096ED4BAD2F646635E019B6417CC77B +532F85D811C70D1429A19A5307EF63EB5C5E02C89FC6C20F6D9D89E7D91FE470 +B72BEFDA23F5DF76BE05AF4CE93137A219ED8A04A9D7D6FDF37E6B7FCDE0D90B +986423E5960A5D9FBB4C956556E8DF90CBFAEC476FA36FD9A5C8175C9AF513FE +D919C2DDD26BDC0D99398B9F4D004B836D34E88C25F6CE738846C8E2E59A2BCF +4ACF80A26D78872E9343A0537BC3BD7715F32ACD958D5AAED865BFE129278935 +063A31C2634DE2F9077E0AAAAEB224466B779096D8E3FF0A12AD5157F6603DED +1A82F3511359143311179080C510740B401C930C96270FD1AB3ECBCFEF5DE53F +E846BAAE95828D5790922640EF8AB9D7CEBE7669FEA02B72F86872D3D8754A18 +A1629C40A7C00C956F140BC63362478279C36EE353638CD3E249897207A94504 +4400668C8E702058EBF7284C9BDF830A3FC79C7EE900CC4C3664F9767A237275 +CEE3671644A75F1E696DA906B4C66870DBE87F5B4A176920C078ADBE24F55C09 +3D18CDE21B5FBC1C6A8AB18E05EDBEF9D1C1C18B3E6377BA2A688579D4F708F9 +A5CF4F56C5E39E2726106E9713E638775E606464CD674E5DC25CE9A696A65806 +C8E9D206B421E246F18013ACC6C7B2985BA93B1B7D7745CCB25B09957F50128C +B523A55ACA6A7A2A0193A536E590291ED9D577B527CAD0372E05BFCA1829FED1 +662D06144A5FFA628C587A4FA05B179F1A7E3B23B47765FDC054271A0DBF9C2B +B4F4771F80D1F7AAD9024868C30DAD5CF728DB2A71D86D53B0E674996E8C01F7 +EF97B225A28872F8AD4752A466E078C2B020EB832F237CB9B5618112AB541612 +CA7A7AB68702A1FAFD456F77841614D7D51C0D4716F8BF44013E8F0B29F0E926 +A1042B12AC17D9CB44A6DD0B0028F2C3D976E2294E5271224CC19B6D416731B5 +413AF1C2E09CA2BAA5667FB40F78AE62F1E2097512B9E35E4E061EE872195CAB +71DB809A152552F2DC1A7A2C8F4DFD4FED243AE36576580CCA8339AB7113EC57 +3B375CF75950D07E36EB7B60ADDC35CBF9E0504AEB72440D0EC093D03CD4C06C +9294B8CCA4D5CCF78C4BB89E2416895BAD6FFEC243BE3D4E2AF84483AFFABA54 +31F4CE5FE4B9CCF1F42153E67787686BD3E290B98D2978B09A66AC6207B28A05 +6BBBC5489356C09022C7C980E4A5610377C5D71060216769C63313302F0311EF +80599114D9039C1E0B88F8616142A36763CF03A3D15DB109753E6D2C865E077B +043C64F4E1915B3274C77FC2A5990BB16C42FD8334D62B70DA7667136AA27F8E +F18FD0D8D4920D04777E94EABFD75FEE920A67F774737C0DB9279172496EEE0F +51913FC24050703DC4EC67724B6AB5AB6A20A48118D61EB855F552025F07A051 +E5F9F8479153A9698D2A288E8D844E369E8B4A81E99E410B7AF61BC00E38C854 +2A449CC84A5E97CDB33FB45924C567F43EDD6ED7A4CD798176EA89AE145DABD5 +CABEA4BDAB3741863DE4C37D9822FD22966CBBDE28AF50EB37387F160EAE8276 +31BC6380D7EE0AAD333F217019808D09D929AFA4D8BE66B4179503D7F6E53404 +2003BC3C6545DEE1DD0912A8C4F26CEBD6E14D42AADC7A8832BF3D3685E20C67 +2C836361C900B26A5A17E7C6A345168F057C70703BC95A89D05ADA4A9EEE10B8 +B38E6C22EA5CE7514C5BB9CFED61E13DBB5D1F44C90AE300359068DEC387E687 +BC649402CDA616AAD255737E64DAE8D6CBA7DA2D624BAA1A6EC1F0489604434A +63A2E27189A936B9EC3023BF4782D633FF30D7955C1F0203131091B8F256C50E +7FC7A0BE2E79675F354DD3F917BAA7855C85CBD7817DEBD7565577D77C16B617 +51860C3E2851DEA5278CE5ACE5B524D13E651F24D068FD2A301D173706476943 +5185DAB7A4CB80C3D57A4627F8C1C36E440A1CDEE10769C5048EBA3403727284 +94D98AE962D0D666801279CA31F93267A9226D017D39891C51E10C8EA793B5BF +8525610091D8CB04441A6426D5E6AB968B33E3BA97867D4EBC5F56F78FBAAE7E +B7DF524D5495306E98888053F41E01E5F8EFAFAA46B81722615BF5724D1E3B86 +EF0AB8E6FA2DCC46F59E6B937105EC6C4E8D471955C3E458B9AFDE192771BBBE +7F59D33A98B70C417B5CAA8B204FB3A9B22ED8D4C03AA834CDD54E28633689DE +BDA9B3D93B1D610F7055B3D73A5CE88481C33C17FF15F5397B15EA68B80FD622 +636F8B5B549F12C79A51F67D3715DE2BFC353994AEDADD86BE2376A1002CF782 +84A07D3F1F922270D8A56E56AFFFA7BE7AB74BC600EF813BE216303AB0CAC4EF +E3C6AF77BE85EB79B631FE6C6E8C5321C1AEAB7EBECD36ED79181FB679A3D39E +1A08B086EE6A9AAD268795BD7158DF66048D06280AA247524D5D77BFD0E5A624 +09840A76E434CB9B267651B753B9A3C807FC469242B47BD4BF877248F08FE504 +8FF590F510E9AE58D3181478381C9E6ABCB7A480F5A4B6332DFA096668A4DCAF +475ECEF0DAA6F4874A8271696AC18C4339CDF7A585162CE7A4E7E3AFB55A7AC8 +8E24CB29A22DEB357FBA7A177601C362D2E76A2978403D8092317AC7381F7E12 +84C5213B7DAA8CB6F6C189D95A17506D069B8416D958852B20299E4245422075 +3C617E17D28A1F0ED59D4BE884DC7D2C1E47E155809ADC9B33E8C53668256BE1 +A89FBDB2CD88D06418E75A1FF828682F388E42A827FDD5D983414C09BA683E7C +51F91A30905B2927B996FF46DEB91C688251A836CF595E9913DE27C22E154FD5 +780137ADE60E0CA5308D3C6E778C459C7F9A0D38C7F03B6C8715A7315285902A +BEC31EF5414F8BB5F67088303AC808388C94FB9F91EC60FB026831AEBFAE3372 +15D1071FB52213A988C131C686D3DF7DD97551E69EAA7BA4808F786E832BD0E3 +841A6A15BD2E7C6DDE44771482BE7004E72B184B7643AA3D3BDF8845256B69EC +108649DBFAF1BCBC84837951BE9C6AEBD0246321CE06237FE3971DEE3BB93A16 +36A08F8074CD98F34FA809C9B1DCB58111618A06DA12D754E33C00E0E6F22635 +DF8DACE387867F17795C1D579F8568D4792D4B053C3E9596B5BAAF652ECFC516 +554402C80DA3624B5B4EF4CC63FB1E45B8902D9A99648F28A815DB250A7EF1AE +7FFF9F73AED1B568F751B098B90EA030AD755A93E368F2F632BCFD83F3D5B8AF +EF989CFC21DA7903272B978DE56AE0073579B58747210E60FA7AD7B3040452E3 +810D5D2BD68CAF99DA065F7A792F550D45CB35324321F9E27DD4975E3D8A2BF1 +CA87E880F0402BB8AF80C653AEEB3E2BEC35E293C96CDB8B8623403F7BA0FC43 +C4C1A386EC5957B679953DA1EC0996592C947D728CA19ED44ADFBC88D3891196 +03117CCFF90964332E54E58FE886EC399BD0A245FE318DBF6C4B273FCB61D155 +95AD9F7FA9BB3174A3B30F1AE499A60C5D0A77ED65E91579CFD8834E03CF88AD +F01FD60E49C9CF01C10DD562D163F119198BEAF698101FA38D9A02F059E02483 +C8981E526F72FB9DC531B90880F0E42F864A10DB94B16F50A288CE7F58C631AA +4B467B0F7A0730C8DF4FDD597DBA28E0391276150DBCA2A7A4AAB0A4AD439E57 +23548D6835D4A681DEBF11D95341EF5B767C33161CFBD8A396CF8E333A07D997 +96541B98EEB1BE67DF7EACD5C9142B12B6AD0AE72C1B0364F490F7CBB6897FA2 +B54638E198104BCD66AB59A46AA553DD36E0FD86AC7CFA9CCC2BF19BF38297BB +5D864F8224BF5C26EE68D6CE5D35AA8E7A03E975BAAA5562053AF2B338B9F597 +A4C641CB3BD27DF765A51BF0C14A4C4F8945B01F886E1E3FC1E1C5F019054774 +BB8A153070DFB098AEF8BFC95D55A031ED3DC43F038031F88D57ADD418D4CBFB +C45DFAA36BD2D1755FFFE13ED5484D410039A71F48140EAC61FABCA91A4A396F +34A9EFDA6B6E82FE5377A393310E3EA03B802B0A19927429D959A19C74B3C1DA +062C1902E395FAFAEBC02EE845B3EB26E993B7F5F799B9AEE948A3FC8553235E +BA73927486145A875C90CC7EEAE41520D677AA62F15074CDEBE7E5E0D2A54AC5 +5BF72D6158D92D6B6657B3522BA8988E6A0FBE6C953A0F1B536034451569B066 +BD322FA0DF61AE08A4EA836814D8B8CA69B25750669E07636D78CD380038E79A +CDB043C2A8CE13866492F320B3090AB1FBECC6C851E53617945F17FACF4AB9D4 +F68C9BDD826D4816D794CAB00DCF9FCAA483C9BC66DB8B78E706554CF36BDB75 +794BD0AFF3C56E98CAB7D7ABBBE80F58D942C4C9BE0CF433B5D877EE6DE01E02 +FD6BB3405CE4B0FC9822140B1F6E5195DE8DD57B656AC292BDB14DD1036AF6E6 +A8520EF26BE1D3245B22E258AC79F993E074B7DFD2B8361831078AD674F14FAD +74864A6ABA5BB3A9BEA97B4528502F35DBD33F59B0CDF61070ABDA879EBA5EC2 +7A1AB231416359183D766389CBCEB511D00CBFBC29A71025CE89C3933A7E6CF4 +9F574728334598C8D4F4E1E8496D803EB654E8E9F455BB71E2DB6D11506AA252 +B03297354DDBEE7D2693A6A8917FC654B13B279F7718F496AFF95D3B889C1182 +7E071301D0830518E981DDFE61933DB947CD92AF44C5FC66CA2C8D36BB324E6E +3EF6D01AA0560E8E889306B1DF9BE71958B06BF2E4011930035BE061FA426329 +B1EBCC35DAC00AB3FA2C7056361AA80ED7207B27C3913DBBE3F936D4AF0BAC5E +13068C8C23EF281CEBD709A537B7E36E6F242E5A19A9AAF6C139651F6A732E68 +6C0D3447CD96A826B1EEC9E705AF0A8399534C2349C5C13A5798C9392163B0F9 +7F14C0506BE2C6A5BD3D6CC33F5D53F0AFB87C5B115BA7DCF2601E0E836C4F01 +9450F3BDEC4A5C6A2CC1E5B5069FBE72B7C8D3A7F258EA6049D7A754355D2EB2 +7A86D4D5C414EE4E75951B8F890E8A63D98B8FB789B3A10A7511D5C907C109FE +E894652445AAAF8DDC279821DD630CBFC9156833B269911E64B528B75C28B7AB +DCA2ABFBC86F52CFD5D271A16876C119B258971720D7978121E33CB24E40307D +54D7AD1E8AB0DC14DBD0C3500B3EA7C376E6D4D710AEF97D1F6F9C912FC963B7 +90805FB7FB7285D5C67A1048510A625F2F35F71850F9B2B96ED91DF2473D05E4 +32639D1540C894E090108D373EE6EEC0F7E74BADB1CAF3F95E84C7C55FCBA2A5 +2BDC3DB010C5A6CF486AB6E98130ECFBF0C41D79E3FD5792A6351EA025D92C97 +583A8FE6846C88495F132C604D8670880CCB68BB15AD14E1C39C2BFE34829677 +5E3D118546587EF4300909CCADB6657C3B6B88B335B0B26FB1A48137EC8E246B +80A3500803FF5100317002FA5484141AB17AEF28EC9083CBF599B0B1E44C472F +F8861B11C3E4C71A18D4FC2329834CEC901E4E335F02799536745B672CBBBB29 +6EDE5CF71D50B8D21A2A9FA0026766078C0534792FCD6ACCDFC0DAA81F9DC98B +725BEEAF76292BD8A60DF71FD8E2982C55DAF2FD904DF9E2D541A3C9B6CFF9F1 +D95B1346C77083E64743C83B1B6AF15D84AF193DA66FD4E2F6E7D3508405410E +EB0018656688056AA00B7C670BD1734B7B449CFDC3A1CB1CD3264F302927EC18 +8CB55D56AB8C60CF001E3952CD6E0F98D64C07D7AFF8D9F5931DDBBD7A35273C +7EB442BE285723C8F18100D0C944B093431A3100C8664188AD52268993F894E4 +529D8F762F6B50F6C740D00BD3710DE73303A380268599F28D36C8987A87FF11 +B0ED55265FE1D528E6C5D37CE1645E40E5AA1270EE27B953A63281C7934390F3 +39E5826F54D40C7978E64A2E65AB6981D8EF2BD313D8D75DC1F4504910240EA7 +72775620615DC8B963EA1F948185ADCD0B646988FD17262F0F684713CE04BE90 +F088891A90A6B1267A27AAC7D9C4E9184D47CE80309C6684B529854C7B401075 +0724E4E4505D173449695788F16E134B7DC38EEBF3D4C3C9ADC124006269C579 +2B0977319691F05612DA4327EE14F13FE81D061533FF996776EE517A6C68B81C +5D837C790B48D5E1F30FC5CA0E70435F600B79987D0E4CBC8FB88513EAAF9161 +428E43DB45C4C821BA0E1C0BF6C147D582590BB6B60D7E973B2C7B0EB9352A96 +48D659764CB9ED4D4A11FC817A6755AD6D8839CE83602E44A3C8CA4A892F30C1 +1D92AC26DE98C53C6F4A27952E1F8504CBA3F90784D5CC3BAAEC563A4FFB4CF2 +694C013FA46F01A4E0FA9A585A4C0BFFAFA0F554E427940138E6AD2C2907DCDA +8E4A3B0957B5AB38C412194D234CD4398972713267A8AD1288B072507F2C5850 +AA7B271C9187533F1A312385017C397394E86925834992282388B0571ECDD670 +E0BF56EC51370A589FD56D6AAC3EA899D29CD66304F0C3ED2081F7342CB1B988 +7320795ED425A8067BE05285DDF143627F3741B35BAF5C980AEC5AD5C89C2EE1 +54D1C2FB45EBE486705FEFA376E69A39E60AD05396232DE74C1166097585A9A9 +41C81EA501104546FEC19153A2C7218F0CB80AE216091AB57DBDD9EB05D3A48A +791A76A5FFDE2C5F34E16AF748A3FE7D6A6F7F38E44C7F48FDE76E63EB935759 +52E0A49DD33F1BC399E2A3B944A435DC8B88488F1406D031A3F592EA7DF4BBA9 +FF16190075A9C930D8AD5CF8EBD808D3B05D71719412ECE06DF4912F7FBC8809 +E9A4C82A5DD2C23D8FB166FD4322B10527CA2C79249D7EFDECABFB9E50F36B7F +EF3A8D35FB6B180DF0D074C7F093EDF216E857548B7CE0179F9F22872548F8CF +84B88698CE9A161A1ECEA32B12B702AE64F90005AC02303BE8334BDE9AEE7236 +DA4C88CF199DDD14D7F324CADCA3CD4467B6E28E6BB3BC8EA0F0715EA5ED967B +06A934F89923B6507FC5BA90D19C57132C52C8B7324F16FCE1A8C7CF9DA1AEB7 +302C6A73724B3B59E5F693CAB207FE23C292B9685143DF8531BDF30CED8406AC +B5E36672DE716E30A413EF08C6D76A3CCB679E8F977BC30CC0B19FD0C3B6BC2D +277499FC9699C62C37DB417ACD538473623270AA486E840A0ADB6B47188CF88A +EE9758D31964B8C0823DAF6E3DC360C4E02F8A2BD93E2F64742B07B8A4819E5F +C5754C48F3B83826AB9CE57EFCB6837DD3657DDE90BB22C20F18744B2F8857CF +5FA4B6E5A272348C893E771FF03CA2B3233D59DC615ED85B7A9CC85D78AB9490 +633664C2A3B1AD0C5D3EE1A09F9062AE2AEEDA4D0D343383383DFCA19B276FFD +F3395B7D1E08301EAB6CDFBFF60E2A6C81E5D4931EB7D04934F8F77E51CF6502 +9CEFA64C83192B5C1D8F4CAE83FFAAEB6F3F47ABF2C516CEC04C2A0FC35B7AD7 +48B8F84DEFF2EDA8557E6E6699429ABDF72B1B0192544A6C2DC6905A2898994D +5A3C6F4C7036565F4C71478C958561A73C12D9E77ECAAD8FA048B76186A3314B +7D8784783CF45A019E4D978AAD452D4FFD89600E698217CD086615AFEF32D6E3 +5CC33046D87E5B5F27EC8ED2D635141D7D2A9FE5ED1F66ED06BE78EA98CD85E7 +1E9BF9D42A7DE351AADCA1F0F464228F46712CF7EDC4708E330576936F0D6F2D +389C5D9AD9C8A649B65B014E292ED89FC4F53CCFD049C7D5DA4C0A781E8C34E9 +BE084FEB30C2EC16DF7A0F53E9E0614A08D709805AD55EC993B9DA832DFF4871 +7C7899321AD6BB97004B59F68CE7DBBAAED7773CE416CFB3A647B5EC7FD3E651 +2A32034603E439A9378DF38919FAD04A8204BF7338EB33CF7B6B8F47428045BD +4E31E1BA0E0DB41AA4845333B8E49E867E13B408D1E317302D32B5473B4129CC +A06837C7CF7F40856A57D217BB7412E549403B9B5C03CF1BC1A1B89FF63C1BE3 +30B0E2EBAFFDAE5E79086AA9F95F73998A3B088D006D03C532BC4D38650DA80A +103500CF7D4E0CFC4347230331F334713C4983EEA136E67B23D4DD40C1A75C66 +0DAE934863E4617FB1C928761B957F0D47B36250F111DDFE7CE09081EEE49C9D +526886742C01702E5B128F9C85B4344806B64B1E9D98AD3D2166F387FC85B145 +4E7EF3C43466914E491FD7AFBA67A476451857399AB94DACC632E4CDEF12F4BF +D529EE42815D1EE3C96455E052EBCE217D4627B3686CF89A7EC93F6FB1C7C393 +C73E5316E443B515C87E94107330D62902AFD45099CC5F4DA5592EABE94012CC +B064AA28EE0557A77C83F9CA01EDCFF708DBF37BDDADF007074B704B8979498F +7092E05793D17606D35C1F3A3003218116CEB5F0D1D2804D7D4A751FDD4D7DE4 +9A02C624C11D9E464D6448C30BD0A0A8F0A5EAC199A94FF0C0CD17A186172278 +64993AA4063F3A79B5D6CADBF247ACA969D7BA6C1CA46632F21FB8A5F881A3F6 +70D325D3EF007A7B3FE9F823F0CB515BF61AB0AFF9A2306C8720382FBE80C679 +5A8326E4DE0E9230E4C12909685DA70D7BD59A3A4BFF695010B18263F1897495 +AEB969B8B04D0C1B988F0F5176AA65830BE27D3F66EF0F8194D30779DD88A847 +91F5C41ED9E704CE157317CB9E604BC728C43B1445DDFB4BB38F96ED7978F8C4 +39A8A6027533F7D606FD95651E5F66FA635ADB795575FA561AC089A3F8A1809E +FAA6FE36513927B0651F23FED09FFB86E653EBABDCAE93C779F8406F90341ACD +857A74D8825B4E6A9BF06B021FBCA9B398BAE758CC8BDB511CD330E952C7E5F4 +39C8D2D6A9D9B7ACBEF30A0296B006736D262536888295FF0AD57962E774D878 +F0C7A7D4C22556D51A79411C6B89554D14F1E83485DDEFD8310CAFD454FFF919 +39EDAB6A835006AEB21AD49A185B0945602037851528E18094D3599468DA2AF9 +CC207BBCAF7CA4A7366A2EE317EE8E4E7ABD45FB06232D8283173506C822185C +C98D1261052A96FBDF3CBF6A662220EA0358873190DB89520287A6280334DD8E +4B2D972BE7AD9950A6744117081FD4F19791D6C535E09D935F59191412FAEFA5 +753E95287D738A684327921B39154C255152D6F892C493352CC7094608FDE19A +E5095912220E4B9CEB2E0EDF10494685D3308A852F73CD453FB5917EE6127587 +F44A52D3BAD8DDC2C5EEDE697451720072A77AD2D147F1F8A4AEC8A02A0949B6 +C9089D32A367A0B0F80A9648CF603F86CC3EA3DD1C1B79D171469CFD059B2583 +1A82DB2C0AE9033A3412EB52EB6CBE113257AB395B6375A2E7BA09C9674462C8 +B358FDF36D11AD0012A6FEFC5F27D280A68E1C340AFAA578176163EA7513D3AA +E275AB09F86EB398776A4DD8A633F9CD8B9A7DE0589B10A45BF4B8642F4A18BE +94059F8342C2029C9CF2CE7BEA0D20B02EBCF70C729931D8F022D22F106AC35D +93F19F8F5372C2267275AC1F56F30EA29C4E3DD7D1805C61E350CC0F8F059A94 +654E90A62C197E857C497DA226E4D44DBAFA5512B4D1A7534A3FAC2A9FE13F8F +9FAEC621672CFB2408A58CEC47F651B9675C852273030128197F2870FF3A941A +45D1C16E03133672EE44149B48B6C9983427EEFD8B588EBE9869EB93A04B7B33 +92D79649A050F7308B71A328BD7B8938DC919FC785E20636B934A6EF891E3113 +3DDEC6FF489C50709C64A8297AE742EFC5D1ABF5B3737A625772E747721784A1 +BB02160E206B5F3F07B6742B3DD7EDE12F55DA1DB35E48DFDE97DF654879C092 +70B5F43EBFE169FFAB41D76525E0799504C7AFE26A9E1AC23C7A16279A0791B6 +B6D0EBBAB2B01AC2A6F23A4472BBD1B79082DB8184923E31F3751B7763ACAE1A +F0A20E2D3E4D1389C63E +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +cleartomark +%%EndFont +%%BeginFont: CMBSY10 +%!PS-AdobeFont-1.1: CMBSY10 1.00 +%%CreationDate: 1992 Jul 23 21:21:18 +% Copyright (C) 1997 American Mathematical Society. All Rights Reserved. +11 dict begin +/FontInfo 7 dict dup begin +/version (1.00) readonly def +/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def +/FullName (CMBSY10) readonly def +/FamilyName (Computer Modern) readonly def +/Weight (Bold) readonly def +/ItalicAngle -14.035 def +/isFixedPitch false def +end readonly def +/FontName /CMBSY10 def +/PaintType 0 def +/FontType 1 def +/FontMatrix [0.001 0 0 0.001 0 0] readonly def +/Encoding 256 array +0 1 255 {1 index exch /.notdef put} for +dup 1 /periodcentered put +dup 18 /reflexsubset put +dup 33 /arrowright put +dup 41 /arrowdblright put +dup 48 /prime put +dup 50 /element put +dup 54 /negationslash put +dup 56 /universal put +dup 57 /existential put +dup 94 /logicaland put +dup 102 /braceleft put +dup 103 /braceright put +dup 106 /bar put +readonly def +/FontBBox{-27 -940 1332 825}readonly def +currentdict end +currentfile eexec +D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 +016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 +9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F +D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 +469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 +2BDBF16FBC7512FAA308A093FE5CF17EFB0FFE6C69FEBA8389DCC1923D30683D +A8CD93F7195D5A07BA2F18CB3FD5FFEDA4D83BF758062134D84AC0100187A6CD +1F80F5DC15B47D73F69655445AD218A8AD78C16EF96F385C9E2D46F8A330C7B5 +A859EB0610C78FC5CE39715A1C5458D30498C0A339504A74C7E8F84B3DEC1516 +B3ABAA0A06DEDCD5F9FEAA5AC4AE8D5A5BA5EC0B64784454F58049E13467D705 +8F13A22BDED5F93EDDCAB7A1886A5168D25B120F8BBCC23546BC7398D4E3EC17 +138921404C390EB84C3CC243C0FF3DEC9EBFFF3DEA73365F1E4BC2F3AB911B2F +780946F4F6F49935A54EF955D9894FEB37239C896CF98240162F6A6E9677EA24 +06BEE1F04463C033047F7F972C560213C7A02BFEE5AE5AE5BF72377CED942A6D +8059E59CF03CD6782BD34BC02AA4FD1BA25A5CBE32569D7FED28EFB4C0F5F7C8 +6DADC1A047CB514E19B36A84D4DB390FFE5B841C390666FE27C712E23E22FC84 +A8670626E8B72700B9EE9F06F2121264C1CF69FEEC3E20897D0D9057032830FE +A18A4BA2AD5CE10EE4FED4BB9E2A9C06965779827D7CBA93926793A7161454E3 +C5AC6A3AAEB75EC64556142508DE6E37B71058F8B97C1A9B4CEBF74FBD2D6D84 +F5DAA2B04AD30B313070B33789935E83DB470FAB8EC65165679F247964BD0C20 +78291B6E13C29E8B86429C1B90C396729D6BDE4CCF24BE000390D798DA73BBEC +AC5C9B1AC19B2C660CF1CDEC05289F6CAEF0E43465E3627DE26670BAA825429B +4B8FE57928267D5EBE38C5BF93F90304EB89DE120F81362FB5A3D374AB25B33C +D03A8E9E176E41C964625E58A65EA958EF2B089933C06B71E29249A96D5A2395 +DE687A0C60B837B5657871EEF024B02BF593BD5BB1DC7ACCA580736A4BEB8421 +D5484C7E8ECC81EF42E000EFB27757E92E90B41B1E52C21FDCE9A494B6D1F753 +66D2F5A2971554A00ADB2D45843A21DDBA330D2590BED94C4CEEDD2DC2B4D200 +5AD73F602D863CE049A154CA09A681568A904894C8F25DBFA634F3FF198246B0 +4EE197A4513ECCA5F8A6D5ADF98957A919122677848597DAFCC3252E7F1A0B04 +A232040570A51E734D9E21FA61BAA47CF92AD29E1EB37F9ED66B858D91D924F3 +D2A4F872F5B55630A491A903F962D3D471B8939E3F26A75218498C7AA1773745 +129134B4E9C5D9E269ADED657C65E0C5E774488CE15B47072CE913607A193F2F +2DA90088D1057C8B94D2E3B15A6385006594B95B53BCA173C5AA4816F91E8F34 +01A7CBA4D1054103D82429B595F2DEF3C240D34B21312AA5A67CE4E7601D82E0 +9B578959A057FB87E13EDDA1C024290D32021BDDAAE78D09DADA09A8869189A1 +5C9EB6E0D1EDEA634BDEB295A53F730D02D3B5E50DAD8C47FA0FBC62C921594C +BEF8845C2B2943D3F1DD2FC6017739C6BE8FF0BA23C867DFBB08496FEFFC67E2 +A47641C1E0B50B56EC3AB21C674B6C501947DBD51DFB59914CF7B967199B8F46 +A1F6C0BAC065DF807954F61A7313DD2EF83F66F4BA3A2BBB782B17670A615455 +CE59933F092B494E299ED45FCF10A7AB362BED124FBB0304F5E0B2F6F5250F26 +CEBC60F47E779825FA7658C80EC33EB83DD0789C65747BFEFBD78A5A555907ED +0FB2571319CCC5055F46EC27EADE629D7496AA6C619AA9FB739A50C4543768B9 +759CECEDB273DA12824857ABB1D11B69EC940FF76CC6B73E50FDAA335067A6C5 +3448DF3C9EC737339EFB6F56C37CB45B8F34CE8EB9D72044B6B7B3D48A32EA98 +5D6A079E22ADC79BF27F0B865A956AE9F26B59C62DACA688475DC53DFD88D36B +E8B62A1760541ED66F99DAB96BA7EB7DEBE39674F2909430AA04CE10CB7246EE +D06AB47A4915D88461DF276C0A2BD982FABD4EB156DACB7C254E40DD268E5317 +26A9084637308831DDDF8AD6EE2F650583ED234938C73F7AC4069B76DF57C463 +CB79C400972A2DAF712F696EBB8378AB9C6DF254B925785A41487790BE232B11 +87CF82C0093A2E88E46F52E77D462567DDA6E8F5C699D5417685D2F848B30B75 +06705355CEDEE50B50C70850ED0F24061604DD053487EF4624C53B04D4DEA60C +EFA6CB05FF753DAC0314B161890BAAE773D3F6DE4FC40E6665419D58244AB9DC +A9B4A40E750D45C16B27EE9299C57EF1CAF36215318110253DED5BD186C6C4E7 +7C6EC529F01A51B4AE0EF1554BDC686C557D245F755431204889E0873962571D +C6301B5839D81BD2DBD61D25A883F8719593537546F7BFA3A5ACB3DAE43FB061 +B1CC72625192C320BF373CDE7DC8852D5ECC0BFD477DCB107426718CABE4108D +B0F53899A07D3CFA109D5FD4476456059C04E4B875FBE626031C9F93AE7C6123 +32453ADA2B5874CDA0C9F5C447C1B2BAD5A055A2123A0FD6EC5B8BDE09E580A7 +454A856208E72CD33CCA6B3802CCD86E8EC79BBF3E12FFE7141589CC897EECC9 +48C1BD1FDAC55D51D1410C926C4E9D62952426E1236E7936367D5207186E4E94 +BF92F8A7D9010E11427800199FE20DFF0413C7E0787807EC9B187047BF9CCB30 +95F68B4C98683E8FA4A77662B6F473CA4444E3275DB1D459172920B3CB030A08 +AC5334201F493CABFD29DD533A6704F2073D2FFEAB9466AE51ECDED185330776 +0CB544543B8E9CCDA247A83E71C16DDA78EA7EAAE211EF90A41A581F74E55777 +8FBA723D4E2B5A41E6370EFB26E5A2583CFF496535F09799FE2F6134D3B81BF3 +7E55A6E580D50A26EBF68578B23F92025A6850F2BE40E70C56E6CD19243727F2 +9C5F8ACE7C789CE3AA044643EDC4D8163ABD2DDA3569C122535B70E04A22F182 +31667D409F1018DB158D6F0B0E427DCD12D282B00D5C12D605DE3980290DC9BA +F6C33B84A4B34900743ADB3BFFE50485F4A2B78F1ED422B0F7BE5EA84C60A42E +2A67D9D69A1CEDCAC3C455AED4FC34AF5DFCAE856D8FE0D280B21A09B41F973D +2A4FF09F7C6708DD698730F54292A260CE257E861BDD1DBEB556CD6C688E0525 +AA8F7021F4FA6F65854DCB26B7824B7A6141E8BC3EA7B045DDF47AF1DBB3F229 +FE696519B829AC115F04ECF06AAB0D4E84C8A08C899F754785561635967E8A2F +DE5982EF65096F9657FE6D3C4118A72DE33425B2ACFE0953235B1AD53A1F816B +5ABA93AC0A1B6788D63B98BB5F17DA4A011D534CC5EDB6546354BB6A67F99BF3 +EFD19B3D3071C0D2ECB3A3C5F3910A4E6398533D3797484CEAE71AE727D57119 +A0B6693B016A47E70061EF57EA938202096BFA43AC8AB88173525050DDF7029A +BB9301D76F544E657762DFD94D6BAB7BA33526875CEB598893D020BD8C758376 +6E314C73C9DC6D35F92D8DD1824BF4594EE447BDF1E44D768B8C9231D817339C +7D64E5E1F94266A0B04F932C9AD22B7EBF2DF9EE5A4396D5A05A7BD15731E6B4 +6958154A28B3E9EC6D948BD1622669AB88DA9EB2CB7EBB8CFEC017C3937C3AF2 +152DBA5E90C8F2A28E451BC8FDB14E598A962CF41B9E698C0B5BB95176 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +cleartomark +%%EndFont +%%BeginFont: CMBX10 +%!PS-AdobeFont-1.1: CMBX10 1.00B +%%CreationDate: 1992 Feb 19 19:54:06 +% Copyright (C) 1997 American Mathematical Society. All Rights Reserved. +11 dict begin +/FontInfo 7 dict dup begin +/version (1.00B) readonly def +/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def +/FullName (CMBX10) readonly def +/FamilyName (Computer Modern) readonly def +/Weight (Bold) readonly def +/ItalicAngle 0 def +/isFixedPitch false def +end readonly def +/FontName /CMBX10 def +/PaintType 0 def +/FontType 1 def +/FontMatrix [0.001 0 0 0.001 0 0] readonly def +/Encoding 256 array +0 1 255 {1 index exch /.notdef put} for +dup 49 /one put +dup 50 /two put +readonly def +/FontBBox{-301 -250 1164 946}readonly def +currentdict end +currentfile eexec +D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 +016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 +9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F +D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 +469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 +2BDBF16FBC7512FAA308A093FE5F00F963068B8B731A88D7740B0DDAED1B3F82 +7DB9DFB4372D3935C286E39EE7AC9FB6A9B5CE4D2FAE1BC0E55AE02BFC464378 +77B9F65C23E3BAB41EFAE344DDC9AB1B3CCBC0618290D83DC756F9D5BEFECB18 +2DB0E39997F264D408BD076F65A50E7E94C9C88D849AB2E92005CFA316ACCD91 +FF524AAD7262B10351C50EBAD08FB4CD55D2E369F6E836C82C591606E1E5C73F +DE3FA3CAD272C67C6CBF43B66FE4B8677DAFEEA19288428D07FEB1F4001BAA68 +7AAD6DDBE432714E799CFA49D8A1A128F32E8B280524BC8041F1E64ECE4053C4 +9F0AEC699A75B827002E9F95826DB3F643338F858011008E338A899020962176 +CF66A62E3AEF046D91C88C87DEB03CE6CCDF4FB651990F0E86D17409F121773D +6877DF0085DFB269A3C07AA6660419BD0F0EF3C53DA2318BA1860AB34E28BAC6 +E82DDB1C43E5203AC9DF9277098F2E42C0F7BD03C6D90B629DE97730245B8E8E +8903B9225098079C55A37E4E59AE2A9E36B6349FA2C09BB1F5F4433E4EEFC75E +3F9830EB085E7E6FBE2666AC5A398C2DF228062ACF9FCA5656390A15837C4A99 +EC3740D873CFEF2E248B44CA134693A782594DD0692B4DBF1F16C4CDECA692C4 +0E44FDBEF704101118BC53575BF22731E7F7717934AD715AC33B5D3679B784C9 +4046E6CD3C0AD80ED1F65626B14E33CFDA6EB2825DC444FA620E40822E15C2AB +8BF88EF4FF68D9C81564F0AC5495C426E3ED091CF4AEAD7696C3B00A0D6FB6CE +60547AD516EC9CC7B904D6617F81D2AC5086C30E40057B3C8854C4893D3B1D82 +2D61C4414046FFBFDCD7AD22EE19016B50905C92287F9946F2DBA4CB1B18E118 +FD01CB5EB39E77C77A4BE276258F7EF35269272729704F2A26BDE6159D0570E8 +665CC6C2582807B75C4D1EB2BA83D2A6840E8E9F14C80C79B985F51DD166E4F3 +2DA88C7E38EE325B8D134A2C9694C64ACEB6033AD6EB6D10BA76AE0BE567B30C +CB62E49A5436B0921B9BF1E24C400823ED4AA5144221E3E8B498433E2F28399C +705D3D9A988C4A363E868CFE55A56696D005274224366F70081F99A5FB3F2514 +456D1EDE546A1340FEC3E14303A89843CDC6DCC0829725693DA0BD191E8B95BB +BDEF9B671AE30B197B890178D89665A0C0CC90BF5BA7CD345E9F6ED4D0989B32 +BB9E9FA107609833337DDCE05154803D9F39B788155EC34E4A4C252D3430EC8A +F0C5D6D3AB6D65B2CB9BD42A6B7CF7CD8A1156BBFE2115BA3FB329D309D03902 +98FFCFE14B907BBB85F87910ABB095A50C704E9A50D3D203BDDB4D483303A577 +80E3565F8BA025D8DD6A7DB3ABD5939D5422628C7CC60696EF29A6C599976F78 +3936601AE3E947FF36269D6BD9D39D111A2A90E6AC724C4357F7AAC599BE80F5 +AB11CEBB59906C060A1B10096BCC104283D13B7B8F06C2867B79E913E8D3BF88 +0183D6853BE556E2DE80F1ABC20174295CCDCA +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +cleartomark +%%EndFont +TeXDict begin 39158280 55380996 2488 600 600 (08.dvi) +@start /Fa 134[153 4[153 3[153 9[153 153 153 100[{}6 +297.444 /CMTT12 rf /Fb 140[85 12[89 102[{TeXBase1Encoding ReEncodeFont} +2 175.576 /ComicSansMS rf /Fd 192[231 63[{}1 297.444 +/MSBM10 rf /Fe 194[217 19[108 108 40[{}3 247.87 /CMBX12 +rf /Ff 135[163 2[169 1[132 2[149 13[129 157 13[172 24[79 +58[{}8 247.87 /CMMIB10 rf /Fg 149[79 2[143 143 7[190 +36[158 158 1[0 3[190 8[285 22[222 18[{}10 247.87 /CMBSY10 +rf /Fh 134[110 1[144 102 110 99 102 101 1[113 111 110 +163 58 114 1[59 122 1[107 115 124 108 125 108 12[143 +3[110 2[186 2[140 2[143 128 4[154 11[129 129 129 129 +95 2[52 1[58 2[77 77 37[139 2[{TeXBase1Encoding ReEncodeFont}38 +210.691 /ComicSansMS rf /Fj 207[71 48[{}1 206.559 /CMBSY10 +rf /Fk 254[164 1[{}1 513.918 /CMBSY10 rf /Fl 153[98 105 +113 100[{TeXBase1Encoding ReEncodeFont}3 192.256 /ComicSansMS +rf /Fn 105[39 32[46 4[47 1[46 4[25 51 2[48 1[45 21[77 +2[58 18[54 54 54 54 54 54 40 54 45 22 1[24 2[32 32 40[{ +TeXBase1Encoding ReEncodeFont}23 87.7881 /ComicSansMS +rf /Fp 107[99 99 25[131 149 173 123 131 119 123 121 1[135 +133 132 196 69 137 102 71 146 134 128 138 148 130 150 +129 12[172 175 3[202 201 1[139 2[138 194 5[159 185 5[75 +75 11[63 105 70 2[93 93 46 36[166 2[{TeXBase1Encoding ReEncodeFont}44 +252.83 /ComicSansMS rf /Fr 149[95 2[171 171 7[228 36[190 +190 1[0 3[228 8[342 7[342 14[266 18[{}11 297.444 /CMBSY10 +rf /Fs 205[119 119 49[{}2 206.559 /CMBX10 rf /Ft 140[110 +12[117 15[140 3[180 1[149 2[236 156 10[180 65[{}8 206.559 +/CMMIB10 rf /Fu 139[130 5[186 4[93 3[153 39[260 2[93 +16[130 130 4[279 22[186 12[{}10 297.444 /CMBX12 rf /Fv +135[196 2[203 124 158 157 1[179 174 2[104 3[199 1[169 +165 1[153 155 188 8[282 1[202 2[206 259 1[215 1[283 340 +225 5[205 4[259 5[95 95 36[200 1[123 7[226 11[{}29 297.444 +/CMMIB10 rf /Fw 134[257 3[286 171 200 228 1[286 257 286 +428 143 2[143 286 2[228 286 228 286 257 12[343 286 2[314 +400 2[343 2[200 400 1[314 2[371 67[{TeXBase1Encoding ReEncodeFont}26 +513.918 /Times-Bold rf end +%%EndProlog +%%BeginSetup +%%Feature: *Resolution 600dpi +TeXDict begin +%%PaperSize: A4 + end +%%EndSetup +%%Page: 1 1 +TeXDict begin 1 0 bop 0 TeXcolorgray 1 TeXcolorgray 0 +TeXcolorgray 1 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray +0 TeXcolorgray 1 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray +0 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray +0 TeXcolorgray 0.25 TeXcolorgray 0 TeXcolorgray 0.5 TeXcolorgray +0 TeXcolorgray 0.75 TeXcolorgray 0 TeXcolorgray -600 +6416 a +SDict begin [ /Page 1 /View [ /Fit ] /PageMode /UseOutlines /DOCVIEW +pdfmark end + -600 6416 a -600 6416 a +SDict begin [ /CropBox [0 0 595 890] /PAGES pdfmark end + -600 6416 a -600 6416 +a +SDict begin [ {Catalog} << /ViewerPreferences<>>> /PUT pdfmark end + -600 6416 a -600 6416 a +SDict begin H.S end + -600 6416 a -600 6416 a +SDict begin 12 H.A end + -600 +6416 a -600 6416 a +SDict begin [ /View [/XYZ H.V] /Dest (Doc-Start) cvn H.B /DEST pdfmark +end + -600 6416 a 4360 6416 a + tx@Dict begin 90 Rot end + 4360 6416 +a 4609 1909 a +SDict begin [ /Rotate 90 /PAGES pdfmark end + 4609 1909 a 4609 1909 a +SDict begin /product where{pop product(Distiller)search{pop pop pop +version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto +closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show +grestore}if}{pop}ifelse}{pop}ifelse}if end + 4609 1909 a 4609 +1909 a +SDict begin H.S end + 4609 1909 a 0 TeXcolorgray 0 TeXcolorgray 4609 +1909 a +SDict begin H.R end + 4609 1909 a 4609 1909 a +SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark +end + 4609 1909 a 4609 1909 +a +SDict begin [ {ThisPage}<> >> /PUT pdfmark end + 4609 1909 a 4609 1909 a +SDict begin [ /Title () /Subject () /Creator (LaTeX with hyperref package) +/Author () /Producer (dvips + Distiller) /Keywords () /DOCINFO pdfmark +end + 4609 1909 a 4609 1909 a +SDict begin [ /Page 1/View [ /XYZ null null null ] /Title (Structural Iteration) +/OUT pdfmark end + 4609 +1909 a Gray 5384 2027 a Fw(Structural)129 b(Iteration)p +0 TeXcolorgray Black Black Green Black Green Black OliveGreen +Black 4876 2914 a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial +Black Blue 5169 2671 202 12 v 293 w Fv(f)32 b Fu(\()p +Fv(V)19 b(AR)96 b(a)p Fu(\))g(=)f Fv(f)7273 2958 y Ft(V)13 +b(AR)7797 2914 y Fu(\()p Fv(a)p Fu(\))p Black Black Green +Black Green Black OliveGreen Black 4876 3384 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black Blue 5169 3141 V 293 w +Fv(f)32 b Fu(\()p Fv(AP)48 b(P)142 b(t)6503 3428 y Fs(1)6727 +3384 y Fv(t)6851 3428 y Fs(2)6980 3384 y Fu(\))95 b(=)g +Fv(f)7729 3428 y Ft(AP)33 b(P)8284 3384 y Fu(\()p 8414 +3141 V Fv(f)g Fu(\()p Fv(t)8870 3428 y Fs(1)8998 3384 +y Fu(\))p Fv(;)p 9280 3141 V 57 w(f)g Fu(\()p Fv(t)9736 +3428 y Fs(2)9865 3384 y Fu(\)\))p Black Black Green Black +Green Black OliveGreen Black 4876 3854 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black Blue 293 w Fv(a)95 b Fr(62)g +Fv(A)g Fr(\))p 6566 3611 V 95 w Fv(f)32 b Fu(\()p Fv(LAM)129 +b(a)95 b(t)p Fu(\))f(=)i Fv(f)9006 3898 y Ft(LAM)9611 +3854 y Fu(\()p Fv(a;)p 10082 3611 V 58 w(f)32 b Fu(\()p +Fv(t)p Fu(\)\))p Black 4623 4394 a Fp(But)76 b(from)g(this)f(we)g(get)h +(by)g(the)f(usual)i(coding-trick)4623 4687 y(the)e(structural)i +(recursion)f(principle.)p 0 TeXcolorgray 10821 5925 a + 0 setgray + +10821 5925 a 0.5 TeXcolorgray 9416 6307 a Fn(Munich,)26 +b(21.)f(June)h(2005)e(\226)i(p.1)g(\(1/1\))p 0 TeXcolorgray +4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 a eop end +%%Page: 2 2 +TeXDict begin 2 1 bop 0 TeXcolorgray 4360 6416 a + tx@Dict begin 90 Rot end + 4360 +6416 a 4609 1909 a +SDict begin /product where{pop product(Distiller)search{pop pop pop +version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto +closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show +grestore}if}{pop}ifelse}{pop}ifelse}if end + 4609 1909 a 4609 1909 a +SDict begin H.S end + 4609 1909 +a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a +SDict begin H.R end + 4609 1909 +a 4609 1909 a +SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark +end + 4609 1909 a 4609 1909 a +SDict begin [ {ThisPage}<> >> /PUT pdfmark end + 4609 1909 a 4609 +1909 a +SDict begin [ /Page 2/View [ /XYZ null null null ] /Title (Support and Supports) +/OUT pdfmark end + 4609 1909 a Gray 5119 2027 a Fw(Support)128 b(and)g(Supports)p +0 TeXcolorgray Black Black Green Black Green Black OliveGreen +Black 4876 2734 a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial +Black Blue 293 w Fv(supp)94 b(x)6273 2560 y Fl(def)6300 +2734 y Fu(=)p Black Blue 5662 3036 a Fr(f)p Fv(a)h Fu(:)g +Fv(\013)g Fr(j)g Fu(in\014nite)p Fr(f)p Fv(b)g Fr(j)g +Fu(\()p Fv(a)g(b)p Fu(\))9151 3094 y Fk(\001)9315 3036 +y Fv(x)g Fr(6)p Fu(=)h Fv(x)p Fr(gg)p Black Black Green +Black Green Black OliveGreen Black 4876 3659 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black Blue 293 w Fv(a)f Fu(#)g +Fv(x)6117 3485 y Fl(def)6144 3659 y Fu(=)123 b Fv(a)96 +b Fr(62)f Fv(supp)p Fu(\()p Fv(x)p Fu(\))p Black Black +Green Black Green Black OliveGreen Black 4876 4216 a +@beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black Blue 293 +w Fv(X)117 b(suppor)10 b(ts)94 b(x)7295 4042 y Fl(def)7323 +4216 y Fu(=)p Black Blue 6932 4518 a Fr(8)p Fv(a;)57 +b(b)95 b Fr(62)g Fv(X)t(:)190 b Fu(\()p Fv(a)95 b(b)p +Fu(\))9304 4576 y Fk(\001)9469 4518 y Fv(x)g Fu(=)g Fv(x)p +Black 0 TeXcolorgray 10821 5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray +9402 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.2)g(\(1/1\))p +0 TeXcolorgray 4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 a eop end +%%Page: 3 3 +TeXDict begin 3 2 bop 0 TeXcolorgray 4360 6416 a + tx@Dict begin 90 Rot end + 4360 +6416 a 4609 1909 a +SDict begin /product where{pop product(Distiller)search{pop pop pop +version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto +closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show +grestore}if}{pop}ifelse}{pop}ifelse}if end + 4609 1909 a 4609 1909 a +SDict begin H.S end + 4609 1909 +a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a +SDict begin H.R end + 4609 1909 +a 4609 1909 a +SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark +end + 4609 1909 a 4609 1909 a +SDict begin [ {ThisPage}<> >> /PUT pdfmark end + 4609 1909 a 4609 +1909 a +SDict begin [ /Page 3/View [ /XYZ null null null ] /Title (Properties) +/OUT pdfmark end + 4609 1909 a Gray 6424 2027 a Fw(Pr)-9 b(operties)p +0 TeXcolorgray Black Black Green Black Green Black OliveGreen +Black 4876 2605 a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial +Black Blue 293 w Fu(\()p Fv(supp)94 b(x)p Fu(\))h Fv(suppor)10 +b(ts)93 b(x)p Black Fp(,)75 b(because)p Blue 5518 3161 +a Fv(a)95 b Fu(#)g Fv(x)171 b Fr(^)g Fv(b)95 b Fu(#)g +Fv(x)190 b Fr(\))g Fu(\()p Fv(a)58 b(b)p Fu(\))9144 3220 +y Fk(\001)9308 3161 y Fv(x)95 b Fu(=)g Fv(x)p Black Black +Green Black Green Black OliveGreen Black 4876 3699 a +@beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black 293 w Fp(If)p +Blue 75 w Fv(S)111 b(suppor)10 b(ts)94 b(x)p Black 75 +w Fp(and)p Blue 76 w Fv(S)p Black 92 w Fp(is)75 b(a)g(\002nite)h(set,) +5169 3978 y(then)p Blue 6860 4284 a Fu(\()p Fv(supp)95 +b(x)p Fu(\))g Fr(\022)g Fv(S)p Black Black Green Black +Green Black OliveGreen Black 4876 4719 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black 293 w Fp(If)p Blue 75 +w Fv(S)111 b(suppor)10 b(ts)94 b(x)p Black Fp(,)p Blue +75 w Fv(S)p Black 91 w Fp(is)75 b(a)h(\002nite)g(set)g(and)p +Blue 4875 5274 a Fr(8)p Fv(S)5287 5151 y Fj(0)5368 5274 +y Fv(:)95 b Fu(\()p Fp(\002nite)h Fv(S)6632 5151 y Fj(0)6790 +5274 y Fr(^)76 b Fv(S)7316 5151 y Fj(0)7492 5274 y Fv(suppor)10 +b(ts)94 b(x)p Fu(\))h Fr(\))g Fv(S)111 b Fr(\022)95 b +Fv(S)10686 5151 y Fj(0)p Black 5169 5811 a Fp(then)p +Blue 75 w Fv(S)111 b Fu(=)96 b Fv(supp)e(x)p Black Fp(.)f(\(By)76 +b(\002rst)g(two)f(props.\))p 0 TeXcolorgray 10821 5925 +a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray 9388 6307 a Fn(Munich,)26 +b(21.)f(June)h(2005)e(\226)i(p.3)g(\(1/3\))p 0 TeXcolorgray +4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 a eop end +%%Page: 3 4 +TeXDict begin 3 3 bop 0 TeXcolorgray 4360 6416 a + tx@Dict begin 90 Rot end + 4360 +6416 a 4609 1909 a +SDict begin /product where{pop product(Distiller)search{pop pop pop +version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto +closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show +grestore}if}{pop}ifelse}{pop}ifelse}if end + 4609 1909 a 4609 1909 a +SDict begin H.S end + 4609 1909 +a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a +SDict begin H.R end + 4609 1909 +a 4609 1909 a +SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark +end + 4609 1909 a 4609 1909 a +SDict begin [ {ThisPage}<> >> /PUT pdfmark end + 4609 1909 a Gray +6424 2027 a Fw(Pr)-9 b(operties)p 0 TeXcolorgray Black +Black Green Black Green Black OliveGreen Black 4876 2605 +a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black Blue 293 +w Fu(\()p Fv(supp)94 b(x)p Fu(\))h Fv(suppor)10 b(ts)93 +b(x)p Black Fp(,)75 b(because)p Blue 5518 3161 a Fv(a)95 +b Fu(#)g Fv(x)171 b Fr(^)g Fv(b)95 b Fu(#)g Fv(x)190 +b Fr(\))g Fu(\()p Fv(a)58 b(b)p Fu(\))9144 3220 y Fk(\001)9308 +3161 y Fv(x)95 b Fu(=)g Fv(x)p Black Black Green Black +Green Black OliveGreen Black 4876 3699 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black 293 w Fp(If)p Blue 75 +w Fv(S)111 b(suppor)10 b(ts)94 b(x)p Black 75 w Fp(and)p +Blue 76 w Fv(S)p Black 92 w Fp(is)75 b(a)g(\002nite)h(set,)5169 +3978 y(then)p Blue 6860 4284 a Fu(\()p Fv(supp)95 b(x)p +Fu(\))g Fr(\022)g Fv(S)p Black Black Green Black Green +Black OliveGreen Black 4876 4719 a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + + +@endspecial Black 293 w Fp(If)p Blue 75 w Fv(S)111 b(suppor)10 +b(ts)94 b(x)p Black Fp(,)p Blue 75 w Fv(S)p Black 91 +w Fp(is)75 b(a)h(\002nite)g(set)g(and)p Blue 4875 5274 +a Fr(8)p Fv(S)5287 5151 y Fj(0)5368 5274 y Fv(:)95 b +Fu(\()p Fp(\002nite)h Fv(S)6632 5151 y Fj(0)6790 5274 +y Fr(^)76 b Fv(S)7316 5151 y Fj(0)7492 5274 y Fv(suppor)10 +b(ts)94 b(x)p Fu(\))h Fr(\))g Fv(S)111 b Fr(\022)95 b +Fv(S)10686 5151 y Fj(0)p Black 5169 5811 a Fp(then)p +Blue 75 w Fv(S)111 b Fu(=)96 b Fv(supp)e(x)p Black Fp(.)f(\(By)76 +b(\002rst)g(two)f(props.\))p Red Black 1 1 0.8 TeXcolorrgb +Black 6793 5409 a @beginspecial @setspecial + tx@Dict begin STP newpath 0.8 SLW TeXDict begin Red end 0.15 true +3.8 neg 38.80475 neg 191.58836 46.00473 .5 Frame gsave 1 1 0.8 setrgbcolor +fill grestore gsave 0.8 SLW TeXDict begin Red end 0 setlinecap stroke + grestore end + +@endspecial +-705 x Fh(Assume)64 b(the)f(contrary,)f(then)6934 4973 +y(\(1\))p Blue 134 w Fg(9)p Ff(a:)80 b(a)f Fg(2)g Fe(\()p +Ff(supp)g(x)p Fe(\))64 b Fg(^)g Ff(a)79 b Fg(62)g Ff(S)p +Black 6917 5242 a Fh(\(2\))p Blue 117 w Fg(8)p Ff(b)h +Fg(62)f Ff(S)171 b Fg(\))159 b Fe(\()p Ff(a)48 b(b)p +Fe(\))9290 5301 y Fk(\001)9454 5242 y Ff(x)80 b Fe(=)f +Ff(x)p Black 6917 5512 a Fh(\(3\))p Blue 117 w Fg(f)p +Ff(b)g Fg(j)158 b Fe(\()p Ff(a)48 b(b)p Fe(\))8455 5571 +y Fk(\001)8620 5512 y Ff(x)80 b Fg(6)p Fe(=)f Ff(x)p +Fg(g)158 b(\022)g Ff(S)p Black 6917 5781 a Fh(\(4\))p +Blue 117 w(\002nite)80 b Fg(f)p Ff(b)e Fg(j)159 b Fe(\()p +Ff(a)48 b(b)p Fe(\))9057 5840 y Fk(\001)9221 5781 y Ff(x)80 +b Fg(6)p Fe(=)f Ff(x)p Fg(g)p Black 6917 6051 a Fh(\(5\))p +Blue 117 w Ff(a)g Fg(62)g Fe(\()p Ff(supp)g(x)p Fe(\))p +Black 0 TeXcolorgray 10821 5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray +9374 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.3)g(\(2/3\))p +0 TeXcolorgray 4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 a eop end +%%Page: 3 5 +TeXDict begin 3 4 bop 0 TeXcolorgray 4360 6416 a + tx@Dict begin 90 Rot end + 4360 +6416 a 4609 1909 a +SDict begin /product where{pop product(Distiller)search{pop pop pop +version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto +closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show +grestore}if}{pop}ifelse}{pop}ifelse}if end + 4609 1909 a 4609 1909 a +SDict begin H.S end + 4609 1909 +a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a +SDict begin H.R end + 4609 1909 +a 4609 1909 a +SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark +end + 4609 1909 a 4609 1909 a +SDict begin [ {ThisPage}<> >> /PUT pdfmark end + 4609 1909 a Gray +6424 2027 a Fw(Pr)-9 b(operties)p 0 TeXcolorgray Black +Black Green Black Green Black OliveGreen Black 4876 2605 +a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black Blue 293 +w Fu(\()p Fv(supp)94 b(x)p Fu(\))h Fv(suppor)10 b(ts)93 +b(x)p Black Fp(,)75 b(because)p Blue 5518 3161 a Fv(a)95 +b Fu(#)g Fv(x)171 b Fr(^)g Fv(b)95 b Fu(#)g Fv(x)190 +b Fr(\))g Fu(\()p Fv(a)58 b(b)p Fu(\))9144 3220 y Fk(\001)9308 +3161 y Fv(x)95 b Fu(=)g Fv(x)p Black Black Green Black +Green Black OliveGreen Black 4876 3699 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black 293 w Fp(If)p Blue 75 +w Fv(S)111 b(suppor)10 b(ts)94 b(x)p Black 75 w Fp(and)p +Blue 76 w Fv(S)p Black 92 w Fp(is)75 b(a)g(\002nite)h(set,)5169 +3978 y(then)p Blue 6860 4284 a Fu(\()p Fv(supp)95 b(x)p +Fu(\))g Fr(\022)g Fv(S)p Black Black Green Black Green +Black OliveGreen Black 4876 4719 a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + + +@endspecial Black 293 w Fp(If)p Blue 75 w Fv(S)111 b(suppor)10 +b(ts)94 b(x)p Black Fp(,)p Blue 75 w Fv(S)p Black 91 +w Fp(is)75 b(a)h(\002nite)g(set)g(and)p Blue 4875 5274 +a Fr(8)p Fv(S)5287 5151 y Fj(0)5368 5274 y Fv(:)95 b +Fu(\()p Fp(\002nite)h Fv(S)6632 5151 y Fj(0)6790 5274 +y Fr(^)76 b Fv(S)7316 5151 y Fj(0)7492 5274 y Fv(suppor)10 +b(ts)94 b(x)p Fu(\))h Fr(\))g Fv(S)111 b Fr(\022)95 b +Fv(S)10686 5151 y Fj(0)p Black 5169 5811 a Fp(then)p +Blue 75 w Fv(S)111 b Fu(=)96 b Fv(supp)e(x)p Black Fp(.)f(\(By)76 +b(\002rst)g(two)f(props.\))p 0 TeXcolorgray 10821 5925 +a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray 9374 6307 a Fn(Munich,)26 +b(21.)f(June)h(2005)e(\226)i(p.3)g(\(3/3\))p 0 TeXcolorgray +4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 a eop end +%%Page: 4 6 +TeXDict begin 4 5 bop 0 TeXcolorgray 4360 6416 a + tx@Dict begin 90 Rot end + 4360 +6416 a 4609 1909 a +SDict begin /product where{pop product(Distiller)search{pop pop pop +version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto +closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show +grestore}if}{pop}ifelse}{pop}ifelse}if end + 4609 1909 a 4609 1909 a +SDict begin H.S end + 4609 1909 +a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a +SDict begin H.R end + 4609 1909 +a 4609 1909 a +SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark +end + 4609 1909 a 4609 1909 a +SDict begin [ {ThisPage}<> >> /PUT pdfmark end + 4609 1909 a 4609 +1909 a +SDict begin [ /Page 6/View [ /XYZ null null null ] /Title (Finitely Supported Types) +/OUT pdfmark end + 4609 1909 a Gray 4796 2027 a Fw(Finitely)128 b(Supported)g(T)-38 +b(ypes)p 0 TeXcolorgray Black Black Green Black Green +Black OliveGreen Black 4876 2582 a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + + +@endspecial Black 293 w Fp(Atoms)75 b(are)h(\002nitely)g(supported,)h +(so)e(are)h(tuples,)5169 2874 y(lists)f(\002nite)h(sets)f(provided)h +(they)g(are)h(build)f(up)5169 3167 y(from)g(\002nitely)g(supported)h +(types.)p Black Green Black Green Black OliveGreen Black +4876 3568 a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black +293 w(Sets)e(are)i(in)e(general)i(not)e(\002nitely)i(supported:)p +Blue 6827 4121 a Fu(\()p Fv(supp)95 b(A)p Fu(\))f(=)i +Fd(?)p Black 5169 4678 a Fp(because)p Blue 75 w Fr(8)p +Fv(a)58 b(b:)95 b Fu(\()p Fv(a)57 b(b)p Fu(\))7624 4737 +y Fk(\001)7788 4678 y Fv(A)95 b Fu(=)g Fv(A)p Black Fp(.)e(If)76 +b(we)f(take)g(an)5169 4996 y(in\002nite)h(subset)p Blue +76 w Fv(A)7193 4888 y Fj(0)p Black 7349 4996 a Fp(of)p +Blue 75 w Fv(A)p Black 75 w Fp(whose)g(co-set)f(is)g(also)5169 +5275 y(in\002nite,)g(then)p Blue 6685 5814 a Fu(\()p +Fv(supp)94 b(A)7887 5691 y Fj(0)7968 5814 y Fu(\))h(=)g +Fv(A)8807 5691 y Fj(0)8888 5814 y Fv(:)p Black 0 TeXcolorgray +10821 5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray 9402 6307 +a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.4)g(\(1/1\))p +0 TeXcolorgray 4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 a eop end +%%Page: 5 7 +TeXDict begin 5 6 bop 0 TeXcolorgray 4360 6416 a + tx@Dict begin 90 Rot end + 4360 +6416 a 4609 1909 a +SDict begin /product where{pop product(Distiller)search{pop pop pop +version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto +closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show +grestore}if}{pop}ifelse}{pop}ifelse}if end + 4609 1909 a 4609 1909 a +SDict begin H.S end + 4609 1909 +a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a +SDict begin H.R end + 4609 1909 +a 4609 1909 a +SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark +end + 4609 1909 a 4609 1909 a +SDict begin [ {ThisPage}<> >> /PUT pdfmark end + 4609 1909 a 4609 +1909 a +SDict begin [ /Page 7/View [ /XYZ null null null ] /Title (Functions) +/OUT pdfmark end + 4609 1909 a Gray 6476 2027 a Fw(Functions)p 0 +TeXcolorgray Black Black Green Black Green Black OliveGreen +Black 4876 2582 a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial +Black 293 w Fp(The)75 b(identity)h(function)g(\(even)g(if)f(it)h +(mentions)5169 2874 y(in\002nitely)g(many)h(atoms)e(in)g(its)g +(graph\).)p Blue 6480 3428 a Fd(?)95 b Fv(suppor)10 b(ts)93 +b Fu(\()p Fv(\025x:x)p Fu(\))p Black Black Green Black +Green Black OliveGreen Black 4876 3962 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black 293 w Fp(Not)75 b(every)i(function)f +(over)f(\002nitely)i(supported)5169 4254 y(domains)e(is)g(\002nitely)i +(supported.)94 b(Trivial)5169 4546 y(example:)g(the)76 +b(set)g(of)f(atoms)h(is)f(countable;)5169 4842 y(there)h(are)g +(subjective)g(functions)p Blue 75 w Fv(N)129 b Fr(!)95 +b Fv(A)p Black Fp(;)5169 5135 y(every)76 b(\002nitely)h(supported)f +(such)g(function)g(must)5169 5427 y(have)f(a)h(\002nite)g(image.)p +0 TeXcolorgray 10821 5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray +9402 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.5)g(\(1/1\))p +0 TeXcolorgray 4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 a eop end +%%Page: 6 8 +TeXDict begin 6 7 bop 0 TeXcolorgray 4360 6416 a + tx@Dict begin 90 Rot end + 4360 +6416 a 4609 1909 a +SDict begin /product where{pop product(Distiller)search{pop pop pop +version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto +closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show +grestore}if}{pop}ifelse}{pop}ifelse}if end + 4609 1909 a 4609 1909 a +SDict begin H.S end + 4609 1909 +a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a +SDict begin H.R end + 4609 1909 +a 4609 1909 a +SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark +end + 4609 1909 a 4609 1909 a +SDict begin [ {ThisPage}<> >> /PUT pdfmark end + 4609 1909 a 4609 +1909 a +SDict begin [ /Page 8/View [ /XYZ null null null ] /Title (Choice Function) +/OUT pdfmark end + 4609 1909 a Gray 5755 2027 a Fw(Choice)129 b(Function)p +0 TeXcolorgray Black Black Green Black Green Black OliveGreen +Black 4876 2582 a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial +Black 293 w Fp(Any)75 b(choice)g(function)h(for)g(the)f(set)h(of)f +(\002nitely)5169 2878 y(supported)h(subsets)g(of)p Blue +75 w Fv(A)p Black Fp(,)f(i.e.)g(any)i(function)p Blue +5749 3431 a Fv(choose)94 b Fr(2)h Fu(\()p Fv(A)g Fr(!)8015 +3476 y Fb(fs)8294 3431 y Fv(bool)s Fu(\))g Fr(!)g Fv(A)p +Black -1 w(;)5169 3960 y Fp(satisfying)p Blue 5309 4514 +a Fv(f)33 b Fu(\()p Fv(a)p Fu(\))96 b(=)f Fp(true)h Fr(\))f +Fv(f)33 b Fu(\()p Fv(choose)p Fu(\()p Fv(f)g Fu(\)\))94 +b(=)i Fp(true)p Black 5169 5054 a(for)75 b(all)p Blue +76 w Fv(f)128 b Fu(:)95 b Fv(A)f Fr(!)7149 5098 y Fb(fs)7429 +5054 y Fv(bool)p Black 78 w Fp(and)76 b(every)p Blue +76 w Fv(a)96 b Fr(2)f Fv(A)p Black Fp(.)p Black Green +Black Green Black OliveGreen Black 4876 5461 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black Blue 293 w Fv(choose)p +Black 74 w Fp(does)75 b(not)h(have)f(a)h(\002nite)g(support.)p +0 TeXcolorgray 10821 5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray +9388 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.6)g(\(1/2\))p +0 TeXcolorgray 4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 a eop end +%%Page: 6 9 +TeXDict begin 6 8 bop 0 TeXcolorgray 4360 6416 a + tx@Dict begin 90 Rot end + 4360 +6416 a 4609 1909 a +SDict begin /product where{pop product(Distiller)search{pop pop pop +version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto +closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show +grestore}if}{pop}ifelse}{pop}ifelse}if end + 4609 1909 a 4609 1909 a +SDict begin H.S end + 4609 1909 +a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a +SDict begin H.R end + 4609 1909 +a 4609 1909 a +SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark +end + 4609 1909 a 4609 1909 a +SDict begin [ {ThisPage}<> >> /PUT pdfmark end + 4609 1909 a Gray +5755 2027 a Fw(Choice)129 b(Function)p 0 TeXcolorgray +Black Black Green Black Green Black OliveGreen Black +4876 2582 a @beginspecial @setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black +293 w Fp(Any)75 b(choice)g(function)h(for)g(the)f(set)h(of)f +(\002nitely)5169 2878 y(supported)h(subsets)g(of)p Blue +75 w Fv(A)p Black Fp(,)f(i.e.)g(any)i(function)p Blue +5749 3431 a Fv(choose)94 b Fr(2)h Fu(\()p Fv(A)g Fr(!)8015 +3476 y Fb(fs)8294 3431 y Fv(bool)s Fu(\))g Fr(!)g Fv(A)p +Black -1 w(;)5169 3960 y Fp(satisfying)p Blue 5309 4514 +a Fv(f)33 b Fu(\()p Fv(a)p Fu(\))96 b(=)f Fp(true)h Fr(\))f +Fv(f)33 b Fu(\()p Fv(choose)p Fu(\()p Fv(f)g Fu(\)\))94 +b(=)i Fp(true)p Black 5169 5054 a(for)75 b(all)p Blue +76 w Fv(f)128 b Fu(:)95 b Fv(A)f Fr(!)7149 5098 y Fb(fs)7429 +5054 y Fv(bool)p Black 78 w Fp(and)76 b(every)p Blue +76 w Fv(a)96 b Fr(2)f Fv(A)p Black Fp(.)p Black Green +Black Green Black OliveGreen Black 4876 5461 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black Blue 293 w Fv(choose)p +Black 74 w Fp(does)75 b(not)h(have)f(a)h(\002nite)g(support.)p +Red Black 1 1 0.8 TeXcolorrgb Black 5752 4114 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.8 SLW TeXDict begin Red end 0.15 true +3.8 neg 39.9697 neg 200.92635 47.1697 .5 Frame gsave 1 1 0.8 setrgbcolor +fill grestore gsave 0.8 SLW TeXDict begin Red end 0 setlinecap stroke + grestore end + +@endspecial -729 x Fh(The)62 b(lack)g(of)h(a)f(\002nite)h +(support)f(for)g(choice)5752 3628 y(functions)h(motivated)g(Andrew)g +(Pitts)g(and)5752 3852 y(Jamie)g(Gabbay)f(to)g(construct)h(a)5752 +4099 y(permutation)f(model)h(inside)g(the)g(set)g(theory)5752 +4346 y(by)f(Freankel)g(and)g(Mostowski)h(\(as)g(it)g(turns)5752 +4593 y(out)f(now)h(with)f(this)h(work,)g(this)g(was)g(a)f(dead)5752 +4818 y(end\).)p 0 TeXcolorgray 10821 5925 a + 0 setgray + 10821 5925 +a 0.5 TeXcolorgray 9374 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e +(\226)i(p.6)g(\(2/2\))p 0 TeXcolorgray 4360 6416 a + tx@Dict begin -90 Rot end + 4360 +6416 a eop end +%%Page: 7 10 +TeXDict begin 7 9 bop 0 TeXcolorgray 4360 6416 a + tx@Dict begin 90 Rot end + 4360 +6416 a 4609 1909 a +SDict begin /product where{pop product(Distiller)search{pop pop pop +version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto +closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show +grestore}if}{pop}ifelse}{pop}ifelse}if end + 4609 1909 a 4609 1909 a +SDict begin H.S end + 4609 1909 +a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a +SDict begin H.R end + 4609 1909 +a 4609 1909 a +SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark +end + 4609 1909 a 4609 1909 a +SDict begin [ {ThisPage}<> >> /PUT pdfmark end + 4609 1909 a 4609 +1909 a +SDict begin [ /Page 10/View [ /XYZ null null null ] /Title (Complaints about HOL) +/OUT pdfmark end + 4609 1909 a Gray 4962 2027 a Fw(Complaints)128 +b(about)g(HOL)p 0 TeXcolorgray Black Black Green Black +Green Black OliveGreen Black 4876 2582 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black 293 w Fp(I)75 b(would)h(like)f(to)g +(de\002ne)i(the)f(type)g(of)f(\002nitely)5169 2869 y(supported)h +(functions:)p Blue 5272 3347 a Fa(typedef)190 b Fv(\023)6656 +3392 y Fs(1)6880 3347 y Fr(!)7222 3392 y Ft(f)23 b(s)7577 +3347 y Fv(\023)7700 3392 y Fs(2)7924 3347 y Fu(=)p Black +Blue 5860 3741 a Fr(f)p Fv(f)127 b Fr(j)95 b(9)p Fv(S)m(:)p +Fp(\002nite)h Fv(S)c Fr(^)76 b Fv(S)111 b(suppor)10 b(ts)94 +b(f)33 b Fr(g)p Black 5169 4301 a Fp(this)75 b(is)g(all)g(possible,)g +(but)h(I)f(cannot)g(use)5169 4599 y(Isabelle's)p Blue +75 w Fv(\025)p Black 75 w Fp(to)g(\223write)h(down\224)g(such)f +(functions.)p Blue 5506 5109 a Fv(f)5675 5154 y Ft(f)23 +b(s)5935 5109 y Fu(\()p Fv(x)p Fu(\))96 b(=)f Fv(Abs)p +7429 5109 76 9 v 91 w(F)48 b(S)16 b Fu(\()p 8110 4867 +202 12 v Fv(f)32 b Fu(\()p Fv(R)q(ep)p 9060 5109 76 9 +v 91 w(F)48 b(S)111 b(x)p Fu(\)\))p Black Black Green +Black Green Black OliveGreen Black 4876 5654 a @beginspecial +@setspecial + tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true +0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict +begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict +begin Green end gsave fill grestore stroke grestore gsave TeXDict begin +Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap +stroke grestore end + +@endspecial Black 293 w Fp(I)75 b(think)g(one)g(can)h +(make)f(a)h(case)f(that)h(there)5169 5932 y(should)f(be)h(more)g +(research)g(on)f(HOL,)h(overloading)5169 6225 y(and)g(ax-classes.)p +0 TeXcolorgray 10821 5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray +9402 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.7)g(\(1/1\))p +0 TeXcolorgray 4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 a eop end +%%Trailer + +userdict /end-hook known{end-hook}if +%%EOF