source: liacs/cvp/prolog/prolog-exercise.ps@ 115

Last change on this file since 115 was 2, checked in by Rick van der Zwet, 15 years ago

Initial import of data of old repository ('data') worth keeping (e.g. tracking
means of URL access statistics)

File size: 124.5 KB
RevLine 
[2]1%!PS-Adobe-2.0
2%%Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software
3%%Title: prolog-exercise.dvi
4%%Pages: 3
5%%PageOrder: Ascend
6%%BoundingBox: 0 0 596 842
7%%DocumentFonts: CMR17 CMR12 CMBX12 CMTT12 CMSY10 CMMI12 CMTI12 CMR8
8%%+ CMMI8
9%%EndComments
10%DVIPSWebPage: (www.radicaleye.com)
11%DVIPSCommandLine: dvips -Pcmz prolog-exercise.dvi -o prolog-exercise.ps
12%DVIPSParameters: dpi=600, compressed
13%DVIPSSource: TeX output 2007.10.18:1953
14%%BeginProcSet: texc.pro
15%!
16/TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S
17N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72
18mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0
190 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{
20landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize
21mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[
22matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round
23exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{
24statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0]
25N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin
26/FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array
27/BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2
28array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N
29df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A
30definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get
31}B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub}
32B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr
331 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
341 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx
350 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx
36sub Cy .1 sub]/id Ci N/rw Cw 7 add 8 idiv string N/rc 0 N/gp 0 N/cp 0 N{
37rc 0 ne{rc 1 sub/rc X rw}{G}ifelse}imagemask restore}B/G{{id gp get/gp
38gp 1 add N A 18 mod S 18 idiv pl S get exec}loop}B/adv{cp add/cp X}B
39/chg{rw cp id gp 4 index getinterval putinterval A gp add/gp X adv}B/nd{
40/cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{
41A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy
42get A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S 128 and or}ifelse}
43ifelse put 1 adv}B/clr{rw cp 2 index string putinterval adv}B/set{rw cp
44fillstr 0 4 index getinterval putinterval adv}B/fillstr 18 string 0 1 17
45{2 copy 255 put pop}for N/pl[{adv 1 chg}{adv 1 chg nd}{1 add chg}{1 add
46chg nd}{adv lsh}{adv lsh nd}{adv rsh}{adv rsh nd}{1 add adv}{/rc X nd}{
471 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]A{bind pop}
48forall N/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn
49/BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put
50}if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{
51bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A
52mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{
53SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{
54userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X
551000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4
56index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N
57/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{
58/Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT)
59(LaserWriter 16/600)]{A length product length le{A length product exch 0
60exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse
61end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask
62grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot}
63imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round
64exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto
65fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p
66delta 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}
67B/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{
68p -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
69rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end
70
71%%EndProcSet
72%%BeginProcSet: texps.pro
73%!
74TeXDict begin/rf{findfont dup length 1 add dict begin{1 index/FID ne 2
75index/UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll
76exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics
77exch def dict begin Encoding{exch dup type/integertype ne{pop pop 1 sub
78dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def}
79ifelse}forall Metrics/Metrics currentdict end def[2 index currentdict
80end definefont 3 -1 roll makefont/setfont cvx]cvx def}def/ObliqueSlant{
81dup sin S cos div neg}B/SlantFont{4 index mul add}def/ExtendFont{3 -1
82roll mul exch}def/ReEncodeFont{CharStrings rcheck{/Encoding false def
83dup[exch{dup CharStrings exch known not{pop/.notdef/Encoding true def}
84if}forall Encoding{]exch pop}{cleartomark}ifelse}if/Encoding exch def}
85def end
86
87%%EndProcSet
88%%BeginFont: CMMI8
89%!PS-AdobeFont-1.1: CMMI8 1.100
90%%CreationDate: 1996 Jul 23 07:53:54
91
92% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
93
9411 dict begin
95/FontInfo 7 dict dup begin
96/version (1.100) readonly def
97/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
98/FullName (CMMI8) readonly def
99/FamilyName (Computer Modern) readonly def
100/Weight (Medium) readonly def
101/ItalicAngle -14.04 def
102/isFixedPitch false def
103end readonly def
104/FontName /CMMI8 def
105/PaintType 0 def
106/FontType 1 def
107/FontMatrix [0.001 0 0 0.001 0 0] readonly def
108/Encoding 256 array
1090 1 255 {1 index exch /.notdef put} for
110dup 105 /i put
111dup 110 /n put
112readonly def
113/FontBBox{-24 -250 1110 750}readonly def
114/UniqueXX 5087383 def
115currentdict end
116currentfile eexec
11780347982ab3942d930e069a70d0d48311d725e830d1c76fba12e12486e989c98
11874c2b527f0925722787027f44470d484262c360cdfdddf3657533a57bb16f730
11948bfbbfcb73a650484015441fdc837add94ac8fbd2022e3ec8f115d4b4bb7b7f
12015388f22cc6198efe768bd9fceb3446ee4a8dc27d6cd152485384ef5f59381ff
121da43f2d20c8fb08aa27ab2015b774db10dacfdcd33e60f178c461553146ab427
122bdd7da12534ba078ad3d780414930e72218b3075925ce1192f11fc8530fcd5e3
123038e3a6a6db2dcfbae3b4653e7e02730314e02b54a1e296d2bef8a79411d9225
124dad7b4e6d6f9cf0688b69ba21193bf1495807e7a196cf14c95a4e02f9cd2da8c
125db2546c6df52e524745992e18d9ff87aa25e4e1800bbe4ebb357c6ef55ed6d03
1266d3a00c1ee8073266c21d2f0ac85d656abf61d7e5a4fa87da8ec3b5329e434d0
127d2adab706b42a2e5331be5295399d803ccac03f631f01f39a022fcdf63486b68
1287d15ef284a77def7fde4898543e7b5f7ec267756103e477f547cfb8d2311c4b0
12909deff56085f5d419697af1846c8b88c1bbbae149f0f19ca3c8dafe19cec48fe
1306b38357246d8b5cef80b53bab4cbbbe8bc8318cc462a4158258f456e697f6058
13186010493f252073ee4e4c9531f23485415ad6bc901bbaea659ef701f825f4b6d
1325c9bed0dce7b63810f906b33ea4955531ca1ed1fc120cc56dc1e277a33222cc6
133c3a97552607b865783faf0895cbeccd0df54f57bd162a88494768435eda71a39
13469718c0c5912d3167bb0971546d733e735aa9bcd89f5aa154656031ab3f6fe41
13594ec225ad03ab8b67a9da43ab365c4df17c23e79f685c3b6fd5b654e4a6f2603
1366cec3a8641b0b57f93eb95f9e238832aeac2061f3153e0f375513c974f1c38f7
137b59edcc94716f2862cf71c9a2be8430985da1cd813b1e1c1b9310564a2eb1aff
13852c190f50fc981dccb64bb2c1f7a62c216f211c162c2ed1c554ef49fbaf12b31
139aa3b2a80fee259dc0a2a4242869ddec7c29e2941792b28bba7f2c6f77ef69638
14012b07d6843f33b51e01c8626b26edc34e1e0fffadede5fb468e8cd5de7e5a64c
141366967578f415484d122834de4a647541d66989f7d8b25d1712d8d16729bd9a6
142472c2338069b3c63f83a878e9d80592eb2f12293bba6c77cb6a796fa9b3c5b6a
1434cfc56996ed89b7629b88974c677daa209e36d689d44736ce80f5c57f6a51277
144369c693c2bf6ac63433c69772b84a10323d88e9130cacebc02423dd064130454
1455ad5bc1eb99b3110ee0e469032ef39e3fff69f45aad5e7366d65545119b0048c
146ace9a44836be26dd05abf4114f40444a6776e41a884eeaa89dcb53a328623496
147b6d477d45d647d8d3d442b5d8c292a8dee9326e095c04a388e1cb95838f56b27
148b39d18a8b61824f25915abdb0a18369302369df68c39bd72547e260bc5c826f1
149edf39dce749b8bcc0a1b2e5482375da7c85ab11e83786d1c82c7aa757ea8c43d
150ff0674317d8199b2b1fb3427dd7fe4ebae621eefbff299298dd3e11bfbd75352
151b8260b9df0d558e35464e072b341ef52642870237fcb58dfd1f7526409c4fe63
1520923c7f1b948bb0af05a33a99454942646608331755526215df9c2507de288f9
15329d6683513a5f3501a88daef4d332c6522b083b9f3e1ae002a1a5a1dab142b4d
154ae89f5c642f80f98192e1b31100ede043876de24de8b394da07a486545fd5ac7
155fd69dbb40c73d3779a22d47d3eb118765cfbb1bb4f541895827b7a8493e11c40
156ab60cf71d7c226c8a2d50cdff480b7236606a340a92ce5b0552589620a765d3f
15700d5997349509ac4e4b7a33cf62cb422c1ee4d76ee21631afede8b31d59016ac
1581824ae9bfe756a74f9de617444ae05883820af58cf6d2857355d01fe0c70735e
159588ba7512914aa0171984e253542bb56b5bde4edc21f0d24aa66d659475d1871
160c44eb126c045eb50f5f8c89cb2562a17
1610000000000000000000000000000000000000000000000000000000000000000
1620000000000000000000000000000000000000000000000000000000000000000
1630000000000000000000000000000000000000000000000000000000000000000
1640000000000000000000000000000000000000000000000000000000000000000
1650000000000000000000000000000000000000000000000000000000000000000
1660000000000000000000000000000000000000000000000000000000000000000
1670000000000000000000000000000000000000000000000000000000000000000
1680000000000000000000000000000000000000000000000000000000000000000
169cleartomark
170
171%%EndFont
172%%BeginFont: CMR8
173%!PS-AdobeFont-1.1: CMR8 1.0
174%%CreationDate: 1991 Aug 20 16:39:40
175
176% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
177
17811 dict begin
179/FontInfo 7 dict dup begin
180/version (1.0) readonly def
181/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
182/FullName (CMR8) readonly def
183/FamilyName (Computer Modern) readonly def
184/Weight (Medium) readonly def
185/ItalicAngle 0 def
186/isFixedPitch false def
187end readonly def
188/FontName /CMR8 def
189/PaintType 0 def
190/FontType 1 def
191/FontMatrix [0.001 0 0 0.001 0 0] readonly def
192/Encoding 256 array
1930 1 255 {1 index exch /.notdef put} for
194dup 43 /plus put
195dup 49 /one put
196dup 50 /two put
197readonly def
198/FontBBox{-36 -250 1070 750}readonly def
199/UniqueXX 5000791 def
200currentdict end
201currentfile eexec
2029b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0
2030b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3
20479791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3
2052ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8
206b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d
207823385fe55f3402d557fd3b4486858b2a4b5a0cc2e1bf4e2a4a0e748483c3bcf
2085de47cc5260a3a967cac70a7a35b88b54315191d0423b4065c7a432987938c6b
209edad3b72ad63c2918b6e5a2017457e0d4ebc204b094541f345ec367ae85ca9bd
21024568a01d3b9f8095f7420e6c423c414b3dcce6da48dd1c89a56d078e0d0e2f2
21162a13640a06d17e44ee3866c3471fb58fedf5a3b77294517651c16bdd7267d39
212a54e7171752dbde63ac19bb4b3021ce95eb5fe67390b09ae4d9ed4d704a67443
213f55dce17acd996c1f5e023c9e5a18cbeecc3097f23763acb86cdd7cd13381ae7
2144e48495ec7fa520539d87f8a8dcb3c826275469b6800876a457e7d1e5be867c7
215b1ccad69742a8c9b0ad943482bf2a4ad0aed40baeb69a0233bad36b4ca2d2da7
216322956c70375d152653500b2f22d2ab6990cadde2da14b4917f7515e64bc3d96
217bf775258fc7dae4e42a4c9b6da8eddec4a800c8aadc8d75e48cae52137e05c03
218677f5d6a82fa46d9f2fc7f56d62e5c605a1b7898b8d1401c2cac1a0122a2c8a7
219aae09607f2c5f29293a09b9959399283be89051452898238b777db9830ff4318
220a298b221c4a820c700ca964fc99e6b1d9eb0bafc39be9aa9dffa2fa326b2a466
2211e67261bb3dbc85844e76f9313ab533ee16bcb478166de5502b68e6ec1ea6110
222f53206cf1cfea419571b0243244b32ea38b828a01e62b03bcf476a32c2341cec
223b8a0fa2a3f3f339315d5f3aa7704408f6617d026ffee4925aa48537a4b2e556d
224225be09392546ad561cd46cf766f0ba14c6854c5af1a528c3842b0c5aeefefcf
22519f19cbce5d967153c4f88e51c776cfbe10d39328466f7a3b83d85601ef4d1ce
2260cc136610fa6a74d9676e4e99291d565cad27b9eb2337b0eba4148efd0eb2866
227ebf0a4209ba135ad1376cf9cc2d4110f36121055caa3f2e01780740eece6c18a
22813a2dd210687a04dfffff586905a20c351118668812034a0ec2bbdaafeb17886
2298b7fcbd552b5453adc0b81a89832560c72c3108e263513dcd4cc4142397f4af0
23038bc51f13a86b13e27bb74e8482decf8d3aaf92a38d4a088f81f04d8827fa2ba
23193d4ffc7e2c60bca2bbc563b47ae05456ec1dac4e8781f82ffa4521363659e17
2326b438d32277489ec223c978e58d3a239e3d86d233727f75e4024cac2156feaca
2335bf770e2f81e053b1156ae3ef614b7028c102d98b77d59359a5d05aa512afa42
234604e67a5ea63512d239c839dad007b1f92899289b077d6c07ec61bc621d73939
235675525a0400e92d7f275e80e831c97a19d95970c6350f18037ad4f6f8ac6c4fe
236b898175d4a52433321325641b32fb5532c999865ec4febd57c04a9e238cd8a18
237e5ef4af6b0d8c4c5dcb41380a0d11c42317c118185146bb7fbf21d02347e8c7e
2388699e8bcfa53e885445e602bd85dcd93ba52ab89d9ea1f73c17135246fd28d79
239ecce0853776314b1a9dd6d25ce73615395a432a349fc674ceaa8bd9a891caaaa
24009dcedeef5c0be48eeb7aa0ab8a9e7bb77045429d48b452449ad3b3afb27b462
241fbafa35978668a937827f0d07456dcb1a276dbb8896fd82082e7f2ca8f4f87c7
242c599350d4cf53e01433f20033233400097431bf829f70a63cfe61716cc741fec
243948626f1a4a97a23cdeb5fe8503d868693aac980edab20d0c8f44d233ffc96c7
2445a41354e756f16
2450000000000000000000000000000000000000000000000000000000000000000
2460000000000000000000000000000000000000000000000000000000000000000
2470000000000000000000000000000000000000000000000000000000000000000
2480000000000000000000000000000000000000000000000000000000000000000
2490000000000000000000000000000000000000000000000000000000000000000
2500000000000000000000000000000000000000000000000000000000000000000
2510000000000000000000000000000000000000000000000000000000000000000
2520000000000000000000000000000000000000000000000000000000000000000
253cleartomark
254
255%%EndFont
256%%BeginFont: CMTI12
257%!PS-AdobeFont-1.1: CMTI12 1.0
258%%CreationDate: 1991 Aug 18 21:06:53
259
260% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
261
26211 dict begin
263/FontInfo 7 dict dup begin
264/version (1.0) readonly def
265/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
266/FullName (CMTI12) readonly def
267/FamilyName (Computer Modern) readonly def
268/Weight (Medium) readonly def
269/ItalicAngle -14.04 def
270/isFixedPitch false def
271end readonly def
272/FontName /CMTI12 def
273/PaintType 0 def
274/FontType 1 def
275/FontMatrix [0.001 0 0 0.001 0 0] readonly def
276/Encoding 256 array
2770 1 255 {1 index exch /.notdef put} for
278dup 12 /fi put
279dup 40 /parenleft put
280dup 41 /parenright put
281dup 44 /comma put
282dup 45 /hyphen put
283dup 49 /one put
284dup 50 /two put
285dup 51 /three put
286dup 97 /a put
287dup 99 /c put
288dup 100 /d put
289dup 101 /e put
290dup 102 /f put
291dup 103 /g put
292dup 104 /h put
293dup 105 /i put
294dup 108 /l put
295dup 109 /m put
296dup 110 /n put
297dup 111 /o put
298dup 112 /p put
299dup 114 /r put
300dup 115 /s put
301dup 116 /t put
302dup 118 /v put
303dup 120 /x put
304dup 121 /y put
305readonly def
306/FontBBox{-36 -251 1103 750}readonly def
307/UniqueXX 5000829 def
308currentdict end
309currentfile eexec
3109b9c1569015f2c1d2bf560f4c0d52257bacee583a5c939393e012707b47e0c1f
311a47d284a1edc9d01a497d772bca8c543388e6dc0d1e2c4944740470e0914f65e
312fb0737b0851b2ba713a9a00b36d07da6bcb52920b9b59efe587734027a3c5e65
31366aad332fe6fbcced1417802822a3b81d6187875263d6bbda04bbcf6e4870fee
314ad60f104bb3c5a766610dd11aea64a6b107b0b04439fa2888b8cc39232bb83f7
315695aba81f0260cd5248b9e649cd803271dc8bb1656323089e9e2bb50f2b95088
31687d31dc36e555668d9578b338402f8c259f6813b0b71e6cbd95e19c20ced8495
3172559e47577e612a4d94de3c1b4c6c41a6a3fa9e2313457242de74c7e4c0d722b
3183e224d18baa726369542682e9459b951b2ac638494880c42be4e2175a3c067e5
319945bfc1a05d3de8c3e8ab97f80ab6000e1f78fc258b85d3c84b038d7d0f5be85
3200d43fe03e26cdfbb41c36d14cb552e8447ca678efea1d275e85503123a2263b1
3214077587683de69a8f5a88d666172668411d0d0fed3e037ee468627207505dbb3
32259cfdc5d7f526fca5416d741073284f5dd2471e09f5916f4bff1a90eea4d1283
3237731f6a36e5ea695f4efc3bf5669b7f60ab606df5819149c0c8a4817f06dc172
3240543467645daeffe4457293e0c0407c4ec7857558d0452de2ac773f141783edf
32581b30215ae8d2d062aeb3cb69eb0d62bf04780997c9c027a22896f456b784378
3267f2ccdd4804375321e7946d3d254521249a4d28a360f4d3163912a688c16e807
32715d0440bd27bb78fcbc89bc28028aab2f594f8b641e45b9c599180b69663eef0
32803465a2425aa4f8b29dade493002fb335b23eb145108ef3ab828755d3753ea8d
329f0683265497b1cb5cb484c13f7a4e003fa6ab3ed5e24fcc6125cee4e33936122
3303cc907af3c64e5aaad882c356e673e6ca2509a71920e99549d8797e9aea189f7
331fe18bbf718017cd2e32b4652acf12f16e785462980f5895afc917ea83e9c3eab
3326297f1de23785f79172538b39984ab261f14ee296a42cca3159e63fb30583af1
333911646257a99b4162635fb79e25404242cccc3bf224d4c279e731333107ab2cb
3342598dc582dd185669c1fad35d2be0428389a4b175db159508c08a77e842fd400
335bd1d4b8367ad433a42a4b89535ac2f5c29fd4c714f131342ef78e32b90d34702
3367d4b05140fa1aceeb501e1ee80b9e3a5b6ef5c6853fc329dd89829b732c27931
337c6a27781943fedaa9758e8e010ca87b05f37cbe4c09f50022037bfb682b730a4
338b5d2477c53a49e2cd63edbd58b36f16f6ae6a1027e0d036c452abb5e2a9f4119
339db5412c729037e51ebc8188944605c4fe0d9fa029983677b3579288a2607c7e0
340131534c06bbfb953770246f2c24541d42847232a4b61fa6ffffbfcadf27cbc75
3413937ed8033744054e706470a3b406e2afcba1ec6fc66db4275fd0cc512f41413
34263b922fc380d1bb88d2ea8f2145b6289603bfbd530e694fbc422840482ef6f54
3435e0522dc6e2b7972e5af2a5d7fd29891443f9d269d357cb03f5973557332fbbf
3441c9aee0880daf715679f2b2b6dd48446dee699adcc17da874dbf4740e6b68646
345d458cad7647df52f3f4df05a72ee738a70238b18f1bf81617a69e2502f780be6
3469aa614dac35e4351be35a95b6cb261e8fd773b49d0b266c5b81e4340b4e69ae7
3478d256d97abe51132e1748e88dc1942501d7a677dc1833a22d0b038b13bfc2e7f
348f23c2153e291ebbe1062b25bb45683680abdaf4513eb286d451774cbebbd9609
349052a155975cf3bdb86747cc1d7886f724606d93de8bd6af9a7f1888ebdec5166
350c164d2d1b10ae9bfffd05e4c24c56d7a172e9ddf66d8b96408e0c6cd18398e61
351279ffb4eaa5972a1f8bdb8d615f6ee9d8278524a07b3224d3bb7f3b2258d3b42
352e34f4864284078108bd9655ca3c25f8706b18f6dc0a05f590716148127f38c1f
3534d84b2fe8156a790df13373632bb27e1a8520f02fb7f29e5e12ef19ad4ec04a4
354a4d910d3eb096284bf67b777c58044e23348ca1d44d714617449f408e8da5c3b
355f40f70f63615e333260c8cd7e6ace6abfe8855bcaae708dbf9601afaa46c062c
356ef37fc69792e3491936475e417f25246d2506db49920f36ee0fe54cf34c63881
35785083720d9deffc50f1265d25e43b94aec6dd6fe4bfb2d80ecf34db69689f292
358980cfab676716811ab469b939081a246e9826f5339bde9fbec79e6a7debfc4ae
35945b20d01450506057f6f70a334410e88e7eb936613ba7e027f4e752c48d2e300
3602db179d711a0ae5e84be251951759a6dd82ae5875a29dd8357bde979003e5a92
361d87757e3982ad80689971833963ec10b227d4ec3392ea63d608c381c3bbfdef6
3628ed0ab9028803cf99a50eae27da7dbfb9ca00605240b95766ffc38cfca22faf0
36309bb598b56c0ef7d91aa93243d14a12cc2076ae42cc58b6bcf084975c481dfc1
3648ce9c910944ee46515216a787647d5757082173b84e992e43eb32e042b637901
365607001c1f0cfaecb1a003a2e74f5807b3610c23fba7b3237ad953c394fa9d067
366ee735435a85b48ab3f9aba890332744ff28e4c1dd7b2e359beafe9d8ad653d86
3674bf82fe753cef61792c08c3a1176d3439ce52c4992abd5d92dc7b7fdfb1a8820
368d5d43fb652c4f4695eaedceea073dc0ec867dc80e2fb59e679140a2ad8e5cf5a
3693c461f1023121d6d0a4824c0894293623a18f12eef0951256c9653d28067a8d6
370372b54e34cc30bf29da1658f22e2adbdc4024a59e24fbaad08f48cf57b635da9
371c4c6fa7485da9059631d2e2790f9917eecc67fb46f47367df352470acabef967
372903def75061318ee4752ae2fef6fb22ffce13bb3da207e33966834123eda8675
373e978963e5a75fa6c97bf1af1eab152439196298a061306c9d264a5ca2d3264b5
37470b42b4f1c22f25104b0f80d3601bf0add19859b4b54cbb73e72bf4a45a405f6
375586c79fed81d39bc5776fad70ec11f1dc164925064d8960aa99a91897653077e
3760fc30ae5b6134cafb4264f9d1e57028fa5cfdf0ac27d823febd34d6de7d3e212
377700607b75012f6e5b40ce601f83ddcaefe30ce35f06717e7f02e77b1a180de97
3780b9bdd0c9662ae6fdceea0f0885327bd045a37e40973800aac920c76cd2f0b9e
3795816841cce6974ccbf824ea0f6c767080f3d332587833063392be8565d584f0b
3804b5c193f6c03c2b9ea93f8241f757ca36958b14ae50d69b6daaec33134418bba
38124e91005a3e07044265e4074eb2033d6e6b4d9992803a481d4c7f39e0bf5213c
3821a6e4c99c244cb9946ac8929fc7bf9b34941c70264835d009be9c271506931c3
383985b8bcd422811355af43e1f35519f97f88c743853f79fe58d0f355858144c05
3849b7c02a032146a1955314501ae7eebdf5b533c2833c5c80c080f4aba3be394b2
385115c24e536c95fd39078dadbbbd07c7c141d3c3cb4da0d5c3b62aeb7e6ea858b
3869ca785a931494c8817a1770c2423b4dc56bd0e104198e28808d2c9cc19c1a04e
387602fe73b7b4fabd8cb00b321936f897adf143746095db0f2f986d12cc605d1bb
388129bc390668c8231c58d663a8ce905cc8db54094ecf980eb686b0ec37dfc15b6
3899b77b49faea85731ad2a25c1b0113a379e37260fc06530d6f28902b72295d57f
3904cbf890cec582980ac00ebfe23e895d7e048d7efd1cf7ef3d2a9a181b5cb69ba
3916d2241b906e8dcab57f9d2f688a0a5a7219877e59084f647f147e45f15dbfac1
3923b14cd14c3f408b689fcaa5c45ba412c16bfd3d9a80292e97504c86486f54ad2
393fa0889e7732fea1650e3bf3a4fa7042f8b1b201400fd98534a3eebf8110ceba3
394145bbc714b1207fda18fb8ca0f149c20137a6c8f45eb6c8178c02f20fcf16c13
395253bd14ebf477eb731bbdddc2f3615a562f53c67f81e072a3b00b976c8b27ea4
396cd6a581951d2ec81c9d8c1f583b406f84b0d4ffadb52e7d7c99f98cf113a7506
397a8d3080628b140acce30ebdbc2451d1a2170536503ec6cfce26967d303dda1db
398454eccf24522227a960b4c09b8eb76f313053c842982db38900180f1dd083e0f
3992d97c4267aba4fabe7f7e834a914d9b7bc769b0581bdcd19fe31814a587bca89
400f78be32194f4e914d149eea7ef160f422763034d791a42cc1df5d644923e9ab9
4019c5aea93ec41b75246363abe52f71e9a61845cc6238d6236a5f9dc591b64e646
4023306a6ae2dc853f108b8af22f8d430d5d676167d6af24911c0dacb668dba03c5
4038f0b31e08011489fbafb86476f67479d81f924b7ba8da9a6cefb04e630db4893
40444d5ebcad2645e31b9aebd3d7721706ce7357c6f38409deec8a462f70f45731c
405c4abe3f1ce1c4b17e09f638b3f8c6b08645b9dfcddf01c411d13474345252d04
4063a2061a8b60f26da641664d864c8b9562f3e11a9c0a295586e55aaf623d1aea6
407ac22375774a31d9054aa0b562e7200af3065170ce140a61b65a0cd19beddedc9
408e27f64a618f76662765d8addbebab86a2d71acd5a1b3d2183038872f2ec8629e
4096d062ea23dec5a3f74dc34ef9100c63397bd0480699123248c5ea22937f3c8ef
4108bbc8f04c2ef85b7f1379e51689d951de502c47bb468b3a2b04e82de1e92f8c3
411763a1dd607f2eceb494a3667c1cc6258292f9f53d6a6b4de593c513ae61f5942
412834cdb74bfe1871dfbbf4d39364beee60a1c666fa41c1c05552b30d0d93e3bb8
413d101b4627dc9b4f89322c8c751b129416e71ff7f008f918115d936862371c74d
41406bd3bd17e1970397bd7f8983baab7117bbbd7b61abd4913614224f3b4e48ba2
415bbed6119498182cabe50c8401f51a8da950ebc3378abeafe533369b16d4a3de3
416482fcb99379ce45a5e6e704978de1b46e1b6656ac219195a9352f4c045825a8a
417d72fac1bfe28027bcb5f1bcc0399433c84d56a1ae82eee7a5ca5dc936e6bc9f9
4183cdc1d27b13127c47d66f0b31d02084962ca51511e2ca2a1a8ee8bb910bbc602
4196559587e901a2f6a562f7181887ffb96d5ded28ced96f6d0534e111aaac38972
420bb749de5f02fd6e7a86e963931cb8a36d22a5d9fa90a1dd5774ac2a9d675a77f
4215d43035973aaafc7871b9b7e613e24ff1b9824ac00cf0d2815deafeeb7b6dec4
422ebbae4b5424aed1d960238a855bf33675c690619b5de36409d2aafadb8987f59
423e84f295e9572ec989b9b018ac4cf8c81cbabd7b172240e3568ab6f079bb86895
424e67612a3238e5cf3c2c137f4f368398e4ac976bcf68afdaaf07b0f4b8146d921
4251458732755d251505825615c7255a47ac048b6bc6309fd137b92ca0348e260f1
42666f0470d55e6a99daf71a5af41a8e0c68964ac8bfd929959adf6b7e9b95dc259
427b2b34ea79a809265055909a1ed0d294ccb974a8c454034bfaf430adc57439bf7
428badf9bc8495014990b1a32363d8b6385a0075a2eb41a4001a537901f1c077543
4299eca4eeb8be9f5ba66c34965c692baae71cb7b1e5c9bc50aa89ceb11d4f0cc47
4302b3d0a33be450c0d93e769c4cdaa8716188c9fe41b6001375c6f803fbf077aec
431c9465c5a6f97d3e491e3465af96854cf588ec3790542b65762d2ec4b5a580699
432a68489e293659c9b9866ce2d9196f9a83e4575cf0e050c43a1705b801fb2ca3b
4334babf3217462d8f8b6eec0ff329375247e129228bd12b1d200f5617c4dcedc2e
434b5965cbbab3705c854808622fcfa0cd2a16ea9273c5165e2fbee489198acc42b
435c2c95016359fffcb5a090ddf0d84778426731f3b181be9f0e00de19588cb048e
436ced229d54e526bcce78e78fd592b67df8096a60de94c7357bf571c41d8e3c133
4378d124f4ce240c64280576050f5e8ed07653323f42a2823151632f8f59299f457
4386196f9e9cef771affc44423c89e7d07ac6bca7fd03d09ba0fde45d8d2b7bb9c7
4397f9e4f91310e234c082896f39c7445e46257870d349067a02d1247d04fa89e7a
4400881718c81015ce154d10ae637825849f77eb908c4ec71feb5041213344c554d
44175441c7274ab14d4416bbefa3491637c8991383263ef71b05bee354db22acf3d
442ce326bde2a667f17597b75bb637d1b9816b9ca112ed251189946309325de6fb3
443720129c40f5f7ff3127076cf5bf54bda30c63c3cabe996626cdf98cbd259e6f3
44471e758b209c3263d3b389b4f92d40205cf821c65008435dbbb8b15702b167673
4456785b32f8b502f0b4cc0608f0aba8a090a570bac6ac1bed8ece62d1219fa92fb
446ecf0f2d625462824a2d8b017f0b97a6d5534cc4e90500a670d96146f50bc46fa
44763d6c34eabfcc7059a715690fa1ebf6a01236be93f58ef399334ea0e58626507
448161342c4c5829bd16682788f8d42570593cf7cabaace82e72074a88158d48850
4499f7d8711fac5485ac5b0b27e0c69f312f42d731974393c558430f46e270a2f2c
450503d738a0f1ec7e2d2edfbf2229ad9fa8568403b507b5910181ecf691f6d53fb
4519b3a160f846ce7f3b1c7424d6d6f0b7462e9fdeb20b5863756c7e44f64ed71c7
452e7f9bfcccaef2a8b88d1bdf631dfe7de30a94d77823bbc0076dc37465008a4c1
4530db6a4530ec6a53a582253e7a65335cd0c86d4675f56d289415d91c0deff1eec
4541cef18b022993bbc69cfc49465cf43dc1b8fec97debb01a3253ed3346b0132e5
4557dba0fda8cf8d9f65aaff54c07233b3fb15ebcc1bc858e1008c4fc6529283eba
4563191a07093e1eed3205f45f0417aef4074a26f7c5bf15e507c2b828e7fd549dd
45794c747cdab6ebeb904228aa849d048e6a92bda27fbd7c1ce34672854cbb8c72b
458e7f3deb283c7ad4c63693d071c97f11889f9ba663994477a864e4292ab2e687c
459252bd3b6c56a1380b22960e24aafecf12452e79e4a2f66ee9da2c65546e1f509
460bc2c655e2f9630ca324e9df6dc9365ad9a2268839d01f8dfc2fcca5090cc3a16
461d99e125d35e4dce98c4e4183c27f7378f544dce8b05dbc59d1de83dd742253fd
46239e7979338cc3b9e085a646593d14c0b2aa05df8ab8c9767b3cbb6557366994a
463a08077dd64bea5b64231091a06889c0ef5ced61dc6b650fd60f2b9c1f5266706
464878fbb799cf30babfad00aaef2ed157012c2042823d262e4e30d58285806dc54
465bafa975e5d76512c6016028c6abe382ad94ac44f8ce5fc06e8a8ad0f8e8a7a92
466a042ac877a7c2e51356ef4407b3076f2cca548b8a3c0b4ab0e46bb979368bb39
467a2e6baba17eff3b0a24ff6108eff6067fe0ba32c7ff6e0bc44816f05302f2280
468488069f19dfd0ebc46c46cb3e47e21ab71f9be544bf173e3317918d815191bad
469d4305fb0f72923b7c9aecfaccc9a4c93a5714f0701e919c52089fa25cd2e2fbf
4707a11ad37a599e4e94dcbafc5bd44e8408ebdf7f6c9e6c227a253cd74bcdb3ef4
471dddb2b3fcf5fcc72261a36f7406228ae299ce6f40050c079d528624d5375e92e
472745036c96e56a001db38334fb270d02dd840779041cf35881b13e791f00294b6
473c6e003f3cecd6840736722b746ade0548a810348658084f791df1ac824df757f
47401d54a4a4320ee506d4fa8804b17e22a951cb45bebb64f07005d923e3a115692
4756e1ef98e106bec1480beb50a428b0d7dd0dc4f07e86ea2521ecb3d361ac47714
4761873c723ffc9f3fb4d34e9f89406d8fb8b03895631f724cb078efffec339e3eb
47757e9afe2d9f5e2810cf8b144258464ee7428b8e484688cf9bd70cdce26f6bff3
478e16909e746c01b3bf9a2a92833a1140122aab7c5333aaab5ba5e3eec979dfcd7
479001e2960268b5bba6dc38270e216279623511487c063c599dc3bf4f76bc31160
480c7b0befd73b3b64adfc1dd64d320c25cb06e3a2c3041a11512e287d4959cb208
48109383e787f92ee06d772cbfb44a6de01d5f67e058824259b4a2ab21bfe901984
4824444917f24635a5c7f3a9891a07f18897d07623ed2ecdc53983618fb140e4868
4837e5c3ee23733b003e50858e2bfe3e9cb42ff26bb26b786c928bb09923d064a1b
48410614ea88e678d0dfc0d48c8b83d97516b17b7f65e77759f253a55a32e2075ae
485fc4fe41abc8b76211cec732660170a5807b552012e6aa28db9782e49ff624e7a
486aef89bcba950185a981b3bb3a79d9af73e0a437e9b8033d2d30de089679ce701
4877331485278f0e9d5e76534bd4bae08d8618226fb606a9f1e8a3af2affd4476b8
488d2e19a0acc2895117fb53cd8596804e2dadd49f4780909121eb6d032bd255709
489c585b5091cadd075
4900000000000000000000000000000000000000000000000000000000000000000
4910000000000000000000000000000000000000000000000000000000000000000
4920000000000000000000000000000000000000000000000000000000000000000
4930000000000000000000000000000000000000000000000000000000000000000
4940000000000000000000000000000000000000000000000000000000000000000
4950000000000000000000000000000000000000000000000000000000000000000
4960000000000000000000000000000000000000000000000000000000000000000
4970000000000000000000000000000000000000000000000000000000000000000
498cleartomark
499
500%%EndFont
501%%BeginFont: CMBX12
502%!PS-AdobeFont-1.1: CMBX12 1.0
503%%CreationDate: 1991 Aug 20 16:34:54
504
505% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
506
50711 dict begin
508/FontInfo 7 dict dup begin
509/version (1.0) readonly def
510/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
511/FullName (CMBX12) readonly def
512/FamilyName (Computer Modern) readonly def
513/Weight (Bold) readonly def
514/ItalicAngle 0 def
515/isFixedPitch false def
516end readonly def
517/FontName /CMBX12 def
518/PaintType 0 def
519/FontType 1 def
520/FontMatrix [0.001 0 0 0.001 0 0] readonly def
521/Encoding 256 array
5220 1 255 {1 index exch /.notdef put} for
523dup 49 /one put
524dup 50 /two put
525dup 51 /three put
526dup 58 /colon put
527dup 66 /B put
528dup 68 /D put
529dup 69 /E put
530dup 70 /F put
531dup 71 /G put
532dup 72 /H put
533dup 80 /P put
534dup 82 /R put
535dup 83 /S put
536dup 84 /T put
537dup 97 /a put
538dup 98 /b put
539dup 99 /c put
540dup 100 /d put
541dup 101 /e put
542dup 102 /f put
543dup 103 /g put
544dup 104 /h put
545dup 105 /i put
546dup 108 /l put
547dup 109 /m put
548dup 110 /n put
549dup 111 /o put
550dup 112 /p put
551dup 114 /r put
552dup 115 /s put
553dup 116 /t put
554dup 117 /u put
555dup 119 /w put
556dup 120 /x put
557dup 121 /y put
558readonly def
559/FontBBox{-53 -251 1139 750}readonly def
560/UniqueXX 5000769 def
561currentdict end
562currentfile eexec
5639b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0
5640b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3
56579791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3
5662ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8
567b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d
568823385fe55f3402d557fd3b4486be79011d1f5bfae5c1f476ee6f05eb1d2caeb
569269958b194521197b312fcced4867f3c8fbd030bd715d8ffda1dcd454b174e7a
5701a97b59fe770e67702519d9d9b23d61ac08424d555242a8ca08c49aef300945d
57199b999a79ce74804ae6bfde623f4463371442f6523a5f6ce19c839a708c02513
5722e22c696c8ccade45680e5197189d0f98e7f0d5f955e353970b392cf530a68cc
57356b0035ddfbf206c3074beeb0739dcbca272a6e629fb7aea2c5ba7bae50c7b4c
574a595df78200c352997ec3ee564df229fbb5473f5e8ccb1cc0153e9a7e299a8ea
575a29b69d1b622b1f0cffc58291248759607d91150cb0651120970dc9f743bebef
57644f6ae92facec57658999c8bf01f60611560043962c0695e1bb87d090e0fdaab
577659d6557208a660be9aeef8ae55f71b8bc76394d792967e41bd8023b6e7f8c3d
5789987d5e54c53bf2bbb32855b946473b44833bd78873df8e4c7e668ffff25aabb
5798da4148f744b9d0524d6cb8281247b3052cc5d66f3f1bcf8a56a3fb446ea587b
580d8be30257652cee035628aeddfd8283b5ad21b8b1480ad24d898970ac8a1e33e
581543ce4e3c48f9ee621c5ce3e8ae930f890011b630866c988606068d9e92396eb
582f51bb3db204505fc3d09d4701ac703a14d92bbfe27bd7411b363a88e33a8e9a8
583025ac31f21e73dc52b333b918d0b1270c54873a490222d041a66e0192612be6d
5842c88958a8f70c10390146ee5091df020ab97675e8e6acf98b28b539cd0a20d24
585a42f535ae44b8f5e9290b38fc6b02e1bbbdf1aca96558c2dd5afbec53f03ab51
586fbce958ed4a65b17fbc03f9defd4aea4a15229f3c320876235f2d8b69bda5f48
58703a2798790d35b394c63295997dd487bc603cdd10d18f3e3fcc7f17d2a6afc77
588f1d7f6cf69d2a86b104b9d3b260e4a78716927a485ad8a650d610e68378f4514
5893610b087981f0a0655090163dd2dd4d0030faf6a953896a9cb2cd033ec9ebe2d
590c47fff0795e4a042816bfc6adfff2d22bf65ea1def87a96fb3ad6aa056873616
591effd4c8f557cc621c2c13447c81d0b74a8da4d87eb2d6b99ff08212af32e5915
5924b8f5e7ff1d078c1c953c02064d4a6cfae673168a4bbc2ed8007467925543c6f
59320e01c4234957bf05b1909a24e99bb648f020f87e83ceb5a8df33ecb0b99e893
5947288a9973420eb2d1acdd96f2957a97b1304644eae3a313a78f2af7a043d0bb6
595c4663f928a0ad496e83162dceab636c785995e9599d201bc3a5b37633decfea3
5966c83068ebd6dada6476f8bc8da9f5eec00f7f64dfe09f1f8b3dfe391a9c9175d
597c48ea88c5c9be3c7b046ad5bb261506bd2759e8ba77b3b2ead13a49076a76bf5
59872b8fccca03ccb57c6a03b40ab8307c11e2a7947906ee223d1183e8bc40027d8
599901228a89e4ab41c109f5e7c5e56f2e4e6a25249035945b5ea77c2bcb4dde690
600c793ee491cec4ccec983672e9896cd831196141f49b4e5b5ccda49ac02805742
601f0e75d5015b2e2e56662e5f30f1a1e30403775b04c7813ae0f46710b3fa01a85
60213dfb77c251516e207261a66be82f58ed8bee4617963b3eb9cd7ef0c6c59f44c
603fca48bd2f0cf88f8c4d290cb290390e6e44731d43f48ae99561d261cae8b9084
604fb841b8336381fd02c1caeccb1c5c78afc5dba96afa89946a33af4abea180731
6059949be6a9995c6f0bf9f28bbfbaf461fdd3ed7dca617cb327951905d5190027e
60658c56f6ddd65d2edd20a170291555e6e240fb360e10f94ec163ac23caaaa57d8
607152a641f62dfafda2457df1c9f8fd1c2df4c8324eb4e53aa54546b60af604843
6082ac3571d8d8a14ba16f220094137fce8fe57f2b62648bc7c49f53cf185631e9d
60913da82557a118aeec793182abc458558aeff77047dfe5c3d50f0f2f2e6f3ce19
6100f20eadf201c2fc95d1ccdbf74929e929daedb2f5e8a890c69e451874d2ea04b
611a64965e36e1a15621ceba236fec68215100c337f9e7be236c26848ea81d35614
612f3b0f46fdcfcc5b5662bbc81025f0afab226d915261bfd0c93ac3a2315d15926
61350e7606d84894a97f0fbc941a1688f7fecd02ba19e4dd636385380059a4ce8a4
614146d43c45680ac5fa9f0559d5a10397457f38a981f6753aae121f8f2c0bbde0a
615cd1a87ca82dd3484957a6b6eff8dbeb1c059c5a5f5bd422974dc42f82f2976ab
616e2f6758d6b0a11406dab72475b18ef77ae21c20bf76597b24e28115a3775d4fe
617829307a3ca7de65b883d7975a73e18457f5276aa7d9bd5e61c186ffc96df6976
618cf341f64ad5a968991da5c19ec205cf133836126510f94d04e25d9d3bb17c577
619d6bb1e5420cf0496f1b1db853382945e26a3783b7d15516f41cf8bcf3380980b
620b02bc36bdcb0b589220604d0e5579c22252cea959e8d0b7304b31355aeb14e25
621ab37d180ab2c96e6b7fbd23c9dbb59e423dc892f6d821899d3dbe3cbea81f563
6222bc67b42b58c0c1f274d872da72be7a8bf379cfc4df758760ccc263b2574eab1
6230c0cb2a2425a3a3d216cd833bf750934599026e879aa2c018aee3fcf1acd196e
624aa366144220a0f691a384b0d7c712c76eeb9c42db41b7396899fb596da83866a
625c1c80536e814fda4d69d3f245dc409d8dd6bbfb96c441c00ca1698e78a36e776
626a949d441821ea492da10b99dcf0a324639cf4d201805efffb2cbea0ad7c58bc9
6277c1cdafc0840d718d45f23f2f2ac1a2a43a836c2c29aa03b91f13b8bd861574e
62808d4df87a0af44fc97f3f545d38f8d72c8bee30607f5b8cddaa4ecd81d998bcc
629c09649d86538dcca1ddc3579ab0c59ec853abf9a13d8967efcb584b6bbf16aaa
6307464ed3e8fc445a975bea17d22e3dea6dd7b05a1e278577cb238d9e5d700e9fb
63133c2e8906c445feacb429d256557ad9597189c0a15aac47677ea8af1c2a6660b
632bbbf898d5f33ec7d7f57893aa672868431b071520dad4ef2e16218d4f20d1664
633b380c1b6fae9444cb324ecb989ea6766e95d84d4f33516e96ec01638db222f07
63484c9000f7d64ca69f6d32a95aea8087413015c4637f5a915ed248cf25a9a3179
635a23c99e251d661e6258962feb8753b5a130f3269e9b0297ec0222a646893d651
63678b6126b5669f05da10104bf51598dcb096a5f56c1f69454d960531e847018bf
6371aa2b5f389085cc08a7db2ae10a413990c8f8ceaf08a4462df63a7976640d094
638cc476f62a0b6cba51c34f193e4ba815e8db108307346aceffe8d27771671d7fc
639aa9316eab28bfdddb45516eb33327c0a0c2289aab0190e191ef70bbf51812e8b
6400cd165edaf7a901c207c31fbcc29501aa986629d5cdaba20456c9181ef8b3944
641932dd4fb007a561302831849921807d5abd9906e88b405501ddf2bd8ac3d771c
6424d7c899b91dfb7654d09d1530db5d5b58486557d6ecb42c019d833581fa45804
643a360292c7ad823f7ccdc52ddd7a97bc6db6f903d97095517fa3a0b5bdce64846
644e2ca4f8d5e409c72ee1ab779a81833917060aa7a767576998267fc4165cbb827
645d0bd7e8fbe3e87511309211908b24d65b1141da27ab8e16b24a3e6e37286dbb0
646c8914fa77615b7daa458abfc41021ee242f886dd409e685b9ee5e209dfba6e69
647a9dda77e98630a6335f7533a9cbed54fb9e373d3470df6453257bc9480c10fc5
6482df3516e369b7b248781d123ccef8f9b5f1dc679e326f5a191d05cc3f88ae285
649dcedef664d0087a4667dca013627e5a1e356d6b495b4b1cec52f6c431c5d8261
6503287eddfef685970bb3fa84edecc94947fef0a7896fc942b9b33601c0f0a6e19
651e2487659bfb9b64ef014f4545914b1b8665aa46671f265b26a75bfeb39bad13b
652cbbf7a4be38a2fd6b8b8a64c5bc40ade3656073465e36d92a7912926ce9d726c
653bc719ad7715c3aee757dcd8cb330d6102a1035319696367fd35f2d0097488872
654177d7adef7bbb0cccc0191091edd52b500d7cebf448068e82b3dbbe053ed584b
655b816cdf1df9efbba6f6951e770b9fe14fa6e79f62dd21ffbf5e7d700aceb97a7
6566b68058da3e7e395c207f793087a067d81bb7573ac8cbbd8c76e0516db2fe00a
65719c11517e2e751228a67dfc560353e37b72bc482c6f6d90571b11d1f66a670d9
658f3ea81cc51c2610cb5bd94e9ef877a132e5555acf560efa2df1ececcde044325
659a43387fd99032cc104f2d5e05f398b3a508a5717747b6cdc105393261ee8ae1b
6601fb561d891d881f6968f6039f9aa4037abdc0a2c2b879bf5f6474e3c369ea27f
6611795e4373359f1558e252875741b6f609777b9bf80f2d49e01f4ed91811196fa
6627c4ffa197190f9c326dfa7d29d53b63c1ca42417b8e328f4bf8548618f6acca2
6639de6fc5ef62bcd31237262f4fb8b22cd803e4ccff841a723848899bae51b5160
66416f8328924c9c8090e52bce82358770fec5677ec31b16fc670806f93488619ba
665dfc6c1a901f4adc74a6671ed877fd8e5dfc565efe662cd18b3fd55f6f69dba8d
666584ba70c37300af400859566ac14ab7c9cc11d67fc24e5c7023c9f39353324fa
667f413c0f359a307fe7edbf769acf6f9ccd08d612a096d74e4cadf005a510439b2
668c67a18b312aac9775305c9628d2f46e0e35676d3bc32d7fffd52f3ff718d42ec
6698e42bda896e0a68aa6bce7574982d32bcfb5929999d56a8573ed4999788b65bb
6704b2c2e5b6b89d79e5755c8c383752c97a706221376de72863954bd3fcc0585d6
67177251a6cf4c46947b9a8eed9fc63a52c66918fdc904aa53dc4641320b02eea81
6725c302221c959837d9e56e4857f8328f650b7d840b56ea6ef55ef4f9360123f12
6731af3b6346244c35ad2578d305418bed8d5423d1808b9b4c6d9ea292b360783ea
6740e814d8a56a5be89fcc94b31d9c0d80225c76ace875ba3c93d27616305d0fd33
675234d278761589a5ebbc16fa796916f8e0291030273d8cd9619617192b75fa753
6764952d3d1b9081c82d2448138bc270eb3884c3e98d0f4435e9c24e66205fcc563
6770a31101a6e52efd34c9bf81cde7f14187c7e0059966de3bd45e61ab64862440c
67828d3275ca4734b5b9a91f8875db37979e80015ad5b5cfa2963994a1fff6ba8c5
679fc556a0dc49fe09c3324227ffbb6b0a2e364c4badc4db87d19b8646e94e8282a
68024bba3f274e76dcb290083606b8679b7aa054859dc02df2fa003ccefe939d088
681e100095e156193fa4c7457d98cbe5202f508898aa18ae47d3c8fd7573d60b9c8
6821646e4cef1310f0ef856409f617186c2d5e4fbbaf3e2aa086e7b5f90ab89afb7
6830a6708a1a7c3011d73919ef443233143cb519747598a62cad29b5306573b4730
6842d25c317724f79d0a9062f94aa1ee61e67b57c9d640f5cf440bc2d203a1b7887
6859d8a8178a486a801df57b32736e94d77ead83b0b2ebf9b148ad06e74997a2793
686f1ce8030234c3f27526e3997f79fd50bb1b367bd5f921fff90dd2d9c2e574341
6876a475fbe30ec6ba43305d40ca88a1a58fc3fdf197740f457d990df73cefe2aa4
6889480a25111582621e91b78000c79ec3e7aabaf2abbf5f2aed3652af1cca8991c
689867242a4fd16bbeccc39453dac07eb86cdbf157c4d4521ae753e4ef07bd8e78b
69078e51b695004d3b5671b8939d955a82650a7a3e62b0303376e39c32ab93d8560
6911ebc4d7edda04ba0dc28945a8c61e0ddbb91ca9827a6dd7d440df3c5073a8e71
692970b2ca8c926184370a90bd36ecc6ca2e7ec8216179824acbe186ddcca6d7c9a
6935131a118d0d787e568f1d185aed6d0035779e8d6a4bbefe9d6f4f0699fd8e06a
694918582e0fb82d8b019a5188ed9c232d3b02beec9ffeaaa40c56599779a475328
695580aadbe5e0f8bb6f01cafdbfc034332169d03e97e0a60f4daebe5a0ff3be337
696930b26f0b31416a86f4a8f7dc2555c2afbdff595e72035a6790c05363dece902
6973c32a8d973714ffe9f3675a48f04335ff7c4631e417a74dd3b065c03496457ac
6986cdf5532e8509829a40c2965a0b4913e05d5fa74b1ae8d8fd212773107636b37
699b757c980fd5a011acab55fe63942e94e4f446ab44fb51ec05fc02ee92ca69727
70077501ed9c02bbfc146715e3a0bb47749b1f751f2f7803408dee440045719ae91
701d31eae8783e75788be274c41ec447667e5fdbb1aab50570fd35e55095ed7f7bb
7026f08326ae6d009a1f5582fb17fddb9c96983385efaf037c3a4353cc550bbcb10
7033dcd5193ae8318553fff20d7d86dc3dd0bf68b62ce6c94e850fded794874ca3d
7041b8192b9a342785420dccf667370df45d8c8ebc79f8f780313c715f47302d7a0
7058e658bba9dd91406e154a155a69e57e371a829a8a0694784dfdc317ea3ac5d6d
706e4381227cbf9d2d729cdd58846b094d0c058c7c1924001cfb1d074a95bc2f29a
7079bc39d29a1fbcbd4d0b942652cee775eb012585faaaddf3d586b5e77afd13236
7084cd3631f9477d86172509ec88a330523b31b372b22a12ae90af5d76f3bfc9967
7099805b9f07eeb0519d61f9fd2a01bdb9b067c8ca467e792088486b0a37194c92f
710daef5638018655246e73e6cf4b79fec64b67c4e5a546daba262ee37a67162be7
7119c7f9a5c267657daf24099ed80759b971a0bd994e46d0552827dceb35ef15caf
71225cd9a290aee870841a5979d8803a9137a64f2d1abc6cf91a01ec7d060bb9f5c
71364db12ea78866aa9800d1f5c1012797f1d9b5e6682f89618b2fdd1587091ebe7
714464815a462e53ee1fa4991cdd626cfaaf20595a038217ff69c1c0c30aa578b95
7158d7a3d0b2ec9108d6887f0a48cdf576a9db9bfcb709f6ee6eec9fbb82229e5bb
716a182ba3cc18a88c9c5e9e4fe6c13cc14058893e291bed22126b021f4e51d5b66
71767fb5d84ec178941404811f15d21ea783a3106ba350f1e717e9ec82b84c3c2da
718e26939b2a2009a79fc407bd9c8be16f2d25f0ba086d27813218a2cc74e20cad0
7198b77087423214a12d810e7a33c0f884e7760cea7763365c84a5a3b9e8a8fe1e6
720ae1c43de587d6e2edcee63a25abc7c7217cb0109ec43a8b72dc3f22c73915f01
721a04873ce1ad7facfea23a0bd386dd590eea3ee60315041f7cbbbb2a8128bd06a
722286f7485c9242926242c0f470eef8bbee27da16a6c69546fa9f8dd443c213171
723ad17a885d3508c10265111c7b86273456d8b4f2d046a1dd514acd8c92e1fb54c
72483909a7c9f4d5097aaf19ccdd3ca07435f0d2c7ee881e7a03e686a43c8a9469b
7259ce31729e48d90e4a250b00ec8d71fa950870e00dbb650852f6effb3355fe5fc
726758646ba704da55a091e02bbb7a12fec38ab1dc1d50f886e99d949b6c3aa9a3f
72749397f7856b56ea0d894ae3507a8a9db0df8f0f2af9f4190dd30db77d1225c8c
72882031f3ad18c8d9dc4f337078f5e4820757d621001f46b95829ecc8890076a71
72994fc5a58c41ef51a5b7193a113979f2ac5fba759dd5ff004faab82de779f211b
73000b3addb5332eb72bea2ada33bef7123d83b20458f6cf4757c75d9ab1280d4b6
7311f283ff0d3a6eb8ae1df654d6ffeade78932b9fd6fb36252a404357febab8a2a
7321d06286a9dd5c7ea6e8e980d21d490a9e449719c1a538aa909bc63b2c7cad57f
733d60e1350644cde2de4ca5284ba18ea257e116fb06e574e62cd97e10a63bc52f7
7346523082641f23fd5383217e104b43e361088e7f8031de425c86ec216cdba4e90
7350b14b96ef100b1c1ab60407bc64c362f8851a1ebf8dd09f5c13b4b7ec047bd96
7364c9155a2d93b774760c01ff580e7e7aa99d422457bd2c112f4cc026d397da0ec
7372f3d5bf51e04bb6339e58816b20685777ca9a65ca37793347ee8c8750ea8f932
738a3cc11309815c65339394ad69e2c9387a7b7cf5717a7c423bbb43c6c9178a01b
7393c24ab7c14e8b9084911323f330959837262530ab53d1bf42c6205346052eea3
740cd03cdc20e0c8b52d3eb6d40ebfbb108c3f8d3bca2fa595f3352dc463c1e03ec
7410a645d23cb0fd06576cd04570214e27f90552f9e16529607710adb55f624c3ab
742fed6cb820ccff9830276205b52c54e048d56bc6f82b65579df30091ac38a0d5f
7432f3130d0ebcb8f1bf8b6258d355955ae5b3bebf820d2b1f944abf3e30ffa10ac
7442b4cabbd5d67d67c882e337be2ca7abec076df9d8004927dbc14f6dcb12736b9
745b57ba17bd46235a7456cfab860df05ed11e226d8fc5692abe5f3dbbb5eccd137
746ac9afb8f6845f89045ffbb0aeee4453a4b69a93d1038cf24481e48edc50aef27
747e48e0f3a18e07c904e3e903826a492b0fb1df0df752b94cf027bd20fbac0e8fe
748f4fd762c6eff2f9d12c1095a5b1b70ccc8a763ec7ef55213134e9f7d2810b530
7495a1061feac51f20b292ff33a46d5543bdba319e5c6e3120f71abc3b7527b3bdd
75005037abe991b2d056ae75e771768b51bd9c1e65e2c98a5b5bdcd32fa186b56a9
7512e5fc8c2f6f45389e5e473d2516138be80027dc616c9d2d42992009356c33194
75292c52724fe36b18d0ff203dbab8f1980ef031b805d4584e8f88bc5bfccc88cd5
7537e731124a6fabf214b8b8a5e1700816e9426e79f5eac434e83abf922f609680a
754aa9c532cde1c9578fd0f6f895742f69821e15711b449ff2b58cc9e0fe3e0bbbb
7559a8073ad97f74cc38b980982bfac04f66910e88010bbdf771806c9f8a663978e
756cfb1e86d8f797f358fe83e73b9f94da6aed7d28140c673d62a6adc7ab224dec8
7576025f22162a8455650bea9ab21b2f53b757e9bd1888f1a378c12eb5f3d4b6645
75859c13c1a63b612b572302b33f7eec29f91b694f589
7590000000000000000000000000000000000000000000000000000000000000000
7600000000000000000000000000000000000000000000000000000000000000000
7610000000000000000000000000000000000000000000000000000000000000000
7620000000000000000000000000000000000000000000000000000000000000000
7630000000000000000000000000000000000000000000000000000000000000000
7640000000000000000000000000000000000000000000000000000000000000000
7650000000000000000000000000000000000000000000000000000000000000000
7660000000000000000000000000000000000000000000000000000000000000000
767cleartomark
768
769%%EndFont
770%%BeginFont: CMMI12
771%!PS-AdobeFont-1.1: CMMI12 1.100
772%%CreationDate: 1996 Jul 27 08:57:55
773
774% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
775
77611 dict begin
777/FontInfo 7 dict dup begin
778/version (1.100) readonly def
779/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
780/FullName (CMMI12) readonly def
781/FamilyName (Computer Modern) readonly def
782/Weight (Medium) readonly def
783/ItalicAngle -14.04 def
784/isFixedPitch false def
785end readonly def
786/FontName /CMMI12 def
787/PaintType 0 def
788/FontType 1 def
789/FontMatrix [0.001 0 0 0.001 0 0] readonly def
790/Encoding 256 array
7910 1 255 {1 index exch /.notdef put} for
792dup 58 /period put
793dup 59 /comma put
794dup 62 /greater put
795dup 65 /A put
796dup 71 /G put
797dup 78 /N put
798dup 88 /X put
799dup 97 /a put
800dup 98 /b put
801dup 100 /d put
802dup 101 /e put
803dup 103 /g put
804dup 104 /h put
805dup 105 /i put
806dup 108 /l put
807dup 110 /n put
808dup 111 /o put
809dup 114 /r put
810dup 115 /s put
811dup 118 /v put
812dup 119 /w put
813dup 120 /x put
814dup 121 /y put
815readonly def
816/FontBBox{-30 -250 1026 750}readonly def
817/UniqueXX 5087386 def
818currentdict end
819currentfile eexec
82080347982ab3942d930e069a70d0d48311d725e830d1c76fba12e12486e989c98
82174c2b527f0925722787027f44470d484262c360cdfdddf3657533a57bb16f730
82248bfbbfcb73a650484015441fdc837add94ac8fbd2022e3ec8f115d4b4bb7b7f
82315388f22cc6198efe768bd9fceb3446ee4a8dc27d6cd152485384ef5f59381ff
824da43f2d20c8fb08aa27ab2015b774db10dacfdcd33e60f178c461553146ab427
825bdd7da12534ba078ad3d780414930e72218b3075925ce1192f11fc8530fcd5e3
826038e3a6a6db2dcfbae3b4653e7e02730314e02b54a1e296d2bef8a79411d9225
827dad7b4e6d6f9cf0688b69ba21193bf1495807e7bcb09b7064e91fa0ded228e42
82809aae407a7aaca60b1076299ac4abd23ef02f108765f0e3d91f92f3afbfded37
8292fcf6e4b1416901517da8f2fb3c9fe7a87bcbe6fd36cd5b5823fdb74229036a6
8303c3346a1093e6b1036902c1bf42fc317c80abf04020a47b344c36de42f05c490
831a0ff44ab6d5249e9f552a8707bb7661e242644814001c8430ebd5e5f0b944ceb
832666ee64359d663e355b2f17093a964139d17287f6ca6a024767eba4fe4873855
833babe2f07b91560f68300b06dfe27264c163195d446980c35bca0b48f7806626a
834e72636593a05ba403ce1c0f8b2cea3ecd586e90ac17d034ba4af708304f23131
8353459fbbbfb97d4834d0395754ab3f22d6495d2144087d448616fa1ce27bc50d3
83646543287e3860d99b433624119bb9920a2113604c0e260fd275ba55e0fd19c83
837e19addc3baa1f32f6b7284038845ccee71a3311ddb17b84975f7a984bed7c6ec
8382a06e5b335a763d081c6273f86a46632fd9141a27902074fc860df3a2eb59b89
839774c767022dbb577e30da128bd7706a43af886d0c256b50fa968ef06776aac0b
840a5387e9011eb2334c1f42c090f06a1125c207ea6324e87f46414050d88004e87
84179bd39f94399c3f1de84b8aae5edc6c3611e8ac49460509e672000d0afd94568
8424ab67ff5c6bf2301522775398e192532677826b8cc7821a3a6a2765ee6edd840
843b30d07f445681d61f0af1154c46147dfea6f3500f327b50eb05b5007e9e2a5e1
84450be9f8fb62b781a609cfc01a10c69b3c05cb9368d5080db5967cb19b03aeb8a
84538d5229ecec9a0453df2784ec7a1ec709b67e836498312636f124048b9ba094f
84629df8f658455f1f2f1307df865e96cbfb42745507467f8b76cd3e327cdab8f32
847b2742813ee2f4e83a117226af8eeb0dd871b9522e3ff124991caed6950564be3
848e1d17f7f9724e4eb2d1605b65b5550f504a78c08144e32265091879f409784a0
849691f681a59cd63ddbb975f05d29ce9ce2d2808b52c9cd7aee826d1aca7bfcf8b
850e299b35e6f2e6540268fb4dd265cb58154e29966a01a419db95857787b84193e
8511ff52fec7c78c6e04e19d29785408d9e8095731134ecbda7780d7bddcf32c3b1
8521053696c46175c0e4c2b994d74cad21f2ba38034cca133e867986e847ea445f5
853d83829d60798b6256377b23598cbf4f731da077e6a0aae93571703f86c0f0d85
8544f0ee206123a54cd5a0f53ed237434515b13b81ad5830f01ee6e3a764cb2b3cd
855f726b6cbf84d57a8785c6591c72a7ff2331624db4cf1f8e52065999f952a9fa6
8563e7fc3e8c8556df9112a53afc41f3f6c5ac5c86194c2d9dbb71b121adb3c5162
857803e14012c2bb757e56812da24e3f7f7b0c51f831885585209f0fd8729563946
85867ccf477169d5651468fc01f0890809f56a2adf06931b5e9fb35c06c842f911d
859c8074a84925a7cef84e86261571ccefcbadd28d7a3287041705249dffea3c2ea
86053e0e8c4ec407265adeaa833ca4e91092598aefcee6d7822cbbb8186d7f3e206
8617bfa7e571a03b8cea90377f7a64743e346493fb18d57f49695c6f5f3893e42f4
862793a0ace63a2511b9bcc6e6e4251214edb421d9944b74aba08f2b1200026f344
8633f51f098af8125b35963c4ce5b82a02add475089bdf9866a7e9175f20588bc5c
864eafb5c1b56fd76a9c0e65abcc6e807f8357dd85fdbdbbe9571502601b88b5865
8659019bacde14661f691e677dfbdd2fe25043262af3dc6ba49461fa799e0f0fe6e
866703231187b82612a1d369a72333d7a150b6165c6f165734f0e542ac4ccd136cd
867713a03c607e9bb383589587f6d271a5aae6bf21970da8b1229e371bd7f47e86e
8680571d409348e0feae98d58d20094194037008e0ab7ca6e4678e00a59a28b0d1c
8699c60c7e9e6d5c52ff66fe1c4386e9c53040a7ac8c50b5298bba2d3d3b6bd7bda
87065de2b5b0d5aef0cbf24b87941e206ca41e0a01bc0941eb94026f2611f6c7bfd
87125da282ebf47e6cc6ae06461c5975281217bf24ae62c1e5dce2e2ae4995c6641
8727464d36aa1932fe8dde193aed2544b49b2db2b3cf19f46fa14ca15c1ba53c24c
87317ec8257e6abf198360efd616b3989c451886fabeda7b51bd3e67131a18bff13
874c53fcf2af1a8a00cac6e6194448ad8d9073932b71692f84c40094e619f96dea4
8754dbeb155c001cc7c89c6c23ff1f0a0353a35693872e4a2370f5c0364587cada3
876ec80027b639b8b4194a59a6c8bb353f898222e07bd3cc09740487bb701a88af9
87760100422688370b965976158a5b99590ccadf1532574d286d1d7aeead3eaf094
87831fded95775d71b81f0ecef8521dc8ea196ea9c5e4de128bf7103e876f668a1e
87985ce2cba1adfa275fc71b650b9115cfd0c787567c15552373d691edbb0d90d98
880d6ccec04bde0aacd0f489bab4e87eb7ea18aca68b1aa71eb5407a427a7f3b3da
8810b1d26c48c22cb7c7adc97358283bc8391a160e749729e4cf1fdc812263b7c81
88299700f365ad220622e6f1cec369668c198f4bd373f059bb9e9df401b801e7081
8833ede6cc01e1068e388b55fa290de4a32eefa5ec47f688e6fb047df2e1464fb98
884be577d53d3f0f9cfd67f09ad603cfead5405cea4894ca7763094ba3586cb9713
885b22bfcc159a39825bc557f40acada5e50938f25b62df63e80317a380d79177a0
8865b88dd073a37bfa33139ef877e67e3133e458eeeebd941510532a5b3593e9da4
8878d1dce29e4472a2085adf2743ccad22582b17fb2feb425416e713fe2d224b4b5
888fd7fcc1e9876ec5b65365bedeb70f22f5476de46102d93fe8f94de2827db7cc0
88915ce2a19a365e274249b7ef5f7a42bc3fe05d998bc272b03fa6de9bad856046c
890466b146248b9a1f66646b6ac8569ced73c6cecd7400d3d45d0edbd970c55a0b9
89196a9ccf03b2d549d93942d1b8fc431f027f55e28844a28f006a4baa6264a9bdf
892651911e4bb7d71f5c2c2bcea2f8e0d48ba8f2a6dd7de4c6138c9b06b27f1cf39
8933141f921ed3d6e0cd1f1d3a8bc859e261862b362e248b498b4e6ef3aa911e4fd
8947eb486ae9653bf123f19cb41e8f32303e191ceb3de36938c01e8b7ed8985464c
895a2e982dec70f1325945343cc422d238f709e959ff83efe71b45329abc22d95a0
896099e795b04c991d11820d3362dac55889019fbabede7dcd3aea9c14951e03156
897cd1d7cfe8331aa9f1dab308b1f30b932f95cad141ce864ff280af295eb1af4b9
89853214b50b964e6a1702ecf76643b7682250b1ac333ad71da3c96ea636fc469d2
8991d2395db1450dd6bcd10b5f62d56b3b3257936f79074e6e79762d7387912d905
900a8307b62e47e667c8566d7b34cd9bf0cd23d6fef4e8e50587e873167f55442c2
9011edb21000b84551a7a57a57c0dd37e174fa795c9ba6f5bdab04703c7611c81fb
90290b87f712874f0fdce0c4597c5ead6890ddb64c30d35c433d6c1d81eb1fe7ec4
90393a45cbc5b941be81254d08416297a21560cc1cbca097fb95795c49cf08c6326
904d832b08bbf369dde19cbbd445feefcc507f9b037e303bf9240637f90700d9b7c
9055b7922939d7919cd85172bc7ceeb53385d63229276e240d9627f30765e113491
906433760ff62bbfa7dafcf1bb366cd9cd8b698e3ce6bac52dcd8894fae48073a85
907782d83d16355b0bccba97461c73c99faf7009ee724e9b98da5f5b9ac58ff6ff5
908478b81770b65f2b353a76f2fb3cfe84148ee683758635b63532ee83fcbaf89ae
9094df694beb3f347c71bd28bc04bda33b7e2d88f8ae4d57d8bc2709a4419beca71
910ac164e855aa2acfb9f021c0c2b48e338f9b179bc3211d95fb80a22554f372572
911e4b40135de67bb8f2b9d481a100835137a5a6219a66f0a7e6d7b3d31fd7b6594
912f4bd15717d31974bfc970fc1eba77f9d94d65d3f98815a1d331333f21cfcf42e
913bbe544d9249426354c396b5ccc8d4801d1917fc5c62bf740ad901a5b8173dbec
914e7f80120f2de01006b529f3a4eaf2c5a70e23e525c2e7b9d5293158f5f81b434
91562fab483d38aba02580b35153414db089d68b7739d6a5c1fb205958c393ea367
916068fb93080ba749c7cd7eac73c5bcfb6e34d71b664d4be41b98dcb0659fd282f
9175e9760f3246e8f7b9dcbacbe08a68400a2e7d6bedbaa85a9ac99ce1dc37f52f7
9189bee4ac79b9b771ba30fefd87479c0931bf4e62c48e69fe18b37549f892aa2c0
91901694b5f20542e93a260798a68f1e8570007f69d0f59b5f6b8ae3e7cc6ecbaa0
920ffdf7d8dd07bf2e8c47894c6fc3df6683b23e5692c62ef18d71174ac76357345
9218c74964dfe0462a082ad00dee1924dc7ba6d4fb2164a61342958cbcab5a987a7
92282563b5807f2ca756551ff0bf041f17e2f0b5c2c51d20b0e0cf83cadca13bd90
92343d42a2abddc0dc4a9f015c6540ec8bba88284847e022b4e5df3e7d9b4d470d8
924e50cff84ec986fdc2bdd83820e56e6b696b9eca53fca823f8de1180640973fb2
9253226a5ecdd87acba3f060eb5ef0652afc3eaaf135541ffce4224c5e4498ab12f
926ab390ff854f6dabb48a726c3e18bf6a935f6d34423d959b5505e6d9c6ad155d7
927d647276e22e1676a8cacf027c71662d6af3de0268f67ddd07bca200e28c2b41a
928f18488ea2606c76bc8a9b3f9c02d9171c4e8aea404bf38b5e49d8abd5f4ea626
9293218708d871cc8481b1d8aa2bbd70f1a92342d2ebb9d181bc07d6bbc3ed40869
93082fd8e127989480531a369dce3021db838e6cc084430a871497dd8359ac2b09d
93190d470f8667cad755bc977b1aef672031227ffca8f8a48baaf55c367bd4dc4f7
932fcecbaf9c30ea490af0846178929812076e0a79bdc3eeaaa009fb401021d0d7f
933ff4ddb9098877cedc3fb34c49270eddea5151a11a4ff4fd23cae10aed7b4f71c
93466235626ce58240c48fec616942841576cb1ad69c750e097c436affc7e1bd591
93551cc3870dba35319620ffe60570ca6317b0c77de12f67e8a786f7914990045b3
936b0eba9287ea00f34d5934a2d656573a5b69e52d12da5174a51e409f908dc3f36
937ee06805e3a74e78a22b75d10dc9d813da6d3ecf614a9a1e00ca8f2774b097d67
938fa0bcea3648f898b133c049c65523b1be387c7f704903bfc6ac777b37730214d
939cbfff7df0fe4e669422ad6edea6755982d509a8034ea5668f6a6372fcf1a2520
9407df7ed0aa6dd289a472d147511af7c2d9df103318b53d72d1a8ede1307e50834
941d700559fa500b8da7ca853e9a69380560c927aa8613ca89d312aaa0b7d4f47bf
94230be7f1752562c9394c366da3308c1a83462b97b6b7b7e1f2699368437b8a94c
94381dce692586f13e5d3bf955afce77f2b5995c4eab32a86dd6ad34cec83af8411
944a33ff15ec95e24b84cfe338adc3a864a593720ffbd5dbcc49f2cbc477c195946
945edd0d7ecd6e8edfec2c1294501e1409bd7e70855a7b7e00ab46778a935d88a44
9461887ce1095a0f4807ca3cfb7c0b8cfcb8ecbac6fc5ba2f88839d117b224cc2fa
947a795ae38e9072cd7306511ee523cae8815120107c9484ce29bb2e14ddaa2255e
948a0b04e39108409e7929cf2a71401ecc8302ee5a01f41e248a957746ed0357d5e
94943b63dae49e3dc14c190918087204179a4167cce8c317b4f43495b58dd0f3c9b
950970914e576ef29ae1155e18c3fcdbfb6c74bb87143117da740ce7f2c37507278
9511f966c86c4c8fe49bec6cdf639bcccd15e1eac72d6eb6882a85d0bf237c96948
95236f9f73f299e90ed22ea2b1a4521274431b1c110fccb505bb35a9bc4aab961ed
953d62c8a8f33cb2ed010bf27820a7b6ee0f8f54ee4c8426d9a3d505803056bd6ac
9546bbdcc50e291e94001699b412b3ae6b56b7aebe61805cdaededc4876506f63b5
955a226c4070542ca352b6fb9473149df7299ae42507707aa7c9a618fd1707bc08c
95614fdd6488fe211ce5e62abda20073b1628b1eb7f4105daa116d0f503062d9de8
957237b4285f0172e60c85ef090ece310f60f3556ac0663a7a129017047763e1be6
958d0015f6eebd2ff9500e29bff1270a6ad57d732ebc3dd404398823fbbc492e70f
959a850ec0b8af95f4b8fbfd33d16abc85a64d28eb4337dfaec1885fbe13eaf57ae
96096f6b919059fba54a83560523aacffbee96853349b41d4645c8963f710d82198
9612a17421db54943a56fecda0110f2a466058e61f212badb6953eaab645119f49d
962ae91be5d5373db8bd579456e04b0497a34db8fe2350f81036a5176c735781279
963eb961b1e3442e0e6a952527bbcd9243660b0fc45f752232b0bdbeac075a9003e
964e24d2fd87508cfc10db51096c9a69f0bca12b019190c0d3c7ac68e876f97a715
965d18af74801bda145a14da2ce6041c225ee6a54016811bc50c9888afcc82b8edc
966d37e7ffa359a8028f5abb734c3d428e9a1b8749a3205c7fb6b336a39c357f277
9672868ab8bb65a4b5a7893e55753dff4ab19f7669b122fee478ed35e59c72ed8a5
968613dd792ada8c008e95d85b407f4879a1a39344b1f4347313eaf0e9a644ed84d
969bb5a1aa944e51b7c3918b84399a1d73f0c539690895600697c212e545dc8eabb
970384e9e65f4cfdfda77e0da08304afadda5ae1e4e67696e2b6f94d948f750e487
97152ecaaeb99036cb5b7fc66c95a25b80c861c3470efdfdc2cb9549cd40eb0d4b8
9721611475cc6c3162643324fe83276801cbbf0399fb63a998d6e23f3484fecdf3e
9739e3ed54c6856bbcc640a017baf46266d1d96129a36c14de288892e8e6100cc6b
97447b004a41e2729ba7976b4cecc4b1908dde499d088795f07619a58fd78a6cc9e
975b3d05b72d9c2526c3dc7ce5ff216e271892ffc8b0916d33ea78c02cf7176339b
9761e8e4c31e99ef22d4e95effd776d904f88611a9e5657b4c349219eed3f2f04f9
9779fc04044c7f47c1f6327262d5c62e80356f8613c2f798761b042328cadfad166
978ea35a92cc30b7a87f0f4b5440c11150e6cbba855f901f436342b66e86ad11ebd
9797828ba7eba6364d7f76c8aaa3e729d6dba467eece1258423c0cc3de2b361135f
9806e5bc5e972bfa38f855ae3efd81163b7b629c6f42f31dfc5e0c9dc2bd9dcb0fd
981b92f5d3bc4e7408d6079d39abf2460de2e81a5371eac86fc6e46272376faf145
9820826324b42de1bced46a8b4a6adf929ddee7beebe7aea4e502d8968fa04bec3f
9836a0a41a10517d8647c0431a0087e77109639166cc7b7d0821c4c60fecdb50a1a
98492a09bd736002c3911d69172f96f52081429f911061a5b33dd458a43c8f3c42f
98536bdede6e148a6a02f99292fb17b2cf21f9c6e3e2b1572193c4c32593c35ecb8
9868853d98b60e6f64a6412dd86fff8e0ae8c91b90efc16011d92168d583b8e96e3
9873e058d29b277624a0d254d5f6b6a32fb74556ee49010584493763c41b047cca5
9880ce960ca4c96d5b9735818ab077b45ff5d27afa22e842edb12da014814e5c6c5
989fc1b640e5ce2fd2420fa7301a13ea7a462dc892c879410bc48183921b6c728ee
990e2021eae9f98fe609c0001e6c6e09a1d317e75e5a878ea7ee431dc136ed90fe1
991fe1c9af796a506b9fc8ac8ad97a2c3310c165c306ca3edba45b1ca7ec7758219
9922b68a6bf368aed1c57abb641d3c9c0831ffb6ae2a9822566613525dec1767323
993486e994066ce90882251d7504d47ff5acccccdb01363cfb1dba843f041fbc835
994ed644a049b20ae871004362c07f3bd8e859241db7252de4fdd7eb08b0747947a
995e7d361b2b8432f1f9ecfe8e45f8df922940bcd6b8744117953001b5d4e642ada
9960f7b2086b2d2bb0c33bb2d760f463219b3bcd21a6590eef9559a55f72f0462c5
997cc466fd6cbe5805899b1663950cb2158d5ad74586f0fc7ff99723a68b2b6da73
99865ba31f29f06c7945e429a8f902759a22c9f8134bf58caafa67f3e5a23729991
9992f0b55dde0d14c931a422764fad5ba3e8a244025d8ff1592e78065f23094989d
100020ddf2ac2066a8c369cc3fe42d943f1593662ce01202add638c65c7a08c3dba6
10010243801af68a689837cf6a474868d90af59d7223b13c1a06
10020000000000000000000000000000000000000000000000000000000000000000
10030000000000000000000000000000000000000000000000000000000000000000
10040000000000000000000000000000000000000000000000000000000000000000
10050000000000000000000000000000000000000000000000000000000000000000
10060000000000000000000000000000000000000000000000000000000000000000
10070000000000000000000000000000000000000000000000000000000000000000
10080000000000000000000000000000000000000000000000000000000000000000
10090000000000000000000000000000000000000000000000000000000000000000
1010cleartomark
1011
1012%%EndFont
1013%%BeginFont: CMSY10
1014%!PS-AdobeFont-1.1: CMSY10 1.0
1015%%CreationDate: 1991 Aug 15 07:20:57
1016
1017% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
1018
101911 dict begin
1020/FontInfo 7 dict dup begin
1021/version (1.0) readonly def
1022/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
1023/FullName (CMSY10) readonly def
1024/FamilyName (Computer Modern) readonly def
1025/Weight (Medium) readonly def
1026/ItalicAngle -14.035 def
1027/isFixedPitch false def
1028end readonly def
1029/FontName /CMSY10 def
1030/PaintType 0 def
1031/FontType 1 def
1032/FontMatrix [0.001 0 0 0.001 0 0] readonly def
1033/Encoding 256 array
10340 1 255 {1 index exch /.notdef put} for
1035dup 0 /minus put
1036dup 15 /bullet put
1037dup 18 /reflexsubset put
1038dup 32 /arrowleft put
1039dup 50 /element put
1040dup 94 /logicaland put
1041dup 102 /braceleft put
1042dup 103 /braceright put
1043readonly def
1044/FontBBox{-29 -960 1116 775}readonly def
1045/UniqueXX 5000820 def
1046currentdict end
1047currentfile eexec
10489b9c1569015f2c1d2bf560f4c0d52257bac8ced9b09a275ab231194ecf829352
104905826f4e975dcecec72b2cf3a18899ccde1fd935d09d813b096cc6b83cdf4f23
1050b9a60db41f9976ac333263c908dcefcdbd4c8402ed00a36e7487634d089fd45a
1051f4a38a56a4412c3b0baffaeb717bf0de9ffb7a8460bf475a6718b0c73c571145
1052d026957276530530a2fbefc6c8f67052788e6703bb5ee49533870bca1f113ad8
10533750d597b842d8d96c423ba1273ddd32f3a54a912a443fcd44f7c3a6fe3956b0
1054aa1e784aaec6fce08dae0c76da9d0a3eba57b98a6233d9e9f0c3f00fcc6b2c6a
10559ba23af389e6dfff4efec3de05d6276c6be417703ce508377f25960ef4ed83b4
10569b01b873f3a639ce00f356229b6477a081933fef3bb80e2b9dffa7f75567b1fa
10574d739b772f8d674e567534c6c5bbf1cf615372be20b18472f7aa58be8c216dbd
1058df81cc0a86b6d8318ca68fe22c8af13b54d7576fe4ca5a7af9005ea5cc4edb79
1059c0ab668e4fec4b7f5a9eb5f0e4c088cd818ecc4feb4b40ec8bd2981bf2336074
1060b64c430a05cba0221dbc83ae38c6183e5a3f9e0ccbf759ac8f40cdb9f13f7eb3
1061a56ad056cfa40871040ebe5c48a004edcfcf29fb97fbe18b510c26d5c7898c33
1062c93d32407873f8395b4422303b169c415abaa3ce27a0e00da667faab34c56f8d
1063485a372a695ec116790c474bb7953851c5f2f72d15d8bbff5410814a76b7c7ec
10643853f04b1e64102e7e6fab5f3733e70df6cee8bd47ae7ee05f551e3f6a02e571
1065ad5d2d5d98150cbbdee07ace045a325b44563790d78f58e017353903e12a2fa9
1066c032e4bbad0f9a5c1310ea814bd5eceeca51d8b01b01c840e31fc728958d2df6
10677a83de46828146f8e064428bde68080899182dd8de8bb20a28d98217dc24ca5c
10684217355cbd32cf66fe4a05708e28e34ed7bf3ec654381e216b75de89ba16b2c1
10692cce18cf937965bb9a6648df285d1668b601e25d38bbe1a55be2ee29a5540977
107078b776b6d5e61b5b11b6fd95e10e62ce40b5d2e9136e6b3bfcc2bb711a34bc6c
10710bc786dbb6598d9ee60ccad208ca70bf094fac23124427478f04e6cb743696f3
10724519b7f581c62bd941c5de5537f82849c87e066c54f999c4b73ef2547a048530
1073f8a68a76aa46361d1ebaf1ce0078fdae44ec486fe78694499242991b743ff4b3
10744723c498d274c9162332d49de40b799c8d6c79378c0d58c8babbfc881d164b47
107583712ae246b0bc727ea905b936e72489caa28a62a6fc8bb848ab27a167779378
1076bfed16e97bf4477bc7951045be1734df9c5accd8cc128423efc68ee22bb06eb4
10771cd789cb730db2e4f86e310a3e1121106f18c5a3c776a1ce554942bf80e58429
10788353b0eeea11a1f3708838f678e63e149ec0cfaaf951b3e9742f9457b62ae750
10795a007d91e88e1f98e0567931e148f51d278535dc7531771871768440261a7050
108087f6f26d68005b22e815ee3d20dc4b3316bf90d5a774900fa8b47921e04d5dc2
1081888e7c5e62e1325eaba2cb6432d27c9104d453624bc1339468898f6253cf2984
10823eb9c3a3c5422b51619b1a431d98d62dc82f58653042926eefe3fa3e7d46630c
1083e4aaea493e006b7dc167f721f0ee5393e33affe8443ca08e24307a58bfff8d5b
1084db37274af053b14b6a21773ab8b65b1312aadcb879a7fc54c504e24c5c61fab1
1085e2a67e61eb2a52e9ee3256e1399cc1bf8408b7c2b9357f39ddf461397f2ab942
1086e4ee2da63be94ce320d2f0f376c6b5cb3881f54e5357ab74aabcee3da8b8177a
108730d38ac156b8cf1e403eec55174cd6ba1604cd2dea962728266eba7b97ae7987
10880ba404a87134d7640f22368afb284c5ba862052c633e1ce9ad3b3cc375adec5d
1089a8da9793b98acc084cd8a47acfa530de95d1ac7ab679ab627efdaf6ebd6873a9
1090ab1a9ebd372cb8ac4686ba104fd8e6ef486e95b79e31886040f7abb32cd93ea8
1091a41f9a62b102e28fc1f037b58ba0829c473b4f1f4f03b25f8a2e17092f67e030
10923ba8294709f5c98ef89f295bedd767b51bc9ab7373132ac54604b3a1774022fa
1093346c873b2b35360bc30b8a49a779e960ded7b61557be67c92ec2ce9bf73c2f72
109432e6fed1155687ac5da779f8ffa93e83900b2f5d1aaedc98982489f716eeeeed
10954e774a83277e9c87f3eb1e623c4ebe88505b3b4567dcae87841cc324c8fd5026
109614359d9870a2996c96a4f22d413cec2c75240cac5f9727d6055c3e443241b7b9
109770ccc682a0c5086801b878e9068c6b8e92
10980000000000000000000000000000000000000000000000000000000000000000
10990000000000000000000000000000000000000000000000000000000000000000
11000000000000000000000000000000000000000000000000000000000000000000
11010000000000000000000000000000000000000000000000000000000000000000
11020000000000000000000000000000000000000000000000000000000000000000
11030000000000000000000000000000000000000000000000000000000000000000
11040000000000000000000000000000000000000000000000000000000000000000
11050000000000000000000000000000000000000000000000000000000000000000
1106cleartomark
1107
1108%%EndFont
1109%%BeginFont: CMTT12
1110%!PS-AdobeFont-1.1: CMTT12 1.0
1111%%CreationDate: 1991 Aug 20 16:45:46
1112
1113% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
1114
111511 dict begin
1116/FontInfo 7 dict dup begin
1117/version (1.0) readonly def
1118/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
1119/FullName (CMTT12) readonly def
1120/FamilyName (Computer Modern) readonly def
1121/Weight (Medium) readonly def
1122/ItalicAngle 0 def
1123/isFixedPitch true def
1124end readonly def
1125/FontName /CMTT12 def
1126/PaintType 0 def
1127/FontType 1 def
1128/FontMatrix [0.001 0 0 0.001 0 0] readonly def
1129/Encoding 256 array
11300 1 255 {1 index exch /.notdef put} for
1131dup 39 /quoteright put
1132dup 40 /parenleft put
1133dup 41 /parenright put
1134dup 44 /comma put
1135dup 45 /hyphen put
1136dup 46 /period put
1137dup 47 /slash put
1138dup 49 /one put
1139dup 50 /two put
1140dup 51 /three put
1141dup 52 /four put
1142dup 53 /five put
1143dup 54 /six put
1144dup 55 /seven put
1145dup 58 /colon put
1146dup 61 /equal put
1147dup 63 /question put
1148dup 65 /A put
1149dup 71 /G put
1150dup 77 /M put
1151dup 80 /P put
1152dup 84 /T put
1153dup 88 /X put
1154dup 89 /Y put
1155dup 90 /Z put
1156dup 91 /bracketleft put
1157dup 93 /bracketright put
1158dup 97 /a put
1159dup 98 /b put
1160dup 99 /c put
1161dup 100 /d put
1162dup 101 /e put
1163dup 102 /f put
1164dup 103 /g put
1165dup 104 /h put
1166dup 105 /i put
1167dup 108 /l put
1168dup 109 /m put
1169dup 110 /n put
1170dup 111 /o put
1171dup 112 /p put
1172dup 114 /r put
1173dup 115 /s put
1174dup 116 /t put
1175dup 117 /u put
1176dup 118 /v put
1177dup 119 /w put
1178dup 120 /x put
1179dup 121 /y put
1180readonly def
1181/FontBBox{-1 -234 524 695}readonly def
1182/UniqueXX 5000833 def
1183currentdict end
1184currentfile eexec
11859b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0
11860b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3
118779791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3
11882ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8
1189b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d
1190823385fe55f3402d557fd3b4486be79011d1f5b667eed85fade30ab2ec4e1c2f
11914fe750cf9a69506458071de8896261c001b1c290937fa42a1fa87de406e9f86a
11924c9c0f03f69fba719114f8ae51040a4c03a58b6f3de027f6726f32743dce7395
119314c2c6f3c2de1aeddcfa8eed7da56dd68dbcde33c29ff7a694769049e4325ec9
119461b2df16add2ad46f18781fbd63eec62c26f1db41e6a666a09886382dceba91d
11958ff7cedd64ddc8a2f15fe34076a064c46febd1f4dc3707aede0ce8af161bcb8e
11964ada202d0954baca5be71c28ab8bf32fd72029aa07f27d658a68f454a4bf386f
11976314224d16c7f0a8624f6b86319a4e2fd178f596f3b20db032ea28c157a68a69
1198fad2bc88881658d2286c0d4ef061bc070c3145f2a37ebec03f51de7cda34cd97
11997eeebd86b00f9758b3a496f41d9a74279ef3c6322dc54945f95062c5f37a1e51
1200cf7eaf45f2b3634b2d7d01ec3b298ff35b6616cd3020e096f6c6aa2bf04c4a93
120161c19f3c67a28d936ffc8120f1e46980b29bf54047c5f1fa48e67611a74fa434
12023384f802a4079b28b94681e119ab0c1692de5bbf426440ad1023506cb80732de
1203c64d9061869cb34de924d2c26e404b7dbd9be55b9c0c5ae3095c15d278adbb49
120412df1484ed2d73128e5d9c1f1a3b9ac19e2ce5366c96644f5b3d3eea589caedb
1205586fd9b8f4df32ec910e9b7434d5bbe57e03892eb03890567df5b811afa0da5e
1206929d456af362fda0789aa0cff464e238029294fde86cfc8d7d33d5c98b18c76c
1207319811e4d3d49560f2ac39103594ec513e0b1377c2c3e22979866c19b61448d5
1208a7201ca4b7538aa370f6347253b0853d4c5d575a7572f93cb73a598e2e26b11a
1209d46a1126e44e7e1795dff01562316b6ccc6678663e66a73db285746df3f4405d
1210d51714679581946ef7255d230e088a19d4e79c8e87eea81611444885d63f738e
12118ec5faad91ecc8278a7401d972ba8946f73adaee5bc7538ea1ddd3e765bc2eb8
1212335da87dc4f27a834661348f65887a4f5ab2dda61e3c947a3c72567da116315c
1213405982507499754393646fed8c7573369f44f22c84035d889546e117d8e28641
12148bf8e80f213cca102b5a84a14c538f46c36a02c274472b06c2cbd393860f8707
12154ae22fc4c89067e00c99c26a4e90e517496370faafbf97783d1f20e4fcc471f4
121682d1941d3bcd1b544de90161bfd7c09701ba75cc479b43f2faa815b298a97f14
1217083ba974c2c242108f368838c258934b5d935bb94934fbf3790d714bde4cd721
12188d0bebb99dbfa92b680b906110b51c9a7e82da140ae17dc9e17175ec5aa4296e
1219f0155d52663b71a511ac43e47f353f6a017e61b1bf0084f92ed9ba9cf4fd88dc
1220044c5ee4829907accdf5179127e66b6f5b3a89f9d7e3006bb0407dfc86659e6c
12210ed1ed0db71b44a9539ee421c270a1d11b60e83379f5ad93566e0a54bc437f26
1222e7ad0e45163e4059c72a9c8fa6c536bd2b95dd83940240d1eee6117abfbb3c14
12231c2b7ef6d704e634bdc33fa87a43a3cd36aeb91dde6e8cf771e55becdad423f0
1224d3f426ff2d5f2b815725c30309e5bd870343cdb3109459f47100f0fce533e946
122581a5a24ae10583d2192e39fcdc28f447c1e419eb3cc067a1e800ed443aeb68fe
1226cd3b474e025fa12d78789747e94ec32b3f72867e611a215196a5535119bbe174
1227ef505cadfcf2d1e0b7333e666a81940c61ea635b085639ec3a0c22ee31a65b2d
1228802ff14bbb4df064b4039b6b897e347a34580535464fd0195373cbb5dc4bd3e1
12294c0cd87fea26f35b5c33a9c800c77f053049de6761d7d7570c0f5d24fc3d3a8a
1230979eeb49633de8517ff8e224503978947039899b738f3c198c3d6fc904123630
123143c32363d126af873573a30bb07dd0633fc81aeefae730d2f4ca1d8df0c22efb
12324050fa067828b3899cf32603f0309dd0c62268e9a725b1385218e76843ccb205
1233f93fe3c790885fe8a89f9d45bc65f44efbb62d36a48457f0b8d9e503f57842bd
1234f38849eb11bea002d4bcdbff560ce9c307cb0004a44774f90f796b18920c2bd3
1235aa59d419b0b4caea97d470dda5f9d8414fbf2e5686956bb16dfd54231bc50925
12362074145952204ebab9c2ebd9b859b49410952f21d845208a1d36978ab458825b
123750a71580174d32a25871871231106140dfe51881f0523a8a13a1aa861f7dc10c
1238dc02a68786a8e13d92f7f84569affa36e3d3d05b1fa5b0d4e33e7a934c1db3cc
1239915b984f160b5ff99d555eac8106162b531702525d9c0713ae01c4e311832cd3
124018fce6350a047bf7237484c9c554f3135348ac9f7e935f7a7228c4e4202f2cfe
12411b1c501e6bc378954f7813701b01ee24d96897f3d5bd936b475412fe44d1774f
1242e541326cee8c696d88a960d94ae49bd9d5c1d574caac62815694ba8ac3aac642
1243b5903465d27eff414ada1b08b4ca5d0a188e83f8fcc048175febbbbe8a4b25ca
1244eee4bab0fee7fde2e78b61d7172490a4745076c50717e5ab7059a2e5d8217d43
12452c714ad809fd2496a7942e273890610df1c5d8142de53778255bbad3d868ad47
1246608dfa3c8ace5c820800ee15d5e8953ec309c4d97f5cdfe66770ffce05dc3a05
124738ddce3158f96e0d7b91eb204832df60d9dfcee979df999f8be6f3887bade04b
1248d3efd20a62a7452e5e9264f3d9944e9a631b2a1f29f41bf994dd3436abdc2585
1249bb28b52e18853a957e96720e3c234775d80f498fcb1ddc33d41517bb45784cbb
1250ffa94b8a70c46d79a15b8c09c742d0dbb5ca025cde5daa78f5baa157fc2ef15b
12515da8eb9a8b461ca96c0b4ff4c18ca871c9afa111b191869b6dbfe066d804feec
125253629faf9a52a089d7740f0af295142adde1230d42fd1a94921d69f215de90cb
1253c9f30e2e8ca3bdc90ae95f7a3ebfbf70dff9ec2502cf9f7dd2cac06a11269be6
1254fb8d661f4c03cb20720ed2af3affa39f6d655f40d4228009a5b5ce505f882024
1255dac06586271f7e7ef726a92f0c1f97530011575fb575e3231c0b6e575649252d
1256f929b11935f5acf112923d1a9334a7045552fc29b29ecd20da5f99f01748addd
12573f58f71d6c4a301ae66ffb3fcc2a19f09ed949a9a9448666f5ab8411feb6ccaf
12586d77fc2873d9dce899f459a99d232f4e86a4f6190c5d5ab106854c1e83280553
1259007116507aca7384a324c1db147e22738b5a91cf869357a6d3aa291ae4e0b679
126094dd050baf882631e79a4aafddf3e8a7df3b5c754897c3d08638f2973374e90c
1261974ebdb7c902d70a1922f136e6dc1c3e597be9e8127344e2debc808dbb1e3cbc
1262293ec32949c2f9450082b5c0929a5b5958ca928f171f96e4f286a6ccad15d86d
1263ed248946c0bd8e5ba45ef94f90c41179be16fa31dd9894a59b3f7bfe2df24dd8
1264e8cd09bda48dc9ed0dc4e5fc8bec81b7fcb1fb712c19ca2e3ddf15f494ac589b
1265e3f8e150b819ad6f70afd6471a1ff9b425cb8649c83ec489742040beb6150355
1266b8684b6f359613fa37d3975b7054b70b0f76008a3152c3941e7fa17a91ab644b
1267cb9b9776aef396b384d4e51870ad6d47e00e7efc387edd97f98282d7603386cf
1268bb2ef5922186d6aa091524616ddc44fd9b40978786ced35accff94c2f5615a54
126943c6a3429d7a2521874b01f71a471b17fb73f6759ca5f13cceb869e0ec0415ad
127026165a7c2dc76a6ce00962057b6f0c9518c480aea540a6b9f26701b872b53dbe
1271d590370f29263e81e0bd6e533ba27f3bad54ad7e8cb07aa717c85291b0f3a948
12729624b6e1c878549adcc0da9305791017fff734ae98741211b02129d460d6ea55
1273f2c562248866f6b27246e1e62d1c7b82c3d30195b86f207de9206629408104b2
127418c70efb4e68f611f9b5ad4987d6af293d5d20590854616c4486337a8fc6d67c
1275c375759a136d474dd488c7939147423ac74d162297749217f0dd2fe78c7b8fb5
1276ceccf7ab728ed17c58d9977b14459b34378986f94b66a790e8a823693bc1de45
1277b9d77d3a0497c13ff94d548e7e453443bfe5247a3358a0a35ba7fa03935816ee
12782e534e737f048a4d85b7daf41d6c513a2bfb710847279e1d795dfd4d7643391e
1279a21cb48c65440e16eac5f9efaf5395f61678f10a0adfeb54afe72054a334e30e
12802d63260d650efd3482f8c6e6d10dca4bb52ce350669950761e44a35006a90847
128141f5663e0584a39ee3f4c6004a1779cadeab38d1404cf72f9d78f0df7a194c38
128220f704ec13c4df2832f11009400f8976d81b08ff782c8d5581cd93bf5b785caf
1283ea7ff82c4aa7c86521ad938847c7ac08e4562d3133090f2baa2ab540f57dcfcb
128436a91ea68eb376d80e82145d3748a9e040b4f47ddc4bf9aaa2d90ad82a3a7ddb
12852f16af065574f97bb14f04fc360d0a11ca45171788bdecb809306e23e87706f1
12863f6cacd5c9806898c210267b02c39cca09828a407c6394885d975dd2ae51b8ee
12870e6a454fef7f50ad7eac560e5c133cf68bcb36cc6ea8ab2d8c99281b3cf43285
1288a5252277f32ff46fb1e3c8177b5e81702d891221849dd0f8d9bbc5c64369476c
1289c3968d357fa473d37f1da3acec873034fcd00fb836a08509ea14f13ddaf25759
1290cb59d5efbaea6e52dbf2b7824e31ec807ae0b6dcbd69d8dc0324b15721a22c9a
1291a9bfd528fe12f3589730a27eccc39044e95666d8738c3ece4cc24a8699c1b871
12921dc9c6b090ca3414a84b20ba54ae26a596875454224de6e0031293bab1055869
1293dd11f65029e2184ef1f0509f2bc4a4dc02151b553a4fd9be0cdea8cbab0b32fb
1294171266a47b0d766da5d4893a6c0ef207099594ba22ee02166f68f10578cb518b
1295c291dcbb82857140fb04e2ad1028cf0f4c1314d39e163bfb138342a18e19a1dc
12967c7df57d630fd0af99c51f9f2f0cc33ac233d2bb971665f745a66bba5cb5cdab
1297fb64de714e5963eaac6d1fdca8d573aef9489dd2031f0f795771c570403f7b63
12984868506ed8a1c51e959d2e2e3f4fe0bb1c16ff0801d36a3873b402b0bf2c9f70
1299a99b355687ff95a325e55ac328e75e679d2649810f81b263e9568ba634c76557
130055cf83dac1ab99bd77ce9504ef15aaee7f1957bb2bc72360316b98aa093f9f48
1301ef2aa7bd5dcfec0d5789c5ba92321f2af8d5894cc3e25aac7dce94cb64e0ed81
13024025fae51b961fca14dbe0ff178324bed7fcfa1abb7384c214cf8b325546d81a
1303c24405ee57a314cd002362bf49ef0508e641f395d8ddfc98ec2ad85fdddec3cd
1304217a19d8d40c24aaf9b061aeb753cede5801d108d23cfad4f4606706a51f1257
13059612e98462678cbda432851701ecc90bfb1932bdabc5e9d8838d70ea8b6712ae
13063e542c8bf462e409223fd44f6a5714bfb264c81af1c23df966629b7be3023863
1307c7435565306e4303c900e99d4ca80a658c1ee57a6431c51e7bfc8e5d7c76d9bf
13081b7b5ba677de251b683e1b1c22b996605ee320597b15195e90b4691062db766e
13090134b481f47ad36842c87e5c8abaac218684e4a72f79eafcb0eccc8e74d22327
13104dd9bb17b7be06f66fc9d9c73c17d2dfb909e109de2e5fc9a90d5b8c30cc4b0a
1311825e5cc91d0b4c412c42185054deedd8df1ffae7d13d7c40985ba9b948db24b7
131246de4cbd21a29bb04cea49fc8c6affe6ed9d7a40fee92d493f0e6f255065905f
13130e647cbafb8a73d05077849b92a6556a7a14e291ef8c7ff9e7d1aa9f8a000ff9
13148128246c3c1ef6323a4514fe12c9b5a5466904ad594ea2d0db06fb055cfd3cea
131576ed9649bd0b65a1a6e09de73f5f1abf75e71b3778b69b9e1272399c381af920
13160b2b813dd2f6873fcf9ccd0271a5c84a8a056fc161adb806ff75fcf6cdb2d69e
13176d74c8e9a2295fca21c7b0fc4c94fc6affe043d73e50fa2e3953532f6d93f13d
1318e87dbb758af8b5cb5843a924b5b681f4e076734c104fd0b5cea9ec65afa844f1
13193c8f5c25edb72c5a5043b74f754079fe7a0d8b90a03e5920b3612d7c064c81c5
13203da1ed42d3ab8d92ba75f87ae54d9e84ab36ff545411e8ea06b555cf2c8f771f
13215c473e36094f64553f2c053264ac8fde10d2a0e3be37565ec95152b83913fe9d
1322b22b45d79708ffea253195607a513043c45381f3fa3807a55ff3f57aee06a9fa
1323adf8c43de8f0352b083fa71011cdbde2121b9c19019e4cedb9d95659744ef97a
1324dbbed3d167fb1db7b48b4c2540ce3766af1df139470d1c6f6d4b19540dddeffd
1325aa69a8a76b1113a3d5b59c76a8bb89de3d2d06366ab073074eb7437038b00eb7
1326e92cb3948e9cc22d50ae4f0a3ef6abdc1e9a2e8fb2be9ec16848245fd1ad7fad
13277fa0f3d0e7b40c9278bb69c204e08534982f105239d6cc81c2e8c56fddc4b558
1328657244588767b3e9e1b86734844eefc8cb67cfa60b2d1c9263db13f727ed83e8
1329e843c41db98cac01ed411bb4476dd9f32c9a56ba9b6119ab7e722c72aab37503
13309840315ff7cc3d3a06a2bbbcc7e5d53eedeed0be6a1b8ceb688cfc97fd9a292a
1331bf6e4cbd3af3835c1fb41417253fc28ca942db3702cebee3b37af6868e89c7df
13320f05467425a9b566184a3832afda42dca6b235a199b55f7984d531e5f47ab9e9
1333d93eeaa9f55feb75e54bf14722b9d900a05adc2659b0015a60749e31b48e33b7
13341c8c0bebdf985af1d4b06b7034d6a33cc7b1f27b6c06dca981e1aa7fe39eda68
133545b7ede5e77cb3278983523c30173bc1a7031857c46c65e25b765bfcc524e3ea
133660d584ad04b3499d94e260082f9aba1089f69ee7ccb35be80895248cee1a453c
1337b21af4140773486d6cb7f5bb56f9c64e9a085cb5475aa6fab11437031dda90f7
133845031e4bc9f3cb1f239266b99bc1a8d8539144afff9d78417954c58ece2c79ac
1339d18f250109732a8343894127c8c3a454ec06826bb8f7a598d570b7f80b059942
1340bcdf199f90ff6df43d6247f9ed863ae12c2e8305c07fb6b89e371730d59c4c74
13419f2084030368b09c231c401e47d47e0dabcb8f894e1c9c13e8c59046720f02c7
13423c8dfcf82f08ac0502cba7ba2dcd2f44c27cc48526e2b6fba5c757d432ae5f77
13435f3e5fd5c04d22b935e3ee3de9d19d794c5b6051fd3eadd9ac844402bbfa8322
13441b1e22f954d3af11757eb00915550f015cec7fbad5bb3668ebb1580bcec8d4c5
1345647e5129c8a0f3b93f27d7aa1259e19d8a6326c524d5034afddd5135086f3f15
1346dcc9ed10eadde97b5c0b70b050ad19d3620192eb5583b3c7c4d0795703d92dc6
1347c4b42b1a33df7b23f512c5c2b0d0f78f5fc5563e1549deaa283a2a76472efd21
1348fbe8dd9708caaf1a533e3e980900b10dfbe6a25f53ceb86ff253385e277c62d1
134939e8f0047092e2f87ddb2d7bdb66d96489d781839b031160c6605dcb81dd55cc
1350647e1f3047f2356103a9aa6ea094ddb789f7131b3da729226d8cda26af689871
1351f777d3e4bb9a2b259bb6bba04e2b4c17ea7e4d7b2f77b7eb018507a583d56061
135245b5636a2a74b021a264bb1b38f1b29b715ff5b117a7d56c60130e388ea1df23
1353f67252a180df93992ea0cea7295afcd21d48522e3f701dee2a6d2c14b0bc9bac
13542016720d58c4c0b4b0a4b9243343f3d37e88baa0ccc7e744a6df22939d3ef2d8
1355d41321a5f8baca8e8686022fd925b08b2867cf9f806675f4d7129a3ddfa116e9
13562827e2cde66bae10cb082acc14cdf7f3ed90c76031f8d1f14b5fc2218931909f
13572f6b03305f16b364218f6baf4883a2c5291e451d5b5fe90eeee7c8855d9f8efc
1358c583e059153ef17f109d3853f59cc3dab8ac57e2a66061be33540681b7d6a592
1359555132db5b81f0181f081326f45d981e37f0cc5463fe4c69f9859b30bf77e5b7
136049cae591a8dbfc9c274ee1629b2af2a49dc7850118bbfdf3b273892ddbdfd4a2
1361fd14ec053b7646743c6c8dbba7c8fc8294d006771bf81beacb8d97d4103e6697
13621a442ce24b0240160c3a4ff704223bfca4bd95f8e6ad860c7ff74aebf5a2f624
136394bc5c172f0dd74f88900e579ae2939e9a4c649274e13080ce13b055491e37c5
1364d67e24424e7261ca947182686ae6b678433e557f8f8ec7bf1ed457d1699c5d0f
1365b5717ed98101dcd5282267bf90c560025baaf93a68299c7be2aacbac2259b7e2
13666549f50648d45d0fa1658c1b11ca0d165ba493958fb65abf0b74067c7a549cb0
1367d59ffaadbdd3f883dcf099910e809dd47eebe590b9d99d590609634b3603080e
1368bf2676fa9aa84fe92c42af2073d2cb143db412de6bc46211f603483e1ef6b5f1
1369c47c66f056e02bbe928504d7e168401627f96f07ba58e86e1cd9e48dcb9c87a0
1370ce781e9ffe2da849b577669a549a772b3b51049e9093b7eab3dc40e5241c186b
1371906e23cc4cd626ff3abdba87c07c4a1347fc2956acfa2afcb6b31e1f4eb11f63
137283f1b22ea9d504090c165aaf0c4e9473c1ebd5aa3f6ece26a52e8b4846dfc77b
1373a6a3703a94d33effb5b6ef7248d92226b34b20ec846d3e9be1cce2eaffd669fc
13748c94e25ac2542dffb96c1a4bc13283e91b75291d4d26eca8ff2cb96b06e77fb8
1375b27251e8181bf30bbf471a02811cde96d202a8ea1bb39ff0168ac5d5e50466d3
13769f7c1dc5f516adf9809faede94fdfd5fe93eb26c88c807f4ce04fdc77c89cbf1
1377ecffcb59677ac3a9ef838253f050bda9790d67daf9e829056e3d8fe1dc848e84
1378911a5a70375ad2a50b70c986a8687bb0f2d0933ba5ca147c8f29a4fec05bdbda
1379b0bad07afbc95730bd88cddde0fbecc522d11b9f64162dba306ec38faf5f768d
1380682b1980392866001f32ca51347715201fa67eb4454bba591a421a35a1726b97
13812c295fe0848cf778d615d9d05dcc6f7b877e45102794798fbbfc8c321ff00ebb
1382d77561d4397143cf52f32e68d009340bacb1200dbb64a6254180759e7b84e3f4
138372798adb283c0133c6934676efaaa963c56abd0963d60f37224abba459b78d00
1384c4819a15f26e2e7162fe3bee90f22f9597ef5fd4ca5fadbe75925b3a88b4c66d
138541cf9896bbce9265f5473ac6e093b4a32d248da6b6186b8a2ced494ccddb1a54
1386b7341ce014cf8bfd022a6951b60ac1b543dd306904c852a290b6644aa6af559d
138746f0d9de20bc6b922a1d6bee2c1998eba189b01e0e3eaaa8c1e3eb66923a2233
138844bda4af5dd291b3b4c7fb3233f083e417b267566b9aa624311742eec25b442f
138928c324a15580f18db6f07db39475d581aa8584da5642ca0a0c5fc9b235e46fb4
139011b93e2503a8c6bbbab09a742021c924aa34ba41aafdc0aad3d1b5ddd3abc9e4
139148351c9b4e4ec7fc28ab0809ea81a96cd09083ef0d86abf771d9872df562ec63
13922538b2c7255ba802162750046f10df2d82d2687f547e0c44fa68d177dd12627f
13936575aa33602b90b3de69c74bfb683e04773ae53f27a591eea88692831c81d343
139450f1522891a37de822bbb209a5265de4910492f24245671014a66ada23991247
13952b1b3ef5af88e0235e71f0efd4c13a5cda46129332bc2ae91f1202969e8fe603
1396ecb591d5ecd276fb8d95e223be61388b0e8c1be1b05141ebb42bc0040bb542de
1397f227f355905686c05f7677120dbedc3c07b7099d0b14726763680ece97f39840
1398bb05dd3a113289ece209dec502834521c8c2450464b99900b901d86b2d1ec9f0
1399ab3320d107b01b824b51807d743951c0e377b6cc01c64dfd28742480eb8c3aba
1400e8084c1a3d7ea3da6aa134d5dc3f9de094a69008622e74f346ab988273b8caa4
14014fbcfef56651b66c6b2b905fbe4be8b0cf6e0d71bcb5b92db3233e039126d94d
140209158cc26c48d10c2a9a4770ee75523b66a99788c8f62bf9393604678d10fb7c
140348819fba4947f75c18a04d79ff9e4325a205005a2ca54899b79df804d8da1a9f
140414fd7136b4e9d761c7be5c1e04e595fb813a4d54a37549060827a558eb1031b2
1405bb73223656c65439ff63bc84569ac0a629d536ac662eec20ebdef47d8f2f4de8
140698ab3d5084f5f9d849cb674065161ec01030f7e8ee8ed145b953f41575b35e24
1407d452e9ce62750c5bec91a3ee133d1298ea821a8b9f93448cbd2c5eaef10e2839
1408d065dfddbc7bad80848ed5c14ec57fab0b93813e7db4db2d039eddef007e8aea
1409b275bad920ba5b3a6afd661ba309044f68fb6e00267b694b75b6e2ad4003dcda
141045f4f25c8e615ca6036a851d0d544813541ba2c1ff8643f2f1b766b6483fabc1
141146f9baa30a6970c0e2a7efbddb6c9a4dc6404fb362eb3164479894ff93706d95
1412aa862e59d2c3f041ee648399a338013b1362328528ffa9723cf8c91db2141aea
14132ed8f47481dcbddb1e577f869aee099ac13048ad243b07b69df5bd553070dd9e
1414eb2ce6da3e854fa687bc2679694f0c46a6b37ae0480ee53913281d31c30b8d37
141549d555d57193e14aadbb6a2d10e3f74f41b8f4c041eee16d92d1d4c8eea821e0
1416425c3b804d9891cb39ca2317257c1e289f72b3aad726c190e879430da42c880b
141709008be518c44b3229d8de49909e13ef3ed18331df4cbd6ed03f00bcad0ef892
1418b5ee8aec98c2b1ca2203315129084baaca63859499f08ef5bb421dec1e493d52
1419b406b7c681ff7c046893ed718c919fed2ad9d7091b0b89d65d31e2b2acf2417f
142097692bd4a8293a52d9cc962c974b550d9a9ce9caa525e3b974d88e901ed71964
1421afade08b6b7b7f36ee78a6dceff444ad632d6a1cdaf71f172799ebb49da97d28
1422ec03f13a3033d38c3121aa7b0fa8756fc86ecddf3bd3546a782435c0e5ad4db0
142399a515a65a0420c3a2c58de7f9bbad0fadb9757e6e8f2d56438823558fee5a31
1424b695e8bc9c4a137c42f2feb5c8067f892816da5f7bf7a897e81ec1e3818b07a1
1425db7787058756e08e9b9a6d69482af36b170f71d33bbb7d13e6c5a6c765b2273e
14264ee51e6ecbe73f74b4671ec472aef33ad71c93a321737b5a25b1b0703f8da555
1427d1b885182c616cdc550247882e7ac9249ad811590840d7bb6403490503704d3d
1428f3680e6ab5af7cf0e210ad22887d6e4e1fc48e99b35dc1d0c435bd65bb740355
142934ae55464c4fc84156d33d2caf5b4b2c0bd58ffdc442fa16858db054df44def0
143057d8831278
14310000000000000000000000000000000000000000000000000000000000000000
14320000000000000000000000000000000000000000000000000000000000000000
14330000000000000000000000000000000000000000000000000000000000000000
14340000000000000000000000000000000000000000000000000000000000000000
14350000000000000000000000000000000000000000000000000000000000000000
14360000000000000000000000000000000000000000000000000000000000000000
14370000000000000000000000000000000000000000000000000000000000000000
14380000000000000000000000000000000000000000000000000000000000000000
1439cleartomark
1440
1441%%EndFont
1442%%BeginFont: CMR12
1443%!PS-AdobeFont-1.1: CMR12 1.0
1444%%CreationDate: 1991 Aug 20 16:38:05
1445
1446% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
1447
144811 dict begin
1449/FontInfo 7 dict dup begin
1450/version (1.0) readonly def
1451/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
1452/FullName (CMR12) readonly def
1453/FamilyName (Computer Modern) readonly def
1454/Weight (Medium) readonly def
1455/ItalicAngle 0 def
1456/isFixedPitch false def
1457end readonly def
1458/FontName /CMR12 def
1459/PaintType 0 def
1460/FontType 1 def
1461/FontMatrix [0.001 0 0 0.001 0 0] readonly def
1462/Encoding 256 array
14630 1 255 {1 index exch /.notdef put} for
1464dup 12 /fi put
1465dup 34 /quotedblright put
1466dup 39 /quoteright put
1467dup 40 /parenleft put
1468dup 41 /parenright put
1469dup 44 /comma put
1470dup 45 /hyphen put
1471dup 46 /period put
1472dup 47 /slash put
1473dup 48 /zero put
1474dup 49 /one put
1475dup 50 /two put
1476dup 51 /three put
1477dup 54 /six put
1478dup 55 /seven put
1479dup 56 /eight put
1480dup 58 /colon put
1481dup 59 /semicolon put
1482dup 61 /equal put
1483dup 64 /at put
1484dup 65 /A put
1485dup 66 /B put
1486dup 67 /C put
1487dup 68 /D put
1488dup 69 /E put
1489dup 70 /F put
1490dup 71 /G put
1491dup 72 /H put
1492dup 73 /I put
1493dup 76 /L put
1494dup 78 /N put
1495dup 79 /O put
1496dup 80 /P put
1497dup 82 /R put
1498dup 83 /S put
1499dup 84 /T put
1500dup 85 /U put
1501dup 86 /V put
1502dup 87 /W put
1503dup 88 /X put
1504dup 89 /Y put
1505dup 91 /bracketleft put
1506dup 92 /quotedblleft put
1507dup 93 /bracketright put
1508dup 97 /a put
1509dup 98 /b put
1510dup 99 /c put
1511dup 100 /d put
1512dup 101 /e put
1513dup 102 /f put
1514dup 103 /g put
1515dup 104 /h put
1516dup 105 /i put
1517dup 106 /j put
1518dup 107 /k put
1519dup 108 /l put
1520dup 109 /m put
1521dup 110 /n put
1522dup 111 /o put
1523dup 112 /p put
1524dup 113 /q put
1525dup 114 /r put
1526dup 115 /s put
1527dup 116 /t put
1528dup 117 /u put
1529dup 118 /v put
1530dup 119 /w put
1531dup 120 /x put
1532dup 121 /y put
1533readonly def
1534/FontBBox{-34 -251 988 750}readonly def
1535/UniqueXX 5000794 def
1536currentdict end
1537currentfile eexec
15389b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0
15390b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3
154079791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3
15412ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8
1542b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d
1543823385fe55f3402d557fd3b4486858b2a4b5a0cc2e1bf4e2a4a0e748483c3bcf
15445de47cc5260a3a967cac70a7a35b88b54315191d0423b4065c7a432987938c6b
1545edad3b72ad63c2918b6e5a2017457e0d4ebc204a520640fd7c4d05e35ea5486f
1546a43d0e970787203855daccb1ed0b16325828b13b7c767a1a58c87902f0546ea5
1547404440fa6526975783c2d7a9572b8e5d5176bac598b8960609f49016aebf3763
154889c1adfe6a1ffc0c53b3acd9d168ec3a278fd4f1d9b085dc2df701346c9d0887
15493d230a161692b42a45bb5da343b4edd839dd60685a59aaa49fc65cd8e2ad2a9c
15505cab953495172a1a9f40d5f38e922443a519dd96f667201a408bd1d89e35f4ab
155198e2f68c3366efc14b5afe1018d9c845d808d4f8e07ea8168518a171ab4d6e21
155270eeac099eb7ef46eb9781384da1fac3b3133bb718bc80082eaea88759745188
1553f266b31d0c7e791d633f16ed94e05517a32163e74cbd96dc5db066f2a5313d6d
15547f09465608cb404613e0f058073af000e5bdfafbbf9da0c0d5c02a3447f2cdc1
1555f56481901e34265c26d331ac3f85bdcbc7c51ef9eddf2b9c189c5253f8e74282
1556d6f053d7d183ae17ea175e5ebc401e67d21a9fea139cbbf3bb1358c713a75843
1557b39a69aa2b1a7b975f53ff22d1dc3bdf7acd17afa1da21568310c68241b31d3d
155803bf404bd30baf9cc19c75b958bce7155f03cb0cfe2cae0327aad4b603284a51
15597c26de75b8c6f6aaa9debe4aec08ca4b646d787bab1e702054272909211e814c
15601d2c33152bda973de70ec02436551ff9be604d16ffa29b93380b5a04a493f00a
1561c1d3c429bd6c92508652f7ab7347e9dab047409e478b59e22a73993a96ad13f7
15623a58f110ca20a1d65e0577f470498b6faed25a690fcb92f9f19bac5ac431c893
1563607dfdc528e7d7ccd1a953ffda264220271f146682ae3af7b7d80807576dcb76
15640e5c25929b3a4ac45cc6fa965b8ba72eb5f411d089e080b28c17e3345b0fd96e
1565683939c801bbe76ea6948830cd1206f88ee260df6fad49ac2acffb3762288db5
15662c1fa296b7c988c3829e211dc1670397af60c141a6066fdd8db4936e85f66254
1567ab22db943f738e6d6fa191a1414be3e3c0aaf7a393cfabee97aa0ea8bbb5e3c1
156859aa2e1f2697ee9a8b6f765a45ec8a89d6e70cd4427d667eda2403e5b6674892
1569670ab8f812577d85661939960ae5454c8bc7dea942ca4771dbf1da3b71eeb7bb
15703dffb870b83ea907447ad353f5c7f5b09dc5956cd284f8bca95b665ec88191e1
157122459ad35c59a22d5e0fee0feece61d88caed4ec4ec9cd1117f97c6fb23c649c
1572ce3f723065fe826b1d1c98c873f1d60fcf918fc276a5aad15153bfea7eaca79c
1573a28a05c54598ebf708a92cca73addcd5ea4cc285de1fa21d8ca5f6845d8fd7c6
1574699c0c70e26a304f592acde920d29a5ba00df7f3fb386bb5e8818ad0fda93077
15759da210aee5973e3733b0ef58731d63a10687d9bb49b5e1b77680767da0ba3f2e
1576232e278560f0d072a211a0f112ade720d1fc540c6b7b87dea1c2c4e6407e9173
1577a7f814dcef045b6fa1afb48709b734dfdc2a049a42a994058f4e11bdb9432b4d
157880007fa49dc61caeac9203b0fc3456dc5fa28389db7271fccbdf7ab81f4a0b99
1579f01c5d1dff02b0be7aefa8d161cea3fc1b749d752909e1f43a318168cbc44208
15803af4f63b443b6ec7a931ffe8ea346f9361db1886336767d128027c2d7a81858a
158175ac4a0129a50879260229533f9a425927c38c47ad1706bf5caa83c9e31173d9
15827b19cea3761eb6af9a158369ba1b3b68548b197ac4117961005bbcc7f65a60fa
15835966b56f4edc07ec211493d7731e06c15d625def26803abea4a31dbd99f8ae46
158499c1240eeb4311a3241f284da9f10f6f8ea7f1a7e82f904082ac1449e9f45791
1585c0902a41015067dc8fb56a6d1a8b4c75545b0e7a7309ea9363439180510f3eb9
15869ff7fddff86976c430ccacb3a0ca84bf0e847009ad60f0b1792df60ec9fd196e
1587466237f3ff1b636123b1cd8df49b31cac145f1e10780d1a6bfc68e63a0bbf84b
158827455120df3cae966ab991a84843074d354c60a33c4d4b2230c6313442551319
158988233d108f2dad1c1f62e1aa1b3bbc3dab32ce2b419f106293c5d62651d090df
15903d59c421832964140640ddae9633e9319fcf1fe8985bf0f76a8cf02af9a8cb1f
1591a61f70a9432c8f80fda3e52ed020d70f85fd724f579ec1be486173fd7ebd76ba
15927897734f2e1c546000923392395676aedd66c017486dd2494c1dd263cf30bea9
15936028ba2e7d4cf2c5c166b64b8666fda1aae43a4fecfd48f200419c286ccf19c4
15949e77e3330e5dd000c4f31081a4b752f93431f74cf33f053597aa0279300c76e2
1595a91621881514217509bcec213e471cba627161e543c8759a90eead895535b703
1596a2b527570d9e9c32b1d984df1e08cfa0fe29291a857fff0e29d3ab26d405171f
159742e696290f770756ddef7698d3bb6a54ce81892ef21be494d60214c94be5d1f0
1598ae481b8b7997c87291b43f0f3ee75fe94ac97bc1eb203db5037c927f39b76d62
15991f37d12889c1c823d6a71e67daf46eddfa191f075bdd616d35d445a89f8526ac
1600efa6ec935c9288cf55d3e5aadce442572a7239bcf4a4af9a6511f73a7c121b9c
160113535d5fdb272c8784b83d798fd453c72411fd3904d4798cdc642ed3f1a74431
160250a8607f75ce3d6c6d5ebdc12927f1d2974805ca2945e5cebdf5b97436cae7c6
1603d50de4166a9383ad561ab2026ee854c56207e62551e2775eea57226c0692441c
1604faefa595d808664ebab09dfc136f8beed627485c16f091d8eff5ca1b10d0f023
1605b1b4b9bf8b13bc8ca6c8109e580fb0c80d256e090ef5f581796a29fd540a88d0
1606a0c3f5e239c277b7f9ce3934d9f0ecf6c7153db0b743fd116c30a4608ddc843d
1607c3e4e091d57ce728e6167a6de62cb9ebaf5db94a29fa3df34c9500dcb2240882
1608353c302c4f3dc5635b88df417770157d5f4d2df021c3b2254edd66e29bfc2c3f
1609c2168e4c726de2c44fa8b6a5c37c5d2ff00dff28e8fd8e1cafe31b4fa9ce93c1
16104ec7495e72fa7e111e29b2cd6e49bfd151353ec6919049b908a253dce972b2bc
16113f9ad99e73d5153fed964dec4ec1dace96963602f51e6fd0c07aa59d2c5ee8f0
1612f34c2c072d37517869c4d771b23b0a96cd58e0d4d6a3e9a73ca01bdb5f0b93da
161304ee4cd7ef8d4712054de174f08185c7a3e92b10c1dc6fe5f75143bbe48e6ee2
1614cb907b2bef5b9ae4b2faa133dd67960864c9f957cfc565f37f5a5be40e6f2a4e
1615b330c5490b37a3ae1d84e83030a151933a712e1812d5b1745e3ddf7ed9037aaf
1616ed8b3d04ae47509c2030e23cf3e769c056d799bacd47dabdf9d3981e8e383ae9
1617a1a7f2fd8f0078f8d96601cc9f8bda4f2e97e8e029ce55b5a5d222b7b5b95a3e
16182196fa25a2b7ee4a27605fc18505dd002f5090f31ce65b52955e4cd85b44a763
1619b21ba1755345cb8c76bc94f313b20362d01faa599e6c741f0fc7b801d226ba2f
162017e43d454397d57b20ee3f3d1f69250a87173b556027aec25a2109c8123a40f1
1621be49499d20c514ea760f81567e2f6ef5f06a019026d6813b90b1a788ab5df8d5
162278c83df363d142be8112df2cbf9bad7af826794b39a149d1ef97df092ec7f589
1623dff2c2cbc41967e02e184b9a3658622330af50714f5f1132eaad840e6dd3dd06
162470ad9437a8e8ea1d4860447fd8ca38a1206a4d4561bde09ba480ba478ca6aa96
1625142a87059400ea0dd3095e51c75132c98bb6a43ea1a953adc6563fa9a099aa76
162641926f78950e773076dca22bf81c5715a4067c9f458fc5664bbd5d7dc2faf965
16278dadee6a22a6a683f308980818d24762df9bf8cab5ce6ae144678a25af31e3ac
1628859f52bb24a71b7acfae830c8e5885df6d43e07c7ba2af37b355f48373d8e1cf
1629a8bde093887d9cfbc42d48b874340acdce8782999b328ff8333b31af1c73620e
1630e997d7420c8f98797becbb18db880ffd5b8be25771b449fed16aee0ecf22a353
16318ec2c797f5f2db9a23e4584752cf3055ccb5d7955b98288a0cff4f33785d57a2
1632e64dabc42d08c716aad13658bb524ae1488dc39088ea254e3f33a06311a0610e
1633a42e469f8e70900b6fff47142247e5c835b057a1237d3a9911337fc44f2133fb
1634c9761b47855ea45bb1ce4159fd16332e534a295925f8b11db7d0a94adb7b5f0f
1635408e7fa9127e793ff49067493e0c47fd32e388d4e40f08c9057a4e25f8cc575f
1636dd35803b483a4d6e3844e454648d54e3d3d80c64a1cf48acf89a0c1dfec2c4b2
1637cfacdb3c359819bb54e6b85af6a04699a5026b060e04e241d4330735c92f5fa2
1638e807f4b91d16cb0f0bde7594b9096858438929f4c1669f2972a5205d04542d3c
163983665565257a426a61383ba73717cdb5718ac7016718f09392ab5e3a7f367955
1640ea1586926f020fd8b227fb7279fa66156544396de215cd0699e30c4ad7b3c1fa
1641bb82db1638fe197450ed3d600bddfc09983fe1ccd213008572bd419be35c1c9a
1642bbdc290e9259f1f4da7fbcce8656b7a6a7e78d2022eb3b055ed95e7b757c900c
1643ead2502cfa982d7ffdd1b35f1e91d941a81a2b338c780b7b6b1fc2866ef005d0
1644937e27691988b805f2152be4294bcd4beea4f77c2a5d08f0f9d90a2e9433ffbe
164506cda0ba5ee650ec7428b2870bae6d114e2be07dd05564a8f2bf6d04c6932d19
16462584877480ea367bcb1b6ac295c9b27d7e38994536dbae382de38702fd29e36e
1647d5bb4bf204004607491c9823ebbc8b7ead4b9a28f3db7ff666f4143c16b35db3
164882c0334fec7929a63a9c956ffb0c5bb41287721412d198dcbe7023ab56af130f
1649906c2b887f58ed8122691cf318d6f008dda16d74226b7638e997f5b0e48cc896
1650057408717cff1c8cf4fbc22674b2cc42c56c2afb238c5045f839aebe5cd21d2f
1651efa21fe7e9919c0498554ee38a620a29182d644ef3857a2908f8be9c4928100a
16522573b8b72dd8e126fad65f3790188417d78a2d6819a67a2dcd79bcea6be7c760
1653708c757c969c81012b942132e94bc4ee972ef168a6f1b501e24f44aca6ff6c4d
165454c9f3f8a45e673a08574c439380fd4c49ce1b62bac8734fa3b9172d5fb6b78a
165564c0bdc36fd1615d790cddd8365c2443b77a3a825a60a586d35564906c0337e2
16560464f9b6779d152d377ce92836cf409905aca506f4cb7199a80d71d56c5e2b86
1657ec63ce85ce32025f134963a6ac40bb4f673f1e18b4143cbadda7ca8ecf56053a
1658347938e9ce4bdbe0403b42ba81a49ef7c78944fef7355b38c26b39b627fdb80d
16599815ec4a45463963539cd0bee4fea1fc57954355a42e41e7c83553772822b1dc
16607baf1e80983351040b4deba2744fd46067fce8b8836fec5461872f38a634f169
16611c77eaf147967bfc6c26488cdeaab632488c597241b189524401b0136cd98d71
16620b179b031b754f5ca4b7b0ba90fb5a42896fc898a83a4f2ab3161f9f874ef48a
166365f4ee9628e8a2ca2435c2f60e30970e3fe3de643cd21b6ea500e26fe73f6ffb
1664dcc3dfb6d07a47cec78ad3ac674c632b2f7878ae3946d43089e48efe0ccefdb0
166545cdb66db251abd1adb384624c432b923b5a5851493802733673dbf255bc5b18
1666febde3655a850c35ddaaf56068090e5cdf328a19e5e0287200e8aa393a1bd59a
1667f541e390fdce79e10d56780c6bf5ffa0a61ac0260d1b18662e6aa583a368bd2e
1668689d6ab2ba4e103a4f2bdf3077092a2aba46329d8d01a0801e46fdc65952e6ab
1669b968aa3e4036a11b8ebc3ecdd2746efcdd167dfcbaa610d65ad57423de08ecb7
1670de43efcbc1cf5e86c8f44a3af20939525fa2c7c6d4c5de6ce1cf769a92f22ad2
167179efba3aa77cad162cb3ba08d181922f2a5c00b3a6045381b223053afb27dfe4
167223cea9d1fef1343e2fafb30bf93cab8ecd966b495a3ae63f280bd639afc9e6d0
1673465f2084d15bb608bb5f7e5a780dcde4690adb3155b55b58efb704162501d427
167473be36f6b38f28446fe5f8e8916589f4129b6017caf88b5106f4ba1086dc4c5d
16753ee7d3e173da614b840f31631f7585201e0072ee7207febbf468f9ee64a5cbce
167610151f26d88569e7dae26c7220b1e6cf2e21525c98e0f55feda160cb4c39f6d4
1677c00dfd84b8c27a0550cbdfbd4c0a067ea7e9cbb6b562d01aa1002c5434b0f00b
1678323c8f598bcfa0cf54d2372e24e47deb5d79c791a53c6b9e6d0baf4712e0e353
1679e4da3452ba1a43cf107cfc6af325c959a4fa50dd23e872868b02dda62f33cc58
1680595c3c9af6b98f39592da6e955de89a25d43d7b29cc04d9925fb3e4f6d9808c6
16814647af35a6e3d0f68eae86ccd5db944ca532e7d54a9aba6efd82ce23b67456c8
168202dc54d2644035602ab35da35ed63099510f152fb8b1cfaa606e0551ac2aaded
1683fac7363c588af5634ffc6aff0c001e6df7c38b9c45e04f6b0fbfe4b4dca04b61
16847fa4a627c0252b16ef6b32bdc7fe7879ccd86b212848ea97b53cd4e26cb8531d
1685881e00e7aad074ee0500ea5fd5a8953aa6cf267173d4302dfd73a2c67150314f
1686c850a8bbb37fc73669d0688b4f9883aa9df6443356a1d73b120d6a291d7e2b16
1687b5ace9d8e568d9aab851d75919a3db4facb525bcd6e35291e96708fea200979e
1688c3dcee8d2700ab4a254ccc543e8f8f4e2995370d08a13795096c3343a1dd8679
1689bfc9fcb9c83aa767cfdebf27cc8195864275965c1b428452edf677b5376a1fd6
169050d6a48a851ba85b50fe0e974d98d2aac40604efaa569a6344e1278619033a90
16914950585eaf7ead690a9126107ef31511d03ab4a169a34b5f744861ac9bdce224
1692e5420635d4bd8591d497b64e35f4ad8585351a9b6774218dfac45ca4c3f73226
1693a880cff8960be91a99ccea8dfdf904b22fc352012e6c524ca066e2091a77df7c
169441381554b1d0315618b47868b3606276c759e39439889cfab258e07cad18c875
16958d984ca65e5f0d5e3c4f559f3a155c2c788a175d6a60c4cf8eaefe73735efb79
16969b0d9c2f20ee9b6559c480dd2e7eb45ce9a40374dfdd1e8f461f55e669aa5a60
1697681a007514fd882ae9825627887e150160b8d101e11eb7056a2e327e42ea5007
1698377accb8d1934e3ef95b45960496a6eb5e3af92c732b12ba7fbba884b7ca788b
16992d0ebec1b3add14828d6cc324cfb8e7187eff45e204db9dbb993633f900af66d
1700793e9c7d2004d4d41b05a028e73e287ba7b98e91e5997c848eda9f70adf45b46
1701a44587cd00a17981cda130bdbf91421833afa8e013fac0c1e74a25e35b361618
170266012289b6509bc78ccb7e2832dc27af68f56d5aeaa660cb0188980d169a67e5
17036324c736220b1df0c07e8252c47fe96e247149a59d3c351332666dd336d68418
170409d59f9cfe537b09ff73ba0e3d4457206409331db69a58a1cebdc01eafee8f75
17056686a3eb14d2b48a951fd96aaa2411db71c7a9b4130955efcb23c026bb5dc1f8
17069c4b431b75b5a329f6b2c2b848a6e20536afb72e3b803a67daa39cee8e8b1f56
1707dbea02155285d0587f68dfa486119e2c85147d1495245be7a3fa2e7602e05957
1708786c45515e3df5ebc27707052d67bf5693f2708fcfa790ab6c415c1500e4baaf
17098e7e0b9dd8540c7ab9c530f0db9bc8550d85564b43db8f1f7fd08c6c76cd69e9
1710b03622bfd066f1618ca55f3cbf58ca969bb2e24cb9997fdb3bb44829546c6bae
1711760b8ecbbbad4fbdcc41a180e80dcd668dc875915786a66f0d547de8ec969842
1712449abb7f0e793dadee556e481cbe0b67d0dcddf4a52d8ab909bdaee2c5683ac1
171348371e6fd9b6e0d28c3449d5d1b8ad5b18a347f95783754188b0b23106bf969d
1714fa184c0ce9f5b6c3942d62cbcab1f7accae034a42fca4477e91509096c6fef22
1715a3441009703235074cd2be214c6a63b2c1a055232dea14c8ceeae8b7e092254d
171669b34377dfc8302b929f6a5d68bc014a164f8522a2f68ca477ea3b19828ed414
171759714381c19ce08dbc4a7aca9b13c495e37ab0febd437cd02f81e4e5258d804c
171857107f727cce1d89d5293ee8bc855fae57a0c05d63c29a6c9d3f58fd0ea0799b
1719e4aaf875140a6b21f23d38eede0940f8bee460a2165e918159a47b0e32d12741
17200cf1524176bab90dd34aa6374fbe3ba8b1d6b14c6b9c69fcf8a7f8251633c7d1
17210013d67b507584636bdb5ee681a49cb538390326ad929543b7ffc504602cd477
1722ada6c510bddec7e5b53238c4d94f239fb6f1f5a2b0732118ff545b9dd87fe25c
1723f4fb0ce95a1e86bc2aaeefd1678d314608ca7315890eb6bb6c4c7238e0a2a3e0
1724add29f2818e21660a6f5d649b30fd2f2a032d803a21540c1943d950bc4f48c3c
1725ebcd2e27c8c1dddfe03bf7db164cded2d7544c73c0163225d9f4abdf09d4332d
172647f8b533207a27ad3a3528471d75278d578f11daba8cb4dcc4742b54a34012e9
172727f16c479a8e6a38ef735ac8c39d0411dd97ffbca077d7c5942e15871af5562b
1728418259fb699520fa2ac5ddb029776244906bc6e5a9b9e99badc1cdf6f7eb6e66
17296bff447b3eabbbb01c96c679949093933e1d040ef6d215e411486a53d578357f
1730710f0ae907d6df8cf282b3ac6e1c6def3f5cf6674bacf699e990c3e7e4f822ca
1731572d739475d2ee102da005231d6c913aee8182a159e50427ebef8fec41edc96b
173217f127cc00f86b9e377b58fa61f53777473e1020975d7717c4df47d6c4ad4d06
1733f6e0e6ef803c2bc297b9bfc62ca3d2e6f071fcd35e96326fb7f254a2b421aef9
1734a70ee5c3a8232fec4e5d4878982a7fd870662d22733cfedae32f20d0e38bbc52
1735ffe3e9bbaa5f5513b06f4dfc51e28bd19be6ff73ad89149ae000423b9958a0e2
17368a0246c7f6f05e74a4bfbf18a0647fd0749672912311509cce4bd3f8a43227fe
1737f00399d3731a0a97b408dbcbeb97ff446008de3a30dca4fe53bc87da294f34fb
17388aaefdbab142436051b4e753219c5a6f02c56402fe122a78c8272da63621b86e
1739f67a755384b058a8379355ed863cffbd914b268de1ab3b0e955863c46120b184
1740031df05d4ab563c1b0c9884d3772f421ec4f1494c80ba6c84e50b51017958373
1741ca427d66624900ab69857feafdcf5cefc473b56ddfdf48e846c606a78e91e8cc
17426ee27699a55ecd2c1480f859056c32036624d9bffed59c8f93019f037ac6f7cd
17439b14ff9ab29bbf912a8ef6f550be76083e93a274f13fc070dcc6923ab4597711
174437bc807202cb3ba2d34d3b6f8c4aef36cb469a87a7e845e86e7f848d42184ca8
17456c613add642bd1abd2ab5d91c302ff0965d71b136c84ed53c536a0a929bbc182
1746055d7a2e001c48498fd7814ce2714245dc99483fa1b53f7f7a5c6dbcec688fa7
1747d313fd59bbd02a5f34c5dc22835f35fd0d35ef5381f3c2994427680e85c208f2
17484f6df1041bffd7f5ec6c0ab1613802f55d452fa319f7769e7ea2d0755c0c1f16
1749c9136f5e766f29e360b4d01bebe7c349c67d27ac66693bfa8bd046771d77c98d
1750fcd61e381ac0e5bf1b44d3703d2c7563fe1bf93153cb35372c38eebe69d9643f
1751d54eaaecf718fb37012cc8ce855d6c0183fcf270102279dd4ca4648eaacbdd6c
17520999ef1004b8658d5b1ea6aa0224025f202c4f9c5786a10ef50e5b080e12d11e
17539d92dc938d27fdb9f79a7f4275164ba4e451fff753dd346290c13ea65c6e7f8d
1754d04d87257b5e21d464b2a92b1c9be51eddc385a7466bc7e854d2160d796ad332
17557de2fc07ac54719395bcfee558228f4b822aa1479c2cb6155013ce3c2c55a6a8
1756a3133ad25d1a1ca62f9ea431833d4ecb4e3a7d077ec4bf89a141aa4ae6f81cf2
175736819bff900864ba316ea5d139d3bbb975f2cff31b08b1d6dd0ae2beaee818b3
1758eb0ac6276fa81f6ecdf1aa1672e31336a0e4517406da22525b207ca14db71d25
1759cd5b8ef18c3be2b55c5f649d7ddbe6a747a5aa140f0efeaf735713922bdd4b09
1760ef0bf16f8846b00c70ebfff3d1d226438bd9b8499adb4f879b02e05594a2188d
1761ac5e429e556ed38af96ad64b52004d4b78c9aa6319ee129b68cdc9f004373a31
176259262ea8830804ca9c58aa1d570f9b17273fadff4c729b6082d831687344cb1a
1763ef4feb53294c18cfbc062f6e515432c92d2ae144447f2249f1a0141a622fc7c0
1764363e221d970cb95e0b814b3a1dc857ed6018bdcfda2e4b3cfa65868158f26d18
1765ee4144e517e5db7ef07d6d6506f8a90ff88ded1209bc5b7292e3eeec821d6c43
176616cbdfd676de462ec078026e1281ce25b51fd9c652583bf71c28789e2d59e124
1767c559c8ceef0cfb4c5630308be054130c66823e1b2907ab2122d756e556079cfb
17686d643ece9d938a83010eee65922ccadf257f88005d1ef752b7a7fb467f94bc3a
176911e349b45868e862eb8b7dcd0589302034e9e210aa902e91cbe42a80cafbc659
17705b13e9928c5d3b7861a6078f4dd106daed97562d6f98f87520d121c432449b66
1771b20e8b2c9a3120833bcf50fc43d2957d1c236588467008d771df7b5d1f8b5a9d
17726deec9daa6ea43a429c9418f92626f3a0140b0d763a8c96cdd415edb7374249b
177350c736a53f56d2aecc45c9829523b368b5d10864e5acae6064bded6774543978
17745fc41e41e592af1fce1854b8f338029250992866979fd8145a0f08e9be254111
1775b81ecb8b2e7e6d713b3c73e91f0ff919dd29f3fbf76a8811db290804367ff0aa
1776618c1cc6f19cd3fe3f2e8f7ec4e47d62f6eeef819e72d4103a09986ce44a3cc4
17773453761f6876a569b1b449a86e83809c366069a88a8c4e3916a957cf9bbee7f2
1778e16588cd815efb562162d358079c1d39cb6489eb6b1aadb16880fbb9f7f2bd3d
1779e942309228a4982bacb21edc8fe79f01d3067466b0919b1fedf87e40507f53b5
17807de5eb012e7b391f583bb45f9089ba86070da76e63a18bc39fcd8e915d310f2f
178193cf4a0b462fa8853f1ec30c5107c030bb81fe0cf300c0c91072d567b8062ad1
1782ec212de6ff8342ac47fa55381651d8c466d3aeccdc16a5009ceecaa12c4cf8be
178360447acb0b4e018ca41d34c84b6ed10b1f89a9717490d50fd90d0cdfa8e4b306
1784cae6d3944fe211126a8519a8af0542e0c0f4ee267a14bbbde9a268e03b8b5b6a
17856a6cc0cb0549942f7695fdcf3cb622cd7094e241c88a02a2d9dba16329ee2f8a
1786d2a41e60691eaa7141a07a1c6614e2d6a8f24b8ff473a895eba78b78b1502ce2
17871b630cbb09a17fc24107d239a0ee14a5018ab33775cef52d7f2267074be9565b
17884f73a69a7647a4eca20ce2a1a474c3e49bc76a38970bca08946bc19ac6470cbd
1789ee428a4e75496c7c45c0a061e4cd6ccf032f10232b5e37714a1e3bc06f2c4a7e
1790b7315ec1aecbcd972fc8adef4bb4ebef6739442075a7e57b65e698b760841bce
1791e96553c9129d3fb0cf2a0da6fb8e891d2e03e07507be986c8d64eaed4054db41
17920f893f7fb37159dff0e0c318e499bc2782277c9f37ea69d271368328979a971d
1793dbb5b10fd10cc5bb5edcab7535b741a2cab4406e75a50c84a429636a9ae37ceb
179436d9ff7e65f69531b59873f70ad8237c8018ae1b43932955f4f06392f487eb99
1795cf165fc20f588ea04b2d1ed0d9874d38b354f76999cc5afa3cc85397e3d4cb70
17962683df0fa54ae4527cc1803e3b45b3a7039d7bb16400bcbe16f9c50a75a572ea
17979bfea38677e4ec8634538d8a8bd9e682db9fcf344c0f11fc1f5b3119e8146a56
17985af4d16acb142ed6f471903ecd60b82a3524d4b8af4ee6d94ecee4f6e87af0f7
1799c63678ff6798ac08e2a293ebeffdc92723f29da7c5acf61e4cdf829bf03bebfc
1800866c2a6c3665589c19a313e5fb563c3a99da4bf6e14f145145b90a9076938a33
1801cc6cdb7d0e83d73f5a04bd07808b727c27c35e718bfa02545bc4b155fbac7305
1802570669ad07eb507140d5fa73bbd48ec77fe56366b83df9269e0ee33095ac1753
180382c70166e7fcd816563bf6e3096bd2927a4fc079595b8ae4445bf789240c9aa6
18049e328278f1da84d1de28a4f6ebb521dc24ad6a41341fcbcac6c219e6bca6e293
1805da5f8681ea190260d6b8c6153e8f2ef7ec84f6471c1e828e506ff0015078d490
18062d8d32a0e4faf01631364ced4a76b6a85f9b40858e365904f3e6932ac941305f
180769b6e8489f840aa29d8a7eb21157aa29423eca040f3c072a43731cfe592eea08
18084cfb14ea4cc35f20fa528c6b1fcf42c0a6e26fe276a89e70e693ef98c8af275f
180985d015f41617ae8b238d05544785d563a61febe69972b61311e604fc843f11c7
18102a38fff5157a5cfcff43d7088d6a8b217e66e6c005dbcb788d9f1a9a22bdcee3
1811d33cd6fa3684d348e610826d6695cff86d12297feca18e14477f21a82f7a7036
1812ea244d37bc06571903ead4a3a663bd6ff5fc90f80f3a33c634930b86e2c29191
1813722349c64382b74aaa3e143c3b98a2f2e15109bd375d9e3f773545a9a4ebf2a9
18146f8d331d1bc5f069ebb8e53d73e576a6b231b6d15aae21d96bccfbaa35ac3263
1815bdb29986dfb17fa33b3728a22c5830ce425ad78a87f9ee4cc7d2df98254866e1
1816bec300357abcfa1fdee66418e03d435d6fe0b76c6838736517e51145267465fe
18171e08b330fd42e77518b3e90940c53699b3bd108d6b82aea9bb6e11ca4a117eb0
1818c8124c678dcef798ff6d566eecc74845dfe77010148ee81f7186bd77472a0eba
181981ff1f36a49a8ff15e652c269137123df30011f4dc71f308f06ea0936da38691
18206631c28aa98163203c171c2c1f232e626abadf08ddfd5842c4d305b466707ff6
1821b33ccd6f66427c9692ec420ea24341a8d2e2b88fcb27982fea2769ae6344be5c
18223c815fe0fd85f29b59263170334dffadba76187fb6399ab8c104d218cb4aca29
18232f03ababa4fd2899674e05909922947fbf583a0ae3def83383aee15bda66bb8a
1824c91c0feb09460d48f8a6d723cdaa5c086c58b3d56483638a145d2bd2150b38ba
182564c3508514f6fa023fbbec6655a5e4cb7bb3887b65225279be9de328b545ae30
1826cc26a9d9b08fdef1c4d24e4c9e88f78ec45837f2daf72a7dbea034cd2d2263fb
1827bd2a25be76461a10c2ec63572ff0de61f95962bd3640a3e8daa8d28873f35825
182872f74d2a2fb4b805b6f04fc4e2dcdf6cffeedb8f48bce602329d2668e1e47923
18299909b0452f6a0dd04da06d4358717b3d677a6d96516b05374ba43111c84ec86b
18300423d3d6859b7d15b461c6f8c65f9855a23fef37e213a8638b0b20a11ad44a6f
18312e623e4e66a58288bfe2a56eeffc8eafc255431fb403c4da694a5d471671e7f7
18325750a5906f7df8a42d124c25fae89f5b8349b44a843a151409ad7d668777b44a
1833882ac1f58bb389b517f91d435a030ee8d3f1a163afd8c289df99beb8a130a426
18343b771119b0f5bdd076c83a4c1fd235fd0c945dbd964e4285809ac913a750e9f3
183541ce69ff79deca4bde41ba532f0c8f998f45eb18d4b4bd909ff17497c21f1cfa
1836dadb5ade9cec6f463b875fdec61c577ecb67d5518fa3b8705d9b24e94488b303
18376a96984e2c4675c17f83632c971a76376cf029a5d300b6301a23325e81a3aa38
1838677d0d27228b5b77bafb3f840a722a50574ad2086d446f36c47743a6555d669c
1839dc9d30640f9a27f5c4277e71889e5adb290cc4ec38cde8fb83cf0de77594554b
1840e1dac9ae75617105c2a9aa23c55d18adcf14206d261f6ac0c82485e6eb258099
184182f071f7bd3a15a067991d15353490c7366119ac8d52f5cb9d828c96f7fa9962
18426776e02fc58536cd269bfeda893b57e0079a769e7b39ed421d0928956b99c9e2
1843c5ed18b48aec8c8b5d650996384d50701be4518ce3b678e917c078a015f02426
18448af8dc1679046e5ad4531a1e64595f14896da88fdcc1e6c07708b1e73d854151
18453088a8a574192d7a82511f7c0ef5f3d5d9bf95637b30dc5ce331cfab91b1b54a
1846245fa790faf0e6367e249ac0592652020539c7245fbf9e6b2f84264f8a866c76
1847b98e693e1f7d3d6b305e3192aa6541e6ee461f725d0dcc0b254827a4aaed4e46
18488b072763e85d2eeeb413391a126f06bdc84b77edfe47b95fa0cb6d5c443def2a
184910b5894ee0f95ccd2657e693f9d6ceaf19c745f6e32900b763e2140ccd9b45b0
18505204fd8a453de0ba7a3e28828839a9e7e4521cd837876d7d35d3abccef4902e6
1851c9b401f6e18183cb9c5e98bd6c3499a35739718597f07a077c91e1904e420ecd
1852c677db4ca3104cb2089f17760f5003491789810ef1a19e2ca196061edc25563f
1853ad167a5338c2f2f00a9a9f2ff20ba6ac605566a856b91e1a0e04f30a93cf281c
185413feb1f68d7b61163887799caca977023650e9f94f3a2d595436c155a1813deb
1855838f610377ae426798a65536a154543474892405dd501c2964b6fd68df3c2c62
1856b8b42d8c0fd137391ed6ff015caa7df39a33e44d7bb0a7d1d22017ea66f52b4a
18572f63008a752e4cd0b5aed273c983229ce049357c02ae872beab341af1cf8365d
185891990c0856b11fa8ff50bfee7c01364326624d1a2550cfa3925eda374b363077
18599f36a5e26d2ece047a9b89d492b5da3f90e191a63dd806cb8fae876414ce4c58
1860e74c94b8d851c4e8b6513298c7bfbb36b1723ca8b6076815cea6a1f6fb74fd8c
186177d32b8f011fa61cc06c378fd42b69e8345906216aa6b6097d4c974fdd5d7b5d
1862fcce48e6bbce59a7ec4fd5943c51061f71ff25436f8ad0ea77e034048edc768f
1863a03935360ec40a2d3ecd7e0103929d151e659dc5729ba0a12943abecabe6ab62
186458992d702d4470ff33599fb9e9e703bc3707591a5018ddddb5bb5ca1c305d0b7
186590a7c403c8043f24b88c15e41cd545103a3f83e6561a0b1f59ef7d41d89552c0
18663d190ab1bef4cdb0dacb9c74d68c77507abba03e883a08d898318b57e2077af3
1867ea532aa8e338f16248c1d53f7adc7ccd4d296e3d33e894d5a88e4ad607077d9a
18687d6dfedd79649d63ae905ce65d1fb35f697333766d9085bb8ca96ef61be283f3
1869d324caf88cd0d2b9fe38a524fd894da73067349cb15e2a5f59474a9b55c6543d
18706ac8965336f6e6bbbbd3f4e284024b057556dbc959ea7f744c51a91ed1e11299
1871e45cc72f556edfbf9bc36919d814eb47a533bad7e85cc617fb7675e145bd472b
1872054d7456050f2240b19327e75f5a37b57ec2cb8eac0006ef6fdcf03f71d56eac
1873100fda6fce59bf1d4339e3ba91b80f8398826f34badf83d360d481db3c14e971
1874c2727edbeff6326594a8215f33de59b5051b04ab73a7650a8d426161817adacf
18759e6632222fff837e78cd6c2b05384bec7e5ee6d30ef45ee82192db5afa36c11f
1876139e3c782e687636d13bc927552a70c9d2e88fa61e567148e2d5665f06cf3526
1877ef576e03f03d8f7d64a5f4d669b7f06bd44877309513fda2a1275fad5bc1d151
187856e715c920ebec2efea89ed4e1bd7d91c7af0a0e0e4313c7ca2877448d99c129
187909d78c30cad26365e1e2f369a1ff2f40efefadbe66e9bc95931697ea8f82dd44
18800f6748c1a73adf85b187bc7f8f41ac675906a70e6bab9059f57daf2ffe816040
18811f2456ef169c261a177096d3a97584339fbb28ccc45da4ff14c3d969aacb7e20
1882df915b6f880a0811577ffb141620e971c88b7629c61b7feed495278c8b8ba40e
18832e91e0e0bd05db09d03b7b5631e8b2be196577cbe6e4197ffc321ed10aa8cdb4
1884231bfdf21494aaf778ea3bf83e1b785c3d7c091f2025c3136d59cb8ce2cb0c4d
1885edeaa8ef053cb382bbce2f856a6c77a89526392a54eec4887cdb6ac5e720b48d
188684e7a8e74490a3af9ae4e9de23b1e10ed40a420cfbdb3a61d1a344e89d30c365
18874a0333e572845c8b732e725e8aac1544d3ab516627f0a398020b5d3711557c09
188875e4627725f80b812250a514c3a7eefc837db7f01e74164eca35978aec93892c
18899a50cd7cff1fd1c54368996f375707180fd006ccca241a61741a4f008d9ae770
1890b65cb71d88a5abf2fc379b70c11927edabbe6854aaf68a7acff47ead7b6b377d
18911dea3ca69af52ff116d80c7f10724b6061b421540bcf41df44a1854b8cd0ddd3
1892811a1813e43d14838664a153156d164690922120aa124bb1550a0200d7bbdfe2
18932bfeccf2e5d0480d666440e3e452b2f0c0c4ca284d44f66c6224c49add3b83d2
18943b66c9c20e70ef353a59b975adac926fb515bc8acd0160da1aa541f539b84cf8
189547ba02ea4429b8957e148302f3ec7a6c2e737b30273152fa1b31f87f2f8e6365
1896deb520e25248cc2784aff27cd674e26c57b8bc53e82dcf2317211294f58f3869
1897a55839728044d9b76aef4c1fb55d56bfc0103b9ee1ac7ee06d982a5042a9ee88
18989e00c496d94ad59bc83284241c4b1d2299bc0d72af9dfaf0e212ad279b45bf41
1899002442a27a3f5d4d51f714d8bd2a1c10b830faa6008dce5330b9826e634d06ec
19003a7f162607cc0eb63144b1cf3eacc503dc321aaa1449718de1f3e4f8a263febc
19013bc2829b844513ef1af8d102b46825efb0c396d1ee2f2c81b5267d398df8761a
19029cc933f824cf102ee564bc74d26eef96ddb651528f1dadf2c6f1401d01f9cae7
190338db58c6d3e6097892dc032b074178fa498753
19040000000000000000000000000000000000000000000000000000000000000000
19050000000000000000000000000000000000000000000000000000000000000000
19060000000000000000000000000000000000000000000000000000000000000000
19070000000000000000000000000000000000000000000000000000000000000000
19080000000000000000000000000000000000000000000000000000000000000000
19090000000000000000000000000000000000000000000000000000000000000000
19100000000000000000000000000000000000000000000000000000000000000000
19110000000000000000000000000000000000000000000000000000000000000000
1912cleartomark
1913
1914%%EndFont
1915%%BeginFont: CMR17
1916%!PS-AdobeFont-1.1: CMR17 1.0
1917%%CreationDate: 1991 Aug 20 16:38:24
1918
1919% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
1920
192111 dict begin
1922/FontInfo 7 dict dup begin
1923/version (1.0) readonly def
1924/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
1925/FullName (CMR17) readonly def
1926/FamilyName (Computer Modern) readonly def
1927/Weight (Medium) readonly def
1928/ItalicAngle 0 def
1929/isFixedPitch false def
1930end readonly def
1931/FontName /CMR17 def
1932/PaintType 0 def
1933/FontType 1 def
1934/FontMatrix [0.001 0 0 0.001 0 0] readonly def
1935/Encoding 256 array
19360 1 255 {1 index exch /.notdef put} for
1937dup 58 /colon put
1938dup 67 /C put
1939dup 80 /P put
1940dup 97 /a put
1941dup 99 /c put
1942dup 101 /e put
1943dup 102 /f put
1944dup 103 /g put
1945dup 105 /i put
1946dup 108 /l put
1947dup 109 /m put
1948dup 110 /n put
1949dup 111 /o put
1950dup 112 /p put
1951dup 114 /r put
1952dup 115 /s put
1953dup 116 /t put
1954dup 117 /u put
1955dup 120 /x put
1956readonly def
1957/FontBBox{-33 -250 945 749}readonly def
1958/UniqueXX 5000795 def
1959currentdict end
1960currentfile eexec
19619b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0
19620b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3
196379791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3
19642ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8
1965b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d
1966823385fe55f3402d557fd3b4486be356c29c3aec91ef17f5d31183b1e489f1fa
1967559a6693fbdd04d4f7e99886d8cb7cca13d4aa9ceb34a708af22e69ccef0e504
1968c3997075243585edf60b6447c8d01cffb04b6e3ddbaa7da5891286861322a795
1969e9d990fd56af2f5c2b35801a0b07874e4ac3170481d232e150443253c92a8b05
1970513d4a4154a99d91f629ccd30376500f5d16aaa9b203bad6350e4b19424c0e33
197175f2949bc1927a6f6221252f8a96618e646aa1b0810753c98becc26b37837775
197224bca72b818d314074c1c91f4e1f4148d3d703d12d179ee6970bd55d04aa9a9d
197397f63f2c7dbd129ec2ed3ba5f8080270ea5854ea165dbcc061e2f47f1aaf0997
19742ac9a689a2a9620b91b53f6b5092884372f5f7afca495f331138d85a97c5bb83
1975d8072dc88010fc89108b60bc06d4f93c722e8908d7ce3c1ea3c70e9e65edd769
19767db17ce0e012ad37d4030f33d30a73fd655b7a2e572f3378ac933dd75082f2f1
197768702be19bc60cef6bd5f0ada180d21408c04b7f7db9b6dbaefe09e809a80ddf
1978a5366d10930d3e68ca53e4721ff525853f4c784f2c2c3aa0129a34d9df00debc
1979ae4037e4c0fbdce3989f35964b4c07e7817b805bfe8c15f0c0ebf226cff606b6
19802954f0f42dff8c214a6537ab666d25389c44db7b5866440bbfc137712bcdcc89
1981c68cd1adfd85648b1ed29bfb45a564b02172137feef782d604e0d7e1f1737c96
1982719cca9e4b9dfdc87e5999b886a15ac572183dfafd8c4176cd98430c204d4e7c
1983e989e1dea814d3088a21d9ae6c5fe7ab3d399b2982fd605e65509a8ed6790c21
1984a08a23e53dbe70f676d0e7b2e8261b092dc3415ac785635d133d309ac670c0c5
19855868fd863ce42542ff1e83e1fa20a7a0e5d680dec3a22700f7f48d2582b8411d
1986757d17ab7530ceec0c6727c6a80f2493196b0b36e727bd665f843b31b2027ac4
19877e0ebf292120a957985e5e13c0046ffdabdfbe44e16c26013b50507cb15e1318
19885a0910ed55f12d8ddcc039ea55d5ff3f0c3ad79f269f8b9584fcbc58a81d0d4a
1989ff569c5807d9a41b06444ee36e56abf549dda6152bc02f49b2933eb14042f842
19907a9d087d4ec31dd998a2f414cc14ed5f63fe2448f4e1cd8871562acfa4c0ac2d
19914c326294b98a9aaddd47e85cf0a6a88f937e824b7e4e2a0c6d2f15efd5f63fbd
1992766954aedaec0d7b648250fdb8ae91302cfa4e4523cea803207df8c5fbf240bc
1993d4f5ffedcd36a650fbd97da91569f758d72b6d57cc4fca94f58e4f4b3e027db5
1994a9a412cde694383cd2affac54708ed7d344f7d7f743ede40731f16d8ef74eb18
1995483562b7e1ad2f8a277fa9b61fa8ea11ac51e3fe2a6f50e5798e4780144cfa1b
1996f2acc411d61e23dfa7f7605fbb0cee5ae6853db1370a2837f9a7c13fbf36976f
1997059db6809b2c079a645c754e79de2c540b3ad27dbd66d3aacefcdfde5d89a6fd
19981d4731c83703895fa098716878256fce2ac6ae7807bd925ca0a32e62effd6029
19990d4e5d5eb4b2b9e587f778f82d539d32e1ed35c26a873feb4fb2ffded035d6c1
2000d488507f8df69c0b73b5cee06b883bff160245f4d88caa40b195184bd73d09fc
200161823731c5ed38986e9e7e27f593e6e13945d7d050dc475982e68ce1557dfb73
200293a832276ead3f81556742068e23e009ae5a0be3c0bde8b0025f0ff26fc384a5
20034d75cc07d2f2927538a4000caaf6258aec5283945d154dcd7911ba6f3919175f
200480a7118792cd343e70f183e78944adbbbe07baa1c16a9f4aeacc7f3dbcd779a3
2005c3dc02722bea57429493fe1513f864fa6b90787027c702d8d40a948c6909dbe4
2006cf4dd6942c1bce4d0089e46a2b71b205de67832c450b4dd1fdfd186a499dbee7
200756b0c0f5211b6ba799d45702b7765eaad9eef7ec50a510147904b05d6bdadfb9
2008404f07a2169a79c400d4dae0a8ec5a43e8af476c7e9103a7f419f90bedfbb423
2009c928ddaccb934eb850de4cf4d669b2b4e6dc99af13779c7d8c9e79d7f899a9d9
2010fc65f7322595459b389d2feb70f5e18c8b686421d8c4e21ed48af9a9fbdcbb7e
2011ee3b6ac3baa7a94c11620aae295dce65dc1d20e87fbe4be4752a4f3553fad23c
2012331c62b8065cc769c95c23cd9b82a803086d7df62e40c5225e23886b75e831e6
20131519833e22094d485f8c1daec9a106a8ea675a64ad0b502a047b3a566e550f72
20141a52906fd1ba539de492f629a1581e797bfbc4319adfe5273d83eab2d8aa6978
2015eb5b0a130e0ceb2e0d9b7fc70d07b66ee5a4372a3e5d426da8b01a39ad1543dd
20160cb44878242796d6dfbb61945c39e5c25337ae1da9eb914924bed1e508f8cb63
2017392cccd1a899c3826161abc8bd04853304b1ea20da909b22462618880e6d616a
2018c0e6589e7f9782ff696174758f415ce03aaf74b7d8dd96b37f6361cb57b37482
2019a0da3e04363fe6beb63d12774bef34e791a02c546d027c91d78fc3cf8552262d
202041803896f9bb47a9a4702bb20a04e5786046931e40be8aff9e6194ae717cfde2
2021798cc41c031c8459c98f7e4b3314124d2d4c11de4fe626fa3ddad0ec36b5f70d
20226742f7fcdc203cc01421b6aee4926b82758b0e538921eb7877937423dc2274eb
202339638483fa6165b751ee7c58479181fdbd5f534319e7bd21ba1d9d3b6653400e
2024f63c6f40ce1acf19220fd65ab0ed0882a025d1596dc507ff81212f3521c99fe4
202523c360753f99cf8ed452aa5307e1bea17f7316503ed8b1e1a4a19b9f939c8916
202673f858f98c32daeef80bf3faee6b3a16892fa0f10a818e94d21b3b101124505a
202764305e35ba10795ab8458a13a251cf8359d4f31f4f7ca922d7903561f7836a41
202895f48f1cea9940e75c7fca00a802bf8044de2da0ae1ff69e4109fa28a456444e
2029de08fd08cd2238bfc774d381d38396484562ac68cd334a2eee1f5d8a85b5387d
203028671b813dc5e2f32a6084b98db7577980fffde688e70aa79a95d475d7f80511
20316091c293d6c13a107b8f697fdefe05a66115dfedba22bb6d5217d66c7c847aa4
20326d744aa457ac6d3f27a2df05e680a4b4cea86da5c8f206b015f926f6ffb60cc0
2033d7e1c0b4157b67f6e02b10a875ea38d12b4e648708bd1cf9478a2467a631f241
2034ce506f8149da5b8cf6c6ef81649b4c0f35c264c347facfad137b6525ad49ada8
2035969319466dc460df509af360816a47aae5b1a15e5a572af926e0f08f754ca4fd
20360e4bf405ff02fc00932a476f794627b52a55d45008d46d5944e4573db7602fe4
2037d01caf10fe42ab9979cd4b42f38681edb3953532a369bc67ef476c301d35e32a
2038b3f2f1a36cfc0c3a357af6e486570aea6c906c7552c212d577c037754a0b84da
2039f0140f00258042de3df812f817f92f4333df51db843bd91dc63ad886008a1d64
20404f915f4a1d0aea15cad9fe9a051e2905ee879ac10880763a88e62da838a17880
20416a5620d43f5db5bf4bfd6791a007f0ce795a2fe82f563724755d226e26cb6679
20420675ad9f67583b68c082c0e56b5dc63f52ac48e3fd94c8e74300adc903d4932b
2043f8db0d544fa9d21e87f3b88714396cd0de3351a28201ad3ab9a3691d116a5f87
2044ceace1702185b7461099cd5ac6357a5fc4000e48cfcc6b085fccb350d5e6186e
2045fa8fd58fd9e7cf8a6eb409a044c5f47a07bd7d54572b6339eccc275538b8bde0
20465a6b4470491b6a271b0ccb0bfd4dba1c20be3f8da1964c6dd22206aacd812217
2047506867d4159103c203c5291fdaeb824539f1a50ba2bb9e1b93665bf78b191705
20488078227bb563aea12fa731b7e498fc70ef8bd3bde4639c73740efe34f744e7fa
20497e2adc1835d6ff68885480566bfe115eee70e91aa7054bc32ccd295794d47091
2050cc69735145075c1c3ec75a0e17c8c206a06f0385c44eec50e8a3bba526c7fa5a
205114a01c85e8922a0e4b66ff9e574dbb01b5e7ca82ec087ac3bb741f9c0c318148
2052958ee1c068521bf4571d59d5889ebd7d256cf9042e63f5f69a53f5d731d6639e
2053b87b5ed88fb56e57ce3f4c2ba898dfd2dea9a4d54c8f075e5dbc183124f5dfa2
20547361737d12f4ea9dcce3fc0651819b9968ffa33123c8c9e154d8af1e711f59e1
2055ad79a131b55bfd154f1d51d20fd29e90b16959e9492e3936186e46839bd94ccf
2056a3d8f776ab4fa1fdd3cff5237d698ae403d0a60e840d11de6851781bdb9f6c38
20571d4455e3cd272a48fc58b2d63fe5d7ccdd7f3884b549e6748c39f23feb2c07ad
20586ee6aa6a8fa159b463996122bd921230781b178a48ab705340d0e3179238563f
2059e11e79c031b7479a7fb5500859b250b2e7d68a9e53850510517ec62c87c8199f
206020c453188da6bd9f7b12b9beb78ceba601dc941b1853df7c6f9cd41455d5191f
20615080e48e7d2aed8e86a570d7228e8b1f6caf3a856255b33bfbd928db8b42304b
206223d99046bf8c26d867ad863cb914b9bdeff058ee96eda3c233e0dc5d8e69dd45
206319a2c6d79408cbd367f649bdd73e91b57487c69930c3bb3196d7f6580afae660
2064c872de919671c8b7e23af04e38e4fb55b0eb3a576bd048c0af03c935829903fb
2065940733597e9514093c3d24b11f78eda9b425c3ba7a28644785a84e540f3cc2bc
2066414bffc9c542142793e6b2f05da01071859e035b07fba7a4a7ff414ad6aa64d4
206702bcaa64f09d672de13dd82c81e69963528406294a4c4907822e2be0eaa356b2
206830c15a4741af33bff5056f149e144bb98462dd666abefbb4dc0a5caf70b4e164
206973f6af3da1e6ce8f79bf491273a135324c433e3d42d52573b190e75b5b6d7f92
2070055cf2b587055252a026c9c6294d89d05c92c991068461b3dfdeb19ca7ccedee
207144fe55f6f259d038fd3f87fd1894d7d148fd694c8244a8b027b911c5fb4d9ae1
20728c094ffc93ff144232b97c7486153445c54093a096b49bc94c03b67d8db1b593
207344b785fbf514406fbc546ef261fb38ab06f14d97f516d714e5b562a78d5e1c22
2074456f15db459181fe311f447586ec48fc628cfb692066c0ed1bfa1b5157bc61ca
20758633a300bb3ae56e9908a5a50106c69a7b8e247bc84326f9f30a3f89012437eb
207646af6572609e3750bf1ef658e28b9c44c115693a9bf9ca27b6c1d93610417e95
2077dedecd6139440eeb3e0e26b1f99a1b664bc338b56b45334601f02f9d4555f0b5
207850d4182251cce25508252bd3695a5318c92c695b68b27a1efa95f6191535e219
20794d0ac890a0cdb383fdd6c5fe1a2b67ca3437f42134e8e10ee749491568c627d7
208015d1013481bc096d8d393a13085bf4e7c3e7ee67589997d9f8af721a0b1f1386
20810b0d671571153cc09555b7ab2c7ae298b32b500bc772a2d34b505a076d2adc78
208297e3f2179c9141b6a1280fd88c37cc8f9a757c79b16077ee8895f7def040e949
208394b6f2f9ad22de3a3bec2e261b03418fe3ac1a5363f3930c1ecaaec294aa48
20840000000000000000000000000000000000000000000000000000000000000000
20850000000000000000000000000000000000000000000000000000000000000000
20860000000000000000000000000000000000000000000000000000000000000000
20870000000000000000000000000000000000000000000000000000000000000000
20880000000000000000000000000000000000000000000000000000000000000000
20890000000000000000000000000000000000000000000000000000000000000000
20900000000000000000000000000000000000000000000000000000000000000000
20910000000000000000000000000000000000000000000000000000000000000000
2092cleartomark
2093
2094%%EndFont
2095TeXDict begin 39158280 55380996 1000 600 600 (prolog-exercise.dvi)
2096@start /Fa 145[43 4[24 105[{}2 66.4176 /CMMI8 rf /Fb
2097205[35 35 5[55 43[{}3 66.4176 /CMR8 rf /Fc 134[47 45
20981[45 1[32 40 41 1[50 50 55 80 25 2[30 50 45 30 45 50
209945 1[50 45[50 50 50 3[35 30 2[40 40 27[55 12[{}27 99.6264
2100/CMTI12 rf /Fd 134[71 71 3[52 53 55 1[75 1[75 4[37 75
21012[61 75 60 1[65 12[94 75 11[106 85 88 103 1[96 7[37 7[67
210267 49[{}23 119.552 /CMBX12 rf /Fe 139[44 44 3[56 62 93
21033[31 3[51 1[50 62 25[88 13[31 58[{}11 99.6264 /CMBX12
2104rf /Ff 134[48 55 70 47 2[46 44 2[47 58 1[29 2[33 56 47
21051[45 51 1[41 51 8[81 9[78 6[77 5[73 2[76 2[27 27 58[{}23
210699.6264 /CMMI12 rf /Fg 152[50 50 7[66 43[66 17[100 13[77
21072[50 14[77{}8 99.6264 /CMSY10 rf /Fh 134[51 51 51 51
210851 51 51 51 1[51 51 51 51 51 2[51 51 51 51 51 51 51 51
210951 3[51 1[51 51 51 51 3[51 3[51 2[51 5[51 5[51 1[51 1[51
21102[51 2[51 51 51 51 51 51 51 1[51 51 51 51 2[51 51 51
211139[{}49 99.6264 /CMTT12 rf /Fi 134[51 51 70 51 54 38
211238 38 51 54 49 54 81 27 51 30 27 54 49 30 43 54 43 54
211349 3[27 49 27 1[73 73 100 73 73 70 54 72 1[66 76 73 1[61
21142[35 73 77 64 66 75 70 69 73 76 2[76 1[27 27 1[49 1[49
21152[49 49 49 1[49 27 33 27 2[38 38 27 4[49 21[54 12[{}67
211699.6264 /CMR12 rf /Fj 135[85 117 1[90 63 64 66 1[90 81
211790 134 45 2[45 1[81 49 74 1[72 90 78 14[120 1[110 7[126
21182[106 17[81 81 81 49[{}25 143.462 /CMBX12 rf /Fk 139[46
21191[46 2[59 9[52 1[52 65 18[91 22[59 59 4[59 59 59 3[33
212044[{}13 119.552 /CMR12 rf /Fl 135[83 2[88 61 62 61 1[88
212179 88 133 43 2[43 1[79 47 70 1[70 1[79 16[108 12[115
21228[43 58[{}19 172.188 /CMR17 rf end
2123%%EndProlog
2124%%BeginSetup
2125%%Feature: *Resolution 600dpi
2126TeXDict begin
2127%%PaperSize: A4
2128
2129%%EndSetup
2130%%Page: 1 1
21311 0 bop 57 253 a Fl(Concepts)51 b(of)i(programming)e(languages:)70
2132b(Prolog)52 b(exercise)1443 783 y Fk(Octob)s(er)38 b(18,)g(2007)-104
21331185 y Fj(1)161 b(Prolog)53 b(implemen)l(tation)-104
21341404 y Fi(F)-8 b(or)32 b(this)h(exercise,)i(w)m(e)f(use)f(the)g
2135(SWI-Prolog)g([1)o(])g(implemen)m(tation)h(of)f(the)g(Prolog)f
2136(language.)42 1524 y(The)52 b(Prolog)e(in)m(terpreter)i(has)f(b)s(een)g
2137(compiled)h(for)e(Lin)m(ux/x86)i(systems,)58 b(and)50
2138b(is)h(a)m(v)-5 b(ailable)51 b(as)-104 1644 y Fh
2139(/home/csalp/bin.linux/pro)q(log)q(/pl)p Fi(.)81 b(V)-8
2140b(ersions)44 b(for)e(other)h(systems)j(are)d(a)m(v)-5
2141b(aible;)48 b(see)c(the)g(w)m(eb-)-104 1765 y(page.)42
21421885 y(Y)-8 b(ou)33 b(can)g(run)g(the)g(in)m(terpreter)h(using)f(the)g
2143(follo)m(wing)g(commands:)-54 2038 y Fh(/home/csalp/bin.linux/pro)q
2144(log/)q(pl)772 b Fi(run)33 b(the)g(Prolog)f(in)m(terpreter)-54
21452159 y Fh(/home/csalp/bin.linux/pro)q(log/)q(pl)57 b(-f)52
2146b(myprog.pl)102 b Fi(.)16 b(.)g(.)g(with)34 b Fh(myprog.pl)h
2147Fi(b)s(eing)e(the)2301 2279 y(name)g(of)f(a)h(Prolog)f(program)-104
21482392 y(NOTE:)42 2512 y(When)38 b(using)f(the)g(\014rst)g(v)m(ersion,)i
2149(b)s(e)d(sure)i(to)e(t)m(yp)s(e)h Fh(consult\('myprog.pl'\).)61
2150b Fi(at)36 b(the)h(b)s(eginning)-104 2632 y(and)c(ev)m(ery)h(time)f(y)m
2151(ou)h(c)m(hange)f(the)g(program.)-104 2794 y(Once)g(y)m(ou)h(ha)m(v)m
2152(e)g(started)f(the)g(in)m(terpreter,)h(y)m(ou)f(can)g(test)g(y)m(our)g
2153(program)g(or)f(edit)h(it.)-104 2914 y(Y)-8 b(ou)33 b(can)f(c)m(hec)m
2154(k)j(Prolog)d(out)h(b)m(y)g(t)m(yping)h(a)e(goal:)-104
21553076 y Fh(?-)52 b(voegsamen\([1,2,3,4,5],)57 b([6,7],)c(X\).)-104
21563238 y Fi(Presuming)34 b Fh(voegsamen)h Fi(is)e(de\014ned,)h(the)f(in)m
2157(terpreter)h(will)g(pro)s(duce:)-104 3399 y Fh(X)52 b(=)f
2158([1,2,3,4,5,6,7])-104 3561 y Fi(No)m(w)38 b(there)g(are)f(t)m(w)m(o)h
2159(p)s(ossibilities:)54 b(y)m(ou)38 b(can)g(en)m(ter)g(a)f(';')i(to)e
2160(let)h(the)f(in)m(terpreter)i(explore)f(alternativ)m(e)-104
21613681 y(v)-5 b(alues)37 b(for)e(X.)h(If)g(none)g(are)g(found,)h(it)f
2162(will)h(pro)s(duce)f('No'.)54 b(By)36 b(just)g(pressing)i('en)m(ter')f
2163(the)f(in)m(terpreter)-104 3802 y(will)g(stop)g(searc)m(hing)g(for)f
2164(alternativ)m(e)h(v)-5 b(alues)36 b(for)f(X.)h(The)g(in)m(terpreter)g
2165(will)g(pro)s(duce)g(a)f('Y)-8 b(es')36 b(and)g(y)m(ou)-104
21663922 y(can)d(en)m(ter)g(a)g(new)g(command.)-104 4084
2167y(If)g(y)m(ou)g(w)m(an)m(t)g(to)g(edit)g(in)f Fh(vi)h
2168Fi(y)m(ou)h(can)f(en)m(ter:)-104 4245 y Fh(?-)52 b(edit)p
2169Fi(.)-104 4407 y(This)38 b(option)g(will)f(only)h(w)m(ork)g(if)f(y)m
2170(ou)h(run)g(Prolog)f(using)h(the)f('-f)7 b(')37 b(option.)57
2171b(Otherwise)39 b(y)m(ou'll)f(ha)m(v)m(e)h(to)-104 4527
2172y(en)m(ter:)-104 4689 y Fh(?-)52 b(edit\('myprog.pl'\).)-104
21734851 y Fi(NOTE:)41 5045 y Fg(\017)d Fi(Be)33 b(sure)g(to)g(use)g
2174(capital)g(letters)g(when)h(using)f(v)-5 b(ariables:)45
2175b(use)33 b('Name')g(instead)h(of)e('name'.)41 5240 y
2176Fg(\017)49 b Fi(When)38 b(using)g(functions,)i(DO)d(NOT)g(put)h(a)f
2177(space)i(b)s(et)m(w)m(een)g(the)f(function)g(name)g(and)f(the)h
2178(\014rst)140 5360 y(brac)m(k)m(et:)45 b Fh(voegsamen\(...\))i
2179Fi(instead)34 b(of)e Fh(voegsamen)53 b(\(...\))p Fi(.)41
21805555 y Fg(\017)c Fi(Be)33 b(sure)g(to)g(put)f(a)h('.')43
2181b(at)33 b(the)g(end)g(of)f(ev)m(ery)i(command,)g(otherwise)g(they)f(w)m
2182(on't)h(b)s(e)e(executed.)41 5750 y Fg(\017)49 b Fi(T)-8
2183b(o)33 b(use)g(the)g(implication)h(sym)m(b)s(ol)f(\()p
2184Fg( )p Fi(\))f(in)h(SWI-Prolog,)g(y)m(ou)g(ha)m(v)m(e)h(to)e(use)i(')p
2185Fh(:-)p Fi(':)140 5907 y Ff(bir)s(d)p Fi(\()p Ff(X)8
2186b Fi(\))60 b Fg( )g Ff(l)r(ay)t(s)p 883 5907 30 4 v 34
2187w(eg)t(g)t(s)p Fi(\()p Ff(X)8 b Fi(\))21 b Fg(^)h Ff(has)p
21881537 5907 V 36 w(w)s(ing)t(s)p Fi(\()p Ff(X)8 b Fi(\))31
2189b Fe(b)s(ecomes)140 6065 y Fh(bird\(X\))53 b(:-)f(lays)p
2190914 6065 31 4 v 38 w(eggs\(X\),)h(has)p 1566 6065 V 38
2191w(wings\(X\).)1856 6129 y Fi(1)p eop
2192%%Page: 2 2
21932 1 bop -104 -150 a Fi(Y)-8 b(ou)33 b(can)f(exit)i(SWI-Prolog)e(bij)h
2194(en)m(tering)g(CTRL-C)h(follo)m(w)m(ed)f(b)m(y)h(an)e('e'.)-104
2195180 y Fj(2)161 b(Exercises)-104 429 y Fd(Exercise)46
2196b(1:)60 b(Finite)46 b(Directed)g(Graphs)-104 613 y Fi(W)-8
2197b(e)28 b(shall)g(consider)h(three)f(problems)h(on)e(\014nite)h
2198(directed)h(graphs.)42 b(T)-8 b(o)28 b(this)g(end,)h(\014rst)f(some)g
2199(preliminary)-104 734 y(notions)k(on)g(graphs)g(are)g(giv)m(en.)45
2200b(Recall)32 b(that)f(a)h Fc(dir)-5 b(e)g(cte)g(d)34 b(gr)-5
2201b(aph)31 b Ff(G)h Fi(is)g(a)g(pair)g(\()p Ff(N)5 b(;)17
2202b(A)p Fi(\),)31 b(where)j Ff(N)42 b Fi(is)32 b(a)g(set)-104
2203854 y(and)37 b Ff(A)g Fi(is)g(a)g(binary)h(relation)f(suc)m(h)h(that)f
2204Ff(A)e Fg(\022)g Ff(N)1809 818 y Fb(2)1849 854 y Fi(.)57
2205b(The)37 b(elemen)m(ts)j(of)c Ff(N)47 b Fi(are)37 b(called)h(the)f
2206Fc(no)-5 b(des)36 b Fi(of)h Ff(G)-104 974 y Fi(and)f(the)g(pairs)f
2207(whic)m(h)j(b)s(elong)d(to)g Ff(A)h Fi(are)f(called)i(the)e
2208Fc(ar)-5 b(cs)36 b Fi(of)f Ff(G)p Fi(.)52 b(If)35 b(the)h(set)g
2209Ff(N)46 b Fi(is)36 b(\014nite,)h(the)f(directed)-104
22101095 y(graph)h(is)h Fc(\014nite)p Fi(.)58 b(A)37 b(graph)g(is)h(called)
2211g(acyclic)h(if)e(it)g(con)m(tains)i(no)e(cycles.)60 b(D)m(A)m(G)37
2212b(stands)h(for)f(\\Directed)-104 1215 y(Acyclic)d(Graph".)42
22131336 y(Prolog)41 b(do)s(es)g(not)g(ha)m(v)m(e)h(an)m(y)f(built)g(in)g
2214(facilities)h(that)f(deal)g(with)g(graphs.)68 b(W)-8
2215b(e)42 b(represen)m(t)g(here)g(a)-104 1456 y(\014nite)32
2216b(directed)g(graph)f(\(in)g(short:)43 b(a)31 b Fc(gr)-5
2217b(aph)p Fi(\))30 b(b)m(y)i(a)e(\(ground\))h(list)h(of)e(its)i(arcs,)g
2218(where)g(an)f(arc)g(from)f(no)s(de)-104 1576 y Ff(a)39
2219b Fi(to)f(no)s(de)h Ff(b)g Fi(is)g(represen)m(ted)i(b)m(y)f(the)f(list)
2220g([)p Ff(a;)17 b(b)p Fi(].)63 b(In)39 b(this)g(represen)m(tation)h(the)
2221f(isolated)h(no)s(des)f(of)f(the)-104 1697 y(graph)h(are)f(omitted.)63
2222b(Ho)m(w)m(ev)m(er,)43 b(w)m(e)c(consider)i(here)e(only)g(problems)h
2223(dealing)f(with)h(paths)f(in)g(graphs,)-104 1817 y(and)33
2224b(consequen)m(tly)i(suc)m(h)f(a)f(\(mis\)represen)m(tation)i(is)e
2225(adequate)h(for)e(our)g(purp)s(oses.)42 1937 y(A)h Fc(p)-5
2226b(ath)35 b(in)f(a)h(gr)-5 b(aph)34 b Ff(g)k Fc(fr)-5
2227b(om)35 b Ff(a)g Fc(to)g Ff(b)e Fi(is)g(the)g(sequence)i
2228Ff(a)2143 1952 y Fb(1)2183 1937 y Ff(;)17 b(:)g(:)g(:)f(;)h(a)2453
22291952 y Fa(n)2532 1937 y Fi(\()p Ff(n)28 b(>)g Fi(1\))k(suc)m(h)i(that)
223042 2058 y Fg(\000)p Fi(\()p Ff(a)208 2073 y Fa(i)237
22312058 y Ff(;)17 b(a)332 2073 y Fa(i)p Fb(+1)450 2058 y
2232Fi(\))28 b Fg(2)g Ff(g)36 b Fi(for)c Ff(i)c Fg(2)g(f)p
2233Fi(1)p Ff(;)17 b Fi(2)p Ff(;)g(:)g(:)g(:)e(;)i(n)22 b
2234Fg(\000)h Fi(1)p Fg(g)p Fi(,)42 2178 y Fg(\000)p Ff(a)170
22352193 y Fb(1)238 2178 y Fi(=)28 b Ff(a)p Fi(,)42 2299
2236y Fg(\000)p Ff(a)170 2314 y Fa(n)246 2299 y Fi(=)f Ff(b)p
2237Fi(.)-104 2419 y(An)33 b Fc(acyclic)h(p)-5 b(ath)33 b
2238Fi(is)g(a)f(path)h(consisting)g(of)g(distinct)g(no)s(des.)15
22392626 y(1.)49 b(W)-8 b(e)28 b(b)s(egin)g(with)g(the)g(problem)g(of)f
2240(computing)i(the)f(transitiv)m(e)h(closure)g(of)e(a)g(D)m(A)m(G.)g(The)
2241i(transitiv)m(e)140 2746 y(closure)37 b(of)f(a)f(D)m(A)m(G)h(is)g
2242(obtained)h(b)m(y)g(adding)f(all)g(arcs)g(to)g(the)g(graph)g(that)g
2243(are)g(com)m(binations)h(of)140 2866 y(other)e(arcs,)g(for)f(example)i
2244(if)f([A,B],)g([B,C],)g([C,D])g(are)f(in)h(the)g(list)g(then)g(also)g
2245([A,D].)f(Implemen)m(t)140 2987 y(the)f(follo)m(wing)g(predicate)h(b)m
2246(y)f(means)h(of)e(a)g(Prolog)g(program.)190 3182 y Fh(trans)p
2247451 3182 31 4 v 38 w(dag\(X,)53 b(Y,)f(Graph\))101 b(:-)f
2248Fi(the)33 b(pair)g([X,Y])g(is)g(in)g(the)g(transitiv)m(e)1605
22493302 y(closure)h(of)e(the)h(D)m(A)m(G)f(Graph.)15 3493
2250y(2.)49 b(Next,)40 b(consider)g(the)f(general)f(case,)j(and)d(implemen)
2251m(t)i(the)f(follo)m(wing)f(predicate)i(b)m(y)f(means)g(of)f(a)140
22523614 y(Prolog)32 b(program.)190 3809 y Fh(trans\(X,)53
2253b(Y,)f(Graph\))101 b(:-)f Fi(the)33 b(pair)g([X,Y])g(is)g(in)g(the)g
2254(transitiv)m(e)1414 3929 y(closure)h(of)e(Graph.)140
22554126 y Fe(Hin)m(t:)40 b Fi(De\014ne)26 b(a)g(predicate)h
2256Fh(trans\(X,)53 b(Y,)f(Graph,)h(Avoids\))28 b Fi(that)e(uses)h(the)f
2257(argumen)m(t)h(Av)m(oids)140 4246 y(to)35 b(collect)h(the)f(list)h(of)e
2258(elemen)m(ts)k(that)d(should)h(b)s(e)f(a)m(v)m(oided)h(when)h(searc)m
2259(hing)f(a)f(path)g(from)g(X)g(to)140 4367 y(Y.)15 4565
2260y(3.)49 b(Finally)-8 b(,)50 b(consider)d(the)f(problem)h(of)e
2261(generating,)50 b(for)c(eac)m(h)g(pair)g(of)g(no)s(des)g(b)s(elonging)g
2262(to)g(the)140 4685 y(transitiv)m(e)40 b(closure,)i(a)c(path)h(whic)m(h)
2263h(connects)g(them.)63 b(In)39 b(general,)i(it)d(cannot)h(b)s(e)g
2264(claimed)h(that)140 4805 y(this)30 b(path)f(will)g(alw)m(a)m(ys)i(b)s
2265(e)e(acyclic,)i(b)s(ecause)f(pairs)g(of)e(the)i(form)e([)p
2266Ff(a;)17 b(a)p Fi(])29 b(can)h(b)s(elong)f(to)f(the)i(graph.)140
22674926 y(Ho)m(w)m(ev)m(er,)i(for)27 b(eac)m(h)j(pair)e(of)g(no)s(des)h(w)
2268m(e)h(can)e(alw)m(a)m(ys)i(\014nd)f(a)g(connecting)g(path)g
2269Ff(a)3139 4941 y Fb(1)3178 4926 y Ff(;)17 b(:)g(:)g(:)f(;)h(a)3448
22704941 y Fa(n)3523 4926 y Fi(\()p Ff(n)28 b(>)g Fi(1\),)140
22715046 y(whose)43 b Fc(tail)f Ff(a)667 5061 y Fb(2)706
22725046 y Ff(;)17 b(:)g(:)g(:)f(;)h(a)976 5061 y Fa(n)1065
22735046 y Fi(is)42 b(acyclic.)73 b(\(F)-8 b(or)41 b Ff(n)j
2274Fi(=)f(2)f(w)m(e)h(stipulate)f(here)h(that)f(a)f(sequence)k(of)c(one)
2275140 5167 y(elemen)m(t)30 b(is)g(acyclic.\))43 b(Call)29
2276b(suc)m(h)i(a)d(path)h Fc(semi-acyclic)p Fi(.)41 b(Implemen)m(t)31
2277b(the)e(follo)m(wing)g(predicate)h(b)m(y)140 5287 y(means)k(of)e(a)g
2278(Prolog)g(program.)190 5482 y Fh(path\(X,)53 b(Y,)f(Graph,)h(Path\))100
2279b(:-)h Fi(P)m(ath)33 b(is)g(a)f(semi-acyclic)j(path)e(whic)m(h)1671
22805602 y(connects)h(X)e(and)h(Y)g(in)g(the)g(graph)f(Graph)140
22815799 y Fe(Hin)m(t:)40 b Fi(a)27 b(program)f(that)h(solv)m(es)i(the)e
2282(ab)s(o)m(v)m(e)h(problem)f(can)h(b)s(e)f(obtained)g(b)m(y)h(a)e(sligh)
2283m(t)i(mo)s(di\014cation)140 5920 y(of)45 b(the)h(relation)g
2284Fh(trans\(X,)53 b(Y,)f(Graph,)h(Z\))46 b Fi(obtained)g(b)m(y)h(adding)f
2285(an)g(argumen)m(t)g(to)f(it)h(\(i.e.,)140 6040 y Fh(trans\(X,)53
2286b(Y,)f(Graph,)h(Z,)f(Path\))p Fi(\))34 b(that)e(is)h(used)h(to)e
2287(incremen)m(tally)j(construct)f(a)e(path.)1856 6129 y(2)p
2288eop
2289%%Page: 3 3
22903 2 bop -104 -150 a Fd(Exercise)46 b(2:)60 b(Binary)45
2291b(Searc)l(h)g(T)-11 b(rees)-104 35 y Fi(W)j(e)34 b(shall)g(consider)h
2292(binary)f(trees)h(whose)g(no)s(des)f(are)f(\(lab)s(elled)i(with\))f
2293(natural)f(n)m(um)m(b)s(ers,)j(and)e(use)g(the)-104 156
2294y(term)g Ff(v)t(oid)f Fi(to)g(denote)h(the)g(empt)m(y)g(tree,)h(and)e
2295(the)h(term)g Fc(tr)-5 b(e)g(e\(x,)35 b(left,)h(right\))p
2296Fi(.)45 b(to)33 b(denote)h(the)g(tree)g(with)-104 276
2297y(ro)s(ot)k Ff(x)p Fi(,)k(left)d(subtree)i Fc(left)48
2298b Fi(and)40 b(righ)m(t)f(subtree)h Fc(right)p Fi(.)64
2299b(F)-8 b(or)38 b(example,)43 b(the)c(term)h Fc(tr)-5
2300b(e)g(e\(1,)42 b(tr)-5 b(e)g(e\(2,)42 b(void,)-104 396
2301y(void\),)34 b(tr)-5 b(e)g(e\(3,)35 b(void,)f(void\)\))h
2302Fi(represen)m(ts)g(the)e(tree)g(with)g(ro)s(ot)f Fc(1)46
2303b Fi(and)33 b(c)m(hildren)h Fc(2)46 b Fi(and)32 b Fc(3)p
2304Fi(.)42 517 y(W)-8 b(e)33 b(call)g(a)f(binary)i(tree)f
2305Fc(tr)-5 b(e)g(e\(x,)34 b(left,)h(right\))h(nic)-5 b(e)40
2306b Fi(if:)15 720 y(1.)49 b(if)32 b Fc(left)42 b Fi(is)33
2307b(not)g(empt)m(y)h(then)f Fc(x)44 b Fi(is)34 b(greater)e(than)h(all)f
2308(the)h(elemen)m(ts)i(in)e Fc(left)9 b Fi(;)15 923 y(2.)49
2309b(if)32 b Fc(right)42 b Fi(is)33 b(not)g(empt)m(y)h(then)f
2310Fc(x)44 b Fi(is)34 b(less)f(than)g(all)g(the)g(elemen)m(ts)h(in)f
2311Fc(right)p Fi(.)42 1127 y(A)i(binary)h(tree)g(is)f(called)h(a)f
2312Fc(se)-5 b(ar)g(ch)36 b(tr)-5 b(e)g(e)43 b Fi(if)34 b(ev)m(ery)j
2313(subtree)g(of)d(it)h(is)h(nice.)51 b(W)-8 b(rite)36 b(a)e(program)h
2314(whic)m(h)-104 1247 y(tests)f(whether)g(a)e(ground)h(term)g(is)g(a)f
2315(searc)m(h)i(tree.)42 1417 y Fe(Hin)m(t:)43 b Fi(Use)34
2316b(the)f(follo)m(wing)g(predicate)g Fh(is)p 1636 1417
231731 4 v 38 w(search)p 1980 1417 V 38 w(tree\(T\))i Fi(in)e(the)g
2318(de\014nition)g(of)f(searc)m(h)i(tree:)-54 1579 y Fh(is)p
231954 1579 V 37 w(search)p 397 1579 V 39 w(tree\(void\))p
2320Fi(.)-54 1700 y Fh(is)p 54 1700 V 37 w(search)p 397 1700
2321V 39 w(tree\(T\))282 b(:-)100 b(is)p 1379 1700 V 38 w(search)p
23221723 1700 V 38 w(tree\(T,)53 b(Min,)g(Max\))p Fi(.)42
23231863 y(where)29 b Fh(Min)f Fi(and)f Fh(Max)h Fi(are)f(the)h(minim)m(um)
2324h(and)e(maxim)m(um)i(elemen)m(t)g(of)d(the)i(tree)g Fh(T)p
2325Fi(.)f(Then)h(implemen)m(t)-104 1983 y(the)33 b(predicate)h
2326Fh(is)p 595 1983 V 37 w(search)p 938 1983 V 39 w(tree\(T,)53
2327b(Min,)f(Max\))p Fi(.)-104 2316 y Fj(3)161 b(Ho)l(w)53
2328b(to)g(submit)-104 2535 y Fi(Y)-8 b(our)30 b(programs)g(should)i(b)s(e)
2329e(submitted)i(together)e(with)h(a)f(written)h(rep)s(ort)f(in)h(whic)m
2330(h)h(y)m(ou)f(explain)g(y)m(our)-104 2656 y(programs,)i(to)f(Thijs)i(v)
2331-5 b(an)32 b(Ommen)i(\(m)m(v)m(ommen@liacs.nl\).)-104
23322988 y Fj(References)-104 3207 y Fi([1])49 b Fh(http://www.swi-)t
2333(prolog.org)q(/)1856 6129 y Fi(3)p eop
2334%%Trailer
2335end
2336userdict /end-hook known{end-hook}if
2337%%EOF
Note: See TracBrowser for help on using the repository browser.