%!PS-Adobe-2.0 %%Creator: dvips(k) 5.85 Copyright 1999 Radical Eye Software %%Title: SoftwareProcess.dvi %%Pages: 4 %%PageOrder: Ascend %%BoundingBox: 0 0 596 842 %%DocumentFonts: CMBX12 CMR10 CMTI10 CMCSC10 CMBX9 CMR9 CMSY10 CMBX10 %%+ CMTT10 %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips SoftwareProcess.dvi %DVIPSParameters: dpi=600, compressed, comments removed %DVIPSSource: TeX output 2001.12.03:0912 %%BeginProcSet: texc.pro /TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72 mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{ landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[ matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{ statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0] N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin /FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array /BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2 array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get }B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub} B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr 1 add N}if}B/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/CharBuilder{save 3 1 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx 0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx sub Cy .1 sub]/id Ci N/rw Cw 7 add 8 idiv string N/rc 0 N/gp 0 N/cp 0 N{ rc 0 ne{rc 1 sub/rc X rw}{G}ifelse}imagemask restore}B/G{{id gp get/gp gp 1 add N A 18 mod S 18 idiv pl S get exec}loop}B/adv{cp add/cp X}B /chg{rw cp id gp 4 index getinterval putinterval A gp add/gp X adv}B/nd{ /cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{ A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy get A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S 128 and or}ifelse} ifelse put 1 adv}B/clr{rw cp 2 index string putinterval adv}B/set{rw cp fillstr 0 4 index getinterval putinterval adv}B/fillstr 18 string 0 1 17 {2 copy 255 put pop}for N/pl[{adv 1 chg}{adv 1 chg nd}{1 add chg}{1 add chg nd}{adv lsh}{adv lsh nd}{adv rsh}{adv rsh nd}{1 add adv}{/rc X nd}{ 1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]A{bind pop} forall N/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put }if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{ bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{ SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{ userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X 1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4 index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N /p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{ /Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT) (LaserWriter 16/600)]{A length product length le{A length product exch 0 exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot} imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M} B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{ p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end %%EndProcSet %%BeginProcSet: texps.pro TeXDict begin/rf{findfont dup length 1 add dict begin{1 index/FID ne 2 index/UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics exch def dict begin Encoding{exch dup type/integertype ne{pop pop 1 sub dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def} ifelse}forall Metrics/Metrics currentdict end def[2 index currentdict end definefont 3 -1 roll makefont/setfont cvx]cvx def}def/ObliqueSlant{ dup sin S cos div neg}B/SlantFont{4 index mul add}def/ExtendFont{3 -1 roll mul exch}def/ReEncodeFont{CharStrings rcheck{/Encoding false def dup[exch{dup CharStrings exch known not{pop/.notdef/Encoding true def} if}forall Encoding{]exch pop}{cleartomark}ifelse}if/Encoding exch def} def end %%EndProcSet %%BeginFont: 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 45 /hyphen put dup 46 /period put dup 47 /slash put dup 48 /zero put dup 52 /four put dup 53 /five put dup 57 /nine put dup 58 /colon put dup 65 /A put dup 68 /D put dup 71 /G put dup 72 /H put dup 77 /M put dup 78 /N put dup 79 /O put dup 85 /U put dup 92 /backslash put dup 95 /underscore put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 107 /k put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 119 /w put dup 120 /x put dup 121 /y put dup 122 /z put 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 63b80c3ffd536c9a5dd29ceb03148dbc24c0033ae285379b7a0546e345a8544c 82e4d15e5e65a661b2ff90f4e3afb89a88bfcef96f700488ef1671a0af8aaedc 0a335dfcd968b48877976ced26c5d4cd7bd43348dbc6a3a25a01aabdb84d7160 c31810c745019548e56b4ac5f199cd1f9bf5973828ca26805e4548a2da09af10 f28a62e1e389b5f1424383d669a54f05559a3933fd37784631103cd85f8b5c5a 0d53341b7cd3870126d8cccd80bdcd26761a05a4725ac38a9b0b382f342016d1 afaff473f632ea2f408f3dfeca4bea24e6f409563e02ac89315cdd0d7009159f 1b502aeced33ce14ef65ed77150c3c39d7108ceca9d9d21b36b83f848524f4a1 3731df94d964a97c034237f59759409514686bfc64179d6424bf53ce82f2a34e f43fecd7989f1de1e6b4b0ad624f0e99018a55ffe818e62cec5e28319386e402 7338ec9664de2672524ff4b394b90c43ecc2bedf19a79112935c853f7f1ea8a4 b199dc387c03bef3dfff786bad87d461e3df4546acae48b5ea452cdb4c76485d fb4dc616feb2b42d028da6c65fa5ab0379002be5a401536401b02c02cfff5afa 5397e7176df6c001c05fa759994b75114b8d5b900b85f46077b40713cb256c9a bccf796c4a002629afef89265fd8d01c650658baba413f8404a5f1a72d0abc09 6a87597aa4953b3cc56eca52311c051da77d776d1f993dedbb6a56a32777c496 fef83a94ac3ea76d486503ab8a68a3820aa7dd95087f373c3d84df3727980ca0 21567fb0b54b2537f12814da5f9943d426d957054b77a1dcd23facf8da1b1b75 0734551e2ebbf15f48cd827f47c9372091fdc1a088cc90cf33b2431489c2f6c2 7f7dcfe6ab90be00b158df5819836e99d1f4b6eb0f4d083f00caa2a821b7f3a8 f5343f4860e6d2e007dd9c7aeedc707ad479a4e8489d9a93b68d39981b63979b a34b9c0115140a4e43424e2e28a5fb4f9a90b328caf00f588cb5a6800c0b9389 3becc15d21074ea15af1672df548a10fedf1a6989650cfa95659214ae28abfd7 0c9307f50527d6a81df286b1d9bc855703936a497a1d12254f17076e14c9e15f ac7d7b55525fced18b554a0f7ea8a0f94e001a15daeaa1e5af26b76168c08914 e637b0e621690f57763c796ec286781c6830cf1cb7252ada1f4bdccf6db70891 76efb69ff9369dd8ffb1176593bf61f4538caec7ee4a0d597e445fcd68f7c1e0 7b83ed4e735d528d74c9508757d004c4107aed70b7dc0b1db614b9b015c04758 4ae30745467b0986cc2e12a11a8dd51c82fcab1c9b9a42bd44b4bad5d29d20db 5a99640f716415a8dcded4e657c1dc22a37c0eec830e1378e007481c1c9fe140 75e76a6b1f5520d19f60c43565adcce6a15f63823a65baaf23afb69eef243c08 2d7e28019b322fba16a041ce061a34edba7169c033aea636c0e49d5429e41f6e bf6b88a3588dfb28f0aac9735785427ae7c572181693d53f5f7d8272dca3acbd a96b50699dd87964e468f9d979d396a87198de396fc90294df27b0329243522d 19ec623e223a6c04c3a44540f19a9db0630d1ec68b1f5331a7924013e1f6fc09 83992f0c6362b3911b4790995166611479bc791bf0bd3b74b7fd15b8df87043c 2d869fed1af82bbe05d12724a0d88050f2d9b6c5b4cb562bc262a5934b6fa131 a74e087d9f1802f6560d80be6adb6d6400c179d2dedaf3b8d9247e52e1c1d2af 551caec5f57a2a9c8f3a82fa6894a6e6efc2c186b287adfcf448adf9bc40f18b 549ac1dca3a549e806327a79b6e1656e288c65a4eca0b40c0f2cc3b29f174f2c 45039e9a9c898efc88037b31ce90aead991068681a379d6f6261af01e347fda1 63ed819425d003535d43e169cf1b39a94b65652a230c79f9b529cd6133f4c7a8 6d1d44c2367d7c6943c3abccccf16ab0035a010afce6a56374f27fe0eeb8cd58 f075dc0ce0ba7b11d046cdc5a0a0f4e9ff078909e11bfc802f9019e984714cff 2f9453f9859a49ae92ac514585fb460ebb1ac81f9440dae1c0edca0dc65f6ef5 30302142c261fa6a54cdf5115d55226bc37ebd6e25ff2d04e93af057e13a578e a8895a601de897960b94e0f64600d7e1567f8ff71578025045aba7f9067a55dc b21a2c86e41bdd246876a608d7a2351b5bb7f2c6a08c817d1136b6bc5d6923c5 18429398c679526dd4382513c33d0edbd4abc87f9172c15be02ac91906f58a11 1530f895f2585bdfc254389a57520b7a4a67294e9dd83c2c437f9aa053965027 2852d11ff3569a3f160ccd5a4c3c0c518aa97023cafe91b43d879d9020a44061 0c8d7ada8588b7c355f719be8f31dc938a2534998b03deb6ce4b4d5c002aacd5 007fa388696bcc23150e1c58704ba2757ffccce90fd2e360ec9ab64351c015d8 504906a827fe586998ce02128a6d3978da6d6f3b83f1f431c14bb3d1f143a781 356686de897f8f6093b6ce20bbe2c5d9145447ed3b1fd91f876e813baeb46fa3 954b975925329d00a42c757372677fea7b50bd907192b329d5ec14926fbecd5f 2cd5c55e1e5a0b31a7f2c3e2349daead3525d948f63255b10970e6ab5779b5b5 0bc122deb1cf361c58520d068b2d214550e704201b7e8a375819db0c1c95bb69 4cb1663cf4878ee2b3a8b4a377f57524a2d2b59b1a6b5817a5e65ec3f2889456 11d624e4704055692e2ea3375026e6a0fb14a6c347d5161e29d2f995cc391b32 ca4bb9711d969a65d013cecb064a0d68f800ce615736c3aac9fda4f52f3fa791 7de46a67492f764b6c162d76acebb20ae789d3bc011024ccd0de686586281932 7c8c52a9ec434a13faa2e4a87abee5add0e3ece3f54de359941454a84e6fe9ee fe9aaa981ad78469a9d9c6ab7fe9e40cd11410efa60f47bdd2df56e19438c925 505c6708ae7bcef231f9fe9e92c69e6fbf9ab0cadf47ef450e9f7263eceb28f5 c7e623ad6102a7e8af3d975032a5638b92e707eb52e1614893d147bd92a975dc ac84b97a788507c2aaba43185c74a0bfc029f8251b5c962d1fef05483ae7c128 b26a0ad1af5a0a65f0d2e86c8a97a880ffadc2413695b6973078f08560daef0f 0e1a45e1238974cb4f1d22aa330aabd3814f2be0da57e5598c79d76a9633ca2e d6ad3a141d41ff63858e224cf009712ca7c5e665f57f825b19078a90784d6a6d f8f1fd06375aea1b0790bc9d31227fb0ce473c65c0d633a442042361b637673d 8a907b98472e37d93a3254c878f2331624db1cff1fa5e2102e8f886191c5d068 6a6131f6092f9e1f55c02e8529d33dbd069eefa45af4a7cb01d8135acb56d7df 8ac967d78c75b2b0f7122ef737e1465582b53788cd8ee1d6750e2d54220f2e70 560dd5253d1ef2a10b074f9bbfbb0bdb1a539796ee30292cba92a1e63cbc338b d5cd1a57d0f4237b2a91b598e50a270738967fd128050eb9702a916ae5e512f4 edc33123f30455b78376ff6ad1ed184559c287f7327c286c8d5be4bb9204b3bf ad193c72a34d94dd746c83ba54fa30080be58dea823f82e3bbf53b4920b42d29 be5c47e5dc0dcbffca1965146d08337e8bbee8374b1e06c8ae1c03005f721817 0f9328d23c42172b00445a18d5da693f605c30c08b041ca73aedb04a5e730bbd 7456f4a906ec47291f18d733d372f0926a539b80a709c1bd9d69f7c5dfa49333 b9fed1be84de34c5a72475534b5376b1e70ee89c5ffdfb82d0b5d917eadc263e 76c6300f73ca9f5838c4ea3290f917ffecb55451b803c5b7b6f227103b9e1e93 5dba6ba88fe25b02ca2a0b56a4d71f6c5750f0ec4451bd36139aeaf404a4a7a2 90fe65a0e1eb748419cb4b761ef68538f8a8298426930d3d5e5f9ddb6671972f 643c6946e49d035574eebd0393f6e46e5e04c04a5fe23a0fdaf99593e56bfcbc 880280321dfe064204311444faa1ec03406750e115089809499ad152b3f21610 125cc307266479ed258392cbb9baed589da40a80e079e07e42a31823f8656892 357cf7ec3125d09f662f3d7a83ceca8ee7d8e4d35b7984b252c8fd1dd71ed5f9 ec553f8de4410a31152a7105c83adb1147285cd0b9649ba3cc9cda31ea8fee74 8e54e9bd1d1443e31ebe859d7cc2c3e3de13016e6d2ed94b7808cbbc54fbe745 1e85b9ff84a96e42ef7d40accb5ac507a26b19ef3403ee6e421734f0a90d8786 a042fbb7d9cf5864a37fb19189e7ea4c43c0fbb64ec3113f4c488db59dd983bd 56a287343b1b6df8d6afbd16d2ec62759b1c80b5abacb112f210cf84d9690d85 5535dad62c370fc6b69745fb574aca6985cbbba52387f0b6262f923044bd228f a12397fff3dc0425970f998660b8e3f2ee3e5ffbcd77f8a1bf85b1db398460e0 5426c460f549afaf6a77c545408c20828f8acb55bbfe962f7b7030f9cdf7ff73 b3ee29013a4d1c4ba64bbba3703389fda54ac494b91cc707f8dd32da21e421fb 663e99207ee22f692b745beed5a01f4914114e9ecf978734ed4cec2a85a83f85 e26c03db4fb9115e9ca8f6f7412202f8d3fe7b8211e2e3934eb815d7a4528270 6f27661bb50050fe4feb875fd98d8da61d55917893df4f315382223f0684514b be87bc220667e00d55a01c13b199694bb19bdd6d6fba679a0e27cd9a8746d1b6 a99b019322377df75231f72311b48c7ae4d545055a4fc9ec8d9890d42711b768 f3cacc624c9988285ac6c97a04fa50eac6cfd2dc6b859d6e0bf7890532c1594b 3dd739a4400f2d48d973601179a82af6205d173ff7f77e4bd8e50e82fb7108c5 b514f563594366582fb0912774411b082522a8af9983cf96ff3361e5ae4f914d 5da364bcfee092e4a83d8cc4acbe38402caaf24b9e8ed90e1079d155d65be3bf 891d444a7e81870a6dd47759d948b008624673b042f5935ef91c5394a4d63f9d 3547f8f337f5805d08a429e15ff1260c4fe23c194e1ff085a903969551ad112c 4b3f7c65cc37e3a9fb8de8cb7a4f44ae47a55e4117d708e14ae6f460c9ed21f4 851df306e56a0c0d13b2bab65d7e24860b608131c3f933e7055d9852c226633e 033f67cc7d21a1b617dba7490fa28e043c7395d006952e5c9d9aa03f573fcaa4 88aefb14e12610f4eb5ece6e60d087d692ef086ab09fd4d538074da544eba2cb dab5375b66865f35b9df55887adc699eba508913f0df77c9d41bab0527b18064 334b6da9d8a1d6692080a59ba514311d7b41f80bddbf388cab185d10700a0234 6f000576539547b89bfca3deada48e1a64cdd974e802f02b873f7caaca1e2789 aeb8a2e6c183f5740478a2e5a4b5502078423755ce1e7f83793053a3c4f87c7c d68c3b4f8bd98d9f07c25aeb5d7e0fce24ae9ba9c58862019632a921a1a05123 920ccbcea97e5f4d091dc677f9fadd2256caa3e070255d87bf23b8cea95604c8 31a87d447a49b220691172c9a892b204a09314151841a01a21bc9c2a7e02498e bbbc0bc4935b65dd8a14196f79cb9994c16b1f436ff238e9124a4d4ae15e61f7 eb620699464a1d3f8b247f06bb23b34a58c984488b7eb3b2d83deb52aeed5e7d 6ce56c6a1320e7f6db065bfdac4774f1a018bf7df93fc779cecd5f9a7f43a19a 4f8efd70d970d3a0c2216510fbd13c7647bc1c06fed7c1903c2158d418a55dfd 322811de537980d1d1278d75fe18cf4123daaa9248fe0f5f0b08ecf36fcdc8b8 4c03f868f6e9bc28f9286a86adf8a39eef412da63c397f5d0279bbd4ae8f03d3 7e352a35debb9b34823de0208c72609d8b11e80c133615da07c23bb9a2c3b6e6 95081e27d58785d07c1a4d0f4b59c879f6c2c6fab1835b2a8f792f52ceb9210a bad8d1fb78be447e63405e1d6fac3a7309fb445982631030cf958e674a466a4b e6dd62b16cf025b82b07e663a2a36de35c47d05c427c18acf59e17700043980f 67e0c35cccba844441e5acbdd089e988d4c0f8054cb71164a53b8206096f6505 98592f7a0eff01b7cb6468439995722c61fc25c05927dfe7f65e2d272cdb58b5 e2eca61b9ee596326147f683239fb84d14952412f99a3b083e7cb90947656383 0c04526d1dab621c68466889331b5fcf4bdb5229f0177b63d69f76e9e628265d fc0f273caecf972a67ca2e254c987a136662d4b1ecc7cdf7613c81b11222ffc8 6d392bf70ce746708fe76efab5afb531ae280bc5fc3e36e85b555cb071639a27 a0c3a0af6fed990e957b2a6d3871c7decbfd35a8576e04c9e03ede697a245fa3 10ba6bc92cc23a88d5600d17ec4787d04c5836523a3105dbada8cb19c9f89d0a 9c0835e65e7eac06af8abfdd7ed0dcf626451e324653e4e69b12c79ed0d1e620 b090fb7f0ff89fffcdd0c71794c6eacb733efae1d59405ad358138fd04cd7b04 24a937fa275f73adf85641d74e19eb14b445d1b1ec9be8c9e07635f2d63557f5 0c732154d80fa6529b4dea5e21487f10004c6d9ed735432a87817b075dd2e2bb a224d93eeed3ef38bcc4bd69d7ecea7c7d4f252184f3c485cef7cfca22e57342 24000a5ff04ca736f8387bf052a2028d2ee22e65ae9ccdc8a6b1271de62d3490 43c88cdb3aa71f3776a10cbdd49f2d2c0c448fff06b7b3de830c2574b0cd7085 e15a39b52c8ddb43d4cc6e6576b660e8afe031e71c035905fd7706f8af083325 a32071443ab3a6223a3b4040191407fbb8b40f1a5efe7e64695e19ae9de6b7b8 2bd309289b88cd9905909c3eb5518c9485e8555d43daf6df26fd54da59307512 0d2fa6660a73a841fa1e7636c7a52d7d03b4ee4a8da3047db524e2da0b5c9e5b 9c3c040b5b2ac4eb6ac2051482820b393025db6e86414a54bdc6210470bf1c58 2f58644f87e57ef52eacb45dec7034af4a026f10e141bb0aceef335e8b99d3e8 3ead4bcc3593ae4d0cc365d5225f9046b12870023cee8115d74176e9ac63762d 90780e6e8707d6cff6259bf422ec3fdb8ee3ddc84905ab12fc24d8ec78b6729f 004ba9660217b7c69c549cb009c748537495a15bfeaad33e68dafdb8c6d9d2e2 3148a1b6453b04ace444ebcabcfb3df6a621480e1f04f4f545b7270cd24f91b9 63f1c98c2093e6a019e155801f0a91f5c7c68c7f22928e751252323fe22f73df 0a3961da08b38ef03a409dd17aceb275cad5f83b519e0563661de922dd0e171a 54bca54a8c732a3e20a083b5403f7df3e1471c73c90dcc8ea988c4ab48ed49a3 920b1cd1640b0c70cebb64e1ad39331315bbc5f35c71c1a0689beddebf8fa22f ecb67c510b7b1c9dd0fd2ac38c44c469d8e4eb88b6157d2795bdc5a6231e7d1c 7bd8e760495039680abe0913e8bb61fc7747ed3bb7ad418aabd18d3718bbb49a 0ac94b48616f7485366a8a849a7b03bc5d5e916d5130a46a9e36155daa731def 525c5e850a3da5d2e6bd7a15f763c2315dc8ae6ab4878f707a3fbc7175cb7ed1 b88d28c61c1433d924cc5720d2893281b563f4e02a3ce2cec98570d0a630dd30 0d33166c9507aa33d4ce8455a9473d5ddfdfa6a75f880759ab09b62ba1cde997 e4b839161cb39c33042ea7411a3fd7d3c79c31f5e434ba0f52ba61b9d20208c6 3a7ab54142ce4e040f482bbfcac46ad59ec123fae9e7e88f96fced977aab80f0 1b7548cf94b642dcf8e6824975a991649d77a2db0f83b91412f670a254412a23 1609235803ec3e5382531bd19c2d913b503c3503436ccad57d8575f6fa8f5fb8 686f2e6fa058949100da7ca9998bcbbdce34d6ee4ada6a5678177d984eb96a11 083ebd166e565548e3f6834b6c975958579b43126804a74601e52bb70d179b6a 41cb91c460dbf7eae86c5395733c5a5e4f9a6f27e427ea5037e75a7ff24d4814 d91bf0dc9a4de54c943232e49d89dc291d4d19d3aa1a57df6a588fc9e3a0b44a a501544f24e8c7ded4d0435e23f74a547174a99acceff8d36591c64673988260 2a078f406447761d05fb19abcb9b370aa9afe27857d50531f7ab660911176369 337cf67833259802934c3c0b6ecfb67fbaadcae0c4a3915dc8eb8191810d72a5 5131ee2453287e354c9814d4e8a4baa85383817c4daeca09ab53c87b9dbcc01e 28d1b957863afdc25873c261b5863d049f3a64786b38bcb61b6a600be362f227 b61d6ec96dffb7f2426368ddeee7c8331a75da8dd4a754089debf0e7e4971774 27df70320e8ea4aec50fa27e4742e7fa35c32771160bc3f8bfa0efba8ba239ce ef7c05630e13f96a9773f694500d56debe1702d3e8b1747fc3ce024d61185185 b85b285570a729b34b277b5f8084936d1d8d11af83585cebde073bf55710640f f2aa781fdfcd99c25f9df51cfba514c99c8b3e382c6ceb42251ec4b826c7dd5c 08b279adae06cba5505bd30bc7caecba7abd940a766bd8a9324501440bfe8122 581e1b6f2ffebadefc6144d8ef608da10ee48f54d6c976ad636f05279ec2125b e9b037bff8f8ebb131428dcf7258f0f18b6ab139e5a6485d1226b5096313d402 f1404e9b33dabf74a1b916712553825e53ff9d332717ae7b46adbce9b78ac3f1 e9d189727589533a5b824f8d506a48b3950cc17414a442dbdd4fdef449adc8d1 9d33a7956e7c25139433eb6725c831b44b31b56cffe7cdbc5499336f5c8f2899 3705d04d3ddd3679d9b0470f2c07acb5835c451bca6ac16b9c022873c69a7ebd bfe676bc188c986f5f9ed470062b42d3c20e2758446813a59889be8cab2037a4 bf744108cda71342d02331ff4dd7931d8dabb54ee083620b6d670ed6036dca2e 6fc877f7f1f54b7aaed096819d749262a2ec163d8ddf3c5b06c3d4710355903b 26ee1b9f5d77a559a27c764cc10b40828691278e3d13721cadd489bdec6b33ee c02f19226a8778cceb4e0220c2ce49c613d74e49e0e4054d0286f965502c27d2 02b3d50d510bf630f89f88106591b9c6985a05b946ecda08822507d06c7720d4 3b7475eb54027a7f7029c2c2078bf2e1680a09976c606009ddb8208a6d8659ff e027fc5159e1a95a09b00f40c88a2ddb93656fa196dbcf1d2f237b78d5fea7b2 21fa7b009d6f40fe4ef06f08e4bb884bb8f6b0ec140baa4c89c20ccbd092d5d8 2c0098e2c702460689539364ede7e355ac24694e55d9ccccd114212edef78515 247fdeaa2c86540137fc5a086ce288669f102ea00826dcf1c682a284a2b17fe9 4f5e26fb952bca53a655cd553313b650ef9285bbccd54365607198a7152fa3d8 0215f53b2ca1dac183725d075917485c1f19feb09d9a093348ca4690f13d68cb 7aeb072aef5f7a86206bd5535840305f9b1421eea7aa400d1e48f852cfaedb82 7958d873a03ff2461845036a90f61378daa54c3000029860c17d62eb252b221a 7127bd48c5c68b417db38517a5dbd4fe8bf7f9af7adc9631b0d450fd8b84eb 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMBX10 %!PS-AdobeFont-1.1: CMBX10 1.00B %%CreationDate: 1992 Feb 19 19:54:06 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00B) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMBX10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Bold) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMBX10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 12 /fi put dup 44 /comma put dup 65 /A put dup 67 /C put dup 68 /D put dup 73 /I put dup 77 /M put dup 80 /P put dup 81 /Q put dup 82 /R put dup 83 /S put dup 84 /T put dup 85 /U put dup 86 /V put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 106 /j put dup 107 /k put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 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 121 /y put dup 123 /endash 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 1e1c975a8feb5dd7e4922e00e3a08cacae5a945e1e8f8a20f1fe9534153307aa 5ac7424759743e08af90b9bcca7447375222a66ae4663ce82562852b627f8296 8f9429ac7d15adc26f8a1ee8b490ba2929444d4822037c6f15369597b5c69d8a 7425313e31245412bbb5c4daa0224165cfbd9e60512b3afd16f68a6bf6141f37 bca0b35f31ed91ace4b642fd653e615052ebcac1c0063541697af7f732ca6628 ab86d0f8c2875becfadbf583269051e6369c638e6a0b44dfc0a0a0ba8ae049c9 baa4eb87cccaeb72e5388d45b44d533e746ef54c409086a6cb38e963b3feeda3 7bc4b417df7e60229d3a97ac2890575613229d3f51a81a236b07c022573183b6 ca79468ec9449bcc4612d912c69507a9105f1b09c9a5cf8937e886ceb3809c1b 3f051af5e5c9e266a15cfc277d7c4573cf2b562a2007b64ac8d8c6b861206e6a 1b1006950f22f53af17764cb63800b0c1a6926b45672835461470ebcb743aca6 0109656d35a98645fb6bb1e3c3a2b84af12651d445a91580598071213d1acfa9 5d1a98bc82095e4f6b15a47962716b53e81108b62986f89edc83ee94875bf05b e586514739cea1a28f20d66fff90eaf98688ba5338bfd5859685965147a0ec71 a63b5ea0ad3722f9e46aeedc432fb46f152e03482f294fbfac0b9877a29011bc 00ba6743889b0cffb53df0c15e9ab55872d7f0d8acb5a5c0d8da814e8f400818 217dccf2e680816a2ab41853b512303c517ee593cca1ad29d1a185183340a964 01648bd816a0829de9da81a0b58494405f29e5ac82a0d7e42ca233ae455de84e 96f22ef9fb5603a2b1b822414af387758178369ab232cc12b42ab031a12e9e96 635ceaf77392af681bc8d53d8d601f96a7c16139ba3edb57dcdfde08766d2b8a 73c45c5a291365d6fe43cbb79de12bd05b4cf63dc3147c39bc9116e44052ace3 a5969686b912ea2bbb8581cb84d5aef554785c0c82a26dace6b31b40bbeb1af4 2c75553ce36a3332d8359f2f4480ccc273c5b7cfdae42d3f9aa50004286fecac 5ad8f48f9d01dd4cd42be1710c3a145727802ca1b83b1c6c213db0640fe67fe6 e935e31f9fee5f4572b7f62248e51414d72e3245c831bdc30c2f7d1db5834253 b2fa4bd42e0349478eee59a4ed26352b46b710f22c2aa466202b2f711ea463a1 5455e4c6da85686c92b9b87484028311d89876744b8d3ef31a4031292fd3044b 5dc591607ec894a14adb4fd58b5af59746e62baa0b92b5d77d5c3ce2a37ebb69 8d577bf598ca8659fdbb48f8e0ce26c2f44e6a277e4b4e2efd840ac02c102052 028805603a0cf77e0ab77f33c817fcac0f5183e22ea8e8355b00931190564034 0684a7135c185710d5b6819e96e7cfcf61c72874130351beea8b86f7c6a3485f 9f52ee12172cd6c9a1e0142feb7415afb680ffee66433878277c1da299d044bf 9a8ac57f47de0aed054c9b35af6444fde22abb34e3b5c9bc2c4976c8e968e243 f5a08419f518d1303fc6f785fdc3771415720b686f0c7bd80b1c900b41ac69a3 26e531313bf11f4437298907350cca439ece00b8e995002fca3329c516e82f85 46658d87f711f6db1d453cf8e9d4be937d02e32c477ad09a7d677afab7420455 6170fdbad60a64ee24bf487c272f5b95eb973febffb00e7c2a0c465a6f7adb0a 96cd35b213078273d80c466394c73e728e27ffa7e301313f0d4cb018fab1e1bf ce4eabc1c3ce444130612ecdc4cebc7bd7d6dad4f8e8e3b0ff271e07d6fbb1a2 7b8ca206a74e1713a74edb0e10c5a02bc81214137e4c075c98bbf6e51647b776 9e20cf4e327e0ac1b304c6a3550ff268312673fc422dbc86d987fab67781fd06 a374b59729367033651189ef08445cd6f3e7f92ce98d8199aee0ee562656a635 c7ed322d8415b5416809e32dfb7f90147b162be4dc9029fa70515904f3a8aa60 e771a2205146e46b4ad862b8ea239f01b010cd2d3a9b75a8c39f6a812a62f618 92f68ed0bf9f12431c9b0ea086471ff7bf08c52eb1f36f7d3d260806f4eee39f c91c8c6a5444ef155f89bc3553a49c304f98b556a31b63d71bfbdffab80a8464 341bfef74a2f3ddd39de3be01487702eb030ea00acb151d02acab0ac22f97e2f 455cd022e53deb48939a1990a8a9f133baa8f051529193177b26492c69504c6c ed0c568351f2aeb176ea897ab86d7f884c845512f491c4e18e77a25803ef8d0c f8cf5f77ad737c38067521464d9ba7a0dc3eae6008d23e000be348eaa46b5bfa 19eb935bea3e822d344d3103242025e022ea3f246463dbc3572ad333e76e41cb c71aa529e0f3e16951719e5c15c0772a2f0c0d4a914b313e367b68fb217f68e1 645587eb4901e28837918076662fc44a10c4d1b149ecc33dfd4d8daa545d6fe0 854f6035d258cbc71fb65d827981a4b13ffcf0bc28fbd8e0f8d1b813265db7e1 a0e90cbfdeb0f329044ddb871d359a8ef6d49322d09dddd2eef43ae0bfbccd3d 18fa379be187ae1a4f1c0a0013c846c3fc12b2d96f9b6d36dff615c241da63e4 87bab8d4fbd39ab200c7ce864f4cebd172e86e695026ec973f5b65b287c47f74 a5d3aac6dea7d392d7631ad4f949d21351916cf75cc2fa2de46477951a75dbd5 8651b12090d570707e28a7a549aedc24f08eea1cf7da61e94e65b2b3e2b8bce6 aafc35fbcc5e95cfae03be9fd003b9cbd8457d10b3a4f61b5acb22eb696f3348 68bf61aa77ef983a4081693e0ebf83b142babebb94c8f0f72fec56713d062a11 20d1582e573ee266291b6281b7438f17ef880ea7782d5b40a851bc6d7e25aee0 b4d8f81d7f237b082ca02be1ebcb69a62e4e9b0b600ffe72c777225d96ed3df3 43cf48cb9120772a92cdc8643379805a1ba24f68be97b3d7e1d2ea6a12857869 644aa6be26c74a52f73269afb1b0b12bc24870c58206d16258c5fb1efa058195 6f507f380899f11385e811e4d4e0b0cb9b962249f7ff2e6cfb72b77588ffaed7 859fb054e6b6c410f38cecca2dfd656790e97e989006f53425384585cf9c7218 6d82172f13c93e3ebc57ff81705cdb0fd84764854439e0dbf07efe7211c6be8f aa1f98c659bf474cd1d4e7f9cef9ca7bc3df8ee25fffccedd8ea36c8296ab6d3 78af2ee0526fbafbf9a35a48150b93ef3c659bdd20a84c5b6d336a338717e2e2 1e0c1a960a72f714c293fb0421f0396f961de588d1ff0610992aa735ab3f4d3b 9f9473702f49c4714d0d42915db3518ddbfc798d23abc91022f1f93b857bb1a0 5a47e3489acbba271c20d47219ef819424af9393260c277a53b3b1f8813394a5 8c23b731288104391ab4dd09ccb486692ff6a63ab15a1d82766bb095ccaaeb49 8a0482469d8a5505f4cfa92231a11fd2dccdad8788fe009ab38c803ec14e5e7f c7806900ffad56fc1f62b1d9a366ea7093e13a8bc27851822890f1ec08eae92e 51e72b4866a0da69299ac2151b835f5888a6875a10f45c4759b37c859c6b2e46 448ee8e18bd6383e00c170cf5f9d32195fde92eb9a73617b588034b35168846a 08f2e0f856a359aa23daccc61e8cf0059360a042903ebe5b4381197590d0f0f3 39c4642d2f22366231e9133771e872e7b8da5983edefbe9f7afe3d1d3ac7fe5f 829c6a3dc7f6bfde80bfeb2e8227d153b3e9e0cccf4d4af0cb8395d39e424f36 a13a7522d851b4dafdc194b9bd5e2f958fe00c1b4a8467d81b78d28282569bb7 37809a9fcd7cfb7d5acfcd63353f91cd5feba4474cb5133b153b72745c8d3fa1 7e02bc009422e5e01a553872a44ca449e97c3e295c5725eedcd6345e914e50e0 80ad94072f93f73e70c69011907bab1bf79551b40594d752b5e7ec56a15ac07f 62f258e439244fa2a725072a97aefb0ed489bf8a8dd4d564198487a89c584a93 51d6fe3eacffcf32c39ec22698e4b0d0b14d52be0c9d2855fc1d0112f5798f25 9d30ee35b38fd19158ec7bf18117aa89143cf2b267e0598a5d072bbce31144c6 ed0adefd3cf635d91ec296aebe448e0b37741ac05b74dd85af186e8ebe287d4e 734209868635828ad07b986afef056d49f8fb8d4142a5514a36105bd250108e3 cd19938734cac507bf0a4e83323e82e15a0ed4ba27f86dea4ce9ac169295d0d5 e6bee9171613c242d92742ef2314d1b42a49d96131380fccb2fa6cbfb378a0fd 175e0415a9426917be54bcea4bef9489a772cb4959c6a6511dc27d4347f522dd 7a18988011081a3f74dddc5033451e4ccb33d9442c3b94d26eab94e5cf3ce9ac 909b7015aa2c627dd742d7b733f1bfe08a3f144ec60f6c4ddc564abb6d8e064d 6eb490455e7906fa7e8336f000db8b222e009689748e3596e249620a6d81fe6b 0e544749772451635b13ac007fde5aec03f5d0ac63edc141799e124d918deb9c 5d4b4e9f5c9ad86c6d6c0e8bcfd6d71724af596a1ca062b0099f0f65a62fbff7 fcd75f98e43883b17b8ffebae26ccd1cae985076c716cc9f4c83c0975f1d2ec3 089f2c7136ab3b29cef39b0c5dd10b2480a378a4222e3e989c2f493b5e9c9407 92fd54f0f5b4f3cda735352e0b80e6b2899543eaaab36911d0511947507a2181 eaeaa50d5f1983e855715b90b281ef7f76b52246ea2806851ffa0f71fbb64d8a 6cfc5a637960d7929d9903fc363126f217a985c878f676ab82b98d9c33c18fe8 c9240c17133a8362c34389411c183b6c16d54ff577d8c8bb3e8f0d38c35d3265 0742104a937021bde638e0fd128e0848095fd5a9ccd6673f72b3e41892fc498b bf783f45b989fb8f4ce1776cfc3d6b97f0a064da9fba115c243795a4a9611b18 18891b85f3290fa3d94d801fec9b488916732714849b6449e8f6bd49b74740cf 4b3569fdbe2ce00b05c9e5ddee32af422d01579ef4c3e1c088e5bd8235daf208 cb8744f53843780a0feb998514d65ea671636092afcb387ef8fa54aa6cb23976 f67f1afaa08f8bfa64bc2a330b1cfc234ac5ad3de217eda0b5dc18556f189212 0c0c759bfd5466c2739e137212acbcb1b189e1282b1d9bc15c3e3b016e965708 c8a6e6bfa4b657e149daaa31bd13fb161227adb6af4175d98ee64aabfe5d9be9 b26914976f0e8c241448134f5492b63aa4d91d5923cf6d3e4176dbcb45ab6bdb 23c94aa40760ed9efd13f49052f0e1285d4a66e0e31e85316e35425e3e1ef09e b1fb895851995283fcfbca7783d9564433e00e74ac67be07db031573da27ada6 17397db2c8e733a7ccc15aa4a48347bb663481d4f41f637daff41b67e77f33c2 68b84c0afd6a6bc6efab21c91aa3af704232afda592de0fcfab00c3fb7fd04bd e42602675fbec66ef9f25eaf9f97004aa7fe511c6eb7a6951d15c24ab498fb8d 9c6a321d9e5cec6486dfadb777381fdaac871ada61b17ee6530ce39ebf90c08f d7524d9567787156d385976def59ade15b1406761fcbafa77311cd8115bd702d d97a7e5e55a8e4806bc56ca270d4dec9612386d5a7a2aef68bf9e7cbe769df9f 4ccd8f7e5fa8d1c9bd5342eaa61c068bde67e42f7612cf6dd4fc29683b725b7c 731dd6b506fece6b42bfe99ca23bd87f1680839e5ecb8bab78a8e5806c747150 ef65561d056cec49174689f2421045f54d4d0fdb14efa709c3e44da621743c59 f4ba448d3d0fe41d9b2399a4d123df8af3c4193009a2eb024a1021ffc23575d4 46a6e361a8ca9a08eaf46a57cd7355c806c8bf68b789a28a401d67ff5fbd5209 628a3673237d29f6a0a5aa954f6a8af746cbe77b1abe5b352a3d56360732d74b 673887ba6ce9aa91efdedfc8c2d05b20b9c28d6565a2f53eb8d8fea2ed9b6647 a004f7e499eb482f684e9d1338035c426c6972f61b32f187efae1b73988eb6a3 37cec5efab378828088a07f540e960bf30361b5a272603e94734c39988ee4c02 c906294e7011c39a3df43de5800bd939fd6dfff57b23216819ecaf61e7ced817 25ecba8cd07a99cd25644c9363d8fccbb29e1f2b23a9692837ef690863a146c1 0c2fcb4f19ce35d9084267bc9d643737f56961ab045ea7c3bb3cdfd95eb93ffc 871d08138a29a914597e7ee00bffaa948878589b0ad8f19f56daf7a0b443a944 40de4a43fb99e6224eaca713c11593a3aa9bb658b4998e81471622966b668e5e 2709e7b7b1ad8e13e8d8630ccf476e0f5c36f483221a6f983d1e4aa5a02d64fb d2288da4cdd1a98db50b2d138f16e68a65ba842c396ff4e00f7e62dae201c183 edd630963fa079640480ea678edc59a7aac6178e0da050cdf65dec718f2370cf 0a3d1e0574f76add941e1b325f58a9026d3ba68a862ba61698eb789fbb4f0f08 fb200d7935b10fce733501a7f7d5d07e97500cc25a601ee66ef039f82c4949c9 908828a7ca9133bef180385d1ba038ce480b3bd25500c95fe202d413ad14a73e 99882f9eb5cb6a6210ff1660d1c0628693e566c9224fde22179b5a3599a8b288 a90e385df3077bec87fd9977c912acc6456361727a3c2f75412d838b30510e42 7898ac3e7200556dd82e64b3c6bef1d13ad2f11b9aebccd82ac2aae7b32c500b bdaf4d2ef0633d1522f4192ff747956a58da91f2ce543452f6b1dab4cea0e538 5b458a0576501abfff0c8bc02e5a0c3b9694d3eaba4d5451fde2d2d327cbf130 f047fc137175ced9d2954e9ec0d8bb0ec4420bb1bb1e0c90b6bd089b74ef2370 88035ca4cd440224365142cd18ef6e4fdb137c72649adf60fe72925721278a86 d2f9eca939f05ae1a31d1628b1ec14a9dfaec16bc33df3e50ec18cbcbbc98745 b941e2cff0637bae211a9a17c2bbdf0411703b24558242273971a815d450090d fc57f5bb83e4ddb4df40bd44bc83e9dc59f268f2a1ac8adf57c5623219fd5c94 805d7c5818af90f99a0589a31436926330740eec2a7c00fb1f176886adef7eaa b52a0edbe92e258795687c9358a8b1a3c9cda5352619277e7f43c16958e7236a c20b1b808a452e1b06bede254d30ce7102f1c78da0b79fce02ea4af9d20d3d85 18efda46985fcd1b6a7fabcf129873ff9e09dbc7e42e376a3835949057f16b67 40adb101c4888732ca39ef87733ce1cb7f4a88a5b49b64538f6e61130b30cf63 dcd3cdc04ded519adccc361f0837baed3cf7019184c2df9c3071a8da1dd4e691 5f3773c08b5b82e4302db384a91bd950a532560137bc3534b76a7485991bd368 da55fd6cda58e245f9061f6156d3d320873f89ed8d260a18d3bfab66c55a7d3c 59c1463926a85b20eb91b4c84e8141663e0455bfc50c7815b0ec1269b1a891a0 d30bdb099ddbece63cbc87099e2b44261f0d721d4b04a3e9300169facb741dc1 2108ab98af975f02c56aed184e82d9e3dc8c68ea69af64ec591a9fa5babdc256 efe76c49ac098090f585abe23ae7e09d14c066e9df4771e6eb42c06a6d45dbf3 1fbe2f1334031af36598427b7ab4cce2cbadc33df3068a7af32460904e344b91 4957853a75e813e70fcaac4949ad5d5d23a13f810cc792eed095c21cfc433e4a 5cf3b0cd8ca69452fd0e1d1e238b50dc3e5b7ebf0515962719537816566f856e f7502e99b3406644c6354cd333b27a7f1093d26c2eabd5d8acb09151aaa98206 37f087d78214218f53755101d78b9f9a84023ba03d94f1bf15eeafccf0c229a7 1a1b9d0fab434b15d14590368e15c0b4e6d4a9204932adb0b774663b95140bd9 5921b83403c0165cd39a3d6227e80e6df32f3fd1dd6fbdff9097af3dd317dce2 988200ae5b53d3f40bd74114bba16a4d88591359d51e18ace44340575c758996 4e6485a2457e716b60d348db723b53873bf56de320c2e90a220460469d1a468e daf33c335798676053ca3b6ba8146a7961ee078fcd6be3bc28a4fe1e19cb8e1f d1998ed2be08146b8b0036d6a2e418437be49ffe1eef4546d6f86f592c6b9592 604fb3ccea0c511794bc9b2a6d0435836715ef3bda2d04a3ef2067b3b9b5e32b 5a393aaa4452d552be71cb9999481be4741168c20dc720e840bd0810ca98f517 6a697e62fa76ec56c8a476bd11b4384c158ad7417d5d2dfab1766cc1841eadc2 8cb6b38ff7decc071103a7f78c56edf6cd7303ee33d4775d768d793c3963e5b7 b6e01b4b9040f336629488894cee516b849d8ea9e6d507bd97fb0fc0a83e14aa 66307399a2bf9e16bedb81b82de20c82125ff311880135293e9e26f592d5913f feb90acef3d4c5f5b1538cfa445a24958c13b2cb662a364ad450ca330d345a0a e7f5a14fd267ab3293ab02bdd564893e0436f1c2774e5f1dac7c05b55b7bcf04 8b1127d0d8ff588aea6ba6e31742b92cef1c5b909e81ea734ff2c11c15948cc0 1dbbb9b1bc0f453e4b8fe26c09153c33851a30a442969bc2cb679affae169796 7a0cb2a86369e394f2b668ef1ca054133c985aa356f8e3bcd1c830dc448a8af7 78d1756d7ee2744459f197ccef2cea9b84aa30f83c1cb4d21f7278fcb2cb8442 6b35a1b9c97e8b44449fc99965ecc93e80d42f04cc3d796cacd855ec9e42c2d4 c291a3d59712e633f3d2fae0195ec1928247f2b5d09ffbb57da78d44ac823704 42d440f5656b7e50af66ce48a156f4f6d2388f848381db0aae93ffc72f8fb7e5 dd2edd63fc4592e240b33dbdb13f38e9b96faf389ddbe429a213782930238e6d 3fc8c3a7bb88a9ef1fdcb61f5f3f3b2c213735bc9b98abc9979c399f9830aff7 8933860cb9bca14cf9dc086191d49abac112306cd78621499bdba6a4e284bae0 13dcbfd17ce6a60ac632217fd2a3472c3ee4eae1919743d252528d0ae3716242 df551a8e4c444cd1c5966e053bf157f49aaabf56d82372167be487c34148ffb6 6108caa59fb60242366a7bb680eaa5a27c1d00c0769b574a613128c929bba7ac ed0a9fe25a43ae15bf70e6acbace358c985d09c5a0a50b051c75a589246c4e26 2e9acde3be366db0a21a55a19c2673a7f0a993ea0ac905de7665ea96e298ee84 f8bf8450e333ef621dac0eca4c84481f98f7aa5337c01efd96a9ca23feae6199 7ab4b2bf4f9ccdca87b6cadb58570002d1857ce1f72997d70184c528894d4887 e4829a6dbff050d4df49a90e850515f1fe673c28dfc9abcda351891b2c023bd7 7e0d8484d22758cf720c931ec80c0c6c78c7ff7f61e8bedd6ae596e9be0cf2ef b0a0070d638bddf8bc84434251e04cd5964f64eba22906363e64c02d1972e119 85ef5c998fdfe96569b8711c8eb37ddc43e46966c9cb3fe988044d57a676f308 4c8eb2e70d3eaadb818e5ea47c47ea8594666291d8b6bd440220cb506359ce02 7208c46aeef598fca461f52c00b9e54f1fd661f03bea55730a33e5a772aed9f1 83ce09d25e88097e18a1db98f55eeb8713bb5c452d9c298a971c92f76002f27b 144e7fc02db30280361b0e2bc52b17d1d21d931c88c93787f21fafe9839cc57e 1ab7cebaaaf01fff9594ccd4d242357af4083af7b9ebe130e7da3a7fd33ab561 6cebe76bd98e321ff4de3848db0702da82c61979b17f14af1c818147d4538ae9 0a918a13d15c2a4f39031dbaa077ca379c9569c251efeaad398327619f48d6f7 719c713233abb3259996ad49848486963dccb52376ced477ba24659ba5419cd3 2c08b9039b5e2110c8aeda64cc13755ed333c8d1aacd0a3c78f1b274e845b114 edd0ba515c5d8ccb340bdcbc4a8a27d3ae4f9c6b8a6768f4b95d11b48fa6ac6f 580b46e8dc8be697aae1d8971abf2fc6ee5b40f5b2729144485daa4a7c91c070 b9df2efe99b14ef00d7729578b7de1571fd5a9e90429211b52a840f2f44b5923 aef051fa4b21af282e5272dc9a47f224bd79ea251d64add4b5e71a2413b1399a 59d74e90357c0571493850e67bcfbe9dd2a11d932dff18f53c3d9d6d764bfbc6 fc6a04dcf914bb17d62f5fc25679ae68dfaa02c28b26183eb3471662145c192d ac4b44ee889360343ca468f915678e9155ef8eda8366b142f68a94a3a4c58741 78201db5953b0ea942ee43b27e59e0cd2fc96c154e2c82626d3f9b3c97c0f2da fe1c95bd037bb3a5c773a62b60294970e4c0540ea7b9418ff4c52cf2353ccfeb d2657bc461d108be 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMSY10 %!PS-AdobeFont-1.1: CMSY10 1.0 %%CreationDate: 1991 Aug 15 07:20:57 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMSY10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.035 def /isFixedPitch false def end readonly def /FontName /CMSY10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 15 /bullet put readonly def /FontBBox{-29 -960 1116 775}readonly def /UniqueXX 5000820 def currentdict end currentfile eexec 9b9c1569015f2c1d2bf560f4c0d52257bac8ced9b09a275ab231194ecf829352 05826f4e975dcecec72b2cf3a18899ccde1fd935d09d813b096cc6b83cdf4f23 b9a60db41f9976ac333263c908dcefcdbd4c8402ed00a36e7487634d089fd45a f4a38a56a4412c3b0baffaeb717bf0de9ffb7a8460bf475a6718b0c73c571145 d026957276530530a2fbefc6c8f67052788e6703bb5ee49533870bca1f113ad8 3750d597b842d8d96c423ba1273ddd32f3a54a912a443fcd44f7c3a6fe3956b0 aa1e784aaec6fce08dae0c76da9d0a3eba57b98a6233d9e9f0c3f00fcc6b2c6a 9ba23af389e6dfff4efec3de05d6276c6be417703ce508377f25960ef4ed83b4 9b01b873f3a639ce00f356229b6477a081933fef3bb80e2b9dffa7f75567b1fa 4d739b772f8d674e567534c6c5bbf1cf615372be20b18472f7aa58be8c216dbd df81cc0a86b6d8318ca68fe22c8af13b54d7576fe4ca5a7af9005ea5cc4edb79 c0ab668e4fec4b7f5a9eb5f0e4c088cd818ecc4feb4b40ec8bd2981bf2336074 b64c4301c39221774c4482ad2518015bc80e2e96dabb4bdf5fbde00562af1aa6 90336bfc814e8312dd70402bf02d57a3ffe05e732cdfddafc00d318f83a79439 5eb8460eed2f5f1e7a2726c02f81b69917baaf163033a49dc10f61f35c72d3c9 33039c21bc71a9b4b25bc7573429924340b16d1cdfe6a6b93450c50f15b6229f be901e24b3d21bf434b7f60802dfa0bb3462a12bff97ca01cf591cba483a1699 da979b8e79d363c1849565820b5d62eb82d4e481b26944bdb6f0f02642252a86 35e29f2f3f5faa4444aa607bfd3bf4ac98653fed 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 45 /hyphen put dup 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 71 /G put dup 73 /I put dup 79 /O put dup 80 /P put dup 82 /R put dup 83 /S put dup 97 /a put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 105 /i put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 119 /w put dup 121 /y put readonly def /FontBBox{-53 -251 1139 750}readonly def /UniqueXX 5000769 def currentdict end currentfile eexec 9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0 0b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3 79791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3 2ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8 b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d 823385fe55f3402d557fd3b4486be79011d1f5bfae5c1f476ee6f05eb1d2caeb 269958b194521197b312fcced4867f3c8fbd030bd715d8ffda1dcd454b174e7a 1a97b59fe770e67702519d9d9b23d61ac08424d555242a8ca08c49aef300945d 99b999a79ce74804ae6bfde623f4463371442f6523a5f6ce19c839a708c02513 2e22c696c8ccade45680e5197189d0f98e7f0d5f955e353970b392cf530a68cc 56b0035ddfbf206c3074beeb0739dcbca272a6e629fb7aea2c5ba7bae50c7b4c a595df78200c352997ec3ee564df229fbb5473f5e8ccb1cc0153e9a7e299a8ea a29b69d1b622b1f0cffc58291248759607d91150cb0651120970dc9f743bebef 44f6ae92facec57658999c8bf01f60611560043962c0695e1bb87d090e0fdaab 659d6557208a660be9aeef8ae55f71b8bc76394d792967e41bd8023b6e7f8c3d 9987d5e54c53bf2bbb32855b946473b44833bd78873df8e4c7e668ffff25aabb 8da4148f744b9d0524d6cb8281247b3052cc5d66f3f1bcf8a56a3fb446ea587b d8be30257652cee035628aeddfd8283b5ad21b8b1480ad24d898970ac8a1e33e 543ce4e3c48f9ee621c5ce3e8ae930f890011b630866c988606068d9e92396eb f51bb3db204505fc3d09d4701ac703a14d92bbfe27bd7411b363a88e33a8e9a8 025ac31f21e73dc52b333b918d0b1270c54873a490222d041a66e0192612be6d 2c88958a8f70c10390146ee5091df020ab97675e8e6acf98b28b539cd0a20d24 a42f535ae44b8f5e9290b38fc6b02e1bbbdf1aca96558c2dd5afbec53f03ab51 fbce958ed4a65b17fbc03f9defd4aea4a15229f3c320876235f2d8b69bda5f48 03a2798790d35b394c63295997dd487bc603cdd10d18f3e3fcc7f17d2a6afc77 f1d7f6cf69d2a86b104b9d3b260e4a78716927a485ad8a650d610e68378f4514 3610b087981f0a0655090163dd2dd4d0030faf6a953896a9cb2cd033ec9eb817 a8b2c8ee92ab05c7e99e793f2645f41f84791a60ee9e0f60616be8aa00bbbd60 fbd413e15421330214ca2faa1defd5ab72f28fa83f63245600d8f72e53a7e31f 7a66275dfa52d57b63e543214c2aa70db01e2d375451e4001d7a01f189277728 98eb95eb5c7243d7b595daafac1e91bc505fbd36f7d0790de0566a4f545ea8b0 c0c593021cff2a46adf9678d8eb03d77887ff9171ee364bcb98ce0fb8e357f0b 232b561e69404e5742148d3c5773f8c33fec7f95843d46b89f62017ce2b57933 4e97ebf72598426385f9e4e2cbfd6b0ee5c83a94dae8eb2405b4d1a6debb7e04 a10bda4220f9fc2e83c034d5af2ca0cfdce1fc37c1346f791bcfb0102c5780df 8ad9eb5ca84acee0b78da7b84c45cd6006101528d29401f059375d48dfeb923b 406b3d1f8dfd320bd11d098de42879182ca06f36d4c798638022071c720dfd00 76e979b03924dffc9efff94610224aab0861b0b1d4fea669578794819dfe72a5 c9b019bf2673d3bd24e177aca21eec971a6693fb5f1dccaf16ccbce89b089204 52c132c070e9487293b5630f1ada6896ba3d074be7b2b8536b3388861160fe28 1599cf24376e502616af03543a01ec9afa27de7d71a12d743677463e34fc679d 87bcb17d4e9becc69228a0ac50b04347cfa6b92ac8b09538adcb0573f6663a77 d9e998066b2d187b57cd471fc82a1f56cef6516bdd5dc416b358f57f2b89a78d 90be9d6b57c43b0435363d86772acf2a85729836161f7ed5e482c04f3841b52a 245f71fdef05aca5dd5ed813e6511c648063797971497cf66d57debfd39cc791 e0e7f78ab647c069cb0961b2df6b25fde8e349cf511736f22604bb647c933936 706a084d2477f1084bfc37a2d2230b48437117a5eea86a809c34d676d1155395 1b97bd861e496f6e3d5634df0e132a6882258b97a6d56cb28bdfa9a50749beda cd7460e5d81590e337490d010ac4dc04fd51a7033d06f17547e4f61e697bf141 8ac03981239fd9e677f86375de8c825fb85c8b3e5760ac0c034cf866a08dca5e 49b38a10941600ccc19f4c9631c6b7fc6c626bd5295e107053f86f7e8aa294a5 00e6f8c37bb52dcaf4cd8b9dce8e2174cbf00d387dd87cc5cf3ec25fca37e94d 0a6bc51f5a123e20575032ba99a1bbf43a5b285382cb49bf458bfa3e33f4fdad e3ad75b7accc6817291ab239bd0b483720929ffda8f86317734abc2cedf35781 d201deec5aec37febb4855181ff72187763d57483c30b5d41ec272b33d6eb4f5 72f4421a000804c3a94dead5b6f1a461477e0368b396844b2c28285761310314 9c97fde7bfda8d8848d32e6630a3fdc3680f16f6b88aedb51b3068f8f78831e2 2521ec23f560e8b3e9bfc9626ad7dee57c5c0f8b155145487e8c6586d0760f50 79f7ff76dde3aa8faf7f2e6870ca3d72416f8c8c76d4433f32b119c0a6ba52d3 f40e8b21b3617828b310cf3a584cadf0fccd735b5f97ab2185effa506d5c377d 4250b013661a80704c19bd9f7dd7381ba2cb1ca09afcf8dc91a7584b7749db9d 495b8f8e79a7b13e12469a0643b94428ec50bd7b93b5b5bd8e7e13b205e3bfed d0616cd0b0004fbd148b2916573d99b0723382f20999daede7e1d6185112fae4 0fb45aeea87419eb4b5815f49a57038ccfd66c150760d07e6c999c4a77406aeb a2fb0880a52b3d863cad7a83c6a706ad440a76b5cfa39afac55d21e4939534c7 1913540d053e6d79dc0174dd20a6fe792a2d21216cd7282d42f72f4aeb54551f 5fd318325727a23c4e747586432cead6eac8f64c41b79c776472e9fdff1cc9e4 e03a90733cc7cfa9e67dc46b23470c17cc4d4b5c691105f13beca07e6f6cee29 0c8eb6c1e89e379b2e1a4acac99bff894e870805d1a1bb6afcda4488c8560815 0b9041bba1e31906723d2aab682220a6389a6955208ea081fde1c51fe6eb2484 506790d42bddade0f4c6adb86a458134d42a2479c97058fd17395a74055472c5 1209bbe84f4679faded782be39db550e3507dd34c67a406fc07c4973f235218a 927149a2f62859a1958abe82bbeb6593d30fb537884b071478fbd5d617360e41 96e7e0b0fad3d294478abb8a7338b4fdd18c956268ac3798cb2c6f8145a1b3a8 7566db7839c8010b4584ad4030a4340325e60ca3d9faa4bd7844d3dc4c6e6735 4b7de339d9c493df75564e3789ac3fb31f2273247fd13b205e02cbcd1becd1a5 5ee0e00403f8375fa608ea1810be1457714ea20c309ff82bdb377f6b5488c24f ebbb3cb280251b73024711a2de08dc32f0f39aea425c6bc065dd223804ebab12 2dee631dee00fffdfb27d36841ef2920b2dba05e0db09202848dde8fd625fc47 c9730ea74e75a57e8001f4250a4736687ccf3071c8bb2ac6df3c72910af394ac 86bb0ff4d67663cf95b1db4899f5508e720aee8504497df28ddc6f51f485eddb 20d77cfb38936420fb275f07b243b10a9253c9a36f03217ffc195f40a56d4904 30dc1614fcec90778b5a05a640d0a5971e6e6fbcf80aebd5e1cd78af01645d1f faaf646d714dff9f671358d3fc219d46e91d2aadb2ec27dddc00a6ee5634da56 5481523ab77cddc6b7fe85a49dd0216d9dad3273775fbb425ca9434e4a0875cb af9edc9bc3ac136a83aea0b793bd57f0aa2211d9d0c663295e74dfc6b8b7d9fd d611453b2b9482b93bf6ca3f79c5ce4622c0822e8ac579364652eaedcd2a959f 91d6ba0440541df23a07bb2f37154d4d842a457d3f07c292e0201684d58765ec 6ad233675959fc748ce0fde9b5d22e02054a3c6a8954ba7dc8690de171e69765 485a5abab3164ad3b370ace7490f1a067726f3461d6d1ffc5cd98e26b40c972d 2c949dba6d62edbf43a644fb27b26ffc87d10fa0cfe2a844e2327625c6d0d0a3 2d8b3cb1ec72c42fa463e5eb00a7d81ed95810be16e9a1543f95700f92bbdf3d cb2582f77c397c8a52766895e6957f8f141ab374601521fe5a68f7217f2a5ae9 de30ed5a7fc89e710dae4bc8fc140ac68c51ae9140f21cff4f67050bb1b10d8f 2bb66a23b2335dfe8f621781bf658cc3a95195e90847c4e51d3dc50ac4c07195 3ca3502f9abfee7eae36110e3453408f13df1e38acd32bc7fa5d839f66439847 4ac845ac44cb18038106bcab763340f3663644c9a5aa425bdbcadfffd8822045 905ae81fb042422ebfdc077926f1cf9fa3a0406d74813769c38509f0c0999fe4 1aa001b729180317cfc613a1c411d3f4095ea05c8a37b6ca71bb744d9a13c9bd e696b93279ba2ebff2a7bb714d9ea19dfb3b7a698e9092cc4aae89125c517870 8e78c877c62be5a4212e673e9ff11f4ffa8ac7834b3e1fdc1781f53ee8e476c3 33c37b6efab6250e353038c4c5926fd43817f59a9a9c17885b59f5f9e5f75828 a1c5154d637f59a81f1fe0a56253c2effaf084313abcf196137c71d288c387c3 fef2fd1e7e666322f6182275886ff3d8fc4f251ba9a1237c2130844059d9ab4d 07c4836101df7bf9f06629de881ceb299f0fadb27e74b855cee3a1956d069592 b19d3b25f238adeebfb5e978fa91a326c799fdb49f4b5543dab7c7ca6f5a196e a5ff287ccb318a218ca89aa871a74ec4f2ca53952a29568a912fb45e0c2e764e 48e863668b8568a25655f703194404f63c5e103d9266c86c75ed08e4e1e64041 46a0a4536d26d6187fc8ca879573545fdde2a5d0db33e5c129bf9ef0c023463a 7ec534e610630db2abe0a1ee337b046c0df869b5c2f673d43249b40c5d3c20f8 6dafcea9af0c3f53a866e32bd49a271316ba4f8a2887264ecbab0734535de89d 9b71c7ab0de7fb4abeb9ed0f6097debf7db7a28a247e8e6099201941a049c5bb 045c0b6cb331eec8d4dc9c8d7e8a8711b95567f677aa3210fa5c72fff6138dd9 8a436563521fdd597a8549c057779b47329d39da01512b8113a710b274b57301 8be74ca85e77d4edfd02abedac2f1d2e8ecf2950de387fcdf10468587679adb3 ec7bfb12e78eb6c3fb994dfc8e1164fad92e608577fd303e5be4626f34c65108 d24709c4111e1a91bc8bebf5d954a8f8fadef910b774ced3c57281e17964ae2a a97de234a3db5706a91ce12c61099d59f0b91e5ab4441f5b3c9d1ee5df49b932 99f01d18537b0ed90579b0522f87fede2baa5bf78a88260407143e4efcb9a754 8c7ee965f4a22a94062802ec04dae7bf28ebad05d44ca6597474a1f28459fdbc b1cdc3b8e80fdc163cc8b95fc5a54a20d1729b61eee2bb6060a75a2327628bbd ebac324ef882af71d6e6de5e4fd2b529a4f4a7b681c1b0bffd77587dd56fbdbb 1d2a1e3560e4964c4c8e3035709035deca4dd50cdb9092a841d80b23e7256bbe 680dec3b422030a4aa4aaf474cf26f738637aa10c4f5c7d0478442bfc8590675 b9e086e94d96c110effb1b384caa1f19c930d31be74b515afa507ccee599d3d4 76ad30ddd392976e71088294d2bc44838d9260f0f8cee3d0b3231ff60e51578b 57321b6cc12282956cf8916383dff4d72ae6064b98acdcd18c2c70365cc9310d bf029b38f348e89707977159f21fa32e40a638d0587ba1df366ef26d1e8a8784 f4577efb4c14dab3fde85123972cd505b4ca59ec5e32d5d3314a2ed86bf0be69 c443e73696810eac6438fc44a6a5481b37cfcf0a099d0ab309399bd3cd0d9d32 3069412c1266863db9c9147ccc95126bfb99c4f4010a7b2bce710c18a5c66131 c23023da345a8b0c5071717c1588a56adca6bbf4e1e93f20af8ea32ef91f9152 ee749f1dc2f64c18167a13ada667c8db56a7f2fb7ca5af18784a8f025e06ef06 4acd8a6cde53a91e25438aa040e4ba23674c4c7780b9597e41788b66e194aaf5 d06bab1d4fd9a6e2869cbb9b5a9a596326d7117b4b3c9050fb06dbae25ca683f b737dd181231ca3b31f9c25ab9ab0917f67c6e3c18d2c7a6ca361909e8397a4c 84b88fa083ff6b10f1a914d856bee755ebfa4776fb092d0eb630566bdb460ed9 511fe07ab10c5e8933a056b609eb91da1acb500e87fedac202f708c1e721eb7b 204cee9b3fd1b525e4f40f4017bbd5a3cd053a7871bddf1da2c12d19fce44e36 9cbdf13ab4b4608966016bc3a24d2219aa515a8e96f444ccf4ddaeedc07d89e6 075f093dd34e0a4416e0773fc27d00a44b0cfc6ea28ebafb75a8750b560d90ee f00271af63dfc97ff460065e31b554eeab9f14696b59f8a6f6bf0e2e3cfa2d43 96fea9d5d1c760e3bdcce212e849efaaf52ce67e6b1016dd993516958f74bc16 75c5afb1d01198a3d49b98f15614174d32c92e38ec560d961944813779738a7d 575b97adfec512729f528625e4041b6251c7526a803ad42622c4dbd95c3a3037 beb638079d0ce0f11712e91151ce4b1d7baacf2fbd5547e263580fee378970ea 9d2f90073441b6f9fb9f969fc413ef425d37f0192ef1972a9ec2f98f19deb0e0 2a29fc25c745443fde57dc3437327b1cbc99336d26f1f90111695066860e3b3c 2383d06230d00f985bb113783571b03d660e1ccc5bc381a420d7e9c80f0ea66a b09ffcfca1de37d7d13737e8a3e321cc77ec3c5741ccf737685308cb22604181 d6703716c28b7ffe3db0ce62722360765d53bf4f1632ad04d37757bd2d8ac140 cb12d0da9c64e8bfe3a3dd33e5fd56497e3eae92f14d4a5afbe41cdb62b3cd25 ab267b8b00651442272d062da62ecbd73465945dc74d2a2e9a8966abcf16f298 902825f1a7f3535ec4bba7b355c41dccf3d932e77cfad9eb68cb9214b06c6d91 e21e7821af5b46308c58e40067303a1ba1606f27e0c8ba0b6d4d0166fd0cbc73 5790c615bad4a255ef23bf27f20e17115e361e98f6ae6f57014f7b1c97bad89e ac928922345a3d65924afcc5a751faace12cbcdf01f35d89cf38645bd5a8d011 546e24ca463f62d394dfe658b08fb98022b74df783a4fbdc89ed9877cd557a08 30c6898f4f23572d0e641d68eceb3e6624b4a2eb0d4d9db73665dfbabeabfef6 8dcd161d0a703317a9e12827ad6dbe8971cac6c34c69157254de09b5ad7f3866 ec6c7963a88ae15ad4bbf8e8e42683ffd3253f63b65fb4d5ebb1fe4662c27a01 bdc4d19034ba654065a48309601792c7c0b50ab80debc0d92119a366f359a16e d65b3be19e215a130dec73c19e41b42742e323fc24424cd20195da876a79ddc5 3497777d45ba38112f27276b7ee205cca356257e4b54bd55dba1a5cd15573259 cd6fdbff1b220b4c2549c6d4969a04a718277279a20da9a055d9914a598b400d 3c4e76bfcdf1c0db39c2229b0464788fdfb9d7ea3478d614f4b7bcfc4241e083 76f6 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMCSC10 %!PS-AdobeFont-1.1: CMCSC10 1.0 %%CreationDate: 1991 Aug 18 17:46:49 % 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 (CMCSC10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMCSC10 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 52 /four put dup 71 /G put dup 97 /a put dup 101 /e put dup 110 /n put dup 116 /t put readonly def /FontBBox{14 -250 1077 750}readonly def /UniqueXX 5000772 def currentdict end currentfile eexec 9b9c1569015f2c1d2bf560f4c0d52257bacee583a5c939393e012707b47e0c1f a47d284a1edc9d01a497d772bca8c543388e6dc0d1e2c4944740470e0914f65e fb0737b0851b2ba713a9a00b36d07da6bcb52920b9b59efe587734027a3c5e65 66aad332fe6fbcced1417802822a3b81d6187875263d6bbda04bbcf6e4870fee ad60f104bb3c5a766610dd11aea64a6b107b0b04439fa2888b8cc39232bb83f7 695aba81f0260cd5248b9e649cd800bcb325468c79ffacb9cd3037a112066957 7889d67fff57549064b985d67ede2fb03272083723541051ebe936eff01a4ab3 cd845d565dfdf25d9ddd2792db17f52f894bea484480f06c832140fdd6c3af0e fef0584c6b78b5e2bbb9a752f10581fd1c48cb498a822afb18cddebba34695b9 b418010368fdfb7bf758d50f3af03360b81c776325c33c9c81130b1e1be840cf 68c71ffd091dccc0df7b507fe8953dc3836af0da08ff9ff3e9cf7288d9eb8baf ffac546a0fd987ae8e0bcf7b759f4408e13524f478de5896d816cb0ad2904271 cbec82a5ca50f0598502b434ecd94531b4a65181b5b3afcb650904b15157737a a4386f1a7f1252caf2adbd5c8162bf3b065c01ca471d520c884ebbe1b29f9549 134e285dea2fe158c15a08a744cdda00bb6c62158262e24702803d9e1dc1d3a3 1383085631154b077fc20488ee3aa03f47ed2766644330b94133f2f9389b99b8 96d3707d1c5bb227fd3bbdf3a6ff572bf07164107c7a1c0710a5c7cfb67282f9 c238100fa138b75c553d7cbef17e2292a320d3d86a6210e6e3a1e590b10dac6e 177094d5dd163db623d7b344478752f6f3d7d5b3fa92e6bc72dc6fc343d2f946 9153e3d14c5a6d6b1d9ca52947b789cb4cf6196a02973aff0b097333f8d615c0 a1726ab7e31c378eab77150faa28cce535afe3ae5798402e0223ef39b44d49fe 094a5f9559023c9671b432de8ce26dea7d2df616c389b5b604ebe4b1f38e4e2b 8e6b79553f7817a000cdc8801e5cb4528888d30e36e69b3f43335222507c7025 42fc863e51f676506fbb896d091c0a67012884cd0dc5cbd9713871d4750cc1aa 409a21436b69fbd72947661b0f1c7c33109ab985b6151dfb352427a4e48d538a 7d8cae27d39b4380c16ad28fede82d7995c1f9a3f27e6e255be6485469731199 aa7db6a3bf41f432f3a9a6ba4559b33be3ef923895fbfadb2cbe8a5d02efab5e 035f2db9dcf89f320d59a166f1339f76fd94f6c817b9384823f620000e5fb292 08452670b44e4204a893b8c31f47695a16f4f8287094838d1470f8fb1f2d8727 06a6c4162b529437f1cbd002cabeb0a413bc228d53cb64a7c556b31832666454 4c14e23275abbaa16a500e734a4c5843d57ebdb0f61b7fed47471b3e8865c100 c166aae560fc1eefbff72a38510464c29023a2d0523fdd4cd32856ee050dfa5d c7938f355cf656c26b443df59d79ee6d185b2b4a90b0253700fb6bc6a5bfb3a5 01bd8824b15b4f181377129763f3c7a9ad006c52f64ae5779e935a515377ea7b c56916192455aa1ef86ab8765e257d59c863e74463d1675ce2c56966764faf51 9f188d866f234fb48c532e7a6774bc64c09bf321a18058acd5c8e7d855467ab2 1e153814c8abc249eb03940ef1502142c337a62aa78d976111580752a0e65025 4c49ebc8d8c1fbb2fbd72d4f48a63bb28aa7a229d2c8dd7103b724c4a5a08ccf f8212dd9b9e48e511dd5f21d3798e4eb3cf1a08ab0224b4bedebff5f4bbdafe6 f78d6a22754c07e1b7def12cb3494aaf59c37c9f72dbe75cd52e8a807bcef196 9e12c632f130710d7afd70ba22a115a107c19851f9db6af95ad156e38e2fec59 8f31f5f04d7fdb3a75b74c8ddf6f58db0df646a83254f1d1955bee92d04d6565 7d7b21f4f027aa378c8d8600089b76e0bb87c54856192e617ef2f74b2924db50 218526c52464283a58efbbb7d56b96b3a0325c67294a483c7dc8e3bb1618505f 68c0b38d95ab6c1d944e0f571f85f53cdc4c0ebe628a58f478e6b4c927995bd1 4bd63e252ecccabe6fc291745ca1d6406b84add1e61965e9d221f6531a81b511 6ec718fa7fdbf177d08f9e12b9b38df3a67ca050dd88b2488fca9bec1d49a572 554bc13047038d9d071e60373bb3c9e1d4d70309d17ef0f24b4f8c83cbcaa7e1 39ffeb93281beb470ddf6424c54f800e76bdd0690c92bace924c455f68e8acb7 55a3cc5af666c60306b924bd522859fa9f818aaeff333c240fae4032dcd11c1e a6ce54c9374904ea86e6f62f38082c8e94639cf227c1aeb2e83926de963b36f6 a6e5d64c97d1e7ca544199bafe0de5bb7b06a7dc82c0885f9f7ca70947222536 74ab451b021670bf42eb3b97980801aa44a51bd16cab8e3ecacddb719dacb45e 7158e8de05ef0a2c88dbbd6a79b6b26e5227ce94188079664607f8287085a2ab 1ef4bb2bcb81ee047662ae5e647fb9bbe35f03bd86621e07f335c3cf163cc393 d6f7da00ea97e9c09226f150daf34e255012e11b854eb649b11e890a360acb23 1d057ecb60c7e090c0ec52de7e507e327b084fe6abd1632c823a143b5766165b 37a13073d103893430f0b3e8b7179a2c3cc34500178c 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMR9 %!PS-AdobeFont-1.1: CMR9 1.0 %%CreationDate: 1991 Aug 20 16:39:59 % 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 (CMR9) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMR9 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 34 /quotedblright put dup 38 /ampersand put dup 44 /comma put dup 46 /period put dup 49 /one put dup 50 /two put dup 56 /eight put dup 57 /nine put dup 65 /A put dup 67 /C put dup 68 /D put dup 82 /R put dup 83 /S put dup 84 /T put dup 91 /bracketleft put dup 92 /quotedblleft put dup 93 /bracketright put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 106 /j put dup 107 /k put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 113 /q put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 119 /w put dup 120 /x put dup 121 /y put dup 122 /z put readonly def /FontBBox{-39 -250 1036 750}readonly def /UniqueXX 5000792 def currentdict end currentfile eexec 9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0 0b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3 79791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3 2ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8 b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d 823385fe55f3402d557fd3b448685bdd20eb05d5e7c2126132e33a59a7170609 dcf4871a5d023c9ef57d3362d9f2d7a440bb69bf653364105f16f4d0f03582f9 aced3d05cc76489b16e3fa8a446094d30038b06ecceda269f2eab9d19a99c7f9 39f9548f206c5a457a19270b2b82c43b091dfc5573468eaa3e7a4a32f8042891 d85e4b180fcbcb3091d2800e54c87d84ce9cad6869b5aabbbe47f40c68799893 d22b765295e1e69e33aa048b7ed98ba480ceca91f3ebf8ef85fe9a3976909626 b95ac5940d53f9b02215d84a44837ba25ed15cce0d504f1d335065594f3bc824 5405407591cccb11cfd4645da60d960c0b93f187b0cf7b105543c0b70f89af5d 264b6c026e3ae646acf145950202ec73282111e3e601cf2bcde22ce3edf6db23 516481420f26552ff4472d749811f27768150450d0d0ebe3c79f999e99b5c0f2 2eaebb12d97782b1bd91b2a1f62a76412548ad53c0dd411d4a08c0f071c2c218 63d9adb75a4621803ecb84c2bb235b620b658984b2d8e0c4637e2811bc8f0d04 6c8935afc70141e1b2d9c23bdb251d304b3378faf8928bd09686aa0340fb0cb1 dc48c996ef91530ff078666fad227a3589f50b605267212d3a65ebc1019a8eec 9a0739a00279471a01e1505c17658c10030fae32f274fdc8c8774b0d5406c384 a1d17068dcb0c2575c562fdc5a2176609bad9a2c255e426a4325a4fc3053c7b3 2f35f7bbc9aa50135f30223360fa2fbf019294b2e1d1405e078341097090ddba 1561f22f8738fe105c0e3b84532bed145d51428c9cb1807e655408807dc69161 1109a98af82680d6dccc987cb312835dec4ea0645f47a15b6707d654ae54846b 3d3301d61150fdea8ae2da33e79976812c7764050a3e86a2a819ffd3c64c38ec 16b2d0bec3922847fde375ffdd82f8f8bcdfa39c53068da393b35277ba7af682 9e48b1607f22eeefd7d0eea93ba1e2fb9b5ecc6c6fe1075db980999f0be7a10d 50f37e49f84a980c54ae6da8287c928b6f0f5aeb88bcee5a4b098f3ca23cd414 f97ef8cf3a7eebfed11a74fbb4840b6165351d06a2e1311b950b9e6f782d0b23 e3fc147109834a3485d4e784508162072b7ca774df7cf79e950d4f04205a3bc0 04d3b59098f4b5fd7a8c2f04ce486b4af452c2ef4e629df74dc9d40a5f331122 1d75ec55d3009db7b0663b646536437ef9f5e2127039e51c7316c4f40e925564 4d9887c5c576410a8809bfbd1be7f75f9364cb3657472b2b46bc66b9e5b7aa18 5299bc1c05ab5218fb2e1095ff9edaf680b2210065d000a4ce82489eb942da29 c5f9257df47aca42e5969bc8eb680eca82ebee40d47f164cf0066ad70e5387de a7cca992a6c68b7d2c6ce3edf457c2241a7dceebb4232b7e4fc31f2ffdc132c1 e1bdf12ef394597ec22b71d476f6679204eb2ae17d8d81cdb908c8045ccf0a68 9d387f45c7fb903ac91c0338a949687a84bcc0d246ea6c72a6a625c6dfec10fa b6ae6ca84addbc2395b5e344fe36e56e44407cc4ca1e7e9779013b7ead5e00c4 d95fd1ee28699b43297d85c956edf06df41005d44b29f64332a1cf03e0dc1035 00b71a26c58cd0c242f37572e8d7e57da8958688b4be26c9eb5611ca6a84cc05 fed811f79a4f392bf645a6644fb6555248620ea6dbdc32c2106bb3e15c96da10 c15cce4452254174da2e08db411e4130528ef4e8ddf7c0c3f855cd79b58f92e4 076a14ea3f90bc6b7905caf8599c8f11d2e56a2f0f7f22e104198da9e094edef 302f5b712864dd926fdb5cabb281259c335935920ebb2841d7ee8b2e040f482c 716a95bac5e66b28d4cc43ba4615e8d1509d29e0b5dbd0bcc2b151003a31abc4 20ca3d30ec36854b9338bf1b88e3aa0f92acffe655ff1855b454140b0f678c49 1627d31b4e573d630d3918ae5c9d6e0e734f26b9c7cf77b9e63bb8cdcb529ac7 ba2471e6d7434452ab1e6e0c464e02d8bd2b7f093c299483f5c68c56c6394144 c82f79d69b1e61c93a2cf56bc56ea7ea718fb36a75089c92bbb6817b07560341 cd3f5e1d91b95d11337df75de941a4e5566d786f0b1c978c8148886a1abe0714 1373f8938abb374d7c3919eb3203ac956468b7c32d8410cb5169d3dc62541112 64a6a51d6e99bd231c7acef4c6525944142865e47ac2612f5cc2fbb6df9d5c6a 21f1a2e818e97e980340f6c5ead17d0648a1176f397874ce4f57d441051b5867 1f40b6a3e245f9676d11d336244b40b69584764c8869e7312747c7ece2f370d0 0f56419db37c6a46480e346897d3c0ed4807bbf4174331dcd4ee1881f555e2d8 bcb5601857fd7fdb791a64f33c03b3cdb281aeff1c42d7cc2566082b9bb6a378 e730c30a826a62059f013b9f2832e7224734c9ed0eb7d79c43ceddd29e7f61d2 9a3f3c9bd0f73de0b7eeb6e5e81d3ab6c9a45f992b4e99d12453ba9df2d10d11 7b3ec33f6c0eb388ebf35790d4690836e56b817ef377df4dd9d1573ca81ffc61 0dd5b774759f022cca04eb071f50e797ff4d758fbb2b0e28295766350528cee7 a50367bb0b681a9eafc71a68786fd46a5b29de880e36120d7ccce38e7adaab91 5e090d37d72e55286c37a68b748412b757a05ac0faee2b7ea41809a7844712e2 7488125e5ba307593af14a63160e24249294f84c96f3b7b1fc29bad09ceff1aa 5ff99dce2112b184a6d5843c5b23d09d0ebe8478cf2ba16b8166e5585cd7cdfd cde49c7aba043c2e4d9f225985bf62ec6fd649cff6719f31d59b977e270458fd 29f79b429617e503a5ea80a67f5bbdacf88f48fa5f20adef7ec164fc96c0a14e f8fc02bbacc16154752e3dd90f47ffaae0f7924fc163ea3fcb3cd31aefbdf23d 188ca113194d999db9783cd2ee2743c55f0dc05e29d5b8ba4c5182c4997ae13c 16fb8a4960fe4a4ea296004ae208b43cd91f29cca43700108d0b89fc32891178 30c4c83d4e0af4056676c1ee45e84e48ac3e73d023204324f2442a30e9cf0260 a8889b6109ef33eed6812c8c123fe00b49808f3749be029b92ffa2646c8e8746 000ff337604ade822138e4c2386096512e39be4ebbfbcc6b84c61f255c193fa3 059fdab6bd9b9b0510a7de990b4e4393cfc8e6e621b860d0201fe3d41bc6bdf4 9355eab86a87e1ed59b326e76156726887e9a5cdd3f9ba775251b19fd96d199a 0af54e52db47ef43bec7762a277cc2db60312c6e7a84ca26a064a6e9d3fbecdf 4d5608ebff187be2f172930cb73776f8e42e6ed18106edd7578320c41fc500e7 f0775515c2f74d1005a071d64e732056731ee387ea5e1784ab7d412c3af8b26f 35296072789b05c67303f53a066b1d793b453d1b5f2f3c2b6c8cfb556b5bb92f 729db7a8eb14d550b2f51667f3f168eb729b63f832b26289ff3bac07e57e2372 daeb7c855628d6670b609dd5ac9af3a4627e4fbaa22ed22da8ad489af17fc105 38e69428444f894d30da34141ea611971d83a3aa550914949709155db1fc8eca d28f2350c5f0206dc28ba7f14938d0a81cf938de75013ca5aa5924e6c027e27e d79906b86093a277a3228a24d0fb1d40302b1d8b2f27368078bb0bfdc2fa2d74 b5970b2b2bba45ecdd1ceec69618cd68e7367208c5c33b4f0c41b809e6e366e1 5486b99b64e4093dbcf8572d31f48384f40381d6a0c9dd74299fd69dae5ef267 d0378c2e85e2116e2ed1dfd4b96e62d225fbc08606f4e9977b17cf39adc92a49 c73e120a29cd84fb211921de1de2e706f7f2d18d17091f327d9bafbb226d531e ab1d2799e96dad28bb7be92378ab8c586da3a9761e1fcd4c8776308d50046c15 47898b11a8b9b29d1324c333f43682fb6710b009c46cd9b896c19536b008593e 528e0147692cb4ff2958d0f97c06049d28962b47cb0b377ae86376882960eb59 cc146d14c9c49b5d1a9531958e3158ff66e469e402cdf390ff1cf550b3980258 62dfbad851144cc67c7a88ce312f9704594207dc7e07270d55f3e5a0757e7a16 1e094a9ccab053975bd1c80d1a9146efb6b45ceabc76e12e164cca7b335dd8c8 bb79f2981ca0b6db979d9e23d659dbb2d18ef1115af43538f532532b86d17e9a a50a6b33beffe6340d9252dc944ff0ad1c4e75880a1f826d76417a91ce95e0eb d0fb125136956929a9721c275a3effb1c1d4c95824635e119d5d9ecd86dc3b39 01b13aa455c2fa7f69e48c3667fe5c9d1bf275c24117ebf18f7d0a3af4b0985f 052b2ac1b12486efba3bad34e840f1122a6811549c1c318600b4ac4878ae9469 514d41bfd6b568cab7e2477069b1596a7d26ece4d1c7e49ebc2e099c57dd2225 b88a6e3d7cec1fd45db65ac10843b660b5eeb90dab01108686a8e4a082e0a16c 0788ac900706e8017800df5ec9f4ec3876603985d95922b1d47a2db32a19ad18 69f878e315fcb449902112e1c116b67358fdd644ec06d240dedabf9c5400cb0f 4ed9980a6860f0b8f36bfd61f1ed3c4a02bfec9ad4a87a706ea0bb6c1cebf1c6 98bf9019ee30496059f49d02e303d0cb07aefea2f7d5970ac807a72bb9d6d99a 656831269bc895c68e6622ce5f020bcbc4f5a20cde0afc69646cfe31dc89f214 d2d2c8b83c1e4b7595cb6442104b9593ff3fbfd171683eef56e98e9bd5b72994 76375b2a9853bfeeafc9ea23745c1f11791a80fe3cd2b6daf256d867a4904b06 f940d572808880b70bddd365cdd893c8e22c67ea147a26fadb78f6f8fd8d7e3f d18aaec83323fed245cfb95dc965c04149057256c9fd280410924b8c83a97160 f5e0ff230bb9703c61ad9821f664ad37c2254ed4d6aa1493a3e566685712afa1 0989bc3abb5e921377b25d0360790826878cf03271f32848a0fb997a7e64c297 c1b07d23f199f5847280784029884892c9f3f8ec5cd448ed6fc0f6ebfef60a07 4edd6d374f2016308380dd446781afa5ea8d77b867fd9e45119d130cecd4eca3 5f0cba16f94efbd649c6db8ccd8a611b466f61fbd503ad09c3fd04903cfc7a17 78beaab35dd2316305c616015154089f4f03756c04dfc4565594bc58d3812a0b 795f4a9f62fff8886c4d01787a4c6b0a2bb62debd7ba68110f232a5616047889 52349e9648ade864bfb08407ce190ffc49a4f3ebe0436501e254e825631e7a00 facd6ab0c79c96a9ea1b18a459dcc96eaa0283724089563bb75ddb0403250b30 68a2b1ffea4f8380b935340ace04ca7de192e5de68f52f4cac683c2f563ee12a 032c0913c4fb2b86eca7ba7c16581d59893ea3e324834eb431793d4da85c07bb e2b8f4d97db70030d807dc1a4645a0d4bc6076a4b1cfed2f5371eb7e512d9de0 522703436e93d4d5b290648e345b60b49437821eb5bb09f50fab55732ee4db61 ce6b2154808f6329506cca617c71f59bc608eaf276099caad314c6b1882f38c4 d91e4bc0549fdc2a371b02d1d509a2497b010e585d93df379aa49ccb98823a46 62dc862fc77abc78b8443688b62610e3e707726f543ef88881aee7d97ece4048 67081220e9ce97b182d3383ea6da409d0ac9ede437db8d093be5f53109acac2f bfd8bfa84e400085de20e31568d0b6c39ea4fe52e2bcc879a0933c821b33b26e 9ab8af0c2dc8bf378f379cb08e95065af6e46c1e4daa333488484c673fd4dc9d bc7e2f36096d7df09ca9090c31c69bd6dcfd7b4b36daf9eac08c81c5e2011559 09c97d81f536e129bdd6bc5435d705a8fb7d9162b0da245958312dab966f7d85 8ac9b7be123fac9463d324c82ebd5fbac98c0f548e1ed9313c761f855d2bdcb3 1655653296490fff9d49ca29bb67592a9379125f05ca11f1ee9b7ba0f99ba5bb 290de1c2b2b1d7e28c087e66dc9f557505a1744b8b0ad934721049d8e04e69c4 f6fb26970f7003de101fea4d0a0f119bb7dbb9b4f72ae118a266dfcb318689e5 4082fd00f890c7eaec0c3009b9fb9876ad1791910ad87ba64f68bc37b5131d76 88fb6b10355de13c7f53586ee3abfdc3ec0f970f97d90c3e72f71a5142c07af5 71872d4adefbbb0eec766e833fe0e5319b3810e71c2813d26d598aaaf9adfc07 60e073ae12a37f9d8984b98ce3f411e01c18ef8d0db8bfca5c7ea2dd64753503 2cd57a5205776ad83906a9d3c011fdbc84d99d1bee174b8c4a49a2850d13eb8c 97ab50536ff60084d9bd108a376e2c6e745b596acddd2e92c758a4bf9dfd1682 86208c36371b625c8debbdb82315994c92dd6a338fdae40462c5811a174cac74 e19039b58a0da12148fb100fe4778eb5c42f11294471ca8112e912fae8141834 9d897bea34430d375e77dac80dc3b63ac3f73d8737ddc9efd2b9e0aee22c1fe4 c52b5bf9f844f81cbc1825a952562fe9d076933d85af405a5b1a428863b71784 89de8ef8a31d9848d3cedcfe7076221b78705e32cc68c86a84c343e2d5f3bec8 427767954a3f63d7c3beeabc6f4547ba5f38b9d5b526e00b65db366d0ddf9d44 f4a836d8762a307b5cfaf79b2996b47b74a0d88a1a293dae44e3f13552bfd104 05febceff54ca5836f919dfe9460b4cceb1d3be8f3c8c6989faea7c9fd2c855f 2baba1f503246ea22c3dfec7bd81a758eba20f1601c0121793b48fb7895fd2ab fd2896fd91d914c80644a8199428480c895c62f1fc5bdc049f7bdcae5fea1a08 64189847a0cfc75028b7b8df395e4836be4fe4364bf284955e348466e1cca870 a2ee4c25d1205e6cdc513cb374307cc4a78cb47f30126495166e3b53a5097a60 70227375eb22ecc96e15565b551dd318b48714c3c9bb5c4e639b43c84eaaf7d6 25d8db47833a22f59a412ca0c12359e16a219afbc57d74eccd8322eb0662a627 48dd92c11bcef2482abf9866740b147d5154bf0fcb8baf27a0c7cb076e43b921 6df60adb57476507717f35805dd4355ef6706d823e13d925bf6f938b9243a0d8 d41b77550730a6604d1c3a0419248268467c5d2d638384e60426cd12691b58a8 efd8fdbc764fb0ba72d0f65b68068b849df8c663c2f2235e39a9cc82e8de00b5 2e5d0a2958d675f4f67d2aa20c50f36686061600ad9e1a063458fbb5d30e97d4 3d61ef8f897a192de5c49aca42d17798d6779dab3cfb385878964d34e18527ee e63e4e67b60a62a63d273ad779b29ca4fcbf10d7bf3ae3ede48e7f02d885021d 4388a866da5a0c849ce290174e952c358e3c00494e1e23c70e4800f52410b5dc 9121448f1dfd873f623b95d5bf7b11aca37437c0cf120ff03fbd4618d7d21154 6f56ca6ea71dfdc98029a0e2d3ea91b963364524c8e339dad53a104d3bad1b28 688fe9a7c31e70ceccfad121fd4ea20418227c5343d191e4da794b501f1b9d39 2e9f9321388dfd382baf510c76a389e062f82e5b4f45a039077c24c60bc3d5a9 11907c2a306fdb100e9d9f5f9f545b802a217b8dc8c1345243a9ba1244987cf0 5631cee7ce9d8183214a4b46f513d6346230a634b15ede7bc07165c0899aaede a7cfbf0eb05a0a5338e3413959a27f533fa300bea7c8a7bc1d2eb56fbcd63f2d ed64a51775f0cfec01d15538cca1525f46a80f204e5f7e50d337e3756899b245 20fed3eb32faa40260b75af169f4a8d4ec8b2e7c7c9f999cf52a9607b316c8df 39f8d6187c08c18c6374ad67a7a6ad8606b03a5c43f277c33fc45e510f5e858a 26ce4947094d563e72d961ed770fc4c9861a614dad7cdead8a42654439bacc74 e92bdca5c3b517c016c9fd07de9410b9ea13e1746c385d86be2134e09a9dc440 3749da6868f1ea76319bbad23c5165b2f9d545c43bc558f071bde1614abd22aa 4f81f5607808cf9d336a4fea5b57d471f4ced1b1aaba170e29c2f6a9ba1a894a 0be65964c8b7a69cca5afd7421617d0a135e84e3b46ee8cfb4b59107fa502a0b f9c66d8a773aaf894d61b3467c910e2eda2902bf39c1fa3845048e88d17ea3fd 996edc29f55a81386041182e4c2633f7754ac962044ef2d6d1fc3e83e3cd8aba 937fbe7e14ab21f3330f41d891a8aa9d37307d324d8a75658e745ec86d72971e ade9815bd4c847455b5b389d42ff6c7c8be8c3466093351fb40ebc0ab184c93b fb74a5dd8596ae1923960c6cb4e87674d1d560865777f6074e08d0c1d6ad1ae5 4e824820f8d436a2338b61fdcad8b3bbf6e2173adf92bb3e7c7d98aba25e98ee 68ff27d0ccfb2c55d0edd67f1b60a5cf9e08cf3d3e4f1c43cd78d328a889b9ba 4efc03874d4c04fb2c2ef1cab3c40f5f55d2f3064efcd90028e09254fb579d7d 6d27b603641bda7fdc336a84b73c62ecb70e23410c4699e839681a774451b39b ec623eb490b4999a419b3ec2ae1990626cad2e042495b7554ac12b40424a27c2 9290dbfa3c32c6df09c8d57309c5c1b321aab8a18dd5554e24fc9174e61b64c8 f6e63059d979dd7bd0dc0fd2460688719dac5c224d9e3ff8c6d9e829a358790c 5c24be9a7d084bd2b836fc6d2cd21a7f7c2849ad671416bdc4023999a465fbb6 019be4c27c5ea8377deea9214b45d3a4f428ecc00be8cc4a44f23f24bb6dac96 7b2e7c5b083cbecb762792ea67e8b2f71ef37d2d670fc7e4552d4e675508d50e 0d98def2989078ffac7a96ef1f4e86a364849978d9d97c3713bbfe07673f08b7 0d1dbce88ad8e524243824ee2320e19eaf2cf6c08f7a7190ad7e572c9386e247 1a49dc1b3200f03c045bb1a81614a75f5d4402e973c7243e28af386699410c29 e99be807029df5bfab11f970b4168b3811dc05836ba3796754c6e3b5302c260a 49243d879959b381e53cd531cd74f13fe7b8321173a28da5954b70a568da951b c7d4cec889f96ea94de30382e28303ff88d8311e05c77cdd24c8b0c0d4e7d9ac 15e340d0da658f18ca1535c8337fc32ea1e377b1d3355254f68ace069ac755a7 d78c3462d952636ce4a7d654c3817f18ed8a7ef5e8eacf1ecc1926d4560827fa eea17215c87d2318950f7d03327467bf1b43d7b237bbab137a5a4ea7cdfaecf7 3cffbfdf08dfc0aeda84a26dcb3da815470b6833678fd097f769699a7476fdfc dd165958abac92d7477b5c45bd450501d8d475af5aa364dded7ad47f43067346 646aea496f3bb5dfbaba2a87c27f19339398162c7ce873dfd4bc05c673312343 06be01038529757a67bfe4a720025414c085a2e36c930684ef5f3d21b9194c9f d0fe041907492237ec57de43562c77ed5f457a1b176777014107119c0b357b3f d8af1e0a645afebb66a2601145a53caaff6722b1cc36a06a60cf974f819b50a8 4e6fae96741686c80554ece19fd54a18d7346b061dae4e9eec1b810c9c572c92 506a6d666cc6de211e1a627e616c1ee2cf914b8635cf4100eb9392412f8cc96f 3f7aaf77232c0b5b70f84add451a13883bb9d27a264b215bf4682d4fc6c73093 cdc5ddb0a8f88ebc1744e8a69913a861fc9089ca7c40244f390cbf0885eafd8b 3d7daf6f66fe1d09d1050a15ad45a93ac18c5def76ad33dd6e3b586c0acc65af 285e27dd23895b3de008572bf3598ac539176cf490eb1133bd5e803f6e77fad3 6b696e955b442b982747797ff0a1d7137d3e0f5778bf5ea0da7b8b83edeaaa0f f2ef0cdca9350291f74dba83f0f548d86dc1507e9119a0aa13f4ce55be4b3ec2 6228acaba65260091517fcc6ca95bac05bee0ca12cc885349a2d5439f8dd760c 1a787bfcb7e1c2093507f946db9ea677776537e2785a78d48a9954c5e8eea001 245a748f0cbe2df592555f02bb804ef62fb45371d451714fd0926481b1437b7e ef56240f22b4e4d8593b72ca1c878762297fbc6e01a86e2d1ab5a82b693b2b7a 8e724dc2ba9b11b1ec1087ad0f9d84ed3b7f04090361947b7af884a487016bdb 2aa856e02ec9094c463f8f796525867c10dbee72a4042010ef58b965a1e7b86f 20fe1d7e0610b6a02ec5c7bdf2ea2ab1ee8134c6f07deb3644965d4799840f79 91ceb7b8d8568e7be21590dbef006587c66053779100cb6c48037bbe31f31b0f 772f13d342d8aed000a4e5df9a59dc745a8f8f59daedf9546ab345bc3ef1e117 82e0414a02366622540aebea9bbc623ee1ecad23246efb9be9881fc2b8abf30b 62ec313ce3ee5dc06f84b322ddbd69d4c722caa6d318a115cfad0a8ff7de1776 936cd1f8c0ca4708d07bb9c1c733128099a499274a1cdae0e6740225ba62691f 60033c98c24153134fc1c448aba0504f9e053bb7a428d5207e7e4c44a7166966 1860734a19edf948324332bc691559c3cef2f92c26b8fb57dac32b8f5379e3ff 99a9f8a70b0350b84167dae6d67fa766bd98796fa26bf006488b878b37fbc58c 47e2210bbd8b92b25f942a5f37862f0a852321764650fae1a82f157f44dcfc1c 7adfe7611489a5febd74965b0e73ba8612978fc33d6ceb4bc8a3bc3c07599faa 2468a3ab9fa111a14094cff763fada2098fcec6fc868d34f81cceedae935d33a 2765963e8f84cd88da3b5c592f946430b5175da94ed89512fb9e91eaae6ad11f 6ba8135b33550e3105740830d09a51f2368af33a42da8bb89f0984fd2b75eac7 ada87561d4b40a2f52b38175e86d5c63f991be843c33dd5a4d961e2d6656c2b5 8488c5e24f7d28c5c7f310c90aa3b1834fa80633139acafdc3ab6506c40184c2 0424d04ef902010941b02c03e4cf3e46fb9ccfe3061e524aa620531262a658d2 01bd78f06ec9b316101e1a92635dc8cd169f4a95ae12ea18e610936e1759aa7b c31967550288f7522002ac22d1d2ae71e39d83006d0fff6bd2a210fdab58961b 26e4b5ae90862cbf07213181829aa57971fedfbfd29e4410b771b896724453f4 356acbc915c787cae1f58e04c101533ac58be77a62a5a66c0f5d1f7e0a6b575b 69bf598386f4dd8dc512603e858f14e63cdc36476c0a0110134066c2708a9ff5 225705eca430fbddc02071fcc6c16a9df516a5bdc97c403afc1bcbb7e38fbb66 02f45393078b7f42988372267d6f29363fb968b8ff86cf0f1cb3e9c999a9517a 2afddb8f7298bb2ee8823632c691bbc6e9632f74df93393805fe849dd2555720 ca309476eb5f502e922d6c5d27523513be2bc092712408600d347e78a1857f3e 9a639657dbb062a9ebd126eced4db20b5a017b79f5659431185fc94cbd05c505 00c178c3c868fa216af95b2d7a9385f0df752fbd5200f55d4276a9fdf4e94d33 0231194628d5fb854c465296353474c29ed8d7f7fc1cde9867ee0901b74e2938 11439646f7165de84cd71ab931b0e0b3510d3ac2b9aaf99c1b12c79128bc0f95 7f769560baa8d5cc748f13fa56f47acd5ae214832e69188c1cd929e846cd11ef 047e44c7265f81dde32fcad82475996cb50ffcd2cd40e865f773ba228c 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMBX9 %!PS-AdobeFont-1.1: CMBX9 1.0 %%CreationDate: 1991 Aug 20 16:36:25 % 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 (CMBX9) readonly def /FamilyName (Computer Modern) readonly def /Weight (Bold) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMBX9 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 65 /A put dup 97 /a put dup 98 /b put dup 99 /c put dup 114 /r put dup 115 /s put dup 116 /t put readonly def /FontBBox{-58 -250 1195 750}readonly def /UniqueXX 5000767 def currentdict end currentfile eexec 9b9c1569015f2c1d2bf560f4c0d52257bacdd6500abda5ed9835f6a016cfc8f0 0b6c052ed76a87856b50f4d80dfaeb508c97f8281f3f88b17e4d3b90c0f65ec3 79791aacdc162a66cbbc5be2f53aad8de72dd113b55a022fbfee658cb95f5bb3 2ba0357b5e050fddf264a07470bef1c52119b6fbd5c77ebed964ac5a2bbec9d8 b3e48ae5bb003a63d545774b922b9d5ff6b0066ece43645a131879b032137d6d 823385fe55f3402d557fd3b4486be79011d1f5bfae5c1f476ee6f05eb1d2caeb 269958b194521197b312fcced4867f3c8fbd030bd715d8ffda1dcd454b174e7a 1a97b59fe770e67702519d9d9b23d61ac08424d55fd4dda249cff0b56b9f3aff e9d0de215c02a52a6bc77155ff6b8cba5cd6646ba331254ac58ace650a967d3b 272331b87b6df06d5ab9d80fabe9f9ceac10139b61244814dd9fc295ed42d1b5 cd11c2e4beab318b20f51ca2c2930657e5343ab7bcf0e8870a0d12de4ffacb6c b3fdbdda481c2fcb84408d3d902e9a32070b2af6cd9317a33a42a43857c114b3 f4c3005cef9401f1c2bad3e69150d7145b79f95c9cfaf7a335b277e6435ab374 f6a3e78e124ac1e4615511f743ad65c5d778403a840310ac4902985f107fd33c 0049623e4c496cd353d2ae2a4804110c6a420a38ece5d5b235c5e35886a0987d 284e6110527b653b1b2c68c636ef423536180acadb954843eff4d9a82568a713 b682c574e30f793f093aef755c650e0e7175c2e3138695212d9fea7bd4b5805c a90985b134c6bc15a19afae0bfb3066363ca3e2568c2ac4559a69fc32feb443b 61243b4508b7524d974636855c83c8149d489b68fe18bd497116a953431251df bd09fa1d2ef66c85b997ab2f6b7c6d9d096cb43931379ff9782fa00c5f3cbd06 04265d16891ffc4f66e4a0307765d384c32aa83a4e4f89ac79ef8e76eed08450 e3466fbaf54f85324f0a4f04bd00ccc22d32e4132c51749bea28f112c2051857 423ea203df902ae80224d75efeb59094bdc5f4b6784ebeb01c38c34b695e681e 57a93ae18b657d13770300bde28833c732010ded4c8e79078d17acc3d4b521b1 6f2cac338c4f72e2e07c667227ef142d0273e5b501f24b02e9cad75fe9d18741 b36bbb29c9cd3d46964e00d8ba318912e69a6aa7ccf823c12a9f899264b172dc 4ba703f409dee59ff373e9e7ff2f5f56f29671216ef109b85314e1da17c9679c 2d7ffa3eada3f8b67f92d6dedf04502734e41017bed6852784631ee0b5ec8cff 984214283e540703e33b9c25a43b725e30fc70bd285571a564662d699adc5b3a a741da6ae9e90a0922bf02f690053fe14145e7bdb56a89c7be0563d321d2bb2c 9b50a920873013ba1a0e574d539a7b1d2e1b67492d71319bb807c341bb31c5e0 4d3a319385cc787860ce34c911e3a9ded3a059b8906c17cea75f0e4f2a094e41 35690d97ea76e79765eb9940bdda1791c9e99fb640269b0c2f380c63aeee568c 2e539e180af7d301c5aa085330bda242420a5fe528a9e6985789cd49d807f966 9b72145c59809c2a4495c470b7007d1751a45651033edddb55b484cad6254f1c 62a6c7e4ff123d6bc5683446d1d22cb4d95e94e8d51c90f8b03245c4471f2796 738ef5bc71c155a02d8f22fb937ad5e0859fba27465ba0bd41e06844010f6520 dfcbbe65acebf937f7099d1f5e62e666ed88886f674cf7d3bdd829db734e1351 c5d0dbae95c05d882faa8c6a290bef91d4defebccf65591e5bc4d79edfbd8f25 2261ce5f5b80a3d5b05dd71dd25011d2641c32e793dd1384483a3e297531e05a 5b7d7909b40b8a7b0a10fd9066c696df7cfdc39556da7fe10ca91652f048c399 945acee3e3453bf7ead5b3af2042175b239496f80d501f1b74a0a14cdbee6a87 4399b170911ed99b0a0b37d5c8e6688e78486976affcc8e74bfe52782f3fe838 0de0be783e217274095a39cd23999ff209da182ee2a846ba6843ef561135237f 34205db4e4bfc08f357f206aaa37175bd03c30c3dbb7f955109d225a93b4ae47 88ceede6a57e38371db28e19a163556d4afa3a0d5cdc029984dec1e4be531aec bcb6ffc0985a0e3491b438b1603c0e63b49ffd9e0c1bb1a7a6a5e1640baa2297 9fd7c136b1cba76e92be354c4df0682496c15bbdfa0296c99a18ba60a3aa3ad9 701071fe4990e15a230a23d456724d59966096c9b96c0e90e660157789c04675 314f2f098963e8f78aa888db00167a021af4a4b7243c1104b3a2480df077ecc5 7d41a49fa79d927709c777008adb58f5ed959f25ab6e125a2fb15af35eff32ad 42cc36ea6428cbcb074eb0d6c09de44f5dcd4baf74a680c3d1f26231bd956b20 385d23b2c68a1619fe2441af6eabbf203c339af755063771d42b4c9fcfdf1859 84b013ce91b074112a866b5a42a31a50a163940470d04cdd3239c3145e6953c4 a023ff958542a63cb6494edf4e8827113fd1835608aeda65faf500450eebd22f 19ec5c3032dd2161b6d92551d07fc4f104ad2a85e455da9032b156adf5bf74ee cb875b4d2e9e93400a24c4908539d8fccc0c2488a6f1fd9f38293d24d9c5d0bc 64f0d077fc97496444436cc5a53e7e396c16aeee0ed40a0652fbd7f3759904e0 6e80612d8cb804f9a72a3a76641173415dc07fc79bf8ced1eea521e0a1adeacc 939906f1a234e36c526e75261273c5b3ccac65480f8dfa9c35b8a6232f7ccdfb 073a8e6b113ad610c0419e9a57b5528ad42e2b578377fa4effbf855d553b7b2f f7cff7ebcb05925f8150930c42355e5124b8a8e20ebd0bdd2815e9966f03d143 5117c5a138e8287e1e2e5c07af239d2ed22d9913bc5d8e69af710d5612cec7fd 9c 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMTI10 %!PS-AdobeFont-1.1: CMTI10 1.00B %%CreationDate: 1992 Feb 19 19:56:16 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00B) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMTI10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.04 def /isFixedPitch false def end readonly def /FontName /CMTI10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 12 /fi put dup 39 /quoteright put dup 44 /comma put dup 45 /hyphen put dup 47 /slash put dup 48 /zero put dup 49 /one put dup 52 /four put dup 53 /five put dup 58 /colon put dup 65 /A put dup 66 /B put dup 67 /C put dup 68 /D put dup 69 /E put dup 70 /F put dup 71 /G put dup 72 /H put dup 73 /I put dup 77 /M put dup 78 /N put dup 79 /O put dup 80 /P put dup 82 /R put dup 83 /S put dup 84 /T put dup 85 /U put dup 86 /V put dup 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 121 /y put readonly def /FontBBox{-163 -250 1146 969}readonly def /UniqueXX 5000828 def currentdict end currentfile eexec 8053514d28ec28da1630165fab262882d3ffd20326947b1065649b533eb5e9e3 a88a87fe987918a687950b26f647d6e08bf14d983ed1d4a8ca1e2da8d985f944 2eb916f5b6ed0697ac7c33e1e36a3bf460d34ce45f1631871097cb04f18e3889 4cf4ac1538eb19481311d24fe3be7beaa4a3730e8b4831fe59d6d9ce2e46116b 629c7ba2f9ce3ecba2f43bc162a5a077ca1b2882a42afdcec3f4b75b5d63e0bc 8e5dc95257766d8ea467ad9cbaf47be60f797580cced6884b3a68f70c91f4fdf 80fd00ed9139e7f480dc3a76af72ad9b434187730bdfaefe4cbfe5c7edcaaf24 9204fd703011932e5a3c27be468b7dab69daa18dbbb6335ab8ddfdc607961c7c 02582763fa069d43563ba17704029945cf42fcb19cf78c51df0ec4d851086d43 c1ab38e865ef36865fff3a08b01cbcb070ba4893f7482dc7819ad03d337e520e 7d8cd83bb8ac7aff4df36751f4f12aaaea2b6d7260c09a26e987c904003e0723 7dbcc4a8e4e85cd3259f40d3caf55c742cbb40ad0db1044c20a4f122a63f7b81 1d945bfa69662189ce4d089464d2ead9f6ed60b581b04114d5d45e97be27a576 35154e9b8464f2a0df18da855eb51b8f64d3054b0b2e84621f025a0776d16fed b988a43d2d64c32768dd106b9f541ae8e68ac0bb7399e16f4d4ba074b2152d0a 4e9b5bfc21bfa0d531e28165e518ffc054dd4ed0d74eca079d20e79670419f92 e03bcbfeecf3554d661596f6f29e12170804d15a250d917ffe7a8b6e8fa53047 1ed97ba56481589a65ca13619129f1e26affe6c22f0c38540f8ce37efb6e9e9b 60b51a5a9cb4454fd7c7f92f2f9437159687ab590f35b946a54491a7739c9269 e0f1fb48b129811c82edb3171cbd5105fe65906974db8a7da92f4f43dc7f6b36 6981146d86d23613a0b38d9d6191db9fea0172e982cb1cc50e382f69da1b377c 1be9407f88a2a761b56f398467a057f35d18c01cc377e006182c891ec80272e2 2e3a5c7123cd27eccdc87392a9fdf63bb40f02b7649cfc53ef933c6518744cb8 9cbbd437830ef5b1d58b00b67bbcf4426dc1e6ef583b0b4ad3aebd741e3ff0f7 29ae271f032019b1e7268043fd215be590f9cf24da14a90f1683afcba8006cef 5d5632c2481fbc1bd8224e8952debb7c4596a237e5505ac143180956ca1f603e ec70cdb4a33e1c4ca174436a38b06fd9d2b9196f02114b77a9a5f66595727faa ba323668573ae328f1f84e5299e9eebaedb380024f83e0ba39519bdaffd36eba d88c26ffd8ad02b0f3b11cece842d5a02973232999932846d95b6eb507bb39c3 d2bfe42904065c637c3f27e8bfd224a50d1d6adb4fe4addc41cba8253c3ae97e fa1dc8abb62ba4ab86b7a4ff9a810fb0ecbc71c06e9089fc42a864d6f5aad7e2 276183beedef909cd4a4fa2c7268cd8725bda0bf1895a671dff05e8a76de8004 cce04fd871006ccfebd0e08e0541af85c96a5db4018c92b440a66ea0c4d8d0fc a5271ff144c6a43d2f334f7c0f9ea0fda591438ba271a63dad588cd801bf73ad 97b87815345f3b60dc4701dd38eeae3c214117eb03b82f1d51fb326f67ca490c fcc6dec7699beb08e736ad121a5e2aec58aee88968ac9b2152ab596bc92be63e 6c4f27be826097585c9a9144c427139e7ac39ca65cacf329680829ce3d808f90 ac7d7c0a37897cfba543a3dda82a2e30698c9bcecb6f7ba29904279bd9fe2192 aeb0c24eab18926ae52ab93305e24b502403ce844e0d3037ca17634f0a420358 54389b4f7c71b07e4ca2bed797b549098746d00c1f35544dc3a50f4f27386a16 0e93b9bd9f7a072f0069bfd149b3529bb5f4434c37b4e0658f37208ebbc15092 8cca55dbfda54d482d1292364549e7a29852aaf56f033aaadfd612af246c417a ad856a218ef2424f7fb55f19a142b2aa2c357db927b0de011f7dee523b03e64d 6be41a63b6bdaf7979ca8f481d7fbfa5d555df5560207854193a4388b8cd8cd6 094e7650efa1e8e7784f2daf3914728a475e1d749198383cd73a1cc9af5de2ed 1df67688bcc41762d79bb6955a7aacfbebabbd1e1f03e44b2f8e003935fd3f22 a8e44aa85ccb8c1053e0f57683e1857efb324dab4c73e0479b8f76b4aa14ff08 e24ae748b44f4b8283cd744548a45d9a41675b8f145aeb5429b33b984c1d0cb1 f1c032a9a2bcfce9813c803a6ae8d3beeff0b85596b36e89bbcce6a774af54e3 b7e35304cc65c372d2c2560902c3644017ed15559bb4d1d49ee60dc84db8ce14 2b31db2df69036dcd326673fc4e7a5695fb1d55217522d76740ce2de228a5aad 9676ba544b4824902c11d9991fd38619d6114175d37c62a7938e3f1104207f68 bfdfb4f943ca5ada5dd5b85944f2216964260d59073ee77cc265d268bf50aad6 449cca32ed07146be020e3b2c62df1f07b22c1eea6c3658a8cb95867ce604bfd e93cd4a802f96b409513a30a50014356d02cc0510555788324cc08b0a3b4cb40 8d4d08ccb5819ce37eca4cd6ec495973b90ccc36c081d83d771fe9976c2bb709 5f0e17b6f072939f35cb5795ff362ab89486a23f577610a3536a02b0868dc21e dc1a14d583b56c38556e697573f6e8f024cd785e4a058a6bb9115492cb80af35 ffab1eec28e9a0b9bcf26c60654cc3ebc3c33de6760d2d02b834ea5795280322 8be1a69d99c963d98ec2d0a889b820396a7c701c8253a7e40857723145e61706 a6643a791c9ae9fde0fb8d503b4a940a1e976888e0921b7b4f6b8e6a9b6a68ac 46aa8b44c264af2f8c6b7f9117aff6a1ef418c4a5f6a3892be3ad02443639b5c 63be3ef2fa910774676d87fc549222fc2e06e91c6568d9929470ae4fe5c71370 6b19fa97246ed546ace3c2376f6fba56d97bf7d4f99a917a06131112517b38d3 501e4b699f0181495a8da0362d9426a256d06e65f6bf728c403a6418ec84990b ed673119220a07706f8879f04136651681af8103bf43cabf0d23d5ef61974f89 eddcb04c038cb6d89dd5f9a6982189f3e58ad5cd62f9b3591793d05be71b0450 5664adc8957a5aba2234fa8e936c2d717ff0e571c0f5b4bd9c865fa779392305 22ff323f0ffab110ab1464616c24c84a3bde116b3d9d0ad6cd995ee8923f9bfb 3954e3cadf57204e8fb509efa7a581266631fb79ff7f7b3625c324ec58780eb8 c156afedf1d51e4be08f56e02a704fa32a3e881396011d02fd4187548c9afa20 dabbaae8f936df363b72f95c6685aef984c332cae066697c12a1d700dab39b4d a83b038f1cc78d399f5a7184359fe6eab2005e9d4dc24218e0bb0838758e61d7 76922da838a211449f18c94b79378cb410378f1b550a0ae128f644ee6b0143f1 2683f8a13d9e50e0df1dcec92468caba1a848a4810dd3fa8f211bc8ff6d40275 2acfa25e14210adb2bd7de718a71e902380f15412617b0d45bb9e2cc2e40c76a 7666599b5d1c07a044937c1530b0e0cf71f1e09cbbc7446eb5e13eda331ade20 c0583fda9a5b78e1cbfa156f7d5429548476d4aa41cd645815fb84c3c73a5511 34d53c2b62838d6b69c6da65f2f5f720052847da6fe88c019082c969623705ad 928e3b5a5ad0368fa32e9244dfcd36396718b12c0f2625d1ec703cea0e3e17cd b8e8d96350bbaab4fca6d90e895858882721fae49523810158edebec375a64b5 c08fbb86d4a97dcce4b940937874deeb9aae510f24d1c3b5878fe5c781a3a68c 68bf0737c8cb48da66747163285c0c9fda29d5f15f10955dcdc4777f5ea0b504 3a06cc45de6b3830348b63abe6c3989880df9fe1d4f6d44e96e8ec4fbee299d6 7d1cdee503d2f7dc7ba3217467a1b287f12d091240161da5a1776655c87b8d29 db63246401aa3d611d197fb6f0c780f13429cd72fd0c6208d55e109b738928c0 7ea35c5c148acc7bd2a23605afca0b84cc228cb37a8a94e0fda2614fbd290716 02bd91c880148f28c8cd9a44446c95a620a8f0f21db2f34fb51aa531f1c39dd9 8c2919b34bba6629c6a33e920f718762fdd4c60878aefbb818ebcb09e8b48546 1d98c4c43dca8a368e6791d80bc473245efdb4664b008188872b33da1501b36c 85ebbc40dddc25474a9aa7755c9d0b65e13b43ac2ba6dca8bdbccc3cb7182fda 0dc8963de48d5ff405cc17528094767b58a5d7873d6b7103f65138b7841310d0 651d65915ce8dc7c47c1bb1a7d68b920463d7242ed0945fbf8756d697f5da672 51f165c6c9aeba3b2b874091f7154c2c583660f833170e7773b48901cc208f7a bf3403d79c62e0895d6fca68d83318cd5cdb5e8d8e6dc717081f0d6d46d56052 90f9c67329663364042cb2c8821001bc832097d84944535d27c9008748784e59 756eb72cde9ffe038270857dd7fedc08e36aaad5fb688138492730e933d24b6b 65ebb148b2100950af2254f66c57308a7406a44e7a65f40b8c3909353b32d4eb 1cc575c0142025e5cdea025847df44cda4580113322c21d51cee3d2f3ef2c3da 7757f08f7ae55d62f1674cf2d7f7fed41526994417793928b5af5834cd7dd189 b5ddfda076a18967de5f6057fd63d7ee8e983fa3c60e11b748d37b4e59564d99 d7882b15bbb217afc595bd56177963fdbc739fe52b72cc74f39e127441b7d3dc 9700a83a0db92cdbf2d43a751eb8cce63a0fc4b61399e84281ef9bed298f09e7 fd3a00a99b4b9ff2b834aef2cae68257d39b02bad472d3a7e73edb783524b040 c01516286b7edfb17fecf61bbd8fb5d72ac5aeff57ef86e283190642b4ef85b2 a8f0bc77ebe901b3eef63be124c2e0917a9ef77e26835e657b1249a4e8738d21 01f0831ad4ec9c45ecaf18dfe8dd07f93b8ea670b83e9e17647b3ec7ff013414 9be9e2d16dc42431ba86e69a9dcc73f75b61cf8d0187d41b3f35460f981d45ba b607456a7fa2797f94be8f24a7ec8621f7220f90ea64eb18cec3eea61c45219d c072d2f09978c8ea602a8d24b54043c945d73b79efd5cf15b8c61c4f30c18d94 8daa5dd3174f29448e8d8d818584c381806016465cb35bc5652deba63045b900 cc637be62a0c33583548466c428535f17c6af5c7096a9d3e51175f304317c998 091b1437110912e73f1e0ecd0f28fef67b28bee7c43a5643f044153e064e6f46 4aebcf51f04470b7a333ab0bde03b001544d5a02cf3d0e0eaf0f82b08abd516e e7462b6d62bb3c1a56db722e44137d532b74561304fbc3d69a2450a6c344de18 d06cad7215316e1cd6f5f3d43db62209e3dd59d8240683c7e8c077f1decd57c7 98432d68a05477f1f54e5f75f8144611d59288acb88fd0fcae4d6ffe1089de06 b9f71e80b92663f930f1fd7bae29ec5a37b6545355c13f3efbabf6efa90029d2 8d6ee61aca0ab9d0e808374164b8a413873a60e5935867358af635fc902b5827 57bebdcd2f7a1c5a64ed86013c503e340fd366b56e04e8c8937c6e0e39662f06 445f78a34428d4f315089c575f0741a4fcc120c727c27adb95b5b9b1f94fd081 ce5b86a5a8a4a346823dea787cfb726cbca59cf2260698f383db97ec5a5a1ece 27e741333fa8808c81de693ddd5aae2b14fdbc2edf689b289ad6b9191010b157 da0e99af43988b5e24c17d6a829da754db0920c91580c218f09af4d4a4626372 4e6a7642c1178bd56fb19a050f4209a1dd5e173830424af22b2003d58e7d345e 5ac50fc2b21a1e805b5d8ea34f14638c1eadc46d045e01330c1161fd810facc9 601f609c4e36119fbe3a5e4a78a599addcdfd034393f636de652b11c6d7b395b 861fbff04650af9369fef1affbb9c33a96456c6d23789f01de5bbf223bde7073 99a3bddef2fd208a8d2b39269601b6f3b4c69e8b04a37979df0b677946eb6e51 6beac728822568f5fad678643a6876c13cd7e9573062264645747f52093ef4e8 46ad2f32d9603e4ba069a6c60145725d3a4ab806cea2747b5c24718d251b599e 2beec0e49fd76fbfd2ee25cce1a13f4c3973e0de9b1068a4c396ca374eb7b421 a9961ee04c42451f3dedaa2b3d143b891661c11cddd6020f50249cf94e8cb321 f0145aac0b9e8483edc0f26a94b6ee2a6f3984e9ff8026ebaeb4ab9eff2ee0f4 93efd633f8bf315594dc3cb32e07e77c45b41babbffab1a6b821c04546fedc8a 35ded2fad6a23445189c50fd1a68a8ee526f574698d6acfc22f5000f9e5953ed 8dc44b341986e006d0d2c096315d01f1404fb723364b519ceee0917a76c9ae74 ef907eb41afd12004f30ba2a262993e394ba4de1f9ade85ba63975e0877b8e22 5a8a2ceca15d54753c703346d0a3219c6443a2bbd93cb65ff445e1bc4083e9d3 5bc7456a82b5eecff9c7219a7212fb960af19f23ae49e1328c71175b3bf48f1a 2adebd9b25b341740ad5be58d82007527de33ad9dd9eae11a35594da8b7a36ad 1741e37de1ba1566e67f158486e0803de32a0cf00b01be6d6ebd7007ed959256 54f2dbbd97afaf788459cc8d6e4dae6cab5fb62339ea3b67f55430a829667d24 758cc9bcc91f0f20582ee5582e1599e9edd07743135e9970e6c16d208c75ed99 645a1b24d4c5369253c3ad4c574bd7c455909de297d45c7584d95082d3419a95 b0b71ddc41bf6f0fbf4f9bfb2e9c1188750b865615ce417903aee3f9e99f9e69 46cf80257d29af78324a5468c9db7d556a2230e2b8a5128f239caafffe135539 2b09b141fe9ee05903fe6df86b1504a5a23e2be29458a9b0817615aa159c739a 7e3d2f64df0d2eb1ffdfa3169e430e5b94426130d80123cdbc881c39308d2d4d 6032630dd87ac3337245dd4a43de78f07ca83373ed620ee96805bbb06615fabc ff80f9691b57c8f76d3780cf98544d4f517ac6e7ee3d9bd0749c27d3cbc63910 0a97ab908b979119fc23e52b3bb2b6ca455a36e48e619fb6b3ad690ef7678920 54878efe8c5ec0add943792db2fcc20ac5430eaabde614b23b63295065513112 8de6b86b55297e392fe72585d7cb35249e7f4fda288eda39b2710f43dcee4e12 55d306f28a636dfbbe97a617aae542bfd10451b70a422e45874b23d6252440a1 109f4cb0678c5b84fe0b39fe079a4b3b14cf84e77ce078ae499e47763061577d a3dee2f342aeffce59b22feabedfbae6fc4da17e80121d0fb60d946a70abaf5f dc547477b34969ee52e7f6a4f92a12e7b3b602c71df7c8fcd7aa211b01682f6b e4a638dabe64a998bfe1febc0faec13b81b260b7bd84a783c18a80425e0da519 e3e00edfa31c4141eda04e833c4449f957d02ba6a71b5344d55ef7663e9f6f73 5b16e16ff35e463801c31e9032091c0ed0cbf85fefd9c0f881d639ab8e324b35 92930de5e302a32b43569825027a49e52135c724b59fa3fb3a520ea4a1fb8a19 79f4c10d0b85ec7609e87bf60b8a276477f6027e797539ae050e297ffc5025f2 59f2e262a759c8a80100d68f5d11c66353b4d80c518bc0ec3a801eab3571735b 26694bea92b418b0c5e29f09af2a89653e0af23ea33296e7ccf43f0671b9aba1 dbddd6599236fa083f2c469b5e8b8ab678c5eb1a45e0928deb9470edf3f0ca65 b4c24d8b8ba429e8e4b7f22e959aaf547f86e02f02599ece3adfa8aba2f85d9f 46d889fb4578d50986ad63637f1c9b4ba1aba675c9dbbccc3ae4f84e9bfdb278 041cf294b21b4cc676e2c6c0d419dc8d83d87ba88d95835ea72da20bf0fc2ca3 3e0af28d9dbbd9fe313323acf22846251d32de865845bea468e6653df9a66dde 70830bc7827d709913f9dd6f53038099f7cf59e9abf7005fc7ced7fd11661bfe 01377c00982607a8c7958ded623e6c7f1702a904a34d00a71c0e8f7fb6036a3c 2f74a3945aa12aea3f62a361635a2e6bc13a8baaa9f96cb42d81f034aab00ccc b1589f27ea3234f18095272350077b0a66cd9df5321388602fc70a008276832d e98b8dd9d1a7f1b238087a7073227f44918345ce2c94fabb2a7cc403205bfde4 be17b057e3b8c607d41e95befbf7bd9eb16a4db09870caab89f4b9966523bdab 854c14dd70f6c628ea41dd97378830067830b01efb0da9198b0e56ae3ff6ae74 32608a7c78bc613bfdcbf6cf8eea7d599ef7d8d8c3c9989f67f6a6fbcc8bbf84 511a9f3892147616c4a611b2a97ab9e42a4a2db56190437af370cc86621d984e 3e2213f15b86b51d021c72a5d14ad9bf4178532f8c1118ca98ac03fbff61813b a69b23cf0187fef74eb1b647724c691b5f98c75dfae710589b9a4e16394c5764 862ad0d727e72c27879ab764d62d7956a04451bfd50be01e28e255ebbcf70e5b b73cd945b93a9f6a046796e88b50c7658f4d613a1c5f3e42c4f8b5d533d89fc4 b87d67faf81d6b2c97d77ed46869a99c12af66d170be178f6012ccfde18a5416 b6135640931a4dd4e6799d25be523e9a0e2797d72ddff6e6ed67b3fc4b1e9960 e881f08d1cb367e33a6270c07ede0be06cde1226f396ca972c942ce051e10ee0 3d6d4bb069eff8d921172166794fac87f72a82e88301a65cc093bd13923aec09 2b13e227fda94820f062802e6715e4a747e74ee4414bb275386c0fa6c8b136d6 470d3aa066cdb7b38a29641cfe059637adf0ce53290b11e8944331b2d09c4b02 29724f85eca39f398ace15f9ccbca0b260f41abe6c19e423bad440ef2835b9f9 39145535644dc6f4f793f5ec58e4d6fc517e0bcd470d63f8097de799104edf74 f9874a6e92b308ab8964cca5e6308fbe6e4dc8ee57a5e27f80d6764674e18ab5 20000ecfe957fb0c20b5b15eac9a10cc8c7c218cf21922f07a7228d735752ff6 98c061e7f640901b0de9f7da82adda38bc650248f4fc639811e3d109c9b067c5 0480c5928da59c6d6a0d67d7f936cad7af62c9961f8a068e4e70ceb1dc3f9913 56298ea6698ac1715dec24a822c7e4dd1e032963fefa326d08e6507a3cf95db9 1a3f6d6fab0cabd34ff120304460c53dd19390622b4d9e5bae96949ce406750c 9e9f5b40bfe7e76774dd908cdc35f0302e98d380b3a7f28d82fda4fa652f9252 12cbda9f752ef6dc112a8d02bf56ba52b6d90cd57b05c266741d2048c1fc7188 7df47bc932ba78e032eb3e7a9f1f92f26995f407f7f315d243a52503e05f5682 6d14dad24772dac108b3d349112d9b5a7bd887f324495dfed804adbfc032455a f6376df44ca0b21255604112415e53296cd2f69f67ee442387f664f960a0cc35 e0bd599e0afd677e07dc681821b1dd03d96877edc4012a513ab06ec391b0a618 2ea5fbb877877f7a665ecf5d8bd9878da093340710145e8ab55e5c3e25b05511 74212a16c63e6e5b7f02cd7567dfe42b8004e1b418d4df098c046ad58e70f507 371f539a68e2aeb6f1e87a311775801756fc10ebf185b536a11cc1526838c3fe 779b38eedbad8401af03d7effb14b00dd22d281ebcc7b75cfe06ebbccd2ca776 2daaab55a28b127e9d5e5e801a39aa212a3c7f009e623f1a9f2efd6afb5b8428 f02e6b3bc2ddff5305ebeee007b2f18644ce79eb65d4d29da54cd90c5732e52d b4567d0e9255b2e0b12b355b272fb54dd82d191679e68acfe9600e687f65a7b3 571763475f4a1866d0d00d8ae0deb7e1c962e3d22824f59a9db30508371fcf7e e67aa196ada2ee83faff4aa8214f2863886a2eee436bd2d3a341636ca4a0fd0f a7bc9932a80ef20965c727d8bbd7d8586ad9ee888e103d014729397f30512f38 502afafb57d853ddb947d58ed59b1f7a61db9710d02363ce3893343c2dcbe898 7fd2ea2b5ed5ce658d28fb6b09fa9f052b2a079c21a1857687c2ec48191ba2d9 2eec68d6a2266eb84809634b4aa151670b17715f6ea8e9c9b28645b21c79d98a b9bef90cd8b6f277717083c6dc4788bbeb022021d44d7d5f254af27efe155069 e2f29e40e7e0727b1f434a3f5347bb8e51641cb25262ce3a6b93f283cfbfe598 cb1ef7d2256f702f8f39d8242ca98977646971e2e6eb5bf0c53dcbf4d8c3b962 46a4b864b4ca967a0a136d3b145f067bc0a43b4a5c44c8f895b04d94c2289921 de76f1479bf925e41747b2f80f5694c5d5215b21bd938d933c122aba213c8ffe 42f87b9369216a435c71e8e70e7e2a21ed743f233bb619f9ca325bcb35482fca a08d143cf67bee8c57b05efe526d1716af8bfbc5c63cee51064fc8894461b07d 9b18d648318f2061624d3d523f6ff62fd643a7ec4ae351efae6d3c6951d56fe8 3b2592b493c9f203c6fb02f3f6df879947c816e55486a290509d967e49c07087 1274260702658ee0eddbb65e97ba189e0ad9ccb0e17ffaa9ad4976a1ffa4743f c2264a629df032f1e6e4cb330e1651c98e439edf78615fb7ad0805d6d33ab386 7b79ae9eec6eaba51f62605f97b6ddcba6ffe73bf46dfa0f51fce7527e76f9d4 ab8eda99b4d4b7667aa2b73ad36087d5ebba697cabdb8b511001e8c9cc12482f 662e84d6f0f95f9d2cb6c48bbcca2f274daf33ebc885749700938392b11c4665 0b04cce2c93c0e4b599737e6fa0fe716bd982a44f5b8d51bc12c3208b3e49d56 7181d068b5f7df48785abdb91f0c812e2816d4a9b3ba12b84dc838e52b036d6d 0a43becfd8b2ab385547569e60e1a9d378dd51f1d18f3ee25cb3052c16e88ef9 40f6f6cf4beddffb9b50df3756fc7c102384897666d646398e1ac3baab86d374 c2c235eaf1dc2e78ce5f7ed912d00f497a187ee9621f90a059baa310d2bbe9c4 b263866a0eb176e774ea58ed361227a917a67c42cc069aa8a18226b4e262eb86 a3554882621a2703ecf178e8ebc69a9998426632c5cde0720b3bb518d61a096e 53634e5da16c9afa1808a4bafa268e0e43108f650fd71c017c8a19ffc4e1d1b8 67a13dd980ec1253afbe0178a1ab4135572d07bc01aae7a346d14a8c66e498bf 0ff71c1a7f1bbb4f1e96e28ec1b311c896ec28f07c234af03e0ff5ef7e815779 389d958adc5fbc862ab17863191e646ea423e073d47ea1e78e870307a0231ffd 379156f4a3f7718a94e13e5acb46d271af3d83bef578f01c70847da0153b51bc 7fee546184ddae6fca71d7bd697c9218eb964112413934f929d1a3388f3a4cd3 9c576acfd11de5babc9e23d66264f37de71e578307ee7e78643c9b883d6892dd 5b25edc3b7c47bdd77408f8272e4e9ab66696d9c7384b387f16ee87025df095a d671c30d2e4199f1a8a45cce3968fbef82924c73e6f53e90e4c0ff5fd4318766 72edfa10666a8da0bab8788cd70930a69a9578df750c47c306521d21906a5b02 3a04bbaecac59a55d9a81882ca3b574feb6ff4d932ea062fc7ad04312eec50cf 188ae823315121cb1fbd3495993656ec8b03ea27c14a15cf2cf5f6f30005c7e4 0b53baf5271b60aac5b2fbc5f02112d6806718273b5b3f801dcf731b113b45b5 5862c3cb9a1e051fc868b6721ce5c4d184c29057dc1832bf1d9613f7b225d7e1 1dfae64377b6d4fbf121185205bf4b1bcfc9d9186c78cc98555b4537b6a366eb 064225145a34b739b5bf2878b9f9c41f236aa1fa1895ea2f207bc4cfcaf739c5 a21a948d860541dc46dc3e47256fa6a8c971a8ef47082126fb426983045f27cb f91b5e0a427ea63a5b0b0738ac480cc1b1edc7b529da322c9c516f77d4da036f bb48ad59281079577a226a168c4d123d125c89b7c100b6fc2a50294d5875c128 7e74da6abc4f9c53e85af7ddfc6983858d2dad2353b3537b1d76a823677961e6 8a2ca06c2697326b541fb7c6043a62d19cbc085d614aae19f79e20ba727eb816 0101e9aec523e32248726e7684f569d97ed3b6cecf2cd4460263074502ed175c 34a4950b4255360016b0bb7ebf8ab24683aa8aa95fe2e9a71b7d54c092d52617 9dc15bfbddae92b18f2495022a107b8b51cd484dad90f000d014faf9cf39a572 48554108578eb359086ad2e191b7c29d2b78c0b2a550bed29145541ef5698ebf 88080e9ecd64f06e3ea83d9d2b96bea872fc654f5c31c1525408872c5fdd44e0 43a53d2731ddee1ce86cdcbc7ba4e295b757ce6db8ee56ea1d87fdeb58fd2da8 6682008b772a5029b5a9b8910a6229744d690b88b9415a839f7dcdc9e1e7a2fa 72306c4a3f2082cb7967c97b27342697cc1bbc1e2dd51d2ecc087b19ab46d82d c9b1cca0721e867855e212f8c8f24492d7feceed7ebb23bc73f495a534b367da 5a1ab8463d4ddd66020fa8986cedb03358ec4326d1c1c556b28b83b968c5c252 aa26d8a89beec09069d15487564acc0ad1ae3c2eee501230991404a3501472ea 7bf88c57b0c37aac90bdc22b0ad1e751eebfb94622cfa5c6fc7e1ac4bea893bb cc18dbc3461bb349a929db107658f3b784c4aa913331fcc342fb2350615112a8 154f07e40560d7314a4208e14c661702c5443415a4c22d9a81ea34b978bf5b7c 704047e522c328fbf26e3636ac1e7608568c001ad15402d3393e4553b7b51296 1c766cc28d6c569c5d647c19adfb88048ec810ca631e20018cc3824a04858394 70a8fcc0ad871b18efc43aaba0840203145603d94bbb6411463e2735b64e925e ce8df667c2133afce9cab17227b539ec1b49cd429f8500c540a946382f9ac4f9 cf7b86efef1f7265b55499372b351de4ed118ef058b10c77b1c59701147f21af da3b166b3f7f4b5c339ee7f7689bc55f7b5cfe5e0dd70eb22ed73766bef29ef8 c4a2c53c4326eddad6a55b4d0e1c782512adcb221c7bade6bfdad1c888b97dac 36bfdfc48af067f0cb6cef09e97a0e14fca37e1c5f5aae7bd899a00ce803c583 67330937739f6ca4ba830b330c6c61d9a40352c0ef7416a018074c59a6bc1f25 0d3c2d5371cedf4806dddd55c810321e534d41f98f5050d6e3b699a0ee3a6ede 0a9e88e945e7f4936362a595af71b8e75741762dc0b751e70784c4119bb1afd8 c302408db91f02c6e4051f90d90e60cd737d1f6052d698bff487422f7bd8ccf5 76a6892f2ce32ab10734b107613811a0dfcf0c3cce787e65f4d744cc9b02eebd b890a4757a716c9944f9cb31a3f4cae4cec5cd9b51548fea1609087bb3406058 eab66c7c3d78b17ce1ab2f981ebf3a013b972caeb9d7cc4308f302187d24d0f2 6b71a254a4e8184c2a44997499bb6b92c181d804a596e1a5978f29976ca14760 8054ce738b8e9581ab5682a7c89cb0942041751866756b24b670b0be72681082 c8e8397d615fecdb7a8221e053cb59fa67a4f16083d9193e2cb3c560e828f37e e38e5ff9cc6c058f2e59bd1d64a8af1c32d79a58659b182c4e1455ddde02a4bf 4a55ae1c7e7b827bf38030e2a766fdafd48e034ec4a787ea0c38225b0a933913 20dc13b9cac9c879c464ca7b0fd62b819f70821aee09d8da8f310a2755f4e275 b5377d4a94d4264037a8fe6d0f7d61919b66a09bc20e86a25cb23296d28c801c 450a6bdbb804822598051892e0da622c28f393ab09e648a8fbadaa6aa0d45107 78453bd4f64c5a44ddeb9a8356ac760a139a797d235e3a6584c644877a6d1328 a8100c5779104d062c948db316fcf8844e8f70dca3bc0c41c39143c2c9d46ff5 96edfd3bac75f70d580ac9c56eae4948bfea03ab51847af26503976986475ad7 e3ab7fe347bcf1ffe739a73c8cf09ca3aa5583aeea6fae7b8275f6ede36d1d2c 5a201ce3005b13018bbb747c4c042ef4bd43fd5561632513945f94a22e587f65 a50b7150c2c91bdac6c41679b662a60b53d4b4084865a787a9b37b3800a7b62c 9eb256ea791ac5ebba6061a13f575274ba2832686f342637e16720d02ac1c622 23fe9dfc9a4253a6ca1a87ab855294d8f32e847badefd3fb5ab580c89c5e8670 2dda917cb77607b9fb269beaa4a50da2ef4bf160a21079cbc7ff297c2c383d98 c8a40a98f3d4aa01fc34bf075b0d758647711aff40a4d6a0307411e4b7dd019a 37935657dd3198439c802ec32a66fb86a292989fb599f6b3390b34dbb4b94956 7c36f49644693b4ef032c4b7f9a82e2e3efda8aaa10e2e1b8de8857f7895e537 cc857d79167a6f8b51b2c9e16bff8edc2c53e86f37e8b794e5adf6407a689061 26f62a7273614503566d522582d56eca29ca70fa0406fd09006aea22c6b8ff0f 7735e52aa10590ebb78103e55e50ff97392abf09fbaea691213c33bcc3745c89 3fe959fbd667354c4badd6796a6c2868d760b6ee4cdc3d01858f99752b848e8e dce02e677905d40d659c40d5ec4524489172d11a875d6363f34e52482f9c46c2 b4907934a9f7918f2374bf445c1b91d0e0e1c47ca0d1ba730b9068dda9a273dd a306d0076d3ff6e42ff0604af042a80cac5c22360c057d67b65d9044b4bb48ed d2bddcf92439cdbdfa9fab3e278956dadbacc552975d03501f20b4b600a20719 a8035a976d3b95a2058fff83f5b0629386c8344ab78b42ddad19561b912dcb8b fdb0c8d920fc8380d23dea2c01163e1c3361ec946eb515710fedeb404a2bb2b4 e76e414d394b5d585a7383303c505c165a6753ff31544d4fc31d8929726f61d7 81d2269fa302bf8a5ce093e5b2875bad3b5165ac72a2375670da876ad66e9a61 61f23ba508757aabf43760870270e7ab3db6bfbdb906ac0a25552bb05b4e6861 ece5a1bc4d9753a8f2b849c0b30d6ac39ae3cec4bb7fdb37cc1361a000b91cbf bd21719b3c466c4601020cae7ab04bde021e0a113e18b4d87ae66a520f9652b8 78ee4c25db49177d04b164dae5e821e6027cd9b93a7ac456ea602ff733d265f0 3de7c0c7c6c0281eb64bde6a08939bd9f05db73878662311eb4ae719db8f95af 3c83f2b000d14942a0330272f0e109f96456e769a7eb796fd7130d39b6d2e1ef 745ceae56004a6a066f84fd726c02bb2c8e950aba2106a1c3391447bef1a97eb 0a4ed4fc93118a1da78f970ee0d8ba33baff6a760e6e3ff49914b42e04b55454 cf58ca59d068097eff108ebc3f72f29cc71313261bc27507ce4679b30712e309 307900231405503a3ded74a21fef2fc1de99f8d98ed56de21ca8339e8fdf4fc8 992422b6dc92d65bf40b5ede36195f7518db062b7496fb463f631ed671a70ab7 4cae5ed158ff31079df5dfb8b42bb15896435504ca82c9d672b31f4c8957f623 084b4d9246443de8f80a98d5f8c06648cd6ab8989ca3a16d7dcb5bd1006b13cd 3c548ba643e5934b0d5fc0854f1fd531db2af1e0f97eac38da564dc02ce5af20 425ecbde9e04f6aacf9c4788597958fe883831edf5733d301768c7ffc854423e c15b621a1996f4cf684d82b208dd651983ea2ff5c627a2b119e24559ceb3d511 a707fea07f95f0a4e78f52008653f0a475d524c274c11781a2461f72f9029331 771b9efe81028fccb68d0999d71bf8ee9fabeb613545aec4f0b4374ad31f825a 0c9eef1a0b0395e38b1ff8b6dd779599e45932d94b3097d850bacceacaca4d2d cfb5ab126a67d41e71ea71af9ececf48f48712a72b82880ff4aaed618bdf17f2 415f6508a057e0dba41848ae0a477f221fd04bb77210697ea2812a29d6da7b59 c78f498a572a5ae89ec78ee8bb0e177cefee0d5b95c2f7699f077b7dfca6cfdc 6efd62e885f56c080157567706cb4c41e2a4c7c2c3fd9263a7f8303e79b7b62f e36d195392cb1d5c07a2c65c0b42fc75e3c42c63240b0b27e7c9635c28b4d122 f2f5ad9f3739b8d2eeea707ff3e9503bbb126c08ef917dcebc6ad54a19870fb9 a7c0090dea2b56d8bd061b18984b2825f0636e8c963d04176285522519000cb8 db1ea8583832530c3d78fa848eb2aa98fe65e07de310de2597e8d84be207501d f67c85215b0dd73f26c56b8372fabbc883abf3df41c4f0f2964b5da71d04830d 89dd096e402b4c8a310a4b40a150aee6860e85e9bedadaca72250fad75818087 9dfeec821143611729d314e546bcf6fb2407ce2d5afcbbeac5388703af1000d6 db84332c1bc8ae10f2c54b84b9167adbbae67e15060caa01b6bc29fe25272c63 ca439089279d199cd84962c749955f6be75fcc9119c127be2fbb44a129e4aaea 870666ddbe26ea982d4150a67617e34dfcf5d79d70095ad7a346a3c5f9904dd6 0e1954b9f106d916dc177a849cd38911876ced27eb3d58c10a1fc43be56f3973 c10fca011be37b93ea6259ed1254775607dff6520f116e19b938f6f730cee024 5e8c72d2c6c38e6ca0f3c30d4f96caa1eb54f53de6c9730d62a484a418ebe517 e3173d0eeca4b51312477d68c09e7685a48d7fae4c4f08e9367f89ca29ea7ff7 db18a247f15a8a054ba757842a0f1382e981d9c7578bafd20329246adf279161 b95d4b8fd5718a6f54a1c05f4c7b39ae584bf84c9af5bee7c1ae9e4ef76751b4 c3da372221228200d8317d765bc36d1f63ab9185dd963c3e4db87bf71a01899d 2391c3c329fce5c6e86c17a0ca78ad51b8334a8caf8601b993d735baedc2521f fcbc94eb187a805f19c410c9dd27 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMR10 %!PS-AdobeFont-1.1: CMR10 1.00B %%CreationDate: 1992 Feb 19 19:54:52 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00B) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMR10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 11 /ff put dup 12 /fi put dup 13 /fl put dup 34 /quotedblright put dup 40 /parenleft put dup 41 /parenright put dup 43 /plus put dup 44 /comma put dup 45 /hyphen put dup 46 /period put dup 47 /slash put dup 48 /zero put dup 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 53 /five put dup 54 /six put dup 55 /seven put dup 56 /eight put dup 57 /nine put dup 58 /colon put dup 59 /semicolon put dup 65 /A put dup 66 /B put dup 67 /C put dup 68 /D put dup 69 /E put dup 70 /F put dup 71 /G put dup 72 /H put dup 73 /I put dup 74 /J put dup 75 /K put dup 76 /L put dup 77 /M put dup 78 /N put dup 79 /O put dup 80 /P put dup 81 /Q put dup 82 /R put dup 83 /S put dup 84 /T put dup 85 /U put dup 86 /V put dup 87 /W put dup 91 /bracketleft put dup 92 /quotedblleft put dup 93 /bracketright put dup 97 /a put dup 98 /b put dup 99 /c put dup 100 /d put dup 101 /e put dup 102 /f put dup 103 /g put dup 104 /h put dup 105 /i put dup 106 /j put dup 107 /k put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 113 /q put dup 114 /r put dup 115 /s put dup 116 /t put dup 117 /u put dup 118 /v put dup 119 /w put dup 120 /x put dup 121 /y put dup 122 /z put readonly def /FontBBox{-251 -250 1009 969}readonly def /UniqueXX 5000793 def currentdict end currentfile eexec 8053514d28ec28da1630165fab262882d3fca78881823c5537fe6c3dda8ee5b8 97e17cb027f5c73fdbb56b0a7c25fc3512b55fe8f3acfbffcc7f4a382d8299cc 8fd37d3cea49dabdca92847af0560b404ef71134b0f3d99934fc9d0b4e602011 b9cfb856c23f958f3c5a2fbe0ef8587d1f5774879c324e51fcb22888b74f2415 50d7401eb990d4f3a7af635198422283cac1b6cd446ddbcbd915db9bff88844e 784c6bf7389803d9450b0c21756a017306457c7e62c1d269f306bd3402e266de fc3b5e7d8a8d2f5bf0fe6ddd40d07391df4fad4a6018dce29a2b8f692b29f202 3a7c0e66de8ed85c14f1f8492167357f51a7e84cc5d92e0fee4d81cf7fbc8de5 2d2e7bb57142033993f9c08c315abade8dbc4a732e84e142d3bee51557910e12 cd8aa37c459a5e6b7f5269f59078aba3be4641a11ac48d0b625c8325b38ec08e 4c9e5e7fed976a5650d99d82114f449b9ca14c4ec957702295a39a93ef93f618 99b8ea06b092c3c1e503e6e436e0a9fa22576c8930ab3dc8c20f5d82b69cddf8 ff4dacfa9c54bed5a3aa3ea5b129fe96be632843b9b6bc91b615581a985db56b 1e01ca60ee69ca92cf5c0882ece62edad3e106d835348822400f0b66af658f2a e56ed08f8b0010571807009b73ab12a8cf14ca6c71f03c2a48c500f9d62266af 154a6375ff600d9bac3f05ce34142d6867a79581c533176bb2f3117336671e2e 44638a97167e2ea9644e31ea16c2ad2990ea33c54001e0c8156e6de8ab6a4d40 a7137ba275f39589fea2e2db8256adc103d6f9cc038037a47e8fd469c5f98a5e 3c15bd4ace40d340018b1cff7d1ed8abb0ac57b5b5a2c20a51957b96c453edb7 dae5affd91a46d938fe0a13363001d844ded4323f1ee6d30012aea19b024a552 315505535c85dc26bad31e09c50e6512802976d298c4e90d0044c362e6bf3ab3 62a454ee93de25ce54411090c29e9d75c80ce26a84404bd9de3aee0e3f921ac5 87f907572b8354a5c3165eea7e8b2ba4e333802132f760b41a900c698eb3d273 8bea0aaf7aae96a558f08b61aec7c7d65b2889bb7b99800cffee5ba19ac90fce 11437be1ddfcf0bca5670b543b9644a71c8726d0c1005abdb96f6e0cf7caaa31 95017ca81519151c2c0b04f81e717c0691b63a76e9b25329ce2625b711cb7bf9 9d23ec2bb5ec8aefb8c1a3b422ad617b3da4d49685fd44cc21a1fe5e1541163a b3e1594601d63c7e98801d7746474377ce93f81404f3570afbd5dbfe77578605 917ab96963987e6efc2d3f99fa56ecae6422579852567f90cc90e4ef6d6f71d1 858270205477e221018a375ca83c572b3f972c5181d180b9a4ed08492497babf 4c4296fb4d93a43f689e296f664727b4f4e34be908ea67e0ae69d9cff26ec874 d99b880fd505a1343d3631f8506b38f254c2fb35daff445581af98eff2fb1063 fdf44f29036aa511b2cddc65220f60ae4fe9f5c3b591fb108821eeda236d5f0f 08f4b5eaeb3310b442329dc30671fb08bbb92992450500e98e582043b787fb55 cff8ac0161f1cec7e564c40f50225a26b91fa1e1ec76826dc4155ca02938105f d64074c26f9b88ac1593f3bb982e5aa2c9bd248a14c2f76ed76b6d536eb0b804 91b236139a8ed5b0f374a32c4dd6ce96fb8baecc3367ec2ac0b74cbc55823c7c 5bbb7e4709189990fe91231c7eac420db71f1b813435e1294131fc52ba25e21c 499ab94fb249b70e2c3662cf56f1ce586185694c042bc8c5256934d67d390c3e bfd7dd16167e94a32e43fa282c18245f4666bb6e51274e29b5dac2d00a8b6263 901f69dcec66928672af8e7a50d5db55feb44d81381788fe84defc331f628881 526ee0adb2ed920a07c3f7e06f55f395024c89fc0dae7d7255d8438be9af5701 bb169988b184fee7b3c18d0bdc70543c646a9ffa9e675a7b7ab726927daa9869 50b6983543e35928bf2074c0b01a041fb491609c7d398cb22591f25b1789911b a9e8de39c40a58617290f13c4d3f2e734e14e8dab8fca4874cb741c755b1d3af 2d24b63d7a4c97e0fb667d6eaf4e97571f18e0b43518bc2cd731e0887346805c 3c9278db732379ac44b67375eb906b67d683fbc03ba68dec385b64369bcc14f2 5ada1147d74babc0d748ad86a16e1881edf06c5c6f642e39892688289e9c356b 5159dc3b6178226d49e82c359bf2e824f20e5a2c47f2dda7201b30ad169e1a53 28676731bb1f7569f6de13f281501806d7b4826843d33c200aeeae20ca77697a 943a8d11da42cecff84dd6a25e64025dffd3bc67d3a7d48ccce62e5937d461ef 019cabe214b78cce3b5200b6e19bc8015d3f76ff98dd4947f4969b98c7bacadb ef984266561890369545093a2c68de714e5963c2294ea0608751d8a8ed62a24c 32bb8347854859171e76fcc04546151bbce19967952116799baac1b2e2b7da84 37197e3423c0d86e064efb1c68167b8306bfcd3fbd3c82d099aab5f97b7a9fdb 7d030ab42303fe11f436fbae182f21779d16e3adf8a5d1cf18bba790fe87ff6a 53ebcacd8c3ac6c3535e23fed7a58ab3dd9d82267480154d992d636d95832d92 f9a2f51b416e4076ba7c38164bb34d0cce980762b348ff49e2af0e7c86b422a5 d8b7667a6b948887261339a02aae322e8a943cfaebe0ce1599be763ffd3f749c ec162f7d1a437f77261c52b167f4f4584c419d7966156a83dd599a10fa13bd08 57c0d7e8f3e2572ec11fe4236682fc67661b742cee3db6d249797cbb6d323259 f7942bb3dd24bb42ebbfd295596c6618916835f8b6ace0b96f66277ebeaa5dd7 0c5e5c2fdb30ff2345372eed46990ce6f59691bb81811accf528d14a7dba3b14 b74a0293201de5d1e4362419b5d79756ada585254a961257c6579934323a5a32 59339cd8b34f374088737492230ce48ad2e69fdbab65c349d2cc16ca07f217cc 19f9a966c3c35f2fb1cb7009d34d6d9ad3ec6e95f9143ebf3a500c8e1afcaba8 5f3324c42714135d9b98677c4c4282676eeed21f4c205b79fbe57fb76a4357d5 2b61efb5f44eda6bc5a102c23a878fc90c6d20d57493ba2cfc580f48a6415504 8573ed4d5acffa1c824791efdedfc8c2d123a442ec3e908d89232e1c186bbc50 38e81611355eac3b8a59ab955840e9cd0cfec315be1c349b9682d5507550dbe4 3ba73cfe1f03893f05dbe3c174e011109cc02d1f78833451a032c13d18614d3f 895ca0efc817f7c14bced5d5ffe1222df68cbbe3b83189b3ac0ae5a65b1761eb 62c7fbf356415fedd7d9bd75ebfd2443c71b86b9630c81a4875d2cc25d43ad88 dacfd09670e0ba5199feb19002267e644151d109b5be871ac288f12539390551 f038070f00d3446191b1563baf7a41aea8e4d2e4a73cd3ec70ed640994c55174 804f2efc7fac6f6c75999fc66953bd65b44858e255ba3697289d90d521f349ce 4eade6e0c24979258dee877297bd19e41b17e9c49910ac9484b69cb5f8ef4175 ee08a935d45203fcf9be449738d9c8eb1a6d1223dde3830573ad8cb876b5fb9e c2829e2854477cc965484295a689c06f8c333d529b2c1d6c7e363aee743b4b5b 7c5ec2814c3883cd0edbb0049a357777084bfefac09995d541a9f1f3db5775ed c7b6885380fd2e973ceae070264b138da1338873f722e08d39fbda23961faa13 3eacde1347add514ebcd1cbc9a39db22c7fdd7762866788a178d58aa2b4102a8 7317e74fe6a321e00d1703072c49eeb6fd60e353b49b82bce375e5c74f8cdce3 1598905217705a01fa1790bd02bf0a9404d26ccf93399f84b1ccdf74eefeb48b 03da4a66212d6541172dcde3d6bf1b1d9439ea7e1cb8689f36a63cf73766c8a5 2cde3325bd5b2175ef7caa6008abc9cf2706e97bac5403626697bd7501f37de0 2c2dd501dc7cde3073d5c6c87f2197fcf89a8970dfa9573bde9ccacedda60127 685cc527b24ff1af3ba6da705d44c2f0a47eaf2c574b69084d9030232e6326c2 8861dcd99bbddb01edb60ccd84ede646c0e80f423afdc345e6799ef9f462b2d8 79b150ec6148bc263d3c86bd9677e4a1809807cd6a913164ebf394e5a1732714 ec9f8a5102b6be6ca074e500ca17cbc13050faaf0cd6cf2cf1b6dad340b6f17f 2f25612089086aa725b40fffbb1509d773d3df7fd5f50b838dc9172659ca9cbd 6671bae24c16b24698b0ccd76a3f4a7864ee590a7077a65a3df6f5a7b00d1dfe d75722d3c5a4eabe63cbe066f0df4b91b5ec940da4cca5fa2fbf5816f31b7c6d b31171eae47ba566c73fb26aa147fbf9725b15bff9a68c1340d627f77fcfb095 591afd554479c99852369f314c554737ef613f793ec5205a16b9594c9ba8b30c 72e6b2c54660ba15dbf2d36539ba967ab11cdf360383a8d33addf220a36c2f29 2bc20b5d5dfd54eb23540032e73c7566c37399c5f1096fd481ae36660c0ded04 5cbd15d20edcc0b4a0e45974a3d38f52101191a4b5ac3f3769ed091504d6a5f6 72c917f17e7dd3d837682f4e5d31db0fcea1c02ef3ec9438ea1c2a9616a03552 9950e1a7551a38ffab8f84479dafecc763d73cd434f63925b93b846c431293c6 5f1600131082141116b92b84d54ed6ff2fcec40a2c8bf4653d59e8a32d51b6b3 1e9b2b16bcb3be344d325c3598ed44b2f498712c0d46023d70bdbf3919c4e27e 794ad685101c396aa23f956bd127c79132043e8cff4d71b27d34b2efab629266 05139b343461071c70cbef1ad0ede4d04419fde034b544a92a890d4db43863bc 0f21affed40b70f303544ec1f9f60ae20e6273ddcd160fbd21ba6a9593b43b60 49402bf11e62968dbb508a3e895235e3340e8158054c5ab03b173464a4b2c6d0 296bfbbbd92a6b83e9c40b12589ffc2357c0ea418b74c04396f7d6010d0cfe25 896eb7b963cac85b05d0267938849a95a5eb715f4583c6cfbb1f9189b6533b40 efa479207e93931748619fdf28643e9cd5e9a4f2db123b0e7eaed9be5eb520a9 4984752de4f295f0ef35b4ae0810af7ddfd0080a78b9b5e229c8d717756f8ec7 f38f33a229fafdcf5fceec7b1595d846830101f3f0ea59547a6278dc2bf679cc fa993adb04f32ce5071d60d90017ec25bbb793b6ab3d4f8a06c2d14a9dd7f29b 234b8c8ac60f82637e55c42003b9bf94b32402c7da4fa2efaf365d623843905d 450ef788e8e873512f5bd21d0e0f088bf8cfc7236296da2d22c1518ebea2668c 11b6296bc8d748e15c8a3aadeac6524f90fb1acd4aa1a1ad91a705d915173a0e 68f251cc313e396b5c5390da702603b44eea23c3f416f745a7dbbf135e22d0c4 6d5e81037f353bbe9763525e11b3b5459d7ff3bca9c6fd260f107a8b6274930c 6c77ae8a9ec349619eeb32f3f2a0350cd0fef22845c809515041c640e3f17427 2d49de3170862622bf0988a7236e036a4a678c9c33cc49b4bf71855b87b74a79 0c7197f11e20824c88bab96d7ae7f8610fe6b8b853cb79d49094445070aa1218 dcecf3e6328785e340a57d0f8fcd767dae2d6dff8a16f0b4aa45f7577657972e f3dc31490439e29d3b43fe6fd302b228f108368997e290c48b68ad625f47f0cc cbe2e0f5dc306ed0d325c50f640a15f89d0ff6063bc805fe5432083f0c4d30a3 1099e5b4d301f25efa241c84019e6c8461e9559ff20050156abf3b86212fc302 f3b60b205823421939c5a0ff2293f7521491562b1298584b30a4fdac8f9f89fc aa4e84ca5b1b7d93165597c39ff13bde730ccfc65572a3640ffa0b4f13503251 dbb91a66dab47d5ac638d1863327c053069d1f9311189594537b8cc8d80b894e 3563ceaadf47ae1b9e0c8f354cda9ea0849b813801566834866ad52e8667a069 7d7cb113a637fafe5be909426d023ad65d4d7f5249bd815fae710f8a5824aa04 7e87d6144567677292a41d8b5812921f0e30a657e745ea390637dc128a9036eb 53d72cf6f0c274c1afa861de09104f4635cbf2642f49a3dad0856a495f274918 2f158ef82bcd0953e17e0cf2d9dc6661840b1f4ede13b52ccb8ec49dba79dfff f540595980ed932a31e519e02e3ae4fc5a3cf1bda8ff98e0d19cb7a6f1d0729f 453a6389b3328b0a75abce6fd49b17a5e63bd98a8c0b9c2c69db5696f9039681 8c642485f06841a7ec31d51ecb8653e4bc52a8f16ee7428359b4e15f89eb7f37 2167b444cdd7b0501bc6a61e01914216f0aa27fe5bceb351e75df85a19f0c7a6 7f30d64769f0df43c4229bfc9cd57f435cffec668caee5bb253233db30ad0685 b9269f25ea6afbc580d4c0f45ea035e2b962321a5c7a5b271cb7b06cf41f30a8 b164e918a0f2a4179ac8e9f5e24680100b1227571b2acc1f17372316e17cd78e a1d93f72aebc3c74184118f02d41b5a04569b45c69fe29b6b6519ee4c2bcede1 a1f9718c703bdf08f39f017c466f5bf27a47efa22d53f7d6da3b08ee24de32d9 19340b21437c83679836893294b341ad35e710636f7425fb375bee4dd6f11fd4 9590006f402818ad7d7fd9198a96c910348d9bc8d88b13c3484fda8d5508eb95 01447ec04ef40b7379eda9c9cd60b2bfe57538d104d70c78ff9c5f09adb3d1fc bca2973fa69a7c6d1482828324705648a4f112368397bd79380d5bf5df27c4e2 4470451f83101860f3def9cc62bc820cce19d6fe71368987992d763072c3dfc5 2d510694879609faf28cdb867b45dba9b11f6404760acb019a44bb5405c753be 6eca0f23c95ce655ed508cca320f6d1aa531326c39c2d8eba30bd2f6fc0d3893 9ae99fdc5ecf32c51619a4dffc56d4dca3aa424e4e1e47e7e48252abb54ae39a 2e8afb96a5ace28ae36184fc3432a6084eea956ce95fda726c7ef248beeeeaa2 4e3e1499ea357f8620a02500fc37098eb0b50ddc2f426f9c8e07a171513470ce 8d9e42e7ca9a38eaa34bf27a9b5ccd1881384786c86c46e0d246eaa7ad31b00e b1605ea3342ad4aadffd4c0137034bfe471fbb4910f86a8c023d251125382856 e0ac2a0c7abb40b2f545ff9464c84444c739ac6a3cbd7472fb1b23ae55632ed7 489625ff0541331862d01fa2ba2d044e1bc0c1578fd1b49519e154eebb86494c 546e5c098a21b6a5df1f63d6210c07e344e4c21321e92836c04f3fe04dd57ecc 95e7f0fa5d793f8267e289830e31014c6e652faf0aecc0014e4e4c28c4659d68 edd73220f22d59fc1f8dcfc8af45c77f9b84d6fc2ce419fdd7f511c3cdb72799 572bffd23ae97dfdcc167c38c874b5c453cd914df6d1ecbe9814d1761ba46019 beeef6abb08fca1fdedf2198275a5d161f5eaa0a8aad3c0ddde7e8d468f8678a 69bec42d1821f115ce608e472c534237805922dcce4740d36c8ba2b87e5d95b2 fb71cef8996e0af69ddac0a50f741930709a52985b5ed3001f149ac4fc61d008 d79a16af801c52003e3f68b3abebdf9acf49ed84d5cb082eb9f69e8d1bc871a8 c8af67fe4cd525da21d138ac36aa05458279a13097ef4ef39458e059ee89becd 6958c7304fc6f825c08fe0fb6f93fe7bd8bf3a7ab913b824ede766d9e6c03fce 9cb777e117666dd113c2b546b38789a1ac9ce2975dc1ec7039c5b01b272df509 2709436c875d2d57054a7baca2cfcfeb1899d27388d7595eb32bc9cc140cd818 96e86d2cd18d5c99c777c5e3184c88eef10044462ef23011154c658e99dc18d2 d0ec128ce7179c4728ede597747be6056e5911736fd1a3fc8db89f97b771800f 856eece2aa7ea0226f91a794c1138e49d8f8b05d8f447b1557d7197f6b5901e8 fca8adb0eb893b5b0e9a3b77f026f9f10b03d7427bd337e5e513064e62dcc8bb ec3835b46a14605d3c047250442d8b80c8c2ee59daa75c79fbba3aca01dc31a5 5e51b89d86ef4d2545bcff076196272572bcaf35acf4e15843eb096a340cb536 652b49c463cd5211129dabdf82f881a021532025a5c654107cf6a589ca4964ea b7fece02f5dca3762e9eab6a581bfcdb6694c98e93d2dfd8335c8f7e791c0cb7 42418490a5ec096f89a6a0dca9d1e06b276632345253a4268503d606b21fc659 a45e1ca52fdcf412773bca8211be262fd595254f79a1e1b09a3f7c5c350bf322 90c9088dee3e8a103ee906e9523fc2f6496ae967b5b082b1437fd85602931fd3 8ee57e067c4f70ba3f9bcbbf456a70500c44bbe41537cfcfb5265cbae1336fe0 911e3d20e639d740c7f6934e65653b6da7ff75a42517d93141b53afb796f61f2 6d67805af1ffd97f4744fb06eab939ffe64d80d6b69950460720fb04a6f0e431 989347dbf3e1d82637fd13a4e3f4c347b5915d24a3c4be5299140e92bf75225b 5fc74815b2305bb6ff7d28dca67a3ea70df19f943fa3d070cc02901e36b192eb 449a6738a697597a02d9a21d87eb241fb4ef771c979ca9a222b6a32e1617c7e2 894eee6d59ba84b428fe181ea8d6279b670e20c0c0ae56afff68058d9bec2905 36e52c0d651092521b89d35c476c941959a009e01a17a427e315c68aae7a49a9 52f5afc58afcb3d197c9e34b92cdce841524b0bafac9f3777fb9cde280e95964 1440841a22dd62da06df46b57b8ce766d3d79b8bb30627707ac51b8a622474b2 a51db5c421eb6005e81c4b6463d34f06dc2345f31fa85e38243b2cac3b565c75 7f8cd288ceb5b034fa56a53e9c6d6b2d48d279a2d5632fe36d7a305cd491d7d9 978449fe40db49485baf84ebdb8f7122a6afae86f8044d28be591dad4ac20763 a498f79f768f57bed8f3fea31e37695538af0194a769b3782453b216a008e09a 666899ec91086ec98d1e7cdfc558010e9dbe562cfd6817993fde9b1656ef7329 b9580e0638273b030dd28beb287f9b4e30ddd0518fba4f36ac40b1ac6734cd22 d7d8927c5217f165ee8e5df0714de6b61bdc7bd44996130968c7dfa0df6f87bc 7a668028d34254f37e81b295d7cd589c0a2242493fb87e8c02bfea525cd73cb4 2b2d9d2ef09b9c8103812c703504a753156f32478c3e233501d450350499a4cf 396db19e6c2fa462b86ae556960cc098d2b5eea19b4cf9621600b2e96cf7a87c 57371ca0e59e2e0b79b19b3f7eafdf7aeeeef5a44a2145e5e4ad715e9d46aaab 036610adec87b09be7f376196dd50e6001df615435e36d029a68084996abcc17 e1195048dbc9be7c0e61d9f1cdd2934acc0b11aaf347e0a94c7c57505f4077e3 a6c280dbe8e5680b595b15ae3ebad09a64c03cbb4fda2f5ff5f8aa79d6c246d0 13f909ce5180713fa2fff4b4f9d89f3407bb1cbb38b7b44fb6bbbf5189344a86 24462d536a2474fb481e391030e188a3e3b2e4fe252b34ffcdd3c251f8360035 95c4551dfc812c976541f480f0c5c6ca5705cb0486f500c5db489caa544a856e 241833fa12b462a4203729e7bcd443e8d823dc1681496b7d2a7993385abdfbca b7bdb28da220f4a9611ef2c73f9279ef618dde9b1ea1ed17e00bf2ad8d88bb37 4140c7a6721e2d28b6eb446e9f28bff7232480376fb9dfc8141833e02de24b3a 1b1d27a4fe69b1e50a364929b8abca7de2594ed0fa67c2765a877ab3a52cc576 4dbf0442099944819b00d57564a88049bec3275dfdb7c3d0c6d4ca6a9b9df339 dab2e7b74a1c8d3fd70e7c9b3655c75248808362a4622efa8afe0bc62af31dc3 fc010647724decddeddbeb0939544217debf3eec2737ebf23a1f84aff88e9524 d1ccdab073a6e16e61537a20d861f1f359e322a110dff064ba455d84a669c12a 109c02cf471057a30d5d9b593293bd1d5bf4d7ddf4ab7c5e2fc006c151c8367f 71e812ed035e5db45d834fdd02acaa4a2fb525572943fb016ccfad8518a51f21 847f8946ab4f0ac038c231d81615648e5d9fc6b3e9bdda573287028854f8ef0c 43a8705133b1faadd28a32d0671129e038b2049aa513c7c87be4cf4b053c160c 8e3b9aa889e33235132f47f8db8c0abfec9a62e9abdc5bcc30dababd09cf13ac 783e23582bb175aa6ec98f70b9c284694a8a0d997722dd48599ea1e2ba3fe9ec 7ac91e97cc62e8ad04aede9af087d8b783eba26340ed5eb76108cf1b5f31c250 068fe972a0fd6fed7a82fc63ce9730575ad3cc0433650a0ba41d6412248e8384 01997c2dad558f5e7944bd58222bddb83df1b68728d9b34570b6756a1850eacb d60508af637e83e883578364d9129134babdbe93fc4a3278eb7ecd8cc34325bd 43763b5cef02f2e7b514631b0ad1d2410765c3c022f04642acd68079b1b57387 ab4cdb200a06339b2ee393a5a9382270feb140b1c5a5024ddeee3f20fa0a86b6 bb97af2e74d3b029ab39e9f23172be63b7afa0fb231d2a383e3e3b4363deed5b 2c28613ff6cad22a3cfdb2b3484edb0bca4bf993185f9fb26d5275d6212a29f2 a3fdbf9de9e954d92166ed8d235270ff0dd9af64760283e71a93e97be4507bf4 70240bba856b12e1cf8030b5b46f06e1ec67b3ef57862a22863096cd8bf7558e 8f93186729315b3f75adef8f77d2544f9c0f38e187b902482929ee7cc5fcc4c2 47eead63285b821217a8b94ff7dc662abaf1d1939f29a085ddb59e9df13e1d67 12218ff911a95455e3c94c25c7a80074ef071639e272c62a2d999aba618c86a5 541c2caa684578af1427c996a29f9e5c5ff0f0041e35ffbb310beba46dcbe2ca 9c06524630bfd5d5f646f78e782d8e50f57c45fcf6f8493261cfff7bef84e98f 835022b5e207864cf89f8bff6baa9c2f519ac03ca535eacdeb6477444c689546 2bc8b336cf0765f20adb92402a7abd47a39b9e5c3a8c7569c597c675cc1a88b0 b064f914003dfaafe3fedb670044be0379cda5663c90b365538ccad58bb3b898 d17111c9b7080097e9e0b0a7f73287f8f1d9b4af1a65d4dcaf6212ebf660625c 3682dbc4be7b347461e1737c4534e3f6783aff912fdc1064f1d33c0d1ebca2f0 91a65944a302312d882959e29388fe72bc3523aef5ed7318e012f2c1302b338b 82a1af03ded745abc2b11ff63bea126c5c9710a5cef8f48256148ef50c7ee68c 99f74b5c4c8a9a8729e643e1be0050c364466aa3678fd92087282e8e10e37124 c3a6b790a63a825c411589cddd1beeceffc3faf2261fe42ab80d21186f4a2fc8 3ff987e925b1e6544e301940e7d82f01daf846c7912e46a581cbcbe960550dfc e13b9234c118011c61514aab461ad0d85799049aa405e6b2f3bf4afb3253e3ab 9a76917d95795b4afb08246cb465667b04bee5ce48c4b5989aaacd4e1b21bfa5 32b9a9f97897e9e3e5d80b08eb76ab7c262e01e88e043716aaaffe3c0c3a4b25 38001e153cae80ede1b613f86796ebe365a78c294040eff5aab160527c56ddbb fdd52d570770cb4f048bb8c8c6de10663bf1f7428428dad14309674fd71db0af eae29100f9eba1db6cae60d5bcb2690cc92ca94bbd0081e4ddd44a8c346957d0 c8de2195b64657968f904296986240ade359433cacb0777afecd581b6eef7e2c 221c8e72a8a91cc70094584f8f1242844e96275555210e93516306f4aa6916e8 b5a94af7a77341a326845dd170ac2ab9de7608ed033b02f798f52efba5642af7 1a7b86cfffe826d5ea863e490526e35db06a39357c3e0998228f10c53f6e5785 a88712237c63ac4b43bba0886336c5bebbe89d4d3126b07077570791cd48181a b63a6d7bb1aeb4daeb1820599964657d16da3f62ed7eb638ecf13afcd960099a 1541ed7a0c628d9ee452715bc3435ee47a6a81f3a2701c4a703b43ac84f53324 494fecc696489d7db6636e0b385cab300c739b4a2ac492d98cecca8161aaea8c b2f777fa2ce95d9bedf82f9db7d2a4c2bf5cfba8082c5dc9e4c5fe5789033b8d 77e6e7e6988b316e65aa7b3cc24c191c1ef9603da3741d7ab116ff0b84fb74ff 0e4114d017f2c5fad55312495f44bf11115e0736ca0614cddc035f33d40a94ff 18044a72d4c974f20fc57d17e1430c91c4f5fc4b70e9d2b5a1cd9d43539822b3 dd45e6f7b715bdbd572a42f814e9f3a50a01e7fd86c3534ba90dd95ade42e716 0f4530d640eba364e9fcabc017917781fd62dd191318d4f3e338278e69787e39 4a3b68326f1e65007336f1d24929d76dedc9fbe54e1ec720116d35dc0c27c3b3 ffd2aa87bf5dcf82118af5b173f27d9a05539eee582d0c8e2298d50ba2ae43d7 22fee898f528210de141c883a8181d2be4c6bcbc3cfc0afda0c936dcc412cc0d 0ffa559751b04404fbb6ef892e1cabaec241ee0b6f917d98140bc7ec780a0749 08698637e0870c729b56bc966d402befde8c08575210d1fc7a2f0dcd0beb85e4 46e8024beb0078f91ec04e5bf38f06a6d5bb08b2b32586e058cde60f1cd9f039 f9b09bed9fdf6ff05dcf1c19cef2a463dd362e9483e235effbb3665b2f589b4c 60b189010176498c7c326fd5ef8474094dbb1cf2f9e74f307a608264832c4a6f 599aabd5b128428ee47ffc42c8f024f246315c2978984d06fca0f41d2b0c8ff1 670b6e4312791c198af631d7106e25042a5ccaeba15cbb1079d7b771f1e12af4 9cdc9b33e6ba36461bb4892bed07e5bf8abef3f6c66c6e2603f088f160b85803 0e0bd88887eb1418fc42053b05af54e015d62b39c31aacab2e2e5c9ba5c67996 46bdad829619706187bfcc61b6b0b2fa0047e16519cefd42ed2ce677b28ce90b ebdad3da7cfd741c00ddee4824a8b47d969dac2d7147706656f2af01e54ddae2 0068158c856e191cbbaedb9c79e76d0bff948b6681bab8f793cb4313baf3745b 48e6ef061fa44c8bb7cc3dda05d4c622e28d26ac11f2d67b59e24261145334d7 ac5935f91d41f1fc30df8c4ae3ec2dc6742ebb793f8091ce152a24e9d7953489 806875fea8974f5d6ad73f8888f7b1819b1ceeead5ab48cc3e85cec308300d2c 89d6636fa253a4effba8813634ae63a6a32c0cfbd2bcd108fbaeeb83cf0f2d29 09315f8afbbf667c8af0cfd4ca0aad9e4628b6695a722c08ad4934c46f2b427c a8e21b680ab6598aa350c85661eee3df3fbc10a00a39a245a1b5cfa88d8ced0b 07a4f5d0544527b71b5737c3848d4a947fa624f01977bf38d4d6d60364ec95a3 e635999950902ed88e616165b18d7c1692cee6b42da5d4e0c27be2645572a819 3a55d11a0ffc2bb6d4745ad330e15e120c3230c3866cf13fe71dd848b794e3d4 ead36fac7a31976c5da981833461edc53eb4b9ca5c7053c0ab8a434cdd3ed11f 6dc3f8c16745f9ca050a7f033c4aac5b4b6dde03ddade9ad53e6f8417c5c06f8 722b12374524f2cf8c9295e627c6a91097931e09414d47ac52bd91d1c84afd17 3e1879a06a9d3921bfaba8db1c9d9db38a63456604ea1f7b17e6b1455edab280 1f5236d211aa1993d900aa039f49068a7b488a0c77afe1c3e2e9249ae06f1719 9b6cf1246c2decfa28831b6e629a288a44c00b7ee217df142cd22dbf26323da0 ba68ed85c8c340c307230c48069637aea068250ceb2c21ec523a4aded784a77a c0c2d48cd00a5167f14fe9e62889616bd14b19a268d4ecd09e3b52861c61984f 9edf531f5ca9d8facc6671bde6999fd515e4f64c85a6bc8dbc4f751798589449 c6909bb85f6fe7489e2fe2d1dff225014a69949f16c42c2d6f4c1d6f791f1613 e5ab09b5ec04d39ac4c0b647dcc8edff8f18bd7d9982f588cfc4e43fe933a72d 507404d881c99cdc11d5ca663af5607e9d566f2574e438d83ac5cc4d926c1c4f a8d4e51bbef276340ae53bb186f4084d368dbf6a5682efa217a4454ae6ecb90c 2b9f2a45798c636eeb4b7cfe07a84ae1ce00450b23132994343b12087f24a4a9 81f9e9957a945077ec6568cf2730387c1f9a015d3c7ea6641e3aae4ee9bb267b b689569d9dd234fed9ea988ef68706ee0ac5429c4c7ef6682b048ae2c0150da5 cfc2921ad531ce6dba0e42cdfa6fe8eada7c4b8790a570e06ae08ee95059ce7e 9c5e51cc115355871041886105603316656c1a695eca20b19a1d14ee939f776d 0da5d267ee191f40414e39a29ee41019b1b566cfee01ae50c16a908374fc1b0b 2bc3c4e57a84abc7f4ebdc4fd04fee40bb2337161c406d9ceca4e9ac28063806 806e480da064ef70616b5bf2eee2f4de6795b9718aa083634b3f29c49a612ae8 98fa5e04128bb3c632dad00e1bb793273cc191527b1c4a8d4b8798d6352d4078 b5586824c21b52ad9f7880b8c2f4211aeb50b76bb3dbb12c8ee2b04a48538640 5e11188d5aa34144cbabbdddaf78445385e07b2736ce48e80f6a767ab1adb423 79024fc26f381e926cd928f8af685cc30ffe15e90592441a2c8a503ce969905b d03080b6736f65e419551a2d096e625ab7bcc7a53f5a0b46a735d4f07da0ca59 8f7f6784dee661247d65ddbaab028ee27cd1307eded769e1ba3e640a2e5b300c 2b7c4ea4cd480fc11094c3ce7caf9456fb90456d4fd8e6dc0e82cd3a0d8abfd4 1679d05afcea021e28587c6890e2b9dd5c6b931cf1b2f7af94e0118ac283fc5c 57235325866fcb42b487b830043766b742eb99899c4ff11aa2c223f3166f2b6d a44bbceb08965809cb4187940b7c0fb12a429a4e3605e81b573f6f1ec8e5c3ed 79073a9628f0167fe7f560c72872881313c16444314ac5a7589a7db128579eca 003cae1ca973dca8343de1d7f8638bad9975074b70c99d290519138851f2fb39 ffd41e8108e105be172d5b1522af4fc109de9fcc45564cc238db65873daa68fd f0b40ded39cb02dfc91c276437812fb5662869c20ac9f94660cff7675ec42c62 d2c9328be923d08bf164654610948d5ba9868e7b53c345eb94a52fa9ee151987 551d7502ab11e12daa3e2eda602ebb9853a0f0501feb5e89b8b1320b50c2d4e4 bb3b6589de28880e04172a0a06b8149f33c809e64ea286971536f91a9be6575e c7d281c4e04b50af538d8a1606baa3aab1fad336bb425dbd0a7c27de3f00bca0 16c639b7dc98a23220e708663566964cf7f92c97638cb5cb3cc927768dc6ebe9 5df6a87dc640f78c30ab38ef43e4416b9f3327fc5146f349787f75f520c2ff27 a3806a6546ecd856c8de6291c26e4185914c21af661cc297dff65ba7b1298e26 9fe9ed6e08cf962fe44dcfc659f51917bb5a58c80d9e039d3cc8e30f4965621e 2c848be9f7f360ff77a7dd5ace917d2eb00244cb266556fed8fefbd5f6d2a132 e55fdbdb0f50a06333cbac9839184604d462e67cd913efc762c70b59bab30ed0 9e0c4fe52cfa13108876fc496753cdf0e937c31a803e3e10eb37b4a8ed1a7245 d07210b897b42665fd36492c225aa4010cd77d504e9818094b1f0516e008fd43 34b4b5cd0239802cfee07f129b2a89d4a3968fee5e354fec4e1c004a7eac46e6 5b1c8806f2d54d641f6b058bc2e2a75cd650a53f1b7e2ff5d2e6c5a415035c2c e2c8b6b070aa05949018e52e7bef29b1a98daf468c2ac54db65f0b0e5c265f19 f0964201dc2bc434ad1e5411feed29e813639ac35cd80e5cf1b8948205373da9 0956d65d475e707cbda761cfd3f9a43d6bf3f3e45df82d1763bbe8f59741a9a3 8d0bf0839b629984ce64406a4e2c60ec24c996514b7123ea6388e7aae12cab7f d13e266f1028b644c9bc8d6e6be59b0d3cdc455474b961aa77772a2a2c73a8e5 7228606a4a3b82f72ed165c68fdf29fe1b38b23e3e444a4d3b6f574b4d6575cb ec7e7dd69cc31933f370184a799061bcfeb0989dc612c51dc86862434b0c3539 bc771d1df8b9741d7833fe1c5bdec54eb3573fb750bbecdf41debcd7764f0490 3411602cf46aff39062122c174c7ae16921a674b9507572097a0c6558e0896fc 310ea8c6734ce14f78a6eef352238520d2b264f43c8af476d63fd9f38f325196 55b99d3e71a35abeb5da3e6e0a77913865a5441f62a74ed7da5657b15f8b820a 09ffbc35512cf7c4774e2e7eb4d1f678e88ce7138cd87d95a5197e8c38081ccb 7ca623c0fb98b13f703e96d0d142adf6d1b0669c7bcb916c589bb47ed42cb17a 24208e956fcc52789d573987822e98a10135e0d985a9f962a614c8369f589a87 338c8ee7d66df51e63a18c74b4e0a01bb806b90bf67564bf46661eb985b67aa7 5c99fd24429e86366fb8493846e058709c25d2a22313a7f0b9213d70f7b44b4b 39f047620ebc48913527288b9b7b1164f449d38376db1ac5689f5feb4cb0c5da 04cc639e27b8e3cbb910a7988f2c849722cceb34c202bed71e5e34d0c312c82b d8e3a265ade30418e910059851ab947dceeb5806f3d61b7a109f6ac308beae0e cfc730681c96d8a7c4460618af7d4b3bc877f8d0ebb657d32f3f9eb6abb4b0b2 b0d4f81bac8d074602a270b37036c6f2107cf473cacc6575510aafac7266038b be4052cf455030d63fdc1e0ed379bdfcabfd2bbd06612b1c0ef5c3a520072b39 2f1ac46fd0f96852c923ed5605192a4458b3cab713993ae27eba1c0c0c022f08 08e2d079328ccdf8275568fef0e3f41da4b9e80c5b6e691f25bb5e2fefb1f2bc a5dff2838a832254e6b0aff29350d0f68f1e481d31e4a66610bf21966d53ed0e fab272fd191a21458ac6e1436159bba2df1a7adf503452b15177b96a290c1ff9 5ecd3ce55b5fe2a4aa6f34d01ea33fc323a16c90a8c7d8fb5f72d0cda724e1d7 2448b59ad4bdb7c3edff83386619aa8b307f2d9dee0cbacdb6dc72e4b3fbfaff 21e9ae3207c68e417ccc0ac682bf8db94b3a5c5c4dc008505b154eff096899a8 153091ce3c07e6388a28d84f30c28002942ad755d37e92745d436775e85df775 486cb34a7583ea5826d89690566a6b88072e96d1190e41feee69c38d019e6493 5a03243bf3caf73e53ba91cc89f80f507507c69079c796c5a2a820eb565664d6 430e43a66db6da3120148128064db435439d198827ee86f94c63b6e7678ebc11 a7a867ff663b6d5cbde7527f5ed630a202329a4fac0cb991d9c582f1b5ed551f 8b7f3e19cd96e513635c76ffbd0f6eed25957f976b2c9dac3d87972e34dd63f9 9111bfb0488cd313a11aa5ff562cfc0feb895492b12532f9d30759114b7817a4 032fb3cf1edc07f028a004fdadd15fa4e40724c723bdd2e2e400d4ea0ea17051 7ada75e4fec722516c2912c97070473dac30064c73f021b7ce6170defde389c9 ecc6af64dc16ecbddda824b1f2a169c4eaec9bfaccdd9674d3e8723b08983325 51ef0ac9ebb1fce152acc5edd149248808e092822a31cfeb6f77b367eb6d59d3 9421d43d1bfefc60d4352bf33bf078dec54e7608709166a2362d33b995554e5e d5b81d5f99dcac486cb6a28787f5672cc3fca0408e295790164e775e2667953a 4319f32d14c4c913ce3daa3bd74623bba19d612713f3e8a5c945e2a5799ce3e2 d7ca0d6874dc0d13ebe2aac2f68db0d08aec28653c9d1e5e99c6c551ea14ba00 7638aeadfd9fea796a73fca3d50b936c020d043fcaae8bca1e672054174eeba0 1783044a86903cad5c610348351246a88cc6e4b3277fd071e1b4cfde965cff80 0ca675706eb51e1713db91f33ba127c71c5fa2d4a7af2db8ad06ccf24829d8fa c0c3e19ca082145b61b526cfadce9146b1e60b31ebc07cf6ea276ff5a52a8405 a53cfeba4267da5422794eec2e2b3e6967c9a19cd057964b8fb3439536bb13f8 e63a6ad4dd4e345d5154238c558c5b03da3e9a4484e26fee7e7756a17db10373 15e22896990cd8f8be324e6868f902715cddf082f2cad8bac46b8fc4a96da39a 7cf6a052b81ec6ad74e6313ea4e2375c65aae79dd363b1a9f7cffe7f4894a21e b42d6009fff595dea5281e4ec17984e6e40b05fd8d3f5a16f8692d0cd0c319e7 b9b4dc5ed3024af8f00958a7e1474a6b68fe782b75cb62eae22f8633181da3d4 9f247becb1cc4960244b0e56b7d6785820f1258f949473d984cf39438d0ef58f 03cb4f75e827df6e800e5053208fec7792c22775a44eb4046f91e1f716313027 62bfd125b097441788258af781ef863010845cd7b04764e37fd2d73604ecd785 9236fe431925e6555bcc220ee3f92f79d1c5e97a4258fd957177037c69abf9b7 2dd9f23cacf78ce0a2bafb87e2dc63e871cf2612c91da337a585b966f2885a6a 6489117f835029e4eb105ab68e1e7df1a258ac2b6f21dba529e9731616c93453 70b907edac83f222e695a2283835c07ecb80bce285e5f3b69fbc35396c214ad0 2b7edcb19848f261b3919bebbcd2c411e180bbd02b06bcf5179bc5004cccd9f9 acc137056ce639005bf02e5af8a185a59cde24aae49500b5b941a9b8b28b7757 208d49bc4e19ca9e6dcca16050fd1ebf5eb0afc7055ab0abc70187eea62a5205 44dada18a7513007db12e8346e37da01b91bc12c3f6d15be925bbdc9ffbbaefe ea9f6c881401b42f8195ca3d133938158f692e690f958db5ec08d119dd43c5d5 80b9aae271df335288e2bf9033166602f5ec97849a588cdcda8f2c1ae148c242 f97a2b89a083feb26585cc753f9b0b559a97fe482bd80257c11348670f3bdb86 4571952c7825815580e13b4ee37aa0e8d8b085ce63ec40456acd5d5b96452a33 f806b6a873269f02373cab6850699b7cd719d31ae9a0f70a476aeee0fdef49b9 eea1b60ca773eba5bdfdf04a694d9cb4d33a5b7e5dd26cddda04e1b7902e68c5 5440379dfd8119a61d49025d8ba3c267b5f1b7504c2c231288f0fcc104772924 48be9e11233320825f4c68e7e554f6c5c33107147a0ce4ed3cf405509a8510a3 afbd9d625eb48c22432b33521ad460e3e5fcc9f31090d3db9b9909a9c7179a07 7eecdd0ef2ed1f0e9108ccbc08ea1f487906aa685b13c3eb57f0590cc672ab6f b71aa0b6cabea97e4d14c192d8ad00f69e6dd634c84d201171052d236a366ebd 93ec784444f119f40ef0d02aab795a4c5fb3b6d43ecdf26d5ea7f337c54651e1 51f667acb44b432d3f1f70365b1fd11b969a1f278cae4d6ce2872120bea9fd2d ffe0bf012e7251e901f842bc73fd2bb4299d35a13ec8de0a1ab5ff77d4d68b61 cf21448347de503cc090e4b1b05132b9a27312fbca37b5708b6898b41946a559 5efa8fe0a3bd1760684fd13794334795da9f8f656769eb0ce30ee221934ccf3e 60f1196801b2aa1a9a4ad8898e3ca928fe9329b30f649a089bb034832913d738 eb87837d68d8aa7b08eac9908bfae13e9a33c800df02279f5b8090edbb4cdc45 7fe4d6b00d1e8a8b53119e19f9a273121d2025b4e5648427405ff087640e52fc e9a982944e0751729ceda2eb69f1e76b31a361c3b855ecda14bea4af235890ce 5fb14cda89490ade0c751185f6dc02fe317a5f87dacf8450692d4bd354350c3f 0e7aa600f00ad58b183decf2d68ce9ade724aecda1ea3d1d8001842555c151ee 23fa4c7f4cfa95e8212bf9f38654341fcde58e06ea3152aba644a00a43ba060c 0f74e49f158fbd556d5898c0a39e373560020f5a6a42be980e4db6878463b0cc 180b3b88ea12433837310573eaa79dc61a7a9fbdb67024456475a032528280de 144cb1f11f098ae0ef2cad3eebdf4e1f870991c6cbcc57dc992cc01d3f998a39 d90723af2d8fefec22761993356e95ad6f9fa255ecd3de3da5b3394feca78f3e 3ac003874daa15bbe961cb3e5fa277345bff9e18d05749e9bbbf8c0444a7dd3c f45923e3959b8b9b184759d36331612ba1684252ba898d124c5cba4739c4bbb3 2292fdf771560b317ec78978b9131a1cd2a50efa99cfee633ad63851d130f8da e78d3c93712da41e82d06ab98102874680a84d66d9da223bd226816a8da25b96 197028a409a2f55056335f1571e3839258f41fe30ed3bc901d5dbb56fe10a5b0 a7110142575cdd985c3454587b705909cc2144b7e0c0e7d7f13e61148996344e 81477ad656ff81edf2286ccf5c1914e7d263070771af417f5e195c 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont TeXDict begin 39158280 55380996 1000 600 600 (SoftwareProcess.dvi) @start /Fa 133[44 44 44 44 44 44 44 44 44 1[44 44 44 44 44 44 1[44 44 44 44 44 44 44 44 44 1[44 2[44 6[44 5[44 44 44 4[44 44 2[44 2[44 6[44 44 3[44 44 3[44 44 44 44 45[{}42 83.022 /CMTT10 rf /Fb 132[48 1[50 1[69 50 53 37 38 39 50 53 48 53 80 27 50 29 27 53 48 29 44 53 42 53 46 10[72 73 66 53 72 72 65 2[91 3[36 4[73 69 1[72 20[27 31[53 12[{}39 83.022 /CMBX10 rf /Fc 240[42 15[{}1 83.022 /CMSY10 rf /Fd 134[59 3[62 44 44 46 1[62 56 62 93 31 2[31 1[56 34 51 62 50 1[54 13[62 84 1[77 84 5[42 20[56 56 56 56 3[37 45[{}27 99.6264 /CMBX12 rf /Fe 139[44 5[46 8[42 3[46 25[64 18[41 52[{}6 74.7198 /CMCSC10 rf /Ff 133[34 41 41 55 41 43 30 30 30 41 43 38 43 64 21 41 23 21 43 38 23 34 43 34 43 38 3[21 38 21 6[55 43 57 13[59 55 1[58 7[38 38 5[38 38 2[21 1[21 5[60 3[38 22[45 11[{}44 74.7198 /CMR9 rf /Fg 139[34 35 36 14[39 49 43 31[67 65[{}7 74.7198 /CMBX9 rf /Fh 139[49 5[51 8[46 3[51 25[71 18[46 52[{}6 83.022 /CMCSC10 rf /Fi 134[40 1[55 38 45 28 34 35 38 42 42 47 68 21 38 25 25 42 38 25 38 42 38 38 42 10[62 62 59 47 61 1[56 64 62 74 3[32 62 64 54 56 63 59 58 62 6[25 4[42 42 2[42 42 42 1[30 25 4[25 26[47 12[{}52 83.022 /CMTI10 rf /Fj 133[37 44 44 60 44 46 32 33 33 44 46 42 46 69 23 44 25 23 46 42 25 37 46 37 46 42 3[23 42 23 3[85 62 62 60 46 61 65 57 65 62 76 52 65 43 30 62 65 54 57 63 60 59 62 5[23 23 42 42 42 42 42 42 42 42 42 42 42 23 28 23 65 1[32 32 5[42 20[46 46 48 11[{}75 83.022 /CMR10 rf /Fk 136[97 2[52 53 55 2[67 75 4[37 2[41 61 1[60 1[65 13[75 2[92 8[106 18[67 52[{}15 119.552 /CMBX12 rf end %%EndProlog %%BeginSetup %%Feature: *Resolution 600dpi TeXDict begin %%PaperSize: A4 %%EndSetup %%Page: 1 1 1 0 bop 1081 523 a Fk(Soft)l(w)l(are)47 b(Pro)t(cess)e(in)g(Gean)l(t4) 180 705 y Fj(Gabriele)26 b(Cosmo)55 b(\(CERN,)28 b(Genev)-5 b(a,)27 b(Switzerland\))180 804 y Fi(for)j(the)g Fh(Geant4)g Fi(Col)t(lab)l(or)l(ation)p Fj(.)1723 907 y Fg(Abstract)502 987 y Ff(Since)f(its)g(erliest)g(y)n(ears)g(of)g(R&D)e([1)q(],)j(the)e Fe(Geant4)g Ff(sim)n(ulation)h(to)r(olkit)h(has)e(b)r(een)g(dev)n(elop) r(ed)387 1079 y(follo)n(wing)34 b(soft)n(w)n(are)e(pro)r(cess)g (standards)g(whic)n(h)f(dictated)g(the)f(o)n(v)n(erall)i(ev)n(olution)f (of)h(the)f(pro)t(ject.)387 1170 y(The)36 b(complexit)n(y)f(of)h(the)f (soft)n(w)n(are)j(in)n(v)n(olv)n(ed,)f(the)e(wide)h(areas)h(of)f (application)h(of)f(the)f(soft)n(w)n(are)387 1261 y(pro)r(duct,)20 b(the)f(h)n(uge)g(amoun)n(t)g(of)h(co)r(de)g(and)f(Category)h (complexit)n(y)-6 b(,)21 b(the)e(size)h(and)f(distributed)f(nature)387 1353 y(of)29 b(the)e(Collab)r(oration)k(itself)e(are)g(all)g(ingredien) n(ts)f(whic)n(h)g(in)n(v)n(olv)n(e)g(and)f(correlate)j(together)e(a)h (wide)387 1444 y(v)l(ariet)n(y)e(of)h(soft)n(w)n(are)h(pro)r(cesses.)42 b(Although)27 b(in)g(\\pro)r(duction")h(and)f(a)n(v)l(ailable)i(to)e (the)g(public)h(since)387 1535 y(Decem)n(b)r(er)i(1998,)j(the)c Fe(Geant4)h Ff(soft)n(w)n(are)h(pro)r(duct)f([2)q(])g(includes)g (Category)h(Domains)g(whic)n(h)f(are)387 1627 y(still)c(under)d(activ)n (e)i(dev)n(elopmen)n(t.)33 b(Therefore)26 b(they)e(require)g (di\013eren)n(t)g(treatmen)n(t)g(also)i(in)f(terms)f(of)387 1718 y(impro)n(v)n(emen)n(t)31 b(of)g(the)g(dev)n(elopmen)n(t)f(cycle,) j(system)f(testing)f(and)g(user)g(supp)r(ort.)51 b(This)31 b(article)i(is)387 1809 y(mean)n(t)26 b(to)g(describ)r(e)h(some)g(of)g (the)e(soft)n(w)n(are)j(pro)r(cesses)g(as)e(they)f(are)i(applied)f(in)g Fe(Geant4)g Ff(for)g(b)r(oth)387 1901 y(dev)n(elopmen)n(t,)f(testing)i (and)e(main)n(tenance)h(of)g(the)f(soft)n(w)n(are.)416 2034 y Fj(Keyw)n(ords:)35 b Fh(Geant4)p Fj(,)27 b(PSS-05,)f(SPICE,)h (Bo)r(o)r(c)n(h,)g(UML)180 2235 y Fd(1)112 b(In)m(tro)s(duction)180 2416 y Fj(Man)n(y)39 b(soft)n(w)n(are)f(pro)r(cesses)g(are)h(addressed) f(in)i Fh(Geant4)g Fj(arising)e(from)i(v)-5 b(arious)38 b(pro)r(cess)h(categories:)180 2516 y(primary)c(life-cycle)i(of)f(soft) n(w)n(are)f(dev)n(elopmen)n(t,)k(supp)r(orting)d(life-cycle,)j (managemen)n(t)c(pro)r(cesses,)j(or-)180 2616 y(ganisational)24 b(life-cycle)i(and)g(user-supplier)f(pro)r(cesses.)35 b(T)-7 b(ailoring)25 b(of)i(pro)r(cesses)d(is)j(sometimes)f(required) 180 2715 y(b)r(ecause)e(of)g(qualit)n(y)-7 b(,)25 b(of)g(stabilit)n(y)f (requiremen)n(ts,)g(or)g(due)g(to)h(the)g(ev)n(olution)f(phase)g(of)g (a)g(sp)r(eci\014c)h(domain,)180 2815 y(or)h(in)h(order)f(to)h(adapt)g (a)g(pro)r(cess)f(to)h(the)g(p)r(eople.)37 b(Soft)n(w)n(are)26 b(Pro)r(cess)f(Impro)n(v)n(emen)n(t)h(\(SPI\))h(is)g(a)g(pro)r(cess)180 2915 y(whic)n(h)g(m)n(ust)g(b)r(e)h(applied)f(with)h(the)g(full)g(supp) r(ort)f(of)g(all)g(parties)g(concerned,)f(gradually)g(and)h(after)g (iden-)180 3014 y(tifying)32 b(the)h(righ)n(t)e(priorities)g(and)h(ob)5 b(jectiv)n(es)31 b([8].)51 b(In)32 b(this)g(pap)r(er)g(w)n(e)g(will)g (men)n(tion)g(a)g(set)g(of)h(soft)n(w)n(are)180 3114 y(pro)r(cesses)21 b(relev)-5 b(an)n(t)22 b(for)g Fh(Geant4)p Fj(;)j(most)e(of)f(the)i(related)e(pro)r(cedures)g(and)g(metho)r(ds)i (of)e(application)h(w)n(ere)180 3213 y(already)j(e\013ectiv)n(e)h (during)g(the)h(dev)n(elopmen)n(t)f(phase)g(of)h(the)g(pro)5 b(ject)27 b([1)o(].)180 3414 y Fd(2)112 b(Primary)37 b(life-cycle)i(pro)s(cesses)180 3596 y Fj(The)32 b(life-cycle)g(mo)r (del)g(adopted)g(for)g(most)g(domains)g(in)g Fh(Geant4)g Fj(is)g(b)r(oth)h(iterativ)n(e)e(and)h(incremen)n(tal)180 3696 y(\(also)g(called)h Fi(spir)l(al)h Fj(approac)n(h\))e([9].)54 b(The)33 b(steps)g(among)f(Analysis)h(of)g(Requiremen)n(ts,)h(Design,)h (Imple-)180 3795 y(men)n(tation)k(and)i(T)-7 b(esting)39 b(are)h(rep)r(eated.)74 b(Re\014nemen)n(ts)40 b(and)g(extensions)g(to)g (the)h(design)e(ha)n(v)n(e)g(b)r(een)180 3895 y(applied)31 b(according)e(to)i(new)h(requiremen)n(ts)e(or)g(p)r(erformance)g (issues.)47 b(In)32 b(the)f(curren)n(t)g(Pro)r(duction)f(and)180 3995 y(Main)n(tenance)c(phase,)i(the)g(life-cycle)f(mo)r(del)h(is)f (iterativ)n(e)g(for)g(most)g(domains.)256 4106 y Fc(\017)118 b Fb(Requiremen)m(ts)30 b(elicitation)h(pro)s(cess)416 4205 y Fj(Problem)g(domain)i(and)g(use-case)e(analysis)h(led)h(to)f (elicitation)h(of)g(the)g(User)f(Requiremen)n(ts)h([10)o(])416 4305 y(during)38 b(the)h(initial)g(phase)f(of)g(the)h(pro)5 b(ject.)69 b(User)38 b(Requiremen)n(ts)g(ha)n(v)n(e)g(b)r(een)h (systematically)416 4404 y(review)n(ed)21 b(and)h(up)r(dated)h(follo)n (wing)e(the)i(ESA)f(PSS-05)f(soft)n(w)n(are)f(engineering)h(standard)g ([11].)35 b(The)416 4504 y(User)22 b(Requiremen)n(ts)h(Do)r(cumen)n(t)h (\(URD\))h(is)e(no)n(w)f(main)n(tained)h(in)h(a)f(source)f(rep)r (ository)f(pro)n(viding)416 4604 y(also)k(automatic)h(v)n(ersioning;)f (it)i(will)f(b)r(e)h(sub)5 b(ject)27 b(to)f(revision)f(during)h(y)n (ear)f(2001.)35 b(Sources)25 b(of)h(the)416 4703 y(URD)36 b(for)e(sp)r(eci\014c)i(pro)5 b(ject)34 b(domains)h(are)f(also)g(k)n (ept)h(and)g(main)n(tained)g(in)g(the)g(rep)r(ository)f(and)416 4803 y(a)n(v)-5 b(ailable)26 b(to)i(mem)n(b)r(ers)f(of)g(the)h(Collab)r (oration.)256 4903 y Fc(\017)118 b Fb(Soft)m(w)m(are)33 b(Design)416 5002 y Fj(The)28 b(Bo)r(o)r(c)n(h)f(\(Uni\014ed\))i([9)o (])f(metho)r(dology)f(has)g(b)r(een)h(emplo)n(y)n(ed)f(for)g(the)i(Ob)5 b(ject-Orien)n(ted)26 b(Anal-)416 5102 y(ysis)j(and)h(Design)g(of)g (the)g(soft)n(w)n(are.)43 b(The)30 b(Bo)r(o)r(c)n(h/UML)f(notation)g(w) n(as)g(c)n(hosen)h(as)f(the)h(common)416 5201 y Fi(language)i Fj(for)e(do)r(cumen)n(tation)h(of)g(designs)f(and)h(in)n(ternal)f (design)h(reviews.)46 b(The)31 b(Rational)f(Rose)416 5301 y(CASE)g(to)r(ol)h([12)o(])g(has)f(b)r(een)h(extensiv)n(ely)f (used)h(for)f(the)i(initial)f(generation)e(of)i(the)g(design)f(do)r (cu-)416 5401 y(men)n(ts)23 b(and,)h(where)e(required,)h(for)g(rev)n (erse)e(engineering.)34 b(A)23 b(correct)f(domain)h(decomp)r(osition)f (and)p eop %%Page: 2 2 2 1 bop 416 523 a Fj(a)24 b(w)n(ell)h(considered)f(set)h(of)g(dep)r (endencies)h(\(a)n(v)n(oiding)d(circular)h(use)h(relationships\),)g (allo)n(w)f(w)n(orking)416 623 y(groups)i(asso)r(ciated)h(to)g(eac)n(h) g(Category)f(domain)i(to)f(w)n(ork)g(largely)f(in)i(parallel,)f (establishing)g(also)416 722 y(a)36 b(hierarc)n(h)n(y)g(for)g(deliv)n (ery)-7 b(.)65 b(Standard)36 b(do)r(cumen)n(ts)h(pro)n(vided)g(for)f (arc)n(hitectural)g(and)h(detailed)416 822 y(design)30 b(are:)42 b(the)31 b(class)f Fi(Cate)l(gory)j(Diagr)l(am)p Fj(,)g Fi(Class)g(Diagr)l(ams)p Fj(,)f Fi(Sc)l(enario)i(Diagr)l(ams)d Fj(and)g Fi(Class)416 922 y(Sp)l(e)l(ci\014c)l(ations)p Fj(.)256 1021 y Fc(\017)118 b Fb(Soft)m(w)m(are)33 b(Construction)416 1121 y Fj(Programming)18 b(and)i(co)r(ding)h(guidelines)f([13)o(])h(w)n (ere)f(adopted)g(since)h(the)g(b)r(eginning.)35 b(It)21 b(w)n(as)e(felt)j(im-)416 1220 y(p)r(ortan)n(t)i(not)g(to)h(imp)r(ose)f (to)r(o)h(\014xed)f(rules)g(or)g(st)n(yle-con)n(v)n(en)n(tions,)f(but)i (just)g(\015exible)g(and)g(adequate)416 1320 y(guidelines)h(basically)g (dealing)g(with)i(adhesion)e(to)h(the)g(ob)5 b(ject)27 b(orien)n(ted)f(paradigm)f(\(data-hiding,)416 1420 y(encapsulation,)42 b(etc.\),)j(p)r(erformance,)d(and)e(p)r(ortabilit)n(y)g(of)g(the)h (soft)n(w)n(are.)73 b(P)n(ac)n(k)-5 b(aging)38 b(of)i(the)416 1519 y(soft)n(w)n(are)32 b(strictly)h(follo)n(ws)f(the)i(domain)f (decomp)r(osition)g(in)n(to)g(Categories)f(and)h(sub-Categories)416 1619 y(whic)n(h)28 b(resulted)g(from)g(the)h(design)f(pro)r(cess.)39 b(Wherev)n(er)27 b(applicable,)h(classes)f(de\014ning)i(in)n(terfaces) 416 1719 y(are)h(pac)n(k)-5 b(aged)29 b(in)j(sub-Categories)c (separately)i(from)h(the)g(concrete)f(classes)g(implemen)n(ting)h(suc)n (h)416 1818 y(in)n(terfaces.)41 b(In)30 b(suc)n(h)f(a)g(w)n(a)n(y)-7 b(,)28 b(classes)g(b)r(eloging)h(to)g(a)g(Category)e(collab)r(orate)h (to)h(pro)n(vide)g(a)f(set)i(of)416 1918 y(services)c(in)i(a)f (re-usable)f(w)n(a)n(y)-7 b(.)256 2017 y Fc(\017)118 b Fb(Soft)m(w)m(are)33 b(In)m(tegration)f(and)g(Unit)g(T)-8 b(esting)416 2117 y Fj(System)22 b(aggregates)d(that)j(can)g(b)r(e)g (tested)g(together)f(are)g(iden)n(ti\014ed)i(according)d(to)i(the)g (dep)r(endency)416 2217 y(structure)37 b(of)g(Categories.)64 b(Related)38 b(tests)f(are)f(regularly)g(monitored)g(as)h(part)g(of)g (the)h(routine)416 2316 y(testing)24 b(pro)r(cedures)f([17)o(].)36 b(Unit)25 b(testing)f(is)g(p)r(erformed)f(indip)r(enden)n(tly)i(within) g(eac)n(h)e(Category)g(or)416 2416 y(sub-Category)-7 b(,)25 b(trying)i(to)h(maximize)f(co)n(v)n(erage)e(as)i(m)n(uc)n(h)g (as)g(p)r(ossible.)256 2516 y Fc(\017)118 b Fb(System)31 b(T)-8 b(esting,)31 b(Acceptance)i(and)g(Releasing)416 2615 y Fj(System)38 b(T)-7 b(esting)38 b(activit)n(y)f(is)h(deplo)n(y)n (ed)f(b)n(y)h(a)g(sp)r(ecialised)f(team,)k(the)d(System)g(T)-7 b(esting)38 b(T)-7 b(eam)416 2715 y(\(STT\).)37 b(Pro)r(cedures)d(for)i (testing)h([17)o(])f(and)h(releasing)d([18])i(are)g(de\014ned)g(and)h (strictly)f(applied.)416 2814 y(The)j(release)g(pro)r(cedure)f (foresees)h(that)h(tags)e(for)h(the)h(v)-5 b(arious)39 b(Categories)e(are)i(submitted)i(in)416 2914 y(groups)28 b(where)i(the)g(order)f(follo)n(ws)f(the)j(dep)r(endency)f(structure)g (de\014ned)g(b)n(y)f(the)i(class)e(Category)416 3014 y(Diagram.)66 b(Acceptance)38 b(tests)g(whic)n(h)g(are)f(also)g (included)h(in)g(routine)g(system)f(tests)h(are)f(built)416 3113 y(and)e(run)g(separately)f(b)n(y)i(the)f(Release)g(Manager)f (during)h(the)h(release)e(phase.)60 b(Public)35 b(releases)416 3213 y(are)27 b(sc)n(heduled)h(t)n(wice)h(a)f(y)n(ear)f(at)h(\014xed)g (dates.)39 b(Bug-\014xes)27 b(are)h(collected)g(and)g(p)r(erio)r (dically)g(made)416 3313 y(a)n(v)-5 b(ailable)26 b(as)h(public)h(patc)n (hes)f(or)g(minor)g(releases.)256 3412 y Fc(\017)118 b Fb(Soft)m(w)m(are)33 b(Main)m(tenance)416 3512 y Fj(In)f(order)f(to)h (ac)n(hiev)n(e)f(main)n(tainable)g(soft)n(w)n(are)g(and)h(ensure)g(its) g(qualit)n(y)-7 b(,)33 b(the)g(adoption)e(of)h(stan-)416 3611 y(dards,)22 b(wherev)n(er)f(p)r(ossible,)i(is)f(promoted.)35 b(Encapsulation)21 b(of)h(comp)r(onen)n(ts)g(is)g(maximised,)h(in)n (ter-)416 3711 y(dep)r(endency)29 b(and)g(unit)h(complexit)n(y)f(is)g (minimised.)42 b(W)-7 b(e)30 b(try)f(to)g(assure)f(p)r(ortabilit)n(y)g (of)i(the)f(soft-)416 3811 y(w)n(are)i(b)n(y)h(constan)n(tly)g (monitoring)f(the)i(ev)n(olution)f(of)g(compilers)g(on)g(di\013eren)n (t)h(system)f(arc)n(hitec-)416 3910 y(tures,)26 b(and)h(b)n(y)f(a)n(v)n (oiding)f(adoption)h(of)g(system-dep)r(enden)n(t)h(solutions)f(or)g (not)g(p)r(ortable)g(language)416 4010 y(features.)55 b(T)-7 b(raceabilit)n(y)32 b(of)i(up)r(dates,)h(extensions)e(and)h (bug-\014xes)f(to)g(the)h(co)r(de)g(are)f(assured)f(b)n(y)416 4110 y(means)g(of)g(main)n(taining)g(ad-ho)r(c)g(history)g(\014les,)i (regularly)d(tagging)g(the)i(co)r(de)f(and)h(b)n(y)f(trying)g(to)416 4209 y(disen)n(tangle)26 b(routine)i(dev)n(elopmen)n(t)f(from)g (bug-\014x)g(up)r(dates)h([18)o(].)256 4309 y Fc(\017)118 b Fb(User)32 b(Supp)s(ort,)f(Distribution)416 4408 y Fj(The)19 b(terms)g(of)h(the)f(User)g(Supp)r(ort)h(in)f Fh(Geant4)g Fj(are)g(de\014ned)g(in)h(the)g(article)e(2)h(of)h(the)f (Memorandum)416 4508 y(of)38 b(Understanding)g(\(MoU\))h([3])g(do)r (cumen)n(t.)69 b(Con)n(tact)38 b(p)r(ersons)g(for)g(eac)n(h)g(w)n (orking)e(group)i(are)416 4608 y(nominated)33 b(and)h(are)f(resp)r (onsible)g(for)g(managing)g(and)h(resolving)e(problem)h(rep)r(orts)g (submitted)416 4707 y(b)n(y)e(users)h(through)f(the)h(WWW)h(b)n(y)f (means)g(of)g(the)g Fh(Geant4)g Fj(Problem)f(T)-7 b(rac)n(king)30 b(System)j([24)o(],)416 4807 y(based)22 b(on)g(a)g(customised)g(v)n (ersion)e(of)j(Bugzilla)e([26)o(].)35 b(The)23 b Fh(Geant4)f Fj(WWW)i(site)e([2)o(])h(also)e(pro)n(vides)416 4907 y(on-line)36 b(do)r(cumen)n(tation,)i(a)e(F)-9 b(A)n(Q)36 b(page)f(and)i(the)f(list)h(of)f(con)n(tact)g(p)r(ersons)f(for)h(eac)n (h)g(W)-7 b(orking)416 5006 y(Group)25 b(domain.)36 b(A)26 b(public)g(User)f(F)-7 b(orum)25 b(based)g(on)h(Hyp)r(ernews)f([25)o(]) h(has)f(b)r(een)h(recen)n(tly)f(set)g(up.)p eop %%Page: 3 3 3 2 bop 180 523 a Fd(3)112 b(Supp)s(orting)38 b(life-cycle)g(pro)s (cesses)256 705 y Fc(\017)118 b Fb(Do)s(cumen)m(tation)416 805 y Fj(As)39 b(user)f(do)r(cumen)n(tation)h([19)o(],)j Fh(Geant4)d Fj(pro)n(vides)e(six)i(do)r(cumen)n(ts)g(\(a)n(v)-5 b(ailable)38 b(on-line)g(from)416 904 y(WWW\))h(addressing)d(inheren)n (tly)i(di\013eren)n(t)f(topics)h(and)f(lev)n(els)g(of)h(exp)r(ertise.) 67 b(User)37 b(examples)416 1004 y(distributed)22 b(with)g(the)h(to)r (olkit)f(are)e(referenced)i(in)g(the)g(do)r(cumen)n(tation)g(in)g(form) f(of)h(a)g(self-tutorial,)416 1103 y(with)28 b(di\013eren)n(t)h(lev)n (els)e(of)h(detail)g(from)g(\\no)n(vice")e(to)i(\\adv)-5 b(anced")27 b(applications.)37 b(A)29 b(T)-7 b(raining)27 b(Kit)416 1203 y(T)-7 b(utorial,)43 b(do)r(cumen)n(ts,)i(pap)r(ers,)f (publications)c(and)h(m)n(uc)n(h)g(more)f(is)h(also)f(a)n(v)-5 b(ailable)40 b(from)g(the)416 1303 y Fh(Geant4)27 b Fj(WWW)i(site)f([2) o(].)256 1402 y Fc(\017)118 b Fb(Con\014guration)31 b(and)i(Change)e (Managemen)m(t)486 1502 y({)118 b Fi(Softwar)l(e)39 b(Con\014gur)l (ation)g(Management)p Fj(:)57 b(A)37 b(serv)n(er)e(for)i(soft)n(w)n (are)e(and)i(do)r(cumen)n(tation)652 1602 y(rep)r(ositories)23 b(is)h(in)h(place;)h(it)f(is)f(based)g(on)h(CVS)g([20)o(])g(as)e(basic) i(to)r(ol)f(for)g(concurren)n(t)f(v)n(ersion)652 1701 y(managemen)n(t.)36 b(The)27 b(co)r(de)g(and)g(do)r(cumen)n(ts)g(in)g (the)h(rep)r(ositories)d(are)i(accessible)f(to)h(mem-)652 1801 y(b)r(ers)g(of)h(the)g(Collab)r(oration)d(through)i(AFS)h([21)o(]) g(at)f(CERN)h(and)f(also)g(through)f(\\pserv)n(er")652 1900 y(read/write)g(access.)486 2000 y Fb({)118 b Fi(T)-6 b(agging)38 b(and)f(V)-6 b(ersioning)p Fj(:)52 b(Category)33 b(co)r(ordinators)f(ha)n(v)n(e)i(the)h(resp)r(onsibilit)n(y)f(of)h (man-)652 2100 y(aging)e(the)i(dev)n(elopmen)n(t)f(within)i(their)e (Categories)f(and)h(pro)n(vide)g(tags)f(for)h(testing)h(and)652 2199 y(releases)i(follo)n(wing)h(w)n(ell)g(sp)r(eci\014ed)h(rules)g ([18)o(].)70 b(The)39 b(STT)g(will)g(then)g(run)g(the)g(system)652 2299 y(tests)28 b(for)g(the)h(supp)r(orted)f(arc)n(hitectures.)38 b(The)28 b(Bonsai)f([26)o(])i(to)r(ol)f(is)g(used)g(as)g(database)f(to) 652 2399 y(automatically)i(detect)h(an)n(y)f(new)g(tag)g(in)n(tro)r (duced)h(in)n(to)f(CVS.)h(A)h(global)d(reference)h(tag)g(is)652 2498 y(pro)n(vided)19 b(ev)n(ery)g(mon)n(th,)j(including)e(all)g(tags)g (whic)n(h)g(passed)f(system)h(v)-5 b(alidation)20 b(tests.)35 b(The)652 2598 y(tag)22 b(is)h(announced)f(and)h(made)g(a)n(v)-5 b(ailable)21 b(to)i(dev)n(elop)r(ers)e(and)i(collab)r(orating)e (Institutes)i(for)652 2697 y(dev)n(elopmen)n(t.)36 b(User)27 b(do)r(cumen)n(tation)h(is)f(tagged)g(according)e(to)j(the)g(public)g (releases.)256 2797 y Fc(\017)118 b Fb(Qualit)m(y)32 b(Assurance)g(and)g(Measuremen)m(t)416 2897 y Fj(Co)r(de)27 b(w)n(alk-throughs)e(are)h(p)r(erio)r(dically)g(p)r(erformed)h(through) g(sp)r(ecialized)f(to)r(ols)h(for)g(monitoring)416 2996 y(against)37 b(violations)f(of)i(established)g(co)r(ding)f(rules.)68 b(The)38 b(Co)r(deWizard)f(to)r(ol)h([14)o(])g(is)g(used;)43 b(an)416 3096 y(automatic)31 b(mec)n(hanism)g(for)g(submitting)h(co)r (de)f(\014ltering)h(for)f(unit)h(Categories)d(has)i(b)r(een)h(put)h(in) 416 3196 y(place)26 b(and)h(is)g(a)n(v)-5 b(ailable)25 b(to)i Fh(Geant4)g Fj(dev)n(elop)r(ers.)35 b(Chec)n(ks)26 b(on)h(run-time)g(memory)f(managemen)n(t)416 3295 y(are)35 b(regularly)f(p)r(erformed)h(b)r(efore)h(eac)n(h)f(public)i(release;)h (to)r(ols)e(lik)n(e)f(Insure++)g([15)o(])h(and)g(SUN)416 3395 y(W)-7 b(orkshop)27 b([16)o(])i(are)f(used)h(o)n(v)n(er)e (selected)h(test-b)r(ed)i(applications.)39 b(Chec)n(ks)28 b(for)g(violations)g(of)g(the)416 3494 y(dep)r(endency)e(structure)g (of)g(Categories)e(at)j(macro)d(lev)n(el)i(are)f(p)r(erformed)h(p)r (erio)r(dically)g(and)g(corre-)416 3594 y(sp)r(ondance)d(with)h(the)g (main)f(class)g(Category)e(Diagram)h(is)i(monitored.)35 b(P)n(erformance)21 b(monitoring)416 3694 y(on)f(selected)h(test-b)r (ed)h(applications)e(is)g(applied)h(at)g(unit)h(lev)n(el)e(for)h (Categories)d(where)j(p)r(erformance)416 3793 y(is)27 b(critical.)256 3893 y Fc(\017)118 b Fb(V)-8 b(eri\014cation)32 b(and)g(V)-8 b(alidation)416 3993 y Fj(A)n(t)26 b(macro)e(lev)n(el,)i (the)g(dep)r(endency)h(structure)e(of)h(Categories)d(is)j(v)n (eri\014ed)f(against)g(the)h(main)g(class)416 4092 y(Category)g (Diagram)h(tak)n(en)g(as)h(reference.)37 b(General)28 b(functionalities)g(of)g(the)h(T)-7 b(o)r(olkit)27 b(are)h(v)n (eri\014ed)416 4192 y(at)k(ev)n(ery)f(new)h(revision)g(of)g(the)h(URD)g ([10)o(].)51 b(V)-7 b(eri\014cations)32 b(of)g(functionalities)g(and)h (co)n(v)n(erage)c(at)416 4291 y(unit)35 b(lev)n(el)f(are)g(under)h (resp)r(onsibilit)n(y)f(of)g(eac)n(h)g(Category)f(Co)r(ordinator,)i(as) f(w)n(ell)g(as)g(unit)i(tests)416 4391 y(and)28 b(v)-5 b(alidation)27 b(of)h(new)g(dev)n(elopmen)n(ts)g(or)f(\014xes.)38 b(New)28 b(dev)n(elopmen)n(t)g(is)g(v)-5 b(alidated)27 b(b)n(y)h(the)h(STT)416 4491 y(once)38 b(all)g(system)h(in)n(tegration) e(tests)i(ha)n(v)n(e)e(b)r(een)i(successfully)f(p)r(erformed,)j(pro)n (vided)d(that,)k(in)416 4590 y(collab)r(oration)21 b(with)j(Category)d (Co)r(ordinators,)h(system)h(tests)g(ha)n(v)n(e)f(b)r(een)h(extended)h (to)f(co)n(v)n(er)e(also)416 4690 y(the)28 b(new)f(in)n(tro)r(duced)h (functionalities.)180 4896 y Fd(4)112 b(Organisational)39 b(life-cycle)g(pro)s(cesses)256 5077 y Fc(\017)118 b Fb(Pro)5 b(ject)33 b(T)-8 b(asks)32 b(Managemen)m(t)416 5177 y Fj(Managemen)n(t)g(of)g(the)i(pro)5 b(ject)32 b(is)h(under)g(con)n(trol)e(of)i(the)g Fh(Geant4)g Fj(Collab)r(oration) e(as)i(sp)r(eci\014ed)416 5277 y(and)23 b(dictated)h(in)f(the)h Fh(Geant4)f Fj(Memorandum)g(of)h(Understanding)e([3].)36 b(Gean)n(t)23 b(4)g(is)g(organised)f(in)416 5376 y(w)n(orking)j (groups;)h(eac)n(h)h(w)n(orking)e(group)h(is)i(resp)r(onsible)e(for)h (one)g(sp)r(eci\014c)g(domain)g(of)g(the)h(to)r(olkit)p eop %%Page: 4 4 4 3 bop 416 523 a Fj(where)26 b(w)n(ell)h(sp)r(eci\014ed)g(tasks)f(are) g(asso)r(ciated)g(to)h(it.)37 b(Eac)n(h)26 b(w)n(orking)f(group)h(is)g (represen)n(ted)g(in)h(the)416 623 y(TSB)f(b)n(y)g(its)g(Co)r (ordinator\(s\).)35 b(Ob)5 b(jectiv)n(es)25 b(are)g(de\014ned)i(ev)n (ery)e(y)n(ear,)g(discussed)g(within)i(the)g(TSB)416 722 y(meeting)c(and)g(presen)n(ted)f(to)h(the)g(CB.)g(They)g(are)f (review)n(ed)g(generally)f(during)i(the)g(TSB)g(meetings,)416 822 y(join)n(t)k(reviews)g(or)g(in)h(the)g(Collab)r(oration)d(W)-7 b(orkshop)27 b(organised)e(once)j(ev)n(ery)e(y)n(ear.)256 922 y Fc(\017)118 b Fb(Impro)m(v)m(emen)m(t)32 b(Pro)s(cess)416 1021 y Fj(A)e(plan)f(for)g(SPI)g([4)o(])h(w)n(as)e(formally)h(presen)n (ted)g(at)g(TSB)g(meetings)h(and)f(appro)n(v)n(ed)e(as)i(one)g(of)g (the)416 1121 y(milestones)23 b(for)h(y)n(ear)e(2000-2001.)32 b(Priorities)22 b(and)i(ob)5 b(jectiv)n(es)23 b(w)n(ere)g(iden)n (ti\014ed)h(and)g(the)h(appro)n(v)n(ed)416 1220 y(SPI)39 b(program)f(is)h(curren)n(tly)g(b)r(eing)h(applied.)72 b(F)-7 b(ormal)39 b(assessmen)n(ts)f(based)h(on)h(the)g(exemplar)416 1320 y(mo)r(del)20 b(ISO-15504)d(\(SPICE\))j([6])g(are)f(p)r(erformed.) 34 b(SPI)20 b(is)g(considered)f(life-cycle)h(driv)n(en,)h(therefore)416 1420 y(progresses)h(of)j(the)g(established)f(program)f(are)h(constan)n (tly)f(monitored.)36 b(Reac)n(hing)23 b(the)j(capabilit)n(y)416 1519 y(lev)n(el)h(of)g(an)h(established)f(pro)r(cess)f([5])i(in)g(the)g (pro)5 b(ject)26 b(is)i(a)f(k)n(ey)g(ob)5 b(jectiv)n(e)27 b(for)g Fh(Geant4)p Fj(.)180 1725 y Fd(References)180 1907 y Fj([1])117 b(S.Giani)57 b(et)f(al.,)63 b Fi(GEANT)57 b(4)f(:)92 b(A)n(n)55 b(Obje)l(ct-Oriente)l(d)h(T)-6 b(o)l(olkit)57 b(for)g(Simulation)f(in)g(HEP)p Fj(,)385 2006 y(CERN/LHCC/98-44,)25 b(No)n(v)n(em)n(b)r(er)h(1998.)180 2106 y([2])117 b Fa(http://cern.ch/ge)o(an)o(t4)p Fj(.)180 2206 y([3])g Fa(http://cern.ch/ge)o(an)o(t4/)o(or)o(gan)o(is)o(at)o (ion)o(/M)o(OU.)o(ht)o(ml)o Fj(.)180 2305 y([4])g Fa(http://cern.ch/ge) o(an)o(t4/)o(mi)o(les)o(to)o(ne)o(s/s)o(of)o(twa)o(re)o(\\_)o(pro)o(ce) o(ss/)o(OO)o(AD-)s(it)o(ems)o(.h)o(tml)o Fj(.)180 2405 y([5])g(ISO/IEC)31 b(Join)n(t)h(T)-7 b(ec)n(hnical)31 b(Committee)i(1)f(\(JTC1\),)h Fi(ISO/IEC)h(DTR)g(15504)i(Softwar)l(e)e (Pr)l(o)l(c)l(ess)385 2504 y(Assessment)p Fj(,)27 b(Pro)5 b(ject)26 b(Editor:)36 b(T)-7 b(erry)27 b(Rout.)180 2604 y([6])117 b(ISO/IEC)28 b(Join)n(t)h(T)-7 b(ec)n(hnical)28 b(Committee)h(1)g(\(JTC1\),)g Fi(ISO/IEC)j(DTR)f(15504-5)i(Part)e(5:)42 b(A)n(n)30 b(As-)385 2704 y(sessment)f(Mo)l(del)j(and)e(Indic)l(ator)g (Guidanc)l(e)p Fj(,)f(Pro)r(duct)e(Editor:)36 b(Jean)27 b(Martin)g(Simon.)180 2803 y([7])117 b(M.P)n(aulk)34 b(et)h(al.,)h Fi(The)h(Cap)l(ability)i(Maturity)d(Mo)l(del:)53 b(Guidelines)38 b(for)f(Impr)l(oving)g(the)f(Softwar)l(e)385 2903 y(Pr)l(o)l(c)l(ess)p Fj(,)28 b(Addison-W)-7 b(esley)27 b(Publishing)h(Co.,)f(1995,)f(ISBN)h(0-201-54664-7.)180 3003 y([8])117 b(D.A.Reo)36 b(et)f(al.,)i Fi(Me)l(asuring)g(Softwar)l (e)g(Pr)l(o)l(c)l(ess)g(Impr)l(ovement:)53 b(ther)l(e's)37 b(mor)l(e)g(to)g(it)f(than)h(just)385 3102 y(me)l(asuring)30 b(pr)l(o)l(c)l(esses)p Fj(,)e(ESI)g(-)f(FESMA)h(99,)f(Septem)n(b)r(er)g (1999.)180 3202 y([9])117 b(G.Bo)r(o)r(c)n(h,)100 b Fi(Obje)l (ct-Oriente)l(d)82 b(A)n(nalysis)h(and)h(Design)f(with)g(Applic)l (ations)p Fj(,)102 b(The)85 b(Ben-)385 3302 y(jamin/Cummings)28 b(Publishing)f(Co.,)g(1994,)f(ISBN)i(0-805-35340-2.)180 3401 y([10])117 b(RD44,)27 b Fi(GEANT)j(4)g(User)g(R)l(e)l(quir)l (ements)e(Do)l(cument)p Fj(,)f(CERN,)h(1998.)180 3501 y([11])117 b(ESA,)27 b Fi(Guide)k(to)f(User)f(R)l(e)l(quir)l(ements)g (De\014nition)g(Phase)p Fj(,)g(ESA)f(PSS-05,)e(1994.)180 3600 y([12])117 b(I.White)27 b(and)e(M.Goldb)r(erg,)h Fi(Using)i(the)h(Bo)l(o)l(ch)h(Metho)l(d,)g(a)e(R)l(ational)h(Appr)l(o) l(ach)p Fj(,)f(Rational)d(Rose)385 3700 y(Corp.,)i(The)h (Benjamin/Cummings)f(Publishing)g(Co.,)g(1994,)f(ISBN)i(0-805-30614-5.) 180 3800 y([13])117 b Fa(http://cern.ch/g)o(ea)o(nt4)o(/c)o(ol)o(lab)o (or)o(ati)o(on)o(/c)o(odi)o(ng)o(\\_g)o(ui)o(del)o(in)o(es)o(.ht)o(ml)o Fj(.)180 3899 y([14])g Fa(http://www.paras)o(of)o(t.c)o(om)o(/p)o(rod)o (uc)o(ts/)o(wi)o(za)o(rd/)o(in)o(dex)o(.h)o(tm)p Fj(.)180 3999 y([15])g Fa(http://www.paras)o(of)o(t.c)o(om)o(/p)o(rod)o(uc)o (ts/)o(in)o(su)o(re/)o(in)o(dex)o(.h)o(tm)p Fj(.)180 4099 y([16])g Fa(http://www.sun.c)o(om)o(/fo)o(rt)o(e/)o(cpl)o(us)o (plu)o(s/)o Fj(.)180 4198 y([17])g Fa(http://cern.ch/g)o(ea)o(nt4)o(/w) o(or)o(kin)o(g\\)o(_gr)o(ou)o(ps)o(/te)o(st)o(ing)o(/t)o(est)o(in)o(g.) o(htm)o(l)p Fj(.)180 4298 y([18])g Fa(http://cern.ch/g)o(ea)o(nt4)o(/w) o(or)o(kin)o(g\\)o(_gr)o(ou)o(ps)o(/te)o(st)o(ing)o(/t)o(ag\\)o(_r)o (el)o(eas)o(e\\)o(_po)o(li)o(cy)o(.ht)o(ml)o Fj(.)180 4397 y([19])g Fa(http://cern.ch/g)o(ea)o(nt4)o(/G)o(4U)o(ser)o(sD)o (ocu)o(me)o(nt)o(s/O)o(ve)o(rvi)o(ew)o(/ht)o(ml)o(/i)o(nde)o(x.)o(htm)o (l)p Fj(.)180 4497 y([20])g(P)-7 b(.Cederqvist)26 b(et)i(al.,)f Fi(V)-6 b(ersion)30 b(Management)h(with)f(CVS)p Fj(,)e(Sign)n(um)f (Supp)r(ort)h(AB,)g(1992.)180 4597 y([21])117 b Fi(The)31 b(AFS)e(User)g(Guide)p Fj(,)g(IBM)f(T)-7 b(ransarc)25 b(Corp.,)i(April)h(2000.)180 4696 y([22])117 b(G.Cosmo,)26 b(G.P)n(a)n(wlitzek)g(and)g(H.P)-7 b(.W)g(ellisc)n(h,)27 b Fh(Geant4)i Fi(Design)g(Pr)l(o)l(c)l(ess)g(Assessment)p Fj(,)e(In)n(ternal)385 4796 y(Note,)h(Septem)n(b)r(er)g(2000.)180 4896 y([23])117 b Fa(http://cern.ch/g)o(ea)o(nt4)o(/w)o(or)o(kin)o(g\\) o(_gr)o(ou)o(ps)o(/te)o(st)o(ing)o(/t)o(est)o(in)o(g.)o(htm)o(l)p Fj(.)180 4995 y([24])g Fa(http://wwwinfo.c)o(er)o(n.c)o(h/)o(as)o(d/c)o (gi)o(-)t(bi)o(n/)o(gea)o(nt)o(4/p)o(ro)o(bl)o(emr)o(ep)o(ort)o(/)p Fj(.)180 5095 y([25])g Fa(http://geant4-)t(hn)o(.s)o(lac)o(.s)o(tan)o (fo)o(rd.)o(ed)o(u:)o(509)o(0/)o(Gea)o(nt)o(4-)s(Hyp)o(erN)o(ew)o(s/)o (ind)o(ex)o Fj(.)180 5194 y([26])g Fa(http://bonsai.mo)o(zi)o(lla)o(.o) o(rg)o(/)p Fj(,)274 b Fa(http://bugzilla.m)o(oz)o(ill)o(a.)o(or)o(g/)p Fj(,)g Fa(http:)385 5294 y(//tinderbox.mozil)o(la)o(.or)o(g/)o Fj(.)180 5394 y([27])117 b Fa(http://lxr.linux)o(.n)o(o/)p Fj(.)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF