--- /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 <tvz@Princeton.EDU>
+%%Creation Date: May 7, 1993
+%% Version 97 patch 1, 99/12/16
+%% Modified by Etienne Riga <etienne.riga@skynet.be> - 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: <dist> PathPosition -
+% Function: Searches for position of currentpath distance <dist> 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: <pathlength> <position> 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<</FitWindow true/CenterWindow
+true>>>> /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}<</Trans << /S /R >> >> /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}<</Trans << /S /R >> >> /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}<</Trans << /S /R >> >> /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}<</Trans << /S /R >> >> /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}<</Trans << /S /R >> >> /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}<</Trans << /S /R >> >> /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}<</Trans << /S /R >> >> /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}<</Trans << /S /R >> >> /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}<</Trans << /S /R >> >> /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