From: Claudio Sacerdoti Coen Date: Fri, 12 Apr 2002 17:16:46 +0000 (+0000) Subject: * New slides from Saarbrucken X-Git-Tag: V_0_3_0_debian_8~161 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=829cefe178cd633bb0c6deb18b29bba3e5e3bc16;p=helm.git * New slides from Saarbrucken * DTD changed --- diff --git a/helm/mowgli/home/misc/kick-off/KM2002GO.ps b/helm/mowgli/home/misc/kick-off/KM2002GO.ps new file mode 100644 index 000000000..51f022e01 --- /dev/null +++ b/helm/mowgli/home/misc/kick-off/KM2002GO.ps @@ -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 +%%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 32 D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fb cmr10 20.74 19 +/Fb 19 122 df<94380FFF804CB512F0041F14FE047F80922701FFFC0113C003079039C0 +003FE0031F90C7EA0FF0DB3FFCEC03F8DBFFF06E7E4A4914004A0180EC07FE4A90C8121F +4A484B7E021F5E4A5A5D147F4A4892B57E7390C7FC495BA349715A4B6F5A735AF101C096 +C9FCB3A296380FFF8095B6FCBCFCA6D8000301C0C8123F8585A285B3B3B3496D4B7FA201 +3F01FC037F13F8007FB600FE90B712FCA6567A7CF960> 12 D +45 D 68 +D 77 D I 83 D 97 D I<1A7E95380FFFFE0503B5FCA6EF0003F0 +007F193FA2191FB3AE923801FFE0031F13FE92B612C0020315F0020F9038E01FF8913A3F +FE0003FEDA7FF8EB007FDAFFE0EC3F9F010349EC0FDF4949EC07FF4948C87E494881013F +824948167F495A193F485B48181F5C5A485BA25AA291CAFC5AA35A5BA312FFAE127FA37F +A27EA37E807EA27E806C183F6C7F197F6C6D16FF137F6D6C5D6D6C4B7F6D6C5D6D6CDB0F +DF7F6D6DDA3F9F13F06D6DDA7F1FEBFFF06D01F0EB01FCDA7FFCEB07F8913A1FFF807FF0 +020790B512C002011500DA003F01FCEDFC00030301C00280C7FC547A7AF760> 100 +D<923807FFC0033F13FC4AB67E020715E0021F01017F913A7FF8003FFCDAFFE0EB0FFE49 +496D7E0107496D7F4990C76C7F49486E7F49488249486F7E01FF163F4A824849151F4884 +5C48717EA2485B1A804883A24890C9FCA21AC05A845BA312FF90BAFCA31A8049CCFCAA12 +7FA27FA27EA36C7FF10380F107C07E6E160F7E6C6DEE1F80A26CF03F006C7F6E167E017F +17FE6D6C5E6D6C4B5A6D6C15036D6D4A5A6D6D4A5A01006DEC3FC0DA7FF802FFC7FCDA1F +FEEB03FE913A0FFFC03FF8020390B55A020015C0031F49C8FC030113F0424F7BCC4D> I< +EB07E0EB1FF8497E497E90B5FC4880A86C91C7FC6D5A6D5A6D5AEB07E090C9FCB3A4EC1F +8048B5FCB6FCA6C6FC131F7FA27FB3B3B3497FA2017F13F0B712F8A625747BF32F> 105 +D 107 D I<023FDA1FFEEE3FFC0003B591B500E04AB512C0B601 +0702FC020F14F8041F6E023F8093283FE01FFF8090397FC03FFF93267F00036D9026FE00 +077F04FC6D9026E001F86D7FDB03F06D9026F007E06D7FC64A48027F49487F011F4A03F8 +49816D49486E6C48C86C7E4BC8143E6D013E031F49153F033CDCFE7882037C17F84B705A +4B6F49151F8C4B5FA34B5FA44B94C9FCB3B3A6496D4B6D4B7EA2017F01F892B500F04AB5 +12E0B7D8FC01B7D8F803B712F0A6844C7ACB8F> I<023FEC1FFE0003B591B512E0B60107 +14FC041F80933A3FE01FFF8093267F00037F04FC6D7FDB03F06D7FC64A48147F011F4A81 +6D49486E7E4BC8FC6D013E151F033C82157C5D4B150F865DA35DA45DB3B3A6496D4B7FA2 +017F01F892B512F0B7D8FC01B712F8A6554C7ACB60> I I<023F +ECFF800003B5010713F0B6011F7F4C13FE9338FF83FF923801FC07922603F00F1380DB07 +E014C0C64B5A011FEB0F806DEB1F00151E6D133E153C037C6D138003786D130003F86D5A +4B6D5A94C8FCA25DA35DA65DB3B3A2497F81017F13FCB87EA63A4C7CCB43> 114 +D 116 D 121 +D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fc cmex7 8.296 4 +/Fc 4 63 df<12F012FCB4FC13C0EA3FE0EA1FF86C7E6C7E6C6C7E6C7F6C7F137F6D7E6D +7E80130F806D7EA26D1380A36D13C0A315E07FB3B21B3E737E46> 57 +D 59 D 61 D I +E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fd cmtt8 10.37 53 +/Fd 53 122 df<001E130F003FEB1F80397F803FC000FF14E0A4007F14C0A9EB001FA36C +1480A5003E130F001CEB07001B1A77B52E> 34 D<007FB612C0A2B712E0A36C15C0A223 +077B9D2E> 45 D<120FEA3FC0EA7FE0A2EAFFF0A4EA7FE0A2EA3FC0EA0F000C0C6F8B2E> +I I I I I<0007B612804815C05AA3168001C0C8 +FCADEBC1FF01CF13E090B512F8818181020113809039F8007FC001E0EB3FE049131F6C48 +EB0FF06CC71207C8FC16F81503A3123E127F487EA2150716F0150F90C7EA1FE06C6C133F +6DEB7FC06C6CEBFF80EBFC076CB612006C14FC6C5C000114E06C6C1380D90FFCC7FC2536 +7CB42E> 53 D 56 D 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 I 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 I 89 D 97 D I<903803FFE0011F13FC017F7F90B6FC48158012071400EA0FF84848EB7F0048 +5A49131C484890C7FC90C9FCA25A5AA77E7E7FED0F806C6CEB1FC07F6C6C133FD80FFCEB +7F803907FF81FF91B5120000015C6C5C6D5B011F13E0010390C7FC22257AA42E> I<9138 +07FF804A7FA480EC001FAAEB07F8EB3FFF4913DF48B6FC5A5A380FFE07381FF801EBE000 +4848137F153F4848131F90C7FCA25A5AA77E7E153F7F003F147F6D13FF6C6C5A6D5A380F +FE0F6CB7FC6C16806C14DF6C149F90383FFE1F90260FF80F130029357DB42E> I I I<16FC903903FC07FF90261FFF9F1380017F90B5FC90 +B712C05A4815BF3A07FE07FE3FD9F801EB1F803B0FF000FF0F00496DC7FC001F8149133F +A56D137F000F92C7FC6D5B6C6C485AEBFE0790B55A5D485C5D01DF1380D9C3FCC8FC01C0 +C9FCA27F7F6CB512F815FF16E04881488148819039E0000FFED87F80EB01FF90C87E00FE +ED3F80A248151FA46C153F007FED7F0001C0495AD83FF0EB07FED81FFEEB3FFC6CB65A6C +5D6C5DC61580011F01FCC7FC010313E02A3A7EA52E> I I I I I<387FFF +F0B57EA47EEA0003B3B3A5007FB612C0B712E0A46C15C023357BB42E> I<3A3FC1FC01FC +3A7FE7FF07FFB6009F138015BF6C91B512C07E0007010FEB0FE001FC13FC9039F807F807 +A201F013F0A201E013E0B33B3FFC0FFC0FFC3B7FFE1FFE1FFEB5393FFF3FFFA23B7FFE1F +FE1FFE3B3FFC0FFC0FFC302581A42E> I<397FF807F839FFFC3FFE91B57E90B67EA26C81 +0001EBF81F9138E00FF01480EC0007A25BA25BB23B7FFFF03FFFC0B56C4813E092B5FCA2 +816C496C13C02B257FA42E> I I<397FF80FF839FFFC7FFE01FDB57E +90B67E826C8100019038F83FF89138C007FCEC80034A6C7E491300498082A21780163FA7 +167F17007F5E6D495AA26E485AECC00F9138F03FF891B55A5E5E01FD91C7FC9038FC7FFC +EC0FF091C9FCAD387FFFF0B57EA46C5B29387FA42E> I 114 D<90383FFE3C48B512FE1207121F5A5AEB +E00738FF00014813005AA26C147C6C91C7FCEA7FF0EBFF806C13FE6CEBFFC0000714F000 +0114FCD8003F7F01007F02031380EC007F007CEC1FC000FE140FA27EA26D131F6DEB7F80 +9038F803FF90B612005D5D5D00F814E026781FFEC7FC22257AA42E> I I<3A7F +F801FFE0486C487FA4007F7F0001EB0007B3A3150F151F6D133F6D13FF6C90B612C017E0 +7F7F6D13E70103010313C02B257FA42E> I<3A3FFF80FFFE4801C17FB51580A26C16006C +01805B3A01F8000FE06D5CA20000141F6D5C137E153F017F91C7FC7FA290381F807EA214 +C0010F5BA214E0903807E1F8A2EB03F15D14F31301ECFBE0A2EB00FF5D147FA25D143FA3 +92C8FCA25C147EA214FE00075BEA1FC1383FE1F813E3EBE7F0131FEBFFE06C5B5C6C90C9 +FCEA07FCEA03F029387EA42E> 121 D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fe cmtt8 16.592 1 +/Fe 1 65 df 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 34 +D 40 +D<127012F8127C7E7E6C7E7F6C7E6C7E6C7E6C7E137E137F6D7E6D7EA26D7E8013076D7E +80130180130080A26E7EA26E7EA281141F81A2140F81A2140781A36E7EA48180A41680A2 +80A616C0B3A31680A65CA21600A45C5DA44A5AA35D140FA25D141FA25D143F5DA24A5AA2 +4AC7FCA25C13015C13035C495A130F5C495AA2495A49C8FC137E5B485A485A485A485A5B +48C9FC123E5A5A1270228978E639> I 44 D I I<181E183E18 +7FA218FFA2EF01FEA218FC1703A218F81707A2EF0FF0A218E0171FA218C0173FA2EF7F80 +A218005FA25F1601A24C5AA25F1607A25F160FA24C5AA25F163FA25F167FA24CC7FCA25E +1501A25E1503A24B5AA25E150FA25E151FA24B5AA25E157FA24BC8FCA25D1401A25D1403 +A24A5AA25D140FA25D141FA24A5AA25D147FA292C9FC5CA2495AA25C1303A25C1307A249 +5AA25C131FA25C133FA2495AA291CAFC5BA25B1201A2485AA25B1207A25B120FA2485AA2 +5B123FA25B127FA248CBFCA25AA2127CA2388978E649> I I<153C157E15FE14031407141F14FF130748B5FCB6FCA2141F13F8EAFE00C7 +FCB3B3B3B04A7E4A7F49B512E0007FB81280A5315C74DB49> I<913807FFC0023F13FC49 +B67E010715E04915F890263FF80713FE903A7FC0007FFF49C7001F7FD801FC6E7F484802 +037FD807E06E7F48486E7F844848157F90C96C7E5A003E707E127E007C1880D87FE08148 +7E7F19C06D81A66C5A6C5A6C485DEA0780CA1480A25F1900A24D5AA260177F604D5A5E60 +4C5B4C5B95C7FC4C5A4C5A4C5A5F4C5A4C5A4B5B4B90C8FCED07FC4B5A4B5A4B5A4B5A93 +C9FC15FE4A5A4A5A4A5A4A48EC07C04A5A4A5A4AC8EA0F8014FC495A495A495A4948151F +4948160049C9FC017E5E495E48B9FC5A5A485F5A5A5AB9FCA260A33A5C79DB49> I<9138 +01FFF0021F13FF91B612E0010315F8010F9038007FFED91FF0EB0FFFD93FC06D7F49C700 +017F01FE6E7FD801F88248486F7E4982D807FC153F01FF828048836E80A66C495C6C90C8 +FC6C485E6C5A90C9FC4D5AA34D5A60A24C5B4C5B604C90C7FC4C5A4C5AEE7FF8923801FF +E0033F5B023FB5C8FC16F816FF17E091C7EA7FF8EE1FFE933807FF80707F04007F84717E +717E84717E19808319C0A219E0A28319F0A2EA07C0EA1FF0487E487EA2487EA319E05FA2 +5B6C4817C05B494B1380003EC9FC003F4C13006C6C5E6D4B5A6C6C15FFD807F85E6C6C4A +5B6CB46C010713C06C01E0011F5BD93FFF017F90C7FC6D90B512FC01075D010115C0D900 +3F91C8FC020113F03C5F7ADB49> I I<01E01670D801FCED03F0D9FF80143F02FEEB07FF91 +B75A606095C7FC17FC5F5F17C094C8FC16FC16E001F091C9FC91CBFCB2ED7FF0913807FF +FE021FEBFFC0027F80903AF1FFC03FF8903AF3FC000FFCD9F7F0EB03FFD9FFC06D7F4A6D +7F49C86C7E5B717E498249151F6C488290C97F170F84A3711380A419C0A5EA1FC0EA3FF0 +127F7F12FF7FA219805B5F5B1900EA7FC0007CC95B007E161F003E5F003F163F606C6C15 +7F6C6C5E6D4B5A6C6C4A5B6C6C4A5B6C6C4A90C7FC6CB4EC1FFED97FC0EB7FFC903A3FFC +03FFF06DB65A0107158001014AC8FC6D6C13F0020790C9FC3A5F79DB49> I I 56 D 58 D<007FBEFCA2BF1280A36C1D006C64D2FCB3A5003FBD12FE4888BF1280 +A36C1D00A2612578B472> 61 D 65 D I<94261FFF80EC03800403 +B500F81407041F02FF140F93B712C0030304F0131F030F9027FE003FFC133F033F01E0D9 +07FE137F92B5C8EAFF80020301F892383FC0FF4A01E0ED0FE14A0180ED07F1023F90C9EA +01FBDA7FFC70B5FC4A4883494983494983495B4949834990CB7E5C013F85494884495A87 +485B481B7F5C5A1C3F485BA21C1F485BA25A91CD120FA35AA299C7FC5BA212FFAE127FA2 +7FA36CF30F80A3807EA26C7F1C1F1D006C7FA26C636E193E7E6C6D197E1C7C6D6C19FC6D +6C61011F19016E4E5A6D7F6D6D4D5A6D6D4D5A6D6D4D5A6D6D4DC7FC6E6C5F6EB417FE02 +0F6DED03FC6E01E0ED07F06E01F8ED1FE0020001FFED7FC0033F01E0903803FF80030F01 +FED93FFEC8FC030390B612F8030016E0041F1580040302FCC9FCDC001F13C0596478E06A +> I I I I<94261FFF80EC03800403B500F81407041F02FF140F93 +B712C0030304F0131F030F9027FE003FFC133F033F01E0D907FE137F92B5C8EAFF800203 +01F892383FC0FF4A01E0ED0FE14A0180ED07F1023F90C9EA01FBDA7FFC70B5FC4A488349 +4983494983495B4949834990CB7E5C013F85494884495A87485B481B7F5C5A1C3F485BA2 +1C1F485BA25A91CD120FA35AA299C8FC5BA212FFAE127F6D053FB712E0A47E96C7ECE000 +6E063F5B755B6C86A26C7FA36C7FA27E807E6C7F80137F6D7E6D7EA26D7F6D7F6D6D5F6D +7F6D6D5FEC7FFE6E6C5F020F01C016FD6E01F0ED03F86E01FC923807F07F020001FF9238 +1FE03F033F01E09138FFC01F030F01FF010FEB800F030391B538FE0007030004F8130304 +1F03E090C8FC040392CAFCDC001F13E0636478E073> I I I 75 D I I I I I I I<912603FFE01470023F01FE14F091 +B6EAC001010315F0010FEDF803499039007FFE07D93FF0EB07FFD97FC00100138F4948EC +3FDF4848C8EA0FFF484881484881484881834848167F003F173F5B181F127F49160FA200 +FF1707A31803A27FA218017FA27F6C7E95C7FC7F6C7E6D7E14E06C13F8ECFF806C14F86C +ECFF806C15F8EEFFC06C16F86C16FF013F16C06D826D16F8010382010082023F81020716 +80DA003F15C01503DB003F14E0040314F0EE003F050713F883050013FC187FF03FFE181F +A2180FF007FF127800F883A484A27EA319FE7EA26C170319FC7FF007F87F6DEE0FF07F6D +EE1FE06DEE3FC06D167F6D6CEDFF80D9BFE04A1300D91FF8EC07FE486CB4EC1FFC010301 +F8EBFFF8486C90B612E0486C6C5D020F92C7FC48010114F848D9000F13C0406478E051> +I<001FBD12F0A5489026F0000191C7001F13F891C8D87FFC140101FCF1007F01F01A1F49 +1A0F491A07491A03A290C91701A3007EF300FCA4007C1C7CA7481C3EA5CA1800B3B3B14D +7E4C7F040F14E00203B97EA55F5D7BDC6A> I I I I<003FB70203B612FEA5D8001F02F0DA00 +7F1480010302C0031F01F8C7FC6D4A6F13C06D91C96C5B6E4EC8FC6E6D5E6E60705E6E6D +5E6E6D4B5A1A1F6E6D5E6E6D4BC9FC6E177E7015FE6F6C5D6F6D495A6F4B5A836F6D495A +6F4B5A71131F6F6D5C6F6D49CAFC6F157E7113FE706C5B70EB81F8F083F07013C770EBE7 +E070EBEFC0F0FF80827091CBFC6082717E8385717F717FA24D7F855F4D7F05FE7F4D6C7E +EE01F84C486C7F04076D7F4D7EDC0FC0804C486C7F727F4C487E047E8104FE6D7F4C147F +4B48814B486E7F03076F7F4C804B48824B486E7F737F4BC8FC037E6F7F03FE6F7F4B167F +4A48834A48707F0207717F5D4A48707F021F717F023F834A48844A6C707F010386010F6D +4C7F013F6D4C800003B500FC041F14F0B76C4AB712F8A5655E7CDD6E> I<01061560010F +15F0491401013EEC03E049EC07C049EC0F804848EC1F004848143E49143C0007157C4848 +5CA248C7485A001E5D003E1403A2003C5D007C140700785DA400F8140F4892C7FCA4D8F1 +F8EC1F80D8F7FEEC7FE0B5ECFFF0028014F8A202C014FC6C80A46C80028014F86C806C90 +C713F06C48EC7FE0D801F8EC1F802E2B6BDF49> 92 D 97 D<14F8EA07FFB5FCA51203EA007FA2133FB3A8EE1FFE4BB512 +E0030F14F8033F14FE923A7FE00FFF809127F9FF00017FDAFBFC9038007FF0DAFFF06E7E +03C0EC0FFC4B6E7E92C86C7E5C4A6F13804A6F13C01AE0197F1AF0A2F13FF8A31AFCA219 +1FA21AFEAB1AFCA2193FA21AF8A2197F1AF0A2F1FFE01AC06E5D6E17804E13006E4B5A6F +4A5ADAEFC04A5ADAE7F04A5ADAC3F8ECFFE0DA81FE01035B9127807FC01F90C7FC4A6CB5 +12FC030F14F0013E0103148090C8D83FF8C8FC47617CDF51> I I<19F8EF07FF94 +B5FCA51703EF007FA2183FB3A8ED7FF80203B51280021F14E0027F14F8903A01FFF007FE +010790388000FF4948C7EA3FFFD91FF8140F49488049481401494880485B4890C9127F48 +173F5B120F485AA2123F5BA2127FA25BA212FFAB127FA27FA2123FA36C7EA2120F6D167F +12076C6C16FF6C6D5C5F6C6D5C6D6C4A7FD93FF8EC1FBFD90FFC91397F3FFF806DB4D901 +FE14FE6D9038E01FFC010090B512F0023F14C0020F1400020001F0ECF80047617BDF51> +I I I I<14F8EA07FFB5FCA51203EA007FA213 +3FB3A893380FFF80047F13F00303B512FC4B14FF92261FF00F7F92263F80037F037EC77F +03F86E7EECF9F0DAFBE06E7EECFFC05D92C8121F855CA25CA35CB3B0496C4B7E48B592B5 +1280B600FE017F14FFA548607BDF51> I<133FEBFFC0487F487FA2487FA66C5BA26C5B6C +5B013FC7FC90C8FCB114F8EA07FFB5FCA51201EA007FA2133FB3B3A7497E48487EB612FC +A51E5D7BDC28> I<153FEDFFC04A13E04A13F0A24A13F8A66E13F0A26E13E06E13C0ED3F +0092C7FCB1ED01F8EC0FFF49B5FCA5EB00031400157F153FB3B3B3A7EA1FC0486CEB7FF0 +487E487EA2EDFFE0A216C04A138001F01400007F5B9038C007FE393FF01FF8000FB55A6C +14C0000191C7FC38001FF8257986DC2D> I<14F8EA07FFB5FCA51203EA007FA2133FB3A9 +94B612C0A5053FEBFC007113E096C7FC18FC4D5A18E04D5A4DC8FC4C5A4C5AEE0FF8EE1F +E04C5A4C5A4CC9FCED03FC4B5A4B7E151FED7FFE92B5FC02F98014FBDAFFF77F03E37F03 +C17F15814AC67F4A6D7E4A6D7E5C707E707F707FA2707F707F707F84177F717E717E8583 +717F8585496C16FC2601FFFE4A13FFB600FC017F14F8A545607CDF4D> I<14F8EA07FFB5 +FCA51203EA007FA2133FB3B3B3B3A7497E48B5FCB612FEA51F607BDF28> I I I I<02F8EB1FFED807FF49B512E0 +B5010F14F8033F14FE923A7FE01FFF809127F9FF00037FDAFBFC010013F00003D9FFF06E +7EC66C01C0EC1FFC4B6E7E6D90C87F4A814A6F13804A6F13C01AE0841AF0A2F17FF8A219 +3F1AFCA4F11FFEABF13FFCA4F17FF8A3F1FFF0A24E13E01AC06E5D6E4B13801A006E4B5A +6F4A5A6F4A5A03F04A5ADAFBF849485ADAF9FE01075B9127F87FC03F90C7FC6FB512FC03 +0F14F0030314809226003FF8C8FC93CAFCB3497E48B5FCB612FEA547577CBB51> I 114 D I<147CA714FCA51301A31303A21307A2130FA2131F133F137F13FF1203000F90B6 +12E0B8FCA426001FFCC8FCB3AB17F8AD010FEC01F080A20107EC03E0806DEC07C0ED800F +6D9038C01F806D9038F07F0091383FFFFE6E5B020713F0020013C02D567DD439> I<02F8 +167CD807FF923803FFFCB5157FA500031601D8007FED003FA2013F161FB3AE183FA3187F +A3011F16FF5F80010F5D943807DFFE6D6CEC0F9F6D6C91393F1FFFC06F01FE14FF010090 +38F003FC6EB512F86E14E0020714809127007FFC00EBFC00483D7BBB51> I I I<007FB500FC010FB512F8A5C66C01E06D1400011F496D13F86D6F13E06D1780 +6D94C7FC6D6D495A6D6D5C027F4A5A6E6C14E06F130F6E6C495A6E6C495A6E018090C8FC +6E147E705A6E13E16EEBF3F86FB45A6F5B5F6F5B8181816F7F834B7F4B7F4B7FED1FDFEE +9FFE92383F0FFFDB7E077FDBFE037F4A487EDA03F8804A486C7F4B6D7E4A486D7E4A4813 +1F023F6E7E4AC77F4A6E7F49486E7F01036F7F010F83011F8301FF8300076D020713FFB6 +00C0011F14FFA5483B7EBA4D> I I<000FB812F818FCA302E0C713F849C75AD81F +F84A13F0494A13E04916C0494A13805E494A13005F90C8485A16FF4B5B4B5B485E003E4A +5B5D4B5B4B90C7FC5EC8485A15FF4A5B5E4A5B5C4A5B4A5B93C8FC4A5A027F157C4A5A5D +495B5B494914FC494914F85D4990C8FC5B495A494814015C485B481603485B4A14074849 +140F48161F4890C8EA3FF0484815FF49140FB9FCA37E363B7CBA41> I I I 126 D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fh cmbx8 16.592 52 +/Fh 52 128 df 44 +D 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 I I 68 D 70 +D<95B500C01578053F02FE15FC0403B700C01301043F04F813074BB800FE130F03079438 +FF801F031FF0E03F037F9126FC003FEBF07F4AB6C70003EBFCFF020702F8DA007FB5FC4A +02C0151F023F91C912074A01FC160191B500F082494A83494A171F494A834991CB7E495B +4949844949844B8490B5FC484A197F1D3F485CA2484A191FA2481C0F92CDFC5AA248491A +07A448765A9AC9FCA25CA2B5FCAE7E070FB912C080A37EA36E93C86C01FCC7FC7EA27E81 +7EA26C80A26C80A26C807F816D7F6D7F6D7F6D806D806D6E94B5FC6D14F86E6D5E6E01FF +5E020F02E0150F6E02F85D0201DAFF8091B6FC6E6C02FC010F13FD031F91B7EAF07F0307 +F0E01F0301F08007DB003F9338FE0001040304F8EB0038DC003F038091C8FC050002F0CB +FC726277DF84> I 73 +D 76 +D 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 I<92267FFF8014780207B500FC14FC023F9138FF800191B7EAE0 +030103EEFC07010FEEFE1F49D9E001EBFFBF017F90C7000F13FFD9FFF8140148496E7E48 +01C0151F484981844890C91201485A84003F187F49173FA2007F181FA2190F12FF19077F +A27F190380808002F8705A6E93C8FC6CEBFF8015F0EDFF8016FC6CEDFFE017FF6C17F018 +FE6C717E6C18E019F86C846C18FF6C856D846D84010F846D840101846D7E021F831403DA +003F821501DB000F1680EE007F050315C0EF007F180F18037214E08485007E84B484A285 +A3857F1BC0A37F1B806D5F7F1B006D5F6D6001FF4D5A6E167F02E04C5A02F84B5B02FF03 +075B03F0021F5B9226FFC001B55A01F791B7C7FC01E117FCD9807F5ED9001F16E0480103 +168048D9003F02FCC8FC0078020014804B6277DF5E> I<001FBE12F8A6481DFC92C7003F +49C7FC02F0190F02C0190391C81700491B7F491B3F491B1F491B0FA2491B07007F1DFE49 +1B03A4491B01A648C9F000FFA5CA1900B3B3B00207BA12F0A7685C7ADB75> I I 87 +D<003FB800C0011FB712E0A7D8000192C9001F01FCC8FC6D6F030113C06E606E6E4B5B71 +4B90C9FC6E6E5E6E4E5A6E6E153F6E6E4B5A714B5A6E6E5E6E4D5B6F6E5B72495B6F6E49 +90CAFC6F5F6F6E495A6F6E495A72137F6F4C5A6F6E485B6F02FF5C07835B7014C77002CF +90CBFC70ECFFFE705D6282705D705D62705D83718086718083718071808671805F4D814D +814D81A24D81DD7FF78005FF814C13E34C01C1800680804C49814C6E804C487F4C486D80 +4D6D804C488204FF804B496D804B496D804D824B90C8814B824B486F804B48844C6F804B +488103FF70804A496F804A49844C6F804A90CAFC4A487180021F874A4871804A48834B71 +800107B57180B8033FB812E0A7735E7ADD7F> I I<0203B5FC027F14F80103B7FC010F16C0 +013F16F04916FC90B5D8000F7F4801F801016D7E6E6D80486D023F7F83486D82717FA271 +7FA3717F6C5BA26C5B6C5B6D5AEB0F8090C9FCA2043FB5FC031FB6FC0203B7FC143F49B8 +FC010715E3011FECF003017FEBFE0048B512F04814C04891C7FC4813FC485B485B5C5A5C +B5FC5CA45FA2806C5E6E5C5F6C6DEC7F7F6C6D02FFEBFFC06C01FED907FEECFFE06C9028 +FFC03FFC3F14F06C91B512F86CEEE01F6C6C4B7E010FED0003010102F8D9007F13E0D900 +0F01C091C8FC4C407BBE52> 97 D<90380FFF80B6FCA712017E7FB3A6EFFFFC041FEBFF +C093B612F8038315FF038F16C003BF8292B5C66C13F804F0010F7F04C001037F93C87F4B +6F7F03F86F7F4B6F7F4B834B8187A2737FA287A2737FA41C80AC1C00A44F5BA363A24F5B +A26F4B5B6F5F6F5D6F4B5B6F92B55A6F4A91C7FC04C001075B02FC01F0011F5BDB7FFE90 +B512F0DAF81FB75A4A6C1680DAE0034BC8FC4AC615F04A011F148090C8000301F0C9FC51 +617ADF5E> I<92380FFFF892B612C0020F15F8023F15FE91B81280010317C04917E0011F +DA000F13F04901F87F4901E04913F890B55A4891C74813FC5A5C485B5A5C5A7113F8485B +7113F07113E0487013C04A9138003E0095C7FCA2B5FCAD7E80A37E806C18FCF001FE6C7F +18036C6D16FC6E15076C6EEC0FF86C6E141F6C6EEC3FF06D6DEC7FE06D01FEEB01FF6D90 +26FFC01F13C06D91B612800103EEFE0001005E023F15F0020F15C002014AC7FCDA000F13 +E03F407ABE4B> I I<92380FFFE04AB512FE020FECFFC0023F15F091B712FC01038249D9FE017F011F90 +26F0001F7F49496D7F49018001037F90B5C76C7F48496E7F484982187F48498248173F85 +484981A2481980A25C4883A21AC0A2B5FCA291B9FCA51A8002E0CBFCA47EA280A27EA27E +6EEE1F806CF03FC0A26C7F6E167F6CF0FF806C6D5D6C6E4A13006D01E04A5A6D6DEC1FFC +6D01FE147F6D903AFFC007FFF8010391B612E06D5F6D6C5E021F4BC7FC020315F0DA007F +14C0030301F8C8FC42407BBE4D> I I I<90380FFF80B6FCA712017E7FB3A6 +94381FFF8094B512F8040714FE041F6E7E047F8193B77E0381D9E01F7F0387D9000F7FDB +8FF87FDB9FF06D7F16C0DBBF808103FFC7FC4B804B825DA25DA25DA35DB3AFB7D8E003B7 +1280A7516078DF5E> I I<903807FF80B6FCA712017E7FB3A795B612E0A7061FEBF00097C7FC4E +5A4E5A943801FFF04D5B050F5B4D90C8FC4D5AEFFFFC4C13F04C5B040F13804C90C9FC4C +5AEEFFF803815B03837F038F7F039F7F92B6FC8484A284043F7FDBFC1F7F4B6C7F4B6C7F +03C0804B6C804B6C8082717F717F717F717F717F857180718083727F727F727F727F1AFF +B76C90B612FEA74F607ADF59> 107 D<903807FF80B6FCA712017E7FB3B3B3B3A7B712C0 +A7226078DF2F> I I I<923807FFF092B67E +020715F0021F15FC91B87E49830107DA007F13F04901F001077F4901C001017F017F496D +13FF90B5C86C7F4A8148496F7F48496F7F4885A248496F7FA24885A248496F7FA34885A4 +B51980AC6C1A00A46C6D4B5BA26C61A26E5D6C616C616E5D6C6D4B5B6C6D4B5B6C6E91B5 +5A6D6D4991C7FC6D01F001075B6D01FE013F5B6D90B75A010317E001001780023F4BC8FC +020F15F802001580030701F0C9FC49407BBE54> I<90260FFF80EB7FFEB6010FB512E004 +7F14FC0381B7FC038716C0039F16F092B87EDD007F13FE000103F0010F7F6C03C06D806D +91C700018003FC804B6F7F4B834B6F7F4B81878587A28587A4731480AC1C0061A363A261 +63A24F5BA26F4B5B6F4B5B816F92B55A6F4A5C6F4A91C7FC04C0010F5B04F0013F5BDCFE +01B512F003DFB75A03CF168003C34BC8FC03C015F0041F1480040301F0C9FC93CCFCB3B7 +12E0A751597ABD5E> I 114 +D<913A3FFFC007800103B538FC1FC0011F91B5FC137F48B8FC48EBF0004890C7121FD80F +FC140748481401484880A24848157FA2173F12FFA27F7F6DED1F8001FF92C7FC14E0ECFF +8015FE6CECFFF016FE6C6F7E17E06C16F86C826C826C826C17806C6C16C0011F16E00107 +16F01300020F15F8EC003F1500041F13FC1603007E81B481177F173F6D151FA27F18F87F +A26DED3FF07F6DED7FE06D15FF6D6C4913C002E00107138002FC017F130091B65A5F01CF +15F0010315C048C66C91C7FC0078010F13E036407ABE43> I I<902607FFC0ED1FFFB60203B6FCA7 +0001EE00076C836D82B3B060A360A2607F60606D6D4A80DD01FE806D01F8D907FCECFF80 +6D01FEEB3FF86D90B65A6D5E6D6C1580021F5D020714F8DA003F01C002F8C7FC513F78BD +5E> I I I<007FB600C0027FB51280A7D8003F01F0C80007EBC000070190C7FC +6D6D4B5AA26D6D4B5AA26D6D4B5AA26D6D4B5AA26D6E4A5AA26D6E4A5AA26E6D4A5AA26E +6D4990C8FCA26E6D495AA26E6D495AA26E6D495AA26E6D495AA26E6E485AA26E6E485AA2 +6F6D485AA26F01F190C9FCA26FEBFBFEA26FEBFFFCA26F5CA26F5CA26F5CA26F5CA2705B +A27090CAFCA2705AA2705AA25FA24C5AA24C5AEA03F0D80FFC4A5AEA3FFF4C5A487F4B90 +CBFCB512C04B5AA24B5A4B5A151F4A485A6C4A5A4A485A263FFE035BD9FC1F90CCFC6CB5 +5A6C14F86C5C000114C06C6C90CDFCEB1FF051597DBC59> 121 D<000FB912F819FCA548 +49C714F802E016F002804914E091C74814C0494A1480495C494A140060494A5B4C5B4991 +B55A5D4B5C003F5F49495C4B91C7FC4B5B5D5FC8485B92B55A4A5C5C4A5C5F4A91C8FC4A +49EB03FC4A5B5C91B55A4C1307494A14F8495C495C5B4991C7FC4B140F495B4949141F90 +B5FC484AEC3FF05D484A147F484A14FF4891C75A4816074849141F4A49B5FC4890B8FCBA +FC19E0A47E3E3D7BBC4B> I I 127 +D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fi cmbx10 20.74 12 +/Fi 12 125 df 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 104 D 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 124 D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fj cmbx12 24.888 19 +/Fj 19 122 df[ 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[ 74 142 122 269 87 73 D[ 121 +142 120 269 140 76 D[ 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[ 162 144 120 269 179 85 D[ 229 144 123 269 240 87 D<93B512FC037FECFFF0 +0207B8FC023F17E091B912F84918FE0107727E499126C0007F14E04901E0C7000F80496D +020380496D020014FE6F6F7F90B570806F6F8085486E6F807380A27380A28885886C5CA2 +6D4982886D5B6D5B010713C0010190CAFC90CCFCA90603B7FC050FB8FC0403B9FC167F03 +07BAFC153F4AB7EA807F020FEDE000023F02FCC7FC91B612E0010392C8FC4914FC011F14 +F04914C0495C90B548C9FC485C485C485C485C5A5D485CA24891CAFCA3B6FC5CA397B6FC +A461806C60F107EF6C6E150F6F16CF6C183F6FDB7F8F806C6EDBFF0F14E06C02FCDA03FE +15FE6C6E91260FFC0791B5FC6C6E6CD93FF817806C923AF803FFF003013F91B6487E010F +EF8000010394C77E010004FC141F021F03F0140702010380DA007F1400DA000701F8CDFC +695F79DD71> 97 D[ 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[ +49 144 119 271 65 105 D[ 50 143 119 270 65 108 D<94381FFFF00407B612C0047F15FC0303B87E +030F17E0037F17FC4ABAFC4A9126FC007F80020F02C0010714E04A49C880027F01F8033F +13FC91B5486F7F4902C003077F494A6F804991C96C80494970804949717F49874949717F +A290B548717F48884B83481D80A2481DC04B83481DE0A2481DF0A3484A7114F8A4481DFC +A5B61BFEAF6C1DFCA56C6E4D14F8A36C1DF0A36C1DE06F5F6C1DC0A26C6E4D1480A26C1D +006F5F6C646D6D4D5B6F94B5FC6D636D6D4C5C6D6E4B5C6D6E4B5C6D02F0031F5C6D6E4B +91C7FC6D6C01FE92B512FC6ED9FFC001075C6E02FC017F5C020791B812C0020196C8FC6E +6C17FC031F17F003031780DB007F03FCC9FC040715C0DC001F01F0CAFC675F7ADD74> +111 D 114 D<92261FFFF814F80203B638C001FC023FEDFC0791B812 +1F010317FF130F013F9038F8001F4990C8FCD9FFF8153F4801E0150F4849150348498148 +90CAFC197F4848173F191F485AA2007F180FA31907487EA27FA28002E0705A6E93C8FC14 +FC14FF15F06CECFF8016FCEEFFF06CEEFF8018F06C17FE727E6C18E0856C18FC6C846C72 +7E6C856D84011F846D841303010084023F83140F020183EC001FDB007F16801603DC000F +15C01700183F060F14E0007F1703486C82727E857F85857FA2857F1BC07FA27F1B806D5F +7F1B006E5E6E5F6E163F6E4C5A02FC4C5A6E03035B6E6C4A5B03F0023F5B03FF0107B55A +01F991B7C7FCD9F07F16FCD9E01F16F0D9800716C0D9000193C8FC48D9003F14F8007C02 +0349C9FC4B5F78DD5C> I[ +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[ 57 +141 120 268 73 73 D[ 139 141 119 268 157 75 D[ 108 141 119 268 126 I[ 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[ 199 145 124 268 208 87 D<93380FFFC093B512FC0307ECFF80031F15F0923A +7FFE007FFC912601FFF0EB07FE020701C0903800FF804A90C8EA3FC0DA1FFCED0FE0DA7F +F86F7E4A48ED01F849496F7E4949167E4949163E4990CA123F49EF03FF49484C13804A5E +017F5F49484C13C061485B5AA2485BA25A4A7013805A731300735A4849EE03F896C8FCA3 +5AA291CDFCA3B5FCAF7E80A47EA36C7FA36CF101F0807E1A036C6D18E0A26C6D17071BC0 +6C6D170F017F19806E171F013F19006D6C5F6D6D167E6D6D167C6D18FC6D6D4B5A6D6D4B +5ADA7FFC4B5A6E6CED1FC091260FFF804A5A6E6D02FEC7FC020101F8EB07FC6E01FFEB7F +F8031F90B512E003071580030002FCC8FC040F13C04C5E79DB5A> 99 +D 101 D 103 D[<14FCEB03FF010F13C049 +7F497FA2497FA86D5BA26D5B6D5B010390C8FCEB00FC91C9FCB3A9EC03F848B5FCB6FCA6 +C67E130F7F7FA27FB3B3B3AE5B81497F013FEBFFC0B812E0A6> 43 +138 121 265 57 105 D[ 97 143 123 270 107 107 D 110 D<153EA8157EA615FEA41401A31403A31407A2140FA2 +141F143FA2147F14FF5B5B5B5B133F90B912F01207BAFCA4C76C48C9FCB3B3AA193EB219 +7E023F167C81A36E16F88280F001F06E7FF003E06E7F6E6DEB07C06E150FDB7FFCEB1F80 +6F6CEB3F0092391FFFC1FE0307EBFFFC030114F06F6C5B040790C7FC3F817CFE4F> 116 +D 123 D 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() p +1 0 0 TeXcolorrgb 112 357 a() 204 450 y(The) f(Theory) +h(SEMIGROUP) 204 543 y(The) f(OMEGA) j +(system) 204 636 y(2001-5-28) 112 +729 y() 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(Semi-group) 40 +b(theory) 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() 183 +1162 y() 91 1334 y() p 0 0 1 TeXcolorrgb 112 1440 +a() 204 1533 +y(SEMIGROUP) 112 +1626 y() 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() 204 158 y(Definition) e(of) 46 +b(a) f(Semigroup.) 204 251 y() 295 +344 y() 387 437 y() 478 530 y() 478 623 y() 478 716 y() 570 809 y() 570 902 y() 661 995 +y() 752 1088 y() 1073 +1181 y() o() +1301 1274 y(<) o(/OMA) o +(TP>) 752 1367 y() 661 1460 y() 661 +1553 y() 752 1646 y() 1073 +1739 y() o() +1301 1832 y() 1530 1925 y(<) o(/OMA) o +(TP>) 752 2018 y() 661 2111 y() 570 +2204 y() 570 2297 y() 661 2390 y() 661 2483 y() +661 2576 y() 752 2669 y() 752 +2762 y() 981 +2854 y() 752 +2947 y() 981 +3040 y() 661 +3133 y() 478 3226 y() 295 +3319 y() 204 3412 y() 112 3505 y() 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() 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 index 000000000..5c84872e4 --- /dev/null +++ b/helm/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps @@ -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 diff --git a/helm/mowgli/home/xml/members/kick-off.xml b/helm/mowgli/home/xml/members/kick-off.xml index e02a683cd..5fd4d3e43 100644 --- a/helm/mowgli/home/xml/members/kick-off.xml +++ b/helm/mowgli/home/xml/members/kick-off.xml @@ -9,13 +9,19 @@ - + + + + + + - A comparison of the aims and approaches of HELM and OpenMath. + + A comparison of the aims and approaches of HELM and OpenMath. + - - 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 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 of the work of Rocquencourt: Coq (proof assistant) and its - problems: -
    -
  • Classification of theories: -
      -
    • Actually based only on the affiliation of the author.
      • -
    • We should have classifications based on subject, theme, author, etc.
      • -
    -
    • -
  • Retrieving: -
      -
    • By pattern. Problem: the patterns (n < m+1) and (n <= m) are - differents but denote the same thing.
      • -
    • By isomorphisms. Problem: we can capture just a few of them.
      • -
    -
    • -
  • Proof Rendering in Natural Language: still too many detailed. - Views at different levels of detail can probably help. -
    • -
  • Modularity
    • -
+ + + + Presentation of the work of Rocquencourt: Coq (proof assistant) and its + problems: +
    +
  • Classification of theories: +
      +
    • Actually based only on the affiliation of the author.
      • +
    • We should have classifications based on subject, theme, author, etc.
      • +
    +
    • +
  • Retrieving: +
      +
    • By pattern. Problem: the patterns (n < m+1) and (n <= m) are + differents but denote the same thing.
      • +
    • By isomorphisms. Problem: we can capture just a few of them.
      • +
    +
    • +
  • Proof Rendering in Natural Language: still too many detailed. + Views at different levels of detail can probably help. +
    • +
  • Modularity
    • +
+ - Presentation of the work of Nijmegen; why Nijmegen is interested in MOWGLI; - planned contributions to MOWGLI. + + Presentation of the work of Nijmegen; why Nijmegen is interested in MOWGLI; + planned contributions to MOWGLI. + - 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. + + 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. + - - 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 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 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: -
    -
  • Presentation
    • -
  • Managing thousands of definitions/theorems and links between them
    • -
  • Evaluators needs: hiding/displaying information; different views on the - same proofs/definitions; metadata; backpointers (which lemmas are - used in a theorem)
    • -
  • Interoperability with other software tools
    • -
  • Proofs mantainance
    • -
- 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). + + 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: +
    +
  • Presentation
    • +
  • Managing thousands of definitions/theorems and links between them
    • +
  • Evaluators needs: hiding/displaying information; different views on the + same proofs/definitions; metadata; backpointers (which lemmas are + used in a theorem)
    • +
  • Interoperability with other software tools
    • +
  • Proofs mantainance
    • +
+ 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). + - Presentation of the work done at DFKI. Contributions to MOWGLI: OMDoc - (to encode mathematical documents) and/or MBase (to distribute mathematical - documents) and metadata. + + about the "Usability of MBase for MOWGLI" + + + + Presentation of the work done at DFKI. Contributions to MOWGLI: OMDoc + (to encode mathematical documents) and/or MBase (to distribute mathematical + documents) and metadata. + Whenever someone is going to make a talk, he must report this to him. diff --git a/helm/mowgli/home/xsl/minutes.xsl b/helm/mowgli/home/xsl/minutes.xsl index ff6f76d20..26a01e014 100644 --- a/helm/mowgli/home/xsl/minutes.xsl +++ b/helm/mowgli/home/xsl/minutes.xsl @@ -84,12 +84,18 @@ ): - - [ - - Get the slides - - ] + + + [ + + Get the slides + + + + + + ] + [slides unavailable] @@ -98,7 +104,7 @@
- +