%!PS-Adobe-2.0
%%Creator: dvips(k) 5.95a Copyright 2005 Radical Eye Software
%%Title: 07.dvi
%%Pages: 9
%%PageOrder: Ascend
%%BoundingBox: 0 0 595 842
%%DocumentFonts: Times-Bold ComicSansMS CMMIB10 CMBX12 CMBSY10 CMBXTI10
%%+ CMBX10 CMEX10
%%EndComments
%DVIPSWebPage: (www.radicaleye.com)
%DVIPSCommandLine: dvips 07.dvi -o 07.ps
%DVIPSParameters: dpi=600
%DVIPSSource: TeX output 2005.06.14:1248
%%BeginProcSet: tex.pro 0 0
%!
/TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S
N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72
mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0
0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{
landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize
mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[
matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round
exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{
statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0]
N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin
/FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array
/BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2
array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N
df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A
definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get
}B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub}
B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr
1 add N}if}B/CharBuilder{save 3 1 roll S A/base get 2 index get S
/BitMaps get S get/Cd X pop/ctr 0 N Cdx 0 Cx Cy Ch sub Cx Cw add Cy
setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx sub Cy .1 sub]{Ci}imagemask
restore}B/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn
/BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put
}if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{
bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A
mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{
SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{
userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X
1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4
index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N
/p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{
/Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT)
(LaserWriter 16/600)]{A length product length le{A length product exch 0
exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse
end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask
grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot}
imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round
exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto
fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p
delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M}
B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{
p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S
rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end
%%EndProcSet
%%BeginProcSet: pstricks.pro 0 0
%!
% PostScript prologue for pstricks.tex.
% Version 97 patch 4, 04/05/10
% For distribution, see pstricks.tex.
%
/tx@Dict 200 dict def tx@Dict begin
/ADict 25 dict def
/CM { matrix currentmatrix } bind def
/SLW /setlinewidth load def
/CLW /currentlinewidth load def
/CP /currentpoint load def
/ED { exch def } bind def
/L /lineto load def
/T /translate load def
/TMatrix { } def
/RAngle { 0 } def
/Atan { /atan load stopped { pop pop 0 } if } def
/Div { dup 0 eq { pop } { div } ifelse } def
/NET { neg exch neg exch T } def
/Pyth { dup mul exch dup mul add sqrt } def
/PtoC { 2 copy cos mul 3 1 roll sin mul } def
/PathLength@ { /z z y y1 sub x x1 sub Pyth add def /y1 y def /x1 x def }
def
/PathLength { flattenpath /z 0 def { /y1 ED /x1 ED /y2 y1 def /x2 x1 def
} { /y ED /x ED PathLength@ } {} { /y y2 def /x x2 def PathLength@ }
/pathforall load stopped { pop pop pop pop } if z } def
/STP { .996264 dup scale } def
/STV { SDict begin normalscale end STP } def
%
%%-------------- DG begin patch 15 ---------------%%
%/DashLine { dup 0 gt { /a .5 def PathLength exch div } { pop /a 1 def
%PathLength } ifelse /b ED /x ED /y ED /z y x add def b a .5 sub 2 mul y
%mul sub z Div round z mul a .5 sub 2 mul y mul add b exch Div dup y mul
%/y ED x mul /x ED x 0 gt y 0 gt and { [ y x ] 1 a sub y mul } { [ 1 0 ]
%0 } ifelse setdash stroke } def
/DashLine {
dup 0 gt { /a .5 def PathLength exch div } { pop /a 1 def PathLength } ifelse
/b ED /x1 ED /y1 ED /x ED /y ED
/z y x add y1 add x1 add def
/Coef b a .5 sub 2 mul y mul sub z Div round
z mul a .5 sub 2 mul y mul add b exch Div def
/y y Coef mul def /x x Coef mul def /y1 y1 Coef mul def /x1 x1 Coef mul def
x1 0 gt y1 0 gt x 0 gt y 0 gt and { [ y x y1 x1 ] 1 a sub y mul}
{ [ 1 0] 0 } ifelse setdash stroke
} def
%%-------------- DG end patch 15 ---------------%%
/DotLine { /b PathLength def /a ED /z ED /y CLW def /z y z add def a 0 gt
{ /b b a div def } { a 0 eq { /b b y sub def } { a -3 eq { /b b y add
def } if } ifelse } ifelse [ 0 b b z Div round Div dup 0 le { pop 1 } if
] a 0 gt { 0 } { y 2 div a -2 gt { neg } if } ifelse setdash 1
setlinecap stroke } def
/LineFill { gsave abs CLW add /a ED a 0 dtransform round exch round exch
2 copy idtransform exch Atan rotate idtransform pop /a ED .25 .25
% DG/SR modification begin - Dec. 12, 1997 - Patch 2
%itransform translate pathbbox /y2 ED a Div ceiling cvi /x2 ED /y1 ED a
itransform pathbbox /y2 ED a Div ceiling cvi /x2 ED /y1 ED a
% DG/SR modification end
Div cvi /x1 ED /y2 y2 y1 sub def clip newpath 2 setlinecap systemdict
/setstrokeadjust known { true setstrokeadjust } if x2 x1 sub 1 add { x1
% DG/SR modification begin - Jun. 1, 1998 - Patch 3 (from Michael Vulis)
% a mul y1 moveto 0 y2 rlineto stroke /x1 x1 1 add def } repeat grestore }
% def
a mul y1 moveto 0 y2 rlineto stroke /x1 x1 1 add def } repeat grestore
pop pop } def
% DG/SR modification end
/BeginArrow { ADict begin /@mtrx CM def gsave 2 copy T 2 index sub neg
exch 3 index sub exch Atan rotate newpath } def
/EndArrow { @mtrx setmatrix CP grestore end } def
/Arrow { CLW mul add dup 2 div /w ED mul dup /h ED mul /a ED { 0 h T 1 -1
scale } if w neg h moveto 0 0 L w h L w neg a neg rlineto gsave fill
grestore } def
/Tbar { CLW mul add /z ED z -2 div CLW 2 div moveto z 0 rlineto stroke 0
CLW moveto } def
/Bracket { CLW mul add dup CLW sub 2 div /x ED mul CLW add /y ED /z CLW 2
div def x neg y moveto x neg CLW 2 div L x CLW 2 div L x y L stroke 0
CLW moveto } def
/RoundBracket { CLW mul add dup 2 div /x ED mul /y ED /mtrx CM def 0 CLW
2 div T x y mul 0 ne { x y scale } if 1 1 moveto .85 .5 .35 0 0 0
curveto -.35 0 -.85 .5 -1 1 curveto mtrx setmatrix stroke 0 CLW moveto }
def
/SD { 0 360 arc fill } def
/EndDot { { /z DS def } { /z 0 def } ifelse /b ED 0 z DS SD b { 0 z DS
CLW sub SD } if 0 DS z add CLW 4 div sub moveto } def
/Shadow { [ { /moveto load } { /lineto load } { /curveto load } {
/closepath load } /pathforall load stopped { pop pop pop pop CP /moveto
load } if ] cvx newpath 3 1 roll T exec } def
/NArray { aload length 2 div dup dup cvi eq not { exch pop } if /n exch
cvi def } def
/NArray { /f ED counttomark 2 div dup cvi /n ED n eq not { exch pop } if
f { ] aload /Points ED } { n 2 mul 1 add -1 roll pop } ifelse } def
/Line { NArray n 0 eq not { n 1 eq { 0 0 /n 2 def } if ArrowA /n n 2 sub
def n { Lineto } repeat CP 4 2 roll ArrowB L pop pop } if } def
/Arcto { /a [ 6 -2 roll ] cvx def a r /arcto load stopped { 5 } { 4 }
ifelse { pop } repeat a } def
/CheckClosed { dup n 2 mul 1 sub index eq 2 index n 2 mul 1 add index eq
and { pop pop /n n 1 sub def } if } def
/Polygon { NArray n 2 eq { 0 0 /n 3 def } if n 3 lt { n { pop pop }
repeat } { n 3 gt { CheckClosed } if n 2 mul -2 roll /y0 ED /x0 ED /y1
ED /x1 ED x1 y1 /x1 x0 x1 add 2 div def /y1 y0 y1 add 2 div def x1 y1
moveto /n n 2 sub def n { Lineto } repeat x1 y1 x0 y0 6 4 roll Lineto
Lineto pop pop closepath } ifelse } def
/Diamond { /mtrx CM def T rotate /h ED /w ED dup 0 eq { pop } { CLW mul
neg /d ED /a w h Atan def /h d a sin Div h add def /w d a cos Div w add
def } ifelse mark w 2 div h 2 div w 0 0 h neg w neg 0 0 h w 2 div h 2
div /ArrowA { moveto } def /ArrowB { } def false Line closepath mtrx
setmatrix } def
% DG modification begin - Jan. 15, 1997
%/Triangle { /mtrx CM def translate rotate /h ED 2 div /w ED dup 0 eq {
%pop } { CLW mul /d ED /h h d w h Atan sin Div sub def /w w d h w Atan 2
%div dup cos exch sin Div mul sub def } ifelse mark 0 d w neg d 0 h w d 0
%d /ArrowA { moveto } def /ArrowB { } def false Line closepath mtrx
%setmatrix } def
/Triangle { /mtrx CM def translate rotate /h ED 2 div /w ED dup
CLW mul /d ED /h h d w h Atan sin Div sub def /w w d h w Atan 2
div dup cos exch sin Div mul sub def mark 0 d w neg d 0 h w d 0
d /ArrowA { moveto } def /ArrowB { } def false Line closepath mtrx
% DG/SR modification begin - Jun. 1, 1998 - Patch 3 (from Michael Vulis)
% setmatrix } def
setmatrix pop } def
% DG/SR modification end
/CCA { /y ED /x ED 2 copy y sub /dy1 ED x sub /dx1 ED /l1 dx1 dy1 Pyth
def } def
/CCA { /y ED /x ED 2 copy y sub /dy1 ED x sub /dx1 ED /l1 dx1 dy1 Pyth
def } def
/CC { /l0 l1 def /x1 x dx sub def /y1 y dy sub def /dx0 dx1 def /dy0 dy1
def CCA /dx dx0 l1 c exp mul dx1 l0 c exp mul add def /dy dy0 l1 c exp
mul dy1 l0 c exp mul add def /m dx0 dy0 Atan dx1 dy1 Atan sub 2 div cos
abs b exp a mul dx dy Pyth Div 2 div def /x2 x l0 dx mul m mul sub def
/y2 y l0 dy mul m mul sub def /dx l1 dx mul m mul neg def /dy l1 dy mul
m mul neg def } def
/IC { /c c 1 add def c 0 lt { /c 0 def } { c 3 gt { /c 3 def } if }
ifelse /a a 2 mul 3 div 45 cos b exp div def CCA /dx 0 def /dy 0 def }
def
/BOC { IC CC x2 y2 x1 y1 ArrowA CP 4 2 roll x y curveto } def
/NC { CC x1 y1 x2 y2 x y curveto } def
/EOC { x dx sub y dy sub 4 2 roll ArrowB 2 copy curveto } def
/BAC { IC CC x y moveto CC x1 y1 CP ArrowA } def
/NAC { x2 y2 x y curveto CC x1 y1 } def
/EAC { x2 y2 x y ArrowB curveto pop pop } def
/OpenCurve { NArray n 3 lt { n { pop pop } repeat } { BOC /n n 3 sub def
n { NC } repeat EOC } ifelse } def
/AltCurve { { false NArray n 2 mul 2 roll [ n 2 mul 3 sub 1 roll ] aload
/Points ED n 2 mul -2 roll } { false NArray } ifelse n 4 lt { n { pop
pop } repeat } { BAC /n n 4 sub def n { NAC } repeat EAC } ifelse } def
/ClosedCurve { NArray n 3 lt { n { pop pop } repeat } { n 3 gt {
CheckClosed } if 6 copy n 2 mul 6 add 6 roll IC CC x y moveto n { NC }
repeat closepath pop pop } ifelse } def
/SQ { /r ED r r moveto r r neg L r neg r neg L r neg r L fill } def
/ST { /y ED /x ED x y moveto x neg y L 0 x L fill } def
/SP { /r ED gsave 0 r moveto 4 { 72 rotate 0 r L } repeat fill grestore }
def
/FontDot { DS 2 mul dup matrix scale matrix concatmatrix exch matrix
rotate matrix concatmatrix exch findfont exch makefont setfont } def
/Rect { x1 y1 y2 add 2 div moveto x1 y2 lineto x2 y2 lineto x2 y1 lineto
x1 y1 lineto closepath } def
/OvalFrame { x1 x2 eq y1 y2 eq or { pop pop x1 y1 moveto x2 y2 L } { y1
y2 sub abs x1 x2 sub abs 2 copy gt { exch pop } { pop } ifelse 2 div
exch { dup 3 1 roll mul exch } if 2 copy lt { pop } { exch pop } ifelse
/b ED x1 y1 y2 add 2 div moveto x1 y2 x2 y2 b arcto x2 y2 x2 y1 b arcto
x2 y1 x1 y1 b arcto x1 y1 x1 y2 b arcto 16 { pop } repeat closepath }
ifelse } def
/Frame { CLW mul /a ED 3 -1 roll 2 copy gt { exch } if a sub /y2 ED a add
/y1 ED 2 copy gt { exch } if a sub /x2 ED a add /x1 ED 1 index 0 eq {
pop pop Rect } { OvalFrame } ifelse } def
/BezierNArray { /f ED counttomark 2 div dup cvi /n ED n eq not { exch pop
} if n 1 sub neg 3 mod 3 add 3 mod { 0 0 /n n 1 add def } repeat f { ]
aload /Points ED } { n 2 mul 1 add -1 roll pop } ifelse } def
/OpenBezier { BezierNArray n 1 eq { pop pop } { ArrowA n 4 sub 3 idiv { 6
2 roll 4 2 roll curveto } repeat 6 2 roll 4 2 roll ArrowB curveto }
ifelse } def
/ClosedBezier { BezierNArray n 1 eq { pop pop } { moveto n 1 sub 3 idiv {
6 2 roll 4 2 roll curveto } repeat closepath } ifelse } def
/BezierShowPoints { gsave Points aload length 2 div cvi /n ED moveto n 1
sub { lineto } repeat CLW 2 div SLW [ 4 4 ] 0 setdash stroke grestore }
def
/Parab { /y0 exch def /x0 exch def /y1 exch def /x1 exch def /dx x0 x1
sub 3 div def /dy y0 y1 sub 3 div def x0 dx sub y0 dy add x1 y1 ArrowA
x0 dx add y0 dy add x0 2 mul x1 sub y1 ArrowB curveto /Points [ x1 y1 x0
y0 x0 2 mul x1 sub y1 ] def } def
/Grid { newpath /a 4 string def /b ED /c ED /n ED cvi dup 1 lt { pop 1 }
if /s ED s div dup 0 eq { pop 1 } if /dy ED s div dup 0 eq { pop 1 } if
/dx ED dy div round dy mul /y0 ED dx div round dx mul /x0 ED dy div
round cvi /y2 ED dx div round cvi /x2 ED dy div round cvi /y1 ED dx div
round cvi /x1 ED /h y2 y1 sub 0 gt { 1 } { -1 } ifelse def /w x2 x1 sub
0 gt { 1 } { -1 } ifelse def b 0 gt { /z1 b 4 div CLW 2 div add def
/Helvetica findfont b scalefont setfont /b b .95 mul CLW 2 div add def }
if systemdict /setstrokeadjust known { true setstrokeadjust /t { } def }
{ /t { transform 0.25 sub round 0.25 add exch 0.25 sub round 0.25 add
exch itransform } bind def } ifelse gsave n 0 gt { 1 setlinecap [ 0 dy n
div ] dy n div 2 div setdash } { 2 setlinecap } ifelse /i x1 def /f y1
dy mul n 0 gt { dy n div 2 div h mul sub } if def /g y2 dy mul n 0 gt {
dy n div 2 div h mul add } if def x2 x1 sub w mul 1 add dup 1000 gt {
pop 1000 } if { i dx mul dup y0 moveto b 0 gt { gsave c i a cvs dup
stringwidth pop /z2 ED w 0 gt {z1} {z1 z2 add neg} ifelse h 0 gt {b neg}
{z1} ifelse rmoveto show grestore } if dup t f moveto g t L stroke /i i
w add def } repeat grestore gsave n 0 gt
% DG/SR modification begin - Nov. 7, 1997 - Patch 1
%{ 1 setlinecap [ 0 dx n div ] dy n div 2 div setdash }
{ 1 setlinecap [ 0 dx n div ] dx n div 2 div setdash }
% DG/SR modification end
{ 2 setlinecap } ifelse /i y1 def /f x1 dx mul
n 0 gt { dx n div 2 div w mul sub } if def /g x2 dx mul n 0 gt { dx n
div 2 div w mul add } if def y2 y1 sub h mul 1 add dup 1000 gt { pop
1000 } if { newpath i dy mul dup x0 exch moveto b 0 gt { gsave c i a cvs
dup stringwidth pop /z2 ED w 0 gt {z1 z2 add neg} {z1} ifelse h 0 gt
{z1} {b neg} ifelse rmoveto show grestore } if dup f exch t moveto g
exch t L stroke /i i h add def } repeat grestore } def
/ArcArrow { /d ED /b ED /a ED gsave newpath 0 -1000 moveto clip newpath 0
1 0 0 b grestore c mul /e ED pop pop pop r a e d PtoC y add exch x add
exch r a PtoC y add exch x add exch b pop pop pop pop a e d CLW 8 div c
mul neg d } def
/Ellipse { /mtrx CM def T scale 0 0 1 5 3 roll arc mtrx setmatrix } def
/Rot { CP CP translate 3 -1 roll neg rotate NET } def
/RotBegin { tx@Dict /TMatrix known not { /TMatrix { } def /RAngle { 0 }
def } if /TMatrix [ TMatrix CM ] cvx def /a ED a Rot /RAngle [ RAngle
dup a add ] cvx def } def
/RotEnd { /TMatrix [ TMatrix setmatrix ] cvx def /RAngle [ RAngle pop ]
cvx def } def
/PutCoor { gsave CP T CM STV exch exec moveto setmatrix CP grestore } def
/PutBegin { /TMatrix [ TMatrix CM ] cvx def CP 4 2 roll T moveto } def
/PutEnd { CP /TMatrix [ TMatrix setmatrix ] cvx def moveto } def
/Uput { /a ED add 2 div /h ED 2 div /w ED /s a sin def /c a cos def /b s
abs c abs 2 copy gt dup /q ED { pop } { exch pop } ifelse def /w1 c b
div w mul def /h1 s b div h mul def q { w1 abs w sub dup c mul abs } {
h1 abs h sub dup s mul abs } ifelse } def
/UUput { /z ED abs /y ED /x ED q { x s div c mul abs y gt } { x c div s
mul abs y gt } ifelse { x x mul y y mul sub z z mul add sqrt z add } { q
{ x s div } { x c div } ifelse abs } ifelse a PtoC h1 add exch w1 add
exch } def
/BeginOL { dup (all) eq exch TheOL eq or { IfVisible not { Visible
/IfVisible true def } if } { IfVisible { Invisible /IfVisible false def
} if } ifelse } def
/InitOL { /OLUnit [ 3000 3000 matrix defaultmatrix dtransform ] cvx def
/Visible { CP OLUnit idtransform T moveto } def /Invisible { CP OLUnit
neg exch neg exch idtransform T moveto } def /BOL { BeginOL } def
/IfVisible true def } def
end
% END pstricks.pro
%%EndProcSet
%%BeginProcSet: pst-dots.pro 0 0
%!PS-Adobe-2.0
%%Title: Dot Font for PSTricks
%%Creator: Timothy Van Zandt <tvz@Princeton.EDU>
%%Creation Date: May 7, 1993
%% Version 97 patch 1, 99/12/16
%% Modified by Etienne Riga <etienne.riga@skynet.be> - Dec. 16, 1999
%% to add /Diamond, /SolidDiamond and /BoldDiamond
10 dict dup begin
/FontType 3 def
/FontMatrix [ .001 0 0 .001 0 0 ] def
/FontBBox [ 0 0 0 0 ] def
/Encoding 256 array def
0 1 255 { Encoding exch /.notdef put } for
Encoding
dup (b) 0 get /Bullet put
dup (c) 0 get /Circle put
dup (C) 0 get /BoldCircle put
dup (u) 0 get /SolidTriangle put
dup (t) 0 get /Triangle put
dup (T) 0 get /BoldTriangle put
dup (r) 0 get /SolidSquare put
dup (s) 0 get /Square put
dup (S) 0 get /BoldSquare put
dup (q) 0 get /SolidPentagon put
dup (p) 0 get /Pentagon put
dup (P) 0 get /BoldPentagon put
% DG/SR modification begin - Dec. 16, 1999 - From Etienne Riga
dup (l) 0 get /SolidDiamond put
dup (d) 0 get /Diamond put
(D) 0 get /BoldDiamond put
% DG/SR modification end
/Metrics 13 dict def
Metrics begin
/Bullet 1000 def
/Circle 1000 def
/BoldCircle 1000 def
/SolidTriangle 1344 def
/Triangle 1344 def
/BoldTriangle 1344 def
/SolidSquare 886 def
/Square 886 def
/BoldSquare 886 def
/SolidPentagon 1093.2 def
/Pentagon 1093.2 def
/BoldPentagon 1093.2 def
% DG/SR modification begin - Dec. 16, 1999 - From Etienne Riga
/SolidDiamond 1008 def
/Diamond 1008 def
/BoldDiamond 1008 def
% DG/SR modification end
/.notdef 0 def
end
/BBoxes 13 dict def
BBoxes begin
/Circle { -550 -550 550 550 } def
/BoldCircle /Circle load def
/Bullet /Circle load def
/Triangle { -571.5 -330 571.5 660 } def
/BoldTriangle /Triangle load def
/SolidTriangle /Triangle load def
/Square { -450 -450 450 450 } def
/BoldSquare /Square load def
/SolidSquare /Square load def
/Pentagon { -546.6 -465 546.6 574.7 } def
/BoldPentagon /Pentagon load def
/SolidPentagon /Pentagon load def
% DG/SR modification begin - Dec. 16, 1999 - From Etienne Riga
/Diamond { -428.5 -742.5 428.5 742.5 } def
/BoldDiamond /Diamond load def
/SolidDiamond /Diamond load def
% DG/SR modification end
/.notdef { 0 0 0 0 } def
end
/CharProcs 20 dict def
CharProcs begin
/Adjust {
2 copy dtransform floor .5 add exch floor .5 add exch idtransform
3 -1 roll div 3 1 roll exch div exch scale
} def
/CirclePath { 0 0 500 0 360 arc closepath } def
/Bullet { 500 500 Adjust CirclePath fill } def
/Circle { 500 500 Adjust CirclePath .9 .9 scale CirclePath
eofill } def
/BoldCircle { 500 500 Adjust CirclePath .8 .8 scale CirclePath
eofill } def
/BoldCircle { CirclePath .8 .8 scale CirclePath eofill } def
/TrianglePath { 0 660 moveto -571.5 -330 lineto 571.5 -330 lineto
closepath } def
/SolidTriangle { TrianglePath fill } def
/Triangle { TrianglePath .85 .85 scale TrianglePath eofill } def
/BoldTriangle { TrianglePath .7 .7 scale TrianglePath eofill } def
/SquarePath { -450 450 moveto 450 450 lineto 450 -450 lineto
-450 -450 lineto closepath } def
/SolidSquare { SquarePath fill } def
/Square { SquarePath .89 .89 scale SquarePath eofill } def
/BoldSquare { SquarePath .78 .78 scale SquarePath eofill } def
/PentagonPath {
-337.8 -465 moveto
337.8 -465 lineto
546.6 177.6 lineto
0 574.7 lineto
-546.6 177.6 lineto
closepath
} def
/SolidPentagon { PentagonPath fill } def
/Pentagon { PentagonPath .89 .89 scale PentagonPath eofill } def
/BoldPentagon { PentagonPath .78 .78 scale PentagonPath eofill } def
% DG/SR modification begin - Dec. 16, 1999 - From Etienne Riga
/DiamondPath { 0 742.5 moveto -428.5 0 lineto 0 -742.5 lineto
428.5 0 lineto closepath } def
/SolidDiamond { DiamondPath fill } def
/Diamond { DiamondPath .85 .85 scale DiamondPath eofill } def
/BoldDiamond { DiamondPath .7 .7 scale DiamondPath eofill } def
% DG/SR modification end
/.notdef { } def
end
/BuildGlyph {
exch
begin
Metrics 1 index get exec 0
BBoxes 3 index get exec
setcachedevice
CharProcs begin load exec end
end
} def
/BuildChar {
1 index /Encoding get exch get
1 index /BuildGlyph get exec
} bind def
end
/PSTricksDotFont exch definefont pop
%END pst-dots.pro
%%EndProcSet
%%BeginProcSet: pst-node.pro 0 0
%!
% PostScript prologue for pst-node.tex.
% Version 97 patch 1, 97/05/09.
% For distribution, see pstricks.tex.
%
/tx@NodeDict 400 dict def tx@NodeDict begin
tx@Dict begin /T /translate load def end
/NewNode { gsave /next ED dict dup 3 1 roll def exch { dup 3 1 roll def }
if begin tx@Dict begin STV CP T exec end /NodeMtrx CM def next end
grestore } def
/InitPnode { /Y ED /X ED /NodePos { NodeSep Cos mul NodeSep Sin mul } def
} def
/InitCnode { /r ED /Y ED /X ED /NodePos { NodeSep r add dup Cos mul exch
Sin mul } def } def
/GetRnodePos { Cos 0 gt { /dx r NodeSep add def } { /dx l NodeSep sub def
} ifelse Sin 0 gt { /dy u NodeSep add def } { /dy d NodeSep sub def }
ifelse dx Sin mul abs dy Cos mul abs gt { dy Cos mul Sin div dy } { dx
dup Sin mul Cos Div } ifelse } def
/InitRnode { /Y ED /X ED X sub /r ED /l X neg def Y add neg /d ED Y sub
/u ED /NodePos { GetRnodePos } def } def
/DiaNodePos { w h mul w Sin mul abs h Cos mul abs add Div NodeSep add dup
Cos mul exch Sin mul } def
/TriNodePos { Sin s lt { d NodeSep sub dup Cos mul Sin Div exch } { w h
mul w Sin mul h Cos abs mul add Div NodeSep add dup Cos mul exch Sin mul
} ifelse } def
/InitTriNode { sub 2 div exch 2 div exch 2 copy T 2 copy 4 index index /d
ED pop pop pop pop -90 mul rotate /NodeMtrx CM def /X 0 def /Y 0 def d
sub abs neg /d ED d add /h ED 2 div h mul h d sub Div /w ED /s d w Atan
sin def /NodePos { TriNodePos } def } def
/OvalNodePos { /ww w NodeSep add def /hh h NodeSep add def Sin ww mul Cos
hh mul Atan dup cos ww mul exch sin hh mul } def
/GetCenter { begin X Y NodeMtrx transform CM itransform end } def
/XYPos { dup sin exch cos Do /Cos ED /Sin ED /Dist ED Cos 0 gt { Dist
Dist Sin mul Cos div } { Cos 0 lt { Dist neg Dist Sin mul Cos div neg }
{ 0 Dist Sin mul } ifelse } ifelse Do } def
/GetEdge { dup 0 eq { pop begin 1 0 NodeMtrx dtransform CM idtransform
exch atan sub dup sin /Sin ED cos /Cos ED /NodeSep ED NodePos NodeMtrx
dtransform CM idtransform end } { 1 eq {{exch}} {{}} ifelse /Do ED pop
XYPos } ifelse } def
/AddOffset { 1 index 0 eq { pop pop } { 2 copy 5 2 roll cos mul add 4 1
roll sin mul sub exch } ifelse } def
/GetEdgeA { NodeSepA AngleA NodeA NodeSepTypeA GetEdge OffsetA AngleA
AddOffset yA add /yA1 ED xA add /xA1 ED } def
/GetEdgeB { NodeSepB AngleB NodeB NodeSepTypeB GetEdge OffsetB AngleB
AddOffset yB add /yB1 ED xB add /xB1 ED } def
/GetArmA { ArmTypeA 0 eq { /xA2 ArmA AngleA cos mul xA1 add def /yA2 ArmA
AngleA sin mul yA1 add def } { ArmTypeA 1 eq {{exch}} {{}} ifelse /Do ED
ArmA AngleA XYPos OffsetA AngleA AddOffset yA add /yA2 ED xA add /xA2 ED
} ifelse } def
/GetArmB { ArmTypeB 0 eq { /xB2 ArmB AngleB cos mul xB1 add def /yB2 ArmB
AngleB sin mul yB1 add def } { ArmTypeB 1 eq {{exch}} {{}} ifelse /Do ED
ArmB AngleB XYPos OffsetB AngleB AddOffset yB add /yB2 ED xB add /xB2 ED
} ifelse } def
/InitNC { /b ED /a ED /NodeSepTypeB ED /NodeSepTypeA ED /NodeSepB ED
/NodeSepA ED /OffsetB ED /OffsetA ED tx@NodeDict a known tx@NodeDict b
known and dup { /NodeA a load def /NodeB b load def NodeA GetCenter /yA
ED /xA ED NodeB GetCenter /yB ED /xB ED } if } def
/LPutLine { 4 copy 3 -1 roll sub neg 3 1 roll sub Atan /NAngle ED 1 t sub
mul 3 1 roll 1 t sub mul 4 1 roll t mul add /Y ED t mul add /X ED } def
/LPutLines { mark LPutVar counttomark 2 div 1 sub /n ED t floor dup n gt
{ pop n 1 sub /t 1 def } { dup t sub neg /t ED } ifelse cvi 2 mul { pop
} repeat LPutLine cleartomark } def
/BezierMidpoint { /y3 ED /x3 ED /y2 ED /x2 ED /y1 ED /x1 ED /y0 ED /x0 ED
/t ED /cx x1 x0 sub 3 mul def /cy y1 y0 sub 3 mul def /bx x2 x1 sub 3
mul cx sub def /by y2 y1 sub 3 mul cy sub def /ax x3 x0 sub cx sub bx
sub def /ay y3 y0 sub cy sub by sub def ax t 3 exp mul bx t t mul mul
add cx t mul add x0 add ay t 3 exp mul by t t mul mul add cy t mul add
y0 add 3 ay t t mul mul mul 2 by t mul mul add cy add 3 ax t t mul mul
mul 2 bx t mul mul add cx add atan /NAngle ED /Y ED /X ED } def
/HPosBegin { yB yA ge { /t 1 t sub def } if /Y yB yA sub t mul yA add def
} def
/HPosEnd { /X Y yyA sub yyB yyA sub Div xxB xxA sub mul xxA add def
/NAngle yyB yyA sub xxB xxA sub Atan def } def
/HPutLine { HPosBegin /yyA ED /xxA ED /yyB ED /xxB ED HPosEnd } def
/HPutLines { HPosBegin yB yA ge { /check { le } def } { /check { ge } def
} ifelse /xxA xA def /yyA yA def mark xB yB LPutVar { dup Y check { exit
} { /yyA ED /xxA ED } ifelse } loop /yyB ED /xxB ED cleartomark HPosEnd
} def
/VPosBegin { xB xA lt { /t 1 t sub def } if /X xB xA sub t mul xA add def
} def
/VPosEnd { /Y X xxA sub xxB xxA sub Div yyB yyA sub mul yyA add def
/NAngle yyB yyA sub xxB xxA sub Atan def } def
/VPutLine { VPosBegin /yyA ED /xxA ED /yyB ED /xxB ED VPosEnd } def
/VPutLines { VPosBegin xB xA ge { /check { le } def } { /check { ge } def
} ifelse /xxA xA def /yyA yA def mark xB yB LPutVar { 1 index X check {
exit } { /yyA ED /xxA ED } ifelse } loop /yyB ED /xxB ED cleartomark
VPosEnd } def
/HPutCurve { gsave newpath /SaveLPutVar /LPutVar load def LPutVar 8 -2
roll moveto curveto flattenpath /LPutVar [ {} {} {} {} pathforall ] cvx
def grestore exec /LPutVar /SaveLPutVar load def } def
/NCCoor { /AngleA yB yA sub xB xA sub Atan def /AngleB AngleA 180 add def
GetEdgeA GetEdgeB /LPutVar [ xB1 yB1 xA1 yA1 ] cvx def /LPutPos {
LPutVar LPutLine } def /HPutPos { LPutVar HPutLine } def /VPutPos {
LPutVar VPutLine } def LPutVar } def
/NCLine { NCCoor tx@Dict begin ArrowA CP 4 2 roll ArrowB lineto pop pop
end } def
/NCLines { false NArray n 0 eq { NCLine } { 2 copy yA sub exch xA sub
Atan /AngleA ED n 2 mul dup index exch index yB sub exch xB sub Atan
/AngleB ED GetEdgeA GetEdgeB /LPutVar [ xB1 yB1 n 2 mul 4 add 4 roll xA1
yA1 ] cvx def mark LPutVar tx@Dict begin false Line end /LPutPos {
LPutLines } def /HPutPos { HPutLines } def /VPutPos { VPutLines } def }
ifelse } def
/NCCurve { GetEdgeA GetEdgeB xA1 xB1 sub yA1 yB1 sub Pyth 2 div dup 3 -1
roll mul /ArmA ED mul /ArmB ED /ArmTypeA 0 def /ArmTypeB 0 def GetArmA
GetArmB xA2 yA2 xA1 yA1 tx@Dict begin ArrowA end xB2 yB2 xB1 yB1 tx@Dict
begin ArrowB end curveto /LPutVar [ xA1 yA1 xA2 yA2 xB2 yB2 xB1 yB1 ]
cvx def /LPutPos { t LPutVar BezierMidpoint } def /HPutPos { { HPutLines
} HPutCurve } def /VPutPos { { VPutLines } HPutCurve } def } def
/NCAngles { GetEdgeA GetEdgeB GetArmA GetArmB /mtrx AngleA matrix rotate
def xA2 yA2 mtrx transform pop xB2 yB2 mtrx transform exch pop mtrx
itransform /y0 ED /x0 ED mark ArmB 0 ne { xB1 yB1 } if xB2 yB2 x0 y0 xA2
yA2 ArmA 0 ne { xA1 yA1 } if tx@Dict begin false Line end /LPutVar [ xB1
yB1 xB2 yB2 x0 y0 xA2 yA2 xA1 yA1 ] cvx def /LPutPos { LPutLines } def
/HPutPos { HPutLines } def /VPutPos { VPutLines } def } def
/NCAngle { GetEdgeA GetEdgeB GetArmB /mtrx AngleA matrix rotate def xB2
yB2 mtrx itransform pop xA1 yA1 mtrx itransform exch pop mtrx transform
/y0 ED /x0 ED mark ArmB 0 ne { xB1 yB1 } if xB2 yB2 x0 y0 xA1 yA1
tx@Dict begin false Line end /LPutVar [ xB1 yB1 xB2 yB2 x0 y0 xA1 yA1 ]
cvx def /LPutPos { LPutLines } def /HPutPos { HPutLines } def /VPutPos {
VPutLines } def } def
/NCBar { GetEdgeA GetEdgeB GetArmA GetArmB /mtrx AngleA matrix rotate def
xA2 yA2 mtrx itransform pop xB2 yB2 mtrx itransform pop sub dup 0 mtrx
transform 3 -1 roll 0 gt { /yB2 exch yB2 add def /xB2 exch xB2 add def }
{ /yA2 exch neg yA2 add def /xA2 exch neg xA2 add def } ifelse mark ArmB
0 ne { xB1 yB1 } if xB2 yB2 xA2 yA2 ArmA 0 ne { xA1 yA1 } if tx@Dict
begin false Line end /LPutVar [ xB1 yB1 xB2 yB2 xA2 yA2 xA1 yA1 ] cvx
def /LPutPos { LPutLines } def /HPutPos { HPutLines } def /VPutPos {
VPutLines } def } def
/NCDiag { GetEdgeA GetEdgeB GetArmA GetArmB mark ArmB 0 ne { xB1 yB1 } if
xB2 yB2 xA2 yA2 ArmA 0 ne { xA1 yA1 } if tx@Dict begin false Line end
/LPutVar [ xB1 yB1 xB2 yB2 xA2 yA2 xA1 yA1 ] cvx def /LPutPos {
LPutLines } def /HPutPos { HPutLines } def /VPutPos { VPutLines } def }
def
/NCDiagg { GetEdgeA GetArmA yB yA2 sub xB xA2 sub Atan 180 add /AngleB ED
GetEdgeB mark xB1 yB1 xA2 yA2 ArmA 0 ne { xA1 yA1 } if tx@Dict begin
false Line end /LPutVar [ xB1 yB1 xA2 yA2 xA1 yA1 ] cvx def /LPutPos {
LPutLines } def /HPutPos { HPutLines } def /VPutPos { VPutLines } def }
def
/NCLoop { GetEdgeA GetEdgeB GetArmA GetArmB /mtrx AngleA matrix rotate
def xA2 yA2 mtrx transform loopsize add /yA3 ED /xA3 ED /xB3 xB2 yB2
mtrx transform pop def xB3 yA3 mtrx itransform /yB3 ED /xB3 ED xA3 yA3
mtrx itransform /yA3 ED /xA3 ED mark ArmB 0 ne { xB1 yB1 } if xB2 yB2
xB3 yB3 xA3 yA3 xA2 yA2 ArmA 0 ne { xA1 yA1 } if tx@Dict begin false
Line end /LPutVar [ xB1 yB1 xB2 yB2 xB3 yB3 xA3 yA3 xA2 yA2 xA1 yA1 ]
cvx def /LPutPos { LPutLines } def /HPutPos { HPutLines } def /VPutPos {
VPutLines } def } def
% DG/SR modification begin - May 9, 1997 - Patch 1
%/NCCircle { 0 0 NodesepA nodeA \tx@GetEdge pop xA sub 2 div dup 2 exp r
%r mul sub abs sqrt atan 2 mul /a ED r AngleA 90 add PtoC yA add exch xA add
%exch 2 copy /LPutVar [ 4 2 roll r AngleA ] cvx def /LPutPos { LPutVar t 360
%mul add dup 5 1 roll 90 sub \tx@PtoC 3 -1 roll add /Y ED add /X ED /NAngle ED
/NCCircle { NodeSepA 0 NodeA 0 GetEdge pop 2 div dup 2 exp r
r mul sub abs sqrt atan 2 mul /a ED r AngleA 90 add PtoC yA add exch xA add
exch 2 copy /LPutVar [ 4 2 roll r AngleA ] cvx def /LPutPos { LPutVar t 360
mul add dup 5 1 roll 90 sub PtoC 3 -1 roll add /Y ED add /X ED /NAngle ED
% DG/SR modification end
} def /HPutPos { LPutPos } def /VPutPos { LPutPos } def r AngleA 90 sub a add
AngleA 270 add a sub tx@Dict begin /angleB ED /angleA ED /r ED /c 57.2957 r
Div def /y ED /x ED } def
/NCBox { /d ED /h ED /AngleB yB yA sub xB xA sub Atan def /AngleA AngleB
180 add def GetEdgeA GetEdgeB /dx d AngleB sin mul def /dy d AngleB cos
mul neg def /hx h AngleB sin mul neg def /hy h AngleB cos mul def
/LPutVar [ xA1 hx add yA1 hy add xB1 hx add yB1 hy add xB1 dx add yB1 dy
add xA1 dx add yA1 dy add ] cvx def /LPutPos { LPutLines } def /HPutPos
{ xB yB xA yA LPutLine } def /VPutPos { HPutPos } def mark LPutVar
tx@Dict begin false Polygon end } def
/NCArcBox { /l ED neg /d ED /h ED /a ED /AngleA yB yA sub xB xA sub Atan
def /AngleB AngleA 180 add def /tA AngleA a sub 90 add def /tB tA a 2
mul add def /r xB xA sub tA cos tB cos sub Div dup 0 eq { pop 1 } if def
/x0 xA r tA cos mul add def /y0 yA r tA sin mul add def /c 57.2958 r div
def /AngleA AngleA a sub 180 add def /AngleB AngleB a add 180 add def
GetEdgeA GetEdgeB /AngleA tA 180 add yA yA1 sub xA xA1 sub Pyth c mul
sub def /AngleB tB 180 add yB yB1 sub xB xB1 sub Pyth c mul add def l 0
eq { x0 y0 r h add AngleA AngleB arc x0 y0 r d add AngleB AngleA arcn }
{ x0 y0 translate /tA AngleA l c mul add def /tB AngleB l c mul sub def
0 0 r h add tA tB arc r h add AngleB PtoC r d add AngleB PtoC 2 copy 6 2
roll l arcto 4 { pop } repeat r d add tB PtoC l arcto 4 { pop } repeat 0
0 r d add tB tA arcn r d add AngleA PtoC r h add AngleA PtoC 2 copy 6 2
roll l arcto 4 { pop } repeat r h add tA PtoC l arcto 4 { pop } repeat }
ifelse closepath /LPutVar [ x0 y0 r AngleA AngleB h d ] cvx def /LPutPos
{ LPutVar /d ED /h ED /AngleB ED /AngleA ED /r ED /y0 ED /x0 ED t 1 le {
r h add AngleA 1 t sub mul AngleB t mul add dup 90 add /NAngle ED PtoC }
{ t 2 lt { /NAngle AngleB 180 add def r 2 t sub h mul t 1 sub d mul add
add AngleB PtoC } { t 3 lt { r d add AngleB 3 t sub mul AngleA 2 t sub
mul add dup 90 sub /NAngle ED PtoC } { /NAngle AngleA 180 add def r 4 t
sub d mul t 3 sub h mul add add AngleA PtoC } ifelse } ifelse } ifelse
y0 add /Y ED x0 add /X ED } def /HPutPos { LPutPos } def /VPutPos {
LPutPos } def } def
/Tfan { /AngleA yB yA sub xB xA sub Atan def GetEdgeA w xA1 xB sub yA1 yB
sub Pyth Pyth w Div CLW 2 div mul 2 div dup AngleA sin mul yA1 add /yA1
ED AngleA cos mul xA1 add /xA1 ED /LPutVar [ xA1 yA1 m { xB w add yB xB
w sub yB } { xB yB w sub xB yB w add } ifelse xA1 yA1 ] cvx def /LPutPos
{ LPutLines } def /VPutPos@ { LPutVar flag { 8 4 roll pop pop pop pop }
{ pop pop pop pop 4 2 roll } ifelse } def /VPutPos { VPutPos@ VPutLine }
def /HPutPos { VPutPos@ HPutLine } def mark LPutVar tx@Dict begin
/ArrowA { moveto } def /ArrowB { } def false Line closepath end } def
/LPutCoor { NAngle tx@Dict begin /NAngle ED end gsave CM STV CP Y sub neg
exch X sub neg exch moveto setmatrix CP grestore } def
/LPut { tx@NodeDict /LPutPos known { LPutPos } { CP /Y ED /X ED /NAngle 0
def } ifelse LPutCoor } def
/HPutAdjust { Sin Cos mul 0 eq { 0 } { d Cos mul Sin div flag not { neg }
if h Cos mul Sin div flag { neg } if 2 copy gt { pop } { exch pop }
ifelse } ifelse s add flag { r add neg } { l add } ifelse X add /X ED }
def
/VPutAdjust { Sin Cos mul 0 eq { 0 } { l Sin mul Cos div flag { neg } if
r Sin mul Cos div flag not { neg } if 2 copy gt { pop } { exch pop }
ifelse } ifelse s add flag { d add } { h add neg } ifelse Y add /Y ED }
def
end
% END pst-node.pro
%%EndProcSet
%%BeginProcSet: pst-text.pro 0 0
%!
% PostScript header file pst-text.pro
% Version 97, 94/04/20; patched MV 10-09-99 00:36
% For distribution, see pstricks.tex.
/tx@TextPathDict 40 dict def
tx@TextPathDict begin
% Syntax: <dist> PathPosition -
% Function: Searches for position of currentpath distance <dist> from
% beginning. Sets (X,Y)=position, and Angle=tangent.
/PathPosition
{ /targetdist exch def
/pathdist 0 def
/continue true def
/X { newx } def /Y { newy } def /Angle 0 def
gsave
flattenpath
{ movetoproc } { linetoproc } { } { firstx firsty linetoproc }
/pathforall load stopped { pop pop pop pop /X 0 def /Y 0 def } if
grestore
} def
/movetoproc { continue { @movetoproc } { pop pop } ifelse } def
/@movetoproc
{ /newy exch def /newx exch def
/firstx newx def /firsty newy def
} def
/linetoproc { continue { @linetoproc } { pop pop } ifelse } def
/@linetoproc
{
/oldx newx def /oldy newy def
/newy exch def /newx exch def
/dx newx oldx sub def
/dy newy oldy sub def
/dist dx dup mul dy dup mul add sqrt def
/pathdist pathdist dist add def
pathdist targetdist ge
{ pathdist targetdist sub dist div dup
dy mul neg newy add /Y exch def
dx mul neg newx add /X exch def
/Angle dy dx atan def
/continue false def
} if
} def
/TextPathShow
{ /String exch def
/CharCount 0 def
String length
{ String CharCount 1 getinterval ShowChar
/CharCount CharCount 1 add def
} repeat
} def
% Syntax: <pathlength> <position> InitTextPath -
/InitTextPath
{ gsave
currentpoint /Y exch def /X exch def
exch X Hoffset sub sub mul
Voffset Hoffset sub add
neg X add /Hoffset exch def
/Voffset Y def
grestore
} def
/Transform
{ PathPosition
dup
Angle cos mul Y add exch
Angle sin mul neg X add exch
translate
Angle rotate
} def
/ShowChar
{ /Char exch def
gsave
Char end stringwidth
tx@TextPathDict begin
2 div /Sy exch def 2 div /Sx exch def
%%% MV 10-09-99 00:36
/sc?currentpoint where {pop sc?currentpoint} {currentpoint} ifelse
% currentpoint
Voffset sub Sy add exch
Hoffset sub Sx add
Transform
Sx neg Sy neg moveto
Char end tx@TextPathSavedShow
tx@TextPathDict begin
grestore
Sx 2 mul Sy 2 mul rmoveto
} def
end
% END pst-text.pro
%%EndProcSet
%%BeginProcSet: 8r.enc 0 0
% File 8r.enc TeX Base 1 Encoding Revision 2.0 2002-10-30
%
% @@psencodingfile@{
% author = "S. Rahtz, P. MacKay, Alan Jeffrey, B. Horn, K. Berry,
% W. Schmidt, P. Lehman",
% version = "2.0",
% date = "30 October 2002",
% filename = "8r.enc",
% email = "tex-fonts@@tug.org",
% docstring = "This is the encoding vector for Type1 and TrueType
% fonts to be used with TeX. This file is part of the
% PSNFSS bundle, version 9"
% @}
%
% The idea is to have all the characters normally included in Type 1 fonts
% available for typesetting. This is effectively the characters in Adobe
% Standard encoding, ISO Latin 1, Windows ANSI including the euro symbol,
% MacRoman, and some extra characters from Lucida.
%
% Character code assignments were made as follows:
%
% (1) the Windows ANSI characters are almost all in their Windows ANSI
% positions, because some Windows users cannot easily reencode the
% fonts, and it makes no difference on other systems. The only Windows
% ANSI characters not available are those that make no sense for
% typesetting -- rubout (127 decimal), nobreakspace (160), softhyphen
% (173). quotesingle and grave are moved just because it's such an
% irritation not having them in TeX positions.
%
% (2) Remaining characters are assigned arbitrarily to the lower part
% of the range, avoiding 0, 10 and 13 in case we meet dumb software.
%
% (3) Y&Y Lucida Bright includes some extra text characters; in the
% hopes that other PostScript fonts, perhaps created for public
% consumption, will include them, they are included starting at 0x12.
% These are /dotlessj /ff /ffi /ffl.
%
% (4) hyphen appears twice for compatibility with both ASCII and Windows.
%
% (5) /Euro was assigned to 128, as in Windows ANSI
%
% (6) Missing characters from MacRoman encoding incorporated as follows:
%
% PostScript MacRoman TeXBase1
% -------------- -------------- --------------
% /notequal 173 0x16
% /infinity 176 0x17
% /lessequal 178 0x18
% /greaterequal 179 0x19
% /partialdiff 182 0x1A
% /summation 183 0x1B
% /product 184 0x1C
% /pi 185 0x1D
% /integral 186 0x81
% /Omega 189 0x8D
% /radical 195 0x8E
% /approxequal 197 0x8F
% /Delta 198 0x9D
% /lozenge 215 0x9E
%
/TeXBase1Encoding [
% 0x00
/.notdef /dotaccent /fi /fl
/fraction /hungarumlaut /Lslash /lslash
/ogonek /ring /.notdef /breve
/minus /.notdef /Zcaron /zcaron
% 0x10
/caron /dotlessi /dotlessj /ff
/ffi /ffl /notequal /infinity
/lessequal /greaterequal /partialdiff /summation
/product /pi /grave /quotesingle
% 0x20
/space /exclam /quotedbl /numbersign
/dollar /percent /ampersand /quoteright
/parenleft /parenright /asterisk /plus
/comma /hyphen /period /slash
% 0x30
/zero /one /two /three
/four /five /six /seven
/eight /nine /colon /semicolon
/less /equal /greater /question
% 0x40
/at /A /B /C
/D /E /F /G
/H /I /J /K
/L /M /N /O
% 0x50
/P /Q /R /S
/T /U /V /W
/X /Y /Z /bracketleft
/backslash /bracketright /asciicircum /underscore
% 0x60
/quoteleft /a /b /c
/d /e /f /g
/h /i /j /k
/l /m /n /o
% 0x70
/p /q /r /s
/t /u /v /w
/x /y /z /braceleft
/bar /braceright /asciitilde /.notdef
% 0x80
/Euro /integral /quotesinglbase /florin
/quotedblbase /ellipsis /dagger /daggerdbl
/circumflex /perthousand /Scaron /guilsinglleft
/OE /Omega /radical /approxequal
% 0x90
/.notdef /.notdef /.notdef /quotedblleft
/quotedblright /bullet /endash /emdash
/tilde /trademark /scaron /guilsinglright
/oe /Delta /lozenge /Ydieresis
% 0xA0
/.notdef /exclamdown /cent /sterling
/currency /yen /brokenbar /section
/dieresis /copyright /ordfeminine /guillemotleft
/logicalnot /hyphen /registered /macron
% 0xD0
/degree /plusminus /twosuperior /threesuperior
/acute /mu /paragraph /periodcentered
/cedilla /onesuperior /ordmasculine /guillemotright
/onequarter /onehalf /threequarters /questiondown
% 0xC0
/Agrave /Aacute /Acircumflex /Atilde
/Adieresis /Aring /AE /Ccedilla
/Egrave /Eacute /Ecircumflex /Edieresis
/Igrave /Iacute /Icircumflex /Idieresis
% 0xD0
/Eth /Ntilde /Ograve /Oacute
/Ocircumflex /Otilde /Odieresis /multiply
/Oslash /Ugrave /Uacute /Ucircumflex
/Udieresis /Yacute /Thorn /germandbls
% 0xE0
/agrave /aacute /acircumflex /atilde
/adieresis /aring /ae /ccedilla
/egrave /eacute /ecircumflex /edieresis
/igrave /iacute /icircumflex /idieresis
% 0xF0
/eth /ntilde /ograve /oacute
/ocircumflex /otilde /odieresis /divide
/oslash /ugrave /uacute /ucircumflex
/udieresis /yacute /thorn /ydieresis
] def
%%EndProcSet
%%BeginProcSet: texmital.enc 0 0
% TeX math italic encoding.
% No ligatures or kerns.
%
/TeXMathItalicEncoding [ % now 256 chars follow
% 0x0
/Gamma
/Delta
/Theta
/Lambda
/Xi
/Pi
/Sigma
/Upsilon
% 0x8
/Phi
/Psi
/Omega
/alpha
/beta
/gamma
/delta
/epsilon1
% 0x10
/zeta
/eta
/theta
/iota
/kappa
/lambda
/mu
/nu
% 0x18
/xi
/pi
/rho
/sigma
/tau
/upsilon
/phi
/chi
% 0x20
/psi
/omega
/epsilon
/theta1
/pi1
/rho1
/sigma1
/phi1
% 0x28
/arrowlefttophalf
/arrowleftbothalf
/arrowrighttophalf
/arrowrightbothalf
/arrowhookleft
/arrowhookright
/triangleright
/triangleleft
% 0x30
/zerooldstyle
/oneoldstyle
/twooldstyle
/threeoldstyle
/fouroldstyle
/fiveoldstyle
/sixoldstyle
/sevenoldstyle
% 0x38
/eightoldstyle
/nineoldstyle
/period
/comma
/less
/slash
/greater
/star
% 0x40
/partialdiff
/A
/B
/C
/D
/E
/F
/G
% 0x48
/H
/I
/J
/K
/L
/M
/N
/O
% 0x50
/P
/Q
/R
/S
/T
/U
/V
/W
% 0x58
/X
/Y
/Z
/flat
/natural
/sharp
/slurbelow
/slurabove
% 0x60
/lscript
/a
/b
/c
/d
/e
/f
/g
% 0x68
/h
/i
/j
/k
/l
/m
/n
/o
% 0x70
/p
/q
/r
/s
/t
/u
/v
/w
% 0x78
/x
/y
/z
/dotlessi
/dotlessj
/weierstrass
/vector
/tie
% Have to have 128 .notdef's now to fill things out.
%
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
] def
%%EndProcSet
%%BeginProcSet: texps.pro 0 0
%!
TeXDict begin/rf{findfont dup length 1 add dict begin{1 index/FID ne 2
index/UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll
exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]FontType 0
ne{/Metrics exch def dict begin Encoding{exch dup type/integertype ne{
pop pop 1 sub dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get
div def}ifelse}forall Metrics/Metrics currentdict end def}{{1 index type
/nametype eq{exit}if exch pop}loop}ifelse[2 index currentdict end
definefont 3 -1 roll makefont/setfont cvx]cvx def}def/ObliqueSlant{dup
sin S cos div neg}B/SlantFont{4 index mul add}def/ExtendFont{3 -1 roll
mul exch}def/ReEncodeFont{CharStrings rcheck{/Encoding false def dup[
exch{dup CharStrings exch known not{pop/.notdef/Encoding true def}if}
forall Encoding{]exch pop}{cleartomark}ifelse}if/Encoding exch def}def
end
%%EndProcSet
%%BeginProcSet: special.pro 0 0
%!
TeXDict begin/SDict 200 dict N SDict begin/@SpecialDefaults{/hs 612 N
/vs 792 N/ho 0 N/vo 0 N/hsc 1 N/vsc 1 N/ang 0 N/CLIP 0 N/rwiSeen false N
/rhiSeen false N/letter{}N/note{}N/a4{}N/legal{}N}B/@scaleunit 100 N
/@hscale{@scaleunit div/hsc X}B/@vscale{@scaleunit div/vsc X}B/@hsize{
/hs X/CLIP 1 N}B/@vsize{/vs X/CLIP 1 N}B/@clip{/CLIP 2 N}B/@hoffset{/ho
X}B/@voffset{/vo X}B/@angle{/ang X}B/@rwi{10 div/rwi X/rwiSeen true N}B
/@rhi{10 div/rhi X/rhiSeen true N}B/@llx{/llx X}B/@lly{/lly X}B/@urx{
/urx X}B/@ury{/ury X}B/magscale true def end/@MacSetUp{userdict/md known
{userdict/md get type/dicttype eq{userdict begin md length 10 add md
maxlength ge{/md md dup length 20 add dict copy def}if end md begin
/letter{}N/note{}N/legal{}N/od{txpose 1 0 mtx defaultmatrix dtransform S
atan/pa X newpath clippath mark{transform{itransform moveto}}{transform{
itransform lineto}}{6 -2 roll transform 6 -2 roll transform 6 -2 roll
transform{itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll
curveto}}{{closepath}}pathforall newpath counttomark array astore/gc xdf
pop ct 39 0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack}
if}N/txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1
-1 scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3
get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip
yflip not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub
neg 0 TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{
noflips{TR pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop
90 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get
neg sub neg TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr
1 get neg sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr
2 get ppr 0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4
-1 roll add 2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S
TR}if}N/cp{pop pop showpage pm restore}N end}if}if}N/normalscale{
Resolution 72 div VResolution 72 div neg scale magscale{DVImag dup scale
}if 0 setgray}N/psfts{S 65781.76 div N}N/startTexFig{/psf$SavedState
save N userdict maxlength dict begin/magscale true def normalscale
currentpoint TR/psf$ury psfts/psf$urx psfts/psf$lly psfts/psf$llx psfts
/psf$y psfts/psf$x psfts currentpoint/psf$cy X/psf$cx X/psf$sx psf$x
psf$urx psf$llx sub div N/psf$sy psf$y psf$ury psf$lly sub div N psf$sx
psf$sy scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub
TR/showpage{}N/erasepage{}N/setpagedevice{pop}N/copypage{}N/p 3 def
@MacSetUp}N/doclip{psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll
newpath 4 copy 4 2 roll moveto 6 -1 roll S lineto S lineto S lineto
closepath clip newpath moveto}N/endTexFig{end psf$SavedState restore}N
/@beginspecial{SDict begin/SpecialSave save N gsave normalscale
currentpoint TR @SpecialDefaults count/ocount X/dcount countdictstack N}
N/@setspecial{CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs
neg 0 rlineto closepath clip}if ho vo TR hsc vsc scale ang rotate
rwiSeen{rwi urx llx sub div rhiSeen{rhi ury lly sub div}{dup}ifelse
scale llx neg lly neg TR}{rhiSeen{rhi ury lly sub div dup scale llx neg
lly neg TR}if}ifelse CLIP 2 eq{newpath llx lly moveto urx lly lineto urx
ury lineto llx ury lineto closepath clip}if/showpage{}N/erasepage{}N
/setpagedevice{pop}N/copypage{}N newpath}N/@endspecial{count ocount sub{
pop}repeat countdictstack dcount sub{end}repeat grestore SpecialSave
restore end}N/@defspecial{SDict begin}N/@fedspecial{end}B/li{lineto}B
/rl{rlineto}B/rc{rcurveto}B/np{/SaveX currentpoint/SaveY X N 1
setlinecap newpath}N/st{stroke SaveX SaveY moveto}N/fil{fill SaveX SaveY
moveto}N/ellipse{/endangle X/startangle X/yrad X/xrad X/savematrix
matrix currentmatrix N TR xrad yrad scale 0 0 1 startangle endangle arc
savematrix setmatrix}N end
%%EndProcSet
%%BeginProcSet: color.pro 0 0
%!
TeXDict begin/setcmykcolor where{pop}{/setcmykcolor{dup 10 eq{pop
setrgbcolor}{1 sub 4 1 roll 3{3 index add neg dup 0 lt{pop 0}if 3 1 roll
}repeat setrgbcolor pop}ifelse}B}ifelse/TeXcolorcmyk{setcmykcolor}def
/TeXcolorrgb{setrgbcolor}def/TeXcolorgrey{setgray}def/TeXcolorgray{
setgray}def/TeXcolorhsb{sethsbcolor}def/currentcmykcolor where{pop}{
/currentcmykcolor{currentrgbcolor 10}B}ifelse/DC{exch dup userdict exch
known{pop pop}{X}ifelse}B/GreenYellow{0.15 0 0.69 0 setcmykcolor}DC
/Yellow{0 0 1 0 setcmykcolor}DC/Goldenrod{0 0.10 0.84 0 setcmykcolor}DC
/Dandelion{0 0.29 0.84 0 setcmykcolor}DC/Apricot{0 0.32 0.52 0
setcmykcolor}DC/Peach{0 0.50 0.70 0 setcmykcolor}DC/Melon{0 0.46 0.50 0
setcmykcolor}DC/YellowOrange{0 0.42 1 0 setcmykcolor}DC/Orange{0 0.61
0.87 0 setcmykcolor}DC/BurntOrange{0 0.51 1 0 setcmykcolor}DC
/Bittersweet{0 0.75 1 0.24 setcmykcolor}DC/RedOrange{0 0.77 0.87 0
setcmykcolor}DC/Mahogany{0 0.85 0.87 0.35 setcmykcolor}DC/Maroon{0 0.87
0.68 0.32 setcmykcolor}DC/BrickRed{0 0.89 0.94 0.28 setcmykcolor}DC/Red{
0 1 1 0 setcmykcolor}DC/OrangeRed{0 1 0.50 0 setcmykcolor}DC/RubineRed{
0 1 0.13 0 setcmykcolor}DC/WildStrawberry{0 0.96 0.39 0 setcmykcolor}DC
/Salmon{0 0.53 0.38 0 setcmykcolor}DC/CarnationPink{0 0.63 0 0
setcmykcolor}DC/Magenta{0 1 0 0 setcmykcolor}DC/VioletRed{0 0.81 0 0
setcmykcolor}DC/Rhodamine{0 0.82 0 0 setcmykcolor}DC/Mulberry{0.34 0.90
0 0.02 setcmykcolor}DC/RedViolet{0.07 0.90 0 0.34 setcmykcolor}DC
/Fuchsia{0.47 0.91 0 0.08 setcmykcolor}DC/Lavender{0 0.48 0 0
setcmykcolor}DC/Thistle{0.12 0.59 0 0 setcmykcolor}DC/Orchid{0.32 0.64 0
0 setcmykcolor}DC/DarkOrchid{0.40 0.80 0.20 0 setcmykcolor}DC/Purple{
0.45 0.86 0 0 setcmykcolor}DC/Plum{0.50 1 0 0 setcmykcolor}DC/Violet{
0.79 0.88 0 0 setcmykcolor}DC/RoyalPurple{0.75 0.90 0 0 setcmykcolor}DC
/BlueViolet{0.86 0.91 0 0.04 setcmykcolor}DC/Periwinkle{0.57 0.55 0 0
setcmykcolor}DC/CadetBlue{0.62 0.57 0.23 0 setcmykcolor}DC
/CornflowerBlue{0.65 0.13 0 0 setcmykcolor}DC/MidnightBlue{0.98 0.13 0
0.43 setcmykcolor}DC/NavyBlue{0.94 0.54 0 0 setcmykcolor}DC/RoyalBlue{1
0.50 0 0 setcmykcolor}DC/Blue{1 1 0 0 setcmykcolor}DC/Cerulean{0.94 0.11
0 0 setcmykcolor}DC/Cyan{1 0 0 0 setcmykcolor}DC/ProcessBlue{0.96 0 0 0
setcmykcolor}DC/SkyBlue{0.62 0 0.12 0 setcmykcolor}DC/Turquoise{0.85 0
0.20 0 setcmykcolor}DC/TealBlue{0.86 0 0.34 0.02 setcmykcolor}DC
/Aquamarine{0.82 0 0.30 0 setcmykcolor}DC/BlueGreen{0.85 0 0.33 0
setcmykcolor}DC/Emerald{1 0 0.50 0 setcmykcolor}DC/JungleGreen{0.99 0
0.52 0 setcmykcolor}DC/SeaGreen{0.69 0 0.50 0 setcmykcolor}DC/Green{1 0
1 0 setcmykcolor}DC/ForestGreen{0.91 0 0.88 0.12 setcmykcolor}DC
/PineGreen{0.92 0 0.59 0.25 setcmykcolor}DC/LimeGreen{0.50 0 1 0
setcmykcolor}DC/YellowGreen{0.44 0 0.74 0 setcmykcolor}DC/SpringGreen{
0.26 0 0.76 0 setcmykcolor}DC/OliveGreen{0.64 0 0.95 0.40 setcmykcolor}
DC/RawSienna{0 0.72 1 0.45 setcmykcolor}DC/Sepia{0 0.83 1 0.70
setcmykcolor}DC/Brown{0 0.81 1 0.60 setcmykcolor}DC/Tan{0.14 0.42 0.56 0
setcmykcolor}DC/Gray{0 0 0 0.50 setcmykcolor}DC/Black{0 0 0 1
setcmykcolor}DC/White{0 0 0 0 setcmykcolor}DC end
%%EndProcSet
TeXDict begin @defspecial
/DvipsToPDF { 72.27 mul Resolution div } def /PDFToDvips { 72.27 div
Resolution mul } def /HyperBorder { 1 PDFToDvips } def /H.V {pdf@hoff
pdf@voff null} def /H.B {/Rect[pdf@llx pdf@lly pdf@urx pdf@ury]} def
/H.S { currentpoint HyperBorder add /pdf@lly exch def dup DvipsToPDF
/pdf@hoff exch def HyperBorder sub /pdf@llx exch def } def /H.L { 2
sub dup /HyperBasePt exch def PDFToDvips /HyperBaseDvips exch def currentpoint
HyperBaseDvips sub /pdf@ury exch def /pdf@urx exch def } def /H.A {
H.L currentpoint exch pop vsize 72 sub exch DvipsToPDF HyperBasePt
sub sub /pdf@voff exch def } def /H.R { currentpoint HyperBorder sub
/pdf@ury exch def HyperBorder add /pdf@urx exch def currentpoint exch
pop vsize 72 sub exch DvipsToPDF sub /pdf@voff exch def } def systemdict
/pdfmark known not {userdict /pdfmark systemdict /cleartomark get put}
if
@fedspecial end
%%BeginFont: ComicSansMS
%!PS-AdobeFont-1.0: ComicSansMS Copyright [c] 1995 Microsoft Corporation. All rights reserved.
%%CreationDate: Sat Sep 14 10:16:33 2002
% Converted by ttf2pt1 3.4.2/ttf
% Args: -a -b comic.ttf
%%EndComments
12 dict begin
/FontInfo 9 dict dup begin
/version (Version 2.10) readonly def
/Notice (Copyright [c] 1995 Microsoft Corporation. All rights reserved.) readonly def
/FullName (Comic Sans MS) readonly def
/FamilyName (Comic Sans MS) readonly def
/Weight (Regular) readonly def
/ItalicAngle 0.000000 def
/isFixedPitch false def
/UnderlinePosition -133 def
/UnderlineThickness 85 def
end readonly def
/FontName /ComicSansMS def
/PaintType 0 def
/StrokeWidth 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] def
/FontBBox {-93 -312 1187 1102} readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 0 /.notdef put
readonly def
currentdict end
currentfile eexec
D9D66F633B846A989B9974B0179FC6CC445BC1325EB8F274DD24A5D21C056364
13EFC099729365596A8A52075A624087116520034680FDBD3E86220CBF46C2E8
2BA32413E26C0AE960BB760BE98B2E1348D6A21CDB5429260899F7FF77617B00
E876499AFB997425D58673778E90672CE2F26C816F6EF6C1F6F0724D575749C5
5AE9D8CD0337709436E75CF2354AFBA7974814727450620BF79E10457E31E899
430F90AC9865F70FE6B6777C3B647DBF5479B987AFBD6DBAEA380CEC42950CA1
9398EFFA5677DCC3A12382E5728D26A08A739460E0C7EEFBC2B287F337C81126
D554D5A2079FE15A7AAB1D1578A6B7E7AE509A0C8EA12CB3BFFA8CA21F80C28F
165E56DDE1398D280FC068CB1C04C8317F894F38EBAFBDA29AB0EA3916EA9E64
672E802980AA50F43C457AB4070C6F095772F85CEB9ED0FD0CA31682AC547B8E
8DEBE311665FCB8AE3AE78AC5AC5FB3F47582BEFEFAEC16DB1FD2025778C99C2
488806E7D306ACBD579C02F05107A52DD8289D51C2D63372BB823C9B17F5FB76
81F2778107E303E1951D955443AC4C731FE01234033C6FD1AAFAEF0C3981E9B2
CA2386BF69A80C9019A7D8CF24477C4A5AB1BD191D1A8784E6260E49B87788FC
B6F169985E9C65C30DE793F4A68E75FB3A8135C52F8CB70F96ABE2F5FF571BBD
0732FF0A6EF848E437B50688DF5645B3A30E47B5AA0F1EB35A669B2B0603A931
D08C5B9669221238E5745FF9DBF2BA765274A440F3987FBFC0689BE4C0407E98
19FE68FC2C4CAA484A4DBF909B2858AD23B1EDEF2CB984E273CCDBE03C107CCD
13EFFC1A953F569C002E526244487C242639D8BF38201CD6447ACCA150D05B25
BA9C9DDC2F597C8D4B091D853369B8ADE0B18E8DFDE785893B5EFD6019AC678B
9658F8649182BA4DD7D16E5DC259E3F5083D2A5B98281323C7EB5A6A1BB84E58
E792C362F039EC894655E7B06095437FEF27B81EB14663E3073EA5D9410D411C
DA75C4C5C7864FA957AAFEEA79FEC8CC064641BD58F0EC389FACADA308A1723A
5C2492BA061EE8AD39200BFD0358D8D606291B417D0B25542A15E0DECFE2C769
4669121D5623921B1DCBE64808E61DD4F21BF74F5BF076049BAC620D7C544BEF
828A51B066C7134AD5D0447045AF93358ACF5DE07C87C7C94DEF2EF284C2DAE0
8E3664B7D51FC34898B2382F1AF4831554814D1846C82E64B2AD350340A40030
1BD2C6D721E5EFD3BEC41F18FB8C6D2B457E60950E1CEE746CA7155A9563A3B3
009F37E856E1E39ADD6AB74B4CF8C077BF2D626D2100D5784D8CE19198772CD7
C7AE13A3928640F97B6E66D0A2557B6A75D56EFA3BE862FBBE0D3CF1E4E4489A
47D23E91AE3911DE781EA5719684E8C9B2EBB2EDE5273C41CBFC78BEE42E887A
2D4115CCEA5FE4C0CF761E921D7D2992EB24625547D54C50B9EB097FF31C13D0
010E4A3B947F6998826D10AB53A1067BAD45E3F4249AACD8AE81CEC8190320B9
8A39199BFCD1C4FF3CE4851D494EF97D357057B13F2C830A38C7B58AF68CFECB
09313F5745B02B4BB60DBB2B680A764BAF9085F3C72EFDD42EF25EBCB7870205
7AE8A23C751014185DE9AFC917F2D783A0838DB6577607E207CCB5FB4007BE7A
3F43824A3BFF8B9F6A1E5C9D03B3CD1425CC36C2E4B233E8AF4A29074189D859
A96C113F239B3FDDB442396970B2C343CA8658711636549C90976D8F07AF398E
DFAA15CD75A52428102EEB5128796E46CB0AF4B537987C2ED552B37D82CF312B
030E422825AE97E638E539D1E22D2D4630424B9FB0C8025111091F54823FDAAC
9DDFDDFCC6DD14B65C493F0DF9044517835C5A18B6EDACA49FE842BFC82666D2
BCC82B4DA8AC924829C2BF2C24F464D9A4D5D5F7A76DA1ADF692B8DA6E68C40F
D16885A589F1FC2459F2E6B90131359A396EF818B1F1A690DFC246D5F82FADDA
2C3ABF2B3E9255EE6BB12EF66E699062A3B686AEAF76305955ED24298C2DF6DD
952B33819F09B3C7CE2DC374653E4B7339877DE9B4D3E0D96F9B3F3D0E1CAD73
42541435FD02230E4678EEE1DEBA4603B10AF17643F3FB2278A00844E981B2B4
EE60E2E09DFC242EB629D14A2F2603D8D1EE7C918FEA038360616F45D6816CFA
0C618732D04E0D6B7E7B091F85367186DDB626D66F223A6ED2EAE1D37826EC18
6491BE75C89124DADA58C9CDF79DF9383F779695C9A9695FEDB35240D20345FA
57D34BFF49DFDED802B3CDA24BE5B94FDF2910214E9DE600AA45F7BAA0038FF6
02E7D0B63A9540CE04C041D24ED01904D121DDC0D8645161A24017FC678A7386
07329268F446E523CFCD29A4047457D56024588C0F93212BB4092079B1B94BF9
17D001A5D7C9A8DD9088FE86FD10BB19E18B570DC8370D1F18C28B61B4E00C44
8F2637D7E20FBEFC3ADB587959D05FD294A4E55E4E56AB5305B7B32A1F4FFFBC
36AE063F84EF962146ED64FFDDC683B50FE5F93E6735F77E02745FDF1B36582E
2DE257D768E49692834144953AB91593FA24BA1141FE5999A70FC188CED3256B
046F7E559C29107B7770BABC5FFD5F430D5438128A62C8BB985C3F3E02C1DD89
01661DDD0190AEB798B8DE5EADCD6C5216CAFABE8A0478EE9B9C3C85B6E9C13D
C13EECCEC90B036F774F7FF2D7030768CDB682898E01228F3224DF331F1BE63E
EA95A09C7B64F4F10CE24095BFFB5DD7A934A294D964F05B333D877C114A8495
A573F018075B5411AF5EBE0B73570A95B9429D4882427BD832EC908DEC483D4D
CDDD175FC9AD9EEA5E07982F7D4B7B7112BFDD19A8451B0A3E8A3CB3498FB39A
DE64DC03EB3490850789BEB08F5B331CB742B1E842D5A02974D1D210E80AADCD
191C733C69A79FF4554DD25EF581017758A172F80111BA19167650D65779019E
678CC866ACE6308C956DBA08B815B258E525FA7BB0DA8242AB619E3D729125DE
BF1DDF6527CA8FD03772C588357472CDAE684C2AC5D6DC1A66571928161ED7AD
8493B4A9EE36401A2A54A603C2A9AAFF83B1C11A39A5F66D23E105CCBFD81AE1
A02E982F9ED1C700AACDBAA0E2486937FE85441BC83DACEBF2BD44E268A8508C
06E4972F8B408FFD530F677304BB66F4E666EEE16F92FC2D420DAD874CFD20B4
543CAE763C3B0988F3E22CC56E0DE2AB57F8B4CE5CEEB784D63790B994764431
DA01F023D4D6706CCC054636EBED2449863C38560F4C54DFD6394A8897961385
B053495BBDCF3AA66565148F3FC891B2692B472107AE54C0587AFB35100BC6A5
72E57D225DEF89BFE7329FD722301945BD16B2540799F253D4CD901CDF60A34B
00B0F3D6CC24FE6E8AE746147056CCF240A1D04175184B6412DE383DA77E7ABE
60B6F23DA55665259A4402AA48A455A074DCB38388C104FA629E2B6649661982
48B186F9D8B00FBBC7B9C635BB8D08FE653D05C558029E92103BDE93E7DF9456
4A140D982474F4FBAB6E38A8D691D00141839F0032560881EE58F413163F08C5
ACBE8B292816772463F644C7D257C583A3009B748D79386D23C7203BF068D8A6
09184ABEC0D139EAFA8705723A5D49D049F420266F034B72EE3B707AF5701B1D
FA5DBD6CA4827C23FFE2BCADEB2F949DC6A4263A8C82E274A0A0FC2BC1A334AE
DA418BB9093624A64B5A860155B96B4CD17D25C1F6918616CE476C1BFFE5E27E
777DAED707339191E22C609DD2720E8BBE43D02A196F9653441D5D99563AD6A0
15995764F5E692207E6C29B69E80D205669E929607730606CFA77866C98CB112
889DD3B16E3C2BF4191D7947DD3A946E115CC85A4383F380C770AD1E44970D66
A6C473EE119C7FEA9789840A5620C8DD4F4FAEADDF737EBFAA05E04C709409A1
66796ABF2CFF02A492B25295679DE2006075AB71CA71ADC08570D5DE3EC220C7
19B63A98775F67BEECF4995DC35D4691A78401D74535498797FE4382E4302DB3
EDE6A964FBB99F8AF170A5FD7DC8C618F7D2E8FE4BC43AFC8D57D4D7F60F0329
462D24B64152A2A6292F0590D6F87622356938E8367A8AD700489CB78AE75236
970181644F995A049EEEB8904FA30B9A7B70258F993C87F2C75BD72B5278CF84
E2A8804D9452682BEE7ED59D4B2F6297F15E7E6E7B9E427E0D120BB685C21404
98296402770DC7262C71EEBF9EED6EDC0814F5DB640CFDD8221C0434208142C0
B9108FBB0B6F6784ABF24129418CAF9F4B3F23CAFACB1880D078B0ABECE52E4B
3584DDBD03B345F3ABD2897BC9C6E0967E39A6097C93F217F851A9E251C407E6
55C9C0304303035939F71C4F0499935074B5B5A3470CA5F34361AE52504D973C
AC2D89B4FCA3A9D5E5952ED903E7B54769B3C221ACEF23FD8FC11F483C0CDAFE
837D984A761286C767DE402C543F56C127E3666DF82597524BAEFAE52BCE2D01
FB29E964411E72AA4240AC015DF5CFF45AC1FCD6B3EFF6272036CC85B74D1E54
1C9FA9230DBF01B038AE1E963098AAEE8D1D1225199C2F208A02EEB9BB118E9F
DBD15FB057F78E6D002A0798629A1EEF33AE15F8406C71B2405522123900F1EA
CF0056E3A47C43BB86585724C654445C1E0C615A8E98AC0BD7463C96B63A76E9
B25318716BD59861F51B561DCC115191F7A707A6E98111D319AFF427C2FCD1B3
46DD76961F4004A4A9511094B7D2DB2C726B63EF3A983B84C7B062CBC2D7C3D9
8B00B67B9CE1D0D743B5B27A58A5F889A5F63B5E4C46BA33856ED29B9AB43166
710E9E33D36652C64F0E8D107E4E94E724256776B2FB5D01EAD4897E0763C0AD
F8D6DCD073DDBA8DB19C9E205C7C32C27241713A190C7CCB249D60FEDDCD86D6
A78614DB834D0506CB0D4F824D86E193671DA6666394C41B6028FC2870E49732
15DD5823320D1EE5FC58FDC990C3DDD73667054808F6F1115CA55B878EA3E029
4B701B39665F4BF41624E22973FD0C7BA115D3388CD4621DAFF7B0D85F55056E
1DD103F59F2FD46681B42758D42D7EDCD5136921BB91AD489B52BFD69646AF49
B69E4DE0A3A861D6D1A35606F3A80550E3A89AA8A17C8944C9537F88A028601C
63381CAE11715FD662FA7277D5B3D5003D79CDA6134B060277840D71E85AC71A
179AB4F3001935D3D9BB9C50398B4E8D6A59C25574D70239367B0C0527A6B894
C14C8117475EC9692E9E99F6A90E866FA6C8C6175EF0A6F46865BAD64B90E72D
6057773EB7341E9AFD5F6E12D3CD056D0E7801038F92981250C3BDD77F02C296
953F4C56EB9261524389E71CF05793397E53B02B22244FD50712D203AB7AF996
1F0943FF5F02016DD6F0563A26851E1C2AD0CF463BCA4DE70B280622D99C8FD8
E295AEC158294935CAC050E3F02A9636E89EF795734A43944A722529364EBB71
EFF383DC58FC1C6DAA3105C475E5D473CF3A6D37B7EE1D90B03C9F7F76B44EE9
25C8AC12751904E03DDB56DDF43283BCA59F109E646D37C670251389DB1DCC11
C921DE1DA42691CB4A43DF740B6BFEB2B9B16652394A13CB53C57A318D583647
2AF0FE74F0A08276F6ACF7945E88B11CFE349AED0167FECB9F2CD46918F675B8
6790DC0B677E3D39479CA476045E4BB663342A2FC9B939559654B544CC4FB308
A8A671C1F14A0B712732996F9572E44B0F0A5878675803F7ADC6CEA91A779B82
E6604A7C83E1ECE05E132D1CA61DA084388529AAD81A503AA8244A27F15E646B
AAC9FB343FB6A1A3932C85AF503A78F1469C9759023A39A2A66A375F01A7BB65
E590F7E43833041ADAFB260DCDF7347109BE7E3D28F30480BD30F59B2EC9284F
A66C1CA2B2649E03CAE74D6724924E28A955FF06BBF51728AE6724360C97CE27
BF0DDC551713473ED0505F69FF85459A658EF4AA3557F832DEC88223E21DD540
3DDCAB8837EB696BAC4B915CC97D8C701034AF56032E6B45D0B3327DECC621D9
56927412507700FB699608CCA03A3BB26BB18234A5285B5517039417CA207715
A653B47F78162F06BE7AF1A10ED5AD4E6D50286C0ECBBD8CC9983FC00EDA6DA2
414F34F3F8539D22DDDF766DAF07138F356959B8327FAA6CD71CE5EC69F97B1A
B3BD81EBED69E888FBA1E2544DE0BB152A0901F7B9520032C24BC2D66EDD8113
2E44128EE1BE623EDD5DAC37278211EA706917052C6C9B73C95538B7FDFF75CD
315F25813E9A8F6B24CC94A37ED7FE37D7D03026506C28933CED8EE2895A696A
AEF0EB67902FA53D9E8BCF2B5D8C5F2D1B67CD3CF5EF4349B3DDDE8CBDA5AFDB
2464806615ACD44F88D715C1F56885B33D51E0A041E4AAF6514F0066669327CF
6F277BE3AC8FB0BFC7F4772C349A8E828A957488223B956C98019FE765B95484
DEF163F3670788FA0F0A5CB370D5A2F868AF176295DA5025B24894F19E1396FE
157C6D6BE59F2A06E7F54EDE050EE86E0637E802E6DBFB279B7E977B881D187C
FCE8B3548A7F5DA40E1B0C0D895773952F4CF8B0D3575E2971F355C21312DA80
8311D07D8983EDC4AD97AAB748842A457D7D25D524AB32E027FFB7349F60E4BD
BED3FF20536ABDFFA429B820A82AEE9A73D7DCF7748A7BD9788F635D7C1D238E
43779FC2850256D81DD963B9CDD485D93D8209C94E8875065A8D2F7D8A673AA4
42E3FB892DA6C81FC7C1E5331EDE1D174B2E3379BF1CF99F1D52CA25B42AEEE7
69A1B59D15D30B7292FD83B6E78CBCB99C881ABBF836F8EC13A5A32A91CDD341
E13F86D744129333DDD269E32DEA342800BC71189749B5BF67E0C490E226CCB4
1B71BF28FE6AA68AEFC449D6F2C583AC1BDB2AB83D1377E1D5BCA57EA9F73891
2EDF4315EB64C78AD0D4F49F02C538FB890DA8254F3350F4C670899D4EBF0BBB
413EA850A2EDBFD395F2A6CF1E84500A58047E7C28A3A5C25871D190E4758A89
DC70366AD98D5D70AD552DE4D6AB773091F63732330C3828D478B2CDA7388D32
F9E827505B27AD12B9AA2BD0774AB3D74F9B39B3181450CA8349B2329C5A790B
7E639F78BA7BAAA5F27933E8DC2CBCD0A3335CCD7738AFDEA45D3619B06C872C
065B047E1E1752325462F52902A5B6FED7A04A1A2F96724296030A5BDE1F29C1
EF9022BE74D5DDA85D7764EBB31166DF048D63C6A53E94FDA12E86C836C3006A
D89C0C761E7D5C5329DCA2961F6E0A013AD184C049A786679CFB5C1E2D38EEE4
48681CF88CE44202B7D393E27BB89A0980F7EE5E00A451AFEBFF246476F8EF77
F2783FBEE4A0EEA6292D112658B52B7A6DBC3DB4007CB182EE584117FC8282F5
B342042FF7455004899DFA973B27189D4D95F60FF4C373874320ADD4AC1C150A
2BACB333844A8AFC99172FC4D19BEB97B2C87FA552F5999A19F038EA293397C3
82B1FBBDD8DC35E343F5FA08507427B341BE13F628CBBE0AD3BEAE050A3D9314
EEBBBF1ED92A736F3891E425E1238939A23E4FACF2C3568466C9030A842090B2
66FA501D5DEBA89340AAE2AE1C6A3CA47F0F2383A60527AEE9007596DF61AE7E
AB1C066166EC395D4343418B75D6EAD8E4B638D8A4D6F7743A0981F795D40BED
02D41A9CCA33BCFA150CB4CE6FCF4210455743176D249871734079117ABB5223
D15695B6ED06143C6B0FDE52299DA13DFE68404AA011150BB45E3C757FCEF6C1
9F7A358659CBDDE3DD98EAB24D370E5B46D5A70C38F60C315723B6AC4282BE2B
699CCA1EFE82EA4D797568761CB9022E2A462904286271B0B047E7CFB84AE0D3
F92D293BD07286045CE90BA96A3E2A2E035D26D3FEDA26A24CC3B74CFE533E10
03E23FFFA60953E618FF54638083013110F3E9CEB691AA72AE26F02328A6B5BD
673BE8DC07ABB100B769A6E0A37F242A86EABF71E4718409C91275B4ABC8D4F7
D10B84CDD28A7897AE48DACFF21C811EEF8ED951F5F69DCD8FB92B33DFC6DB62
1191E583FEA26ADCF45A7C3016BCCED66A698E664C1627BBDA252B4BABEF2C61
191692A6DCD6BA59A1AC2BACF151CD1C4DE4A8F8562E1D016CFFBC2498339B6C
A8FEFF274AB42CC1722AC14066A7B4D44173BA99939E2E806F56EE5F29844499
AB395107B17F416CBD96D8705D510864C8C9D6DB92F2C0584F2E0F6F54326DA2
21E91DC93BC429BB5222D203816A94BE6EFB28733C10C8BB07EAAFA782A5920B
FCC53FE88134ACDD67D90736A84730B348FFE408872D40BF94DE6CCA4CBBD241
984CF6E0EB6B69764227C8061A6389C844A4C3AB008980033B04E2244FA27998
0B91B1C0E8D486F656116FFB38C388F988A6117B6832D316727EA0F8268D7B9F
46EDD935018D616E4B6C65760218604DA7671A2AE57EE029A0C0B16FBD2D0C35
AC8DDBA4E9FDA6D4CF7A51AD3AD70EE12EA881FBAF0BDC35DA213A632E310CD6
D4CA9BDCD3B89455CA9BFE2F9434207F3B7B5275B1076EF38DF09636DB1257A2
C4D998F0272D21EC2569D8B2EB9925B90FA1D70F2F95395CDA08858E09133571
5D9CC59167FE6FACC5A03275BA4B385D14ACEFB6E1E6D586D24E90C5CF1DA075
7B0CFBF1A08711D4D66697315D721F90884F55AF936438B21BBBC7ACA08266EC
B80F39563F8C5074AF8E7330A29CFEA10E85D4D241AD2E5B0B2D36B70B464AF2
9E6EBF8216AD900272A815DCAF1C116C5A4163DE9D31F3DACB8628B434D1E77B
4FE5D1AB2DCE37930DA5D1DD73E4B55A869C96FCA77A42B9204676B2D2C26B33
4E34AF897011872B09C088BFF8977BC6DF74FF1ABB327968757682C0497D8CAB
42412D8D67D4347C3358BE97CB6839DAE21B702078670CE0902222F9854361F5
1B561DCC115192A79B56A194F0D816D95BDA0BD962C4EFAAF90EB876CEF988BB
03324E2127A46E9DBB78CE86E750B0FD0A10AC1127B49E3904B4867C0C95BC5A
BFF0661E8255BDDBA8DC861E74BD8E120C8087679D3F03444CBB71CCF03C2C1A
78D554F14CDA115F7C8CA0614001C00F5D3606080935B776E05F89BAA21C2B4D
9FC095B1F3738207EED5F0D5A166C0D6372244655C9ECC511C1A3AC7F42D1767
C2A20C38D79B7CCB6196341BF42F6A121FA56F839B123029B34D67F3E491E814
8E530979C64C48F7E12CB2275A21A0FD2F2E2BA325F9AA1B258B64D0BF3AEE99
E1E0C72642581CA963B239C132D12519DF9373CF01A6F2D73F6A5AF802A26113
DB4F97F8D526EB0413F98570AAAC1F7663DD345408AAF6E8480A0FC8DCCD236C
B28641E6D4D90DEA10034F58FC5FB8565D63A9C89C0F79AAA61E70516549BC39
9743D35021FDF658B68C5F569E2CC644715FFA30FEBAC715512DB4C0E6AB6217
C9CB40AD1A30FBB2702B99DFEEE255419DE2FE2A4CC0B9DE515B345BCAFE6721
F08F16C88DC5D4443F4D3CEC18B0147098E7886AFBED21C71765245A2B60667E
25B40CE5F8CFB9AF2BCA1DAD558C1F2221541DC60BB39BB060ED6495AE98F679
8010F76FB89E2B9555DB7E62A74F7AF17554C9818684AC2CFF3C2AD72E7EA72A
A2C2EA54482A16933EA760142ABF564B9002BCE58E3450F2830A3A049BDFC6E9
BDFF298B4800F15331CB4B90851A0A7FAB1BB9289E0CDF74470E0D35CB62A5E2
AB06A3F099BE05154CEFFBEDB202555C87C918C87666AD5CD8BCEDFD5D15F53B
62E8B8B637D577777AD2F477516BA2906666DE730CB09755080AA332B3348270
E3CAA6B3EC41E1C8BBEAB1FC0522BA020577E83176B2C8D0BB6E9541FED63A05
0C1CE35780908FA22CE7555D4A4AAA68908099F4A45B2AA787BB7D77A88286B6
184E0E71A861BB5FF8B74EE2CD51B34F9DDD01A2E066DD0C24BE8B0B2D212B01
E63C0A0CBBC22A3CDE08AA1DBA9CFEF5C6C828E1B23CFEF4E82869F192A288CA
6800BB5C95281D8DB5E612939623B9C877C13BD2342C13A68113C17A183F6B18
0067B2F9E67F628F6C1B6EB89A875F63D920797089B57ECC1BEFEAE26D641D49
D0539613E25DB2E0D248E35CE9C08D0BDC3384EC5CD4284EB6B7D7B2A078E299
8715A6763D97B40337E5174EF23956B13CC25DDBB87E9A1B31DEC7E8D9D5EE8F
AE39C47BA58A0C52CC6047885F4105DE2A0D571CAE9B2FA6EED0779DCD412172
05C8279AB4A84464833637CB6037A77C28CEF5AEED016B57D5DE203A174028CB
B2A282B83B008E8EA3528B0104F28BEE3DF01BA48FB071201F6977A51D2D2838
ED6132878CD875B41EBE430C97CE27BF0DDC551489FD76607E59932B16A21158
275C7D54F246405241670A64940234938DF3A3EDC51EC50DA4CDB4061B2D429D
90F2A70FD990968AC3FF5459B98F6EF2147CC1E00AD58BA50B306BED8311D435
5BF65D4D886ED48201A4251D16CC9174AABF8FC76D2CDCF8FF48E998CBD88DC5
D8A8B67F26EC040F4B073458A9095000B8CFDA0126AFA234E5C9604278555C81
C222EC354B9AF6618BF722291F5811A89F3F1BE4C61CECA3DEBEB081964C6150
ABBD5B3A4B88B8F21418D498C1D3B450D864B6B348501D3073C42AC1EEB4E83D
C6D6024677A39CBEF701D77D05FCB64F261AD82C4DF73F0661CE60F1B9188CB4
EECCCB957E5260D4EA5FFAD4CD81CBB854BFF71E5EC5E06ED33A2BF9762A049F
B644ECD6B5C07B3B64D5D71F84C7D89825DE4C9A4020E1FD727B6412A342CCF5
8A2AA32DB331522B98CDC990282538B5F48C5EC53F4CEB73912C9B769C772FB4
880C0EC75B3563EAD2A590DB978A395C56DA4B9994B74C3FC14EE9F0A92F2650
5C43586781B6BA4A1F3BD1B8490BBE819CFDBFA7D23362F1811CA9D8EBC3CCD4
7EB9AA39ECAAE55E29994EBA7BFA669EBE57C23DA2FB25FBFCA987D40E9E6E22
EB77ED0EE9E3E10459B9AA355E912CE92188E4DF213AEA97259581392B9BC171
B1AE1279F582DC721A48785BA79FCB77621175289491E7A1654F2D89AB242DD0
99C7CB0A061D63D174B1A2A1C606E5981D948D593722C2305190E68E3A3DF087
94284CE3F6FA6E71C05B2296FBFA1E5C6668641E4C15421F6D812255D98D2DDA
B3392FA84F1254847CB523EA86910BE9DE38D60070824B08C2E2C56EA5C8F822
C591411144CE72E06B401EE9B28508B137772858D1A89AD21A4DAD367B21D4B7
1BC579D8B7369AED2AE9A79C74C0FF0E0B0C1AD3B59BEF72AC603B41B8D93816
9C832680FEDF5BCBAEEA8FF20197AF5E6887463F834EDD2608EA2C03E0164D07
F2F4BD61EACB527595851B12A3C1E1FB53FD9B346864E6AF67D9093CAA0AC262
8860391ACC35650B8E39519B2B7A737BA3B936C2656B59AAFB74F9E40E680D89
0903458CBAECFDD943262E9ACD8CDA7E9E78715DA56768569FA889A52FE4E4FF
707C55BB3148051B2B6F2E8AD884FC8A266603A8B3C1A17F2212E2ECCAC81595
18783357F86D370BF6674F6CDF12D2FDE4B981EB981AB0EB210E41CD50A3E20D
C78B53F3E0B671098413E318D9A0B75C53A9D709771728F0E60F20CA1636023C
3B45D99837E560B852E18F030C516E31813AFCA02EC2AB68D12BB1C15565882E
526D9439800B20C7E958E434402D7B35FC32C14EF50BF29D264A7F4B1C259E4B
1010AC355CD9D1DD0C6F1EBAEBCB517109806DD2CB6704EBB0D4389D1217080B
75019AF003A195663FFB3A1235FEC42224E08E3030C5748ACB78ADBBD5E0735B
99A6E94EC375C735028B31B8432CFB324D271BC85F7BA746B3DC5D872699004B
B7024E8A84B26F02FD8B087A8608FF9C86E836B7FFB7086E2789B8B4E522B5C8
7DE1D975B08CF8EFAE3CEF3EF3ABBE174C33199F3875A0BF4AAEC39143D85CD3
2C949F3D979751BA687F453D4A5CF4E61DA5C2E238FAC478170AB73F61DCDE4E
D63CEEB367F9F821BC41A7FEB9BF2AABEE5A67C1D11596E1FEB5082D14CAD6BD
770E15BE2901A7B362357E843AA41FD2A7DC0244ABB09915FCE4DA65A31EBF6F
BC6CBB27085F3E9FAAED13D06E7AC97A386E3117CFACE301EECF257B1E9BA488
552799E40E102D9E533CC68DD60FD6FAD3C8ABCD673A03A694FA7709C320C49E
01EBA2BE7ABC199BFE58FA66F52AD7C5ED80B4481EE95E7F44050B2198DDB2BD
938BA9E0A07C349F6A296F0771D38567245A095F8C91294627FFAFF0399CCEB8
7FA6CC280C98EABA19973BB596EEB41C7FAAB530481B4FB840C8C3A9D70992C1
F31DC6753222850ECF459A7BED158BBC32FB261682CFE36CAEF0433CFF3E13DF
36D75AF1A759EFD7C89DD3F0B328490C546A2BD7B5C158C66AA31730531CAA84
1028DCD2ACA3094563790CC22C491856CCE2728FD062DED1FC4552C0B714EEE9
BF2B469EC8CF7EEB75304F9A5C8286AC95FD505FFFCE931B60115AFD41D10C41
1FF88FEDAD541EB1711A5F0493F2B71BCD5655716F96B850D6FF61144F6A9E51
CC1B8A86A350807D07B674EEB14A276935114F1DA253C4E2C6915C9304AA49AA
4227182ACF455865CA526CD0C3AF1F22BD3E383E174F992EE1202FA5224BA74A
B500482FA63DFDA986FA9659B71D9E8E5DB24A70752D839DD4A4F6A61B071C58
4BDCCAF87401373886FF9BFE508C3A751057316CFC14196DA4D7D31A9F6BE6F1
46D4A9DC78F419FAB7C9E453996CA9194A2EB640F2E213494457C432214A3172
F1110A4B780C53D467D0FE46560B44CA4FF989A4D77F1C44DA7B049975EEB7C7
3978C1954D0C8CF401034AA3CFB3C24875CF107E8F35C40C193914BBC36385AF
5C27029600C63355BA19E2A651B9017BC1B8ACC9DC6678342AB0F045BB848097
2CF0DE416D863241758D0D5EA90188822EF1E59D922BA5E4D5BA20DBDDBB8359
030780CCE9AFA6D7063D5D20A302B51CBAE24382CB3A07B64835A7EBE90B52E2
47D95BAD5D9ACED37A7E9CDA86B3581FEF12165713CCC90D54FA5E0E7CC8DCA6
42CFE5A4A98D4D303232D1B375B38AF2C8B806A072850E729076811B5233BB6B
2A7FFBC00A9912B63DA88B3C465E434C7ADE89F8D059A8385466AC97F5F8F436
1DAA66686A89E3C4C35B7AB1F74794F79A77A6779090AF0FFE0D3B0B72D091E1
7021A30DD12D6983FA9D95A67EE2C1C07595C0A0E52616BD77A2137AD9E2DE4C
A0AC1E9AC3B8B92A16F5963FB6F6F1C133040301738DFFC58125250C5C9AFBB0
2187E4CAAA3A6EBB0C27F6B3D45356DFBEB0F12864B22E2DA9094346C06AF01F
F1D4784AD33491DBFB17AA6A4A9C61DA5648ECE74BDA1BA604872AD6C5271FA8
9B4388286EF9366ECA151A7994261C5753A081645F671114B75A59488A18E338
578927CBC76F06699BB084F049E32DC3AE8D27B0C8FE22CC936FA22C7FDE983C
AF43514253ACF86C96BD3BDE3321BEE521AE6E10CF664940FAFDE34B2ACD6D7E
AC386165819C19C75470FB635CB7271D8BD824E63FCE4B2955A9C7950E7043D7
75066794A2DA0C4D29036BCC08CCB25B2BADFDB659F305315BE273E5D1D48C68
B8C62BCC686B930D51A76E422BDF2419D6F7A552A5A0E68DD06347F5129C4540
33A639C2D4EDDC0B3A59B765186DB2C607FAA760FEABEF17CBB9C34FECC6E653
480E7DD748B8F839254BA9139D345103CB03226F4E26C62D6A3326564A6B5DC3
297FB49F7AFA80FB695BD5B0755BC39C5BCCEA527FC5AB60891BBD258ADFB0B4
BCE42E01E2F2D09E731C6C2F9E4493F6FF4574EEA2B17A9A1A01B75ABA1EB5C9
01DEF3E16541D2EC1561421722F6178436607CCA8FFA2136643652759D4095B0
0EADFB3BA8439098D4CA52DEB18C0943A39B48A6A3F499993F1DC91485935FD3
FA9DEB375F42C96269169A35F545E1A8EF7D8E64D01390E9E92FB6FA21943BA9
C3AA45E952007DACA804CD809616BE4342A5047C07E76889E53BCA13406A6DF0
234233EF08A17ED68AEFBBC8914D0B4827F7C90CB80D8452F4D244BAA1E3B282
FD29E62A82384DE428569A5283A557A996D0EA15A6C8815A66967B75919F156D
D1716603D89315F3462668BCD5C44675717F97257712738FD10561A78DC01875
69098950EFC78B5057C9BF52FACF258072F733DA1AECC72715A99013EA30A35A
42C562A5BE309D5D926AE5C673625845E1981A331355865C044F5810B772FE37
524027FB1807E2EBB95CBB73BE0555E7DE52288086AE6C8C6B3B5D4AB4CFAC64
042E44292AD4367DDC8671EC48E447C84A11C0CD332174304EE4C67955EDE530
44811EEA8D75D9A93A375C05DC80C08777C1DB8F5B0DCBFB9C8A95985A0571E6
7A52C44FA54067BA511DA13FA80C3856ABEF64B5B130980FB2B90AB3ABF8562E
1D016CFFBCD753899CB8F87ED5B96CB9B4460E41AC69A342C663C609417DB14D
F4082A547781176464090C441AB1D0BD751575D0A364947AC3131DAF08BB2058
B6E41092F1256C0892105D3C833F5A6ECEC9AF6EF230A314B3E55EDA5E61D1A1
451EDD31135B7E651F3386935E6A69C5868A268D1D3E1D71D757DE1530D30868
20204B83A1EB775861645239EC6EC6B59F47151670C10C2692938E8B62D0BFDE
7F47A6D7C9E547CA8D1562F4EB93729D362EF1C610E85FBBFC6151D81BE2207B
0F8CB234A10836AB34663A141DA69B46D41A04EDB8ECF905FB79F31A554D8BF9
8B8303CFD661ABF9A72CA2D701136D5AD497D5781A73D9ED02DD23382FDC5D31
1FDDC91218629AF962EC95FBA423CCCD94DAE6EDE99697B1D635FBDD7DCFEF07
F93366AF7F26F35ECF8D5AA73CDCF562CC5473C3646255E70FFB4731F12C1375
B510DBE7B100EFA22290B3DC8113DB1B383EC98F8367ECA286238D2B5AA3EF8C
BDC06696D3B82063FC20CEB298993E9318287E67F613388EF32D92729B9C2162
3BD5FFA34000E1D3EAC896C9E50A85C1E620574519E6223753B16EB1F3A47995
230979D99132FDD9A2C5D5A5C90863C0681D9C2E862434D6CB5D80F69E0010B9
7E1A371ECA95C57727D2B5C32E6E5FEDBEF4DEE936B01E6D8AC3C275EB16152F
CC451CDF5508519B9B58B5BACA7207A8E469C0963CBCFA717B0F0E97996557A3
6143696F82350C126712D3E031AB34225D92A83374078E036FCFF098B6D25ED5
BA6970DFB390317A8F1B0971C84FBB39F5FB23526B3103D973D05F42D3E37130
4227EC703D42B4C1064DDB33DAEB4893ACB7DFDCE534023FF4E38A4235863275
567199E21517EA9DD8A7757BA31CA0D97D8FA881C188C1038A840C6AB9269E1F
FD3D6432231D47B3729F7F9F8691B034A71EC23B34833BD3B6BF56210B6FFF39
53D092E9AB524CD65D4404D0323445D7B0D148E1843D354DEAF732A798B6E803
A0A99CABA87DA35B532BCA16C510B99D336EAE85CBA7D0FCFEE888CC7FFDEFCB
D5737257158BFBF7CC85EE25AF847626399CAA221DC09190CF963E4652F9558F
D8D9D5B7478A9A196FB1265991CF32B733CB000CCDBE18D9A9003DF1EA7A2F22
8667319B6262F584DDCBF708EDDB1B5DEA54A92603EF47888C851EEDEF383E28
001B9E8FB902DEB084FA4170CF621599E3A95788B80B9392171DBF9964BBEC03
013F324BD4B1E305394244948F1B06A1B8A026B3CA477D4CC612D0DC8CFFB063
F6DBC8748EB0D26D527A7665DBD5CFD0399338CB000416240463B37B84ADF971
3EAB43C23369EF2AEF19227314DA30E866859BF0F2368F5DFD963BF8FFA5642F
9422776B87D3297452BA7EA1CA9EACEC454312EC1DCE0EA843C3FA9956F75531
F04161B2C21F34CBE80DE64145C108D66738BCB61B03E6DE126317ACD924D5A6
1FC315B5CD8BC92D0D26A7DEDA6FE09F7DC39F9F2DE66A661E0EC976800F233C
557593D423CC008ABDA7A9B5200FAB37C3E4F9DF3A174028CBB2A2717C97FF0F
700841CB1EFBDC3062C786EB15A5F0DEC6366D20DFACC9A51E37BFD3E8F60883
F13152D70D8C76E0BB114F84862E6B822BC299B96EBCB4DAA4FBE78E6612D7BB
746979F4DD1D1AEB8E75BE5F3E71E7393392A0FE4928556628295F5FCEFE2177
B037B0FBA022555B0FCC1421A0B660B738180C1C2748C39084A9C71516582BCE
25EBF7C1E0D8431445A1BB4A90398240DF656D5E8EA1872BC169F92A89067D7A
A543CD8BAF27A0AFA9C36A4E9C01B62EF23D5B983BE9694160090EF1DC1CB074
0B3FA1B24F6630F31E90646FA7FF2780BFA07D77178F10FC477E27C780AC0244
9FD82EFB4BE67A1833D36D09829FA03EE7D559D5AA98732A533627402DFDC089
0A4296F3E9B0D405E9DEBF3A7A7B4B53EA2F8C915BD95CB67D9E25F9C4C27688
B2FFF2C31208D1BEA397E35C7F91ACC5982763EFA34A171A47F13A3B10533A8B
E1080729D86FEAA2193FA6D6C344238A11A2BF34A30ABB7ECEF68EE3D3050D3C
98651FBFD4874418AF3DB235C5B5A7046D3B734AB72279B090B191ADC83A6A9E
43A0310316F78211ADAA1AA9954C8C41A4378E21F1D711405CE8932953D69522
329B698729A632B08F87E2791C791A0005560EE26C52E95B71C4B9F6D6C2693E
BA28E9A425F2541111694F34BA48019506EEC65F821C3AC2B15DB2DC33012FCD
DFC8ACF206EF6A6167043EA9E8B4C6BAA6825975EAF495F92FC61205659ABE31
F87025B92E55DD5D5897F13EDBB3356F9E2B9DE1FBE777B09E123754F7752507
DE77C8B35CA1A3F7D176D9F7EC78D18F336B09B980DCA7D6BDA06483F8DD04F8
96B251460393B143D807E35B8CDC1B3E1DC2CE2D28AAF733F6E6A707C1CBCB5F
7BD74B934EE2BC8350E3A8F43278345F702D2B7E4FA697803C1F44946F43E838
36A5EBDFD3C90B959AC3A19FA9D0303DAC5BE0058B7AC46EFB60730D88633759
93CB447759CC506C2FE22FE5659ECC35066ADEA54F1D1B22718DFDFC59EAEA4A
33B0EECF528E8E2455316E16C3790BA72034D7BE9025BE2E1D132785D658B0A0
269A1FD38BAB95AA31DF4BE8804458E1B9E97C3106049D6C9FAA13FD406182B5
F62D26C28668CF1F62CF7E1E27CB13D8DFAD0E258D61B3C4F03884D52A78861B
C0B7A2F8AAF27E7E115BE85D71C300391464383D302A5E1BDED74C9BEF3D01A0
82C36934BDEE62E99882CD1DA3BD92FD6CEA20D0649071442B2916EBCE5F4837
FD84A6D209E48A0FB439E97BB1CF55796CFFF55D0D8378565A241B9F91FB0604
DD8A6746D4B6E7DC9B82F48B779B839A4B1ACFEA93279C7247486D79A3B62878
3820ECCCB514DA6DE060318DA4875AA4D5D876DC1E45FDD7FDAC41229306EA37
B9DF6E8DEB1C6C2BDEC9E6EAD8E39D13B7F4DD63E3011779EAF2101F7D6096E3
1DD0467437BF27C61D987552FAA97813EE20376D20927C4E0FA78A4722CE9678
6CC228DD6BDA9B4F88DC224D329F40743616D0E6AAD719A820F2262ADF2ABAE1
E46EB10E800620FE5A01B90848A5ADCC95DE49241DC602F4B71F8E08BDD0FDEA
AEBB5289568D37943CFE6B7DE09DD4E8256795E3D9D52215AA05E690FAA73EC2
16783CC4F106FBCB8ED64D2068C3DE2065A772019C474B05142993345253FD8B
AFB8B7FB1145ECF9C2567A48B0C043C6D77A6C65BBFA04C041A0E29BAC5703A8
3039CA96985A76B61B50165A4DF80041603CE71AD9F2AC7E8DB53B169D9EA048
E67112980DDA8F55E68313BEF4CBE85820A8AD3483F1CC68CD84F332FB505DB3
A35DE963CEF8CFA34D66EB4564A2A9D936AC26E84124A3DCF8C28E4463E0CFCE
34ED2A7FCA8C9AC9557F97784FBE0050F215500F281FDAED812CEF0A5232202C
7F74C30A4646D8726DD73FFCC34162C87536427AC8F7B54DAB946E2937617D92
2CE89E9D85933E3498B2EFF70B8FCDE2984F8A0763A9D322E7999A4BF2E9C684
E2C80951B24AAACDF129B2BB843A353C17E1E902D53E24B71DD4F1CC13482C48
FD1456BB3E84614AD3607A91673A3DF62988DE97DA96C5C43CC6398CF6B951AB
DB4CE6BE4B5F97D025073CD30F0346E71DC1761FD053FF0F727EE7A62C4A4C0C
8D10A93430C7FFD65B36442C20E14598F0BFA3B6C2011B842784111022AD96D0
1F66D7743E3C1CB6D013DE4A201A150213ABBECAB18D82FC9AAF598C88CEF2A1
5D6B13B95692C2467A8410F33043900232407BD79E4847F7E33662A718F59158
6F61886F19B5B15D74CB098F56CF1CB341A1406601488600D94727B62F28E0D8
A1C6E2B1F4AA9A11B291D6EFA6B68473FB9DBC1ECE947112CDB791A1CA9D765A
8A74525C532ADDAC4883F517B56CEAA33500D6497B38B326A7D011C03BFC4D49
7466C7F09105A287FB8C8D30870732F45D0AD1FDAF194F7DCD648D8F14A5264B
6277B27F4647C7CFDB6C84A32807C0406B66D795C1B414B03D92674B738A8B66
682B017A5A32FCFB655C346295AA91CFBA9967AC88E8B4F4DCE65155EF878B79
B3C8FC5D5856C4CDDF78646F618A4993D34A1E7672670C6366038F7A17D436BF
9B87FEED4792659E7EBA466DBB49D985D552F7E5DC23352FD902BF6F5B5CCC85
FE8E2D508D3091C99DD2D487D033EE9A75B7ED9E43439B682477B6A8F1FB454E
9FB4B782858D42BCA7E5BC5F6C4025FB6B0F7920F8422F3E911FD8BE3C0652A5
4F9A330B97295835189A896E49116BF243BC23AD4A3F60AFDA851C952FA29C49
E2D9F885C37E286684443EA619FD6C53B2CFEF57A40DA8E0AD14C4FEC3A05017
A993D91DABC265A39EE4A494BCDEE073004DA9986794B83227FD4117B27984A1
41A4B19E695DC317262068E043BAFA2CCBCACE0875E368521C0D91F20335FDCF
2C1789F5D48DAD1B9169DD75574B2BDED257DDC51AC370204B8504FB88BA15B7
DFF3BD741E3FF0F056957A6D0BC305BD5820C99145AA7E7B25CD2E2CD662ED47
BE46363E2130C0EA0DF460C5472E7D58C187468C5EF53764E81E3594AC3AF577
1BAC834A3CF62FF7833C06F0A58DD1A03FCE8732DE541E5E8A41FC87E1FCA5CC
ED34337ACE67CBE6928F02D2A44F53D994C4322E4F5FBD0983DA625EF5CC0FC9
F75FB7A90677C02630C6B4D79AB10F68B19CC8756AD1987C4A8477C26075C8A8
19E06415D033F435DF5E4E4259D1B6F2B5548B9E62CC545097F1BC3084ADF7E6
F8CF420DA42988B17383C10F6D932A86C4913226569816BFC2FED797BF3FBF60
B3E0A4BB68286F8FA8A2E671C13C58C020F9AF83E24033A22D60C6828A51130F
223E6A0CC4C0A500057BAA362E40524F69A5CD0B41ADD9EF430237EA3259A220
B548189D085A7DE57159FA1B35DACD25AAAD8279BB37E305C5D96EE922D985A0
DF57371D202C7DBEE6061297332A5D896A911EC2EB559845F9087524E1199EE9
F4460A284B639F70190D7935DE3C1AD731D0DE9DB8BD45BF6961E4E9314D0DA8
D8C03D9C8605AA73AA3ED1899E157ADB87299569B2CD4BE19E5BACAE82CA0F77
CBAF689A228C51506E7332353826167C09294C229DCD34EF0D0885ABA3C7BFBB
FD88016311C8283A32CEAE26ED684B14103073FA31E12D1660F0C6A51DB70F72
31F9BBC62A4B36097028E17B6976A138E0411A49D2BCECD9A2DD7C842F3397C8
85FC2A52FB18A1FBD42BD45E60B6BAB20C22F079D7607C42E7E0BA9B5611BE6F
C7394161713055000B30042F8381274A42890DE261C6106813F9F72487317CD3
77BF3E0670285648BF2D7E91D55C63AA03CAE82FB6E2D672FE0DDC6A174CF9B4
DB413F9DC2B9EE87D970CB0D51301BB24168859BC44E28265F4C868E8BF264C3
F0FEDE09C51B42B5F41E8F864A456E4C69C75310E5AE7EFAEA6A84263506CFC4
1A77B9A83EABEAAB52CE846DC5558305A5910D37BF704E2763DA127C2886DD0C
3C4BC6E938BA46490C5750A6AE13CF86872DB3B5CBBF9CE4586155E4D453C3E8
A1F7BD97C49335A96E0D3C017B4A14F0650B7FF087B7DBD826298922694C3A5C
7F698AF242C0493E396016F27F06AD2619698AA2F6F1D36D8256591964D813B9
D01260D0B0251A4BB9C7DD56E73EF49C21E4271ACB06635412F19CFB4C0DF4BE
B17F783094786A8B030692EBCB995BC4F8ACBBE274721B245275D975C3E79247
C4F010AA5CD339DFD81071B358E1EBF396D1AB193CC68621233D190CA9DCA836
FD3FB3CE3EFB23D35E719ED601CF97B2DAF5748CC962424EDA4096A432E493F0
9160DC90C1E799941CF1C53F870B1FB5587F35A97E5E4E7B9201FDE88CF645C3
D4257DB9C7C5D346FEEF86E2824686D0853B5EC528719D7F8624403BC45262FC
E7E36F4D6367F86F24ECA280544F089BFE9EA663CC87B14AF18C7894E2D9D780
2486C659CE9754F827720133D38CC22CDCA10D098404830D5D72FACD76296A82
A5AC35DFBD7C64F1D54E4E0EE5CCB1B7DEFB705D30042BE7B6F866B55ED80A3E
5BCC2C06528D50370D59E4DD597D0F14DE126D41DC3B3AE59BDB4231E1D057AE
6694289762B383A98252AF30F0B20972A60D76EEA3621CAE8D86D39D72547B28
B22A2D330865F7ADE63A00474651D5D93BC4F248D811711FA6B018081A4FF14B
AC03090A037EE1DAF46CA3F46E086BFAA4FBC1AA4D2CD206F29E58494F2E05C2
4D6FE1FF9B6EEA9C6D64B4A06D023C339081016894BB84E3B05ECCA440D9D121
6AD80220D2984819B309414191FB36A8FED4C2EB75F1E7F20949CF3253A42E4E
27E8EE9260C14C526604C9EAD3B6B652E76ED5E2821AF88C70383652FC8AFA17
09B49CFBD7616E2CCC7B6A2B820F96B40B67D538260A715CCFC3142C4CCE376B
5711D1BE93FAA4D990B61CBA114AAF35475EBC15687F7035D5504EAC5BFEBB69
7A67A00966B0B4299B8A73E431C28F378BFFB86E7537DD59C0779D4D143C6620
456EE3E4116930C57AF2F7F50AC7E115D04A2DBEB952802388840867AF418DEA
AE6477B408BB0F8A15CD9E37BD56C8FA3652F1A6B9CE2704F41E9BE63841DE12
1E8052B8A13FEA3D71002D649C165FE22EF1C1DE8AD0E22F81C8D1A069AEB361
CBBFF1D2500137CD34C8EE4C3F053C33CCE07F189F372B44B77E9F4A425B100D
4ED397E80432A4A9BD935683E8DAF5FFA3C85A9E9ECA88384B5F6A6F6A5B830D
47C2E29ED93B5683F489D5CF8BFA99C226F0FBC2E0F6D858E4A44E3B7F2FEAEE
C92B815CE75EA6D8F79E1287134924961BA2E7D66A86A73AE648EEF82C823C79
C9D0F73CDFD57A119E31FA4440EDCCD8A0E701D5AE693E501E3546E09CB18EBD
4353F1B0CEFBAC35DCB849271A20E5C94254C1EA7B50FA2B52A5DF92B41D5B64
FB484B0C85C29E7066BDB41F738BC6CA505EEB98E654DCCC17F6D1FBC6E5FD0B
A34CDEE023FEA051AE7E47A7FAC74BE35BB9D3E8A5B794B7FC1AADB68C3F4402
4B261C36F31A48A30B9D0F4D7F7F9D4EF3467151046684B56F0CCC1B055A7B3A
8A32675185B6501EF61B009BF9D885DD1CB79B72E1C8C93FB5408EAC60C743EC
E8E306EC331F99FBF939FF0A7C2EBFA353CCBED14831FF492EF33F7917ABB4D9
87C53CB30EDF7F04B4DA5BF152B232DC47470403584225045A6DCBDC95B55B8D
E832072A78D4E496027B5862E0472066D9864A092A02AF7C380B3A1E784E490F
47670094B77A4A50C974729E118732B8ECA755487698397B355B563CBEB4DD7D
200E5B8FC81C593F02EB75B5B8CE02A3331CEF242724807BFCDB688657ED0846
2C422C7969DF30C660AAA41CF39E4083153A130761B666AB85019B4870DE8A3A
FBBB2EFF53E73A7DC8295355B9F73B6950CE749F1A1A3EAC00E5D1ABFD004ECC
34CC066882CDE5D2EFDD60773B3759D74BCE6E4A67D6FB9B08CE18F2EB26B269
7B9ACB51188F29485DF3AB7026AFE454967659332B34FB651CC9A71F78CEB330
E0C60871EAA3572369D02A403BE1E20FBC5BFEFCC7EE76C24B376D0F10D3C45C
6996E2B04A61ED121776E7A4C54786AB0FB1283D57E9CB3CAC570F711A9658B8
5E71BAADA5357C7BDAF6EA91F6CC71A64986EA5683CC3F54D167BA67C3E7C2EF
087CD89261CFFD1152B1535858BD25D4F169ED898DDC4F142F1DDBECAD16FC6D
2DD2B0E526A60B191F940E35732286C17218A1C37572CA2F14A06CFB3C418091
FDE65C338F59D4B9FFEEF09E22B3B7327A81B62F6DFA08EBE475A0A534E2B50D
FE6F6FF66712F9CFE2AB8DE4ABA7503FF53F1D7C5ACD2671D8ED3BA3BFC8D1CC
E3F5E10E33818FDFD156D1C0273A618293806ACEA68277E7C2CEFB1034F8649D
8719A6E44B407F7DC484B84DD4DDD8BFAC50282F7BB45C522C2040669CA5C569
855F04BF31DF33389F06E0402DD7495D2FC671A00F9885EAB81FFBFB3E77A291
FF0D913E29BC276FC6C936B51A37A0088D04EB2502BEE7F60314345CEB57AECB
44EE9F16A67A452417F009E1E21A932D6C71027CE88F865DFFFB9996D216FB7F
A7CD22017F69778DE32197E3B95673A9FB398AF7C22EAAF8E4DBC87A74A0DF8C
208159A03C0CB2B22A49CACA5E2D5DA810431183B7E7C5F29D8BD24A3631C2F9
B6862FC9885CEA09CA6A1417AC1A6DAC246C8F8CF028913AAA0793B8B2A2FEE3
66E5DE75EB59A82BFF92D8972C2ED393059A5826AFCE7626083B9715A980F893
8522B1782E7B5A39152C115F88345272EAE96D71BB1399D2F19C7200C3EFAFFC
FDCA2D49B9BF4C93EC9A39F7F503279E08B6DD123CCB2B234A396923D3F61034
1754BE79DFEA8991B10F31269D16025899E47BDFBB0FB2B9F3F7908E7B7F6A04
349740C2E8E3C3B61DE472FE56C40059012FA7ED0DA9DF93A8BD3F911917D938
DB46C37B7CDE0751895EA9BF67FF39253CB8DC0253E6F1B991A79F4292B1D0EF
3CEF480BE64A071E7611E0F8146B96E8BF6345DBCFB02EABFCFA724DE9BC09C8
1BD289FD2DFAD46E33BE04F23B60A03BAE828D3411D61370712BE9FD67946045
AAC8BFECA7CB04D204B91AA270DA42B539622DCDA3D3DCCD443A5D63B696C279
4492FAB1754D692B06DE2FBF3B431835FF4BE4F8F8F35F9B31E03B07B9563F4C
A4EA1C914532BEAFD574C616873618146DC2D06E2AEF1017EA9DD8A7757BA39C
7F2A39EE4C73BF43405EBC4049CFCCBD000674CC6E12F9CFD6F448B33DCA9FE0
D76C74805F6527B9172A0B3D0D2681269F2AE309632E0483BCC95523A21F5517
150EE957D7EC9D6CD0AB625FCBB113851FFE2250F2C2A6AD97EE8827418B0CF1
8E25E5DFAA36574081210D78A1395F6FEAB4D351035C6A82B2FAA2980408D9BA
8DAB879FBDAA9EAF393048167F17F1B58F5870230E9DA69ABC00EB0EED3275AA
98986DFB3A6ACD04808EFBD69762064F80AD6C38D2B1361D1A6CDAC2C6A29507
FA003102FCCF6403292EA453741C45FA7FFF97637715A7F829398556AA3CD7EF
9E20515F7357BD629A8D1AEDC1C70088D77F384BA1E79780B9035A7040A41DA2
3806A89639B34CC4A6A3DD2983A3D6191A43105DEB097698401F7632D9442854
0F98757EB68B95C88FBA74FE5B145A2B6C3958D7D7D770773F771F106A47A35B
708E757821D03F22B3ABFA94272E24D61819BC851595A00CFB13605C758C82A7
2887FCA03AFFECACF951E21A2320DF88D1B1254DDD7375CB5E873BCF5AA555EE
E41901AD35D393E97FAF284B7FD4B3C2381EFB52DE592514511165241A8C57A1
F0DD9ABAB56A56D195146A56C0960447D0CA560EFC73F0611FD91E6C9AB05759
B10CAA561E4F40F562F478F9E67113AB560860CBFE73681A88DBEDEF1D1D4598
05CA35BA4F7187ED54991A7B090B4C57AA351F9AFC61A90FBB56F79F8B00191E
137A59E8E0C6D9645D49D86D022478D0514E1269A8324363E6BE81FF427CA359
8941E7DB8D7BD492AA91C6C5B8480E194C72E10ADB47BF785AC588F860911A5E
682B91867B4F1BE678DF7D6097A7DD067CACE9CFE03F08A0CE4D51D6B9FBEBC5
2273290423C711AB728F774D241116F60627F7ABBE6B6693FDA1A4EAA78B65D8
C03E3EFD29A98055E73C9F74086E054A10738C3E962A04FE8D72BD4248D6FDE6
7832C9678718755196D15CA17D55F30A3593B7D0CC4DFE4EBB33C7D013DD4793
735D2F121384E06870234B7533415274430491E786FA12237C1FD7E90CCCF924
EEE4F211DEEDF4AFC1738023613A0C6C86DA585294D035224A8E5B2C01213665
2DCE75F81239E58398942B419C992BFF1FFB97715F844F284E3265FE209E6CDD
AD3698B51D9AE6ED6B92E03229A48F6D189318B2C21A071AF0CBAE3D6B0F9E80
89DD0155BBD2CF817EAEF883317A92369922F414D975DF76E1B6BC4AAB214C38
E415F27CC73529628BAC4396E27226D1734E02529DCF07C487B97A16F628720F
377BD3668747A2B9894B4C3AD47F57D90D3F09BBD1E901F5D2E3FB13343F286E
50D0A26408C6D7309DD2D791D0B7EA9C04827C9FCA3AEF0BCEB7B3B504EB3AE1
5F94F0ABAB457517CB148CF1D4FC68EC8741C4AB042EF29DEAEBDB157E240CB2
930195EBBB5AB2606477531691D7897B2FDC4EA7948D626E123C13C2010D0CA6
F07CB0AC1117AE571357D3F25325457239AA6A55518FB3E57CD6BCEC38671EDD
70E24C636F86CFBC13B6434CA477399E6578DBCA85B24AD53D11F17AF4A7AE57
C8346FBCC14703EDF7A81C2254DA88D3CE4DFEC3B99408510C5BAFFD6D28409C
3FA734449C3BB4FA73A257DD5A44681F40EB7569F458E049ACA61DB618B8867E
F6ADE32FA9A5EF1E8262FEEEF5B9A99F072D719CB17F8DA062FD589DD83AB417
275656AD81BC8FEE2DE095DCF8A72C86FBF6B51720162EC0A9C02024A34AAFBB
3F4B202447561086FC446918A59FB35A03D6638DA38361B32512FACF454F8DB2
24863296908DAE9078CC780A20C9FA734C53D3EF37A1A51BAB86F5175D5C9F4A
E07E7F39141215D71AB3A653D4DBC7C7A77ECCB5EE95F4DFE208A06464595156
2B9458EADD720534E7E6C53A925C5C1856DB461C668B7D7FC6F77616052516D6
901EDE5035C38034BF95AA3A755B7A206948863D5402710A82EAADBFD8481FFE
7D023D1263F1B34FD281C821B39451E25B34D76AD13C8542B8405FD057026379
6C5C14B0729497157FB55BCE2116F6EA6A417C4D93B028AAD592F41E353E12FC
B80C807BA8E6A5A41332DD9C8CF7A9889AA4A7842E5C4D011DF8A2E77AC651E4
81225D941CA7BCE5E79492C35007E3BC8B4074E38B8A9226CC66FB1A2AB0BFA6
4D0B0AFDE1CAAA5C56C6EC5E93AC198D7ADAEB7C853A4B7B46CAF479A8E2A933
74D91E2AADE484067FEFF6DF462205EAFA5C2345539A2DF14EA4F34CC7BB7ECD
A1C991094B70C7D4E8EC1F315705AF6CAFB195018207FC50839134BE5C611AA5
BC720845263B6077A87D9187D2B032B12C30B0662F91B8A24F7B1B8E5746F5FF
8D7BCEC19DC7551401BE6DC6CA80B91152AAB529A090FB2A2B4313BB45A985D1
3F59BDF42505D485BB6BCF4885F985CBFA0209B0FDB3816659C9AAD63507B97D
C9677E2AA8329ADAF07641CB1E1EF6FF825B8E50FA32AAD7B87B32B5CD7FE962
B47E7B97CFFDE517A10B6CB705A68BEB189A7D11B8CA646B3F428DA26A279B69
2B917CA85610BB4C627DBD6FF6D4157EF81899F2A9F8898D841C238BF90D7119
353B5544446316E53014F572F01727E50405DF41852E9AC2A9DAD708AD162BBE
52EEC6E53EA172F5E293272FB425B32ECD08C323F8920A6B43A2ADA32CE89ABF
E36711DA9BCB156EF6CEEE09A48FEFE23AB849CBECDEE8ADFEFE43C93D97C7CF
7C31239B1E9E2B2650D435E79E97EC506613861734EAE3F6E89529E79C9F898A
16C8B12245698C4A9A6A3058CFE2A62C3AE463DAE7956351CEC1883DE3FC6427
C8CF0D7BA597037AED46ACE0CEEA7C457CCA483A0B280C9E5CFE547F984B742C
83BCF607AF1104205E1C350667FE347479CB4617BF5FECCFC1C0C5B951648A25
0935A221E8B2EFB8E2803754885E307FE7C5FA73B8678D28C973A2F97A8B16B2
3228B8AE6AE44862E5AF2FE34BEF08589A3CD94418317F5D10F93EDD9508CEDF
F6C2A02ECCD0AE3D14A2D09FCA4672B32E1BC2F32D016C31471824D143F431EC
78F8A75D33B6F052B379AD1C03BF8D59BBF449BE087261FF1504823DA5D44DE5
A553CCBB22F55D17D21B088962F8DA03B47CD5CC4DD64241D21E40EC94F742D7
2FDA940CA8D2B47751973CA411596918C1BF4A1FC8AC700F18B31DFF150E112C
3759F872104919DEAE3992E68D92B0C8A177D06E5C6AF20E0C625A6B42752518
6E8004D7974BAFCF17079FD101FE506E0E1A2B5CC515391F4F153482B884A27B
A4A73345C7D74B14E9D74986982BC19BF19BAF0E47F0C55D528DD013C7FE8065
82D1DAD8F6343FE719F36243B9A1FF1071410D17D2ED39D2EFF017598EE80442
8EECD2D62C0428B60DF2322E54A34012E907F57A5B10ECA340D3D021DF1B8A47
0DD269BEFA30EE054D8674229FA55D0CA21610E502D8F3D40555B1A54678F2C8
1949D7276CFCBC4889283B0C1008D0D7FE07BD216AE404D6CFA46CAA503D0093
0A4256CBDE760E93E2CE3199FA8718EA74726961769EF3B89BD76CFACFF6380C
C82C0385615850FC8702FB5C91ED023F5F7AD5384FD405CD30D3DB535BBF1613
08134F0FCAFC72656BBDBFA20A80F8C97A799CFD5462FC0FAAC9C2596CE8B325
089523573607C6E0C7D4DDCF71D86F6321DF5D413D42AAB5B038C5B7986289FF
7B0C37E83029C47880F5CE740DD1DEFF829156C4D4DFC0CE927B478984FAEF0A
3ACD3DE468C73A139A858C016C9828C7DCEC7A35D9021F69A59CEF16881D47B5
6B06216D57054A8C232FF749CA9B773D5F6FFAF8F397727F61E904D7A7CDD409
689187E9C6FEFDAAEF375C85E508CA64D80BEB40C506B51AD85F93CE046B7EC2
72FDAD450F425B15098D4C7D31125CCC652E599D508D2C0FC6365136C573711A
5E6D62BE67E7DF7480FA2A14FCEE4786076658C55E36747D4D826BB612C4049D
957068403A08BB7A0968518B094E99FF0CA3F73D4CC87B6CA75202E283290BEE
FEE9922DA84F40B9D1D78E894152C12DCE4EF4F5C57121623E4C5E1757AB490B
DB198B6C95C0C96A410E17E44F630079E8555BA940922E12F37ED374B45B472F
59842091400185752E080C0D1A64BB44E28EC725F1DB31637DFEC6B4148A5D1C
6A31F46E5B5EF640F4F31029B3394F8C574C8BED4613DCDAA9095A7A947305FE
29B6C493982224E041EF17A3C1D44F28FE2027F3846EE030D68E5D6A90F0043B
C37287EDF14D10A6525011DC0C115A4E3611F0E599B50B3B49519CFB2766FD57
BA6C27D0C498B25AED4237267C116E06079871F9F15F6881681F25C4A896FBB4
B17EC69F747743F06A6EE7BCFCF4B6DAA1708F8EE1A0CB1EBFDCC4D287B4FB5B
2F51660FFA663695FBBC9EB58AB735CACC6C0D7A4B1B8574078E4A8DA3CC3AD0
887C37E808645576B0E71CED2DAF3411A63E1D86BA5B178E42C1F3D82D2D7790
8C7E670472B13A68E221713D8F136A752B3077DC817F28A50C9BF7EED6674F4F
57040260264DBE161E4F081BE4FC9209152D736C1646607FF7493BFB85419347
A556703603EFB9E26A7F7C24854A13DB7307051A01058A9BCD8831B40343CBF6
8A390BE2C9D4107925144D3EC2FB556B6CC6F51CDB7328D98FF1FFE359777DF7
C5B049E3DA8EA7821033CA6A8BFAF15655F091CD1299BC628E17EBF71E9E5D69
90E424F641EF6E406C8FD2C217950F5A0BCB508571BBBB6B7143E3660F815A2C
60CF9D7C9D1B89D9AD7CC9F5EF7D1CE596E560AE32C7F87AB6F9C7A0E309BF20
70B6A50769B6ACD3B4AC165CA711148CC04B0959C2EA4C5974EAEE66289FE851
83105A6B52463F6F26F389CFE5F6167AC2419DE1DC72F3053E3E40782F67ACEC
EC0880744F87EC602F52B620EC7109E2E2F949E5D8589EFB04BBA9EC2EE741EC
F24DA292329877177B31ED71DA86D00D5E3CDBE748CFB1A5AE63F6C27D154EFD
DD9FE72E9F50B6B7B67DDB008A6368365903A63F501972937FC1702BEFD09B85
5D99D5B29FE5A300E9FA35A7F6D1A603568E9F5896622D2B6D5EEA83CE31FFF6
3EE1DDD39CD177D96C7ABB566BE125C220F9B1C0152DEF5E7D6110A062AD9198
3AEE2BF9CEB19BB374CB88427151F470C78873A43C6AD12DAFCBE3A47082A8C9
C15B511428B2F9D15E28A6A3A5BC8A43975C6E920D8B6D8BD53C535BFCA7FEC4
093112EF3797D7D2A2BEE26A75610F8494C6BC2D031A6CCB01931B29888E571B
C7D7B170B601A25C94D2531E831308DB9CD6C58823523F344A1E2AF88A31F35C
D7B4A3C7E3E3D01FC179DCB9072D00576F732F22F400CFDB26FB54D3FDE40B8D
56044CDF99B30E22FCFD870CF58B312D66B23414EDB9E433A828730C0F4C89FE
C5C3347A62D289175C00BD5C1047E7952169C918C253C417096B28F1EAB3D641
826041014A965FE3F4F2A1991C5FD8F3858FCA439FB210E892070D9DB166EEF3
D588076AB87EBE28D6862A956EF16BA5588EA6047EA6765B28784D0440D301E1
B114CFE85E3108ED78AAF27E8D8FC734A6DD83EB9C45FCF3D0ED767CA65AF97F
EA68B2D286B93585E7C24126E238CFC85F6D7C5ADF691D4C968766CE2E292469
19BB8EBB268C80289A2CE732AFA4D8D62B19A61164AAC1A64933ACB9186CACDF
13ACCAD04BB4AE6DFB3164E8795FD8AB7CDDACF0223454D69E57B04F57FE30B3
6DBC073129AE531B21B8F69DEC2FD91D4D52F29CDFADF421B5A2B7F185C33052
059B102057CEB63B5284F1551B030E3B34B7A919D5799165E2C781E65963FD08
936DD8A5DEBC06B64274407DFDF6C296D06B13B1178D19AA43D912E80F4BC172
F6BEC8A9A06CB0ECF54261B52C355577DA37481F9334C0C7CD0CF8F28A0CE00E
89FC99EAE6501838DE30A08991E9B168D661596CECF2D6E63F6AF5DFDB0BD023
D94D2EA523EBF949B5FA76AF945A89BC5CEF461F155A5FFC2A490F01D2D6D04A
2F561E3818860C71E12CF799544062EC3A41C6071D4B88CA128D46EE22E74700
12977F75A3F85E82C396D9E209CFDF1946595D5206030D2379119026737D8106
521E896C5E0ABAAC96F8D69503E43F4961D33F82BD17A2B83C75199494BCF645
6B489013669CA16591A32A908AAAF331D0FFDDB8D6E1A1D1CE65DC111C02DD7C
D4C734E63A93F05943D45F852364CCCAE4CB512A58793A719F76643A6E23FF7F
E47F4F0341075E30F529E6183D8059BEDD75A9517E0C8552C113EB226EDBFA60
2FE5CD03CD61242F122C3AA16E3B8ABF67A8B0600E479E90DE520F541E7A23ED
F4834152828B1B3EC7F4C475E9F8256875D2A990D8064D744CF19319956C302C
60EF24FC4EEC2B6832CF7AE5CEC3B95CA01EFC2826059E1273F84E506B20B7BC
FB794213AFF981E9204EC2354B5664438BC9E4688A7D54AF33414687442B1A96
DB227551C133B39B91DBA5AEBAF21D18FEB3CBEE02BBC2CCF1A9542BF202F5C4
2C194788D20AF1D5BEADCDF0241FD4F1FF6F3DAF9FB18F107B432E5FCE7B823A
C5D0A4037248D23595AAA695F34FCBF49CFF96E724A8E44AB0997DCB8225C36B
44DBF925F1C3425EBE90BAE18F165B0886EFBE3EEEC4BD7259E3E8C6E3E3A2DC
806AF2C7B9AF2CE4EFE17CAADD73CB7A7DB562B2CFCC6C8E30768852BAA45070
C549487793711D85DFE5FEBE0280FDE50032F17DDA8B94141949CA5B8CB840DC
6275F33DCF8CB20AE21C3A555C8B7EB5CCDF4D843511EFD646590B40CDEB821F
FA64A13387B672CCA54628C143FF067274E1FC6019E6B4B2E3221E4533C320A0
F354366196CCF529C350B9B885CB615F24D7DDFCCA7648BF8F65DFF1E9F42DFE
0EA74BD66116FCAE2B61089C57556B3E864762D5061BC87498B83DBFF3140122
AF1CFAAE9B1A54500D5186AE3B9D9FA76A55B20FBDC8F00BF9DBAEDFD9B60C2B
D540C79D44ECA74AD3B2493264BF23A95B220A365C77A4AD51F0107A21825388
8A03C716319E3532DAD8E6D13322686C74B1A69A1B140FF05B564D8214100115
8774B1E99473EF1161DDFAECADE941B20A8DD058BAD41FC9BF1090565DBEA3A1
ABA8EC9624F0A2981A4D6AE3267E03340709165BB1174E364A944FCDEA63A905
7220481382E95C15CEB477D52B5FF0553F00369C29B866F9C82CAF90301A28BA
4D14E77A705077711D8C5DFD1783F222994CAE622BFBCF21878BEC2CB9AC7C91
823C0DBF528D1E5997A60F212807268BF91FA4B398AAA5F202F097BD56BF273A
D0D4D3F6E15FFE57923B4CAD5C703DBFB006FC3F8C7B91A689BBA0D30A0DFE11
587EDB767F619FCC79BCC93C5E9DC93F72805715190F13D9209C80CE18916BD2
CFF2A335D8E21B5E9E5D493F46BE0616B04340C641403C765B764262AE4C34E9
2714C9AC67AB215F2296A261DFAE548533018577FA5B1662A266E2D041FD8BBC
D080AFDF5C899182652E6C8D4760823165F4CBDC653EBE80EFDAD04F30D1EF11
6CBF051809EF8D0F107CE4898094BCA694403AEF18392CD26F28C688F641A885
3458A1054BB63F9EB2ADB784CDEC3B65A94F565F3520D4E9DD7A15E966E9720B
249E43E93718EC6D61CE256C3B5609A205A92692765E2EB8FD225029885842D2
927D2E41B8BCA19CCD6121F43613B3C0FE0A44518D2C24E390C01493D6F59F54
DC1C3DB0691A23B97BF780A16D224BBB86D33CD66D069C38F8C8DD441806373F
11B505D62C1AC69278226887238B8ABCCCBFA78C44B3255D59D29CA3C0CF285C
A7B47F938906A91210CFD6C200A4BA1665011C0AB9031F8E57024747B51F42B1
EBFAEB096158C23B0638CF0A09A3C3A64A3FAF60F2760DDC2F863C7313F82A36
4D0D98C806315958A5AE9F641AD4C1079E686C20F54B4443223516E9A3C5E6D3
5940B42905AADA9B87542F4E738C513D2F30174568A61D3B28889D0CE4DB7232
3B883B01E3D1510F608F21DA1375D4EDB3A74EB3F6E08C707A22AB6614AFDF97
1E45AA46A06F91DF09466F8BFB5C5DA277012BCB134B22CDE63172D766B6076F
0BCA25FB0EA19DD3875A11F9A44072FB46037BAC41DC3D59CB948FD3C09F5CCC
617F407836672EFDD7A1E8EC8CF99F8AC3109F36124BE6667BC5E85D0422A04B
94E5636719251ED38C716D2E65F07E30AE5BDBAAEEEA5AC5CB0AE98442527D7A
944087B590250ED1DC15BA688D27E472BEC9FE909750778A6D73209FADBB66B2
9598EF9B02D5C59557E0755133C4395FA8BF3A629058F5D370276B5F37B26BFA
8A8FBB0AD66CB5411C4FF4AA9625B475FDA504AC37F15906E7CAE626FB84FA72
7A5A35F440BF9193458FF9EDD5D892889A2D65F1A92C5CAE3CABF1874316
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMEX10
%!PS-AdobeFont-1.1: CMEX10 1.00
%%CreationDate: 1992 Jul 23 21:22:48
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.00) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMEX10) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Medium) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
end readonly def
/FontName /CMEX10 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 122 /bracehtipdownleft put
dup 123 /bracehtipdownright put
dup 124 /bracehtipupleft put
dup 125 /bracehtipupright put
readonly def
/FontBBox{-24 -2960 1454 772}readonly def
currentdict end
currentfile eexec
D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891
016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171
9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F
D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758
469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8
2BDBF16FBC7512FAA308A093FE5CF5B8CAC6A7BEB5D02276E511FFAF2AE11910
DE076F24311D94D07CACC323F360887F1EA11BDDA7927FF3325986FDB0ABDFC8
8E4B40E7988921D551EC0867EBCA44C05657F0DC913E7B3004A5F3E1337B6987
FEBC45F989C8DC6DC0AD577E903F05D0D54208A0AE7F28C734F130C133B48422
BED48639A2B74E4C08F2E710E24A99F347E0F4394CE64EACB549576E89044E52
EABE595BC964156D9D8C2BAB0F49664E951D7C1A3D1789C47F03C7051A63D5E8
DF04FAAC47351E82CAE0794AA9692C6452688A74A7A6A7AD09B8A9783C235EC1
EA2156261B8FB331827145DE315B6EC1B3D8B67B3323F761EAF4C223BB214C4C
6B062D1B281F5041D068319F4911058376D8EFBA59884BA3318C5BC95684F281
E0591BC0D1B2A4592A137FF301610019B8AC46AE6E48BC091E888E4487688350
E9AD5074EE4848271CE4ACC38D8CBC8F3DB32813DDD5B341AF9A6601281ABA38
4A978B98483A63FCC458D0E3BCE6FD830E7E09B0DB987A6B63B74638FC9F21A5
8C68479E1A85225670D79CDDE5AC0B77F5A994CA700B5F0FF1F97FC63EFDE023
8135F04A9D20C31998B12AE06676C362141AAAA395CDEF0A49E0141D335965F2
FB4198499799CECCC8AA5D255264784CD30A3E8295888EFBC2060ADDD7BAC45A
EEEECDFF7A47A88E69D84C9E572616C1AC69A34B5F0D0DE8EE4EDF9F4ADE0387
680924D8D5B73EF04EAD7F45977CA8AD73D4DD45DE1966A3B8251C0386164C35
5880DD2609C80E96D1AB861C9259748E98F6711D4E241A269ED51FF328344664
3AF9F18DCE671611DB2F5D3EA77EE734D2BED623F973E6840B8DAD1E2C3C2666
DD4DD1C1CF9DB1FD1568F84892C602408AFD8174118B9E1476C880193A1E332C
DEB81FA1F4C64D240C929C16D8516C4470EE50795719FA0A3BCA33A6F427B59A
A24BF1A2AE1CCC869AC90F3B25A2718F821C4A0969E30E899891212ABB5B17D2
2760A1041FD13462BE5E0FA2C711F045E90A6371B9C9025F7B26C05D4FC8BF68
9316D0D0B6AC3EF95246D0D89FDFFDA1CF32EA6ABFFFD9CC1846B899F84ABADD
2F259FCD3B2CB623D2DE602A812F94E98423DFAA48A3A4C3BE5A31C13D7DC2CA
5C51DAB16D09C77417EC161DB6665AA975F535AC3ED0D3B2A5C19602E5FD9D87
6BF3A202D8F9C95BA18B95E7D53DCBEBA2B2750F9562163602DD6E8955EAF300
4476D27FECBADDEF681E3E57664681CC7B8ED53F7251ACCDD7398588C8868773
DED6D252BF748DACDC141B0ECAE13512A7D95E58146CA68A161836549DCDEFD3
72FC900E907194E634A84FE49DADCDCFAE796215EC46A6CFE5F4DC5CA1D5AED1
3211A833BA13440974E86A73A1521DFC4217198E4FD86CCC9F03519316ABBBE6
7A92CE75E20B649630DF0BC37331D0D9A8C25A5A1C35E10C3EB901EDB389D4E8
DE097A4D8F1205F13DD3A6C102EEF7DF2DF96CF42744FBA1C9F61140EB44D623
A39E84DD17D9C3C2CDB72AC6B72039C0A616F657C5ADA4B991ED610D389F63CA
B1BD3C54C708BF01606E811E6606EC8B929D65801E343969C9274AA341B8B2BC
05DDA4C86F6925B3D59789C6800DD145197789C6EC18910B4784B1D9C1DD0590
38EDE27876BFD72836B22715
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMBSY10
%!PS-AdobeFont-1.1: CMBSY10 1.00
%%CreationDate: 1992 Jul 23 21:21:18
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.00) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMBSY10) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Bold) readonly def
/ItalicAngle -14.035 def
/isFixedPitch false def
end readonly def
/FontName /CMBSY10 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 1 /periodcentered put
dup 2 /multiply put
dup 33 /arrowright put
dup 41 /arrowdblright put
dup 48 /prime put
dup 50 /element put
dup 54 /negationslash put
dup 56 /universal put
dup 57 /existential put
dup 94 /logicaland put
readonly def
/FontBBox{-27 -940 1332 825}readonly def
currentdict end
currentfile eexec
D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891
016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171
9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F
D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758
469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8
2BDBF16FBC7512FAA308A093FE5CF17EFB0FFE6C69FEBA8389DCC1923D30683D
A8CD93F7195D5A07BA2F18CB3FD5FFEDA4D83BF758062134D84AC0100187A6CD
1F80F5DC15B47D73F69655445AD218A8AD78C16EF96F385C9E2D46F8A330C7B5
A859EB0610C78FC5CE39715A1C5458D30498C0A339504A74C7E8F84B3DEC1516
B3ABAA0A06DEDCD5F9FEAA5AC4AE8D5A5BA5EC0B64784454F58049E13467D705
8F13A22BDED5F93EDDCAB7A1886A5168D25B120F8BBCC23546BC7398D4E3EC17
138921404C390EB84C3CC243C0FF3DEC9EBFFF3DEA73365F1E4BC2F3AB911B2F
780946F4F6F49935A54EF955D9894FEB37239C896CF98240162F6A6E9677EA24
06BEE1F04463C033047F7F972C560213C7A02BFEE5AE5AE5BF72377CED942A6D
8059E59CF03CD6782BD34BC02AA4FD1BA25A5CBE32569D7FED28EFB4C0F5F7C8
6DADC1A047CB514E19B36A84D4DB390FFE5B841C390666FE27C712E23E22FC84
A8670626E8B72700B9EE9F06F2121264C1CF69FEEC3E20897D0D9057032830FE
A18A4BA2AD5CE10EE4FED4BB9E2A9C06965779827D7CBA93926793A7161454E3
C5AC6A3AAEB75EC64556142508DE6E37B71058F8B97C1A9B4CEBF74FBD2D6D84
F5DAA2B04AD30B313070B33789935E83DB470FAB8EC65165679F247964BD0C20
78291B6E13C29E8B86429C1B90C396729D6BDE4CCF24BE000390D798DA73BBEC
AC5C9B1AC19B2C660CF1CDEC05289F6CAEF0E43465E3627DE26670BAA825429B
4B8FE57928267D5EBE38C5BF93F90304EB89DE120F81362FB5A3D374AB25B33C
D03A8E9E176E41C964625E58A65EA958EF2B089933C06B71E29249A96D5A2395
DE687A0C60B837B565787419C6C5280FDC65746752C0F6A52F35EA7B0B0A0D21
2EF0AA60022800BE9EAE7D55B6C81DCA45EFB856B22E06F759443B7BF0A9B338
9B638F1CFCAEA14A080E895C86EC34E516C4F89053EC9E4D2FCEFFABCC6CE7C8
8A7DBF91B7406864A975B0ED33CBAF717A4ADF23B3655D2AE48C4BE5AC89250B
7AB8D8B679A649A2EE85C063102909BA32B4AD9A67F75C769FAEB08FDC0BAAE4
FC4845C609EE9B72EAFA494FC1447FB6867E982F2F36D9AE1E811583E00937F3
10DE20D47F6B33925B338045BCD89B4664504E93FF5CEBB7E38F2800140B00E0
795A04C94DC4E795AC6D2A41425FD500519A736FD801C03AAD09526292840928
50A74581F628C53D1D52198EED9B6A0FE8482F9C223C68036C1029E2CDAB7E50
4A55B4DE3608CB4E09D10A00CB3B440FB828B70A22B8D04283246413C98D654A
943331C29AD72C1003A17F2E9E31779BA9FCA31C7F6D384ACFE514F42F94BBA5
244E9760AAAF36086B1FF9F6B7FC74D456FAA15FF320E4237F3209042F235235
7E06EF9210ECEB86D3C19CC9B73E8456DB19669BB890309F6B8148D2289B74B1
FE694B57FD48F0090B9AD74100B3381438EA3581766795A17FCC6A66518BA5C6
4DFD24E789FA05BDFD841CB45E6700658F14D97DDF9A694277994AB01F810BF5
F1B508C5812019EC1148F6F8821671B72149EF0DBCC631DF6E91AB5A817935CC
4F972B792C18CF14146A3966E4F600212C3814FA128FF30F20B1B1F485B7575E
AEC025401FE20B169A27F0122CBE793030DBBC742304C7FD283C7BAE09951DE3
98C7C5709C1F0E3A3886BCBA34BCE5C258F3192874E07BF19B317651B32BD39F
9003DD1EC991637E6E908CF2C1238B24CEC3A08844DE24E091A4D24E6CAE9E16
25E3FAB3BEE99A9DBF675B412B4667788E7092634092414719A257FD3B3E708D
9514D0E6604BD56F17C4FDFBA1B0C7277491C2BEA18E67BE9432CE4E498A9893
E062E4A84994B596B90BE2603FA4656CA26A3658E343B69E63FABAAC60D75B94
46843F9ED68E7E43741A610CEDE1850D6FAD7B7554F3725FBB3D47419C14B18B
1A6B005C76F125D959C6ABA8CFA8CE1B6E9A58775F0103AFED8D1A62D3E26963
E08A226FD7BBC2B6536972A14F445266B8F44E0614059A1376879BD402E9C790
7391CB883F76BF29C3F91C82F6586B020964CC24287D69816E9CF68B4F5EFDBD
CEFF02739393A47FA629C162EA9D1485AECEBB4F131EB1DF781039FAC5EA011B
956B24A925A86F88EF4AB840B78869E038A7FAB3EB926376080C5385501AB5D6
5E53B6D3B38AE272938E449E0B44CF198BF8BA19F8A17BD49F10A49D7EB9CBC1
3B91FDDE2FA748C839FB1A1DD747C95ED0FCFBA277F131B86FE7398E58512BAB
581C726D8EC8F97AEDCFA378B0D3BCBCAFDA90E76F18502FFBBCD969A60CB37E
DE352F364D80BE0F29987C0261FBDECC151AB1170AEEA1EDFCEF82AE49E4A80A
A4D0C80F1F34F3030981F90FB779B50B7820AFBF19A2AC72490CDC26BFA4BF7F
BF3065CF271B59F47FE7C113CC8264071B10C0E3D3D4D451DC4BA0687930B8A5
41F78B18A050C70E1F31407C3943AC61EE23D4D990AE5705B6DAD8BA3B1C78E8
DB69D0E064829E54C0E361F9369A56AE3BBE9C70E62F08E93EE3021BC24D17F6
791F50ADC5FDFF2326B44662647D46473C94775F443A459B091EBF2DD1905E9C
1E2FCB35D726C43B6639D147D4F7C82FC85AF0E846F35E8E6386D07B8AB01A40
C52F7891457B1134CD958229D2067A1ED01F2F01DF9D1D69A521DBBF551134DE
700C82A63B60C7F5608F30DA55B9084C1FF5B08EE7F01E2849E5F0730204A926
163F67BF99BED24AE6ECB1477C056294E79F857732FB6EB428D93CC67984BB2B
F2740D197D7BF02C04F892F358DFD20B14D8AC8BC0D2609F61BE31935A8D448C
DBD1696DD5647D4C9BA29E077802D735ACB81800B2F0E50EE4A447AEA0B247AC
F2450FE5726502C0CDE496
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMMIB10
%!PS-AdobeFont-1.1: CMMIB10 1.100
%%CreationDate: 1996 Jul 23 07:54:00
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.100) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMMIB10) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Bold) readonly def
/ItalicAngle -14.04 def
/isFixedPitch false def
end readonly def
/FontName /CMMIB10 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 11 /alpha put
dup 19 /iota put
dup 21 /lambda put
dup 25 /pi put
dup 58 /period put
dup 59 /comma put
dup 65 /A put
dup 76 /L put
dup 77 /M put
dup 80 /P put
dup 82 /R put
dup 86 /V put
dup 97 /a put
dup 101 /e put
dup 102 /f put
dup 103 /g put
dup 104 /h put
dup 108 /l put
dup 109 /m put
dup 110 /n put
dup 112 /p put
dup 114 /r put
dup 115 /s put
dup 116 /t put
dup 118 /v put
dup 120 /x put
readonly def
/FontBBox{-15 -250 1216 750}readonly def
currentdict end
currentfile eexec
D9D66F633B846A97B686A97E45A3D0AA0529731C99A784CCBE85B4993B2EEBDE
3B12D472B7CF54651EF21185116A69AB1096ED4BAD2F646635E019B6417CC77B
532F85D811C70D1429A19A5307EF63EB5C5E02C89FC6C20F6D9D89E7D91FE470
B72BEFDA23F5DF76BE05AF4CE93137A219ED8A04A9D7D6FDF37E6B7FCDE0D90B
986423E5960A5D9FBB4C956556E8DF90CBFAEC476FA36FD9A5C8175C9AF513FE
D919C2DDD26BDC0D99398B9F4D004B836D34E88C25F6CE738846C8E2E59A2BCF
4ACF80A26D78872E9343A0537BC3BD7715F32ACD958D5AAED865BFE129278935
063A31C2634DE2F9077E0AAAAEB224466B779096D8E3FF0A12AD5157F6603DED
1A82F3511359143311179080C510740B401C930C96270FD1AB3ECBCFEF5DE53F
E846BAAE95828D5790922640EF8AB9D7CEBE7669FEA02B72F86872D3D8754A18
A1629C40A7C00C956F140BC63362478279C36EE353638CD3E249897207A94504
4400668C8E702058EBF7284C9BDF830A3FC79C7EE900CC4C3664F9767A237275
CEE3671644A75F1E696DA906B4C66870DBE87F5B4A176920C078ADBE24F55C09
3D18CDE21B5FBC1C6A8AB18E05EDBEF9D1C1C18B3E6377BA2A688579D4F708F9
A5CF4F56C5E39E2726106E9713E638775E606464CD674E5DC25CE9A696A65806
C8E9D206B421E246F18013ACC6C7B2985BA93B1B7D7745CCB25B09957F50128C
B523A55ACA6A7A2A0193A536E590291ED9D577B527CAD0372E05BFCA1829FED1
662D06144A5FFA628C587A4FA05B179F1A7E3B23B47765FDC054271A0DBF9C2B
B4F4771F80D1F7AAD9024868C30DAD5CF728DB2A71D86D53B0E674996E8C01F7
EF97B225A28872F8AD4752A466E078C2B020EB832F237CB9B5618112AB541612
CA7A7AB68702A1FAFD456F77841614D7D51C0D4716F8BF44013E8F0B29F0E926
A1042B12AC17D9CB44A6DD0B0028F2C3D976E2294E5271224CC19B6D416731B5
413AF1C2E09CA2BAA5667FB40F78AE62F1E2097512B9E35E4E061EE872195CAB
71DB809A152552F2DC1A7A2C8F4DFD4FED243AE36576580CCA8339AB7113EC57
3B375CF75950D07E36EB7B60ADDC35CBF9E0504AEB72440D0EC093D03CD4C06C
9294B8CCA4D5CCF78C4BB89E2416895BAD6FFEC243BE3D4E2AF84483AFFB6EE6
1131B2B412D9366BC77567959EC3CAA638A2D4A9EC6CD7FAAEBE7ABC19FCDB69
4964F5504C078B456B0060E6D6D7A6DCB951ACAA12600E3924B4661BFA12A8C6
1AA97D704E4D5A443A34BDC47EF1B698A03AC62A880FA77809AD42E199666001
07AA626D8ADAB32E6011E0D252B1271E5202F78BCB5C173F7C27D64BBDC4AFEF
555B32DE16C600A6D06E7951B39080B81F45CD3BD26B90E1C6496D8C5B142F99
80AF6076D00CDB2755CFBD39EBDA17F56A665CCA0517949F89046020E42DF126
3291422F6E6BA9609D79F86D1EBA77A817562DFC02985F63A01F4531B43D658A
AA3F6E5A2F4925C3AE4393AEC8AAC2BCAD2E1E14B32FBFFF7F49EDB272F996A3
8503FEA1E9598E7885D2DA30D1E676B567EC1EE68BF9AE4AE2F8C152204A2A63
1A0EF2F3A7221FA95EEDDCD826C84748A009FE24E8A4FEF2E39D15C7B27B2F0D
E189E14655CD7A6AC33BBF54734B9981E54096AF63A4D1DA74E83DF5B5F175C4
F87A21EF6FB704A0194D0DB5ECC710402E76F878233DEC20D5967D3C55A33521
C1BF1EFAEFCF2568FC6F7379CA6390FE849F8FCAD0D4A6717C337582FEF00A9D
CE9E06D1C541B3E8FDBF001927F0931342724674888BF9482715E40714642328
1C7C584915F96FC9332A377C7E1017FA97E9A3BD47235E8A09399C12678DF5F2
81FC1DB15853A4FE494A9A26DEB93F3C5F8FF5B5F9E36B7D1604B68D6BC92F56
7AD66013AEEC0237074CBD8FA59FA3E5C33CF5FDCE4500F0B9815A8B72FFDC47
49DCFCAC18FA60C6C8A04BA9600DEFABFEF2980639C745770D2AD56E20853DD9
709735C3686337FC0DFF4DB6A5BEADE56DCDCB7AC33B58A67AFF5EF27D6E96D6
583ADF1204052F703623A1447C9CA7201F63B26661C5A524CB1BDCADA4E408B0
A4C7F4C83A93E518E835279E24E0A3FAF951E121D629F96714FBCDF4E40B2691
D391CC5E7006DB56E08B57A1A8D0FE3D5581B582A2624C319E3D258FDA3DA06A
A455FD7E01D30B35D0BCE980E485F5064C7C52E49CFED119D12F1BAEA830CE96
281C870E9C3B7531F11BD815F2C1CB59DCA6CEF2D126DB63C18E29281EA4EB84
D351DD0A0451F9507DEAB1A69A15B479FFBC5143B104DB5B04C56B93E63E89A6
05FC913098A76FAE8CEC738A06FA01388DE5F2FD5023E83BE17D146EEF3F5760
3A5927D29607D40FA401D276E26BE4E3BB194D8EF0A4C20B6B1445C9D9D8D579
E6B6A25C0625901C71CA3F1DE5663017F889315E8A1EFF914371A9A935DDA8C8
CE0AAFE46176A5BB449B4494C13560160E290712E93A8B839551B2431090706C
57E189FABDCFFBD28E1A22081E9A2673BA522FC2EAC69290EC3E99C2CFD93DD0
2C313A4AA8597929CB5D245B257ECD155DF218743C6EF66E6CAE9140419D0BD0
F5B439F4DD8F7889F5086D73DF41838372CEDEA97F3464AFDC4F6F8254A3BF3B
C02BF1D16B73ABE82D841ADDD7BBC53E397088058F587EA2F8AF6D9B55BBDAF1
A70A1563A96E8021A8C3E520E68B86FE1F4E5991C73B3A044E8AAEAB39117835
D95977154DD913BAB77F72E0A7F888C1127358D7C3D088B7AE34ED60C842B5CD
3358622C36B33A25CEA1AA95A82E9E38532155CA5CE959098309F97880DD1EEF
8A0F38031FF1F4A0A13383B3444E38F745AA94D9B7B1EBCB848E93B8F12F38C6
890D38C63A52DC6F63072B2C3C6286FE7DA852F89E00EB72B164307752DF1E9D
5704B8072337B3F6E410FD51983C16825B3E129A3EA748FDA4E7E1D740A13525
1952EDEA7CBD96648358E3B8B22632580041FC5CE94586CB9FADC8F1978492A0
85701008D43186A905CD6DF4CE07D32B89FACCD5E62AF3F41083A30C956325E8
A50190898740E1D18EF033217164434A112A374577553394BE5E4EE553896ECB
33AFC5598FA8A01A63EC7106B6F8FCD50E74A42FAF09E6D73394E28F7EEBCE95
22CA45A7570F44C3A875226492388E09D45EAA18686E6D026FDC11ABF8BB045B
50B5AD7DD857967D920FF4352AA97F4AACBC7E91ACED0DC6E5FED646B9750B1A
5F198B18B2512D673B01A20C8B377DA18BF2EB3181A132C3FBC06F43D1A1436C
B360157178F6445BAE1D792E33BB9F4D9C498348DE664F9BBE3577896F710152
D7A8E0099E490EFD6D7126C75E179BF06F1B222A75B269AE753C48AC4A2AC121
CB62C56E961DF2AF960AF29B74E47A1C958A772BFEB1EE390AA36317FA3ADCD7
8D6748133F3F4611EDE552D749B0DC4125905A516981D24831C3111853B0F34C
06099C787A66C480259DBBB5786E69FF015B35914A13D79D5A14E0452F1ED925
34DBE44FA9910632569C82C97E750BE70CAE01B1966641A2C7CD0F497076FD84
92D06F01E119326A455CC5404F1104D1689389BE66AA23626A076D542D8C7AFC
3096601A53F95072F5AE06600F19072B3E6650BAC6BCE4AA4F126F4532D4E050
C031F111358DEE0396CF3720BC7D4B2A108BC938E5F89559DEC0A4D7DC14A30F
E7F415BF2692BF2986B9F2A8CB44180421081D84966AA654AA4141DD634D61C4
58B2675649B91B1B65B9CA0D5328117359FEC82ED25AAE18D68754572F99DB79
60E0CAEE4CE03BA4F18BD909A74E22A9C75110D797BEAA61DAA0A8C432B23F98
2DA7603E7713FCAA0446947D11198C9C77430EAA6E451546AA14B7A7EE7014B1
5B2C924EB72DCE7791A0EE7A38756E2182D48913E1FDD52F3C0E79401DEAA1BD
98DB1406BB3D376F4386E40DF9EB85144A71E57F7D9D5A75DF2BB15551E58342
C82A3C28C93ADEACBAE229F8004D00AA6476E1D6B16775AD292A4DD72728ADDD
0ABADE343A3FB54B520AE9EE4A227C23B177EB5B0A4B1EB1586839CEC2216C04
EEBFE05703D28AB4DF630EB6C4ABA720A1575701B93A554D88475F50A779CAA1
D09F362A53F400603250F028126E29C41AC827D4FBD3A2C6BB8851F6C9965280
873E29E9C50AF1431FB6E6D6F077E35742ABB790642C2BBB8F6D0060949B3736
D2F1B5C7333C77850D5A391A24FA69FDA8AF0072ADDCF5DC8FFFFBA754843A64
CE0C32B1823848E55EB696E0E341A92906FDE9C06D055BE8FB9FCA0F237325E6
1F64C273A88BE579927C521B03BCC65E64BD599B5A5A0EF3877F59709FBC62F8
7FC8DD97B7253C026E9595C0016E5B387ACD9DBCA0AE5105741D2D419005E3BE
81870508C110114ACCFF4E955E62BFE0364D07EA11CA4BF5BFC752E6EA6B1C1E
A94228893A681314070192E951BD1950323B8E64FEC4993984D440B48B03758D
87C6103376E207518A7A53B39AED5B52C7407E4587A877A94F845D5F250805B0
7535D69E732B1BEC650C46590B33D3F91BF289A5AD39FADDAA546ECB69BCEDA8
E604D21553637028763743896FA76C420394FA81D190F122F03EAF6E8F938EE1
5CC523488C6C155C0C1FC46F0E4E93C65676C511BCD4B481B71089D08EC05F2B
4FC0820D24BA97593E4CA4E6DBCB6A89E9807B00DDB4288DA18A4EAA1B024020
8947C03C5E23534D113BDE557D40FCF512DF34C6D6EA1C61FCF40E54DC572F71
AB841AD403F2BBDD1588F83646B46B96EB0B8569642930A9DCFEACD93021DA7C
B17FED20E9C671BB508E8499F847612AC864003A99E5EBC8C6EC66A312D00216
124B186BCF51122C2313385CDE0F627A4E579C16AA0012C509716E11B504E768
1FA2E9E8EBA5848F762944DE1A317B2715DA403BC8989EC167DE0D479E156B37
08D2A68F9C5DFEE7187D6C2F277A9C262F67C4A7C1AF3EB4B1620974DF4A552C
FBC3FD72D6B03F22152C47AD6725FCAC28A6C17F4ED188001371DF5B1816BDB7
3699B196E51C92CB168FAF6F42B91EFFA62C3061E540CEC8DF9706CDA6CD582A
3C2B59ECBFD074017C56152EB1C5FEC740531A6C1D704273818AD236F93F53F5
ED32065CA9DB977F6B56B6CF2D771F9E4252BC5D05B7D1C17A518F46C6501D69
F47F907CC1019723ADB0345C6A5D501FE1D98A0033411D8A87FF7653879E1B78
94864614AC69626C2836FD0D2B194E926944B77E9F4A516C150637AAAFEA5CFF
4D1BAC7D0073F8CEB71D7925195A5BEBE27B3FBDE1EB0FEBCDDBA1C1E61DF0E1
AB5D639BF2F40FAAE1F6571790AD7025791DD9EE6C9868D62ABC685312B76D15
03C6097FB801FB9B9BF18FB160CA1B5D679099DFB99367CA97410B36DC7A97A8
8D57C978BC21D8E06138C57BE92A51BF6458592E01648D7F2382BCB54B7B930A
1ED6482C457DBB710417F5B00A725D9265023D279BE06AE6CFB8BA14ACE1AD61
695F6706D0EF18111AA76601FC30AE4BD63D42CCCDAD763944EE52D4C0C87D0F
4E331645C3D4A539C9CF8D600D84109BBDC1B1035F04B7B5E567DB4523C5FBE4
4B0C0562540B8ED27C8BCA31F518077EC6DBA45D315752FB535648A0056B8661
54C5187856963643447D18C8EB5769B6D9C64CB5763405057EE8FAF6E55571CB
18D8251925F5D80722AA1A7F3C6FA4E4E93B856B742E2030BE9D2AC5D962A74B
DFE832A0099A7C5323D6C524B4D5DED8CFBD9147A7B813E122D755692DB62266
BC2555CCF93C02CBBA64F4B126BE2FE174C4365B9AEC81F68A7BB380F2AACF4E
04C0B0159F9B55A337D43846A5B83B9A8C5F828E2C14FE4C007AE3EBDA067604
4B6B9DF5EDC88C2F743B393E5251A28FEB1794CDAB7D8E50F69A022EDC3D2DD8
862C87299CD63358F3043A1601438C375475848E179F136E37C515AD1EF52F09
88CC5F6CB2CDB597BB8F2F78A3FA422F7B3909E1CDBB0FB2006B9C0F7C8B615E
7FC2824E83F9AECAACC8D756A8AB7EF31A0E4E9140954A315EF7819200C1BF91
350E7E25B2C892FBF5D037A8ADA19E3DF387F141BDB61832CE17B20ACE0D6494
363B217B8D1F58271B19A9725A2541E68708C2ED1CB614180B9D676002053AF1
203EBD338B9DC45FD9203D1BADC0F6AFA61FB373FAB360E4BB4F3C7DA1AAE2F8
277C34F5D59105582048F73EBDBF8DF61B9C3353922D5EE08EF538D9C7DCD1AB
9959EF88CE3B148B2766F9DE0D53C69E6888DC3FC77CC88A0BC5C2933FABC233
BD3859EAC0185436B3CB9FAB409866313C3F62B33C69872BD86B9C2DC5E55672
127A4EB6AB4B6ED40150186527622257BE23DAAF54412F2AAF03A3C0CBD6C713
C58CD823556546373A6C912DF6075E4078EE0594DCE4584173F944D00DCE00F0
A33D288C6E27442611A5E01786E28AE67B05257BE05C6BF0C773B2E22F34B56D
502108F79209CD073AA50513C2B32F783B7A5632C44D295817C5C7A2DF62CD20
A098C55A06DD654631918D4F80230C5C4E6EA1489B1B02A1F24E814B31657590
EA3032B68AEE1B4A4EA951161383F1229055753E321945486EDDE26C9329B1A7
71750ABE23CFC8B48EA8E45E300AE7DB30470798AE0161568F41071539CA753B
61245D37838C97EB7E46645AD38103F3F24B998849E95D9550607C1D4F9600B3
753FA629A3F6A24AD29CF6D00795D24EE6D1F8453926E03177853725A48D0A23
69DC4FDFF8B1E934B32490BA5DAFF1A0C5467DFF0DB6725CA7F5B3614659BDF4
8001AB833F083C1BC79EE82FFFFD98AA8AF8D817A72CB479C1E3D296FEBAAABB
5C26E1DE6F4A7436EA99250EF0A1ABA4B37A2137D77ED22DC22088AB32B58578
8F665C34ADBEBE7A9CB18194BF43DD031A9A0D4A72F0E543C4B0401A4C66C33B
3C0711AF1A2C9F28D4C8942B36FCF5333165CCFA24094674806930C5CA325B90
A7AF54821979830F428FD4CEDFB07306EA8CF3B1722775BDCDE2196A82E54417
9F864C0E71E984C58D871174CB923F72671DB17BB2649C343B1FC67684B11D0A
68093D5F89A19D3B66B3D6E8CE30A5B088B882C63BFCB667C0E5E606D9F6DF19
367B7CE64D15C5988833A85EA91D52A7B78EAD068DDB20A4E3D0A41309742020
6B878562DFCA760A12B0E216B19EC4596C5B24C3B3823909BC9E5FED1AAD102D
77A249ED09AC808E6AB4D90BB224C7B856B8399B114A8AE87ADA429808282CFA
6D2B4F32A8B36711E51E85E44A9835785C9EEF84007E03B52E72D94C2081BD3F
785D7366F51FB3B6C6240BFEC31344E335096599F26C9D5F554D8A53862D4A47
BE1E4266AA7C083ADDFF85DD7A7EFAE666F936EFFB828AF003F4DBE2D5A47CCB
7BA975A77ACFC36DBB73AACD2789D92D33F7FA836871414D487094F7C7894C66
7D2E405CECA00F78999AF3D66CAEEFA5DC43630DED7FAC8D8D49443F25F5CFD3
DF645AC02948F693223E749ABF9E139E031545C8CC13C268D1BBF848CB2F5889
AA3DF72407FF03BB3D69E8C4F1A1A9D4B74E6CCAEC6D7781223825CE4C0FFE06
360ABAF7006AEE49AC36CBFD6C7C27A1C48390CFACAAEB9DA02588C31C32D5B7
B9D3C355C68A8036C895D478B0487BF0823B750A95E402128D5A63FB7E4BD352
508B9111A82BDBCF4E1463C4F122DEC651D61BA185037D37A5A2A796ACD8C65E
37F57502C06C79F759858AC09E2F86B5A7D4C4B77EABFF96448FAAAFF284CAAA
E30A80C96A846DD739FEE78BB39ADBE3A904ACDBA023B6050F4B169BA3EA8EC4
B5639BB9219FE86F8A7852A29180757162132D418476978EE11CFE730BC0F4EE
258B354F59681352F49179E0D8C5812B3FAC2BB9478CFEDC5CF998C04FEF2BFB
F3B8220F51DD9DFA7D7CC08539FBC007F9AC8624CC6CE2DDA82A05073913E553
3D1EB214C65E04E9C3E36EEE4A66D81673CE19872B89AED6195544146701FBB3
F0BCF33AD6DF73615A8C5B2B758CA5243A72CE481A61ABAE1DBC9D47C0FABD66
A20BEF0C6C42EEF45266FFF4A3A24E4EDCEC17ABE73C3E974D86A04BC31B5C44
52BA6FC41F8A9F173EE345948A5FB88333BF0A3198E268BE9250E088FD67F1F9
A64EA6AF7E02B4E97FB56D80C4A14C7D30CB2295A188ADE8A4657B1082302EB8
7C37027F3B971EEACB37FD76B855A0BDDC09D88496143FAF9066562CB57412C2
6C606572399FE480214715E4C21845D86850F1FF3CACCCC8BC194B56D8B47DFC
204A8C220C38A3CBD6FCD6912A2E985944E847C6393F8107DD4B93987745505A
7E04D2F87C02EA33E8F089DA166A45A18BE497C19567854A48FD1A15A978EDF7
5BB42AA8ED19874B2F7FC79E4086F755E1A13F3DF724AD6D89B8D5A5F67FBB2F
401C5AC0889725F43C57049D9AF40B9607C32B77CD8F8A3D03E60B6535A21C07
C858C6140633CD3A001AC489DFAE5821394E0405F82608B44FD593734B5827C6
2F5202A56B741B1D75DFCFF75EDA354466E91B219F35A1922FA4D33F748DEC66
A97871F380E6AF5FB3C80C6B68F7FAADFB2AC76A5B19EDB808BD56B04DB46DAE
7F45FEBDD996CE9E7CA72B1A29872E7EECEE5EA0400C09222B7551C857540B81
95B16195FB1F91DC692C67A6BDAA86A685CC103F80926FC06001A6AD39BA4E1D
4026E75B808FFC507C7DB6F6C6C526E1842936ED4293B04F235AB4C01CD30271
ED324E562DA64905E94ECA2F2928DDF85565335500FC1F3274378B5A7DE5CC5C
F9056B39C14EB3619E3B5897C8042A8086E8600DA39BED19CEFAAE40C58B6A24
B5A3BC3FA2DB8D170BA234F0
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMBX10
%!PS-AdobeFont-1.1: CMBX10 1.00B
%%CreationDate: 1992 Feb 19 19:54:06
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.00B) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMBX10) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Bold) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
end readonly def
/FontName /CMBX10 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 49 /one put
dup 50 /two put
readonly def
/FontBBox{-301 -250 1164 946}readonly def
currentdict end
currentfile eexec
D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891
016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171
9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F
D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758
469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8
2BDBF16FBC7512FAA308A093FE5F00F963068B8B731A88D7740B0DDAED1B3F82
7DB9DFB4372D3935C286E39EE7AC9FB6A9B5CE4D2FAE1BC0E55AE02BFC464378
77B9F65C23E3BAB41EFAE344DDC9AB1B3CCBC0618290D83DC756F9D5BEFECB18
2DB0E39997F264D408BD076F65A50E7E94C9C88D849AB2E92005CFA316ACCD91
FF524AAD7262B10351C50EBAD08FB4CD55D2E369F6E836C82C591606E1E5C73F
DE3FA3CAD272C67C6CBF43B66FE4B8677DAFEEA19288428D07FEB1F4001BAA68
7AAD6DDBE432714E799CFA49D8A1A128F32E8B280524BC8041F1E64ECE4053C4
9F0AEC699A75B827002E9F95826DB3F643338F858011008E338A899020962176
CF66A62E3AEF046D91C88C87DEB03CE6CCDF4FB651990F0E86D17409F121773D
6877DF0085DFB269A3C07AA6660419BD0F0EF3C53DA2318BA1860AB34E28BAC6
E82DDB1C43E5203AC9DF9277098F2E42C0F7BD03C6D90B629DE97730245B8E8E
8903B9225098079C55A37E4E59AE2A9E36B6349FA2C09BB1F5F4433E4EEFC75E
3F9830EB085E7E6FBE2666AC5A398C2DF228062ACF9FCA5656390A15837C4A99
EC3740D873CFEF2E248B44CA134693A782594DD0692B4DBF1F16C4CDECA692C4
0E44FDBEF704101118BC53575BF22731E7F7717934AD715AC33B5D3679B784C9
4046E6CD3C0AD80ED1F65626B14E33CFDA6EB2825DC444FA620E40822E15C2AB
8BF88EF4FF68D9C81564F0AC5495C426E3ED091CF4AEAD7696C3B00A0D6FB6CE
60547AD516EC9CC7B904D6617F81D2AC5086C30E40057B3C8854C4893D3B1D82
2D61C4414046FFBFDCD7AD22EE19016B50905C92287F9946F2DBA4CB1B18E118
FD01CB5EB39E77C77A4BE276258F7EF35269272729704F2A26BDE6159D0570E8
665CC6C2582807B75C4D1EB2BA83D2A6840E8E9F14C80C79B985F51DD166E4F3
2DA88C7E38EE325B8D134A2C9694C64ACEB6033AD6EB6D10BA76AE0BE567B30C
CB62E49A5436B0921B9BF1E24C400823ED4AA5144221E3E8B498433E2F28399C
705D3D9A988C4A363E868CFE55A56696D005274224366F70081F99A5FB3F2514
456D1EDE546A1340FEC3E14303A89843CDC6DCC0829725693DA0BD191E8B95BB
BDEF9B671AE30B197B890178D89665A0C0CC90BF5BA7CD345E9F6ED4D0989B32
BB9E9FA107609833337DDCE05154803D9F39B788155EC34E4A4C252D3430EC8A
F0C5D6D3AB6D65B2CB9BD42A6B7CF7CD8A1156BBFE2115BA3FB329D309D03902
98FFCFE14B907BBB85F87910ABB095A50C704E9A50D3D203BDDB4D483303A577
80E3565F8BA025D8DD6A7DB3ABD5939D5422628C7CC60696EF29A6C599976F78
3936601AE3E947FF36269D6BD9D39D111A2A90E6AC724C4357F7AAC599BE80F5
AB11CEBB59906C060A1B10096BCC104283D13B7B8F06C2867B79E913E8D3BF88
0183D6853BE556E2DE80F1ABC20174295CCDCA
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMBX12
%!PS-AdobeFont-1.1: CMBX12 1.0
%%CreationDate: 1991 Aug 20 16:34:54
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.0) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMBX12) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Bold) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
end readonly def
/FontName /CMBX12 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 3 /Lambda put
dup 33 /exclam put
dup 35 /numbersign put
dup 40 /parenleft put
dup 41 /parenright put
dup 58 /colon put
dup 61 /equal put
dup 91 /bracketleft put
dup 93 /bracketright put
readonly def
/FontBBox{-53 -251 1139 750}readonly def
currentdict end
currentfile eexec
D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891
016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171
9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F
D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758
469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8
2BDBF16FBC7512FAA308A093FE5F0364CD5660F74BEE96790DE35AFA90CCF712
B1805DA88AE375A04D99598EADFC625BDC1F9C315B6CF28C9BD427F32C745C99
AEBE70DAAED49EA45AF94F081934AA47894A370D698ABABDA4215500B190AF26
7FCFB7DDA2BC68605A4EF61ECCA3D61C684B47FFB5887A3BEDE0B4D30E8EBABF
20980C23312618EB0EAF289B2924FF4A334B85D98FD68545FDADB47F991E7390
B10EE86A46A5AF8866C010225024D5E5862D49DEB5D8ECCB95D94283C50A363D
68A49071445610F03CE3600945118A6BC0B3AA4593104E727261C68C4A47F809
D77E4CF27B3681F6B6F3AC498E45361BF9E01FAF5527F5E3CC790D3084674B3E
26296F3E03321B5C555D2458578A89E72D3166A3C5D740B3ABB127CF420C316D
F957873DA04CF0DB25A73574A4DE2E4F2D5D4E8E0B430654CF7F341A1BDB3E26
77C194764EAD58C585F49EF10843FE020F9FDFD9008D660DE50B9BD7A2A87299
BC319E66D781101BB956E30643A19B93C8967E1AE4719F300BFE5866F0D6DA5E
C55E171A24D3B707EFA325D47F473764E99BC8B1108D815CF2ACADFA6C4663E8
30855D673CE98AB78F5F829F7FA226AB57F07B3E7D4E7CE30ED3B7EB0D3035C5
148DA8D9FA34483414FDA8E3DC9E6C479E3EEE9A11A0547FC9085FA4631AD19C
E936E0598E3197207FA7BB6E55CFD5EF72AEC12D9A9675241C7B00AD58FAF645
1297991B5D01701E82228D0313FC7C66B263BC79ACDDF9AAC48A3CBF42B96E38
583E1D059953076D68148DC8B6C9527B3A74CE7DEF788A11531F44120BDF0F61
0B2F3ED94EEBCDE4ACD23834C242AA4314B9EF98E4BE72DB76EBDD0A028CEA9D
B4C38C1F2D24B8FDE686832FE96204552C820E45B6BAF0C3308742AE2BF9AE2C
A13D143C634DF87763BDF50ED371516188E0D49CC0EF13EEBA599EC236634E6D
FA425D458FC503C92155A513A725EBB71BD67AED8F5294C9624061BF29DF9995
5C05DC0E2C6084332F589572394CA38C30D03DE3353CDE7B9E01E63D5FC8A8A8
4026BD85408CD1302C6CF5E900C4F66CD23F27EFAC3999742884EFB617946220
3874A3242CE48247ACFF7692391138888EC1541CB62AD1470D5F454423262F9C
67B57141260229634C8D0779B09E6D28F8A08A6BBB3C1809A895FA7FCDD6D9D3
AEC2F9610D57C98AA6CBCE38DCC3ABE61696892DB3B82AFD1E7D5405B583A914
A9494B61649571FA87D98E0BA694ADECAAF233FEFDDA7A7D870E4CBC5B805142
478D36644237D416BC726EF21149ED3882D2EBD2F16B19C797EE3180FA4549FC
B1C111BD7B2062ED78962C9B5A65E2F5D5F0762CAE88CAF6084D37B1609FE20C
314B22D4F7076E244C26813CF02608EFC562B48DA5FC617607A26A215342C68A
F9330CE739F6CE57CDC233D82EBE31FD528DA03A3A20535B51F0AD0740164641
F1035F6A226D2A3ED13A55EA609D92317153CC0B7978752C92DF2CCFCD2C9ED7
E755E9C163C5745795DE1B80E0B3B2EFD2A73B595C754C998CF1A7E359A3FB21
6780C041A0511EF30C2691A48DA6D834B5F783327965A67D04EABC3F5CCB3D35
723B4540628A3D214962CB1BDB2380D59B63E53E93702F673717F58567599635
56F435C70415F9A2F88BF8885A8A06C2B881F8283733E1D60E6F88356185A708
A52BAE0CB540634EF64DC8563F8C127965375352765FFFAED39E526DF44B5912
C08E4F2F687941BC25AC3C5F1B1088D6761E31543886EB642F7C1A563822327E
BCD850E524B55E628980E4370828310F881FA5750E29D1AE92506C8EB5670AE2
A3D2F0C1BB5A9531EB8A9E285B52D9A22E63A9CBD8CCE3FAF6FA67ADB3DC0452
91F305E1D9D2F06E4EC67A3597087C42E27E2418143D77414773C5DC560226EE
840773C3377F2384FDEC04878DB3FAB4210EDFD7EB7E8FB6CC36C4D04C674CAC
37A7CA6131D8179225E2F9B576EBDA0BB26BF6E17321550399F773D0C1B6D79E
5929478A656CEF2834CB5B84C4E273BC9ED3EA15304E0BA6D554BE6D86E6CB25
4FB94BDC351692CF0CCAA5CA93871C01D1FB2F4CB32183357C0EA33A45FEE6DE
6120D2261B43CC0B04510317C31A6B90A577EA1BFFA2564D62EC8DAA34F85E80
4FC5C814D8F2CB639F9BAA793548457568DEDEB1B109AD6D94CAE3618D7D6D7C
297707ED6CCC8CA0BEDFDA0587C3FF7506C5E0E038F2A87704850132114CF9EE
C7801720D06CDCA6A5C2E3326AE4348D55041319AC2F4B32F0FB2BFC277E5238
D7ECCDED4BB617D4C863D1848D6242F5F9D08A851A8A6D9E591CF58D94D0C4DD
F34A77562E4F283F8C5FEC2C0A4E7E736A160AE0D446C043103055FFAEE70483
80B3A1189BD1179E47395DAE96B54E85F4BF499AAC7351E1CCA24760A188FEC3
8974E4ABC5D1D42FC244E943E77DDFAB2FBB2BF16700248C63352C0768EF2C08
4D5497E841CE66421AF8445838A8D16F1EE1CF41172857F5A204B573FE2D5DCD
E22AFA2BAC6AC233E6D5DDCD5A8C7D24C375585EEE4BF63B2B858D2D2F3C402E
1D5E741453BDD9A10822891EACC7297FB2D94CB85F42A2C427BFF5A0A5673644
E6B8F7F9A6C11E3730C7275615F9F8196D8D622B3CBBAB2E7CEB4B56A40B8979
F06D722A5D3847C46A79877288C281CF1326389EA8094B04D1F1D7327F777539
7463E1B47A5B5C2E3F8EBA
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMBXTI10
%!PS-AdobeFont-1.1: CMBXTI10 1.0
%%CreationDate: 1991 Aug 18 17:46:30
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.0) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMBXTI10) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Bold) readonly def
/ItalicAngle -14.04 def
/isFixedPitch false def
end readonly def
/FontName /CMBXTI10 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 101 /e put
dup 102 /f put
dup 104 /h put
dup 114 /r put
dup 115 /s put
readonly def
/FontBBox{-29 -250 1274 754}readonly def
currentdict end
currentfile eexec
D9D66F633B846A97B686A97E45A3D0AA0529731C99A784CCBE85B4993B2EEBDE
3B12D472B7CF54651EF21185116A69AB1096ED4BAD2F646635E019B6417CC77B
532F85D811C70D1429A19A5307EF63EB5C5E02C89FC6C20F6D9D89E7D91FE470
B72BEFDA23F5DF76BE05AF4CE93137A219ED8A04A9D7D6FDF37E6B7FCDE0D90B
986423E5960A5D9FBB4C956556E8DF90CBFAEC476FA36FD9A5C8175C9AF513FE
D919C2DDD26BDC0D99398B9F4D004B836D34E88C20EEB527CE1124209388A2DF
E27A8DF298A2693A9D529916AA0B2176E6ED237F69D84A8FEEB36861D1847207
BE2BD61C6A412FFFEDFF13AFEC32AC7735BCCE5965F5966418A62ECB99112AB3
3BC938EC590FF6922659125EB67E260BF02885E49BA6019E696D33F0B53606A2
F515E0C45F323311613A94B838491BAB9FE230C5CC79D22925E3D882799F2707
C32975A494F0F9513E4D8332E7E54470D9721FBD345CDBB48286F2F19CC6D66E
BB631DD6476A509167A49CA525A72CA50E82C1D08C2B372DB54C5949C753B632
2009B761EB90492ACD3CBE6A35CE1B66F3BC4D8DC36827CE4261A703328451D1
879438479917C1647772999171DCCF1491A1C9086E0C6393506768F8757BD81D
141C46EB9BF507EEC29962A0072B6C5D8C8588F3D68886CD2606DD3BD2FECCEF
63245494E93EEA12AAFB06110E54ADC444C7E7619627A48A464394E5DE06EB46
4C76A2FF010318BBE48B3776C826A265C66515717F7F2E943C60EBAB23D96B5B
FD514A1C4E79BB3D3D2DEB936F90CD3FABF7B09FF7F564AB5CF4AF6A40E869FD
395885A88F4A138B3CA6943A2D430BBE43D91F7F17621CAF52FB7161DA3B2003
82244FB6EE792DCA1722C03392C296C029A2DCC5BAAB3EA03F8DEB039DC83AE1
763AAB84776A2CCFFAE9EAF0BFDAE417E8BE682D237FFEDAF224AC09C9665019
165CE32F5349E857177D94AD6396570932E1657ADE4D3FF57A3419946CCD210E
57E5A1D91CF708395942527D127606350924D71BC21C6F969288B1C8CA3404ED
E6219985F7301A20621368F74747EAD38990A4C9F2B62913B8FDB93657409FF5
178DAA785D1D07ABA0CF10D5EAA01DEC75A8E2AB707ED21E71272C1F0040DD37
3389EECFDE24AEF025551025DE9728EB84CE1069B26B2162BD62F543DD1327E1
6E763B55D6977E3769FB2D9CFFA39C34196DA1345F4E74E87D963E1BC55DEF94
7E1C31323E7E56E590902DBA917B3FCC0A005E0FCB7E1ADA86F5B356E5B130AB
4238FBE1992DD4C31B7D60268AEF617A5728DE6239F7946EB230FC2D91D63809
3B21FBF110309ADAC52D42784D8F104B47190EC5C6A85F0CEA6A16C98161B65D
ED0DD16321E534AC2178F97EE6359FDE3914C6A1EA3FB5C3F8F3BCC869DD54B1
8A7E413CBC4093FB53DAD8275E9B85FB440E939FB17C46A75CDB4B37CCA374F9
BA74EFD41C8322705503A0792E762E77BF9685ED7076EC873728A0017F7B2C70
A7458D56DE0E4F0318B38620911D7410EBA99D170991CC0BFD1D8F1595A2503E
98D56443B811230FE123A90BEF7EDAC5A97A6289411EBF4A2A1F71815F80AE62
F5DFACFF726BF0D6B4558AC79ED8CBC7265F653A060BA4AB2A309BC31989DC79
E693DAE27717E1DE8955CAE548D243B0ECF0B0802212614B714A10F41BEEF0B1
3693D366359EACEEB44FBB2D34D864EE22D97771CF6AE6C0DF6B274D3AA488B0
C65012222494B2FD3AAD15626F91B4A83AD67416D56F9ED356F5BCB5F737252A
18814EAF5E5D43F321F69C5DD1F7303F5E95E7155757685F01E28D202E7E28EB
C8DE56580BCC0399ADDAC92795D44E7363938DE7B438AB3042EF9ADA3AFE0087
02516A2B483D8C973D390711354740A9B3ACB95CB58BB1FE63BD1EC5700332C4
DA1BC33C1D3A55F6CDB65E8DAE9FEDE3C8E8518FCCBEE65305121B1F4EDAA618
AD983CDED83F3A973EF5E3491AE16392D2B63C72B657BE7D7F746861BB0A89CC
C246FEF0B92D70BC90532CEFF23DF06C19ED034D413578701D1F60A2CFA3AC6B
1F65549CEF4975F48C5833FAA5FB012B30765B3A141F6FDDD77DCE42C8DFA541
FA3D21862A686C7F3711D5E7A01FB255B15C97EBC9BAF451C9CB6E4B845523DD
83595EC1A7A0D77BF8959174F50E6A3679424277AD942E48D946A9F1F9852902
A68C8BDBE7FF5B15A64F7F1D00CD429B6B7763D39AF066BC2F1E3E557E6C865D
239A4377E53D1D9B893117DA4A3F6DEEBA877A503E2282658A89D31B8AE3F5EA
899160F4EAB9966FD71E3EAA868E0AE55FE4109F31DB3468AF3014A66F571DEF
BE9EC82B351BEE270C3E5A022E3C8E97AE73850CD277A6E41F5303632CD0B9B6
E0F2361BEFE4FB4F55CED6E21850D37BE61B203E0BEEADC986EB15F43F205D57
827C6BBF21E8C7EE7A1682244EFACAFD5951A2D32134974E27ABE0CE016A471A
474AE7AFA8E250E4A39E2362D715C73912B2D4A962EA72362124EFD90E3BD3C2
764B19EB529EE1FF3BC2D10C18E9A3FB1120D9097DBADB989351B2B3564C3A0E
6C01F06EAD6296B36156CEE289E2D3049F9AABEE268BD1FCA597BDF844C5521C
1EC8FB947FBE91969078E8DD6951
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
TeXDict begin 39158280 55380996 2488 600 600 (07.dvi)
@start /Fa 139[206 4[229 228 1[119 236 1[122 3[239 256
26[239 14[130 17[160 40[{TeXBase1Encoding ReEncodeFont}11
436.833 /ComicSansMS rf /Fc 130[134 134 134 134 122[{}4
297.444 /CMEX10 rf /Fd 207[71 48[{}1 206.559 /CMBSY10
rf /Fe 254[164 1[{}1 513.918 /CMBSY10 rf /Ff 244[326
11[{}1 428.403 /CMMIB10 rf /Fg 205[119 119 49[{}2 206.559
/CMBX10 rf /Fh 252[404 3[{}1 513.918 /CMBX12 rf /Fi 105[39
32[46 4[47 1[46 4[25 51 2[48 1[45 21[77 2[58 16[54 54
54 54 54 54 54 54 40 54 45 22 1[24 2[32 32 40[{
TeXBase1Encoding ReEncodeFont}25 87.7881 /ComicSansMS
rf /Fk 140[145 149 9[176 1[119 158 101[{}5 297.444 /CMBXTI10
rf /Fl 161[228 36[190 190 1[0 3[228 8[342 7[342 30[266
2[{}8 297.444 /CMBSY10 rf /Fm 162[93 1[93 29[260 2[93
16[130 130 4[279 1[102 29[234 3[{}9 297.444 /CMBX12 rf
/Fn 137[117 3[109 1[124 2[213 72 3[138 6[131 10[140 3[180
1[149 2[236 156 10[180 5[66 39[85 7[157 11[{}16 206.559
/CMMIB10 rf /Fo 135[196 1[169 1[124 158 157 1[179 1[212
307 104 3[199 162 169 165 3[188 10[202 3[259 1[215 2[340
225 10[259 5[95 95 32[203 3[200 1[123 7[226 11[{}26 297.444
/CMMIB10 rf /Fp 107[99 99 25[131 149 173 123 131 119
123 121 1[135 133 132 196 69 137 1[71 146 134 128 138
148 130 150 129 9[263 8[201 4[138 1[172 5[185 5[75 75
11[63 105 70 2[93 93 37[166 2[{TeXBase1Encoding ReEncodeFont}38
252.83 /ComicSansMS rf /Fr 138[286 171 200 228 1[286
257 286 428 143 2[143 286 1[171 228 1[228 1[257 11[371
343 286 371 1[314 3[343 5[314 3[343 66[{TeXBase1Encoding ReEncodeFont}
23 513.918 /Times-Bold rf end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 600dpi
TeXDict begin
%%PaperSize: A4
end
%%EndSetup
%%Page: 1 1
TeXDict begin 1 0 bop 0 TeXcolorgray 1 TeXcolorgray 0
TeXcolorgray 1 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray
0 TeXcolorgray 1 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray
0 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray 0 TeXcolorgray
0 TeXcolorgray 0.25 TeXcolorgray 0 TeXcolorgray 0.5 TeXcolorgray
0 TeXcolorgray 0.75 TeXcolorgray 0 TeXcolorgray -600
6416 a
SDict begin [ /Page 1 /View [ /Fit ] /PageMode /UseOutlines /DOCVIEW
pdfmark end
-600 6416 a -600 6416 a
SDict begin [ /CropBox [0 0 595 890] /PAGES pdfmark end
-600 6416 a -600 6416
a
SDict begin [ {Catalog} << /ViewerPreferences<</FitWindow true/CenterWindow
true>>>> /PUT pdfmark end
-600 6416 a -600 6416 a
SDict begin H.S end
-600 6416 a -600 6416 a
SDict begin 12 H.A end
-600
6416 a -600 6416 a
SDict begin [ /View [/XYZ H.V] /Dest (Doc-Start) cvn H.B /DEST pdfmark
end
-600 6416 a 4360 6416 a
tx@Dict begin 90 Rot end
4360 6416
a 4609 1909 a
SDict begin [ /Rotate 90 /PAGES pdfmark end
4609 1909 a 4609 1909 a
SDict begin /product where{pop product(Distiller)search{pop pop pop
version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
grestore}if}{pop}ifelse}{pop}ifelse}if end
4609 1909 a 4609
1909 a
SDict begin H.S end
4609 1909 a 0 TeXcolorgray 0 TeXcolorgray 4609
1909 a
SDict begin H.R end
4609 1909 a 4609 1909 a
SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
end
4609 1909 a 4609 1909
a
SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
4609 1909 a 4609 1909 a
SDict begin [ /Title () /Subject () /Creator (LaTeX with hyperref package)
/Author () /Producer (dvips + Distiller) /Keywords () /DOCINFO pdfmark
end
4609 1909 a 4609 1909 a
SDict begin [ /Page 1/View [ /XYZ null null null ] /Title (Freshness Lemma)
/OUT pdfmark end
4609
1909 a Gray 5575 2027 a Fr(Fr)-9 b(eshness)127 b(Lemma)p
0 TeXcolorgray Black 4623 2582 a Fp(A)75 b(criterion)g(when)h(a)g
(construction)f(that)g(\223picks)g(a)4623 2874 y(fresh)h(atom\224)g(is)
f(independent)i(of)f(which)e(fresh)i(atom)4623 3167 y(is)e(chosen:)p
1 1 0.8 TeXcolorrgb 1 1 0.8 TeXcolorrgb 4623 5475 6077
2104 v 1 1 0.8 TeXcolorrgb Black 4684 3641 a(Given)p
Blue 76 w Fo(pt)5699 3685 y Fn(\013;\023)p Black 6016
3641 a Fp(,)p Blue 76 w Fo(at)6474 3685 y Fn(\013)p Black
6716 3641 a Fp(and)i(a)g(function)p Blue 76 w Fo(h)94
b Fm(:)h Fo(\013)h Fl(!)f Fo(\023)p Black Fp(:)4684 3969
y(if)p Blue 76 w(\002nite)q Fm(\()p Fp(supp)6240 4051
y Fn(\013)6503 3969 y Fo(h)p Fm(\))p Black 75 w Fp(and)p
Blue 4684 4412 a Fl(9)p Fo(a:)h(a)f Fm(#)g Fo(h)75 b
Fl(^)h Fo(a)96 b Fm(#)f(\()p Fo(h)f(a)p Fm(\))p Black
4684 4942 a Fp(then)p Blue 4684 5339 a Fl(9)p Fm(!)p
Fk(fr)-18 b(esh)29 b Fo(:)95 b Fl(8)p Fo(a:)g(a)h Fm(#)f
Fo(h)189 b Fl(\))h Fm(\()p Fo(h)95 b(a)p Fm(\))g(=)h
Fk(fr)-18 b(esh)28 b Fm(\()p Fk(h)g Fm(\))p Black 1 1 0.8
TeXcolorrgb Black 0 TeXcolorgray 10821 5925 a
0 setgray
10821 5925
a 0.5 TeXcolorgray 9416 6307 a Fi(Munich,)e(14.)f(June)h(2005)e(\226)i
(p.1)g(\(1/1\))p 0 TeXcolorgray 4360 6416 a
tx@Dict begin -90 Rot end
4360 6416
a eop end
%%Page: 2 2
TeXDict begin 2 1 bop 0 TeXcolorgray 4360 6416 a
tx@Dict begin 90 Rot end
4360
6416 a 4609 1909 a
SDict begin /product where{pop product(Distiller)search{pop pop pop
version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
grestore}if}{pop}ifelse}{pop}ifelse}if end
4609 1909 a 4609 1909 a
SDict begin H.S end
4609 1909
a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
SDict begin H.R end
4609 1909
a 4609 1909 a
SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
end
4609 1909 a 4609 1909 a
SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
4609 1909 a 4609
1909 a
SDict begin [ /Page 2/View [ /XYZ null null null ] /Title (\mbox {Structural Recursion for $\Lambda $})
/OUT pdfmark end
4609 1909 a Gray 4623 2027 a Fr(Structural)128
b(Recursion)g(f)-13 b(or)129 b Fh(\003)p 0 TeXcolorgray
Black 4623 2577 a Fp(Given)p Black Green Black Green
Black OliveGreen Black 4876 2964 a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 293 w Fo(g)5331 3009 y Fn(v)8
b(ar)5807 2964 y Fm(:)95 b Fo(name)g Fl(!)g Fo(x)p Black
Black Green Black Green Black OliveGreen Black 4876 3352
a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 293
w(g)5331 3397 y Fn(app)5815 3352 y Fm(:)g Fo(x)76 b Fl(\002)g
Fo(x)95 b Fl(!)g Fo(x)p Black Black Green Black Green
Black OliveGreen Black 4876 3755 a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 293 w(g)5331 3800 y Fn(l)r(am)5854
3755 y Fm(:)g Fo(name)76 b Fl(\002)g Fo(x)95 b Fl(!)g
Fo(x)p Black 4623 4147 a Fp(there)76 b(exists)f(a)h(function)p
Blue 7416 3979 174 12 v 76 w Fo(g)106 b Fm(:)95 b(\003)g
Fl(!)g Fo(x)p Black 75 w Fp(with)p Black Green Black
Green Black OliveGreen Black 4876 4694 a @beginspecial
@setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 5169 4526 V 293 w
Fo(g)11 b Fm(\()p Fo(v)g(ar)104 b(a)p Fm(\))96 b(=)f
Fo(g)7032 4738 y Fn(v)8 b(ar)7414 4694 y Fm(\()p Fo(a)p
Fm(\))p Black Black Green Black Green Black OliveGreen
Black 4876 5121 a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial
Black Blue 5169 4953 V 293 w Fo(g)j Fm(\()p Fo(app)95
b(t)6237 5165 y Fg(1)6460 5121 y Fo(t)6584 5165 y Fg(2)6713
5121 y Fm(\))g(=)g Fo(g)7455 5165 y Fn(app)7845 5121
y Fm(\()p 7975 4953 V Fo(g)11 b Fm(\()p Fo(t)8402 5165
y Fg(1)8531 5121 y Fm(\))p Fo(;)p 8813 4953 V 57 w(g)g
Fm(\()p Fo(t)9240 5165 y Fg(2)9369 5121 y Fm(\)\))p Black
Black Green Black Green Black OliveGreen Black 4876 5558
a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 5169
5390 V 293 w Fo(g)g Fm(\()p Fo(l)s(am)94 b(a)i(t)p Fm(\))e(=)i
Fo(g)7318 5603 y Fn(l)r(am)7746 5558 y Fm(\()p Fo(a;)p
8216 5390 V 57 w(g)11 b Fm(\()p Fo(t)p Fm(\)\))p Black
0 TeXcolorgray 10821 5925 a
0 setgray
10821 5925 a 0.5 TeXcolorgray
9402 6307 a Fi(Munich,)26 b(14.)f(June)h(2005)e(\226)i(p.2)g(\(1/1\))p
0 TeXcolorgray 4360 6416 a
tx@Dict begin -90 Rot end
4360 6416 a eop end
%%Page: 3 3
TeXDict begin 3 2 bop 0 TeXcolorgray 4360 6416 a
tx@Dict begin 90 Rot end
4360
6416 a 4609 1909 a
SDict begin /product where{pop product(Distiller)search{pop pop pop
version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
grestore}if}{pop}ifelse}{pop}ifelse}if end
4609 1909 a 4609 1909 a
SDict begin H.S end
4609 1909
a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
SDict begin H.R end
4609 1909
a 4609 1909 a
SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
end
4609 1909 a 4609 1909 a
SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
4609 1909 a 4609
1909 a
SDict begin [ /Page 3/View [ /XYZ null null null ] /Title (\mbox {Structural Recursion for $\Lambda _\alpha $})
/OUT pdfmark end
4609 1909 a Gray 4623 2027 a Fr(Structural)128
b(Recursion)g(f)-13 b(or)129 b Fh(\003)10566 2104 y Ff(\013)p
0 TeXcolorgray Black 4623 2586 a Fp(Given)75 b(\(all)g(\002nitely)h
(supported)h(by)p Blue 76 w Fo(A)p Black Fp(\))p Black
Green Black Green Black OliveGreen Black 4876 2993 a
@beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 293
w Fo(f)5338 3038 y Fn(V)13 b(AR)5957 2993 y Fm(:)95 b
Fo(name)g Fl(!)g Fo(x)p Black Black Green Black Green
Black OliveGreen Black 4876 3387 a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 293 w(f)5338 3432 y Fn(AP)33
b(P)5987 3387 y Fm(:)95 b Fo(x)76 b Fl(\002)g Fo(x)95
b Fl(!)g Fo(x)p Black Black Green Black Green Black OliveGreen
Black 4876 3781 a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial
Black Blue 293 w(f)5338 3826 y Fn(LAM)6038 3781 y Fm(:)g
Fo(name)76 b Fl(\002)g Fo(x)95 b Fl(!)g Fo(x)p Black
76 w Fp(with)p Blue 5169 4142 a Fl(9)p Fo(a)g Fl(62)g
Fo(A:)g Fl(8)p Fo(x:a)g Fm(#)g Fo(f)7721 4186 y Fn(LAM)8326
4142 y Fm(\()p Fo(a;)58 b(x)p Fm(\))p Black 4623 4612
a Fp(there)76 b(exists)f(a)h(function)p Blue 7416 4369
202 12 v 76 w Fo(f)128 b Fm(:)94 b(\003)8134 4656 y Fn(\013)8397
4612 y Fl(!)h Fo(x)p Black 75 w Fp(with)p Black Green
Black Green Black OliveGreen Black 4876 5065 a @beginspecial
@setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 5169 4823 V 293 w
Fo(f)32 b Fm(\()p Fo(V)19 b(AR)96 b(a)p Fm(\))g(=)f Fo(f)7273
5110 y Fn(V)13 b(AR)7797 5065 y Fm(\()p Fo(a)p Fm(\))p
Black Black Green Black Green Black OliveGreen Black
4876 5535 a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black
Blue 5169 5293 V 293 w Fo(f)32 b Fm(\()p Fo(AP)48 b(P)142
b(t)6503 5580 y Fg(1)6727 5535 y Fo(t)6851 5580 y Fg(2)6980
5535 y Fm(\))95 b(=)g Fo(f)7729 5580 y Fn(AP)33 b(P)8284
5535 y Fm(\()p 8414 5293 V Fo(f)g Fm(\()p Fo(t)8870 5580
y Fg(1)8998 5535 y Fm(\))p Fo(;)p 9280 5293 V 57 w(f)g
Fm(\()p Fo(t)9736 5580 y Fg(2)9865 5535 y Fm(\)\))p Black
Black Green Black Green Black OliveGreen Black 4876 6005
a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 293
w Fo(a)95 b Fl(62)g Fo(A)g Fl(\))p 6566 5763 V 95 w Fo(f)32
b Fm(\()p Fo(LAM)129 b(a)95 b(t)p Fm(\))f(=)i Fo(f)9006
6050 y Fn(LAM)9611 6005 y Fm(\()p Fo(a;)p 10082 5763
V 58 w(f)32 b Fm(\()p Fo(t)p Fm(\)\))p Black 0 TeXcolorgray
10821 5925 a
0 setgray
10821 5925 a 0.5 TeXcolorgray 9402 6307
a Fi(Munich,)26 b(14.)f(June)h(2005)e(\226)i(p.3)g(\(1/1\))p
0 TeXcolorgray 4360 6416 a
tx@Dict begin -90 Rot end
4360 6416 a eop end
%%Page: 4 4
TeXDict begin 4 3 bop 0 TeXcolorgray 4360 6416 a
tx@Dict begin 90 Rot end
4360
6416 a 4609 1909 a
SDict begin /product where{pop product(Distiller)search{pop pop pop
version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
grestore}if}{pop}ifelse}{pop}ifelse}if end
4609 1909 a 4609 1909 a
SDict begin H.S end
4609 1909
a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
SDict begin H.R end
4609 1909
a 4609 1909 a
SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
end
4609 1909 a 4609 1909 a
SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
4609 1909 a 4609
1909 a
SDict begin [ /Page 4/View [ /XYZ null null null ] /Title (\mbox {Use Recursion for $\Lambda $})
/OUT pdfmark end
4609 1909 a Gray 5331 2027 a Fr(Use)129 b(Recursion)f(f)-13
b(or)129 b Fh(\003)p 0 TeXcolorgray Black 4623 2582 a
Fp(Instantiate)p Blue 76 w Fo(x)p Black 75 w Fp(with)p
Blue 75 w Fo(\031)106 b Fl(!)95 b Fo(x)p Black Black
Green Black Green Black OliveGreen Black 4876 2970 a
@beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 293
w(g)5331 3014 y Fn(v)8 b(ar)5807 2970 y Fm(:)95 b Fo(name)g
Fl(!)g Fm(\()p Fo(\031)106 b Fl(!)96 b Fo(x)p Fm(\))p
Black Black Green Black Green Black OliveGreen Black
4876 3397 a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black
Blue 293 w Fo(g)5331 3442 y Fn(app)5815 3397 y Fm(:)f(\()p
Fo(\031)106 b Fl(!)95 b Fo(x)p Fm(\))46 b Fl(\002)g Fm(\()p
Fo(\031)106 b Fl(!)95 b Fo(x)p Fm(\))g Fl(!)g Fm(\()p
Fo(\031)106 b Fl(!)95 b Fo(x)p Fm(\))p Black Black Green
Black Green Black OliveGreen Black 4876 3834 a @beginspecial
@setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 293 w Fo(g)5331 3879
y Fn(l)r(am)5854 3834 y Fm(:)g Fo(name)76 b Fl(\002)g
Fm(\()p Fo(\031)106 b Fl(!)95 b Fo(x)p Fm(\))g Fl(!)g
Fm(\()p Fo(\031)106 b Fl(!)95 b Fo(x)p Fm(\))p Black
4623 4234 a Fp(and)76 b(set.)45 b(.)g(.)p 0 TeXcolorgray
10821 5925 a
0 setgray
10821 5925 a 0.5 TeXcolorgray 9402 6307
a Fi(Munich,)26 b(14.)f(June)h(2005)e(\226)i(p.4)g(\(1/1\))p
0 TeXcolorgray 4360 6416 a
tx@Dict begin -90 Rot end
4360 6416 a eop end
%%Page: 5 5
TeXDict begin 5 4 bop 0 TeXcolorgray 4360 6416 a
tx@Dict begin 90 Rot end
4360
6416 a 4609 1909 a
SDict begin /product where{pop product(Distiller)search{pop pop pop
version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
grestore}if}{pop}ifelse}{pop}ifelse}if end
4609 1909 a 4609 1909 a
SDict begin H.S end
4609 1909
a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
SDict begin H.R end
4609 1909
a 4609 1909 a
SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
end
4609 1909 a 4609 1909 a
SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
4609 1909 a 4609
1909 a
SDict begin [ /Page 5/View [ /XYZ null null null ] /Title (\mbox {Use Recursion for $\Lambda $})
/OUT pdfmark end
4609 1909 a Gray 5331 2027 a Fr(Use)129 b(Recursion)f(f)-13
b(or)129 b Fh(\003)p 0 TeXcolorgray Black 4623 2582 a
Fp(Instantiate)p Blue 76 w Fo(x)p Black 75 w Fp(with)p
Blue 75 w Fo(\031)106 b Fl(!)95 b Fo(x)p Black Black
Green Black Green Black OliveGreen Black 4876 2970 a
@beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 293
w(g)5331 3014 y Fn(v)8 b(ar)5712 2970 y Fm(\()p Fo(a)p
Fm(\))96 b Fo(\031)106 b Fm(=)95 b Fo(f)7089 3014 y Fn(V)13
b(AR)7613 2970 y Fm(\()p Fo(\031)7957 3029 y Fe(\001)8121
2970 y Fo(x)p Fm(\))p Black Black Green Black Green Black
OliveGreen Black 4876 3397 a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 293 w Fo(g)5331 3442 y Fn(app)5720
3397 y Fm(\()p Fo(s)6008 3442 y Fg(1)6137 3397 y Fo(;)57
b(s)6447 3442 y Fg(2)6576 3397 y Fm(\))95 b Fo(\031)106
b Fm(:=)96 b Fo(f)7728 3442 y Fn(AP)33 b(P)8282 3397
y Fm(\()p Fo(s)8570 3442 y Fg(1)8795 3397 y Fo(\031)11
b(;)57 b(s)9319 3442 y Fg(2)9543 3397 y Fo(\031)11 b
Fm(\))p Black Black Green Black Green Black OliveGreen
Black 4876 3834 a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial
Black Blue 293 w Fo(g)5331 3879 y Fn(l)r(am)5759 3834
y Fm(\()p Fo(a;)57 b(s)p Fm(\))95 b Fo(\031)106 b Fm(=)p
Black Blue 5462 4226 a Fo(f)33 b(r)10 b(esh)p Fm(\()p
Fo(\025a)6871 4103 y Fd(0)6952 4226 y Fo(:)95 b(f)7311
4270 y Fn(LAM)7916 4226 y Fm(\()p Fo(a)8234 4103 y Fd(0)8316
4226 y Fo(;)57 b(s)95 b Fm(\()p Fo(\031)9065 4285 y Fe(\001)9229
4226 y Fm(\()p Fo(a)58 b(a)9793 4103 y Fd(0)9874 4226
y Fm(\)\)\))6483 4398 y Fc(|)p 6617 4398 1624 36 v 1624
w({z)p 8509 4398 V 1624 w(})8305 4653 y Fn(h)10265 4226
y Fm(\))p Black 4623 5035 a Fp(We)75 b(know)g(that)g(there)h(exists)g
(a)p Blue 8078 4867 174 12 v 75 w Fo(g)11 b Fm(\()p Fo(s)p
Fm(\))96 b Fo(\031)p Black 86 w Fp(with.)45 b(.)g(.)p
0 TeXcolorgray 10821 5925 a
0 setgray
10821 5925 a 0.5 TeXcolorgray
9402 6307 a Fi(Munich,)26 b(14.)f(June)h(2005)e(\226)i(p.5)g(\(1/1\))p
0 TeXcolorgray 4360 6416 a
tx@Dict begin -90 Rot end
4360 6416 a eop end
%%Page: 6 6
TeXDict begin 6 5 bop 0 TeXcolorgray 4360 6416 a
tx@Dict begin 90 Rot end
4360
6416 a 4609 1909 a
SDict begin /product where{pop product(Distiller)search{pop pop pop
version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
grestore}if}{pop}ifelse}{pop}ifelse}if end
4609 1909 a 4609 1909 a
SDict begin H.S end
4609 1909
a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
SDict begin H.R end
4609 1909
a 4609 1909 a
SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
end
4609 1909 a 4609 1909 a
SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
4609 1909 a 4609
1909 a
SDict begin [ /Page 6/View [ /XYZ null null null ] /Title (\mbox {Use Recursion for $\Lambda $})
/OUT pdfmark end
4609 1909 a Gray 5331 2027 a Fr(Use)129 b(Recursion)f(f)-13
b(or)129 b Fh(\003)p 0 TeXcolorgray Black 4623 2605 a
Fp(We)75 b(know)g(that)g(there)h(exists)g(a)p Blue 8078
2437 174 12 v 75 w Fo(g)11 b Fm(\()p Fo(s)p Fm(\))96
b Fo(\031)p Black 86 w Fp(with.)45 b(.)g(.)p Black Green
Black Green Black OliveGreen Black 4876 3168 a @beginspecial
@setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 5169 3000 V 293 w
Fo(g)11 b Fm(\()p Fo(v)g(ar)104 b(a)p Fm(\))96 b Fo(\031)106
b Fm(=)95 b Fo(g)7341 3213 y Fn(v)8 b(ar)7723 3168 y
Fm(\()p Fo(a)p Fm(\))95 b Fo(\031)p Black Black Green
Black Green Black OliveGreen Black 4876 3595 a @beginspecial
@setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 5169 3427 V 293 w(g)11
b Fm(\()p Fo(app)95 b(t)6237 3640 y Fg(1)6460 3595 y
Fo(t)6584 3640 y Fg(2)6713 3595 y Fm(\))g Fo(\031)106
b Fm(=)5169 3913 y Fo(g)5331 3958 y Fn(app)5720 3913
y Fm(\()p 5850 3745 V Fo(g)11 b Fm(\()p Fo(t)6277 3958
y Fg(1)6406 3913 y Fm(\))95 b Fo(\031)11 b(;)p 6997 3745
V 57 w(g)g Fm(\()p Fo(t)7424 3958 y Fg(2)7553 3913 y
Fm(\))95 b Fo(\031)11 b Fm(\))p Black Black Green Black
Green Black OliveGreen Black 4876 4351 a @beginspecial
@setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 5169 4183 V 293 w
Fo(g)g Fm(\()p Fo(l)s(am)94 b(a)i(t)p Fm(\))e Fo(\031)106
b Fm(=)96 b Fo(g)7627 4395 y Fn(l)r(am)8055 4351 y Fm(\()p
Fo(a;)p 8525 4183 V 57 w(g)11 b Fm(\()p Fo(t)p Fm(\))95
b Fo(\031)11 b Fm(\))p Black 4623 4957 a Fp(We)75 b(set)p
Blue 5554 4715 202 12 v 75 w Fo(f)128 b Fm(:)95 b(\003)6273
5002 y Fn(\013)6536 4957 y Fl(!)g Fo(x)p Black 75 w Fp(to)p
Blue 7571 4789 174 12 v 75 w Fo(g)11 b Fm(\()p Fo(t)p
Fm(\))95 b([])p Black 75 w Fp(\()p Blue Fo(t)p Black
75 w Fp(is)75 b(any)4623 5256 y(representative)p Blue
77 w Fm(\003)p Black Fp(-term\).)p 0 TeXcolorgray 10821
5925 a
0 setgray
10821 5925 a 0.5 TeXcolorgray 9402 6307 a Fi(Munich,)26
b(14.)f(June)h(2005)e(\226)i(p.6)g(\(1/1\))p 0 TeXcolorgray
4360 6416 a
tx@Dict begin -90 Rot end
4360 6416 a eop end
%%Page: 7 7
TeXDict begin 7 6 bop 0 TeXcolorgray 4360 6416 a
tx@Dict begin 90 Rot end
4360
6416 a 4609 1909 a
SDict begin /product where{pop product(Distiller)search{pop pop pop
version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
grestore}if}{pop}ifelse}{pop}ifelse}if end
4609 1909 a 4609 1909 a
SDict begin H.S end
4609 1909
a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
SDict begin H.R end
4609 1909
a 4609 1909 a
SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
end
4609 1909 a 4609 1909 a
SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
4609 1909 a 4609
1909 a
SDict begin [ /Page 7/View [ /XYZ null null null ] /Title (Properties)
/OUT pdfmark end
4609 1909 a Gray 6424 2027 a Fr(Pr)-9 b(operties)p
0 TeXcolorgray Black 4623 2582 a Fp(Now)75 b(we)g(have)h(to)f(check)f
(the)i(properties:)p Black Green Black Green Black OliveGreen
Black 4876 3185 a @beginspecial @setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial
Black Blue 5169 2943 202 12 v 293 w Fo(f)32 b Fm(\()p
Fo(V)19 b(AR)96 b(a)p Fm(\))g(=)f Fo(f)7273 3230 y Fn(V)13
b(AR)7797 3185 y Fm(\()p Fo(a)p Fm(\))p Black Black Green
Black Green Black OliveGreen Black 4876 3655 a @beginspecial
@setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 5169 3413 V 293 w
Fo(f)32 b Fm(\()p Fo(AP)48 b(P)142 b(t)6503 3700 y Fg(1)6727
3655 y Fo(t)6851 3700 y Fg(2)6980 3655 y Fm(\))95 b(=)g
Fo(f)7729 3700 y Fn(AP)33 b(P)8284 3655 y Fm(\()p 8414
3413 V Fo(f)g Fm(\()p Fo(t)8870 3700 y Fg(1)8998 3655
y Fm(\))p Fo(;)p 9280 3413 V 57 w(f)g Fm(\()p Fo(t)9736
3700 y Fg(2)9865 3655 y Fm(\)\))p Black Black Green Black
Green Black OliveGreen Black 4876 4125 a @beginspecial
@setspecial
tx@Dict begin STP newpath 0.0 SLW TeXDict begin Green end 0. true
0.0 0.0 9.14807 9.14807 .5 Frame gsave 2.0 -45. PtoC Shadow TeXDict
begin OliveGreen end gsave fill grestore stroke grestore gsave TeXDict
begin Green end gsave fill grestore stroke grestore gsave TeXDict begin
Green end fill grestore gsave 0.0 SLW TeXDict begin Green end 0 setlinecap
stroke grestore end
@endspecial Black Blue 293 w Fo(a)95 b Fl(62)g
Fo(A)g Fl(\))p 6566 3883 V 95 w Fo(f)32 b Fm(\()p Fo(LAM)129
b(a)95 b(t)p Fm(\))f(=)i Fo(f)9006 4170 y Fn(LAM)9611
4125 y Fm(\()p Fo(a;)p 10082 3883 V 58 w(f)32 b Fm(\()p
Fo(t)p Fm(\)\))p Black 4623 4672 a Fp(Interesting)76
b(because)g(of)g(the)f(way)h(we)g(used)p Blue 76 w Fo(f)33
b(r)10 b(esh)p Black Fp(.)4623 4968 y(\(Assumptions)p
Blue 74 w Fo(A)p Black 75 w Fp(supports)76 b(\223everything\224;)p
Blue 4623 5309 a Fl(9)p Fo(a)95 b Fl(62)g Fo(A:)f Fl(8)p
Fo(x:)i(a)f Fm(#)g Fo(f)7270 5354 y Fn(LAM)7875 5309
y Fm(\()p Fo(a;)57 b(x)p Fm(\))p Black Fp(.\))p 0 TeXcolorgray
10821 5925 a
0 setgray
10821 5925 a 0.5 TeXcolorgray 9402 6307
a Fi(Munich,)26 b(14.)f(June)h(2005)e(\226)i(p.7)g(\(1/1\))p
0 TeXcolorgray 4360 6416 a
tx@Dict begin -90 Rot end
4360 6416 a eop end
%%Page: 8 8
TeXDict begin 8 7 bop 0 TeXcolorgray 4360 6416 a
tx@Dict begin 90 Rot end
4360
6416 a 4609 1909 a
SDict begin /product where{pop product(Distiller)search{pop pop pop
version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
grestore}if}{pop}ifelse}{pop}ifelse}if end
4609 1909 a 4609 1909 a
SDict begin H.S end
4609 1909
a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
SDict begin H.R end
4609 1909
a 4609 1909 a
SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
end
4609 1909 a 4609 1909 a
SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
4609 1909 a 4609
1909 a
SDict begin [ /Page 8/View [ /XYZ null null null ] /Title (Freshness Lemma)
/OUT pdfmark end
4609 1909 a Gray 5575 2027 a Fr(Fr)-9 b(eshness)127
b(Lemma)p 0 TeXcolorgray Black 4623 2582 a Fp(A)75 b(criterion)g(when)h
(a)g(construction)f(that)g(\223picks)g(a)4623 2874 y(fresh)h(atom\224)g
(is)f(independent)i(of)f(which)e(fresh)i(atom)4623 3167
y(is)e(chosen:)p 1 1 0.8 TeXcolorrgb 1 1 0.8 TeXcolorrgb
4623 5475 6077 2104 v 1 1 0.8 TeXcolorrgb Black 4684
3641 a(Given)p Blue 76 w Fo(pt)5699 3685 y Fn(\013;\023)p
Black 6016 3641 a Fp(,)p Blue 76 w Fo(at)6474 3685 y
Fn(\013)p Black 6716 3641 a Fp(and)i(a)g(function)p Blue
76 w Fo(h)94 b Fm(:)h Fo(\013)h Fl(!)f Fo(\023)p Black
Fp(:)4684 3969 y(if)p Blue 76 w(\002nite)q Fm(\()p Fp(supp)6240
4051 y Fn(\013)6503 3969 y Fo(h)p Fm(\))p Black 75 w
Fp(and)p Blue 4684 4412 a Fl(9)p Fo(a:)h(a)f Fm(#)g Fo(h)75
b Fl(^)h Fo(a)96 b Fm(#)f(\()p Fo(h)f(a)p Fm(\))p Black
4684 4942 a Fp(then)p Blue 4684 5339 a Fl(9)p Fm(!)p
Fk(fr)-18 b(esh)29 b Fo(:)95 b Fl(8)p Fo(a:)g(a)h Fm(#)f
Fo(h)189 b Fl(\))h Fm(\()p Fo(h)95 b(a)p Fm(\))g(=)h
Fk(fr)-18 b(esh)28 b Fm(\()p Fk(h)g Fm(\))p Black 1 1 0.8
TeXcolorrgb Black 0 TeXcolorgray 10821 5925 a
0 setgray
10821 5925
a 0.5 TeXcolorgray 9402 6307 a Fi(Munich,)e(14.)f(June)h(2005)e(\226)i
(p.8)g(\(1/1\))p 0 TeXcolorgray 4360 6416 a
tx@Dict begin -90 Rot end
4360 6416
a eop end
%%Page: 9 9
TeXDict begin 9 8 bop 0 TeXcolorgray 4360 6416 a
tx@Dict begin 90 Rot end
4360
6416 a 4609 1909 a
SDict begin /product where{pop product(Distiller)search{pop pop pop
version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto
closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show
grestore}if}{pop}ifelse}{pop}ifelse}if end
4609 1909 a 4609 1909 a
SDict begin H.S end
4609 1909
a 0 TeXcolorgray 0 TeXcolorgray 4609 1909 a
SDict begin H.R end
4609 1909
a 4609 1909 a
SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark
end
4609 1909 a 4609 1909 a
SDict begin [ {ThisPage}<</Trans << /S /R >> >> /PUT pdfmark end
4609 1909 a 4609
1909 a
SDict begin [ /Page 9/View [ /XYZ null null null ] /Title (BUT) /OUT
pdfmark end
4609 1909 a Gray 7035 2027 a Fr(B)-5 b(UT)p 0
TeXcolorgray Black Black Black 5760 3140 a Fa(I)129 b(do)i(not)g(like)g
(it)f(:o\()p 0 TeXcolorgray 10821 5925 a
0 setgray
10821 5925 a
0.5 TeXcolorgray 9402 6307 a Fi(Munich,)26 b(14.)f(June)h(2005)e(\226)i
(p.9)g(\(1/1\))p 0 TeXcolorgray 4360 6416 a
tx@Dict begin -90 Rot end
4360 6416
a eop end
%%Trailer
userdict /end-hook known{end-hook}if
%%EOF