(original) (raw)
%!PS-Adobe-2.0 %%Creator: dvips(k) 5.78 Copyright 1998 Radical Eye Software (www.radicaleye.com) %%Title: peg.dvi %%Pages: 6 %%PageOrder: Ascend %%BoundingBox: 0 0 612 792 %%EndComments %DVIPSCommandLine: dvips -f peg.dvi %DVIPSParameters: dpi=600, compressed %DVIPSSource: TeX output 2001.03.05:1211 %%BeginProcSet: texc.pro %! /TeXDict 300 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N /X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72 mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1} ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if} forall round exch round exch]setmatrix}N /@landscape{/isls true N}B /@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{ /nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{ /sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0] N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{ 128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N /rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 sub]/id ch-image N /rw ch-width 7 add 8 idiv string N /rc 0 N /gp 0 N /cp 0 N{rc 0 ne{rc 1 sub /rc X rw}{G}ifelse}imagemask restore}B /G{{id gp get /gp gp 1 add N dup 18 mod S 18 idiv pl S get exec}loop}B /adv{cp add /cp X}B /chg{rw cp id gp 4 index getinterval putinterval dup gp add /gp X adv}B /nd{/cp 0 N rw exit}B /lsh{rw cp 2 copy get dup 0 eq{pop 1}{ dup 255 eq{pop 254}{dup dup add 255 and S 1 and or}ifelse}ifelse put 1 adv}B /rsh{rw cp 2 copy get dup 0 eq{pop 128}{dup 255 eq{pop 127}{dup 2 idiv S 128 and or}ifelse}ifelse put 1 adv}B /clr{rw cp 2 index string putinterval adv}B /set{rw cp fillstr 0 4 index getinterval putinterval adv}B /fillstr 18 string 0 1 17{2 copy 255 put pop}for N /pl[{adv 1 chg} {adv 1 chg nd}{1 add chg}{1 add chg nd}{adv lsh}{adv lsh nd}{adv rsh}{ adv rsh nd}{1 add adv}{/rc X nd}{1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]dup{bind pop}forall N /D{/cc X dup type /stringtype ne{] }if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{ cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin 0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict /eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X /IE 256 array N 2 string 0 1 255{IE S dup 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 /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V{}B /RV statusdict begin /product where{pop false[ (Display)(NeXT)(LaserWriter 16/600)]{dup length product length le{dup length product exch 0 exch getinterval eq{pop true exit}if}{pop}ifelse} forall}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail {dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M} B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{ 4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{ p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p a}B /bos{/SS save N}B /eos{SS restore}B end %%EndProcSet TeXDict begin 40258431 52099146 1000 600 600 (peg.dvi) @start %DVIPSBitmapFont: Fa cmti9 9 44 /Fa 44 122 df44 D<121C127F12FFA412FE12380808778718>46 D51 D55 DI<161C163CA2167C 16FCA21501821503A2ED077E150F150E151CA21538A2157015F015E0EC01C0A291380380 7F82EC0700A2140E141E141C5CA25CA25C49B6FCA25B913880003F49C7EA1F80A2130E13 1E131C133C13385B13F05B12011203D80FF0EC3FC0D8FFFE903807FFFEA32F367BB539> 65 D67 D<0107B612C04915F017FC90 3A003F8001FEEE007FEF1F8092C7EA0FC0EF07E05CEF03F0147E170102FE15F8A25CA213 01A25CA2130317035CA2130718F04A1407A2130F18E04A140F18C0011F151F18805CEF3F 00133F177E91C85AA2494A5A4C5A017E4A5A4C5A01FE4A5A047EC7FC49495A0001EC0FF8 007FB612E0B7C8FC15F835337BB23A>I<0107B712F05B18E0903A003F80001F17071703 92C7FC17015C18C0147EA214FEA24A130EA20101EC1E03041C13804A91C7FC163C13035E 9138F001F891B5FC5B5EECE0011500130F5E5C1707011F01015BEEC00E0280141E92C712 1C133F173C91C812381778495DA2017E14014C5A01FE14074C5A49141F00014AB45A007F B7FCB8FC94C7FC34337CB234>I<92391FE001809238FFF8030207EBFE07913A1FF01F0F 0091393F80079F9139FE0003DFD901F86DB4FCD907F05C49481300495A4948147E49C812 7C137E13FE485A48481578A2485AA248481570A2485A94C7FC123F5BA3127F90CBFCA400 FE91383FFFFCA25F9238003F8094C7FCA2007E5DA2167EA2007F15FE7E5E6C6C1301A26C 6C495A6D13076C6CEB0F786C6C133E3A00FF01FC3090387FFFF0011F01C0C8FCD903FEC9 FC313775B43B>71 D<0107B548B512C0495CA2903C003FC0000FF0004B5CA292C75BA24A 141F60147EA202FE143F95C7FC5CA201015D177E5CA2010315FE5F5C91B6FC5B5F9138E0 0001A2010F14035F5CA2011F14075F5CA2013F140F5F91C7FCA249141F5F137EA201FE14 3F94C8FC5B00015D3B7FFFF01FFFFCB55BA23A337BB239>I<010FB51280A21600903800 3FC05DA292C7FCA25CA2147EA214FEA25CA21301A25CA21303A25CA21307A25CA2130FA2 5CA2131FA25CA2133FA291C8FCA25BA2137EA213FEA25B1201B512F8A25C21337BB21E> I<91381FFFFE5C16FC9138003F80A31600A25D157EA315FE5DA314015DA314035DA31407 5DA3140F5DA3141F5DA3143F92C7FCA2121C007E5B00FE137EA214FE485BEAF80100E05B 495A387007E038780FC06C48C8FCEA1FFCEA07F0273579B228>I<0107B590380FFFF05B 19E09026003FC0903803FE004B14F818E092C7485A4DC7FC4A141E177C027E5CEE01E002 FE495A4C5A4A011FC8FC163E010114785E4A485AED07C00103495A4B7EECF03F157F9039 07F1FFE0ECF3E79138E787F0ECEF0790380FFE0302FC7FECF80114E0D91FC07F15004A7F A2013F147E167F91C77E835B161F017E81160F13FE835B000182267FFFF090B57EB55B95 C7FC3C337BB23B>I<0107B512C05BA29026003FC0C7FC5DA292C8FCA25CA2147EA214FE A25CA21301A25CA21303A25CA21307A25CA2130FA25C17E0011F140117C05C1603013F15 80160791C7FCEE0F005B5E017E143EA201FE5CED01FC4913030001EC1FF8007FB6FCB7FC 5E2B337CB230>I<902607FFC0ED7FFC4917FF81D9003F4B1300611803023BED077CA202 7BED0EFC610273151C1838DAF1F01439F071F014E118E10101ED01C36102C1EC0383EF07 0301031607050E5BEC80F8171C0107ED380F6102001470A249EDE01FDC01C090C7FC130E EE0380011E017C5C933807003E011C140EA2013C4A137E187C01385C5E017816FC6F485B 1370ED3FC001F0EC80016000011500D807F81503277FFF803E90B512C0B5EB3C01151C46 337BB245>I<902607FF8090383FFFC0496D5BA2D9001F913803F8004A6C6D5A6060EC3B F0027B140360EC71F8A202F11407DAF0FC91C7FC14E0A20101017E5B170E14C081010315 1EEE801CEC801FA20107ECC03C030F1338140016E049010713781770010E14F01503011E 15F0705A011C1301A2013C14FD03005B133816FF0178147F5F0170143FA213F070C8FC12 01EA07F8267FFF807FB5140EA23A337BB239>II<0107B612C04915F883903A003F8001FEEE003FEF1F8092C713C0170F5C18E014 7EA214FEEF1FC05CA201011680173F4A1500177E010315FE5F4AEB03F8EE07E00107EC3F C091B6C7FC16F802E0C9FC130FA25CA2131FA25CA2133FA291CAFCA25BA2137EA213FEA2 5B1201387FFFF0B5FCA233337CB234>I<0107B512FE49ECFFC017F0903A003F8007F8EE 01FCEE007E92C7127F835C1880147EA214FEEF7F005CA2010115FE5F4A13015F01034A5A EE0FC04A495A04FEC7FC49B512F016C09138E003E0ED01F8010F6D7E167C4A137EA2131F A25CA2013F14FEA291C7FCA24913015E137EEF01C001FE150318805B00011607277FFFF0 001400B5ECFE0EEE7E1CC9EA1FF8EE07E032357BB238>82 D<913901FC018091380FFF03 023F13C791387E07EF903A01F801FF0049487E4A7F495A4948133E131F91C7FC5B013E14 3CA3137E1638A293C7FC137FA26D7E14E014FE90381FFFC06D13F86D7F01017F6D6C7E02 0F7F1400153F6F7E150FA4120EA2001E5D121CA2151F003C92C7FCA2003E143E5D127E00 7F5C6D485A9038C007E039F3F80FC000F0B5C8FC38E03FFC38C00FF029377AB42B>I<00 03B812C05A1880903AF800FC003F260FC001141F0180150F01005B001EEE07001403121C 003C4A5BA200380107140E127800705CA2020F141E00F0161CC74990C7FCA2141FA25DA2 143FA292C9FCA25CA2147EA214FEA25CA21301A25CA21303A25CA21307A25C497E001FB5 12F05AA2323374B237>I<3B3FFFF801FFFE485CA2D801FEC7EA1FC049EC0F8017004914 0EA2161E120349141CA2163C1207491438A21678120F491470A216F0121F495CA2150112 3F90C75BA215035A007E5DA2150712FE4892C7FCA25D150E48141E151C153C153815786C 5C5D007C1301007E495A003EEB0F806C011EC8FC380FC0FC6CB45A000113E06C6CC9FC2F 3570B239>I87 D97 D<14FCEB07FF90381F078090383E03 C0EBFC013801F8033803F0073807E00F13C0120F391F80070091C7FC48C8FCA35A127EA3 12FE5AA4007C14C0EC01E0A2EC03C06CEB0F80EC1F006C137C380F81F03803FFC0C648C7 FC1B2278A023>99 DII<151F ED7FC0EDF0E0020113F0EC03E3A2EC07C316E0EDC1C091380FC0005DA4141F92C7FCA45C 143E90381FFFFEA3D9007EC7FC147CA414FC5CA513015CA413035CA413075CA3130FA25C A3131F91C8FCA35B133E1238EA7E3CA2EAFE7812FC485AEA78E0EA3FC0000FC9FC244582 B418>I<143FECFF80903803E1E6903807C0FF90380F807FEB1F00133E017E133F49133E A24848137EA24848137CA215FC12074913F8A21401A2D80FC013F0A21403120715E01407 140F141F3903E03FC00001137FEBF0FF38007FCF90381F0F801300141FA21500A25C143E 1238007E137E5C00FE5B48485A387803E0387C0F80D81FFFC7FCEA07F820317CA023>I< EB0FC0EA03FFA25CEA001FA391C8FCA25BA2133EA2137EA2137CA213FCA29038F83F80EC FFE03901FBE0F09038FF80F8EC007849137C485A5B5BA2484813FC5D5BA2000F13015D13 80A2001F13035DEB0007EDC0C048ECC1E0020F13C0003E1481A2007E1483ED0380007C14 07160000FC140E151E48EB07F80070EB01F023357BB327>II<133FEA07FF5A13FEEA007EA3137CA213FCA2 13F8A21201A213F0A21203A213E0A21207A213C0A2120FA21380A2121FA21300A25AA212 3EA2127EA2127C1318EAFC1C133CEAF838A21378137012F013F0EAF8E01279EA3FC0EA0F 00103579B314>108 D<2703C003F8137F3C0FF00FFE01FFC03C1E783C1F07C1E03C1C7C F00F8F01F03B3C3DE0079E0026383FC001FC7FD97F805B007001005B5E137ED8F0FC9038 0FC00100E05FD860F8148012000001021F130360491400A200034A13076049013E130FF0 81800007027EEC83C0051F138049017C1403A2000F02FC1407053E130049495CEF1E0E00 1F01015D183C010049EB0FF0000E6D48EB03E03A227AA03F>I<3903C007F0390FF01FFC 391E787C1E391C7CF01F393C3DE00F26383FC01380EB7F8000781300EA707EA2D8F0FC13 1F00E01500EA60F8120000015C153E5BA20003147E157C4913FCEDF8180007153C020113 3801C013F0A2000F1578EDE070018014F016E0001FECE1C015E390C7EAFF00000E143E26 227AA02B>I<14FCEB07FF90381F07C090383E03E09038FC01F0EA01F83903F000F8485A 5B120F484813FCA248C7FCA214014814F8127EA2140300FE14F05AA2EC07E0A2007CEB0F C01580141FEC3F006C137E5C381F01F0380F83E03803FF80D800FCC7FC1E2278A027>I< 011E137C90387F81FF9039F3C387C09039E3EF03E03901E1FE01D9C1FC13F0EBC3F80003 13F0018314F814E0EA07871307000313C01200010F130316F01480A2011F130716E01400 A249EB0FC0A2013EEB1F80A2017EEB3F00017F133E5D5D9038FF81F09038FDC3E09038F8 FF80027EC7FC000190C8FCA25BA21203A25BA21207A25BB5FCA325307FA027>I<3903C0 0FC0390FF03FF0391E78F078391C7DE03C393C3FC0FC00381380EB7F00007814F8D8707E 13701500EAF0FC12E0EA60F812001201A25BA21203A25BA21207A25BA2120FA25BA2121F A290C8FC120E1E227AA020>114 DI<1303EB0F80A3131FA21400A25BA2133EA2137EA2137C387FFFF8A2B5FC3800F8 00A21201A25BA21203A25BA21207A25BA2120FA25B1460001F13F014E01300130114C013 03001E1380EB07005BEA0F1EEA07F8EA01E015307AAE19>II<01 F01338D803FC13FCEA0F1E120E121C123C0038147CEA783E0070143CA2137ED8F07C1338 EA60FCC65A1578000114705BA215F0000314E05BA2EC01C0A2EBC003158014071500EBE0 0EA26C6C5A3800F878EB7FE0EB1F801E227AA023>I<011F137C90387FC1FF3A01E1E787 803A03C0F703C0903880FE0FEA07004813FC000E1580001E9038F80700001C91C7FC1301 003C5B1218120013035CA31307A25C1506010F130F150E14800038141ED87C1F131C00FC 143C1538013F5B39F07FC0E03970F3C3C0393FE1FF80260F807EC7FC22227CA023>120 D<13F0D803FC1307D80F1E130F000E141F121C123C0038143FD8783E133E1270A2017E13 7ED8F07C137CEA60FCC65A15FC000114F85BA21401000314F013E0A2140315E0EA07C0A2 0003130715C0EBE00F141F0001133F9038F07F8038007FEFEB1F8FEB001F1500A25C003E 133E007E137E147C5C007C5BEA7001495A38380780D83C1FC7FCEA0FFCEA07F020317AA0 25>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fb msbm10 10 1 /Fb 1 79 df78 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fc cmex9 9 5 /Fc 5 63 df<161E167EED01FE1507ED1FF8ED3FE0EDFF804A13004A5AEC07F84A5AA24A 5A4A5A5D147F92C7FCA25C5CB3B3AF13015CA213035C13075C130F5C495A495A49C8FC13 FE485AEA07F8485AEA3FC0B4C9FC12FCA2B4FCEA3FC0EA0FF06C7EEA01FC6C7E137F6D7E 6D7E6D7E801307801303801301A2801300B3B3AF8080A281143F816E7E6E7EA26E7EEC03 FE6E7E6E1380ED3FE0ED1FF8ED07FE1501ED007E161E27B277823A>26 D56 D58 D60 D62 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fd cmmi6 6 2 /Fd 2 111 df<000F017E13FC3A1F81FF83FF3B31C383C707803A61EE03CC039026EC01 F813C0D8C1F813F013F001E013E00003903903C0078013C0A2EE0F003907800780A2EE1E 041706270F000F00130C163C1718A2001E011EEB1C70EE1FE0000C010CEB07802F177D95 36>109 D<000F13FC381FC3FF3931C707803861EC0301F813C0EAC1F0A213E03903C007 80A3EC0F00EA0780A2EC1E041506D80F00130C143C15181538001EEB1C70EC1FE0000CEB 07801F177D9526>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fe cmsy6 6 1 /Fe 1 4 df<136013701360A20040132000E0137038F861F0387E67E0381FFF803807FE 00EA00F0EA07FE381FFF80387E67E038F861F038E060700040132000001300A213701360 14157B9620>3 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Ff cmmi9 9 6 /Ff 6 120 df<123C127EB4FCA21380A2127F123D1201A412031300A25A1206120E120C 121C5A5A126009177A8715>59 D<127012FCB4FCEA7FC0EA1FF0EA07FCEA01FF38007FC0 EB1FF0EB07FCEB01FF9038007FC0EC1FF0EC07FCEC01FF9138007FC0ED1FF0ED07FCED01 FF9238007FC0EE1FF0EE07FCEE01FEA2EE07FCEE1FF0EE7FC0923801FF00ED07FCED1FF0 ED7FC04A48C7FCEC07FCEC1FF0EC7FC04948C8FCEB07FCEB1FF0EB7FC04848C9FCEA07FC EA1FF0EA7FC048CAFC12FC12702F2E7AA93C>62 D71 D109 DI<01F01507D803 FC903903800F80D8071E903907C01FC0D80E1F130F121C00380180140F0030021F130701 3FEC8003007013000060160149133FD8E07E168000401500EA00FE494913030001170049 137EA203FE5B00031606495B170E170CA24B131C4915186D15384A6C5B17600001010314 E03B00F8077E01C0903A7C0E3F078090273FFC0FFEC7FC903907F001F832227EA037> 119 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fg cmsy10 10 18 /Fg 18 118 df<007FB81280B912C0A26C17803204799641>0 D<0060150600F8150F6C 151F007E153F6C157E6C6C14FC6C6CEB01F86C6CEB03F06C6CEB07E06C6CEB0FC06C6CEB 1F80017EEB3F006D137E6D6C5A90380FC1F8903807E3F0903803F7E06DB45A6D5B6EC7FC A24A7E497F903803F7E0903807E3F090380FC1F890381F80FC90383F007E017E7F49EB1F 804848EB0FC04848EB07E04848EB03F04848EB01F84848EB00FC48C8127E007E153F4815 1F48150F00601506282874A841>2 DI8 D20 D<126012F812FEEA7F80EA3FE0EA0FF8EA03FEC66C7EEB3FE0EB0FF8EB03FE90 3800FF80EC3FE0EC0FF8EC03FE913800FF80ED3FE0ED0FF8ED03FE923800FF80EE3FE0EE 0FF8EE03FE933800FF80EF3FC0171FEF7F80933801FF00EE07FCEE1FF0EE7FC04B48C7FC ED07FCED1FF0ED7FC04A48C8FCEC07FCEC1FF0EC7FC04948C9FCEB07FCEB1FF0EB7FC048 48CAFCEA07FCEA1FF0EA7FC048CBFC12FC1270CCFCAE007FB81280B912C0A26C17803244 79B441>I<91381FFFFE91B6FC1303010F14FED91FF0C7FCEB7F8001FEC8FCEA01F8485A 485A485A5B48C9FCA2123EA25AA2127812F8A25AA2B712FE16FFA216FE00F0C9FCA27EA2 1278127CA27EA27EA26C7E7F6C7E6C7E6C7EEA00FEEB7F80EB1FF06DB512FE010314FF13 00021F13FE283279AD37>50 D54 D<18F017011707A3170FA2171F60173F1737177F176F17EF17CF04017F178F1603170FEE 0707160EA2161C161816381630167016E0A2ED01C016801503ED0700A2150E5DA25D1578 15705D02018103CFB5FCEC03BF4AB6FCA2020EC71203141E5C143802788100205B386001 E0EAF0036C4848140126FE1F8081B5C8FC190C49EEFF3C496F13F06C4817E06C4817806C 48EE7E00D8078093C7FC3E407DBB42>65 D78 D<0370EBFF80912601E00713E0912603C01F13F891260F007F7F021E9038F03FFE913A78 03C00FFF9139F0078003494848486C1380902603C01E7F902607803EEC7FC049485A011E 49143F013E17E0494848141FEBF8035D2601F007150F00035CEBE00F00075CD9C01EC8FC 000F131C49C9FC121FA248CA13C0A348171F1980127EA2183F00FE1800A2183E187E187C 18FC6017016C5F4D5A6017076C6C4B5A4DC7FC171E6D5D6C6C5D5F6D4A5A6C6CEC03806C 6C020FC8FC01FF143E6C01C013F86C9038F807E06C90B512806C6C49C9FC011F13F00103 13803B3D7BBA42>I<0203B512F8027FECFF8049B712F0010F8290273FC3F00313FED978 039038003FFF2601E00702071380D803C06F13C0D807801500000F177FD81F00EE3FE048 4A141F123E5A0078010F150F12C0C7FC4B15C0A3021FED1F80A24B1500183EA2023F5D60 92C85A4D5A4D5A4A4A5A027E020EC7FC173C17F84AEB03E0EE3F80DB1FFEC8FC0101EB7F F89138F8FFC0DAF9FCC9FC02F8CAFC495AA3495AA3495AA3495AA291CBFC5BA2137EA35B 13F013C03B3D7FB83A>I92 D102 D<12FCEAFFC0EA07F0EA01FCEA007E7F80131F80130FB3A7801307806D7E6D7EEB007EEC 1FF0EC07F8EC1FF0EC7E00495A495A495A5C130F5CB3A7131F5C133F91C7FC137E485AEA 07F0EAFFC000FCC8FC1D537ABD2A>I<126012F0B3B3B3B3A91260045377BD17>106 D<0060166000F016F0B3B3A9B8FCA36C16E02C327BB137>116 D<007FB712E0B812F0A3 00F0C9FCB3B3A9006016602C327BB137>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fh cmex10 10 9 /Fh 9 106 df<1538EC01F8EC07E0EC1F80EC7E005CEB03F85C495AA2495AB3AB131F5C A249C7FC137E5BEA03F8EA07E0EA3F8000FCC8FCA2EA3F80EA07E0EA03F8C67E137E7F6D 7EA280130FB3AB6D7EA26D7E80EB00FC147EEC1F80EC07E0EC01F8EC00381D62778230> 8 D<12E012FCEA3F80EA07E0EA03F8C67E137E7F6D7EA280130FB3AB6D7EA26D7E80EB00 FC147EEC1F80EC07E0EC01F8A2EC07E0EC1F80EC7E005CEB03F85C495AA2495AB3AB131F 5CA249C7FC137E5BEA03F8EA07E0EA3F8000FCC8FC12E01D62778230>I<12F0B3B3B204 3674811C>12 D56 D58 D60 D62 D104 DI E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fi cmmi10 10 26 /Fi 26 122 df15 D<121C127FEAFF80A5EA7F00121C0909 798817>58 D<121C127FEAFF80A213C0A3127F121C1200A412011380A2120313005A1206 120E5A5A5A12600A19798817>I<126012FCB4FCEA7FC0EA1FF0EA07FCEA01FF38007FC0 EB1FF0EB07FCEB01FF9038007FC0EC1FF0EC07FCEC01FF9138007FC0ED1FF0ED07FCED01 FF9238007FC0EE1FF0EE07FCEE01FF9338007F80EF1FC0A2EF7F80933801FF00EE07FCEE 1FF0EE7FC04B48C7FCED07FCED1FF0ED7FC04A48C8FCEC07FCEC1FF0EC7FC04948C9FCEB 07FCEB1FF0EB7FC04848CAFCEA07FCEA3FF0EA7FC048CBFC12FC1270323279AD41>62 D<1760177017F01601A21603A21607160FA24C7EA216331673166316C3A2ED0183A2ED03 03150683150C160115181530A21560A215C014011580DA03007FA202061300140E140C5C 021FB5FC5CA20260C7FC5C83495A8349C8FC1306A25BA25B13385B01F01680487E000716 FFB56C013F13FF5EA2383C7DBB3E>65 D71 D<0103B6FC5B5E90260007FCC8FC5D5D140FA25DA2141FA25DA2143FA25DA2147FA292C9 FCA25CA25CA21301A25CA21303A25CA2130718404A15C0A2010F150118804A1403A2011F 16005F4A1406170E013F151E171C4A143C177C017F5D160391C7120F49EC7FF0B8FCA25F 32397DB839>76 D<902603FFF891381FFFF8496D5CA2D90007030113006FEC007C020616 78DA0EFF157081020C6D1460A2DA1C3F15E0705CEC181F82023815016F6C5C1430150702 706D1303030392C7FC02607FA2DAE0015C701306ECC0008201016E130EEF800C5C163F01 03EDC01C041F131891C713E0160F49EDF03818300106140717F8010E02031370EFFC6013 0CEE01FE011C16E004005B011815FF177F1338600130153FA20170151F95C8FC01F081EA 07FCB512E01706A245397DB843>78 D<0103B7FC4916E018F8903B0007F80007FC4BEB00 FE187F020FED3F80F01FC05DA2021F16E0A25DA2143FF03FC05DA2027FED7F80A292C813 0018FE4A4A5A604AEC07F04D5A0101ED3FC04CB4C7FC91B612FC17E0D903FCCAFCA25CA2 1307A25CA2130FA25CA2131FA25CA2133FA25CA2137FA291CBFC497EB6FCA33B397DB835 >80 D<92391FE00380DBFFFC130002036D5A91390FE01F8F91393F0007DF027EEB01FE02 F81300495A4948147E177C4948143C495AA2011F153891C8FCA3491530A28094C7FC8080 6D7E14FEECFFE06D13FE6DEBFFC06D14F06D806D80021F7F02037FEC003F03037F150016 7F163F161FA3120C160FA2001C151F94C7FCA3003C153EA25E003E5D127E007F4A5A6D49 5A6DEB0FC0D8F9F0495AD8F0FE01FEC8FC39E03FFFF8010F13E0D8C00190C9FC313D7CBA 33>83 D<0003B812FEA25A903AF8003FC00101C0913880007E4848163C90C7007F141C12 1E001C92C7FCA2485CA200305C007017180060130112E0485CA21403C716005DA21407A2 5DA2140FA25DA2141FA25DA2143FA25DA2147FA292C9FCA25CA25CA21301A25CA21303A2 5CEB0FFC003FB6FC5AA237397EB831>I<147E903803FF8090390FC1C38090391F00EFC0 017E137F49133F485A4848EB1F8012075B000F143F48481400A2485A5D007F147E90C7FC A215FE485C5AA214015D48150CA21403EDF01C16181407007C1538007E010F1330003E13 1F027B13706C01E113E03A0F83C0F9C03A03FF007F80D800FCEB1F0026267DA42C>97 D<133FEA1FFFA3C67E137EA313FE5BA312015BA312035BA31207EBE0FCEBE3FF9038E707 C0390FFE03E09038F801F001F013F8EBE000485A15FC5BA2123F90C7FCA214015A127EA2 140312FE4814F8A2140715F05AEC0FE0A215C0EC1F80143F00781400007C137E5C383C01 F86C485A380F07C06CB4C7FCEA01FC1E3B7CB924>II<14E0EB03F8A21307A314F0EB01 C090C7FCAB13F8EA03FEEA070F000E1380121C121812381230EA701F1260133F00E01300 12C05BEA007EA213FE5B1201A25B12035BA20007131813E01438000F133013C01470EB80 6014E014C01381EB838038078700EA03FEEA00F815397EB71D>105 D<150FED3F80A2157FA31600151C92C7FCABEC0F80EC3FE0ECF0F0903801C0F849487E14 005B130E130C131CEB1801133801305BA2EB0003A25DA21407A25DA2140FA25DA2141FA2 5DA2143FA292C7FCA25CA2147EA214FEA25CA21301001E5B123F387F83F0A238FF87E049 5A00FE5BD87C1FC8FCEA707EEA3FF8EA0FC0214981B722>II110 D<90390F8003F090391FE00FFC903939F03C1F903A70F8700F80903AE0FDE007C09038C0 FF80030013E00001491303018015F05CEA038113015CA2D800031407A25CA20107140FA2 4A14E0A2010F141F17C05CEE3F80131FEE7F004A137E16FE013F5C6E485A4B5A6E485A90 397F700F80DA383FC7FC90387E1FFCEC07E001FEC9FCA25BA21201A25BA21203A25B1207 B512C0A32C3583A42A>112 D<14FF010313C090380F80F090383E00380178131C153C49 13FC0001130113E0A33903F000F06D13007F3801FFE014FC14FF6C14806D13C0011F13E0 13039038003FF014071403001E1301127FA24814E0A348EB03C012F800E0EB07800070EB 0F006C133E001E13F83807FFE0000190C7FC1E267CA427>115 DI<13F8D803FE1438D8070F147C000E6D13FC121C 1218003814011230D8701F5C12601503EAE03F00C001005B5BD8007E1307A201FE5C5B15 0F1201495CA2151F120349EC80C0A2153F1681EE0180A2ED7F0303FF130012014A5B3A00 F8079F0E90397C0E0F1C90393FFC07F8903907F001F02A267EA430>I<01F8EB03C0D803 FEEB07E0D8070F130F000E018013F0121C12180038140700301403D8701F130112601500 D8E03F14E000C090C7FC5BEA007E16C013FE5B1501000115805B150316001203495B1506 150E150C151C151815385D00015C6D485A6C6C485AD97E0FC7FCEB1FFEEB07F024267EA4 28>I<01F816F0D803FE9138E001F8D8070F903801F003000ED9800314FC121C12180038 020713010030EDE000D8701F167C1260030F143CD8E03F163800C001005B5BD8007E131F 183001FE5C5B033F1470000117604991C7FCA218E000034A14C049137E17011880170318 005F03FE1306170E000101015C01F801BF5B3B00FC039F8070903A7E0F0FC0E0903A1FFC 03FFC0902703F0007FC7FC36267EA43B>I<903907E001F090391FF807FC9039783E0E0F 9039E01F1C1FD801C09038383F803A03800FF07F0100EBE0FF5A000E4A1300000C157E02 1F133C001C4AC7FC1218A2C7123FA292C8FCA25CA2147EA214FEA24A130CA20101141C00 1E1518003F5BD87F81143801835C00FF1560010714E03AFE0E7C01C0D87C1C495A277838 3E0FC7FC391FF00FFC3907C003F029267EA42F>I<13F8D803FE1470D8070F14F8000EEB 8001121C121800381403003015F0EA701F1260013F130700E0010013E012C05BD8007E13 0F16C013FE5B151F000115805BA2153F000315005BA25D157EA315FE5D14010001130338 00F80790387C1FF8EB3FF9EB0FE1EB00035DA2000E1307D83F805B007F495AA24A5A92C7 FCEB003E007C5B00705B6C485A381E07C06CB4C8FCEA01FC25367EA429>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fj cmsy7 7 3 /Fj 3 49 df0 D<1338A50060130C00F8133E00FC137E00FE13 FE383FBBF83807FFC000011300EA007C48B4FC000713C0383FBBF838FE38FE00FC137E00 F8133E0060130C00001300A517197B9A22>3 D<13E0EA01F0EA03F8A3EA07F0A313E0A2 120F13C0A3EA1F80A21300A25A123EA35AA3127812F8A25A12100D1E7D9F13>48 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fk cmti10 10 41 /Fk 41 122 df12 D39 D44 D<387FFFF8A2B5FCA214F0150579941E>I<120EEA3F80127F12FFA31300127E12 3C0909778819>I48 D<15181538157815F0140114031407EC0FE0141F147FEB03FF90383FEFC014 8FEB1C1F13001580A2143FA21500A25CA2147EA214FEA25CA21301A25CA21303A25CA213 07A25CA2130FA25CA2131FA25CA2133FA291C7FC497EB61280A31D3877B72A>I65 D<0103B612FEEFFFC018F0903B0007F8000FF8 4BEB03FCEF00FE020F157FF03F804B141F19C0021F150F19E05D1807143F19F05DA2147F A292C8FCA25C180F5CA2130119E04A151FA2130319C04A153FA201071780187F4A1600A2 010F16FEA24A4A5A60011F15034D5A4A5D4D5A013F4B5A173F4A4AC7FC17FC017FEC03F8 4C5A91C7EA1FC04949B45A007F90B548C8FCB712F016803C397CB83F>68 D71 D<0103B5D8F80FB512E0A390260007F8C7381FE0004B5DA2020F153F615DA202 1F157F96C7FC5DA2023F5D605DA2027F14016092C7FCA24A1403605CA249B7FC60A202FC C712070103150F605CA20107151F605CA2010F153F605CA2011F157F95C8FC5CA2013F5D 5F5CA2017F14015F91C7FC491403007FD9FE01B512F8B55BA243397CB83E>I<0103B512 F8A390390007F8005DA2140FA25DA2141FA25DA2143FA25DA2147FA292C7FCA25CA25CA2 1301A25CA21303A25CA21307A25CA2130FA25CA2131FA25CA2133FA25CA2137FA291C8FC 497EB6FCA25C25397CB820>I<0107B612F817FF1880903B000FF0003FE04BEB0FF0EF03 F8141FEF01FC5DA2023F15FEA25DA2147FEF03FC92C7FCA24A15F817074A15F0EF0FE013 01EF1FC04AEC3F80EFFE0001034A5AEE0FF091B612C04CC7FCD907F8C9FCA25CA2130FA2 5CA2131FA25CA2133FA25CA2137FA291CAFCA25BA25B1201B512FCA337397BB838>80 D<92383FC00E913901FFF01C020713FC91391FC07E3C91393F001F7C027CEB0FF84A1307 49481303495A4948EB01F0A2495AA2011F15E091C7FCA34915C0A36E90C7FCA2806D7E14 FCECFF806D13F015FE6D6D7E6D14E0010080023F7F14079138007FFC150F15031501A215 00A2167C120EA3001E15FC5EA3003E4A5AA24B5AA2007F4A5A4B5A6D49C7FC6D133ED8F9 F013FC39F8FC03F839F07FFFE0D8E01F138026C003FCC8FC2F3D7ABA2F>83 D<0007B812E0A25AD9F800EB001F01C049EB07C0485AD900011403121E001C5C003C1780 1403123800785C00701607140700F01700485CA2140FC792C7FC5DA2141FA25DA2143FA2 5DA2147FA292C9FCA25CA25CA21301A25CA21303A25CA21307A25CA2130FA25CEB3FF000 7FB512F8B6FCA2333971B83B>I<1318133813F0EA01C013801203EA0700120E120C121C 5A1230A212701260A212EFEAFF80A6EA7F00123C0D196FB919>96 D<14F8EB07FE90381F871C90383E03FE137CEBF801120148486C5A485A120FEBC001001F 5CA2EA3F801403007F5C1300A21407485C5AA2140F5D48ECC1C0A2141F15831680143F15 87007C017F1300ECFF076C485B9038038F8E391F0F079E3907FE03FC3901F000F0222677 A42A>I<133FEA1FFFA3C67E137EA313FE5BA312015BA312035BA31207EBE0F8EBE7FE90 38EF0F80390FFC07C013F89038F003E013E0D81FC013F0A21380A2123F1300A214075A12 7EA2140F12FE4814E0A2141F15C05AEC3F80A215005C147E5C387801F8007C5B383C03E0 383E07C0381E1F80D80FFEC7FCEA01F01C3B77B926>I<147F903803FFC090380FC1E090 381F0070017E13784913383901F801F83803F003120713E0120FD81FC013F091C7FC485A A2127F90C8FCA35A5AA45AA3153015381578007C14F0007EEB01E0003EEB03C0EC0F806C EB3E00380F81F83803FFE0C690C7FC1D2677A426>II<147F903803FFC090380FC1 E090383F00F0017E13785B485A485A485A120F4913F8001F14F0383F8001EC07E0EC1F80 397F81FF00EBFFF891C7FC90C8FC5A5AA55AA21530007C14381578007E14F0003EEB01E0 EC03C06CEB0F806CEB3E00380781F83803FFE0C690C7FC1D2677A426>IIIII<150E153F157FA3157E151C1500ABEC1F80EC7FC0ECF1F0EB01C0 90380380F813071401130F130E131EEB1C03133C013813F0A2EB0007A215E0A2140FA215 C0A2141FA21580A2143FA21500A25CA2147EA214FEA25CA21301A25CA213035C121C387E 07E0A238FE0FC05C49C7FCEAF83EEA787CEA3FF0EA0FC0204883B619>IIIII<147F903803FFC090380FC1F09038 1F00F8017E137C5B4848137E4848133E0007143F5B120F485AA2485A157F127F90C7FCA2 15FF5A4814FEA2140115FC5AEC03F8A2EC07F015E0140F007C14C0007EEB1F80003EEB3F 00147E6C13F8380F83F03803FFC0C648C7FC202677A42A>I<9039078007C090391FE03F F090393CF0787C903938F8E03E9038787FC00170497EECFF00D9F0FE148013E05CEA01E1 13C15CA2D80003143FA25CA20107147FA24A1400A2010F5C5E5C4B5A131F5EEC80035E01 3F495A6E485A5E6E48C7FC017F133EEC70FC90387E3FF0EC0F8001FEC9FCA25BA21201A2 5BA21203A25B1207B512C0A3293580A42A>II<3903C003F0390FF01FFC391E783C0F381C7C703A3C3EE03F8038383FC0EB7F800078 150000701300151CD8F07E90C7FCEAE0FE5BA2120012015BA312035BA312075BA3120F5B A3121F5BA3123F90C9FC120E212679A423>I<14FE903807FF8090380F83C090383E00E0 4913F00178137001F813F00001130313F0A215E00003EB01C06DC7FC7FEBFFC06C13F814 FE6C7F6D13807F010F13C01300143F141F140F123E127E00FE1480A348EB1F0012E06C13 3E00705B6C5B381E03E06CB45AD801FEC7FC1C267AA422>II<13F8D803FEEB01C0D8078FEB03E0390E0F8007121E 121C0038140F131F007815C01270013F131F00F0130000E015805BD8007E133FA201FE14 005B5D120149137EA215FE120349EBFC0EA20201131E161C15F813E0163CD9F003133814 070001ECF07091381EF8F03A00F83C78E090393FF03FC090390FC00F00272679A42D>I< 01F0130ED803FC133FD8071EEB7F80EA0E1F121C123C0038143F49131F0070140FA25BD8 F07E140000E08013FEC6485B150E12015B151E0003141C5BA2153C000714385B5DA35DA2 4A5A140300035C6D48C7FC0001130E3800F83CEB7FF8EB0FC0212679A426>I<01F01507 D803FC903903801F80D8071E903907C03FC0D80E1F130F121C123C0038021F131F49EC80 0F00701607A249133FD8F07E168000E0ED000313FEC64849130718000001147E5B03FE5B 0003160E495BA2171E00070101141C01E05B173C1738A217781770020314F05F00030107 13016D486C485A000190391E7C07802800FC3C3E0FC7FC90393FF81FFE90390FE003F032 2679A437>I<903907E007C090391FF81FF89039787C383C9038F03E703A01E01EE0FE38 03C01F018013C0D8070014FC481480000E1570023F1300001E91C7FC121CA2C75AA2147E A214FEA25CA21301A24A1370A2010314F016E0001C5B007E1401010714C000FEEC038001 0F1307010EEB0F0039781CF81E9038387C3C393FF03FF03907C00FC027267CA427>I<13 F0D803FCEB01C0D8071EEB03E0D80E1F1307121C123C0038140F4914C01270A249131FD8 F07E148012E013FEC648133F160012015B5D0003147E5BA215FE00075C5BA214015DA314 035D14070003130FEBF01F3901F87FE038007FF7EB1FC7EB000F5DA2141F003F5C48133F 92C7FC147E147C007E13FC387001F8EB03E06C485A383C1F80D80FFEC8FCEA03F0233679 A428>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fl cmbx10 10 15 /Fl 15 122 df46 D<141E143E14FE1307133FB5FCA313CFEA000FB3B3A6007FB61280A4213779B630> 49 DII67 D76 D<003FB91280A4D9F800EBF003D8 7FC09238007FC049161F007EC7150FA2007C1707A200781703A400F818E0481701A4C892 C7FCB3AE010FB7FCA43B387DB742>84 D97 D<903803FF80011F13F0017F13 FC3901FF83FE3A03FE007F804848133F484814C0001FEC1FE05B003FEC0FF0A2485A16F8 150712FFA290B6FCA301E0C8FCA4127FA36C7E1678121F6C6C14F86D14F000071403D801 FFEB0FE06C9038C07FC06DB51200010F13FC010113E025257DA42C>101 D<13FFB5FCA412077EAFED7FC0913803FFF8020F13FE91381F03FFDA3C01138014784A7E 4A14C05CA25CA291C7FCB3A3B5D8FC3F13FFA4303A7DB935>104 D<13FFB5FCA412077EB3B3ACB512FCA4163A7DB91B>108 D<01FED97FE0EB0FFC00FF90 2601FFFC90383FFF80020701FF90B512E0DA1F81903983F03FF0DA3C00903887801F0007 49DACF007F00034914DE6D48D97FFC6D7E4A5CA24A5CA291C75BB3A3B5D8FC1FB50083B5 12F0A44C257DA451>I<903801FFC0010F13F8017F13FFD9FF807F3A03FE003FE048486D 7E48486D7E48486D7EA2003F81491303007F81A300FF1680A9007F1600A3003F5D6D1307 001F5DA26C6C495A6C6C495A6C6C495A6C6C6CB45A6C6CB5C7FC011F13FC010113C02925 7DA430>111 D<9038FE03F000FFEB0FFEEC3FFF91387C7F809138F8FFC000075B6C6C5A 5CA29138807F80ED3F00150C92C7FC91C8FCB3A2B512FEA422257EA427>114 D121 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fm cmbx12 12 17 /Fm 17 118 df49 DI68 D82 DI<903801FFE0011F13FE01 7F6D7E48B612E03A03FE007FF84848EB1FFC6D6D7E486C6D7EA26F7FA36F7F6C5A6C5AEA 00F090C7FCA40203B5FC91B6FC1307013F13F19038FFFC01000313E0000F1380381FFE00 485A5B127F5B12FF5BA35DA26D5B6C6C5B4B13F0D83FFE013EEBFFC03A1FFF80FC7F0007 EBFFF86CECE01FC66CEB8007D90FFCC9FC322F7DAD36>97 D99 D101 DI<137C48B4FC4813804813C0A24813E0A56C13C0A26C13806C 1300EA007C90C7FCAAEB7FC0EA7FFFA512037EB3AFB6FCA518467CC520>105 D108 D<90397F8007FEB59038 3FFF8092B512E0028114F8913987F03FFC91388F801F000390399F000FFE6C139E14BC02 F86D7E5CA25CA35CB3A7B60083B512FEA5372D7CAC3E>110 DI<90387F807FB53881FFE0028313F0028F13F8ED8FFC 91389F1FFE000313BE6C13BC14F8A214F0ED0FFC9138E007F8ED01E092C7FCA35CB3A5B6 12E0A5272D7DAC2E>114 D<90391FFC038090B51287000314FF120F381FF003383FC000 49133F48C7121F127E00FE140FA215077EA27F01E090C7FC13FE387FFFF014FF6C14C015 F06C14FC6C800003806C15806C7E010F14C0EB003F020313E0140000F0143FA26C141F15 0FA27EA26C15C06C141FA26DEB3F8001E0EB7F009038F803FE90B55A00FC5CD8F03F13E0 26E007FEC7FC232F7CAD2C>III E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fn cmsy9 9 5 /Fn 5 81 df8 D<007FB812C0B912E0A26C17C0CCFCAC007FB812C0B912E0A26C17C0 CCFCAC007FB812C0B912E0A26C17C033247CA43C>17 D<127012FCB4FCEA7FC0EA1FF0EA 07FCEA01FF38007FC0EB1FF0EB07FCEB01FF9038007FC0EC1FF0EC07FCEC01FF9138007F C0ED1FF0ED07FCED01FF9238007FC0EE1FF0EE07FCEE01FEA2EE07FCEE1FF0EE7FC09238 01FF00ED07FCED1FF0ED7FC04A48C7FCEC07FCEC1FF0EC7FC04948C8FCEB07FCEB1FF0EB 7FC04848C9FCEA07FCEA1FF0EA7FC048CAFC12FC1270CBFCAC007FB712FCB812FEA26C16 FC2F3E7AB03C>21 D78 D<021FB57E49B612F8010F15FE013FEDFF809027FE1F C03F13C0D801E0020313E0D80780020013F0D80F00153F484AEB1FF8003E160F007E1607 007C133F48160312E0C790C7FC18F0A25CEF07E0147E18C0170F02FE1580EF1F004A141E 5F5F01015D4AEB01C0EE0780041FC7FC0103EB01FC9138F07FF09138F1FF80DAF7FEC8FC 903807EFE002E0C9FCA2495AA3495AA349CAFCA3137EA2137C13FCA2485A13E013803537 7EB236>80 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fo cmbx9 9 15 /Fo 15 117 df<120FEA3FC0EA7FE0EAFFF0A6EA7FE0EA3FC0EA0F000C0C7A8B19>46 D48 D<147814F81303131FEA03FFB5FCA3EAFC1F1200B3B2007FB512FEA41F317A B02C>I51 D<000C140ED80FE013FE90B5FC5D5D5D5D5D92C7FC14FC14F091C8 FC1380A6EB87FE9038BFFFC090B512F09038FC0FF89038E003FE01C07F497E0100148000 0E6D13C0C8FCA216E0A3121FEA7F807F487EA316C05B5CD87F801480D87C0014006C5B39 3F8007FE391FE01FFC0007B512F06C14C0C691C7FCEB1FF823327CB02C>53 D65 D<003FB812F8A4D9F003EB801FD87F80ED03FC0100150100 7E1600007C177CA20078173CA400F8173E48171EA4C71600B3A9011FB612F0A437327DB1 3E>84 D97 DI<903807FF80013F13F090B512FC3903FE01FE4848487EEA0FF8EA1FF0EA3FE0A2007F6D 5A496C5A153000FF91C7FCA9127F7FA2003FEC07807F6C6C130F000FEC1F00D807FE133E 3903FF80FCC6EBFFF8013F13E0010790C7FC21217DA027>I<903803FF80013F13F090B5 12FC48EB03FE3907FC007F4848EB3F804848EB1FC05B003FEC0FE0127F5B16F012FF1507 90B6FCA301C0C8FCA4127F7F123F16F06C7E000F14016C6CEB03E0D803FEEB0FC03A01FF 807F806C6CB51200011F13FC010313E024217EA029>101 D108 D<3901F81F8000FFEB7FF0ECFFF89038F9E3FC9038FB C7FE380FFF876C1307A213FEEC03FCEC01F8EC0060491300B1B512F0A41F217EA024> 114 D<9038FFE1C0000713FF5A383F803F387E000F14075A14037EA26C6CC7FC13FCEBFF E06C13FC806CEBFF80000F14C06C14E0C6FC010F13F0EB007F140F00F0130714037EA26C 14E06C13076CEB0FC09038C01F8090B5120000F913FC38E03FE01C217DA023>I<133CA5 137CA313FCA21201A212031207001FB51280B6FCA3D807FCC7FCB0EC03C0A79038FE0780 12033901FF0F006C13FEEB3FFCEB0FF01A2F7EAE22>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fp cmtt9 9 21 /Fp 21 118 df<121EEA7F80A2EAFFC0A4EA7F80A2EA1E000A0A728927>46 D<1538157C15FCA2140115F8140315F0140715E0140F15C0141F1580143F1500A25C147E 14FE5C13015C13035C13075C130F5CA2131F5C133F91C7FC5B137E13FE5B12015B12035B A212075B120F5B121F5B123F90C8FC5A127E12FE5AA25A12781E3A7CB327>I<121EEA7F 80A2EAFFC0A4EA7F80A2EA1E00C7FCAC121EEA7F80A2EAFFC0A4EA7F80A2EA1E000A2072 9F27>58 D64 D<3803FFC0000F13F048 13FC4813FF811380EC1FC0381F000F000480C71207A2EB0FFF137F0003B5FC120F5A383F FC07EA7FC0130012FE5AA46C130F007F131FEBC0FF6CB612806C15C07E000313F1C69038 807F8022207C9F27>97 DIII< EB0FF8EB3FFE90B51280000314C04814E0390FFC0FF0391FE003F8EBC001D83F8013FC48 C7FC127E157E12FEB612FEA415FC00FCC8FC7E127E127F6C143C6D137E6C7E01F013FE39 0FFC07FC6CB5FC000114F86C14F0013F13C0903807FE001F207D9F27>II104 D<130F497E497EA46D5A6DC7FC90C8FCA7383FFF8048 7FA37EEA000FB3A4007FB512F0B6FC15F815F07E1D2F7BAE27>I<387FFF80B57EA37EEA 000FB3B2007FB512F8B612FCA36C14F81E2E7CAD27>108 D<397F07C01F3AFF9FF07FC0 9039FFF9FFE091B57E7E3A0FFC7FF1F89038F03FC001E0138001C01300A3EB803EB03A7F F0FFC3FF486C01E3138001F913E701F813E36C4801C313002920819F27>I<387FE07F39 FFF1FFC001F713F090B5FC6C80000313C1EC01FCEBFE005B5BA25BB03A7FFF83FFE0B500 C713F0A36C018313E024207F9F27>II<387FE0FFD8FFF313C090B512F0816C800003EB81FE49C67E49EB3F8049131F 16C049130FA216E01507A6150F16C07F151F6DEB3F80157F6DEBFF009038FF83FEECFFFC 5D5D01F313C0D9F0FEC7FC91C8FCAC387FFF80B57EA36C5B23317F9F27>I<397FFC03FC 39FFFE0FFF023F13804A13C0007F90B5FC39007FFE1F14F89138F00F809138E002004AC7 FC5CA291C8FCA2137EAD007FB57EB67EA36C5C22207E9F27>114 D<9038FFF3800007EBFFC0121F5A5AEB803F38FC000F5AA2EC07806C90C7FCEA7F8013FC 383FFFF06C13FC000713FF00011480D8000F13C09038003FE014070078EB03F000FC1301 A27E14036CEB07E0EBE01F90B512C01580150000FB13FC38707FF01C207B9F27>I<133C 137EA8007FB512F0B612F8A36C14F0D8007EC7FCAE1518157EA415FE6D13FC1483ECFFF8 6D13F06D13E0010313C0010013001F297EA827>I<397FE01FF8486C487EA3007F131F00 031300B21401A21403EBFC0F6CB612E016F07EEB3FFE90390FF87FE024207F9F27>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fq cmr9 9 71 /Fq 71 124 df12 D<003C13F0387E01F838FF03FCA2EB83FEA2EA7F81383D80F600 011306A40003130EEB000CA248131C00061318000E1338000C1330001C13704813E03870 01C00060138017177EB326>34 D<14C01301EB0380EB0F00130E5B133C5B5BA2485A485A A212075B120F90C7FC5AA2121E123EA3123C127CA55AB0127CA5123C123EA3121E121FA2 7E7F12077F1203A26C7E6C7EA213787F131C7F130FEB0380EB01C01300124A79B71E>40 D<12C07E1270123C121C7E120F6C7E6C7EA26C7E6C7EA27F1378137C133C133EA2131E13 1FA37F1480A5EB07C0B0EB0F80A514005BA3131E133EA2133C137C137813F85BA2485A48 5AA2485A48C7FC120E5A123C12705A5A124A7CB71E>I<156015F0B3A4007FB812C0B912 E0A26C17C0C800F0C8FCB3A4156033327CAB3C>43 D<123C127EB4FCA21380A2127F123D 1201A412031300A25A1206120E120C121C5A5A126009177A8715>II<123C127E12FFA4127E123C08087A8715>I48 D<13075B5B137FEA07FFB5FC13BFEAF83F1200B3B3A2497E007F B51280A319327AB126>IIII<000C14C0380FC00F90B5128015005C5C14F014 C0D80C18C7FC90C8FCA9EB0FC0EB7FF8EBF07C380FC03F9038001F80EC0FC0120E000CEB 07E0A2C713F01403A215F8A41218127E12FEA315F0140712F8006014E01270EC0FC06C13 1F003C14806CEB7F00380F80FE3807FFF8000113E038003F801D347CB126>I<14FE9038 07FF80011F13E090383F00F0017C13703901F801F8EBF003EA03E01207EA0FC0EC01F048 48C7FCA248C8FCA35A127EEB07F0EB1FFC38FE381F9038700F809038E007C039FFC003E0 018013F0EC01F8130015FC1400A24814FEA5127EA4127F6C14FCA26C1301018013F8000F 14F0EBC0030007EB07E03903E00FC03901F81F806CB51200EB3FFCEB0FE01F347DB126> I<1230123C003FB6FCA34814FEA215FC0070C7123800601430157015E04814C01401EC03 80C7EA07001406140E5C141814385CA25CA2495A1303A3495AA2130FA3131F91C7FCA25B A55BA9131C20347CB126>III<007FB812C0B912E0A26C17C0CCFCAC007FB812C0B912E0A2 6C17C033147C9C3C>61 D<15E0A34A7EA24A7EA34A7EA3EC0DFE140CA2EC187FA34A6C7E A202707FEC601FA202E07FECC00FA2D901807F1507A249486C7EA301066D7EA2010E8001 0FB5FCA249800118C77EA24981163FA2496E7EA3496E7EA20001821607487ED81FF04A7E D8FFFE49B512E0A333367DB53A>65 DIIIIIIII<017FB5FCA39038003FE0EC1FC0B3B1127EB4FCA4EC3F805A006014000070 5B6C13FE6C485A380F03F03803FFC0C690C7FC20357DB227>IIIIIIIII<90381FE0 0390387FFC0748B5FC3907F01FCF390F8003FF48C7FC003E80814880A200788000F880A4 6C80A27E92C7FC127F13C0EA3FF013FF6C13F06C13FF6C14C06C14F0C680013F7F01037F 9038003FFF140302001380157F153FED1FC0150F12C0A21507A37EA26CEC0F80A26C1500 6C5C6C143E6C147E01C05B39F1FC03F800E0B512E0011F138026C003FEC7FC22377CB42B >I<007FB712FEA390398007F001D87C00EC003E0078161E0070160EA20060160600E016 07A3481603A6C71500B3AB4A7E011FB512FCA330337DB237>II87 D89 D<003FB612FCA39039F80007F813C090C7EA0FF0003EEC1FE0123C0038EC3FC00078EC7F 801270EDFF004A5AA20060495AA24A5A4A5AC7FC4A5A4A5AA24A5A4AC7FCA2495A495AA2 495A495AA24948130C495AA2495A49C7FCA24848141CA2485A485A1638485A4848147816 F84848130148481307153FB7FCA326337CB22F>I<0003130C48131C000E133848137000 181360003813E0003013C0EA700100601380A2EAE00300C01300A400DE137800FF13FCEB 83FEA2EA7F81A2383F00FC001E1378171774B326>92 D97 DII<153FEC0FFFA3EC007F81 AEEB07F0EB3FFCEBFC0F3901F003BF3907E001FF48487E48487F8148C7FCA25A127E12FE AA127E127FA27E6C6C5BA26C6C5B6C6C4813803A03F007BFFC3900F81E3FEB3FFCD90FE0 130026357DB32B>III<151F90391FC07F809039FFF8E3C0 3901F07FC73907E03F033A0FC01F83809039800F8000001F80EB00074880A66C5CEB800F 000F5CEBC01F6C6C48C7FCEBF07C380EFFF8380C1FC0001CC9FCA3121EA2121F380FFFFE ECFFC06C14F06C14FC4880381F0001003EEB007F4880ED1F8048140FA56C141F007C1500 6C143E6C5C390FC001F83903F007E0C6B51280D91FFCC7FC22337EA126>IIIIII<2703F01FE013FF00FF 90267FF80313C0903BF1E07C0F03E0903BF3803E1C01F02807F7003F387FD803FE147049 6D486C7EA2495CA2495CB3486C496C487EB53BC7FFFE3FFFF0A33C217EA041>I<3903F0 1FC000FFEB7FF09038F1E0FC9038F3807C3907F7007EEA03FE497FA25BA25BB3486CEB7F 80B538C7FFFCA326217EA02B>II<3903F03F8000FFEBFFE09038F3C0F89038F7007ED807FE7F6C48EB1F804914C049 130F16E0ED07F0A3ED03F8A9150716F0A216E0150F16C06D131F6DEB3F80160001FF13FC 9038F381F89038F1FFE0D9F07FC7FC91C8FCAA487EB512C0A325307EA02B>I<903807F0 0390383FFC07EBFC0F3901F8038F3807E001000F14DF48486CB4FC497F123F90C77E5AA2 5A5AA9127FA36C6C5B121F6D5B000F5B3907E003BF3903F0073F3800F81EEB3FF8EB0FE0 90C7FCAAED7F8091380FFFFCA326307DA029>I<3803E07C38FFE1FF9038E38F809038E7 1FC0EA07EEEA03ECA29038FC0F8049C7FCA35BB2487EB512E0A31A217FA01E>II<1330A51370A313F0A21201A2120312 07381FFFFEB5FCA23803F000AF1403A814073801F806A23800FC0EEB7E1CEB1FF8EB07E0 182F7FAD1E>IIIII<3A7FFF807FF8A33A07F8001FC00003EC0F8000 01EC070015066C6C5BA26D131C017E1318A26D5BA2EC8070011F1360ECC0E0010F5BA290 3807E180A214F3010390C7FC14FBEB01FEA26D5AA31478A21430A25CA214E05CA2495A12 78D8FC03C8FCA21306130EEA701CEA7838EA1FF0EA0FC025307F9F29>I<003FB512F0A2 EB000F003C14E00038EB1FC00030EB3F800070137F1500006013FE495A13035CC6485A49 5AA2495A495A49C7FC153013FE485A12035B48481370485A001F14604913E0485A387F00 0348130F90B5FCA21C207E9F22>II E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fr cmr6 6 3 /Fr 3 52 df<13E01201120712FF12F91201B3A7487EB512C0A212217AA01E>49 DI<13FF000313C0380F03E0381C00F014F800 3E13FC147CA2001E13FC120CC712F8A2EB01F0EB03E0EB0FC03801FF00A2380003E0EB00 F01478147C143E143F1230127812FCA2143E48137E0060137C003813F8381E03F0380FFF C00001130018227DA01E>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fs cmmi7 7 6 /Fs 6 111 df<1238127C12FE12FFA2127F123B1203A31206A3120C1218123812701220 08127A8614>59 D<013FB512E016FC903901FC007F4AEB0F80EE07C0010315E016035C17 F01307EE07E05CA2010FEC0FC017804AEB1F00163E011F14F8ED07F091B51280A290393F 800FE0ED03F002007F15015BA2137EA201FE1303A2495CA20001160817184914E0173800 03EDF070B5D8C00113E0923800FFC0C9EA3F002D297DA732>82 D<130E131F5BA2133E13 1C90C7FCA7EA03E0487EEA0C78EA187C1230A212605B12C0A2EA01F0A3485AA2485AA2EB C180EA0F81A2381F0300A213066C5A131CEA07F06C5A11287DA617>105 D<1407EC0F80141FA21500140E91C7FCA7EB03E0EB07F8EB0C3C1318EB303E136013C0A2 48485AA2C7FCA25CA4495AA4495AA4495AA4495AA21238D87C1FC7FC12FC133E485AEA70 F8EA7FE0EA1F80193380A61B>I<133EEA07FEA2EA007CA213FCA25BA21201A25BA21203 EC07809038E01FC0EC38600007EB61E014C3EBC187EBC307D80FC613C09038CC038001B8 C7FC13E0487E13FEEB3F80EB0FC0486C7E1303003E1460A2127EECC0C0127CECC18012FC 903801E30038F800FE0070137C1B297CA723>I<3907801FC0390FE07FF03918F0E0F839 30F1807CEBFB00D860FE133C5B5B00C1147C5B1201A248485BA34A5AEA07C01660EC03E0 A23A0F8007C0C0A2EDC180913803C300D81F0013C7EC01FE000EEB00F8231B7D9929> 110 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Ft cmr7 7 5 /Ft 5 52 df<140EB3A2B812E0A3C7000EC8FCB3A22B2B7DA333>43 D48 D<13381378EA01F8121F12FE12E01200B3AB487EB512F8A215267BA521 >I<13FF000313E0380E03F0381800F848137C48137E00787F12FC6CEB1F80A4127CC7FC 15005C143E147E147C5C495A495A5C495A010EC7FC5B5B903870018013E0EA0180390300 030012065A001FB5FC5A485BB5FCA219267DA521>I<13FF000313E0380F01F8381C007C 0030137E003C133E007E133FA4123CC7123E147E147C5C495AEB07E03801FF8091C7FC38 0001E06D7E147C80143F801580A21238127C12FEA21500485B0078133E00705B6C5B381F 01F03807FFC0C690C7FC19277DA521>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fu cmr10 10 77 /Fu 77 124 df11 DI14 D22 D<001C131C007F137F39FF80FF80A26D13C0A3007F137F001C131C00001300A400011301 01801380A20003130301001300485B00061306000E130E485B485B485B006013601A197D B92A>34 D<121C127FEAFF80A213C0A3127F121C1200A412011380A2120313005A120612 0E5A5A5A12600A1979B917>39 D<146014E0EB01C0EB0380EB0700130E131E5B5BA25B48 5AA2485AA212075B120F90C7FCA25A121EA2123EA35AA65AB2127CA67EA3121EA2121F7E A27F12077F1203A26C7EA26C7E1378A27F7F130E7FEB0380EB01C0EB00E01460135278BD 20>I<12C07E12707E7E7E120F6C7E6C7EA26C7E6C7EA21378A2137C133C133E131EA213 1F7FA21480A3EB07C0A6EB03E0B2EB07C0A6EB0F80A31400A25B131EA2133E133C137C13 78A25BA2485A485AA2485A48C7FC120E5A5A5A5A5A13527CBD20>I<15301578B3A6007F B812F8B912FCA26C17F8C80078C8FCB3A6153036367BAF41>43 D<121C127FEAFF80A213 C0A3127F121C1200A412011380A2120313005A1206120E5A5A5A12600A19798817>II<121C127FEAFF80A5EA7F00121C0909798817>I48 DIII<1538A2157815F8 A2140114031407A2140F141F141B14331473146314C313011483EB030313071306130C13 1C131813301370136013C01201EA038013005A120E120C5A123812305A12E0B712F8A3C7 3803F800AB4A7E0103B512F8A325397EB82A>I<0006140CD80780133C9038F003F890B5 FC5D5D158092C7FC14FC38067FE090C9FCABEB07F8EB3FFE9038780F803907E007E09038 8003F0496C7E12066E7EC87EA28181A21680A4123E127F487EA490C71300485C12E00060 5C12700030495A00385C6C1303001E495A6C6C485A3907E03F800001B5C7FC38007FFCEB 1FE0213A7CB72A>II<12301238123E003FB612E0A3 16C05A168016000070C712060060140E5D151800E01438485C5D5DC712014A5A92C7FC5C 140E140C141C5CA25CA214F0495AA21303A25C1307A2130FA3495AA3133FA5137FA96DC8 FC131E233B7BB82A>III<121C12 7FEAFF80A5EA7F00121CC7FCB2121C127FEAFF80A5EA7F00121C092479A317>I<121C12 7FEAFF80A5EA7F00121CC7FCB2121C127F5A1380A4127F121D1201A412031300A25A1206 A2120E5A121812385A1260093479A317>I<007FB812F8B912FCA26C17F8CCFCAE007FB8 12F8B912FCA26C17F836167B9F41>61 D<1538A3157CA315FEA34A7EA34A6C7EA202077F EC063FA2020E7FEC0C1FA2021C7FEC180FA202387FEC3007A202707FEC6003A202C07F15 01A2D901807F81A249C77F167FA20106810107B6FCA24981010CC7121FA2496E7EA3496E 7EA3496E7EA213E0707E1201486C81D80FFC02071380B56C90B512FEA3373C7DBB3E>65 DI<913A01FF800180020FEBE003027F13F8903A01FF807E07903A03 FC000F0FD90FF0EB039F4948EB01DFD93F80EB00FF49C8127F01FE153F12014848151F48 48150FA248481507A2485A1703123F5B007F1601A35B00FF93C7FCAD127F6DED0180A312 3F7F001F160318006C7E5F6C7E17066C6C150E6C6C5D00001618017F15386D6C5CD91FE0 5C6D6CEB03C0D903FCEB0F80902701FF803FC7FC9039007FFFFC020F13F002011380313D 7BBA3C>III< B812F8A30001903880001F6C90C71201EE00FC177C173C171CA2170CA4170E1706A2ED01 80A21700A41503A21507151F91B5FCA3EC001F15071503A21501A692C8FCAD4813C0B612 C0A32F397DB836>IIII75 DIIIIIIII<003FB812E0A3D9C003EB001F273E00 01FE130348EE01F00078160000701770A300601730A400E01738481718A4C71600B3B091 3807FF80011FB612E0A335397DB83C>II87 D91 D<3901800180000313033907000700000E130E485B00181318 00381338003013300070137000601360A200E013E0485BA400CE13CE39FF80FF806D13C0 A3007F137FA2393F803F80390E000E001A1974B92A>II96 DIIIII<147E903803FF8090380FC1E0EB1F8790383F0FF0137EA213FCA23901F8 03C091C7FCADB512FCA3D801F8C7FCB3AB487E387FFFF8A31C3B7FBA19>IIIIIII< 2703F00FF0EB1FE000FFD93FFCEB7FF8913AF03F01E07E903BF1C01F83803F3D0FF3800F C7001F802603F70013CE01FE14DC49D907F8EB0FC0A2495CA3495CB3A3486C496CEB1FE0 B500C1B50083B5FCA340257EA445>I<3903F00FF000FFEB3FFCECF03F9039F1C01F803A 0FF3800FC03803F70013FE496D7EA25BA35BB3A3486C497EB500C1B51280A329257EA42E >II<3903F01FE000FFEB7FF89038F1E07E9039F3801F803A07F7000F C0D803FEEB07E049EB03F04914F849130116FC150016FEA3167FAA16FEA3ED01FCA26DEB 03F816F06D13076DEB0FE001F614C09039F7803F009038F1E07E9038F0FFF8EC1FC091C8 FCAB487EB512C0A328357EA42E>II<3807E01F00FFEB7FC09038E1E3E09038E387F0 380FE707EA03E613EE9038EC03E09038FC0080491300A45BB3A2487EB512F0A31C257EA4 21>II<13 18A51338A31378A313F8120112031207001FB5FCB6FCA2D801F8C7FCB215C0A93800FC01 1580EB7C03017E13006D5AEB0FFEEB01F81A347FB220>IIII< B538807FFFA33A03FE003FF00001EC1F80000092C7FC017E131C6D13186D6C5AECC07001 0F5B6D6C5AECF180EB03FB6DB4C8FC6D5AA2147F804A7E8114CF903801C7E090380383F0 90380703F8EB0601496C7E011C137E49137F01787F496D7E486C80000FEC3FF0D8FFFE90 B51280A329247FA32C>II<003FB512FCA2EB8003 D83E0013F8003CEB07F00038EB0FE012300070EB1FC0EC3F800060137F150014FE495AA2 C6485A495AA2495A495A495AA290387F000613FEA2485A485A0007140E5B4848130C4848 131CA24848133C48C7127C48EB03FC90B5FCA21F247EA325>II E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fv cmbx12 14.4 19 /Fv 19 118 df44 DI68 D<93380FFFC00303B6FC031F15E092B712FC0203D9FC 0013FF020F01C0010F13C0023F90C7000313F0DA7FFC02007F494848ED7FFE4901E0ED1F FF49496F7F49496F7F4990C96C7F49854948707F4948707FA24849717E48864A83481B80 4A83481BC0A2481BE04A83A2481BF0A348497113F8A5B51AFCAF6C1BF86E5FA46C1BF0A2 6E5F6C1BE0A36C6D4D13C0A26C6D4D1380A26C1B006C6D4D5A6E5E6C626D6C4C5B6D6D4B 5B6D6D4B5B6D6D4B5B6D6D4B5B6D6D4B90C7FC6D6D4B5A6D01FF02035B023F01E0011F13 F0020F01FC90B512C0020390B7C8FC020016FC031F15E0030392C9FCDB001F13E0565479 D265>79 DI<91260FFF80130791B500F85B010702FF5B011FEDC03F49EDF07F9026FFFC006D5A 4801E0EB0FFD4801800101B5FC4848C87E48488149150F001F824981123F4981007F82A2 8412FF84A27FA26D82A27F7F6D93C7FC14C06C13F014FF15F86CECFF8016FC6CEDFFC017 F06C16FC6C16FF6C17C06C836C836D826D82010F821303010082021F16801400030F15C0 ED007F040714E01600173F050F13F08383A200788200F882A3187FA27EA219E07EA26CEF FFC0A27F6D4B13806D17006D5D01FC4B5A01FF4B5A02C04A5A02F8EC7FF0903B1FFFC003 FFE0486C90B65AD8FC0393C7FC48C66C14FC48010F14F048D9007F90C8FC3C5479D24B> 83 D97 D<4DB47E0407B5FCA5EE001F1707B3A4913801FFE0021F13FC91B6FC010315C7010F9038 E03FE74990380007F7D97FFC0101B5FC49487F4849143F484980485B83485B5A91C8FC5A A3485AA412FFAC127FA36C7EA37EA26C7F5F6C6D5C7E6C6D5C6C6D49B5FC6D6C4914E0D9 3FFED90FEFEBFF80903A0FFFC07FCF6D90B5128F0101ECFE0FD9003F13F8020301C049C7 FC41547CD24B>100 D<913803FFC0023F13FC49B6FC010715C04901817F903A3FFC007F F849486D7E49486D7E4849130F48496D7E48178048497F18C0488191C7FC4817E0A24881 5B18F0A212FFA490B8FCA318E049CAFCA6127FA27F7EA218E06CEE01F06E14037E6C6DEC 07E0A26C6DEC0FC06C6D141F6C6DEC3F806D6CECFF00D91FFEEB03FE903A0FFFC03FF801 0390B55A010015C0021F49C7FC020113F034387CB63D>I103 D<137F497E000313E0487FA2487FA76C5BA26C5BC613806DC7FC90C8FCADEB3FF0B5 FCA512017EB3B3A6B612E0A51B547BD325>105 D108 DII<91 3801FFE0021F13FE91B612C0010315F0010F9038807FFC903A1FFC000FFED97FF86D6C7E 49486D7F48496D7F48496D7F4A147F48834890C86C7EA24883A248486F7EA3007F1880A4 00FF18C0AC007F1880A3003F18006D5DA26C5FA26C5F6E147F6C5F6C6D4A5A6C6D495B6C 6D495B6D6C495BD93FFE011F90C7FC903A0FFF807FFC6D90B55A010015C0023F91C8FC02 0113E03A387CB643>I<90397FE003FEB590380FFF80033F13E04B13F09238FE1FF89139 E1F83FFC0003D9E3E013FEC6ECC07FECE78014EF150014EE02FEEB3FFC5CEE1FF8EE0FF0 4A90C7FCA55CB3AAB612FCA52F367CB537>114 D<903903FFF00F013FEBFE1F90B7FC12 0348EB003FD80FF81307D81FE0130148487F4980127F90C87EA24881A27FA27F01F091C7 FC13FCEBFFC06C13FF15F86C14FF16C06C15F06C816C816C81C681013F1580010F15C013 00020714E0EC003F030713F015010078EC007F00F8153F161F7E160FA27E17E07E6D141F 17C07F6DEC3F8001F8EC7F0001FEEB01FE9039FFC00FFC6DB55AD8FC1F14E0D8F8071480 48C601F8C7FC2C387CB635>I<143EA6147EA414FEA21301A313031307A2130F131F133F 13FF5A000F90B6FCB8FCA426003FFEC8FCB3A9EE07C0AB011FEC0F8080A26DEC1F001580 6DEBC03E6DEBF0FC6DEBFFF86D6C5B021F5B020313802A4D7ECB34>II E %EndDVIPSBitmapFont end %%EndProlog %%BeginSetup %%Feature: *Resolution 600dpi TeXDict begin %%EndSetup %%Page: 1 1 1 0 bop 621 83 a Fv(One-Dimensional)46 b(P)l(eg)g(Solitaire,)h(and)e (Duotaire)1189 372 y Fu(Cristopher)26 b(Mo)r(ore)1832 342 y Ft(1)p Fs(;)p Ft(2)1949 372 y Fu(and)i(Da)n(vid)f(Eppstein)2674 342 y Ft(3)188 515 y Fr(1)261 546 y Fq(Computer)e(Science)h(Departmen)n (t,)e(Univ)n(ersit)n(y)h(of)i(New)e(Mexico,)i(Albuquerque)d(NM)h(87131) j Fp(moore@cs.unm.edu)860 606 y Fr(2)933 638 y Fq(San)n(ta)e(F)-6 b(e)25 b(Institute,)h(1399)h(Hyde)d(P)n(ark)i(Road,)g(San)n(ta)g(F)-6 b(e)25 b(NM)h(87501)138 697 y Fr(3)211 729 y Fq(Departmen)n(t)e(of)j (Information)e(and)h(Computer)e(Science,)j(Univ)n(ersit)n(y)d(of)j (California,)h(Irvine,)e(Irvine)f(CA)h(92697-3425)1558 820 y Fp(eppstein@ics.uci.edu)236 1167 y Fo(Abstract.)43 b Fq(W)-6 b(e)23 b(solv)n(e)i(the)f(problem)f(of)i(one-dimensional)g(P) n(eg)f(Solitaire.)i(In)e(particular,)h(w)n(e)g(sho)n(w)g(that)f(the)f (set)236 1258 y(of)k(con\014gurations)h(that)e(can)g(b)r(e)g(reduced)g (to)h(a)f(single)i(p)r(eg)f(forms)f(a)h(regular)g(language,)h(and)e (that)g(a)h(linear-time)236 1349 y(algorithm)f(exists)g(for)h(reducing) e(an)n(y)h(con\014guration)g(to)g(the)f(minim)n(um)d(n)n(um)n(b)r(er)i (of)i(p)r(egs.)354 1441 y(W)-6 b(e)30 b(then)g(lo)r(ok)h(at)f(the)g (impartial)g(t)n(w)n(o-pla)n(y)n(er)g(game,)h(prop)r(osed)f(b)n(y)g(Ra) n(vikumar,)e(where)j(t)n(w)n(o)g(pla)n(y)n(ers)f(tak)n(e)236 1533 y(turns)c(making)f(p)r(eg)i(mo)n(v)n(es,)e(and)h(whic)n(hev)n(er)g (pla)n(y)n(er)g(is)h(left)g(without)f(a)h(mo)n(v)n(e)e(loses.)j(W)-6 b(e)25 b(calculate)j(some)e(simple)236 1624 y(nim-v)l(alues)20 b(and)i(discuss)g(when)f(the)g(game)h(separates)h(in)n(to)e(a)h (disjunctiv)n(e)g(sum)e(of)i(smaller)g(games.)g(In)f(the)g(v)n(ersion) 236 1715 y(where)26 b(a)f(series)i(of)f(hops)f(can)h(b)r(e)f(made)f(in) h(a)h(single)g(mo)n(v)n(e,)f(w)n(e)g(sho)n(w)h(that)f(neither)g(the)g Fn(P)6 b Fq(-p)r(ositions)26 b(nor)f(the)g Fn(N)11 b Fq(-)236 1807 y(p)r(ositions)25 b(\(i.e.)f(wins)h(for)f(the)f(previous) h(or)g(next)e(pla)n(y)n(er\))h(are)h(describ)r(ed)g(b)n(y)f(a)g (regular)i(or)f(con)n(text-free)f(language.)0 2092 y Fm(1)112 b(Solitaire)0 2295 y Fu(P)n(eg)36 b(Solitaire)g(is)h(a)f(game) h(for)f(one)h(pla)n(y)n(er.)e(Eac)n(h)h(mo)n(v)n(e)g(consists)g(of)h (hopping)g(a)f(p)r(eg)h(o)n(v)n(er)e(another)i(one,)f(whic)n(h)h(is)0 2395 y(remo)n(v)n(ed.)27 b(The)i(goal)e(is)h(to)h(reduce)f(the)g(b)r (oard)g(to)h(a)f(single)g(p)r(eg.)g(The)h(b)r(est-kno)n(wn)f(forms)f (of)i(the)g(game)e(tak)n(e)h(place)g(on)0 2494 y(cross-shap)r(ed)d(or)h (triangular)g(b)r(oards,)g(and)h(it)g(has)g(b)r(een)g(mark)n(eted)g(as) f(\\Puzzle)g(P)n(egs")f(and)i(\\Hi-Q.")f(Discussions)g(and)0 2594 y(v)-5 b(arious)26 b(solutions)h(can)g(b)r(e)h(found)g(in)g ([1{5].)125 2694 y(In)20 b([6],)h(Guy)g(prop)r(oses)e(one-dimensional)g (P)n(eg)h(Solitaire)f(as)h(an)h(op)r(en)g(problem)f(in)h(the)g(\014eld) g(of)f(com)n(binatorial)f(games.)0 2794 y(Here)30 b(w)n(e)h(sho)n(w)f (that)h(the)g(set)g(of)f(solv)-5 b(able)30 b(con\014gurations)f(forms)h (a)g(regular)f(language,)h(i.e.)g(it)i(can)e(b)r(e)h(recognized)e(b)n (y)0 2893 y(a)f(\014nite-state)g(automaton.)g(In)h(fact,)f(this)h(w)n (as)e(already)g(sho)n(wn)h(in)g(1991)f(b)n(y)h(Plam)n(b)r(ec)n(k)f (\([7],)i(In)n(tro)r(duction)f(and)g(Ch.5\))0 2993 y(and)k(app)r(eared) f(as)g(an)g(exercise)g(in)h(a)f(1974)f(b)r(o)r(ok)i(of)g(Manna)f([8].)h (More)e(generally)-7 b(,)31 b(B.)h(Ra)n(vikumar)e(sho)n(w)n(ed)h(that)h (the)0 3093 y(set)h(of)h(solv)-5 b(able)32 b(con\014gurations)f(on)i (rectangular)f(b)r(oards)g(of)h(an)n(y)g(\014nite)h(width)g(is)f (regular)e([9],)i(although)g(\014nding)g(an)0 3192 y(explicit)28 b(grammar)d(seems)j(to)f(b)r(e)h(di\016cult)h(on)e(b)r(oards)f(of)i (width)g(greater)e(than)i(2.)125 3293 y(Th)n(us)f(there)g(is)h(little)g (new)g(ab)r(out)f(this)h(result.)g(Ho)n(w)n(ev)n(er,)d(it)j(seems)f (not)h(to)f(ha)n(v)n(e)g(app)r(eared)g(in)g(prin)n(t,)h(so)f(here)g(it) h(is.)0 3471 y Fl(Theorem)i(1.)41 b Fk(The)e(set)e(of)i(c)l(on\014gur)l (ations)f(that)f(c)l(an)h(b)l(e)g(r)l(e)l(duc)l(e)l(d)g(to)g(a)g (single)g(p)l(e)l(g)g(is)h(the)f(r)l(e)l(gular)f(language)i Fu(0)3726 3441 y Fj(\003)3764 3471 y Fi(L)p Fu(0)3863 3441 y Fj(\003)0 3571 y Fk(wher)l(e)662 3755 y Fi(L)23 b Fu(=)g(1)18 b(+)g(011)f(+)h(110)742 3890 y(+)23 b(11\(01\))1062 3856 y Fj(\003)1113 3798 y Fh(h)1152 3890 y Fu(00)17 b(+)h(00\(11\))1568 3856 y Ft(+)1640 3890 y Fu(+)g(\(11\))1871 3856 y Ft(+)1926 3890 y Fu(00)g(+)g(\(11\))2259 3856 y Fj(\003)2296 3890 y Fu(1011)f(+)h(1101\(11\))2880 3856 y Fj(\003)2916 3798 y Fh(i)2969 3890 y Fu(\(10\))3117 3856 y Fj(\003)3155 3890 y Fu(11)742 4040 y(+)23 b(11\(01\))1062 4006 y Fj(\003)1099 4040 y Fu(\(11\))1247 4006 y Fj(\003)1285 4040 y Fu(01)17 b(+)h(10\(11\))1701 4006 y Fj(\003)1738 4040 y Fu(\(10\))1886 4006 y Fj(\003)1924 4040 y Fu(11)p Fi(:)1763 b Fu(\(1\))0 4224 y Fk(Her)l(e)30 b Fu(1)g Fk(and)h Fu(0)f Fk(indic)l(ate)h(a)g(p)l(e)l(g)g(and)g(a)f(hole)i(r)l (esp)l(e)l(ctively,)g Fi(w)1961 4194 y Fj(\003)2030 4224 y Fk(me)l(ans)e(`0)i(or)e(mor)l(e)h(r)l(ep)l(etitions)g(of)g Fi(w)r Fk(,')h(and)f Fi(w)3570 4194 y Ft(+)3650 4224 y Fu(=)23 b Fi(w)r(w)3860 4194 y Fj(\003)0 4324 y Fk(me)l(ans)30 b(`1)g(or)g(mor)l(e)g(r)l(ep)l(etitions)g(of)h Fi(w)r Fk(.')0 4501 y(Pr)l(o)l(of.)43 b Fu(T)-7 b(o)27 b(pro)n(v)n(e)f(the)i (theorem,)f(w)n(e)h(follo)n(w)e(Leibnitz)j([4])e(in)h(starting)e(with)j (a)e(single)g(p)r(eg,)g(whic)n(h)h(w)n(e)f(denote)1929 4685 y(1)0 4870 y(and)g(pla)n(ying)g(the)h(game)f(in)h(rev)n(erse.)d (The)j(\014rst)f(`unhop')h(pro)r(duces)1761 5054 y(011)e(or)h(110)0 5238 y(and)g(the)h(next)1708 5340 y(1101)d(or)i(1011)p Fi(:)p eop %%Page: 2 2 2 1 bop 0 83 a Fu(\(As)32 b(it)g(turns)f(out,)h(11)e(is)i(the)g(only)f (con\014guration)f(that)h(cannot)g(b)r(e)h(reduced)f(to)h(a)f(single)g (p)r(eg)g(without)h(using)f(a)g(hole)0 183 y(outside)c(the)h(initial)g (set)g(of)f(p)r(egs.)h(Therefore,)e(for)h(all)h(larger)d (con\014gurations)h(w)n(e)h(can)g(ignore)g(the)h(0's)f(on)g(eac)n(h)g (end.\))125 282 y(W)-7 b(e)27 b(tak)n(e)g(the)g(second)g(of)g(these)g (as)g(our)f(example.)h(It)h(has)e(t)n(w)n(o)h(ends,)g(10)14 b Fi(:)g(:)g(:)26 b Fu(and)h Fi(:)14 b(:)g(:)g Fu(11.)26 b(The)h(latter)g(can)g(propagate)0 382 y(itself)h(inde\014nitely)g(b)n (y)g(unhopping)f(to)h(the)g(righ)n(t,)1731 562 y(1010101011)p Fi(:)0 742 y Fu(When)k(the)g(former)f(unhops,)h(t)n(w)n(o)f(things)g (happ)r(en;)h(it)h(b)r(ecomes)e(an)g(end)h(of)g(the)g(form)g(11)14 b Fi(:)g(:)g(:)30 b Fu(and)i(it)g(lea)n(v)n(es)e(b)r(ehind)i(a)0 841 y(space)27 b(of)g(t)n(w)n(o)g(adjacen)n(t)g(holes,)1689 941 y(110010101011)p Fi(:)0 1089 y Fu(F)-7 b(urthermore,)24 b(this)h(is)g(the)g(only)f(w)n(a)n(y)g(to)h(create)e(a)i(00.)f(W)-7 b(e)25 b(can)f(mo)n(v)n(e)g(the)h(00)f(to)h(the)g(righ)n(t)f(b)n(y)h (unhopping)g(p)r(egs)f(in)n(to)h(it,)1689 1269 y(111111110011)p Fi(:)0 1448 y Fu(Ho)n(w)n(ev)n(er,)d(since)h(this)h(lea)n(v)n(es)e(a)i (solid)f(blo)r(c)n(k)g(of)h(1's)f(to)g(its)h(left,)h(w)n(e)e(cannot)g (mo)n(v)n(e)g(the)h(00)f(bac)n(k)g(to)g(the)h(left.)h(An)n(y)e(attempt) 0 1548 y(to)k(do)h(so)f(reduces)g(it)h(to)f(a)g(single)g(hole,)1689 1648 y(111111101111)p Fi(:)0 1795 y Fu(Here)h(w)n(e)f(are)g(using)h (the)h(fact)f(that)g(if)h(a)e(p)r(eg)h(has)g(another)f(p)r(eg)h(to)g (its)g(left,)h(it)f(can)g(nev)n(er)f(unhop)h(to)g(its)g(left.)h(W)-7 b(e)29 b(pro)n(v)n(e)0 1895 y(this)23 b(b)n(y)f(induction:)h(assume)e (it)i(is)g(true)f(for)g(pairs)f(of)i(p)r(egs)f(farther)g(left)h(in)f (the)h(con\014guration.)e(Since)i(adding)f(a)g(p)r(eg)g(nev)n(er)0 1995 y(helps)28 b(another)e(p)r(eg)i(unhop,)f(w)n(e)h(can)f(assume)g (that)h(the)g(t)n(w)n(o)e(p)r(egs)i(ha)n(v)n(e)e(nothing)h(but)i(holes) e(to)g(their)h(left.)g(Unhopping)0 2094 y(the)33 b(leftmost)h(p)r(eg)f (then)g(pro)r(duces)f(1101,)f(and)i(the)g(original)f(\(righ)n(tmost\))g (p)r(eg)h(is)g(still)g(blo)r(c)n(k)n(ed,)f(this)i(time)f(b)n(y)g(a)f(p) r(eg)0 2194 y(whic)n(h)c(itself)g(cannot)f(mo)n(v)n(e)f(for)h(the)h (same)f(reason.)125 2294 y(In)i(fact,)h(there)g(can)f(nev)n(er)g(b)r(e) h(more)f(than)h(one)f(00,)g(and)g(there)h(is)f(no)h(need)g(to)f(create) g(one)g(more)g(than)h(once,)f(since)0 2393 y(after)f(creating)f(the)i (\014rst)f(one)f(the)i(only)f(w)n(a)n(y)f(to)h(create)f(another)h(end)g (of)g(the)h(form)f(10)14 b Fi(:)g(:)g(:)27 b Fu(or)g Fi(:)14 b(:)g(:)g Fu(01)27 b(is)h(to)g(mo)n(v)n(e)f(the)i(00)0 2493 y(all)e(the)h(w)n(a)n(y)f(through)g(to)g(the)h(other)f(side)1701 2592 y(111111111101)0 2740 y(and)g(another)g(00)g(created)g(on)g(the)h (righ)n(t)f(end)h(no)n(w)f(migh)n(t)g(as)g(w)n(ell)g(b)r(e)h(the)g (same)f(one.)125 2840 y(W)-7 b(e)33 b(can)g(summarize,)f(and)i(sa)n(y)e (that)h(an)n(y)g(con\014guration)e(with)j(three)f(or)f(more)h(p)r(egs)g (that)g(can)g(b)r(e)h(reduced)e(to)h(a)0 2939 y(single)24 b(p)r(eg)g(can)g(b)r(e)h(obtained)f(in)g(rev)n(erse)f(from)h(a)g (single)g(p)r(eg)g(b)n(y)g(going)f(through)h(the)g(follo)n(wing)g (stages,)f(or)g(their)i(mirror)0 3039 y(image:)35 3202 y(1.)41 b(W)-7 b(e)28 b(start)f(with)h(1011.)e(By)h(unhopping)h(the)g (righ)n(tmost)e(p)r(eg,)i(w)n(e)f(obtain)g(10\(10\))2739 3172 y Fj(\003)2776 3202 y Fu(11.)g(If)h(w)n(e)f(lik)n(e,)h(w)n(e)f (then)35 3301 y(2.)41 b(Unhop)27 b(the)g(leftmost)g(p)r(eg)g(one)f(or)g (more)g(times,)h(creating)f(a)g(pair)g(of)g(holes)h(and)f(obtaining)g (11\(01\))3346 3271 y Fj(\003)3383 3301 y Fu(00\(10\))3615 3271 y Fj(\003)3652 3301 y Fu(11.)g(W)-7 b(e)141 3401 y(can)27 b(then)35 3500 y(3.)41 b(Mo)n(v)n(e)27 b(the)h(00)e(to)i(the)g (righ)n(t)f(\(sa)n(y\),)g(obtaining)g(11\(01\))1894 3470 y Fj(\003)1930 3500 y Fu(\(11\))2078 3470 y Fj(\003)2116 3500 y Fu(00\(10\))2348 3470 y Fj(\003)2385 3500 y Fu(11.)g(W)-7 b(e)28 b(can)f(stop)g(here,)g(or)35 3599 y(4.)41 b(Mo)n(v)n(e)27 b(the)h(00)e(all)i(the)f(w)n(a)n(y)g(to)g(the)h(righ)n(t,)f(obtaining)g (11\(01\))2112 3569 y Fj(\003)2149 3599 y Fu(\(11\))2297 3569 y Fj(\003)2335 3599 y Fu(01,)g(or)35 3698 y(5.)41 b(Fill)28 b(the)g(pair)f(b)n(y)g(unhopping)h(from)f(the)h(left,)g (obtaining)f(11\(01\))2240 3668 y Fj(\003)2277 3698 y Fu(\(11\))2425 3668 y Fj(\003)2463 3698 y Fu(1011\(10\))2779 3668 y Fj(\003)2815 3698 y Fu(11.)0 3862 y(Equation)e(1)h(simply)g (states)g(that)h(the)g(set)f(of)g(con\014gurations)e(is)j(the)f(union)h (of)f(all)g(of)g(these)g(plus)h(1,)f(011,)f(and)h(110,)f(with)0 3962 y(as)35 b(man)n(y)f(additional)h(holes)g(on)g(either)g(side)g(as)g (w)n(e)g(lik)n(e.)g(Then)g(0)2188 3932 y Fj(\003)2226 3962 y Fi(L)p Fu(0)2325 3932 y Fj(\003)2397 3962 y Fu(is)h(regular)d (since)i(it)h(can)f(b)r(e)g(describ)r(ed)g(b)n(y)g(a)0 4061 y(regular)26 b(expression)g([10],)h(i.e.)h(a)f(\014nite)h (expression)e(using)h(the)h(op)r(erators)e(+)h(and)h Fg(\003)p Fu(.)1121 b Fg(u)-55 b(t)125 4233 y Fu(Among)24 b(other)g(things,)g(Theorem)g(1)g(allo)n(ws)f(us)i(to)f(calculate)g (the)h(n)n(um)n(b)r(er)f(of)h(distinct)g(con\014gurations)e(with)i Fi(n)f Fu(p)r(egs,)0 4332 y(whic)n(h)k(is)1186 4611 y Fi(N)9 b Fu(\()p Fi(n)p Fu(\))23 b(=)1487 4341 y Fh(8)1487 4416 y(>)1487 4440 y(>)1487 4465 y(>)1487 4490 y(>)1487 4515 y(<)1487 4665 y(>)1487 4689 y(>)1487 4714 y(>)1487 4739 y(>)1487 4764 y(:)1572 4411 y Fu(1)587 b Fi(n)23 b Fu(=)g(1)1572 4510 y(1)587 b Fi(n)23 b Fu(=)g(2)1572 4610 y(2)587 b Fi(n)23 b Fu(=)g(3)1572 4709 y(15)17 b Fg(\000)h Fu(7)p Fi(n)g Fu(+)g Fi(n)1999 4679 y Ft(2)2201 4709 y Fi(n)23 b Fg(\025)g Fu(4)p Fi(;)k(n)g Fu(ev)n(en)1572 4809 y(16)17 b Fg(\000)h Fu(7)p Fi(n)g Fu(+)g Fi(n)1999 4779 y Ft(2)2201 4809 y Fi(n)23 b Fg(\025)g Fu(5)p Fi(;)k(n)g Fu(o)r(dd)0 4953 y(Here)g(w)n(e)f(decline)h(to)g(coun)n(t)g(011)e(and)i (110)f(as)g(separate)g(con\014gurations,)f(since)i(man)n(y)f (con\014gurations)f(ha)n(v)n(e)h(more)g(than)0 5053 y(one)h(w)n(a)n(y)g (to)g(reduce)g(them.)125 5152 y(W)-7 b(e)28 b(also)e(ha)n(v)n(e)g(the)i (corollary)0 5324 y Fl(Corollary)k(1.)41 b Fk(Ther)l(e)30 b(is)g(a)g(line)l(ar-time)h(str)l(ate)l(gy)e(for)i(playing)g(Pe)l(g)f (Solitair)l(e)h(in)f(one)g(dimension.)p eop %%Page: 3 3 3 2 bop 0 83 a Fk(Pr)l(o)l(of.)43 b Fu(Our)34 b(pro)r(of)g(of)g (Theorem)f(1)h(is)h(constructiv)n(e)e(in)i(that)f(it)h(tells)g(us)f(ho) n(w)g(to)g(unhop)g(from)g(a)g(single)g(p)r(eg)h(to)f(an)n(y)0 183 y(feasible)27 b(con\014guration.)f(W)-7 b(e)28 b(simply)g(rev)n (erse)e(this)i(series)e(of)i(mo)n(v)n(es)e(to)h(pla)n(y)g(the)h(game.) 976 b Fg(u)-55 b(t)125 359 y Fu(More)38 b(generally)-7 b(,)38 b(a)h(con\014guration)e(that)j(can)f(b)r(e)h(reduced)f(to)g Fi(k)j Fu(p)r(egs)d(m)n(ust)g(b)r(elong)g(to)h(the)f(regular)f (language)0 459 y(\(0)74 429 y Fj(\003)112 459 y Fi(L)p Fu(0)211 429 y Fj(\003)248 459 y Fu(\))280 429 y Fs(k)321 459 y Fu(,)d(since)g(unhopping)f(cannot)h(in)n(terlea)n(v)n(e)e(the)i (p)r(egs)f(coming)g(from)h(di\013eren)n(t)f(origins)g([7].)g(This)h (leads)f(to)h(the)0 558 y(follo)n(wing)27 b(algorithm:)0 735 y Fl(Theorem)j(2.)41 b Fk(Ther)l(e)36 b(is)f(a)g(line)l(ar-time)g (str)l(ate)l(gy)f(for)i(r)l(e)l(ducing)f(any)g(one-dimensional)h(Pe)l (g)f(Solitair)l(e)h(c)l(on\014gur)l(ation)0 835 y(to)30 b(the)g(minimum)f(p)l(ossible)i(numb)l(er)e(of)i(p)l(e)l(gs.)0 1011 y(Pr)l(o)l(of.)43 b Fu(Supp)r(ose)35 b(w)n(e)f(are)f(giv)n(en)h(a) g(string)f Fi(c)1445 1023 y Ft(0)1483 1011 y Fi(c)1519 1023 y Ft(1)1556 1011 y Fi(c)1592 1023 y Ft(2)1643 1011 y Fi(:)14 b(:)g(:)f(c)1789 1023 y Fs(n)p Fj(\000)p Ft(1)1954 1011 y Fu(where)34 b(eac)n(h)g Fi(c)2431 1023 y Fs(i)2493 1011 y Fg(2)g(f)p Fu(0)p Fi(;)14 b Fu(1)p Fg(g)p Fu(.)33 b(Let)h Fg(A)h Fu(b)r(e)g(a)f(nondeterministic)0 1111 y(\014nite)25 b(automaton)f(\(without)i Fi(\017)p Fu(-transitions\))d (for)i(0)1634 1081 y Fj(\003)1671 1111 y Fi(L)p Fu(0)1770 1081 y Fj(\003)1808 1111 y Fu(,)g(where)f Fi(A)h Fu(is)g(the)g(set)g (of)g(states)f(in)h Fg(A)p Fu(,)g Fi(s)g Fu(is)g(the)g(start)g(state,)f (and)0 1211 y Fi(T)38 b Fu(is)28 b(the)f(set)h(of)f(accepting)f (states.)h(W)-7 b(e)28 b(then)g(construct)f(a)f(directed)i(acyclic)e (graph)g Fi(G)i Fu(as)f(follo)n(ws:)f(Let)h(the)h(v)n(ertices)e(of)0 1310 y Fi(G)g Fu(consist)f(of)h(all)g(pairs)f(\()p Fi(a;)14 b(i)p Fu(\))25 b(where)h Fi(a)d Fg(2)g Fi(A)j Fu(and)g(0)c Fg(\024)h Fi(i)g Fg(\024)f Fi(n)p Fu(.)k(Dra)n(w)f(an)h(arc)e(from)i (\()p Fi(a;)14 b(i)p Fu(\))26 b(to)f(\()p Fi(b;)14 b(i)h Fu(+)f(1\))26 b(in)g Fi(G)g Fu(whenev)n(er)f Fg(A)0 1410 y Fu(mak)n(es)i(a)h(transition)g(from)g(state)h Fi(a)f Fu(to)g(state)h Fi(b)f Fu(on)g(sym)n(b)r(ol)g Fi(c)1982 1422 y Fs(i)2010 1410 y Fu(.)g(Also,)g(dra)n(w)g(an)g(arc)f(from)i(\()p Fi(t;)14 b(i)p Fu(\))28 b(to)g(\()p Fi(s;)14 b(i)p Fu(\))29 b(for)f(an)n(y)g Fi(t)c Fg(2)h Fi(T)0 1509 y Fu(and)i(an)n(y)g(0)c Fg(\024)f Fi(i)h Fg(\024)g Fi(n)p Fu(.)k(Since)h Fg(jAj)c Fu(=)e Fg(O)r Fu(\(1\),)28 b Fg(j)p Fi(G)p Fg(j)c Fu(=)f Fg(O)r Fu(\()p Fi(n)p Fu(\).)125 1610 y(Then)30 b(an)n(y)g(path)g(from) g(\()p Fi(s;)14 b Fu(0\))30 b(to)h(\()p Fi(s;)14 b(n)p Fu(\))30 b(in)h Fi(G)g Fu(consists)e(of)h Fi(n)h Fu(arcs)e(of)h(the)h (form)f(\()p Fi(a;)14 b(i)p Fu(\))30 b(to)g(\()p Fi(b;)14 b(i)20 b Fu(+)g(1\),)30 b(together)g(with)0 1709 y(some)f(n)n(um)n(b)r (er)g Fi(k)k Fu(of)d(arcs)e(of)i(the)g(form)f(\()p Fi(t;)14 b(i)p Fu(\))30 b(to)f(\()p Fi(s;)14 b(i)p Fu(\).)30 b(Breaking)e(the)i (path)g(in)n(to)f(subpaths)h(b)n(y)f(remo)n(ving)f(all)h(but)i(the)0 1809 y(last)f(arc)f(of)h(this)h(second)e(t)n(yp)r(e)i(corresp)r(onds)d (to)i(partitioning)f(the)i(input)g(string)e(in)n(to)h(substrings)g(of)g (the)g(form)g(0)3703 1779 y Fj(\003)3741 1809 y Fi(L)p Fu(0)3840 1779 y Fj(\003)3877 1809 y Fu(,)0 1908 y(so)25 b(the)g(length)h(of)f(the)h(shortest)e(path)i(from)f(\()p Fi(s;)14 b Fu(0\))25 b(to)g(\()p Fi(s;)14 b(n)p Fu(\))26 b(in)g Fi(G)f Fu(is)g Fi(n)14 b Fu(+)g Fi(k)s Fu(,)25 b(where)g Fi(k)j Fu(is)d(the)h(minim)n(um)g(n)n(um)n(b)r(er)f(of)g(p)r (egs)0 2008 y(to)30 b(whic)n(h)g(the)g(initial)g(con\014guration)e(can) i(b)r(e)g(reduced.)f(Since)i Fi(G)f Fu(is)g(a)f(directed)h(acyclic)f (graph,)g(w)n(e)g(can)h(\014nd)g(shortest)0 2108 y(paths)f(from)g(\()p Fi(s;)14 b Fu(0\))30 b(b)n(y)f(scanning)g(the)g(v)n(ertices)g(\()p Fi(a;)14 b(i)p Fu(\))29 b(in)h(order)e(b)n(y)h Fi(i)p Fu(,)g(resolving)f(ties)i(among)e(v)n(ertices)g(with)i(equal)f Fi(i)g Fu(b)n(y)0 2207 y(scanning)22 b(v)n(ertices)f(\()p Fi(t;)14 b(i)p Fu(\))23 b(\(with)g Fi(t)g Fg(2)h Fi(T)12 b Fu(\))22 b(earlier)f(than)h(v)n(ertex)g(\()p Fi(s;)14 b(i)p Fu(\).)23 b(When)g(w)n(e)f(scan)g(a)g(v)n(ertex,)g(w)n(e)g (compute)h(its)f(distance)0 2307 y(to)28 b(\()p Fi(s;)14 b Fu(0\))28 b(as)f(one)h(plus)g(the)g(minim)n(um)h(distance)f(of)g(an)n (y)f(predecessor)f(of)i(the)g(v)n(ertex.)f(If)i(the)f(v)n(ertex)f(is)h (\()p Fi(s;)14 b Fu(0\))28 b(itself,)h(the)0 2407 y(distance)e(is)h (zero,)e(and)i(all)f(other)g(v)n(ertices)g(\()p Fi(a;)14 b Fu(0\))27 b(ha)n(v)n(e)g(no)g(predecessors)e(and)j(in\014nite)g (distance.)125 2507 y(Th)n(us)e(w)n(e)h(can)g(\014nd)g(the)h(optimal)f (strategy)e(for)i(the)g(initial)h(con\014guration)d(b)n(y)i(forming)f Fi(G)p Fu(,)i(computing)f(its)g(shortest)0 2606 y(path,)d(using)f(the)h (lo)r(cation)e(of)i(the)g(edges)e(from)i(\()p Fi(t;)14 b(i)p Fu(\))23 b(to)g(\()p Fi(s;)14 b(i)p Fu(\))24 b(to)f(partition)g (the)h(con\014guration)e(in)n(to)h(one-p)r(eg)g(sub)r(con\014g-)0 2706 y(urations,)i(and)h(applying)f(Corollary)f(1)h(to)h(eac)n(h)f(sub) r(con\014guration.)g(Since)h Fg(j)p Fi(G)p Fg(j)d Fu(=)g Fg(O)r Fu(\()p Fi(n)p Fu(\),)k(this)f(algorithm)f(runs)h(in)g(linear)0 2806 y(time.)3661 b Fg(u)-55 b(t)125 2982 y Fu(In)22 b(con)n(trast)g(to)h(these)f(results,)h(Uehara)e(and)i(Iw)n(ata)f([11]) g(sho)n(w)n(ed)f(that)i(in)h(t)n(w)n(o)e(or)f(more)h(dimensions)h(P)n (eg)e(Solitaire)h(is)0 3082 y(NP-complete.)f(Ho)n(w)n(ev)n(er,)e(the)j (complexit)n(y)e(of)i(\014nding)f(the)h(minim)n(um)f(n)n(um)n(b)r(er)g (of)h(p)r(egs)f(to)g(whic)n(h)g(a)g Fi(k)8 b Fg(\002)e Fi(n)21 b Fu(con\014guration)0 3181 y(can)27 b(b)r(e)h(reduced,)g(for)f (b)r(ounded)h Fi(k)e(>)c Fu(2,)27 b(remains)g(op)r(en.)0 3450 y Fm(2)112 b(Duotaire)0 3651 y Fu(Ra)n(vikumar)24 b([9])i(has)f(prop)r(osed)f(an)i(impartial)f(t)n(w)n(o-pla)n(y)n(er)e (game,)i(in)h(whic)n(h)f(pla)n(y)n(ers)f(tak)n(e)h(turns)h(making)f(P)n (eg)f(Solitaire)0 3751 y(mo)n(v)n(es,)f(and)h(who)r(ev)n(er)g(is)g (left)h(without)g(a)f(mo)n(v)n(e)g(loses.)f(W)-7 b(e)25 b(call)f(this)h(game)f(\\P)n(eg)e(Duotaire.")i(While)h(he)f(considered) g(the)0 3851 y(v)n(ersion)g(where)h(eac)n(h)g(mo)n(v)n(e)g(consists)g (of)g(a)g(single)h(hop,)f(in)h(the)g(spirit)g(of)f(the)h(game)f(w)n(e)h (will)f(start)h(with)g(the)g(\\m)n(ultihop")0 3950 y(v)n(ersion)g (where)h(a)g(series)g(of)g(hops)h(with)g(a)f(single)g(p)r(eg)g(can)h(b) r(e)g(made)f(in)h(a)f(single)g(mo)n(v)n(e.)125 4050 y(W)-7 b(e)24 b(recall)f(the)h(de\014nition)h(of)f(the)g Fk(Grundy)j(numb)l (er)c Fu(or)g Fk(nim-value)h Fi(G)h Fu(of)f(a)f(p)r(osition)h(in)g(an)g (impartial)f(game,)g(namely)0 4150 y(the)33 b(smallest)f(non-negativ)n (e)f(in)n(teger)h(not)g(app)r(earing)g(among)f(the)i(nim-v)-5 b(alues)33 b(of)f(its)h(options)f([4].)h(The)f Fg(P)7 b Fu(-p)r(ositions,)0 4250 y(in)28 b(whic)n(h)g(the)g(second)g (\(Previous\))e(pla)n(y)n(er)h(can)g(win,)h(are)f(those)h(with)g(nim-v) -5 b(alue)28 b(zero:)f(an)n(y)g(mo)n(v)n(e)g(b)n(y)g(the)i(\014rst)e (\(Next\))0 4349 y(pla)n(y)n(er)d(is)h(to)h(a)f(p)r(osition)g(with)h(a) f(non-zero)f Fi(G)p Fu(,)i(and)g(the)f(second)g(pla)n(y)n(er)f(can)h (then)i(return)e(it)h(to)f(a)g(p)r(osition)g(with)h Fi(G)e Fu(=)e(0.)0 4449 y(This)i(con)n(tin)n(ues)f(un)n(til)h(w)n(e)f(reac)n (h)g(a)g(p)r(osition)h(in)g(whic)n(h)g(there)f(are)g(no)g(mo)n(v)n(es,) g(in)h(whic)n(h)g(case)f Fi(G)g Fu(=)f(0)i(b)n(y)f(de\014nition;)i (then)0 4549 y(Next)i(is)g(stuc)n(k,)f(and)g(Previous)f(wins.)i (Similarly)-7 b(,)26 b(the)h Fg(N)12 b Fu(-p)r(ositions,)27 b(in)f(whic)n(h)h(the)g(\014rst)f(pla)n(y)n(er)f(can)i(win,)g(are)e (those)i(for)0 4648 y(whic)n(h)h Fi(G)23 b Fg(6)p Fu(=)g(0.)125 4748 y(The)28 b(nim-v)-5 b(alue)28 b(of)g(a)g(disjunctiv)n(e)h(sum)f (of)g(games,)g(in)g(whic)n(h)g(eac)n(h)g(mo)n(v)n(e)f(consists)h(of)g (a)g(mo)n(v)n(e)f(in)h(the)h(game)e(of)i(the)0 4848 y(pla)n(y)n(er's)c (c)n(hoice,)i(is)f(the)i Fk(nim-sum)p Fu(,)e(or)g(bit)n(wise)h (exclusiv)n(e)f(or)h(\(binary)f(addition)h(without)h(carrying\))d(of)i (the)g(nim-v)-5 b(alues)0 4948 y(of)31 b(the)f(individual)h(games.)f(W) -7 b(e)31 b(notate)f(this)h Fg(\010)p Fu(,)f(and)g(for)g(instance)h(4) 20 b Fg(\010)g Fu(7)27 b(=)h(5.)i(Lik)n(e)g(man)n(y)g(games,)f(p)r (ositions)i(in)f(P)n(eg)0 5047 y(Duotaire)d(often)h(quic)n(kly)f (reduce)g(to)g(a)h(sum)f(of)h(simple)g(p)r(ositions:)0 5224 y Fl(Lemma)i(1.)40 b Fk(In)29 b(either)g(version)h(of)g(Pe)l(g)f (Duotair)l(e,)g(a)g(p)l(osition)h(of)g(the)f(form)g Fi(x)14 b Fu(0\(01\))2774 5194 y Fj(\003)2812 5224 y Fu(00)g Fi(y)30 b Fk(is)f(e)l(qual)g(to)g(the)g(disjunctive)0 5324 y(sum)g(of)i Fi(x)p Fu(0)e Fk(and)i Fu(0)p Fi(y)s Fk(.)p eop %%Page: 4 4 4 3 bop 0 83 a Fk(Pr)l(o)l(of.)43 b Fu(An)n(y)28 b(attempt)g(to)f (cross)f(this)i(gap)f(only)g(creates)f(a)i(larger)d(gap)i(of)g(the)h (same)f(form;)h(for)f(instance,)g(a)g(hop)g(on)h(the)0 183 y(left)g(end)g(from)f(110\(01\))772 153 y Fs(n)816 183 y Fu(00)f(yields)i(0\(01\))1350 153 y Fs(n)p Ft(+1)1478 183 y Fu(00.)f(Th)n(us)g(the)h(t)n(w)n(o)f(games)g(cannot)g(in)n (teract.)898 b Fg(u)-55 b(t)125 347 y Fu(As)31 b(in)h(the)g(Ha)n(w)n (ai'ian)e(game)h(of)h(Konane)e([12],)h(in)n(teraction)g(across)f(gaps)g (of)i(size)f(2)h(seems)f(to)g(b)r(e)i(rare)d(but)i(b)n(y)f(no)0 447 y(means)24 b(imp)r(ossible.)h(F)-7 b(or)24 b(instance,)h(Previous)e (can)h(win)i(from)e(a)g(p)r(osition)h(of)g(the)g(form)f Fi(w)r Fu(00)p Fi(w)k Fu(b)n(y)c(strategy)g(stealing,)g(i.e.)0 546 y(cop)n(ying)k(eac)n(h)g(of)h(Next's)g(mo)n(v)n(es,)f(unless)h (Next)g(can)g(c)n(hange)f(the)h(parit)n(y)f(b)n(y)h(hopping)g(in)n(to)f (the)i(gap.)e(In)h(the)h(m)n(ultihop)0 646 y(case,)g(ho)n(w)n(ev)n(er,) f(Previous)h(can)h(sometimes)f(reco)n(v)n(er)f(b)n(y)i(hopping)g(in)n (to)g(the)g(gap)f(and)h(o)n(v)n(er)f(the)h(p)r(eg)g(Next)h(has)e (placed)0 746 y(there:)0 910 y Fl(Lemma)g(2.)40 b Fk(In)30 b(multihop)g(Pe)l(g)h(Duotair)l(e,)f(any)g(p)l(alindr)l(ome)h(of)g(the) f(form)800 1083 y Fi(w)16 b Fu(010010)e Fi(w)1202 1049 y Fs(R)1254 1083 y Fi(;)37 b(w)17 b Fu(01100110)d Fi(w)1801 1049 y Fs(R)1852 1083 y Fi(;)43 b Fk(or)30 b Fi(w)17 b Fu(00\(10\))2333 1049 y Fj(\003)2370 1083 y Fu(11100111\(01\))2854 1049 y Fj(\003)2887 1083 y Fu(00)d Fi(w)3046 1049 y Fs(R)0 1256 y Fk(is)30 b(a)g Fg(P)7 b Fk(-p)l(osition.)0 1421 y(Pr)l(o)l(of.)43 b Fu(Previous)31 b(steals)h(Next's)h(strategy)e(un)n (til)i(Next)h(hops)e(in)n(to)g(the)h(gap.)f(Previous)f(then)i(hops)g (in)n(to)f(the)h(gap)f(and)0 1520 y(o)n(v)n(er)h(Next's)j(p)r(eg,)f (lea)n(ving)f(a)g(p)r(osition)h(of)g(the)h(form)f(in)g(Lemma)g(1.)g (The)g(games)f(then)h(separate)f(and)h(Previous)e(can)0 1620 y(con)n(tin)n(ue)27 b(stealing)g(Next's)h(strategy)-7 b(,)26 b(so)h(the)h(nim-v)-5 b(alue)28 b(is)f Fi(G)p Fu(\()p Fi(w)r Fu(0\))20 b Fg(\010)e Fi(G)p Fu(\(0)p Fi(w)2477 1590 y Fs(R)2532 1620 y Fu(\))23 b(=)g(0.)125 1719 y(T)-7 b(o)27 b(sho)n(w)f(that)i(this)g(remains)f(true)g(ev)n(en)h (if)g(Next)g(tries)f(to)g(hop)h(from)f Fi(w)f Fu(=)c Fi(v)s Fu(11,)27 b(consider)g(the)h(follo)n(wing)e(game:)1015 1887 y Fi(v)s Fu(11)14 b(001110011100)f(11)o Fi(v)1799 1857 y Fs(R)1015 1987 y Fi(v)s Fu(00)h(101110011100)f(11)o Fi(v)1799 1956 y Fs(R)1894 1987 y Fu(Next)28 b(hops)f(from)g(the)h (left)1015 2086 y Fi(v)s Fu(00)14 b(101110011101)f(00)o Fi(v)1799 2056 y Fs(R)1894 2086 y Fu(Previous)26 b(steals)h(his)g (strategy)1015 2186 y Fi(v)s Fu(00)14 b(101001011101)f(00)o Fi(v)1799 2156 y Fs(R)1894 2186 y Fu(Next)28 b(hops)f(in)n(to)h(the)g (breac)n(h)1015 2286 y Fi(v)s Fu(00)14 b(101010000101)f(00)o Fi(v)1799 2256 y Fs(R)1894 2286 y Fu(Previous)26 b(hops)h(t)n(wice)0 2467 y(No)n(w)c Fi(v)28 b Fu(and)23 b Fi(v)453 2437 y Fs(R)532 2467 y Fu(are)g(separated)f(b)n(y)i(t)n(w)n(o)f(gaps)g(of)h (the)g(form)g(of)g(Lemma)f(1.)h(Since)g(hopping)f(from)h Fi(w)i Fu(and)e Fi(w)3407 2437 y Fs(R)3486 2467 y Fu(in)n(to)g(010010)0 2567 y(giv)n(es)17 b(0011001100,)d(and)k(since)g(hopping)g(in)n(to)g (this)h(giv)n(es)e(001110011100,)c(and)18 b(since)g(hopping)g(in)n(to)g (00\(10\))3398 2537 y Fj(\003)3435 2567 y Fu(11100111\(01\))3919 2537 y Fj(\003)3953 2567 y Fu(00)0 2666 y(giv)n(es)26 b(another)h(w)n(ord)g(of)g(the)h(same)f(form,)g(w)n(e're)g(done.)2058 b Fg(u)-55 b(t)125 2831 y Fu(Lemma)32 b(2)g(seems)g(to)h(b)r(e)g (optimal,)f(since)h(110111)14 b(00)g(11101)o(1)26 b(and)33 b(01111)14 b(00)g(11110)26 b(ha)n(v)n(e)32 b(nim-v)-5 b(alues)32 b(1)g(and)h(2)f(re-)0 2930 y(sp)r(ectiv)n(ely)-7 b(.)27 b(Nor)g(do)r(es)h(it)g(hold)f(in)h(the)g(single-hop)f(v)n (ersion,)f(since)h(there)g(1011)14 b(00)g(1101)23 b(has)k(nim-v)-5 b(alue)27 b(1.)125 3030 y(Note)h(that)g(the)g(more)g(general)e (statemen)n(t)i(that)h Fi(G)p Fu(\()p Fi(x)14 b Fu(010010)g Fi(y)s Fu(\))21 b(=)i Fi(G)p Fu(\()p Fi(x)p Fu(0\))d Fg(\010)e Fi(G)p Fu(\(0)p Fi(y)s Fu(\))28 b(is)g(not)g(true,)g(since)g (coun)n(tering)0 3130 y(y)n(our)22 b(opp)r(onen)n(t's)h(jump)h(in)n(to) f(the)h(gap)e(is)i(not)f(alw)n(a)n(ys)e(a)i(winning)g(mo)n(v)n(e;)g (for)f(example,)h Fi(G)p Fu(\(1011)14 b(010010)g(1011\))j(=)23 b(5)g(ev)n(en)0 3229 y(though)k Fi(G)p Fu(\(10110\))17 b Fg(\010)h Fi(G)p Fu(\(01011\))k(=)g(0.)125 3329 y(In)k(fact,)h(the)f (pla)n(y)n(er)f(who)h(desires)g(an)g(in)n(teraction)f(across)g(a)h(00)f (has)h(more)g(p)r(o)n(w)n(er)f(here)h(than)g(in)h(Konane,)e(since)h (she)0 3429 y(can)31 b(hop)g(in)n(to)g(the)h(gap)e(from)h(either)h(or)e (b)r(oth)i(sides.)f(In)g(Konane,)f(on)h(the)h(other)f(hand,)g(eac)n(h)g (pla)n(y)n(er)e(can)i(only)g(mo)n(v)n(e)0 3528 y(stones)d(of)h(their)g (o)n(wn)f(color,)g(whic)n(h)h(o)r(ccur)f(on)g(sites)h(of)g(opp)r(osite) f(parit)n(y)-7 b(,)29 b(so)f(that)h(the)g(pla)n(y)n(er)e(desiring)h(an) h(in)n(teraction)0 3628 y(m)n(ust)f(force)f(the)h(other)f(pla)n(y)n(er) f(to)h(en)n(ter)g(the)h(gap)f(from)g(the)h(other)f(side.)125 3728 y(Using)k(a)g(com)n(bination)f(of)i(exp)r(erimen)n(tal)f(math)g (and)g(inductiv)n(e)h(pro)r(of,)f(the)h(reader)e(can)h(con\014rm)g(the) g(nim-v)-5 b(alues)0 3827 y(of)28 b(the)g(m)n(ultihop)f(p)r(ositions)h (sho)n(wn)e(in)i(T)-7 b(able)28 b(1.)f(In)h(these)f(examples)g(w)n(e)g (assume)g(there)h(are)e(holes)h(to)h(either)f(side.)125 3927 y(In)d(the)g(previous)f(section,)h(w)n(e)g(sho)n(w)n(ed)f(that)h (the)h(set)f(of)g(winnable)g(con\014gurations)e(in)j(P)n(eg)e (Solitaire)g(is)h(recognizable)0 4026 y(b)n(y)k(a)f(\014nite-state)h (automaton,)f(i.e.)h(is)g(a)g(regular)e(language.)g(In)i(con)n(trast)f (to)g(this,)i(for)e(the)h(t)n(w)n(o-pla)n(y)n(er)e(v)n(ersion)g(w)n(e)h (can)0 4126 y(sho)n(w)g(the)h(follo)n(wing,)e(at)i(least)f(in)h(the)g (m)n(ultihop)g(case:)0 4291 y Fl(Theorem)i(3.)41 b Fk(In)g(multihop)h (Pe)l(g)f(Duotair)l(e,)g(neither)h(the)f Fg(P)7 b Fk(-p)l(ositions)41 b(nor)g(the)g Fg(N)12 b Fk(-p)l(ositions)42 b(ar)l(e)g(describ)l(e)l(d) g(by)g(a)0 4390 y(r)l(e)l(gular)30 b(or)g(c)l(ontext-fr)l(e)l(e)f (language.)0 4555 y(Pr)l(o)l(of.)43 b Fu(Let)26 b Fi(P)39 b Fu(b)r(e)26 b(the)h(set)f(of)g Fg(P)7 b Fu(-p)r(ositions.)25 b(Since)h(the)h(nim-v)-5 b(alue)26 b(of)g(011\(01\))2539 4525 y Fs(n)2582 4555 y Fu(0)g(is)g Fi(n)16 b Fu(+)f(1,)25 b(the)i(in)n(tersection)e(of)h Fi(P)39 b Fu(with)0 4654 y(the)28 b(regular)e(language)1297 4754 y Fi(L)d Fu(=)f(011\(01\))1738 4720 y Fj(\003)1775 4754 y Fu(00011\(01\))2133 4720 y Fj(\003)2168 4754 y Fu(00011\(01\))2526 4720 y Fj(\003)2561 4754 y Fu(0)0 4898 y(is)849 4997 y Fi(P)31 b Fg(\\)18 b Fi(L)23 b Fu(=)1173 4930 y Fh(\010)1236 4997 y Fu(011)14 b(\(01\))1524 4963 y Fs(i)1563 4997 y Fu(00011)g(\(01\))1935 4963 y Fs(j)1981 4997 y Fu(00011)g(\(01\))2353 4963 y Fs(k)2405 4997 y Fu(0)2469 4927 y Fh(\014)2469 4976 y(\014)2520 4997 y Fi(i)k Fg(\010)g Fi(j)23 b Fg(\010)18 b Fi(k)26 b Fu(=)d(0)3003 4930 y Fh(\011)0 5141 y Fu(T)-7 b(o)21 b(simplify)h(our)e(argumen)n(t,)g(w)n(e)h(run)g(this)h(through)e(a)h (\014nite-state)h(transducer)e(whic)n(h)h(the)g(reader)f(can)h(easily)g (construct,)0 5240 y(giving)1146 5340 y Fi(P)1211 5306 y Fj(0)1257 5340 y Fu(=)1345 5273 y Fh(\010)1407 5340 y Fi(a)1451 5306 y Fs(i)1478 5340 y Fi(b)1514 5306 y Fs(j)1549 5340 y Fi(c)1585 5306 y Fs(k)1649 5269 y Fh(\014)1649 5319 y(\014)1700 5340 y Fi(i)d Fg(\010)g Fi(j)23 b Fg(\010)18 b Fi(k)26 b Fu(=)d(0)k(and)g Fi(i;)14 b(j;)g(k)26 b(>)c Fu(0)2706 5273 y Fh(\011)p eop %%Page: 5 5 5 4 bop 1536 64 a Ff(w)502 b(G)p Fq(\(0)2221 32 y Fe(\003)2270 64 y Ff(w)15 b Fq(0)2378 32 y Fe(\003)2414 64 y Fq(\))p 1246 95 1408 4 v 1524 205 a(1)1562 173 y Fd(n)1895 99 y Fc(\032)1964 159 y Fq(0)45 b Ff(n)22 b Fn(\021)f Fq(0)26 b(or)g(1)21 b(mo)r(d)g(4)1964 250 y(1)45 b Ff(n)22 b Fn(\021)f Fq(2)26 b(or)g(3)21 b(mo)r(d)g(4)1437 341 y(11\(01\))1649 309 y Fd(n)2179 341 y Ff(n)d Fq(+)e(1)1418 433 y(111\(01\))1668 401 y Fd(n)2179 433 y Ff(n)i Fq(+)e(1)1418 524 y(11\(01\))1630 492 y Fd(n)1673 524 y Fq(1)468 b Ff(n)18 b Fn(\010)e Fq(1)1398 707 y(11\(01\))1610 675 y Fd(n)1654 707 y Fq(11)1358 798 y(=)21 b(111\(01\))1689 766 y Fd(n)1733 798 y Fq(1)2013 555 y Fc(8)2013 622 y(>)2013 644 y(>)2013 667 y(<)2013 801 y(>)2013 824 y(>)2013 846 y(:)2092 615 y Fq(3)186 b Ff(n)21 b Fq(=)g(1)2092 707 y(4)186 b Ff(n)21 b Fq(=)g(2)2092 798 y(2)186 b Ff(n)21 b Fq(=)g(3)2092 889 y Ff(n)d Fq(+)f(2)45 b Ff(n)21 b Fn(\025)g Fq(4)1258 980 y(111\(01\))1508 949 y Fd(n)1552 980 y Fq(11)p Ff(;)35 b(n)22 b(>)f Fq(0)378 b(1)1379 1072 y(11011\(01\))1705 1040 y Fd(n)2083 1072 y Fq(\()p Ff(n)17 b Fq(+)g(1\))h Fn(\010)e Fq(1)1379 1163 y(1011\(01\))1667 1131 y Fd(n)1712 1163 y Fq(1)429 b Ff(n)18 b Fq(+)e(2)1339 1254 y(\(10\))1475 1223 y Fd(m)1534 1254 y Fq(11\(01\))1746 1223 y Fd(n)2027 1254 y Fq(max)o(\()p Ff(m;)c(n)p Fq(\))18 b(+)f(1)930 1442 y Fo(T)-7 b(able)28 b(1.)e Fq(Some)f(simple)g(nim-v)l(alues)f(in)i(m)n(ultihop)e(P)n(eg)j (Duotaire.)0 1798 y Fu(It)20 b(is)f(easy)g(to)g(sho)n(w)g(that)h Fi(P)860 1768 y Fj(0)903 1798 y Fu(violates)e(the)i(Pumping)f(Lemma)h (for)f(con)n(text-free)f(languages)g([10])h(b)n(y)g(considering)f(the)i (w)n(ord)0 1898 y Fi(a)44 1868 y Fs(i)72 1898 y Fi(b)108 1868 y Fs(j)142 1898 y Fi(c)178 1868 y Fs(k)243 1898 y Fu(where)j Fi(i)g Fu(=)f(2)660 1868 y Fs(n)705 1898 y Fu(,)i Fi(j)k Fu(=)23 b(2)944 1868 y Fs(n)999 1898 y Fg(\000)11 b Fu(1,)23 b(and)h Fi(k)i Fu(=)d(2)1520 1868 y Fs(n)p Ft(+1)1659 1898 y Fg(\000)11 b Fu(1)23 b(where)h Fi(n)f Fu(is)h(su\016cien)n(tly)g(large.)e(Since)i(regular)e (and)i(con)n(text-free)0 1997 y(languages)h(are)i(closed)f(under)h (\014nite-state)h(transduction)e(and)i(under)f(in)n(tersection)f(with)i (a)f(regular)e(language,)h(neither)0 2097 y Fi(P)65 2067 y Fj(0)116 2097 y Fu(nor)h Fi(P)39 b Fu(is)28 b(regular)d(or)i(con)n (text-free.)125 2197 y(A)j(more)f(general)f(argumen)n(t)h(applies)g(to) g(b)r(oth)i Fi(P)41 b Fu(and)30 b(the)g(set)g(of)f Fg(N)12 b Fu(-p)r(ositions)30 b Fi(N)35 b Fu(=)2973 2176 y(\026)2954 2197 y Fi(P)12 b Fu(.)30 b(W)-7 b(e)30 b(de\014ne)g Fi(N)3535 2167 y Fj(0)3588 2197 y Fu(similarly)0 2296 y(to)h Fi(P)170 2266 y Fj(0)193 2296 y Fu(.)h(No)n(w)f(the)g(P)n(arikh)f(mapping,)h (whic)n(h)g(coun)n(ts)g(the)g(n)n(um)n(b)r(er)h(of)f(times)g(eac)n(h)g (sym)n(b)r(ol)g(app)r(ears)f(in)h(a)g(w)n(ord,)f(sends)0 2396 y(an)n(y)d(con)n(text-free)f(language)g(to)i(a)f(semilinear)g(set) g([13].)g(This)h(implies)g(that)f(the)h(set)1432 2562 y Fi(S)f Fu(=)c Fg(f)p Fi(n)f Fg(2)i Fb(N)33 b Fg(j)23 b Fi(a)1964 2528 y Fs(n)2009 2562 y Fi(b)2045 2528 y Ft(2)p Fs(n)2123 2562 y Fi(c)2159 2528 y Ft(3)p Fs(n)2260 2562 y Fg(2)h Fi(P)2404 2528 y Fj(0)2427 2562 y Fg(g)0 2729 y Fu(is)j(ev)n(en)n(tually)g(p)r(erio)r(dic.)h(Ho)n(w)n(ev)n(er,)d (it)j(is)g(easy)f(to)g(see)g(that)h(this)g(is)747 2895 y Fi(S)g Fu(=)23 b Fg(f)p Fi(n)k Fu(do)r(es)g(not)h(ha)n(v)n(e)e(t)n(w) n(o)h(consecutiv)n(e)g(1's)g(in)g(its)h(binary)f(expansion)o Fg(g)0 3062 y Fu(Supp)r(ose)f Fi(S)31 b Fu(is)25 b(ev)n(en)n(tually)g (p)r(erio)r(dic)h(with)g(p)r(erio)r(d)g Fi(p)p Fu(,)g(and)g(let)g Fi(k)j Fu(b)r(e)d(su\016cien)n(tly)g(large)e(that)i(2)3030 3032 y Fs(k)3097 3062 y Fu(is)f(b)r(oth)i(in)f(the)g(p)r(erio)r(dic)0 3161 y(part)j(of)h Fi(S)k Fu(and)c(larger)d(than)j(3)p Fi(p)p Fu(.)f(Then)h(2)1358 3131 y Fs(k)1425 3161 y Fg(2)d Fi(S)5 b Fu(,)29 b(but)h(if)h Fi(p)26 b Fg(2)h Fi(S)34 b Fu(then)c(2)2316 3131 y Fs(k)2376 3161 y Fu(+)20 b(3)p Fi(p)26 b Fg(62)g Fi(S)5 b Fu(,)30 b(while)g(if)g Fi(p)c Fg(62)h Fi(S)34 b Fu(then)d(2)3527 3131 y Fs(k)3587 3161 y Fu(+)19 b Fi(p)26 b Fg(62)h Fi(S)5 b Fu(.)0 3261 y(This)27 b(giv)n(es)f(a)h(con)n(tradiction,)e(and)i(since)g Fi(S)32 b Fu(is)27 b(not)g(ev)n(en)n(tually)f(p)r(erio)r(dic)h(neither)g(is)g (its)g(complemen)n(t.)g(Th)n(us)g(neither)g Fi(P)0 3361 y Fu(nor)g Fi(N)36 b Fu(is)28 b(regular)e(or)g(con)n(text-free.)2676 b Fg(u)-55 b(t)125 3519 y Fu(W)-7 b(e)31 b(conjecture)g(that)g(Theorem) g(3)f(is)h(true)h(in)f(the)h(single-hop)e(case)g(as)g(w)n(ell.)h(Ho)n (w)n(ev)n(er,)f(w)n(e)h(ha)n(v)n(e)f(b)r(een)h(unable)g(to)0 3618 y(\014nd)j(a)g(simple)g(family)g(of)g(p)r(ositions)g(with)h (arbitrarily)d(large)g(nim-v)-5 b(alues.)34 b(The)g(lexicographically)e (\014rst)i(p)r(ositions)f(of)0 3718 y(v)-5 b(arious)26 b(nim-v)-5 b(alues,)28 b(whic)n(h)f(w)n(e)g(found)h(b)n(y)g(computer)f (searc)n(h,)f(are)h(as)g(follo)n(ws:)1220 3879 y Fi(w)1127 b(G)p Fu(\(0)p Fi(w)r Fu(0\))p 1208 3912 1484 4 v 1220 3982 a(1)1260 b(0)1220 4081 y(11)1218 b(1)1220 4181 y(1011)1134 b(2)1220 4281 y(110111)1050 b(3)1220 4380 y(11010111)966 b(4)1220 4480 y(11011010111)840 b(5)1220 4580 y(10110111001111)714 b(6)1220 4679 y(10110110010111)o(01)o(1)590 b(7)1220 4779 y(11011011011011)o(10)o(11)o(1)507 b(8)1220 4878 y(11001101101110)o(01)o(10)o(10)o(11)o(1)341 b(9)1220 4978 y(10110110011011)o(01)o(10)o(11)o(10)o(11)o(1)237 b(10)1220 5078 y(10110110011011)o(01)o(11)o(00)o(11)o(01)o(01)o(11)112 b(11)125 5240 y(It)19 b(is)h(striking)e(that)i(the)g(\014rst)f(p)r (ositions)g(with)h(nim-v)-5 b(alues)19 b(2)p Fi(n)g Fu(and)g(2)p Fi(n)r Fu(+)r(1)f(coincide)h(on)g(fairly)g(large)f(initial)i (substrings;)0 5340 y(this)31 b(is)f(most)h(noticeable)f(for)g Fi(G)e Fu(=)g(10)h(and)i(11,)e(whic)n(h)i(coincide)f(for)g(the)h (\014rst)g(17)e(sym)n(b)r(ols.)h(W)-7 b(e)31 b(do)f(not)h(kno)n(w)f(if) h(this)p eop %%Page: 6 6 6 5 bop 0 83 a Fu(pattern)32 b(con)n(tin)n(ues;)g(it)h(w)n(ould)f(b)r (e)h(esp)r(ecially)f(in)n(teresting)g(if)h(some)f(sub-family)g(of)h (these)g(p)r(ositions)f(con)n(v)n(erged)e(to)i(an)0 183 y(ap)r(erio)r(dic)27 b(sequence.)125 282 y(In)e(an)n(y)g(case,)f(as)h (of)h(no)n(w)e(it)i(is)g(an)f(op)r(en)g(question)g(whether)h(there)f (are)f(p)r(ositions)i(in)f(single-hop)g(P)n(eg)f(Duotaire)h(with)0 382 y(arbitrarily)h(large)g(nim-v)-5 b(alues.)27 b(W)-7 b(e)28 b(conjecture)f(that)h(there)g(are,)e(and)i(o\013er)f(the)h (follo)n(wing)e(conditional)h(result:)0 555 y Fl(Lemma)j(3.)40 b Fk(If)24 b(ther)l(e)f(ar)l(e)g(p)l(ositions)h(with)g(arbitr)l(arily)g (lar)l(ge)g(nim-values,)g(then)f(the)g(set)f(of)i Fg(P)7 b Fk(-p)l(ositions)24 b(is)f(not)f(describ)l(e)l(d)0 654 y(by)30 b(a)g(r)l(e)l(gular)g(language.)0 827 y(Pr)l(o)l(of.)43 b Fu(Recall)25 b(that)h(a)g(language)e(is)h(regular)f(if)j(and)e(only)g (if)i(it)f(has)f(a)g(\014nite)h(n)n(um)n(b)r(er)g(of)g(equiv)-5 b(alence)25 b(classes,)f(where)h(w)n(e)0 927 y(de\014ne)g Fi(u)f Fu(and)g Fi(v)k Fu(as)c(equiv)-5 b(alen)n(t)24 b(if)h(they)g(can)f(b)r(e)h(follo)n(w)n(ed)f(b)n(y)g(the)h(same)f (su\016xes:)g Fi(uw)h Fg(2)f Fi(L)g Fu(if)h(and)f(only)g(if)h Fi(v)s(w)h Fg(2)e Fi(L)p Fu(.)g(Since)0 1027 y Fi(u)p Fu(000)p Fi(w)g Fg(2)f Fi(P)39 b Fu(if)27 b(and)g(only)g(if)g Fi(u)p Fu(0)f(and)h(0)p Fi(w)i Fu(ha)n(v)n(e)d(the)h(same)f(nim-v)-5 b(alue)27 b(b)n(y)g(Lemma)g(1,)f(there)h(is)g(at)f(least)h(one)g(equiv) -5 b(alence)0 1126 y(class)27 b(for)g(ev)n(ery)f(nim-v)-5 b(alue.)2928 b Fg(u)-55 b(t)125 1299 y Fu(In)24 b(fact,)g(a)g(computer) f(searc)n(h)g(for)g(inequiv)-5 b(alen)n(t)24 b(initial)h(strings)e(sho) n(ws)g(that)h(there)g(are)f(at)h(least)f(225980)f(equiv)-5 b(alence)0 1399 y(classes)26 b(for)i(eac)n(h)f(nim-v)-5 b(alue.)27 b(Since)h(w)n(e)g(can)f(com)n(bine)g(1,)h(2,)f(4,)h(and)f(8) g(to)h(get)g(an)n(y)f(nim-v)-5 b(alue)27 b(b)r(et)n(w)n(een)h(0)f(and)h (15,)f(an)n(y)0 1498 y(deterministic)h(\014nite)g(automaton)f(that)h (recognizes)d(the)j Fg(P)7 b Fu(-p)r(ositions)27 b(m)n(ust)g(ha)n(v)n (e)g(at)g(least)g(3615680)e(states.)125 1598 y(W)-7 b(e)24 b(conjecture)g(that)g(single-hop)f(P)n(eg)f(Duotaire)i(is)g(not)g (describ)r(ed)g(b)n(y)f(a)h(con)n(text-free)f(language)f(either.)i(Of)g (course,)0 1698 y(there)36 b(could)g(still)g(b)r(e)g(p)r (olynomial-time)g(strategies)f(for)g(pla)n(ying)g(either)h(or)f(b)r (oth)i(v)n(ersions)d(of)i(the)g(one-dimensional)0 1797 y(game.)28 b(One)g(approac)n(h)f(migh)n(t)i(b)r(e)g(a)f (divide-and-conquer)f(algorithm,)h(based)g(on)h(the)g(fact)g(that)g(a)f (b)r(oundary)g(b)r(et)n(w)n(een)0 1897 y(t)n(w)n(o)f(sites)g(can)g(b)r (e)h(hopp)r(ed)g(o)n(v)n(er)e(at)i(most)f(four)g(times:)1772 2073 y(1111)p 1950 2102 4 100 v 22 w(0111)1772 2172 y(1100)p 1950 2202 V 22 w(1111)1772 2272 y(1101)p 1950 2302 V 22 w(0011)1772 2371 y(0000)p 1950 2401 V 22 w(1011)1772 2471 y(0001)p 1950 2501 V 22 w(0000)0 2648 y(In)c(t)n(w)n(o)g(or)f (more)h(dimensions,)g(it)g(is)g(tempting)h(to)f(think)h(that)f(either)g (or)g(b)r(oth)g(v)n(ersions)f(of)h(P)n(eg)f(Duotaire)g(are)h(PSP)-7 b(A)n(CE-)0 2748 y(complete,)28 b(since)f(Solitaire)g(is)g(NP-complete) g([11].)0 2946 y Fk(A)l(cknow)t(le)l(dgements.)62 b Fu(W)-7 b(e)43 b(thank)g(Elwyn)f(Berlek)-5 b(amp,)42 b(Aviezri)g(F)-7 b(raenk)n(el,)42 b(Mic)n(hael)g(Lac)n(hmann,)g(Molly)g(Rose,)g(B.)0 3046 y(Siv)-5 b(akumar,)29 b(and)h(Sp)r(o)r(otie)g(the)g(Cat)f(for)h (helpful)g(con)n(v)n(ersations,)d(and)j(the)g(organizers)d(of)j(the)g (2000)e(MSRI)i(W)-7 b(orkshop)0 3145 y(on)27 b(Com)n(binatorial)f (Games.)0 3410 y Fm(References)38 3599 y Fq(1.)43 b(M.)26 b(Kraitc)n(hik,)g(\\P)n(eg)g(Solitaire,")i(in)e Fa(Mathematic)l(al)i(R) l(e)l(cr)l(e)l(ations.)g Fq(W.W.)e(Norton,)g(New)g(Y)-6 b(ork,)25 b(1942.)38 3690 y(2.)43 b(M.)18 b(Gardner,)g(\\P)n(eg)g (Solitaire,")h(in)f Fa(The)i(Unexp)l(e)l(cte)l(d)j(Hanging)d(and)g (Other)h(Mathematic)l(al)g(Diversions.)d Fq(Simon)e(and)h(Sc)n(h)n (uster,)140 3782 y(New)25 b(Y)-6 b(ork,)26 b(1969.)38 3873 y(3.)43 b(R.W.)26 b(Gosp)r(er,)i(S.)f(Bro)n(wn,)g(and)g(M.)g(Ra)n (y\014eld,)f(Item)f(75,)j(and)e(M.)h(Beeler,)i(Item)c(76,)i(in)g(M.)g (Beeler,)h(R.W.)f(Gosp)r(er,)h(and)e(R.)140 3964 y(Sc)n(hro)r(epp)r (el,)g(Eds.,)g Fa(HAKMEM.)f Fq(MIT)h(Arti\014cial)g(In)n(telligence)h (Lab)r(oratory)f(Memo)g(AIM-239)g(\(1972\))h(28{29.)38 4055 y(4.)43 b(Chapter)25 b(23)i(in)e(E.R.)i(Berlek)l(amp,)e(J.H.)h (Con)n(w)n(a)n(y)-6 b(,)26 b(and)g(R.K.)f(Guy)-6 b(,)25 b Fa(Winning)i(Ways.)e Fq(Academic)g(Press,)i(1982.)38 4146 y(5.)43 b(J.)26 b(Beasley)-6 b(,)27 b Fa(The)h(Ins)f(and)h(Outs)g (of)g(Pe)l(g)g(Solitair)l(e.)d Fq(Oxford)h(Univ)n(ersit)n(y)e(Press,)j (1985.)38 4237 y(6.)43 b(R.K.)26 b(Guy)-6 b(,)25 b(\\Unsolv)n(ed)h (problems)f(in)h(com)n(binatorial)h(games.")g(In)e(R.J.)i(No)n(w)n(ak)n (o)n(wski,)g(Ed.,)g Fa(Games)h(of)g(No)g(Chanc)l(e.)f Fq(Cam-)140 4329 y(bridge)e(Univ)n(ersit)n(y)g(Press,)i(1998.)38 4420 y(7.)43 b(E.)30 b(Chang,)g(S.J.)g(Phillips)h(and)e(J.D.)h(Ullman,) f(\\A)h(programming)e(and)h(problem)g(solving)h(seminar.")g(Stanford)g (Univ)n(ersit)n(y)140 4511 y(T)-6 b(ec)n(hnical)26 b(Rep)r(ort)f (CS-TR-91-1350,)j(F)-6 b(ebruary)24 b(1991.)k(Av)l(ailable)e(from)f Fp(http://elib.stanford.edu)38 4602 y Fq(8.)43 b(Z.)25 b(Manna,)i Fa(Mathematic)l(al)h(The)l(ory)h(of)e(Computation.)g Fq(McGra)n(w-Hill,)g(1974.)38 4693 y(9.)43 b(B.)32 b(Ra)n(vikumar,)f (\\P)n(eg-solitaire,)k(string)e(rewriting)g(systems)e(and)h(\014nite)f (automata.")i Fa(Pr)l(o)l(c.)h(8th)g(Int.)f(Symp.)g(A)n(lgorithms)140 4784 y(and)28 b(Computation,)e Fq(Lecture)g(Notes)f(in)h(Computer)f (Science)h Fo(1350)p Fq(,)h(Springer)e(\(1997\))i(233{242.)0 4875 y(10.)43 b(J.E.)20 b(Hop)r(croft)g(and)f(J.D.)h(Ullman,)f Fa(Intr)l(o)l(duction)k(to)f(A)n(utomata)h(The)l(ory,)g(L)l(anguages,)g (and)f(Computation.)e Fq(Addison-W)-6 b(esley)g(,)140 4967 y(1979.)0 5058 y(11.)43 b(R.)25 b(Uehara)h(and)f(S.)h(Iw)n(ata,)g (\\Generalized)i(Hi-Q)d(is)h(NP-complete.")f Fa(T)-6 b(r)l(ans)29 b(IEICE)d(73)p Fq(.)0 5149 y(12.)43 b(W.S.)25 b(Sizer,)i(\\Mathematical)g(notions)f(in)f(preliterate)i(so)r (cieties.")h Fa(Mathematic)l(al)h(Intel)t(ligenc)l(er)d Fo(13)g Fq(\(1991\))h(53{59.)0 5240 y(13.)43 b(R.J.)26 b(P)n(arikh,)g(\\On)f(con)n(text-free)h(languages.")i Fa(Journal)g(of)f(the)i(A)n(CM)c Fo(13)h Fq(\(1966\))h(570{581.)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF