%!PS-Adobe-2.0 %%Creator: dvips(k) 5.95a Copyright 2005 Radical Eye Software %%Title: partiel05.dvi %%Pages: 2 %%PageOrder: Ascend %%BoundingBox: 0 0 595 842 %%DocumentFonts: CMR17 CMR12 CMR10 CMBX12 CMSY10 CMMI10 CMSY8 CMR8 %%+ CMSS10 CMMI8 CMEX10 CMTI10 CMBX10 %%DocumentPaperSizes: a4 %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips partiel05 %DVIPSParameters: dpi=600 %DVIPSSource: TeX output 2005.11.22:1858 %%BeginProcSet: tex.pro 0 0 %! /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/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]{Ci}imagemask restore}B/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 0 0 %! 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]FontType 0 ne{/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}{{1 index type /nametype eq{exit}if exch pop}loop}ifelse[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: 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 73 /I put dup 100 /d put dup 110 /n put readonly def /FontBBox{-301 -250 1164 946}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 2BDBF16FBC7512FAA308A093FE5F00F963068B8B731A88D7740B0DDAED1B3F82 7DB9DFB4372D3935C286E39EE7AC9FB6A9B5CE4D2FAE1BC0E55AE02BFC464378 77B9F65C23E3BAB41EFAE344DDC9AB1B3CCBC0618290D83DC756F9D5BEFECB18 2DB0E39997F264D408BD076F65A50E7E94C9C88D849AB2E92005CFA316ACCD91 FF524AAD7262B10351C50EBAD08FB4CD55D2E369F6E836C82C591606E1E5C73F DE3FA3CAD272C67C6CBF43B66FE4B8677DAFEEA19288428D07FEB1F4001BAA68 7AAD6DDBE432714E799CFA49D8A1A128F32E8B280524BC8041F1E64ECE4053C4 9F0AEC699A75B827002E9F95826DB3F643338F858011008E338A899020962176 CF66A62E3AEF046D91C88C87DEB03CE6CCDF4FB651990F0E86D17409F121773D 6877DF0085DFB269A3C07AA6660419BD0F0EF3C53DA2318BA1860AB34E28BAC6 E82DDB1C43E5203AC9DF9277098F2E42C0F7BD03C6D90B629DE97730245B8E8E 8903B9225098079C55A37E4E59AE2A9E36B6349FA2C09BB1F5F4433E4EEFC75E 3F9830EB085E7E6FBE2666AC5A398C2DF228062ACF9FCA5656390A15837C4A99 EC3740D873CFEF2E248B44CA134693A782594DD0692B4DBF1F16C4CDECA692C4 0E44FDBEF704101118BC53575BF22731E7F7717934AD715AC33B5D3679B784C9 4046E6CD3C0AD80ED1F65626B14E33CFDA6EB2825DC444FA62096C7A22A88401 D5C2AAE3C9DAB540CA42A4D5DF1413C9EBCB9F7BE69F1201B7AF344BD369E46C 9C220B8A6645F3F23BEB7F649884C07E71E682AECB6DA67637FABD1965E5D0B4 163B3830E9CC6AB9549E771172BCFC420F51A9C588C1DE87FC4B566464EE275D AF58ECEDE8173B87B4A8A40895D8F49DBE762E391D75A799722AB090E7FB94E8 C012073C0C3769F76D911C8B31B07E074F8F00701775D335FEB59F18E5AA0200 0F39551C3DCEFE8BA4312F687010495FC0800761A6A974597A6591BB772B7C28 547ED995F4154FDB773A7D9E29FE46E464E602CD206F4D0D2CE6FF056175D006 3735367CB9BF382CB9A269DD804D0E5BAB0FEBB77BC95EDED08DB8941E040E49 C04ED9FC46A680DE6AD3D0BBF5EF644A3A2A34D1228FF74CCFA54911ACD0FF16 FEF122729B6E985FA028891B0605B75435B3075BA7DA5F6434B8BD5415002E30 826BB295C4BCCA4F916835F5683F03CF7C7A49D24985545A41071FAD8EDD0165 1746F55BAE6D20F6023F70CA48DAB3AEB92F8E68EDDE18506E73B4E392A7F9F6 6D9078BABBFE2E4AF4652A045415357139734A6378E81CF88EF1B4ABF193F6F0 F901537ABE3F175A24AB76A214B401F6E1DF2E0F680C6DFCDE0AE9F8750D5ACB CB0882F35AE8A3E3B1FE3903A941EA2093B04152A2A6292F0590D6F876223569 38E8367A8ADC72792BAA00AB685D0DA393D8576BC49FBD64F7A934E28ED9BDD1 71A3100D4D69D8A56566C0FA3EAC58EA3CD54376DEDD8CB84534728EE8FE2680 8EA08264BDEDEA38CC95F901CD12E71EF2071FD9CA74C817DE9C6214906BFFA7 042F3414FB4E568A3365B3C1540A2B6AF6545DD7B4C68A3F79464C1D64E30219 493B226C3327F8C9D7F9F6934B3D8E7C4719D0C3B184E4743E0565F63B59B384 B2E592B01FFF35D43362570423EF8B4069039B2B119DA89FCC5D526829AFA526 9D435FFC88C930E00C41B9413108F3DDD1C99DB7683A108CF8DF82D0D84D0E0B 99B789736594D7F6C77E249764F0243A03528359F9CA0BC7FD7E77265441DBB8 9C9A8C60F1524EACCE76A7B80573ABCFF480F55A32DA22ED192769D6CC323F3B 4B1413442B94AB47D95FBAC77EA50B78498A14EF0161FC90C0945C0BA1118644 9C44BC90C9E32729A11DD67EBCD4BA2206A43830B84D29D1FC422BAD559EF384 F6C06283843FA8B7D7CF2DAB90F2173DF3084C9821EABAB26B44644B9F269100 17AFF05A8A6B8FB03C094281A72AD4ADBDB3C5C666AE5D9F821E86CB5E92A8D6 284B33DF2322F78DE4099EB795A4C576DC1995201FDE2D0E1B7133CF7CE002E2 443EA35D214A25A7060BC8DCD2BBA7CFC86EF70100F1A6D77AE10B23722EACF7 13193DAF6AFF72720F2F45E6AF9BDA5FBE43A24958C0C88A154794E2CA92DFD2 404EA8AAF82DD27611183E9C143E458D92C7C0CEAB0242E7BC8D20FFB87231EC F4F897F73415F8135172F1773D86ECA6E5171084D85449027286626ED1E5A5A1 2677F6DDE336FBBF92A95AA02DCE5FC0AF251045B3FA8FB9BEBA4166F73EBE41 3678C8C5FFBB99A58A7C2D5F1205A4741081525B845F594D25CBD823DD85E057 46AEBF78DB7329C9B249A6D85D98E34E401C6B42CA2BE6542F3C4A1964DF1662 E0135C0A9169F0A61A8834C66BC8F4BA88E5714F4385DACA80D393BA6972AE76 E36C41E4CA618454684A379D88C01F8F8A1859AC1F61279ADE92246DAD9C30C3 0ECA2C386289EBB32D1104FEA8230BC9C1D79B3D1811F5F8224E282B3DB00614 1668B9CDC1EC159D5DD595E4903AF88D02230BBB7144D02A3B87B3DB2AC67C70 716BA48E049153149B7F9B2AEE8C2CA1F7ED8FCDC59F761F5E6828A702580A6B 45B2556783C1764F1B2D331214B5A8BD0AD5F64EDB470CF117020A28 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 44 /comma put dup 45 /hyphen put dup 58 /colon put dup 65 /A put dup 97 /a put dup 98 /b put dup 99 /c put dup 101 /e put dup 102 /f put dup 105 /i put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 115 /s put dup 116 /t put dup 117 /u put readonly def /FontBBox{-163 -250 1146 969}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA0529731C99A784CCBE85B4993B2EEBDE 3B12D472B7CF54651EF21185116A69AB1096ED4BAD2F646635E019B6417CC77B 532F85D811C70D1429A19A5307EF63EB5C5E02C89FC6C20F6D9D89E7D91FE470 B72BEFDA23F5DF76BE05AF4CE93137A219ED8A04A9D7D6FDF37E6B7FCDE0D90B 986423E5960A5D9FBB4C956556E8DF90CBFAEC476FA36FD9A5C8175C9AF513FE D919C2DDD26BDC0D99398B9F4D03D5993DFC0930297866E1CD0A319B6B1FD958 9E3948FFB0B4E70F212EC976D65099D84E0D37A7A771C3101D6AD26A0513378F 21EC3643079EECE0C9AB54B4772E5DCA82D0D4ACC7F42FB493AA04A3BF4A1BD6 06ECE186315DBE9CFDCB1A0303E8D3E83027CD3AFA8F0BD466A8E8CA0E7164CF 55B332FAD43482748DD4A1CB3F40CB1F5E67192B8216A0D8FE30F9F05BF016F5 B5CC130A4B0796EE065495422FBA55BEE9BFD99D04464D987AC4D237C208FA86 0B112E55CE7B3782A34BC22E3DE31755D9AFF19E490C8E43B85E17ECE87FA8B9 1485831624D24F37C39BF9972D74E6EC4784727AC00B9C4A3AD3DA1C22BD6961 7E0ADAF55422F22ACA5E4DCD4DF9FCD187A566B7FB661D0530454D0DD6C6C50A 7A3875C6CBF8EC7769F32A1F3F7FC1C072BADEC97794D4E90E0035282A170402 356E5A9CD9ABD80AC4342A5283E458A7269252F4541CBB6452B39ED54D336D0B 19928E9CD1AB26AD83EB209E2EC75011A2643813053B5DBB0246097C4821B5F2 C92554E9140BE35B2DBFCD98809A8EC9FC910FDE9E0D86457C70ACB056EBF90F 244DC0A5BBD455E15D6E3180311D52CF50B0BF7D0A7F64F3A1821E0AEDBC2E7B AEB549FE1D51088C153799C6E089B5D5D65E1C4E2D2B430CDF1FFA23CCB25D95 5C43C8942435D0AAA3D9055FF808F2C3C887A3C469BBD98F026D0A59E26BA9F9 C2144CFE49A9AD892D4D31764F0AE3A10644AE3966B0A790684B14D11FA49785 EC5565D2B2E584CBFD85125F3FAC133338DE35361943DCE9AF05FCF2840CE512 998D42CBEC52B57B79DD63F00985881E8463396ADA47189A94DDF951A78866F0 B8A3D9197E39335277EF2294308DA70065D910943A34F7D5F2090FB4AA42ED70 CBA469A9F64B95A6FBA4BC89DBC93765E3AE4723162DF3F9D6BDE77DD5870ADE C8900D6346957B84C3CE8CF47DE0552AD09E4838FB0F10F99C1389CFC4686DEB 31DEE2B4F08790D16F3041F9EFC88D77D02D39EC1157D538C0B41C1685D632EA CDC90C78A145838224866EA5C1299D942039DFF06157BA1886575C8115796C72 19F735AF881485DAC6D989490ADE623FD53D3DCABB2ABAEF03EE07C10DDF06EA 99B3174459E7BF82AD59FD366E775F2BDAA584B63EA0CB7C9786C3BE9F3808FC 75BBF201A290AA218F726809BA1644C7BFCB667D8A6123F3B3A1CF2A4175CB28 D96A02EFFF699204BCA272D8AA67F684D5532AD30B1D774EE23FBB29604CC4E9 9DEDC101CB9F8347925BE84C68A71D9CBB5B29FA5428AF70D551E95F7299A1D2 DCF4C6167682F9C3F1B89B3A30A1E81EFAF72253D60C0E00B8AB82727F0BC55D 119A85F44C0B6CA36C250279A47A218B2EAFCFDD06E1514481191EE4470AAA97 9DA75044FCB71AFBF3656ABCE4930EFBAC1920B492653BC4002DABB074B0D77A A8844842492A4696210C856D5F2E0C0C4F01D8F4D9DE4EC6E2507BAE77329798 B3684229F5E16856585F8FEEAAFC43811553E20E3860AED91B684FFE683DD62C 2FF9F1370437AC89DD46BD13115CC922E2AE6583EF0036315391E573500C0AA0 A9C7C629B76511D4A9B3EB349CF3D70005F07867DD5C0ADC758C985ED6A2D9B2 017B9AD9D91C4FA8500B932BD35C1A6363E0065D03A767E830B40D372B47B028 443040BF76D7F9EA081D6DA620877204C49A8A02765F41F0DFEA3D62B9460EA0 496F75F0DB99152A5954CFCA5BDDC8B01062652936117721EA5940DFF9502197 048DDDDD080753ABCD92F4816B1E9478C63D814174F08B83B4E8FD625ED5E545 427D1214EF53DB945A375FE87A47B468EF06773C6305447C51841FA168B4232F BB9D898F087D086F58AE7C2F37A6EB54C816DDBCAC60D5CC60041A13E581175A 4D6EB2D9E45A5934ED2DB06579DD0C6BA3A8CDC157A8DED1F591C401EF4244B9 DEF5FC50BBB3A6F66BCBE2D25F54825C68CEC32F408B82BE0424CE406ECD0C88 9BBCE8FC1D00992B9BFD137BDC1A44AF13A80C855D6E696A3D040EC31AB1FA16 059B60C6F4D5369254ED26A51BA4DC8FC7F41F7D2D0E03E4AB0FADD506049CC2 FFE4E0C4621E210D9DD7526C2D3B6942F1E249D4C9EA1EA962975BE804C53912 BEC8BEBB66DBDC27900475D2E8A8BCE9A5EAE06623A0300EE10BD88D8CEC5F32 DECBC87517C218837F3FF44E3547C4A68B1F40AD1466F114EA7ED3DF39F325AF 13D8F8820CF9A09A2C6CF4E89D8923BCF9B8862026953477D3009000C22D91FE AF81CBF093B061A9FFA6C09D2F040293056C7A73C3785CDFE58267122520F5DD 27E6811491C5A707BB29FF85D692E6D5E7711A1605375CA6BA20139C70682205 B439F9D751BB5C7540A90F779BA79131039E447B007F810C56FED60D04B5B577 A6A4DF51BF201BBD9C9FF95DA2D903EB28DAE4F4C8A3BB0BC770D34491F9F400 7DC9B102CA63DA3CA0BA14F04C970A930BEB73B22718F83736C04F9EB38ED2AF BAF2230855670DE5636B58385672D7074F773C89AF543ADE4D711337AF7951F8 06DB3F65ADB0F268428EC11B7D0B7D2102900AD5D44B1FA9F8A1608E66C5E600 E9A6341BB232B8E4DDD1BC135C47B2AD92DCD2190D966AE3BAC183CC4E1D031C 076BF70DE725BF7AB4655B1988E401223A1D507F076ABDBA314AD670137D822A 578EF3B5EF4B90FACFF1138C09089C436CD16C74C1AB4E46E39A679F260A086B 023049EBDDCBE384994EA4D0E931ACBC6FF7420A1D55AF2A277C18AB6C589E9F FF97E5F8718BC85AE5625251C765A097ADCAC78D4C196FD38084A28F4F8D151A 8BB6BD4B92C945F6BFD00A11CC436EC27BE0443F89FC293DB3E16AD8B4B41563 5BA2DD8E221060DE0636FDA0FE361F97F22CDE54A21CBAD4AF83FAB647B4CD04 26F7B1CE92B4AFEAE05AC292F5871C6838E29030F1987943F81DF1DA4CFFA94B 41985FBF862BF551BFDE2DB5079C796659F636579EB19025E99EEDDADDF003B8 26CCD24F4B630F84D43BD064903E3C07480D438BD54D7E8CC8C1E0A153E9D020 B82CEF7A379DFCADD46BA35552004B148719B8793EDAFC24AF9087F89909D86F D0A0B908884A224C81E1CFB57D966F13CF5770EC63168E7BEFF3C30441451E0A F7A60447055319275F42BBC584895335EAA1E6A8CFA63BA0B42D8EC9B74D0A90 373BD8BFE49BDA1F3A29F88E896BC871F1FCCBD3F881C5CDC76A680C60A0B0F7 1BB93017724DF3605B065B939CE59952994D2260C706DD49DA8CCAD67D1EADF2 8C2E988CBFB2E48C90991EA252B7F9C16FFAC912554AA41C4D7C279448C2241F 14456C29E10DD6004EAB4D8A71D500785FC5CD8EFA8C7F750A857165EFAC32D5 0689003060E5D0FF4E8C43469725A7778DF68B5FA84022E05F6AED7096493233 ED9BA10C8613C7D3BB498F0089FB19C5BB10E7778879A86F94CE149321FA9BCA F52CEEA7791457B6716A660F674CE9CB3AD24B1B3534769AB99C071A6F272D7E 22DF708ABE8882CFD6D6528AFA87A42930E03A5EBEB4FBDC6DAB67049942CDC0 7C4D47A676BEB191EABFFE8B09EC9E42D566F901D59EBF53AF3D0CD512408068 50E476682F35634E0DB52E4A8BE86404A675923E2BFE3F992F2825CEB3FD677F A4AC29C60DE64126C506BF9920A81D4D362FF149B517985EBDF0CCB1C7688FF4 D3DB5A56E6CC2F1CC0396B8319DBCB0D7BBAEE7B44610FA5D60E5755DB22DC8C 0B906B08827B2650DBA7D744DA54ECBE51F11D51191D0B93738484596C404E87 8EE5D2BE5FF232C766CB9C46B94098877CAF86D895D4F3FBBB40CE8E3B32A377 DE396A140F62D3AFC596C988A4E88D08EF8528A463E0EF4633BFFB93B70E9027 0575D31A5E1C280EFADCA3B39E06D5CC0172E2998086161B28C4D6B6A6F1E169 328BE52604AE3880275DF1914230E4C95882FBE80D9145D16251A1F61B9784CF 0EC4E7799FCA830EE030207309EA3A8C53052A6780C6C7FBC24637979AA03B11 7C5693C72E02AB65C382F3AC7992C3E7A11FB46715A13E3A433FB811C5391155 268D709B7C68BCE048D2C35F53C3C949FC74B26ADBF91B8BCC6BD549E79DF37E 488A0A16B7798192BA0E85DE1270BA29841499EC43961725C1B70A2CA307F016 75C83E160F1C8F349EB94F046B80159713D2F2E57A27AFB5DE4A320082ED6B36 D0A62169C44B39A8B54A5B3DE91C855BE6B4F020930138650B5A5CF766B5E273 F9E340AE3F18C01A45024597A3F97AAD8676F63DFBEE70D784C7407205B40C18 56B475541394D113C15ECD6812F1A0414638E05DF3998B1E0A6166FE4ADB1FEC 5A04BB8B79B012F80F30F7CBC4374BCAE0A1651158F0819D05C3ED370C8A25CF 62DBC0F0F6154BAE05FD0621DC0D59491BA82217D81BC1DC7E0DBA1A463FF6D2 5D95B16E40C88834103E9B1F5F2BA79C3DDDC1DB2089805CE53C1715AA3C25C6 4A4FD658638FDEB0BE864CC5AD3837EC374E4AA4D990226A6B03A0D6EA1BBCA1 DF66306B000E91F0F3F43D84896197C6231D536C3C0A561A1D64F3449D4A5F29 6D5891819124C1FB546DC1E4F48131CCC600189ADFAD73CAC8CC2D7F2B9311F4 E356D39AF73E578194FFCD5C7D3DAE3DF29EBF4F87EC8D3BFDBC0BABC5E54E9F AA3EF66EC4FFF48B70255D9A40B66F58FAFDDEB95D3B2FFFD5B42F78362C69F6 BFCA0FC76F28C599A2A85AD4466735B4D8CBF3030C1AF05E00837A85FCCE7390 12AE5C85479BE833FF9D19FB219587DC7A106D50BFDABA48C524D8542F5ABD9E 0F1C69E93AD91DDCB91B3A3C1E050BD6502CF40F8B5D4944974DFA953E764F33 13FEB572B996764B1CB380A04CA1EB626C89B83E340AF6CD219DE9C73C177B1B 1505DE28973ED824A0EAF4F8F472FBCE1D973B5C1C70EFEEF085C83E130520B2 B0E3E7EADC830AE609DA6A157F1A36E73F72AEAF1AEFCAC80E669ED032778015 20C933A08175425DB3A30572C52E1648C5FF4704B86CF73DAA0CBFE33574BC58 BAFAA1F52E6C5B5387063D15DD93FBA9220ACCFD24D8D3C5A523B18B18798813 4DA69EB4AF4DA555D7F85C8145DDB89468BA604474E92DC12A0FFCD8DA7D3D8A 49F77491B993E7C5EE5A3ACF042D075C67FC1DE40F002005FBA485D79A6BF45F A59F1BBFFEF3AA1C5CB5F01549161545EAA77721E10B15AA9F5199D127FFFAD9 C8915F73550FD977ABFD3DBD380C13D7869C61C0976542659B323F2EA798A314 7BA2C7992899E1211B6DE05A842A39933AD3FC3481240C432E2FEE14D04C6E2F 12D668FFAA6C85EBDE28A22B94B2A764187705D30ECB5ECCF8BAF5A555AB48F5 339BA9DD57083F81BBB836B7E9DA88A9829E9BF4A3D44EAFDA2E2EAF0954F254 FD4718199C179A33AB0EE340E79418D3247DDD14798DA443E4727DDB5FE04F1C CF60B6A4227554DBFFD135299D97DDAEBCCFD23C3E864FEC8D2EF69199BDA753 E224ED0A915B796FFC043680B886C47ED9239939C42EDA137415AEA5DC64B8DE 66295EDBD3B1FDC9C894529DBB5A73CA70E8C8C9AA825C1D7A0586C120FD29F3 38E02AE0AFDD4DB97A687066BB03347C393C6D9EC293BB9BD3AFA802CC0BD3BE B2D3D0E82DCD409F16B9A6ABED77E5F266414C2AAF9B919912A1794AA4B44649 B9A24531F4AAC5ADBBE17C7430F52F253DD3718F8B3F49BBBFA7D3D132C5E337 B485C3CB675B9826C090E78540F260ACA9CB9ADD8F020C26B2AD5820E3AB4DEB 79EF3B8E74810C6EC6203CC2520BF5A3596F73019EF142C7910FFBD276C62555 49746AD761F9B8495E3D47C136697711057A5B61FD19CA3AC5373E768917AB10 6C45649009621681DD9D429A1F3E94A0724958C8DF865F26A77BA7D9345E01F4 83ADE52E069A5217856940ADC18A8E67519B6F133922E81593F165DDBA039208 1DDA58165684A8CCDE2F039EF67618E49CC5C868280B83AE2042CE8B5412C8E0 2F602C61DF2952FCC333E85DBEB4927D0EA13303B111496C39F93010D0ACC4A3 5C42169F029AA6C4561E49C507092AAB679489FB6C7FF6D687B94B7FDDA6010F F394A6ED8B81272AF1C551D419CDDDF609412FD5B37E89569597591E72236B12 860B32A792C186C7A35EF40960F2524C1F36CA1C005224F9D4E46627A5D3F09E 621DB4DD225E403400B4460E5958062136E0455A74ABFA58CA64E3E04B64DED7 843D25DEED43A99FD27B10441028E25EE18B5B9BC19CF0412493E0C2E1466B1A D029D521EA4119D266CBEF9E3ECCC98E420F1D992BF9F058306298FDC8BD412E BD3FB7873F79ED76D952F398499CA984F88E0A31E1EE9767 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMEX10 %!PS-AdobeFont-1.1: CMEX10 1.00 %%CreationDate: 1992 Jul 23 21:22:48 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.00) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMEX10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMEX10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 26 /braceleftbigg put readonly def /FontBBox{-24 -2960 1454 772}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 2BDBF16FBC7512FAA308A093FE5CF5B8CAC6A7BEB5D02276E511FFAF2AE11910 DE076F24311D94D07CACC323F360887F1EA11BDDA7927FF3325986FDB0ABDFC8 8E4B40E7988921D551EC0867EBCA44C05657F0DC913E7B3004A5F3E1337B6987 FEBC45F989C8DC6DC0AD577E903F05D0D54208A0AE7F28C734F130C133B48422 BED48639A2B74E4C08F2E710E24A99F347E0F4394CE64EACB549576E89044E52 EABE595BC964156D9D8C2BAB0F49664E951D7C1A3D1789C47F03C7051A63D5E8 DF04FAAC47351E82CAE0794AA9692C6452688A74A7A6A7AD09B8A9783C235EC1 EA2156261B8FB331827145DE315B6EC1B3D8B67B3323F761EAF4C223BB214C4C 6B062D1B281F5041D068319F4911058376D8EFBA59884BA3318C5BC95684F281 E0591BC0D1B2A4592A137FF301610019B8AC46AE6E48BC091E888E4487688350 E9AD5074EE4848271CE4ACC38D8CBC8F3DB32813DDD5B341AF9A6601281ABA38 4A978B98483A63FCC458D0E3BCE6FD830E7E09B0DB987A6B63B74638FC9F21A5 8C68479E1A85225670D79CDDE5AC0B77F5A994CA700B5F0FF1F97FC63EFDE023 8135F04A9D20C31998B12AE06676C362141AAAA395CDEF0A49E0141D335965F2 FB4198499799CECCC8AA5D255264784CD30A3E8295888EFBC2060ADDD7BAC45A EEEECDFF7A47A88E69D84C9E572616C1AC69A34B5F0D0DE8EE4EDF9F4ADE0387 680924D8D5B73EF04EAD7F45977CA8AD73D4DD45DE1966A3B8251C0386164C35 5880DD2609C80E96D1AB861C9259748E98F6711D4E241A269ED51FF328344664 3AF9F18DCE671611DB2F5D3EA77EE734D2BED623F973E6840B8DAD1E2C3C2666 DD4DD1C1C8384F906A7BAACDF441BB0AAEA2A697E453C9A10A119BBE236F5B1D A83D85EB2E86D2BC3F4E65C9D1C5AB82A2F0393BE11E8B3A1552F8924A166CC4 8A99E3CC0979CE38A1456761F8C5DBF915AA41B3485C4E983B3083526E080A6B 53EF8F8D484978DD607648B81F9F157CDD199B15431418E01609C2CD25F257C4 6B62E3D04CFE2B5989BB5BE3DACBAB2052E433B01C68531590987AD30AF9DC31 44A6317E2B681EC9C42315B2DCBB382696E0421749D054A31D788177A53A5846 6C2F61C6E1D6A6ABB59BD3AF59F3789E79A000F629825C3BA2CA41A222136732 8254FC201CF7953B37799E2632AAA4CC500160D4C88C9BC54BB024731B1F19CB 2732358E87ECC98FEC634155EEC77A48A417C1EB10DBECB6A56892690F0AE70C 9F019ADBB190193D2F12D4E81B39F04EC40773E8BD5D238EB7CADD79C057BFB6 2CF4902333A32BC6F32CB024DCBF423A047330DE502074F6103BE7CD9E23D6B7 0D7F33DBE4736155F096C5E4DAA22ED1D5295E27 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMMI8 %!PS-AdobeFont-1.1: CMMI8 1.100 %%CreationDate: 1996 Jul 23 07:53:54 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.100) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMMI8) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.04 def /isFixedPitch false def end readonly def /FontName /CMMI8 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 80 /P put dup 107 /k put dup 112 /p put readonly def /FontBBox{-24 -250 1110 750}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA0529731C99A784CCBE85B4993B2EEBDE 3B12D472B7CF54651EF21185116A69AB1096ED4BAD2F646635E019B6417CC77B 532F85D811C70D1429A19A5307EF63EB5C5E02C89FC6C20F6D9D89E7D91FE470 B72BEFDA23F5DF76BE05AF4CE93137A219ED8A04A9D7D6FDF37E6B7FCDE0D90B 986423E5960A5D9FBB4C956556E8DF90CBFAEC476FA36FD9A5C8175C9AF513FE D919C2DDD26BDC0D99398B9F4D03D6A8F05B47AF95EF28A9C561DBDC98C47CF5 5250011D19E9366EB6FD153D3A100CAA6212E3D5D93990737F8D326D347B7EDC 4391C9DF440285B8FC159D0E98D4258FC57892DDF753642CD526A96ACEDA4120 788F22B1D09F149794E66DD1AC2C2B3BC6FEC59D626F427CD5AE9C54C7F78F62 C36F49B3C2E5E62AFB56DCEE87445A12A942C14AE618D1FE1B11A9CF9FAA1F32 617B598CE5058715EF3051E228F72F651040AD99A741F247C68007E68C84E9D1 D0BF99AA5D777D88A7D3CED2EA67F4AE61E8BC0495E7DA382E82DDB2B009DD63 532C74E3BE5EC555A014BCBB6AB31B8286D7712E0E926F8696830672B8214E9B 5D0740C16ADF0AFD47C4938F373575C6CA91E46D88DE24E682DEC44B57EA8AF8 4E57D45646073250D82C4B50CBBB0B369932618301F3D4186277103B53B3C9E6 DB42D6B30115F67B9D078220D5752644930643BDF9FACF684EBE13E39B65055E B1BD054C324962025EC79E1D155936FE32D9F2224353F2A46C3558EF216F6BB2 A304BAF752BEEC36C4440B556AEFECF454BA7CBBA7537BCB10EBC21047333A89 8936419D857CD9F59EBA20B0A3D9BA4A0D3395336B4CDA4BA6451B6E4D1370FA D9BDABB7F271BC1C6C48D9DF1E5A6FAE788F5609DE3C48D47A67097C547D9817 AD3A7CCE2B771843D69F860DA4059A71494281C0AD8D4BAB3F67BB6739723C04 AE05F9E35B2B2CB9C7874C114F57A185C8563C0DCCA93F8096384D71A2994748 A3C7C8B8AF54961A8838AD279441D9A5EB6C1FE26C98BD025F353124DA68A827 AE2AF8D25CA48031C242AA433EEEBB8ABA4B96821786C38BACB5F58C3D5DA011 85B385124A4E61AEB68F3178EAB6FB6A6F6902D21AA7F32A7A87F2AE1806BE55 1D018DAB386F4A32D98404C626CB031C66BDE0E05B1A0195B10DC92ABB4CA473 F1F5BED33FFB366C69695E9D4BBA9EDB8C2D2FA5502FD5AB8AA87D37E1A2D332 749C97E51D599D1AA5ABBEC8F44CF98A50918C5C183903B11B6581853434DD53 ED2560068248D4ADFE240C686B5C2014F5A26F2DBEC82CA603E2F53099F1B426 F5F8DF56ECE8B17D8D7C20C1DD1FEBD7B076F295C9F1FD96532AC97E32CEB7CA 62C90E8133A6AD6EB660C2D3C55670A68604497E850C33C127EB1D0504B9BF81 19E3B2E05B20B30B81C9695B1935867CCDDD57E3902F55349D2648DED9010DB6 215466E8D1D2D784102857DF8E69EA9A9BC2B6019943A01275B7859C38A110A0 48E1B755E16C15929F178FD9D72F9D56E6F5126F0556A81DC3340D7EC0BCDDA3 29A4FEFC035DF5990A080CD8A908D7EDAE6E5437D63BD6900C3A7B51D9F90904 A0500A338671EA154817FFC774249100102EB83F9359601B537C2E8EF76E18EF 5C1A540C642C8FF9FF66A814421017C0211D0A15408C14279ADD8A19F72DB1DC 3754B4F84BCBBB284DD777351085881F4BEF0718E993FCA394505EB9085099A1 9F2208BF02615D946536E5F9269CA4BC7C564B1E339435B809848AE81ADF73A7 A60F1E42822AB8D3CEF5C87F9BF3725945F2448E3FFCE9B4BB39724F2B68EE5A 9BD42AFA4C8A90ACFD8C2FF26772C73A1E4B6395ADE79915D040BC77CB0B5BA0 14B66BADCCC1AE47AFF5917309B125BAC8C31D88C8C963E2582780B144D5A11A BD7FC079BABA6EBA2144A9372870B9B1473A91233F6D5FC024F4E485324212CC 474D3595A7C2F3F165A1F020782A5DE3F4CD7FE22ADE19D1D146F67D56F4FB57 15817BE6ECE074926AD3D07686906D21CFE6E459CD2312AA6B4C7DA3BB3D9541 CC0FE685C31AF7F434A0F487FD58A4F8ABC3A1678DF06F46096DADAFAF4BDE8A D951715363C789B7FFEC867B837352F3CFA1322E7576E5F0A32987E83C994D77 5D6F42FA1710119FB8707AF75CA69C8C6299C55B3362D863EAE62D3FA71C36B5 FEE16F088F209253B080D6B29519201D2090CD2262368E91D44398695F3D636E C87F6E7466120B2F7605609E801555B6580F2C9593F2570C13AD02A64D228339 ACC58DC5B1B7F7AB5707E42A368C5D2A1FA82CC9E73B64B092A3 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMSS10 %!PS-AdobeFont-1.1: CMSS10 1.0 %%CreationDate: 1991 Aug 20 17:33:34 % 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 (CMSS10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMSS10 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 44 /comma put dup 48 /zero put dup 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 53 /five put dup 54 /six put dup 56 /eight put dup 65 /A put dup 91 /bracketleft put dup 93 /bracketright put dup 97 /a put dup 101 /e put dup 103 /g put dup 105 /i put dup 108 /l put dup 109 /m put dup 110 /n put dup 111 /o put dup 112 /p put dup 115 /s put dup 116 /t put readonly def /FontBBox{-61 -250 999 759}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 2BDBF16FBC7512FAA308A093FE5CF7158F1163BDCEEA888D07B439DBD4E8B4C9 D198C03874B5E6F8FBF4922065A92BC3E66D05DE53971CB1424510E892442858 D69CE1F76E4DA76C87C763A4B2FE36321E54B1328C9155B8ED6361855A151723 3386AEA3D042B8D89C8C0E9A33E5DF3B466F7BB8C2C8A4ED4CDAFF55FC6D3EE6 0AF2CEBFC1AC3A6E6692F8BB81F82D86BAE85016AD62FCB05467082C2E5AD348 44D1439C2B59F65590E57CA0DE481A7A34E79931B1513C4C30156170409A4BB8 46D412D1DAF88AD30722F12DBCA1CCC6B4BCC28D06B0D29149DDEC520C8FBA13 6B82E2E1790F00B216282FF122EF0D47B70A1B29514DDF7C0435ED238C14BDF5 6DA243117FBEF7398F97EB95597707ED63C6797EBA1B46EA19ABB1DABDA171B3 16CD500F5D64CBFBE4F9CBC3E66A34427D3C4D0C432710289381F9BFD91B4FF4 1E3A896C3EEA2F3105C218877D6C0C6B763760FA364D00065E1CAE9DCB5676ED 286A9ED0D1C946DCA6A2A670EE0936FB4706CC62E234CFEED34AA615C48D2872 A087F30990C85E64BA68F3D5C117123467DB411C9F2D6F6858CC70C1E352C477 713097321B4C4FD4C5CDE305415F998E7245908EEDE6E056A736EA77BD8C639C 3A79FFD0B74B3D28F0494A115F2841CF8A8827AB5608F96FD8998A5F40FB3DFE 3AA0C7696DE4E1D18DC0D6E84B943175FC38FFC42A9C0CBB13A908978C98BFE5 034F88480F32B9DEB2FD228FF6CB0B89B045AB02020C82E3F5716DC640613185 9F597CE262729BC52132F43922B9E28BB71A30AC8709634561B22D13C4FAFE0A 12C4451969226B220038AD8DDA990A4E2CAD53DBEAB698898BBD3046234EB4EA 901287E71CB41296C431383AB85F18882F65BE36923F6C0FD6FADB80E76049F2 BD79C1373763899AAE64C7C511B355B80C0E915F74F65BD4D4D16301156DD1B1 04739BBDD5C19A1C51C92B3A14D3796DA6BD7B2FC605A5D5F65298A8AFAD901F 4B6C7C0B6B7CF8A2B70E256B6E69F327DF328DE625115524D63AB3D548FBAAB8 0D93E2C72CEA38635DB01A1EEBEDBB65A4C5528664872E2E197CEB0199F23944 55AC37D4B17EA24CC0CAD01FC1318E7ECD483D6E261ACFD29E9B8C026588BECD BB50CA17EE913C453C32985CE97474769E4458EA395A4260257A93F6281F3424 371D5B374F2592F0846926729A3D0F4614C1EECF6C1829AC755482463B8759D9 62ED26BEFDA04E823793CAE2DB9473BFEF1BBFCA6430A9D6EC10F5F2214E5607 18EFEF573EF1D765D3210AEEF72DA405658CF5A79F467ADAFD7501FF99CB95C5 8FCFEF3B335438FED2DF8B5582312656DF3FB7005E9BD48B85971BD4054F9B56 988B67B17260856A2C32C14B3C0FCF32D86E63B6BABF167ED600DC55D8D389FE 1868E61915457412E90B0C274320DCFAEC2B24711065AF5AA2448884C13E0863 BC6146869A509B0AD431F18DBD7C38BD5884FADDCAD02266A1130ADDC207FE15 96E4A51B28E76FEC936BB990C5E79C9F5A84452DAE865109B3A7DF2B30CC2906 F327B8266331C880739671D15740A30E1DB32EAEEC38402F2E681E09413F977F 44B17E8D844500558D030A0B787D6CE3712AED45EAFA34C699254D22D889E3EF F7FDCEF1BB9B3EE9176E3FBF8DABD119847F2BD9B3DF94C6EAA0017BBBD9C40F E40E7F21755D1691163FB567B0EEE1A584521D633D321C16301C4D1BD0B4E7E7 E0FFA1C03F74126E1326F880574220F1D204DC8F64A6FD2C3C002AE9B5B2BE47 7F1655D86388207A9BC7F8F04CACBFF398DBD73B29801729AFDF1EB5F88DECAB B1E9BC2A3D8516544703897C83518DDA6BBD8EB9637A63BF2BC47C9AE0947AA1 0C6364D532FFEF3260CCF9D0D69573618C5E41311EF5C5D1DF2303C406FF8323 E11C1EF30C6247D0F4D51B63582C07A55F17C5FA9611C87D19732AAEFAE89BD7 A3A790C2C414786D04F35A8AB944E8FD91C0BED4C822AA5612E855415BA4DE2E 8F1AF89E83039C2B327A4417734D7427F7F5E61900BC1A51CBF61FFE36E1D48A 3AC5DA32BF1CCE9295BB77FF3C0B9A5DA7C6AD9204BEE172DC1F9DC8B218D57E C5F42FBB1782382A6A3488F8E340987502430C9273A687B6D6947C70A3FD7E17 7060B28865872CB514BB7075CEDD1D4B4889AFD1D37984FF3A9765AE74FA06AC 829F2C006B69A181CFF02F0239D1338AD75D50A2462A69C861504DB62AD94841 1C71B21A235392A463A3407B8EC1EB79A308BB7F7B803A78695BA377D146F3C4 E60C1157CA3696330E16AE0F99E3E61861F5D44514602B4E9FE89C8E1CE37186 B4B32E0826D15DF62F637674C14BD91B4614EA512EE3906C595F103CCF0E3AAA C8D3833C110D6E0CF0D75D2690567A2F9DCBC1196B1BAE64DE52FDBB71CB74C8 50D6C5047A79AEDF7F3B7411CDE4C0BBD45F4F465CD67836A4AC693E67F08658 478E2C83DF5D98C332B6F358A5F221859737C3457C412373A6A5467B399C1191 5E942C9C0FE5677AC6AE8236EF9BE41E1CD7F919B97B8A600A50B33D13D15A8A 9BC7E336F331474286A1395B3D1949B13277611113C01355463F27C711178EFB 3DFFDFDFF9B9D9CC64AF72AE737249E244D126591AC61D76B43236792555EFEA 2BF9BDFEC0CBC6EF1E706E5CB5E4E78249646C003F793A3D4549B3B5E1AE2CBF 1FB42879C73E652D55DFEEFC3787F56C912452ACBA12356600996703EF232EE1 824744C57566ED243E49A5E0A495644495428B6D521FD680E241BE83054BFC19 3945393F76BA729CA8D1AB62DB1CA9C0033A22BA844397B6A53D992BEE3AA051 6CB8FA9EBA15D40B3BE5D448C99C3A61115BDB1DDF9B4A9B9764FE6E089A7E80 79E81D9CE04680F9EAFCCFBB9EFD8D1ED2590F6468D55472EC3474754F20142A 6BE68374C5BF28E509D59137E44FDCD0126020D8D9FFB359505A10A908A0DA03 BC36A2E5DAE2651640310F7CFAAF685D14EDC57663F52AF28D2434543856A6E3 623A7B83437D0D60A6E4A9A4338AE403DA1B2268C55BAEB46C3F3373569CEAB0 6B530DC81959C25D94CC43F6947F63822F41D5D8EBD0D42B8F244ADC7CBF9DC5 BBFABE7434281F4C53B7A3162FE71ABA52B8C8ED1A68BE53CD03F51CDD11D004 95ED9DCD6BFA3EB417086484BF9DA8A904E40D43F77486A00129F2750D3E9F29 F31E1AB40387A41C44A64BB3283E250A3E818CC7AD3420FAC2EE49BA3D4A12EC 2B1528A1B0752A0A5EEC79DEC81802F523D03248DC8154E133951C6315A8131E 208A48A0384CB294ECCB2514E5B4A01636378F88B3FE40F17B89B1547304549E 6224B1DA244225321EB10853827CA745B63CF3CAA674C377BEA0A43FD35A9218 30063FD01E824D34CCAF347F4E22CE3DDE0FE8F94286311A799793C0BE2BDCB2 02D37439C477EB9D789EA52B2CA100EBDBB4F91025B9D025575A6B0828056551 4E99D47A757770D0500CDAF87C21365E83CDCA2D5BD5828D153A54A0757377F7 296975EC06FDAB68D6858C0E970797C5C717273268A975B1E5EB8EF56B6FAFE4 3078E38FD6F83F812FAFE3FC5BB3B2D101B07B1D1EF8FEF354152B00EF4AE543 07AF6C977A52D790306D49FB7E7A7B442DB6907F14E3481A38E51478227221EC 27A8B04E1AFB4FBB5CF85B2F6DC8DD808E44FF0ED39896BF171FB63C485FC9BA BA441A75B3750CB2D852B1C9D60E4F26B8278FF546DC08E2686E0FC03352F66B 0320F737B75F9AF8F9520EA8714A3808CCEFEACF702ADE3748F0EFE9CE700FAC 5605B1A5234F15FB2D7DF4EE7B1BB7750D2D150D40A124EB22F3E5CB98CDA6ED 64E11EDCDBAD0CEE78E5D54A789FD4CEDB9EAB20501C4F027087BA59FCADE5CA ABF73C780A0BADD6C8E607DC424585697EDE81E05E4ECB9E1993315A5B096EEE F006B7DA710E2EA5137C91E960A8E6CE31E8B74E1DF0B77CFB35B87AF283FDA5 778AD15BC3284D9570C16FED3D73FE0AC7F9538777641340242EED7A8B8016BE F4D502A5AF34C3559486EF1B6D610667C9C2C2530AEB2D6C6AD4295AEDB3EC15 952EEAF058CB34B475AABCF499B1B73F389B085D2857CF5E6B66DA4104F629C7 AF83386A295DFFB0BC1AE9718AAC4C5B0A7F2A26BA73D5CE12AF510D3DFBCB8A 398572E5BED738501D00E7E7FAF2D591DA4C72836F7E95A64B8CED133D39EEE2 B8858D0352B7665779E94DC02AD9E4C2C68899F08FF85E8ABE2E109199287AC5 AAB03C54A11A03414D56FC5C3F8B2929C34CABD7D23FDC06791395D0448A22C5 6187B59E7353E66EBB4753F885317A3C852B7D82BAAAD945CA47944A41D6EAC3 A6D39B3DC9F7950B2B63DA28A0AB02F25569053E0F031C0596B813BEB4AD0BE8 F77A816D203D645427074A8A914B168F16D11CC09FE0763535F8A6AC066791AE 747BFDD7C9872AD3779A72B9BE7AEC82EBE84284B3230452FC58041A29D177A6 D27A7D1604D4F1FE527E168745FC8547C16A4149431A6F72F5CBB87E53A443E9 DEE0E7656779B4EB34DE99BE90DF5827352CC03E60682A40A4C232CF58F7DAF5 306B5D587ACB5C30F9E18C49ED9D6B283F2A0CBF42814E3DC632286E95DD3134 FE0E96740086391267C8B5EFA5A47C9313F44FC7FC3164B2904849B12157FFC9 119A0B531B7623843BE6FCEE405120021034F63FDF66EA5AC8EF868FB4137D9B C03409C7840D1932CB819606AA67AC1B2610A5F34EC783CC62CA5D7B2C310C71 BD577E9DA40BD6B27B3BD14F82FF1BD7FC14DF3526B0ABBE55B4444E444ACC30 34E79FD880FC69514D04C6AC26AF161D02D3A516556BAF3B6BC5BCD8678AC229 F1173F16D676B89C1489824133957E252F22C9D1E14084B5048C89EE7BF7367E 09B81C69 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMR8 %!PS-AdobeFont-1.1: CMR8 1.0 %%CreationDate: 1991 Aug 20 16:39:40 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR8) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMR8 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 48 /zero put dup 49 /one put dup 50 /two put readonly def /FontBBox{-36 -250 1070 750}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 2BDBF16FBC7512FAA308A093FE5CF4E9D2405B169CD5365D6ECED5D768D66D6C 68618B8C482B341F8CA38E9BB9BAFCFAAD9C2F3FD033B62690986ED43D9C9361 3645B82392D5CAE11A7CB49D7E2E82DCD485CBA1772CE422BB1D7283AD675B65 48A7EA0069A883EC1DAA3E1F9ECE7586D6CF0A128CD557C7E5D7AA3EA97EBAD3 9619D1BFCF4A6D64768741EDEA0A5B0EFBBF347CDCBE2E03D756967A16B613DB 0FC45FA2A3312E0C46A5FD0466AB097C58FFEEC40601B8395E52775D0AFCD7DB 8AB317333110531E5C44A4CB4B5ACD571A1A60960B15E450948A5EEA14DD330F EA209265DB8E1A1FC80DCD3860323FD26C113B041A88C88A21655878680A4466 FA10403D24BB97152A49B842C180E4D258C9D48F21D057782D90623116830BA3 9902B3C5F2F2DD01433B0D7099C07DBDE268D0FFED5169BCD03D48B2F058AD62 D8678C626DC7A3F352152C99BA963EF95F8AD11DB8B0D351210A17E4C2C55AD8 9EB64172935D3C20A398F3EEEEC31551966A7438EF3FEE422C6D4E05337620D5 ACC7B52BED984BFAAD36EF9D20748B05D07BE4414A63975125D272FAD83F76E6 10FFF8363014BE526D580873C5A42B70FA911EC7B86905F13AFE55EB0273F582 83158793B8CC296B8DE1DCCF1250FD57CB0E035C7EDA3B0092ED940D37A05493 2EC54E09B984FCA4AB7D2EA182BCF1263AA244B07EC0EA901C077A059F709F30 4384CB5FA748F2054FAD9A7A43D4EA427918BD414F766531136B60C3477C6632 BEFE3897B58C19276A301926C2AEF2756B367319772C9B201C49B4D935A8267B 041D6F1783B6AEA4DAC4F5B3507D7032AA640AAB12E343A4E9BDCF419C04A721 3888B25AF4E293AACED9A6BDC78E61DA1C424C6503CC1885F762BFD4563ABA4F D926227FAD2B2D4975835541FFB0CA8654F704B399CFBC46C30721F9DC3FA7FA 7196507B14AFC2D4CB46C2C91CA4E17E5CB05F40623E9C0CE38B0262B2CCE65E 4BE1326F3D0029B504E7F5A0052CDC692F7C1C479FE568C83DA5A5E7371113DE 04541DEE7FCE53875040E5341B0E947CF0FD55F1F6D97F025C9C51C131FFA91D 61DD3CC460122F54140CF02EC0BC8AADA195C76C63050525718026C084712245 04C9406F091C40FF9B435C5050DADD9B95C03B27112E3A2B6E74F2B7D85E26A4 CA8F5F65F64A062EBE106B9A3EA18CE87C48D7056F96FBCAD520E90FB31BCA8D FABB9F9F21C0EC92927F71E4BCE55997B166E198D8AB71CA7C32B9F483521C75 FA28895412D70550DD9E17AF920381B93B6D7341BCE1FF9A40982595FC47F7F7 579D7F09CF4FE4A80E28A607D55650F75FF841681AFEF3421CA05D23B9020EE3 EE37BC46AD452BC2DD361009E3469D7647E83AB90A7614193F5CF25B8E78EBF2 149D3CD59906605B5C949C297B87BA189F6AEBF87DCD4F1CF27EFD4CFBF9D6C6 DC4D8F7AF3F2F65EAE42C4810EE6871F56591279480FF6B50024B3ACF68A1F58 156FFF84EC0856518094646ABB108CA65583BCD2CD9C7DCBF30CE1DE7630698E A32B4380FDA920DFDAC489CADE8D9EC0559D59759585355D9C5D82A5FD61F9FE 6EB7E7820F5038AF4D0BDCF040F1A438034E2D2D452AB75DA4B52E284E201CF0 7877D7DE73BA8FECBF7A819A7F75994A185C73845A9A9FC8D946628688C37F9E 8F385B367D5E17E318C34E798C5AEDEAFB7FA0855443C6CB6633A7A271AC94EC 80 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMSY8 %!PS-AdobeFont-1.1: CMSY8 1.0 %%CreationDate: 1991 Aug 15 07:22:10 % 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 (CMSY8) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.035 def /isFixedPitch false def end readonly def /FontName /CMSY8 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 0 /minus put dup 3 /asteriskmath put dup 48 /prime put readonly def /FontBBox{-30 -955 1185 779}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052F09F9C8ADE9D907C058B87E9B6964 7D53359E51216774A4EAA1E2B58EC3176BD1184A633B951372B4198D4E8C5EF4 A213ACB58AA0A658908035BF2ED8531779838A960DFE2B27EA49C37156989C85 E21B3ABF72E39A89232CD9F4237FC80C9E64E8425AA3BEF7DED60B122A52922A 221A37D9A807DD01161779DDE7D5FC1B2109839E5B52DFBB2A7C1B5D8E7E8AA0 5B10EA43D6A8ED61AF5B23D49920D8F79DAB6A59062134D84AC0100187A6CD1F 80F5DDD9D222ACB1C23326A7656A635C4A241CCD32CBFDF8363206B8AA36E107 1477F5496111E055C7491002AFF272E46ECC46422F0380D093284870022523FB DA1716CC4F2E2CCAD5F173FCBE6EDDB874AD255CD5E5C0F86214393FCB5F5C20 9C3C2BB5886E36FC3CCC21483C3AC193485A46E9D22BD7201894E4D45ADD9BF1 CC5CF6A5010B5654AC0BE0DA903DB563B13840BA3015F72E51E3BC80156388BA F83C7D393392BCBC227771CDCB976E933025375FFCDD9E2FD073678A57A333F9 6BDA68191ED103DB904FC6A75017A9939B1F14A711BC0B140F6C4E6C217EEADC 2B649171318049FC272C351B1417B517204D5DBE34FA6D6B93E1E6086F880CF6 401E7F67B5A91AD4822EF52F13060CBCF81FCA8120CD5D8360F7D2C81EC04625 72F94F9676DE469FB36857FD8683430A234CE2DDA9FB813F2A4BA76FED8025B4 94499FE3316EA5B81AF1664D5C38FB727E469D20E48EA4E7414B7A5FAD4FCD36 1BA213E004FF647E1ECD343BA1B878BF06B93F7A2EEC08BDB0FBFCCFCAE858BE EC8D196DEA158F6C2C5CFABF54BC74ABA6E68F1A8B8375FCEE77FB120977DF2B B551AAC2A1BE3CE4F7997827779418104F0687F9230283B2A6529C861F5CDD3E 5D361F561E3BB620E59469FB7D390DB1372B55007849E0A693509934F5EA9867 1CDFB5791F924619F62539A88DF83D066226958772E256D92A35C07A387D3BBC 38FACDAF330DDCA81F7549FEF0DAD1754E728928C19F18AD255CA4DF8F49BE7D 00CCB80294814C7AE29B6FC5328E389F9F9CFA9068235929A3CB3F59F030F87D 720BFA502FD6007288B79ADE990172DB16D224E0B7FD4B1EF6B080A5298699CA AF9D8607C0C812994CB80FB108628A6B9533EECEAEB93FB70A305CD7FEDE7873 7E9C3A77EAE67DB899EAE5B2BDCBE463EFBDAE0C19CF14D906BFEE7E13E72786 9127A61632CC57E3ABAF 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMMI10 %!PS-AdobeFont-1.1: CMMI10 1.100 %%CreationDate: 1996 Jul 23 07:53:57 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.100) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMMI10) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle -14.04 def /isFixedPitch false def end readonly def /FontName /CMMI10 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 18 /theta put dup 30 /phi put dup 32 /psi put dup 59 /comma put dup 60 /less put dup 62 /greater put dup 67 /C put dup 69 /E put dup 73 /I put dup 74 /J put dup 75 /K put dup 76 /L put dup 80 /P put dup 81 /Q put dup 82 /R put dup 83 /S put dup 107 /k put readonly def /FontBBox{-32 -250 1048 750}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA0529731C99A784CCBE85B4993B2EEBDE 3B12D472B7CF54651EF21185116A69AB1096ED4BAD2F646635E019B6417CC77B 532F85D811C70D1429A19A5307EF63EB5C5E02C89FC6C20F6D9D89E7D91FE470 B72BEFDA23F5DF76BE05AF4CE93137A219ED8A04A9D7D6FDF37E6B7FCDE0D90B 986423E5960A5D9FBB4C956556E8DF90CBFAEC476FA36FD9A5C8175C9AF513FE D919C2DDD26BDC0D99398B9F4D03D5993DFC0930297866E1CD0A319B6B1FD958 9E394A533A081C36D456A09920001A3D2199583EB9B84B4DEE08E3D12939E321 990CD249827D9648574955F61BAAA11263A91B6C3D47A5190165B0C25ABF6D3E 6EC187E4B05182126BB0D0323D943170B795255260F9FD25F2248D04F45DFBFB DEF7FF8B19BFEF637B210018AE02572B389B3F76282BEB29CC301905D388C721 59616893E774413F48DE0B408BC66DCE3FE17CB9F84D205839D58014D6A88823 D9320AE93AF96D97A02C4D5A2BB2B8C7925C4578003959C46E3CE1A2F0EAC4BF 8B9B325E46435BDE60BC54D72BC8ACB5C0A34413AC87045DC7B84646A324B808 6FD8E34217213E131C3B1510415CE45420688ED9C1D27890EC68BD7C1235FAF9 1DAB3A369DD2FC3BE5CF9655C7B7EDA7361D7E05E5831B6B8E2EEC542A7B38EE 03BE4BAC6079D038ACB3C7C916279764547C2D51976BABA94BA9866D79F13909 95AA39B0F03103A07CBDF441B8C5669F729020AF284B7FF52A29C6255FCAACF1 74109050FBA2602E72593FBCBFC26E726EE4AEF97B7632BC4F5F353B5C67FED2 3EA752A4A57B8F7FEFF1D7341D895F0A3A0BE1D8E3391970457A967EFF84F6D8 47750B1145B8CC5BD96EE7AA99DDC9E06939E383BDA41175233D58AD263EBF19 AFC27E4A7E07D09FB08355F6EA74E530B0743143F2A871732D62D80F35B19FD2 C7FDF08105847F13D50934419AC647CBA71DF74F4531DC02BBDA22AEEA3FBBBB 407E0ACC52BDC60D01A29407CC4F93EB8BF6D4813E9BA858D54F38918AC82720 4956D50291F0546E50FCAFA6DBD0099123F5ECD4AB338DB310DB4CAE11337A89 8ED99B6F483940C97544F888EAF0CBEB11094A13C073D0061808662A04A82BA0 AD35E8782F854AF66C20C0FEF18D0ECDD1646321B93D327E53D88CA0E825FA95 05AA57BD7370A6CF3F907677487A5315508F499E072A9D3B9754624E41918ABC BD32FED7802741CC111FBA0710DF6481DB08E1602CFB88FDB590B75D66233E24 C891CC845847F9238109CE643335E7E76495E024F16CD3A9FC9AFB69ED6E1E27 8EF080C4561C843D16994FE6867B3E45193AB76D9A8340E7DFE64A0EC80E191B 07550A4481C3E7E98475ECFD501708C36BE41CA4187B795AD7F22F4E7689BB17 DD8EFF0F58008FD0B5F8E22914B3B1A0DC7BE676ADAE3D972CCCB6BF47A92FD7 7709662D47F05875853CFE30707F85AF30AF53C28C687ED0F1FA44D496E62001 8ABCCF78BB1C76A034E20FB09ADAEDECAC5ECF9EBCC2DF11F15DD81AC66FC38B A881830F88DE7C3D57F0C3C47A4D001CE3916A17980D23891594F9E1151F696A F024D47DB45A1293C12F3859E100029B6F80D641F97E2C0673AAC1D8C7571EC1 E08C723D4358FFCD3003310C6804ECD71B826A0F7EF921DDFC32F7F5E0368659 E99430E755CBC1F5FAE3A69679C75B1605B8706969ECD5E036CAB0294CDCFE0D 47ADE0B4A4159B26F089B1B091748FFAF75D2A22152E94841FE2427B4312E524 0EF1EF31562D84425DFC0B87B6326FBD0ABEFDDA027E87B03208D1744A86E0EC C53F4257FADE169A517B895142E40A4B072D4C6448D58DBF334AB4372FB4FD41 2B84E90B0E8E94729BCBA423DEA22D16B6769C2F1E3739250D3FCB3324F3ECDC 0E9004EE4732554A2128B321B9A8FADA742F21BEEE9EF77B2D972B84B01D4301 6F355BF1F847B365C1049D20E62FDB742803A8D72C9FA184A86460435B7DE499 AE2363889121E8390285993C0383C092F2819A9CBB188DC22A36917F18940946 BD01D08710114B91EDAD879C34F62A87CEF569C6C90794D3769A8A11F7B79FD2 26E6A6D732CCC36C24132066364DFC9EDC8C16BE51C379367DB2008EE681A933 33D037B54FB3FDE7F0C4EE207A7845BE9E0D239690695B2B078522179F534684 D1CFB3825D774CE9ED38FA46CE4D7F3DEE1074BA34740AA7F4C8B727F8F36185 F421E10A82A290CF0236EA0BDF479C41AF271C6D70F3762E9245C72F219C3E60 6B39F9EE277D9926CC60B219E24559166C7EFF7C1A79DCC57201231A9B746ACE ACA289D05FAB4C4D3584613019939A3274ABE809F0C63437862BAF307D521A74 30F364CA02C2AAAA3DEFEDBBF25656BA48D8B166F79A6FDA94AB8FABE3EA7CF1 B772821BC6FC50803630C972EF5AFC0DDC70D4DBF90B8DC8CDF1EDF555FD8D0A 997DADDDEBE871BC93E940670795610740346530A5CC79FA6C01E5CEB713B03D 9D772C128B5D87281C5491639C6824899896E16E8C7C09B38DA7A1E683F59501 185CBE375228FFF86C8BEDA7A25A262B462ABC65E32355576266A8D0E552023D 96D1198826BE0E959A77751753EED2CB7BAE834CEC17A98F961C5E3D499FC729 29FD833FFD4AA1253B246349048D7DD64DB3D630890352518BB3D4F504EBC689 FA858D7873F07A985FEB58BCE0D9A573C431546406D382D960F917BFAF842495 26FDDE5379477D52CBF99ADF5D459FCA5EAC9B22973CA89710E7979EF579B24D F37DF10D8D1B61175DE48631941C62D5194D7E8AD592138CE01322A736EC2D6E 6E7C5414EEC7FB4F3C95BF0BC6652F18A124AFD8A12F9AA66C2BF6EE3B5A945C 8D1848B3905D99E562EA4B1C116B21428918610FB55BC08F42BD74433C562574 A105B48669DD4C5649F451BC819C013FCE114924F97A6E5293BD8BCF57C18F44 1EC0F74CD00CD7BAC409DBDB39ECA752088DABCCA8C1672019301CCA23588B59 37ED311F5E127D61E743639D7B6FFC6AB32C511ED03C80599D19A1E66355F0A3 700EC20C32A05EECAED58E253D1BBB8BF89F31366BFFF98B9009848CB8358F4C 45B5EA5F82BB78D6731BA85E01DBD1CB45378F8C684CB5BB9A9BE728CF10AB2B 6A09C3F4BE00301D99C264E73621E02DE00DBDFEF72C68B501E9EC722BF7A017 F28F19E8C4E03289607D1D69F6D24E384AB3D720AE6A7ECE8782DBCE9C5F53B0 9B3979DAF915A258838E70068D907CAC80780C2F3EB492E40F6D3D702AA72C46 318290EA762FCF774559BE8CACD4C398A40A65DC70BE4372B4F051811CA2AF93 3E561D6E755A6D752D99C3446D156ADF8238E2DFA5C2739C37FD2623BD999098 36DA985564258227F791DF0493F0C8C199D697A6EE08444E8F8F4D81A111DAAC B1A13E2D85198D2E54795FF566EFB824EC05F2509E1915064F567DF300F8CA7E 051F65C0FDE71E830088D14787D1DC512E2E20C50AA85D8F311D4FC648A1263D D7E7F925FCCF10BE259E366EADEFB48018F6380FEF3AB30C1546D384AD6F0F92 3CB90BCB9A03CE9167F91486053F7B8B4403C3421A64707DF900050870BC6595 078C3A981DBCB0FBF6859ED18824448ACE33253618C75579848AD3A8B633D13C 52F468232E3F354E1BFCD032D60B001D8473076F09FAA687BEE3BFADE3CC880F BCDAC27CC19E6F6E998E326FCE9DA1D680E667AF4906D22E81B68F045D2F3C66 D3D362172F29C8DC2A32492F5DC6B19ADDD652A2E4A3A9F59FACF10E6BEF5290 1B97983D0D04CFB05CFAF70973A7BA53612E3057D098D07D592C6AE29E18855B D7F45C64B1B85900B7F313F46CB288168A47075DCB0F6B3ED5786DC718BAF198 C09D7BF19B6AFEBA73A1723B270BFDB15D58556021874B6F33D5F44EF3F427CC 34C2B885344DFECFD1DBF7C60F62B84BC7909CFE50FDA99847DB6AFCA3FECD40 7D38E981C2CE03BBCC6B5D2798D099EBF6C39897C81B73ABDFB8342AAC292604 9D0F2B9A32B20B5D10CF4D3B36A649F612F2958E7CDB0454DD134F3326E650CD 9FC9DE8395AE9D0112849108EAF8C6B3796C86061723AE4D48B37631655D9E8F 17149534387114899959AA00257DE4BA1C8F34CF9B7F2C5E5E8E6C3A8556FEF4 05C080A2251CEBAF223B7EE28859C4DE99FD0EDA5504B3B4C28307D2F45585B9 43D6B546B1C61FB77982439E14D74FCA301DE07C20707E47969218A55C329D4B 574C5B4810ED10A39A842815086B27B5B8776EDA7A96E30FBC0A724F4E1E8B97 C478A1104F24DC741B726F474288C8012322A89CCFDDA5821B52CB5E3C4DFFF6 6A0CB914F590E58ACD2B7BA0BA4A798DD57C80DF1B3D8045832528F11F85BCD9 272C4F7195202E5B0109BB8BB7AD03AE468D89BE4EA085DD5068533E1ED14100 A0E9EDC2F43ADA1FAE146145963BB843F6268C5BC0393B88B6B74C7B9D438626 52B22AC812EE8DD6C0C4AA345DE6D9CA0409B505851AEA026FC2C87B22CCA348 59F623AB877790C645F7794D54BE33DC7A144A21FC4619B4C20A33D604990139 A31CE9C77490A154A72F2C540921907A900BBC1866C48B07E7FCEFBF3C9BF447 5D9E043041AD81C131EDBCF177AA988874B43E25C2A468A752C57E9987B5BD02 88753329FF291F5D754B31CE6167CDD381F437D6B253BD49A55F069375B2376C AC1301572A149FA19BE2D7BD673F798D9934A3E1AE0B9B33B9122793F4B837AC 0099007893B2F87ABD0A2353AAFEEEEEEFBE50B0053EE365FDEF24580213CF1D 8D029CCCCB0F0AED615498C3ADC623EAC6C608911F1BA63795425CA328A8C246 379B54779CB4063734F2E43FCC30A741659F973ECEA6D284FB5CCA174F201378 E1481FF3348BE975840759ACC70EA5BBE8B1E1E78896F86D79101DCA941DD780 C905FE82C1B1CCAF3E1094DD1218469786BEB2ED69C46EA99D9035CDCCD26E1D CC83562BEE063D1C79B2CFC0DD028858382F584FE262708C1A16F23C0301C448 EE52B1B56EEAE4D0B15631BC8B997A9C232884D5B12150C688FD78B33746CBC5 C9915454EE20087D106B212743F761E33053A2E2DB567268F3D30E7322F2C625 5C10BDDE3515AEC3E83424358E1E6079C0A82CC540589881403FE3608528DBB6 9E44A5B2AB88E1C456E1773D79E7A6BCF0A03FD9B03BE7A2178ED05EAB9A9E9B 64D2633BBD5C771B0EA2235D4D1FC2913257D779F363D163CF6E959D1DA88B3A CA7193B2D6B49F0C47FFF4102AEA1B55E932727A8AA8781880FDF778E76A668E 0D0C6F9077B22DC57A5989769B6643D712AF899579581F088DC21C7C7BAA87B6 28E5CD5FA2DACB08A978F0066617A1555AB792D4BBAFB076A7F847D159473693 1ECD1E66E54F04EEF2BDB9B88F6D0C313CEDE91DA3F9252E923CA2DF793BA919 CEEE5A587ED416E9ECAAAE2DA47F39F852B74AA998C69B6C7B025EA1B57B4683 7223419D5365434E78D3EC3A8E7B395C67CA11F1AADB5FFC1B07449D3A872A0E 4D19CFB56BE1AC7DBB4E8B3E3EB9A2E4F87EB8A7015CAEB3EF6016947EB6EB90 806EE6EDE0D45B471E12948764167BC134A4F35358B66A088F07B25512A15266 FA710CCFD1E8E86E1DB4BCAD4BC997AF086CE8AF2FEA296A613B7729ECFCF4D3 251661BCAE58A3000BCFB5AFF714870C65851A8C64154D425607C7AA944292C5 D22B1E42B6F13D38A7CE9EA49AB2A0C38CBE368B0EC48CDA0C3FC09F3BFC52C0 58E0104CBACB76DDAF829457D41E067B39FF8CC3229FEC661C31B3DCA28679D7 ADE99D10CB7ACA7320494E4CEACDB6D99E995BCA7A000A1449740DEF2DEC757A 5C71D5CB4E1D00506B318F611211885846AB0C0D6DA8002C1459E0270DBFFC98 544B5154B9968A29ACB5FDA68BB34873257582CCB17D4FC2D9CFA23EF763CEAB 5AE165543E5BE5582AA604AD5EE572764CEB0AD2D0921194583C8EF98EBD7499 9A5AA3A3FD0AB88B36139D5556DB87CAF8C7F456151AA84D0BF0EFB9B74A97EE B24758B0A183C11458F85CFB6E1649B4540897897FCF0F1206C4C4C94193DC39 C3CF60D3FDA8C839B654B0180310A847DC168C3CC549F5D6DD2BD77DC84B1345 23235F3451CD6A984B26E0AC0682BC0D0EF1C7BFF7D5C669E6E240BC230104B6 23CEC2923135A2FDF9928F6CA23ED768B0ECDB05CE585B193709E40A23BA9F2A F0DF4775A03BB4A5A29737E805A6509C7ADBE3E0EA6C261C4F64CA14EE471240 F3F0B15A7261CFE176F6850522B29FF005B7D0AEE6CDEEC92D863702C91382C7 F6CEA1D76EB628BDCFADEE8B128BB23096CDBF36497A53A32A29B309B44E0435 3178698AEB003E58E61580592D02C1F644815FFD2756A823 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 18 /reflexsubset put dup 20 /lessequal put dup 21 /greaterequal put dup 33 /arrowright put dup 50 /element put dup 58 /logicalnot put dup 63 /perpendicular put dup 69 /E put dup 70 /F put dup 80 /P put dup 92 /intersection put dup 94 /logicaland put dup 95 /logicalor put dup 96 /turnstileleft put dup 102 /braceleft put dup 103 /braceright put dup 106 /bar put readonly def /FontBBox{-29 -960 1116 775}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052F09F9C8ADE9D907C058B87E9B6964 7D53359E51216774A4EAA1E2B58EC3176BD1184A633B951372B4198D4E8C5EF4 A213ACB58AA0A658908035BF2ED8531779838A960DFE2B27EA49C37156989C85 E21B3ABF72E39A89232CD9F4237FC80C9E64E8425AA3BEF7DED60B122A52922A 221A37D9A807DD01161779DDE7D31FF2B87F97C73D63EECDDA4C49501773468A 27D1663E0B62F461F6E40A5D6676D1D12B51E641C1D4E8E2771864FC104F8CBF 5B78EC1D88228725F1C453A678F58A7E1B7BD7CA700717D288EB8DA1F57C4F09 0ABF1D42C5DDD0C384C7E22F8F8047BE1D4C1CC8E33368FB1AC82B4E96146730 DE3302B2E6B819CB6AE455B1AF3187FFE8071AA57EF8A6616B9CB7941D44EC7A 71A7BB3DF755178D7D2E4BB69859EFA4BBC30BD6BB1531133FD4D9438FF99F09 4ECC068A324D75B5F696B8688EEB2F17E5ED34CCD6D047A4E3806D000C199D7C 515DB70A8D4F6146FE068DC1E5DE8BC57034FE2AD655DBC911C76FD991B91DF5 2DAB3701DD3A5C91D3DFBF418AF9925B05DC2F62E621E1377BD6760A14E73038 33171E965A9914F6148589A58FA93EA15E086CEF49F50C10040CC727E4FC6239 530A73043271C3CC5D214D596453249D07085D2D250528B949E3941A55647FA7 177B79D439F7BD3BFA6DAD828073E30EF807BD6F949AA6634193D09F4A2201A8 C6D982F029F6646431184E4BC7F18CCB11E1E85643DA4F357098DE79AF2A4194 830C344301923A7304E807ED4F37F9C221A9E63ED609C46F641592851958D154 1D0884879E78B69E2CA6795EA029FD513B83E8F740E3C3BA93F0EB9129C7AB64 567015CEF75EDB1F6DA8B56D0CF90288AE0C6827B1F21E08F7010F3BA54B1C5C 7A8EB2DA11AE9DEA3F246E0B43F4FE4FCFA29BC988718F7728FC91DC235F3B7B C18DB91500826FFCD92529B43879D68A2BB634A124123582D84B7B685289E627 74706E7D505EBC5E7E05F600D3287FD98543FC09CB4DCDE4ABD3B4319CA5E6F9 548537636AD46A8B67DC218A7B803663268A33BCFD4A4709C3BE0A4B930DB935 50A65104238090208F3A9AC47A46CD7FF43FA94F0F5D9F5AD426DE058E0676EC E1439861BFF3F3EF915CE3638DC491AE9B401EA51234144749BFA4C5C5060850 D5DFC77391DEE76BCAD1CEA10042078A0C3B12E01D9FED5E89509AAE7B999FD6 BDEA7B66D8891E7DE0CEF98561D741019E649C0512C4708E27F2BC0A7F379D21 886D085E3BB216A2DB166E2D463A7CCB6FC52A33792464D4B18536A515F9763A ACF99347976CB9062054A3434529F2D39B6C59C2C666C3E9095D51E4BA794458 825991CCD4992294D3F8645C0DDFF898358C4ABF861218532A93FA932B15B59F 1F8A70058CEE3B2CBBE040DB8D2A37D033D7969177EFA811E143E14A1AD7D952 E28899F8A125CB5BC73CF3BA3D539DC0B7BA52DC958788F2532242650216B4C7 A7CF2F2137F1D4AFCD9DE8B27F7DE779405E0D907055C56F75113BF673A0517E 524A899C8751A71CAA253A5C6E265A5DCE6573F7EF857BDCCB2E1FC85BA1475D 96DFC7CF723E49284C5EFB7864D64FFDAA1268B9A56F25CE4A79D60DB94E26B9 D893BF78050591EE4C5386788C6DC3C5C1B4C9DDE83327E3913BF6198B62A74B 3F0E08C2242FD403C6B79039D765C3E0ED0484B71CB69FA8FD987155448A3E09 96575D94A4B84027BEC5666098FD5A11C2230F565E87B2A83302A8444260053B B0FEDC7F29020F73983FFF4D30A8BB0D84BEE8EBF3F41A0A1B7CE56662E70CE2 2921992568F5119286867DA0E486BB20972D6902478AF007BD76B5BF10756073 5A0DF845996B8D045981B09FBEECCE1F4C67C8B50291E82ACCC2215573DB52EB 35C6B16587EE2573A93F4133D7D319A5134A1026BF11D3953CB3C7146A5092AE 0650708EEAF26BF8B155DE21E72BCE4847E491BD52EF2AF216AF98B91DA31AED BBE5AE01A734B41B1E5DA016FB5A5DABE2A3C60D17C3276FDD7B47D7C76C4CF9 46CE92EAD96B0025BE2256555FA87A54C6FF2AF353D3C6D65B3BB14AA54C84E1 2C49C146BE121F29A7440AD4D2FFA5DF6A3C76D3AF39AA143708D88DFEA9C6A0 B3802C53D3A13B6E830553BFF7EFA4A293BB6BE072BE2AEA96FFE30DD8A1A543 21A371AA9A7C6387CD199EB837DDA3E94C10DA2003BE6154BEA3FF2731545A79 9C67455BCBA2A7B39C438D4358C3955318468FEFC96D75C6D458D50C8F9B22AF 7EB88D6D95F2439FFDE998CE0A38EE479C6F612E59BADEC32615B3D84718FE56 FF2DE729AB84DD57C23F2F1D4D8CF50973F30B8F644026C24995D924F2A1578C AE602C98058D3B9C86C9E7A1D9DB518416A2D8CF21F4EFCF5B1332FA07AC4786 3A29E5D049A9806BEC50A6089FB198729A7557F03DB140D12F6D56AAFB46B031 A782127CE7282D69D9EF79412D25DB90458A8D040BC5A0D812E197338252F27C 8E979A55FE49F34D5845A27ABAEDCCD071AC13F869677444EADF2BAB17CF8E5C F371C3BF816708372DEADF44D0909C52B275AABC2278507C76958C108EF660AC B560D1F3ECE6F8E677C18E6AD6D9E65508962AAD02569E263A888D545C9E02F4 EE61992572E4CD96F5DA41E106BD954A2421377C6E872FFCB78A0DAE15D1C1C9 6370279591219A5FF8CA8556D66B7A884F50B9A3D4A14A8FA5DA7D098C4BB96B 7C460B7382174A1C44E78FA9123A94E68FA32C0CD7714CDF6FD188EE1866AECF 5E04CDC6654DDFCADA5B0F3C5E86D40713108061CE25C7A961F57151CAFE5C54 803BDDA9357FA1D4D5172432C4832AD40BFDFD4D4C24575F46FA9910617420CE D12386136BFD1AEA424E6DDA2B2C96493B1C204B6F8C8A6374F1808163AA1EDA 8BC2A6EDE234A8F682935365EFD6C7D852FC4B3038230A6B283810C89EB8A2C4 58F7DF67B04B27D8F2FC674BA50DAB0FEF47DE64C86BB6E16F6CCDBE9EEEAF1F 3B281E4AD44E39438BA7E081FD18571AD6527D3D6399981F520424A01BA79FDA 6B4E12CB12EBC5DFAAD048853F9C8106E1DA699A822D79658E289B5BE21AA14C 5EA349389842A1C7DA85068E0C3B499ED788A0CB3E4952B199518B1CDAC06418 BD9D2A069251868B25D1E6C40DF6EE02C9928B705C91F565C16348AF619F5406 E6B22F835CE2444A3CA718EC13F6EE2EBD6F4FCF6DFD6CC95062A3D3BB8230E6 AE5A537B2B1AFA8182AC2717ED1105DBB544EE32754B6FE5805A91C726B55008 88DF35AEF264081A7E003D4A19FC155F34FDD3A30FC18FEA5FC9EE0A98E19D37 DF5524BD53A73BE096E904DD3FA532A631B4514213DC4661FECEDAE6756905AF B0B7AAF7C8FDBEAFC06CB636334808D73FE95430C11ED088DC649B625E101F1E E738398CE23018DE7ADD956BFAB833D3985DC9844AEC411E54C57DD459F8E4A9 5BC8C081936FEE440EF96DB1FE3C68802F6FFEF78DA5B5226AD2EB5F6DBAFC07 A9CD19F92402F001E1BC89D9E6D5871A72ADAFD0C370AA194E691645D505C530 614F52EEF22B53F2520058E23C55BB8273637DB221B69568A3BBAEB894663DA9 2C60F0C9A6F7DF5731C4461A6E8E65141C6E2A823CA0EECEC192F4DDD8ED8EA0 77CD6873FFE08099968EB17B8DCB9893AB36BD454FC07C60AE31F742AA39C6AE 1AF616B5B156FA9883C642DD86A9A626F57D0796EE2658BC8AC13A3BF9F3BBC1 21FDC60B688B47524BE7D9B54A22A554D38F46913DF5D5685C1D320BAA8BADA7 FE29BA4766B3FD9C01197EF5A4D72F8D688276E3F4B5A3A189F81307CC5BD56A FE6F0FB99E20CB16494978B994BB8B5301BE56771C4F0CAEBF79A62C8509E0C8 693D3D114C100EECA1AEA734BE1FD42E55BFC21BCEA60EBD2DB69990AA81C4AF 0DBD5173AA3885A6F7C788A9E072A0DAC23DB2B2EA77FF2FFEAEF1EF9EA2C42D 9737CFCCB698907A8C70DE7325C2DCE4775A31BB846D5C60951CF1E65781C8C5 63B8F5D0AA5A1717AC0A241A691868A7D6C9CCE921667F673FD60A5D1BF92499 AE13C5329644D99C883DDF4CC33B034E3B9AAC117CAD5F1104CEB859A14054 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 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 53 /five put dup 69 /E put dup 99 /c put dup 101 /e put dup 105 /i put dup 114 /r put dup 120 /x put readonly def /FontBBox{-53 -251 1139 750}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 2BDBF16FBC7512FAA308A093FE5F0364CD5660F74BEE96790DE35AFA90CCF712 B1805DA88AE375A04D99598EADFC625BDC1F9C315B6CF28C9BD427F32C745C99 AEBE70DAAED49EA45AF94F081934AA47894A370D698ABABDA4215500B190AF26 7FCFB7DDA2BC68605A4EF61ECCA3D61C684B47FFB5887A3BEDE0B4D30E8EBABF 20980C23312618EB0EAF289B2924FF4A334B85D98FD68545FDADB47F991E7390 B10EE86A46A5AF8866C010225024D5E5862D49DEB5D8ECCB95D94283C50A363D 68A49071445610F03CE3600945118A6BC0B3AA4593104E727261C68C4A47F809 D77E4CF27B3681F6B6F3AC498E45361BF9E01FAF5527F5E3CC790D3084674B3E 26296F3E03321B5C555D2458578A89E72D3166A3C5D740B3ABB127CF420C316D F957873DA04CF0DB25A73574A4DE2E4F2D5D4E8E0B430654CF7F341A1BDB3E26 77C194764EAD58C585F49EF10843FE020F9FDFD9008D660DE50B9BD7A2A87299 BC319E66D781101BB956E30643A19B93C8967E1AE4719F300BFE5866F0D6DA5E C55E171A24D3B707EFA325D47F473764E99BC8B1108D815CF2ACADFA6C4663E8 30855D673CE98AB78F5F829F7FA226AB57F07B3E7D4E7CE30ED3B7EB0D3035C5 148DA8D9FA34483414FDA8E3DC9E6C479E3EEE9A11A0547FC9085FA4631AD19C E936E0598E3197207FA7BB6E55CFD5EF72AEC12D9A9675241C7B00AD58FAF645 1297991B5D01701E82228D0313FC7C66B263BC79ACDDF9AAC48A3CBF42B96E38 583E1D059953076D68148DC8B6C9527B3A74CE7DEF788A11531F44120BDF0F61 0B2F3ED94EEBCDE4ACD23834C242AA4314B9EF98E4BE72DB76EBDD0A028CEA9D B4C38C1F2D24B8FDE686832FE96204552C820E45B6BAF0C3308742AE2BFB0B6A 8636BA6EED68415B5F33A0F6C027190A19F7B44428F470C83B8B367F55CDB173 BF6184FDD0157840033031066EDFF9DD0E16BFEFCBBF9AD34B1ABCDA8C06C502 E304C62842E69A243FE9204903306BC3677D54F13D851EE1303F8C8ACAA316C1 1C459409F388578A17BDF4E5CCCEE7C2FDE77AC345787B3CE317C49AEEE1B30E A3803971D37089022D91193509E89E3D036B416B2B1A61B08F78DDE7970BBCFA 995C6A810CABED0AB4599EE7A56B9BC1986623BFC9BB932A539C6AEFDE126873 65C5F117C91309ACE664CC6B4575E7D00EBFC06532B3F6E59809964CB7CD665D 7C94650E5A1F9F4A7472CBA0C8BA802CC2BDDAADDC693BA5D74F8F6B34F2E077 941256D24A56A97EC8239A37B68C58B64912FEDC76F51C6B49492D6AA2DA82C7 49DBAA7EAE989B2BCAB0100F324B326AE3896151D7212EEB9609D03A80223CC3 59FE9B56E2BC842F2BC24FDCC174C01F05A9DFFDB0C39E099523B1027620E0F1 9093853DF8A286D86E65E55242597BE099382A746A5297C1222FA1BD29E74CF8 D401C8AE39DC8CA07530879BD8E4DBC4159438C37247838D0AA4164103F122F1 EE675A757BB60E3522763CA27BD7F1E3F4A8B872514491C3C19BCC090E09DA71 E1C69D8D02DFF0E63F0A62A928E46EA2E8FA51BE43A17145D3D137C3AFBCEF00 D3C2BAAA81ACA513900262DF62A895B876CA45CA8E55424FD8B814E7A69E8564 A94FB455A3A92C58700D126DC2DB9CC2551AE24296A6DA727B9DFF1564EC515A B35F333017B1A5579BB78566D91629E9AE7B60EB36F0BFD3960FD10B24C8BFE2 B1DAAF9F7DE5FFDD1C6B765D8B2D4CE987B1B3AE3B4B45366B8746B7356973AA 1445ED086C12588AA805B227EE7CA81AD1307D200F723FB3FCE4B803F9BAE544 93342E3EDF53B607C670C08DCCB1BC3FB1E49218C6DF81BA6F67AFDFED30A25E 4FE6507D5F5443A9AD982172E6F4DE114593BAF47CCDAC2A36D2C14AAE0CF853 79EFF68D8D2E910D4090B8821F9DF3C0409C37CBB5F4AF78685DF67CD903BCE5 00BE6C40E3B578B705E854BC109DA32A83583C8E3E0CE42F056D1FC80A217DD0 A27CA824798F776C7640E5E405A59369E25029D69CF806006E3C672DDEE5145C 3F661415605A9EE8F64279698A6C61DE4B0426CEC3C2459FB4F0708572AEC36A 2C2ED529DEC6E402F31F957CECEFA09ED6E4C077AADE75BC90CBC3A3F653926B 37346B7F183EE45A613960C1544EF8D039BDC6E005E8AACDA4AABE412FA6F6E6 EC5C731E6FB3CFD51D306F19551623B9B672A660D5C442156094D32C29BF4C53 4293BA85EE934DF2893D62AA5A8BF1B4205FE2B1E02BA5096344F4B849271B29 D7A5EC923406671F90369503BEC92DFBA235415F7EECEC25C9E71F0C2EC441D7 8D300D4D371F9C09E76D216BFEFA1B4A8957372642E7063D3853E232BE15B680 22C546F1A675A1D4EC98C7016471A8E0E570DC1962B1704CBC2BD5E65A1B3887 041EA7FA4168D2E666768C2FC3089F2C7101A462C232381345295020CA6EEFDD A9FBD1171316CD5247FBED7F0EAE72A0858F5E2709F9582A818920FB27318B4B 99D841D41880FC18BE9EAE253238ABCF2AB4DD340209A233B92220532DEF4D42 A9D6B0AF8765BF541487D8045A97E5A7F652309E9047AA3C2F37D4F3018A9311 CFC72DA5BE66D9450848A7DF2BABCFA401DF913B689E8FB796F92875AEC0D0B7 6B4C139948B3F4AD418FBA9B2D06F4F8EFFD724B3980C311BFC040CD9B4F87F8 F888A60C7E32E2DB4BD3E06D083F1C99CF955144A2C074382A4A37599B6824FF D5DAFD51CF1B9083ED4F8DA7E4C765FF8FE46BCC22F6DD1A2CE8204CAEEA46ED 7D7E90DD0A3BD05DF97D4485AA652752D20AE10F6CDD042DC0CD57486D91CB25 DFF442B2FED3B96BDFD8F9D15B632F84F5A2CCD09EC072106517CFB14CBAC5B7 611A99D100BB7263E3B1CE72830848135DC57E78C38FCD8690D83425E76337A6 2051B548BFE02BA23C4F7F2FA6649201356CCAB38F394ECB8BC76DF72BAE6E94 539BAAA5818FBFABB91D64DCEE715E9A17F118BEC9891337E214D2C58D0C2E5D EC8E1CE8AA2E33A0F1161BC9AD31D5060E99F74D1128266CF96E246C4684EC97 FA00DB0D8DC74CDFCF9632148C6F68E9B684575BFA04D0D07FBD468FD95144E2 F097AAE90207993EB4EAA15E201C5A75963EA7438585912F0D7CCE259B8A6BF2 B36AF6C5C3583AC3397A9C0CDE0C9BA590393ABF35960DB29D25DAB40B863501 DC5E076C6872A547674080225470D085A69756CB6A17220BF8AE3E9473C69217 509AACDD42873FC8D60437225EE125ADCE1026225AEF2447C7AF0B7BA35BDA0D AACEDFF7C098B13C7A46D62252D40B92447554E9BC9763E98B0C95C48796247C 3F193E8F75C1D75B04490D1E575AFE976D69DBB448BAD7D6A7237649E5235D1A 77443219D9E9EAAE471AF66B48367FF926F156B87867F065A3157441 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 18 /grave put dup 19 /acute put dup 39 /quoteright put dup 40 /parenleft put dup 41 /parenright put dup 43 /plus put dup 44 /comma put dup 45 /hyphen put dup 46 /period put dup 49 /one put dup 50 /two put dup 51 /three put dup 52 /four put dup 58 /colon put dup 61 /equal put dup 63 /question put dup 67 /C put dup 68 /D put dup 69 /E put dup 74 /J put dup 76 /L put dup 77 /M put dup 79 /O put dup 80 /P put dup 81 /Q put dup 82 /R put dup 83 /S put dup 94 /circumflex 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 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 120 /x put dup 121 /y put dup 123 /endash put readonly def /FontBBox{-251 -250 1009 969}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 2BDBF16FBC7512FAA308A093FE5CF7158F1163BC1F3352E22A1452E73FECA8A4 87100FB1FFC4C8AF409B2067537220E605DA0852CA49839E1386AF9D7A1A455F D1F017CE45884D76EF2CB9BC5821FD25365DDEA6E45F332B5F68A44AD8A530F0 92A36FAC8D27F9087AFEEA2096F839A2BC4B937F24E080EF7C0F9374A18D565C 295A05210DB96A23175AC59A9BD0147A310EF49C551A417E0A22703F94FF7B75 409A5D417DA6730A69E310FA6A4229FC7E4F620B0FC4C63C50E99E179EB51E4C 4BC45217722F1E8E40F1E1428E792EAFE05C5A50D38C52114DFCD24D54027CBF 2512DD116F0463DE4052A7AD53B641A27E81E481947884CE35661B49153FA19E 0A2A860C7B61558671303DE6AE06A80E4E450E17067676E6BBB42A9A24ACBC3E B0CA7B7A3BFEA84FED39CCFB6D545BB2BCC49E5E16976407AB9D94556CD4F008 24EF579B6800B6DC3AAF840B3FC6822872368E3B4274DD06CA36AF8F6346C11B 43C772CC242F3B212C4BD7018D71A1A74C9A94ED0093A5FB6557F4E0751047AF D72098ECA301B8AE68110F983796E581F106144951DF5B750432A230FDA3B575 5A38B5E7972AABC12306A01A99FCF8189D71B8DBF49550BAEA9CF1B97CBFC7CC 96498ECC938B1A1710B670657DE923A659DB8757147B140A48067328E7E3F9C3 7D1888B284904301450CE0BC15EEEA00E48CCD6388F3FC3BEFD8D9C400015B65 0F2F536D035626B1FF0A69D732C7A1836D635C30C06BED4327737029E5BA5830 B9E88A4024C3326AD2F34F47B54739B48825AD6699F7D117EA4C4AEC4440BF6D AA0099DEFD326235965C63647921828BF269ECC87A2B1C8CAD6C78B6E561B007 97BE2BC7CA32B4534075F6491BE959D1F635463E71679E527F4F456F774B2AF8 FEF3D8C63B2F8B99FE0F73BA44B3CF15A613471EA3C7A1CD783D3EB41F4ACEE5 20759B6A4C4466E2D80EF7C7866BAD06E2A1040FAF2DE1FD6AFD5FD97EAAB614 956897A7BC784E9865B00EE8B49B918E886049F1F4939403EADAB83A4D8C332E 2221AF8F6F4A4954501CB6A6268AC96F7091245F034BD65542DF47BC7BBAD667 1EE6AF9187E298CB7AABA58E3FB5B4C7E86616C1A830A4A937C265CC28A83EED 8F3C971D6DF5A50A615B713F5332E0CF05C754FD76916FECE4DB2807334C34E1 E2418FFF1B4429A564AB857F1E23337C75E729645AEBE7F8967630A40E00F8C1 3054F2BE2768682E50D0B43E3CE3897D9EE7257E77F9894CD4395C21585D16F8 AEFE05217ED4F78C31FD635A00CE5D0DFC7B0A6BF9444B62C836087731D6D205 24A45B3C8D80983A67377EBC88C3F36121DE0957AD1610C7FFED2F5728DAA51E A53D617553D5C57CB1722553E997ABE85A338241A35C0F08B752FE2134FF5A86 2FC683DAA0E0C0072EAB471FA444491570EBF12F70F2863F9CBC2CE3E13F3A3D 0F6A0A2483964AA9CEFF0C08B845AB92F0C55B0955D0756D91BEABC4E2DBF2F9 E98255142B63EDE17CE234CDE014444509B2B12CE977FDD3C50DB40D2B141DCC 1B61999BE05AFC9FF05811AB2D35F58A84542E9A95EBE290BD5C16E7C3081360 CCA5AA4930D43C04A454C2DF29A51CB6FC3674489F639D7A93E186ECEC01EE1A 50E6DB8819661CCF0D25B782094CCE7976E93CF7DCA4E9552863E7EE379769CC FA4EB90637C4330BE98F3454E82F7753B9427B475F45A7FD930B94121630E69D 975525DE50EF93DEBFD02D52EE0A35B80EF70CF7B99A31368C30B56D94203338 56DE90BCF73A25B991A8B72030A7DD47900B0EF0C173403D2104E662CDBDC991 AA14D0C3F022E822B1722950B31D1B869CF99D01F4387D5C7F15C7EE3652E1CA FED3833A4FF4171E28574FF2AE9DE1F7BDF0ACDE083BF65B6D8554C69B9ADC80 B179D5C2D93BAE1EBDEAE38EE62F84DA924BD036F7A9440EA4245AFE5DE7EAC4 911B1ED7148B9DBEAD10E80AC2716F6CAC4B8B1392D12E3339C51DD8E3216DCB D5B57F3F3BE16F39C0B59D107FF66BBA89DF3301A76A751CC45CFA4D14F13DA0 56DBD94C27D730AB94BA3F85E51F909CCAB8F06BD971FDDB9449C4AB3B981990 A0DB708992DFCC0E3109E7E5BF68ADB14DFB421315293E5E67B967DCD3A8295B 92BDDEA0CC9A81BDB0A2D34EC57017C232E8805897F172E82A4061F5922639E5 077C139E3D122046B505E2111EAAFC9C704F3E6CB9C81E1A156086CF133AA677 9F87B8985D3CE6C857D99DF7821741710FE8A6CDAEFA3115A6A4F663280DBC56 CD2A894DCA1453DF44549C128FEE2FC810F9149090D1DCFE970F91E4E79AF055 E558BC06E3C26A25CB8D6654A1330E306BB762F723CDA2698316D90BE3FC2E3F E123B70EB6251C7FC7197CEA31395D6843480442A13B9D02E1F0B5251B454DAC 9E7A0A136D3C88370EBB3FBB0240800937D80FE0B5CA4537BF4B4A49DD6D6681 0084455EE90A2ED9EF87D53C625C3A9ADB0952CFB990EE60A78433B51B31D653 22C857768150BA87ECEECFABBA9055293B3C30C433FB9A652AA3E4B52B119EBB D93668F90F60935DF564F4B3A3BDED47A4A4B4134E13FEFA2EFC7769BDE2B03C FE8249D9A878F65226A58AE9757D40F5F22A1E725466F7569900D5375AAD7B2D 61F079AF30C85BB573EA6ABE707B445E0A280606E428030888383BE0C9335A3F F0CC31DA4E359A0050E195A5525996A0C1ECA87A48EB9467E094FBAB6E6AB445 45CB9D3B78F06D8DA68A7A2D3097F161F74832525690D5A443B2E63941267E71 9C53CE707F9C0B7FEF30A238A88EC1BDB8ED7D379225EF71223B7C8CF4C130B8 9A5DB4513F11B8D3333C4FD9B33CE874C104517553E6DD37BE320318774481CF 4EEEC3E43FFE81EC9C5043AA9DF67293D72FA76353412F321D1A80076C42EE24 0D3E65912F94578B8A2B4DA42880469451907FFEAFB59F265E80AA5D5C32348F 9B7CE6A6855CDEBB4990938417ABF998E4B433556BFC31219BC2D8ECA502C967 DF8FE4206274E389B52AD065E9AEDB067F2E6595D5989C478841BF327A1AF644 D3C3C1426270168E28CF38AB046EE4893970D0566367650CE09656CAB7CE1FB6 6A23CD3841E0F37D4DA2BD4520ABEC9B781A2B9E934B50D554BFFE5D2EC1A5D1 FD36B1208365FBE15516FAD517FF76AA6B33E3114B0E1A6665A658E1A151FBCA B54DD713E3C7AC1645218DD5E90C68F2EA97D1689D49952B0517244897936B89 9E6147D9EA96F9C7E883EA1271C89A72A4971F99588FB1247C7F9986C106679F C31CEDBF0823FA4230E670D4DB7199BB1EE2B31935CA0581F7455B592248F2C5 A2F56313911BA2107C0950DB20F32E3BF1D8E4D45C8BA01BB7CEACD29CA5B400 CBD808B34B2586A28A5870230EF83CFB0A293300F7BD172E9232559A1794DD40 F6AC084C37FEAC8630F1EEE8122FCA96196B3B4CF136D16ADC9D1C15CD6284D8 CBC1D7420A8C9A6F34396612D574567B97F6D02CB13464948A272AB010E15941 6CAE4D5075E8DC37091B8334209AC794552F352C6EB0A868B2FE6ED9D3945E48 4CDB5B423952268A1717AEA33BC8A15BD9736570EEAAC2A19B1F4E8BA4E41AAF 9CB6F6A77983D89045B7F928FB8F41493CD6ECE041454C1A006B19F4B698E518 6CAC7CDAE234CC20986DBCC2AF6CE1BF4B190A11531D53AD593BDA6DC2921943 E4C27F8BBE7BBC247FADE3DF2EBADB28735A0E13A6A114827A962FD961CC71E8 7753823CC60A1357D051D8DB73D48DC7B8F7DE32C1C0EB8C26223E05A67E4E83 1D0C1EF7BDFE21D15B605AD4BFDDE3A9C51CBE9875D991A5B81A63A06741B7D3 74F75A9DC175B6409A75D5482D03A97B9BEA02C49085A2832A7B25332E4C04F2 F377E1C746C9DFA4D84030B2876B8CBE1C16989A19AF1D74D178D7DC84BCFF3F 26FD8D7C170E44FA9C6C152487F9B5E9C43155DFDB7FCBA34A81A4CA6CACDB4D 682047B0CDF0EE78EFDAADC789D431E8BC99E194D845ECC3426AAB49ADF06545 82FE6D4A9FC24EFF7369ED8FA630618F2AF68D85E6EE88D4F2BC2C206C30B97C 2C47742B44A48735D694220D345D1F30E016E7D275AA2A5349F9614B4FA0D6A2 4DAADBADA6228624A784BEAEF28FC03F0507E1BE09916E3CA0A5750FBADD6349 8C0A15B3768E661AD742FE6E1669F346275B25EDEF2ECE2E78C4DF95827F73C8 9915915A9F0F0D7F3CBBE766961E036C6DB4B95DE418E892C33FBCDD61C1F563 002CA9AF76B7C706D198C3299F2494729F5DEE0F035508DF32A5DB8B119C613F 7DE63F85B65A8435C8282CA1F5CBDFE14F241A36A8B464A05267603319AB2B0B E10456F5771ADB14E47170141D3C6E12FE0C16C77ACCCDE4A0D7B3F1815D93AA 6355A26BEA7C574A0F757D8446B5BBEA6C6859B8AF5C07C6D67D8F922DE8E596 75F21868F76429A4B8731D380F563BBFC4927903021E090AFE4DF4ABD6141289 BA7E337CA0F1BD904A531E4EF4355123BD0317BAF8474974839C431C226546C7 706EE2E930AC4F0DBE219682A7901D2475615D751961D5D9E420B4837D3C8116 04CE3FA2E7A1D260701D7C61CA091F464AB1D4FCBDF30957DF9F1399C699609E F70D24DB7F5C01AF477F13CB41D67A105980074B72A2691ECCD04662C3191182 CDC712ECBBBDCAFCC4EF5D1F30E983A3E3705DDDF5CB0FD1E478A90791846C15 2048612298737E093DF2B56741B5E225DC83FCB55B19DC32CA48D5EE9FB1CB8C B1268589297572D66B98A712A1CDEE3BAA42D1EA4ACFEBF0D29CB0B9AD6BA0A7 7D5F676B043178ACFE3F8584F86789CAC9CCF5721CBD5A4D8771BF775D28326B F2E7AF74E35F8B2635BEAFC62EED53E39337B506682CA89AFBCC4C30E4DBC077 98C7816CE019DD4E0607939879A6E2540A77A9B70142599F8CE0EB243784ECB0 E2FDD0EF8B3774A791904C880FF5DC4DD4B2F6747A036E82C9CCCEDA208E1180 2563E98E2F5AF34BB831C01104C355637D9DE4254E5521C6BD7D499BB57CAE89 F1CE308DC20F6C043893DFA4B3DA3556D9665CB0020CF36E31869BB2682058AD 38C6EB02A538246DA1ECA3A048E141B71D6BEB7C1EBA2A12F3433FC891ACE84F 028828D3994BAD1862FE21E9CABCE3D4A2CE87EF27D5B6EC9CA9AB55D4CB2FFD 9230A0878A3258502C40F1E9A7C776EAFA285B48E348C8D7BCEFF0E82DEC69BF DB12DFECAFDA07BA1FEBDB9A975C84336B08517D800BF7B520EC1365B13E5B0A E5A125609E47BC2D997DC7288EF267D2739B324BF0AFFDC83533FA71C2293604 B030FFEC771BFE3C95B63E0CFB296D8C47A7F7F43A8DDB829B7909D35395BA1A 9913672B38D67FFEB05ED54C221407D1794E412EED42F676526B2E2F65705945 CBC4E14AF6C6762310591A295D008039FB629E834BFF25564D639730D623C7E5 FD146C976AFB6E0A60CE56A2B2B8CE4A2CAF1C107709723ABE47E9AF740773BD 5FB43C6FAFA4693DF03D06872CA76F51D9B15F3CC10E6BEDDC6C359EA23F9C4D CB6C01E5BCE3F6ED68B37021B488447236F77D73CE1CB6AE08B95E79F85CACA1 4FEC0093A95FBECFF9D0A8940D2431D2B8E26D7DF1EDA524E4C41F8549C51347 2D1B8C55AE12B2C157A4FAC7B66CEA5AE803496BBC8E4AC144578252BD8CDED4 7AFAEBEAA6BBC6A41536FFFB5E0D9B07B523802341FD0F401B3727F75561D156 A37441088BA9A6D1FA9CFF537B2377174A2F92DBF7837465B5EF0297BC3BFEBE BDF8459D207F018837CB3441DEBBA15FC79108403E930FE913744557FC7BE86B 629EACD5BF01721AE7FFA693B1C0C11EF43C35A3199C57F961045771BC547EA2 A18EDAF2128AEC103BD7E10A295B5D43BC024FEAF78422C074444F85159C44B5 BACC682FC391EEB4CF7E0AFDC080599A941CA8531E04F87E8523D50AA05C1BB7 CEACD2A96BDF08F195CF03E7B4EA339694E85B0D9B0482C70D53C019058F171E 59239059C7FB688C49C8F38F108F8ED04CF1AA9CA715F5D5E8C93669387FFB32 D423FD59B9C34B7CB4803342F49AF98192E058CEDBADEA3525C71ED421103874 92E248DA3F1FB1244330EB09C606A4ED7056EC84D217CEB0CC1B8765840DA641 8C9AAAE923666FBBB95C3D64299E8A2CD5E2CC892ABAA0AF8D5D28348E11B802 344F64D7CFE9D5DA4208E2B7C42044B75182075C552A395E86BAEFDCF016036C D44ECD0DB501DE7891E7F3B7A1BEF16A11752ADED0F3B2863A81CCA54B95928F B4C06E3466C28B4F61FEA54F82E548EC5061AFCAE3811A4EE5D28BD35FC80E5B 38FC158215866DB1D1231591223132A5CC1B5412D89261433C86D987A510251B 5716B7A5FA32F60BE642327B10271A4F84D4D1685DF6296E3D91AEBEDA717533 BA534C245128F686255D4788476B74202276A4BB05D12B97AC19430160384A27 688A488FF2AD3474DFFE4C4D8FFF235CFC5879DADE43D945CE24F9214473D9C2 005FC8260550634CD3CBD0CA0FEDD03E7803E735B017EFAEED937DC53DDB105C 934F5C5E49EB4E49779E9BE9D5E170C47A8224431E1EF1CDF76FD441D0B7E30A 24E563BCAA181199C8C33D5FE393AB7AE60226049F446F1000F6BCC00FF9BE24 B4CA3EA7611E9B9CF553DF6FB3A4EC45D51ECE8A1945FD316C7FC545A343D6AC 892DC350A4FC80BC270D2869605D867B6AD03E75F13E5B6A6DAAFA262556A0D9 8806219B53F20AD18D4E1A22328BA90835CAFC38156C38AD2EB88B84EF559ECF 87BCE69B1A4C0B164F68A154F952EE8DA8DDC1537E99F92847F1E38840C9428A 64B776843F0313D9B8B40B853AEE78962265856F126A82555DA01F5F964A3561 EAE16FA52234716358AAD3C1CA7FC660AF751D0679C0D0B8991EB0820701C61C 334A61F7864E50A50A3F924A4D779951A8A4D6E74B54611E43A3D7087C2592FE ADED32B10A60E52CF8D1BD2072D60259FA99F8A66FAB3CDF3D9E98DEF8966683 C7175D943FFA184FA5C7B3FA5EE770810D2F878AB235FA19E85F233B90714F2B C5BF689F9E21A281ADA5C16F5CB7EF071FC94C30EA853E2E763B882268AD0756 626F80F2FBAE975612520CA45FB417719FC0D45F04664CD9E5CBC3AC3E8D4C40 71791E95DA18DAAA49AF1C593712D31884B1E23AA4844034B8C23B146172920F 52DC512E61956B1C11594A9EBED4335E1C707F8B7089CF6DF6E77528A206E42A C0E2BD3DAAB9568BB20C74B2C93317A0E0BCBEBE54EE2C9EE04A151C48C157F6 9ABE54E1F2ACBC4086FBFE3AB1902FFB515BB7F369CDD515C0479DA96E17852E D44BDF88FB483A5E04E45BD29F408CBD6905FB35285183DC4A2FD198E44F450B B5F365DE2CA997F1056A41BA450706DC2F19C56FEFE7394B5810BA2A5E37EB35 48C98072982C80A69B27166642D5BC39DC442001FE7AB1488BE06176A8806E6B 6D10A06F52493F4A2BD20E636BC2300C2A69332B2AEE2471CB4D6FCD942183B8 A7031D27C18A4AC7D143AB06E6477B0173BD2BCAE0034BC8EB3EB27B11FB0A46 505A5AF54D923FAF0BF074437C3DD92A61C3C4D2122D2A0B5BB747AB2EAC71B8 CCF2FCA2C1F1929EA6C25BB462498AF2DEC3BC13CE85FDFF56688C000DBFAEA4 31AB858B3687BD10D24BF7E6A1DCDA6DF90AB4D44B407184951F0A3B7775F30D 34B0D85F3782727607D8291829A6075A31D5691F62161F7131C62C8F45EC85A2 BB663A243BC303E56A48F950EC22C27542A2BF83C97B1C2C3153D5D998405515 33D31938A7D55BD89582E6E0D2455B3BB0908586334B563FC85C1203E2CAB380 D11F0DF02527306263AC0D26C02939C0381E350D6A3C75E98368AB42881469EA 8804ECAEEFA571E9175E4971502B1F21F1F237E02B44F5D71DCE7F69709BEEE4 0A2AF54BB037ECF037070E332BF8B5623C0379CC46FD28722CB8653BF1160038 8A6B8231A38E792590ED5938A2465F190070107D6FF7FD02BEDCF4F11182EB89 57A7308DF463C8AE24FE44E25F67871FF5F2693F5D2F7B5D35AF4A450F70C0D3 BF1B032E9E70432FD7947F1F99F1B154AE8F63025D4ED036AE139023AEA57506 275C957D2A68C475AB214899949FBB2FD72727C5F493D20CA021F0D8E7B7D70C B2B2440D85FBA93C5BAD3F105B6CC93B06A4C4791A93B4524DE1762FDDB424DB EECDDB8C803756251983BF69B5ADF09101AAA2B48A398E2480397622F0CCACEA CE8B8F1EF9B99BB0C056E72090F886AC8BFDEAB80764704B6B6E145B3DB5AB21 F952777BA5AE9D8E2E7337AC72961F6E4585FC11EB2931F03FF5E550A9D62739 47D52990F1AF64DAE412F4E3390F2B12C463E937B6949C2F54C2FD4DA3EA8449 C254EAAF0A70A6A410F4D901A66E54B5CCA5C7AC08B467707715BE3FA31C1B35 2F57A638F2B61043DFEB6AC814DD8339782ACBAA1537C408F6EEA6B5A52954D2 CB5863162AF0334FFC31C639B2480FB1A73DA6DD6B52905F7FE07854A97B627D AA0A26F907269475BB4D2672AD7FDEA2F044F4C433227E4D8CD4C05C5BCE33B6 3C17BF917A0642248E383C476B1E7CF842C48B736F57494FA16C7E3AF63E56A2 0D241338965D9A53B3B4ACEB72A265CE492DE3B7FF030456792F525456535CF1 6DFB7DCAFCB25712B0F803F73DC8BF4E5977D0A3F1AB09BCF31C7018EFAE81A3 F07902DA118F52389E500DA51BBCE289CB34216ACC781971C33C56E074CF2708 D1645015B1BF254BEA2F657D91E5D69434733783C9C02AB548AAE95E1B59151D FFBA02BFCA6CA44FDE0D97EBA564D0D65761600620885A78D9C7568C3A2092A6 3FE9DD79C653749E4BB6825F51AD394FC27E6E9CA3A6D89D866CA152B68E6AC8 A1781B0B2A83BB7C1ED99BBA6A54550DE478B6D3F44612213EE4E4CBDDBF57D1 EF0A4EC8E24FB7E36E51915F376F85F7120C5B3C6EB605489756069A414D05F4 F9E961226518076003A625B64C62F733D2EAD40CF057CF2785B2C5B998058900 3A3C20116FFD56C5ED469CA60E6CF6EAAD55A2F4FF3E08DFAA5D297B65438F20 BAA21E95AE06394356C14101500460D9F8343705EC3AF8C93DCA79EE31274858 480F764CAFC2313D1F2B2D88F9C38DDAEDAA020022E5375F44CA438EF6089F53 4DA46613BA82C924EC4F4B343E735BF46719AFA495718FE4AA9DAA458D5377B0 4B598FA84B3C3768C472F5F995535E60DB63186BC1C62D1E9B4A39D321D30116 14B2CFAADE0A4EB290EE4A189140130D40BB7B0CC4BE52EF6DE6E67DDD93AAAC 8E9BC0B5AEF762FB37BF22243E7DC246F98B23D4B88F2954CA787D29E5F2E4A3 A24B9FACDF3354D8EDCCE5E932D058E4BA4E6D799C630ADEA5365749AEFC5B51 2123FA15A0216BF918A438388F54F44AB62A15889976F214C89D9FF39A275884 2DD166C3F898AAF190D5C0856E9BA54F692246F6E16236AA0E28FD62C9D22254 FB14788166767DFEAF53D063AA28BFA3133FF08F71F9A43927628136A2CBBDA0 91ADFBFD0C86293E3BDE0E27C18E86B8B7BD5EA2078A532FD1C569145D2989F4 611E1ABC2DA8F6E279B7ABD3704304928D7ADA8315D05FDA2DD2602173C48D95 F73CC669180EB7E092A235E107425903EC34198DB094090A257D80A53C18CDA0 A2FF21B135577250373946C59216961EF53807978DB15EE800F20E82A30991CE 96EFE748874F198E3A2D279810D36D21D4C0645049D2A2A9494957192AEC6494 81C2F3D166750D5303A0359D9AC109D9B7F91B235D1E1B26572CF13895F2DF48 2DCD55D7964E849B1D5A150BCB498A3EDCADB11FB68EB93722DE5ABA875415ED 4FBDF66E063D2E94858E34D0C3F510D51C69B143815F4CE64EA01FB3C3BE2FA2 F7A94E58D799729C0411638D1AD32D0235AA374915102ADCB2DCD7DB01FCE546 D4CE10B592AD0068077167E0E7BC2FD67CDC0608AE4A600119B9143683C8BDCE E891303BDE001E863DA1E98CEFF5970E3CDB61D29D2B37DBE9C727DFEB666222 0C4466B0FBD80FDEAFE3CA64D244F397FFEBE288C1A8EE707410A6842725E6B0 1DF95BA8A5C02CCC97250A2CCEDEE01B87191DC642398E4DDD71FC8414C9A993 1E3C43A5813DF14A4353D0F41377DD25BC0B8974A934361DABA4707C43C151DB 1FB2DC7F270FBBFAF0C8FC5C65E1D52A292C53F3D980D9E3542B8AFE55344E33 FD16A492BAC76F587958E1221E0DF990EB2AEE1C9A38CDA5A7CEEF96513E5B4B 50CA8D085543F3B7B60FCD1D5E82B86A2DAB2690954327335D6DFE1A32A749AA DAC52EB2AA001A298750EF3C64B4634EBDD93E35E821889E080270DEB596120B 401CBA7A17132389A3F80B89EA65AAC62CC4E4B281BA0973BB3D7A9675E5621B 6AFF52C4729F568912DCB1677BC859036BB30B981BC2360215A1FF4DFE9F5A10 082C782292A9052C3E113F7F0D535617C62B64DCA5901C0108810CE9E83C5EB9 968861D8D4A11EE7AE25CBCC49DE26F63F6A5E0FB7E96A707457F38703DD74C4 52D826D9FDEF48AFAA091747EC19C6DA75873891ED9CF252F02C696E2E39553D 36BB3A2F17932DEBC85BF6AB31C33605967CE81D5AFC446FB76C70C68F938B6E 2508D429A067D23AC039EC2E6718FC5983C4F54C0A6CBBD6E0957D53611C9616 4DABFF892784E0024C7EBE0DF9B5CD212528FB495EC683815B3F99142E0E704B D8BFE250825A20E743A99BE70DEF9224037A54A3EDFC3C8B2E5250D3BDF37E9F B6F9E199BD4D693483B9C9BF54B73FF84D288D63179A60DE15816133535CCC79 D22497E51DC2DD1B62A3574A9C715E04CC1851B0202151F364C5BD8F28D9437C C139CAD773E668F5E0B83E294AFDD6FB859FC7FF3F4C81D322E174DC0D1C61B8 05366223CBCD2C60B70884F8B8FAAB86E81B0DD75F45700594922D6B84CC5451 0FF935F7F1888DA5048B5F942B84CF9517BB278DF1B32B7CF64273D6F48AD51B 6216BA8715D6DB17CBC4DA62DC6110C15074F98FB28A0B71088B2E1317F08F08 89F0CDF7B7AF14A3AE450A4D66A636E425760A5A4EA20C099FE0D96C76CE82B9 0030AF5BDB8DA700E6DE919D4C09A85B0722115FBE4B9C9032E0CC791BDE2D21 162C935858CDE7E0051E3650856021CA9E5ACFF817CA0A9B777E4AB85249A0FA 45822DCA2AC38574827EC9A4504CC32CDAFCDC74C9EDCAF5EB14EA9B256802F8 2C2B8982764F16708D896CCB8F8410E688F44D8045BF7EF3A8855AE4CDD0A770 0C184E12532D685060A5212465E1F26966003AFAE49BBED6673F3F0CE5D11059 0DD0FDD1B2C73BB1BD0C0F94CCD735ABF95568B981417A003A84AB7642085761 87D332237FE86647C7667E4B4DC46C3DE68EF8D816D8D8E2BC4AA3665F1E131F AF09DC4EB056448C778C010B33058CE996B873905890CB02BF936BE6413D3C52 69F7A0C5BCA4CF7BF94CA3B09D21450C678F4FDBD837E4553620F2564B0479FF F69E06C957F62EE4D277E147BBE3C8A89495D86EECDDB546BAD6DCDAE0E2FCD0 C0BEAB1EFD837C452F80B8A30ADACDDBE88F410423FEF8F9706A4A58EE0183DF 6DF4A95C61FEBA6109B9D85ECAED7F0B073B8A63A15BD2451C9641C1CA1A8D89 65EDA8DCC38374C8FD7BDE2BB5E7DDAF8032E2596E95AF228E4159450E762077 40C1656F0BCEB41F22133D8C76814B12585236338CAC7E9C6A270C18EA26B94E EEB5E1BD3D3C8E67D8745AE52FFE1B5B7F7FA037C2F681F54F26E72D26E29CBA 14DCB014CDF947380A9BB6171AE39CDA75F1A0D25B3485957946ED60A483B776 9357FF28479545D091989D8D1C63C54CFC81BFD87B2030D0D705B0B70249804D D34F60866E36899189B0E24B5A107246FF379F762722933B56D332722EE363CB C428DBFB77C620AC6E345795F71809CDBEBCD77168420A73F1B3610247E59510 E0FCC926523090DB1CE1888256DB93EFAACDBD35732F85A384F1A75B67930879 B7D3F6D1B15F50A6782A1CDB7DA811DFE89816A80745B4652A9457DB87DEACCE 413326C06AD967A6A518AFAB8FF642CDEE6D7608E24D64C6D7E05F0E4E00502D 57E2FEC469D5B9EDAE479A4504A0A854997B8856AB85C47EB4C6BBF9673694C4 3B64A04CA86472729C8547E25E48EED5E36B4A737E16537827E0FA308D6007C4 644B462B54428453207447FDDF0761D25A2273BE060C9F56FEB1C8B376884C24 825A8AE116D028B756F8A1B06FF6A2976C137E7CF8EAF8464CB415E3E20A7B77 61825791161D427BA0E473C163C421DB782F834E6DD0DE07CDBA0BC9DC2ADF59 92D6584ED8099E4213A0B385E6C46224415B3473A0F7B52EB16D71EB098C5497 72F71C9C4F5D23145A7E28FB544B716AA2C2906A17D47C2EDD216896814F6C56 16798A0518DE7A5DC10374B11073D71900D0544D7E6C517A0A0A7B8541DF39D3 1D9E3C0A4FB030486E045DE5E18243116218369ED4F765BA03D24CA09A47CE35 E2B35A2C166A56018C4185E375EB4F1B69E062A065DDF13B3DE4C3EA71C335F7 BC72051E39C940A881047F0BA22A84D678749825D7AC86786FF3B79F25FFC199 1B48E325D6B15BC6E25E4C45C545F128961710D834FAD1F70305C7373BB7BFDC 27AA805F99E28090337F3CFAC425357350D32285168CB48D83E3C1F8617B5DA0 43A7142BABC0FF9721174DCBE2EC42FF4531BD6656C74945314D962CD34DC49D A7AAE00D7AEB72F7711DF5D6856D61503D35C7317AE132B08FB10714FE52AF51 3873F5DCE1D8BC7D31B58F4FEA1B40B2D198EE690F4C33F966C903FA53127E5D D08FC2F79208E88CCC56670CD0A05AFD872A394804FAA8581A2468BE9C2F54F8 F63D6B458808A4753B829C8852E131C055523E9E7BA99F27388667E85725A51B 5F38FFC036147A34BB1E90C98CE7E4E5343BC4D0DC013B8F2F7967875F690E58 711C97AB1660A34BC4F033B01B20E9FDDEC0F2A791AB5E55E0E8E5444A3C4C57 FC6C2A7F235D9D80F6B3E2BE1023ABD10325D31DFFAE88D50BD42F310477F62B B51295D46DD76837794DC73643AB12C845A68A1C5D28D43B6D7DFC4BD02DC8FE A3840F5B2DA86F330419B9C33467ACAB77CB37948B3A340DE218E49ACF322D45 94265CDB5D73125331FCB226822F31DCB6733F2969C09321E26C466A901694C0 DCB3C0F0484B9B71C605CD9EC08532DBC1CB07EB6FF1EB04D4CB9BF8A1E0FA2A CD39004F3A5755FD336E3CB044B34B2D74717AF1FC449A134919F621E7B9A10D 49FDE290ACB01FD641352570BCA662B04B85DAD4EBEC19E26B7E986E10A9A39A FA261E9C5069D24F4534FC394CABBC5105EA1338C9D60D1AC5B517CCDA95E947 1DC1FB3F9AA0AE7AC672C8037D013E4F9D3BE328F140103348B0D9819F7BD4C7 F438689C4701ACF03A7233232D47245F59112E805B87958533A00EDE9F0D5FDD 67809005F3CEE339D739D6A0FAFF26D699A3CEF80689339D61C54BE1DD59C18E 01C8C8ECCC9C539951162E65009BCE93854398958DAAFD6550D065513F113C2E 7AE3F51F9B4EBEE8CB63CC450448A643928ADD5DFD547B8EB396F880DAB0A788 0CFF9A18F6A344237DF8815F0EFDFA91166C0105B17EE0022A9AEEDA8B3A5CD2 A4E6F20303A7CDC33FD6649CB0A086DBE3C39A814D1E61EBF9465323373F6908 4CA047653F109D6F861B237F599B9591F67F202E14726A97CAE181FB5B310A22 73402EB49636C068FD08BA4B0E2C7843FEA3B7CEEC0F1A8C04953A4913FF8AB9 F2551D2885A665A5FCF68084F7BA3C6018BC320DB7CD9F3B51C27C519C46593A 2E737AF3D5DF0F1571FD67A3E54EAF6AAA6807A8591F38BE645535E4652D3F1E B9CEDAD713FEB500B87E71F0648F297A1429AE674005EBB2D0E502732D1BEAB3 BBC5C90C25F7EF66B15C100105D53224FB987B4D8E7DBE4C40D1AE2EBC27633D 6775724A507F197C1A3560FE4BF592201691F037739C292EBD0DDE7145DE3138 669B65F5A3E44BCE1F56FD3A31BA5EBA29D7C932CB860FEB7F6839DC29A8EFE6 A5CD40405E2F 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMR12 %!PS-AdobeFont-1.1: CMR12 1.0 %%CreationDate: 1991 Aug 20 16:38:05 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR12) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMR12 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 48 /zero put dup 50 /two put dup 51 /three put dup 53 /five put dup 98 /b put dup 101 /e put dup 109 /m put dup 110 /n put dup 111 /o put dup 114 /r put dup 118 /v put readonly def /FontBBox{-34 -251 988 750}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 2BDBF16FBC7512FAA308A093FE5CF4E9D2405B169CD5365D6ECED5D768D66D6C 68618B8C482B341F8CA38E9BB9BAFCFAAD9C2F3FD033B62690986ED43D9C9361 3645B82392D5CAE11A7CB49D7E2E82DCD485CBA04C77322EB2E6A79D73DC194E 59C120A2DABB9BF72E2CF256DD6EB54EECBA588101ABD933B57CE8A3A0D16B28 51D7494F73096DF53BDC66BBF896B587DF9643317D5F610CD9088F9849126F23 DDE030F7B277DD99055C8B119CAE9C99158AC4E150CDFC2C66ED92EBB4CC092A AA078CE16247A1335AD332DAA950D20395A7384C33FF72EAA31A5B89766E635F 45C4C068AD7EE867398F0381B07CB94D29FF097D59FF9961D195A948E3D87C31 821E9295A56D21875B41988F7A16A1587050C3C71B4E4355BB37F255D6B237CE 96F25467F70FA19E0F85785FF49068949CCC79F2F8AE57D5F79BB9C5CF5EED5D 9857B9967D9B96CDCF73D5D65FF75AFABB66734018BAE264597220C89FD17379 26764A9302D078B4EB0E29178C878FD61007EEA2DDB119AE88C57ECFEF4B71E4 140A34951DDC3568A84CC92371A789021A103A1A347050FDA6ECF7903F67D213 1D0C7C474A9053866E9C88E65E6932BA87A73686EAB0019389F84D159809C498 1E7A30ED942EB211B00DBFF5BCC720F4E276C3339B31B6EABBB078430E6A09BB 377D3061A20B1EB98796B8607EECBC699445EAA866C38E02DF59F5EDD378303A 0733B90E7835C0AAF32BA04F1566D8161EA89CD4D14DDB953F8B910BFC8A7F03 5020F55EF8FC2640ADADA156F6CF8F2EB6610F7EE8874A26CBE7CD154469B9F4 ED76886B3FB679FFDEB59BB6C55AF7087BA48B75EE2FB374B19BCC421A963E15 FE05ECAAF9EECDF4B2715010A320102E6F8CCAA342FA11532671CEBB9549F271 E0F198850AC53073804172D93FCF1F6521FA4530C5D7F05A1CA56DC5911A7155 F7AC5DBA46DED69E75661D8CD37165CC425D27152D2C09E91F783C6923271834 C483B651581E12BCD9CE3D6406F845D8B549C3973EB3DA6D67E6B52C77303969 2BE06195C893EC8B3B9F6E68DBED0460B2D3B34737A9F99F5F73CB186DDB19EA BE38D4D150B3FC8D298BCA3C8F4CCADE51D0DFE77756566AB6FDB6C16208529A E2B17E9D306D6BEE204F83C488F9A40DD9A55CE9932A4DA8D56498281D200F76 406DAA5FF413A033E8D615D18B0F094028E765F19D74FF3C60519AFFF507EBCA D51029DF74030BD816C0CCC38ADF7C0EC83E39583F07D359101ADC1ABE76A04D 7DFC0E0319E886B0FEC1C8BA5CCEA384804351563953535A134AB2C11CB1B6D4 F845F6C02A8FF8EA3C846471E582041C45D0992524FB50906B040CA6596D82EE CE8E755B1074D32CC7CE52436ED25E7F4C03E2A34D906AAED538231289B1C1EF A0C367E7553AE8358F8883FF5B2C2B6719B798AD9550F9FE4B39B2023FA7BAC4 B9552E2FCFB11D4B283B8AD14E5C3C793A1798C013C82ADA12C6051DD0EC5606 748B2A1C8C39D030C3EDEA663B561B0561FD58E4A24A05F705457320E9DEB0D0 9DB8EF87FAEC9C1EF04FEAB98F19A053C44958669E1BE07AC7479247B890EE9D 6E4CFDFF3CD4EB13E927430F865245B27EED78346D0F4C6FC4040A58684C73E8 7DDF0457DF5A884D7838DED4F8E5D22A016A9BD7A08535D1497B74662456F3E9 DF50E8A6A9017B5A1BD5D5585EF62CBBA0A28489DE9D4B4CB3D23AD52BE7F056 DF3A4C2E60967BBC5CF9DEF38465A4663BEF623CFF6E5409ABF63E448819FA84 D625DF2672798C8179EEE6E7C6CBDAF71FC3F54D17BF26982EF694EF3A6403D4 AAFBAE0C4F55DCF721688480FF6278E736914ECB778FD3B840C81E9E53AA8965 9555882716296ED09A3248286DFC0A58EAB85DF3B9418D71DF9E34FF81BF5053 6481DFAD31EB4AE3C5BC45CE4C9DF11B5B11AEDDF3160BB89C927A89665556F4 883F08E5E84ECF9552656B5F45B6A0636D7EF3C39A320BA22CE7727547EF0CD1 6535CBCA0EE1B3D2D733815A9F074A3EB9D15825C5888054CDB0AE275C375002 3275DF969D16DA832FA27007B1818EDF59595787B7CA1524ACBC32E0DAC50767 4D447B4F45E53382E173D347A519C2900DB0BDE5481DF8A88D211AE017ABE2FE 8793ADFCAF5B25D026DE6BC5EEC3DB09506E4A13315DE56D10AC056DAC5AC8F9 C77EC3E52EAE0B774D80B871E075E0501DF34A278DD1A74CB4C7950C8F97BD7D 5178C42E64F98FE99F582EDB3C5171A45BFFAC8CBAAD96468DCD2B07F39312A6 C6779B8120772B65C7848B785A1F4EBC09B0DA42BA1F9C0ED8201276CD327615 5CDB9FABFD21927BC695146C301594C1BA3E01CD3319A56EC583B7A19F91D068 A42354DCBC636749D9E31D54C742FFA340C2C5A559AA6EBD7E6DB5E056972B2B 0DEC5C54CC3E76DB8A51F3B671261A618446FB2C48509803B090E2CAF9A55CDF F3F068E1CD7B68C81014AC021BE4AAE65F31C127ACF11B448E77CC918268D7BA F4037FA816F9A8FC457E09BA97362C2754FA52A43053A81A2E18335324BD769F 6AD49FD6771765724BF3D9FD0FE5DDA959AB760698AF059567BF94A880FF2A6C 0703E567979A54A2577B6D033CF38EDF091FB7ADE6090C2162529417056CE274 9B86618595AD546393E9F6C5AE7EDDA18FDA6F43CE6F9BF68DB3F5428A801C82 C3183CB857292CF9338BB27D2CCF531DD1B5D80C51AEEFCFF9C772660EADA1E9 CE4173364FB204BB303C958873C3CF2E9A30B65A3B6E95D88504FAD8B4A198CF 5C9FCD7D4DF49E7E7293761ED75A99BA0E1697013DAE62207D6B8B3B14EA0140 C6F1A769D970E240C16EED0AEE3A284CD746A7D13346BA1D98194FD3CA614D4B 9D3E474675ABF934F6A5C45289B1455F79734996767C3104CD576155548A1CEC 877E283E60A0ADB48DEA489BDA19FFFBE522F9C565AA4A5557DB288C6C3B5277 9E131F92B97CB0232D79F6E54D2DA51C975F487EBE6B9B1A57329295DBCD907D F11B12572FE0F757AA77598B27B7FF297512060DBFB6FB1856F2BE8789AEC067 81DFBF165832FD011725D612B68DCE3CBF6491B6F83A87E88DCA3193C9A1F0C4 46EECA5E3C3F24FE14D7CA0808D01868CD21B4BC177131A85D37F73FD076A072 B8FC10B10BC2A7E86A7CCCB13CDE9E9BD463CE34E54B01FC42375C969AC4532E 0CDE75DF6BD8788E4BE39D4D6C5CB6ADC4019BCEB006DAE3A8666D91EEDC753A 2E6255812B739CF5FFA40C382AF1CD3B261DC2018B8A674D0E509C50BEAF25B1 F375AD6EF2FBA439DEEBA69B128CA968DFF089CC02E6187AC8FE2A6D8CE1BC07 1F04AB9E6BADD143354CD9CEF83ABE373E48EA159F10A6ED8ADC812171367813 759910BF87EB710C94F172611BC722A7C9B21E8D3E9AF800BE829E0429AF1F24 D23791B64AF756588B0DA0C18D5A63127FFAAEF180A4C81E998F549E864A3724 F4AC11D714701D64AD0C69E76AE78E085C4C78976F1011A50D02DE24982F8F8F 04A527808E8CDF31EE3A1BF4299561CA00521D6D471DE97E2066511F61E0CD78 EC300CB99524726ADCB3EF84CE95E7768229C465717E42939F8CBB2017E3DC4E 6C14C552248192414AE84C0A7182148A4F9F178AAB09F89BC8CC59CBAA0912F3 01EF02737D36FF3E8F071D8E9A486FA50B0638989ABD0F9EC8844840A9BD6E20 027DA17374F8320AB99F9035FA8153FDC3B1209B547248077B392B13D61E17B5 A4729C06 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont %%BeginFont: CMR17 %!PS-AdobeFont-1.1: CMR17 1.0 %%CreationDate: 1991 Aug 20 16:38:24 % Copyright (C) 1997 American Mathematical Society. All Rights Reserved. 11 dict begin /FontInfo 7 dict dup begin /version (1.0) readonly def /Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def /FullName (CMR17) readonly def /FamilyName (Computer Modern) readonly def /Weight (Medium) readonly def /ItalicAngle 0 def /isFixedPitch false def end readonly def /FontName /CMR17 def /PaintType 0 def /FontType 1 def /FontMatrix [0.001 0 0 0.001 0 0] readonly def /Encoding 256 array 0 1 255 {1 index exch /.notdef put} for dup 76 /L put dup 80 /P put dup 97 /a put dup 100 /d put dup 101 /e put dup 103 /g put dup 105 /i put dup 108 /l put dup 111 /o put dup 113 /q put dup 114 /r put dup 116 /t put dup 117 /u put readonly def /FontBBox{-33 -250 945 749}readonly def currentdict end currentfile eexec D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891 016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171 9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758 469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8 2BDBF16FBC7512FAA308A093FE5F075EA0A10A15B0ED05D5039DA41B32B16E95 A3CE9725A429B35BAD796912FC328E3A28F96FCADA20A598E247755E7E7FF801 BDB00E9B9B086BDBE6EDCF841A3EAFC6F5284FED3C634085BA4EE0FC6A026E96 96D55575481B007BF93CA452EE3F71D83FAAB3D9DEDD2A8F96C5840EAE5BE5DC 9322E81DFF5E250DEB386E12A49FC9FBF9B4C25C3283F3CEA74B8278A1B09DA7 E9AE4FBAAF23EDF5A3E07D39385D521547C3AAAB8EB70549756EBA8EF445AF4A 497CA924ACCC3DD5456F8E2C7E36946A5BF14E2E959895F7C94F49137256BE46 4A238684D52792234869EAE1A6D8ADF4E138B79472D2A90A6CA99E2394CC20CD 3841733046175B20CEBE372327BF13428EED6A3E2FDF84C2DBA4B0AD584EE9DF B51828D3B8F385846158C29C9AC3496CB9692DD10219697B2ED4D425C3957FD8 C4600D76E045C561216EF05D38177243C314877A69A1C22E3BEC611A2EE5A216 9B7C264CF6D1839DBBD78A40610F2C0D7C2FE09FFA9822FF55035AD52546970F 83EED2D30EABB1F303091EBC11A5379B12BB3F405E371519A53EA9D66174ED25 A2E55463EC71A97BE4C04B39E68112956117C8252DB6FB14AB64534B4BCD568B 246DB833982B38CDE7268BBF74B6B0C18091E1B1F87D32D66F4DD023D1F10D2A 7736A960F72AC01F733A11023832CD68FB6288A5977743F781214D8FA9C0C3F7 80001321D4397771F728FD9EE57CFE7D9192B887EC883EB1505068261DC40089 7B7D2820F06515CD74513521F6397FEAB3AD3572D9A8269430E407E357422461 1785FC2782047F4C0339D79B16862D939F3A37F78E4E2174E4FBF132539CB760 207999FF86F6A3EBE48EB0A1CA635450FDEEF79EB16D853F3BF4B419A9216F98 1063948FBA78EAA663E7C1319C98512229B8EF5B8C2CF334E9E4614BCECC84AF 8759A2835A28DCDB834466775734DE31FDE3A53AE76BA5EB1D810F5848924E63 12B35AA2ECCD43602BD12434CFBC6B5E274EE0D7563B1C060FA8E2592D2106F9 E1CEFDF73EE6A814DF584ABF4C00DDF039E8C4F186090F392D64C279973B45F8 518491B7CB18F3BFCF5D8227A5CC163C317E4E68D70ABF0C3A2D6DD3F6674C6A 6E8EAF37D1EF3C1B05480328E11224AFAF44CBAAE50800CA3BEDFADB6D5DA9AA B09619B1A432FB698245FD86289BECFA8216879E8FE9E6904A6E166FEC303A2F 3D90D807FE0429C3E18E24E843CAE6DE0CEAD18DE5BD4AD450D284F72E2DF677 BE9EAF141145C69264CC8E79A25E14BB27DA3FF60A76326D3B0FE56D6B2330DB 58823118029FBC9F9F28A02D9085228515E76C507502A577E8BC56F34085B590 52807967F21645B183D1F64B6D182298F821D55C1FA641A1A290B04BEC4381D7 6BFA3161C959E2B76F328A3CB10D66FF8C36B26EB9FD7D3D834B85C73BB9A519 54F0B37646F109324BF5BB62EE073E38C9449D4E86F6BFE79F0A2D1DB18CE75A 791D51B0EE00DD6A86BA98D173D78B179853213A779D578F591C932947D645B0 812F838648C376E3A3F7BF5269B059AE935D9674E8E5EDAA737C2ABFA780C059 996567AE0A45C702DA45ECA6D313799E49A72B62455C87962EF03523B4DA259B 3AB28803E47AD42D572832B5576D3C8AB85CB3C5B00E1E64132EE8B74C2BD5CA F7CBDE330A3FA1C99D57CD4D18B6BDFB4BEE3D34B92F04D526F3AA2082E134DF 6CAA250235808FDEC5A6EB2D0E59726238FEDADE3DE3B14EDDB475C5744D0697 316E3BDDBCAE3096169C6655224709AFFEE44FE9C02CF1AD426E72864C7AB443 33DF12C0C04A3925A61A4BD8BAC561BB0E3AA0CD118DE8132042C48A9050B7E2 27D2AA1BB8E98C11DA0F8F43AEE6EAB6A1B42FD1D2ED6CC82C74DBD2990B1032 445CDAA2E34E92D90498247E419FAEFAF287D540A821D6DDA951BEBCD8AF5125 06C0B8AE25FDE85A46E675893EE21D9BB77F06D3921BBAB75D3B8DAF2B9DFDA3 ED581F358A17D910F74C7EB326D20173F93551DD3A05ECE145D53CBDE5E2BB73 97F3CF3FB7C52E48CE1B9CB0ABA570C77D0D7EBE5900783802B6EC2F47F8FF45 36D1FDD642DAF2AC46A786F31AFDF46C64A26A3D7EFCF450C520E00C0F07E6F6 6C73221C6BD2CC4AD4FB9A61963F95F2487397E3EBB60C10E4E9836D4FD8B973 2078CC398A246CEC539967FF7A1073E17F5F4F25C272D6174657B21B8D249C9D D5A8A5864F2FA45F7314D63A7BC21C048628F5EC421057D2E68AF702370917D6 2E1621D9CD08C59498F5FB883C7993402718EC0BB68415E8C4A226B500E84EB0 81AFA6C4712A13C8C7BDC95E7619CCE37488DF8BA54061E3B5575F5FDEE6EB0D 5ED6AFA8FF04420ED49FB5468EBF1A40DD2DF41FB73A46CE7F5C418740C0B98F 411569D18D65B0DB314B354E4ADB6D6FA223C868D42331E33F2486CC06941AE8 247E9824A8BA48EDE6B3DDA269BAB78A952C784F2FB586B1AEA6FD3902F54921 F588B6C0F93C304714F41775F8FE30323AAAF030C70BD80F323D83E5B7909DE5 7C36A3880D4D7903659E20094AB6A5B02D4D52BF5A0D9DD547B0B2934A352513 47CD0165A94AA374C2DF84B001523F5CB4BD09D82E7C1A25340C23EFF93C9511 93DCE423ED67B65BDF38B11BF211839D8E6564C25E10604756A10D557823BDE6 0E1A234FFDEDBB5311D730A14994DFC85BBE2FCB581502BC0ABD75F467FC641A B6BBAE14C6E746A0CC0AB49E78933D4B31CC5A89F5DB1DEE81105C1AD5D87660 EB8416D46F2AB3C56F34D98DBC0DBC816816B98A85E686F162BE4D1C8B954C07 96CDD99F8BDC4528C550CDB982AD871309499D1DF7F05B7650BEB8D25894A1B2 86DF0676EC66228786337E9873A44AC6292E08CF4419D567C7BE7F02553BA2BA EC3382E4D6FA183A537C4D05AC01930DC3501DEF28E199AC9A503A3DD76F0D43 9E532AC489AD6AFFB6C1F0CF78566E37A865DD9134EFC360E32339CDBD5E9696 58B902ED61D265D4FCC0772435F677158DC97ACA86395AC044BDBFAA13D89DF4 40CA1831FA0CAEAF00D9D62608A85310504486A876023B1532F5B5CA66EB85E2 3365F37B8C7F49143EDDC78BC7A9C309ED98E5B4EF6F443F6B55B685005BD901 BB5FFAC21F0BA2072D4EC180083B3B63DA881C3DCACB8C6A5209B292907DBEF1 FAE029AC921BDAB1DA158C0663F4C2AE36EA5E4E0401B936E1A951D17482B29E 8207B0EDC119373637F1CEFD84E9937E7CE5B8B32D74F4ACDB1E4F0EBA7670C3 E0CADDF220E2C746281EDDB3EE5231A0BAABEF65684923983EF47EF931D2D478 CE7D83999ED45598B88F5E2BB8F51129060FF0B66694EB885A0E9D53CFD476BB 1C0F926F26D521A33CE682B7EB965681CA129DC15FDA38821635134D5D212330 A1DBB9B008749A41AB623233743ED7752B88874DFAD267596F6E9658EBC7C6C7 8078A79DA1043030EFF0C9BB25EFBF4B515D1B818DACF0169ADADAD9B6F68027 5CDB2EB798499CCC6126119AD1937064670D23EE5B38A7665042F37B15F8BAFF 2F069E30BDC7763142F96054F957FBD85C92C75C103A1BBCAD0F8284D41221B2 98FABFBFED174FC2BEF384B60C5D16FD24A6FED252BD3BA9F47BA4C4AE896B6F 20CCDACC05C6747BD5D058B32B6ED775CF9E101320962AA0211211CB5BF938DC 2E1A2A87072C8DA03CB38AE4DA550F2D7763D0D5268B4F2D1C445429036C0C9E 3BC53F0D405D9D8533F979527A04D8BC48578B 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000 cleartomark %%EndFont TeXDict begin 39139632 55387786 1000 600 600 (partiel05.dvi) @start /Fa 145[58 9[58 26[40 73[{}3 90.9091 /CMBX10 rf /Fb 138[49 30 37 2[46 46 51 74 23 2[28 2[28 42 1[42 42 46 31[68 6[28 12[33 28 31[51 12[{}19 90.9091 /CMTI10 rf /Fc 229[68 26[{}1 90.9091 /CMEX10 rf /Fd 143[36 4[37 26[45 80[{}3 66.4176 /CMMI8 rf /Fe 139[33 35 2[47 45 47 72 22 2[22 1[45 1[40 3[44 3[26 1[26 25[61 8[45 1[45 45 45 45 45 45 45 3[25 44[{}23 90.9091 /CMSS10 rf /Ff 205[35 35 35 48[{}3 66.4176 /CMR8 rf /Fg 207[19 44[35 2[55{}3 66.4176 /CMSY8 rf /Fh 148[47 23[56 69 72 58 3[62 77 50 40 3[67 1[65 4[71 1[71 25 26[59 1[54 11[43 18[{}17 90.9091 /CMMI10 rf /Fi 149[25 2[45 45 5[56 61 61 1[61 11[63 9[65 48 5[71 4[61 7[61 16[91 11[71 71 1[71 18[{}17 90.9091 /CMSY10 rf /Fj 135[71 5[55 8[37 3[61 1[60 29[88 15[67 67 67 67 67 49[{}11 119.552 /CMBX12 rf /Fk 132[45 1[48 48 1[48 51 35 36 36 48 51 45 51 76 25 1[28 25 51 45 28 40 51 40 51 45 2[45 10[51 67 71 62 71 1[83 57 1[47 4[62 69 66 3[43 1[71 2[25 5[45 45 45 45 2[25 30 25 71 1[35 35 25 19[45 45 5[51 53 11[{}54 90.9091 /CMR10 rf /Fl 137[51 3[38 2[49 54 81 7[43 2[54 44[49 1[49 49 1[49 48[{}11 99.6264 /CMR12 rf /Fm 138[73 51 1[51 70 1[66 2[36 2[36 1[66 1[58 73 2[66 16[90 3[83 76[{}13 143.462 /CMR17 rf end %%EndProlog %%BeginSetup %%Feature: *Resolution 600dpi TeXDict begin %%PaperSize: A4 end %%EndSetup %%Page: 1 1 TeXDict begin 1 0 bop 1386 763 a Fm(P)l(artiel)43 b(de)h(Logique)1530 1219 y Fl(23)32 b(no)m(v)m(em)m(bre)j(2005)216 1568 y Fk(Les)c(do)s(cumen)m(ts)g(son)m(t)g(autoris)m(\023)-43 b(es.)33 b(Les)e(exercices)i(son)m(t)e(ind)m(\023)-43 b(ep)s(endan)m(ts.)31 b(Dur)m(\023)-43 b(ee)32 b(:)g(3)f(heures.)f(La)h (lon-)75 1681 y(gueur)f(indiqu)m(\023)-43 b(ee)31 b(est)g(celle)h(du)d (corrig)m(\023)-43 b(e)33 b(dact)m(ylographi)m(\023)-43 b(e.)33 b(Le)e(bar)m(^)-43 b(eme)31 b(est)g(indicatif.)75 1968 y Fj(Exercice)46 b(1)216 2171 y Fk(Soit)35 b Fi(P)40 b Fk(=)33 b Fi(f)p Fh(P)s(;)15 b(Q;)g(R)q Fi(g)35 b Fk(et)h Fi(E)k Fk(=)32 b Fi(f)p Fh(P)37 b Fi(_)23 b Fh(Q;)47 b Fi(:)p Fh(P)36 b Fi(_)23 b(:)p Fh(Q;)47 b(P)36 b Fi(_)23 b Fh(R)q(;)47 b Fi(:)p Fh(P)36 b Fi(_)23 b Fh(Q)g Fi(_)f(:)p Fh(R)q Fi(g)p Fk(.)35 b(On)f(supp)s(ose)f(que)75 2283 y Fh(P)38 b(<)25 b(Q)g(<)g(R)q Fk(.)186 2428 y(1.)46 b(Donner)30 b(l'arbre)h(s)m(\023)-43 b(eman)m(tique)32 b(de)e Fi(E)186 2572 y Fk(2.)46 b(Quelles)31 b(son)m(t)g(les)g(in)m (terpr)m(\023)-43 b(etations)32 b(qui)e(satisfon)m(t)i Fi(E)23 b Fk(?)186 2716 y(3.)46 b(Donner)25 b(un)f(ensem)m(ble)h(de)g (clauses)g Fi(E)1596 2683 y Fg(\003)1636 2716 y Fk(,)g(logiquemen)m(t)f (\023)-43 b(equiv)-5 b(alen)m(t)27 b(\022)-45 b(a)25 b Fi(E)8 b Fk(,)25 b(tel)h(que)e(toutes)i(les)f(clauses)302 2829 y(de)32 b Fi(E)481 2796 y Fg(\003)552 2829 y Fk(s'obtiennen)m(t)g (par)f(r)m(\023)-43 b(esolution)33 b(et)f(factorisation)h(binaire)f (\022)-45 b(a)32 b(partir)f(de)g Fi(E)40 b Fk(et)32 b(ne)f(con)m(tenan) m(t)302 2942 y(pas)f(de)h(paire)f(de)g(clauses)h(distinctes)g Fh(C)1708 2956 y Ff(1)1748 2942 y Fh(;)15 b(C)1853 2956 y Ff(2)1923 2942 y Fk(telles)32 b(que)e Fh(C)2390 2956 y Ff(1)2455 2942 y Fi(j)-15 b Fk(=)25 b Fh(C)2626 2956 y Ff(2)2665 2942 y Fk(.)75 3086 y Fe([10)31 b(lignes,)g(3)g(p)s(oints]) 75 3373 y Fj(Exercice)46 b(2)216 3576 y Fk(On)30 b(supp)s(ose)e (l'ensem)m(ble)k(\(d)m(\023)-43 b(enom)m(brable\))32 b(de)e(v)-5 b(ariables)31 b(prop)s(ositionnelles)f(totalemen)m(t)j (ordonn)m(\023)-43 b(e.)75 3688 y(L'ordre)37 b(est)f(\023)-43 b(etendu)38 b(aux)g(litt)m(\023)-43 b(eraux)40 b(par)d(:)h Fi(:)p Fh(P)50 b(>)38 b(Q)f Fk(ssi)h Fh(P)51 b(>)37 b Fi(:)p Fh(Q)g Fk(ssi)h Fi(:)p Fh(P)50 b(>)38 b Fi(:)p Fh(Q)f Fk(ssi)h Fh(P)50 b(>)38 b(Q)p Fk(.)g(On)75 3801 y(consid)m(\022)-43 b(ere)32 b(l'unique)e(r)m(\022)-43 b(egle)32 b(d'inf)m(\023)-43 b(erence)31 b(:)780 3998 y Fh(P)i Fi(_)20 b Fh(C)90 b Fi(:)p Fh(P)32 b Fi(_)20 b Fh(C)1411 3965 y Fg(0)p 739 4111 737 4 v 929 4224 a Fh(C)994 4238 y Fg(\000)p Fd(p)1109 4224 y Fi(_)g Fh(C)1262 4191 y Fg(0)1661 4111 y Fk(Si)1752 3983 y Fc(\032)1861 4054 y Fh(P)44 b Fk(est)31 b(maximal)g(dans)e Fh(C)e Fi(_)20 b Fh(P)1861 4167 y Fi(:)p Fh(P)43 b Fk(est)31 b(maximal)g(dans)f Fh(C)2821 4134 y Fg(0)2864 4167 y Fi(_)20 b(:)p Fh(P)75 4420 y Fk(O)s(\022)-48 b(u)30 b Fh(C)292 4434 y Fg(\000)p Fd(P)435 4420 y Fk(est)h(la)g(clause)g Fh(C)37 b Fk(dans)30 b(laquelle)i(toutes)f(les)g(o)s(ccurrences)f(de)g Fh(P)44 b Fk(on)m(t)28 b(\023)-43 b(et)m(\023)g(e)33 b(supprim)m(\023)-43 b(ees.)216 4533 y(Cette)32 b(unique)d(r)m(\022)-43 b(egle)32 b(est)f(elle)h(r)m(\023)-43 b(efutationnellemen)m(t)33 b(compl)m(\022)-43 b(ete)18 b(?)30 b(justi\014er.)75 4696 y Fe([18)h(lignes,)g(5)g(p)s(oints])75 4982 y Fj(Exercice)46 b(3)216 5185 y Fk(P)m(our)30 b(c)m(hacun)g(des)f(s)m(\023)-43 b(equen)m(ts)31 b(suiv)-5 b(an)m(ts,)31 b(dire)e(s'ils)h(son)m(t)h (prouv)-5 b(ables)29 b(dans)g Fh(LJ)2966 5199 y Ff(0)3006 5185 y Fk(,)h(et)g(s'ils)g(son)m(t)h(prou-)75 5298 y(v)-5 b(ables)31 b(dans)e Fh(LK)697 5312 y Ff(0)737 5298 y Fk(,)h(quelles)h(que)g(soien)m(t)g(les)g(form)m(ules)f Fh(\036;)15 b( )s(;)g(\022)s Fk(.)32 b(Justi\014er)d(en)h(d)m(\023)-43 b(etail)33 b(les)e(r)m(\023)-43 b(ep)s(onses.)186 5442 y(1.)46 b Fi(:)p Fh(\036)20 b Fi(_)g(:)p Fh( )28 b Fi(`)d(:)p Fk(\()p Fh(\036)c Fi(^)e Fh( )s Fk(\))186 5587 y(2.)46 b Fi(`)25 b(:)p Fk(\()p Fh(\036)g Fi(!)h(:)p Fh(\036)p Fk(\))1890 5841 y(1)p eop end %%Page: 2 2 TeXDict begin 2 1 bop 186 399 a Fk(3.)46 b Fi(::)p Fh(\036;)15 b Fi(:::)p Fh(\036)24 b Fi(`)h(:)p Fh(\036)20 b Fi(_)g Fh(\036)186 543 y Fk(4.)46 b Fh(\036)26 b Fi(!)f(:)p Fh(\036;)15 b Fi(:)p Fh(\036)25 b Fi(!)g Fh(\036)h Fi(`?)75 687 y Fe([40)31 b(lignes,)g(6)g(p)s(oints])75 973 y Fj(Exercice)46 b(4)216 1176 y Fi(P)38 b Fk(d)m(\023)-43 b(esigne)32 b(un)d(ensem)m(ble)i Fb(\014ni)40 b Fk(de)30 b(v)-5 b(ariables)31 b(prop)s(ositionnelles.)216 1289 y(On)f(d)m(\023)-43 b(esigne)31 b(par)f Fh(C)7 b Fk(\()p Fi(P)g Fk(\))31 b(le)g(plus)f(p)s(etit)g(ensem)m(ble)h(de)g(form)m(ules)f(tel)h(que)216 1402 y({)46 b(Si)31 b Fh(k)k Fk(est)d(un)f(en)m(tier)h(naturel)g(inf)m (\023)-43 b(erieur)32 b(ou)d(\023)-43 b(egal)34 b(au)d(nom)m(bre)g(de)h (v)-5 b(ariables)32 b(prop)s(ositionnelles)g(et)307 1515 y Fh(S)e Fi(\022)25 b(P)7 b Fk(,)32 b(alors)e Fe(A)m(tmost)1110 1530 y Fd(k)1152 1515 y Fk(\()p Fh(S)5 b Fk(\))31 b(et)g Fe(A)m(tleast)1685 1530 y Fd(k)1727 1515 y Fk(\()p Fh(S)5 b Fk(\))31 b(son)m(t)g(des)f(form)m(ules)h(de)f Fh(C)7 b Fk(\()p Fi(P)g Fk(\))216 1628 y({)46 b(Si)30 b Fh(\036;)15 b( )29 b Fi(2)c Fh(C)7 b Fk(\()p Fi(P)g Fk(\),)32 b(alors)f Fh(\036)20 b Fi(^)g Fh( )29 b Fi(2)24 b Fh(C)7 b Fk(\()p Fi(P)g Fk(\))216 1741 y Fb(A)n(ttention)33 b(:)f Fh(S)38 b Fb(est)33 b(ici)f(un)g(ensemble,)h(p)-5 b(as)34 b(un)e (multi-ensemble)p Fk(.)f Fi(j)p Fh(S)5 b Fi(j)30 b Fk(d)m(\023)-43 b(esigne)32 b(le)f(cardinal)g(de)f Fh(S)5 b Fk(.)224 1831 y(\023)216 1854 y(Etan)m(t)27 b(donn)m(\023)-43 b(ee)26 b(une)g(in)m(terpr)m(\023)-43 b(etation)28 b Fh(I)33 b Fk(\(sous-ensem)m(ble)26 b(de)g Fi(P)7 b Fk(\))27 b(et)f(une)f(form)m(ule)h Fh(\036)g Fi(2)f Fh(C)7 b Fk(\()p Fi(P)g Fk(\),)26 b(on)g(dira)75 1967 y(que)k Fh(I)40 b Fb(satisfait)34 b Fh(\036)c Fk(\(ce)i(que)e(l'on)h(notera)g Fh(I)h Fi(j)-15 b Fk(=)25 b Fh(\036)p Fk(\))31 b(si)f(et)h(seulemen)m (t)h(si,)216 2080 y({)46 b(Ou)30 b(bien)g Fh(\036)g Fk(est)h(une)f (conjonction)h Fh(\036)1595 2094 y Ff(1)1655 2080 y Fi(^)20 b Fh(\036)1790 2094 y Ff(2)1860 2080 y Fk(et)31 b Fh(I)h Fi(j)-15 b Fk(=)25 b Fh(\036)2198 2094 y Ff(1)2268 2080 y Fk(et)31 b Fh(I)h Fi(j)-15 b Fk(=)25 b Fh(\036)2606 2094 y Ff(2)216 2193 y Fk({)46 b(ou)30 b(bien)g Fh(\036)c Fk(=)f Fe(A)m(tmost)1082 2208 y Fd(k)1125 2193 y Fk(\()p Fh(S)5 b Fk(\))31 b(et)g Fi(j)p Fh(I)c Fi(\\)20 b Fh(S)5 b Fi(j)25 b(\024)g Fh(k)216 2305 y Fk({)46 b(ou)30 b(bien)g Fh(\036)c Fk(=)f Fe(A)m(tleast)1070 2320 y Fd(k)1113 2305 y Fk(\()p Fh(S)5 b Fk(\))31 b(et)g Fi(j)p Fh(I)c Fi(\\)20 b Fh(S)5 b Fi(j)26 b(\025)f Fh(k)186 2465 y Fk(1.)46 b(Mon)m(trer)36 b(que,)g(p)s(our)e(toute)j(form)m(ule)e Fh(\036)f Fi(2)g Fh(C)7 b Fk(\()p Fi(P)g Fk(\))36 b(il)g(existe)h(une)d (form)m(ule)2957 2441 y(^)2945 2465 y Fh(\036)g Fi(2)f(F)3192 2479 y Ff(0)3232 2465 y Fk(\()p Fi(P)7 b Fk(\))37 b(telle)g(que)302 2578 y Fh(I)c Fi(j)-15 b Fk(=)25 b Fh(\036)30 b Fk(si)h(et)g(seulemen)m (t)g(si)f Fh(I)j Fi(j)-15 b Fk(=)1467 2554 y(^)1455 2578 y Fh(\036)p Fk(.)186 2722 y(2.)46 b(Mon)m(trer)39 b(que)g(la)g(r)m (\023)-43 b(ecipro)s(que)39 b(de)f(la)h(question)g(pr)m(\023)-43 b(ec)m(\023)g(eden)m(te)42 b(est)d(fausse)f(:)h(donner)e(une)h(form)m (ule)302 2835 y Fh( )29 b Fi(2)c(F)541 2849 y Ff(0)581 2835 y Fk(\()p Fi(P)7 b Fk(\))31 b(telle)g(qu'il)f(n'existe)h(aucune)e (form)m(ule)h Fh(\036)c Fi(2)f Fh(C)7 b Fk(\()p Fi(P)g Fk(\))30 b(telle)i(que)d Fh(I)k Fi(j)-15 b Fk(=)25 b Fh( )33 b Fk(si)d(et)g(seulemen)m(t)302 2948 y(si)h Fh(I)h Fi(j)-15 b Fk(=)25 b Fh(\036)75 3108 y Fe([33)31 b(lignes,)g(5)g(p)s (oints])75 3395 y Fj(Exercice)46 b(5)216 3598 y Fk(On)26 b(note)h Fi(`)g Fk(la)g(relation)h(de)e(d)m(\023)-43 b(eduction)28 b(par)e(r)m(\023)-43 b(esolution)28 b(binaire)f(et)h (factorisation)g(binaire.)f(Mon)m(trer)75 3710 y(que,)j(si)h Fh(P)43 b Fk(est)31 b(une)f(v)-5 b(ariable)31 b(prop)s(ositionnelle)g (et)g Fh(E)36 b Fk(un)29 b(ensem)m(ble)i(de)f(clauses)h(satisfaisable,) h(alors)1453 3915 y Fh(E)5 b(;)15 b Fi(:)p Fh(P)39 b Fi(`?)115 b Fk(ssi)61 b Fh(E)30 b Fi(`)25 b Fh(P)75 4119 y Fk(\()p Fa(Ind)34 b Fk(:)h(on)f(p)s(ourra)e(ou)i(bien)g(g)m(\023)-43 b(en)m(\023)g(eraliser)37 b(la)e(propri)m(\023)-43 b(et)m(\023)g(e)36 b(en)e(s'inspiran)m(t)g(de)g(la)h(preuv)m(e)f(de)f(compl)m(\023)-43 b(etude)75 4232 y(de)32 b(R)m(\023)-43 b(esolution+factorisation+tiers) 36 b(exclu+a\013aiblissemen)m(t)e(\(noter)f(que)f(l'on)h(n'a)f(pas)g (ici)h(ces)g(deux)75 4345 y(derni)m(\022)-43 b(ere)31 b(r)m(\022)-43 b(egles\),)33 b(ou)d(bien)g(utiliser)h(une)f (transformation)g(de)h(preuv)m(es\).)75 4458 y Fe([21)g(lignes,)g(5)g (p)s(oints])1890 5841 y Fk(2)p eop end %%Trailer userdict /end-hook known{end-hook}if %%EOF