%!PS-Adobe-2.0
%%Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software
%%Title: cs3.dvi
%%Pages: 4
%%PageOrder: Ascend
%%BoundingBox: 0 0 596 842
%%DocumentFonts: CMBX12 CMBX10 CMR12 CMTI12 CMTT12 CMMI12 CMR8 CMSY10
%%EndComments
%DVIPSWebPage: (www.radicaleye.com)
%DVIPSCommandLine: dvips cs3.dvi -o
%DVIPSParameters: dpi=600, compressed
%DVIPSSource: TeX output 2002.05.14:1246
%%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
%%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 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
b64c43053d2f6dbf479cf7dbf69f478ce583a36399a4215658d1732db4e21c7d
2049b3542d7fae59d7b64ae52b5c603ddd8f4c82370db191f4052d144edc3e6e
124b410c9db21673db6ecc39884bd36655c260f14e4a3c151044ceb6a25848b7
9e5ff829737b0af51e1d12fc4d3bdbe5818e5b2050990a48ece199d7d99c14b0
673f39955fe12e1453b196bbcc374628e0cc885d1d81e35f1548338939b37622
4c439179b843637b84571878613eaf3abbff15ae13020e8564cfdcb768fe8853
7e0bca4755071a466db98cd9bec33ad7239e4fe2d43ba4a2c9301df38f4deb13
6286ae547bd65178824c3b8136bf198f997969c05e900657f038e07d1d5c38fd
32ccf73b500a6f29dee7779d54a32156cdbe683d5a283d791889824f1bdef169
3a8f2d22340c4794326a41443b06fead0d3edb01c23073d0cb792397a8e2892f
06081c3952e72c891492d8ff29250fdbaef9db9c1a3d6beff82859484ddcd733
d5516a5b3097d6883c539751373b1735282512ba35baf5eaea3e2b32514ea907
1c2f3aa22f4f215a200f7e1e2e6716650cdd8dd2cbf76fe7114a04cd28aa3968
930711480655080d45a9125a56f7e27b738b875a8f61e4962e7ca4af9e4409fb
a50fce27426aa4c16250ba3809a4c226e6b9c5b1ef6a0b3c279d05ff6f083925
6c62ba7709bba935911ae6b78782d65c4798e8a8e972e300e3b47bf3c79f99aa
7655cd6c51070c574adbf83ce3cc6994a9bcdf161048cefc72868335e0b1c07f
f93440cdb559b89572c6bb23cefda0a0427f44392c370f934ca6c61548227b31
a78978d9ea852a3240c7c0b7efc0dc55c6218694d6d1d37d81ddb5d8678aebb6
553b516897a760b8abc3eabf33c47fbe6b54ae8610cc05b5054927bf6ca69a2e
e242491158c700e2dba243c1977576bf50acb385d09b99e8f7797d1eb593cf29
0ac94536291b6f0d4cb188d31784b56d817490ff62bda2158b6e81c11eaf1aaf
268e4a12610d6fb22e265eb13fba78987aff8f60937c666a190184d303eb0ce4
76b8ba150de0bb0a0dcbd6e27de591b7bf4232cc7b93590f1f4fab81fd06f0cc
6feb19365a4a75a043e345f0e9cd511e4de7fc1ab4a12438217bfd0991a33446
6e6e8ff00d527504ce85741a535c2864b23e1afe71dc2411980a8ccefafc1563
3a25476b766b58425879765bfb0203a472256643a03e3a9812ea0471d489b0f5
28aecede82b066adb5c4f0f8eecf8e7c53c2f681d94f0e99cd921aa31db8abca
fa8a5788d8ab7341a28be7159ea85f412937f82c58537a9a3ca8efdb5a28a30e
0d313e81681e883d9bacc9dadeb6c78e559d6dff27aba4802067d4979762eb75
b84376f5ff85586c61030c62121a5597d98cf941786f11cdc597bf933a582312
14b143c1fe8b5b9a661156e0f0563b78caa258105d
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: CMMI12
%!PS-AdobeFont-1.1: CMMI12 1.100
%%CreationDate: 1996 Jul 27 08:57:55
% 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 (CMMI12) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Medium) readonly def
/ItalicAngle -14.04 def
/isFixedPitch false def
end readonly def
/FontName /CMMI12 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 88 /X put
dup 112 /p put
readonly def
/FontBBox{-30 -250 1026 750}readonly def
/UniqueXX 5087386 def
currentdict end
currentfile eexec
80347982ab3942d930e069a70d0d48311d725e830d1c76fba12e12486e989c98
74c2b527f0925722787027f44470d484262c360cdfdddf3657533a57bb16f730
48bfbbfcb73a650484015441fdc837add94ac8fbd2022e3ec8f115d4b4bb7b7f
15388f22cc6198efe768bd9fceb3446ee4a8dc27d6cd152485384ef5f59381ff
da43f2d20c8fb08aa27ab2015b774db10dacfdcd33e60f178c461553146ab427
bdd7da12534ba078ad3d780414930e72218b3075925ce1192f11fc8530fcd5e3
038e3a6a6db2dcfbae3b4653e7e02730314e02b54a1e296d2bef8a79411d9225
dad7b4e6d6f9cf0688b69ba21193bf1495807e7bcb09b7064e91fa0ded228e42
09aae407a7aaca60b1076299ac4abd23ef02f108765f0e3d91f92f3afbfded37
2fcf6e4b1416901517da8f2fb3c9fe7a87bcbe6fd36cd5b5823fdb74229036a6
3c3346a1093e6b1036902c1bf42fc317c80abf04020a47b344c36de42f05c490
a0ff44ab6d5249e9f552a8707bb7661e242644814001c8430ebd5e5f0b944ceb
666ee64359d663e355b2f17093a964139d17287f6ca6a024767eba4fe4873855
babe2f07b91560f68300b06dfe27264c163195d446980c35bca0b48f7806626a
e72636593a05ba403ce1c0f8b2cea3ecd586e90ac17d034ba4af708304f23131
3459fbbbfb97d4834d0395754ab3f22d6495d2144087d448616fa1ce27bc50d3
46543287e3860d99b433624119bb9920a2113604c0e260fd275ba55e0fd19c83
e19addc3baa1f32f6b7284038845ccee71a3311ddb17b84975f7a984bed7c6ec
2a06e5b335a763d081c6273f86a46632fd9141a27902074fc860df3a2eb59b89
774c767022dbb577e30da128bd7706a43af886d0c256b50fa968ef06776aac0b
a5387e9011eb2334c1f42c090f06a1125c207ea6324e87f46414050d88017d08
243dbc8e77f146155e344f2c2d1c822efa66fe9b9b0136e0035035bfdb96fb74
e21c5dbb35ba8a48f2c3ddaffd7c28915caedaabccafd5bfb1c03e8ad35cf856
dcb8b99ffef7e667290bfec71c54f2d11e0adeea3f5bee429ece9c82a50e6c64
714757bba9e05757d3fd361873a479d75fd020db055b1132ccef41a87b125232
5c53aa134d9b7f37a368ed1a7241238d0238176bace35b22f557161e34a5f61a
e1aab9baa26c7f71eb8061b83e035f9c5b54e95a0c83cb7247defefafd8e5ba2
4ae1dcbe09554340bd9aa8ced071479ad42ce399be5a0a4809cb3903f3d1490f
b1d901a65ca31c3c535600033e4936ababd6145e330182e87aab73cea67c1d20
52099ea8d2fbf20e65cb21c89660f0b2b921533190bb19d44ea20d43d89d2a58
f83cea54af7ac21a17243dc71e1239777683a8ee55fe69facbd2b95f57ebf7e3
5cd03640a7daefc82b3c846aa24f23a8cdb5bd88e637b2c87230e9f6c5882e43
4a20c5241c326bd03763b2a16d73beda69354c5b1b662ffca0612e3aff625e43
703b99194b055a22790b83b32a95f5ea9c31330d6e7c128d025b8214d8eca24b
6a3036da8a0e147d679d81f509f9103136796a63d12b6edf5023c684ae5cf1e2
9138b1badbe8b16bd965bdc98203eb9a092b207afb7b6fd97a127f092fce5eee
11717f28d8248269f201172f3ed0bc1d2463ca5d749b89b72c341cf7e3b26529
148c55af374bec3dd2727b432b731f04735b819394971d119a121c94e288def7
15c9a1d1b9847046c25bc5c3112ebbeacf26d994ece806b7b19aafa197b747d9
37a8a40c273a5c877728442a5efd73fdbeb059e51769858c11332e9f583ad5f9
06fe0b65781db2d04342d1a62a26a83a9b26b4ab7845ece3f6fbbbb91fefd34e
b3b9f204707dfbc2c8a9d7e5e46e26982b40e84f10636408d7c9e9efba9a79a8
f4e52bc7d0dc1850e5f60e3958d6fadbc999a3007604456c8438c278f12c232e
64caa5960e4d2484e1a19a16a068b6308b70582ed07c4f7cf9253cbead07b1ee
0a3467ad20ccc17383404db82903b95b44a662e421913b2c30742cd93ab365d4
de18036a437aac73db60339b8399694e191b52e4cc57d1711a7199373fc2d508
f6825328dfb5e21047024ef5fa4beae8300549f0279b6a1d8b48a946e9c9c115
d8ff2f45bcd83a620f6f9345bc7ef2041b68caf05db7564cc2f04952970089d2
0bc2c0f2cac5aae785344fbc4f7b04539acc725fb7b56835018fabd93e153693
767755db7009ec74c15db97ab246283ece2508998df3f26e697742c710429103
456e55ee7fbe448408a0d97ee6a2523794ba9839bbd8049520c869f068347406
573e1e6c20058797471c4b44c21a9332d5b20b3ba1823e21b88bd4b1b333cecd
653e9cafa0588c43e4fdc32480ac35078a728840e91042c4ec781186038e8e53
7715062de2b7700ebe0aba99696858cd2fc9887c14450d88645c9ff6684b69a5
a56e613d9e337b127e62bd0737f3aa8bccf4e41d236c4c043120a396bda41bae
eb5431f60e31b8919fb1b7f4412791f24c6fec3a003af72d1e5e0f6a4d9cca4a
836f05bca2917903964eb754910ef07edcd2320ed1f885fb3d2626841722eaec
9142dcadfc4e58d487e3ce1b4d4dfbc2d7caad88e61d8ed816c0f795c8e803a2
284a72e18ba593c1c4b143ea064205f2a6ddb879ac82b4e3c50184deef36f48d
88e0c64c60dc4c271c4c967c60b8c19d3ad2e8afe07da4cec60f861c24900d7c
1757d7ba2adbfff061f87b62c5129aacede6a923c99fcd5adc8d4d82f186bfba
fe0fdee207c4e9ede893d50ccd6471fc828ca063858fc4b7c794aae0843baa01
e724c67065033c8f0a5583147d5584497876cc42329279027751b89cfcd64080
55861c7fd96e0ea79dc5dd904af61bc44928b43c546ced9aa64b7ca15d12cafb
ffa5990e8c3aaf198dd5a85bbbc2bc25e70fd8605ad8cbab89b5194ff137a43f
1fffda5637c78e3e0173e4708ad307255f9a24032500787c1a2af5b64bfb6ca9
9069fd7928b5dd1753ce3f83c8fd2670df3e6b746310b6bc4167d6df610384a4
38f7f25f82d7eda0710db2a676bdd521d288f9b651932597bb62338db40b313d
2d0a6e0c552e515c8bf95f4776bcfd49f6849ee4c5850cad7e6c38d2fa8b1594
93e1044984b2a8b9d47e778a2fab691b2ab7ae0bc0f3fa071573b2a18a8e4ac6
89cde51f5edc529802f875f5127e6069956daf02adbf83b16b3fa0f61e1d9df9
f8b66221e2afc133eebf936fe33550fec4feef6d88ab14683d1aec9a596c9300
0e128fbe13cf5bf723f2374393cfeb2429f165dab061e8256334dbe018f1fa37
3c1b77a29eed0ffc30ad01c69b1882824c3d62dd1b27e4e2dc8dc36ef5eebcdf
46acc9fecf4825c202bdca606db4eceb5ec83d784cba8067c79ec41466c265fb
9b86dafe93be825965bf392be6e8328c24690801b7f0594c7278a71e5afb32eb
b6200a5c93dc3fea0dbbe09ed0fc75c0c5b7aedf2e725c921a2004345c2e8a9f
b9ed798d4f73d071dabbcd13f5328bd8b7fe487f0dab80b577bea34a95fd9ec1
6be827ef316ac679f94b89604f5feb9486994ffb840f8dcb7473543270fc151d
7ee8aec708aa2141c6023ee0bf7989ba1f4b38813e21d718159cb2d6a6fee0ec
232741866fd22578ddac82f30fa2251b248506fc490fdee5a4679b1caadfc8ea
af43279f128be7cfa5678dc0fab2629759e80bfe17c1a643e8958874709184e5
bd3c32f8cd6936297b2b3dbe71636d5c11688b9c483c88432fd76e88cf31f1ff
4cbb0659354a11f11aec68f8f45f3b95eec0a415fadd2d9718c13ccb353cc6d1
ec0f62621eecd895a16dab3e0921c9318c13ce0e0f8bcf484cff03661e858470
07f4d6c8b09c6e17e4e8a25e60e34e9cbf9322a2b1f7b30cd389703a97a80daf
101ea3e1a87d3cf9ee6d3c67fc6217393fc07af95cc78b302ec9daf185150719
759f12a98cb6d6b5ad284295a8268a446400cd25ac394a3cf89fb60c45b84bd9
b2651ef685af9ad97751b40c4acbaddd2550847fbf14615288706f6b67310f23
0a85b019da37ba1f8993a6e8b12348237546173a66f7e934182aa99d40a8ac6c
c8590e09f153f9ff798a2048827e7345f520afb0b416df15fa254080f03729e8
8019a4c0813a072bdd0d53f539960b05480d21682b0c2844ae5a403488108b1b
d8a64ef185dc3e7508c60011c2db04c4eab9bc761336a8623c1dad111a333b70
cb4a3f427d2a705317355a600171a2361f05646be636089020521f797cbc3dfa
c012897d9ed0db12b91e5972a8c485694e7d2d98a92ebdce3b188ed2b2149014
6f212dde9a852860a37886285e385db5e3c4c31523b50060698ce3d7f2147b8c
4f63f8a33e674147fec90048c7574cee29f521a8e129e5d0aeccd6fc238bec67
684f3b2030dd12c4ff57287bb98ad4acfaee13b9432cf07dcd8d016ddd6dab35
4dc3b59dd2ee17059f6fdb4b745027f6e37b3191d30fa0b69f665379b0963e32
7ac2a7d9fd27f0c6a0d2b98dbd95cece0ffbc791d4baad9208938a23e7a29757
0c90a8041ab70caaedfeba79eccad3eec94e218780f3e8877fc6b9f63b4b9b4a
d7371ecd7a9847fdafd68249005b82b075b36b6831beab5d6f3ffcc7f5f33ffd
7d41fe210c9589859301ba24c2af261598773554e21714ab4360ae6dd932e8da
f34edef6ee812fcd355858dc7885fed36adee852e284793f55bba159a5792b82
cb8fd0b47b1f158080dc2c5df96e98818d2398be7b96394e9a40d96e68ad7684
4d954e12d4f19f0174cea2a2d19bcb8a5fe98b71f7f1f8cc46b227a0c18dc92f
bd3b3677146c4d013306ff58fbddb646631c696c10607e6af0db99268b9bf6d6
5be3ca22141cb2922c0f75dab7f8767d36f58b441480735578d2415db6acbb43
dd237d26ab502914904dc272b9981a2d0c1064498f9365b0810a632ac6b35567
df84c7b6cc32cf90f150f7cb548a9601c52373600dea4b3148ac3fbcfd676d83
10a010471054bd5605aab8f96027e337739a1b33d61ac012602b1fd3370637c3
b4fc348df754a8456af4d6b3b16b3c844df3e80378ce985c11eb84c94cfcb955
7e89126d25f6d14950e5a75887ab4508994c5461547b8e2544c1e3a9551d12f9
935b690f1386df5ac580a385caa0b18e275ef6bd61c79e6f26198805a2c154ac
bcda26e0a14fe8f3f9166f3371baf08fc694b7338bad423f6be49077ad8ef3ae
927d7f487f7db9b6ee43a0d2425c01ff8d774fc5cfa5aa08beb679f401f95566
43e5fa870eb4487dfc5e72add7b316ebceeafae7b47e455aaa90117651446397
9ec25a4f
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMTT12
%!PS-AdobeFont-1.1: CMTT12 1.0
%%CreationDate: 1991 Aug 20 16:45:46
% 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 (CMTT12) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Medium) readonly def
/ItalicAngle 0 def
/isFixedPitch true def
end readonly def
/FontName /CMTT12 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 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 57 /nine put
dup 60 /less 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 89 /Y 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 105 /i 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{-1 -234 524 695}readonly def
/UniqueXX 5000833 def
currentdict end
currentfile eexec
9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0
0b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3
79791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3
2ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8
b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d
823385fe55f3402d557fd3b4486be79011d1f5b667eed85fade30ab2ec4e1c2f
4fe750cf9a69506458071de8896261c001b1c290937fa42a1fa87de406e9f86a
4c9c0f03f69fba719114f8ae51040a4c03a58b6f3de027f6726f32743dce7395
14c2c6f3c2de1aeddcfa8eed7da56dd68dbcde33c29ff7a694769049e4325ec9
61b2df16add2ad46f18781fbd63eec62c26f1db41e6a666a09886382dceba91d
8ff7cedd64ddc8a2f15fe34076a064c46febd1f4dc3707aede0ce8af161bcb8e
4ada202d0954baca5be71c28ab8bf32fd72029aa07f27d658a68f454a4bf386f
6314224d16c7f0a8624f6b86319a4e2fd178f596f3b20db032ea28c157a68a69
fad2bc88881658d2286c0d4ef061bc070c3145f2a37ebec03f51de7cda34cd97
7eeebd86b00f9758b3a496f41d9a74279ef3c6322dc54945f95062c5f37a1e51
cf7eaf45f2b3634b2d7d01ec3b298ff35b6616cd3020e096f6c6aa2bf04c4a93
61c19f3c67a28d936ffc8120f1e46980b29bf54047c5f1fa48e67611a74fa434
3384f802a4079b28b94681e119ab0c1692de5bbf426440ad1023506cb80732de
c64d9061869cb34de924d2c26e404b7dbd9be55b9c0c5ae3095c15d278adbb49
12df1484ed2d73128e5d9c1f1a3b9ac19e2ce5366c96644f5b3d3eea589caedb
586fd9b8f4df32ec910e9b7434d5bbe57e03892eb03890567df5b811afa0da5e
929d456af3638c5c3b15280174d19630e3fc4b1c0ff6ff28ab65d04d55ed7347
8b4ebe1ad34c49fe38193abb280d5a40e461d087cba6f482663e5a677eacd003
307b48da9e58a0ade9e675c77a24d5dcbfa236068157e7d13548276143369cbf
88f83fda1e8acc04f9a941fafebd81172c3e68d4828a180aa3af44ea8c0c423d
3350bdcd0fdd4575b1fed12071782c3c5d906b119ef1e72e0d6fd178e234bb50
04583cb5ae5b9a1008e9b820b66f669833f83b9b30f54ced0164ec307cdd1fa4
6218beb8378b9f26380c66a325e60be83d8acfc09c743457ce90c47ad8f5f738
043ce0701f019624a29b78375ddc35d48640a8528b6bb5192ad789149caa7842
a03d1e1977b694b30fcc339ea526abae862d605ea6f78efe7ec75860956662bd
73e443a3174c538e315d77e6a7442a3adb076bb07505e46e4a9da209cc20f416
6a1950becb0a9643ed5fb2bfe7f0fb33d40555c897560561083c5ef289da0150
a0f8d61edeae8c478eeb451a88901c7d6e0aa77df30932a84bea6cc8b40245d3
5fee37d6b46a4c89451424caddadd6587c56c118ec082aa44868be93e39da28a
88837acb6df27dabbe7fda2a947b6c0a32e6fafb8fc302200a40bc4efc97ffc8
d885cf77b7aa77cb2530fa53da80dab291ebb2e351b7eabef098bc5e19fbf547
c0c9414f410c4913c7b36a2a365cd7864172dd5cd3e8eb54cbc27a76ec71b982
16a567af86e389131edc2612024a401745d86d3b07ad57bbe123e445244b1bb4
e713f6c570630446f8876ad4653072a26efaa91d4b0e51472aac279d75734777
bb9d18dba1cba696df9b7aa13ad2c888471d2616eec74d0ece66d0f505dc6787
744272f20e7a1fe36d1d6d83d5108ccb596f63eb5910c792117c243f11d072f1
57b31f54a68507161c1382e6ad480e9f52469d4e341056502af0de0e1036abec
08d11ecf42cd9b16207fbb305e257028c2bd00b1f23f553e4b8b320bebbb326d
2521b5958f1254df67e16b8789eb44d10aaa52b7ee58cfe228f44e8d16de728d
c6c200daf128fafb986669abcd6011574c5a76f1a6c84da9d632f7d6e478bb6b
d1cae56c8a601fb25c756081aa5d5f9c8dff7be7e6f0a15e59a691d11068f663
32447de4e4487955def30ab545ec2505a00c44778387771d5d8da82004432160
9dcf4359b80b9d711443b27f6eb982bdf73efed88d333bf6b5e67de4d0f7c652
ead476d811203d123e80137bbb6529b6caf75ee27ce8801d66aa1342f9bf5cf2
0e21fbcfd4ca74a69bd650b6464dd056d935a989dfa8e9d9521fa073a0d9e6af
76cd22ea8a4d6c3c320f021f1112a0d9210b0c1526b8cd7244402e36dca47f74
a132756b4fa78e1b28dc2cca09186216fbf14d8d918cc45e0e1de384cd8899fc
7ffcaa824699f05b58ae6872405bfe1f7fadd114a7445061b997433cf02e0531
7cecd88d5fd8ae95eea54ef656a43120c1afa37d6f5296efd22618febceddb3d
30933abe2b64afbd5d5572d4a6aa7df12856cfa83abebff908fd3312343da271
0e2bd173b0a583ef85183d3d68b47943d1a2cca5c59d513e1aceff90d5b9821e
9335bb6f270fa947fd0db2ada9fe10b56c6ed05ffaa2cdaec0c79908baaf8233
4e2b930f114088f3197868d86cae59ccd561bfe14654af1526248a022948ffa6
121457d99064f8fc7fae86a551fc942ad83a3e684d8353e4965c94ce9863155f
dd820fe9061d84c7017b279b61d218d35f1856a8e541a3325801ab17794d8747
cf96a695244ef11acfeb18bfe9172a130924a5fdf5b5b17addd509681737b130
c87091e50000d0a9b0a3821a8878ff6d4bdbc66568eb041d348b5352fef6966b
8cc6662314ff1be56303a92969d0c8a5b9ae393ebe7efd03ab555735f8c13bd0
f3db037adfba2115abc07f43877a5822a74a45e8a834fdc723474ee81db911cc
ef58b82d29b295f06dd67e589499035bff4d753df9d49bac8858cc011a09e412
6e2639ba7a6ae148331060c4b5edf0c308bdd96cd958a3ff26e9678a4086f72f
bc144aacce196cec0a350f2f440e3c22269459e48a71b4d2271740e1a4c58ac2
561793dac2754fc8c3cb23ae7919a1f5c4cc80a12e2e438f6cb711d50d4b4af1
dc783bbbc1ab5778cb043be409f6dffb2dec628c8f40a3ecc56d129b3c9a9da6
9c8e2b92516d52d198b8096590e81b13f40d3ff80ac160f4d17f6528e7e8709b
513581a953bfc973561ef9347ee04ddd8d9f9f071ecbaa59e2c9df8292c83c88
6f010d36431b260cac3d5f1a18694aea7977063fe53e2e72b625d49314f56caf
f6af50211b9e96051467316c147e2a1329d365ad5c4b46114c8a4d656e4dc83c
0b231ad2ae0ee4c52876765acfa31534c1d912d125d1a35e85b0b8d809ec471c
812b0e27fb59397043ff85555a729a9ffdcab666609b92662362a97fe6007e6c
7e1a827d70acbf255eb9de1db46c12673cc5d66ac681afad024ffbc0c9572030
66ea988a644202de4a04e0c94a030cd79d6248f27931ec8bb331ee7b36babc3d
3f95fc3d6b77d754503d78527532e2ded44a5f1ac531e0ab8650c6362c5599da
cb3292bae6ed84fb975205a62e7841d9e7297091c0e028d7d5e8fdc9c475e88d
9869bfa24c19c37690743ce5c56bf4004d0f0ee5931a8d17fa414dd529c56abf
cf96620c62ee4c1fe1fbce0109e9b7e80c37226be8988ac0b5541f226bf12750
331401b01aae5fca778a8d4d72d75d828a60fac859a98c560e343dfe091ca587
92402ef58993af04c1199d1d12f9a8340e127d7300dcecf7a9a073560032d9c1
aa3b59f357bed8e316e50fb1b3a43e7dfd5f2a12c13eb462dd74dc2864367f23
dce4bcd942dc7f01e18a576173c03c1100d2c75e9fd043fe3ab7570bab5f3e22
474fc16a094692d2788ad1d144d87e820bb5dc953b6034ebb9f4f95b52687096
0699c5b742b70137d27610bb1c7d25f2e3b32fe4ded224cceb40a27aef85e544
35688d1ca19ca7c6f93113a912c5161511530f45fa8a888a5949543328523e94
66117e901a9e84ff70ffe49d064d4b38c6745c92bc6c98c69955a7259bf14d65
7b6f6fbecac448858349ad7335b75e3c3857b674df8d28bdc20c400a0b614ff8
5706b6d9591b2e0ca984d1a7c55ff1eb1608bcba5e7a21f0f3fe8dc9aaac9081
014d2839283e76385bcfd83c43b0e6a608c7e3c096db538e07f563da4180667d
507ad80a33be4069e6b2c094d6d1f77336a26898a366764cd151ffdd23fecc4a
1787f202d730e5a99696066eb19fed1357b2f5775ad3995c5a5187046e320702
7b55387114fbb6fdf40744cabc7c5250b33750dee374765de7e67bd57cb47bb6
c3afcbccbf39afc2c020a12d2adbe43b9eb6568800b2c1d07a9d35b4222b10eb
20a4ff6d939e7199e5ec8197458bbfbcb19b1f7ec2d70e5a884a4681108f1eb2
86e1ed1210b360fb04f341d8c6aa85f4a0fa2438bad805ff569fa2b34be7dd47
dc4a4466fda955e5766291f58528fd6863df3d77b6e0fa2ff4505a9cd1d2312e
28e1eca9dc5c4dc93e83b2133f23f4b82ab083d16411c35155780509d2ebbed8
927363c40734039bc7171a25ffa5194469e1c8b13e3704a1ec3f427dbc76f326
d823a58560edbaba7c4a58ab4df1893d6da632c168d9e57bc48d7bd39aa33067
b5a9cf1a1f53d04360d67f21cef8552907cff58c2d05cd86174e73b6fbb8a4b9
5da4e25e5d43478517480d2dedec6b903a05f121655a747b8265eeb0f2311da0
d7abf8ced7c45efb0455fe59b39a12eb1fb35533d0143e134432f60dee914d09
98057fbf05cc3d47639eef532bf1e045ad617e1fff6f3f63d3497fba14d121b5
e69475b7951a407e62a763b35222406bd18b55ec7cfbfe4c66321e46e73f1bcb
3b979b4bd413dc92b5f5556378589833d364828c4cab65bcea4b60beceea3782
30b23a5848072a33b149aa0b9022a87d35973ffe2048986889bb25ef127ac8ea
4569bbf768da0a9427a0e2e8f0175291cae5638a0f113886c6496acd802fa525
e31b5da5ffa8bc8044ff03d91d8fa1a264e01ce4871b8aa99cc15bf29f945729
1489f36e28deb5d8d61133205b0428c16890b244c7e8b1dafe269214720f6cf0
c03fc7cd4acbf61a78ce8bc65816e583448ee8958db8cb2a51da752192fe4433
768abf7f0768ce1e0e9b893865229f807d8313d2a6620c243f4df7acd16b8990
38213d2291da452cb51694b7302e5b08a45f13a053350a9d00593a8146d542be
1e979fa283368b1ceb9e9e04dfef2443ca40ec14163705e04ca27c67c3148722
767cdf3c2abc52f51f0978e92daf699c5f101a46bab9415893b98eb1105bc309
75e46687600854d185e4412e8c175227a2c75aef8c3dc1f634c6ac5b6fe93cb8
c25078df41c8670b338eab68fac5190e5a5f18441317a6757520fa47ff7e29a8
287a80b3c7a22ebc46afde21786f7908ac54fb6dabe75219ee0a3ec95c66c1f5
000abeb0a03c94dd3e2c88fc7cef73fb60aa448495db8ff18b0e9b5180128fc1
48b99a8b1dc2d981ff38e2ada141d91c0bd0b97d2c82fbc3c9b860b72fb90409
e48d1b2e41ca8559f9866710fa630d401e7ce63e29df8e6df1bc9a63de9e4d08
bd9f610fbf0332897eec2badcf41daa61e2623abb9ff01aa72572e5465f6499c
40a7a9ea2d66215eaaaf0c9c9763f4aa3fd9ad85517390c68abe68df75fb1bb7
ee70d12292d14bfc01d817151793db7abb38ff9c114778d179f229806cefb663
fe5c132b4d846e85f1c665fb5255a3885a8b120f4bb4601d143ae890de0cb141
81762b6ce8371b888c1c0ba66a282d6dfeb5d482bbbf0bded11d5f886f796938
8ad471ff3a315eb0a3e25dd1ff51445c77039ff72806742921dc82e8cf33f808
75c075d6c7ddb0e71ed272de481e68bec91c36f095b1da2d317e018d8240e69e
4071c49d38f0cfbb7053be3e9e4d9714f31e70a5ccdc9b13b8aa2dee0a7b5e00
8a627fc2f6dcc74c3a639e0da55cbdc370b3e6553508fe26aa6cbcc7f451ef5f
31dfd3933caa4248d55501c8ba385837aa4cece8c20b7203fa27eceab4a05ff9
4f42397927461ed3e61cfcaf757b22d0190b97239ee592861f442259c42d7be9
5fd382a8a8438e6f04195623c76f13349648d714d60bed188a538f963580dcaf
00308d33a0ce622b0cfe4a26e4388498c7256b10d6dcf7eea804372297138268
ccecc01f03198024df986f617d12a88a9e073521aa2391fb0f053de86d07a6f8
93135f87fdc0ead383e1d9664ba5418f51a2a5b3f4680871b3996932c69b14f1
2be7e01705157fcd8c1a3eabc4affb46ec57ae9dff7ce6e42b9c4889c4bb8ad9
e8d853a8611ca8fc58d9a6212347d1913263efefdb2003b5480e8c1a2fd97c6d
9b7cd63013857c11e538cc091838560ad99281415179d79c692b718bfc17ce86
c53c16d32d37157c869830976fa00fbc5ee4c1b08d9dc46401a7e43b443f3ab4
aa02c999e2bc4daa49da04e0ffeb885b91105315a94581c185a96ed87211d5c5
0b26024edc532dd565c04c024ca6a02848f433b3a918e511838e6942c45c05ea
e14d31154c0a49c307428df10b0683b21535c5d43c72dbdfe5e238e92dcf4f95
86a2b70b3287803f6291ae7251166039c6781824368db7c37bac9bc371f8650d
c256630c7ef227f3c2fddef7407da6bfafd7d95a6cf6343b92d1df2ceb62d71d
8ba6f69c98503f493624250bdb5041d9896a85e8e70910bed724c83c64b4a6f1
00ba3af4785b132e9c7033d4fd0fbe344e094fce744cc02bb6566625924ac413
4b0aca8f3b1a1fc38d75a038eff7a280cf21aea60156e56d6461457fb9be8940
53218585ed9d684ab8e33750388cd6191be4ad53b172d90be25f9622f25ffe9e
eea93bd1b96973ee4c010e5dd6cc93a88b3cc34ba85c16d7a76d7e2fb90e9d23
9852c8c20762cdd03a6d31bfc92e5226329366d72a35cb887307a0c13087f417
8f0b9ee877cacb61aef503bbba668751a8f910e8ac2fa84a512f6d7f6f2f0c96
42454d0d5d461d54c675e89c871175bd7151fb93482f28cc0a220fa3b9e25c89
fa84076ac6f70d1157678ec6e98d17a74d72a8b07925476d2cb9cc11b04887da
4e12f5a8914767f17450a4d1e0fb7e06486fd96410d428abb5a51290bd10ade4
23947e08053dd7fdc72eee466e02e97898676995b6d3d17532e0a09f4b8df681
7994179cbf2403843acc98ac08abcc2a8ededcf7b8959fd01783cb768e7afbba
09570235170f106f8783762446472bb56b7b4f44cd912de82e51dbe83f22375f
f79a1a117796c6540b84d9ec94b510eaab05c9ec4dad43bbaeef637958c04fee
ba3e5e23e183dec9a2adfc7ca527df1c9bb003c3d27b1fce7cfa7bf4ede2adf6
f856272543de6346dcd0037c3df2483e7a3b7a3e55551d0869aea219449ab20f
29185c46c4eaabe36c5777033d96e9170b326b3ba0a152ca6a3ff4f5247bd2cb
931e400d7a63f8c9785332c2dc1bbd0828cbb4238cdcc45c9aba5098c10a9b75
3f6aa4dc26bcffa2ac931738134d2a3a362cd2beecdec50eb0e68ac0a44d7605
bdbb9e4e1bdf6d98d95c9ae7e73f55b93b8cc05915c367fa45d8d133103bb5ef
b7f382377b7b6db10525e1c0dbd7e89ec1dae0d76bd91d9e5583ee98c6444bb5
2b85c46516d6f25096a803dff83468c89ab0208869c53ac4c5480222b7921623
05e51e015e1fc38f3cf73ada464e7c0de401f6babbfac5d3c63abf14b12bfb98
4c771a98db5170fc7160c0c5892a09a750e72961440f33a51ccb904816091048
71c86764a16c4ae340faca31d85853f1aecf0195f299c0a3271b94b4b94cafc1
26397cb78b90c78c0236189c408dd7829ede7c0d67a07f48e8a86c1000ad51e5
3cfe1d5b9fd6dbc86fdef4d21cffc86e58db05a18a9c81743b4da507ec6b548a
683571be7107226b5df710321024d549f7b7687f300f53754569204482522908
0b13f46701d40426bade155bd6d4561b8056fb7a32cdebbcee9ed3fb670a1ca5
acc024efbd797d685b5544c5b103eabd5d57fc3e3ac171b9df8604d17a9274b9
01b4277738a9236a2ea391c3fa93287ea27fcf6f8694e6dbb2a4cf131e43c88a
58905bfc889e84c042fbd6c6060759756665e79393688b78d50f613611a411b9
15575ee339e26ef3dc88036794cc2fd5003affce7d8c3d8d3e44af0f1f038e9b
812221abd2f1d43384e8e1110c12772f8c717cdf55dc71d45f4997ac26e85e99
3241ca5d6c3dc5aca22066e29d99f081113beefaa223824b4d7122edf868b128
d3b6c30d41166c9cf07721ba0fa688a233803af535b75a0ce57aa6b748032f45
a92d48ec0c9cdfa4462a595d34149fad2124e741aaf4b1e6c3768615962214ab
2d8666febe947d3bf3a4da9d51690478686f4c335683f7821331adafb6a22393
6b9e92dcc8939c152890fb783fcf531178f06f8d064e29dbc515e5fe3b24d96f
d324760c46890bc1aef6b0c6db7b214e374076d8776679a71313b9ba97db0fce
e95627f94771e3275fbf1fa9c001d3be4bb155c393d8d310a6ebe1f61572cd25
e0f5f798209956f84b595e7a727ef0af6d50f11c023dbe7992b414196e8460ee
3870bda02e0e808444a575ecc2c55876b9205bf78a4eb7973fb55a0c659242e1
db7a9fd510e8de34af4314938811d4ddb403da4b3410c4d53801724e0373a1ae
4c873eb004e18f72db9f5ddc494800c78ea16f0f68f7f6e1e22a5eb61f2c83e2
c84d74b9264a113ffdcad934a837031e2c382f026541c172c8be4ff05b51b0c3
bff2faea5ab1180d4411dbbb13f361e25bc88b260a8512c7928484bc407707b6
02ce3b6fcdd652ff99a4b0c41837fc66cfd4e1a52e0880dd6b5c6a130d2e2597
77ac152648ceba46dbe01dff67124985c2dfff7b8b2b9391063d279a4429cbf6
8780fc2b31a2f8febb1c5a948a3d026f9b53123da15a3bb68c87fb10dce8d614
744ce5340de3218f815fb468f29253b26590c6005d391b8c06f83f9cca22d854
ce5aac6323d99704e332bd6894d315859d6e46ad81e21f9acae832c72bf24f61
4e82f239023d24a788800aa1c2c3b9354bd0dcee606befc7b7b025d7cc357200
93fa71cb8157e9bb3180da21764155b2307e414210824a8ecadb57342b37cc5f
074c04dfe1b05803a7bb2c29db4df2f09c2ff5078ba05c04038f5f7e4bd21dad
e26518a1265a1d6142dc70fe477e9579c6495cab4ab4e5d2869380849b89d2a2
cf8b75818ba006c3edd3e5cf66d39f6587ad35b00f31c18059be953450a29742
9a94cc077795cb1eff612211ea2dfc57fb40dc594cf5efc2b8b130c731ba677c
be30f161d314657891142a4a2aecda51f4a8da8542bed46ed053eaa014ac8e61
4ccaac360aae549da3737ea790be700d1f78ecd26aeaf94e7a90a0e4e20068ab
e93ce9ec6b82106d86f2672a5634ffd66a4da57fb12b26a1d1d066c17bc8d6a6
a4e16b5cac3cc0ddb6abeee32ba9be394a63859e537a52dac504c29ee16681a2
29c75243d15486e86dc5e47c2300414c8b0656552dbe56ca97402c7ab6bdc02b
1d0cf278c4a2b08e8a2240d57baab8c64bca39176e9f5b544717fc7566f6a5dd
3860e464b3245e9deac795a7f3bdd2b34cca2ad1fafd64bb7986fa1f7ec191ec
b5ab9906e5fb28730691aec91e9c724baa3fc62b502f7b51aa1947c24f9b0311
d2fb810b58a567836e8879b4acc5e5ea7dbf68c93975a9d8b57082025e9f8cee
b63adbf0442f135b7477aedec922eff8b6018e645ea72b207224510597c4916f
391309913ea1547e0a44fefa90c71d859db55fc5221245c031ef69ff609ea436
9e6772f614ff6f9a4315925517342d6104d893fe0372204c8f21a896c7435270
04d9463c902670f8d6f141b51bc0c87226d96be04132bf6392e61fda9c1d1f43
ee6f03e5812d0ea85ca33302bb405dfc1a304c8c397b477165f117fd4d09c996
7cf68d243d37b291851db78f822f262c63b444d9390c666f580956d8d48e9d0e
1b95159cce906b2e91477544fffb6ea170d4bda7b7b2a6434a6528da17e931cd
38833ab6470c27d47acede8962bf1eb3adb86bff579f602756779defc76cd5af
9ac5a96dfd72adabbcc6ff22322a07a6e5eb6bc3f6b2451db90083355db6ec86
a932c8e9bd48fa43040264648312b517b0acc81cb82cd3833a6df4c0ec1827a4
4206fc5c84461ec440911540609d1f68678365b98fe129bf3a012d088831a145
0ce1c9b63e75023d0c1e67a8725cd6e4ee3460236eb82caed6198ebff14967e5
a17351a20cde29ef7a213839352fb8b2b53bd6333d32261bd901c4af1ae90c22
94ef4e3abb18e18e762a0e09d258f5417b22c2ae972a97cbcea2d7a490873d30
71794fbdd8b61317289b1ab741827a423ce5ae51ae9d15602ad1950dc1086b70
07823a8d7df42e4327ad4c47a412794e15d45818b6e5b03bbac25ab55c0d2249
ab41ff49f6ec3059b1fc43200feaa93d4d4284c6d236ab588f02d1e0c0f396aa
14168acde345264de52f722b9169c6805380392139cebb6f7674f6a560de5800
e86dc2436fb284fff0c8d51ed54b9453b7ae8d5761527027e12fce45f829a79f
81b13c56de243bff1c0e7e9216d0ed575c4abfca8dd2cc88c29930b2ade11aa3
c06f69abe5aa2b7ace6d1534b46f114328a2a94cad11df23057b3ea3fd7d71ca
9c01394f29788b645808b962f3cb10cd27fe0efb54ae46fd546c8381343a7c27
4d3631dbffaf2a12f9871b83de8ebfc439b38df5989e6cac7c1ec8fc2a9fc2ae
049517e2f6b88a49dde93d12daaeb24118cd843c95a9686e63cb48ad4c6380f8
52d6645c1b199ff3d062a0b62a4fae84fa52c10c785c5d9298cdaa820524e44d
8dcda4865c074a8951fa738783c62036e3658a918e42bb5bc3e7e16303760ae9
87a1c4407788b451439a65df2451bb069caf1239461382da1c183893e5f136b6
3a9e2bd0229b881581b1322ae6257527cc375deef8abdde1f98646f3a5f9868b
7613dc3523596e421fda92057251f793bcb81fb7fdec5c4a56907da700c6c524
3eeb2287dc8de35073ed08a016aaed91e96a5e1f2479be0c9881b97ae3525e2a
aac8ff7c07233a8c1c65df6ece9ed03105c64f72f73ca9cc6f2003d6571551fd
6f706341a09366c37b2fe9f7568909b8324b2ab5b9728826062136435a6e317e
fbed77c67e028155f010e99784a430bf8c587b45ccade8b739c9abf4563c3fca
37a4f261b0308635b99d6ec0e0ef61cec349a5b79d90ae0c83f43c7d1a4ee8d4
43f99ee0f4ae5fac34e31264b72baf29ba9b2255a8e532d2a5b4633636aaa64e
2f552dcc1ad008fd23fc232455b45a1ddc4685ba4e1b5ec16c8895dc2898a843
d907526e8c021eac4a1ca19d7f32bd81a2f53edbd7f394411bed3f804bb9f9a0
ba3d48f18e165e4be040bb8a06d6a006ed96da5345e56e00a1a766c5dd19fc86
1aeea951cefb7184c6644911746601e8de1ae7695d7890f25505b3d89e23e6bb
8ec632211e43b4b16c938ecb171265ad5ca02fdd4e816b78b3bfecbfdd059328
555a89d22bdf43b69006608a36727982178ea6b91fce018ee68145c23149614c
68f06ebfe26aa7ad6534897fb1d497bb91e6c41a47112d296469845fead32b16
cf06d8a9d549e44a8e34fa34e3a411b14bb9b62bf02c164ede7fa4a40632a7b4
0576cca3543a4d1b14d56c7b3fcf0dfa859279950e5bc87a594d50fe40b5f696
c4c92e3d99575627c9eadeceacd4e6b00bd06fdb2f7f8af1435b0f6e68cb4044
30d1f6e6c9f1f2461b9deb3ed6cc9711db2195536e60b6f9796e2f2cb1202d8d
19763a44e76239011553ed410e5250418bd5349dbbf8351a23365c776bc8dacb
9fc5ddbfba3a2b3d2cfd7a0592a168d639bff7e96213b467705849db6b454d03
796cbe0bbdda70056ac73bf6bc71c9afad17bc17f0a6626ee2e6a083d0f01f1b
1000f6dc9eaaa590c300db3b2c68ec19b931691d37f20b5f87fb7ffc618d6333
b1dd68e4fc40040dbf579d6e36603aebd61c0a47b1f89753462cd602d79d75cf
decedfb0c498ddce7d68f2e1a7c120c1bfd53d771459bd94670a6e278408ed10
f04dc0fe73d09d230a0643b4769ce128eade82ef607547d84cc23472b6607a78
a192f2a3de18b23651b190b75725130db4b324eb6cdad655f702aef6d2c97a0c
e2a3627cfc59a62ad7f5aa158980324924ce9c003a7edf59e1ebdce0419f0659
6d47b4167c7c8472c102d423df2477a0b97a96495335df4fa8ca165e32455009
a6013d222a9ef451362601c6e838b6351f10eb4379d0eb82f7537b266abe0ee6
f583820139e787f705bc79155448735790c9b2c93b223983e634189aa17a176d
1e2949a934c9e9d20794d63c359cc840bd8222ae5573788a6638e63cb66cef43
7df3c11ce0818c260c2e6cc98dae82c6d8efb4d92ad14a23f8dc6e65176f1a5a
e16c3d0f1e4b5e2b4bc47ac4a3169850ecfec9a6dfaabbf7b07970bad8e9ef9f
3500152f236fbdd9008e0f58fcc1dc802ea59897d5321fd614efb923871cb62f
a5f75accb1e381ee241a25751dd6160fd7ec79cf029aad397c6e021bdb7e717c
b64a17a6d08f2bf1d48074788594c366ad18eeea3a5b8a424f871ce7f0cf45e3
7fb0e442ddfc7712c2e921e64b9bb054ef6f0c10645d202bf38e7b29218e3812
dd713f6a8588fd236545dec94a32840dac631c94d9c6f4825f1a1e633b096e0f
b992439e6d767bf02250bb397e1967fad15ddf64a9a56d4d913568c4c423369d
63779a0be30af9f9b7752e9b1bb992a54c2e49bf6585ab8b7416c043993a621d
7ecd11aaf881cd8a383b1f860b11a2c231ffb382de1c66c3854e23a4a32cc4ab
594222d389011eb311a759c457414676ab929856163d93207be5f463fc43f1d0
e378235987077de5fcab5bdc11951a167887899e89f628149f077ca2d4fed58b
e51c08ea5ea2c32b6b3ce51420d0b25050142d8320f2649530a004bc324b1bf9
71b8d61d13043d1bc98126c18deb7097df2ee44caeb2b80e3649430e834b08b2
3f378a0eff4aa46420fc20dd8f05c0b0d75109f15e7e0b73283d08d6020ec7d6
36cacec5f4648237b4ff2ea00b4e08c907f7d5a3b8db81dce761b3203a35afde
863be186de90659983dee14b712f27270dcb3a5ebac522fec226cafcd1b901bf
ea3b4de30bfa85b1315cc725163441aed49acef01f688f73106dd4d8229c39e8
c130ee1234727b83b361d4c5c65535a78a26afa6e447aaee41fbaa8b80bd634f
5fa40784b5c2dfc0e514ffca942b59890e47770d4ddba209def7a663e3aca0de
52992ced4dd848857baed4165c686a6cadf5356693afa3ea414e2aa1217ac0f8
68f90e0cb97d10b38359973114f6f97288441dadd9d37fd35020b432fe020a5b
94a175d7c19df289f2e942923d335b6fc4ba4bec633eb1e301e545cd50ca381d
def015039fac01e1ee33da9a5ad887a25f7da6345a94d4a04eb4403230f0f29a
b33d63df5662dcd641532439a794af816dc9642b8d3bb0265227157012db3079
88a51b24009078fc6373ae7d855709f7dcf592d96c880947d0c82ee3a1c0a459
1b4e6a6095c072c95c28a88bc0590af9c4d35b79f210f2403538bd42fd9d3609
d82c9f5c7408aa25f582ca7b6fcd5f50dbde1fce61949f00f57c85a386233f85
f880e6885d8e05053ed6f59a5ab6bc6c911b2160423c3f3749214668226e63e6
b9519244120cff759bfc31189e8b016408f0ad173f0886a6b52269ff251ead0d
f1ca7d8f99bf66c77cb4275f74d5c08e42cd6fbe3511ccb518c2defea0561a6c
1eb274d959c25912d20ec470fa06145c147067d596090bb25612f7c67ddda351
0ae351333c9b60199fba924600b6
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMTI12
%!PS-AdobeFont-1.1: CMTI12 1.0
%%CreationDate: 1991 Aug 18 21:06:53
% 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 (CMTI12) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Medium) readonly def
/ItalicAngle -14.04 def
/isFixedPitch false def
end readonly def
/FontName /CMTI12 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 73 /I put
dup 78 /N 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{-36 -251 1103 750}readonly def
/UniqueXX 5000829 def
currentdict end
currentfile eexec
9b9c1569015f2c1d2bf560f4c0d52257bacee583a5c939393e012707b47e0c1f
a47d284a1edc9d01a497d772bca8c543388e6dc0d1e2c4944740470e0914f65e
fb0737b0851b2ba713a9a00b36d07da6bcb52920b9b59efe587734027a3c5e65
66aad332fe6fbcced1417802822a3b81d6187875263d6bbda04bbcf6e4870fee
ad60f104bb3c5a766610dd11aea64a6b107b0b04439fa2888b8cc39232bb83f7
695aba81f0260cd5248b9e649cd803271dc8bb1656323089e9e2bb50f2b95088
87d31dc36e555668d9578b338402f8c259f6813b0b71e6cbd95e19c20ced8495
2559e47577e612a4d94de3c1b4c6c41a6a3fa9e2313457242de74c7e4c0d722b
3e224d18baa726369542682e9459b951b2ac638494880c42be4e2175a3c067e5
945bfc1a05d3de8c3e8ab97f80ab6000e1f78fc258b85d3c84b038d7d0f5be85
0d43fe03e26cdfbb41c36d14cb552e8447ca678efea1d275e85503123a2263b1
4077587683de69a8f5a88d666172668411d0d0fed3e037ee468627207505dbb3
59cfdc5d7f526fca5416d741073284f5dd2471e09f5916f4bff1a90eea4d1283
7731f6a36e5ea695f4efc3bf5669b7f60ab606df5819149c0c8a4817f06dc172
0543467645daeffe4457293e0c0407c4ec7857558d0452de2ac773f141783edf
81b30215ae8d2d062aeb3cb69eb0d62bf04780997c9c027a22896f456b784378
7f2ccdd4804375321e7946d3d254521249a4d28a360f4d3163912a688c16e807
15d0440bd27bb78fcbc89bc28028aab2f594f8b641e45b9c599180b69663eef0
03465a2425aa4f8b29dade493002fb335b23eb145108ef3ab828755d3753ea8d
f0683265497b1cb5cb484c13f7a4e003fa6ab3ed5e24fcc6125cee4e33936122
3cc907af3c64e5aaad882c356e673e6ca2509a71920e99549d8797e9aea189f7
fe18bbf718017cd2e32b4652acf12f16e785462980f5895afc917ea83e9c3eab
6297f1de23785f79172538b39984ab261f14ee296a42cca3159e63fb30583af1
911646257a99b4162635fb79e25404242cccc3bf224d4c279e731333107ab2cb
2598dc582dd185669c1fad35d2be0428389a4b175db159508c08a77e842fd400
bd1d4b8367ad433a42a4b89535ac2f5c29fd4c714f1c1c00011457134119f729
ead8b0413960e471e8c5f5264f00bdedd6d6d825c79031c7671964040ea39c74
3337116970373d3982b06e7861aae6b863b10b332f134f1dad61c896cf28a459
102b5dcab4c82fa8a1aec045e12df88760ea83fc9547e24626b1085b50de8c3f
60262828bc0a97dab2373671a80f95d4f8169a8001edc2915d7695a6d52d6853
e71611f1e2016b2b7094d1b623ff1cef320733af0a168fbdd7e464699c7c970e
ab10831f3ee95034868178d9915f5e6325f238d7fd78eeb06b6db7e3eddcde60
373e2ce7998cea795c395c723650f66407c6b5a8b28df62b287465ceb9299483
2b8a5a2394e4d777e6b24ce0f01177e50525a562086a65ae0e75055de7fc85d9
d5b4799838517adf0795f3424a4ad01c8d6d9c297296fb97e30baf58bc0fc235
a15a6650012c394ef35597e0ea65fdb3ab788a96409bb9fd5af9ae4ac6166b88
c1428c9d4b4255f6be4b0c52cac8ec9abad91a077bb125900d2e5736c64ea12e
6f09b69844f1728fd7d1f2225aef7ffe03c7b00766c1df143be3ddd7bc22ef67
1e85f0340176db6cc8963c8977d5b3aaae4e656068098c8737155a6196f05969
5bacb7c4728b2e2b837df6a432dd324221120a5e7588120a5fd747c19c29658b
24f427d89864a1010338cec66e232888c893d027eb60cfc74ccc98eb7cd11e2f
ea9053c596143ff4e361dd86b381df2d6eb537813c6cbf39d51dd7b7b67099a3
8caac4dccc5d9e6228d53e9b9c30a9a99f73e7a4bead2e48b6523c31bd8b5e06
c4fe2df0c540de2c6efb43c721eea926effe3e5090b97d1864725e0b1d486c9b
8accfa06b35c80aabd32f031a8eefd9677b12b4b23e17c4f5616e925cd69fa67
2d4da5ce47ebbe59122814d99c722f3138b25934fbb676bb5988269c32c916b9
76605e9898a526ae0680879dfcf99210d40a3325a9982133815325343574a931
80a7549dc878d9ebdec43911141b11c0da662f0ae21e2c162c1b24b806f81025
7b584c0f88b2cebf1d1058e969f06d39a8c8acad78662d7ca8de5c3e5be58ecc
26231eee5ffc4f18ba81385bfe8b1c40c743faa0c5baecd8ab2441d1ed42a01e
f1950e1767aa51060650f7343238a4ef5ad66f03c78c0473f5224b7eea1fb355
bdc2e2b724296f79918e5989a96f6af9f64ae74959a25429f4ece63632b4e0a0
2a6cad6eed63435cba119125a045d64c654cb226917317ec0187d66c95da66e8
bf44f4dac50b15f8e28e8c2c4b893d760dc21612e29ae707b93f2fe240b4cff1
e4e7ce10882b7885b769602018109d4e2ab8add3493d8c52668475ff12898ecd
bdabf97bdb048e63395fd76e40617183295d800edc300afa9506035fb09c18db
e07f5a690690c1fd2f6e1aedf202f0b7fa12c264703b683f10dd4970d961b5f8
8e79027bd014bc68a4543434d5c88b4f52a0f46533fc342fbfc6fb4c3c61b9a3
3a99bdd30618bc41935d2dfa7b89b396525a7872868de7184b9d43166ea71705
18eea65d9c96c06be9cc04c98b7c57d5657de25f7575230328d51ef56cf08450
dec516239282b38a6a6bfa2f1266a1189c923d42366bfb2998473561c709f821
a5590a0b73d0aed874606da9d5fda060473d4c1f27f017bf011ff590ac30fea9
25e8b3c7dab19937b100c2c3f82fa79f3e081bc91e21c490e7ad6b7fc4fd5731
40d49bce85b2e38d5c9f4c7617a5f013a0a5bea7badc0d3e90a6c4862369f297
76d65f670550d71ebfb9edd1f9e539ea6114c1f579936170300f65f428dded33
df0f11d14af1bc8d6c31225c5b8abcf582cc5db4dc5918835b89109acb183018
21bfa0ca451d59ad331663d78fd6a0385e93cca3da21ba0d20ea9e7dc5a546df
b11dcc2097e7ab80e688d351f484f729428adf8262f6afaf06eb4d0f899d1dbf
e7b7b81c150bdf6bbd5918131e44fe16d1c4d7c89e4f7e97b9daaea4d278edd5
bff2b970d02bf23f34d1512240f37bb3678a2a5c1bb1d7efb4bd97958b6ee75f
a772f78cb44274ffa7b033ca2790c7b4b1c6f95a26babf40c0e6d1812e6658ab
b296788908b90856750c33c769a73bdd0e4dbb5575bb93ee48298c146ae70a38
86df5c8e3681224c587da113810b0d698c35716dd11ba1bfabdc7df1052410ca
2caa6834c85f8370603778b6f01a268aa9dfb9b5e56ed6304c8668e4cc0042be
788703e3dbd4dbbfd71b3bb657afbffacacbcdd610babc195d2f253561a109d9
f6d6f50b7fe5486f18babef2bff78fa236a9630d62978c5da63284f75898e8e2
1734873e4b6dc2c8c163c44145c7b7d49b9f88efe1811a64d77fbe3a4f8ecc07
18061c93c1fd7667968fa74031080b8358827e7480702e0c9f23579bcb1330fe
dac378f7d0151fe39a51425cbfc0e55b7697201abe6ec9b8c183a6eab9cce55b
b9c8380098920dd0809c596577d5d2a1a0576571ff93b21cced4e625576331c0
247ba372f99c74dec3d7c738e0160cd12034ab90b6d5bf0ab8ee5f97fe80a487
bb9631c8fe19301d16dcda59d44d0c34605a1b43f65d8a0d9f52c826c2deba48
8d6d1843d577777e49b0b89876cb321c829bcedef57b2211810e6bad3ebb24ff
0bd06f0b525aa4303a46879f73e03fed8c552d8871ade3aefd0f8786a6e5cf5f
be04918f803b3a2812a60b44c6b02d5a87ae9915952420fc8668e8a25b916ca2
b53d930d7c526f0fe7a2aeccba7ccce50d57ed828af7ae6ac76402c750a80c11
d1c42228f2f214052c5c515c62153a804deb55b5a5e79e4e1a5cae1c65d579a9
76bdc5e26775bc967564e6626a8eb968a6cf376f38fe31140f16d6b1ed06e878
fe40d4056d4ab8e826c520c02a7f852799fce5521a87dea15295245677002355
f57bdeae0342f09daffa6edfd644fecbf275ab03a786cfe349e6804dd06c26fe
b9dd2e1aca416beab0f3ccda86b5584944ce91dddd164002f42e8ade3eae1537
cce0f8a40b801eb7fb90e188c2bff922c1de516e5294e9f458ad861d2cb9f4f6
87ad8a1be3ffba49f371936a95c5ce14cf45f8f4dd9c08661a2caf3149bcaee2
83b1e7521fb22d47b9327b2c18f82f3f528ad3ca70085e87e62d55cce5ee8e57
75514dd455a580226b8ae90a8c1f9830edd252e4cdbad1d54878aad0bdad75b3
6635634b6f0692ceb87d9b1b736a8f2d6315d3ff4a66c08ccc08761fe20dcd29
6852fa74a9d9b9c6bf758a378db442d88178b0ad296836261b2e40aff1cdf8b6
6d41fd50c43581fded22fa71d32ad4c8fb7dff1716fda5b6a08a74de19267797
f1b7b698272551191f22e11083ceb427716bbaf77d2f280e8feed427d1d3196d
cd7c5c268c0d27a645b85a69d01f46f72ad7c14ab551a705fb4fe917e88baf3e
d2007ded59344fe250be833372947aaea73e4d9b1809e1db031de8b27da7c7b9
3503308aef498423f60c4cc4ad1906c586cb4857654f4b6bf6d3acc353e444a2
b362d99cd06f58f1d7fc1d84287919b59245ed5253424d6eec36912464ba44b6
5af65a7fdf1dd8d345cf4cf7dc1420657c90d04bf2e5d4141d0a84419a0110f2
5a2726354ec970a4a13fe3e20e49af0dcc14cb0739e689af4bc17efbe63c7c97
427ae0bd134f75b314a00fe00534e8afa1fefb0a83e25b336f0d26b3774fbb20
3700425baec75870197989e8d3085d653074aca23f7202cf0596b77d52c5196c
63abb8b6fb0e33ce6620410bdbb77511c54ea831b442d22ac86924844fc01db2
49ddf55fa12b535c492012872c357f7f820f8a16feb417fd34a03222933d3349
c23b8f14d342e60d27595f51323c9c62ca18c2464a9cc11a7f96ce63adbae2df
b01acf9046357f570b25f35b39eb3df9a80e9e4034b516f2c4f7dc4ed5a1e872
2cf31d72c971e6884ac6ee55c908d85790dc110df0ab1c1158e30de46984a972
49dfa77edc872d36ff74adad4bc1113d017aaaee862114c50415346a28d240b7
0e97231f030fcb40b77b9340d8a3472c36a3b008051b02aee865a759780c2af6
35715ef7d79ad92594f79c06f05b33ef592a522f9f2d219dd4092f018528a8bf
9d8ece2d9a1ba83b98cc2578b76736d4b23d32e65ca52101abcf4f30a85114e8
a5bbffd498330c18137ffd2a2e75fd9bea727d22af73ae39be675af778c34099
c339416ff92805a1bade38fec364e92f2e099800cd5558574be025695d46d3f2
24d99a5772a43cc349ce76894f3f2485705f793d5a4b967f5aa91f199ed08988
7babe8bf719a495bb87874cd7a0b62b6558a9ecf2dbb7ec87bf7341fad7b5475
9f19a40e78a9cbb8bec3362484f03fe7644493aca9f21f4ee099965947f99d31
76dd2a371b02d9830333b20c11b3edcb0a2272ba428573c6f2fce5d976f3bee2
5e7085e232a011afca06e61b357062d712e32922118d63915ca5ea7cbe5618b6
eeaf5da0f9b942317e1e65595962b79c54b48ece1bfdf740b3e1be78ae65603e
14017f57f72136e499a7d08b79bf0991c0736546e79655105cd3c8dea79a0402
b92cb6364357153c573e76caa51e3d240dcdb34373022c5f09649922b490d61c
d9fc8b55922e770f0a2f62998b58a1cae4b68466d0fa71b3b6aebbd8986acbe4
d4aea7196da8c5083b91598e1ade9e071f657721383201bf34943dd90fdd7172
1a117ac2773de596d7aaf43bced667f2983a50b02d773eb1c2c1e28bc6130eae
c90857188d9e4fbd9cdb8031d5df2da53554ea3fbbc1cad89a82c36e7b44ed58
46496cfaed8d3d9536fe4a313a4aabfa0221cbac2d8929712fdf8e8935367b08
6717e8aa6efbb9d002bcf38802f70c7419e6ef1ff5ce166692c452e3b694b8fa
8e4e828bf3fb008e92993f289e7a4c5bb69e3c5adfefd1d41928d99177633eef
e465ad914b2d50eaf3eb810f7b271ccb5dc490652e845ffae0909855bf3ff172
5953b5057eaf5f18a539803685004cc8142d2470efc61f221b8c21fe58dc7569
b85ebe914d84c0425213de937e90c71c29d55c72192ba1148383722b7dc6b824
5d4c08b5f15e5014422de65ba3244a61f48267e7b016bbe7cfbe3a3bb59ccbd7
b715bdc9c0ccc427fec218cd3bf4cde886cecd0c285921e79a60512d2965a377
484e4a158b9bc85769b64129d8534c32a5cd1ad00b55485c5b8b0857f9b177fe
05c77d4f2b839d222433db7154c91691f501788b1500ded086924a3f45fa5911
e398ca65847bde0eb02914cd1baeae152b586a5fa95d4d2e0b2303cbe84000d8
74d45f4a7d582f5d4a9a71cc1f66b7b59f0913b6283eca8bf25c581ee197c298
fa0141a01ab5c148bc39f145ffe954208fc5cf87bd60b718412c838ed9861789
c22738560d00da868fa2af245c70ce5b4be0694d9bb8ed84a4508cab93c27e83
02d1dab50d68b014876a40c97bdbb9a24399ea710f37e1ff08d4d20ba246c611
881f01316d2861aa978e9460da652be078de28f09b4f39259caf1cc2a0097261
10b43b48b91e84b9ec128402867e92ed4c48dab4c63cc15d1a6fe52f5ec32200
e7c2ae9ee29b2a9962db7818d72d3eb3c00f58a43ae7ec566aba81fa19510331
483f4a2a8ec5295c6acfbf842f88fb4e53495a9bc4606d3344e3c6572dc694ec
1088058f9683d1c29d3ff3f8fe188bc4c38306f9bda13cce4fa6befdbb55202e
838f1f7d556889f99e388759ac14e79d55d77324600363543b53ac41aa8d2903
0446319d802af0df7ce4bd34ea66e6d355bb1db5a0cd370c1582bcbd9ebff9a2
99ad50506723a8fdb52f8b0d844766890cd5e71c18ee9a3fbc35baed46851d83
ed77425f71756ac3d58a57991e8e27a9d37785068c1fe48ff302f8872fe2a44a
7fefcc81eab97c430f8de1ba5da78dc5cf0db15474ce6d2e2e7f52bfc061f156
9d3749ddc5da05384bd1966b40ef4aed6c8f9a450089b3d62531c61a70852a80
8360f2560b62de0060cdaa97e65bab4bff2d26253ff8ada06364f847a920df95
1a7b838dd8d76273b4d6c1346e547235bbc8a2c1fc5ad20a1f71d2fb51f631d0
f271b5563f9e88eee44ae8bd5d09f250e22e7b5674d59d15b172798f3cc3f765
3ea7740e4814b8518809cbf54dbdff28d5b1d1313885a6b6f8138c764d5e5534
711c86724edebbf5883e74ec199ebed53f3199220d1a4257f20d7c03da714a82
345f4905c1c331b2417dbd6503e58a77485df95cd15b9da7039e4fcbb93a7e1a
c0560b3df58b64cb9e4d45e3ee7f7df9d5adf1803d923232191a68a97e8d4cb2
2251bc0c117986f691ab0d9e7c3e2ea2609671f6f13aa752e256be693d27d81a
9bba88258feca15ea15cad23eda8adbd263be2c4d8063699d46ebf14f027eaf2
bf727cb71d59c99a6712935b3c1716207a03293fa6c8632f94f553f08121e689
7cdf7e7eba5cf6a7dc1eab484deb5f9d49256e6e05491097495a2dadfdb23d3f
52bc51eaf2f7da7ab96492a96a7745017990780a05f5c2306448ac8962a0e869
59426561867c08bff121d938661459bf685af923eabd8b2a0462ecbac0641f08
70d8e66eb083d50f807c8fd3a108bd633b3b6932a1beeeaa6dca0427ce55b510
2bae92358b2799cc6de24bd6b5039c3b0a1e2fffd5babc1c7b341d49387c2d9c
f02927daf7d760198918e90874ffd943490bcd8fba2963da229d0ab3898a64e5
94deb9366d51db98048c9ac9c983c34dc852b981b6e16c1fab6357c82f841710
e6da7cdf5add9a698ea7bdd01e769c3777a81d823ac6c353156693abee104163
5edee2db7bd74dae32ee792a3b39c737185082808378a37ab11179dfa67ec207
3890c74dbff739a06b83d1b6e4be2e08291d1ce57b911047b0207a881ac3f2b1
d2bb50a232747a8453824b67acdec08c59132e77ec84b2acc9773ae47e7a8ae9
2003ded0633d08ce764da1c5cda76666efbc2bb3f90bee6035bc785af82b45a5
96d6dd7200544ec6d9d17fe370d963fe51b6ad94dc36cbbccddc193e293533f3
fe1f725a6b5ca615b369e6f8cd893145508f6ab77e474759321f42e49272d553
b8c23aa677e2168249bee3b0896424bf4b3c106d785c586024d97ff7315bf8ab
2cd0584cf0f835ddd94d36a097e7cc0c75091eaaed1bdd6a77ad5cf951365f9a
eb9f7337b0f629a5c36af1735329e6fb68cc48c105d2ad2e199d60c9a88d2d9d
9199aaf9f043496da55d7bf79de35832f0609791da51547e2519b8d04dabad71
d02d12793708eeeab2e18b0ebed11a017411da1bb7c9e50a3ee60c859a5f6717
c4e9b3bd994f742585abdfabdae9a7381d9eb3de52a395b79bdf53b4e3e52063
308a40d305ab32820d5dbfd4d77222c3312c5204e66f7ec4e9fe6ebdf870b0c6
118ed4b4a7fbccaacec28702dff465ca5f53e8829671f989656d314ea90c674b
936d2b1d35f787c9ee7dc6fd35c462ce435b870097bac4a049bec257d2e00731
8922ac8140d3e0342efe2564c021aca910fd6c31e353d08f49b96adab748d54c
63ea5ad0d2af6cf5f72634410233fb3d59b1f059a3ecdf5d6f2931ec75919a75
f989f3b45491cced54ff4ac7e8e509d2
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMR12
%!PS-AdobeFont-1.1: CMR12 1.0
%%CreationDate: 1991 Aug 20 16:38:05
% 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 (CMR12) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Medium) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
end readonly def
/FontName /CMR12 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 12 /fi put
dup 13 /fl put
dup 34 /quotedblright 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 76 /L put
dup 77 /M 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{-34 -251 988 750}readonly def
/UniqueXX 5000794 def
currentdict end
currentfile eexec
9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0
0b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3
79791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3
2ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8
b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d
823385fe55f3402d557fd3b4486858b2a4b5a0cc2e1bf4e2a4a0e748483c3bcf
5de47cc5260a3a967cac70a7a35b88b54315191d0423b4065c7a432987938c6b
edad3b72ad63c2918b6e5a2017457e0d4ebc204a520640fd7c4d05e35ea5486f
a43d0e970787203855daccb1ed0b16325828b13b7c767a1a58c87902f0546ea5
404440fa6526975783c2d7a9572b8e5d5176bac598b8960609f49016aebf3763
89c1adfe6a1ffc0c53b3acd9d168ec3a278fd4f1d9b085dc2df701346c9d0887
3d230a161692b42a45bb5da343b4edd839dd60685a59aaa49fc65cd8e2ad2a9c
5cab953495172a1a9f40d5f38e922443a519dd96f667201a408bd1d89e35f4ab
98e2f68c3366efc14b5afe1018d9c845d808d4f8e07ea8168518a171ab4d6e21
70eeac099eb7ef46eb9781384da1fac3b3133bb718bc80082eaea88759745188
f266b31d0c7e791d633f16ed94e05517a32163e74cbd96dc5db066f2a5313d6d
7f09465608cb404613e0f058073af000e5bdfafbbf9da0c0d5c02a3447f2cdc1
f56481901e34265c26d331ac3f85bdcbc7c51ef9eddf2b9c189c5253f8e74282
d6f053d7d183ae17ea175e5ebc401e67d21a9fea139cbbf3bb1358c713a75843
b39a69aa2b1a7b975f53ff22d1dc3bdf7acd17afa1da21568310c68241b31d3d
03bf404bd30baf9cc19c75b958bce7155f03cb0cfe2cae0327aad4b603284a51
7c26de75b8c6f6aaa9debe4aec08ca4b646d787bab1e702054272909211e814c
1d2c33152bda973de70ec02436551ff9be604d16ffa29b93380b5a04a493f00a
c1d3c429bd6c92508652f7ab7347e9dab047409e478b59e22a73993a96ad13f7
3a58f110ca20a1d65e0577f470498b6faed25a690fcb92f9f19bac5ac431c893
607dfdc528e7d7ccd1a953ffda264220271f146682ae3af7b7d80807576dcb76
0e5c25929b3a4ac45cc6fa965b8ba72eb5f411d089e080b28c17e3345b0fd8b6
9d26f3c58ecb0a23b94c5e598648aeea076d96f172b46c0a476f761bfdeed12b
efee9f4d149e32d6d01aa458aa040167967cc5408137127cff8b40a6d4b0ef54
d64d510dc6baa28454dfe419ef252ca00a0a7da2e968bd2141c138fce0350c27
668e769ce5f717220b646f3d3772d0f14a1f8b84de855b0c688ab3cda1801175
ff586ec27da7263d66ca4446faa329e5abe1c9b1503e4325146ed330d8733a7a
612cf68156b59bbd6ea32130d0ccb2e0f73ca7715d3a56b8c88d0c8921615247
e53f53699d1b87dddd8d6f95c428f6e25fce711851f2265a9f67ed46f4a00b8e
8ea158ee448bff8b1b3b08a7e2fe4529d98cd235dbecbe1380e8951a61187c0a
e2bdc93f1c2752ecb6f7bbf38ccca0dde2a2c7e4d7e44364b353384eab9bf36f
e6360204d077c532456c47e6c9f843e23af8f808ca56cffa44a5c4205e80db90
9f219c67325f7af8613b130e1b1c9d8fdb7e00d48d1775b86826fae263010cb4
2d90ec9eb4907ed2a3932b1e657e629e0af913e2d86ae0fc2ea905eae18ca346
c605f4eea88e09dc52b2722c2470161819f4c3a77fdd03ed95e32801f9e8b425
ead26e4950b5d949c3a919e83ebb6915a728ef92d6540e6c4ddc5606cddf49b6
abfb5ed846e373aa6fee6f01a15232a02557e031a9f77c944f9ba02b06b427a7
00f071a0899e4f759d3e3ce0de15f807f6c534aecedfccba9f7180b675f4bc5d
d20b693149e79e9e16b89e5bfd6e67f94801caf3921bd7aa909d3f033e71a281
63915cc3ae0e91d301ee9b0fed313106f7df77f047030f0118362279c5d53b98
9199025f064c5406c6be21397bde471ca337e4442378ce41a2d57b1ff2c59722
94d431248c8ac015f660a69af59e01512a4839f54e05b3213b2c0c50b804b819
4f05ebe0d20f50d232ea5cd24cbc28ef5d6dc955e426c51c0adae6694eb24274
42ad8405678eb4a021a8af727babad879c5b0def49334bde78f33106a5491e17
38b9e13d22610991b91c2370a693554c084be77d92466b558a561f1fa0371899
8113b8e296dbc484209721e91bad321cb6fed19059e54603b81fb47aac424357
86e3ffa74734998ab4fd0d1b8b60e0016d95415d65862aaf016791f714391a22
7fb58690c39461dc2101b58ef3d35b45c96f6621fd04e13fe2fc69bf6a62a41e
2b97d13a1cdee076b71714d3866f48bcbe7bacac401b3832e7a34971ed254b75
62f06f57fc39effbc1ab0b631c50595406a243f5dfc281fce42a8778ea2bd8f8
4088e3ea0d8f13d2a6c122c1d5b92310774582f35507ddfe201e9778d40d426e
6ee168e78e2c3bafa3c2121f841b1f4dcc3beba0d5e88e51611910415a532cea
d8d1c6d9fdace5591926b35fbf17a5da79d7cfdf03d33fc994c7e820be8567b1
3a2bd97d8e63ae103e860f677f928d8edaaa7912c51e92537075962a10b09310
94e8e63da91cf5d2ee4deb84219f3ea74db2078b370191ee7b0d70a1305a6ad5
3fa29c2ac3516f8f5b1c291d329c2a51d11ffa879a1472b20021b90c4da442fb
6c6575b0cf6c0bd73535b406ea95e2ea93c53063ec642b533155671c5b0787ff
8809bdaecad790c5f2f364d4969aa73fe41bc9ddbb051d782a7da1e25266dc8e
5e9b664bed6505a969a2f6e868750d412ec545bd19635b3ab324469c96991916
ba08c12fa0c54ac36d8a70d8aab632488c5ea586beedee608fa0eb2c355f6686
ff3c3cbca06eeb432711ed691fd9ca017853d09e8affca3e4e765ec4af1e491a
16104b0495fb3c0179f662e3e326f384a28a3f00da535eddc9b12185a419074d
f3602dc970c2ae4ed1cdc216e3998984d1a4efe2b386e99300dea70cf5c8d016
dba93bbeb723bd9355dbafe08a3c047a84efbade948545b2719cc59e13bb9e13
3220f4875e31273a3a978f9a9ce9c1ac11bbc764da68029d010addbdc81fac7e
757a474496ea9fc75404b795a0d5c6578067a519365e7564973b278303bb521e
f927da5a6ae6d350e947bc84d44b7a46aabb9399db4c43e8718f5e980d284ea4
30703159e0e0cd23508a202217e81be98c8aa3e71dec8927db0311608c31d086
3a647b868d251d8fbea1c2cef87873a631232c061f350b155c1d5a5bb6690f9a
5f56becec774d40e2741d401869f16b278cdd3c76054f8501338dbb05fa37728
fbf4ef15816c89f60a5ec9611099522d3d0188d09406403decafb09f81d2fdc6
04ec21aa1ba0532835a6fe1511fbf43df5d133f19695f662ca3fe9e42e7e9e59
7af8961a1387039420e371aa8b00ef250011d9be365604e838a4fd9d9700c587
257fabc2c50212d167d7cb833d0e1057ec91cd055be5155924948d3ae58aeff5
2dd7f5b474fd22a3fa1313659556b496d9dab3dda659e764d0575097979122b0
b0dedf33c9a80798194e30480a8e84fc14a8e22c1cb85828fa1abfb9968ab93c
2c219b699214a953bd2e43f93e330b3e76b3f9159876d2882f544b2b9b8d71ee
a751f38b27cdafe4dc9d456b316461a38dff8cfc772af1a050fa14be986c2a09
f711cdb84d051c8dbd01476c0138e2ab73b1e68667a3a9508fcc680d5dc46406
65b242e7735c12389582820b4528feb190f955c74a08697e4872187f1db3b657
032fc13bb5238b59245d5e982f28cefa372dbf872bbf4ff09663e304862349f2
1b5e309b9748ef5ae208610aae21f5e7b96602a38b30a39cf3efbbf4d0e5a868
7973a62bd8c1c5afc0e77f88556693deb1c41f8e04a957ae74f3740d24770b99
da91b2786ee195f1c0258429ad4794c935377bef04bb34ff35dc5f5554b058da
ab6050971bf6f8cdbcf51fad359eddb73f509d7729e1d4d7ffc976b7b400a973
1c877caee47c5df1707994a69280d534ebc6d7adb8cb6fde86b7f188d9533889
ed02b82e9b7b905e257b6d96ae97074b93bb85550ae1a2ef3c482ff4bafac846
57ecd32d34828880de359ddc911eb145027ffef390edd4d0ef20cb47834dbdbd
7652b3e75b6b88bb13b58b6dfde8884eba97234d05175fd331fb9a8c4e565f4e
9ca2d462357a973af985c96c2f94ad4cd8b1cb5cfe24edf0f0292de95d69eeb8
584d09b21fb998f8c0be71bab54aaf41a32f6cc6d20b9f86faa5b26e9130cb75
50d8a93de0a573bea4d9f43ffabc986f7e342b4e2a79dd39b84990474d99e569
05cdbb8320a6b633c223d797a094964dd7bd888aa53af455fcff89452449dcd1
2cdf223a931af3d2fc4fd00f37248d7e10b65db2d76c2eef6a3066322bae35f0
68fd987dd62f00794b7abc7a6e39881658f87ebe1f381cba0877f8e892473e9f
3b573049b864c79fb09cf28031a94b2245368505c9c4926575d462bf097f336d
fe3890b22eb134639a8bdf053dbe4340d13be4ada2647581dfb55ba9e15c5161
5bffa6c0e94dd3520bf6050265d5508e60bb56ff97cf173cdf69c7717d589158
4e198d1d8236ba3f4e8a438b0dd741ea038db6aefc2e136ab3364e8e817f6168
c086484477e5b289fd01d27691cb00689b3bdfd5a44f6c79e964f1415b9c41db
622d0ebd3e90e85e8cc3d874b0006b9c3bfb05e766bba994ef604bdc1070b3d2
b3803a6bf778fee890d9f9fd1c66895c32ee6ef0ed54a13eb4a994aac38c3632
723280d5729984d263ab21e9d20b7ad278521ac0ffaf0c2f5438fd9ef5b61595
252665f946a44598ca1790c397c0ff9afc5383b88259c0d6ff6147e3e3dc6b35
c5d7f05a1cac0abbfbb1705532aff0310706e24a5b01c70102dc950d71cd2506
32bf084ccc28e62c7c22bf7a8834237196e31e035651cf57dbd1d68a7cc2d5f7
1d44fa1fb9f155443ac6f2939f7ab074395275698a6ce5cc4304085797fdcc26
198f2d4bc282298a259c9d0681fb2c71ac07e3d8a164c4a84d7ba718e1db5181
7878d762b9e5a3bd9a374e465578e5202408d4737819d8f7975d50487cb59c0a
fd7ee43b3341de67a7bd80edaf4d18ee8656069a7439ecb6ce87d13433675b10
e0d3e38174914508d0afbf7a64aa7af6c13707c8e4e4030c858174f33df836d7
20f8ee96c2a51ad38d697c19b5581a9961e27e83a375a1a2ac39f0d52e4d420a
eba73d497e1d4e179efd6e18bbe5f1877ddb5b580a0df423056a8e460cbad911
c0bb599af6404c24f12bc59817643d4e208c0737d6792e6ac716f0ce5b1d1537
3ec9af60623f21fece4629d37cf9ca08eceb8e78d0664654ed2f0b8ad0832f24
666308ab0136f4af7950389e9b91097d9639fb6dd972faa4036cd45912b0e785
1cf7adba4ab1b6ae7f31963fec3e7e4e7b55488fc3215654430a0583b4d5133f
b1fef2f928c5d24b35cfadd15f52ea9bbdea47a9a0f1ee5e489f0a45be2a6a49
cc962c35a3d47477b88fd6d6949d3a51bb2ad76e69312e3a3640f83cc8f73115
b8ee5a11034409cf5916cb20b40be3d3a77fdcbd02bd0a2bed59b481c3a1b66f
54709ab9d7daacecfa8abe4d5cbcd1ac98dce6945a12f9f4dd7f8d6972500167
6eb02a8c4aec90df9746406db3ba9ff7fe96e438c2323f0f5f957a4691e8620d
c7cb4c9be823cf439bfd7322dcbc42ee3243ce8449278d2d618d1b1148c4f4bb
987c603f998352bbefccb186e392bcef2fa683714258b96cd4f4d2b2f5663928
69ebff26b2b496796ab580dba4d675b6f994aaf20542e33b1a380652ea500089
7e486a25fb8f049c98946e9e93a797aef99709ccc3c88f5e3604e9a71229e49d
d9f5d4bcbb97ac5d0abfb9958225e1d57ce7e7f9477f701b977efb3dc64585d9
48b420c19c6128d86b0ca777c035c5cda4505add0117367141290dd5da6a3a3b
2f26cf6a41dec111eadc8e3a157320cb6c64719f1da8c89691e2914267879347
298224dcd4255d8ba11161a5a66fa08f4490af8b768aa8850a40c48e49d75bd1
a01c9bdab80a2defe568dbfc9f9d77de4b35b189eed74f2bcf3fa42713b02f02
a1815e13ec72c3939b1cc080ba49bbcad9ced357f3813abd764f22689a76ec1a
2879927309566aad32c737ffe7e50944f1f3bf6f77520fd931bbe641ba269fc6
93a0e6b12ce256a3eb96dce75ec1662a315b4c7a60435236056a77f20db17fbc
e70efdb01e6e0f47a664157399a39e0d5aa9f504d3e7bd5be18d86f243ee57df
3ccd928522e7d1bc93926f730d7984c827fc354df2022ea1db18b494a7f12cdb
4d6d1fdab0212cfe49f044e2efd51821884a40e5ee8983e37b92778893f2372a
724339fb243dae86e5bc43014d1d8c31e711c1011ceb36e2ee6de376363f7119
453e97024c7056616dfc9954ed7f7d6a7f990a6e655d704f42084cc6ea02b2c8
ff841fef061d3daf5cf99f287c4e0a327c4c09232c89d127cd066377edec6569
083f54897a900781fd23d2d2d7e05db5fb959d80f18508a058693086e1287258
8b4aeee6de99f25cd75073729f857e4d2141aab33f1dbf28595ae9c93facd3c0
53ddaa6febb8a8507372bdd8c2cb32de6aa968b6af9d411e88a3b23cfdaa4810
d90eb084b393e8db13d94bd8706f271c7df60100d87200db3f125aa6c78e892c
af6196eb9f6ac6475cdfb8facd4c8e81e57f4ad1b00c65940f2d5ca0408e8623
05b7d73a57d0f14afef0d479af12a84f51ba3265750af561f6f1e33d3752a825
5c6cd8be9c5ea18949ce71646d6cca5d455b760fd546859acd0c21ae10d861b1
154b7eb1d7b24fb748492d775d73a26e2d33b01521c8c37c20159543d076458f
82ba41fa1a8c073b2514ef0cb413348526e6b51fb3d5538b66e7c45582129000
5b386f6e4deb7cabc050924fff1b600841aec5535055e440e81e4c3b30edc367
7f9c25e53b0134362a74a426054491782ae3587491b66bd2dffeef8f91053785
f24fc3c5af4746651b87d33dbed92526457500b7e297672e1f832a294fe70a24
8beb58ddd3bcdc40b45794f33d4f67cd394d8684ace7b1a279962926cec0a604
5a24940ebbcd73459ea04f3bf2ec2c89104ebab16c2ec45ffd88e17b54ddd266
89fd696b69d37e104a8f18b7ad4a0c5eb7ff64222e93fe8f504b7c4f31774c6e
9181f21051a1327c585f3a6de7516ade9d2826100854f3ff01b95f2bab3b7192
b10707234d3a56c92e5450d952fc0aa756b3eb0bf08078867e4149151ac74079
feb968bb975cc80273d3b283587d08dc857aa07803dd1eab2673d4a088d5a86c
8a90b53407532e85e8be502e2668bdb9f1ed3e413615562bb21786252720fb51
262ff2ce05477ade58b1eb2a48e0e5de8c58255785c66fbb250943f94bc082c7
d6ba95231eaf8e8f92b031cdfc0db931e8aa826d9cc9a6eebd18b430af6f8e39
bd8348c009ad23c8a1cbc8b095f7f4352042c945b60d297e6c85fe405d6b0918
fab78f9c7a80d503b2fc9a1431db420b204f1e7fab53387441e8c182272a96ef
f9773ec9c9f7724ab78d7b501435cf15149fe15e940e34a714ff4ef4b76ab7db
92700398c8fe84bc9dab4512d6965fdc2a8eeba5bfd2c94fb945a96eb666f6d6
761f064e2ebb4a12a5ca10ccc0257e9b77ac2b2eb38be74ec563f0e7bd8ac8c8
aaef278e074cfbfb6066a993c707f83755e2aa353cdc254b1f95801c03f4d988
caa6089801db3f60db4feba05316a1d993a13ee685083dbeb6e6e588d8882753
97e5cbe38a629ed520954cc689fd5ad50216f381311893d90a7c540d2e6a1b39
0a5ee48ec0c9329ffd4791b5aabdb86f17ffa9336a52f748167aed106c10867a
036329bcf65e8dc5cc402b0815f008b1f447f4fcc74504bccdcae861a2853fe7
a21cb49c3e5b0cad548986be3fb4143164d0cdfbf24e09125fbd3d9efd9f4885
f73692e4ace6f7c9e2a297eb5469e34751ef2b6b0bc93171c52759c45a8bf796
a005ce26aede63d29a0b01648c6baa968b9e964337cb12051d5e2192de2e6d17
7d7b1af85770ae381a39616f2f5009f3d69a99453f41b00abca0f270a38f9ec2
6d15af0b8a956992f9fc5df3aebca3899994399ac001d5bffbbe6bb94dc8f9eb
49f6d08c8e0e6813ac745ef91a14ed6e9813d98380f04a063cffcdf054e9909b
3244e9f34e0bd371d063346aa339baf1b32c162bf0273488119c739489d9d268
1e5327a2dd709d2e09bf9483fd376a355016a6c62e4f80432f51014827da4e52
734eb40b01e2bd94f751f85d59b1d4b752489db96fc67f1197e1aac7ec3ee8eb
9321123463e36690b643968e6b31d5bb6cf2cf2010ff49d28906e63515e48ee4
f49bc8c0a97e6820fea413abd5095f052cec64ccdc272b4ba58a1d3cc8d19abe
4755bea1a91336ee5fb6897388f59358067bf2bed53b22a82d17f8294082cb23
38eca9063331da28e87e838221df1a85daa3d8b3a247fda989e1de65be59b2c2
8dad6291f9aa8bb525d15891b120cd73ad46bece9c4e17e691ebf535d745baee
d54135079791794357cfe13ec1bbd554aa24a89543358d99c1c3ed4947559642
c32fc5735a618cab7390195cf60fa525949fa7cd18ea18ae7412051a9fcf3987
3671dee54b57ad006244e85e00a1192b8a8de094663a90bf7c433ce1956d7ca6
fd6caa326bef9ed62577bd97ae88da08914a98a62f2c7d6aae3e6aa192ebbf3f
e55f81b3ff22c8f8987cdf56a5577d97afe81a60e08a16b85159d4069f4f5371
a9b800993e60222dceec3c6f275d4e1f33f5838e23eec3e7eb118aa9d682924e
ca140d9ddaf0011601ce6c58ba9242772b79956864cb05cd3f878203aa38b55f
a38725b0a551528f5a7e56e80f093aad639f9265d3857f50ef6c1351c9f5d310
9440525fda64e607b7064425974b7639ec0b3f67b3a9bd1f280f7326595698d1
87f6f779a25c17d8e1b33108408d142ccac9108fb283c127c64b742e1cf853f4
6b14eeaa24eb67de080583f45e2aa442ccba4d32afda7a44d0a8d70aeeedac9b
3be0bdff21d260f7a8cffeb1d8ae38e856eba98e796ced314e716f24f2127924
5e4333a23f7012dc55d7c768167582869f3d50fed28e387cb72a73bd19f55e1d
46596e3d701d30c77f971d2b62b357b47cc49c2c7010d7c676734a600830c074
f1fcb7b51729a574b4da636524fe03d3754f53dadba1ee069cf8e7bcf46689a6
7414b7201953df5983ed7fe72ac154308d06c18c315cbdb3b4f120dce9c265e1
8fc19958ec2e7760dec59c91fa72bea5e0f4e79e10f93e9e5b4c33eaa2c45ed6
c82c6cc3b484c423f08f9ce1c33eee5894139c078b76a53c9d85cfa96735ef37
b323f60c5521fb81d4722b9c10d39e59c82a55b892712e8e26015995ca08da9b
a9c05c4539b39196d16e9bc075a693e7276922a9fae750ca3bf2626b10cf751f
1c178aedf0ffeb0e232cbb88abcbbf43e498cbb14d98402087d5237bf655ceb1
41777e127de48557ae1df27529b5d5a613dcef520fcc38bb2f269522731446d2
f516a4e4f6ab70fc329e4bc58b1290db92c0f110434507dbfbb632bc8dcc40aa
4df3a278acb16b4409a6a18079ea9efa6c56b4fd7e1f2cfa62fe82303e657a76
dd2518770cea53645b823844db2cb1e6b75c8a9963521dbff45afa4c18487eb1
fafc0517697b42427947a79dd75f71b8c89794f5065164060132c92a589ccc18
1dcc2cabad50dfa35aa485630c6388e9501a7f634575b4f781ed1cf6f5fdf5e3
9d4675858ea56311a007581caa335eb30ad810485858f099adcb6d0814886378
222f690bed2812ebc1abda6e5122af729da458b4bcb7d51cdc55850dcdc70e3a
588ecdcb180bdcb58c4609ede039ca50a5c36a8ae1cc1dbc1e7c32c27f54d037
e670ca3865eae33f90ce7cdd8f5370f0612ec63af261768f484ad9e546dce5d8
3fa473161f47ea15fbaaeae49dbe22872080f008f7efbaedd39b32d7de6d560b
34a7229b3519efe6c4c042864f687a7d839e5a2b9b01587580ce71dd3263fa08
25230164c4bc3231afa8b4c536e784f2abc17eb1a4e75bb88e8344d49f32c98b
ca9ca37ac9a61b20ed86f967d57773b4680007b3c3c50af4089f07ef8ba7a8a2
b614a06806c3149254a00a33aca7a584742248c5a05a627dde7553f60a39952b
51f4917124ae89e24e0c5bbb4f16b6fa35d578f47db5fd29f74c7f2c5aba8f6f
c118ed17d3c8cb79e025c3fb1ac10dc763ee2945054d0106714feee040f3364b
55bb40815dbe59a6eb8888500c92c2b77fe9d08b13200d00fc6a026f123604c8
3bfa2e00068fe3027db270dcea1f38f6f09195ace5f5e117db9ec2bde3ae61c6
19152738d154d33f80698fd5d39a533aa0f88485eac1673c617c30194d60984f
8212d5befd9d4376d6f0396e162dbedb7e16edfd38fafdd40307501197ded446
f5ca4f132f9f03ca1156b66f21d7fb94d067f127c26ff0b3debb5eae802cce8a
d13e97070903ae431765f8865d4823e7727bf5fa9bcaa7d060f40744824c2fe8
52c3e56c0d780996c9ec920c40301f7a91b485ad3a30a4b6de83f6bf270459e7
d304d8a384d46e4089bcf30cbba8a0746b84760000fe8e8a06a6a2401f85f03f
e63f09b11fdb035fddfac98a2aef50f06ea7396bd14824f3e06c9b30af5e2107
7af90f12143fd41a213203adcdf610d990d97c4dc0031cf6f0798b2153278326
5f4f38ac60be8a786e117101c074c8e0f551d08f98a70b0b8b71b424596e20ae
2fda17670411687672c177d353acf4c6a6b5e5ecf81c41f488b4c27caf533fa5
d30f82d5e42b15e38aec50a97b1d6f3335c3c82ca8971979588a79e22437610a
0137bf919eb7388ffe5c2069793c338f4314fb06301d5ccb44efb54d59351850
5c0c7ab0f21f5d1f71f41db79848b54aab5320055d4ea426bb79ac47b432fb37
0666f03c9dee30c2b84fb650b7a442511c6a1db0018acf8f7ef4c91c459a5b9c
f0b3513cd1fc3f7c8cbf8d112fa5f99bc22e6b583dd8b5562a7702a5a926cfdf
a7b28e64dbeda14f3c3637f9434e67d4a52bcce9bd589dc88fea2b8ecd4adc4f
cdb7cbad3102ff9cfa559045c618ea82a1f76b9a9b3cda7a1c9e15b23043dc55
d9ad7540604e82413c8e4e2adb419b5e134731c04cba42915d55be0bc169814d
9b3d3162193d4461fd33022f4f3219a44815b13e1c89599206d2a7e40b6f3429
2e3fecf2fad9999130e8a63abdc8fe1bffe2bca45b76809a1af9c668ec0c1286
ae4269084a6881b97ba497777c76a9de39d0db1e660e3055b414a622db21efe2
daf08d2f65d68431f67d7558a657697238a866b2cf6b0b70ac3d467a41b35334
79ce3c136b5b0d7f35655d661e3745c2ccc20dc451a10f42cf212d7f93d8ac5e
d44adeb279211f4a7b59a448afbc18b13d5b5ff1092d26f279a28534789417bc
c189bef1cd0f88143b8b7a103276cccf2229e22569e900b9cde4fe2e42b55238
ec92b5164f984e7d74a6a2a526bc487bcbe3618d9692bd96ff2e7a4756b61b08
85dc905027fa56a88b9844dd126af4f582c9fcdd01c84704d448c9d6ee3aea51
345988f291056e51e9685f7613b00350fe4712f13ef1078438bcc1f527646c5a
6941e4fab3165925e41c20b49f3b8c817fdf4f29184009c92b6ae71524b2a4a0
87c91819a912d93d4f0fb3ddc877e47f4591f45021fd2798faa17c6a45030572
b8af8de668191775ea27232576c65d936eafd7a68ba698dad1794d6afa442840
ac8dc0bdc0ef4a64f423bc7eec5957c17add287a665f588996703fa700dd9552
43f59f90339d95287ca0289bdc626ef7efecfae06112c41d563418a158f45531
c637a0aadde7861bd433f0ebd30ab89b5c919ca52e930360173e562163bfd504
4e1efa7008764478a1a4cb12537268d250494155b6add6c58634150025bb9495
0b47b22e93f8905170b607a0dcc5d14420cb0a1ee42fc58e29ee2d2efba9a0bc
d4074ffd6c565514a08bfa04c6fe5873d2921c3af6aeb4da7132fca55ccf9b45
5616cb307a3783148b7e3192978f8a4ab1c78063e1a772c21ea5caf6cced5533
1f366a4d63946f7432251e1f7e8d6c837ab33cc603935087d295a2280075cf6f
fe0adc4625af3d187017dd74b1feb1b49fc85457a55c8a7c3d91df33f0c5f5f2
1d7942c79474ea8e74cb62da7f02614fe784c6d5e75dbaca7028daab3dcd7d1c
f427bc7658f236fe3a62deb392d22353f0b6817606d6bf5e67847c44a880aafc
db84ea7c51d7a0803e07aa6aca2731b4c33d277cc3ec6f95e982b91d50ae3f18
fe4e4c01a199d456a6a636cbd06616f5c256cb00787a8823d3ebb0ece0345ae9
f23521f57c6df65c14f28357bf158c87deb0898d7fdbd5cdd0e8d285a7415c8b
edca466bc235fa2016a4585c63243329c2df3c3c84981a3a68b2f05b11dc04b6
817d768a2e852e97170c2b4602980ce40ec0cbcba796f0654e4c8cdb7a004c5f
a7cb2dff5cdf6bfa0173d59f47cc7b48d1867f2f94a0223594cdd6e8db8ec7bf
7e1b37294add30d731b24787f5b4fba07d446386b2c432a1ac525e80b61e42bf
657ed913d1c2c284caf84ce6c71bb25d39120821d31049670fb639faa9859451
e3b21f2e21cbc47be1bd23bd6de2c3908a1f434e3f9c891950897b993520280b
59cd6f18d5d641339513fc3053cadd8f7bd9532d75bc36cdb26435b2ceb04828
5d991669f57cf0716dff7f1f4fcef0701a342bb2dfe6fae1f15f175dc8fe7322
d8ac13dc792a91e18af249af8bad423cef049573e709c688d5ebbe3419a21954
4a5840fae50df8b12f5bafa7b5cadcf174908c16c8b63f2937af71c8ede7fe4b
069fd7a64df831b4ffecbee0d72d5b8b2d030d38e05c599032ada614a14dd7f9
42eb92f33c58ec127e25374e7ddb3c75513812a7f95aa81e1aec6b877b376f1e
473052b60a4560039acc9fe81a461b5fb1fe1d802cc94a00dac04da2ac1f0836
0d60caac0728c0edfccf193beadea9a581aa7c1abd14f0867c157f246591e280
cc8a8b0c82f6d52b0b43e6ec52406c0e3cfb9082fa1d3f15a2911147c32c029a
219a6f2b208984777a1253ace317d841a0c8fba294900ac6ed975b3f6c1e6327
b77aa544a7ecbc68ec547b7a97a732a71e9e28989d1e840d87fb3a3c9fd3c924
6d2da1e1ac8f81bb103f96ba85281d9678d9b22cb13cb4e7e29ffb6e71d6c317
309e831c49178404925d948e385fa8831bb7468141461c528bd09658626c0606
da375e8c69ac12633f49c3eca9e091b9df6699e25f66c6df4fc1bd4afc180e48
4c1ab34d80776c5311353542ded8b81d000f085a0964f328100c5cc17e055254
0af18b6d0824c26a3e2a48d76248b5c3e2cc0e39aced8a92ae5419d45937ed55
f3e6938b5c4cee3174a823eca549bdce8c4a62fe265ca85c7eaaf6c5e551e7e1
9c6bd78626f3e8654ea7704e4615ea86f0be26aaf163ff25af58447e00c49c2a
9312bfc78cc6867dab93d1fb39fd0e16d82c340871fdbc4f3f6123ef035df384
a86043e4399416e8dbea201a11f443787b9ded6be88ce7f78df5fe7f9b46bbbe
12eab56dd85225935fc1ea2d2a0e325e5a23b027e81ba04c30121d82f9d80311
04482ca751710c40c8fa5052173b4a7318857c35f59e3543f1e2bd090929bcf1
cc72d001260a4d0a8209937264b28327f12f75725936c5aeab0bb321a27b0abd
484318d529d5e23315d84f92f6e76496aaa931b1f00b53d6b222b322ce310634
367a9744f97fb0f5f592ba2860f31aa3c5829c05008dd6a842ff6ba070170180
cb9974d14625b64a484be6f213e6871f8a4d2d7663c0ac280058e00dfadddbf7
27a8f989aa4fc336e8b4a75e41aec123a52e2054be73ba016a0c1ac0e3eb2941
3a5a273579685818283ba9909a7def372e024c7ccd83b215442fd60180ca5fa6
3d03d67750f79ecef58143bcdf42644246c4f02cb18b542ec93da9cc80e169c6
51cae178bcca7a610f9ee50c0647a449cf54a3550fa3d457bb68f45d0840e9df
e583f1d0976f2040e479fcd619977274b82cb83c0f2035e4c0ab8bd8e9805203
701f8ae20d6d2c2d2737ee8425767cfc79fa61e6e2e03369de8362b68dab3586
05ec822696586f977b328bb15e6fd0a31661f6e1b91e2db2520a938383e272cf
1df908d5b5c16930440fe52081e664879d97fda48887af90da0ee36cbfa5b795
23f3f772196c9ec09e8a0462dad68c892429a26d6f2b6964475ee690fe509e59
373abde321f0629fe071092d729e5d97bac54e59969e83851d75ff748505677d
f2b133e0583ce3b6d6c8b3243f1a9aac8bb39fec6d5d42e4a909c85766315980
faf27cd1312b033efea7424cca2996b1974960fa1d226452d1d90e7b1346416d
abd11f41f76a936baf653408bdef664fcc2fd7d2b01bf87317aa94de6da66217
efacad09ba6c9d14a2773c3d80dba8e41daba8b4a56c6cf0cfbc40dd58d5f21c
25ef0cb0069ff7c1e476d85e8bc89252872a1d5c2f9e8ce4bcdc99d29f3f6f4d
ec5343625e1a3579121ed1144800e98639ea7ef102792e73d16d5fac1264d8c6
b10b28ad2a3e3dd9ffedfb2032570923969aa9a58e29323593925d523dd9efb0
32d3f218eabe50c9dad24c735f6a71c704ed99eccdce46cf024a410f746ad0f5
a599770cce9542b866eb42d16f3f4346d7d00451885f5ce53afd302ac5adb64a
32cba16d82d045f440e8c8726e6c47431e501c30c9445e5de050711e3c3e9f9a
670098691443ab4fe84e69fc2be9f96215f42f67d7e70562d2165be58b5fcf98
83c717cb7d4f3b223bb289eb94e255b8c6f3a15898b42358e594e29d3d1207d1
479b2097ca4df9180825b510a30f64dc023651bb0369ffe3dd3ed51acd59d6e7
bea7f6494a806c785e41b697d51215f94e1d5aa26886a144fa540ede1ad6e2ef
6c7ec424e31975c0733da9cd72cbfcf74a2a6c79eaf48d5e3ebacdbf80d04ce0
5c5b268c719d093aa3b897e396a593ffdaf34d121c66d56818d48f28053997ab
c224998adfe5a106ac795670633c1dc90817b5a7bb203bad870319c5fbfa06c9
5f8cdc21d281b953da4e2368296b53e506b1c0c80d9ed0e7fe31dc781807d48a
d7d0444bc08a3d741bba391917217507bdfc6771487b98cbd4352bad9cb9555e
6ac518c77bf8b7bb9d5884ad78cb8d250499ee1158c9ae2a50143d6e3f5cfa4a
928998abfa67fb1caab4bc875e0b3299a831eb153857bbec9224fd2df5526b73
e223f6450bf73de697dbe695eb886640d0ad75843eec423d99ac334792e0fd42
4e2c864d077877c63be4c239b31a58c9c49d7a0552e1a7b4011eda297ef8faa4
00f7e1a5b9a00a6a38f6dfa920c42e74f1ecf438e53e72de390834e52e05431f
50df294b666512a5ebb131cfe9c571129deb5ae2f6cd2840116d066f60339bbe
40f6569fbd98da96ebe37bda287fa53b3e80b7beb3fb2168dd2e7696db4290b3
09d47c89b88b9ef317a1444b5878c0bbaa7c5cfe6741cfe98e4f4ca34451f16a
81db62ebf3786bf5c9fca582e43fc563babc0544dd7db185b8aaa177f55171d6
9354a0a27ae544405925a1b7208da4ca9af22c57b69e0ecf7bf963aa55d52de5
b50bbfa56abcf646de8f9a5c22f182a238416c4eab18ffce3de29bc5f83e4297
8e785a198eb2069d4c63e88b8664329ec86c6ff8eedaed96f80a0aab39b6f423
919840c097f572717128c202dc354374abaa064805868c49c82389aaefd328fa
6f6b76afe2f0b8b0702a25726f87378cda0ff917a54ff9a2d492876c43480830
3b47a77d8ae6678f7f6e96f88bab9bf20f15cd4bcfbde55bd7065e1081dfe91c
cc5e4ff59d76b6e872803644e2e2cb23238b141dbd83b5f7bc28c132c0c90dfd
d6a6d3acfc1624576a9f64ecad8521bfe1039b7248bc169774884fe610becd4c
d6af9e1e3a6af6bace21782ac28bfb111b38f974e74a3d2060b206af1d19a0ba
dc9ac7ac47090d52bb28390280be09bc2289c05dde304d968a50c6bcd2a2d28e
782fcb63963854ee12c3a2c11400972ee483c85ecc921bca3344f138a4c72839
c382180b8e08ba5e8297c381267c1fe2b8bf086a601526f2ffa3bcd398313f7b
d34803d34bbe7a1774a9e71029a0c3d0f478c8b7e3f091f9419e4aa97000d38f
301b04ceb0e356b862084047f892c751af04da186f6f364b34362f5e3d0e22ca
eca26bc216864470d8b15eaac52ae8a91b9f0728118b1ae63e2a0092466ee3f8
65f88d42607f160a725a9c654e907b8e104a7006b3053531b8c9abe36581bbe2
6b83bc1ceacecdcf70cba7c6740b6b98f39dcd5992ebdefdf4a7fea1678f0a41
e198125c38f1e1850f27cf002708c6e0bb6762836d5f9ab71b8df2c2c1e50060
633026e5d6c34630a0457b7e03ff583bcf9c16f4f44f3d3bb8b01a8d3dd1b7b1
450c96f9d3a71e265b39d13cd861a0c8fbc217b0102967f09e16f587bb5c17cc
2cfb50e2a61219780f836567700733a24146c73f1c2ed5d55710205fb3b2b64e
901033e88588b0fc50fea58bfd4a36a15a72ff2d2e928fbaf252c5fa521ad4d3
de3354ff96599f016360b96825baca1da4117d8b4bd3c981
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMBX10
%!PS-AdobeFont-1.1: CMBX10 1.00B
%%CreationDate: 1992 Feb 19 19:54:06
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.00B) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMBX10) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Bold) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
end readonly def
/FontName /CMBX10 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 40 /parenleft put
dup 41 /parenright put
dup 46 /period put
dup 48 /zero put
dup 49 /one put
dup 50 /two put
dup 51 /three put
dup 57 /nine put
dup 58 /colon 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 73 /I put
dup 75 /K 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 85 /U put
dup 87 /W put
dup 89 /Y put
dup 97 /a 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 108 /l put
dup 109 /m put
dup 110 /n put
dup 111 /o put
dup 113 /q 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
readonly def
/FontBBox{-301 -250 1164 946}readonly def
/UniqueXX 5000768 def
currentdict end
currentfile eexec
8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8
97e17cb027f5c73fdbb56b0a7c25fc3512b55fe8f3acfbffcc7f4a382d8299cc
8fd37d3cea49dabdca92847af0560b404ef71134b0f3d99934fc9d0b4e602011
b9cfb856c23f958f3c5a2fbe0ef8587d1f5774879c324e51fcb22888b74f2415
50d7401eb990d4f3a7af635198422283cac1b6cd446ddbcbd915db9bff88844e
784c6bf7389803d9450b0c21756a017306462c563d51ece66fcc9c831843ecae
1fefc1a232e2724f7baee428ae03aadb95c3035345c15e9922fe49e1f2cfc980
237316572dbc57064edac9b0db8913a5e2d45e97e19a91435ccf8adfc835b585
48e74b291446d689c7f2f8c4325e8356e974ae30c3e2977477baeaa33d141fb7
80f59351e84bfc88c87b3a4a1d25e168b9d134554f6a581378c7d2d6eca8ac09
045cc3a5e0ed86f147133f094029e3483bebc81cfde69942cf645ea20d0a2b64
5140ccc2f9cb4a3d969f4b0a79cd3329b440dfcff5285494406f3dd08d804c86
df191e57232f6f1f83df6430f214e03fa5412b1e13d83c60c52a698bc9a38159
19a64162af7b83a9468fae9507c6cb55ea80df8c696dfbc3296c663902d77e89
a181502627281181ac8624f65be9de5fb32f056cc7dd7cbc7366a91717b5892a
34ef6b441871c6993da3a81afc9bf70ff3842a21a29c0e49da1ccba37dd6b920
2702db510b8b1109acf4c27ee8d676bdbd16abe189f34a9b61532eb777457698
cee0561838eaab2d3939c5093afbb215bac433d1918c739b62566906bb2187f3
378521fb52e70c18886e1aa15f53a1f8a169528cf2ddd54c203613ff88e619f2
6c9c50c2c3b8b8c868a88afab1dc8472e7b6f3f992a161723a3c0904865a7c42
3281601eee91f35222c4a71f343739f102eb43145a47e4fac3bd666e4c114a90
5950618ecb1bdc29f90f6ebed1d8325fe6b52e14a8870e9b4bb088e585c71b91
493c12845a101937e3473ac5e9ae24f7c358f06d590d7618e1a1d5834d87621f
e3f5432b655eebd4ca61a7b00dde0aa740796ce88a43d1c6952f8d2ca63d30b6
dcbadbb0dadf13150a442714675dbe51ff838f2e47ebe8cd44f1eac6ae5b6ceb
0b07af03f5d3896ff935a198aa635e337e367e1e128d15e31afe3ffca8245e41
a3e17011340e49d52fa1e322b435b4f7f2f49ae01f6a319f68d3d786c24be810
1e1c975a8ba3d62b34cb9f5b9a42f36a24ad1453af977b0ecf5464960757498f
a1fb1d4f040738689d4892980bc83b2c317e95d5e2480661f71670e60c0657d8
242b11f389e34cc8e186de3d2de9da8db6d6b03a03be4f4e47515d23d6f2f146
07865ddf931cbd6cafba5e8a20f678b5e45b283b104e948c30c20ddca06e6c88
d39b30b449009f0601dec2f77a94a76c320ddc32a442e952e5e5425ba6a83e4a
e02b3cfe67083ea562585ffcf230d141eca1734456ea1084dea2366cbfcd5813
fe414e5da488d1666a10f8c3b415346db2997d0f25e93628881791815c6f2363
7e788ee4d0804578ee704323a5ed11dfd4c6df23e65532db5324deaaee732db5
acdfa9dd26ba4ca1829e8a811b107f44e27c67003fa4d4bd2573482afdbba310
28c8f717377373782910c8251b32f021fc6be46dc7792decbe6cea6611b00c4f
4eabd23fd5276c6cb87f545d5659b89f940574fda7a9b5832b6967cfe710232a
7e50f1a32eacbb4cd279721e852e11aeee4e7a60a0941256877cabb3df8e9b15
4142ce3e78133816aa386dc071b1fc08c1b92f41806e9d7478406981dfcfbac5
07f37f806d8cfebd70faa9814a7e0f4edaa840057865a64acc369823944930dc
45b6c59c85c5d9896f2b936ae6411202e99b0d270427f15af04e04c3a57a9722
d28ef582ef6e6330ba3ae10618964e273b5d5d911f75d26d32771291c173ffad
b106a0216773bbf034576e2b4c9046fa5117a1b838ac021863b1ce6e1e566331
a5efa4102a2f1fe25073b1dbd09aa438700af2b7fe72ff48f5de9b347370e3c8
78ab7dd9ce0c77a5352f6f9996b1a4b267e51bb0c20297a8910e8eecb6e455db
d35f95636ec03dea5b4ea09a3c18e3981c925a25211fff8e742b0154a5c83bdb
76441af1ec32fb8e1ad13905a2f219f870d1ac4eb39444661550442928ea3ecd
09efa859a82665d956720b42f8b3cfe8611142d8470cf5cf717167f80b331d85
5c106ebf7d9d49a36ded29830bac3ea1ea3b9bbeb7a8b5a5d8254a3eeb887d94
73d56690f7d7fa6a47a33537d1db56a06f773b697d12717168af0d0ddb85689b
52d871b501ce88e6c66aca249ff88993ada08f90c7101fa9cb12067a57e6eead
5c8768d62e663be76a156626d205d9ad9eb898fe66148a8298420380ea3b84f5
30beef35fa44b2e2e1a7e80585f86baf8c4f81c7746c0919a7bcc4159e8713fa
267c45229dd5ee1a7b20c112b4ef79db38fed5e55302801593e5deda3ff4700d
664090bfdd3300089b88fe8d4fc92d4882c7637cd05e58576556a3dc47322713
d1f7d6378564466f531ad42546d020baf4e39ef4a355ca19b5fd31fa984d2360
a5a9318cd2c7f54cc810388996416f1c57b94f92aad05235d79ea84db35202b7
fa91bfa3fb044cc568f14a27187ff47dd166a15dffa171df33a2a818efeec75c
6f49430d924428a0e3f5bffe44339d4ebb0a25814d0a86c48148397a5bfcd765
715bb51610f3056b8971c161072d6dea85ab0644d5f9fa40f97d85526acfae4e
83d750bd3b2ec06113c180d4178062871084960b5b9dcce5916f5d245fa37d57
d5a635402c86eea636ebd9c95fded70615107827794b9172f9d856309d395a08
11e0afe42ae90d499c8850d655fd4cf4fd64857a41ffa824d7f6a200c24b5923
d07bbf40509222c12478e2f260c78f766bc35b6135d260e2eda5f74ad8f0d1ae
2e083d7863d7c899ef10cc82e4495165dc41181272d97b159a57bc00f247a08b
62763cae9086a69081300c25595e6a210e11269aba5775b499dc9c60b39233cb
6ca10449b47e97332cc09724270c0599e5a9c7ddf78b76faf802a4790fd44e5e
b87d9ca80cee71830069c5e5af34ed80c2271a6cffe4e841d771f3a046ba162a
0adde0c2b4edfbcb38c5488389d8534a816b3c36637616b4e9aaa9d6b1067af0
ff978e927d53aa614955f62f6c48dd9481e7e38cca6b5467d477b11b77e359d0
d9b3d49f4c927f90eb0d3feb750dd9b97bfdd9afe26525cad09e03237bc289a7
d2abd357e5b279f99cd0ff95d4ab06c8f53f12832c1df0b19e1916c28795e400
ebdb69cc6a15fa6e5426d8ef14fd380b5a1997142edba8a3da78c87ee8659149
c62ad4070826e0e6fc304413010dd8025a9cb3ca56f6c764fbcc4f77259b09aa
7e8387c3b37fb30c0612769db029f7a556eea26696b012ccfb448e43961a8838
ad27b2ab000f8985b145585eed800a1f0cdd6a04df2c33cf3d5566de054953df
ff04fc6e9a7d930436d52246dae52669ce41b0acd4322bb741b55549bfac2e86
2eef824eed555795f2bfd6cdff0e18d41253331379f5ed09a30bb42d54d02b4c
b46195d659dbc0754aaf612dbe6e28f614b6f8bbd9a967229348a6e84bd66a93
6f94eedffe1cd8e777d3b8717bfb92957ddd6113eaea0551c077a59dbd124af6
f13cfaf50c4a6b3f75c5df8b3e1405565f17e3ed5ff10baafb59783fac187152
90531d91b95d078d904b9b179a594d7d44e47331b10627429b53cc632dce285f
625a4f626c284aa245fdff5a81f5330c8fcd5863d368d65b2da9b887577b1934
b644f50a3bb257d1664b943771472a41f95a1734f96fe5919312a3ff213b892b
79b93429c7e34fb18c3649db8e4e1849d57defe723b21f26a73dcad559819d6d
8969deb8c9a824f0b28d28e71067d4bcc44cec619527c6184ee79322541b6ef1
121725d2adb6c622be003919f5c0a5bede5ada93d0021179a85eca92b74ade83
132e71e587b602bd8cbca62a1969ff7241ec1b350b5f2e258b5a079553794f87
6775f5d114617963650682ea611181c46a90802f5f853f75500a6f46873c8166
01af46e4d20951899523d1a71fccff5fdbee984bf1b61fa33804198f5cb9d1be
59e61c030204843806613c4d4e389dda88d35b5b6a67f06a14a3c2f83b206f3d
7196980cb20e1a877f599406db3c4f1f01cdcdee2642fbd5ccc0ea3b9463a164
92091c9bbb594302de7df6d48398d22bee3dcc453199f89678bc8c974d92d447
ae2927736914674f839a4e00df1fdf4d3bc06f5b3334b15ccbbb991103c5ef57
15cb6dcf5c7013b2bd8e30b06992290ec09821a9600215287b92582f84ebf8c3
66ece4f135a77afa6733a1ceb4530e30e44bf07fb63a2144d9bf27620e5006a0
27fcc9f18fd59e47624207619b4f1bc62a4b9698f2027e08b4ec56087b767528
6b67b813fd7fae815d4a383fb60d1c7b6202d0e47d219e45604c30a25e1585a9
c7f99f144172bc0d8d2f11f48f06f9e984d455040d1d77b6af08c4606e56cf4e
7f6ddf60504f9520b01e90c4cb68edd2a46787a0153be45a54be0e60096794a6
35bc135d3d5ecbab00520f7b444d38815f0f662d7e4cfccd7dc785dbe4d36cfa
3c31261b03aecd6c0c2273eae36de6e7ce894136efd40c2d2be2001330275544
0d03c695d8a6800c19433cdeafd1ccd3845823d6fbf29f64826785689b040afe
9d633a3b763f73e6afc3b5e225aa92c68bbb2369ee0671b5a9580a7f9aeda2e8
75d3c167d82df25cad263df55db3cc846734b845463cd3c43dc5d10bcaf72784
6fc783a4e5413986056aed02cdcdaac7a6fc2e69524a176df4bd5f39cda4b966
65b90d4d4d5c9030e95b79818002b48755e5b956cee81c39e099797ca3827ba8
faa6a5daf16e3b61bb8833230d7698352bc5524e271a124265867221bac627d4
e512589ec030bb917fba422cc51873ed37a363196494c54c3bb7c8f2a56dd1b3
9c63ea49a1006d825d3729d697ff4827540025f9d21d9b4e05de65ee564719b0
d07841b15d15dc5bcb1b668f9cb4afdf83ab8824f4917cf162f5cc08ee564efc
02bc0315a8d3062fa6fc1dee18102301383d7fa47825521175afcea6f55bef2a
1da5c8bb8133d378504c93ba05a0f8599e83dbd315795125e2fac364f0990879
2235486f6bb447281b752afd252e5c46ef4862b30c3cf7302c890245ae68497b
b5b070d890baee0338ad00e28007ead12ac5bf56111479cf0c3e8c5164c3893e
0a67941ef0a59e0b9c1be4dc9a3317c189c0aae7b8619aa2d13f140d4a19ac61
34b5d744ab3a3ff5fc44539493f0b7a6c3a2306eebfe63f427659e0eb9c83c96
8c61fc16c65e8c3f4e5a956c87a05c2498a3429dd5b9a3eb9ba631396559435f
0004e1bac75c24cdeb4a4a8a4861020d9807fc2daab95c3072ee39e398c3e680
1e5eab288f52a84143fa94bbf8c28e3468088fc89bbcdf32b2511a37dbd9f1d0
c6da1ef8094e7afbdc67ad3181437df445033dd83e957a0f8c630e28ecbd0140
cb65d8cc3ce6733b6b641c5fccf543e1c2c75ce00eb52899ed9b1e521a8e91d3
69b9ea7373d1b3caef2c67aec0a430dd42d56cf2ef75d8f9beec318feed19282
885f40e6857de03c89da0333f366d8ed0a13f5c88a25ef73619acece8c1fee14
68a23ed9fc1542299b109a07a0fd74c5403c18be6528bdfe2db47806ad3798f9
a780a0d68831affdabf20899fcade68975ae220fc91f039fd5d12031a39757f2
a67a4595eca83517f37c4722bd241fdb97a8e5b0fbcac25f6e5ba6a862a3d3c8
a9ace4e7e8564fa467ab8a338e20d7ec6902d79654c9f2d2f9596ad7b172e41d
61e560b2d151ba2dc12e14562755afa3e92f4f411a599b3a011af4fdbc61cd72
7db87dc34ba47f1a96f00c274e2af6c1e8173abd054adb2135174ee10a108aa0
21737f2dff997091464488db31ee8f47733da7f2465c1f90c6bda2b7e80f9ec8
512f73ca15255e58dbad36373e068be489191be884e10dd40684fb363af78ca8
53f8e74ac7ac6f0361b07d04801b76e2daa45f08c47e5ac517f40ed2c613df8f
b7607b98195ab3d29e3466dbcfc1caa2d394a2ab04df224303ba792858b5997e
45ff851312d0623ffc1beff1ab7e8b2d4fae0b29a5749d41172ac3d186f339ef
7dff34ae7b61b91ed1743c5c11d1168764ea8739d07defba1809760a3ef46927
96841170defefa2f3e652df911c00f22bce682fd4e255c335cde3e63287a7526
a02094129ba9da469512f28f48a72bed9979ce8ec8bcefe93bb4f9911622bec7
37f19542fb298e4fc0bc8f26c2234f699068b6282119cc4e047c2c8e44b74bb3
2149836872826dae0502604ee7bbcaa8c29fcb27f38a7dd5898f523ee75465cb
fd23359cfba198075ff8add782c3d7de687ce17d29e9abb77882974552031057
b09924da3c24939bc97150d6c982c0e5b65aaf096f84a08b25cb8e1e4109c2ad
a4a731742d0f927bcb419662905032e5d188549733f1175fab8400681d7bc237
fda44daf8681c7d74d10e745f1cf3aa33f8a38f447ed0233d6ac32a4e51bad4f
3e742c127ff1a0f879fd3123b0084bc75aaa704e96223df886cd9db3557a6309
625b5ca62081199161e994412b30041b60a06ddef1ab6fe5c5c0bb76f13b9f7c
c868d5d9118c401d85f78c0bd1161bc0d28347dc9e716f2dacb1648decc8ece9
0415bfbf3444dfeb7592f46f9b2aca6d93c0d698064ccd350fc709d4e15d7604
8904bb9c779a5e2e3ce697bde985bdaaa9fc7f55f7f0f089bda3d3ed830962fe
179e4ba4ad141126c2337fb16a24bdf33d14361c95ead3e14be8734c9adee7e6
524a342b02e958d607601ce533c5bd44b2341f745a9ebf741ded94b1cb2fa900
312991301658b0fe690ba7e6864636662d0b8c779a2c02acb692a5c4468fd4fa
c1cd41a38f47d92372dab1b0b4a7455db72bb673ac6da9a88dc5664ae0e04e00
34b535f6c0c25b0e07b608c6e7a758b98983493d95bb55bc55b7229fb4dac9c7
538fb3ccf50bc7caf2920d8a416b79da1d4b8ebc3e67c2980216cf070bb40720
c84cfecb3d716b09fb92bfc9e4b520ce451215822e9604f2d410e5b8673f639c
28844f496e44ed0f57f6ece274996ba6ecaf5f5fe98982209e1c01febcd5870b
5b7acddd62f1a01c6bcf96e22867c61d4c0023b804ddf95d61ec7e8b60deac19
b3b70ba6bc60f9fe14bdd1b41bc7b278f27792d6b73b51b39bca502cde5ca715
16ab599a0f2068c5bcab7405a6a59e1c08cb3bd1598ba172a0470353db0fa95e
fdb9c25f680589740972fe47f8f297d3f14f1246b32fecb154c663ef19dfbe7e
670a43631e2f7ca1c9bdc0c0612f587530db538fced9f0a05d9dcafc8cd342c3
af63bfffc2dcf5d52c19150cbfa9e751b226e812ff77a74243912bf931a7c6e2
a6bcc8d07a744cb2d9c688b564614acf3d13671ffdafa6c455684f2fe2820e6b
faeee7de67a4b930a22c97af236c66f37e933ed0fddd13b090dce18a499a4020
de9195dac25b92b4206cec23b6e75aed11e78d5634d437226d6bb03b706d6c5f
6e588948d01066a3206af4d09c5154903e430fb2c5b6847d49ff33088ad01765
59bc414277243c39ec0e08a727a464a6934d08f73c09d851b96e9b02719c9f57
572a334f8e769502d91abb4effe59b67981e9dd76ad8de1b7e78863eadd02fc5
550c934553072b25aa746f45a909aa97ecacef152a43663b24249a43ff36e25d
06f698b8da53567706cb0896242ff4f87ea7473b147071f693277b0657d8d8f9
9d53ca7feb1565871dee77c36cf404a63caad0e033466ea245f70b3bf6258fba
8995cc59d8b8e8c68be22e99025073de69460a715bebb3b33eab865019604f9d
12177b9673bda04931597f118d7f2ab6181be6cb89cbf5cf509f42fee4bd66b4
b5eb3ea7189bbf98622a8835a4da27b776795455d7ca9a7ee7f7d43140ccf7c7
82dc74225627361ce1d45eda8fa0e47f70ed6c88b2ebd15d4a67d06f4c6d15e8
0155d68ace950ec0341eec304d56d02cc008d39243b830e910ecb90440ccd3f6
c7c34d2d61a2c34f16e7f628079d1c564f0612d101b71f27c907752fa916af5a
1821a9713577b45c300db9a09a18b43e846051d935404a4500da63fd3517392f
9447fcf0d5f2337f3aabeb8534ce12bfc1a75ba6b181f208aedd27cf54a6ef7b
f3649440fa24aa77f864d7f872a57d0f01627377972a4737de46775cc600acdb
3ed75c453371a37ee65a269f1ceb342628c2353ea83e99b8f6fc8a117afca49a
bc39f651b8259a14e272e066dd7a6c37af47ecf58a635d83cc173d90140e5727
632fbc140672bf176245cf8c72cb2ffa2a408b0c121a68f1db50a3457f8be7ab
2ef28c398c6762e589e972915a8f49c24c78f462120dbba0cd3952d4134911bc
0813e9c0ad50cbba6c6ae8e9c919173a167a9837b7f4eaea4f3e9d271c93a956
5b256b57a38fb23fc5d84980140163dc62f53a268b70e8e6f4d2fc4ffc7206b0
0f307c0f3d1a479a14a42d77e8c9aec973867860aca4e69187fba0685fe8db3d
98bdceb43db556b26e9796d0062b9b4f2c4d86dfd8785db2322df4eb972a21e5
f9d8263a273f48d6ea53f5169c1cacab2f28817d12c7b5ad9f3b3a9476ef4a59
61b23ba3c8c3260b084650e6da6dbe579b8b8352aa9bee381e2ac6f604ae492a
43dcdd9c65c76c84c903f513357bf1d219950bbe6bb95ac03507b4d7cc1c076f
5d1d72f96d049944cae41f8bf8ce3596123c555f3d72cd4fbb6d0f4645112f50
88c9fa19070be1bb4d5da5b6618028f8aecd12fbe1585e6a307bdfe0b7abc7de
31e621cb2849695c1cff88e45a86f782f9715bb2d42b64e0a4541d07c618beca
4b8af0faa0bea780823d12d6c7007f71f14b834f00065e0b19626e723025b02a
e4a0d7c0ddd4b0eac6fb4a191cd0806fcb13c859ac5d6c57715dfb071de7fabd
f30dbe33d2454d794de446440a782f1668cab3dc832885f85fa84162aa83ad74
e81a9ebf6a5334e411df48acbb2d16ef55004e84ecca38ce9d7bcdd7ad4dcb18
618d463d5cfe1b1ffe733d6755bc72f1617bff4d4d651d6f94f9e4bbf7404cab
b46dcc2f7c3950ce89e9d166e77906c35436d4d783d3bb974387390037237273
b8117b6730cfb2bf9de7b89148c9ec28cbc930bb2b09b434ce109dcd348972c0
34ac025102c018afa65c7eeb3aa2ccce4cbec74da173224b0a403fd99647eeb5
12d4e1dbfbba264de93191ccee987322e7f6a1efa3656ece5828b01ce20a6a59
429a25e47c2aa92a43cac94593682e29d6806675827c7eb59aea0e9f8246bc38
5f68b6bf330ad974d22380cc5c78af939c0a5af6cde5c45e640b068d3bbde816
7326b1d477d842fead04a83adba0445da264e2a461b7f0b7a6e21f3ba6983e5b
270d7609e8a8636c407a472e160af7ca166deda3f4012e559eaa15f908b3219a
ebbacee0fbc460407cfb1a09f4c7f25256515ef4e10ff9336f4a561db0b481a7
c5d7311cd9e755a97acba868fc93da307caa9be6f5f3735385a0c4b5f479d107
ba07d63a89d91d4b9139b4ef91d45d16cb36eb214cf04a92c95e1ca871802ef2
3416d538b8c289a1a8128892678c3fb6214b9229226fe6fde1eff7de63cd64aa
83c35c241b7d288353473ef59527bf3d69422a90eff2cb494061db10cf542783
2082e38da669dd40d9d9b3d059cdcde916f0ea00980e720b927a2d155818d2ea
7f4fe4895d2d4d89f9b2b929e986095494cba7a9f5bb0042cb252a0950a64fce
94970c3d92497e551b5251d32a255aa2d6e7707c218c8ff6cf354ae8346c131d
9745bd0845fb60191a1b8e54009bce29674ce3ba70e9d1aeca80dda71df23124
b89ba4535a5b5980905cd02911bede1017ceacbf8cadcec62ff6071eb5dbdd9c
08e1ca9679bd833e1fa6a3623353d0f11dc872131ad446850d765363c4a40ab3
bcbf198b2a42ef2a2538a5e0654f738132b8ba0f38f5dc4db2ae319371493d2a
0a7d73af34482128aaded80877b4f74efe9860f1364a8c26ef306c1c902f81f2
c1e5f241f6a206913afcdd935bbeec66b49a48bddabbb09f8f9a2fbc1e6c2fb5
cbde08f364f5ec3b93c4c76dfc136d3435f5c3802ba93bf3279d4201b177c1c3
4ab7242eafff7b11085898e4b5666f4afc26289b8fa54b0b581e04fdd9dcff6e
9716cfb37ef692ab3584ed14b0e2e0dfd7abcd95459a0b187e9242428ea15466
c3b3c3b074d36a4ee9a5314e4e962caa9035ac68604b9f327bea904b836fd3f5
7ee52f754d129e4f2b13bde695158c3dc985743f29a39460f8e0ef73cccc3e1c
35145a6e18ac488e28053445ecb0431b3b716bc2d3073fbc82e210f8d3492e4b
463e9e7424763bac87730cb62bac08a283d6e6d8ce6233e8ac450c390f4209a1
24db8b5e0287cb5770e48fc9da92f62e1712b72f5a4beb1dc3c1db9259e0097a
5f936ad7bd755dbd375ff7032e6b771becc079560771d4b75b2cfe5a0b082eed
f5e3557e1782ba15474f17feddb8a8190c76e30f1d3e46c2c8d37b6843f6a4df
081dcfd90b610e3bf703ae02c8d8959f713dd3412a5bb6a353c4ab6567e0fd3f
92b5e4034e8791b5fc233c965439389c16677a919c05d06f4bcbd4be927e18d6
ce8a767d4f2cf16bcd81e113c6135b773a6641b483dc3f4c9f4502d32c592377
fb53f790740651d08a7e8e5275b7245972ac7250649388b8e59e2f65a6eafaea
0d72f9147813e4bd2a3dd10d8534b22c6749d128ece7c79aaf3b437812f65fe5
e7a7819ee6c9a0558f6ece3509597a0f288ee11eb1be78fd45a6ad2a72f7c6fd
137d8a8feaf302e908f4c553a5f7a9e2368a05521f1452e8ddeadf3f7858fa1a
5a703d367973cbce701da878d1d19c26e17374a3b7d69233ef314dee4769e8d4
7feca9d9a720cef7b2a00cf89806919dd42a92e1456037b1824312733557d7f6
89f95236f48bd1c2ef732a514cef8035b85e2d4d5bb4c996e2169b662a60f6ae
67a4e0664b293d9a8dd4be01e3d738bdd9126b781bac7823c640b653ca15ff75
0c8147fcb7f76f986398c921b1a9d1597d69c83c6077a3f18c5a80f4949d061c
1b6beaecaba6f4f3867c5f95bd857916ce919ab5e0ad674511a96dba51e516d8
7043aaa51dfcb7d2cb7ba7d079c6e294fd523d9ea5368470d8f5226682875baa
5fdd90e5c2d5b80c2de300c47ee17fa96e8252edaaa1c91b350a4352df7f3b04
25e8cbabf1a1ce79cc1511508b60f1cfd6787b65b090a64632a09a9d0ea35d25
a4f61d37bb4146c1c15b3c585c74eb063e2b42e136e123d878c688fc57c4b28a
b71ab56a6cce1ccbbceeb4284da25cc7cbb6d53bd3065ec7bdda0c3a21056b02
a2677ea20db598a6cf36bbf32a2117610c3c68b0cb914260b5c03020a47b2df1
335a6494124115709c717780e4533f4f2cadd310a2ada33f471c618fb5cbc7cc
6705d63a4872eeb7deaeba6faa23b9c1fcc6a928725697eebf2e33e5e9d4dd30
34dc8910db8604819a56dd6979483325d94350a76cf876f0520ae8ea24c8713d
486093b813bad8616f6be86b705155910fdc9648c2c2aad3c78d93d53c00c985
fd5a5e3d5cc9da7a3c8279dcfc5e9b54e23e15dddab718788d207c55ade3a3a1
67042488912b7536ac639fa8faeaac8ddcaaf047d72eeb6da0498fc4ba022d83
0c16b2d3ef554e9b6c9246a70ea8004431ba975a7eba052b473238d287b9601d
a54215bf843d999225cbf2bf3356737fe4b26c648f8dd59c76a56c7c427ff6c6
2433597bfa21c90734ad898c1d27153808c4f073ca452fa2e2ae8c779e4fc0fb
78f22bc84bfe13650f3808c48fac96d95c81e7d25e3c76dac86311238c9dcbd4
5286a73ccd7f3e45a2b20535eed2653b39bf4bef908446544cf1f5dc5abc339d
1c9e6caf02b504da1b851565fae78bbc1a96996e815265daff4f47d67df88972
723badb29ba0990198e074602bf780b9b2ada99e2745da5193d143ceec9e4c73
f112972e8fffa4c585cd537b38e05cfa8c301196bc1ed72fc392c8a0427998de
dbf06296e6b160557125907f62c51631b0f083ad2683c5e94189538ea110030f
71e66853be9ce91d7c50d4a6bf52388d35b7fd1bfab42d11fd220f7fa591bd0e
b1116f888d7baefe2462edffb39b38fe43d82af6e7af180f335ffe5e1dd8f36c
8066e0239f1e6441bb2a840d64651153e5efc83a054aeff5d6029ded65de2d9b
844fca00d5ce5a2151b14e14218c70b34c3a40a9e80fcb58c2d10aecf4cc0f91
35e4f7f3cf4edf17db4de373b1301be3c280044c12fce9c0a44372e345439fe6
8652170a0fcfed28fce2df9d64532754d7c4dd3642c43132194f2c9384017edb
d939c16bfde100e4b1b20956ef87b041fbe214d9647f33e31555b467e9c620ce
0958391963b4a55aa70ea12a6cbf0f58bafdba1e1000b677df4be4e8fa3e94ce
9b9f2dc6d8ab106ec266bc55c247897caefc737ee21933d0c01fe34fa4a21a15
12fe65f54405515e3a27469d39b3b5547a0d51c160e71d18174a7ddacc08793f
3460e6e1812f4b0358ef3cfcf66ffd9d6749528f71e659ce4f94d7a63cc78a27
2ab3a8261fd76b21bffbfb7c9b07070d41d8d527c0c1f80b23c630a422e48dae
a3e1dd0d97d012ab52e83419d1c1446beb236b23f572cd728c91655bfe1b3722
cc674e6c81dac6a98f38938fa16f33c64098b38210740f6044370eb27176e9b9
4b764709c500fb924d3b3cfd641bd7c35ecf4119e4e03c5c142331d014e6a38b
b6cc503b1f5652421707acb3b40c2599ce3046c435fe7a691dc8d585220c4a14
bcf9b59cf90049816e85dc4f4676f149f4eed8cb2777268bf93d5233f6623a15
fdf31eee296b06f8b7dbd486
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
%%BeginFont: CMBX12
%!PS-AdobeFont-1.1: CMBX12 1.0
%%CreationDate: 1991 Aug 20 16:34:54
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.0) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMBX12) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Bold) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
end readonly def
/FontName /CMBX12 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 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 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 85 /U put
dup 86 /V put
dup 89 /Y put
readonly def
/FontBBox{-53 -251 1139 750}readonly def
/UniqueXX 5000769 def
currentdict end
currentfile eexec
9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0
0b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3
79791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3
2ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8
b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d
823385fe55f3402d557fd3b4486be79011d1f5bfae5c1f476ee6f05eb1d2caeb
269958b194521197b312fcced4867f3c8fbd030bd715d8ffda1dcd454b174e7a
1a97b59fe770e67702519d9d9b23d61ac08424d555242a8ca08c49aef300945d
99b999a79ce74804ae6bfde623f4463371442f6523a5f6ce19c839a708c02513
2e22c696c8ccade45680e5197189d0f98e7f0d5f955e353970b392cf530a68cc
56b0035ddfbf206c3074beeb0739dcbca272a6e629fb7aea2c5ba7bae50c7b4c
a595df78200c352997ec3ee564df229fbb5473f5e8ccb1cc0153e9a7e299a8ea
a29b69d1b622b1f0cffc58291248759607d91150cb0651120970dc9f743bebef
44f6ae92facec57658999c8bf01f60611560043962c0695e1bb87d090e0fdaab
659d6557208a660be9aeef8ae55f71b8bc76394d792967e41bd8023b6e7f8c3d
9987d5e54c53bf2bbb32855b946473b44833bd78873df8e4c7e668ffff25aabb
8da4148f744b9d0524d6cb8281247b3052cc5d66f3f1bcf8a56a3fb446ea587b
d8be30257652cee035628aeddfd8283b5ad21b8b1480ad24d898970ac8a1e33e
543ce4e3c48f9ee621c5ce3e8ae930f890011b630866c988606068d9e92396eb
f51bb3db204505fc3d09d4701ac703a14d92bbfe27bd7411b363a88e33a8e9a8
025ac31f21e73dc52b333b918d0b1270c54873a490222d041a66e0192612be6d
2c88958a8f70c10390146ee5091df020ab97675e8e6acf98b28b539cd0a20d24
a42f535ae44b8f5e9290b38fc6b02e1bbbdf1aca96558c2dd5afbec53f03ab51
fbce958ed4a65b17fbc03f9defd4aea4a15229f3c320876235f2d8b69bda5f48
03a2798790d35b394c63295997dd487bc603cdd10d18f3e3fcc7f17d2a6afc77
f1d7f6cf69d2a86b104b9d3b260e4a78716927a485ad8a650d610e68378f4514
3610b087981f0a0655090163dd2dd4d0030faf6a953896a9cb2cd033ec9f6692
5dfd7791032b62b7373c9c4f30395226b1d0198bec261c6679129565ab7127af
9734ac2022939e21126aa6076d071b1f599c1ada151d1c7b46bf930cbfdac523
88c08445d77c31381c92ec351ecf2b938aad145d4d44bd9a282a5062409bd038
41c7c0295a3e36fe194672b100aede8674b4a5c44007a93946f540ed82ff2207
380ab79f9dbd0b8daa7d67c9403f98e8b361f6777d474d7ad5ce20bbfbc7a812
3edf006145793b6c651e534c35c0d3b986b0da7596048610650d7d3487152790
7d7d4fd9a19dd0d41e2bf4525a95e2dae184fcae46b7c54cc898e4a6d181186e
aa7faed3f39460312322af34f251043c2b0ddf6595d97282ed8897142ae65f04
958518960da6a77e305a91036c3b3785c9d226ecdde1b8b9b5a578d4854ac19b
cbf5bb83a6e4d347a8448118c656d2b558341d8c9e61c8f21d3af990f351bba8
f088c5e79e23ccb7aed7d6e527691de6793cd55a6a3ef3ace5d43c9a714de325
9a2d90427541cd3a8e77e553f5e2938355e204d0fb338183493c3a3cbf07d621
180d2b722452db343b8024f637524e76e349db731352a861c76c1434d0fdc231
fdcbcefa7bdc6537ccb23b17ef4f857e1d441ea9f26d507fc4cf8efd5f086ee1
dbbb6c5f1fa297655aaa3bfd2a77a7196cd6331318b730a701d0c8727fd79ae6
b6c35fe33e18a02d6ab4250d6078a5aeabca49f3d388e1d73e6bdf941546aa2d
a2d4a02c20aa47ceb384259ee4cf2a9c7ccf2ba2712912712f02c1dfbf3ebcfa
5c94cc6e1562ac472e9b3706fdd580d5c5bf9f28ae4633818af7e27e362f5d4b
4094343e2f7dbbfedf2340f3808cf82eb71684781d29279a17a0637a002fc0a3
96db87d96967bfd5fd7bb29dfac99e6b3707fdbfcbf8f1956682e694d8470ec3
2b8077f658d22569e7b5a70dc69959e245bcf15da922c47165ca3b25998a2367
63f2bdc5e7164a67dead57709981198de923ebba172b1e0ddc6985cb923db79d
dd9233310eed423a0a3866e8439e7837732be66050e53c37c72840898d9e40ce
56e56ed58f1a267c535ee6011f93d4d5a6a7d1059106aff0517bedaceaee89f4
1cd4357fca774e847e2c46687a3c1298d9084a8eebaae87367c626df7c111dd3
df0f2b1c4212314feec1bbcef5849eda64d673f50428194e1ed9c9b4911a5fe1
50b12b676038d06ea6f76a7f5865a4bdf7be4d71e48bd6e17403eb982d44361f
cea1719aa1a50ae73e7c6f42f01212dd0863ef26e2fbcb3715c975c518c06e2c
eb605f521dc94c5c55ed3869b0ef77e85a2ffae089f49ed208078e5e6627081a
82dbc78d7c7095f6a99b096c2b62e8bd9c879ee05c56d0e24004df4f808225a1
36742b2494411a2bfe16f364a02fb20a0790e172580a211b016baf6a2811a3c6
496e62dc1092896ad8c435e5e5a33b3a32c5bedb8b8f0b0e6af915dedf93e42f
7cb69c089549094eeb3a10569173f2436ef805c43875112833294b03ce8aece1
39189b26e0af23ffac83258423344789411a7eb92660d53a6c4b371a8dc47ea1
9908288fafc03314d4c529071abdf4b6c147bc0ffad6686363b1437c3957d888
ce9f46f256c0cd0d0c3f551fc785b32320429380ed08c7ccd229fc0915c8ffd2
8938709b1ae10fec40920d68c4636ce153bf2eb28ae57329d9f6fc8b43f7f603
78d6912c68a617176c684c15c7719f56ca92b80c4a560f1806c664fab070ed08
c91fe4c822906d49d1ba76587e6422c2010feb3b13eb74fc4f6b67257df10afb
a24fb731a2fad5e0754e6de0a4e7ef291b44e9231a63e84ae40c9814cc0cc4ea
543ec17bf03c27ccfa9e470a12103fe0c66f6b5a13bf692bde2f60f422f0f33e
27d9cf8369f7a6e6527cd4d49b441177f7441496b8064c4a94bbb1bb4a70260e
d5bea5058ec7a57f22c948b0f8b86a3f188c84a483f86a63faf62aa6cfb485d3
523e06b8d162fa2816b0b32c7dfb438092806ab85dafbdc079a686c37ceccdf2
bab8f7b6e2263f4fbbd4c71d882eca67eaee7856f48281c124049815dd7cf63f
e83a649c3851a4e3fdc6d0870a10dfcef65165cfe4099521aa22a4b749ce1871
e04327db939c93ffa6565f66d3027e05c0ecae8283e503ce205221a34c8a3eb5
fa4359b95404a09d62f0472b7c3df1527983a7eb3708e14658e02819c22d0e30
dd7c2075ec669b16aa3a148c7fa09c2ebcf30b810ada5e013311d9a454bb3e48
e1aaa272dde751d77bea1dc1349051a817fa517110f389aed17a4dd02d222063
653965ff76f75cbe1628e7fe43fc515f9cf815990972b51100161808b28471b6
f10d65c2b0101ce7f542801c16057607c1dc52f57a63a8311c4f5b0061acf78a
d2a4ebbe9fe243bd636f137425aeda0ce966f330a091763d92ab1ba6b5cda033
832c8d8685a37d176232cb7549133436020869e5087f989acdec2a3b4710dadf
73bbe34d6b0f30cef6c00ec615bcee59a59e6a45b08e7859a81db8254a426e00
161b16a2316ad6a96e2bb121348eacafa9d66861dc8a8389b5f26d7c4924e337
86202627e669f1c87b61cace45afcb3856c61c317bda71b319b9b9d917fa4196
0dfa246f8aa753394d938ae4d9b3e1b3380b06e230333951c9f9d31f30dd506b
80111f79ca1fe064165350665f429d7c60f86c54c2880d9347f675db0cc7816c
4253f5bb740ab7564fc7d50294ac1d828321d3d3dec537da713db96e0dca1901
93503ec56ca2334aa25c7108f5f0b262ca71af9f7d08a268644c42013256821e
5e60153f70bfea06fca10386397b371b24f0ea43b61895a038c0139f64708559
303f93d1323178c8af5832e66ddede9898f0dff126243b2182cdabd999f5f981
4fcbfdc8ec554d98342a5c44a195b4b1b1adf162aecedb871797355a51a8027e
4f7b2e6ade25667b3fd9bab2466c779eb6154807b845a5cfb8be633aad8c41f2
444c9ad9e5503eead0165ee3a8ceafef690efc303d4691e881fa06a3eb1362d7
94a5b7ece4ed97aa102acd7fbd8a608efbd8fa7d39d3c3878c9d4ca5d18d144b
4a6327b83b6585a1bb52660c0ab1005b6bd8e4fe09f976cd2c4ff8318618520e
68ac6575d2767c97fa59a79148cc40b573fd9204bfe540a3a2e68d2fe1af8949
7918cb102a49a6ae54620fd3a2ff697cf370e14cf09bd64d28dae84917fee8cd
a57800c0f2eb55536817602c1e84f16d7fe25e3a21338940003f5d8cb9c82fb8
0e1fa18bf82b17b9bbed26c623fb9bca8c12e2271f5ab233427ac1ef6969ae2c
0ca2aa2a03f28095ce096b4d83b795fa8c9a0f8c201c476522ea7fbc17ebd5ba
5e4325bff8838d517101e410216d2dd708eec36306128ad80ff1ffb6bd4ce30e
5edd620159f21f3082aded4fab6682b46d7c5e31d14ad066914c3c5096ace1d6
3c1055b1045d004043d1c3251d3132b8bbec59a46528f4ad3f055c2872d45c06
35ade2db1e8632e252fa8eb0332fb39de2959844f841744f37b781b5187f52a4
16460af43c8b4b07af8186a33baf7adf98ce2dd7eb252f52395dd8583cf83fc2
cc220b84e9c66244e2ac81c4e44cb159cba41a819db53ccc96620fdb7087a3fa
e09460c83758e26598e5cd900f0d56ba54f658ac079956f635e34682631f97cb
7f606e4ada5444b77ca58ef1fb2985c014dcc650c413be0e5a16277c68303ba1
99160cc20fcb4d411b2526314ee74a00d786c02531e4b1a26b80575b6426c7ab
90fbe3f7197240a6ea367077b3e98248548dd447e1c2dd8389c61c6ff44e99b4
632d8a7c6f5fbf950010b66a2833b79f376eeeeb822436e4a5ff3daa409fb03e
2ed8bb0430d40fe536849a0c94a1831c2cbf3ebdef1cc84334c333edd6754f8d
40ad65428fbf4cc83d8f121edcd9d9edb98bd3ffb359958af624840c82fc5111
be02e86141b22d46ca96925f7ff29ce0976f295c44eae044f93c5f00862a54ea
be1a9e5f9d7429e6ce255ded41419d25a1c02c2845b9d1771ec88496b8c152f9
b56533ba18e64b96ef9f137105372157fe4253d4705fe833be7a99bd258759b1
9cbf4342c0b412dad528867d1d0bd8610448ad4f005b12384fa24f5c9f1ebe7f
0c20c1abc7512ac5d1e2bb50ffdcb5cad14bad3b081a08ee0cfeef783b9fe10a
0e5e01dd2b3a7752e47ddde0204027cd530316513742121c0f8cc46ff40735c7
b5111aa6e8c86766ab7873dc0f570491d0c1e322d4bf636aa1dafdd7383f7b7e
148197f65c7dc3f235aef36d5f040f4b7bde6e631c08d23274ab95fbd89f1a40
d558ef4c5de77ebbfd29c5268f2979ea69d6f367e682583850670bd0699cf94b
649c85167c3408c6b2179b5e483a0f2714764894ab359baaa38961f3bfb33662
5cc0acdf3ed5257199941af0e0372ba9d2eba989d25be889a81de1665e198668
748ab73ab972e5aa5c8b049ccd004148458c7b3d2b66a46c7c8135b99e2d41a8
1d7ca4245d6d8da62f4edce5749fd01fa7c27d3bb1f6bec07553af8b0fdf589d
ee804c5a2a10c213bffb
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont
TeXDict begin 39158280 55380996 1000 600 600 (cs3.dvi)
@start /Fa 152[50 50 68[100 14[77 14[50 3[{}5 99.6264
/CMSY10 rf /Fb 204[35 35 35 49[{}3 66.4176 /CMR8 rf /Fc
143[49 23[81 3[57 1[74 10[77 63 72 81 70 74 73 5[27 59[{}12
99.6264 /CMMI12 rf /Fd 130[51 51 51 1[51 51 51 1[51 51
51 51 1[51 51 51 51 51 2[51 2[51 51 51 51 51 51 7[51
4[51 51 51 1[51 51 51 51 51 51 1[51 51 51 51 51 51 51
51 51 2[51 1[51 2[51 4[51 51 51 51 51 51 51 1[51 1[51
51 51 3[51 51 51 51 33[{}59 99.6264 /CMTT12 rf /Fe 134[47
1[65 45 52 32 40 41 1[50 50 55 80 25 45 30 30 50 45 30
45 50 45 45 50 18[72 4[38 27[35 30[86 14[{}27 99.6264
/CMTI12 rf /Ff 134[51 51 70 51 54 38 38 38 51 54 49 54
81 27 51 30 27 54 49 30 43 54 43 54 49 3[27 49 27 2[73
100 1[73 70 54 72 76 66 2[89 61 2[35 73 77 64 66 75 70
69 73 1[46 1[76 1[27 27 1[49 1[49 49 49 49 49 49 49 1[27
33 27 76 1[38 38 5[49 20[54 54 12[{}68 99.6264 /CMR12
rf /Fg 134[55 55 76 1[58 41 41 43 55 1[52 58 87 29 2[29
58 52 32 48 58 46 1[51 7[79 1[108 1[80 73 58 78 1[71
79 82 99 1[82 1[40 2[66 69 80 76 74 79 6[29 52 5[52 52
52 52 1[29 4[41 41 40[{}47 90.9091 /CMBX10 rf /Fh 166[85
2[85 86 78 62 84 1[77 84 88 106 67 2[42 88 88 70 74 86
81 80 85 65[{}20 99.6264 /CMBX12 rf end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 600dpi
TeXDict begin
%%PaperSize: A4
%%EndSetup
%%Page: 0 1
0 0 bop 998 407 a Fh(UNIVERSITY)35 b(OF)j(EDINBUR)m(GH)622
827 y(F)-12 b(A)m(CUL)j(TY)36 b(OF)i(SCIENCE)e(AND)h(ENGINEERING)973
1240 y(COMPUTER)g(SCIENCE)f(THREE)1280 1953 y Fg(D)m(A)-9
b(T)g(ABASE)36 b(SYSTEMS)1375 2366 y(F)-9 b(rida)m(y)35
b(31)g(Ma)m(y)g(2002)1511 2578 y(09:30)h(to)e(11:00)1575
3291 y(Examiners:)1208 3504 y(Prof.)47 b(K.)35 b(T)-9
b(urner)35 b(\(External\))1169 3716 y(Prof.)47 b(C.)35
b(Stirling)g(\(Chairman\))961 4729 y(INSTR)m(UCTIONS)e(TO)h(CANDID)m(A)
-9 b(TES)1172 5042 y(Answ)m(er)34 b(an)m(y)h(TW)m(O)g(questions.)1054
5262 y(All)f(questions)i(carry)f(equal)g(w)m(eigh)m(t.)p
eop
%%Page: 1 2
1 1 bop -5 407 a Ff(1.)49 b(A)c(compan)m(y)h(pa)m(yroll)f(database)g
(con)m(tains)h(information)e(ab)s(out)h(p)s(eople)g(who)g(are)g(paid)
120 527 y(\(pa)m(y)m(ees\),)g(pro)5 b(jects,)45 b(and)c(what)g(pro)5
b(jects)42 b(p)s(eople)g(w)m(ork)g(on.)69 b(There)42
b(are)f(t)m(w)m(o)h(kinds)g(of)120 648 y(pa)m(y)m(ee:)j(emplo)m(y)m(ee)
35 b(and)e(consultan)m(t.)45 b(Here)33 b(is)g(a)f(relational)h(sc)m
(hema)h(for)e(the)h(database.)720 917 y Fe(pr)-5 b(oje)g(ct)p
Ff(\()p Fe(pId)p 1041 953 138 4 v -1 w Ff(,)32 b Fe(pName)p
Ff(,)h Fe(budget)p Ff(\))720 1041 y Fe(p)-5 b(aye)g(e)p
Ff(\()p Fe(id)p 985 1057 80 4 v -1 w Ff(,)33 b Fe(name)p
Ff(\))720 1161 y Fe(employe)-5 b(e)p Ff(\()p Fe(id)p
1140 1177 V -1 w Ff(,)32 b Fe(salary)p Ff(,)h Fe(o\016c)-5
b(e)p Ff(\))720 1282 y Fe(c)g(onsultant)p Ff(\()p Fe(id)p
1189 1298 V Ff(,)32 b Fe(hourly)p 1593 1298 35 4 v 35
w(r)-5 b(ate)p Ff(,)33 b Fe(addr)-5 b(ess)p Ff(\))720
1402 y Fe(works)p 961 1418 V 34 w(on)p Ff(\()p Fe(id)p
1138 1418 80 4 v -1 w Ff(,)33 b Fe(pId)p 1277 1437 138
4 v -1 w Ff(,)g Fe(hours)p 1707 1418 35 4 v 35 w(worke)-5
b(d)p Ff(\))161 1630 y(\(a\))49 b(Dra)m(w)32 b(an)h(E-R)f(diagram)h
(that)f(represen)m(ts)j(the)f(database)f(and)g(captures)h(the)f(infor-)
335 1751 y(mation)40 b(ab)s(o)m(v)m(e.)69 b(Underline)42
b(the)f(attributes)g(in)g(y)m(our)g(diagram)g(that)f(are)h(k)m(eys)h
(or)335 1871 y(parts)32 b(of)h(k)m(eys.)2720 b([5)32
b Fe(p)-5 b(oints)p Ff(])156 2033 y(\(b\))49 b(The)33
b Fe(p)-5 b(aye)g(e)32 b Ff(en)m(tit)m(y)i(set)g(can)f(b)s(e)f
(translated)h(in)m(to)g(the)g(SQL)g(DDL)335 2216 y Fd(CREATE)52
b(TABLE)h(payee)g(\()e(id)155 b(CHAR\(9\),)1411 2336
y(name)53 b(CHAR\(40\),)1411 2456 y(PRIMARY)g(KEY)f(\(id\))h(\))335
2639 y Ff(Similarly)26 b(translate)f(the)g Fe(works)p
1542 2655 V 35 w(on)f Ff(and)h Fe(employe)-5 b(e)24 b
Ff(tables,)k(sp)s(ecifying)e(foreign)f(k)m(eys)335 2760
y([the)38 b(syn)m(tax)g(for)f(foreign)h(k)m(ey)h(is)e
Fd(FOREIGN)54 b(KEY)e(\(...\))103 b(REFERENCES)54 b Fc(R)q
Fd(\(...\))p Ff(].)335 2880 y(Use)33 b(whatev)m(er)h(t)m(yp)s(es)g(y)m
(ou)g(think)f(are)g(appropriate)f(for)g(domains.)768
b([6)32 b Fe(p)-5 b(oints)p Ff(])167 3042 y(\(c\))49
b(W)-8 b(rite)33 b(SQL)f(queries)i(for)f(the)g(follo)m(wing.)414
3212 y(i.)49 b(The)34 b(names)f(of)f Fe(employe)-5 b(es)32
b Ff(who)h(w)m(ork)m(ed)h(on)e(the)h(\\Widget")g(pro)5
b(ject.)431 b([6)32 b Fe(p)-5 b(oints)p Ff(])387 3353
y(ii.)49 b(The)34 b(names)f(of)f Fe(p)-5 b(aye)g(es)32
b Ff(who)h(ha)m(v)m(e)h(w)m(ork)m(ed)g(on)f(all)f(pro)5
b(jects.)3623 3370 y([8)32 b Fe(p)-5 b(oints)p Ff(])1591
5712 y(P)m(age)33 b(1)f(of)g(3)p eop
%%Page: 2 3
2 2 bop -5 407 a Ff(2.)90 b(\(a\))49 b(F)-8 b(or)30 b(eac)m(h)i(of)f
(the)g(follo)m(wing,)h(state)g(whether)g(it)f(is)h(true)f(or)g(false)h
(and)f(brie\015y)h(justify)335 527 y(y)m(our)h(answ)m(er.)414
689 y(i.)49 b(Starting)34 b(from)f(the)h(same)h(initial)f(state,)g(an)m
(y)h(t)m(w)m(o)f(serialisable)i(sc)m(hedules)g(will)517
809 y(lea)m(v)m(e)e(the)f(database)g(in)g(the)g(same)g(state.)1531
b([2)32 b Fe(p)-5 b(oints)p Ff(])387 951 y(ii.)49 b(Tw)m(o-phase)34
b(lo)s(c)m(king)f(guaran)m(tees)h(serialisabilit)m(y)-8
b(.)3623 967 y([2)32 b Fe(p)-5 b(oints)p Ff(])360 1092
y(iii.)49 b(Tw)m(o-phase)34 b(lo)s(c)m(king)f(guaran)m(tees)h(no)e
(deadlo)s(c)m(k.)3623 1125 y([2)g Fe(p)-5 b(oints)p Ff(])156
1254 y(\(b\))49 b(Consider)34 b(the)f(follo)m(wing)f(transactions)335
1399 y Fc(T)392 1414 y Fb(1)431 1399 y Ff(:)p 502 1290
689 4 v 502 1701 4 411 v 122 w(read)g(\()p Fc(X)8 b Ff(\);)580
1520 y Fc(X)35 b Ff(:=)28 b Fc(X)i Ff(+)22 b(3;)580 1640
y(write)33 b(\()p Fc(X)8 b Ff(\))p 1186 1701 V 502 1704
689 4 v 1320 1399 a Fc(T)1377 1414 y Fb(2)1416 1399 y
Ff(:)p 1443 1290 V 1443 1701 4 411 v 78 w(read)33 b(\()p
Fc(X)8 b Ff(\);)1521 1520 y Fc(X)36 b Ff(:=)28 b Fc(X)i
Ff(+)22 b(5;)1521 1640 y(write)34 b(\()p Fc(X)8 b Ff(\))p
2128 1701 V 1443 1704 689 4 v 2262 1399 a Fc(T)2319 1414
y Fb(3)2358 1399 y Ff(:)p 2429 1290 662 4 v 2429 1701
4 411 v 122 w(read)32 b(\()p Fc(X)8 b Ff(\);)2507 1520
y Fc(X)35 b Ff(:=)28 b Fc(X)i Fa(\003)22 b Ff(2;)2507
1640 y(write)33 b(\()p Fc(X)8 b Ff(\))p 3087 1701 V 2429
1704 662 4 v 414 1832 a(i.)49 b(Giv)m(en)34 b(that)f(the)h(initial)g(v)
-5 b(alue)33 b(of)g Fc(X)41 b Ff(is)34 b(0,)f(write)h(do)m(wn)g(all)g
(p)s(ossible)g(v)-5 b(alues)34 b(of)517 1952 y Fc(X)40
b Ff(that)33 b(result)g(from)g(serialisable)h(executions)h(of)d
Fc(T)2489 1967 y Fb(1)2528 1952 y Fc(;)17 b(T)2629 1967
y Fb(2)2701 1952 y Ff(and)33 b Fc(T)2948 1967 y Fb(3)2987
1952 y Ff(.)609 b([4)32 b Fe(p)-5 b(oints)p Ff(])387
2093 y(ii.)49 b(W)-8 b(rite)33 b(do)m(wn)g(a)g(non-serialisable)h(sc)m
(hedule)h(of)d Fc(T)2367 2108 y Fb(1)2406 2093 y Fc(;)17
b(T)2507 2108 y Fb(2)2579 2093 y Ff(and)33 b Fc(T)2826
2108 y Fb(3)2865 2093 y Ff(.)3623 2110 y([3)f Fe(p)-5
b(oints)p Ff(])360 2234 y(iii.)49 b(What)33 b(is)g(the)g(v)-5
b(alue)33 b(of)f Fc(X)40 b Ff(that)33 b(results)h(from)e(this)h(sc)m
(hedule?)3623 2268 y([2)f Fe(p)-5 b(oints)p Ff(])363
2376 y(iv.)49 b(Dra)m(w)32 b(the)h(con\015ict)h(graph)e(for)g(this)i
(sc)m(hedule.)3623 2425 y([3)e Fe(p)-5 b(oints)p Ff(])167
2546 y(\(c\))49 b(Giv)m(en)33 b(the)g(functional)g(dep)s(endency)i(set)
967 2666 y Fa(f)p Fc(A)28 b Fa(!)f Fc(B)5 b(;)17 b(B)33
b Fa(!)27 b Fc(C)7 b(D)s(;)17 b(C)34 b Fa(!)27 b Fc(AE)6
b(;)17 b(D)s(E)34 b Fa(!)27 b Fc(A;)17 b(E)6 b(F)41 b
Fa(!)27 b Fc(G)p Fa(g)414 2828 y Ff(i.)49 b(Giv)m(e)29
b(a)f(candidate)h(k)m(ey)h(for)e Fc(AB)5 b(C)i(D)s(E)f(F)14
b(G)28 b Ff(\(a)f(candidate)j(k)m(ey)f(is)g(a)f(minimal)h(set)517
2948 y(of)j(attributes)h(that)g(determines)i Fc(AB)5
b(C)i(D)s(E)f(F)14 b(G)p Ff(\).)1229 b([4)32 b Fe(p)-5
b(oints)p Ff(])387 3090 y(ii.)49 b(Is)33 b(y)m(our)g(answ)m(er)h(to)f
(2\(c\)i)f(unique?)45 b(If)33 b(not,)f(giv)m(e)i(another)e(candidate)i
(k)m(ey)-8 b(.)3623 3106 y([3)32 b Fe(p)-5 b(oints)p
Ff(])1591 5712 y(P)m(age)33 b(2)f(of)g(3)p eop
%%Page: 3 4
3 3 bop -5 407 a Ff(3.)90 b(\(a\))49 b(Brie\015y)29 b(distinguish)g(b)s
(et)m(w)m(een)h(the)e(terms)h Fe(wel)5 b(l-forme)-5 b(d)26
b Ff(and)i Fe(valid)g Ff(when)h(applied)f(to)335 527
y(an)k(XML)h(do)s(cumen)m(t.)2454 b([3)32 b Fe(p)-5 b(oints)p
Ff(])156 689 y(\(b\))49 b(Consider)34 b(the)f(follo)m(wing)f(DTD:)335
872 y Fd()335 992 y()335 1112 y()335 1233
y()335 1353 y()
335 1474 y(...)335 1656 y Ff(All)32 b(unde\014ned)j(tags)d(are)h
Fd(#PCDATA)p Ff(.)414 1826 y(i.)49 b(W)-8 b(rite)39 b(do)m(wn)g(an)f
(appropriate)g(SQL)h(DDL)e(to)h(store)g(XML)h(data)f(conforming)517
1947 y(to)32 b(this)h(DTD.)g(Assume)h Fd(CHAR\(10\))h
Ff(for)d Fd(#PCDATA)p Ff(.)1180 b([4)32 b Fe(p)-5 b(oints)p
Ff(])387 2088 y(ii.)49 b(What)43 b(prop)s(ert)m(y)i(or)e(prop)s(erties)
h(of)f(the)h(XML)g(data)f(w)m(ould)h(y)m(our)g(relational)517
2208 y(implemen)m(tation)34 b(fail)f(to)f(capture?)1760
b([3)32 b Fe(p)-5 b(oints)p Ff(])167 2379 y(\(c\))49
b(The)28 b(follo)m(wing)f(assertions,)j(of)d(the)g(form)g
Fc(p)1947 2394 y Fb(1)2014 2379 y Fa(\022)i Fc(p)2169
2394 y Fb(2)2208 2379 y Ff(,)f(state)g(that,)g(for)f
Fe(any)g Ff(XML)g(do)s(cu-)335 2499 y(men)m(t)j(and)f
Fe(any)g Ff(con)m(text)i(no)s(de,)f(the)g(set)g(of)f(no)s(des)g(iden)m
(ti\014ed)j(b)m(y)e(XP)m(ath)g(expression)335 2619 y
Fc(p)384 2634 y Fb(1)461 2619 y Ff(is)39 b(included)h(in)e(the)h(set)g
(of)f(no)s(des)h(iden)m(ti\014ed)h(b)m(y)f Fc(p)2430
2634 y Fb(2)2469 2619 y Ff(.)61 b(F)-8 b(or)37 b(eac)m(h)i(assertion,)i
(sa)m(y)335 2740 y(whether)34 b(it)f(is)h(true.)45 b(If)34
b(it)f(is)g(false,)h(and)f(only)h(then,)g(giv)m(e)g(an)f(example)i(of)d
(an)i(XML)335 2860 y(do)s(cumen)m(t)42 b(and)e(con)m(text)j(no)s(de)d
(\(y)m(ou)i(ma)m(y)f(dra)m(w)h(a)e(tree)i(diagram\))e(for)g(whic)m(h)j
Fc(p)3501 2875 y Fb(1)335 2980 y Ff(iden)m(ti\014es)34
b(a)f(no)s(de)f(that)h Fc(p)1322 2995 y Fb(2)1394 2980
y Ff(do)s(es)g(not.)414 3151 y(i.)49 b Fd(aaa)66 b Fa(\022)f
Fd(\(aaa|bbb\))2286 b Ff([2)32 b Fe(p)-5 b(oints)p Ff(])387
3292 y(ii.)49 b Fd(aaa)66 b Fa(\022)f Fd(aaa/bbb)3623
3308 y Ff([2)32 b Fe(p)-5 b(oints)p Ff(])360 3433 y(iii.)49
b Fd(aaa/bbb)67 b Fa(\022)e Fd(aaa//bbb)3623 3466 y Ff([2)32
b Fe(p)-5 b(oints)p Ff(])363 3574 y(iv.)49 b Fd(aaa)66
b Fa(\022)f Fd(//aaa)3623 3624 y Ff([2)32 b Fe(p)-5 b(oints)p
Ff(])390 3715 y(v.)49 b Fd(.//aaa)67 b Fa(\022)e Fd(aaa//aaa)3623
3782 y Ff([2)32 b Fe(p)-5 b(oints)p Ff(])156 3885 y(\(d\))49
b(Giv)m(en)33 b(that)f(the)h(\014le)h Fd(xml.xml)g Ff(con)m(tains)g
(the)f(xml)g(do)s(cumen)m(t)488 4068 y Fd()591 4188
y()52 b()g(C1)g()g()g(C2)g()g()g(D1)g()h()
591 4309 y()f()g(C3)g()g()g(D2)g()g()437
4429 y()335 4612 y Ff(What)32 b(do)s(es)h(the)g(follo)m(wing)g(X)m
(Query)h(query)g(pro)s(duce?)335 4795 y Fd({)488
4915 y(for)52 b($x)g(in)g(document\("xml.xml"\))591 5035
y(for)g($y)g(in)g($x/b/c)591 5156 y(return)h()f({$y})g()g
({$x/b/d})i()e()335 5276 y(})3623 5326
y Ff([5)32 b Fe(p)-5 b(oints)p Ff(])1591 5712 y(P)m(age)33
b(3)f(of)g(3)p eop
%%Trailer
end
userdict /end-hook known{end-hook}if
%%EOF