(;GM[1]BL[1800.0]WL[1800.0]SZ[9]DT[1994-03-21]FF[3]BS[0]WS[0]
(;BL[1800.0]WL[1800.0]N[3,4,5 nodes]
(;AB[dd][ed][fe][ff][ce][cf][eg][ag][bg][cg][cd][fd][fg][eh][ei][hg][gc][cb]
AW[df][dg][ah][bh][ch][dh][di][bi]C[HasMathGame\(*\)]N[3.1])
(;AB[dd][ed][ce][cf][fe][gf][fg][eg][ei][eh][gg][ge][fd][cd][cg][bg][ag][gc]
AW[df][dg][ah][bh][ch][dh][bi][di]C[HasMathGame\(1*%-1/4\)]N[4.1])
(;AB[dd][ed][fd][ge][ce][ff][eg][cf][ei][eh][fg][gf][gd][cd][cg][bg][ag][eb]
AW[df][dg][ah][bh][ch][dh][bi][di]C[HasMathGame\(%1/2\)]N[4.2])
(;AB[ce][dd][ec][fd][ge][gf][fg][df][ei][fi][fh][gg][dg][cg][bg][ag][cf][cd]
[dc][fc][gd]AW[ef][eg][dh][ch][ah][bh][eh][bi][di]C[HasMathGame\(1%{1/2|0}\)]N[5.1])
(;AB[cd][ce][cf][dc][ed][fe][gf][fg][eg][ei][eh][gg][ge][fd][ec][cc][cg][bg][ag][gc]
AW[df][dg][ah][bh][ch][dh][bi][di]C[HasMathGame\(1\)]N[5.2])
(;AB[ce][cf][dd][ed][fd][ge][gf][fg][dg][cg][gg][ei][fi][fh][gd][cd][bg][ag][eb]
AW[ef][eg][eh][ch][ah][bh][dh][bi][di]C[HasMathGame\(*%1/2\)]N[5.3])
(;AB[ce][cf][dd][ed][fd][ge][gf][fg][eg][ei][eh][gg][gd][cd][cg][bg][ag][eb]
AW[df][dg][dh][ah][bh][ch][bi][di]C[HasMathGame\(1%{1/8|0}\)]N[5.4])
(;AB[cd][ce][cf][dc][ed][fd][ge][ff][eg][ei][eh][fg][gf][gd][ec][cc][cg][bg][ag]
AW[df][dg][dh][ah][bh][ch][bi][di]C[HasMathGame\(1%3/8\)]N[5.5])
(;AB[hf][gg][fg][eg][ge][fe][ed][dd][ce][cf][ei][eh][cg][bg][ag][cd][fd][he][hg][gc]
AW[df][dg][dh][ah][bh][ch][bi][di]C[HasMathGame\(1%1/2*\)]N[5.6])
(;AB[ec][dd][fd][ge][ce][ff][eg][cf][ei][eh][fg][gf][gd][fc][dc][cd][cg][bg][ag]
AW[df][dg][dh][ah][bh][ch][bi][di]C[HasMathGame\(1%*\)]N[5.7])
(;AB[dd][ed][fd][ff][he][gd][gf][eg][ce][cf][ei][eh][fg][hf][hd][cd][cg][bg][ag][db]
AW[dg][df][dh][ah][bh][ch][bi][di]C[HasMathGame\(1%1/4\)]N[5.8]))
(;BL[1800.0]WL[1800.0]N[6 nodes]
(;AB[dg][ae][cc][bd][ee][dd][eg][ff][bf][af][ad][bc][dc][ed][fe][fg][eh][ei]
[hg][gc][bg][ag]AW[cf][cg][bh][bi][dh][di][ah][ch]C[HasMathGame\(2%{*|-1/2}\)]N[6.1])
(;AB[dg][ef][ae][cc][bd][ee][bg][af][dd][ag][ad][bc][dc][ed][eg][eh][ei][gg][gc]
AW[cf][cg][ah][bh][ch][dh][di][bi]C[HasMathGame\(1*%*\)]N[6.2])
(;AB[dg][ef][ae][bf][cc][ed][bd][ee][dc][af][bg][ag][ad][bc][ec][eg][eh][ei][gg][gc]
AW[cf][cg][ah][bh][ch][dh][di][bi]C[HasMathGame\(1*%{1|{1|||1||1|2{0|k}}||0}\)]N[6.3])
(;AB[dg][ef][dd][ae][bf][cc][fe][ed][bd][bg][ag][af][ad][bc][dc][fd][ff][eg]
[eh][ei][hg][gc]AW[cf][cg][ah][bh][ch][dh][di][bi]C[HasMathGame\(2%{1/4|-1/2}\)]N[6.4])
(;AB[dg][ef][ee][dd][bc][ae][bf][cc][ad][bg][ag][af][ac][dc][ed][eg][eh][ei][gg][gc]
AW[cf][cg][ah][bh][ch][dh][di][bi]C[HasMathGame\(2%{1/2|-1}\)]N[6.5])
(;AB[dg][ef][ee][dd][dc][cb][bc][bd][ae][bf][bg][ag][af][ad][bb][db][ed][eg][eh][ei]
[gg][gc]AW[cf][cg][ah][bh][ch][dh][di][bi]C[HasMathGame\(2%{1/2|-1/2}\)]N[6.6])
(;AB[dg][eg][ff][bd][dd][bg][af][ae][cd][ee][ag][ad][ed][fe][fg][eh][ei][gc][db][hf]
AW[cf][cg][ah][bh][ch][dh][di][bi]C[HasMathGame\(1*%-1/8\)]N[6.7])
(;AB[dg][eg][ff][ed][bd][fe][dd][cc][be][bc][dc][fd][fg][gc][hg][bg][bf][ag][eh][ei]
AW[cf][bh][bi][ah][ch][cg][di][dh]C[HasMathGame\(1*%1/4\)]N[6.8])
(;AB[dg][eg][ff][ee][ed][dc][cd][bd][ae][bf][bg][ag][af][ad][cc][ec][fe][fg][eh][ei]
[gc][hg]AW[cf][cg][ah][bh][ch][dh][di][bi]C[HasMathGame\(1*%1/2\)]N[6.9])
(;AB[dg][dd][bd][eg][fg][gf][fe][ee][cc][be][ag][bg][bf][bc][dc][ed][ge][gg][eh][ei]
[gc]
AW[cf][ah][bh][ch][dh][di][bi][cg]C[HasMathGame\(2%v\)]N[6.10])
(;AB[dg][cd][ed][fe][ef][dd][bd][ae][af][bg][ag][ad][fd][ff][eg][eh][ei][hg][gc]
AW[cf][cg][ah][bh][ch][dh][di][bi]C[HasMathGame\(1*\)]N[6.11])
(;AB[dg][eg][cd][be][ed][fe][ff][dc][ag][bg][bf][bd][cc][ec][fd][fg][eh][ei][hc][hg]
AW[cf][ah][bh][ch][dh][di][bi][cg]C[HasMathGame\(2%{0|-1/2}\)]N[6.12])
(;AB[dg][eg][cd][be][ed][dd][fg][gf][fe][ag][bg][bf][bd][fd][ge][gg][eh][ei][gb][cb]
AW[cf][ah][bh][ch][dh][di][bi][cg]C[HasMathGame\(2%{1/16|-1/4}\)]N[6.13])
(;AB[dg][eg][cd][be][ff][ge][fd][ed][dd][ag][bg][bf][bd][gd][gf][fg][eh][ei][gb][cb]
AW[cf][ah][bh][ch][dh][di][cg][bi]C[HasMathGame\(2%{^^*|-1/2}\)]N[6.14])
(;AB[dg][eg][fg][gf][fe][ee][ed][dc][cd][be][ag][bg][bf][bd][cc][ec][ge][gg][eh][ei]
[gc]AW[cf][ah][bh][ch][dh][di][bi][cg]C[HasMathGame\(2%{1/4|0}\)]N[6.15])
(;AB[dg][ee][ef][dd][dc][cb][bc][ad][be][bf][ag][bg][ac][ae][bb][db][ed][eg][eh][ei]
[gg][gc]AW[cf][cg][ah][bh][ch][dh][di][bi]C[HasMathGame\(2%{1/2|*}\)]N[6.16])
(;AB[dg][ee][ef][ed][ec][db][cc][cd][bd][ae][bf][ag][bg][af][ad][cb][eb][eg][eh][ei]
[gg][gc]AW[cf][cg][ah][bh][ch][dh][di][bi]C[HasMathGame\(2%3/16\)]N[6.17])
(;AB[cd][dg][fe][eg][fg][gg][hf][ge][ee][dd][be][ag][bg][bf][bd][ed][he][hg][eh][ei]
[gc]AW[cf][ah][bh][ch][dh][di][bi][cg]C[HasMathGame\(2%{1/2|1/4}\)]N[6.18])
(;AB[cd][ef][dg][dc][fe][ed][bd][ae][bf][ag][bg][af][ad][cc][ec][fd][ff][eg][eh][ei]
[gg][gc]AW[cf][cg][ah][bh][ch][dh][di][bi]C[HasMathGame\(2%v2*\)]N[6.19])
(;AB[be][cd][fd][ef][dg][dc][fe][ec][ag][bg][bf][bd][cc][fc][ff][eg][eh][ei][gg][hc]
AW[cf][ah][bh][ch][dh][di][bi][cg]C[HasMathGame\(1*%{1|0}\)]N[6.20])
(;AB[be][cd][fd][ff][ef][dg][ge][ed][dc][ag][bg][bf][bd][cc][ec][gd][gf][eg][eh][ei]
AW[cf][ah][bh][ch][dh][di][bi][cg]C[HasMathGame\(2%{0|-1/2}\)]N[6.21])
(;AB[be][cd][dd][fd][ff][ef][dg][ec][ge][ag][bg][bf][bd][dc][fc][gd][gf][eg][eh][ei]
AW[cf][ah][bh][ch][dh][di][bi][cg]C[HasMathGame\(2%^\)]N[6.22])
(;AB[be][cd][dd][ed][fd][gd][he][gf][ff][ef][dg][ag][bg][bf][bd][hd][hf][eg][eh][ei]
AW[cf][ah][bh][ch][dh][di][bi][cg]C[HasMathGame\(2%1/8\)]N[6.23]))
(;BL[1800.0]WL[1800.0]N[7 nodes, 1-20]
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha][ie]AB[eh][fh][gg][ff]
[ee][dd][ce][bf][bg][ch][ci][bh][be][cd][ed][fe][gf][gh][ge][gd][gc][gb][ga][cc]
C[HasMathGame\(1%1/2v\)]N[7.1])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][ff][dd][ce][bf]
[fh][gg][fe][ed][cg][ga][gb][gc][gd][ge][gf][gh][ch][ci][bg][be][cd][cc]
C[HasMathGame\(2*%{1|{0|||0||0|k}||-1/2}\)]N[7.2])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][dd][ce][bf][fh]
[gg][fe][cg][gf][ee][ga][gb][gc][gd][ge][gh][ch][ci][bg][be][cd][ed]
C[HasMathGame\(2*%{1|0||-1/2}\)]N[7.3])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][dd][bf][fh][gg]
[cg][ee][ff][cd][be][ga][gb][gc][gd][ge][gf][gh][fe][ed][bd][bg][ch][ci]
C[HasMathGame\(2*%{1*|-1/2}\)]N[7.4])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][bf][fh][gg][cg]
[ee][ff][cd][ed][dc][ce][ga][gb][gc][gd][ge][gf][gh][fe][ec][cc][be][bg][ch][ci]
C[HasMathGame\(2*%{1*|0}\)]N[7.5])
(;AW[dg][dh][ah][bh][ch][di][bi]AB[eh][bf][fh][cg][ee][ff][ce][gh][hg][gf][dd][bg][ag]
[be][cd][ed][fe][hf][hh][ei][gc]C[HasMathGame\(2*%{1|1/2||1/4}\)]N[7.6])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][bf][ff][ce][dd]
[fg][fe][ed][bg][ch][ga][gb][gc][gd][ge][gf][gg][gh][fh][fd][cd][be][bh][ci]
C[HasMathGame\(1%{1/2^|0}\)]N[7.7])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][bf][ce][dd][fg]
[fe][bg][ch][gf][ee][ga][gb][gc][gd][ge][gg][gh][fh][ed][cd][be][bh][ci]
C[HasMathGame\(2*%{-1/4|-1/2}\)]N[7.8])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][bf][ce][fg][bg]
[ch][ee][ff][ed][dc][cd][ga][gb][gc][gd][ge][gf][gg][gh][fh][fe][ec][cc][be][bh][ci]
C[HasMathGame\(2*%{0|-1/2}\)]N[7.9])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][bf][ce][fg][ed]
[gf][fe][dd][cg][ga][gb][gc][gd][ge][gg][gh][fh][fd][cd][be][bg][ch][ci]
C[HasMathGame\(2*%{1+\[k|1||1\]|-1/4}\)]N[7.10])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][bf][fg][ed][fe]
[dd][cg][ff][cd][be][ga][gb][gc][gd][ge][gf][gg][gh][fh][fd][bd][bg][ch][ci]
C[HasMathGame\(2*%{1|1+\[1\]||-1/2}\)]N[7.11])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][bf][fg][ed][fe]
[cg][ff][cd][dc][ce][ga][gb][gc][gd][ge][gf][gg][gh][fh][fd][ec][cc][be][bg][ch][ci]N[7.12])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hb][ha][hc][hd][he][hf]AB[eh][bf][fg][fe][cg]
[cd][gf][ee][dd][be][ga][gb][gc][gd][ge][gg][gh][fh][ch][ci][bg][bd][ed]
C[HasMathGame\(2*%{5/4|-1/2}\)]N[7.13])
(;AW[dg][dh][ah][bh][ch][di][bi]AB[eh][fg][fe][cg][dd][be][ff][ed][ce][af][bg][ag][ae]
[cd][fd][fh][ei][gc]C[HasMathGame\(2*%{\(1+4.^*\)|-1/2}\)]N[7.14])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][fg][cg][be][ff]
[ed][ee][dc][cd][bf][fh][gh][gg][gf][ge][gd][gc][gb][ga][fe][ec][cc][bd][bg][ch][ci]
C[HasMathGame\(3%{1/2|-5/4}\)]N[7.15])
(;AW[dg][dh][ah][bh][ch][di][bi]AB[eh][fg][cg][ff][bf][fd][fe][ec][dd][ce][bg][ag][be]
[cd][dc][fc][fh][ei][he]C[HasMathGame\(2*%{1|1+\[k|1\]||-1/2}\)]N[7.16])
(;AW[dg][dh][ah][bh][ch][bi][di]AB[eh][fg][cg][bf][fe][gf][ee][ed][dc][cd][ce][bg][ag]
[be][cc][ec][ge][gg][fh][ei]C[HasMathGame\(3%{1/4|-1}\)]N[7.17])
(;AW[dg][dh][di][ch][bh][ah][bi]AB[eh][fg][cg][bf][fe][ee][gg][hf][ge][dd][ce][bg][ag]
[be][cd][ed][he][hg][fh][ei][fc]C[HasMathGame\(3%{1/8|-3/4}\)]N[7.18])
(;AW[dh][dg][ah][bh][ch][bi][di]AB[eh][fg][cg][bf][ee][dd][ff][cc][bd][be][ei][fh][fe]
[ed][dc][bc][bg][ag][gc]C[HasMathGame\(2*%{3/2|-1/2}\)]N[7.19])
(;AW[dh][dg][ah][bh][ch][di][bi]AB[eh][fg][cg][ee][ff][ed][dc][cd][ce][be][af][bg][ag]
[ae][cc][ec][fe][fh][ei]C[HasMathGame\(3%{1/2|-1}\)]N[7.20]))
(;BL[1800.0]WL[1800.0]N[7 nodes, 21-40]
(;AW[dh][dg][di][bi][ah][bh][ch]AB[eh][fg][cg][ee][ff][fd][ec][dc][cd][ce][bf][bg][ag]
[be][cc][fc][fe][fh][ei]C[HasMathGame\(3%{1/2|-3/4}\)]N[7.21])
(;AW[dh][dg][di][ei][fi][gi][hi][hh][hg][hf][he][hb][ha][hc][hd]AB[eh][ee][ff][ce][bf]
[fh][gg][de][ag][bh][ch][gh][gf][ge][gd][gc][gb][ga][fe][be][af][ah][ci][cc]
C[HasMathGame\(1%1/2\)]N[7.22])
(;AW[dh][dg][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][ee][ce][bf][fh]
[gg][de][ch][gf][fe][bg][gh][ge][be][bh][ci][gd][gc][gb][ga][cc]
C[HasMathGame\(1%{1/2|1/4||0}\)]N[7.23])
(;AW[dh][dg][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][ce][bf][fh][gg]
[de][ch][fe][bg][ff][ed][ga][gb][gc][gd][ge][gf][gh][fd][dd][be][bh][ci][cc]
C[HasMathGame\(1%1/2v\)]N[7.24])
(;AW[dh][dg][di][ei][fi][gi][hi][hh][hg][hf][he][hd][hc][hb][ha]AB[eh][ce][fh][gg][de]
[ch][bg][ff][ee][be][af][ga][gb][gc][gd][ge][gf][gh][fe][ae][ag][bh][ci][cc]
C[HasMathGame\(1%7/16\)]N[7.25])
(;AW[dh][dg][di][ei][fi][gi][hi][ii][ih][ig][if][ie][id][hd][hc][hb][ha][ib]AB[eh][ce]
[fh][de][ch][bg][ff][ee][gh][hg][gf][bf][ci][bh][be][fe][hf][hh][he][ge][gd][gc][gb][ga][cc]
C[HasMathGame\(2*%{-1/4|-1/2}\)]N[7.26])
(;AW[dg][cg][bg][ag][dh][di][bh][bi]AB[eh][ce][fh][gg][gf][fe][ed][dd][cf][cd][fd][ge]
[gh][gc][bf][af][ei]C[HasMathGame\(1%1/2*\)]N[7.27])
(;AW[dg][dh][ch][bh][ah][di][bi]AB[eh][ce][fh][gg][gf][fe][ed][de][bf][cg][bg][ag][be]
[dd][fd][ge][gh][ei][gc]C[HasMathGame\(2*%*\)]N[7.28])
(;AW[dg][ag][bg][cg][dh][di][bh][bi]AB[eh][ce][fh][gf][fe][gh][hg][ee][dd][cf][cd][ed]
[ge][hf][hh][ei][bf][af][gc]C[HasMathGame\(2*%1/8\)]N[7.29])
(;AW[dg][dh][di][cg][bg][ag][bh][bi]AB[eh][ce][fh][gf][gh][hg][dd][cf][ff][fe][ed][cd]
[fd][hf][hh][bf][af][ei][gc]C[HasMathGame\(2*%-\[1\]\)]N[7.30])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][ce][fh][dd][cf][gg][gf][ge][fd][ee][af][bf]
[cd][ed][gd][gh][ei]C[HasMathGame\(2*%{1|^||0}\)]N[7.31])
(;AW[dg][dh][di][ch][bh][ah][bi]AB[eh][fh][gg][ff][fe][ed][de][cd][be][bf][cg][bg][ag]
[bd][dd][fd][gc][gf][gh][ei]C[HasMathGame\(2*%1/2-\[1/2\]\)]N[7.32])
(;AW[dg][dh][di][ch][bh][ah][bi]AB[eh][fh][gg][ff][cd][be][cg][ee][ed][dc][cf][bg][ag]
[bf][bd][cc][ec][gc][fe][gf][gh][ei]C[HasMathGame\(3%{*|-1/2*}\)]N[7.33])
(;AW[dg][dh][di][ch][bh][ah][bi]AB[eh][fh][gg][ff][ge][fd][ed][de][ce][bf][cg][ag][bg]
[be][dd][gd][gf][gh][ei]C[HasMathGame\(2*%1/4\)]N[7.34])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][fh][ff][gh][hg][gf][ee][ed][dc][cd][ce][cf]
[bf][af][cc][ec][fe][hf][hh][ei]C[HasMathGame\(2*%1/2\)]N[7.35])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][fh][ff][gh][gf][ee][ce][cf][hh][ig][hf][dd]
[bf][af][cd][ed][gc][if][fe][ih][ei]C[HasMathGame\(3%{*|-1/4}\)]N[7.36])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][if][ih]AB[eh][ce][fg][gf][fe][ed][de][bf]
[bg][ch][ci][bh][be][dd][fd][ge][gg][fh][gh][he][ie][gc][cc]C[HasMathGame\(1%1/2v\)]N[7.37])
(;AW[dg][dh][di][ei][fi][gi][hi][hh][hg][hf][if][ih]AB[eh][ce][fg][gf][fe][de][bg][ch]
[ee][be][af][ci][bh][ag][ae][ge][he][ie][gc][cc][gg][gh][fh]C[HasMathGame\(2*%-1/4\)]N[7.38])
(;AW[dg][dh][di][ei][fi][gi][ig][ii][hi][ih][if][ie][id][hd][hc][hb][ha][ib]AB[eh][ce]
[fg][fe][de][bg][ch][ee][gg][hf][ge][bf][ci][bh][be][he][fh][hg][hh][gh][gd][gc][gb][ga][cc]
C[HasMathGame\(2*%-1/4\)]N[7.39])
(;AW[dg][dh][di][ch][bh][ah][bi]AB[eh][fg][ff][fe][ed][dc][cd][be][cf][cg][bg][ag][bf]
[bd][cc][ec][fd][gc][ei][fh][hg]C[HasMathGame\(3%{3.^||-1/2|-1}\)]N[7.40]))
(;BL[1800.0]WL[1800.0]N[7 nodes, 41-60]
(;AW[dg][ag][bg][cg][dh][di][bh][bi]AB[eh][ed][cf][fh][gh][hg][gf][fe][de][af][bf][ce]
[dd][fd][ge][hf][hh][ei][gc][cc]C[HasMathGame\(2*%{1+\[3/4\]|0}\)]N[7.41])
(;AW[dg][ag][bg][cg][bh][bi][dh][di]AB[eh][ed][cf][fh][gf][de][gg][ge][fd][af][bf][ce]
[dd][gd][gh][ei][cc][gb]C[HasMathGame\(2*%{1|-1/4}\)]N[7.42])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][ed][cf][fh][de][gg][ge][hf][fe][af][bf][ce]
[dd][fd][he][hg][gh][ei]C[HasMathGame\(2*%{1+\[1/2\]|*}\)]N[7.43])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][ed][cf][ge][fe][fg][gg][hf][dd][ce][af][bf]
[cd][fd][gc][he][hg][fh][ei]C[HasMathGame\(2*%{1|0}\)]N[7.44])
(;AW[dg][dh][di][ch][ah][bh][bi]AB[eh][ed][fg][gf][fe][de][cd][be][bf][cg][bg][ag][bd]
[dd][fd][gc][ge][gg][fh][ei]C[HasMathGame\(3%{^|-1/2*}\)]N[7.45])
(;AW[dg][di][dh][ch][bh][ah][bi]AB[eh][ed][fg][gf][de][bf][cg][ge][fd][ce][bg][ag][be]
[dd][cc][gc][gd][gg][fh][ei]C[HasMathGame\(2*%{1|0+\(-\[1\]\)<2>}\)]N[7.46])
(;AW[dg][dh][di][ch][bh][ah][bi]AB[eh][fg][gf][de][bf][cg][ce][fe][fd][ec][dd][bg][ag]
[be][dc][fc][ge][gg][fh][ei]C[HasMathGame\(3%{0|-1/2+\(-\[1/2\]\)<2>}\)]N[7.47])
(;AW[dg][dh][di][cg][bg][ag][bh][bi]AB[eh][fh][gh][hg][hf][ge][fe][ee][de][cf][bf][af]
[ce][he][hh][ei][cc][gc]C[HasMathGame\(3%{0|+\[1\]||-7/8|-1}\)]N[7.48])
(;AW[dg][dh][di][cg][bg][ag][bh][bi]AB[eh][fh][gh][hg][ee][de][cf][gf][ge][fd][bf][af]
[ce][ed][gd][hf][hh][ei][cc][gb]C[HasMathGame\(3%{0|+\[1/2\]||-5/8}\)]N[7.49])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][fh][gh][ee][de][cf][gf][hh][ig][hf][fe][bf]
[af][ce][ge][if][ih][ei][gc][cc]C[HasMathGame\(3%{1/32|-1/2*}\)]N[7.50])
(;AW[dg][dh][di][ch][bh][ah][bi]AB[eh][ee][cf][gf][fe][fg][ed][dc][cd][be][cg][bg][ag]
[bf][bd][cc][ec][ge][gg][fh][ei][gc]C[HasMathGame\(3%{1/4|-1/2*}\)]N[7.51])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][cf][fh][gg][hf][ge][fd][ee][de][af][bf][ce]
[ed][gd][cc][he][hg][gh][ei]C[HasMathGame\(2*%{1|1+\[1\]||*}\)]N[7.52])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][cf][fh][gg][ge][ee][de][hg][if][he][fe][bf]
[af][ce][ie][ig][gh][ei][cc][gc]C[HasMathGame\(3%{0|+\[1/2\]||-3/4}\)]N[7.53])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][hg][fi][gi][hh][gf][ff][ee][de][cf][bf][af]
[ce][fe][hf][hi][ei][cc][gc]C[HasMathGame\(3%{1/2||0|-1}\)]N[7.54])
(;AW[dg][dh][di][ch][bh][ah][bi]AB[eh][ff][fg][fe][fd][ec][dd][de][cd][be][bf][cg][bg]
[ag][bd][dc][fc][gc][fh][ei]C[HasMathGame\(3%{1/8|-1/4}\)]N[7.55])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][ff][fh][gh][hh][ig][hf][gf][fe][ed][de][cf]
[bf][af][ce][dd][fd][if][ih][ei]C[HasMathGame\(3%{1/4|-1/4}\)]N[7.56])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][ff][gh][hh][ig][hf][gf][de][cf][fi][ee][bf]
[af][ce][fe][if][ih][gi][ei][cc][gc]C[HasMathGame\(3%{1/2||0|-1/2}\)]N[7.57])
(;AW[dg][di][dh][cg][bg][ag][bh][bi]AB[eh][cf][ee][fg][gg][hf][ge][fd][dd][ce][af][bf]
[cd][ed][gd][gc][cc][hg][he][fh][ei]C[HasMathGame\(3%{^+v<2>}\)]N[7.58])
(;AW[dg][dh][di][ch][bh][ah][bi]AB[eh][cf][ee][fg][gg][ge][dd][ce][hg][if][he][fe][cg]
[bg][ag][cd][ed][gc][ie][ig][fh][ei]C[HasMathGame\(3%3/32\)]N[7.59])
(;AW[dg][ag][bg][cg][dh][di][bh][bi]AB[eh][cf][ee][ge][fh][gh][hh][ig][hf][ff][de][bf]
[af][ce][fe][he][if][ih][ei][gc][cc]C[HasMathGame\(3%{1/2|^}\)]N[7.60]))
(;BL[1800.0]WL[1800.0]N[7 nodes, 61-69]
(;AW[cg][ci][ch][bg][ag][ah][bi]AB[eh][fh][gh][hh][ig][hf][ff][de][dh][gf][ef][ce][bf]
[af][be][cc][ee][gc][if][ih][di]C[HasMathGame\(3%{1/2|1/8}\)]N[7.61])
(;AW[cg][ci][ch][bg][ag][ah][bi]AB[dh][ce][bf][eg][fg][gf][fe][ed][dd][af][be][cd][fd]
[ge][gg][eh][di]C[HasMathGame\(2*%{1|-1/4}\)]N[7.62])
(;AW[cg][ci][ch][bg][ag][ah][bi]AB[dh][ce][bf][eg][ed][dd][ff][ge][fd][af][be][cd][gd]
[gf][fg][eh][di][gc][cc][hg][hf]C[HasMathGame\(2*%{1|-1/2}]N[7.63])
(;AW[cg][ci][ch][bg][ag][ah][bi]AB[dh][ce][bf][eg][fg][gf][fe][ee][ed][dc][cd][af][be]
[cc][cb][ca][db][eb][ec][fd][ge][gg][eh][ei][di]C[HasMathGame\(2*%{1|0}\)]N[7.64])
(;AW[cg][ci][ch][bh][bg][ag][ai]AB[ce][bf][eg][fg][fe][ee][gg][hf][ge][dd][af][be][cd]
[ed][fd][gd][hd][id][he][hg][eh][dh][di]C[HasMathGame\(3%{0|-3/4}\)]N[7.65])
(;AW[cg][ci][ch][bg][ag][ah][bi]AB[dh][ce][bf][eg][fg][gf][ge][fd][ed][de][af][be][dd]
[gd][gg][eh][di]C[HasMathGame\(3%+\[1\]\)]N[7.66])
(;AW[cg][bi][ci][ch][bg][ag][ah]AB[dh][ce][bf][eg][fg][gf][de][fe][fd][ec][dd][af][be]
[dc][fc][ge][gg][eh][di]C[HasMathGame\(3%+\[1/2\]\)]N[7.67])
(;AW[cg][bi][ci][ch][bg][ag][ah]AB[dh][ce][bf][eg][fh][gg][hf][ge][fe][ee][de][be][ae]
[af][he][hg][gh][eh][di]C[HasMathGame\(3%^2*\)]N[7.68])
(;AW[cg][bi][ci][ch][bg][ag][ah]AB[dh][ce][eg][gg][ge][fe][ee][de][fg][hg][if][he][af]
[ae][be][cc][gc][ie][ig][eh][di][bf]C[HasMathGame\(3%1/16\)]N[7.69])))
Martin Müller