(;AB[eb][fb][bc][cc][dc][be]AW[da][ab][bb][cb][db])
(;AB[ba][da][fa][fb][ac][bc][cc][dc][ec][fc]AW[ea][ab][bb][cb][db][eb])
(;AB[ab][bb][cb][db][eb]AW[ca][ea][fb][ac][bc][cc][dc][ec][fc])
(;AB[eb][fb][bc][cc][dc][be]AW[ba][ea][ab][bb][cb][db])
(;AB[ea][ab][bb][cb][db]AW[da][fa][fb][ac][bc][cc][dc][ec])
(;AB[fb][bc][cc][dc][ec][fc][be]AW[ba][ab][bb][cb][db])
(;AB[ab][bb][cb][db]AW[aa][ca][eb][bc][cc][dc][ec])
(;AB[bb][cb][db][eb]AW[bc][cc][dc][ec][fc][gc][hc][be])
(;AB[fb][hb][bc][cc][dc][ec][fc][be]AW[ab][bb][cb][db][eb])
(;AB[ea][gb][bc][cc][dc][ec][fc][gc][be]AW[ba][ab][bb][cb][db][eb])
(;AB[fa][ab][bb][cb][db][eb]AW[ca][ea][fb][gb][ac][bc][cc][dc][ec])
(;AB[gb][bc][cc][dc][ec][fc][hc][be]AW[ab][bb][cb][db][eb])
(;AB[fb][gb][bc][cc][dc][ec][be]AW[ba][fa][ab][bb][cb][db])
(;AB[fa][gb][bc][cc][dc][ec][fc][gc][be]AW[ab][bb][cb][db][eb][fb])
(;AB[ea][fb][gb][bc][cc][dc][ec][be]AW[ba][fa][ab][bb][cb][db][eb])
(;AB[fa][gb][hb][bc][cc][dc][ec][fc][be]AW[ga][ab][bb][cb][db][eb][fb])
(;AB[ea][cb][db][eb][cc][bd][cd]AW[fa][fb][bc][dc][ec][gc][ad][dd][be][ce][de])
(;AB[ba][ca][fa][fb][cc][dc][ec][ad][bd][ce]AW[ea][bb][cb][db][ac][bc])
(;AB[fa][fb][bc][dc][ec][gc][bd][cd][be][de]AW[ea][bb][cb][db][eb][ac][cc])
(;AB[ea][bb][cb][db][eb][ac]AW[ca][fa][fb][cc][dc][ec][fc][ad][bd])
(;AB[fb][hb][cc][dc][ec][fc][bd][ce]AW[bb][cb][db][eb][bc])
(;AB[bb][cb][db][bc][bd]AW[eb][cc][dc][fc][be][ce][de])
(;AB[ea][bb][cb][db][eb][ac]AW[ca][fa][fb][cc][dc][ec][ad][bd][fd])
(;AB[ea][eb][cc][dc][ec][bd][cd][bf]AW[da][bb][cb][db][ac][bc])
(;AB[da][bb][cb][db][ac][bc]AW[ba][eb][gb][cc][dc][ec][bd][cd][bf])
(;AB[aa][ba][ca][ab][eb][cc][dc][ec][cd][be][ce]AW[da][bb][cb][db][bc][ad][bd])
(;AB[ba][ca][fb][hb][cc][dc][ec][fc][bd][cd][bf]AW[ea][bb][cb][db][eb][ac][bc])
(;AB[da][bb][cb][db][bc][ad][bd]AW[aa][ba][ca][ab][eb][cc][dc][ec][cd][be][ce])
(;AB[aa][ba][eb][gb][cc][dc][ec][cd][be][ce][bg]AW[da][bb][cb][db][bc][ad][bd])
(;AB[ba][ca][eb][cc][dc][ec][cd][ae][be][ce]AW[da][bb][cb][db][bc][ad][bd])
(;AB[ba][eb][cc][dc][ec][cd][be][ce]AW[da][bb][cb][db][bc][ad][bd])
(;AB[ab][eb][dc][ec][cd][be][ce]AW[da][cb][db][bc][cc][ad][bd])
(;AB[ba][ca][ab][fb][ac][cc][dc][ec][fc][cd][ae][be][ce]AW[bb][cb][db][eb][bc][ad][bd])
(;AB[aa][ea][ab][cb][db][eb]AW[ba][da][fb][cc][dc][ec][fc][ad][bd])
(;AB[ba][ca][fb][hb][dc][ec][fc][cd][ae][be][ce]AW[da][bb][db][eb][bc][cc][ad][bd])
(;AB[aa][ca][ea][cb][db][eb][bc]AW[bb][fb][dc][ec][gc][ad][bd][cd])
(;AB[ba][ea][cb][db][eb]AW[da][fb][cc][dc][ec][fc][ad][bd])
(;AB[ca][ea][ab][cb][db][eb][bc][bd]AW[ba][bb][fb][cc][dc][ec][fc][ad][cd][ae][be][ce])
(;AB[ea][cb][db][eb][ac]AW[aa][ca][da][fb][dc][ec][fc][ad][bd][cd])
(;AB[ca][ab][cb][db][eb][ac][bc][bd]AW[ba][bb][fb][hb][cc][ec][fc][ad][cd][ae][be][ce])
(;AB[ab][cb][db][ac][cc][bd]AW[eb][dc][ec][ad][cd][ae][be][ce])
(;AB[ab][bb][db][eb][cc][cd]AW[fa][cb][fb][dc][ec][fc][ad][dd][be][ce])
(;AB[ca][fb][ec][gc][ad][bd][cd][dd]AW[ea][ab][cb][eb][ac][cc][dc])
(;AB[ba][bb][cb][eb][fb][cc][ec][dd]AW[ab][gb][bc][fc][hc][bd][cd][ed][fd][de][cf])
(;AB[ab][bb][db][eb][dc]AW[fb][ac][bc][ec][gc][bd][cd][dd][ed])
(;AB[da][cb][db][ac][bc]AW[ea][eb][cc][dc][ec][ad][bd])
(;AB[ca][fa][fb][dc][ec][fc][cd][ae][be][ce]AW[ea][ab][cb][db][eb][ac][cc][bd])
(;AB[da][db][ac][bc][dc]AW[ea][eb][ec][ad][bd][cd][dd][ed])
(;AB[da][bb][db][bc][dc]AW[ea][eb][ec][ad][bd][cd][dd][ed])
(;AB[aa][ea][ab][bb][cb][eb][ec]AW[ba][fa][fb][cc][fc][bd][dd][ed][fd])
(;AB[ea][eb][cc][ec][bd][dd][fd][be][de]AW[da][bb][db][ac][bc][dc][cd])
(;AB[da][bb][db][bc][ad][bd]AW[ba][ea][eb][ac][dc][ec][ae][be][ce][de])
(;AB[ba][bb][fb][bc][dc][ec]AW[fa][gb][fc][gc][ad][bd][cd][dd][ed])
(;AB[ea][cb][eb][bc][cc][ad][cd]AW[fa][bb][fb][dc][ec][fc][bd][be][ce][de][bf])
(;AB[fa][fb][ac][ec][fc][ad][bd][cd][dd]AW[ba][ab][bb][db][eb][bc])
(;AB[fa][fb][bc][cc][fc][cd][dd][ed]AW[ba][ab][bb][cb][eb][dc])
(;AB[ca][ha][db][hb][bc][cc][dc][ec][gc][hd]AW[da][ea][ga][ab][bb][cb][eb][fb][gb])
(;AB[ga][ab][gb][bc][gc][bd][fd][gd][ce][de][ee]AW[da][bb][cb][fb][cc][fc][cd][dd][ed])
(;AB[ea][fa][fb][bc][fc][bd][ed][fd][ce][de]AW[ca][da][ab][bb][cb][eb][cc][ec][dd])
(;AB[ea][ab][gb][bc][dc][gc][bd][cd][fd][gd][ce][ee][df][ef][cg]AW[ba][da][fa][bb][cb][cc][ec][fc][dd][ed][de])
(;AB[ba][fa][bb][fb][ac][fc][bd][fd][be][ce][de][ee][fe]AW[da][ab][cb][bc][cc][ec][cd][dd][ed])
(;AB[ia][db][dc][fc][ic][jc][bd][dd][ed][id][he][ef][gf]AW[ba][da][ab][bb][cb][eb][gb][ec][hc][fd][gd])
(;AB[da][bb][cb][cc][ec][fc][dd][ed]AW[ga][ab][gb][bc][gc][cd][fd][gd][be][de][ee])
(;AB[da][eb][ec][dd][ee][af][bf][cf][df]AW[ba][bb][cb][db][bd][cd][ce])
(;AB[ab][eb][ec][hc][bd][ed][ee][bf][cf][df]AW[ba][bb][cb][db][ac][bc][dd][de])
(;AB[ba][da][bb][cb][db][fb][dc]AW[ab][gb][bc][fc][gc][bd][dd][ce][fe])
(;AB[bb][db][eb][fb][ac][cc][cd]AW[gb][bc][dc][fc][gc][bd][dd][be][ce][de])
(;AB[bb][cb][db][fb][gb][hb]AW[ab][ib][bc][dc][fc][hc][ic][bd][dd][fd])
(;AB[da][fa][ab][db][eb][fb][cc]AW[ga][cb][gb][dc][ec][fc][gc][bd][cd])
(;AB[ba][fa][gb][ib][gc][bd][cd][dd][ed][fd][ae][be]AW[ca][ea][bb][cb][db][eb][fb][ad])
(;AB[da][fa][ab][bb][db][eb][fb]AW[ga][cb][gb][ac][bc][dc][ec][fc][gc][bd][cd])
(;AB[ea][ab][gb][fc][gc][ad][bd][cd][dd][ed]AW[ba][bb][fb][ac][bc][cc][dc][ec])
(;AB[ba][bb][ac][bc][cc][dc][ec][fc]AW[ca][fa][db][gb][gc][ad][bd][cd][dd][ed][fd][gd])
(;AB[db][eb][fb][gb][hb][fc][bd][fd][de][ee][fe]AW[cb][ib][cc][ec][gc][hc][ic][dd][ed][ce][ge][cf][df][gf][fg])
(;AB[ba][bb][ac][bc][bd][cd][dd][ed]AW[cb][eb][cc][fc][ad][fd][ae][be][ce][de][ee])
(;AB[ca][cb][eb][gb][cc][dc][gc][fd][be][ce][de][ee][fe][bg]AW[ba][bb][fb][bc][ec][bd][cd][dd][ed])
(;AB[bb][db][bc][ad][bd]AW[ea][ab][eb][ac][ec][cd][dd][be][cf])
(;AB[bb][cb][eb][ac][ec][dd][ed]AW[fa][fb][bc][fc][bd][cd][fd][ce][de][ee])
(;AB[da][bb][db][bc][ad][bd]AW[ba][ea][ab][eb][ac][ec][cd][dd][be][cf])
(;AB[ga][bb][cb][eb][gb][cc][fc][gc]AW[ha][ab][hb][bc][ec][hc][bd][cd][dd][ed][fd][gd][hd])
(;AB[ca][ga][cb][db][fb][gb][ec]AW[bb][hb][bc][cc][dc][fc][gc][hc][ed])
(;AB[bb][cb][eb][fb][dc][fc]AW[ab][gb][ib][bc][cc][gc][cd][dd][fd][gd])
(;AB[ba][fa][bb][cb][eb][fb]AW[ga][ab][gb][bc][cc][ec][fc][gc][ce])
(;AB[fa][fb][bc][cc][fc][cd][dd][ed]AW[ba][ab][bb][cb][eb][dc])
(;AB[ba][fa][bb][cb][eb][fb][cc][ec][dd]AW[ab][gb][bc][dc][fc][gc][bd][cd][ed][ce][ee])
(;AB[ba][da][ea][ab][bb][db][eb][cc]AW[fa][cb][fb][dc][ec][fc][bd][cd])
(;AB[ba][fa][bb][cb][eb][fb][cc][ec]AW[ab][gb][bc][fc][hc][bd][cd][fd][ce][de][ee])
(;AB[fa][fb][bc][ec][fc][bd][cd][dd]AW[ba][ab][bb][db][eb][dc])
(;AB[fa][gb][ib][bc][fc][gc][bd][cd][dd][ed][fd]AW[ea][ab][bb][db][eb][fb][cc][ec])
(;AB[ca][cb][ac][bc]AW[ba][ab][db][dc][ad][bd][cd])
(;AB[fb][bc][dc][ec][fc][bd][dd][ce]AW[ea][ab][bb][db][eb][cc])
(;AB[ab][db][bc]AW[bb][eb][ec][bd][cd][dd])
(;AB[bb][db][eb][fb][ac][cc][cd]AW[gb][ib][bc][dc][fc][gc][bd][dd][be][ce])
(;AB[da][ab][db][bc]AW[ea][eb][ec][ad][bd][cd][dd])
(;AB[hb][bc][dc][fc][gc][ic][bd][dd][be][ce]AW[bb][cb][db][eb][fb][gb][cc][cd])
(;AB[cb][db][eb][gb][dc][hc][ad][ed][fd][gd][hd][id][jd][ae][be][ce][de]AW[aa][fa][bb][fb][hb][ac][bc][cc][ec][fc][gc][ic][jc][kc][bd][cd][dd])
(;AB[da][bb][fb][gb][cc][gc][cd][gd][ce][de][ee][fe]AW[ea][cb][eb][bc][dc][fc][dd][ed][fd])
(;AB[cb][db][eb][bc][cc][hc][cd][dd][fd][gd][hd][de][ee][ff][gf][if]AW[fa][ga][bb][fb][hb][jb][ac][dc][ec][fc][gc][jc][bd][ed][be][ce][je][kf][cg][dg][eg][jg][fh][hh])
(;AB[ea][ab][eb][ec][bd][ed][be][ce][de][bf]AW[da][cb][db][bc][dc][ad][cd][dd])
(;AB[ba][da][cb][db][bc][cc][hc][cd][dd][fd][gd][hd][de][ee][ff][gf][if]AW[aa][ab][bb][eb][hb][jb][ac][dc][ec][fc][gc][jc][ad][bd][ed][be][ce][je][kf][cg][dg][eg][jg][fh][hh])
(;AB[da][ea][bb][gb][cc][gc][cd][fd][gd][ce][de][ee]AW[fa][cb][eb][fb][dc][fc][dd][ed])
(;AB[ha][ab][cb][db][eb][fb][hb][fc][gc][hc]AW[ca][da][fa][ga][bb][gb][ib][ac][cc][ec][ic][cd][ed][id][ge][cf])
(;AB[ab][eb][ac][bc][dc][ec][de][ee][bf][cf]AW[aa][ca][bb][db][cc][cd])
(;AB[ea][cb][db][eb][cc][ec][bd][dd][ed]AW[ca][da][fa][bb][fb][bc][fc][cd][fd][ce][ee][fe][cf])
(;AB[da][cb][bc][cc][dc][ad][cd]AW[aa][fa][bb][fb][ec][fc][bd][dd][be][ce][de])
(;AB[ba][ca][db][hb][ib][dc][ec][bd][cd][fd][gd][hd]AW[da][ea][fa][ga][bb][cb][eb][gb][bc][fc][gc])
(;AB[da][ea][fb][cc][fc][bd][fd][ae][be][ce][de][ee][fe]AW[ba][cb][db][eb][bc][ec][ad][cd][dd][ed])
(;AB[da][eb][cc][dc][ec][cd][ae][be][ce]AW[ab][cb][db][bc][ad][bd])
(;AB[ea][cb][eb][bc][cc][dc][ad][cd]AW[fa][ab][bb][fb][ec][bd][dd][fd][be][ce][de][bf])
(;AB[eb][cc][dc][ec][ad][bd][ce]AW[ba][cb][db][ac][bc])
(;AB[ab][bb][eb][gb][ac][ec][hc][dd][bf][df]AW[ba][ea][fa][cb][db][bc][ad][bd])
(;AB[da][bb][cb][ac][bc]AW[ba][ea][eb][dc][ad][bd][cd])
(;AB[ea][db][eb][ac][bc][dc][cd]AW[ba][fa][fb][cc][ec][bd][dd][fd][be][de])
(;AB[ba][ab][bc]AW[db][cc][dc][bd][ce])
(;AB[ca][cb][db][ac][bc][bd][cd]AW[da][ea][ab][eb][ec][ad][dd][ae][be][ce][de])
(;AB[ba][cb][bc]AW[db][cc][ec][bd][cd])
(;AB[ea][cb][eb][ac][bc][cc]AW[ba][fa][ab][fb][ec][fc][ad][bd][cd][dd])
(;AB[ba][bb][fb][cc][fc][bd][cd][dd][ed]AW[aa][ca][ea][cb][eb][ac][bc][dc])
(;AB[ab][cb][bc]AW[db][cc][dc][bd][ce])
(;AB[ab][db][eb][ec][ad][ed][be][ce][de][ee]AW[aa][ca][cb][ac][bc][dc][cd][dd])
(;AB[ba][fa][bb][db][fb][dc][fc][fd]AW[da][ga][ab][gb][bc][gc][bd][cd][dd][gd][ee][fe])
(;AB[ea][ab][bb][eb][bc][ec]AW[ca][fa][fb][ac][fc][bd][dd][fd][be][de])
(;AB[bb][cb][db][fb][dc][fc][fd]AW[ab][gb][ib][bc][cc][gc][dd][gd][ce][ee][fe])
(;AB[bb][db][ac][bc][cd]AW[ea][ab][eb][ec][bd][dd][be][ce][de])
(;AB[ab][bb][cb][eb][cc][ec][cd][dd][ed]AW[ba][ca][ea][fb][bc][dc][fc][bd][fd][ce][ee][fe][bf])
(;AB[da][db][ac][bc][dc][bd][dd]AW[ba][ea][eb][ec][ad][ed][ae][be][ce][de][ee])
(;AB[ba][db][ac][bc][dc][dd]AW[ea][ab][eb][ec][ad][bd][ed][ce][de])
(;AB[ea][gb][gc][ad][bd][cd][fd][de][ee][ge]AW[ca][cb][fb][ac][bc][cc][ec][fc][dd])
(;AB[fa][ga][db][gb][gc][ad][bd][cd][fd][de][ee][ge]AW[ca][ea][cb][fb][ac][bc][cc][ec][fc][dd])
(;AB[ea][cb][eb][bc][dc][ec][bd]AW[bb][fb][cc][fc][cd][dd][ed][fd][be][ce])
(;AB[fa][gb][gc][ad][bd][cd][fd][de][ee][ge]AW[ca][cb][eb][fb][ac][bc][cc][fc][dd])
(;AB[da][cb][db][ac][bc]AW[ea][eb][cc][dc][ec][ad][bd][ce])
(;AB[da][db][eb][ec][ad][ed][ae][be][ce][de][ee]AW[cb][ac][bc][dc][bd][cd][dd])
(;AB[eb][cc][dc][ec][cd][be][ce]AW[ba][cb][db][bc][bd])
(;AB[da][cb][db][bc][bd]AW[ea][eb][ac][cc][dc][ec][ae][be][ce])
(;AB[cb][db][bc][bd]AW[eb][cc][dc][ec][be][ce])
(;AB[fa][fb][cc][dc][ec][fc][cd][ce][af][bf][cf]AW[ea][cb][db][eb][bc][bd][ae][be])
(;AB[db][fb][cc][dc][ec][dd][ce][de][bf][cg]AW[ab][cb][bc][bd][cd][be])
(;AB[cb][db][eb][fb][bc][bd]AW[bb][gb][cc][dc][ec][fc][gc][cd][be][ce])
(;AB[fa][ab][cb][db][fb][bc][dc][ec][fc][bd]AW[ba][ea][bb][gb][cc][gc][cd][ed][fd][gd][ae][be][ce])
(;AB[ba][fa][ga][bb][gb][cc][dc][gc][cd][ed][fd][ce][de]AW[ca][ha][ab][cb][fb][hb][bc][fc][hc][bd][gd][be][ge][cf][df][ef])
(;AB[aa][ea][eb][ac][dc][ec][ad][bd][cd]AW[da][ab][bb][db][bc][cc])
(;AB[ab][eb][fb][bc][cc][fc][fd][ae][be][fe][cf][df][ef][ff][bg]AW[bb][cb][db][dc][ec][bd][cd][ed][ce][de][ee])
(;AB[cb][fb][ac][dc][ec][fc][ad][bd][cd]AW[ab][bb][db][eb][bc][cc])
(;AB[da][bb][db][eb][fb][bc][cc]AW[ba][cb][gb][ib][dc][ec][fc][gc][ad][bd][cd])
(;AB[ca][db][bc][cc]AW[bb][dc][ec][fc][bd][cd][ce])
(;AB[eb][gb][dc][ec][bd][cd]AW[ca][ab][db][bc][cc])
(;AB[ba][ea][bb][eb][dc][cd][dd][ae][be][cf]AW[ca][ab][db][bc][cc][ec][ad][bd])
(;AB[eb][gb][dc][ec][bd][cd][dd]AW[ca][ea][ab][db][bc][cc])
(;AB[ca][db][bc][cc]AW[bb][eb][dc][ec][gc][cd][ce][cg])
(;AB[ca][db][bc][cc][ad]AW[eb][ac][dc][fc][bd][cd][dd][bf])
(;AB[ba][da][db][bc][cc]AW[ca][ea][eb][ac][ec][ad][bd][cd][dd])
(;AB[ba][da][db][bc][cc]AW[ea][bb][eb][dc][ad][bd][cd][ed])
(;AB[ea][bb][db][eb][bc][cc]AW[fa][ab][fb][dc][ec][fc][ad][bd][cd])
(;AB[da][cb][db][bc][cc]AW[bb][eb][fb][dc][bd][cd][dd][bf])
(;AB[ba][ea][db][eb][bc][cc]AW[fa][ab][fb][dc][ec][fc][ad][bd][cd])
(;AB[da][cb][db][bc][cc][ad]AW[ea][bb][eb][ac][ec][bd][cd][dd][bf])
(;AB[ba][ea][db][eb][bc][cc]AW[fa][fb][ac][dc][ec][fc][bd][cd])
(;AB[ba][db][eb][bc][cc][hc]AW[ab][fb][ec][fc][ad][bd][cd][dd])
(;AB[ab][fb][dc][ec][fc][bd][cd]AW[ca][db][eb][ac][bc][cc])
(;AB[da][ab][fb][dc][ec][fc][hc][ad][bd][cd][de]AW[ba][ca][db][eb][ac][bc][cc][dd])
(;AB[da][db][ac][bc][cc][dc][ec][cd][dd][ed][ce]AW[ca][ea][bb][cb][eb][fb][gc][be][ge][cf][df][ff])
(;AB[db][eb][ac][bc][cc][ec][cd][dd][ed]AW[da][ea][fa][fb][fc][ad][bd][fd][be][ce][de][ee])
(;AB[ea][db][bc][cc][ec][cd][dd][ed]AW[ca][cb][eb][fb][fc][bd][fd][be][ce][de][ee][fe])
(;AB[ea][db][ac][bc][cc]AW[eb][fb][dc][bd][cd][dd])
(;AB[da][db][ac][bc][cc]AW[ea][eb][dc][ec][ad][bd][cd])
(;AB[dc][ec][gc][ad][bd][cd][fd]AW[aa][db][ac][bc][cc])
(;AB[ea][eb][dc][ec][ad][bd][cd][de]AW[da][db][ac][bc][cc])
(;AB[ea][eb][dc][bd][cd][dd]AW[da][bb][db][ac][bc][cc])
(;AB[aa][ea][cb][db][eb][bc][cc]AW[ca][fa][fb][fc][ad][bd][cd][ed])
(;AB[ba][eb][dc][fc][ad][bd][cd][dd]AW[da][bb][db][ac][bc][cc])
(;AB[fb][dc][ec][fc][ad][bd][cd]AW[db][eb][ac][bc][cc])
(;AB[da][cb][db][bc][cc]AW[bb][eb][dc][fc][bd][cd][dd])
(;AB[ca][db][eb][ac][bc][cc]AW[ea][fa][fb][dc][ec][fc][bd][cd])
(;AB[ca][ab][db][eb][cc]AW[fa][fb][dc][ec][fc][bd][cd])
(;AB[fa][bb][fb][dc][ec][fc][ad][bd][cd]AW[ea][cb][db][eb][ac][bc][cc])
(;AB[ca][fa][fb][dc][ec][fc][ad][bd][cd]AW[aa][ea][cb][db][eb][ac][bc][cc])
(;AB[hb][dc][ec][fc][gc][hc][bd][cd]AW[db][eb][fb][gb][bc][cc])
(;AB[fa][ab][bb][fb][ec][fc][bd][cd][dd][bf]AW[aa][ea][db][eb][ac][bc][cc][dc])
(;AB[aa][ca][bb][db][bc][cc][bd]AW[da][ea][ab][eb][dc][ec][cd][be][ce])
(;AB[fa][db][eb][fb][ac][bc][cc]AW[ba][da][ga][gb][dc][ec][fc][gc][ad][bd][cd])
(;AB[ca][bc][cc][ad][bd]AW[da][eb][dc][cd][dd][ae][be])
(;AB[fa][cb][db][eb][fb][ac][bc][cc]AW[ba][ca][da][ga][gb][dc][ec][fc][gc][ad][bd][cd])
(;AB[ca][db][bc][cc][ad][bd]AW[da][fa][eb][dc][ec][cd][ae][be][ce])
(;AB[da][db][bc][cc][bd]AW[ea][eb][dc][cd][dd][be][cf])
(;AB[ab][db][eb][bc][cc]AW[fa][fb][ac][dc][fc][ad][bd][cd][dd])
(;AB[ca][db][bc][cc][bd]AW[ea][eb][dc][ec][cd][ae][be][ce])
(;AB[ca][db][bc][cc][ad]AW[aa][ea][eb][dc][ec][cd][ae][be][de])
(;AB[ba][fb][dc][ec][gc][cd][be][ce]AW[ab][db][bc][cc][ad][bd])
(;AB[ca][db][bc][cc][ad]AW[bb][eb][dc][fc][cd][dd][ae][be])
(;AB[da][ea][eb][ec][cd][ed][ae][be][ce]AW[ca][db][bc][cc][ad][bd])
(;AB[da][db][bc][cc][ad][bd]AW[ba][ca][fb][dc][ec][gc][cd][ae][be][ce])
(;AB[da][db][bc][cc][ad][bd]AW[ba][ea][cb][eb][ec][cd][dd][ae][be][ee])
(;AB[ba][da][db][bc][cc][bd]AW[ea][bb][eb][dc][ad][cd][dd][be][cf])
(;AB[ea][db][eb][ac][bc][cc]AW[aa][fa][bb][fb][ec][fc][ad][bd][cd][dd])
(;AB[da][db][bc][cc][ad][bd]AW[ab][eb][dc][fc][cd][dd][be][cf])
(;AB[da][db][bc][cc][bd][ae]AW[ea][eb][dc][ec][ad][cd][be][ce][bg])
(;AB[da][db][bc][cc][ad][bd]AW[ea][ab][eb][ac][dc][cd][ed][be][ce])
(;AB[ba][da][db][bc][cc][bd][ae]AW[ea][ab][eb][dc][ad][cd][ed][be][ce][bg])
(;AB[ca][da][eb][fb][dc][cd][ed][ae][be][ce]AW[ba][ea][db][bc][cc][ad][bd])
(;AB[ea][eb][dc][fc][cd][dd][be][cf][ch]AW[da][bb][db][bc][cc][bd])
(;AB[ca][fa][fb][dc][ec][fc][cd][be][ce]AW[aa][ea][cb][db][eb][cc][ad][bd])
(;AB[da][ea][ab][db][eb][bc][cc][bd]AW[fa][cb][fb][dc][ec][fc][cd][ae][be][ce])
(;AB[ga][gb][dc][ec][fc][gc][bd][cd]AW[fa][db][eb][fb][bc][cc])
(;AB[eb][ac][dc][cd][dd][ae][be][cf]AW[da][db][bc][cc][ad][bd])
(;AB[ca][db][eb][bc][cc][bd]AW[ea][fb][dc][ec][fc][ad][cd][be][ce])
(;AB[da][ea][eb][ec][cd][dd][ed][ae][be]AW[ca][db][bc][cc][dc][ad][bd])
(;AB[ca][db][eb][bc][cc][ad][bd]AW[ea][fa][fb][dc][ec][fc][cd][ae][be][de])
(;AB[aa][ea][bb][db][eb][bc][cc][bd]AW[ba][ca][fa][fb][hb][dc][fc][ad][cd][dd][ae][be][ce])
(;AB[ca][db][bc][cc][bd][ae][be]AW[ea][cb][eb][ac][dc][ec][cd][ce][af][bf][cf])
(;AB[ea][bb][cb][db][eb][bc][cc][bd]AW[ba][ca][ab][fb][hb][dc][fc][cd][dd][ae][be][ce])
(;AB[aa][ca][ea][eb][bc][cc]AW[fb][ac][fc][ad][bd][cd][dd][ed])
(;AB[ea][db][eb][bc][cc][ad][bd]AW[ca][ab][fb][hb][dc][fc][cd][dd][ae][be][ce])
(;AB[ba][da][fa][fb][bc][cc][ec]AW[ab][eb][gb][fc][gc][bd][cd][dd][ed])
(;AB[cb][db][bc][cc][bd]AW[aa][ca][bb][fb][hb][dc][ec][fc][cd][dd][be][ce])
(;AB[ba][ea][eb][ac][bc][cc]AW[ca][fa][ab][fb][ec][ad][bd][cd][dd][fd])
(;AB[ea][bb][cb][eb][cc][dc][ad][bd]AW[ba][fa][fb][bc][ec][gc][cd][dd][ed][ae][be])
(;AB[fa][fb][dc][ec][fc][ad][bd][cd]AW[bb][db][eb][bc][cc])
(;AB[fa][ab][cb][eb][bc][cc][dc]AW[ba][da][fb][hb][ac][ec][fc][bd][dd][ed][ce][bf])
(;AB[cb][eb][cc][dc][bd]AW[fb][bc][ec][gc][cd][dd][ed][be])
(;AB[eb][gb][hc][bd][cd][de][ee][fe][ge][bf][cf]AW[fb][bc][cc][fc][dd][ed][fd])
(;AB[bb][ac][cc][dc][bd]AW[ec][fc][ic][ad][cd][dd][ae][be][cf])
(;AB[cb][fb][dc][ec][fc][bd][cd]AW[bb][db][eb][bc][cc])
(;AB[bb][db][cc][dc][ec]AW[eb][fb][fc][bd][cd][dd][ed][cf])
(;AB[bb][db][eb][cc][ec]AW[fb][hb][ac][dc][fc][dd][ed][fd][be][ce])
(;AB[ca][bb][ac][cc][dc][cd]AW[db][bc][fc][gc][bd][dd][ed][be][ce])
(;AB[bb][db][cc][dc][ec][dd]AW[eb][fb][fc][ad][cd][ed][fd][ce][de])
(;AB[ba][bb][eb][fb][cc][dc]AW[ab][gb][bc][ec][gc][bd][cd][ed][ge][cf])
(;AB[da][bb][db][ac][cc][dc]AW[ca][ea][eb][ec][ad][bd][cd][ed][de])
(;AB[ab][bb][eb][cc][dc][ec]AW[ba][fa][fb][bc][fc][bd][cd][dd][ed][fd])
(;AB[ca][bb][ac][cc][dc]AW[db][bc][fc][gc][ic][bd][cd][dd][ed])
(;AB[ea][bb][eb][cc][dc][ec]AW[da][cb][fb][bc][fc][bd][ed][fd][ce][de])
(;AB[ea][bb][eb][ac][cc][dc][ec]AW[aa][fa][fb][bc][fc][ad][bd][cd][dd][ed][fd])
(;AB[fa][fb][gb][bc][gc][bd][cd][gd][de][ee][fe][ge][cf]AW[bb][eb][cc][dc][fc][dd][ed][fd])
(;AB[ea][ab][eb][ac][cc][dc][bd][cd]AW[ca][fa][fb][ec][fc][ad][dd][ae][be][ce][ee])
(;AB[aa][ba][ca][gb][ec][fc][cd][dd][be][cf]AW[ea][ab][eb][cc][dc][ad][bd])
(;AB[bb][eb][fb][cc][dc]AW[gb][bc][ec][fc][gc][bd][cd][dd])
(;AB[ea][bb][eb][cc][dc][ec]AW[fa][fb][bc][fc][bd][cd][dd][ed][fd])
(;AB[ea][bb][eb][cc][dc]AW[fa][fb][bc][fc][bd][cd][dd][ed])
(;AB[ea][bb][eb][cc][dc][ec]AW[cb][db][fb][gb][bc][bd][cd][dd][ed][fd])
(;AB[ea][bb][eb][cc][dc][ec]AW[fa][fb][bc][fc][bd][cd][dd][ed])
(;AB[da][fb][bc][fc][bd][cd][dd][ed][fd]AW[ea][ab][bb][eb][cc][dc][ec])
(;AB[ea][bb][eb][cc][dc][ec]AW[fa][cb][db][fb][bc][fc][bd][ed][ce][de][fe])
(;AB[ba][fa][fb][ac][bc][fc][bd][cd][dd][ed][fd]AW[ca][da][ea][ab][bb][eb][cc][dc][ec])
(;AB[ab][bb][eb][cc][dc][ec]AW[fa][cb][fb][bc][fc][bd][dd][ed][fd][bf])
(;AB[da][fb][bc][fc][bd][cd][dd][ed]AW[ea][ab][bb][eb][cc][dc][ec])
(;AB[ba][fa][fb][fc][bd][cd][dd][ed][fd]AW[ea][ab][bb][eb][cc][dc][ec])
(;AB[ba][ea][eb][ec][bd][cd][dd][ed]AW[ca][ab][bb][db][cc][dc])
(;AB[ca][fb][hb][ac][bc][fc][cd][dd][ed][be]AW[da][ab][bb][eb][cc][dc])
(;AB[fa][fb][bc][ec][bd][cd][dd][ed]AW[ba][ab][bb][db][eb][cc][dc])
(;AB[fa][fb][hb][ac][bc][fc][cd][dd][ed][be]AW[ca][ab][bb][eb][cc][dc])
(;AB[fa][ab][bb][db][eb][cc][dc]AW[ca][ea][fb][gb][ac][bc][ec][cd][dd][ed][be])
(;AB[fa][fb][bc][ec][fc][bd][cd][dd]AW[da][ab][bb][eb][cc][dc])
(;AB[fa][fb][bc][ec][fc][bd][dd][ce][ee]AW[da][ab][bb][eb][cc][dc][cd])
(;AB[ba][ab][bb][eb][cc][dc]AW[fa][fb][bc][ec][fc][bd][cd][dd])
(;AB[fa][cb][db][fb][bc][fc][bd][fd][ce][de][ee][fe]AW[ca][ea][ab][bb][eb][cc][ec][cd][dd][ed])
(;AB[ga][ab][gb][cc][fc][gc][bd][cd][dd][ed]AW[ba][bb][cb][fb][ac][bc][dc][ec])
(;AB[ea][ab][bb][eb][cc][cd][dd][ed]AW[fa][cb][fb][ac][bc][fc][bd][fd][ce][de][ee][bf])
(;AB[ab][bb][eb][cc][dc]AW[ba][hb][bc][fc][gc][ic][bd][cd][dd][ed])
(;AB[fb][ac][bc][fc][cd][dd][ed][fd][be]AW[da][ab][bb][cc][dc][ec])
(;AB[ba][ca][fb][fc][bd][cd][dd][ed][fd]AW[ea][ab][bb][eb][cc][dc][ec])
(;AB[ab][bb][eb][fb][cc][dc]AW[fa][gb][bc][ec][fc][gc][bd][cd][dd][ed])
(;AB[ba][fa][fb][ac][fc][bd][cd][dd][ed][fd]AW[ca][da][ea][ab][bb][eb][dc][ec])
(;AB[ab][bb][eb][fb][cc][dc]AW[ba][gb][bc][ec][fc][gc][bd][cd][dd][ed])
(;AB[ab][bb][eb][fb][cc][dc]AW[da][gb][bc][ec][fc][gc][bd][cd][dd][ed])
(;AB[ba][ab][bb][cc][dc][ec]AW[fa][cb][fb][ac][bc][fc][bd][cd][ed][fd][cf])
(;AB[fa][ab][bb][eb][cc][dc]AW[da][fb][gb][bc][ec][bd][cd][dd][fd])
(;AB[ca][fa][fb][ac][bc][fc][cd][dd][ed][fd][be]AW[ba][ea][ab][bb][db][cc][dc][ec])
(;AB[ga][gb][bc][ec][fc][gc][bd][cd][dd]AW[ca][ab][bb][eb][fb][cc][dc])
(;AB[ea][fb][bc][fc][bd][cd][dd][ed]AW[ca][ab][bb][eb][cc][dc][ec])
(;AB[ca][ab][bb][cc][dc][ec]AW[ba][fa][fb][ac][bc][fc][cd][dd][ed][fd][be])
(;AB[bb][cb][fb][dc][ec][fc]AW[da][gb][ib][ac][bc][cc][gc][dd][fd][gd][ce])
(;AB[fa][fb][bc][fc][dd][ed][fd][ae][be][ce]AW[ea][bb][cb][eb][dc][ec][bd])
(;AB[ab][bb][cb][eb][dc][ec]AW[fa][fb][ac][bc][cc][fc][dd][ed][fd][ce])
(;AB[fa][db][fb][cc][fc][ad][bd][cd][dd][ed]AW[aa][ea][bb][cb][eb][ac][bc][dc][ec])
(;AB[da][fa][fb][ac][bc][cc][fc][dd][ed][ce]AW[ea][ab][bb][cb][eb][dc])
(;AB[ba][fa][fb][cc][fc][ad][bd][cd][dd][ed]AW[ea][bb][cb][eb][ac][bc][dc])
(;AB[ga][gb][ac][bc][cc][fc][dd][ed][gd]AW[da][fa][ab][bb][cb][fb][ec])
(;AB[da][db][gb][cc][fc][hc][ad][bd][cd][dd][ed]AW[aa][bb][cb][eb][fb][ac][bc][dc][ec])
(;AB[fa][fb][ac][bc][cc][fc][cd][dd][ed]AW[da][ab][bb][cb][eb][dc][ec])
(;AB[ea][ab][bb][cb][eb][dc][ec]AW[ca][fa][fb][ac][bc][cc][fc][dd][ed][fd][ce])
(;AB[ab][bb][cb][dc][ec][fc]AW[ba][gb][bc][cc][gc][dd][ed][fd][gd][ce])
(;AB[ba][ca][fa][fb][bc][fc][dd][ed][fd][be]AW[ea][ab][bb][cb][eb][dc][ec])
(;AB[fa][ab][bb][cb][db][eb][dc][ec][fc]AW[ba][da][fb][gb][bc][cc][gc][dd][ed][fd][gd][ce])
(;AB[aa][ba][fa][fb][ac][bc][cc][fc][cd][dd][ed]AW[ea][ab][bb][cb][eb][dc][ec])
(;AB[ca][da][ab][bb][ac][cc][dc][ec]AW[ba][ea][fa][fb][bc][fc][ad][bd][cd][dd][ed])
(;AB[ca][db][fb][ac][bc][cc][fc][dd][ed][ce]AW[ea][ab][bb][cb][eb][dc][ec])
(;AB[da][gb][bc][fc][gc][bd][cd][dd][ed]AW[ea][ab][bb][fb][cc][dc][ec])
(;AB[ba][ca][da][gb][bc][fc][gc][bd][cd][dd][ed]AW[ea][ab][bb][cb][db][fb][cc][dc][ec])
(;AB[fa][eb][gb][ac][bc][gc][ic][bd][cd][dd][ed][fd]AW[ab][bb][db][fb][cc][dc][ec][fc])
(;AB[ba][ca][fa][ga][gb][ac][bc][gc][cd][fd][be][de][fe]AW[da][ea][ab][bb][cb][fb][cc][dc][ec])
(;AB[ab][bb][fb][cc][dc][fc]AW[gb][hb][bc][bd][cd][dd][ed][fd][gd])
(;AB[da][ha][cb][hb][bc][fc][gc][hc][bd][cd][dd][ed]AW[ba][ab][bb][eb][fb][gb][cc][dc][ec])
(;AB[ba][fa][ga][gb][bc][gc][bd][cd][dd][ed][gd]AW[ca][da][ab][bb][fb][cc][dc][fc])
(;AB[da][ha][hb][bc][fc][gc][hc][bd][cd][dd][ed]AW[ea][ab][bb][fb][gb][cc][dc][ec])
(;AB[fa][cb][gb][ib][ac][bc][gc][cd][dd][ed][fd][gd][be]AW[ca][ea][ab][bb][fb][cc][dc][ec][fc])
(;AB[gb][bc][gc][bd][cd][dd][ed][fd][gd]AW[ab][bb][cc][dc][ec][fc])
(;AB[da][cb][eb][cc][dc]AW[bb][fb][ec][gc][bd][cd][dd][ed])
(;AB[ba][da][fa][db][fb][gb][gc][bd][cd][gd][ce][fe][ge][cf][df][ef]AW[ea][bb][eb][bc][cc][dc][ec][fc][dd][ed][fd][de][ee])
(;AB[ca][ga][gb][ec][fc][gc][bd][cd][dd]AW[da][fa][ab][eb][fb][cc][dc])
(;AB[ha][ab][hb][bc][ec][fc][gc][hc][bd][cd][dd]AW[ca][ga][bb][eb][fb][gb][cc][dc])
(;AB[ha][hb][ac][bc][ec][fc][gc][hc][cd][dd][be]AW[ba][ga][ab][bb][eb][fb][gb][cc][dc])
(;AB[da][cb][eb][cc][dc]AW[ab][fb][ec][gc][bd][cd][dd][ed])
(;AB[ga][bb][eb][fb][gb][cc][dc]AW[ha][ab][hb][bc][ec][fc][gc][hc][bd][cd][dd])
(;AB[ab][cb][db][bc][ec][fc][gc][hc][dd][ce][de]AW[ba][bb][eb][fb][gb][cc][dc][bd][cd])
(;AB[cb][db][eb][bc][bd]AW[fb][cc][dc][ec][fc][ad][be][ce])
(;AB[ba][da][fa][fb][dc][ec][fc][bd][cd]AW[ea][cb][db][eb][bc][cc])
(;AB[ba][cc][fc][gc][ic][bd][cd][dd][ed]AW[ab][bb][cb][eb][bc][ec])
(;AB[ea][cb][db][eb][bc][cc]AW[ba][ca][da][fa][fb][dc][ec][fc][bd][cd])
(;AB[ba][bb][gb][ib][dc][fc][gc][ad][bd][cd][dd][ed]AW[ca][fa][ab][cb][db][eb][fb][bc][ec])
(;AB[fb][dc][ec][fc][ad][bd][cd]AW[cb][db][eb][bc])
(;AB[fa][fb][cc][fc][bd][cd][dd][fd]AW[bb][cb][eb][bc][dc])
(;AB[da][fb][ac][fc][bd][cd][fd][de]AW[ea][ab][bb][eb][bc][dc][ec])
(;AB[bb][cb][bc][dc][ec]AW[fb][cc][bd][cd][dd][ed][fd])
(;AB[ba][ga][gb][ac][fc][ad][bd][cd][dd][ed][fd]AW[ea][ab][bb][eb][fb][bc][dc][ec])
(;AB[ab][fb][bc][cc][ec][fc][be][ce][ee][df]AW[ea][bb][eb][dc][ad][bd][cd][dd])
(;AB[da][db][fb][bc][cc][ec][ed][be][de][ee][bf]AW[ab][cb][ac][dc][bd][cd][dd])
(;AB[ba][cb][gb][bc][fc][gc][bd][cd][dd][ed]AW[fa][ab][bb][db][fb][cc][dc][ec])
(;AB[bb][db][bc][ec][cd][dd]AW[cb][fb][cc][fc][ad][bd][fd][ce][ee][bf])
(;AB[ba][ac][bc][cc][gc][ic][kc][dd][gd][ce][fe]AW[ab][bb][cb][db][ec][fc])
(;AB[bb][cb][fb][dc][ec]AW[bc][cc][fc][gc][ic][dd][ed][ce])
(;AB[ab][cb][bd][cd]AW[db][eb][dd][be][ce][de])
(;AB[bb][cb][fb][gb][dc][ec][fc]AW[ab][hb][bc][cc][gc][hc][jc][dd][ed][fd][ce])
(;AB[ca][ab][cb][bd][cd][ae]AW[db][eb][ad][dd][be][ce][de][bg])
(;AB[da][db][ac][bc][dc]AW[ea][eb][ec][ad][bd][cd][dd][ed])
(;AB[db][eb][ad][dd][be][ce][de][bg]AW[ca][ab][cb][bd][cd][ae])
(;AB[fb][dc][fc][dd][be][ce][fe]AW[db][eb][bc])
(;AB[ea][eb][dc][ec][dd][ae][be][ce][ee]AW[ba][cb][db][ac][bd][cd])
(;AB[ba][cb][db][bd][cd][ae]AW[da][eb][dc][ec][be][ce][de][bg])
(;AB[fb][hb][ac][ec][fc][bd][dd][be][de][cf]AW[ab][bb][db][eb][bc][dc][cd])
(;AB[ea][db][eb][bc][dc][bd]AW[fa][fb][ac][ec][cd][dd][ed][ae][be])
(;AB[ca][fb][hb][ec][fc][bd][dd][be][de][cf]AW[ea][bb][db][eb][bc][dc][cd])
(;AB[da][cb][db][bd][cd]AW[ea][eb][ec][dd][be][ce][de][fe][bf])
(;AB[db][eb][ec][ed][ae][be][ce][de][ee]AW[da][cb][ac][dc][ad][bd][cd][dd])
(;AB[eb][cc][ec][bd][cd][be]AW[ea][fb][hb][fc][dd][fd][ce][de][bf][cg])
(;AB[fb][cc][ec][fc][dd][ae][be][ce][de]AW[db][eb][bc][dc][bd][cd])
(;AB[fc][dd][ed][be][ce]AW[bb][dc][bd][cd])
(;AB[ab][fb][ec][bd][cd][dd][fd]AW[ba][ea][db][ac][bc][dc])
(;AB[eb][fb][fc][dd][fd][be][ce][de]AW[cb][dc][ec][bd][cd])
(;AB[ea][cb][fb][fc][ad][dd][ed][fd][be][ce]AW[ca][bb][eb][ac][cc][ec][cd])
(;AB[dc][ec][bd][cd]AW[fc][hc][dd][fd][be][ce][de][bg])
(;AB[ea][db][ac][bc][ec][cd][dd][ed]AW[cb][eb][fb][fc][ad][bd][fd][ce][de][ee][bf])
(;AB[ea][eb][cc][dc][ec][bd][cd]AW[ba][da][fa][db][fb][fc][ad][dd][ed][ae][be][ce][fe])
(;AB[bb][eb][fb][bd][ed][be][ce][de][ee]AW[db][ac][bc][dc][cd][dd])
(;AB[cb][fb][fc][bd][ed][fd][be][ce][de][ee][bf]AW[bb][eb][bc][dc][ec][ad][cd][dd])
(;AB[ba][ea][eb][dc][ad][dd][ae][be][ce][de]AW[da][bb][db][ac][cc][bd][cd])
(;AB[eb][bc][dc][ec][ad][cd][dd]AW[cb][fb][cc][gc][bd][ed][fd][be][ce][bf][ef])
(;AB[ea][eb][dc][ec][cd][ae][be][ce]AW[da][bb][db][ac][cc][ad][bd])
(;AB[ab][cb][hb][cc][hc][bd][ed][gd][be][ce][de][fe][he]AW[bb][db][bc][dc][ec][fc][gc][cd][dd])
(;AB[ea][eb][dc][cd][dd][ae][be][cf]AW[ba][ca][bb][db][cc][ad][bd])
(;AB[ea][eb][dc][ec][cd][be][ce]AW[da][bb][db][ac][cc][bd])
(;AB[ea][eb][dc][ec][cd][ae][be][ce]AW[da][bb][db][cc][ad][bd])
(;AB[ba][ea][eb][ec][cd][dd][be][cf]AW[da][ab][bb][db][bc][cc][bd])
(;AB[bb][db][bc][cc][dc][ad]AW[eb][ac][ec][bd][cd][dd][ed][be])
(;AB[da][db][bc][cc][dc][bd]AW[aa][ca][ea][eb][ec][cd][dd][ed][ae][be])
(;AB[eb][gb][ec][bd][cd][dd][ed][bf]AW[ea][bb][db][bc][cc][dc][ad])
(;AB[da][db][bc][cc][dc][ad][bd]AW[ba][ca][ea][ab][eb][ec][cd][dd][ed][ae][be][ce])
(;AB[ea][bb][db][bc][cc][dc]AW[ba][ca][cb][eb][gb][ec][bd][cd][dd][ed])
(;AB[eb][ec][bd][cd][dd][ed]AW[bb][db][bc][cc][dc])
(;AB[ea][cb][eb][ec][bd][dd][ed][be]AW[ab][bb][db][bc][cc][dc])
(;AB[bb][db][bc][cc][dc][ad][cd]AW[ea][ab][eb][ec][bd][dd][ed][be][ce][bf])
(;AB[eb][ec][bd][cd][dd][ed]AW[ab][db][bc][cc][dc])
(;AB[eb][dc][ec][bd][cd]AW[da][ab][cb][db][ac][bc][cc])
(;AB[ea][eb][ec][bd][cd][dd][ed]AW[ab][db][bc][cc][dc])
(;AB[eb][ec][bd][cd][dd][ed][bf]AW[ca][db][bc][cc][dc])
(;AB[eb][gb][ec][bd][cd][dd][ed][bf]AW[ba][ea][db][bc][cc][dc][ad])
(;AB[eb][ec][bd][cd][dd][ed]AW[ba][db][bc][cc][dc])
(;AB[da][cb][cc][ad][bd][cd]AW[bb][db][eb][dd][ae][be][ce][de])
(;AB[db][fb][bc][dc][dd][ae][be][ce][de]AW[da][ab][cb][cc][ad][bd][cd])
(;AB[eb][gb][fc][ad][bd][cd][dd][ed][ae]AW[ea][bb][db][bc][cc][dc][be][ce][bg])
(;AB[ba][ea][db][bc][cc][dc]AW[fa][eb][fb][ec][ad][bd][cd][dd][ed])
(;AB[eb][gb][ac][ec][ad][bd][cd][dd][ed]AW[ab][db][bc][cc][dc])
(;AB[eb][fb][ec][bd][cd][dd][ed]AW[ba][ea][db][bc][cc][dc])
(;AB[ab][db][bc][cc][dc]AW[eb][gb][ac][ec][ad][bd][cd][dd][ed])
(;AB[eb][gb][fc][ad][bd][cd][dd][ed][ae]AW[ea][db][ac][bc][cc][dc][be][ce][bg])
(;AB[ab][db][bc][cc][dc]AW[ca][ea][eb][ec][bd][cd][dd][ed])
(;AB[ab][db][bc][cc][dc]AW[ea][cb][eb][ac][ec][ad][bd][cd][dd][ed])
(;AB[fa][ab][db][fb][bc][cc][dc][ec]AW[ba][ga][eb][gb][ac][fc][gc][ad][bd][cd][dd][ed])
(;AB[cb][eb][ac][ec][ad][bd][cd][dd][ed]AW[da][ab][db][bc][cc][dc])
(;AB[ca][db][bc][cc][dc]AW[da][ea][eb][ec][bd][cd][dd][ed][bf])
(;AB[ab][db][fb][bc][cc][dc][ec]AW[da][ea][eb][hb][ac][fc][ic][ad][bd][cd][dd][ed][fd][hd])
(;AB[db][ac][bc][cc][dc][cd][be]AW[da][ea][eb][ec][dd][ed][ce][bf][cf][bh])
(;AB[fa][ab][db][fb][bc][cc][dc][ec]AW[ba][ea][ga][gb][ac][fc][gc][ad][bd][cd][dd][ed])
(;AB[db][bc][cc][dc][ad][bd]AW[da][cb][eb][ac][ec][dd][ed][ae][be][ce])
(;AB[da][ea][eb][ec][dd][ae][be][ce][de]AW[ba][db][ac][cc][dc][ad][bd][cd])
(;AB[fa][bb][fb][dc][ec][fc][ad][dd][ae][be][ce]AW[ba][ea][cb][db][eb][ac][cc][bd][cd])
(;AB[ea][eb][bc][ec][dd][ed][ae][be][ce]AW[da][ab][db][cc][dc][bd][cd])
(;AB[db][ac][bc][cc][dc]AW[aa][ea][eb][ec][ad][bd][cd][dd][ed])
(;AB[fa][fb][fc][ad][ed][fd][ae][be][ce][de]AW[ea][cb][eb][cc][ec][bd][cd][dd])
(;AB[db][ac][bc][cc][dc]AW[ea][eb][ec][ad][bd][cd][dd][ed])
(;AB[ba][ca][ga][cb][gb][ac][gc][ad][bd][cd][dd][ed][fd][gd]AW[da][fa][ab][db][fb][bc][cc][dc][ec][fc])
(;AB[da][fa][bb][fb][ec][ad][bd][cd][dd][ed]AW[ba][ea][db][ac][bc][cc][dc])
(;AB[ba][db][ac][bc][cc][dc]AW[da][ab][cb][eb][fb][ad][bd][cd][dd][ed])
(;AB[ea][eb][ec][bd][cd][dd][ed][bf]AW[da][db][bc][cc][dc])
(;AB[bb][db][ac][bc][cc][dc]AW[ca][fb][fc][ad][bd][cd][dd][ed])
(;AB[ea][eb][ec][ad][bd][cd][dd][ed]AW[ba][da][db][bc][cc][dc])
(;AB[bb][cb][eb][ec][bd][cd][dd][ed]AW[ab][db][ac][bc][cc][dc])
(;AB[da][db][bc][cc][dc]AW[ca][cb][eb][gb][ec][ad][bd][cd][dd][ed])
(;AB[ab][db][ac][bc][cc][dc]AW[ea][bb][cb][eb][ec][ad][bd][cd][dd][ed])
(;AB[ea][ab][eb][ec][ad][bd][cd][dd][ed]AW[aa][da][db][ac][bc][cc][dc])
(;AB[ea][bb][eb][ec][ad][bd][cd][dd][ed]AW[ba][da][db][ac][bc][cc][dc])
(;AB[eb][gb][ec][ad][cd][dd][ed][be][cf]AW[bb][db][bc][cc][dc][bd])
(;AB[ca][ea][eb][ec][ad][bd][cd][dd][ed]AW[aa][da][db][ac][bc][cc][dc])
(;AB[ab][db][bc][cc][dc][ad][bd]AW[ca][da][cb][eb][ec][cd][dd][ed][ae][be])
(;AB[ba][cb][eb][gb][ec][ad][bd][cd][dd][ed]AW[da][db][ac][bc][cc][dc])
(;AB[ba][db][eb][bc][cc][dc]AW[ab][fb][ec][gc][ad][bd][cd][dd][ed])
(;AB[da][db][bc][cc][dc][bd]AW[bb][eb][gb][ec][cd][dd][ed][be][cf])
(;AB[ba][db][eb][ac][bc][cc][dc]AW[ab][bb][fb][hb][ec][fc][ad][bd][cd][dd])
(;AB[ea][db][eb][ac][bc][cc][dc]AW[da][bb][cb][fb][ec][fc][ad][bd][cd][dd])
(;AB[ea][ab][eb][bc][cc][ec]AW[fa][fb][ac][fc][ad][bd][cd][dd][ed][gd])
(;AB[db][eb][ac][bc][cc][dc]AW[aa][bb][cb][fb][hb][ec][fc][ad][bd][cd][dd])
(;AB[aa][ea][ab][cb][eb][bc][cc][dc][ec]AW[ca][fa][bb][fb][ac][fc][ad][bd][cd][dd][fd][df])
(;AB[ca][bb][fb][ec][gc][cd][dd][ed][ae][be][cf]AW[ab][cb][db][eb][bc][cc][dc][bd])
(;AB[aa][ea][cb][eb][bc][cc][ec]AW[ca][da][fa][fb][fc][bd][cd][dd][ed][fd][be])
(;AB[aa][ea][ab][eb][bc][cc][ec]AW[fa][fb][ac][fc][ad][bd][cd][dd][fd][df])
(;AB[ea][ab][eb][ac][bc][cc][ec]AW[ba][fa][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[da][ab][eb][bc][cc][ec][cd][dd]AW[ca][ea][fa][fb][fc][bd][ed][fd][be][ce][de])
(;AB[bb][eb][ac][bc][cc][ec][cd][dd][ed]AW[ba][ea][db][fb][dc][fc][ad][bd][fd][ce][de][ee][bf])
(;AB[db][eb][bc][cc][ec][dd][ed]AW[ea][fa][cb][fb][fc][bd][cd][fd][de][ee][fe][bf])
(;AB[db][eb][bc][cc][ec][dd][ed]AW[ba][da][fa][fb][fc][ad][bd][cd][fd][de][ee][cf])
(;AB[ab][cb][eb][bc][cc][ec][cd][dd]AW[ea][fa][db][fb][ac][fc][ad][bd][fd][ce][de][ee][bf])
(;AB[fa][fb][ac][fc][bd][fd][be][ce][de][ee][fe]AW[ba][ea][eb][bc][cc][ec][cd][dd][ed])
(;AB[bb][cb][fb][hb][fc][bd][cd][fd][de][ee][cf]AW[ba][ab][eb][bc][cc][ec][dd])
(;AB[da][eb][ac][bc][cc][ec][dd][ed]AW[ba][ea][fa][fb][fc][ad][bd][cd][fd][de][ee][fe][cf])
(;AB[ea][ab][fb][hb][ac][gc][bd][ed][fd][hd][ce][de][bf]AW[ba][da][cb][eb][bc][cc][dc][ec][fc][cd])
(;AB[ea][fa][fb][fc][dd][ed][fd][be][bf]AW[da][eb][bc][cc][dc][ec][bd])
(;AB[ea][fa][cb][fb][ac][fc][bd][cd][dd][ed][fd]AW[da][ab][bb][eb][bc][cc][dc][ec])
(;AB[ba][bc][cc][dc]AW[eb][ec][bd][cd][dd][ed])
(;AB[da][fa][bb][db][eb][bc][cc][ec][ad][bd]AW[ba][ca][ab][fb][hb][dc][fc][cd][dd][ed][fd][be][cf])
(;AB[eb][ac][ec][ad][bd][cd][dd][ed]AW[ba][ab][bc][cc][dc])
(;AB[fa][ga][gb][dc][fc][gc][dd][ed][be][ce]AW[bb][db][eb][fb][bc][cc][ec])
(;AB[eb][ec][bd][ed][bf][cf][df]AW[bc][cc][dc][cd][be][ce])
(;AB[cb][eb][bc][cc][cd][gd][de][ee][fe][ge]AW[db][dc][gc][hc][bd][dd][ed][fd][be][ce][cf][ci])
(;AB[ab][bb][eb][bc][cc][dc]AW[ba][cb][fb][hb][ac][fc][bd][cd][dd][ed])
(;AB[bb][fb][ec][bd][cd][dd][ed]AW[ab][bc][cc][dc])
(;AB[ab][bb][eb][bc][cc][dc]AW[da][cb][fb][hb][ac][fc][bd][cd][dd][ed])
(;AB[ab][bc][cc][dc]AW[fa][bb][fb][ec][gc][bd][cd][dd][ed])
(;AB[ba][gb][ac][ec][fc][bd][dd][gd][be][ee]AW[ca][ab][eb][bc][cc][dc])
(;AB[db][ec][fc][bd][cd][dd]AW[ab][cb][bc][cc][dc])
(;AB[ca][ab][eb][bc][cc][dc]AW[da][fa][fb][ac][ec][fc][ad][bd][cd][dd])
(;AB[ca][da][eb][ac][bc][cc][dc]AW[aa][ba][fa][fb][ec][fc][ad][bd][cd][dd])
(;AB[fa][fb][ac][ec][fc][ad][bd][cd][dd]AW[ca][da][ab][eb][bc][cc][dc])
(;AB[aa][fa][fb][ec][fc][ad][bd][cd][dd]AW[da][bb][eb][ac][bc][cc][dc])
(;AB[ca][da][eb][bc][cc][dc]AW[ba][fa][fb][ec][fc][bd][cd][dd][bf])
(;AB[fa][fb][ac][ec][fc][ad][bd][cd][dd]AW[ea][ab][db][eb][bc][cc][dc])
(;AB[ba][fb][ac][ec][gc][bd][cd][dd][ed][bf]AW[ca][da][ab][eb][bc][cc][dc])
(;AB[eb][ac][ec][ad][bd][cd][dd][ed]AW[ba][ab][bc][cc][dc])
(;AB[fa][fb][ec][fc][ad][bd][cd][dd][bf]AW[ba][da][eb][bc][cc][dc])
(;AB[fa][fb][ec][fc][bd][cd][dd][bf]AW[da][cb][eb][bc][cc][dc])
(;AB[ba][fa][bb][fb][ec][fc][bd][cd][dd]AW[ea][ab][cb][eb][bc][cc][dc])
(;AB[ea][bb][eb][ec][ad][bd][cd][dd][ed]AW[ba][da][cb][ac][bc][cc][dc])
(;AB[ea][cb][eb][bc][cc][dc]AW[da][fa][bb][db][fb][fc][ad][bd][cd][dd][ed])
(;AB[fb][bc][fc][bd][cd][dd][ed][fd]AW[aa][da][bb][eb][cc][dc][ec])
(;AB[ba][ea][bb][eb][bc][cc][dc]AW[ab][db][fb][ec][fc][bd][cd][dd])
(;AB[ba][fa][fb][fc][ad][bd][cd][dd][ed]AW[da][ab][cb][eb][ac][bc][cc][dc])
(;AB[ca][ea][eb][bc][cc][dc]AW[ba][ab][fb][ec][gc][bd][cd][dd][ed])
(;AB[fa][fb][ac][ec][fc][ad][bd][cd][dd]AW[ea][ab][db][eb][bc][cc][dc])
(;AB[ca][ea][eb][bc][cc][dc]AW[ba][fa][fb][ec][fc][ad][bd][cd][dd])
(;AB[ea][db][eb][bc][cc][dc][ad]AW[fa][bb][fb][ec][bd][cd][dd][fd][bf])
(;AB[da][eb][ac][bc][cc][dc]AW[ca][ab][bb][cb][fb][fc][bd][cd][dd][ed][bf])
(;AB[db][gb][ec][fc][ad][bd][cd][dd]AW[ba][ea][eb][bc][cc][dc])
(;AB[fa][fb][ec][fc][ad][bd][cd][dd]AW[aa][ca][eb][ac][bc][cc][dc])
(;AB[ea][eb][bc][cc][dc]AW[fa][fb][ec][ad][bd][cd][dd][ed])
(;AB[aa][ea][eb][ac][bc][cc][dc]AW[fa][bb][fb][ec][fc][bd][cd][dd])
(;AB[fa][fb][ec][fc][ad][bd][cd][dd]AW[aa][da][ea][eb][ac][bc][cc][dc])
(;AB[ea][eb][ac][bc][cc][dc]AW[aa][ca][ab][fb][ec][gc][ad][bd][cd][dd][ed])
(;AB[ea][eb][ac][bc][cc][dc]AW[ba][bb][fb][ec][gc][bd][cd][dd][ed])
(;AB[aa][ea][eb][ac][bc][cc][dc]AW[ab][db][fb][ec][gc][ad][bd][cd][dd][ed])
(;AB[ea][cb][eb][ac][bc][cc][dc]AW[aa][da][fa][bb][fb][ec][gc][ad][bd][cd][dd][ed])
(;AB[ba][ea][eb][ac][bc][cc][dc]AW[da][fa][bb][fb][ec][ad][bd][cd][dd][ed])
(;AB[da][ea][eb][ac][bc][cc][dc]AW[aa][fa][bb][fb][ec][gc][ad][bd][cd][dd][ed])
(;AB[aa][ea][eb][ac][bc][cc][dc]AW[da][ab][bb][fb][ec][gc][ad][bd][cd][dd][ed])
(;AB[ea][eb][ac][bc][cc][dc]AW[ca][fa][ab][fb][fc][ad][bd][cd][dd][ed])
(;AB[ea][bb][cb][eb][ac][bc][cc][dc]AW[aa][ba][ca][fa][fb][ec][bd][cd][dd][fd])
(;AB[da][fa][cb][fb][fc][cd][dd][ed][be][cf]AW[ea][eb][ac][bc][cc][dc][bd])
(;AB[da][ea][eb][ac][bc][cc][dc]AW[fa][cb][fb][ec][fc][ad][bd][cd][dd])
(;AB[fa][ab][fb][ec][fc][cd][dd][be][cf]AW[da][ea][eb][bc][cc][dc][ad][bd])
(;AB[db][gb][ac][ec][gc][ad][bd][cd][dd][ed]AW[ba][ab][eb][fb][bc][cc][dc])
(;AB[fa][fb][ac][ec][gc][cd][dd][ed][ae][be]AW[ea][eb][bc][cc][dc][ad][bd])
(;AB[ea][cb][eb][fb][bc][cc][dc]AW[da][ab][db][ac][ec][fc][gc][ic][bd][cd][dd][cf])
(;AB[ca][ea][cb][eb][fb][bc][cc][dc]AW[bb][gb][ac][ec][fc][gc][ic][bd][cd][dd][cf])
(;AB[ga][cb][db][gb][ac][ec][fc][gc][ad][bd][cd][dd]AW[ba][ca][ab][bb][eb][fb][bc][cc][dc])
(;AB[ea][ab][eb][fb][bc][cc][dc]AW[ba][ca][da][bb][gb][ec][fc][gc][bd][cd][dd])
(;AB[ga][db][gb][ac][ec][fc][gc][ad][bd][cd][dd]AW[ab][cb][eb][fb][bc][cc][dc])
(;AB[ea][eb][fb][ac][bc][cc][dc]AW[ab][bb][gb][ec][fc][gc][ad][bd][cd][dd])
(;AB[fa][db][eb][ac][bc][cc][dc]AW[ca][ga][ab][fb][ec][gc][ad][bd][cd][dd][ed])
(;AB[bb][eb][fb][ac][bc][cc][dc][bd]AW[ga][cb][db][gb][ec][fc][gc][cd][dd][ed][be][cf])
(;AB[ga][cb][db][gb][ec][fc][ad][bd][cd][dd][gd]AW[ba][da][bb][eb][fb][bc][cc][dc])
(;AB[ga][cb][gb][ac][ec][fc][ad][bd][cd][dd][gd]AW[ba][da][bb][eb][fb][bc][cc][dc])
(;AB[ha][db][hb][ec][fc][gc][bd][cd][dd][hd]AW[eb][fb][gb][bc][cc][dc])
(;AB[ga][ab][bb][gb][ec][fc][ad][bd][cd][dd][gd]AW[ba][db][eb][fb][ac][bc][cc][dc])
(;AB[ab][hb][ac][ec][fc][gc][ic][bd][cd][dd]AW[ga][cb][eb][fb][gb][bc][cc][dc])
(;AB[ga][ab][bb][gb][ec][fc][gc][ad][bd][cd][dd]AW[ba][cb][eb][fb][ac][bc][cc][dc])
(;AB[ba][fa][fb][bc][fc][ad][bd][cd][ed][de][ee][ge]AW[ca][da][ea][ab][bb][eb][ac][cc][dc][ec][dd][ce][bf][cg])
(;AB[ga][ab][cb][db][gb][gc][bd][cd][dd][ed][fd]AW[ba][eb][fb][ib][ac][bc][cc][dc][ec][fc][ic][gd][hd])
(;AB[ca][fa][db][eb][fb][ac][bc][cc][dc]AW[da][ga][ab][bb][cb][gb][fc][gc][ad][bd][cd][dd][ed])
(;AB[ea][bb][eb][cc][dc][ec]AW[ca][fa][fb][ac][fc][bd][cd][dd][ed][fd])
(;AB[ba][ea][eb][ac][bc][cc][dc][ec]AW[fa][bb][cb][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ea][ab][eb][cc][dc][ec]AW[ba][fa][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ba][ea][bb][eb][fb][ac][bc][cc][dc]AW[fa][ga][cb][db][gb][ec][fc][gc][ad][bd][cd][dd])
(;AB[da][eb][ac][bc][cc][dc][ec]AW[ca][fa][cb][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ba][eb][ac][bc][cc][dc]AW[ca][cb][fb][ec][gc][ad][bd][cd][dd][ed])
(;AB[ca][eb][ac][bc][cc][dc][ec]AW[da][ea][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[db][eb][bc][cc][dc]AW[fa][fb][ec][fc][ad][bd][cd][dd])
(;AB[db][eb][ac][bc][cc][dc]AW[bb][cb][fb][hb][ec][fc][bd][cd][dd])
(;AB[ca][da][ea][eb][bc][cc][dc][ec]AW[ba][fa][cb][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[fa][db][eb][ac][bc][cc][dc]AW[ea][ga][bb][cb][gb][ec][fc][ad][bd][cd][dd][gd])
(;AB[ea][ab][eb][bc][cc][dc][ec]AW[bb][fb][ac][fc][ad][bd][cd][dd][ed][fd])
(;AB[ba][db][eb][ac][bc][cc][dc]AW[ab][bb][fb][ec][gc][ad][bd][cd][dd][ed])
(;AB[ea][ab][eb][bc][cc][dc][ec]AW[ba][da][fb][ac][fc][ad][bd][cd][dd][ed][fd])
(;AB[ea][ab][eb][bc][cc][dc][ec]AW[ba][da][fb][hb][ac][fc][ad][bd][cd][dd][ed][fd])
(;AB[ea][ab][eb][bc][cc][dc][ec]AW[ba][fa][db][fb][ac][fc][ad][bd][cd][dd][ed][fd])
(;AB[ab][bb][cb][fb][fc][bd][cd][dd][ed][fd]AW[ba][da][eb][ac][bc][cc][dc][ec])
(;AB[da][eb][ac][bc][cc][dc][ec]AW[ca][ea][fa][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ea][fa][ab][fb][bc][cc][dc][ec][fc]AW[da][ga][bb][eb][gb][ac][gc][ad][bd][cd][dd][ed][fd][gd])
(;AB[fa][ab][db][fb][fc][ad][bd][cd][dd][ed][fd]AW[ea][eb][ac][bc][cc][dc][ec])
(;AB[da][fa][db][fb][fc][ad][bd][cd][dd][ed][fd]AW[ba][ea][eb][bc][cc][dc][ec])
(;AB[ba][fa][cb][fb][fc][ad][bd][cd][dd][ed][fd]AW[ea][eb][ac][bc][cc][dc][ec])
(;AB[fa][ab][bb][fb][fc][ad][bd][cd][dd][ed][fd]AW[ca][ea][eb][ac][bc][cc][dc][ec])
(;AB[aa][ea][eb][ac][bc][cc][dc][ec]AW[bb][cb][fb][gb][ad][bd][cd][dd][ed][fd])
(;AB[ba][ca][fa][db][fb][fc][bd][cd][dd][ed][fd]AW[ea][eb][bc][cc][dc][ec])
(;AB[ca][da][ea][eb][bc][cc][dc][ec]AW[ba][fa][cb][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ca][ga][ab][gb][fc][gc][ad][bd][cd][dd][ed]AW[aa][eb][fb][ac][bc][cc][dc][ec])
(;AB[ba][da][eb][ac][bc][cc][dc][ec]AW[ea][fa][ab][cb][db][fb][fc][bd][cd][dd][ed][fd])
(;AB[da][eb][ac][bc][cc][dc][ec]AW[aa][ba][ea][fa][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ba][fb][hb][ac][fc][ad][bd][cd][dd][ed][fd]AW[ab][cb][eb][bc][cc][dc][ec])
(;AB[ba][eb][ac][bc][cc][dc][ec]AW[ea][ab][db][fb][fc][bd][cd][dd][ed][fd])
(;AB[ca][bb][eb][bc][cc][dc][ec]AW[ba][ea][db][fb][hb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ab][eb][bc][cc][dc][ec]AW[ba][bb][db][fb][gb][ac][bd][cd][dd][ed][fd][bf])
(;AB[cb][eb][bc][cc][dc][ec]AW[ba][ea][fa][db][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ea][ab][bb][eb][bc][cc][dc][ec]AW[ba][ca][da][fb][hb][ac][fc][ad][bd][cd][dd][ed][fd])
(;AB[ea][ab][eb][bc][cc][dc][ec]AW[ba][fa][db][fb][ac][fc][ad][bd][cd][dd][ed][fd])
(;AB[ca][eb][bc][cc][dc][ec]AW[ea][fa][fb][fc][ad][bd][cd][ed][fd][cf])
(;AB[ba][fa][cb][db][fb][ac][fc][ad][bd][cd][dd][ed][fd]AW[ea][ab][bb][eb][bc][cc][dc][ec])
(;AB[ba][ea][fa][fb][fc][ad][bd][cd][dd][ed][fd]AW[ca][da][eb][ac][bc][cc][dc][ec])
(;AB[aa][da][ea][eb][bc][cc][dc][ec]AW[fa][db][fb][ac][fc][bd][cd][dd][ed][fd])
(;AB[aa][ea][ab][eb][bc][cc][dc][ec]AW[ba][fa][bb][fb][fc][bd][cd][dd][ed][fd][bf])
(;AB[ca][fa][eb][fb][ac][bc][cc][dc][ec]AW[ga][bb][cb][db][gb][fc][ad][bd][cd][dd][ed][gd])
(;AB[bb][eb][ac][bc][cc][dc][ec]AW[ea][ab][db][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ea][ab][eb][ac][bc][cc][dc][ec]AW[fa][bb][cb][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ca][eb][ac][bc][cc][dc][ec]AW[da][fa][ab][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ea][ab][eb][ac][bc][cc][dc][ec]AW[aa][ba][bb][cb][fb][hb][gc][ad][bd][cd][dd][ed][fd])
(;AB[eb][ac][bc][cc][dc][ec]AW[aa][ba][fa][db][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ea][ab][eb][ac][bc][cc][dc][ec]AW[ba][fa][cb][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[aa][ea][eb][ac][bc][cc][dc][ec]AW[da][fa][bb][cb][db][fb][fc][ad][bd][cd][fd][de][ff])
(;AB[fa][bb][cb][fb][fc][ad][bd][cd][dd][ed][fd]AW[da][ea][ab][eb][ac][bc][cc][dc][ec])
(;AB[aa][ea][eb][ac][bc][cc][dc][ec]AW[ca][fa][bb][db][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[da][ea][ab][eb][ac][bc][cc][dc][ec]AW[fa][bb][cb][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ea][eb][ac][bc][cc][dc][ec]AW[fa][bb][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ba][ea][eb][ac][bc][cc][dc][ec]AW[fa][bb][cb][fb][fc][ad][bd][cd][dd][ed][fd])
(;AB[aa][ea][eb][ac][bc][cc][dc][ec]AW[ba][fa][bb][cb][db][fb][fc][bd][dd][ed][fd][be])
(;AB[ab][cb][gb][fc][hc][bd][cd][dd][ed][fd]AW[bb][eb][fb][bc][cc][dc][ec])
(;AB[gb][ib][bc][fc][gc][bd][cd][dd][ed]AW[ea][bb][fb][cc][dc][ec])
(;AB[ba][bb][fb][cc][dc][ec]AW[ab][gb][bc][fc][gc][bd][cd][dd][ed])
(;AB[ga][gb][ib][bc][fc][gc][bd][cd][dd][ed]AW[aa][ea][bb][cb][fb][ac][cc][dc][ec])
(;AB[ab][gb][bc][fc][gc][ic][bd][cd][dd][ed]AW[ba][ea][ga][bb][fb][cc][dc][ec])
(;AB[ba][fa][bb][cb][fb][cc][dc][ec]AW[ga][ab][gb][bc][fc][gc][bd][cd][dd][ed])
(;AB[ab][db][bc][fc][gc][ic][bd][cd][dd][ed]AW[ba][bb][eb][fb][cc][dc][ec])
(;AB[ba][fa][bb][fb][cc][dc][ec]AW[ab][db][gb][bc][fc][gc][bd][cd][dd][ed])
(;AB[ab][db][bc][fc][gc][ic][bd][cd][dd][ed]AW[ba][bb][cb][fb][cc][dc][ec])
(;AB[ba][bb][fb][cc][dc][ec]AW[ga][ab][gb][bc][gc][bd][cd][dd][ed][fd])
(;AB[ba][cb][gb][bc][fc][gc][bd][dd][ed][ce][bf][df]AW[fa][ab][bb][db][fb][cc][dc][ec][cd][be])
(;AB[fa][bb][db][fb][cc][dc][ec]AW[ba][da][gb][bc][fc][gc][bd][cd][dd][ed])
(;AB[ga][cb][gb][bc][fc][bd][cd][dd][ed][gd]AW[ba][ca][bb][eb][fb][ac][cc][dc][ec])
(;AB[ba][da][gb][bc][fc][gc][bd][cd][dd][ed][fe]AW[ca][fa][bb][cb][fb][ac][cc][dc][ec])
(;AB[aa][ga][bb][fb][ac][cc][dc][ec]AW[cb][gb][hb][bc][fc][bd][cd][dd][ed][fd][be])
(;AB[cb][gb][bc][fc][gc][bd][dd][ed][ce][bf][df]AW[fa][bb][db][fb][cc][dc][ec][cd][be])
(;AB[ba][fa][bb][cb][fb][cc][dc][ec]AW[ga][ab][gb][bc][fc][cd][dd][ed][fd][be])
(;AB[eb][fb][gc][ad][cd][ed][fd][be][ce][de]AW[bb][db][bc][cc][dc][ec][bd][dd])
(;AB[ab][bc][cc][dc][ec][ad][bd]AW[ba][bb][cb][fb][fc][cd][dd][ed][fd][ae][be][cf])
(;AB[da][bb][eb][ec][cd][dd][ed][be][cf]AW[ab][db][bc][cc][dc][ad][bd])
(;AB[ba][bb][fb][ec][gc][cd][ed][ae][be][ce]AW[ab][eb][bc][cc][dc][ad][bd])
(;AB[eb][ec][cd][dd][ed][ae][be][cf]AW[ab][bc][cc][dc][ad][bd])
(;AB[ea][fa][bb][fb][fc][cd][dd][ed][fd][ae][be][cf]AW[aa][da][eb][bc][cc][dc][ec][ad][bd])
(;AB[eb][ec][cd][ed][ce][af][bf][cf]AW[bc][cc][dc][bd][ae][be])
(;AB[ab][bb][bc][cc][dc][ec]AW[fa][fb][ac][fc][ad][bd][cd][dd][ed][fd])
(;AB[ab][ac][bc][cc][dc][ec]AW[fa][bb][cb][fb][gc][ad][bd][cd][dd][ed][fd])
(;AB[da][ab][fb][fc][cd][dd][ed][fd][ae][be][cf]AW[ca][bc][cc][dc][ec][ad][bd])
(;AB[fa][fb][ac][fc][ad][bd][cd][dd][fd][df]AW[ea][ab][bc][cc][dc][ec])
(;AB[ca][gb][ac][gc][ad][bd][cd][dd][ed][fd]AW[ba][ab][bc][cc][dc][ec][fc])
(;AB[ca][ac][bc][cc][dc][ec]AW[aa][ba][fa][fb][fc][cd][dd][ed][fd][be])
(;AB[da][cb][gb][hb][hc][bd][cd][dd][ed][fd][gd][bf]AW[ba][ca][bc][cc][dc][ec][fc][gc])
(;AB[ba][bb][ac][bc][cc][dc][ec]AW[ca][ea][ga][cb][gb][fc][ad][bd][cd][dd][ed][fd])
(;AB[ea][fa][cb][gb][gc][bd][cd][dd][ed][fd][gd][bf]AW[ba][da][eb][bc][cc][dc][ec][fc])
(;AB[ba][fa][bb][cb][cc][dc][ec][fc]AW[ca][da][ha][ab][db][bc][gc][hc][bd][cd][dd][ed][fd])
(;AB[da][fb][fc][cd][dd][ed][bf][cf]AW[cb][bc][cc][dc][ec][bd][be])
(;AB[ab][fb][bc][cc][dc][ec][fc]AW[fa][eb][gb][ac][gc][ad][bd][cd][dd][ed][fd][gd])
(;AB[ab][bb][db][dc][bd][cd]AW[da][eb][gb][ec][ad][dd][ed][be][ce])
(;AB[ca][ga][ab][gb][fc][gc][ad][bd][cd][dd][ed]AW[da][fa][fb][ac][bc][cc][dc][ec])
(;AB[ca][ea][eb][ec][ad][dd][ae][be][ce][de]AW[ba][ab][db][ac][cc][dc][bd][cd])
(;AB[gb][gc][bd][cd][dd][ed][fd][gd][bf]AW[aa][ca][ab][cb][bc][cc][dc][ec][fc])
(;AB[da][cb][db][ac][ad][bd][cd]AW[ca][ea][bb][eb][ec][ed][ae][be][ce][de])
(;AB[ba][da][db][bc][dc][bd][cd]AW[ea][ab][eb][ec][ad][dd][ae][be][ce][de])
(;AB[da][ab][db][dc][ad][bd][cd]AW[ba][ca][eb][cc][ec][dd][ae][be][ce][de])
(;AB[da][ea][ab][eb][ec][dd][ae][be][ce][de]AW[aa][ba][bb][db][dc][ad][bd][cd])
(;AB[bb][db][bc][dc][ad][bd][cd]AW[ea][ab][cb][eb][ec][dd][ae][be][ce][de])
(;AB[ba][da][db][dc][ad][bd][cd]AW[ea][bb][eb][ec][dd][ae][be][ce][de])
(;AB[bb][cb][db][dc][ad][bd][cd]AW[ba][ab][eb][bc][ec][dd][ed][ae][be][ce][de])
(;AB[ba][da][db][dc][ad][bd][cd]AW[cb][eb][fb][cc][dd][ed][ae][be][ce][df])
(;AB[ba][bb][db][dc][ad][bd][cd]AW[da][ea][ab][eb][ec][dd][ed][ae][be][ce])
(;AB[db][bc][dc][ad][bd][cd]AW[ba][ab][eb][gb][ec][ed][ae][be][ce][de])
(;AB[da][eb][gb][ec][dd][ed][ae][be][ce]AW[ea][cb][db][ac][dc][ad][bd][cd])
(;AB[db][ac][cc][dc][bd][cd]AW[ca][ea][eb][ec][ad][dd][ed][be][ce][bg])
(;AB[ea][eb][cc][ec][dd][ae][be][ce][de]AW[ba][da][ab][db][dc][ad][bd][cd])
(;AB[da][db][ac][bc][dc][bd][cd]AW[ea][cb][eb][ec][ad][dd][ae][be][ce][de])
(;AB[ba][bb][fb][gb][bc][dc][ec][bd][cd][dd]AW[ca][ga][ab][cb][hb][ac][cc][fc][gc][hc][ad][fd][be][ce][de][ee])
(;AB[cb][db][ac][dc][ad][bd][cd]AW[ea][bb][eb][cc][ec][dd][be][ce][de])
(;AB[db][dc][bd][cd]AW[eb][ec][dd][be][ce][de])
(;AB[ea][bb][eb][ec][dd][ae][be][ce][de]AW[da][cb][db][bc][dc][bd][cd])
(;AB[da][ab][bb][db][dc][bd][cd][dd]AW[ea][eb][ac][bc][ec][ad][ed][be][ce][de])
(;AB[ea][db][eb][ac][bc][dc][bd][cd]AW[ba][da][fa][fb][ec][fc][ad][dd][ae][be][ce][de])
(;AB[ea][eb][ac][bc][ec][ad][ed][be][ce][de]AW[da][ab][bb][db][dc][bd][cd][dd])
(;AB[ea][bb][db][eb][dc][bd][cd]AW[ca][fa][fb][ec][ad][dd][fd][ae][be][ce][de])
(;AB[da][ea][cb][eb][ec][ed][ae][be][ce][de][ee]AW[ba][bb][db][dc][ad][bd][cd][dd])
(;AB[ea][db][eb][dc][ad][bd][cd]AW[ba][fa][fb][ac][ec][fc][dd][ae][be][ce][de])
(;AB[da][ea][eb][ec][ed][be][ce][de][ee]AW[bb][db][dc][ad][bd][cd][dd])
(;AB[ca][ea][bb][eb][ec][bd][cd][dd][ed]AW[fa][fb][bc][cc][fc][ad][fd][be][ce][de][ee][fe])
(;AB[ba][db][dc][ad][bd][cd][dd]AW[aa][da][ea][eb][bc][ec][ed][ae][be][ce][de][ee])
(;AB[ab][db][cc][dc][ad][bd][cd]AW[da][cb][eb][ac][ec][ed][ae][be][ce][de])
(;AB[da][db][bc][cc][dc][ad][bd]AW[ba][ca][ea][ab][eb][ec][cd][dd][ed][ae][be])
(;AB[bb][eb][ac][bc][ec][bd][cd][dd][ed]AW[ea][ab][db][fb][cc][dc][fc][ad][fd][ae][be][ce][de][ee][fe])
(;AB[da][db][ac][bc][dc][bd][cd][dd]AW[ea][ab][cb][eb][ec][ad][ed][ae][be][ce][de][ee])
(;AB[da][fa][cb][fb][cc][ec][ed][ae][be][ce][de][ee]AW[ea][bb][db][eb][dc][bd][cd][dd])
(;AB[eb][ac][bc][ec][ed][ae][be][ce][de][ee]AW[da][db][dc][ad][bd][cd][dd])
(;AB[ba][da][db][dc][ad][bd][cd][dd]AW[aa][ea][cb][eb][ac][bc][ec][ae][be][ce][de][ee])
(;AB[ab][db][cc][dc][ad][bd][cd]AW[da][ea][eb][bc][ec][dd][ae][be][ce][ee])
(;AB[da][db][cc][dc][ad][bd][cd]AW[aa][ba][ea][cb][eb][bc][ec][dd][be][ce][de])
(;AB[bb][bc][dc][dd][ae][be][ce][de]AW[cb][db][ac][ec][ed][ee][af][bf][cf][df][ef])
(;AB[da][ea][bb][eb][ac][cc][ec][cd][dd][ed]AW[fa][cb][fb][bc][fc][ad][bd][fd][be][ce][de][ee][fe])
(;AB[ca][db][eb][ac][ec][ed][ae][be][ce][de][ee]AW[ba][bb][cb][dc][ad][bd][cd][dd])
(;AB[bb][cb][eb][ec][bd][cd][dd][ed]AW[ba][ab][fb][fc][ad][fd][be][ce][de][ee][fe])
(;AB[da][ea][eb][ac][bc][ec][ed][ae][be][ce][de][ee]AW[ab][cb][db][dc][ad][bd][cd][dd])
(;AB[ab][bb][cb][fb][ec][gc][ad][ed][ae][be][ce][de][ee]AW[aa][ca][ea][db][eb][ac][bc][dc][bd][cd][dd])
(;AB[da][db][dc][ad][bd][cd][dd]AW[ba][ea][eb][bc][cc][ec][ed][ae][be][ce][de][ee])
(;AB[ea][cb][eb][ec][ad][ed][ae][be][ce][de][ee]AW[aa][bb][db][ac][dc][bd][cd][dd])
(;AB[aa][da][db][dc][ad][bd][cd][dd]AW[cb][eb][fb][ac][bc][cc][ed][be][ce][de][ee])
(;AB[da][bb][db][ac][bc][dc][bd][cd][dd]AW[ba][ca][ea][cb][eb][ec][ad][ed][ae][be][ce][de][ee])
(;AB[aa][ba][db][dc][ad][bd][cd][dd]AW[bb][cb][eb][fb][cc][ed][be][ce][de][ee])
(;AB[ba][ea][cb][eb][ec][ad][ed][ae][be][ce][de][ee]AW[ca][da][db][ac][bc][dc][bd][cd][dd])
(;AB[aa][ba][db][dc][ad][bd][cd][dd]AW[cb][eb][fb][bc][cc][ed][be][ce][de][ee])
(;AB[db][ac][dc][ad][bd][cd][dd]AW[ab][bb][eb][fb][bc][cc][ed][ae][be][ce][de][ee])
(;AB[ab][db][bc][dc][bd][cd][dd]AW[bb][cb][eb][gb][ec][ad][ed][be][ce][de][ee][bg])
(;AB[aa][da][ab][db][dc][ad][bd][cd][dd]AW[ba][ca][ea][bb][cb][eb][ec][ed][ae][be][ce][de])
(;AB[db][dc][bd][cd][dd]AW[eb][gb][ec][ed][be][ce][de][ee][bg])
(;AB[ea][eb][ec][dd][ed][ae][be][ce][de]AW[da][db][cc][dc][ad][bd][cd])
(;AB[bb][cb][eb][gb][ec][ad][ed][be][ce][de][ee][bg]AW[da][ab][db][bc][dc][bd][cd][dd])
(;AB[da][ab][bb][db][dc][bd][cd][dd]AW[ba][eb][ac][bc][ec][ad][ed][be][ce][de][ee])
(;AB[cb][db][dc][bd][cd][dd][ae][be]AW[ba][ca][da][eb][ec][ed][ce][de][ee][af][bf])
(;AB[ab][cc][ad][bd][cd]AW[da][db][dc][dd][ae][be][ce][de])
(;AB[ab][cb][fb][hb][fc][ed][be][ce][de][ee][bg]AW[ba][db][dc][ec][bd][cd][dd][ae])
(;AB[ba][ea][db][eb][ac][ec][ed][ae][be][ce][de]AW[ca][da][bb][cb][dc][ad][bd][cd][dd])
(;AB[ab][cb][fb][dc][fc][ad][ed][ae][be][ce][de][fe]AW[bb][db][eb][ac][bc][ec][bd][cd][dd])
(;AB[ea][eb][ec][ad][bd][ed][be][ce][de][ee]AW[ca][da][db][ac][bc][dc][cd][dd])
(;AB[ea][fa][fb][dc][fc][ad][ed][ae][be][ce][de][ee]AW[da][ab][cb][db][eb][ac][bd][cd][dd])
(;AB[ab][db][eb][bc][ec][ad][ed][be][ce][de][ee][bg]AW[bb][cb][cc][dc][bd][cd][dd][ae])
(;AB[bb][eb][ac][bc][ec][bd][cd][dd]AW[db][dc][fc][ad][ed][fd][ae][be][ce][de])
(;AB[bb][eb][dc][bd][cd][dd][ed]AW[cb][db][ec][fc][fd][be][ce][de][ee][fe][bg])
(;AB[ca][cb][db][eb][fb][gb][hb]AW[bb][ib][bc][cc][dc][ec][fc][gc][hc][ic][kc])
(;AB[ca][bb][eb][cc][dc][bd][cd][dd][ed]AW[cb][db][fb][ec][fc][ad][fd][be][ce][de][ee][fe][bg])
(;AB[bb][jb][bc][cc][dc][ec][fc][gc][hc][ic][kc]AW[ca][cb][db][eb][fb][gb][hb])
(;AB[ca][bb][cc][dc][bd][cd][dd][ed]AW[ea][cb][db][fb][ec][fc][fd][be][ce][de][ee][fe][bg])
(;AB[cb][db][eb][fb][gb][hb][ib]AW[bb][jb][bc][cc][dc][ec][fc][gc][hc][ic][jc][lc])
(;AB[bb][ib][bc][cc][dc][ec][fc][gc][hc][ic]AW[ca][cb][db][eb][fb][gb][hb])
(;AB[bb][jb][bc][cc][dc][ec][fc][gc][hc][ic][jc][lc]AW[cb][db][eb][fb][gb][hb][ib])
(;AB[ia][bb][jb][kb][bc][cc][dc][ec][fc][gc][hc][ic]AW[ca][ja][cb][db][eb][fb][gb][hb][ib])
(;AB[ga][ja][cb][jb][cc][dc][ec][fc][ic][jc][gd][hd]AW[da][ia][db][eb][fb][gb][hb][ib][gc])
(;AB[cb][db][eb][fb][gb][hb][ib][jb]AW[ca][bb][kb])
(;AB[db][eb][gb][hb]AW[cb][ib][ec][fc])
(;AB[ca][fa][bb][kb][bc][cc][dc][ec][fc][hc][jc][lc][hd][jd]AW[da][cb][db][eb][fb][gb][hb][ib][jb][ic])
(;AB[db][eb][fb][hb][gc][hc]AW[cb][ib][kb][cc][dc][ec][ic][fd][gd][hd])
(;AB[fa][ja][cb][jb][cc][dc][ec][fc][gc][jc][hd][id]AW[da][ga][ia][db][eb][fb][gb][ib][hc])
(;AB[db][eb][fb][hb][ib][gc][hc]AW[cb][jb][cc][dc][ec][fc][ic][jc][gd][hd])
(;AB[cb][ib][cc][hc][ic][cd][dd][ed][fd][gd]AW[ha][db][gb][hb][dc][ec][fc][gc])
(;AB[ha][db][eb][hb][fc][gc][hc]AW[ia][cb][ib][cc][dc][ec][ic][fd][gd][hd][id])
(;AB[cb][ib][cc][hc][ic][cd][dd][ed][fd][gd]AW[da][db][gb][hb][dc][ec][fc][gc])
(;AB[cb][jb][cc][dc][ec][fc][ic][jc][gd][hd]AW[db][eb][fb][hb][ib][gc][hc])
(;AB[cb][ib][cc][hc][ic][cd][dd][ed][fd][gd]AW[fa][db][gb][hb][dc][ec][fc][gc])
(;AB[da][db][eb][hb][ib][fc][gc]AW[cb][jb][kb][cc][dc][ec][hc][ic][fd][gd])
(;AB[bb][ib][bc][cc][hc][ic][dd][ed][fd][gd]AW[cb][db][gb][hb][dc][ec][fc][gc])
(;AB[ia][db][eb][hb][ib][fc][gc]AW[cb][jb][kb][cc][dc][ec][ic][fd][gd][hd][jd])
(;AB[da][ia][db][eb][hb][ib][fc][gc]AW[fa][cb][jb][cc][dc][ec][hc][ic][jc][fd][gd])
(;AB[ba][bb][hb][bc][cc][fc][gc][hc][cd][dd][ed][fd]AW[da][ea][ga][cb][fb][gb][dc][ec])
(;AB[cb][jb][cc][dc][ec][jc][fd][gd][hd]AW[db][eb][hb][ib][fc][gc])
(;AB[da][ha][cb][fb][hb][dc][ec][fc][gc]AW[ba][ia][bb][db][ib][cc][hc][ic][cd][dd][ed][fd][gd])
(;AB[ca][ga][cb][fb][gb][dc][ec]AW[ba][fa][bb][hb][cc][fc][gc][hc][cd][dd][ed])
(;AB[ca][fa][ia][bb][ib][bc][fc][gc][hc][ic][bd][cd][dd][ed]AW[da][ea][ha][cb][fb][gb][hb][cc][dc][ec])
(;AB[ba][ga][cb][fb][gb][dc][ec]AW[fa][bb][hb][jb][bc][cc][fc][hc][dd][ed][fd])
(;AB[da][bb][cb][eb][gb][hb][dc][ec][fc][ed]AW[ba][fa][ab][ib][ac][bc][cc][hc][ic][dd][fd][gd][ce][ee])
(;AB[ba][ga][ha][cb][db][hb][ec][fc][gc][hc]AW[ia][bb][eb][ib][bc][cc][dc][ic][ed][fd][gd][hd][id])
(;AB[da][bb][jb][bc][fc][ic][kc][cd][ed][hd][de][ee][fe][ge]AW[ca][cb][eb][dc][ec][gc][fd][gd])
(;AB[ba][fa][ia][bb][jb][bc][cc][dc][ec][jc][fd][gd][hd][id]AW[ca][ga][cb][db][eb][hb][fc][gc][hc])
(;AB[ca][bb][jb][bc][ec][ic][kc][cd][ed][hd][de][ee][fe][ge]AW[da][cb][eb][fb][hb][dc][gc][fd])
(;AB[ba][fa][bb][ib][bc][cc][dc][ec][ic][fd][gd][hd][id]AW[ca][ga][cb][db][eb][fb][fc][gc][hc])
(;AB[bb][jb][bc][ic][kc][cd][ed][hd][de][ee][fe][ge]AW[da][cb][eb][dc][gc][fd])
(;AB[ba][fa][bb][ib][bc][cc][dc][ec][ic][fd][gd][hd][id]AW[ca][ga][cb][db][eb][hb][fc][gc][hc])
(;AB[da][cb][jb][cc][fc][jc][dd][ed][fd][gd][hd][id]AW[ga][db][fb][hb][ib][ec][gc][hc])
(;AB[cb][fb][jb][lb][cc][dc][jc][dd][gd][jd][ee][fe][he]AW[ca][ea][db][gb][ib][ec][fc][hc][ic][ed][fd])
(;AB[da][db][eb][hb][ec][fc][gc]AW[ca][ia][cb][fb][ib][cc][dc][hc][ic][ed][fd][gd])
(;AB[ga][db][hb][ec][fc][gc]AW[cb][ib][cc][dc][hc][ic][dd][ed][fd][gd])
(;AB[da][ha][db][hb][ec][fc][gc]AW[cb][fb][ib][cc][dc][hc][ic][kc][ed][fd][gd])
(;AB[fa][ha][jb][cc][dc][hc][ic][kc][ed][fd][gd]AW[ga][db][gb][hb][ib][ec][fc][gc])
(;AB[da][ha][db][hb][ec][fc][gc]AW[ia][cb][ib][cc][dc][hc][ic][ed][fd][gd])
(;AB[da][ha][db][hb][ec][fc][gc]AW[fa][cb][ib][cc][dc][hc][ic][kc][ed][fd][gd])
(;AB[ca][ia][cb][eb][ib][dc][ic][dd][id][ee][fe][ge][he]AW[da][ea][ha][fb][gb][hb][ec][hc][fd][gd])
(;AB[ha][cb][hb][dc][gc][hc][dd][hd][de][he][ef][ff][gf]AW[ea][fa][db][gb][ec][fc][ed][gd][ee][fe][ge])
(;AB[bb][db][fb][cc][dc][ec][fc][gc]AW[ca][fa][eb][gb][hb][bc][hc][bd][cd][dd][ed][fd][gd])
(;AB[bb][fb][gb][hb][bc][cc][gc][gd][ce][de][ee][fe]AW[ba][fa][cb][eb][dc][fc][dd][ed][fd])
(;AB[ba][fa][bb][gb][cc][dc][ec][fc]AW[ha][ab][cb][hb][bc][gc][hc][bd][cd][dd][ed][fd])
(;AB[ga][ha][fb][hb][ec][fc][gc]AW[ia][cb][ib][dc][hc][ic][dd][ed][fd][gd])
(;AB[fa][bb][db][fb][cc][dc][ec][fc]AW[da][ga][ab][cb][gb][bc][gc][bd][cd][dd][ed][fd][gd])
(;AB[ca][ia][cb][ib][cc][dc][hc][ic][ed][gd][de][he]AW[da][ha][db][fb][hb][ec][fc][gc])
(;AB[ca][ga][gb][bc][fc][gc][bd][cd][dd][ed]AW[ba][da][fa][bb][fb][cc][dc][ec])
(;AB[da][ga][gb][bc][gc][bd][cd][dd][ed][fd][gd]AW[ba][fa][bb][fb][cc][dc][ec][fc])
(;AB[fa][bb][fb][cc][dc][ec][fc]AW[ab][gb][bc][gc][cd][dd][ed][fd][gd][be])
(;AB[fa][bb][fb][cc][dc][ec][fc]AW[da][ga][gb][bc][gc][bd][cd][dd][ed][fd][gd])
(;AB[ba][fa][bb][fb][cc][dc][ec][fc]AW[ga][ab][db][gb][bc][gc][cd][dd][fd][gd][be])
(;AB[ga][gb][bc][gc][bd][cd][dd][fd][gd]AW[ba][ea][fa][bb][fb][cc][dc][fc])
(;AB[ia][cb][ib][cc][dc][ic][ed][fd][gd][hd]AW[da][ha][db][hb][ec][fc][gc][hc])
(;AB[aa][fa][bb][fb][ac][cc][dc][ec][fc]AW[da][ga][db][gb][bc][gc][bd][cd][ed][fd][gd][cf])
(;AB[ga][bb][fb][gb][bc][cc][dc][ec][fc]AW[ca][ab][db][hb][ac][gc][hc][bd][cd][dd][ed][fd])
(;AB[fa][bb][fb][bc][cc][dc][ec][fc]AW[ca][ga][ab][cb][gb][ac][gc][bd][cd][dd][ed][fd][gd])
(;AB[ba][bb][fb][bc][dc][ec][cd][dd]AW[ga][ab][gb][ac][fc][gc][bd][ed][be][ce][de][fe])
(;AB[da][fa][ia][db][hb][dc][ec][fc][gc]AW[ca][ea][ja][cb][ib][jb][cc][hc][cd][dd][ed][fd][gd][id])
(;AB[ga][db][gb][dc][hc][ed][fd][gd][hd]AW[cb][fb][hb][ib][cc][ic][dd][id][de][ee][fe][ge][he][ie])
(;AB[ca][ha][cb][gb][hb][dc][ec][fc][gc]AW[ba][fa][ga][ia][bb][ib][cc][hc][cd][dd][ed][fd][gd][id])
(;AB[da][ha][db][hb][dc][ec][fc][gc]AW[ca][ia][cb][eb][ib][cc][hc][ic][dd][ed][fd][gd])
(;AB[ba][cb][fb][gb][cc][dc][ec][gc][ed][fd]AW[da][ga][ha][bb][hb][bc][hc][bd][cd][dd][gd][ee][fe][ge])
(;AB[da][ha][db][hb][dc][ec][fc][gc]AW[ca][fa][cb][ib][cc][hc][ic][dd][ed][fd][gd])
(;AB[bb][cb][ib][kb][cc][ic][cd][dd][ed][fd][gd][hd][id]AW[ca][ia][db][hb][dc][ec][fc][gc][hc])
(;AB[da][ha][db][hb][dc][ec][fc][gc][hc]AW[ca][ia][cb][fb][ib][cc][ic][cd][dd][ed][fd][gd][hd][id])
(;AB[ca][fa][cb][ib][kb][cc][ic][cd][dd][ed][fd][gd][hd][id]AW[da][ha][db][hb][dc][ec][fc][gc][hc])
(;AB[ba][fa][bb][fb][bc][cc][dc][ec][fc]AW[da][ea][ga][ab][gb][ac][gc][bd][cd][dd][ed][fd][gd])
(;AB[ca][cb][fb][ib][kb][cc][ic][cd][dd][ed][fd][gd][hd][id]AW[da][ha][db][hb][dc][ec][fc][gc][hc])
(;AB[fa][bb][eb][ib][bc][hc][ic][kc][cd][dd][ed][fd][gd]AW[ca][da][ea][cb][gb][hb][dc][ec][fc][gc])
(;AB[da][ha][hb][dc][ec][fc][gc][hc]AW[ca][ia][cb][ib][cc][ic][cd][dd][ed][fd][gd][hd][id])
(;AB[ca][ha][cb][gb][hb][cc][dc][ec][fc][gc]AW[ba][ea][ia][bb][eb][ib][bc][hc][ic][cd][dd][ed][fd][gd])
(;AB[ca][cb][fb][gb][hb][cc][dc][ec][fc]AW[ha][bb][eb][ib][kb][bc][hc][ic][cd][dd][ed][fd][gd])
(;AB[ea][ha][db][ib][ec][fc][gc][hc]AW[ca][ja][cb][jb][dc][ic][jc][dd][ed][fd][gd][hd])
(;AB[ca][cb][fb][gb][hb][cc][dc][ec][fc]AW[ea][bb][eb][ib][kb][bc][hc][ic][cd][dd][ed][fd][gd])
(;AB[ba][ga][bb][gb][jb][cc][hc][ic][jc][bd][dd][ed][fd][gd]AW[ca][da][cb][eb][fb][hb][ib][dc][ec][fc][gc])
(;AB[ca][ga][eb][fb][gb][cc][dc][ec]AW[ba][ha][bb][hb][bc][gc][hc][cd][dd][ed][fd])
(;AB[ga][eb][gb][gc][ad][bd][cd][dd][ed][fd][gd]AW[fa][ab][fb][ac][cc][dc][ec][fc])
(;AB[da][db][gb][hb][ib][dc][ec][fc][gc]AW[ca][ea][ha][ja][cb][fb][jb][cc][hc][ic][jc][dd][ed][fd][gd])
(;AB[ba][ab][gb][ac][gc][bd][cd][dd][ed][fd]AW[da][fa][bb][fb][bc][cc][dc][ec])
(;AB[eb][hb][dc][fc][gc][hc][dd][ed][fd]AW[ga][ia][cb][db][ib][cc][ic][cd][gd][hd][id][de][ee][fe])
(;AB[ab][db][gb][bc][fc][hc][bd][fd][ce][fe][bf][df][ef]AW[ba][bb][eb][fb][cc][ec][cd][ed][de][ee])
(;AB[ca][ha][cb][hb][bc][gc][hc][bd][cd][dd][ed][fd]AW[da][ga][bb][eb][gb][cc][dc][ec][fc])
(;AB[fa][ga][eb][gb][dc][ec][fc]AW[ha][bb][hb][cc][gc][cd][dd][ed][fd][gd])
(;AB[da][ga][ab][gb][bc][gc][cd][fd][gd][be][de][ee]AW[fa][bb][cb][db][fb][cc][fc][dd][ed])
(;AB[ca][cb][db][gb][dc][ec][fc]AW[ba][ha][bb][eb][hb][cc][gc][hc][cd][dd][ed][fd])
(;AB[ga][ha][ab][hb][bc][hc][cd][fd][gd][hd][be][de][ee]AW[fa][bb][cb][gb][cc][ec][fc][gc][ed])
(;AB[ba][ea][ha][bb][hb][bc][cc][hc][dd][ed][fd][gd]AW[ca][fa][cb][db][eb][gb][dc][ec][fc])
(;AB[ga][cb][db][gb][ec][fc][gc]AW[ha][bb][hb][bc][cc][dc][hc][ed][fd][gd][hd])
(;AB[ha][bb][hb][bc][cc][hc][dd][ed][fd][gd][hd]AW[ca][cb][db][gb][dc][ec][fc][gc])
(;AB[ba][ha][bb][hb][bc][cc][dc][hc][ed][fd][gd][hd]AW[ea][ga][cb][db][gb][ec][fc][gc])
(;AB[fa][bb][cb][fb][dc][fc][dd][ed]AW[ba][ga][ab][gb][bc][cc][gc][fd][gd][ce][de][ee][bf])
(;AB[ga][bb][cb][db][gb][dc][ec][fc][gc]AW[ca][da][ha][ab][eb][hb][bc][cc][hc][dd][ed][fd][gd][hd][ce])
(;AB[bb][cb][fb][dc][fc][dd][fd][de][ee][fe]AW[ba][ga][ab][gb][bc][cc][gc][cd][gd][ce][ge][bf][df][ef][ff])
(;AB[ca][ia][cb][gb][ib][dc][ec][ic][cd][fd][gd][hd][id]AW[da][db][eb][fb][hb][fc][gc][hc])
(;AB[ea][ha][db][gb][hb][fc][gc]AW[ca][ia][cb][ib][cc][hc][ic][dd][ed][fd][gd])
(;AB[ca][ia][cb][ib][cc][ic][dd][ed][fd][gd][hd]AW[da][fa][ha][db][fb][hb][ec][gc])
(;AB[ha][cb][gb][hb][cc][dc][ec][fc][gc]AW[ca][bb][eb][fb][ib][bc][hc][ic][cd][dd][ed][fd][he])
(;AB[da][ia][db][gb][hb][ib][dc][ec][fc][gc]AW[ca][fa][ga][ja][cb][fb][jb][cc][hc][ic][jc][dd][ed][fd][gd])
(;AB[ba][fa][bb][fb][dc][ec][fc]AW[ga][ab][gb][bc][gc][bd][cd][dd][ed][fd][gd])
(;AB[ca][da][fa][bb][fb][bc][cc][fc][cd][dd][ed]AW[aa][ga][ab][cb][db][eb][gb][ac][gc][bd][fd][be][ce][de][ee][ge])
(;AB[ca][ga][cb][gb][cc][dc][ec][fc]AW[ba][ha][bb][db][hb][bc][gc][bd][cd][dd][ed][fd][gd])
(;AB[bb][gb][hb][bc][cc][hc][bd][hd][be][fe][ge][he][cf][df][ef]AW[cb][fb][dc][gc][cd][ed][fd][gd][ce][de][ee])
(;AB[da][ga][ha][db][hb][dc][ec][fc][hc][gd]AW[ca][ia][cb][ib][cc][gc][ic][cd][dd][ed][fd][id][ge][he])
(;AB[ca][fa][cb][gb][cc][ec][fc][cd]AW[ba][ha][bb][hb][bc][gc][hc][bd][ed][fd][ce][de])
(;AB[ba][bb][db][bc][cd][dd][ed]AW[ab][ac][ec][hc][bd][fd][gd][be][ce][de][ee])
(;AB[ca][cb][fb][fc][bd][ed][ae][be][ce][de][ee]AW[ba][ea][bb][eb][bc][dc][ad][cd][dd])
(;AB[bb][bc][ec][ad][cd][dd][ed]AW[fb][cc][fc][bd][fd][be][ce][de][ee][bf])
(;AB[cb][fb][cc][fc][bd][ed][fd][be][ce][de]AW[ba][da][db][bc][dc][ec][ad][cd][dd])
(;AB[ea][bb][fb][bc][dc][ec][cd]AW[cb][gb][cc][fc][hc][dd][ed][fd][be][ce])
(;AB[ea][bb][bc][dc][ec][ad][cd][dd]AW[ca][cb][fb][gb][cc][bd][fd][be][ce][fe][ef][cg])
(;AB[ba][fa][cb][fb][cc][ec][dd][ed]AW[ca][ga][bb][gb][bc][fc][cd][fd][be][de][ee][fe])
(;AB[ga][cb][eb][gb][cc][fc][dd][ed]AW[ca][ha][bb][hb][bc][gc][hc][cd][fd][ce][de][ee][ge])
(;AB[ea][bb][cb][eb][bc][ec][cd][dd]AW[ba][da][fa][ab][fb][ac][fc][bd][ed][fd][ce][de][bf])
(;AB[ga][cb][db][gb][cc][ec][fc][dd][ed]AW[ba][ca][bb][fb][hb][bc][gc][hc][cd][fd][ce][de][ee][ge])
(;AB[ca][ea][bb][eb][bc][ec][bd][cd][dd]AW[ba][fa][db][fb][ac][fc][ad][ed][ae][be][ce][de][ee])
(;AB[bb][cb][eb][fb][cc][fc][dd][ed][fd]AW[ba][fa][ab][gb][hb][bc][cd][gd][be][de][ee][fe][ge])
(;AB[fa][db][fb][fc][bd][fd][be][ce][de][ee][fe]AW[ea][bb][eb][bc][ec][cd][dd][ed])
(;AB[ea][bb][cb][eb][bc][ec][cd][dd]AW[ba][ca][fa][ab][fb][ac][fc][bd][fd][be][ce][de][ee])
(;AB[ba][ea][bb][eb][bc][ec][cd][dd][ed]AW[da][fa][ab][cb][fb][ac][fc][bd][fd][be][ce][de][ee][fe])
(;AB[ea][ga][bb][gb][bc][gc][cd][fd][gd][ce][de][ee]AW[ca][fa][cb][eb][fb][cc][fc][dd][ed])
(;AB[ba][bb][gb][bc][ec][gc][bd][gd][ce][de][ee][fe]AW[ca][cb][fb][cc][fc][cd][dd][ed][fd])
(;AB[db][fb][hb][fc][bd][fd][be][ce][de][ee]AW[ba][fa][bb][eb][bc][ec][cd][dd][ed])
(;AB[ca][cb][fb][hb][jb][cc][hc][cd][hd][ce][de][ee][fe][ge]AW[da][ga][db][gb][dc][gc][dd][ed][fd][gd])
(;AB[ca][ha][cb][hb][cc][hc][cd][dd][hd][ee][fe][ge]AW[da][ga][db][gb][dc][gc][ed][fd])
(;AB[ca][fa][ha][cb][fb][hb][cc][hc][cd][hd][de][ee][fe][ge]AW[da][ga][db][eb][gb][dc][gc][ed][fd][gd])
(;AB[ga][db][fb][gb][dc][gc][dd][ed][fd][gd]AW[da][cb][eb][hb][jb][cc][hc][cd][hd][de][ee][fe][ge][he])
(;AB[ca][fa][cb][fb][cc][fc][dd][ed][fd]AW[ga][bb][db][gb][bc][ec][gc][cd][gd][ce][de][ee][fe][ge])
(;AB[ba][ca][ga][bb][gb][bc][dc][gc][bd][gd][ce][de][ee][fe]AW[da][fa][cb][fb][cc][fc][cd][dd][ed][fd])
(;AB[ga][cb][hb][jb][cc][hc][cd][hd][de][ee][fe][ge]AW[da][db][fb][gb][dc][gc][dd][ed][fd][gd])
(;AB[cb][db][fb][cc][fc][gc][cd][dd][ed][fd]AW[bb][gb][hb][bc][ec][hc][bd][gd][ce][ee][fe][ge][cf])
(;AB[ga][cb][hb][jb][cc][hc][cd][hd][de][ee][fe][ge]AW[ea][db][fb][gb][dc][gc][dd][ed][fd][gd])
(;AB[ga][cb][hb][jb][cc][hc][cd][hd][de][ee][fe][ge]AW[fa][db][fb][gb][dc][gc][dd][ed][fd][gd])
(;AB[da][db][gb][dc][gc][dd][ed][fd][gd]AW[ca][cb][fb][hb][jb][cc][hc][cd][hd][de][ee][fe][ge])
(;AB[ga][cb][hb][jb][cc][hc][cd][hd][de][ee][fe][ge]AW[db][fb][gb][dc][ec][gc][dd][ed][fd][gd])
(;AB[ca][fa][cb][fb][cc][fc][cd][dd][ed]AW[ea][bb][eb][gb][bc][gc][bd][gd][ce][de][ee][fe][ge])
(;AB[fa][cb][fb][cc][fc][cd][dd][ed][fd]AW[da][ga][bb][gb][bc][dc][gc][bd][gd][ce][de][ee][fe])
(;AB[da][db][eb][gb][dc][ed][fd][gd]AW[fa][cb][hb][cc][hc][cd][hd][de][ee][ge][he])
(;AB[ca][cb][fb][hb][jb][cc][hc][cd][hd][de][ee][fe][ge]AW[da][fa][ha][db][gb][dc][gc][dd][ed][fd][gd])
(;AB[cb][db][fb][gb][cc][fc][cd][dd][ed][fd]AW[ca][bb][hb][bc][ec][gc][ic][bd][gd][ce][de][ee][fe][ge])
(;AB[ca][cb][hb][jb][cc][hc][cd][hd][de][ee][fe][ge]AW[da][fa][ha][db][gb][dc][gc][dd][ed][fd][gd])
(;AB[ba][ga][cb][fb][gb][cc][fc][dd][ed][fd]AW[ca][da][ha][bb][hb][bc][gc][cd][gd][ce][de][ee][fe][ge])
(;AB[ba][db][gb][bc][dc][gc][cd][dd][ed][fd][gd]AW[ca][bb][cb][hb][ib][cc][bd][hd][id][ce][ee][fe][ge][cf])
(;AB[bb][cb][fb][cc][fc][dd][ed][fd]AW[ab][gb][bc][dc][ec][gc][cd][gd][be][de][ee][fe][ge])
(;AB[bb][eb][hb][bc][ec][hc][bd][gd][ce][de][ee][fe][ge]AW[ba][ea][cb][db][fb][gb][cc][cd][dd][ed][fd])
(;AB[ca][fa][fb][cc][fc][cd][dd][ed][fd]AW[ba][ga][bb][eb][gb][bc][gc][bd][gd][ce][de][ee][fe])
(;AB[cb][eb][fb][gb][fc][cd][dd][ed][fd]AW[ca][bb][hb][bc][gc][ic][bd][gd][ce][de][ee][fe])
(;AB[ca][fa][db][fb][cc][fc][cd][dd][ed][fd]AW[ba][ga][bb][cb][eb][gb][bc][gc][bd][gd][ce][de][ee][fe])
(;AB[ha][cb][ib][cc][hc][jc][cd][hd][de][ee][fe][ge]AW[ga][db][gb][hb][dc][gc][dd][ed][fd][gd])
(;AB[da][ga][db][dc][gc][ed][fd][gd]AW[ca][ha][cb][hb][cc][fc][hc][dd][hd][de][ee][fe][ge])
(;AB[ba][da][ea][bb][eb][bc][ec][cd][ed]AW[fa][ab][fb][ac][cc][fc][bd][fd][be][ce][de][ee])
(;AB[ba][ea][bb][fb][ac][bc][dc][bd][cd][dd]AW[fa][ga][cb][db][gb][cc][fc][ad][ed][fd][ae][be][ce][de])
(;AB[da][ea][ia][db][gb][ib][dc][ec][fc][hc]AW[ca][fa][ja][cb][fb][jb][cc][ic][jc][dd][ed][fd][gd][hd][df])
(;AB[da][fa][gb][dc][ec][gc][ed][fd][gd]AW[ba][eb][fb][hb][bc][cc][fc][hc][dd][hd][de][ee][fe][ge][he])
(;AB[bb][eb][hb][ib][bc][ec][ic][cd][dd][id][ee][fe][ge][he]AW[ba][ea][ga][cb][db][gb][dc][hc][ed][fd][gd][hd])
(;AB[ga][cb][db][gb][hb][ec][hc][ed][fd][gd][hd]AW[ba][ca][ha][ia][bb][ib][jb][cc][dc][fc][gc][ic][dd][id][de][ee][fe][ge][he])
(;AB[ca][ga][cb][fb][gb][dc][gc][dd][ed][fd]AW[ba][ea][ha][bb][hb][cc][hc][cd][gd][hd][ce][de][ee][fe])
(;AB[ea][cb][db][gb][hb][cc][ec][hc][ed][fd][gd][hd]AW[ba][ca][ha][ia][bb][ib][bc][dc][fc][gc][ic][cd][dd][id][ee][fe][ge][he])
(;AB[fa][cb][gb][dc][ec][gc][ed][fd][gd]AW[bb][eb][fb][hb][cc][fc][hc][bd][dd][hd][de][ee][fe][ge])
(;AB[ba][bb][cb][fb][gb][cc][dc][gc][fd]AW[ga][ha][ab][hb][bc][hc][cd][dd][gd][hd][be][ee][fe])
(;AB[ca][cb][db][dc][gc][dd][ed][fd][gd]AW[ba][da][ea][bb][hb][cc][ec][hc][cd][hd][ce][de][ee][fe][ge][he])
(;AB[ca][ha][cb][eb][hb][cc][fc][hc][dd][hd][de][ee][he][ff][gf]AW[da][ga][db][gb][dc][ec][gc][ed][gd][fe][ge])
(;AB[ca][fa][cb][fb][cc][dc][dd][ed][fd][gd]AW[ba][bb][db][eb][gb][hb][bc][hc][cd][hd][ce][de][ee][fe][ge])
(;AB[da][ga][ia][cb][db][gb][ib][ec][fc][gc][ic][ed][gd][id][ee][fe][ie][hf][hg]AW[ba][ca][ha][bb][eb][fb][hb][cc][dc][hc][hd][de][ge][he][df][ef][ff][gf])
(;AB[ca][ga][cb][fb][gb][bc][ec][fc][dd][ed]AW[ha][bb][hb][ac][cc][gc][hc][fd][be][ce][de][ee][fe])
(;AB[fa][cb][db][gb][cc][gc][dd][ed][gd][ee][fe][ge]AW[ba][ca][bb][eb][hb][bc][fc][hc][cd][fd][hd][ce][de][he][ef][ff][gf][dg])
(;AB[ea][ha][cb][ib][cc][ic][cd][hd][de][ee][he][cf][ff][gf][hf]AW[db][fb][dc][fc][gc][hc][dd][ed][gd][fe][ge])
(;AB[fa][cb][gb][cc][gc][dd][ed][gd][ee][fe][ge]AW[ca][bb][hb][bc][fc][hc][cd][fd][hd][ce][de][he][ef][ff][gf][eh])
(;AB[ea][fa][ga][cb][db][eb][gc][hc][dd][ed][gd][de][fe][ge]AW[ba][ca][da][ia][bb][ib][bc][dc][fc][ic][cd][fd][hd][ce][he][df][ef][ff][gf][hf])
(;AB[ca][da][ga][cb][gb][dc][ec][gc][dd][gd][de][ee][fe]AW[ba][ha][bb][eb][hb][cc][hc][cd][fd][hd][ce][ge][df][ef][ff][gf])
(;AB[ca][ga][cb][fb][gb][cc][dc][fc][dd][ed][fd]AW[ba][ea][ha][bb][eb][hb][bc][ec][hc][bd][gd][ce][de][ee][fe][ge])
(;AB[fa][db][hb][dc][fc][hc][ed][fd][gd]AW[da][ha][cb][ib][cc][ic][cd][dd][hd][id][ee][fe][ge])
(;AB[ca][ga][cb][gb][cc][fc][gc][cd][dd][ed][fd]AW[bb][db][fb][hb][bc][dc][ec][hc][bd][hd][ce][ee][fe][ge][bf])
(;AB[db][fb][hb][dc][fc][hc][ed][fd][gd]AW[da][ha][cb][ib][cc][ic][dd][hd][id][de][ee][fe][ge])
(;AB[da][cb][hb][jb][cc][hc][cd][hd][ce][ge][he][df][ef][ff]AW[db][gb][dc][ec][gc][dd][fd][gd][de][ee])
(;AB[ca][ga][cb][gb][cc][dc][gc][dd][ed]AW[ba][ha][bb][hb][bc][hc][bd][cd][fd][gd][de][ee])
(;AB[ha][ab][hb][bc][gc][hc][bd][cd][dd][ed][fd]AW[ba][ea][ga][bb][gb][cc][dc][ec][fc])
(;AB[da][fa][cb][gb][cc][gc][cd][dd][ed][fd][gd]AW[ga][ha][bb][fb][hb][bc][hc][bd][hd][ce][de][ee][fe][ge])
(;AB[ba][ga][bb][gb][bc][gc][cd][gd][ce][ge][cf][df][ef][ff]AW[ea][cb][cc][dc][ec][fc][dd][fd][de][ee])
(;AB[da][ha][db][hb][dc][gc][hc][dd][ed][fd][gd]AW[ca][ia][cb][eb][gb][ib][cc][fc][ic][cd][hd][id][de][ee][fe][ge])
(;AB[da][ha][ab][hb][bc][gc][cd][gd][be][de][ee][fe][ge]AW[ba][fa][bb][gb][cc][dc][fc][dd][ed][fd])
(;AB[da][ha][db][hb][dc][fc][hc][dd][ed][gd][hd]AW[ca][ia][cb][fb][ib][cc][ic][cd][fd][id][de][ee][fe][ge][he])
(;AB[ab][gb][ac][ec][gc][bd][fd][gd][be][ce][de][ee]AW[ea][bb][db][fb][bc][fc][cd][dd][ed])
(;AB[fa][fb][gb][cc][gc][cd][dd][ed][fd][gd]AW[ea][ga][ha][bb][eb][hb][bc][fc][hc][bd][hd][ce][de][ee][fe][ge])
(;AB[fa][cb][db][gb][cc][fc][gc][cd][dd][ed][fd]AW[ca][ga][bb][eb][hb][jb][bc][hc][bd][gd][hd][ce][de][ee][fe])
(;AB[ca][bb][fb][hb][ib][bc][cd][fd][gd][hd][ce][de][ee]AW[cb][eb][gb][cc][ec][fc][gc][dd][ed])
(;AB[ga][bb][eb][hb][jb][bc][hc][bd][gd][hd][ce][de][ee][fe]AW[ca][fa][cb][gb][cc][fc][gc][cd][dd][ed][fd])
(;AB[ba][da][bb][ib][bc][fc][gc][hc][ic][cd][gd][ce][de][ee][fe]AW[ca][cb][eb][fb][gb][hb][cc][ec][dd][ed][fd])
(;AB[bb][db][hb][jb][bc][hc][bd][fd][gd][hd][ce][de][ee]AW[da][cb][gb][cc][ec][fc][gc][cd][dd][ed])
(;AB[ba][bb][db][ib][bc][fc][hc][ic][cd][gd][ce][de][ee][fe]AW[cb][eb][gb][hb][cc][ec][gc][dd][ed][fd])
(;AB[ba][cb][gb][cc][ec][fc][gc][cd][dd][ed]AW[bb][db][hb][jb][bc][hc][bd][fd][gd][hd][ce][de][ee][bf])
(;AB[da][bb][ib][bc][fc][gc][hc][bd][fe][ge][cf][df]AW[ca][ea][cb][cc][dc][ec][cd][ed][de])
(;AB[fa][cb][hb][cc][dc][ec][fc][gc][gd][ee][fe]AW[ca][da][bb][db][gb][ib][bc][hc][ic][cd][ce][he][df][ef][gf])
(;AB[ea][ga][fb][gb][dc]AW[ha][hb][cc][hc][cd][dd][ed][fd][gd])
(;AB[fa][cb][hb][cc][dc][ec][fc][gc][gd][ee][fe]AW[ca][ea][bb][db][gb][ib][bc][hc][ic][cd][dd][ce][he][df][ef][gf])
(;AB[da][fa][ha][db][hb][dc][hc][fe]AW[cb][ib][cc][gc][ic][cd][dd][ed][gd][hd][id])
(;AB[da][gb][bc][cc][fc][gc][bd][be][fe][cf][ff][cg][dg][eg][fg]AW[ca][fa][db][fb][dc][cd][dd][ed][ce][ee][df][ef])
(;AB[da][fa][ha][db][hb][dc][hc][fe]AW[cb][gb][ib][cc][ic][cd][dd][ed][gd][hd][id])
(;AB[ca][ha][cb][db][eb][hb][ec]AW[ba][ia][bb][ib][cc][dc][ic][ed][fd][gd][hd][de])
(;AB[da][fa][ha][db][hb][dc][hc][fe]AW[cb][ib][cc][fc][ic][cd][dd][ed][gd][hd][id])
(;AB[fa][ga][hb][ec][fc][hc][hd][he][ie][je][hf][jf][hg][ig]AW[ea][ha][db][ib][kb][dc][ic][dd][ed][fd][id][jd][kd][ge][ke][gf][kf][gg][jg][kg][hh][ih])
(;AB[ca][da][ha][cb][db][fb][gb][cc][ec][gc][dd][ed]AW[fa][ia][bb][hb][ib][bc][fc][hc][cd][fd][gd][hd][ce][de][ee])
(;AB[ca][da][ha][cb][eb][hb][dc][ec]AW[ba][ga][ia][bb][ib][bc][cc][hc][ic][dd][ed][fd][gd])
(;AB[ca][da][ha][cb][gb][cc][ec][gc][dd][ed]AW[fa][bb][hb][ib][bc][dc][hc][cd][fd][gd][hd][ce][de][ee])
(;AB[ca][fa][ha][db][fb][gb][hb][cc][dc]AW[da][ia][bb][ib][bc][fc][gc][hc][ic][cd][dd][ed])
(;AB[ba][ca][ga][bb][db][ib][jb][bc][jc][cd][dd][ed][fd][gd][hd][id][jd]AW[da][ea][ha][ia][cb][hb][cc][dc][ec][fc][hc][ic])
(;AB[ga][cb][eb][gb][cc][ec][fc][gc][cd][dd]AW[ea][ha][bb][db][hb][bc][hc][bd][ed][fd][gd][hd][ce][de])
(;AB[ba][ia][bb][db][eb][fb][ib][bc][ic][cd][dd][ed][fd][gd][hd]AW[ca][da][ga][ha][cb][hb][cc][dc][ec][fc][gc][hc])
(;AB[ca][da][ga][ha][cb][hb][cc][dc][ec][fc][gc][hc]AW[ba][ia][bb][db][eb][fb][ib][bc][ic][cd][dd][ed][fd][gd][hd])
(;AB[ca][da][ea][fa][cb][fb][gb][cc][dc][gc][dd][gd][ee][fe][ge]AW[ba][ga][ha][bb][eb][hb][bc][ec][hc][cd][ed][hd][ce][de][he][ef][ff][gf])
(;AB[ba][ga][bb][eb][gb][bc][dc][fc][gc][bd][cd][dd]AW[fa][ha][ab][db][hb][ac][ec][hc][ad][ed][fd][gd][be][ce][de])
(;AB[ha][bb][hb][bc][hc][cd][dd][hd][ge][he][cf][df][ef][ff]AW[ga][fb][gb][cc][dc][ec][gc][ed][gd][ee][fe])
(;AB[ba][fa][bb][eb][fb][bc][fc][bd][cd][ce][de]AW[ga][ab][gb][ac][cc][ec][gc][ad][dd][fd][gd][be][ee][bf][cf][df])
(;AB[ca][ea][cb][eb][cc][fc][cd][fd][ce][de][ee][fe]AW[ba][bb][db][fb][gb][bc][dc][gc][bd][gd][be][ge][cf][df][ef][ff])
(;AB[da][ea][fa][ga][cb][eb][gb][cc][cd][ed][ce][de][ee]AW[ba][ca][ha][bb][db][hb][bc][dc][hc][bd][fd][gd][hd][be][fe][bf][cf][df][ef])
(;AB[ca][ea][cb][cc][ec][cd][ed][ce][de][ee]AW[ba][ga][bb][db][gb][bc][dc][gc][bd][dd][fd][be][fe][cf][df][ef][ff])
(;AB[fa][fb][dc][fc][dd][fd][de][ee][fe]AW[ga][bb][eb][gb][bc][ec][gc][cd][ed][gd][ce][ge][df][ef][ff])
(;AB[ba][da][ga][ha][bb][hb][cc][hc][cd][ed][hd][ce][fe][ge][cf][df][ef]AW[ca][fa][cb][db][eb][gb][dc][ec][gc][dd][gd][de])
(;AB[da][ga][ab][gb][bc][fc][bd][dd][fd][be][fe][cf][df][ef][ff]AW[ba][bb][db][fb][cc][ec][cd][ed][ce][de][ee])
(;AB[da][bb][db][fb][hb][jb][cc][hc][bd][hd][be][ee][ge][bf][ff][gf][cg][dg][eg][fg]AW[eb][gb][dc][fc][gc][cd][dd][fd][gd][ce][fe][cf][df][ef])
(;AB[da][ga][ab][gb][bc][fc][bd][dd][fd][be][fe][cf][df][ef][ff]AW[ba][ea][bb][fb][cc][ec][cd][ed][ce][de][ee])
(;AB[dc][hc][dd][hd][de][fe][he][df][ef][ff][gf][hf]AW[db][eb][fb][gb][hb][cc][ic][cd][fd][id][ce][ie][cf][if][dg][eg][fg][gg][hg])
(;AB[da][ga][ab][cb][gb][bc][fc][bd][dd][fd][be][fe][cf][df][ef][ff]AW[ba][ea][bb][eb][fb][cc][ec][cd][ed][ce][de][ee])
(;AB[dc][fc][hc][dd][hd][de][he][df][ef][ff][gf][hf]AW[db][eb][fb][gb][hb][cc][ic][cd][id][ce][ie][cf][if][dg][eg][fg][gg][hg])
(;AB[dc][fc][cd][gd][ce][ge][cf][df][ef][ff][gf]AW[cb][db][eb][fb][gb][cc][gc][bd][hd][be][he][bf][hf][cg][dg][eg][fg][gg])
(;AB[db][eb][cc][dc][bd][ed][gd][be][ce][ge][df][ef][ff][gf]AW[da][ea][bb][cb][fb][hb][bc][ec][gc][ad][fd][hd][ae][he][bf][cf][hf][cg][dg][eg][fg][gg])
(;AB[bb][cb][db][bc][fc][cd][dd][ee][fe][ge]AW[ba][ca][da][ea][ab][fb][gb][ac][hc][ad][hd][be][ce][de][he][ef][ff][gf])
(;AB[bb][cb][db][bc][ec][fc][gc][cd][gd][ce][fe][ge][df][ef]AW[ba][ca][da][ab][eb][fb][gb][ac][hc][bd][hd][be][de][he][cf][ff][gf][cg][dg][eg])
(;AB[fb][gb][bc][cc][dc][ec][bd][gd][be][ce][de][ee][fe]AW[ea][fa][ga][bb][cb][db][hb][ac][hc][ad][dd][ed][hd][ae][ge][bf][cf][df][ef][ff])
(;AB[cb][db][eb][fb][bc][dc][gc][cd][gd][de][ee][fe]AW[ba][ca][da][ea][fa][bb][gb][ac][hc][ad][ed][hd][be][ce][he][df][ef][ff][gf])
(;AB[db][eb][cc][fc][bd][gd][be][ce][ee][ge][cf][df][ef][ff]AW[da][ea][bb][cb][fb][hb][bc][gc][ad][dd][hd][ae][de][he][bf][gf][bg][cg][dg][eg][fg])
(;AB[bb][cb][db][eb][fb][bc][fc][bd][fd][be][ee][fe][cf][df]AW[ba][ca][da][ea][fa][ab][gb][ac][dc][gc][ad][gd][ae][de][ge][bf][ef][ff][bg][cg][dg])
(;AB[ia][db][ib][dc][ec][hc][ic][dd][id][de][ie][ef][ff][gf][hf]AW[fa][ga][eb][hb][fc][gc][ed][hd][ee][fe][ge][he])
(;AB[ba][cb][db][hb][bc][ec][ed][gd][hd][id][ee][fe][ef][gf][eg][fg]AW[eb][gb][cc][dc][fc][hc][ic][kc][cd][fd][jd][ce][je][df][hf][if][cg][dh][hh][ei][gi])
(;AB[ca][ha][cb][ib][kb][dc][ec][ic][cd][ed][id][ee][ie][ef][if][eg][ig][fh][gh][hh]AW[fa][db][eb][hb][fc][gc][hc][fe][ge][he][ff][hf][gg])
(;AB[ha][ia][bb][db][ib][bc][dc][ic][bd][ed][id][be][ee][fe][ge][he][cf]AW[ga][cb][eb][fb][hb][cc][fc][gc][hc][cd][dd][fd][gd][hd])
