Artifact 7b901238bbbf875d62851a1732fa5aa73d560a04459e6553fcb17eee03bc8db2:
- Executable file
r37/lisp/csl/doc/install.ps
— part of check-in
[f2fda60abd]
at
2011-09-02 18:13:33
on branch master
— Some historical releases purely for archival purposes
git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 142477) [annotate] [blame] [check-ins using] [more...]
%!PS-Adobe-2.0 %%Creator: dvips 5.83 (MiKTeX 1.11c) Copyright 1998 Radical Eye Software %%Title: install.dvi %%CreationDate: Wed Mar 24 11:09:09 1999 %%Pages: 8 %%PageOrder: Ascend %%BoundingBox: 0 0 596 842 %%DocumentFonts: CMR17 CMR12 CMBX12 CMR10 CMTT10 CMEX10 CMTI10 %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips.exe install %DVIPSParameters: dpi=600 %DVIPSSource: TeX output 1999.03.24:1109 %%BeginProcSet: tex.pro %! /TeXDict 300 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N /X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72 mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1} ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if} forall round exch round exch]setmatrix}N /@landscape{/isls true N}B /@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{ /nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{ /sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0] N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{ 128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N /rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 sub]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]} if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{ cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin 0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict /eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X /IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for 65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V {}B /RV statusdict begin /product where{pop false[(Display)(NeXT) (LaserWriter 16/600)]{dup length product length le{dup length product exch 0 exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false} ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false RMat{BDot} imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M}B /d{ -3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{p 1 w} B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p a}B /bos{/SS save N}B /eos{SS restore}B end %%EndProcSet %%BeginProcSet: texps.pro %! TeXDict begin /rf{findfont dup length 1 add dict begin{1 index /FID ne 2 index /UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics exch def dict begin Encoding{exch dup type /integertype ne{pop pop 1 sub dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def} ifelse}forall Metrics /Metrics currentdict end def[2 index currentdict end definefont 3 -1 roll makefont /setfont cvx]cvx def}def /ObliqueSlant {dup sin S cos div neg}B /SlantFont{4 index mul add}def /ExtendFont{3 -1 roll mul exch}def /ReEncodeFont{/Encoding exch def}def end %%EndProcSet %%BeginFont: CMTI10 %!PS-AdobeFont-1.1: CMTI10 1.00B %%CreationDate: 1992 Feb 19 19:56:16 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00B) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMTI10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.04 def /isFixedPitch false def end readonly def /FontName /CMTI10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 12 /fi put dup 46 /period put dup 51 /three put dup 55 /seven put dup 77 /M put dup 97 /a put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 107 /k put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 120 /x put readonly def /FontBBox{-163 -250 1146 969}readonly def /UniqueXX 5000828 def currentdict end currentfile eexec 8053514d28ec28da1630165fab262882d3ffd20326947b1065649b533eb5e9e3 a88a87fe987918a687950b26f647d6e08bf14d983ed1d4a8ca1e2da8d985f944 2eb916f5b6ed0697ac7c33e1e36a3bf460d34ce45f1631871097cb04f18e3889 4cf4ac1538eb19481311d24fe3be7beaa4a3730e8b4831fe59d6d9ce2e46116b 629c7ba2f9ce3ecba2f43bc162a5a077ca1b2882a42afdcec3f4b75b5d63e0bc 8e5dc95257766d8ea467ad9cbaf47be60f797580cced6884b3a68f70c91f4fdf 80fd00ed9139e7f480dc3a76af72ad9b434187730bdfaefe4cbfe5c7edcaaf24 9204fd703011932e5a3c27be468b7dab69daa18dbbb6335ab8ddfdc607961c7c 02582763fa069d43563ba17704029945cf42fcb19cf78c51df0ec4d851086d43 c1ab38e865ef36865fff3a08b01cbcb070ba4893f7482dc7819ad03d337e520e 7d8cd83bb8ac7aff4df36751f4f12aaaea2b6d7260c09a26e987c904003e0723 7dbcc4a8e4e85cd3259f40d3caf55c742cbb40ad0db1044c20a4f122a63f7b81 1d945bfa69662189ce4d089464d2ead9f6ed60b581b04114d5d45e97be27a576 35154e9b8464f2a0df18da855eb51b8f64d3054b0b2e84621f025a0776d16fed b988a43d2d64c32768dd106b9f541ae8e68ac0bb7399e16f4d4ba074b2152d0a 4e9b5bfc21bfa0d531e28165e518ffc054dd4ed0d74eca079d20e79670419f92 e03bcbfeecf3554d661596f6f29e12170804d15a250d917ffe7a8b6e8fa53047 1ed97ba56481589a65ca13619129f1e26affe6c22f0c38540f8ce37efb6e9e9b 60b51a5a9cb4454fd7c7f92f2f9437159687ab590f35b946a54491a7739c9269 e0f1fb48b129811c82edb3171cbd5105fe65906974db8a7da92f4f43dc7f6b36 6981146d86d23613a0b38d9d6191db9fea0172e982cb1cc50e382f69da1b377c 1be9407f88a2a761b56f398467a057f35d18c01cc377e0061822b94abb98feaf 33e32c9bc59416e65491cb08cd8de429deca10ec4765d20faea23f130f5226ac 4d27d24db0385cc31b8b3227812d2c2fd223d0b86eb936ff0bdc45a281c544fb d7798b4aa264d33ce1e3eed7c77fc4942637b524a072aaf76b4aa25c250c8496 d0787d1139a647e7165191dd7ef7d25d830220b8ba0e91b1019c1541cd052faa de1157d53f434b7002e64cc5ce2039c3501c39cc7cf670fd4c035bf168cac15a c193001d2679b098a1dabfd898e859a404dce7670dca5dd834330ba37339fcca aafcbd0f8ecbef0e19d100bc3bef82fd49e0f462fab99bbba1e7cce3fb4faf8f 90fdba13e1ae181144b9c953b0a8a66d9b184d71afe845591f09919bf7ed83d1 007392a53a0b0b344413187adca936824217cc37f0a513b805a488df03cd9c2b 79040a51457fd359a53fc74305097309fe261c6dcb7e63a9c00fb3e7fe9172f8 92b779b249a7ec3c13f6560962489785a0942fe5f72433ea61993146c3451f88 690ec82bc159750c55829a72ed6eadcd78b631cd576347a53af88f3d596fca8e 2825f815898f226462c2af945cd52ae11f8e35dc30a832b790e0c656cd6aa1c0 8ef31fbfd27af811de126b98a4180e819717b31007d0b028c8e28d2e1a6ee3d3 2d279786d50d156585683b2d1498c50cc65227536ab8ef521ad78a8fc8037cc8 40710940bf09278162b6b37d915c8bfa52feb3a7eb2554a9e358df4b3a2de49d 61455e9dc594b84ac5d656ec6a08aa445c612b3c0fcab77721bbae453abc5d14 7d9c2dc9a5f913eb654b61218b4d11ffb00f38e036a36e532a9f6dad8a999b96 4df2f1bbc2c69e2d256f01e36e2f25eb18909d452c3368ec573818f4f4eb209a cbe3362fc88d00c9de9c6fc29db4f57d96febc15a31eeadfc0ce1bae19a7ebc0 c05304c7367e3d797137f18e3ccb8493921a58c134de1ad88026e0af7a8b4f81 51a33bd078106b28186efffd4865781e645939645602554d397e14472286187c 7bd69b141a9293faf0ebfe81e4d39c84d6bbd4a01df73224f663ba6428855b40 2f52d0f0dee9b972cdcd24b8783138510fdc2292cd00827f74384b8450c1b0ed cbdf931da56b74304cc16e86d8a6dd1f5153ea8a54972a203f8eaddab4bd6fcf f01eedc7fb47d8b75f56994d63fdd978ce374532b825721486fc4c63231bf5e2 f9361dfd68d55b47515f64222ea4362a898b22ccb8f19c5b5852a19f46448ea0 d64fcef94416cbe1632713be8e3daa6952629d4aa435949359eab9ac13d48c99 66146d4d7aed73aeb4ef5e53c2889d6b957d80008b60f3f42c1db352dbb26cfe d62eb8543e563e4c33a6264f363c4e0256aaceab93a32879408db7566a50d21a 3fb81386dd72cf93d5710160b30231c4455d32ea2499de78c88fdfc737cc251b 7b5b6b5c60092f7a4f28cf243613fb6211addd78377c759332ab64942df3f061 fa7bdc8b18b7c83c306dae1633a5931378497a96ae12ba64c64382b65fe07275 51e1091d528af51772444abb5806f8b415d097f259d4489a60b5f0801b3b88cd 0f3cb6f864906970548ac7d829ae2e33fb44f4a83fc5955d4b283b51239416eb 110d71d7010b59138681387ea68a5fb90887fd4967c6ba739e9028d44f264e70 cff52712e27e21f1d387ad71ab659105861a3c52b22d71db067f67e25a1d14db 0082cf69399ac5f42d6275a4bed97755db7281eefa256c0f8c0cda2bb424328c e17eb154de59d4fb4da0a94eca03998cd1e551ae4a3ae5e2b7ca4de6115f5f74 c8f2f91f5d98a26a180c00bbaff707795a68cf6f98f6413a3840b8107a8a2f5c 0ae4341bbaca4f7a3c267bd4339faca8e8e9281640ad08002ece69cef1d54cdb 205c53a1d5ec1aabdd03247c016b1f58c11cab62f44102ff20373f11f0af7bf6 2f1aa681ce4054cff1c542dbbe597b0fb38804abce60b02264f181fa659f0213 1308c932c78bde47c41f5a9c5ff697360f15f801c5c0e885c745d1108467cec1 73dc5589e6a42f684a160ced2a5293f17cd33bd075e0bff0c6ee45dcc622a117 7a0dbdefb16cbe3818498ba61b072b03d3fe048f1b1428674a4a05e1166be9d5 d5eec29df148185a10b1199d7be307694ab1b6b1b1a50cc9cd4296cc6dd1ac01 c35a95d6cac2f2f2e5c52a29c6ba5652db86fe072d385e614ffc734559b2e046 3d9d0ba2e55dd469b1694bb2953761024ec339a1692355889a425dd70af2f4af 6de9a95b30e94ae043acd4c51b184bea7952d29b84f09f3e8d9a7144a37dac09 6fa1eea013770d3af4c3fccaa0512476fb0d1a14961036d1cf9b479532777cae 6db1137ec7217c64fcbfe3590df1daafb1a396ff139887209b685d18f5fc4be6 e138562a207c11c7ad9cef323b83b9349c8fc2d731a9e4fc6088eb3be6e1e8d8 3a9743b0dc7e0be0db94da58c2d0c479c070a1ee85004d3cec792e9b4ec39cbc 334d4886a01734c062ccdacbaf0e8c048b9961f1628c077a783ec1ff7013c164 f977572e9ed3d0d823388697d5aeda967cf195d769352bc3b9e3e84e4cefc3c8 cfaf2118e38a3fea7a1511aa8505b482717d9efcef576d322cec866f19ffb6de 581bf2c85dfe3b7a720d76c431ba2e2de32348d0901972c144b8765c9019f058 fa19363920cbc2b8374eeb8f6b741ca9471c1916643937032960e1f257c77030 1f437e7ad5e12604711678847426805b39e17c3a0653a1af203985a27776e71b d43e20d452af2340cbb5f992aa2fe9acc766e7b99774f361fe5cd466fecbe2ef 0d098f575514f967601f854b002fdc8defeaa04e78a4a543091628307132b03e c33ea58174aaaee7d7c9e6dd4b88265e8d67f3b7dab47ca9b99fe09057e8f38f 96e7e3b7b2a5701de89f1bb884d95ebff471e53df3761240c02fe4a02f4b10fa a8859fee3f9eca28de50994de5ba7361532edbd7ff1a4ecf2d933c9b8cd571c0 d6a2b8867205df99ba4b59fdf1fafdf4f666356f1a64bb7fef4b156d9ecf3c5c 21ca87fb51ccd2567880096ea5f63e041ee19ae95df6384d2448eb18ff591a55 af5a84281a8690f042ec8d085a5d07cd3014c3f31c01c8aa1925f686b6225176 ab0f6453da590160fd78d3cb01530a17c4ed55f490ab1f2e83c50e42b766898d 411d1b64132f5e38c29a862a87fbdbc406c2672b2a9261f269a7917a8e153e74 0330a9d7f0383133f63c73e3f77dd71d71e4e460e449dc8c6c0ccb0e90fd18f0 f78c99a81b19469389ca49d50cb64ff28f51b6b7de8a8e0891fd302fd5fe0814 549b2603ba86afe1f46dd5ca97466b2a78243c78b1e7f5fa40f7d02e883402fa 5a1698f201d95d380cf2b1f072ad146cd53338262ea2dbd4c31bcc66b25c5fcc 479fe7584a808c96d4a4ea924efad3ce94d5bf1625c51cdd006df97bdb2db471 7b4efb0854d763ba650a0d721cd27127d6bd1c2cad072adae7bd153c57ec4aae c357fcb42b83c5bae4569e709b67e27d6dc8fe14654fe74cc4e5a29ba95436cd d2b4ec4cb51f59c6e2839415eb7a6cfe0264583dd504db2471bac89a339641a2 6bc60b45741230c0a488c789ce8b3fd2799dae8264f697a936b32a8165814327 2102c513a5de713a55ebf73772681d23f2e6c0474293fda546e9ff7180aa1052 801e344dd7292d3e7652dcdd1797856d3c3c23301283e55e76b7b4e5a4de31e3 74172b034bac2caf5c320bce4dce915b5e78298670d92752a98ea50b69437c5e 8468eb6830f3b5054940d04ffa01fa4edc2ac6b789e06a6c625539963f42afb4 d3b9772fd9c079ba7455f352068f11bbdf6393a78eb9b7d791115b583a7af6a4 461ba619ad827c12be6df3b4d7109934965dab6292245846e2d08b54ec006862 4e7aabaa926e47ee23f5884f2b4469b9e418db2f2fd944e83e4faf1d2a5024b8 619fd8b06129a718c234eb961a0cbd8fb2ec489900ee4231660c05c0eec83f0b 17d3d115471c8e17e8bfaca97a1c010d6f29fdce3b8242762e8b38cce3fe7b7b 6db0338d7baa2e6320c27f8392f7d164ca47214aaacf1fe058e483e64cc5e60b 05e793904a72825ab73ddca1b07e5ca9356492b41459ba2d7f653a57154c48c1 5b2f7367d0650efe7030ff3ef96b79afa1e10c616fe0720b96ce7939cb8e9a9f 8a9baf49aa982b2240a2f4784249c0140aa0657438a04aeb6e6455960e9fa262 57576e9a5d76d28ca5f012f1cc30128ba2fdd884bb14fe95641fa05b825fd458 24d6e82b10961950874807493dcdf112fa9c6b94511ba62ce1270bb86574788a 1095b7f75a15615d26543f48bb1c21eff888d4a72194d407784ba4fcb408a09c c8e25e9e0cd5137b140ed66db42c1d01ee5bbf0ccb59aafc85ba49eb1f4e0387 103099d6758f7bd4913d470b9627cef4e16d5fcdcfd2758356a5b0f444f43697 cdd1b9423b42fd1bc95c565f949e0e38c5ab9165e413f112236eb68c5fa5214d 013a3dee90770518e260a1e2f06e9a82ecb4ef91fbf2fb6695fdb6bb962857d1 b1de4182172ec4e483bf5424eb1c7c27d674b7c701747af795fe12c4aa3130ae a76864daebbda29bb0ef8c3eef6552eec95725ddc812a741129b111e4e8885c7 f11793f235c7ae957a6823f004654a92642722d5c456f843bbc8d1dd58250cdc 92f3ec742e6b0f53f058340f1914865e36d8eb49880e87ea86039fabb39f31a0 f34137a71aace9a6c5b05a142eb654adeb5c0087cd76ca7878d3368a6deec8c6 97a43733ae6bcfb44184412ce9114720d71e098496d85de0174798a20da16dfc 98775628d7b6cb3948018bbdefec9775afa276ce7bdbba64961cd350180c5cde e6c72f78777b1a6f8980496f700caabcd42d33b2b3e3eaa811ea79a20d693daa b26397adeae0b752e892085d0212f6475faac98ed4e9046dcb86c69ed7409b69 a5dcd25c9b3a1190d17984a273296c1fa88f848d5eaf539ca252a96f6af8ecf8 cda8d007412c0ea607c14f207f311f6621f66a746da4fcaa45484fb4c0301f3a ccce7335ba9976b94800c2cf892b25e2655b9d98a2737e68fe7f6d39cc75d8ca 66fb4d846fa6a635ca48ea0f469297626cacd0d515db67d468af606b92b76471 1a40f22dc0300cecb2c823aee80f75c84f4cca8eb3727fc0e5804a35d5f65fb7 dee0a744bd7e90cc9dd4e17fbecba65b88f11df918d09891a3b9524a6e0de4fa 413f3770619b3fc8fa44a162cbe65741f7f734ade7a6e5bfb3ed2938acae311c c4dd5c3b5847d52c70670f69e452a38b87dfa32e3096babedf2f1cc33b7cd25a c9112aef904736197a0bd8ec7ff242c7aa07595ee9c3013b76240463fa211570 74b49d4562ffa28a2221200d2a17cd2a4fb2540664beaac194d1d9bcd91fd1bb 3375042fe710abc927e0f0ccf1c498ac2a53f90f58d0a78bea3308821c4edfaf a09d09eb93cb32482408f33b07d8fafaf0546dc52fb1cbf77326a5f05c7ed7f3 6943363aefaeb27373ba9be25c9ce3a8664c36f1c1c8c49cc62aad504e6403f1 a2be9f1a1c40a8c07fea1ce67d7e5b8c7a6f4b5a639d124746accdc5217d2556 67d4ddb7634973a4bc734b017ce7fe6b1af1aa23cc016f84b70c8d39260df18d bf0b44327706b1c5d8ac3bc66ba26346e73adb5f5b94ad15cff68f35cfa8e60a cc2491d2bd74f8b72be1f12b9285bfccac61b6c7e4c24f622f30e89ba9a4db15 11b0cea0293b76957ce23f2c8d9095493c45f9bfd7fa9fdefa6d3565793a375b 2b00273c35dda0e4135e11849c0d72a05f623c4eb1e06b1a37a780261e793688 b09aa96e6d48822547aa59db19bef3c8253d67be836e2ff696f62188d094417e 1cf8e3f5855314eefef88df2465acdf3c353c0d68ada33aa12844249fa60066a 7c5c9c627df615f2fd145eef638f495e1c016d5d7c1f0b23497cb6140fa61c46 4dec1f4619f61f928a46ef74f985c63560651448239ffe202a6c15e671245df4 38629ed0c7e2d1f58949f9817a7edced6cec19cc1e2f06ea1d291e77ba3228e4 24a5f23431e203e1e68f57cf4fab37833f6c1aa31ea164cf33add9f1474552ec 0e43ee23c885ea8187c9a6093bdcbeeed38f535be8dcd5cf27f61e442f5c1725 b38234c55755c660c2e65159794975c3b06520efd60d2d4ff7f7341ebd84c8f1 3f2266bd596ce16893ec04ef7fbd3285986ca9a7e9179c928dc06bdc0ad975fa 9000c166551f0d4053b130175a45b615e47de4cf47be4da1edb7aefd3f42f967 e5be3a751da600fea56e6706e44f30346dc2c803b16dd1ffeb20d3c535d2cc3c c6a502fa574f8a0c0b7260bdfd52ebd69f3de40aa36254729435754d01c6f20a c444549bb2c76734be5435a4aebdf45ab274033b942815e3c3ce7b0bc50213bd 3d9f9b2125a5d1a9ea26af89fac6b3f8df1e90c4465d06a0671c6323c75c7eba 7f8c7259dc5f80add5a1ced407a38faf6322d421b013fe941014e16ebff0e548 5bbb4ef7b8179dacc84458ff47f536a79e37ce26cde6112b3c49a4062fa91f0f 10ec431df77d5c45f18b248523fce62e4801d768a8970d63ec32a1d94a6aa6c3 ba1c986efbe579efbd9d1801c332d53127c6aaea80918926d29a4e705e753b88 f8bfb9d2819cb5be51a3be1459f8012ee335ca9be0b674c5c2ac4dc424140d36 77f0b0ab55a00f8f5b12a970d2dfbd7dc268cf5414c53fc350542f88fd21c40b 398098e2d6b55f3ddaf18ece0e4cd34d0f0b9a632322b871c6701364670adedc 4f9907033f13d8d648c801d719e0f61971bbd19af42ace8ddd71672a6006f2fe d86a0a4de25394d1abdfa7e6912709ce6fd180e8f84aa2abcba6bab5d912686b 527a5d369c121623552aac5a4d7984680f176cdf51af36c09167c2670512dd29 9328b513aaf946dfc6b8f25fd56644d1da969559c23bee64305b611942275a2b 3cf8c6ce9ce218026c885c03762540a56929c259d3049b3bf6d5ee3a83f75b38 400d8ebc28764f52d71adb1418db48a70efef21087e316085bc78328127a21e6 afb225030760c10ff812b0a0f763e41af575664ddcd4dbf0c87a67228c8bc7dc e4321d05e36e853890df7cebd7a1f8f4599ece58f398a4cc91a1807150c445eb 702f39819a0870514d05e39c6208af45a74ae59f1c63f585c9667fe17f3b1743 8b34d555b621f8832f5790552cba241eb220085ff6cff13877cc70da75fe07e7 9fca27f117ab1f9ce8904efc5ebdcf48321a011d85744cba359f7974e2c79cef 4850d3e092e7a89475bb2b61ac48356ff8d334cc5f258cdffc93fc5c26830777 c7a1a58687e27c22512cb3aa68263cd8dd24a2e092acc614a07ddcc226ddb4fc 00bda0da4ead53aae28e8c09a22690fcae415b07f5ff9d263dd50cb9a5b4fc5c b9618115498636f2ec3f2eca59663a8e3f1444aad0a75fb5c6ad6961046b1786 0f5e30dead112c8e01fabde54d5532f6073be9f4338e011f371885cb75099dff 70f98a506a9a 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMEX10 %!PS-AdobeFont-1.1: CMEX10 1.00 %%CreationDate: 1992 Jul 23 21:22:48 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMEX10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMEX10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 34 /bracketleftBigg put dup 50 /bracketlefttp put dup 52 /bracketleftbt put dup 54 /bracketleftex put dup 104 /bracketleftBig put readonly def /FontBBox{-24 -2960 1454 772}readonly def /UniqueXX 5000774 def currentdict end currentfile eexec 80347982ab3942d930e069a70d0d48311d7190fa2d133a583138f76695558e7a e9348d37cac6651806d08527c1bb4a062a4835ac37784cc39ad8841404e438b4 d52d3901e47a1de4f7924e0fb3daf442499175bab1226edf692a4956739f8828 e80592f450c5d5c22ac88bcfbe9748f61d18243a16f4a4467f084e8e2be46ef4 7fc51c3a8199e3cda62ff9c4fb73956dab8b6683d2156377808cb35026073e80 523f59a30d195fcf9b9fce4ffafc6d5649664203ab24acb938d58d246707ffe7 d62f04bec4b70c21ef75beb2b812622b3c74e969d72d3cd11bd7106294a99caf 0b1629bc7d4de6b96ca82930831d64575f23f4ad06a0e45e315b1d392411be8d 6d73c998789ff258a07a3c8c2057325784514c845500bfd1a971310cfc11d41c 1a167dbd5ff012c60add4e87325f6e5299032a839de65fb1473a166aae1876a4 414a434f22c1d241591fb36f857df6fa930608750ffc0c54f44994662b1f00f1 400bf752ea8d83ffc4cb77a290bc2d99981ae59a191748ba5c7ba1a9d2583fd2 1398452b6ff5d83a059f7eadcd2ef744e9dd22bdf9c79d049bf06835e878c32b 7765c69bdd8ef4deb4ea7cfff4cf9354a4ddffa689de961d16772491c7afbd7f ffde42400764c68e954ee5c455a5687959829bc3b319b2147deaab3628662c80 30c5e02fea09609abe4eaa12e217bc3af673f1bc36a7039eb13fcacb4218fe0f c5a3f9452d4edf46cc91db67b624d4f2d37502fb9f11af4da18ca40b61097f95 d44329375467ed13c5cb585ec53f62b83ef9502cc755af44bf32b87b8ae9f3f2 f8dbf72dab90acafbacd280db6aaffaefdff6d5eff26669bac56280a950560e3 d01714ba38659b0e4e28bf8cdc1f15ff7e3ea9d95a6afbbe3d8e6905aa6d531d 6b6dcab89e2036cc492c65f76ddcc3cfcff33fde3d9ffd10f7a90530fd5c7683 4329baa902e701ca42717476298c9ff511b1941244bb1dfd0e5cab92a43970cd 1bdb292eadd055c97972844fdcdb0aa06401e7b2632b9d134f96bce0064860f3 9859da7a9a82be0a840672a1331212752ae1b521b693b384a72dba8d37a86eaf a0341e7fc5f6ef7a8c566aacb91e8bf5005c18837894c4eacff41dba54e071ca 83faebe85623580a3d4507f63d81a4c1a64bc5d292edcae18db780f6b44c8a15 f8041cb84c97edce583fd75ec53c71d26f801dccbea22201899390c8ca3dda16 6a36a884a64ee3b250bfc3eb1697762015625c170182f4a880e4e8bcc49bd8bc 1e6d49d10e30869e652c0dccb096f7cdf9ac3101a0b97c47ea57ea8e652e5a23 67c42c061550ab96e1778ef4e01c1e403803d8bca436f79d67b5775d428abbb1 3b6df91c7765578f80ed906b79e95822a4ca67f1d4d1320f09bb648c1c1b5a5f 63d6e1bf13b1d71408b4f290f90b88932db9de0296205d6b6654db89511930ad a80f6e3bb2b72c36fdc07371a27cc42d6bdfc4a67d1638532bf675188c1860ed 53e8f627d8af9dc00d981b60ca3ec9a73e54d826c2c68c1aedb54ffbff64774f afc11b54b1639a723d1e379dd94e2864101ff555f00385724f0c57ccd27fbed5 5f43b92ed836652c49e56709f1c83a299dae49ca7c53926eca476b0b96125864 d63f457247c20f7ae1a31ea9296296e4e49d5b2e94317b1ff8d1de324475999f 6650a9d6e043df545ffd0c4a86719417608ee533a97dec75bec51efdb512f8fb 36b16d14a655c114f7ee5031e40df7342989b92746b7d6fc787b7bd57401d880 2dc55280d07b02ff20ae9d29f765d2619756062d24e2c8195519277c3a4edab3 2f708dbf6cb73834e1ed0087c87bea09d545130449714e665e6311325aa6cd0a e8c466dc4f1addddad0aac250f27a22305ab8d62b65126 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMTT10 %!PS-AdobeFont-1.1: CMTT10 1.00B %%CreationDate: 1992 Apr 26 10:42:42 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00B) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMTT10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch true def end readonly def /FontName /CMTT10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 35 /numbersign put dup 37 /percent put dup 40 /parenleft put dup 41 /parenright put dup 42 /asterisk put dup 44 /comma put dup 45 /hyphen put dup 46 /period put dup 47 /slash put dup 50 /two put dup 51 /three put dup 55 /seven put dup 58 /colon put dup 60 /less put dup 62 /greater put dup 67 /C put dup 68 /D put dup 69 /E put dup 77 /M put dup 82 /R put dup 85 /U put dup 92 /backslash put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 107 /k put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 119 /w put dup 120 /x put dup 121 /y put dup 122 /z put dup 126 /asciitilde put readonly def /FontBBox{-4 -235 731 800}readonly def /UniqueXX 5000832 def currentdict end currentfile eexec 8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8 97e17cb027f5c73fdbb56b0a7c25fc3512b55fe8f3acfbffcc7f4a382d8299cc 8fd37d3cea49dabdca92847af0560b404ef71134b0f3d99934fc9d0b4e602011 b9cfb856c23f958f3c5a2fbe0ef8587d1f5774879c324e51fcb22888b74f2415 50d7401eb990d4f3a7af635198422283cac1b6cd446ddbcbd915db9bff88844e 784c6bf7389803d9450b0c21756a017306462c563d51ecefaacd079732f12c29 315e4b9623a5752c6f1d8145869e120d910b2644887cea7e30b15676a92537c2 9d3aa80dc30082aba94b40990b82fb1a877e805e0c8c48f61e9f2edac05b944e e4d8084ec1d5cc517aaeec5b3ea379dd011eeb454cecab3ad2443c887c582789 72355673e503affe0394fc7db31de364e4f56c24033c7df2265c56445ec63a1d 5695a6041ea1b94407e1cdb7c5635603a4fd047e6edcaeb2d0da6c9e0e9396d5 1a4a58e8fdc1578730f992435560a6e2d3e3687703ee2f78f5896389ac8470bc 806169eb01762e89b6dc9adf857ead656620e2589aae722c37a2ed7a2941c360 b067ee34d8d5ca3bf68db725614d936bcb207781f4d4ec2ac67b13a5ad161f3f 059add7b5e3d904831e31c20c04546fae83ca93a35989e65c201756888f727b9 7e5313c9870ec96e4cec3901ea03a5c744754485e7d169bbc98bf872d0796e18 9d43b712950c3786257d8be06ab6080b9d9392313298327549a8a41c00a2cea3 690b4a333e45aa815a64facae1c2b44640860b8b8687afbefdbd5b4a541a7251 4ee7d3e0752af3e96a88c95d31fa16d34ba2f02fdb0088b165844f02611c734a dbcc2037bf741fdea7e8bcdc130c70c33772f777d8bcddf4611db99001ccff14 d7af2bb05defc3480bdab312a0eff2f375afb4e0df2f803c594b7c93f71ca4af 861ae1711932fef19bfe2f9b7adb69d68e5a70ea4d1a3d5bd85231b16993f65e fb37a0a823f0542f8c2340a073dc1be4a8347f9d3068a6435cd8278b0db1809e 8af9664c2c989b9f16873c009449b6284b85da4dee11c96a05ba83292f0edbd9 2cf674aad6ac1a5ff966ffc37e88a66048deed053565b55ef6bdb8c2f2f67832 f8939a32442ea54f13d003494d6350a2864b427a9126a9c26a031909fe53fa84 63b80c3ffd536c9a5dd29ceb03148dbc24c0033ae3542e26551168a474b72c73 a7e2c34e90c8b7c4125d8657cd89e0449b5969f05212e64175cce0f9f22638b3 7107297bf2d549ae55d0854fe0b853c2b66e96ccc74006823431825e44e2f14d 30c9901f22a8bab77662b60226e0f7f467a47a9c4afa73359aeb38cb14e98a42 04ed9b60ec2f71daae4effb86563f6b47d5d66e40ae25e6d6f486628af926e07 dff66dcacd4b00a6b9b4e0cb7b400e1511973d5e229f42b44d3af8beea7d5040 7f363eb1b9aa763f1290b0b655627f27c70b945b38aa2b9e7e288de20e2487a5 ec3849fd6a58590ca82a78acda0912eac81977b25a5088928e37128e2bdefa93 7b7ba0c997a191591aa5b609ba75acf5b384157c8bc01dcab308bfb986993d4a 50dcf1996fb6494e0c4dcb198a155367c198150b8c1d0b122db8cdae73b6e384 ba8bafff9eef78f9fbea97af3239596f05f46b024173ec9af3b89399adc75bd4 3a7d13c509fb9d3f1887f918aaf08c5ede077f139fa90112dd97ba91f59b7bcb c9a16e569d37b9477aef974329b65e14f38e439859f81b3e6991654715c02f78 c29272cae8906d558fc4fd3be9b8a33d9b99eab171febdfdb08b76a53677ed2d e1cdbfb3cdb2fc352861a969fa690a148e427cb618bd22093dbbea210077cb87 b2cd099e09d50486b5e16b306efd72cfefa6dbe0b9133035918a55a1bab8ec45 1bd508136dcbc0f205bc5488fa26dff476b05bad6d2b67bb0cd528a99a530325 5dffd6711a61c0014009ec5648a542b833e878c11bc34d0f5d5ca1af077b79fd b3d087a194abf2d90bc7559b05c00f711300fc043e333f7dcd16c77b54c907c3 7cb91d4781c2645a0f705f9bcfd4b84544d4c41a1a6ffac8157853f48b334a74 ba7b16fcfb51b1643c85d38a95ff342da62fbdf0c67c4c2d6f70e7ee819fc9f8 bdc9c24952c576f6c4d7db64d3a83553db819ed4bd069b806b0cee89e74fbc2f c232a8f4f5192508f31ad787f0edd9aebf69581fc08b427a2c87afc6ab0cf38c 7702989b17663426a7f2d00b9629dd571ba32e99923b797e3adc4005d5906e7e 5897ada6a41cd540c2e0ab7ae9b142e476e22f977c9f35105aaa36b94df240ad dc011a3273e86fb010b5094a66bea3169adeeb4c212a5101864b57e8ea673790 52a2e71befd6c8c4a6c2dd6cd0a31b563104459718f00f052acb829bf5ed6a4c 6cbe6ad16395d95b0a87f517e3704d67fe09d4613667b82c97a2035883783c86 8a0ab5bc2332a92dfff764dda90c55df6ff217d1be92b651efcd2d49217f4443 e8e39fa1911e763fad807b2a457a6e4114b64f42e4a98260e8e870248613fe8f da4fa8621b83c0ca8a2b18efff19fe5be7824c87ebee7e8581c95bb9fd8a934d a6cdce0779c4a533426c05efdbe5babdb11835f1c74ddebb477bd495d27480a5 21aea71f51468682874e5deba1498992567a784f74e39ba5e66df027747e75d0 b13c360fc0576141404683e9c82e37488e4a4bf2d55ff1142a09f2643258f7c7 c35e0f762e159c46707a0a90fa6e44c9ad63579b584aeee490846712ff6873dd 1f91a9101a44557f5edf2e1dd5f6a85609724f1986204a474313f243973a7336 c7a7993cee535195f8b370134cd8abba2a7a0abaab877ae75aea0d1e6a9833bc 9b646b7c305ea9adbdd030e0f524f4c73639ff7b139d835895bfb77d8e11ad89 38c773543f09bf52de3ecdb2ce0aab9ec4afd4848c7b7827f6dc8800ed4bee66 ce6b808300a40f778961aba26c66c427018ee967534b360a7b4c3f83f433b852 e37af2c1bf5091caacb1964bd2b05df2e0656e46210fc00031799fd9a415cca3 7d5d9d9bb53dfc25a072387a774322498c1a22d1d50719010b4fb2a4a066537f 5b1657d74d3eab3902802b1e200cc5e2981d153d348aa19a5dd739ba467c7daa c01d27d80673c7ebd13d0cbbb21b907c0737e746a42deacab4911deaeebcf76b b46a61e680d538c63961aa9d7a168666c0baf2c1f84a732caaf1e489b5ab0fb8 e052c81b4e85c4c043ec5564409ff548f08685595daa721d636c0ec24e8848b3 c9e3aee31321e7358c72270b1b7ffddf33e0b131a0ce59522e9ffabe2fb8bc12 9bc5a20df07753adca178d08e538b0328c23cf1a40dd3dac6954ce5a708ae201 6fdaa6b753365a8c83cd93d40cda662a29cefa66ada8ae72afe7532fedfdbfff 0ebfd8a65ab32e5ed297923335cec8824be6e3f4d94d1fe5b61f20026ad7bb85 e0d4622327bf0c592256f4a4b7316e869d008f51426d036fcf60b39fdf1a0aed 56db7f803a774808beb0e4e4868abec413cb237b6a5b05a328aab52514be0b8f 3a6db5ff90ce43b184a9e540f2b83c6a88a6a68a07e730f2c5da73bda1a8e4c3 9e935be32ce9bf20bd081af2e9ba8f6f2aa75a0dd516e63fbb6ad3ab59e6d169 321a0ead56a225a5a7418e536e7565b678d2ba1433592ef0d3363ef5afe3e64f 68dbcc969ca2b33fe58ba87dd120b9fcbeae36fcd155390c52fd4efd085c2780 9fa24888664f82133ad11b69fddf81983cde46fc6ee1b68e17370d8c21bd60bf 9b70e1d315126d887febd4dd26ee37cf443f418d9bdc89e23cedbe0db707ac69 39fca7060841daca01d2f16201c9d88195647a1bb0b4a095f28bb6e9fb39d930 3420c4df468c19a82e3247b7a15ae19a3da7217195f20b9ec076243bf9f6cb8b 07f91ae76b3d4ba80abfd238f0b5962386ec7297ab17b4f2b321f18996a49049 8e3ac9e27e92f760253c0e6cea3a0441a305db36e5baf3bc8f3eac2a199bbf72 3260121cba8181a4c39b7556f7e894ca15f084e1c854c11ff9060ef1979ac6b6 313fd14947ad06e13c7ed07f2599cbb3cd24fc7a83f4c6f1137da6b669abd145 662044fdd75b223d2b47c2028e18b5c873f03525f0e6b3dad45ca798f58299b6 e07e7246e7f1f032eb8bafd523250c7b797d1d4ec0d942f143d1d074a5d24278 d9fc5ce8e4fc341d5023836ec1e6a9eaa79a2dcde2391c7da5ea29a0ebeb2ecf 9ff6a87e2e7a8b726113f6ce8e957486322540ff9287a05cded9303864a43fbc a274e680db8118ba8dc71f32992a49d46c0c51585a4ee95adb277bc1b5a65fe7 0fc86d07852e271ae133c52e09295eeeb27dcbc8e3eaa925e1fd1b63375ecd56 07f9e50cc392945e2b22c82fd33e222f31df0f5dcba04cb9bba2eb1fd31dda15 3bfad00468a1eb4a9826e1b53928bcf8daf467650f6dba05ecb6953e2707d174 be5f52ad97a7aa8c0042e3b9400249b108cb0ed07ce0a591107d8701700b7747 3662a392c66d69fc5e80820f52d905cb7f0f85203a58601983323a6d6aef5d15 cd20b811dc6c5016a6ed568e2a694ceb212dabf77822d16d615be4fd3ff93306 9a9a79f70f25b8a815ba08ba4bf3bac56616314f2b85156f24623d93cead6804 2ce2cf06d40b14b422e299e404c7bc04a0dd212ebd421a2aed761343be505f53 e770ee9e542c3a6931e9331ce5914f2b687fdbfbbd14a123f907b0887cc00ab5 9ba6cf76c2405993959f22652c2f79c6a07989f5b3d8c551a44cb321e1576ad4 3fe4392bd478fcd78b585874184f5a7da5fcac29a68276a44ddddc747a57f74b cb871f2adc0e953a2b4492197af1354ecc516180a548ec04fe965417cdb8d112 eead7e0a03d8882258a2b3fc79feec751689eccd06d0ec6b4bd42840bab8948d d676949874b82a505aabb799b0dc7ed7ada121f70b844a22cd1c9c12599cabd1 37538d7135bdb1bd656a4366facd13b3d1d1332c56b33ca9a33401db37c9a133 982fafc221b9f8a8ae4ebb86026992cae7b71f93c82ae3948cb114999b64c2f5 55a55b289f5abd5181912a91381658053f18750b847b0476f6120b3a14e5557f 05c385f8f29ae110d146fbca8bafb6fe98670f8cadc6c333ccb315735fb68d5d 9476a8c6eeb76096fdbe92517eae3f3e5a8c6c24613afb91d76473d7c81b1958 76dfc8ddc84b8f57b4533e6fb1cd1a2f4f406c26a99ce56921d8b992cd369489 fb26969f02b0543d6c522301a8716164fe119f7a7b0c91fd82c7f2378d2d1c09 553dbee5c641c8d50766334b8ecc6f1dbff3afdda2aa14f17ab65f35d881ab9f c950cdc5ecdde828256861ede142ab2a290184d6f27c700720d1af045c2ba748 0658ab8ecbd99061f07a2efad2c673dcf7b4dc1d4ae124f2325e8821eda9fdc1 aef6a7fb83391400d7be103cb9f9a1202d1cb0c2034fc543eacfc660cd40be93 ad562ec67b3aac543d669eb4c773ce31c47af6d28e7de439587a77ab34df05dc b50e0f713991869a85ae41ab7d436dc45ef302a22117b07d26af01523fb9c070 c10ce902e5ecccd8de3c2dc3c89416bbee0ed99c88ddae7f5c1fe0fb9b648217 14b993ab7c591959efa18c96d7c81e87304483a85f07bd834675db48cc53bd94 06945ce4df8e5386330ef08ab01edd7f8ac86118e386e81f9005b7c42afa17e0 187b7170d9d15deabc4f166481b31a7e3dcf39838d154aab584a1bd011ab5a3e 6b536064c3a4b723afee2e544680f3a4544446f3803f0de7ee449ccba7a89be4 0190f91b1081691008d186f2b1bc3f5e3be88da61c1e3718abdf962724990b98 0c2ca2e804b3df18946e183e64149359bdf00f6c54c22e0405acd7b6f737a3ca 5f4e45749a0a5513d941a413a4ff77656790079885f3e2428e2387a1b7ab4886 0c126bb068eb69f783e8c3ff550ceaa0dc3963a74cdf291216bb8220df8bbd68 aca33dbb3cfa8cb1de490c5af7cb9959e8ff9f84eecb48cf95badac101cac2ea 35544a8c55e394155eb951c914d593e806e60e0371499ee3cb45cbb98e33f833 2c95ebf426fa281a101da064a5b853521e95d1164b21e0ce145a00ab4416abfa d4386a29a54f571afbb3a3ac15d5d31929d8486f4e64d9686360d9c6fd549f02 d8ff26d8052951b73cfa94d5aaaa6e36ee6447581b7a34f023906e7424947294 2c2c500eade8cdf34b6bc0f375db9fa5af28f7ebc6c538db21777f47ef9a37fd 402ca331422b522779546d0d7c70004603029cd23f243b17a19732e5819cb5a9 f0d5a383600ddce0095e4173bcde46f1e8328eb94d2e53cedc244916c93665e0 a7c115479e5bc14794ac8a507b9b937ea2b709c6a041afb466d2ca081cdae276 d535c61b413ceeef465e62f5b52917d0ab99fb4c169c00e87126ed1cc55492e6 5595706d592d1d3f8242c42419ddaf098c532686706c3c1e832e880fdd5fe82c 2acc711edde332bcf5841d8ac7cafe0638a79ad482c9b431000767151e7a6807 7d78ffc8b7e9670f8148295d8cc6f4b7f983529773c01c85d08d43f8279a76a1 7279cced9564efdd3a4fb3168cb2df039d3a9298b66e6d1ca5a03eba93b86f51 f0c65bec7153a684373d61460df7e91f63fe7ea95d99fcc72f828eee51c7a71d 143004d5ce8f16cc86caabe875c630bc284653634e18b3ea197c1e810f0561b2 35beaade081d88e694ffce3d6087689f3f1da772ca9e8029bb17c617e102d2f1 5a1a51a873de9a17a335d06a5b7fe8700dc58e883a34b770da1db9c10a78fde1 0f0875d0533f0f60c72e1b2cf64c75984595be2625601e2c16b0c0351beb2188 7da06954f10697e64abe932bc57afccd878305a1f38389846b844b00d32a10d8 fbbb4f4074d5c28c23cfc5056a63ff61b97fbe3530bdb7064fbe11c17fb2ffd5 92b325cf87d9a2323f8092c59acfe707a7339e42724b0144137bbc7f531c3c8a 23ba350f4e63e36c39ce2045212a53aa7fea78183137dbee1be6f954e1f35f67 5232fd91fc76cb06e96642278e27f855e9e2c6eca50a3ffe6d44f3cadeaf320e 0e6042116b7194a1f2b38711ed1551f7e3e6782e214d092a0fb34e74902b64f9 cd206a8a0ba9e4983608c5c9cbf57b6505e46df8606cb7887771a90793304d37 29e0a292b16cb7fd3fde6baefb0e368bf8829e63560a391949dc3fe374839479 0177b4802fcd95041ae13c3609aa99b70c99549dc16009c7be1e613f5187053c 97c2bd4ea94b49b0bc5e480fc03c900be228fdf977399809bb8328a755276ff3 b7484230e02dd4ae5c736cff8b3ebfb1dd1cd2b2ab0f5bbebb5fc1601e34399c 57dddc8149dc1a568bed8c85a993fd2457a5e5ae15b340225dfe05003bb7e30e be339aca02a7a44eebba8d495dba14a187a92128ba686d099d2cc7f77926d5c2 3101739777ec9f17970d589dbcabdf0a7e5829592193ea222ce2b9a5455df49b c03be58d892d0e0f02a486064d6fd70ff0952442e7df662e50e5000b4f39c5c4 6402548307ea3b141fc78bdb06871696a083ec9245ebf7b00e4d8f9e2405b174 995c45a46b08cf4a0839d9361df5d99c4b0a0f490e994dbf791999c0e71a08d2 091beef78ecfafdea98656206155166b24533fa5225566aefac1c6a5011e5cc4 5e5ea870a887cfd24cf2305262a1d575dbaa9971f8b0cdeb4282cc9dc48bc602 8fdef72d260262093da155ba8f027e87424ec4a93dafccda10a3410770df2953 b8884fe3bc3f9e3a3109c47b698e8e27dcc5d9371592a57015b85b91cd8492f2 406e7db0ee01f114d5210c048513bff13dbaaf8b0e2894d6657abf3a07729c3c 76dce6de8c1d5e6ed670c2fb422a4445403b17f737e6c5f58c943fb5285c7ac9 7dec34a7cd7194cba3fe96e82811e0cba1a1cc8457fe90baedf188e64c039d27 6e3e3d9fbfc38c8a7621aa28e0bd4b8b60af82b30d7e423ecbb35d3958b49fde 36446a70e099d74b1d226f12c12d765911a18bb777bff2518be6438914a9bb4b 0ab483b972d64e3a23aae425cdbce99242fd10d69dc14f0d4000f35fb4134743 77f450a879006eb316607c69c55f6d999381d83823e8a3df0aa00c564506a62e c39d9d4c6df8b1dec11f9b16730c59dbe36df790903c9882ccec4a756eda3858 e281085f8f53f80048d29c5cdc72f0c4041ff1d3b462a00ceaa1c9a54f80c54e 691287ffd36162b1b9b4a6f18443f0a15adf7f053d500bc9d1fcf3973ef17cdd d06eb02209c829fbd070653daf74bac49d40b707bbf43cb7d96a31ff296b0225 4b43229e3c8ef1a0b1acf3007f2fca12b83c5b7cfaa7da381b1ae0a2cf32944d 274589cd8fbbe66960b908826b015cb1b9aec2bd70c6f98a39cef1163cd90907 f4c79df8cf0dcda4317426cbffbc0217699ed6888be2a1607b2a8786dfdd7e1c 59af0e641777085b770e4d22a9ccef2deb8537cee1e945e63431e9fc8cf85293 ab47f5651d832989fa9de851855659892e5444dd5745e7c7a23310003f7fbb88 809631d4af72e4544532afd860fb9862341fe69c428927392a0e89286e03514f 289cd25eb82f35a528d0c402622a59cd41aeceecf647e715f1830989ddfab489 87fadf3bdd24fec2f959ba0542ea049ad0f5afda9ee216b43f0e12c2ceb85d2f 2948d5b93a83e36bf326bcd0c92d5158ba70174f662c2bfca18f95e8ca4f0ac8 bab0d196b23d7d13da9dc9ff517f82c99b115ea7fe2fcc3ce376d8071e6521e0 0e7e7736e293da4fcb8b4af0f93b356819e416fcb796d9157c92efeabd947016 60d665e1933b78dc2a1acb0352dc6b5877f0e5ca0ac948f2f9c1b8fdf173894a 9cd4888e7a2e17c986672843299a951aefa36a39d76e89a937ff09605db42663 9be5287fd6a2d14af1cdf5394cf82cd17124f3298d5276f789771e0bb6914a55 e5e1b9024c0a988d0fa178b89a3948066f326a341015d1d194d6eaf7995ed108 fdef70df0c47849d04e9234996f6c070ef19ca67486707452f14f21ff8de0e30 e3829b853e1b87c54298319e5d2b1efc4ef4637b473a194721a848ebe0520726 badccecc93af416da70a491d1235ac5c3f72d2f5b130bb2ce654f0618c2fac95 1459ea838a35f6750fd2d01d1d4560db5e5c8717cf4f20fc10356e147f38ba2b fe8da15cf27bce1315a3c8fe69d21f247a217f325ace08fd4dd0da0aed6ee37b 25ae1717f94242a66f65de17638b35fb5de4e3dab70f8256f9afe6b9222d827b cff61748e87ee5df6aea9179a3f7aceda7bbe25a5cf11104d3909c816a5cce0b 3405f81b92e79de80653bcd95db5629b76ab99a9a0b6a4c1f3b2d586abeecf6b 41ba11041ba0e1cd3869a2c20ed53827214114b39d69fb868b07886714b5022e 61e0ef8a2f31e836528c5672b7cbd53dc4cd0604bd5a3ac68ba5e84ba48bcf47 a510c68bd4f5bf70adbcd82defc8e46164ab493ba1769d47d5b8dcab6677f1e1 aab018dbd760aa9f79df1396a829bfb692e255d8a4d4eaaaf5ee202b6bcdd916 752012c27b8332735b8064c5176ee467981e0a56ad09304ee116f5d334350209 465cbc2f58b411f0cb159521291b8ebb1e4fa89995f8291932fb8c8faa252bbe 42929d7c64f1cc536ba11f8c51e71ad7dda701b304cbdeb7a51faec8c527165c 161353eae8c826b728966c519592b2ae68c9ad660bbdcbc62bc628fd886cd91b 19b78679182f1e2419fc1a667b279ad6e733980fe6549e458b0d0d65fc2942fb 442dd14a73331ed65b66da0e8f106588a434a56238b874f9bcad1d9191da1a81 b97da2ce9a1fa3f16ff64958196ec28da9dd03e604bac0c45e370936c532aa45 7d96eeed0c2f1ebaeb8a90b87c24045ad4b6f6611370ad6f392c5f41300f46cf bae4c9db33fc6635b12705cc2cf54a47611df994861b4633a040f1048db010eb c224a3af4ce2b9aa7657f42fdfea3d1ec098ed4585b4e589560f0f0b7d749c73 112ba23fc0cd512e42ee5a0a2904dbbed1c15ff3abe39b90fe9f7a75fc59984e 7939aae1becfe73353d898ceb9de83c7cfae9d38dadd3f4da162c08edc634d50 9f86caddaa691673bed485b483a36b2c5837c176a1be36c09bd82acf95ca5fb3 6fbc0c4b91d9b778fbf9a700d38751341b01f380e6b75c79732aea4e6fdb750a 6396e633cd1b4805d37d5ef53c3549a562778e5e522aceb779fe3c9e170abe83 b187727d22e7e2b8b5b8a3e925c850895489782a3151fa44199566096524272a 79e9fdcc78ff0cf2d1df1a9460903ea02817b257ff95bda25abcf1ce1d727640 d0f90e507088863ae5c03406927de830e34a6d6f1142f96b7b70d868cc30c674 0fd65d5d94616a4343ac75e56113d988f987cb093488ca893d7153b5dc271dc9 fde4f492f3d5c4011a5a8d92df37002f17cca1aa82fca3c320d440040108aded 283dadbd098cbdaf7bd41c04d83875dc1004b373e0acf0d7c163d1f86346f4ed 14a9bfa7703cb4c327f6e39f78f8b4d102dfc2b8399d2c4b700ba0e00949f2c4 c109e08ccac2e2b10077d903c58aaf98d5bc50f382996ebf87d26d7aeccfd11e 09289c777364291d1630139a34fbf160845bcbfcae3a755ebd7f5b862e435505 73aaf7ae415453c1e5fb8cf9d801a69842e50b9df2ca41b57a1184ed761dc154 77c559e598a9e98e72ac0c67e2772727f0b56824ef181220587285c6b871788e da501aec7b3846a447c650dd36b9aafa5d46dcc4a17016a21ae085d0009d1285 4d0699d113dc3c97d30c3176ca96a63ea7fc56d752f82e2a827a5bb02e0e3cab 50b6ed606ecbe745f94136b27c97a7fc0f52e5627ae88a9f0cb6834790114c8e b8c2734451c56ad523eedd0d49c2d3e2f86cde58257f5a34e431188c4e7157a1 779cfe5bcacbea1bd7eb92b3d916830f1277839a94a36473457c76da8dd08001 9402e880b93dc0e4c7de8524fb20ec0a5b90fa7ab9d0e761cef0666de0c49ee4 172deb3666b6cfad734883fe127f1fc821a04e3c47dbb3587accf2a38939c961 e9a890e45867252f13cad5cc6052b52731db628f21a7638dab14e95bc7cdf6b0 49230dd568752a4b27d22618ee0e2b5706f6f4f6b26febe96566a243e47dfedf dcd5ee84b82441095c048083ef7a63742666628f18a4448396b2d49509ff781f 0017d2bc77cf461671e208ebd026f63acee02db9eb78ccd05abc7c1e66ae1849 4bef20d863561d90135419d2b0d4221d3a2ab6d0acb93f4e8f62e714ba5f8039 71844ad364d5daff78ebd9165e6ef7dfcc7a76bc46dc3e2bd6482b5d4227cab9 c180105deac84d38562254a1e1bfd2042a328e2dabe687660f814c1a3ac1d0a8 745d61002d7a509c1f85b01b50350460688a15c83517553ac3494f3021b59b06 cfc6a9a19b9d18621f5e18b9aeca2243547ecb1fe53e00ae6fa6fa177a65cd85 4a61b8ba8db2570ffd5760ceb1856c8b7e079ec7a346eb5c03485eeabcf307e9 419340f3e548efa7eb6cc829952e5d3c74f0076c5ffcf98761e552d5c941e6d9 f4cfe377ebe48ed8f69ca83df5bda08625b8cb475ed1b5ad1d7bac79f6cb361c 3aa790f40f84feaff5d269c32f7a68cb0163bc0482255b86a9ccbf41ca466f2b 7619d0a6b461123224933addfc038f422c05c7b8a305042ea717364df6d7b412 18343c8d168f10ff52bae1aceb152934d1458598d32b0ec1f6e1c8df043b8cf2 26637fa1da6ac1208131a7164d8df6d93e2de098a7627bd0ec7f32f7f91364d8 2ed6fe0cafe0652005599fa86925f999b3f6fce2a6ae051117db3d8abb3c4ae0 a6a16dc67338a14f7ab6e12082cb837e7e 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMBX12 %!PS-AdobeFont-1.1: CMBX12 1.0 %%CreationDate: 1991 Aug 20 16:34:54 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMBX12) readonly def /FamilyName (Computer Modern) readonly def /Weight (Bold) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMBX12 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 12 /fi put dup 45 /hyphen put dup 46 /period put dup 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 53 /five put dup 54 /six put dup 55 /seven put dup 56 /eight put dup 65 /A put dup 67 /C put dup 68 /D put dup 69 /E put dup 73 /I put dup 76 /L put dup 82 /R put dup 83 /S put dup 84 /T put dup 85 /U put dup 87 /W put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 119 /w put dup 120 /x put dup 121 /y put readonly def /FontBBox{-53 -251 1139 750}readonly def /UniqueXX 5000769 def currentdict end currentfile eexec 9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0 0b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3 79791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3 2ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8 b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d 823385fe55f3402d557fd3b4486be79011d1f5bfae5c1f476ee6f05eb1d2caeb 269958b194521197b312fcced4867f3c8fbd030bd715d8ffda1dcd454b174e7a 1a97b59fe770e67702519d9d9b23d61ac08424d555242a8ca08c49aef300945d 99b999a79ce74804ae6bfde623f4463371442f6523a5f6ce19c839a708c02513 2e22c696c8ccade45680e5197189d0f98e7f0d5f955e353970b392cf530a68cc 56b0035ddfbf206c3074beeb0739dcbca272a6e629fb7aea2c5ba7bae50c7b4c a595df78200c352997ec3ee564df229fbb5473f5e8ccb1cc0153e9a7e299a8ea a29b69d1b622b1f0cffc58291248759607d91150cb0651120970dc9f743bebef 44f6ae92facec57658999c8bf01f60611560043962c0695e1bb87d090e0fdaab 659d6557208a660be9aeef8ae55f71b8bc76394d792967e41bd8023b6e7f8c3d 9987d5e54c53bf2bbb32855b946473b44833bd78873df8e4c7e668ffff25aabb 8da4148f744b9d0524d6cb8281247b3052cc5d66f3f1bcf8a56a3fb446ea587b d8be30257652cee035628aeddfd8283b5ad21b8b1480ad24d898970ac8a1e33e 543ce4e3c48f9ee621c5ce3e8ae930f890011b630866c988606068d9e92396eb f51bb3db204505fc3d09d4701ac703a14d92bbfe27bd7411b363a88e33a8e9a8 025ac31f21e73dc52b333b918d0b1270c54873a490222d041a66e0192612be6d 2c88958a8f70c10390146ee5091df020ab97675e8e6acf98b28b539cd0a20d24 a42f535ae44b8f5e9290b38fc6b02e1bbbdf1aca96558c2dd5afbec53f03ab51 fbce958ed4a65b17fbc03f9defd4aea4a15229f3c320876235f2d8b69bda5f48 03a2798790d35b394c63295997dd487bc603cdd10d18f3e3fcc7f17d2a6afc77 f1d7f6cf69d2a86b104b9d3b260e4a78716927a485ad8a650d610e68378f4514 3610b087981f0a0655090163dd2dd4d0030faf6a953896a9cb2cd033ec99b5e7 62cc250379e9992beef1ca54355e664ef4ed533c90f827e7211327d15d8f5e54 a499cf2920e87b045c7ff86d8e698239c159947751575691f96498c76175547e 865ae29ea456518f0ed9b2fc4c57ebc3cced6da68f8e91cfc68b2ca9cd2510e5 ab3e0e1f83dcf57f0b1667e83a54a4bd36d8ef4be118cfb86d8a58f3ced7af37 15085d49b5af7101a65687e18945326e21e6e973c33de975c7f65f6560804c21 e3eb0bc2b00537c646dc94da028aebf2d4fd67aef035df2a7e662941655f093c 8e5058757697235709293bd154afff4075a70bdba79bd54e7a32cd90bc09055d 1921193991c08e06f05778eb6f3470028c53d1a7bf5ca44e17713c525d6b6669 b4ccc7ed58aca2999349f4d7a0501d5009b485e83ae87b65f3d86e57d12aea64 fb6543902be49ab097a0d6012ae45d3c673108620d4288d4779d9429c41b8b73 f75807a6f72bdf3488c93593838c4379da5b706da1d5d3632bab6d0ec3f26b62 6125861dd2e360adf7bc6752c19a1ed186165f10d3c0e87d9fc03bd271de7c14 ebd30c18d98724d0b953bae356905dab10c6dffde6eb6132504586c8add8a8e5 83a1085bb959496fc31d21694f14215f727e18316e63f9b48a2d610fbb53658d e67da5859f7eab3219acbcfcb960ce42ddcfebc188a7e638c827cbf39f512d87 ad013690739aa73f198f1a904571fcdbc54f41c6b8e990a439c52a9f19e33eed fea7a55829439953d8b1b21f2726570f68e6d51258f8826a2ccff33ff2a33569 f8b994156fa4128575a25f1871648b2b3e2437dbee9f8913dc4175b75afea184 b186b2b06b2bd8e2885468afd0dd93d4ea3be1164476c1be50e237dabe4b8557 700ac5341923b730740f9f1d8a01e2849da6cf3552942cb3f83d238001ab09c9 3bab3b9c5787fa0b8d3ee52d4ba7883c2830804f8798bb94325be47da6e2d51e 789dfb380bf6abcb514d86fbf64b73778150f37761a96038718ef84bb0b2af3b c3fdad7f214f9b1301e09b176f055c2cbdc9e289eda3964371a73fabd5501e6d b877234c5b0c983b5108eecb3714cb70f1924c7365976a3390fbdaab8b80bd0f 9e272f940294d2763c927f343c8db9015e591134d8f6e1d7bf7d03f52e151d54 42d9b2d7264e1d5cbbbbb5e085a7bc2c24531b7d4461d2c95ea9f4ccc90c156e 9c7ee6609c070243aa27d2e6e888177dd2eb44108644c44ba0cb6691dbb4dd81 e03da2a4d9fa2323644880dba9b86db1738a49e634f10285cb27b8359eb96e6a 39dd406c190cc63146fb81442603d1265d44405a7287a31ded9b84c9240dd489 3123c724b27b1a1095e1d2325df4c9eaa43e29d3cdb89209e7578af987efb9b8 cf11f80e614eb8bc819c76c78eceedde26e3df321cd9247dfb7bef47d92ae2cf 7b0e31f378b5f197de9026ea1e1846d60612039247fe35d1b53f286fc7c35b66 591403914141e508dfe0032d74a3d20aadf8641a6a1c134798532def4979106c 2cfe410ae9db44ddc5d684ac8b871dcc7dc7e47866153de0ddf4bafe5265efd7 b99ac768c1f788a8c849f92200b039125c0871dff7ac9a6cfafeaa5618eba9b7 6efdde3d84c6271b76fbd347a3f01e295a41d84712f3e542f0267934e4159e34 adde1b94b9016ea6dbfb1de8bd37afffd247a688132b7e265bada174ca2cbc88 053da1fec6079a3fc0253793c2f17eef7f097d04de7f3a333fc3ed20fd1960f2 929ee6f3975e1d8d7b78ca99692bf9f190743062ecdcd5cb824d347eded8665c 8a08e849e80bed0c09fd44bb534ec5855e0804a09ba1dfaa157d444157527c86 f7a044e16d2dc6654dde0f8ae1164b9c0aa8d3bf93d7e702c8937be83a322463 f820dde155fc93d6a08d8123cb926afad538dc8907ecf216848f4646722f7a14 942ce23cc0035cbc91e9c32bbcf0abf14b7e9fe05d70c02276a0a0d6fbbc5e37 57db20ba90c4b9c2a94847654059a0f94351884b9778b0ae7ad2b35779fcec9d 00c47cc34fdad941781a36557b76b3ef72b03f3825220317af5deb0c0240a975 308e78c034fdeb99d8ab6450e0e0157d25abddeb7392790b615262c59340d91e e30d6e1ea6f21d043f4cc93604a0c7a03b8c8a70b50e474f9305672bc25acdc4 eb68bb942566eda28703bb86cbc8654aada2e0edce536126873a205e11ca476b 4089f495b13eff60095184d7a48ffa7f735062f7d41a4b9456789b2cd8e3b62c 9e11adb06c425c5008664dd3bf7f97992d98e6b2e54b98ddd6564847cd2b09c1 1b81fc1c7f5969bb47365e586ebd5dc78f46fef58d2d1d9f74be91b048306d91 ab40d70639939d264ac9586c463532c41639cd9ae0f986aa4ea5fce394c41d90 3302b6336314561180eb91b958e81b0b6988968f76246f74946887e98438f9f9 bf003e6695c85a88a03ac51e5a9883d9ffad2bcd09c8ac827127ec4900af08d5 63d91e5a7ad28e1aa2511ad2fe2a63df511a21651e6f80652147dd7943094202 d0f8f620f6f0bf5d5657db9b3f18b5379e71a62f19e1590ca8dc476b4bf5d29d 4b2a27cc13996635203b162077ca4f78e44b5d17e1a60d3f3e8bba5fecec9cbb 299bbf6f60b61447648358fcdc29c183c98f11b76faa94edbd1a9d4b8631b101 03a1be54a2b0be1d03c836c62633c62d576f6a3b57f2d161ed0d224fde692673 48c7a058d5a32376dd83acda117b35b0c812ab974a514706764c42b42f4a439a 9fd3330a76f560b6c72f9699ee890755a15a256dd41e0b640f319b566826d2ee f661c362070e2c9346cba74bd7e9f4ce6afc17c616f0532cf55661594a3c4c7c db05e46b0afb48287a8c1b5d0642be77389c04e96a50fee9b96729cacdc95c8d b61b8a64b48af8b286dfa022817cf473cd1e8ecac1b041abb0cc38b475bf8147 39f6caeb3d65cd0d94a1f3eb6e889e3db69a8c2371e656a87005ecbc0506465d 661423d23f78d08aa4bc0eeaf1f1bab1d96d32e23fea28402c93209e4b650813 1f2891caba3d2ee4a3211980d6a1bce1c068e71d70708ee4ec6109f3ae368091 273980f270298c16100fedd81b693bdfe059c67b396d725dd2ab87a257a4eb16 a5e3f419dccdf2cd79576739ed674b2fa9d9392a4f770a1ec2a679e1d7c1622a 1c4c6e657240ccc88a52343e724dd463bf0ec6854533eb8c8055d87fc805719e 8ad06afac0d7c541657ce1bd16f3221abc0f48ff2b8f8178543ce73be7113e0a 95961a59f41cd7949b9cd7b29083f724ecd353fe2cff042bf837551d397e29d8 62e3579e4888eb2146e42353edcdc69f20d89257febaac89fa811fad50e5a74f 7a08d02ff366f264c9ec1b1c20d4f6d21bfe933c219c039eb89c685815f6fd89 6df033bdb2586a431d73aff1d639aec0332c1679705fc23a7ad29fb5eb7c0e6c d163003c00cdacc14239336eaad69325535ec3d51ead79c04c44a7ac7c5ce384 86fe0dd8c6cfb51769aab1fa9cb8bdf27034e16aaaebd036053b6621c8c293b4 562d4fc5b66ea0355ffdd9200b8b740125889091bb9ef4d43541e978b945ce09 52f5e17e5206c027fdba21a4b5831ae022b1646869eb4051bdab723fa97714a0 b7d0ebd6029e7c7391ff1062360a6c5f9f04b5be516325aca2c698165d642e71 161347b11590ddec08018c74b392e4cb9c1eaa328aaec0fa61a9715dabb12a52 1e1b45ccdec5f12b6771a6206d03ff3bd99521201178928956fa40b6b2d76192 54f9665eb4d3dcd0ec4662a8ccb26ebb288689258869a29020c6faf0f9d81774 df6dbcf6133c787f87e5f1429dda8bcdfe4af41a02d4a04ed4977b3486cba656 ed3f912b171b05dba4418e8b10b6da33845ae671cdae71b9edc2f67995a85177 320c3670984ba72399492677036cd7eb338dd99e22d5cba96eb69fa0dbaeff0a e9c3f76508558fc6c037a54358b3ca94b2da4215ac73cd67f6935e44239af442 65323ab98ab3db712f0c2bc917e826e8f0213027589721a18197bf4dfa09f77d 822d3c5415f0cffd1fcad5ebb18fa7587b7aba25bf2a060360c66ba0b5517b5a 8cddcf5cc4c80d9cf49e318874b66d6e58a5a5712f32cd220f8ca4d1ab911b61 53ff2e836ec1e6a9e8e49afd042892b91d93ec1ea6805658b33605c399409d3c 79df4058def5710b400cbb592f40956254cc724b0bd01bc56ce858f86f062810 435e81e1d94a663a083929b6bda7a7857c600e526265a2d1523143e7dfa270e4 690a5b22c738a7563f204c41b3f9496d7751ce9d1a151c0cbf9720ea56f2eb8a 0fa24f1017aca5b331bf3b938efddfc69d290874a176959039f2a34605c06541 bb53083932c37d7c73ec82396de37f7afb7e27763fba3713a837a2318f09206b a975e08add2738dce6fc9d1d870981f74f20878dce9cfd930f95fdb399438fc1 0972b349e5a20179a4dce31c6558975d9b029b1b7a814fdf69eac3a570b2657c 02fa36b36f9da13d42733c6d2a41f71955d88db612f14d97fc63ecc43ab09d24 a83832daa241e4aabffb43ec321dbd16c15a26fe8d335432ccc7674845a49296 d3dba7794cb24f42a3ccff13573798909b29479ba4d47a67b0a5eed027643331 e5e27332e5e24227ae53a57fbd5d4ba71ef6949296c39b67c9a2717e34cd770e ac1612df38736b8a67c9aece0340d9373598959189ad2dca97ff6a0764f81010 f21850de7d01a40ce60eef49cb7ddb18381c9e945d56778560fedd79e0836217 48367ae583ea33048d68f9eb660d90c42acfb6fba029ecaf05c1c2329afcc8f0 3a61156ed2e7a571b3ba95625413ff4c6851138c053dbff0dd7fb4a4217020a9 6973d0e86cd9754bc2337beb387a599d3e88164cba277655605c8df2411c7894 909f2bba2b1e8c53b13bb1fcf2daa1be5e0c0b2eb4a7ba02338b83a96782e397 900f13681aec0f77083a477df3703b20f96b0921409dfb2a115dd7588d77708d 4ce28c3b55570acc150d745352010fa67320dc254f8d610934b7b83b2fd274ca f5dcb6f3e16899c21a7787e5f81d91f7deca8d612125893c3d8ca8fa13f9140e 5e2af7f227bc88dcd9eba1e8f436048c5bb2ad94f973793a74f8949865adfa73 59ae938b52637f03f3397008c33ecd8e50548168dc7e7d13ecc5aa24ba69618d a5b732ceec2e3f1059671fdada49b3def1f727e65ffe6828e818f674e831282d 5a78633fef39f6999aad356e704577f62253648c26c05fbddef6c62d8356c7f0 b529a06ba6c7116b117ab9f98ed8cc2b9cc80543cfd277ccbba1bfd0e516d209 ad31f1324a7f9f3405f940b72aebe96df6d38ce36dfa94eb4230afe06d5fd1a7 c7d86ce3cd1cef1b9d99c36bd5f609a7ee438a593ee651b5d4e04651637d6764 41f2e5943fbd83e259c4933b2aab4b67b6d47bfaa2001fe9eba13c1a85e0f960 d0acce9ac013e3eee2b7db21e9431fce0b936349242cfa7ad3d469e13c73867a 30a3fb996cd07b9662ae09205bdeabed0364a751f5e9a12816629933a95f2204 3b10f61a4f87e1e80bbb19e755ee652feb335293c8c916e7f28bd41be8068320 fb1a3a5d93cd92ef76791a667b5fc308a1ac53425ff6f70b2aa2891abdacfaed 0b75d32ffb757ea9363e1a32404482c56abc31e28b29793b0b2501c6833cb70d 3ee032012a7085a7ad427d1a113a0107f1e9ebb8bb9f91e2f0c0de9433be1d5f ea95c23e2516b78e7c77f143ed2c1599e9eb1eb79a32083ba2904e52b31f018b 19d28964439c90d946281186844b380f63731aa5b584266b3f6b9c469ae03039 19617b2040cfc39e435ef8073c4f1ddd62e086b77df2ce0617160e5a62b760d5 4573c598af85db3b9b06b3811360380aa703017d558216546481da5c8f461453 d6aeb5411627de531998cfce3baed0d4310ee94e1d4ef10e461a026c4cb910ad 97c70b7f83254b8c74da1c50aa738fd0ae31b593b36522f2c5006ae23fd8731d 8c8348705abd33688410ac1fda34abb9c860100bcd43c0344491c3b799b08e0f 6b670548372f8bf23b5039a1ea618bca102421d0cc4e414bc1b39621fd3079c8 3c981d7f7818d416281cdeddb9c194a84af8c2171696fe0c87cfef3c7e3b0dd9 bd06e7b6b365f58a9712ac3751072928107d9f81bf85ddb49991928f115863b5 ee27d95c04d9f52611281e82be0b1fef2ef14e5c2471ca1d4ad99bea3a07e772 cfbdeeaaaede971e54b9cd905d83a113d60d0d6d58eb915a9f30d50dbe5c3ac0 ac61de3b0a93839103f366506c2cfc8c73e417fb0a1ca296abc0116b7f21d00f 80ae03f60cc68ab9fef0f928d902a7bac1f44f4bad6d54e008b7cb3442f81ce7 ea38c1db7c59594df07489630a594cecab16ce75376afb9574c38c6c2b4aef1a 5009685021f59b7cda229e3c327e6aeacc10e15d9961e2de5ae05036e5b7765b 70d15688e96f63d55ef8880c6470d43579eb55f55e8ce2d0d477139c7e40f50f 977d4e982b9d0bc27e5d8af7b5f8f2dbb172c0c58b1583251b85d1998629d9b8 6eb8f2bbc7d0236a07650d847d1232f9e434b6046064a019c3e4e681ffa3ea02 88997a3f74f568f5a480386916ba9eedbbc003214e2c227c99627f8a1aa000f1 31956eb2a595bd3a451199d7dcd7db57f944f2b7d54859878db80f739ccdf639 0f417db3c589200461ef8feaad36fba8ef46d45306a3e16c213cea79602ea368 8bec3f3d057a113b6b8e218efab8349726e98d0b4eba55ec0d3acdea3d3a5e75 d58196313d5188e35fc1a7a4cac91b26723aca9222662b530e2b824786b26961 8f389bb45f709de911b76a931968c8ca9abda72820950ac9df9e6f7fa65901e2 01493e133c272d8f41990e8be6171f7c8b5d9889ca20602e03ab9f7a89cb55cd ce2361129e2afc8d8795c3e963359b8429f23d3f847a2a8873d845ea80e41aca 75858f089de5915633a56a54fcdd3bc6cc7ef57a9b88edaa320b0d125d7ea381 69c31ebfd0178c527460ddf99c119c225020104fca2bed876ed05a09f5844caf 1cd9709e210d1f4310c5794b22f983c5b4e8fb45a2c1ee037cbb2e359add4d2f 058f9c19e952f345bf00b9ef27b8ad4775ebee1cc81357480812bbbe02827083 148073c2fd59fa96247961348a85b7fdaa563cb9968e7e6439203c1d6f062083 16655bdfb8e79c967d206cb153a3c22d149529546de114c95e211a62002fc902 377bac7b8fb7900d3a6c8a4649773c90d4e2b8cd76add8434537d89d29698387 a1de7d2ca6fb61777f1b5774a8a5820311cee33e402884d7cacfaddf56ad55dd 932d65030d73b5b539772782177eb3e5e88bbc72b738ac5779c76d4299ab7d19 05cb8cc1642562cfa8fd90493f06cf2c9f6ca3d844b1a9c336980e344c5a56fb 1367212f0d947a53e75fe38793eb07266b429dd4b63680b65da51135e6b7962a b2a92ba15f01fab8047eff0ae8a7a15337e9b3bfbfc131a1910a3f2e3e36570b 4749a3ccf8b0e719b86f49ff131d94db3df03ec40992c9d64e7a620d549bc78b 0ef8c976b4c83074992c56370307e7497a2e553526a12bdf0e1bd1854b8a0c4a 4adef2cf052260a47f5582acf24ee595e611b295c310a1974d7c3cb6e76a9d94 e14e0139ae7c90f2ef7f0fdbea7d1f83360320ca1412008939c832c3447577bf dd17a20e8c5d83d6429d60d4da92d9a1f79581e3fceaf9cb3e2b92c5f96b1e5c fd82245ab78704d6a06ed9d97b4387756605c7eaf9e368d0080f973840997d3e e56dc831fe7913d1423548580f3a46ef5ceb6ca707a3fbd9f620ecfdcd6a677c b407fecaa3e645612a285ecc8ffd286339f415c916b0e368297811b4e89e1ba3 9d6c7604bb5637477156046cffeae7c1fad79da74c59279543db4d5428eca474 c2e2e31ca48072bb80bbbd40d2d83a843157d95ce8ccbf8c20a8846c5f109020 47577d2958d02f966e5f0a477fb90583bbc0890640cf2585adb6e13ca7e67e48 bef0e2ccd78094eba4c88cb3a0c33e3cd5e46e4cf64a0ca1a1cb37d067817f7c 046b3d52571a42706e2dbb2024c8a082cba8615b8f9fcebf13e3a3b50357d873 a99e32a6af213ff512ebc35e96178fd8f0787bb125e326dc6b30fe59befd423e 2d1e77eb45d7fc4744aa592a8a7664846832e901076347eb32fcf2513db641b9 dd4901d0851f7334dec04c169a21330534dc5b11cf81f1cfcd71c861cc978eeb 58b0e55f7d261f3e1d7d68194d89cd284473a9a8c322cf9102a1f1106b0f9637 22243e28d2b8e7856f0b784123cbfc5fa3dedb00fdc73d4c91c1541cc0458da5 296a5635f8650cd71a0ba8d94719f63d9d55ccd6db9e6a5a1207e9bb0359f34b a058240689c659de2006036ec9191315cd0bba17735157e683c8d243fcdbf8c4 1bbcccc8637c7ad0b88af05721b23f22b54371c1755099f38712f3b5fbfc0454 be2b770d0e7ca8b9f4229b5c995b3146c129723a97cc47a49f6a5058f42e3dab 2d74583529ecc6f6b07d9e9cdb1c72e9e8146eee5c5270c51d13d15ebaba2ceb 8745c1afd4c1ef4ac4dfbcd94efbc6ed7063d92e21507ddc8e620d1924840f3b e03431a77996c565626a7f3c22763e3eb939191bbbdc7ab789b1d180b02b4d0d ef65c4e3fed17fa0e4b88eccb7bc4f739b421f70ffc0561ac5b891e4f2a20841 96ba3e7acd006d92e73af5a1ba18558615c8cc27c415b49e8b6157e237dd72d9 59f70182512fa8cf34a591a92f0b5e2c13c38f081769c147fdbc8faca99fee93 01ebd8751442c5c19c3879536bdb99d48f83502d2f3d31093de8582e120130ef b7301e9cbba8c1a6589f299f981358ee71497472add39f871005730a8780a02b cd65328504d4db437cfaae66f0b1af90204c89093b2146179622ba20de1e779c d402cb7c1ef75d1ee7a42ed42f505760faa2970f2012d975bca35d0af7ffcc30 817448a9e1e4a26cc3630b38e2dce38bd60f187914f9902cedf6fa17c5b710e1 93d414e2fdec3307b9ed697a3d2e767a476d6a8f93fc38bd5070a1a58d0ede6b 6692051e11a625eccc05d13284026e280ddb790723b4513c51765ea5b9dbf9ca e6aeba8a7d4903cc1187e1dfe9083633f33ddae3f55b42d21486fb937ffade3a ad1ffd0c878f042a2deeeeed3bd80ff4f124af7b14729c70095e29374019737e f19e6dec25fcae38ad404ad7ce2ce3d87e16a23fa4645ff2cb281814b1af2f6e b69e6df49b75d594fbc7deb089dcd1db871f48ea1918a57dbd8fdbc297abd110 dd32339929b2c8bab30af916e6e307a011fd1be4a36a4436b8bbf710468c96d0 aa9593e4415f90f0f2135297c0457bb980c08a475a6afc91a8f6971bd491ad35 5b466f2d648681790c9a2be6dd29b30cc05260f9c3081660278ba7a2b49e1b3d 6232aefb82fa6c94ea2e27f426a4efdda3f05fb2c633f0d39d3b4b75586a2a84 c9191dff9e05eee2db3f0aecc462c5c0bc1b36abe140fb6b4017 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMR10 %!PS-AdobeFont-1.1: CMR10 1.00B %%CreationDate: 1992 Feb 19 19:54:52 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00B) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMR10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 11 /ff put dup 12 /fi put dup 13 /fl put dup 34 /quotedblright put dup 39 /quoteright put dup 40 /parenleft put dup 41 /parenright put dup 43 /plus put dup 44 /comma put dup 45 /hyphen put dup 46 /period put dup 47 /slash put dup 48 /zero put dup 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 53 /five put dup 54 /six put dup 55 /seven put dup 56 /eight put dup 57 /nine put dup 58 /colon put dup 65 /A put dup 66 /B put dup 67 /C put dup 68 /D put dup 69 /E put dup 70 /F put dup 71 /G put dup 72 /H put dup 73 /I put dup 76 /L put dup 77 /M put dup 78 /N put dup 79 /O put dup 80 /P put dup 82 /R put dup 83 /S put dup 84 /T put dup 85 /U put dup 86 /V put dup 87 /W put dup 89 /Y put dup 92 /quotedblleft put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 106 /j put dup 107 /k put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 113 /q put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 119 /w put dup 120 /x put dup 121 /y put dup 122 /z put dup 124 /emdash put readonly def /FontBBox{-251 -250 1009 969}readonly def /UniqueXX 5000793 def currentdict end currentfile eexec 8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8 97e17cb027f5c73fdbb56b0a7c25fc3512b55fe8f3acfbffcc7f4a382d8299cc 8fd37d3cea49dabdca92847af0560b404ef71134b0f3d99934fc9d0b4e602011 b9cfb856c23f958f3c5a2fbe0ef8587d1f5774879c324e51fcb22888b74f2415 50d7401eb990d4f3a7af635198422283cac1b6cd446ddbcbd915db9bff88844e 784c6bf7389803d9450b0c21756a017306457c7e62c1d269f306bd3402e266de fc3b5e7d8a8d2f5bf0fe6ddd40d07391df4fad4a6018dce29a2b8f692b29f202 3a7c0e66de8ed85c14f1f8492167357f51a7e84cc5d92e0fee4d81cf7fbc8de5 2d2e7bb57142033993f9c08c315abade8dbc4a732e84e142d3bee51557910e12 cd8aa37c459a5e6b7f5269f59078aba3be4641a11ac48d0b625c8325b38ec08e 4c9e5e7fed976a5650d99d82114f449b9ca14c4ec957702295a39a93ef93f618 99b8ea06b092c3c1e503e6e436e0a9fa22576c8930ab3dc8c20f5d82b69cddf8 ff4dacfa9c54bed5a3aa3ea5b129fe96be632843b9b6bc91b615581a985db56b 1e01ca60ee69ca92cf5c0882ece62edad3e106d835348822400f0b66af658f2a e56ed08f8b0010571807009b73ab12a8cf14ca6c71f03c2a48c500f9d62266af 154a6375ff600d9bac3f05ce34142d6867a79581c533176bb2f3117336671e2e 44638a97167e2ea9644e31ea16c2ad2990ea33c54001e0c8156e6de8ab6a4d40 a7137ba275f39589fea2e2db8256adc103d6f9cc038037a47e8fd469c5f98a5e 3c15bd4ace40d340018b1cff7d1ed8abb0ac57b5b5a2c20a51957b96c453edb7 dae5affd91a46d938fe0a13363001d844ded4323f1ee6d30012aea19b024a552 315505535c85dc26bad31e09c50e6512802976d298c4e90d0044c362e6bf3ab3 62a454ee93de25ce54411090c29e9d75c80ce26a84404bd9de3aee0e3f921ac5 87f907572b8354a5c3165eea7e8b2ba4e333802132f760b41a900c698eb3d273 8bea0aaf7aae96a558f08b61aec7c7d65b2889bb7b99800cffee5ba19ac90fce 11437be1ddfcf0bca5670b543b9644a71c8726d0c1005abdb96f6e0cf7caaa31 95017ca81519151c2c0b04f81e717c0691b63a76e9b25329ce2625b711cb7bf9 9d23ec2bb5ec8aefb8c1a3b422ad617b3da4d49685fd44cc21a1fe5e1541163a b3e1594601d63c7e98801d7746474377ce93f81404f3570afbd5dbfe77578605 917ab96963987e6efc2d3f99fa56ecae6422579852567f90cc90e4ef6d6f71d1 858270205477e221018a375ca83c572b3f972c5181d180b9a4ed08492497babf 4c4296fb4d93a43f689e296f664727b4f4e34be908ea67e0ae69d9cff26ec874 d99b880fd505a1343d3631f8506b38f254c2fb35daff445581af98eff2fb1063 fdf44f29036aa511b2cddc65220f60ae4fe9f5c3b591fb108821eeda236d5f0f 08f4b5eaeb3310b442329dc30671fb08bbb92992450500e98e582043b787fb55 cff8ac0161f1cec7e564c40f50225a26b91fa1e1ec76826dc4155ca02938105f d64074c26f9b88ac1593f3bb982e5aa2c9bd248a14c2f76ed76b6d536eb0b804 91b236139a8ed5b0f374a32c4dd6ce96fb8baecc3367ec2ac0b74cbc55823c7c 5bbb7e4709189990fe91231c7eac420db71f1b813435e1294131fc52ba25e21c 499ab94fb249b70e2c3662cf56f1ce586185694c042bc8c5256934d67d390c3e bfd7dd16167e94a32e43fa282c18245f4666bb6e51274e29b5dac2d00a8b6263 901f69dcec66928672af8e7a50d5db55feb44d81381788fe84defc331f628881 526ee0adb2ed920a07c3f7e06f55f395024c89fc0dae7d7255d8438be9af5701 bb169988b184fee7b3c18d0bdc70543c646a9ffa9e675a7b7ab726927daa9869 50b6983543e35928bf2074c0b01a041fb491609c7d398cb22591f25b1789911b a9e8de39c40a58617290f13c4d3f2e734e14e8dab8fca4874cb741c755b1d3af 2d24b63d7a4c97e0fb667d6eaf4e97571f18e0b43518bc2cd731e0887346805c 3c9278db732379ac44b67375eb906b67d683fbc03ba68dec385b64369bcc14f2 5ada1147d74babc0d748ad86a16e1881edf06c5c6f642e39892688289e9c356b 5159dc3b6178226d49e82c359bf2e824f20e5a2c47f2dda7201b30ad169e1a53 28676731bb1f7569f6de13f281501806d7b4826843d33c200aeeae20ca77697a 943a8d11da42cecff84dd6a25e64025dffd3bc67d3a7d48ccce62e5937d461ef 019cabe214b78cce3b5200b6e19bc8015d3f76ff98dd4947f4969b98c7bacadb ef984266561890369545093a2c68de714e5963c2294ea0608751d8a8ed62a24c 32bb8347854859171e76fcc04546151bbce19967952116799baac1b2e2b7da84 37197e3423c0d86e064efb1c68167b8306bfcd3fbd3c82d099aab5f97b7a9fdb 7d030ab42303fe11f436fbae182f21779d16e3adf8a5d1cf18bba790fe87ff6a 53ebcacd8c3ac6c3535e23fed7a58ab3dd9d82267480154d992d636d95832d92 f9a2f51b416e4076ba7c38164bb34d0cce980762b348ff49e2af0e7c86b422a5 d8b7667a6b948887261339a02aae322e8a943cfaebe0ce1599be763ffd3f749c ec162f7d1a437f77261c52b167f4f4584c419d7966156a83dd599a10fa13bd08 57c0d7e8f3e75fa5f9afe65591308580e7a235b6257ea09a9241dcee3c819fca b867cf4910eaf64d0cf57fcbaa3d18e78f6ca3445319582afeb187bdc34624ec e07ffa325667611a133af6df799a61f5618c2d953a894245c40318571d4ef5c1 a67e799441e18ec85682ceeca8f5fc954c83f91827ad9d3cdbce1b01627875fc 98b79b31a1487f2b7c9b6e9a8b3549613e87c6f7657a0ceb8cc1cb26c1b013a5 9de4b218071858a4abe578ba245d786897b06f42c8dfed653e73773eeb22ef8b a72af662a4ef8dcabda5cb652b6cf8de2c2f98dd870b79e528572542413644d2 e2771c25bf871a77ac7e32bf25aea6be6df2c032e0bda18b66b1bd1f7e3489a1 1c8dabeefd7aa2fac1cb8e8797524209ac4b78cf80dd4a9588b2c9e7844bed2f 74732ae644c418dfde41f754fb78eea5ed1a3811b22a6b6f0286956530771637 a3746210114751bf8a8fa3118080975794919888ca9e6fad9eb3c74f7a0329e6 2714da0fd8dd62dff08c924bbfa554701bb528736b405176f97413c766090fef 8b0ebaaeaab2069a98ef9dc82cc7b1782b0016928f497a09e951441524fab082 1ac9cccbc171d47c407c576bda5d8ef07045520fcc79d1d3cd8611c524836e6b a54894fb49760e94e5037351d90dec64f8ffa582743efef27d0ea39a7e793878 d13b5a0d22988c7170f11e2088fedfe21b61ef5edafbbdec0793215ab00990ac 31eaf513e1d172c3c3bb657d3447cfcce20e04a6cbabc29e34074b7e7e55e107 5d415c0b87a107adb6edc63dc80caafd365a745eca0fb6b0cc143ecc27152dfe 7608d24dea4c1409243ee1a1b0e5c7e71e5583383e6f049b2879c0e79db077f1 4f56aa6d3f0d04b24e7b45078e7ca36bce11cfdc8aa1a9e3e5d7e7bdafa103ec 3eeb01eb88cd5e703f54cea4bfdbf0227b510ebc80daa26b48a14cf5068f6437 e3473ac5cbdfde85ca3573749133e00ddd23afa48ccb33a8719e5a4665bb032a 1762a7a51991a74573e3e47c3c03f4223f6c1280cda4e6c2ab6f5414b0b38bde c8b49ef2e1fb242bbfbff1358ba1ccf3797b75d63f3a1b7ebb788b3f12941014 2c0b012f504972c5e3afa64dafefe74703c15af6383ec625cd9111f93320494a 4acb8dc923d9249432dd80d63f6e97f0a4566408e6a61a6601e5908ce3952607 d74017cf1e86fc1df84c2d734618e3aabfa147efa0b72dc88f64a6f2bc3fc0c2 81692ed55d0e8c5b6a1c56943796c41cc66e1a1544a2c44aea18dc8562a1415c d3318b982981abf397a011d38fe05cb4006936447a50310ed96b3ff3d7353beb f9bfe2acab813df66fccfc430ce2e6f40b7d51e66147a946135cf7c9293c68b2 c0f08c69d20ed1447a64853b97c1630b545bc2a857ce8c4431ced8e2adbb525f d98198221362c09db99a45e3a1a26e88e6b2a229703e5b3355560dac83dbdedc 11b86c7c8ddbd27ac25055b4b0638b8e4e8c5a486da1b8f31a4418a8dd23d13d 728bcefe88ee43eec67ee3636dc02669ace26aa677a02898d530e7ad1ac35294 8f5bf15e397589b714e6e4c17c4c633483a8fe86985fac6678cae3c5e9819860 b096ae5237e53e7453617af08957da8c8a4e2292790dff1b13f69fdd6bc7eecf 738842452799a6ed31ce1fc3adfe59fd694ab37d65b0fe2dff45b54f4351456e db854f39d3bc057da74adc67d51a6c349d9aea35cc561829d3ef6e86bd159e9d fe2b66462efc66356ebaf7e7550630f7d34811868b57b19efa8ea603cd8af452 f561d1eebe87c258e89508cd469d20ae21f545b1206f7e334f9e8a3bcfd51651 131ec48ba81dcd0e8ed472e994c3108005ebe02f324e22166142b4243c2c5fea 2594277f212e42dba26cb39929c4a25dac9aeb2fbbbbf915ecb76cb6ee223ee1 7e11d0619be9a2f90e931825a00169de86f40362cea69124444caab34ee85235 71f57dd2a2cb61eb4a98a060af87fef27b9e0218bb0af8d725d75cffd29e0f4a 9baa75cc5f6ac070db3e13c74174693dc7d81cace9f43ffed1f16ba6de8b69ed e59fc60a3182f2324d88ca0a1eeb45d9dee4d57d34420a41cffa97d9c07b695c 1be7a1b0bd434a6809ce5c638d867fcbc2246adc63910bea15c587529b9442ca 8cfedcaacc318feb788754e00d9f5c4fee56feb3c1394df332c278468d2415ae ab983d4a5bc311050f4e233e4bb931f20b639efc018fb7b1f5507f09a7270535 c04a6367e2edd6cd75aa8d56712c0b39d582ee75a77d499ae7caeb24cf3bbc99 e2de51051702e996b85a0ba8c96344dffa38984bbc9d1d2993ae468b27029dd3 77321b10d150901ca4a0d743366aeef5c7747b51693455aa95fcbe66e2c0a8cf 4cf96881410ec25fe7cb5457180b5551bacda4e1b3df7b954eeed906f4365e3a 20a9815fea13b8001ff55ab09c3bf3371c018e41f4dc6d31b9cb51b03906a619 c564ea5d20a140f978602a149ef6e3a150aadd74f47c623daf68d93d395442df 3b791496b28ef1e57232ba99f31e08207c741ea18f5c88b041f443ed4ef46931 c8c8e2cd2a5ebbade424b5e2e99a032ebdbc1d4f2d12f0ff866e0636e4c8bd00 f2dc3f4fb35967856aac07497d561dd3645727ffbdf648ebaad55c286e5943ca 9ef6d478af0b27a0dd7fa2612f70142509e9852504880aa2781ee0ccdf45ade8 b935d03f494e1f6b60f72ff0d80ccbe0968a2e831f6ccca501e2654f8bce4b60 18cf6f43425848fc7742b34ee46c9723e9db04ab576a8acdfafe2b6e72417eba 711f8047ebf629907a7366be3a74516860cb571a18d3a5528d179908f6d78485 609ded7b664d694e0f6a690a9bd7b66775eebbc1aba860fbffe1025a19d571f5 9f412528145edc8ce124f19f5d2dc1d6a9da1a621872c1d724849aa62e5c2a94 31a6c493990c13ea07b80002c104ab8d8e2d34ab1cd0af1a584796b4694ebed8 84c06b82d918c7b4d0ad072d061e5e3dc0110fbba0296409d2acb7700927c81e 5c5f7dc92bf65b2a02fdefadafd6b0bed22ed2131b6be892e19d1dea19f4e9d1 0d4e726ecd574f50fa1defb9ec64e359c95b4f163c3159bc670ed811fcde8d7a 6e41d865eca42b4f8da7008d1196dc70450c98507b9026d9e49925137071a9af 48d18479b6960e6767c2342b1aa0ff53ea273bba0dda2e563808ae8c009efccb b7be2d9789948252f7b1648fcadacccd28f1d4d5aa3f359452c79b68c7a55321 e7382e744cf278da9833e31b5e90e597277be263e00a18969e7f957124ab3224 695794f961a173a1751a0f34df70172109c9e01b48c3668eb1a0214742d77079 1ca19b6c73d76f86098b167d5e9714f8017f3438916663f24481f1784f29e8f1 b5e45a77807daa1edf27fde906ed81edeefb75e9d5c7c3c090479b2bc5751199 cfeab10c38c5ab9133be5be3916fec71b77d5516ddcc148737dadf0d60ffa9d0 058d6f585b50d98da461a7cc975757a27cbf5f4e65c03f362c0f2565b2f57590 42731a9a8b7b5c2659b283c45300ee8fee0174ed7fe952a17e27dfb3c78f981c 602ad598392fa4f9de6a39bf4dc42492634235bad6c2a81c8d8d898a48bc8082 5492cecb1d8189a58c28886c2522d104198cde1ed05cb7aae98e2a1239d5f41a fc466da4e3b0ee0e91d3b196e0d7e3ee25c7a69d3d43f371950f20e68aea57a2 f327e943d4d3a2c04d7ac891e1df247729555bdceaaf73bcf73ead56f776f1ee 9ff263b11f3542e93cb5d21cc46b7ee23b1234d61f3deda3b52fe7156289ef8b 4b8e7a7db9ffdcebef5c1f361046c1d0267bebff7abb73c86d642f61447de824 1cf8e64af943ab861865e7cceaae863ef62c67ed8e863fcfba4ceaf8d0ab61b1 a7f657822d9651c553334dd33e474583869e2e5669201c706fd222bb96c5e895 ae74606c3dea19aa2e34fcff1a63cea06c96ddbb46970b5890f10a4dd74e7b45 a496b1e618f6b443bb16af7fb030e046e30db86fc194c3516f7b0c2835ec014e e28f3bb77d09dddc7149fe6b35f574f0aab0fe42d5618ab64025746d511e89d3 aa8184e14a7a9f0ae419491725fc0ada4a59f37555c4e053069fe7adeec34278 7d8d6ee34184b0209e10e8d298c02b9cbb012e3ec54383a19e8c0ec795e047ba f95846dc2a213805aeb0d22d8f96ad3bd6c169a8bd66043d363b499a6e2488eb a1954fdee8cc214a74da0eb45f15e5c8da33ff4933760e71f91e870e6a0622d4 ad381d5f2022f4bae449f53eecab3df827c481bc1da7f48520ef3b0eb7d8c048 19b5b24e71983dacce8fded63e3e7eecb32217fb7a371d6a5a87cb6ada9f7161 d3b846dee32575c5d3f56d1de5f3551563c2a4969ce93647e578ec8d4273ba96 b2ef8bd2bf0ce125642e612de321a8c6cf981f8868391267207178b7babe8cbd 4b73c30b398a4c4b73e01f971a7ea5cb771feefc902701620b11d7c8cc3e9bc2 76bf9fd2b31876eb58b5ad2f5e949d3fecc58d48f8a8d61cbc6b93bc041e12f9 e984a0525a085ae37f1ae47cac6224b58649c61b30367cd880840d1a9a6cc297 d20366c3ec530ba7f13f2c9cc4d1e2a21b8f1e9fc5347dde0b687e99b6ffaff3 00af76018440d7a0a3afc60afc568e5e97ff315e204d2629078658b3efca7d40 93b7723dcaf608a687cc42e3bf5237ada6a28493a104acfc4ac5470a6ecddaab 8e342340bb018a011f68b0431b96ac69ea23f07846a375b351d090af16b27660 42e8ce596fa7ed2f1d4b3badcf49c07d9273469dbabc42db93a5d7b5dc6cd82e 2afc1f8c45df03f42e96ab80b45aa7bf363e02d01040fc52a90e13b2470f08d6 83169d71bb1b5308b54bd7005d77e398e9d2ce9f4ce17cd64046ad277bb5a4fa 99dbcbe7bc2b730cdb42f0d8fcdd0d02cbc2d407bb790315f014e400e3a83683 b03fa6a0cdf379cd61253976b1e7e975ba902e10a4919a863e9db1ae830eb476 9861be7d23b2b84974210163b9990765414dd6da19b45e9c11fcf5947681b2a2 d8e2fc0a92243bce6ca48a46f7fa5f907eeb98cfe6eefe5431391f42d64eaa82 9f601f1fa47146805c3cdc36975388dad6f0bba8003db98349c0db8b29fb337e cb9a637d690c727c4094017b381bcf6d30637c521dac078598d7723cca4df50d 31126dd68cff7e926d3ab7ed10c7443df30a08c8f4f0dfbd9217a6edaabe27be 19ba8fc71156a650e6c2ed84f0462af02441ec134b9a48548e5e94ff8befd16d ad1b8b212f80834e5ff2b6563f864bf95d68bd2c5497736d315e1cfc2038f352 044badf065edfccbcd14a9d4f7e31ea8d8a3895e6d436d5951140a7923c87d5d 4b64c3af390a39d7c25755b63ddc2c4b8c6f63f34be1caf7c3699ff7513a2484 413f7968f0d544274e9cb8218cbb2b924be443d07081a761a802b92046ade044 68f2b77ab07d9839d39ce29b52ff69d4179d9f5a3343a3a8d597b86f031fb077 d9160ff8ec3307dd1d748f2cf893465e1d9c1c3aa7b2145bf36007e02bddf668 b1da3cf380fd7d332db429513498975e442b9fd89640b089f03e15fbc8377502 32e6f21a5661b40ec1f5b71a3f409f16e495992340ba145c4dfb45199004cfc8 1cb92664061cdc6b018f73109fb673c3651f3d437f22bf1cf68ec472860ac4e3 4041124c095b7bc44d933cb749e1d6f4b13d23d42983d2d7cb2fcb144001f97b 42ead5af314e0bc113799b2390116d758baee276b5ff16f9f3057dc375ca6514 7b4b1e299ffb5cb64e0de289ddb0b83d8d0e56b75b5c081f5029677bc2d7c662 0a27b8809557c815125b6e4e5ec50d61be1cb059651024204fe3dd701e0ad80e a0dbae43771c82d29faa71047e39cfe2679dc442406e43795fc3bcaaeb2eb50c ea5ac43fb8b5d664b3e005406efc04ccf6c5f809a82fc2457ef2703327417412 20167cfcdde6644ed207de9b0efa4fa63f2c202fa88854a5d530b314249ec3cc 46dbfad8d8b2ff74e8eadd71c2ed0e1c64bb40d57ff87347eefcc52ee7cb3cc4 35c31123bc1644163ab36f07db30c0993efa8dba3686231ec19a21176fca983e 9002a80718e7ac309bf7645a22adcee4ec2b0287c9874a2c9f9c37d62d06a92f ae9b15935529c5585b7951e0ea9a4e4b7aff564222dce5df658cb3bf5918d325 dc5935f5bd96fb286006bfa19dfc834e93cc0c54985de4f20b5eb34208075682 742fddadea284aabd49093acbb1802ade88b776461bbbf617260ab752386db7a 68221714ff11196e7d5b9022330cf45768dcd3e131ae2b0dd43d6301bd001c77 df5c3332e4eb5e1c81c261c96a31b764884948d8842e0012a8ce2f4f28eee117 157f306a8a5c8be159f7f4dc7bf4b3254d9a09cff803877217c7f2e0eb9eb877 20362b9da0242abaa9f6974307e6a2cddeed92d688ff2185d36227e6002bc203 8a4e27e5ed945112b1774b0c1c5d326fbe46cfaec474141f887e5fbbd2560ea1 182138b38982b3ec2c8edd367a20ebb073511c812dd5319814c8cdb9547eb9e8 75a761d0b6942b552109e827abb81096835b9a05afbd1aeb425b158e18352ed9 6fdaf850b3b3fad05625cc7c9c70dbd6ed08b2d078f17ab2af457f0567d9c1be 33fc875e0169f6eb8e4300dbc96a8c9e87ab6e0d31d828f761df82d41c88a59c 25275c06eed4935b0f51e712b4be03b90cdb8b2920609ce5f251a114ec17133e 6bd6290843688025ba21aa91b41b839c75163ec8eba88d7c8a9327b816288818 53b551eaaddeaca59c41e0971d29f7db16bc4e75f015e71552fcbbad01a18332 ddba6bbf636ddc4bf45b49bf0a7cb82c7a45653ef3bd454fc6d91ef0feec01bf c371481d223e8f0331efe0763ba018580db2e041f96c6fc4b0b913e3afa8a3bd 0a8e496b20680efe778083236119e9762903c20b815821cef408d8266a639f67 0519eb84ac5c422809b1373f2250423a651bc1003e7417960a4c1b3ec9037dbb 5d9cbfb65376d6f6339658b109a62d74e41be265a2a7faea2e0589ea854bf919 5309782eca98be1b51a0b80806c8fea3ecf553b5234f4f012b947fa2801dbfce b595473ce1e4d73c480aedddab19fb47bcd7b7a50357739aea7271f9479a5a5e 89d4cf261f75500454c425882cc1ba7d0eb305ec08cd6a72bdfbfab3f6895887 c0ab70aed20ee5e7c1cf5e2e27ea17721c2e7bbd414ae4f931e32146b0cbd7a5 a4adbd80ee713bca9686d545b29e7026c7bb51667404c2b647aad3180da1bcf0 df4f6b8b91c5e2ca70fe43292f83d14d555a3867c17fd2355f9552e4fd0e1fd9 d3135fb7065343972a3aaa0c471023c586577e018d18fbc1c1dd2dcc7da679fa 4a0cfa2d8b82c82cfe0fd104ed68bb054bbf6086f415da6425984a8d849bfa2d ad5eb8652fb98a0a8fadffc22df5372048b69a98ae9127d3a28b10febc7bee2c 8f8a7c239e41775ba3c2d9d14112926d9ab4ac9bd162e5acbfc7851769993fe9 0030a64b3ab14075f750c7e5ff797fc5af9db64853e93071b6b78cf39e3ca0a7 6e0b2f1afe42c2f5c866bd3e7e366aa0cab0e8d13e3f0c7b8cca36555557c762 ac0eb3b16d3cb10dbc8fb7022a0a19539c8eb2ace51fc96d307cfd4671e6fa63 15fc3dfd605b80dc7243e36d8e86c11eadf200a2280ad5a8fe145819899abfc2 4ecd95490f09e372e7f70c8ba4190bc195ea3686760025bfd0531af912e7daa5 b1aa7add46d97d9904ae30eb174903c38b494cdea47b79c5f224744c191ba502 0a38bff865f59444368c22ea16076fa962d1806cfa435bb117f40be5362da4ec 06fe9d6c5d03445960e3a74fadeaccc7135c5dcc6132f7a3ec77a378f9fd59bd 0d3c8272ac2b1f0685623048f33aae48413ee46453bbbf080adf9894aef58d7c 19adc826682f212abf56a6c7c879a8b1a231ca90d6d2cda6d5ab32e9a2574303 7a17125c9540ab41cd8efc038edb7adb793b5e331c217229a6de81374eb77464 99145f927e0c707c90f7ab0abf019c89d9d720f28648eb1bcca55b5659485032 64502ee7b5bfed010e3872d2a1ea2045770e695e28c1425e5a0e48f6f39be89d 043682bc2268d04a4533f4adee4a8260f3ec42142c8388a02a99caa7039c8dae f38c4f85e5a0464a3586a8ef3b4b1af22182041e5d1a7114ae1ed07a55086308 4b5b6b7fa9bd5dada019dbef313f1e0abefbf5b4fee8a3fe992cf04773d01ec5 a524074d02333c84a2c75ca48cf1020eed8e529e39d8d1d39f1d58aefe184efe 8dfe5f493424111027741f2fb60233f378e6cb3dac63197e5732cd4c9ffbdcac 8c34feafd8cd615dffd923e8109246949fbe811d2ad60589a4fb151e568f1732 3a1c172723b22b46368e82ba9c9b121ac489f8d33df0ce691118c0b8abdad690 9555b62d53a9860f12c1ef7795f82c51b006c294f4c0eaf8e30c8fbec1e78fbb a09dcad41e02f85e33b49d6b413fc12629a296f8c89845132cf9281222b8331b af1e9525895f1b089cb066982cb15d9b89ed5fbbf7d66f29c91e018b38744a5b 35298c615d53664402884ef4a022c8d34836b6cc9a3a45647771d078dff769b1 971939cf596f3133f6619b7a433ef2d6aeb00957da43e64ace0906f7d02994c0 419c94878665f0a58ce38c57d0bac4ab252234dd1633ce9c3c581b79e41ad14d 5808a0f353c52f6129749855f50b2fe87be9e17d8eaa6f487ba577bb21e67e65 d6fd05c2827064fe4a589ae81696a05268063a9b9cb176ede9a193a552464011 faf3f8bdd242e135b2df13b1eb674c806f90eef71101a7f490d9c747558e17ca 2aba913282500a67e7f7a531af423317650e6b296c2af4bcd496372439ec4254 368e4c1f9875e694d4ebad0805ac312df3a95e354a165838baa51f0594bda4eb 1c83e3d7a049620b1519b9fb42c13495467420251931a463d0225c7524359219 03babad64660e8fb222ac94442536ef5780ecfc0f8ca35ee9276e79c97b179fc 47d9939511e3ee63843cc6d4e00573a245871933c440ef1b572f60aaf3bf8a6a 1c16a7ae2180fd0c6f3c7ef4b0cce89779771dd27738b65e2b5afe25c395c4de 6e73a9b44c96b5b2f3ad8928982f02c4da4d0b544e9603ee66f864af9beede04 ea3fa0be837724ed672854050d38f88a9fcc7ed4f3e52335387cfe3f703033b9 2216e4bf5c4a06abe3c801c007cefa76915f93c19af51cd1bda43057288db9c7 ce74c50ef2bfd5468656012bc83bf90aa3f33aaa51d3326727f492e599245b36 a6396c58ca3867053c226ec750bb9fb1f788ea7a1233c4d7a717b43e832542cd fc8888f757127cf858dd008e89ffae6e36c0107820218d053be88dd9a2216d27 36217bbe84c9924320fd3efd97df3e74fb97cd152bf19adf046d488e3f03522a b8303ca10dd8b036e10b375fe3bf8fcea6b7367f482f54a997db0047121bf821 f2760a14bf2f9cdc067a3f1f6271f67e15f3536e7822a214314f2c3d9d6d2f2d 5cbe947fbc7dd8aeb8d89ca43ade3355ecad10fee9859ce57256ec8c9f0e4e00 7c9c2a2b93cd5664be8495dbd758dfa4a2f29f9d6e7be6d91085984fa87daebc 23c69dc91be33e8ae1ab7ae437d5a46113692dd2cf2f3b5a11a223c2ebe28be1 71dc2ffa58f0f283240ec35ef20f6437c11a3397ffe7637561fedf6cfe9218d7 fc16747e9d725d92622b06ad4f27c855fe131a5bf9ea36cdedd0b0db31d587b8 3385ceadc1c75a91a4ed3975dda59bdedd50c80eeeb3c8ebeaf6c960d62df39b a4019804db8015b5bd41bab72cea437b631d3ff32b3921e4e942799bf02b7d9b 2a93d1d2cfbee5bf75bf6ba7b002225766d4f09d9f712bfd89d62613567e7677 81ae3c1e4d8218676d5011e2a4a4ad5a9e32073b471931bff6f16a4adba5a2a3 25c328815b804a030fbe0cede26cfb9fb8b90162424bd30b4e77922b6de0b821 a7999dd970f176beda6942d3d1ce614b007f58ba19d34c16af2ac2913147ecd0 64ca37a647e76a6565ae7821b492d6d6cbebae34c70b70ed7f18e4afdc577df8 d4a9b8006c6962fedca4ba556f7e5d5450922b8c38894a87462e755b0f3c6c69 a3b5a6be8bd48863d488b31e4a358dd686389fc1149af65c02be8f644f55598c 0ce843bf1913b456d150ccc28ebfc04058a0a4a9c6978d619d663877d70df12b 11b4f498a1fb5e331dfcd002eb416bbcb2505111c87f6daf5bc71d9bef7940a1 a84241a84feae679f2f497ae7c4aeed7f4451fc1822362fd17f1e61809146a55 dfe9c8fd19d6bf7e47a28507e6214055022100ed4f5705d857c4c9b860b729cf ceee76b3ef36fe0bb2bee9140ee218133072f0b63ed8b0dd488006422e2d2acd 41ace441197de62d6ae78f9c3098ffc4f03a3d5bdd3796663933deb016acaaf2 339fbfa7b57451fc2faea5b1de78009b7bf03d258a9fbcb8355f812d6dd073e9 de0fee1e9f6a90e743d765d4389470ba7a1a27f83c1d14853e528580c2ebcdd7 b95a150144997c1dcbf06ed55df66d4cfff30485f7b7666cb994615fb45ed931 65e41ac6e6f6466a4847a8648a32fc5e98d0cc9c0681bcbba48baec83c54c265 e2c01f9cf75e3ee0d15e0fd1b9b64dbf61b87808ad6e460f9e37db2900e9acf4 73685ce6fd0d46bf366de027e79eb642b2b0ad76b134a641bafff9cb27977c64 81892136c78fac319e264d03625511dddeb4272bfa3dac8c37835880d3be9a54 9dd34328e5e4070766f53913c3e1579b79ebbd0766bec342fac35d3dc4a15ac5 4ece7cd3337bd13ca2a24b9cd77cb472c862fe6b58b0c58b30406aa9d6b760f5 3af2f814c2fc9d9863f79e1302b3b860ef860623838116fe4551024a0962d6e2 c4f915a213d8580ea59806c69922102960fa97ab81b1358692d76ea0295d8baa 9cd69dfc7a13aa92d95cb1c4f765a68a4132f5445f2e636df64fc837f79dcc6f 9a87f5b81d7c6ce4e94ec25f30927ebd4d9474a952b30b0a8a0809c59c633a6a 099f038ca5f5be34e2d8e7b0baddc3e4bb9641535cf4b79512abe0d67a6df3cf 1c2156f7cd20e381e696282e9faf6a06d26870fbcda595d9cf44ee13f62632cf 2401f6e617aa4523a901e34e55246649622f8890aa345e943ef4780f8d09babd 5fc73b6fe4df6e2d16945e74df1d2a5944c040eaf8d5ba9f1433db269e57dd88 571e6823b4252f8a98fb26e8c364fa3413ca4e2691cc05efb37e97adc791f287 a891918d4b888ff2d3c1407708dcb4b2300415df30a2d59aa6158a5e810764e2 71fb2fa0e4b9ef11ba8dd2cf0f88ec3b30c4124affb5ba2d46e4b6cd3623bcae 4739e7d5f4d786868d2d949afc114a9e87a42474ac9835f667aedb1bc2da36aa 6bdbd9cfa5514e4eb998ee3d858aac47c6092d3a48ffad88f35d6fdfbb3d797c 4885b11ac1ee80e4d93f394e5a7543438f41353e857ebc421da86f7b89137899 8b654c1c5a2fb1244b04723c67d0759f39b22d5e4ae7a9ce9e0f7cb29ed9bb28 a90f9ab79f63c5f4e156c3e1320a19a6970007da34f894747c3c4b6feeffe52b 325a83d7da8afe98120cc58da9b5c00b16e96f4da4463c0d4a378cc097ab2b91 e2df1d62d38f450932b8974766cc97408d7f893a1eb31ea2742a56d282d9e08e 278ff72a847fba65e9ffc81eb612873c5c2602616b97bd819ead5fc9244e1133 847b8ba716d4699c9bd62573bd22c4472a7b37ea3054b23d564d654d1bdd8cd5 efb78c76308936d5c711e95530311f0bd3b61a0b87da88ebc42c3ac08dea3853 88ec2d82cc6b46dbc3bf58896c7af9fb106c6611e07d7156d2e5f88c19e219c0 43f665570a16a607911bf790914193d47142363f5216f6c174897e489e6b50f3 2c0a65a94663c1bb4805a7fc8b5d7fe05b751cce0d797dfa81ba046d77b38b1b c5c8cebde0298af9618fd5a7e2c7744575c501e2a5c0548872e3a36a81aaf8a3 94bebc21484b462e337f92354d846dd7f47f06db0c2bd5bb7d5ee97ccc45144c 12397c4df7a8899a788f3ba4285ac9cd82a9d4c7c71e2900695212d6b7beafa4 514f403a7ca2eb151118d01eec0510fefbf55fc365b3cd79199bc6e4b9e98400 5add2fc0008ce7b5b54b10d8a5633c2fa604506a0fd466b298ff124c6770e60b b8dbe40445ad6fecaf4e074508d5bc344d8eb0b43a18e5edc904454656d615d0 8dc041c9df97c02319e55a31d71a189d9f142b309307086ce3ad5de033cbb267 ae5fa4d2fcb05c6e803848ab3b47413f071d04977840ed7a194f299667119eb5 9a0a15f231205223ecdd7a4cac0cb35951183be29d3763fa3a0eb5f134c5ff47 d555d6e948e60edb5e504499eadf154e9314b58d1589b94e4e7e979ae5d35f72 37f9eaa2c15626fad4b96cd4db158cd411544ba5140bb1dfb0d404c6ec67228e 6c255eb21b2d7c63e450d5ba1d37ccbdf7b2c0ee1a33ae36ca1aa8741abaaae7 aba538073e2efa90ecbae19e86dbae0b989d77d9dfcff2ba30e533aa0cafaf93 2e6c810d4cae0a8c5166bfed2e3b0e3644fd173bc7009ad5861cdf3c3f02205b 5f8556b5dd373dabbe4d77bc2e96f56a988700ae20dc152178f476f706d25e94 13b2ce504e681f681cf6e018993a653867889718fc8fd1b5b3e5649f9d77a354 fe5e119e07157cfcde8d8c4893ffcae4dcfc40857e4e8a9387428e4bb6b1c1eb 55f7f58bbf060c3642b423b0284fcf618c295a51713917f3fa301bb3ddeba913 6564461a124bd753b752a27e8d892a80943819868eeb5f3cda8992b19b12cdea cf379aa599390e197c109a480eda6034768fc435af7ae7612c320077d907053f 64c2a08d40cbc8f9319114b22cbaaa2302dff59e94b37e8cbb227ed014ea0491 eda87266c3c087485b623d736d0e94581567080acfdb0899d09d256ee9db7e0b cab4cadd038a7458875aac768a9da4c6783e64e56e22db39819bdb6f2e5a36a5 46b1ce894f87203d95f68822dc154be7aa2676f372df7dbc3a30fe887ffaaffc a2fdf710239361f7c1292061841b70ed361ab2caa0372f375fe52cc0490eb1e4 99d8d694ec5b9395e23fa9190a2d863547cfec2a235a63b82cfa2b20420b6368 9746e4369de56e45a9783a300d89bfb951054bba53d925b63eb38d1f6b7b25ad 9111ddaca7491d3b747c792374cd7610016a470e3b27c3075c525db616be0a78 63377b6a094cef4a75bddbe49848bd49e3466b7ba685a780c9a61289c5eece2a 3720ea99e94a8d11e9a342354b5e0da3d46434ecad275b0ca860bb6ca6314bc5 b2315102a7cc274a5d2ba4736e767185f31b3ec4ca9fc150986ff426fc406333 714bbb26291a55d9de879e65421dc0786d5bf86c679a107cb362ef8a69acb69c 39d7804c6a5ae7a498617aee4964e7787152ec8285b35820ded5e7ddffa48d17 58a6fb5e3b35237f68c421cab4f4ee168b643aa19ef43167007d1576e5d49144 c98f3c304241a07dfb82cb93b942dcac70b1d5d5f9712b8fd9ebd9e428c13336 9ffaa2f1dcbe418348fcabd5143e0ea1ba95c6f754e2f09349f1d82511ad2f1a 95713b4057bce410e652cf5a40ed03b1dbc0a60b0fae14ea37f3072f78a1bb5d 022dd8559d4ba7c3daf13fe4c47ac67dbdaf89b0ae7f74e0bb650a576b7a9569 b5bc6acb1a34471ba13f850715834c30f00f7e42354e52c3e5aa1db3611f0679 20a5f79b491300de14a1537e1afde72b121f036fcf307519fc121b14ce0f0406 16e1877c58654151c7521000922ef3dd4c5555bcefbb62a78dc869ed8022df6b 3bc173738d012e1e74e5f2ed38389b0124bc762eb7a8077ea33e8ba980cb1dc2 7b5653625a97b875e3b3c526ce98e1a84370ff2921178644a40d71bc115a0780 87154e0e2e4d642b19c30f491b381bd94b33a2d3bf5be9b5a8b7ba3e0f8d32f0 2a80eee96bccd489ae7a37f534124e36246f542186561468c023bcdd6f052761 534659c5dfb83510f49362433170d9a861ed92582d8ecf962b9c4ff8f062881a 35f29288634ef986cc0f923730f9bb31a4a7a689c1e17fc13deca4de6a0e2d27 e764273be2acbb7caa1e9c7c66815228fd3f485d1651925e3e640697b4a6d85e ecdb74f02986fd3560aa8173847a537dacffe02aaf041e9f17bf9134fef19e4b c0549fde7503c4e4212576ea2ff9ecc243b910ee88fd605c0fa1e0ab695e8f14 560dcc394b4f49b3721b9bef8854eaf76d87864e6d771cf5c55ea471af28942e 70a0829d89e1016d962245bfbbe25d53dcd99d485d00cb107e0c8eb87893f031 e841ad36ef167ab759eaf4ad744177ee7b25ac2ec685f3a012f0c3e249d529df 7b6a8c863a462e34a12ea7aa2e582bb1955fc33e16ee0f5a9ba97a55e6760ed0 0b3d4c381d2496b954a9b93ea3c88de2599fa809a50cfb86d3fca4402f735211 f23c924a9b37d3aaa644f58ea54775e490c71dfccc92cb61610206cf30154c23 99392c7c525946331ca5f1799a7b75b5e465c67776ca0f735542dfd89eeadf4b ee3fd82697d2d378401201fb1b9c48adf1dcc81428743998890d0689f2ce4bbd bd3f12fa849b4bdfb68ca9c6fd66741fdc2e2ac7373b921e3ac8a810305d1f64 867a01cf77b9de039134a8981eada13a8ca6d9c071c1eb91295bc3252bd80dbb bd6cc2b5905892d43d2c19ce33f1a8a0ce0057f862acfe7a6a29ff8e86c3bfc0 48767418586818e0c3a0967ac4e24bc3f353c29abf2f3185ece45fe1b3e4bbef 14250b15f9b1bf36a504f345314ec59ddcfeb9fd89c114282ab24997f2ec7999 872db502bb792f9f756200716de324f54015084a59aac0f50b70eac5cf60a5c1 1d376fa64fec065494c5409e18d2caa3b6ea5e220865638a08a487541ed82840 46a84829ef58a4fef5f0f04f0ab64a17ac86f9e219205543a06873ad0529a546 845acb5fd0b6f87ea902f3fbe69052a4907da889f5a8a4c66fc362cc573b8caf f026eec9e05e2694c3eadaf20bfd0cfb2967a15cb95225cde8daf0a768e243cd 3b3cdbbe78270f882b252a5d7518b6d2b3a47447376fd44a7b15d216dd980b13 d1076356ba0d6b3f35896182268036d71fe55a248b137a0bc92a46d8407b3a59 28e4d4afd1cc82ffdb51afacc2b4681a3459c1a7b6251ede5bce3a1284927fd8 3df58a086a809699c5881a1144e57bf396de0ca951f7794bcf86e1eb7227bf64 69ca294fd868ba59b2ba2ec193f19dce3f0e1e267a181c496e8ed5bcb19bfbc4 75518bd11326235743bac999f10c115c7ca84e7d4e4913e1cdc2e2e98b476205 1a66113fdede8eb0254b3d84132e1828970bea4e4ec3e7a6e3e76ee596d27315 173865c5a9ae798347f5068882d1c0c14fb0b9a5eccf7e0781101ed6b1b18ec7 ef8da043002a8601bc91ccd86ac65a960f6ad906b333703be7198392cd91149e f17182228983fff3fcfbf168abb3c883900632f12a1717d89f9c0eb5f0fe2ffc 517cd65399bd8284b90c34c09dc09d98a66657543070bc0fab351eb8cc590991 1cc09fedd1dddbe7a1e3aeecfac9b65903d143e898c72b83b7455e170ca74d79 976f1b25632cd2a86406cbf183e339e71a44e4f3fc48b36e88f5192d82221cfd adb2783fc927c902d03f80e6a4770eabad8f4b8284db08fb22a500d04ec4e05d 57d431b036a5d49557f3aeabb368562f8cebd2a7791b0d8ffb54c8ffdbce4ad4 25edd26dd4aee013ffc284ec641972700c43359b5082b3e666af47bc4215ca1a bbf728d0fbfcf9599e21474ae6515a022903a9daaf38d4e5d301b23e5d88cb23 f5b3215ac45095890878fb3a15d2ded35cc6cad24289339dae8456e3dd835915 91d3280d7c2b9e3ef955ada6b1a87b0c6f8780343b1d6083d2eddfab61ced663 f4e380ca46341b962e949b3da36dd75824f5207b79b75d29913450cd8ccfa1cf 41007a7809be43dc9a6be12573cabbd002afed3494b943eff20adb91a1e6321a de830662abc02f4c1b7ceee84799565a2b1eee14195b5e9e11c29b9a9ce3c70e 8b13196ef2414b2136e81dffe0e7366f7caed2874aa8f9a501b68c3c22326cd1 c77eaea85bc58e69788abc28335173a2154bb4961c4d0f87b136e56ffb26951e f13d567b3607bddddeb31a0df461864201b89026b0930c1db7976d9ad0ef0a68 f97cd802451ded798060575087759f0a026ca5fa524baec5767f1cc889943954 2062c3dc8ff05f669879956738c20cb7a594ffcd2b65db8199f072afb82fc6e7 50b8ffd0dcdb1c6e0624aa88d404eac41e43ab3477ac4083545ea56e1c1fa9df 5aa1d27e9d6a25ea0907a9e94fec77d5b769601befccab2057f9e61fd1dda68b e8eafa77d0d287491eda2ff24f2dd723d75859ea527b98d5c399ce05fdedc376 2837bc1a657fc8a53f5cdecf6412ac775bd00ab616524c1bdfb44f86f0f28e4e 3d02152d50bca0405eb3a6 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMR12 %!PS-AdobeFont-1.1: CMR12 1.0 %%CreationDate: 1991 Aug 20 16:38:05 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR12) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMR12 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 44 /comma put dup 49 /one put dup 50 /two put dup 52 /four put dup 57 /nine put dup 67 /C put dup 76 /L put dup 77 /M put dup 97 /a put dup 99 /c put dup 100 /d put dup 101 /e put dup 104 /h put dup 105 /i put dup 109 /m put dup 111 /o put dup 114 /r put dup 115 /s put dup 116 /t put readonly def /FontBBox{-34 -251 988 750}readonly def /UniqueXX 5000794 def currentdict end currentfile eexec 9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0 0b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3 79791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3 2ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8 b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d 823385fe55f3402d557fd3b4486858b2a4b5a0cc2e1bf4e2a4a0e748483c3bcf 5de47cc5260a3a967cac70a7a35b88b54315191d0423b4065c7a432987938c6b edad3b72ad63c2918b6e5a2017457e0d4ebc204a520640fd7c4d05e35ea5486f a43d0e970787203855daccb1ed0b16325828b13b7c767a1a58c87902f0546ea5 404440fa6526975783c2d7a9572b8e5d5176bac598b8960609f49016aebf3763 89c1adfe6a1ffc0c53b3acd9d168ec3a278fd4f1d9b085dc2df701346c9d0887 3d230a161692b42a45bb5da343b4edd839dd60685a59aaa49fc65cd8e2ad2a9c 5cab953495172a1a9f40d5f38e922443a519dd96f667201a408bd1d89e35f4ab 98e2f68c3366efc14b5afe1018d9c845d808d4f8e07ea8168518a171ab4d6e21 70eeac099eb7ef46eb9781384da1fac3b3133bb718bc80082eaea88759745188 f266b31d0c7e791d633f16ed94e05517a32163e74cbd96dc5db066f2a5313d6d 7f09465608cb404613e0f058073af000e5bdfafbbf9da0c0d5c02a3447f2cdc1 f56481901e34265c26d331ac3f85bdcbc7c51ef9eddf2b9c189c5253f8e74282 d6f053d7d183ae17ea175e5ebc401e67d21a9fea139cbbf3bb1358c713a75843 b39a69aa2b1a7b975f53ff22d1dc3bdf7acd17afa1da21568310c68241b31d3d 03bf404bd30baf9cc19c75b958bce7155f03cb0cfe2cae0327aad4b603284a51 7c26de75b8c6f6aaa9debe4aec08ca4b646d787a9dfac85b2c01760e9c6c6162 fbbc67dbd0796831e00c477d8e23c375ffab46d289be9d2328aec2b7534ae4cd d782ec2453e7787f6e6b4537b46c01545cba6f90b8e9a1bccac1937bceeaa5e7 8e9f368ce067a0a31da98bfbb545be555a7270f0031fadd4f9b186629e5d2c5f d264f8f24cd5a1c0f68399ff4b29fd77c4a54d8296523413cc86f61e22f6ed60 757bedcd52e1fb7fc37d61fbbbce2116f17c0a4ecd6e12f82ef52a4484cda22b 1717942e4e697c820d33096112f65f24975f43afa5f4604914a9166618a71b41 6bc690b449a17eb09a42a344fc36bd44881ed45c8009e1ef46c1b947e537d854 b0c36bfce92e9eb82c461492a015ed3d1b1b658d4402a78d07309982012484ca cc5f6f27d381fc30edf804773e39818565fedd2d1fce5b9fa2e6bc35f8a0bdc2 dcd0abb387609a609c381653a141eddfe8bdae1f02e520cfbe8e5581a6d9a870 c6d95bcb43a78cbd5fb69d650155eb5f1d2096f231aba51bb790637f34cb3a2a 8bcf3b5c3c62f45a52ce74025148ba9482173dfe086c64afd51b639da31c50ea 6142f2478cd26bbf23763b159d33f2267becd016748b767b902ecebbac026b4e 206f4e04b2281a56faf5b087bf2beb8f0957694bf4b7cdc9d49a3924e2badb23 33b79cce40b3d451d859ab0590c95bde19fb3d5eb1487f6c5f59a270e05d03d7 9d5b14c8a54ee13f18a6f9b363ad54b038d9f659e9ff57fa2e1d09f8a7e97c00 fd88714dd0b453e3961240f7f687127132cd0c83ba7aff9ae8ab85054e95a486 093cb3158ceb75414b1ae58105e63b88e0b9e95924df2e309a845442cf60b56e d2c1fbefb59434bc7803b5fbd16327bf44720488450b82dede2db9f6062a02ee 6683ecae97d4abce7d65ce68a6a22a40642506ac21daa62482ba9aa53b4783d8 0d5dc32005c6dd16ae5dd738068f82dc7d9c8f75d0498647fbded39f2908bf31 b3ade35d7188d1a1048c287181032535595c35f7e3d9dfac0952a6371633cf7a f39bad5de67c98eb17b6369cff482766872e91faedf11d711251e21519e675e1 cd3b91dfa460db33f15a1031cc406d2aaad58c99eda65c759b21656585ebb54b 3b721479b65905c18088c6c2dbf44b87544794175b078e090e4f01d850a28b1e 88c75f86d6b10dcc0b65b2b29edc0f38a6c82460309cd4d68dad6c7041b146db 3a7106fcfb22f78f6fce2c870ff3b86bcd2468866826e8cd3773369c77b699a6 70911f00e98ea9ce56cc3f704faf55d6a6fd4a83e53107c853c9efcb36f6cc9b 48d1fa846c00363e118acf69c3c98e80f6fca23301cba689e42234226d7915e7 f5af87b66dcaf2215f1af0da9c4089c8ac44b40ad922190ba951af8d9ea5b8c1 173c3f24fd08a319c2ca0d8b04fb8322d5588355a4011f9034dde706dc19f3a0 7db7defddb84475f11c2d96ec8c23e3c66bc8e8cb4c018160ff43fc739b06205 c66ee22cbf2e3a575cfb434eb341f274758d519e3e99a865d6a29578fdb05d27 74ff15a8d8330bcc0091b5a1803c683fb7c0e6a9a6d1fa9cf1091d67c9416075 e14db9fd9ca974448bfd4992c7f884e89b45ed7425ebebff6b0d2ac41847e62f 2f564b1ffcfcb93fad719c852c9256f25f82eb9402a6d8af1510a1e7dff15074 434a542e68ed1bc00be7c2c8bb5c715824615f4f6c8122a0f0fe74edd742203a 14185cc8d0963b2848edebb09222f4d077293cc790544d48ee6094e29082dd30 648d75ba8e2d4c68b8bc8b51479fceecbc6e2fcebee2da4dc97222f2265df380 38addae8521789b91a6e890b361ceed7851686f25725bf744de74cd9f7aba9ab f1df0d61a274c2189882e6c355d6b51ee445dba2775bf13a937013af462ccfc9 eaa202673087b77d5408e526add7289f93d851c64d763ef12f380141183d24e2 b2fc067983cfb2889cbcc93b8fd23f004ed999909f3d92caa3adb5dd2d3fa05f a038c59077f91b9dbc5c378b5e9d0e7d4cc82fbdf575f675baaa00ddd1c255fb 1b38d3987d4e0e97880ade565ef351e811d7a5893ff18fba0150a16fef85324e 27a3d93217eb31677640dac03de5389e1591ad19eb790bcd35372b37ad8f92ae 1466500d7fea860772ea8516e1ec0bbf37a1fc3bc9b0d7830e12be51a45e0314 f615e9dfac62cbe38d34c7d03e853571d082a4796572d824d40f59180d7eae99 cb9d449ad14e8dc1166b3224b80d5ffe661e6e2e46c555d16c68df95e3059b68 8ce1cce450e08f1ebc657f2bc4b4e9b1130c55ccb8991984d625e90b0878faef d19b8d897e186d84daddda2b58e79e6154a1fb32cedc18dc075e42c993c911fa 2b3ae7e884f8ee57ee0553cb38f4953fde53beceb5dc123f8678336ab164813a 24390469495ac3e88fea919574c0da9ad3b9be9bedc58a2a8cd7ca5a7e448037 1fe864103fa80906294534893a989cf38cf15bc825f9858df1be2c7d98e947cd 1d7b187db4b1646b7c8d23b429485df3ab661f1be4b9919689dc257cbd0fa58f 56c3349c2fcf677a95c64da654a5b17e98adc79a9a682697f33df8fa4d81e4b9 bc6a0eb3c1dee47721688a012562407a768674edc1f5e66f209d21b3246ddea4 9df55b5f0ada8678995c4f44ece4a514a710c680e072b02a345b49264d1fce22 6f96cd2afba798a671707d546f34389b594dfc47ef872d847afa3d6d52d24a4e 2c00a011cb604296c5873f1052516864f1e751bf13d3272b2a5c94221eb3e89a 3dd447b2f03e27bb55b4307064189805184659371cd3b01270df6729ee7dedbe 177a4672dea1f21ccfeb19f47c71958d825fbce0e91c696027de0887b6f8752e 2925d6d7c488dee3535c608fdff41626669cd07fe1491f67d2c968be1eb8170b 9deff3fb25ac8ed80236da21b01d1fa61249de3760909544be05cbf802dc97bc c5216280181fa437970dad1ac5f288b682b2edf4137a65bb590c0be71f6a0975 6e04a03c9292dd06441504dd339cbad903da9f8a297230ec94f6e2d28881815d 61f42412cf4a84ae56335c5057549bb9fc3a0cceba6a7dea0166c60fb6038f80 2fbee321eec6c52c6d3375a5f34457e5b57f72142a5517d9acc60341e7d00129 d823be5c15095a4638852bd0a1aa10e72dc3bcd758aa6fc629cec4fcf4394635 8bc09e859e458ca766ac98c5657706cc28333438b9293fde37a8d27a673567d5 6d4addccb176a8bae715c4182c6d421b157616c1daccad3e2cac4310a0b29c4d 44cc223ad057fa08b473edeffe418b6b6a2b2a7943bd97f947e91184f6d86e0a 2e9567ae0192020cd22f6731f60482040b131e11059a9cac680fb7039d4a6cad c2ddd75c3a11c31aceae124dbd904ad471900ef04ec4f377fb8a7d15cfa04ceb cb77f96761781a41c8510d25bdb53801ef51fb727dda9dc6ee916a2b56b621aa b847e0f09b39fc05689588c323727e1585baed248bcb9d4cd994eb11120b174c 06f0630e50adb4109abf52411dfb754e869992bb115b43efbfdbc7c7545331a8 3b05c3c88bb6a179476b03c4ebb02904c409618a18705002728ee852d432468e 8ccf1f2798bab602f9d1e39a7215f4a2c2bf4fb5fab97777aca7f749bfbce3f2 82acf47b34c42c2101c19c473a79fe278e0691420b8c340e42614f546d995569 c1339e14c78f3434993c48630192e9758947edc82cd37f355324cab08e55788f 013527086940594dde8265295d8392a7b1a39dca0c567fe876bc9172baba54aa c17e53fa384f917003d86ce02219de0481a5079068a602bb75ba118aca43172a 3fe179563367b2e1f00a638d44327504571e7f50ea47e91cadfd82c9040b4bc8 f8852230672d141414afc56c481b0fbe8065ccc50cdb1e1a911b8c44e7d7d181 fb56602db8d887fd3890d4d333b102ba3a0d15dfcae9ae9a0856ccedf850d1d4 71843b3b71ae9d0e82601c4ea7ae2c0ded72a5420e87af2a1edc8e2c8642044f 16448a4a9ea617b05f204ce7774a9c4254daf9b4ab914dddbc2a66489dcf9763 b057d95badb7b5a2ebb22b58bbad82d68305b14235dc912393ca84f081e269b1 bfd82ee0afc7a213b0edd39d9f068c086f9148cf6a4520a19501a4e6d7c33b3e 51c998e3e1ddcec529c8855746e6389bd47fabc3083a1a656e444a23c9556b2f 841fe436a130f311d45ac147eaafb5e7536741b79c2b36f0e9d7be21447d0562 905071b973ec4aae41c663774fb57aabf3c432c34e1ff162093eb3d90b75fe43 ecf632d20f05eed44c85b5baeac7b676cb4ca5c0f0f636cb1b4b072141ecd32a ee8c0ad0f085f2dfd7eb57a6398621b24cd84434d23681b5ca8c6d164acabd5b 0be595835c329749b72dcbeb429ef0d4607cb241cc8d4dbc002062692c501a10 16a216f787e349bb2a2fa02081cd4e46ae6da20690c07ceeff2cdbdcd186df97 13c8dae63fb3d57a 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMR17 %!PS-AdobeFont-1.1: CMR17 1.0 %%CreationDate: 1991 Aug 20 16:38:24 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR17) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMR17 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 46 /period put dup 51 /three put dup 55 /seven put dup 67 /C put dup 68 /D put dup 69 /E put dup 73 /I put dup 82 /R put dup 85 /U put dup 97 /a put dup 98 /b put dup 100 /d put dup 101 /e put dup 103 /g put dup 105 /i put dup 108 /l put dup 110 /n put dup 111 /o put dup 115 /s put dup 116 /t put dup 117 /u put readonly def /FontBBox{-33 -250 945 749}readonly def /UniqueXX 5000795 def currentdict end currentfile eexec 9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0 0b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3 79791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3 2ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8 b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d 823385fe55f3402d557fd3b4486be356c29c3aec91ef17f5d31183b1e489f1fa 559a6693fbdd04d4f7e99886d8cb7cca13d4aa9ceb34a708af22e69ccef0e504 c3997075243585edf60b6447c8d01cffb04b6e3ddbaa7da5891286861322a795 e9d990fd56af2f5c2b35801a0b07874e4ac3170481d232e150443253c92a8b05 513d4a4154a99d91f629ccd30376500f5d16aaa9b203bad6350e4b19424c0e33 75f2949bc1927a6f6221252f8a96618e646aa1b0810753c98becc26b37837775 24bca72b818d314074c1c91f4e1f4148d3d703d12d179ee6970bd55d04aa9a9d 97f63f2c7dbd129ec2ed3ba5f8080270ea5854ea165dbcc061e2f47f1aaf0997 2ac9a689a2a9620b91b53f6b5092884372f5f7afca495f331138d85a97c5bb83 d8072dc88010fc89108b60bc06d4f93c722e8908d7ce3c1ea3c70e9e65edd769 7db17ce0e012ad37d4030f33d30a73fd655b7a2e572f3378ac933dd75082f2f1 68702be19bc60cef6bd5f0ada180d21408c04b7f7db9b6dbaefe09e809a80ddf a5366d10930d3e68ca53e4721ff525853f4c784f2c2c3aa0129a34d9df00debc ae4037e4c0fbdce3989f35964b4c07e7817b805bfe8c15f0c0ebf226cff606b6 2954f0f42dff8c214a6537ab666d25389c44db7b5866440bbfc137712bcdcc89 c68cd1adfd85648b1ed29bfb45a564b02172137feef782d604e0d7e1f1737c96 719cca9e4b9dfdc87e5999b886a15ac572183dfb8bfa2dc13fdc0e284bce7cd6 6ed1b5f7b1ff17c54fc6a268ae7043a6923e81a7e1bdb92395e80a77ed627764 3e33ac20fafb8039cefdd1abd6c0aa5bafc7dccaeaa408d45216e77d305ed0c7 ad5af3da933dc33436a35995b50c494f1655f2bf24ec70a02e7d477b8b3d24fb fd85dbe2db98f0b858008d6c1fca52b8dccd20dd02d9c271a4a5c414e4f51d41 3c8053c9b5ffa383679e380b37f82f53d6696d19093fd67bc013d758748199b6 393a03dd8e187e33bff517b5f763a345d8b16c4c251bd99d2af5c3f70c7d6d59 375b38725a9ccf32492d7935693f24ba35b70c64211da1e87633f09966cd2f36 c34083fe32555fae86ae60c0274426c84051cbdbb6ccec4ca6ff261124dc5256 68cf4d1e9ddab5f930e1b60ade0fb16830ae35a464c89b67daee8ef2ff694879 8c3940e52fcb47896a2d8c325959b52f173bc2beff6b97122eb0b5956d69fe1b 0cda06840b6dc818e9468a717f2e41c805b00ba6f00005fe95537381742f8706 63b9cb3354b8a9f16dcac41c85c341aea6082b168b571ab86912025cc4c16df8 6dffd4b8a59c76aec9bc737bf056d3cbabf25a5d4b445bd25a48c38d5c495198 6ac7edd57f83cc049646e5baf961874512a1e2e635a40579afa3e9045dd10f23 c365ebc38d750f8d3c51891305200958d17639e921ac6c2484fa02a3fa84ec6b 6ba2af101bbe22a0f3de762ce3f87fb5addf8c8fe02ad9ea8b7518876653f185 ad89ae34b6dde6a57262bcf9c03b0d5507a829ec984bcc55a6ad6eb641c62104 69fd9056b8641b45d820bc189f170bd1ade191aaeb515d5f2cbbfc13fd1be1d4 4f1060a4289adefe78513d9aba8801f6023376a2a375a006c362b4cfdb34c844 19ea6997e671f5f44c55955cc07c0db5945332aac03f9017e7ee52a27ee2ae63 1ca3d5e6021b6e69ba246d950c1869ef482c3c0d8d60f4a2e0d67e959d7c8f5b 1f47e8cf19b8f7ceed91fe0cac0785e4018b6cc173e90ab10c8a63b026c046f1 7daaa44472a78a4c9d4a7c5d97c2de6c253d334ed0f97f4cc60257bd82c7129f c311e99f537c564d2ead20350a3fc19b6b08e85a27195b6f4ccb5f20ea0000f5 64550216a00915f739b03ad6db5ed89e4bcaf2d5749cf2865ebddf43f2b07728 41cd382de92fecb214c6bb32cb32be73d3e762f4c1ee3cbad11e9da1c8751c64 b4e0e7b35fc0830e7cf7dd842b4d72c623395e7a1aaf4ae7de157d6c133b71b3 1f8848946f6f5c1b3551a45ff6d8b3b7f364d1cc963472b062667949c74f9b4c 78d5f6e50a045ac3fda9eca83a9039a0ea616df67118a14b3cc12350638b84ef 23f0817ed20b511afeacd7dc35bca0c8812e13ab950eaa9d03cd434ae061a1b0 f585ab459840f6417774746ac259212c08e1eef4c297618b10413a994d388f47 8400d02a793d2a7e407a8d3cbe4a33e5c76f821d2c3d0ed68ef7270c2e5a00d0 474197dbe9f0b0e3968a2eb367056f5a41c7349bfbf2e7367a47d94844d7c833 a0ea254d1edde8cf4eceba992cadaa6bd0995ce7680f510572723fe75ae16d44 4a1456932d9cf8e4987469df9b66cc5845f1e172beff8364845b9564c3a10e26 7c6eb59c1d29897622eec6a07c42f552b3b9bf3276921e42723cb07cf36d1dd6 1d8defabda19f3d73eab9821d6340e74fcc8ab85bfbf5adeacffc6ae7d54f946 3b2d48e9fde45f85f013b60eaa7169ef83906b6f790c06a34ff8ac4d4c7e9409 8f61c57263de9741f3e04021057198698f0bc8ff49c2c369e32c10425445f33a 14de146578a9903d3664e56a7b8d1af44a2e3296373ae46addf3f4d0053fee70 6508964eec47ef97359c8d10bb25e2d035eaa648558d5931d758b8cd49925831 35f5d83c8608fb18dcf01c79b29dbf9be04517759e14916b9fd4bbe40d9de1e5 572445a04dc6ce991a37a6f991fdf40b57d60ec64b4420a72e13ceab0f61e920 7f3b85e9b9ea7528c5ab9f929460dffecb6f25ffb5ed890130901484395c4ec7 24634eba10651dd6e852e588548c09e1f476f365d7376fe6575d98852f6a3e3d f89f9585545452d55ace39fea5be7493f994c5db13a53a1a837c13395ef6f1a0 c9211da2db65f48dc226e8aea64f2fed0e638ba5fc4dc47c11eff5d590e9e731 bc54800b7fdb7f7a45bde6f3307900f063a20f6477fe5dfa2c72e8fe8f0e65e2 19e65dc6f728317edb83443d038aac975cf2e32af788b09e087448b42c80ec9e d4fb79ba38e2ae5c924af069ee945a78c915e6bf94be8d0c4f0f24e15057ac1c d01a7a76f558afbbf6ba60003f9c1c6aaed479bb5fa43fdce4e166b26c01b6c1 99d36b92ab6cbee5e120e0a4241f0d3dc88e577e583fd710ae81a840f9185111 b6ff6b9013cfffaef367870d46b28c6c25732b5cb12e2023ff1bdb55d93f719b 6cc63e6c5092561d12ed7e8a5cbcdbd8a8ca7253abcc32a09026f9297d5ad0df cac64f54babc31837d8c7156a88967f1c8cb89764db3e3d97030533490409bd0 5c1a384c51d9d76e526d4e93097f750a1adb02cce0a62e6671e8aa00cff392f8 9f9e6c15497aa30c937f66aa69665783d9995f8a2918ad76842edb2179575da7 5a19ae842cfedce9197f0a60f38b4788a1b09f81c17bad386f1791cb6d698481 615e89c013941215359bf1b8a83b4c1a3293ed3cbde20704ff7ead7830146933 1149cb0c24c4ef78ec634fa83405c6182e397ad72c8b38059c6a1076284dc834 af604f594effb8a9ef48e320696542ecb540b3722961cd7915f56ad2fb0266c4 7602e7a740e8a1b54553806d67781ff491d664820751d5e9539e2705ab659cc8 15a46f663fc31f3d79d8f5196a0147684966fb9cc66192f7dd0cb0c8d31f2c64 df467a6d66130b14b390fd9036c23ec2a5ac6ecd62edb325d30533c93d62cec4 7442c9bb9d7609a4d8bbdc6228a1116a2b49e149a8ede75d413297208b83b496 9bb2b753d82e66da8c00c4f9193b2164d4979224cdff9d433c47178f17634000 5a113f8ddc1e01e1aa7300b6cf721bc886682997e4e35cbbe9121156f45acb43 b727a34299af65104201db72fa33f68259c1390b0a53e3141012f300e2e88f45 1cee1c514eb25dc500b9625e785f308fc099f58589c7580f6b6993d10af986aa 59a17f69b92e613ad648d4b011809f15c79d87e1febb547dc962fda0331a2fc4 c49848f5694078729d790242e570a44eddaa58cf17a87204a8eae55a8a3e23c7 0d00edc72e648ad17aeb623c9be6fcdd02922a07da4f46ca4d25855c8609a394 e3362503ffe90d0bdd1d1eb1b55d649b29ed85f060768a2c8ec0a81284447d8c cb26fb214e640ed5d817beb9c8c94aff59f6bbe7d60edf3e4d64c5c714ce9d2a deae34dcb5f04e8373cf2f335d57041306aec334da010bb362d64a0b1189380c eb7d3cae86e93f3b32be9ecc44751d90c3f846bd207b8293612fa79cda0f0918 3daa0b70b2f528170959c343a635154168ac5c4bd0904e149419e74e07568561 b41c8ade1902e727d65b8c2dfdb0ed6518b8a96d485e9a516c9d8e725136275b c0adb511d068ac55d9a09b8ac8b71c18387ce8e9326f73a04e85110e3d490b9d 4726023f2902d64ab85daad8717edacf4b34b76ad1e5e2c777dbbb424718ad73 0defb6d2ff96df94d391d645e1ce40b1bca88e6b09cd13d7fd180d8145b34af1 ea951ca35a6199e898bc58ef097c5d5615e3c795e7aff3eba76d475754927d04 f158e09514dd8fa6dab83360825387a5263858b7b7042b6428913d7bffaf1247 fe8c10d605de1f5cf253b4347c4506422ee9456a225aa656a5e49781a9d33dbd 680f6f2987e4cd07f9abfd9c6a5812436acc1258f601e23f4ba3918a3a05ea52 8f9652ac5ec1520b436b69e66766e1cdd709c03618e4cc70b551ebbc5421690f 329679c9be7b340c059d48a0451f7dc679e4e926770105887e0a606f87eb78f5 637317b5cd7a45dba4ca3963ae12ccfeac8a3aa10c59e852e5f53009fc52d8e3 c9a4071b2f71484682ffb530fb613c8c8830e144e41c0fbe6361330a994c20c3 30b9c22a07acd9ae33638d03a747c618f81afcad75a156b78ae2ec0158cfc8d7 c4407af4fd4bedf34f778e55093b37fcbebf5b8d602ac081595de2d82ba05aed 02f141d951bdba761b7897ddfe31b4b74c12754a8028ec6e422406932bf6cf3e db799f685299a5db057256fce2145e1cc01ced38d5491c04552824f82ef38f8e fcc00bdb4a64afec570fb426fcbe1cc440cf5b266c5beda110eb94544ceaa080 65ccf2088778f24abf54cdd868cbdb21988d00d2c13b14b86f730a65942acc48 793dd6704eb306e013e23d0c33439c6b4baf7620f5f1aa1fb60b6a1f965729b9 aaecffcc4c725bac5984693fe2974e39f22427b0337ce4a013b4d1a89e81938d 8476eea69537967b5831c32cc1f2bab1e174df64298c546d6a718be3e600bddf 90e8d15bc24c7963ac7f6b05dbeb2344e70b2888bc063e871ae4b196a80bc6d1 a03eddf0ceafb40c796d01cb945f08d0b71922cc5e9e71cae2da5f2122dba53c f9a3f6e300aae79515a37ff72dab1dca7525ad38ca618fdb27807979a9755f44 5520ec13dc96b48206b9c4969a215237021695b1d6eebcfd6d8014f723f12bb7 1e83f4fbcbe42d295eeea11fdbf8ab055197f468b55fd6f4c9a9c156e19e34d3 9407cccc047b6a42c17fb5cc2a47fc7a123671303bda2315202a30629d33a457 27b52315ea3a821963c81b893938679f4d6d15c67f9da516a0a839de136f55e0 724708ede0f3609710627520ac7b431bf4d0c2f61a6b26f79b91c3c2e9ee66cf 021c602b78aee71c3f213f6347916c25890d76fafc3238544850e8b710e5b442 5d71e7b40e46568f4a552535632b9c865535 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont TeXDict begin 39158280 55380996 1000 600 600 (E:\r37\lisp\csl\doc/install.dvi) @start /Fa 135[42 2[49 30 37 38 1[46 46 51 74 23 42 1[28 46 42 28 42 46 42 1[46 19[82 21[46 3[46 4[28 33[51 12[{}24 90.9091 /CMTI10 rf /Fb 151[39 49[55 1[55 1[55 15[48 34[{}5 83.022 /CMEX10 rf /Fc 129[48 3[48 48 48 48 48 48 48 48 48 1[48 48 48 48 48 48 1[48 48 48 48 48 48 48 48 48 4[48 6[48 2[48 4[48 7[48 48 48 4[48 1[48 1[48 2[48 3[48 48 2[48 48 48 48 1[48 48 48 2[48 1[48 35[{}47 90.9091 /CMTT10 rf /Fd 135[59 81 1[62 1[44 3[56 62 4[31 4[62 2[54 9[116 1[86 8[67 25[56 56 2[31 46[{}15 99.6264 /CMBX12 rf /Fe 131[91 1[40 48 48 66 48 51 35 36 36 48 51 45 51 76 25 48 28 25 51 45 28 40 51 40 51 45 4[45 2[68 1[93 68 68 66 51 67 1[62 71 68 83 57 2[33 68 71 59 62 69 66 64 68 6[25 45 45 45 45 45 45 45 45 45 45 45 25 30 25 71 1[35 35 25 4[45 20[51 51 53 11[{}72 90.9091 /CMR10 rf /Ff 134[71 1[97 71 75 52 53 55 1[75 67 75 112 37 2[37 75 67 41 61 75 60 75 65 11[103 94 75 100 5[81 2[50 3[88 103 97 1[102 8[67 67 67 67 67 67 67 67 3[45 32[75 12[{}41 119.552 /CMBX12 rf /Fg 139[38 38 38 2[49 1[81 3[27 54 2[43 54 43 1[49 19[89 61 8[70 9[49 4[49 1[49 49 4[27 44[{}19 99.6264 /CMR12 rf /Fh 138[73 51 52 3[66 73 1[36 2[36 1[66 1[58 73 1[73 66 11[99 2[98 8[47 3[90 101 96 11[66 3[66 4[36 46[{}21 143.462 /CMR17 rf end %%EndProlog %%BeginSetup %%Feature: *Resolution 600dpi TeXDict begin %%PaperSize: A4 %%EndSetup %%Page: 1 1 1 0 bop 676 912 a Fh(REDUCE)43 b(3.7)g(Installation)f(and)i(Rebuilding) 1581 1165 y Fg(Co)s(demist)34 b(Ltd)1548 1369 y(Marc)m(h)g(24,)e(1999) 382 1755 y Ff(1)135 b(In)l(tro)t(duction)382 1958 y Fe(This)28 b(do)s(cumen)m(t)g(explains)h(ho)m(w)g(to)g(install,)h(build)e(or)g (rebuild)g(REDUCE)g(3.7)i(using)382 2071 y(the)39 b(CSL)f(Lisp)h (system.)67 b(It)39 b(co)m(v)m(ers)i(the)e(cases)h(where)f(y)m(our)g (computer)g(runs)f(Mi-)382 2184 y(crosoft)d(Windo)m(ws)f(95,)i(98)e(or) g(NT,)g(or)g(Lin)m(ux)g(or)g(v)-5 b(arious)34 b(brands)e(of)i(Unix.)51 b(Muc)m(h)382 2297 y(of)29 b(the)f(description)h(here)g(will)f(only)h (b)s(e)f(relev)-5 b(an)m(t)30 b(to)f(those)h(who)e(ha)m(v)m(e)h (obtained)g(the)382 2409 y(\\professional")e(v)m(ersion)g(of)f(REDUCE,) g(whic)m(h)g(comes)h(complete)h(will)e(all)h(its)f(source)382 2522 y(co)s(de.)39 b(If)24 b(only)g(the)h(\\p)s(ersonal")g(v)m(ersion)g (is)f(a)m(v)-5 b(ailable)27 b(all)e(material)h(here)e(that)h(relates) 382 2635 y(to)31 b(source)g(co)s(de)f(ma)m(y)h(b)s(e)f(ignored.)382 2922 y Ff(2)135 b(Installation)382 3128 y Fd(2.1)112 b(Windo)m(ws)382 3300 y Fe(REDUCE)28 b(is)h(installed)h(b)m(y)e (running)f(the)i Fc(setup)e Fe(program)i(that)g(forms)f(part)h(of)f (the)382 3413 y(distribution.)41 b(This)30 b(prompts)f(to)j(disco)m(v)m (er)g(whic)m(h)e(comp)s(onen)m(ts)h(of)g(REDUCE)f(y)m(ou)382 3525 y(w)m(an)m(t)h(to)g(install)g(and)f(where)g(y)m(ou)h(w)m(ould)f (lik)m(e)i(the)e(\014les)h(placed.)523 3638 y(Note)i(that)f(under)d (Windo)m(ws)j(t)m(w)m(o)g(v)m(ersions)g(of)g(the)f(REDUCE)g(executable) i(are)382 3751 y(pro)m(vided.)44 b(The)31 b(one)g(called)i Fc(r37.exe)d Fe(runs)g(in)h(a)h(windo)m(w)f(in)g(the)h(usual)f(w)m(a)m (y)-8 b(.)45 b(The)382 3864 y(one)30 b(called)h Fc(r37c.exe)d Fe(runs)g(as)i(an)g(old-fashioned)g(command-line)g(program.)40 b(This)382 3977 y(v)m(ersion)26 b(ma)m(y)h(pro)m(v)m(e)g(more)f(useful) f(if)h(REDUCE)g(is)g(to)h(b)s(e)e(run)g(from)g(a)i(script.)39 b(If)25 b(y)m(ou)382 4090 y(often)36 b(use)f(a)h(command-windo)m(w)f (it)i(ma)m(y)f(b)s(e)f(useful)g(to)h(create)h(a)f(simple)g(one-line)382 4203 y(batc)m(h)31 b(\014le)f(called)i Fc(r37.bat)c Fe(and)i(con)m(ten) m(ts)573 4391 y Fc(x:\\r37\\lisp\\csl\\win32\\r3)o(7)42 b(\045*)382 4578 y Fe(\(where)c(y)m(ou)h(should)e(replace)i Fc(x:)56 b Fe(with)38 b(the)h(path)f(to)h(where)f(the)g(REDUCE)h (\014les)382 4691 y(w)m(ere)29 b(installed\))g(and)f(place)i(this)e (\014le)g(in)h(a)f(directory)h(that)g(is)g(on)f(y)m(our)h(searc)m(h)g (path.)382 4804 y(Y)-8 b(ou)41 b(can)h(the)f(launc)m(h)g(REDUCE)g(b)m (y)g(just)f(issuing)h(the)g(command)g Fc(r37)p Fe(.)72 b(As)41 b(an)382 4917 y(alternativ)m(e)33 b(y)m(ou)e(could)g(add)f(the) h(REDUCE)f(executable)i(directory)g(to)f(y)m(our)g(path.)382 5030 y(These)f(steps)g(ha)m(v)m(e)h(not)f(b)s(een)f(automated)i(as)g (part)e(of)i(the)f(installatiom)i(pro)s(cedure)382 5143 y(since)42 b(man)m(y)g(users)g(will)g(b)s(e)f(con)m(ten)m(t)j(launc)m (hing)f(REDUCE)f(b)m(y)g(clic)m(king)h(on)f(the)382 5256 y(relev)-5 b(an)m(t)32 b(icon.)1854 5652 y(1)p eop %%Page: 2 2 2 1 bop 382 548 a Fd(2.2)112 b(Unix)38 b(and)h(Lin)m(ux)382 720 y Fe(REDUCE)25 b(is)f(supplied)g(as)h(a)g(collection)i(of)e (compressed)g(arc)m(hiv)m(es.)40 b(They)24 b(are)h(called)432 825 y Fc(r37exec.tar.gz)96 b Fe(REDUCE)30 b(executables)i(plus)d(a)i (few)f(supp)s(ort)f(\014les)432 937 y Fc(r37xmpl.tar.gz)96 b Fe(Example)30 b(\014les)g(nd)g(matc)m(hing)h(logs)432 1050 y Fc(r37doc.tar.gz)144 b Fe(Do)s(cumen)m(tation)432 1163 y Fc(r37src.tar.gz)g Fe(Source)30 b(co)s(de)g(of)h(REDUCE)432 1276 y Fc(r37lisp.tar.gz)96 b Fe(Source)30 b(co)s(de)g(of)h(the)f(CSL)g (Lisp)f(system)523 1382 y(Y)-8 b(ou)31 b(will)f(\014rst)g(need)g(to)h (access)h(the)e(\014les)g(on)h(the)f(CDR)m(OM.)h(This)f(ma)m(y)g(in)m (v)m(olv)m(e)382 1494 y(moun)m(ting)d(it:)40 b(y)m(ou)27 b(will)g(use)g(whatev)m(er)g(pro)s(cedure)f(y)m(ou)i(usually)e(do)h (for)g(accessing)h(a)382 1607 y(CDR)m(OM.)k(I)f(will)h(supp)s(ose)e (that)i(this)g(mak)m(es)g(the)f(\014les)h(a)m(v)-5 b(ailable)34 b(with)d(paths)g(suc)m(h)382 1720 y(as)39 b Fc(/cdrom/r37exec.tar.gz)34 b Fe(but)39 b(the)g(exact)i(path)e(will)h(dep)s(end)d(on)i(ho)m(w)h(y)m (our)382 1833 y(Lin)m(ux)30 b(is)g(con\014gured.)523 1946 y(Select)36 b(a)e(directory)h(within)f(whic)m(h)g(y)m(ou)g(wish)g (to)h(install)g(REDUCE.)g(Select)g(it)382 2059 y(is)e(the)g(curren)m(t) g(directory)-8 b(.)49 b(Unpac)m(king)34 b(the)f(tar)g(\014les)g(will)g (create)i(a)e(sub-directory)382 2172 y(called)26 b(\\r37")g(and)f(ev)m (erything)h(that)f(is)g(unpac)m(k)m(ed)g(will)h(b)s(e)e(within)g(this)h (directory)-8 b(.)40 b(If)382 2285 y(y)m(ou)33 b(are)h(the)f(system)g (manager)g(y)m(ou)h(migh)m(t)f(reasonably)h(select)g Fc(/usr/local)p Fe(,)d(and)382 2398 y(if)36 b(y)m(ou)h(are)f(an)h (individual)e(user)h(y)m(ou)g(migh)m(t)h(just)f(start)h(in)f(y)m(our)g (home)g(directory)-8 b(.)382 2511 y(In)28 b(eac)m(h)i(case)g(unpac)m(k) e(suc)m(h)h(of)g(the)g(arc)m(hiv)m(es)h(as)f(y)m(ou)g(will)h(w)m(an)m (t)f(using)g(a)g(command)382 2624 y(lik)m(e:)525 2811 y Fc(cd)47 b(/usr/local)525 2924 y(tar)g(xvfz)g(/cdrom/r37exec.tar.gz) 523 3112 y Fe(It)38 b(is)g(suggested)g(that)g(to)h(start)f(with)f(y)m (ou)h(unpac)m(k)g(the)g(executables,)j(the)d(ex-)382 3225 y(amples)g(and)f(the)h(do)s(cumen)m(tation.)63 b(Bet)m(w)m(een)39 b(them)f(these)g(will)g(use)f(up)g(b)s(et)m(w)m(een)382 3338 y(25)c(and)e(30)i(Mb)m(ytes)g(of)f(disc)g(space.)47 b(The)31 b(directory)i(structure)e(created)j(will)e(b)s(e)f(as)382 3450 y(sho)m(wn)23 b(b)s(elo)m(w.)39 b(Names)25 b(in)f(b)s(old)f (\014xed-pitc)m(h)h(t)m(yp)s(e)g(are)h(represen)m(t)f(directories,)j (while)1854 5652 y(2)p eop %%Page: 3 3 3 2 bop 382 548 a Fe(those)31 b(in)f(italic)i(are)f(\014les.)908 1735 y Fc(r37)1067 669 y Fb(2)1067 815 y(6)1067 865 y(6)1067 915 y(6)1067 965 y(6)1067 1015 y(6)1067 1064 y(6)1067 1114 y(6)1067 1164 y(6)1067 1214 y(6)1067 1264 y(6)1067 1313 y(6)1067 1363 y(6)1067 1413 y(6)1067 1463 y(6)1067 1513 y(6)1067 1562 y(6)1067 1612 y(6)1067 1662 y(6)1067 1712 y(6)1067 1762 y(6)1067 1812 y(6)1067 1861 y(6)1067 1911 y(6)1067 1961 y(6)1067 2011 y(6)1067 2061 y(6)1067 2110 y(6)1067 2160 y(6)1067 2210 y(6)1067 2260 y(6)1067 2310 y(6)1067 2359 y(6)1067 2409 y(6)1067 2459 y(6)1067 2509 y(6)1067 2559 y(6)1067 2612 y(4)1163 1021 y Fc(doc)1322 653 y Fb(2)1322 799 y(6)1322 848 y(6)1322 898 y(6)1322 948 y(6)1322 998 y(6)1322 1048 y(6)1322 1098 y(6)1322 1147 y(6)1322 1201 y(4)1419 795 y Fc(html)1625 651 y Fb(")1715 738 y Fc(...)1715 851 y Fa(r37.html)1419 976 y(instal)5 b(l.p)-5 b(df)1419 1089 y(r37.p)g(df)1419 1201 y(uguide.p)g(df)1419 1314 y Fc(util)1163 1427 y(gnuplot)1163 1897 y(lisp)1369 1479 y Fb(2)1369 1626 y(6)1369 1675 y(6)1369 1725 y(6)1369 1775 y(6)1369 1825 y(6)1369 1875 y(6)1369 1924 y(6)1369 1974 y(6)1369 2024 y(6)1369 2074 y(6)1369 2127 y(4)1466 1897 y Fc(csl)1625 1479 y Fb(2)1625 1626 y(6)1625 1675 y(6)1625 1725 y(6)1625 1775 y(6)1625 1825 y(6)1625 1875 y(6)1625 1924 y(6)1625 1974 y(6)1625 2024 y(6)1625 2074 y(6)1625 2127 y(4)1721 1540 y Fc(csl-c)1721 1653 y(cslbase)1721 1936 y(linux\(etc\))2214 1692 y Fb(2)2214 1838 y(6)2214 1888 y(6)2214 1938 y(6)2214 1991 y(4)2311 1766 y Fc(log)2311 1879 y Fa(Make\014le)2311 1992 y(r37)2311 2105 y(r37.img)1721 2236 y Fc(util)1928 2142 y Fb(h)2008 2236 y Fa(setexe)g(c)1163 2367 y Fc(log)1163 2611 y(packages)1560 2418 y Fb(2)1560 2564 y(6)1560 2617 y(4)1657 2480 y Fc(...)1657 2611 y(support)2006 2517 y Fb(h)2087 2611 y Fa(p)g(atches.r)g(e)g(d) 1657 2742 y Fc(...)523 2939 y Fe(If)48 b(y)m(ou)g(ha)m(v)m(e)h(unpac)m (k)m(ed)f(the)g(REDUCE)g(executables)h(y)m(ou)g(will)f(\014nd)e(a)j (\014le)382 3052 y Fc(r37/lisp/csl/linux/r37)p Fe(,)42 b(and)i(to)i(mak)m(e)f(it)g(easier)h(to)f(use)g(the)g(system)f(y)m(ou) 382 3165 y(migh)m(t)f(lik)m(e)h(to)f(install)g(a)g(link)f(to)h(it)g (from)f(some)h(con)m(v)m(enien)m(t)i(place,)h(eg)d(using)f(a)382 3278 y(command)30 b(similar)h(to)g(one)g(of)f(the)h(t)m(w)m(o)g(follo)m (wing)h(ones:)525 3465 y Fc(ln)47 b(-s)g(/usr/local/r37/lisp/csl/li)o (nux/)o(r37)41 b(/usr/local/bin/r37)525 3578 y(ln)47 b(-s)g(~/r37/lisp/csl/linux/r37)42 b(~/bin/r37)382 3766 y Fe(F)-8 b(or)30 b(these)f(to)h(mak)m(e)g(sense)f(either)h Fc(/usr/local/bin)25 b Fe(or)k(the)g Fc(bin)g Fe(sub-directory)f(of)382 3879 y(y)m(our)h(home)g(directory)h(should)e(b)s(e)g(on)h(y)m(our)g (usual)g(searc)m(h)h(path.)40 b(If)28 b(y)m(ou)i(set)f(up)f(the)382 3992 y(a)e(sym)m(b)s(olic)h(link)f(as)g(sho)m(wn)g(then)g(reduce)f (should)h(b)s(e)f(able)i(to)g(\014nd)d(the)i Fc(r37.img)f Fe(\014le)382 4105 y(it)31 b(needs)f(without)g(y)m(ou)h(ha)m(ving)g(to) g(do)f(an)m(ything)h(more.)523 4218 y(If)22 b(y)m(ou)g(are)h(running)d (on)i(some)g(v)m(ersion)h(of)f(Unix)g(it)h(ma)m(y)f(b)s(e)g(that)g (\014le-p)s(ermissions)382 4330 y(w)m(ere)27 b(not)h(set)f(up)f(when)h (the)g(REDUCE)g(\014les)g(mo)m(v)m(ed)h(to)g(y)m(our)f(mac)m(hine.)40 b(Select)28 b(the)382 4443 y Fc(r37/lisp/csl/util)e Fe(directory)k(as)h (curren)m(t)f(and)g(run)f(the)h(script)h(\\setexec")525 4631 y Fc(cd)47 b(r37/lisp/csl/util)525 4744 y(source)f(setexec)382 4932 y Fe(to)34 b(correct)g(this)e(if)h(y)m(ou)h(need)e(to)i(\(and)f(y) m(ou)g(can)g(tell)h(that)g(if)f(y)m(ou)g(get)h(a)f(complain)m(t)382 5044 y(when)c(y)m(ou)i(try)f(to)h(execute)h(one)f(of)f(the)h(scripts)f (in)g(the)h Fc(util)e Fe(directory\).)523 5157 y(Do)s(cumen)m(tation)e (is)f(placed)g(in)f Fc(r37/doc)p Fe(,)g(with)g(the)h(man)m(ual)g(in)f (a)h(form)f(suitable)382 5270 y(for)41 b(use)h(with)f(Adob)s(e's)g (Acrobat)i(reader)e(as)h Fc(r37/doc/r37.pdf)c Fe(or)j(some)h(more)382 5383 y(bro)m(wsable)30 b(HTML)h(help)f(accessed)h(starting)g(from)f Fc(r37/doc/html/r37.html)p Fe(.)1854 5652 y(3)p eop %%Page: 4 4 4 3 bop 523 548 a Fe(F)-8 b(or)32 b(Lin)m(ux)e(the)h(pro)m(visions)g (of)g(the)g(GNU)g(Public)g(Library)f(License)h(mean)g(that)382 661 y(y)m(ou)23 b(ha)m(v)m(e)h(to)g(b)s(e)e(pro)m(vided)h(with)g(ob)5 b(ject)24 b(\014les)e(for)h(all)h(the)f(executables)i(that)e(together) 382 774 y(form)i(REDUCE.)g(The)g(reason)h(for)f(this)g(is)h(that)g(y)m (ou)g(ma)m(y)g(w)m(an)m(t)g(to)g(\(or)g(indeed)f(need)382 887 y(to\))i(re-link)f(them)g(with)g(a)g(new)m(er)g(v)m(ersion)g(of)g (the)g(Lin)m(ux)g(system)g(libraries.)39 b(Because)382 1000 y(di\013eren)m(t)33 b(Lin)m(ux)f(installations)j(ma)m(y)e(ha)m(v)m (e)h(b)s(een)e(installed)h(with)f(di\013eren)m(t)i(genera-)382 1112 y(tions)e(of)f(these)h(libraries)f(and)g(some)h(v)m(ersions)g(are) f(not)h(compatible)h(with)e(others)g(it)382 1225 y Fa(c)-5 b(ould)30 b Fe(b)s(e)f(that)h(y)m(ou)f(will)h(\014nd)d(that)j(when)e (\014rst)h(unpac)m(k)m(ed)g(the)h(r37)f(executable)i(will)382 1338 y(not)g(load)g(and)g(run)e(at)i(all.)43 b(T)-8 b(o)32 b(re-build)e(it)h(from)f(ob)5 b(ject)32 b(co)s(de)f(y)m(ou)g(should)f (use)g(the)382 1451 y(script)g(called)i Fc(relink)c Fe(that)j(is)g(in)f (the)g Fc(r37/lisp/csl/util)c Fe(directory:)525 1639 y Fc(cd)47 b(r37/lisp/csl/linux)525 1752 y(sh)g(../util/relink)382 1939 y Fe(T)-8 b(o)38 b(use)f(this)g(script)g(y)m(ou)g(will)h(ha)m(v)m (e)g(to)g(ha)m(v)m(e)h(a)e(set)h(of)f(Lin)m(ux)g(dev)m(elopmen)m(t)i (to)s(ols)382 2052 y(a)m(v)-5 b(ailable,)33 b(sp)s(eci\014cally)e Fc(gcc)e Fe(and)h(the)h(usual)f(C)g(libraries.)523 2165 y(If)i(y)m(ou)i(in)m(tend)e(to)i(use)f(the)g(REDUCE)f(in)m(terface)j (to)e Fc(gnuplot)e Fe(y)m(ou)j(should)d(en-)382 2278 y(sure)i(that)h(that)h(pac)m(k)-5 b(age)36 b(is)e(installed.)51 b(Gn)m(uplot)35 b(itself)f(is)g(not)g(part)g(of)g(REDUCE)382 2391 y(and)d(it)h(ma)m(y)h(b)s(e)e(easiest)i(for)f(y)m(ou)g(to)h(fetc)m (h)f(and)g(install)g(it)h(in)e(some)i(quite)f(indep)s(en-)382 2504 y(den)m(t)i(w)m(a)m(y)h(|)f(for)g(instance)h(man)m(y)f(Lin)m(ux)g (CDR)m(OMS)g(or)g(w)m(eb)h(mirrors)e(pro)m(vide)h(it)382 2617 y(as)29 b(a)g(standard)f(option)i(for)e(y)m(our)h(installation.)42 b(The)29 b(directory)g Fc(r37/gnuplot)d Fe(con-)382 2730 y(tains)35 b(copies)h(of)f Fc(gnuplot)f Fe(\014les)h(as)g(they)g(w)m (ould)g(b)s(e)f(found)g(on)h(a)h(t)m(ypical)g(soft)m(w)m(are)382 2843 y(arc)m(hiv)m(e,)30 b(and)c(if)i(necessary)f(y)m(ou)h(can)g(unpac) m(k)f(and)g(install)h(from)f(there.)40 b(F)-8 b(or)28 b(further)382 2956 y(information)36 b(ab)s(out)f Fc(gnuplot)p Fe(,)g(its)h(installation)h(and)e(use,)i(y)m(ou)f(should)e(c)m(hec)m(k) j(the)382 3068 y(do)s(cumen)m(tation)25 b(\014les)e(that)i(accompan)m (y)g(it)g(and)e(the)h(w)m(eb)g(sites)g(that)h(they)f(reference.)382 3355 y Ff(3)135 b(T)-11 b(esting)45 b(an)g(installation)382 3558 y Fe(On)25 b(\014rst)g(installing)i(REDUCE)e(it)i(ma)m(y)f(mak)m (e)h(sense)f(to)g(run)e(all)j(the)f(REDUCE)g(test)382 3671 y(scripts)i(that)g(ha)m(v)m(e)h(b)s(een)f(pro)m(vided.)39 b(This)27 b(should)g(mak)m(e)i(it)g(p)s(ossible)e(to)i(v)m(erify)f (that)382 3784 y(that)33 b(installation)i(w)m(as)e(correct,)i(and)d(it) i(also)g(as)f(a)g(side-e\013ect)i(pro)s(duces)c(a)j(log)g(\014le)382 3897 y(that)27 b(compares)g(the)g(sp)s(eed)f(REDUCE)h(has)g(on)f(y)m (our)h(mac)m(hine)h(with)e(that)i(observ)m(ed)382 4010 y(on)h(a)h(reference)g(one)f(at)h(Co)s(demist.)41 b(F)-8 b(or)30 b(the)f(initial)i(release)g(of)e(REDUCE)g(3.7)i(this)382 4122 y(reference)h(system)h(is)f(based)g(on)f(an)h(In)m(tel)h(P)m(en)m (tium)g(I)s(I)e(running)f(at)j(400)h(MHz,)f(and)382 4235 y(the)d(tests)i(w)m(ere)e(run)f(under)g(Windo)m(ws)i(NT)f(4.0.)523 4348 y(T)-8 b(o)43 b(run)f(the)h(complete)h(tests)g(y)m(ou)f(need)g(to) h(select)g(the)f(correct)i(part)d(of)h(the)382 4461 y(REDUCE)37 b(tree)g(as)g(y)m(our)g(curren)m(t)f(directory)-8 b(,)40 b(and)c(in)g(the)h(case)h(of)f(Unix)g(systems)382 4574 y(y)m(ou)c(need)g(to)h(mak)m(e)f(sure)g(that)g(the)g(executable)i (status)e(of)g(v)-5 b(arious)33 b(\014les)g(are)g(prop-)382 4687 y(erly)38 b(set.)63 b(The)37 b Fc(setexec)f Fe(script)i(in)f Fc(r37/lisp/csl/util)c Fe(arranges)38 b(this.)63 b(Then)382 4800 y Fc(util/testall)32 b Fe(runs)i(all)i(the)f(tests)h(and)f Fc(util/checkall)d Fe(compares)j(the)h(results)382 4913 y(with)23 b(a)i(set)f(of)g(reference)h(logs.)39 b(A)m(t)25 b(the)f(end)f(y)m(ou)h(will)h(\014nd)d(y)m(our)i(o)m(wn)g(logs)g(from)g (indi-)382 5026 y(vidual)30 b(pac)m(k)-5 b(ages)32 b(in)d Fc(r37/log)p Fe(,)g(a)h(\014le)g(sho)m(wing)g(an)m(y)h(di\013erences)f (b)s(et)m(w)m(een)g(y)m(our)g(re-)382 5139 y(sults)g(and)f(the)i (reference)f(set)h(in)f Fc(r37/csl/lisp/<system>/log)o(/ch)o(ecka)o (ll.l)o(og)382 5252 y Fe(and)g(a)g(summary)g(of)g(timing)h(in)f Fc(r37/csl/lisp/<system>/log)o(/ti)o(mes.)o(log)p Fe(.)1854 5652 y(4)p eop %%Page: 5 5 5 4 bop 397 460 2960 4 v 395 573 4 113 v 954 539 a Fe(Windo)m(ws)p 1875 573 V 1202 w(Unix)p 3354 573 V 397 576 2960 4 v 395 1099 4 523 v 446 752 a Fc(cd)48 b(r37\\lisp\\csl\\win32)446 865 y(..\\util\\testall)446 978 y(..\\util\\checkall)p 1875 1099 V 1926 639 a(cd)f(r37/lisp/csl/util)1926 752 y(sh)g(./setexec)1926 865 y(cd)g(../linux)1926 978 y(../util/testall) 1926 1091 y(../util/checkall)p 3354 1099 V 397 1102 2960 4 v 523 1248 a Fe(On)27 b(the)g(reference)h(computer)g(running)e(the)h (full)h(set)g(of)f(tests)i(tak)m(es)g(b)s(et)m(w)m(een)f(20)382 1361 y(and)i(30)i(min)m(utes)f(on)f(an)h(otherwise)g(un)m(used)f(mac)m (hine.)42 b(If)30 b(y)m(ou)i(in)m(terrupt)e(the)h(tests)382 1474 y(part)c(w)m(a)m(y)h(through)f(the)g(script)h Fc(util/testrest)23 b Fe(\(used)k(just)g(as)g Fc(util/testall)d Fe(is\))382 1587 y(will)k(con)m(tin)m(ue)h(running)d(tests)i(from)g(wherev)m(er)f (y)m(ou)h(brok)m(e)g(o\013.)41 b(Some)27 b(w)m(orkstations)382 1700 y(ma)m(y)39 b(b)s(e)f(substan)m(tially)i(slo)m(w)m(er)g (\(certainly)g(b)m(y)e(up)g(to)h(a)g(factor)h(of)f(ten\))g(than)f(the) 382 1813 y(reference)31 b(mac)m(hine)g(so)f(y)m(ou)h(ma)m(y)g(need)f (some)h(patience)h(here.)523 1925 y(The)d Fc(log/checkall.log)24 b Fe(\014le)30 b(will)f(con)m(tain)h(a)g(section)g(for)f(eac)m(h)h (test)h(that)e(w)m(as)382 2038 y(run.)49 b(The)33 b(di\013erences)h (rep)s(orted)f(will)h(certainly)g(include)g(ev)m(ery)g(line)g(that)g (rep)s(orts)382 2151 y(ho)m(w)g(long)h(an)m(ything)g(to)s(ok.)53 b(If)34 b(y)m(ou)h(ha)m(v)m(e)g(installed)g(an)m(y)g(patc)m(hes)g(in)f (y)m(our)g(v)m(ersion)382 2264 y(of)i(REDUCE)h(those)g(to)s(o)g(migh)m (t)g(cause)g(c)m(hanges)g(in)f(the)h(test)g(output)f(\(and)g(these)382 2377 y(c)m(hanges)45 b(will)g(not)f(then)g(represen)m(t)g(errors\).)83 b(Also)44 b(on)h(di\013eren)m(t)f(platforms)g(the)382 2490 y(exact)f(results)e(from)f(some)i(n)m(umeric)f(calculations)i (done)e(in)g(mac)m(hine-arithmetic)382 2603 y(will)31 b(di\013er.)523 2716 y(The)26 b(\014le)h Fc(log/times.log)c Fe(has)j(a)h(line)g(in)g(it)g(for)f(eac)m(h)i(of)f(the)g(test)g (\014les,)h(and)e(this)382 2829 y(records)h(the)g(time)h(that)g(this)f (test)h(to)s(ol)h(on)e(b)s(oth)f(the)i(lo)s(cal)g(and)f(the)g (reference)h(com-)382 2942 y(puter.)39 b(It)27 b(ends)f(up)g(with)h (giving)h(a)f(sp)s(eed)f(ratio)i(b)s(et)m(w)m(een)g(the)f(t)m(w)m(o)h (mac)m(hines)g(based)382 3055 y(on)23 b(all)i(these)f(results.)38 b(Eac)m(h)25 b(test)f(has)g(t)m(w)m(o)h(times)f(asso)s(ciated)h(with)f (it.)39 b(One)23 b(includes)382 3167 y(and)34 b(the)h(other)g(excludes) g(\\garbage)h(collection")i(time.)55 b(High)35 b(garbage)h(collection) 382 3280 y(o)m(v)m(erheads)i(are)g(generally)g(an)g(indication)g(that)g (y)m(ou)f(are)h(short)f(of)g(memory)-8 b(.)62 b(The)382 3393 y(time)27 b(excluding)g(garbage)g(collection)j(is)c(exp)s(ected)h (to)g(b)s(e)f(tolerably)h(consisten)m(t,)i(but)382 3506 y(ev)m(en)f(then)g(it)g(can)g(v)-5 b(ary)28 b(to)g(5)g(to)h(10)f(p)s (ercen)m(t)g(ev)m(en)g(on)g(a)g(single)g(computer.)40 b(Suc)m(h)27 b(is-)382 3619 y(sues)e(as)g(the)h(exact)h(p)s(osition)e (and)g(la)m(y)m(out)i(of)f(\014les)f(on)g(the)h(disc)f(or)g(other)h (bac)m(kground)382 3732 y(activit)m(y)33 b(that)e(the)f(computer)h (runs)d(at)j(the)g(same)g(time)g(ha)m(v)m(e)g(suc)m(h)f(e\013ects.)382 4018 y Ff(4)135 b(Remo)l(v)-7 b(al)382 4221 y Fe(F)f(or)28 b(Unix)g(y)m(ou)g(can)f(remo)m(v)m(e)i(REDUCE)f(b)m(y)f(just)g(remo)m (ving)i(the)e Fc(r37)g Fe(directory)h(and)382 4334 y(all)42 b(its)g(con)m(ten)m(ts,)47 b(and)40 b(an)m(y)i(sym)m(b)s(olic)g(links)g (y)m(ou)f(made)h(in)m(to)h(it.)74 b(F)-8 b(or)43 b(Windo)m(ws)382 4447 y(de-installation)32 b(is)e(via)g(the)g(\\add/remo)m(v)m(e)h (programs")f(item)h(on)e(the)h(con)m(trol)i(panel)382 4560 y(as)f(usual.)382 4847 y Ff(5)135 b(Applying)44 b(patc)l(hes)382 5049 y Fe(F)-8 b(rom)47 b(time)h(to)g(time)f(minor)g (up)s(dates)f(and)g(corrections)i(to)g(REDUCE)f(will)g(b)s(e)382 5162 y(published:)67 b(these)45 b(can)g(b)s(e)f(lo)s(cated)i(via)f(the) g(REDUCE)f(home)h(page,)k(whic)m(h)c(is)382 5275 y Fc (http://www.rrz.uni-koeln)o(.de/)o(RED)o(UCE/)o Fe(.)g(The)33 b(corrections)i(will)f(b)s(e)g(presen)m(t)382 5388 y(as)39 b(a)g(do)m(wnloadable)g(\014le)g(called)g Fc(patches.red)p Fe(.)63 b(Commen)m(ts)38 b(in)h(this)f(\014le)h(should)1854 5652 y(5)p eop %%Page: 6 6 6 5 bop 382 548 a Fe(explain)38 b(what)h(c)m(hanges)g(are)f(b)s(eing)g (made,)j(but)c(the)i(bulk)e(of)h(the)h(material)g(there)382 661 y(is)j(not)g(in)m(tended)g(for)g(the)g(casual)h(reader.)75 b(T)-8 b(o)42 b(install)h(the)f(patc)m(hes)h(y)m(ou)g(should)382 774 y(\014rst)f(lo)s(cate)i(the)e(patc)m(hes)h(\014le)g(in)f(the)h (REDUCE)f(\014le)g(structure.)76 b(It)43 b(should)e(b)s(e)382 887 y Fc(r37/packages/support/pat)o(ches)o(.re)o(d)p Fe(.)75 b(Mak)m(e)45 b(a)f(safe)g(bac)m(kup)f(cop)m(y)i(of)f(this)382 1000 y(\014le,)31 b(and)f(replace)i(it)g(with)e(the)h(new)g(cop)m(y)g (that)h(y)m(ou)f(ha)m(v)m(e)h(do)m(wnloaded.)42 b(Read)31 b(the)382 1112 y(commen)m(ts)c(in)f(the)h(new)f(patc)m(hes)h(\014le)g (to)g(see)g(what)f(has)g(c)m(hanged.)41 b(Note)27 b(that)g(when-)382 1225 y(ev)m(er)j(y)m(ou)g(install)h(new)e(patc)m(hes)i(y)m(ou)f(can)g (exp)s(ect)g(some)g(c)m(hanges)h(in)e(the)h(REDUCE)382 1338 y(test)h(logs,)h(at)f(least)g(in)g(formatting)g(and)f(la)m(y)m (out.)42 b(No)m(w)31 b(go)525 1526 y Fc(cd)47 b(r37/lisp/csl/linux)91 b(\(or)47 b(win32,)f(or)h(whatever\))525 1639 y(#)h(back)e(up)h (r37.img)f(for)h(safety)f(here,)h(please)525 1752 y(sh)g (../util/patchup)235 b(\(or)47 b(..\\util\\patchup\))382 1939 y Fe(REDUCE)37 b(should)g(run)f(for)i(a)g(short)f(time)h(and)f(up) s(date)g Fc(r37.img)f Fe(with)h(the)h(new)382 2052 y(patc)m(hes.)j (When)29 b(y)m(ou)h(next)g(launc)m(h)f(REDUCE)g(its)h(startup)f(banner) g(should)f(re\015ect)382 2165 y(the)36 b(new)g(date)h(asso)s(ciated)g (with)f(the)g(v)m(ersion)h(of)f(the)g(patc)m(hes)h(\014le)f(y)m(ou)h (ha)m(v)m(e)g(just)382 2278 y(incorp)s(orated.)j(Note)32 b(that)e(there)g(is)g(no)g(w)m(a)m(y)h(to)f(remo)m(v)m(e)h(a)g(set)f (of)g(patc)m(hes)h(short)e(of)382 2391 y(re-building)i(the)i(whole)f (of)g(REDUCE)g(from)f(source:)45 b(just)31 b(putting)h(bac)m(k)h(an)e (older)382 2504 y Fc(patches.red)d Fe(\014le)j(and)f(re-applying)h (that)g(is)g(not)g(guaran)m(teed)h(to)g(undo)e(all)h(e\013ects)382 2617 y(of)k(an)g(in)m(termediate)h(patc)m(h.)55 b(So)35 b(k)m(eep)g(a)h(cop)m(y)f(of)g(y)m(our)g(original)h Fc(r37.img)d Fe(so)i(y)m(ou)382 2730 y(can)k(re-instate)h(that)f(if)g(y)m(ou)g(ha)m (v)m(e)g(an)m(y)g(trouble.)66 b(That)38 b(should)g(b)s(e)g(the)h(only)g (\014le)382 2843 y(c)m(hanged)31 b(b)m(y)f(the)h Fc(patchup)d Fe(job.)382 3129 y Ff(6)135 b(Re-building)45 b(from)g(the)h(REDUCE)g (sources)382 3332 y Fe(If)22 b(y)m(ou)h(ha)m(v)m(e)h(a)f(cop)m(y)g(of)g (the)g(Professional)g(V)-8 b(ersion)23 b(of)g(REDUCE)g(it)g(comes)g (complete)382 3445 y(with)42 b(all)h(source)f(\014les.)76 b(Users)42 b(of)h(the)f(P)m(ersonal)h(system)f(do)g(not)h(ha)m(v)m(e)g (the)g(\014les)382 3558 y(needed)31 b(to)i(do)f(this)g(and)f(can)h (ignore)h(the)f(rest)g(of)g(this)f(do)s(cumen)m(t.)46 b(Y)-8 b(ou)32 b(ma)m(y)g(wish)382 3671 y(to)37 b(recompile)h(either)f (just)e(one)i(REDUCE)g(mo)s(dule)e(or)i(the)g(whole)f(system.)59 b(This)382 3784 y(will)36 b(mainly)g(b)s(e)g(the)g(case)h(if)f(y)m(ou)h (are)f(dev)m(eloping)h(new)f(pac)m(k)-5 b(ages)38 b(for)e(REDUCE.)382 3897 y(The)30 b(recip)s(e)g(is)525 4084 y Fc(cd)47 b (r37/lisp/csl/linux)91 b(\(or)47 b(win32,)f(or)h(whatever\))525 4197 y(../util/full37)382 4385 y Fe(This)27 b(runs)f(for)i(a)g(t)m(w)m (o)i(or)e(three)g(min)m(utes)g(on)g(the)g(reference)g(system,)h(and)e (generates)382 4498 y(a)42 b(log)h(\014le)f(in)f Fc(log/full37.log)p Fe(.)72 b(The)41 b(v)m(ersion)h(of)g Fc(r37.img)e Fe(that)j(it)f (re-creates)382 4611 y(should)29 b(ha)m(v)m(e)j(all)f(curren)m(t)f (patc)m(hes)i(installed.)523 4723 y(T)-8 b(o)39 b(re-compile)h(just)e (a)i(single)f(REDUCE)g(pac)m(k)-5 b(age,)43 b(for)38 b(instance)i Fc(groebner)p Fe(,)382 4836 y(use)30 b(the)h(sequence)525 5024 y Fc(cd)47 b(r37/lisp/csl/linux)91 b(\(or)47 b(win32,)f(or)h (whatever\))525 5137 y(../util/package)d(groebner)1854 5652 y Fe(6)p eop %%Page: 7 7 7 6 bop 382 548 a Ff(7)135 b(Re-compiling)46 b(the)f(CSL)g(Lisp)f (system)382 751 y Fe(REDUCE)32 b(is)f(built)h(on)g(top)g(of)g(a)g(Lisp) f(system:)44 b(in)31 b(this)h(place)h(that)f(Lisp)g(is)f(called)382 864 y(CSL)d(and)i(all)g(its)g(sources)g(are)g(included)f(in)g(the)h (Professional)g(V)-8 b(ersion.)41 b(When)30 b(dis-)382 977 y(tributed)d(in)f(this)i(w)m(a)m(y)g(the)f(CSL)f(Lisp)h(system)g (is)h(in)m(tended)f(for)g(use)g(just)f(in)h(supp)s(ort)382 1090 y(of)33 b(REDUCE)g(so)h(detailed)g(information)g(ab)s(out)f(its)h (capabilities)h(and)d(supp)s(ort)g(for)382 1203 y(it)g(\(apart)h(for)e (as)h(a)g(comp)s(onen)m(t)h(of)f(REDUCE\))g(is)f(not)h(pro)m(vided.)45 b(The)31 b(core)i(parts)382 1315 y(of)k(CSL)e(are)j(co)s(ded)e(in)g (the)h(C)g(language.)61 b(This)36 b(mak)m(es)h(it)h(\(fairly\))f(easy)h (to)f(mo)m(v)m(e)382 1428 y(CSL)22 b(and)i(hence)f(REDUCE)h(to)g(new)f (computer)h(arc)m(hitectures)h(pro)m(vided)f(they)f(ha)m(v)m(e)382 1541 y(reliable)38 b(C)e(compilers)h(and)f(can)h(giv)m(e)h(enough)e(of) h(an)g(illusion)f(that)i(they)e(supp)s(ort)382 1654 y(32-bit)f(co)s (de.)52 b(Image)35 b(\014les)f(suc)m(h)g(as)g Fc(r37.img)e Fe(can)j(b)s(e)e(created)i(using)f(a)g(CSL)f(that)382 1767 y(runs)21 b(on)i(one)g(computer)g(arc)m(hitecture)i(and)d (re-loaded)i(on)f(another.)38 b(Th)m(us)22 b(to)i(moun)m(t)382 1880 y(REDUCE)f(on)g(another)g(t)m(yp)s(e)h(of)f(computer)g(y)m(ou)h (just)e(need)h(to)h(compile)g(this)f(C)g(co)s(de.)382 1993 y(Create)35 b(a)g(new)e(directory)-8 b(,)37 b(calling)f(it)f Fc(r37/lisp/csl/my-machine)27 b Fe(and)34 b(select)i(it)382 2106 y(as)c(the)f(curren)m(t)g(directory)-8 b(.)45 b(Select)33 b(one)f(of)f(the)h(ready-made)f(v)m(ersion)h(of)g Fc(Makefile)382 2219 y Fe(from)37 b Fc(../util)e Fe(and)i(cop)m(y)h(it)f(of)h(link)f (it)h(in)m(to)g(this)f(new)g(directory)-8 b(.)62 b(If)37 b(y)m(our)g(lo)s(cal)382 2332 y(con\014guration)31 b(is)f(not)g (exactly)i(the)f(same)f(as)h(one)f(of)h(the)f(ones)h(already)g(catered) g(for)382 2445 y(y)m(ou)d(will)h(need)f(to)g(edit)h(the)f Fc(Makefile)e Fe(b)m(y)i(hand.)39 b(If)27 b(y)m(ou)i(are)f(attempting)h (this)f(sort)382 2557 y(of)36 b(re-compilation)j(it)e(is)f(assumed)g (that)h(y)m(ou)f(already)h(kno)m(w)g(enough)f(to)h(sort)f(out)382 2670 y(the)g(details)i(of)e(that)h(for)g(y)m(ourself.)58 b(In)36 b(particular)h(y)m(ou)g(ma)m(y)g(w)m(ell)g(\014nd)e(that)i(y)m (our)382 2783 y(C)h(compiler)h(needs)f(some)h(sp)s(ecial)g(\015ags)g (setting)g(or)g(\(ev)m(en)g(more)g(probable\))f(that)382 2896 y(custom)31 b(directiv)m(es)g(are)g(needed)f(to)h(get)h(all)f (relev)-5 b(an)m(t)32 b(libraries)e(scanned.)523 3009 y(F)-8 b(or)40 b(use)g(on)f(Windo)m(ws)h(y)m(ou)g(will)f(\014nd)f Fc(Makefile.w32)f Fe(is)i(set)h(up)f(to)h(use)f(the)382 3122 y(W)-8 b(atcom)32 b(C)d(compiler)i(\(tested)g(using)e(v)m(ersion)h (11\),)i(and)d Fc(Makefile.vc)e Fe(to)j(use)g(Mi-)382 3235 y(crosoft's)44 b(Visual)g(C++)e(\(tested)i(using)f(v)m(ersion)h (5\).)80 b Fc(Makefile.gcc)40 b Fe(is)j(a)h(go)s(o)s(d)382 3348 y(starting)34 b(place)g(for)g(a)f(generic)i(Unix)e(p)s(ort)g (using)g(the)g(widely)h(a)m(v)-5 b(ailable)35 b(free)f(GNU)382 3461 y(C)c(compiler.)523 3574 y(It)g(should)f(then)g(b)s(e)h(the)g (case)h(that)f(just)f(sa)m(ying)i Fc(make)47 b(r37)29 b Fe(\(or)h Fc(make)47 b(r37.exe)382 3687 y Fe(in)42 b(the)g(Windo)m(ws)g(case\))h(should)e(build)g(the)h(relev)-5 b(an)m(t)43 b(executable.)77 b(There)42 b(is)g(no)382 3799 y(guaran)m(tee)31 b(that)f(the)f(source)h(co)s(de)g(will)f (compile)i(either)f(\014rst)e(time)j(or)e(correctly)i(on)382 3912 y(an)m(y)k(system)g(other)g(than)g(the)g(one)g(y)m(ou)h(sp)s (eci\014ed)e(when)g(y)m(ou)h(originally)h(obtained)382 4025 y(it,)c(and)f(p)s(orting)g(to)g(new)g(arc)m(hitectures)i(can)e (call)i(for)e(c)m(hanges)h(in)f(v)-5 b(arious)31 b(system-)382 4138 y(dep)s(enden)m(t)25 b(parts)g(of)h(the)g(co)s(de.)40 b(Th)m(us)24 b(this)i(lev)m(el)i(of)e(re-compilation)h(is)f(in)m (tended)g(to)382 4251 y(pro)m(vide)21 b(\015exibilit)m(y)h(for)f(the)g (exp)s(ert)f(who)h(can)g(cop)s(e)g(with)g(suc)m(h)f(issues)h(for)f (themselv)m(es)382 4364 y(rather)i(than)f(b)s(eing)h(a)g(fully-supp)s (orted)f(and)g(guaran)m(teed)i(recip)s(e)f(for)g(use)f(b)m(y)h(no)m (vices.)382 4477 y(In)k(particular)g(in)g(the)h(past)f(new)m(er)h(v)m (ersions)f(of)h(C)f(compilers)g(ha)m(v)m(e)i(sometimes)f(b)s(een)382 4590 y(incompatible)33 b(with)e(older)h(v)m(ersions)g(from)f(the)h (same)g(v)m(endor)g(and)f(Co)s(demist)g(do)s(es)382 4703 y(not)41 b(guaran)m(tee)i(to)e(k)m(eep)h(the)f(CSL)f(C)g(sources)h(up)s (dated)f(to)h(cop)s(e)h(with)e(all)i(suc)m(h)382 4816 y(p)s(ossible)30 b(o)s(ddities.)523 4929 y(As)g(previously)h(men)m (tioned,)g(when)e(y)m(ou)i(ha)m(v)m(e)h(a)f(new)f Fc(r37)f Fe(executable)k(y)m(ou)d(can)382 5041 y(cop)m(y)35 b(and)e(existing)i Fc(r37.img)d Fe(to)j(the)f(directory)h(it)f(liv)m(es)h(in)f(\(REDUCE)g (lo)s(oks)h(for)382 5154 y(this)25 b(image)h(\014le)f(in)f(the)h (directory)g(it)h(\014nds)d(its)i(executable)h(in\))f(and)g(test)g(the) g(system.)523 5267 y(Of)32 b(course)h(ev)m(en)h(though)e(y)m(ou)h(ha)m (v)m(e)h(the)f(capabilit)m(y)i(to)e(re-compile)h(all)g(of)f(RE-)382 5380 y(DUCE)26 b(in)g(this)g(w)m(a)m(y)h(that)g(do)s(es)f(not)g(mean)g (y)m(ou)h(ha)m(v)m(e)g(p)s(ermission)e(to)i(use)f(it)g(b)s(ey)m(ond) 1854 5652 y(7)p eop %%Page: 8 8 8 7 bop 382 548 a Fe(the)30 b(terms)f(of)h(y)m(our)g(license,)h(and)e (in)h(particular)g(y)m(ou)g(ma)m(y)g(not)g(distribute)f(v)m(ersions)382 661 y(of)h(the)h(soft)m(w)m(are)h(that)f(y)m(ou)g(ha)m(v)m(e)g (compiled)g(for)f(existing)h(or)g(new)f(mac)m(hines.)382 947 y Ff(8)135 b(Creating)46 b(new)f(pro\014le)g(information)382 1150 y Fe(P)m(arts)34 b(of)f(the)h(REDUCE)f(source)g(co)s(de)h(are)g (translated)g(in)m(to)g(C)f(and)g(incorp)s(orated)382 1263 y(as)g(part)f(of)h(the)f(CSL)g(Lisp)g(system.)47 b(Doing)33 b(this)g(helps)f(with)g(p)s(erformance.)46 b(After)382 1376 y(ma)5 b(jor)24 b(c)m(hanges)i(to)f(the)f(REDUCE)g (sources)h(it)g(ma)m(y)f(b)s(e)g(useful)g(to)h(b)s(e)e(able)i(to)g (review)382 1489 y(whic)m(h)33 b(parts)h(of)g(REDUCE)f(deserv)m(e)h (this)g(optimisation)h(and)e(to)h(re-create)i(the)e(C.)382 1602 y(Doing)e(this)e(is)h(a)g(fairly)g(costly)h(business)d(and)i(only) f(a)i(v)m(ery)f(few)f(users)g(are)h(liable)h(to)382 1715 y(w)m(an)m(t)f(to)g(attempt)h(it.)41 b(The)30 b(recip)s(e)g(\(sho)m(ws) h(as)f(done)h(on)f(Windo)m(ws)g(this)g(time\))i(is)525 1902 y Fc(cd)47 b(r37\\lisp\\csl\\win32)525 2015 y(make)g(slowr37.exe) 525 2128 y(..\\util\\boot37)382 2316 y Fe(This)40 b(mak)m(es)h(a)g(sp)s (ecial)g(v)m(ersion)g(of)g(REDUCE)f(that)i(has)e(full)g(functionalit)m (y)i(but)382 2429 y(whic)m(h)27 b(is)g(m)m(uc)m(h)g(larger)h(and)e(slo) m(w)m(er)i(than)f(the)g(\014nal)g(v)m(ersion.)40 b(It)27 b(do)s(es)g(not)g(ha)m(v)m(e)h(an)m(y)382 2542 y(parts)i(of)h(it)f (compiled)h(in)m(to)h(C.)525 2729 y Fc(..\\util\\profile)382 2917 y Fe(The)f(job)h(that)h(pro\014les)e(REDUCE)h(runs)f(for)g(o)m(v)m (er)j(an)e(hour)f(on)h(the)g(reference)g(ma-)382 3030 y(c)m(hine.)47 b(It)33 b(creates)h(a)f(\014le)f Fc(profile.dat)e Fe(in)i(the)h(curren)m(t)f(directory)-8 b(.)48 b(This)32 b(\014le)g(lists)382 3143 y(the)39 b(most)g(hea)m(vily)h(used)e (functions)g(as)h(rev)m(ealed)h(b)m(y)f(running)e(all)j(the)f(REDUCE) 382 3256 y(test)29 b(scripts.)39 b(Y)-8 b(ou)28 b(then)g(need)f(to)i (cop)m(y)f(this)g(\014le)g(to)h(the)e(place)i(where)e(the)h(standard) 382 3369 y(cop)m(y)j(of)g(it)f(liv)m(es)i(and)e(use)g(it)h(to)g(guide)f (selectiv)m(e)j(compilation)f(in)m(to)g(C:)525 3556 y Fc(copy)47 b(profile.dat)d(..\\csl-c)525 3669 y(..\\util\\c-code37)382 3857 y Fe(Finally)26 b(y)m(ou)f(m)m(ust)g(re-compile)h Fc(r37.exe)d Fe(and)i(re-build)f Fc(r37.img)f Fe(to)j(matc)m(h.)40 b(If)24 b(y)m(ou)382 3970 y(do)32 b(one)g(of)g(these)g(but)f(not)h(the) g(other)g(the)g(system)g(can)g(b)s(e)f(in)h(an)g(incoheren)m(t)g(state) 382 4083 y(and)e(ma)m(y)h(crash)f(arbitrarily:)525 4270 y Fc(make)47 b(r37.exe)525 4383 y(..\\util\\full37)382 4571 y Fe(After)31 b(suc)m(h)f(a)g(ma)5 b(jor)31 b(re-build)e(it)i(w)m (ould)f(b)s(e)g(pruden)m(t)f(to)i(run)e(all)j(the)e(tests)h(again:)525 4758 y Fc(del)47 b(..\\..\\..\\log\\*.rlg)525 4871 y(..\\util\\testall) 525 4984 y(..\\util\\checkall)382 5172 y Fe(and)30 b(insp)s(ect)g Fc(checkall.log)d Fe(to)k(see)g(that)g(all)g(is)g(w)m(ell.)1854 5652 y(8)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF