{VERSION 6 0 "IBM INTEL NT" "6.0" } {USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 1 0 0 0 0 1 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 1 } {PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 1 1 1 }1 1 0 0 0 0 1 0 1 0 2 2 0 1 }{PSTYLE "Text Output" -1 6 1 {CSTYLE "" -1 -1 "Courier" 1 10 0 0 255 1 2 2 2 2 2 1 2 1 1 1 }1 1 0 0 0 0 1 0 1 0 2 2 0 1 }{PSTYLE "Maple Output" -1 11 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 1 1 1 }3 3 0 0 0 0 1 0 1 0 2 2 0 1 }} {SECT 0 {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 8 "restart;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "t:=(2*6+1)^64:" }}}{EXCHG {PARA 0 " > " 0 "" {MPLTEXT 1 0 52 "printf(\"%s%d\",\"Total number of configurat ions: \",t);" }}{PARA 6 "" 1 "" {TEXT -1 104 "Total number of configur ations: 19605347643076107333065976042356601542440328000411578758959096 3842248961" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 9 "evalf(t);" }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}{PARA 11 "" 1 "" {XPPMATH 20 "6# $\"+kZ`g>\"#i" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 27 "#Convert b ase 13 to base 10" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 76 "b132b1 0:=proc(L) \nlocal s; \ns:=sum(L[nops(L)-i]*13^i,i=0..nops(L)-1);\nend : \n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "#possible square va lues" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 81 "ES:=0:BP:=1:BN:=2:B B:=3:BR:=4:BQ:=5:BK:=6:WP:=7:WN:=8:WB:=9:WR:=10:WQ:=11:WK:=12:" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 5 "N:=8:" }}}{EXCHG {PARA 0 "> \+ " 0 "" {MPLTEXT 1 0 54 "#convert square value above to string for nice display" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 11 "SS:=proc(n)" }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 8 "local s;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 11 "if n=0 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:= \"**\";" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "elif n=1 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"BP\";" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "elif n=2 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"BN\"; " }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "elif n=3 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"BB\";" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "elif n=4 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"BR\";" }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "elif n=5 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"BQ\";" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "elif n=6 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"BK\";" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "elif n=7 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"WP\";" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "elif n=8 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"WN\";" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "elif n=9 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"WB\";" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "elif n=10 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"WR\";" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "elif n=11 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"WQ\";" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "elif n=12 then" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 9 " s:=\"WK\";" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 3 "fi;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 2 "s ;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 4 "end:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "#print configuration" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 12 "PB:=proc(BC)" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "lo cal L,i;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 48 "L:=convert(BC,base,13); #create list (backwards)" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 26 "for i \+ from 1 to nops(L) do" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 58 " printf(`%s `,SS(L[i]));if i mod 8=0 then printf(`\\n`);fi;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 3 "od;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 30 "for i from n ops(L)+1 to N^2 do" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 56 " printf(`%s ` ,SS(ES));if i mod 8=0 then printf(`\\n`);fi;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 3 "od;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 4 "end:" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "#Reverse List elements" }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 11 "RL:=proc(L)" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 11 "local i,LR;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 6 "LR:= L;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 26 "for i from 1 to nops(L) do" } }{PARA 0 "> " 0 "" {MPLTEXT 1 0 23 " LR[i]:=L[nops(L)-i+1];" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 3 "od;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 3 "L R;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 4 "end:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "#config number to test" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 12 "cn:=1000000:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 5 "n:=0:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 12 "#T iming Test" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "TT:=proc()" } }{PARA 0 "> " 0 "" {MPLTEXT 1 0 11 "global n,t;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "while n<=cn do" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 7 "n :=n+1;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 3 "od;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 4 "end:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "ts: =time():#time start" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "TT() :#go through some configs" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 26 "tf:=time()-ts:#time finish" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "cs:=floor(cn/tf):#configs/sec" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 33 "cy:=cs*60*60*24*365:#configs/year" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 81 "printf(\"%s%d%s%e%s\",\"machine speed =\", \+ cs, \" configs/sec =\",cy, \" configs/year\");" }}{PARA 6 "" 1 "" {TEXT -1 60 "machine speed =473260 configs/sec =1.492473e+13 configs/y ear" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 90 "printf(\"%s%e%s\",\" Estimated time for completion of cycle on this machine: \",t/cy,\" yea rs\");" }}{PARA 6 "" 1 "" {TEXT -1 74 "Estimated time for completion o f cycle on this machine: 1.313615e+58 years" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 42 "printf(\"%s\",\"Enter board configuration:\");" }} {PARA 6 "" 1 "" {TEXT -1 26 "Enter board configuration:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 6 "" 1 "" {TEXT -1 98 "Estimated time to reach this configuration on this machine: 3.4 01570e+65 secs = 1.078631e+58 years" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "BC:=[ES,ES,ES,BK,ES,ES,ES,ES," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,WP,ES,ES,ES,ES," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,WK,ES,ES,ES,ES," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,ES,ES," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,ES,ES," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,ES,ES," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,ES,ES," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 41 " ES,ES,ES,ES,ES,ES,ES,ES]:#stale-mate" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 56 "BC:=b132b10(RL(BC));#reverse list a nd convert to base 10" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#BCG\"8l&*4 w/0(\\VIa<" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "PB(BC);#print config" }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** BK ** ** ** ** " }} {PARA 6 "" 1 "" {TEXT -1 24 "** ** ** WP ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** WK ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** \+ ** ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** ** * * " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** ** ** " }}}{EXCHG {PARA 0 "> \+ " 0 "" {MPLTEXT 1 0 118 "printf(\"%s%e%s%e%s\",\"Estimated time to rea ch this configuration on this machine: \",BC/cs,\" secs = \", BC/cy, \+ \" years\");" }}{PARA 6 "" 1 "" {TEXT -1 98 "Estimated time to reach t his configuration on this machine: 3.706851e+16 secs = 1.175435e+09 ye ars" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "BC:=[BR,BN,BB,ES,BK, BB,BN,BR," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " BP,BP,BP,BP,ES,BP ,BP,BP," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,E S,ES," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,BP,ES,ES, ES," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,WP,BQ ," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,WP,ES,ES, " }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " WP,WP,WP,WP,WP,ES,ES,WP," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 42 " WR,WN,WB,WQ,WK,WB,WN,WR]:#fo ol's mate" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 56 "BC:=b132b10(RL (BC));#reverse list and convert to base 10" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#BCG\"comi&H!H0lP%4iIFi:o!=$)ewp2,:)f6M?tS[5F)4;" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "PB(BC);#print config" }} {PARA 6 "" 1 "" {TEXT -1 24 "BR BN BB ** BK BB BN BR " }}{PARA 6 "" 1 "" {TEXT -1 24 "BP BP BP BP ** BP BP BP " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** \+ ** BP ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** WP B Q " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** WP ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "WP WP WP WP WP ** ** WP " }}{PARA 6 "" 1 "" {TEXT -1 24 "WR WN WB WQ WK WB WN WR " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 118 "printf(\"%s%e%s%e%s\",\"Estimated time to reach this configuration on this machine: \",BC/cs,\" secs = \", BC/cy, \" years \");" }}{PARA 6 "" 1 "" {TEXT -1 98 "Estimated time to reach this conf iguration on this machine: 3.401570e+65 secs = 1.078631e+58 years" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "BC:=[BR,BN,BB,BQ,BK,BB,BN,BR ," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " BP,BP,BP,BP,BP,BP,BP,BP, " }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,ES,ES," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,ES,ES," }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,ES,ES," }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,ES,ES," }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " WP,WP,WP,WP,WP,WP,WP,WP," }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 48 " WR,WN,WB,WQ,WK,WB,WN,WR]:#star ting position" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 56 "BC:=b132b1 0(RL(BC));#reverse list and convert to base 10" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#BCG\"comIK\"e$*o*4o(G8+fUCy7bf\"y-dzL*Q$=Rz%\\5F)4; " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "PB(BC);#print config" } }{PARA 6 "" 1 "" {TEXT -1 24 "BR BN BB BQ BK BB BN BR " }}{PARA 6 "" 1 "" {TEXT -1 24 "BP BP BP BP BP BP BP BP " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** \+ ** ** ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** * * ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** ** ** " }} {PARA 6 "" 1 "" {TEXT -1 24 "WP WP WP WP WP WP WP WP " }}{PARA 6 "" 1 "" {TEXT -1 24 "WR WN WB WQ WK WB WN WR " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 118 "printf(\"%s%e%s%e%s\",\"Estimated time to reach this configuration on this machine: \",BC/cs,\" secs = \", BC/cy, \" years \");" }}{PARA 6 "" 1 "" {TEXT -1 98 "Estimated time to reach this conf iguration on this machine: 3.401570e+65 secs = 1.078631e+58 years" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "BC:=[ES,ES,ES,ES,ES,ES,ES,ES ," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,BK,ES,ES,ES, " }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,ES,ES," }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,WP,ES,ES,ES,ES," }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,WP,WK,ES,ES," }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,ES,ES," }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 " ES,ES,ES,ES,ES,ES,ES,ES," }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 35 " ES,ES,ES,ES,ES,ES,ES,BB]:#draw " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 56 "BC:=b132b10(RL(BC));#re verse list and convert to base 10" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#> %#BCG\"boz^C6t-eVXdr=r\"GsUPL=hf%Rr!p\"pZ-cX*4JCX" }}}{EXCHG {PARA 0 " > " 0 "" {MPLTEXT 1 0 20 "PB(BC);#print config" }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 " ** ** ** ** BK ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** * * ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** WP ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** WP WK ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** ** ** ** ** ** ** " }}{PARA 6 "" 1 "" {TEXT -1 24 "** ** \+ ** ** ** ** ** BB " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 118 "prin tf(\"%s%e%s%e%s\",\"Estimated time to reach this configuration on this machine: \",BC/cs,\" secs = \", BC/cy, \" years\");" }}{PARA 6 "" 1 " " {TEXT -1 98 "Estimated time to reach this configuration on this mach ine: 9.559885e+64 secs = 3.031420e+57 years" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 " " {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 " " {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}{MARK "41 7 0" 35 } {VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 }{PAGENUMBERS 0 1 2 33 1 1 }