--- /dev/null
+%!PS-Adobe-2.0
+%%Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software
+%%Title: expose-berlin.dvi
+%%Pages: 13
+%%PageOrder: Ascend
+%%Orientation: Landscape
+%%BoundingBox: 0 0 596 842
+%%EndComments
+%DVIPSWebPage: (www.radicaleye.com)
+%DVIPSCommandLine: dvips expose-berlin.dvi -o
+%DVIPSParameters: dpi=600, compressed
+%DVIPSSource: TeX output 2002.03.21:1951
+%%BeginProcSet: texc.pro
+%!
+/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/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/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]/id Ci N/rw Cw 7 add 8 idiv string N/rc 0 N/gp 0 N/cp 0 N{
+rc 0 ne{rc 1 sub/rc X rw}{G}ifelse}imagemask restore}B/G{{id gp get/gp
+gp 1 add N A 18 mod S 18 idiv pl S get exec}loop}B/adv{cp add/cp X}B
+/chg{rw cp id gp 4 index getinterval putinterval A gp add/gp X adv}B/nd{
+/cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{
+A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy
+get A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S 128 and or}ifelse}
+ifelse put 1 adv}B/clr{rw cp 2 index string putinterval adv}B/set{rw cp
+fillstr 0 4 index getinterval putinterval adv}B/fillstr 18 string 0 1 17
+{2 copy 255 put pop}for N/pl[{adv 1 chg}{adv 1 chg nd}{1 add chg}{1 add
+chg nd}{adv lsh}{adv lsh nd}{adv rsh}{adv rsh nd}{1 add adv}{/rc X nd}{
+1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]A{bind pop}
+forall N/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
+%!
+% PostScript prologue for pstricks.tex.
+% Version 97 patch 3, 98/06/01
+% 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
+/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
+/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
+%!PS-Adobe-2.0
+%%Title: Dot Font for PSTricks 97 - Version 97, 93/05/07.
+%%Creator: Timothy Van Zandt <tvz@Princeton.EDU>
+%%Creation Date: May 7, 1993
+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
+ (P) 0 get /BoldPentagon put
+ /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
+ /.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
+ /.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
+ /.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: special.pro
+%!
+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/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/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
+TeXDict begin 55380996 39158280 2074 600 600 (expose-berlin.dvi)
+@start
+%DVIPSBitmapFont: Fa cmsy10 22.7103 5
+/Fa 5 95 df<003FC112F04820F8C212FCA46C20F86C20F0D5FCB3AC003FC112F04820F8
+C212FCA46C20F86C20F0D5FCB3AC003FC112F04820F8C212FCA46C20F86C20F07E5476D8
+93>17 D<1F0FF73F80F7FFC01E031E0F1E3F9BB512800B0714000B1F13FC0B7F13F052B5
+12C00A0791C7FC0A1F13FC0A7F13F051B51280090749C8FC091F13F8097F13E050B51280
+080749C9FC083F13F897B512E007031480070F49CAFC073F13F896B512E006031480060F
+01FCCBFC063F13F095B512C0050391CCFC050F13FC057F13F04CB512C0040791CDFC041F
+13FC047F13F04BB512C0030791CEFC031F13F8037F13E04AB51280020749CFFC021F13F8
+027F13E00103B51280010F49D0FC013F13F890B512E000031480000F49D1FC003F13F848
+13C0B5D2FC13FCA213FF6C13C06C13F8000F13FE00036D7EC614E0013F13F8010F13FE01
+036D7ED9007F13E0021F13F8020713FE02016D7E6E6C13E0031F13F8030713FF030114C0
+6F6C13F0041F13FC040713FF040114C0706C13F0050F13FC050313FF050014C0063F13F0
+060F13FC0603EBFF80060014E0073F13F8070F13FE07036D7E070014E0083F13F8080713
+FE08016D7E746C13E0091F13F8090713FE09016D7E756C13F00A1F13FC0A0713FF0A0114
+C0766C13F00B1F13FC0B0713FF0B0014800C3F13C01E0F1E031E00F73F80F70F009CC7FC
+B3AC003FC0FC481F80C112C0A46C1F806C1F00729470F793>20 D<217F698EA2217FA28E
+A3213F8EA2211F8EA27B7EA27B7EA27B7EA28E8D7B7F8F227F8F7C7E7C7E8F220F7C7E7C
+7EA17E7C7F7C7F7D7EFB3FFC7D7E7D7E7D13C07D7F7D13F8A038007FFEA1383FFF80003F
+C5B412E048A113F8C5B512FEA114FFA2A114FE6CA113F86CA113E0D7003F1380A1387FFE
+00A03801FFF85913E0595B5990C7FC595A595AFB7FF0595A585B585BA1C8FC585A585A22
+1F6B585A585A6B22FF6B5790C9FC696AA2575AA2575AA2575AA26A213FA26A217FA36AA2
+21FFA29FCAFC8DA86276DFBD>33 D[<003C1D3C007E1D7EB41DFFA36D63007F1DFE6D1B
+03A2003F1DFC6D1B07001F1DF8A26D1B0F000F1DF06D1B1FA200071DE06D1B3F00031DC0
+A26D1B7F00011D806D1BFFA26C1D006E61017F636E1903A2013F636E1907011F63A26E19
+0F010F636E191FA20107636E193F010363A26E197F0101636E19FFA26D90BBC7FCA26E61
+A36E61A3DA1FE0CAEA07F86F170F020F61A26F171F0207616F173FA20203616F177F0201
+61A26F17FF6E96C8FC705DA2037F5F701503033F5F701507A2031F5F70150F030F5FA270
+151F03075F70153FA203035F70157F03015FA27015FF6F94C9FC715BA2047F5D71130304
+3F5DA2711307041F5D71130FA2040F5D71131F04075DA271133F04035D71137FA204015D
+7113FF7092CAFC1881A2057F5B18C3053F5BA218E7051F5B18FFA2715BA2715BA3715BA3
+715BA27190CBFCA3187E183C>104 135 128 258 105 56 D<183E187FA24E7EA24D7FA3
+4D7FA24D7FA24D7FA294381FF7FCA218E3053F7F18C1057F7FA2DDFF807FA24C496C7EA2
+4D133F0403814D131F040781A24C486D7EA24C486D7EA24D1303043F814D1301047F81A2
+4C486D7FA24B90C86C7EA24C153F0303834C151F030783A24B486F7EA24B486F7EA24C15
+03033F834C1501037F83A24B486F7FA24A90CA6C7EA24B173F0203854B171F020785A24A
+48717EA24A48717EA24B1703023F854B1701027F85A24A48717FA24990CC6C7EA24A193F
+0103874A191F010787A24948737EA24948737EA24A1903013F874A1901017F87A2494873
+7FA24890CE6C7EA2491B3F000389491B1F000789A24848757EA24848757EA2491B03003F
+89491B01007F89A24848751380A290D0127FA2007EF53F00003C1D1E697576F07E>94
+D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fb cmmi10 22.7103 8
+/Fb 8 121 df<EA01F8EA07FE381FFF804813C04813E0A2B512F0A86C13E0A26C13C06C
+13803807FE00EA01F81414709334>58 D<1F0FF73F80F7FFC01E031E0F1E3F9BB512800B
+0714000B1F13FC0B7F13F052B512C00A0791C7FC0A1F13FC0A7F13F051B51280090749C8
+FC091F13F8097F13E050B51280080749C9FC083F13F897B512E007031480070F49CAFC07
+3F13F896B512E006031480060F01FCCBFC063F13F095B512C0050391CCFC050F13FC057F
+13F04CB512C0040791CDFC041F13FC047F13F04BB512C0030791CEFC031F13F8037F13E0
+4AB51280020749CFFC021F13F8027F13E00103B51280010F49D0FC013F13F890B512E000
+031480000F49D1FC003F13F84813C0B5D2FC13FCA213FF6C13C06C13F8000F13FE00036D
+7EC614E0013F13F8010F13FE01036D7ED9007F13E0021F13F8020713FE02016D7E6E6C13
+E0031F13F8030713FF030114C06F6C13F0041F13FC040713FF040114C0706C13F0050F13
+FC050313FF050014C0063F13F0060F13FC0603EBFF80060014E0073F13F8070F13FE0703
+6D7E070014E0083F13F8080713FE08016D7E746C13E0091F13F8090713FE09016D7E756C
+13F00A1F13FC0A0713FF0A0114C0766C13F00B1F13FC0B0713FF0B0014800C3F13C01E0F
+1E031E00F73F80F70F00726E70E593>60 D[<F501F0537E1D071D0FA21D1F8A1D3FA21D
+7F1DFFA264A26464A2527FA26464A264A21CFD1B011CF90903801CF1F307E11B0F1CC01B
+1F64515A631B7E1BFE5181505AA2505A08078063505AA2505A1A3F98C7FC50821A7E6219
+0150801903624F5A190F62071F83624FC8FC61077E8119FE614E5A18036118074F834E5A
+A24E5A063F8296C9FC187EA260170160050385604D5A170F4E824DBAFCA25F5FA294BB7E
+05FCCA12074C5A16034D8316075F4C5A161F5F163F94CB80167EA25E0301855E4B5AA24B
+5A150F5E031F875E4BCCFC5D03FE85A214014A5A1407140F021F89143F4A6C61D901FF50
+80010F6D6C180F90B600E0067F14F8003FDBFF804BB9FC48501880A2B8FCA2267FFE0191
+C96CDAE0071400>129 135 122 262 141 65 D[<93BC12E04B1BFF20F020FC20FF6F1D
+C0DC000702E0C800018005000280DB003F13F80D0F7F7290CA6C7F95B505017F22804F71
+14C08C4D7413E0A24F7213F0A24D1CF88C6122FC5FA261A25FA261A25F5613F861A25F56
+13F0615613E05F9DB512C096CCFC55148094B51B00555B4E60555B4C64555B4E4E5B555B
+4C97B5C7FC0C035B4E4D5B5413F04C073F5B9BB512804E040349C8FC0B0F13F84C067F13
+E00A07B5C9FC95B912F81E804C19FCF6FFC006C0C9000F13F00B0113FC4C726CB4FC787F
+4E7113E0787F4C737F787F95CB6C7F8C93B5848D4D737FA24B898B5F8D5DA25FA25DA25F
+A25DA25F675D695F9CB5FC4B65664D63664B9AC7FC6694CC5C6692B54F5B684C4F5B664A
+98B55A535C4C4E5C5391C8FC4A505B535B4C067F13F09AB55A4A07035C0A0F91C9FC4A49
+053F5B4A4EB512F849B56C041F14E0003FBE12804852CAFCBE12F01D800AFCCBFC6C98CC
+FC>134 129 120 256 143 I[<98260FFFE016380803B6167C083F03E015FC4FB700F814
+01070F04FEEC03F8077F7014074EB6D8001F01C0130F060702C001006D131F061F49C8D8
+3FF8EB3FF0067F01F0DB0FFC137F4DB50080DB03FE13FF050749C96C7E4D01F870018113
+E0053F01E0EF3F834D018018C74CB5CBEA1FEF4C01FC72B512C0040F49844C49844C13C0
+4C497214804BB5CCFC4B49854B5B4B497413004B5B4B5B4B498692B548634A91CEFC4A49
+1B1F5C4A49645E4A5B4A1D0F4A496491B55AA2495C4991CF5BA2495B5B4B655B5D5B4B65
+491E1F90B55AA269484A1C0F9DC8FC485CA25A92D3FCA25A5CA25A5CA25AA25CA25AA25C
+A4B5FC5CA65CA21F0F557EA29DC8FC67A31F7EA26C1E7C1FFCA2545AA2545A7E6E515A1E
+0F6C661E1F6E515A6C9BC9FC666C6D1BFE535A666C6D1A036C525A6E505A6C525A6E505A
+6D6D4FCAFC6D1BFE6D6DF003FC6F4E5A6D6D4E5A6D6D4E5A6D6DF07FC06D6D4D48CBFC6D
+6D4D5A023F01C0EE0FF86E6DEE3FF06E01F8923801FFC0020301FF030F5B6E02E0DA7FFE
+CCFC6E6C01FF90380FFFF8031F91B612E003071780030104FCCDFCDB003F15F0040392CE
+FCDC001F13E0>134 137 119 260 135 I<DAFF80ED0FFF010301F092B512F04901FC02
+0314FC011F6D021F14FF90273FC1FF8090263FF8077F49C66D9026FF80017F01FE6E4848
+C77F49017FD907F86E7E48489126F00FE0814D48143F48486E48488149013F017EC8121F
+00074C82EEFDF84848EB7FFF5F495D001F4C825F90C7FC4891B5C9FC5E123E4C4C5A007E
+5B5E127C5E00FC49187FA200784B5FC7FC4A18FFA24C5FA24A5FA24C5F625C6493C95AA2
+4A61625D64027F5FA24B95C8FC6214FF634B047F15781E7C494E4814FCA24B4D14F84F15
+015B5114F04B4B1503A2494F14E04F15075D51EB0FC05BF51F804B5FF53F00491B7EA292
+C96C5D525A491A03734A5A4A704A5A75485A746CB45A4A94261FFFFEC7FC4A715B6D4805
+0313F0D907C00500138066557BD271>110 D<DB0FF0ED0FFCDB3FFE92387FFF8092B56C
+0103B512E04A6E4914F8912703F83FF090391FF80FFE912707E01FF890393FC003FFDA0F
+C06D9026FF00017F021F010FD901FC6D7F03806D48486E7EDA3F00DA0FE0817148486E7E
+027E6D495A4EC86C7E027C15FE02FC4949824E150F4A4B821301604A4B178001034A5BA2
+4A92C9FCA201074A19C0A24A5CA2010F147FA26D485C90C86016FFA25FA24B4E1380A25F
+A24B60A24D1800A24B95B5FCA24D5FA24B5F655F634B61A294C9485BA24B61634C606303
+7F615190C7FC5E515A03FF601BFF64704B5B4A4D5B64704B5B5090C8FC4A4D5A714A5ADC
+EFC04A5A505A4AD9E7E0495BDCE3F0491380DCC1F84990C9FCDCC0FCEB1FFC4A91397F80
+FFF871B512E04C6C91CAFC050713FC4A020013C095CCFC93CEFCA25CA25DA2147FA25DA2
+14FFA25DA25BA25DA25BA25DA25BA25D5B497F017F13F8007FB7FCB8FCA4D9FC035B6278
+87D25F>112 D<DB03FFED03FF031F01F0021F13F0037F01FC4A13FC4AB56C91B6FC4A90
+2903FF8001FE01138091260FF000903BC007F8003FC0DA1FC090277FE00FE014E04A486D
+6C4848EBFFF0027EC7D81FF8495A4A93383F0007494891380FFC7E494804FE5B49486F48
+5B010F705A5C49486E5B49C8FC4D4915E0137E4F15C049731380983807FE0048484DEB01
+F898C8FC495D120396CAFC5B00075EA26C485ECAFC177FA260A217FFA260A25EA260A25E
+A260A25EA260A25EA24E153C1C3E4C177EA295C9127C1CFC5E64D801F81901D807FE5D48
+6C027F4C5A003F7F515A4803FF4C5AB5FC4B4D5A1B3F4B95C7FC1B7E91270007E7FF5DDB
+0FC74B5A49D91FC34B5A49D93F816D495AD87FF002006DEB1FC001C001FE4C5A003F4948
+90273FE001FFC8FC271FF80FF890391FFC0FFC0007B500E06DB55A6C4A010314E0C691C8
+1480D90FFCDB1FF8C9FC5C557AD26C>120 D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fc cmtt8 12.444 45
+/Fc 45 122 df<EC03E0EC07F0141F143F147FECFFC0491380491300EB07FC495A495A49
+5A495A495A91C7FC5A485A5B12075B120F5B121F5BA2123F5BA2127F5BA412FF90C8FCAC
+7F127FA47F123FA27F121FA27F120F7F12077F12037F6C7E7E806D7E6D7E6D7E6D7E6D7E
+6DB4FC6D13806D13E0EC7FF0143F141F1407EC03E01C506FC737>40
+D<123C127EB47E7F6C7E6C7E6C7E6C7EEA03FE6C7E6C7F6D7E6D7E6D7E130F806D7E1303
+801301807F1580147FA215C0143FA215E0141FA415F0140FAC141F15E0A4143F15C0A214
+7F1580A214FF15005B5C13035C1307495A5C131F495A495A495A4890C7FC485AEA0FFC48
+5A485A485A485A5B007EC8FC123C1C5077C737>I<EC07804A7E4A7EB1003FB712F04816
+F8B812FCA46C16F86C16F0C7D81FE0C7FCB16E5A6E5A2E2E7CB637>43
+D<EA03F0EA07FC487E487E5A1480A214C0A37E7E7E7EEA003F1480137FA2EBFF005AEA07
+FEEA3FFC485A485A5B6C5A90C7FC123C121C6E8D37>I<003FB7FC481680B812C0A46C16
+806C16002A087AA337>I<EA0780EA1FE0EA3FF0EA7FF8A2EAFFFCA4EA7FF8A2EA3FF0EA
+1FE0EA07800E0E6C8D37>I<EC3FC0903801FFF8497F010F13FF4980498049809039FFE0
+7FF0489038801FF848496C7E49130748486D7E49130148486D7EA24848EC7F80A24848EC
+3FC0A349141F007F16E0A448C8EA0FF0AE6D141F007F16E0A36D143F003F16C0A36D147F
+001F16806D14FF000F16006D5B00075D6D13036C6C495A6D130F6C6D485A6C9038E07FF0
+6DB55A6D5C6D5C6D91C7FC010313FC6D5B9038003FC02C417BBF37>48
+D<EA0780EA1FE0EA3FF0EA7FF8A2EAFFFCA4EA7FF8A2EA3FF0EA1FE0EA0780C7FCB0EA07
+80EA1FE0EA3FF0EA7FF8A2EAFFFCA4EA7FF8A2EA3FF0EA1FE0EA07800E2C6CAB37>58
+D<003FB712F04816F8B812FCA46C16F86C16F0CBFCA8003FB712F04816F8B812FCA46C16
+F86C16F02E187CAB37>61 D<003FB67E4815F0B712FC82EEFF806C16C07E2701FE000113
+E09238003FF0161FEE0FF8160717FC1603A6160717F8160F17F0161FEE7FE0EEFFC00307
+138090B712005E16F88216FF178017C049C7EA7FF0161FEE0FF8EE07FC1603EE01FEA3EE
+00FFA65EA217FE16031607EE0FFCEE3FF816FF003FB712F04816E0B812C01780EEFE006C
+5D6C15E0303F7EBE37>66 D<DA0FFC1378DA3FFF13FC91B512E1010314F1010F14FF5B5B
+90387FFC079038FFF001489038C0007F4A133F4890C7121F485A49140F485A491407121F
+5B003F15035BA2127F49EC01F893C7FCA312FF90CAFCAB7F127FA46DEC01F8003FED03FC
+A27F121F7F000F15076D15F86C7E6D140F6C6CEC1FF06C7F6EEB7FE06C01F0EBFFC09038
+7FFE076DB612806D15006D14FC01035C010014E0023F1380DA0FFCC7FC2E417CBF37>I<
+007FB512FCB77E8216F082826C813A03FC001FFF03071380030113C081EE7FE0163FEE1F
+F0A2EE0FF8160717FCA2160317FE1601A417FF82AC5E17FEA3160317FCA2160717F8160F
+A2EE1FF0163FEE7FE016FF4B13C04B1380031F1300007FB65AB7FC16F85E5E16806C02FC
+C7FC303F7EBE37>I<007FB712F8A2B87EA37EA2D801FEC71203A8705AA293C8FCA4ED0F
+C0A24B7EA490B6FCA79038FE001FA46F5AA292C9FCA5173FA2EF7F80A9007FB8FCA2B9FC
+A36C1700A2313F7DBE37>I<007FB712FCB8FC17FEA47ED801FEC71201A8EE00FCA21700
+A5ED07E0A24B7EA490B6FCA79038FE000FA46F5AA292C8FCAF387FFFFEB6FCA56C5B2F3F
+7DBE37>I<263FFFF090B512C0486D4814E0B56C4814F0A36C496C14E06C496C14C0D801
+FEC73807F800B3A290B7FCA749C71207B3A4263FFFF090B512C0486D4814E0B56C4814F0
+A36C496C14E06C496C14C0343F7FBE37>72 D<007FB612F8A2B712FCA36C15F8A2260001
+FEC7FCB3B3AD007FB612F8A2B712FCA36C15F8A2263F78BE37>I<D83FFF49B5FC486D48
+1480B56C4814C014E0A26C6E14806C6D6C140000019138000FE013FD80A2EBFCFCA38014
+7EA2147F80A21580A2141F15C0A2140F15E0A2140715F0A2140315F8A2140115FCA21400
+15FEA2157E157FA2153FA2168F151FA216CF150FA3ED07EFA2150316FF383FFFE0486D7E
+B512F8A2816C496D5A6C49133F323F7EBE37>78 D<90380FFFFC90B612C0000315F04881
+48814881A23A3FFE001FFF01F01303497F48486D1380A249147FA400FF16C090C8123FB3
+AC6D147FA2007F1680A36D14FFA26D5B003F160001F8130701FE131F6CB65AA26C5D6C5D
+6C5DC615C0010F01FCC7FC2A417ABF37>I<007FB6FC16E0B712F882826C8117802701FE
+000713C0030113E09238007FF0163F161FEE0FF81607A217FC1603A6160717F8A2160FEE
+1FF0163F167F923801FFE0030713C090B7128017005E5E5E16E093C7FC49C9FCB2387FFF
+F8A2B57EA36C5BA22E3F7DBE37>I<903903FF800F011F9038F81F80017FEBFE3F90B6FC
+000315FF5A5A48130001F8131F48487F01C01303007F805B00FF8090C8FCA2167FA37FEE
+3F006C6C91C7FCA26C7E13F8EA1FFEEBFFE06C13FF6C14F06C14FEC6ECFFC06D80011F14
+F8010380D9003F7F02037FDA001F13801503030013C0167FEE3FE0A2EE1FF0A2003E150F
+127F5AA46D141F17E0A26D143F6DEC7FC001F814FF01FE4913809026FFE00F130091B55A
+5E5E486C5C011F14C0D8FC0791C7FC3978007FF82C417BBF37>83
+D<003FB712FE5AB9FCA59039000FF000A8007E167EA2C71500B3B3A3010FB512F04980A5
+6D5C303F7DBE37>I<D83FFF91380FFFC0486D4913E0B56C4913F0A36C496D13E06C90C7
+6C13C0D80FE09138007F00A36D5D00075EA76D140100035EA6EC01F80001D907FE5B01FC
+1403EC0FFFA591381F9F8300005EA201FE1487A2023F13C7A3150F017E5DA2027F13E7A2
+EC7E07017F14EFA2013F5DA2EC7C03A402FC13FF4A7E011F5DA44A7E010F92C7FCD907C0
+133E34407FBE37>87 D<263FFFC090B5FC486D481480B56C4814C0A36C496C14806C496C
+1400000190C7EA3FE0A26C5E6E137F017F5D6E13FF013F92C7FC6E5AA26D6C485AA26D6C
+485AA201075CECFC0F01035CECFE1F01015CA26D6C485AA2027F5BA26EB4C8FCA36E5AA2
+6E5AA26E5AB391B512C049804980A36D5C6D5C323F7EBE37>89 D<003FB7FC481680B812
+C0A46C16806C16002A087A7D37>95 D<90380FFF80017F13F048B512FC4814FF48814881
+4881D9F8017F9138003FF8150F6F7E6C481303A2D803C080C81201A3EC03FF91B5FC1307
+133F90B6FC12035A48EBFE014813C0383FFC00EA7FF013C0485A90C7FCA415037F007F14
+076D130FD83FF0133FD9FE01B6FC6CB8FC6C17807E6C4A7EC6DAF83F1300013FEBE007D9
+0FFEC9FC312F7BAD37>97 D<EA3FFF5AB57EA37E7EEA007FABED7FC0913883FFF8028F13
+FE02BF7F91B612C0838303807F9138FE003F02F8EB0FFC4A6D7E4A13034A6D7EA24A6D13
+80A2177FA218C0173FA8177F1880A26E14FF18006E5BA26E495A4C5A6E131F02FE495A91
+39FF81FFF092B55A5F5F02BF91C7FCD93F0F13FCD91F0313F090C7138032407FBE37>I<
+EC3FFE49B512C0010714F0011F804980498090B7FC48EBF0034813803807FE00485A4848
+6D5A5B4848EB00784991C7FCA2485AA312FF90CAFCA87F127FA27F123F6D143F6C6CEC7F
+807F6C7E01FF14FF6C6D4813006CEBF80F6C90B55A6C5D6D5C011F5C010714C0010191C7
+FC9038003FF8292F79AD37>I<ED3FFF5D92B57EA38181ED007FABEC7FC0903803FFF801
+0F13FE013F13FF4914FF90B7FC5A48EBE03F48EB000F48487F01F87F48487F48487FA249
+147F127F5BA212FF90C8FCA87F127F16FF7FA26C6C5BA26C6C5B6D5B6C6C5B6CB45B6C01
+C0B6FC91B712806C17C06C6C806D13FE6D496C1380010701F0140001000180C8FC32407D
+BE37>I<EC7FE0903803FFFC010F13FF013F14C0498090B67E4881489038E03FFC48EB00
+0F48486D7E496D7ED81FF07F003F8049158049147F127F4915C0A200FF153FA290B7FCA5
+1780A20180C9FCA2127F7FA26C6CEC1F80A26C6CEC3FC07F6C6C147F6CB414FFDA800313
+806CD9F00F13006C90B6FC6C5D013F5C6D5C010714E0010191C7FC9038001FF82A2F7AAD
+37>I<ED0FF8ED7FFE4AB51280020714C05C4A14E05C91387FF07F15C09139FF803FC092
+38001F8049EC0F004A90C7FCA8003FB612FE5AB8FCA36C5DA2260001FEC8FCB3AC003FB6
+12F0A24881A36C5DA22B407DBF37>I<EA3FFF5AB57EA37E7EEA007FABED7FC0913883FF
+F8028F7F029F7F91B6FC83A203C07F9138FE003F5C4A804A131F5C5CA35CB3A4003FB548
+B512C048028314E0B600C714F0A36C028314E06C020114C0343F7FBE37>104
+D<14F8497E497E497EA56D5A6D5A6D5A91C8FCA9383FFFFE5A80A47EC7FCB3AC007FB612
+F8B712FC16FEA316FC6C15F8274077BF37>I<007FB5FCA2B67EA37EA2C7127FB3B3AD00
+7FB71280A2B812C0A36C1680A22A3F7ABE37>108 D<91391F8003F03B3FF0FFE01FFCD8
+7FF39038F07FFEB66CB5FC03FD8092B6FC6C836C01E1EBFC3F000301809038F01FE04A13
+E0037F130F4914C0491480A4491400B3A43C3FFF81FFF03FFE4801C36D487EB500E301FC
+1480A36C01C301F814006C0181496C5A392D81AC37>I<ED7FC03A3FFF03FFF848010F7F
+B5009F7F91B6FC837E6C02C07F3A007FFE003F5C4A804A131F5C5CA35CB3A4003FB548B5
+12C048028314E0B600C714F0A36C028314E06C020114C0342D7FAC37>I<EC7F80903803
+FFF0010F13FC013F13FF498090B67E48814801C07F489038003FF8D80FFCEB0FFC491307
+48486D7E491301003F81497F007F168049147FA348C8EA3FC0A96D147F007F1680A26D14
+FFA26C6C491300A26C6C495A6D13076C6C495A6CB4EB3FF8ECC0FF6C90B55A6C5D6C6C14
+806D91C7FC6D5B010313F09038007F802A2F7AAD37>I<ED7FC03A3FFF03FFF848010F13
+FEB500BF7F91B612C0836C826C02807F3A007FFE003F02F8EB0FFC4A6D7E4A13034A6D7E
+A24A6D1380A2177FA218C0173FA8177F1880A26E14FF18006E5BA26E495A4C5A6E131F02
+FE495A9139FF81FFF092B55A5F5F02BF91C7FC028F13FC028313F00280138092C9FCAF00
+3FB5FC4880B67EA36C5C6C91C9FC32447FAC37>I<91397FC00FC0903803FFF8010F9038
+FE1FE0013FEBFF9F4914DF90B7FC5A48EBE03F48EB000F4848130301F87F48487F49147F
+123F49143F127F5B161F12FF90C8FCA87F127F163F7F167F6C7E16FF6C6C5B7F6C6C1307
+6CB45B6CEBC07F6C90B6FC7E6D14DF6D141F010F13FC010313F00100138091C7FCAF031F
+B512E0A24B14F0A36F14E0A234447CAC37>I<EE7FC03B7FFFE007FFF0031F13FCB5D8F0
+7F13FE92B5FC02F314FF6C13F791B512C3D8000FEBFE039238F801FE15E09238C000784B
+130092C8FC5CA25CA25CA35CB1007FB612C082B7FCA37E5E302D7DAC37>I<903907FFC0
+F0017FEBF9F848B6FC12075A5A5A387FFC0001C0131F4848130F90C712075AA46CEC03F0
+D87FC090C7FC13F8383FFFE06CEBFF806C14F86C14FE0001ECFF806C6C14E0010714F0D9
+003F13F8020013FC150F003EEC03FE007F14004815FF167F7FA36D14FF7F6DEB01FE6D13
+0701FFEB3FFC91B512F816F016E04815C0013F1400D8FC0F13FCD8780113E0282F79AD37
+>I<EB03E01307497EAB003FB7FC5AB81280A36C1600A226000FF0C8FCB31603EE0FC0EE
+1FE0A56E133F17C00107147F6EEBFF80903803FF0392B512006D5C6D5C6E5B6E5B020F13
+C0DA03FEC7FC2B3A7DB837>I<D83FFF90380FFFC0485CB56C487FA36C806C80D8007FEB
+001FB3A7163FA2167F6E13FF5D90263FF00FEBFFC091B712E06D16F07FA20103028F13E0
+6DD9FE0F13C09026003FF0C8FC342D7FAB37>I<3B7FFFE007FFFEB56C4813FF6E5AA34A
+7E6C496C13FED801FCC7EA3F80A26D147F00001600A26D5C6D5CA2EC8001013F5CA2ECC0
+03011F5CA2ECE007010F5CA2ECF00F01075CA2ECF81F01035CA2ECFC3F01015CA2ECFE7F
+010091C7FCA291B5FC6E5AA36E5AA36E5AEC07E0302D7DAB37>I<277FFFF003B51280B5
+6C4814C0A56C496C1480D807F0C73803F800A36D140700035EA66C6C4A5AEC03F0EC07F8
+EC0FFCA2EC1FFED800FE4A5AA3EC3F3FA3017E5D027F139F017F14BFA2EC7E1FA2013F92
+C7FC02FE13FF4A7EA34A7E011F5CA26D486C5A6D486C5A322D7EAB37>I<3B7FFFE007FF
+FE6E4813FFB56C5AA36C497E4A6C13FED801FEC7EA3F8012006D147F17007F6E5B013F5C
+A26E485A131F14E0010F495AA214F00107495AA214F80103495A14FC13014B5A14FE1300
+5EEC7E3F147F93C7FC143F5DEC1FFEA36E5AA214075DA35DA2140F5DA2141F5DA2143FD8
+0FC05B381FE07FD83FF090C8FC5CEBF1FE13C3EBC7FCEBFFF87E5C6C5B6C5B6C90C9FCEA
+01FC30447DAB37>121 D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fd cmtt10 20.74 45
+/Fd 45 125 df<EE07C0EE1FF0163FEEFFF85D15075D4B13F05D4B13C092B512804AEBFE
+004A5B4A5B4A13E04A5B4A5B4A90C7FC4A5A5D495B495BA2495B495B5D5B4990C8FC5C13
+7F5C495AA2485BA2485BA25C5A5C5AA291C9FC5AA25BA2123F5BA3127FA25BA412FFA25B
+B07FA2127FA47FA2123FA37F121FA27FA27E80A27E807E80A26C7FA26C7FA26D7E80133F
+806D7F7F816D7F6D7FA26D7F6D7F816E7E6E7F6E7F6E7F6E13F86E7F6E7F6EEBFF806F13
+C06F13F0816F13F881150181EE3FF0161FEE07C02D8663F75A>40
+D<121FEA3FC0487EEAFFF87F13FF806C7F6C7F6C7F6C7F00037F6C7F6C7F013F7F6D7F6D
+7F6D7F6D7F7F6D7F6E7EA26E7E6E7F80826E7F8082806E7FA26F7EA26F7EA2151F828117
+80A28117C0A281A217E081A317F0A281A417F8A2167FB016FFA217F0A45DA217E0A35D17
+C0A25DA217805DA217005D5E153FA24B5AA24B5AA24A5B5C5E5C4A5B5E5C4A90C7FC4A5A
+A24A5A495B5B495B495B495B495B90B5C8FC485B485B000F5B485B485B485BB55A91C9FC
+13FC5BEA7FE06C5A6CCAFC2D8671F75A>I<EB3FC0EBFFF04813FC487F487F48148015C0
+5A15E0A215F0A215F8A37EA27E7E7E7E133FEB007F15F0A214FFA24913E05B4913C0A201
+1F13805B4913003803FFFE121F485B485BB55A5C5C91C7FC5BEA7FF8EA3FE06CC8FC1D2E
+61955A>44 D<001FBA12C04819E04819F0BB12F8A66C19F06C19E06C19C0450C76BA5A>
+I<13FCEA03FF000F13C04813E04813F0A24813F8A2B512FCA66C13F8A26C13F0A26C13E0
+6C13C000031300EA00FC16165E955A>I<EEFF80030F13F8033F13FE92B67E020315E04A
+81021F15FC4A814A8191B87E498349028080499026FC001F7F4901F001077F4B7F490180
+01007F4990C86C7E4A153F49486F7EA249486F7F48496F7FA248496F7F4A81A248496F7F
+A24890CA6C7EA34848717EA34848717EA449170F007F85A5498300FF1A80B16D5FA2007F
+1A00A56D5F003F61A36D173FA2001F616D177FA26C616E16FFA26C6D4B5BA26C6D4B5BA2
+6E5D6C616E5D6C6D4B5B017F95C7FC6E5D6D6C4B5A6F14FF6D6D495B6D6D495B6F5B6D01
+FC011F5B6DD9FF80B55A6D91B65A6D5F6E93C8FC6E5D6E5D020715F06E5D02001580033F
+49C9FC030F13F803001380496D78EA5A>48 D<13FCEA03FF000F13C04813E04813F0A248
+13F8A2B512FCA66C13F8A26C13F0A26C13E06C13C000031300EA00FC90C7FCB3AC13FCEA
+03FF000F13C04813E04813F0A24813F8A2B512FCA66C13F8A26C13F0A26C13E06C13C000
+031300EA00FC164A5EC95A>58 D<EB1F80EB7FE03801FFF8487F487FA2487FA2481480A6
+6C1400A26C5BA26C5B6C5B38007FE0EB1F8090C8FCB3ACEB3F80EBFFE04813F8487F487F
+5A805A1580A315C0A47EA27E7E7E7E133F13031580A25BA2491300A2495A133F495A13FF
+485B1207001F5B485B485BB55A91C7FC5B5B5BEA7FE06C5A6CC8FC1A6261C95A>I<F107
+C0F11FE0F13FF0F1FFF860180760183F95B5FC4D14F0050714E04D14C0053F14004D5B4C
+B512F84C5C040F14C04C5C047F49C7FC93B512F803035C4B14C0031F5C4B49C8FC92B55A
+4A14F002075C4A1480023F91C9FC4A13FC49B55A4914E0010F5C4991CAFC017F5B90B512
+F800035C4814C0001F5C4849CBFC485BB512F05C1480A214E0806C13FC6C7F6C6D7E0007
+806C14F0C6806D13FE011F7F6D14C00103806D14F86D6C7F6E13FF020F806E14E0020180
+6E14FC033F7F6F6D7E0307806F14F00300807013FE041F6D7E7080040314F07080706C13
+FE717F050F14C07114E0050114F07114F8183F180F84180184F13FF0F11FE0F107C04558
+76E05A>I<001FBB12C0481AE0481AF0BC12F8A66C1AF06C1AE0000F1A80CFFCAE000FBB
+1280003F1AE0481AF0BC12F8A66C1AF06C1AE06C1AC04D267AC75A>I<121FEA3FC0487E
+EAFFF87F13FF8014E0806C13FC6C13FF6C80000714E06C80C614FC6D7F011F6D7E6D8001
+0314F00100806E13FE021F7F6E14C00203806E14F86E6C7F6F13FF030F806F14E0030180
+6F14FC043F7F706D7E0407807014F00400807113FE051F7F7114C0050314E07114F0716C
+13F884180FA2183F604DB512F04D14E0050F14C04D1400057F5B94B512F804035C4C14C0
+041F5C4C49C7FC93B55A4B14F003075C4B1480033F91C8FC4B13FC4AB55A4A14E0020F5C
+4A91C9FC027F5B49B512F8495C010F14C0495C017F49CAFC90B55A000314F0485C001F14
+804891CBFC4813FCB55A14E0148091CCFC13FC5BEA7FE06C5A6CCDFC455876E05A>I<EE
+3FF84C7E4C7E4B7FA24B80A54B80A44B487FA4031F80EEFC7FA4033F80A2EEF83FA2037F
+80A3EEF01FA203FF80A3EEE00F4A81A44A496C7FA54A496C7FA44A496C7FA54A486D7FA4
+023F824B147FA3027F824B143FA402FF8292B7FCA34983A44984A403C0C7120749844B80
+A3498492C87EA449844A81A3013F844A167FA2001FB500F8023FB512F0007F6E4A14FCB6
+6C91B612FEA26F5BA34B7FA26C4A6E14FC001F4A6E14F04F6B7BEA5A>65
+D<DC1FFE141F4BB500E0EB3FC0030702F8137F033F02FE14E04B9138FF80FF4AB712E002
+0716F14A16FD4A93B5FC5C5C91B5EAFC07499138C0007F4991C7121F4901FC1407494980
+4901E0804B804949814990C97E5C49488285485B4A825A5C484982A2485BA291CA7E5AA2
+5B003F7213C0A249F03F0097C7FC127FA25BA412FFA25BAF7FA2127FA47FA2123FA27F1A
+3F001FF1FFC07F4F13E07E80A26C7FA26C6D5E806C1AC06E5E6C7F4F13806D7E6E5E6D6D
+4B13006D6D5D6F4B5A6D01F84A5B6D6D5C6D01FF020F5B6D02C0013F5B6DDAFC03B55A6E
+90B75A6E5F6E94C7FC6E5E6E5E020116F06E6C15C06F92C8FC030714FC030114E0922600
+1FFEC9FC4B6D79EA5A>67 D<001FBB12F0481AFC5A1BFEBCFCA37EA27E7ED800070180C9
+121FADF20FFCA2F203F097C7FCAAF01F80F07FE0A24E7EA792B7FCAB0380C7FCA7725AA2
+F01F8095C9FCB3A8001FB612FC48814881A2B87EA36C93CAFCA26C5D6C5D4F697CE85A>
+70 D<001FB500FE023FB512FC007F6E6C90B7FCA2B76C481680A56C4B6C1600A2001F4A
+C7003F14FC26001FFEC9D83FFCC7FCB3B091B9FCAB4AC9123FB3B3A2001FB500FE023FB5
+12FC007F6E6C90B7FCA2B76C481680A56C4B6C1600A2001F4AC7003F14FC51697CE85A>
+72 D<001FB912E0007F18F8A2BA12FCA56C18F8A2001F18E0C8D87FF8C8FCB3B3B3B3AB
+001FB912E0007F18F8A2BA12FCA56C18F8A2001F18E03E6972E85A>I<001FB612FC007F
+15FF83B8FCA57E94CAFC001F15FCD800070180CBFCB3B3B3AAF207E0F20FF0F21FF8F23F
+FCB0001FBBFC127FA2BCFCA56C1AF8A2001F1AE04E697BE85A>76
+D<0203B512FE91B712F8010716FF011F17C0017F17F090B97E48844884A2488448198092
+38C0001F02FCC712014801F06E6C13C002C0151F4A814890C96C13E0A24982A24982A200
+7F19F0A24982A700FF19F849177FB3B3A76D17FFA3007F19F0A56D5EA4003F19E06D5EA3
+6D5E6E5D6C6D4B13C06E5D6E5D6C01FC4AB51280DAFFE0133F92B8FC6C19006C60A26C60
+6C606D5F011F17C0010794C7FC010016F802034AC8FC456D76EA5A>79
+D<001FB812F0007F17FF19E0BA12F819FE85861AE06C8586001F85D8000F90C880060F7F
+1803060014807313C0191F7313E0857313F0A2857313F8A21A7FA21BFC1A3FA91A7F1BF8
+A21AFFA24F13F061A24F13E0614F13C0197F96B5128006031400180F95B55A92B85A6262
+621A8097C7FC6119F819E096C8FC18F092CCFCB3AD001FB67E007F15E0A2B77EA56C5DA2
+001F15804E697CE85A>I<0203B512FE91B712F8010716FF011F17C0017F17F090B97E48
+844884A248844819809238C0001F02FCC712014801F06E6C13C002C0151F4A814890C96C
+13E0A24982A34982007F19F0A34982A600FF19F8A249177FB3B3A76D17FFA2007F4AB46C
+14F04B7F83A283A26D6D6D5AA26F13FC003F19E06D6E6C5AA2EE3FFF6D5E7013876C6D03
+8F13C06E6D13DF02F06D90B5FC6C01FC17809138FFC00392B8FC6C19006C60A26C606C60
+6D5F011F17C0010794C7FC010083140391C8000F7FA2717FA2717FA2717FA2717FA2727E
+85841A80841AC0841AE084A27213C0721380458376EA5A>I<DB7FFE141F0207B500E0EB
+3FC0023F02FC137F91B714E00103EEC0FF4916F0011F16FC4993B5FC5B90BAFC5A48ECE0
+0F4849C77E02F8141F4801E01407484914014A804890C97E49824982127F49828412FF5B
+84A484A27FA27213C06C7EF13F006D94C7FC6C7EA26C7F14E06C7F14FC6CEBFF806C14F8
+EDFF806C15F86CEDFF806D15FC011FEDFF806D16F06D16FC010116FF6D6C16C0021F8202
+0382DA003F81030181DB001F80040180DC001F1480050114C0717E061F13E0847213F084
+7213F8841AFC197FA2193FD81F8018FEEA3FE0007F181F487EA67F193FA21AFC6D177FA2
+6D18F86D17FF4E13F002C05D6E4B13E06E5D02FC4B13C002FF157F03F049B512809226FF
+800F140093B65A61616101E75F01E15FD9E07F93C7FCD9C01F15FC007F010315F049C66C
+14C0001FC7000101FCC8FC476D77EA5A>83 D<001FB712E0007F16F8A2B812FCA517F8A2
+17E001F0C9FCB3B3B3B3B3B3A490B712E017F8A217FCA56C16F8A2001F16E02E865BF75A
+>91 D<001FB712E0007F16F8A2B812FCA57EA2121FC9123FB3B3B3B3B3B3A4001FB7FC12
+7FA2B8FCA56C16F8A2001F16E02E867AF75A>93 D<001FBA12C04819E04819F0BB12F8A6
+6C19F06C19E06C19C0450C767B5A>95 D<91381FFFFE0103B612E0010F15F8013F15FE90
+B87E4817E0488318FC48838448849126F8000F804A1300053F7F050F7F836C4902017F83
+6C49826C49157F6C90C9123F013C8390CAFC181FA5EF7FFF93B6FC151F4AB7FC140F147F
+49B8FC1307131F5B90B812DF489238F8001F4892C7FC4814E04891C8FC4813F814E0485B
+91C9FC485A5B485AA25BA57F183F127F6D167F6D16FF6C6C5D6E14076C01E0141F02F891
+B612C06C9026FF801FEDFFF86C91B912FEA26C1AFF7E6C17F7013F16C36D16010107DBFC
+0014FE010103F0131FD9003F0280010313F8020701F0CAFC504D77CB5A>97
+D<4BB512E0031F14FE92B77E020316E0020F16F8023F824A8249B8FC49835B49188049EC
+80004901F8C77E4913E090B5128092C8FC4801FC6F1300485B4A6F5A48496F5A4A6F5A48
+EF01E04A92C8FC4890CCFCA2485AA25B127FA25BA212FFA25BAA7FA2127FA27FA26C7EA2
+7F6C183F6EEEFFC06C7F4E13E06C7F6E5D6C7F6C01FE4B13C06E5D6C02C04A13806D01F0
+5C6D01FC49B512006D9038FFC00F6D91B65A6D5F6D5F6D5F6D6C5E6E5E020F93C7FC0203
+15FC020015F0031F1480030101F8C8FC434D74CB5A>99 D<050FB5FC053F14C05F86A683
+170FEF0001B3923807FF80037F13F04AB512FE020FECFF814A15C1027F15F149B712F949
+93B5FC5B5B5B4914004901F0131F90B500C013074891C712014A804801F8814A81484981
+484981A248498191C9FC84485AA24982127FA25BA212FFA25BAA7FA2127F60A27F606C7E
+A2606C7E6E5D6C5F806C6D5D6E92B5FC6C6D5C6E5C6C6D5C6C6D6C131F6D01E0137FDBFC
+03B712FC6D90BAFC6D1A806D16FD6D16F9010116E16D16C1023F15816E4AC6FC020702F8
+1600020002E0013F13FCDB1FFECBFC516A7AE85A>I<923803FFE0033F13FE4AB67E0207
+15E0021F15F84A15FE91B8FC4917C0010783498349834914004901F0010F7F03C001037F
+90B5C8FC48496F7E48498102F06F138048834A6F13C0485B4A6F13E04890C9FC84484818
+F0A24982127FA24918F8A200FF187F90BAFCA81AF0A21AC001F8CCFCA2127FA27FA2123F
+7FA26C7E6EEE0FC06CF03FF0806C6DEE7FF8806C6D16FF806C6D4B13F06C6D6C5C6F020F
+13E06D01F05C6D01FE027F13C06D9026FFE007B5FC6D91B712806D18006D5F01005F6E5E
+021F16E00207168002014BC7FC6E6C14F8030F14C0030001FCC8FC454D76CB5A>I<9438
+03FFE0053F13FC4CB6FC040715C04C15E0163F4C15F093B7FC4B16F85D5D4BEBFE0317F0
+4BD9C00113F017804B90C713E04CEC7FC04B48EC3F8096C7FC5EAD001FB912FC4818FF5A
+BB1280A56C1900A2001F18FCC8D87FF8C9FCB3B3B0000FB912C0488448844884A56C606C
+606C60456A7AE95A>I<381FFFFE007F6D7EB6FC81A67E121FEA0003B3EF3FFE4CB512C0
+040F14F0043F14FC93B67E03C38103C78203CF8203DF8292B87EA2DDE00F7FEF000104F8
+7F4C6E7E16C04C143F93C87F5D5D191F5D5DA35DA45DB3B1001FB600F8017FB612C0007F
+DBFE01B712F0B817F85FA5836C03FE17F0001F9226F8007F15C055697EE85A>104
+D<ED07C0ED1FF04B7E4B7E4B7EA24A7FA56E5BA26F5A6F5A6F5AED07C092CBFCAF0007B6
+12F8001F15FEA24881A57EA21207C8120FB3B3B0001FB912FC488448841A80BBFCA37E1A
+006C606C60416A73E95A>I<381FFFFC007F13FFA2B67EA57EA2121FEA0001B3A2053FB6
+12F094B712FCA24C82A5705EA2053F15F0DD001F0180C7FC4E90C8FC4E5A4E5A4D5B4D5B
+4D5B051F5B4D5B4D90C9FC4D5A4C5B4C5B4C5B4C5B4C13804C90CAFC4C5A4C5A15810383
+7F1587038F7F039F8003BF8092B6FC04FD7F04F97F04F07FEEE07F4C6C7E04807F4C6C7E
+03FC6D7F4B7F4B814B6D7F4B6D7F4B7F727E85727E181F727E86727F84727F86727F737E
+193F001FB600F8010FB6FC007F03FE013F15C0A2B84915E0A56C4B6D15C0A2001F03F801
+0F150053697DE85A>107 D<001FB612FC4815FF5AB87EA57E7E7EC81207B3B3B3B3AB00
+1FBA12E04819F04819F8BB12FCA56C19F86C19F06C19E0466976E85A>I<DB03FEEC07FC
+291FFF801FFFC090383FFF8048D9E07F6D90B57E4891B5D8F80114F002F3DAFC0780B500
+F76E488091B65B7148806C5F95B7FC7E6C0307DAFE0F7FD8003FD9F803ECF0074B6C4A7E
+DBC000EC8001884B150092C75B4A6E487FA24A5DA34A5DA54A5DB3B2001FB5D8E007B5D8
+C00FEBFF8048DAF01FDAE03F14C0486E486E4814E0A2B600FC03F815F0A36C02F803F015
+E0A26C4A6C4A6C14C06CDAE007DAC00F14805C4B81CA5A>I<EF3FFE261FFFFE49B512C0
+007F9026FF800F14F0B6013F14FC6FB67E03C38103C78203CF8203DF8292B87E7E001FDC
+E00F7FD80003ED000104F87F4C6E7E16C04C143F93C87F5D5D191F5D5DA35DA45DB3B100
+1FB600F8017FB612C0007FDBFE01B712F0B817F85FA5836C03FE17F0001F9226F8007F15
+C0554B7ECA5A>I<ED07FF037F13F00203B512FE020F6E7E023F15E04A8149B712FC4982
+49824983498349D9FC0180499026E0003F7F90B50080010F7F4AC7120348496E7F48496E
+7F4A157F48496F7E4A8148496F1380A24890C96C13C04982003F19E04982A348487013F0
+A44848EF7FF8AC6D17FF007F19F0A36D5EA2003F19E06D5EA26C6C4C13C0A26E5D6C6D4B
+1380A26C6D4B13006E5D6C6D4B5A6C6D4A5B02FF14076C6E495B6D01E0013F5B6DD9FC01
+B55A6D90B75A6D5F6D94C7FC6D5E6D5E6D6C15F06E5D020F158002034AC8FCDA007F13F0
+030790C9FC454D76CB5A>I<EF3FFC261FFFFE0103B57E007F9026FF801F14F0B6017F14
+FC03C1B67E03C36F7E03CF8203DF16F092B87E866C85001FDCE01F7FD800039138FE0003
+04F801008004E0023F7F4C6E7F4C804BC86C7F854B6F7F4B814B831A7F4B707EA34B707E
+A286A31C80A286AA62A21C008162A2636F163FA26F4C5AA26F4C5A616F5F616F4B5B705C
+70023F5B704A5B04F849B5FC70010791C7FC9326FFC07F5B94B65A6203DF5E03CF5E03C7
+5E03C393C8FC03C115FCDBC07F14F0041F14C0040791C9FC040013F094CBFCB3A8001FB6
+12F8007F15FEB8FCA76C5D001F15F851717ECA5A>I<922603FFC0EB0FC0033F01F8EB3F
+F04AB6FC02079238C07FF8021F15E04A15F891B712FC4916FE010716FF4917FF5B49EC80
+7F499038F8000F03E0130390B500807F4849C87E4849814A81485B4A814849815C488391
+C9FC484882A24982127FA25B197F12FFA25BAA7FA2127F19FF7FA2003F5F7FA26C6C5EA2
+6E5D6C6D5D606C7F6E5D6C6D5D6C6D92B5FC02FF14036C6E5B6D01F0131F6DD9FE01B6FC
+6D90B8FC6D177F6D16FE6D16FC6D16F86D6C15F06E15C0020F1500020314FCDA007F13F0
+030F90C7FC92C9FCB3A80507B71280051F16E0A24D16F0A57116E0A205071680547179CA
+5A>I<953801FFF0001FB500FC021F13FE4802FF91B6128048040315C0DC800F15E0B749
+15F0057F15F894B7FC6C038316FC16876C158F6C039F1481C7000701BFEBF80193B512C0
+95C713F85F05F8EC7FF04DEC1FC04DEC07004D91C7FC5F94CAFC5EA25E5EA25EA35EA35E
+A45EB3A9001FB9FC48844884A2BA7EA36C60A26C606C95C8FC4E4B7BCA5A>I<0203B513
+1F027F9138F03FC00103B6EAFC7F010F03FF13E0013F16FF90B9FC5A5A5A5A5AED000748
+01E0EB007F0280141F4848C87E01F88100FF825B4981A56D6F13C07F6C6CEE3F006D93C7
+FC6C6C7E14F06C13FF6C14FCEDFFF06CEDFF80000116F86C16FF013F16C0010F16F00103
+16FC010082021FEDFF80020016C0030315E0DB000F14F0EE007F050F13F8050113FCD81F
+8081D83FE0EE3FFE007F171F487EF00FFFA26D82A37FA26D5E7FF01FFE806E153F02F0ED
+FFFC6E5C02FE020F13F89126FFE001B5FC92B712F019E019C01980190001E75E01E316F8
+01C016E0007F013F1580D9800702FCC7FC001FC76C1380404D73CB5A>I<157EEDFF805C
+4A7FB2001FBA12804819E05ABB12F0A56C19E0A2001F1980C7000301C0C9FCB3B1F101F8
+F107FEA2F10FFFA661821AFE6E163F70147F70ECFFFC6E6D5B70010713F892397FFFE03F
+94B612F06F16E01AC06F16806F16006F5D6F15F803005D043F14C0040F49C7FC040013F0
+48607CDE5A>I<261FFFFE92B512F0007F6D6C010314FCB65C6F82A66C82001F1600D800
+03EE001FB3B3A5193FA3197F19FFA26F5C606D6D140F6003FC91B5FC6D9026FFC00791B5
+12C093B912F06E19F8A280806E16DF6E161F0201EDFC0F6E6C02F015F0031FDA800314C0
+030101FCCAFC554B7EC95A>I<001FB500FE020FB6FC007F6E6C013F15C0B718E0705BA5
+4C7F6C1BC0001F4AC7000F1500C601E0CA13E0017F61A56E5E013F61A56D6C4C90C7FCA6
+6D6C4C5AEE03FCEE0FFF4C1380A24C13C06D6C4C5AA24C13E0A393B5FC6D6C6F485A17BF
+179F4B14F8A36D01815E0383ECFC3F171F170F158718FE6D609238C7FE0703CF157FA218
+FF027F496C5CA3EDDFF803FF6D13FFA26E5F4C7EA44C7F6E94C8FC5E6E6F5A4C131FDA03
+FEC7EA07F8534B7DC95A>119 D<000FB60103B612C0003FDB800F15E0704815F04815E0
+1BF8A31BF06C15C04C6C15E0000FDB000315C0D8000101E09026003FFCC7FC6D7F6E6C4A
+5A6E6C4A5A616E6C5B6E6C495B6E4A5B048091C8FC6E6D5A6E6D485A6E5D6F6C485AEEF8
+7F6F6C485A031F5C6FB55AA26F5C6F91C9FC6F5B815F705A705A83167F4C7E4B7F835D4B
+80DB0FFC7F844B486C7E92383FF03F037F804C6C7E4B486C7E4A14074A01807F4C6C7F4A
+6E7F4A5A4A486D7F727E4A486E7E4A488102FF151F4B6E7E49498149707F001FB500FE91
+B612F0007F6E010315FC1680B76C4815FEA56C4B6C15FC1600001F4A010015F04F4A7BC9
+5A>I<EA1F80EA3FC0EA7FE0EAFFF0B3B3B3B3B3B3B3A2EA7FE0EA3FC0EA1F800C8659F7
+5A>124 D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fe cmr10 20.74 20
+/Fe 20 118 df<B812F8AA2D0A7EA939>45 D<F001F84E7EA34E7EA34E7EA34E7FA34E7F
+A34E7FA395B57EA34D80A34D8018F3A205078018E1A2050F8018C0A24D488085053F8118
+00854D81177E8505FE815F850401824D7FA20403824D7FA20407824D7FA2040F824D7FA2
+041F834D80A2043F8394C87EA24C83047E81A204FE834C81A20301844C81A20303844C81
+A20307844C81A2030F8493BAFCA24B85A34B8593CA123FA24B85037E83A203FE854B83A2
+0201864B83A20203864B83A20207864B83020F865D87021F875D88023F87A2027F858A14
+FF4986496D86496D60496D86017F01FC95B57E0003B66C0407ECFF80B700F80307B812F0
+A6747C7AFB81>65 D<95260FFFE0ED03804DB500FE1507051FDAFFC0140F94B700F8141F
+040316FE041F70143F047FDA800F01C0137F93B500F0C77F03030280DA1FF813FF030F01
+FCC83807FC014B01F0ED03FE4B01C0923800FF0392B5CAEA7F874A49EF1FC74A01F8EF0F
+EF4A4971B5FC4A49834A49834A5B4A90CCFC4A4885494985495B49498589495B4949855B
+4B855B92CDFC90B586485B895A5C481D7F5CA25A1E3F5C5AA348491B1FA45A9BC7FCA35C
+B5FCB27E80A47EF60F80A36C7FA37E801E1F6C1E00A2807E6E636C1D3EA26C6D1B7E6D1C
+7C6F1AFC7F6F626D1B016D6D626D6D1903535A6D7F6D6D4F5A6D6D4F5A6E7E6E6D4EC7FC
+6E6D187E6E6D606E6D17016E6D4D5A6E01FEEF0FF06E6D4D5A033F01C04C5A6F01F0EEFF
+806F01FCDB03FEC8FC0303D9FF80EC0FFC030002F0EC7FF870903AFF800FFFE0041F91B6
+1280040394C9FC040016F8051F15E0050192CAFCDD000F13E0697E77F97C>67
+D<B912F0A6D800074AC7FC010014F06E5B6E5BB3B3B3B3B3AA4A7F91B57E010714FEB912
+F0A634767BF53E>73 D<BAFCA6D8000792CCFC010014F06E5B6E5BB3B3B3AA1D3EA41D7C
+A71DFCA21DF8A31C01A31C03A3F407F0A21C0FA21C1F1C3FA21C7F1CFF5113E0631B0F63
+1B7F4A4DB5FC91B56C150F01076E4AB6FCBEFC1DC0A55F767BF56C>76
+D<B700C00407B712FC8282A28282D80001DF0007ECFC00D9003F6D050014E070063F1380
+E30FFEC7FC71715A023E6E715A836F735A6F7F83816F7F83816F7F84816F80707FA2707F
+707FA2707F707FA2707F7080A27080717FA2717F717FA2717F717FA2717F7180A2718072
+7F8684727F8684727F868472808784737F737FA2737F737FA2737F737FA27314807314C0
+A27413E07413F0A27413F87413FCA27413FE7413FFA27414817414C1A27513E17513F11D
+F9877513FD1DFF8787A28787A2888888A28888A28888147F884A6C197F497F010701F019
+3F011F01FC191F90B67EB86C170F1D07A21D031D01775A76767BF581>78
+D<BA12FEF1FFF01AFF1BE01BFC1BFFD8000702F0C7000F14C001004ADA007F13F06E4903
+0F13FC6E05037F08007F093F13C0757F757F757F757F8789757F8AA2767FA38A88A28AA9
+66A26466A26699B5FC9BC9FC6563515B65515B5113C0515B097F90CAFCF3FFFC08035B08
+0F13E0087F138096260FFFFECBFC93B812F01B8050CCFCF2FFC004C0C7001F13F0070313
+FC9638007FFF747F080F13E0747F747F747F747F888789757FA2757FA3757FA789A789A8
+77EC0F80A387A377141F8721004A6D8291B56C735B010702FE70163EB900F06F6D137E88
+766D5B766D485A0A031403769038FC0FF0D06CB55A0B1F14800B0391C7FC9A38003FF879
+7A7BF57F>82 D<EDFFF8021FEBFF80027F14F00103B612FC499038803FFF90271FF80007
+7FD93FC0010113E049C87F01FEED3FF80001707E6D6C81486D140F6E6E7E486D826E8085
+8385A3717F6C5B6C5B6C5B6D5A90CAFCA74CB5FC93B6FC151F4AB7FC020F14E0023FEBF8
+0091B51280010301FCC7FC010F13F04913C04990C8FCEBFFFE4813F8485B485BA2485B48
+5BA24890C9FC1BF8485AA3485AA25FA45FA26D5D127F5F6C6C923A1F3FF801F0A26C6D14
+3E6C6D913A7C1FFC03E06C6DD901F89038FE07C06C6D49486CB5FC6C01FC90260FE00714
+806C6CB46CB4486C14006D90B5C66C13FC010702FC6D5B010002F0EC1FC0020F018091C8
+FC4D4F79CC56>97 D<923801FFF0031F13FF92B612E0020315FC020F9038803FFE913B3F
+FC0001FF80DA7FF09038003FC0494848EC0FE04901806E7E4990C87F4948151F49484B7E
+013F167F49484B7E49485CA2485B5A5C5AA248496E5B725A48715A725A4890CCFCA35AA3
+5BA212FFAE127F7FA37EA36C7FA2F10F806C7FA26C181F6E17006C606C6D163E197E6C6D
+167C6D6C16FC013F5F6D6C15016D6C4B5A6D6D4A5A6D6D4A5A6D6DEC3F806D01F802FFC7
+FCDA3FFEEB03FE913A0FFFC01FF86E90B55A020015C0033F49C8FC030113E0414F7ACC4D
+>99 D<923807FFC0033F13FC4AB67E020715E0021F01017F913A7FF8003FFCDAFFE0EB0F
+FE49496D7E0107496D7F4990C76C7F49486E7F49488249486F7E01FF163F4A824849151F
+48845C48717EA2485B1A804883A24890C9FCA21AC05A845BA312FF90BAFCA31A8049CCFC
+AA127FA27FA27EA36C7FF10380F107C07E6E160F7E6C6DEE1F80A26CF03F006C7F6E167E
+017F17FE6D6C5E6D6C4B5A6D6C15036D6D4A5A6D6D4A5A01006DEC3FC0DA7FF802FFC7FC
+DA1FFEEB03FE913A0FFFC03FF8020390B55A020015C0031F49C8FC030113F0424F7BCC4D
+>101 D<F2FF80070713C0DB1FFE021F13E04AB500E0017F13F00207913AF801FF83F802
+1F9139FE03FC07913D7FFC0FFF87F00FFC9126FFE001EBCFC00103903B80007FFF801F49
+90C7393FFE000F49486E5A49486E6C14F8013F7013074A6EEC03E0017F71C7FC49486E7F
+A24884A248496E7FA34884AB6C60A36C6D4A5BA26C60A26D6C4A5B013F94C8FC6E5C011F
+5E6D6C4A5A6D6C4A5A496D495A499039E001FFC091267FFC0F5BD93E1FB548C9FC020714
+F8D97C0114E09126001FFECAFC92CCFC13FCA67FA27FA280EB7FE014F86DB77E18FE6DEE
+FFE019F86D17FE6D717E6D841AF0010F84013F84D9FFF0C8FC48018003077F4890CA6C7E
+D807FC171F484805071380484883003F7213C04983127F49F07FE0A2485A1A3FA66D187F
+007F1AC0A26C6CF0FF806D5F001F1A006C6C4D5A6C6C4D5A6CB4EF1FF86C6D4C5A6C01E0
+EEFFE0D97FF803035BD91FFE030F90C7FC90260FFFC0EC7FFE010301FE90380FFFF8D900
+7FB712C0020F4BC8FC020115F0DA000701FCC9FC4E727BCD56>103
+D<EB07E0EB1FF8497E497E90B5FC4880A86C91C7FC6D5A6D5A6D5AEB07E090C9FCB3A4EC
+1F8048B5FCB6FCA6C6FC131F7FA27FB3B3B3497FA2017F13F0B712F8A625747BF32F>
+105 D<EC1F800003B5FCB6FCA6C6FC131F7FA27FB3B3B3B3B3A9497FA2017F13F8B712FC
+A626787BF72F>108 D<023FDA1FFEEE3FFC0003B591B500E04AB512C0B6010702FC020F
+14F8041F6E023F8093283FE01FFF8090397FC03FFF93267F00036D9026FE00077F04FC6D
+9026E001F86D7FDB03F06D9026F007E06D7FC64A48027F49487F011F4A03F849816D4948
+6E6C48C86C7E4BC8143E6D013E031F49153F033CDCFE7882037C17F84B705A4B6F49151F
+8C4B5FA34B5FA44B94C9FCB3B3A6496D4B6D4B7EA2017F01F892B500F04AB512E0B7D8FC
+01B7D8F803B712F0A6844C7ACB8F>I<023FEC1FFE0003B591B512E0B6010714FC041F80
+933A3FE01FFF8093267F00037F04FC6D7FDB03F06D7FC64A48147F011F4A816D49486E7E
+4BC8FC6D013E151F033C82157C5D4B150F865DA35DA45DB3B3A6496D4B7FA2017F01F892
+B512F0B7D8FC01B712F8A6554C7ACB60>I<EEFFE0031F13FF037F14C00203B612F8020F
+9038803FFE913A1FFC0007FFDA7FF0010113C0DAFFC06D6C7E49496E7ED907FEC8EA0FFC
+49486F7E49486F7E013F844A8149486F7F01FF844849707EA24849707E4885A24890CA6C
+7EA24885A3481A804983A2007F1AC0A500FF1AE0AD007F1AC0A46C6C4D1380A36C1A00A3
+6C6D4C5AA26C616E167F6C616C6D4C5AA26C6D4B5B017F606D6C4B5B6D6C4B90C7FC6D6C
+4B5A6D6C4B5A6D6D4A5A6D6D4A5A9026007FF0903801FFC0DA3FFC01075B91280FFF803F
+FEC8FC020390B512F8020015E0031F91C9FC030113F04B4F7BCC56>I<922601FFE0143E
+031F01FE147E92B67E020381020F9026E01FF013FE023F90380003F8DA7FFCEB00FCDAFF
+F0EC7E01010349141F4949EC0F834949EC07C34990C813E34948ED03E74948ED01F701FF
+17FF4A815A4849167FA24849163F5A5C48181F5CA25AA291CAFC5AA4485AAE6C7EA47EA2
+80A27E807EA26C6D163FA26C6D167F7E6E16FF6C5F6D7E6D6C5D011F5E6D6CED0FDF6D6D
+EC1F9F6D6DEC3F1F6D6D14FE6D01F8EB01FCDA3FFEEB0FF8913A1FFF807FE0020790B512
+C002011500DA003F13F8030313C092C9FCB3A44F7EA24EB512E00503B712F0A6546D7ACB
+5B>113 D<023FECFF800003B5010713F0B6011F7F4C13FE9338FF83FF923801FC079226
+03F00F1380DB07E014C0C64B5A011FEB0F806DEB1F00151E6D133E153C037C6D13800378
+6D130003F86D5A4B6D5A94C8FCA25DA35DA65DB3B3A2497F81017F13FCB87EA63A4C7CCB
+43>I<EC03E0A81407A5140FA4141FA2143FA3147FA214FF5BA25B5B5B5B137F48B812E0
+120FB9FCA4D8000101E0C8FCB3B3187CB06D16F881A3027FEC01F081143F6FEB03E0141F
+6E6CEB07C06E6CEB0F806E9038801F006EEBE07F6EEBFFFE033F13F8030F5B0301138036
+6C7DE943>116 D<DA1F80163F0003B50307B5FCB64AB6FCA6C6EE0001011FEE003F6D83
+A26D83B3B3A661A461A36D5FA296B5FC816D5EDE03EF7F6D17CF6F020780027FDB0F8F13
+F86E6CDA3F0FEBFFF86E6C147EDA0FFEEB01FC913A07FFE00FF86E90B512E0020015C003
+1F0200ECFE00030101F002C0C7FC554E7ACB60>I E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Ff cmr6 12.444 17
+/Ff 17 116 df<EC0FF891B57E010314E0010F14F890391FF80FFC90397FC001FF49C76C
+7E48486E7E49141F48486E7E000782491407000F82A248486E7EA2003F82A3491401007F
+82A600FF1780B3A2007F1700A46D5C003F5EA4001F5EA26C6C4A5AA26C6C4A5AA26C6C4A
+5AA26C6C4A5A6C6C6CEBFF806D6C4890C7FC90393FF80FFE010FB512F8010314E0010014
+80DA1FFCC8FC31477AC43F>48 D<EC0780140F143F147FEB03FF131F0007B5FCB6FC13FD
+13E1EAF8011200B3B3B0497F010F13F0B8FCA4284574C43F>I<ECFFF0010713FF011F14
+E0017F14F89039FF807FFC3A03FC001FFFD807F001071380D80FC0010113C0496D13E048
+C8127F003E16F0003CED3FF8127C007EED1FFCB47E7F6DEC0FFEA56C5AA26C5AC9FC17FC
+161FA217F8163F17F0167F17E0EEFFC04B13804B13005E4B5A4B5A4B5A4B5A4B5A4B5A4A
+48C7FC4A5A4A5A4A5AEC1FC04A5A4AC7121E14FE495AD903F0143C495A495A495A49C812
+7C137C4915FC48B712F85A5A5A5A5A5AB812F0A32F4579C43F>I<EC3FFC0103B512C001
+1F14F890397FE01FFE9039FE0003FFD801F801007FD803E06E7E48488148486E7E01F081
+486C141F837FA56C5A6C5AD801C04A5AC9FC5F167F5F16FF5F4B5B4B90C7FC4B5AED1FFC
+913801FFF049B55A93C8FC16C016F890C7EA1FFEED03FF6F13C06F6C7E707E83707EA270
+7E83A2821880A2EA1F80487E487E487EA318005EA2495D6C48141F90C85B003E4B5A003F
+5E6C6C4A5AD80FE049485AD807FC495B2701FFC01F90C7FC6C90B512FC013F14F0010714
+C09026007FFCC8FC31477AC43F>I<EE0F80161F163F167FA216FF5D5DA25D5D5DA2153E
+5D5DA24A5A4A5A4A5AA24A5A4A5A143EA25C5C495AA2495A495A495AA249C7FC133E5BA2
+5B485A485AA2485A485A48C8FCA2123E5A5AB912F8A4C80001EB8000AC4B7F4B7F020FB6
+12F0A435467CC53F>I<D8038015E001F8140F9039FFC001FF91B6FC17C017005E5E16F0
+5E168003FCC7FC01C313C001C0C9FCADEC1FFC01C1B57E01C714E001DF14F89039FFF01F
+FC91380003FE01FC6D7E01F06D138049EC7FC049EC3FE04915F0C9121F17F8A217FC160F
+A217FEA4121F487E487E12FF7FA217FC49141FA24915F8007EC8FC007CED3FF0123C003E
+ED7FE06C16C06DECFF806C6C491300D807F0EB07FED803FC495A3A01FF807FF86C6CB512
+E06D1480010749C7FC010013E02F4779C43F>I<ED3FF0913803FFFE021F6D7E91397FE0
+1FC09139FF0003E0D903FC6D7E49486D7E494813014948EB07FC495A4948130F49C7FC5A
+5B48486E5A1207EE01E0484891C8FCA2121F5B123FA3007F14609039E00FFF80023F13F0
+4A13FC91B57E3AFFE1F803FF9026E3E0007FD9E780EB3FC001EFC76C7E01FE81707E4981
+49140783A2496E7EA318805BA2127FA5123F7FA21800121FA2000F4B5A7F00075E160F6C
+6C5D6D4A5A00015E6C6C4A5A6D6C495A90273FE001FFC7FC90391FF80FFE6DB55A010314
+F0010014C0DA1FFEC8FC31477AC43F>I<121E121F13F090B812C0A35A188018005F5FA2
+5F007EC8EA01F0007C4B5A4C5A00785E160F4CC7FC163E485D167816F8C8485A4B5A4B5A
+5E150F4BC8FC153EA25D15FC5D14015D14034A5AA2140FA25D141FA2143F5DA2147FA314
+FFA34990C9FCA65BAA6D5AA2EB0078324878C53F>I<EC1FFE49B512C0010714F890391F
+F007FE49C77E017CEC3F8001F06E7E4848EC07E000038248486E7E1601485A707E121FA2
+7FA27F160101F85D7F01FF14036C01C0495A6E5C6C01F8130F02FEEB3FC06C6D6C485A6C
+DAC1FFC7FC6CECF3FC6DEBFFF86D14E06D1480010714E06D14F816FE010F804915C0D97F
+C780D9FF018048486C6C7FD803F8131F484801077F48486D7F48481300003FED3FFF4914
+0F007F8190C86C138048814881177FA2173FA318007E7E177E7F6C6C5D001F4B5A01F014
+036C6C4A5AD807FEEC1FE02601FF80EB7F806C9026F007FFC7FC013FB55A010F14F80103
+14C09026003FFCC8FC31477AC43F>I<EC1FFC49B57E010714E090390FF80FF890393FE0
+03FC90397F8000FE49C7127F48486E7E48488148486E7E000F6F7E485A83003F1507007F
+825BA28312FF160383A61880A25E127FA36C6C5CA2001F5D7F000F5D6C7E0003157B6C6C
+14F33A00FF8003E390397FE00FC36DB5008313006D1403010713FE010013F89138030007
+91C75BA35F160F5FA2D803C04A5AEA0FF05F486C143F5F4C5A4CC7FC49495A1503D80FC0
+495AED0FF06C6CEB3FE03A03FE01FFC06CB6C8FC6C5C013F13F00103138031477AC43F>
+I<B500FC060FB512E06E60A26E60C66CF3C0006D63011E6D057B90C7FCA26E6C17F3A26E
+6CEE01E3A26E6CEE03C3A36E6CEE0783A26E6CEE0F03A26E6C161EA26E6C163CA36E6D15
+78A26F6C15F0A26F6CEC01E0A26F6CEC03C0A36F6CEC0780A26F6CEC0F00A26F6C141EA2
+6F6C5CA36F6D5BA2706C5BA2706C485AA2706C485AA3706C485AA2706C48C7FCA2933803
+FE1EA2706C5AA37013F8A2715A133F715AD9FFC04E7F000301F06E484A7FB600C0041FB6
+12E0A2715A71C7FC63477AC671>77 D<B9FC18F818FF19C0C66C48C7000313F06D489138
+007FF8011FEE0FFE727E7213807213C07213E0F17FF0A21AF8193FA21AFCA71AF8A2197F
+1AF0A2F1FFE04E13C04E13804E13004E5AF07FF8943803FFF091B812C096C7FC18F895C8
+FC02FCCBFCB3A8497E497EB77EA446477BC655>80 D<903807FFE0013F13FE90B67E0003
+15E02607FC007F49EB1FF8486CEB07FC6F7E6F7E83816C48816C48147F6C5AC9FCA492B5
+FC143F0103B6FC011FEBFC7F90387FFE003801FFF04813804848C7FC485AEA1FF0485A12
+7F5B00FF17785BA316FFA26D5B127F6D5B6C6C90390FBFE0F0D81FFC90383F1FF1270FFF
+01FEEBFFE06C9038FFFC0F000102F014806C6CD9C0071300903A0FFE0001F8352F7AAD3F
+>97 D<EC1FFC91B512C0010714F04914FC90393FF80FFE90397FC001FF903AFF80007F80
+4848C7EA3FC04848EC1FE012074848EC0FF0485AEE07F8485AA2007F150317FC5B12FF90
+B7FCA401C0C9FCA5127F7FA3123F6D153C121F6C6C157C6D1578000716F86C6CEC01F06C
+6C6CEB03E06C6D1307D97FF0EB1FC0D91FFFEBFF006DEBFFFE010314F8D9007F13E0020F
+90C7FC2E2F7CAD38>101 D<EF1FE0DA3FF0EBFFF00103B5000313F8010F02C713FC49EC
+FFF190267FF03F13019039FF8007FC48903A0003FE00F8490101147048486D6C13000007
+82A248486E7EA86C6C4A5AA2000393C7FC6C6C495A6D13036C6D485A90397FF03FF890B6
+12E0D801EF5C01E391C8FC3903E03FF049CAFC7FA37F7F13FE6CB612F8EEFF8017F06C16
+FC6D816D8148B81280000717C0D80FFCC7000F13E0D81FE0020013F04848153F4848150F
+90C9EA07F85A481603A46C16076C17F06D150F6C6CED1FE0D81FF0ED7FC0D80FFC913801
+FF806CB46C010F1300000101F8EBFFFC6C6CB612F0011F15C001034AC7FCD9001F13C036
+447CAD3F>103 D<01FFEB3FC0B5EBFFF0020313F84A13FC91380FE7FE0003EB1F876CEB
+3E076C133C1478ED03FC9138F001F89138E000F01600A25CA35CB3A54813E0B612E0A427
+2D7BAC32>114 D<D90FFF13E0017F13E10003B6FC5A380FF801391FC0003F48C7120F00
+7E140715035AA21501A27E7E01C090C7FCEA7FF0EBFF806C13FEECFFE06C14FC6C800003
+ECFF806C15C0D8003F14E0010714F0EB001F020013F8151F0070EC07FC00F0140315017E
+1500A27E7EED01F87E6DEB03F06D130701F0EB1FE001FEEBFFC000FCB61280486CEBFE00
+D8F01F13F8D8E0031380262F7BAD32>I E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fg cmr10 22.7103 62
+/Fg 62 123 df[<F0FFF8053FEBFF804CB612F0040F15FC043F9038C00FFEDCFFFCC76C
+7E4B01E0EC3FC003070180EC0FE04B48C86C7EDB3FFC6F7EDB7FF04B7E4B48151F4A49ED
+7FFE4A4915FF4A5E4A90C8804B5D4A5A143F5D147FA25D735B14FF4B6F5B745AF21FE097
+C9FCB3A41B7F070FB5FCBDFCA6C701F0C81203F1007F8686A286B3B3B3A7496D4C7F496D
+4C7F011FD9FF804AB512F8007FB7D8E007B712FEA5DAC03FEEFC03>95
+133 124 260 105 12 D[<943801FFFE053FEBFFF04CB6EAFE07040F92B5FC043FEBC003
+DCFFFCC7123F030313E04B01805CDB1FFEC8B5FC4B485CED7FF04B5A4A495C4A5B4A90C8
+FC4A825D4A5A023F825D027F173F864B82A214FF5DB3A9BDFCA6C701F0C9120FB3B3B3AC
+496D4C7F496D4C7F011FD9FF804AB512F8007FB7D8E007B712FEA5DAC03FEEFC03>95
+133 124 260 105 I[<17C0EE03E01607EE0FC0EE1F80EE3F005E16FE4B5A4B5A4B5A4B
+5A4B5A153F4B5A4BC7FCA24A5A4A5A14075D4A5A141F5D143F4A5A5D14FF92C8FC5B495A
+A213075C130F5C131F5CA2133F5C137FA25C13FFA2485BA35A91C9FCA35A5BA2120FA25B
+A2121FA35BA2123FA55B127FA9485AB3AA6C7EA9123F7FA5121FA27FA3120FA27FA21207
+A27F7EA3807EA36C7FA2137F80A2133F80131FA280130F801307801303A26D7E7F81147F
+816E7E141F81140F6E7E8114036E7E6E7EA26F7E6F7E151F6F7E6F7E6F7E6F7E6F7E167F
+82EE1F80EE0FC0EE07E01603EE00C0>43 188 109 268 73 40 D[<126012F87E127E7E
+6C7E7F6C7E6C7E6C7E6C7E6C7E137F806D7E6D7EA26D7E6D7E8013036D7E807F816E7E14
+3F81141F816E7EA28114078114038180A2828082A2157F82A26F7EA382151FA382150FA2
+82A21507A282A381A21780A58117C0A96F13E0B3AA4B13C0A917805DA51700A25DA35EA2
+150FA25EA2151F5EA3153F5EA34B5AA25E15FFA25E5C93C7FCA25C5D14075D140F5DA24A
+5A5D143F5D147F4A5A92C8FC5B5C495A13075C495A495AA2495A495A91C9FC13FE485A48
+5A485A485A485A5B48CAFC127E5A5A1260>43 188 118 268 73
+I<F107804F7E4F7EB3B3B3A3003FC112F04820F8C212FCA46C20F86C20F0CCD81FE0CCFC
+B3B3B3A3735A735A7E7E76ED93>43 D<EA03F8EA07FE381FFF804813C04813E0A2B512F0
+A214F8A414FCA27EA27E6C13BC3807FE3CEA03FCC7FCA6147CA21478A314F8A214F01301
+A214E01303A2EB07C0A2EB0F80A2EB1F00A2133E137E137C5B1201485A485A485A485A90
+C7FC121E120C1639709334>I<B912C0AB320B7EAD3F>I<EA01F8EA07FE381FFF804813C0
+4813E0A2B512F0A86C13E0A26C13C06C13803807FE00EA01F81414709334>I<EE3FF803
+07B512C0031F14F092B612FE02039039E00FFF804AD900017FDA1FFC9038007FF0DA3FF0
+EC1FF84A486E7E4A486E7E49496E7E4990C86C7F49486F7F010F844948707E4A163F013F
+844948707EA201FF844A160F4885A24849701380A3481AC0A24A82481AE0A3481AF0A448
+1AF8A291CA7EA3481AFCA9B519FEB3AD6C1AFCA86C6D4C13F8A66C1AF0A46C1AE06E5EA2
+6C1AC0A36C1A806E5E6C1A00A26C6D4C5AA2017F606E163F013F606E167F011F606D6C4C
+5A6D6C4B5BA26D6D4A5B6D6D4A90C7FC6D6C6CEC0FFCDA3FF8EC3FF86E6C4A5ADA07FF90
+3801FFC06ED9E00F5B020090B548C8FC033F14F8030714C09226003FF8C9FC4F8279FD5E
+>48 D<167816FC150115031507151F157FEC01FF1407143F49B5FC133FB7FC5C14F814C0
+49C6FC13C0C8FCB3B3B3B3B3A84A7F4A7F4A80027F14F8007FB912F8A5ED80073D7E6FFD
+5E>I<923807FFC092B512FE0203ECFFE0021F15F84A15FE91B87E49D9F00314E0010790
+C76C7FD90FFC020F13FCD91FF06E7FD93FC002017F49486E8049C96C7F4848707F484884
+4848707F4982484884727F48488286485A72148090CAFCD87FFE826D6C18C08080B56C82
+1BE080A86C5BA26C5B6C5B6C5B6C90CA14C0D800F894B5FC90CBFCA34E1480A21B0060A2
+6260624E5BA24E5B6260624E5B97C7FC95B5FC4D5B614D5B4D5B614D5B4D5B4D90C8FC60
+4D5A4D5A4C5B4C13C0604C90C9FC4C5A4C5A4C5A4C5A4C5A4B138094CAFC4B5A4B5A4B5A
+4B5A4B5A4B5A4B48ED03E04A90C9FC5D4A48EE07C04A5A4A5A4A5A4A5A4A5A4ACA120F4A
+1880495A495A4948171F495A495A4948EF3F0049CA48B4FC90BBFCA25A5A5A48615A5A5A
+BBFCA362A34B7E77FD5E>I<923801FFF8033FEBFF804AB612F0020715FE021F6F7E027F
+D9007F13E0DAFFE0010F7F010390C7000313FCD907FC6E7FD90FF06E7F49486F7FD93F80
+6F7F49C96C7F017E8401FE707F485AD9FFC06F7F4813F002FC83806E81488581A86C91C8
+FCA26C495F6C495D6D5AEB1FE090CA5CA26062A26260624E5BA24E5B97C7FC4E5A614D5B
+4D5B4D13C04D5B4D90C8FCEF7FFC933801FFF04BB512C092B6C9FC4A8118F06E15FE92C7
+6C6C7E050F7F050313F07113FC717F727E7213C0727F86727F727FA2727F86A27214801B
+C0A2841BE0A21BF0A285A21BF8A21378EA03FF000F13C0487F487F487FA2B57EA41BF0A2
+96B5FCA21BE05C7E4A4B14C05C028018806C90C95A018019006C6C606D5E6C6C606C6C4C
+5B6D4C5B6C6C606C6C4C5B6C6D4B5BD97FE092B5C7FCD91FF84A5B6DB44A13F8010301E0
+010F5B6D01FE017F13C06D6CB7C8FC021F15FC020315F0DA007F1480030301F0C9FC4D82
+78FD5E>I<190F4F7E193F197FA219FF60A26060A26060A26060A295B5FC5FA25F5F18DF
+EF0F9F171F181F173E177E177C17F8160117F0EE03E0160717C0EE0F80161F1700163EA2
+5E5EA24B5A4B5AA24B5A4B5AA24BC7FC153EA25D5DA24A5A14035D4A5A140F5D4AC8FC5C
+143E5C14FC5C495A13035C495A130F5C49C9FC5B133E5B13FC5B485A12035B485A120F5B
+48CAFC5A123E5A12FCBD12E0A6CB003F0180C7FCB3A44E7FA295B57E050F14FE93B912E0
+A5F0F00153807BFF5E>I<EA03E0A27F487E13FEEBFFFC91BBFCA35AA31BFE1BFCA21BF8
+481AF01BE0A21BC01B8001F0CB127F01801900003F19FE90CB12014F5A003E614F5A190F
+007E61007C4E5A193F624FC7FC614E5A48604E5A1807CB5B4E5A181F614E5A187F4EC8FC
+604D5A1703604D5A170F60171F4D5AA24D5AA24DC9FCA24C5A1603A24C5AA2160F5F161F
+A2163F5F167FA34C5AA25DA34B5BA25DA35DA25F5DA35DA45DA394CAFC92B5FCA65CA85C
+AF6E5BA26E5BED3FF0ED0FC0508476FF5E>55 D<EA01F8EA07FE381FFF804813C04813E0
+A2B512F0A86C13E0A26C13C06C13803807FE00EA01F8C8FCB3B3A5EA01F8EA07FE381FFF
+804813C04813E0A2B512F0A86C13E0A26C13C06C13803807FE00EA01F8145170D034>58
+D[<92B57E020F14FC027FECFFC049B712F80107D9C00713FED90FFCC76C7ED93FE0020F
+13C0D97F8002037FD801FEC86C13F8D803F86F7F4848707E498348488248481880003F71
+13C090CAFC01F018E0EA7FFC6D827FB56C17F080A86C5B606C90C914E0EA0FFC6C5ACB48
+13C0A24E1380A295B51200614D5B4D5B4D5B4D5B4D13804D90C7FCEF7FFC604D5A4C5B60
+4C5B4C90C8FC5F4C5A5F4C5AA24C5A5F167F5F4CC9FCA25E15015EA25E15035EA34B5AA4
+5EB36FCAFC92CBFCB0ED0FC0ED3FF0EDFFFC4A7F4A7FA24A80A86E91C9FCA26E5B6E5BED
+3FF0ED0FC0>68 133 118 260 89 63 D[<F107E04F7EA34F7EA34F7EA34F7EA396B5FC
+A24E80A34E80A34E80A34E8019DFA2061F80198FA2063F801907A2067F80F07E03A206FE
+804E7EA20501824E7EA20503824E7FA20507824E7F050F826086051F826086053F8295C7
+FC864D82057E80A205FE824D80A20401844D80A20403844D81A20407844D81A2040F844D
+81A2041F844D81A2043F8494C97E4C84167E8704FE845E8703018693BBFCA24B86A34B86
+04E0CA123FA2030F864C83A2031F864C83A2033F8693CB7EA24B86037E84A203FE864B84
+A20201884B840203885D890207885D89020F88A2021F868B023F86147F4A6C87497F4951
+7F010F01FE4F7F013F6D6C4E800003B600F00507B612F8B80407B9FCA5D9FC01F3C007>
+128 135 122 262 141 65 D[<BC12F0F3FF801CF81CFF1DC01DF0D8000702FCC96C13FC
+D9007F01F0040F7F6E4904036D7E0900806E737F767F767F767F767F767F7680A276808B
+898BA2898BA2898BAA6765A26765A2679AB55AA2525C5291C7FCA2525B525B525B525B52
+13C099B55A090391C8FC5113FC091F13F098B512C0080F91C9FC93B912F81C801CFCF4FF
+C004E0C9000F13F8090113FE756C6C7E0A1F13E00A0713F8767F767F766D7E777F777F8B
+777F898B777F8B8920808920C0A220E089A320F0A48AA29BB5FCA520E0A26520C0A26520
+806520006567535B65535B9AB55A525C525C525C5291C7FC4A073F5B99B512F84A6D0403
+5C0107B500FC043F14C0BF5A53C8FC1DF01DC00AFCC9FC1C80>116
+129 121 256 134 I[<96263FFF80ED01C0060FB500FCED03E095B76C1407050716E005
+3F04F8140F94B800FE141F0403913AFC003FFF80040F028001036D133F043F01FCC8D87F
+F0137F4C01E0DB1FF813FF4BB50080ED07FE4B49C93801FF01030F01F87013834B01E0EF
+7FC3037F49EF1FE792B54871B5FC4A49CB7E4A49844A49844A49844A5B4A49854A8791B5
+48854991CDFC4949868A495B4949865B4B865B4B865B90B5481B7FA2485C1F3F5A92CFFC
+1F1F5A5C5A1F0FA2485BA3481E075CA348F603C09CC7FCA45CB5FCB37E80A57EF701C0F7
+03E0807EA36C7FA21F077E6E1DC07EA26F1B0F7E20806C6E1B1FA26D6D1C006D65816D1D
+7E816D1DFE6D6D636D6D1A01676D6D505A6D6E19076E6D626E1B0F6E6D4F5A6E6D4F5A6E
+6D4FC7FC6E6D19FE6E6D18016E6D6C4D5A6F6D4D5A031F6D4D5A6F01F8EF3FE0030301FE
+EFFF806F6D6C4B90C8FC6F6C01E0ED0FFE7001FCED3FF8040FD9FF8049B45A040302FC01
+3F13C0040091B7C9FC053F16FC050716F0050016C0060F02FCCAFCDE003F1380>115
+137 118 260 136 I[<BC12F0F3FF801CF01CFE767E1DF0D8000702FCC8000380D9007F
+01F0DB001F13FE6E4904036D7E0900806E073F13F00A0F7F0A037F767F766D7E0B3F7F77
+7F777F777F89777F777F8B787F8A8C787FA2787F8C8A8C8A8C8A8CA3781480A221C0A28B
+21E0A321F08BA421F8A621FCA58BA767A521F8A621F0A36721E0A421C09CB5FC2180A354
+1400A268666866686668545BA2545B685490C7FC9BB5FC535B535B535B535B535B535B53
+5B9AB5C8FC0A035B525B0A1F13F04A077F5B0903B512804A6D041F91C9FC0107B500FC03
+03B512FCBE12F01DC052CAFC1CF81C8009F0CBFC>126 129 121
+256 144 I<C012C0A48BA2D800074AC91201D9007F01F8EE00076E4917001D1F6E1A0789
+89777F1E7F1E3F1E1F1E0FA21E07A21E038BA21E01A31E00A38BA21F7CA51B7CA28BA49C
+C7FCA41BFCA41A01A21A031A071A0F1A1F1A7FF10FFF93B8FCA604F0C7120FF1007F1A1F
+1A0F1A071A031A01A21A00A41B7CA2F701F0A3F703E0A598C9FCF707C0A51F0F2080A31F
+1FA3F73F00A367A267A2545AA21E031E07A21E0F545A1E3F1E7FF501FF1D074A1A1F0B7F
+5B4A6D0507B5FC0107B500FE4CB6FCC0FCA367A374807AFF80>I<BF12FCA48AA2D80007
+4AC9120FD9007F01F8EE003F6E4917071C016EF1007F1D3F1D0F777E89A28989A28AA28A
+1F80A21E1FA31E0FA31FC0A21E07A7E001F0EC03E0A49BC7FCA61A03A41A07A21A0F1A1F
+1A3F1A7FF101FF191F93B8FCA604F0C7121F1901F1007F1A3F1A1F1A0F1A07A21A03A41A
+01AA97CBFCB3AB4A7F824A7F0107B612E0BA12F0A59138FC003F6B8079FF7B>I[<B500FC
+90267FFFFE91267FFFFE013FB5FC91B794B8FCA5D8000703C0C90003EDE000D9007F01FC
+CB003F49C7FC6E49725BA26E49725BB3B3AD93BCFCA604F0CB120FB3B3B24A6D4E7FA24A
+6D4E7F0107B600C00403B612E0B900FE027FB9FCA59126FC007F9538FE003F>128
+129 122 256 141 72 D[<B500FC011FB5128091B8FCA5D8000303E0C7FCD9003F49C8FC
+6E5BA26E5BB3B3B3B3B3B34A7FA24A7F0103B612E0BA1280A59138FC001F>57
+129 123 256 68 I[<B500FC013FB512F091B8FCA5D8000703E0CCFCD9007F49CDFC6E5B
+5E6E5BB3B3B3B01E7CA51EF8A71D01A31EF0A21D03A41D07A31D0F1EE01D1FA21D3FA21D
+7F1DFF64A20A0713C064646499B5FC4A18031B0F4A6D93B6FC0107B500FE151FBFFC1E80
+A5>102 129 121 256 118 76 D[<B700F899B712F07063A37063A2D8000757C7FCD900
+7F6DE107BF13E06E6803BF6DF20F3F021F68A2039F6D1A1EA2038F6D1A3CA303876D1A78
+A303836D1AF0A203816DF101E0A303806DF103C0A3706CF10780A2706DF00F00A3706D18
+1EA3706D60A2706D60A3706D60A2706D4D5AA3706D4D5AA3716C4D5AA2716D4CC7FCA371
+6D161EA3716D5EA2716D5EA3716D5EA2535A717FA2716D4B5AA3726C4B5AA2726D4AC8FC
+A3726D141EA3726D5CA2726D5CA3726D5CA3726D495AA2726D495AA3736C495AA2736D48
+C9FCA373EBC01EA3736D5AA2736D5AA3736D5AA373EBFDE0A273EBFFC0A3745BA34A6C70
+90CAFCA24A6C705A4A7E496D537F010701FE705A011F6D6C99B57E48B600F86F48040F14
+FEB800F04EB912F0A2745AA3DA801F7048EFF001>156 129 120
+256 173 I[<B700F094270FFFF801B5FC7096B7FC82A28282D80001E0001F1580D9001F
+6E0501ECF80071716C13E00C1F1380717290C7FC71725A785A03BF7F039F6D725A83158F
+03877F841583038180841580707F8482707F8482707F858270808582717F717FA2717F71
+7FA2717F7180A271807180A2727F727FA2727F727FA2727F7280A272807280A2737F737F
+A2737F737FA2737F7380A273807380A2747F747FA2747F747F88867414801DC0867414E0
+1DF0877513F81DFC877513FE1DFF877514811EC1877514E11EF1887613F97613FDA27613
+FF88A28888A28889A28989A28989A2894A6C85A24A6C854A6C1A7F497F010701FE1A3F01
+1F6D6C191F48B612F8B800F0180F1E07A21E031E01DA801F745A>128
+129 122 256 141 I[<953801FFFE063FEBFFF00503B7FC051F16E0057F16F80403B5D8
+800713FF040F01F8C76C13C0043F01C0020F13F04C90C800037F922601FFFC030013FE4B
+01F0EE3FFF030F497013C04B018004077F4B90CA6C7FDBFFFE7113FC4A49717F4A49727E
+4A49727F4A49727F4A49727F4A49727F4A90CC6C7F91B5874B854949737F49894949747F
+4B86498A4949747FA24949747FA24949747F90B589A24891CE6C7FA2488B4A87A2482080
+A248497514C0A34820E0A24A88A24820F0A44820F84A88A5B51FFCB26C6D5213F8A66C20
+F0A26E99B5FCA26C20E0A36C6D5114C0A36C20806E63A26C20006F626C67A26C6E505BA2
+6D666F626D666F626D666D6D505BA26D6D97B55A6D9BC7FC6D6D4F5B6F616D656E6D4E5B
+6E6D4E5B6E6D4E5B6E6D4E5B6E646E6D4E90C8FC6E6D4E5A6E01FF05035B6F6D4C5B031F
+6D4C13E06F6D4C5B6F01F8047F5B03016D4C48C9FC6F6CB4030313F87001E0021F5B040F
+01F8027F13C004039026FF8007B5CAFCDC007F90B612F8051F16E0050393CBFCDD003F14
+F0060149CCFC>126 137 118 260 147 I[<BC7E1BFEF3FFC01CF81CFF1DC0D8000702FC
+C8000F80D9007F01F0DB007F13F86E49040F13FE09037F6E0600807613E00A1F7F767F76
+7F888A767F1F80881FC07713E0A21FF0A37713F8A41FFCAA1FF8A45313F0A21FE0A29AB5
+12C0A21F80521400A2525B525B66525B0A3F5B525B99B5C7FC09035B090F13F8097F5B08
+0FB512C093BAC8FC1CF81CE051C9FC1B8004F0CEFCB3B3AE4A7FA24A7F0107B612C0B912
+FEA59138FC007F>110 129 121 256 128 I[<BB12E0F2FF801BF81BFF1CE01CFCD80007
+02FCC814FFD9007F01F00307806E49030014E0091F13F86E06077F7513FF090080767F76
+7F767F767F8A767FA2767FA276808BA38B88A28BAA67A26467A267A25291C9FC66646652
+5B66525B525B5290CAFC525A09035B090F13F0093F13C098B5CBFC080713FC97B512F093
+B9128009FCCCFC1BE01BF804E0C7000113FFDF003F13C008077F7413F808007F75B4FC75
+7F757F757F89757F8789757FA289878AA2888AA58AA68AA58AA68AF90380F907C0A2888A
+A376160F8A7617804A7F766E131F4A6D1D000107B66C705EB900FC6F8076167E776D5B0B
+1F7F779038F803F89126F8007F06039038FE0FF0D190B55A0C3F14800C0791C7FC9B3800
+3FF8>130 133 121 256 139 82 D[<922603FFF01538033FD9FF80147C4AB600F014FC
+020715FC021F03FF1301027FD9001FEBC003DAFFF0010013E0010301C091381FF8074990
+C8EA07FCD90FFC923801FE0F4948923800FF1F4948EE3F9F4948EE1FFF49488248498248
+8491CA7E484883A24848187F001F193FA249181F123F1A0FA248481807A31A0312FFA21A
+01A27FA21A007FA37F1B7C7F6C7FA26E18386E95C7FC806C7F806C13FF8115F06C14FEED
+FFE06C15FE6CEDFFE017FE6CEEFFE06C17FE6DEEFFC06D17F86D17FE6D717E6D846D18F0
+0100846E17FE021F83020784020184DA003F83030383ED003F040382DC003F811703DD00
+3F801803DE007F7F191F73148019037314C085867413E0A28686A200707313F012F886A3
+86A37E86A47E1CE0A27EA2626D1AC0A27F6D4E1380A26D4E13007F505A7F6D4E5A6D616E
+173F6E4D5A02F04D5A6E4C5BD9E7FE4C5B9026E3FF804B90C7FC01C001E04B5A9026807F
+FCED3FFC91261FFFC049B45A496C01FF010F13E0020391B65A48010094C8FC48023F15FC
+030715F048DA007F14800070030101F8C9FC>84 137 118 260 105
+I<000FC012F8A5488B03E0C76C91C7120302FCC8001F01FCEC001F02E06F49150302801B
+0049C9193F491D1F491D0F491D07491D03A24848777EA2491D00A390CA1A7EA3003E1F3E
+A3007E1F3FA3007C8BA848F70F80A5CB97C7FCB3B3B3B3A34E7F4E7F4E7F050FB612F803
+7FBBFCA59538F8000F798079FF88>I[<B500FC90267FFFFE92270FFFF801B5FC91B795B7
+FCA5D8000703C0CA001F1580D9007F01FCCB0001ECF8006E49726C13E00C1F13806E4973
+90C7FC785A785AA2785AB3B3B3B3A61E03A26E6482A21E078067A270190F80676E1B1F70
+626E1B3F826F50C8FCA26F6D18FE1D016F6D606F6D4D5A6F1907714D5A6F6D4D5A6F6D4D
+5A6F6D4D5A706C17FF706D4B90C9FC706DED07FE04076DED0FF87001F8ED3FF07001FE4A
+B45A9327007FFFC001075B051F01FC90B5CAFC7190B65A050316F8DD007F15E0061F92CB
+FC060114FCDE001F1380>128 133 122 256 141 I[<B5D8E007B500E0932603FFFEEBFF
+FC91B796B6FCA5D8001F03E0CB001F150001014ACC000314F06D4A7314C06E49736C90C7
+FC4C745A6E656E765A706368807063A26E65701A3F6E9AC8FC82676E1C7E831FFE6E6471
+18016F63831E036F63831E076F6371180F6F63831E1F6F63831E3F6F98C9FC71606F1A7E
+841EFE6F62841D0170617216037061841D077061841D0F706172161F7061841D3F7096CA
+FC846570187E7315FE7060851C01715F851C03715F731407715F851C0F715F73141FA271
+5F73143F7194CBFC856471167E7413FEA2715EF2C001725D1AE01B03725DF2F007A2725D
+F2F80F725D1AFC1B1F725DF2FE3FA27292CCFC745A72147E1BFEA2725CA3735BA2735BA3
+735BA3735BA2735BA37390CDFCA3735AA2735A>134 133 125 256
+141 I[<261FFFF890B500FE4AB539E00FFFF091B795B6FCA5D8000304C0DA001F03F8C7
+FCD9003F4AC9000392C8FC020F02F87014F86E4A7014E06E4A7113806E7448C9FC6E6366
+6F6D715A6F6D4D5A666F6D606F6D177F9BCAFC6F6D17FE6F6E1501656F6E4B5A6F6E1507
+65706D4B5A72151F7060706D4B5A724BCBFC82706D15FE515A7080706E495A515A708071
+6D495A515A717F716D495A51CCFC717F716D13FE505A71148171ECC3F8F2C7F07114E772
+EBFFE06384725C98CDFC8484A27280878472808785737FA24F7F8796B5FC4E8088F003FB
+DE07F18007F0804E5A4E486C7F063F6D7F19804E486C7F4E6D7F604D486D7F05036E8060
+4D486D80050F6E80604D486E7F053F834E804DC86C7F4D834D814C486F7F16034D6F804C
+486F80160F4D6F804C48707F163F4D707F4CCA6C7F5E4C717F4B48717F15034C71804B48
+7180150F4C7180031F737F4B5A037F737F03FF737F5C4A747F4A88021F6D874A6D4E8049
+B56C4E80010F02FE95B67E90B76C040715FFB800F893B912F0A5DA003F9738FC007F>
+132 129 124 256 141 88 D[<0007BD12F81DFCA504F8C9003F13F84BCA4813F015F003
+8094B512E04ACA5A4801F81AC04A4D14805C4A4D14004A4D5B91CBFC494E5B494E5BA249
+4E5B4995B5FC644F5C5B4F5C494D91C7FCA24F5B4F5B5B4F5B001F606396B55AA290CA48
+5C4E5CA24E91C8FC60624E5BCBFC4E5B4E5BA295B55A4D5CA24D5C5F97C9FC4D5BA24D5B
+4D5BA24D5B94B5FC614C5C5E614C91CAFCA24C5B4C5BA24C5B5E6093B55AA24B5C4B5CA2
+4B91CBFC4B49173EA24B5B5D5F4B5BA292B548177E4A4A177CA24A5C5C94CBFC4A5BA24A
+5B4A4918FCA24A5B91B55AA2494A17015B5E4991CB12031DF8495B49491807A24949180F
+495B1C1F90B548183F481B7F5D484A18FF1B034891CB5A4849601B3F484995B5FC481907
+4A053F14F04849041FB6FC91BCFCBEFCA57E>95 129 118 256 115
+90 D[<B612C0A890C8FCB3B3B3B3B3B3B3B3B3AA90B512C0A8>26
+188 107 268 52 I[<B612C0A8C7123FB3B3B3B3B3B3B3B3B3AAB6FCA8>26
+188 124 268 52 93 D<92381FFF804AB512F8020F14FF027F15E0902701FFF80313F849
+90C76C7ED90FF8EC1FFFD91FE002077FD93F806E7F49C86C13F0496C6E7F02E0157F4801
+F8826E6F7E6E6F7E5A6E6F7FA28684A286846C5BA26C5B6D5AEB1FE090CAFCA794B6FC16
+3F0307B7FC153F4AB5EAF80302071400023F13F091B512804949C7FC010713F8011F13E0
+495B4990C8FC495A485B485B485B5A5C485B5A5C481BF8A291C9FCA2B5FC5B60A460A26D
+5EA26C173E6E157E953A7C7FF001F06C6D15F86C16016C6D913B03F03FF803E06C6DDA07
+E0EBFC076C6D913B0FC01FFE0FC06C01FEDA3F8090B512806C6C6C6C9026FF000F14006D
+9026F00FFC6D5B010F90B5486D5B010103E0010013F0D9003F0280EC3FC0020101F8CBFC
+555679D35E>97 D[<EC0FE048B5FCB6FCA6C67E130F7F7FA27FB3B1943803FFE0053F13
+FE94B612C0040315F093260FFE0013FCDC3FF0EB0FFFDC7F80010313C004FEC87FDBE3FC
+ED7FF8DBE7F06F7EDBEFE06F7E4C6F7EDBFF806F7F93C96C7F4B84747F4B707F5D757E4B
+841B3F88A2751380A21DC0A27513E0A31DF0A387A21DF8AF1DF063A31DE0A35113C0A31D
+80631D00A2515A6F601BFF6F60505B6F4C5BA26F4C5BDBDF804B5BDB8FC04B90C7FC70ED
+3FFCDB07F04B5A6F6C4B5A4A6C6C020313C06FB4020F5B4AD93FC0D93FFEC8FC4A903A1F
+FC01FFF80407B612E04A0101158090C96C01FCC9FC05071380>93
+133 123 258 105 I<93383FFF800303B512FC031FECFFC0037F15F04AB712FC0207D9F8
+007F021F0180903803FF804A48C8EA7FC04A48ED1FE0902601FFF0ED7FF04949EC01FF49
+494A13F849495C4990C814FC495E495A5C13FF485B5A5C487113F85C487113F07213E048
+499238007F8096C7FCA25A5CA25AA491CCFCB5FCAF6C7FA57E80A27E6E170E6C191FA26C
+6D173FA26C6D177EA26C6D17FC7E6E1601017F18F86D6CEE03F06D6D15076D6DED0FE06D
+6DED1FC06D6DED3F806D6DED7F006D6D15FEDA3FFFEC03FC6E01C0EB1FF802079039FC01
+FFE06E90B65A020093C7FC031F14FC030314E09226003FFEC8FC48567AD354>I[<F201FC
+F13FFF061FB5FCA6F0000F1901851A7FA21A3FB3B193380FFF804BB512F0030F14FE033F
+809226FFFC0113C002039039E0001FF0020F0180EB07F84A48C7EA01FCDA7FF8EC00FE4A
+48153F4949ED1FBF010749ED0FFF495B4990C97E49488285495A4948825A4A177F5A485B
+A25A5C5AA3485BA35AA391CBFCB5FCAF7EA280A37EA36C7FA27EA26C7FA27E6E17FF6C60
+6C7F616D7E6D6C5E011F5F6D6C4C7F6D6D5D6D6D4B6C7E6D6D03FE806D6DDA01FC14F0DA
+3FF8DA07F8ECFFF8DA1FFEEC0FE0912607FF80EB7FC002019039F807FF806E6CB5EAFE00
+031F14F8030302C0EDFC009226003FFEC790C8FC>93 133 122 258
+105 I<EE7FFC0307B512C0033F14F892B612FE02039039E01FFF80020FD9000313E0DA3F
+FC01007F4A48EC3FFCDAFFE06E7E0103496E7E49496E7F4990C880498249486F7F4A8301
+7F8249488348187F4A835A4849163F865A4A161F4885A25C5A851B805AA291CAFCA3B5FC
+91BAFCA31B0091CDFCAA7EA280A37EA36C7FA21A076C6DEF0F80A26C191F806CF13F006C
+7F1A7E6C7F017F606E16016D6C5F6D6D4B5A6D6D15076D6D4B5A6D6D4B5A01006D4B5ADA
+7FFE03FFC7FC6E6CEC03FE020F01E0EB1FF86E01FCEBFFF0020190B612C06E6C5D030F02
+FCC8FC030114F0DB001F90C9FC49567BD354>I[<933801FFC0040F13FC047F13FF4BB612
+804B9038C07FE0923A0FFE000FF0DB1FF8EB3FF8DB7FF013FF4B484813FC4A13C04A4948
+13FE16005C4A5AA24A5AA24A486D13FCA2027F6E13F84BEC7FF0F01FC095C7FC14FF5DB3
+AAB912C0A6C701F0C9FCB3B3B3AB815B497F010FEBFFC0007FB712FCA5ECC01F>63
+133 123 260 58 I<F201FE97381FFF80922603FFE0027F13C0033F01FE49B512E092B6
+D88007EB0FF002039239E00FF01F020F923AF81FC03FF8023F01809038FE7F0091297FFC
+001FFFFE137FDAFFF0010713F80103496D5B49496D153F49496D7F92C8007FEC1FF04948
+6F6CEB0FC0013F7190C7FC4A151F017F8301FF844A81A24885A24A814885AC6C616E5DA2
+6C61A26E5D017F95C8FC013F5F6E153F011F5F6D6C4B5A6F14FF6D6D495B6D6D495B6F49
+13804901FC011F90C9FC499039FF80FFFE028F90B512F8D91F8315E00200158049013F49
+CAFC030313E0013E90CDFCA2137EA3137FA380A28080133F14F814FE6DB712FCF0FFF06D
+17FF1AE06D18F86D18FE6D846D19C087010385010F85D93FFEC8000780D9FFF0DB001F7F
+4801C004037F4890CBFC4848063F13804848180F001F8548487213C05B007F85491AE086
+12FF49197FA66D19FFA2007F1BC06D60A26C6C4E13806C6C4E13006D606C6C4E5A6C6D4D
+5A6C6D4D5A6C01F04C485A6C6C6C4C13C06DB4041F5B010F01C0DB7FFEC7FC6D01FC9138
+07FFFC0101D9FFE090B512F06D6C90B712C0020F4CC8FC020116F0DA001F92C9FC030014
+E0557D7BD45E>I[<EC0FE048B5FCB6FCA6C67E130F7F7FA27FB3B1F0FFF8050FEBFF8005
+3F14E094B612F84C9038807FFE933A07F8001FFFDC0FE001077FDC1F806D7F047FC78004
+7E6E7F16F803E16F7FEDE3F0DBE7E0157F4C82EDEF80A203FFC9FC747E5DA25DA35DA45D
+B3B3AA496D4C7E496D93B57E013FD9FF80020714F0B8D8E01FB712FCA5DA803FEEF007>
+94 131 122 258 105 I<EB03F0EB0FFCEB3FFF497F90B57EA24880A86C5CA26D5B6D90
+C7FCEB0FFCEB03F090C9FCB3A6EC0FC048B5FCB6FCA6C67E131F7F7FA27FB3B3B3A7497F
+497F013F13FCB712FEA51400277F79FE35>I[<EC1FC00003B5FCB6FCA6C6FC131F7F7FA2
+7FB3B3B3B3B3B3497F497F013F13FCB8FCA51400>40 131 121 258
+53 108 D<DA0FE0DAFFF893380FFF8048B50207D9FFC0037F13FCB6023F02F00203B6FC
+94B600FC020F15C04C9026807FFE91261FF8077F932907FC000FFF8090267FC00013F8DC
+0FE001036D01FEC7EA3FFCDC1F809226E001F881C66C4AC76C6D48486E7E010F027E6E4A
+48806D4A704848826DD9E1F86F6C48486E7FDBE3F04DC8FC6D4A033F013E81DBE7C07048
+8303EF18FC4C5F03FFC96D5A74717F4B60A24B60A34B60A44B95C9FCB3B3AA496D4C6D4B
+7F496D4C6D4B7F013FD9FF800203B500F8033FEBFF80B8D8E00FB700FE90B812E0A5DA80
+3FDCF803EF803F93537AD29E>I<DA0FE0ECFFF848B5020FEBFF80B6023F14E094B612F8
+4C9038807FFE933A07F8001FFFDC0FE001077FDC1F806D7FC66C027FC780010F027E6E7F
+6D14F86D01E16F7FEDE3F06DD9E7E0157F4C82EDEF80A203FFC9FC747E5DA25DA35DA45D
+B3B3AA496D4C7E496D93B57E013FD9FF80020714F0B8D8E01FB712FCA5DA803FEEF0075E
+537AD269>I<EE1FFF4BB512F0030F14FE037FECFFC0912701FFF80313F0020790398000
+3FFC4A48C7EA0FFEDA3FF8913803FF804A486E7FDAFFC06E6C7E49496F7E4990C96C7E49
+48707E4948707E011F844948707F4948707F01FF854A82488648864A177F4886A2484971
+7EA24886A3481B8091CB7EA2481BC0A5B51AE0AE6C1BC0A46C6D4D1380A36C1B00A26E5F
+6C62A26C626E17FF6C626E5E6C626C6D4C5B017F616E5E013F616D6C4C90C7FC6D6C4C5A
+6D6D4B5A6D6D4B5A6D01F04A485A6D6D4A5BDA3FFE020F13806E6C6C013F90C8FC020790
+39F803FFFC020190B612F06E6C15C0031F92C9FC030114F0DB001F90CAFC53567BD35E>
+I<DA0FE0903801FFF048B5021F13FFB691B612E0040315F8040F15FE4C48C66D7EDC7FF0
+011F7FDCFF80010713F0C66CD9E1FEC700017F010FD9E3F86E7F6DD9E7F06FB4FC6DD9EF
+E06F7FDBFFC06F7F6D4A6F7F93C9FC4B707F4B707F884B82747F4B84A2751380A27513C0
+A37513E0A37513F0A51DF887AD631DF0A41DE063A21DC063A21D80631D0098B5FC646F4C
+5BA26F4C5B646F4C5B626F60704B5B704B90C7FC70ED7FFCDBF7F04B5ADBF3F84A5BDBF1
+FC020713C0DBF0FF4A5BDC3FC0D97FFEC8FC933A1FFC03FFF80407B612E004011580706C
+01FCC9FC0507138094CCFCB3A8497F497F013FEBFF80B812E0A5EC803F5D787BD269>I<
+DC1FFE153C4BB500E0147C030F14F8037F14FE4AB714FC0207D9FE0113C04A903AF0003F
+E001023F0180EB0FF04A90C7EA03F8DAFFFC913801FC03010349EC00FE4949ED7F074949
+ED3F874949151F4949ED0FCF5B92C9EA07FF495A4884485B4A825A4A825AA24849177FA2
+485BA21A3FA2485BA4B5FC91CBFCAE6C7FA56C7FA37E806C197FA26C7F1AFF6C7F616C7F
+6C606E5E137F6D6C5E6D6D5D6D7F6DEF3F7F6D6D157E6D6D15FC6D6DEC03F8DA3FFEEC07
+F06E6CEC1FE0020701C0EB7F8002019039F807FF006E6CB512FC031F14F0030314C09226
+003FFCC7FC93C9FCB3A8507E4F7F070F14E0063FB712F8A5F2E00F5D787AD264>I<DA1F
+80EB1FF80003B5ECFFFEB60103EBFF804C14C093391FF03FE093393F807FF093397E01FF
+F816FCC6912681F80313FC011FEB83F06DEB87E06D14C0ED8F807FED9F007113F815BE71
+13F003FCEC3FC0F006004B91C7FCA35DA45DA55DB3B3A5815B497F013F13FFB812F0A5EC
+007F3E537AD24A>I<912603FFF8130E027F01FF131F49B6EAE03F010F6F5A499039001F
+FDFFD97FE00101B5FCD9FF806D7ED803FEC8121F4848814848814981484881123F498112
+7F4982A28412FFA36D82A27FA27F7F6D160E6C6C93C7FC6D7E14F06C13FEECFFF06CECFF
+8016FC6CEDFF806C16F06C16FC6C16FF6C83013F16E06D820107820101826D6C81020781
+DA007F1580030115C0ED000F040114E0EE003F050F13F000708200F8827113F86C82187F
+183FA2181F7EA2180F7EA27F19F0A27F181F6D17E07FF03FC07F6DEE7F806D16FF6D4B13
+006E4A5A6E4A5AD9CFF0EC1FF8D987FCEC7FE0903B01FFC007FFC0486C90B6C7FC48013F
+14FC48010714E00070010001FCC8FC3D567AD34A>I<15F8A81401A61403A31407A3140F
+A3141FA2143F147FA214FF5B5B5B5B5B5B90B9FC120FBAFCA4C701F8C9FCB3B3A5F003E0
+B0180781027F16C0A2180FA26E6C1580181F6E7EF03F006E7F6E6D137E705B6EEBF00102
+009038FC0FF86FB55A031F5C6F1480030149C7FC9238001FF83B767DF349>I<DA07F017
+FE48B5EE3FFFB6031FB5FCA6C66CEE000F010F17016D836D187FA26D183FB3B3A91A7FA4
+1AFFA361A27F6181F107DF027F160FF29FFF6E6CED1F1F073F806E6C037E80020F04FC14
+F86E6CDA01F8ECFFFC6E6DEB03F06E01E0EB0FE06E01FEEBFFC0033FB61200030F5C0301
+02F8EDFE00DB000F018002C0C7FC5E557AD269>I<28FFF803FFFC913A07FFC07FE090B6
+94B5FCA5C692C9ECFE00011F01FC043F13F06D497013C06D497090C7FC745A6D616D61A2
+6F5F7F6F5F147F636F160F023F606F161F6E95C8FCA2705D6E173E70157E6E177CA27015
+FC6E5F7014016E5FA27014036E5F701407037F5EA270140F033F5E70141F6F93C9FCA271
+5B6F153E71137E6F157CA27113FC6F5DEFF0016F5DA2EFF8036F5DEFFC07047F5CA2EFFE
+0F043F5CEFFF1F7091CAFCA218BF7013BE18FE705BA3705BA2705BA3705BA2715AA3715A
+A271CBFC5B537CD064>I<2EFFFC03FFFC01FFE01FFFE0903A7FFF01FF8090B692B693B5
+FCA5C692C7000102F0C70007ECF000011F01F86E6C01C0020014806D496F496F90C7FC6D
+7190C9EA3FFC4B755A6D83795A6F6F606D85686D6D81755E4F171F6E6C99C8FC876F4B5F
+023F1C3E876F4B177E6E057F167C8770DA3E3F16FC6E64077E7F70DA7C1F15016E6407FC
+7F70DAF80F15036E725D18016E6D4A6C4B5A880603170F6E6D4A6C5E88700107171F037F
+4B6C93C9FC8870010F5F033F4B6C153E887049C7007F147E6F1A7C4E81DD803E023F14FC
+6F62067E81DDC07C021F13016F06FE5B18FC6F6D48020F495A1CFF05E117076FD9F1F06E
+5C1D8705F3178F6FD9FBE06E5C1DCF05FF17DF70496E91CAFC1DFF4E807060A295C9127F
+7060A24D163F040F60A27048705AA37048705AA37048705A81537DD088>I<287FFE01FF
+FE913A3FFF80FFF090B694B5FCA5D8001F02F0020FECFC0001034A020314C001004A4CC7
+FC6E496E13F86E18E06E606E607093C8FC6E6D15FC6E6D4A5A80704A5A6E6D4A5A6F6C4A
+5A6F6C5D6F4BC9FC715B6F6D13FE6F6D5B6F4A5A71485A6FEBF8076F6D485A047F5C7148
+5A706C48CAFC7013FF705B705B60705B707F8284717E717E5F94B57E854C80DC03F37FEE
+07F1DC0FE17F05C07F4C486C7E93383F003F4C8004FE6D7F4C6D7F4B487F4B488103076E
+7F4B486D7F4C6D7F4B48147F4BC87F4B6F7E03FE6F7F4A48810203844A486F7F020F707F
+021F82023F8402FF84498501076D4B7F013F1AC00003B6030F14F8B700C0027FECFFFEA5
+D9F01FF0807F5F517ED064>I<28FFF803FFFC913A07FFC07FE090B694B5FCA5C692C9EC
+FE00011F01FC043F13F06D497013C06D497090C7FC6D725A636D6181636D6181147F6F4C
+5A023F60A26F161F6E95C8FC705D6E173E821A7E6E177C7015FC6E5F8219016E5F701403
+6E5F701407037F5EA270140F033F5E70141F6F93C9FCA2715B6F153E71137E6F157C8319
+FC6F5DEFF0016F5DEFF8036F5DA2EFFC07047F5CEFFE0F043F5CA2EFFF1F7091CAFC18BF
+7013BE18FEA2705BA2705BA3705BA2705BA2715AA3715AA271CBFCA25F173E177E177CA2
+17FC5F16015F16035FA216075F486C140FD80FF05DEA3FFC161F486C92CCFCB55C163E16
+7E167C5E1501495C007F140349495A49495A6C48495A90C748CDFC6C6C137E390FE001FC
+3907F807F86CB55AC614C0013F90CEFCEB07F85B787CD064>I<0007BA12F81AFCA30380
+C7000313F802F0C85A02C04B13F091C914E048484C13C0495E494C1380491800494C5A5F
+4D5B495F4D5B5F494B5B614D5B5F94B5C7FC001F5F90C8485B5E4C5B604C5B5EC9485B60
+5E93B5C8FC4B5B5F5D4B5B4B5B5F5D4B5B4B5B94C9FC92B5FC4A49157C4A5B5E5C4A5B5E
+4A4915F85C4A5B93C9FC4A5A5B495B4B1501495B5B495B4B1503494916F05B90B5C91207
+5C4849160F48181F485B4A163F484916FF485F484915074A153F4890C80003B512E0BBFC
+A47E46517BD054>I E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fh cmbx12 29.8656 34
+/Fh 34 122 df<EB03FC90381FFF80017F13E048B512F8488048804880481580A24815C0
+A24815E0A3B712F0A86C15E0A36C15C0A26C1580A26C15006C5C6C5C6C5C6C6C13E0011F
+1380D903FCC7FC90C9FCB3B3A2EB03FC90381FFF80017F13E048B512F848804880488048
+1580A24815C0A24815E0A3B712F0A86C15E0A36C15C0A26C1580A26C15006C5C6C5C6C5C
+6C6C13E0011F1380D903FCC7FC246E6CED4D>58 D[<F51FF8F57FFEA29AB5FCA25280A2
+5280A35280A25280A35280A25280A35280A299B7FCA35182A25182A35182A25182A35182
+A25182A35182A298B9FC1CFB1CF350841CF15001E1821CE064506E81A250018082891C00
+506E81A25048838950488389A2504883894F498489A24F4984894F49848AA24F49848A4F
+90C8828AA24F48858A4F48858AA24F48858A4E49868AA24E49868A4E49868BA24E49868B
+4E90CA828B61063F888B4E48878B6106FF7281A24D49888B614D7382A24D49888C4D4988
+8C96BEFC4D8AA24D8AA34D8AA294C1FCA34C01F0CC0003828C4C498A8CA24C498A8D4C49
+8A8DA24C90CE828D4C488B8DA24C488B8D4C488B8DA24B498C8D4B498C8D5F4B8E8E4B49
+8C8E94D0FC4B7881A24B488D8E5E037F78814AB5FC91B600FE8CBA00F04DBDFCAA9126C0
+00010CC0C71201>192 173 119 300 211 65 D[<C112C0F8FF8021FCF9FFC022F822FF
+23C023F023FC23FFA112C0C8003F0380CA000F820D00820E1F15FC0E07810E01817A827B
+817B817B818D7B817B81A27B81A17F8DA1808EA27C81A3A1808EA3A180ABA15CA36AA15C
+A3585DA2A191C7FC9FB7FCA15B69A15B575D69A15B575D575D575D5792C8FC9EB65A5615
+F80E075D5615C00E3F5D9DB648C9FC0D0715F80D7F15E00C3FB7CAFC96BC12FC22E057CB
+FCA2F9FFF8FAFF8023F023FE0780CB003F6E7E0E0715E00E0015F80F3F14FE7B6E7E0F07
+817B15F07B817B817C807C807C81A1807C817C81A1808EA1807C81A2A1808EA11580A27D
+15C0A3A115E0A28FA3A115F0ACA115E06BA4A115C0A0B7FCA2A115806AA2581600A2585D
+6AA15C585D6A585D9FB75A575E69575E0F1F93C7FC575D9EB75A0E0716F00E3F5E0D07B8
+5AC5B4C8FCA15AA112F8A112E0A1128011FCC9FC23F0238010F8CAFC9FCBFC2180>172
+170 118 297 198 I[<0A03B500E0F00F800907B76CEF1FC098B800F8173F081F05FF17
+7F4FBA00E016FF070F07FC5D077F07FF5D0603BC00C05C060F09F05C063F09FC5C4DBE5C
+05079426FC00036F90B5FC4D4CC8001FECE001053F04C003016E5A94B700FCCA003FEBFC
+07040304E0050F6D5A4C93CB00036D5A041F03FC060014BF4C03F0073F90B6FC4C03C019
+0F4BB7CD7E4B03FC864B4B1A004B03E0874B4B87037F4B8792B7CF7E4A03FC884A4B884E
+884A4B884A8D4A5D4A4B894A92D17E4D8A91B6FC494B8A495DA17E494B8AA2494B8A5B4D
+8B5B5F498FA290B7D37EA25A4C8CA25A5E48A17EA35A5EA17F5AA35E48A16C1380A190C8
+FCA45AA35EA4B7FCB3A27EA482A37EA57E82A1ECFF80A14913C07EA2827EA36C81A26CA1
+5AA11580827EA26D6F67A115007F71676DA15A836D231F6D6F68A1133F6D8171555A7F6D
+6F555A6E6971686E6F535B6E6F656E6F676E6F656E5790C7FC72535A6E03FE535A6E6F1D
+FF6F6F515B031F6F515B6F03F0090F5B6F6F515B6F03FE515B6F6F98B5C8FC6F6C03C04F
+5B7003F007075B7003FC071F5B0407DBFF80067F13E07004E04DB55A040004FC050F5C05
+3FDBFFC0047F49C9FC050F04FE0307B55A71DCFFFC49B612F0050194B95ADD003F1C8006
+0F51CAFC06031BF8DE007F1AC0070F97CBFC070119F8DF001F18C008004DCCFC090716C0
+E1000302F0CDFC>170 176 113 300 201 I[<C512FCA4A17EA7C8003F03E0CA121FF700
+3F0E0381F8007F210F210321008E8E220F7C808E8EA28E8FA28F8FA17F8FA28FA38FA2A1
+7F8FA48FA3A17FF61FFCA1127FA7A16C7EA31E3FA1C8FCA41E7FA31EFF65A26565651D3F
+650A03B5FC1C7F96B9FCAB07E0C77E1C03F4007F891D0F898989A2891E7FA31E3FA2A1EB
+7FF0A30C1FF0FFE0A6A14813C0A59BCB5AA11480A3A15AA3A11400A15AA3A15AA2A15BA1
+123FA2A1127FA3A1485AA26B6BA26B6BA15B6B6B6BA0B5FC6A10075C6A6A227F57B6FC21
+070F3F5D56B7FC203F0D1FB8FCC5B4FCA2A15BA6A15BA3>164 169
+118 296 183 69 D[<B600E0033FB500F892B600E0033FB512F892BA96BAFCAAC8003F03
+E0CE003F03E0C8FCB3B3B3AB96C1FCAB07E0CE123FB3B3B3B2BD00F892BD12F8AA03E0C8
+003F09E0C8123F>197 170 118 297 218 72 D[<B600E0030FB612F092BBFCAAC8003F
+03E0D0FCB3B3B3B3B3A29F3803FF80A46AA11200A66AA36BA3221FA4223FA3585AA322FF
+A369A2696B69A26969A269699EB5FC68565C686868689DB6FC671F071F1F9CB7FC0C035E
+1E3F0B07B8FCC4FCA66BA5>145 170 118 297 168 76 D[<BA00E09EBA12F073687368
+7368A37368A27368A27467C8003FA105C0C8FC74F77FEFA304FD6FF7FFCFA204FC6F5413
+8FA2716E54130FA2716EF607FEA3716EF60FFCA2716EF61FF8A2716FF53FF0A2716FF57F
+E0A3716FF5FFC0A2716F521380A2726E521300A2726E525AA3726E525AA2726E525AA272
+6F515AA2726F515AA3726F515AA2726F505BA2736E5090C7FCA2736E505AA3736E505AA2
+736E505AA2736F4F5AA2736F4F5AA3736F4F5AA2736F4E5BA2746E4E90C8FCA2746E4E5A
+A3746E4E5AA2746E4E5AA2746F4D5AA2746F4D5AA3746F4D5AA2746F4C5BA2756E4C90C9
+FCA2756E4C5AA3756E4C5AA2756E4C5AA2756F4B5AA2756F4B5AA3756F4B5AA2756F4A5B
+A2766E4A90CAFCA2766E4A5AA3766E4A5AA2766E4A5AA2766F495AA2766F495AA3766F49
+5AA2766F485BA2776E4890CBFCA2776E485AA3776E485AA2776E485AA277EDBFF0A277ED
+FFE0A3775EA2775EA27892CCFCA2785CA3785CA2785CA2785CA2785C92B5FC027F14FEBB
+704A043FBC12F0A2785CA27990CAFCA2795AA2795AA202F0C7000FDF07F008F0C8123F>
+244 170 118 297 265 I[<0903B512F050B712E0087FEEFF800707B912F8073F18FF4E
+BB12E0060F1AFC063F1AFF4DBD12E00507DCC00016F8051F03F0C7000315FE057F0380DA
+007F6E7E94B600FCC9000F81040303F0040315F0040F0380DC007F14FC4C92CB6C80047F
+02FC060F6E7E93B600F00603814B4B728103074B7215F84B92CD003F804B4A74804B4A74
+804B4A748192B64874814A4B74814A4B74814A4B75804A8E4A92CF6C804D884A8E4A4A76
+8191B6487681A2494B768149A17E4D8849A17E494B7681A2494B7780A249A17E94D17E49
+A17FA290B6487881A248A1804C8AA248A180A3484B7881A348A180A24C8A48A180A448A1
+80A44C8AA248A11580A7B7A112C0B3A36CA11580A37066A56CA11500A470666CA15CA46C
+A15CA270666CA15CA36C6F545DA36CA15C70666CA15CA271656DA15BA26D6F9AB7C7FCA2
+6D6F525DA26DA15A6D6F525DA26D6F525D6DA15A71646D6F525D6E6B71646EA0C8FC6E6F
+515C6E6F98B65A6E6F505D6E6A6E6F505D6E6F505D6F6E505D6F6E5092C9FC6F6E505C6F
+6F4F5C6F03E04EB65A6F6F4E5D03006F4E15C07002FE061F5D706E6C057F92CAFC040F6F
+94B612FC7003F004035D040103FE041F15E0706CDAFFC092B71280051F03F802074BCBFC
+0507DBFFC090B712F8050193B912E0716C1B80060F08FCCCFC06031AF0DE003F96CDFC07
+0718F8DF007F1780080304F0CEFCE0000302F0CFFC>178 176 113
+300 209 79 D[<C012FCF7FFFCF8FFE021FEF9FFC022F822FEFAFFC023F08F23FEC8003F
+03C0C90007707EE4001F820D0116F0E5003F810E0F810E03817A817A6C817B817B817B81
+7B818DA17F7B81A27B81A2A114808EA114C0A3A114E0A28EA114F0A5A114F8ACA114F0A5
+A114E06AA2A114C0A2A11480A29FB71200A2A15B69A15B575D69A15B575D575D575D5792
+C7FC56B65A565D0E0F5D0E3F15E055B75A0D1F93C8FC0C07B75A96BD12F823E0238058C9
+FC22F022800FF8CAFC21800EE0CBFC07E0D2FCB3B3B3ABBD12F8AA03E0C8123F>165
+170 118 297 191 I[<BF12FCF6FFFCF7FFF020FF21F021FEF9FFC022F022FC22FF23C0
+C8003F03C0C917F00C0116FCE4001F810D036F7E0D00820E3F810E0F817A15FC0E01817A
+818DA17F7B817B81A17F8DA17F8DA17FA27B81A2A17FA37B82A4A180ABA15CA4A191CAFC
+69A2A15BA2A15B69A15BA2575DA15B575DA2575D5792CBFC9EB65A565D565D5615E00E1F
+5D565D9DB648CCFC0D075D0D3F15F00C03B712C09BB8CDFC96BC12F822E09FCEFC21F821
+8021E021FC21FF07C0C8000716C0E3003F15F00C0F15FC0C03810C00817915C079810D0F
+81798179818F8B79817A81A17E8CA17E8CA17EA28CA17EA37A81A9A17EABA17EAAA16DED
+3FE0A1EF7FF0A28CA2A17FA27A1AFFA27A7016E0A27B6F5CA27B6F16C07B60A16D1680BD
+00F070607B6F4A13007B6F4A5A7B04C0133F7B6C6FEBFFFC7CDBFC035B100F92B65A1003
+60100060113F5F03E0C86C09074CC7FCD76C15F8A1000315E0A1D8000391C8FC>196
+173 118 297 208 82 D[<0007C5B5FCA648A11480A505C0C700034BC8121F04F0C8F200
+7F04801E0F03FCC91B0103F0797E4B8C0380200F4891CA7614C04A8D02F82100A24A8E4A
+8E4A8EA24A8EA291CB89A248A114E0498FA3498FA5498FA2007FA114F0A449A1127FA848
+48A1EA3FF8A6CD9BC7FCB3B3B3B3B3A8047FBF12F0AA08E0C9123F>173
+168 118 295 194 84 D<94B6FC93B712FE031FEEFFE092B912FE0203727E020F19F002
+3F19FC91BCFC499226C0001F814902E0C7000115E0494A6E6C80496E031F14FC70030780
+497280706F81496E6F817580498570857580878A8A878AA26D4A828BA26D5C876D4A866D
+5C6D5C6D5C6D6C48CAFCEC1FF891CCFCAA98B7FC073FB8FC063FB9FC050FBAFC94BBFC16
+0F93BCFC03071781031FEE800192B7EAF000020393C7FC020F15F0023F158091B648C8FC
+4915F8010715E0491580494AC9FC495C495C90B65A485D485D485D5A93CAFC485CA2485C
+A2485CA4B65AA363A463A26F5F7E63816CF23FBF6F177F6C6EDDFF3F80F201FE6C6FDB03
+FC15F86C6F030F16FE6C03F0DB1FF8EDFFE06C6FDB7FF0EEFFFC6C03FE4A48487E6D6E6C
+010F496C16FE6DDBF801B51280010F92B648487E01034E7F010006F07F023F05C06D7E02
+0794C8121F020004FC030315FC030703E0ED003FDB000F01FCCEFC7F7178EF88>97
+D[<EEFFE0011FB6FCB8FCABEA001F13017FA280B3B3A850B5FC087F14FC0707B712C007
+1F16F896B9FC060318C0060F18F0063F18FC95B526FE003F14FF05E102C0010315C005E7
+49C86C8005EF01F0031F8094B500C0030714FC96C96C8006FC0400804E71804E718006C0
+71804E8695CB6C804D72805F4D728078805F8E7881A28E8B8EA28E8BA28EA38EA28BA28E
+A52380B12300A66A67A26AA36AA2676AA26A9CB6FC6AA2545DA2714E92C7FC69714E5C83
+545C714E5C724D5C7262724D5C06F84CB6C8FC4C6C6C4C5C4C6C6C4C5C716C6C031F5C4C
+6C01E0037F14E04C6C01F84AB65ADCE00101FF020F92C9FC4C6CDAF001B65A4C013F90B8
+12F87218E093C7000795CAFC4B020117FC4B6E6C16E04B030F93CBFC4B030115F091CB00
+0F01F8CCFC>137 173 120 299 155 I<061FB57E0507B7FC94B812F8040717FF043F18
+C093BA12F0030319FC030F85033F737E92B648C7814A03E00203804A92C84880020F02FC
+5D4A4A844A02E05D4A4A4B8091B65A4992C9FC494A4C80495C5B495C5E5B495CA290B648
+705C5A5E48745CA248745C93CA6C5C48745C755C756C48C7FC484AF01FF899C9FCA25AA4
+485CA5B6FCB17EA381A37EA46C80A37E827EF6FF806C6F4E13C0A27E70606C1E8070606D
+1D006D6E6070616D1B1F6D6E4E5A6D806D6F4D5A6D6F4D5A6D6F5E6E6E04075B6E02FC4C
+5B6E6E043F5B6E6E6C4B90C7FC6E03E0913803FFFE020103FC021F5B6E9226FFE001B512
+F0033F92B75A030F61030396C8FC030018FC043F17F00407178004004CC9FC050F15E0DD
+001F01F8CAFC6A7177EF7C>I[<F707FF9AB7FC0907B8FCAB98C7FC1D0F89A289B3B3A895
+380FFFF80507B612C0057F15FC0403B8FC041F17E093B912F8030318FE030F18FF033FDB
+C00714C34B02F8C7003F13E34AB600C0020713FB4A92C8000190B7FC020F02FC6F7E4A02
+F0161F4A4A824A02808291B6CA1201494A834987494A84494A84494A84A2494A845B90B6
+5AA2485DA25A93CCFC5AA25A5DA25AA35AA25D5AA6B6FCB17EA57EA281A27EA37EA2817E
+A27E827EA26C6F607F656D6E606D6E60A26D6E95B7FC6D6E5F6D1A076D6E5F6D6E4D826E
+6E5E6E02E093B87E6E6E030317FC020702FC030F01F792B512806E02FF033F13C7020003
+E049B512876F02FE013FEBFE07031F91B712FC030718F0030118C06F6C1700040F16FC04
+0116E0DC001F4AC7FCDD007F01C005E0C8FC>137 173 119 299
+155 I<95383FFFF0050FB612C04CB712FC040FEEFF80047F17F04BB912FC030718FF031F
+19C0037FDAFC00814AB600C0010F14F84A92C70003804A02FC020080021F02F06F7F4A4A
+031F804A02806F8091B6C96C80494A7080494A82494A85497380494A838A494A8349884C
+1A8090B684485D7614C05A93CB15E05A88481EF05DA248871FF8A25AA35D5A7614FCA4B6
+FCA392BDFCA51FF8A203FCCFFCA87EA481A27EA37EA2817EA36C6FF10FF8A26CF51FFC82
+6C1D3F7E70F17FF87F70F1FFF07F6D6E4E13E06D6E60704E13C06D5113806D6E606D03C0
+4D13006D6F4D5A6E6E4C485A6E02FC4C5B6E6E040F5B02076E6C033F5B6E03F092B55A6E
+03FE02075C6E6CDAFFF090B6C7FC031F92B712FC030761030119E06F6C1880040F05FCC8
+FC040117F0DC003F1680050303F8C9FCDD000749CAFC6E7178EF7F>I[<96381FFFE0060F
+B512FE95B712C0050716F0053F8294B812FE040383040F1880043FDAFC0014C04CDAE001
+14E04BB6C64814F04B02FC5B4B4A4914F84B14E04B4A4914FC5D4B4A16FE92B6C75A5F5C
+4A5CA24A5CA25C4D6E14FCA24A7114F8A27414F04A4A6E14E07414C0741480751300F30F
+F898C8FCB3AABCFCABC7003F02F0CBFCB3B3B3B3B0007FBA7EAA02F0C7121F>95
+173 119 300 85 I<F77FF09B3807FFFC94261FFFFE043F13FF0407B600F892B6128004
+7FDBFF80010315C00303B800F0010F15E0030F05FC133F033F05FF4915F092BA00C0B500
+CF13F8020307F3EBF81F020FDB003F91B5EAC03F4A02F00103040014FC4A02C0010015F8
+4A91C8003F5C49B500FC030F4A5B494A6F6E7F494A6F80A2494A6F6E15F849757F494A6F
+6E15F08B494A706E6C13E079138090B69739C000FE009DC7FC488993CA7EA24889A44889
+AB6C65A46C65A2705E6C65A26D64A26D6E93B6C9FCA26D6E4B5C6D636D6E4B5CA26D6E4B
+5C6D6E4B5C6D6C01FF033F14806E02C091B6CAFC05F001035C4A02FF013F5C91BB12F049
+4819C0033F95CBFC902603FC0F17FC030317F04948C66C1680040703F8CCFC010FDA001F
+49CDFC94D0FC131FA3133FA380A38080A2818115F081EDFF8093B812FEF3FFFE6DF2FFF0
+1DFF1EC06D1CF81EFE6D767E1FE06D891FFC6D896D896E898C6E8980020789023F8949BF
+FC01078A131F498A90B6CA12074802F8DD0007814802E0F0007F480280190F4891CD0001
+15804849864A1B3F48894A874820C08AA2B55A8AA76C6D511480A36C6D511400A26C6D51
+5B6E636C6E505BA26C02E04FB55A6C6E4F5C6C6E4F5C6C02FE071F5C6D6D6C067F5C6D02
+E04DB6C7FC010F02F8050714FC6D02FF053F5C010103F80307B612E06D6CDAFFE049B712
+80021F92B948C8FC02071BF802011BE0DA003F97C9FC030719F8DB007F1880040105E0CA
+FCDC000103E0CBFC7EA378F08B>I[<EEFFE0011FB6FCB8FCABEA001F13017FA280B3B3A8
+98380FFFF850B612E0080F15FC083F15FF4FB812C04F17F0070F83073F17FE4FD9E00F80
+9627FFFC000181060301E06D814E01806E804E48C87EDE1FF86F804E48844E4881078084
+4EC9FCDDE1FE82DDE3FC8560EFE7F005EF8660DDFFC082A2608D95CAFCA25FA25FA35FA5
+5FB3B3B3A6BA00F80107BA12C0AA02F0C76C9538800003>138 172
+118 299 155 I[<EC01FE91380FFFC0023F13F091B512FC4980498049814981A24981A2
+4981A24981AA6D5DA26D5DA26D5DA26D5D6D92C8FC6D5C6D5C023F13F0020F13C0DA01FE
+C9FC91CBFCB3A8EEFFE0011FB6FC007FB7FCABEA000F13017FA280B3B3B3B3ABBA12C0AA
+02E0C7FC>58 173 118 300 77 I[<EEFFE0011FB6FCB8FCABEA000F13017FA280B3B3B3
+B3B3B3B3B2BA12F0AA02E0C77E>60 172 118 299 77 108 D<922601FFC092260FFFF8
+96387FFFC0013FB64BB600E0050FB6FCB8030F03FC057F15E0083F03FF4CB712F84FB800
+C0030F16FE4F05F04B707E070F71037F83073F05FE4AB912F04FD9E00F6E4ADA007F8096
+27FFFC00016F4901E0010F80060301E06D6F011F90C76C804E01806E6ED93FFC6E804E48
+C86CDC7FF080D8000FDC1FF86F6ED9FFC06E8101014C48724849846D4C486F4B90C97E07
+8006FC01FC856E4BC94C5ADDC1FE704B4882DDC3FC734848854E63DDC7F0505A05CFE0FF
+7F864E98CAFCDDDFC07003FE83A2DDFF8062A18495CA5EA24D63A24D63A34D63A54D63B3
+B3B3A6BA00F80107BA00C0013FB912FEAA02F0C76C952680000306FCC7121FD76F76EEE8
+>I<922601FFC092380FFFF8013FB64BB612E0B8030F15FC083F15FF4FB812C04F17F007
+0F83073F17FE4FD9E00F809627FFFC000181060301E06D814E01806E804E48C87ED8000F
+DC1FF86F8001014C48846D4C48810780846E4BC9FCDDC1FE82DDC3FC8560EFC7F005CF86
+60DDDFC082A2EFFF808D95CAFCA25FA25FA35FA55FB3B3B3A6BA00F80107BA12C0AA02F0
+C76C95388000038A6F76EE9B>I<95380FFFFC0507B612F8057FEDFF800403B812F0041F
+17FE93BA12C0030319F0030F19FC033F9126FE001F14FF4B02E00101814AB6C8003F14E0
+4A02FC030F80020F02F0030314FC4A02C00300804A4A707F4A91CA6C8091B5487180494A
+7180494A7180494A7180494A718049894C834989494A7280A290B68893CC7E488B488BA2
+484A7380A3488BA2488BA24B85A2488BA4482080A6B61EC0B06C2080A56C20006F61A36C
+67A36C67A26F616C67A26C6770606C67A26C6F95B65A6D66705F6D9BC7FC6D6E4D5CA26D
+6E4D5C6D6E4D5C6D6E4D5C6D6E4D5C6D6F4C5C6E6E93B65A6E02F0030392C8FC020F02FC
+030F14FC6E02FF033F5C6E03E049B65A020003FE011F15C0033F91B9C9FC6F61030719F8
+030019C0043F95CAFC040717F8DC007F1680050703F8CBFCDD000F01FCCCFC7A7178EF8B
+>I<DCFFE092B57E011FB6033F14FEB80203B712E0071F16FC077F16FF0603B912E0060F
+18F8063F18FE4E8405E1B526FC007F15C005E302C001078105EF01FCC815F894B500F06F
+80D8000F05C0031F80010194C96C806D04FC0403814E70816E03E070814E864E718095CB
+6C804D72805F4D72804D888A8E8A8E8A8EA27881A37980A38E8BA38EA48B2380B12300A2
+67A46AA2676AA36A9CB6FCA26A666AA2545DA2545DA25492C7FC7163714E5C716069714E
+5C7294B65A724C5D724C5D724C92C8FC06FC4C5C724C5C726C037F5C07E04AB612E005F7
+01F802075D05F101FF021F92C9FC05F0DAF001B65A063F90B812F87218E0060718800601
+05FCCAFC726C16E0070F93CBFC070115F0DF000F01F8CCFC97CFFCB3B2BA12F8AA02F0C7
+7E899F78EE9B>I<95261FFFF0EE03FF0507B65E057F03E05D0407B712FC041F04FF5D93
+B912C00303725C030F06F85C033F844BDBC00F01FF91B5FC4AB600FCC76E5A4A03E0021F
+13C0020F038002076D5A4A92C8000113F04A02FC6F6D5A4A4A706C5A91B648EE1FFE4903
+C0706C5A49745B494B18BF4992CA6C90B6FC494A83494A83A2494A8490B6855E48885E48
+885E4888A2485D895A93CCFCA25AA25DA25AA55DB6FCB07EA281A47EA3817EA36C81A27E
+A2826C64A26C6F60A26C6F606D63826D636D6E95B7FC6D6E5F646D6E5F6D6F5E6D6F5E6D
+6F5E6E6E5E6E6E923801FFF76E6E030713E7020702FF4B13C76E03C0027F1387020003F0
+0103B512076F02FF013F13FC031F92B612F8030718E0030118806F6CEEFE00040F16F804
+0116C0DC001F4AC7FCDD007F13C095CAFCB3B2090FBA1280AA9BC71207899F77EE93>I<
+4BB46CEC3FFC013FB64AB512C0B8020714F8071F14FE077F6E7E4EB77E4E16F04E824ED9
+E03F7F4EEB007FDE3FFC90B57E95267FF0018019C0D8000F4C484815800101038113006D
+4C4915C0EF83FC6EEC87F8A2EF8FF060179F60A2DDBF806D1580A205FFC76C1500A2745C
+4D6F5B755B755B4D030713C0090190C7FC98C9FC5FA55FA65FB3B3B2BBFCAA02E0C7123F
+626F78EE72>I<93263FFFFCEC03E0031FB600E0EB0FF092B700FE133F02079338FF807F
+023FEFE1FF91BBFC1303499138F0000F011F01FCC8FC4901E0151F49018015034948C97E
+4849707E4849834849834A8348855C48854A835AA24885A4B56C187FA3808080806E725A
+6E6C94C8FC15E015FCEDFF806C15F8EEFFE0EFFF806C17FCF0FFE06C18FCF1FF806C19F0
+1AFC6C19FF6C866C1AE06C866D19FC6D856D856D860103866D866D6C85021F8514070201
+85DA003F841507DB007F831601DC000F1780EF003F1801DE001F15C019071901736C14E0
+D83FC0181F486C8400FF85866D8486A2877FA2877F1DC07FA27F1D8080636E1A00806E4E
+5AA26E616E5F6E4D5B6E6C4C5B6F5E6F4C5B03F8047F5B03FF4BB55A04E0021F91C7FC02
+BF01FE0103B512FC021F90B85AD9FE0718E0D9F8036049C695C8FC01C0013F16F8490107
+16C090C84BC9FC007C030791CAFC5B7177EF6E>I[<EE0FFEA9161FA6163FA4167FA316FF
+A35DA25DA25DA25DA25DA25D5D92B5FCA25C5C5C5C5C147F91B6FC1303010F92B812C013
+7F0003BCFCBDFCA8C7000F4ACAFCB3B3B3F30FFEB3A21B1F6E19FC83A21B3F6E19F8846E
+F07FF0A26E6FECFFE0A26F6E4913C06F6E5B724913806F02FE011F13006F9139FFC07FFE
+6F92B55A6F5F03005F705E041F5E040793C7FC040015FC051F14F0DD007F1380>87
+158 123 284 108 I<DC7FF0963803FF80011FB695B7FCB80407B8FCABD8000F96C77E01
+011B0F6D87A26E86B3B3B3A765A465A365A2658065A29AB7FC6E617117FD6E1903F407F9
+6EDF0FF18171EE1FE16E073F8271DCFFC115FE6E6E4B018192B512C06E6F020713016F02
+F0EC3FFE6F02FF903803FFFC030F92B612F86F18E0030118C06F6C1700041F16FC040316
+F0DC003F1580050002F8C703F8C8FC8A7076EE9B>I<B56C0103B56C922607FFF0EB3FFC
+91B895B6FCAAC703F0CB000FECE00071060049C7FC6EF47FF8836E525A836E515BA27160
+6E65846E515B846E5190C8FC846E515AA26E6F4D5AA272177F6F63846F505A846F4F5B84
+6F4F5BA26F6F4B5BA2735D6F98C9FC856F4F5A856F4F5A85704E5AA2706E4B5AA2735C70
+6185704D5B86704D5B86704D90CAFCA2706F495AA274133F706086714C5A86714C5A8671
+4B5BA2716E485BA21B837103875B1BC77103CF90CBFC1BEF71EDFFFEA2715EA3725DA272
+5DA2725DA2725DA2725DA37292CCFCA2725CA2725CA2735BA2735BA3735BA2735B735B73
+90CDFC866F7AED93>I<267FFFC049B500C0912607FFFC903801FFF891B894B7FCAAC700
+0F0380C9001F4AC8FC6E6F040391C9FC7713FC6E6F606E6F4C5B6E6F4C5B6F6E5E535B6F
+6E4C5B6F6E4C90CAFC6F6F4B5A6F6F5E6F4E5B734A5B6F6F5C6F6F4A5B706E4A5B706E4A
+5B9BCBFC706E4A5A706F495A706F5A706F485B704C5B74485B706F485B7102FC5C716E48
+90CCFC716E485A1BFF715E715E715E715E715E647292CDFC84847281A272817281728172
+81858896B67E884E824E82604E824E824E824E6D804F7EDEFFFC814D496C804D6E814D49
+6C814D496C814D13C04D496C8196C7814D486E804D486E804C824C49834C496E814C496E
+814E6E814C496E814C90C8FC4C486F8104FF71804B4970804B4970804B5B4D70814B4970
+814B4970814B72814B90CB814B5A4A49728002076D728049B600E07180B9047FB912C0AA
+9026FC000108F8C77E8A6E7CED93>120 D<267FFFC049B500C0922603FFF8EB1FFE91B8
+95B6FCAAC76C02F8CB0007ECF00071DE007F90C7FC6EF43FFC836E525A836E525A846E51
+5BA2725F6E65846E515B846E5190C8FC846F505A846F505AA26F6E4D5AA27217FF6F6385
+6F4F5B856F4F5B856F4F5B856F4F90C9FCA2735D706185704E5A85704E5A85704E5A8670
+4D5BA2745B706186704D5B86704D90CAFC86714C5A86714C5AA2716E495AA27413FF715F
+877103815B1BC17103C35B1BE37103E75B1BF77192B5CBFCA3725DA2725DA2725DA2725D
+A2725DA3725DA2725DA27292CCFCA2735BA2735BA2735BA3735BA2735BA2735BA24F5BA2
+4F90CDFCA26162A24F5AA24F5AA24F5AEB7FE02601FFF84B5B000713FE486D5D486E5E48
+6E5C6248804E90CEFCA2B66C4A5A183F614E5AA24E5A4D5B5F6C4A495B4D5B4D90CFFC6C
+4A5B4B495A6C91C7485A4A01035B6C01BC010F5B6C01F0013F13C0DAFC01B55A6C90B7D0
+FC6C16FC6C6C5D6D15E0010F158001034AD1FC010014F0020F90D2FC879F7BED93>I
+E
+%EndDVIPSBitmapFont
+end
+%%EndProlog
+%%BeginSetup
+%%Feature: *Resolution 600dpi
+TeXDict begin
+%%PaperSize: A4
+ @landscape
+%%EndSetup
+%%Page: 1 1
+1 0 bop -45 -282 5906 7 v -45 -44 a Fh(The)93 b(LogiCal)i(team)p
+-45 11 V -45 636 a Fg(Lo)5 b(cated)63 b(on)g(t)-5 b(w)g(o)63
+b(sites)-45 1097 y(-)g(INRIA-Ro)5 b(cquencourt)62 b(\(4)i(p)5
+b(ermanen)-5 b(t)61 b(+)h(3)h(PhD)g(studen)-5 b(ts\))-45
+1455 y(-)63 b(Orsa)-5 b(y)62 b(Univ)-5 b(ersit)g(y)61
+b(and)h(CNRS)h(\(4)h(p)5 b(ermanen)-5 b(t)61 b(+)h(4)i(PhD)f(studen)-5
+b(ts\))-45 1916 y(Both)63 b(close)f(to)i(P)-5 b(aris)5860
+4036 y
+ 0 setgray
+ 5860 4036 a -45 3997 5906 10 v -45 4204 a Ff(15)43
+b(Mars)g(2002)812 b Fe(LogiCal)60 b(team)d(-)h(INRIA)g(Ro)5
+b(cquencourt)1179 b Ff(P)m(age)43 b(1)p eop
+%%Page: 2 2
+2 1 bop -45 -282 5906 7 v -45 -44 a Fh(LogiCal:)126 b(main)94
+b(activities)p -45 11 V -45 636 a Fg(-)63 b(F)-16 b(undamen)-5
+b(tal)61 b(researc)-5 b(h)62 b(on)h(pro)5 b(of)63 b(theory)-45
+994 y(-)g(Dev)-5 b(elopmen)g(t)60 b(of)i(the)h(Co)5 b(q)63
+b(pro)5 b(of)63 b(assistan)-5 b(t)-45 1351 y(-)63 b(Pro)5
+b(of)63 b(dev)-5 b(elopmen)g(t)60 b(in)i(Co)5 b(q)5860
+4036 y
+ 0 setgray
+ 5860 4036 a -45 3997 5906 10 v -45 4204 a Ff(15)43
+b(Mars)g(2002)812 b Fe(LogiCal)60 b(team)d(-)h(INRIA)g(Ro)5
+b(cquencourt)1179 b Ff(P)m(age)43 b(2)p eop
+%%Page: 3 3
+3 2 bop -45 -282 5906 7 v -45 -44 a Fh(The)93 b(Co)8
+b(q)94 b(pro)8 b(of)94 b(assistan)-8 b(t)p -45 11 V -45
+636 a Fg(Based)63 b(on)g(the)f(Calculus)g(of)h(Inductiv)-5
+b(e)60 b(Constructions)-45 994 y(-)j(A)g(logical)f(strength)h
+(comparable)e(to)i(ZF)-45 1351 y(-)g(The)f(functional)f(expressivit)-5
+b(y)61 b(of)h(\(a)i(higher-order\))d(ML)-45 1709 y(-)i(The)f(logical)g
+(expressivit)-5 b(y)60 b(of)j(natural)f(deduction)g(and)g(inductiv)-5
+b(ely)59 b(de\014ned)-45 1985 y(prop)5 b(ositions)-45
+2549 y(Not)64 b(as)f(automatized)f(as)i(PVS,)g(A)-5 b(CL2,)63
+b(...)85 b(for)63 b(pro)5 b(of-of-programs)-45 2907 y(Pro)g(of)64
+b(scripting)d(not)i(as)h(mathematician-readable)59 b(as)64
+b(Mizar)5860 4036 y
+ 0 setgray
+ 5860 4036 a -45 3997 5906 10 v -45
+4204 a Ff(15)43 b(Mars)g(2002)812 b Fe(LogiCal)60 b(team)d(-)h(INRIA)g
+(Ro)5 b(cquencourt)1179 b Ff(P)m(age)43 b(3)p eop
+%%Page: 4 4
+4 3 bop -45 -282 5906 7 v -45 -44 a Fh(A)93 b(Co)8 b(q)94
+b(script)p -45 11 V -45 649 a Fd(Fixpoint)g(minus)e([n:nat])h(:)e(nat)h
+(->)f(nat)g(:=)136 893 y([m:nat]Cases)k(n)c(m)g(of)1040
+1137 y(O)g(_)f(=>)i(O)769 1381 y(|)e(\(S)i(k\))f(O)g(=>)g(\(S)g(k\))769
+1625 y(|)f(\(S)i(k\))f(\(S)g(l\))g(=>)g(\(minus)i(k)e(l\))678
+1868 y(end.)-45 2356 y(Lemma)i(minus_plus_simpl)j(:)678
+2600 y(\(n,m,p:nat\)\(\(min)q(us)h(n)91 b(m\)=\(minus)j(\(plus)e(p)f
+(n\))g(\(plus)h(p)f(m\)\)\).)-45 2844 y(Proof.)136 3088
+y(Induction)j(p;)d(Simpl;)i(Auto)f(with)g(arith.)-45
+3331 y(Qed.)5860 4036 y
+ 0 setgray
+ 5860 4036 a -45 3997 5906 10
+v -45 4204 a Ff(15)43 b(Mars)g(2002)812 b Fe(LogiCal)60
+b(team)d(-)h(INRIA)g(Ro)5 b(cquencourt)1179 b Ff(P)m(age)43
+b(4)p eop
+%%Page: 5 5
+5 4 bop -45 -282 5906 7 v -45 -44 a Fh(A)93 b(Co)8 b(q)94
+b(script)p -45 11 V -45 635 a Fd(Coq)e(<)f(Print)h(minus_plus_simpl.)
+-45 879 y([n,m,p:nat])46 1123 y(\(nat_ind)h([n0:nat]\(minus)j(n)91
+b(m\)=\(minus)j(\(plus)e(n0)f(n\))h(\(plus)g(n0)f(m\)\))226
+1366 y(\(refl_equal)k(nat)d(\(minus)g(n)f(m\)\))226 1610
+y([p0:nat;)j(IHp:\(\(minus)h(n)90 b(m\)=\(minus)k(\(plus)f(p0)e(n\))g
+(\(plus)i(p0)e(m\)\)\)]IHp)i(p\))407 1854 y(:)e(\(n,m,p:nat\)\(minus)97
+b(n)91 b(m\)=\(minus)j(\(plus)e(p)f(n\))g(\(plus)i(p)d(m\)\))5860
+4036 y
+ 0 setgray
+ 5860 4036 a -45 3997 5906 10 v -45 4204 a Ff(15)43
+b(Mars)g(2002)812 b Fe(LogiCal)60 b(team)d(-)h(INRIA)g(Ro)5
+b(cquencourt)1179 b Ff(P)m(age)43 b(5)p eop
+%%Page: 6 6
+6 5 bop -45 -282 5906 7 v -45 -44 a Fh(Rendered)94 b(b)-8
+b(y)93 b(HELM)p -45 11 V -45 602 a Fc(DEFINITION)54 b
+(minus_plus_simpl\(\))-45 744 y(TYPE)h(=)339 886 y(for)g(all)f
+(n:nat.for)g(all)h(m:nat.for)f(all)g
+(p:nat.\(\(n-m\)=\(\(p+n\)-\(p+m\)\)\))-45 1028 y(BODY)h(=)339
+1170 y(lambda)g(n:nat)449 1313 y(lambda)f(m:nat)559 1455
+y(lambda)g(p:nat)669 1597 y(We)g(prove)h
+(\(\(n-m\)=\(\(p+n\)-\(p+m\)\)\))669 1739 y(by)f(induction)g(on)h(p)888
+1882 y(Case)g(O)1108 2024 y(\(refl_equal)e(.)i(.\))1163
+2166 y(we)f(proved)109 b(\(\(n-m\)=\(n-m\)\))888 2308
+y(Case)55 b(\(S)f(n0:nat\))1108 2450 y(By)g(induction)g(hypothesis,)g
+(we)h(have:)1108 2593 y(\(H\))f(\(\(n-m\)=\(\(n0+n\)-\(n0+m\)\)\))1108
+2735 y(H)669 2877 y(we)g(proved)g(\(\(n-m\)=\(\(p+n\)-\(p+m\)\)\))394
+3019 y(we)h(proved)109 b(for)54 b(all)h(n:nat.)f(for)h(all)f(m:nat.)h
+(for)f(all)h(p:nat.)f(\(\(n-m\)=\(\(p+n\)-\(p+m\)\)\))5860
+4036 y
+ 0 setgray
+ 5860 4036 a -45 3997 5906 10 v -45 4204 a Ff(15)43
+b(Mars)g(2002)812 b Fe(LogiCal)60 b(team)d(-)h(INRIA)g(Ro)5
+b(cquencourt)1179 b Ff(P)m(age)43 b(6)p eop
+%%Page: 7 7
+7 6 bop -45 -282 5906 7 v -45 -44 a Fh(Main)93 b(Co)8
+b(q)94 b(libraries)p -45 11 V -45 647 a Fg(-)63 b(Arithmetic)e(\(P)-5
+b(eano)63 b(n)-5 b(um)g(b)5 b(ers)61 b(and)i(binary)e(in)-5
+b(tegers\))-45 1004 y(-)63 b(Axiomatized)e(real)h(n)-5
+b(um)g(b)5 b(ers)61 b(\(deriv)-10 b(abilit)-5 b(y)-16
+b(,)59 b(trigonometry)-16 b(,)62 b(series,)h(...\))-45
+1362 y(-)g(Algebra)f(\(algebraic)g(structures,)i(fundamen)-5
+b(tal)60 b(theorem)i(of)h(algebra,)-45 1638 y(categories,)g(...\))-45
+1996 y(-)g(Sets,)g(relations,)g(orders,)g(logics)-45
+2353 y(-)g(Planar)f(geometry)-45 2711 y(-)h(Computer)f(science)f
+(structures)i(\(b)5 b(o)g(oleans,)64 b(lists,)f(maps,)g(automatas,)h
+(...\))-45 3068 y([13)g(standard)f(libraries)e(+)h(70)i(extra)e(user)h
+(con)-5 b(tributions])5860 4036 y
+ 0 setgray
+ 5860 4036 a -45 3997
+5906 10 v -45 4204 a Ff(15)43 b(Mars)g(2002)812 b Fe(LogiCal)60
+b(team)d(-)h(INRIA)g(Ro)5 b(cquencourt)1179 b Ff(P)m(age)43
+b(7)p eop
+%%Page: 8 8
+8 7 bop -45 -282 5906 7 v -45 -44 a Fh(The)93 b(Bologna)i(HELM)d(exp)8
+b(erimen)-8 b(t)p -45 11 V -45 636 a Fg(Exp)5 b(ort)63
+b(of)g(Co)5 b(q)63 b(formal)e(pro)5 b(ofs)64 b(to)f(XML)g(format)-45
+994 y(Application)e(of)i(XSL)-16 b(T)63 b(\014lters)g(for)f(output)h
+(in)-45 1351 y(-)g(Natural)g(language)-45 1709 y(-)g(MathML)g(Con)-5
+b(ten)g(t)-45 2066 y(-)63 b(MathML)g(presen)-5 b(tation)-45
+2424 y(Computation)62 b(of)h(the)g(dep)5 b(endency)60
+b(graph)5860 4036 y
+ 0 setgray
+ 5860 4036 a -45 3997 5906 10 v -45
+4204 a Ff(15)43 b(Mars)g(2002)812 b Fe(LogiCal)60 b(team)d(-)h(INRIA)g
+(Ro)5 b(cquencourt)1179 b Ff(P)m(age)43 b(8)p eop
+%%Page: 9 9
+9 8 bop -45 -282 5906 7 v -45 -44 a Fh(Our)93 b(problems)p
+-45 11 V -45 636 a Fg(-)63 b(Classi\014cation)-45 994
+y(-)g(Retrieving)-45 1351 y(-)g(Pro)5 b(of)63 b(rendering)-45
+1709 y(-)g(Mo)5 b(dularit)-5 b(y)5860 4036 y
+ 0 setgray
+ 5860 4036
+a -45 3997 5906 10 v -45 4204 a Ff(15)43 b(Mars)g(2002)812
+b Fe(LogiCal)60 b(team)d(-)h(INRIA)g(Ro)5 b(cquencourt)1179
+b Ff(P)m(age)43 b(9)p eop
+%%Page: 10 10
+10 9 bop -45 -282 5906 7 v -45 -44 a Fh(Classifying)p
+-45 11 V -45 647 a Fg(-)63 b(Thematically)d(\(but)j(sometimes)e(at)j
+(the)e(in)-5 b(tersection)62 b(of)g(sev)-5 b(eral)62
+b(\014elds\))-45 1004 y(-)h(By)f(author)-45 1362 y(-)h(By)f(v)-5
+b(ersion)61 b(of)i(Co)5 b(q)-45 1719 y(Curren)-5 b(tly)-16
+b(,)62 b(classi\014ed)f(b)-5 b(y)62 b(v)-5 b(ersion,)62
+b(site,)h(theory)g(+)f(thematic)g(cross)-45 1996 y(classi\014cation)
+5860 4036 y
+ 0 setgray
+ 5860 4036 a -45 3997 5906 10 v -45 4204 a
+Ff(15)43 b(Mars)g(2002)812 b Fe(LogiCal)60 b(team)d(-)h(INRIA)g(Ro)5
+b(cquencourt)1116 b Ff(P)m(age)43 b(10)p eop
+%%Page: 11 11
+11 10 bop -45 -282 5906 7 v -45 -44 a Fh(Retrieving)p
+-45 11 V -45 647 a Fg(-)63 b(By)f(pattern)h(\(but)g(ho)-5
+b(w)62 b(to)i(iden)-5 b(tify)60 b Fb(n)53 b(<)f(p)41
+b Fg(+)h(1)63 b(and)g Fb(n)52 b Fa(\024)g Fb(p)p Fg(\))-45
+1004 y(-)63 b(By)f(isomorphism)e(\(e.g.)85 b Fb(A)53
+b Fa(!)f(8)p Fb(x:B)9 b Fg(\()p Fb(x)p Fg(\))53 b Fa(!)f
+Fb(C)66 b Fa(\021)52 b(8)p Fb(x:B)9 b Fg(\()p Fb(x)p
+Fg(\))42 b Fa(^)g Fb(A)53 b Fa(!)e Fb(C)13 b Fg(\))-45
+1362 y(-)63 b(By)f(name)g(\(but)h(no)f(standard:)85 b(e.g.)f(comm)-5
+b(utativit)g(y)60 b(is)j(sometimes)e(called)-45 1638
+y(symmetry\))5860 4036 y
+ 0 setgray
+ 5860 4036 a -45 3997 5906 10
+v -45 4204 a Ff(15)43 b(Mars)g(2002)812 b Fe(LogiCal)60
+b(team)d(-)h(INRIA)g(Ro)5 b(cquencourt)1116 b Ff(P)m(age)43
+b(11)p eop
+%%Page: 12 12
+12 11 bop -45 -282 5906 7 v -45 -44 a Fh(Pro)8 b(of)94
+b(rendering)p -45 11 V -45 647 a Fg(-)63 b(T)-16 b(o)63
+b(b)5 b(e)63 b(able)f(to)i(render)d(a)i(pro)5 b(of)63
+b(in)f(h)-5 b(uman-understandable)60 b(format)i(\(cf)-45
+923 y(HELM)h(and)g(Natural)g(exp)5 b(erimen)-5 b(ts\),)61
+b(but)i(still)e(problem)g(with)i(the)f(detail)-45 1199
+y(lev)-5 b(els)-45 1557 y(-)63 b(Con\015ict)f(b)5 b(et)-5
+b(w)g(een)62 b(v)-5 b(erb)5 b(osit)-5 b(y)61 b(and)i(automation)5860
+4036 y
+ 0 setgray
+ 5860 4036 a -45 3997 5906 10 v -45 4204 a Ff(15)43
+b(Mars)g(2002)812 b Fe(LogiCal)60 b(team)d(-)h(INRIA)g(Ro)5
+b(cquencourt)1116 b Ff(P)m(age)43 b(12)p eop
+%%Page: 13 13
+13 12 bop -45 -282 5906 7 v -45 -44 a Fh(Mo)8 b(dularit)-8
+b(y)p -45 11 V -45 636 a Fg(-)63 b(Curren)-5 b(tly)61
+b(no)i(mo)5 b(dule)-45 994 y(-)63 b(T)-16 b(o)63 b(b)5
+b(e)63 b(able)f(to)i(express)e(theories)g(indep)5 b(enden)-5
+b(tly)59 b(of)k(a)g(sp)5 b(eci\014c)-45 1270 y(implemen)-5
+b(tation)-45 1628 y(Relations)62 b(with)h(OMDo)5 b(c?)5860
+4036 y
+ 0 setgray
+ 5860 4036 a -45 3997 5906 10 v -45 4204 a Ff(15)43
+b(Mars)g(2002)812 b Fe(LogiCal)60 b(team)d(-)h(INRIA)g(Ro)5
+b(cquencourt)1116 b Ff(P)m(age)43 b(13)p eop
+%%Trailer
+end
+userdict /end-hook known{end-hook}if
+%%EOF
\ No newline at end of file
projects / helm.git / commitdiff