]> matita.cs.unibo.it Git - helm.git/commitdiff
* New slides from Saarbrucken
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Apr 2002 17:16:46 +0000 (17:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Apr 2002 17:16:46 +0000 (17:16 +0000)
* DTD changed

helm/mowgli/home/misc/kick-off/KM2002GO.ps [new file with mode: 0644]
helm/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps [new file with mode: 0644]
helm/mowgli/home/xml/members/kick-off.xml
helm/mowgli/home/xsl/minutes.xsl

diff --git a/helm/mowgli/home/misc/kick-off/KM2002GO.ps b/helm/mowgli/home/misc/kick-off/KM2002GO.ps
new file mode 100644 (file)
index 0000000..51f022e
--- /dev/null
@@ -0,0 +1,1984 @@
+%!PS-Adobe-2.0
+%%Creator: dvipsk 5.86 p1.5d Copyright 1996-2001 ASCII Corp.(www-ptex@ascii.co.jp)
+%%based on dvipsk 5.86 Copyright 1999 Radical Eye Software (www.radicaleye.com)
+%%Title: KM2002GO.dvi
+%%Pages: 14
+%%PageOrder: Ascend
+%%Orientation: Landscape
+%%BoundingBox: 0 0 596 842
+%%EndComments
+%DVIPSWebPage: (www.radicaleye.com)
+%DVIPSCommandLine: dvips KM2002GO.dvi -o KM2002GO.ps
+%DVIPSParameters: dpi=600, compressed
+%DVIPSSource:  TeX output 2002.04.03:0305
+%%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
+/dir 0 def/dyy{/dir 0 def}B/dyt{/dir 1 def}B/dty{/dir 2 def}B/dtt{/dir 3
+def}B/p{dir 2 eq{-90 rotate show 90 rotate}{dir 3 eq{-90 rotate show 90
+rotate}{show}ifelse}ifelse}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
+%%BeginProcSet: color.pro
+%!
+TeXDict begin/setcmykcolor where{pop}{/setcmykcolor{dup 10 eq{pop
+setrgbcolor}{1 sub 4 1 roll 3{3 index add neg dup 0 lt{pop 0}if 3 1 roll
+}repeat setrgbcolor pop}ifelse}B}ifelse/TeXcolorcmyk{setcmykcolor}def
+/TeXcolorrgb{setrgbcolor}def/TeXcolorgrey{setgray}def/TeXcolorgray{
+setgray}def/TeXcolorhsb{sethsbcolor}def/currentcmykcolor where{pop}{
+/currentcmykcolor{currentrgbcolor 10}B}ifelse/DC{exch dup userdict exch
+known{pop pop}{X}ifelse}B/GreenYellow{0.15 0 0.69 0 setcmykcolor}DC
+/Yellow{0 0 1 0 setcmykcolor}DC/Goldenrod{0 0.10 0.84 0 setcmykcolor}DC
+/Dandelion{0 0.29 0.84 0 setcmykcolor}DC/Apricot{0 0.32 0.52 0
+setcmykcolor}DC/Peach{0 0.50 0.70 0 setcmykcolor}DC/Melon{0 0.46 0.50 0
+setcmykcolor}DC/YellowOrange{0 0.42 1 0 setcmykcolor}DC/Orange{0 0.61
+0.87 0 setcmykcolor}DC/BurntOrange{0 0.51 1 0 setcmykcolor}DC
+/Bittersweet{0 0.75 1 0.24 setcmykcolor}DC/RedOrange{0 0.77 0.87 0
+setcmykcolor}DC/Mahogany{0 0.85 0.87 0.35 setcmykcolor}DC/Maroon{0 0.87
+0.68 0.32 setcmykcolor}DC/BrickRed{0 0.89 0.94 0.28 setcmykcolor}DC/Red{
+0 1 1 0 setcmykcolor}DC/OrangeRed{0 1 0.50 0 setcmykcolor}DC/RubineRed{
+0 1 0.13 0 setcmykcolor}DC/WildStrawberry{0 0.96 0.39 0 setcmykcolor}DC
+/Salmon{0 0.53 0.38 0 setcmykcolor}DC/CarnationPink{0 0.63 0 0
+setcmykcolor}DC/Magenta{0 1 0 0 setcmykcolor}DC/VioletRed{0 0.81 0 0
+setcmykcolor}DC/Rhodamine{0 0.82 0 0 setcmykcolor}DC/Mulberry{0.34 0.90
+0 0.02 setcmykcolor}DC/RedViolet{0.07 0.90 0 0.34 setcmykcolor}DC
+/Fuchsia{0.47 0.91 0 0.08 setcmykcolor}DC/Lavender{0 0.48 0 0
+setcmykcolor}DC/Thistle{0.12 0.59 0 0 setcmykcolor}DC/Orchid{0.32 0.64 0
+0 setcmykcolor}DC/DarkOrchid{0.40 0.80 0.20 0 setcmykcolor}DC/Purple{
+0.45 0.86 0 0 setcmykcolor}DC/Plum{0.50 1 0 0 setcmykcolor}DC/Violet{
+0.79 0.88 0 0 setcmykcolor}DC/RoyalPurple{0.75 0.90 0 0 setcmykcolor}DC
+/BlueViolet{0.86 0.91 0 0.04 setcmykcolor}DC/Periwinkle{0.57 0.55 0 0
+setcmykcolor}DC/CadetBlue{0.62 0.57 0.23 0 setcmykcolor}DC
+/CornflowerBlue{0.65 0.13 0 0 setcmykcolor}DC/MidnightBlue{0.98 0.13 0
+0.43 setcmykcolor}DC/NavyBlue{0.94 0.54 0 0 setcmykcolor}DC/RoyalBlue{1
+0.50 0 0 setcmykcolor}DC/Blue{1 1 0 0 setcmykcolor}DC/Cerulean{0.94 0.11
+0 0 setcmykcolor}DC/Cyan{1 0 0 0 setcmykcolor}DC/ProcessBlue{0.96 0 0 0
+setcmykcolor}DC/SkyBlue{0.62 0 0.12 0 setcmykcolor}DC/Turquoise{0.85 0
+0.20 0 setcmykcolor}DC/TealBlue{0.86 0 0.34 0.02 setcmykcolor}DC
+/Aquamarine{0.82 0 0.30 0 setcmykcolor}DC/BlueGreen{0.85 0 0.33 0
+setcmykcolor}DC/Emerald{1 0 0.50 0 setcmykcolor}DC/JungleGreen{0.99 0
+0.52 0 setcmykcolor}DC/SeaGreen{0.69 0 0.50 0 setcmykcolor}DC/Green{1 0
+1 0 setcmykcolor}DC/ForestGreen{0.91 0 0.88 0.12 setcmykcolor}DC
+/PineGreen{0.92 0 0.59 0.25 setcmykcolor}DC/LimeGreen{0.50 0 1 0
+setcmykcolor}DC/YellowGreen{0.44 0 0.74 0 setcmykcolor}DC/SpringGreen{
+0.26 0 0.76 0 setcmykcolor}DC/OliveGreen{0.64 0 0.95 0.40 setcmykcolor}
+DC/RawSienna{0 0.72 1 0.45 setcmykcolor}DC/Sepia{0 0.83 1 0.70
+setcmykcolor}DC/Brown{0 0.81 1 0.60 setcmykcolor}DC/Tan{0.14 0.42 0.56 0
+setcmykcolor}DC/Gray{0 0 0 0.50 setcmykcolor}DC/Black{0 0 0 1
+setcmykcolor}DC/White{0 0 0 0 setcmykcolor}DC end
+
+%%EndProcSet
+TeXDict begin 55380996 39158280 2074 600 600 (KM2002GO.dvi)
+@start
+%DVIPSBitmapFont: Fa cmsy10 20.74 1
+/Fa 1 33 df<EE03C0EE0FF0A25FA3161FA25F163FA25F167FA24CD3FCA34B5A15035E15
+075E150F4B5A5E153F4B5A4B5AA24A90D4FC4A5A4A5A4A5A141FEC7FF04A5A495B4990D5
+FCEB0FFEEB3FFCEBFFF8000313E0000F90C312F8003F23FEC5FCA3123F000F23F8000301
+E0D5FCC613F8EB3FFCEB0FFEEB03FF6D13C06D7F6E7EEC1FF8140F6E7E6E7E6E7E6E7FA2
+6F7E6F7E151F826F7E15078215038215016F7EA3707EA2163F83A2161F83A2160FA383A2
+EE03C0975B76D8AC> 32 D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fb cmr10 20.74 19
+/Fb 19 122 df<94380FFF804CB512F0041F14FE047F80922701FFFC0113C003079039C0
+003FE0031F90C7EA0FF0DB3FFCEC03F8DBFFF06E7E4A4914004A0180EC07FE4A90C8121F
+4A484B7E021F5E4A5A5D147F4A4892B57E7390C7FC495BA349715A4B6F5A735AF101C096
+C9FCB3A296380FFF8095B6FCBCFCA6D8000301C0C8123F8585A285B3B3B3496D4B7FA201
+3F01FC037F13F8007FB600FE90B712FCA6567A7CF960> 12 D<B812F8AA2D0A7EA939>
+45 D<BB12FEF2FFF01BFEF3FFC01CF01CFCD8000702F0C8003F13FF01004A030114C06E
+49DB003F7F6E060F13F809037F09007F767E0A1F13C0767F767F767F88767F777E777E8B
+89777F8B898B777FA2777FA2777FA28B8AA22080A27813C0A420E08AA320F0A620F8B020
+F0A620E0A266A220C0A3541380A320009BB5FC67A2535BA2535BA2535B676567535B6553
+90C7FC66535A525B525B0A0F5B525B525B99B5C8FC09035B090F13F84A063F5B91B56C4B
+B512C001076E033F5CBD48C9FC1CF81CC099CAFC1BF050CBFC75767CF583> 68
+D<B700C098B712E07062A27062A27062D800070EFCC7FC010020E0027E6DE00FBF5B023E
+676F6CF21F3FA36F6C1A3EA36F6D197CA26F6D19F8A36F6DF001F0A26F6DF003E0A36F6D
+F007C0A36F6DF00F80A2706CF01F00A3706C183EA2706D5FA3706D5FA2706D4C5AA3706D
+4C5AA3706D4C5AA2706D4C5AA3716C4CC7FCA2716C163EA3716D5DA3716D5DA2716D4A5A
+A3716D4A5AA2716D4A5AA3716D4A5AA3726C4AC8FCA2726C143EA3726D5BA2726D5BA372
+6D485AA3726D485AA2726D485AA3726D485AA2736C48C9FCA396383FFF3EA37313FCA273
+5BA3735B147F735B4A7E497F010701F06F494C7F011F01FC99B57E90B66C080714FCB86C
+6D4991B912E0A274C8FCA31A3E93767BF59E> 77 D<B700C00407B712FC8282A28282D8
+0001DF0007ECFC00D9003F6D050014E070063F1380E30FFEC7FC71715A023E6E715A836F
+735A6F7F83816F7F83816F7F84816F80707FA2707F707FA2707F707FA2707F7080A27080
+717FA2717F717FA2717F717FA2717F7180A27180727F8684727F8684727F868472808784
+737F737FA2737F737FA2737F737FA27314807314C0A27413E07413F0A27413F87413FCA2
+7413FE7413FFA27414817414C1A27513E17513F11DF9877513FD1DFF8787A28787A28888
+88A28888A28888147F884A6C197F497F010701F0193F011F01FC191F90B67EB86C170F1D
+07A21D031D01775A76767BF581> I<DB1FFF150E4AB500F0141E020F02FE143E023FECFF
+C091B76C137E4904F813FE0107D9F80113FE49903A80001FFF014948C700031383494802
+0013C3D97FF0ED3FE74948ED0FFF4849814A814890C97E488349177F000F183F4848171F
+A249170F123F1907485A1903A2190112FFA21900A36D187EA47F1A3E7FA26C7EA26E94C7
+FC806C7F8014FC6C13FF15C06C14F8EDFF806C15F8EEFF806C16F86CEEFF806C17F86D16
+FE6D707E6D17E06D836D836D17FE6D836D6C83021F830207831400030782DB007F811607
+DC007F800507801700061F7F84180372148084857313C085A2851BE000788412F8A285A4
+857EA47E1BC0A27EA24F13807FA26D19006D5F626D170F6D606D171F6D606D173F6E4C5A
+02E04C5A6E4B5BD9CFFC4B5BD987FF4B90C7FC018301E0EC1FFE010001FCEC7FFC48903B
+7FFFE003FFF8021F90B65A48010716C048010193C8FC6E6C14FC48020714F048DA003F90
+C9FC4B7E76F960> 83 D<EDFFF8021FEBFF80027F14F00103B612FC499038803FFF9027
+1FF800077FD93FC0010113E049C87F01FEED3FF80001707E6D6C81486D140F6E6E7E486D
+826E80858385A3717F6C5B6C5B6C5B6D5A90CAFCA74CB5FC93B6FC151F4AB7FC020F14E0
+023FEBF80091B51280010301FCC7FC010F13F04913C04990C8FCEBFFFE4813F8485B485B
+A2485B485BA24890C9FC1BF8485AA3485AA25FA45FA26D5D127F5F6C6C923A1F3FF801F0
+A26C6D143E6C6D913A7C1FFC03E06C6DD901F89038FE07C06C6D49486CB5FC6C01FC9026
+0FE00714806C6CB46CB4486C14006D90B5C66C13FC010702FC6D5B010002F0EC1FC0020F
+018091C8FC4D4F79CC56> 97 D<EC1F800003B5FCB6FCA6C6FC131F7FA27FB3AEEF3FFC
+0403B512C0040F14F8043F14FE933AFFE01FFF80922783FE000313E0DB87F801007FDB8F
+E0EC3FF8DB9F806E7E03BFC86CB4FC03FE6F7F4B6F7F4B814B6F7F4B834B707EA24B707E
+871A1F87A21C80861CC0A31CE0A286A31CF0AE1CE0A3621CC0A31C8062A21C00A2505A63
+6F167F636F4C5AA26F4B5B6F4B5B02FE60DAFC7C4B90C7FC6FED1FFE4A6C6C4A5A6F6CEC
+7FF09126F007F049485ADB03FC01075B9128E001FF807F90C8FC6F6CB512FC4A011F14F0
+90C8000714809326007FF8C9FC547A7BF760> I<1A7E95380FFFFE0503B5FCA6EF0003F0
+007F193FA2191FB3AE923801FFE0031F13FE92B612C0020315F0020F9038E01FF8913A3F
+FE0003FEDA7FF8EB007FDAFFE0EC3F9F010349EC0FDF4949EC07FF4948C87E494881013F
+824948167F495A193F485B48181F5C5A485BA25AA291CAFC5AA35A5BA312FFAE127FA37F
+A27EA37E807EA27E806C183F6C7F197F6C6D16FF137F6D6C5D6D6C4B7F6D6C5D6D6CDB0F
+DF7F6D6DDA3F9F13F06D6DDA7F1FEBFFF06D01F0EB01FCDA7FFCEB07F8913A1FFF807FF0
+020790B512C002011500DA003F01FCEDFC00030301C00280C7FC547A7AF760> 100
+D<923807FFC0033F13FC4AB67E020715E0021F01017F913A7FF8003FFCDAFFE0EB0FFE49
+496D7E0107496D7F4990C76C7F49486E7F49488249486F7E01FF163F4A824849151F4884
+5C48717EA2485B1A804883A24890C9FCA21AC05A845BA312FF90BAFCA31A8049CCFCAA12
+7FA27FA27EA36C7FF10380F107C07E6E160F7E6C6DEE1F80A26CF03F006C7F6E167E017F
+17FE6D6C5E6D6C4B5A6D6C15036D6D4A5A6D6D4A5A01006DEC3FC0DA7FF802FFC7FCDA1F
+FEEB03FE913A0FFFC03FF8020390B55A020015C0031F49C8FC030113F0424F7BCC4D> I<
+EB07E0EB1FF8497E497E90B5FC4880A86C91C7FC6D5A6D5A6D5AEB07E090C9FCB3A4EC1F
+8048B5FCB6FCA6C6FC131F7FA27FB3B3B3497FA2017F13F0B712F8A625747BF32F> 105
+D<EC1F800003B5FCB6FCA6C6FC131F7FA27FB3B00503B612FCA605001580063F01F8C7FC
+1AE07213804FC8FC19F84E5A19C04E5A4EC9FC4D5A4D5A4D5AEF0FE04D5AEF7F804DCAFC
+4C5A4C5A4C5A4C5A161F163FEEFFF803817F03837F1587038F7F039F80EDBF9FDBFF0F7F
+4B6C7F15FC4B6C7F4B6C7F4B7E4B8092C76C7E717EA2717F717FA2717F717F8385717F72
+7EA2727E727FA2727F727FA2727F8686496D824E6D7E017F01F04A14E0B700F890B712C0
+A652787BF75B> 107 D<EC1F800003B5FCB6FCA6C6FC131F7FA27FB3B3B3B3B3A9497FA2
+017F13F8B712FCA626787BF72F> I<023FDA1FFEEE3FFC0003B591B500E04AB512C0B601
+0702FC020F14F8041F6E023F8093283FE01FFF8090397FC03FFF93267F00036D9026FE00
+077F04FC6D9026E001F86D7FDB03F06D9026F007E06D7FC64A48027F49487F011F4A03F8
+49816D49486E6C48C86C7E4BC8143E6D013E031F49153F033CDCFE7882037C17F84B705A
+4B6F49151F8C4B5FA34B5FA44B94C9FCB3B3A6496D4B6D4B7EA2017F01F892B500F04AB5
+12E0B7D8FC01B7D8F803B712F0A6844C7ACB8F> I<023FEC1FFE0003B591B512E0B60107
+14FC041F80933A3FE01FFF8093267F00037F04FC6D7FDB03F06D7FC64A48147F011F4A81
+6D49486E7E4BC8FC6D013E151F033C82157C5D4B150F865DA35DA45DB3B3A6496D4B7FA2
+017F01F892B512F0B7D8FC01B712F8A6554C7ACB60> I<EEFFE0031F13FF037F14C00203
+B612F8020F9038803FFE913A1FFC0007FFDA7FF0010113C0DAFFC06D6C7E49496E7ED907
+FEC8EA0FFC49486F7E49486F7E013F844A8149486F7F01FF844849707EA24849707E4885
+A24890CA6C7EA24885A3481A804983A2007F1AC0A500FF1AE0AD007F1AC0A46C6C4D1380
+A36C1A00A36C6D4C5AA26C616E167F6C616C6D4C5AA26C6D4B5B017F606D6C4B5B6D6C4B
+90C7FC6D6C4B5A6D6C4B5A6D6D4A5A6D6D4A5A9026007FF0903801FFC0DA3FFC01075B91
+280FFF803FFEC8FC020390B512F8020015E0031F91C9FC030113F04B4F7BCC56> I<023F
+ECFF800003B5010713F0B6011F7F4C13FE9338FF83FF923801FC07922603F00F1380DB07
+E014C0C64B5A011FEB0F806DEB1F00151E6D133E153C037C6D138003786D130003F86D5A
+4B6D5A94C8FCA25DA35DA65DB3B3A2497F81017F13FCB87EA63A4C7CCB43> 114
+D<EC03E0A81407A5140FA4141FA2143FA3147FA214FF5BA25B5B5B5B137F48B812E0120F
+B9FCA4D8000101E0C8FCB3B3187CB06D16F881A3027FEC01F081143F6FEB03E0141F6E6C
+EB07C06E6CEB0F806E9038801F006EEBE07F6EEBFFFE033F13F8030F5B03011380366C7D
+E943> 116 D<B700F049B612F0A6C66C01FCC8003FEBFE00011F01F0030F13F06D490303
+13C06D495F7390C7FC6D6D5E627F6F5E7F626F1503027F5F6F1507023F5FA26F150F021F
+5F6F151F6E94C8FCA2705C6E163E70147E6E167C8219FC6E5E7013016E5E701303037F5D
+A2701307033F5D70130F031F5DA270131F6F92C9FC715A6F143EA2EFC07E6F147CEFE0FC
+6F5CA217F16F5C17FB047F5BA217FF705BA2705BA37090CAFCA2705AA3705AA2705AA25F
+A216035F16075FA2160F5F161F94CBFCA25ED807C0143ED81FF0147E486C147C487E16FC
+486C5C15015E4B5A1507495C007F4A5A49131F4949CCFCD83FC0137E6C485B9038C003F8
+390FF80FF00003B55A6C14806C6C48CDFCEB0FF0546D7DC95B> 121
+D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fc cmex7 8.296 4
+/Fc 4 63 df<12F012FCB4FC13C0EA3FE0EA1FF86C7E6C7E6C6C7E6C7F6C7F137F6D7E6D
+7E80130F806D7EA26D1380A36D13C0A315E07FB3B21B3E737E46> 57
+D<ECFFE0B3B25B15C0A3491380A3491300A2495A5C131F5C495A495A13FF485B485B4848
+C7FC485A485AEA3FE0B45A90C8FC12FC12F01B3E738046> 59 D<EAFFE0B3B36C7EA46C
+7EA36C7EA2120F6C7EA26C7E7E806C7F137F6D7E6D7E6D7E6D7EEB01FE6D7EEC3FC0EC1F
+E01407A2141FEC3FC0ECFF00495AEB07FC495A495A495A495A13FF485B91C7FC5A485AA2
+485A121FA2485AA3485AA4485AB3B31B7E638046> 61 D<EAFFE0B3A50B17638046> I
+E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fd cmtt8 10.37 53
+/Fd 53 122 df<001E130F003FEB1F80397F803FC000FF14E0A4007F14C0A9EB001FA36C
+1480A5003E130F001CEB07001B1A77B52E> 34 D<007FB612C0A2B712E0A36C15C0A223
+077B9D2E> 45 D<120FEA3FC0EA7FE0A2EAFFF0A4EA7FE0A2EA3FC0EA0F000C0C6F8B2E>
+I<ED03C01507ED0FE0A2151FA2ED3FC0A2ED7F80A2EDFF00A24A5AA24A5AA24A5AA25D14
+0FA24A5AA24A5AA24A5AA24AC7FCA2495AA2495AA25C1307A2495AA2495AA2495AA2495A
+A249C8FCA2485AA25B1203A2485AA2485AA2485AA2485AA2485AA248C9FCA25AA2127CA2
+23437BBB2E> I<EB01FC90380FFF80497F017F13F090B57E488014073903FC01FE48486C
+7E497F4848EB3F80001F15C049131FA24848EB0FE0A290C712074815F0A3007E140300FE
+15F8AC6C14076C15F0A46C6CEB0FE0A36C6CEB1FC0A26D133F6C6CEB7F80000715006D5B
+6C6C485A3901FF07FC14FF6C5C6D5B011F13C06D5BD901FCC7FC25377CB52E> I<EB03C0
+497EA2130FA2131FA2133F137FEA01FF120F127FA2B5FC13CFEA7F0F12181200B3AD003F
+B512F84814FCA46C14F81E3678B52E> I<EB0FFE90387FFFC048B512F04814FC4880001F
+80D9F80F1380263FE00013C04848EB7FE049131F90C7EA0FF05A6D130716F81503A26CC7
+FCA2121CC8FCA2150716F0150F16E0151FED3FC0A2ED7F80EDFF004A5A14034A5AEC1FF8
+EC3FE04A5A4A5A4990C7FCEB07FE495AEB1FF0495A495A495A3A03FE0001F04848EB03F8
+485A485A48B6FCB7FCA37E6C15F025367CB52E> I<0007B612804815C05AA3168001C0C8
+FCADEBC1FF01CF13E090B512F8818181020113809039F8007FC001E0EB3FE049131F6C48
+EB0FF06CC71207C8FC16F81503A3123E127F487EA2150716F0150F90C7EA1FE06C6C133F
+6DEB7FC06C6CEBFF80EBFC076CB612006C14FC6C5C000114E06C6C1380D90FFCC7FC2536
+7CB42E> 53 D<EB03FE90381FFFC0017F13F048B512FC48804880260FFE0313803A1FF0
+007FC04848EB3FE049131F49130F007F15F090C71207A56C6CEB0FE06D131F6C6CEB3FC0
+6C6CEB7F803A07FC01FF006CB55A6C5C6C6C13F0011F13C0017F13F048B512FC48EB8FFE
+3A0FF800FF804848EB7FC001C0131F4848EB0FE0007F15F090C712074815F8481403A600
+7FEC07F0A26D130F6C6CEB1FE06D133FD81FF8EBFFC0260FFE0313806CB612006C5C6C5C
+6C6C13F0011F13C0D903FEC7FC25377CB52E> 56 D<ED03C0150FED1FE0157F15FF0203
+13C05C021F13004A5AECFFF8495B010713C0495BD93FFEC7FC495A3801FFF0485B000F13
+804890C8FCEA7FFC5BEAFFE05B7FEA7FF87FEA1FFF6C7F000313E06C7F38007FFC6D7E90
+380FFF806D7F010113F06D7FEC3FFE6E7E020713C080020013E0157F151FED0FC0150323
+2D7BB02E> 60 D<007FB612FCA2B712FEA36C15FC6C15F8CAFCA7003FB612F84815FCB7
+12FEA36C15FCA227157DA42E> I<1278127EB4FC13C07FEA7FF87FEA1FFF6C7F000313E0
+6C7F38007FFC6D7E90380FFF806D7F010113F06D7FEC3FFE6E7E020713C080020013E015
+7F15FF020313C05C021F13004A5AECFFF8495B010713C0495BD93FFEC7FC495A3801FFF0
+485B000F13804890C8FCEA7FFC5BEAFFE05B90C9FC127E1278232D7BB02E> I<147F4A7E
+A2497FA4497F14F7A401077F14E3A3010F7FA414C1011F7FA490383F80FEA590387F007F
+A4498091B5FCA44881A29038FC001FA200038149130FA4D83FFFEB7FFE486DB5FCB51580
+A26C16006C496C5A29367EB52E> 65 D<003FB512F04814FEB7128016C06C15E06C15F0
+3A03F8001FF81507ED03FC150116FE1500A5150116FC150316F8150FED1FF090B612E016
+C01600A2168016E09039F8003FF0ED07F8ED03FC150116FE1500A2167FA616FF16FE1501
+1503ED07FC151F003FB612F84815F0B712E016C06C15006C14F828357FB42E> I<91387F
+803C903903FFF03E010FEBFC7E49EBFEFE4913FF90B6FC48EBE07FEC801F3903FE000F48
+481307484813035B48481301A2485A15005B127F90C8FC167C16005A5AAB7E7EA2167C6D
+14FE123F7FA26C7E15016C6C14FC6D13036C6CEB07F86C7E3A01FF801FF09138E07FE06C
+90B512C0013F14806D14006D5B010313F89038007FC027377DB52E> I<007FB57EB612E0
+15F815FE816C15803807F0019138007FC0ED3FE0ED1FF0150FED07F8A2ED03FCA2150116
+FE1500A4167FAC16FEA3150116FCA21503ED07F8A2ED0FF0151FED3FE0ED7FC0EC01FF00
+7FB61280B712005D15F85D6C148028357EB42E> I<003FB612FC4881B7FCA27E7ED803F8
+C7FCA7167C93C7FCA415F84A7EA490B5FCA6EBF801A46E5A92C8FCA4161FEE3F80A8003F
+B7FC5AB8FCA27E6C160029357EB42E> I<007FB612FEB8FCA47ED803F8C7127FA7163E16
+00A4157C15FEA490B5FCA6EBF800A4157C92C7FCAD387FFFE0B57E80A25C6C5B28357EB4
+2E> I<9138FE01E0903907FFC1F0011F13F34913FF5B90B6FC4813C14848C6FC4848137F
+49133F4848131F5B001F140F5B123F491307A2127F90C7FCED03E092C7FC5A5AA7913801
+FFFE4A13FFA37E6C6D13FE91380007F0A27F003F140FA27F121F6D131F120F7F6C6C133F
+6D137F6C6C13FF3801FF816C90B5FC7F7F6D13E70107EBC3E0D900FEC7FC28377DB52E>
+I<003FB512FE4880B71280A26C15006C5C260007F0C7FCB3B3A5003FB512FE4880B71280
+A26C15006C5C21357AB42E> 73 D<0103B512C04914E016F0A216E06D14C090390001FC
+00B3B0123E127FEAFF80A214035DEB000F397FE03FF090B55A6C5C6C5C6C91C7FC000313
+FC38007FE024367BB42E> I<387FFFF0B57EA46C5BD803F8C8FCB3AE167C16FEA8007FB6
+FCB7FCA46C15FC27357DB42E> 76 D<D87FF0EB07FF486C4913806D5BA36C6C49130000
+0F15F801DE133D01DF137DA49038CF80F9A314C1A201C713F1A214E3A201C313E1A314F7
+01C113C1A39038C0FF81A4EC7F01A2141C1400ACD87FF8EB0FFF486C491380A46C486D13
+0029357EB42E> I<D87FF8EB3FFF486C4913807FA27F6C6E13000007EC03F0EBEF80A3EB
+E7C0A314E013E314F0A213E114F8A213E014FCA2147C147EA2143E143FA2141F1583A214
+0F15C3A2140715E3A2140315F31401A3EC00FBA3157FEA7FFEB5FC153FA2151F6C486D5A
+29357EB42E> I<90387FFFC00003B512F8000F14FE4880A2481580EBF0013A7FC0007FC0
+49133FA290C7121FA34815E048140FB3A86C141FA26C15C0A36D133FA26D137F3A3FF803
+FF8090B6FC6C1500A26C5C000314F8C66C13C023377BB52E> I<003FB512E04814FCB7FC
+16806C15C06C15E03A03F8007FF0ED1FF8150FED07FC1503150116FE1500A6150116FC15
+031507ED0FF8151FED7FF090B612E016C01680160015FC15E001F8C8FCAF383FFF80487F
+B57EA26C5B6C5B27357EB42E> I<387FFFFEB612C015F08115FE7E3907F007FF02007F6F
+7E153F151F82150FA5151F5E153F157F4B5A020790C7FC90B55AA215F85D81819038F003
+FEEC00FF8182153FA8EE87C0EE8FE0A5D87FFFEB1FDFB50080EBFFC08117806F13006C49
+6C5AC912F82B367EB42E> 82 D<90390FF80780D97FFF13C048B512CF4814FF5A5A381F
+F80F383FE00349C6FC4848137F90C7FC00FE143FA2151FA46CEC0F806C6C90C7FC7F7FEA
+3FF86CB47E6C13F86CEBFFC06C14F06C14FC6C6C7F010F7F01001480020F13C0020013E0
+153FED1FF0150FED07F8A2007C140312FEA56CEC07F0A26D130F6DEB1FE001F0133F01FF
+EBFFC091B5128016005D00FC5CD8F83F13F0D87803138025377CB52E> I<003FB7FC4816
+80B8FCA43AFE007F003FA7007CED1F00C791C7FCB3AF90381FFFFC497F497FA26D5B6D5B
+29357EB42E> I<3B3FFF800FFFE0486D4813F0B56C4813F8A26C496C13F06C496C13E0D8
+03F8C7EAFE00B3AF6D130100015DA26D130300005D6D13076D6C485AECC01F90393FF07F
+E06DB55A6D5C6D91C7FC6D5B010013F8EC1FC02D3680B42E> I<D87FFEEB3FFFB5491380
+A46C486D1300D807F0EB07F0A46C6C495AA46C6C495AA46D133F00005DA36D137F6D91C7
+FCA490383F80FEA490381FC1FCA4010F5B14E3A301075BA314F701035BA314FF6D5BA46D
+5BA26EC8FC29367EB42E> I<D87FFEEB3FFFB54913806EB5FCA24A7E6C486D1300D807F8
+EB0FF000035D6D131F00015D6D133F00005D6D137F6D91C7FC6E5AA2013F5B14C1011F5B
+14E3010F5BA2903807F7F0A201035B14FF6D5BA36D5BA26EC8FCB0903807FFF0497FA46D
+5B29357EB42E> 89 D<EBFFF80007EBFF804814E048804880819038E00FFEEC01FF6C48
+7E6F7E0007C7123FC8FCA291B5FC131F90B6FC1203120F5A48EB803F387FF80013C048C7
+FC5AA46C147F6C6C13FF6D5A383FF00F90B7FC6C16807E6C14CF0001EBFE0727003FF001
+130029257CA42E> 97 D<EA7FF8487EA4127F1201AAEC0FF8EC7FFE01FDB57E90B67E82
+829138F83FF89138C007FCEC80034A6C7E491300498082A21780163FA7167F17007F5E6D
+495AA26E485AECC00F9138F03FF891B55A5E5E01FD91C7FC3900FC7FFC9038780FF02935
+7FB42E> I<903803FFE0011F13FC017F7F90B6FC48158012071400EA0FF84848EB7F0048
+5A49131C484890C7FC90C9FCA25A5AA77E7E7FED0F806C6CEB1FC07F6C6C133FD80FFCEB
+7F803907FF81FF91B5120000015C6C5C6D5B011F13E0010390C7FC22257AA42E> I<9138
+07FF804A7FA480EC001FAAEB07F8EB3FFF4913DF48B6FC5A5A380FFE07381FF801EBE000
+4848137F153F4848131F90C7FCA25A5AA77E7E153F7F003F147F6D13FF6C6C5A6D5A380F
+FE0F6CB7FC6C16806C14DF6C149F90383FFE1F90260FF80F130029357DB42E> I<EB03FE
+90380FFFC0013F13F090B57E4880488048EB03FF380FF8004848EB7F80D83FC0133FED1F
+C0485A90C7FCED0FE05A90B6FCA516C048C9FC7E7E7F003FEC07C06DEB0FE06C7E6D131F
+D80FFC133F3A07FF80FFC06C90B512806C15006C5C013F5B010F13F00101138023257CA4
+2E> I<EC03FCEC1FFF027F13C091B5FC4914E05B903807FE3F14F890390FF01FC09138E0
+0F80ED070092C7FCA5003FB6FC481580B7FCA36C150026000FE0C7FCB3A7003FB512F848
+80B67EA26C5C6C5C23357DB42E> I<16FC903903FC07FF90261FFF9F1380017F90B5FC90
+B712C05A4815BF3A07FE07FE3FD9F801EB1F803B0FF000FF0F00496DC7FC001F8149133F
+A56D137F000F92C7FC6D5B6C6C485AEBFE0790B55A5D485C5D01DF1380D9C3FCC8FC01C0
+C9FCA27F7F6CB512F815FF16E04881488148819039E0000FFED87F80EB01FF90C87E00FE
+ED3F80A248151FA46C153F007FED7F0001C0495AD83FF0EB07FED81FFEEB3FFC6CB65A6C
+5D6C5DC61580011F01FCC7FC010313E02A3A7EA52E> I<EA7FF8487EA4127F1201AAEC07
+F8EC3FFE91B57E90B67EA282ECF81F9138E00FF01480EC0007A25BA25BB23B7FFFF03FFF
+C0B56C4813E092B5FCA2816C496C13C02B357FB42E> I<EB03C0497E497E497EA46D5A6D
+5A6D5A90C9FCA7381FFFF0487F5AA27E7EEA0003B3A7003FB6FC481580B7FCA27E6C1500
+21367AB52E> I<EC0780EC0FC0EC1FE0EC3FF0A4EC1FE0EC0FC0EC078091C7FCA790B512
+E04814F0A47EEB0007B3B3A2140F003E14E0007F131FD8FF8013C0143FECFF8090B51200
+7E5C6C13F86C5B000313801C497CB52E> I<EA3FF8487E12FFA2127F123F1200AA913807
+FFFE4A7F4A1480A26E14006E5B9138007F804BC7FC4A5A4A5A4A5A4A5A4A5A4A5A4A5A4A
+C8FC01FD7F90B57E81A2ECE7F0ECC3F8EC83FC9038FE01FEEBFC00157F6F7E82151F6F7E
+6F7E3B3FFFF03FFF80486D4813C0B515E0A26C16C06C496C13802B357FB42E> I<387FFF
+F0B57EA47EEA0003B3B3A5007FB612C0B712E0A46C15C023357BB42E> I<3A3FC1FC01FC
+3A7FE7FF07FFB6009F138015BF6C91B512C07E0007010FEB0FE001FC13FC9039F807F807
+A201F013F0A201E013E0B33B3FFC0FFC0FFC3B7FFE1FFE1FFEB5393FFF3FFFA23B7FFE1F
+FE1FFE3B3FFC0FFC0FFC302581A42E> I<397FF807F839FFFC3FFE91B57E90B67EA26C81
+0001EBF81F9138E00FF01480EC0007A25BA25BB23B7FFFF03FFFC0B56C4813E092B5FCA2
+816C496C13C02B257FA42E> I<EB03FE90381FFFC0017F13F090B57E000314FE4880260F
+FE031380EBF800D81FE0EB3FC04848EB1FE049130F007F15F090C71207A200FEEC03F8A8
+6C14076C15F06D130FA26C6CEB1FE06D133F6C6CEB7FC06C6CEBFF80EBFE036CB612006C
+5CC614F86D5B011F13C0D903FEC7FC25257CA42E> I<397FF80FF839FFFC7FFE01FDB57E
+90B67E826C8100019038F83FF89138C007FCEC80034A6C7E491300498082A21780163FA7
+167F17007F5E6D495AA26E485AECC00F9138F03FF891B55A5E5E01FD91C7FC9038FC7FFC
+EC0FF091C9FCAD387FFFF0B57EA46C5B29387FA42E> I<D87FFFEB1FF0B53880FFFC0283
+13FE148F029F13FF6C13BF39003FFFF01580ED007E02FC133C4A13005CA25C5CA35CAE00
+7FB512F0B67E81A25D6C5C28257EA42E> 114 D<90383FFE3C48B512FE1207121F5A5AEB
+E00738FF00014813005AA26C147C6C91C7FCEA7FF0EBFF806C13FE6CEBFFC0000714F000
+0114FCD8003F7F01007F02031380EC007F007CEC1FC000FE140FA27EA26D131F6DEB7F80
+9038F803FF90B612005D5D5D00F814E026781FFEC7FC22257AA42E> I<EB0780497E131F
+A9003FB612C04815E0B7FCA36C15C026001FC0C7FCB0ED01F0ED03F8A4150702E013F001
+0F130F9138F83FE06DB5FC16C06D14806D14009038007FFCEC1FE025307EAF2E> I<3A7F
+F801FFE0486C487FA4007F7F0001EB0007B3A3150F151F6D133F6D13FF6C90B612C017E0
+7F7F6D13E70103010313C02B257FA42E> I<3A3FFF80FFFE4801C17FB51580A26C16006C
+01805B3A01F8000FE06D5CA20000141F6D5C137E153F017F91C7FC7FA290381F807EA214
+C0010F5BA214E0903807E1F8A2EB03F15D14F31301ECFBE0A2EB00FF5D147FA25D143FA3
+92C8FCA25C147EA214FE00075BEA1FC1383FE1F813E3EBE7F0131FEBFFE06C5B5C6C90C9
+FCEA07FCEA03F029387EA42E> 121 D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fe cmtt8 16.592 1
+/Fe 1 65 df<ED03FF031F13F092B512FC020380020F6E7E4A81027F8191B77E01038249
+D9FE017F499038F0003F4901C06D7E4990C7120F4A6E7ED97FF8804948EB0FF14AD93FFD
+1380484990B6FC48EB80034B15C048495A495B000F5C494915E049ECFC3F001F9138FFF0
+0F494A7E003F49497E4C7E494890C713F0A2007F4A147FEBC0074B143FA300FF130F0180
+49141FAC01C06D143F007F010716E0A36F147FD9E00316C0003F6E14FFA26D6C6D481380
+705A001F6D6D4813006D6E5A000F91397FFC3FFE6D91B5FC6D6D5C00076E5C6D6D5C6C6D
+6C5C6F5C6C6DC691C7FC6C6DEB3FFC6E90390FF01FC06D6C90C7EA7FE0D93FFEEDFFF06E
+5C6D01C05B6D01F0130F6D01FE90B5FC6D90B712E0010017C06E1600021F5D6E15F80203
+15E002001580031F01FCC7FC030313C03C567AD449> 64 D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Ff cmsy8 16.592 1
+/Ff 1 16 df<4AB47E021F13F891B6FC010315C04981011F15F84981498190B8FC481780
+4817C0A24817E04817F0A24817F84817FCA34817FEA3BAFCAC6C17FEA36C17FCA36C17F8
+6C17F0A26C17E06C17C0A26C17806C17006D5D6D5D6D5D010715E06D5D010092C7FC021F
+13F802011380383878BE49> 15 D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fg cmr8 16.592 72
+/Fg 72 127 df<933803FFFE047FEBFFF00307B7FC031F16C092B5D8800F13F8020301F8
+C713FE020F01C091381FFF804A90C800077FDA7FFC030113F04A486F7F010349EE7FFE49
+49707E4949707F4949707F4990CA6C7F4948717F4948717F48874A8348874A187F488748
+49721380A348497213C0A3481CE04A84AB6E606C1CC0A46C6D4E1380A36C1C006E606C63
+A26C6D4E5AA26C636D6C4D5BA26D6C4D5BA2011F626D6C4D5B6D97C7FC6F5E6D616D616F
+161F6D616E6C4C5A023F60A26E6C4C5A020F60A26E6C4CC8FC00F801034D14F86F150100
+7C01014DEB01F0A202005F037E4B5A007E1B03003E023E4C14E0033F1507A2003F6E4C13
+076C1CC001C01A1F90B66C4AB6FCA36C1C80A56C1C0093C87E5D617AE06A> 10
+D<933807FFC093B512F8030F14FE033F6E7E9226FFFC017F02039039E0001FE0020F90C7
+EA07F04A486E7EDA3FF814074A48EC1FFC4A48143F495B495B4990C8FC4E7E49486F5AA2
+131F4A6F5A725AF003C095C9FCB094383FFFFEBAFCA526001FFCC8123F181FA2180FB3B3
+A8496C4B7E90B56C027F13C0007F02FF013FB61280A549617DE051> 12
+D<140C143FEC7F80ECFFC05B4913E05B15C05B491380491300495A5CEBFFF0485B485B48
+5B49C7FC485A485A485AEA7FC05B48C8FC5A127812301B1B62E049> 19
+D<D807E0147ED81FF8903801FF80486C4913C0486C4913E06D15F0B55B028014F8A402C0
+14FC6C80A26C80D81FFB6D13BCD807E39038007E3CD800031400A40107157C4A1478A401
+0F15F891C812F0491401A2011E15E0013E140349EC07C0A249EC0F8049150000015D4848
+143E48485C48485C48C7485A003E4A5A003C5D00186E5A2E2B7BDF49> 34
+D<ED03C01507150FED1F00153E5D15FC4A5A4A5A4A5A4A5A4A5A143F4AC7FC14FEA2495A
+13035C495A130F5C131F5C133FA2495AA249C8FCA25A5B1203A25B1207A25B120FA3485A
+A4123F5BA4127FA25BA612FFB3A3127FA67FA2123FA47F121FA46C7EA312077FA212037F
+A212017F7EA26D7EA26D7EA2131F80130F8013076D7E8013016D7EA2147F6E7E141F6E7E
+6E7E6E7E6E7E6E7E157C8181ED0FC015071503228972E639> 40
+D<127012F8127C7E7E6C7E7F6C7E6C7E6C7E6C7E137E137F6D7E6D7EA26D7E8013076D7E
+80130180130080A26E7EA26E7EA281141F81A2140F81A2140781A36E7EA48180A41680A2
+80A616C0B3A31680A65CA21600A45C5DA44A5AA35D140FA25D141FA25D143F5DA24A5AA2
+4AC7FCA25C13015C13035C495A130F5C495AA2495A49C8FC137E5B485A485A485A485A5B
+48C9FC123E5A5A1270228978E639> I<EA07E0EA1FF8487E487E7FB5FC1480A414C07EA2
+7EEA1FFBEA07E3EA0003A413071480A4130F14005BA2131E133E5BA25B5B1201485A485A
+485A48C7FC123E123C1218122B748F29> 44 D<B712FCA926097EA131> I<EA07E0EA1F
+F8EA3FFCEA7FFEA2B5FCA6EA7FFEA2EA3FFCEA1FF8EA07E01010748F29> I<181E183E18
+7FA218FFA2EF01FEA218FC1703A218F81707A2EF0FF0A218E0171FA218C0173FA2EF7F80
+A218005FA25F1601A24C5AA25F1607A25F160FA24C5AA25F163FA25F167FA24CC7FCA25E
+1501A25E1503A24B5AA25E150FA25E151FA24B5AA25E157FA24BC8FCA25D1401A25D1403
+A24A5AA25D140FA25D141FA24A5AA25D147FA292C9FC5CA2495AA25C1303A25C1307A249
+5AA25C131FA25C133FA2495AA291CAFC5BA25B1201A2485AA25B1207A25B120FA2485AA2
+5B123FA25B127FA248CBFCA25AA2127CA2388978E649> I<ED7FE0913807FFFE021F6D7E
+027F14E0903A01FFC03FF8903A03FE0007FCD90FF8EB01FF49486D7F49486E7E49486E7E
+4A141F49C86C7E4883491507000383A248486F7EA2000F834981A2001F1880A3003F18C0
+A34981007F18E0A700FF18F0B3A7007F18E0A66D5D003F18C0A5001F1880A26D5D000F18
+00A200075FA26C6C4B5AA26C6C4B5AA26C6D4A5AA26D6C4A5A6D6C4A5A6D6C4A5AD90FFC
+010390C7FC6DB4EB0FFE01019038C03FF86D90B55A023F14C0020749C8FC9138007FE03C
+5F7ADB49> I<153C157E15FE14031407141F14FF130748B5FCB6FCA2141F13F8EAFE00C7
+FCB3B3B3B04A7E4A7F49B512E0007FB81280A5315C74DB49> I<913807FFC0023F13FC49
+B67E010715E04915F890263FF80713FE903A7FC0007FFF49C7001F7FD801FC6E7F484802
+037FD807E06E7F48486E7F844848157F90C96C7E5A003E707E127E007C1880D87FE08148
+7E7F19C06D81A66C5A6C5A6C485DEA0780CA1480A25F1900A24D5AA260177F604D5A5E60
+4C5B4C5B95C7FC4C5A4C5A4C5A5F4C5A4C5A4B5B4B90C8FCED07FC4B5A4B5A4B5A4B5A93
+C9FC15FE4A5A4A5A4A5A4A48EC07C04A5A4A5A4AC8EA0F8014FC495A495A495A4948151F
+4948160049C9FC017E5E495E48B9FC5A5A485F5A5A5AB9FCA260A33A5C79DB49> I<9138
+01FFF0021F13FF91B612E0010315F8010F9038007FFED91FF0EB0FFFD93FC06D7F49C700
+017F01FE6E7FD801F88248486F7E4982D807FC153F01FF828048836E80A66C495C6C90C8
+FC6C485E6C5A90C9FC4D5AA34D5A60A24C5B4C5B604C90C7FC4C5A4C5AEE7FF8923801FF
+E0033F5B023FB5C8FC16F816FF17E091C7EA7FF8EE1FFE933807FF80707F04007F84717E
+717E84717E19808319C0A219E0A28319F0A2EA07C0EA1FF0487E487EA2487EA319E05FA2
+5B6C4817C05B494B1380003EC9FC003F4C13006C6C5E6D4B5A6C6C15FFD807F85E6C6C4A
+5B6CB46C010713C06C01E0011F5BD93FFF017F90C7FC6D90B512FC01075D010115C0D900
+3F91C8FC020113F03C5F7ADB49> I<EF0F8084171F173FA2177F17FFA25E5E5EA25E5EA2
+5E5E167D16F9150116F1ED03E1150716C1ED0F81ED1F01153F153E157C15FC15F8EC01F0
+140315E0EC07C0140F1580EC1F005C143E5C5C13015C495A13075C495A131F91C7FC133E
+137E137C5B12015B485A485A120F5B48C8FC5A123E5A12FCBBFCA5C90003EBC000B04C7F
+041F13F892B8FCA5405D7CDC49> I<01E01670D801FCED03F0D9FF80143F02FEEB07FF91
+B75A606095C7FC17FC5F5F17C094C8FC16FC16E001F091C9FC91CBFCB2ED7FF0913807FF
+FE021FEBFFC0027F80903AF1FFC03FF8903AF3FC000FFCD9F7F0EB03FFD9FFC06D7F4A6D
+7F49C86C7E5B717E498249151F6C488290C97F170F84A3711380A419C0A5EA1FC0EA3FF0
+127F7F12FF7FA219805B5F5B1900EA7FC0007CC95B007E161F003E5F003F163F606C6C15
+7F6C6C5E6D4B5A6C6C4A5B6C6C4A5B6C6C4A90C7FC6CB4EC1FFED97FC0EB7FFC903A3FFC
+03FFF06DB65A0107158001014AC8FC6D6C13F0020790C9FC3A5F79DB49> I<EEFFF0030F
+13FE033F6D7E92B67E02039038C03FF0913A0FFE0007F8DA1FF81301DA3FE06D7EDAFF80
+147E4990C7EA03FE4948140749484A7E49485C131F5C495A137F495A715A48496E5A715A
+4890CBFCA25A5B120FA2121F5BA2123FA25DED7FFF484848B512C0020714F04A14FC9139
+1FC00FFE91393F0001FF00FF017C6D7F4A6E7ED9F9F06E7ED9FBE06E7E4A6E7E01FF824A
+6E7E8491C8FC7113805B19C0A2498119E0A44917F0A2127FA7123F7FA3001F18E0A3120F
+6D4B13C0A2120719806C7E4D13006C5F6E140F6C5F6D6C4A5A6E4A5A6D6C5D6D6C4A5A6D
+6C49485A6DB4010790C7FC6D9038E03FFE010090B55A6E14F0021F14C0020791C8FC9138
+007FF03C5F7ADB49> I<EDFFF0020713FF023F14E091B612F8499038C03FFC903A07FC00
+07FFD90FF001017FD91FC06D6C7E49486E7E49C86C7E01FE6F7E48481507717E48488217
+01485A8483120FA37FA37F6D4B5AA27F6C01C04A5A8002F84A5A6C6D140F02FF5D6C02C0
+495A6F495A6C02F8495A6D6D4848C7FC9238FF03FE6DECC7F86DECFFF0010715C06D92C8
+FC7F6D6C14C06E80020F14F8023F14FE91B7FC496D80902607FC1F14E049486C8090263F
+E0038049486C8049C76C7F4848141F48486E7F484802031480000F1500496F13C0484815
+1F7113E0484815038348486F13F0187F183F12FF90CA121FA3180FA419E07F127FF01FC0
+7F003FEF3F807F6C6CEE7F00A26C6C16FE6C6C4B5A6CB4ED07F86C6D4A5A6C01E0EC3FE0
+D97FFC49B45A90271FFF801F90C7FC6D90B55A010315F8010015E0021F91C8FC020113F0
+3C5F7ADB49> 56 D<EA07E0EA1FF8EA3FFCEA7FFEA2B5FCA6EA7FFEA2EA3FFCEA1FF8EA
+07E0C7FCB3A9EA07E0EA1FF8EA3FFCEA7FFEA2B5FCA6EA7FFEA2EA3FFCEA1FF8EA07E010
+3B74BA29> 58 D<007FBEFCA2BF1280A36C1D006C64D2FCB3A5003FBD12FE4888BF1280
+A36C1D00A2612578B472> 61 D<EF01F04D7EA34D7EA24D7EA34D7EA34D7FA24D7FA394
+B57E17FBA2DC01F37F17F104038017E0A2040780EFC07FA2DC0F807F183F041F804D7EA2
+4C81043E7FA24C818404FC814C7FA20301824C7FA24B4881840307824C147FA2030F824C
+143FA24BC87F854B83033E81A2037E83037C81A24B83854AB97EA34A84A203E0C9FC4A48
+831A7F020F844B163FA2021F8492CA7EA2023E8586027E85027C83A202FC854A83A24948
+717F130388010784496C85131F496C4D7F90B585000702C0040F14C0B600FC0307B712E0
+A563627BE16E> 65 D<BA12E019FF1AE01AFC1AFFD8001F01F0C86C7F010701C0030F13
+E06D05037F737F9638007FFE747E8688747F86888688A2747FA8505BA3505BA2505BA250
+5B5090C7FC505A505A4F5B070713E04F5B077F90C8FC953803FFFC92B812F097C9FC1AE0
+1AFC03C0C8383FFF80070313E0070013F8747EF21FFF747F747F747F88747F8688757EA2
+8887A21D80A91D00A263641BFF6462505B6462081F5B505B505B4FB5C7FC49050713FC01
+1F01F0037F5BBC12E01B8050C8FC1AF04FC9FC595E7ADD68> I<94261FFF80EC03800403
+B500F81407041F02FF140F93B712C0030304F0131F030F9027FE003FFC133F033F01E0D9
+07FE137F92B5C8EAFF80020301F892383FC0FF4A01E0ED0FE14A0180ED07F1023F90C9EA
+01FBDA7FFC70B5FC4A4883494983494983495B4949834990CB7E5C013F85494884495A87
+485B481B7F5C5A1C3F485BA21C1F485BA25A91CD120FA35AA299C7FC5BA212FFAE127FA2
+7FA36CF30F80A3807EA26C7F1C1F1D006C7FA26C636E193E7E6C6D197E1C7C6D6C19FC6D
+6C61011F19016E4E5A6D7F6D6D4D5A6D6D4D5A6D6D4D5A6D6D4DC7FC6E6C5F6EB417FE02
+0F6DED03FC6E01E0ED07F06E01F8ED1FE0020001FFED7FC0033F01E0903803FF80030F01
+FED93FFEC8FC030390B612F8030016E0041F1580040302FCC9FCDC001F13C0596478E06A
+> I<BA12E019FF1AE01AF81AFED8001F01F8C700016D7E010701E0DA001F13E06D05037F
+070013FCF23FFE747E08077F747F747F747F757E757E757E757EA2757F89878987898789
+A2767EA389A21C3FA289A51E80AE1E00A5651C7FA265A3525AA2656365636563655190C7
+FC515AA2515A515A515A505B08075B505B083F90C8FCF2FFFC07035B49051F13E0011F01
+F84AB55ABCC9FC1AFC1AE097CAFC19E0615E7ADD70> I<BD7EA488D8001F01F8C8120F01
+0701E0ED007F6D180F1A031A001B7F1B3F881B1F1B0FA21B07A31B0388A21B01A5F001F0
+757EA499C7FCA31803A31807180F181F183FEF03FF92B7FCA59238E00003EF003F181F18
+0F18071803A31801A2F40F80A3F41F00A395C9FCA2641C3EA31C7EA31C7C1CFCA21B01A2
+1B03641B071B0F1B1F1B3F1B7F50485A1A0749183F011F01F80307B5FCBDFCA264A3595E
+7ADD64> I<BC12FEA487D8001F01F8C8121F010701E015006D183F1A0F1A038686F37F80
+A21B3FA21B1FA31B0F1CC0A21B07A6DE01F0EB03E0A498C7FCA41803A31807180F181F18
+3FEF03FF92B7FCA59238E00003EF003F181F180F18071803A31801A895CAFCB3A3815B01
+1F13FEB812F0A5535E7BDD5F> I<94261FFF80EC03800403B500F81407041F02FF140F93
+B712C0030304F0131F030F9027FE003FFC133F033F01E0D907FE137F92B5C8EAFF800203
+01F892383FC0FF4A01E0ED0FE14A0180ED07F1023F90C9EA01FBDA7FFC70B5FC4A488349
+4983494983495B4949834990CB7E5C013F85494884495A87485B481B7F5C5A1C3F485BA2
+1C1F485BA25A91CD120FA35AA299C8FC5BA212FFAE127F6D053FB712E0A47E96C7ECE000
+6E063F5B755B6C86A26C7FA36C7FA27E807E6C7F80137F6D7E6D7EA26D7F6D7F6D6D5F6D
+7F6D6D5FEC7FFE6E6C5F020F01C016FD6E01F0ED03F86E01FC923807F07F020001FF9238
+1FE03F033F01E09138FFC01F030F01FF010FEB800F030391B538FE0007030004F8130304
+1F03E090C8FC040392CAFCDC001F13E0636478E073> I<B86C90B81280A5D8001F01FCC9
+001F01FCC7FC010701F0040713F06D49705BB3B292BAFCA503E0C91203B3B3A3496D4C7F
+011F01FC041F13FCB86C90B81280A5615E7ADD6E> I<B81280A5D8003F49C7FC010713F0
+6D5BB3B3B3B3A8497F013F13FEB81280A5295E7ADD35> I<B86C0207B612E0A5D8001F01
+FCCAECFC00010701F07113E06D497190C7FC1CFC641CE0515A99C8FC1BFEF203FC505A50
+5A505A505A505A08FEC9FC4F5AF107F84F5A4F5A4F5A4F5A4FCAFC4E5AF003F84E5AF01F
+E04E5A4E5A4ECBFC4D5A4D5A17074D7E171FEF7FFF94B57E4C805E4C80DC0FF77FEE1FC3
+DC3F837FDCFF017F9226E1FE007FDBE3FC137FDBE7F880DBEFF06D7FDBFFE06D7F168093
+C76C7F4B6E7F4B6E7F5D4B6E7F4B6E7F197F86737F737F8587737F737FA2737F737F1A7F
+87747F747F8688747F747FA2747F747F8887891DE0496D94B57E011F01FC040314FEB86C
+023FECFFF8A5655E7ADD72> 75 D<B812F0A5D8001F49CBFC010713F07F5DB3B3AE1B3E
+A41B7CA61BFCA31BF81A01A31A03A21A07A21A0FF21FF01A3F1A7F1AFF611907191F4917
+7F011F01F8020FB5FCBC12E0A54F5E7BDD5B> I<B600E00707B612806F616F61A3D8001F
+6D4F01FCC7FC01071DF0902603EFFE077D5BA3DAE7FF19F9A202E36DEF01F1A302E16DEF
+03E1A202E06DEF07C1A36F6CEF0F81A26F6CEF1F01A36F6C173EA26F6C177CA36F6C17F8
+A26F6DED01F0A36F6DED03E0A26F6DED07C0A3706CED0F80A2706CED1F00A3706C153EA2
+706C5DA2706C5DA3706D495AA2706D495AA3706D495AA2716C495AA3716C49C7FCA2716C
+133EA3716C5BA2716C5BA371EB81F0A271EBC3E0A371EBE7C0A272B45AA37290C8FC497E
+725A497E497ED97FFF6F484B7F0003B500E0070F13FCB76C6D48027FB71280A3725A725A
+795E7ADD86> I<B600E093B7128081A28181D8000F0603ECE00001036DDC007F90C7FC6F
+EF1FFC70705A755A8202EF6D705A14E78202E37F02E17F14E0826F7E81836F7F6F7F8183
+6F7F81836F7F707E8284707F8284707F707F8284707F177F84717F717F8385717F838571
+7F8385727E721380841AC07213E0841AF07213F87213FC841AFEF17FFF851B837313C373
+13E3851BF37313FB851BFF858686A28686A2868686497E86496C187F497ED97FFF183F00
+03B500E0171FB76C160FA21B071B03755A615E7ADD6E> I<EF3FFE0407B512F0047F14FF
+4BB712C0030FD9E00313F8DB3FFEC7EA3FFCDB7FF8EC0FFF912601FFE0020313C04A0180
+02007FDA0FFEC9EA3FF84A48707E4A48707E4A48707E4948487013C04949707F4B824990
+CB6C7E4948727E011F864948727E4948727EA24948727FA24849727F4888A24849727FA2
+48884A84A2488891CD127F4888A448884986A400FF1D80AF6C6C501300A56C646E19FFA2
+6C64A26E606C64A26C6D4E5BA26C646E606C646E606C646D6C4E90C7FC6E60013F626D6C
+4E5A6D6D4D5AA26D6D4C5B6D6D4C5B6D6D4C5B6D6D4C5B6E6C4C90C8FCDA1FFFEE7FFC6E
+6D4B5A6E01E002035B020101F8020F13C06E01FF027F5B033F9027E003FFFEC9FC030F90
+B612F8030116C06F6C92CAFC040714F09326003FFECBFC616478E072> I<BA7E19FCF1FF
+801AF01AFCD8001F01F8C7000313FF010701E0DA003F7F6D050713E0737F07007F747E74
+7E747E741380A21CC07413E0A21CF086A31CF8A81CF0A35013E0A35013C01C80621C0050
+5A505A505A07035B070F13C0073F5B952603FFFEC7FC92B812F81AE097C8FC19F003E0CC
+FCB3B2497F011F13FCB87EA5555E7ADD64> I<EF3FFE0407B512F0047F14FF4BB712C003
+0FD9E00313F8033F90C76C7EDB7FF8EC0FFF912601FFE0020313C04A018002007F020F90
+C9EA7FF8DA1FFCEE1FFC4A48707E4A48707E4948487013C04949707F4B8249864990CB6C
+7E4948727E013F864948727E4A8401FF874A8448884849727FA248884A844888A24A8448
+88A2488891CD127FA34888A34986A200FF1D80AF007F1D00A26D62A36C64A36C6D4F5AA3
+6C646E606C64A26C6D4E5BA26C6D4E5BEF07F86C6DDA3FFE4A5B017F4B6C6C92C7FC6E91
+B56C5B013F912701FC0FE05C6D6C902703F003F0495A6D6C49486C6C495A4D6C7E6D6D48
+48017C495A6D01C06F485B6D01E090C7D83F035B6D01F06F485BDA7FF8048F90C8FCDA1F
+FCEE9FFCDA0FFF6D6DB45A6E018F5E0201D9E7C015C06ED9FFE05D033F6DD93FFEC9FC03
+0F9027FC03FFF8EC0180030190B648EC03C06F6C81040714F3933A003FFE03FC94C71607
+860701150F8675131FF53F8075137F739038F001FFF3FC0798B6120086A26586A265745C
+8665745C745C080091C7FC755AF30FF0627C78E072> I<B912F0F0FFC019F819FF1AE0D8
+001F01F8C7003F13F8010701E002017F6D9338003FFF070F7F7313E007017F737F747E87
+1A3F87747FA28886A288A864A26264A25090C8FC63505A63505A4F5B07075B4F90C9FCF1
+3FFE953801FFF8063F13E092B8128007FCCAFC19F019FC03E0C76CB4FC060F13C0060313
+F006007F737E737E737E737F737FA2737FA3737FA587A687A67514F8A485751301A27415
+F0496D70EB8003011F13FCB86C6E9038C007E086749038E00FC008019038F83F807490B5
+1200CE003F5B090713F89838007FE065617ADD6C> I<912603FFE01470023F01FE14F091
+B6EAC001010315F0010FEDF803499039007FFE07D93FF0EB07FFD97FC00100138F4948EC
+3FDF4848C8EA0FFF484881484881484881834848167F003F173F5B181F127F49160FA200
+FF1707A31803A27FA218017FA27F6C7E95C7FC7F6C7E6D7E14E06C13F8ECFF806C14F86C
+ECFF806C15F8EEFFC06C16F86C16FF013F16C06D826D16F8010382010082023F81020716
+80DA003F15C01503DB003F14E0040314F0EE003F050713F883050013FC187FF03FFE181F
+A2180FF007FF127800F883A484A27EA319FE7EA26C170319FC7FF007F87F6DEE0FF07F6D
+EE1FE06DEE3FC06D167F6D6CEDFF80D9BFE04A1300D91FF8EC07FE486CB4EC1FFC010301
+F8EBFFF8486C90B612E0486C6C5D020F92C7FC48010114F848D9000F13C0406478E051>
+I<001FBD12F0A5489026F0000191C7001F13F891C8D87FFC140101FCF1007F01F01A1F49
+1A0F491A07491A03A290C91701A3007EF300FCA4007C1C7CA7481C3EA5CA1800B3B3B14D
+7E4C7F040F14E00203B97EA55F5D7BDC6A> I<B86C91B71280A5D8001F01FCC90003ECE0
+00010701F0DC007F90C7FC6D49EF1FFC755A755AA2755AB3B3B3A31B076D7F64A21B0F7F
+6F601B1F147F6F4DC8FC143F6F177E021F18FE6E6C5F505A6E6D15036E6D4B5A6E6D4B5A
+6E6D4B5A6F6CED7F806F6C4BC9FCDB0FFFEC03FE6F01E0EB1FFC03019039FC01FFF06F90
+B65A043F158004074ACAFC040014F0050F90CBFC61617ADD6E> I<B700F8043FB512FEA5
+C66C49CA000314C0011F01F00500EBFE006D49F07FF8765A6D745A6D636F61A26D98C7FC
+6F606D1A3E811C7E027F197C6F18FC023F61816E4E5AA27016036E617016076E61A27016
+0F6E6170161F6E96C8FCA2705E6E183E70167E037F177C821BFC033F5F7015016F5F831A
+036F5F7114076F5F831A0F6F5F71141F6F94C9FC715C6F163EA271147E047F157C7114FC
+043F5DA2711301705DF08003705D18C01907705DF0E00F705D18F0191F7092CAFC725A70
+143E18FC197E057F137CF0FEFC053F5B18FFA2715BA2715BA2715BA3715BA27190CBFCA3
+715AA2187C67617DDD6E> I<B700F049B700F0027FB512FEA5C602F8C8000102F8C80003
+14E0013F01E06F6C01C0DB007F13006D497049EE3FFC4B70725A6D795A74616F1D076D68
+747F6F1D0F6D4E6D5FA26F1D1F6D4E6D94C7FCA26D6D1D3E507F1A3E6E6C65087E7FF27C
+7F6E6C6508FC7FF2F83F6E6C525A070180507E6E6D515A070381507E6E6D515A07078150
+7E6E6D515A070F81507E6E6D51C8FC071F81507E6E6D1B3E4F81073E7F6F6C63077E8107
+7C147F6F6C6307FC814F023F14016F6C630601824F6E14036F018062060317804F6E1407
+6F01C062060717C04F6E140F6F01E062060F17E04F6E141F6F01F097C9FC061F17F096C8
+6C5C6F01F8193E4E17F8063E6F147EDC7FFC197C067E17FC067C047F13FCDC3FFE6106FC
+17FE4EEE3FFFDC1FFF61A24E827062A24E827062A24E827062A24E827097CAFCA295CA7E
+7061A24D1700057E60053C18788F617DDD96> I<003FB70203B612FEA5D8001F02F0DA00
+7F1480010302C0031F01F8C7FC6D4A6F13C06D91C96C5B6E4EC8FC6E6D5E6E60705E6E6D
+5E6E6D4B5A1A1F6E6D5E6E6D4BC9FC6E177E7015FE6F6C5D6F6D495A6F4B5A836F6D495A
+6F4B5A71131F6F6D5C6F6D49CAFC6F157E7113FE706C5B70EB81F8F083F07013C770EBE7
+E070EBEFC0F0FF80827091CBFC6082717E8385717F717FA24D7F855F4D7F05FE7F4D6C7E
+EE01F84C486C7F04076D7F4D7EDC0FC0804C486C7F727F4C487E047E8104FE6D7F4C147F
+4B48814B486E7F03076F7F4C804B48824B486E7F737F4BC8FC037E6F7F03FE6F7F4B167F
+4A48834A48707F0207717F5D4A48707F021F717F023F834A48844A6C707F010386010F6D
+4C7F013F6D4C800003B500FC041F14F0B76C4AB712F8A5655E7CDD6E> I<01061560010F
+15F0491401013EEC03E049EC07C049EC0F804848EC1F004848143E49143C0007157C4848
+5CA248C7485A001E5D003E1403A2003C5D007C140700785DA400F8140F4892C7FCA4D8F1
+F8EC1F80D8F7FEEC7FE0B5ECFFF0028014F8A202C014FC6C80A46C80028014F86C806C90
+C713F06C48EC7FE0D801F8EC1F802E2B6BDF49> 92 D<EC7FFF010FB512F0013F14FE90
+B77E48D9C00313E0D803FCC77F486CEC3FF86DEC0FFE486D6D7E8284707FA2707F6C90C8
+FC6C48826C48157F6C5A90C9FCA6EE0FFF031FB5FC0203B6FC141F91B5EAFE7F0107EBFE
+00011F13E04990C7FCEBFFFC4813F04813C0485B4848C8FC121F485A5B127F49EF0F80A2
+485AA317FFA35E7F007F5D6D5C6C6C913A0FBFF81F00001FED1F1F6CB4027E6D5A6C903B
+C001FC0FFE7E6C9026F00FF86D5A6C90B5486C5B6C6CDAC0035B010F91C75B010001F002
+3FC7FC413E7ABC49> 97 D<14F8EA07FFB5FCA51203EA007FA2133FB3A8EE1FFE4BB512
+E0030F14F8033F14FE923A7FE00FFF809127F9FF00017FDAFBFC9038007FF0DAFFF06E7E
+03C0EC0FFC4B6E7E92C86C7E5C4A6F13804A6F13C01AE0197F1AF0A2F13FF8A31AFCA219
+1FA21AFEAB1AFCA2193FA21AF8A2197F1AF0A2F1FFE01AC06E5D6E17804E13006E4B5A6F
+4A5ADAEFC04A5ADAE7F04A5ADAC3F8ECFFE0DA81FE01035B9127807FC01F90C7FC4A6CB5
+12FC030F14F0013E0103148090C8D83FF8C8FC47617CDF51> I<ED7FFF0207B512F8021F
+14FE027FECFF80902701FFE00113C00107903980001FE04948C7EA3FF0D91FF8147F4948
+ECFFF8495A495A485B5A91C8FC4848ED7FF0000FEE3FE0EF1FC04848ED0F8094C7FC485A
+A3127FA25B12FFAC127F7FA3123F7FA2001F173E7F000F177E6C6C167CA26C6D15FC6C6D
+EC01F86C17F06D6C14036D6CEC07E0D91FFCEC0FC06D6CEC3F806D6C6CEBFF0001019038
+F807FE6D90B512F8021F14E0020714809126007FF8C7FC373E7BBC41> I<19F8EF07FF94
+B5FCA51703EF007FA2183FB3A8ED7FF80203B51280021F14E0027F14F8903A01FFF007FE
+010790388000FF4948C7EA3FFFD91FF8140F49488049481401494880485B4890C9127F48
+173F5B120F485AA2123F5BA2127FA25BA212FFAB127FA27FA2123FA36C7EA2120F6D167F
+12076C6C16FF6C6D5C5F6C6D5C6D6C4A7FD93FF8EC1FBFD90FFC91397F3FFF806DB4D901
+FE14FE6D9038E01FFC010090B512F0023F14C0020F1400020001F0ECF80047617BDF51>
+I<EDFFF0020713FF023F14C091B612F0499038C03FFC010790380007FED90FFCEB01FFD9
+3FF06D13804948EC7FC04948EC3FE04817F04849141F91C8EA0FF85A4848ED07FCA24848
+16FE1703123F5BA2007F17FF83A25B12FF90B9FCA318FE01F0CAFCA7127F7FA3123F7F18
+0E001F171F7F000F173F6C7E187E6C6D15FE6C17FC6C6DEC01F86D6C14036D6CEC07F06D
+6CEC0FE0D90FFEEC3FC0902603FF80EBFF006D9038F00FFE6D6CB512F8021F5C02031480
+9126003FFCC7FC383E7CBC41> I<ED03FF033F13E092B512F80203804AEB03FEDA1FFC7F
+91383FF0074A48481380ECFFC05B49138015005B70130049486D5A705A705A494891C7FC
+B3A3B712FCA526001FFCC9FCB3B3AB497E90B57E007FECFFE0A531617CE02D> I<F003F8
+F01FFE912603FFC0EB7FFF021FD9F801B5128091B63803FE3F0103DBC7F013C049018190
+38EFC07F903B1FFC003FFF00D93FF0EB0FFE4948130749486D6CEB3F804A6DEC1F004871
+C7FC4890C87FA2488349157FA2000F83A800075FA26D15FF6C5FA26C6D495B6C94C8FC6E
+5B6D6C495A6D6C495A02FCEB3FF8903A7FFF81FFE001FB90B55A01F892C9FC2601F01F13
+F8020313C091CCFC1203A57FA27F6C7E6D7E91B612E06C16FF18E06D16FC6D16FF6D8385
+017F8348B97E480180C7003F7FD807FCC800017FD80FF0ED003F4848EE0FFE4848160700
+7F170349707EA248CAFC84A56D5E007F606D16036C6C4C5A6C6C4C5A6C6C4C5A6C6C4C5A
+6CB4EEFFC06C01C002035B26007FF8DA1FFEC7FC903B3FFFC003FFFC010790B612E00101
+1680D9003F02FCC8FC020091C9FC425B7CBD49> I<14F8EA07FFB5FCA51203EA007FA213
+3FB3A893380FFF80047F13F00303B512FC4B14FF92261FF00F7F92263F80037F037EC77F
+03F86E7EECF9F0DAFBE06E7EECFFC05D92C8121F855CA25CA35CB3B0496C4B7E48B592B5
+1280B600FE017F14FFA548607BDF51> I<133FEBFFC0487F487FA2487FA66C5BA26C5B6C
+5B013FC7FC90C8FCB114F8EA07FFB5FCA51201EA007FA2133FB3B3A7497E48487EB612FC
+A51E5D7BDC28> I<153FEDFFC04A13E04A13F0A24A13F8A66E13F0A26E13E06E13C0ED3F
+0092C7FCB1ED01F8EC0FFF49B5FCA5EB00031400157F153FB3B3B3A7EA1FC0486CEB7FF0
+487E487EA2EDFFE0A216C04A138001F01400007F5B9038C007FE393FF01FF8000FB55A6C
+14C0000191C7FC38001FF8257986DC2D> I<14F8EA07FFB5FCA51203EA007FA2133FB3A9
+94B612C0A5053FEBFC007113E096C7FC18FC4D5A18E04D5A4DC8FC4C5A4C5AEE0FF8EE1F
+E04C5A4C5A4CC9FCED03FC4B5A4B7E151FED7FFE92B5FC02F98014FBDAFFF77F03E37F03
+C17F15814AC67F4A6D7E4A6D7E5C707E707F707FA2707F707F707F84177F717E717E8583
+717F8585496C16FC2601FFFE4A13FFB600FC017F14F8A545607CDF4D> I<14F8EA07FFB5
+FCA51203EA007FA2133FB3B3B3B3A7497E48B5FCB612FEA51F607BDF28> I<D901F0D90F
+FFED0FFFD807FF91B500E091B512E0B5010302F8010314F8030F02FE010F14FE92271FF0
+1FFF90391FF01FFF92263F80039027803F80037F92267E00019027C07E00017F000302F8
+6DD9E0F86D7F27007FF1F0EDE1F0DAF3E091267FF3E06E7E90263FF7C0EDF7C0DAFF80ED
+FF8092C86C90C86C7EA24A5EA24A5EA34A5EB3B0496C4B6C4B7E48B54AB54AB5FCB600FE
+90B600FE90B612FEA56F3C7ABB7A> I<D901F090380FFF80D807FF027F13F0B50103B512
+FC4B14FF92261FF00F7F92263F80037F037EC77F000302F86E7E39007FF1F0DAF3E06E7E
+90383FF7C0ECFF8092C8121F855CA25CA35CB3B0496C4B7E48B592B51280B600FE017F14
+FFA5483C7BBB51> I<ED3FFC0203B512C0020F14F0027F14FE9139FFE007FF010390C713
+C0D907FCEC3FE0D91FF0EC0FF849486E7E49486E7E49486E7E4890C91380A24848EE7FC0
+000718E049163F000F18F04848EE1FF8A3003F18FCA24848EE0FFEA400FF18FFAB007F18
+FEA36D161F003F18FCA36C6CEE3FF8A2000F18F06C6CEE7FE0A26C6CEEFFC06C18806C6D
+4A13006D6C4A5A6D6C4A5AD91FF8EC1FF86D6C4A5AD903FFECFFC06DD9E0075B6D6CB548
+C7FC021F14F8020314C09126003FFCC8FC403E7CBC49> I<02F8EB1FFED807FF49B512E0
+B5010F14F8033F14FE923A7FE01FFF809127F9FF00037FDAFBFC010013F00003D9FFF06E
+7EC66C01C0EC1FFC4B6E7E6D90C87F4A814A6F13804A6F13C01AE0841AF0A2F17FF8A219
+3F1AFCA4F11FFEABF13FFCA4F17FF8A3F1FFF0A24E13E01AC06E5D6E4B13801A006E4B5A
+6F4A5A6F4A5A03F04A5ADAFBF849485ADAF9FE01075B9127F87FC03F90C7FC6FB512FC03
+0F14F0030314809226003FF8C8FC93CAFCB3497E48B5FCB612FEA547577CBB51> I<D901
+F0EB7F80D807FF903803FFF0B5010F7F4B13FEED3FC392387E07FFDBF80F13800003EBF1
+F039007FF3E015C0EB3FF7158002FF6D13004B6C5A705A4AEB007094C7FCA25CA45CB3AD
+497E48B5FCB712C0A5313C7CBB39> 114 D<DAFFF81370010F9038FF80F0013F14E390B7
+FC0003EBC00F3907FC0001D80FF0EB007F4848143F4848140F5B007F150790C8FC16035A
+A216017FA27F7F01F891C7FC6CB4FC14E0ECFF806C14FC6CECFF806C15F06C816C15FE6C
+816C1680013F15C0010F15E0010115F0D9000F14F8EC003F030313FC15000078153F00F8
+ED0FFE16077E1603A216017EA27E17FC7F16036D15F86D14076D15F06DEC0FE06DEC3FC0
+017FECFF8027FE3FE0071300486CB55AD8F80714F8D8F00114C027E0003FFCC7FC2F3E7B
+BC3A> I<147CA714FCA51301A31303A21307A2130FA2131F133F137F13FF1203000F90B6
+12E0B8FCA426001FFCC8FCB3AB17F8AD010FEC01F080A20107EC03E0806DEC07C0ED800F
+6D9038C01F806D9038F07F0091383FFFFE6E5B020713F0020013C02D567DD439> I<02F8
+167CD807FF923803FFFCB5157FA500031601D8007FED003FA2013F161FB3AE183FA3187F
+A3011F16FF5F80010F5D943807DFFE6D6CEC0F9F6D6C91393F1FFFC06F01FE14FF010090
+38F003FC6EB512F86E14E0020714809127007FFC00EBFC00483D7BBB51> I<B600F849B5
+12FCA5000102806D6C13C06C6C48C8001F13004AED0FFC013F5F011F5F6E5E130F6E5E6D
+5FA26F141F6D94C7FC6F5C6D163EA26F147E6D167C6F14FC027F5D6F1301023F5DA26F13
+03021F5D6F1307020F5D6F130F6E5DA2EE801F6E92C8FC705A6E143EEEE07E6E147CA2EE
+F0FC037F5B16F9033F5B16FF6F5BA36F5BA26F5BA26F90C9FCA36F5AA26F5A1678463C7D
+BA4D> I<B6D8F80FB500FE011FB512E0A5000391C7003F01C001031400C601FC020F90C8
+13F86D486E705A765A013F6F5F6E62011F817392C7FC6E5C010F1A3E856D6C4A5E856F49
+16FC6D04BF5D856F011F15016D041F5D856D6DD93E0F4A5A856F017E1507027FDA7C075D
+856F01FC150F023FDAF8035D856E6C48486C4AC8FC1A80DBFE035E020F4A6C143E1AC0DB
+FF07167E6E4A017F137C1AE06ED98F80013F5B1AF004DF15F16E91C7001F5B1AF904FF15
+FB6E49020F5B1AFF6F486E5BA36F486E5BA36F486E90C9FCA26F486E5AA36F48157C633C
+7DBA6A> I<007FB500FC010FB512F8A5C66C01E06D1400011F496D13F86D6F13E06D1780
+6D94C7FC6D6D495A6D6D5C027F4A5A6E6C14E06F130F6E6C495A6E6C495A6E018090C8FC
+6E147E705A6E13E16EEBF3F86FB45A6F5B5F6F5B8181816F7F834B7F4B7F4B7FED1FDFEE
+9FFE92383F0FFFDB7E077FDBFE037F4A487EDA03F8804A486C7F4B6D7E4A486D7E4A4813
+1F023F6E7E4AC77F4A6E7F49486E7F01036F7F010F83011F8301FF8300076D020713FFB6
+00C0011F14FFA5483B7EBA4D> I<B600F849B512FCA5000102806D6C13C06C6C48C8001F
+13006D48ED0FFC616D6C5E61130F6E5E6D5FA26F141F6D94C7FC6F5C6D163E6F147E6D16
+7C6F14FCA2027F5D6F1301023F5D6F1303021F5D6F1307020F5DA26F130F6E5DEE801F6E
+92C8FC705A6E143EA2EEE07E6E147CEEF0FC037F5B16F9033F5BA216FF6F5BA26F5BA26F
+5BA36F90C9FCA26F5AA26F5AA35E15015E15035E15075EA2150F5ED81F80131F486C91CA
+FC486C5B486C133E157E157C15FC4A5A4A5A6C48485A49485A6CC6485AD9C0FFCBFC6CB4
+5A00075B6C13F038007F8046577DBA4D> I<000FB812F818FCA302E0C713F849C75AD81F
+F84A13F0494A13E04916C0494A13805E494A13005F90C8485A16FF4B5B4B5B485E003E4A
+5B5D4B5B4B90C7FC5EC8485A15FF4A5B5E4A5B5C4A5B4A5B93C8FC4A5A027F157C4A5A5D
+495B5B494914FC494914F85D4990C8FC5B495A494814015C485B481603485B4A14074849
+140F48161F4890C8EA3FF0484815FF49140FB9FCA37E363B7CBA41> I<BCFCA4480480A5
+49> I<C51280A4910480A592> I<D90FE01404D93FFC140E49B4141F48B56C137E4802E0
+13FC489138FC03F84891B5FC4816F0D9C03F14E0263F000714C0007E0101148000F86DEB
+FE000070EC3FFC0020EC07F0300E74DB49> 126 D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fh cmbx8 16.592 52
+/Fh 52 128 df<EA01FC3807FF804813C04813E04813F04813F8A2B512FCA214FEA314FF
+A37EA27E7E7E6C13BF3801FE3FC7FC147F147EA314FE14FCA2130114F8130314F0130714
+E0130FEB1FC0133FEB7F80EBFF005A485A485A485A5B5B5B6CC7FC183174952F> 44
+D<B812F0AF2C0F7EA538> I<13FC3807FF804813C04813E04813F04813F8A3B512FCA66C
+13F8A36C13F06C13E06C13C06C13803800FC00161674952F> I<167E4BB4FC5D150F153F
+92B5FC1407147F013FB6FCB8FCA414FB1483EBC003C7FCB3B3B3AE003FB912E0A73B5B74
+DA54> 49 D<913801FFFE023FEBFFF049B612FE0107EDFFC0011F16F0017F16FC48B9FC
+4849C66C804801E0010F804801800103804848C76C806D6C6D6C7F4801E06E7F6E824882
+6E6E7FB518806E80A27114C0A31AE0A26C4980A26C5BA26C5B6C5B000390C8FCD800785D
+90C915C0A34D1480A21A005F615F614D5B614D5B94B55A4C5C96C7FC4C5B4C5B4C5B4C13
+E04C5B4C90C8FC4C5A4B5B4B13F04B5B4B13804B90C7EA1FE04B5AED7FF84B5A4A49EC3F
+C04A13804A90C8FC4A5AEC1FF84A48157F4A5ADAFF8015FF4990C84813804990B8FC5B13
+1F5B5B90BAFC5A4819005A5A5A5A5ABBFCA261A4435B78DA54> I<92383FFF800203B512
+FC021FECFFC0027F15F049B712FC4916FF010FD9F00F8049D9000180D93FFC6D6C7FD97F
+F06E7F4A8201FF6F7F4813F802FE82486D8085815A81A6616C4A5BA26C91C75C6C5B6D48
+4A5B6D5AD90FE05E90C95A94B55A614C5C4C91C7FC4C5B041F13F84BB55A0203B612C04A
+92C8FC5FEFFFC018F86E15FE91C7000F6D7E040180706C13F0717F717F717F85711480A2
+7114C0A21AE0A201FE6F14F03803FF80000F13E0486D17F8487FA2487FA2B57EA41AF0A3
+4A5C6C19E0A24A17C06C495C4A17806C494A14006C48C8FC6D4B5B6C01C04A5B6C01F04A
+5B6C01FE49B512E028007FFFE00F5C6D90B7C7FC010F16FC010316F0D9007F15C0020F02
+FCC8FCDA007F1380455D79DA54> I<93380FFFC04BB512F8030F14FF037F814AB712E002
+07824A49C67F023F01F0EB1FFC4A0180130749B5C7EA1FFE4901FC147F494991B5FC495B
+4949491480495B4B5B5B90B5C7FC5A5C5A4A6E14005A715B5A4A6F5A48EF1FF095C8FCA2
+5AA34A131848913803FFFE030FEBFFC0033F14F04B14FC92B7FCB500F1829127F3FE003F
+7FDAF7F86D13F0DAFFE001077F4B6D7F854B7F92C87F1A805C1AC05C7213E0A24A17F0A4
+1AF85C7EA67EA46C7F1AF0A27EA21AE07E95B5FC6C6D17C0A26C19806C6D4A1400A26D6C
+4A5B6D6D5D6D6D495B6D6D495B6D01F8013F5B6DD9FE01B512806D90B7C7FC6D6C15FC02
+1F15F0020715C0020092C8FC030F13E0455D79DA54> 54 D<13FC3807FF804813C04813
+E04813F04813F8A3B512FCA66C13F8A36C13F06C13E06C13C06C13803800FC0090C7FCB1
+13FC3807FF804813C04813E04813F04813F8A3B512FCA66C13F8A36C13F06C13E06C13C0
+6C13803800FC00163D74BC2F> 58 D<13FC3807FF804813C04813E04813F04813F8A3B5
+12FCA66C13F8A36C13F06C13E06C13C06C13803800FC0090C7FCB1EA01FCEA07FF481380
+4813C04813E04813F0A2B5FC14F8A314FCA47EA27E7E7E7EEA01FEC7FC130114F8A41303
+14F0A2130714E0130F14C0131F1480133FEB7F005B5B485A1203485A485A5B5B5B6CC7FC
+165874BC2F> I<0503B512C094B7FC040F16F0047F16FE0303B912C0030F18F0033F91C7
+14FC92B500C0020313FF020301FCC9003F13C0020F01E0040713F04A90CB7FDA3FFCF03F
+FCDAFFF0F00FFF4949727F49018006017F4990CD7FD90FFCF23FF04948747E4948DB7FFC
+6F7E4A0207B500C014074948023F02F06E7E494849B600FC6E7E4C15FF4890C7000F706D
+13804848023FD9F80F01E0EC7FC0494AD9C0006D143F000792B5C7D83FF815E04949496E
+6C141F000F4A49020716F04949496E6C140F001F73B514F84949496EEC80074B5B003F1E
+FC4949491803A2007F4A1BFE494B1801A292B5FCA200FF1EFF90C791C9815CAC806D8100
+7F1EFE1E0181A26D81003F801FFC6D6D6D1803121F6F6D19F86D6D6D4A1507000F4F16F0
+6D6D6D4A150F00076E6D021F16E06D6D6D4AECC01F00036F01C090B6EB3FC06D6ED9F80F
+9238E0FF806C6C020F90B6009F90B5FC6C6D0103040F150070DBFC075C6D6CD9003FDAF0
+0114F86D6C02079126C0007F13E06E9126007FFCC7000713806D6C92CDFC6D7E6DB4FC6D
+7F6D01E0F20FFE6D6DF27FFFDA3FFC0703B5FC6EB4193F6E01E00503B512FE020301FC05
+7F14F80200D9FFC0030FB61280033F01FF021FB6EAFC00030F91B912E003034FC7FCDB00
+7F18C0040F05F8C8FC04004CC9FC050302F8CAFC706277E083> 64
+D<F007F84E7E4E7EA24E7EA24E7FA295B57EA34D80A24D80A24D80A24D80A34D80A24D80
+A24D81A218DFDDFFCF80188F4C018780A24C010380A24D7E04078217FC040F6D80A24C48
+6D7FA24C486D7FA25F047F6E80A24C486D80A24B496D80A294C7FC4B6F805E03076F80A2
+4B486E80A24B486F7FA25E033F707FA24B486F80A292BB7EA34A86A24A86A24A48C90001
+80A24B82020F865D021F727FA24A48717FA24A487180A25D02FF7280A249497180A24990
+CB6C80A2011F13E0B700F0033FB812C0A772607ADF7F> I<BB12FCF2FFF01BFF1CC01CF0
+1CFC1CFFD8000102C0C8003F80080714E00801807480757F87757F89871E8087A31EC087
+A6631E80A3511400A2515B515B656398B55A080314C0080F5C083F49C7FC4FB512F893B9
+12E01C8009F8C8FC1BFF1CF01CFE04C0C8000F6D7E080114E0746C13F8091F7F757F757F
+7514801EC07514E07514F0A21EF8881EFCA37613FEA8641EFCA399B512F8A25114F0631E
+E0635114C0093F148098B6120008035C081F5CBE12F01DC0650AFCC7FC1CF099C8FC1BE0
+675E79DD78> I<BB12F8F2FFE01BFEF3FFC01CF81CFE767ED8000102E0C7000115E0DF00
+0F80080114FCE0003F7F090F7F7580090114E0758088767F767F767F767F881F807614C0
+A27614E0A21FF089A21FF8A27713FCA41FFEA289A31FFFAF1FFEA365A21FFCA45313F8A2
+1FF0A29AB5FC1FE0641FC0521480A25214006664525B525B525B51B55A515C090F5C093F
+91C7FC98B512FC080F5C4FB612E0BE128052C8FC1CF81CE051C9FC1BE008F8CAFC705E79
+DD81> 68 D<BD12FEA488A3D8000102F0C8FC1A0F1A01747E8775138087878787A287A3
+F47FC0A31C3FA3F17F80A2F41FE0A499C7FC19FFA360A26060181F187F93B7FCA79338F0
+007F181F18078484A284A3197FA796CAFCB3A2B912FCA75B5D79DC6A> 70
+D<95B500C01578053F02FE15FC0403B700C01301043F04F813074BB800FE130F03079438
+FF801F031FF0E03F037F9126FC003FEBF07F4AB6C70003EBFCFF020702F8DA007FB5FC4A
+02C0151F023F91C912074A01FC160191B500F082494A83494A171F494A834991CB7E495B
+4949844949844B8490B5FC484A197F1D3F485CA2484A191FA2481C0F92CDFC5AA248491A
+07A448765A9AC9FCA25CA2B5FCAE7E070FB912C080A37EA36E93C86C01FCC7FC7EA27E81
+7EA26C80A26C80A26C807F816D7F6D7F6D7F6D806D806D6E94B5FC6D14F86E6D5E6E01FF
+5E020F02E0150F6E02F85D0201DAFF8091B6FC6E6C02FC010F13FD031F91B7EAF07F0307
+F0E01F0301F08007DB003F9338FE0001040304F8EB0038DC003F038091C8FC050002F0CB
+FC726277DF84> I<B912E0A7D8000102F0C7FCB3B3B3B3A8B912E0A7335E7ADD3F> 73
+D<B912FCA7D8000102F0CBFCB3B3ADF301FEA41B031CFCA51B07A31B0F1CF8A21B1FA21B
+3FA21B7F1BFFA2625013F01A0F621A7F4FB5FC1907197FBDFCA21CE0A5575E7ADD65> 76
+D<B700F00803B7128004FC1A0F7062A27062A27161D800010EC0C7FC7119FEA36F6D4E5A
+A26F6D4E5AA26F6D4E5AA26F6D4E5AA26F6D4E5AA26F6D4E5AA26F6E4D5AA26F6E17FEA2
+706D4C5AA3706D4C5AA2706D4C5AA2706D4C5AA2706D4C5AA2706D4C5AA2706E4BC7FCA2
+706E15FEA2716D4A5AA2716D4A5AA3716D4A5AA2716D4A5AA2716D4A5AA2716D4A5AA271
+6E49C8FCA2716E13FEA2726D485AA2726D485AA2726D485AA3726D485AA2726D485AA272
+6D485AA27202FFC9FCA2725CA2735BA2735BA2735BA2735BA2010F13E0B700FE6E49027F
+B81280A2735BA27390C8FC735A1A7C915E79DDA0> I<943807FFFE4CB612F8041FEDFF80
+93B812F0030717FE031F717E037F18E04AB6D8000F14F8020702F0010014FE4A0280021F
+7F023F49C8000714C04A01F803018091B500E06F6C7F494A707F494A707F4991CA6C7F49
+49717F494971804949718049497180A290B548727F48894B8448894B844889A24891CC6C
+7FA2481E804A85A2481EC0A448497314E0A5B51DF0AF6C1EE06E61A46C1EC0A36E616C1E
+80A26C1E006F60A26C656F606C656F606C656C6E95B55AA26D6D4D5C6D6D4D5C6D6D4D5C
+A26D6D4D91C7FC6D6E4C5B6D02E0047F5B01006E93B512F06E6D4B5C6E01FE03075C6E6D
+6C021F5C020702F091B548C8FC020102FF010F14F86E92B75A031F188003074DC9FC0300
+17F0041F1680040103F8CAFCDC000749CBFC6C6277DF7F> 79 D<943807FFFE4CB612F8
+041FEDFF8093B812F0030717FE031F717E037F18E04AB6D8000F14F8020702F0010014FE
+4A0280021F7F023F49C8000714C04A01F803018091B500E06F6C7F494A707F494A707F49
+91CA6C7F4949717F4949718049497180494971804B8490B587484A727FA2484A727FA248
+91CC6C7FA248894A85481E80A348497314C0A4481EE0A24A85A3B51DF0AF6C1EE0A36E61
+A26C1EC0A46C6D4F1480A26C1E006E61A26C656F606C656FDA7FC05C6C932601FFF85E6C
+6E010701FE4A5B051F7F6D6D4902C090B55A6D6D496E485C6D9326C07FF05D6F903AFF00
+0FF8036D6D01FC6D6C4891C7FC6DD9FF010203495B6DDAC1F8902601FE3F5B010002E16F
+4813F06E01F96E90B55A6E01FD6F5C6ED9FFFC5F02076E4CC8FC02019126FF800FB512F8
+6E92B75A031F188003074DC812F00300F201F8161F040182DC0007D9FE0F7F94C802E013
+0376130F7401FE137F99B6FC1FF086A3861FE0A27416C0A2751580A2751500A2755C755C
+66755C09015C7514800A3F90C7FCF40FF86D7B77DF7F> 81 D<BA12FEF1FFFCF2FFC01B
+F81BFF1CC01CF0D8000102E0C7000F14FC070080081F6D7E080780748074807480878975
+7FA28987A28AA99BC8FCA2515BA265636598B55A505C505C505C081F91C9FC97B512FC07
+1F14F093B95A99CAFC1BFC1BF01BFC1BFF04E0C76C14C0070F800703807380736C7F747F
+A2747F8689A27480A989A7F701F8F703FCA28986A27713077417F8A2746EEB0FF0B900C0
+6E6D131F756DEB3FE075ECC0FF7591B512C009031680090016000A3F14FCCF000714F0E2
+001F13C0766079DD7E> I<92267FFF8014780207B500FC14FC023F9138FF800191B7EAE0
+030103EEFC07010FEEFE1F49D9E001EBFFBF017F90C7000F13FFD9FFF8140148496E7E48
+01C0151F484981844890C91201485A84003F187F49173FA2007F181FA2190F12FF19077F
+A27F190380808002F8705A6E93C8FC6CEBFF8015F0EDFF8016FC6CEDFFE017FF6C17F018
+FE6C717E6C18E019F86C846C18FF6C856D846D84010F846D840101846D7E021F831403DA
+003F821501DB000F1680EE007F050315C0EF007F180F18037214E08485007E84B484A285
+A3857F1BC0A37F1B806D5F7F1B006D5F6D6001FF4D5A6E167F02E04C5A02F84B5B02FF03
+075B03F0021F5B9226FFC001B55A01F791B7C7FC01E117FCD9807F5ED9001F16E0480103
+168048D9003F02FCC8FC0078020014804B6277DF5E> I<001FBE12F8A6481DFC92C7003F
+49C7FC02F0190F02C0190391C81700491B7F491B3F491B1F491B0FA2491B07007F1DFE49
+1B03A4491B01A648C9F000FFA5CA1900B3B3B00207BA12F0A7685C7ADB75> I<B900E002
+07B712F0A7D8000102F0CB6C90C7FCF50FF8B3B3B3A66D1B1F6682A26E1A3F6680704E5A
+80535A6E6D5F5290C8FC6E7F6E6E4C5A6E6EEE1FFC6E6E4C5A6F6DEEFFF06F01FC4B5B6F
+01FF030F5B030702E0027F5B6F02FE010FB5C9FC030091B712FC043F5F040F17E0040394
+CAFCDC007F15FC050715E0DD001F01F8CBFC74607ADD81> I<B800FC0103B800F0021FB6
+12F8A7D8000F0280C9003F91CA000FEBF000700C001380876D6E7395C7FC6B6D736E5F70
+1E03876D6E734C5AA26D736E5F701E0FA26E6D4C6E4C5AA26E4E6E5F701E3F6E69714B6E
+167FA26E4E6E5F711DFF6E07DF96C8FC71037F6F5C1C8F6E6E03FF6F5D22036E07076E5D
+714A1907517E6E6E0203705D220F6F4D6C6E5D710207191F517E6F6D020F705D223F6F4D
+6D6D5D72011F197F517F6F6E013F705D22FF6F4D6D6E91C9FC72017F60517F6F6E01FF71
+485AA26F94C76C02E05B7248190750806FDAFC0372485AA2704A486E02F85B06FE1A1F70
+4B6E5EDEFF0FF0FC3F508170021F06FE5B079F197F704B6F5D07FF95B5FC5081709ACAFC
+A2704B6F5CA297C97E7064A2704A705CA24F827163A27149705CA24F837163A27149715B
+A24F837198CBFCA27149715AA27190CB6C5A7148725AA55F7CDDAE> 87
+D<003FB800C0011FB712E0A7D8000192C9001F01FCC8FC6D6F030113C06E606E6E4B5B71
+4B90C9FC6E6E5E6E4E5A6E6E153F6E6E4B5A714B5A6E6E5E6E4D5B6F6E5B72495B6F6E49
+90CAFC6F5F6F6E495A6F6E495A72137F6F4C5A6F6E485B6F02FF5C07835B7014C77002CF
+90CBFC70ECFFFE705D6282705D705D62705D83718086718083718071808671805F4D814D
+814D81A24D81DD7FF78005FF814C13E34C01C1800680804C49814C6E804C487F4C486D80
+4D6D804C488204FF804B496D804B496D804D824B90C8814B824B486F804B48844C6F804B
+488103FF70804A496F804A49844C6F804A90CAFC4A487180021F874A4871804A48834B71
+800107B57180B8033FB812E0A7735E7ADD7F> I<B900C0030FB7FCA7D800034ACB000FEB
+F8006D6E06031380656D6F96C7FC6E6E4D5A6E6E4D5A1D3F6E6E606E6E4D5A6E6E4D5AA2
+6E6E4C5B6E6E4C5B6E6F5D9BC8FC6F6E4B5A6F6E4B5A1C3F6F6E5E6F6E4B5A6F6E4B5A63
+6F6E5E6F6E4A5B6F6F4990C9FCA2706E495A706E495A706E495AA2706E495A706E495A70
+6E5A64706E485B70038790CAFC1ACF715D71ECFFFC715DA2715D715D715DA2715D7192CB
+FC8462725BB3AD041FB812F8A7785E7DDD7F> I<0203B5FC027F14F80103B7FC010F16C0
+013F16F04916FC90B5D8000F7F4801F801016D7E6E6D80486D023F7F83486D82717FA271
+7FA3717F6C5BA26C5B6C5B6D5AEB0F8090C9FCA2043FB5FC031FB6FC0203B7FC143F49B8
+FC010715E3011FECF003017FEBFE0048B512F04814C04891C7FC4813FC485B485B5C5A5C
+B5FC5CA45FA2806C5E6E5C5F6C6DEC7F7F6C6D02FFEBFFC06C01FED907FEECFFE06C9028
+FFC03FFC3F14F06C91B512F86CEEE01F6C6C4B7E010FED0003010102F8D9007F13E0D900
+0F01C091C8FC4C407BBE52> 97 D<90380FFF80B6FCA712017E7FB3A6EFFFFC041FEBFF
+C093B612F8038315FF038F16C003BF8292B5C66C13F804F0010F7F04C001037F93C87F4B
+6F7F03F86F7F4B6F7F4B834B8187A2737FA287A2737FA41C80AC1C00A44F5BA363A24F5B
+A26F4B5B6F5F6F5D6F4B5B6F92B55A6F4A91C7FC04C001075B02FC01F0011F5BDB7FFE90
+B512F0DAF81FB75A4A6C1680DAE0034BC8FC4AC615F04A011F148090C8000301F0C9FC51
+617ADF5E> I<92380FFFF892B612C0020F15F8023F15FE91B81280010317C04917E0011F
+DA000F13F04901F87F4901E04913F890B55A4891C74813FC5A5C485B5A5C5A7113F8485B
+7113F07113E0487013C04A9138003E0095C7FCA2B5FCAD7E80A37E806C18FCF001FE6C7F
+18036C6D16FC6E15076C6EEC0FF86C6E141F6C6EEC3FF06D6DEC7FE06D01FEEB01FF6D90
+26FFC01F13C06D91B612800103EEFE0001005E023F15F0020F15C002014AC7FCDA000F13
+E03F407ABE4B> I<F11FFF4DB6FCA7EF00038484B3A6923807FFE092B512FE0207ECFFC0
+023F15F091B712FC01038249DA803FB6FC011F9038FC00034901F013004901C0143F90B5
+48804891C87E4849814A814883485BA2485BA25AA3485BA4B5FCAC7EA46C7FA27EA26C7F
+607E6E5D6C6D5D6C5F6C6D157F6D6D91B67E6D01E00103816D01F8010FEDFF806D01FF90
+B8FC010391B512F96D16F16D6C15C1020F1501020114F8DA000F018002F0C7FC51617ADF
+5E> I<92380FFFE04AB512FE020FECFFC0023F15F091B712FC01038249D9FE017F011F90
+26F0001F7F49496D7F49018001037F90B5C76C7F48496E7F484982187F48498248173F85
+484981A2481980A25C4883A21AC0A2B5FCA291B9FCA51A8002E0CBFCA47EA280A27EA27E
+6EEE1F806CF03FC0A26C7F6E167F6CF0FF806C6D5D6C6E4A13006D01E04A5A6D6DEC1FFC
+6D01FE147F6D903AFFC007FFF8010391B612E06D5F6D6C5E021F4BC7FC020315F0DA007F
+14C0030301F8C8FC42407BBE4D> I<EE3FFF0307B512E0033F14F892B612FE020381020F
+16804AD9FC0F13C04AEBC01F4AD9003F13E04A5A49494913F0495B5D5B495BA27113E049
+5B7113C0A2711380943803FE00EF007095C7FCADB812F0A7D8001F01E0C9FCB3B3AB003F
+B612FCA73C617AE034> I<F103FC92B5EC3FFF020F02F090B51280027FDAFE0314C049B7
+008F14E0010793B6FC011F05FD13F049D9F00F14C149D9800114014948C76C5B48496E13
+8148496E13C14A6E15E04884489538F07FC04A6EEC1F0097C7FC4884A96C60A26E5C6C60
+6C606E5C6C6D4A5B6C6D4A90C8FC6D6C6C48485A6DD9F00F5B4990B65A18E090B81280D9
+FC7F4AC9FC0001010F14F0020091CAFC484890CCFC7FA47F7F8014E091B712C018FE6CEF
+FFE019F819FE6C727E866D846D846D84498490BAFC000385120F4801E0C88091C9120748
+48160048487113808548488385A56D5F007F1A006D5F003F616D177F6C01C04B485A6C6D
+4B5B6C01F8030F5B6C01FF037F5B6C02F8010FB55A6C6C90B8C7FC011F17FC010717F001
+001780020F03F8C8FCDA003F49C9FC4C5C7BBE54> I<90380FFF80B6FCA712017E7FB3A6
+94381FFF8094B512F8040714FE041F6E7E047F8193B77E0381D9E01F7F0387D9000F7FDB
+8FF87FDB9FF06D7F16C0DBBF808103FFC7FC4B804B825DA25DA25DA35DB3AFB7D8E003B7
+1280A7516078DF5E> I<EB0FC0EB3FF0EBFFFC487F487FA24880A24880A66C5CA26C91C7
+FCA26C5B6C5BEB3FF0EB0FC090C9FCAD903807FF80007FB5FCA712016C7EB3B3AAB71280
+A7216178E02F> I<903807FF80B6FCA712017E7FB3A795B612E0A7061FEBF00097C7FC4E
+5A4E5A943801FFF04D5B050F5B4D90C8FC4D5AEFFFFC4C13F04C5B040F13804C90C9FC4C
+5AEEFFF803815B03837F038F7F039F7F92B6FC8484A284043F7FDBFC1F7F4B6C7F4B6C7F
+03C0804B6C804B6C8082717F717F717F717F717F857180718083727F727F727F727F1AFF
+B76C90B612FEA74F607ADF59> 107 D<903807FF80B6FCA712017E7FB3B3B3B3A7B712C0
+A7226078DF2F> I<D90FFF91260FFFC092381FFF80B691B500FC4AB512F8040702FF020F
+14FE041F03C0013F6E7E4C6F498193B76C48B77E4BD9F01F6D48D9E03F7F4BD900079028
+FC07FE000F7F0001DA07FC6DDA0FF87F6CDA0FF09226FE1FE0816DD91FC06DDA3F807F4B
+486F48C7804BC715FE037E6E4A804B4D824B5FA24B5FA24B5FA34B5FB3AFB7D8E001B7D8
+C003B71280A7813E78BD8E> I<D90FFF91381FFF80B691B512F8040714FE041F6E7E047F
+8193B77E4BD9E01F7F0307D9000F7F0001DA0FF87F6C4A486D7F6D14C04B48814BC7FC03
+7E804B825DA25DA25DA35DB3AFB7D8E003B71280A7513E78BD5E> I<923807FFF092B67E
+020715F0021F15FC91B87E49830107DA007F13F04901F001077F4901C001017F017F496D
+13FF90B5C86C7F4A8148496F7F48496F7F4885A248496F7FA24885A248496F7FA34885A4
+B51980AC6C1A00A46C6D4B5BA26C61A26E5D6C616C616E5D6C6D4B5B6C6D4B5B6C6E91B5
+5A6D6D4991C7FC6D01F001075B6D01FE013F5B6D90B75A010317E001001780023F4BC8FC
+020F15F802001580030701F0C9FC49407BBE54> I<90260FFF80EB7FFEB6010FB512E004
+7F14FC0381B7FC038716C0039F16F092B87EDD007F13FE000103F0010F7F6C03C06D806D
+91C700018003FC804B6F7F4B834B6F7F4B81878587A28587A4731480AC1C0061A363A261
+63A24F5BA26F4B5B6F4B5B816F92B55A6F4A5C6F4A91C7FC04C0010F5B04F0013F5BDCFE
+01B512F003DFB75A03CF168003C34BC8FC03C015F0041F1480040301F0C9FC93CCFCB3B7
+12E0A751597ABD5E> I<D90FFEEB03FFB5021F13E0047F13F893B512FE0303804B158092
+380FFE1FDCF03F13C00001EC1FE06C91263F807F13E0017FEB7F00157E15FE5D6E5A7113
+C05D7113804B6D1300715AEF01F894C8FC5DA45DB3ABB712F0A73B3E7ABD46> 114
+D<913A3FFFC007800103B538FC1FC0011F91B5FC137F48B8FC48EBF0004890C7121FD80F
+FC140748481401484880A24848157FA2173F12FFA27F7F6DED1F8001FF92C7FC14E0ECFF
+8015FE6CECFFF016FE6C6F7E17E06C16F86C826C826C826C17806C6C16C0011F16E00107
+16F01300020F15F8EC003F1500041F13FC1603007E81B481177F173F6D151FA27F18F87F
+A26DED3FF07F6DED7FE06D15FF6D6C4913C002E00107138002FC017F130091B65A5F01CF
+15F0010315C048C66C91C7FC0078010F13E036407ABE43> I<EC07F8A6140FA4141FA314
+3FA2147FA214FF5BA25B5B5B5B137F48B5FC000F91B612C0B9FCA6D8000F01F8C8FCB3AC
+EF07F8AB170F6D6D14F0A2171F6D6DEB3FE06F137F6D9138C0FFC06D91B512806E15006E
+5C6E5C02075C020014E0030F90C7FC35587DD642> I<902607FFC0ED1FFFB60203B6FCA7
+0001EE00076C836D82B3B060A360A2607F60606D6D4A80DD01FE806D01F8D907FCECFF80
+6D01FEEB3FF86D90B65A6D5E6D6C1580021F5D020714F8DA003F01C002F8C7FC513F78BD
+5E> I<B76C91B6FCA7C66C01E0C8000F1380963803FE006D6D4B5AA26D6D4B5AA26D6D4B
+5AA26D6D4B5AA26D6D4B5AA26D6E4A5AA26D6E4990C7FCA26E6D495AA26E6D495AA26E6D
+5C180F6E6D5C181F6E6D5C183F6E6D5C187F6E5EEF80FFA26E02C190C8FCA26FEBE3FEA2
+6FEBF7FCA26FEBFFF8A26F5CA26F5CA26F5CA26F5CA26F91C9FCA2705AA2705AA2705AEE
+07E0503E7CBC59> I<B7011FB6027FB51280A7C60280D9001F01C00203EBE0006F070013
+806D7095C7FC6F705CA26D4C6D4A5A816D646F4A6D14076D646F4A6D140FA26D93B56C4A
+5A816D057F5E6F496E143F4E7E6D03036F495A16806D4C6C6D5CDCC00717FF6E4B6C93C8
+FCDCE00F6F5AA26E4A486C6D485A16F06E4B6C5DDCF83FEDF8076E4B6C5D057FEDFC0F16
+FC6E4A486C01FE5B70171F6E92C7007F5C93B5EDFF3FA26E4A6EEBFFC0A26E4A6E5CA26F
+496E91C9FCA36F496E5BA26F496E5BA24D806F60A26F496E5BA26F90C96C5AA2DB00FCEE
+1F80713E7CBC7A> I<007FB600C0027FB51280A7D8003F01F0C80007EBC000070190C7FC
+6D6D4B5AA26D6D4B5AA26D6D4B5AA26D6D4B5AA26D6E4A5AA26D6E4A5AA26E6D4A5AA26E
+6D4990C8FCA26E6D495AA26E6D495AA26E6D495AA26E6D495AA26E6E485AA26E6E485AA2
+6F6D485AA26F01F190C9FCA26FEBFBFEA26FEBFFFCA26F5CA26F5CA26F5CA26F5CA2705B
+A27090CAFCA2705AA2705AA25FA24C5AA24C5AEA03F0D80FFC4A5AEA3FFF4C5A487F4B90
+CBFCB512C04B5AA24B5A4B5A151F4A485A6C4A5A4A485A263FFE035BD9FC1F90CCFC6CB5
+5A6C14F86C5C000114C06C6C90CDFCEB1FF051597DBC59> 121 D<000FB912F819FCA548
+49C714F802E016F002804914E091C74814C0494A1480495C494A140060494A5B4C5B4991
+B55A5D4B5C003F5F49495C4B91C7FC4B5B5D5FC8485B92B55A4A5C5C4A5C5F4A91C8FC4A
+49EB03FC4A5B5C91B55A4C1307494A14F8495C495C5B4991C7FC4B140F495B4949141F90
+B5FC484AEC3FF05D484A147F484A14FF4891C75A4816074849141F4A49B5FC4890B8FCBA
+FC19E0A47E3E3D7BBC4B> I<BD12E0A6530680A854> I<D801F815FCD807FEEC03FF486C
+6C010F1380486D4913C0486D4913E0A2486D4913F0A2B516F8A46C17F0A26C496D13E0A2
+6C496D13C06C496D13806C48C700031300D801F8EC00FC351471E054> 127
+D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fi cmbx10 20.74 12
+/Fi 12 125 df<B800E00A0FB712FE05F81C3F7164A27199B8FCA37163C7001F10F0C7FC
+72F203FBA203F76EF207F3A203F36EF20FE3A203F16EF21FC3A303F06EF23F83A2706DF2
+7F03A2706D1AFEA2706DF101FCA2706EF003F8A3706EF007F0A2706EF00FE0A2706EF01F
+C0A2706EF03F80A2716DF07F00A3716D18FEA2716D4D5AA2716E4C5AA2716E4C5AA3716E
+4C5AA2716E4C5AA2716E4C5AA2726D4CC7FCA2726D16FEA3726D4B5AA2726E4A5AA2726E
+4A5AA2726E4A5AA2726E4A5AA3726E4A5AA2736D4AC8FCA2736D14FEA2736D495AA2736E
+485AA3736E485AA2736E485AA2736E485AA2736E485AA2746D48C9FCA374EBFEFEA2746D
+5AA2745CA2745CA2745CA3745CA2745CA27590CAFC0103B57EB800FE6F48031FB912FEA2
+755AA3755A755A755AAF767AF5BC> 77 D<030FB5FC0203B612F8021F15FF91B812E001
+0317F84917FE011F9026FC001F6D7E4901800103806F010080496D6E13F890B56F7F6F80
+727F486E6E7F8784878487A26C5C72806D5BA26D5B6D5BD907FEC9FCEB00F091CAFCA518
+3F0403B7FC93B8FC151F92B9FC140F023F150049B612C0010702FCC7FC4914E0013F1480
+4949C8FC48B512F84814E0485C5D4891C9FC485B5A5C5A5CA2B5FC5CA360A360806C5F6E
+5D6C18DF6EED1F9F6C6D037F14FC6C6EDAFF1FEBFF806C02E0902603FE0FECFF806C02F8
+D90FFC16C06C02FF9038FFF8076C92B5487E013FEEC001010F4C7E01014BC7123FD9001F
+02F002031480DA007F90CCFC5A507BCE60> 97 D<93383FFFE00307B67E033F15F04AB7
+12FE0207707E021F83027F8391B526FC003F7F010302E001077F490280497F4949C78049
+495C495B49494A7F90B55AA2485C5A5D5A92C86C5B5A725B485B725B48715B060013C007
+1EC7FC4895C8FC5CA4B5FCAF7EA280A27EA36C7FA2F20FC06CF11FE0816C193F6F17C06C
+197F6C806FEEFF806C4E13006D6D5D6D6D4B5A6D6D4B5A6D6D6C141F6D02E0EC7FF86D02
+F8903803FFF0010002FF013F13C06E91B65A021F94C7FC020716FC020116F0DA003F15C0
+030702FCC8FCDB003F13C04B5079CE58> 99 D<93381FFFE00303B6FC033F15E092B712
+F8020716FE021F707E4AD9FC0114E091B526E0001F7F49028001077F010749C76C7F4949
+02007F49496F7E49496F1380494917C08590B5486F13E0485C487213F0A24891C914F885
+481AFC5C5A7313FE5AA25C5AA21BFF85A2B5FCA291BBFCA51BFE02FCCCFCA67EA3807EA3
+7EA26C7F1B7E1BFF6C807E6F5E6C1AFE6C6E16036FEE07FC6D180F6D6DEE1FF86D6DEE3F
+F06D01FFEEFFE06D6E4A13C06D02E0020F1380010002FC023F13006E903AFFC007FFFE02
+1F91B65A020717F0020117C06E6C93C7FC030F15FC030115C0DB000701F8C8FC50507BCE
+5B> 101 D<ECFFFEB6FCA8C67E131F7FB3AD953803FFF0063FEBFF804DB612E0050715F8
+051F15FE057F819426FFFC07804CD9C001804C48C780DC07F8804C4882EE1FC04C486E7F
+4CC8FC047E835E6F4881A24C835EA25EA35EA493C9FCB3B3A6B8D8F001B812E0A8637879
+F76E> 104 D<ECFFFEB6FCA8C67E131F7FB3AE96B71280A8070791C7FC070113F04F13C0
+4F5B4F90C8FCF13FFEF17FF84F5A4E5B06075B4E5B4E48C9FC4E5A4E5A4D485A4D13C04D
+5B4D90CAFCEF3FFEEF7FF84D5A4C7F4C7F160F4C7F4C7F4C8092B77EA285858516FCDCF0
+7F7F4C6C7F4C6C7F0480814B487E4B6D80718086718083727F727F868472807280877280
+847280737F8785737F73808873804F14F8B8D8C001B712FCA85E787AF768> 107
+D<902601FFFC913803FFF0B6033FEBFF804DB612E0050715F8051F15FE057F819426FFFC
+07804CD9C001804C48C780C66CDA07F880011F4A48826DEC1FC04C486E7F4CC8FC047E83
+5EDBFDF881A2DBFFF0835EA25EA35EA493C9FCB3B3A6B8D8F001B812E0A8634E79CD6E>
+110 D<93380FFFF04BB67E031F15F892B8FC020317C0020F17F0023F49C66C13FC4A01E0
+01077F49B5008001016D7E4949C86C7F49496F7F49496F7F49496F7F49496F7F49496F7F
+90B5486F7F481B8092CAFC481BC0481BE04A83481BF0A2481BF8A348497113FCA3481BFE
+A5B51AFFAE6C1BFEA46C1BFC6E5FA26C1BF8A36C6D94B512F0A26C1BE06F5D6C1BC06C1B
+806F5D6C6E4B14006D6D4B5B6D6D4B5B6D6D4B5B6D6D4B5B6D6D6C49B55A010102E00107
+14806D02FE017F91C7FC023F90B712FC6E5F020717E0020094C8FC031F15F8030315C0DB
+000F01F0C9FC58507BCE63> I<902601FFF8903803FF80B6021F13F0057F13FC94B6FC04
+0315804C15C093260FFE0F13E093261FF01F13F005E014F8C66C91383F803F011FEC7F00
+6D027E4913FC16FEEDF9FC5E5E15FB5E03FF6E13F8A24C6D13F07213E07213C04C010113
+00F0007C96C7FC93CAFCA65DB3B3A2B812FCA8464E7ACD52> 114
+D<912603FFFEEB03C0027F9039FFE00FE00103B6EAFC3F010F92B5FC133F49EB00072601
+FFF0EB007F480180141F4890C812074848814981484881003F177F5B183F127FA2181F12
+FF7FA27F7F6D6CED0FC06E92C7FC14F814FF6C14FCEDFFE0EEFF806C16F017FC6C16FF18
+C06C17F06C836C836C836C836D1780011F17C0010717E0010117F06D7E020F16F8140003
+0315FCED000F1600051F13FE83007E1603B48283187F6D163FA36D161FA219FC7FA27F6D
+EE3FF8A26D17F06D167F6D17E06E15FF02E0020313C06E4A138002FE021F1300913AFFC0
+03FFFE92B65A01E316F001C016C0D9003F92C7FC48010714F80078D9007F90C8FC3F5079
+CE4E> I<91B5933801FFFEB74AB6FCA8C66C93C7FC011F183F6D84B3B3A962A362A397B5
+FC6D5FA2616D6E5CF10FEF6DDD1FCF7F70DA3F8F14C06D6E02FFEDFFE06E6D0103130F6E
+01FFEB1FFE6E91B512F8020716F0020116E06E6C1580030FECFC00DB007F01E003E0C7FC
+634F79CD6E> 117 D<C5B912F8A6C50680B2C6> 124 D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fj cmbx12 24.888 19
+/Fj 19 122 df[<BFFC1EFEF6FFE01FFCF7FF8020F020FC20FF8DC7000392CA001F15E0
+0B0181776C800C1F807814FF0C03818A78818E79808B8E8B8E8B8EA27980A4791580AB55
+1500A4555CA26A676A676A555C9CB65AA2545D5492C7FC545C5414F80C3F5C545C53B612
+800B0F4AC8FC0B7F14F80A1FB612E095BBC9FC1FF81F801FF8F7FF8020F820FE95CBECFF
+C00C1F14F00C07807814FE0C006E7E7980798079807980798079808E79158023C08B23E0
+8C23F0A223F88CA223FCA38C23FEAB5614FCA55614F8A39DB612F0A25515E06723C05515
+8067551500555C555C9CB6FC545D0C075D0C1F15C09BB75A0B0F93C7FCC212FC6921E021
+800EFCC8FC20F020800DF0C9FC0CFCCAFC> 143 142 120 269 165
+66 D[<0803B500C0EE01F00703B600FE4C7E077FDBFFE015070607B800FC150F063F05FF
+151F4DBA00E0143F050F07F8147F053F07FE14FF94BC5B04039326F8000FECC003040F4B
+C86CEBF007043F03C0030F6D5A93B648C900036D5A4B03F09339007FFF3F030703C0051F
+90B5FC4B92CB7E033F02FC18034B02F08492B648844A0380193F4A92CD7E4A4A864A4A86
+4A02F0864A4A864A8991B65A494B874992CF7E4C885B494A885E498B494A88A2495C8D90
+B65A8D5A5E48217FA24892D1FC223FA25A5DA248211FA3485C7C5A9FC9FCA25AA45DA3B6
+FCB27EA381A20A0FBB12F8A27EA46C80A36C98C96C02F8C7FCA2817EA36C81A27E827E82
+7FA26D80A26D806D80A26D806D80A26D816D816E806E806E806E6E97B6FC6E806E806E03
+C0606E816F02F8606F02FE60030F6E606F03E0173F030103F85F6F03FF933801FFFC043F
+03E00307497E040F03FF033F497E040304FC0107B5EAE00F040093B8487E053FF2000105
+0F07FCEB007F050107F0141FDD003F06C01407060795C81201DE007F04F8ED0070070304
+8093C8FCDF000302E0CDFC> 157 146 115 271 183 71 D[<BC12C0A9C7000103E0C8FC
+B3B3B3B3B3B3B0BC12C0A9> 74 142 122 269 87 73 D[<BC12F8A9C7000303C0CEFCB3
+B3B3B3A5F8FF80A4672100A667A368A21F07A41F0FA3555AA21F3FA21F7FA21FFFA26666
+68666666666653B5FC65650B1F5C1D7F0A03B6FC1C1F0903B7FCC1FCA468A5> 121
+142 120 269 140 76 D[<B900C00C7FB812E0729BB9FC72657265A37265A27265C70003
+A101F8C8FC72F51FEFA2706EF43FCFA3706EF47F8FA2706EF4FF0FA2706EF301FEA3706E
+F303FCA2706EF307F8A2706EF30FF0A2706EF31FE0A3716EF23FC0A2716EF27F80A2716E
+F2FF00A2716E4F5AA3716E4F5AA2716E4F5AA2716E4F5AA3716E4F5AA2726E4E5AA2726E
+4E5AA2726E4EC7FCA3726E4D5AA2726E4D5AA2726E4D5AA2726E4D5AA3726E4D5AA2736E
+4C5AA2736E4C5AA3736E4CC8FCA2736E4B5AA2736E4B5AA2736E4B5AA3736E4B5AA2736E
+4B5AA2746E4A5AA2746E4A5AA3746E4AC9FCA2746E495AA2746E495AA3746E495AA2746E
+495AA2746E495AA2756E485AA3756E485AA2756E48CAFCA275ECF1FEA275ECFBFCA375EC
+FFF8A2755DA2755DA3765CA2765CA27691CBFCA2765BA34A6D715B49B512FEB900FC6F49
+0303BB12E0A2765BA2765BA3775A0B1FC9FC> 203 142 120 269
+220 I[<97B512F0077FECFFE00607B712FE067FEEFFE00503B912FC051FF0FF80057F19
+E00403BB12FC040F9226E0007F14FF043F02FCC7000315C04C02E0DA007F804BB6008003
+1F14F8030702FCC9000314FE4B4A70804B02E0706C80037F0280051F14E092B6CB6C804A
+4A72804A4A72804A02F00600804A4A737F4A4A73804A8B4A4A738091B6CD6C80494A7480
+A2494A7480494A7480498C4C86498D4C87498D494A7580A290B68B4C87488EA24892CF6C
+80A3488E4B88A2488EA3484A761580A34823C0A5484A7615E0A7B621F0B36C23E0A26F64
+A56C23C0A46F646C2380A36C23006F64A26C6AA270636C6AA26C6A70636C6A70636D69A2
+6D6E98B65AA26D6E505DA26D6E5092C7FC6D6870626D6E505C6D686D6F4F5C6E6E4F5C6E
+6E4F5CA26E6E96B65A6E6E4E92C8FC6E6E4E5C020102FF060F14F86E6F4D5C6F6E4D5C6F
+02F094B65A030F6E4C92C9FC6F02FE04075C03016E6C031F14F86F03F092B65A043F02FE
+020715C0040FDAFFF090B7CAFC040392B812FC04001AF0051F198005074ECBFCDD007F17
+E0060F94CCFCDE007F15E0070002F0CDFC> 148 146 115 271 175
+79 D[<BC040FB912C0A9C7000303C0CD001F02E0C7FC9E26007FF8C8FC7C5AB3B3B3B3B3
+6E555AA3848022FF6BA26F65726481696F9CC9FC72626F66210F6F6E505AA26F6E505A6F
+535A6F6E1AFF734E5B706E4E5B70637002F04E5B706E063F90CAFC706E4E5A7002FF4D48
+5A04006F04075B7102E0043F5B7102FC4BB55A050FDAFF80020F14807103FC0103B6CBFC
+050192B812FC716C61061F19E006031980060006FCCCFC071F17F007011780DF001F03F8
+CDFCE0001F49CEFC> 162 144 120 269 179 85 D[<BB6C010FBA00FC0307B812F8A9C7
+6C02FCCB000703C0CC6CEC8000786F070001F0C7FC6E6EA1EB3FE0781E7F6E796371A113
+FF78816E6FA15BA16079806E6FA190C8FC79646E796272230779806E6FA15AA1180F7981
+6E6FA15A791C1F6F796172233F79816F6E4E65A1187F8F6F6E4E65A118FF6F516F617369
+8F6F6F4D9AC9FCA15F8F6F6F4D640EDF1A076F09FF6F6073210F0E8F816F6F4C65A1171F
+0E0781706E4C65556C1A3F700707715F73217F556C81706E040F65A117FF556C81706F03
+1F65556D6070073F7194CAFC7467556D80706F037F64A11607556D80706F03FF64556D18
+0F704E735D741F1F9CC76C81716E4A65A1163F546E81716E020765546E187F71050F735D
+741FFF546E81716F011F65A15D546F80716F013F9ACBFC546F5E71057F735C751D07546F
+80716F01FF64A1150F546F1580716F48659BC96C161F724B09C05B09FC1D3F537015E072
+DAFE0765A1157F537015F072DAFF0F65537016FF72031F755B0A9F1BF9537114FD7203FF
+9ACCFCA191B5FC5383726853837268A253837268A29ACB7E736752847367A252847367A2
+528473675285739CCDFCA252857366A25285736652857366A299CD7E7465A25186083F65
+5186081F655186E007F075CEFC> 229 144 123 269 240 87 D<93B512FC037FECFFF0
+0207B8FC023F17E091B912F84918FE0107727E499126C0007F14E04901E0C7000F80496D
+020380496D020014FE6F6F7F90B570806F6F8085486E6F807380A27380A28885886C5CA2
+6D4982886D5B6D5B010713C0010190CAFC90CCFCA90603B7FC050FB8FC0403B9FC167F03
+07BAFC153F4AB7EA807F020FEDE000023F02FCC7FC91B612E0010392C8FC4914FC011F14
+F04914C0495C90B548C9FC485C485C485C485C5A5D485CA24891CAFCA3B6FC5CA397B6FC
+A461806C60F107EF6C6E150F6F16CF6C183F6FDB7F8F806C6EDBFF0F14E06C02FCDA03FE
+15FE6C6E91260FFC0791B5FC6C6E6CD93FF817806C923AF803FFF003013F91B6487E010F
+EF8000010394C77E010004FC141F021F03F0140702010380DA007F1400DA000701F8CDFC
+695F79DD71> 97 D[<ED1FF0017FB5FCB7FCA9EA003F1307A27FB3B296383FFFC00607B5
+12FE063FECFFE04DB712F8050716FF051F17C0057F17F094B5D8C00F8004F301FCC714FE
+04F701E0023F7F93B50080020F804DC86C14E005F80301804D6F804D707F05808294CA80
+4C717F4C7180A24C71808BA27680A28B88A28BA28BA3888BA52080B02000A56764A267A3
+676467A2525CA267647062704D91C7FC704D5BA2714C5B7193B55A05F04B5CDCBFF84B5C
+DC1FFC030F5C4B6CB44B91C8FC7001C0027F5B4B6C01F00103B55A4BC601FF013F14F04B
+6D90B712C04B011F94C9FC4B6D16FC4B010316F092C86C15804A030F02F8CAFC90CB49CB
+FC> 113 144 121 270 129 I<94387FFFC0040FB6FC93B712E0030716FC031F16FF037F
+17C04AB912F00207DAF80380021F912680003F13FE4A49C7000F7F4A01F802038049B548
+6E804902C06E6C7F494A6F7F4991C9FC49727F4949707F4B84498490B548707F5A4B1980
+48855D481CC086481CE05D5A871DF05AA25D5AA21DF887A2B6FCA392BBFCA51DF00380CD
+FCA77EA4817EA37EA2817EA26CF307F06FF00FF87E816C1B1F6F19F06C1B3F6D6DF07FE0
+6D7FF4FFC06D6E4C13806D6E5E6D02F04C13006D6EEE1FFE6D6E4C5A6D6C01FFEEFFF86E
+02E002035B6E02FC021F5B02079126FFC003B55A6E92B7C7FC020060033F17F8030F17E0
+03011780DB003F03FCC8FC040315C0DC000F01F8C9FC5D5F7ADD6A> 101
+D[<95383FFF80050FB512F094B612FE040781041F16C0047F824BB87E0307DAF8077F03
+1FDAC00F7F4B49C6487F4B495B92B500F0814A4A5B4A5C4A93B612805F4A91C7FC5C5E5C
+5E5C731400A24C6E5B91B56F5BA2735B070313E00700138097C8FCB3A4BA12F8A9C702FC
+CBFCB3B3B3B3A2003FB9FCA9> 81 144 121 271 71 I[<EC3FC0ECFFF0010313FC497F
+497F498049804980A290B67EA24881A86C5DA26D5CA26D5C6D5C6D91C8FC6D5B6D5B0100
+13F0EC3FC091CAFCB3A3ED1FF0017FB5FCB7FCA9EA003F1307A27FB3B3B3B0B91280A9>
+49 144 119 271 65 105 D[<ED1FF0017FB5FCB7FCA9EA003F1307A27FB3B3B3B3B3B3
+ACB912C0A9> 50 143 119 270 65 108 D<94381FFFF00407B612C0047F15FC0303B87E
+030F17E0037F17FC4ABAFC4A9126FC007F80020F02C0010714E04A49C880027F01F8033F
+13FC91B5486F7F4902C003077F494A6F804991C96C80494970804949717F49874949717F
+A290B548717F48884B83481D80A2481DC04B83481DE0A2481DF0A3484A7114F8A4481DFC
+A5B61BFEAF6C1DFCA56C6E4D14F8A36C1DF0A36C1DE06F5F6C1DC0A26C6E4D1480A26C1D
+006F5F6C646D6D4D5B6F94B5FC6D636D6D4C5C6D6E4B5C6D6E4B5C6D02F0031F5C6D6E4B
+91C7FC6D6C01FE92B512FC6ED9FFC001075C6E02FC017F5C020791B812C0020196C8FC6E
+6C17FC031F17F003031780DB007F03FCC9FC040715C0DC001F01F0CAFC675F7ADD74>
+111 D<DB7FC049B47E90B6021F13F8B7027F13FE4DB67E4D15E04D814D814D01077F9426
+3FF00F7F94387FC01F4D48487FD8003F16000107DAC1FE491480EEC3FC6D5DEEC7F05F16
+CF5F16DF4D6D1400A204FFC76C5BA2735B4C6E5B735B070013C04C92C8FCA45EA65EB3B3
+AAB912FCA9515D79DC5F> 114 D<92261FFFF814F80203B638C001FC023FEDFC0791B812
+1F010317FF130F013F9038F8001F4990C8FCD9FFF8153F4801E0150F4849150348498148
+90CAFC197F4848173F191F485AA2007F180FA31907487EA27FA28002E0705A6E93C8FC14
+FC14FF15F06CECFF8016FCEEFFF06CEEFF8018F06C17FE727E6C18E0856C18FC6C846C72
+7E6C856D84011F846D841303010084023F83140F020183EC001FDB007F16801603DC000F
+15C01700183F060F14E0007F1703486C82727E857F85857FA2857F1BC07FA27F1B806D5F
+7F1B006E5E6E5F6E163F6E4C5A02FC4C5A6E03035B6E6C4A5B03F0023F5B03FF0107B55A
+01F991B7C7FCD9F07F16FCD9E01F16F0D9800716C0D9000193C8FC48D9003F14F8007C02
+0349C9FC4B5F78DD5C> I[<ED03FEA81507A5150FA4151FA3153FA2157FA215FFA25CA2
+5C5CA25C5C5C5C91B5FC13035B131F017F91B712F00007BAFCBBFCA7C74AC9FCB3B3AAF1
+01FFB1616E17FE82A219076E17FC836EEE0FF871131F6E6EEB3FF071137F6E6EEBFFE06E
+DAFF0313C06E92B512806E1700033F5D6F5D03075D030015E0041F1480040001FCC7FC>
+72 132 124 258 90 I<007FB800C04AB71280A9D800034ACA000791C7FC6D080013F077
+5A6D6E4E5AA26E6E6064836E4F90C8FC836E4F5A836E4F5AA26E6E4C5AA26E6E5F1C3F6E
+6E5F1C7F836E4F5A846F4D5B846F4D90C9FCA26F6E4A5AA26F6E5D1B0F846F4D5A846F4D
+5A846F4D5AA26F6E4A5AA2706E5C627002C091CAFC6219E0704B5A19F0704B5AA2706E48
+5AA2706E485AA27002FE5B1A7F19FF704B5AA2715DA27192CBFCA2715CA2715CA3715CA2
+715CA2715CA2715CA2725BA27290CCFCA3725AA2725AA24E5AA24E5AA261187FA24E5AA2
+4D5B13FE2603FF804A90CDFC000F13E0486D4A5A487F486D4A5AA260B56C141F4D5AA24D
+5A17FF604C5B4A4990CEFC6C5D4C5A6C49EB3FFC4A495A6C4948485A9026FE80075B270F
+FFC03F5B6C90B6CFFC6C5D6C15F86C6C5C011F14C0010749D0FC9038007FE071857CDB7B
+> 121 D E
+%EndDVIPSBitmapFont
+%DVIPSBitmapFont: Fk cmr12 24.888 17
+/Fk 17 125 df[<95260FFFE0ED7FF00503B6913807FFFE053F03C0011FEBFF804CB700
+F0017F14E00407903EFC007FFC01FFF03FF0041F01C0902603FE0790388007F8DC7FFEC8
+D8FF8F9038000FFC922601FFF892263FDFFC131F4B01E06FB448EB3FFE030F49037F157F
+4B90C9B54890B5FC4B484B5C4B485D4B484B5C4A5B4A49605C4A4995C7EA7FFE4CF23FFC
+4AF41FF893C96C49EC0FF04A71EE03C07493C7FC4A48177FA2515A4A5AB3ACC012F0A6C7
+01FCCA01FCC9FCB3B3B3B3496D4C7F88496D4C80011F02E0031F14F8B800FC90B912C0A6
+> 120 145 123 272 118 11 D[<962603FFFC177096B600E016F0060F03FC1501067FED
+FF800503B800E01403050F05F81407053FDAE00113FE94B500FCC7D80FFF140F040302C0
+020101C0131F040F49C96C7E4C01F8DC1FF0133F047F01E0EE07FC93B50080DC01FE137F
+030349CB6C13FF4B01F8727E4B49F01FC1033F01C0F00FE34B49F007F392B5CC6CB5FC4A
+49854A49854A5B4A49864A49864A49865E4A90CE7E91B587495B494987A2494987495B8B
+495B491E7F5D5B4B1C3F90B5FC201F4891D0FCA25A4A1D0F5AA25C481F07A3485BA22003
+A25A5CA29DC9FC5AA45CA2B5FCB37E80A30A3FB912C0A27EA3806C98C7003FED80000C01
+02FCC7FC786C5B8B6C6D668BA27E80A27E807EA26C80A26D7FA26D7FA26D7F7F817F6D7F
+817F6D7F6E7F8070626E7F6E7F6E6D626E7F6E6D97B5FC6E7F6F01C0606F6DF003FD030F
+6DF007F96F01FCF00FF06F01FF95381FE07F03006EEF3FC07001E09438FF803F041F01FC
+0403EB001F7001FFDC0FFE130F040302E0DB3FFC1307040002FE912603FFF01303053FD9
+FFF0017F491301050F91B70080130005034DC81270DD007F04F092C8FC060F1680060003
+F8CCFC070349CDFC> 138 149 117 272 159 71 D[<BA1280A6D8000703F0C7FCD9007F
+91C8FC6E5B6E5B6E5BB3B3B3B3B3B3AD4A7F4A7F4A7F0107B612F0BA1280A6> 57
+141 120 268 73 73 D[<B900FE4CB8FCA6D8000F03E0CB001F15C001004ACC000702FC
+C7FC023F01F87314E07814806E4951C8FC20F86820C0689DC9FCF603FC545A67545A545A
+545A54CAFC1EFE535A535A535A535A535A535A0BFFCBFC525A525A525A525A525A525A52
+5A52CCFC515A515A515A515A515A515A515A51CDFC505A505A505A505A505A505A505A50
+CEFC614F7F4F7F614F7F4F7F6196B57E4E80604E80DE0FE77FF01FC7DE3F8380DE7F0180
+18FE4D486C804D486D7F4D5A4D486D7F4D48814D487F4DC76C7F05FE82DCF1FC80DCF3F8
+6E80DCF7F083DCFFE0804D6E804D8394C97E4C707F4C844C824C707F898775808A877580
+8A88767F8A88767F8A8876808B887680A2777F777FA2777F777FA2777F7780A277807780
+A2787F787FA2787F8C787FA28D8D8D4A6D88548091B500FE4F14FE010FDAFFE095B712E0
+B900FE043FEEFFE0A6> 139 141 119 268 157 75 D[<BA12F0A6D8000F03F0CDFC0100
+4ACEFC023F5B5E805EB3B3B3B3A5F601F0A5F603E0A81E07A31FC0A21E0FA41E1FA31E3F
+A21F801E7FA21EFFA26565A26565531300656552B5FC641C0F4A193F704CB6FC91B5170F
+010F02FE4BB7FCC0FC66A5> 108 141 119 268 126 I[<B700F00B7FB612FC709AB7FC
+A27064A27064D8000FFBC000010010FCC7FC91263F7FFFE207DF13F0A2021F696F6DF30F
+9FA26F6DF31F1FA36F6D1B3EA26F6D1B7CA36F6D1BF8A36F6DF201F0A26F6DF203E0A370
+6CF207C0A3706DF10F80A2706DF11F00A3706D193EA3706D61A2706D61A3706D4E5AA270
+6D4E5AA3716C4E5AA3716D4D5AA2716D4DC7FCA3716D173EA3716D5FA2716D5FA3716D4C
+5AA3716D4C5AA2726C4C5AA3726D4B5AA2726D4BC8FCA3726D153EA3726D5DA2726D5DA3
+726D4A5AA3726D4A5AA2736C4A5AA3736D495AA3736D49C9FCA2736D133EA3736D5BA273
+6D5BA3736D485AA3736D485AA2746C485AA374EB8F80A37401DFCAFCA27413FEA3745B4A
+7EA2745B4A7E4A6C705BA2010301F8547F496D705B011F01FF9BB512FC48B600F0704804
+0FECFFC0B800E097B912FCA2755AA375C9FC> 166 141 119 268
+185 I[<96381FFFE00603B6FC063F15F04DB712FE050F903AF8007FFFC0053F90C70003
+13F0DDFFF89138007FFC040301E0ED1FFF040F0180030713C0DC3FFEC9000113F04C4870
+7F922601FFF0EF3FFE4B49717E4B018005077F031F90CB6C13E04B48727F4B48727F4B48
+737E4A49737E4A49737E4A49737F4A894A49737F4A90CD6C7F4A48747FA24A48747F4949
+757E498A4B87498B4949757FA24949757FA24949757F498BA290B5CF6C7FA2488C4A88A2
+488C4A88482180A348497713C0A34821E0A24A89A24821F0A44821F84A89A6B520FCB26C
+6D5313F8A76C21F06E65A36C21E0A36E9AB5FC6C21C0A36C6D521480A26C21006E64A26C
+686F636C68A26D6D515BA26D6D515BA26D6D515B6D676F636D676F98B5FC6D9CC7FC6D6D
+505B6D666F626E6D4F5B6E6D4F5B6E656E6D4F5B6E6D4F5B6E6D4F90C8FC6E6D4F5A6E6D
+4E5B6F6C4E5B6F6D4D5B6F6D4D5B6F6D4D5B030301F8057F90C9FC6F6D4D5A6F6CB40403
+13F8706D4B5B040F01E0031F13C0040301FC92B5CAFC0400D9FF80010713FC053F01F801
+7F13F0050F90B712C005014CCBFCDD003F15F0060392CCFCDE001F13E0> 134
+149 117 272 157 79 D[<B900C0021FB800FC4BB712FEA6C66C0380C9000703F8CA0007
+15C0010702FCCB03C00500ECFE006D02F0063F91CC003F13F86D4A72497313E04C500707
+5B6D7565A16F90C7FC6E74755AA27074626E86A15E70866E7464A2707518036E7464A270
+7518076EA15B8A826E98B56C4E5AA2826E506E4EC8FCA283536E606E09EF1A3EA2710507
+6E187E6F08C71A7CA271050F6E18FC6F088362A271051F6E17016F080162A2717516036F
+DF3E0062A2717516076F4F6D61A27175160F6F07FC63537F836F0601704CC9FC537F846F
+060370163E537F840A0770167E704E6D187CA272030F7016FC704E6D60A272031F701501
+7095C76C60A27275140370053E6E60A272751407704D6F5FA27275140F7005FC63528184
+700401724ACAFC52818570040372143E528185090772147E714C6F167CA273010F7214FC
+714C6F5EA273011F7213017193C96C5EA27349F1800371033E705EA273F3C007714B715D
+A273F3E00F714B715DA273F3F01F71020199CBFC51831A81710283F2F83E51831AC37201
+C7745A51831AE708EFF2FEFC724A715CA208FF1AFF7291CB6C5CA37249725CA37249735B
+A37249735BA3729ACCFC5085A2726450190FA2077F63501907A37348735AA2071F6397CD
+1201> 199 145 124 268 208 87 D<93380FFFC093B512FC0307ECFF80031F15F0923A
+7FFE007FFC912601FFF0EB07FE020701C0903800FF804A90C8EA3FC0DA1FFCED0FE0DA7F
+F86F7E4A48ED01F849496F7E4949167E4949163E4990CA123F49EF03FF49484C13804A5E
+017F5F49484C13C061485B5AA2485BA25A4A7013805A731300735A4849EE03F896C8FCA3
+5AA291CDFCA3B5FCAF7E80A47EA36C7FA36CF101F0807E1A036C6D18E0A26C6D17071BC0
+6C6D170F017F19806E171F013F19006D6C5F6D6D167E6D6D167C6D18FC6D6D4B5A6D6D4B
+5ADA7FFC4B5A6E6CED1FC091260FFF804A5A6E6D02FEC7FC020101F8EB07FC6E01FFEB7F
+F8031F90B512E003071580030002FCC8FC040F13C04C5E79DB5A> 99
+D<EE1FFF4BB512F0030F14FE033FECFFC09226FFF80713F00203D9C0007F020F90C7EA1F
+FEDA1FFC6E7E4A486E7FDAFFF06E7F49496E7F49496E7F49496F7E4990C97F49173F4948
+707E4A83017F8349481880A248497013C05AA248497013E0A25A5C487213F0A3485BA21B
+F8A24884A291CBFCA3B5FC91BAFCA31BF091CDFCAB7EA280A37EA36C7FA36C1A706E18F8
+7E1A016C7F1BF06C19036E18E06C19076D7E6D6CEF0FC0F21F806D7E6D6DEE3F006D187E
+6D6D16FE6D6D4B5A6D6D4B5A6E6C4B5ADA1FFEED1FE06E6CED3F80020301C002FFC7FC6E
+01F0EB07FE6E6CB4EB7FF8031F90B512E003031580DB007F01FCC8FC040713C04D5E7ADB
+5A> 101 D<F30FF8F3FFFEDCFFF802077F030FD9FF80011F1480037F02F090393FF81FC0
+4AB600FC9038FF803F0207903DE03FFF01FE007FE04AD90007D983F813FFDA3FFC0101EB
+E7E0DA7FF06D6CB45A4A486E90C7FC49496E5A4949020FED7FC04971EC3F804990C86C6D
+EB1F00497290C7FC4A81013F8449486F7FA201FF84A348496F7FA34885AC6C61A36C6D4B
+5BA3017F60A26D6C4B5B011F606E5D6D606D6D4A90C9FC6D5F6D6D4A5A6F4A5A496D4A5A
+03FC49485A902607CFFF01071380D90F87D9E03F90CAFC028190B512FC49C66C14F0030F
+148049010001F8CBFC013E91CDFCA3137EA5137FA38080A2806D7E14FC14FF6D90B77E19
+FE6DEFFFE01AFC6D18FF6D19C06D19F06D19FC6E848749BB7E010F864990C981D97FF816
+03D9FFE0DC007F7F480180050F7F4890CB1203484806007F4848197F4848193F757E485A
+1B0F4848190788A2484885A76D61007F63A26D190F003F636D191F001F636C6C4F5A6C6C
+4F5A6D19FF6C6D4D5B6C01E005075B6C6C6C4D48C7FCD93FFCEF3FFC6DB4EFFFF8010701
+C0030313E0010101F0030F13806D6CB4DBFFFEC8FC021F01F8011F13F8020790B712E0DA
+007F4BC9FC030715E0DB001F01F8CAFC5B887ADC65> 103 D[<14FCEB03FF010F13C049
+7F497FA2497FA86D5BA26D5B6D5B010390C8FCEB00FC91C9FCB3A9EC03F848B5FCB6FCA6
+C67E130F7F7FA27FB3B3B3AE5B81497F013FEBFFC0B812E0A6> 43
+138 121 265 57 105 D[<EC01FC90B5FCB6FCA6C67E13077F7FA27FB3B3A5077FB612F8
+A6071F92C7FC070714F87314C099C8FC7313FC1BF04F13C06398C9FCF107FC624F5A4F5A
+4F5A4FCAFC19FEF003FC4E5A4E5A4E5A4E5A4E5A06FECBFC4D5AEF07F84D5A171F173F4D
+7E4D7E5E4C7F4C7F041F805EDC7FBF7FDCFF3F7F9238FDFE1F9226FFFC0F7F04F0804C7E
+4C6C7F0480804C7E4B6D7F4B824B80727F8684727F8684727F727FA2727F737FA2737F73
+7FA2737F737F8785737F87858888747F88496D93B57E88496D4B14FF011FD9FFC0020715
+E0B800F8017FEDFF80A6> 97 143 123 270 107 107 D<DA03F891380FFF8090B592B5
+12F8B6020314FF050F15C094263FF00F7F94267F800113F8DC01FCC76C7EDC03F06E7ED8
+003F4A486E7E01074A5A6D4AC86C7F6D023E83043C816D027C834C815E03F984EDFBE05E
+03FF824C83A393C9FCA35DA45DB3B3AF496D4C7FA2496D4C7F011F02E0033FEBFFC0B8D8
+FC01B812F8A6655B7ADA70> 110 D<153EA8157EA615FEA41401A31403A31407A2140FA2
+141F143FA2147F14FF5B5B5B5B133F90B912F01207BAFCA4C76C48C9FCB3B3AA193EB219
+7E023F167C81A36E16F88280F001F06E7FF003E06E7F6E6DEB07C06E150FDB7FFCEB1F80
+6F6CEB3F0092391FFFC1FE0307EBFFFC030114F06F6C5B040790C7FC3F817CFE4F> 116
+D<BF12F0A4640480B865> 123 D<C5BA1280A4C90480B8CA> I E
+%EndDVIPSBitmapFont
+end
+%%EndProlog
+%%BeginSetup
+%%Feature: *Resolution 600dpi
+TeXDict begin
+%%PaperSize: A4
+ @landscape
+%%EndSetup
+%%Page: 0 1
+0 0 bop Black Black Black Black Fk 2459 910 a(MO) -6
+b(W) g(GLI) 1992 1151 y(Kic) g(k{O\013) 67 b(Meeting) g(|) p
+Fj 1198 1882 a(Usabilit) -6 b(y) 75 b(of) j(MBase) g(for) g(MO) -6
+b(W) g(GLI) p Fi 2126 2627 a(Markus) 66 b(Mosc) -6 b(hner) p
+Fh 1176 2897 a(Univ) h(ersit) g(y) 56 b(of) g(Saarbr) 5
+b(\177) -89 b(uc) -5 b(k) g(en,) 55 b(D-66123,) k(German) -5
+b(y;) 1811 3104 y(email:) 73 b(mosc) -5 b(hm@math) g(w) g(eb.org) p
+Fg 4881 3761 a(15.Marc) l(h) 49 b(2002) p Black Black
+90 rotate dyy eop
+%%Page: 0 2
+0 1 bop Black Black Fh 258 96 a(First) 55 b(Glance) p
+Black Ff 271 612 a(\017) p Black Fg 86 w(Managemen) l(t) 50
+b(of) f(mathematical) i(kno) l(wledge) p Black Ff 271
+922 a(\017) p Black Fg 86 w(Con) l(ten) l(t) f(language:) p
+Fh 66 w(OMDo) 5 b(c) p Black Ff 271 1232 a(\017) p Black
+Fh 86 w(Dev) -5 b(elopmen) g(t) 56 b(Graph) p Black Ff
+271 1542 a(\017) p Black Fg 86 w(Implemen) l(tation) 51
+b(based) f(on) f(the) p Fh 430 1714 a(MathW) -14 b(eb) p
+Fg 48 w(infrastructure) p Black Ff 271 2024 a(\017) p
+Black Fg 86 w(Demo) 49 b(and) h(prerelease) g(a) l(v) -8
+b(ailable) p Black Black 90 rotate dyy eop
+%%Page: 0 3
+0 2 bop Black Black Fh 258 96 a(Application) 55 b(of) i(MBase) p
+Black Ff 271 567 a(\017) p Black Fg 86 w(Usage) 49 b(for) g(writing) h
+(mathematical) h(do) t(cumen) l(ts:) p Black Fh 639 859
+a({) p Black Fg 86 w(Structured) f(rep) t(ository) h(of) d
+(mathematical) j(concepts) p Black Fh 639 1082 a({) p
+Black Fg 86 w(Storing) g(and) e(retrieving) i(mathematical) g(do) t
+(cumen) l(ts) p Black Ff 271 1374 a(\017) p Black Fg
+86 w(P) l(oten) l(tial) g(use:) p Black Fh 639 1666 a({) p
+Black Fg 86 w(Uni\014cation) g(of) e(libraries) p Black
+Fh 639 1889 a({) p Black Fg 86 w(Rep) t(ository) h(of) f
+(\(standardized\)) p Fh 50 w(XML) p Fg({based) h(do) t(cumen) l(ts) p
+Black Fh 639 2112 a({) p Black Fg 86 w(Seman) l(tics{based) h(retriev)
+-8 b(al) 50 b(of) f(distributed) i(mathematical) g(facts) p
+Black Ff 271 2404 a(\017) p Black Fg 86 w(P) l(ossible) f(use) f
+(within) h(MO) l(W) l(GLI:) 430 2576 y(lo) t(cal) h(rep) t(ositories) f
+(for) f(a) g(uniform) h(data) f(exc) l(hange) p Black
+Ff 271 2868 a(\017) p Black Fg 86 w(Systems) g(in) l(tended) i(to) e
+(use) g(it) g(in) h(the) f(near) g(future:) p Black 609
+3160 a(1.) p Black 86 w(Activ) l(eMath) h(authoring) h(to) t(ol) p
+Black 609 3383 a(2.) p Black 86 w(INKA) d(and) h(\012mega) g(pro) t(of)
+g(planner) p Black 609 3607 a(3.) p Black 86 w(Other) p
+Fh 49 w(MathW) -14 b(eb) p Fg 48 w(systems) p Black Black
+90 rotate dyy eop
+%%Page: 0 4
+0 3 bop Black Black Fh 258 95 a(F) -14 b(eatures) p Black
+Fg 231 611 a(1.) p Black 85 w(Syn) l(tactic) 51 b(supp) t(ort) e(for) p
+Fh 49 w(OMDo) 5 b(c) p Fg 49 w(1.1) p Black 231 921 a(2.) p
+Black 85 w(W) -12 b(eb) 50 b(in) l(terface) p Black 231
+1231 a(3.) p Black 85 w(XMLRPC) e(in) l(terface) 430
+1403 y(\(libraries) j(for) e(imp) t(ortan) l(t) h(programming) h
+(languages) g(exist\)) p Black 231 1713 a(4.) p Black
+85 w(P) l(attern) e(matc) l(hing) h(\(\\case") g(in) p
+Fh 49 w(Oz) p Fg(\)) f(|) 430 1885 y(core) h(of) e(seman) l(tics{orien)
+l(ted) j(searc) l(h) p Black 231 2195 a(5.) p Black 85
+w(Con) l(ten) l(t) f(stored) f(in) g(SQL) h(database) p
+Black 231 2505 a(6.) p Black 85 w(Distributions) h(for) e(Lin) l(ux) p
+Black Black 90 rotate dyy eop
+%%Page: 0 5
+0 4 bop Black Black Fh 258 96 a(Roadmap) p Black Ff 271
+612 a(\017) p Black Fg 86 w(Curren) l(t) 50 b(state:) 64
+b(database) 50 b(for) e(mathematical) j(con) l(ten) l(t) p
+Black Ff 271 922 a(\017) p Black Fg 86 w(Ongoing) g(w) l(ork:) p
+Black Fh 639 1232 a({) p Black Fg 86 w(Better) e(supp) t(ort) g(for) g
+(seman) l(tics) p Black Fh 639 1473 a({) p Black Fg 86
+w(Con) l(ten) l(t) g(exc) l(hange) h(b) t(et) l(w) l(een) p
+Fh 50 w(MBase) p Fg({serv) l(ers) p Black Fh 639 1714
+a({) p Black 86 w(Dev) -5 b(elopmen) g(t) 56 b(Graph) p
+Fg 49 w(in) l(tegration) p Black Ff 271 2024 a(\017) p
+Black Fg 86 w(F) -12 b(uture) 50 b(w) l(ork:) p Black
+Fh 639 2334 a({) p Black Fg 86 w(F) -12 b(ul\014ll) 52
+b(pro) t(of) d(obligations) j(automatically) 809 2506
+y(\(via) p Fh 50 w(MathW) -14 b(eb) p Fg(\)) p Black
+Fh 639 2747 a({) p Black Fg 86 w(Syn) l(tax) 50 b(transformators) p
+Black Fh 639 2988 a({) p Black Fg 86 w(Logical) h(morphisms) p
+Black Black 90 rotate dyy eop
+%%Page: 0 6
+0 5 bop Black Black Fh 258 96 a(Dev) -5 b(elopmen) g(t) 56
+b(Graph) p Black Ff 271 612 a(\017) p Black Fg 86 w(Dev) l(elopmen) l
+(t) 51 b(b) l(y) e(Dieter) g(Hutter) g(and) g(Serge) h(Autexier) p
+Black Ff 271 922 a(\017) p Black Fg 86 w(Directed) g(\(acyclic\)) h
+(graphs) e(with) p Black 609 1232 a(1.) p Black 86 w(theories) h(as) f
+(no) t(des) p Black 609 1473 a(2.) p Black 86 w(morphisms) h(as) f
+(edges) g(|) 809 1645 y(De\014nition) i(and) f(Theorem) f(Links) p
+Black Ff 271 1955 a(\017) p Black Fg 86 w(Mec) l(hanism) h(for:) p
+Black 609 2265 a(1.) p Black 86 w(F) -12 b(orm) l(ulating) 52
+b(theory) d(links) p Black 609 2506 a(2.) p Black 86
+w(Pro) l(ving) h(of) f(relations) h(b) t(et) l(w) l(een) f(theories) p
+Black Ff 271 2816 a(\017) p Black Fg 86 w(Managemen) l(t) h(of) f
+(Change:) 430 2988 y(Computation) i(of) e(pro) t(of) g(obligations) j
+(after) c(c) l(hanges) p Black Ff 271 3298 a(\017) p
+Black Fg 86 w(Realized) j(in) f(the) p Fh 49 w(MA) -14
+b(Y) g(A) p Fg 48 w(system) p Black Black 90 rotate dyy
+eop
+%%Page: 0 7
+0 6 bop Black Black Fh 258 95 a(URLs) p Black Ff 271
+611 a(\017) p Black Fh 86 w(MBase) p Black 639 921 a({) p
+Black Fg 86 w(Homepage:) 66 b(h) l(ttp://www.math) l(w) l(eb.org/m) l
+(base) p Black Fh 639 1162 a({) p Black Fg 86 w(Demo:) f(h) l(ttp://m) l
+(base.math) l(w) l(eb.org:8080) p Black Fh 639 1403 a({) p
+Black Fg 86 w(Bugtrac) l(king:) i(h) l(ttp://bugzilla.math) l(w) l
+(eb.org:8000) p Black Fh 639 1644 a({) p Black Fg 86
+w(Users) 48 b(mailing) k(list:) 65 b(m) l(base) p Fe(@) p
+Fg(math) l(w) l(eb.org) p Black Fh 639 1885 a({) p Black
+Fg 86 w(Do) l(wnload) 50 b(of) f(prereleases) h(for) e(Lin) l(ux:) 809
+2057 y(h) l(ttp://www.math) l(w) l(eb.org/releases/m) l(base) 809
+2230 y(ftp://ftp.ags.uni-sb.de/math) l(w) l(eb.org/releases/m) l(base) p
+Black Ff 271 2540 a(\017) p Black Fh 86 w(OMDo) 5 b(c) p
+Fg 49 w(:) p Black Fh 639 2850 a({) p Black Fg 86 w(h) l
+(ttp://www.math) l(w) l(eb.org/omdo) t(c/index.h) l(tml) p
+Black Fh 639 3091 a({) p Black Fg 86 w(Mailing) 52 b(list:) 65
+b(omdo) t(c) p Fe(@) p Fg(math) l(w) l(eb.org) p Black
+Ff 271 3401 a(\017) p Black Fh 86 w(Dev) -5 b(elopmen) g(t) 56
+b(Graph) p Fg(:) p Black Fh 639 3710 a({) p Black Fg
+86 w(h) l(ttp://www.dfki.de/) 2114 3677 y(~) 2130 3710
+y(ink) -8 b(a/ma) l(y) l(a.h) l(tml) p Black Black 90 rotate
+dyy eop
+%%Page: 0 8
+0 7 bop Black Black Black Fh 639 103 a({) p Black Fg
+86 w(h) l(ttp://www.dfki.de/vse/systems/ink) -8 b(a/ink) g(a5.h) l(tml)
+p Black Ff 271 413 a(\017) p Black Fh 86 w(URLs) 57 b(for) f(Activ) -5
+b(eMath) p Black 639 723 a({) p Black Fg 86 w(Homepage:) 66
+b(h) l(ttp://www.math) l(w) l(eb.org/activ) l(emath/index.h) l(tml) p
+Black Fh 639 964 a({) p Black Fg 86 w(Demo:) f(h) l(ttp://www.math) l
+(w) l(eb.org/activ) l(emath/demo/) p Black Fh 639 1205
+a({) p Black Fg 86 w(Bugtrac) l(king:) i(h) l
+(ttp://leibniz.ags.uni-sb.de:8000/) p Black Black 90 rotate
+dyy eop
+%%Page: 0 9
+0 8 bop Black Black Fh 258 96 a(Idea) 57 b(on) f(OMDo) 5
+b(c) p Black Ff 271 612 a(\017) p Black Fh 86 w(OMDo) g(c) p
+Fg 98 w(=) p Fh 48 w(O) p Fg(p) t(en) 50 b(Markup) f(F) -12
+b(ormat) 50 b(for) p Fh 49 w(M) p Fg(athematical) p Fh
+50 w(Do) 5 b(c) p Fg(umen) l(ts) p Black Ff 271 922 a(\017) p
+Black Fh 86 w(XML) p Fg 49 w(based) p Black Ff 271 1232
+a(\017) p Black Fg 86 w(Extension) 50 b(of) p Fh 49 w(Op) 5
+b(enMath) p Fg 47 w(standard) p Black Ff 271 1542 a(\017) p
+Black Fg 86 w(Univ) l(ersal) 51 b(format) d(for) h(mathematical) i(do) t
+(cumen) l(ts) p Black Ff 271 1852 a(\017) p Black Fg
+86 w(Flexibilit) l(y) j(for) 48 b(seman) l(tical) j(notions) p
+Black Ff 271 2162 a(\017) p Black Fg 86 w(Separating) g(presen) l
+(tation) g(and) e(con) l(ten) l(t) p Black Black 90 rotate
+dyy eop
+%%Page: 0 10
+0 9 bop Black Black Fh 258 96 a(T) -5 b(yp) 5 b(es) 57
+b(of) f(OMDo) 5 b(c) 56 b(items) p Black Ff 271 612 a(\017) p
+Black Fg 86 w(Theories) 50 b(and) g(inheritance) p Black
+Ff 271 922 a(\017) p Black Fg 86 w(Core) f(mathematical) i(ob) 8
+b(jects:) p Black Fh 639 1232 a({) p Black Fg 86 w(De\014nitions) 51
+b(and) f(sym) l(b) t(ols) p Black Fh 639 1473 a({) p
+Black Fg 86 w(Assertions,) f(axioms) g(and) h(pro) t(ofs) p
+Black Ff 271 1783 a(\017) p Black Fg 86 w(F) -12 b(or) 50
+b(Con) l(ten) l(t:) p Black Fh 639 2093 a({) p Black
+Fg 86 w(metadata:) 66 b(Dublin) 50 b(Core) p Black Fh
+639 2334 a({) p Black Fg 86 w(FMP:) f(formal) g(con) l(ten) l(t) p
+Black Fh 639 2575 a({) p Black Fg 86 w(CMP:) f(natural) i(language) h
+(con) l(ten) l(t) p Black Black 90 rotate dyy eop
+%%Page: 0 11
+0 10 bop Black Black Black Ff 271 96 a(\017) p Black
+Fg 86 w(ADT:) 48 b(abstract) h(data) g(t) l(yp) t(es) p
+Black Ff 271 406 a(\017) p Black Fg 86 w(Auxiliary) j(elemen) l(ts:) p
+Black Fh 639 716 a({) p Black Fg 86 w(System) d(sp) t(eci\014c) h(priv)
+-8 b(ate) 50 b(data) p Black Fh 639 957 a({) p Black
+Fg 86 w(Applets) p Black Ff 271 1267 a(\017) p Black
+Fg 86 w(Presen) l(tation) g(information) p Black Black
+90 rotate dyy eop
+%%Page: 0 12
+0 11 bop Black Black Fh 258 96 a(Usage) 57 b(of) f(OMDo) 5
+b(c) p Black Ff 271 612 a(\017) p Black Fg 86 w(Examples) 50
+b(of) f(use:) p Black Fh 639 1094 a({) p Black Fg 86
+w(Mathematical) i(b) t(o) t(oks) f(in) p Fh 49 w(OMDo) 5
+b(c) p Black 639 1335 a({) p Black 86 w(Activ) -5 b(eMath) p
+Fg 48 w(group:) 66 b(a) 49 b(w) l(eb{based) h(learning) h(system) d
+(for) h(mathematical) i(courses) 809 1508 y(\(sligh) l(tly) g(mo) t
+(di\014ed) g(v) l(ersion\)) p Black Fh 639 1749 a({) p
+Black 86 w(QMath) p Fg 43 w(b) l(y) 45 b(Alb) t(erto) h(Gonz\023) -73
+b(alez) 45 b(P) l(alomo) g(|) g(a) f(fron) l(tend) i(for) p
+Fh 44 w(OMDo) 5 b(c) p Fg 44 w(\(needs) 45 b(dev) l(el-) 809
+1921 y(opmen) l(t\)) p Black Fh 639 2162 a({) p Black
+Fg 86 w(Comm) l(unication) 51 b(standard) f(b) t(et) l(w) l(een) f
+(\012mega) g(and) h(TPS) p Black Fh 639 2403 a({) p Black
+Fg 86 w(V) -12 b(arious) 50 b(XSL) f(st) l(yle) g(\014les) h(for) e
+(transformation) i(in) l(to) g(other) g(formats) p Black
+Black 90 rotate dyy eop
+%%Page: 0 13
+0 12 bop Black Black Fd 0 255 a(<theory) 44 b(id="SEMIGROUP">) p
+1 0 0 TeXcolorrgb 112 357 a(<metadata>) 204 450 y(<Title>The) f(Theory)
+h(SEMIGROUP</Title>) 204 543 y(<Creator) f(role="aut">The) f(OMEGA) j
+(system</Creator>) 204 636 y(<Date>2001-5-28</Date>) 112
+729 y(</metadata>) p Fc 2308 297 a(9) 2308 359 y(>) 2308
+379 y(>) 2308 400 y(>) 2308 421 y(>) 2308 441 y(>) 2308
+462 y(=) 2308 586 y(>) 2308 607 y(>) 2308 627 y(>) 2308
+648 y(>) 2308 669 y(>) 2308 689 y(;) p Fb 2399 570 a(Metadaten) p
+Black 0 1 0 TeXcolorrgb Fd 91 800 a(<commonname>Semi-group) 40
+b(theory</commonname>) p Fa 2058 817 a( ) p Fi -143 w(|) -29
+b(|) g(|) g(|) g(|) g(|) g(|) g(|) p Fb 60 w(Name) p
+Black Fd 91 989 a(<imports) 44 b(id="SEMIGROUP.impfrom.MAGM) o(A"fr) o
+(om=) o("MAG) o(MA"t) o(ype=) o("glo) o(bal) o(">) 183
+1162 y(<morphism) f(id="SEMIGROUP.impfrom.MAGMA) o(.mo) o(rphi) o(sm"/)
+o(>) 91 1334 y(</imports>) p 0 0 1 TeXcolorrgb 112 1440
+a(<symbol) h(id="SEMIGROUP"kind="objec) o(t">) 204 1533
+y(<commonname>SEMIGROUP</c) o(ommo) o(nna) o(me>) 112
+1626 y(</symbol>) p Fc 1759 1370 a(9) 1759 1432 y(>) 1759
+1453 y(=) 1759 1577 y(>) 1759 1597 y(;) p Fb 1850 1558
+a(Sym) -5 b(b) 5 b(ol-Deklaration) p Black 0.55 1 1 0
+TeXcolorcmyk Black 0.55 1 1 0 TeXcolorcmyk 90 rotate
+dyy eop
+%%Page: 0 14
+0 13 bop 0.55 1 1 0 TeXcolorcmyk Black 0.55 1 1 0 TeXcolorcmyk
+Fd 112 65 a(<definition) 43 b(id="def-SEMIGROUP"for="SE) o(MIGR) o
+(OUP") o(type) o(="si) o(mpl) o(e">) 204 158 y(<CMP>Definition) e(of) 46
+b(a) f(Semigroup.</CMP>) 204 251 y(<FMP) f(logic="POST">) 295
+344 y(<OMOBJ>) 387 437 y(<OMBIND>) 478 530 y(<OMS) h
+(cd="POST"name="all-types) o("/>) 478 623 y(<OMBVAR><OMV) e
+(name="AA"/></OMBVAR>) 478 716 y(<OMBIND>) 570 809 y(<OMS) h
+(cd="mltt"name="lambda"/>) 570 902 y(<OMBVAR>) 661 995
+y(<OMATTR>) 752 1088 y(<OMATP><OMS) f(cd="mltt"name="type"/>) 1073
+1181 y(<OMA><OMS) g(cd="mltt"name="funtype"/>) o(<OMV) c(name="AA"/>)
+1301 1274 y(<OMS) 45 b(cd="GENERIC"name="O"/></O) o(MA><) o(/OMA) o
+(TP>) 752 1367 y(<OMV) g(name="S"/>) 661 1460 y(</OMATTR>) 661
+1553 y(<OMATTR>) 752 1646 y(<OMATP><OMS) e(cd="mltt"name="type"/>) 1073
+1739 y(<OMA><OMS) g(cd="mltt"name="funtype"/>) o(<OMV) c(name="AA"/>)
+1301 1832 y(<OMA><OMS) 44 b(cd="mltt"name="funtype"/) o(><OM) o(V) c
+(name="AA"/>) 1530 1925 y(<OMV) 45 b(name="AA"/></OMA></OMA><) o(/OMA) o
+(TP>) 752 2018 y(<OMV) g(name="OP"/>) 661 2111 y(</OMATTR>) 570
+2204 y(</OMBVAR>) 570 2297 y(<OMA>) 661 2390 y(<OMS) g
+(cd="BASE"name="AND"/>) 661 2483 y(<OMA><OMS) e
+(cd="TYPED-SET"name="NOT-EMP) o(TY"/) o(><O) o(MV) d(name="S"/></OMA>)
+661 2576 y(<OMA>) 752 2669 y(<OMS) 45 b(cd="BASE"name="AND"/>) 752
+2762 y(<OMA><OMS) f(cd="STRUCT"name="CLOSED-U) o(NDER) o("/>) 981
+2854 y(<OMV) h(name="S"/><OMV) d(name="OP"/></OMA>) 752
+2947 y(<OMA><OMS) i(cd="STRUCT"name="ASSOCIAT) o(IVE") o(/>) 981
+3040 y(<OMV) h(name="S"/><OMV) d(name="OP"/></OMA>) 661
+3133 y(</OMA></OMA>) 478 3226 y(</OMBIND></OMBIND>) 295
+3319 y(</OMOBJ>) 204 3412 y(</FMP>) 112 3505 y(</definition>) p
+Fc 3634 31 a(9) 3634 93 y(>) 3634 114 y(>) 3634 134 y(>) 3634
+155 y(>) 3634 176 y(>) 3634 196 y(>) 3634 217 y(>) 3634
+238 y(>) 3634 258 y(>) 3634 279 y(>) 3634 300 y(>) 3634
+320 y(>) 3634 341 y(>) 3634 362 y(>) 3634 382 y(>) 3634
+403 y(>) 3634 424 y(>) 3634 444 y(>) 3634 465 y(>) 3634
+486 y(>) 3634 506 y(>) 3634 527 y(>) 3634 548 y(>) 3634
+568 y(>) 3634 589 y(>) 3634 610 y(>) 3634 630 y(>) 3634
+651 y(>) 3634 672 y(>) 3634 692 y(>) 3634 713 y(>) 3634
+733 y(>) 3634 754 y(>) 3634 775 y(>) 3634 795 y(>) 3634
+816 y(>) 3634 837 y(>) 3634 857 y(>) 3634 878 y(>) 3634
+899 y(>) 3634 919 y(>) 3634 940 y(>) 3634 961 y(>) 3634
+981 y(>) 3634 1002 y(>) 3634 1023 y(>) 3634 1043 y(>) 3634
+1064 y(>) 3634 1085 y(>) 3634 1105 y(>) 3634 1126 y(>) 3634
+1147 y(>) 3634 1167 y(>) 3634 1188 y(>) 3634 1209 y(>) 3634
+1229 y(>) 3634 1250 y(>) 3634 1271 y(>) 3634 1291 y(>) 3634
+1312 y(>) 3634 1333 y(>) 3634 1353 y(>) 3634 1374 y(>) 3634
+1395 y(>) 3634 1415 y(>) 3634 1436 y(>) 3634 1457 y(>) 3634
+1477 y(>) 3634 1498 y(>) 3634 1519 y(>) 3634 1539 y(>) 3634
+1560 y(>) 3634 1581 y(>) 3634 1601 y(>) 3634 1622 y(>) 3634
+1643 y(>) 3634 1663 y(>) 3634 1684 y(>) 3634 1705 y(=) 3634
+1829 y(>) 3634 1849 y(>) 3634 1870 y(>) 3634 1891 y(>) 3634
+1911 y(>) 3634 1932 y(>) 3634 1953 y(>) 3634 1973 y(>) 3634
+1994 y(>) 3634 2015 y(>) 3634 2035 y(>) 3634 2056 y(>) 3634
+2077 y(>) 3634 2097 y(>) 3634 2118 y(>) 3634 2139 y(>) 3634
+2159 y(>) 3634 2180 y(>) 3634 2201 y(>) 3634 2221 y(>) 3634
+2242 y(>) 3634 2263 y(>) 3634 2283 y(>) 3634 2304 y(>) 3634
+2325 y(>) 3634 2345 y(>) 3634 2366 y(>) 3634 2387 y(>) 3634
+2407 y(>) 3634 2428 y(>) 3634 2448 y(>) 3634 2469 y(>) 3634
+2490 y(>) 3634 2510 y(>) 3634 2531 y(>) 3634 2552 y(>) 3634
+2572 y(>) 3634 2593 y(>) 3634 2614 y(>) 3634 2634 y(>) 3634
+2655 y(>) 3634 2676 y(>) 3634 2696 y(>) 3634 2717 y(>) 3634
+2738 y(>) 3634 2758 y(>) 3634 2779 y(>) 3634 2800 y(>) 3634
+2820 y(>) 3634 2841 y(>) 3634 2862 y(>) 3634 2882 y(>) 3634
+2903 y(>) 3634 2924 y(>) 3634 2944 y(>) 3634 2965 y(>) 3634
+2986 y(>) 3634 3006 y(>) 3634 3027 y(>) 3634 3048 y(>) 3634
+3068 y(>) 3634 3089 y(>) 3634 3110 y(>) 3634 3130 y(>) 3634
+3151 y(>) 3634 3172 y(>) 3634 3192 y(>) 3634 3213 y(>) 3634
+3234 y(>) 3634 3254 y(>) 3634 3275 y(>) 3634 3296 y(>) 3634
+3316 y(>) 3634 3337 y(>) 3634 3358 y(>) 3634 3378 y(>) 3634
+3399 y(>) 3634 3420 y(>) 3634 3440 y(;) p Fb 3725 1812
+a(De\014nition) p Black Fd 0 3610 a(</theory>) p Black
+Black 90 rotate dyy eop
+%%Trailer
+end
+userdict /end-hook known{end-hook}if
+%%EOF
diff --git a/helm/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps b/helm/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps
new file mode 100644 (file)
index 0000000..5c84872
--- /dev/null
@@ -0,0 +1,506 @@
+%!PS-Adobe-2.0
+%%Title: KM2002GO_mathweb.ps
+%%Creator: fig2dev Version 3.2 Patchlevel 3c
+%%CreationDate: Wed Apr  3 03:01:28 2002
+%%For: moschm@king (Markus Moschner)
+%%Orientation: Landscape
+%%Pages: 1
+%%BoundingBox: 0 0 595 842
+%%BeginSetup
+%%IncludeFeature: *PageSize A4
+%%EndSetup
+%%Magnification: 0.9200
+%%EndComments
+/$F2psDict 200 dict def
+$F2psDict begin
+$F2psDict /mtrx matrix put
+/col-1 {0 setgray} bind def
+/col0 {0.000 0.000 0.000 srgb} bind def
+/col1 {0.000 0.000 1.000 srgb} bind def
+/col2 {0.000 1.000 0.000 srgb} bind def
+/col3 {0.000 1.000 1.000 srgb} bind def
+/col4 {1.000 0.000 0.000 srgb} bind def
+/col5 {1.000 0.000 1.000 srgb} bind def
+/col6 {1.000 1.000 0.000 srgb} bind def
+/col7 {1.000 1.000 1.000 srgb} bind def
+/col8 {0.000 0.000 0.560 srgb} bind def
+/col9 {0.000 0.000 0.690 srgb} bind def
+/col10 {0.000 0.000 0.820 srgb} bind def
+/col11 {0.530 0.810 1.000 srgb} bind def
+/col12 {0.000 0.560 0.000 srgb} bind def
+/col13 {0.000 0.690 0.000 srgb} bind def
+/col14 {0.000 0.820 0.000 srgb} bind def
+/col15 {0.000 0.560 0.560 srgb} bind def
+/col16 {0.000 0.690 0.690 srgb} bind def
+/col17 {0.000 0.820 0.820 srgb} bind def
+/col18 {0.560 0.000 0.000 srgb} bind def
+/col19 {0.690 0.000 0.000 srgb} bind def
+/col20 {0.820 0.000 0.000 srgb} bind def
+/col21 {0.560 0.000 0.560 srgb} bind def
+/col22 {0.690 0.000 0.690 srgb} bind def
+/col23 {0.820 0.000 0.820 srgb} bind def
+/col24 {0.500 0.190 0.000 srgb} bind def
+/col25 {0.630 0.250 0.000 srgb} bind def
+/col26 {0.750 0.380 0.000 srgb} bind def
+/col27 {1.000 0.500 0.500 srgb} bind def
+/col28 {1.000 0.630 0.630 srgb} bind def
+/col29 {1.000 0.750 0.750 srgb} bind def
+/col30 {1.000 0.880 0.880 srgb} bind def
+/col31 {1.000 0.840 0.000 srgb} bind def
+/col32 {0.000 0.000 1.000 srgb} bind def
+/col33 {0.000 0.000 0.000 srgb} bind def
+/col34 {0.000 0.000 0.000 srgb} bind def
+/col35 {1.000 0.984 0.475 srgb} bind def
+/col36 {0.937 1.000 0.000 srgb} bind def
+/col37 {0.188 0.396 1.000 srgb} bind def
+/col38 {1.000 0.286 0.286 srgb} bind def
+/col39 {0.000 0.000 1.000 srgb} bind def
+/col40 {1.000 0.984 0.475 srgb} bind def
+/col41 {0.937 1.000 0.000 srgb} bind def
+/col42 {0.188 0.396 1.000 srgb} bind def
+/col43 {1.000 0.286 0.286 srgb} bind def
+/col44 {0.000 0.000 1.000 srgb} bind def
+/col45 {1.000 0.984 0.475 srgb} bind def
+/col46 {0.937 1.000 0.000 srgb} bind def
+/col47 {0.188 0.396 1.000 srgb} bind def
+/col48 {1.000 0.286 0.286 srgb} bind def
+/col49 {0.000 0.000 1.000 srgb} bind def
+/col50 {1.000 0.984 0.475 srgb} bind def
+/col51 {0.937 1.000 0.000 srgb} bind def
+/col52 {0.188 0.396 1.000 srgb} bind def
+/col53 {1.000 0.286 0.286 srgb} bind def
+/col54 {0.000 0.000 1.000 srgb} bind def
+/col55 {1.000 0.984 0.475 srgb} bind def
+/col56 {0.937 1.000 0.000 srgb} bind def
+/col57 {0.188 0.396 1.000 srgb} bind def
+/col58 {1.000 0.286 0.286 srgb} bind def
+/col59 {0.000 0.000 1.000 srgb} bind def
+/col60 {1.000 0.984 0.475 srgb} bind def
+/col61 {0.937 1.000 0.000 srgb} bind def
+/col62 {0.188 0.396 1.000 srgb} bind def
+/col63 {1.000 0.286 0.286 srgb} bind def
+/col64 {0.000 0.000 1.000 srgb} bind def
+/col65 {1.000 0.984 0.475 srgb} bind def
+/col66 {0.937 1.000 0.000 srgb} bind def
+/col67 {0.188 0.396 1.000 srgb} bind def
+/col68 {1.000 0.286 0.286 srgb} bind def
+/col69 {0.000 0.000 1.000 srgb} bind def
+/col70 {1.000 0.984 0.475 srgb} bind def
+/col71 {0.937 1.000 0.000 srgb} bind def
+/col72 {0.188 0.396 1.000 srgb} bind def
+/col73 {1.000 0.286 0.286 srgb} bind def
+/col74 {0.000 0.000 1.000 srgb} bind def
+/col75 {1.000 0.984 0.475 srgb} bind def
+/col76 {0.937 1.000 0.000 srgb} bind def
+/col77 {0.188 0.396 1.000 srgb} bind def
+/col78 {1.000 0.286 0.286 srgb} bind def
+/col79 {0.000 0.000 1.000 srgb} bind def
+/col80 {1.000 0.984 0.475 srgb} bind def
+/col81 {0.937 1.000 0.000 srgb} bind def
+/col82 {0.188 0.396 1.000 srgb} bind def
+/col83 {1.000 0.286 0.286 srgb} bind def
+/col84 {0.000 0.000 1.000 srgb} bind def
+/col85 {1.000 0.984 0.475 srgb} bind def
+/col86 {0.937 1.000 0.000 srgb} bind def
+/col87 {0.188 0.396 1.000 srgb} bind def
+/col88 {1.000 0.286 0.286 srgb} bind def
+/col89 {0.000 0.000 1.000 srgb} bind def
+/col90 {1.000 0.984 0.475 srgb} bind def
+/col91 {0.937 1.000 0.000 srgb} bind def
+/col92 {0.188 0.396 1.000 srgb} bind def
+/col93 {1.000 0.286 0.286 srgb} bind def
+
+end
+save
+newpath 0 842 moveto 0 0 lineto 595 0 lineto 595 842 lineto closepath clip newpath
+18.5 51.0 translate
+ 90 rotate
+1 -1 scale
+
+/cp {closepath} bind def
+/ef {eofill} bind def
+/gr {grestore} bind def
+/gs {gsave} bind def
+/sa {save} bind def
+/rs {restore} bind def
+/l {lineto} bind def
+/m {moveto} bind def
+/rm {rmoveto} bind def
+/n {newpath} bind def
+/s {stroke} bind def
+/sh {show} bind def
+/slc {setlinecap} bind def
+/slj {setlinejoin} bind def
+/slw {setlinewidth} bind def
+/srgb {setrgbcolor} bind def
+/rot {rotate} bind def
+/sc {scale} bind def
+/sd {setdash} bind def
+/ff {findfont} bind def
+/sf {setfont} bind def
+/scf {scalefont} bind def
+/sw {stringwidth} bind def
+/tr {translate} bind def
+/tnt {dup dup currentrgbcolor
+  4 -2 roll dup 1 exch sub 3 -1 roll mul add
+  4 -2 roll dup 1 exch sub 3 -1 roll mul add
+  4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
+  bind def
+/shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
+  4 -2 roll mul srgb} bind def
+/reencdict 12 dict def /ReEncode { reencdict begin
+/newcodesandnames exch def /newfontname exch def /basefontname exch def
+/basefontdict basefontname findfont def /newfont basefontdict maxlength dict def
+basefontdict { exch dup /FID ne { dup /Encoding eq
+{ exch dup length array copy newfont 3 1 roll put }
+{ exch newfont 3 1 roll put } ifelse } { pop pop } ifelse } forall
+newfont /FontName newfontname put newcodesandnames aload pop
+128 1 255 { newfont /Encoding get exch /.notdef put } for
+newcodesandnames length 2 idiv { newfont /Encoding get 3 1 roll put } repeat
+newfontname newfont definefont pop end } def
+/isovec [
+8#055 /minus 8#200 /grave 8#201 /acute 8#202 /circumflex 8#203 /tilde
+8#204 /macron 8#205 /breve 8#206 /dotaccent 8#207 /dieresis
+8#210 /ring 8#211 /cedilla 8#212 /hungarumlaut 8#213 /ogonek 8#214 /caron
+8#220 /dotlessi 8#230 /oe 8#231 /OE
+8#240 /space 8#241 /exclamdown 8#242 /cent 8#243 /sterling
+8#244 /currency 8#245 /yen 8#246 /brokenbar 8#247 /section 8#250 /dieresis
+8#251 /copyright 8#252 /ordfeminine 8#253 /guillemotleft 8#254 /logicalnot
+8#255 /hyphen 8#256 /registered 8#257 /macron 8#260 /degree 8#261 /plusminus
+8#262 /twosuperior 8#263 /threesuperior 8#264 /acute 8#265 /mu 8#266 /paragraph
+8#267 /periodcentered 8#270 /cedilla 8#271 /onesuperior 8#272 /ordmasculine
+8#273 /guillemotright 8#274 /onequarter 8#275 /onehalf
+8#276 /threequarters 8#277 /questiondown 8#300 /Agrave 8#301 /Aacute
+8#302 /Acircumflex 8#303 /Atilde 8#304 /Adieresis 8#305 /Aring
+8#306 /AE 8#307 /Ccedilla 8#310 /Egrave 8#311 /Eacute
+8#312 /Ecircumflex 8#313 /Edieresis 8#314 /Igrave 8#315 /Iacute
+8#316 /Icircumflex 8#317 /Idieresis 8#320 /Eth 8#321 /Ntilde 8#322 /Ograve
+8#323 /Oacute 8#324 /Ocircumflex 8#325 /Otilde 8#326 /Odieresis 8#327 /multiply
+8#330 /Oslash 8#331 /Ugrave 8#332 /Uacute 8#333 /Ucircumflex
+8#334 /Udieresis 8#335 /Yacute 8#336 /Thorn 8#337 /germandbls 8#340 /agrave
+8#341 /aacute 8#342 /acircumflex 8#343 /atilde 8#344 /adieresis 8#345 /aring
+8#346 /ae 8#347 /ccedilla 8#350 /egrave 8#351 /eacute
+8#352 /ecircumflex 8#353 /edieresis 8#354 /igrave 8#355 /iacute
+8#356 /icircumflex 8#357 /idieresis 8#360 /eth 8#361 /ntilde 8#362 /ograve
+8#363 /oacute 8#364 /ocircumflex 8#365 /otilde 8#366 /odieresis 8#367 /divide
+8#370 /oslash 8#371 /ugrave 8#372 /uacute 8#373 /ucircumflex
+8#374 /udieresis 8#375 /yacute 8#376 /thorn 8#377 /ydieresis] def
+/Helvetica-Bold /Helvetica-Bold-iso isovec ReEncode
+/Helvetica-Narrow-Bold /Helvetica-Narrow-Bold-iso isovec ReEncode
+/Helvetica-Narrow /Helvetica-Narrow-iso isovec ReEncode
+/Times-Bold /Times-Bold-iso isovec ReEncode
+/Times-Roman /Times-Roman-iso isovec ReEncode
+ /DrawEllipse {
+       /endangle exch def
+       /startangle exch def
+       /yrad exch def
+       /xrad exch def
+       /y exch def
+       /x exch def
+       /savematrix mtrx currentmatrix def
+       x y tr xrad yrad sc 0 0 1 startangle endangle arc
+       closepath
+       savematrix setmatrix
+       } def
+
+/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
+/$F2psEnd {$F2psEnteredState restore end} def
+
+$F2psBegin
+%%Page: 1 1
+10 setmiterlimit
+ 0.05795 0.05795 sc
+%%Page: 1 1
+%
+% Fig objects follow
+%
+% Polyline
+15.000 slw
+gs  clippath
+8373 6383 m 8432 6401 l 8480 6237 l 8416 6347 l 8421 6220 l cp
+eoclip
+n 8407 6378 m
+ 8870 4811 l gs col0 s gr gr
+
+% arrowhead
+n 8421 6220 m 8416 6347 l 8480 6237 l 8421 6220 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+gs  clippath
+4886 4227 m 4886 4288 l 5056 4288 l 4933 4258 l 5056 4227 l cp
+8329 4288 m 8329 4227 l 8159 4227 l 8282 4258 l 8159 4288 l cp
+eoclip
+n 8314 4258 m
+ 4901 4258 l gs col0 s gr gr
+
+% arrowhead
+n 8159 4288 m 8282 4258 l 8159 4227 l 8159 4288 l  cp gs 0.00 setgray ef gr  col0 s
+% arrowhead
+n 5056 4227 m 4933 4258 l 5056 4288 l 5056 4227 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+30.000 slw
+ [45] 0 sd
+n 6927 7861 m
+ 7670 7300 l gs col0 s gr  [] 0 sd
+% Polyline
+15.000 slw
+gs  clippath
+6770 2849 m 6712 2870 l 6770 3030 l 6758 2904 l 6828 3009 l cp
+8015 6495 m 8073 6474 l 8015 6314 l 8028 6441 l 7957 6335 l cp
+eoclip
+n 8039 6471 m
+ 6747 2874 l gs col0 s gr gr
+
+% arrowhead
+n 7957 6335 m 8028 6441 l 8015 6314 l 7957 6335 l  cp gs 0.00 setgray ef gr  col0 s
+% arrowhead
+n 6828 3009 m 6758 2904 l 6770 3030 l 6828 3009 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+gs  clippath
+6130 2612 m 6093 2563 l 5957 2667 l 6074 2617 l 5995 2716 l cp
+4503 3781 m 4540 3830 l 4676 3726 l 4560 3777 l 4638 3677 l cp
+eoclip
+n 4534 3797 m
+ 6100 2597 l gs col0 s gr gr
+
+% arrowhead
+n 4638 3677 m 4560 3777 l 4676 3726 l 4638 3677 l  cp gs 0.00 setgray ef gr  col0 s
+% arrowhead
+n 5995 2716 m 6074 2617 l 5957 2667 l 5995 2716 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+gs  clippath
+8582 3829 m 8623 3784 l 8498 3668 l 8568 3775 l 8456 3713 l cp
+7309 2564 m 7268 2609 l 7393 2725 l 7324 2619 l 7435 2680 l cp
+eoclip
+n 7300 2597 m
+ 8592 3797 l gs col0 s gr gr
+
+% arrowhead
+n 7435 2680 m 7324 2619 l 7393 2725 l 7435 2680 l  cp gs 0.00 setgray ef gr  col0 s
+% arrowhead
+n 8456 3713 m 8568 3775 l 8498 3668 l 8456 3713 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+gs  clippath
+7664 6689 m 7699 6639 l 7559 6542 l 7643 6638 l 7524 6593 l cp
+4721 4592 m 4686 4642 l 4826 4739 l 4743 4644 l 4861 4688 l cp
+eoclip
+n 4716 4626 m
+ 7670 6656 l gs col0 s gr gr
+
+% arrowhead
+n 4861 4688 m 4743 4644 l 4826 4739 l 4861 4688 l  cp gs 0.00 setgray ef gr  col0 s
+% arrowhead
+n 7524 6593 m 7643 6638 l 7559 6542 l 7524 6593 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+ [60] 0 sd
+gs  clippath
+2671 2365 m 2672 2458 l 2887 2457 l 2703 2412 l 2887 2364 l cp
+eoclip
+n 2687 2412 m
+ 5916 2400 l gs col0 s gr gr
+ [] 0 sd
+% arrowhead
+7.500 slw
+n 2887 2364 m 2703 2412 l 2887 2457 l 2887 2364 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+15.000 slw
+ [60] 0 sd
+gs  clippath
+6024 2089 m 6024 1996 l 5808 1996 l 5993 2043 l 5808 2089 l cp
+eoclip
+n 2687 2043 m
+ 6009 2043 l gs col0 s gr gr
+ [] 0 sd
+% arrowhead
+7.500 slw
+n 5808 2089 m 5993 2043 l 5808 1996 l 5808 2089 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+30.000 slw
+ [45] 0 sd
+n 2880 5165 m
+ 3623 4604 l gs col0 s gr  [] 0 sd
+% Polyline
+ [45] 0 sd
+n 9054 6930 m
+ 10253 6930 l gs col0 s gr  [] 0 sd
+% Polyline
+ [90] 0 sd
+n 10170 3780 m
+ 9630 3960 l gs col0 s gr  [] 0 sd
+% Polyline
+ [90] 0 sd
+gs  clippath
+4455 7304 m 4284 7247 l 4179 7562 l 4350 7335 l 4349 7619 l cp
+eoclip
+n 4320 4815 m 4320 7425 l
+ 4365 7290 l gs col0 s gr gr
+ [] 0 sd
+% arrowhead
+n 4349 7619 m 4350 7335 l 4179 7562 l 4236 7676 l 4349 7619 l 
+ cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+45.000 slw
+gs  clippath
+11356 3729 m 11237 3711 l 11200 3956 l 11285 3803 l 11319 3975 l cp
+eoclip
+n 11295 3735 m
+ 11205 4320 l gs col0 s gr gr
+
+% arrowhead
+n 11319 3975 m 11285 3803 l 11200 3956 l 11319 3975 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+75.000 slw
+n 10584 4410 m 10389 4410 10389 5635 195 arcto 4 {pop} repeat
+  10389 5830 12045 5830 195 arcto 4 {pop} repeat
+  12240 5830 12240 4605 195 arcto 4 {pop} repeat
+  12240 4410 10584 4410 195 arcto 4 {pop} repeat
+ cp gs col18 s gr 
+% Polyline
+45.000 slw
+gs  clippath
+1411 2964 m 1292 2946 l 1255 3191 l 1340 3038 l 1374 3210 l cp
+eoclip
+n 1350 2970 m
+ 1260 3555 l gs col0 s gr gr
+
+% arrowhead
+n 1374 3210 m 1340 3038 l 1255 3191 l 1374 3210 l  cp gs 0.00 setgray ef gr  col0 s
+% Polyline
+75.000 slw
+n 684 3627 m 519 3627 519 4634 165 arcto 4 {pop} repeat
+  519 4799 1881 4799 165 arcto 4 {pop} repeat
+  2046 4799 2046 3792 165 arcto 4 {pop} repeat
+  2046 3627 684 3627 165 arcto 4 {pop} repeat
+ cp gs col18 s gr 
+/Times-Bold-iso ff 480.00 scf sf
+4005 720 m
+gs 1 -1 sc (MBase  within  MathWeb) col0 sh gr
+/Times-Roman-iso ff 270.00 scf sf
+9810 9135 m
+gs 1 -1 sc (MS = Metaservice) col0 sh gr
+/Times-Roman-iso ff 270.00 scf sf
+10603 5271 m
+gs 1 -1 sc (Knowledge) col20 sh gr
+/Times-Roman-iso ff 270.00 scf sf
+10603 4832 m
+gs 1 -1 sc (Distribution) col20 sh gr
+/Times-Roman-iso ff 270.00 scf sf
+10620 5580 m
+gs 1 -1 sc (Management) col20 sh gr
+/Times-Roman-iso ff 270.00 scf sf
+658 4067 m
+gs 1 -1 sc (Metadata) col20 sh gr
+/Times-Roman-iso ff 270.00 scf sf
+658 4506 m
+gs 1 -1 sc (Education) col20 sh gr
+% Polyline
+15.000 slw
+n 11581 6390 m 9810 6390 l 9810 7740 l 11581 7740 l
+ cp gs col31 0.70 tnt ef gr gs col0 s gr 
+% Polyline
+n 7920 7875 m 6149 7875 l 6149 9225 l 7920 9225 l
+ cp gs col31 0.70 tnt ef gr gs col0 s gr 
+% Polyline
+n 3735 5175 m 1964 5175 l 1964 6525 l 3735 6525 l
+ cp gs col12 0.70 tnt ef gr gs col0 s gr 
+% Polyline
+n 3825 7425 m 3555 7425 3555 8726 270 arcto 4 {pop} repeat
+  3555 8996 4856 8996 270 arcto 4 {pop} repeat
+  5126 8996 5126 7695 270 arcto 4 {pop} repeat
+  5126 7425 3825 7425 270 arcto 4 {pop} repeat
+ cp gs col11 0.70 tnt ef gr gs col0 s gr 
+% Polyline
+n 1386 1395 m 1116 1395 1116 2696 270 arcto 4 {pop} repeat
+  1116 2966 2417 2966 270 arcto 4 {pop} repeat
+  2687 2966 2687 1665 270 arcto 4 {pop} repeat
+  2687 1395 1386 1395 270 arcto 4 {pop} repeat
+ cp gs col46 0.70 tnt ef gr gs col0 s gr 
+% Polyline
+n 11970 2430 m 10199 2430 l 10199 3780 l 11970 3780 l
+ cp gs col46 0.70 tnt ef gr gs col0 s gr 
+% Ellipse
+n 6615 2250 738 554 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr
+
+% Ellipse
+n 4215 4272 738 554 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr
+
+% Ellipse
+n 9044 4272 738 554 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr
+
+% Ellipse
+n 8314 6931 738 554 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr
+
+/Helvetica-Bold-iso ff 270.00 scf sf
+5271 4166 m
+gs 1 -1 sc (forward request) col0 sh gr
+/Helvetica-Bold-iso ff 270.00 scf sf
+4163 4349 m
+gs 1 -1 sc (Broker) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Bold-iso ff 270.00 scf sf
+9054 4349 m
+gs 1 -1 sc (Broker) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Bold-iso ff 270.00 scf sf
+3517 2690 m
+gs 1 -1 sc (accept/deny) col0 sh gr
+/Helvetica-Bold-iso ff 270.00 scf sf
+3794 1859 m
+gs 1 -1 sc (request) col0 sh gr
+/Helvetica-Bold-iso ff 270.00 scf sf
+8314 7024 m
+gs 1 -1 sc (Broker) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Bold-iso ff 270.00 scf sf
+5271 4811 m
+gs 1 -1 sc  325.0 rot (\(un-\)register) col0 sh gr
+/Helvetica-Bold-iso ff 255.00 scf sf
+6615 2025 m
+gs 1 -1 sc (Broker) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Narrow-Bold-iso ff 255.00 scf sf
+6615 2340 m
+gs 1 -1 sc (Mosh) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Narrow-Bold-iso ff 255.00 scf sf
+6615 2655 m
+gs 1 -1 sc (\(Oz\)) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+6975 8415 m
+gs 1 -1 sc (TPS) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+11070 3150 m
+gs 1 -1 sc (MBase) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Symbol ff 330.00 scf sf
+2362 5673 m
+gs 1 -1 sc (W) col-1 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+2598 5673 m
+gs 1 -1 sc (mega) col-1 sh gr
+/Symbol ff 330.00 scf sf
+10199 6929 m
+gs 1 -1 sc (W) col-1 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+10476 6929 m
+gs 1 -1 sc (mega) col-1 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+10530 7425 m
+gs 1 -1 sc (MS) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+2745 6165 m
+gs 1 -1 sc (Client) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+4095 8190 m
+gs 1 -1 sc (CAS) col0 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+7020 8820 m
+gs 1 -1 sc (MS) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+1890 1755 m
+gs 1 -1 sc (Active) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+1890 2115 m
+gs 1 -1 sc (math) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+1890 2430 m
+gs 1 -1 sc (Client) dup sw pop 2 div neg 0 rm  col0 sh gr
+/Helvetica-Narrow-iso ff 270.00 scf sf
+1890 2790 m
+gs 1 -1 sc (\(XMLRPC\)) dup sw pop 2 div neg 0 rm  col0 sh gr
+$F2psEnd
+rs
+showpage
index e02a683cdd8062b8b21108454e3f087c874c2f97..5fd4d3e430a8edd1de82dd635c7f49a91cd7ffb5 100644 (file)
@@ -9,13 +9,19 @@
  <!ATTLIST entry
            author CDATA #IMPLIED>
 
- <!ELEMENT presentation (#PCDATA|ul)*>
+ <!ELEMENT presentation (slides*,description)>
  <!ATTLIST presentation
            media (blackboard|slides) #REQUIRED
-           slides CDATA #IMPLIED
            site CDATA #REQUIRED
            author CDATA #REQUIRED>
 
+ <!ELEMENT description (#PCDATA|ul)*>
+
+ <!ELEMENT slides (#PCDATA)>
+ <!ATTLIST slides
+           file   CDATA #REQUIRED
+           format (PowerPoint|PS|PDF) #REQUIRED>
+
  <!ELEMENT participant (#PCDATA)>
  <!ATTLIST participant
            site CDATA #REQUIRED
  <participant site="aei" file="weyher"/>
  <participant site="aei" file="pollney"/>
  <presentation site="bologna" author="asperti" media="blackboard">
-  A comparison of the aims and approaches of HELM and OpenMath.
+  <description>
+   A comparison of the aims and approaches of HELM and OpenMath.
+  </description>
  </presentation>
- <presentation site="inria" author="pottier"
-  media="slides" slides="kick-off/lemme2.ppt">
-  Presentation of the work of Sophia-Antipolis: Project Lemme;
-  PCoq (an interface to the Coq system based on Aioli [for tree management],
-  PPML [a sort of stylesheet language] and Figue [rendering engine]).
+ <presentation site="inria" author="pottier" media="slides">
+  <slides file="kick-off/lemme2.ppt" format="PowerPoint"/>
+  <description>
+   Presentation of the work of Sophia-Antipolis: Project Lemme;
+   PCoq (an interface to the Coq system based on Aioli [for tree management],
+   PPML [a sort of stylesheet language] and Figue [rendering engine]).
+  </description>
  </presentation>
- <presentation site="inria" author="herbelin"
-  media="slides" slides="kick-off/MoWGLI-LogiCal.ps">
-  Presentation of the work of Rocquencourt: Coq (proof assistant) and its
-  problems:
-  <ul>
-   <li>Classification of theories:
-    <ul>
-     <li>Actually based only on the affiliation of the author.</li>
-     <li>We should have classifications based on subject, theme, author, etc.</li>
-    </ul>
-   </li>
-   <li>Retrieving:
-    <ul>
-     <li>By pattern. Problem: the patterns (n &lt; m+1) and (n &lt;= m) are
-         differents but denote the same thing.</li>
-     <li>By isomorphisms. Problem: we can capture just a few of them.</li>
-    </ul>
-   </li>
-   <li>Proof Rendering in Natural Language: still too many detailed.
-       Views at different levels of detail can probably help.
-   </li>
-   <li>Modularity</li>
-  </ul>
+ <presentation site="inria" author="herbelin" media="slides">
+  <slides file="kick-off/MoWGLI-LogiCal.ps" format="PS"/>
+  <description>
+   Presentation of the work of Rocquencourt: Coq (proof assistant) and its
+   problems:
+   <ul>
+    <li>Classification of theories:
+     <ul>
+      <li>Actually based only on the affiliation of the author.</li>
+      <li>We should have classifications based on subject, theme, author, etc.</li>
+     </ul>
+    </li>
+    <li>Retrieving:
+     <ul>
+      <li>By pattern. Problem: the patterns (n &lt; m+1) and (n &lt;= m) are
+          differents but denote the same thing.</li>
+      <li>By isomorphisms. Problem: we can capture just a few of them.</li>
+     </ul>
+    </li>
+    <li>Proof Rendering in Natural Language: still too many detailed.
+        Views at different levels of detail can probably help.
+    </li>
+    <li>Modularity</li>
+   </ul>
+  </description>
  </presentation>
  <presentation site="nijmegen" author="geuvers" media="slides">
-  Presentation of the work of Nijmegen; why Nijmegen is interested in MOWGLI;
-  planned contributions to MOWGLI.
+  <description>
+   Presentation of the work of Nijmegen; why Nijmegen is interested in MOWGLI;
+   planned contributions to MOWGLI.
+  </description>
  </presentation>
  <presentation site="aei" author="wegner" media="blackboard">
-  Presentation of the projects in which he is envolved or that he is
-  coordinating; interest in metadata; problems related to having papers
-  in electronic form. His main contribution will be providing links to
-  mathematicians.
+  <description>
+   Presentation of the projects in which he is envolved or that he is
+   coordinating; interest in metadata; problems related to having papers
+   in electronic form. His main contribution will be providing links to
+   mathematicians.
+  </description>
  </presentation>
- <presentation site="aei" author="schutz"
-  media="slides" slides="kick-off/AIP_Intro.ppt">
-  Presentation of the work done at the Max Planck Institute for Gravitational
-  Physics; presentation of Living Reviews in Relativity and expectations
-  from MOWGLI (i.e. searching, rendering, interoperability). He points out
-  how Living Reviews in  Relativity already provide a notion of versioning;
-  how hyperlinks are managed (often opening pop-ups). He finally presents
-  some data that show that on-line browsing of papers really happens.
+ <presentation site="aei" author="schutz" media="slides">
+  <slides file="kick-off/AIP_Intro.ppt" format="PowerPoint"/>
+  <description>
+   Presentation of the work done at the Max Planck Institute for Gravitational
+   Physics; presentation of Living Reviews in Relativity and expectations
+   from MOWGLI (i.e. searching, rendering, interoperability). He points out
+   how Living Reviews in  Relativity already provide a notion of versioning;
+   how hyperlinks are managed (often opening pop-ups). He finally presents
+   some data that show that on-line browsing of papers really happens.
+  </description>
  </presentation>
  <presentation site="trusted-logic" author="gimenez" media="blackboard">
-  Presentation of the work done at Trusted Logic. Brief introduction to
-  the Common Criteria Software: lot of documentation must be produced for
-  third (and fourth!) parties evaluation; formal evaluation is one goal
-  (not yet reached). The main problems Trusted Logic meets are:
-  <ul>
-   <li>Presentation</li>
-   <li>Managing thousands of definitions/theorems and links between them</li>
-   <li>Evaluators needs: hiding/displaying information; different views on the
-       same proofs/definitions; metadata; backpointers (which lemmas are
-       used in a theorem)</li>
-   <li>Interoperability with other software tools</li>
-   <li>Proofs mantainance</li>
-  </ul>
-  A final remark is that Trusted Logic is just interested in provability
-  (and proof-scripts) and not in proofs (i.e. lambda-terms or natural
-  language description of them).
+  <description>
+   Presentation of the work done at Trusted Logic. Brief introduction to
+   the Common Criteria Software: lot of documentation must be produced for
+   third (and fourth!) parties evaluation; formal evaluation is one goal
+   (not yet reached). The main problems Trusted Logic meets are:
+   <ul>
+    <li>Presentation</li>
+    <li>Managing thousands of definitions/theorems and links between them</li>
+    <li>Evaluators needs: hiding/displaying information; different views on the
+        same proofs/definitions; metadata; backpointers (which lemmas are
+        used in a theorem)</li>
+    <li>Interoperability with other software tools</li>
+    <li>Proofs mantainance</li>
+   </ul>
+   A final remark is that Trusted Logic is just interested in provability
+   (and proof-scripts) and not in proofs (i.e. lambda-terms or natural
+   language description of them).
+  </description>
  </presentation>
  <presentation site="dfki" author="moschner" media="slides">
-  Presentation of the work done at DFKI. Contributions to MOWGLI: OMDoc
-  (to encode mathematical documents) and/or MBase (to distribute mathematical
-  documents) and metadata.
+  <slides file="kick-off/KM2002GO.ps" format="PS">
+   about the "Usability of MBase for MOWGLI"
+  </slides>
+  <slides file="kick-off/KM2002GO_mathweb.ps" format="PS"/>
+  <description>
+   Presentation of the work done at DFKI. Contributions to MOWGLI: OMDoc
+   (to encode mathematical documents) and/or MBase (to distribute mathematical
+   documents) and metadata.
+  </description>
  </presentation>
  <entry author="aei/wegner">
   Whenever someone is going to make a talk, he must report this to him.
index ff6f76d200b47063bb7bef9d2d3783407dca30d9..26a01e014df0e5de58c31412f538a75f19eae83f 100644 (file)
   <xsl:text>): </xsl:text>
   <xsl:if test="@media = 'slides'">
    <xsl:choose>
-    <xsl:when test="@slides">
-     <xsl:text>[</xsl:text>
-     <a href="../../misc/{@slides}">
-      <xsl:text>Get the slides</xsl:text>
-     </a>
-     <xsl:text>]</xsl:text>
+    <xsl:when test="slides">
+     <xsl:for-each select="slides">
+      <xsl:text>[</xsl:text>
+      <a href="../../misc/{@file}">
+       <xsl:text>Get the slides</xsl:text>
+       <xsl:if test="text()">
+        <xsl:text> </xsl:text>
+        <xsl:value-of select="text()"/>
+       </xsl:if>
+      </a>
+      <xsl:text>]</xsl:text>
+     </xsl:for-each>
     </xsl:when>
     <xsl:otherwise>
      <xsl:text>[slides unavailable]</xsl:text>
   </xsl:if>
  </dt>
  <dd>
-  <xsl:copy-of select="*|text()"/>
+  <xsl:copy-of select="description/*|description/text()"/>
  </dd>
 </xsl:template>