gokyoshumyo.sgf

(;C[Gokyo Shumyo]
(;ABAWC[problem 1])
(;ABAWC[problem 2])
(;AB[be][cc][cd][cf][eb][ec]AW[bb][bc][bd][cb][db]C[problem 3])
(;AB[bc][cb][db][dc]AW[cc][cd][cf][dd][eb][ec]C[problem 4])
(;AB[ag][bb][bc][be][bf][cb][cd]AW[af][bg][bi][cc][ce][cf][cg][db][dc][ed][fc]C[problem 5])
(;AB[bf][cd][ce][cg][db][dc]AW[bd][be][cb][cc]C[problem 6])
(;AB[ae][bf][bg][ce][da][dc][dd][de][eb][fc]AW[af][bd][be][cb][cc][cd][db]C[problem 7])
(;AB[ae][bd][cb][cd][db]AW[be][bg][ce][dc][de][eb][ed]C[problem 8])
(;AB[bb][bf][cc][ce][cf][cg][dc][dd][ed][ef][fd][fe][gb][gc]AW[ab][af][bc][bd][be][bg][bi][cb][cd][ch][dh][fb][fc][fg][gd][gf][hc][hd]C[problem 9])
(;AB[ce][cg][db][dd][eb][ec][ee]AW[bc][cb][cc][dc]C[problem 10])
(;AB[ae][bf][cd][ce][cf][dc][eb][ec]AW[bd][be][cb][cc][db]C[problem 11])
(;AB[ae][bc][bd][cc][db][dc]AW[ad][be][bf][cd][de][eb][ec][ed]C[problem 12])
(;AB[af][bd][be][cb][cc][db]AW[bf][bg][cd][ce][da][dc][eb][ec]C[problem 13])
(;AB[af][bf][ce][cg][db][dd][de][ec]AW[ad][bb][be][cc][cd]C[problem 14])
(;AB[ac][bf][cf][dd][df][ec][fc]AW[bb][cc][cd][ce]C[problem 15])
(;AB[be][bf][cb][cc][cd][dd]AW[af][bg][ce][cf][ch][db][dc][ee][fc]C[problem 16])
(;AB[bb][bd][be][ca][cc][ci][dc]AW[cb][cd][cf][cg][db][dd][eb][ec][ef]C[problem 17])
(;AB[af][bc][be][cb][cd]AW[bf][bh][cc][cf][db][dc][de][ec]C[problem 18])
(;AB[cb][cf][cg][db][dd][de][ec]AW[bb][cc][cd][dc]C[problem 19])
(;AB[be][cb][cc][ce][db]AW[bf][cf][da][dc][dd][df][eb][fc][ff]C[problem 20])
(;AB[be][cb][cc][ce][cf][dd]AW[bd][bf][bg][cg][db][de][df][dg][ec][ed]C[problem 21])
(;AB[be][cb][cc][cd][ce]AW[bb][bf][cf][ch][db][dd][de][ec]C[problem 22])
(;AB[be][bf][cg][db][dc][dg][ee][fc]AW[ba][bd][cc][ce][cf]C[problem 23])
(;AB[ab][bb][bf][cc][cd][ce][dc]AW[ba][bg][cb][cf][cg][db][dd][de][ec][fd]C[problem 24])
(;AB[bc][bj][cd][ce][ch][ci][dd][dj][ed][ee][eg]AW[bd][be][bh][bi][cf][cg][de]C[problem 25])
(;AB[bb][cb][cf][ch][dd][de][eb][ec][gc]AW[bc][cc][cd][db][dc]C[problem 26])
(;AB[bc][cc][ch][ci][dc][dd][dg][ee][ef]AW[bd][bg][cd][cf][df]C[problem 27])
(;AB[bf][bg][bk][cg][ci][cj]AW[bl][cc][ce][cf][ck][cl][dg][dh][di][dj]C[problem 28])
(;AB[ac][ad][bc][bk][cb][cd][ce][cj][ck][df][di][ef][eh]AW[af][bd][be][bj][cf][cg][ch][ci]C[problem 29])
(;AB[ad][bd][bi][ce][cf][cg][ch]AW[af][bc][bj][cb][cd][cj][dd][de][df][dg][di]C[problem 30])
(;AB[bd][bh][cd][ce][cf][cg]AW[bc][bi][cc][ci][dd][de][dg][dh][ec]C[problem 31])
(;AB[ad][bb][bd][cc][ch][ci][dc][df][ed][eg][eh][fe][ff]AW[be][cd][ce][cg][de][dg][ee][ef]C[problem 32])
(;AB[cc][cd][ch][ci][ck][de][ee][eh][ff]AW[be][bg][ce][df][dg]C[problem 33])
(;AB[bd][bf][bh][bi][cf][ch]AW[bc][cb][cd][ci][cj][cl][de][df][dg][dh]C[problem 34])
(;AB[ad][bd][ce][dc][dd][de][df][fd][fe]AW[bc][be][bf][cc][cf][ch][dg][ec][ef][fc][gd][gf][hc]C[problem 35])
(;AB[ba][bc][bh][cb][ci][cj][dc][df][dg][dh][eb][ed]AW[ab][bb][bg][cc][cd][ce][cg]C[problem 36])
(;AB[ac][bf][ce][cf][db][dd][eb]AW[ae][be][cb][cc][cd]C[problem 37])
(;AB[bd][be][bi][cf][cg][ci]AW[bc][bj][cd][ce][cj][dc][dh][dj][ee][eg]C[problem 38])
(;AB[bd][be][bj][cc][cf][cj][ck][dd][ed][ej][ek][fe][fg][fi]AW[bf][cd][ce][ci][de][df][dg][dh]C[problem 39])
(;AB[bd][bi][bk][bm][cd][cf][ch][ci][cj][cl][df][eb][ec][el][fi][fj][gc][ge][gg][gh]AW[bc][bj][cc][ck][dc][dd][de][dh][di][dj][dk][ee][ef][eg][fh]C[problem 40])
(;AB[bg][cb][cc][ch][dd][df][dg][ec][gc]AW[bb][bc][cd][ce][cf]C[problem 41])
(;AB[bc][bd][bg][bh][bi][cd][cg]AW[bb][bj][cb][cc][ch][ci][cj][de][df][dg][ec]C[problem 42])
(;AB[bc][bj][cc][cd][ce][cj][df][dg][dh]AW[bd][be][bh][bi][cf][cg]C[problem 43])
(;AB[cb][cc][ce][cg][ci][cj][de][dg][ef][ei]AW[bd][be][bg][bh][cf][df]C[problem 44])
(;AB[be][bi][cf][cg][ch]AW[bc][cd][ce][ci][cj][ck][df][dg][dh]C[problem 45])
(;AB[bd][bh][ce][cg]AW[bc][cc][ch][ci][cj][dd][de][dg]C[problem 46])
(;AB[bc][be][bf][cb][cc][cd]AW[ad][bd][ca][ce][cf][cg][ci][db][dc][dd][gc]C[problem 47])
(;AB[bg][cf][da][db][dc][dd][dg]AW[be][cb][cc]C[problem 48])
(;AB[af][bf][cd][ce][cf][db][dc]AW[ba][bb][bd][be][cc]C[problem 49])
(;AB[bc][bh][cc][cd][ce][cf][cg][dg][ee][ef]AW[ac][bb][bd][bg][bi][cb][ch][ci][dc][ec][eh][fd][fe][fg]C[problem 50])
(;AB[bc][bg][bh][cc][ce][cg][dd]AW[bb][bi][cb][ch][ci][dc][df][dg][ec][fe][gc]C[problem 51])
(;AB[bd][cd][db][dc][dd]AW[ba][be][bg][ce][de][eb][ec][ed][gb]C[problem 52])
(;AB[ak][bc][bf][bj][bl][cc][ch][cj][dd][df][dh][ec][ee][ef][eg][ej]AW[ad][aj][bd][bh][bi][cd][ce][cf][cg][de][dg]C[problem 53])
(;AB[bd][cc][ce][de][dg][ef]AW[be][bf][ch][db][dc][dh][eh][fc][ff][fg]C[problem 54])
(;AB[bb][bi][cb][cc][ch][ci][db][df][ec][eg][ei][fc][fe][fg]AW[bc][bd][bg][bh][cd][cg][dc][dd][dg]C[problem 55])
(;AB[ah][bb][bc][bf][bg][bi][cd][ce][ci][di][ef][eg][fc][fd][hc]AW[ba][bh][cb][cc][cf][cg][ch][dc][dd][de][df]C[problem 56])
(;AB[ag][bc][bh][bk][cf][cj][dc][de][di][ec][fd][fg][fi][gf]AW[ah][be][bg][cd][cg][dd][dg][ee][ef]C[problem 57])
(;AB[db][dc][dd][de][df]AW[bg][cf][dg][ea][ef][fb][fc][fe]C[problem 58])
(;AB[bd][cc][ce][cj][ck][df][dh][eg][eh]AW[be][bh][bi][cg][dg]C[problem 59])
(;AB[bb][cb][ch][ci][dc][dd][de][dg][eh]AW[bc][cd][ce][cf][cg]C[problem 60])
(;AB[be][bi][cf][cg]AW[cc][cd][ce][cj][ck][df][dg][dh]C[problem 61])
(;AB[bc][bi][cb][cd][cj][dd][de][dh][di][ef][eg]AW[bd][bh][ce][cf][ch][df][dg]C[problem 62])
(;AB[bd][bh][cd][cf][ch][de][dg]AW[bc][bi][cc][cj][db][dd][dh][di][ed][ef][eg]C[problem 63])
(;AB[bc][bd][bh][cd][cf][cg][df]AW[bb][bi][cb][cc][ch][cj][dd][dg][dh][ee][ef]C[problem 64])
(;AB[af][bc][bf][bg][bh][bk][cc][ck][dd][de][di][dj][ef][eg]AW[bd][be][bi][cf][cg][ch][ci]C[problem 65])
(;AB[bd][bh][cd][cf][ch][de][df]AW[bc][bi][cc][ci][dc][dd][dg][dh][dj][ee][ef]C[problem 66])
(;AB[bc][cc][ci][cj][dc][dd][dh][ee][ef][eg]AW[bd][cd][cg][ch][de][df]C[problem 67])
(;AB[ad][bd][bg][bi][ce][cf][ch]AW[bc][bj][cc][cd][ci][ck][de][df][dg][dh][di]C[problem 68])
(;AB[cd][cf][cg][ck][cl][ef][eg][ej][ek][fh][fi]AW[ch][cj][dg][dj][eh][ei]C[problem 69])
(;AB[bc][be][bg][bi][cg][cj][ck][db][dc][dd][de][dg][dh][di][eh][fg][gc][ge][gg]AW[af][bf][cf][ci][cm][co][df][dj][dk][dl][eb][ec][ed][ee][ef][eg][ei][fh][fi]C[problem 70])
(;AB[bd][bg][cb][cc][ch][dd][de][df][dg][dh]AW[bf][bh][bj][ce][cf][cg][ci][db][ec][ei][fc][fe][fg]C[problem 71])
(;AB[bb][bf][ce][cg][de][eb][ed][fc]AW[bd][be][cd][db][dc]C[problem 72])
(;AB[bc][cd][ce][db][dc][de][ec]AW[be][bg][cf][dd][eb][ed][eg][fb][fc][fd][ff]C[problem 73])
(;AB[bc][bi][cb][cd][ci][dd][di][ee][ef][eg][eh]AW[bd][be][bh][ce][ch][de][dg][dh]C[problem 74])
(;AB[be][bg][cg][ch][cn][dg][dj][dk][dn][dp][eh][ei][fj]AW[bc][bh][bj][ci][cl][de][dh][di][dm][ef][eg][em]C[problem 75])
(;AB[ad][bc][bi][cd][ch][cj][dd][de][dh][ef][eg]AW[bd][be][bg][bh][ce][cg][df][dg]C[problem 76])
(;AB[ad][bc][be][bh][cc][ch][dd][dh][ed][fe][ff][fg]AW[bd][bf][cd][ce][cf][dg][ee][ef]C[problem 77])
(;AB[bg][cg][db][dc][dd][de][df][eb][fb]AW[bc][be][bi][cb][ce][ci][eg][ei][fc][fe][gb][gc]C[problem 78])
(;AB[ad][bc][bi][cd][ch][cj][dd][dh][ed][eh][fd][fg][gc][hc][hf][ie]AW[bd][be][bg][bh][ce][cg][de][dg][ee][fe][gd][ge]C[problem 79])
(;AB[ac][bb][bh][cb][cc][ci][ck][db][dj][ec][ee][eg][ei][fc][fe][fi]AW[bc][bd][bg][cd][cg][dc][dd][de][df][dh][di][eb]C[problem 80])
(;AB[bi][cb][cc][ch][dd][de][df][dg][dh]AW[bh][bj][ce][cf][cg][ci][db][di][ec][eh][fe][fg][gc]C[problem 81])
(;AB[bd][cb][cc][cd][dc][df][ec][ed][ee][ef][fg]AW[bf][ce][cf][ck][db][dd][de][dg][dh][eb][fc][fh][gb][ge][gh][hf]C[problem 82])
(;AB[cb][cc][ch][ci][dd][df][dg][ec][ee]AW[bc][cd][ce][cf][de]C[problem 83])
(;AB[be][bf][cf][ch][dc][dg][ec][eh][fd][fe][gg]AW[cc][cd][ce][cg][ed][ee][ef]C[problem 84])
(;AB[cb][cd][ce][cf][ci][cj][db][eh][fb][fh][gc][ge][gf][ic]AW[cg][dc][de][df][eb][ec][eg][fe]C[problem 85])
(;AB[bi][cd][cj][dc][di][ed][eg][ek][fe][fi][gk]AW[be][ce][ch][df][dg][dh]C[problem 86])
(;AB[bc][cc][cg][ci][da][dc][de][eb][ec][ga]AW[ba][bb][bd][cb][ce][db][df][ed][ee][fc][gb][gd][hb]C[problem 87])
(;AB[ad][ak][be][bj][bl][ce][cg][ch][ci][cj][cl][de][dm][ef][ej][el][ff][fh][fj][fl][ge]AW[bb][bd][bk][cd][ck][cm][cn][dd][df][dg][dh][di][dj][dk][dl][ee]C[problem 88])
(;AB[be][bf][bh][cd][cf][df][ee][ef][fd][ge][hc][hd]AW[bd][bi][ce][dc][dd][de][dh][di][eb][ff][fg][gc][gd][he][hf]C[problem 89])
(;AB[bl][cd][ce][cj][ck][cn][dc][dh][di][ed][ej][fc][ff][fj][gh][hj]AW[cf][cg][dd][de][df][dj][dk][dl][eg][eh][ei][fl]C[problem 90])
(;AB[bb][cg][db][dc][dd][de][df]AW[bd][ce][cf][ch][dg][dh][eb][ef][fc][fe]C[problem 91])
(;AB[bc][bi][bk][cd][dc][de][dg][di][dk][eg][ei]AW[bd][be][bh][bl][cf][cg][ch][cl]C[problem 92])
(;AB[bg][cb][ce][cf][ch][ci][dc][dd][eh][fg][fh][gb][gc][ge][gf]AW[cg][db][de][df][dg][eb][ec][ed][ee][eg][fe][ff]C[problem 93])
(;AB[bb][be][bf][bj][cb][cc][cd][ci][ck][ed][eh][fg][ge]AW[ab][bc][bd][bh][bi][ce][cf][cg][de][dg][ef]C[problem 94])
(;AB[af][bc][be][bg][ce][cg][dc][dd][dh][ec][eh][fb][fh][gb][gg][hc][he]AW[bf][cf][ch][ci][db][de][df][dg][eb][ed][fc][fd][ff]C[problem 95])
(;AB[cd][cf][ch][de][dg][dh][ed][ee][fc][fh][gc][gd][gg][hf]AW[bc][cc][cg][dc][df][ec][ef][fd][fe][ff]C[problem 96])
(;AB[af][ba][bc][bf][bg][bh][bk][cb][ce][cf][ci][cj][db][dc][dd][fb][hc][he]AW[ab][ad][ah][bb][bd][be][bi][bj][cc][cd][cg][ch][de][df][dg][fc][fe]C[problem 97])
(;AB[bd][bg][cf][ch][dd][df][eb][ec][ed]AW[ae][bf][cc][cd][ce][dc]C[problem 98])
(;AB[ch][ci][dd][df][dg][di][fg][fh][fj]AW[cc][cf][cg][cj][cl][cp][dc][dj][ec][ej][fd][ff][fi][gf][gi][hg]C[problem 99])
(;AB[cc][ce][cj][ck][co][dc][dd][eb][eh][ej][fb][fd][fe][ff]AW[bi][cd][cg][ch][de][df][ec][ed][ee][gd]C[problem 100])
(;AB[bb][bf][cg][ch][db][de][dg][ed][eg][fb][fc][gc][gd][ge]AW[bh][cc][ce][ci][dd][df][dh][di][ec][fd][fe][fh][hb][hg][ic][ie]C[problem 101])
(;AB[af][bd][cc][ck][cl][cn][dg][di][dj][ec][eg][fc][fd][ff][gg]AW[bf][bg][bj][ce][ch][ci][de][eh][gd][gi]C[problem 102])
(;AB[be][bi][bj][ce][cg][ch]AW[bd][bk][cc][cj][cl][dd][de][dg][dh][di]C[problem 103])
(;AB[ad][bc][be][bg][cc][ce][cg][dc][df]AW[bd][bh][cd][ch][cj][dd][dg][eb][ec][ed][eg][ff]C[problem 104])
(;AB[bc][be][bg][cc][cf][db][df][dg][ec][eh][fc][fh][gd][gf]AW[bd][bh][bj][cg][ch][dc][dd][de][dh][ee][ef][eg]C[problem 105])
(;AB[ae][bd][cb][cc][cd][ce][cf][db]AW[be][bf][bg][cg][dc][dd][de][df][eb][fc]C[problem 106])
(;AB[bf][cf][db][dc][dd][de]AW[bb][be][cc][cd]C[problem 107])
(;AB[af][bb][bc][bd][be][ca][cb]AW[ae][bf][bg][cc][ce][db][dc][df]C[problem 108])
(;AB[bd][cd][db][dc]AW[ce][cg][dd][de][eb][ec]C[problem 109])
(;AB[bd][cc][cd][db]AW[ce][cg][dc][de][eb][ec]C[problem 110])
(;AB[bc][bd][be][cb]AW[bf][cc][ce][cf][dc][fc]C[problem 111])
(;AB[cc][cg][db][dc][dd][de][df]AW[bb][bc][cb][cd][ce]C[problem 112])
(;AB[cd][cf][cg][dd][ec]AW[bd][be][cc]C[problem 113])
(;AB[be][bf][cb][cc][cd]AW[bg][ce][cf][ch][db][dc][dd][fc]C[problem 114])
(;AB[bd][cb][dc][dd][de]AW[cf][ch][db][df][eb][ec][ee][gc]C[problem 115])
(;AB[cd][cf][ch][dc][dd][eb][fc]AW[bc][bd][cc][da][db]C[problem 116])
(;AB[bb][cc][cd][ce][cf][dd]AW[cb][ch][da][dc][de][df][dg][eb][ec][ed]C[problem 117])
(;AB[bd][cc][cd][db][ec][ed]AW[be][ce][cg][eb][ee][ef][fb][fc][fd]C[problem 118])
(;AB[be][ca][ce][da][db][dc][dd][ef]AW[ab][ba][cb][cc][cd]C[problem 119])
(;AB[bg][ca][ce][cf][db][dd][ea][ec]AW[ba][cb][eb][fb][fc]C[problem 120])
(;AB[bf][ce][cf][da][db][dc][dd]AW[ae][be][cb][cc][cd]C[problem 121])
(;AB[be][bf][cb][cc][cd][gc]AW[bd][bg][ce][cg][db][dc][dd][de]C[problem 122])
(;AB[bc][bd][bh][ce][ci][db][dc][dd][de][eg][ei]AW[bb][be][bf][cb][cc][cd][cg]C[problem 123])
(;AB[bc][be][cb][cd][ce]AW[bf][cc][cg][cj][dc][ec][ee][eg][gc]C[problem 124])
(;AB[bc][be][cc][cd][db]AW[bf][bg][ce][dc][dd][de][eb][ec]C[problem 125])
(;AB[bg][cg][db][dc][dd][de][df][fb]AW[be][cb][cc][ce][da]C[problem 126])
(;AB[bc][bd][be][ca][cb]AW[bf][cd][ce][cg][db][dc]C[problem 127])
(;AB[bf][cd][ce][cg][dc][eb][ec]AW[bc][bd][be][cb][db]C[problem 128])
(;AB[bf][cf][ch][dc][dd][de][fc]AW[be][cb][cc][ce]C[problem 129])
(;AB[be][ce][cg][dc][de][ed][fb][fc][fd]AW[bd][cd][db][dd][eb][ec]C[problem 130])
(;AB[ab][bc][bh][cd][ce][cf][cg]AW[bb][bj][cb][cc][ch][ci][dg][dj][ec][ee]C[problem 131])
(;AB[bd][bg][cf][db][dc][dd][de][df][eb][fc]AW[be][bf][bh][ce][cg][ch][ec][eg][fb][fd][ff][gd][hb]C[problem 132])
(;AB[bd][ce][dc][dd][de][df]AW[be][bf][cf][ch][dg][ec][ef][fc][fe][hc]C[problem 133])
(;AB[cc][ce][dc][dd][eb]AW[bd][cf][ch][db][df][ec][ee][fc][hc]C[problem 134])
(;AB[bc][bf][cc][cf][ch][db][eb][ec][ed][ee]AW[bb][be][cb][cd][ce][da][dc][dd]C[problem 135])
(;AB[bg][cf][ch][dc][de][df][ec][ed][fb][gc]AW[be][bf][cc][cd][ce][dd]C[problem 136])
(;AB[bb][cb][cd][ce][cf][dc][dd]AW[bc][bg][cc][ch][cj][db][de][eb][ec][ed][ef][eh]C[problem 137])
(;AB[bf][bg][cb][cg][ci][db][dc][dd][de][df]AW[bb][be][cc][cd][ce][cf][dg][eg][fc][fe][gc]C[problem 138])
(;AB[be][bf][cg][db][dc][dd][df][dg]AW[bg][cb][cd][ce][cf][ci][fc]C[problem 139])
(;AB[bg][ch][dc][dg][eb][ec][ed][ee]AW[cb][cc][ce][cf][db][fd]C[problem 140])
(;AB[cg][ci][cj][dg][eb][ec][ed][eg][fe]AW[ce][db][dc][df]C[problem 141])
(;AB[bd][ce][db][dc][dd][eb][ed][ee]AW[be][bf][cg][de][df][ec][ef][fa][fb][fc][fd][fe]C[problem 142])
(;AB[cb][cc][cd][dd][ec][ed][fc]AW[bb][ce][cg][db][de][ee][fd][gb][gc][gd]C[problem 143])
(;AB[ac][ad][bb][bj][bk][cc][ce][ci][cl][dc][de][dk][ec][eg][eh][fj]AW[ai][bc][bd][be][bi][cf][cg][cj][dh]C[problem 144])
(;AB[ab][af][bb][bg][cf][ch][df][eb][fb][ff][gc][gd]AW[ba][be][bf][cb][cd][db][dd][fc][fd]C[problem 145])
(;AB[bb][cd][ce][db][dc]AW[cb][cc][cf][ch][dd][df][ed][fb][gc]C[problem 146])
(;AB[af][bc][be][bg][cb][cd][cf][eb][eg][fc][fe][gb]AW[ad][bd][cc][ce][da][db][dc][de][ed]C[problem 147])
(;AB[bb][cc][cd][dc][ec]AW[bf][cf][dd][de][fb][fc][fd][ff]C[problem 148])
(;AB[bh][cc][ci][dc][dg][dh][dj][ec][ee][fb]AW[bc][cb][cd][ce][cf][cg]C[problem 149])
(;AB[bb][bd][cb][dc][dd][de][df][dg][ee]AW[bf][ce][cf][ch][db][dh][eb][ed][eh][fd][ff][ge][gh]C[problem 150])
(;AB[bc][cc][cf][cj][cl][dd][df][di][dj][eg]AW[bd][be][bf][cg][ch][ci]C[problem 151])
(;AB[bb][bg][cb][ch][ci][dc][dd][dg][dj][ef][eh][gc]AW[bc][bf][bh][cc][ce][cf][cg][dh]C[problem 152])
(;AB[bb][bd][cb][ce][cg][ck][dc][dd][df][dg][dh][di][ee]AW[bc][be][bf][bg][bj][cf][ch][ci][cj][db][dj][eb][ec][ed][ej][fe][ff][fh]C[problem 153])
(;AB[bg][ce][cf][ch][dc][eb][ec][ee][ff][gc]AW[be][bf][cc][cd][db][dd]C[problem 154])
(;AB[ad][bd][cb][ce][dc][de]AW[ac][be][cg][ch][da][eb][ec][ed][eg][ff]C[problem 155])
(;AB[bd][cb][cd][dc][de]AW[bf][cg][db][df][eb][ec][ee][ef][gc]C[problem 156])
(;AB[ae][bc][be][cb][cc][cd]AW[ab][bf][ce][ch][cj][cl][db][de][dg][dj][ec][fd]C[problem 157])
(;AB[be][db][dc][dd][de][gd]AW[bf][cf][ch][eb][ef][fc][fd][fe]C[problem 158])
(;AB[bg][cg][db][df][dh][eb][ed][ef][fc][fe][gb][gc]AW[cb][ce][cf][dc][dd][de][ec][fb]C[problem 159])
(;AB[ce][cf][ch][dd][ed][fc][gb][gd]AW[cc][cd][eb][ec]C[problem 160])
(;AB[ba][bc][bi][cb][ci][dc][dg][dh][eb][ed][ef]AW[ab][bb][bd][bh][cc][cd][ce][cg]C[problem 161])
(;AB[bd][cd][dc][dd][eb]AW[be][ce][cg][de][ec][ed][fb][gc]C[problem 162])
(;AB[cc][cd][ce][db]AW[cf][ch][dd][de][df][eb][ec][gc]C[problem 163])
(;AB[ba][bb][bf][cc][cd][ce][dd][df]AW[bg][cb][cf][cg][ch][da][dc][de][eb][ec][ed][ee]C[problem 164])
(;AB[be][bk][ce][ck][dd][dg][di][dj][eg][fe][gb][gc][gd]AW[ae][bd][bf][bj][cf][ch][ci][df]C[problem 165])
(;AB[bb][cb][cd][cg][cj][dc][dd][dk][ee][eg][ei][fd][fg][fi][ge]AW[bc][cc][ce][ch][de][dg][dh][dj][ef]C[problem 166])
(;AB[bb][bd][cb][ce][dd][de][di]AW[bc][be][bf][db][df][dh][ec][ef][fd][hc]C[problem 167])
(;AB[bh][ci][de][dh][ec][ef][eh][fc][gb][gc]AW[cc][ce][cf][cg][fb]C[problem 168])
(;AB[bf][ce][ch][db][eh][fc][fe][ff][gc]AW[bd][cj][dc][dd][de][dg]C[problem 169])
(;AB[bc][bi][cd][cf][cg][ci][de]AW[bj][cb][cc][cj][df][dg][dh][di][ec][ed][ee]C[problem 170])
(;AB[cb][cf][ch][de][df][eb][ec][ed]AW[bb][cd][ce][db][dd]C[problem 171])
(;AB[ad][bf][cc][cd][ce][db][dc]AW[ab][bg][ca][cb][cg][de][df][ed][fc][gb]C[problem 172])
(;AB[bh][ch][dd][de][df][dg][eb][ec][hc]AW[cd][ce][cf][cg][db][dc]C[problem 173])
(;AB[be][cg][ch][cj][dd][eb][ec][ed][ei][ff][fh][ic]AW[bd][cd][ce][db][dc][df][dg]C[problem 174])
(;AB[bd][cd][ce][db][dc]AW[be][bf][cf][de][df][eb][ec][ed]C[problem 175])
(;AB[bh][cf][cg][db][de][ec][ed][ef][fb]AW[be][bf][cb][ce][dc][ee]C[problem 176])
(;AB[bd][cc][cd][db]AW[be][ce][dc][dd][df][eb][fc]C[problem 177])
(;AB[bc][be][cc][cd]AW[bf][ce][cg][db][dc][dd][de]C[problem 178])
(;AB[bf][cc][cd][ce][cg][db][ec]AW[bc][bd][cb]C[problem 179])
(;AB[ce][cf][dc][dd][eb][fc]AW[cc][cd][db]C[problem 180])
(;AB[bf][cf][ch][dc][dd][de][eb][fc]AW[cc][cd][ce][db]C[problem 181])
(;AB[ac][bd][be][cb][cc]AW[bf][cd][ce][cf][db][dc]C[problem 182])
(;AB[be][cb][cc][cd]AW[bf][ce][cg][db][dc][dd][de]C[problem 183])
(;AB[ba][cb][ce][cf][ch][db][ec][ed]AW[bb][bd][be][cc][dc]C[problem 184])
(;AB[bb][bf][ce][cf][db][dd][eb][fd]AW[bd][be][cb][cc][da]C[problem 185])
(;AB[bb][bf][cf][db][dc][dd][de]AW[be][cb][cc][cd]C[problem 186])
(;AB[cc][ci][cj][dc][de][dg][dh][ed]AW[cd][ce][cf][cg]C[problem 187])
(;AB[ah][bb][bf][bg][bi][cc][cd][ce][cj]AW[bh][cb][cf][cg][ch][cl][co][da][dc][dd][de][dj][dk][eb]C[problem 188])
(;AB[be][cb][cd][dd]AW[bf][ce][cg][db][de][ec][ed]C[problem 189])
(;AB[cf][db][dc][de][df][ed][fc]AW[cc][cd][ce][dd]C[problem 190])
(;AB[bb][bf][cc][cd][ce][dc]AW[ba][bg][cb][cg][db][dd][df][ec][ed]C[problem 191])
(;AB[bg][cc][cd][cf]AW[bh][cb][cg][ci][dc][dg][eb][ee]C[problem 192])
(;AB[bc][cc][cg][ch][ci][cj][dc][dd][df]AW[bd][bg][bh][cd][cf]C[problem 193])
(;AB[ad][bc][bh][cd][ce][cf][cg]AW[ab][bb][bi][cc][ch][ci][ck][db][dd][dg][ee]C[problem 194])
(;AB[bc][be][bh][bi][cd][ce][cg][ch]AW[bb][bj][cb][cc][ci][cj][dd][de][dg][dh]C[problem 195])
(;AB[bc][cb][cd][ch][ci][ck][dd][dg][ef]AW[bd][bh][ce][cf][cg]C[problem 196])
(;AB[bg][bi][cd][ce][cf][ch]AW[bc][bj][cb][ci][cj][ck][dc][dd][df][dg][dh]C[problem 197])
(;AB[bc][bi][cb][cd][ci][dd][de][dh][di][ef][eg]AW[bd][bh][ce][cf][ch][df][dg]C[problem 198])
(;AB[ad][bd][bg][cd][de][df][dg]AW[bc][bh][cc][ch][dc][dh][ed][ee][eg][eh]C[problem 199])
(;AB[ah][bd][bi][cd][ce][cg][ch]AW[ai][aj][bc][bj][cc][cj][dc][de][df][di][ed][eh]C[problem 200])
(;AB[bc][cc][ci][cj][dd][de][df][dg][dh]AW[ad][bd][bh][cd][cf][ch]C[problem 201])
(;AB[bc][bd][be][bg][bh][bi][ce][cf][cg]AW[ag][bb][bf][bj][cb][cc][cd][ch][ci][ck][de][dg][ed]C[problem 202])
(;AB[bd][be][bf][bj][cg][ch][ci]AW[bc][bg][bh][bk][cc][cd][ce][ck][cm][df][dg][dj][ei]C[problem 203])
(;AB[bc][cb][ci][cj][dc][dd][dg][dh][ee][ef]AW[be][cd][cg][ch][de][df]C[problem 204])
(;AB[bb][bj][bl][cb][cg][ck][dc][de][df][di][dj][ec][eg]AW[bg][bh][bi][cc][cd][ce][cf][cj][db]C[problem 205])
(;AB[bd][bh][cc][cg][ch][ci][dc][df][dg][ed][ee][ef]AW[bb][bc][bi][bj][cb][cj][db][dh][dj][ec][eg][eh][fc][fd][fe][ff][fj]C[problem 206])
(;AB[bb][bj][ca][ce][ck][db][de][df][dh][dj][ec][ed][eh][ek][fb]AW[bc][bd][be][bg][cb][cc][cf][cg][ci][dc]C[problem 207])
(;AB[be][cc][cd][ch][de][df][dg][dh][di][ej][fi]AW[bf][bh][ce][cf][cg][ci][cj][cl][db][dd][dj][eb][ed]C[problem 208])
(;AB[cf][cg][dd][de][ec][gc]AW[be][ce]C[problem 209])
(;AB[bh][bi][cg][ch][db][dc][dd][de][df][dg]AW[bc][bf][bg][bj][cb][ce][cf][ci][ck][di][eh][fc][fe][fg][gb]C[problem 210])
(;AB[bb][bj][cb][cj][dc][de][dg][dj][ec][ed][ef][ei]AW[bc][cc][cd][ce][cf][cg][ch][ci][dd]C[problem 211])
(;AB[ba][bb][bd][bf][cc][ce]AW[bg][cb][cg][cj][db][dc][dd][de][df]C[problem 212])
(;AB[bb][bd][cb][cc]AW[bg][cd][ce][cf][db][dc][ed]C[problem 213])
(;AB[bf][cb][cf][db][dc][dd][de][ef]AW[bb][bg][cc][cd][ce][cg][df][dg][fc][fe][gd]C[problem 214])
(;AB[bd][cd][de][ec][ed][ee]AW[be][cc][ce][cg][dc][dd]C[problem 215])
(;AB[ad][bc][cd][cg][ck][cl][cm][dd][de][df][dg][dj]AW[af][bd][be][bg][ce][cf][ci]C[problem 216])
(;AB[af][bg][bh][ch][db][dd][de][dh][eb][ec][eg]AW[bb][bd][bf][cb][cc][cd][cf][cg][dc]C[problem 217])
(;AB[af][bd][bf][bh][bi][cd][dc][dd][dg][dh]AW[ad][ae][bc][cc][ci][cj][ck][db][df][ec][ef][eg][ej][fc][fe][fi]C[problem 218])
(;AB[bb][cd][db][dd][ed][ef][eh][fd][ff][fg]AW[cb][ce][cg][ci][dc][de][dg][eb][eg][fc][fh][fi][gc][ge][hf][hh][ic]C[problem 219])
(;AB[ab][bc][bi][cb][ch][ci][de][df][eb][eh][fc][fd][ff]AW[bb][bd][bg][bh][cd][ce][cf][dc][ed]C[problem 220])
(;AB[ad][bb][ca][cd][db]AW[af][bg][cf][da][dd][de][dg][ea][eb][ec]C[problem 221])
(;AB[bf][cf][ci][da][dc][eb][ed][ee][fb][gc][ge]AW[bb][be][cb][cd][db][dd][ec]C[problem 222])
(;AB[bf][ce][ch][dc][dd][de][df][dg][dh]AW[bb][cc][cf][ci][cj][db][ec][ef][eh][ei][ej][fd][ff]C[problem 223])
(;AB[ce][cf][ch][db][ec][ee][fc][fd][fe]AW[cb][cd][dc][dd][ed]C[problem 224])
(;AB[cf][cg][ci][da][db][dc][dd][de][dg][gb][ic]AW[bc][be][cb][ce][df][eb][ef][fc][fe][gc]C[problem 225])
(;AB[bd][cf][db][dd][de][ec][fc]AW[bc][cb][dc]C[problem 226])
(;AB[bi][cb][cc][ci][da][db][eb][ec][ee][eg][eh][fe]AW[bb][bc][bh][ca][cd][cg][dc][dd][dg]C[problem 227])
(;AB[ba][bg][cb][cg][db][dg][ee][ef][fc]AW[bb][cc][cf][dd][de]C[problem 228])
(;AB[bd][bi][cc][ce][cf][cg][cj][cl][dc][di][dj][ed][fc][fd][fi][gg][gh][he]AW[cd][ch][ci][dd][de][df][dg][dh][ee][fb][ff][fg]C[problem 229])
(;AB[bf][bm][cf][ci][ck][cm][dg][dh][di][dj][ef][eh][ff][fh][gg]AW[be][bg][bj][bk][bn][cg][cj][cn][de][df][dk][dn][ed][ei][ej][el][ge][gf][gi][hg][hh]C[problem 230])
(;AB[cf][ch][ci][de][dg][di][ee][ei][fe][fi]AW[be][bf][bh][bi][cd][cj][dk][ec][eg][fd][fj][ge][gf][gg][gh][gi]C[problem 231])
(;AB[bc][bd][ce][dc][dd][de][df][dg][dh]AW[bb][bf][bk][cd][cf][cg][ci][db][di][ec][ei][fc][fe][fg]C[problem 232])
(;AB[bf][bg][cd][ce][db][dc][dd][ed][fb][fc]AW[bd][be][bh][cb][cc][cg][ch][df][fd][fe][gb][gc]C[problem 233])
(;AB[bd][be][bh][cd][ch][dc][dg][eb][ec][fd][ff]AW[bf][cb][cc][ce][cf][db][dd][de]C[problem 234])
(;AB[bb][be][ca][db][dc][dd]AW[bf][cf][da][de][ea][eb][ec][ed]C[problem 235])
(;AB[ac][ad][af][ag][bb][bg][bi][cc][ce][ci][dc][de][di][eg]AW[ah][bc][bd][be][bf][bh][cg][ch]C[problem 236])
(;AB[ad][aj][be][bi][bk][cf][ck][dg][dk][ef][ek][fj][gf][gh][he]AW[bb][bd][bj][cd][ch][ci][cj][dd][dh][dj][eh][ei]C[problem 237])
(;AB[bc][bi][cb][cd][ch][ci][cj][cl][dd][de][df][dl][eg][eh][ek][fj]AW[bd][bh][ce][cf][cg][dg][dh][di][dj][dk]C[problem 238])
(;AB[bc][bm][cb][cd][ce][ci][cm][df][dl][eh][ei][ej][ek]AW[be][bl][cf][cg][ck][di][dj]C[problem 239])
(;AB[be][bf][bm][bo][bp][cc][cd][ck][cl][cm][cn][de][df]AW[af][bg][bn][bq][ce][cf][ch][ci][co][cp][dg][dj][dk][dn][em]C[problem 240])
(;AB[bg][ch][dc][dd][de][di][ef][ei][ff][fg][fh]AW[bb][bj][cc][cd][db][dh][dj][ec][ed][ej][fe][fi][gf][gg][gi]C[problem 241])
(;AB[ac][ad][bc][be][bi][cc][cd][cf][cg][ci]AW[ab][bb][bj][cb][ce][cj][ck][dc][dd][de][dg][di][eh][ej][fc]C[problem 242])
(;AB[ak][bb][bc][bd][bj][cb][cj][cl][dc][de][dh][di][ec][ek][fe][ff][fh][gc]AW[ad][aj][be][bi][cc][cd][cg][ci][dd][dg][ed][ee][ef]C[problem 243])
(;AB[bb][bc][bd][bj][cc][ce][cj][ck][dh][di][ec][ef][eg][ej][fd]AW[ad][be][bi][cd][cg][ci][dd][de][df]C[problem 244])
(;AB[bg][ce][cg][dc][dd][df][ea][eb][fc]AW[be][bf][cb][cc][db]C[problem 245])
(;AB[bc][bl][cc][cd][cg][ck][dj][dl][ed][eg][ej][ff]AW[bd][bg][ce][cf][ci][cj][ef]C[problem 246])
(;AB[ae][bf][ce][cf][cg][db][eb][ef][fc][fd][fe]AW[be][cb][cc][cd][dc][de][ed][ee]C[problem 247])
(;AB[ba][bd][cd][db][dc]AW[bb][be][ce][dd][de][eb][ec]C[problem 248])
(;AB[ba][bb][bf][cc][cd][ce][dd][df]AW[ah][cb][cf][cg][ch][da][dc][de][eb][ec][ed][ee]C[problem 249])
(;AB[bf][bg][bh][cd][ce][cg][ch]AW[af][be][cf][de][df][dg][ec][hc]C[problem 250])
(;AB[bc][bh][cc][ci][db][de][dg][dh][eb][ec][ed][ef]AW[bb][cb][cd][ce][cf][cg][dc][dd]C[problem 251])
(;AB[ag][bg][bi][cc][cf][ch][cj][da][db][dc][dd][df][di][ed][ee][ef]AW[ae][bb][bc][bf][ca][cd][ce][cg][de][dg][dh][eb][ec][fg][fh][gc][ge]C[problem 252])
(;AB[ac][bb][bd][cd][cg][ch][db][dc][ef][fd]AW[ad][ae][be][ce][dd][de][gc][gd][ge]C[problem 253])
(;AB[bb][cd][db][dc][dd]AW[be][cf][eb][ec][ed][ee]C[problem 254])
(;AB[ad][bc][bh][cd][ci][dd][ed][ee][eh][ei][ff][fg]AW[bd][be][bg][ce][cg][de][dg][ef][eg]C[problem 255])
(;AB[bb][be][cb][cc][cf][cg][ch][ed][eh][fb][fc][fe][ff][hb]AW[ab][bc][bd][cd][dd][de][df][dg][ec]C[problem 256])
(;AB[ac][bd][cb][cc][db]AW[be][cd][ce][dc][eb][ec]C[problem 257])
(;AB[cb][cd][ce][cf][cg][db]AW[bh][ci][dc][de][df][dh][eb][ec][eh]C[problem 258])
(;AB[bg][cb][cf][ch][db][dc][de][df][fc]AW[af][bb][bf][cc][cd][ce]C[problem 259])
(;AB[bb][bc][bg][cd][ce][cf][dd]AW[ab][ba][bh][cb][cc][ch][de][df][dg][ec][ed]C[problem 260])
(;AB[bb][bd][cb][dc][dd][de][df][dg][di][eh][gd]AW[bh][ce][cf][cg][ch][ci][db][dh][eb][eg][fc][fd][fe][fg]C[problem 261])
(;AB[bd][bh][bi][cd][cf][cg][dd][de]AW[bb][bc][bj][ce][ch][ci][ck][dc][df][dg][ec][ed][ee]C[problem 262])
(;AB[bb][bg][cc][ce][cf][dc][dd]AW[bd][bh][cb][cg][ci][db][de][df][dg][ec][fc][fe]C[problem 263])
(;AB[ah][bd][bi][cd][ce][cg][ch][de][df]AW[bc][bj][cb][ci][cj][dc][dd][dh][ee][ef][eg]C[problem 264])
(;AB[be][bf][cb][cc][cd][dc][dd][de][ed]AW[bd][bg][ce][cf][ch][db][df][ec][ee][ef][fc][fd][hc]C[problem 265])
(;AB[bj][ce][ch][ci][ck][db][dc][dd][de][eg][eh]AW[be][bg][bh][bi][cc][cd][cg][dg]C[problem 266])
(;AB[bc][bd][cb][db][dc][fc]AW[bb][cc][cd][ce][cg]C[problem 267])
(;AB[bb][bg][cb][cf][dc][dd]AW[bc][be][cc][db][eb][fc]C[problem 268])
(;AB[bd][bf][cb][ce][dc][dd][de]AW[bc][be][cc][cd][db][eb][ec]C[problem 269])
(;AB[bc][bd][be][bf][cc][dc][eb][fb][gc]AW[bb][bg][cb][cd][cf][cg][db][dd][ec][fd]C[problem 270])
(;AB[bd][be][cb][cc][ec][ed]AW[bb][bc][cd][cf][cg][dd]C[problem 271])
(;AB[bf][cd][ce][cf][cg][db][dc][ec]AW[bd][be][cb][cc][dd][de][fb][fd][gc]C[problem 272])
(;AB[bb][bc][bg][cd][cf][cg][dc][dd][de][ef]AW[ba][bd][be][bf][cb][cc][ce][db][ec][fc]C[problem 273])
(;AB[bd][be][bf][ca][cd][db][de][ea][ec][ed][ee][fb]AW[bc][bg][cb][cc][ce][cf][cg][dc][dd]C[problem 274])
(;AB[bg][bi][cb][cc][cd][cg][ch][de][df]AW[af][bd][ce][cf][ci][dg][dh][di]C[problem 275])
(;AB[bg][cc][ce][cf][cg][ch][dc][dd]AW[bd][be][bf][cd][db][de][df][ec][ed][gc]C[problem 276])
(;AB[bd][bh][cc][cd][cf][cg][ch][de][ee]AW[be][bf][bg][cb][ce][db][dc][dd]C[problem 277])
(;AB[bc][bf][cb][cg][db][dc][dd][df][ee][fd][fe]AW[bd][cd][ce][da][de][eb][ec][ed][gc]C[problem 278])
(;AB[bc][bd][bh][cc][cf][cg][dc][ec][ef][eh][fc][ff][gc][gd][ge][gh]AW[bb][be][bi][cb][cd][ce][ch][cj][db][dd][dh][eb][ed][fd][fe][gb][gf][hb][hf][ic][ie]C[problem 279])
(;AB[ab][bc][cb][cc][cf][cg][dd][de]AW[bb][bd][cd][db][dc][fc]C[problem 280])
(;AB[cb][cf][cg][dc][dd][de]AW[be][cc][cd][db][eb][fc]C[problem 281])
(;AB[bd][be][bf][cd][db][dc][eb][fc][gc]AW[bc][cc][ce][cf][cg][ci][dd][ec][ed]C[problem 282])
(;AB[bd][cd][db][dc][fc]AW[bc][cb][cc][cf][dd][de]C[problem 283])
(;AB[cb][ce][cf][cg][dc][ec][ee][fd]AW[be][cc][cd][db][eb][fc][gc]C[problem 284])
(;AB[bc][bd][cd][cg][de][df]AW[be][cc][ce][dd][ec][fd]C[problem 285])
(;AB[bd][be][bf][bg][cc][dc][ec][fb][gb][gc]AW[bb][bc][bh][cd][cf][cg][ci][dd][ed][fc][fd]C[problem 286])
(;AB[be][bf][cc][cd][cg][dc][ec]AW[bc][bd][cb][ce][dd][de][fb][fd][gc]C[problem 287])
(;AB[bb][bc][bd][bi][cc][cf][cg][ch][ci][dd][eb][ec][ed][ef]AW[ba][be][bf][bg][bh][cb][cd][ce][db][dc][ea][fb][gc]C[problem 288])
(;AB[cc][cd][cg][db][dc][de][df]AW[be][ce][dd][eb][ec][ed]C[problem 289])
(;AB[be][bg][ce][cg][dc][dd][fc]AW[bd][cd][ch][ci][de][df][dg]C[problem 290])
(;AB[bg][cb][cc][cd][dc][de][df][ec]AW[be][ce][db][dd][eb][ed][fc][fe]C[problem 291])
(;AB[bc][cc][ce][cf][cg][dd][ed][ee]AW[bd][be][cd][dc][de][ec][fc]C[problem 292])
(;AB[bb][cb][ce][db][dd][eb][ed][fc][gc]AW[bc][cc][cf][cg][ci][dc][ec][ef][fd][fe]C[problem 293])
(;AB[be][bg][ce][cg][cj][db][dc][de][dg][ed][ee][ef][fd][gc][gd]AW[ae][af][bd][bf][cc][cd][cf][dd][df][eb][ec][eg][fc][fg][gb][ge][hb][he]C[problem 294])
(;AB[be][cd][ch][dd][df][dg][ee][fe]AW[bc][cb][ce][cf][de][ec][ed][gd]C[problem 295])
(;AB[bg][ce][cf][dc][dd][df][eb][eg][fd][fg][gc]AW[bh][cb][cc][cd][cg][ci][db][de][dg][ee][ef]C[problem 296])
(;AB[bb][be][cc][cd][cg][de][df][dg][ec][fc][fe]AW[bf][bg][cb][ce][cf][ch][ci][db][dc][dd]C[problem 297])
(;AB[bf][bg][cc][cd][ce][cg][ch][da][db][dc][ea]AW[bd][be][cf][dd][de][df][eb][ec][fa][gb]C[problem 298])
(;AB[ag][bf][bh][cd][ce][cg][ch]AW[be][cf][de][df][dg][eb][ec]C[problem 299])
(;AB[bb][bf][cc][cd][ce][cf][cg][dd][ec][fc][gb][hc]AW[ad][af][bc][bd][be][bg][bi][cb][ch][db][dc][eb][fb]C[problem 300])
(;AB[bh][ce][ch][ci][dc][df][dg][ed][ee][eh][fc]AW[ah][bg][bi][bk][cd][cf][cg][cj][dd][de]C[problem 301])
(;AB[ah][bg][bi][cd][ce][cf][ch]AW[be][bf][cg][dc][df][dg][ed][gc]C[problem 302])
(;AB[be][bf][bg][cc][cd][dc][eb][fc][gc]AW[bd][bh][ce][cf][cg][ch][dd][ec][ed]C[problem 303])
(;AB[bb][be][cb][ce][cf][cg][dc][dd][fc][gc]AW[ae][bc][bd][bf][bg][bi][cc][ch][db][eb]C[problem 304])
(;AB[bc][cc][cd][ch][cj][dd][ee][ef][eg]AW[bd][be][cb][db][de][df][ec][ed]C[problem 305])
(;AB[ag][bg][ce][cf][cj][de][df][di][eg][fg][fi]AW[bf][bh][cd][cg][dc][dg][ed][ef][ff][gf]C[problem 306])
(;AB[be][bf][cd][ce][cg][ch][ci][db][dc][fc]AW[bg][bh][cb][cc][cf][dd][de][df]C[problem 307])
(;AB[bc][bd][bf][cd][ce][df][eb][ed][ee][ef][fb][fc]AW[bb][be][cb][cc][cf][cg][db][dc][dd][de][ec]C[problem 308])
(;AB[be][bf][cc][cf][cg][cj][dc][de][di][dj][ee][ef][eg][eh]AW[ag][bd][bj][cd][ce][ch][ci][ck][cl][df][dg][dh]C[problem 309])
(;AB[ad][bc][bi][bj][cc][cd][ce][ch][ci][ck][cl][de][df][dg]AW[bd][be][bf][bh][cb][cf][cg][cj][dc][dh][di][dj][eb][ed][ee][ef][eg]C[problem 310])
(;AB[bb][bc][cc][cd][de][ec][ee][fb][fc]AW[ba][cb][ce][cf][db][dc][dd][eb]C[problem 311])
(;AB[bc][bg][cc][cd][cg][df][dg][ec][ef][fd][fe]AW[bd][be][bh][ce][cf][ci][de][ee][eg][ei][ff][fg]C[problem 312])
(;AB[bc][bd][bf][cd][cf][db][dc][fc]AW[bb][bg][cb][cc][cg][dd][de][df][dg]C[problem 313])
(;AB[bg][cb][cc][cf][cg][dd][de][ec]AW[bc][bf][cd][ce][db][dc][eb][fc]C[problem 314])
(;AB[bf][bh][cc][ce][cf][ch][dc][de][eb][ed][ee]AW[af][bd][be][bg][cd][dd][ec][fb][fc][gc]C[problem 315])
(;AB[ae][af][bd][bf][cd][cf][dc][dg][ec][eg][fd][fg]AW[be][bg][ce][cg][cj][dd][de][df][dh][eh][ej]C[problem 316])
(;AB[ai][bb][bg][bh][cb][cc][cf][cg][ci][dd][de][ec]AW[bc][be][bi][bj][cd][ce][ch][cj][df][dg][dh][ej]C[problem 317])
(;AB[be][cf][df][dg][ef][eh][ei][fe][fi][ge][gi]AW[bd][cg][ch][dd][dh][ec][ee][eg][ff][fg][fh]C[problem 318])
(;AB[af][bd][be][bg][cd][dc][ec][fb][fc]AW[bf][bh][cb][cc][ce][cf][ch][dd][eb][ee]C[problem 319])
(;AB[bc][bg][cc][cd][cf][ch][dc][df][ed][ee][ef]AW[bd][be][bf][cb][ce][db][dd][de][ec][fc]C[problem 320])
(;AB[bc][bg][bh][cc][cf][ch][dc][df][ed][ee][ef]AW[ag][bd][bf][cb][ce][cg][db][dd][de][ec][fb][gc]C[problem 321])
(;AB[bb][cb][cd][ce][db][eb][ed][ee][fc][gc]AW[bc][bh][cc][cg][dc][df][ec][ef][fd][fe][ff]C[problem 322])
(;AB[bd][bg][cd][cg][de][dg][ee][ef][eh]AW[bc][bf][cc][cf][df][ec][eg][fd][fe][ff][fg]C[problem 323])
(;AB[bb][bh][bk][cc][cd][ch][cj][cl][dd][de][df][dg][dj][eg][ej][fd][fg][fh][fi]AW[bc][bd][bi][bj][cb][ce][cf][cg][ci][da][dc][dh][di][eb][ec][eh]C[problem 324])
(;AB[bc][bd][bh][ce][cf][ch][df]AW[be][bf][bg][cd][dd][de][ec]C[problem 325])
(;AB[be][bj][ce][cf][ck][df][dg][di][eh][ei]AW[bf][bg][cc][cd][ch][dh][ee][ef][eg][fc][fh]C[problem 326])
(;AB[ab][bd][bi][cc][cd][cj][cl][dd][de][di][dj][ee][ef][eg][eh][ej]AW[ac][ad][ba][bc][be][cb][ce][ch][ci][dc][df][dg][dh][ec][ei][fd][fg][fh][fi]C[problem 327])
(;AB[ce][ci][ck][df][eg][eh]AW[cc][cg][dg][ed][ef][fc][ff]C[problem 328])
(;AB[bc][cc][cf][dc][dg][ed][ee]AW[ab][bd][cd][dd][ec][fc]C[problem 329])
(;AB[bd][bg][bj][ce][cf][cg][ci][df][di][eg][ei][fg]AW[bc][be][bh][bi][cc][cd][ch][de][dg][dh][ee][ef]C[problem 330])
(;AB[bd][bg][cd][cg][dg][ed][ee][ef]AW[be][bf][bh][ch][cj][de][df][eg][eh]C[problem 331])
(;AB[bg][bh][cf][ck][df][dh][di][dj][eg][fg]AW[bi][cc][cd][cg][ch][ci][dg][ee][ef]C[problem 332])
(;AB[bd][bf][cd][ce][dd][df][ec][eg][fc][ff]AW[be][bk][cc][cf][cg][ch][cj][dc][de][ed][ee]C[problem 333])
(;AB[bg][bi][cc][cd][cg][ch][cj][ck][de][df]AW[bf][cf][ci][dd][dg][dh][di][ed][ff]C[problem 334])
(;AB[bd][be][bg][bi][cc][ce][df][dh][di][ef][eg][fc]AW[ae][bf][bh][cf][cg][dd][de][dg][eh][fb][fe][fh]C[problem 335])
(;AB[ch][de][df][dh][ef][eg][ei][ej][gf][gi][hh]AW[cc][cd][cf][cg][cj][ck][dg][di][eh][fg][fh]C[problem 336])
(;AB[bk][cc][ce][ck][de][di][dk][ef][eg][eh][ei][ej]AW[bj][ch][cj][df][dg][dj][ee][ek][fe][ff][fj][fk][gh]C[problem 337])
(;AB[bg][bh][cc][ce][ci][de][di][dj][ef][eg][eh]AW[bf][cf][cj][ck][dg][dh][dk][ei][ej]C[problem 338])
(;AB[bg][ce][cf][ci][cj][ee][ef][eh][ej][fg][fh]AW[bd][bh][cd][ch][dd][dg][eg][fd][fe][ff]C[problem 339])
(;AB[be][cc][ce][cg][ch][de][dh][ef][eg]AW[bf][cf][ci][df][di][ee][ei][fe][ff][fh]C[problem 340])
(;AB[bg][cb][cd][cg][ch][ci][de][df]AW[be][bf][cf][ck][cl][dg][dh][di][dj]C[problem 341])
(;AB[cc][ce][ch][de][di][ee][ei][ff][fg][fh]AW[cf][cg][ef][eg][eh][fe][fi][ge][gi]C[problem 342])
(;AB[cc][ce][cj][ck][de][dk][ef][eg][eh][ei][ej]AW[bi][df][dg][dh][di][dj][ee][ek][fe][fj][fk][gg]C[problem 343])
(;AB[ce][cf][ci][cj][ck][dg][dh]AW[bi][cd][cg][ch][dd][de][df]C[problem 344])
(;AB[bd][bh][bi][ce][ci][df][dh][ed][ee][ef][eh][fg][fh]AW[bc][bg][cd][cg][ch][dc][dg][ec][eg][fd][fe][ff]C[problem 345])
(;AB[bd][bf][bh][cd][cf][ci][de][dh][ee][ef][eh][ff][fg]AW[bc][bg][cc][cg][dd][dg][ed][eg][fd][fe][fh][gf][gg][gh]C[problem 346])
(;AB[bd][cd][cf][cg][dc][dh][ec][eg][eh][fc][fe]AW[bc][cc][ch][db][dd][de][df][dg]C[problem 347])
(;AB[bc][bg][cc][cg][dc][dg][ed][ee][ef]AW[bd][bf][cb][db][dd][de][df][ec][fb][gc]C[problem 348])
(;AB[ac][bc][bg][cb][cc][cg][dd][de][fc][fd]AW[ad][bd][be][bf][cd][db][dc][fb][gc]C[problem 349])
(;AB[bd][be][cf][cg][ci]AW[af][bf][bh][cc][cd][ce]C[problem 350])
(;AB[ah][be][bf][bg][cd][cg][ch][dd][di][ei][fj]AW[bc][bd][bi][ce][cf][ci][ck][dg][dh][ef]C[problem 351])
(;AB[bg][bh][bi][cd][cg][de][df]AW[bf][cc][cf][ch][ci][cj][cl][db][dc][dg][ef]C[problem 352])
(;AB[ak][bb][bc][bf][cf][ci][db][df][dj][dk][ec][eg][eh][ei][fe][ff][fj]AW[al][be][bk][bm][cc][cd][ce][ch][cj][ck][cm][de][dg][dh][di][dl][ee][ef]C[problem 353])
(;AB[bb][bf][bg][ca][cd][cf][ch][db][dc][dd][de]AW[af][bc][bd][be][cb][cc][ce][df][dg][ee][gb][gc]C[problem 354])
(;AB[ae][be][bj][ce][ci][de][ef][eh][ei][ff][fg]AW[ad][bd][cd][cg][dd][df][dh][ed][ee][eg]C[problem 355])
(;AB[bd][ce][cf][df][dg][ef][eh][ei][fe][ge][gh]AW[bc][cc][cd][cg][ch][cj][dh][ed][ee][eg][ff][fg]C[problem 356])
(;AB[bi][bj][cc][ce][ch][de][dh][eh][fe][ff][fg]AW[bk][cf][cg][ci][ck][di][ef][eg][fh][fi]C[problem 357])
(;AB[be][bg][cc][cd][cf][cg][cj][ck][cl][dc][dh][di][ef][eg][eh]AW[bf][bi][bj][ce][ch][ci][dd][de][df][dg][dj][ej][fd][fe][fi][gg]C[problem 358])
(;AB[bc][bd][bk][cc][ce][cf][cg][ch][cl][dc][dj][dk][ed][ee][ef][eg][eh][ei][ek]AW[bh][bj][cd][ci][cj][dd][de][df][dg][dh][di][ec][ej][fc][fd][fj][gf][gh][gi]C[problem 359])
(;AB[be][bj][cf][ch][ci][de][df][dj][ed][ej][fd][fe][fg][fh]AW[bd][bk][cd][ce][cj][ck][dd][dh][di][ee][ef][eg]C[problem 360])
(;AB[be][cf][df][dg][dh][di][ee][ej][fe][fg][fj]AW[bd][ch][ci][cj][dd][de][dj][ef][eg][eh][ei]C[problem 361])
(;AB[ah][aj][bg][bi][cf][cg][ch][ci][cj][ck][de][dl][dm][ee][fg][fi][fk][fm]AW[be][bf][bj][bk][bl][cc][ce][cl][cn][df][dg][dh][di][dj][dk]C[problem 362])
(;AB[bb][bf][ca][cf][db][dc][de][fc][fd][fe]AW[bc][be][cb][cc][cd][dd][ed]C[problem 363])
(;AB[bb][bc][bg][ca][cg][db][de][df][eb][fb][fe][gc][gd]AW[ac][bd][bf][cb][cc][ce][dc][ec][fc]C[problem 364])
(;AB[bd][cb][cc][cd][ce][de][ee][fc][fe][gc][gd]AW[ad][bb][bc][be][bg][ca][cf][db][dc][dd][ed][eg][fd][ge][gf]C[problem 365])
(;AB[ae][be][bg][cc][cd][cf][dg][dh][eb][ec][ed]AW[bc][bd][cb][ce][db][de][df][ea][eg][fb][fe][gc]C[problem 366])
(;AB[ad][bb][bc][be][bf][bg][cc][ch][de][dg][eb][ee][eh][fc]AW[bd][cb][cd][ce][cf][cg][db][dc][dd]C[problem 367])
(;AB[af][bd][be][bg][cb][cc][ch][dg][ec][eg][fc][fe]AW[bf][ca][cd][cf][db][dc][dd][df]C[problem 368])
(;AB[bb][bd][bg][cd][ce][cf][cg][da][db][dc][ed]AW[ad][ag][ba][bc][be][bf][bh][cb][ch][dh][eb][ef][fc][fd][fe]C[problem 369])
(;AB[bf][cd][ce][cf][cg][ch][de][eb][ec][ed][gd]AW[af][bd][be][bg][bh][cc][ci][dc][dd][di][ee][ef]C[problem 370])
(;AB[af][bd][be][bg][bh][cc][cj][dc][dh][di][ed][eh][ff][fg]AW[bf][bk][cd][ce][cf][cg][cl][dg][eg][ei][ek][fh][fi]C[problem 371])
(;AB[ab][ac][ai][bb][bd][be][bf][bg][bh][bj][cb][cj][dc][dd][de][dj][ef][eh]AW[ad][bc][bi][ca][cc][cd][ce][cf][cg][ch][ci][da][db][ec][fb]C[problem 372])
(;AB[ab][bb][bf][bh][cc][cg][ch][dc][dd][de][df][dg]AW[ag][ah][bc][bd][bg][bi][cd][ce][cf][ci][di][eb][ec][eh][fd][ff]C[problem 373])
(;AB[ab][bb][bh][bk][cc][cf][cg][ch][ci][cj][ck][dc][df][ed][ee]AW[ah][ak][bc][bd][bf][bg][bi][bj][bl][ce][cl][de][dk][ef][eg][ei]C[problem 374])
(;AB[ai][be][bh][bj][ce][cg][ch][cj][dc][df][dg][dj][ei][fd][fi][fj][gf][gh]AW[bi][cf][ci][ck][de][dh][di][dk][ee][ef][eg][eh][ej][ek]C[problem 375])
(;AB[ab][bb][bi][cb][cd][ci][dc][de][df][dg][dh]AW[bc][bd][bj][cc][cf][cg][ch][cj][db][di][dj][eb][fc]C[problem 376])
(;AB[be][bi][bj][ce][cf][cg][ch][cj][dd][de][dj]AW[ae][bd][bf][bg][bh][cd][ci][dc][dg][di][ec][ef][ei][fe]C[problem 377])
(;AB[ai][bc][bg][bh][bj][cc][ce][cf][cg][ck][dc][eb][fb][fc]AW[ab][bb][bf][bi][cb][ch][ci][db][dd][df][dg][ec][ed][eh]C[problem 378])
(;AB[ah][bc][bd][bf][bg][bi][bj][cd][ce][ck][df][di][dk][ef][eh]AW[ab][bb][bh][cc][cf][cg][ch][ci][cj][dc][dd][de]C[problem 379])
(;AB[ad][af][bc][bd][be][bg][bh][cb][cc][ci][dh][ec][ee][ef][ei][fb]AW[bb][bf][ca][cd][ce][cf][cg][ch][da][db][dc][dd]C[problem 380])
(;AB[ah][bf][bi][cd][cf][da][db][dc][dd][de][df][dg]AW[af][ag][bd][be][bg][bh][cb][cc][ce][cg][ci][dh][eb][fc][fe][fg][gb]C[problem 381])
(;AB[bg][bj][cd][ce][cf][cg][ch][ci][cj][de][eb][ec][ed]AW[ae][ag][aj][bd][be][bf][bh][bi][bk][cc][ck][dc][dd][dj][dk][ee][ef][eh]C[problem 382])
(;AB[bc][bf][cc][cd][ce][cg][ch][db][eb][fc]AW[ab][bb][cb][cf][dc][dd][de][df]C[problem 383])
(;AB[ah][bc][bf][bg][bi][cc][cd][ce][cj][de][ef][ei][fg]AW[ab][bb][bh][cb][cf][cg][ch][dc][df][dh][ed][ee]C[problem 384])
(;AB[bc][bg][cc][cf][cg][db][dc][dd][de]AW[ac][bb][bd][bf][cb][cd][ce][da][df][eb][ef][fc][fe]C[problem 385])
(;AB[bc][bh][cb][cf][cg][ch][dc][dd][de]AW[ah][bf][bg][bi][cd][ce][cj][df][di][ef]C[problem 386])
(;AB[bf][bg][cd][ce][cf][dc][dg][ec][eg][fc][fg][gc][gg][ib][ie]AW[bd][cb][cc][cg][ch][ci][dd][de][df][ff][ge][hd][hf][id]C[problem 387])
(;AB[bf][cc][cd][cf][dc][ed][ei][fd][ff][fj][fk][gd][gg][gh][gi][hc][ic][jd]AW[cg][ck][dd][de][df][dg][di][dj][eb][ec][fi][gb][gc][gj][hd][he][hf][hg][hj][ii]C[problem 388])
(;AB[bf][bg][cd][ce][cf][dc][dg][ec][eg][fg][gc][gd][gg]AW[bc][bd][cc][cg][ch][ci][dd][de][df][ff][ge][hd][hf]C[problem 389])
(;AB[ce][cf][cg][dc][dd][dh][dj][ec][eh][fc][fd][fh]AW[bd][bh][cb][cd][ch][de][dg][ed][ee][eg][ff][hf]C[problem 390])
(;AB[bf][cd][cf][ch][cj][ck][dg][dh][di][ef][fe]AW[bg][bh][bi][cg][ci][dc][de][df][dj][ee][ej]C[problem 391])
(;AB[bd][be][bf][cc][cg][db][dc][de][dg][eb][eg][fc]AW[bg][bh][cd][ce][cf][dd][df][ec][fe]C[problem 392])
(;AB[bf][bg][bh][cd][ce][ci][dd][di][fd]AW[bd][be][bi][bj][cc][cf][cg][ch][ef][fe][gd]C[problem 393])
(;AB[be][cc][ce][ci][cj][ck][df][dg][dh][fg][gh][hf]AW[bf][bh][cf][ch][de][di][dk][ee][ei][fe][fh]C[problem 394])
(;AB[aj][bi][bk][cd][cg][ci][ck][cn][df][dl][dm][ee]AW[bj][cj][cl][di][dj][dk][ef][eh][ff]C[problem 395])
(;AB[bh][cf][ch][cl][df][dh][di][dj][eg][ek][el][fg]AW[ah][bg][bi][bl][cc][cg][ci][cj][cm][dd][dg][dk][dm][ee][ef]C[problem 396])
(;AB[bd][bg][ce][cg][ch][de][df][dh][di][dj]AW[ag][bc][bf][bh][bi][bk][cc][cf][ci][dg][ed][ee][eg][fh]C[problem 397])
(;AB[ah][bg][bi][bm][bn][cc][cg][ci][ck][cl][dd][df][dl][ef]AW[bh][ce][cf][ch][cm][dg][dh][di][dk][dm][ek][el][fi]C[problem 398])
(;AB[ag][bf][bh][bm][cb][cf][ch][ck][cl][dc][dd][de][di][dj][dk][dm]AW[bg][cd][ce][cg][cm][cn][df][dg][dh][dl][dn][ei][ej][ek][eo]C[problem 399])
(;AB[bf][bg][cd][ce][cf][cl][dg][dh][dl][ef][ei][ej][ek]AW[af][ag][bd][be][bh][bl][bm][cc][cg][ch][ck][di][dj][dk]C[problem 400])
(;AB[ai][bi][ce][ci][df][dg][dh]AW[bd][bf][bh][cc][cg][ch][ck][di][dj]C[problem 401])
(;AB[ah][be][bg][bi][cc][ce][cg][ci][ck][dc][dd][df][dg][dj][dk]AW[bd][bh][cd][cf][ch][cj][de][dh][di][ee][ef][eg][fh]C[problem 402])
(;AB[bh][cc][cg][dd][dh][ed][fd][fg]AW[bi][bj][ce][df][dj][eg][fe][fj][gg][gh]C[problem 403])
(;AB[cd][cf][cj][di][ed][ee][ff][fg][fj][gi]AW[bc][cc][cg][ch][ec][eg][eh][fc][ge]C[problem 404])
(;AB[bj][cc][cd][ck][de][dg][dj][ef][ei][fd][fg]AW[cb][cf][cg][ch][ci][dc][df][eb][gc]C[problem 405])
(;AB[be][cd][cf][cg][cj][ck][ee][ef][eh][ei][gf]AW[bc][bd][bg][bi][cc][ch][dc][dh][ed][fd][ff][ge]C[problem 406])
(;AB[bc][bg][cc][cg][ch][ci][dd][dh][eh][fc][fh]AW[bd][bh][ce][cj][df][dk][eg][fe][fj][gi][he][hg]C[problem 407])
(;AB[bb][bd][cb][cd][dd][de][dg][ec][fd]AW[bc][be][bh][cc][ce][ch][dc][eb][fb]C[problem 408])
(;AB[be][cd][cf][cj][di][ed][ef][ff][fh]AW[bc][bg][cc][cg][dc][dd][dg][ec][fc]C[problem 409])
(;AB[ac][bc][bh][cc][ch][dc][dd][dh][eg]AW[ba][bb][bg][cd][cg][eb][ee][ef][fc][ge]C[problem 410])
(;AB[af][bb][bi][cb][ci][de]AW[cc][cd][ce][cf][cg][ch][db][ec]C[problem 411])
(;AB[cd][ch][ci][cj][de][eg][ei]AW[bg][bk][cg][ck][dj][ec][ek]C[problem 412])
(;AB[bb][cb][cc][cf][ch][cj][dc][ed][ef][ei]AW[ab][ad][aj][bc][bd][bk][cd][ck][dk]C[problem 413])
(;AB[bb][be][cb][ce][cg][ch][ec][ef][eg][fd]AW[bd][bh][bi][cd][ci][cl][dd][de][di][eh]C[problem 414])
(;AB[bk][cc][cd][ce][ci][cl][df][dg][dh]AW[bb][cb][cg][ch][dc][di][ee][ei][ff][fh]C[problem 415])
(;AB[bc][cd][ch][ci][dc][dd][de][di]AW[bd][ce][ck][df][dg][dh][ee][ei][ej]C[problem 416])
(;AB[bk][cd][ci][cj][dd][ee][ef][eh][ej][ff]AW[bi][cc][cg][ch][dc][ed][fd][fe][hc]C[problem 417])
(;AB[cg][dc][dd][dg][eg]AW[de][df][fc][fe][ff]C[problem 418])
(;AB[bd][bj][ce][cg][dd][di][dj][ef][eh][ff][fh][ge]AW[bc][bh][cc][cd][ch][dh][ec][ed][eg][gd][hd]C[problem 419])
(;AB[cb][cc][ch][ci][dd][de]AW[dc][df][dh][ec][ed][ee]C[problem 420])
(;AB[cc][cg][ci][dd][dh][ed][eh][ei][ej][fg][gc]AW[bj][ce][df][di][dj][dk][dl][eg][fe][fh][fk][gg][gi]C[problem 421])
(;AB[cc][cg][db][dd][dg][di][ed][ef][gc]AW[cd][ce][cj][df][dj][ee][eg][ej][fe][fh]C[problem 422])
(;AB[bf][ce][cg][cj][ed][ef][eh][ei][fe][fg]AW[bd][bh][cd][ch][dd][de][dh][ee][eg][fc]C[problem 423])
(;AB[bc][bg][cc][cg][dd][dh][ed][eh][fh][gc][gf]AW[bd][bh][ce][ci][ck][df][eg][ej][fe][gg][gi][he][hg]C[problem 424])
(;AB[bc][bg][cc][cg][ci][dd][dg][ec][eg][fc][fe][hc]AW[bd][bi][cd][cf][cj][df][dj][ee][fd][ff][fi][gg][he]C[problem 425])
(;AB[bc][bg][bi][cc][ch][dd][dh][ed][eg][eh][fc]AW[be][bj][cd][cg][cj][de][dg][ej][ff][fg][ge][gi][gk]C[problem 426])
(;AB[ag][bc][bg][cd][cf][ch][dd][dh][ec][ee][eh][fc][fi][gi]AW[bd][bf][bh][bi][ce][cj][de][ed][eg][ei][ej][fe][fg][fh]C[problem 427])
(;AB[bd][cd][cf][cj][ee][ef][ej][ff][fg][gf][gi]AW[bc][bg][cc][ch][dd][ec][eg][eh]C[problem 428])
(;AB[cd][ch][ck][dd][gc]AW[cf][cl][dl][ef][eh][ek]C[problem 429])
(;AB[bc][cc][ch][ci][dd][ee][eh][fe][ff][gc]AW[bd][cf][cj][dj][ef][eg][fg][fi][gf]C[problem 430])
(;AB[be][bj][cd][cf][cg][cj][ee][ef][eh][ej][fg][fi][ge][gf]AW[bc][bd][bg][bi][cc][ch][dc][dg][dh][ed][eg][ff][gc]C[problem 431])
(;AB[ad][bd][cd][ch][cj][dd][df][ec]AW[bb][bc][be][cf][db][dg][eb][ef][fe][gc]C[problem 432])
(;AB[bc][bh][bi][bk][ce][ck][dd][df][ed][eg][ei][ek][fe][ff]AW[bb][bg][bj][cb][cg][ci][dc][dg][ec][ee][fd][gd]C[problem 433])
(;AB[bc][bg][cd][cg][dd][df][dg][ec][eg][fc][gd][ge]AW[bd][bh][ce][cf][ci][de][ed][ef][ei][fd][fe][fg][fh][gf]C[problem 434])
(;AB[ab][bc][be][cc][dc]AW[ba][bb][ce][cf][ch][ec][ed][ef]C[problem 435])
(;AB[ad][ae][bd][bf][bk][cd][di][ec][fd]AW[af][be][ce][cg][ch][ci][cj][de][el]C[problem 436])
(;AB[bf][cf][cj][df][ed][ee][eg][eh][ej][ge][gf][gg]AW[ce][cg][ch][dc][de][dg][ef][ff]C[problem 437])
(;AB[be][cd][ce][ch][db][dh][ec][ef][fb][fd][fe][ff]AW[bc][bd][bh][bi][cc][cj][dc][dd][di][ee][eh]C[problem 438])
(;AB[ad][bd][bi][cd][ch][ck][dd][di][ec][ek][fc]AW[bc][be][cb][cf][db][dh][ef][eh][fd][fe][gb][gc]C[problem 439])
(;AB[be][bf][cc][cd][ce]AW[bd][bh][cf][cg][dc][dh][ec][ee][fb][fc]C[problem 440])
(;AB[cd][dc][dg][dh][dj][dk][fd][fh][fj][gf]AW[ce][cf][cj][ck][cl][ef][eg]C[problem 441])
(;AB[bc][cf][cg][ci][dc][ec][eg][ei][fg][fi][gd][gf][he][hh]AW[be][bj][ce][cj][de][di][dj][ed][ef][ej][ff][fj][gi]C[problem 442])
(;AB[bd][bh][cd][ch][dd][dg][ec][fc][gc]AW[bg][cf][ck][de][dj][ed][eh][fd][ff][gd]C[problem 443])
(;AB[ab][bb][bf][bh][cb][cc][cg][ch][dc][dh][ec][ed]AW[bc][bd][bg][cd][db][dd][dg][eb][ee][eg][fc][fe][gc]C[problem 444])
(;AB[bd][bh][bi][cd][ci][dd][de][di][ei][fh][fi]AW[bb][bg][cb][ce][ch][dh][ec][ee][ef][eh][fg][gc]C[problem 445])
(;AB[bd][bg][cd][ce][ch][ci][dd][dg][ee][fe]AW[be][bf][cf][cj][de][dh][dj][ef][eg][eh]C[problem 446])
(;AB[bb][bf][cc][cf][cg][dc][dg][ed][fd][fe]AW[bc][bh][cd][ce][ci][df][ee][eg][eh]C[problem 447])
(;AB[bc][bd][be][bi][cc][ce][ci][df][di][eh][ei]AW[ba][bh][cd][cg][db][dc][de][dh][ee][ef][eg]C[problem 448])
(;AB[ah][bd][bi][cd][ch][cj][dd][dh][ed]AW[bc][bf][bg][bh][cb][df][ec][eg][fd][fe]C[problem 449])
(;AB[bc][bg][cc][cg][ci][dc][de][dh][ec][ed]AW[bf][cd][ce][db][dd][dg][eb][ee][eg][fc][fd][fe]C[problem 450])
(;AB[ab][ba][bc][bg][cb][cg][dc][dg][di][eb][ec][eg][ei][fd][ge]AW[be][cc][cf][ci][cj][db][dk][ed][ee][ef][fg][fh][fk][gf][gj]C[problem 451])
(;AB[ag][bb][bf][bh][cc][cg][db][dg][ec][eg][fc][gd][hd]AW[bc][be][bi][ce][ch][ci][df][ei][fd][ff][ge][gh]C[problem 452])
(;AB[ah][bd][bh][cd][cf][ch][cj][de][di][ei][fe][ff][fh][gf]AW[ag][bc][bg][cc][cg][dc][dd][dg][dh][fc][fd][ge][he][hf]C[problem 453])
(;AB[ad][bd][bh][cd][ch][cj][dd][df][di][fi]AW[bc][be][cc][cf][de][dh][eb][ee][ef][eg][fc]C[problem 454])
(;AB[ac][bc][cc][ch][cj][dc][dh][ec][eg][fc][ff][fh][gf][he]AW[bb][bg][cb][cd][df][dg][ed][fa][fd][fe][gb][gc][hd]C[problem 455])
(;AB[bc][bg][cc][cg][df][dg][eg]AW[bf][cd][cf][db][dd][ee][ef][fc]C[problem 456])
(;AB[ac][ai][bd][bi][cd][ch][dd][dg][di][ed][eg][fg]AW[bc][bg][bh][cb][ce][cg][dc][eb][ee][ef][fc][ge][gg]C[problem 457])
(;AB[bc][bh][cc][ch][dd][dh][ed][eh][fe][gc]AW[bd][bi][cf][cj][dg][ee][eg][ej][fg][gi]C[problem 458])
(;AB[ah][bc][bi][cd][ch][cj][dd][dg][dh][ed]AW[bb][bg][bh][cb][cg][de][df][ec][fd][fe][ff]C[problem 459])
(;AB[ah][bb][bg][bi][cb][ch]AW[ag][cc][cd][cf][cg][db][ec]C[problem 460])
(;AB[bc][cd][cg][ch][dd][df][ed][ee]AW[bd][ce][cf][ci][cj][de][dh][ef][eg]C[problem 461])
(;AB[ah][be][bh][bk][ch][ci][cj][dd][de][dg][eg][fe]AW[ag][bc][bg][bl][cb][cf][cg][cl][dh][di][dk][ec][fh]C[problem 462])
(;AB[cd][ce][cj][ck][de][di][ee][ef][eg][fh]AW[cc][dc][dd][df][dg][dh][dj][eh][ej][fd][fi][gf][gi][hg]C[problem 463])
(;AB[ac][bd][cd][cf][cg][ck][cl][dd][di][dj]AW[bb][bc][ch][db][df][dg][dk][ec][eh][ei][ej][fe]C[problem 464])
(;AB[ba][bb][bf][cc][cd][ce][cj][dd][df][dg][ej][ff][fg][gi][hg]AW[cb][cf][cg][ch][cn][da][dc][de][dh][dq][eb][ec][ed][ee][eh]C[problem 465])
(;AB[bd][ce][cf][cj][dj][ef][ej]AW[bc][cc][cd][ch][di][ed][fh][ge][gg]C[problem 466])
(;AB[ad][bd][cd][ch][ck][dd][ec][fc]AW[bc][be][cc][cf][db][ef][fg][gb][hc][hd]C[problem 467])
(;AB[bb][bh][cb][dc][de][dg][dh][ee]AW[bd][bg][bj][cc][ce][ci]C[problem 468])
(;AB[bb][bf][bh][cb][cg][dc][dd][dg][fc]AW[bc][bi][cc][ce][cf][ci][ee][eg][eh][fd]C[problem 469])
(;AB[bc][bi][cc][ch][dd][dh][ed][eg][eh]AW[bj][cd][cg][cj][de][dg][ej][ff][fh][fi][ge]C[problem 470])
(;AB[ba][cb][cg][db][de][dj][ec][ee][eg][eh][ei]AW[bb][cc][cd][ce][cj][ck][cl][dh][di]C[problem 471])
(;AB[bd][cc][cd][ce][cf][ck][cl][dg][di][dj][ee][ei]AW[bb][bc][cb][cg][ch][dc][df][dk][eg][eh][ej][fd][fi][gf]C[problem 472])
(;AB[cd][ce][cf][ck][cl][dj][ed][ee][ff][fg]AW[cc][ch][db][df][dk][ec][eg][eh][ej][fc][ge][hf][hh]C[problem 473])
(;AB[bc][cd][ch][ci][dc][dh][dk][ef][ek][fd][ff][fi][fj][gg][gh]AW[be][ce][cg][ck][cl][de][dg][di][dj][fg][fh]C[problem 474])
(;AB[ba][bb][bc][cc][cd][ce][eg][fd][fe][ff][gb][gc]AW[ab][ac][ae][bf][cb][cf][ch][dc][de][dg][ee][fb][fc]C[problem 475])
(;AB[ah][bc][bh][cc][ch][dc][dd][dh][eg][fh]AW[ba][be][bg][cd][dg][eb][ee][ef][fc][ge]C[problem 476])
(;AB[bd][be][bj][bl][ce][cf][dj][dk][ef][fh][fk][gf][hg][hj][if][ih]AW[bc][bf][bg][bi][cc][cd][ci][di][eb][ed][ei][fi][gh][gi]C[problem 477])
(;AB[bd][ce][cf][cg][ef][eh][gf][he][hg][hh]AW[bc][cc][cd][ch][cj][dh][ed][ei][fb][fi][gd][gh][ic]C[problem 478])
(;AB[bd][be][ce][cf][cj][dj][ef][fh][fk][ge][gg][he][hg][hj][ih]AW[bc][bg][cd][ch][ci][dd][eb][ed][eh][ei][fi][gd][gi][hh]C[problem 479])
(;AB[bf][cf][cg][ck][cl][cp][de][dg][eg][eh][ei][el][ge][gg][gk][gl][ig][ii][ik][jf][ji]AW[bg][bh][bj][cd][ce][dd][dh][di][dj][ee][ej][fd][fi][fk][gi][hc][hi][ie][je]C[problem 480])
(;AB[bd][be][bg][bk][cg][ch][cl][dl][eg][eh][em][fm][gg][gh][gm][hl][im]AW[bh][bi][cc][cd][ci][cj][ck][df][ej][el][ff][gf][gj][gl][hf][ih][ij][il][jl]C[problem 481])
(;AB[be][bf][bk][cf][cg][cl][di][eg][el][gh][gk][hf][hh][hj][ij]AW[bd][bh][bj][ce][cj][de][dj][ee][ej][fj][ge][gf][gj]C[problem 482])
(;AB[cc][cd][ch][de][dh][ei]AW[cf][df][fd][ge][gg]C[problem 483])
(;AB[cf][cg][ch][cl][cm][eg][eh][em][gg][gh][gm][hl][im]AW[be][cj][ck][dd][df][ef][ej][ff][gj][hi][if][ih][il][jl]C[problem 484])
(;AB[be][bf][bk][bl][cf][cg][cl][di][eg][ei][el][fl][gg][gl][hg][hk][ii]AW[bd][bh][bj][ce][ch][cj][ck][de][ec][ej][ek][fe][gi][gj][gk][he]C[problem 485])
(;AB[be][bm][cg][ch][cl][dm][eg][eh][em][fm][gg][gh][gm][hl][im]AW[bd][cj][ck][dd][df][ec][ef][ek][el][ff][gj][gl][if][ih][ij][il][jl]C[problem 486])
(;AB[bb][bc][bg][bh][dc][dg][dh][ec][eh][fc][fe][ff][fh][fi][gj][hc][ig]AW[ac][bd][bi][ce][cf][ci][ck][ee][eg][ei][fd][fg][fj][fk][gd][ge][gf][gi][hh][hj][if]C[problem 487])
(;AB[be][bf][bk][cf][cg][cl][di][eg][ei][el][fi][ge][gg][gl][hk][ig][ij][je][jh][ji][kf]AW[bd][bg][bh][cd][ce][ch][ci][cj][dj][ee][ej][fd][fj][gd][gi][gj][hd][he][ii]C[problem 488])
(;AB[ab][ad][bc][be][bh][cd][ce][cf][ci][ck][ee][eg][eh][ek][fg][fh][gd][ge][gf][gk][hj][ie][ig][ih]AW[bb][bf][bg][cb][cc][cg][dc][dg][dh][di][ec][ei][fe][fi][gc][gg][gh][gi][hc]C[problem 489])
(;AB[bb][bc][be][bf][bi][cc][cd][ck][dc][di][fj][ga][gb][gc][gd][gh][gj][hg][ie][ih][ij][ji]AW[bd][bg][cb][ce][cg][db][dd][de][dg][eb][ec][ed][eh][fi][hb][hc][ig][jd][je][jf][jh][kc][kh]C[problem 490])
(;AB[bb][ca][cc][cd][ce][cg][ch][ci][db][gb][gc][gf][gg][gh][gi][gj][ha][hc][hd][he][hf][if]AW[dc][df][dg][di][ea][eb][ec][ee][ei][ek][fi][gd][ge][gk][hb][hh][hk][ib][ic][ie][ig][ij][jb][je][jf][jh]C[problem 491])
(;AB[bh][bl][cf][ch][ck][cl][cn][dg][eg][em][fg][fl][fm][gg][hg][hi][hl]AW[bf][bj][bk][ce][ci][cj][dc][de][dh][dj][el][ff][fj][gh][hc][he][hj][if][ii][jh]C[problem 492])
(;AB[bc][bh][cd][ch][dd][dh][dk][ed][eh][fc][fh][fi][gg][ib][ic][jb]AW[bd][ce][cf][cg][cj][ck][dl][ef][ei][ej][ff][gf][gk][hi][ih][jc][je][jg][kb][kc]C[problem 493])
(;AB[cd][ce][ci][cj][ee][ei][ff][fi][hd][hf][hj][id][ig][ii]AW[cc][cf][cg][ch][dc][ec][eg][eh][gc][gg][gh][hc]C[problem 494])
(;AB[cb][cc][cd][ce][cf][cg][ci][di][gb][gc][gd][ge][gf][gg][gh][he]AW[db][de][df][dh][eb][ed][ei][ek][fb][fg][fi][hd][hf][hj][ic][ie][if][ih]C[problem 495])
(;AB[bc][bd][bi][cd][ce][cf][ci][ee][eh][ej][fc][ff][gd][gi][hd][hh][ie][if][ig][ji]AW[bb][bf][bh][cc][cg][dc][dg][ec][eg][fb][fg][gc][gg][hc][hg][id][jc][je]C[problem 496])
(;AB[ac][bd][cc][cd][db][ec][ed]AW[ad][ae][be][cf][ch][dc][eb][ef][fb][gc][ge]C[problem 497])
(;AB[aa][ac][bb][bf][bh][ce][cg][de][eb][ec]AW[ad][af][be][cb][cc][cd][db]C[problem 498])
(;AB[aa][ac][bb][bc][be][bh][de][dg][eb][ed][eg][fb]AW[ae][bf][cc][cd][cf][da][db][dc]C[problem 499])
(;AB[ae][af][bc][bd][cb][da][db]AW[ac][ad][bb][be][bg][ca][ce][ch][dd][fb][fd]C[problem 500])
(;AB[ad][ae][ai][ba][bb][be][bi][ca][cb][cc][ce][cf][cg][ch][ci][db][dh][eh][fa][fb][fc][fd][fe][ff][fg]AW[aa][ab][ac][ag][aj][bc][bd][bf][bg][bh][bj][cd][cj][da][dd][de][df][dg][di][dj][ea][eb][ec][ei][fi][ga][gb][gc][gd][ge][gf][gg][gh]C[problem 501])
(;AB[ag][ah][aj][bc][bh][bj][cc][cf][cj][db][dc][df][dj][ea][ef][eg][eh][ei][ej][fb][fc][fe][ff][gc][ge]AW[ae][ai][ak][be][bf][bg][bi][bk][cd][ce][cg][ch][ci][ck][dd][dk][eb][ec][ed][ek][fg][fh][fi][fj][gb][gf][hb][hc][hd][he][hg]C[problem 502])
(;AB[ae][af][ag][aj][bb][bd][bg][bj][cb][cc][cd][cg][cj][dg][dj][ec][ed][ee][ej][fa][fi][gb][gc][gd][gg][gh][gj][ha][hc][hf][ib]AW[ai][be][bf][bi][ca][ci][da][db][dc][dd][de][df][di][ef][eh][ei][fb][fc][fd][fe][ff][fh]C[problem 503])
(;AB[ad][ah][ai][aj][al][ba][bd][bf][bi][bl][ca][cb][cd][cf][cl][dc][dd][di][dj][dk][ed][eh][fb][fh][gb][gc][gd][ge][gf][gg]AW[ab][ac][af][ag][ak][bb][bc][bg][bh][bk][ch][ci][cj][ck][da][de][dg][dh][ea][eb][ec][eg][fc][fd][fe][ff][fg]C[problem 504])
(;AB[ac][ai][bb][bg][bh][bj][cc][ce][cf][cg]AW[ad][ae][af][ag][ah][ba][bd][be][bf][bl][cb][ci][ck][db][dc][di][ee][ef][eh][fc]C[problem 505])
(;AB[ai][aj][ak][bd][be][bh][cc][ce][cf][ch][ci][da][de][dg][ee][eg]AW[aa][ab][ac][ad][ae][af][ag][ah][ba][bb][bc][bf][bg][bi][bj][bm][ca][cd][cg][ck][cl][dc][dd][df][dh][ef][ei][ej][fc][ff][gb][gd][gg][gi]C[problem 506])
(;AB[bh][cf][cg][dd][dh][eh][fd][ff][fh]AW[cd][ce][ch][ci][cj][dc][dg][ec][eg]C[problem 507])
(;AB[ec][eg][eh][fd][ff][fi][ge]AW[cc][ce][cg][ee][fg][gc][gg][hd][he][hf]C[problem 508])
(;AB[dd][de][df][dg][ec][eh][ei][fc][gf]AW[cc][cd][ce][cf][ch][dc][dh][ef][ge][gg][hc][hd][hf]C[problem 509])
(;AB[cd][ce][ci][dc][dg][dh][ed][eh][fd][ff][fh][gd][gh][hg][hh]AW[cf][cg][de][df][eg][fg][gg][he][hf][ic][ig]C[problem 510])
(;AB[cd][cg][ci][dd][dg][ec][eh][fc][fh][gc][gg][hf][hh][if]AW[ce][cf][ee][eg][fd][fg][gf][hc][hd][he]C[problem 511])
(;AB[cd][ce][cf][ed][fd][ge][gf][gg][hd]AW[cc][cg][ci][dc][dg][ec][fg][fh][gc][gd][hc][ic]C[problem 512])
(;AB[dc][df][dg][di][ec][ee][eh][ei][ff][fg][gc][gd]AW[cb][cc][ce][cf][cg][ch][dh][eg][fh][ge][gf][gg][gi][hb][hc][hd]C[problem 513])
(;AB[cb][ce][dc][dd][df][dg][dh][gc][hc][hd][he][hf][hg]AW[db][de][ec][ee][fc][fg][fi][gd][gf][hi]C[problem 514])
(;AB[ag][aj][ap][aq][bb][bg][bj][bk][bo][br][bs][cg][ci][cq][db][dc][de][dg][dk][ds][ed][el][es][fc][fe][fl][fn][fr][gr][hl][hm][ib][il][ip][ja][ka][ki][kj][ks][lb][ls][mc][mj][ms][nh][nk][nr][of][or][pc][ph][pi][qa][qf][qk][ql][rh][rk][sa][sc][sf][sg][sh][sj][so][sp][sq][sr][ss]AW[af][ak][al][ar][bc][bd][be][bf][bi][bl][bp][ce][ch][co][cp][cs][dd][dj][dm][ee][ej][em][en][fb][gc][gd][gm][go][gs][hb][hn][ho][hr][hs][im][jb][jr][js][la][li][lj][ma][mb][mi][nc][ng][nq][ob][oc][os][pg][pk][ps][qi][qj][rf][rg][rl][rn][rq][rs][sd][sl]C[problem 515])
(;AB[ad][ag][am][ao][aq][ar][br][ca][cd][ce][ea][fb][fd][gg][gi][ha][hc][hs][ib][id][ig][jf][js][kd][kf][la][ld][lg][ll][ln][mg][mi][mk][nc][ne][nh][oc][oe][og][oi][pa][pd][ps][qo][ra][rn][sa][sc][sd][sf][sl][sn][sq][ss]AW[ac][bb][bc][bs][cn][cs][dd][ed][gc][he][hf][hg][hh][hi][ic][ie][iq][ja][je][kb][ke][kj][kk][le][lk][mf][mh][nd][nf][ng][ob][pc][pe][qc][qd][qe][qm][qp][rp][so]C[problem 516])
(;AB[da][dc][dd][dj][dq][ef][ej][es][fa][ha][hr][ir][is][jc][ka][la][mb][mr][or][pa][pd][pr][qc][qd][qo][rd][rq][rr][sb][sc][sf][tf][tu][us][vk][vm]AW[dk][dl][ei][fc][fr][gc][gr][gs][hs][id][jr][kb][lc][na][ns][oe][os][pe][pg][pp][pq][ps][qe][qf][qs][ra][rb][rc][re][sd][se][tg][ti][tn][ug]C[problem 517])
(;AB[ac][ad][af][aj][ar][ba][bj][bo][bp][bq][bs][ca][cb][cg][ck][cp][cr][cu][dc][dg][dl][dp][ed][eh][ei][eo][ep][fi][fl][fm][fn][ga][gl][gn][ha][hc][hl][hs][ia][ii][il][is][ja][jb][js][kb][mq][nr][oa][or][pa][pg][pk][pl][ps][qa][qi][qp][qs][ra][re][rf][rh][ri][rm][rn][rq][rs][sf][sh][sn][so][sr][ss]AW[ag][ak][al][am][an][ao][ap][aq][bg][bh][bk][bl][bm][bn][br][ch][ci][cj][cl][cq][ct][da][dn][do][dr][ec][ek][em][en][eq][fa][fb][fd][fh][fj][fk][fo][fp][fq][gd][gi][gk][gm][hk][hm][ib][ij][ik][jc][ka][kr][ks][la][lq][ms][na][nb][oh][ol][oq][pn][pq][pr][qb][qf][qj][qk][qn][qr][rj][ro][sb][sd][se][si][sj][sl][sm]C[problem 518])
(;AB[ag][ba][bc][bd][be][bg][ca][cd][cg][ck][cl][dr][el][fa][fc][fn][fp][fq][ge][gf][gg][gp][gs][ha][hb][hc][hq][hs][im][io][iq][jd][jg][jo][ka][ki][km][ks][la][lc][le][lh][lk][lm][mc][mf][mh][mm][mr][ms][nc][nj][nl][og][oj][oo][op][pa][pl][qa][qc][qe][qg][qh][qi][qj][ql][qr][rc][re][rn][sa][sb][sc][sh][si][sm][sn][sq][sr]AW[ab][bb][cb][cc][ce][cm][cn][co][cp][cq][cr][cs][ct][db][dc][dd][de][df][dg][dh][di][dj][dk][ea][eb][fm][gd][gr][hf][hn][ho][hp][hr][ia][ib][ie][if][ir][jr][js][kb][kd][kh][kn][kp][lb][ld][lp][mb][mk][na][nb][nd][nh][ni][nn][no][ns][od][ok][om][pd][pk][pm][qd][rb][rf][rh][ri][rj][rk][rq][rr][rs][sk][so]C[problem 519])
(;AB[ab][af][ah][al][ar][bb][bd][bf][bh][bj][bl][bp][br][cb][cf][cg][cl][cn][cr][da][db][di][dn][dr][en][eo][eq][fc][fd][fh][fm][fq][he][hf][ho][hq][iq][jf][jp][jq][jr][lp][rb][rq][rr]AW[ad][ae][ai][am][ao][aq][ba][bc][be][bi][bm][bq][bs][ce][ch][ci][cm][cq][de][dh][dm][do][dp][dq][eb][ec][eg][ei][ek][el][er][es][fg][fn][gg][gl][gm][gn][gp][gr][hc][hp][ic][ie][if][ig][ip][je][js][kf][ko][kp][kq][ks][lq][me][mp][ne][oq][pq][qa][qd][qe][ra][rs][sb][sp][sq][sr]C[problem 520])
(;AB[ac][af][ak][be][bf][bg][bm][bo][bp][bs][ce][cg][ch][ci][cj][cp][cq][db][dk][dp][dr][ds][ed][ee][ej][em][en][eo][eq][es][fh][fp][fq][gb][gf][hh][hm][hn][ho][ih][ij][im][ja][jh][jo][jp][jq][kh][kn][ld][le][lf][lh][ln][ls][ma][mg][mi][mn][ng][nh][nj][nk][nn][ob][oc][oi][ol][on][or][pd][pg][pl][pm][qb][qc][qd][qe][qi][qn][qp][qq][ra][rf][rg][rh][rl][sj]AW[ah][am][bb][bd][bn][bq][br][cb][cc][cd][cf][ck][cl][cm][cn][co][cr][de][df][dg][dh][ei][er][fa][fi][fk][fm][fo][fr][fs][gi][gk][go][gp][gq][ha][hc][he][hs][ia][ic][ie][ig][ik][in][iq][ir][jg][ji][jj][jl][ka][kb][kr][ks][lg][li][lj][ll][lo][mc][me][mj][ml][mo][mq][ms][nb][nd][nf][nq][ns][oa][og][om][pc][pe][ph][pi][pk][pq][qf][qg][qj][ql][qs][rd][re][rk][ro][rr][sb][sn][sp][sq]C[problem 521])
(;AB[af][ag][ak][bf][bg][bl][cb][ci][cl][co][cr][da][db][de][df][dh][dj][dk][dp][dq][dr][ed][eg][eo][es][fc][fg][fn][gf][hn][hr][ic][ie][il][iq][jc][je][jg][jj][jk][jm][jn][jq][ka][kc][kd][ki][ko][le][lj][ln][lq][ml][mn][mr][nl][ns][ol][pa][pb][pl][qe][qg][qh][qi][qj][qm][rd][re][rh][si][sj]AW[aa][ab][ac][ah][ai][aj][am][ao][ap][ar][as][ba][bb][bj][bk][bm][br][bs][ca][cc][cd][cg][ch][cj][ck][cm][cp][cq][cs][dc][dd][di][dl][dn][ds][eb][ee][ei][ek][em][er][fb][fe][ff][fp][fr][ga][gh][gj][gl][gr][gs][hc][hd][hf][hi][hk][hm][hp][hq][ia][ib][id][ik][im][ir][is][ja][jb][ji][jl][jo][jr][js][ke][kg][kj][kk][kl][km][kn][kq][kr][ks][ld][li][ll][lo][lp][lr][ls][md][mg][mi][mj][mk][mm][ms][nc][nf][no][nq][nr][ob][og][oo][pc][pd][pi][pj][pk][pm][pn][pr][qa][qf][qr][ra][rb][rc][rf][rg][ri][rl][sa][sb][sc][sd][se][sf][sg][sh]C[problem 522])
)