--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Slides/nom08.ps Thu Mar 08 23:29:10 2012 +0000
@@ -0,0 +1,3569 @@
+%!PS-Adobe-2.0
+%%Creator: dvips(k) 5.95a Copyright 2005 Radical Eye Software
+%%Title: 08.dvi
+%%Pages: 10
+%%PageOrder: Ascend
+%%BoundingBox: 0 0 595 842
+%%DocumentFonts: Times-Bold CMMIB10 CMBX12 CMBX10 CMBSY10 ComicSansMS
+%%+ MSBM10 CMTT12
+%%EndComments
+%DVIPSWebPage: (www.radicaleye.com)
+%DVIPSCommandLine: dvips 08.dvi -o 08.ps
+%DVIPSParameters: dpi=600
+%DVIPSSource: TeX output 2005.06.27:2120
+%%BeginProcSet: tex.pro 0 0
+%!
+/TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S
+N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72
+mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0
+0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{
+landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize
+mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[
+matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round
+exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{
+statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0]
+N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin
+/FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array
+/BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2
+array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N
+df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A
+definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get
+}B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub}
+B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr
+1 add N}if}B/CharBuilder{save 3 1 roll S A/base get 2 index get S
+/BitMaps get S get/Cd X pop/ctr 0 N Cdx 0 Cx Cy Ch sub Cx Cw add Cy
+setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx sub Cy .1 sub]{Ci}imagemask
+restore}B/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn
+/BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put
+}if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{
+bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A
+mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{
+SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{
+userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X
+1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4
+index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N
+/p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{
+/Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT)
+(LaserWriter 16/600)]{A length product length le{A length product exch 0
+exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse
+end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask
+grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot}
+imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round
+exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto
+fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p
+delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M}
+B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{
+p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S
+rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end
+
+%%EndProcSet
+%%BeginProcSet: pstricks.pro 0 0
+%!
+% PostScript prologue for pstricks.tex.
+% Version 97 patch 4, 04/05/10
+% For distribution, see pstricks.tex.
+%
+/tx@Dict 200 dict def tx@Dict begin
+/ADict 25 dict def
+/CM { matrix currentmatrix } bind def
+/SLW /setlinewidth load def
+/CLW /currentlinewidth load def
+/CP /currentpoint load def
+/ED { exch def } bind def
+/L /lineto load def
+/T /translate load def
+/TMatrix { } def
+/RAngle { 0 } def
+/Atan { /atan load stopped { pop pop 0 } if } def
+/Div { dup 0 eq { pop } { div } ifelse } def
+/NET { neg exch neg exch T } def
+/Pyth { dup mul exch dup mul add sqrt } def
+/PtoC { 2 copy cos mul 3 1 roll sin mul } def
+/PathLength@ { /z z y y1 sub x x1 sub Pyth add def /y1 y def /x1 x def }
+def
+/PathLength { flattenpath /z 0 def { /y1 ED /x1 ED /y2 y1 def /x2 x1 def
+} { /y ED /x ED PathLength@ } {} { /y y2 def /x x2 def PathLength@ }
+/pathforall load stopped { pop pop pop pop } if z } def
+/STP { .996264 dup scale } def
+/STV { SDict begin normalscale end STP } def
+%
+%%-------------- DG begin patch 15 ---------------%%
+%/DashLine { dup 0 gt { /a .5 def PathLength exch div } { pop /a 1 def
+%PathLength } ifelse /b ED /x ED /y ED /z y x add def b a .5 sub 2 mul y
+%mul sub z Div round z mul a .5 sub 2 mul y mul add b exch Div dup y mul
+%/y ED x mul /x ED x 0 gt y 0 gt and { [ y x ] 1 a sub y mul } { [ 1 0 ]
+%0 } ifelse setdash stroke } def
+/DashLine {
+ dup 0 gt { /a .5 def PathLength exch div } { pop /a 1 def PathLength } ifelse
+ /b ED /x1 ED /y1 ED /x ED /y ED
+ /z y x add y1 add x1 add def
+ /Coef b a .5 sub 2 mul y mul sub z Div round
+ z mul a .5 sub 2 mul y mul add b exch Div def
+ /y y Coef mul def /x x Coef mul def /y1 y1 Coef mul def /x1 x1 Coef mul def
+ x1 0 gt y1 0 gt x 0 gt y 0 gt and { [ y x y1 x1 ] 1 a sub y mul}
+ { [ 1 0] 0 } ifelse setdash stroke
+} def
+%%-------------- DG end patch 15 ---------------%%
+/DotLine { /b PathLength def /a ED /z ED /y CLW def /z y z add def a 0 gt
+{ /b b a div def } { a 0 eq { /b b y sub def } { a -3 eq { /b b y add
+def } if } ifelse } ifelse [ 0 b b z Div round Div dup 0 le { pop 1 } if
+] a 0 gt { 0 } { y 2 div a -2 gt { neg } if } ifelse setdash 1
+setlinecap stroke } def
+/LineFill { gsave abs CLW add /a ED a 0 dtransform round exch round exch
+2 copy idtransform exch Atan rotate idtransform pop /a ED .25 .25
+% DG/SR modification begin - Dec. 12, 1997 - Patch 2
+%itransform translate pathbbox /y2 ED a Div ceiling cvi /x2 ED /y1 ED a
+itransform pathbbox /y2 ED a Div ceiling cvi /x2 ED /y1 ED a
+% DG/SR modification end
+Div cvi /x1 ED /y2 y2 y1 sub def clip newpath 2 setlinecap systemdict
+/setstrokeadjust known { true setstrokeadjust } if x2 x1 sub 1 add { x1
+% DG/SR modification begin - Jun. 1, 1998 - Patch 3 (from Michael Vulis)
+% a mul y1 moveto 0 y2 rlineto stroke /x1 x1 1 add def } repeat grestore }
+% def
+a mul y1 moveto 0 y2 rlineto stroke /x1 x1 1 add def } repeat grestore
+pop pop } def
+% DG/SR modification end
+/BeginArrow { ADict begin /@mtrx CM def gsave 2 copy T 2 index sub neg
+exch 3 index sub exch Atan rotate newpath } def
+/EndArrow { @mtrx setmatrix CP grestore end } def
+/Arrow { CLW mul add dup 2 div /w ED mul dup /h ED mul /a ED { 0 h T 1 -1
+scale } if w neg h moveto 0 0 L w h L w neg a neg rlineto gsave fill
+grestore } def
+/Tbar { CLW mul add /z ED z -2 div CLW 2 div moveto z 0 rlineto stroke 0
+CLW moveto } def
+/Bracket { CLW mul add dup CLW sub 2 div /x ED mul CLW add /y ED /z CLW 2
+div def x neg y moveto x neg CLW 2 div L x CLW 2 div L x y L stroke 0
+CLW moveto } def
+/RoundBracket { CLW mul add dup 2 div /x ED mul /y ED /mtrx CM def 0 CLW
+2 div T x y mul 0 ne { x y scale } if 1 1 moveto .85 .5 .35 0 0 0
+curveto -.35 0 -.85 .5 -1 1 curveto mtrx setmatrix stroke 0 CLW moveto }
+def
+/SD { 0 360 arc fill } def
+/EndDot { { /z DS def } { /z 0 def } ifelse /b ED 0 z DS SD b { 0 z DS
+CLW sub SD } if 0 DS z add CLW 4 div sub moveto } def
+/Shadow { [ { /moveto load } { /lineto load } { /curveto load } {
+/closepath load } /pathforall load stopped { pop pop pop pop CP /moveto
+load } if ] cvx newpath 3 1 roll T exec } def
+/NArray { aload length 2 div dup dup cvi eq not { exch pop } if /n exch
+cvi def } def
+/NArray { /f ED counttomark 2 div dup cvi /n ED n eq not { exch pop } if
+f { ] aload /Points ED } { n 2 mul 1 add -1 roll pop } ifelse } def
+/Line { NArray n 0 eq not { n 1 eq { 0 0 /n 2 def } if ArrowA /n n 2 sub
+def n { Lineto } repeat CP 4 2 roll ArrowB L pop pop } if } def
+/Arcto { /a [ 6 -2 roll ] cvx def a r /arcto load stopped { 5 } { 4 }
+ifelse { pop } repeat a } def
+/CheckClosed { dup n 2 mul 1 sub index eq 2 index n 2 mul 1 add index eq
+and { pop pop /n n 1 sub def } if } def
+/Polygon { NArray n 2 eq { 0 0 /n 3 def } if n 3 lt { n { pop pop }
+repeat } { n 3 gt { CheckClosed } if n 2 mul -2 roll /y0 ED /x0 ED /y1
+ED /x1 ED x1 y1 /x1 x0 x1 add 2 div def /y1 y0 y1 add 2 div def x1 y1
+moveto /n n 2 sub def n { Lineto } repeat x1 y1 x0 y0 6 4 roll Lineto
+Lineto pop pop closepath } ifelse } def
+/Diamond { /mtrx CM def T rotate /h ED /w ED dup 0 eq { pop } { CLW mul
+neg /d ED /a w h Atan def /h d a sin Div h add def /w d a cos Div w add
+def } ifelse mark w 2 div h 2 div w 0 0 h neg w neg 0 0 h w 2 div h 2
+div /ArrowA { moveto } def /ArrowB { } def false Line closepath mtrx
+setmatrix } def
+% DG modification begin - Jan. 15, 1997
+%/Triangle { /mtrx CM def translate rotate /h ED 2 div /w ED dup 0 eq {
+%pop } { CLW mul /d ED /h h d w h Atan sin Div sub def /w w d h w Atan 2
+%div dup cos exch sin Div mul sub def } ifelse mark 0 d w neg d 0 h w d 0
+%d /ArrowA { moveto } def /ArrowB { } def false Line closepath mtrx
+%setmatrix } def
+/Triangle { /mtrx CM def translate rotate /h ED 2 div /w ED dup
+CLW mul /d ED /h h d w h Atan sin Div sub def /w w d h w Atan 2
+div dup cos exch sin Div mul sub def mark 0 d w neg d 0 h w d 0
+d /ArrowA { moveto } def /ArrowB { } def false Line closepath mtrx
+% DG/SR modification begin - Jun. 1, 1998 - Patch 3 (from Michael Vulis)
+% setmatrix } def
+setmatrix pop } def
+% DG/SR modification end
+/CCA { /y ED /x ED 2 copy y sub /dy1 ED x sub /dx1 ED /l1 dx1 dy1 Pyth
+def } def
+/CCA { /y ED /x ED 2 copy y sub /dy1 ED x sub /dx1 ED /l1 dx1 dy1 Pyth
+def } def
+/CC { /l0 l1 def /x1 x dx sub def /y1 y dy sub def /dx0 dx1 def /dy0 dy1
+def CCA /dx dx0 l1 c exp mul dx1 l0 c exp mul add def /dy dy0 l1 c exp
+mul dy1 l0 c exp mul add def /m dx0 dy0 Atan dx1 dy1 Atan sub 2 div cos
+abs b exp a mul dx dy Pyth Div 2 div def /x2 x l0 dx mul m mul sub def
+/y2 y l0 dy mul m mul sub def /dx l1 dx mul m mul neg def /dy l1 dy mul
+m mul neg def } def
+/IC { /c c 1 add def c 0 lt { /c 0 def } { c 3 gt { /c 3 def } if }
+ifelse /a a 2 mul 3 div 45 cos b exp div def CCA /dx 0 def /dy 0 def }
+def
+/BOC { IC CC x2 y2 x1 y1 ArrowA CP 4 2 roll x y curveto } def
+/NC { CC x1 y1 x2 y2 x y curveto } def
+/EOC { x dx sub y dy sub 4 2 roll ArrowB 2 copy curveto } def
+/BAC { IC CC x y moveto CC x1 y1 CP ArrowA } def
+/NAC { x2 y2 x y curveto CC x1 y1 } def
+/EAC { x2 y2 x y ArrowB curveto pop pop } def
+/OpenCurve { NArray n 3 lt { n { pop pop } repeat } { BOC /n n 3 sub def
+ n { NC } repeat EOC } ifelse } def
+/AltCurve { { false NArray n 2 mul 2 roll [ n 2 mul 3 sub 1 roll ] aload
+/Points ED n 2 mul -2 roll } { false NArray } ifelse n 4 lt { n { pop
+pop } repeat } { BAC /n n 4 sub def n { NAC } repeat EAC } ifelse } def
+/ClosedCurve { NArray n 3 lt { n { pop pop } repeat } { n 3 gt {
+CheckClosed } if 6 copy n 2 mul 6 add 6 roll IC CC x y moveto n { NC }
+repeat closepath pop pop } ifelse } def
+/SQ { /r ED r r moveto r r neg L r neg r neg L r neg r L fill } def
+/ST { /y ED /x ED x y moveto x neg y L 0 x L fill } def
+/SP { /r ED gsave 0 r moveto 4 { 72 rotate 0 r L } repeat fill grestore }
+def
+/FontDot { DS 2 mul dup matrix scale matrix concatmatrix exch matrix
+rotate matrix concatmatrix exch findfont exch makefont setfont } def
+/Rect { x1 y1 y2 add 2 div moveto x1 y2 lineto x2 y2 lineto x2 y1 lineto
+x1 y1 lineto closepath } def
+/OvalFrame { x1 x2 eq y1 y2 eq or { pop pop x1 y1 moveto x2 y2 L } { y1
+y2 sub abs x1 x2 sub abs 2 copy gt { exch pop } { pop } ifelse 2 div
+exch { dup 3 1 roll mul exch } if 2 copy lt { pop } { exch pop } ifelse
+/b ED x1 y1 y2 add 2 div moveto x1 y2 x2 y2 b arcto x2 y2 x2 y1 b arcto
+x2 y1 x1 y1 b arcto x1 y1 x1 y2 b arcto 16 { pop } repeat closepath }
+ifelse } def
+/Frame { CLW mul /a ED 3 -1 roll 2 copy gt { exch } if a sub /y2 ED a add
+/y1 ED 2 copy gt { exch } if a sub /x2 ED a add /x1 ED 1 index 0 eq {
+pop pop Rect } { OvalFrame } ifelse } def
+/BezierNArray { /f ED counttomark 2 div dup cvi /n ED n eq not { exch pop
+} if n 1 sub neg 3 mod 3 add 3 mod { 0 0 /n n 1 add def } repeat f { ]
+aload /Points ED } { n 2 mul 1 add -1 roll pop } ifelse } def
+/OpenBezier { BezierNArray n 1 eq { pop pop } { ArrowA n 4 sub 3 idiv { 6
+2 roll 4 2 roll curveto } repeat 6 2 roll 4 2 roll ArrowB curveto }
+ifelse } def
+/ClosedBezier { BezierNArray n 1 eq { pop pop } { moveto n 1 sub 3 idiv {
+6 2 roll 4 2 roll curveto } repeat closepath } ifelse } def
+/BezierShowPoints { gsave Points aload length 2 div cvi /n ED moveto n 1
+sub { lineto } repeat CLW 2 div SLW [ 4 4 ] 0 setdash stroke grestore }
+def
+/Parab { /y0 exch def /x0 exch def /y1 exch def /x1 exch def /dx x0 x1
+sub 3 div def /dy y0 y1 sub 3 div def x0 dx sub y0 dy add x1 y1 ArrowA
+x0 dx add y0 dy add x0 2 mul x1 sub y1 ArrowB curveto /Points [ x1 y1 x0
+y0 x0 2 mul x1 sub y1 ] def } def
+/Grid { newpath /a 4 string def /b ED /c ED /n ED cvi dup 1 lt { pop 1 }
+if /s ED s div dup 0 eq { pop 1 } if /dy ED s div dup 0 eq { pop 1 } if
+/dx ED dy div round dy mul /y0 ED dx div round dx mul /x0 ED dy div
+round cvi /y2 ED dx div round cvi /x2 ED dy div round cvi /y1 ED dx div
+round cvi /x1 ED /h y2 y1 sub 0 gt { 1 } { -1 } ifelse def /w x2 x1 sub
+0 gt { 1 } { -1 } ifelse def b 0 gt { /z1 b 4 div CLW 2 div add def
+/Helvetica findfont b scalefont setfont /b b .95 mul CLW 2 div add def }
+if systemdict /setstrokeadjust known { true setstrokeadjust /t { } def }
+{ /t { transform 0.25 sub round 0.25 add exch 0.25 sub round 0.25 add
+exch itransform } bind def } ifelse gsave n 0 gt { 1 setlinecap [ 0 dy n
+div ] dy n div 2 div setdash } { 2 setlinecap } ifelse /i x1 def /f y1
+dy mul n 0 gt { dy n div 2 div h mul sub } if def /g y2 dy mul n 0 gt {
+dy n div 2 div h mul add } if def x2 x1 sub w mul 1 add dup 1000 gt {
+pop 1000 } if { i dx mul dup y0 moveto b 0 gt { gsave c i a cvs dup
+stringwidth pop /z2 ED w 0 gt {z1} {z1 z2 add neg} ifelse h 0 gt {b neg}
+{z1} ifelse rmoveto show grestore } if dup t f moveto g t L stroke /i i
+w add def } repeat grestore gsave n 0 gt
+% DG/SR modification begin - Nov. 7, 1997 - Patch 1
+%{ 1 setlinecap [ 0 dx n div ] dy n div 2 div setdash }
+{ 1 setlinecap [ 0 dx n div ] dx n div 2 div setdash }
+% DG/SR modification end
+{ 2 setlinecap } ifelse /i y1 def /f x1 dx mul
+n 0 gt { dx n div 2 div w mul sub } if def /g x2 dx mul n 0 gt { dx n
+div 2 div w mul add } if def y2 y1 sub h mul 1 add dup 1000 gt { pop
+1000 } if { newpath i dy mul dup x0 exch moveto b 0 gt { gsave c i a cvs
+dup stringwidth pop /z2 ED w 0 gt {z1 z2 add neg} {z1} ifelse h 0 gt
+{z1} {b neg} ifelse rmoveto show grestore } if dup f exch t moveto g
+exch t L stroke /i i h add def } repeat grestore } def
+/ArcArrow { /d ED /b ED /a ED gsave newpath 0 -1000 moveto clip newpath 0
+1 0 0 b grestore c mul /e ED pop pop pop r a e d PtoC y add exch x add
+exch r a PtoC y add exch x add exch b pop pop pop pop a e d CLW 8 div c
+mul neg d } def
+/Ellipse { /mtrx CM def T scale 0 0 1 5 3 roll arc mtrx setmatrix } def
+/Rot { CP CP translate 3 -1 roll neg rotate NET } def
+/RotBegin { tx@Dict /TMatrix known not { /TMatrix { } def /RAngle { 0 }
+def } if /TMatrix [ TMatrix CM ] cvx def /a ED a Rot /RAngle [ RAngle
+dup a add ] cvx def } def
+/RotEnd { /TMatrix [ TMatrix setmatrix ] cvx def /RAngle [ RAngle pop ]
+cvx def } def
+/PutCoor { gsave CP T CM STV exch exec moveto setmatrix CP grestore } def
+/PutBegin { /TMatrix [ TMatrix CM ] cvx def CP 4 2 roll T moveto } def
+/PutEnd { CP /TMatrix [ TMatrix setmatrix ] cvx def moveto } def
+/Uput { /a ED add 2 div /h ED 2 div /w ED /s a sin def /c a cos def /b s
+abs c abs 2 copy gt dup /q ED { pop } { exch pop } ifelse def /w1 c b
+div w mul def /h1 s b div h mul def q { w1 abs w sub dup c mul abs } {
+h1 abs h sub dup s mul abs } ifelse } def
+/UUput { /z ED abs /y ED /x ED q { x s div c mul abs y gt } { x c div s
+mul abs y gt } ifelse { x x mul y y mul sub z z mul add sqrt z add } { q
+{ x s div } { x c div } ifelse abs } ifelse a PtoC h1 add exch w1 add
+exch } def
+/BeginOL { dup (all) eq exch TheOL eq or { IfVisible not { Visible
+/IfVisible true def } if } { IfVisible { Invisible /IfVisible false def
+} if } ifelse } def
+/InitOL { /OLUnit [ 3000 3000 matrix defaultmatrix dtransform ] cvx def
+/Visible { CP OLUnit idtransform T moveto } def /Invisible { CP OLUnit
+neg exch neg exch idtransform T moveto } def /BOL { BeginOL } def
+/IfVisible true def } def
+end
+% END pstricks.pro
+
+%%EndProcSet
+%%BeginProcSet: pst-dots.pro 0 0
+%!PS-Adobe-2.0
+%%Title: Dot Font for PSTricks
+%%Creator: Timothy Van Zandt <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: CMTT12
+%!PS-AdobeFont-1.1: CMTT12 1.0
+%%CreationDate: 1991 Aug 20 16:45:46
+% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
+11 dict begin
+/FontInfo 7 dict dup begin
+/version (1.0) readonly def
+/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
+/FullName (CMTT12) readonly def
+/FamilyName (Computer Modern) readonly def
+/Weight (Medium) readonly def
+/ItalicAngle 0 def
+/isFixedPitch true def
+end readonly def
+/FontName /CMTT12 def
+/PaintType 0 def
+/FontType 1 def
+/FontMatrix [0.001 0 0 0.001 0 0] readonly def
+/Encoding 256 array
+0 1 255 {1 index exch /.notdef put} for
+dup 100 /d put
+dup 101 /e put
+dup 102 /f put
+dup 112 /p put
+dup 116 /t put
+dup 121 /y put
+readonly def
+/FontBBox{-1 -234 524 695}readonly def
+currentdict end
+currentfile eexec
+D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891
+016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171
+9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F
+D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758
+469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8
+2BDBF16FBC7512FAA308A093FE5F0364CD5660FE13FF01BC20148F9C480BCD0E
+C81D5BFC66F04993DD73F0BE0AB13F53B1BA79FE5F618A4F672B16C06BE3251E
+3BCB599BFA0E6041FBD558475370D693A959259A2699BA6E97CF40435B8E8A4B
+426343E145DF14E59028D4E0941AB537E34024E6CDE0EA9AF8038A3260A0358D
+D5B1DB53582F0DAB7ADE29CF8DBA0992D5A94672DFF91573F38D9BFD1A57E161
+E52DA1B41433C82261E47F79997DF603935D2A187A95F7A25D148FB3C2B6AA32
+6B982C32C6B25867871ED7B38E150031A3DE568C8D3731A779EAAF09AC5CE6C5
+A129C4147E56882B8068DF37C97C761694F1316AF93E33FF7E0B2F1F252735CE
+0D9F7BCE136B06EE967ABE0C8DF24DCBBF99874702ED252B677F407CB39678CC
+85DDFC2F45C552BA967E4158165ED16FECC4E32AC4D3B3EB8046DCDD37C92FDF
+F1F3710BB8EF5CA358ABACA33C7E5ACAD6BF5DC58BDFC3CF09BA2A38291D45A4
+C15FF1916FE2EC47FDC80911EB9C61F5D355BEDFC9DB17588547763AC5F0B1CC
+12D2FFB32E0803D37E3281DA9CE36C5433655526ACFB3A301C56FAB09DF07B5D
+048B47687348DEB96F3F9C53CE56DDD312B93D3918CD92AF53FB9461864D11B8
+0138918D0B1270C54873C4012CDE6F886DB11BCEA04B023EBB43E0D0A06BE725
+741D08B9DB688731A6C9886C15A83C28DADCC81385EA239E045E8F3670CE03DB
+9EE77ED067036595C9F3B1854343BE3A12E486B6E5A2F8AC44FA5378D28DCCEE
+306B0E283AA444423F9A4FF38E2B56DCF67A39CEB2C643DAE86865517D5D0371
+CB8797208ADEC637330A3A57902C9A88EDB75A7C16FA9850075D9F19578EC666
+1353CC1FC512D59DFF847ACCD5A0FDA6F4CF4BB7C9EE62271154425996A088B6
+1927646C7A761183ED3B781599964A4E0F89B56297700011C2132F8051616CC1
+B7771D9128F478D8A01024BFF595108A327B9A29B418B31339290F8B9F48A03C
+4907685FD788FF3D599563586351B5191C2331B49360DEFB8647DE28B559F2F6
+DDC9F1A9106016CA2284EA6CBAFF7344809E4DE22B5050316C462FC3A102E14C
+0A655CEF136B70D4C73DAFC2805722C1FDBAFD4F0237F1893E43AC5E471487E7
+8A95DAA118ED0F9C0E6D6866DB6D7BA89A5D071FFD71EE1FE14A54089469163B
+31F7945C5AA5E7553C8EF3DDA69FE00978BA409CB18D0DA421424FB1CCAED6C0
+918D5F5642F7A84D6705AF87C55632BEB5ADA98E53BBEEDF4E51A2E3C1D7F4F8
+2D67F783BD2323CB92DB607847039C8B4347D67A1BEBDE50A455D9DFE1F4A1B9
+0046083438A10FC647E9D46A4F14F22DB1A70CED1A4DB4879677A1CD5613BBED
+B9B2A932D715942AFF77A7DF8788FD91BAEA5D78FFC4EC472240934D4527821A
+0F13E75679C3D61F3558FC5348B2C673B138218EF9A30B0E28782D17F93EA5D6
+F305A8D4FD84A9AB59B398D948CE8E83C8D3D376F2290D321C10F41233D64515
+452DD877F1B2E2DF7A9677ABF1977A8895D982DE3F22309ADC2BE230C9076625
+B4C2C1DDFA407AA85CA05DA18C78D9C483D9AD04C6597F80B0BE915D3EE9AA85
+3ABDDA69936B3F4064047A3102F6D0FFF09F177D665BA8C9969D481E5E6918CD
+D19AB8FD285B79E7F72BF69DDEDA0017938506AC4451678D967BBAF87594EC0A
+5D9BDC58F81587C95BF27353BFE60AA58FFD744630C2479F11676FE8C73E4E5B
+F0C68BB54CCB8A1856D93FBFCF7DEAE1174CE2CB8953467083F7CB45A81E536A
+7D5B779B3E6F00190B328BC5E777036DD730C069694191B95B0B60C7E047B2A8
+54B0D1ED502F985E8659986445BFDB0164B3C8A7F1EB5A975A60AC684D60A74D
+720B063AB815A37F41EDF87565A8B5C0D059BB83B2CE56B1987AC23E3B59F334
+AB3C18993CC925AFD5120E2C6C2EDD5989DCD2C64C85A5F20B9200340B7529EA
+751D2C19BBF431795749522C1736CE033943C417C2D680FBB64FD52F0AF14864
+A6BD3B18966612FB51E2B97C54CC6EC2A63AE8BF93A4A47E0233AA59D1E8691F
+3B93F20DC46E454F4399E5AC1735883E1C6CD0973FC015C00070309BF342E0EB
+EA92547C0B83FD8CB52233641753BD2A1C37184E1B06E35356B5508808B4542D
+A835271A51BDA396FE4D35B9639EDF15E58465CB46F3370C7D72EFF375A3CCAE
+3C5AAFAE1350103CCFFE834484FA4FC25A9129A072B53A0BE39F21D062DB4599
+D3FE95AD4949D980F8B2B83BDAFFCE9E1109EE556394470A07D42313F45557E6
+B24BB09FF60B87B8391E47D2C76D03D0C57020CFD2525879B75F6444E94F917D
+114BBDED88C09BAF108E7A00B402FF12038D
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+cleartomark
+%%EndFont
+%%BeginFont: ComicSansMS
+%!PS-AdobeFont-1.0: ComicSansMS Copyright [c] 1995 Microsoft Corporation. All rights reserved.
+%%CreationDate: Sat Sep 14 10:16:33 2002
+% Converted by ttf2pt1 3.4.2/ttf
+% Args: -a -b comic.ttf
+%%EndComments
+12 dict begin
+/FontInfo 9 dict dup begin
+/version (Version 2.10) readonly def
+/Notice (Copyright [c] 1995 Microsoft Corporation. All rights reserved.) readonly def
+/FullName (Comic Sans MS) readonly def
+/FamilyName (Comic Sans MS) readonly def
+/Weight (Regular) readonly def
+/ItalicAngle 0.000000 def
+/isFixedPitch false def
+/UnderlinePosition -133 def
+/UnderlineThickness 85 def
+end readonly def
+/FontName /ComicSansMS def
+/PaintType 0 def
+/StrokeWidth 0 def
+/FontType 1 def
+/FontMatrix [0.001 0 0 0.001 0 0] def
+/FontBBox {-93 -312 1187 1102} readonly def
+/Encoding 256 array
+0 1 255 {1 index exch /.notdef put} for
+dup 0 /.notdef put
+readonly def
+currentdict end
+currentfile eexec
+D9D66F633B846A989B9974B0179FC6CC445BC1325EB8F274DD24A5D21C056364
+13EFC099729365596A8A52075A624087116520034680FDBD3E86220CBF46C2E8
+2BA32413E26C0AE960BB760BE98B2E1348D6A21CDB5429260899F7FF77617B00
+E876499AFB997425D58673778E90672CE2F26C816F6EF6C1F6F0724D575749C5
+5AE9D8CD0337709436E75CF2354AFBA7974814727450620BF79E10457E31E899
+430F90AC9865F70FE6B6777C3B647DBF5479B987AFBD6DBAEA380CEC42950CA1
+9398EFFA5677DCC3A12382E5728D26A08A739460E0C7EEFBC2B287F337C81126
+D554D5A2079FE15A7AAB1D1578A6B7E7AE509A0C8EA12CB3BFFA8CA21F80C28F
+165E56DDE1398D280FC068CB1C04C8317F894F38EBAFBDA29AB0EA3916EA9E64
+672E802980AA50F43C457AB4070C6F095772F85CEB9ED0FD0CA31682AC547B8E
+8DEBE311665FCB8AE3AE78AC5AC5FB3F47582BEFEFAEC16DB1FD2025778C99C2
+488806E7D306ACBD579C02F05107A52DD8289D51C2D63372BB823C9B17F5FB76
+81F2778107E303E1951D955443AC4C731FE01234033C6FD1AAFAEF0C3981E9B2
+CA2386BF69A80C9019A7D8CF24477C4A5AB1BD191D1A8784E6260E49B87788FC
+B6F169985E9C65C30DE793F4A68E75FB3A8135C52F8CB70F96ABE2F5FF571BBD
+0732FF0A6EF848E437B50688DF5645B3A30E47B5AA0F1EB35A669B2B0603A931
+D08C5B9669221238E5745FF9DBF2BA765274A440F3987FBFC0689BE4C0407E98
+19FE68FC2C4CAA484A4DBF909B2858AD23B1EDEF2CB984E273CCDBE03C107CCD
+13EFFC1A953F569C002E526244487C242639D8BF38201CD6447ACCA150D05B25
+BA9C9DDC2F597C8D4B091D853369B8ADE0B18E8DFDE785893B5EFD6019AC678B
+9658F8649182BA4DD7D16E5DC259E3F5083D2A5B98281323C7EB5A6A1BB84E58
+E792C362F039EC894655E7B06095437FEF27B81EB14663E3073EA5D9410D411C
+DA75C4C5C7864FA957AAFEEA79FEC8CC064641BD58F0EC389FACADA308A1723A
+5C2492BA061EE8AD39200BFD0358D8D606291B417D0B25542A15E0DECFE2C769
+4669121D5623921B1DCBE64808E61DD4F21BF74F5BF076049BAC620D7C544BEF
+828A51B066C7134AD5D0447045AF93358ACF5DE07C87C7C94DEF2EF284C2DAE0
+8E3664B7D51FC34898B2382F1AF4831554814D1846C82E64B2AD350340A40030
+1BD2C6D721E5EFD3BEC41F18FB8C6D2B457E60950E1CEE746CA7155A9563A3B3
+009F37E856E1E39ADD6AB74B4CF8C077BF2D626D2100D5784D8CE19198772CD7
+C7AE13A3928640F97B6E66D0A2557B6A75D56EFA3BE862FBBE0D3CF1E4E4489A
+47D23E91AE3911DE781EA5719684E8C9B2EBB2EDE5273C41CBFC78BEE42E887A
+2D4115CCEA5FE4C0CF761E921D7D2992EB24625547D54C50B9EB097FF31C13D0
+010E4A3B947F6998826D10AB53A1067BAD45E3F4249AACD8AE81CEC8190320B9
+8A39199BFCD1C4FF3CE4851D494EF97D357057B13F2C830A38C7B58AF68CFECB
+09313F5745B02B4BB60DBB2B680A764BAF9085F3C72EFDD42EF25EBCB7870205
+7AE8A23C751014185DE9AFC917F2D783A0838DB6577607E207CCB5FB4007BE7A
+3F43824A3BFF8B9F6A1E5C9D03B3CD1425CC36C2E4B233E8AF4A29074189D859
+A96C113F239B3FDDB442396970B2C343CA8658711636549C90976D8F07AF398E
+DFAA15CD75A52428102EEB5128796E46CB0AF4B537987C2ED552B37D82CF312B
+030E422825AE97E638E539D1E22D2D4630424B9FB0C8025111091F54823FDAAC
+9DDFDDFCC6DD14B65C493F0DF9044517835C5A18B6EDACA49FE842BFC82666D2
+BCC82B4DA8AC924829C2BF2C24F464D9A4D5D5F7A76DA1ADF692B8DA6E68C40F
+D16885A589F1FC2459F2E6B90131359A396EF818B1F1A690DFC246D5F82FADDA
+2C3ABF2B3E9255EE6BB12EF66E699062A3B686AEAF76305955ED24298C2DF6DD
+952B33819F09B3C7CE2DC374653E4B7339877DE9B4D3E0D96F9B3F3D0E1CAD73
+42541435FD02230E4678EEE1DEBA4603B10AF17643F3FB2278A00844E981B2B4
+EE60E2E09DFC242EB629D14A2F2603D8D1EE7C918FEA038360616F45D6816CFA
+0C618732D04E0D6B7E7B091F85367186DDB626D66F223A6ED2EAE1D37826EC18
+6491BE75C89124DADA58C9CDF79DF9383F779695C9A9695FEDB35240D20345FA
+57D34BFF49DFDED802B3CDA24BE5B94FDF2910214E9DE600AA45F7BAA0038FF6
+02E7D0B63A9540CE04C041D24ED01904D121DDC0D8645161A24017FC678A7386
+07329268F446E523CFCD29A4047457D56024588C0F93212BB4092079B1B94BF9
+17D001A5D7C9A8DD9088FE86FD10BB19E18B570DC8370D1F18C28B61B4E00C44
+8F2637D7E20FBEFC3ADB587959D05FD294A4E55E4E56AB5305B7B32A1F4FFFBC
+36AE063F84EF962146ED64FFDDC683B50FE5F93E6735F77E02745FDF1B36582E
+2DE257D768E49692834144953AB91593FA24BA1141FE5999A70FC188CED3256B
+046F7E559C29107B7770BABC5FFD5F430D5438128A62C8BB985C3F3E02C1DD89
+01661DDD0190AEB798B8DE5EADCD6C5216CAFABE8A0478EE9B9C3C85B6E9C13D
+C13EECCEC90B036F774F7FF2D7030768CDB682898E01228F3224DF331F1BE63E
+EA95A09C7B64F4F10CE24095BFFB5DD7A934A294D964F05B333D877C114A8495
+A573F018075B5411AF5EBE0B73570A95B9429D4882427BD832EC908DEC483D4D
+CDDD175FC9AD9EEA5E07982F7D4B7B7112BFDD19A8451B0A3E8A3CB3498FB39A
+DE64DC03EB3490850789BEB08F5B331CB742B1E842D5A02974D1D210E80AADCD
+191C733C69A79FF4554DD25EF581017758A172F80111BA19167650D65779019E
+678CC866ACE6308C956DBA08B815B258E525FA7BB0DA8242AB619E3D729125DE
+BF1DDF6527CA8FD03772C588357472CDAE684C2AC5D6DC1A66571928161ED7AD
+8493B4A9EE36401A2A54A603C2A9AAFB5829429F15FA1BF3DAF894E939E5EAE8
+69C4C113ADC92551B57F617D13D190A8AC6287644374DDF833A419E891E8C5AD
+303FF87050363CCD7CBBEFE568BC009A12A564240DBB494670FC1804D241E14C
+EE033273D8D6B92F86979F67036C2938DEAF61D75DD947DA29B54CD2EC33F618
+B8CA36FCDA32FDC097B19794B10D9F47DB9287A12F77AE150E4FDDAE8346CD68
+8AABCDA341900C9DFCC0F7FFF139D69DF6E56CD704ED44EA5D22124C4D5553E4
+A904F2704D9367231BF40F074A0262D96CC7C41F453CF1F228BB2D2756573320
+172DC627587099164627634D49F59423A7E5401FA6479DC0309A89C788379718
+55488EB552CF7FCD8E02E18FE3DCF62463AD80181F8034395A1260BB2A55F002
+7B42AA97E4C570951EB81044DAF537940CF633C69D64978FD33DEB0B660C6C18
+E482FA39E0427FCFBDEEAAC67F14F71B450BC562A195E9F1C1F906DC6D27AF94
+F660759B7B78206BB5E077D703DA7C30FF26A1AB03592F9372AF27DDEAEFF8B8
+0E1A449E0778302889C4BE460469FF24650E918FED19132E76D78F851D34B6EE
+CC77D163847E63D3C9AA412D19E0152CF6A50F4B45AFECD3F835C80419B6AB69
+6284FF2B2F0CA3130E229B74A3CF91E2599B2F6F443D369D02F99076F2000555
+6CEDC6F02FCDC1216F10B7A491F62A09D70000BB32244DEBABE035F2A19ADAE8
+640B43413EB59E91CB79727BD3BE976D4963B7840824B7973A7DD95352BF15C1
+E7031165426EE99F2C00C2C8E4CDE0FAE6944819365D300A475AA9F5F7B5B737
+D307771041978292841E74BC60C16FEA1B45218871E5C4FEE96C8D4DF87FF054
+32B5165C8DDEF255B30836388BDC7AECC01062AB86D4EF61EA4CAB23970B6492
+CB0ACF13DA5AB57954B914ECA637ED4A18E26B166D5853E33EB59B3FE4A32EA3
+800CC8AD97D85829BC1E2071131FFF47E4533DA66CD991640317676458D27915
+C7EE363C4A24562849E8FA141C5A0DD354858A138EE3B234AFF7BB6CE48E4D28
+DF25A018A681C24A5F27105260CF2CDAEEEFEBD12888FF26D3263B0E4D0654E8
+AACA4ACE065E9060B8ED8671BA724909C1A780FE8E09E02E877A0218F8865BD9
+5D620CA9436FD8118E8E6E1A5FA86D1DB564A1B23D443CFE12D85553FCA7840F
+D9C18D6565A29B18C26A4F1D951390AD6A52E1ECEA3AE0585B1D4783F11B5F18
+896EE6114F4F6E287AD85A1EC28E956A12F524DC97030DFE3CFCBDFF331B3B6F
+AE7AE7D71DBD01CFA5BBFF356208E8CA1FA43CC687C2E16E4FCD64B18EE8AB83
+464F26C049CC42A10727D24EBF9520FCBDD5F9688F1304E33256C34462EF5E07
+B37D046EA67E534B2D8B78DBF5B5D8D399C475B37ADBA95DD1EBF79BADC0668E
+6ECA005FA9160C28D0F44180B7493B93F62F925EAC604119029F54CA543BA2AA
+B1ECCDCD40CE7AC4971524A4A25CA9D00543F8C29EB4F5419C8704101CCD4D00
+A333E6A547A5C29288C6281CB6B62068E6DB78E26BACC7B6E8B260A180B09E6A
+18AA7EEEBDA6F3607700A7FF8A34425FA26259BCFF03976A2B89A4C01802C913
+4BA366936C2CE9AB594261EF53303B99E3B49804228E74B02B2E1C169C5ADD3F
+79C14B02F024EB1DBDF65B5A2F8D05AFFD0F8A45EFD26C85AE8813A99E543954
+5CE4CA3A87DADFAB360CB4DB932F49524F18D927A779468ECE32F5EFCE7B08DC
+D30BEC81A89AE8928FD7CC737951D80B1E88CEAAE35E132D1CA61DA081A9D407
+06E01630670DC48D02FE5D1465A6BBF79910583873E863E18EA897F069D50028
+0528556D464F9C447D1F72A41D557DA31A46FD5F2C40B964230FA2B0C9E933F4
+163385818F683871F557C915D6F153FAAAD9CDEEC4F306D9146E7F5458F9CEAF
+E7D68C9C5E8D32A8B8F11E0124E9A31040AE138A801778AF0F48DBB4862DB295
+672CCC66558658950CF64D6761ACEDE777F2D011DBEE193CC87BA98F5A4185C0
+9F4614F284FB7743B5F73E9DD9F6C552DD53020BF0C27F175DE95374206BF276
+38FDD487F582343250BA9534545CCD8490664D6B61E916B27ACCC0C66C1DA5EF
+2E3BB77043C5A32B1ECC192AE3B2594D6E6A01DA7224B06AADE4ACD70B2FEF00
+DD8E855DF303BD989C3FD80099306D1FD4778162E55A8533C8A71693CEECB24C
+AFFCFACA2DC9297749CC808E590F745711D4C1CEF15C70BD5E2BF0DDDEB2304C
+0D4FFD78D4812749762C330B259F0184FC33A66FD0782BA310AFFA57355AEE23
+04DFB96FEC831375B8EDDF6CE870E720C06A9A156D594FEA136F2ED0C853EF81
+9F0A9796DFC3EA38916276AD0A5D2E23697DC5DFF896EC8C1916D52E34692466
+4EEC4F30A1261A0096AB6580B12D648ED51EAD252812048317F4628F7570D3DB
+E35B3F60391D13C26A4F0C70BD7E723E9192487494B2B00E2AFD210C3E9EE4E6
+8AA31889A372F3489A6BAB6A5F3EF9A9280384901E65C773974B55FB4FDEB79A
+695E89B67C33653B05DECD9D47E4669B70191514DD9A89D4B210ADBC8E00BEB6
+3652E1A8A5FBD2154C9A2F821E1C4BD4616F1DC438FAD743973C6C91950FDDE0
+840FE34D55F775F2EC2F646B424F7588082217A6877DBCDE62C1AE05CF60692F
+2F1837F2B985C2D9843E0FA0AFB08E9E795436686D52979F95C0FBD592EDAA63
+7B4E4E7AEC711351DC8532F18CBE8513DE3E46179BC08E730DC45F58571FF22C
+22F84C48B07CFF3F4C302314EEA06C4D3BE4D8129F69377625AD35EE8AEE9FE7
+537C3F8E25B997E07D68C4B0B91385CDC9BD8830A340931029F531ADC0F01D06
+41C7768CB7980AD9899D59D48AD509908ACD994D12F1DB6531DAF05B5B788994
+82D13780ADA31B84BEEFEDDC70B433B74131B5BAE0D3672B0892B59B9B75B6C6
+23DDC0E21F81AD7ACD06ED4D34A5E4A2F4C554ABA9027658A466E50268F605F5
+D980FDEA576086E16F90EEE126B9954C8720530EC4692AB32DCF985B6F42974E
+0BFBEE0F59509A1178DB4727B62F28E0D8A13443D24A234A74BD70D068614117
+1C5A32A41F78AACAB8B58CAA7FD01A9E4F3A63641E03D2B5D851BEEC4675F472
+C5C6E2C88FA9336082C86E84310DF2E15C2A8EF19A072B72E9E936BBC50D28B5
+C185399BC5C251127B69C436ACB531A076037755496C3DF9CBE5B8211CA8E1F5
+F6C477FAC71FD55A5490C89142F2844CB7E6352B01A2D49159B71D9E8E5DB24A
+70752D839DD4A4F6A61B071E323D60B99AE719923C6AE3C993B61EB38EF3A1DD
+23AA94D53BFAD2EB9CAEB51D021CB9C7B350C2C2D71CC801CC25791811AAAB77
+99E3BBCB8F8C473E70941D18714B75A811876B50E6F7B4E9DAD17935216EC016
+455276ED0FCD4F40876779C1472096F9A9FB39BB197AFC2F97E36F3B4ED9BC32
+88894177AEF0B44D4661CC608BD9B0FB1A1A355D49E0B9D5DC3BEF9A875B7607
+2FF7F7722EB48E8F701C11FFD1B7F263ACEFB0A6E18CC0C89440046421957884
+6685909845C2A0B9925D157FFCA9F2D5BFD0073C9671F7F951F199375ED66713
+97A1B020389DEB8841CB34E59B660CAF50371D6C11A75F2D504F45CAA0E02507
+034F043B65E1238AC2BB7C065D47B5B0A3725EC5101252F708A3F3B5CFACD77D
+5DEC67127944EB80DC56FA968672331BE4268D2ABD61D3DE45C491103B6C2D4C
+14393B95D12FC9F4D36F563A5D5A51CBA7A97B8B09755D3D61875115365E93E4
+89680FDC601006F8ECC930DEECC72781066085C13AF52E30A96D40DC786D9015
+79C497C3EC6D98BCE6B0497E4A4F003ADB8CCAC4361557D938FC4AEAEA9E88AA
+0FF61ED499E6D47F4F435F098D346360D280B813A8BEA26BEBEF0809526D1476
+2A1CB6478A4891191970C0F0E81DBEF4ED43A0294A75A62AA83295F8DC9FF205
+36F140D86E148AD5831960C3DD7B0774DDACAD3CE68D323BA915C10F77439CD7
+2CBDF4EAE3D5BAEDECD6A194E6142FA206A67B9E35F7ABA897501019932A2029
+BE9D741D184007401BFB9A147695843FD9CF8D6BEB3B9A8FDB3333B694B10BCA
+7EBE0CEEADB782FFA929E83E3A8E4FF1964DD14A2CB4DFC9A597910685A9BEE4
+CBA868D352ADC10A564E6879E934883BBDE13DF3AE05DECF3750E2959BE5E014
+BEC6D4D25BECF3DF12801358123442F4DBE198DEBB18DA900573A5DC148E37E0
+5F6347EB5B8B1A01BC2D312B443B447D890E3E2ACAC2670230C67883D02993AE
+A911A3F41A52AD8A869A6D141D218799085E26D90F2E3CD6E983816322F87A3D
+2F4079E0C1BBE42D4EEF3B23EB2C5B8463FBF008D13A744CAD6D85DE466A6A83
+A898B0C9B0D6A28C70650EF68ECBE49E4101612687B1DD963FA7C257214DB9A0
+0455CC8CBC0A878608407B92005FDF7FB38FC12CB2815BB5D434222191CA0DD8
+3787CAD0C31E3C30CC36F3BDA71C63F30A9CBD3A850793875696BA8DFB6C37AE
+540AD4662F84577630643D1DBD78F9F833707690741C8333B0B03006912DC9BB
+700F283512745638690B990C1917F2BEA91C6B3C4319D244F00164BCFDBF7C47
+D33193DAF1B8120F0F5CA0E01F3BB6FE484CE582EB7FB48BDBCA970878F55C4D
+6DA862B5712F89240CADC9C6C143513370FB903D4874B43A3D1C2B965F288DDA
+2CF914DBE32DD3C12993D22CC8137D6647F1DB93858819131F36413F9B7A3353
+32E0CF05C754FD8541F6E0924D6BB8F341FBA213031888DECBA4AFBB516DABB8
+25F1CF9DB91528708C446C51F462BAD5C88B9CB7B9F8600A76C34590C36AECA6
+2939F5D468C788A6CAC6190A493577095C49E4DD03AFD4B7C09587B0F70C7A4B
+243E5F10DF6C6E9EA13C0560C3CF042CF1E388C8426FEC458D2C2A0133C2BA5E
+2CF4D526967FF861E0FFDD170AF1011736D9B24EE0A930903A0FC80A210F1A8A
+F789E1DA1A7857A982797B884212282BB7BDFC554465C09BC1570A4A28DDC24E
+CF2CF908E9085B30F56BDC0CADBA83170342E163E9F0CF45E34F3E676FA76CC8
+F1EAE6F7E3FF6D38275DCE756B0C248D56F247AA68FFDE62638D053F2EB3FA8B
+F2A3A0F6AF567AFD407564C80EB1E33180C9B1CBB6D05AA6861E3ABE2B68D6F1
+A51D4F558B3C8309F7382327A2F9AD203FA4F2554E52F04D2AAD7D1332C4DA8F
+9BA124BB8C4D76B9C310D775443680BEEA8C5B2D60295D216F39AC2D3DD8A9AC
+65424B06337662B9485DE6736F0325F47280B1FF706D150FF76E75C9C944B274
+872C7A2E643F42D81EF03D9BCAAFB511A630E8148A5128D47685DABD0351F71B
+50303BFB33BE50E164D97A565DD6C338BF9ADD214F6F30DAC84FB25EDFC7336E
+49A1AD47FEA559CDE80F2AC2BEDDBACA73F6D8DB7770EA076115E876426A5E01
+8B5B244D9C62352A2CF2DB7BC7FBFD79A652B213567E2758596AD40E704DF349
+6B096C28C86166CD167E327C710EA4F0EE090585CC98C5D024F39309DDAE717E
+B6ADFBD067CA7DE1A77CEFD65A9CEB567DC0AE201544DC7A3A01B9FC879BB253
+EB68F06E43519A689F4338E0E3E8782E34609B04176ACF3E9CD1774E393F76BA
+5CE298C15410B9F7CE0B9580B9840E263707E73B98A287D5800E3489A14C8EAE
+44E19F757BFF147D383D79E2BCADEB2F949DC6AE13E4974E2A25F3DD96B45454
+7A4B365C3C6A9FBE17903D7F5C495E6CDA6B5DB6328729BA9972B1C7AA6B459E
+2CD5D21ACEAE6F4E4B0F75D97C79FA568306F16F8D4FFAE4FD1C70793A92D95D
+92D23773D92B41C75D0B3FA3A7B16B9DF176051ABB9C091D9FA4240334842911
+DFD59980FDD2346551A6836C0430A9BD05C410603F6B55845BE9A914353F9B51
+94CB2F0953A42F6626A6E7CFC8BA653412AACFE0CD092DEB0538F7B02AAE4FAE
+626F4C40E068890AB3F47CDFB6182F87467E95C33B0D6B6A2654555F8CA81A98
+F8AC57D9677D622D460701760E7469FF9597D0F4BC6E1EA6AA380AFFE4A05112
+A3BEA5C4A2B7E1F4180D3C3C1F0B13A9F5A6F4900CBACD98B0DE897990729C0F
+4C6842F98EDD465986E17D0469658BA9ED4FA9419EC6F76115EE6135F0ADF4FF
+15106AA1F0B3867EDE0A050E315BAE04FE67A5081F7924228A89E0645F53EA95
+95DF357C3D53CFF50F60BA6E2F911A6E822D89FA4C21702F65F57375A90A150B
+7C4D887AFA0963BA6AEF2B533B6D8E98714F6B6C252BD113D4C2F5C4ECE9016B
+7F2901EBB5886888D4A6C504DF39FBD4699BB42B6F2E8AD884FC8A266C29EA2F
+1D1EA86607CC7EE76CD6B4132398B4C43E15A84E7DE987658E49D6303E71757A
+8D906B53F12C5E8609A92942B5CF2AB04509230BFFC01CBAA10C003269A2F04D
+0C5AD78659C2C76E20A2A3E9C7F2E4DC003725336E6446EC5B1A2041D7BFD186
+D87AE133AAEA2419D85DCADF3958184CF236FA21404F44379066FC8C4F948986
+6E79A580EF092D1BA1D40AC53968133AC8D20F57EC7CE87D6A43D5774F18A1AD
+1067178865E9CEDF25C9BA9E2044ECC17EC3CDDDB2C4A68B8F974BCC432016F2
+4F184298438154B60674239915AB4D160B857AFF1FCA8294AA33E53898AF2EFD
+A092DFF7E113E18F1BB31594F476D76445B4E57E882CFFE769D481F38DD868CD
+2B4E085BC075BD7242ACD034D90675A49597413D95EA0463B1C428579113EAE3
+72761078CBCD7D3DA3F5DB311E568EDEB166B11CE7A41E0400C3AFC76969F114
+C564103B89A932C94645A1BE3128221F97ECCCB8F8A422F2E0E9E654005C6995
+8FF7D401437FAA4563FABB2F3C6DCE94200B25AB6C9FC244259D630D23143B39
+59C09ADE23DF5484159D7122DFADAD09EA3A0DC9BE84E1686E0FC033379FAFE5
+FD7658A86F492D5B8B6BAD3CBAF36F0DB8566A268801A7242BC3D37EB1F761DC
+C9970506D4A7ECAB4DCADB101ABB8B9E9B4E4483DD252D9BFE42AAF3E1390FC7
+39FCA366DD2EFDD203CB7CC6A50B112382356B76A6157DFE1892E34C35C68686
+071FF45FF4897094EE32F4167F45530C20E87E13E0C3066ACBF9C2DE66992C07
+4493070C826F304B9A865EB372D237205BE529A3E67F23EFA6DE2E4998B50FC4
+6A7AED5D8E99BBD874DD442923CA2B4DBEEC24B0F3B41C828B659DF07A2E46FD
+52D787A1ACC287418295CFE86DF2692DFB2C8381E13CB69ADBA52B1ABB498709
+525438CF7EEFCCCAEB5C2D27B3090E5FF58EEABE4D1263EDC9B0FCBD5E1B46D2
+E0328A7F4D22319428780C7040770D5E78D728D2FB5DBC1103123F6BD30DB61C
+DA5349613C994854EABAF8C2D22032652B61519F7B8ED0F34471457AF7F47D23
+FD2713D049248ECE78A971F4AC9A2626B4671C67BC40979F9B86E04F23CE9FD8
+9132C15EF411B4FA0EB77DADC3A90F91F40164EE0F0781ECEBFD26A75857F531
+5D198C3E822F9C75FA1210881D95D6EF61E5EA6BC7855FAAE316E0BA8270E434
+42E707E9F315F53BC22D8EC10EC4D4B332C9A39143F3F9B0C5ECDF9763AC4C75
+643D0C2FD802C545F92404F6B14C49E845DA36632D452BC8A23D12D773BAFCA5
+07CEE3D5BE2A98DC8F23BC2360E42C13AB4829EF58D62DF6C4CD5658D8DEE558
+D56E146112C5BADC08A7A32948413F34D770D1202CDC5E5A11FD21A9B8728BE7
+045DF33975EC34387F5E4BC4A044FDCB99D70EB58740DCC4BA984C3010A88692
+D4F22EFC34A1E8769999035BFF29D6477B2C3EF7CAB079820BDC7C05266A0CF6
+FC0A11C83C4E7AE0B995385A56B21FA570B11C51A6108AC1864C968DC394CA30
+0DF3C5A3E0FF840A0A3291053A42460468F6A1700953700663A8522938510960
+AB33B369EBFA1BABC1CA2D5134F45D29A6B34C1BFD72ADCD6196E6FDF82F6D92
+A3F11C7EA1FEE81E0D553DE6C8B3B0AC0E75AE8646784B588CE0DE89BEE5E654
+295EB294948D9305B66F6DDCD13D1E9F158AC88FCD1B613A41A5A38F6C448198
+8A5E1102AB15CDC60F6EF06001A5B00ADA8E33534A2FD470E8459380D70B0A49
+024EE901582970DF345C37F3BEFE4A81FFAC079A4ADB4B9AE228E0B2301D85F0
+FC49AD0DA112E199447E0C516BD17C2D42FEC131372A2D75A4AB18ADF4ED2688
+529F8CCAB488D61276F94706B29796358956C55E2AFF9E1DDA5B5FD637A89595
+FCC0F9AB4FF7DAB21AA6B30547145D335A945569610079DF9E96CDE8D005FC25
+E59B029C016F2E600C577CDF514D89222B39F7D09A121118428CE5F92FC11752
+1CBCBE5A6AE683A71B601AB6A2B5D3DBA523612D10372015A8CDA28AEDDE6E02
+E37ABF96D6709899A03D0724DC953E18E8C8355D66B32DF73B6BA4CDDDFECC47
+B40BF4ADAD86EF5BEE825C3F850B6EE405BD38DEC88F5FDCF5E10577569ACA97
+70A56D61D2D3F4484139340E5B4B5B858609A41C02D3637C5EFA4885FC8B1D64
+3C462708DA8F5C29F60512FC389917ACF73444EF903BA02E6E372DDBEE44AA95
+2CA42668A93FC84298A55FF6538057567BF58497ECE9A3914678EE3A7C7BE835
+847200096303493D3AC7E24AEBCFD27811DD1BDACB1A0AA8167F3FF009AF8CAC
+6860527DBD2B62750C163DCCCDD18D671765EF4919F3AA17749D8276940F0846
+4405D897079911F2B53E072D324ADD764851888781FDE97B25C566C0F26343FE
+0F315877A06C567634B34A12550E10A1D54EED3455C90F1D36E21D52A210FECA
+5F50626F2216BFBCCD4A743DE63B7A8395F625BA36D9134FFB899EBEF74D336A
+889395E771CEC29602496D2F4CC30058651B1029330A33E361C619BD62942EB7
+27CA1870F943798A9403EADAB83A4D8C332E2221AF8F6F4A4954501CBD12CCC9
+DCFE5DB3743D73F39A7785A0B2F313EA4AC680F95F3F37CCB5C6F49F964FB9ED
+AB8FDE5AF3B0271B0081F64B4BDBB6334233C58E0E68876A6D2048DB062B60FB
+B6EF5F92D80AEAC2CF58EC01BD61D7CB962C4EA67FBA78688AA11FFB6F594D32
+6D48E679190A0FAE0EB69BBD6ACC6FB6A7D01150E5B38F3410D8AD65DC3B10A7
+2E8B594ADAA3B1B2F74ECE5DA88BFD862CDEB2CD24D084D346DEEFEDFB47D236
+F1DF488EA9100D499A87C0AD1624DCFB5B856A8C34BC6B1DFBB5E5E0FD6150E4
+A8F795B8B030024ECF9B9E27C2A57C517DE53310C680BCC0C00B401C31950A39
+3F4F1720D25160F42D9892372CCED3CBE1147A844A7DC46DFC69EB7B63E61265
+45B566CA3BB1303BF2214C20FF453386DE9F4286F02E496E8B60B36CA3F17E1A
+3FAC930A2C3C2BEBA86CD8754FBF01CDFC84A748FA62F116941558BD0F6554E1
+52EFD268E21171A1D484AD9356402E391761E1DC4C45CE37AEBC396E3299F519
+F90D165EF1C2A06A9B7500C6AD185B4115777EC657BE2F7EC3151F50BB9D5C0D
+6ACFBAFA134AEF156916A8CC265C01B8B693840EF15076D542F1B785673802CE
+EBFCB4783DAEC99BC7A3A82EB333E78317ACD72DA85287A3B3C4C135EEE52000
+473EB5E85AF7F296FAE916E228C2763D38121FE0F961527C3BD065D70CF3B600
+75C31D63D184C4139B0111BF88E55C4E52F038F5EB1239AB0464998D4FF999BB
+4808531DE9D4762D0D7D90DB36AC1783AE4A530FEAC44A63E2B90731652CCDDB
+EEC584B7EB177E799855334DAC3760EA1B589B5562F3D48652B0775BA2F7BFE0
+0578BB6C18A3DB61A9E84B41CC5A6B777B12C13EEFEC631D2B1F265ABC4F7164
+344947526BA5ECB0EF200E16BA13E4A36F92147E38CD27171877780B3F16A197
+425EE120A17F7791554750299F7A6109C26A9A156D594FEA136F2ED0C853EF81
+9F0A9796DFC3E85D723BD358D6931EEA4A860E1A17079A59DEB9C7A4C0FA9A96
+CBD0A038B6BA98B6078C9FCA1556AEB8E16DCC0F6FC041E7C56351F122EA8045
+C697647502CDF96CDA518B804C28E32FB3BFF145BDDA844AFE41C6709E48702F
+E77A8FE6B6F2BECFE199946D22396E06DA8FCA17AB7A92C882C7A5E2768D210F
+A622491C4B224888BA29A71E0C4BCE2FCAD37FC498AD7D881491C1D06444915B
+1436C8C84FFBA306FC5E40690E464D46673BC84C902C0D35B018C470914CF1D5
+22123E627D00097377258E81CD068A82342AEEC5762713C43E7E94884C06329D
+340EEB3F773EB7E92A2386B678179EE7279BF20CFCFC70378DBB5770C47904DE
+9A4F6B520C1ED4EB1C67E7E16CEA47A065FC6D24A091A75B5745DFEEF5C11629
+00B5F1EF58935863AB30DC3F3BB4B4EFDC6DD658FEAFE642F6F31784BDAAE679
+03B8C5CC99288333EFCB59D45103580B01E3CF7D8B2DF6A3B6681C63BCFC1413
+5382469123169FED2BE96C095EED5449C6319F2DB9F1065F9997AC886452BED2
+C9082CD5F8B74D44AAAF83E4E04ACEA44C5BA804E1D915D7E58D777D53156CB5
+D90105651F3CD4CB9427D8239F0F41E86F2D4EEB998520A57985CEEF4463EC78
+97CDE9166094B03E1B344E3B29A9DD939BA4C4B32515CC61AFE9D26BFF842E08
+752064C9D149D5AB137C15B745E4C03D01CF167B0D7BBBC53023A12C5B3581D8
+F351C3695D85DB4B8EB762BDA2CCDA2F5E5ADA62706D4C6AE96ED0EFDE808AC3
+69ED17E1AC94F2BCCCB29902029E3B0F01017DB6D4137018EEF6C9BF625A1596
+A7A3BDCC08D2A3F2449EA5006EE0724C5B5D085846A3C7C3088620493A637E05
+5EFB165093E904545A26E9C5B2E79EEC3897A434CDF2A2ACCAE877C3B56CB5A2
+9F919EDF2ED2CC5E15ED402A0F46027DDE61EAD03E8DE7EE3E332AB29CA4A1ED
+DF6A0122789BF66501B14680A3B9650D6DDE6DC320C05FEF8BF68D616695ACD1
+4B3594882B491F6F3100800271FBCCD9DFAAB5E93F903A8FEC0119ED1F1AA5FF
+86846BA1B1B2BFE36AF9E311D31CB4D124C5AC8CF1088BDF5E020B27F5307E54
+B6F4A4858CEF9F21FC381E5DF0CB0E032FA0793789483374DD552E9B16777E9C
+EB239961D451D10743B0521AE48DC71EF5FF7BC09D562B717444C8E2C33EA2B2
+7F17185FF2C992D480DE335773FD23BC99D34FCB2E6586DE317EE3BC34234AED
+FFB4AE1238DF70AA3A421603ECC1623D32353CD7684A19AD134BC4409B9A97CC
+AB9DA5C76148888F30AE04C7E9A813ED2460D9A9EF2A95B7D987384C7D5E552E
+41C99423702938BB507902E7235609BDFBAD62ACEC039D37816C342C96C41E33
+A1F66F931F2A9A50D2857A8AD5CECA25892B5B970CC74AE8A08E28A3804934FF
+A3EF4A169755BC850BB70534647A4C09D8B5EA9DB838A16A02EDEA2E36A798B6
+E803A0A99CABA87DA35B532BCA16C510BE833A54188D11AF8339662D164EF37B
+F8635D5E0A836CD7C7465393A7DEB7DA08B3012A99FB2FC7F6FF7AE570B96B14
+1D0CC94768B538891AFC33B1E9929C9CEE82C585FB73854A5E51E73652B90264
+B50DF8CC22E516C5CA5D99C0B8E8E937971E94C01CB172F3A0D8F7D7A4E3783E
+4615CCEA5FE4C0CF761E921D7D2992EB24625547D49325566B91425A2A65C07D
+4FBCBB8FB94BE05DFF2B3DC8EE825097E3E048679849A829F4171A1515A6C5DB
+908A173333A9B31EC7C2C99EDC7BBDFA0CE085C7CFD4C0AC1DA45A8E98921EEA
+FD82A9516D47CC0D6183D68AFDF46134D6205BE2434118077B908451C4ED8341
+D28931A2D97998A32A0F6414BFC5E4AB5E0BCDD5E76534B21C001A82B53CEFEE
+5A5C18087F2C3B28BEAF58B3EDA5670C3097A434CDF2A2ACCAE877C3B56CB5A2
+9F919EDF2EDE93E547DCF3AF3471F16FF759D63A7C091ADDCD3076218A99CE05
+8CA4994F6AD3FD93A2EBD338C28CDCBBA1D69D9C97BD38382FAE8F93AF77D949
+89AA693B550699340ABA9F7F7C0089818E3F82FA42E9473ABE2F9E0CEE7FD175
+C5AAA0190182797E60835A740EFD72228AC15C565C0346CD9F59A3E70196ED37
+E6BE3262D1AFBA82395D8187E2791C791A0005560EE26C52E95B71C4B9F6D1D6
+4E1986461CDF084B59B5786859662242E4FB89185C0AE93904BB3AC4563D3E77
+8E0C96590D2D4DA46741AC1D2C3082DD7583FE4BC0A3A30649486C002BFB9868
+AAC135F6AAE1541AB6B5EF2212B7C645986B3B35D7FFF41A1FCC7C29E99B5641
+BF3A81102D49B5ABB051053D4E2B387BA0BCF7739D813518451BBF41F9D9F03F
+14667084F66DF6E9B62353C3A97B9BC866CFBD491B08704C6C875819331CDA93
+CF358AB9FC23F12BA3BAD27A858258D1E412FC23069DF8D162A2B400EDE05DF4
+12F5D3AF86BF751B1D0791B6056EA7E06D5885091CF68205E2650E219BC916BF
+9A6BDAA24DE24D6CD65831B8E50C195D07F126807E09FD39B4341967F54537EC
+CBC61816D57CA513147C8DAEBC28D7DE5CB57A30F23A2859902409CD49D8E6DE
+CDABE9F3842581C3BB3F68A47752328AC1739D3C80C13265E7A78843F80CD719
+C44633862B102690CD3ECD22723CAC55F4D5236628739606D8EF5ACD55D67E91
+567ADA087210CE220862D385C4A97750300F7E066746B41876C1DB3A6B32B70C
+9CC4B27DA28E97CCA8A885F4D0B5691166D59F99616224E706E080926688173C
+80156AA27D4EA53FCBE67F188553AA98F8F2F93797E81B49BD69AD60434EF282
+4246CD4B7C7592758D2EB863245C0C28723810DAD7CE08EB085D29AC7925CE02
+513B497B5FD93625C5D2D7209315F9E358DC4BEB66160A8FA506A98E184B027F
+08FB8C4E85D8F183D2C20E7518C87F204E7847107009B163709687F03E8904C6
+70CBFF1BC60BA1EE9F4E4A3C202A378409F5A1591F80E1281C37B99663BA8729
+D9692720373831BD3C4E8F387C78E203E2B1ED3FE72CC66F826A3A692434D4D3
+BE6ED6DABA6016FBBA2EC88D6323AA7C2D6585F57CE1A9B1386693DAAED251AD
+39D3BDE3E416E13D6B23272517D28E9E093AE3C367CEEB4DEDF80BA158F65C54
+6E9ABE7B6415B64E2BD0B1721F48AD00693D9EFD2E0110B640E38CB4A7EDCC98
+49DB017FE6C5895D6B38283878928E69D0B4B7D9F1D1D05EF2022EA1DB12DE17
+BED15E6180B4FD4920794D8F5743D0F9DAF13088E1BC59640E0336424602EA4A
+35299AC4CE1AF752E3A7B6DDE7BDFFD0954AD15D9D20810A61B4F50EE635A4C8
+F7A3B6866F93CA641F3F2CC93C7C195B7569629AF50EBCF7152E3715510FBF60
+F16750C579477C1429D85F6909DEF8C451A5A38F6A1656BA95CD0259836FCF6C
+DC988E5148B85F48169737499815408D8B64E1A2935F3463195DE95A253AD84C
+9B7EB6D776E958479685AA9AE8DF53A2A21D951A60E73E67169DC5C1CFC5EFE5
+6334B137F76A3EA01B7F2FFCD4DEF3DC9ACF797F39C0FF5C49D1AD996A67AB09
+14D83D859C06AA0980D26A7987D1B6A10A4D6765835DEC4EA0645F47A766E81B
+3F3CC28EE10BE6610B8820C212630C2D9D32EF4767AEFB56A44965744053106B
+D5B5E99175BBC27E471826160A6ACBF9C2DE66992CF4DAB3368A64C98FAB5D9F
+AA0B9BFC4919F2483E9868E0D59E613B99092C8C0E1BC2A9B3B3E4C94830361C
+8115DC829905CDD01E943FD5D24D5FB00FABD415EB4EDA15C15D794AB11EE10C
+5E971A9DB382F2181EC00A0208E0451F6B0CA3360AD99B2DB2E5898638982FF1
+91687F723B02A05EA5F95D79F1338E7050D043B09368E43CEB4EB4ACAB454C6C
+B74F0E46C5D88948D2849734E5F9DD5CB5BFEA5D7E820D14BE48CAB55C1CFB94
+2952C5F2D227B7A94085C657D1C6E557B240CE43444A3778178CD7FFA7152F53
+51D55C683CF59C2C04D14C4C65A43095F7F0BF8E2E5795683F27D26481C8552B
+AE2FD82785988D02E3FFC53FBD9B984B003AB5F0E6E195CBDAC59C6559274CED
+2B0F61820249B62694B403E6922EF30EEDB86012DBFFF13C7DAC43B540D55442
+428332F2357E23D066595826FBC6EE668580DC1C1DBCE1D7B9AD890D6BC64614
+C5CF9B2479B4E7C3B12B60AB056C27A87CE961E0DDABA61649AA1E4BA1237B57
+266471F1662AB779230049079D9DDB03E622B8665779D4822540D36BB2C73622
+5102573D21FD0B03969BA7FFA4F3B6102F19D4C26C51B773151E91659F532E4C
+FE9C30208BBBBE8FBCA23F602F13B2F4140A0A7DE082798CC9710E29409BCC90
+E1B54328E6A0C72315471578822102A1FD6C0479C8F89AC68DE87D86F3CEFC68
+FD0886476E4949E55CC2A2BB87E8E9DB44DB791D1C46AFE2BA7EA3EB8D2DA4B4
+91536CEF9D1E9F4FD8C0003E6F232C4EE17CC79D75EC3262338CD13F13C659D7
+62DB6199447BC8C757B0FD0A10AC1127B4E7D18ADDEF5FFE63A9BE768D1EC4DF
+4956D533E0A0670D60CBD73D1E1B9865CA92D4466870C3B0F9F47FFE4EF9561A
+25F70102C8091BAC66A9CD3050FCBB2D04764B751500A6F3AB7A8D39A6281EF7
+58CF048E713C0C6A1A19088BE630227E5F97C41D9F67FDAE1B24D89C50C3C54B
+4136149F76989E8C596B2A00893A100BEC19E13A6511D4EA600B1ADC4C374FBF
+F33E6CCEB0188A1309F39157CEE8D09BA136B97665661A8AC2BADD58DA49BE09
+7447E45E5BE2784E937EB01404FCC4FDF3704C77BCEE0DD24EBF066CE4E6A9D2
+F0F4985DD9F9645D2BF1C1AABA1E2AFB1682EA8409E9FF00869412F9A6A7431D
+F5AF888E3C414F73321DC5FF5D48434499435270B17B9AFE2E0C0729E5F10461
+A8DDBBEB6A27BA9173B2B324C4A9667F5692B30D09EFB60C18C10B7DEE9D4CBE
+E4DC23636D83F81ECC28DB55A59A294D481C34CB4BF88039971CBF0B811DA5D0
+453701393A1609A14002E454BE43246A11B4C17B55516CF4256C1C5E1CCCA936
+D0011C53E7B33D5B50ED7BF3F41289F4880CBD65EB106F365321CE68091E6386
+CC913D4554731177BF0194240BEB2B017C9C4F9E43D85CD32C949F3D903BCA25
+DCB7C07A9FD4973CA9936C7CEBD55EB56E4255E94B6B47F2E2057457A2BAF74D
+A634A429F9D0B4733615190D5DCD70D140B498BA43863C45D94E6642DD04CE60
+EE52D3CE37E2F63D1B34FB1EBDC9A60F4AB8C27EF468BEEF222CAC2C775B6964
+AEA57F562C969C92D66E11A666CCC8D838ABBD910E13589CF5EBC5DD20C62F79
+E11EBEA5C97B6B8F4763D21E005D89FAEBBD7D8B06F3FD66845F48BBD28B37BD
+51EAC7264D45CD2BB8B613752CCBB4C8C868FB6AFAADECA9158EC9419109D47C
+0ACEAD4FD34338305F4E01DC7DF5B3174ECDCC3BA85A857933C2C08E97618B0C
+337A906FF31C4B78EACB6615080D4A3C31296683A898B0C9B0D6A251BF1E8DC9
+D091F67A974BE006D67A9A82BE2AA6D7C24DC708CBAD17ABD8F8850FFE69376E
+CB29BB35D08017FDB67ED9FD13987E816CF57541CE42A834F186D3549338FDDE
+A07BD62F4D3D8EE78CA4C448122CE2721DF8373367309F337B2359B096389A2C
+177B1B1505B3F1266F44EFCD4938FB6A1C4DC92A25B84914F79A11637AC718C0
+65A32EF7366AB59B6BD239B3C9108D4964C7FD5E57B68DFB22B3AEDCE7792F6B
+9CE90AA2B0D2902A041BD4C5BA15A44F8BA179D3C6BCA66C4E52763B579D4535
+CBEFA5C9999897F224F40B331D853D2C54E5123E5E2F843602DCE3AF90C4CF1C
+AE3ED55EEF399CA17B715C8A6DA4099DE693A04CE94F04B8A5A08ADE3960EB9D
+90AC64F9C82C455AC62202ABF4B85C04D8BBB17301B6DDB78A8E6B04FAF168AC
+45A0A4D502B5F4A686C9002A805F8FC84B14608085DE7AF2209A9F760CD3E325
+86D55DFE985951304701D12D3A66EE38027BF50401DCC1F02C650105E8092702
+D8DA1BE48FC44AC55C1AA38633D1B38B4B56A05BCF4D0E881031C10DE091BAB0
+04A70D0486B75FE82E88EAA03F65077776C747047E30DBF910D3A249AD283F53
+87224270F8133FA299289B255A4D20DE3F79C14B02F024EBEE5C1E79A408C9BD
+1DD1C468BD653E7D055B889245BB6661679F7EF91967AF1B2D209586AF5FA034
+769A116E2AD25B9F11BD929F39DD43E97B002255701F2BADE28357678B3DDADB
+2DC08CCAF19FE2F85EEEEB0C32EE8A2F40E30BE8EC1A9A84A3A1B346FC987A55
+ED58D87566C8DCF13322078DE4CF1E96739D207E6C29B69E80D205669E929607
+730606CFA775C1422B367FF14E72129ACE0590E1B613AAB89F20B39D1F2DFBE7
+81CE97DF06830FC498BDB073AD2CA5EC36B72F0FB847BCA2FD7D159B0308E33E
+6C3C2DE1498876511347D296FC220C6416877F7F1995EA262713DA7EC6AA2F77
+B1F405776D90A2D1A68B5133B7D4D838496CDB7882EEBF4AAF793DB9E52A949D
+C00B40EA09B02354FF0785CFAC76EC51E19B68F5D04CC70DCF68A3DE6E265309
+F864686AFC62624ACA1C6928D445F685D514EF21A99AF63EE1F905EE52087181
+251AD87A3F1337CBFAD6A0C5489848C5FCEEDE946577F66F72BF30CD89A67BCA
+5F06C892F6126CF8E02759DA17CF32388016CBBF33B30B40740791733EE0D415
+1C6A0E15298A78C6E0A77517F7659286228B4E19575A855DE498EF5E103B4500
+F4B6D1FF2C33291DB74DA7D8CF0E9E257A7A988390FA62555AF9A75E236B302F
+CF8FFDACB039AE48C7A0DB13F2BEA16E59294BF148795D63B85FA6CC569A8F87
+9CD66834A23728BBDFE45644A53CFC2136AA61260012FC9A7F7AB3059EFBECCA
+2B266452FB86BCC47D993294F559C22E0A3A64437755DC548D8EDB223ED7A961
+3F3D1904E8A0E26159F6619E30C8A74C94537D65031CDF7CC67289A034A14EA6
+14C19E8DB41821541B9742D0DE3A1212D5A0B863839973213E2E570850D0BBEA
+3F1858160ED264CA568E8594F1E1625503693822CB2D0CA3C3665A3352070E6F
+2168B6852B84A709B819AD184C64E1D65B78066E6F59F7686B601B8AC3A5012B
+2B066DC4579BF85A5787DC4AA6A5F78F510BFFA79D452141A78B6EAF24A89E52
+E3B1695FDEC9ABBE11AD4713FFC253D7C60FE1D432A39BDE9F528E06ADA19CB0
+7C02892CE421D0468B91DC9D98472D21F758D059EB0C51B8BC5DA5D6AE5DCBD6
+B119811ED301D0E6F1D3BB927FB44AF255348EDC4DB80D517BE923544EA5E22F
+A0A5D41EFC115B2C87F498C1855B7FEE6B4E20336CEB1BD3F42BE3FC01C9F199
+C8D54B4660E89685C41E6BA6107EFACA20298E6A4499407C68941C41DF1208DC
+9770B9BBD2F7C388949FEA1828511CB21C6DE17322F11017C40D85C494586216
+ADB12605224B6C8A0593ED7C9E2AB4B09865E57C29DC75697722D74D1FADE6B3
+0653DA6591FA1D89EFA1F009B5D92DCFF4DB25EA8B158B22F27910AFEAD38AD2
+8B7A73AB9DBDB206D03671236DE142D8917FFBE4FEA53775BAB67293EF918305
+8A0FF033CC6ED13E70A8EE8EDAF56252863EF96CEF748D6766D3996B3F865D24
+D124127B0D47FF7CA04F69717EDC443FC2F1B51343FDA98D7EAB898A65276E55
+136D9B9EA7034725ACEAC6B83994AD63D63C43270C1A64658C70B98526744BF3
+70F6D9FD4250C28E4EF3F8A4F0C3FE11E65D4F01AA51DD85FCD2409CFD43A610
+E7B81FFDDA7E510D8C950713CDE43BE99CFB760579DF1AEAC8AE764BC58DADCB
+40EA80369001E49AF5091E6DDC0B4813A86050194A31FC87F9BBA977C798D0EF
+D52011E77EEF259262DBEDEC7CBCC5623B275C65F8473BF8CE871A353275C210
+C16EF6E207DAEEDAB3939703785DD9F9860694C7A9069F7D7D59083C183AFB9A
+AB0B9E9D6F18CD8471C3BB42261C94428D4448D89155D6B3370AE0743866D2C5
+5F813FC103C5038A92C12F5F2FAF2DAF98CD0256A39B9768C9464ECB592661E0
+13085AE3BF79477D19C28BA92154FFA45AB7C535C4C5F4649C2D80CEA8BDB5B9
+834EC15C047F5C96189FE0A9C3B4F05097FCBD768A4AF4479A2A28B553691143
+F33C500B2BBD1A19FBFBEF906B08E7AD8278C543262051DE9430802978EEA344
+946CE1784081DFDCC835EAD47F786FB4133D6CACB7EB740C92BC88573C281D8F
+D9C96255B5C9A19533C55136F54797DE0D15C0374C56EBD0ADB0BC89A8557C15
+5C4A43979F2DF06F8D11BBAF6B46775D922820862E855BC0C0ECDDA7A74F1218
+B7327B1E6D3487C910D7148AE60DF4B421AFDFB21B4D97218E694271AE1205DC
+B485D18FBD2E0F65D2A436641EE528C6323BE1C99B83C2CE09998573233AD2F3
+3AE543A8CB14DB4820CD368EBF54F7837D8F730C527E8456E16B5730E2C99125
+11094ADE2FDB192C767BC4E249DB82C7C4A77D6E4842E9A29D3178D3BB33AB55
+6A94DA1765668ABED8678E3C05487CCE8A85F3DAA51DE967517A43BBB32E693E
+65487776D68E705A04305F67923113FE1B371C02213AFE727210E6A1274D4153
+75E8EA9DE03BB76FE92DBDDAFFAD7B5C7D3F48762EF2E1EC4342A58E2FC03785
+050C54C9E53818204E4664B5899AC897D973E69AC5C950156C3E94F3432371CC
+2DAC3B0C7376601C7780DA35540BACED29B354F4A3AE11BFF9EFB2B3A960DB40
+23131B56849E86D53CA4D1D617E326FF961D4864D48684CE3EAA4535F0341C97
+13BE3D80190CD6928552DD50D80031EFD4878C5B600FAEDA566AA195B4A29D36
+16E8C16092554B91C7E30D1BBC20791A3E891A8271EECCCD02C0CF016CFE73A6
+2EBF6B688F62D73E3BF706F429F452F72FAF1E8404215F65C1CDD88D6B8A5D4B
+C1C0E03CD2ED1D0BDB36A3664F3953C5F69F9D63AACFE406F5DACE6686921F75
+6F078EC12577E6A28BD50A59043D60F0584BDB77BFF304C3BE91C16EBE620F48
+DE102FA8D39A4F1C9276D128648F844D9A076FCE34EBD1CD1767ED52273375E5
+6D47D8C409D0B2FF2A7BAD28631F2D01B5F40957B2B0ED29588B25AEA13D1BBF
+26B587F4CE4EABC9247295A9A0A7F95FC4EAC05763EDD41E4A5B6B58E17CBA02
+7E8B329AD2E501F5EDA3AF4E7A14817DA0640D7D36A28E484C4D72089FE69966
+702CD37ECDA723F87F26835A1626D4F8E0AA81846BC4F867C32F92329DEF3427
+F0E66767222E5FD20C188697C421079C0A4B3F11FD34557065FC1B2E309CDA1F
+000FC85F467296B9ED0F4E4B178537031E6A4116C4A8F283E2EA7F85ED9E77DD
+98586CF0C4616740D45FA3EE55C5B2C0539FE30C809C49AE69A462168B883E7C
+67F84A357FAC9A0DD8587BA20E0C4A0101EA648F1B7076DB52ED5C237AFFB2E3
+DEB052E72AED01B4AF00BA2352F63F36DA16C1B663CFAA940C15466C59E37790
+7A94FC8D818F165930ACBC4FF6BBD7D264925CC30DA2F7C09A486D6E04CA979C
+1333A4F82FAA88244DD3C4B5506A7202212B896CB522EF1655A2E946869F9269
+BCF94A02F61ACCC3FCD36389366F068B8B3683F4C009159B80D7C90580F93821
+AFC2A1C505D64718B5E8F557A25781C7B570E1EC2FFBD9AB1EB7EE13B886154A
+DAC1EC086155BA7583F659147F1A999459E600F9F0E3B92B2B4A8D9DFEF5C191
+10C86D1D91AD19EB59A53C5FCF0C8BCC60249A5EB7C99D268A105C23D7B90E97
+BA57AD801B0C83858A09AB04C9B3B80832F21414E55B2BA710FAABEC2636B4A9
+C1715245E55AD47C456D9974817BD9A8B43B2A9C517E6543F77F2A9968DCA9CE
+563D99B80F6647DD0D0311A9BF106156AA2D5B798ADD1DDF1C6AD205444C71F7
+F4AABE8325FF3709B0AA70B7E0E3E12CBFF98AD28A485E54E5234292786EBB4D
+837F158282484374AFB2C71C383D5E5EE2443952AB6A97912C7614388600BED1
+B00E67F301195203CF393CBE23944C2B615D50B92834C085A119657019BC823B
+4D409897B76B663BF10A2A43E50DE6F6F71079FA05738CE1FF374269EFA1243D
+E6B7AADE1FF1D710AC7121035998EFA7FB2460B4C5DB9FC5EFBD6BD6DED39EF6
+59CAAEB13217C10375F2BED635114F12F3114B3C07A7BA3EA7E8FEEDA919A3BE
+9A88DF37FC00702B77E3C50522270F0FC389CC543911FE74AF18FD628E7D3A98
+C7D7227CFE24476DA6711B7ACB40AB093C8B467B918108A4DBAC3F5519F9BA5F
+FEFC744498BF24459B22CB284F66698A7CF7E38DE0DE00C05A458D5CDD298E2B
+1618E5BC288AE85DE1FEF571A9A163621F4E4BA57EA6AA013582A1A24F57C53A
+73AE64AD32283D969251C5406362E979BD598DD65443812B285C06A78206C2F2
+30928FFF8CCE3CB6C1A461104345819C3B40A5274E758332E9BF04342DB73F8D
+50964244ACEFFE302C5A5E7B8D4AB25F71054A1822CDC4BC5AB758B2AFFF7B26
+607621C6890D425876D07EF67CD27547D012EF098D4A48D17B235E8638EDCB5C
+DF4313BF52E18F2E5E081AE3CDF420F04863270B8E57EFF4E25E9AC592DE5C27
+5167D48CBDD431B15016427B96DA033B7BECC98EFC30672ECA1BD58300472379
+AAA5289EBAD232FBA545150716B82DEBB2EE0FD69336E787AD93FFD7A6F93908
+DE078767990F2A97C63E6364386A287C4337535CD21E0009C4AD23F1C4769D87
+59D8B2B7E185E14BCFBC26028D20B1230BE924633F69FDF879CE0C753804795B
+6AC161AD975BDDE3FB74AF9B9D05088E0F13FCFE1A4DAF8266AA206953DEB8A0
+E0EA6F1CFFDBAB34B514F4BF444B83DD578C67B4559ECC5FD9F89EF2069E61BC
+DAE364EEB523A3E16776F30C59CFE1E242B526AD17DA6D5CDF0F1D74D3481AFE
+654BEE09EBBB9A044EC7CC1DCDE0D7F03EAF49BE964BB53CC18AFB612BB757E1
+6FB9DEC7A951EBDE4C4F95C925987805657CB56A53006CF6594ED15E37E0E0AF
+3366B2622F6D1C1776AF540D38B7FA2093F93D165BE88F5180E4ACF6E4082B2F
+596628A3A61D984C97E39BB0034CD0CF7EBCABE2C49282A7FB46E360122E6A13
+DBA381977B4FAA70C65A2242561618F6D00450B8AF456F9EA9C3758EA93A00D6
+BCAC0E542BC45F82C96D843C2C061FEECDA0D153B1AD99DF86CA606E0A437EDC
+0F5DD14EEACEB4EE52D5C5BD246811A7AD9E81D938118D110172F03A3BFEC360
+886661D2130354FD67E6767A96DEA881308E7F3F75611294F18B5E7ED330B3D2
+E72FF240CA2B051CEC7E34AC6F121A0FC4851520DC4DFF30854B1AF85CFF2F22
+18BE8823DDD7A212141FF24FD357E03F99CD8CF2B71495557F436169E9B44164
+BB3DC2C12FF88F0D6D8F1A38F8FAF902ECC4AF2D39B9510992F83FE7E8A5D309
+9D03F0F5800D440722C30800E01A1BADEAC4C888F041F13696BFC530B1B1CD4A
+F988F996EB6C6BF85D4B62B6E41CABCB55A10E534340BBFED486B89F38AFB559
+CDA1E89D29AEA2F16DAAA78F68492F1D8032CD211C074D394308BA31C8D4F4F7
+C4373DC8F4733DA12AA27DA04D2DC9F36BCBC09260CF4E48358B8838596D7B4A
+14D1A828502A1520ECA5985B2A584394153423E663032FFC5020CCCA102DA8BE
+9A4F165B22243DECBA4674F006B861FA50A62BEA9B370BB93012083A063C8A6A
+622C694B148142943C88676A504FCF73B37EA71216561D56DEAFEB0E6DFC0899
+CA3415E1499BEF9DAFAC5B1556AC1F3CA86418C2EB842C570394F4316067DA4D
+AD93B92A69B33848B66D3697A2856044E309C58AF1F37F548F0C706FCAC25BFE
+D271564230748E1B6A50C3920E7C6676924CF4C02FBA89F78B01335D09C3DBA9
+AEC76E3E45A9B7B6C109A43287FEB6127976F82D0D532B16D13D1F9F5C7EDDAB
+CE0E9EC2C8BCAE45BAB225090D159BD6B151D67D50C27DCFF0492E1656B7B3DA
+94306F1D0655E4AA6999FB3182A55F73FB9648B668C8CA4EC02EA8112E768875
+3A6CE6E2B389A3D293D0494CC9D12310E453C4ECEE0C16153D396C8E06D9870B
+17E14AFB18291769B72FE79314574DEE09AE4F90DBA6F5F5974A91602E9F6777
+2DA9D71C6EB760F809157FA70D0FF42960C04313D33922923EA95EE2C44CEAD6
+EF4F8BCA3C1B4610E9317A324494D5529E3D55DCAA6782C5BC3EE4C68753B009
+6B643D1874CD71D1DF7C85D6DBBE1DC076F62280C5100CEFC52053A755D1D714
+3F889DE1E96E28486A4AEF6BB2260B456C2E626CB72DF642C58B7F97E9AD49CE
+D93C8BD16760A91B02555B754DCC576CD5C1F2F1DA54FA1F8080DF8E0F176851
+D478C1F16D6071D66C6105957EED713E475B2D2C66517BF74FFCF3DDAF3129F1
+EB1C5A4B1B66149FFCCFEAD074FE6D67745714B78616C2FB8BAC63D385F68878
+E116C1D4F7CDB4727AAD9AFBD61CAB50AA01D6CE9ABD74CB3BD4F8E34665473C
+304C3075D09798FCC7660F811CF37EC3F286C649CFC072DF72D91F508EA1268B
+A1A21FBED777790B7D7678E06BAD26BCFFCAB08AA43656FAB7E5BEF873699A22
+921808CBD1328DE62564D95BD8242EE3B282877BB36917531043CB1399008823
+FD41494C749AA9345FDE39C7E85811851C734E02FBD8C88805723D1648D4D84F
+E3447C05BD07E85A6D21A99C335E59682C2270688E0DB6CC7F8973900D034F14
+B3FC2B12C1B8ADCB4E48E53FE1B71B5E6EDCD29D2AFCE581E04BD937DB4B63E4
+2744FF24F8FB3DC98514D756B9474B3EA450BE45B73B8CD8A4CC793FF7E057C1
+DE9C3D4C32BD1537A9B57CD899FADCA42E004E8B522F23BE4C84ADFE646ACC97
+1AB63DC395F039C88EA6BD76D742B158A1C368F0E30DB7496202282ED3BEEF39
+C9F848A1FA7AF6D7CEA288A1F57A8844A0F8184EBBD19463830E3EA0DFCEDB20
+73479714A00CBC37F3DC8262CF11B969A7E139F41D41F8E55A375D24BF8B600F
+FBCFA5C1908BFB5D1ED04358D7C668DAF3E4C66033AB906CBF8DE3A98501ABBF
+CA4946E403651EAB52928A77998F0D5461397509AC41FD798A04C5C788AB2109
+A59AAAC779931AF74D599F56744D59DA43BB9C6AED3CF926EAAEE7CEE7B65A14
+44819C89431956F523C144D544C4A6FF7A655E00D6373FE0F4EEF8781A2138F0
+78415C4DFEF47B6BA1B55BDFAE94ED557C60C1640EB7E7F02C11C1B5AC223B25
+C019EA76707B37D7BA33BC0380EA679B501AC67134C7322DDE6F6A65B0A51D75
+4E10F3B7F5C59AC647F20D56B8682348CDD64E6A004F4DDF7728863B68588FB7
+354545F7CFD1E085E486EFD45E2C00242864CB8EA9B0A17C9BA16872B96DC37C
+BF323DCF2B515B7F46CF165E805A841F5FBEA30BDB673163F77CA897E9C2AC5E
+AAEC3431B31F82FF5A89A7D040ED41FAB1FB819348E270AF59DDB989C1760B52
+E5BFDB70768585EEEFDEC03F786EDBE24388B5FEB41A8E6EBEB03B2C78575045
+5A6AC092221F33D3ACE40F7F348DF35E010350DF0239761A4BFF9027A1B3D645
+520F1F5AF2493BEECB4C5F492E4B837E58BF86466112AAD2F26A24B12006B363
+0B374098BAD0E39E90A1D2A91DA08F0A8663C7D92B6CDC948B34E8954226D699
+63A108B94D30C73EF3800AB4B3335E109ED617D9A540C86E1FAA3C9AC1DAAD39
+CF48DA3374B8E7A2897E69408B69A50BC21DE51778431F7FA43A498A26A3E36D
+B78C09E8970B649ED4D1B62C9440B9D8BF4D1598DED8A08F63B0462F340B210E
+706DC3E19BD95A00E17CE4E7FBFC25F7D96CE743EA75E0FBDACA8FB99F0089D8
+01A8B0AB3ABBE715271BD2AE40981D7E89C076C6E78D745A7A2C3642B776DB7E
+4206F8E0CA8601A9943BE978DCA9997E602ACB3F095E5336D03FCA7B55603973
+5B3720896C14BFDC2AD92902996997B1BD29D0CBCE649EC7460DD4BF09C83C1C
+40DD3E80D61DC343F63EEF3C0ED308210E92902C60FC917A5E46162FB1B5D692
+7368EA0F5ED3F1E89C9B8FA16A7A5656E6D6889C26DC8C1E155E192BDA101B9B
+88CDB9047F70B521C0391CBAAB202C32D9778514F909446A4FCED1FD28768482
+4D6DAD18A3BBF7CCE3D6AAD9CE8CA14D1AE236FBCEFD14B0080BAD4CF4D669B2
+B5B534D48C0F3C2F56C6D7B86A9EC1A55010807DDB8AF1F76476E5AC8FE26F92
+C6BDE7E679D3C58517990AF6C81B583A5A4D674A24F080DE82D5BFAD088A45AC
+005E57E214AC3C261CFF96DEC72CFC188912146C8E321FD0628C79237B7AE99B
+F630A87CA91C660282E1942D97E791E1BF20FDAEE1C0DAEBD7555A0F15B3B5BF
+F271613C3E5507D70E1F2F84F6557D6997424098F06DCCD4DC9FEEA9AE3B5B74
+7F5EAD6CB57116F541162B4CE263BB7EACA9985BCD0A0C96996F12246B7A5140
+516664221E3748C6DBC6CF14CC1767CA58C6B2E2AC87DEDEB575A53F9EB21AC1
+7BA01B94061831F7C51B7550AAA17A33D2CDB1A510BC58640A39A395DA28E7A4
+14C95846AA79AD1D7BBF3689A1554D27A8633E81CD11AB07035598E7FF3F9D87
+65917F30B279B347D12A1F485C058326FFABBBD9E55CF450BF39BDF4BFEC9A47
+3AEAB2F4099402F82B71D601E04D0D5311E191DEFE5ED4D2BA25631C135E6DF1
+CB0CFC87C39575AF2FD643BCC31F95C374DF6B92231DBD92EE22BE2E454E6DEF
+9B96D22AE24915A71074ADBF58AD06A2E13885BDE5B5AA66AA9DE2167F250DFB
+4A3964F88D8203E74BDD514B87FAF7D4A9596360FF989CC330898734D713B3D8
+AE451750809B429F61B37C9A81BEBAD8C1FAB061045470F5D6A6087665A32FBE
+0713B22677C50C2864FB376CD3A497DA6714EA71CABF6A5E546EA183A9B7ADEA
+A3D7E05B7DA8C435A28E751B81A453268DABFF5126458FE4A37ABECFC28D6AD2
+2FDCDB9D47FA86BCC4ABDB580487605319824C13577C6ED3B622708BDB377B49
+A0C38728E69957D9E446EF7F06E84690EBEA961E1738904A858C9529D7690D0F
+B74067F65C8DAF088E30113C5540758E70B709221C472576362D9AC8B0C8A3D3
+C47CDCDB142FB2EA496863501ED747D4F7E8148E5A420E931BD250199208B9EB
+9C4F27E28068D01C8FB318FE588C1DDDC2EAE86428092AC5263DEEE85931EC94
+07E1B884A635A73EC6FFF4AB288323C091EB8374071DB3AA50F0A7F7A604B632
+EFC5112CFFF5666A16F2E820D108E8021C3F83DDF64BD0D8280FAE6684252EEA
+E4CF4D6F87B79A6BD750010ECADDB73CF3084B755AD56A9EBCFF2BB74F16CC81
+101C08B53384C005A84F9A6D98EE30CDCB1A96D248AFECCD51F7F61237C66B64
+39B5C009801FE279FA131C37FA976600076CDB8133D4B648E527873882A92D29
+D13EAFAEA59BCED7D139DB7CCFD550F339424ECBA3D5B3120EA9CFF83AA09B15
+0479161D0B1E5DBAA40012C9010CAC60C3E0A27A3691A044AF43ABD3790C0787
+258F7BF261460E633E824A3E68A621ECF370977948DAA5186A85517C3E499C85
+399A858A8F31A06C592907068738C359C98BE26EA74BE7E7CE70AA94FB728057
+E394F07D7D322D676F7C2F26908A650FF1F031C81D39BEF771A594437E6E9C4A
+5932B386B21A23A1BE1920B81CFB6BE25E7795B1DC4CA5A1A48A5EF065D42A3F
+5D483D5B5784AFD4978121DA2E9A7E5152BCDB0895A3D059969560182A48D5ED
+B48CE1E4A7C605DC064751D8A74BD82E81D3B926C2266580E11D43C4308C80DE
+CF403624781A2086D85CD5DB455EE66BF10928ABF9B92C064BA80DF8EC4683F1
+6D8315718AC3D299A64897FC058CE73B2FC69FE9FD47150A8CDEAB64C4D16C60
+BAE4B6BB75BB68B2B0F862234C281CC0322C0AC109AECF779BFD3710E4FA99FB
+4BBD71B5215F7400CE1FE62686374FE8D1B9742DDE5BBAE2490831BF97E53CE3
+DC7C226BE13C85C718B1BE4CED5B152C5336788ADD01C618EB92B08A768EBF68
+06ACDB576C90B0796FB308EDAFC45AD83617273B4873D9FA0568F8CFD66AFAA2
+D3DE7EFCA9EB4D8B738EC2A2527D413E32AB5C8108BEE5E93E96874CBD5A4411
+9F16E8CD2F66559079B65FA0BD7E4E62C90E0CCB24824503D79F8A3AF238EC8F
+31F8FAB5826583E4306080632775AD6F9CBA95A9B3D50F3ACF5CC3463A669A38
+C7899DF2A5640CEAE48D23A1C8612957A6497E690CC28D61170DFD9490A2FF30
+D8EB04A6F41264716054A1192FF06CE114221590C75295C0EFBA5BE1F043F38C
+9E984DD538575F400A9E804C4B1F1E32E4CBE67C031578EF8A43FA450EDD6559
+374A77F027ADB006AEFCCBD85AEF0476F9D23E47380FC806A9CC014D84C2E761
+DAB740CB91FB3B572EBE6CADA1DD02BCA2979207855A7B394F24D5C74F7B2F19
+5E2AB77F8DD386E19C3C471BBC6B5A24D9A1D9420FC7EDD145A5913C9D8090B6
+1F9BD2A9BAA0B5072494E3F39D15A4796AB77A239473FAADC2C9D200865AF9AD
+E504F70CB457479799F6866A8EE70A8306F1392DF902FB280C4C49A4C938F326
+D71C934F99D0DAB94E021F9C38CDFD091DD56791C2DB1F276ED462E6509F16D7
+D4D0DFED88885B768A7BA691817831326878CDE0E5129C7BFA613BEAA214CCA1
+7902A7D4B249CEDAC4F91328B6B13F0993D829BE26F033525C9688864D5D1B42
+A35165B518E8096A7D456B05B807D8DFC4834485B244F6B9009AFBB8F4156402
+052EA0A965CEB476E5E0A34D65C3E7086D2E2BBFD1DF3426778D59ECD4A9FF10
+61D86CBE740CA58324FFB0A3D7F208B1B5305CB9F360C764ECF337652059F4B2
+9BA41666DD01A8C4B57E5561045BC1FD0A5E4D7379D576F1D88773CD6A598DE5
+36DA07679F81E1FF8EA936682BB2584E5B0432CFFC164EA6CBBAB9B9D0784CED
+6A68052CCC8451F0EFFD8234F74C9ED840C3403A20223BBD0F48B7CA6311454F
+0A708F8C11BC7A8DC40FC0B22DB69D0B9841EB4A6F90E7A141C27287C7E101AF
+B9D8B5B79F7253162FFEF8BA2F518A68EE2CDFD1CFDD275845846533E0E48F08
+59BD19A41B09E1BFE6AA6E50E0A7FB6277C24FA36A855AA66DAB703495D7B940
+EA4F6CDB608AC762C983924B128B614B72587A9BFB9DA733ED7615E4FE327CEE
+B289EF203FE428E833B477B42EDE9FF4F654591082CA1643B747B498F142DA44
+2293A860C985660EE10BB1993EED80DE58AEB57003D0E1D83DEBF4A2FD24D1CE
+7D43B9443CFC8156A475D7E7392BCEC9382D50E918601C48050CD304DD98DF5E
+D028D84EC9035F9EF089E816C7CDC4F72A6C57B2A77DF516B7BF9F9B70CBCC1D
+C4C275DB0A07C56512834842AE0E6067F4E1E43AECD70ACB490B55DDEA9A1997
+952B9C9C196B45A8593A76BB6621AD0743EB79B3B23783D142F5B86817A1292E
+F7202621BDD96EE6B8FC9813A902C316324C95B53F3A25525BD1C43BA58E31C6
+1C5F5F3CF2B013DF9C1E275162F1F00404DD6ACBBAC7D6F3CDB47FB7CBEE9A62
+6C121C4CEAA3CF90E289761076A037457592984493EBCA019F190A635384B058
+A6157488109FABEAA7DD2AA138EFC88DB3CFB97135532E39D8ACDEBB25BB578B
+DAD4BACFA022658625AEB53901AECF8A26A12C7FD1CC3CEBC248D65390CB72BC
+F9D7B29E1A6F5526CA3C2D77B110B07EA76BBC635378853B95A0FC94154932B9
+9B61E85EEFA3021EBE495100F7DBCAEB931E96D1179234A064B95579A202479F
+3130DDEF0A0F36E93C42E1E35DEE6EFFB8A055C112D7813F7271A5C752386AAC
+13F2DEF3C344AAEC01A06191704190C822159FC445D1E5E29D3D6895E53C1C36
+40016856722CA93D0776B09A0C1B2BC49936492612722A49F6F40EF05E589DAB
+6F6F0D3DB2EA612DEF81345A4F848E41DF06F09EEA355309B03B70010328AE3E
+49871A15DCDE3B4598FC2E127878D50DA86B40370823E3FEC4ED075B04D08ACA
+EA4C25E6F91B187CE694477F749F82992E955C662D9DB4D3B3B79FCDC01C3A71
+F4A5049B2EB5B9A58EBE4208F4BF11668F7B7B15F430231FF2DB7166B87A14AE
+74E294DFC4DBF85B68C5EF65BE8BB8327F5C81DC2770FAA8EB45FD90D0CF8114
+6B6AB39D4401D9E1F56E48F762F9FCD9FF6DD517C2E8F0A40693E8C5B121A511
+4F9C1A621274E39EEAADF0B38FF09381BAD76932F83776F6D8DA39850483C2DD
+45F88328B149F806B94B1D5EE9FB471C521EB0C7574C40274A092DF90BC61E7D
+BF4C8A7E640C812ED7BE51FCC5DD659F00DF779F534AD4B1D30D819B352B680B
+2EF89EDC2068D05D890A4F2D0463B1632DA26C0693EC6BA4DC266341787CF9F3
+4AAAFBF7E31E57FE33DCFE92321D83D9D0C7D22C95006DF6994A91A9514B4227
+16121CF4F0EAA6DB692BE7ECB662348634ED8795729E69126D278CA3D2851DC2
+E0CB728D30F2E030CCA8F1AE496ECC86B685522E7489DEF27A13739E3A7E7C41
+65D37BD1D4DAED76ECD3393D162276EA8B1DEB61F004C230B2B45A498FF9CCC4
+0DF8502D61905FD02748D5153874C668258AE550E7A193F65EC5005CFC62F487
+95DCCE8FCCB0DEAA29284EBAA2AA8E4390F9BDB8728832055F71E7508466F81E
+C36D3AD412461BB5D47AF5C25F5691DF2F1237AF4C38B5F9A39D3DC93CC09CE8
+BE83282D74D0067BE635AE5534CFE21ED731BC7D57A1E599B5F857B441DF312B
+EE63B17625F8E9C8B60886751887972D66C3CAFF6C4A79230C80D38E62097920
+02AED9583BFA093E12C43C21E925382A2D1CF849CF0EF78E3A10D3D096FA7E5D
+4852B48F35BF580DB5F5081D39F0A71ABD18DA66E55A95087D8C8A8ABF3F9CE8
+44C8271E2E979D7BA6B4E3705D427A58D03453901DF851E1E153FFA9FCA9323A
+6CC96B8412E022161BF93F74EAFFABC289CD66F67A05295C2B63D12118C63092
+6E10779F06B689A33213303F8B918A8C05EA8CCE48232CDCC32369C9EA4391FB
+DDC912D95BE98F9539D8AF957A13964832F81D15176FD2B86E2DA6327CC39BEC
+A62DB926109089A0CAEE25E722BEE165B208B2E253AFD91A5E89862C3190F1C6
+4D6132556E5D42E5918E8CB8C7CEE33228E1E6E20346D2642B7AB3B24C1DAE44
+AD13D1BC81D3D025616203CE7F35CA1F268933734C975E255A1998824B1BF655
+7F6DB1F18A1EC83F7A91804DE9E7854282285079D030E0D84ADEE3B9189FE570
+B245242DEB11D546E6276360F717E460D4DC64612104F729B929FF470796626F
+87231A215E2312385EBD018FF2FDC1AC98E326E8C3BD4309AE18E49FAAA5D529
+A256D25EA954E041CE082BF92B72F912011BB8FCD1DB58E50EA8CEAA32493E4D
+D09BD064230E53AE51129938BCA34028BEF49225F03970FE8664F07EE6575DA9
+AF009F93883432ACE62D0EDB0921A5255D09D1E85F611EB4C6670A3D3CBEB607
+37C546E9A01AD9BC31C39B2A031B01713006AB351807BDC24317535766F347A7
+B6BC75B15028F4BBAD94FA7DCBC14B6A51DA89523630676A49A80E56847BAAB8
+C6E6430EFF726E9A67F3659A098448D4529256AAD1514E2DBF9209DB00E4C655
+D66D8ACD94222D763E958C86F1203618D9EDBBE9CC0BBBA0425096509DFA6290
+E283ED970B130C0A8460EE0E8AB22526FBBE0D52B401E319BFA0704184658F77
+32C3EDA5E4D79F7E7CB040B98FDA0F432EADB73ACC60F188E4D75F160523A100
+CE68E70879FF824DF892ADE43E889237CA0058E648347485647191730E94C9D5
+30C3A0323DAEB3288657CA33E44BC157A11032118A62ED355342832955BDABDC
+6CD94484B3C415AE773CFB6166535DF4B668B00DA523F94D8B029D33295A8DA5
+37A8ECD10589B7B0620D4F0A5257727ACE1D1642932626179286010FA08BDE39
+AB375825E697C4BE80345F57459A77A8C2D09879612D91E26D74A55353334B43
+D89AEDE4FA249790C7B440EDD8B645CD29670BF7AAAE9D097B445C0C07254D9D
+2ABF07CF57C7E1E576A74981BF9AC8CF35C2204BC77C2AA0D6B4BFD10CED9FCA
+266706941699066BC3D16230FABEBFD57E83B352974DA2C4A88CB4013FEDDDEA
+A7777C88B08667FEB4F9871963C5BF6E576A4E5F8C3F9453E2191D5A47483534
+FA7C7CC217F9FA275B7FB4D14B9426D110B6ECB2C34FD6EB1530A2587F520B20
+11BFD5793163CA9BEF0C5D57EBF03A59BB8F303881DEA5D4C5A0CC4F344721E8
+0FCA16
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+cleartomark
+%%EndFont
+%%BeginFont: MSBM10
+%!PS-AdobeFont-1.1: MSBM10 2.1
+%%CreationDate: 1993 Sep 17 11:10:37
+% Math Symbol fonts were designed by the American Mathematical Society.
+% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
+11 dict begin
+/FontInfo 7 dict dup begin
+/version (2.1) readonly def
+/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
+/FullName (MSBM10) readonly def
+/FamilyName (Euler) readonly def
+/Weight (Medium) readonly def
+/ItalicAngle 0 def
+/isFixedPitch false def
+end readonly def
+/FontName /MSBM10 def
+/PaintType 0 def
+/FontType 1 def
+/FontMatrix [0.001 0 0 0.001 0 0] readonly def
+/Encoding 256 array
+0 1 255 {1 index exch /.notdef put} for
+dup 63 /emptyset put
+readonly def
+/FontBBox{-55 -420 2343 920}readonly def
+currentdict end
+currentfile eexec
+D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891
+016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171
+9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F
+D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758
+469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8
+2BDBF16FBC7512FAA308A093FE5CF5B8CABB9FFC6A66A4000A13D5F68BFF326D
+1D432B0D064B56C598F4338C319309181D78E1629A31ECA5DD8536379B03C383
+D10F04E2C2822D3E73F25B81C424627D3D9A158EAB554233A25D3C6849ABA86F
+1F25C1667CB57D2E79B7803083CB7CC0616467F68450D9A3FEAB534EB9721003
+DBFEEFD050F3AC3492F5C74162A9A531ECEC0F47610B4940E946D21CAA771D30
+A6C27ECBA11708CC46C62396BF9D1990D579D0C394899D24FE7A4382EA18E7E1
+160E7283AF5BE17254790628E79FCC206F28B5566075B3A5697D5209062544FF
+D85FD89D6F43D6588B242AB2666B5D2861CD38A8CE676503EDFAE84D12A71E77
+8405E468FE391F4F3F50D2C57ED55512036B0DB8E76A7EF413ED08673E56DE2C
+16A3B65CD478433C0D2F9FEC4E662D54DAA43CFA6957D2A9AF8979BE06F70B68
+ED4C8C493D6DAC4971A3F1D010A7726D084EC1074FECD7D12D72AE16C26194AF
+21AF5774D9B860EEE8608D34F150092F09C19959BAA670022B9A9F263CD391E3
+74DD1D1B4CD4D75273CAA4E37F68C631723E08FA35AD34C0AFB4621AE6689861
+854D16CE1C375FD159A337E221A6FF1CFFB5693A0623E7EBB58C2969F590D081
+AD92DD9E5322E26D6A15023664AC73A355998BCC48ADD0E7A4BC79790519606F
+A1FEF6075033BCD422EE8233B83D1E7C20043280D531223D5AD4D5B41669F884
+95CE4D6DDE819B588742B930C579EDF743F2C74C95F717FAA6154FADC3FE2975
+F59CFB1C1A29059487E75C48505BAEAD7145667D4E18E46E610C868A257173ED
+0D30EAA4C090854DD8378E92D0A376226EA7DA63798F247BAC770FE26D70E72F
+90CCFAADF118304646955B0310C65F6CA51BEEEF87AFFE294D08C443636DF75B
+DE5A40A671EB63B8FBA940417A22BE3706D2341E62C59351946035638A25BE94
+60C5AECC478C553CF2E3B4CB088D9484D697E831038F8A531F3EEFD41C31449D
+6DDF83FD724F4C81B0D713B73E56FCD2329063033F6A4DAEBF007FD440CF3509
+5A90257034F5827C28890A0994B32EA705AC88782F3AF039F94AF3C6EEA0857D
+3EAA1D1B61597E6AAB0C0CE342E7332A947102F48F28D169AE3575F8EC625964
+520ACB3FFF574B9D39D7BA6CEAD0ACE429F4F147B848FD26C3C2E187CF76E7A6
+FE0CDD9A53C3E4586B1C252E056BF41347B2B8A28510B8E53183D24F5B758BF9
+2A4B744E2DFE23911B0D40A6AA8559D89128A29EE51A806F533B599CA94C44EB
+3EEBB6304B96F2FCEBCE45929D139C3107DC10ED807E1D8B5229216787C20B3E
+E4413D68D0A7BDCF429BDCD1E9AF9B9590BC9D6211B1960CD0FCB32633EB7B23
+67DE12C994F006556E99AB540962208FAB61
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+cleartomark
+%%EndFont
+%%BeginFont: CMBX12
+%!PS-AdobeFont-1.1: CMBX12 1.0
+%%CreationDate: 1991 Aug 20 16:34:54
+% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
+11 dict begin
+/FontInfo 7 dict dup begin
+/version (1.0) readonly def
+/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
+/FullName (CMBX12) readonly def
+/FamilyName (Computer Modern) readonly def
+/Weight (Bold) readonly def
+/ItalicAngle 0 def
+/isFixedPitch false def
+end readonly def
+/FontName /CMBX12 def
+/PaintType 0 def
+/FontType 1 def
+/FontMatrix [0.001 0 0 0.001 0 0] readonly def
+/Encoding 256 array
+0 1 255 {1 index exch /.notdef put} for
+dup 12 /fi put
+dup 35 /numbersign put
+dup 40 /parenleft put
+dup 41 /parenright put
+dup 58 /colon put
+dup 61 /equal put
+dup 101 /e put
+dup 105 /i put
+dup 110 /n put
+dup 116 /t put
+readonly def
+/FontBBox{-53 -251 1139 750}readonly def
+currentdict end
+currentfile eexec
+D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891
+016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171
+9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F
+D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758
+469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8
+2BDBF16FBC7512FAA308A093FE5F0364CD5660F74BEE96790DE35AFA90CCF712
+B1805DA88AE375A04D99598EADFC625BDC1F9C315B6CF28C9BD427F32C745C99
+AEBE70DAAED49EA45AF94F081934AA47894A370D698ABABDA4215500B190AF26
+7FCFB7DDA2BC68605A4EF61ECCA3D61C684B47FFB5887A3BEDE0B4D30E8EBABF
+20980C23312618EB0EAF289B2924FF4A334B85D98FD68545FDADB47F991E7390
+B10EE86A46A5AF8866C010225024D5E5862D49DEB5D8ECCB95D94283C50A363D
+68A49071445610F03CE3600945118A6BC0B3AA4593104E727261C68C4A47F809
+D77E4CF27B3681F6B6F3AC498E45361BF9E01FAF5527F5E3CC790D3084674B3E
+26296F3E03321B5C555D2458578A89E72D3166A3C5D740B3ABB127CF420C316D
+F957873DA04CF0DB25A73574A4DE2E4F2D5D4E8E0B430654CF7F341A1BDB3E26
+77C194764EAD58C585F49EF10843FE020F9FDFD9008D660DE50B9BD7A2A87299
+BC319E66D781101BB956E30643A19B93C8967E1AE4719F300BFE5866F0D6DA5E
+C55E171A24D3B707EFA325D47F473764E99BC8B1108D815CF2ACADFA6C4663E8
+30855D673CE98AB78F5F829F7FA226AB57F07B3E7D4E7CE30ED3B7EB0D3035C5
+148DA8D9FA34483414FDA8E3DC9E6C479E3EEE9A11A0547FC9085FA4631AD19C
+E936E0598E3197207FA7BB6E55CFD5EF72AEC12D9A9675241C7B00AD58FAF645
+1297991B5D01701E82228D0313FC7C66B263BC79ACDDF9AAC48A3CBF42B96E38
+583E1D059953076D68148DC8B6C9527B3A74CE7DEF788A11531F44120BDF0F61
+0B2F3ED94EEBCDE4ACD23834C242AA4314B9EF98E4BE72DB76EBDD0A028CEA9D
+B4C38C1F2D24B8FDE686832FE96204552C820E45B6BAF0C3308742AE2BF8E09B
+5C68BEBF37982B2EC24C4A8F927B726A0C918F3AE2D7BE7A13313D91A9FFA2ED
+E05379E6A7D6D99BDDB3623A848446582EA4816DEA69D30344AE71358B5F1241
+350E932FAFA0F85DAB124180FABE88F36FECD75F2A9B9BC7DD5D53F3E81369F9
+2E7FAFB4C3835CF8558A0E83AB321A5B14969F3F5AE9B6ACF635D3B9BB31E89A
+8DEC2D5D6DE6EB6EBE7CE4CDFD8091B27971CE3531550678500FC8A3539AF3AE
+B28AE3C628C11E9D1D72CB3441CFFADC9E5AF0E20AF8058C2C10AA264140D214
+D5251C044B8967142A83AC36C738288C127178D756C8ED56E6548A06DD35E837
+A38C2819D616DBFD92936EF7E7EA91071B540684F8A4C75E5DF8DEC245E90368
+82D4A4D18106B184164FE3248EB720A46465488D5624BAF2985FFA26C4FE102F
+101225F6D6D830E025DFBCC5A451FE0B8324DB8FFD73B457DFACB7510F164DEB
+DB51D7CB289F0FDA5B391605DF30B686455EA9E3DFA9072AE54C9289A22E4EBD
+5B3EEA194D4B834FA103C46CD855C839D39338E042453E3FAE4CF7C337515696
+237E33BB2B7504EC40D0F6FF65FF352051EFAD39FFD961EAEA535623ADC6BCA4
+DF58F50805F6DDDE1390E2BDB54D1CBBF66DA5EEC4D5F0083823163DAC7EC0AF
+93283FE39675D500C377AC7FB8D5D225151468DDE61BCA5303EE477A124A5A23
+E5F0FEB60EAED09600C708E6721BF38019C8283CBF68491AF71EBCBA69959B57
+39045987DF4380F9255EECB47DA770FE1C4227D79A2059124EDF92C19416F331
+D5CD9195D8A68F18F35CA9BB874F19F7A31830DEBCB18E98D5840EB002AB7B29
+449A18B15CE875AF94E4DBC668E439A96A5F48A7A40385D44F9E52819B5FD422
+4BA099A289B290A51C17DD1122BEA1617243203D331A93760E30CC240DEDB93C
+B1C7109482AFA08C5F55FD884668C4814084B1D2F3E95589C643340B679095A0
+5C77BD6C4DB0099C6B44415C6F29F79B82F7E13A5DF630CC9AD41FA51D156CD3
+AC8B6047091F053DFAC33E938348576F087CEC7F412B5277DD7F015760783880
+ED54895B4F07A0C607F9D0A04443F4FA3ACC1B0A4DF119AE6A7875DE4BF1C380
+07B8E16EC2E7A72890181A5834A21009F20C8DA3CC83145ED7C0F104B0110F9C
+DF6576366CE35CC55ECCD38DED5056D52057ED9CA7660935CBEB57D70A5CFAFD
+527A77A3F3AE4344A19E313BC77F75DCE7025A7C8AF2775BCEC4654D2D99DD8A
+D08136231DB934F4070A7D4A2E156D498307A2B8C2B0BBE45C9B0118E32B9B34
+AE7A4B1003F0C5EC791673656282F8050F9C68E17749CCF7A18080544D6B2865
+A64BA94BE2D5AA53FCB890663B68647AECF56E82DDDBBB56CAA7F7D8E8FB823E
+9D020DBCF92605CBC42C3DB44B6EBC64067E69639764BAAABF1F7B1891684B76
+C6B37CB60A0F0E7BAD176F6F50C17961B8387260357F1AF6F58D063079BB9AF4
+3022F30008BF9462A21624E4CC8D35B2B5F6439FABAFAEB3D6B9059ACF56CA3C
+D9C5A99E9EE68C2A85C5067778C4E90977492C4DCC1935AFC7EEBDE51683E643
+F7734CEDDF10D9B89787C7D233AAA933ACDF4C094550D35DAD32F97FEC809B8D
+16600CCE82BB3A6B9A672B3A15F50F59EF11C6EAE0B7D1276A9045B773243641
+CBCE33E6D9067F63583E60F8B297270FB1758B82260ED8522B3BE4A245118A10
+9F1EB36577CDE015EA26038072F6AC10DA45CF569F754290649685E6666415D8
+0112B117836C36A4FF57E85EEE66C964E5DB34DDE1C17B4A6FB4D37A8391D925
+84B978DBBB37A9365B83AAC3F396D4AF476D6CB6995F6E432642348EEDB85E46
+526938BB28CC7C9CD67D9D26165C9322377839893B73B1E0BC336749193E6E26
+2898BDA3F8B053B9A497D133250A04FB262CDCB5FE891C1B865CDBEC27C1E60F
+E450EC88C9FA46ADE43ED562D4063435A8E0EDCCFF435D2607C44C5345BEF1DF
+D483CE7FEE72BC91709B387C9663A0DD756186C60DB5AF0465D1B1E7FAC13B2A
+BE39ED468F13DB3351AF5A8C744221D5B1F3D172AF3278FB7550592C0F314B68
+E5536453BFDB8EA801710AFCBF1DCE1170876791F1CEFC7B4DADA8524B6525D3
+00DB59D0063747DAD551BD7AAE06AEAFA41F79F7BBC6DC71B4B4B93239674298
+E284E9C61DEAEA7509EF57C3E1D7E6F8F8CA19081EA83F
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+cleartomark
+%%EndFont
+%%BeginFont: CMMIB10
+%!PS-AdobeFont-1.1: CMMIB10 1.100
+%%CreationDate: 1996 Jul 23 07:54:00
+% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
+11 dict begin
+/FontInfo 7 dict dup begin
+/version (1.100) readonly def
+/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
+/FullName (CMMIB10) readonly def
+/FamilyName (Computer Modern) readonly def
+/Weight (Bold) readonly def
+/ItalicAngle -14.04 def
+/isFixedPitch false def
+end readonly def
+/FontName /CMMIB10 def
+/PaintType 0 def
+/FontType 1 def
+/FontMatrix [0.001 0 0 0.001 0 0] readonly def
+/Encoding 256 array
+0 1 255 {1 index exch /.notdef put} for
+dup 11 /alpha put
+dup 19 /iota put
+dup 21 /lambda put
+dup 58 /period put
+dup 59 /comma put
+dup 65 /A put
+dup 70 /F put
+dup 76 /L put
+dup 77 /M put
+dup 78 /N put
+dup 80 /P put
+dup 82 /R put
+dup 83 /S put
+dup 86 /V put
+dup 88 /X put
+dup 97 /a put
+dup 98 /b put
+dup 99 /c put
+dup 101 /e put
+dup 102 /f put
+dup 104 /h put
+dup 108 /l put
+dup 111 /o put
+dup 112 /p put
+dup 114 /r put
+dup 115 /s put
+dup 116 /t put
+dup 117 /u put
+dup 120 /x put
+readonly def
+/FontBBox{-15 -250 1216 750}readonly def
+currentdict end
+currentfile eexec
+D9D66F633B846A97B686A97E45A3D0AA0529731C99A784CCBE85B4993B2EEBDE
+3B12D472B7CF54651EF21185116A69AB1096ED4BAD2F646635E019B6417CC77B
+532F85D811C70D1429A19A5307EF63EB5C5E02C89FC6C20F6D9D89E7D91FE470
+B72BEFDA23F5DF76BE05AF4CE93137A219ED8A04A9D7D6FDF37E6B7FCDE0D90B
+986423E5960A5D9FBB4C956556E8DF90CBFAEC476FA36FD9A5C8175C9AF513FE
+D919C2DDD26BDC0D99398B9F4D004B836D34E88C25F6CE738846C8E2E59A2BCF
+4ACF80A26D78872E9343A0537BC3BD7715F32ACD958D5AAED865BFE129278935
+063A31C2634DE2F9077E0AAAAEB224466B779096D8E3FF0A12AD5157F6603DED
+1A82F3511359143311179080C510740B401C930C96270FD1AB3ECBCFEF5DE53F
+E846BAAE95828D5790922640EF8AB9D7CEBE7669FEA02B72F86872D3D8754A18
+A1629C40A7C00C956F140BC63362478279C36EE353638CD3E249897207A94504
+4400668C8E702058EBF7284C9BDF830A3FC79C7EE900CC4C3664F9767A237275
+CEE3671644A75F1E696DA906B4C66870DBE87F5B4A176920C078ADBE24F55C09
+3D18CDE21B5FBC1C6A8AB18E05EDBEF9D1C1C18B3E6377BA2A688579D4F708F9
+A5CF4F56C5E39E2726106E9713E638775E606464CD674E5DC25CE9A696A65806
+C8E9D206B421E246F18013ACC6C7B2985BA93B1B7D7745CCB25B09957F50128C
+B523A55ACA6A7A2A0193A536E590291ED9D577B527CAD0372E05BFCA1829FED1
+662D06144A5FFA628C587A4FA05B179F1A7E3B23B47765FDC054271A0DBF9C2B
+B4F4771F80D1F7AAD9024868C30DAD5CF728DB2A71D86D53B0E674996E8C01F7
+EF97B225A28872F8AD4752A466E078C2B020EB832F237CB9B5618112AB541612
+CA7A7AB68702A1FAFD456F77841614D7D51C0D4716F8BF44013E8F0B29F0E926
+A1042B12AC17D9CB44A6DD0B0028F2C3D976E2294E5271224CC19B6D416731B5
+413AF1C2E09CA2BAA5667FB40F78AE62F1E2097512B9E35E4E061EE872195CAB
+71DB809A152552F2DC1A7A2C8F4DFD4FED243AE36576580CCA8339AB7113EC57
+3B375CF75950D07E36EB7B60ADDC35CBF9E0504AEB72440D0EC093D03CD4C06C
+9294B8CCA4D5CCF78C4BB89E2416895BAD6FFEC243BE3D4E2AF84483AFFABA54
+31F4CE5FE4B9CCF1F42153E67787686BD3E290B98D2978B09A66AC6207B28A05
+6BBBC5489356C09022C7C980E4A5610377C5D71060216769C63313302F0311EF
+80599114D9039C1E0B88F8616142A36763CF03A3D15DB109753E6D2C865E077B
+043C64F4E1915B3274C77FC2A5990BB16C42FD8334D62B70DA7667136AA27F8E
+F18FD0D8D4920D04777E94EABFD75FEE920A67F774737C0DB9279172496EEE0F
+51913FC24050703DC4EC67724B6AB5AB6A20A48118D61EB855F552025F07A051
+E5F9F8479153A9698D2A288E8D844E369E8B4A81E99E410B7AF61BC00E38C854
+2A449CC84A5E97CDB33FB45924C567F43EDD6ED7A4CD798176EA89AE145DABD5
+CABEA4BDAB3741863DE4C37D9822FD22966CBBDE28AF50EB37387F160EAE8276
+31BC6380D7EE0AAD333F217019808D09D929AFA4D8BE66B4179503D7F6E53404
+2003BC3C6545DEE1DD0912A8C4F26CEBD6E14D42AADC7A8832BF3D3685E20C67
+2C836361C900B26A5A17E7C6A345168F057C70703BC95A89D05ADA4A9EEE10B8
+B38E6C22EA5CE7514C5BB9CFED61E13DBB5D1F44C90AE300359068DEC387E687
+BC649402CDA616AAD255737E64DAE8D6CBA7DA2D624BAA1A6EC1F0489604434A
+63A2E27189A936B9EC3023BF4782D633FF30D7955C1F0203131091B8F256C50E
+7FC7A0BE2E79675F354DD3F917BAA7855C85CBD7817DEBD7565577D77C16B617
+51860C3E2851DEA5278CE5ACE5B524D13E651F24D068FD2A301D173706476943
+5185DAB7A4CB80C3D57A4627F8C1C36E440A1CDEE10769C5048EBA3403727284
+94D98AE962D0D666801279CA31F93267A9226D017D39891C51E10C8EA793B5BF
+8525610091D8CB04441A6426D5E6AB968B33E3BA97867D4EBC5F56F78FBAAE7E
+B7DF524D5495306E98888053F41E01E5F8EFAFAA46B81722615BF5724D1E3B86
+EF0AB8E6FA2DCC46F59E6B937105EC6C4E8D471955C3E458B9AFDE192771BBBE
+7F59D33A98B70C417B5CAA8B204FB3A9B22ED8D4C03AA834CDD54E28633689DE
+BDA9B3D93B1D610F7055B3D73A5CE88481C33C17FF15F5397B15EA68B80FD622
+636F8B5B549F12C79A51F67D3715DE2BFC353994AEDADD86BE2376A1002CF782
+84A07D3F1F922270D8A56E56AFFFA7BE7AB74BC600EF813BE216303AB0CAC4EF
+E3C6AF77BE85EB79B631FE6C6E8C5321C1AEAB7EBECD36ED79181FB679A3D39E
+1A08B086EE6A9AAD268795BD7158DF66048D06280AA247524D5D77BFD0E5A624
+09840A76E434CB9B267651B753B9A3C807FC469242B47BD4BF877248F08FE504
+8FF590F510E9AE58D3181478381C9E6ABCB7A480F5A4B6332DFA096668A4DCAF
+475ECEF0DAA6F4874A8271696AC18C4339CDF7A585162CE7A4E7E3AFB55A7AC8
+8E24CB29A22DEB357FBA7A177601C362D2E76A2978403D8092317AC7381F7E12
+84C5213B7DAA8CB6F6C189D95A17506D069B8416D958852B20299E4245422075
+3C617E17D28A1F0ED59D4BE884DC7D2C1E47E155809ADC9B33E8C53668256BE1
+A89FBDB2CD88D06418E75A1FF828682F388E42A827FDD5D983414C09BA683E7C
+51F91A30905B2927B996FF46DEB91C688251A836CF595E9913DE27C22E154FD5
+780137ADE60E0CA5308D3C6E778C459C7F9A0D38C7F03B6C8715A7315285902A
+BEC31EF5414F8BB5F67088303AC808388C94FB9F91EC60FB026831AEBFAE3372
+15D1071FB52213A988C131C686D3DF7DD97551E69EAA7BA4808F786E832BD0E3
+841A6A15BD2E7C6DDE44771482BE7004E72B184B7643AA3D3BDF8845256B69EC
+108649DBFAF1BCBC84837951BE9C6AEBD0246321CE06237FE3971DEE3BB93A16
+36A08F8074CD98F34FA809C9B1DCB58111618A06DA12D754E33C00E0E6F22635
+DF8DACE387867F17795C1D579F8568D4792D4B053C3E9596B5BAAF652ECFC516
+554402C80DA3624B5B4EF4CC63FB1E45B8902D9A99648F28A815DB250A7EF1AE
+7FFF9F73AED1B568F751B098B90EA030AD755A93E368F2F632BCFD83F3D5B8AF
+EF989CFC21DA7903272B978DE56AE0073579B58747210E60FA7AD7B3040452E3
+810D5D2BD68CAF99DA065F7A792F550D45CB35324321F9E27DD4975E3D8A2BF1
+CA87E880F0402BB8AF80C653AEEB3E2BEC35E293C96CDB8B8623403F7BA0FC43
+C4C1A386EC5957B679953DA1EC0996592C947D728CA19ED44ADFBC88D3891196
+03117CCFF90964332E54E58FE886EC399BD0A245FE318DBF6C4B273FCB61D155
+95AD9F7FA9BB3174A3B30F1AE499A60C5D0A77ED65E91579CFD8834E03CF88AD
+F01FD60E49C9CF01C10DD562D163F119198BEAF698101FA38D9A02F059E02483
+C8981E526F72FB9DC531B90880F0E42F864A10DB94B16F50A288CE7F58C631AA
+4B467B0F7A0730C8DF4FDD597DBA28E0391276150DBCA2A7A4AAB0A4AD439E57
+23548D6835D4A681DEBF11D95341EF5B767C33161CFBD8A396CF8E333A07D997
+96541B98EEB1BE67DF7EACD5C9142B12B6AD0AE72C1B0364F490F7CBB6897FA2
+B54638E198104BCD66AB59A46AA553DD36E0FD86AC7CFA9CCC2BF19BF38297BB
+5D864F8224BF5C26EE68D6CE5D35AA8E7A03E975BAAA5562053AF2B338B9F597
+A4C641CB3BD27DF765A51BF0C14A4C4F8945B01F886E1E3FC1E1C5F019054774
+BB8A153070DFB098AEF8BFC95D55A031ED3DC43F038031F88D57ADD418D4CBFB
+C45DFAA36BD2D1755FFFE13ED5484D410039A71F48140EAC61FABCA91A4A396F
+34A9EFDA6B6E82FE5377A393310E3EA03B802B0A19927429D959A19C74B3C1DA
+062C1902E395FAFAEBC02EE845B3EB26E993B7F5F799B9AEE948A3FC8553235E
+BA73927486145A875C90CC7EEAE41520D677AA62F15074CDEBE7E5E0D2A54AC5
+5BF72D6158D92D6B6657B3522BA8988E6A0FBE6C953A0F1B536034451569B066
+BD322FA0DF61AE08A4EA836814D8B8CA69B25750669E07636D78CD380038E79A
+CDB043C2A8CE13866492F320B3090AB1FBECC6C851E53617945F17FACF4AB9D4
+F68C9BDD826D4816D794CAB00DCF9FCAA483C9BC66DB8B78E706554CF36BDB75
+794BD0AFF3C56E98CAB7D7ABBBE80F58D942C4C9BE0CF433B5D877EE6DE01E02
+FD6BB3405CE4B0FC9822140B1F6E5195DE8DD57B656AC292BDB14DD1036AF6E6
+A8520EF26BE1D3245B22E258AC79F993E074B7DFD2B8361831078AD674F14FAD
+74864A6ABA5BB3A9BEA97B4528502F35DBD33F59B0CDF61070ABDA879EBA5EC2
+7A1AB231416359183D766389CBCEB511D00CBFBC29A71025CE89C3933A7E6CF4
+9F574728334598C8D4F4E1E8496D803EB654E8E9F455BB71E2DB6D11506AA252
+B03297354DDBEE7D2693A6A8917FC654B13B279F7718F496AFF95D3B889C1182
+7E071301D0830518E981DDFE61933DB947CD92AF44C5FC66CA2C8D36BB324E6E
+3EF6D01AA0560E8E889306B1DF9BE71958B06BF2E4011930035BE061FA426329
+B1EBCC35DAC00AB3FA2C7056361AA80ED7207B27C3913DBBE3F936D4AF0BAC5E
+13068C8C23EF281CEBD709A537B7E36E6F242E5A19A9AAF6C139651F6A732E68
+6C0D3447CD96A826B1EEC9E705AF0A8399534C2349C5C13A5798C9392163B0F9
+7F14C0506BE2C6A5BD3D6CC33F5D53F0AFB87C5B115BA7DCF2601E0E836C4F01
+9450F3BDEC4A5C6A2CC1E5B5069FBE72B7C8D3A7F258EA6049D7A754355D2EB2
+7A86D4D5C414EE4E75951B8F890E8A63D98B8FB789B3A10A7511D5C907C109FE
+E894652445AAAF8DDC279821DD630CBFC9156833B269911E64B528B75C28B7AB
+DCA2ABFBC86F52CFD5D271A16876C119B258971720D7978121E33CB24E40307D
+54D7AD1E8AB0DC14DBD0C3500B3EA7C376E6D4D710AEF97D1F6F9C912FC963B7
+90805FB7FB7285D5C67A1048510A625F2F35F71850F9B2B96ED91DF2473D05E4
+32639D1540C894E090108D373EE6EEC0F7E74BADB1CAF3F95E84C7C55FCBA2A5
+2BDC3DB010C5A6CF486AB6E98130ECFBF0C41D79E3FD5792A6351EA025D92C97
+583A8FE6846C88495F132C604D8670880CCB68BB15AD14E1C39C2BFE34829677
+5E3D118546587EF4300909CCADB6657C3B6B88B335B0B26FB1A48137EC8E246B
+80A3500803FF5100317002FA5484141AB17AEF28EC9083CBF599B0B1E44C472F
+F8861B11C3E4C71A18D4FC2329834CEC901E4E335F02799536745B672CBBBB29
+6EDE5CF71D50B8D21A2A9FA0026766078C0534792FCD6ACCDFC0DAA81F9DC98B
+725BEEAF76292BD8A60DF71FD8E2982C55DAF2FD904DF9E2D541A3C9B6CFF9F1
+D95B1346C77083E64743C83B1B6AF15D84AF193DA66FD4E2F6E7D3508405410E
+EB0018656688056AA00B7C670BD1734B7B449CFDC3A1CB1CD3264F302927EC18
+8CB55D56AB8C60CF001E3952CD6E0F98D64C07D7AFF8D9F5931DDBBD7A35273C
+7EB442BE285723C8F18100D0C944B093431A3100C8664188AD52268993F894E4
+529D8F762F6B50F6C740D00BD3710DE73303A380268599F28D36C8987A87FF11
+B0ED55265FE1D528E6C5D37CE1645E40E5AA1270EE27B953A63281C7934390F3
+39E5826F54D40C7978E64A2E65AB6981D8EF2BD313D8D75DC1F4504910240EA7
+72775620615DC8B963EA1F948185ADCD0B646988FD17262F0F684713CE04BE90
+F088891A90A6B1267A27AAC7D9C4E9184D47CE80309C6684B529854C7B401075
+0724E4E4505D173449695788F16E134B7DC38EEBF3D4C3C9ADC124006269C579
+2B0977319691F05612DA4327EE14F13FE81D061533FF996776EE517A6C68B81C
+5D837C790B48D5E1F30FC5CA0E70435F600B79987D0E4CBC8FB88513EAAF9161
+428E43DB45C4C821BA0E1C0BF6C147D582590BB6B60D7E973B2C7B0EB9352A96
+48D659764CB9ED4D4A11FC817A6755AD6D8839CE83602E44A3C8CA4A892F30C1
+1D92AC26DE98C53C6F4A27952E1F8504CBA3F90784D5CC3BAAEC563A4FFB4CF2
+694C013FA46F01A4E0FA9A585A4C0BFFAFA0F554E427940138E6AD2C2907DCDA
+8E4A3B0957B5AB38C412194D234CD4398972713267A8AD1288B072507F2C5850
+AA7B271C9187533F1A312385017C397394E86925834992282388B0571ECDD670
+E0BF56EC51370A589FD56D6AAC3EA899D29CD66304F0C3ED2081F7342CB1B988
+7320795ED425A8067BE05285DDF143627F3741B35BAF5C980AEC5AD5C89C2EE1
+54D1C2FB45EBE486705FEFA376E69A39E60AD05396232DE74C1166097585A9A9
+41C81EA501104546FEC19153A2C7218F0CB80AE216091AB57DBDD9EB05D3A48A
+791A76A5FFDE2C5F34E16AF748A3FE7D6A6F7F38E44C7F48FDE76E63EB935759
+52E0A49DD33F1BC399E2A3B944A435DC8B88488F1406D031A3F592EA7DF4BBA9
+FF16190075A9C930D8AD5CF8EBD808D3B05D71719412ECE06DF4912F7FBC8809
+E9A4C82A5DD2C23D8FB166FD4322B10527CA2C79249D7EFDECABFB9E50F36B7F
+EF3A8D35FB6B180DF0D074C7F093EDF216E857548B7CE0179F9F22872548F8CF
+84B88698CE9A161A1ECEA32B12B702AE64F90005AC02303BE8334BDE9AEE7236
+DA4C88CF199DDD14D7F324CADCA3CD4467B6E28E6BB3BC8EA0F0715EA5ED967B
+06A934F89923B6507FC5BA90D19C57132C52C8B7324F16FCE1A8C7CF9DA1AEB7
+302C6A73724B3B59E5F693CAB207FE23C292B9685143DF8531BDF30CED8406AC
+B5E36672DE716E30A413EF08C6D76A3CCB679E8F977BC30CC0B19FD0C3B6BC2D
+277499FC9699C62C37DB417ACD538473623270AA486E840A0ADB6B47188CF88A
+EE9758D31964B8C0823DAF6E3DC360C4E02F8A2BD93E2F64742B07B8A4819E5F
+C5754C48F3B83826AB9CE57EFCB6837DD3657DDE90BB22C20F18744B2F8857CF
+5FA4B6E5A272348C893E771FF03CA2B3233D59DC615ED85B7A9CC85D78AB9490
+633664C2A3B1AD0C5D3EE1A09F9062AE2AEEDA4D0D343383383DFCA19B276FFD
+F3395B7D1E08301EAB6CDFBFF60E2A6C81E5D4931EB7D04934F8F77E51CF6502
+9CEFA64C83192B5C1D8F4CAE83FFAAEB6F3F47ABF2C516CEC04C2A0FC35B7AD7
+48B8F84DEFF2EDA8557E6E6699429ABDF72B1B0192544A6C2DC6905A2898994D
+5A3C6F4C7036565F4C71478C958561A73C12D9E77ECAAD8FA048B76186A3314B
+7D8784783CF45A019E4D978AAD452D4FFD89600E698217CD086615AFEF32D6E3
+5CC33046D87E5B5F27EC8ED2D635141D7D2A9FE5ED1F66ED06BE78EA98CD85E7
+1E9BF9D42A7DE351AADCA1F0F464228F46712CF7EDC4708E330576936F0D6F2D
+389C5D9AD9C8A649B65B014E292ED89FC4F53CCFD049C7D5DA4C0A781E8C34E9
+BE084FEB30C2EC16DF7A0F53E9E0614A08D709805AD55EC993B9DA832DFF4871
+7C7899321AD6BB97004B59F68CE7DBBAAED7773CE416CFB3A647B5EC7FD3E651
+2A32034603E439A9378DF38919FAD04A8204BF7338EB33CF7B6B8F47428045BD
+4E31E1BA0E0DB41AA4845333B8E49E867E13B408D1E317302D32B5473B4129CC
+A06837C7CF7F40856A57D217BB7412E549403B9B5C03CF1BC1A1B89FF63C1BE3
+30B0E2EBAFFDAE5E79086AA9F95F73998A3B088D006D03C532BC4D38650DA80A
+103500CF7D4E0CFC4347230331F334713C4983EEA136E67B23D4DD40C1A75C66
+0DAE934863E4617FB1C928761B957F0D47B36250F111DDFE7CE09081EEE49C9D
+526886742C01702E5B128F9C85B4344806B64B1E9D98AD3D2166F387FC85B145
+4E7EF3C43466914E491FD7AFBA67A476451857399AB94DACC632E4CDEF12F4BF
+D529EE42815D1EE3C96455E052EBCE217D4627B3686CF89A7EC93F6FB1C7C393
+C73E5316E443B515C87E94107330D62902AFD45099CC5F4DA5592EABE94012CC
+B064AA28EE0557A77C83F9CA01EDCFF708DBF37BDDADF007074B704B8979498F
+7092E05793D17606D35C1F3A3003218116CEB5F0D1D2804D7D4A751FDD4D7DE4
+9A02C624C11D9E464D6448C30BD0A0A8F0A5EAC199A94FF0C0CD17A186172278
+64993AA4063F3A79B5D6CADBF247ACA969D7BA6C1CA46632F21FB8A5F881A3F6
+70D325D3EF007A7B3FE9F823F0CB515BF61AB0AFF9A2306C8720382FBE80C679
+5A8326E4DE0E9230E4C12909685DA70D7BD59A3A4BFF695010B18263F1897495
+AEB969B8B04D0C1B988F0F5176AA65830BE27D3F66EF0F8194D30779DD88A847
+91F5C41ED9E704CE157317CB9E604BC728C43B1445DDFB4BB38F96ED7978F8C4
+39A8A6027533F7D606FD95651E5F66FA635ADB795575FA561AC089A3F8A1809E
+FAA6FE36513927B0651F23FED09FFB86E653EBABDCAE93C779F8406F90341ACD
+857A74D8825B4E6A9BF06B021FBCA9B398BAE758CC8BDB511CD330E952C7E5F4
+39C8D2D6A9D9B7ACBEF30A0296B006736D262536888295FF0AD57962E774D878
+F0C7A7D4C22556D51A79411C6B89554D14F1E83485DDEFD8310CAFD454FFF919
+39EDAB6A835006AEB21AD49A185B0945602037851528E18094D3599468DA2AF9
+CC207BBCAF7CA4A7366A2EE317EE8E4E7ABD45FB06232D8283173506C822185C
+C98D1261052A96FBDF3CBF6A662220EA0358873190DB89520287A6280334DD8E
+4B2D972BE7AD9950A6744117081FD4F19791D6C535E09D935F59191412FAEFA5
+753E95287D738A684327921B39154C255152D6F892C493352CC7094608FDE19A
+E5095912220E4B9CEB2E0EDF10494685D3308A852F73CD453FB5917EE6127587
+F44A52D3BAD8DDC2C5EEDE697451720072A77AD2D147F1F8A4AEC8A02A0949B6
+C9089D32A367A0B0F80A9648CF603F86CC3EA3DD1C1B79D171469CFD059B2583
+1A82DB2C0AE9033A3412EB52EB6CBE113257AB395B6375A2E7BA09C9674462C8
+B358FDF36D11AD0012A6FEFC5F27D280A68E1C340AFAA578176163EA7513D3AA
+E275AB09F86EB398776A4DD8A633F9CD8B9A7DE0589B10A45BF4B8642F4A18BE
+94059F8342C2029C9CF2CE7BEA0D20B02EBCF70C729931D8F022D22F106AC35D
+93F19F8F5372C2267275AC1F56F30EA29C4E3DD7D1805C61E350CC0F8F059A94
+654E90A62C197E857C497DA226E4D44DBAFA5512B4D1A7534A3FAC2A9FE13F8F
+9FAEC621672CFB2408A58CEC47F651B9675C852273030128197F2870FF3A941A
+45D1C16E03133672EE44149B48B6C9983427EEFD8B588EBE9869EB93A04B7B33
+92D79649A050F7308B71A328BD7B8938DC919FC785E20636B934A6EF891E3113
+3DDEC6FF489C50709C64A8297AE742EFC5D1ABF5B3737A625772E747721784A1
+BB02160E206B5F3F07B6742B3DD7EDE12F55DA1DB35E48DFDE97DF654879C092
+70B5F43EBFE169FFAB41D76525E0799504C7AFE26A9E1AC23C7A16279A0791B6
+B6D0EBBAB2B01AC2A6F23A4472BBD1B79082DB8184923E31F3751B7763ACAE1A
+F0A20E2D3E4D1389C63E
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+cleartomark
+%%EndFont
+%%BeginFont: CMBSY10
+%!PS-AdobeFont-1.1: CMBSY10 1.00
+%%CreationDate: 1992 Jul 23 21:21:18
+% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
+11 dict begin
+/FontInfo 7 dict dup begin
+/version (1.00) readonly def
+/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
+/FullName (CMBSY10) readonly def
+/FamilyName (Computer Modern) readonly def
+/Weight (Bold) readonly def
+/ItalicAngle -14.035 def
+/isFixedPitch false def
+end readonly def
+/FontName /CMBSY10 def
+/PaintType 0 def
+/FontType 1 def
+/FontMatrix [0.001 0 0 0.001 0 0] readonly def
+/Encoding 256 array
+0 1 255 {1 index exch /.notdef put} for
+dup 1 /periodcentered put
+dup 18 /reflexsubset put
+dup 33 /arrowright put
+dup 41 /arrowdblright put
+dup 48 /prime put
+dup 50 /element put
+dup 54 /negationslash put
+dup 56 /universal put
+dup 57 /existential put
+dup 94 /logicaland put
+dup 102 /braceleft put
+dup 103 /braceright put
+dup 106 /bar put
+readonly def
+/FontBBox{-27 -940 1332 825}readonly def
+currentdict end
+currentfile eexec
+D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891
+016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171
+9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F
+D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758
+469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8
+2BDBF16FBC7512FAA308A093FE5CF17EFB0FFE6C69FEBA8389DCC1923D30683D
+A8CD93F7195D5A07BA2F18CB3FD5FFEDA4D83BF758062134D84AC0100187A6CD
+1F80F5DC15B47D73F69655445AD218A8AD78C16EF96F385C9E2D46F8A330C7B5
+A859EB0610C78FC5CE39715A1C5458D30498C0A339504A74C7E8F84B3DEC1516
+B3ABAA0A06DEDCD5F9FEAA5AC4AE8D5A5BA5EC0B64784454F58049E13467D705
+8F13A22BDED5F93EDDCAB7A1886A5168D25B120F8BBCC23546BC7398D4E3EC17
+138921404C390EB84C3CC243C0FF3DEC9EBFFF3DEA73365F1E4BC2F3AB911B2F
+780946F4F6F49935A54EF955D9894FEB37239C896CF98240162F6A6E9677EA24
+06BEE1F04463C033047F7F972C560213C7A02BFEE5AE5AE5BF72377CED942A6D
+8059E59CF03CD6782BD34BC02AA4FD1BA25A5CBE32569D7FED28EFB4C0F5F7C8
+6DADC1A047CB514E19B36A84D4DB390FFE5B841C390666FE27C712E23E22FC84
+A8670626E8B72700B9EE9F06F2121264C1CF69FEEC3E20897D0D9057032830FE
+A18A4BA2AD5CE10EE4FED4BB9E2A9C06965779827D7CBA93926793A7161454E3
+C5AC6A3AAEB75EC64556142508DE6E37B71058F8B97C1A9B4CEBF74FBD2D6D84
+F5DAA2B04AD30B313070B33789935E83DB470FAB8EC65165679F247964BD0C20
+78291B6E13C29E8B86429C1B90C396729D6BDE4CCF24BE000390D798DA73BBEC
+AC5C9B1AC19B2C660CF1CDEC05289F6CAEF0E43465E3627DE26670BAA825429B
+4B8FE57928267D5EBE38C5BF93F90304EB89DE120F81362FB5A3D374AB25B33C
+D03A8E9E176E41C964625E58A65EA958EF2B089933C06B71E29249A96D5A2395
+DE687A0C60B837B5657871EEF024B02BF593BD5BB1DC7ACCA580736A4BEB8421
+D5484C7E8ECC81EF42E000EFB27757E92E90B41B1E52C21FDCE9A494B6D1F753
+66D2F5A2971554A00ADB2D45843A21DDBA330D2590BED94C4CEEDD2DC2B4D200
+5AD73F602D863CE049A154CA09A681568A904894C8F25DBFA634F3FF198246B0
+4EE197A4513ECCA5F8A6D5ADF98957A919122677848597DAFCC3252E7F1A0B04
+A232040570A51E734D9E21FA61BAA47CF92AD29E1EB37F9ED66B858D91D924F3
+D2A4F872F5B55630A491A903F962D3D471B8939E3F26A75218498C7AA1773745
+129134B4E9C5D9E269ADED657C65E0C5E774488CE15B47072CE913607A193F2F
+2DA90088D1057C8B94D2E3B15A6385006594B95B53BCA173C5AA4816F91E8F34
+01A7CBA4D1054103D82429B595F2DEF3C240D34B21312AA5A67CE4E7601D82E0
+9B578959A057FB87E13EDDA1C024290D32021BDDAAE78D09DADA09A8869189A1
+5C9EB6E0D1EDEA634BDEB295A53F730D02D3B5E50DAD8C47FA0FBC62C921594C
+BEF8845C2B2943D3F1DD2FC6017739C6BE8FF0BA23C867DFBB08496FEFFC67E2
+A47641C1E0B50B56EC3AB21C674B6C501947DBD51DFB59914CF7B967199B8F46
+A1F6C0BAC065DF807954F61A7313DD2EF83F66F4BA3A2BBB782B17670A615455
+CE59933F092B494E299ED45FCF10A7AB362BED124FBB0304F5E0B2F6F5250F26
+CEBC60F47E779825FA7658C80EC33EB83DD0789C65747BFEFBD78A5A555907ED
+0FB2571319CCC5055F46EC27EADE629D7496AA6C619AA9FB739A50C4543768B9
+759CECEDB273DA12824857ABB1D11B69EC940FF76CC6B73E50FDAA335067A6C5
+3448DF3C9EC737339EFB6F56C37CB45B8F34CE8EB9D72044B6B7B3D48A32EA98
+5D6A079E22ADC79BF27F0B865A956AE9F26B59C62DACA688475DC53DFD88D36B
+E8B62A1760541ED66F99DAB96BA7EB7DEBE39674F2909430AA04CE10CB7246EE
+D06AB47A4915D88461DF276C0A2BD982FABD4EB156DACB7C254E40DD268E5317
+26A9084637308831DDDF8AD6EE2F650583ED234938C73F7AC4069B76DF57C463
+CB79C400972A2DAF712F696EBB8378AB9C6DF254B925785A41487790BE232B11
+87CF82C0093A2E88E46F52E77D462567DDA6E8F5C699D5417685D2F848B30B75
+06705355CEDEE50B50C70850ED0F24061604DD053487EF4624C53B04D4DEA60C
+EFA6CB05FF753DAC0314B161890BAAE773D3F6DE4FC40E6665419D58244AB9DC
+A9B4A40E750D45C16B27EE9299C57EF1CAF36215318110253DED5BD186C6C4E7
+7C6EC529F01A51B4AE0EF1554BDC686C557D245F755431204889E0873962571D
+C6301B5839D81BD2DBD61D25A883F8719593537546F7BFA3A5ACB3DAE43FB061
+B1CC72625192C320BF373CDE7DC8852D5ECC0BFD477DCB107426718CABE4108D
+B0F53899A07D3CFA109D5FD4476456059C04E4B875FBE626031C9F93AE7C6123
+32453ADA2B5874CDA0C9F5C447C1B2BAD5A055A2123A0FD6EC5B8BDE09E580A7
+454A856208E72CD33CCA6B3802CCD86E8EC79BBF3E12FFE7141589CC897EECC9
+48C1BD1FDAC55D51D1410C926C4E9D62952426E1236E7936367D5207186E4E94
+BF92F8A7D9010E11427800199FE20DFF0413C7E0787807EC9B187047BF9CCB30
+95F68B4C98683E8FA4A77662B6F473CA4444E3275DB1D459172920B3CB030A08
+AC5334201F493CABFD29DD533A6704F2073D2FFEAB9466AE51ECDED185330776
+0CB544543B8E9CCDA247A83E71C16DDA78EA7EAAE211EF90A41A581F74E55777
+8FBA723D4E2B5A41E6370EFB26E5A2583CFF496535F09799FE2F6134D3B81BF3
+7E55A6E580D50A26EBF68578B23F92025A6850F2BE40E70C56E6CD19243727F2
+9C5F8ACE7C789CE3AA044643EDC4D8163ABD2DDA3569C122535B70E04A22F182
+31667D409F1018DB158D6F0B0E427DCD12D282B00D5C12D605DE3980290DC9BA
+F6C33B84A4B34900743ADB3BFFE50485F4A2B78F1ED422B0F7BE5EA84C60A42E
+2A67D9D69A1CEDCAC3C455AED4FC34AF5DFCAE856D8FE0D280B21A09B41F973D
+2A4FF09F7C6708DD698730F54292A260CE257E861BDD1DBEB556CD6C688E0525
+AA8F7021F4FA6F65854DCB26B7824B7A6141E8BC3EA7B045DDF47AF1DBB3F229
+FE696519B829AC115F04ECF06AAB0D4E84C8A08C899F754785561635967E8A2F
+DE5982EF65096F9657FE6D3C4118A72DE33425B2ACFE0953235B1AD53A1F816B
+5ABA93AC0A1B6788D63B98BB5F17DA4A011D534CC5EDB6546354BB6A67F99BF3
+EFD19B3D3071C0D2ECB3A3C5F3910A4E6398533D3797484CEAE71AE727D57119
+A0B6693B016A47E70061EF57EA938202096BFA43AC8AB88173525050DDF7029A
+BB9301D76F544E657762DFD94D6BAB7BA33526875CEB598893D020BD8C758376
+6E314C73C9DC6D35F92D8DD1824BF4594EE447BDF1E44D768B8C9231D817339C
+7D64E5E1F94266A0B04F932C9AD22B7EBF2DF9EE5A4396D5A05A7BD15731E6B4
+6958154A28B3E9EC6D948BD1622669AB88DA9EB2CB7EBB8CFEC017C3937C3AF2
+152DBA5E90C8F2A28E451BC8FDB14E598A962CF41B9E698C0B5BB95176
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+cleartomark
+%%EndFont
+%%BeginFont: CMBX10
+%!PS-AdobeFont-1.1: CMBX10 1.00B
+%%CreationDate: 1992 Feb 19 19:54:06
+% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
+11 dict begin
+/FontInfo 7 dict dup begin
+/version (1.00B) readonly def
+/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
+/FullName (CMBX10) readonly def
+/FamilyName (Computer Modern) readonly def
+/Weight (Bold) readonly def
+/ItalicAngle 0 def
+/isFixedPitch false def
+end readonly def
+/FontName /CMBX10 def
+/PaintType 0 def
+/FontType 1 def
+/FontMatrix [0.001 0 0 0.001 0 0] readonly def
+/Encoding 256 array
+0 1 255 {1 index exch /.notdef put} for
+dup 49 /one put
+dup 50 /two put
+readonly def
+/FontBBox{-301 -250 1164 946}readonly def
+currentdict end
+currentfile eexec
+D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891
+016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171
+9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F
+D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758
+469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8
+2BDBF16FBC7512FAA308A093FE5F00F963068B8B731A88D7740B0DDAED1B3F82
+7DB9DFB4372D3935C286E39EE7AC9FB6A9B5CE4D2FAE1BC0E55AE02BFC464378
+77B9F65C23E3BAB41EFAE344DDC9AB1B3CCBC0618290D83DC756F9D5BEFECB18
+2DB0E39997F264D408BD076F65A50E7E94C9C88D849AB2E92005CFA316ACCD91
+FF524AAD7262B10351C50EBAD08FB4CD55D2E369F6E836C82C591606E1E5C73F
+DE3FA3CAD272C67C6CBF43B66FE4B8677DAFEEA19288428D07FEB1F4001BAA68
+7AAD6DDBE432714E799CFA49D8A1A128F32E8B280524BC8041F1E64ECE4053C4
+9F0AEC699A75B827002E9F95826DB3F643338F858011008E338A899020962176
+CF66A62E3AEF046D91C88C87DEB03CE6CCDF4FB651990F0E86D17409F121773D
+6877DF0085DFB269A3C07AA6660419BD0F0EF3C53DA2318BA1860AB34E28BAC6
+E82DDB1C43E5203AC9DF9277098F2E42C0F7BD03C6D90B629DE97730245B8E8E
+8903B9225098079C55A37E4E59AE2A9E36B6349FA2C09BB1F5F4433E4EEFC75E
+3F9830EB085E7E6FBE2666AC5A398C2DF228062ACF9FCA5656390A15837C4A99
+EC3740D873CFEF2E248B44CA134693A782594DD0692B4DBF1F16C4CDECA692C4
+0E44FDBEF704101118BC53575BF22731E7F7717934AD715AC33B5D3679B784C9
+4046E6CD3C0AD80ED1F65626B14E33CFDA6EB2825DC444FA620E40822E15C2AB
+8BF88EF4FF68D9C81564F0AC5495C426E3ED091CF4AEAD7696C3B00A0D6FB6CE
+60547AD516EC9CC7B904D6617F81D2AC5086C30E40057B3C8854C4893D3B1D82
+2D61C4414046FFBFDCD7AD22EE19016B50905C92287F9946F2DBA4CB1B18E118
+FD01CB5EB39E77C77A4BE276258F7EF35269272729704F2A26BDE6159D0570E8
+665CC6C2582807B75C4D1EB2BA83D2A6840E8E9F14C80C79B985F51DD166E4F3
+2DA88C7E38EE325B8D134A2C9694C64ACEB6033AD6EB6D10BA76AE0BE567B30C
+CB62E49A5436B0921B9BF1E24C400823ED4AA5144221E3E8B498433E2F28399C
+705D3D9A988C4A363E868CFE55A56696D005274224366F70081F99A5FB3F2514
+456D1EDE546A1340FEC3E14303A89843CDC6DCC0829725693DA0BD191E8B95BB
+BDEF9B671AE30B197B890178D89665A0C0CC90BF5BA7CD345E9F6ED4D0989B32
+BB9E9FA107609833337DDCE05154803D9F39B788155EC34E4A4C252D3430EC8A
+F0C5D6D3AB6D65B2CB9BD42A6B7CF7CD8A1156BBFE2115BA3FB329D309D03902
+98FFCFE14B907BBB85F87910ABB095A50C704E9A50D3D203BDDB4D483303A577
+80E3565F8BA025D8DD6A7DB3ABD5939D5422628C7CC60696EF29A6C599976F78
+3936601AE3E947FF36269D6BD9D39D111A2A90E6AC724C4357F7AAC599BE80F5
+AB11CEBB59906C060A1B10096BCC104283D13B7B8F06C2867B79E913E8D3BF88
+0183D6853BE556E2DE80F1ABC20174295CCDCA
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+0000000000000000000000000000000000000000000000000000000000000000
+cleartomark
+%%EndFont
+TeXDict begin 39158280 55380996 2488 600 600 (08.dvi)
+@start /Fa 134[153 4[153 3[153 9[153 153 153 100[{}6
+297.444 /CMTT12 rf /Fb 140[85 12[89 102[{TeXBase1Encoding ReEncodeFont}
+2 175.576 /ComicSansMS rf /Fd 192[231 63[{}1 297.444
+/MSBM10 rf /Fe 194[217 19[108 108 40[{}3 247.87 /CMBX12
+rf /Ff 135[163 2[169 1[132 2[149 13[129 157 13[172 24[79
+58[{}8 247.87 /CMMIB10 rf /Fg 149[79 2[143 143 7[190
+36[158 158 1[0 3[190 8[285 22[222 18[{}10 247.87 /CMBSY10
+rf /Fh 134[110 1[144 102 110 99 102 101 1[113 111 110
+163 58 114 1[59 122 1[107 115 124 108 125 108 12[143
+3[110 2[186 2[140 2[143 128 4[154 11[129 129 129 129
+95 2[52 1[58 2[77 77 37[139 2[{TeXBase1Encoding ReEncodeFont}38
+210.691 /ComicSansMS rf /Fj 207[71 48[{}1 206.559 /CMBSY10
+rf /Fk 254[164 1[{}1 513.918 /CMBSY10 rf /Fl 153[98 105
+113 100[{TeXBase1Encoding ReEncodeFont}3 192.256 /ComicSansMS
+rf /Fn 105[39 32[46 4[47 1[46 4[25 51 2[48 1[45 21[77
+2[58 18[54 54 54 54 54 54 40 54 45 22 1[24 2[32 32 40[{
+TeXBase1Encoding ReEncodeFont}23 87.7881 /ComicSansMS
+rf /Fp 107[99 99 25[131 149 173 123 131 119 123 121 1[135
+133 132 196 69 137 102 71 146 134 128 138 148 130 150
+129 12[172 175 3[202 201 1[139 2[138 194 5[159 185 5[75
+75 11[63 105 70 2[93 93 46 36[166 2[{TeXBase1Encoding ReEncodeFont}44
+252.83 /ComicSansMS rf /Fr 149[95 2[171 171 7[228 36[190
+190 1[0 3[228 8[342 7[342 14[266 18[{}11 297.444 /CMBSY10
+rf /Fs 205[119 119 49[{}2 206.559 /CMBX10 rf /Ft 140[110
+12[117 15[140 3[180 1[149 2[236 156 10[180 65[{}8 206.559
+/CMMIB10 rf /Fu 139[130 5[186 4[93 3[153 39[260 2[93
+16[130 130 4[279 22[186 12[{}10 297.444 /CMBX12 rf /Fv
+135[196 2[203 124 158 157 1[179 174 2[104 3[199 1[169
+165 1[153 155 188 8[282 1[202 2[206 259 1[215 1[283 340
+225 5[205 4[259 5[95 95 36[200 1[123 7[226 11[{}29 297.444
+/CMMIB10 rf /Fw 134[257 3[286 171 200 228 1[286 257 286
+428 143 2[143 286 2[228 286 228 286 257 12[343 286 2[314
+400 2[343 2[200 400 1[314 2[371 67[{TeXBase1Encoding ReEncodeFont}26
+513.918 /Times-Bold rf end
+%%EndProlog
+%%BeginSetup
+%%Feature: *Resolution 600dpi
+TeXDict begin
+%%PaperSize: A4
+ end
+%%EndSetup
+%%Page: 1 1
+TeXDict begin 1 0 bop 0 TeXcolorgray 1 TeXcolorgray 0
+TeXcolorgray 1 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray
+0 TeXcolorgray 1 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray
+0 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray
+0 TeXcolorgray 0.25 TeXcolorgray 0 TeXcolorgray 0.5 TeXcolorgray
+0 TeXcolorgray 0.75 TeXcolorgray 0 TeXcolorgray -600
+6416 a
+SDict begin [ /Page 1 /View [ /Fit ] /PageMode /UseOutlines /DOCVIEW
+pdfmark end
+ -600 6416 a -600 6416 a
+SDict begin [ /CropBox [0 0 595 890] /PAGES pdfmark end
+ -600 6416 a -600 6416
+a
+SDict begin [ {Catalog} << /ViewerPreferences<</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 (Structural Iteration)
+/OUT pdfmark end
+ 4609
+1909 a Gray 5384 2027 a Fw(Structural)129 b(Iteration)p
+0 TeXcolorgray Black Black Green Black Green Black OliveGreen
+Black 4876 2914 a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial
+Black Blue 5169 2671 202 12 v 293 w Fv(f)32 b Fu(\()p
+Fv(V)19 b(AR)96 b(a)p Fu(\))g(=)f Fv(f)7273 2958 y Ft(V)13
+b(AR)7797 2914 y Fu(\()p Fv(a)p Fu(\))p Black Black Green
+Black Green Black OliveGreen Black 4876 3384 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black Blue 5169 3141 V 293 w
+Fv(f)32 b Fu(\()p Fv(AP)48 b(P)142 b(t)6503 3428 y Fs(1)6727
+3384 y Fv(t)6851 3428 y Fs(2)6980 3384 y Fu(\))95 b(=)g
+Fv(f)7729 3428 y Ft(AP)33 b(P)8284 3384 y Fu(\()p 8414
+3141 V Fv(f)g Fu(\()p Fv(t)8870 3428 y Fs(1)8998 3384
+y Fu(\))p Fv(;)p 9280 3141 V 57 w(f)g Fu(\()p Fv(t)9736
+3428 y Fs(2)9865 3384 y Fu(\)\))p Black Black Green Black
+Green Black OliveGreen Black 4876 3854 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black Blue 293 w Fv(a)95 b Fr(62)g
+Fv(A)g Fr(\))p 6566 3611 V 95 w Fv(f)32 b Fu(\()p Fv(LAM)129
+b(a)95 b(t)p Fu(\))f(=)i Fv(f)9006 3898 y Ft(LAM)9611
+3854 y Fu(\()p Fv(a;)p 10082 3611 V 58 w(f)32 b Fu(\()p
+Fv(t)p Fu(\)\))p Black 4623 4394 a Fp(But)76 b(from)g(this)f(we)g(get)h
+(by)g(the)f(usual)i(coding-trick)4623 4687 y(the)e(structural)i
+(recursion)f(principle.)p 0 TeXcolorgray 10821 5925 a
+ 0 setgray
+
+10821 5925 a 0.5 TeXcolorgray 9416 6307 a Fn(Munich,)26
+b(21.)f(June)h(2005)e(\226)i(p.1)g(\(1/1\))p 0 TeXcolorgray
+4360 6416 a
+ tx@Dict begin -90 Rot end
+ 4360 6416 a eop end
+%%Page: 2 2
+TeXDict begin 2 1 bop 0 TeXcolorgray 4360 6416 a
+ tx@Dict begin 90 Rot end
+ 4360
+6416 a 4609 1909 a
+SDict begin /product where{pop product(Distiller)search{pop pop pop
+version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
+closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
+grestore}if}{pop}ifelse}{pop}ifelse}if end
+ 4609 1909 a 4609 1909 a
+SDict begin H.S end
+ 4609 1909
+a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
+SDict begin H.R end
+ 4609 1909
+a 4609 1909 a
+SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
+end
+ 4609 1909 a 4609 1909 a
+SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
+ 4609 1909 a 4609
+1909 a
+SDict begin [ /Page 2/View [ /XYZ null null null ] /Title (Support and Supports)
+/OUT pdfmark end
+ 4609 1909 a Gray 5119 2027 a Fw(Support)128 b(and)g(Supports)p
+0 TeXcolorgray Black Black Green Black Green Black OliveGreen
+Black 4876 2734 a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial
+Black Blue 293 w Fv(supp)94 b(x)6273 2560 y Fl(def)6300
+2734 y Fu(=)p Black Blue 5662 3036 a Fr(f)p Fv(a)h Fu(:)g
+Fv(\013)g Fr(j)g Fu(in\014nite)p Fr(f)p Fv(b)g Fr(j)g
+Fu(\()p Fv(a)g(b)p Fu(\))9151 3094 y Fk(\001)9315 3036
+y Fv(x)g Fr(6)p Fu(=)h Fv(x)p Fr(gg)p Black Black Green
+Black Green Black OliveGreen Black 4876 3659 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black Blue 293 w Fv(a)f Fu(#)g
+Fv(x)6117 3485 y Fl(def)6144 3659 y Fu(=)123 b Fv(a)96
+b Fr(62)f Fv(supp)p Fu(\()p Fv(x)p Fu(\))p Black Black
+Green Black Green Black OliveGreen Black 4876 4216 a
+@beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black Blue 293
+w Fv(X)117 b(suppor)10 b(ts)94 b(x)7295 4042 y Fl(def)7323
+4216 y Fu(=)p Black Blue 6932 4518 a Fr(8)p Fv(a;)57
+b(b)95 b Fr(62)g Fv(X)t(:)190 b Fu(\()p Fv(a)95 b(b)p
+Fu(\))9304 4576 y Fk(\001)9469 4518 y Fv(x)g Fu(=)g Fv(x)p
+Black 0 TeXcolorgray 10821 5925 a
+ 0 setgray
+ 10821 5925 a 0.5 TeXcolorgray
+9402 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.2)g(\(1/1\))p
+0 TeXcolorgray 4360 6416 a
+ tx@Dict begin -90 Rot end
+ 4360 6416 a eop end
+%%Page: 3 3
+TeXDict begin 3 2 bop 0 TeXcolorgray 4360 6416 a
+ tx@Dict begin 90 Rot end
+ 4360
+6416 a 4609 1909 a
+SDict begin /product where{pop product(Distiller)search{pop pop pop
+version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
+closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
+grestore}if}{pop}ifelse}{pop}ifelse}if end
+ 4609 1909 a 4609 1909 a
+SDict begin H.S end
+ 4609 1909
+a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
+SDict begin H.R end
+ 4609 1909
+a 4609 1909 a
+SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
+end
+ 4609 1909 a 4609 1909 a
+SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
+ 4609 1909 a 4609
+1909 a
+SDict begin [ /Page 3/View [ /XYZ null null null ] /Title (Properties)
+/OUT pdfmark end
+ 4609 1909 a Gray 6424 2027 a Fw(Pr)-9 b(operties)p
+0 TeXcolorgray Black Black Green Black Green Black OliveGreen
+Black 4876 2605 a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial
+Black Blue 293 w Fu(\()p Fv(supp)94 b(x)p Fu(\))h Fv(suppor)10
+b(ts)93 b(x)p Black Fp(,)75 b(because)p Blue 5518 3161
+a Fv(a)95 b Fu(#)g Fv(x)171 b Fr(^)g Fv(b)95 b Fu(#)g
+Fv(x)190 b Fr(\))g Fu(\()p Fv(a)58 b(b)p Fu(\))9144 3220
+y Fk(\001)9308 3161 y Fv(x)95 b Fu(=)g Fv(x)p Black Black
+Green Black Green Black OliveGreen Black 4876 3699 a
+@beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black 293 w Fp(If)p
+Blue 75 w Fv(S)111 b(suppor)10 b(ts)94 b(x)p Black 75
+w Fp(and)p Blue 76 w Fv(S)p Black 92 w Fp(is)75 b(a)g(\002nite)h(set,)
+5169 3978 y(then)p Blue 6860 4284 a Fu(\()p Fv(supp)95
+b(x)p Fu(\))g Fr(\022)g Fv(S)p Black Black Green Black
+Green Black OliveGreen Black 4876 4719 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black 293 w Fp(If)p Blue 75
+w Fv(S)111 b(suppor)10 b(ts)94 b(x)p Black Fp(,)p Blue
+75 w Fv(S)p Black 91 w Fp(is)75 b(a)h(\002nite)g(set)g(and)p
+Blue 4875 5274 a Fr(8)p Fv(S)5287 5151 y Fj(0)5368 5274
+y Fv(:)95 b Fu(\()p Fp(\002nite)h Fv(S)6632 5151 y Fj(0)6790
+5274 y Fr(^)76 b Fv(S)7316 5151 y Fj(0)7492 5274 y Fv(suppor)10
+b(ts)94 b(x)p Fu(\))h Fr(\))g Fv(S)111 b Fr(\022)95 b
+Fv(S)10686 5151 y Fj(0)p Black 5169 5811 a Fp(then)p
+Blue 75 w Fv(S)111 b Fu(=)96 b Fv(supp)e(x)p Black Fp(.)f(\(By)76
+b(\002rst)g(two)f(props.\))p 0 TeXcolorgray 10821 5925
+a
+ 0 setgray
+ 10821 5925 a 0.5 TeXcolorgray 9388 6307 a Fn(Munich,)26
+b(21.)f(June)h(2005)e(\226)i(p.3)g(\(1/3\))p 0 TeXcolorgray
+4360 6416 a
+ tx@Dict begin -90 Rot end
+ 4360 6416 a eop end
+%%Page: 3 4
+TeXDict begin 3 3 bop 0 TeXcolorgray 4360 6416 a
+ tx@Dict begin 90 Rot end
+ 4360
+6416 a 4609 1909 a
+SDict begin /product where{pop product(Distiller)search{pop pop pop
+version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
+closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
+grestore}if}{pop}ifelse}{pop}ifelse}if end
+ 4609 1909 a 4609 1909 a
+SDict begin H.S end
+ 4609 1909
+a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
+SDict begin H.R end
+ 4609 1909
+a 4609 1909 a
+SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
+end
+ 4609 1909 a 4609 1909 a
+SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
+ 4609 1909 a Gray
+6424 2027 a Fw(Pr)-9 b(operties)p 0 TeXcolorgray Black
+Black Green Black Green Black OliveGreen Black 4876 2605
+a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black Blue 293
+w Fu(\()p Fv(supp)94 b(x)p Fu(\))h Fv(suppor)10 b(ts)93
+b(x)p Black Fp(,)75 b(because)p Blue 5518 3161 a Fv(a)95
+b Fu(#)g Fv(x)171 b Fr(^)g Fv(b)95 b Fu(#)g Fv(x)190
+b Fr(\))g Fu(\()p Fv(a)58 b(b)p Fu(\))9144 3220 y Fk(\001)9308
+3161 y Fv(x)95 b Fu(=)g Fv(x)p Black Black Green Black
+Green Black OliveGreen Black 4876 3699 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black 293 w Fp(If)p Blue 75
+w Fv(S)111 b(suppor)10 b(ts)94 b(x)p Black 75 w Fp(and)p
+Blue 76 w Fv(S)p Black 92 w Fp(is)75 b(a)g(\002nite)h(set,)5169
+3978 y(then)p Blue 6860 4284 a Fu(\()p Fv(supp)95 b(x)p
+Fu(\))g Fr(\022)g Fv(S)p Black Black Green Black Green
+Black OliveGreen Black 4876 4719 a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+
+@endspecial Black 293 w Fp(If)p Blue 75 w Fv(S)111 b(suppor)10
+b(ts)94 b(x)p Black Fp(,)p Blue 75 w Fv(S)p Black 91
+w Fp(is)75 b(a)h(\002nite)g(set)g(and)p Blue 4875 5274
+a Fr(8)p Fv(S)5287 5151 y Fj(0)5368 5274 y Fv(:)95 b
+Fu(\()p Fp(\002nite)h Fv(S)6632 5151 y Fj(0)6790 5274
+y Fr(^)76 b Fv(S)7316 5151 y Fj(0)7492 5274 y Fv(suppor)10
+b(ts)94 b(x)p Fu(\))h Fr(\))g Fv(S)111 b Fr(\022)95 b
+Fv(S)10686 5151 y Fj(0)p Black 5169 5811 a Fp(then)p
+Blue 75 w Fv(S)111 b Fu(=)96 b Fv(supp)e(x)p Black Fp(.)f(\(By)76
+b(\002rst)g(two)f(props.\))p Red Black 1 1 0.8 TeXcolorrgb
+Black 6793 5409 a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.8 SLW TeXDict begin Red end 0.15 true
+3.8 neg 38.80475 neg 191.58836 46.00473 .5 Frame gsave 1 1 0.8 setrgbcolor
+fill grestore gsave 0.8 SLW TeXDict begin Red end 0 setlinecap stroke
+ grestore end
+
+@endspecial
+-705 x Fh(Assume)64 b(the)f(contrary,)f(then)6934 4973
+y(\(1\))p Blue 134 w Fg(9)p Ff(a:)80 b(a)f Fg(2)g Fe(\()p
+Ff(supp)g(x)p Fe(\))64 b Fg(^)g Ff(a)79 b Fg(62)g Ff(S)p
+Black 6917 5242 a Fh(\(2\))p Blue 117 w Fg(8)p Ff(b)h
+Fg(62)f Ff(S)171 b Fg(\))159 b Fe(\()p Ff(a)48 b(b)p
+Fe(\))9290 5301 y Fk(\001)9454 5242 y Ff(x)80 b Fe(=)f
+Ff(x)p Black 6917 5512 a Fh(\(3\))p Blue 117 w Fg(f)p
+Ff(b)g Fg(j)158 b Fe(\()p Ff(a)48 b(b)p Fe(\))8455 5571
+y Fk(\001)8620 5512 y Ff(x)80 b Fg(6)p Fe(=)f Ff(x)p
+Fg(g)158 b(\022)g Ff(S)p Black 6917 5781 a Fh(\(4\))p
+Blue 117 w(\002nite)80 b Fg(f)p Ff(b)e Fg(j)159 b Fe(\()p
+Ff(a)48 b(b)p Fe(\))9057 5840 y Fk(\001)9221 5781 y Ff(x)80
+b Fg(6)p Fe(=)f Ff(x)p Fg(g)p Black 6917 6051 a Fh(\(5\))p
+Blue 117 w Ff(a)g Fg(62)g Fe(\()p Ff(supp)g(x)p Fe(\))p
+Black 0 TeXcolorgray 10821 5925 a
+ 0 setgray
+ 10821 5925 a 0.5 TeXcolorgray
+9374 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.3)g(\(2/3\))p
+0 TeXcolorgray 4360 6416 a
+ tx@Dict begin -90 Rot end
+ 4360 6416 a eop end
+%%Page: 3 5
+TeXDict begin 3 4 bop 0 TeXcolorgray 4360 6416 a
+ tx@Dict begin 90 Rot end
+ 4360
+6416 a 4609 1909 a
+SDict begin /product where{pop product(Distiller)search{pop pop pop
+version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
+closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
+grestore}if}{pop}ifelse}{pop}ifelse}if end
+ 4609 1909 a 4609 1909 a
+SDict begin H.S end
+ 4609 1909
+a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
+SDict begin H.R end
+ 4609 1909
+a 4609 1909 a
+SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
+end
+ 4609 1909 a 4609 1909 a
+SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
+ 4609 1909 a Gray
+6424 2027 a Fw(Pr)-9 b(operties)p 0 TeXcolorgray Black
+Black Green Black Green Black OliveGreen Black 4876 2605
+a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black Blue 293
+w Fu(\()p Fv(supp)94 b(x)p Fu(\))h Fv(suppor)10 b(ts)93
+b(x)p Black Fp(,)75 b(because)p Blue 5518 3161 a Fv(a)95
+b Fu(#)g Fv(x)171 b Fr(^)g Fv(b)95 b Fu(#)g Fv(x)190
+b Fr(\))g Fu(\()p Fv(a)58 b(b)p Fu(\))9144 3220 y Fk(\001)9308
+3161 y Fv(x)95 b Fu(=)g Fv(x)p Black Black Green Black
+Green Black OliveGreen Black 4876 3699 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black 293 w Fp(If)p Blue 75
+w Fv(S)111 b(suppor)10 b(ts)94 b(x)p Black 75 w Fp(and)p
+Blue 76 w Fv(S)p Black 92 w Fp(is)75 b(a)g(\002nite)h(set,)5169
+3978 y(then)p Blue 6860 4284 a Fu(\()p Fv(supp)95 b(x)p
+Fu(\))g Fr(\022)g Fv(S)p Black Black Green Black Green
+Black OliveGreen Black 4876 4719 a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+
+@endspecial Black 293 w Fp(If)p Blue 75 w Fv(S)111 b(suppor)10
+b(ts)94 b(x)p Black Fp(,)p Blue 75 w Fv(S)p Black 91
+w Fp(is)75 b(a)h(\002nite)g(set)g(and)p Blue 4875 5274
+a Fr(8)p Fv(S)5287 5151 y Fj(0)5368 5274 y Fv(:)95 b
+Fu(\()p Fp(\002nite)h Fv(S)6632 5151 y Fj(0)6790 5274
+y Fr(^)76 b Fv(S)7316 5151 y Fj(0)7492 5274 y Fv(suppor)10
+b(ts)94 b(x)p Fu(\))h Fr(\))g Fv(S)111 b Fr(\022)95 b
+Fv(S)10686 5151 y Fj(0)p Black 5169 5811 a Fp(then)p
+Blue 75 w Fv(S)111 b Fu(=)96 b Fv(supp)e(x)p Black Fp(.)f(\(By)76
+b(\002rst)g(two)f(props.\))p 0 TeXcolorgray 10821 5925
+a
+ 0 setgray
+ 10821 5925 a 0.5 TeXcolorgray 9374 6307 a Fn(Munich,)26
+b(21.)f(June)h(2005)e(\226)i(p.3)g(\(3/3\))p 0 TeXcolorgray
+4360 6416 a
+ tx@Dict begin -90 Rot end
+ 4360 6416 a eop end
+%%Page: 4 6
+TeXDict begin 4 5 bop 0 TeXcolorgray 4360 6416 a
+ tx@Dict begin 90 Rot end
+ 4360
+6416 a 4609 1909 a
+SDict begin /product where{pop product(Distiller)search{pop pop pop
+version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
+closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
+grestore}if}{pop}ifelse}{pop}ifelse}if end
+ 4609 1909 a 4609 1909 a
+SDict begin H.S end
+ 4609 1909
+a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
+SDict begin H.R end
+ 4609 1909
+a 4609 1909 a
+SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
+end
+ 4609 1909 a 4609 1909 a
+SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
+ 4609 1909 a 4609
+1909 a
+SDict begin [ /Page 6/View [ /XYZ null null null ] /Title (Finitely Supported Types)
+/OUT pdfmark end
+ 4609 1909 a Gray 4796 2027 a Fw(Finitely)128 b(Supported)g(T)-38
+b(ypes)p 0 TeXcolorgray Black Black Green Black Green
+Black OliveGreen Black 4876 2582 a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+
+@endspecial Black 293 w Fp(Atoms)75 b(are)h(\002nitely)g(supported,)h
+(so)e(are)h(tuples,)5169 2874 y(lists)f(\002nite)h(sets)f(provided)h
+(they)g(are)h(build)f(up)5169 3167 y(from)g(\002nitely)g(supported)h
+(types.)p Black Green Black Green Black OliveGreen Black
+4876 3568 a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black
+293 w(Sets)e(are)i(in)e(general)i(not)e(\002nitely)i(supported:)p
+Blue 6827 4121 a Fu(\()p Fv(supp)95 b(A)p Fu(\))f(=)i
+Fd(?)p Black 5169 4678 a Fp(because)p Blue 75 w Fr(8)p
+Fv(a)58 b(b:)95 b Fu(\()p Fv(a)57 b(b)p Fu(\))7624 4737
+y Fk(\001)7788 4678 y Fv(A)95 b Fu(=)g Fv(A)p Black Fp(.)e(If)76
+b(we)f(take)g(an)5169 4996 y(in\002nite)h(subset)p Blue
+76 w Fv(A)7193 4888 y Fj(0)p Black 7349 4996 a Fp(of)p
+Blue 75 w Fv(A)p Black 75 w Fp(whose)g(co-set)f(is)g(also)5169
+5275 y(in\002nite,)g(then)p Blue 6685 5814 a Fu(\()p
+Fv(supp)94 b(A)7887 5691 y Fj(0)7968 5814 y Fu(\))h(=)g
+Fv(A)8807 5691 y Fj(0)8888 5814 y Fv(:)p Black 0 TeXcolorgray
+10821 5925 a
+ 0 setgray
+ 10821 5925 a 0.5 TeXcolorgray 9402 6307
+a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.4)g(\(1/1\))p
+0 TeXcolorgray 4360 6416 a
+ tx@Dict begin -90 Rot end
+ 4360 6416 a eop end
+%%Page: 5 7
+TeXDict begin 5 6 bop 0 TeXcolorgray 4360 6416 a
+ tx@Dict begin 90 Rot end
+ 4360
+6416 a 4609 1909 a
+SDict begin /product where{pop product(Distiller)search{pop pop pop
+version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
+closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
+grestore}if}{pop}ifelse}{pop}ifelse}if end
+ 4609 1909 a 4609 1909 a
+SDict begin H.S end
+ 4609 1909
+a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
+SDict begin H.R end
+ 4609 1909
+a 4609 1909 a
+SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
+end
+ 4609 1909 a 4609 1909 a
+SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
+ 4609 1909 a 4609
+1909 a
+SDict begin [ /Page 7/View [ /XYZ null null null ] /Title (Functions)
+/OUT pdfmark end
+ 4609 1909 a Gray 6476 2027 a Fw(Functions)p 0
+TeXcolorgray Black Black Green Black Green Black OliveGreen
+Black 4876 2582 a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial
+Black 293 w Fp(The)75 b(identity)h(function)g(\(even)g(if)f(it)h
+(mentions)5169 2874 y(in\002nitely)g(many)h(atoms)e(in)g(its)g
+(graph\).)p Blue 6480 3428 a Fd(?)95 b Fv(suppor)10 b(ts)93
+b Fu(\()p Fv(\025x:x)p Fu(\))p Black Black Green Black
+Green Black OliveGreen Black 4876 3962 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black 293 w Fp(Not)75 b(every)i(function)f
+(over)f(\002nitely)i(supported)5169 4254 y(domains)e(is)g(\002nitely)i
+(supported.)94 b(Trivial)5169 4546 y(example:)g(the)76
+b(set)g(of)f(atoms)h(is)f(countable;)5169 4842 y(there)h(are)g
+(subjective)g(functions)p Blue 75 w Fv(N)129 b Fr(!)95
+b Fv(A)p Black Fp(;)5169 5135 y(every)76 b(\002nitely)h(supported)f
+(such)g(function)g(must)5169 5427 y(have)f(a)h(\002nite)g(image.)p
+0 TeXcolorgray 10821 5925 a
+ 0 setgray
+ 10821 5925 a 0.5 TeXcolorgray
+9402 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.5)g(\(1/1\))p
+0 TeXcolorgray 4360 6416 a
+ tx@Dict begin -90 Rot end
+ 4360 6416 a eop end
+%%Page: 6 8
+TeXDict begin 6 7 bop 0 TeXcolorgray 4360 6416 a
+ tx@Dict begin 90 Rot end
+ 4360
+6416 a 4609 1909 a
+SDict begin /product where{pop product(Distiller)search{pop pop pop
+version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
+closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
+grestore}if}{pop}ifelse}{pop}ifelse}if end
+ 4609 1909 a 4609 1909 a
+SDict begin H.S end
+ 4609 1909
+a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
+SDict begin H.R end
+ 4609 1909
+a 4609 1909 a
+SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
+end
+ 4609 1909 a 4609 1909 a
+SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
+ 4609 1909 a 4609
+1909 a
+SDict begin [ /Page 8/View [ /XYZ null null null ] /Title (Choice Function)
+/OUT pdfmark end
+ 4609 1909 a Gray 5755 2027 a Fw(Choice)129 b(Function)p
+0 TeXcolorgray Black Black Green Black Green Black OliveGreen
+Black 4876 2582 a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial
+Black 293 w Fp(Any)75 b(choice)g(function)h(for)g(the)f(set)h(of)f
+(\002nitely)5169 2878 y(supported)h(subsets)g(of)p Blue
+75 w Fv(A)p Black Fp(,)f(i.e.)g(any)i(function)p Blue
+5749 3431 a Fv(choose)94 b Fr(2)h Fu(\()p Fv(A)g Fr(!)8015
+3476 y Fb(fs)8294 3431 y Fv(bool)s Fu(\))g Fr(!)g Fv(A)p
+Black -1 w(;)5169 3960 y Fp(satisfying)p Blue 5309 4514
+a Fv(f)33 b Fu(\()p Fv(a)p Fu(\))96 b(=)f Fp(true)h Fr(\))f
+Fv(f)33 b Fu(\()p Fv(choose)p Fu(\()p Fv(f)g Fu(\)\))94
+b(=)i Fp(true)p Black 5169 5054 a(for)75 b(all)p Blue
+76 w Fv(f)128 b Fu(:)95 b Fv(A)f Fr(!)7149 5098 y Fb(fs)7429
+5054 y Fv(bool)p Black 78 w Fp(and)76 b(every)p Blue
+76 w Fv(a)96 b Fr(2)f Fv(A)p Black Fp(.)p Black Green
+Black Green Black OliveGreen Black 4876 5461 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black Blue 293 w Fv(choose)p
+Black 74 w Fp(does)75 b(not)h(have)f(a)h(\002nite)g(support.)p
+0 TeXcolorgray 10821 5925 a
+ 0 setgray
+ 10821 5925 a 0.5 TeXcolorgray
+9388 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.6)g(\(1/2\))p
+0 TeXcolorgray 4360 6416 a
+ tx@Dict begin -90 Rot end
+ 4360 6416 a eop end
+%%Page: 6 9
+TeXDict begin 6 8 bop 0 TeXcolorgray 4360 6416 a
+ tx@Dict begin 90 Rot end
+ 4360
+6416 a 4609 1909 a
+SDict begin /product where{pop product(Distiller)search{pop pop pop
+version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
+closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
+grestore}if}{pop}ifelse}{pop}ifelse}if end
+ 4609 1909 a 4609 1909 a
+SDict begin H.S end
+ 4609 1909
+a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
+SDict begin H.R end
+ 4609 1909
+a 4609 1909 a
+SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
+end
+ 4609 1909 a 4609 1909 a
+SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
+ 4609 1909 a Gray
+5755 2027 a Fw(Choice)129 b(Function)p 0 TeXcolorgray
+Black Black Green Black Green Black OliveGreen Black
+4876 2582 a @beginspecial @setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black
+293 w Fp(Any)75 b(choice)g(function)h(for)g(the)f(set)h(of)f
+(\002nitely)5169 2878 y(supported)h(subsets)g(of)p Blue
+75 w Fv(A)p Black Fp(,)f(i.e.)g(any)i(function)p Blue
+5749 3431 a Fv(choose)94 b Fr(2)h Fu(\()p Fv(A)g Fr(!)8015
+3476 y Fb(fs)8294 3431 y Fv(bool)s Fu(\))g Fr(!)g Fv(A)p
+Black -1 w(;)5169 3960 y Fp(satisfying)p Blue 5309 4514
+a Fv(f)33 b Fu(\()p Fv(a)p Fu(\))96 b(=)f Fp(true)h Fr(\))f
+Fv(f)33 b Fu(\()p Fv(choose)p Fu(\()p Fv(f)g Fu(\)\))94
+b(=)i Fp(true)p Black 5169 5054 a(for)75 b(all)p Blue
+76 w Fv(f)128 b Fu(:)95 b Fv(A)f Fr(!)7149 5098 y Fb(fs)7429
+5054 y Fv(bool)p Black 78 w Fp(and)76 b(every)p Blue
+76 w Fv(a)96 b Fr(2)f Fv(A)p Black Fp(.)p Black Green
+Black Green Black OliveGreen Black 4876 5461 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black Blue 293 w Fv(choose)p
+Black 74 w Fp(does)75 b(not)h(have)f(a)h(\002nite)g(support.)p
+Red Black 1 1 0.8 TeXcolorrgb Black 5752 4114 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.8 SLW TeXDict begin Red end 0.15 true
+3.8 neg 39.9697 neg 200.92635 47.1697 .5 Frame gsave 1 1 0.8 setrgbcolor
+fill grestore gsave 0.8 SLW TeXDict begin Red end 0 setlinecap stroke
+ grestore end
+
+@endspecial -729 x Fh(The)62 b(lack)g(of)h(a)f(\002nite)h
+(support)f(for)g(choice)5752 3628 y(functions)h(motivated)g(Andrew)g
+(Pitts)g(and)5752 3852 y(Jamie)g(Gabbay)f(to)g(construct)h(a)5752
+4099 y(permutation)f(model)h(inside)g(the)g(set)g(theory)5752
+4346 y(by)f(Freankel)g(and)g(Mostowski)h(\(as)g(it)g(turns)5752
+4593 y(out)f(now)h(with)f(this)h(work,)g(this)g(was)g(a)f(dead)5752
+4818 y(end\).)p 0 TeXcolorgray 10821 5925 a
+ 0 setgray
+ 10821 5925
+a 0.5 TeXcolorgray 9374 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e
+(\226)i(p.6)g(\(2/2\))p 0 TeXcolorgray 4360 6416 a
+ tx@Dict begin -90 Rot end
+ 4360
+6416 a eop end
+%%Page: 7 10
+TeXDict begin 7 9 bop 0 TeXcolorgray 4360 6416 a
+ tx@Dict begin 90 Rot end
+ 4360
+6416 a 4609 1909 a
+SDict begin /product where{pop product(Distiller)search{pop pop pop
+version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
+closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
+grestore}if}{pop}ifelse}{pop}ifelse}if end
+ 4609 1909 a 4609 1909 a
+SDict begin H.S end
+ 4609 1909
+a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
+SDict begin H.R end
+ 4609 1909
+a 4609 1909 a
+SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
+end
+ 4609 1909 a 4609 1909 a
+SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
+ 4609 1909 a 4609
+1909 a
+SDict begin [ /Page 10/View [ /XYZ null null null ] /Title (Complaints about HOL)
+/OUT pdfmark end
+ 4609 1909 a Gray 4962 2027 a Fw(Complaints)128
+b(about)g(HOL)p 0 TeXcolorgray Black Black Green Black
+Green Black OliveGreen Black 4876 2582 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black 293 w Fp(I)75 b(would)h(like)f(to)g
+(de\002ne)i(the)f(type)g(of)f(\002nitely)5169 2869 y(supported)h
+(functions:)p Blue 5272 3347 a Fa(typedef)190 b Fv(\023)6656
+3392 y Fs(1)6880 3347 y Fr(!)7222 3392 y Ft(f)23 b(s)7577
+3347 y Fv(\023)7700 3392 y Fs(2)7924 3347 y Fu(=)p Black
+Blue 5860 3741 a Fr(f)p Fv(f)127 b Fr(j)95 b(9)p Fv(S)m(:)p
+Fp(\002nite)h Fv(S)c Fr(^)76 b Fv(S)111 b(suppor)10 b(ts)94
+b(f)33 b Fr(g)p Black 5169 4301 a Fp(this)75 b(is)g(all)g(possible,)g
+(but)h(I)f(cannot)g(use)5169 4599 y(Isabelle's)p Blue
+75 w Fv(\025)p Black 75 w Fp(to)g(\223write)h(down\224)g(such)f
+(functions.)p Blue 5506 5109 a Fv(f)5675 5154 y Ft(f)23
+b(s)5935 5109 y Fu(\()p Fv(x)p Fu(\))96 b(=)f Fv(Abs)p
+7429 5109 76 9 v 91 w(F)48 b(S)16 b Fu(\()p 8110 4867
+202 12 v Fv(f)32 b Fu(\()p Fv(R)q(ep)p 9060 5109 76 9
+v 91 w(F)48 b(S)111 b(x)p Fu(\)\))p Black Black Green
+Black Green Black OliveGreen Black 4876 5654 a @beginspecial
+@setspecial
+ tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
+0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
+begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
+begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
+Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
+stroke grestore end
+
+@endspecial Black 293 w Fp(I)75 b(think)g(one)g(can)h
+(make)f(a)h(case)f(that)h(there)5169 5932 y(should)f(be)h(more)g
+(research)g(on)f(HOL,)h(overloading)5169 6225 y(and)g(ax-classes.)p
+0 TeXcolorgray 10821 5925 a
+ 0 setgray
+ 10821 5925 a 0.5 TeXcolorgray
+9402 6307 a Fn(Munich,)26 b(21.)f(June)h(2005)e(\226)i(p.7)g(\(1/1\))p
+0 TeXcolorgray 4360 6416 a
+ tx@Dict begin -90 Rot end
+ 4360 6416 a eop end
+%%Trailer
+
+userdict /end-hook known{end-hook}if
+%%EOF