Artifact 6db9f9c29f8e090dbdba3617cca741841db8d24b87f275c6185c659bbd53d644:
- Executable file
r37/lisp/csl/doc/uguide.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: 132427) [annotate] [blame] [check-ins using] [more...]
%!PS-Adobe-2.0 %%Creator: dvips 5.83 (MiKTeX 1.11c) Copyright 1998 Radical Eye Software %%Title: uguide.dvi %%CreationDate: Wed Mar 24 11:09:08 1999 %%Pages: 6 %%PageOrder: Ascend %%BoundingBox: 0 0 596 842 %%DocumentFonts: CMR17 CMR12 CMBX12 CMR10 CMTT10 CMBXSL10 CMSL10 CMBX10 %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips.exe uguide %DVIPSParameters: dpi=600 %DVIPSSource: TeX output 1999.03.24:1108 %%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: CMBX10 %!PS-AdobeFont-1.1: CMBX10 1.00B %%CreationDate: 1992 Feb 19 19:54:06 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00B) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMBX10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Bold) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMBX10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 45 /hyphen put dup 97 /a put dup 100 /d put dup 101 /e put dup 104 /h put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 115 /s put dup 117 /u put readonly def /FontBBox{-301 -250 1164 946}readonly def /UniqueXX 5000768 def currentdict end currentfile eexec 8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8 97e17cb027f5c73fdbb56b0a7c25fc3512b55fe8f3acfbffcc7f4a382d8299cc 8fd37d3cea49dabdca92847af0560b404ef71134b0f3d99934fc9d0b4e602011 b9cfb856c23f958f3c5a2fbe0ef8587d1f5774879c324e51fcb22888b74f2415 50d7401eb990d4f3a7af635198422283cac1b6cd446ddbcbd915db9bff88844e 784c6bf7389803d9450b0c21756a017306462c563d51ece66fcc9c831843ecae 1fefc1a232e2724f7baee428ae03aadb95c3035345c15e9922fe49e1f2cfc980 237316572dbc57064edac9b0db8913a5e2d45e97e19a91435ccf8adfc835b585 48e74b291446d689c7f2f8c4325e8356e974ae30c3e2977477baeaa33d141fb7 80f59351e84bfc88c87b3a4a1d25e168b9d134554f6a581378c7d2d6eca8ac09 045cc3a5e0ed86f147133f094029e3483bebc81cfde69942cf645ea20d0a2b64 5140ccc2f9cb4a3d969f4b0a79cd3329b440dfcff5285494406f3dd08d804c86 df191e57232f6f1f83df6430f214e03fa5412b1e13d83c60c52a698bc9a38159 19a64162af7b83a9468fae9507c6cb55ea80df8c696dfbc3296c663902d77e89 a181502627281181ac8624f65be9de5fb32f056cc7dd7cbc7366a91717b5892a 34ef6b441871c6993da3a81afc9bf70ff3842a21a29c0e49da1ccba37dd6b920 2702db510b8b1109acf4c27ee8d676bdbd16abe189f34a9b61532eb777457698 cee0561838eaab2d3939c5093afbb215bac433d1918c739b62566906bb2187f3 378521fb52e70c18886e1aa15f53a1f8a169528cf2ddd54c203613ff88e619f2 6c9c50c2c3b8b8c868a88afab1dc8472e7b6f3f992a161723a3c0904865a7c42 3281601eee91f35222c4a71f343739f102eb43145a47e4fac3bd666e4c114a90 5950618ecb1bdc29f90f6ebed1d8325fe6b52e14a8870e9b4bb088e585c71b91 493c12845a101937e3473ac5e9ae24f7c358f06d590d7618e1a1d5834d87621f e3f5432b655eebd4ca61a7b00dde0aa740796ce88a43d1c6952f8d2ca63d30b6 dcbadbb0dadf13150a442714675dbe51ff838f2e47ebe8cd44f1eac6ae5b6ceb 0b07af03f5d3896ff935a198aa635e337e367e1e128d15e31afe3ffca8245e41 a3e17011340e49d52fa1e322b435b4f7f2f49ae01f6a319f68d3d786c24be810 1e1c975a88158608699e323483711dd0d1ce2f1bb24b060b1ab4b34770cc714b 68303b1e768c6ee9eef79cbe59eb4d9335ace3648cdc1f1d17e42b1d7a6e7caa 663d05187d3e4b22414f6ac8e913f7293d2e0f8606aa7948d6e511db91d7a1cf 559d2eb933eeae75414a7a3ab5ce02961605c122fe92063d724835695176e472 2b40a297d94f2ffe2dc828d5fb2cfb9352c2481a36379129cdc1537dcbdd129c 7cedb1da19e1270ee1c9ffaa70df55b9b5eba0df9f877b857d83a06505de161a 278a309aaf6fc01b27d6ed38ce003e05905bea33d769a6a93b038132c5da2445 1235a299b3eb963cc7d9b87240507133b418b408f76c27cb8c4f9bef7b7a083a b75d97fdbb7b4d643523b8a79f48b10a15a03bde860df1a23115bd997f3ba875 8651499a87c0ad162c7ed0c42e9f973031321a0deb07e67a100df5d2dcbcc7a1 f3df3f56f377e0b059543e46c60a70deae4814005cf516fbe5cc41c453f88d84 5ea181ad04ae36420a57a33029705ac44334a7b702f5463e378824c730500681 812af1d75561fd880b2cb7bd201c8c4926a4e4d4d1699223a4edab405cf7e2cc 9e53a37b55157e1987a9f09b7ea0e611a7497ea1aff4f8030acad56ce97466ba 28a0a64514a6ca9fe01dd0c085022115af67d80d7082bc307f28355bc0ebe816 1661ab9b7bab22888a47d39e3ed17d5827acb6aff4dcb81276e7b8d24dd4ed62 0eeff7af89b02355aac062c62cde4919804f443036d7db674f205364ee0b1471 c29a4e361b2511716b5e2b4fdfe3f77268df1cac317e9ae3b465958c0cf8741e aff07d9f901e48dcb93622daa7e8aa1e3dab11a093ab9f859c5a0bdb1cb06658 747b6d2dfa3084df3a6c0eaf2643d5fcbd98dca7933b1a420be256fa85d28cb3 eaa8a1782d9e2ee81c296cc98d562bdc2dbc1d83003223e6bc6b11e0403b6f30 fc0835cf48b127a74b3d6c8c7150c7ba2ce5df563a3d8679be1cde58803f5aef 10779d67559537ffe762ba9c88640daef984998df79595aba8d47f7641329ba8 c1bb83a21c4e7a95f28550ee699d45045e7353436c07c1c7daa109ba7120f5de bf4adbb7a447bb6ee6bc19059a24edeb24a965aad9402243ea66fc0461571840 27e4864d184b33a8d0df98a197e38bb91d0573681ad03ca147bfe6a53e428c0c 2840059441cd99c5ec0787a944da227b489f80feaca0374d461c73b780e241ef 6b56a4b00c769c391ce5d08192a0b1b4821fd5dacf0f526f1ba98c06c904337d ff129d3065ac7c8e7a790b7340ff91ad714c46cbbd8c1c9151b2054c037b4cad 549ed385d0b9583254c026ad4f0f19e0907b329ded7a18844e362ee28bc6555c 009f22626f67102247097c705a8ffa9a6e79148384a025904cccc1418f8ae088 befbc294c3e424435ea159c92fdcf376146e7240f935481405ac043dc3f185fa e65e103dc23a7df069d58171b667a8a9652628dbb5013dc7719310d92d983639 1a78b5c9891275a283158dbb6d7ada6d80ce7da1e784c9caad0acee1e0c52755 a2c14ebdf51a56ffbb36ff00db0479fbdc1964e57b4c8e193b0ee7799d186595 afd5d2a0f6dc9725931d56527097e93e6fd620c9ee790d21a3c8d640f65cda22 09877f57ac9dd0c40c4fd72a226d5406d7e0cc3181126320159c6be9688ed969 b3eb0e2330d29593db4cf971a67135fe224e8aa47b8dc790682ed7893d581371 da28c6f881a874960fe45f96ee12bd1224bb44bb771ffc304892757078c5839f b92bbf9e5bc44765cbb9d72c613fd402ed7ee3761d0d9fe6ea866827d69fa41b 73f7f5354d9a90df8006b18ebcb9731b0ffa3c4667dddfccadedfce73fc594a8 a05fd7a4013dd9ba2c231502ea8a37d5c56bca7fc23e73a8d50796c0f56dddca dea016e4ecb863fb3a2174c8160522471c7244972e4b26ae94700bf05da97b8b daa71d04d39f3d7923241de1871a3144668e97d96c11c617fbf93ef0537de7e0 07bfdd282a53fbaa9740e54daa8350c315ffaf29d2a8bd196beb26630e44c834 2552791688876c79f8a18c75dc80c94ae348dce6b2fa541e67f128684671b4e9 1c22f6ef9b5ce0fe91ba780da894f88149175669dd5866beee04dab42c8aae5e 99150d971e451857531b4eb801e6df88a1b4b2e0f1b5fcb3e3a27a31d3e6075b 9b2d132da07a43be2fe43e921fcf8eacd960763f8c4ab30dbade2691ad296c29 23c13c927f3241112c01aa4f68eb358427a2feec50eab05cd551f4544f36f0e2 11e509ef88c48b7bc6e655bd73ce941d2eaf8f5e23ea8aa20344b0bffc0f7678 e3471c188453f510cef403f46be706d47458cd49409e06bb84cbe52a43be1e5d 4771ce16c376e581c3a85e6201183211a04b97591960dbb1db4ac24f79ca8f8a f9d6b0e952c6ab771d1271daed0638b7bc085c5ec0888f30dbdc1b042dbf5cb0 b84bfdbbe9eebad647f3ce749225fa62d34ca204549699684e35a6822f2db39c 5fc73c974c35fd381445bb43320924e5b7bb7369fcc7219d6627ca68bfdab3ed 1f097cecf5523b438808483371dbe7ea9a7c889c4699d6bbfe7c6c9e90ed0927 3a154980e8e1f00fe93c91f3d614fc717e5f4fba11f6d0409bfb111175185c8d ac5ab33b5e1d520c1e91c0d081161fde20b6f802d639a3a0326404dbb106813a 10759049120bd3038441fcdfca778b71f2f11cc41a599d17705714c300902e50 17e39246e5be04138007bea45743a3b64aa909939c92f9f9a7511fb49153ca44 882e4df2a56dfc8ecd742305743ca46c8fbf4aa1edac8b7fe0e5b065f954ca24 2801ba10bd148b0b2d1dca36141f03b586e5dac83ac3bae0d0551c385e519a30 ea778fe5fa70b9502345aecf54199b4a3e11dcc056d89aedb3f36f4d083d68b7 ca4c6f9286eeb69b734b2e82e3f7743b4c1974083a8b103a8da4dcc35704b953 3f61688bb3c3f80172d28f0ba552b7511061d4caa7b3582b9187861017fa9c44 1202f8a2b182d57837f2fa951b817b0d934f83158c6b82c03e88504e67bbf50c bd51a07e9702d34a689fa2c703e5f11d92495c39cf351554ee5de252863f026e 82991a3b4b855ab4367252a894b556383c2ed16e22716eb8044d8740ad6cb7fb ad446ab8397e3843238221c28e4dc6d22ab3c239e8da1418435fe7b75a3403c4 59b3ff95e1099036c7666f00 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMSL10 %!PS-AdobeFont-1.1: CMSL10 1.0 %%CreationDate: 1991 Aug 20 16:40:20 % 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 (CMSL10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -9.46 def /isFixedPitch false def end readonly def /FontName /CMSL10 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 97 /a put dup 101 /e put dup 104 /h put dup 108 /l put dup 109 /m put dup 110 /n put readonly def /FontBBox{-62 -250 1123 750}readonly def /UniqueXX 5000798 def currentdict end currentfile eexec 9b9c1569015f2c1d2bf560f4c0d52257bacee583a5c939393e012707b47e0c1f a47d284a1edc9d01a497d772bca8c543388e6dc0d1e2c4944740470e0914f65e fb0737b0851b2ba713a9a00b36d07da6bcb52920b9b59efe587734027a3c5e65 66aad332fe6fbcced1417802822a3b81d6187875263d6bbda04bbcf6e4870fee ad60f104bb3c5a766610dd11aea64a6b107b0b04439fa2888b8cc39232bb83f7 695aba81f0260cd5248b9e649cd800bcb325468c79ffacb9cd3036f2ed7bb65d c6f12e33dd6d45b61272314f98990d08c0f8274e999f4b46af4b5c5da923683c 960face50087915d2044d7211a18e0c22967ef89552662ba990e2dfb9267e09e 354f41e74d44bd80a2d905d2edd60d8829e820c6ab0fdf322964c1ecb6569818 a465d5266d3366d748b412446e602f0cc52f3cad2213ff6ad92c04f6ce8bba94 890fb44eadc41a0c42eda4fe9722e6d4b17a3f6d35cf755d0a1c90d0c2033b16 ba76c456137acee0112e35edfb7206a9cb18dd9274401c70c3039059a583940f 44cc19ffed32940fe8203292e103d2abcda173df85995aee98bf4a1f65ead55f b80bc0c737589fa10cf51999c634e05d80a7dffb61433bbdba17ea9a7b92f763 586105c8277d6a961d092617c64745450b7df4efa70884f6017d9b0331814cf7 02f1140425eb8bf4c269ec042fde895a7f625c4832c1a143a14abeb798e23b59 f88ebd1414a66520435a4c8f5dd7a548a7d6a2fa96f0995bc0fbcf91b1a1eb71 1026a99d2404b2103bb3626978385830a00a02b6aa820cf33785f7aa45e267e6 ebe7d737ded351c1d4e944733feb30a3e6f81c1a7b74ddc9148b46b02a525539 c54a7eb25dec18807557b6ea94c36db0c91121160f61bd37cff40bb2b11aceb7 5f146be38109daeb77803d8f580f9086bc460e5c96f764c1254e36feb77c48a4 419b9a9cb5ec916b73efcc4c5a698909d5c98ca014b7c8e2ebcde195f5ad44f5 75bd2dcebce29979618bee325c726f5d4967cf0e3f7d35058e04dbb7fbcf60f1 436fade30418ba3c7dde0b6aab803140e6aa7c9808ab4d3d31432f5d4cbc007d 32d7541ccb867f6ccba8bd18c3d18524a692ed2ad29db54d7ca84a618052d3af 3999354cd44c306a7b8a7e1c6fb384bc2bc9995bc1592d5dacbcc38affab7c20 6f691d766c265c36d80f50934b2039a7235143086c2899a73ce01291e15b32ec 5f998212169617901c6f6c2c73b7edfb287109b4736a80d8274bd34e5f5cb608 5e60c0f88646db415a8c861b9728e98728b5cbe96f8f8d4973f02fc6d7921949 976eead4a2cc2a208bbba98c94f6f7bf7184dba2db733a3bcf5c56f471f51e0f 2f237b29c7f3804b16b1a1b83a1716f76f2b8070669718eaa84b19febb1d491b 2c83f2fd31109c1dcab27d2252065f19ab3e6062f224ba6c6a6a678268f5b20d 97b7639407341381bcbb9d2a6e9a6dfc6b5b44167fa53d470f240e0d44a95937 1ef1c152bfa996e295ee557d4d98572fe791eb178ba0c013051bbfd9385d048b 84e196167302ae9737474734e608c6bfc642dec8089c2d36014f15b02bd7b365 5f34626e1b944689edb20cc73e3494deaef011c38bbd0866af3172344f0b107a 166bbe04239ab3fca5b57ebd036226e3737566b8f5397a924b62f81af6ff1da1 9f5082ee3976e5438ab257f5afdce722d3cc768f7ed4377dd21dee3d3f83a788 e9977e458e2b8a62911be04ccb166b06cafa22e265cb23cae2c95f25fc68984f c1a905d00788f27a6317c61a624d8b3fcc9b939030d4cb939e2d6b508ceed7c9 b0a6d66dfb705e4d8035953b6b9740b3cc3b05cffe737d7e58071f66e7d1771f 4eccc96d47f92b130570b5effc688d8e7f91325f783d07de3469344d0a930ede f96294c58f099ef44f253b187c57e32a88bae175f3e08dd6b66056fb94bcf686 e2f0fd3050f647da76912fc722b98980031171cd0e711adeea48211e2f4c1546 d1201c3aab8ea502ab93a58732b0c5253f924f61d4a5ecec6289d1827d9b4140 bff5b16b369428210f300a206eb554cb88ca3035c62e20592ea3cc84317b54a2 6ba9774420508541ca2933ab2a80a9356d757dcb3e6dea151c7654c56cefe4bd 2ecdce52313c617f86861b7cc5e1f5d7c5e8e5d7d447ea27cc64c7a192f45dd6 6b46c0f84e57e510120ef90e6819ea2bef02674ea988ee0094ab129f6a785314 c86f264906051de0c383e2ac346cf9ac66c2950d28c3c13818305304a79a1834 f396ed0ecee4241c8abd484a9164d97250a5ba8b3fda741b81d335fe024731fc d8c726d52b37400090adec52cccd9fb58a35800981ed1c809692527700dc3442 68158758150c899b2655c7fd5c2876d72d97f0118185ff2ec166100ec0f8895c 5317a539d4acc5f01db56102c8bc94af87eec165b0076b092d2dfce1f6a357eb c540f786256c6ad4d3ef57feb144f0dc4d93f757910b2f37b01262b13ade3b18 91da52dcadd40001a19ce79282206e17cc02710a4fa1f869216adb86e20964b5 3269c3578b69ed27724521b1a963e9f27c23571884c53730f3a5e14e4d866069 96899b4272c958f0fdad83f864c2274bd76c725aa2da7e00f762c4fda80ed291 7861aa60a2ccf6ebb338e7dc59e44035fd6bb1542d6e9be4403fb141dac738b3 671a5a3ed630bcce5ecd71c8fec17e3fdc77fe79b10a0677541c0ee1fcf7cd04 8669d4fcc7712e19090ea6875126c59cf6b9e0f4bbf9c414b7e1741cb974fe84 163b2146f2f42d43c2eb32377aac7370f6db7f2c25540e69452226939a1e8f77 8e6beddf4a31102b717bd235846966c799bacae5c4b5ee469e51cf3438e6dc08 716020a9f973f22f481fdd50772e5a4d6d17d4f6bb2d65d07eca95caf5df5f8c 8fb3963c1d6941306e71be9c506f99ed7eedc0acdf2fbeffa4a1eced4952335d 9e2509ef40de8d4cdb28b7987a21cca0cd72d2082dc2328b803d6c983ae9b754 5490e74e21f34894c55d225ce49f2cd1b11ced14ee6fb97f3dae26e16d6eaca3 ebd4d9d943cf524d8fb68e3d7e11b832b273dc793f4ac54f538ba354c27244f7 64cdf078aa302ba6153a956c86996df1f2bfa13c8d77ed8e2f73e74dc043b047 464b5e1c466539f6ba4feaa3ade71b4e72e6da37aa58192047826a77c983ccac 2bff3d33b274ca75caee16052a1e9003419284074a7f36400d10d3c77c90556d a69006ef3d25c6ab417af78e6a7ee9455ab1cd510a480339d531ccffe434baf5 498d4f3c06d15f7abb713be02e1a09ff43d67084c1ea12e3a999d4ce10304e70 9ba73e9d490096af49f003fe4827bdfa373f04ab8d4ff79a8650e711dd68da5e 7897fcc6476991406f3aa8b21dc956e81ef460df364e5439ad105158f0dd911f 1858fdec05cd839e55d7b38f90648c99c92b0664d7fa96168bfe6f293f769b62 a3470abd 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMBXSL10 %!PS-AdobeFont-1.1: CMBXSL10 1.0 %%CreationDate: 1991 Aug 20 16:36:44 % 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 (CMBXSL10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Bold) readonly def /ItalicAngle -9.46 def /isFixedPitch false def end readonly def /FontName /CMBXSL10 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 44 /comma put dup 45 /hyphen put dup 58 /colon put dup 61 /equal put dup 91 /bracketleft put dup 93 /bracketright put dup 97 /a put dup 98 /b put dup 101 /e 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 114 /r put dup 117 /u put dup 118 /v put readonly def /FontBBox{-75 -250 1278 750}readonly def /UniqueXX 5000770 def currentdict end currentfile eexec 9b9c1569015f2c1d2bf560f4c0d52257bacee583a5c939393e012707b47e0c1f a47d284a1edc9d01a497d772bca8c543388e6dc0d1e2c4944740470e0914f65e fb0737b0851b2ba713a9a00b36d07da6bcb52920b9b59efe587734027a3c5e65 66aad332fe6fbcced1417802822a3b81d6187875263d6bbda04bbcf6e4870fee ad60f104bb3c5a766610dd11aea64a6b107b0b04439fa2888b8cc39232bb83f7 695aba81f0260cd5248b9e649cdbafa8977dcfa1fd1c2ebe75ae4006ccec7190 807d60f30aeba45b9235f893a2ad10ef90e0a872978e4c48c148b3c67d4b15dc 3d88ed6f8dbd0fb0cd2bdb0b56bbc6c668ab78b444283fd51d84be4be8f05db2 aef26c4883fd71b87c4944df51f282d2a8c9f9d5a8c45acf0a64ebaafe7de29e b50a0446b5094e985f0008d1f5583d5e8b062038db2c8b3ac1d2228bdc829747 71a832e63ccf336241d98fd86baea41c5cbc2fcb2a6327940e7e4897c5876046 49140621d387ac3662cfc171e404ac347a1a6913d18e97cda2e5a47270751916 1caad1d259d047fa01761706d7e5b0f793e1ffb0f392091754f01579439fd9d9 9e75d7a4229734d66abb806ff4ccd607d7c2bfb837953ed7425ca9b2b27ef8ef 54f880faf192375777ecdb519e9ca5195a5b268f0563d8c9d2beb5f98603d8e4 33d0b33939be51774cef3a3be9ac477de44f9a4c2cd1b465c1ef4c2c0e53ad01 4d22702eb3cc72fba8db262f7dbaf8a23bcd0902ae12f5f9356815b756e904f0 2338b11185a219e6252eecb8718c02adda6f230a69ca022641337bd36d7aef19 1442f962d8a585136ed0c81a31f088e402d9e34b1d08f76cb73cd8cbc60da42a 6f48578344fc0c786f45385c030ca63535b7bb086e337bf2a1bbc1f529404de8 e0659dac733e1b9dc9174df30198deda4ee138fd39ae160c98e13a2f9a747290 331d9e21e0a4fa9d67fc69ff00a40e23293792ae575ee3d3f78f82390d464dba 1fac3d91c6e719597e60db62510d6e6e640e9b1f970ca68679c38c7e7c399b86 ab685e1468a2073d38a69c0a95180b384171c1cbcf567de1d0a573a1fd2e3017 eb44cbac4cf734522e2040139c05c07ad08a21aff55eba6fce3e30151c5007e6 49dae13ec995b2395ef19b0e8223be6471a1bd0b2dc6f94b7de0a223b4fb5b9e d4b3825306039a521d530894162f54686bf12232dbe9bf7e9b980f8919849c65 32372e33f4bae5e205f4f99da3998bd6bcda202b2193596c95e61691a7aac6d3 f92dc642b147b4a854c0c08d74e726eafe70bc373182d16e39bf7f56509077bc abfab9f63e578a4980c1d7e3ef3ad97182b27b5f6b8d43692cc45131fb4eaf15 c3d9612b606e19914322a656054dcf43a7b2f811215400ee7aaf51d7ed2ce770 800aad97751d0fbd94545a720589f3cff9bbba3dd2a09c2d42fc47b0715ed970 1ba3e258670cde80c107c8fdf6d90518af0d9b53fbd5d8675e5d4335f05a1394 a613ea883db09b8b4bf42eb0bbf7142e44afd1e63e0094bdde0950362c935985 7eed1bdc7b436730d3d9729c6340997e3d8e1a1713eeaa6e43ddd404c263d0a2 c668232d15339feef4a388635ab0736c2224d6b8a4e43cd37b63c0323823f192 b495a72fcdc2b0fa3817ed27cef8a06aa3e30d822fd2f0eb2087fca19c9ce138 9da4d0d1ea25b69e809b7055590bb541c358f32f2b68ef6e282a695837a1ef12 828fc8d6fd4e429a4872a0e64df465386d5ada2c46667575c4fddedde5f07886 1edf11c1a27f33b71dc62839c440bc08eefb76da0ac140bc3b119720352a271e 114cafcfd1aa01666a6aab02d2373c1506d1981daf24a137b30eff1121fd95b0 d297ca7d4d6fd4f2eda12d2ff04fca3a692ffcc1acb020454644c857b82ebd9c f52d6ae96ad3e766109c5d8bbeb56e27d30891f59d3a944f3b0467d663bb8967 d2a7b81552cfd04d913a1a421c3f7d9ec4b70962f28121b43fd1bb926f8f6e7e 2d617dfec86ffc2e5385a9fc0bb7d3fd5ed71c4d2810ed86a7f05855cf601efd 146cf2a777691fa6a4ee597a85644eb8f677cd136f06b4260c2c5b820270e7ab 1be468ea96a7279cf15e24c3736ed99ffee765f38af69623ae2e2750c75bc111 11e31f708b2146f05284b728249bd75382ea0a830e802828a6cf0d3d1a26d0c3 61bf37e7fa96422315172816fab69e931f62c5d12bd2e713670dc2e7d6649f71 7ee7e843d54f262c2ac2856120d2db65b4119e55cd5ee712c37dd95290222640 422255dbf00760ea98e15a18f5e2e69b652a9530a564ff1437b5b3a05c854474 7dfb8710961d8aa23bfc88143ea1dd5862644c198c9e2c18d032e4718d8447fb b6167e9db1306d729c1a62413002347ace389c2f4b3e2da32896d2249476440d 1d649d01e223cf107e2857345e327c1997a8ec4319ea237526d2c92c3b286c4b 1b72117d32135c4b53e1eaadc2ea8250d35db7baad825de98341e6422a06ae36 27e7fe4a1abfe223799c8ac0a9724ffb8f6802057d8783d029767dd67ff80c05 e773cee8e8229d813effe95cd87e75d30fa6038f17f75aa66573ad2bb2595258 30317b7dd900e2a658e1f3d4d19287083e2bb0ab2d1d83f0124e4643b0f59beb 1c05caf5e114b5405dc0f8569a194d4a25544aa43b0fabd517a48d87fb32e5cc fb08b4ae6b3ce7935ed93a109eea8f8a60298f767eae5feeb713d4b370dd56e6 159f41f714d0763d7c50c7d8c36f1b79e845d337623983fa42b55dec5086cd50 1d693839927e96745ef58dbd9109de83e7edc8aa9540f9c9b7fdd04c9194806b 2188028ae71fb065653f93b5d650ae6a8dc27f5afb5c63ded1e2e0a139501764 98d777fa3625d869348d5dd70b3b6b716f5d079af6b2366ce010de25de1e5223 bc00ce9ecb0876b127a455877a3039b537058152e3d95b5c786892726dbbff2d 19ddbeae2c4f5cfc03b17f91e8eb136ae1d0255bc30617243653022d3b665c11 fc0a718d005bee3c08b787686ce2ab26949946e8973cfbc3e30d056d37b96c2e 175eff6bdc0bbd7c5b05eef04da275eb87dc17f6b295c45b63bf6043c60797e1 212a77f66f3cbc068d71e4d7cff890a4a49db7106920c855b57d23a2b5480d9a c849ce4c5a1724696bc844d6b70948cc26b4e3052412db667cdf91159113d821 4c5c20483d656bdd820c2851cb681b98b14e944179aa1854caea6de5d44f19dc 901c5397361066917741ae85e0ba1d5d7b3a57e4a1a381043554e4c4d2537329 85ec17dc06d7792adaa0bb4ff12cae7f11268df8c6e24c08260aef1704fda4ac 16f759ef27a5cecd71d68ac4147bf2689bf61c8f32366d5edb8504c8bded1abb 3034a486bea285ad5946371c0c490bed8da06b6671f553df9d4d988b01afdb67 98d06d90599ca9bb8b3cd0261177b34a6afadd238d7709d47c30e49d857f4c4d 8a16a11eae7fde2990be97aab3902ac9acf959a69384dd9c4dd99379795b0784 924b72de5680494d3b83a9ab9be5c8fb5128c6301365e98f3ad0ea6a09d62a56 76e78f638bdb6655531c54c9d7b6f096c48f2a96e1e6e683bdce08fa419113b8 3f1a70194ff90e1cbc0907093b52638d39cc8febdbcd1bfd9e18b800bab898b2 92129f4c075da904323550e2655bafdd52d90ca081072c6a173d2ed4dd1fa537 d1673dbd70e0ac0c1ca62086dbaad4a3723094250e0db5336e8b2ebbe4addb74 170e8cfecce98cde6f97df9a6cd135134ad43cedf2740fc3c838a8dd9676d15c 6ce0e7a4921a5eb497bcd3d3d279820acb3e071e8fee39b971880db2d17bbd3e ecb6774ddd60db54dbc7f816acff02d2418ca9bf9e3c8c86325a6ff62e06d81b a35a92c9913b1b849d5c1ef2fb0c5005cf5800862a54ebb301201af7baf66f52 d712b064f3bd235f0741f13aae774305a2b7fd82ebea33a246d529583c82eaf6 8ab484159bb7d6ed94848cf0a11b94951a7dbf935129becd4d7e4fe3ef4d669a f67b7e62ee6d7ab452cd24d5d26c3ec236c6d43aab8046855199e922adabd548 c9828407934425e9eacde193f6e156ae8fd4a72d594e849fac258a9a125bd358 2ecae893e7e719b54ade3a6f1488a052dcf12b96c1064b3482ea5ec30ce6bcee 9b62ffbc7afb2da675af3084c9e3823b3c057d53524783de7bff9d6acb086dcb 62a1b900ad2e0842ba8fc611c86a8c27c298aa6a3aa40edfa31717c5bce0856f 689fd367106695ef9f21127423e7beddc908824679620ba6075ddd4cf6a7cf6e b8f6eabf633587dbb227e5d9e3cc10881853f3b830064e9eba63481a09c2f92f c5523fbfde474318298d5edab8546e960b4bf6147bfafd445ab9d8c17259691f 3f7103534fb91e1e9336aaafe524fd7b0b9ea18755de5b1e52877a755755ab54 147704ff4801b9a3c644fb30ea003c976b2cb02939e1a18d094f49faf16670d7 cafcf9a7660a83c67310061cf4e638f0e4903980c2220034ccd94b8fdf2e36f5 f1b7283eb948aac77a47f5a2f1346f4ace7d2fa0673dcd1c96d2e6c4ac61c4ee a9a3e5d395052f7f2cdea131294a26ef1f2e971d81814c7742fcc985fef473d7 fa35ca612b273e01ed07881f15ba1d2239abefbf2af48bfce0093b2318b98c46 371cfc2a9c035f546a522a6f50589fa6be45a1d12bc51b806edf0d04723580d7 cd9d3be8169de0cf68044db02d77167ee153cc9be355e61499a4d6ef6ec14e51 50fb2bf884a72ad963a6bb6d6b9f530ffad76f307e8eaaadc81e3e8f7874c168 a943a28c23b79ca84dd79c473b18bed562085598b338ec89c756149a66de2652 863cbb5f43e75a632a3fa662ca6df1486787142b3ab8dddb677cc55b0295ca23 78b72d20e416fb2d86ccd88655f63330acd6363048c497c847d71c7f0a4307e8 e4e3fe5c51b1ad1c2f5d911450be8d2c1406545ea7d19513b4ea102079ac9a97 5e08f011a541dd489469c85a2782539abb7cd19695d2ca8a1085c9901bceffd0 dc864b9c32532f43f6525d8cd158c46751297d2fd7768322a5e16b13b16eb485 065839d531341da66545acb042fd50c94428db176cc218dd3aa007c733041bbd c9f4170563ef5833e8ce2179eebe25c46d489414aa26019c5b2a25c7d0d8dc9f 4e541177f5fc8b88b614e5c9bdc2ba77b6c24b2f017147457e1762f79d201c15 53fbb2c47131b0b0e6a5604c32d85dc7a4884bb1c43d2fa60bf8be1f127a7351 ae0d48f9988f860574c4915bddd57f9d13c3d82a681393c16cdcb55cc5f261 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 34 /quotedbl put dup 42 /asterisk 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 55 /seven put dup 56 /eight put dup 59 /semicolon put dup 62 /greater put dup 65 /A put dup 67 /C put dup 68 /D put dup 69 /E put dup 72 /H put dup 73 /I put dup 77 /M put dup 79 /O put dup 80 /P put dup 82 /R put dup 84 /T put dup 86 /V put dup 89 /Y put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 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 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 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 a7e2c34e90c8b7c4125d8657cd89e0449b5969f05212e64175cce0f9f222ffbc aed931d729e5a76857c6217c25d0cc194ec029fe0724e6852d96ec964a98a21c 8a58665dc0521232ab07b28471b6fb12bf9ff41dc4237852d1beea1c067c2336 2ea7d5ee1fec99e30dceb0bac6fd87333b8f037dae1311ab49d23bdf25a84d43 2f9f60673482a7e57b2351ea06ee2a1a676b90ddec411210b791b5c209964a2b 2e18155a3f01cddfcdb488a4adaf090ebbf09a6fc2e66b8bac30632ddd5185ac 833787390b4641f27579e3fe3b5b8b42c30597604d2c4bf6a0b403cbbd4021be db974117a63f2442125d6f0a22452da206d697f0088c552d55da868463c08d75 12e48fa424df491e359400eb1962bc8724a51b6a964a36db5925cebb72e80a74 ca44d825ab3e222795a271d37e4b00155ba64903edb28c161993f5744f58b0f7 bf10224147434e20f5e34dc6d161a1f8beb963170322383127de5dce6e40b789 e5029bf002518823bc98529a3220a36fa8ff5222574d165f2b6e036ec3bec5b2 ce463e47d68ff58dfe9110cc4930025bd545746338ff48f0fc3a3df5b0496874 80ab862e896709d607259eeefe3e3917397dca14149080ad23554390f271204e f5cda2b18ef45172554fe28810387227400324340cb97c1cc03704332769f1f6 3669dcaf6612217ed1cb23f23f95f727705a56cbb6f15b057f90605a561097a6 b46cb6c9a428b207c286d711824709238dced3a85f3812356b13adfbefd21d4a f0f63731b320fe665f18d338d884ebebfcb3ee811e499c714e69009ba83bdc18 a60c33030aca3adb25908d8e8bb07bed6ff3a7e841b262a8ac19607dac7e3669 06087119d7f5c3f58b0ba3dd730646b061eb87413936811a3f8f9cbf96e3aa44 7b97952d4d5e0541680d9af7999a73700b6c272aa7ee5be692f18609f1f9b63e 72f6b342c33d986dc4d077fd72564b91a2e28a7b812fa305334e034a816d0fb8 acb4ffad31741e6b1e40b5d01e94ac01b64f3181c82135dbbeed78983f7dc057 ec918cea4913248b8ab7e9676fef3c76736f696a0f0c26846e0ff9bf4aa7634a fe4c85bd963108dcd606984685b797a572a6d362d0774d53f88e500a02bd9424 7219a0377ca275a0bfad3f3e6f43c6ad852554867529faecdbe6ae9c81d04f47 859b2ff4906322b37a26180a37d8ce9d62337e4dba9b27f4890f990592704423 aa0599df0404094375c28d0fce7829d0dc1c413c91c0a67a4fcb83ddef06475b 3d2bee8d2c18c2d042ecc306c94fedcb0000f80e060050e251bb270e9a0778bb 516b3bfc6d1b7214ab0a0c4a9eb94b71637c6e98fb0c71d567cfaad504c719c1 83d4c056c4435e52975de37f471c13b55ae54c24ba472f78ec722a7759281fdb e04be7ff1e5a7307d189ec1c22c516c5f0a2dd3429e96b4a0408e8bd9d6f241d 5b72263b2f0da22b4e9c8dda40152d9dc755515763c9f2f5321be8a8ddad3cec dabbb59e6b245b3e1383e9ce2f34b5aeed87ce9903cdb5149834187542282512 0376580641ccf82c095df49118cc82c461ebbeeded91cd5c7016bfc4f960125f 056b7025969876aa16ee9714869c11a619f838b91f4be41e1a9db1d917249c7a 441f7365354c2eafd38abeb580ef073533b08a26859189dd45f701065533e5d4 3f1076d4d7e4d2989c4023c4aa135c3531b59d28a37c8e562898ef924a348923 3c7a306369273b44d6e977169e2f63653bb195f054f710d86a31c341cedb552a eb616d84a8d21939d2709284bd6ec2ba41d8baea7225250c4a4e66adcf4323ff 1f8ee29fa1642890544beac40ba006e6692854bd34f44e2ea7b7c9070774c365 c31a4929d48151906f283937e7150881dac4a06c20a41481f865e890d13c8da6 0005748cdc1b42363c5b9e519cb4fcbfed27d7369da67781d6b37d56d81f17a3 48c7a5b50f1f10472965ec8af3b30e0050d086081b7ed0d15b22742e4deb8a72 88328912bc0ecce466ef4c69266fe1a9b72ce3aae6d7af952ddf248fb188abf0 9d23fa2524c92f9c23b296496a604ebf0bca1a21895ab2d655e955cef3989146 89f36549abd573884f51c225ebf480ec6daf0ab9bd332bb559f0b263b0fe85a7 cefb95898d5269eec6cb52bee3ea1acc5cbf048cd09ad057e53c1ce187d87fee 56e8314e7f9ddc8e1d9d6f957630cb851337ca9efb7a044a8830b8772ba89926 7743d5baecdb6bfead144a834e4c2b69357cb419f045eaf9adc4d4c55c35de4b 03110b3ba9e123850c0d3565d027e72034c73e7adc56eeabe8b1ad3e4e5e53cd 6cf0810e2738243b3d0459b975f3aa9e6095a782387aa1c83db0e6fccec11023 abd950f5b4dbcfaef9aef0f5be010e1a518581d7946267ce6a843d1a792e5580 8048bee1d26ae8895979f9dd65e67aa7ddae34c33940523bd1ebddf431698338 15ad769a0eac87573f1ebfe941aab26961e674a6aed2bfe297fc5913a75ba3f9 cc842acc2090c96b3b7a37b262f9898990a988f65462c5ca8449fc6e3e65eaf1 a523e6c4b94dbb6031bff71de657fc554c662eb72b7befb950260f94db7ee629 5fa482736da5dbb83d8cc108fd3163ab679e50b557222e1eee0b78966135f8f7 bacb194e303a74b4c3fc15cdd41dd52774e75a8bfe08a2b6bd4b868a77f115c7 7b71ba37865f88b3da2a47ebfa2af3545494a6831301e440f5d67530c4c1e3bf 4007da3266d86f43163360291a2cde776400409ba85c2a79571f1b792682a6e1 3c03b8c94485e502423aac385fb06660e7b47d0fda97a3bb0b5ce4d3f84aee76 9ddf251b15c1f2a920327de81f9399cab2486d61ce77b2f059e524cfcf331620 92d14fda1496999fbd799cb2022b70f92a71c1dce2e8c0bf12ac043390ded4a1 d4547f642ebef3921094c510804357e0eb65b24cdb17b02da820dda71ba197b9 9a0e48457fda6b9661b290714de82daaa3b88de2e31b6a1587a9bded6efb9843 803ca541e47627d53788ff97ca12a086f9075123c224f958cec050badb2e94d8 187340e7ac675931479deaaa7b24112ceaa6dc566a31ba69f9bddc13bec535c2 ec794385e5897390691926f0deced5469bc9e7ad1623e1cbef32749c214dd901 673f6379a58b26c0e1c61bbfbf7eb5e0a0482c4c544f3da326a7b806bd9f7f36 bf003a3011d45f9acb10c3865ff57d459e7f718e06b36851167c265a7bb6e7c8 3901a8d0b1a801cd2de6102d2764a72f05ef407b6f2abf642210c979feb7b200 881b0e7242bdf56a17cb5a2ed48a378c9bb2eb6c731c4ddac54b9856dc0ba3f9 f6792f1a3a1bd2089363d9d30cb0436337bad2233e468697f1e7a1c7191df4b5 382d6a9aefd6591f812c4b2a071b7efe5357ba5cdc15482fe1a25af5908b48e4 d721d59eaefd72fbc727bd46ff1e9b0656b655a943b63b6e3d308cad752c8970 a9f9c8affdc7a2c2cd87238a8bcc0f4fb01f16f06fbfbe25eaff4436baa2bb28 02dbc9bb79b80aa861aa72405e706d0a0531d76a091d12ce2ba0214f80ea6979 a82e3d750a5a75c5991054bc0eb4c72dd9f0e1211ac5d7f378b603a8df56288a 94d2a8447c3a734e326800c70963bd6094332ebc53887a32a2f20e073d1d3a8f 976a92e9cadfe745d28abc2709997aa69e7fd6d346c0d9c80a4f593a017d65f3 e1d74ac8c2c183091692b8b2eb0debfd86a8b51900e855d12f50c1aa4229fae3 5bf9069290659b602fd4e491950c8f320c86e97056543f0701b605ea148eb15a 2106741aa98cc9eba3964f1a06b5c4a235e2ce9a7885868df64d7b81f853a4f9 e088ddbd66d2b5d6f42a2a90f0dc30fe1afcaa540a58a0710b2a968ec3f14897 26755b876a340d1350a71b4b10e2691f5ebb6bcc3678fc04f6751eb3926518c9 4212643347891d6700f8a5abc5b34f60511c57ad02224815b22d07d0782e09a0 7e8f6aee6867b3b559b5a114c6cbca29745fdfd2071586cd1c0246be6b0aa472 5ce6da6a1bfb8e0f092a370d2aec391217ded4e533425f411909056819d5ef88 fdb04dc5c61cb611705374846a0e96f9e08e964f57bb37b8b4766cae73577f01 69f848ce7803c1e808a59ccdb781d7014aefab4aa50f811c255407430243c9d5 9a502197ace99fb5b9b2a7bef10aeaedf9c6fe677048b7298ac92eea8dc2285e 9bc491bc9ed6e4acd41c7d9bb08998c3eecdec7c43a7df0a90d5cb35856c9bd3 ca1a59b141c22fc9e1ff54b53904c0f6ce73271734d75084967885ebe2144a83 dcd3a8685401d9767201caae05052d98c6c29090180eb56e212baba713ee3d18 8fbb064bd39ac2e0c81c31e10ecd78c7063f8a32f9a5fa4fcbb59bfe8bac2227 00b281d1b8d981cc36befee8dd779d4a58e1fb0b9a1caa9b3727af2bbe0f4d1a c874e6343cfa6d23a4c1e75e3475b1462427a4d43f21646d260aa9fb8b3dca32 7b580b60c69a1ae5a826325c0bbfc8deb19ddb5b1aa1f412b238a714efd41843 b1a1ce056a64dbe405b158b43f05cdf14aeb69fa0f30bfd53be984e8cdaf80fb 0ca0d22984e2e02c5fc4cfa66ec899517eca64125c51e101021f4215c54b296f a75a80193a6e7c898a6023978c31dfcbde168326eb4f3bf22de2c9c197e3c67e 1510774f2906270cafb79e79426d5795c37ed3b42045741c68b854e6874ace73 60e010fa38c3f8eadc4a24d3f8c6c0c573c5dd57783b87ee558afaf185ae1b20 fd8f55c222c0ea291fe3d499c04a7ec5364f8f576498159426ae76962536bc77 4a404d4c1b544c29e4c35d9cf3bca22062656df6a0c549d290206f722b4545f6 0b66c94267e6b6129aa8ad3363a69c0b5aa8fcf137d12463686a7444a9cbcc64 63d690f3412ccb87291fd06605eee2b83f157f500ccd2fa2a8b48697450a9cdd 613b52ccd896c7ce4607ba9856db6fa3186c601f601bfb641bd84b295c9475d9 911220455debae944ee0091b5021f5f1da2f9deee67f3b250729ac39d5100c50 6e88d3fecfa5f878cdf31db25eb6ad13ab523dc5695df504c247578c1235e742 ddd19fd0c7064b3a02dc0e66496dedbb722895a2b97e5b449a5cd92d5612255a e3a719c02391a5d1836184ccd402347e435fd3691209f6bea05d418861733a90 a78dc0c5e1a390f86a9f8d5f7f047a51ba0c6ed662ef7284de8ca1e4e6c1d8d2 6501158b997c528f97d625429b4503b268dcf330e9ad1f40d1adc2e9a9852c87 24a3bce7fbdb991b2c37b47be2250240243ae6ffa3ec039fb8463acd78ed6286 9e2dbd14670caa7e4d8ad5f9f1293ae6789e1618e617a296f8af55576c2b7f04 9a819fe9b31c393fa7a8090f5f49ee952e9d3538ff29881894e3f9fc988e2b29 23f5577456e83bbb6a5a8df4541175e8dcabb3b6e5e3f7911532073f2db26589 a485ba43c836523b95cce54f91ef7f4394fc62b71ff77ddcd7e293fe073e9c73 e02e6c37f971d09b04ab651e233a93eee1fe6d5c34eb713a98e09e4446c2a46c 2d8e68a8d2716bd234b122443df002d001b3ebb3ec354d03056b3aa1f7bdb45c fb99a2383414f322af39687d402e54c13d4e4039f2e7f947ff2b10574d4a35f4 e02e30f08da9771f3929dbc22cc733017c3299a7236c4b6e63a2c4d308d63669 b37d2ec840ca216c13c862b0f251e3db6ded18201c59d3fa07d508eb32e8321f 8dc47bd1753834c89ee08acf5ec37ba062f5e60c352b31d10e3c1ec94fcee417 8a00850be223ef84eb6d9b33fada192c983c932698ef2cc944520cf1d3c79b15 2bc8ee582b9a01e9b9919fe560f4dfe748cd1a85ccf31f451bcb94be9241a3ec 422cd197c70d9ecbcf0886f8d0e29250d022dcf78914cfa53e23f5971294eefd adf3c0a69b148aac93f852072c0d2b991ce6b79ae7afa14936957280e44254da 38fcde198fe1014a16956f227db5f629bf282e4167a7fc0b315ab9b85fbf3d39 f48e107a4bbcdd15b8a1c439434fb17426c2178d2c9719db60cdd29b34d3c102 39c2a027597be6f68cedf2934aaaf3d557763c71e834758b8bbab15ce98c3750 1db2c82113bb730ca06521189f2915e90e0e786d90f93729ccfe2d975370e10e 78809b84cbec25cd058c67cc442b55e753010bf97ccb9d1efcd44cc318ed9036 d3a74adb9209ff9fd952f82feb2f600299a68d837854872de69df84cf953ea4e bc55c30c40a6e99be1c6bd5abefcc3807f153c526db86d1ae29f583bf09d79fc 3634c881be51172c3bbde1cdef0a95b6e5cb5404e0d6f780529fa3b3efb48b71 bf67a84afd9265c3cb0e2642be68a7fd71303816c48e792871a354c20bbea13b 1efdb0da779732a89049473fde63d5120a0d7edbbb1fcd6b5e6a8023c13554a9 117c252547b7670eee1e87657b8c377c2404c07e61410dd502eb5606e31b0b8d c3c1829445c79afd792b4b7cd299df003a7e185c7e6091045ae9dc05ba84b521 5139286e7878831c5a848eca1c23bf020d36bc8823b56fc0649498c09758c973 b4091f0c9b165ad75052e48bf5b8abc3559495c7a5cdcfafe05275d5ad1fd582 52e20bb18b1a3f5083a1727bb6f547c7c4681ef73d7661c743de62628724f9e8 c210a2e277facb5793fd83f8b65d6b7b46bc34451b7bdb412813f10547d1ec0e 693c2cd31f2569b3294d2fe7eb51565045810501cd9d2bcaab616abdd5a033ad 805c4f5d8f374ca08826c2f336aa382727b63878a85a37bb6f001faf0c930b96 8d930180747d6f61cb916ff259135699ddd9f9aa2ececedb31ab5831ea22c1d1 491849127093add4592642f123de281bfa9832992748107d5e8d0d8b45b6e2a0 0018a9bccf96c1c7ecc1c21493c854665577e1464416f5bb89ce17948db442cd 9d5f514826734b9b2c8aacbdd5defad159bceb5f8a24fcd09aeebed7da5d6a4b e2afcedca6cc8ce56cfad451399ae6e391d29fe9a111d69ede1481bf10c334ae e9bef2a7e80539ef5f96965b357605ea08770798c59e652aa346f52657c815d3 c2a7724ebf8446efe20152cc997f114b693fa105d756c0540ddcfbd38ff0b5f8 e8d0e5bead9f7a8a042f048b470ea928bf1901c6cb8fcd7d17511a1b44b0361d 86ecc8b7425baf63acbfc8c0f0f62ce989ceb5cd070a9dc85c48ab445b19f52a 253c0ff906239b71ae0eb4d58b894b2c70e2b6d7769a67d9fd224cc8b67a0caa 0898b845a0c9661788528d9790e1e03b23428306d831055ba5cd7ae3e7bf46a1 3543248a828f0672a08e40913aae2291407efd204a500571e2ea569b68237cb5 36cb9ba7241ae7293e49252426277af18471a05f8ca4ee3c20e08ae81514e281 b6997b44ffc83cca1f5b7b1ed03fd692d5591c24646d0a9a96d35d14b726ac57 7379aeba78190482ee8b44cfb173b90d67c0bf05d761278012fd700511c93c2a 2acfd1887dfe554230cc4872c377726b4fc3a702b7e62b8bd72fd01d488f9d6c f07994f92e775f7491fbb2fe699f6772c3b83d341742670e972ac5283bce7019 6df8782be353e3a5394a0ebe18ca84743f969c51e69bc86a94b6f228694f4398 e0bb7828e1bb77c0899659725a9eb397c2668c39fada1e89f0c08c9f9db6c33b 8e185928f8f29f6d0f4e6cf8385d40cfbd5aabdde83bb7c3c6cdb2c467ec27fe efbae4a414959e427d36ca6e9c4917b6de98bbb5c3752988b81bb6a53fb707a5 674f465babc6d1c3b529dd0a07fa9c214fae9e2dc12eabbffdf762d86998de1c 13d0ecfa6a4e1df114d8be520e443fea5d344d04ec730a4baa95d1e5a972270f fe719ef7d483ed1cc621a621f5bd3af4181d13debb02392d10515c58c71fe479 0eb1b46fb60acf93630f0038273fa203e6ee734bf5603dd07fc3e5b51cd8cb23 25c4865bac115ecba341b128df9e58ce87ba53698c06b7067566f675878ed5ca c6a818229268dd9af9fcce49ac48e37a65a75342bb834d3aaba5c5cc521c2741 7c1e8c2c1ce08092c35fef78812277cc64b96deb50f247c1be5fdf41bcb9246a ed02a8339b46b45eb0edef542d0a6119f357bf4a9a9e119d497c47db9e00b18c 9f964f1dddf35da2779df4614c366d651a46e94a2f3102c7128bee1c7ba2e382 f8f671d1afffd6fec42d3516b3c90a126befb3552df5d0a32d4e87601235c5b8 b255c5d078077edb90cda9aa6d4963bdfcee9ea048512bc67684ba3d878ac838 bafbc3fb34fcca94744fe5a895b12f3951ca39f92e70b3d4f7ff3f004b35a79b 5e505bbdaee45de3e87c3699b777b70bd13dd7e14c35cba80c4070457988b5f1 97dac92fb6f730145957cc665f7506e9f16a621f304c17b1afd08b1bbcca5878 6931a98cb8827f9a6afaeebf795f653573729f7c547bc6841e60fafbd572be40 5fbb5e14fc30c135261b53da903320d5d1003f06f2d093f9b628fab34bc0e5d7 961a812cdcf9be6aaae43be37408371281b475f64d3b5b977dceef4e5c64f128 8a868162a6d5a32d4f0c18ae3f6b3a47b52596bf969a6ca2b53dd23a09decd1e 0190247fc6b6169db69c16e95a3c00eba7e7a329cb24ff6852a03a7a3322ad63 efa5879377819ba86c6f2b18d24d3e2de9d877cc0deac92e97174d179f64e96c af9a7ebf9a9f3c832a07c6935488fcbc8d2afb24a9f1014b93b73da747df9c39 aef5d64446f2ca8aebf8643a7d124432522db76b1f025fa0be09548bec2367a9 5294389449bd669d7afd319d042ed73af40588227270439de437b4a93803c287 dcec86d437e6f34020b263627f6a0f451011c8deedd5cedef9e18c04d33fdb90 8b32fb76269b7cd3e016e68233410666f2a51a1fc322607b3a7267775a114d42 fd44ed5dc2d213dfc777f669adc43880488a39b1b09f32708c465d03f0c687e7 cd8211c6a73104b33ce8da2e2cb5fc75d01ad4188ba83da623fef59d4b1004ec 1b5021e448777584cd11ddf4e3624bdf804b1761d08757b2714f31630d09d885 27f0a7b22cb76dde40bce6dd6940771d2e4fa7124ecc367398ad687d01248ca2 faeb555042b1d29447240f4172f31aa35c53a02e256f8bb5f87b619843b042a2 944995e543c65e1948ae998aebf63cee9e04bf7e35fdfff227231ad066207b04 abfef027459aa46e2e7be04ff7bb1344974a775aa0f76084e7c78e54f88fa8eb 55d554dd2cc6704c7f255ebcfa9b049c62d3b0746a687227b6941f8c3b039faa 30bc97c7023fb20e8a8c175cf21a408450e9cffac9268c1f67b62be1c5cc1263 61bd9d834e3b0ec32cebc408daaa0cba69308606059c2b6271aeb32e16af4076 8521c51c4ef40ffc3e62cb830420c43da952f761adfec0fe77f7e133a529ff2d 01808af594895acb1da3d2fd8d668b85a3a3c2740044a9e0cb14a82b07463036 348e962b7e239da2b53f2804a3c601f32543f7aed585a5046f8cbd5507206207 0d0020ae76e007668681f589c4d35e59e36b3ec41552db5fa60fd499e1cfdb9d 032fcbd9a221faaa80c2fdad57c4434557355d6b39d740b7f7236fd96e81eb74 a495c1d6350c13b451e4d67c4557de8fb392ccb137165ad1143f03c39a02a572 4b0a7ecc8dbbb479f765336365d8c70790362e469c014c0e6c855ad7c6f9f94c caec677ca5bf9acd017814b8152adfc92b40413ab2db70b27c761e75f55dfea9 53752936c83c9d396f9f608a01ad3cd45c0b9592e66a1b6b3fea210e2483b616 c00f218ce4901d329c2de36ccf865b531d8839074f5f160bc3dd7f8bcdae77ef 8575970119d9b1c634f7109f4f28f865602c9375677e48b367c096c710a0e08a ad16038b051832a65ac0b13eb2ae86b40f808e5bcb4b0ea0e913637521c255ec 2e55bbbc5c17d726b559cfcb0214d23da061ff8ded85c1a394354f264be1b98d b7e629309d6158234bfb1cd0c21ec7b5a3705307809d068574fb41e2ef12c337 47ead9fbb34cf029fa45f75c51370d94b5fb89fdcf25ea0b06338c92b1854176 e9c71b14f70a5e6ba2255e30c82b908fd03479786b19d2211ab72be49793cb5c 68ac81f0aa0ccc30bfae891ff64e355aa36dd9c0836d63ebd79a715107427b5b 21997582a93a1dd716b754714e524879eed4979a1fea1595db32fa6a4fecda00 edf1d3e385de1cd01208dfc12da9728d2aa59a567e1cea1c84c07d747cbbd29b 4726df8c33b3c9cfd9c91df5722dcbc5f1c291f1ac66684fcd3b7d62398bca59 ab27127b693810960ba63df1e4f7f2ee7d03f29d2cd0d80d713a2f3b41092420 f347ecd974b23ea76f0f9b311739990335e21fc295733331e17ae95630c78b25 a590286b53561741e2c3ede12ab0aa45cbcba0354939ba0d3545b5797e1e66ea 4afff64483aa6cd60c7f746e6bc3da3517806668b27843b8f95c689acbbaf53e 9367b09d08d975d7217d86d1f9ed843da2e4ba7a9ca69a5ff11099385e187824 7ca550e4f81337dc3857ce6724acc9fc7af6d50b9f3f9276713982f2b37803fe 88798b1cec9496bb46270c7ea46d3284c26199c6656ef7cea323b09862981a31 24f92d44fa84bc253ccbb926a99652f1504b0e2adbf665ee7f4a8ba94dc42b2b 2fc0e987c2454b2176c4586e973fbd3a531c811d3efcab03cae15a235f8201e2 3a2cc3a1ee30a3a72baaa95b164965b3bdd70346ed57f53da03c088b67178d1c f078d30729a6535bbc237c82a141a2dc36f98fa6a7f6d1366bb6481e5b2c254a 9c6154f89ca42de65a9f57628179d6b4c573fcfa15d3a94a7c6e03cbda29db07 3c3680f9bd2895166aa8b2f30a4a22e2f0b10af59f83cfd4774cd15cc2a95e22 49b014edecefe9e3b282a8eba029acb0034fdadadd392cc886d963f324704477 e4e9e6425df8b3c2a5a487a0a5315e18915b696fcc7a39b3b094b7835793500b 6eb7429db4fcfe34e3947adbd275b94b3919552053e2457c871ad6bad2026f03 c69771ce1befa35e141416012a9be7a9a64f4ef30f23d67f14c3dcddc294dedd fc0684ff936f9add51e13d367b2d05ab5f229430bedc0199b7f2831af73c8064 eabd700c1c4ca14be13e2039fda7eb4802e5b01586818a79dce1fa760759b61f bcef1c3a76acd6f1c0cb937464e25d9501e57f3a0f4722d2eb97b3ee81abc5bb ad5cef5b68182adc3dd6a699569acb1c3d095ae00f59d2ffabbbf4cd931fe21d 09637998c74ad6a6da5e832b7b2b284b932a7563e4e2369748d48004fb3c6301 a646fa302d68ae762f77ad3ac25d5fdcfcc819b5d1be8ea195d3706250634a5a 17b88b1d8f1a6520aefc1e506137b2c078acf3305548503781aa77076f475e92 6a3f4d8068b5a21e584dd2826bebce1fd7faf306b36f920abec583091f9b5ae6 b288f744d25f55ea0fe3898070fe2024f5889481785b80d4fd63d1eac724302a 473263151bfc 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 33 /exclam put dup 34 /quotedblright put dup 39 /quoteright put dup 40 /parenleft put dup 41 /parenright 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 58 /colon put dup 64 /at put dup 65 /A put dup 67 /C put dup 68 /D put dup 69 /E put dup 70 /F put dup 73 /I put dup 74 /J put dup 75 /K put dup 76 /L put dup 77 /M put dup 78 /N put dup 79 /O put dup 82 /R put dup 83 /S put dup 84 /T put dup 85 /U put dup 87 /W put dup 89 /Y put dup 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 123 /endash 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 d64074c26f9b88ac164eead4464aaecb28dfcb9f7c4532c1c2617995fda8aa39 081a8ead916eb221b8025a741f4780c65af158ffe415ceae0cf82333586a695c 06dbdeddfbbecf8131d3f881d9d0fbb44fa8f0a99ee099eb733d598cd471b133 f260eb79f0ba8147d5dd9841082e4623f9f475484f9665b9e7b9539df83e69cc fa62d416b4ed5aa7f95f6bff09b3c26c33a524c8b31115d6b859e7e5f60e32c8 49a4b5e63a65925fb5e996b84b6a9e514212ef567a010ea2d1f73599875026a4 dfdb9d603fbc53f2f06370d7e947b97dc50d789c84f6c9e498e0fb1ef3b02584 92ae57b0e2671117e170b63608e46f03519ab88b0aafc3ef2d16e7eb01723e64 951df71313cd2f2881fa5131ebfe8252ebf43ca3143fc995b6111205e3c85cff 3c0a479f3eaf448acea240d3d04eb580e479d9acfd3c778a1aec3c8b5c08d519 e88f91e4b660668b4a5ff2d800597073e416c44c3d5d163b1436bcf433d4f89a a01bc1518080e63000583883c707401e2fdfa59c8ebf30e2bb9f213e8cf5f634 d253336faf9a4f504a73005bb937e831c53be98fa87018dedb113702affcaf5b 22dd941f54f4f0cbb97c471f6ea27b5fe41847a2ab51fca66059e89932c5c112 c844a2dd88f9336501047950fcafa1bcc6f3f4448498871b952280bc554bc432 2a8d6f5e67f9399243c7f62d2ad1d1e5308368f68b8ddf67b2a52addf6e82775 61f2648ff1f50fcf126b8f531912e7d10eeb587ca3fa03e370251cfdf48ec52e de61b72f9c8ed0ee3cbfd5ba743afcfb8c355ba1cde2d342d29ddc215424c624 255948e744755965edf6bd1d3fb876558292c17b460bccb9a60633a8934e0f6b 398c7644fdec2de8afa6e3aee1785cee2058899afa31f280e7e1eb0547b0f360 eb06ec2804093a2ac86aa595eb7693b72348a4f2039f2e7cde512367753fab6f 2fb35256dfb0093d03a9d0083416bb8d35480806b5642cc5ddcb66d4fc275dc7 6e80a35f9b4f6b9cc1c2cb443f5a0696cc3537e31b6469eee906e4c6265d8713 c4ce30024a74f60d551638162fd3ac23ae2da14dc0f7d10834af5d99127bcc54 ac84d7065894fcba964fcdac60a2041da1265dd3bb674aa02cd96b20b36702e0 1f5aa17958a5d672df06cbf8c93cf73a00666fff13d22259c401abfb93d0063f 101e8e7a16302352053afed7cd4753d3cb291776cc78e3c2ef4e8072b420ef49 dd647f7acd30a77d1755416b6e865420004aa0cbb7140b1b4ff63dad79190728 8ce6704025aba06dcb75345643ef182c8ec75714d0b8d5b4fc2c6486f1c4988a 23ba05f6356b481e75a69b9e74ad9a4fa1297d986b8c29cef7a19cf4874a1372 6418fd7a8087821354542dbdff7eb0166f50bb42f721576390ddf8331cbb0779 397119769c46b1fa3ef87737b961d4ae1b6f5c3eaf5f43577b866733e9ce93d6 c2100fd823c2d78de97826cf5612606118a4b1372beba1ffa7d1067c4bf2fff9 1456e922d63b74916727ff15113b572c494d303b41b68464fcfeab3be8038fd8 e9b91bbc18f12f56e068f9e99e4e3601cb3e5b46ef85a14b5cbed3d9deb7b20d 1eb1f54994ef9d87ef9299952d17363c68e46e4d8339af2ac055c115cb526b09 234cc7a7b57398f733f325b6a5e993410aea7b8b3c13bbce687296015cdf45cc dfa1731358f01d55c79ef2170f5479f7381cf5ed286a2233722932e59f42e72e 12465eba5cdde8aa4dc23c90a92f645fadc0525cb14d36dad7fa8d25327ad571 05b41fb465a31d3c2f028996a8950198f967b3507e249dc7a644978e12b138d7 005aa4952afb027bdbee1d6553a26862d138ba6a720bf24e1d27feac3f741e79 4b35271bec729b8adb0f0344e6e50771eca0d3afcb2b6348184f8bf50b7b8e7b 34cda096de1962d17b85935e7c079b6cdd5d46e52a05ff966992387d5fbddc21 a475f3d19bf874d38ef064e445e601d2d1c8ae22d1ea33fa84f02d8e2fa8966f c32c8273e1b05d266266348003d1fc7cb513739d52db9bc66b00117eba01f71e 3ac3469507d568f9317cbbd1e9050f0c8b2e8a7f37005e62baa49dd1df91bf34 955051a918dde669b2bf8bd27a78adc856e706199b02775b5f84349dc317f707 3b1da2e208e07c9b1d6c36855bc239db1d3a8d68d8ae26bd58c0e975c49bfbfe 682a8a396525396756aaf473738dda98e8dc7e55ae34b5f1e0f5d8c0bd124d90 a125561878533e71f487f2a5dfc7466d40730416f03191aad418ac5197721f69 c353f02ef774f04c1a59683faa4cb20714e9f1ebac9dbb87dca38dae793e5561 55c3b6b8d3ff40dce4d0b7dc6484a3fe79646e1447d1a06e91bb9fd1edf385a8 8ad90eb4de22b1e662b3992d5e290aca7fdfe1ea982e992cec6a97c1a9f66a63 0b76662bfbe0b7149a45551dd05b742f71cd42544937a30b0ab1b5728dd06aa5 693c112646718b062748a30f8cb4e3fb52b2840a9b4d06babaab6c44c30fab41 cdf877f0474c9901c17ccb5e7abd8019ed47a9c3a80c73b1be1d727088391d40 7f312e9fe2508102adeb0cc84cbcc6d7254991ef058c6495facf58755648bf9c 79ad100da85ab31f5c5b2d8f3e90e0e024943fa5588524c6b7c92a98dced179c 779f377ba160e0485293bb3b0ac13ca8a1eaad9fe5fd62a30a15b974451fa5b5 c1912d26d4f950ef191cc94512e2f017fe2df52c66a2edf7b42ea3eb8dd29cf4 1764ba5df01ce8f5ec986c7cf05243ae5b8185cbf6fd4834261e0a725738e4df 68c85c66166dcc046e54248b9b426fc070d3166b668801917c4507f23f7430b1 7bfc4c73eab45be6c356aff8dc7b73de81083058c08ca667287b0a9e337a36c8 bb0760659ff886912a6fa41e7ddb147b2590fba25b374c201b55ab0f6bb14655 20d9e7f6e572cfde46b1a3da219c87ad691b41c2471e3a57b533ac9fb601ba3e 0a9acdfbbbc9f8d347c409b8d57999138120072b719c4e48ee5a4b99dfdd46ab 0dc45bbee7548e95c3c4e6215bf4c3ca60c7553e2d9625e74aa7e6cbc6166c4a 311a63326e69b8d5c4d6daa6c93e44a30fecb9e6d5c5f3ce31c64bbcf009ffb3 a4714df0e306ef3e8667fcddec1f9eb83b6011e1bf3e76b6dbfd908344f1c153 f20a7811aafbbb22b639d274a9bcc11c5199e2d8603e7c89599ac2b8b952841c 58851755a5c6dab800a61aed242597413b4527095b2830a65c62cc38e0b069f0 ab807332e5361220e02ecb00fbc65711eb9c0e6eb6d026180b1011007210d545 ea9bf9e2dbb3944b65178378081d2217788fc371d9ec8ea679211df1275cbcb2 0f8ee99b887981d42e1f805a3450bce311cc96d92ebbf22b776f8f51db84aeeb 28017c67c6e023d94ac0ff516118049a5a11513bcfa0a0a03fee0b2865d259aa 505c6762d50b3e6240ae0b04c204318e350250280eeaac423a7fd3ca14b20ab3 ce3b5b5342095ca4340d92295f07c4ed42fcb1a0d32e8ce75457c07fb3e8ab46 9b0d7468d370c4acee92ff770a8ec37896ee7e33d1a71ae7c8a9891ca00f8ce4 a83422e7e29e4ff655b938665033f82a3f7b5628a72c4f73bb87ede7b53318d9 67d0797b6eba4a56b05bb58afb48eac6b04878ace384c71cc40ba4ad5425fc54 cbb97a147caade270abeb5e98c608320467e785b1038fc814029c4615098b926 63df944a5e98a60cc3370f1d0dfae8a627ec53165ec0d8271c4be6f3cbb75ce4 a0adb2f2de8770a9591907f644a0f9dc070bde02beb9cef46a23e034f76a27cc 671d8244521695a463ce94b239cb7b8706262a35084177a8d7de4ad9f6390e3d b92b5c75d2df10118bc63fe04738c8490e8836f68d243b520325c2bfd8d70134 2461add883a0403cfc844a75164df122d648efc873aaa6a8b7ec0d5aafd0fefa cadac6e170cf87980031a013a0bd7b72ed996515cf7696e4f144ae2fcc08bdb7 c30e0afc66dabe3954aa082968b5fb27852d6e1b9e59ca079a50b1cc84bac225 16bebcf9f09d1565175622c68f2e75461f3b961a94e9909f3085f3f847a6cc32 44dc24b2500ddd81651b7ff97c44f08aadca41be938970f5913b8495a40d5143 3e5cfdfaff4cf026b9cda422dbcac74f6bedfb61ef75000c85b7f1ba2e54c106 2786a60c784507b9b44db76f994494960993ad30adb27244e375dd687520d6fb a28be8ea97aab3944edfa4929d5cbb311f3e1dc6874141f3203fb3dd38fd43aa 95cddffa62e04d69feb694b15114a0cfc529e8bdde814dbacfd54758df0f9d78 dd82fc9d4ca9d516edd415d498330b62bf107e0f371bb67e68594fea13086e51 8c48246a6846af257ab525ca1bde6fc05e99c6129e351a8e9780cc57d74dea73 b44d32a346aac63359f63f8109ddd97e61cf8c9d19469b07c8a6c55616cc3ed4 fd854105a0b1d9acf9948bfbf2e5e2a2415b4c797c74d6cb4dbc37d10423cfca 137b581cfd7acbbcbbbd3767e52f81503a9205fa782717e8a39cb90175ed7835 49c7d8ce4182c97a1bc1869a3805378575b91d820bbc228dcea6a643990b2316 fc1b2913f4f752663e7185e122825ad4447a2a1ec2248574f4620f203fe122d0 3c1caedb9c041951d2490c704425acc6f9c3a15fc3cbc2cbdf14a5bc7d4e642a edbf18fe9bfe1e1408841d50fbcb69f62c56e7514f5fba79415497bea011530e a74b35532fa297f55129a8bddab253e6c77a14b7b0584c749b5a7fa796a88c0a 32b3b34fc04d969e25df580cdb64b6f53dfe9d208509e84f0be4b3888ecd523f 3230055b942ac5a8368a4260b0d49bb02074b1469859dfdaa80aa3f5f664c147 a8310842180c71a925c7425a0a2b26be2833fbe4a2b057770b60330729f1a55f 5954c38c2022a0819956dcdee69c8c93ce61fb212dab4d1a1ec834bf6ca86964 d6ca58d5b35b060a8d218e34b8c37fd33da5da3e9560ab92b65b5b5d859896d9 cc4e4b056eea9eb8f0151623be739a9727e01e45208484f79443462a82da2095 2dd2c51f9c826da3538044814f50eba270563f6e94dd1d5f1917a1f0d8381862 745433c60b3255a7ba2ceed02771f5a66809cbb733d792dec0b149556a11e122 9fa7f8fba0c1dcddec0771880fa2259e559f7e4d515240a9545f09d69608a7d7 3f02d0a617e89e7ea8bea9685fcbd5410b3a34cd3b777bb83bee415b2fc4503c 1a2e25019386983bde94c81277becf569326d39daa89afea6847bf088713e4a3 315d8f6076d95f201ad44c503470513d0890d197633fb5df600227d8e5f110da eb24387cdde72133b2d2f8d957a8bad6e2c8d7c63fcaed4fabacfe8ea122e421 6c89ca1d45054f98ddd5b4f1bcac3aebc62bdddff3d8a488cc11a6a7622bdadf d00e99c69a4734c95d58752fdabf5bc785ed36c586608ef8840999cadfcc9933 6e3fee28de6ec61d3de855e207295633a854696986733b144164bf20b04c782d d5bc0fbae0e23a7327c22e2b9eb8cfd968c4540ea18b3ea7b005f148df39ce69 11120045fb0e1ed577b28d71dc353ebffcf9d124b2ab6575a3d05a2daa6ab13f 5a9a24885cd2e5a00025020a900f164d27dead9530a585dc9c9dffcc3409ce75 7c26800c0019eb883f73a3f0b97ffd8b572eca556e23960f0cdd00f800c55fc6 67f4f65022a2ee4f4a8ce2000c790867dadd2ef520dabbf3ac8e189a8bc612d1 88785279ea68e44cef817b8bb358bddfe1c1e014f641a1ff77578f001a2f83d8 bb393e8f286cfaffdaad74b645badc5eb5ffd84e4acca4ad12b7d6d0af46dba7 dbe24ce50c9d5f434914f8c219766fbdd36de28626caa81265cbae0c5685e8b2 e583c37c4eaaf3398729a8f47b290a01066a4987e2eb53be3689b8e84db1f51a db78f5bd36757ffef1002eabacb9bbb94d12f8c8874b0a7c7359d53dedf50d58 a7194ff6dbfce1355b813a02ea9bbc853428bffa8e6023a8744d38e7113855f7 483b5dd1c383370f11eb644da82204a40933a939163501f594e0cff039a7a8d5 f1e79b24fbc99c6e5863179add05da17ccf5e8af0dca54780ed76337418c03be d2a5674d34c6298bf9fc6a4e359e5dd98990afcf555401b16ba9ed5cdbdf0c04 1056524055ad024e6b0cade9c91af6a923c2b3302e243c4d4fa7257d2efeb3bd 3102a6e5692a536e62c3916bfed5126b34acad8719f6d6fef3e88d2d8ef8d98c 0f03285337afcbe81018a520abde892f1f28278f2c0a875896e1eb65038b69e0 4613e38515728416e962eeefc3f64f6c86a3f6520670bec0c98477d8e07dd558 a718288e408a795813e0b4cd25d1a5f269814af93425c816ddfddd946ba74eb6 05d53a68e7430324030b934890ee606ed6049a39f8f76ba7faed3fbcc409f4a7 1610081c7be327f04a7a64d450d450a751e6722bb971314e72b95c32da3969d3 1de4d736d5f1f5a659e9e86af1a12d3a7cec73ff34037954d94160349d30e8b5 66b2eec5c82e634bdf84f5e5d1a73f2e9f4f2617d74a53d30de8d9c24db647d6 1e0e107cbfe1cf0bbef3f93dda9609ca8854fafcccae83388155c6347d7c5347 3d5402cbdc91aab820febff3b9aa1bef199a9d6a9bedb12109c635f6ee24fb93 575fcccb57ce74db3b95e31522cd0a4b12c8168fa47d6523c67bb560d1dccffc b7f63d7a5d7f309d259b775b422c1c7815a9186764934ee340665687c99fc114 2b78105915205db7d79878a9bda972847afaa66fb23852fe3af317830180ee37 3dfc5a40288bdeca9cf1cebc55e38e4088e81fa5a9dd507d8850a3d72d0a3be2 94cb7ad9118ae22bbe99122ea0d1db7ae783c17247b9cf48a0ae7ff96fa41f7b 29c881f1bd9d51d3c965915f9b8fb7eef7a1103a62bd81ac3c6bb6bd8880089f 9682148cb8598f351ea27aa9f045f266696ea9e75c1d5841f44bcac617272754 963420a391b86ecae630edf2c65dd14d8a45d3ac66bc7d1af46a448a3333e846 3d4c2c1aea31c8424198474e5d8ac96331f0aa7649e11a076db784bf2aebb6d8 ae2d614082aa4adfcb7c0f2fb0bdc6f6019c7f7f21478c9a7cfbcf3403137487 91665e69a37ba28dc6425bf6785d8113b355bf90cf682109233ed2005411de0d d94e6dbd0d39033c3abdca3247ba7a9ac3974b15a73679593b3cfcfb6c62570d f09f2fc791ac6f7ced1081ce5e85e7378dd841ea27c5e5ee0e3f3abd6cf6eba7 2a3cd5ba2352e19c3ba606eac5051e8244afe269418ee6504d5c79e010056e1c 274d9f1617437a65e80b7372708ce2e796726ac6eabdfa84ca7d91be5c57d975 c6e8654de9ec71f09a04613bd39d1572224c3958f54a2bcfcb2c27f30918675c 95f388d67783c170f3f9e0b6cdb6e18964f6caa902db4a57b67881879959b3af 43f02c1902807fff8ca1512c4c8f3376bbf6c42f923b878d08b783acf1140518 91aa4a5b04891a938207619d4ea73ca5408eae98f165554392531e33101d4ee9 d3c2c7900a24d06958134b7362374c054dc90021d6b3591272f393d03201d791 51ad645088a570649cbf8b0ef68a589ed777b7aaecd1afe3c645e24be82d66e1 f3dd3be3b40473c30f89a85bad129b553afa63826f1e63e77ab29a9789a718a8 5db2bd9058b11a06c995b5d516f5a14816b99e3a255f93cb58153d82d12f5b25 3f6d3363b4daeef351884290384190c65416692508990c08570b279aa607221c bca1961b9f418eb372189574ab3ea1a368352187a3e6414acb4ef62fa967952b 02e0489b13b11eccc167906e2f643c97c0ac959a41c779ba257e28ea1daeb0ec 2621bdc2c5d9b79a7449089a258350cdd0457d369d9da96cb7b426acc9ea8543 ef0dc596d42f0bdeb8d9b3c4f163818a3698b8109e7eda60fcbd17bcce1494c6 802cfd74e9c5c6b1f5a8d66abd9752ae34fecdbcf9f8f9496deb7f3f784bb6e2 a17d4861ddacc900584181719a04e1ca1c1a040bd55abb234daa4e1aeab160d3 f471897eec5881cef704175c455bcfc1e7fb7bd46ec0705997bc49cf5ddd55de 6628ef4a20c363085b6e7626f0574d11b2ed16541f01b5f89f1a4a2b4f565fdb e5cd03a1f6fda9044f4354268cfd1821b728d4decc8ee568b20f9b90ece30777 11c52d2cef7df9576a1a1f584864ece3367e6ff6c2580cc17cb9310085f8e6b9 bcadceac242de399966fb6640a0e4ae8dbb8803816ffbfca075dc694eb485c7d 18f163254a781ba2f8898bb442b9fa3d5118e50aea2105267160116723c525cf d98e37aeb21448ef19aa04b86e2f9a878ae18b0575941531767540982ec81d06 7200ce841c7576576b9587d8cb8341f18122e49a6c02eb52772d4345a7d64d8f 96a2d1bebafb7fe9b7184b9f13e9a5753277634103fcd6e09cda7930d29b1ca5 9a77b66a96824a558338da5bd6c23ed149344045652422c0008942c75e489f67 e7585266c89e80a96669cb27f3a0add4f6579f1e3e83a9444be79e8f5981f449 2f1faedefc5b84767471b729272281c4bd734058b697aeb9fe19741b0003a231 20a8a89db30c7bc0897ed855f1b3c91c554b7d99ac7b81fe065513e06d40445b 278c21e9dd329608786d0338043209d115f51098ee6cc15f819b888c57ea8e31 7da6544249efe19700acf54f3472679a095acd282f2d61221ef56e0c775d0739 ed56bf0f1c527b7a5b69a6d88aa916b1996e787702174863ef390cdb9e198e11 b46d723b257c7ff8bcf708f4df8ba898bdcca45394599ec6005509554c74bb6e 05b15412841bdb09b1ce68854e028b62457288a144fbe45efee8dbd3f35c518f ef435d91cfd53433c20c75206c0c781cf6659924ce6d32b9850120afaed304fc a17bdeeb5c0b49aec50bfe4eaf3d3bccc4660fc4ad218c34cb14a9ae1e9f22b1 8ae63320b49d20766fddb60ad100f97d7c87bf6639a5850183b0eb111cb36896 e717db7c96bff87a5ebfbfc56ff8948495251737f0a748995c82e6014bb7b120 9622672068d2ca908ef852ef3afdce9e9d71983160b65821b0265461ea1e5fb2 f9361fcd07f1bf4d1127e3de6d5a6e2380e5c0de84a872d636aeb646bf6c5f59 4f182190860da4dfde5dbef7fa35f189c641343db6f9bf4ab5176a77e15c4490 c44834ea1c97e4307a6c88dc1e341f9a832e990f14559ee424b3970e3584209d f7d535cfe4afec5a632e71fb1810e6a5d499a5f141929a35a593a9a09714ccf9 2331ba2945f20efde6707f0b1e96dae7c4953b3191ae82c2b03399f98a975094 9ae1839dc2168e2c3ea90c8769504c743d12ea3936ab47d77222fb66d5b83374 a5a4b397f2907e9f6ceebdfa3ffc7ff9773fd79674bc8d9d5e657b5df3f76a35 a664438f46cb48faca35ef345564c58e1c16b5b429793c3b7465e896974fc462 51005506ada271d7d03ce1a8717c2c2b3e2fc80c0e6a8c907655433baf696f3b ee7d3b5d081190f547dda60ca2c6cd65e7bf45f59a5d4322fe0ed66942a99c05 8147142268a047a40272b16fb4d173cd345f27369d0d175f8a82309969a0e675 c7ee06b0dcb9b0462e396577dc4c2f764b17a3aa7e4947d3db3924098dc7e0bb 7173f48108089a643515c68742bf0622ced480cd74b71f17ababca54c2e65c08 6c82a0fc56f8ea8f273f7b7f07de39fe83be5e4db2dc0f450b957d6d7b7e3192 814968994cbb407c8d42b0c2cc41d514e2df093607271665b8f3f26ca917725a f463c56b65fc8721528848dfb842c6f53ca6d2fad812b9d4e1d24bfffdaff937 14dc2ac22624b10590f57410a98acbfe58e54c44d7cb6e1efa9f16b97e0ada92 d49b653f9df6ce687a021f2e22d0bb4863a31df3c7c35696a4eb70dcf7fbd777 e615f5c97d7347ae46cca56370fcc219f3cedc3848f085480509ed018228dda4 069bc876e4eaa00866cc2ac9e725614fea1fed433661d3a3b342098916afa262 3574289146f77debe3f74e461caaadbd10f80e236e6b8606f5fb4ac9054f86e6 37540c3d0de51dae8f8980efdcba82c5a2ff41ab21b46ca588afdbad1059285d 8735e09af27dd099d7f1ed895460282c5a133c7a7bf9777b962b70a39fd261a0 af3ee4e75169bb72c2cbcc410cf085331777f041c654cb878715c48233e910fe 3aaa7abcdb07f0594545b4b1f69e0bd1ecdafb456986f2010a5c367c44270dd4 46df7aee158cc6eac5789c4256d6d78d052fcd97c19635db212ba879fb48e515 37babcb62843bcb80463299bf789bc8d17f21821e6fdbf62cd59108db6d2d851 dc3a75c324884434d4990f4264b0575c60af44037e550307cb20c702f09fb20d e80ec977017d8cc52f1e0726739e8f83fd3231ebc06a25f7e042dea1fcd29de9 22c0ada844418dd57fd6430a03369f68a8bcfd0620cc33cd9a3a6e93b2bdfb20 515bd8b9df74cea45f4b39202b2dfcc587e36e344bdc0a4d11bb8e2ad76e377c ce39c8c47c9dbe01abb30cfd579a670144bf42c64acdd3550ce9aef15d0105e7 5341f47364d58328e2fc9bb85e9c4ada534e5b4d98a67c019b9ed019ef948809 434392413f4c1efbb70c72e270defacb711fc4f5c0d6477aaedac2fe9c186342 f6ac736f2d2035c32de607ac2bd2c5f032e6b6836bb7c6b76689337246cd07e7 731b507a6d57b1b179409e5851d79dfc68881883d8eb5f01994f57ca8542c2da 9f0c691dabad3c04afe9b6acd5e99de7ddc1c13ead8c86dcffd7a136a01493eb 5cef3fa9af9c44ae81f4e310014db0777bb7f699c2180edca1bda95d6353c400 0b60ea012111a5b2534d7db65526d9fedd713f762a713b81b1042bec8d192f86 04d8d41cef5ded3bfff5e90aaf805d21174632f776a050b2e2fe5120b04790f1 bc67e063a94d753735be0dde653760745990441eaf0125a267d369cdbf916160 94b412b541a08e7ee109da72b35e036cf0a714e591c120413de4008b2cbd9087 1f12071dbb52b8fccabfd351ad0e2a7df0a107de0baf6eceefa97f11358b95df dea6e3b81c67c2ff2cd4ff4fe91ec7cc68151811ded43cafa34de2a989317e15 5deec6cf358a8f64885c43bfcf1d92d5a0b2ac9b26bd90ab1944a31645f51abe a6a196962566d1f5bfdd1ef145ba1f79565f687b482fac390ebec582d3a5f7b7 15252ab6f0fa1c223333382ff40b4e0b6cdff0983b78bc9d15cf51992fd20512 f9d03f2c757e873231e3ddafeb276a4b12e62d9c1ac28c27c86c815d8ca8366d 28e5a456cbf906d999ab616bc4340f11c3f81682049abc47b7c0ea0c984321fd a5891e71f3a4adc4c6e56baec43e00d1433c316c290ca8e5aa446a142014337b c9f30656c9a50468e76f185f081e8fab56b988cee64b6b20d6556571cdd3e7c1 45ddea209117411e412b57313d941bfc2143db2c06ea788fbc51c978f53f71dd c0fd8a5817c746240e99b977260c590e8502efb97967f88e0ec63c32ed285ab3 66ef4675cf1814077047a04060cb73c6ab46b22b16bc4ef0321f5ba5f99b22f2 717eed2916641f36ab9d36ad6aef2f6e4b4876192ca33bc67e243f7173e05ad5 968ec3687c6e42de320e61095fb6db0a3796d218b7169742084476f40703f794 262be7df8c7862780ff46c2947b49d0083b4ffddab1a4b22dd7c5133e92631e2 7c3aa0f517731e57030b7a8aadd12a049a42a9d166ec6c0464a2322e018e59c5 c1ed840176972b604f5596bba2d5b2482ce11fa4a0b187fcd1e29bb006cfc100 84a3fabd50b9d0d7b2a10ba06c3e6aaa216d20be517b546aeb09152b571bf830 5a42265bae5ed7e3fae920f26bf875e5dcfa8ac707a5786f9edae0a1f1b2291d 29de99d50491dd64d22e465fcc54cea11fdb3eb7f1ecdd36627a85eddabf3e93 36e87e0084061b16c22d0e0670153550a8ce1c1eba0da78219f3f96b37576afb 38d91f476c50e3401ee02544b0aba242960220d122bfe85a0e21f48e4db9e8d6 88cdf7eafbb529714e81182b3689ba37fa2a3d16660ecf3c881845474ee88f4d 5aa90eb4d6ac695af33ddc78a40de6436180c18144635b2f94b915471dae8954 e2f96171926d42475e197c02a35371f775265a443731a4ca3abc1985e911ef21 3bf89dda88c3a9d3f2f525ea15b32b1289fd8925cd84e923e85e0b53e96ddca2 64d80e68a07def177cb3d72805fc858b63d014fb724c86029d7d2fe6fc9f6f48 74a481f61eb21496fc2d0d206a06adae1ebd2dd84d3c71ea132c0510836f3e61 0cee57529d13dd68821705686f56fd2d348d96c802d200ad2a6421f08f16e4f5 0ef40c2df552921016d28e51fb471aed741c42a751bfc111d0bf3fe0f1104188 1f03b351e408e8f88805714c0d4712c91990ca61f734726cbcee08a7fa3c58ed 1fd3c977eb10f73064878574cad86a2aa29048b3d14e8d5fe057ccf8f322b429 ea018bf6bf70c26224bf5a91aff2df1523fd5110b10690e4737a521faea7f804 06e9c01c85c1acabf82e89c125c1c90ae791bd23ec635853080a360cea0ab4d6 eb7615b18fd7c5c82598a2876434d176c7b2d3f33b7841cb17707e4907d85229 c84175d5bdb5606cfc3b9d36b8506a58f229bf98482b56311d0de65817555d48 c68572dc1a92e19532c6277deb842bf359199b9b9f9ca6885c723ed61b1444ce 4c64fc8e168c09c025020b6eb2b773c8c4785e185bdd22b379b00f924b7c3eb4 220bb5136858df9dcc15f2ec2277ae9eb37be3ed08eae3d18586b6937f5a18f1 a5cea763de63ff443a55a8b54ff8e06a3aee447fa4bebc88f2dfc048efc7d72b fabdd8829ece916051babdc7494db13748f925115c332b92ecca4c49bb2e793c 041c8ffe6de69750331305a4aba7004e544719c5f6d3f2baf716a737b442ed48 8f6ca52366c826b10ce329567391cf9ccb413a95846cc1201448286bd67d039a d5a1b2060acbb020f72aaa3931ed2a7d1bc6191aa6dc38dfaed63e051e442d60 5648537b85d6c76874c99bbe5844a416e41e5ebcb45bd023f8b719aab0923670 81f12fc1cdd0849191ae5572ed5b6381f50095cda07083489778dbc52eed37db 1efcccb618dab66024ea9db2c3be58b5b87e14d601b35cd8cc862423c5b1ed6a da433287ccae7c3f2f851ad362df606cfb3948dff98ae7fdcbdac730dea1e9a3 ddb67fd6e83202bde0297989fd86d868065622397048ab7c91b3c63628dcfd9e 857955a32d5d6fc6620f767e276efa9111094d8521395d6abc31890e448650ad 20c84fa78a267bc064d221ec78425907a7681d0da95765c59d68e41b14a09c71 8bf4b44a196cb36e342816d8b3573a1c4c684b8cb83689022bb212fff5714baa a664437817154241d39db7aa49b294a3e6c261965474ff8eeb161e1862e0be15 573f87eb19b78180594818763a5d81ff95ddba36351d360dee63d7f8cbda1c06 b5a3e8bccb1dc80ea3e63d4a8c03775ed41379e3ab1f4f92c1c05d18ff6a023d 593e8f4e43b51dc65d9b351698591432d48d062573e429113c98e55723624e5f 49c68379bf9ae0d47d1976d8d4efa8dfabc5858ad447c85f360146725d827cfa 5e9697edd7ef9212503fa992f1be463a06aab340705c2551c605592d342aa98a 58cdb410184c77d51fa21a3b2865d388af25b955152c0ead2824bd9bc654c83a f17e100c912509b3e3c3602714eea06c247ed2711dc9d2a7248b16a9c5e5fa1f 4ca4881965074f0269f57b831afc3eb757cc0b47712c4cdea611f66ff49dbb75 3753830242264e3ecb7c3cd92dc1f16fd1deeeaa982d10f6d498f0595dea0666 1a54e61950caf8c97a42fdf95834b07946b5691f3389e22a8d94f2469a37308f ec8cbe4028a3419261e2a553f9911a3a8a028fb15428408b7faaff57fff04a3b e8bcdd852e3fb6369b204d0b655fbfb61600f2dd8633fa233575f010493f587f 0d7a3aded333ddb1c813fd2b360d007c2fc021d2795b54d67c162e61adeebb91 15c4e1e87433ac31ce025b4c42ea70eca6d91b183141bad0181c817f90238969 f01b45d4d91c1f2c4e5f4baa4cd19c81a7cac0f698e22946bed35f0b51e03d23 f4f03b616f9ed9658f572a3624c942a1be619a646d9120603e8e24357971f40a a376e856d3f0956943040eaf7d471abf621c36cdbab17e8851d8235838dd3d3f fcb0996eb6ba66e8a6680d0473270f4cf4391a9bb5f6a599a227509d5f972cff 86996a61c69142ac64722b6d2fb4ab5f1d97b015a0b0764ec59004eece8686ea 47648abf37c5022d52e62509c68a27c07e385e4f039f28dfa708ac790512a4e7 94e5653ef82a3d40dde8cde240e0f8ea5cec59823067e2538a7715b65f2f3bdc 420ec9274876304f671f8f72094158177063a9a56b272b2b9d9551bae3811dde 50b858c10c2702310d962cb3ed7c19df1ddd046326065d5646447978a0e13e7a bd88a27e4dfdeffd169ca4459d6d1586529ef4c4b03fda1f4ddc67225863a069 f43dda8317404e565b2daf8222da6c6ad38ac54ca010cc429d68f2dbf3dc5092 62a05c05eb6c96b4dde41a6db164dc83cd2d21109e931378bf380ce45ad5ea55 4a11b87b71d7b4651cd29261f29d9cbe6f2c7ece49c2b199c1b4d05e4efc29b1 759d108a98c81f10e1afb7297be29ed1c2f85776276225612f88a827e62e2f5e 5265610b4a7df8c4660c46f4833dbfb77319cd4c4ae75f789f2258feacb66186 4dbb8bf7caefaf952ed26d025da0397e17f3aebff34a20f93737fd78d5c3353e e103ef4b80b23614ec2b7acc6d9ff303f87c82b6bc9a84c26b444425256883b9 568fe12fb85f9598beefbaf81bdf0384941fd7e5033041e2b0a8135b1e0b7dfb 4cdde3794e7c8a363b9f82cba68c054a357f2e878c8b97d0a4e6aa33af9a4f89 41c13a668e64d1117b203c613b4a993958f60a789db7125feb2a7a388e3ee7bf aec167cab3f1f65e1358e46b3ac51221ed499aaffba73f46a3fafe853c06f439 32be3aa70d3bb629001b71546241c308b9b4b4b847569cef7393d9f963afe823 85bb4274c7566b76e35730caf054837be41645777367da093c07a6e2a6072651 d1bc21fbe0b5a60b3541b2eaf5ef1bbe76697f987f5124111f1b15bf811fefac 82d2782e0c73ecc675904651ccbb243079595aa456b6ada76ea2c5360dc62843 229bfc16331bfaff952a30a216e9d06e8aecbd388c5ae8ead1829b8e549d36b0 757366ef23d140d4ebb3a45afe3c6c349791ab43083500e10f35943a1b212dc5 04fcaa9e38b9bcbe1428c85a8bc4a4c200884e958d9285dbc33dd9787982bbe7 aa166d26d3b6393010bd2b006bf15d2d171d99464b93cf0e1eee9a38a4eb485e ffdefd470bc6eb2746e9d550bc76f9bbe7a1ad518485f22e7ac31378a646d10b c1fe5f79f1db762ed2b29b86e38fb02cabe2e6de8d8d9fa3117a731e6e8be7db 6587427e49c3a6f1f6d9b92410a2ec94e060216c2f8ab4ffad7de3da75d14781 611c3769c26688b9b678bb5221434d994f4bdc137c32948540ccc586ef35ef1a 427fd936969c4d52d927daa5ace42001bfd90a1bc50a06e1be503d51801f4724 01deb94265f21817efa795d25c65721e77f11aaca662e0326079fe9f04ae30eb 2d6c964cf3269066991818ac0b309f254b8dbc93977d2233261d64dcbdefb0e0 2ec4fffae44d3728cf010ac212f657ab903752c078dbd349ddd06035cdcc547d 4239e03354f9524fd32f57ca393502fb5339565e967cd0a15ec0416de5bad125 d7759d25c724a956d422125d76cf24f6f036204936647e2d5ae6e7e726c0d5b0 d212c18b2189b1e0eb6881c282b822ea235c965d3eb640ba88c662bd10fd2f1d c93ba931948dffb3b75059706d87028799a4b562ab752efdf2f3ea000029a055 afa708296782d5ac7ba2970b24e253bc8fe8e5b377389db600aa7e5d1e147582 9c2a26b102ee15202a955daf6c929993d5bb1b35e02e783be0b0354a2f74ba6f b7a7fe346d0f5ad8dc48e5cd177eca6dc44bc10224a264e9b6492f21496a4ca6 36c35de02dc5f885ed9bc7bab8897b1c8887dff6ae191adf9742099ded5aae3a 5d830ba23feb38724fed316bffe323faa98d48732bae0929f032b91b12b9a69c 5bb4337e7ff3552cecf6588e36723b06e29a9d43c986a9f09b7ea0c40c9822dd 0e00f4617e9dfccf138202e41007e9256a650062ccbb6cbd70af797703db4a2c 2dd325f6d96194450d85bea77caf4fbaf88f8f496d815f59ac871d95d66bfbb1 19af7078365e31a5d0675bc5df71403b5df4ede05a8a79ee1c6f4cee114c8fbe 3ebfb20b 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 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 67 /C put dup 73 /I put dup 97 /a put dup 99 /c put dup 100 /d put dup 101 /e put dup 103 /g 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 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 2c88958a8f70c10390146ee5091df020ab97675e8e6b9e705fbe5d4a561453fc 99aacd038d0c9d92ce58c764a1a6cd497ec3cef52975ae84cc7e1d0401a7fcd4 d5e847133c58d736e373745cbfa06237a1ee4ff0706bcc02e316bfe85ec2f0b4 2dc3c3bb232c4045115c86f37c3bf3aa17b765020265aa22553707335d7fcd8d 9f619e844ae579bedcd8326b4e97b5ec744e172232ba7d77527bf7c782a6d716 c71f06c391700a03576c56c196fa3e365695e7442c0a00fd171a08ba806b72d7 4520738dd92da3cf29cc0a7bd66670d72ddc124540ecde9653b08e113606e3e5 62da73492dd6d765190dc1ff958fc7106330dba07a9010196d8fb4595a03d145 5fe3383cfdd4ea0eaa8b8147df8f4a0ee04e4c3b6035871dc09542f9a3e09998 19bc3d1d385958ca1cd1783b3a4839ea93725e81a4d8ff5556150421feadf496 7188e9c9344c025177972ba1f0bab63813328f8a38b56374ee6276eb23932102 e413bcf540300492ca10576fe0076694c536a5a2236b3dd275062b3e6fe2349c 839e7b602959e1e88a48ec5729b013647989a89fb441523d3b019b1a674f622b 4ef3cb4f0e7f930ecc4ae6bc8feb3793c4f75501e46da12c119fc5dda267a3d0 70c1e40545d91f16a4ca0a2a972ac43fc224b993f4a6436a8d96ead588007c86 7e32b1a56fc2f851b2f447daa2cc465a6b1b411acb7474a59d496a051e359e8c 5d945ef218aabe7199f89cfafdda23557c4a4a2c68b492114c7342452c14f162 e72e2c2fc9a21a751380afc9e28ce08a624c7e75c5ce32109de17ab5ed1a1848 6c4f73e944796dcd5435394635ef72d31502d455104a54a2babe910f53b6baf2 ac238719c9d852d5c10e7fee4db45c6b42958f185d15d7077a7a7ac9e3dc816d 4f34c6912d3a1f603a78a5b28b4a4e02d39d7e430ee2c2d09cfdf430f209c442 92abab3c8e834639a74bf942ed4a80ee503bdde7ee9b08d218553237af672104 fde47e0e716bba8528502e57db793e624f17e152acd1964f7b270b11faf28309 0c7c622ad5f4af3365d39444b034db2183c9e94f18df9cb1026eea3f1155c743 c9d20c1928e6d089aa924d20fb22d5c811842c8957c57880bdaba00f20f4b8cb 8030d093a974e65d885c504dc55ef8111c9cf8dc9dc6dd218eccb07abc75ea21 a19049e6515a66c5baf825bf683f736aa060bc1f7436a26d325999576b6ad672 a0d9e58cced0c9ad9b6cc7a74efd08fe95a354dddf2778686e37a2c93651820a 69e30adf49b985bf1766ead0487084e18ca7d6aafe97ea69d6dc93a50b993955 1a31c8108506d0fc82de2db3a62281e17c77310f9725d6edf1f0c802af2d920e 5863701885575b9decf76d7ab76b0e6848326fb0ae82c8337fa2efbaebd3ad72 1eb3ab9e5dda6373dcd516f945ca8c53e5d3efefb5b91d542edcc1ec6b2582ac b74e7afcf473935a7951c7b4ba6b9eb963377ef81bd2d74b4c40a177c8ec38dc 5fcfd3cfbfb557a66b9c4ec570d5cab1b009bc003591ac36d9337036c814afb5 6b7fa04b46f83d315f6834faae701625086febfd999212d8fbe11c4268b627ef 0e612c2b49d7d7c050d49f308c843c86ebe5a92b393ab1232aac0c2e1d93a3d2 f0f5070c64b121892c6d97497e69dacb2473b915d9b0a73731093e5d6f1b474e 65c02b2d9bb07826bb4b345e40fc57fcd709f6b1637f00fab49e0474cb3be69d 6c7ccea05eeb3ba751fdba566c201a4f3320114c9ae660d3ff400220a3c42acd 5eec91bb729e99bf6b348362b26fe55f417cbefe14edad14325b8f386df8e648 d3e62fb04baf72b947231424df26f2ac61e42cb442b3d54d493ba882f30c5406 3597764974849305993e5a60209ef505fda914d1b8d8a4f2d99d952ec66c7538 5219560ea57d4519bf87d233f80949526f3d974ba2aaea4e7579df650e0a39e5 57f738528244ff6473f9e0969ab35a0ae47a390e452d03e87ef8758fa85f79a5 ae18c9d855fe141e755a0be1c15b8eeafb4d4ba57738c96a5ce7e29004591b6d e4b8a0f7b06d8974c502eedd8cf3cba9d2187a055735c41b955fdd7897ac79d0 9c2c039897780e16077c836b5c96d6bab9beda37787c20edad159c49cdea5968 ace22b3910267df71086156ef46989d383043c97c84b67375354364827c35a90 923e9dafbd30db20002fe2d3280281e9d8e13f42704be33160a863aa99db9564 7a84ad84443c7d8c17a4914c17ecf950cf38f8de2a5a0a7159d55d68c68ba89a 3c530925e89f33afb228e79230ccffadcdee4a62d1f457e1dd22a064d1992d80 fb7a27eeb759e06fe741b6c7cf01a7dc4851b1b0d725ca9efc8641d6a8d61705 0d82f1c088975b5c4e4406658db6f0d87c487190a6ad40c408073a46b85a7122 e0da55f9dd2558144d882b3c78146bfc44be74648a88f46ce8775fc52600b645 ae60051fadc4ad830ea40aa1af5bb2ad528de9976f387ace70d91b790556d64d be95842917e73c3bfe2d3e2aacada6c2e90b91cdfcf2eb52d31c6fc8e69c113b e83f57824a0c5756bc8a12e406eca939e5932592ea18ffde076bffcd2fdf84cc a12372f7c205f7d19a9b7f701542f0e2d6b4c7c3e63490fd6fc5c5cc4b33cb35 7de1ccabb442ad2ae65ff3edb500755f4a6ceadbda5048b6c0575e27e6c9f120 3b084b45680def96ce43fb70c6f98bfa05a33a803eb59795b4167b20f1735831 4543f2bdb42f4fd24646185f4e2d8a5264b004004c3a0b29eca0c1263f2cd147 17d8ae1f0841a8a80d0736c4aad345e79e1690a889d09316eff6bb2c69298257 bca8d18fc659a841027abf425512a6d757803127dea09bbd1a38585b119915b0 f7f5511f6450789d71fb53820655f8d91e56c0c5b8f8fe1428defa9f6d11ac8e fa526c4b226654250fca1ff26ba76c16a2fdb7dc5b452d360a9fac7075570321 baf4f9f187ce60470d5f962b35edc8c9be2ba31693478f727f3c580b23093486 be066c29314283cf2a1dd69fc1fad1e63faffbc6ba997f58dcb93ffb6ceddc64 5f487bd178c7ea1662e71e4a9387e1e0d41aff63fb407db1f1ebb379dda88ee2 faef87a87dafb60235a7240b2718aac2660b5e0631a7c23e13795d6a3e41b780 baff821a4d74483766e277c66ac379ecd35469a8fe3ef917e778beb1c0f3d346 b678df2ad9359d6ff5ff28a8e9722c536948ebe927b59b50d596873939dcfc43 eafea5460f0711389a7c7aa86c42538ad089d4e2092666dbc418e32c01947b66 3b0f70b2aa19673f299f8998f26e37562f63120718e37a95183e2291da6d7425 7cd2272d3b6dc5f89f1544b5e00c945ebe4719b69bbe6a65d723d54c71b54db8 b880157691cb9df5fe646c87d44005709c2066a2284eb60e2d4fcc30598a8d03 4047505e31d7262a583037a7d4b2dda10e1a8e706e021aafd4cc9a5684fcfdf5 228ca7dafe093bc2b92c170576593b3bd457d82ba787663135a7c2a7c0246992 5341ea62d61010687b34f5bbcc62ebe43b6936025e9d4d449b6a9bb201e89bd8 097a973d0bbb6bcbee72761b6930bb4332c39cffc6d58bb2165de0e2a7df67aa 5afa882d5e400388ad13fef7d7c4d7b8c0a287fed6d66cd07cf8f34544966258 9ab59555560862fb75acaf4b6ed0bee51ad161fc86087e075deccb5821e69c8b 942565902ba7017a1e60c9acd50dbfd9cd2c8be6c82058fe6575513e851b5ff7 5af0af5b5bba75ab74bcfbbfb5e1a305aa382481808ca0631ed6df4ec949135b 507e1229a6103ba5a1bbff5d656f1645fe430e0c7654288a2f0e80ad7421a75b 5c2e7a43a5ca5ee1ba56a9248aa3df9409777b7a9c52a98478eca75dee322a47 ef6736ba9f529718773259c745d3db0f231dd2c66c7fed60b948d3f53cf44936 893dce35044e0c0c9acf2954bc37aa15012c1c60365dd8daf2eb0c9f428c6cce e31b9a751640d6f201e09aa77eb3e6339e5f5596317b5d9e0ad5ccc5b3edb045 ec4cc7048ae592c0c710e4e5beafe8bb39553a86edca226628908bb939fd5634 87132663539bc944e6f8394b04b5169255e9a3c5bec3e927870550a1efd5795b c44e3fc27748d5a1031f8ed7212d808871e89091230def1769ee5d7d10bf3523 713a8e4560def74f56e1b5d77e59c4e90104248ebecc49f6afdc5cf2f1581d21 71b78a8ee896e07d976d46721b2f6daeb5ae924e98574fb7829eeabd843a7f86 faeea3171e8aab634a6cbb4227588d3c3c41754c01c365ecd5d1e4c1843ce0c7 274e6437002320bc72e800a0d21a98e04cf9799fbf8286d4b22668b8d453783f 19ad0053432a716fc3deb8838e05b3cee5acb3610fcb85262dda31372903fedc 729157790a0420bf0f54db096c18006c4afad492238a9d53844ada8c73f7bb26 e980d48b1206297f0ea4f4113b19f651e2db200bd1a65ff21bb63f904f029a8d 4921ecd49e3f2066bfeacebba24a937b55a78e6376b4e67ab42a3bdd0ec91959 e48872c412eb32b06bddb88e86b54d18abfebfe88971f1e984e45f574d955695 abd3280ff73f839bf2aca5bebe0f71b7a0ea8557870de342dc127f86c4251624 ba4a30f16516b3c84dcfe33a65957ee3dc6e0fcdfce51c9150afa79bd798483d 16f4e5e999710f186d359493af11f32043e1a3e1753ede7fc3fe7e906f6d67c2 261f35414b58188ec26e6f92143d820e0e62e7e06638fbe456bb76c8ec2ac7e3 84d838f9ea987cb5e74b93b3bd96423ff8c06c1da1a03c072f879b20aa816aa1 ff819e3d9345c8cb526f50f2eda9ec3cf438acb82efe008fd166f0909ae125b4 6dce887c4f90e0012d63c19dd06fdd4204102d69c8980086a8482ae764c06b53 124cb95af22370a40ecb9b61a33c96d8b8e9e13452c51848ed0a5793baaa798d 0d550f89b1206bfb166bc7dae5799846deea8dc6ced8b6e41aca56176b6b32a2 443d124923378b2bfd187938ab15dea229869c987014b28aae2beca35d98c636 ef9b0a4b5ae2bee8efd885303062192356f007c9ff608b387212d24c4af0e2bd 1c 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 71 /G put dup 82 /R put dup 85 /U put dup 100 /d put dup 101 /e put dup 105 /i put dup 114 /r put dup 115 /s 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 3c8053c9b5ffa383679e380b37f82f53d6696d19093fd67bc013d75874819a64 b42fa2ee4cfb5f78194ec0123aaa10d465639dd167a85220a5d4cc25b86e6b38 cfe793d4909a08230a325a6d6cee6b0b0be919a53dfccbf7c797aebf1a1be710 00c55b11593d0364b46b61c2290c4dcdfd7282232ebb58e73a04ea2a22aa76b3 2bddb2eb8d0012b59f30468ee930cacfb63234b7993b245a7991a533d13a81ae 41cd3fac44906d65e0abdca3e567b9ea25178370ba7833e788eda3ed30ef6423 fd595651787439095fe3a0fbfa0ad74349d7edc3d6f23a227e9b5867ca0eb3a0 9be6efc2937ac1c0c4b2faf4e9c0892799b2a84dc81911b889af6c52ca351bce e1958d58ac86f556a0fbcbaf22a95a5f80b4607d10b55b52cd1d1164b981023e 1b5fae6c6e32b669b8c14022ece30f04206fde9eb813ec0b3c50e49244dae147 b03bb082c1908ae11dfb884f0d8eaede4f45eedd3d77694cbde93ae708968422 7ded93b3f84d00f47cdcb466239f9b9efed051840ed230acf5f38d56126f8ef0 84a4da7bb895840968b790465f1737216a19874a11b6569d6f01eae7cc1a0e80 f806266a6fb106866e1c6a9a1a4d6549e5696904eea62f614186fb302178de46 7b2e09523a2fc1c2786245780eba1a0d1aa800a36cece60feb5b44cf0042f126 371e9a98e48ed4b5fc5ac2a5a07ed6cef7bcf72be1de2280895dbd424f004827 25e22e28cedbd437fdbe8cfc7e85ac75eab41a6ccc6b3f79f51e58a0f7ffd31d 34eb3cfda53d2232bdb306dfd17f5e933fae3a4051b358ca18803cb710aebce2 c036fc18eaab68049a273f4a63d327b1e81f5e0c1fcdce21712b4247212791aa 7f920888d7071d2b5b5c81186202e2ad0b090f20a2d6220b7a48724042ab0135 1fa0e4fae7203c959f9fa69deff7f903e5ae52786c087e02af240a76bd4f19c4 f3ff4870d96f78d86b6e4db492da1ec3c89247ad2e55984e10884e1e0c2a4c46 6d7c23749756689a20f182477f77658f14d7efb231d408bd068d1033241893c2 4717ba189a37ee21195618aa57c3f2e51d60f2226d9c57b2397b40bb1849c08c 9c834934d9e3798b080bb501bacea7c3205a98ac971ec69d091e21c1bcc0c1d5 22862ecfebed134d425d8bc7b92410686be26f270ed9a3de24dd04b75be1db3e 1cc76a472b367b7dc4ec5cf0882affb74dd52880c68221606e3fd1e9ec20fbd1 c46b1fc28c275d82e6a6631bc57ca7203ae53a7de3ac4107ea649e73ad2c23b5 9f9b2cc257661c30cc4ebb1024dd5b85eb76b78d8e8c662e6ad45b8ed45c6811 99703bdca95f013c3c58b42667e36e47f70a02a68a88f78b768811ae100fce56 8a57b2d3c51dceacec8853a1a9844e530366550b0849b452c3a5cfb7ba68a484 7fff3f16d2436d8fcc839373d23753d274221e5386512b298541c9ff813f5ca9 d6ebaaa8eae74d88d7bb77be3e4c836c28df0298b04726a54f4988197b851cf7 2a055ca7fef9e143599eab2c4a67e59b58a33df0b139b70df651aa565d28b1b4 8166e17e15f5b0aa67a62679433977819217133e29f96de329bb033adf223a02 0ea5c44c486cf2566b239ce156eac669af0e598e24614c04e9f6ab652bf8bbea 38d6106044c31f6c3b9e960ffb5e0df17e6038492bc39df94ad0d4dfcb0e295e 59460d1010b850c06cf8be8acede37a631efc0804ff3d520f85f4c0f664ea752 f381ad516077e45aa5dfb869127c55f0e332a294deef23e5682ce97164b09fd0 6cf3d647fbe2c1e90767b7d0f42efb563dad04a9929106c9f22f36f606a44dbe f47154b83927171f25945dab55287c3cafa5f9f546280de3e240e91893bfa8e2 d30bd3c829244e3cea7aa2ce28beaa7de3043a47cb3d9b4ad6e347e91f91205f ddfd75c5d08567797c3499f7fee2fb00cc346b30457f1f3eebfb7e0eeed66a3a 82328cdb2631821439a55a631d7f8b070f5b68d48758ac02554e6216785d0261 c50a98993d53a5ccf0dfcbe66a5591abf8c9f073516d8baf857efc39cfe0dc18 e850a99e647ac14e34fa562a62218118a3c028a9066852f952882056c5ba4315 4bdf3c71c2c11491c52a557e16b31d07772641125f35f87a2b79b741ca6a1164 fe78463dd68dda4ad44136bb8952caa3187261117c3f9db7e06ae61b613d7136 e41f18347f22867728df017c454126f21bd3652c4ca58f2437a46409a325e226 2d3ca33b5ac671e6e15217c0bfcf85f661dc1f2f7aee4751d442f08761f29415 75208e68e4418abfc764ab96719b65191f8baa2fee5003d4f54e30c80e80b0e3 c0f5a3476af414ace5f360bdaa3a3cbd38c8e6bcb60c6f1fbb1cb96131d2f2ef 05e90d6f88dd92abe86dcde0361fe2b32223da234c060f40d29b9159b1661144 f5d4ad6082e70fee9b26df2775c81dd8e8e97a1e2a5c0424903755f0c3dfb2f2 af6037f9ef80aca6f7ad0112fc03df04651f7e40759b9a1af4836c30bbce5550 2e168a050f4c373d7db8f003a572db233cdf0031ddec4c239e1af30cab0924b8 800b6f82bce3ca3fc1d46395c15ba93bb499a9b7e03072053b9d4caa30e72556 b89b5258d5d3ce5f3ab3d3c0348585398f28fe89aaac9e18ca46a10bddab9c67 5f46faf4f4e6fd9c3ea20e8a44c1cea1e9dc8a29acf5e22c6076944018670bcf 9918301f7a6fe22d708d43f081e337dc4fa8dc0e56e72d3bd3cf05c6b67033ed e363812484eb75f44f66656a0433dbbba569799082bd71faace778aae197ef72 665cec8b475c9df5514d4c8b933eecbeaf65256d913266e509d6b9aabd358be4 0d0d97b96b8effe2a4bebb25d80b24929b7dbc44e21dd98830bc51664c18954d 269f73928c176edbcacbf53fa7a304c1ea43e2b259b16beb729738e43fe680b7 6fec96598e7ed5eeaba72f976f0aecd058cf0d51d77ea8e88113ea243c94365c 90c22361ac3a0e1eb5f99811a3bd52d81b369d3e2c7def6f8760403a1cc92da0 e07395308fe6139a011046d22e7dff26d527d7224482a9e73384b4f2bfea98f0 75205cfe996825eccb669243676c4cb037171783705c81516523a1d08aa475b2 a62874d356c73dc3391b416dbfd713415976922658d80e1481191d6b03a7b6a5 38bc7dfb7ff6ad4a6ac1178db773412cd6d444dafb49f276319ad0e4f70dd5de 048ffbc8e1c99700732b65c06e8d6298504c5de5f44517096a0c815814ca6aa1 a13741d824229892fb58420e9ec19e8b9a7f1f5454f46d476ba8e36af59d47f1 3875d2b1aa3c0fade505dee147486369594865e92a92507585b02eddc8cebf66 a176d20b928ffe77cab8b8a0fc0d7fb4c3e115be1701e1230a57825c373e5329 2a3d5cc293830eff74082b956f1b4d6a8685f2041bf18661b6ba080e09935765 a555bdb0907446bf8ce9724597b0a1c322edfd702cb103a940d5b1ea7bf9f637 5d5f26bfa608c62c1fe0 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont TeXDict begin 39158280 55380996 1000 600 600 (E:\r37\lisp\csl\doc/uguide.dvi) @start /Fa 138[58 1[41 2[58 52 58 87 29 3[58 2[48 58 2[51 51[35 45[{}12 90.9091 /CMBX10 rf /Fb 145[51 76 25 3[51 2[40 3[45 84[51 12[{}7 90.9091 /CMSL10 rf /Fc 137[55 58 2[43 3[58 87 29 2[29 58 52 1[48 2[58 51 3[29 1[29 29[81 2[29 12[35 29 31[58 12[{}19 90.9091 /CMBXSL10 rf /Fd 133[48 48 48 48 48 48 48 48 48 48 48 48 48 48 48 48 1[48 48 48 48 48 48 48 48 48 7[48 2[48 1[48 1[48 1[48 48 1[48 3[48 48 2[48 48 48 1[48 2[48 2[48 2[48 48 3[48 48 48 48 48 48 48 2[48 7[48 34[{}51 90.9091 /CMTT10 rf /Fe 132[45 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 1[68 66 51 67 2[71 68 83 57 71 47 33 2[59 62 69 66 1[68 71 5[25 3[45 45 45 45 45 45 45 45 25 30 25 2[35 35 25 4[45 25 19[51 51 53 11[{}67 90.9091 /CMR10 rf /Ff 138[75 52 53 55 1[75 67 75 112 37 2[37 1[67 1[61 75 60 1[65 23[50 5[97 14[67 67 67 67 3[45 32[75 12[{}23 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 1[52 51 8[36 3[58 73 14[99 2[98 10[104 1[90 101 96 11[66 3[66 4[36 46[{}15 143.462 /CMR17 rf end %%EndProlog %%BeginSetup %%Feature: *Resolution 600dpi TeXDict begin %%PaperSize: A4 %%EndSetup %%Page: 1 1 1 0 bop 1138 912 a Fh(REDUCE)44 b(3.7)e(User)i(Guide)1581 1165 y Fg(Co)s(demist)34 b(Ltd)1548 1369 y(Marc)m(h)g(24,)e(1999)382 1737 y Ff(1)135 b(In)l(tro)t(duction)382 1940 y Fe(This)26 b(do)s(cumen)m(t)g(pro)m(vides)g(information)h(that)g(ma)m(y)g(help)f (REDUCE)g(users.)39 b(It)27 b(do)s(c-)382 2053 y(umen)m(ts)i(all)i(the) f(command-line)g(options)g(that)g(REDUCE)g(supp)s(orts)d(and)i (explains)382 2166 y(ab)s(out)j(images,)j(c)m(hec)m(kp)s(oin)m(ting)f (and)e(user-written)g(initialisation)j(\014les.)47 b(F)-8 b(or)34 b(infor-)382 2279 y(mation)22 b(on)g(ho)m(w)g(to)g(test)h(or)f (re-build)f(all)i(or)e(parts)h(of)g(REDUCE)f(see)i(the)f(installation) 382 2391 y(guide.)382 2675 y Ff(2)135 b(Command-line)45 b(options)382 2878 y Fe(The)33 b(options)h(here)f(are)h(can)g(b)s(e)f (used)g(when)g(REDUCE)g(is)h(run)e(from)h(a)h(command)382 2991 y(prompt)21 b(or)g(of)h(the)g(windo)m(ws)f(in)m(terface)i(pro)m (vides)e(a)h(start-up)g(dialog)h(b)s(o)m(x)e(that)h(allo)m(ws)382 3104 y(y)m(ou)31 b(to)g(sp)s(ecify)f(some)h(of)f(them.)382 3301 y Fd(--)47 b Fc(\014lename)f Fe(arranges)41 b(that)h(output)f(is)g (sen)m(t)h(to)g(the)f(indicated)h(\014le.)73 b(It)41 b(is)h(in-)609 3414 y(tended)d(to)h(b)s(eha)m(v)m(e)g(a)f(little)j(lik) m(e)e(\\)p Fd(>)48 b Fb(\014lename)p Fe(")40 b(as)f(command-line)h (output)609 3527 y(redirection,)h(but)d(is)h(for)f(use)g(in)g(in)g (windo)m(w)m(ed)g(en)m(vironmen)m(ts)h(\(in)f(particu-)609 3640 y(lar)d(Windo)m(ws)g(NT\))g(where)f(this)h(w)m(ould)g(not)g(w)m (ork.)54 b(Under)34 b(Windo)m(ws)g(if)h Fd(--)609 3753 y Fe(is)g(used)g(REDUCE)g(starts)g(o\013)h(with)e(its)i(main)f(windo)m (w)f(minimised.)55 b(If)34 b(y)m(ou)609 3866 y(launc)m(h)28 b(REDUCE)f(from)g(a)h(script)f(and)g(w)m(an)m(t)h(to)g(capture)g(all)g (its)g(output)f(it)h(is)609 3979 y(suggested)k(that)h(y)m(ou)e(use)h (this)f(rather)g(than)h(shell)f(re-direction)i(of)f(the)f(stan-)609 4092 y(dard)j(output)g(to)i(get)g(b)s(eha)m(viour)e(whic)m(h)h(is)g (maximally)h(p)s(ortable)e(across)i(all)609 4204 y(the)31 b(platforms)f(that)h(REDUCE)f(runs)f(on.)382 4387 y Fd(-b)45 b Fe(is)37 b(a)h(curious)f(option,)j(not)e(in)m(tended)f(for)g(general) h(or)g(casual)g(use.)62 b(If)37 b(giv)m(en)h(it)609 4500 y(causes)23 b(the)f(\(batc)m(hp\))i(function)e(to)h(return)e(the)i(opp) s(osite)f(result)h(from)e(normal!)609 4613 y(Without)k("-b")g(\(batc)m (hp\))f(returns)f(T)h(either)g(if)g(at)h(least)g(one)f(\014le)g(w)m(as) g(sp)s(eci\014ed)609 4726 y(on)35 b(the)h(command)f(line,)i(or)e(if)h (the)f(standard)g(input)f(is)h(\\not)h(a)g(tt)m(y")h(\(under)609 4839 y(some)d(op)s(erating)g(systems)f(this)h(mak)m(es)g(sense)g({)f (for)h(instance)g(the)f(standard)609 4951 y(input)d(migh)m(t)i(not)g(b) s(e)e(a)i(\\tt)m(y")h(if)e(it)h(is)g(pro)m(vided)e(via)i(\014le)g (redirection\).)44 b(Oth-)609 5064 y(erwise)28 b(\(ie)g(primary)e (input)h(is)g(directly)h(from)f(a)h(k)m(eyb)s(oard\))g(\(batc)m(hp\))g (returns)609 5177 y(nil.)48 b(Sometimes)33 b(this)f(judgemen)m(t)h(ab)s (out)f(ho)m(w)h(\\batc)m(h")h(the)f(curren)m(t)f(run)g(is)609 5290 y(will)j(b)s(e)e(wrong)h(or)g(unhelpful,)f(so)i Fd(-b)e Fe(allo)m(ws)i(the)g(user)e(to)i(coax)g(the)f(system)609 5403 y(in)m(to)e(b)s(etter)e(b)s(eha)m(viour.)1854 5652 y(1)p eop %%Page: 2 2 2 1 bop 382 548 a Fd(-c)45 b Fe(just)33 b(prin)m(ts)h(a)g(dull)g(and)f (unimaginativ)m(e)j(cop)m(yrigh)m(t)f(notice)g({)g(ha)m(ving)f(this)g (op-)609 661 y(tion)27 b(in)e(there)i(will)f(tend)g(to)h(ensure)e(that) i(a)f(cop)m(yrigh)m(t)h(message)h(is)e(em)m(b)s(edded)609 774 y(in)k(the)g(ob)5 b(ject)30 b(co)s(de)g(someho)m(w,)h(while)e(with) h(luc)m(k)g(nob)s(o)s(dy)e(will)i(b)s(e)f(b)s(othered)609 887 y(to)s(o)34 b(m)m(uc)m(h)g(b)m(y)g(the)f(fact)i(that)f(there)g(is)f (a)h(stra)m(y)h(option)f(to)g(get)h(it)f(displa)m(y)m(ed.)609 1000 y(Note)h(that)e(on)g(some)h(systems)f(there)g(is)g(a)h(prop)s(er)d (c)m(haracter)k(for)e(the)g(Cop)m(y-)609 1112 y(righ)m(t)g(sym)m(b)s (ol.)15 b(.)g(.)h(but)31 b(there)h(is)g(little)h(agreemen)m(t)h(ab)s (out)d(what)h(that)g(co)s(de)g(is!)609 1225 y(Th)m(us)d(in)h(some)g (cases)h(the)f(message)h(displa)m(y)m(ed)g(ma)m(y)f(app)s(ear)g(to)g (ha)m(v)m(e)i(a)e(junk)609 1338 y(c)m(haracter)i(in)e(it.)382 1526 y Fd(-d)47 b Fc(name=v)-6 b(alue)46 b Fe(de\014nes)32 b(a)h(sym)m(b)s(ol)f(at)i(the)f(start)g(of)g(a)g(run.)47 b(Y)-8 b(ou)33 b(ma)m(y)g(lea)m(v)m(e)i(a)609 1639 y(blank)27 b(after)g Fd(-d)f Fe(or)h(start)h(the)f(sym)m(b)s(ol)g(name)g (immediately)-8 b(.)41 b(The)26 b(v)-5 b(alue)28 b(sp)s(ec-)609 1752 y(i\014ed)35 b(will)g(b)s(e)g(set)g(up)f(as)i(a)f(Lisp)g(string.) 54 b(If)35 b(the)g(equals)h(sign)f(and)f(follo)m(wing)609 1865 y(v)-5 b(alue)29 b(are)f(omitted)h(the)f(name)g(concerned)g(gets)h (set)g(to)g(the)f(v)-5 b(alue)28 b Fd(t)p Fe(,)h(the)f(reg-)609 1978 y(ular)j(Lisp)g(represen)m(tation)h(of)f(\\true".)44 b(This)30 b(mec)m(hanism)h(mak)m(es)h(it)g(p)s(ossible)609 2090 y(to)g(pass)f(information)g(from)g(the)g(command)g(line)h(do)m(wn) e(in)m(to)i(REDUCE)f(and)609 2203 y(is)k(used)g(to)h(con)m(trol)h(sev)m (eral)f(of)g(the)f(testing)h(and)f(re-compilation)i(jobs)e(that)609 2316 y(are)c(distributed)e(as)i(part)f(of)h(REDUCE.)382 2504 y Fd(-e)45 b Fe(is)36 b(reserv)m(ed)h(b)m(y)f(Co)s(demist)h(to)g (enable)g(\\exp)s(erimen)m(tal")h(features)f(in)f(its)h(co)s(de.)609 2617 y(The)29 b(option)i(ma)m(y)f(w)m(ell)h(b)s(e)e(ignored,)h(but)g (if)f(it)i(is)f(not)g(its)g(b)s(eha)m(viour)f(will)h(not)609 2730 y(necessarily)j(b)s(e)e(consisten)m(t)j(across)e(v)m(ersions)h(or) f(time.)46 b(F)-8 b(or)33 b(instance)f(it)h(ma)m(y)609 2843 y(at)28 b(times)f(ha)m(v)m(e)h(b)s(een)e(used)h(to)g(enable)g(sp)s (ecial)h(debugging)f(mo)s(des)f(within)g(the)609 2956 y(Lisp)k(system.)382 3143 y Fd(-f)47 b Fc(n)m(um)m(b)s(er)f Fe(is)32 b(not)h(supp)s(orted)e(on)h(all)h(v)m(ersions)g(of)f(REDUCE.)h (It)f(instructs)g(the)609 3256 y(system)22 b(to)g(start)f(up)g(and)f (listen)i(on)f(a)h(so)s(c)m(k)m(et)h(with)e(the)h(sp)s(eci\014ed)e(n)m (um)m(b)s(er)g(\(the)609 3369 y(request)26 b Fd(-f-)f Fe(uses)g(a)i(default)f(so)s(c)m(k)m(et,)i(whic)m(h)e(is)g(n)m(um)m(b)s (er)e(1206\).)42 b(Requests)26 b(on)609 3482 y(this)g(so)s(c)m(k)m(et)i (cause)f(a)f(new)f(cop)m(y)i(of)f(REDUCE)g(to)h(b)s(e)e(fork)m(ed)i (\(with)f(a)g(limit)h(to)609 3595 y(ho)m(w)g(man)m(y)f(suc)m(h)h(tasks) g(can)g(b)s(e)f(activ)m(e)j(at)e(once\))g(and)f(requests)h(passed)f(do) m(wn)609 3708 y(the)32 b(so)s(c)m(k)m(et)i(are)e(then)g(pro)s(cessed)f (m)m(uc)m(h)h(as)h(if)e(they)h(came)h(directly)g(from)e(the)609 3821 y(k)m(eyb)s(oard.)37 b(This)20 b(facilit)m(y)i(is)f(in)m(tended)f (to)h(b)s(e)e(of)i(use)f(when)f(running)g(REDUCE)609 3934 y(on)36 b(a)g(cen)m(tral)h(system)f(to)h(supp)s(ort)d(remote)i (clien)m(ts.)59 b(In)35 b(this)g(release)i(of)f(the)609 4046 y(soft)m(w)m(are)29 b(it)f(is)g(not)f(guaran)m(teed)i(and)e (end-users)f(of)i(REDUCE)f(are)h(not)g(giv)m(en)609 4159 y(an)m(y)j(further)e(information)i(ab)s(out)f(ho)m(w)g(to)h(try)f(to)i (use)e(it.)382 4347 y Fd(-g)45 b Fe(sets)25 b(some)f(options)h(that)g (ma)m(y)g(b)s(e)f(usefule)g(when)f(debugging)h(co)s(de.)39 b(Sp)s(eci\014cally)609 4460 y(it)24 b(is)f(a)g(short-hand)f(for)h Fd(-d*backtrace)p Fe(,)e(and)i(has)f(an)h(e\013ect)i(similar)e(to)h(sa) m(ying)609 4573 y(\\)p Fd(on)48 b(backtrace;)p Fe(")28 b(at)j(the)g(start)f(of)h(a)g(REDUCE)f(run.)382 4760 y Fd(-i)47 b Fc(image-\014le)f Fe(sp)s(eci\014es)27 b(an)h(image)h (\014le)f(that)g(should)f(b)s(e)h(made)f(readable)i(b)m(y)f(RE-)609 4873 y(DUCE)37 b(when)f(it)h(start)g(up.)59 b(See)37 b(the)g(section)g(on)g(image)h(\014les)f(later)g(in)g(this)609 4986 y(guide.)68 b(The)39 b(request)h Fd(-i-)e Fe(sp)s(eci\014es)h(the) h(default)g(image,)j(whic)m(h)c(will)h(nor-)609 5099 y(mally)31 b(b)m(y)f(called)h Fd(r37.img)e Fe(and)g(will)i(b)s(e)e (found)g(in)h(the)g(directory)h(where)e(the)609 5212 y(REDUCE)h(executable)i(liv)m(es.)1854 5652 y(2)p eop %%Page: 3 3 3 2 bop 382 548 a Fd(-k)47 b Fc(n)m(um)m(b)s(er)f Fe(sets)30 b(the)g(size)h(of)f(the)g(heap)f(that)i(REDUCE)e(should)g(use)h(in)f (units)g(of)609 661 y(Kilob)m(ytes.)64 b(Th)m(us)37 b Fd(-k12000)e Fe(suggests)k(use)e(of)h(\(around\))f(12)i(Mb)m(ytes.)64 b(RE-)609 774 y(DUCE)28 b(normally)g(expands)e(its)j(memory)e(when)g (it)h(needs)f(to)h(and)f(most)h(users)609 887 y(should)k(not)i(need)f (to)h(use)f(this)g(option.)49 b(An)33 b(extended)g(form)g(of)g(the)h (request)609 1000 y(suc)m(h)27 b(as)h Fd(-k8000/2)e Fe(uses)h(a)h (second)g(n)m(um)m(b)s(er)e(\(2)i(in)g(this)f(example\))i(to)f(con)m (trol)609 1112 y(the)i(amoun)m(t)h(of)f(space)g(used)f(for)h(one)g(of)g (the)g(system's)h(in)m(ternal)f(stac)m(ks.)42 b(The)609 1225 y(default)26 b(v)-5 b(alue)27 b(for)f(this)g(second)g(n)m(um)m(b)s (er)f(is)h(1:)39 b(if)26 b(y)m(ou)g(exp)s(erience)g(stac)m(k)i(o)m(v)m (er-)609 1338 y(\015o)m(w)j(problems)e(it)i(ma)m(y)g(b)s(e)f(w)m(orth)h (increasing)g(this)f(n)m(um)m(b)s(er)f(to)j(2)e(or)h(ev)m(en)g(3,)609 1451 y(but)h(unless)f(y)m(ou)h(do)g(see)h(stac)m(k)h(o)m(v)m(er\015o)m (w)f(crashes)f(there)h(is)f(no)g(b)s(ene\014t)f(at)i(all)609 1564 y(in)27 b(trying)g(to)g(tune)g(this)g(parameter.)40 b(REDUCE)27 b(should)e(\(on)j(a)f(large)h(enough)609 1677 y(computer\))f(b)s(e)g(able)g(to)h(cop)s(e)f(with)g(heap)g(sizes)h (up)e(to)h(most)h(of)f(2000)i(Mb)m(ytes.)609 1790 y Fd(-k0)37 b Fe(tells)i(REDUCE)e(to)i(use)e(its)h(default)g(storage)i(allo)s (cation,)i(whic)m(h)37 b(is)h(to)609 1903 y(start)f(o\013)g(with)f(a)h (few)f(megab)m(ytes)i(allo)s(cate)h(but)d(then)g(to)h(expand)f(its)h (heap)609 2016 y(as)31 b(need-b)s(e.)42 b(A)31 b(directiv)m(e)h(to)g (use)e(a)h(sp)s(eci\014ed)g(amoun)m(t)g(of)g(memory)g(disables)609 2129 y(this)f(abilit)m(y)i(to)f(increase)h(the)e(heap)g(size)i(at)f (run-time.)382 2316 y Fd(-l)47 b Fc(\014lename)f Fe(arranges)40 b(to)i(send)d(a)i(transcript)g(of)f(a)h(REDUCE)g(session)f(to)h(the)609 2429 y(named)34 b(\014le.)52 b(This)33 b(option)i(di\013ers)e(from)h Fd(--)g Fe(in)f(that)i(it)g(displa)m(ys)f(all)h(output)609 2542 y(on)j(y)m(our)g(screen)g(in)g(the)g(normal)g(w)m(a)m(y)h(as)f(w)m (ell)h(as)f(k)m(eeping)h(the)g(transcript.)609 2655 y(Once)32 b(REDUCE)h(is)f(running)f(the)h(Lisp-lev)m(el)i(function)e Fd(spool)f Fe(can)i(b)s(e)e(used)609 2768 y(to)j(set)g(up)e(exactly)j (the)e(same)h(sort)f(of)g(logging,)j(eg)e(using)f(a)g(command)g(suc)m (h)609 2881 y(as)752 3106 y Fd(lisp)47 b(spool)f("logfile.log";)609 3331 y Fe(and)e(on)g(some)h(v)m(ersions)g(of)f(REDUCE)h(there)f(ma)m(y) h(b)s(e)f(a)h(men)m(u)f(item)h(for)609 3444 y(the)37 b(same)h(purp)s(ose.)59 b(These)37 b(all)g(use)g(the)g(same)h(mec)m (hanism)f(so)g(use)g(of)g(one)609 3557 y(o)m(v)m(errides)c(and)d (previous)h(use)h(of)f(one)h(of)g(the)f(others.)45 b(Whic)m(h)32 b(y)m(ou)f(c)m(ho)s(ose)i(to)609 3670 y(\014nd)c(is)h(a)h(matter)g(of)g (p)s(ersonal)f(preference)g(and)g(con)m(v)m(enience.)382 3857 y Fd(-m)47 b Fc(n:l:h)f Fe(If)34 b Fd(MEMORY)p 1163 3857 29 4 v 32 w(TRACE)f Fe(w)m(as)i(de\014ned)e(when)g(REDUCE)h(w)m (as)h(compiled)g(then)609 3970 y(this)d(option)h(mak)m(es)g(it)f(p)s (ossible)g(to)g(pro)m(v)m(ok)m(e)i(an)e(in)m(terrupt)g(after)g Fb(n)g Fe(memory)609 4083 y(prob)s(es)h(when)g(a)h(reference)g(in)f (the)h(\(inclusiv)m(e\))i(range)e Fb(l)g Fe(to)g Fb(h)g Fe(is)f(next)h(made.)609 4196 y(The)e(release)i(v)m(ersion)f(of)g (REDUCE)f(is)h(not)g(compiled)g(with)f(this)h(option)g(ac-)609 4309 y(tiv)m(e,)f(and)d(indeed)h(use)g(of)g(the)g(option)h(slo)m(ws)f (REDUCE)g(do)m(wn)g(dramatically)609 4422 y(but)f(mak)m(es)h(it)g(p)s (ossible)f(for)g(Co)s(demist)g(to)h(collect)i(detailed)f(traces)f(of)g (ho)m(w)f(it)609 4535 y(accesses)e(memory)-8 b(.)39 b(These)25 b(traces)h(ha)m(v)m(e)g(b)s(een)e(used)h(in)f(the)h(past)h(to)f(guide)g (op-)609 4648 y(timisation)g(of)e(the)g(co)s(de.)38 b(In)22 b(normal)h(cases)h(this)f(option)g(will)h(not)f(b)s(e)f(accepted)609 4760 y(and)30 b(w)m(ould)g(not)h(b)s(e)e(useful)h(or)g(relev)-5 b(an)m(t)32 b(to)f(end)f(users.)382 4948 y Fd(-n)45 b Fe(is)34 b(sometimes)h(useful)e(to)i(dev)m(elop)s(ers)g(if)f(they)g(ha) m(v)m(e)h(created)g(a)g(new)e(image)j(\014le)609 5061 y(that)45 b(do)s(e)f(snot)g(restart)g(prop)s(erly)-8 b(.)81 b(T)-8 b(o)44 b(b)s(e)g(more)g(sp)s(eci\014c,)j(an)d(image)i (\014le)609 5174 y(con)m(tains)34 b(copies)g(of)g(all)g(the)f(REDUCE)g (co)s(de,)h(and)f(an)g(indication)h(of)f(whic)m(h)609 5287 y(part)k(ot)h(it)f(should)g(b)s(e)f(run)g(when)g(REDUCE)g(is)i (started.)61 b(If)36 b(a)i(new)e(image)609 5400 y(had)27 b(a)h(restart)h(function)e(that)i(w)m(as)f(damaged)g(but)f(all)i(other) f(parts)f(of)h(it)g(w)m(ere)1854 5652 y(3)p eop %%Page: 4 4 4 3 bop 609 548 a Fe(useful)30 b(it)h(ma)m(y)g(b)s(e)f(useful)f(to)j (launc)m(h)e(REDUCE)g(with)h(the)f Fd(-n)g Fe(option)h(whic)m(h)609 661 y(tells)37 b(the)f(system)g(to)g(ignore)g(the)g(restart)h(function) e(sp)s(eci\014ed)g(in)g(the)h(image)609 774 y(and)27 b(run)e(a)i(simple)g(Lisp)g(read-ev)-5 b(al-prin)m(t)28 b(lo)s(op)f(instead.)40 b(This)26 b(ma)m(y)h(allo)m(w)i(an)609 887 y(exp)s(ert)h(to)g(debug)f(or)h(p)s(ossibly)f(correct)i(the)f (problem)f(they)h(had)f(in)m(tro)s(duced.)609 1000 y(It)37 b(should)f(b)s(e)h(clear)h(from)f(this)g(explanation)h(that)f(ordinary) g(users)f(are)h(not)609 1112 y(lik)m(ely)28 b(to)e(w)m(an)m(t)h(to)g (use)e(this)h(switc)m(h,)i(and)d(if)h(they)g(do)g(they)g(will)g(b)s(e)g (faced)g(with)609 1225 y(a)31 b(Lisp-lik)m(e)g(in)m(terface)h(that)f (will)g(tend)f(to)h(confuse)f(them.)382 1413 y Fd(-o)47 b Fc(image-\014le)f Fe(is)21 b(similar)g(to)h Fd(-i)e Fe(but)h(sp)s(eci\014es)f(an)h(image)h(\014le)g(that)f(is)g(to)h(b)s(e) e(op)s(ened)609 1526 y(for)33 b(output.)48 b(There)32 b(shoudl)g(only)h(b)s(e)f(one)h(suc)m(h)g(\014le)g(and)f(it)i(will)f(b) s(e)f(the)h(one)609 1639 y(that)24 b Fd(faslout)e Fe(and)h Fd(preserve)e Fe(write)j(information)f(to.)40 b(See)23 b(the)h(later)g(section)609 1752 y(on)30 b(image)i(\014les.)382 1939 y Fd(-p)45 b Fe(is)29 b(reserv)m(ed)g(for)f(system)h(pro\014ling)f (options,)i(and)e(will)h(normally)g(ha)m(v)m(e)h(no)f(e\013ect)609 2052 y(on)h(a)h(release)h(v)m(ersion)f(of)f(REDUCE.)382 2240 y Fd(-q)45 b Fe(is)30 b(a)g(sp)s(eci\014c)g(con)m(v)m(erse)i(of)e Fd(-v)f Fe(but)h(represen)m(ts)g(the)g(default)g(b)s(eha)m(viour)g(for) g(RE-)609 2353 y(DUCE)h(and)e(so)i(is)f(not)h(generally)h(useful.)382 2540 y Fd(-r)47 b Fc(n)35 b([,n])46 b Fe(sets)20 b(a)h(seed)f(for)g(a)h (random)f(n)m(um)m(b)s(er)f(generator.)38 b(The)20 b(default)g(REDUCE-) 609 2653 y(lev)m(el)31 b(generator)f(is)f(deterministic:)41 b(it)30 b(yields)f(the)h(same)f(sequence)h(eac)m(h)g(time)609 2766 y(REDUCE)37 b(is)g(run.)59 b(F)-8 b(or)38 b(cases)g(where)f(this)g (is)g(not)g(what)g(is)g(w)m(an)m(ted)h(an)f(al-)609 2879 y(ternativ)m(e)45 b(Lisp-lev)m(el)g(function)d Fd(random-number)e Fe(exists.)80 b(Its)43 b(default)g(b)s(e-)609 2992 y(ha)m(vior)37 b(\(whic)m(h)f(can)g(b)s(e)g(ask)m(ed)g(for)g(sp)s(eci\014cally)h(b)m (y)e(sa)m(ying)i Fd(-r0)p Fe(\))f(is)g(to)h(seed)609 3105 y(its)46 b(sequence)f(based)g(on)g(the)g(time)h(of)f(da)m(y)g(and) g(suc)m(h)f(other)i(hard)e(to)h(re-)609 3218 y(p)s(eat)38 b(things.)62 b(On)36 b(some)i(computers)f(it)h(ma)m(y)g(include)f (timing)h(information)609 3331 y(from)24 b(user)g(k)m(eystrok)m(es)j (and)d(mouse)g(activit)m(y)k(and)c(only)g(freeze)i(the)f(seed)g(when) 609 3444 y(the)35 b(user)e(\014rst)h(asks)g(for)g(a)h(random)e(v)-5 b(alue,)36 b(and)e(in)g(suc)m(h)g(cases)h(b)s(est)f(unpre-)609 3557 y(dictabilit)m(y)42 b(will)d(b)s(e)g(ac)m(hiev)m(ed)i(b)m(y)f(p)s (erforming)e(sev)m(eral)j(other)f(calculations)609 3670 y(b)s(efore)27 b(doing)h(an)m(ything)f(that)h(asks)g(for)f(a)h(random)e (n)m(um)m(b)s(er.)39 b(This)26 b(Lisp-lev)m(el)609 3782 y(generator)j(can)g(b)s(e)e(forced)h(in)m(to)h(a)g(de\014ned)e(state)i (b)m(y)f(giving)h(a)f(command)g(line)609 3895 y(option)j Fd(-r)e Fe(follo)m(w)m(ed)i(b)m(y)f(one)g(or)g(t)m(w)m(o)i(in)m (tegers.)41 b(If)30 b(t)m(w)m(o)h(in)m(tegers)g(are)g(used)e(up)609 4008 y(to)i(64)g(bits)g(of)f(seed)h(can)f(b)s(e)g(sp)s(eci\014ed.)382 4196 y Fd(-s)45 b Fe(is)37 b(a)h(short-hand)e(for)h Fd(-s*plap)f Fe(and)h(th)m(us)g(causes)g(the)h(Lisp)f(compiler)h(to)g(dis-)609 4309 y(pla)m(y)j(the)f(b)m(yteco)s(des)h(that)f(it)h(generates)g(when)e (compiling)h(an)m(y)h(REDUCE)609 4422 y(co)s(de.)f(Some)28 b(users)g(ma)m(y)g(b)s(e)f(in)m(terested)j(to)e(see)h(this)f(co)s(de)g (and)f(to)i(judge)f(ho)m(w)609 4535 y(compact)k(it)f(is,)f(but)g (probably)g(not)g(man)m(y!)382 4722 y Fd(-t)47 b Fa(-slshap)s(e)35 b(mo)s(dule-name)46 b Fe(w)m(as)20 b(implemen)m(ted)h(to)g(supp)s(ort)e (some)h Fd(perl)f Fe(scripts)609 4835 y(that)41 b(w)m(ere)g(b)s(eing)f (written)h(to)g(k)m(eep)g(a)g(v)m(ersion)g(of)g(REDUCE)f(up)f(to)j (date.)609 4948 y(When)29 b(in)m(v)m(ok)m(ed)h(with)e(this)h (command-line)g(option)g(REDUCE)g(do)s(es)f(not)h(run)609 5061 y(at)24 b(all.)40 b(It)23 b(just)g(prin)m(ts)g(a)g(message)i(to)f (its)g(standard)e(output)h(rep)s(orting)g(the)h(size)609 5174 y(and)35 b(date)h(asso)s(ciated)g(with)f(a)h(mo)s(dule)f(with)g (the)g(giv)m(en)h(name)g(and)e(it)i(then)609 5287 y(stops.)j(The)25 b(idea)i(here)e(w)m(as)h(that)g Fd(perl)f Fe(could)g(capture)h(and)f (parse)g(this)h(infor-)609 5400 y(mation)j(to)f(test)h(if)f(the)g (compiled)h(mo)s(dule)e(con)m(tained)i(within)f(the)g(REDUCE)1854 5652 y(4)p eop %%Page: 5 5 5 4 bop 609 548 a Fe(image)37 b(w)m(as)f(up)e(to)i(date)h(relativ)m(e)g (to)f(the)g(corresp)s(onding)f(source)g(\014le.)56 b(This)609 661 y(release)40 b(v)m(ersion)g(of)f(REDUCE)g(uses)g(other)g(sc)m (hemes)g(to)h(re-build)e(mo)s(dules)609 774 y(but)28 b(the)g(option)g(is)g(left)h(enabled)f(in)g(case)h(it)g(is)f(useful)f (to)i(others)f(who)g(wish)f(to)609 887 y(em)m(b)s(ed)f(REDUCE)h(within) f(some)h(larger)g(soft)m(w)m(are)h(supp)s(ort)d(structure.)39 b(Note)609 1000 y(that)28 b(when)d(running)g(with)i(Windo)m(ws)g(there) g(is)g(no)f(\\standard)h(output")g(so)g(on)609 1112 y(that)35 b(platform)g(y)m(ou)g(either)g(need)f(to)h(use)f(the)h Fd(r37c)e Fe(command-line)i(v)m(ersion)609 1225 y(of)c(REDUCE)f(or)g (use)g Fd(--)g Fe(to)h(capture)g(the)f(information)h(to)g(a)g(\014le.) 382 1413 y Fd(-u)47 b Fc(name)e Fe(unde\014nes)31 b(the)h(giv)m(en)h (sym)m(b)s(ol,)g(and)e(is)h(th)m(us)g(a)h(con)m(v)m(erse)g(of)g Fd(-d)p Fe(.)45 b(There)609 1526 y(are)e(probably)f(not)h(man)m(y)g (circumstances)g(where)g(this)f(is)h(useful,)i(but)d(the)609 1639 y(inclusion)32 b(of)h(this)f(option)h(is)f(motiv)-5 b(ated)34 b(b)m(y)e(completeness)h(and)f(b)m(y)g(analogy)609 1752 y(with)e(the)h(options)f(usually)h(pro)m(vided)f(b)m(y)g(C)g (compilers.)382 1939 y Fd(-v)45 b Fe(causes)c(more)g(messages)g(to)h(b) s(e)e(displa)m(y)m(ed)h(when)f(REDUCE)h(starts)g(up,)h(and)609 2052 y(also)34 b(a)f(message)h(when)d(it)j(stops)e(\(rep)s(orting)h (the)g(total)i(run-time)d(used\).)47 b(T)-8 b(o)609 2165 y(see)27 b(garbage)h(collection)i(messages)d(from)g(REDUCE)f(it)i(is)e (necessary)h(to)h(issue)609 2278 y(a)j(request)752 2503 y Fd(lisp)47 b(verbos)f(3;)427 2728 y Fe(one)31 b(REDUCE)f(has)g (started)h(running.)382 2916 y Fd(-w)45 b Fe(is)22 b(not)h(used)f(on)h (curren)m(t)f(v)m(ersions)h(of)g(REDUCE)f(but)g(is)g(reserv)m(ed)h(for) g(command-)609 3029 y(line)40 b(con)m(trol)g(o)m(v)m(er)h(whether)e (REDUCE)g(should)f(run)g(as)h(a)h(windo)m(w)m(ed)f(or)g(a)609 3142 y(command-line)31 b(program.)382 3329 y Fd(-x)45 b Fe(is)36 b(a)h(debugging)f(option)g(only)h(in)m(tended)f(for)g(use)g (b)m(y)g(Co)s(demist.)58 b(Normally)37 b(if)609 3442 y(REDUCE)e(detects)i(in)e(in)m(ternal)h(exception)h(it)f(attempts)g(to) h(reco)m(v)m(er.)57 b(If)35 b Fd(-x)609 3555 y Fe(is)e(sp)s(eci\014ed)e (on)h(the)h(command)f(line)g(it)h(allo)m(ws)h(the)e(trap)h(to)g(tak)m (e)g(e\013ect)h(and)609 3668 y(this)f(will)h(t)m(ypically)h(generate)g (a)f Fd(core)e Fe(\014le)i(on)f(Unix)g(or)h(attempt)g(to)g(en)m(ter)g (a)609 3781 y(debugger)c(on)g(Windo)m(ws.)41 b(An)m(yb)s(o)s(dy)28 b(who)i(attempts)h(to)g(mo)s(dify)e(the)i(C)e(co)s(de)609 3894 y(of)37 b(the)g(REDUCE/Lisp)f(k)m(ernel)h(and)f(then)g(\014nd)f (that)i(they)g(need)f(to)h(debug)609 4007 y(the)31 b(resulting)g (system)g(ma)m(y)h(need)e(this)h(option,)h(but)e(in)g(suc)m(h)h (circumstances)609 4120 y(Co)s(demist)f(can)h(ob)m(viously)g(not)g (guaran)m(tee)g(an)m(ything!)382 4307 y Fd(-y)45 b Fe(is)27 b(a)g(short-hand)f(for)g Fd(-d*hankaku)e Fe(and)j(this)f(\015ag)i(is)f (asso)s(ciated)h(with)e(Japanese)609 4420 y(language)d(supp)s(ort)d(in) h(some)h(v)m(ersions)g(of)g(REDUCE.)g(In)f(v)m(ersions)h(distributed) 609 4533 y(directly)31 b(b)m(y)f(Co)s(demist)h(suc)m(h)f(supp)s(ort)e (is)j(not)f(a)m(v)-5 b(ailable.)382 4721 y Fd(-z)45 b Fe(instructs)34 b(the)g(system)h(that)g(it)g(should)e(not)i(load)g(an)f (initial)i(heap)e(image,)j(but)609 4834 y(should)f(run)f(in)h(\\cold)h (start")g(mo)s(de.)59 b(This)35 b(is)i(only)f(in)m(tended)h(to)g(b)s(e) e(useful)609 4946 y(for)27 b(system)g(builders:)38 b(it)28 b(arises)f(in)g(a)g(few)g(of)g(the)h(rebuilding)e(scripts)h(that)g(are) 609 5059 y(included)j(with)g(REDUCE.)382 5247 y Fc(\014lename)45 b Fe(indicates)34 b(a)g(\014le)f(that)h(REDUCE)f(should)f(read)h(input) f(from)g(in)h(prefer-)609 5360 y(ence)e(to)g(accepting)h(input)e(from)g (the)g(terminal.)1854 5652 y(5)p eop %%Page: 6 6 6 5 bop 382 548 a Ff(3)135 b(Image)46 b(\014les)382 751 y Fe(@@@@@@@@@@@@@@@@@@)382 1037 y Ff(4)135 b(Initialisation)47 b(\014les)382 1240 y Fe(When)21 b(REDUCE)g(starts)g(up)f(it)h(c)m(hec)m (ks)i(for)e(the)g(presence)g(of)g(an)g(initialisation)i(\014le.)38 b(If)382 1353 y(y)m(ou)25 b(need)f(to)h(a)m(v)m(oid)g(this)g(y)m(ou)f (can)h(sp)s(ecify)f Fd(-dno)p 2083 1353 29 4 v 33 w(init)p 2308 1353 V 33 w(file)g Fe(on)g(the)g(command)g(line)382 1466 y(when)39 b(starting)i(REDUCE,)f(and)g(indeed)f(the)i(v)-5 b(arious)40 b(REDUCE)g(main)m(tainance)382 1579 y(scripts)30 b(do)g(just)g(this.)523 1692 y(REDUCE)k(tries)h(to)g(iden)m(tify)g(a)g (\\home)g(directory".)54 b(It)34 b(do)s(es)g(this)h(b)m(y)f(lo)s(oking) 382 1805 y(\014rst)g(for)g(the)h(v)-5 b(alue)35 b(of)f(a)h(shell)g(v)-5 b(ariable)35 b Fd(home)p Fe(,)g(then)f Fd(HOME)f Fe(and)h(then)g Fd(HOMEDRIVE)382 1918 y Fe(and)d Fd(HOMEPATH)p Fe(.)f(The)h(\014rst)f (t)m(w)m(o)j(suc)m(h)f(cases)g(should)f(w)m(ork)h(under)e(almost)i(all) h(Unix)382 2031 y(en)m(vironmen)m(ts)38 b(and)f(\014nd)f(y)m(our)i (home)f(directory)-8 b(.)64 b(Under)37 b(Windo)m(ws)g(y)m(ou)h(can)g (ar-)382 2144 y(range)25 b(to)h(set)f Fd(HOME)f Fe(or)g(y)m(ou)h(can)h (set)f Fd(HOMEDRIVE)d Fe(and)i Fd(HOMEPATH)f Fe(and)h(the)h(full)g (home)382 2256 y(directory)31 b(will)g(b)s(e)f(tak)m(en)h(as)g(the)g (concatenation)i(of)d(these.)42 b(If)30 b(none)g(of)h(these)g(en)m(vi-) 382 2369 y(ronmen)m(t)g(v)-5 b(ariables)31 b(are)g(set)g(then)g(REDUCE) f(will)h(lo)s(ok)h(in)e(the)h(curren)m(t)f(directory)-8 b(.)382 2482 y(In)30 b(the)g(directory)h(so)g(iden)m(ti\014ed)f(it)h (lo)s(oks)g(for)f(one)h(of)f(the)h(follo)m(wing)h(\014les)525 2670 y Fd(.r37.rc)525 2783 y(r37.rc)525 2896 y(r37.ini)382 3083 y Fe(and)38 b(it)i(will)f(use)f(the)h(\014rst)f(of)h(these)h (\014les)e(that)i(it)f(\014nds.)65 b(It)39 b(reads)f(and)g(executes)382 3196 y(REDUCE)30 b(commands.)523 3309 y(The)36 b(v)-5 b(arious)37 b(places)h(that)f(REDUCE)g(searc)m(hes)h(are)f(in)m(tended) g(to)g(mean)g(that)382 3422 y(users)d(of)h(v)-5 b(arious)35 b(\015a)m(v)m(ours)g(of)g(Unix)f(and)h(of)f(Windo)m(ws)h(can)g(put)g (an)f(initialisation)382 3535 y(\014le)c(in)g(the)h(place)g(and)f(with) g(the)h(name)f(that)h(lo)s(oks)g(most)g(familiar)g(to)g(them.)523 3648 y(Ob)m(viously)21 b(an)g(initialisation)j(\014le)d(can)h(b)s(e)e (used)h(to)h(set)f(REDUCE)g(\015ags)h(or)f(other-)382 3761 y(wise)h(set)h(up)f(a)g(custom)h(con\014guration.)38 b(When)22 b(rep)s(orting)g(an)m(y)h(REDUCE)f(problems)382 3874 y(either)36 b(demonstrate)h(them)f(with)f Fd(-dno)p 1820 3874 V 33 w(init)p 2045 3874 V 34 w(file)f Fe(or)i(remem)m(b)s(er) g(to)g(rep)s(ort)f(the)382 3987 y(exact)g(con)m(ten)m(ts)h(of)e(y)m (our)f(initialisation)k(\014le)c(since)h(otherwise)h(the)f(b)s(eha)m (viour)f(that)382 4100 y(puzzles)e(y)m(ou)f(ma)m(y)h(b)s(e)f(hard)f(to) i(repro)s(duce.)523 4212 y(Y)-8 b(ou)28 b(ma)m(y)g(ha)m(v)m(e)h(sev)m (eral)g(di\013eren)m(t)f(initial)h(b)s(eha)m(viours)e(that)h(y)m(ou)g (w)m(an)m(t)h(to)f(ha)m(v)m(e.)382 4325 y(If)35 b(y)m(ou)i(cop)m(y)f (the)g(\014les)g Fd(r37.exe)e Fe(and)i Fd(r37.img)e Fe(and)h(giv)m(e)i (them)f(di\013eren)m(t)h(names)382 4438 y(suc)m(h)28 b(as)g Fd(myr37.exe)e Fe(and)h Fd(myr37.img)f Fe(then)i(this)g(cop)m(y) h(of)f(REDUCE)h(will)f(lo)s(ok)h(for)382 4551 y(its)22 b(initialisation)j(\014le)d(as)g Fd(myr37.rc)e Fe(\(or)i(the)h(other)f (v)-5 b(arian)m(ts\).)39 b(Under)21 b(Windo)m(ws)h(the)382 4664 y(command)f Fd(r37c.exe)f Fe(is)h(a)h(command-line)g(v)m(ersion)h (of)e(REDUCE)h(\(as)g(distinct)g(from)382 4777 y(one)h(that)g(runs)f (in)g(a)i(windo)m(w\).)38 b(It)22 b(uses)h(the)g(same)g(image)h(\014le) f(and)f(initialisation)k(\014les)382 4890 y(as)35 b(the)f(normal)g(v)m (ersion)h(of)g(REDUCE.)f(If)g(y)m(ou)h(cop)m(y)g(a)g(REDUCE)f (executable)i(to)382 5003 y(another)31 b(lo)s(cation)h(y)m(ou)g(should) e(follo)m(w)i(the)f(con)m(v)m(en)m(tion)i(that)e(a)g(windo)m(w)m(ed)g (v)m(ersion)382 5116 y(has)39 b(a)i(name)f(not)g(ending)f(in)h(\\c")h (and)e(a)h(command-line)g(v)m(ersion)h(has)e(the)h(same)382 5229 y(name)30 b(but)g(with)g(\\c")i(added)d(to)i(the)g(end,)f(as)h(in) f Fd(myr37c.exe)p Fe(.)1854 5652 y(6)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF