(original) (raw)

%!PS-Adobe-2.0 %%Creator: dvips by Radical Eye Software %%Title: gardner.dvi %%Pages: 3 1 %%BoundingBox: 0 0 612 792 %%EndComments %%BeginDocument: tex.pro /TeXDict 200 dict def TeXDict begin /bdf{bind def}def /bop-aux{}bdf /@rigin{ /@page-height exch def /@page-width exch def 72 Resolution div dup neg scale translate}bdf /@letter{Resolution dup -10 mul 8.5 11 @rigin}bdf /@landscape{[ 0 1 -1 0 0 0]concat Resolution dup 8.5 11 @rigin}bdf /@a4{Resolution dup -10.6929133858 mul 21 2.54 div 29.7 2.54 div @rigin}bdf /@legal{Resolution dup -13 mul 8.5 14 @rigin}bdf /@11x17{statusdict /11x17tray known{statusdict begin 11x17tray end}if Resolution dup -16 mul 11 17 @rigin}bdf /@manualfeed{ statusdict /manualfeed true put}bdf /@copies{/#copies exch def}bdf /@draft{ /bop-aux{gsave initmatrix 72 dup scale @page-width 2 div @page-height 2 div translate @page-height @page-width atan rotate /Helvetica-Bold findfont 2 scalefont setfont(DRAFT)dup stringwidth pop 2 div neg -1 moveto .95 setgray show grestore}bdf}bdf /@FontMatrix[1 0 0 -1 0 0]def /@FontBBox[0 0 0 0]def /dmystr(ZZf@@@)def /newname{dmystr cvn}bdf /df{/fontname exch def dmystr 2 fontname cvx(@@@@)cvs putinterval newname 7 dict def newname load begin /FontType 3 def /FontMatrix @FontMatrix def /FontBBox @FontBBox def /BitMaps 256 array def /BuildChar{CharBuilder}def /Encoding IdentityEncoding def end fontname{/foo setfont}2 array copy cvx def fontname load 0 dmystr 6 string copy cvn cvx put}bdf /dfe{newname dup load definefont setfont}bdf /ch-image{ ch-data 0 get}bdf /ch-width{ch-data 1 get}bdf /ch-height{ch-data 2 get}bdf /ch-xoff{ch-data 3 get}bdf /ch-yoff{ch-data 4 get}bdf /ch-dx{ch-data 5 get} bdf /CharBuilder{save 3 1 roll exch /BitMaps get exch get /ch-data exch def ch-data null ne{ch-dx 0 ch-xoff ch-yoff neg ch-xoff ch-width add ch-height ch-yoff sub setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-height ch-yoff sub .1 add]{ch-image}imagemask}if restore}bdf /dc{/ch-code exch def /ch-data exch def newname load /BitMaps get ch-code ch-data put}bdf /bop{gsave /SaveImage save def /bop-aux load exec 0 0 moveto}bdf /eop{clear SaveImage restore showpage grestore}bdf /@start{/Resolution exch def /IdentityEncoding 256 array def 0 1 255{IdentityEncoding exch 1 string dup 0 3 index put cvn put}for}bdf /p{show}bdf /RuleMatrix[1 0 0 -1 -.1 -.1]def /BlackDots 8 string def /v{gsave currentpoint translate false RuleMatrix{ BlackDots}imagemask grestore}bdf /a{moveto}bdf /delta 0 def /tail{dup /delta exch def 0 rmoveto}bdf /b{exch show tail}bdf /c{show delta 4 sub tail}bdf /d{ show delta 3 sub tail}bdf /e{show delta 2 sub tail}bdf /f{show delta 1 sub tail}bdf /g{show delta 0 rmoveto}bdf /h{show delta 1 add tail}bdf /i{show delta 2 add tail}bdf /j{show delta 3 add tail}bdf /k{show delta 4 add tail} bdf /l{show -4 0 rmoveto}bdf /m{show -3 0 rmoveto}bdf /n{show -2 0 rmoveto} bdf /o{show -1 0 rmoveto}bdf /q{show 1 0 rmoveto}bdf /r{show 2 0 rmoveto}bdf /s{show 3 0 rmoveto}bdf /t{show 4 0 rmoveto}bdf /w{0 rmoveto}bdf /x{0 exch rmoveto}bdf /y{3 2 roll show moveto}bdf /bos{/section save def}bdf /eos{clear section restore}bdf end %%EndDocument %%BeginDocument: special.pro TeXDict begin /SDict 200 dict def SDict begin /@SpecialDefaults{/hs 612 def /vs 792 def /ho 0 def /vo 0 def /hsc 1 def /vsc 1 def /ang 0 def /CLIP false def /BBcalc false def}bdf /@scaleunit 1 def /@hscale{@scaleunit div /hsc exch def}bdf /@vscale{@scaleunit div /vsc exch def}bdf /@hsize{/hs exch def /CLIP true def}bdf /@vsize{/vs exch def /CLIP true def}bdf /@hoffset{/ho exch def} bdf /@voffset{/vo exch def}bdf /@angle{/ang exch def}bdf /@rwi{10 div /rwi exch def}bdf /@llx{/llx exch def}bdf /@lly{/lly exch def}bdf /@urx{/urx exch def}bdf /@ury{/ury exch def /BBcalc true def}bdf end /@MacSetUp{userdict /md known{userdict /md get type /dicttype eq{md begin /letter{}def /note{}def /legal{}def /od{txpose 1 0 mtx defaultmatrix dtransform exch atan/pa exch def newpath clippath mark{transform{itransform moveto}}{transform{itransform lineto}}{6 -2 roll transform 6 -2 roll transform 6 -2 roll transform{ itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll curveto}}{{ closepath}}pathforall newpath counttomark array astore /gc xdf pop ct 39 0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack}if}def /txpose{pxs pys scale ppr aload pop por{noflips{pop exch neg exch translate pop 1 -1 scale}if xflip yflip and{pop exch neg exch translate 180 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg translate}if xflip yflip not and{pop exch neg exch translate pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0 translate}if yflip xflip not and{ppr 1 get neg ppr 0 get neg translate} if}{noflips{translate pop pop 270 rotate 1 -1 scale}if xflip yflip and{ translate pop pop 90 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg translate}if xflip yflip not and{translate pop pop 90 rotate ppr 3 get ppr 1 get neg sub neg 0 translate}if yflip xflip not and{ translate pop pop 270 rotate ppr 2 get ppr 0 get neg sub neg 0 exch translate} if}ifelse scaleby96{ppr aload pop 4 -1 roll add 2 div 3 1 roll add 2 div 2 copy translate .96 dup scale neg exch neg exch translate}if}def /cp{pop pop showpage pm restore}def end}if}if}def /psf$TeXscale{65536 div}def /startTexFig {/psf$SavedState save def userdict maxlength dict begin Resolution 72 div dup neg scale currentpoint translate /psf$ury exch psf$TeXscale def /psf$urx exch psf$TeXscale def /psf$lly exch psf$TeXscale def /psf$llx exch psf$TeXscale def /psf$y exch psf$TeXscale def /psf$x exch psf$TeXscale def currentpoint /psf$cy exch def /psf$cx exch def /psf$sx psf$x psf$urx psf$llx sub div def /psf$sy psf$y psf$ury psf$lly sub div def psf$sx psf$sy scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub translate /showpage{}def /erasepage{ }def /copypage{}def @MacSetUp}def /doclip{psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2 roll moveto 6 -1 roll exch lineto exch lineto exch lineto closepath clip newpath moveto}def /endTexFig{end psf$SavedState restore}def /@beginspecial{SDict begin /SpecialSave save def Resolution 72 div dup neg scale currentpoint translate @SpecialDefaults}bdf /@setspecial{CLIP{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto closepath clip}{initclip}ifelse ho vo translate hsc vsc scale ang rotate BBcalc{rwi urx llx sub div dup scale llx neg lly neg translate}if /showpage{}def newpath}bdf /@endspecial{clear SpecialSave restore end}bdf /@defspecial{SDict begin}bdf /@fedspecial{end}bdf /li{lineto}bdf /rl{rlineto} bdf /rc{rcurveto}bdf /np{/SaveX currentpoint /SaveY exch def def newpath}bdf /st{stroke SaveX SaveY moveto}bdf /fil{fill SaveX SaveY moveto}bdf /ellipse{ /endangle exch def /startangle exch def /yrad exch def /xrad exch def /savematrix matrix currentmatrix def translate xrad yrad scale 0 0 1 startangle endangle arc savematrix setmatrix}bdf end %%EndDocument TeXDict begin 300 @start /fa df[<07FFF00000E01C0000E0060000E0070000E0070001C0 070001C0070001C0070001C00E0003801C000380700003FF80000380E000070070000700380007 003800070038000E0070000E0070000E0070800E0070801C003100FF801E00>25 23 1 0 27] 82 dc dfe /fb df[<800002C0000660000C3000181800300C00600600C003018001830000C600 006C00003800003800006C0000C6000183000301800600C00C006018003030001860000CC00006 800002>23 24 8 0 39]2 dc[30 39 4 7 39]21 dc[<000003E000000FF000003FF8000043 F80001C1F8000380F8000700F0000700E0000E00C0001E0000001E0000003C0000003C0000003C 000000780000007800000078000000F0000000F0000000F0000001F0000001E0000001E0000001 E0000003C0000003C0000003C00000078000000700000C0700001C0FFC00381FFF80701FFFF060 387FFFC0600FFF00C001FC00>30 36 1 1 34]76 dc dfe /fc df[<001F8000FFE003F07007C0 F00F01F81F01F83E01F83E01F87E00F07C00007C0000FC0800FC7FC0FCFFE0FD80F0FF00F8FE00 7CFE007CFC007EFC007EFC007EFC007E7C007E7C007E7C007E3C007C3E007C1E00F80F00F00783 E003FFC000FF00>23 32 2 0 28]54 dc[<00FE0003FFC00703E00E00F01C00F01C00783C0078 3E00783F00783F80783FE0F01FF9E01FFFC00FFF8007FFC003FFE007FFF01E7FF83C1FFC7807FC 7801FEF000FEF0003EF0001EF0001EF0001CF8001C7800383C00381F01F00FFFC001FF00>23 32 2 0 28]56 dc[<387CFEFEFE7C380000000000000000387CFEFEFE7C38>7 22 4 0 16]58 dc[< FFFFFE0000FFFFFFC00007F007F00007F001F80007F000FC0007F0007E0007F0007F0007F0007F 0007F0007F0007F0007F0007F0007F0007F0007F0007F0007E0007F000FC0007F001F80007F007 F00007FFFFC00007FFFF800007F00FE00007F007F00007F003F80007F001FC0007F001FC0007F0 01FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0607F000FE0607 F000FF0CFFFF803FF8FFFF800FF0>39 34 2 0 42]82 dc[<7FFFFFFF807FFFFFFF807E03F80F 807803F807807003F803806003F80180E003F801C0E003F801C0C003F800C0C003F800C0C003F8 00C0C003F800C00003F800000003F800000003F800000003F800000003F800000003F800000003 F800000003F800000003F800000003F800000003F800000003F800000003F800000003F8000000 03F800000003F800000003F800000003F800000003F800000003F8000003FFFFF80003FFFFF800 >34 34 2 0 39]84 dc[<00FF8007FFE00F83F01F03F03E03F07E03F07C01E07C0000FC0000FC 0000FC0000FC0000FC0000FC00007C00007E00007E00003E00301F00600FC0E007FF8000FE00> 20 22 2 0 25]99 dc[<00FE0007FF800F87C01E01E03E01F07C00F07C00F8FC00F8FC00F8FFFF F8FFFFF8FC0000FC0000FC00007C00007C00007E00003E00181F00300FC07003FFC000FF00>21 22 2 0 26]101 dc[<003F8000FFC001E3E003C7E007C7E00F87E00F83C00F80000F80000F8000 0F80000F80000F8000FFFC00FFFC000F80000F80000F80000F80000F80000F80000F80000F8000 0F80000F80000F80000F80000F80000F80000F80000F80000F80000F80007FF8007FF800>19 35 1 0 17]102 dc[26 35 2 0 31] 104 dc[43 22 2 0 48]109 dc[26 22 2 0 31]110 dc[<00FE0007FFC00F83E01E00F03E00F87C007C7C007C7C007CFC007E FC007EFC007EFC007EFC007EFC007EFC007E7C007C7C007C3E00F81F01F00F83E007FFC000FE00 >23 22 2 0 28]111 dc[19 22 2 0 23]114 dc[<0FF3003FFF00781F00600700E00300E00300F00300FC00007FE0007F F8003FFE000FFF0001FF00000F80C00780C00380E00380E00380F00700FC0E00EFFC00C7F000> 17 22 2 0 22]115 dc dfe /fd df[<007E0001C1800301800703C00E03C00E01800E00000E00 000E00000E00000E0000FFFFC00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01 C00E01C00E01C00E01C00E01C00E01C00E01C00E01C07F87F8>21 29 0 0 23]12 dc[<60F0F0 701010101020204080>4 12 4 8 12]44 dc[<60F0F060>4 4 4 0 12]46 dc[<030007003F00 C70007000700070007000700070007000700070007000700070007000700070007000700070007 000700070007000F80FFF8>13 28 4 0 21]49 dc[<07E01830201C201C781E780E781E381E00 1C001C00180030006007E00030001C001C000E000F000F700FF80FF80FF80FF00E401C201C1830 07E0>16 29 2 1 21]51 dc[<300C3FF83FF03FC020002000200020002000200023E024302818 301C200E000E000F000F000F600FF00FF00FF00F800E401E401C2038187007C0>16 29 2 1 21] 53 dc[<4000007FFF807FFF007FFF004002008004008004008008000010000010000020000060 0000400000C00000C00001C0000180000180000380000380000380000380000780000780000780 00078000078000078000030000>17 29 2 1 21]55 dc[<03C00C301818300C700C600EE006E0 06E007E007E007E007E0076007700F300F18170C2707C700060006000E300C780C781870102030 30C00F80>16 29 2 1 21]57 dc[<000600000006000000060000000F0000000F0000000F0000 0017800000178000001780000023C0000023C0000023C0000041E0000041E0000041E0000080F0 000080F0000180F8000100780001FFF80003007C0002003C0002003C0006003E0004001E000400 1E000C001F001E001F00FF80FFF0>28 29 1 0 31]65 dc[27 28 2 0 32]68 dc[<001F808000E06180 01801980070007800E0003801C0003801C00018038000180780000807800008070000080F00000 00F0000000F0000000F0000000F0000000F0000000F000FFF0F0000F8070000780780007807800 0780380007801C0007801C0007800E00078007000B800180118000E06080001F8000>28 30 2 1 33]71 dc[<1FFF00F8007800780078007800780078007800780078007800780078007800780078 00780078007800787078F878F878F878F0F040E021C01F00>16 29 1 1 21]74 dc[33 28 2 0 38]77 dc[<003F800000E0E00003 80380007001C000E000E001C0007003C00078038000380780003C0780003C0700001C0F00001E0 F00001E0F00001E0F00001E0F00001E0F00001E0F00001E0F00001E0700001C0780003C0780003 C0380003803C0007801C0007000E000E0007001C000380380000E0E000003F8000>27 30 2 1 32]79 dc[<07E0801C1980300580700380600180E00180E00080E00080E00080F00000F800007C 00007FC0003FF8001FFE0007FF0000FF80000F800007C00003C00001C08001C08001C08001C0C0 0180C00180E00300D00200CC0C0083F800>18 30 2 1 23]83 dc[7 41 4 10 12]91 dc[7 41 0 10 12]93 dc[<1FC000307000783800781C00301C00001C00001C0001FC00 0F1C00381C00701C00601C00E01C40E01C40E01C40603C40304E801F8700>18 18 2 0 21]97 dc[19 29 1 0 23]98 dc[<07E00C301878307870306000E000E000E0 00E000E000E00060007004300418080C3007C0>14 18 2 0 18]99 dc[<003F00000700000700 00070000070000070000070000070000070000070000070003E7000C1700180F00300700700700 600700E00700E00700E00700E00700E00700E00700600700700700300700180F000C370007C7E0 >19 29 2 0 23]100 dc[<03E00C301818300C700E6006E006FFFEE000E000E000E00060007002 300218040C1803E0>15 18 1 0 18]101 dc[<00F8018C071E061E0E0C0E000E000E000E000E00 0E00FFE00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E007FE0> 15 29 0 0 13]102 dc[20 29 1 0 23]104 dc[<18003C003C001800 0000000000000000000000000000FC001C001C001C001C001C001C001C001C001C001C001C001C 001C001C001C001C00FF80>9 29 1 0 12]105 dc[19 29 1 0 22] 107 dc[9 29 1 0 12]108 dc[33 18 1 0 36]109 dc[20 18 1 0 23]110 dc[<03F0000E1C00180600300300700380600180E001C0E001C0E001C0E001C0E001C0 E001C06001807003803003001806000E1C0003F000>18 18 1 0 21]111 dc[19 26 1 8 23] 112 dc[13 18 1 0 16]114 dc[<1F9030704030C010C010E010F8007F803FE00FF000F880388018C0 18C018E010D0608FC0>13 18 1 0 16]115 dc[<04000400040004000C000C001C003C00FFE01C 001C001C001C001C001C001C001C001C001C101C101C101C101C100C100E2003C0>12 26 1 0 16]116 dc[20 18 1 0 23]117 dc[19 18 1 0 22]118 dc[19 26 1 8 22]121 dc[<7FFC70386038407040 F040E041C003C0038007000F040E041C043C0C380870087038FFF8>14 18 1 0 18]122 dc dfe /fe df[<0C001C00EC000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C 00FFC0>10 19 3 0 17]49 dc dfe /ff df[<00000FE0000030180000E01C0001C03C0001803C 0003803800038000000380000007000000070000000700000007000000070000000E000000FFFF E0000E00E0000E00E0000E01C0001C01C0001C01C0001C01C0001C0380001C0380003803800038 03800038070000380700003807000070070800700E1000700E1000700E1000700E2000E0062000 E003C000E0000000E0000000C0000001C0000001C0000071800000F1800000F300000062000000 3C000000>30 45 -2 10 27]12 dc[<60F070703818180C04>6 9 14 -26 25]18 dc[<0E1E1E 1E1E02020404080810204080>7 15 3 10 15]44 dc[12 3 4 -9 17]45 dc[< 70F8F8F0E0>5 5 6 0 15]46 dc[<0000030000000300000007000000070000000F0000000F00 00001F0000002F0000002F0000004F0000004F8000008780000087800001078000020780000207 8000040780000407800008078000080780001007800030078000200780007FFF80004007C00080 07C0008003C0010003C0030003C0020003C0040003C0040003C00C0003C03C0007C0FF003FFC> 30 35 3 0 36]65 dc[<00FFFFE0000F0038000F001C000F001E001E000E001E000F001E000F00 1E000F003C000E003C001E003C001E003C003C00780078007800F0007801E00078078000FFFF80 00F001E000F000F000F0007801E0007801E0003801E0003C01E0003C03C0007803C0007803C000 7803C000F0078000F0078001E0078003C0078007000F801E00FFFFF000>32 34 3 0 34]66 dc[ <00FFFFF000000F003C00000F000E00000F000700001E000380001E000380001E0001C0001E00 01C0003C0001C0003C0001E0003C0001E0003C0001E000780001E000780001E000780001E00078 0001E000F00003C000F00003C000F00003C000F00003C001E000078001E000078001E000070001 E0000F0003C0000E0003C0001C0003C0003C0003C00038000780007000078000E000078001C000 07800700000F801C0000FFFFF00000>35 34 3 0 37]68 dc[<00FFFFFF80000F000780000F00 0180000F000180001E000180001E000180001E000100001E000100003C000100003C000100003C 010100003C01000000780200000078020000007806000000780E000000FFFC000000F00C000000 F00C000000F00C000001E008000001E008000001E008040001E000080003C000080003C0000800 03C000100003C000100007800020000780006000078000C000078001C0000F8007C000FFFFFF80 00>33 34 3 0 33]69 dc[<00FFFFFF000F000F000F0003000F0003001E0003001E0003001E00 02001E0002003C0002003C0002003C0102003C010000780200007802000078060000780E0000FF FC0000F00C0000F00C0000F00C0001E0080001E0080001E0080001E0000003C0000003C0000003 C0000003C00000078000000780000007800000078000000F800000FFFC0000>32 34 3 0 32] 70 dc[<00FFF87FFC000F000780000F000780000F000780001E000F00001E000F00001E000F00 001E000F00003C001E00003C001E00003C001E00003C001E000078003C000078003C000078003C 000078003C0000FFFFF80000F000780000F000780000F000780001E000F00001E000F00001E000 F00001E000F00003C001E00003C001E00003C001E00003C001E000078003C000078003C0000780 03C000078003C0000F8007C000FFF87FFC00>38 34 3 0 36]72 dc[<00FF800007FC000F8000 0F80000F80001780000F80001780001780002F000013C0002F000013C0004F000013C0008F0000 23C0009E000023C0011E000023C0011E000023C0021E000043C0043C000043C0043C000043C008 3C000041E0083C000081E01078000081E02078000081E02078000081E04078000101E040F00001 01E080F0000101E100F0000101E100F0000200F201E0000200F201E0000200F401E0000200F801 E0000400F803C0000400F003C0000400F003C0000C00E003C0001E00C007C000FFC0C07FFC00> 46 34 3 0 44]77 dc[<00FFFFE0000F0038000F001E000F000E001E0007001E0007001E000700 1E0007003C000F003C000F003C000F003C001E0078001E0078003C00780078007800E000F003C0 00FFFE0000F0000000F0000001E0000001E0000001E0000001E0000003C0000003C0000003C000 0003C00000078000000780000007800000078000000F800000FFF80000>32 34 3 0 33]80 dc[ <0001F020000E0C40001802C0003001C0006001C000E0018000C0018001C0018001C0018003C0 010003C0010003C0000003C0000003E0000001F8000001FF000000FFE000007FF000001FF80000 03FC0000007C0000003C0000001E0000001E0000001E0020001C0020001C0020001C0020001800 6000380060003000700060007000C000C8018000C607000081FC0000>27 36 3 1 27]83 dc[< 1FFFFFF81E03C0381803C0183003C01820078018200780184007801040078010400F0010800F00 10800F0010000F0000001E0000001E0000001E0000001E0000003C0000003C0000003C0000003C 00000078000000780000007800000078000000F0000000F0000000F0000000F0000001E0000001 E0000001E0000001E0000003E00000FFFF0000>29 34 9 0 35]84 dc[<00F8C00185C00705C0 0E03800E03801C03803C0380380700780700780700780700F00E00F00E00F00E00F00E10F01C20 701C20703C20305C40308C400F0780>20 21 5 0 25]97 dc[<03C03F80038003800380070007 00070007000E000E000E000E001C001CF81D0C1E0E3C0638073807380F700F700F700F700FE01E E01EE01EE03CE038E038607060E031C01F00>16 35 5 0 22]98 dc[<007E0001C10003018007 03800E07801C07803C0000380000780000780000780000F00000F00000F00000F00000F0010070 0100700200300C001830000FC000>17 21 5 0 22]99 dc[<00003C0003F80000380000380000 380000700000700000700000700000E00000E00000E00000E00001C000F9C00185C00705C00E03 800E03801C03803C0380380700780700780700780700F00E00F00E00F00E00F00E10F01C20701C 20703C20305C40308C400F0780>22 35 5 0 25]100 dc[<00F803840E021C023C0238027804F0 18FFE0F000F000E000E000E000E000E002E0026004701830600F80>15 21 6 0 22]101 dc[<00 003E0000470000CF00018F00018600038000038000038000070000070000070000070000070000 0E0000FFF0000E00000E00000E00001C00001C00001C00001C00001C0000380000380000380000 380000380000700000700000700000700000700000E00000E00000E00000E00000C00001C00001 C000718000F18000F300006200003C0000>24 45 -2 10 15]102 dc[<001F180030B800E0B801 C07001C0700380700780700700E00F00E00F00E00F00E01E01C01E01C01E01C01E01C01E03800E 03800E0780060B8006170001E700000700000700000E00000E00000E00701C00F01800F0300060 E0003F8000>21 31 2 10 22]103 dc[<00F0000FE00000E00000E00000E00001C00001C00001 C00001C000038000038000038000038000070000071F0007218007C0C00F00E00F00E00E00E00E 00E01C01C01C01C01C01C01C01C0380380380380380380380704700708700E08700E10700610E0 06206003C0>22 35 3 0 25]104 dc[<00C001E001C001C0000000000000000000000000000000 001C002300430043008700870087000E000E001C001C001C003800380038407080708070807100 32001C00>11 33 5 0 15]105 dc[<00F0000FE00000E00000E00000E00001C00001C00001C000 01C0000380000380000380000380000700000701E0070210070C700E10F00E10F00E20600E4000 1D80001E00001FC0001C7000383800383800381C00381C20703840703840703840701880E01880 600F00>20 35 3 0 22]107 dc[<01E01FC001C001C001C0038003800380038007000700070007 000E000E000E000E001C001C001C001C0038003800380038007000700070007100E200E200E200 E20064003800>11 35 4 0 12]108 dc[<1C0F80F8002610C10C00476066060087807807008780 780700870070070087007007000E00E00E000E00E00E000E00E00E000E00E00E001C01C01C001C 01C01C001C01C01C001C01C0382038038038403803807040380380708038038030807007003100 3003001E00>35 21 5 0 40]109 dc[<1C0F002631C04740C08780E08780E08700E08700E00E01 C00E01C00E01C00E01C01C03801C03801C03801C0704380708380E08380E103806107006203003 C0>22 21 5 0 27]110 dc[<007E0001C3000381800701C00E01C01C01E03C01E03801E07801E0 7801E07801E0F003C0F003C0F00380F00780700700700E00700C0030180018700007C000>19 21 5 0 25]111 dc[<01C1F002621804741C08780C08700E08700E08701E00E01E00E01E00E01E00 E01E01C03C01C03C01C03C01C07803807003807003C0E003C1C0072380071E000700000700000E 00000E00000E00000E00001C00001C00001C0000FFC000>23 31 1 10 25]112 dc[<1C1F0026 20804741C08783C08703C08701808700000E00000E00000E00000E00001C00001C00001C00001C 0000380000380000380000380000700000300000>18 21 5 0 21]114 dc[<00FC000183000200 800401800C03800C03000C00000F00000FF00007FC0003FE00003E00000F00000700700700F006 00F00600E004004008002030001FC000>17 21 3 0 20]115 dc[<00C001C001C001C001C00380 0380038003800700FFF8070007000E000E000E000E001C001C001C001C00380038003800381070 2070207040708031001E00>13 31 4 0 16]116 dc[<1E00602300E04380E04381C08381C08701 C08701C00703800E03800E03800E03801C07001C07001C07001C07081C0E10180E101C0E101C1E 200C262007C3C0>21 21 5 0 26]117 dc[<1E03802307C04387C04383C08381C08700C08700C0 0700800E00800E00800E00801C01001C01001C01001C02001C02001C04001C08001C08000C3000 03C000>18 21 5 0 22]118 dc[<1E0060E02300E1F04380E1F04381C0F08381C0708701C03087 01C030070380200E0380200E0380200E0380201C0700401C0700401C0700401C0700801C070080 1C0701001C0F01000C0F020006138C0003E0F000>28 21 5 0 32]119 dc[<03C1E00462100834 70103CF02038F020386020380000700000700000700000700000E00000E00000E00000E02061C0 40F1C040F1C080E2C100446200383C00>20 21 3 0 22]120 dc[<1E00302300704380704380E0 8380E08700E08700E00701C00E01C00E01C00E01C01C03801C03801C03801C03801C07001C0700 1C07001C0F000C3E0003CE00000E00000E00001C00601C00F03800F03000E0600080C000438000 3E0000>20 31 5 10 24]121 dc[<01E02003F06007F8C0041F80080100080200000400000800 0010000020000040000080000100000200000400800801001003003F060061FC0040F800807000 >19 21 3 0 20]122 dc dfe /fg df[<007FC003FF0007C000780007C000600005E000200009 E000400009E000400008F000400008F000400010F800800010780080001078008000103C008000 203C010000203E010000201E010000201E010000400F020000400F020000400F02000040078200 0080078400008007C400008003C400008003C400010001E800010001E800010001F800010000F8 00020000F0000200007000020000700006000070000F00002000FFE0002000>40 34 2 0 39] 78 dc[<007FFFF0000007801C000007800F000007800700000F000380000F000380000F000380 000F000380001E000780001E000780001E000780001E000F00003C000F00003C001E00003C003C 00003C007000007801E000007FFF00000078000000007800000000F000000000F000000000F000 000000F000000001E000000001E000000001E000000001E000000003C000000003C000000003C0 00000003C000000007C0000000FFFC000000>33 34 2 0 31]80 dc[<00007F00000381C0000E 0060003800380070003800E0001C01C0001E0380000E0700000E0F00000F0E00000F1E00000F3C 00000F3C00000F7800000F7800000F7800000FF000001EF000001EF000001EF000001CF000003C E000003CE0000078E0000078E00000F0E00000E0F00001E0F01E03C0702103807840870038408E 001C40B8000E40F00007C1C02000FE80200000802000018040000180C00001C0800001C3800001 FF000000FF000000FE0000007800>32 45 3 10 39]81 dc[<3C07E01F00461830618047201880 C087401D00E087801E00E087801C00E087001C00E00E003801C00E003801C00E003801C00E0038 01C01C007003801C007003801C007007001C007007043800E007083800E00E083800E00E083800 E006107001C006203000C003C0>38 21 2 0 43]109 dc[<03C0F004631C04740E08780E087007 08700708700F00E00F00E00F00E00F00E00F01C01E01C01E01C01E01C03C03803803803803C070 03C0E0072180071E000700000700000E00000E00000E00000E00001C00001C00001C0000FFC000 >24 31 -1 10 24]112 dc dfe /fh df[<07C018303018701C600C600CE00EE00EE00EE00EE0 0EE00EE00EE00EE00E600C600C701C30181C7007C0>15 21 1 0 18]48 dc[<03000700FF0007 0007000700070007000700070007000700070007000700070007000700070007007FF0>12 21 2 0 18]49 dc dfe /fi df[<001F83E000706E3000C07C780180F8780380F07807007000070070 0007007000070070000700700007007000070070000700700007007000FFFFFFC0070070000700 700007007000070070000700700007007000070070000700700007007000070070000700700007 007000070070000700700007007000070070000700700007007000070078007FE3FF80>29 35 0 0 28]11 dc[<001FC0000070200000C01000018038000380780007007800070030000700000007 0000000700000007000000070000000700000007000000FFFFF800070078000700380007003800 070038000700380007003800070038000700380007003800070038000700380007003800070038 000700380007003800070038000700380007003800070038007FE1FF80>25 35 0 0 27]12 dc[ <001FD8000070380000C078000180780003807800070038000700380007003800070038000700 380007003800070038000700380007003800FFFFF8000700380007003800070038000700380007 003800070038000700380007003800070038000700380007003800070038000700380007003800 07003800070038000700380007003800070038007FF3FF80>25 35 0 0 27]13 dc[<000FC07F 00007031C08000E00B004001801E00E003803E01E007003C01E007001C00C007001C000007001C 000007001C000007001C000007001C000007001C000007001C0000FFFFFFFFE007001C01E00700 1C00E007001C00E007001C00E007001C00E007001C00E007001C00E007001C00E007001C00E007 001C00E007001C00E007001C00E007001C00E007001C00E007001C00E007001C00E007001C00E0 07001C00E007001C00E07FF1FFCFFE>39 35 0 0 41]14 dc[8 9 5 -26 24]18 dc[<70F8FCFC7404040404080810102040>6 15 4 -20 14]39 dc[<002000400080 01000300060004000C000C00180018003000300030007000600060006000E000E000E000E000E0 00E000E000E000E000E000E000E000E000E0006000600060007000300030003000180018000C00 0C000400060003000100008000400020>11 50 4 13 19]40 dc[<800040002000100018000C00 0400060006000300030001800180018001C000C000C000C000E000E000E000E000E000E000E000 E000E000E000E000E000E000E000C000C000C001C0018001800180030003000600060004000C00 18001000200040008000>11 50 3 13 19]41 dc[<70F8FCFC7404040404080810102040>6 15 4 10 14]44 dc[11 2 1 -10 16]45 dc[<70F8F8F870>5 5 4 0 14]46 dc[<01F0 00071C000C06001803003803803803807001C07001C07001C07001C0F001E0F001E0F001E0F001 E0F001E0F001E0F001E0F001E0F001E0F001E0F001E0F001E0F001E0F001E07001C07001C07001 C07803C03803803803801C07000C0600071C0001F000>19 34 2 1 24]48 dc[<008003800F80 F38003800380038003800380038003800380038003800380038003800380038003800380038003 800380038003800380038003800380038007C0FFFE>15 33 4 0 24]49 dc[<03F0000C1C0010 07002007804003C04003C08003E0F003E0F801E0F801E0F801E02003E00003E00003C00003C000 0780000700000E00001C0000180000300000600000C00001800001000002002004002008002018 00603000403FFFC07FFFC0FFFFC0>19 33 2 0 24]50 dc[<03F8000C1E001007002007804007 C07807C07803C07807C03807C0000780000780000700000F00000E0000380003F000001C00000F 000007800007800003C00003C00003E02003E07003E0F803E0F803E0F003C04003C04007802007 80100F000C1C0003F000>19 34 2 1 24]51 dc[<1000801E07001FFF001FFE001FF80013E000 10000010000010000010000010000010000010F800130E001407001803801003800001C00001C0 0001E00001E00001E00001E07001E0F001E0F001E0E001C08001C04003C0400380200700100600 0C1C0003F000>19 34 2 1 24]53 dc[<007E0001C1000300800601C00E03C01C03C018018038 0000380000780000700000700000F0F800F30C00F40600F40300F80380F801C0F001C0F001E0F0 01E0F001E0F001E0F001E07001E07001E07001E03801C03801C01803801C03000C0600070C0001 F000>19 34 2 1 24]54 dc[<4000006000007FFFE07FFFC07FFFC0400080C001008001008002 0080020000040000080000080000100000300000200000600000600000600000E00000C00000C0 0001C00001C00001C00001C00003C00003C00003C00003C00003C00003C00003C00003C0000180 00>19 35 3 1 24]55 dc[<01F800060E000803001001802001802000C06000C06000C06000C0 7000C07801803E01003F02001FC4000FF80003F80003FC00067F00083F80100F803007C06001C0 6000E0C000E0C00060C00060C00060C000606000406000C03000801803000E0E0003F000>19 34 2 1 24]56 dc[<01F000060C000C0600180700380380700380700380F001C0F001C0F001C0F001 E0F001E0F001E0F001E0F001E07001E07003E03803E01805E00C05E00619E003E1E00001C00001 C00001C0000380000380300300780700780600700C002018001030000FC000>19 34 2 1 24] 57 dc[<70F8F8F870000000000000000000000070F8F8F870>5 21 4 0 14]58 dc[31 12 3 -6 38]61 dc[<0001800000018000000180000003C0000003C0000003C0 000005E0000005E000000DF0000008F0000008F0000010F800001078000010780000203C000020 3C0000203C0000401E0000401E0000401E0000800F0000800F0000FFFF00010007800100078003 0007C0020003C0020003C0040003E0040001E0040001E00C0000F00C0000F03E0001F8FF800FFF >32 35 2 0 37]65 dc[29 34 2 0 35]66 dc[<0007E0100038183000E0063001C00170038000F0070000F00E0000701E0000701C0000303C 0000303C0000307C0000107800001078000010F8000000F8000000F8000000F8000000F8000000 F8000000F8000000F800000078000000780000107C0000103C0000103C0000101C0000201E0000 200E000040070000400380008001C0010000E0020000381C000007E000>28 36 3 1 35]67 dc[31 34 2 0 37]68 dc[29 34 2 0 33]69 dc[27 34 2 0 32]70 dc[<0007F008003C0C1800E0021801C001B8038000F8070000780F00 00381E0000381E0000183C0000183C0000187C0000087800000878000008F8000000F8000000F8 000000F8000000F8000000F8000000F8000000F8001FFF780000F8780000787C0000783C000078 3C0000781E0000781E0000780F00007807000078038000B801C000B800E00318003C0C080007F0 00>32 36 3 1 38]71 dc[32 34 2 0 37] 72 dc[14 34 2 0 18]73 dc[<03FFF0001F00000F00000F00000F00000F00000F00000F00000F00000F00000F0000 0F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F0000 0F00000F00700F00F80F00F80F00F80E00F01E00401C0020380018700007C000>20 35 2 1 25] 74 dc[25 34 2 0 30]76 dc[40 34 2 0 45]77 dc[32 34 2 0 37]78 dc[27 34 2 0 33]80 dc[<03F0200C0C601802603001E07000E0600060E00060E00060E00020E00020E00020F00000F0 00007800007F00003FF0001FFE000FFF0003FF80003FC00007E00001E00000F00000F000007080 0070800070800070800070C00060C00060E000C0F000C0C80180C6070081FC00>20 36 3 1 27] 83 dc[<7FFFFFF87807807860078018400780084007800840078008C007800C80078004800780 048007800480078004000780000007800000078000000780000007800000078000000780000007 800000078000000780000007800000078000000780000007800000078000000780000007800000 078000000780000007800000078000000FC00003FFFF00>30 34 2 0 35]84 dc[47 35 1 1 50]87 dc[34 34 1 0 37]89 dc[7 49 5 12 14]91 dc[7 49 1 12 14]93 dc[<0FE0001838003C0C003C0E0018070000070000070000070000FF0007C700 1E07003C0700780700700700F00708F00708F00708F00F087817083C23900FC1E0>21 21 2 0 24]97 dc[<0E0000FE00001E00000E00000E00000E00000E00000E00000E00000E00000E00000E 00000E00000E00000E1F000E61C00E80600F00300E00380E003C0E001C0E001E0E001E0E001E0E 001E0E001E0E001E0E001E0E001C0E003C0E00380F00700C80600C41C0083F00>23 35 1 0 27] 98 dc[<01FE000703000C07801C0780380300780000700000F00000F00000F00000F00000F000 00F00000F000007000007800403800401C00800C010007060001F800>18 21 2 0 22]99 dc[< 0000E0000FE00001E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0 0000E001F8E00704E00C02E01C01E03800E07800E07000E0F000E0F000E0F000E0F000E0F000E0 F000E0F000E07000E07800E03800E01801E00C02E0070CF001F0FE>23 35 2 0 27]100 dc[<01 FC000707000C03801C01C03801C07801E07000E0F000E0FFFFE0F00000F00000F00000F00000F0 00007000007800203800201C00400E008007030000FC00>19 21 1 0 22]101 dc[<003C00C601 8F038F030F070007000700070007000700070007000700FFF80700070007000700070007000700 0700070007000700070007000700070007000700070007807FF8>16 35 0 0 15]102 dc[<0000 7001F198071E180E0E181C07001C07003C07803C07803C07803C07801C07001C07000E0E000F1C 0019F0001000001000001800001800001FFE000FFFC00FFFE03800F0600030400018C00018C000 18C000186000306000303800E00E038003FE00>21 33 1 11 24]103 dc[<0E0000FE00001E00 000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E1F800E60 C00E80E00F00700F00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00 700E00700E00700E00700E00700E0070FFE7FF>24 35 1 0 27]104 dc[<1C001E003E001E001C 00000000000000000000000000000000000E00FE001E000E000E000E000E000E000E000E000E00 0E000E000E000E000E000E000E000E000E00FFC0>10 34 1 0 14]105 dc[<01C003E003E003E0 01C00000000000000000000000000000000001E00FE001E000E000E000E000E000E000E000E000 E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E060E0F0C0F1806180 3E00>11 44 -2 10 15]106 dc[<0E0000FE00001E00000E00000E00000E00000E00000E00000E 00000E00000E00000E00000E00000E00000E03FC0E01F00E01C00E01800E02000E04000E08000E 10000E38000EF8000F1C000E1E000E0E000E07000E07800E03C00E01C00E01E00E00F00E00F8FF E3FE>23 35 1 0 26]107 dc[<0E00FE001E000E000E000E000E000E000E000E000E000E000E00 0E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E 000E00FFE0>11 35 1 0 14]108 dc[<0E1FC07F00FE60E183801E807201C00F003C00E00F003C 00E00E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00E00 3800E00E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00E003800E0FF E3FF8FFE>39 21 1 0 42]109 dc[<0E1F80FE60C01E80E00F00700F00700E00700E00700E0070 0E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E0070FFE7FF >24 21 1 0 27]110 dc[<01FC000707000C01801800C03800E0700070700070F00078F00078F0 0078F00078F00078F00078F000787000707800F03800E01C01C00E038007070001FC00>21 21 1 0 24]111 dc[<0E1F00FE61C00E80600F00700E00380E003C0E001C0E001E0E001E0E001E0E00 1E0E001E0E001E0E001E0E003C0E003C0E00380F00700E80E00E41C00E3F000E00000E00000E00 000E00000E00000E00000E00000E00000E0000FFE000>23 31 1 10 27]112 dc[<01F8200704 600E02601C01603801E07800E07800E0F000E0F000E0F000E0F000E0F000E0F000E0F000E07000 E07800E03801E01C01E00C02E0070CE001F0E00000E00000E00000E00000E00000E00000E00000 E00000E00000E0000FFE>23 31 2 10 26]113 dc[<0E3CFE461E8F0F0F0F060F000E000E000E 000E000E000E000E000E000E000E000E000E000E000F00FFF0>16 21 1 0 19]114 dc[<0F8830 786018C018C008C008E008F0007F803FE00FF001F8003C801C800C800CC00CC008E018D0308FC0 >14 21 2 0 19]115 dc[<02000200020002000600060006000E001E003E00FFF80E000E000E00 0E000E000E000E000E000E000E000E000E040E040E040E040E040E040708030801F0>14 31 1 0 19]116 dc[<0E0070FE07F01E00F00E00700E00700E00700E00700E00700E00700E00700E0070 0E00700E00700E00700E00700E00700E00F00E00F006017003827800FC7F>24 21 1 0 27]117 dc[23 21 1 0 26]118 dc[32 21 1 0 35]119 dc[23 21 1 0 26]120 dc[23 31 1 10 26]121 dc[<3F FFC0380380300780200700600E00401C00403C0040380000700000E00001E00001C00003804007 00400F00400E00C01C0080380080780180700780FFFF80>18 21 1 0 22]122 dc[23 1 0 -12 24]123 dc dfe /fj df[<0007F81F80003C067060007003E0F000E007C1F001C00FC1 F003C00F80E0078007804007800780000780078000078007800007800780000780078000078007 8000078007800007800780000780078000FFFFFFFF00FFFFFFFF00078007800007800780000780 078000078007800007800780000780078000078007800007800780000780078000078007800007 800780000780078000078007800007800780000780078000078007800007800780000780078000 078007800007800780000780078000078007C000FFF87FFE00FFF87FFE00>36 42 1 0 35]11 dc[40 41 2 0 46]68 dc[<03FFFF03FFFF0007E00003E00003E000 03E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E000 03E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E030 03E07803E0FC03E0FC03E0FC03C0F807C0400780200F00300E000C3C0003F000>24 42 3 1 31] 74 dc[32 41 2 0 37]76 dc[<00FE010003FF83000F81E3001E003700 3C001F0038000F007800070070000700F0000300F0000300F0000300F0000100F8000100F80001 00FC0000007C0000007F0000003FE000001FFF00000FFFE00007FFF80003FFFC00007FFE000007 FF0000007F0000001F8000000F80000007C0000007C0800003C0800003C0800003C0800003C0C0 0003C0C0000380C0000380E0000780F0000700F8000E00EE001C00C3C07800C1FFF000803FC000 >26 43 3 1 33]83 dc[<01FC00000E0780001001C0003C00E0003E00F0003E0078001C007800 08007800000078000000780000007800007FF80003E078000F8078001F0078003E0078007C0078 0078007820F8007820F8007820F8007820F800F8207C00F8203C013C401F063FC007F80F00>27 26 2 0 30]97 dc[<007E0003C3800700E00E00F01C00703C00783C003878003C78003CF8003C F8003CFFFFFCF80000F80000F80000F80000F800007800007C00003C00043C00041E00080E0010 07002001C0C0007F00>22 26 2 0 27]101 dc[<0000078001FC1840070721C00E03C1C01E03C0 803C01E0003C01E0007C01F0007C01F0007C01F0007C01F0007C01F0003C01E0003C01E0001E03 C0000E0380001707000011FC0000300000003000000030000000380000001C0000001FFFC0000F FFF80007FFFC001C003E0030000F007000070060000380E0000380E0000380E0000380E0000380 700007007000070038000E000C0018000780F00000FF8000>26 40 2 13 30]103 dc[<07000F 801F801F800F80070000000000000000000000000000000000000007807F807F800F8007800780 078007800780078007800780078007800780078007800780078007800780078007800780FFF8FF F8>13 41 1 0 17]105 dc[<0780FF80FF800F8007800780078007800780078007800780078007 800780078007800780078007800780078007800780078007800780078007800780078007800780 0780078007800780078007800780FFFCFFFC>14 42 1 0 17]108 dc[<0783F800FF8C1C00FF90 0E000FA0070007A0078007C0078007C00780078007800780078007800780078007800780078007 800780078007800780078007800780078007800780078007800780078007800780078007800780 0780078007800780FFFCFFFCFFFCFFFC>30 26 1 0 33]110 dc[<007F000001C1C00007007000 0E0038001C001C003C001E003C001E0078000F0078000F00F8000F80F8000F80F8000F80F8000F 80F8000F80F8000F80F8000F80F8000F8078000F0078000F003C001E003C001E001E003C000E00 38000700700001C1C000007F0000>25 26 2 0 30]111 dc[<0787C0FF98E0FF91F00FA1F007C1 F007C0E007C0000780000780000780000780000780000780000780000780000780000780000780 0007800007800007800007800007800007C000FFFE00FFFE00>20 26 1 0 23]114 dc[<07F840 1C06C03001C06000C06000C0E00040E00040F00040F800007E00007FF0003FFE000FFF0003FF80 003FC00007C08001E08001E0C000E0C000E0C000E0E000C0F001C0F80180C4070083F800>19 26 2 0 24]115 dc[<0080000080000080000080000180000180000180000380000380000780000F 80001FFF80FFFF8007800007800007800007800007800007800007800007800007800007800007 800007800007800007804007804007804007804007804007804007804003C08001C08000E10000 3E00>18 37 1 0 23]116 dc[29 38 1 12 32]121 dc dfe /fk df[12 13 7 -37 33]18 dc[<00FF000703C00800F01000782000 7C40003C40003EF0003EF8003EF8003EF8003E70003E00003C00007C0000780000F80000F00001 C0000380000300000700000600000C00000C000008000018000010000010000010000010000010 000010000010000010000010000010000000000000000000000000000000000000000000000000 0000780000FC0000FC0000FC0000FC00007800>23 50 4 0 31]63 dc[42 49 4 0 50]72 dc[53 49 4 0 61]77 dc[66 50 1 1 68]87 dc[<003F800000E0E0000380380007003C000E001E00 1E001E001C000F003C000F007C000F0078000F8078000780F8000780F8000780FFFFFF80F80000 00F8000000F8000000F8000000F8000000F8000000780000007C0000003C0000003C0000801E00 00800E0001000F0002000780020001C00C0000F03000001FC000>25 31 2 0 29]101 dc[<0780 000000FF80000000FF800000000F80000000078000000007800000000780000000078000000007 800000000780000000078000000007800000000780000000078000000007800000000780000000 0780000000078000000007800000000780FE00000783078000078C03C000079001E00007A001E0 0007A000F00007C000F00007C000F000078000F000078000F000078000F000078000F000078000 F000078000F000078000F000078000F000078000F000078000F000078000F000078000F0000780 00F000078000F000078000F000078000F000078000F000078000F000078000F000078000F0000F C001F800FFFC1FFF80FFFC1FFF80>33 50 2 0 37]104 dc[<07000F801F801F800F8007000000 00000000000000000000000000000000000000000780FF80FF800F800780078007800780078007 800780078007800780078007800780078007800780078007800780078007800780078007800FC0 FFF8FFF8>13 48 2 0 18]105 dc[<0780FE0000FF83078000FF8C03C0000F9001E00007A001E0 0007A000F00007C000F00007C000F000078000F000078000F000078000F000078000F000078000 F000078000F000078000F000078000F000078000F000078000F000078000F000078000F0000780 00F000078000F000078000F000078000F000078000F000078000F000078000F000078000F0000F C001F800FFFC1FFF80FFFC1FFF80>33 31 2 0 37]110 dc[<001FC00000F0780001C01C000700 07000F0007801E0003C01C0001C03C0001E03C0001E0780000F0780000F0780000F0F80000F8F8 0000F8F80000F8F80000F8F80000F8F80000F8F80000F8F80000F8780000F07C0001F03C0001E0 3C0001E01E0003C01E0003C00F00078007800F0001C01C0000F07800001FC000>29 31 2 0 33] 111 dc[<0783E0FF8C18FF907C0F907C07A07C07C03807C00007C00007C0000780000780000780 000780000780000780000780000780000780000780000780000780000780000780000780000780 000780000780000780000FC000FFFE00FFFE00>22 31 2 0 25]114 dc[<01FC100E03301800F0 300070600030E00030E00010E00010E00010F00010F800007E00003FF0001FFF000FFFC003FFE0 003FF00001F80000F880003C80003C80001CC0001CC0001CE0001CE00018F00038F00030CC0060 C301C080FE00>22 31 2 0 26]115 dc[46 31 1 0 48]119 dc[34 31 1 0 35]120 dc dfe end TeXDict begin @letter %%EndProlog %%Page: 1 1 bop 641 50 a fk(Who)22 b(wins)f(Mis)n(\022)-31 b(ere)22 b(Hex?)514 185 y fj (Je\013rey)d(Lagarias)129 b(Dann)n(y)20 b(Sleator)62 320 y fi(Hex)g(is)h(an)g (elegan)n(t)g(and)g(fun)g(game)f(that)h(w)o(as)h(\014rst)f(p)q(opularized)g (b)n(y)g(Martin)f(Gardner)1784 302 y fh(1)1805 320 y fi(.)34 b(Tw)o(o)0 380 y (pla)o(y)n(ers)17 b(alternate)h(placing)f(white)g(and)h(blac)n(k)g(stones)g (in)n(to)g(the)f(hexagons)h(of)g(an)g fg(N)23 b fi(b)o(y)17 b fg(N)23 b fi (rhom)m(bus)0 440 y(shap)r(ed)16 b(b)r(oard.)22 b(A)16 b(hexagon)h(ma)m(y)f (con)o(tain)g(at)h(most)e(one)i(stone.)473 1188 y @beginspecial 0 @llx 0 @lly 240 @urx 158 @ury 2400 @rwi @setspecial %%BeginDocument: hexboard2.ps gsave newpath 147 54 moveto 158 48 lineto 158 36 lineto 147 30 lineto 136 36 lineto 136 48 lineto closepath 0.825 setgray fill grestore gsave newpath 125 54 moveto 136 48 lineto 136 36 lineto 125 30 lineto 114 36 lineto 114 48 lineto closepath 0.825 setgray fill grestore gsave newpath 103 54 moveto 114 48 lineto 114 36 lineto 103 30 lineto 92 36 lineto 92 48 lineto closepath 0.825 setgray fill grestore gsave newpath 81 54 moveto 92 48 lineto 92 36 lineto 81 30 lineto 70 36 lineto 70 48 lineto closepath 0.825 setgray fill grestore gsave newpath 59 54 moveto 70 48 lineto 70 36 lineto 59 30 lineto 48 36 lineto 48 48 lineto closepath 0.825 setgray fill grestore gsave newpath 37 54 moveto 48 48 lineto 48 36 lineto 37 30 lineto 26 36 lineto 26 48 lineto closepath 0.825 setgray fill grestore gsave newpath 15 54 moveto 26 48 lineto 26 36 lineto 15 30 lineto 4 36 lineto 4 48 lineto closepath 0.825 setgray fill grestore gsave newpath 158 72 moveto 169 66 lineto 169 54 lineto 158 48 lineto 147 54 lineto 147 66 lineto closepath 0.825 setgray fill grestore gsave newpath 136 72 moveto 147 66 lineto 147 54 lineto 136 48 lineto 125 54 lineto 125 66 lineto closepath 0.825 setgray fill grestore gsave newpath 114 72 moveto 125 66 lineto 125 54 lineto 114 48 lineto 103 54 lineto 103 66 lineto closepath 0.825 setgray fill grestore gsave newpath 92 72 moveto 103 66 lineto 103 54 lineto 92 48 lineto 81 54 lineto 81 66 lineto closepath 0.825 setgray fill grestore gsave newpath 70 72 moveto 81 66 lineto 81 54 lineto 70 48 lineto 59 54 lineto 59 66 lineto closepath 0.825 setgray fill grestore gsave newpath 48 72 moveto 59 66 lineto 59 54 lineto 48 48 lineto 37 54 lineto 37 66 lineto closepath 0.825 setgray fill grestore gsave newpath 26 72 moveto 37 66 lineto 37 54 lineto 26 48 lineto 15 54 lineto 15 66 lineto closepath 0.825 setgray fill grestore gsave newpath 169 90 moveto 180 84 lineto 180 72 lineto 169 66 lineto 158 72 lineto 158 84 lineto closepath 0.825 setgray fill grestore gsave newpath 147 90 moveto 158 84 lineto 158 72 lineto 147 66 lineto 136 72 lineto 136 84 lineto closepath 0.825 setgray fill grestore gsave newpath 125 90 moveto 136 84 lineto 136 72 lineto 125 66 lineto 114 72 lineto 114 84 lineto closepath 0.825 setgray fill grestore gsave newpath 103 90 moveto 114 84 lineto 114 72 lineto 103 66 lineto 92 72 lineto 92 84 lineto closepath 0.825 setgray fill grestore gsave newpath 81 90 moveto 92 84 lineto 92 72 lineto 81 66 lineto 70 72 lineto 70 84 lineto closepath 0.825 setgray fill grestore gsave newpath 59 90 moveto 70 84 lineto 70 72 lineto 59 66 lineto 48 72 lineto 48 84 lineto closepath 0.825 setgray fill grestore gsave newpath 37 90 moveto 48 84 lineto 48 72 lineto 37 66 lineto 26 72 lineto 26 84 lineto closepath 0.825 setgray fill grestore gsave newpath 180 108 moveto 191 102 lineto 191 90 lineto 180 84 lineto 169 90 lineto 169 102 lineto closepath 0.825 setgray fill grestore gsave newpath 158 108 moveto 169 102 lineto 169 90 lineto 158 84 lineto 147 90 lineto 147 102 lineto closepath 0.825 setgray fill grestore gsave newpath 136 108 moveto 147 102 lineto 147 90 lineto 136 84 lineto 125 90 lineto 125 102 lineto closepath 0.825 setgray fill grestore gsave newpath 114 108 moveto 125 102 lineto 125 90 lineto 114 84 lineto 103 90 lineto 103 102 lineto closepath 0.825 setgray fill grestore gsave newpath 92 108 moveto 103 102 lineto 103 90 lineto 92 84 lineto 81 90 lineto 81 102 lineto closepath 0.825 setgray fill grestore gsave newpath 70 108 moveto 81 102 lineto 81 90 lineto 70 84 lineto 59 90 lineto 59 102 lineto closepath 0.825 setgray fill grestore gsave newpath 48 108 moveto 59 102 lineto 59 90 lineto 48 84 lineto 37 90 lineto 37 102 lineto closepath 0.825 setgray fill grestore gsave newpath 191 126 moveto 202 120 lineto 202 108 lineto 191 102 lineto 180 108 lineto 180 120 lineto closepath 0.825 setgray fill grestore gsave newpath 169 126 moveto 180 120 lineto 180 108 lineto 169 102 lineto 158 108 lineto 158 120 lineto closepath 0.825 setgray fill grestore gsave newpath 147 126 moveto 158 120 lineto 158 108 lineto 147 102 lineto 136 108 lineto 136 120 lineto closepath 0.825 setgray fill grestore gsave newpath 125 126 moveto 136 120 lineto 136 108 lineto 125 102 lineto 114 108 lineto 114 120 lineto closepath 0.825 setgray fill grestore gsave newpath 103 126 moveto 114 120 lineto 114 108 lineto 103 102 lineto 92 108 lineto 92 120 lineto closepath 0.825 setgray fill grestore gsave newpath 81 126 moveto 92 120 lineto 92 108 lineto 81 102 lineto 70 108 lineto 70 120 lineto closepath 0.825 setgray fill grestore gsave newpath 59 126 moveto 70 120 lineto 70 108 lineto 59 102 lineto 48 108 lineto 48 120 lineto closepath 0.825 setgray fill grestore gsave newpath 202 144 moveto 213 138 lineto 213 126 lineto 202 120 lineto 191 126 lineto 191 138 lineto closepath 0.825 setgray fill grestore gsave newpath 180 144 moveto 191 138 lineto 191 126 lineto 180 120 lineto 169 126 lineto 169 138 lineto closepath 0.825 setgray fill grestore gsave newpath 158 144 moveto 169 138 lineto 169 126 lineto 158 120 lineto 147 126 lineto 147 138 lineto closepath 0.825 setgray fill grestore gsave newpath 136 144 moveto 147 138 lineto 147 126 lineto 136 120 lineto 125 126 lineto 125 138 lineto closepath 0.825 setgray fill grestore gsave newpath 114 144 moveto 125 138 lineto 125 126 lineto 114 120 lineto 103 126 lineto 103 138 lineto closepath 0.825 setgray fill grestore gsave newpath 92 144 moveto 103 138 lineto 103 126 lineto 92 120 lineto 81 126 lineto 81 138 lineto closepath 0.825 setgray fill grestore gsave newpath 70 144 moveto 81 138 lineto 81 126 lineto 70 120 lineto 59 126 lineto 59 138 lineto closepath 0.825 setgray fill grestore gsave newpath 213 162 moveto 224 156 lineto 224 144 lineto 213 138 lineto 202 144 lineto 202 156 lineto closepath 0.825 setgray fill grestore gsave newpath 191 162 moveto 202 156 lineto 202 144 lineto 191 138 lineto 180 144 lineto 180 156 lineto closepath 0.825 setgray fill grestore gsave newpath 169 162 moveto 180 156 lineto 180 144 lineto 169 138 lineto 158 144 lineto 158 156 lineto closepath 0.825 setgray fill grestore gsave newpath 147 162 moveto 158 156 lineto 158 144 lineto 147 138 lineto 136 144 lineto 136 156 lineto closepath 0.825 setgray fill grestore gsave newpath 125 162 moveto 136 156 lineto 136 144 lineto 125 138 lineto 114 144 lineto 114 156 lineto closepath 0.825 setgray fill grestore gsave newpath 103 162 moveto 114 156 lineto 114 144 lineto 103 138 lineto 92 144 lineto 92 156 lineto closepath 0.825 setgray fill grestore gsave newpath 81 162 moveto 92 156 lineto 92 144 lineto 81 138 lineto 70 144 lineto 70 156 lineto closepath 0.825 setgray fill grestore 0 setlinewidth 158 48 moveto 147 54 lineto stroke 147 54 moveto 136 48 lineto stroke 136 48 moveto 136 36 lineto stroke 136 48 moveto 125 54 lineto stroke 125 54 moveto 114 48 lineto stroke 114 48 moveto 114 36 lineto stroke 114 48 moveto 103 54 lineto stroke 103 54 moveto 92 48 lineto stroke 92 48 moveto 92 36 lineto stroke 92 48 moveto 81 54 lineto stroke 81 54 moveto 70 48 lineto stroke 70 48 moveto 70 36 lineto stroke 70 48 moveto 59 54 lineto stroke 59 54 moveto 48 48 lineto stroke 48 48 moveto 48 36 lineto stroke 48 48 moveto 37 54 lineto stroke 37 54 moveto 26 48 lineto stroke 26 48 moveto 26 36 lineto stroke 26 48 moveto 15 54 lineto stroke 15 54 moveto 4 48 lineto stroke 4 48 moveto 4 36 lineto stroke 169 66 moveto 158 72 lineto stroke 158 72 moveto 147 66 lineto stroke 147 66 moveto 147 54 lineto stroke 147 66 moveto 136 72 lineto stroke 136 72 moveto 125 66 lineto stroke 125 66 moveto 125 54 lineto stroke 125 66 moveto 114 72 lineto stroke 114 72 moveto 103 66 lineto stroke 103 66 moveto 103 54 lineto stroke 103 66 moveto 92 72 lineto stroke 92 72 moveto 81 66 lineto stroke 81 66 moveto 81 54 lineto stroke 81 66 moveto 70 72 lineto stroke 70 72 moveto 59 66 lineto stroke 59 66 moveto 59 54 lineto stroke 59 66 moveto 48 72 lineto stroke 48 72 moveto 37 66 lineto stroke 37 66 moveto 37 54 lineto stroke 37 66 moveto 26 72 lineto stroke 26 72 moveto 15 66 lineto stroke 15 66 moveto 15 54 lineto stroke 180 84 moveto 169 90 lineto stroke 169 90 moveto 158 84 lineto stroke 158 84 moveto 158 72 lineto stroke 158 84 moveto 147 90 lineto stroke 147 90 moveto 136 84 lineto stroke 136 84 moveto 136 72 lineto stroke 136 84 moveto 125 90 lineto stroke 125 90 moveto 114 84 lineto stroke 114 84 moveto 114 72 lineto stroke 114 84 moveto 103 90 lineto stroke 103 90 moveto 92 84 lineto stroke 92 84 moveto 92 72 lineto stroke 92 84 moveto 81 90 lineto stroke 81 90 moveto 70 84 lineto stroke 70 84 moveto 70 72 lineto stroke 70 84 moveto 59 90 lineto stroke 59 90 moveto 48 84 lineto stroke 48 84 moveto 48 72 lineto stroke 48 84 moveto 37 90 lineto stroke 37 90 moveto 26 84 lineto stroke 26 84 moveto 26 72 lineto stroke 191 102 moveto 180 108 lineto stroke 180 108 moveto 169 102 lineto stroke 169 102 moveto 169 90 lineto stroke 169 102 moveto 158 108 lineto stroke 158 108 moveto 147 102 lineto stroke 147 102 moveto 147 90 lineto stroke 147 102 moveto 136 108 lineto stroke 136 108 moveto 125 102 lineto stroke 125 102 moveto 125 90 lineto stroke 125 102 moveto 114 108 lineto stroke 114 108 moveto 103 102 lineto stroke 103 102 moveto 103 90 lineto stroke 103 102 moveto 92 108 lineto stroke 92 108 moveto 81 102 lineto stroke 81 102 moveto 81 90 lineto stroke 81 102 moveto 70 108 lineto stroke 70 108 moveto 59 102 lineto stroke 59 102 moveto 59 90 lineto stroke 59 102 moveto 48 108 lineto stroke 48 108 moveto 37 102 lineto stroke 37 102 moveto 37 90 lineto stroke 202 120 moveto 191 126 lineto stroke 191 126 moveto 180 120 lineto stroke 180 120 moveto 180 108 lineto stroke 180 120 moveto 169 126 lineto stroke 169 126 moveto 158 120 lineto stroke 158 120 moveto 158 108 lineto stroke 158 120 moveto 147 126 lineto stroke 147 126 moveto 136 120 lineto stroke 136 120 moveto 136 108 lineto stroke 136 120 moveto 125 126 lineto stroke 125 126 moveto 114 120 lineto stroke 114 120 moveto 114 108 lineto stroke 114 120 moveto 103 126 lineto stroke 103 126 moveto 92 120 lineto stroke 92 120 moveto 92 108 lineto stroke 92 120 moveto 81 126 lineto stroke 81 126 moveto 70 120 lineto stroke 70 120 moveto 70 108 lineto stroke 70 120 moveto 59 126 lineto stroke 59 126 moveto 48 120 lineto stroke 48 120 moveto 48 108 lineto stroke 213 138 moveto 202 144 lineto stroke 202 144 moveto 191 138 lineto stroke 191 138 moveto 191 126 lineto stroke 191 138 moveto 180 144 lineto stroke 180 144 moveto 169 138 lineto stroke 169 138 moveto 169 126 lineto stroke 169 138 moveto 158 144 lineto stroke 158 144 moveto 147 138 lineto stroke 147 138 moveto 147 126 lineto stroke 147 138 moveto 136 144 lineto stroke 136 144 moveto 125 138 lineto stroke 125 138 moveto 125 126 lineto stroke 125 138 moveto 114 144 lineto stroke 114 144 moveto 103 138 lineto stroke 103 138 moveto 103 126 lineto stroke 103 138 moveto 92 144 lineto stroke 92 144 moveto 81 138 lineto stroke 81 138 moveto 81 126 lineto stroke 81 138 moveto 70 144 lineto stroke 70 144 moveto 59 138 lineto stroke 59 138 moveto 59 126 lineto stroke 224 156 moveto 213 162 lineto stroke 213 162 moveto 202 156 lineto stroke 202 156 moveto 202 144 lineto stroke 202 156 moveto 191 162 lineto stroke 191 162 moveto 180 156 lineto stroke 180 156 moveto 180 144 lineto stroke 180 156 moveto 169 162 lineto stroke 169 162 moveto 158 156 lineto stroke 158 156 moveto 158 144 lineto stroke 158 156 moveto 147 162 lineto stroke 147 162 moveto 136 156 lineto stroke 136 156 moveto 136 144 lineto stroke 136 156 moveto 125 162 lineto stroke 125 162 moveto 114 156 lineto stroke 114 156 moveto 114 144 lineto stroke 114 156 moveto 103 162 lineto stroke 103 162 moveto 92 156 lineto stroke 92 156 moveto 92 144 lineto stroke 92 156 moveto 81 162 lineto stroke 81 162 moveto 70 156 lineto stroke 70 156 moveto 70 144 lineto stroke 158 48 moveto 158 36 lineto stroke 158 36 moveto 147 30 lineto stroke 136 36 moveto 147 30 lineto stroke 169 66 moveto 169 54 lineto stroke 169 54 moveto 158 48 lineto stroke 114 36 moveto 125 30 lineto stroke 125 30 moveto 136 36 lineto stroke 180 84 moveto 180 72 lineto stroke 180 72 moveto 169 66 lineto stroke 92 36 moveto 103 30 lineto stroke 103 30 moveto 114 36 lineto stroke 191 102 moveto 191 90 lineto stroke 191 90 moveto 180 84 lineto stroke 70 36 moveto 81 30 lineto stroke 81 30 moveto 92 36 lineto stroke 202 120 moveto 202 108 lineto stroke 202 108 moveto 191 102 lineto stroke 48 36 moveto 59 30 lineto stroke 59 30 moveto 70 36 lineto stroke 213 138 moveto 213 126 lineto stroke 213 126 moveto 202 120 lineto stroke 26 36 moveto 37 30 lineto stroke 37 30 moveto 48 36 lineto stroke 224 156 moveto 224 144 lineto stroke 224 144 moveto 213 138 lineto stroke 4 36 moveto 15 30 lineto stroke 15 30 moveto 26 36 lineto stroke 103 78 8 0 360 arc fill 103 78 2 0 360 arc fill gsave 81 78 8 0 360 arc 1 setgray fill grestore gsave 81 78 2 0 360 arc 1 setgray fill grestore gsave 103 114 8 0 360 arc 1 setgray fill grestore gsave 103 114 2 0 360 arc 1 setgray fill grestore showpage %%EndDocument @endspecial 540 1158 a(A)f(game)f(of)h(7)h(b)o(y)f(7)h(Hex)e(after)h(three)g (mo)m(v)o(es.)0 1260 y(White's)f(goal)h(is)f(to)h(put)f(white)g(stones)h(in)f (a)h(set)f(of)h(hexagons)h(that)e(connect)g(the)g(top)h(and)g(b)r(ottom)f(of) 0 1320 y(the)i(rhom)n(bus,)h(and)g(Blac)m(k's)f(goal)i(is)e(to)h(put)f(blac)o (k)g(stones)h(in)f(a)h(set)f(of)h(hexagons)g(that)g(connect)f(the)0 1380 y (left)d(and)h(righ)o(t)f(sides)h(of)g(the)f(rhom)n(bus.)21 b(Martin)14 b(Gard\ ner)h(credits)f(John)h(Nash)g(with)g(the)f(observ)m(ation)0 1440 y(that)j(the\ re)e(exists)h(a)h(winning)f(strategy)h(for)f(the)g(\014rst)h(pla)n(y)o(er)f (in)f(a)i(game)e(of)i(hex.)62 1542 y(The)h(pro)r(of)g(go)r(es)g(as)g(follo)o (ws.)26 b(First)18 b(w)o(e)f(observ)o(e)g(that)i(the)e(game)g(cannot)i(end)e (in)h(a)g(dra)o(w,)g(for)g(in)0 1602 y(an)o(y)g(Hex)g(b)q(oard)i(\014lled)d (with)h(white)g(and)h(blac)o(k)f(stones)h(there)f(m)m(ust)h(b)r(e)f(either)f (a)i(winning)g(path)g(for)0 1662 y(white,)d(or)h(a)h(winning)f(path)g(for)g (blac)n(k)g([1,)f(2)q(].)23 b(Since)16 b(the)g(game)g(is)h(\014nite,)f(there) g(m)m(ust)i(b)q(e)f(a)g(winning)0 1722 y(strategy)e(for)h(either)d(the)i(\014\ rst)g(or)h(the)e(second)i(pla)n(y)o(er.)k(Assume,)13 b(for)j(the)e(sak)o(e)h (of)g(con)o(tradiction,)f(that)0 1783 y(the)h(second)g(pla)o(y)n(er)g(has)h (a)f(winning)g(strategy)m(.)21 b(The)15 b(\014rst)g(pla)o(y)n(er)g(can)g(mak) n(e)f(an)i(arbitrary)f(\014rst)h(mo)m(v)o(e,)0 1843 y(then)e(follo)o(w)h(the) f(winning)h(strategy)g(\(re\015ected\))e(for)i(a)g(second)g(pla)o(y)n(er)f (\(imagining)g(that)h(the)f(hexagon)0 1903 y(con)o(taining)j(the)g(\014rst)h (mo)m(v)o(e)f(is)g(empt)m(y\).)24 b(If)17 b(the)g(strategy)h(requires)e(the)h (\014rst)g(pla)o(y)n(er)g(to)h(mo)n(v)n(e)f(in)g(the)0 1963 y(non-empt)n(y)k (cell,)g(the)h(pla)n(y)o(er)f(simply)e(c)o(ho)q(oses)k(another)f(empt)m(y)f (cell)f(in)i(whic)n(h)f(to)h(pla)o(y)l(,)g(and)h(no)o(w)0 2023 y(imagines)c (that)h(this)g(one)g(is)g(empt)m(y)-5 b(.)33 b(Since)19 b(the)h(extra)f(stone) i(can)f ff(only)h(help)j fi(the)c(\014rst)g(pla)o(y)n(er,)g(the)0 2084 y(winn\ ing)c(strategy)h(will)e(w)n(ork,)h(and)h(the)f(\014rst)g(pla)o(y)n(er)g(wins.) 21 b(This)16 b(con)o(tradicts)g(our)h(assumption)e(that)0 2144 y(the)h(second) g(pla)o(y)o(er)f(has)i(a)g(winning)f(strategy)m(.)62 2245 y(The)e(purp)r(ose) g(of)g(this)g(note)g(is)f(to)h(analyze)g(a)g(v)m(arian)o(t)g(of)g(Hex)f(that) h(w)o(e)f(call)g ff(Mis)o(\022)-24 b(er)m(e)16 b(Hex)7 b fi(.)20 b(The)14 b (only)0 2306 y(di\013erence)g(b)r(et)n(w)o(een)h(normal)f(Hex)g(and)i(Mis)o (\022)-23 b(ere)15 b(Hex)f(is)h(that)h(the)f(outcome)f(of)i(the)f(game)f(is)i (rev)n(ersed:)0 2366 y(White)j(wins)h(if)f(there)g(is)g(a)h(blac)o(k)f(c)n (hain)h(from)f(left)f(to)i(righ)o(t,)g(and)g(Blac)n(k)f(wins)h(if)f(there)g (is)g(a)h(white)0 2426 y(c)n(hain)d(from)e(top)i(to)f(b)r(ottom.)62 2528 y (Contrary)i(to)h(one's)f(in)n(tuition,)g(it)g(is)g ff(not)24 b fi(the)18 b (case)g(that)h(the)f(second)h(pla)n(y)o(er)f(can)g(alw)o(a)o(ys)g(win)h(at)0 2588 y(Mis)n(\022)-23 b(ere)16 b(Hex.)0 2617 y 779 2 v 56 2675 a fe(1)75 2690 y fd(See)e(his)f(Mathematical)e(Games)g(column)h(in)g(Scienti\014c)h(American) f(for)h(July)f(1957,)g(Octob)r(er)i(1957,)d(July)i(1975)f(and)0 2740 y(Decem) n(b)r(er)i(1975,)f(or)g(his)h(\014rst)h(b)q(o)q(ok)f(of)f(mathematical)d(puzz\ les)16 b(and)d(div)o(ersions)h([3].)961 2844 y fi(1)p eop %%Page: 2 2 bop 0 42 a fc(Theorem:)18 b ff(The)f(\014rst)f(player)g(has)g(a)g(winning)i (str)m(ate)n(gy)e(for)f(Mis)o(\022)-24 b(er)m(e)17 b(Hex)g(on)g(an)f fg(N)d fb (\002)8 b fg(N)21 b ff(b)n(o)n(ar)m(d)16 b(when)0 102 y fg(N)25 b ff(is)20 b (even)h(and)f(the)h(se)n(c)m(ond)g(player)e(has)h(a)g(winning)h(str)m(ate)n (gy)f(when)h fg(N)k ff(is)20 b(o)n(dd.)29 b(F)l(urthermor)m(e,)20 b(the)0 162 y(losing)15 b(player)f(has)g(a)f(str)n(ate)n(gy)h(which)g(guar)n(ante)n(es)g (that)h(every)f(c)n(el)s(l)h(of)e(the)i(b)n(o)m(ar)m(d)f(must)g(b)n(e)g(playe) n(d)g(b)n(efor)m(e)0 222 y(the)k(game)g(ends.)0 324 y(Pr)m(o)n(of.)11 b fi (It)h(su\016ces)f(to)h(pro)o(v)o(e)f(the)h(second)g(assertion,)h(b)q(ecause)f (it)f(sho)o(ws)i(that)f(the)g(parit)n(y)g(of)g(the)g(n)n(um)n(b)q(er)0 384 y (of)17 b(cells)d(on)j(the)f(b)r(oard)h(determines)d(whic)n(h)i(pla)o(y)n(er)g (has)h(the)f(winning)g(strategy)m(.)62 486 y(Because)h(the)g(game)g(cannot)h (end)f(in)g(a)h(dra)o(w,)f(either)g(the)g(second)g(pla)o(y)n(er)g(or)h(the)f (\014rst)h(pla)o(y)n(er)f(has)0 546 y(a)f(winning)f(strategy)m(.)21 b(Let)15 b fg(P)23 b fi(b)q(e)15 b(the)h(pla)n(y)o(er)f(who)h(has)g(a)g(winning)g(strate\ gy)l(,)f(and)h(let)f fg(Q)g fi(b)q(e)h(the)f(other)0 606 y(pla)o(y)n(er.)21 b (F)l(or)16 b(an)o(y)f(winning)h(strategy)g fb(L)g fi(for)g fg(P)23 b fi(de\ \014ne)16 b fg(m)p fi(\()p fb(L)p fi(\))f(to)i(b)q(e)e(the)h(minim)-5 b(um)15 b(\(o)o(v)n(er)g(all)h(p)q(ossible)0 666 y(games)h(of)g(Mis)n(\022)-22 b(ere) 16 b(Hex)h(in)g(whic)n(h)g fg(P)25 b fi(pla)o(ys)17 b(strategy)h fb(L)p fi (\))f(of)h(the)f(n)o(um)m(b)q(er)g(of)h(cells)e(left)g(unco)o(v)o(ered)h(at)0 726 y(the)f(end)g(of)h(the)f(game.)k(W)l(e)c(m)m(ust)h(sho)o(w)g(that)f fg (m)p fi(\()p fb(L)p fi(\))e(=)g(0.)62 828 y(W)l(e)d(shall)g(mak)m(e)g(use)g (of)h(the)f(follo)n(wing)g ff(monotonicity)j(pr)m(op)m(erty)h fi(of)d(the)f (game.)18 b(Consider)12 b(a)f(terminal)0 888 y(p)q(osition)20 b(of)g(a)g(game) e(that)i(is)f(a)h(win)f(for)h fg(Q)p fi(.)30 b(By)19 b(de\014nition,)g(suc)o (h)g(a)h(p)q(osition)g(con)o(tains)g(a)f fg(P)8 b fi(-path.)0 949 y(Supp)r (ose)16 b(the)g(p)r(osition)g(is)g(modi\014ed)g(b)o(y)f(\014lling)h(in)g(an)o (y)g(subset)g(of)h(the)e(empt)m(y)h(cells)f(with)h fg(Q)p fi('s)g(stones,)0 1009 y(and)i(further)e(mo)q(di\014ed)g(b)o(y)h(c)n(hanging)h(an)o(y)f(subset) h(of)f fg(Q)p fi('s)g(stones)g(in)o(to)g fg(P)7 b fi('s)17 b(stones.)24 b(The) 17 b(p)r(osition)g(is)0 1069 y(still)e(a)i(win)f(for)g fg(Q)p fi(,)g(b)q(ecau\ se)g(none)h(of)f(these)g(c)o(hanges)h(can)f(in)n(terfere)g(with)g(the)g fg (P)7 b fi(-path.)62 1171 y(W)l(e)14 b(are)h(no)o(w)f(ready)h(to)f(pro)o(v)o (e)g(the)g(theorem.)19 b(W)l(e)14 b(shall)g(argue)h(b)o(y)f(con)o(tradiction,) g(supp)q(osing)h(that)0 1231 y fg(m)p fi(\()p fb(L)p fi(\))h fb(\025)f fi(1.) 25 b(The)18 b(con)o(tradiction)f(will)f(b)q(e)i(to)f(show)g(that)h(under)f (this)h(assumption)f fg(Q)g fi(has)h(a)g(winning)0 1291 y(strategy)l(.)j(The) 16 b(basic)g(idea)g(resem)m(bles)f(Nash's)h(pro)r(of)g(that)h(the)f(\014rst)g (pla)o(y)n(er)g(has)g(a)h(winning)f(strategy)0 1351 y(for)g(Hex,)e(in)h(that) h(w)o(e)f(will)f(describ)q(e)h(a)h(new)g(strategy)f(for)h fg(Q)f fi(in)g(whic) o(h)g(\(in)g(e\013ect\))g fg(Q)g fi(mak)n(es)g(an)h(extra)0 1411 y(mo)n(v)n (e)e(and)i(then)e(pla)o(ys)h(the)f(re\015ected)g(v)n(ersion)h fb(L)925 1393 y fa(R)969 1411 y fi(of)g fg(P)7 b fi('s)15 b(h)n(yp)q(othetical)f(winning)h (strategy)g fb(L)p fi(.)21 b(\(Note)0 1472 y(that)e fg(m)p fi(\()p fb(L)p fi (\))g(=)f fg(m)p fi(\()p fb(L)394 1453 y fa(R)423 1472 y fi(\).\))29 b(Ho)o (w)o(ev)n(er)18 b(the)h(pro)r(of)g(is)g(complicated)e(b)n(y)i(the)g(fact)g (that)g(it)g(is)f(not)i(clear)e ff(a)0 1532 y(priori)24 b fi(that)c(ha)o(ving) g(an)h(extra)e(stone)i(on)f(the)g(b)q(oard)h(is)f(either)f(an)i(adv)m(an)o (tage)g(or)f(a)g(disadv)n(an)o(tage.)0 1592 y(The)c(pro)r(of)h(splits)f(in)n (to)g(t)o(w)o(o)h(cases)f(dep)q(ending)g(on)h(whether)f fg(Q)g fi(is)g(the)g (\014rst)h(pla)n(y)o(er)f(or)g(the)g(second.)62 1694 y(Supp)r(ose)j(that)h fg (Q)f fi(is)f(the)h(\014rst)h(pla)n(y)o(er.)29 b(Pla)o(y)n(er)19 b fg(Q)f fi (applies)h(the)g(follo)n(wing)h(strategy)l(.)30 b(She)19 b(mak)m(es)0 1754 y (an)e(arbitrary)f(\014rst)h(mo)n(v)n(e,)f(and)h(dra)o(ws)g(a)f(circle)f(aroun\ d)i(the)g(cell)d(con)o(taining)j(this)f(mo)n(v)n(e.)21 b(F)l(rom)16 b(no)o (w)0 1814 y(on)22 b(she)f(applies)g(strategy)h fb(L)558 1796 y fa(R)609 1814 y fi(in)f(what)h(w)o(e)f(shall)g(call)f(the)i ff(imaginary)f(game)5 b fi(.)36 b (The)22 b(state)f(of)h(this)0 1874 y(game)16 b(is)g(exactly)f(lik)n(e)h(that) h(of)g(the)f(real)g(game,)g(except)f(that)i(in)f(the)h(imaginary)e(game)h(the) g(encircled)0 1934 y(cell)f(is)h(empt)m(y)l(,)g(while)f(in)h(the)h(real)f(gam\ e,)f(that)i(cell)e(con)n(tains)i(a)g fg(Q)p fi(-stone.)22 b(This)16 b(relatio\ nship)g(will)g(b)q(e)0 1995 y(main)m(tained)f(throughout)i(the)d(game.)20 b (When)15 b(the)g(strategy)g fb(L)1179 1977 y fa(R)1223 1995 y fi(requires)f fg (Q)h fi(to)g(pla)o(y)g(in)f(the)h(encircled)0 2055 y(cell,)21 b(she)g(pla)n (ys)h(instead)f(in)n(to)h(another)g(empt)m(y)f(cell)e(\(c)o(hosen)j(arbitrari\ ly\),)f(erases)g(the)g(circle,)f(and)0 2115 y(dra)o(ws)f(a)f(new)g(circle)f (around)i(the)f(mo)n(v)n(e)g(just)g(pla)o(y)n(ed.)27 b(Because)17 b fg(m)p fi (\()p fb(L)1357 2097 y fa(R)1386 2115 y fi(\))g fb(\025)g fi(1,)i(when)f(it)g (is)g fg(P)7 b fi('s)18 b(turn)0 2175 y(to)g(mo)n(v)n(e)g(there)f(m)m(ust)h (b)r(e)f(at)i(least)e(t)o(w)o(o)h(empt)m(y)g(cells)e(in)i(the)f(imaginary)g (game,)g(and)h(there)f(m)n(ust)h(b)q(e)0 2235 y(at)g(least)f(one)g(empt)m(y)h (cell)d(in)i(the)g(real)g(game.)24 b(Therefore)17 b(it)g(is)g(p)q(ossible)g (for)h fg(P)25 b fi(to)17 b(mo)n(v)n(e.)25 b(\(W)l(e'll)15 b(see)0 2296 y(b)q (elo)o(w)h(that)g fg(P)22 b fi(will)15 b(not)h(ha)o(v)o(e)f(w)o(on)h(the)f (real)g(game.\))20 b(Similarly)13 b(when)j(it)f(is)g fg(Q)p fi('s)g(turn)h (to)g(mo)n(v)n(e)f(there)0 2356 y(m)m(ust)k(b)q(e)f(at)g(least)g(three)g(empt) m(y)f(cells)g(in)h(the)g(imaginary)e(game,)i(so)g(there)g(are)g(at)g(least)g (t)o(w)o(o)g(empt)m(y)0 2416 y(cells)d(in)h(the)g(real)g(game.)k(Th)o(us)d (the)f(real)f(game)h(can)g(con)o(tin)n(ue.)62 2518 y(Ev)o(en)n(tually)22 b fg (Q)h fi(will)e(win)i(the)f(imaginary)g(game)g(b)q(ecause)h fb(L)1253 2500 y fa (R)1305 2518 y fi(is)f(a)h(winning)g(strategy)l(.)41 b(When)0 2578 y(this)19 b (happ)r(ens)g(she)g(has)h(also)f(w)o(on)h(the)f(real)f(game,)h(b)q(ecause)g (of)g(the)g(monotonicit)m(y)g(prop)r(ert)n(y)l(.)30 b(This)0 2638 y(con)o(tra\ dicts)16 b(our)h(assumption)f(that)g fg(P)24 b fi(has)17 b(a)f(winning)h(stra\ tegy)l(.)62 2740 y(No)o(w,)j(supp)r(ose)h(that)f fg(Q)f fi(is)h(the)g(second) g(pla)o(y)n(er.)32 b(Let)20 b fg(p)1138 2747 y fh(0)1178 2740 y fi(b)r(e)f fg (P)7 b fi('s)20 b(\014rst)g(mo)n(v)n(e.)32 b(Pla)o(y)n(er)20 b fg(Q)f fi(b)r (egins)961 2844 y(2)p eop %%Page: 3 3 bop 0 42 a fi(b)o(y)18 b(encircling)e fg(p)315 49 y fh(0)335 42 y fi(,)j(and) g(pla)n(ying)f(out)h fb(L)760 23 y fa(R)808 42 y fi(in)f(an)g(imaginary)f(gam\ e.)27 b(The)18 b(imaginary)f(game)g(and)i(the)0 102 y(real)f(game)f(di\013er) h(in)g(up)g(to)g(t)o(w)o(o)g(places,)g(as)h(follo)n(ws.)28 b(The)18 b(imagina\ ry)f(game)g(is)h(obtained)g(from)f(the)0 162 y(real)e(game)g(b)o(y)h(\014rst) g(c)n(hanging)h fg(p)617 169 y fh(0)653 162 y fi(from)e fg(P)7 b fi('s)15 b (stone)i(to)f fg(Q)p fi('s)f(stone,)h(then)f(b)o(y)h(erasing)g(the)f(stone)i (in)e(the)0 222 y(encircled)g(cell.)23 b(If)17 b(the)g(strategy)g fb(L)671 204 y fa(R)718 222 y fi(requires)f(a)h(mo)n(v)n(e)g(in)o(to)g(the)g(encircled)e (cell,)h(then)h fg(Q)g fi(arbitrarily)0 282 y(c)n(ho)r(oses)k(a)g(di\013eren) n(t)g(empt)m(y)f(cell)f(in)i(whic)n(h)g(to)g(mo)m(v)o(e,)g(and)g(transfers)g (the)f(circle)f(from)g(its)i(curren)n(t)0 342 y(lo)q(cation)15 b(to)g(the)f (new)g(cell.)19 b(The)c(fact)f(that)h fg(m)p fi(\()p fb(L)920 324 y fa(R)949 342 y fi(\))f fb(\025)f fi(1)i(ensures)g(that)g(b)q(oth)g(pla)o(y)n(ers)g(can) f(con)o(tin)n(ue)h(to)0 403 y(mo)n(v)n(e.)21 b(It)15 b(is)g(easy)g(to)h(see)f (that)g(the)g(relationship)g(b)r(et)n(w)o(een)g(the)g(real)f(game)h(and)h(the) f(imaginary)f(game)0 463 y(is)i(main)m(tained.)62 565 y(Pla)o(y)n(er)g fg(Q)f fi(ev)n(en)o(tually)g(wins)g(the)h(imaginary)e(game.)20 b(The)c(p)q(osition)g (in)g(the)f(real)g(game)g(is)h(obtained)0 625 y(from)21 b(the)g(p)r(osition)h (in)f(the)h(imaginary)e(game)h(b)o(y)h(putting)g fg(Q)p fi('s)f(stone)h(in)g (the)f(encircled)f(cell,)h(and)0 685 y(c)n(hanging)14 b(the)e(con)o(ten)n(ts) h(of)g fg(p)546 692 y fh(0)579 685 y fi(from)e(a)i fg(Q)p fi(-stone)g(to)g (a)g fg(P)7 b fi(-stone.)20 b(The)13 b(p)q(osition)g(in)f(the)h(imaginary)e (game)0 745 y(is)17 b(a)h(winning)f(p)q(osition)h(for)f fg(Q)p fi(,)g(and)h (the)f(monotonicit)m(y)g(prop)r(ert)n(y)g(ensures)g(that)h(the)f(corresp)q (onding)0 805 y(p)q(osition)f(in)g(the)f(real)h(game)f(is)g(also)h(a)h(win)e (for)h fg(Q)p fi(.)21 b(This)16 b(con)o(tradicts)f(our)h(assumption)g(that)g fg(P)23 b fi(has)16 b(a)0 866 y(winning)g(strategy)m(.)1911 831 y 38 2 v 34 x 2 35 v 36 w 2 35 v 1911 867 a 38 2 v 0 1072 a fc(References)0 1202 y fi([1]) 24 b(A.)d(Bec)n(k,)h(M.)g(Bleic)l(her,)h(and)g(J.)e(Cro)o(w,)j ff(Excursions) f(into)g(Mathematics)k fi(W)l(orth,)c(New)f(Y)-5 b(ork,)76 1262 y(1969,)17 b (pp.)f(327{339.)0 1364 y([2])24 b(D.)14 b(Gale,)f(The)h(Game)f(of)h(Hex)f(and) h(the)g(Brou)o(w)o(er)f(Fixed-P)n(oin)o(t)h(Theorem,)e ff(The)k(A)o(meric)m (an)g(Math-)76 1424 y(ematic)n(al)i(Monthly)p fi(,)e fc(86)p fi(\(10\))h(pp.) f(818{827.)0 1526 y([3])24 b(M.)e(Gardner,)j ff(The)f(Scienti\014c)i(A)o(meri\ c)n(an)e(Bo)n(ok)g(of)f(Mathematic)n(al)h(Puzzles)h(and)f(Diversions)t fi(,) 76 1586 y(Simon)15 b(and)i(Sc)n(h)o(uster,)f(New)f(Y)l(ork,)h(1959,)h(pp.)f (73{83.)961 2844 y(3)p eop %%Trailer end %%EOF