%!PS-Adobe-2.0
%%Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software
%%Title: cs3ans.dvi
%%Pages: 5
%%PageOrder: Ascend
%%BoundingBox: 0 0 596 842
%%DocumentFonts: CMR10 CMTI10 CMTT10 CMMI10 CMR8 CMSY10
%%EndComments
%DVIPSWebPage: (www.radicaleye.com)
%DVIPSCommandLine: dvips cs3ans.dvi -o
%DVIPSParameters: dpi=600, compressed
%DVIPSSource: TeX output 2002.05.14:1247
%%BeginProcSet: texc.pro
%!
/TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S
N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72
mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0
0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{
landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize
mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[
matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round
exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{
statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0]
N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin
/FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array
/BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2
array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N
df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A
definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get
}B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub}
B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr
1 add N}if}B/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/CharBuilder{save 3
1 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx
0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx
sub Cy .1 sub]/id Ci N/rw Cw 7 add 8 idiv string N/rc 0 N/gp 0 N/cp 0 N{
rc 0 ne{rc 1 sub/rc X rw}{G}ifelse}imagemask restore}B/G{{id gp get/gp
gp 1 add N A 18 mod S 18 idiv pl S get exec}loop}B/adv{cp add/cp X}B
/chg{rw cp id gp 4 index getinterval putinterval A gp add/gp X adv}B/nd{
/cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{
A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy
get A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S 128 and or}ifelse}
ifelse put 1 adv}B/clr{rw cp 2 index string putinterval adv}B/set{rw cp
fillstr 0 4 index getinterval putinterval adv}B/fillstr 18 string 0 1 17
{2 copy 255 put pop}for N/pl[{adv 1 chg}{adv 1 chg nd}{1 add chg}{1 add
chg nd}{adv lsh}{adv lsh nd}{adv rsh}{adv rsh nd}{1 add adv}{/rc X nd}{
1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]A{bind pop}
forall N/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn
/BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put
}if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{
bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A
mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{
SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{
userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X
1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4
index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N
/p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{
/Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT)
(LaserWriter 16/600)]{A length product length le{A length product exch 0
exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse
end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask
grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot}
imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round
exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto
fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p
delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M}
B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{
p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S
rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end
%%EndProcSet
%%BeginProcSet: texps.pro
%!
TeXDict begin/rf{findfont dup length 1 add dict begin{1 index/FID ne 2
index/UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll
exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics
exch def dict begin Encoding{exch dup type/integertype ne{pop pop 1 sub
dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def}
ifelse}forall Metrics/Metrics currentdict end def[2 index currentdict
end definefont 3 -1 roll makefont/setfont cvx]cvx def}def/ObliqueSlant{
dup sin S cos div neg}B/SlantFont{4 index mul add}def/ExtendFont{3 -1
roll mul exch}def/ReEncodeFont{CharStrings rcheck{/Encoding false def
dup[exch{dup CharStrings exch known not{pop/.notdef/Encoding true def}
if}forall Encoding{]exch pop}{cleartomark}ifelse}if/Encoding exch def}
def end
%%EndProcSet
%%BeginProcSet: special.pro
%!
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
%%BeginFont: CMSY10
%!PS-AdobeFont-1.1: CMSY10 1.0
%%CreationDate: 1991 Aug 15 07:20:57
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.0) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMSY10) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Medium) readonly def
/ItalicAngle -14.035 def
/isFixedPitch false def
end readonly def
/FontName /CMSY10 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 3 /asteriskmath put
dup 18 /reflexsubset put
dup 26 /propersubset put
dup 33 /arrowright put
dup 102 /braceleft put
dup 103 /braceright put
readonly def
/FontBBox{-29 -960 1116 775}readonly def
/UniqueXX 5000820 def
currentdict end
currentfile eexec
9b9c1569015f2c1d2bf560f4c0d52257bac8ced9b09a275ab231194ecf829352
05826f4e975dcecec72b2cf3a18899ccde1fd935d09d813b096cc6b83cdf4f23
b9a60db41f9976ac333263c908dcefcdbd4c8402ed00a36e7487634d089fd45a
f4a38a56a4412c3b0baffaeb717bf0de9ffb7a8460bf475a6718b0c73c571145
d026957276530530a2fbefc6c8f67052788e6703bb5ee49533870bca1f113ad8
3750d597b842d8d96c423ba1273ddd32f3a54a912a443fcd44f7c3a6fe3956b0
aa1e784aaec6fce08dae0c76da9d0a3eba57b98a6233d9e9f0c3f00fcc6b2c6a
9ba23af389e6dfff4efec3de05d6276c6be417703ce508377f25960ef4ed83b4
9b01b873f3a639ce00f356229b6477a081933fef3bb80e2b9dffa7f75567b1fa
4d739b772f8d674e567534c6c5bbf1cf615372be20b18472f7aa58be8c216dbd
df81cc0a86b6d8318ca68fe22c8af13b54d7576fe4ca5a7af9005ea5cc4edb79
c0ab668e4fec4b7f5a9eb5f0e4c088cd818ecc4feb4b40ec8bd2981bf2336074
b64c43046fe6e8a202c241f339425066bbc9f56c37232c66e83b909c19124cb5
b3c11d8b165e14e63460e1aea57c4ed854513113d6190199305b71d147e464ef
98bc1e35963d2480d09ade53862b1c6a8b8a09055f80bf4fb962d07585cf47e4
4d85d7b8eb678236025eba72cd324099b753ae93bf5f8da95a1f7a0143f8015d
1498dc7f1240031b0225dc4915b9eb1ff8c92df5bd72e885060ff1fb151d580d
58cc6986cd56a8bf3b7158965bd10a03db8a326486526f0d1428986eded329e9
f22658b58b77339f366c5f69b231f48cb044b5bffd169bcf51ec86754b4e2670
5bbaa4c99d58e445d8adf4a7ad292d340873aa5a746130d6ce90cfd73df110f6
05628cd9bb6fb8f998d6fc7cb8f001b12c4a39e21d8e69bd7fd4ac8b0743260d
88b9da9d2c87c635e884924a90e541e867159c783148916a1a638fbf87280373
ad618d1b0146405d6adf24d0f330836262927f9595560df8834fa55ed38f4ab9
ed20a53d42a36d2add08591e7ceda661d084dad7123205828f170ef5049d3d86
ce344ee0b64a39607c38529168d4f27c852c9de52d87d25463299dd2dd86f05d
f388383db95bc9d44899745cd6699798a1c912f88a41f9f212fd6ff8c4c7199e
942bfc004f4e434e0971ea3009f3318027c35e31857d563ba7bb2b10b0a58cee
b9667c1fdfd9d8749c81de18a69e84f034f294ceda6f972d5c1e3c437f57d6d8
08564fd022dd1facddda5b3ebeab4666dd4a3d334f179c9b8ce5e99013a5cd3b
73804925f25ffc4d580cb5fa2c55091d494980412f87194e42039ff56b32d26d
5a2a895ee9b22c1446499e2eecde251dc722b25d8f8cdb0447f699a01cc3da29
6f1c325d545b4cdb0c9530f12a8036dbaccac7c5a31d94ad7d43b2e6f6fd02f0
c0812f7ec49926438df665e2836b0fd495e9095cb2da1ad05525d3bd405db788
77b80887b3271cdd3e851960b4e8108d317d404f74863df9cbc30ef1d8c06efe
0c4b79fb067b5dbc7ba3085c8041ff35e04105841cfdea9ae2c3e97dba88d297
b9421cab99226c1d33f4712317d356ed83b7af8292003f32d9d541e49f061516
97f34741e4aa49ad264499e0c35edffd77f984f8375dcf38ead22844601ed275
01ef964cdf41ba57b50ab0a97946e3938cabe1e925f212f0047070629a0b452c
a8023d6e01e02d37d4e72082595b5d5343fe4185473463cc9a4128174a55157e
3db6e75445cf22e3e4441bbda22529cbd72f80cc78b3581b43bd17b03fb97ee7
ffd91b188a4dbcac650cbb026b30472182d647adb22bd278beb231400091706a
09880bbc6195c4200e5f196b21c3414c9f2c437935f8f2f28182f028432a479d
07e87c4d9c90be30a75b2806c1e8a56f041d83451387591e16a45e43f3289e8e
0e259dd0035943d5f99b777e66a5a6dcbc66104323ed42e315abdd995d0085f0
ce0d05eb5ac7d765fade21dc101ad87251b0097b170439d75770e91c2a7d4320
5e810915df8fc7743ce2476e57b5ae20c53740e405f420abbc744ed77a8a8913
dfe3535defc9d8794bceff106fb1132ae65bc3e30bf1e16a25208d7a798f1a09
99efb22a1a63bbfc7cac99ccc5
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMR8
%!PS-AdobeFont-1.1: CMR8 1.0
%%CreationDate: 1991 Aug 20 16:39:40
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.0) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMR8) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Medium) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
end readonly def
/FontName /CMR8 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 49 /one put
dup 50 /two put
dup 51 /three put
readonly def
/FontBBox{-36 -250 1070 750}readonly def
/UniqueXX 5000791 def
currentdict end
currentfile eexec
9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0
0b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3
79791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3
2ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8
b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d
823385fe55f3402d557fd3b4486858b2a4b5a0cc2e1bf4e2a4a0e748483c3bcf
5de47cc5260a3a967cac70a7a35b88b54315191d0423b4065c7a432987938c6b
edad3b72ad63c2918b6e5a2017457e0d4ebc204b094541f345ec367ae85ca9bd
24568a01d3b9f8095f7420e6c423c414b3dcce6da48dd1c89a56d078e0d0e2f2
62a13640a06d17e44ee3866c3471fb58fedf5a3b77294517651c16bdd7267d39
a54e7171752dbde63ac19bb4b3021ce95eb5fe67390b09ae4d9ed4d704a67443
f55dce17acd996c1f5e023c9e5a18cbeecc3097f23763acb86cdd7cd13381ae7
4e48495ec7fa520539d87f8a8dcb3c826275469b6800876a457e7d1e5be867c7
b1ccad69742a8c9b0ad943482bf2a4ad0aed40baeb69a0233bad36b4ca2d2da7
322956c70375d152653500b2f22d2ab6990cadde2da14b4917f7515e64bc3d96
bf775258fc7dae4e42a4c9b6da8eddec4a800c8aadc8d75e48cae52137e05c03
677f5d6a82fa46d9f2fc7f56d62e5c605a1b7898b8d1401c2cac1a0122a2c8a7
aae09607f2c5f29293a09b9959399283be89051452898238b777db9830ff4318
a298b221c4a820c700ca964fc99e6b1d9eb0bafc39be9aa9dffa2fa326b2a466
1e67261bb3dbc85844e76f9313ab533ee16bcb478166de5502b68e6ec1ea6110
f53206cf1cfea419571b0243244b32ea38b828a01e62b03bcf476a32c2341cec
b8a0fa2a3f3f339315d5f3aa7704408f6617d026ffee4925aa48537a4b2e556d
225be09392546ad561cd46cf766f0ba14c6854c5af1a528c3842b0c5aeefefcf
19f19cbce5d967153c4f88e51c776cfbe10d39328466f7a3b83d85601ef4d1ce
0cc136610fa6a74d9676e4e99291d565cad27b9eb2337b0eba4148efd0eb2866
ebf0a4209ba135ad1376cf9cc2d4110f36121055caa3f2e01780740eece6c18a
13a2dd210687a04dfffff599203049443810003f7fbab9b6ebb55d5528345d36
c71de3336b7c09ea4fbf2f52752e5d87d81e529b81007e4b0220ae61547416df
4d69e3f44139fa1f615166114637fd9735b715bb9522046944fe5d3046d82bad
b10acfb9aefbe7771853e5df51c2145aae8681284a6e403fc8530e748e531b1e
980de41b012957c20315bf1171485e87b3cab8d162c866f25d89cb47af604166
44492350ee5fbd58e4b298ab2ccd1a999994cf8c3292a97de6aa400e7c827726
f01fc6a55ad1ef9314543899f1abe3fd27bc6bb1ef3ca298efc7a4deb14f0e80
782bbc6c622c39d92fd25ad76a6ae5df82da0a665ba02644f52e770ac6b46067
73e37185585f7589fdc5bf0bbdeb90e1ef6bfd3faa612d3102dd5786a57eb743
ed8ac7e776e21a1021fb2297fa9fc1c14d8e7b0d1e06474b9f7b6989aa694b48
65b886cb0f6ea55eeaea24b6c4dbb480790835c6f01c4b576e0023d5086c6849
52e0aaf11aab94f0b8302620c44ed596ada0a2667e3a076ca840ad00ce83a20a
1ae170bd8ca5d4e2ad51513aeb60af5475fcd3183133e49ef4287e90ce1e6ccf
9acd010de66bebd1cffb5099d5583efc8f6b99aca6d2e56a8bd42c68d8909e6b
c445a29d60d79cb5be569ea3a9ce7326d6f36b49be14b4c59a75e097ea9ce5c7
be434ec3fe9762cd59d186f8542b6b45ae8691bef61b954f19ce81133d808e1c
ca32c78b33e1d502b722eaf3c7ef2543a1917a01ac012370937a0d402443e638
3eba14c680a973772e9ede9e55e9d7578e6979d884f01eaabd421dd4f8dbcc2c
ba7645ca7dc5a961a850cce0ab25d4
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMMI10
%!PS-AdobeFont-1.1: CMMI10 1.100
%%CreationDate: 1996 Jul 23 07:53:57
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.100) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMMI10) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Medium) readonly def
/ItalicAngle -14.04 def
/isFixedPitch false def
end readonly def
/FontName /CMMI10 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 59 /comma put
dup 65 /A put
dup 66 /B put
dup 67 /C put
dup 68 /D put
dup 69 /E put
dup 70 /F put
dup 71 /G put
dup 82 /R put
dup 84 /T put
dup 87 /W put
dup 88 /X put
dup 112 /p put
readonly def
/FontBBox{-32 -250 1048 750}readonly def
/UniqueXX 5087385 def
currentdict end
currentfile eexec
80347982ab3942d930e069a70d0d48311d725e830d1c76fba12e12486e989c98
74c2b527f0925722787027f44470d484262c360cdfdddf3657533a57bb16f730
48bfbbfcb73a650484015441fdc837add94ac8fbd2022e3ec8f115d4b4bb7b7f
15388f22cc6198efe768bd9fceb3446ee4a8dc27d6cd152485384ef5f59381ff
da43f2d20c8fb08aa27ab2015b774db10dacfdcd33e60f178c461553146ab427
bdd7da12534ba078ad3d780414930da4f8d58abefd45db119b10eb409dd89792
3c6e705479464a4b310b58348c4b42393988fef4925cf984423aaf65fea9f0e6
4629953bcf50b919d968d99bd185f83112b2759cc411764e9bde677f57c5ee5a
c555448d5f81a16259ded1e11bf4119d53e8ab07a802df900d3a2d5ccc1c6876
d29c5e9effb7af3ef83400b0910c07873a8c56fa7b1eb1ba426043b00cc95dbe
dc6e136cbbbcb3f67509964f9f281ebf81fe5b018122eaf66c4a838487e82e18
6e006093042848a903efb3469ab6b4049767aadb95c30408dfd58d8a10f4cb22
168decd9f3ee100f07b49aa44c92139b669cc312ba20192454eb2375be6284b0
26659d964b96ae82d4942e758027fcf23c25ed01115af27ce7f20efe2a822bb6
84004f20243a49c9e93301fc21b80815c033c3e2ba58ef53da2157d524b395f2
b37abca13bc6a2f42e824ab7e47106176b0d6db267fbb795ac7425582df2e3dc
55863468a9200742bd7b552c48f8cf58bc21343bd3b95abfa140f33f37c6f3f7
8b0d8a5154eb7c1f62ec598267f13e841a3e64172663935ac8b665d86540d316
ddece329c008049c5e74b27d59022c5515059bc3b89370b1bc6a169c888bb325
e0b74282d6f053a50da4024ed1e433271a32ab8c17d41c632b41cf9f3ecd5fe1
24daf7aea7ce8a63047b245822930d517df7baaafa69d2d17f7d93cebd47deb8
5405d720de0bb4dcae731a8e27bdbb6e6be38d168b7daff815acfc32ce367374
bf9fd98c0ae5ba1bccdb84d94b5c173abc92f7d18e19a68f64a2241a0a163910
8dc46b8a04ead17662b7bbff3d3d9a95d5937698573bfac64973dc8d8b8d9f68
c52d0c133119eca4fae72f7553d276c817003234a98337d7c037c0f1bce8a804
57113bcd97515c002d20f836fa086a3277727873ec2b64a92bedb01193491134
b6692a08de4a201a3f11dbe070d797f7629ad487d2b8dbf89a0631956c93864a
44671f1f82b2829fbb640317673fef04170ef6100043df5f4b0d50482c20e145
fae8a6bd3d6e0e1ce2f628ea709e0d6cbb06955fe78cedd748ba53061b9cb6ee
6f450226afa133878e407d4e3d7cfc77afcce997508756f4dc38193e2667a961
a32ea12777a9c927f92bd35a0030bd527c2fe3851058621f8d9f5c1dd7e10664
371919c6f43b3e310e7734a5e513fcd40ad0969e21fff25457cee1209395da29
0fe37c82f50b575d878ad4b9039feb44e07bb2bac190aa1605f8b1c46c9220b9
030b23ca68ee382215613850da64204243844ef57f06c426902752e276233f87
20d8bd69bd747c2a7667b67bb01649edbcba10c2d37a41796eaaa6f438fc71d3
eccfda6fdc9054cdbb30732eb3da5d52d82ac3635c963c46f3baaea6eaa07db1
f1e58cbf90c0a257f16f0573bf4b1e50398d54070f6806efa2bfdc5d1aba62c2
6a124ff0f949cec5c8685e333e3f8e9dc5823ff10d7890f5dc7e9b02edddd1c1
5a2cb1cd385fec06a0bfaf1f20ee4ff27f42e8416c56ba4bb0af7b6bf487d047
f1ec70403287fb39621192b67364cdb26c4e7a8ed228d6e786f5366de0cd5a6d
cbf0956ae96dcf24d41099e279e427d46a018c10a9473f44a544b9a3300a32e9
ffae0f29d1893a4070540f2e6d2d8e0649273f7282aaf53477c399e5af82f5f4
77864e90f485e34283030ad111e2cf4598c7eb65d016ec9e3012aa73be1e1ff3
7c501804f6f5073ddf4cd49e7667e6f77368f61f9151f403f23232b479eec390
3a9b30242d75f23d7f488130583c10894c3af6ced55d8f2ce5e57f21ed4c281b
12b1cd03a20324bb68bd5af84ae9cf9ee56a601ad355bcc48e09db645da3d86d
46e1e670aad50efcdff7c5e636ce3177dbb23adfc8b37e291139db4ead1f84a2
b9c761a2e5a5154061efa38db3c6039c3071299c1d8328f3635e18e7449afb0f
a5754b33c6ecd3b4cc6248a8ae7a1ceb8f5865b0030d526c2c4038e385ca757f
d910c9f785de1732fe12e87c2338738d3d9a5596e5e14d1bad67eb330b99c6d2
915735178288e6af960c84feab00a826e806370e12a6959e58ddb3b4bfeac611
703183d0b7e30e087856f5551a1e2aa25bc847e323396ea50c925f0661d376f6
9ffffa20f0cb6f5beef334c6c1cc47fc3cfb4a2b6bfcd0af76deb269057fb120
4198db473c20457e0f00df982b1343cbfc1706d1c7d87ffc360285e885e93f3c
969b64daef1f25c5ceeb65c1f8f889531a992a1d8edae390a3a116f78fa8b0eb
56ab48a41e504ad7970a41cec4d91ae97cb7af3968f1a85e07ebbfd0513ae75d
99377f0b90feb4434605f43dd49e855889817de2cc55790d93d6d058ee5b7095
ea2c4d3f95ac812109440aa1cbb7679320d7395e8ea05074205d45db9a3047c0
1d03ca738529a1d065ad1e3ad697717b59cca9bc91311ecb93cdbc947c357f85
9664ef19d77a93f0775989f46c2bab51e87f3495ffab5e39d2c9afc10abf6ac1
c4e583b91a1d934b7c226feaa687c15cc08eada792954228099b1634773b6cc3
4c737d03c0ddf37ebc9f17322e0c232103eddb97e5ddca3cd81dab15245a7856
427b9bc2b06bc6132e83a320e03f55b58dc92311379ca78bfc54199914fad5c8
9e7410060f64399b314b1b8b51d3215a807270da841462ba998b2ad9f80c0fe6
682ddaa94ebb312014bff844709f9fa442e44251574498ddd5736f9b7a14684a
872e0024ec308edde6aef96dac3044d8811e0ea561b69e7d4f037030ce2b534a
4fc92cb1a12f935b8cfcd3c361f0c7dd2449730ddc1384df85d319aa1ce00e07
581ed5e07a4ea39118e582ec46ed9e41332eac498e7ff0d52c5c48287f38d093
9ab3d9cd725768223fc9af27dbc87ba836fbab8e5ac6e1609369a48c10e50be6
2f15def5bf445e8988872358844b7cebb90ffb1cbfc26c19475efbbcaa69e13a
9e3f028e208a8b53ce302749d4dd1a16337801cc699ec41b5aec66ffb9bce039
cf4ce0b99059bceb93fef5b008b3913e3fb1926678b01a2c60d70fa9af2e769a
176df8f6d8101c55dd26ba60b4c489da382ac61d78aee28bd371f9c35fa767eb
72fc9ba543aff74671ad862710c1c705784f99f6b7475f82db7d633e37acce76
92088c5f7b4a55cd166fd14d09852674951f8b39eca54c1dcbe2c77bfc72ef04
54968880a487325b438e01eaa9fcbf21968fa5a943c9ee8b2300f1c201616fe5
fc08f72fba865201a16a3026873fbbfc75ea1232cf2c9f22e92257c6a9b0b80b
35881e97e13263e9a0a1fa1f7054411767d88c61a47265cfd6dd70bea93b46dd
9d0b55160d47c401d2e28de8c2272990ee0d743cbb54ac71e573f610d8c242cf
abe33823fe733705c9dce60e5ce0fb26e40e7bffb088328218f6b320f7cbee0b
1f7af44b680448aa08476d1d04532cde516f1709ddf5d40c08bdebd58c45d8d1
34bfd3658776d212f54ecf182b13fb2e0f2b725e9a2de0e92e93f68bdf24d06b
6dfbd0ea00c89fc76b651cc65604ca61ece5153d3ebaea36b73d38d01e06916b
9be62f2c9abca8c37e90d6b512402ce69ddb57b9b38ebd1043ba71e8230719ba
fb95c74cbe178c66b018acd73108bff1c8e7188198a35688e765cc1a16dfc2b8
583ca8fe1b5f0f1d7da6df70b6484031c22a1673f9b4ea72f1161531f40db745
03ce34118ee3df88e4e5fb0808a6175f08298693c2b3cc256bd253477c1cf04a
28d1584a365f55bf44bc1534fd1e34341bbd19b36f3f0655db66af1b8738a789
c9fee428d0626f62400109ebc044dce8abd2b87c0194921d34a96b422a95089c
0ef9e7c2d9a63d53c70dff604f0b478369ab3ea4ddb8c1a7693a18450f314ba8
a4c5e061166e5a99a44346a82de7433042b8f7a424a5fed724fa5374fc28c64a
c0533df826031d5f10512080f0762f60265aa78e1dda40b0e99dfe163045582a
4074d674567c4ddb003d6a2a72bedb25c208cd3d3deb35a68f445dce98f5af58
853d20844768225a96eb0fd68aa4293602bbebd0e205ecf3ce8de8cfc2a5b058
1879a0a04cbe4669dd5cce66cfc00109bfeef9cbc7faba210188013329fef9bc
e402508aa1fcf0bd04097c2ea09211927df121c5842c711cb95b1df17fa4a27c
4e107c201e60ac2b3ac3507b9162c56753d49b8a6f77df60848c324120bf2c87
cb37100809f3cf360b3718b7e263a2233c49fdb9f390de7d36825a737109dc91
2025ce7910decb98f1f1fb37e05eb67fb04cd80444c5f305a26dcf611b0f154e
b013323dce5a574c0cbee6e6759fc7094693612eaf08c71107e60076048ef75f
c857018bc41340c6898ae05186e028fa0de2ac113ee10cfab21cb9d382e01143
3d7ee2de878360c918e050811b2b71e743aa7838417043b0a58bb1b3730fe0bd
741e53abf524e7b5ce83c52c59e9b38871c84b043605c0c34498b8045429632f
0b63b63c4bd5c9dd8c8c6ec416f557e5e6f6f508d7ad6b9eec96767e0fdc550b
d7ef07154063ad95a18db898308919109b8cb16bf73d4401249caed8cd327cc3
01d607a12fbb699860a88b5037e3f124bcf6362918384477ca8405f502d9102d
76f90a7335a26ce1cd2d8fd141897903a403ef8ea1be1444422ceefae44d4cd0
bfa0536b33e01781d2f806aa31bb5edfb7d3b579387d10a005aa00b2c49f18a8
b1dab6beb3bde05c587796f11d1bd5844777f413f3a6ff130c839e2a621486c2
b04a4e5f699c72a0c8d1beecab5b9e47c4dff287e8bd6da79dcaa1893b5e979d
0e1f719685181f57ef8309efa11ad1ca2d4eb7ca9268f808a7a0c3be3c75cdbf
5040b4d5d0d919f159329b6772300211d418cfbd1910d2cd3e403ff776b37e79
0dbe9d54ce85332e64f7c19a2a0f6e77a200ae386e466c0f0d5b23ebb07e8bb8
d5f235b6dade626ab124984faacfe85559e721e044deb096fec476470d4b87d9
13fddde02df9ff5810e06b0d997db40b485f91a638872de0391c4776986d6152
0191de65f618070b767dba82a96cff910c7fa35e4c29b253bed6930b0e59e4e4
9ae80934e7908a7db2d7e61364cbf6eb7adb77253423ed2a1277bb4d23d03ee8
18572891f67da4b47df970c04a4dd03e6ec37c9481e5997552b04bca5ef0f795
46d3c4cc0e99bdd31103a10c71a4e6c206fa1c8014ac13cb4365cf9a6bb279ec
10f5703de672d9ab81eb2a8c590ded9cdc3a87bb37c38edd916000a8224eb47f
598d7eb6c043f7d9ecb29e51edeaa6cd903f3d6c3ec03de3acbc31dbb63c0d2b
c05ecc61329150a2adebd015c31669f51e72e63f283f71dba4e5888334fe7477
5c67ad1774b7bfc2889144688ba5b830f3977aa0f1147c50de3b5a44503ecbe0
cefacefa30bd31531365e91faab397ecb99f8f7eea12411f082f842b11205d3e
111b024f424ef3a46585dffa0dc68c507fbb00ea9396c7d8485cff77690b1a50
50cbe243c7cb9b99
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMTT10
%!PS-AdobeFont-1.1: CMTT10 1.00B
%%CreationDate: 1992 Apr 26 10:42:42
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.00B) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMTT10) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Medium) readonly def
/ItalicAngle 0 def
/isFixedPitch true def
end readonly def
/FontName /CMTT10 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 33 /exclam put
dup 34 /quotedbl put
dup 35 /numbersign put
dup 36 /dollar put
dup 40 /parenleft put
dup 41 /parenright put
dup 42 /asterisk put
dup 44 /comma put
dup 45 /hyphen put
dup 46 /period put
dup 47 /slash put
dup 48 /zero put
dup 49 /one put
dup 50 /two put
dup 51 /three put
dup 52 /four put
dup 55 /seven put
dup 57 /nine put
dup 59 /semicolon put
dup 60 /less put
dup 61 /equal put
dup 62 /greater put
dup 65 /A put
dup 66 /B put
dup 67 /C put
dup 68 /D put
dup 69 /E put
dup 70 /F put
dup 71 /G put
dup 72 /H put
dup 73 /I put
dup 75 /K put
dup 76 /L put
dup 77 /M put
dup 78 /N put
dup 79 /O put
dup 80 /P put
dup 82 /R put
dup 83 /S put
dup 84 /T put
dup 87 /W put
dup 89 /Y put
dup 91 /bracketleft put
dup 93 /bracketright put
dup 95 /underscore put
dup 97 /a put
dup 98 /b put
dup 99 /c put
dup 100 /d put
dup 101 /e put
dup 102 /f put
dup 103 /g put
dup 104 /h put
dup 105 /i put
dup 106 /j put
dup 107 /k put
dup 108 /l put
dup 109 /m put
dup 110 /n put
dup 111 /o put
dup 112 /p put
dup 114 /r put
dup 115 /s put
dup 116 /t put
dup 117 /u put
dup 119 /w put
dup 120 /x put
dup 121 /y put
dup 123 /braceleft put
dup 124 /bar put
dup 125 /braceright put
readonly def
/FontBBox{-4 -235 731 800}readonly def
/UniqueXX 5000832 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8
97e17cb027f5c73fdbb56b0a7c25fc3512b55fe8f3acfbffcc7f4a382d8299cc
8fd37d3cea49dabdca92847af0560b404ef71134b0f3d99934fc9d0b4e602011
b9cfb856c23f958f3c5a2fbe0ef8587d1f5774879c324e51fcb22888b74f2415
50d7401eb990d4f3a7af635198422283cac1b6cd446ddbcbd915db9bff88844e
784c6bf7389803d9450b0c21756a017306462c563d51ecefaacd079732f12c29
315e4b9623a5752c6f1d8145869e120d910b2644887cea7e30b15676a92537c2
9d3aa80dc30082aba94b40990b82fb1a877e805e0c8c48f61e9f2edac05b944e
e4d8084ec1d5cc517aaeec5b3ea379dd011eeb454cecab3ad2443c887c582789
72355673e503affe0394fc7db31de364e4f56c24033c7df2265c56445ec63a1d
5695a6041ea1b94407e1cdb7c5635603a4fd047e6edcaeb2d0da6c9e0e9396d5
1a4a58e8fdc1578730f992435560a6e2d3e3687703ee2f78f5896389ac8470bc
806169eb01762e89b6dc9adf857ead656620e2589aae722c37a2ed7a2941c360
b067ee34d8d5ca3bf68db725614d936bcb207781f4d4ec2ac67b13a5ad161f3f
059add7b5e3d904831e31c20c04546fae83ca93a35989e65c201756888f727b9
7e5313c9870ec96e4cec3901ea03a5c744754485e7d169bbc98bf872d0796e18
9d43b712950c3786257d8be06ab6080b9d9392313298327549a8a41c00a2cea3
690b4a333e45aa815a64facae1c2b44640860b8b8687afbefdbd5b4a541a7251
4ee7d3e0752af3e96a88c95d31fa16d34ba2f02fdb0088b165844f02611c734a
dbcc2037bf741fdea7e8bcdc130c70c33772f777d8bcddf4611db99001ccff14
d7af2bb05defc3480bdab312a0eff2f375afb4e0df2f803c594b7c93f71ca4af
861ae1711932fef19bfe2f9b7adb69d68e5a70ea4d1a3d5bd85231b16993f65e
fb37a0a823f0542f8c2340a073dc1be4a8347f9d3068a6435cd8278b0db1809e
8af9664c2c989b9f16873c009449b6284b85da4dee11c96a05ba83292f0edbd9
2cf674aad6ac1a5ff966ffc37e88a66048deed053565b55ef6bdb8c2f2f67832
f8939a32442ea54f13d003494d6350a2864b427a9126a9c26a031909fe53fa84
63b80c3ffd536c9a5dd29ceb03148dbc24c0033aec95c7fb4031f65dbd67a2d7
0e6b0a1bd772f5450fa1ddf2a6424fa2a5efcf7fcf2260372574d7050bbf7d9a
c6340019109b8f57540141b0b96f948d83e0f470248390518a6e881ff4511933
1c274c98a1f8af8eaed5a7086a2b7ca3fba9f331c6077c2dae3b83ef2c104ce5
f9cd86afeaea6611d80420bc63da6f72c05fb96eeb6ff650a3139548ea7d51e4
44f89084a17b39ae71eafa2a982f630c1ea9664530fffc432258eb8e4a120be0
49d9558d875b05864ca2c5eead6dfdbe4e0bf19471122ecdbcbe650b5217172d
adea92f8aa6c2c6d8fde6d0cea4bab1697fbe8be85af49801cc5154c33fc6f0e
135272bfc21b1fa5ca7a0def566dfa0e0eaa47022f038661a531ce24f79199cc
f6488a6189479e6b45efe8e93b70848c0b7b6c95933cb0f806eb13cf9ba59efe
3865e160f78e4c3e7ad018e533b12720095660dfcbcc871f597c214bd3eab469
f733d2afab834d34da3a21d8208cb383d61eb8df8b3a184cd331379231f1be49
85bfc4b273ed7ac15cc607217fafb2947ced172fa95022e24fb1e6a0cc47517d
1b3e481830dc3fe910d59a7d4fd384507b2e6febd350e44d96c2f6a553b4aa7e
116e6ad4eae131edee547ab31c86b01e5a59c1a1b5549fae1ce0377ef5dba5bd
af2931f9c11ab86fc44404de5d6fd15b81d1c00d7b4f4ca667bd439f2c067f6b
ee0b803bf6f90cfaf38c8c98fbfed952cb0eb05679bfa9f32e7029acb84a35f3
f46d44c7cf979d319907b4538db0f0fbc08978ca195445145d65794be0fb346a
9d80659ade34541dbc500ed1266b39794387278b1a6c2efd7abc1d59b1b136df
a1689121f6b39de2d2cbdc88f3f713dad22d0eafef2a8c5366921e761982d63b
9bc829ef1b7ff6b4bd93482be9aa9cf9762bdabd2963767a8d8df3ce630868ab
1b8282c7ccf3844bac699c5d277cfa1a2f992acae52817a5a18969de9fcf0200
c604d271efc9d2a0bdfdd857036bf27c1bb5e4ce3c521a7be281bd8528bdd6dc
5a9ac738cc31dbca79ccba8f99252e942c1981eb8e19687b81e7e57d3bd232dc
b1a27e42be93528c3324bf30bfcb4bb960b3bb54881baa66da5754f4e38ffbd8
3a9b9602fe9af0588ec4b763820d070c38573d4fc0812d924ba02b72ab0d2e27
1d4d5073e185b750d23257a56d8e7cb8e40cb53f931551c7edbf98bbfb9bc545
9795cf07b1c65434d772e12bad09b0dded980e1e9dca4f7cc5e5d162bf98f93e
dec7d7e53aecf736da33e50114b7d74e66afee545cdbfd7328b97be142620b25
b6f8f5ff543ca11488055ed9fec89a5bb43672d285e181afbd7c844c1f7930db
5d0e601d24ac931ed7d187b5aa1bc3e5fa22bee5a565a71abe3bbe3af1867f79
f1bcbe9a22fbcde1435bb4b4956d9f04ad3877642c6aab1bda639f46f3bf2ccf
af58ded12ae06bf845dc36c94d3e0df35474947ce5bb5f91bf8f3def89aca530
256c0aa6d8dee590846a3ba1570ddbfc49c69ae9978712280189bb7c8554d874
b380d434a928419b2a3572074e1cf7ecafb84b75da1d0d2bdda1336fcc6aa067
1dc0f6f2771c2e4e9f93a1842b3b7b54f803b2eee861ac1fecbb2888ff683fb3
078e796227aa0cad27b87338410cda2285dd9e9083da7075d115d9be3dc4d036
e1518596232fd842d65e478843aa1df1ad9b43d20b07cce26d5f0d25210fb92a
bfe6d125938d4abae4546e0f648af8b3045949e3c603a178f6d8f95a55b38786
bdfd10e1aeb97b95970913331d33b1d64af5017e7ecb2d652e7305796e73e256
6a725d529162e13a66f93b193847951df1a048e36208c9425d7f5db3cf7ca4a9
52a0819bf3f32cff0c4c3c5e083e427bc56148e0ec33e48e9e0e92d573baad70
86656743bba87f746ca1423484cbb636359dcc933e2aa97c45ae737ecb417401
a720df040b3197e8e073ab983db56606056f2a6456419329417ccbb3262c4230
4bc953bd593cb0070770139a46742d250aa75db3677b1759935b3f28572297c9
29f24bce0b40746616efc80dbbea9a14881b9b14e6859cfde302c561bf777b53
c717222729dc0c07f31d45a8cdb26165c640f9992829506ed701cb8e7e8c51eb
922ced56cb2ad3a025f7ea02f43a0cd10b8aff2807355ecef94c6aa561118496
3d4c983392e02cde3a46abeba0ae76625c70a3f85e82b1140e1646eb4b88d9ed
bc8289fc3be45d23381d8f4ae3647834f4c9b7235adec9583c70d48d19449513
7ba0ae59d1231ccb49ade0d4695961415469a177d0c6a0db987c212d5cf8a5c9
fbc31ec9fd14914ef9972ff75d86512c8f44e318913011efe2e9232781e57adb
9e3f15029db1f048f6707223c2d21a99caaa76758dad9953092894cdd09f42b7
70a7ce39cffb713341448f78bc6359a4fc37986bf15046992f7e3982fd7b872f
adf964d1b7678a0065968a4d9796693e64e87b1a075537113eeb90407effb1b9
5c6be67a69b88900bdcf6080229cb9b1a4d288c12169f51a1b4a300a47e91405
fe2b0bdc3d882a624039f5292ead30625435900efe531b4ef394ec3084c58185
e1f6bd869c58d73d8be22ec339d23543f9440d8b8382b78fdc08b14c08369305
87014842ef77c4e3bf1c8affc940a9d3b31b2e95ed1d1dee452459320cc009b1
4c1f57d1cce691bb6701511842e549483abf99252089257603d827a8a2a26071
ac0dc885ec4ebecf88a1ba8f93613977dba1a89d327b9901f7f3a78b39def13e
89a81cae715866ea46999b4fd144a176929846f3ffecf6172581de0a45bd740b
9cdb8045a80c6dbd7203de9c65ecf33d4237065e121a77b9d5351d9e7741d404
ebce12a088ab5c67f31ae0a165e4b4e46cdc0b565597aa31dbeaf8d4ade1d5b3
f2f916bbcf4957ce221a06475b1a3d76b9f98338215c2144b8bf28bc02bc6e7d
30290add2a183d5ca7c973e3bf811a72ab1654cdcbb282c78fecca2ecfbccf34
b0d85879ff336f0c657cefb71510a8997bbacb323f6b3f5f6f19cb5b312f0538
1f90008b6eaebe3128c0ba62114badc3d59aed26214001019a90b0e871f71ad3
f83b6f2a07bc1099269388c9d2dd217e842af745f1a2dd20bb40c74ba574c6d4
9b997dc382d428fab94f73e85c174e99c51ace2cbd38d9fb1ba0f86c75bb319c
c7f06ab7cd84c2769f9dbf1ef21f2d8eb0200a012cf77b801bbd84996df26fd8
8cdf59b5f7da76f0165271498c97fa325e2d395c417db3c46d53cc76dab63794
accd9c2a74b523d11cad67f756db6c4b72921fc45f5f29025693ce3fae57fb48
f29e100421d924e0fae07306d4b83613322fdf810ead8a49c56957a1839c4d2a
96e0a293ed6f2546c20128873f8db51eeb4149d414ec8f2d2c54b68041284d4f
d4c9f94ddd41ed30db2e11fa1ebf6a39f6532eeb1a2820744a78f2ed06e981cf
c693d78823bc930ebc2ec77cf0173fbaa48b200d98cb947ef75aaa5623a53687
9effd021d7d8be28deebf5e370c402adb5d1600f1dce61e9f0783971fc4cba7d
e73dcd5235f6b7aa56c5ba2424fd79bfa6df5691a66e28764df38e497e7e5ecd
4bd90a11283af64bdfa7dee745415e8aaccf9b819c673efb7714fc5ab4ca1fef
978ef095e2db7a565495732da749beda273cb305e227a7314725fd108dd700a8
361070c4ce912ae7269d2c81928c5898e06cc4fd2ddfe47d2e4cd71492f70cf4
4b540dd808aef2c2b0e97e89e8088330ce1c7bb734f186317bd622ee3617f248
262ea0460b888b76075c5d2e3a593b90d8c81ba04b9043829170a7a4da575a1b
84cdeb6e1a8a1a5046d0ad71f128e2415c03ddea9f01d87602b52cfb76267855
a059ba5fd1c64bf9fc4806ffb2e53d42f8ec34bfd2e9e9a5cf93c23f1271c168
a8521b0405d6cbc9436b3b19fa9a10e906527f1ccba2cb84aaa1bc06ff8fac74
df7ea8fba35f16388268edda9ea7b7067a698eef88bf1536b50eca4c5d44ffef
1f1aa45c619a1d6e3a8045f2b7e648287affa24004d28b417e9abaf2624184d4
7f05783685de6f4435724bd1d0e7ca937e4cf7e12f1233e4600908d5f24dd05f
c613796cacd3e8f40ca6c9d474c32984bd28b722bde60ef38795d0669f9c8185
ad8cc0d301f2c586781a27c36ea53c19a6688d8a47d8198952f0397d12f9de6e
ec7c4bdab808288df1c0f062824674a985b9f19e9ca19281e5519c41cf95f45c
9b40e03dd7809e9ccb5f5e85203e342c1a1cd7762796ae110b089e4b23ef3d99
92c7f467f9b5a1da0c24a62399ccc8572f9284c15f551aee03b57c0f33da1130
cbf34469193f05f344983c5460c52725a7f433d3f44fce896c62cf9f58e5a4c2
338cdd0a61ee19e60e8cd5bb65562163d10dee9c63d2cf98797e13b828d7507c
f594b62ce902430c80c7d0e8a14e38eb5ed00c4491e83233f507df14b8638f83
8afbd5eeeaa7bf1c7e8a3954bb6d3e709aa6a5c8747d17f424434dd53ad1caa6
30e7d06d37eb19392fb2c1927ab9456596de0d3977078fddf3b0742fb12b9976
f704f5d8b23f19b551c79f5c9899bdd797c6f90f1384c17a864e298418bd71d9
31190a419c48e9f11873bb122b948ed76e7614b3d7965216dd3046bd790fdb2e
7732979b744c05adf277b0a77f68f6003d7cf63b7976c8699439d96223c27857
de4190c84829160c6ebfd5073bfc95810442ac5c22b291a9a5e96dcd1e53c5a5
38dc32752fbe043dd57ffcf82af83bcf3e8599b471ae3310fee0c30d7f703630
55b34bef1ce3bccc865d906954a725bd016b0aead01ad7ad021d45ce74ecdf24
57df8d2d8b63dda3e46b92ba254cf67952b0c86f45653e5adff92454fb27c451
d053c196c34d6df6e00d231961295d8f0cf66049e858b7cb65c3f33751f4c776
7b503f16a658f5b3347c86211b8ab9682364bf0d4311ef910f52aff9d0a61013
7947c49107015bc8e4df7c4d87a5a0c6a4b65700af95a8d0d47512b4d57d6e1d
0e9a39704777c5e687fd6510d5bf5c6bbfcec789fd62ea193a56bc07c26e6557
378a8f9a0bff53e07ef2730cd73ffe5d8e62cc74cc3de6018dc459ebfb5c7271
70e9e13f714a545b8b67a4219f2abe7a7d589cbb0e7f7283293dbf91fead14da
4436de5dca00e126655b233ac60424711cedfada070ac4e141b3c3ddbfa2e53a
ace254c8cee3445ef91a8b18b993d5a003350b03668325a0b7d0c34cb5b57532
ed6daf146661553fc7e7184e6339af847d8ebf6fcc7d1af4d2cb86525cae374a
d12aa6d9fdf37dd8570e5645db515f8f313fc707a9f368c64acbe5460ab4babc
3fc9b82724bf6ef08c51c962d79cb228576b9f8445891d2234a6beca506add7e
b79b925921e2cb0cfa174fec6afc7614dbc6bd4ac625e19d2218961a83449165
5b158a8cb00b21414b9455a322923ddd1a8d7fbd4e65efa63b8d4a5ca2e5b3ee
2a312ee9fb17ecdb95e7252df986c4969287b82013ee5b016e9da3abfd86fec1
03a030f118a0ea15919927bcfa28ccb211b4c741a5dbe2b6b2821527b4a45624
0ceb34ded3cd53e1cd4c32bc71e62ea57cee24986006303024957b85bfdcb370
957200e87d851c40f2278583d83aed2a5736a41096c0c158540690d057cae8d2
d6f25a41cac556d919b80aa482a4097ce9df053294a4d10a730d55c5a499a70d
c8e8501e0a2fe60c287a0820207c4a67a0b78978f3ecd3bb3248d330e40bd573
c0df2759401bfc147bec36d7bfaf678fc6133707dae237e2395a3418d131b4cb
a763603d488a30d79f162b831210e74f990ad9a01100a1b7b80262a73c562e16
e371ce1de3516e1b166851ea8b3e947d6a4a1ae08e651f870a74503857a201ae
eeaf79ad1e954a8ea141b6055a36ed01d8bb037effb9ae612e069b3788b98ba4
0c67dc67066ef0b7a538dc7e50bea7cce5be1dd651ba175fad428fba4f753dfe
7d5be83a70c7edbd30dd6cea854bf21a5342dd2f2392ca495b8bd71114a38a4d
7ced3a1794513bee77303e0e2ab792c198f6c10cadfc85530c73826262aace73
0fb01ef6545e07cf4964dd9bfa5a0c345d3cb8e43cfe99ecbb27dd2b7b42230f
37c957e9d8df365423ee20b0177f50b569a768ebaf5092198f5a0ae3f81d18b1
56d17769156462710526c541ab4d8ac8a262d12648e3d5a913399a717e16d275
edec2d27c070e18ba14840771e7df0e1e9341d0d74117937814e9eb305587e39
cafec5d45e07bb11c086081ea09830c82a66baed99ca9eeeb74da0e83712feef
aa3086d6aed4666305d5be1aedd651a8ab5173a0a27929d28f97a7e726fe0e34
6fb8379213b0cbdab0af440f172e87f472f248eff827a2a7e885c199774d7ebd
85566c9e44479fada886dcb154c3f58a69a7469c2c7c9afd64cf454466c1e3cb
0342b92a1689aec352686b313a3a475bee816dbdd39dbd17912a6fbd2e2dc53d
4f088da333fcb518ff00bd46c5fbc9f5185697d8f479ce6e51f6fe416c9f544d
f49ba34acfea238e3453ff2d649ef60101d46666b8d596a221e6e7949ae545f8
d4da987d5265b5e1f6c72c07528212f18953b3b71097318767ad9548eb43b31b
0e95af5e822d00e815327dac1f719a2a2a17d6d0bb79d83bd72944b4ecb242f1
afb9cc9baddde98a561fcdc30ecfd1c173a0af7ec9ad0109aeb09f41fcce921b
694a8b907bffed6b48ca5511811a32adf9739c69329c3a2d4b470ba9b44bbd63
c4057c9007e41a8db65f2b9b852a5a4f83b779339249dd1b11da98947d0020b1
6c5d6dde7e6bb25c604d4e5b9b05030263f1030ebd4a981c7dd6b562edd3e8e2
074bdd4fd5c9e96723b42f5badf82db560ed7ed673002a1b0c4fdf1adaf124ab
b7626e9d7aadba9d971eb99661d99da29da8cf6b8e0770151624b7c526e624b5
399487a08bb77b25767a785a3e94cd7960a7412f11508be56ab3ce423038c927
9a0e0da52c95166ffb26f0be31ce055a8054e49213818a7521e1153be6afc344
27c9ef5f9186912e4da463845549323bfca084db02e0ffe61e465dbf8864220e
6ddf5568ee886c69151a73bcf798960578958f5c5c6111b83e21a3b8324088c0
bc6359168d5d42e8d8a4480699932db0f9e4cce2fab780b0267e526720064f76
772d9da5fdcce36e739b090d4cf768ae6a9692d3925d37bf035a2eacdb6139c8
0b68ab6d532ae509ee2764102e121d4f2f30a537c42174d3f806579ba64aeb51
5f9bdc420c80883737bee21562725ad5f549375d65af603dede9d4542616a1e5
f9bb61782408d1cb534a7e605a0e4b5c6da5e6007c28864c7e022fde5b41a68a
e63560465ba444398bf5a1dbffabd2b2234330cdbdd44e04df311a2fed9a2423
e7e1443bca8af2166abe0b3d9519863583ee66d3d8d7c241715deac42f1f38a9
92dbd562b62e42205cd2c23d72b609cc525c7a73bd3bbf0649a0b81eb131f48d
4ae4fb97dd86743b2cec3036f34e8404dd71161a4a7089d564374be0f37e02ef
b9b37eb193aced753357180fa729dc144ba1864bb254405b124b7681642336f4
a64c1f163768e0a6d0a10fb8e55f2fb83ed3994d1e36c8324b4c742cb6dff9b0
ee9e684685f97540b253505010dd487cef15e39f13929ac617067e5a7d04f962
d02532641477498b19e9c116c7182abdfd816106dbb1cf993784e18f970bc6b2
8e6d17afe5efcc5c3187f93578b9da7b602c4b67224401ac92dc55888958044a
1ffd8e4d3b7f4c175e4930c9ad883ca0ef7f21eb777f5fe50242fb93dce0b70f
dd3c5e48a21e3e4e01caf87cf6515bed2fca2a7d9c493ab6d09b560fd469da93
d3c06232b06eaa07e5d37566d19ebb1969cd5a1e1d507113a271f5beb990edd6
5f49b730ce372a969ebee3cccb466ef031d13a100e612312d20e637d32dfa0bc
5543ef157393836dae98e5db397a78fbce9af5209e4f03356e3150a460462eff
4b98e2a62ac29e92521cd8f746c703b68917f6e8b507c61850a532fe473820a3
42c87334c0a15887efe6972a9af29782a6b431ac3f089f2fb9c73d92e30bcbdd
4b55801d8c022596eddf755b0b71335e094fa866070d42d9923849d6da8ebece
51ebd7f207ddc34fc8d0009361399ddd379aaff4cb09b28978bda612dc3795f5
11fc5f36db4da318b8876ea708e41bec90f74cf87e42335ca5f5cba9da04d5d7
5815141a80f12112f31ab8353198a5287dab788d9726da2783cf9ecc3701daab
e8e4f614c9102e02f9ca7ba7f2e9d6de4ec6d8ff346a075fcb5c07a6cd5cbf5d
1a02eb3f0d33761419498fa5a9c9233ea4c0fa03798dbb935e712df350f5a57b
4dd4b8b2ae78025eb32ccc4cd719128789b7a7bce54734c7778fe399d6e8dc6a
3e4ddd6ad646d36f45dc66ee44c3db0d29f9679e3102c86f2dad914d5e8ba33a
e15750c937a178db11666e33afc4ed4323253df4e5fd2990e999fac9f756428f
2148e16234fa61e10e023c0e3a45ef1526012df098d48db8e30ecf42bf524fbe
c002d94c31672311b616bd0aa451bbcc96ae226f78faccf1e76521c37c7d7b9e
1414e8a2a6be766d5c2af980aca9b2ece7345de585b67aa1795496765b52ea85
9828b764668ec791b1cc471b53aa86c4abc06cf2859a4bf4d42e64fa1c06324f
60e49297df82e977fc8970859b03bc7e19b175303ffc13047ec71ba551b2edd3
b1034d03703b5c41d6b0140a987896f4e55173888519536a183392974c8baa09
f31c3bfdd54c0628055aa0b7956cc6fe06276b710ae6a6b31463c7f0edbcbb31
ee571920eafa0b843d2eba150c92cd2ea2ebf12a46c7cca76bcfc6f0babb4c55
1a395165c53a936e358d635ed8f72356a836be953d37c5b94c64337bac34f52e
5bf536ade53def0ec8836340c8663ecbe7dc2bba003730925991b2d8f2ee069a
9b69bba250eb2e1268ce3354b0b8ddce56f066ead01adfae2fdd8747c21b2bde
be127fc0f2aa5d533507e8749f7273c76b4b5ca2b5e711b6c7aafcd0d4bcadcd
5289107ce4db3f60ac950b70074ec1161d5fe17e43a13c6f4dd64c17b9563114
772b4902010babff6f8d5fa65ec67e755281ae60c5bf26c7aabfc314254a183e
02b79f0edc9dbdae1f39bc74802229743bc62c6ec4431241c685d92ba266ed8c
ee48984fb918a84b413b9ab4389f81d7c739d92ea63a6b00dbed4634af0c95f5
df3f575adbccf42f3d5bc48e5e85988302abcf1d9d8332cf5b1b405521b612a2
dd58d77c10560d3b06b509bdf6950fd93009914b7567dc5875a984904517de81
6915ee7c137178371f6585f5ffd1d8bcfe79e6d657b256093464549a18b6c032
b77debb8136664da86aecb4f89e9845b3cb6d28c3802c2775611cdc43def803a
bf545b908de0fc250a25140d77e4af66f23db6ad37341a7465b61e3023776e92
a8f1df8f767f3a573fad0d99c97062e3a70064c5ef2f50236d0e696e97c70212
3e8e231b951d09f312cdca82d10c576525473fcf1ef9006ebda773eb1af73eb3
585bcb400de078c85a7482838137782ff281e1c95f3d469c52b53643741f24f2
bffce6953f15600cf94666552c0aa698fa91f98d6b7ae31e70d5f953e4213925
6332cdbd41da4dbe12c72801ecde5e989c0e17fbf79ca3a2e00ea2433687aec9
5a66b2299d14ce4255c2c69b587d436531d480496df0e385b5f4342169d0679b
c46930e6bb94f6be0405f40f8a11f6dd14f8723c107f69517ac9809936e5371e
ae22438f728777d2bc5b435935c96e350a5bcaf83dd53ae95310d5a6b06caa46
6f964d8bffe261f8d4580640cd04a9436ac3a789b65923d81c310dc19b780fd7
e4e0c5f2ade4827283ede0a53c696b211232de97e2fb29df35dd7c5baca35ecb
de60a5fec371fb609fb7da3da223905cb4941430563361d50e33a96df850ae0f
fa4e8420ab299ec7a9e206111f4936e20795ec06c470042b1e72258925e9dc5f
68e7f8218415d1bd100fb62803944c96940022aaf1be921155a3826c72b6120d
8db57909e0d838ce1a87a14118ee6f00a826fa3b27c03937ace1ce6160c50d7c
6c03322313845d2332d0b645fc4b33d8b7815963fa930626b54cc7124d38fe18
003037c713a529582786d53d85302759c6c344c7b93a3e48c5ea581826b868b2
c267b148b7771d0ab7dbbedb31c527c92264ccb229b6f842f1475820ce62816d
f320494ba7f0a48d75f3938dc543571973e3dce9ff49db16825801ca6d2cd140
81e765e6dde157d011c9264028e64fe8c71ac58227b024998bfeda5fce4fdf39
6927e3f30c9c83d1c6283948fdb70d48b5e7bc01811148ac2eddee8cdf9a6710
dc664375bd9f24f132f0fb0ab2f3b3c2046470098a051c83ea57725426478ab7
9538c31283e011aff3f80df87bdf007cf40f82d6ae0ffc7732957c79cea5ee3f
2a8741acd1a06a8100905ed76bbfe61cb263dab7b1b3cc8f3acfaebdd188a7e0
a68dc53df0c350fc945eaa5a6bcc2d21a72e7fa79d7aa596d4d374a29db107c3
73ff715fb315b061be915f0b10b248dd69f06693570e217d6d53d8fe4d88631e
da7b8d619c29ba7c72f9e65acfb9a2ed5a5e7510b769ab74e97dbfa072d542ff
ae8d19df2ee981aeb32e3325a84d10cf337f068fe688218926215315bc998155
bd101837cd66fbae3bf6a62b698f9413344e817f6768604a7c36fd3048264b37
32eff22d31397b0da302de302845718e3e0e23917975c2837e08aa2132c927fd
d091788f16a031d47d7df09467d9c0b9378ae38535967acd065bef7de90bcb85
c84df0adc0ef1bf289379448a6491e75b077b8daccee7fe29296e8389afc5be3
d3d80c630f784971cb08594b2530629fb518486353f3d1037517d40cd0efda65
8a72fb3ac3a5a7583aa01c4e2354c9877537c922ee7e663919910014d8ed4042
9df6b7d9b6dc141e59f397286f2842b0facae65d80d053de1536465c24cfc6ef
8569ca8ea5a40e7963e2e098485b9b4e34a77201026f90ffe7e15bfbc576dd7c
039b38388205bbef51cf4abdb11c3d55192319a7c7545ab5a1bc6ed3a36d1499
645d64d9dc4bd1b69c71478c509c401a06ec386d18c8dffd699a662a4c4139d3
59f34893e5d8aabb2a38af6a494deda8ee9f1aad1442245f6db2a318376384ab
a22381f016a41e78b8d8557edecb5f1a275757a617c705c760d2aad4fd94e823
9d3bf91d6b93c4f7896eb932b5a052ea5f753f601e9bff8e789057391919dc5f
8ca44e2868170895850a0a71ddd87fb143ae71c530107a01b1b6c53f4e79cca4
c24349c6cbc6d3a7c0391ff1c3320c0d14295711d750f1661d9b186438a5dab6
fce17d81c504e75f057d581cf62bfd188c7732a98244129f7444af402c34b692
4fcdab3b72db68521dbb6ecdeb7954be21026f191eb422cc974b27bacbbfab27
a399b130faf4a0529adeab72199ca6e9ef44024a7164bda912ca69bee460838a
55c34496732fb5f8c566beb582f1ea0ff373c63639252e53677de148019fdc08
5ac5f3f4e8db83d4b9f89f68be7b9266a127e8ff2902dc0fdaf3c2451fe72220
d8d8c7b6c66ed19283dca7d3f7f88f085efacc1f18a815e5db11e521bfd6f56f
91030a3be47d616fdda850518bbced29e3d07954225d39e1f83de4152fae4f77
ba2f5f0bf7692123735becf459d2874deab3fbe9a0d4e8a8ef18084ca1a88e38
8de9a3b394c1d5c86b1d1fbd51a0e5cce643bfd69918c5175cf805eb1c53ac19
69e23c2a4dcefb7f1f6936c874325dc68ad01b86025fc1531587fb8140400668
267619ace5bfa6f4ab43aa3677cd8f6992af69ddd9f2e27b294a51c212d68a2b
477ef28f56bc30da5764e69b5f9cf94f9479ed981e731ad64d1b1e3600d052f9
3117fa4798b44a4b14d4c56d1593107675b362790661815df0fd254a857e8ff7
88f73e652559f85bb8497592d3fa1f40e7ff8c414aac8c89fa6a6f80c97c55bd
adaabef1eaf70680be0b5c3f91245fb2d4aee56d6087feb97e868526f8fcdf38
735e490a3db68f35bcc8216bcb59931dea84f1997a0db0f112425bb2de5b56d7
4eee2fb6e6153aadc0dfb355880723c434ba9130007fc9120828d811d7fd8b22
6d966ef29fd93fbea9ba605d1b98c608def222534d1a04dcfe6d55f35f842cb5
f0a1ff44e940187dd9982fa92600a2bf5b878014bbaa03ef80e2609c7d9712b0
b4cbc7a09e1b33f0d926c2949feade8a7fbb1635c6d8785ed6501e00eb2ceb71
f6b7f55a87a1c80d7160a1a1ef8d573b774ec1327236f2c5a8c0713effccc03e
843e3756337adaef34cef6d58aa08cdd9f8a2b0f923913a7c91968362f34f05c
67dc2e6e3366c6ea2804fb53b18f80b4cae62c2d928ff083e81b547792faf6e0
38f001b5ed7ffe36b2cad2c3308d0f640742bde390dd394ab25095adc095048c
af892d1a5b1295f5fa6be17cb835f66ac88459743bcd0af8d39984481613cb20
7403171373b23a7dc1a2f14c883664b54054581dd580dce7e47d34f6be0cdd09
dc050523c8e2f94e9cc2f9b8852639f190a544f572aa832cf411c19528ba17b7
04c5de06e86d023afa8b9c9a183fe021ecba296253c07869b4065985c9a9ab14
4629fe05b96c785e6166a0ad35cba988fdd38a9c700cd7f31d89a9c2399b32d9
fa266bd1b88e34ce0d6fe898bccfdc3a4dcdff376552af8a013f9ab66d38f06f
1f3e1c9e50dd1106e6c535ced2e8bc1f0e3939ed8f4f16f52c1fccab67ec851d
d9c233b47595ea7a377f6948b34fabab7b85d9a7b00ec57a7736f1584e962d61
5ea6c67257952b18b6d7ff4f4ccc58881968fd35f7c627794d0f62929e964614
9051c57244d679d6664730f3ba69b36244bc1c70d536a4b5baf6e6eb7c3696d6
f049d497bb6cb7a1c0b23702a86ec6eed570a7e31c24ded74cc0cb2acdbad876
bf727cb42ee09935e299aecf49e544516ffdda32b4c432a65c3fdf9d1d167f2d
5cbc7a66b2f2d67367b7571da15011ad8187655a0b960e6d3cd55f53136f526c
a63f87bf04860d46b4b222c71cc4fc2715858eac63b166b1b1a58757607f0caa
81a50dca2efbc01e4634fe697eea0cb5d8364ca69e5a4f71ce0a7a955264e03d
26731ac31b59c54db18673ada963b3e252726e08424e05fc9e0877d51ce9efc2
747882a7c682f24192ad2eedb23294794da09e0857a24b0b693f57d877d706f7
b41997ef3d27dd1f2238f082b61a62dca91a2d5ccf28c186a9d8465612471da5
6b9c5f29c4380e21c993b2a604c273579ad8001baa67b23e289e1240f6494318
cbf5c5154ce177be11be16a52466d0e5475e9d63fd9e592205e5229be3eca889
3b4cf47758cd41a788a834699e2ef85e1347dbe5ce36d0567177c9242398d647
95f0787e95a2fc3c34ce8b69cbc2428d2e6d51030c34a6cb6c8a7742b3735106
709ba3902756033762ec0f0a6b9a9425b4b312397046b89d76efe6ef88eb2fde
ed1c5f7df4ba2d54912687a535415b1b2a3cbe8edaeacb5f9cd6a65f87e0e152
cec45086ff789ad3599b100a404f6b0e490e8017348ac164db714f5ad81b4690
04ce85c11b3101b02f0c527b631caf6c4ada27d4a5b552a57b8b680f60d7471a
d109746350e417c048d0ff86a824fb0d368bdfa09d6b6955258461e84381f431
678fea75fb058cc50fd4d904693fd590c5a2b1aa0869dcf25cbcbde83835884b
dad842b14b3d7489ea7015f564a940f9da5b03a733ca254bd73f007656d864c3
10ccfac08dfd4faf7c6ae3a651c8fa45943f087a55a3d49cf21162cb9bb06d3a
2387f6a56bc4f45a0fe37c4370de405f1a336b0c13ad701dc3687f00689a6565
ae1e2b7ce0c517bf13a820549815a4be765b67afcb55a18bf02900c18a2eb750
ac1392f7d68bd568dcee7411a69e270d756b3c587d9682aacd20470370a44f2f
c1cfb0006c05416856fa26edd7e87ba085f4d3c3d7ef2694d33d482dc06bca96
7d016f3dd2a3bdb545290df9caaa3de1238768292e8cfe564d59d65198930561
79500df34948178a2de2a4f2e83d92ffab2611e4d015a899c877d2021b81e6d3
b59091beacfcc8dd4b60bce60c9f0e2a15b484ed46bb7fa40b3484456b8633e5
e81a8c6832927ff88b54ceb0211b1724ceea4caed85afef48fecc8456c20ee72
01d4ddd3115c9e04393e1baad6ff6e2de97904d8e26f3178df3c8fd29da879f8
91c115623214f0508c99da6e7eaa23fb3411f76f0d790f9aae047e74b7043729
ebb764e93fccea68de5e70d9c535e21f9b0d4fe220e97860471cbf7eb9d21610
28475d52b51d3dbb5f006c1acab2afb032e8f278b243b3a110235d969185104a
59fbdeb6463d8a7065ff682a11f999082630bda26502b095c11444cf013b5adf
121bee9cf9f92db5b2aa20582e79ca4e17c11272907134d4c47daa0a8a71ca1d
b2835625ed61da70fe6dea0985cca036c2f58e2d64d0facaf41a548838bffe1d
9aeda6a7b757b281f0738c240d969e7fba9db9a5239370f6c9f3eb4bfc852f6f
b3d0f1f606b6ca0dd635bb3a1a071e02ea44691db52022a7e8c1bb485432315f
d51cbe671e1d2bf04fab84e8635794deb0637c2e10401f8ff05d10b73df61ff1
396c0ddcaccba9145880991191ac040d1ab19e1254bd31e50045c0669db91259
f29db5a761f5ad4f4f24033cc5c6e9079c2608b3a35a2dd7b9a137661f618907
fe00f8685b9b37f0ab6a2117d77bd6a8bdc39599559cd54c069955127bab28b1
acf4b78a036913684faf920f31a412e0b288d8c79da53b3cbf95e8dfd8eb9a6a
5bd5fb5610e9f0aef6daae9cd5a994adc4bafc2b194f2be59b0fa82656f5a6eb
b2519cc066904fcbf26c249032408c5aaffbe6c4897b4c78c9d554d0806ff07e
c9dc5429d62645c315ab7c9def62403e9f2075080e6c4681a44fb7387e0200a0
c8e69d723f1cd0ab2668b3887537a78a22542c19560ba8fee5691e5f0598346b
aaf5e2e4247b4ed19f6eb9e2231c89d605c25fb8a271b12035077c05a753d48f
9cb4cb7c742d9d2a7a6ace1e6b515c77dbc879d4979cf645d6558142ed91fd44
c008af39c29c1146f1c36ac85f9ef340c3b5ca6271942217578bc3cc92c81fc3
98372e9780d578651708451351765da3e6da795f27233a1cd724e1034b9c0390
11052645a7f222b3615d4fa6d834becb236240f768096418e21a0955191520c2
49b348a55dc0186b69881865a9f2ceb0b44d3617414577719f1c9bd283559584
f5b7777592c14958e16682b0f546ec241429866459c3e4c2c94983db1c5c3184
f830934dd3d4a9fbe6bb5ba4a9bd1c2cbd15e82f96e5684e51726734c2901154
ec43f420c89329788ea5e7389a6055fc6872d7641995de025272a682a2ac5d46
c9cbe319f0ce7784703a5e05f5d09eca9d5382c0d01bb21b13661ffcd523ff0c
a047c93583d229ab1b8756b78ae772267d9077ab48840665e840d8583adf2a44
12394a66d068f1c0464b23cccb330c4c86f750a2d9fdab2374f5790a7a2d53e9
6a06127b421069f8c5773879bf6c8a249d141ff7478fc8043e167384d3b03f15
a32f413e8680355788554450b62c644f6e67f0d62cb979ebd82b2c0585a20125
49c98767aac5fb263d6df2c80530680ffe391d568d2c6802cbc604082765978e
40b66842b1527dafa78042c9b652e7dde410dd6c33e4f10d2ced1a3d41ea1efb
f3854d555c673a991f95a1a3800ba9428507a40bd0117a0339fd718a354995a0
430a891b3d0f2ea85e1a8625a5729fc8
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMTI10
%!PS-AdobeFont-1.1: CMTI10 1.00B
%%CreationDate: 1992 Feb 19 19:56:16
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.00B) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMTI10) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Medium) readonly def
/ItalicAngle -14.04 def
/isFixedPitch false def
end readonly def
/FontName /CMTI10 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 14 /ffi put
dup 45 /hyphen put
dup 65 /A put
dup 73 /I put
dup 78 /N put
dup 86 /V put
dup 97 /a put
dup 98 /b put
dup 99 /c put
dup 100 /d put
dup 101 /e put
dup 102 /f put
dup 103 /g put
dup 104 /h put
dup 105 /i put
dup 106 /j put
dup 107 /k put
dup 108 /l put
dup 109 /m put
dup 110 /n put
dup 111 /o put
dup 112 /p put
dup 114 /r put
dup 115 /s put
dup 116 /t put
dup 117 /u put
dup 118 /v put
dup 119 /w put
dup 121 /y put
readonly def
/FontBBox{-163 -250 1146 969}readonly def
/UniqueXX 5000828 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3ffd20326947b1065649b533eb5e9e3
a88a87fe987918a687950b26f647d6e08bf14d983ed1d4a8ca1e2da8d985f944
2eb916f5b6ed0697ac7c33e1e36a3bf460d34ce45f1631871097cb04f18e3889
4cf4ac1538eb19481311d24fe3be7beaa4a3730e8b4831fe59d6d9ce2e46116b
629c7ba2f9ce3ecba2f43bc162a5a077ca1b2882a42afdcec3f4b75b5d63e0bc
8e5dc95257766d8ea467ad9cbaf47be60f797580cced6884b3a68f70c91f4fdf
80fd00ed9139e7f480dc3a76af72ad9b434187730bdfaefe4cbfe5c7edcaaf24
9204fd703011932e5a3c27be468b7dab69daa18dbbb6335ab8ddfdc607961c7c
02582763fa069d43563ba17704029945cf42fcb19cf78c51df0ec4d851086d43
c1ab38e865ef36865fff3a08b01cbcb070ba4893f7482dc7819ad03d337e520e
7d8cd83bb8ac7aff4df36751f4f12aaaea2b6d7260c09a26e987c904003e0723
7dbcc4a8e4e85cd3259f40d3caf55c742cbb40ad0db1044c20a4f122a63f7b81
1d945bfa69662189ce4d089464d2ead9f6ed60b581b04114d5d45e97be27a576
35154e9b8464f2a0df18da855eb51b8f64d3054b0b2e84621f025a0776d16fed
b988a43d2d64c32768dd106b9f541ae8e68ac0bb7399e16f4d4ba074b2152d0a
4e9b5bfc21bfa0d531e28165e518ffc054dd4ed0d74eca079d20e79670419f92
e03bcbfeecf3554d661596f6f29e12170804d15a250d917ffe7a8b6e8fa53047
1ed97ba56481589a65ca13619129f1e26affe6c22f0c38540f8ce37efb6e9e9b
60b51a5a9cb4454fd7c7f92f2f9437159687ab590f35b946a54491a7739c9269
e0f1fb48b129811c82edb3171cbd5105fe65906974db8a7da92f4f43dc7f6b36
6981146d86d23613a0b38d9d6191db9fea0172e982cb1cc50e382f69da1b377c
1be9407f88a2a761b56f398467a057f35d18c01cc377e006182c891ec80272e2
2e3a5c7123cd27eccdc87392a9fdf63bb40f02b7649cfc53ef933c6518744cb8
9cbbd437830ef5b1d58b00b67bbcf4426dc1e6ef583b0b4ad3aebd741e3ff0f7
29ae271f032019b1e7268043fd215be590f9cf24da14a90f1683afcba8006cef
5d5632c2481fbc1bd8224e8952debb7c4596a237e5505ac143180956ca1f603e
ec70cdb4a33e1c4ca1744adab17c56e805c5a53b130f561cf0b9bfc0a5c7fabf
7f588769860fcf171d1ec8dde503be1d5bc14661ee0b58b3e0b44105ffdcdde7
226998c87327263eb3068901eab9346948123542562a692428d4c5bdf5383a89
e91b0f3c4a3a8d354a8f65db222c6ce68a24ea5a7c6e1f74a9949c0bf558bdd4
fed9f763a1cf051a2ef3f1590ea34571e5cf76a6b3356731ca29b705c055fbc1
8a1d4bb173dffa190ce8828f3846eae57f6f0fb35633534e52ab09708942aa24
fa916c5d9f4836f8680a193e0b69abfdb4f1ffdde2e5a1260e5132fdd03e6841
13c98e844bd7a2ec8c31384187db63a2f5343d594185636a10153fa7fc12c6fc
988e96b7b33e806b8219cabcaacc28d995c67fb3b1ab80ecfe0b6bc0bb202275
5e637046bc4efda131e6876e1bee381e292fa3e7a81c23e4dd972922db38845c
15176c12a008c88c9bdf7ac818648a2fc59fe64105dbf9ff089550c2278fe5f5
90ca53bb5de34f78e23bf2ae82f8ee200a8cf0e108306ab1a63cb86abff62624
d11fa286530d82a8831ef66d075177d73c25b8076bcaf71b77e481fc0416a778
a144f39eea09ef7a7e3087467864025da5b73cccff4ff29c661904fcb8906481
2235078e4ccdccafd84fec0b5e14a58e2c7d512000c5210e097288606ce9df31
0a759b40e6c91149faf78c055d371ef03d9d330b1afdb1681cdbaf6728246708
a41e87341a8357ced643915b4e99355ea25c6ee29de9dd19f2773ce221a8869a
3424428b8257159c8f9a86548869408a7dcb62a81ad4d7a2b03b9003ba076137
09aca6609822cc65783e0c8967b5220ccaf0835f05ec44a38c9ef963fd228f71
5014a990ffaa295081a1a0f1a4e69eeb8aa7d0838402d690ad19438a8b69a1ec
b53843218d3789868ccb209f0548f11714551c57c88848e40568ca60412ecc7b
81fc7cd62e646f969d99649c46a41f3d4249804bfb23e352ccb91cb09538a880
9d1e627c804b008f5c159383e8d9aa7a95e0f6609f0b2ac3f3c90a140154261a
7f288a7aebbfbc5b0199cd486daca44546f64896bf642ea82ed29bfa8dab1198
b08581c5408a9e57ddbaa4eb17ec0f6ef3b28170bf49e91eff222eadbdd54e07
ec3d2bf88d9df3aa21c7d177e140264af4a7f51bec123624cd5f5a484653f37a
e918b748f4a05086eddbc7fcd88fa785d22a21623c4c714c3d6c23ae396f97f7
1254327e1d680816e809965a46d0906748e03f117cf05ce7f49efa5128e23cb8
389ae3f0b880655eec0d8799d349102af6df39a537751f942910f47ff0393c41
9d1bdd3fc7a6d2d5bd8d1bfe03c670e224a2e4d2ba26c17ef03b71f75f1d3bdc
e35cf5429da3e8a4bd3d32248d78b5e3f0c5cb10f323c9c9bf20734b5ada75cf
bee4ee039b76d9b2a604975686798a0bdd63913b0b961b29f74ba3b323b51a76
1eb977dd9acea7ee493b4322fb2fc122203648953618d065cc25db11828fa5aa
e112b6e2b322046b30503b91acb6c4b36efe604b72ba6e73fb178d3e58401a11
f0592a5bcdae5a3f8f4c0adec2898083670829841cc86bbce046ae6b945a9a83
0d23d2c8109225ee00163cffb8a362b0758cae6c153fcc550975abf1281266ed
97c850d3747be2a60a5673c81a7f157ded48c02c9a958b2cb83aaaef88886600
b7fe08b6fea8466253734b834d6d160f14423da0a1597937ab55a1e561de6e84
fe3ab12c9a38fdcab7e860a9a99c08208d6c5edaffb309f1680a463bfac52f7a
1693fa175046e64d513775f8e33d8334190b93e16e8b53fc2cc284562e5e3bc2
1a5b18640c3384c219b53710321cce500fa708b0106192b9c962c925abb61715
3e7abbaca3b3e17d94749e93548e61b066069cf0116eebaa700ba405f066a3d8
bdda3801092900bda9f46a7616ea9552f818ab395adcd4dee8c87c95bcbc3778
847d3d0f39ef4fdc545fd35e8bca0bbfc289a1a66f91cca9f2d33607f41c772a
f628c341b72994138bf371ef12dba2039c07bdb074bdb745d9f92beb1703bd17
0b253347d0c46bd93e98d9667f7ed9059908516166cbef71a0dac07eb56060f8
d78d542d9b1950332664f60ac6cf86e7367488bdbeef62e556df65d55a5fd506
9719afd70d4921fe6c78a1b7f66e1c2f6267d81c80676a3c22eee3e671f6a8c8
fbe6c4803bdd3262ed75c76dfb2ea4e0968aa6f367fc45755fce39a98351bc0d
befea1f06c58b7f0b2c5517ab27ede2a8d6233dcfad57211672c0c6b8427e38e
e314b7938f88d82d10404cc7277245e6975fa59e1ad002e217f9f75bb2b37a40
63a01f11df8fa4969563fb96c0403acc14601e01520fb6af191aeb5593537b70
d9554839caf2be63c374417c5186fbe0512978e6f8c06c5e3e2ad24a68fa8b26
b90179650fefc85dfbf2958b97aeef9790a94ebbaccc63852d746ee7e196bea6
90c68a119a64bb5542d5e54d8ae45e51996436a85a84910402cc4875df07069f
328e75018d20ac1a256b91b83349e0a92a4a1ee51fec29ee29600aff69a3e141
4aabb039f7a371c100499ab60fb583601e45e477a3dcd469dca6e3174096296b
4391779174416ecca7ceea47bc66cfc592dca30a0bd68765d2ac3dfb9d8cab31
d8834f4cb6aabca141f6fc13fb106766bd2b6b1d930e5bb3fd08d9360e4e587f
55e5322938b30e7ce2068ca41039cd01811a391be55386113c42223a44dd4147
83992c1725e012a908b381028a4af475d0f1e1b81034f83783dea5926ae9a67c
1d2d0afafa50bcb82799316a6db8e2b44164d46ee170b3ebcab0665f0290a971
9db14359868555770084fe3c369031046a1b3feb9b29a325df553c7f550a1e2e
8c92b77dc3a13035607aaf7843474b6831426e8950595fe504952ee1b580e497
a2be525e82ec5704f27b72b7b40eb9bc9fe991a98b9288f67e5c78e371e58313
0b27761762092e248d9d5c8643feabe842f0db6213b51024c46b2e6f637fe8a2
5f17627001cf8ce32fa848235325471f05cef93f835017e837ffadcc5a2a93ff
105ec15ab0e1122dba1a30bac9f2ef32c957c3d82d6dd1f1c3e060a14d2d8125
99314061b6078fbd13b404388b7b0f1eab21abf0b059ad7c31378f2340480996
e8dacfe69b31d593fbbb94fb680715e0912d2e060f716ce6ef9914441f488d61
43ab8be6f23b20250c17c02a8e8983958e8857aa4f3ec0387f93602628aeb560
c10e239df8b06bfd94a81ec8b7f8323784df303b3bb3ca61fd7beee82673ab1b
219e6314d2625c6c44db8396712e30ea0d53efa696f0a0bc4921789d654207e1
473bd27cb3ac6983b0a1d700c1b3c1553f292ca03230e01e10262670f39b6db4
c9b2a23d121f8fcb450e6854101b3b0db75b3e18d9cbb29e193c72d104ae7b79
b6983a8d3718cdf06959f0b9ea14fb7af708e1c7e1bad193945664c51946d365
95a117e4aacfe4c704f13892382a4c5d6e7f0b262dad75295b93cce03cd51d67
55d33ecf14e290efd6561eb2fcce6f12c85520e05315d483b83abd5d1d5b1a76
424691321e11bfb6835434e39b81aa55c78c6e9e6d41506290142810deb2fdf9
5b6ac48211ddc7835d9c72daab8883eed420891e9cff6d2639e3c5eb9e10ac2c
b040dcf090dbb2552f3671e82ec1c3b036e70f8bd45bd5b4da5bf1b53e54b21c
d6c5509379154b13fb6e2fef836d408ec8c8817a6cedd6496112e96ca3be85bc
3bbdf7723e422289f5bf3585f6604878daf5d15910aefb10282d2f2c40f6bc37
a205ad02de933c05d3b9bbce6564467aa13a428751afe92f1261e7efbca020fd
f2ae18b8fb85f42143585be9e4701080bcb7910f3446bafeefeae8d5061eb9fa
b6b49f609cbd33041939fd8ecb1edc9e94418ed0d59eb6254c7db062c6b3bc16
0fecebcd6638a15c03f84a6d71e753a067ff3f26171f71a00600d2cbecd762fe
5b249b1f6a411a1364644102f8a505fa4d6adec5caf5d81d53602039b70c2d24
1ead88a8e2b0bbb4ca2faa00314d46c83b9160489fc9a0f3291c12a3bc380d89
fa212c5c4831383ed5110ac740bcd65efff566ce6234e6dbc615602ea020b12f
ae9bde3fe32190cbb5d753708ac5444802f1b01e6f2a7f908714e03f36733229
92d8b5e4c254c48642fed09122ae184d4c0152363a66f6a531fcb5f5c084821d
d1da7fd4896b4cdff66daedc65ce275abac45d118c47f3602ed6ac781dbddb98
b1096176e3673dea66c4dba3cf857948b3a40b7b4426f75e5862e45cfbf7dd41
e8b85669f22902994e2dc0e824557e7ecbb988d48bb7cd8a6895ed547ce92759
f459b390c94519f2c4a9a2d2118a4b601cd0d7e98cc9841ff07d78b8e8d9476d
c652b51c4a6e45c6441fee7ce50fa3d59ea654c76bfba86f83b9f8d794513005
670bc69f0350df0052d6d853fcfeeed10905ff75913d38a7ff8008f97f008f26
11d7b6cc78c6c5b5b96077873bae5fd14e525aafaadb9604838fe79f53d1b1d6
5c349bc0966f209c5e63d241b645e0c6af7d25cd489d574cf10a6508bac5eaaf
1838bc0823346e86c699080a6cb76897fea7bfe9dfa33ab3e2a5993ced2d3bf9
6c5562ef4bf5fa12cf40080032f2c7882c640f703020d906d6c8ead6ad7fb93c
31ca40c4eb93b49ff165acc81a039d6a13917d4309a6c9cef67324c7e47743ba
50828a0635f097d04c9c6e3f0c4408fd4e6215be2b1334ce0c526d6071e22635
1a9520c6a2822aef6535dee6870aa962f23d5532fa3f5d7e1f6d8e19acf359d0
c8f73062d24a8ffc2ca4e813055951367bcd7c78420813a981c76f923a1d8cda
cd481ae5000fcbf2f3053fc4a421e9f824db7b83d8f5b37d37ca8de6178e85d3
3b48b307c981077abd32379d9b1effa9266b5e8ec47e83e341306deb4204d453
df6bcb0dadc1ec28e7664656afb0a89884a31009818edbe7f1fb6d41319fda43
9d43738ccedeff7ebe99d8af94a1f22b811cbba256289883d608915d5f97f32f
94c922aa89d29a256e160e46a7d622b439bd6db335e3e80f7604aef1227a868a
9117d8deda85dd0da6d4592c115c92f9295cd7a7b642b118ba3ddfc90362ced4
ddcca5c0edbfd83d3161765428c801195854eb647233104882a6b14fa5ec2308
8cef2e384b45c680b64f2608c78fc349304017cf1777bf6f54235525d31545f2
73bb2ec6aba73a8b0cd396b811a79eefd6c0bfe510f1b1bcbba4d50346c97e4a
6e6d6d7678fda6cff392ee5d30116ed38b050df372574af129570cd7948c9a91
1d13b4c11471c42ddb463459d4e5c0467483701999a277494681dc70cce8832a
768221786a478a129f14ede6491b009c2628dcf5a897a3d4dd0d786356855828
4803bf0d7bd7d4a3999ee9b676d509052893ebed6c2397eee2969f7fb17d23ac
1c5c015549872f919c46104ace923d5ca59c6a5cb0269f47156a885ec35e84a4
6dbd8e15d6ce89798e0201bd3daf8a8378c138797bc7dd60768fcf48d1abe6d9
6f7a41eddcc4c61621a045733ade84e8685804d1870a31211dc22cc7b5298232
fdd9b7d965605955706d64184c7a8fb679156ed69194ea34117272486429621c
3a219f5e7f3d276484b13f3cc455f5fdfe01c2d6cda666c731bac9f5446378ca
d45753f3e517f535b48943e23c6d8458bd6e9a7d37a4720b28cd70989340ec36
82630ff472bf5215bb34f9b8ee299b76e4bfdec20077e1f829a51a3ab81eac03
3a121a763c1bf1de2fb0510adffa00829663831e6b60093dbd48f3516ce97ea1
a28e3cc8c4f7d2c660821e681e18bb0c47895e7f10b63f5b162f4fc2e2a47b75
eb110e10e8bb6aafa4bed6c8f1820b7303ccc72fc8e162ddbd2e31b40761c467
a7efeb071298c723829e1f7e6edf5e3a40edff16a8ebc1c3675c5a6c253fc5c2
a0a3eb1d81b23b99fb3159456fb92516b4b181b77c921ff499e22add6df43985
67a585298f72b97d8e5e0c3599230e4978433c23d26bc0cab402dd2b47addf9b
2b061aad068cdeaa8d371b2bf054fd8d35387be1edeb8eea7164461bddd9a56f
44ec1d60d22f8e82bfbbc2a67d1471ca4056e38443ea587dd6af181d5342d9f2
917eca6d0009b73c1126b44f446775139eda28a4e13510753fe562f4ffe2bfbf
a5d03f1776a78d54f229874c7766a307eee5d54b11a194d2baf2ab6956aec60f
255661fd21ead744eb6458d9d2248c99566992a5dca16ff922b7ea821bc444b9
2f636a05d37f8e83599658faec60e0d939b91e19fd6668353c0a5434585ca36b
dafbbbc949ee72220d95d97cf9a24bb3ac8b65906ec133c0082cd7c69d68915e
e3d068dcc95ee86783a47fa9c5fcc5df7289632d555acfc5da1ddaf53d4dbec4
11eebd62d5a4971ea254697aa597d7331529d9028e05612347a1055db27fde11
807d8f2e4c8e45b4be40a8b7c4fa14f27e89c5d09726888576eee6571c6448c6
4a5d736a77b607aba1581d0939b7772e129be0b0f845c71c06ded25a2279592c
4a918698770b00be54c10d41e0880673022264ab69f5bc33847661b2b9789f81
0005207f58d27cb1db896474b115e6a36c51050015e7aa03a34ff50a8b9d54fd
b96ae2a3d5930d54c72417e73b93f47ad659276fc59edeeab767b75718a2b421
18836216fe45390ece5fbe12137bd1f818804fa35c2ec1737f3c083eb14d3814
5a77eff1740e889516f8ec67cf1c81b0b1ff5a9b9efefdf825399940b69b5c61
1416ac6819d151500398735b5d86fb33f2cae8eadeccaaff81077a0aa27d165c
fa2dfc3a4a0056d5b0088a573149cebd90df09f8da18c504a77b3070c27d0250
2a4fa01aa8090b66ba0973e9f6a38c4d32d8c662e92f4c105b7d023eea2e3df0
038ba2676bbfedf7c3a736e0a26a499b43c2ac66e3f9a25e8c300cac98231998
833ead06f0c50a71472cc9355a98a1428cd8724b1a17790b075b98a52979baac
810f772eef4c1076d29fbd2ea05256c7848f8a4de25707a9ada2db4aed1d4236
ea5545988abb7444ad2a9775df9f3652e8de5db672939dadb8862c7356fc98c2
cf3695a41050780ff9e343650a6cdd6ec1aceeb0bf2ab01f4a573c1a2f684706
d615ae969b9b3587c604bc48e34d4cf99eb2ea864f259e87feab69e077d934db
80a0b0f0976e4917d13326d744fa33adb44a565dc4eb7813cd72dd16b03c537c
92011ed724c68373f8c740ba0a9367d1c7a193ea1982c85868446c87cbf9875f
6218ae07c506d04d453f351dbe5e7084ee566d81efe93e675ebe8995300e1531
00192c977713d7f3cecc3ef4bb7702c1442f6a183726336044187a51a8dceb2a
8ff7cddcacc3509b69254e95e0f46fdc042d2a9ff493600a26b5a4e88bd30bb2
eaa13c860761080da78b9dae24967e7d2b5b184628d5fbcaeea1faa44d6832ff
be09c620cc00d12373064625850bed8a105e24401010f155b6ecfea05fa773fd
491e23ec8b41f1fbad378f6f4bfab25e721887661c219e5c28770fa764be9bc8
3f8955852c654e13cb88db4dece50ea2b7497b7c3285e435bd0b10af25dfc2ea
a92227bf71941fbcf4dc10aaa89492db86a0abba48c52e92e7022878a4350e5b
1b73f02bd1b51ad94a8a38a74fe51edef6a1aa1c8d2ada157217e4e8c4ceaf38
dc67700a1fa668844ce93b8ab625de911fb847a1964e678a9cedc3c7d48cf557
f08ef175c763ca61149163f96379cfcd460ac854c36d49ea413adee77341a043
5932f46e6f5604bead72a2a7de0428bc2bdf6ee78d84b47134b16529a1b63210
4e4701646550d9b5d675cd953e6f2d5c2858e20ef93f8145b6dc62d90065b92a
b930daa0c5cc37dbbb33fc83cefa9d8b5027554d42da059ce9f3a927d0e8294c
a7a7784ddf1cb8bef9de8ddfbc6156d310b401d02e77d8a5c4555f9f6bceec5c
b91b0fd60c57a5b6d7c9408a7a7ab477c0665e0486d2708abf99eba574c71212
6e4ca7b498572356fd2b5dd2d75d777a24556fd6241d6e7dc3c02250d9a16861
cbdaaaad90a45ccf00f6e90021f163a0e7a18879fc0248d12524e0f6b42e2d21
45b0e4b3efb28c4115a04634fb81367681cb6935585210a89541547e7dd6612d
d0d52194648273837b0ca9dc8376ea6e3bef0fd278391c0f99b1648fa2d35f16
7870c56a3d7915730236efa77c4c0b1914808d6680f8f4c45dca61d98bacb51f
f5b2a25c77a6f97d5db8d7a9c048ae2aa107bffdbcc5465538b07794cb7b84c3
c142aceded3ca61a019bc1f0fa5ca4cc7071df974fb859653797597c582d0ef4
9f6ee2ad31b4489d3dcbc397108ccf28ccff6353b9039b673df59e9922fbaadc
8d343c0b50fe03aeb7eab763e4935de73dfc3188d94231f590bf94fa028244dc
34583e515360b80b71ee6f062b69ad7c69316841b5ab6b9ad7d267554cdf57e2
b0c7f16d57280a53a6d9868f499081d3da84ab5ccaf620e5b71032de16eb9579
cca25a1cccbe371981fffd25f4a92766a34e265ab9b381486293af2b586481df
80ad7068a372776925bc6fcc0f33eb014f18720bf88255f6daf82610be2b54f3
35085ce3d1c4f89cba25d0be1dbdc805d41f39580f151612c6b064cb9416b24c
38d8b084bb2ca3b5b77dc8b00ce0ed696be86b7052896674c65c13f4f67192f5
b6f2ab7807770f0964766bbc60c6f5434999dd54e81db8351bcf7cac246b58f2
3600f3a9cf94512f2f7487ee9f97ddae7f5cfb61e53f47295bff01d994b38c70
9c038def44c3d27ad6c5c621099e0225e0a414faf4c56bf2db13056475359f30
97656d02676c26cdab9c5f1ff72cfe4cdc
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMR10
%!PS-AdobeFont-1.1: CMR10 1.00B
%%CreationDate: 1992 Feb 19 19:54:52
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.00B) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMR10) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Medium) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
end readonly def
/FontName /CMR10 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 11 /ff put
dup 12 /fi put
dup 13 /fl put
dup 34 /quotedblright put
dup 39 /quoteright put
dup 40 /parenleft put
dup 41 /parenright put
dup 43 /plus put
dup 44 /comma put
dup 45 /hyphen put
dup 46 /period put
dup 48 /zero put
dup 49 /one put
dup 50 /two put
dup 51 /three put
dup 52 /four put
dup 53 /five put
dup 54 /six put
dup 56 /eight put
dup 58 /colon put
dup 59 /semicolon put
dup 61 /equal put
dup 63 /question put
dup 65 /A put
dup 66 /B put
dup 67 /C put
dup 68 /D put
dup 69 /E put
dup 70 /F put
dup 71 /G put
dup 72 /H put
dup 73 /I put
dup 74 /J put
dup 76 /L put
dup 77 /M put
dup 78 /N put
dup 79 /O put
dup 80 /P put
dup 81 /Q put
dup 82 /R put
dup 83 /S put
dup 84 /T put
dup 85 /U put
dup 87 /W put
dup 88 /X put
dup 91 /bracketleft put
dup 92 /quotedblleft put
dup 93 /bracketright put
dup 97 /a put
dup 98 /b put
dup 99 /c put
dup 100 /d put
dup 101 /e put
dup 102 /f put
dup 103 /g put
dup 104 /h put
dup 105 /i put
dup 106 /j put
dup 107 /k put
dup 108 /l put
dup 109 /m put
dup 110 /n put
dup 111 /o put
dup 112 /p put
dup 113 /q put
dup 114 /r put
dup 115 /s put
dup 116 /t put
dup 117 /u put
dup 118 /v put
dup 119 /w put
dup 120 /x put
dup 121 /y put
readonly def
/FontBBox{-251 -250 1009 969}readonly def
/UniqueXX 5000793 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8
97e17cb027f5c73fdbb56b0a7c25fc3512b55fe8f3acfbffcc7f4a382d8299cc
8fd37d3cea49dabdca92847af0560b404ef71134b0f3d99934fc9d0b4e602011
b9cfb856c23f958f3c5a2fbe0ef8587d1f5774879c324e51fcb22888b74f2415
50d7401eb990d4f3a7af635198422283cac1b6cd446ddbcbd915db9bff88844e
784c6bf7389803d9450b0c21756a017306457c7e62c1d269f306bd3402e266de
fc3b5e7d8a8d2f5bf0fe6ddd40d07391df4fad4a6018dce29a2b8f692b29f202
3a7c0e66de8ed85c14f1f8492167357f51a7e84cc5d92e0fee4d81cf7fbc8de5
2d2e7bb57142033993f9c08c315abade8dbc4a732e84e142d3bee51557910e12
cd8aa37c459a5e6b7f5269f59078aba3be4641a11ac48d0b625c8325b38ec08e
4c9e5e7fed976a5650d99d82114f449b9ca14c4ec957702295a39a93ef93f618
99b8ea06b092c3c1e503e6e436e0a9fa22576c8930ab3dc8c20f5d82b69cddf8
ff4dacfa9c54bed5a3aa3ea5b129fe96be632843b9b6bc91b615581a985db56b
1e01ca60ee69ca92cf5c0882ece62edad3e106d835348822400f0b66af658f2a
e56ed08f8b0010571807009b73ab12a8cf14ca6c71f03c2a48c500f9d62266af
154a6375ff600d9bac3f05ce34142d6867a79581c533176bb2f3117336671e2e
44638a97167e2ea9644e31ea16c2ad2990ea33c54001e0c8156e6de8ab6a4d40
a7137ba275f39589fea2e2db8256adc103d6f9cc038037a47e8fd469c5f98a5e
3c15bd4ace40d340018b1cff7d1ed8abb0ac57b5b5a2c20a51957b96c453edb7
dae5affd91a46d938fe0a13363001d844ded4323f1ee6d30012aea19b024a552
315505535c85dc26bad31e09c50e6512802976d298c4e90d0044c362e6bf3ab3
62a454ee93de25ce54411090c29e9d75c80ce26a84404bd9de3aee0e3f921ac5
87f907572b8354a5c3165eea7e8b2ba4e333802132f760b41a900c698eb3d273
8bea0aaf7aae96a558f08b61aec7c7d65b2889bb7b99800cffee5ba19ac90fce
11437be1ddfcf0bca5670b543b9644a71c8726d0c1005abdb96f6e0cf7caaa31
95017ca81519151c2c0b04f81e717c0691b63a76e9b25329ce2625b711cb7bf9
9d23ec2bb5ec8aefb8c1a3b422ad617b3da4d49685fd44cc21a1fe5e1541163a
b3e1594601d63c7e98801d7746474377ce93f81404f3570afbd5dbfe77578605
917ab96963987e6efc2d3f99fa56ecae6422579852567f90cc90e4ef6d6f71d1
858270205477e221018a375ca83c572b3f972c5181d180b9a4ed08492497babf
4c4296fb4d93a43f689e296f664727b4f4e34be908ea67e0ae69d9cff26ec874
d99b880fd505a1343d3631f8506b38f254c2fb35daff445581af98eff2fb1063
fdf44f29036aa511b2cddc65220f60ae4fe9f5c3b591fb108821eeda236d5f0f
08f4b5eaeb3310b442329dc30671fb08bbb92992450500e98e582043b787fb55
cff8ac0161f1cec7e564c40f50225a26b91fa1e1ec76826dc4155ca02938105f
d64074c26f9b88ac1593f3bb982e5aa2c9bd248a14c2f76ed76b6d536eb0b804
91b236139a8ed5b0f374a32c4dd51908eca50dd79e71ebcbe1e547051f5e06e4
928131bcdbf127c22ac93815f725dcf594c233959065d5e8513424ff349c122f
4b70fe0f28953394d4d366b62ca5db8666345a2eac34c3be015b2e270c36bc50
2dbefdbe3b65729c3deb0132829903fb90b7c4cca5d3a31b38184e327c32e049
8b8262fc6db08eb5272f0e906ba2acdc422d41a4272d95e340d460ef5e62c053
3d3446a2cec3885aa1755eb49cc3dc2cd2e4362176605493e8ae4290a005f85e
ee77fe30a314b38ab385c7ab8faa10dcc4e77ac50d8c215d90f625707cf81f0f
464405d89824858f9caffa4bcb5849492d8a877a7791107d494e1b1791fb5a94
b2f5b6675c2e5a23af764a748afed22e8c0a77e7fb5298ff4b2068c3de45e4a5
4af717ad4578e733fed193d2d9570b16adf858270d26c3e84f27feb1d9fb4d98
1aab80915ad250aef6d10c9abb4c4e4afffdf45d1d03ddf8421e03092fdc7f94
07c25b6e250d2ac8f43c56f9e31c71d2283538e77d96e478c404c687668fa7b8
d12d6e2e14522c944939e017a2e4f46b82a1c854c35cac3aeca3a2b2c3fb260b
11a86a073239c079d765493906888342183753f18eeac5cb32b6e55e278a15ec
3650a5cb248c59ca359436bd14c06036004c0b47d3aab3c159ef0e3ca6354f1c
ed69d7beb4251aced13db0e80ed61fdfd0f790834daaf60d416e3af929b24566
3de8bb80cf4648db14f8b121fb9034e24022879bb3fcb8ad160fac1c989c1481
b23c5ac17b8d973918fedab3368d6144d250e350e5ab64205517d9accfe7b033
113cbca245849b3331d113a81b73114d3f3791752b9a578d4e29b7faac3a24eb
c66bc9fe94a021d065f7deba82e4f8fff1fb143037718719316ba837bb93e28a
8bb5fb7d35d75e8080ff32256fcb4ccc9e74fd9662c1609e0f131284b856079b
aa07bc4d841e5142cc0a7b6b973520ebb2ee0fb7aef03c9d34d270b048512250
c34db305c03e13fe15b04a6c0f3441cb377a181ab3c6bb81836eac336ec2e74c
f3ac4fce932c14f789abb3b60682f3e0f39694e0af1ae957393284859477711b
8c3b5667e764dfe99a68c963f23510f1c95f18ec1912981d2ec0f4307e4673c5
56d0cd90362de47e6c83305769ded3cd3d2c103a7b06d73ee0db6dc9eb3327e7
4eb177f634a83541222d256422b56ebaa91493b77be44d813390dc9e8f73a40f
b84913198fbc28fae59e48751621e1e3419b52f111d1a8e6e59f5af405e99a0c
8d0b5b78eceaab695d680eec75a79bbffb7a7440955d650a77bea463936a12e4
c76d88af29879943a055541785d1ef2f71b11ce7c4a7f7ef96b9a3b7cbb8c1f8
e3ab48b5f94f8ac55c4f7ad3d8620a53395be41f42e44a539b4c7644399fc0d4
9d67553b040ca3acd6637c91e0b2cd9e1da6c0dd3198c126c071c825ff23d477
b032ab9ca8c5212f4a73a78af09ef88d037bb21f717e621b2ae92303e010019a
cdb542d769146dd5b7a4537cb7533953d59ab9819e0cece978c9a136e62d222c
56aed8fc597ba14a93b46d48d3d7e2835b5e2c02d4987944f83d072092d6d0f7
28b8f76e597598e84cc3288855f5663153809f4a16660528b88913587786cef7
cd0f8c497941b8c8b6c859b6ed85eea7f40a224f8b12738e2076ae5aff2cfca9
ebe7ae8531b7a22032152a189db056f20835a90b89b400bce520bd804438adc2
4793013df12ff920dc0343f944a2042ec4fcc95bb3b3cc0ab5e0881acdf41dd0
d7848beefbcae02363a8be3bd52857a24b993d611b6a8fb6b799f8e2103aae31
77bd3abd4b0f5badf0b06ce15c335a0b69fb53ae7a4a3c49003475a2c720f94d
40124a7bc2ae15accf1d2d8edd2066427fcdf551841f8d5ed1879a5127fe7647
4d1ea0446f209426f417a833e07b302236bc11993982124298c77b47fe5f6097
227a92987e4e704c98b15ef6d5805cdb8061b91f58dc2a2b0e72dda884671882
251603a1ac318bb8e23b258777ba3584502390e154b219758fb7d55e08097d59
f9179ccdc74c1e05ec8f997869e6992012d0b1a6591660639f7734da37871022
4e11b8c80d85c2a99aa368f89efe10e23117b72c81fb807f0fdc8cd13cf52a0c
78cb3e45921a1b5f7d03dd4c4a7ccfd1698dbdddeea2d2e1faefefc5ecbf43bb
bb233023cb6646c9fd9e0d591e1246ced231086b87a2eb938b01f6e7cc3329ce
4d9b86ecc802e3eb8ea289b4a67cb887f080d1a4d61b3484c16ec0fb3fdb480c
6e1fcc7e3039bdb6c60a980910a21d48f60b5ba7a163670c32b5dd84d256bdaa
2f9103bca1aabd1e4c337e7489f03f681cbdb108542f72c00141776e8d13c361
304db9f94b18ecaa36aa9085971628567f4dab21d75017b0542f0625f7fffb63
4a6449db2c6ceb56e3a781d39774fb367b795201bd5e28450566eb488e050899
58b8bc5809632a2da9a6d1fd14ceefa2a6ac61b5acd88654424b4690ac06a6cd
05e838e81cc75f1e43982f30c9cad895018d5ad6bdf724dd5de16b39e82d00d7
d015634bc82c9f8b2d1689b3457f36be82c1eadadf75033a63c28cf482c14f21
beff1cc20b454692fb1fd2e4592831c3cb77614d02626d3b8932d3a3fc41e324
77aa18b9a0e5bcf10365627d1a7a7c87af615e3f4152eb1ea3a6331c061e3b62
4c2886c4f6c7a52993a88f34d0fcb0e00ff69f95318401e3aa7baa569aa50b60
9879fadcffcc68fc8186f303b7351ff226de0e96d81d60ca0cf0a566bcab80af
148c158533aee5e9dabf2f7dc2c0eed6f159f3f645621ceb398dfe7d462462e5
4963a4a9b5ad3e852f12036907e630b928fb47f3e61fa80902e47d921d383234
a72c2d1b972b147fd594ac024f5406cd610ed511aa80b3d28e23b622077b85b2
c960200292753a77d21a6083c472f7dc9f3ac74b588dca5b18859aea03c9f136
6018e28eb904dae4f79da6439ce5f66f50b1ca5da4130b0fdd4b8d5a811e480a
006571e27d46d7c98bdb0077859197ab4ac40a7c18e0eb97b4804ce8595a518b
4bd2ed11cb9ddb586d0939594401445785d19ea73fb35ae7f98cdf1f3b8bb9fe
52288bc6754067edbc110b845da9e1a4537762316f5aa8f98f5649a2e61ba60d
44df42a9dfe3fe400b48d0dd6720873e3dbdc1d73ff5c97ca304119c2d41219c
a750d872110ccc201cfe70c106d67aeccae88d7bb4d60f3b1c7789afd4972e6e
8921896dd3c4907fb990d6af6f8b2e5f4f1ddfcccc236cce1da405d5d9496621
99976ee91a5c1dc74c02251037985c0b282f62684c49f853ece0bdb3c545132f
35a735cdcc5c2c3484d6bdeeb98e76dc53c7fec45211fbc4f7b643e00bce1318
1c8d48891b73dffd6a085099e3ab0d164992db60622e1efe2c132c456bc4d33a
8f66ab8f858e10811556ff51f6624cfcf2f2bb4f4c456dc6893653782f703df1
97a8afd2e3e458f9f00c16f326389542f800a9ec54994320c6a3305883a0b25a
16fb375acc715e95abf623eab8a78055a6e1197a4016c14d59fa3fa8530d6253
bfab8031f90568f487466bc72c03eae36838cbe9d30b2424df4ce908e6ea5c1e
037811cb71a0024f5764764ce055b8dc4e8cf5e62187347c72aad1bb07d3d1c2
585d415f52f5b3cf4dccc41975a19496a9460e2dac9d3aed412d6464450232d5
045d013ccec743498cc0f281019ba5b201ac4937bbfc677cd6a8e69ea9684ab5
5c395d72a6b85ab444b91d5d7eb886bb3f2e312a6007115922365bcc8a3c9243
5a2498977d17100774b6664816261c07a963e8931de0a5aac394bffbc318c8a2
f4ab69b55d4c79b3bd7e3902dfd5804bb2f9f49031614ddafbe605e7e226fbff
f2a94654acfe287ba544198173eaeee3751ebb942fc8499e931204bbaa208d05
46adcbda198feb83ef2e91a9af246298006f8edbcbcc675bfbd30640fdc71648
46a7987006b2c0d8f93f29aa55c8242cb179874437781f770310f89850958915
95b1ae8234e280e8769c6fb28eae286c45df7378a917c8d07577f2477216eaf3
b7efa8567aeef46e94dec0933a17f18ac5af65ea1888bfea98d3feaf4082dc1e
57fbfd3006990384b16549f3f3073745065f6b9f2530494e6b8f549467fbb67d
10e750ee9cd2ccca2175f152bcfa4de73cf15d5392b950de401f3d0d4a8c5fe6
eb36dd7b71172b572764d287348750e4012e7d469c3378bc4703bb51d5465f8d
0a9fde603bece1638535dd6b49c358d61e63a9fa96efdaf83d2859e1efbfc813
fea10c129baf13cfc0a995ffc1d29c71fbe83c09b972eb40f6fc7af70bd08b8c
8207dc384e841173c0b469bb794d18850d32f8ba162473b85245764c44ff7913
76b3a08acc79f63714b286e17ad909bb3d5cf7c56dd3f75ffa7d930868a59388
68043ff7d1c3bbb75c09033a3f6178bf1d38ed2340b2e7f994cec1cd8e07f28a
0c16fef6519f625a6c55a1151979662111d05e7f949dbcc42bbe78bae0c9e83e
8b91a0736f2b7e4993d4172b55142fd7869774a6611daf24fb2af1979b1bd1d6
c8eb89639c75451dc671c648db844a5afff242a8f7c4910f0d57a35ebceb7b8d
bca25ca97585f2237907a0f87d7fa715415107ab2a7a29f44d8061905918a633
d616f8d30427edf3a451b6e0450ac7da4ece691dbd1a769eeee25f06d62fa42d
1749cff666bbe79d8bbdba91660293b25797575567cc6cd89fd8abe771705ef9
8c0619c4047058cf07ea377222667edb855fc094c281f316c4872da5e86d4067
f255341622c3a3872f68a01e3236e4471a2febc73570362f125ceac14ae65be2
460885060780e7ebdb91afbac716e92dcbd324292ce8909cea387b64340f1e20
17ae62a547b3284ac67144b1fc0542327681b1d12d32c811d325c0b9dffe4344
3b1ac39e0b5b20ec106af827809c7615c07e9a1b7e5244fd24e3040bd4d88597
fc09ae4868015d562cb0aab77b03a98d22f822d0605e72c80bc403363177a8c5
e23244409be36f24087d71f196da49658c197d7ca8f6bc38b360157a1a3a8bfd
08b0a47e084f568484a4d3e2f0acb49ff3785e917f8c5f2a2937c0a844b121d3
5bd0188a3b4a56a9df0064b1db0789030e6cdc62af2ffb1b39755df6a606678c
dac8dbaadfbe0f9baa042d62676e8f4458fed6a49e6a5a41a60bada564d08805
10b85d9cbc768c19ed21cb00ee855cebd0a5d397105bd884f423a816921d865a
1528636ebad9f6b6e518d216863d0dbaf9ca063c5349acfefd931656a0497f4a
27c1c6f84f8bc4c36f5652d79ea44ea0dde4d17192ae18e00654b8a31d08f40a
b40f1a5efe7e795d0182de5e0152115166726d1fcf89b8992571604282057263
d1516afb608ed70647e1bf53a4417d3e4b59c04f0da67c8d443b705bd4d2e103
69abdc8d63e58aab04d2e8495b2322cd543297c09dc641e04758c43d2c2dd6f4
594e97f5e75da5a1379d27eca4ecc3258fee702aaf3e244ce5cb7da4a565bae1
3cdbffe99580359f79cf02abcf9c3f52b9e6d4c303681c19dcf70aeae0c5a278
e5f46b3eec6adaa391f95cc0e6ad155b86ba9d06b69770690bc06a8b3c545f5b
8866afa781d830db8f91f23d07b12b180461b5b2c49225232beb95a62dda0d2a
bf49c1c66200944c263cb6e8a07f3c16f7e76353f5664a4af91414c6eee0d708
7d1a3fac93000e5d6e94598cb281ee28bfcfcfe8eaeb519983db1fb6d54ed080
77c175436227a93951962d069a9ea81101cc036d74e9035dc73eac18fe17972d
81d1a2629155ad3febd6262daf12e07cee1fb0a0d925b7083ee029bb5842b0e1
660b9eba61e2dfed7d20b24ba7fb47cc1211652aad1ae3ef092c5ed5c3a74f48
76623f167ceef5022f95f2981d5acbaf3beb4bea534b45baf2b52d9a1c64c51f
6c6fb9a12807308981c15d00fd5db38132a809396fcd8f78d4c80b8a3c6c3a1b
f941621147c03fccd4163abb0ed4701e4622518e88bdd8a1a89170ea795c3f4b
e879c39532b358e2e64c999de7a760841e6b9abae704d7d953fc4c9ac307a442
5d3c32ad2d232a765580dbda9dfb0fa1cba4e82d771ba5c5ef5efb905b35a263
1da7e5cf86b487dbfb7ad686ce86b0fb889d8168d232d201737a0615298cad8f
0c36de151d1b7e69ceb46b2b063d58e35c093603298c9f03004fed81ff7e4d9e
551dc47543e61e9fa4ddf8387d1fe8ef6247fffec4c78275dddeeec194c66fa4
f15d0099351ec69881a6c6d9da8323b5b519e134ce0278210ab7fae60ca8011b
519c88f8b317c32751ce5a05d0cfeeb7e5dc9a28e9391ee220733d36dbd04507
56a0930580ab1139c11f4b2ac5dffd9c78c782ad4f48dd78fbe050d8f6ad8765
fec4975e3676d180f910f12629dd2fd6b54f9280b09c827d5604de9a3bbdeb2f
581dd4dd41f311947e7c2ee54657dafc599b99ddd3d0071c61cbe074570da890
ac515beb14d8f5e9e4d8a1d143810076e0859ab390faa4cc7a89daa46a7077a8
0451d48cee89c8e134ac01381e26e0c9d9ddbbcc4ef3cf525c891640d7453d6a
bf8ef906f22379e03db219916fc6a2fdb1d0eb895a7554d5491f090750a0efdf
517d3b284788abc13ebc7f2e973f13c62dbdb72aee741e72277027c5c6a9199b
e00e4f3f2ef74c19d9514c706510c722c703f7f78ac0643d35bf488995f0fb80
6ced6fdd5cefe6ad473301450aa3ea3675694359094aa3bd2c3c44e7a1cf0beb
6b21200638920047298dc9a53f8ad8e4adc43f2eaec729d29f9aa34f9c568272
50bb1498f063b0cf1564cc0a636e45cb0e56cff62f832120d41ea051c394c0b3
0c0db1a12d601d2e8356aba84d556990c440c69574cc81a800188c2227d24b5a
e3591c5ec25f8f41f7a2bee72fd18d6eeefabf1b473904a957c50c2c4500c1d4
e602b0bc31c4fdd36638a60977072bb7af640dd87b55129ca54a42cc1978481c
dc399821aaf7824f4b44b3ee6d66f6e1a9bab7073bb9702e914882b253b56bb7
9370a85cbde68f53022df92f137bce1280c9e3730e2148c81ee2abbb4c676934
f054f14bda6dacb124227d9f5384547f793f332e9550259f51d3004a345f1e0c
ce86a6e1f299ce0731d843c5c67ba8b33f0ee919b7fc4d2611fdd8f74624aaaa
49d188f32a59f6a0e8ac03bcf554a9ab20b7b0a1251fd2cfa86f2996bda26e55
2a44c1c33d606eb40bcbba139d3f908cd66a848de82ace895cc6063e165e27d2
4016dca8725af36556cc899a9ff80a9de709b916b0a19bb3f407b0d1bad2413a
e09891ecdea40522398e4a90897f0443e2769f4179bc7270e5c2f79b7ae74744
c81f134fb9e2ac6288870ec4340fcc0529154eb931b122fd78b76191a86ee26c
dc0b5dd74b649698b9df872581d79cc3f57fe5658f73f86957831bbf3b0ea4fe
220905d11574959ecf2d7a610297086de254341509eea0e1f4c86168265a7ec8
f78d34698d32e90989367be37d422b8c059de9afd37578e8ecd0f2f328a7c7f9
56f5b0a6aa2ef49d0a615173bfd2c45fbef85cf7153623a18a060078b8cbb19f
9a69fe083231478897c528dc4929827c8a75acc52e83b209d33d239ae6c2611c
28709a0fce0438868e5053287bfc1564692278aa1df9f15c52c49f1b69248ccf
51d2867d0fcc96d73e89dab18d736b34aaf73402e12bba4387c623044d0b2628
e19de83f40663fce2b2968bbbbc50928344ca00d998389cced91331f96c041a1
f23cfc3aab0f20aef8857e3c464662a14244d9e04ddd78ad54504b3aae720233
1f6e92da6ff276bf098d1cfcd2a23afc01309841a46711bdc9fceaa799e71b7e
36d6d61c32f1b83f72be70a141f914b8bcb88d122a8aef231c8287927d345a98
0314d6b04827a14c8292b9491924a2122a0cd09e40e7ce895b01db66d79eca67
1fd49cd18f8f021080176a055d9f8cc56a2bd34eb730373ca56a9e0edd4f3971
dcefd0dc8157c77c58f40aaaa93cbf9123ed1e4930eb732b4eb910193e3db3e0
9dbfc3a5a200fc741caed366e215dab957bdaba1cf877ec8e470f81c03923c3e
809785bbd7f1be4db81889f8e327748f20ccc8d49bf139bb36c00640003df83f
3ab7d3b5dad731d87d526bb5176d96ab57a76e81b7b215144094b3bd140c7cf3
135efa1f814423a6600d36088eb05c5fc8ab03420d5db858c5884edfe59ff66d
ead34290a3adccce799650ff94ebfee0c5a849cc63eb3985dfdc5980357a091e
34c4f62f19ffbbdb9c7bf8271f5d18a8c2e7842fe3d2639324c45bd990b4f5b0
330a367f344126c3836c3bd026d10e43a660195f48a6f590935f4cabb79ccc2c
f6f01c210776d24c89c20200d815d9a9955c61a6e2919307663c65fff7028f53
e546a38a502816814255ff4eb0a6812a08a525820278bd92fa282ebaae7d7f0f
511c92c235347207819ee69acaae4a16676738206e2d368b5b79934534ffe933
9eaf682e95852176c55b5b503cf25de4429d38afef421b762aa797f0173a8625
58cffd59433efdb4d21e3ffec6503ca83d113dfb266633637148dbec49afccc1
47e5c20c422ab28b687ac018c1815dc635a65d5d4edc823dd4adfccc6770113d
5e89577eb35f3aa5b4760a27f6a28849b958a5529dd7ec4d710883e70d33cac2
034364f44f988849c2d62e652112794f4b993204a3f3daa5a6974cad71d66f8a
1a632927b235ace1ec60992ebd947482297c213432bb2aa0c1693e99ca04048c
1ef1bf24959c51cca22cc3c4be679a8701b8efa7b91d93cdcdc5a09cd2ee22f1
253d8834f35b10327ca6212c71e7bf308177aa4f2832d1ce1e7a17fb5adb2566
b16c6815e91eaef82ce97106dda6a5913b490a969c1b4bf05d0a14c804cf6eb0
fd7fd24308b5418cfe58096766a0d4d70afb9e9648d37ccf78df4d5c064110e7
f7537126fb8c71180889536246d0d80173213f8500ae959cc5b024206373bc60
31dfb6b3b4d66500a3bf529718cf9b9446970800209fe5d59c865c58f3113ad4
e28ffaff7116f42850e2979db1ec1b896c02cf064c9a787bc9ec63eb32cf7d86
3ada3428b40ec641f30dfb82285115bab8af82d105b6ad2da23e389e5c2f936a
434af7d5847466674ea7f7570a7108aae2fa4d568f6637aa1fe691bdd14f454b
66460d6d3c4addff486f13e28f7bca4b26d401f4e18d8db82ea05fbf18260f72
d75c1d6dae56fca2be8d9a943c1ad7d16f598b37cd8187cee5ff8b88e68aac4f
46e9f1591fec1cfc4bbd85623b42d870f0430f776eeb15f075cf621f90f882d0
99a720290c9249c243f071d1a2ae883210d24324be59920e13de7833b78e7437
67d50136377dba80a8e085079c8afa765c4a90e8bb6aa1a6a19720911b2181e0
665adfad1d9cf148b6ffc7041aea586cc4675478a45d96637b8afe37f0a32f66
d9ce77bf5dcdd2d899277e9f1517c7a654844ad2cc866697580d364a415a97c9
2de97e9efe1f1e89d19892b35d3b080d8e6684c02c7104dfd95500b4accd52ce
55174c2e1ce3e8971e49036fe9b250696444cffac827a24e2264e028c43a472e
a6095ee4783073a68fd084849f4aeb8829cef4c4d51db610d441aa2b124fbe54
a1be385a07dd16a2f58e0716d3e4d6a55d84ed34497b7114c01a8c1a3e013040
3c42fdf8b644f6b9acb8e659c997312f79d1a3252fc4e22b8e607cc60fbefecf
39f046391f952d21f0cd1328274c87bbda0d4e05c1420b28abe9c8c9c88500b2
dc5adc7f4fdce0bb851fbb44335645c82af6083ca3964e2a73f38686ec3ef525
58e9fdd941d89da06175bdd7ad6cb9cc75b7bc0419d34e88c02ab752ecd2ac89
98b73175bf9a6241c7ac8a4054c5baa28a598ce1c52ec3fd6193b841b914d42f
69f2dd871cb57c967c46af79cc2baf9471b7e4381f05c79089829f1ec659e7ba
83db25b21995ee3d6a0151b658064c0aaf338c19b7cd3a1deab3e92e6ee55ec8
898553e1211046e82de723dfc49559e308861953315f941831efbe6892593461
848928e76e8243e3926573cfcbfac6ea80383acb69dc9d7ae0e61e3bc6c51791
d33dda3ce284576f6ca02463231581673852f575813641b5a2eac1db870f50db
98bb1411930f9dd37f320f22bf652dc11fbf699b031150af552d1e167e8c63df
dd7ffcc41404aea1113aa5027b9c5d17ea9c0ecc5469f2660631f2c1f7dd3d52
f124aaa7636d866dcf603b2d88154670aa19d860fb064f5b99370d8c8d95ab62
b7f1a53f86a799efe2bc2a03aa4d198ef92b862e3ccc40509f030e56c95d1399
451b48ab8493a5215482854d46b49fb362cb551493474109d4cf75f75fee8c59
93c1377d2334147a0f1205916397407f601ad1bc8cbb7c27446b7092ce070863
54c657944f1127a86beab2bcf13e0c1802bb078953a0c6ff6ab0bc2e6abf88f1
d4556bd06416032952f5ce219534e0f402a475a82860ded5df1619a34ad0ae29
9ebf592062e2b9a56f464000e43b0ea9410ee20eba53540796b5a7bb361e1cc9
0c67fd5f2b887021d65dca7260676b1a2ba5cdece7de9717f8ff467852a28b06
b2619bd51af3c0ce7317eb07e176f2ac2c39775903a7abf30b28a11472f34275
3d3b30b97f7641b6f0418a570d3e44404c3f7b3680a55e1159debaa1fa24091c
b2396b125ed81a7dc2bc7bb19055a33c46a3a384873d0d26cbfed1d27bc21830
f39acef0ee180154ab1a34d3193072f3bec1f715dd4eecb61b3f187e5c3e79f1
9fcef56bd42fc4e9fcd6642a5261eb7beef41e3925a78bb9688faa2bd0175d03
49b4df1b12d6641ace374f1a9b9ce4f84b19b8964e69360414f09b034c76040b
5b9ca70f3f590972d83f5fe03518f0a05019003f8ef2c5a881c171fa7e773720
799fcc70e7ba4e79963afcfc856c2feb225e6b8f974d32457c874d650dbe17c8
eed8d9299ace96f6f55948626abc566d67795d49e3417bd299d2669cb67b8eda
000bd29e3941e7e381bed6170cacaa5bdf3e9fc3613a5fdc2121e553498296f7
7fb218242610833a0fe0798a0d7829870a55f20554493396fc0c8e0e98542316
7b46d14b7c1c6dec6229b8e683592c734b1b6da7a146d10f62a29fcf1828a679
701576d62be1d33237e65e42685276d71f1a4a194aee7314f53fc5bf9584d22c
7287362c13d00c945c8999ced61e15926125da7f92cf756f6821a299043893a5
62a2a617773c7fd3e6c6a8460a8d9e204647f659c86cea9ab3f3a09c1281adbb
bf320ec368b29d4b3f576271161104fd7c1b46e92ddba3bf14a5d3f09aad551d
ebb5f7784e4f7598a1f1c52f4e24c7ab13535b78464c68b19bd5d8ec194dae55
12026e8b4ac3836c0e156f300dc912c65dae6d6ea0dd6b82168386493c8e5e45
9da968e4bc3ef4973ad16050d551b605af7cc4b0e0456791f4cb51535b952854
a286000f21c35306242f88a0a612aae4937800bdab5d0ac970bec36e7a190344
decfd8d5147b21afadcc44f453e869b499cd6117f72d4993f38b4d99f0d6da72
fde7063432730f3a843fca36f82ff58e32672a83aa3fa5b24f16898e6b9293af
53f7cd5f16427fce036201ed35693c6ab997716fa59d020f96ed3b55be3f201c
868dd7261994638b30402517bb5066c491774f9d2d23e851926d957e5276d6ff
8dba5730d10e82dae04e58604f2d4f8ef646ffdd4887a3f46ce940bb03a45044
204b259e8e7dfda70a9838a13ed917d6b34bec20f9582f33b2c1b1958277b47e
21eadf707f1182017b6e5fdb18b6ed0a6f548d6334dd76ef9b28dbda1369a97e
94b33bed0b7aae00498c80bc63e6d8847dae45c2fa8038b78d302295c769d049
59af394e1b222c868a16bdc3a029a88f310e8900f16dbd538333e35b75bed91c
064893a1ff6e7e10e8d16184545d66755ad47cf985d401b720aff362c92c9f3b
b305a19d64c36c0cae99e07241c0b7c5c31e3d3fe6713379b002f1c5fd18851c
0cd71a17db433d99360b88b78f60a3d28a0d3a344a4039384ac25587f0136ef5
0074b6a28ce73b5a98b946de8451b187e4d9f6fb791674e22d9686445903289c
25911442a22b1b6e1c0c607d51ffabf779c553d93ca4e159b6b080ad3aa7fe3d
7ceb5783bd4af3ead607c64eaa2c461d686891060ea1344fe0dcbf76b56ee04d
f52c122ab6187d3886a248d2d8940c43edacb3829b69cfe166d5167e7a017044
0194ce6b51f7bcf6f5c6e8a63074b279b0d91a4edc06ccd2ba48d06a61ec4b40
a5a76b79de7803682007650a8f7818d983e0de77eb22aa92d824f1731a662ae1
0ec4fc7bf81109fb7e7c43940969f27aa8915781bcc0d81b8da697917240c2b1
d54a06ff2b2c652b0df74105c08e5a1f07fd0b0243ed47cb0ff54d239be28e61
0c0c1907065ada08d0222ab00b45e87972a7905263cf963350ab875781062dec
53e91ae97f558b8deff5214c20ff65917f3214d642889fc61012745e979a0b8f
88e91f9931a1f5b7e01c5f0079672fd75f2ea55dba04d748f042319d2eaecc55
7d9f80cf7a238f96ad681620321410cdef26fd5c52da7b7b1be2b7352f6aae93
6b0d7a6574768318433cd53cde2350c8847e1b0004a4899d9dd31aa2bfd07447
ea41a057e0d0ff26766fc78ad6467c3f13bb2194453b31d3a679447404452e5e
8dcdaf8831be4ec094c9c022d6d000e3ddc0ca2d88cd58ef7e8f624abb5f58e3
5a8ba653375bfc1f26391455d900c09ce1046590d5a8f7cc8e1cb5cbee484663
83dfd3503fd0ed46651ea87017099145fbfc7c5d0d933136a21a9aadb0f44449
1368022bd6bf98853d20da94f0813c0096c013b6c12637c9bddb9ff4ca036625
781b55f0f5a2ab83174310e775cae3bde48a14d482d948ef4307698efca1220a
eb94f1dc0cb25e8f3b8f4525c4322baecb4257764c45f2bccaf5c84a294339a1
fcf556f1fb1b96d60d8e3eda070e963cf33c85bab52e017432ce71d4728064ea
d5054e74ecaf3d180b515e7bd48219f7d0c0c4ef288b505acf329291fc2fb552
89fc69ed82bf75ae2559c6c4184b26230223a9769e1a3518673166d01b94dad0
27c849aa10e16f293f660a91b96bb1c587d72ac171988915d085730a18053048
0246a61a8aa9528caf00fda0bd69b30d900b2ef0741258c97db1176dd52254da
6f6cde95afaaad084f9eb3ef978f3f3ef18fcf7f954eb6b9d470ca4bff916d69
42281060534792f33a26acfa0ac49fef8926c1bc9df51b73cdf32f2f0bbbd734
544ff7d48ce904cfac46ac1e72b28420cc642b5bb698c8176b045f5cec6d67e1
df4fad82c7e2ceb0109941b4e0a76e02355b5787fbdfc2aa1f4aab50bbad320d
3124fa87660071dc70667bac494ba4cc4b2da1f946ea1991eef7d886a420e08e
b5541ba2b3af065ad51c33e82fb1622f840da10664beac523b8173af43d37903
b8398e82b578a2ebd8d025eac7fbbb58122d23273b6d2f0b1cfafaa8ca5dce6c
2f602989c415b4dc8aae343b0af40b1472445efcec2938c9d2cf5e72657f1524
985814cda3e0428f93d816ac4d3113b045de1baae5a60880acd4698615fcb13f
06464c41480ba002e14f0f5d8bdfe041dded87a6dacad8262733b32e9b6f2c75
1fe581db7805a2b740ad88d1295dac9cc4c67f7684fc12b7ea98eb627300718f
b3047ab5625cf2031bf19d8f1f64e8e34951f0821ef974669ff49bbba990a81a
2cb8f7b0d0cc7c8db889b221f101b54fb357cb019f5913624850273642fe9bc9
b09b5ca41e731ad39dd39d0dca61a4220befddb658e3eb1115e8f772bf7037f1
ae4d08fd258f8de97ee22d116329032780a02cf43af6a4acebcd7ae65bb1e60a
d23ba239b1d13fe0ab89ae3c940194acefc4165a3bf2ee78c4304d75964c551f
328574d1b1ec81dd950b9f84c0d6d2bc3eaa1471496ae22877de18a3e3d4134b
69db676a1d41e999995109b61f28f9b9186d4bf11d269dcd9d9104f49606cace
c917091ad12af6d3b3c46408dfc1f913a1de900de6f5e9f6e36122314066693d
1d6231c1d3a9af71e7d034efb9e391ac0d46625e16df53755ab395a406764446
97c13b510f4a778e8fd687eb8f8f7587af615e3f4149686d6cbc5e50c1283253
9bf7106f0f0abbd8e9733393b2352e22613e2db328b83d8fd781dd8e3cfc9c26
1adc5d67885cd0edaeeda0e80062f2e76f10f77e53b60996a4b79d4a9770c4f9
0d8940acfbc589509c94cd165d806a81c83a00054e44daf9c7697de8dab784f6
b8f32102b5f51f39a91d7f8aa3b80ff4c77bf1c8a47850f08e40304b434fde09
0bbca8863e3668c4830d60d5016ee0e5fddc96a026bbaf67074dc1964c2284d5
8dba1907ce995faf3ff778cb7d95fe888ed891b6ac357c973555996b27c19d65
c0493306e59be8c6f7cd50554b02cf59efcd83e3ea52bf05b75d4f1d19738073
acf9714704004f0c4bef4ae6b6de7cb46cea3dd8f677b72154bc57c99d51571c
ffff22146bcd9db612ed5c46aad024ecc0e841a45b5d9288d174851382951a09
70b8436dd73c3209cf00ab9fb9bfffc62a3052fbd37c31607b431fd377bdf070
480a79a1adf88f0024fbee295d42b4d91c998e13e6ec06d91a920147e18f8c27
5df586283709e4b4f55a893f4ec09171b9f208bc7ee07b701296776119c13334
5f7599700c700579c5da7de15338248f6e2fbee86f91a6c4c40fd0d2842ef5a4
b3f62fea416bd70b13fb27ff846c965a145abe2b1ed0ae1ab473938fb63a81a1
3d2aa6560edf49773c95c7551bb9578284467a0f2d07caaed1d56af184f86890
aa836c44aede22345be007db27870cb57d8391ec7061c4ab581d0f8ebd90f83b
8a991c0d1ebaf745fcf94f8883ac526a78840b7308294b90a4d671b885503537
7ba8b5e7626af918b68b7a8c78c170faf7753a37bd3436cd80e007a15607cbe9
2d2156535e87b04a14ebf9896063d142d8dec68f980202ae104a697d781e80a2
91e39d8d532fd5e1610d92f67fcdeceb3cc5989ba33399435e43fd8f9b4f0d10
be46b23fdfb73373d8df48449cf662d02e20e8bce841fb2da7ec0508d0876ba6
9199cdb2c3a9c5f93f756715d9442a55fc6204205f17c329786f43b602287268
8cf15f509541f3596c2b899f7a304a4bfb3fde80086c4afd505f7995d39a87ba
4f45e2a82b5d0653c280e8cf7443e8d1f4a41fb76ade1ef0c94df4447cf33b5b
52714b50b0175878c0db255fa9f092e404e4dcd2cd143405779173c175ce1863
e5c12ec28ef040ccb45c16c0787fd1af44557aa63a68b65a0e6f44f8298f976e
9e5e517af7589d84b6841664879e7926ea1416dcf56ef113f19df506a6b86bab
dde969e2733753d9c0a84d416f55555304c54e48ccb9424f98e88d235266a0c5
6e25ecb17a1aadf7346a3dcbf689cece54d974feae3dca3a76854f647c8f1b20
ae3a3ce957490807dc96b9ef2984ae4e60b4963123942e431cad3a7ce2aa42fd
c29468a135737148b07d781ff12e94896c61f719c0de090bf45e14fbb054963b
dbf55e43d6ae42e6905829f33905c83e2c46ff69e47ca737dbdf215290a083e7
f76f75bd98ede75ce724f46956642ca4848a68944a5e936f286f0ffa12e11284
bcf0b794aef174618c99c0499b32141840966490fd3cea90d0cf7ebcc9330207
376382abb870657949dd30d6fd07e79b725d9454c224b070bb4c35ffbcdb22d7
a5e2ed4bc457d0072bbef9039f4e3ba72fdd36d58b0a4096de0bd6528e0c926c
a507054d4029468b95fbc006047b4b153f646d134073f4bca9ce6cdc1d4b28b9
ca8977e977e5c41a930231ec20ab218e50b349ed633318639a0e556ac91a9341
2c47aa57d5001c428d92543d9d814594a3de299094ad67a67a812f72899afd5c
b14dbc0943fdb6c30edfa66f9f5ce0a469f5c24a2d2f5efda49c626b4fe38b64
d41ddee7a17ffa1e539a013723d60eaf9879167754b2a5c0e29f9f38428982dd
22a5b8c79c5d41183add1d6fc55d52421fdfe37a2441f6bb0a1f7676a2bdc8ee
b74a0ee4081c3218be53da8694f44182449bab77d7a2ad95f1f0e78d33a28879
1989ba6053841ffc79c82052a71803d286daf55b9b1ac50101caa7c0138addb5
bd7df08c999fc94233bd444aed53ec42e769bad91ca568397170235fee54a77f
99fda1e89693e06587c9932866d3ecda8ba27d5b089d47ed6a73492ac19d7085
ec0959af80b67e508cf35fe01a0f85ac98fac453f0650672aaa7caff1e1b83c9
fbd05765ddd17a2fda25594a181421a3725caec7e71b8ea048a63eaeddd0c4dc
daf28fa5fc0aace0ffc5cd4166bcc79b2e129f948980c44b9f2728059f97c464
233ea6fe24089f2a0b0bfc625c365ad97d6f496dd563fe9bcf5692a8de000e4a
a01a8366ebf3312c1a9d82c89e45427d25fc6338dd9b4f48eb4c8c4f2386e108
d22e467951cc02ba98166c340c7cfe3b6dc919ec8a427f88d7f93062707b2886
aa3d6ccf546e951b90bece3c6f02ba62a898b648b0e67baa5ce8a5eb5f2f56ad
ce5b3f4b45e19f671ab190902fc586f3ff23a4311be4fbe4ce36ad2acffb3730
cad9ed531553065dae2f0e8abdcaab4ae2321736d4f8da10d1892bbd2f2d1fb3
6bcf2fcf119930854f3cd67035f79f7e7262f284d778111a91e8582c35678fb2
b93b66b83028a173208dd52728e8f2708d02b6c317c3a62951a574fd6ec9fd5d
80847c5c0ee106697f1631c0fda54027f38f01159207c0bc11a87d76685b0b5e
5a7cbc91f503c004b58ff5b6d0837df030007d7e0cf9d6f60a316daa07f19484
20f0d16ef1aa64617d17cd7b374857f7beb9a6b463fe43779ca2da2328863405
f2517f8e5028757dbcf852adde7c3b66a939a3ef1e7b0b06c857aa0f24fde4dc
052990fc56d08d86c87df395d9c8fe6f325b12fbdd159b1daed1d284092c8f8d
05338275e7b8f7cab898adf4595bf7093dceb1dc6b41fb3d0ea13b673f55c3d7
705e5473c11999c778f6052cb2f71488dba3cdaa745e08cc85c160b42f5349e7
d6212d18aee867fb95cfacdb35a015fc6c8b177e0e361ebe9a1912aa623a5d92
4a0c1f47f444ef19ff54ac0eb4c8aab74e826cabc01f308092a6ffb63c8d5d1c
5b496fb7cc888f8e506e592c32bb4c730d2b4a0d466f5ccdc0cf1e5d56252d39
8e1fdfd526967ec8b28823aab8794a85d95293efdc2a1eaf624e848a88390d27
4938104867659db7c689d4fd1f6d4d99f074ec57e9a406e5966f6212d3c6d577
1c2de8781cb09b6c309ce6b16587d7eacda5455cad10b7c5c23e92ba38a595ed
dd6c0adcc452e6a0edf513ca9b3d1fc515343b6670a4dd6901c29a77a672e9e8
e2cfe0370b0c4b954b00ed1691fdb96023ee6db9490cb56cbf87bcfdc896bc86
ea696a6a375c798517a0b69361d608c24c805aa958300bac7d3a541008b37c29
6d90e00e98249f402b4aafe4321b93aebe2de5b5678f52c2901127bc1e8beb45
a2365e7f1b33f3e17e802028492a6a6f28c3a1c1cb47d685af9c28d57069fa7c
44f2907968b3c2f8708d3aa92bd3c683f4f2e690d7a3fe9409557ad7cae0c4fb
fbbab9ebbee7ded81ff1a7e78772a8d46f09dbd2b373909773f282bd4ee47734
0ea5cb16a73c2bce2751e5e3c60d8a63912b377a070058d391be2dc7acf2f999
3e64b03978e1cd27c1dd27f360700f6a0c49d8bb215df7010e9ac51de1cb908f
36d4f76ef785330da13ce4cb31ad819ec37674592c6d2b45331c914a375e360b
096bf68e351112a83a24980365381a6f051caaccef5a1ed1abeeb0b65cd54295
ca9d9ceb490b509543593dad124a2492201aafc647dc779bde9348be7beb4383
6b2945e1363a6d7c62cc47c19eacc813ffb4e47c499ef29c22e881d0fefe
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
TeXDict begin 39158280 55380996 1000 600 600 (cs3ans.dvi)
@start /Fa 152[45 45 68[91 6[71 7[71 14[45 3[{}6 90.9091
/CMSY10 rf /Fb 204[35 35 35 49[{}3 66.4176 /CMR8 rf /Fc
143[46 23[75 86 2[53 1[69 10[71 58 67 75 65 69 68 5[25
59[{}13 90.9091 /CMMI10 rf /Fd 130[48 48 48 1[48 48 48
1[48 48 48 48 1[48 48 48 48 48 48 48 48 48 48 48 48 48
48 48 48 1[48 1[48 1[48 1[48 1[48 2[48 48 48 1[48 48
48 48 48 48 1[48 48 48 48 48 48 48 48 48 2[48 48 48 48
1[48 1[48 2[48 48 48 48 48 48 48 48 48 1[48 48 48 3[48
48 48 48 33[{}71 90.9091 /CMTT10 rf /Fe 134[44 1[60 42
49 30 37 38 1[46 46 51 74 23 42 28 28 46 42 28 42 46
42 42 46 10[68 7[68 4[35 7[68 19[33 30[80 14[{}29 90.9091
/CMTI10 rf /Ff 134[48 48 66 48 51 35 36 36 48 51 45 51
76 25 48 28 25 51 45 28 40 51 40 51 45 3[25 45 25 2[68
93 1[68 66 51 67 71 62 71 68 83 57 1[47 33 68 71 59 62
69 66 64 68 1[43 1[71 1[25 25 1[45 1[45 45 45 45 45 45
45 1[25 30 25 71 1[35 35 25 4[45 20[51 51 53 11[{}73
90.9091 /CMR10 rf end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 600dpi
TeXDict begin
%%PaperSize: A4
%%EndSetup
%%Page: 1 1
1 0 bop 411 399 a Ff(Database)32 b(Systems)e(June)g(2002)411
511 y(Sample)g(Answ)m(ers)g(\(with)h(questions\))381
920 y(1.)46 b(A)33 b(compan)m(y)g(pa)m(yroll)g(database)h(con)m(tains)g
(information)f(ab)s(out)f(p)s(eople)g(who)h(are)497 1033
y(paid)26 b(\(pa)m(y)m(ees\),)k(pro)5 b(jects,)28 b(and)e(what)g(pro)5
b(jects)27 b(p)s(eople)f(w)m(ork)h(on.)39 b(There)26
b(are)h(t)m(w)m(o)497 1145 y(kinds)j(of)h(pa)m(y)m(ee:)43
b(emplo)m(y)m(ee)33 b(and)d(consultan)m(t.)43 b(Here)32
b(is)f(a)g(relational)i(sc)m(hema)e(for)497 1258 y(the)g(database.)1097
1498 y Fe(pr)-5 b(oje)g(ct)p Ff(\()p Fe(pId)p 1394 1529
128 4 v 3 w Ff(,)31 b Fe(pName)p Ff(,)g Fe(budget)p Ff(\))1097
1612 y Fe(p)-5 b(aye)g(e)p Ff(\()p Fe(id)p 1342 1625
75 4 v 2 w Ff(,)31 b Fe(name)p Ff(\))1097 1725 y Fe(employe)-5
b(e)p Ff(\()p Fe(id)p 1486 1738 V 2 w Ff(,)31 b Fe(salary)p
Ff(,)h Fe(o\016c)-5 b(e)p Ff(\))1097 1838 y Fe(c)g(onsultant)p
Ff(\()p Fe(id)p 1532 1851 V 3 w Ff(,)30 b Fe(hourly)p
1910 1851 33 4 v 34 w(r)-5 b(ate)p Ff(,)32 b Fe(addr)-5
b(ess)p Ff(\))1097 1951 y Fe(works)p 1320 1964 V 34 w(on)p
Ff(\()p Fe(id)p 1486 1964 75 4 v 1 w Ff(,)31 b Fe(pId)p
1617 1981 128 4 v 1 w Ff(,)f Fe(hours)p 2016 1964 33
4 v 34 w(worke)-5 b(d)p Ff(\))536 2155 y(\(a\))46 b(Dra)m(w)26
b(an)g(E-R)f(diagram)h(that)g(represen)m(ts)f(the)h(database)g(and)f
(captures)h(the)697 2268 y(information)39 b(ab)s(o)m(v)m(e.)66
b(Underline)38 b(the)g(attributes)h(in)f(y)m(our)h(diagram)f(that)697
2380 y(are)31 b(k)m(eys)g(or)f(parts)g(of)h(k)m(eys.)1782
b([5)31 b Fe(p)-5 b(oints)p Ff(])697 2509 y Fe(A)n(nswer)10
b Ff(:)61 b(:)757 3474 y @beginspecial 0 @llx 0 @lly
627 @urx 200 @ury 3600 @rwi @setspecial
%%BeginDocument: er.eps
%!PS-Adobe-2.0 EPSF-2.0
%%Title: er.eps
%%Creator: fig2dev Version 3.2 Patchlevel 3c
%%CreationDate: Sun Mar 3 18:01:31 2002
%%For: peter@home (Peter Buneman)
%%BoundingBox: 0 0 627 200
%%Magnification: 1.0000
%%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
end
save
newpath 0 200 moveto 0 0 lineto 627 0 lineto 627 200 lineto closepath clip newpath
1.0 361.0 translate
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
/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.06000 0.06000 sc
%
% Fig objects follow
%
% Polyline
7.500 slw
n 1950 2775 m 3150 2775 l 3150 3225 l 1950 3225 l
cp gs col0 s gr
/Helvetica ff 210.00 scf sf
2175 3075 m
gs 1 -1 sc (payee) col0 sh gr
% Ellipse
n 600 4125 600 225 0 360 DrawEllipse gs col0 s gr
% Polyline
n 300 4275 m
600 4275 l gs col0 s gr
/Helvetica ff 210.00 scf sf
375 4200 m
gs 1 -1 sc (id) col0 sh gr
% Ellipse
n 1875 4125 600 225 0 360 DrawEllipse gs col0 s gr
/Helvetica ff 210.00 scf sf
1575 4200 m
gs 1 -1 sc (name) col0 sh gr
% Polyline
n 3075 3900 m 2700 4350 l 3450 4350 l
cp gs col0 s gr
/Helvetica ff 180.00 scf sf
2925 4275 m
gs 1 -1 sc (ISA) col0 sh gr
% Polyline
n 1500 4725 m 2700 4725 l 2700 5175 l 1500 5175 l
cp gs col0 s gr
/Helvetica ff 210.00 scf sf
1650 5025 m
gs 1 -1 sc (employee) col0 sh gr
% Ellipse
n 825 5775 600 225 0 360 DrawEllipse gs col0 s gr
/Helvetica ff 210.00 scf sf
525 5850 m
gs 1 -1 sc (salary) col0 sh gr
% Ellipse
n 2175 5775 600 225 0 360 DrawEllipse gs col0 s gr
/Helvetica ff 210.00 scf sf
1875 5850 m
gs 1 -1 sc (office) col0 sh gr
% Ellipse
n 3675 5775 825 225 0 360 DrawEllipse gs col0 s gr
/Helvetica ff 210.00 scf sf
3150 5850 m
gs 1 -1 sc (hourly_rate) col0 sh gr
% Ellipse
n 5250 5775 600 225 0 360 DrawEllipse gs col0 s gr
/Helvetica ff 210.00 scf sf
4950 5850 m
gs 1 -1 sc (address) col0 sh gr
% Polyline
n 3525 4725 m 4725 4725 l 4725 5175 l 3525 5175 l
cp gs col0 s gr
/Helvetica ff 210.00 scf sf
3600 5025 m
gs 1 -1 sc (consultant) col0 sh gr
% Polyline
n 4500 3000 m 5100 3300 l 5700 3000 l 5100 2700 l
cp gs col0 s gr
/Helvetica ff 180.00 scf sf
4725 3075 m
gs 1 -1 sc (works_on) col0 sh gr
% Polyline
n 6375 2775 m 7575 2775 l 7575 3225 l 6375 3225 l
cp gs col0 s gr
/Helvetica ff 210.00 scf sf
6600 3075 m
gs 1 -1 sc (project) col0 sh gr
% Ellipse
n 7125 4200 600 225 0 360 DrawEllipse gs col0 s gr
% Polyline
n 6825 4350 m
7125 4350 l gs col0 s gr
/Helvetica ff 210.00 scf sf
6900 4275 m
gs 1 -1 sc (pId) col0 sh gr
% Ellipse
n 5100 4200 975 225 0 360 DrawEllipse gs col0 s gr
/Helvetica ff 210.00 scf sf
4425 4275 m
gs 1 -1 sc (hours_worked) col0 sh gr
% Ellipse
n 8475 4200 600 225 0 360 DrawEllipse gs col0 s gr
/Helvetica ff 210.00 scf sf
8175 4275 m
gs 1 -1 sc (pName) col0 sh gr
% Ellipse
n 9825 4200 600 225 0 360 DrawEllipse gs col0 s gr
/Helvetica ff 210.00 scf sf
9525 4275 m
gs 1 -1 sc (budget) col0 sh gr
% Polyline
n 3075 3900 m
2550 3225 l gs col0 s gr
% Polyline
n 3150 3000 m
4500 3000 l gs col0 s gr
% Polyline
n 5700 3000 m
6375 3000 l gs col0 s gr
% Polyline
n 2100 3225 m
675 3900 l gs col0 s gr
% Polyline
n 2175 3225 m
1875 3900 l gs col0 s gr
% Polyline
n 2025 5175 m
825 5550 l gs col0 s gr
% Polyline
n 4125 5175 m
3675 5550 l gs col0 s gr
% Polyline
n 4275 5175 m
5400 5550 l gs col0 s gr
% Polyline
n 5100 3300 m
5100 3975 l gs col0 s gr
% Polyline
n 6750 3225 m
7125 3975 l gs col0 s gr
% Polyline
n 6900 3225 m
8475 3975 l gs col0 s gr
% Polyline
n 7275 3225 m
9750 3975 l gs col0 s gr
% Polyline
n 2175 5175 m
2250 5550 l gs col0 s gr
% Polyline
n 4050 4725 m
3225 4350 l gs col0 s gr
% Polyline
n 2100 4725 m
3000 4350 l gs col0 s gr
$F2psEnd
rs
%%EndDocument
@endspecial 531 3617 a(\(b\))45 b(The)30 b Fe(p)-5 b(aye)g(e)32
b Ff(en)m(tit)m(y)g(set)f(can)g(b)s(e)e(translated)i(in)m(to)h(the)e
(SQL)g(DDL)697 3781 y Fd(CREATE)46 b(TABLE)h(payee)f(\()i(id)142
b(CHAR\(9\),)1700 3894 y(name)46 b(CHAR\(40\),)1700 4007
y(PRIMARY)f(KEY)i(\(id\))g(\))697 4171 y Ff(Similarly)27
b(translate)i(the)e Fe(works-on)h Ff(and)e Fe(employe)-5
b(e)28 b Ff(tables,)h(sp)s(ecifying)e(for-)697 4284 y(eign)21
b(k)m(eys)g(\(the)g(syn)m(tax)g(for)f(foreign)g(k)m(ey)h(is)g
Fd(FOREIGN)45 b(KEY)i(\(...\))94 b(REFERENCES)697 4397
y Fc(R)q Fd(\(...\))p Ff(.)38 b(Use)27 b(whatev)m(er)g(t)m(yp)s(es)g(y)
m(ou)f(think)g(are)h(appropriate)g(for)f(domains.)3473
4510 y([5)31 b Fe(p)-5 b(oints)p Ff(])697 4638 y Fe(A)n(nswer)10
b Ff(:)697 4802 y Fd(CREATE)46 b(TABLE)h(works-on)e(\()j(id)f
(CHAR\(9\),)1843 4915 y(pId)g(CHAR\(7\),)1843 5028 y(hours_worked)d
(INTEGER,)1843 5141 y(PRIMARY)i(KEY)g(\(id,)h(pId\),)1843
5254 y(FOREIGN)f(KEY)g(\(id\))h(REFERENCES)e(payee,)1843
5367 y(FOREIGN)h(KEY)g(pId)h(REFERENCES)e(project)h(\))697
5592 y(CREATE)g(TABLE)h(EMPLOYEE)e(\(id)i(CHAR\(9\),)1807
5841 y Ff(1)p eop
%%Page: 2 2
2 1 bop 1795 399 a Fd(salary)46 b(REAL,)1795 511 y(office)g
(CHAR\(20\),)1795 624 y(PRIMARY)g(KEY)h(\(id\),)1795
737 y(FOREIGN)f(KEY)h(\(id\))f(REFERENCES)f(payee)i(\))541
904 y Ff(\(c\))f(W)-8 b(rite)32 b(SQL)d(queries)i(for)f(the)g(follo)m
(wing.)771 1059 y(i.)46 b(The)29 b(names)g(of)g Fe(employe)-5
b(es)31 b Ff(who)d(w)m(ork)m(ed)i(on)f(the)g(\\Widget")i(pro)5
b(ject.)124 b([5)31 b Fe(p)-5 b(oints)p Ff(])867 1171
y Fe(A)n(nswer)10 b Ff(:)1058 1301 y Fd(SELECT)46 b(name)1058
1414 y(FROM)h(employee,)e(payee,)h(works_on,)f(project)1058
1527 y(WHERE)i(employee.id)d(=)k(payee.id)1058 1640 y(AND)f
(employee.id)e(=)i(works_on.id)1058 1753 y(AND)g(works_on.pId)e(=)i
(project.pId)1058 1866 y(AND)g(project.pName)d(=)k("Widget")746
1995 y Ff(ii.)e(The)30 b(names)g(of)h Fe(p)-5 b(aye)g(es)32
b Ff(who)e(ha)m(v)m(e)h(w)m(ork)m(ed)g(on)f(all)i(pro)5
b(jects.)452 b([5)31 b Fe(p)-5 b(oints)p Ff(])867 2108
y Fe(A)n(nswer)10 b Ff(:)867 2237 y Fd(CREATE)46 b(TABLE)h(notworked)e
(AS)95 b(//employees)45 b(and)i(projects)963 2350 y(SELECT)f(id,)h(pId)
524 b(//such)46 b(that)h(employee)e(has)i(not)963 2463
y(FROM)f(payee,)g(project)285 b(//worked)45 b(on)j(project)963
2576 y(DIFFERENCE)963 2689 y(SELECT)e(id,)h(PId)963 2802
y(FROM)f(works_on)g(;)867 3028 y(CREATE)g(TABLE)h(worked_all)e(AS)963
3141 y(SELECT)h(id)963 3254 y(FROM)g(payee)963 3367 y(DIFFERENCE)963
3479 y(SELECT)g([DISTINCT])f(id)963 3592 y(FROM)h(notworked;)867
3818 y(SELECT)g(name)867 3931 y(FROM)h(payee)867 4044
y(WHERE)g(payee.id)e(=)j(worked_all.id)1807 5841 y Ff(2)p
eop
%%Page: 3 3
3 2 bop 381 399 a Ff(2.)85 b(\(a\))46 b(F)-8 b(or)29
b(eac)m(h)g(of)f(the)g(follo)m(wing,)i(state)f(whether)e(it)h(is)g
(true)f(or)h(false)h(and)e(brie\015y)697 511 y(justify)j(y)m(our)g
(answ)m(er.)771 658 y(i.)46 b(F)-8 b(rom)25 b(a)g(giv)m(en)h(initial)g
(state,)h(an)m(y)e(serialisable)h(sc)m(hedule)f(will)g(lea)m(v)m(e)i
(the)867 770 y(database)32 b(in)e(the)g(same)h(state.)1520
b([3)31 b Fe(p)-5 b(oints)p Ff(])867 883 y Fe(A)n(nswer)10
b Ff(:)76 b(F)-8 b(alse.)66 b(Tw)m(o)38 b(transactions,)j(executed)e
(in)f(di\013eren)m(t)g(order)867 996 y(could)31 b(pro)s(duce)e
(di\013eren)m(t)i(states)g(\(examples)h(b)s(elo)m(w.\))746
1126 y(ii.)46 b(Tw)m(o-phase)g(lo)s(c)m(king)h(guaran)m(tees)g
(serialisabilit)m(y)-8 b(.)90 b Fe(A)n(nswer)10 b Ff(:)91
b(T)-8 b(rue.)83 b([3)31 b Fe(p)-5 b(oints)p Ff(])867
1239 y(There's)30 b(a)h(theorem)g(to)g(that)g(e\013ect.)721
1368 y(iii.)46 b(Tw)m(o-phase)31 b(lo)s(c)m(king)g(guaran)m(tees)h(no)f
(deadlo)s(c)m(k.)41 b(F)-8 b(alse.)43 b(Easy)30 b(to)h(con-)867
1481 y(struct)g(a)f(coun)m(ter-example.)1592 b([3)31
b Fe(p)-5 b(oints)p Ff(])867 1594 y Fe(A)n(nswer)10 b
Ff(:)61 b(F)-8 b(alse)531 1740 y(\(b\))45 b(Consider)30
b(the)g(follo)m(wing)i(transactions)697 1878 y Fc(T)750
1892 y Fb(1)790 1878 y Ff(:)p 855 1774 650 4 v 855 2163
4 389 v 119 w(read)e(\()p Fc(X)7 b Ff(\);)934 1991 y
Fc(X)32 b Ff(:=)25 b Fc(X)j Ff(+)20 b(3;)934 2104 y(write)30
b(\()p Fc(X)7 b Ff(\))p 1501 2163 V 855 2166 650 4 v
1626 1878 a Fc(T)1679 1892 y Fb(2)1719 1878 y Ff(:)p
1744 1774 V 1744 2163 4 389 v 78 w(read)30 b(\()p Fc(X)7
b Ff(\);)1822 1991 y Fc(X)33 b Ff(:=)25 b Fc(X)i Ff(+)20
b(5;)1822 2104 y(write)30 b(\()p Fc(X)7 b Ff(\))p 2390
2163 V 1744 2166 650 4 v 2514 1878 a Fc(T)2567 1892 y
Fb(3)2607 1878 y Ff(:)p 2672 1774 625 4 v 2672 2163 4
389 v 119 w(read)30 b(\()p Fc(X)7 b Ff(\);)2751 1991
y Fc(X)32 b Ff(:=)25 b Fc(X)j Fa(\003)21 b Ff(2;)2751
2104 y(write)30 b(\()p Fc(X)7 b Ff(\))p 3293 2163 V 2672
2166 625 4 v 771 2279 a(i.)46 b(Giv)m(en)39 b(that)f(the)g(initial)h(v)
-5 b(alue)38 b(of)g Fc(X)45 b Ff(is)38 b(0,)i(write)e(do)m(wn)f(all)h
(p)s(ossible)867 2392 y(v)-5 b(alues)27 b(of)g Fc(X)34
b Ff(that)27 b(result)f(from)g(serialisable)i(executions)g(of)f
Fc(T)3045 2406 y Fb(1)3084 2392 y Fc(;)15 b(T)3177 2406
y Fb(2)3244 2392 y Ff(and)867 2505 y Fc(T)920 2519 y
Fb(3)960 2505 y Ff(.)2488 b([6)31 b Fe(p)-5 b(oints)p
Ff(])867 2618 y Fe(A)n(nswer)10 b Ff(:)61 b(8,)31 b(11,)g(13,)h(16.)746
2748 y(ii.)46 b(W)-8 b(rite)32 b(do)m(wn)e(a)h(non-serialisable)g(sc)m
(hedule)g(of)f Fc(T)2591 2762 y Fb(1)2631 2748 y Fc(;)15
b(T)2724 2762 y Fb(2)2794 2748 y Ff(and)30 b Fc(T)3024
2762 y Fb(3)3064 2748 y Ff(.)384 b([4)31 b Fe(p)-5 b(oints)p
Ff(])867 2860 y Fe(A)n(nswer)10 b Ff(:)61 b Fc(R)1326
2874 y Fb(1)1365 2860 y Ff(\()p Fc(X)7 b Ff(\))p Fc(;)15
b(R)1626 2874 y Fb(2)1667 2860 y Ff(\()p Fc(X)7 b Ff(\))p
Fc(;)15 b(W)1945 2874 y Fb(1)1986 2860 y Ff(\()p Fc(X)7
b Ff(\))p Fc(;)15 b(W)2264 2874 y Fb(2)2305 2860 y Ff(\()p
Fc(X)7 b Ff(\))p Fc(;)15 b(R)2566 2874 y Fb(3)2607 2860
y Ff(\()p Fc(X)7 b Ff(\))p Fc(;)15 b(W)2885 2874 y Fb(3)2926
2860 y Ff(\()p Fc(X)7 b Ff(\))721 2990 y(iii.)46 b(What)31
b(is)g(the)f(v)-5 b(alue)31 b(of)g Fc(X)37 b Ff(that)31
b(results)g(from)e(this)i(sc)m(hedule?)399 b([2)31 b
Fe(p)-5 b(oints)p Ff(])867 3103 y Fe(A)n(nswer)10 b Ff(:)61
b(10.)723 3232 y(iv.)46 b(Dra)m(w)31 b(the)g(con\015ict)g(graph)f(for)g
(this)g(sc)m(hedule.)957 b([4)31 b Fe(p)-5 b(oints)p
Ff(])867 3345 y Fe(A)n(nswer)10 b Ff(:)2043 3954 y @beginspecial
0 @llx 0 @lly 132 @urx 103 @ury 922 @rwi @setspecial
%%BeginDocument: conflict.eps
%!PS-Adobe-2.0 EPSF-2.0
%%Title: conflict.eps
%%Creator: fig2dev Version 3.2 Patchlevel 3c
%%CreationDate: Sun Mar 3 23:43:04 2002
%%For: peter@home (Peter Buneman)
%%BoundingBox: 0 0 132 103
%%Magnification: 1.0000
%%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
end
save
newpath 0 103 moveto 0 0 lineto 132 0 lineto 132 103 lineto closepath clip newpath
-48.0 117.0 translate
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
/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
/$F2psEnd {$F2psEnteredState restore end} def
$F2psBegin
%%Page: 1 1
10 setmiterlimit
0.06000 0.06000 sc
%
% Fig objects follow
%
/Times-Italic ff 300.00 scf sf
1275 450 m
gs 1 -1 sc (T) col0 sh gr
/Times-Roman ff 210.00 scf sf
1425 525 m
gs 1 -1 sc (1) col0 sh gr
/Times-Italic ff 300.00 scf sf
1125 1875 m
gs 1 -1 sc (T) col0 sh gr
/Times-Roman ff 210.00 scf sf
1275 1950 m
gs 1 -1 sc (2) col0 sh gr
/Times-Italic ff 300.00 scf sf
2475 1275 m
gs 1 -1 sc (T) col0 sh gr
/Times-Roman ff 210.00 scf sf
2625 1350 m
gs 1 -1 sc (3) col0 sh gr
% Polyline
7.500 slw
gs clippath
2394 1083 m 2430 1035 l 2309 944 l 2387 1040 l 2273 992 l cp
eoclip
n 1500 375 m
2400 1050 l gs col0 s gr gr
% arrowhead
n 2273 992 m 2387 1040 l 2309 944 l col0 s
% Polyline
gs clippath
2428 1217 m 2397 1166 l 2268 1246 l 2386 1209 l 2299 1297 l cp
eoclip
n 1425 1800 m
2400 1200 l gs col0 s gr gr
% arrowhead
n 2299 1297 m 2386 1209 l 2268 1246 l col0 s
% Polyline
2 slj
gs clippath
1039 1606 m 1081 1564 l 974 1456 l 1038 1563 l 931 1499 l cp
eoclip
n 1200 450 m 1199 451 l 1196 453 l 1192 458 l 1185 464 l 1176 474 l
1163 486 l 1149 501 l 1132 518 l 1113 538 l 1093 559 l
1072 582 l 1050 607 l 1028 633 l 1006 660 l 984 688 l
963 717 l 943 748 l 923 779 l 904 813 l 887 848 l
870 884 l 856 923 l 843 964 l 832 1007 l 825 1050 l
821 1096 l 820 1141 l 823 1182 l 829 1221 l 837 1257 l
848 1290 l 860 1321 l 873 1350 l 888 1378 l 904 1403 l
920 1428 l 938 1451 l 955 1472 l 972 1492 l 988 1511 l
1002 1527 l 1016 1541 l 1027 1552 l 1036 1561 l
1050 1575 l gs col0 s gr gr
% arrowhead
0 slj
n 931 1499 m 1038 1563 l 974 1456 l col0 s
% Polyline
2 slj
gs clippath
1597 500 m 1541 521 l 1594 663 l 1581 541 l 1650 643 l cp
eoclip
n 1350 1575 m 1351 1574 l 1354 1572 l 1359 1568 l 1367 1561 l 1377 1553 l
1390 1542 l 1406 1528 l 1423 1513 l 1441 1496 l 1460 1477 l
1480 1456 l 1499 1434 l 1519 1410 l 1538 1385 l 1557 1357 l
1575 1326 l 1592 1293 l 1609 1256 l 1624 1216 l 1638 1172 l
1650 1125 l 1658 1081 l 1664 1038 l 1667 995 l 1668 955 l
1667 917 l 1665 880 l 1661 845 l 1656 812 l 1650 780 l
1644 748 l 1637 718 l 1629 689 l 1621 661 l 1613 635 l
1605 612 l 1598 590 l 1592 572 l 1586 556 l 1582 544 l
1575 525 l gs col0 s gr gr
% arrowhead
0 slj
n 1650 643 m 1581 541 l 1594 663 l col0 s
$F2psEnd
rs
%%EndDocument
@endspecial 541 4108 a(\(c\))46 b(Giv)m(en)32 b(the)e(functional)h
(dep)s(endency)e(set)1328 4221 y Fa(f)p Fc(A)c Fa(!)h
Fc(B)5 b(;)15 b(B)29 b Fa(!)c Fc(C)7 b(D)s(;)15 b(C)32
b Fa(!)25 b Fc(AE)5 b(;)15 b(D)s(E)31 b Fa(!)26 b Fc(A;)15
b(E)5 b(F)39 b Fa(!)25 b Fc(G)p Fa(g)771 4367 y Ff(i.)46
b(Giv)m(e)27 b(a)e(candidate)h(k)m(ey)g(for)f Fc(AB)5
b(C)i(D)s(E)e(F)13 b(G)25 b Ff(\(a)h(candidate)g(k)m(ey)g(is)f(a)g
(min-)867 4480 y(imal)31 b(set)g(of)g(attributes)g(that)g(determines)f
Fc(AB)5 b(C)i(D)s(E)e(F)13 b(G)p Ff(\).)515 b([4)31 b
Fe(p)-5 b(oints)p Ff(])867 4593 y Fe(A)n(nswer)10 b Ff(:)61
b Fc(AF)746 4722 y Ff(ii.)46 b(Is)35 b(y)m(our)h(answ)m(er)f(to)h
(2\(c\)i)h(unique?)55 b(If)35 b(not,)i(giv)m(e)g(another)e(candidate)
867 4835 y(k)m(ey)-8 b(.)2456 b([3)31 b Fe(p)-5 b(oints)p
Ff(])867 4948 y Fe(A)n(nswer)10 b Ff(:)61 b(No.)41 b
Fc(B)5 b(F)1807 5841 y Ff(3)p eop
%%Page: 4 4
4 3 bop 381 399 a Ff(3.)85 b(\(a\))46 b(Brie\015y)c(distinguish)f(b)s
(et)m(w)m(een)h(the)g(terms)f Fe(wel)5 b(l-forme)-5 b(d)43
b Ff(and)f Fe(valid)g Ff(when)697 511 y(applied)30 b(to)i(an)e(XML)g
(do)s(cumen)m(t.)1568 b([3)31 b Fe(p)-5 b(oints)p Ff(])697
641 y Fe(A)n(nswer)10 b Ff(:)71 b Fe(V)-7 b(alid)36 b
Ff(describ)s(es)e(conformance)i(to)g(a)g(DTD;)g Fe(wel)5
b(l-forme)-5 b(d)36 b Ff(do)s(es)697 754 y(not.)531 900
y(\(b\))45 b(Consider)30 b(the)g(follo)m(wing)i(DTD:)697
1067 y Fd()697 1180 y()697 1293 y()697 1406
y()697 1518 y()
697 1631 y(...)697 1798 y Ff(All)31 b(unde\014ned)d(tags)k(are)f
Fd(#PCDATA)p Ff(.)771 1953 y(i.)46 b(W)-8 b(rite)35 b(do)m(wn)e(an)h
(appropriate)g(SQL)e(DDL)j(to)f(store)g(XML)g(data)g(con-)867
2066 y(forming)c(to)h(this)g(DTD.)g(Assume)f Fd(CHAR\(10\))e
Ff(for)i Fd(#PCDATA)p Ff(.)472 b([4)31 b Fe(p)-5 b(oints)p
Ff(])867 2178 y Fe(A)n(nswer)10 b Ff(:)867 2308 y Fd(CREATE)46
b(TABLE)h(r)g(\()h(a)f(CHAR\(10\),)e(b)j(CHAR\(10\),)d(c)j(CHAR\(10\))d
(\))867 2421 y(CREATE)h(TABLE)h(s)g(\()h(d)f(CHAR\(10\),)e(e)j
(CHAR\(10\),)d(f)j(CHAR\(10\))d(\))746 2550 y Ff(ii.)h(What)31
b(prop)s(ert)m(y)f(or)h(prop)s(erties)f(of)g(the)h(XML)g(data)g(w)m
(ould)g(y)m(our)f(rela-)867 2663 y(tional)i(implemen)m(tation)g(fail)f
(to)g(capture?)1093 b([3)31 b Fe(p)-5 b(oints)p Ff(])867
2776 y Fe(A)n(nswer)10 b Ff(:)47 b(Order)22 b(\(of)i(the)f
Fd(rt)g Ff(elemen)m(ts)i(within)e Fd(r)g Ff(and)f(the)i
Fd(st)f Ff(elemen)m(ts)867 2889 y(within)30 b Fd(s)p
Ff(.\))541 3044 y(\(c\))46 b(The)34 b(follo)m(wing)i(statemen)m(ts,)h
(of)d(the)h(form)f Fc(p)2297 3058 y Fb(1)2367 3044 y
Fa(\032)e Fc(p)2516 3058 y Fb(2)2555 3044 y Ff(,)j(assert)g(that,)h
(for)e Fe(any)697 3156 y Ff(XML)28 b(do)s(cumen)m(t)f(and)g
Fe(any)h Ff(con)m(text)h(no)s(de,)f(the)f(set)h(of)g(no)s(des)f(iden)m
(ti\014ed)g(b)m(y)697 3269 y(XP)m(ath)k(expression)g
Fc(p)1471 3283 y Fb(1)1540 3269 y Ff(is)f(included)g(of)h(the)f(set)h
(of)g(no)s(des)e(iden)m(ti\014ed)i(b)m(y)f Fc(p)3325
3283 y Fb(2)3364 3269 y Ff(.)697 3399 y(In)h(eac)m(h)h(case)g(state)g
(whether)e(the)i(inclusion)e(is)h(true)g(or)g(not.)43
b(If)30 b(it)i(is)f(false,)697 3512 y(and)39 b(only)g(if)g(it)h(is)f
(false,)k(giv)m(e)e(an)e(example)h(of)f(an)g(XML)g(do)s(cumen)m(t)h
(and)697 3625 y(con)m(text)33 b(no)s(de)e(\(y)m(ou)g(ma)m(y)h(dra)m(w)f
(a)g(tree)h(diagram\))g(for)f(whic)m(h)f Fc(p)2968 3639
y Fb(1)3038 3625 y Ff(iden)m(ti\014es)697 3738 y(a)h(no)s(de)f(that)h
Fc(p)1236 3752 y Fb(2)1305 3738 y Ff(do)s(es)f(not.)771
3892 y(i.)46 b Fd(aaa)60 b Fa(\022)g Fd(\(aaa|bbb\))1839
b Ff([3)31 b Fe(p)-5 b(oints)p Ff(])867 4005 y Fe(A)n(nswer)10
b Ff(:)61 b(T)-8 b(rue.)746 4134 y(ii.)46 b Fd(aaa)60
b Fa(\022)g Fd(aaa/bbb)1935 b Ff([3)31 b Fe(p)-5 b(oints)p
Ff(])867 4247 y Fe(A)n(nswer)10 b Ff(:)67 b(F)-8 b(alse.)52
b(In)33 b(the)g(follo)m(wing)i(\014gure)e(the)h(no)s(de)f(lab)s(eled)g
Fd(aaa)g Ff(is)867 4360 y(returned)c(b)m(y)i(the)f(XP)m(ath)h
Fd(aaa)p Ff(,)f(but)g(not)g(b)m(y)h Fd(\(aaa/bbb\))p
Ff(.)1555 4686 y @beginspecial 0 @llx 0 @lly 110 @urx
60 @ury 660 @rwi @setspecial
%%BeginDocument: xmltree1.eps
%!PS-Adobe-2.0 EPSF-2.0
%%Title: xmltree1.eps
%%Creator: fig2dev Version 3.2 Patchlevel 3c
%%CreationDate: Mon Mar 4 00:14:22 2002
%%For: peter@home (Peter Buneman)
%%BoundingBox: 0 0 110 60
%%Magnification: 1.0000
%%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
end
save
newpath 0 60 moveto 0 0 lineto 110 0 lineto 110 60 lineto closepath clip newpath
-58.0 68.0 translate
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
/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.06000 0.06000 sc
%
% Fig objects follow
%
7.500 slw
% Ellipse
n 1275 975 300 150 0 360 DrawEllipse gs col0 s gr
/Courier ff 270.00 scf sf
1050 1050 m
gs 1 -1 sc (aaa) col0 sh gr
% Ellipse
n 1275 300 300 150 0 360 DrawEllipse gs col0 s gr
% Polyline
n 1275 450 m
1275 825 l gs col0 s gr
/Times-Roman ff 210.00 scf sf
1650 375 m
gs 1 -1 sc (context node) col0 sh gr
$F2psEnd
rs
%%EndDocument
@endspecial 721 4816 a(iii.)46 b Fd(aaa/bbb)59 b Fa(\022)h
Fd(aaa//bbb)1696 b Ff([3)31 b Fe(p)-5 b(oints)p Ff(])867
4929 y Fe(A)n(nswer)10 b Ff(:)61 b(T)-8 b(rue)723 5058
y(iv.)46 b Fd(aaa)60 b Fa(\022)g Fd(//aaa)2031 b Ff([3)31
b Fe(p)-5 b(oints)p Ff(])867 5171 y Fe(A)n(nswer)10 b
Ff(:)61 b(T)-8 b(rue)749 5301 y(v.)45 b Fd(.//aaa)59
b Fa(\022)i Fd(aaa//aaa)1743 b Ff([3)31 b Fe(p)-5 b(oints)p
Ff(])867 5414 y Fe(A)n(nswer)10 b Ff(:)77 b(F)-8 b(alse.)68
b(The)38 b(con)m(text)i(no)s(de)e(is)h(returned)e(b)m(y)i
Fd(.//aaa)e Ff(but)867 5526 y(not)31 b(b)m(y)f Fd(aaa//aaa)1807
5841 y Ff(4)p eop
%%Page: 5 5
5 4 bop 531 399 a Ff(\(d\))45 b(Giv)m(en)32 b(that)e(the)h(\014le)g
Fd(xml.xml)d Ff(con)m(tains)j(the)g(xml)f(do)s(cumen)m(t)840
565 y Fd()936 678 y()47 b()g(C1)g()g()f(C2)i()e
()h(D1)g()g()936 791 y()g()g(C3)g()g()f(D2)i
()e()793 904 y()697 1071 y Ff(What)31 b(do)s(es)f(the)h
(follo)m(wing)h(X)m(Query)e(query)g(pro)s(duce?)697 1238
y Fd({)840 1351 y(for)47 b($x)h(in)f(document\("xml.xml"\))936
1464 y(for)g($y)g(in)g($x/b/c)936 1577 y(return)f()h({$y})g()f
({$x/b/d})g()h()697 1689 y(})3473 1734
y Ff([5)31 b Fe(p)-5 b(oints)p Ff(])697 1856 y Fe(A)n(nswer)10
b Ff(:)697 2023 y Fd()793 2136 y()888 2249
y()47 b(C1)g()888 2362 y()g()g(D1)g()g()g(D2)g
()g()793 2475 y()793 2588 y()888 2701
y()g(C2)g()888 2814 y()g()g(D1)g()g()g(D2)g()94
b()793 2927 y()793 3039 y()888 3152 y()47
b(C3)g()888 3265 y()g()g(D1)g()g()g(D2)g()94
b()793 3378 y()697 3491 y()1807 5841
y Ff(5)p eop
%%Trailer
end
userdict /end-hook known{end-hook}if
%%EOF