diff -r 8b410f3fb2a4 -r 345dd18f020e Slides/nom07.ps --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Slides/nom07.ps Thu Mar 08 23:29:10 2012 +0000 @@ -0,0 +1,3436 @@ +%!PS-Adobe-2.0 +%%Creator: dvips(k) 5.95a Copyright 2005 Radical Eye Software +%%Title: 07.dvi +%%Pages: 9 +%%PageOrder: Ascend +%%BoundingBox: 0 0 595 842 +%%DocumentFonts: Times-Bold ComicSansMS CMMIB10 CMBX12 CMBSY10 CMBXTI10 +%%+ CMBX10 CMEX10 +%%EndComments +%DVIPSWebPage: (www.radicaleye.com) +%DVIPSCommandLine: dvips 07.dvi -o 07.ps +%DVIPSParameters: dpi=600 +%DVIPSSource: TeX output 2005.06.14:1248 +%%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: 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 +8493B4A9EE36401A2A54A603C2A9AAFF83B1C11A39A5F66D23E105CCBFD81AE1 +A02E982F9ED1C700AACDBAA0E2486937FE85441BC83DACEBF2BD44E268A8508C +06E4972F8B408FFD530F677304BB66F4E666EEE16F92FC2D420DAD874CFD20B4 +543CAE763C3B0988F3E22CC56E0DE2AB57F8B4CE5CEEB784D63790B994764431 +DA01F023D4D6706CCC054636EBED2449863C38560F4C54DFD6394A8897961385 +B053495BBDCF3AA66565148F3FC891B2692B472107AE54C0587AFB35100BC6A5 +72E57D225DEF89BFE7329FD722301945BD16B2540799F253D4CD901CDF60A34B +00B0F3D6CC24FE6E8AE746147056CCF240A1D04175184B6412DE383DA77E7ABE +60B6F23DA55665259A4402AA48A455A074DCB38388C104FA629E2B6649661982 +48B186F9D8B00FBBC7B9C635BB8D08FE653D05C558029E92103BDE93E7DF9456 +4A140D982474F4FBAB6E38A8D691D00141839F0032560881EE58F413163F08C5 +ACBE8B292816772463F644C7D257C583A3009B748D79386D23C7203BF068D8A6 +09184ABEC0D139EAFA8705723A5D49D049F420266F034B72EE3B707AF5701B1D +FA5DBD6CA4827C23FFE2BCADEB2F949DC6A4263A8C82E274A0A0FC2BC1A334AE +DA418BB9093624A64B5A860155B96B4CD17D25C1F6918616CE476C1BFFE5E27E +777DAED707339191E22C609DD2720E8BBE43D02A196F9653441D5D99563AD6A0 +15995764F5E692207E6C29B69E80D205669E929607730606CFA77866C98CB112 +889DD3B16E3C2BF4191D7947DD3A946E115CC85A4383F380C770AD1E44970D66 +A6C473EE119C7FEA9789840A5620C8DD4F4FAEADDF737EBFAA05E04C709409A1 +66796ABF2CFF02A492B25295679DE2006075AB71CA71ADC08570D5DE3EC220C7 +19B63A98775F67BEECF4995DC35D4691A78401D74535498797FE4382E4302DB3 +EDE6A964FBB99F8AF170A5FD7DC8C618F7D2E8FE4BC43AFC8D57D4D7F60F0329 +462D24B64152A2A6292F0590D6F87622356938E8367A8AD700489CB78AE75236 +970181644F995A049EEEB8904FA30B9A7B70258F993C87F2C75BD72B5278CF84 +E2A8804D9452682BEE7ED59D4B2F6297F15E7E6E7B9E427E0D120BB685C21404 +98296402770DC7262C71EEBF9EED6EDC0814F5DB640CFDD8221C0434208142C0 +B9108FBB0B6F6784ABF24129418CAF9F4B3F23CAFACB1880D078B0ABECE52E4B +3584DDBD03B345F3ABD2897BC9C6E0967E39A6097C93F217F851A9E251C407E6 +55C9C0304303035939F71C4F0499935074B5B5A3470CA5F34361AE52504D973C +AC2D89B4FCA3A9D5E5952ED903E7B54769B3C221ACEF23FD8FC11F483C0CDAFE +837D984A761286C767DE402C543F56C127E3666DF82597524BAEFAE52BCE2D01 +FB29E964411E72AA4240AC015DF5CFF45AC1FCD6B3EFF6272036CC85B74D1E54 +1C9FA9230DBF01B038AE1E963098AAEE8D1D1225199C2F208A02EEB9BB118E9F +DBD15FB057F78E6D002A0798629A1EEF33AE15F8406C71B2405522123900F1EA +CF0056E3A47C43BB86585724C654445C1E0C615A8E98AC0BD7463C96B63A76E9 +B25318716BD59861F51B561DCC115191F7A707A6E98111D319AFF427C2FCD1B3 +46DD76961F4004A4A9511094B7D2DB2C726B63EF3A983B84C7B062CBC2D7C3D9 +8B00B67B9CE1D0D743B5B27A58A5F889A5F63B5E4C46BA33856ED29B9AB43166 +710E9E33D36652C64F0E8D107E4E94E724256776B2FB5D01EAD4897E0763C0AD +F8D6DCD073DDBA8DB19C9E205C7C32C27241713A190C7CCB249D60FEDDCD86D6 +A78614DB834D0506CB0D4F824D86E193671DA6666394C41B6028FC2870E49732 +15DD5823320D1EE5FC58FDC990C3DDD73667054808F6F1115CA55B878EA3E029 +4B701B39665F4BF41624E22973FD0C7BA115D3388CD4621DAFF7B0D85F55056E +1DD103F59F2FD46681B42758D42D7EDCD5136921BB91AD489B52BFD69646AF49 +B69E4DE0A3A861D6D1A35606F3A80550E3A89AA8A17C8944C9537F88A028601C +63381CAE11715FD662FA7277D5B3D5003D79CDA6134B060277840D71E85AC71A +179AB4F3001935D3D9BB9C50398B4E8D6A59C25574D70239367B0C0527A6B894 +C14C8117475EC9692E9E99F6A90E866FA6C8C6175EF0A6F46865BAD64B90E72D +6057773EB7341E9AFD5F6E12D3CD056D0E7801038F92981250C3BDD77F02C296 +953F4C56EB9261524389E71CF05793397E53B02B22244FD50712D203AB7AF996 +1F0943FF5F02016DD6F0563A26851E1C2AD0CF463BCA4DE70B280622D99C8FD8 +E295AEC158294935CAC050E3F02A9636E89EF795734A43944A722529364EBB71 +EFF383DC58FC1C6DAA3105C475E5D473CF3A6D37B7EE1D90B03C9F7F76B44EE9 +25C8AC12751904E03DDB56DDF43283BCA59F109E646D37C670251389DB1DCC11 +C921DE1DA42691CB4A43DF740B6BFEB2B9B16652394A13CB53C57A318D583647 +2AF0FE74F0A08276F6ACF7945E88B11CFE349AED0167FECB9F2CD46918F675B8 +6790DC0B677E3D39479CA476045E4BB663342A2FC9B939559654B544CC4FB308 +A8A671C1F14A0B712732996F9572E44B0F0A5878675803F7ADC6CEA91A779B82 +E6604A7C83E1ECE05E132D1CA61DA084388529AAD81A503AA8244A27F15E646B +AAC9FB343FB6A1A3932C85AF503A78F1469C9759023A39A2A66A375F01A7BB65 +E590F7E43833041ADAFB260DCDF7347109BE7E3D28F30480BD30F59B2EC9284F +A66C1CA2B2649E03CAE74D6724924E28A955FF06BBF51728AE6724360C97CE27 +BF0DDC551713473ED0505F69FF85459A658EF4AA3557F832DEC88223E21DD540 +3DDCAB8837EB696BAC4B915CC97D8C701034AF56032E6B45D0B3327DECC621D9 +56927412507700FB699608CCA03A3BB26BB18234A5285B5517039417CA207715 +A653B47F78162F06BE7AF1A10ED5AD4E6D50286C0ECBBD8CC9983FC00EDA6DA2 +414F34F3F8539D22DDDF766DAF07138F356959B8327FAA6CD71CE5EC69F97B1A +B3BD81EBED69E888FBA1E2544DE0BB152A0901F7B9520032C24BC2D66EDD8113 +2E44128EE1BE623EDD5DAC37278211EA706917052C6C9B73C95538B7FDFF75CD +315F25813E9A8F6B24CC94A37ED7FE37D7D03026506C28933CED8EE2895A696A +AEF0EB67902FA53D9E8BCF2B5D8C5F2D1B67CD3CF5EF4349B3DDDE8CBDA5AFDB +2464806615ACD44F88D715C1F56885B33D51E0A041E4AAF6514F0066669327CF +6F277BE3AC8FB0BFC7F4772C349A8E828A957488223B956C98019FE765B95484 +DEF163F3670788FA0F0A5CB370D5A2F868AF176295DA5025B24894F19E1396FE +157C6D6BE59F2A06E7F54EDE050EE86E0637E802E6DBFB279B7E977B881D187C +FCE8B3548A7F5DA40E1B0C0D895773952F4CF8B0D3575E2971F355C21312DA80 +8311D07D8983EDC4AD97AAB748842A457D7D25D524AB32E027FFB7349F60E4BD +BED3FF20536ABDFFA429B820A82AEE9A73D7DCF7748A7BD9788F635D7C1D238E +43779FC2850256D81DD963B9CDD485D93D8209C94E8875065A8D2F7D8A673AA4 +42E3FB892DA6C81FC7C1E5331EDE1D174B2E3379BF1CF99F1D52CA25B42AEEE7 +69A1B59D15D30B7292FD83B6E78CBCB99C881ABBF836F8EC13A5A32A91CDD341 +E13F86D744129333DDD269E32DEA342800BC71189749B5BF67E0C490E226CCB4 +1B71BF28FE6AA68AEFC449D6F2C583AC1BDB2AB83D1377E1D5BCA57EA9F73891 +2EDF4315EB64C78AD0D4F49F02C538FB890DA8254F3350F4C670899D4EBF0BBB +413EA850A2EDBFD395F2A6CF1E84500A58047E7C28A3A5C25871D190E4758A89 +DC70366AD98D5D70AD552DE4D6AB773091F63732330C3828D478B2CDA7388D32 +F9E827505B27AD12B9AA2BD0774AB3D74F9B39B3181450CA8349B2329C5A790B +7E639F78BA7BAAA5F27933E8DC2CBCD0A3335CCD7738AFDEA45D3619B06C872C +065B047E1E1752325462F52902A5B6FED7A04A1A2F96724296030A5BDE1F29C1 +EF9022BE74D5DDA85D7764EBB31166DF048D63C6A53E94FDA12E86C836C3006A +D89C0C761E7D5C5329DCA2961F6E0A013AD184C049A786679CFB5C1E2D38EEE4 +48681CF88CE44202B7D393E27BB89A0980F7EE5E00A451AFEBFF246476F8EF77 +F2783FBEE4A0EEA6292D112658B52B7A6DBC3DB4007CB182EE584117FC8282F5 +B342042FF7455004899DFA973B27189D4D95F60FF4C373874320ADD4AC1C150A +2BACB333844A8AFC99172FC4D19BEB97B2C87FA552F5999A19F038EA293397C3 +82B1FBBDD8DC35E343F5FA08507427B341BE13F628CBBE0AD3BEAE050A3D9314 +EEBBBF1ED92A736F3891E425E1238939A23E4FACF2C3568466C9030A842090B2 +66FA501D5DEBA89340AAE2AE1C6A3CA47F0F2383A60527AEE9007596DF61AE7E +AB1C066166EC395D4343418B75D6EAD8E4B638D8A4D6F7743A0981F795D40BED +02D41A9CCA33BCFA150CB4CE6FCF4210455743176D249871734079117ABB5223 +D15695B6ED06143C6B0FDE52299DA13DFE68404AA011150BB45E3C757FCEF6C1 +9F7A358659CBDDE3DD98EAB24D370E5B46D5A70C38F60C315723B6AC4282BE2B +699CCA1EFE82EA4D797568761CB9022E2A462904286271B0B047E7CFB84AE0D3 +F92D293BD07286045CE90BA96A3E2A2E035D26D3FEDA26A24CC3B74CFE533E10 +03E23FFFA60953E618FF54638083013110F3E9CEB691AA72AE26F02328A6B5BD +673BE8DC07ABB100B769A6E0A37F242A86EABF71E4718409C91275B4ABC8D4F7 +D10B84CDD28A7897AE48DACFF21C811EEF8ED951F5F69DCD8FB92B33DFC6DB62 +1191E583FEA26ADCF45A7C3016BCCED66A698E664C1627BBDA252B4BABEF2C61 +191692A6DCD6BA59A1AC2BACF151CD1C4DE4A8F8562E1D016CFFBC2498339B6C +A8FEFF274AB42CC1722AC14066A7B4D44173BA99939E2E806F56EE5F29844499 +AB395107B17F416CBD96D8705D510864C8C9D6DB92F2C0584F2E0F6F54326DA2 +21E91DC93BC429BB5222D203816A94BE6EFB28733C10C8BB07EAAFA782A5920B +FCC53FE88134ACDD67D90736A84730B348FFE408872D40BF94DE6CCA4CBBD241 +984CF6E0EB6B69764227C8061A6389C844A4C3AB008980033B04E2244FA27998 +0B91B1C0E8D486F656116FFB38C388F988A6117B6832D316727EA0F8268D7B9F +46EDD935018D616E4B6C65760218604DA7671A2AE57EE029A0C0B16FBD2D0C35 +AC8DDBA4E9FDA6D4CF7A51AD3AD70EE12EA881FBAF0BDC35DA213A632E310CD6 +D4CA9BDCD3B89455CA9BFE2F9434207F3B7B5275B1076EF38DF09636DB1257A2 +C4D998F0272D21EC2569D8B2EB9925B90FA1D70F2F95395CDA08858E09133571 +5D9CC59167FE6FACC5A03275BA4B385D14ACEFB6E1E6D586D24E90C5CF1DA075 +7B0CFBF1A08711D4D66697315D721F90884F55AF936438B21BBBC7ACA08266EC +B80F39563F8C5074AF8E7330A29CFEA10E85D4D241AD2E5B0B2D36B70B464AF2 +9E6EBF8216AD900272A815DCAF1C116C5A4163DE9D31F3DACB8628B434D1E77B +4FE5D1AB2DCE37930DA5D1DD73E4B55A869C96FCA77A42B9204676B2D2C26B33 +4E34AF897011872B09C088BFF8977BC6DF74FF1ABB327968757682C0497D8CAB +42412D8D67D4347C3358BE97CB6839DAE21B702078670CE0902222F9854361F5 +1B561DCC115192A79B56A194F0D816D95BDA0BD962C4EFAAF90EB876CEF988BB +03324E2127A46E9DBB78CE86E750B0FD0A10AC1127B49E3904B4867C0C95BC5A +BFF0661E8255BDDBA8DC861E74BD8E120C8087679D3F03444CBB71CCF03C2C1A +78D554F14CDA115F7C8CA0614001C00F5D3606080935B776E05F89BAA21C2B4D +9FC095B1F3738207EED5F0D5A166C0D6372244655C9ECC511C1A3AC7F42D1767 +C2A20C38D79B7CCB6196341BF42F6A121FA56F839B123029B34D67F3E491E814 +8E530979C64C48F7E12CB2275A21A0FD2F2E2BA325F9AA1B258B64D0BF3AEE99 +E1E0C72642581CA963B239C132D12519DF9373CF01A6F2D73F6A5AF802A26113 +DB4F97F8D526EB0413F98570AAAC1F7663DD345408AAF6E8480A0FC8DCCD236C +B28641E6D4D90DEA10034F58FC5FB8565D63A9C89C0F79AAA61E70516549BC39 +9743D35021FDF658B68C5F569E2CC644715FFA30FEBAC715512DB4C0E6AB6217 +C9CB40AD1A30FBB2702B99DFEEE255419DE2FE2A4CC0B9DE515B345BCAFE6721 +F08F16C88DC5D4443F4D3CEC18B0147098E7886AFBED21C71765245A2B60667E +25B40CE5F8CFB9AF2BCA1DAD558C1F2221541DC60BB39BB060ED6495AE98F679 +8010F76FB89E2B9555DB7E62A74F7AF17554C9818684AC2CFF3C2AD72E7EA72A +A2C2EA54482A16933EA760142ABF564B9002BCE58E3450F2830A3A049BDFC6E9 +BDFF298B4800F15331CB4B90851A0A7FAB1BB9289E0CDF74470E0D35CB62A5E2 +AB06A3F099BE05154CEFFBEDB202555C87C918C87666AD5CD8BCEDFD5D15F53B +62E8B8B637D577777AD2F477516BA2906666DE730CB09755080AA332B3348270 +E3CAA6B3EC41E1C8BBEAB1FC0522BA020577E83176B2C8D0BB6E9541FED63A05 +0C1CE35780908FA22CE7555D4A4AAA68908099F4A45B2AA787BB7D77A88286B6 +184E0E71A861BB5FF8B74EE2CD51B34F9DDD01A2E066DD0C24BE8B0B2D212B01 +E63C0A0CBBC22A3CDE08AA1DBA9CFEF5C6C828E1B23CFEF4E82869F192A288CA +6800BB5C95281D8DB5E612939623B9C877C13BD2342C13A68113C17A183F6B18 +0067B2F9E67F628F6C1B6EB89A875F63D920797089B57ECC1BEFEAE26D641D49 +D0539613E25DB2E0D248E35CE9C08D0BDC3384EC5CD4284EB6B7D7B2A078E299 +8715A6763D97B40337E5174EF23956B13CC25DDBB87E9A1B31DEC7E8D9D5EE8F +AE39C47BA58A0C52CC6047885F4105DE2A0D571CAE9B2FA6EED0779DCD412172 +05C8279AB4A84464833637CB6037A77C28CEF5AEED016B57D5DE203A174028CB +B2A282B83B008E8EA3528B0104F28BEE3DF01BA48FB071201F6977A51D2D2838 +ED6132878CD875B41EBE430C97CE27BF0DDC551489FD76607E59932B16A21158 +275C7D54F246405241670A64940234938DF3A3EDC51EC50DA4CDB4061B2D429D +90F2A70FD990968AC3FF5459B98F6EF2147CC1E00AD58BA50B306BED8311D435 +5BF65D4D886ED48201A4251D16CC9174AABF8FC76D2CDCF8FF48E998CBD88DC5 +D8A8B67F26EC040F4B073458A9095000B8CFDA0126AFA234E5C9604278555C81 +C222EC354B9AF6618BF722291F5811A89F3F1BE4C61CECA3DEBEB081964C6150 +ABBD5B3A4B88B8F21418D498C1D3B450D864B6B348501D3073C42AC1EEB4E83D +C6D6024677A39CBEF701D77D05FCB64F261AD82C4DF73F0661CE60F1B9188CB4 +EECCCB957E5260D4EA5FFAD4CD81CBB854BFF71E5EC5E06ED33A2BF9762A049F +B644ECD6B5C07B3B64D5D71F84C7D89825DE4C9A4020E1FD727B6412A342CCF5 +8A2AA32DB331522B98CDC990282538B5F48C5EC53F4CEB73912C9B769C772FB4 +880C0EC75B3563EAD2A590DB978A395C56DA4B9994B74C3FC14EE9F0A92F2650 +5C43586781B6BA4A1F3BD1B8490BBE819CFDBFA7D23362F1811CA9D8EBC3CCD4 +7EB9AA39ECAAE55E29994EBA7BFA669EBE57C23DA2FB25FBFCA987D40E9E6E22 +EB77ED0EE9E3E10459B9AA355E912CE92188E4DF213AEA97259581392B9BC171 +B1AE1279F582DC721A48785BA79FCB77621175289491E7A1654F2D89AB242DD0 +99C7CB0A061D63D174B1A2A1C606E5981D948D593722C2305190E68E3A3DF087 +94284CE3F6FA6E71C05B2296FBFA1E5C6668641E4C15421F6D812255D98D2DDA +B3392FA84F1254847CB523EA86910BE9DE38D60070824B08C2E2C56EA5C8F822 +C591411144CE72E06B401EE9B28508B137772858D1A89AD21A4DAD367B21D4B7 +1BC579D8B7369AED2AE9A79C74C0FF0E0B0C1AD3B59BEF72AC603B41B8D93816 +9C832680FEDF5BCBAEEA8FF20197AF5E6887463F834EDD2608EA2C03E0164D07 +F2F4BD61EACB527595851B12A3C1E1FB53FD9B346864E6AF67D9093CAA0AC262 +8860391ACC35650B8E39519B2B7A737BA3B936C2656B59AAFB74F9E40E680D89 +0903458CBAECFDD943262E9ACD8CDA7E9E78715DA56768569FA889A52FE4E4FF +707C55BB3148051B2B6F2E8AD884FC8A266603A8B3C1A17F2212E2ECCAC81595 +18783357F86D370BF6674F6CDF12D2FDE4B981EB981AB0EB210E41CD50A3E20D +C78B53F3E0B671098413E318D9A0B75C53A9D709771728F0E60F20CA1636023C +3B45D99837E560B852E18F030C516E31813AFCA02EC2AB68D12BB1C15565882E +526D9439800B20C7E958E434402D7B35FC32C14EF50BF29D264A7F4B1C259E4B +1010AC355CD9D1DD0C6F1EBAEBCB517109806DD2CB6704EBB0D4389D1217080B +75019AF003A195663FFB3A1235FEC42224E08E3030C5748ACB78ADBBD5E0735B +99A6E94EC375C735028B31B8432CFB324D271BC85F7BA746B3DC5D872699004B +B7024E8A84B26F02FD8B087A8608FF9C86E836B7FFB7086E2789B8B4E522B5C8 +7DE1D975B08CF8EFAE3CEF3EF3ABBE174C33199F3875A0BF4AAEC39143D85CD3 +2C949F3D979751BA687F453D4A5CF4E61DA5C2E238FAC478170AB73F61DCDE4E +D63CEEB367F9F821BC41A7FEB9BF2AABEE5A67C1D11596E1FEB5082D14CAD6BD +770E15BE2901A7B362357E843AA41FD2A7DC0244ABB09915FCE4DA65A31EBF6F +BC6CBB27085F3E9FAAED13D06E7AC97A386E3117CFACE301EECF257B1E9BA488 +552799E40E102D9E533CC68DD60FD6FAD3C8ABCD673A03A694FA7709C320C49E +01EBA2BE7ABC199BFE58FA66F52AD7C5ED80B4481EE95E7F44050B2198DDB2BD +938BA9E0A07C349F6A296F0771D38567245A095F8C91294627FFAFF0399CCEB8 +7FA6CC280C98EABA19973BB596EEB41C7FAAB530481B4FB840C8C3A9D70992C1 +F31DC6753222850ECF459A7BED158BBC32FB261682CFE36CAEF0433CFF3E13DF +36D75AF1A759EFD7C89DD3F0B328490C546A2BD7B5C158C66AA31730531CAA84 +1028DCD2ACA3094563790CC22C491856CCE2728FD062DED1FC4552C0B714EEE9 +BF2B469EC8CF7EEB75304F9A5C8286AC95FD505FFFCE931B60115AFD41D10C41 +1FF88FEDAD541EB1711A5F0493F2B71BCD5655716F96B850D6FF61144F6A9E51 +CC1B8A86A350807D07B674EEB14A276935114F1DA253C4E2C6915C9304AA49AA +4227182ACF455865CA526CD0C3AF1F22BD3E383E174F992EE1202FA5224BA74A +B500482FA63DFDA986FA9659B71D9E8E5DB24A70752D839DD4A4F6A61B071C58 +4BDCCAF87401373886FF9BFE508C3A751057316CFC14196DA4D7D31A9F6BE6F1 +46D4A9DC78F419FAB7C9E453996CA9194A2EB640F2E213494457C432214A3172 +F1110A4B780C53D467D0FE46560B44CA4FF989A4D77F1C44DA7B049975EEB7C7 +3978C1954D0C8CF401034AA3CFB3C24875CF107E8F35C40C193914BBC36385AF +5C27029600C63355BA19E2A651B9017BC1B8ACC9DC6678342AB0F045BB848097 +2CF0DE416D863241758D0D5EA90188822EF1E59D922BA5E4D5BA20DBDDBB8359 +030780CCE9AFA6D7063D5D20A302B51CBAE24382CB3A07B64835A7EBE90B52E2 +47D95BAD5D9ACED37A7E9CDA86B3581FEF12165713CCC90D54FA5E0E7CC8DCA6 +42CFE5A4A98D4D303232D1B375B38AF2C8B806A072850E729076811B5233BB6B +2A7FFBC00A9912B63DA88B3C465E434C7ADE89F8D059A8385466AC97F5F8F436 +1DAA66686A89E3C4C35B7AB1F74794F79A77A6779090AF0FFE0D3B0B72D091E1 +7021A30DD12D6983FA9D95A67EE2C1C07595C0A0E52616BD77A2137AD9E2DE4C +A0AC1E9AC3B8B92A16F5963FB6F6F1C133040301738DFFC58125250C5C9AFBB0 +2187E4CAAA3A6EBB0C27F6B3D45356DFBEB0F12864B22E2DA9094346C06AF01F +F1D4784AD33491DBFB17AA6A4A9C61DA5648ECE74BDA1BA604872AD6C5271FA8 +9B4388286EF9366ECA151A7994261C5753A081645F671114B75A59488A18E338 +578927CBC76F06699BB084F049E32DC3AE8D27B0C8FE22CC936FA22C7FDE983C +AF43514253ACF86C96BD3BDE3321BEE521AE6E10CF664940FAFDE34B2ACD6D7E +AC386165819C19C75470FB635CB7271D8BD824E63FCE4B2955A9C7950E7043D7 +75066794A2DA0C4D29036BCC08CCB25B2BADFDB659F305315BE273E5D1D48C68 +B8C62BCC686B930D51A76E422BDF2419D6F7A552A5A0E68DD06347F5129C4540 +33A639C2D4EDDC0B3A59B765186DB2C607FAA760FEABEF17CBB9C34FECC6E653 +480E7DD748B8F839254BA9139D345103CB03226F4E26C62D6A3326564A6B5DC3 +297FB49F7AFA80FB695BD5B0755BC39C5BCCEA527FC5AB60891BBD258ADFB0B4 +BCE42E01E2F2D09E731C6C2F9E4493F6FF4574EEA2B17A9A1A01B75ABA1EB5C9 +01DEF3E16541D2EC1561421722F6178436607CCA8FFA2136643652759D4095B0 +0EADFB3BA8439098D4CA52DEB18C0943A39B48A6A3F499993F1DC91485935FD3 +FA9DEB375F42C96269169A35F545E1A8EF7D8E64D01390E9E92FB6FA21943BA9 +C3AA45E952007DACA804CD809616BE4342A5047C07E76889E53BCA13406A6DF0 +234233EF08A17ED68AEFBBC8914D0B4827F7C90CB80D8452F4D244BAA1E3B282 +FD29E62A82384DE428569A5283A557A996D0EA15A6C8815A66967B75919F156D +D1716603D89315F3462668BCD5C44675717F97257712738FD10561A78DC01875 +69098950EFC78B5057C9BF52FACF258072F733DA1AECC72715A99013EA30A35A +42C562A5BE309D5D926AE5C673625845E1981A331355865C044F5810B772FE37 +524027FB1807E2EBB95CBB73BE0555E7DE52288086AE6C8C6B3B5D4AB4CFAC64 +042E44292AD4367DDC8671EC48E447C84A11C0CD332174304EE4C67955EDE530 +44811EEA8D75D9A93A375C05DC80C08777C1DB8F5B0DCBFB9C8A95985A0571E6 +7A52C44FA54067BA511DA13FA80C3856ABEF64B5B130980FB2B90AB3ABF8562E +1D016CFFBCD753899CB8F87ED5B96CB9B4460E41AC69A342C663C609417DB14D +F4082A547781176464090C441AB1D0BD751575D0A364947AC3131DAF08BB2058 +B6E41092F1256C0892105D3C833F5A6ECEC9AF6EF230A314B3E55EDA5E61D1A1 +451EDD31135B7E651F3386935E6A69C5868A268D1D3E1D71D757DE1530D30868 +20204B83A1EB775861645239EC6EC6B59F47151670C10C2692938E8B62D0BFDE +7F47A6D7C9E547CA8D1562F4EB93729D362EF1C610E85FBBFC6151D81BE2207B +0F8CB234A10836AB34663A141DA69B46D41A04EDB8ECF905FB79F31A554D8BF9 +8B8303CFD661ABF9A72CA2D701136D5AD497D5781A73D9ED02DD23382FDC5D31 +1FDDC91218629AF962EC95FBA423CCCD94DAE6EDE99697B1D635FBDD7DCFEF07 +F93366AF7F26F35ECF8D5AA73CDCF562CC5473C3646255E70FFB4731F12C1375 +B510DBE7B100EFA22290B3DC8113DB1B383EC98F8367ECA286238D2B5AA3EF8C +BDC06696D3B82063FC20CEB298993E9318287E67F613388EF32D92729B9C2162 +3BD5FFA34000E1D3EAC896C9E50A85C1E620574519E6223753B16EB1F3A47995 +230979D99132FDD9A2C5D5A5C90863C0681D9C2E862434D6CB5D80F69E0010B9 +7E1A371ECA95C57727D2B5C32E6E5FEDBEF4DEE936B01E6D8AC3C275EB16152F +CC451CDF5508519B9B58B5BACA7207A8E469C0963CBCFA717B0F0E97996557A3 +6143696F82350C126712D3E031AB34225D92A83374078E036FCFF098B6D25ED5 +BA6970DFB390317A8F1B0971C84FBB39F5FB23526B3103D973D05F42D3E37130 +4227EC703D42B4C1064DDB33DAEB4893ACB7DFDCE534023FF4E38A4235863275 +567199E21517EA9DD8A7757BA31CA0D97D8FA881C188C1038A840C6AB9269E1F +FD3D6432231D47B3729F7F9F8691B034A71EC23B34833BD3B6BF56210B6FFF39 +53D092E9AB524CD65D4404D0323445D7B0D148E1843D354DEAF732A798B6E803 +A0A99CABA87DA35B532BCA16C510B99D336EAE85CBA7D0FCFEE888CC7FFDEFCB +D5737257158BFBF7CC85EE25AF847626399CAA221DC09190CF963E4652F9558F +D8D9D5B7478A9A196FB1265991CF32B733CB000CCDBE18D9A9003DF1EA7A2F22 +8667319B6262F584DDCBF708EDDB1B5DEA54A92603EF47888C851EEDEF383E28 +001B9E8FB902DEB084FA4170CF621599E3A95788B80B9392171DBF9964BBEC03 +013F324BD4B1E305394244948F1B06A1B8A026B3CA477D4CC612D0DC8CFFB063 +F6DBC8748EB0D26D527A7665DBD5CFD0399338CB000416240463B37B84ADF971 +3EAB43C23369EF2AEF19227314DA30E866859BF0F2368F5DFD963BF8FFA5642F +9422776B87D3297452BA7EA1CA9EACEC454312EC1DCE0EA843C3FA9956F75531 +F04161B2C21F34CBE80DE64145C108D66738BCB61B03E6DE126317ACD924D5A6 +1FC315B5CD8BC92D0D26A7DEDA6FE09F7DC39F9F2DE66A661E0EC976800F233C +557593D423CC008ABDA7A9B5200FAB37C3E4F9DF3A174028CBB2A2717C97FF0F +700841CB1EFBDC3062C786EB15A5F0DEC6366D20DFACC9A51E37BFD3E8F60883 +F13152D70D8C76E0BB114F84862E6B822BC299B96EBCB4DAA4FBE78E6612D7BB +746979F4DD1D1AEB8E75BE5F3E71E7393392A0FE4928556628295F5FCEFE2177 +B037B0FBA022555B0FCC1421A0B660B738180C1C2748C39084A9C71516582BCE +25EBF7C1E0D8431445A1BB4A90398240DF656D5E8EA1872BC169F92A89067D7A +A543CD8BAF27A0AFA9C36A4E9C01B62EF23D5B983BE9694160090EF1DC1CB074 +0B3FA1B24F6630F31E90646FA7FF2780BFA07D77178F10FC477E27C780AC0244 +9FD82EFB4BE67A1833D36D09829FA03EE7D559D5AA98732A533627402DFDC089 +0A4296F3E9B0D405E9DEBF3A7A7B4B53EA2F8C915BD95CB67D9E25F9C4C27688 +B2FFF2C31208D1BEA397E35C7F91ACC5982763EFA34A171A47F13A3B10533A8B +E1080729D86FEAA2193FA6D6C344238A11A2BF34A30ABB7ECEF68EE3D3050D3C +98651FBFD4874418AF3DB235C5B5A7046D3B734AB72279B090B191ADC83A6A9E +43A0310316F78211ADAA1AA9954C8C41A4378E21F1D711405CE8932953D69522 +329B698729A632B08F87E2791C791A0005560EE26C52E95B71C4B9F6D6C2693E +BA28E9A425F2541111694F34BA48019506EEC65F821C3AC2B15DB2DC33012FCD +DFC8ACF206EF6A6167043EA9E8B4C6BAA6825975EAF495F92FC61205659ABE31 +F87025B92E55DD5D5897F13EDBB3356F9E2B9DE1FBE777B09E123754F7752507 +DE77C8B35CA1A3F7D176D9F7EC78D18F336B09B980DCA7D6BDA06483F8DD04F8 +96B251460393B143D807E35B8CDC1B3E1DC2CE2D28AAF733F6E6A707C1CBCB5F +7BD74B934EE2BC8350E3A8F43278345F702D2B7E4FA697803C1F44946F43E838 +36A5EBDFD3C90B959AC3A19FA9D0303DAC5BE0058B7AC46EFB60730D88633759 +93CB447759CC506C2FE22FE5659ECC35066ADEA54F1D1B22718DFDFC59EAEA4A +33B0EECF528E8E2455316E16C3790BA72034D7BE9025BE2E1D132785D658B0A0 +269A1FD38BAB95AA31DF4BE8804458E1B9E97C3106049D6C9FAA13FD406182B5 +F62D26C28668CF1F62CF7E1E27CB13D8DFAD0E258D61B3C4F03884D52A78861B +C0B7A2F8AAF27E7E115BE85D71C300391464383D302A5E1BDED74C9BEF3D01A0 +82C36934BDEE62E99882CD1DA3BD92FD6CEA20D0649071442B2916EBCE5F4837 +FD84A6D209E48A0FB439E97BB1CF55796CFFF55D0D8378565A241B9F91FB0604 +DD8A6746D4B6E7DC9B82F48B779B839A4B1ACFEA93279C7247486D79A3B62878 +3820ECCCB514DA6DE060318DA4875AA4D5D876DC1E45FDD7FDAC41229306EA37 +B9DF6E8DEB1C6C2BDEC9E6EAD8E39D13B7F4DD63E3011779EAF2101F7D6096E3 +1DD0467437BF27C61D987552FAA97813EE20376D20927C4E0FA78A4722CE9678 +6CC228DD6BDA9B4F88DC224D329F40743616D0E6AAD719A820F2262ADF2ABAE1 +E46EB10E800620FE5A01B90848A5ADCC95DE49241DC602F4B71F8E08BDD0FDEA +AEBB5289568D37943CFE6B7DE09DD4E8256795E3D9D52215AA05E690FAA73EC2 +16783CC4F106FBCB8ED64D2068C3DE2065A772019C474B05142993345253FD8B +AFB8B7FB1145ECF9C2567A48B0C043C6D77A6C65BBFA04C041A0E29BAC5703A8 +3039CA96985A76B61B50165A4DF80041603CE71AD9F2AC7E8DB53B169D9EA048 +E67112980DDA8F55E68313BEF4CBE85820A8AD3483F1CC68CD84F332FB505DB3 +A35DE963CEF8CFA34D66EB4564A2A9D936AC26E84124A3DCF8C28E4463E0CFCE +34ED2A7FCA8C9AC9557F97784FBE0050F215500F281FDAED812CEF0A5232202C +7F74C30A4646D8726DD73FFCC34162C87536427AC8F7B54DAB946E2937617D92 +2CE89E9D85933E3498B2EFF70B8FCDE2984F8A0763A9D322E7999A4BF2E9C684 +E2C80951B24AAACDF129B2BB843A353C17E1E902D53E24B71DD4F1CC13482C48 +FD1456BB3E84614AD3607A91673A3DF62988DE97DA96C5C43CC6398CF6B951AB +DB4CE6BE4B5F97D025073CD30F0346E71DC1761FD053FF0F727EE7A62C4A4C0C +8D10A93430C7FFD65B36442C20E14598F0BFA3B6C2011B842784111022AD96D0 +1F66D7743E3C1CB6D013DE4A201A150213ABBECAB18D82FC9AAF598C88CEF2A1 +5D6B13B95692C2467A8410F33043900232407BD79E4847F7E33662A718F59158 +6F61886F19B5B15D74CB098F56CF1CB341A1406601488600D94727B62F28E0D8 +A1C6E2B1F4AA9A11B291D6EFA6B68473FB9DBC1ECE947112CDB791A1CA9D765A +8A74525C532ADDAC4883F517B56CEAA33500D6497B38B326A7D011C03BFC4D49 +7466C7F09105A287FB8C8D30870732F45D0AD1FDAF194F7DCD648D8F14A5264B +6277B27F4647C7CFDB6C84A32807C0406B66D795C1B414B03D92674B738A8B66 +682B017A5A32FCFB655C346295AA91CFBA9967AC88E8B4F4DCE65155EF878B79 +B3C8FC5D5856C4CDDF78646F618A4993D34A1E7672670C6366038F7A17D436BF +9B87FEED4792659E7EBA466DBB49D985D552F7E5DC23352FD902BF6F5B5CCC85 +FE8E2D508D3091C99DD2D487D033EE9A75B7ED9E43439B682477B6A8F1FB454E +9FB4B782858D42BCA7E5BC5F6C4025FB6B0F7920F8422F3E911FD8BE3C0652A5 +4F9A330B97295835189A896E49116BF243BC23AD4A3F60AFDA851C952FA29C49 +E2D9F885C37E286684443EA619FD6C53B2CFEF57A40DA8E0AD14C4FEC3A05017 +A993D91DABC265A39EE4A494BCDEE073004DA9986794B83227FD4117B27984A1 +41A4B19E695DC317262068E043BAFA2CCBCACE0875E368521C0D91F20335FDCF +2C1789F5D48DAD1B9169DD75574B2BDED257DDC51AC370204B8504FB88BA15B7 +DFF3BD741E3FF0F056957A6D0BC305BD5820C99145AA7E7B25CD2E2CD662ED47 +BE46363E2130C0EA0DF460C5472E7D58C187468C5EF53764E81E3594AC3AF577 +1BAC834A3CF62FF7833C06F0A58DD1A03FCE8732DE541E5E8A41FC87E1FCA5CC +ED34337ACE67CBE6928F02D2A44F53D994C4322E4F5FBD0983DA625EF5CC0FC9 +F75FB7A90677C02630C6B4D79AB10F68B19CC8756AD1987C4A8477C26075C8A8 +19E06415D033F435DF5E4E4259D1B6F2B5548B9E62CC545097F1BC3084ADF7E6 +F8CF420DA42988B17383C10F6D932A86C4913226569816BFC2FED797BF3FBF60 +B3E0A4BB68286F8FA8A2E671C13C58C020F9AF83E24033A22D60C6828A51130F +223E6A0CC4C0A500057BAA362E40524F69A5CD0B41ADD9EF430237EA3259A220 +B548189D085A7DE57159FA1B35DACD25AAAD8279BB37E305C5D96EE922D985A0 +DF57371D202C7DBEE6061297332A5D896A911EC2EB559845F9087524E1199EE9 +F4460A284B639F70190D7935DE3C1AD731D0DE9DB8BD45BF6961E4E9314D0DA8 +D8C03D9C8605AA73AA3ED1899E157ADB87299569B2CD4BE19E5BACAE82CA0F77 +CBAF689A228C51506E7332353826167C09294C229DCD34EF0D0885ABA3C7BFBB +FD88016311C8283A32CEAE26ED684B14103073FA31E12D1660F0C6A51DB70F72 +31F9BBC62A4B36097028E17B6976A138E0411A49D2BCECD9A2DD7C842F3397C8 +85FC2A52FB18A1FBD42BD45E60B6BAB20C22F079D7607C42E7E0BA9B5611BE6F +C7394161713055000B30042F8381274A42890DE261C6106813F9F72487317CD3 +77BF3E0670285648BF2D7E91D55C63AA03CAE82FB6E2D672FE0DDC6A174CF9B4 +DB413F9DC2B9EE87D970CB0D51301BB24168859BC44E28265F4C868E8BF264C3 +F0FEDE09C51B42B5F41E8F864A456E4C69C75310E5AE7EFAEA6A84263506CFC4 +1A77B9A83EABEAAB52CE846DC5558305A5910D37BF704E2763DA127C2886DD0C +3C4BC6E938BA46490C5750A6AE13CF86872DB3B5CBBF9CE4586155E4D453C3E8 +A1F7BD97C49335A96E0D3C017B4A14F0650B7FF087B7DBD826298922694C3A5C +7F698AF242C0493E396016F27F06AD2619698AA2F6F1D36D8256591964D813B9 +D01260D0B0251A4BB9C7DD56E73EF49C21E4271ACB06635412F19CFB4C0DF4BE +B17F783094786A8B030692EBCB995BC4F8ACBBE274721B245275D975C3E79247 +C4F010AA5CD339DFD81071B358E1EBF396D1AB193CC68621233D190CA9DCA836 +FD3FB3CE3EFB23D35E719ED601CF97B2DAF5748CC962424EDA4096A432E493F0 +9160DC90C1E799941CF1C53F870B1FB5587F35A97E5E4E7B9201FDE88CF645C3 +D4257DB9C7C5D346FEEF86E2824686D0853B5EC528719D7F8624403BC45262FC +E7E36F4D6367F86F24ECA280544F089BFE9EA663CC87B14AF18C7894E2D9D780 +2486C659CE9754F827720133D38CC22CDCA10D098404830D5D72FACD76296A82 +A5AC35DFBD7C64F1D54E4E0EE5CCB1B7DEFB705D30042BE7B6F866B55ED80A3E +5BCC2C06528D50370D59E4DD597D0F14DE126D41DC3B3AE59BDB4231E1D057AE +6694289762B383A98252AF30F0B20972A60D76EEA3621CAE8D86D39D72547B28 +B22A2D330865F7ADE63A00474651D5D93BC4F248D811711FA6B018081A4FF14B +AC03090A037EE1DAF46CA3F46E086BFAA4FBC1AA4D2CD206F29E58494F2E05C2 +4D6FE1FF9B6EEA9C6D64B4A06D023C339081016894BB84E3B05ECCA440D9D121 +6AD80220D2984819B309414191FB36A8FED4C2EB75F1E7F20949CF3253A42E4E +27E8EE9260C14C526604C9EAD3B6B652E76ED5E2821AF88C70383652FC8AFA17 +09B49CFBD7616E2CCC7B6A2B820F96B40B67D538260A715CCFC3142C4CCE376B +5711D1BE93FAA4D990B61CBA114AAF35475EBC15687F7035D5504EAC5BFEBB69 +7A67A00966B0B4299B8A73E431C28F378BFFB86E7537DD59C0779D4D143C6620 +456EE3E4116930C57AF2F7F50AC7E115D04A2DBEB952802388840867AF418DEA +AE6477B408BB0F8A15CD9E37BD56C8FA3652F1A6B9CE2704F41E9BE63841DE12 +1E8052B8A13FEA3D71002D649C165FE22EF1C1DE8AD0E22F81C8D1A069AEB361 +CBBFF1D2500137CD34C8EE4C3F053C33CCE07F189F372B44B77E9F4A425B100D +4ED397E80432A4A9BD935683E8DAF5FFA3C85A9E9ECA88384B5F6A6F6A5B830D +47C2E29ED93B5683F489D5CF8BFA99C226F0FBC2E0F6D858E4A44E3B7F2FEAEE +C92B815CE75EA6D8F79E1287134924961BA2E7D66A86A73AE648EEF82C823C79 +C9D0F73CDFD57A119E31FA4440EDCCD8A0E701D5AE693E501E3546E09CB18EBD +4353F1B0CEFBAC35DCB849271A20E5C94254C1EA7B50FA2B52A5DF92B41D5B64 +FB484B0C85C29E7066BDB41F738BC6CA505EEB98E654DCCC17F6D1FBC6E5FD0B +A34CDEE023FEA051AE7E47A7FAC74BE35BB9D3E8A5B794B7FC1AADB68C3F4402 +4B261C36F31A48A30B9D0F4D7F7F9D4EF3467151046684B56F0CCC1B055A7B3A +8A32675185B6501EF61B009BF9D885DD1CB79B72E1C8C93FB5408EAC60C743EC +E8E306EC331F99FBF939FF0A7C2EBFA353CCBED14831FF492EF33F7917ABB4D9 +87C53CB30EDF7F04B4DA5BF152B232DC47470403584225045A6DCBDC95B55B8D +E832072A78D4E496027B5862E0472066D9864A092A02AF7C380B3A1E784E490F +47670094B77A4A50C974729E118732B8ECA755487698397B355B563CBEB4DD7D +200E5B8FC81C593F02EB75B5B8CE02A3331CEF242724807BFCDB688657ED0846 +2C422C7969DF30C660AAA41CF39E4083153A130761B666AB85019B4870DE8A3A +FBBB2EFF53E73A7DC8295355B9F73B6950CE749F1A1A3EAC00E5D1ABFD004ECC +34CC066882CDE5D2EFDD60773B3759D74BCE6E4A67D6FB9B08CE18F2EB26B269 +7B9ACB51188F29485DF3AB7026AFE454967659332B34FB651CC9A71F78CEB330 +E0C60871EAA3572369D02A403BE1E20FBC5BFEFCC7EE76C24B376D0F10D3C45C +6996E2B04A61ED121776E7A4C54786AB0FB1283D57E9CB3CAC570F711A9658B8 +5E71BAADA5357C7BDAF6EA91F6CC71A64986EA5683CC3F54D167BA67C3E7C2EF +087CD89261CFFD1152B1535858BD25D4F169ED898DDC4F142F1DDBECAD16FC6D +2DD2B0E526A60B191F940E35732286C17218A1C37572CA2F14A06CFB3C418091 +FDE65C338F59D4B9FFEEF09E22B3B7327A81B62F6DFA08EBE475A0A534E2B50D +FE6F6FF66712F9CFE2AB8DE4ABA7503FF53F1D7C5ACD2671D8ED3BA3BFC8D1CC +E3F5E10E33818FDFD156D1C0273A618293806ACEA68277E7C2CEFB1034F8649D +8719A6E44B407F7DC484B84DD4DDD8BFAC50282F7BB45C522C2040669CA5C569 +855F04BF31DF33389F06E0402DD7495D2FC671A00F9885EAB81FFBFB3E77A291 +FF0D913E29BC276FC6C936B51A37A0088D04EB2502BEE7F60314345CEB57AECB +44EE9F16A67A452417F009E1E21A932D6C71027CE88F865DFFFB9996D216FB7F +A7CD22017F69778DE32197E3B95673A9FB398AF7C22EAAF8E4DBC87A74A0DF8C +208159A03C0CB2B22A49CACA5E2D5DA810431183B7E7C5F29D8BD24A3631C2F9 +B6862FC9885CEA09CA6A1417AC1A6DAC246C8F8CF028913AAA0793B8B2A2FEE3 +66E5DE75EB59A82BFF92D8972C2ED393059A5826AFCE7626083B9715A980F893 +8522B1782E7B5A39152C115F88345272EAE96D71BB1399D2F19C7200C3EFAFFC +FDCA2D49B9BF4C93EC9A39F7F503279E08B6DD123CCB2B234A396923D3F61034 +1754BE79DFEA8991B10F31269D16025899E47BDFBB0FB2B9F3F7908E7B7F6A04 +349740C2E8E3C3B61DE472FE56C40059012FA7ED0DA9DF93A8BD3F911917D938 +DB46C37B7CDE0751895EA9BF67FF39253CB8DC0253E6F1B991A79F4292B1D0EF +3CEF480BE64A071E7611E0F8146B96E8BF6345DBCFB02EABFCFA724DE9BC09C8 +1BD289FD2DFAD46E33BE04F23B60A03BAE828D3411D61370712BE9FD67946045 +AAC8BFECA7CB04D204B91AA270DA42B539622DCDA3D3DCCD443A5D63B696C279 +4492FAB1754D692B06DE2FBF3B431835FF4BE4F8F8F35F9B31E03B07B9563F4C +A4EA1C914532BEAFD574C616873618146DC2D06E2AEF1017EA9DD8A7757BA39C +7F2A39EE4C73BF43405EBC4049CFCCBD000674CC6E12F9CFD6F448B33DCA9FE0 +D76C74805F6527B9172A0B3D0D2681269F2AE309632E0483BCC95523A21F5517 +150EE957D7EC9D6CD0AB625FCBB113851FFE2250F2C2A6AD97EE8827418B0CF1 +8E25E5DFAA36574081210D78A1395F6FEAB4D351035C6A82B2FAA2980408D9BA +8DAB879FBDAA9EAF393048167F17F1B58F5870230E9DA69ABC00EB0EED3275AA +98986DFB3A6ACD04808EFBD69762064F80AD6C38D2B1361D1A6CDAC2C6A29507 +FA003102FCCF6403292EA453741C45FA7FFF97637715A7F829398556AA3CD7EF +9E20515F7357BD629A8D1AEDC1C70088D77F384BA1E79780B9035A7040A41DA2 +3806A89639B34CC4A6A3DD2983A3D6191A43105DEB097698401F7632D9442854 +0F98757EB68B95C88FBA74FE5B145A2B6C3958D7D7D770773F771F106A47A35B +708E757821D03F22B3ABFA94272E24D61819BC851595A00CFB13605C758C82A7 +2887FCA03AFFECACF951E21A2320DF88D1B1254DDD7375CB5E873BCF5AA555EE +E41901AD35D393E97FAF284B7FD4B3C2381EFB52DE592514511165241A8C57A1 +F0DD9ABAB56A56D195146A56C0960447D0CA560EFC73F0611FD91E6C9AB05759 +B10CAA561E4F40F562F478F9E67113AB560860CBFE73681A88DBEDEF1D1D4598 +05CA35BA4F7187ED54991A7B090B4C57AA351F9AFC61A90FBB56F79F8B00191E +137A59E8E0C6D9645D49D86D022478D0514E1269A8324363E6BE81FF427CA359 +8941E7DB8D7BD492AA91C6C5B8480E194C72E10ADB47BF785AC588F860911A5E +682B91867B4F1BE678DF7D6097A7DD067CACE9CFE03F08A0CE4D51D6B9FBEBC5 +2273290423C711AB728F774D241116F60627F7ABBE6B6693FDA1A4EAA78B65D8 +C03E3EFD29A98055E73C9F74086E054A10738C3E962A04FE8D72BD4248D6FDE6 +7832C9678718755196D15CA17D55F30A3593B7D0CC4DFE4EBB33C7D013DD4793 +735D2F121384E06870234B7533415274430491E786FA12237C1FD7E90CCCF924 +EEE4F211DEEDF4AFC1738023613A0C6C86DA585294D035224A8E5B2C01213665 +2DCE75F81239E58398942B419C992BFF1FFB97715F844F284E3265FE209E6CDD +AD3698B51D9AE6ED6B92E03229A48F6D189318B2C21A071AF0CBAE3D6B0F9E80 +89DD0155BBD2CF817EAEF883317A92369922F414D975DF76E1B6BC4AAB214C38 +E415F27CC73529628BAC4396E27226D1734E02529DCF07C487B97A16F628720F +377BD3668747A2B9894B4C3AD47F57D90D3F09BBD1E901F5D2E3FB13343F286E +50D0A26408C6D7309DD2D791D0B7EA9C04827C9FCA3AEF0BCEB7B3B504EB3AE1 +5F94F0ABAB457517CB148CF1D4FC68EC8741C4AB042EF29DEAEBDB157E240CB2 +930195EBBB5AB2606477531691D7897B2FDC4EA7948D626E123C13C2010D0CA6 +F07CB0AC1117AE571357D3F25325457239AA6A55518FB3E57CD6BCEC38671EDD +70E24C636F86CFBC13B6434CA477399E6578DBCA85B24AD53D11F17AF4A7AE57 +C8346FBCC14703EDF7A81C2254DA88D3CE4DFEC3B99408510C5BAFFD6D28409C +3FA734449C3BB4FA73A257DD5A44681F40EB7569F458E049ACA61DB618B8867E +F6ADE32FA9A5EF1E8262FEEEF5B9A99F072D719CB17F8DA062FD589DD83AB417 +275656AD81BC8FEE2DE095DCF8A72C86FBF6B51720162EC0A9C02024A34AAFBB +3F4B202447561086FC446918A59FB35A03D6638DA38361B32512FACF454F8DB2 +24863296908DAE9078CC780A20C9FA734C53D3EF37A1A51BAB86F5175D5C9F4A +E07E7F39141215D71AB3A653D4DBC7C7A77ECCB5EE95F4DFE208A06464595156 +2B9458EADD720534E7E6C53A925C5C1856DB461C668B7D7FC6F77616052516D6 +901EDE5035C38034BF95AA3A755B7A206948863D5402710A82EAADBFD8481FFE +7D023D1263F1B34FD281C821B39451E25B34D76AD13C8542B8405FD057026379 +6C5C14B0729497157FB55BCE2116F6EA6A417C4D93B028AAD592F41E353E12FC +B80C807BA8E6A5A41332DD9C8CF7A9889AA4A7842E5C4D011DF8A2E77AC651E4 +81225D941CA7BCE5E79492C35007E3BC8B4074E38B8A9226CC66FB1A2AB0BFA6 +4D0B0AFDE1CAAA5C56C6EC5E93AC198D7ADAEB7C853A4B7B46CAF479A8E2A933 +74D91E2AADE484067FEFF6DF462205EAFA5C2345539A2DF14EA4F34CC7BB7ECD +A1C991094B70C7D4E8EC1F315705AF6CAFB195018207FC50839134BE5C611AA5 +BC720845263B6077A87D9187D2B032B12C30B0662F91B8A24F7B1B8E5746F5FF +8D7BCEC19DC7551401BE6DC6CA80B91152AAB529A090FB2A2B4313BB45A985D1 +3F59BDF42505D485BB6BCF4885F985CBFA0209B0FDB3816659C9AAD63507B97D +C9677E2AA8329ADAF07641CB1E1EF6FF825B8E50FA32AAD7B87B32B5CD7FE962 +B47E7B97CFFDE517A10B6CB705A68BEB189A7D11B8CA646B3F428DA26A279B69 +2B917CA85610BB4C627DBD6FF6D4157EF81899F2A9F8898D841C238BF90D7119 +353B5544446316E53014F572F01727E50405DF41852E9AC2A9DAD708AD162BBE +52EEC6E53EA172F5E293272FB425B32ECD08C323F8920A6B43A2ADA32CE89ABF +E36711DA9BCB156EF6CEEE09A48FEFE23AB849CBECDEE8ADFEFE43C93D97C7CF +7C31239B1E9E2B2650D435E79E97EC506613861734EAE3F6E89529E79C9F898A +16C8B12245698C4A9A6A3058CFE2A62C3AE463DAE7956351CEC1883DE3FC6427 +C8CF0D7BA597037AED46ACE0CEEA7C457CCA483A0B280C9E5CFE547F984B742C +83BCF607AF1104205E1C350667FE347479CB4617BF5FECCFC1C0C5B951648A25 +0935A221E8B2EFB8E2803754885E307FE7C5FA73B8678D28C973A2F97A8B16B2 +3228B8AE6AE44862E5AF2FE34BEF08589A3CD94418317F5D10F93EDD9508CEDF +F6C2A02ECCD0AE3D14A2D09FCA4672B32E1BC2F32D016C31471824D143F431EC +78F8A75D33B6F052B379AD1C03BF8D59BBF449BE087261FF1504823DA5D44DE5 +A553CCBB22F55D17D21B088962F8DA03B47CD5CC4DD64241D21E40EC94F742D7 +2FDA940CA8D2B47751973CA411596918C1BF4A1FC8AC700F18B31DFF150E112C +3759F872104919DEAE3992E68D92B0C8A177D06E5C6AF20E0C625A6B42752518 +6E8004D7974BAFCF17079FD101FE506E0E1A2B5CC515391F4F153482B884A27B +A4A73345C7D74B14E9D74986982BC19BF19BAF0E47F0C55D528DD013C7FE8065 +82D1DAD8F6343FE719F36243B9A1FF1071410D17D2ED39D2EFF017598EE80442 +8EECD2D62C0428B60DF2322E54A34012E907F57A5B10ECA340D3D021DF1B8A47 +0DD269BEFA30EE054D8674229FA55D0CA21610E502D8F3D40555B1A54678F2C8 +1949D7276CFCBC4889283B0C1008D0D7FE07BD216AE404D6CFA46CAA503D0093 +0A4256CBDE760E93E2CE3199FA8718EA74726961769EF3B89BD76CFACFF6380C +C82C0385615850FC8702FB5C91ED023F5F7AD5384FD405CD30D3DB535BBF1613 +08134F0FCAFC72656BBDBFA20A80F8C97A799CFD5462FC0FAAC9C2596CE8B325 +089523573607C6E0C7D4DDCF71D86F6321DF5D413D42AAB5B038C5B7986289FF +7B0C37E83029C47880F5CE740DD1DEFF829156C4D4DFC0CE927B478984FAEF0A +3ACD3DE468C73A139A858C016C9828C7DCEC7A35D9021F69A59CEF16881D47B5 +6B06216D57054A8C232FF749CA9B773D5F6FFAF8F397727F61E904D7A7CDD409 +689187E9C6FEFDAAEF375C85E508CA64D80BEB40C506B51AD85F93CE046B7EC2 +72FDAD450F425B15098D4C7D31125CCC652E599D508D2C0FC6365136C573711A +5E6D62BE67E7DF7480FA2A14FCEE4786076658C55E36747D4D826BB612C4049D +957068403A08BB7A0968518B094E99FF0CA3F73D4CC87B6CA75202E283290BEE +FEE9922DA84F40B9D1D78E894152C12DCE4EF4F5C57121623E4C5E1757AB490B +DB198B6C95C0C96A410E17E44F630079E8555BA940922E12F37ED374B45B472F +59842091400185752E080C0D1A64BB44E28EC725F1DB31637DFEC6B4148A5D1C +6A31F46E5B5EF640F4F31029B3394F8C574C8BED4613DCDAA9095A7A947305FE +29B6C493982224E041EF17A3C1D44F28FE2027F3846EE030D68E5D6A90F0043B +C37287EDF14D10A6525011DC0C115A4E3611F0E599B50B3B49519CFB2766FD57 +BA6C27D0C498B25AED4237267C116E06079871F9F15F6881681F25C4A896FBB4 +B17EC69F747743F06A6EE7BCFCF4B6DAA1708F8EE1A0CB1EBFDCC4D287B4FB5B +2F51660FFA663695FBBC9EB58AB735CACC6C0D7A4B1B8574078E4A8DA3CC3AD0 +887C37E808645576B0E71CED2DAF3411A63E1D86BA5B178E42C1F3D82D2D7790 +8C7E670472B13A68E221713D8F136A752B3077DC817F28A50C9BF7EED6674F4F +57040260264DBE161E4F081BE4FC9209152D736C1646607FF7493BFB85419347 +A556703603EFB9E26A7F7C24854A13DB7307051A01058A9BCD8831B40343CBF6 +8A390BE2C9D4107925144D3EC2FB556B6CC6F51CDB7328D98FF1FFE359777DF7 +C5B049E3DA8EA7821033CA6A8BFAF15655F091CD1299BC628E17EBF71E9E5D69 +90E424F641EF6E406C8FD2C217950F5A0BCB508571BBBB6B7143E3660F815A2C +60CF9D7C9D1B89D9AD7CC9F5EF7D1CE596E560AE32C7F87AB6F9C7A0E309BF20 +70B6A50769B6ACD3B4AC165CA711148CC04B0959C2EA4C5974EAEE66289FE851 +83105A6B52463F6F26F389CFE5F6167AC2419DE1DC72F3053E3E40782F67ACEC +EC0880744F87EC602F52B620EC7109E2E2F949E5D8589EFB04BBA9EC2EE741EC +F24DA292329877177B31ED71DA86D00D5E3CDBE748CFB1A5AE63F6C27D154EFD +DD9FE72E9F50B6B7B67DDB008A6368365903A63F501972937FC1702BEFD09B85 +5D99D5B29FE5A300E9FA35A7F6D1A603568E9F5896622D2B6D5EEA83CE31FFF6 +3EE1DDD39CD177D96C7ABB566BE125C220F9B1C0152DEF5E7D6110A062AD9198 +3AEE2BF9CEB19BB374CB88427151F470C78873A43C6AD12DAFCBE3A47082A8C9 +C15B511428B2F9D15E28A6A3A5BC8A43975C6E920D8B6D8BD53C535BFCA7FEC4 +093112EF3797D7D2A2BEE26A75610F8494C6BC2D031A6CCB01931B29888E571B +C7D7B170B601A25C94D2531E831308DB9CD6C58823523F344A1E2AF88A31F35C +D7B4A3C7E3E3D01FC179DCB9072D00576F732F22F400CFDB26FB54D3FDE40B8D +56044CDF99B30E22FCFD870CF58B312D66B23414EDB9E433A828730C0F4C89FE +C5C3347A62D289175C00BD5C1047E7952169C918C253C417096B28F1EAB3D641 +826041014A965FE3F4F2A1991C5FD8F3858FCA439FB210E892070D9DB166EEF3 +D588076AB87EBE28D6862A956EF16BA5588EA6047EA6765B28784D0440D301E1 +B114CFE85E3108ED78AAF27E8D8FC734A6DD83EB9C45FCF3D0ED767CA65AF97F +EA68B2D286B93585E7C24126E238CFC85F6D7C5ADF691D4C968766CE2E292469 +19BB8EBB268C80289A2CE732AFA4D8D62B19A61164AAC1A64933ACB9186CACDF +13ACCAD04BB4AE6DFB3164E8795FD8AB7CDDACF0223454D69E57B04F57FE30B3 +6DBC073129AE531B21B8F69DEC2FD91D4D52F29CDFADF421B5A2B7F185C33052 +059B102057CEB63B5284F1551B030E3B34B7A919D5799165E2C781E65963FD08 +936DD8A5DEBC06B64274407DFDF6C296D06B13B1178D19AA43D912E80F4BC172 +F6BEC8A9A06CB0ECF54261B52C355577DA37481F9334C0C7CD0CF8F28A0CE00E +89FC99EAE6501838DE30A08991E9B168D661596CECF2D6E63F6AF5DFDB0BD023 +D94D2EA523EBF949B5FA76AF945A89BC5CEF461F155A5FFC2A490F01D2D6D04A +2F561E3818860C71E12CF799544062EC3A41C6071D4B88CA128D46EE22E74700 +12977F75A3F85E82C396D9E209CFDF1946595D5206030D2379119026737D8106 +521E896C5E0ABAAC96F8D69503E43F4961D33F82BD17A2B83C75199494BCF645 +6B489013669CA16591A32A908AAAF331D0FFDDB8D6E1A1D1CE65DC111C02DD7C +D4C734E63A93F05943D45F852364CCCAE4CB512A58793A719F76643A6E23FF7F +E47F4F0341075E30F529E6183D8059BEDD75A9517E0C8552C113EB226EDBFA60 +2FE5CD03CD61242F122C3AA16E3B8ABF67A8B0600E479E90DE520F541E7A23ED +F4834152828B1B3EC7F4C475E9F8256875D2A990D8064D744CF19319956C302C +60EF24FC4EEC2B6832CF7AE5CEC3B95CA01EFC2826059E1273F84E506B20B7BC +FB794213AFF981E9204EC2354B5664438BC9E4688A7D54AF33414687442B1A96 +DB227551C133B39B91DBA5AEBAF21D18FEB3CBEE02BBC2CCF1A9542BF202F5C4 +2C194788D20AF1D5BEADCDF0241FD4F1FF6F3DAF9FB18F107B432E5FCE7B823A +C5D0A4037248D23595AAA695F34FCBF49CFF96E724A8E44AB0997DCB8225C36B +44DBF925F1C3425EBE90BAE18F165B0886EFBE3EEEC4BD7259E3E8C6E3E3A2DC +806AF2C7B9AF2CE4EFE17CAADD73CB7A7DB562B2CFCC6C8E30768852BAA45070 +C549487793711D85DFE5FEBE0280FDE50032F17DDA8B94141949CA5B8CB840DC +6275F33DCF8CB20AE21C3A555C8B7EB5CCDF4D843511EFD646590B40CDEB821F +FA64A13387B672CCA54628C143FF067274E1FC6019E6B4B2E3221E4533C320A0 +F354366196CCF529C350B9B885CB615F24D7DDFCCA7648BF8F65DFF1E9F42DFE +0EA74BD66116FCAE2B61089C57556B3E864762D5061BC87498B83DBFF3140122 +AF1CFAAE9B1A54500D5186AE3B9D9FA76A55B20FBDC8F00BF9DBAEDFD9B60C2B +D540C79D44ECA74AD3B2493264BF23A95B220A365C77A4AD51F0107A21825388 +8A03C716319E3532DAD8E6D13322686C74B1A69A1B140FF05B564D8214100115 +8774B1E99473EF1161DDFAECADE941B20A8DD058BAD41FC9BF1090565DBEA3A1 +ABA8EC9624F0A2981A4D6AE3267E03340709165BB1174E364A944FCDEA63A905 +7220481382E95C15CEB477D52B5FF0553F00369C29B866F9C82CAF90301A28BA +4D14E77A705077711D8C5DFD1783F222994CAE622BFBCF21878BEC2CB9AC7C91 +823C0DBF528D1E5997A60F212807268BF91FA4B398AAA5F202F097BD56BF273A +D0D4D3F6E15FFE57923B4CAD5C703DBFB006FC3F8C7B91A689BBA0D30A0DFE11 +587EDB767F619FCC79BCC93C5E9DC93F72805715190F13D9209C80CE18916BD2 +CFF2A335D8E21B5E9E5D493F46BE0616B04340C641403C765B764262AE4C34E9 +2714C9AC67AB215F2296A261DFAE548533018577FA5B1662A266E2D041FD8BBC +D080AFDF5C899182652E6C8D4760823165F4CBDC653EBE80EFDAD04F30D1EF11 +6CBF051809EF8D0F107CE4898094BCA694403AEF18392CD26F28C688F641A885 +3458A1054BB63F9EB2ADB784CDEC3B65A94F565F3520D4E9DD7A15E966E9720B +249E43E93718EC6D61CE256C3B5609A205A92692765E2EB8FD225029885842D2 +927D2E41B8BCA19CCD6121F43613B3C0FE0A44518D2C24E390C01493D6F59F54 +DC1C3DB0691A23B97BF780A16D224BBB86D33CD66D069C38F8C8DD441806373F +11B505D62C1AC69278226887238B8ABCCCBFA78C44B3255D59D29CA3C0CF285C +A7B47F938906A91210CFD6C200A4BA1665011C0AB9031F8E57024747B51F42B1 +EBFAEB096158C23B0638CF0A09A3C3A64A3FAF60F2760DDC2F863C7313F82A36 +4D0D98C806315958A5AE9F641AD4C1079E686C20F54B4443223516E9A3C5E6D3 +5940B42905AADA9B87542F4E738C513D2F30174568A61D3B28889D0CE4DB7232 +3B883B01E3D1510F608F21DA1375D4EDB3A74EB3F6E08C707A22AB6614AFDF97 +1E45AA46A06F91DF09466F8BFB5C5DA277012BCB134B22CDE63172D766B6076F +0BCA25FB0EA19DD3875A11F9A44072FB46037BAC41DC3D59CB948FD3C09F5CCC +617F407836672EFDD7A1E8EC8CF99F8AC3109F36124BE6667BC5E85D0422A04B +94E5636719251ED38C716D2E65F07E30AE5BDBAAEEEA5AC5CB0AE98442527D7A +944087B590250ED1DC15BA688D27E472BEC9FE909750778A6D73209FADBB66B2 +9598EF9B02D5C59557E0755133C4395FA8BF3A629058F5D370276B5F37B26BFA +8A8FBB0AD66CB5411C4FF4AA9625B475FDA504AC37F15906E7CAE626FB84FA72 +7A5A35F440BF9193458FF9EDD5D892889A2D65F1A92C5CAE3CABF1874316 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +cleartomark +%%EndFont +%%BeginFont: CMEX10 +%!PS-AdobeFont-1.1: CMEX10 1.00 +%%CreationDate: 1992 Jul 23 21:22:48 +% 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 (CMEX10) readonly def +/FamilyName (Computer Modern) readonly def +/Weight (Medium) readonly def +/ItalicAngle 0 def +/isFixedPitch false def +end readonly def +/FontName /CMEX10 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 122 /bracehtipdownleft put +dup 123 /bracehtipdownright put +dup 124 /bracehtipupleft put +dup 125 /bracehtipupright put +readonly def +/FontBBox{-24 -2960 1454 772}readonly def +currentdict end +currentfile eexec +D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 +016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 +9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F +D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 +469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 +2BDBF16FBC7512FAA308A093FE5CF5B8CAC6A7BEB5D02276E511FFAF2AE11910 +DE076F24311D94D07CACC323F360887F1EA11BDDA7927FF3325986FDB0ABDFC8 +8E4B40E7988921D551EC0867EBCA44C05657F0DC913E7B3004A5F3E1337B6987 +FEBC45F989C8DC6DC0AD577E903F05D0D54208A0AE7F28C734F130C133B48422 +BED48639A2B74E4C08F2E710E24A99F347E0F4394CE64EACB549576E89044E52 +EABE595BC964156D9D8C2BAB0F49664E951D7C1A3D1789C47F03C7051A63D5E8 +DF04FAAC47351E82CAE0794AA9692C6452688A74A7A6A7AD09B8A9783C235EC1 +EA2156261B8FB331827145DE315B6EC1B3D8B67B3323F761EAF4C223BB214C4C +6B062D1B281F5041D068319F4911058376D8EFBA59884BA3318C5BC95684F281 +E0591BC0D1B2A4592A137FF301610019B8AC46AE6E48BC091E888E4487688350 +E9AD5074EE4848271CE4ACC38D8CBC8F3DB32813DDD5B341AF9A6601281ABA38 +4A978B98483A63FCC458D0E3BCE6FD830E7E09B0DB987A6B63B74638FC9F21A5 +8C68479E1A85225670D79CDDE5AC0B77F5A994CA700B5F0FF1F97FC63EFDE023 +8135F04A9D20C31998B12AE06676C362141AAAA395CDEF0A49E0141D335965F2 +FB4198499799CECCC8AA5D255264784CD30A3E8295888EFBC2060ADDD7BAC45A +EEEECDFF7A47A88E69D84C9E572616C1AC69A34B5F0D0DE8EE4EDF9F4ADE0387 +680924D8D5B73EF04EAD7F45977CA8AD73D4DD45DE1966A3B8251C0386164C35 +5880DD2609C80E96D1AB861C9259748E98F6711D4E241A269ED51FF328344664 +3AF9F18DCE671611DB2F5D3EA77EE734D2BED623F973E6840B8DAD1E2C3C2666 +DD4DD1C1CF9DB1FD1568F84892C602408AFD8174118B9E1476C880193A1E332C +DEB81FA1F4C64D240C929C16D8516C4470EE50795719FA0A3BCA33A6F427B59A +A24BF1A2AE1CCC869AC90F3B25A2718F821C4A0969E30E899891212ABB5B17D2 +2760A1041FD13462BE5E0FA2C711F045E90A6371B9C9025F7B26C05D4FC8BF68 +9316D0D0B6AC3EF95246D0D89FDFFDA1CF32EA6ABFFFD9CC1846B899F84ABADD +2F259FCD3B2CB623D2DE602A812F94E98423DFAA48A3A4C3BE5A31C13D7DC2CA +5C51DAB16D09C77417EC161DB6665AA975F535AC3ED0D3B2A5C19602E5FD9D87 +6BF3A202D8F9C95BA18B95E7D53DCBEBA2B2750F9562163602DD6E8955EAF300 +4476D27FECBADDEF681E3E57664681CC7B8ED53F7251ACCDD7398588C8868773 +DED6D252BF748DACDC141B0ECAE13512A7D95E58146CA68A161836549DCDEFD3 +72FC900E907194E634A84FE49DADCDCFAE796215EC46A6CFE5F4DC5CA1D5AED1 +3211A833BA13440974E86A73A1521DFC4217198E4FD86CCC9F03519316ABBBE6 +7A92CE75E20B649630DF0BC37331D0D9A8C25A5A1C35E10C3EB901EDB389D4E8 +DE097A4D8F1205F13DD3A6C102EEF7DF2DF96CF42744FBA1C9F61140EB44D623 +A39E84DD17D9C3C2CDB72AC6B72039C0A616F657C5ADA4B991ED610D389F63CA +B1BD3C54C708BF01606E811E6606EC8B929D65801E343969C9274AA341B8B2BC +05DDA4C86F6925B3D59789C6800DD145197789C6EC18910B4784B1D9C1DD0590 +38EDE27876BFD72836B22715 +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 2 /multiply 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 +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 +DE687A0C60B837B565787419C6C5280FDC65746752C0F6A52F35EA7B0B0A0D21 +2EF0AA60022800BE9EAE7D55B6C81DCA45EFB856B22E06F759443B7BF0A9B338 +9B638F1CFCAEA14A080E895C86EC34E516C4F89053EC9E4D2FCEFFABCC6CE7C8 +8A7DBF91B7406864A975B0ED33CBAF717A4ADF23B3655D2AE48C4BE5AC89250B +7AB8D8B679A649A2EE85C063102909BA32B4AD9A67F75C769FAEB08FDC0BAAE4 +FC4845C609EE9B72EAFA494FC1447FB6867E982F2F36D9AE1E811583E00937F3 +10DE20D47F6B33925B338045BCD89B4664504E93FF5CEBB7E38F2800140B00E0 +795A04C94DC4E795AC6D2A41425FD500519A736FD801C03AAD09526292840928 +50A74581F628C53D1D52198EED9B6A0FE8482F9C223C68036C1029E2CDAB7E50 +4A55B4DE3608CB4E09D10A00CB3B440FB828B70A22B8D04283246413C98D654A +943331C29AD72C1003A17F2E9E31779BA9FCA31C7F6D384ACFE514F42F94BBA5 +244E9760AAAF36086B1FF9F6B7FC74D456FAA15FF320E4237F3209042F235235 +7E06EF9210ECEB86D3C19CC9B73E8456DB19669BB890309F6B8148D2289B74B1 +FE694B57FD48F0090B9AD74100B3381438EA3581766795A17FCC6A66518BA5C6 +4DFD24E789FA05BDFD841CB45E6700658F14D97DDF9A694277994AB01F810BF5 +F1B508C5812019EC1148F6F8821671B72149EF0DBCC631DF6E91AB5A817935CC +4F972B792C18CF14146A3966E4F600212C3814FA128FF30F20B1B1F485B7575E +AEC025401FE20B169A27F0122CBE793030DBBC742304C7FD283C7BAE09951DE3 +98C7C5709C1F0E3A3886BCBA34BCE5C258F3192874E07BF19B317651B32BD39F +9003DD1EC991637E6E908CF2C1238B24CEC3A08844DE24E091A4D24E6CAE9E16 +25E3FAB3BEE99A9DBF675B412B4667788E7092634092414719A257FD3B3E708D +9514D0E6604BD56F17C4FDFBA1B0C7277491C2BEA18E67BE9432CE4E498A9893 +E062E4A84994B596B90BE2603FA4656CA26A3658E343B69E63FABAAC60D75B94 +46843F9ED68E7E43741A610CEDE1850D6FAD7B7554F3725FBB3D47419C14B18B +1A6B005C76F125D959C6ABA8CFA8CE1B6E9A58775F0103AFED8D1A62D3E26963 +E08A226FD7BBC2B6536972A14F445266B8F44E0614059A1376879BD402E9C790 +7391CB883F76BF29C3F91C82F6586B020964CC24287D69816E9CF68B4F5EFDBD +CEFF02739393A47FA629C162EA9D1485AECEBB4F131EB1DF781039FAC5EA011B +956B24A925A86F88EF4AB840B78869E038A7FAB3EB926376080C5385501AB5D6 +5E53B6D3B38AE272938E449E0B44CF198BF8BA19F8A17BD49F10A49D7EB9CBC1 +3B91FDDE2FA748C839FB1A1DD747C95ED0FCFBA277F131B86FE7398E58512BAB +581C726D8EC8F97AEDCFA378B0D3BCBCAFDA90E76F18502FFBBCD969A60CB37E +DE352F364D80BE0F29987C0261FBDECC151AB1170AEEA1EDFCEF82AE49E4A80A +A4D0C80F1F34F3030981F90FB779B50B7820AFBF19A2AC72490CDC26BFA4BF7F +BF3065CF271B59F47FE7C113CC8264071B10C0E3D3D4D451DC4BA0687930B8A5 +41F78B18A050C70E1F31407C3943AC61EE23D4D990AE5705B6DAD8BA3B1C78E8 +DB69D0E064829E54C0E361F9369A56AE3BBE9C70E62F08E93EE3021BC24D17F6 +791F50ADC5FDFF2326B44662647D46473C94775F443A459B091EBF2DD1905E9C +1E2FCB35D726C43B6639D147D4F7C82FC85AF0E846F35E8E6386D07B8AB01A40 +C52F7891457B1134CD958229D2067A1ED01F2F01DF9D1D69A521DBBF551134DE +700C82A63B60C7F5608F30DA55B9084C1FF5B08EE7F01E2849E5F0730204A926 +163F67BF99BED24AE6ECB1477C056294E79F857732FB6EB428D93CC67984BB2B +F2740D197D7BF02C04F892F358DFD20B14D8AC8BC0D2609F61BE31935A8D448C +DBD1696DD5647D4C9BA29E077802D735ACB81800B2F0E50EE4A447AEA0B247AC +F2450FE5726502C0CDE496 +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 25 /pi put +dup 58 /period put +dup 59 /comma put +dup 65 /A put +dup 76 /L put +dup 77 /M put +dup 80 /P put +dup 82 /R put +dup 86 /V put +dup 97 /a put +dup 101 /e put +dup 102 /f put +dup 103 /g put +dup 104 /h put +dup 108 /l put +dup 109 /m put +dup 110 /n put +dup 112 /p put +dup 114 /r put +dup 115 /s put +dup 116 /t put +dup 118 /v 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 +9294B8CCA4D5CCF78C4BB89E2416895BAD6FFEC243BE3D4E2AF84483AFFB6EE6 +1131B2B412D9366BC77567959EC3CAA638A2D4A9EC6CD7FAAEBE7ABC19FCDB69 +4964F5504C078B456B0060E6D6D7A6DCB951ACAA12600E3924B4661BFA12A8C6 +1AA97D704E4D5A443A34BDC47EF1B698A03AC62A880FA77809AD42E199666001 +07AA626D8ADAB32E6011E0D252B1271E5202F78BCB5C173F7C27D64BBDC4AFEF +555B32DE16C600A6D06E7951B39080B81F45CD3BD26B90E1C6496D8C5B142F99 +80AF6076D00CDB2755CFBD39EBDA17F56A665CCA0517949F89046020E42DF126 +3291422F6E6BA9609D79F86D1EBA77A817562DFC02985F63A01F4531B43D658A +AA3F6E5A2F4925C3AE4393AEC8AAC2BCAD2E1E14B32FBFFF7F49EDB272F996A3 +8503FEA1E9598E7885D2DA30D1E676B567EC1EE68BF9AE4AE2F8C152204A2A63 +1A0EF2F3A7221FA95EEDDCD826C84748A009FE24E8A4FEF2E39D15C7B27B2F0D +E189E14655CD7A6AC33BBF54734B9981E54096AF63A4D1DA74E83DF5B5F175C4 +F87A21EF6FB704A0194D0DB5ECC710402E76F878233DEC20D5967D3C55A33521 +C1BF1EFAEFCF2568FC6F7379CA6390FE849F8FCAD0D4A6717C337582FEF00A9D +CE9E06D1C541B3E8FDBF001927F0931342724674888BF9482715E40714642328 +1C7C584915F96FC9332A377C7E1017FA97E9A3BD47235E8A09399C12678DF5F2 +81FC1DB15853A4FE494A9A26DEB93F3C5F8FF5B5F9E36B7D1604B68D6BC92F56 +7AD66013AEEC0237074CBD8FA59FA3E5C33CF5FDCE4500F0B9815A8B72FFDC47 +49DCFCAC18FA60C6C8A04BA9600DEFABFEF2980639C745770D2AD56E20853DD9 +709735C3686337FC0DFF4DB6A5BEADE56DCDCB7AC33B58A67AFF5EF27D6E96D6 +583ADF1204052F703623A1447C9CA7201F63B26661C5A524CB1BDCADA4E408B0 +A4C7F4C83A93E518E835279E24E0A3FAF951E121D629F96714FBCDF4E40B2691 +D391CC5E7006DB56E08B57A1A8D0FE3D5581B582A2624C319E3D258FDA3DA06A +A455FD7E01D30B35D0BCE980E485F5064C7C52E49CFED119D12F1BAEA830CE96 +281C870E9C3B7531F11BD815F2C1CB59DCA6CEF2D126DB63C18E29281EA4EB84 +D351DD0A0451F9507DEAB1A69A15B479FFBC5143B104DB5B04C56B93E63E89A6 +05FC913098A76FAE8CEC738A06FA01388DE5F2FD5023E83BE17D146EEF3F5760 +3A5927D29607D40FA401D276E26BE4E3BB194D8EF0A4C20B6B1445C9D9D8D579 +E6B6A25C0625901C71CA3F1DE5663017F889315E8A1EFF914371A9A935DDA8C8 +CE0AAFE46176A5BB449B4494C13560160E290712E93A8B839551B2431090706C +57E189FABDCFFBD28E1A22081E9A2673BA522FC2EAC69290EC3E99C2CFD93DD0 +2C313A4AA8597929CB5D245B257ECD155DF218743C6EF66E6CAE9140419D0BD0 +F5B439F4DD8F7889F5086D73DF41838372CEDEA97F3464AFDC4F6F8254A3BF3B +C02BF1D16B73ABE82D841ADDD7BBC53E397088058F587EA2F8AF6D9B55BBDAF1 +A70A1563A96E8021A8C3E520E68B86FE1F4E5991C73B3A044E8AAEAB39117835 +D95977154DD913BAB77F72E0A7F888C1127358D7C3D088B7AE34ED60C842B5CD +3358622C36B33A25CEA1AA95A82E9E38532155CA5CE959098309F97880DD1EEF +8A0F38031FF1F4A0A13383B3444E38F745AA94D9B7B1EBCB848E93B8F12F38C6 +890D38C63A52DC6F63072B2C3C6286FE7DA852F89E00EB72B164307752DF1E9D +5704B8072337B3F6E410FD51983C16825B3E129A3EA748FDA4E7E1D740A13525 +1952EDEA7CBD96648358E3B8B22632580041FC5CE94586CB9FADC8F1978492A0 +85701008D43186A905CD6DF4CE07D32B89FACCD5E62AF3F41083A30C956325E8 +A50190898740E1D18EF033217164434A112A374577553394BE5E4EE553896ECB +33AFC5598FA8A01A63EC7106B6F8FCD50E74A42FAF09E6D73394E28F7EEBCE95 +22CA45A7570F44C3A875226492388E09D45EAA18686E6D026FDC11ABF8BB045B +50B5AD7DD857967D920FF4352AA97F4AACBC7E91ACED0DC6E5FED646B9750B1A +5F198B18B2512D673B01A20C8B377DA18BF2EB3181A132C3FBC06F43D1A1436C +B360157178F6445BAE1D792E33BB9F4D9C498348DE664F9BBE3577896F710152 +D7A8E0099E490EFD6D7126C75E179BF06F1B222A75B269AE753C48AC4A2AC121 +CB62C56E961DF2AF960AF29B74E47A1C958A772BFEB1EE390AA36317FA3ADCD7 +8D6748133F3F4611EDE552D749B0DC4125905A516981D24831C3111853B0F34C +06099C787A66C480259DBBB5786E69FF015B35914A13D79D5A14E0452F1ED925 +34DBE44FA9910632569C82C97E750BE70CAE01B1966641A2C7CD0F497076FD84 +92D06F01E119326A455CC5404F1104D1689389BE66AA23626A076D542D8C7AFC +3096601A53F95072F5AE06600F19072B3E6650BAC6BCE4AA4F126F4532D4E050 +C031F111358DEE0396CF3720BC7D4B2A108BC938E5F89559DEC0A4D7DC14A30F +E7F415BF2692BF2986B9F2A8CB44180421081D84966AA654AA4141DD634D61C4 +58B2675649B91B1B65B9CA0D5328117359FEC82ED25AAE18D68754572F99DB79 +60E0CAEE4CE03BA4F18BD909A74E22A9C75110D797BEAA61DAA0A8C432B23F98 +2DA7603E7713FCAA0446947D11198C9C77430EAA6E451546AA14B7A7EE7014B1 +5B2C924EB72DCE7791A0EE7A38756E2182D48913E1FDD52F3C0E79401DEAA1BD +98DB1406BB3D376F4386E40DF9EB85144A71E57F7D9D5A75DF2BB15551E58342 +C82A3C28C93ADEACBAE229F8004D00AA6476E1D6B16775AD292A4DD72728ADDD +0ABADE343A3FB54B520AE9EE4A227C23B177EB5B0A4B1EB1586839CEC2216C04 +EEBFE05703D28AB4DF630EB6C4ABA720A1575701B93A554D88475F50A779CAA1 +D09F362A53F400603250F028126E29C41AC827D4FBD3A2C6BB8851F6C9965280 +873E29E9C50AF1431FB6E6D6F077E35742ABB790642C2BBB8F6D0060949B3736 +D2F1B5C7333C77850D5A391A24FA69FDA8AF0072ADDCF5DC8FFFFBA754843A64 +CE0C32B1823848E55EB696E0E341A92906FDE9C06D055BE8FB9FCA0F237325E6 +1F64C273A88BE579927C521B03BCC65E64BD599B5A5A0EF3877F59709FBC62F8 +7FC8DD97B7253C026E9595C0016E5B387ACD9DBCA0AE5105741D2D419005E3BE +81870508C110114ACCFF4E955E62BFE0364D07EA11CA4BF5BFC752E6EA6B1C1E +A94228893A681314070192E951BD1950323B8E64FEC4993984D440B48B03758D +87C6103376E207518A7A53B39AED5B52C7407E4587A877A94F845D5F250805B0 +7535D69E732B1BEC650C46590B33D3F91BF289A5AD39FADDAA546ECB69BCEDA8 +E604D21553637028763743896FA76C420394FA81D190F122F03EAF6E8F938EE1 +5CC523488C6C155C0C1FC46F0E4E93C65676C511BCD4B481B71089D08EC05F2B +4FC0820D24BA97593E4CA4E6DBCB6A89E9807B00DDB4288DA18A4EAA1B024020 +8947C03C5E23534D113BDE557D40FCF512DF34C6D6EA1C61FCF40E54DC572F71 +AB841AD403F2BBDD1588F83646B46B96EB0B8569642930A9DCFEACD93021DA7C +B17FED20E9C671BB508E8499F847612AC864003A99E5EBC8C6EC66A312D00216 +124B186BCF51122C2313385CDE0F627A4E579C16AA0012C509716E11B504E768 +1FA2E9E8EBA5848F762944DE1A317B2715DA403BC8989EC167DE0D479E156B37 +08D2A68F9C5DFEE7187D6C2F277A9C262F67C4A7C1AF3EB4B1620974DF4A552C +FBC3FD72D6B03F22152C47AD6725FCAC28A6C17F4ED188001371DF5B1816BDB7 +3699B196E51C92CB168FAF6F42B91EFFA62C3061E540CEC8DF9706CDA6CD582A +3C2B59ECBFD074017C56152EB1C5FEC740531A6C1D704273818AD236F93F53F5 +ED32065CA9DB977F6B56B6CF2D771F9E4252BC5D05B7D1C17A518F46C6501D69 +F47F907CC1019723ADB0345C6A5D501FE1D98A0033411D8A87FF7653879E1B78 +94864614AC69626C2836FD0D2B194E926944B77E9F4A516C150637AAAFEA5CFF +4D1BAC7D0073F8CEB71D7925195A5BEBE27B3FBDE1EB0FEBCDDBA1C1E61DF0E1 +AB5D639BF2F40FAAE1F6571790AD7025791DD9EE6C9868D62ABC685312B76D15 +03C6097FB801FB9B9BF18FB160CA1B5D679099DFB99367CA97410B36DC7A97A8 +8D57C978BC21D8E06138C57BE92A51BF6458592E01648D7F2382BCB54B7B930A +1ED6482C457DBB710417F5B00A725D9265023D279BE06AE6CFB8BA14ACE1AD61 +695F6706D0EF18111AA76601FC30AE4BD63D42CCCDAD763944EE52D4C0C87D0F +4E331645C3D4A539C9CF8D600D84109BBDC1B1035F04B7B5E567DB4523C5FBE4 +4B0C0562540B8ED27C8BCA31F518077EC6DBA45D315752FB535648A0056B8661 +54C5187856963643447D18C8EB5769B6D9C64CB5763405057EE8FAF6E55571CB +18D8251925F5D80722AA1A7F3C6FA4E4E93B856B742E2030BE9D2AC5D962A74B +DFE832A0099A7C5323D6C524B4D5DED8CFBD9147A7B813E122D755692DB62266 +BC2555CCF93C02CBBA64F4B126BE2FE174C4365B9AEC81F68A7BB380F2AACF4E +04C0B0159F9B55A337D43846A5B83B9A8C5F828E2C14FE4C007AE3EBDA067604 +4B6B9DF5EDC88C2F743B393E5251A28FEB1794CDAB7D8E50F69A022EDC3D2DD8 +862C87299CD63358F3043A1601438C375475848E179F136E37C515AD1EF52F09 +88CC5F6CB2CDB597BB8F2F78A3FA422F7B3909E1CDBB0FB2006B9C0F7C8B615E +7FC2824E83F9AECAACC8D756A8AB7EF31A0E4E9140954A315EF7819200C1BF91 +350E7E25B2C892FBF5D037A8ADA19E3DF387F141BDB61832CE17B20ACE0D6494 +363B217B8D1F58271B19A9725A2541E68708C2ED1CB614180B9D676002053AF1 +203EBD338B9DC45FD9203D1BADC0F6AFA61FB373FAB360E4BB4F3C7DA1AAE2F8 +277C34F5D59105582048F73EBDBF8DF61B9C3353922D5EE08EF538D9C7DCD1AB +9959EF88CE3B148B2766F9DE0D53C69E6888DC3FC77CC88A0BC5C2933FABC233 +BD3859EAC0185436B3CB9FAB409866313C3F62B33C69872BD86B9C2DC5E55672 +127A4EB6AB4B6ED40150186527622257BE23DAAF54412F2AAF03A3C0CBD6C713 +C58CD823556546373A6C912DF6075E4078EE0594DCE4584173F944D00DCE00F0 +A33D288C6E27442611A5E01786E28AE67B05257BE05C6BF0C773B2E22F34B56D +502108F79209CD073AA50513C2B32F783B7A5632C44D295817C5C7A2DF62CD20 +A098C55A06DD654631918D4F80230C5C4E6EA1489B1B02A1F24E814B31657590 +EA3032B68AEE1B4A4EA951161383F1229055753E321945486EDDE26C9329B1A7 +71750ABE23CFC8B48EA8E45E300AE7DB30470798AE0161568F41071539CA753B +61245D37838C97EB7E46645AD38103F3F24B998849E95D9550607C1D4F9600B3 +753FA629A3F6A24AD29CF6D00795D24EE6D1F8453926E03177853725A48D0A23 +69DC4FDFF8B1E934B32490BA5DAFF1A0C5467DFF0DB6725CA7F5B3614659BDF4 +8001AB833F083C1BC79EE82FFFFD98AA8AF8D817A72CB479C1E3D296FEBAAABB +5C26E1DE6F4A7436EA99250EF0A1ABA4B37A2137D77ED22DC22088AB32B58578 +8F665C34ADBEBE7A9CB18194BF43DD031A9A0D4A72F0E543C4B0401A4C66C33B +3C0711AF1A2C9F28D4C8942B36FCF5333165CCFA24094674806930C5CA325B90 +A7AF54821979830F428FD4CEDFB07306EA8CF3B1722775BDCDE2196A82E54417 +9F864C0E71E984C58D871174CB923F72671DB17BB2649C343B1FC67684B11D0A +68093D5F89A19D3B66B3D6E8CE30A5B088B882C63BFCB667C0E5E606D9F6DF19 +367B7CE64D15C5988833A85EA91D52A7B78EAD068DDB20A4E3D0A41309742020 +6B878562DFCA760A12B0E216B19EC4596C5B24C3B3823909BC9E5FED1AAD102D +77A249ED09AC808E6AB4D90BB224C7B856B8399B114A8AE87ADA429808282CFA +6D2B4F32A8B36711E51E85E44A9835785C9EEF84007E03B52E72D94C2081BD3F +785D7366F51FB3B6C6240BFEC31344E335096599F26C9D5F554D8A53862D4A47 +BE1E4266AA7C083ADDFF85DD7A7EFAE666F936EFFB828AF003F4DBE2D5A47CCB +7BA975A77ACFC36DBB73AACD2789D92D33F7FA836871414D487094F7C7894C66 +7D2E405CECA00F78999AF3D66CAEEFA5DC43630DED7FAC8D8D49443F25F5CFD3 +DF645AC02948F693223E749ABF9E139E031545C8CC13C268D1BBF848CB2F5889 +AA3DF72407FF03BB3D69E8C4F1A1A9D4B74E6CCAEC6D7781223825CE4C0FFE06 +360ABAF7006AEE49AC36CBFD6C7C27A1C48390CFACAAEB9DA02588C31C32D5B7 +B9D3C355C68A8036C895D478B0487BF0823B750A95E402128D5A63FB7E4BD352 +508B9111A82BDBCF4E1463C4F122DEC651D61BA185037D37A5A2A796ACD8C65E +37F57502C06C79F759858AC09E2F86B5A7D4C4B77EABFF96448FAAAFF284CAAA +E30A80C96A846DD739FEE78BB39ADBE3A904ACDBA023B6050F4B169BA3EA8EC4 +B5639BB9219FE86F8A7852A29180757162132D418476978EE11CFE730BC0F4EE +258B354F59681352F49179E0D8C5812B3FAC2BB9478CFEDC5CF998C04FEF2BFB +F3B8220F51DD9DFA7D7CC08539FBC007F9AC8624CC6CE2DDA82A05073913E553 +3D1EB214C65E04E9C3E36EEE4A66D81673CE19872B89AED6195544146701FBB3 +F0BCF33AD6DF73615A8C5B2B758CA5243A72CE481A61ABAE1DBC9D47C0FABD66 +A20BEF0C6C42EEF45266FFF4A3A24E4EDCEC17ABE73C3E974D86A04BC31B5C44 +52BA6FC41F8A9F173EE345948A5FB88333BF0A3198E268BE9250E088FD67F1F9 +A64EA6AF7E02B4E97FB56D80C4A14C7D30CB2295A188ADE8A4657B1082302EB8 +7C37027F3B971EEACB37FD76B855A0BDDC09D88496143FAF9066562CB57412C2 +6C606572399FE480214715E4C21845D86850F1FF3CACCCC8BC194B56D8B47DFC +204A8C220C38A3CBD6FCD6912A2E985944E847C6393F8107DD4B93987745505A +7E04D2F87C02EA33E8F089DA166A45A18BE497C19567854A48FD1A15A978EDF7 +5BB42AA8ED19874B2F7FC79E4086F755E1A13F3DF724AD6D89B8D5A5F67FBB2F +401C5AC0889725F43C57049D9AF40B9607C32B77CD8F8A3D03E60B6535A21C07 +C858C6140633CD3A001AC489DFAE5821394E0405F82608B44FD593734B5827C6 +2F5202A56B741B1D75DFCFF75EDA354466E91B219F35A1922FA4D33F748DEC66 +A97871F380E6AF5FB3C80C6B68F7FAADFB2AC76A5B19EDB808BD56B04DB46DAE +7F45FEBDD996CE9E7CA72B1A29872E7EECEE5EA0400C09222B7551C857540B81 +95B16195FB1F91DC692C67A6BDAA86A685CC103F80926FC06001A6AD39BA4E1D +4026E75B808FFC507C7DB6F6C6C526E1842936ED4293B04F235AB4C01CD30271 +ED324E562DA64905E94ECA2F2928DDF85565335500FC1F3274378B5A7DE5CC5C +F9056B39C14EB3619E3B5897C8042A8086E8600DA39BED19CEFAAE40C58B6A24 +B5A3BC3FA2DB8D170BA234F0 +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 +%%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 3 /Lambda put +dup 33 /exclam put +dup 35 /numbersign put +dup 40 /parenleft put +dup 41 /parenright put +dup 58 /colon put +dup 61 /equal put +dup 91 /bracketleft put +dup 93 /bracketright 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 +B4C38C1F2D24B8FDE686832FE96204552C820E45B6BAF0C3308742AE2BF9AE2C +A13D143C634DF87763BDF50ED371516188E0D49CC0EF13EEBA599EC236634E6D +FA425D458FC503C92155A513A725EBB71BD67AED8F5294C9624061BF29DF9995 +5C05DC0E2C6084332F589572394CA38C30D03DE3353CDE7B9E01E63D5FC8A8A8 +4026BD85408CD1302C6CF5E900C4F66CD23F27EFAC3999742884EFB617946220 +3874A3242CE48247ACFF7692391138888EC1541CB62AD1470D5F454423262F9C +67B57141260229634C8D0779B09E6D28F8A08A6BBB3C1809A895FA7FCDD6D9D3 +AEC2F9610D57C98AA6CBCE38DCC3ABE61696892DB3B82AFD1E7D5405B583A914 +A9494B61649571FA87D98E0BA694ADECAAF233FEFDDA7A7D870E4CBC5B805142 +478D36644237D416BC726EF21149ED3882D2EBD2F16B19C797EE3180FA4549FC +B1C111BD7B2062ED78962C9B5A65E2F5D5F0762CAE88CAF6084D37B1609FE20C +314B22D4F7076E244C26813CF02608EFC562B48DA5FC617607A26A215342C68A +F9330CE739F6CE57CDC233D82EBE31FD528DA03A3A20535B51F0AD0740164641 +F1035F6A226D2A3ED13A55EA609D92317153CC0B7978752C92DF2CCFCD2C9ED7 +E755E9C163C5745795DE1B80E0B3B2EFD2A73B595C754C998CF1A7E359A3FB21 +6780C041A0511EF30C2691A48DA6D834B5F783327965A67D04EABC3F5CCB3D35 +723B4540628A3D214962CB1BDB2380D59B63E53E93702F673717F58567599635 +56F435C70415F9A2F88BF8885A8A06C2B881F8283733E1D60E6F88356185A708 +A52BAE0CB540634EF64DC8563F8C127965375352765FFFAED39E526DF44B5912 +C08E4F2F687941BC25AC3C5F1B1088D6761E31543886EB642F7C1A563822327E +BCD850E524B55E628980E4370828310F881FA5750E29D1AE92506C8EB5670AE2 +A3D2F0C1BB5A9531EB8A9E285B52D9A22E63A9CBD8CCE3FAF6FA67ADB3DC0452 +91F305E1D9D2F06E4EC67A3597087C42E27E2418143D77414773C5DC560226EE +840773C3377F2384FDEC04878DB3FAB4210EDFD7EB7E8FB6CC36C4D04C674CAC +37A7CA6131D8179225E2F9B576EBDA0BB26BF6E17321550399F773D0C1B6D79E +5929478A656CEF2834CB5B84C4E273BC9ED3EA15304E0BA6D554BE6D86E6CB25 +4FB94BDC351692CF0CCAA5CA93871C01D1FB2F4CB32183357C0EA33A45FEE6DE +6120D2261B43CC0B04510317C31A6B90A577EA1BFFA2564D62EC8DAA34F85E80 +4FC5C814D8F2CB639F9BAA793548457568DEDEB1B109AD6D94CAE3618D7D6D7C +297707ED6CCC8CA0BEDFDA0587C3FF7506C5E0E038F2A87704850132114CF9EE +C7801720D06CDCA6A5C2E3326AE4348D55041319AC2F4B32F0FB2BFC277E5238 +D7ECCDED4BB617D4C863D1848D6242F5F9D08A851A8A6D9E591CF58D94D0C4DD +F34A77562E4F283F8C5FEC2C0A4E7E736A160AE0D446C043103055FFAEE70483 +80B3A1189BD1179E47395DAE96B54E85F4BF499AAC7351E1CCA24760A188FEC3 +8974E4ABC5D1D42FC244E943E77DDFAB2FBB2BF16700248C63352C0768EF2C08 +4D5497E841CE66421AF8445838A8D16F1EE1CF41172857F5A204B573FE2D5DCD +E22AFA2BAC6AC233E6D5DDCD5A8C7D24C375585EEE4BF63B2B858D2D2F3C402E +1D5E741453BDD9A10822891EACC7297FB2D94CB85F42A2C427BFF5A0A5673644 +E6B8F7F9A6C11E3730C7275615F9F8196D8D622B3CBBAB2E7CEB4B56A40B8979 +F06D722A5D3847C46A79877288C281CF1326389EA8094B04D1F1D7327F777539 +7463E1B47A5B5C2E3F8EBA +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +cleartomark +%%EndFont +%%BeginFont: CMBXTI10 +%!PS-AdobeFont-1.1: CMBXTI10 1.0 +%%CreationDate: 1991 Aug 18 17:46:30 +% 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 (CMBXTI10) readonly def +/FamilyName (Computer Modern) readonly def +/Weight (Bold) readonly def +/ItalicAngle -14.04 def +/isFixedPitch false def +end readonly def +/FontName /CMBXTI10 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 101 /e put +dup 102 /f put +dup 104 /h put +dup 114 /r put +dup 115 /s put +readonly def +/FontBBox{-29 -250 1274 754}readonly def +currentdict end +currentfile eexec +D9D66F633B846A97B686A97E45A3D0AA0529731C99A784CCBE85B4993B2EEBDE +3B12D472B7CF54651EF21185116A69AB1096ED4BAD2F646635E019B6417CC77B +532F85D811C70D1429A19A5307EF63EB5C5E02C89FC6C20F6D9D89E7D91FE470 +B72BEFDA23F5DF76BE05AF4CE93137A219ED8A04A9D7D6FDF37E6B7FCDE0D90B +986423E5960A5D9FBB4C956556E8DF90CBFAEC476FA36FD9A5C8175C9AF513FE +D919C2DDD26BDC0D99398B9F4D004B836D34E88C20EEB527CE1124209388A2DF +E27A8DF298A2693A9D529916AA0B2176E6ED237F69D84A8FEEB36861D1847207 +BE2BD61C6A412FFFEDFF13AFEC32AC7735BCCE5965F5966418A62ECB99112AB3 +3BC938EC590FF6922659125EB67E260BF02885E49BA6019E696D33F0B53606A2 +F515E0C45F323311613A94B838491BAB9FE230C5CC79D22925E3D882799F2707 +C32975A494F0F9513E4D8332E7E54470D9721FBD345CDBB48286F2F19CC6D66E +BB631DD6476A509167A49CA525A72CA50E82C1D08C2B372DB54C5949C753B632 +2009B761EB90492ACD3CBE6A35CE1B66F3BC4D8DC36827CE4261A703328451D1 +879438479917C1647772999171DCCF1491A1C9086E0C6393506768F8757BD81D +141C46EB9BF507EEC29962A0072B6C5D8C8588F3D68886CD2606DD3BD2FECCEF +63245494E93EEA12AAFB06110E54ADC444C7E7619627A48A464394E5DE06EB46 +4C76A2FF010318BBE48B3776C826A265C66515717F7F2E943C60EBAB23D96B5B +FD514A1C4E79BB3D3D2DEB936F90CD3FABF7B09FF7F564AB5CF4AF6A40E869FD +395885A88F4A138B3CA6943A2D430BBE43D91F7F17621CAF52FB7161DA3B2003 +82244FB6EE792DCA1722C03392C296C029A2DCC5BAAB3EA03F8DEB039DC83AE1 +763AAB84776A2CCFFAE9EAF0BFDAE417E8BE682D237FFEDAF224AC09C9665019 +165CE32F5349E857177D94AD6396570932E1657ADE4D3FF57A3419946CCD210E +57E5A1D91CF708395942527D127606350924D71BC21C6F969288B1C8CA3404ED +E6219985F7301A20621368F74747EAD38990A4C9F2B62913B8FDB93657409FF5 +178DAA785D1D07ABA0CF10D5EAA01DEC75A8E2AB707ED21E71272C1F0040DD37 +3389EECFDE24AEF025551025DE9728EB84CE1069B26B2162BD62F543DD1327E1 +6E763B55D6977E3769FB2D9CFFA39C34196DA1345F4E74E87D963E1BC55DEF94 +7E1C31323E7E56E590902DBA917B3FCC0A005E0FCB7E1ADA86F5B356E5B130AB +4238FBE1992DD4C31B7D60268AEF617A5728DE6239F7946EB230FC2D91D63809 +3B21FBF110309ADAC52D42784D8F104B47190EC5C6A85F0CEA6A16C98161B65D +ED0DD16321E534AC2178F97EE6359FDE3914C6A1EA3FB5C3F8F3BCC869DD54B1 +8A7E413CBC4093FB53DAD8275E9B85FB440E939FB17C46A75CDB4B37CCA374F9 +BA74EFD41C8322705503A0792E762E77BF9685ED7076EC873728A0017F7B2C70 +A7458D56DE0E4F0318B38620911D7410EBA99D170991CC0BFD1D8F1595A2503E +98D56443B811230FE123A90BEF7EDAC5A97A6289411EBF4A2A1F71815F80AE62 +F5DFACFF726BF0D6B4558AC79ED8CBC7265F653A060BA4AB2A309BC31989DC79 +E693DAE27717E1DE8955CAE548D243B0ECF0B0802212614B714A10F41BEEF0B1 +3693D366359EACEEB44FBB2D34D864EE22D97771CF6AE6C0DF6B274D3AA488B0 +C65012222494B2FD3AAD15626F91B4A83AD67416D56F9ED356F5BCB5F737252A +18814EAF5E5D43F321F69C5DD1F7303F5E95E7155757685F01E28D202E7E28EB +C8DE56580BCC0399ADDAC92795D44E7363938DE7B438AB3042EF9ADA3AFE0087 +02516A2B483D8C973D390711354740A9B3ACB95CB58BB1FE63BD1EC5700332C4 +DA1BC33C1D3A55F6CDB65E8DAE9FEDE3C8E8518FCCBEE65305121B1F4EDAA618 +AD983CDED83F3A973EF5E3491AE16392D2B63C72B657BE7D7F746861BB0A89CC +C246FEF0B92D70BC90532CEFF23DF06C19ED034D413578701D1F60A2CFA3AC6B +1F65549CEF4975F48C5833FAA5FB012B30765B3A141F6FDDD77DCE42C8DFA541 +FA3D21862A686C7F3711D5E7A01FB255B15C97EBC9BAF451C9CB6E4B845523DD +83595EC1A7A0D77BF8959174F50E6A3679424277AD942E48D946A9F1F9852902 +A68C8BDBE7FF5B15A64F7F1D00CD429B6B7763D39AF066BC2F1E3E557E6C865D +239A4377E53D1D9B893117DA4A3F6DEEBA877A503E2282658A89D31B8AE3F5EA +899160F4EAB9966FD71E3EAA868E0AE55FE4109F31DB3468AF3014A66F571DEF +BE9EC82B351BEE270C3E5A022E3C8E97AE73850CD277A6E41F5303632CD0B9B6 +E0F2361BEFE4FB4F55CED6E21850D37BE61B203E0BEEADC986EB15F43F205D57 +827C6BBF21E8C7EE7A1682244EFACAFD5951A2D32134974E27ABE0CE016A471A +474AE7AFA8E250E4A39E2362D715C73912B2D4A962EA72362124EFD90E3BD3C2 +764B19EB529EE1FF3BC2D10C18E9A3FB1120D9097DBADB989351B2B3564C3A0E +6C01F06EAD6296B36156CEE289E2D3049F9AABEE268BD1FCA597BDF844C5521C +1EC8FB947FBE91969078E8DD6951 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +0000000000000000000000000000000000000000000000000000000000000000 +cleartomark +%%EndFont +TeXDict begin 39158280 55380996 2488 600 600 (07.dvi) +@start /Fa 139[206 4[229 228 1[119 236 1[122 3[239 256 +26[239 14[130 17[160 40[{TeXBase1Encoding ReEncodeFont}11 +436.833 /ComicSansMS rf /Fc 130[134 134 134 134 122[{}4 +297.444 /CMEX10 rf /Fd 207[71 48[{}1 206.559 /CMBSY10 +rf /Fe 254[164 1[{}1 513.918 /CMBSY10 rf /Ff 244[326 +11[{}1 428.403 /CMMIB10 rf /Fg 205[119 119 49[{}2 206.559 +/CMBX10 rf /Fh 252[404 3[{}1 513.918 /CMBX12 rf /Fi 105[39 +32[46 4[47 1[46 4[25 51 2[48 1[45 21[77 2[58 16[54 54 +54 54 54 54 54 54 40 54 45 22 1[24 2[32 32 40[{ +TeXBase1Encoding ReEncodeFont}25 87.7881 /ComicSansMS +rf /Fk 140[145 149 9[176 1[119 158 101[{}5 297.444 /CMBXTI10 +rf /Fl 161[228 36[190 190 1[0 3[228 8[342 7[342 30[266 +2[{}8 297.444 /CMBSY10 rf /Fm 162[93 1[93 29[260 2[93 +16[130 130 4[279 1[102 29[234 3[{}9 297.444 /CMBX12 rf +/Fn 137[117 3[109 1[124 2[213 72 3[138 6[131 10[140 3[180 +1[149 2[236 156 10[180 5[66 39[85 7[157 11[{}16 206.559 +/CMMIB10 rf /Fo 135[196 1[169 1[124 158 157 1[179 1[212 +307 104 3[199 162 169 165 3[188 10[202 3[259 1[215 2[340 +225 10[259 5[95 95 32[203 3[200 1[123 7[226 11[{}26 297.444 +/CMMIB10 rf /Fp 107[99 99 25[131 149 173 123 131 119 +123 121 1[135 133 132 196 69 137 1[71 146 134 128 138 +148 130 150 129 9[263 8[201 4[138 1[172 5[185 5[75 75 +11[63 105 70 2[93 93 37[166 2[{TeXBase1Encoding ReEncodeFont}38 +252.83 /ComicSansMS rf /Fr 138[286 171 200 228 1[286 +257 286 428 143 2[143 286 1[171 228 1[228 1[257 11[371 +343 286 371 1[314 3[343 5[314 3[343 66[{TeXBase1Encoding ReEncodeFont} +23 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 (Freshness Lemma) +/OUT pdfmark end + 4609 +1909 a Gray 5575 2027 a Fr(Fr)-9 b(eshness)127 b(Lemma)p +0 TeXcolorgray Black 4623 2582 a Fp(A)75 b(criterion)g(when)h(a)g +(construction)f(that)g(\223picks)g(a)4623 2874 y(fresh)h(atom\224)g(is) +f(independent)i(of)f(which)e(fresh)i(atom)4623 3167 y(is)e(chosen:)p +1 1 0.8 TeXcolorrgb 1 1 0.8 TeXcolorrgb 4623 5475 6077 +2104 v 1 1 0.8 TeXcolorrgb Black 4684 3641 a(Given)p +Blue 76 w Fo(pt)5699 3685 y Fn(\013;\023)p Black 6016 +3641 a Fp(,)p Blue 76 w Fo(at)6474 3685 y Fn(\013)p Black +6716 3641 a Fp(and)i(a)g(function)p Blue 76 w Fo(h)94 +b Fm(:)h Fo(\013)h Fl(!)f Fo(\023)p Black Fp(:)4684 3969 +y(if)p Blue 76 w(\002nite)q Fm(\()p Fp(supp)6240 4051 +y Fn(\013)6503 3969 y Fo(h)p Fm(\))p Black 75 w Fp(and)p +Blue 4684 4412 a Fl(9)p Fo(a:)h(a)f Fm(#)g Fo(h)75 b +Fl(^)h Fo(a)96 b Fm(#)f(\()p Fo(h)f(a)p Fm(\))p Black +4684 4942 a Fp(then)p Blue 4684 5339 a Fl(9)p Fm(!)p +Fk(fr)-18 b(esh)29 b Fo(:)95 b Fl(8)p Fo(a:)g(a)h Fm(#)f +Fo(h)189 b Fl(\))h Fm(\()p Fo(h)95 b(a)p Fm(\))g(=)h +Fk(fr)-18 b(esh)28 b Fm(\()p Fk(h)g Fm(\))p Black 1 1 0.8 +TeXcolorrgb Black 0 TeXcolorgray 10821 5925 a + 0 setgray + 10821 5925 +a 0.5 TeXcolorgray 9416 6307 a Fi(Munich,)e(14.)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 (\mbox {Structural Recursion for $\Lambda $}) +/OUT pdfmark end + 4609 1909 a Gray 4623 2027 a Fr(Structural)128 +b(Recursion)g(f)-13 b(or)129 b Fh(\003)p 0 TeXcolorgray +Black 4623 2577 a Fp(Given)p Black Green Black Green +Black OliveGreen Black 4876 2964 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 Fo(g)5331 3009 y Fn(v)8 +b(ar)5807 2964 y Fm(:)95 b Fo(name)g Fl(!)g Fo(x)p Black +Black Green Black Green Black OliveGreen Black 4876 3352 +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(g)5331 3397 y Fn(app)5815 3352 y Fm(:)g Fo(x)76 b Fl(\002)g +Fo(x)95 b Fl(!)g Fo(x)p Black Black Green Black Green +Black OliveGreen Black 4876 3755 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(g)5331 3800 y Fn(l)r(am)5854 +3755 y Fm(:)g Fo(name)76 b Fl(\002)g Fo(x)95 b Fl(!)g +Fo(x)p Black 4623 4147 a Fp(there)76 b(exists)f(a)h(function)p +Blue 7416 3979 174 12 v 76 w Fo(g)106 b Fm(:)95 b(\003)g +Fl(!)g Fo(x)p Black 75 w Fp(with)p Black Green Black +Green Black OliveGreen Black 4876 4694 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 4526 V 293 w +Fo(g)11 b Fm(\()p Fo(v)g(ar)104 b(a)p Fm(\))96 b(=)f +Fo(g)7032 4738 y Fn(v)8 b(ar)7414 4694 y Fm(\()p Fo(a)p +Fm(\))p Black Black Green Black Green Black OliveGreen +Black 4876 5121 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 4953 V 293 w Fo(g)j Fm(\()p Fo(app)95 +b(t)6237 5165 y Fg(1)6460 5121 y Fo(t)6584 5165 y Fg(2)6713 +5121 y Fm(\))g(=)g Fo(g)7455 5165 y Fn(app)7845 5121 +y Fm(\()p 7975 4953 V Fo(g)11 b Fm(\()p Fo(t)8402 5165 +y Fg(1)8531 5121 y Fm(\))p Fo(;)p 8813 4953 V 57 w(g)g +Fm(\()p Fo(t)9240 5165 y Fg(2)9369 5121 y Fm(\)\))p Black +Black Green Black Green Black OliveGreen Black 4876 5558 +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 +5390 V 293 w Fo(g)g Fm(\()p Fo(l)s(am)94 b(a)i(t)p Fm(\))e(=)i +Fo(g)7318 5603 y Fn(l)r(am)7746 5558 y Fm(\()p Fo(a;)p +8216 5390 V 57 w(g)11 b Fm(\()p Fo(t)p Fm(\)\))p Black +0 TeXcolorgray 10821 5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray +9402 6307 a Fi(Munich,)26 b(14.)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 (\mbox {Structural Recursion for $\Lambda _\alpha $}) +/OUT pdfmark end + 4609 1909 a Gray 4623 2027 a Fr(Structural)128 +b(Recursion)g(f)-13 b(or)129 b Fh(\003)10566 2104 y Ff(\013)p +0 TeXcolorgray Black 4623 2586 a Fp(Given)75 b(\(all)g(\002nitely)h +(supported)h(by)p Blue 76 w Fo(A)p Black Fp(\))p Black +Green Black Green Black OliveGreen Black 4876 2993 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 Fo(f)5338 3038 y Fn(V)13 b(AR)5957 2993 y Fm(:)95 b +Fo(name)g Fl(!)g Fo(x)p Black Black Green Black Green +Black OliveGreen Black 4876 3387 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(f)5338 3432 y Fn(AP)33 +b(P)5987 3387 y Fm(:)95 b Fo(x)76 b Fl(\002)g Fo(x)95 +b Fl(!)g Fo(x)p Black Black Green Black Green Black OliveGreen +Black 4876 3781 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(f)5338 3826 y Fn(LAM)6038 3781 y Fm(:)g +Fo(name)76 b Fl(\002)g Fo(x)95 b Fl(!)g Fo(x)p Black +76 w Fp(with)p Blue 5169 4142 a Fl(9)p Fo(a)g Fl(62)g +Fo(A:)g Fl(8)p Fo(x:a)g Fm(#)g Fo(f)7721 4186 y Fn(LAM)8326 +4142 y Fm(\()p Fo(a;)58 b(x)p Fm(\))p Black 4623 4612 +a Fp(there)76 b(exists)f(a)h(function)p Blue 7416 4369 +202 12 v 76 w Fo(f)128 b Fm(:)94 b(\003)8134 4656 y Fn(\013)8397 +4612 y Fl(!)h Fo(x)p Black 75 w Fp(with)p Black Green +Black Green Black OliveGreen Black 4876 5065 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 4823 V 293 w +Fo(f)32 b Fm(\()p Fo(V)19 b(AR)96 b(a)p Fm(\))g(=)f Fo(f)7273 +5110 y Fn(V)13 b(AR)7797 5065 y Fm(\()p Fo(a)p Fm(\))p +Black Black Green Black Green Black OliveGreen Black +4876 5535 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 5293 V 293 w Fo(f)32 b Fm(\()p Fo(AP)48 b(P)142 +b(t)6503 5580 y Fg(1)6727 5535 y Fo(t)6851 5580 y Fg(2)6980 +5535 y Fm(\))95 b(=)g Fo(f)7729 5580 y Fn(AP)33 b(P)8284 +5535 y Fm(\()p 8414 5293 V Fo(f)g Fm(\()p Fo(t)8870 5580 +y Fg(1)8998 5535 y Fm(\))p Fo(;)p 9280 5293 V 57 w(f)g +Fm(\()p Fo(t)9736 5580 y Fg(2)9865 5535 y Fm(\)\))p Black +Black Green Black Green Black OliveGreen Black 4876 6005 +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 Fo(a)95 b Fl(62)g Fo(A)g Fl(\))p 6566 5763 V 95 w Fo(f)32 +b Fm(\()p Fo(LAM)129 b(a)95 b(t)p Fm(\))f(=)i Fo(f)9006 +6050 y Fn(LAM)9611 6005 y Fm(\()p Fo(a;)p 10082 5763 +V 58 w(f)32 b Fm(\()p Fo(t)p Fm(\)\))p Black 0 TeXcolorgray +10821 5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray 9402 6307 +a Fi(Munich,)26 b(14.)f(June)h(2005)e(\226)i(p.3)g(\(1/1\))p +0 TeXcolorgray 4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 a eop end +%%Page: 4 4 +TeXDict begin 4 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 4609 +1909 a +SDict begin [ /Page 4/View [ /XYZ null null null ] /Title (\mbox {Use Recursion for $\Lambda $}) +/OUT pdfmark end + 4609 1909 a Gray 5331 2027 a Fr(Use)129 b(Recursion)f(f)-13 +b(or)129 b Fh(\003)p 0 TeXcolorgray Black 4623 2582 a +Fp(Instantiate)p Blue 76 w Fo(x)p Black 75 w Fp(with)p +Blue 75 w Fo(\031)106 b Fl(!)95 b Fo(x)p Black Black +Green Black Green Black OliveGreen Black 4876 2970 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(g)5331 3014 y Fn(v)8 b(ar)5807 2970 y Fm(:)95 b Fo(name)g +Fl(!)g Fm(\()p Fo(\031)106 b Fl(!)96 b Fo(x)p Fm(\))p +Black Black Green Black Green Black OliveGreen Black +4876 3397 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 Fo(g)5331 3442 y Fn(app)5815 3397 y Fm(:)f(\()p +Fo(\031)106 b Fl(!)95 b Fo(x)p Fm(\))46 b Fl(\002)g Fm(\()p +Fo(\031)106 b Fl(!)95 b Fo(x)p Fm(\))g Fl(!)g Fm(\()p +Fo(\031)106 b Fl(!)95 b Fo(x)p Fm(\))p Black Black Green +Black Green Black OliveGreen Black 4876 3834 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 Fo(g)5331 3879 +y Fn(l)r(am)5854 3834 y Fm(:)g Fo(name)76 b Fl(\002)g +Fm(\()p Fo(\031)106 b Fl(!)95 b Fo(x)p Fm(\))g Fl(!)g +Fm(\()p Fo(\031)106 b Fl(!)95 b Fo(x)p Fm(\))p Black +4623 4234 a Fp(and)76 b(set.)45 b(.)g(.)p 0 TeXcolorgray +10821 5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray 9402 6307 +a Fi(Munich,)26 b(14.)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 5 +TeXDict begin 5 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 4609 +1909 a +SDict begin [ /Page 5/View [ /XYZ null null null ] /Title (\mbox {Use Recursion for $\Lambda $}) +/OUT pdfmark end + 4609 1909 a Gray 5331 2027 a Fr(Use)129 b(Recursion)f(f)-13 +b(or)129 b Fh(\003)p 0 TeXcolorgray Black 4623 2582 a +Fp(Instantiate)p Blue 76 w Fo(x)p Black 75 w Fp(with)p +Blue 75 w Fo(\031)106 b Fl(!)95 b Fo(x)p Black Black +Green Black Green Black OliveGreen Black 4876 2970 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(g)5331 3014 y Fn(v)8 b(ar)5712 2970 y Fm(\()p Fo(a)p +Fm(\))96 b Fo(\031)106 b Fm(=)95 b Fo(f)7089 3014 y Fn(V)13 +b(AR)7613 2970 y Fm(\()p Fo(\031)7957 3029 y Fe(\001)8121 +2970 y Fo(x)p Fm(\))p Black Black Green Black Green Black +OliveGreen Black 4876 3397 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 Fo(g)5331 3442 y Fn(app)5720 +3397 y Fm(\()p Fo(s)6008 3442 y Fg(1)6137 3397 y Fo(;)57 +b(s)6447 3442 y Fg(2)6576 3397 y Fm(\))95 b Fo(\031)106 +b Fm(:=)96 b Fo(f)7728 3442 y Fn(AP)33 b(P)8282 3397 +y Fm(\()p Fo(s)8570 3442 y Fg(1)8795 3397 y Fo(\031)11 +b(;)57 b(s)9319 3442 y Fg(2)9543 3397 y Fo(\031)11 b +Fm(\))p Black Black Green Black Green Black OliveGreen +Black 4876 3834 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 Fo(g)5331 3879 y Fn(l)r(am)5759 3834 +y Fm(\()p Fo(a;)57 b(s)p Fm(\))95 b Fo(\031)106 b Fm(=)p +Black Blue 5462 4226 a Fo(f)33 b(r)10 b(esh)p Fm(\()p +Fo(\025a)6871 4103 y Fd(0)6952 4226 y Fo(:)95 b(f)7311 +4270 y Fn(LAM)7916 4226 y Fm(\()p Fo(a)8234 4103 y Fd(0)8316 +4226 y Fo(;)57 b(s)95 b Fm(\()p Fo(\031)9065 4285 y Fe(\001)9229 +4226 y Fm(\()p Fo(a)58 b(a)9793 4103 y Fd(0)9874 4226 +y Fm(\)\)\))6483 4398 y Fc(|)p 6617 4398 1624 36 v 1624 +w({z)p 8509 4398 V 1624 w(})8305 4653 y Fn(h)10265 4226 +y Fm(\))p Black 4623 5035 a Fp(We)75 b(know)g(that)g(there)h(exists)g +(a)p Blue 8078 4867 174 12 v 75 w Fo(g)11 b Fm(\()p Fo(s)p +Fm(\))96 b Fo(\031)p Black 86 w Fp(with.)45 b(.)g(.)p +0 TeXcolorgray 10821 5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray +9402 6307 a Fi(Munich,)26 b(14.)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 6 +TeXDict begin 6 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 (\mbox {Use Recursion for $\Lambda $}) +/OUT pdfmark end + 4609 1909 a Gray 5331 2027 a Fr(Use)129 b(Recursion)f(f)-13 +b(or)129 b Fh(\003)p 0 TeXcolorgray Black 4623 2605 a +Fp(We)75 b(know)g(that)g(there)h(exists)g(a)p Blue 8078 +2437 174 12 v 75 w Fo(g)11 b Fm(\()p Fo(s)p Fm(\))96 +b Fo(\031)p Black 86 w Fp(with.)45 b(.)g(.)p Black Green +Black Green Black OliveGreen Black 4876 3168 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 3000 V 293 w +Fo(g)11 b Fm(\()p Fo(v)g(ar)104 b(a)p Fm(\))96 b Fo(\031)106 +b Fm(=)95 b Fo(g)7341 3213 y Fn(v)8 b(ar)7723 3168 y +Fm(\()p Fo(a)p Fm(\))95 b Fo(\031)p Black Black Green +Black Green Black OliveGreen Black 4876 3595 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 3427 V 293 w(g)11 +b Fm(\()p Fo(app)95 b(t)6237 3640 y Fg(1)6460 3595 y +Fo(t)6584 3640 y Fg(2)6713 3595 y Fm(\))g Fo(\031)106 +b Fm(=)5169 3913 y Fo(g)5331 3958 y Fn(app)5720 3913 +y Fm(\()p 5850 3745 V Fo(g)11 b Fm(\()p Fo(t)6277 3958 +y Fg(1)6406 3913 y Fm(\))95 b Fo(\031)11 b(;)p 6997 3745 +V 57 w(g)g Fm(\()p Fo(t)7424 3958 y Fg(2)7553 3913 y +Fm(\))95 b Fo(\031)11 b Fm(\))p Black Black Green Black +Green Black OliveGreen Black 4876 4351 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 4183 V 293 w +Fo(g)g Fm(\()p Fo(l)s(am)94 b(a)i(t)p Fm(\))e Fo(\031)106 +b Fm(=)96 b Fo(g)7627 4395 y Fn(l)r(am)8055 4351 y Fm(\()p +Fo(a;)p 8525 4183 V 57 w(g)11 b Fm(\()p Fo(t)p Fm(\))95 +b Fo(\031)11 b Fm(\))p Black 4623 4957 a Fp(We)75 b(set)p +Blue 5554 4715 202 12 v 75 w Fo(f)128 b Fm(:)95 b(\003)6273 +5002 y Fn(\013)6536 4957 y Fl(!)g Fo(x)p Black 75 w Fp(to)p +Blue 7571 4789 174 12 v 75 w Fo(g)11 b Fm(\()p Fo(t)p +Fm(\))95 b([])p Black 75 w Fp(\()p Blue Fo(t)p Black +75 w Fp(is)75 b(any)4623 5256 y(representative)p Blue +77 w Fm(\003)p Black Fp(-term\).)p 0 TeXcolorgray 10821 +5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray 9402 6307 a Fi(Munich,)26 +b(14.)f(June)h(2005)e(\226)i(p.6)g(\(1/1\))p 0 TeXcolorgray +4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 a eop end +%%Page: 7 7 +TeXDict begin 7 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 (Properties) +/OUT pdfmark end + 4609 1909 a Gray 6424 2027 a Fr(Pr)-9 b(operties)p +0 TeXcolorgray Black 4623 2582 a Fp(Now)75 b(we)g(have)h(to)f(check)f +(the)i(properties:)p Black Green Black Green Black OliveGreen +Black 4876 3185 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 2943 202 12 v 293 w Fo(f)32 b Fm(\()p +Fo(V)19 b(AR)96 b(a)p Fm(\))g(=)f Fo(f)7273 3230 y Fn(V)13 +b(AR)7797 3185 y Fm(\()p Fo(a)p Fm(\))p Black Black Green +Black Green Black OliveGreen Black 4876 3655 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 3413 V 293 w +Fo(f)32 b Fm(\()p Fo(AP)48 b(P)142 b(t)6503 3700 y Fg(1)6727 +3655 y Fo(t)6851 3700 y Fg(2)6980 3655 y Fm(\))95 b(=)g +Fo(f)7729 3700 y Fn(AP)33 b(P)8284 3655 y Fm(\()p 8414 +3413 V Fo(f)g Fm(\()p Fo(t)8870 3700 y Fg(1)8998 3655 +y Fm(\))p Fo(;)p 9280 3413 V 57 w(f)g Fm(\()p Fo(t)9736 +3700 y Fg(2)9865 3655 y Fm(\)\))p Black Black Green Black +Green Black OliveGreen Black 4876 4125 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 Fo(a)95 b Fl(62)g +Fo(A)g Fl(\))p 6566 3883 V 95 w Fo(f)32 b Fm(\()p Fo(LAM)129 +b(a)95 b(t)p Fm(\))f(=)i Fo(f)9006 4170 y Fn(LAM)9611 +4125 y Fm(\()p Fo(a;)p 10082 3883 V 58 w(f)32 b Fm(\()p +Fo(t)p Fm(\)\))p Black 4623 4672 a Fp(Interesting)76 +b(because)g(of)g(the)f(way)h(we)g(used)p Blue 76 w Fo(f)33 +b(r)10 b(esh)p Black Fp(.)4623 4968 y(\(Assumptions)p +Blue 74 w Fo(A)p Black 75 w Fp(supports)76 b(\223everything\224;)p +Blue 4623 5309 a Fl(9)p Fo(a)95 b Fl(62)g Fo(A:)f Fl(8)p +Fo(x:)i(a)f Fm(#)g Fo(f)7270 5354 y Fn(LAM)7875 5309 +y Fm(\()p Fo(a;)57 b(x)p Fm(\))p Black Fp(.\))p 0 TeXcolorgray +10821 5925 a + 0 setgray + 10821 5925 a 0.5 TeXcolorgray 9402 6307 +a Fi(Munich,)26 b(14.)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 +%%Page: 8 8 +TeXDict begin 8 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 (Freshness Lemma) +/OUT pdfmark end + 4609 1909 a Gray 5575 2027 a Fr(Fr)-9 b(eshness)127 +b(Lemma)p 0 TeXcolorgray Black 4623 2582 a Fp(A)75 b(criterion)g(when)h +(a)g(construction)f(that)g(\223picks)g(a)4623 2874 y(fresh)h(atom\224)g +(is)f(independent)i(of)f(which)e(fresh)i(atom)4623 3167 +y(is)e(chosen:)p 1 1 0.8 TeXcolorrgb 1 1 0.8 TeXcolorrgb +4623 5475 6077 2104 v 1 1 0.8 TeXcolorrgb Black 4684 +3641 a(Given)p Blue 76 w Fo(pt)5699 3685 y Fn(\013;\023)p +Black 6016 3641 a Fp(,)p Blue 76 w Fo(at)6474 3685 y +Fn(\013)p Black 6716 3641 a Fp(and)i(a)g(function)p Blue +76 w Fo(h)94 b Fm(:)h Fo(\013)h Fl(!)f Fo(\023)p Black +Fp(:)4684 3969 y(if)p Blue 76 w(\002nite)q Fm(\()p Fp(supp)6240 +4051 y Fn(\013)6503 3969 y Fo(h)p Fm(\))p Black 75 w +Fp(and)p Blue 4684 4412 a Fl(9)p Fo(a:)h(a)f Fm(#)g Fo(h)75 +b Fl(^)h Fo(a)96 b Fm(#)f(\()p Fo(h)f(a)p Fm(\))p Black +4684 4942 a Fp(then)p Blue 4684 5339 a Fl(9)p Fm(!)p +Fk(fr)-18 b(esh)29 b Fo(:)95 b Fl(8)p Fo(a:)g(a)h Fm(#)f +Fo(h)189 b Fl(\))h Fm(\()p Fo(h)95 b(a)p Fm(\))g(=)h +Fk(fr)-18 b(esh)28 b Fm(\()p Fk(h)g Fm(\))p Black 1 1 0.8 +TeXcolorrgb Black 0 TeXcolorgray 10821 5925 a + 0 setgray + 10821 5925 +a 0.5 TeXcolorgray 9402 6307 a Fi(Munich,)e(14.)f(June)h(2005)e(\226)i +(p.8)g(\(1/1\))p 0 TeXcolorgray 4360 6416 a + tx@Dict begin -90 Rot end + 4360 6416 +a eop end +%%Page: 9 9 +TeXDict begin 9 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 4609 +1909 a +SDict begin [ /Page 9/View [ /XYZ null null null ] /Title (BUT) /OUT +pdfmark end + 4609 1909 a Gray 7035 2027 a Fr(B)-5 b(UT)p 0 +TeXcolorgray Black Black Black 5760 3140 a Fa(I)129 b(do)i(not)g(like)g +(it)f(:o\()p 0 TeXcolorgray 10821 5925 a + 0 setgray + 10821 5925 a +0.5 TeXcolorgray 9402 6307 a Fi(Munich,)26 b(14.)f(June)h(2005)e(\226)i +(p.9)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