(b1c3(c7c5(g1f3(g8f6(e2e4(d7d6(g2g3(g7g6(f1g2(f8g7(e1g1(b8c6(d2d3(e8g8(h2h3(a8b8)))))))))))))))(g7g6(e2e4(c7c5(g1f3(f8g7(d2d4(c5d4(f3d4(b8c6(c1e3(d7d6(f1c4(g8f6(f2f3(e8g8))))))))))))))))(c2c4(c7c5(b1c3(g7g6(g1f3(f8g7(d2d4(c5d4(f3d4(b8c6(e2e3(g8f6(f1e2(e8g8(e1g1(c6d4))))))))))))))(g1f3(b8c6(d2d4(c5d4(f3d4(g8f6(b1c3(e7e6(d4b5(f8b4(a2a3(b4c3(b5c3(d7d5))))))(e2e3(d7d5(c4d5(e6d5(f1e2(f8d6)))))))))))))(g7g6(d2d4(c5d4(f3d4(b8c6(e2e4(g8f6(b1c3(d7d6(f1e2(c6d4(d1d4(f8g7))))(f2f3(c6d4(d1d4(f8g7))))))))))))(e2e4(f8g7(d2d4(b8c6(d4c5(d8a5(f3d2(a5c5(d2b3(c5b6(f1e2(d7d6)))))))))))))))(e7e5(b1c3(b8c6(g2g3(f7f5(f1g2(g8f6(e2e3(f8c5(d2d3(f5f4(e3f4(e8g8(g1e2(d8e8)))))))))))))))(g7g6(b1c3(c7c5(g2g3(f8g7(f1g2(b8c6(g1f3(e7e6(e1g1(g8e7(d2d3(e8g8(c1d2(d7d5)))))))))))))(f8g7(d2d4(g8f6(e2e4(d7d6(f2f3(c7c6(c1e3(a7a6(f1d3(b7b5(c4b5(a6b5))))))))))))(g1f3(c7c5(d2d4(c5d4(f3d4(b8c6(d4c2(g7c3(b2c3(g8f6(f2f3(d7d6))))))))))))(g2g3(c7c5(f1g2(b8c6(b2b3(e7e6(c1b2(g8e7(c3a4(g7b2(a4b2(e8g8)))))))))))(e7e5(f1g2(d7d6(e2e3(g8f6(g1e2(e8g8(e1g1(c7c6(d2d4(d8e7)(f8e8))))))))))))))(d2d4(g8f6(b1c3(d7d5(g1f3(f8g7(c4d5(f6d5(c1d2(c7c5(a1c1(d5c3(d2c3(c5d4))))))))(d1b3(d5c4(b3c4(e8g8(e2e4(c8g4(c1e3(f6d7))))))))))))))(g1f3(f8g7(d2d4(g8f6(b1c3(e8g8(e2e4(d7d6(f1e2(e7e5(e1g1(b8c6(d4d5(c6e7))))))))))))))(g2g3(f8g7(f1g2(c7c5(b1c3(b8c6(e2e3(g8f6(d2d4(e8g8(g1e2(d7d6(e1g1(c8f5)))))))))))(e7e5(b1c3(d7d6(e2e4(f7f5(e4f5(g6f5(d1h5(e8f8(d2d3(g8f6)))))))))))(g8f6(g1f3(e8g8(e1g1(c7c6(d2d4(d7d5(c4d5(c6d5(b1c3(f6e4)))))))))))))))(g8f6(b1c3(d7d5(c4d5(f6d5(g2g3(g7g6(f1g2(d5b6(g1f3(f8g7(d2d3(e8g8(c1e3(b8c6)))))))))))))(e7e6(d2d4(d7d5(c1g5(f8e7(e2e3(h7h6(g5h4(b7b6(c4d5(f6d5(h4e7(d8e7)))))))))))(f8b4(e2e3(b7b6(g1e2(c8a6(e2g3(b4c3(b2c3(d7d5(d1f3(e8g8)))))))))(e8g8(f1d3(d7d5(g1f3(b8c6(e1g1(d5c4(d3c4(b4d6))))))))))))(e2e4(c7c5(g2g3(b8c6(f1g2(d7d5(d2d3(d5c4(d3c4(d8d1(c3d1(c6e5))))))))))))(g1f3(d7d5(d2d4(f8b4(c4d5(e6d5(c1g5(h7h6(g5h4(c7c5(e2e3(b8c6))))))))(d1b3(b8c6(c1g5(h7h6(g5f6(d8f6(e2e3(d5c4)))))))))))))(g7g6(d2d4(d7d6(e2e4(f8g7(f1d3(c7c5(d4d5(e8g8(g1e2(e7e6(c1g5(h7h6)))))))))))(f8g7(c1g5(d7d6(e2e3(c7c5(g1f3(h7h6(g5h4(g6g5(h4g3(f6h5))))))))))(e2e4(d7d6(g1f3(e8g8(f1e2(e7e5(d4d5(b8d7(c1g5(h7h6))(e1g1(d7c5))))))))))(g2g3(e8g8(f1g2(c7c5(g1f3(c5d4(f3d4(b8c6(e1g1(f6g4))))))))))))(e2e4(f8g7(d2d4(d7d6(f2f3(e7e5(d4d5(f6h5(c1e3(f7f5(d1d2(d8h4))))))))))))(g2g3(f8g7(f1g2(e8g8(d2d3(d7d6(a1b1(a7a5(e2e4(e7e5(g1e2(b8c6))))))(c1d2(b8c6(d1c1(e7e6(g1f3(d6d5))))))))(d2d4(d7d6(g1f3(b8c6(e1g1(a7a6(b2b3(a8b8))))))))(e2e4(c7c5(g1e2(b8c6(d2d3(a8b8(h2h3(a7a6)))))))(d7d6(g1e2(c7c5(e1g1(b8c6(h2h3(a8b8))))))))(g1f3(d7d6(e1g1(b8c6(d2d3(f6h5(d3d4(e7e5))))))))))))))(d2d4(g7g6(b1c3(f8g7(c1g5(d7d6(g1f3(e8g8(e2e3(c7c5(f1e2(h7h6(g5h4(g6g5))))))))))(e2e4(e8g8(f1e2(d7d6(g1f3(e7e5(e1g1(b8c6(c1e3(f8e8))(d4d5(c6e7))))))))))))(g2g3(f8g7(f1g2(e8g8(b1c3(d7d6(g1f3(b8c6(e1g1(a7a6(b2b3(a8b8))))))))))))))(g1f3(g7g6(b2b3(f8g7(c1b2(e8g8(g2g3(d7d6(f1g2(e7e5(d2d3(b8d7(e1g1(f6e8))))(d2d4(e5e4(f3d2(f8e8))))))))))))(g2g3(f8g7(f1g2(e8g8(e1g1(d7d6(b1c3(b8c6(d2d4(e7e5(d4e5(d6e5))))))))))))))(g2g3(g7g6(f1g2(f8g7(b1c3(e8g8(e2e4(c7c5(g1e2(b8c6(e1g1(d7d6(a2a3(f6e8))))))))))))))))(d2d4(d7d5(c2c4(d5c4(g1f3(e7e6(e2e3(g8f6(f1c4(a7a6(e1g1(c7c5(d4c5(d8d1(f1d1(f8c5)))))))))))(g8f6(e2e3(e7e6(f1c4(c7c5(e1g1(a7a6(d4c5(d8d1(f1d1(f8c5)))))))))))))(e7e6(b1c3(f8e7(g1f3(g8f6(c1g5(e8g8(e2e3(h7h6(g5h4(b7b6(c4d5(f6d5)))))))))))(g8f6(c1g5(f8e7(e2e3(e8g8(g1f3(h7h6(g5h4(b7b6(c4d5(f6d5))))))))))(c4d5(e6d5(c1g5(c7c6(d1c2(b8a6(e2e3(a6c7(f1d3(f8e7))))))))))(g1f3(f8e7(c4d5(e6d5(c1f4(c7c6(d1c2(g7g6(e2e3(c8f5))))))))))))(g1f3(g8f6(c4d5(e6d5(c1g5(c7c6(b1c3(c8f5(d1b3(d8b6(g5f6(g7f6))))))))))))))(g1f3(e7e6(c2c4(f8e7(b1c3(g8f6(c1g5(h7h6(g5h4(e8g8(e2e3(b7b6(f1d3(c8b7)))))))))))))(g8f6(c2c4(e7e6(b1c3(f8b4(e2e3(e8g8(f1d3(b8c6(a2a3(b4c3(b2c3(c6a5)))))))))))))))(g7g6(c2c4(f8g7(b1c3(g8f6(e2e4(d7d6(f1e2(e8g8(g1f3(e7e5(e1g1(b8c6(d4d5(c6e7)))))))))))))))(g8f6(b1c3(d7d5(c1g5(c8f5(e2e3(e7e6(f1d3(f5d3(d1d3(c7c5(g5f6(g7f6(d4c5(b8d7))))))))))))))(c1g5(c7c5(c2c3(d8b6(d1b3(c5d4(b3b6(a7b6(g5f6(g7f6(c3d4(b8c6(g1f3(c6b4))))))))))))))(c2c4(b7b6(b1c3(c8b7(f2f3(d7d5(c4d5(f6d5(c3d5(d8d5(e2e4(d5d7(f1c4(g7g6)))))))))))))(c7c5(d4d5(d7d6(b1c3(g7g6(e2e4(f8g7(c1g5(h7h6(g5h4(g6g5(h4g3(d8a5))))))(f1d3(e8g8(g1f3(c8g4(h2h3(g4f3)))))))))))(e7e6(b1c3(e6d5(c3d5(f6d5(d1d5(b8c6(g1f3(d7d6(f3g5(d8e7))))))))(c4d5(d7d6(e2e4(g7g6(c1f4(a7a6(a2a4(f8g7))))))(g1f3(g7g6(e2e4(f8g7(c1g5(h7h6)))))))(g7g6(e2e4(d7d6(f1e2(f8g7(f2f4(e8g8)))))))))))(g7g6(b1c3(f8g7(e2e4(d7d6(g1f3(e8g8(f1e2(e7e6(e1g1(e6d5))))))))))))(g1f3(c5d4(f3d4(b8c6(b1c3(g7g6(e2e4(d7d6(f1e2(c6d4(d1d4(f8g7)))))))))(e7e6(b1c3(f8b4(d4c2(b4c3(b2c3(d8a5(d1d3(b8c6))))))(e2e3(f6e4(d1c2(e4c3(b2c3(b4e7)))))))))))))(e7e6(b1c3(c7c5(d4d5(e6d5(c4d5(d7d6(g1f3(g7g6(e2e4(f8g7(f1e2(e8g8)))))))))))(d7d5(c4d5(e6d5(c1g5(f8b4(e2e3(h7h6(g5h4(c7c5(f1d3(b8c6)))))))))(f6d5(e2e4(d5c3(b2c3(c7c5(g1f3(c5d4(c3d4(f8b4))))))))(g1f3(c7c5(e2e3(b8c6(f1c4(c5d4(e3d4(f8e7)))(d5c3(b2c3(f8e7))))(f1d3(f8e7(e1g1(e8g8)))))))))))(f8b4(d1c2(d7d5(c4d5(e6d5(c1g5(h7h6(g5h4(c7c5(d4c5(b8c6))))))))))(e2e3(b7b6(f1d3(c8b7(g1f3(e8g8(e1g1(b4c3(b2c3(b7e4)))))(f6e4(d1c2(f7f5(e1g1(b4c3))))))))(g1e2(c8a6(a2a3(b4c3(e2c3(d7d5(b2b3(b8c6)(e8g8))))))(e2g3(b4c3(b2c3(d7d5(c1a3(d5c4))(d1f3(e8g8)))))))))(d7d5(a2a3(b4c3(b2c3(c7c5(f1d3(d5c4(d3c4(d8c7)))))(e8g8(c4d5(e6d5(f1d3(c7c5)))))))(b4d6(g1f3(e8g8(c4c5(d6e7(b2b4(f6e4))))))))(g1e2(d5c4(a2a3(b4d6(e3e4(e6e5(f2f4(e5d4)))))))))(e8g8(f1d3(d7d5(g1f3(b8c6(e1g1(d5c4(d3c4(b4d6))))))))(g1e2(d7d5(a2a3(b4d6(c4c5(d6e7(b2b4(b7b6))))))))))(f2f3(d7d5(a2a3(b4c3(b2c3(e8g8(c4d5(e6d5(e2e3(f6h5))))))))))(g1f3(c7c5(e2e3(b8c6(f1d3(b4c3(b2c3(d7d6(e3e4(e6e5)))))))))(e8g8(d1b3(c7c5(d4c5(b8a6(c1d2(d8e7(e2e3(a6c5))))))))))))(g1f3(b7b6(b1c3(c8b7(e2e3(f6e4(f1d3(e4c3(b2c3(f8e7(e1g1(e8g8))(e3e4(d7d6)))))))))))(c7c5(d4d5(e6d5(c4d5(d7d6(b1c3(g7g6(e2e4(f8g7(f1e2(e8g8))))(f3d2(b8d7(e2e4(f8g7)))))))(g7g6(b1c3(f8g7(c1f4(d7d6(d1a4(c8d7))))))))))(e2e3(d7d5(b1c3(b8c6(a2a3(c5d4(e3d4(f8e7(c4c5(f6e4)))))))))))(d7d5(b1c3(c7c5(c1g5(c5d4(f3d4(e6e5(d4f3(d5d4(c3d5(f8e7))))))))(c4d5(f6d5(e2e3(b8c6(f1c4(c5d4(e3d4(f8e7))))))(e2e4(d5c3(b2c3(c5d4(c3d4(b8c6))))))))(e2e3(b8c6(a2a3(f6e4(d1c2(e4c3(b2c3(f8e7)))))))))(f8b4(a2a3(b4c3(b2c3(c7c5(e2e3(e8g8(f1d3(b8c6))))))))(c1g5(h7h6(g5f6(d8f6(c4d5(e6d5(a1c1(e8g8))))))))(c4d5(e6d5(c1g5(h7h6(g5h4(c7c5(e2e3(b8c6))))))))(e2e3(e8g8(f1d3(c7c5(e1g1(b8c6(a2a3(b4a5))))))))))(c4d5(e6d5(b1c3(c7c6(c1g5(h7h6(g5h4(f8e7(d1c2(e8g8)))))))))))))(g7g6(b1c3(d7d5(c1f4(f8g7(e2e3(c7c5(d4c5(d8a5(a1c1(f6e4(c4d5(e4c3)))))))(e8g8(d1b3(c7c6(a1c1(d5c4(f1c4(b7b5))))))))))(c1g5(f6e4(g5h4(e4c3(b2c3(d5c4(e2e3(c8e6(a1b1(b7b6))))))))))(c4d5(f6d5(e2e4(d5c3(b2c3(f8g7(c1e3(c7c5(f1c4(d8a5))))(f1c4(b8c6(a2a4(c6a5)))(c7c5(g1e2(b8c6))))))))))(g1f3(f8g7(d1b3(d5c4(b3c4(e8g8(e2e4(c8g4(c1e3(f6d7)))))))))))(f8g7(e2e4(d7d6(f1e2(e8g8(c1g5(c7c5(d4d5(e7e6(g1f3(h7h6)))))(h7h6(g5e3(c7c5(d4d5(e7e6))))))(f2f4(c7c5(g1f3(c5d4(f3d4(b8c6))))))(g1f3(e7e5(c1e3(b8c6(e1g1(f8e8))))(d4d5(b8d7(c1g5(h7h6))))(e1g1(b8c6(c1e3(f6g4)(f8e8))(d4d5(c6e7))))))))(f2f3(c7c5(d4c5(d6c5(d1d8(e8d8(c1e3(f6d7)))))))(e7e5(d4d5(f6h5(c1e3(e8g8(d1d2(f7f5)))(f7f5(g1e2(e8g8))))))(g1e2(e8g8(c1e3(c7c6(d1d2(b8d7)(e5d4))(d4d5(c6d5))))(c1g5(c7c6(d1d2(b8d7)(d8a5)))(e5d4(e2d4(b8c6)))))(f6d7(c1e3(g7h6(d1d2(h6e3)))))))(e8g8(c1e3(b7b6(f1d3(c8b7(g1e2(c7c5)))))(b8c6(g1e2(a7a6(d1d2(a8b8))(h2h4(h7h5)))))(b8d7(d1d2(c7c5(g1e2(a7a6))))(f1d3(e7e5(d4d5(f6h5))))(g1e2(a7a6(d1d2(c7c5))))))(c1g5(b8d7(d1d2(e7e5(d4d5(a7a5))))))(g1e2(b8c6(c1e3(a7a6(d1d2(a8b8))))))))(f2f4(e8g8(g1f3(c7c5(f1e2(c5d4(f3d4(b8c6))))))))(g1f3(e8g8(c1g5(h7h6(g5h4(g6g5(h4g3(f6h5))))))(f1d3(c8g4(e1g1(b8c6(c1e3(f6d7))))))(f1e2(b8d7(c1g5(h7h6(g5h4(g6g5))))(e1g1(e7e5(h2h3(c7c6)))))(e7e5(c1e3(d8e7(d4d5(f6e8)))(e5d4(f3d4(f8e8))))(d4d5(b8d7(c1g5(h7h6))(e1g1(d7c5))))(e1g1(b8c6(d4d5(c6e7)))))))))(e8g8(c1e3(d7d6(f2f3(b8d7(g1h3(c7c5(d4d5(d7e5))))))))(c1g5(d7d6(d1d2(c7c5(d4d5(e7e6(f1d3(e6d5))))))))(e4e5(f6e8(f2f4(d7d6(c1e3(c7c5(d4c5(b8c6))))(g1f3(d6e5(f4e5(c8g4))))))))(f1e2(d7d6(c1g5(h7h6(g5e3(c7c5(d4d5(e7e6))))))(f2f4(c7c5(g1f3(c5d4(f3d4(b8c6))))))(g1f3(e7e5(c1e3(c7c6(e1g1(f6g4))))))))(g1f3(d7d6(f1e2(e7e5(d4e5(d6e5(d1d8(f8d8))))(e1g1(b8c6(c1e3(f6g4))))))))))(g1f3(e8g8(c1f4(c7c5(d4d5(d7d6(e2e4(d8a5(f1d3(c8g4))))))))(e2e3(d7d6(f1e2(b8d7(e1g1(e7e5(b2b4(f8e8))))))))))(g2g3(e8g8(f1g2(d7d6(g1f3(b8d7(e1g1(e7e5(e2e4(e5d4))(h2h3(f8e8))))))))))))(d1c2(f8g7(b1c3(e8g8(c1g5(c7c5(d4d5(d7d6(e2e4(b8a6(c2d2(d8a5))))))))))))(g1f3(f8g7(g2g3(e8g8(f1g2(d7d6(e1g1(b8c6(d4d5(c6a5(f3d2(c7c5))))))))))))(g2g3(c7c6(b1c3(d7d5(c4d5(c6d5(f1g2(f8g7(g1f3(e8g8(e1g1(f6e4))))))))))(d4d5(b7b5(d5c6(b5c4(c6d7(b8d7(f1g2(a8b8(g1f3(f8g7))))))))))(f1g2(d7d5(c4d5(c6d5(b1c3(f8g7(e2e3(e8g8(g1e2(b8c6)))))))))))(f8g7(f1g2(e8g8(b1c3(c7c5(e2e3(b8c6(g1e2(d7d6(e1g1(c8d7))))))(g1f3(c5d4(f3d4(b8c6(d4c2(f6g4)))))))(d7d6(g1f3(b8c6(e1g1(a7a6(e2e3(a8b8)))(c8g4(d4d5(c6a5)))(e7e5(d4d5(c6e7))(e2e3(c8g4))))(h2h3(e7e5(e1g1(e5d4)))))(b8d7(e1g1(e7e5(e2e4(c7c6))))))))(e2e4(d7d6(g1e2(e7e5(e1g1(b8d7(b1c3(c7c6))))))))(g1f3(d7d6(e1g1(b8c6(b1c3(c8f5(d4d5(c6a5)))(e7e5(d4e5(c6e5))))(d4d5(c6a5(f3d2(c7c5))))))))))))))(g1f3(c7c5(c2c3(g7g6(g2g3(b7b6(f1g2(c8b7(e1g1(f8g7(b1d2(e8g8(f1e1(d7d5))))))))))))(c2c4(c5d4(f3d4(e7e6(e2e3(b8c6(f1e2(d7d5(b1c3(f8c5(e1g1(c5d4)))))(f8b4(c1d2(b4c5(d4b3(c5b6))))))))))))(d4d5(b7b5(c2c4(c8b7(g2g3(g7g6(f1g2(b5c4(b1c3(f8g7(e1g1(e8g8)))))))))))))(d7d5(c2c4(e7e6(e2e3(c7c5(b1c3(b8c6(c4d5(f6d5(f1d3(f8e7(e1g1(e8g8))))))))))))(e2e3(g7g6(c2c4(f8g7(b1c3(e8g8(d1b3(e7e6(f1e2(b8c6(b3c2(d5c4)))))))))))))(g7g6(b1c3(d7d5(c1f4(f8g7(e2e3(e8g8(f1e2(f6h5(f4g5(h7h6(g5h4(g6g5))))))))))))(c1f4(f8g7(b1d2(c7c5(c2c3(c5d4(c3d4(d7d5(f4b8(a8b8(d1a4(c8d7))))))))))))(c1g5(f8g7(b1d2(c7c5(c2c3(c5d4(c3d4(b8c6(e2e3(e8g8(a2a3(h7h6)))))))))(d7d6(e2e4(h7h6(g5f6(g7f6(f1b5(c7c6(b5d3(e8g8)))))))))))(h7h6(g5h4(f8g7(b1d2(g6g5(h4g3(f6h5(e2e4(d7d6(f1d3(g5g4))))))))))))(c2c4(f8g7(b1c3(d7d5(d1b3(d5c4(b3c4(e8g8(e2e4(c7c6(c4b3(e7e5)))))))))(e8g8(e2e4(d7d6(f1e2(e7e5(e1g1(b8c6(d4d5(c6e7))))))))))))(g2g3(f8g7(f1g2(e8g8(e1g1(d7d6(b1c3(b8d7(b2b3(e7e5(d4e5(d6e5)))))(c7c5(e2e4(c5d4(f3d4(b8c6)))))(d6d5(f3e5(c7c6(e2e4(c8e6))))))(b1d2(b8c6(e2e4(e7e5(d4e5(c6e5))))))(c2c3(b8d7(b1d2(e7e5(d4e5(d6e5))))))(c2c4(b8c6(b1c3(c8f5(h2h3(e7e5))))))))))))))))(e2e4(c7c5(b1c3(b8c6(d2d3(g7g6(g2g3(f8g7(f1g2(d7d6(f2f4(e7e6(g1f3(g8e7(e1g1(e8g8))))))))))))(f2f4(e7e6(g1f3(g8f6(g2g3(d7d5(e4e5(f6e4(f1g2(e4c3(b2c3(d8a5))))))))))))(g2g3(g7g6(f1g2(f8g7(d2d3(d7d6(f2f4(e7e6(g1f3(g8e7(c1e3(e8g8)))))))))))))(d7d6(g1f3(a7a6(g2g3(b8c6(f1g2(c8g4(h2h3(g4f3(g2f3(g7g6(d2d3(f8g7))))))))))))(g2g3(b8c6(d2d3(g7g6(f1g2(f8g7(c1e3(a8b8(a2a4(e7e6(d1d2(c6d4))))))))))(f1g2(g7g6(d2d3(f8g7(f2f4(b7b6(g1f3(c8b7(e1g1(d8d7)))))))))))(g7g6(f1g2(f8g7(d2d3(b8c6(c1e3(a8b8(d1d2(b7b5(g1f3(b5b4))))))))))))))(c2c3(g8f6(e4e5(f6d5(d2d4(c5d4(d1d4(e7e6(g1f3(b8c6(d4e4(d7d6(b1d2(f8e7))))))))(g1f3(b8c6(f1c4(e7e6(c3d4(d7d6(e1g1(f8e7))))))))))(g1f3(b8c6(b1a3(g7g6(g2g3(f8g7(f1g2(d5c7(d1e2(e8g8))))))))))))))(d2d4(c5d4(c2c3(g8f6(e4e5(f6d5(c3d4(b8c6(b1c3(d5c3(b2c3(d7d5(f1d3(e7e6))))))))))))(g1f3(d7d6(f3d4(g8f6(b1c3(a7a6(c1g5(e7e6(f1c4(h7h6(g5h4(b7b5))))))))))))))(g1e2(b8c6(b2b3(g8f6(b1c3(e7e6(c1b2(d7d5(e2g3(f8d6(f1b5(e8g8(b5d3(c6e5)))))))))))))(d7d6(d2d4(c5d4(e2d4(g8f6(b1c3(a7a6(a2a4(d8c7(f1d3(g7g6(f2f4(f8g7))))))))))))(g2g3(g7g6(f1g2(f8g7(e1g1(b8c6(c2c3(e7e5(d2d3(g8e7(a2a3(e8g8)))))))))))))(g8f6(b1c3(d7d6(g2g3(b8c6(f1g2(g7g6(e1g1(f8g7(d2d3(e8g8(h2h3(a8b8)))))))))(g7g6(f1g2(b8c6(e1g1(f8g7(d2d4(c5d4(e2d4(c8g4)))))))))))(e7e6(g2g3(b8c6(f1g2(f8e7(e1g1(d7d6(d2d3(a7a6(a2a3(d8c7))))))))))))))(g1f3(d7d6(b1c3(a7a6(d2d4(c5d4(f3d4(g8f6(c1g5(e7e6(f2f4(f8e7(d1f3(d8c7))))))))))(g2g3(b8c6(f1g2(g7g6(d2d4(c8g4(d4c5(d6c5(c1e3(d8a5)))))))))))(e7e5(f1c4(f8e7(d2d3(g8f6(e1g1(b8c6(f3e1(e8g8(f2f4(a7a6))))))))))))(c2c3(g8f6(d1c2(b8c6(d2d4(c5d4(c3d4(d6d5(e4e5(f6e4(b1c3(c8f5))))))))))(f1d3(b8c6(d3c2(c8g4(d2d3(g7g6(b1d2(f8g7(h2h3(g4d7)))))))))(g7g6(d3c2(f8g7(d2d4(e8g8(h2h3(c5d4(c3d4(b8c6))))))))))))(d2d3(b8c6(g2g3(g7g6(f1g2(f8g7(e1g1(e7e5(c2c3(g8e7(f3h4(e8g8))))))))))))(d2d4(c5d4(d1d4(b8c6(f1b5(c8d7(b5c6(d7c6(b1c3(g8f6(c1g5(e7e6))))(c2c4(g8f6(b1c3(g7g6))))))))))(f3d4(g8f6(b1c3(a7a6(c1e3(e7e5(d4b3(f8e7(f1e2(c8e6))(f2f3(e8g8))))(d4e2(f8e7(h2h3(c8e6))))))(c1g5(e7e6(d1d2(h7h6(g5e3(f6g4))))(d1d3(c8d7(f2f4(b8c6))))(f2f4(b7b5(e4e5(d6e5)))(d8b6(d1d2(b6b2)))(f8e7(d1f3(b8d7)(d8c7)(h7h6))(f1e2(d8b6))))(g2g3(f8e7(g5e3(b7b5))))))(f1c4(b8d7(a2a4(g7g6(e1g1(f8g7)))))(e7e6(a2a3(f8e7(c4a2(e8g8))(e1g1(e8g8))))(c4b3(b7b5(a2a3(f8e7))(f2f4(c8b7))))))(f1e2(b8d7(e1g1(e7e6(f2f4(b7b5)))))(e7e5(d4b3(c8e6(e1g1(b8d7)))(f8e7(c1e3(e8g8))(c1g5(c8e6))(e1g1(e8g8))))(d4f3(f8e7(c1g5(b8d7))(e1g1(e8g8))))))(f2f4(b8c6(d4f3(c8g4(h2h3(g4f3)))))(d8c7(d4f3(b8d7(f1d3(b7b5)))))(e7e5(d4f3(b8d7(a2a4(b7b6)))(d8c7(f1d3(b7b5)(b8d7))))))(g2g3(e7e5(d4e2(f8e7(c1g5(b8d7))(f1g2(e8g8)))))(g7g6(f1g2(f8g7(e1g1(e8g8))))))(h2h3(e7e5(d4e2(f8e7(g2g4(e8g8)))))(g7g6(g2g4(f8g7(g4g5(f6h5))))))))(f2f3(b8c6(c2c4(e7e6(b1c3(f8e7(c1e3(e8g8))(d4c2(e8g8)))))))(e7e5(f1b5(b8d7(d4f5(d6d5(e4d5(a7a6))))))))))))(f1b5(c8d7(b5d7(d8d7(b1c3(b8c6(d2d4(c5d4(f3d4(g7g6(e1g1(f8g7))))))))(c2c4(b8c6(e1g1(g7g6(d2d4(c5d4(f3d4(f8g7))))))))(e1g1(b8c6(c2c3(g8f6(f1e1(e7e6(d2d4(c5d4))))))(d1e2(g7g6(c2c3(f8g7(f1d1(e7e5))))))(d2d3(e7e6(b1d2(g7g6(a2a4(f8g7)))))))))))))(e7e6(d2d4(c5d4(f3d4(a7a6(b1c3(b8c6(c1e3(g8f6(f1d3(d7d5(e4d5(e6d5)))))))))))))(g7g6(d2d4(f8g7(b1c3(c5d4(f3d4(b8c6(c1e3(g8f6(d4c6(b7c6(e4e5(f6g8)))))))))))))))(d7d6(d2d4(g7g6(b1c3(g8f6(f2f4(f8g7(g1f3(c7c5(d4c5(d8a5(f1d3(a5c5(d1e2(e8g8)))))))))))))))(e7e5(f2f4(e5f4(g1f3(g7g5(h2h4(g5g4(f3e5(g8f6(d2d4(d7d6(e5d3(f6e4(c1f4(f8g7))))))))))))))(g1f3(b8c6(f1b5(a7a6(b5a4(b7b5(a4b3(c6a5(d2d4(e5d4(d1d4(g8e7(c2c3(a5b3))))))))))(b5c6(d7c6(d2d4(e5d4(d1d4(d8d4(f3d4(c8d7(c1e3(e8c8)))))))))))(f8c5(c2c3(g8e7(d2d4(e5d4(c3d4(c5b4(c1d2(b4d2(d1d2(a7a6)))))))))(g8f6(d2d4(c5b6(e1g1(e8g8(f1e1(e5d4(c3d4(d7d5)))))))(e5d4(e4e5(f6e4(c3d4(c5b4(c1d2(e4d2))))(e1g1(d7d5(f3d4(e8g8))))))))))(e1g1(g8e7(c2c3(c5b6(d2d4(e5d4(c3d4(d7d5(e4d5(e7d5))))))))))))(f1c4(f8c5(b2b4(c5b4(c2c3(b4a5(d2d4(e5d4(e1g1(d4c3(d1b3(d8f6))))))))))(c2c3(g8f6(d2d4(e5d4(c3d4(c5b4(c1d2(b4d2(b1d2(f6e4)))))))))))))))(g8f6(e4e5(f6d5(d2d4(d7d6(c2c4(d5b6(e5d6(c7d6(b1c3(g7g6(f1d3(f8g7(g1e2(e8g8))))(h2h4(h7h6(c1e3(f8g7))))))(c1e3(g7g6(d4d5(f8g7(e3d4(g7d4))))))))(f2f4(c8f5(b1c3(e7e6(c1e3(f8e7(g1f3(e8g8))))))))))(g1f3(c8g4(f1e2(e7e6(e1g1(f8e7(h2h3(g4h5(c2c4(d5b6)))))))))(g7g6(f1c4(d5b6(c4b3(f8g7(b1d2(e8g8(h2h3(a7a5))))))))(f1e2(f8g7(c2c4(d5b6(e5d6(c7d6(b1c3(e8g8))))))))))))))))(f2f4(c7c5(g1f3(g7g6(e2e4(f8g7(f1e2(b8c6(e1g1(d7d6(d2d3(e7e6(b1a3(g8e7(c2c3(e8g8)))))))))))))))(g8f6(g1f3(g7g6(b2b3(f8g7(c1b2(e8g8(d2d3(d7d5(b1d2(f6g4(b2g7(g4e3(d1c1(g8g7))))))))))))(d2d3(d7d5(b1d2(d5d4(c2c3(d4c3(b2c3(f6d5(d1a4(b8c6(f3e5(f8g7)))))))))))(f8g7(e2e4(e8g8(f1e2(c7c5(e1g1(b8c6(a2a4(d7d6(d1e1(c5c4))))))))))))))))(g1f3(c7c5(b2b3(d7d5(c1b2(f7f6(c2c4(d5d4(d2d3(e7e5(e2e3(g8e7(f1e2(e7c6(b1d2(f8e7))))))))))))))(c2c4(b8c6(b1c3(g7g6(e2e3(f8g7(d2d4(d7d6(d4d5(c6e5(f3d2(f7f5(f1e2(g8f6))))))))))))))(g2g3(g7g6(f1g2(f8g7(c2c4(b8c6(b1c3(e7e6(b2b3(g8e7(c1b2(e8g8(c3a4(e6e5))))))))))(e1g1(b8c6(c2c4(e7e6(b1c3(g8e7(e2e3(e8g8(d2d4(c5d4)))))))))))))))(g7g6(c2c4(f8g7(b1c3(c7c5(d2d4(c5d4(f3d4(b8c6(e2e3(g8f6(f1e2(e8g8(e1g1(c6d4))))))))))))))(d2d4(f8g7(c2c4(g8f6(b1c3(d7d5(c1f4(e8g8(e2e3(c7c6(f1e2(c8g4(d1b3(b7b6))))))))))))))(g2g3(f8g7(d2d4(g8f6(f1g2(e8g8(e1g1(d7d5(c2c4(d5c4(b1a3(b8c6(a3c4(c8e6)))))))))))))))(g8f6(b2b3(g7g6(c1b2(f8g7(g2g3(e8g8(f1g2(d7d6(d2d4(e7e5(d4e5(f6g4(d1c1(g4e5))))))))))))))(c2c4(e7e6(b1c3(d7d5(d2d4(f8b4(c4d5(e6d5(c1g5(h7h6(g5h4(c7c5(e2e3(b8c6))))))))))))(d2d4(d7d5(e2e3(b8c6(b1c3(f8b4(c1d2(e8g8(a2a3(b4c3(d2c3(f6e4)))))))))))))(g7g6(b1c3(f8g7(d2d4(e8g8(c1f4(d7d5(d1b3(d5c4(b3c4(c7c6(e2e4(b8d7))))))))))(g2g3(e8g8(f1g2(d7d6(d2d4(b8d7(e1g1(e7e5(d4e5(d6e5))))))))))))(b2b3(f8g7(c1b2(e8g8(e2e3(d7d6(f1e2(e7e5(e1g1(b8d7(b1c3(f8e8))))))))(g2g3(d7d6(f1g2(e7e5(e1g1(b8c6(b1c3(f6h5))))))))))))(g2g3(f8g7(f1g2(e8g8(d2d4(d7d6(e1g1(b8c6(b1c3(e7e5(d4d5(c6e7))))))))(e1g1(c7c5(d2d4(d7d6(d4c5(d6c5(b1c3(b8c6)))))))(c7c6(d2d4(d7d5(c4d5(c6d5(f3e5(c8f5)))))))(d7d6(b1c3(e7e5(d2d4(b8d7(e2e4(e5d4))))))(d2d4(b8c6(b1c3(e7e5(d4e5(c6e5)))))(b8d7(b1c3(e7e5(d4e5(d6e5))(e2e4(e5d4))))))))))))))(d2d4(g7g6(c2c4(f8g7(b1c3(e8g8(e2e4(d7d6(f1e2(e7e5(d4d5(b8d7(c1g5(h7h6))))))))))))))(g2g3(g7g6(b2b3(f8g7(c1b2(e8g8(f1g2(d7d6(d2d4(e7e5(d4e5(f6d7(e1g1(b8c6)))(f6g4(e1g1(b8c6))))))))))))(b2b4(f8g7(c1b2(e8g8(f1g2(d7d6(d2d4(e7e5(d4e5(f6g4(b1d2(b8c6))))))))))))(c2c4(f8g7(d2d4(e8g8(f1g2(d7d6(b1c3(b8d7(e1g1(e7e5(e2e4(c7c6))))))))))))(f1g2(d7d5(d2d4(f8g7(c2c4(d5c4(d1a4(f6d7(e1g1(b8c6(a4c4(e8g8)))))))))))(f8g7(e1g1(e8g8(c2c4(c7c6(d2d4(d7d5(c4d5(c6d5(f3e5(c8f5)))))))(d7d6(b1c3(e7e5(d2d4(b8d7(h2h3(f8e8))))))(d2d4(b8d7(b1c3(e7e5(e2e4(e5d4)))))(c7c5(h2h3(c5d4(f3d4(b8c6))))))))(d2d3(d7d6(e2e4(c7c5(b1c3(b8c6(h2h3(a8b8))))(c2c3(b8c6(f3e1(a8b8))))))))(d2d4(d7d6(c2c4(b8c6(d4d5(c6a5(f3d2(c7c5)))))(b8d7(b1c3(e7e5(e2e4(c7c6)(e5d4))))))))))))))))(g2g3(c7c5(f1g2(b8c6(d2d3(g7g6(e2e4(f8g7(f2f4(e7e6(g1f3(g8e7(e1g1(a8b8(b1d2(d7d6)))))))))))))))(g7g6(f1g2(f8g7(d2d4(c7c5(c2c3(d8b6(g1f3(g8f6(e1g1(e8g8(d4d5(d7d6(c3c4(e7e6)))))))))))(g8f6(e2e4(d7d6(g1e2(e8g8(e1g1(b8d7(c2c4(e7e5(b1c3(c7c6))))))))))))))(g1f3(g8f6(f1g2(f8g7(d2d4(c7c5(d4d5(d7d6(c2c4(b7b5(c4b5(d8a5(f3d2(a5b5)))))))))))))))(g8f6(f1g2(d7d5(g1f3(c8f5(c2c4(e7e6(e1g1(c7c6(d1b3(d8c8(d2d4(f8e7(b1c3(h7h6)))))))))))))(g7g6(e2e4(d7d6(d2d4(f8g7(g1e2(e8g8(e1g1(e7e5(b1c3(c7c6(a2a4(b8d7))))))))))))))))