(b1c3(c7c5(g1f3(g8f6(e2e4(d7d6(g2g3(g7g6(f1g2(f8g7(e1g1(b8c6(d2d3(e8g8(h2h3(a8b8)))))))))))))))(d7d5(d2d4(g8f6(c1g5(h7h6(g5h4(c8f5(f2f3(c7c6(d1d2(b8d7(g1h3(f5h3(g2h3(e7e5))))))))))))))(e2e4(d5d4(c3b1(e7e5(f1c4(f8d6(d2d3(g8f6(g1e2(b8c6(c2c3(d4c3(b1c3(e8g8)))))))))))))))(g7g6(e2e4(c7c5(g1f3(f8g7(d2d4(c5d4(f3d4(b8c6(c1e3(d7d6(f1c4(g8f6(f2f3(e8g8))))))))))))))))(b2b3(e7e5(c1b2(b8c6(c2c4(g8f6(e2e3(d7d5(c4d5(f6d5(a2a3(f8d6(d1c2(e8g8(g1f3(d8e7))))))))))(g1f3(e5e4(f3d4(f8c5(d4c6(d7c6(e2e3(c8f5(d1c2(d8e7))))))))))))))))(c2c4(b7b6(b1c3(c7c5(g1f3(c8b7(d2d4(c5d4(f3d4(g8f6(f2f3(b8c6(e2e4(e7e6(c1e3(f8c5)))))))))))))(c8b7(e2e4(e7e6(g2g3(f7f5(d2d3(f8b4(g1e2(f5e4(f1g2(g8f6(e1g1(e8g8))))))))))))))(d2d4(c8b7(b1c3(e7e6(e2e4(f8b4(f1d3(f7f5(d1h5(g7g6(h5e2(g8f6(f2f3(b8c6))))))))))))(d4d5(e7e6(a2a3(g7g6(e2e4(f8g7(g1f3(b8a6(b1c3(a6c5(d1c2(e6d5))))))))))(e2e4(f8b4(c1d2(d8e7(d2b4(e7b4(d1d2(b4d2(e1d2(g8f6))))))))))))(g1f3(e7e6(g2g3(g8f6(f1g2(f8e7(e1g1(d7d5(f3e5(e8g8(b1c3(b8a6))))))))))))))(g1f3(c8b7(g2g3(c7c5(f1g2(g7g6(d2d4(c5d4(d1d4(g8f6(b1c3(f8g7(e1g1(b8c6))))))))(e1g1(f8g7(b1c3(g8f6(d2d4(c5d4(d1d4(b8c6)))))))))))))))(b8c6(b1c3(g8f6(g2g3(e7e5(f1g2(f8c5(a2a3(a7a5(e2e3(e8g8(g1e2(f8e8(d2d3(d7d6)))))))))))))))(c7c5(b1c3(b8c6(g1f3(g8f6(d2d4(c5d4(f3d4(e7e6(g2g3(d8b6(d4b3(c6e5(e2e4(f8b4))))))))))(g2g3(g7g6(f1g2(f8g7(e1g1(e8g8(d2d4(c5d4(f3d4(c6d4))))))))))))(g2g3(g7g6(f1g2(f8g7(e2e3(e7e6(g1e2(g8e7(e1g1(d7d5(c4d5(e6d5))))))))(g1f3(g8h6(a1b1(h6f5(a2a3(d7d6(d2d3(c8d7)))))))))))))(g7g6(g1f3(f8g7(d2d4(c5d4(f3d4(b8c6(e2e3(g8f6(f1e2(e8g8(e1g1(c6d4))))))))))))))(g1f3(b8c6(b1c3(g8f6(d2d4(c5d4(f3d4(e7e6(g2g3(d8b6(d4b3(c6e5(e2e4(f8b4))))))))))))(d2d4(c5d4(f3d4(g8f6(b1c3(e7e6(d4b5(f8b4(a2a3(b4c3(b5c3(d7d5))))))(e2e3(d7d5(c4d5(e6d5(f1e2(f8d6))))))))))))(g2g3(g7g6(f1g2(f8g7(b1c3(d7d6(e1g1(g8h6(a2a3(e8g8(a1b1(a8b8)))))))))))))(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)))))))))))))(g8f6(b1c3(b8c6(d2d4(c5d4(f3d4(e7e6(e2e3(f8e7(f1e2(e8g8(e1g1(d7d6))))))(g2g3(d8b6(d4b3(c6e5(e2e4(f8b4)))(f8b4(f1g2(b6a6)))))(f8c5(d4b3(c5b4(f1g2(d7d5))))))))))(e2e3(e7e6(d2d4(d7d5(a2a3(a7a6(b2b3(f8e7(c1b2(e8g8))))))))))(g2g3(e7e6(f1g2(d7d5(c4d5(f6d5(e1g1(f8e7(d2d4(e8g8)))))))))))))))(e7e5(b1c3(b8c6(g1f3(f7f5(d2d4(e5e4(c1g5(f8e7(g5e7(d8e7(f3g1(g8f6(e2e3(e8g8))))))))(f3d2(g8f6(e2e3(g7g6(a2a3(f8g7(b2b4(e8g8)))))))))))(g7g6(d2d4(e5d4(f3d4(f8g7(d4c6(b7c6(g2g3(g8e7(f1g2(e8g8)))))))))))(g8f6(a2a3(d7d5(c4d5(f6d5(d1c2(f8e7(e2e3(a7a6(f1c4(d5b6))))))))))(d2d4(e5d4(f3d4(f8b4(c1g5(h7h6(g5h4(b4c3(b2c3(d7d6))))))))))(g2g3(d7d6(f1g2(f8e7(d2d4(e8g8(d4d5(c6b8(e2e4(c8g4))))))))))))(g2g3(f7f5(f1g2(g8f6(e2e3(f8c5(d2d3(f5f4(e3f4(e8g8(g1e2(d8e8)))))))))))(g7g6(f1g2(f8g7(a1b1(g8f6(b2b4(e8g8(b4b5(c6e7(d1b3(d7d6))))))))(d2d3(d7d6(a1b1(f7f5(b2b4(g8f6(b4b5(c6e7))))))(g1f3(g8e7(a1b1(a7a6(b2b4(e8g8))))))))(e2e3(g8e7(a1b1(a7a5(a2a3(d7d6(g1e2(e8g8)))))))(g8h6(g1e2(e8g8(e1g1(d7d6(d2d3(f7f5))))))))(e2e4(d7d6(d2d3(g8e7(g1e2(e8g8(e1g1(c8d7))))))(g1e2(g8e7(d2d3(e8g8(e1g1(a8b8)(c8e6))))))))(g1f3(d7d6(d2d3(g8e7(a1b1(e8g8(b2b4(a7a6)))))))))))))(d7d6(d2d4(e5d4(d1d4(b8c6(d4d2(g7g6(b2b3(f8g7(c1b2(g8f6(g2g3(e8g8))))))))))))(g1f3(c8g4(e2e3(g8f6(f1e2(f8e7(h2h3(g4h5(d2d4(b8d7(e1g1(c7c6))))))))(h2h3(g4f3(d1f3(c7c6(d2d4(f8e7(d4d5(e8g8)))))))))))(f7f5(d2d4(e5e4(f3g5(h7h6(g5h3(g7g5(f2f3(g8f6(f3e4(f5e4))))))))))))(g2g3(b8c6(f1g2(g7g6(a1b1(f8g7(b2b4(g8f6(d2d3(e8g8(g1f3(c8g4))))))))(e2e3(f8g7(g1e2(g8e7(a1b1(c8e6(c3d5(e8g8)))))))))))(g7g6(f1g2(f8g7(d2d3(f7f5(e2e4(b8c6(g1e2(g8h6(c3d5(e8g8)))))))))))))(g8f6(g1f3(b8c6(g2g3(f8b4(f1g2(e8g8(e1g1(b4c3(d2c3(d7d6(c1g5(h7h6))))))))))))(g2g3(c7c6(g1f3(d7d6(f1g2(b8d7(e1g1(f8e7(e2e4(e8g8(d2d4(f8e8)))))))))(e5e4(f3d4(d7d5(c4d5(c6d5(f1g2(b8c6(d4c6(b7c6))))))))))))))(b2b3(b8c6(c1b2(f7f5(e2e3(g8f6(b1c3(g7g6(d2d4(e5d4(e3d4(f8g7(d4d5(f6e4))))))))))))))(g2g3(b8c6(f1g2(g7g6(b1c3(f8g7(a1b1(d7d6(b2b4(f7f5(b4b5(c6e7(e2e3(g8f6))))))))(d2d3(d7d6(a1b1(c8e6(b2b4(d8d7(g1f3(h7h6))))))))(e2e3(d7d6(g1e2(g8e7(e1g1(e8g8(b2b3(c8g4)))))(g8h6(a1b1(c8e6(d2d3(e8g8)))))(h7h5(h2h4(c8g4(d2d3(g8f6)))))))(g8e7(g1e2(e8g8(e1g1(d7d6(d2d4(e5d4)))))))))))))))(e7e6(b1c3(d7d5(d2d4(f8e7(c1f4(g8f6(e2e3(e8g8(g1f3(c7c5(d4c5(b8c6(d1c2(e7c5))))))))))(c4d5(e6d5(c1f4(c7c6(e2e3(c8f5(f1d3(f5d3(d1d3(g8f6))))(g2g4(f5e6(h2h4(b8d7))))))))))(g1f3(g8f6(c1g5(e8g8(e2e3(h7h6(g5h4(b7b6(a1c1(c8b7))(c4d5(f6d5)))))))(h7h6(g5h4(e8g8(e2e3(b7b6(a1c1(c8b7)))))))))))(g8f6(c1g5(f8e7(e2e3(h7h6(g5h4(e8g8(g1f3(b7b6(c4d5(f6d5))))))))))(g1f3(b8d7(c1g5(f8e7(e2e3(e8g8(d1c2(b7b6(c4d5(e6d5)))))))))(f8e7(c1g5(h7h6(g5f6(e7f6(c4d5(e6d5(e2e3(e8g8))))))(g5h4(f6e4(h4e7(d8e7(d1c2(e4c3)))))))))))))(f7f5(g1f3(g8f6(b2b3(b7b6(g2g3(c8b7(f1g2(f8b4(c1b2(e8g8(e1g1(b4c3))))))))))))(g2g3(g8f6(f1g2(f8e7(e2e3(e8g8(g1e2(c7c6(d2d4(d7d5(b2b3(c8d7)))))))))))))(g8f6(d2d4(f8b4(e2e3(c7c5(g1e2(c5d4(e3d4(d7d5(c4c5(f6e4(c1d2(e4d2))))))))))))(g1f3(d7d5(d2d4(f8b4(c1g5(h7h6(g5f6(d8f6(d1a4(b8c6(c4d5(e6d5)))))))))(f8e7(c1g5(h7h6(g5h4(e8g8(e2e3(b7b6(c4d5(f6d5))))))))))))))(d2d4(d7d5(b1c3(c7c5(c4d5(e6d5(g1f3(b8c6(g2g3(g8f6(f1g2(f8e7(e1g1(e8g8)))))))))))(f8e7(g1f3(g8f6(c1f4(c7c5(d4c5(b8a6(e2e3(a6c5(c4d5(e6d5))))))))(c1g5(e8g8(e2e3(h7h6(g5f6(e7f6(d1d2(b7b6)))))))(h7h6(g5h4(e8g8(a1c1(f6e4(h4e7(d8e7)))))))))))(g8f6(c1g5(f8e7(g1f3(e8g8(e2e3(h7h6(g5f6(e7f6(d1b3(c7c6))))))))))(c4d5(e6d5(c1g5(c7c6(d1c2(b8a6(e2e3(a6b4(c2d2(c8f5))))))))))))(g1f3(c7c5(c4d5(e6d5(g2g3(b8c6(f1g2(g8f6(e1g1(f8e7(b1c3(e8g8)))))))))))(c7c6(b1c3(f7f5(c1f4(g8f6(e2e3(f8e7(f1e2(e8g8(e1g1(b7b6)))))))))))(f8e7(b1c3(g8f6(c1g5(e8g8(e2e3(h7h6(g5f6(e7f6(d1d2(b7b6)))))))))))(g8f6(c1g5(f8e7(e2e3(e8g8(c4d5(e6d5(b1c3(b8d7(f1d3(b7b6)))))))))))))(g8f6(b1c3(f8b4(e2e3(b7b6(g1e2(c8a6(a2a3(b4c3(e2c3(d7d5(d1f3(e8g8)))))))))(c7c5(g1e2(b7b6(a2a3(b4a5(a1b1(d8e7(c1d2(e8g8))))))))))))(g1f3(d7d5(b1c3(c7c5(c4d5(f6d5(g2g3(b8c6(f1g2(d5c3(b2c3(c5d4))))))))))(g2g3(d5c4(d1a4(b8d7(a4c4(a7a6(c4c2(b7b6(f1g2(c8b7))))))))))))))(g1f3(d7d5(d2d4(f8e7(b1c3(g8f6(c1g5(h7h6(g5h4(e8g8(e2e3(b7b6(a1c1(c8b7)))))))))))(g8f6(b1c3(f8e7(c1f4(e8g8(e2e3(c7c5(d4c5(b8c6(c4d5(e6d5))))))))(c1g5(e8g8(e2e3(h7h6(g5h4(b7b6(c4d5(f6d5)))))))(h7h6(g5h4(e8g8(a1c1(b7b6(c4d5(e6d5))))(e2e3(b8d7(a1c1(c7c6))))))))))))(e2e3(c7c5(d2d4(b8c6(b1c3(g8f6(a2a3(a7a6(d4c5(f8c5(b2b4(c5a7))))))))))))(g2g3(g7g6(f1g2(g8f6(d1c2(f8g7(e1g1(e8g8(d2d3(b8c6(a2a3(a7a5)))))))))))(g8f6(f1g2(f8e7(e1g1(e8g8(b2b3(c7c5(c1b2(b8c6(e2e3(d8a5)))))))))))))(g8f6(b1c3(b7b6(e2e4(c8b7(d2d3(d7d6(g2g3(g7g6(f1g2(f8g7(e1g1(e8g8)))))))))))(d7d5(d2d4(f8e7(c1f4(e8g8(e2e3(c7c5(d4c5(e7c5(a2a3(d5c4))))))))))))(g2g3(b7b6(f1g2(c8b7(e1g1(f8e7(d2d4(e8g8(b1c3(f6e4(d1c2(e4c3)))))))))))(d7d5(f1g2(f8e7(e1g1(e8g8(d2d4(b8d7(b1d2(b7b6(c4d5(e6d5)))))))))))(f8e7(f1g2(e8g8(d2d4(d7d5(e1g1(b8d7(d1c2(c7c6(b2b3(b7b6))))))))(e1g1(d7d5(d2d4(c7c6(b1c3(b8d7(b2b3(b7b6))))))))))))))(g2g3(d7d5(f1g2(g8f6(g1f3(d5c4(d1a4(b8d7(a4c4(a7a6(c4c2(c7c5(b1c3(d8c7)))))))))(f8e7(e1g1(e8g8(b2b3(b7b6(c1b2(c8b7(e2e3(c7c5)))))(c7c5(c4d5(e6d5(d2d4(b8c6))))))(d2d3(c7c6(d1c2(b8d7(f1d1(b7b5))))))(d2d4(c7c6(b2b3(b7b6(c1b2(c8b7))))))))))))(g1f3(g8f6(f1g2(f8e7(e1g1(e8g8(b2b3(c7c5(c1b2(b8c6(e2e3(c8d7)))))))))))))(f7f5(f1g2(g8f6(g1f3(f8e7(e1g1(e8g8(b2b3(d7d5(c1b2(c8d7(d2d3(d7e8)))))))))))))))(f7f5(d2d4(g8f6(g2g3(g7g6(f1g2(f8g7(b1c3(d7d6(g1f3(e8g8(e1g1(b8c6(d4d5(c6a5)))))))))))))))(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)))))))))))(d7d6(f1g2(e7e5(d2d3(b8c6(e2e4(g8h6(g1e2(e8g8(e1g1(f7f5)))))))))))(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(c7c5(e2e4(b8c6(f2f4(d7d6(d2d3(g7g6(f1e2(f8g7(c1e3(e8g8(g1f3(c8g4))))))))))))(g1f3(b8c6(d2d4(c5d4(f3d4(g7g6(e2e4(f8g7(d4c2(e8g8(f1e2(d7d6)))))))))))))(c7c6(g1f3(d7d5(e2e3(e7e6(d2d4(b8d7(c4d5(e6d5(f1d3(f8d6(e1g1(e8g8)))))))))))))(d7d5(c4d5(f6d5(g2g3(g7g6(f1g2(d5b6(g1f3(f8g7(d2d3(e8g8(c1e3(b8c6)))))))))))))(d7d6(g2g3(e7e5(f1g2(f8e7(e2e3(e8g8(g1e2(c7c6(d2d4(b8d7(e1g1(f8e8)))))))))))))(e7e6(b2b3(f8e7(c1b2(e8g8(g2g3(d7d5(f1g2(c7c5(c4d5(f6d5(g1f3(d5c3))))))))))))(d2d4(c7c5(d4d5(e6d5(c4d5(g7g6(g1f3(f8g7(c1f4(d7d6(h2h3(e8g8)))))))))))(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))))))))))(g1f3(c7c5(e2e3(e8g8(f1d3(b8c6(e1g1(d7d5(d4c5(b4c5))))))))))))(e2e4(c7c5(g2g3(b8c6(f1g2(d7d5(d2d3(d5c4(d3c4(d8d1(c3d1(c6e5))))))))))))(g1f3(c7c5(g2g3(b7b6(f1g2(c8b7(e1g1(f8e7(b2b3(e8g8(c1b2(d7d5)))))))))))(d7d5(d2d4(c7c6(e2e3(b8d7(f1d3(d5c4(d3c4(b7b5(c4e2(c8b7)))))))))(f8b4(c4d5(e6d5(c1g5(h7h6(g5h4(c7c5(e2e3(b8c6))))))))(d1b3(b8c6(c1g5(h7h6(g5f6(d8f6(e2e3(d5c4)))))))))(f8e7(c1g5(h7h6(g5h4(e8g8(e2e3(b7b6(a1c1(c8b7))))))))(c4d5(e6d5(c1g5(c7c6(d1c2(g7g6(e2e3(c8f5)))))))))))(f8b4(d1b3(b8c6(a2a3(b4e7(e2e3(e8g8(d2d4(d7d5(b3c2(d5c4))))))))))(d1c2(c7c5(a2a3(b4c3(c2c3(b8c6(b2b4(b7b6(e2e3(e8g8))))))))))))(g2g3(d7d5(d2d4(c7c5(c4d5(c5d4(d1d4(b8c6(d4d1(e6d5(f1g2(c8e6)))))))))))))(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(f2f3(e8g8(c1e3(e7e5(d4d5(c7c5(g2g4(f6e8))))))))(g1f3(e8g8(f1e2(e7e5(d4d5(b8d7(c1g5(h7h6))(e1g1(d7c5))))))))))(g2g3(e8g8(f1g2(c7c5(g1f3(c5d4(f3d4(b8c6(e1g1(f6g4))))))))))))(e2e4(d7d6(d2d4(f8g7(c1g5(c7c5(d4d5(h7h6(g5h4(a7a6(f1d3(b8d7))))))))(f1e2(e8g8(c1g5(c7c5(d4d5(d8a5(g5d2(a7a6)))))))))))(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))))))))(e2e3(d7d6(g1e2(e7e5(e1g1(f8e8(d2d4(e5e4)))))))(e7e6(d1b3(c7c6(g1e2(d7d5(e1g1(b8d7))))))))(e2e4(c7c5(g1e2(b8c6(d2d3(a8b8(h2h3(a7a6)))))))(d7d6(g1e2(c7c5(e1g1(b8c6(h2h3(a8b8))))))))(g1f3(d7d6(d2d4(b8c6(e1g1(a7a6(b2b3(a8b8))))))(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(e7e6(b1c3(d7d5(e2e3(f8e7(b2b3(e8g8(c1b2(d5c4(b3c4(c7c5(f1e2(b8c6))))))))))))(b2b3(d7d5(c1b2(c7c5(e2e3(b8c6(a2a3(f8e7(c4d5(e6d5(d2d4(c5d4))))))))))))(d2d4(d7d5(e2e3(f8e7(b1d2(e8g8(f1d3(c7c5(d4c5(b8a6(e1g1(a6c5))))))))))))(g2g3(c7c5(f1g2(b8c6(e1g1(c6d4(f3d4(c5d4(e2e3(d8c7(d2d3(d4e3)))))))))))))(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(b7b5(c1f4(g8f6(g1f3(c8b7(e2e3(a7a6(h2h3(e7e6(f1d3(d7d6(e1g1(b8d7(b1d2(c7c5))))))))))))))(e2e4(c8b7(b1d2(a7a6(g1f3(e7e6(f1d3(d7d6(e1g1(b8d7(c2c3(g8f6(f1e1(f8e7))))))))))))(f1b5(b7e4(g1f3(g8f6(e1g1(e7e6(f1e1(f8e7(c1g5(e4b7(b5d3(e8g8))))))))))))(f1d3(e7e6(g1f3(a7a6(e1g1(d7d6(c2c3(b8d7(a2a4(g8f6(f1e1(f8e7))))))))))))(f2f3(a7a6(c1e3(e7e6(b1d2(g8f6(c2c3(f8e7(f1d3(d7d6(a2a4(c7c6))))))))))(c2c4(b5c4(f1c4(e7e6(d1b3(d8c8(d4d5(g8f6(c1e3(a6a5)))))))))))))))(b7b6(c2c4(c8b7(b1c3(e7e6(a2a3(g7g6(d4d5(f8g7(e2e4(d7d6(g1f3(b8d7(c1g5(g7c3))))))))))))))(e2e4(c8b7(b1c3(e7e6(f1d3(g7g6(g1e2(f8g7(h2h4(b8c6(c1g5(g8e7(h4h5(c6d4))))))))))))(f1d3(e7e6(g1f3(g7g6(c1g5(d8c8(b1c3(f8g7(d1d2(d7d6(h2h4(h7h6)))))))))))))))(d7d5(b1c3(c8f5(c1f4(e7e6(d1d2(g8f6(e2e3(f8b4(f2f3(c7c5(f1d3(f5d3(d2d3(b8c6))))))))))))))(c2c4(b8c6(b1c3(d5c4(g1f3(g8f6(d1a4(e7e6(a4c4(f8b4(a2a3(b4a5(e2e3(e8g8)))))))))))(g8f6(c1g5(f6e4(c4d5(e4c3(b2c3(d8d5(g1f3(c8g4(d1b3(e8c8)))))))))))))(c7c6(b1c3(g8f6(e2e3(c8f5(c4d5(c6d5(d1b3(f5c8(g1f3(e7e6(f1d3(b8c6))))))))))(g1f3(c8f5(c4d5(f6d5(e2e3(e7e6(f1d3(f8b4(d1c2(f5d3))))))))))))(c4d5(c6d5(b1c3(b8c6(g1f3(g8f6(d1b3(e7e6(c1g5(h7h6(g5h4(d8b6)))))))))(g8f6(g1f3(b8c6(c1f4(e7e6(e2e3(f8d6(f4d6(d8d6))))))))))))(g1f3(g8f6(b1c3(d5c4(a2a4(c8f5(e2e3(e7e6(f1c4(f8b4(e1g1(e8g8))))))(f3e5(b8d7(e5c4(d8c7(d1b3(e7e5))(g2g3(e7e5))))))))))(c4d5(c6d5(b1c3(b8c6(c1f4(e7e6(e2e3(f8d6(f4d6(d8d6)))))))))))))(d5c4(b1c3(e7e5(d4d5(a7a6(a2a4(g8f6(c1g5(b8d7(e2e4(h7h6(g5f6(d7f6))))))))))))(e2e3(e7e5(d4d5(c7c6(f1c4(b7b5(c4b3(c6c5(a2a4(c5c4(b3c2(c8b7))))))))))))(e2e4(g8f6(e4e5(f6d5(f1c4(b8c6(b1c3(d5b6(c4b5(c8d7(g1f3(e7e6))))))))))))(g1f3(e7e6(e2e3(g8f6(f1c4(a7a6(e1g1(c7c5(d4c5(d8d1(f1d1(f8c5)))))))))))(g8f6(b1c3(c7c6(a2a4(c8f5(f3e5(b8d7(e5c4(d8c7(g2g3(e7e5))))))))))(d1a4(c7c6(a4c4(c8f5(b1c3(e7e6(g2g3(b8d7(f1g2(f8d6))))))))))(e2e3(c8g4(f1c4(e7e6(b1c3(b8d7(e1g1(f8d6(h2h3(g4h5))))(h2h3(g4h5(e1g1(f8e7))))))(d1b3(g4f3(g2f3(b7b6(b1c3(f8e7))))))(e1g1(a7a6(d1e2(b8c6(f1d1(f8d6))))))))(h2h3(g4h5(b1c3(e7e6(f1c4(b8d7(e1g1(f8e7)))))))))(e7e6(f1c4(c7c5(b1c3(a7a6(d4c5(d8d1(e1d1(f8c5))))(e1g1(b7b5(c4e2(c8b7))))))(d1e2(c5d4(e3d4(f8e7(e1g1(e8g8))))))(e1g1(a7a6(a2a4(b8c6(b1c3(f8e7))(d1e2(c5d4))))(d1e2(b8c6(f1d1(d8c7))))(d4c5(d8d1(f1d1(f8c5)))))))))(g7g6(f1c4(f8g7(b1c3(e8g8(e1g1(f6d7(c3e4(b8c6)))))))))))))(e7e5(d4e5(d5d4(g1f3(b8c6(a2a3(c8g4(b1d2(d8e7(g2g3(c6e5(f3e5(e7e5)))))))))))))(e7e6(b1c3(c7c5(c4d5(e6d5(g1f3(b8c6(c1g5(f8e7(g5e7(g8e7(d4c5(d8a5))))))(g2g3(c8e6(f1g2(f8e7(e1g1(g8f6)))(g8f6(c1g5(h7h6)))))(g8f6(f1g2(f8e7(e1g1(c8e6)(e8g8))))))))))(e2e3(g8f6(g1f3(b8c6(c4d5(e6d5(f1e2(f8d6(d4c5(d6c5))))))(f1d3(d5c4(d3c4(f8e7(e1g1(e8g8)))))))))))(c7c6(e2e3(f7f5(f2f4(g8f6(g1f3(f8e7(f1e2(e8g8(e1g1(f6e4))))))))))(e2e4(d5e4(c3e4(f8b4(e4c3(c6c5(g1f3(g8f6(a2a3(b4c3)))))))))))(f8e7(c4d5(e6d5(c1f4(c7c6(d1c2(g7g6(e1c1(g8f6(f2f3(b8a6))))))(e2e3(c8f5(g2g4(f5e6(h2h3(e7d6)(g8f6)))))))(g8f6(e2e3(e8g8(g1f3(c7c5(d4c5(b8c6))))))))(g1f3(c7c6(c1f4(c8f5(e2e3(g8f6(f1d3(f5d3))))))))))(g1f3(g8f6(c1f4(e8g8(d1c2(b8d7(e2e3(c7c5(d4c5(d7c5))))))(e2e3(b8d7(c4d5(f6d5(c3d5(e6d5)))))(c7c5(d4c5(e7c5(d1c2(b8c6))))))))(c1g5(e8g8(a1c1(h7h6(g5h4(b7b6(c4d5(f6d5))(e2e3(c8b7))))))(e2e3(h7h6(g5f6(e7f6(a1c1(c7c6))))(g5h4(b7b6(a1c1(c8b7))(c4d5(f6d5))(f1d3(c8b7)))))))(h7h6(g5f6(e7f6(e2e3(c7c6(a1c1(e8g8)))(e8g8(a1c1(c7c6))(d1d2(c7c6))))))(g5h4(e8g8(e2e3(b7b6(a1c1(c8b7))(c4d5(f6d5))(f1d3(c8b7))(f1e2(c8b7))))))))(e2e3(e8g8(a2a3(b7b6(c4d5(e6d5(f1d3(c7c5)))))))))))(g8f6(c1g5(b8d7(e2e3(c7c6(a2a3(f8e7(g1f3(e8g8(f1d3(d5c4)))))))(f8e7(g1f3(e8g8(a1c1(a7a6(c4d5(e6d5)))))))))(f8e7(c4d5(e6d5(e2e3(b8d7(f1d3(d7f8(g1f3(f8e6))))))))(e2e3(b8d7(a1c1(e8g8(g1f3(a7a6(c4c5(c7c6)))))))(e8g8(a1c1(h7h6(g5h4(b7b6(c4d5(f6d5))))))(g1f3(b8d7(a1c1(a7a6(c4d5(e6d5)))(c7c6(f1d3(d5c4))))(d1c2(c7c5(a1d1(d8a5)))(c7c6(f1d3(d5c4)))))(h7h6(g5h4(b7b6(c4d5(f6d5))(f1d3(c8b7)))))))(f6e4(g5e7(d8e7(c4d5(e4c3(b2c3(e6d5))))(d1b3(e4c3(b2c3(d5c4))))(f1d3(e4c3(b2c3(b8d7)(d5c4)))))))(h7h6(g5h4(f6e4(h4e7(d8e7(c3e4(d5e4))))))))(g1f3(b8d7(e2e3(f6e4(g5e7(d8e7(c4d5(e4c3)))))))(h7h6(g5h4(e8g8(a1c1(b7b6(c4d5(f6d5))))))))))(c4d5(e6d5(c1g5(c7c6(d1c2(b8a6(e2e3(a6c7(f1d3(f8e7))))))(e2e3(c8f5(d1f3(f5g6(g5f6(d8f6)))))))(f8e7(e2e3(e8g8(f1d3(b8d7(d1c2(f8e8))(g1e2(f8e8))(g1f3(f8e8))))))))))(g1f3(b8d7(c1g5(f8e7(e2e3(e8g8(d1c2(c7c5(c4d5(f6d5))))))))(c4d5(e6d5(c1f4(c7c6(h2h3(f8b4(d1b3(d8e7))))))))(e2e3(f8e7(f1d3(e8g8(e1g1(d5c4(d3c4(c7c5)))))))))(c7c5(c4d5(e6d5(c1g5(c8e6(e2e3(b8c6(f1d3(f8e7)))))))))(f8e7(c1f4(e8g8(e2e3(b8d7(c4d5(f6d5(f4g3(c7c5))))(f1d3(c7c5(c4d5(e6d5))))))))(c1g5(e8g8(e2e3(b8d7(f1d3(d5c4(d3c4(b7b6)))))(h7h6(g5f6(e7f6(d1d2(b7b6))))(g5h4(b7b6(a1c1(c8b7)))))))(h7h6(g5h4(e8g8(e2e3(b7b6(f1d3(d5c4)))(f6e4(h4e7(d8e7))))))))(c4d5(e6d5(c1f4(c7c6(d1c2(g7g6(e2e3(c8f5))))))))))))(g1f3(b8d7(b1c3(g8f6(c1g5(f8e7(e2e3(e8g8(a1c1(c7c6(d1c2(a7a6)))))))))))(c7c5(c4d5(e6d5(g2g3(b8c6(f1g2(g8f6(e1g1(f8e7(d4c5(e7c5)))))))))))(f8e7(b1c3(g8f6(c1g5(h7h6(g5f6(e7f6(d1b3(c7c6(a1d1(b8d7)))))))))))(g8f6(b1c3(f8e7(c1f4(e8g8(e2e3(b8d7(d1c2(c7c5(c4d5(f6d5)))))(c7c5(d4c5(e7c5(a2a3(b8c6))))))))(c1g5(e8g8(e2e3(b8d7(d1c2(h7h6(g5h4(c7c5)))))(h7h6(g5h4(b7b6(f1d3(c8b7)))))))(h7h6(g5h4(e8g8(a1c1(b7b6(c4d5(f6d5))))(e2e3(b7b6(f1e2(c8b7))(h4f6(e7f6))))))))))(c4d5(e6d5(c1g5(c7c6(b1c3(c8f5(d1b3(d8b6(g5f6(g7f6))))))))))(e2e3(c7c5(d4c5(f8c5(a2a3(e8g8(b2b4(c5e7(c1b2(d5c4))))))))))))))(e2e3(c7c5(f1d3(c5c4(d3e2(b8c6(f2f4(c8f5(g1f3(e7e6(e1g1(f8d6(c2c3(h7h6)))))))))))))(g8f6(f1d3(c7c5(c2c3(b8c6(f2f4(e7e6(g1f3(f6e4(e1g1(f7f5(f3e5(c6e5)))))))))(d8c7(f2f4(c8g4(g1f3(e7e6(d1a4(b8d7(f3e5(c5c4)))))))))))(e7e6(b1d2(c7c5(c2c3(b8c6(f2f4(d8c7(d2f3(f6e4(f3e5(c5d4))))))))))))))(g1f3(b8c6(c1f4(c8g4(e2e3(e7e6(f1e2(g8f6(f3e5(c6e5(f4e5(g4e2(d1e2(c7c6))))))))))))(c2c4(c8g4(b1c3(e7e6(c4d5(e6d5(c1g5(f7f6(g5f4(f8b4(e2e3(g8e7))))))))))(c4d5(g4f3(g2f3(d8d5(e2e3(e7e6(b1c3(d5d7(f1g2(f8b4))))))))))(e2e3(e7e6(b1c3(f8b4(c4d5(e6d5(f1e2(g8f6(e1g1(e8g8)))))))))))))(c7c5(c2c3(c5d4(c3d4(b8c6(b1c3(g8f6(f3e5(e7e6(c1g5(d8b6(e5c6(b7c6))))))))))))(c2c4(e7e6(c4d5(e6d5(b1c3(b8c6(g2g3(c8e6(f1g2(f8e7(e1g1(a8c8)))))))))))))(e7e6(c2c4(f8e7(b1c3(g8f6(c1g5(h7h6(g5h4(e8g8(e2e3(b7b6(f1d3(c8b7)))))))))))(g8f6(b1c3(f8e7(c1f4(e8g8(e2e3(b8d7(c4d5(e6d5(f1d3(c7c6))))))))))))(g2g3(g8f6(f1g2(f8e7(c2c4(e8g8(e1g1(c7c6(b1c3(b8d7(b2b3(b7b6)))))))))))))(g8f6(c1f4(c7c5(c2c3(d8b6(d1c2(c5d4(c3d4(b8c6(b1c3(c8d7(e2e3(a8c8))))))))))))(c1g5(e7e6(e2e3(c7c5(c2c3(f8e7(b1d2(b8d7(f1d3(e8g8(e1g1(d8c7))))))))))))(c2c4(c7c6(b1c3(e7e6(c1g5(b8d7(c4d5(e6d5(e2e3(f8e7(f1d3(e8g8))))))))))(c4d5(c6d5(b1c3(b8c6(d1b3(c6a5(b3c2(c8d7(f3e5(a8c8))))))))))(e2e3(c8f5(b1c3(e7e6(f1d3(f5d3(d1d3(b8d7(e1g1(f8d6))))))))(c4d5(c6d5(d1b3(d8c7(b1a3(b8c6(c1d2(e7e6)))))))))(e7e6(f1d3(b8d7(e1g1(f8d6(b1c3(d5c4(d3c4(e8g8)))))))))))(d5c4(e2e3(a7a6(f1c4(b7b5(c4d3(c8b7(e1g1(b8d7(d1e2(c7c5)))))))))(c8g4(f1c4(e7e6(b1d2(b8d7(e1g1(c7c5(c4e2(f8e7)))(f8e7(b2b3(c7c5))))))(d1b3(g4f3(g2f3(d8c8(b1c3(b8d7)))))))))(e7e6(f1c4(c7c5(e1g1(a7a6(d4c5(d8d1(f1d1(f8c5)))))))))))(e7e6(b1c3(b8d7(c1g5(c7c6(e2e3(d8a5(f3d2(d5c4(g5f6(d7f6)))))))(f8b4(e2e3(c7c5(f1d3(d8a5(d1b3(f6e4)))))))(f8e7(a1c1(e8g8(e2e3(b7b6(c4d5(e6d5))))))(e2e3(e8g8(a1c1(c7c6(d1c2(d5c4)))(f8e8(d1c2(c7c6))))))))(e2e3(f8d6(c4c5(d6e7(b2b4(c7c6(a2a3(d8c7)))))))))(d5c4(e2e3(a7a6(f1c4(b7b5(c4d3(c8b7(a2a4(b5b4)))))))))(f8b4(e2e3(e8g8(f1d3(b8c6(a2a3(b4c3(b2c3(c6a5)))))))))(f8e7(c1g5(h7h6(g5f6(e7f6(d1b3(c7c6(a1d1(e8g8))))))(g5h4(e8g8(e2e3(b7b6(a1c1(c8b7))))))))(c4d5(e6d5(c1g5(c7c6(d1c2(g7g6(e2e3(c8f5))))))))))(c1g5(f8e7(b1c3(h7h6(g5h4(e8g8(e2e3(b7b6(c4d5(f6d5))))))))))(g2g3(f8e7(f1g2(e8g8(e1g1(b8d7(b2b3(c7c6(c1a3(e7a3))))(d1c2(c7c6(b2b3(b7b6))))))))))))(g2g3(c7c6(f1g2(c8f5(e1g1(e7e6(c2c3(h7h6(d1b3(d8b6(f3e5(b8d7)))))))))))))))(e7e6(c2c4(f7f5(g1f3(g8f6(g2g3(d7d5(f1g2(f8e7(e1g1(e8g8(b2b3(b8c6(c1b2(c8d7))))))))))))))(e2e4(d7d5(b1c3(f8b4(g1e2(d5e4(a2a3(b4e7(c3e4(g8f6(e2g3(e8g8(f1e2(b8d7))))))))))))(e4d5(e6d5(g1f3(c8g4(h2h3(g4h5(f1e2(b8c6(e1g1(f8d6(b1c3(g8e7))))))))))))))(g1f3(b7b6(g2g3(c8b7(f1g2(f7f5(e1g1(g8f6(c2c4(c7c6(d4d5(c6d5(f3h4(f8e7)))))))))))))(g8f6(e2e3(c7c5(b1d2(d7d5(a2a3(b8d7(d4c5(f8c5(b2b4(c5e7(c1b2(e8g8)))))))))))))))(f7f5(c2c4(e7e6(b1c3(g8f6(c1f4(f8b4(e2e3(e8g8(f1e2(b8c6(g1f3(b7b6(h2h3(c8b7)))))))))))))(g8f6(b1c3(e7e6(g2g3(f8b4(f1g2(e8g8(g1f3(b4c3(b2c3(d7d6(e1g1(b8c6))))))))))))(g1f3(e7e6(g2g3(f8e7(f1g2(e8g8(e1g1(d7d5(b1c3(c7c6(c1g5(b8d7)))))))))))(g7g6(g2g3(f8g7(f1g2(e8g8(e1g1(d7d6(b2b4(e7e5(d4e5(d6e5))))))))))))))(g1f3(g8f6(g2g3(e7e6(f1g2(f8e7(e1g1(e8g8(c2c4(d7d5(b1c3(c7c6(c1g5(b8d7))))))))))))))(g2g3(g8f6(f1g2(e7e6(c2c4(d7d5(b1c3(c7c6(g1h3(f8d6(e1g1(e8g8(c1f4(d8e7))))))))))(g1f3(f8e7(e1g1(e8g8(c2c4(d7d6(b1c3(d8e8(f1e1(e8h5)))))))))))))))(g7g6(c2c4(f8g7(b1c3(d7d6(e2e4(b8d7(g1f3(e7e6(f1e2(b7b6(c1e3(c8b7(e1g1(g8f6)))))))))))(g8f6(e2e4(d7d6(f1e2(e8g8(g1f3(e7e5(e1g1(b8c6(d4d5(c6e7))))))))))))))(e2e4(f8g7(g1f3(d7d6(f1e2(e7e6(c2c3(b8d7(e1g1(g8e7(b1d2(b7b6(a2a4(a7a6)))))))))))))))(g8f6(b1c3(d7d5(c1g5(c8f5(e2e3(e7e6(f1d3(f5d3(d1d3(c7c5(g5f6(g7f6(d4c5(b8d7))))))))))))))(b1d2(d7d5(e2e3(c8g4(f2f3(g4f5(c2c4(c7c6(d1b3(d8c7(g1e2(e7e6(e2c3(f5g6))))))))))))))(c1g5(c7c5(c2c3(d8b6(d1b3(c5d4(b3b6(a7b6(g5f6(g7f6(c3d4(b8c6(g1f3(c6b4)))))))))))))(d7d5(e2e3(c8g4(f2f3(g4f5(f1d3(f5g6(b1c3(b8d7(e3e4(d5e4(f3e4(e7e5))))))))))))))(c2c4(b7b6(b1c3(c8b7(f2f3(d7d5(c4d5(f6d5(c3d5(d8d5(e2e4(d5d7(f1c4(g7g6)))))))))))))(c7c5(d4d5(b7b5(c4b5(a7a6(b5a6(g7g6(b1c3(c8a6(e2e4(a6f1(e1f1(d7d6)))))))))))(d7d6(b1c3(g7g6(e2e4(f8g7(c1g5(h7h6(g5h4(g6g5(h4g3(d8a5))))))(f1d3(e8g8(g1e2(b8a6(h2h3(a6c7)))(e7e6(e1g1(e6d5))))(g1f3(c8g4(h2h3(g4f3))))))))(g1f3(f8g7(e2e4(e8g8(c1f4(a7a6(a2a4(d8a5)))))))))))(e7e6(b1c3(e6d5(c3d5(f6d5(d1d5(b8c6(g1f3(d7d6(f3g5(d8e7))))))))(c4d5(d7d6(e2e4(g7g6(c1f4(a7a6(a2a4(f8g7))))(g1f3(f8g7(f1e2(e8g8))))))(g1f3(g7g6(c1f4(f8g7(h2h3(e8g8))))(e2e4(f8g7(c1g5(h7h6))))(f3d2(f8g7(d2c4(e8g8))(g2g3(e8g8))))(g2g3(f8g7(f1g2(e8g8)))))))(g7g6(e2e4(d7d6(f1e2(f8g7(f2f4(e8g8)))))))))))(g7g6(b1c3(d7d6(e2e4(f8g7(f1e2(e8g8(c1g5(b7b5(c4b5(a7a6)))))))))(f8g7(e2e4(d7d6(f1e2(e8g8(g1f3(e7e6(e1g1(e6d5))))))(g1f3(e8g8(f1e2(e7e5(e1g1(b8d7)))(e7e6(e1g1(e6d5)))))))(e8g8(g1f3(d7d6(h2h3(e7e6(f1d3(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(e2e3(c5d4(f3d4(b8c6(f1e2(d7d6(e1g1(f8e7(b1c3(e8g8)))))))))(d7d5(b1c3(b8c6(a2a3(c5d4(e3d4(f8e7(f1d3(d5c4)))))))))))))(c7c6(b1c3(d7d5(g1f3(d5c4(a2a4(c8f5(f3e5(b8d7(e5c4(d8c7(g2g3(e7e5))))))))))))(g1f3(d7d5(b1c3(d5c4(a2a4(c8f5(e2e3(e7e6(f1c4(f8b4(e1g1(e8g8))))))(f3e5(b8d7(e5c4(d8c7(g2g3(e7e5)))))))))))))(d7d6(b1c3(b8d7(c1g5(e7e5(e2e3(c7c6(f1d3(d8a5(d1d2(d6d5(d4e5(d5c4))))))))))(e2e4(e7e5(f2f4(e5d4(d1d4(d7c5(c1e3(d8e7(c3d5(f6d5))))))))(g1f3(c7c6(f1e2(f8e7(e1g1(e8g8(b2b3(f8e8)))))))(f8e7(f1e2(e8g8(e1g1(c7c6(c1e3(f8e8))))))))))(g1f3(c7c6(e2e4(e7e5(f1e2(f8e7(e1g1(e8g8(f1e1(a7a6)))))))))(e7e5(g2g3(f8e7(f1g2(e8g8(e1g1(c7c6(d1c2(f8e8)))))))))))(c8f5(g2g3(c7c6(f1g2(e7e5(d4e5(d6e5(d1d8(e8d8(g1f3(b8d7)))))))))))(g7g6(e2e4(f8g7(f2f3(b8c6(c1e3(a7a6(d1d2(e8g8(e1c1(c8d7))))))(d4d5(c6e5(f3f4(e5d7(g1f3(e8g8))))))(g1e2(e8g8(c1e3(a7a6(d1d2(a8b8))))))))(g1e2(c7c6(g2g3(e8g8(f1g2(e7e5(e1g1(b8d7))))))))))(g2g3(f8g7(f1g2(e8g8(g1f3(b8c6(e2e4(c8g4(c1e3(e7e5))))))))))))(g1f3(g7g6(b1c3(f8g7(e2e4(e8g8(f1e2(c8g4(e1g1(b8c6(d4d5(g4f3)))))(e7e5(e1g1(b8c6(d4d5(c6e7)))))))))))))(e7e6(b1c3(c7c5(d4d5(e6d5(c4d5(d7d6(g1f3(g7g6(e2e4(f8g7(f1e2(e8g8))))(f3d2(f8g7(d2c4(e8g8)))))))))))(d7d5(c1g5(b8d7(c4d5(e6d5(e2e3(f8e7(f1d3(e8g8(d1c2(c7c5))))))))(e2e3(c7c6(a2a3(f8e7(g1f3(h7h6(g5h4(f6e4))))))(c4d5(e6d5(f1d3(f8d6(g1e2(d7f8)))(f8e7(g1e2(e8g8))))))(g1f3(d8a5(c4d5(f6d5(d1b3(h7h6)))))))(f8e7(g1f3(e8g8(a1c1(c7c6(d1c2(a7a6))(f1d3(d5c4))))(d1c2(c7c5(c4d5(f6d5)))))))))(c7c6(e2e3(b8d7(g1f3(f8e7(d1c2(a7a6(a2a3(h7h6)))))))))(f8e7(c4d5(e6d5(e2e3(e8g8(f1d3(b8d7(d1c2(f8e8))))))))(e2e3(e8g8(c4d5(f6d5(g5e7(d8e7(g1f3(d5c3))))))(g1f3(b8d7(a1c1(c7c6(a2a3(a7a6))(d1c2(a7a6)(d5c4))(f1d3(d5c4)(h7h6)))))(h7h6(g5h4(b7b6(c4d5(e6d5)(f6d5))(f1d3(c8b7)))))))(h7h6(g5h4(e8g8(a1c1(b7b6(c4d5(f6d5))))(g1f3(b7b6(f1d3(c8b7))))))))))(c4d5(e6d5(c1g5(c7c6(e2e3(f8e7(f1d3(b8d7(g1e2(f6h5)))))))(c8e6(e2e3(c7c5(f1b5(b8c6(g5f6(g7f6)))))))(f8b4(e2e3(h7h6(g5h4(c7c5(f1d3(b8c6)))))))(f8e7(d1c2(e8g8(e2e3(b8d7(f1d3(f8e8))))))(e2e3(b8d7(f1d3(c7c6(d1c2(d7f8)))))(e8g8(d1c2(b8d7(g1f3(c7c6))))(f1d3(b8d7(d1c2(f8e8))(g1e2(f8e8)))(c7c6(d1c2(b8d7)))))))))(f6d5(e2e4(d5c3(b2c3(c7c5(g1f3(c5d4(c3d4(f8b4))))))))(g1f3(c7c5(e2e3(b8c6(f1c4(c5d4(e3d4(f8e7)))(d5c3(b2c3(f8e7))))(f1d3(f8e7(e1g1(e8g8))))))))))(g1f3(b8d7(c1g5(f8e7(e2e3(e8g8(a1c1(c7c6(f1d3(h7h6)))))))))(c7c6(c1g5(h7h6(g5f6(d8f6(d1b3(b8d7(e2e4(d5e4)))))))))(f8e7(c1g5(e8g8(e2e3(h7h6(g5f6(e7f6(a1c1(c7c6)))))))(h7h6(g5f6(e7f6(e2e3(e8g8(a1c1(c7c6))))))(g5h4(b7b6(e2e3(e8g8(a1c1(c8b7)))))))))))(f8b4(a2a3(b4c3(b2c3(b7b6(d1c2(c8b7(f2f3(d7d6(e2e4(e6e5))))))(f2f3(d7d5(c1g5(h7h6(g5h4(c8a6)))))))(c7c5(e2e3(b8c6(f1d3(d7d6(g1e2(b7b6)))))(e8g8(f1d3(b8c6(g1e2(b7b6))))))(f2f3(b8c6(e2e4(d7d6(g1e2(b7b6)))))))(d7d6(f2f3(e6e5(e2e4(b8c6(c1e3(b7b6))))))))))(c1g5(h7h6(g5h4(c7c5(d4d5(b4c3(b2c3(d7d6(e2e3(e6e5))(f2f3(e6e5))))))))))(d1b3(c7c5(d4c5(b8c6(g1f3(d8a5(c1d2(a5c5(a2a3(b4c3)))))(e8g8(c1g5(h7h6(g5h4(g7g5))))))))))(d1c2(c7c5(d4c5(b8a6(g1f3(a6c5(c1d2(e8g8(e2e3(b7b6)))))))(b8c6(g1f3(b4c5(c1f4(e8g8(e2e3(d7d5))))(c1g5(d7d5(a1d1(d5d4)))))))))(d7d5(a2a3(b4c3(c2c3(d5c4(c3c4(e8g8(c1g5(c7c6)))))(f6e4(c3c2(c7c5(d4c5(b8c6)))))))(b4e7(c4d5(e6d5(c1g5(h7h6(g5h4(c7c5))))))))(c4d5(e6d5(c1g5(e8g8(e2e3(h7h6(g5f4(c7c5)))))(h7h6(g5f6(d8f6(a2a3(b4c3))))(g5h4(b8d7(e2e3(e8g8)))(c7c5(d4c5(b8c6))))))))(e2e3(c7c5(d4c5(b8c6(a2a3(d8a5(c1d2(d5c4))))))))(g1f3(c7c5(c4d5(d8d5(a2a3(b4c3(b2c3(b8c6)))))))))(e8g8(a2a3(b4c3(c2c3(d7d6(g2g3(d8e7(f1g2(e6e5))))))))(g1f3(c7c5(d4c5(b8a6(e2e3(a6c5(c1d2(b7b6))))))))))(e2e3(b7b6(d1f3(d7d5(f1d3(c8a6(c1d2(c7c5(d4c5(b8d7))))))))(f1d3(c8b7(g1f3(e8g8(e1g1(b4c3(b2c3(b7e4)))(c7c5(c3a4(c5d4)))))(f6e4(d1c2(f7f5(e1g1(b4c3))))(e1g1(b4c3(b2c3(e4c3))))))))(g1e2(c8a6(a2a3(b4c3(e2c3(d7d5(b2b3(b8c6)(e8g8))))))(e2g3(b4c3(b2c3(d7d5(c1a3(d5c4))(d1f3(e8g8)))))(e8g8(e3e4(b8c6(f1d3(d7d5)))))))(c8b7(a2a3(b4c3(e2c3(d7d5(b2b4(e8g8)))(e8g8(d4d5(d8e7)))))))(e8g8(a2a3(b4c3(e2c3(d7d5(b2b4(c8b7))(c4d5(e6d5))))))))(g1f3(c8b7(f1d3(e8g8(d1c2(d7d5(e1g1(d5c4)))))))))(c7c5(f1d3(b7b6(g1e2(c8b7(e1g1(d7d5(c4d5(e6d5)))))))(b8c6(g1f3(d7d5(e1g1(e8g8(a2a3(b4c3)))))(e8g8(d4d5(e6d5(c4d5(f6d5))))(e1g1(d7d5(a2a3(b4c3)))))))(d7d5(g1f3(b8c6(e1g1(e8g8(a2a3(b4c3)))))(e8g8(e1g1(b7b6(c4d5(e6d5)))(b8c6(a2a3(b4c3)))(d5c4(d3c4(b7b6)))))))(e8g8(g1f3(d7d5(e1g1(d5c4(d3c4(b7b6))))))))(g1e2(b7b6(a2a3(b4a5(a1b1(b8a6(c1d2(e8g8))))(c1d2(b8c6(e2g3(c5d4)))))))(c5d4(e3d4(d7d5(c4c5(b8c6(a2a3(b4a5))))))))(g1f3(e8g8(f1e2(b7b6(e1g1(c8b7(c3a4(c5d4)))))))))(d7d5(a2a3(b4c3(b2c3(c7c5(c4d5(e6d5(f1d3(e8g8))))(f1d3(d5c4(d3c4(d8c7)))))(e8g8(c4d5(e6d5(f1d3(c7c5)))))))(b4d6(g1f3(e8g8(c4c5(d6e7(b2b4(f6e4))))))))(g1e2(d5c4(a2a3(b4a5(d1a4(c7c6(a4c4(e8g8)))))(b4d6(e3e4(e6e5(f2f4(e5d4)))))))))(e8g8(f1d3(b7b6(g1e2(d7d5(c4d5(e6d5(e1g1(c8b7))))(e1g1(d5c4(d3c4(c8b7))))))(g1f3(c8b7(c1d2(b4c3(d2c3(f6e4))))(e1g1(c7c5(c3a4(c5d4)))))))(c7c5(g1e2(b8c6(a2a3(b4c3(b2c3(b7b6))))))(g1f3(b7b6(e1g1(c8b7(c1d2(d7d6))(c3a4(c5d4)))))(d7d5(e1g1(b8c6(a2a3(b4c3)))(c5d4(e3d4(d5c4)))))))(d7d5(a2a3(b4e7(g1f3(b7b6(e1g1(c8b7))))))(g1f3(b8c6(e1g1(d5c4(d3c4(b4d6)))))(c7c5(e1g1(b8c6(a2a3(b4c3))))))))(g1e2(d7d5(a2a3(b4d6(c4c5(d6e7(b2b4(b7b6)))))(b4e7(c4d5(e6d5(g2g3(b8d7)))(f6d5(d1c2(c7c6))))))))))(f2f3(c7c5(a2a3(b4a5(d4d5(e8g8(e2e4(d7d6(c1d2(f8e8)))))))))(d7d5(a2a3(b4c3(b2c3(e8g8(c4d5(e6d5(e2e3(f6h5)))))))(b4e7(e2e4(c7c5(c4d5(e6d5(d4c5(e7c5))(e4e5(f6d7))))))))))(g1f3(b7b6(d1b3(a7a5(c1g5(c8b7(e2e3(h7h6(g5f6(d8f6))))))(e2e3(c8b7(a2a3(b4c3(b3c3(f6e4))))))))(e2e3(c8b7(f1d3(e8g8(e1g1(c7c5(c3a4(c5d4)))))(f6e4(d1c2(f7f5(e1g1(e4c3)))))))))(c7c5(a2a3(b4c3(b2c3(b8c6(e2e3(e8g8(f1d3(d7d6))))))))(e2e3(b8c6(f1d3(b4c3(b2c3(d7d6(e3e4(e6e5)))))))(d7d5(a2a3(b4c3(b2c3(e8g8(c1b2(b8c6))))))(f1d3(e8g8(e1g1(b8c6(a2a3(b4c3)))))))(e8g8(f1d3(b7b6(e1g1(c8b7(c3a4(c5d4)))))(d7d5(a2a3(b4c3(b2c3(b8c6))))(e1g1(c5d4(e3d4(d5c4))))))))(g2g3(e8g8(f1g2(b8c6(e1g1(d7d6(d4c5(b4c3)))))))))(e8g8(d1b3(c7c5(d4c5(b8a6(c1d2(d8e7(e2e3(a6c5))))))))))))(g1f3(b7b6(a2a3(c8b7(b1c3(d7d5(c4d5(e6d5(c1f4(f8e7(e2e3(e8g8))))(g2g3(f8e7(d1a4(c7c6)))))(f6d5(d1c2(f8e7(e2e4(d5c3)))))))(g7g6(c1f4(f8g7(e2e3(e8g8(f1e2(d7d6))))))(c1g5(f8g7(e2e3(h7h6(g5h4(d7d6))))))))))(b1c3(c8b7(a2a3(b7f3(g2f3(f8e7(f3f4(d7d5(f4f5(e6f5))))))))(c1g5(f8b4(e2e3(h7h6(g5h4(b4c3(b2c3(d7d6)))))))(f8e7(e2e3(f6e4(g5e7(d8e7(c3e4(b7e4))))))))(e2e3(f6e4(f1d3(e4c3(b2c3(f8e7(e1g1(e8g8))(e3e4(d7d6))))))))))(e2e3(c8b7(f1d3(f8e7(e1g1(e8g8(b2b3(d7d5(c1b2(b8d7))))))))))(g2g3(c8a6(b2b3(f8b4(c1d2(b4e7(f1g2(e8g8(e1g1(d7d5))))))))(d1a4(f8e7(b1c3(e8g8(f1g2(a6b7(a4c2(d7d5))))))(f1g2(a6b7(b1c3(e8g8(e1g1(f6e4))))))))(d1b3(d7d5(c4d5(e6d5(b1c3(f8e7(f1g2(e8g8)))))))))(c8b7(f1g2(c7c5(d4c5(f8c5(b1c3(f6e4(c3e4(b7e4))))))(d4d5(e6d5(f3h4(g7g6(b1c3(f8g7)))))))(f8b4(b1d2(c7c5(e1g1(c5d4(d1a4(b8c6)))))(e8g8(e1g1(b8c6(d1c2(d7d5)))))(f6e4(e1g1(e4d2(c1d2(b4d2))))))(c1d2(a7a5(e1g1(b4d2(d1d2(e8g8)))))(b4d2(b1d2(e8g8(e1g1(c7c5))))(d1d2(d7d6(b1c3(f6e4)))(e8g8(b1c3(f6e4))(e1g1(d7d6)))))(b4e7(e1g1(f6e4(b1c3(e8g8)))))))(f8e7(b1c3(e8g8(d1c2(d7d5(c4d5(f6d5))))))(e1g1(e8g8(b1c3(b8a6(c1g5(d7d5)))(d7d5(c4d5(e6d5))(f3e5(f6e4)))(f6e4(c3e4(b7e4))(d1c2(e4c3))))(d4d5(e6d5(f3h4(c7c6)))))))(g7g6(b1c3(f6e4(d1c2(e4c3(c2c3(f8g7)))))))))(f8b4(c1d2(a7a5(f1g2(c8a6(f3e5(a8a7(d2b4(a5b4)))))))))))(c7c5(b1c3(c5d4(f3d4(f8b4(d4b5(a7a6(b5d6(e8e7(d6c8(d8c8))))))))))(d4d5(e6d5(c4d5(d7d6(b1c3(g7g6(e2e4(f8g7(c1g5(e8g8))(f1e2(e8g8))))(f3d2(b8d7(e2e4(f8g7)))))))(g7g6(b1c3(f8g7(c1f4(d7d6(d1a4(c8d7))))))))))(e2e3(d7d5(b1c3(b8c6(a2a3(c5d4(e3d4(f8e7(c4c5(f6e4))(f1d3(d5c4)))))))(f8e7(a2a3(e8g8(f1d3(c5d4(e3d4(d5c4))))))))))(g2g3(d7d5(f1g2(b8c6(c4d5(e6d5(e1g1(f8e7(b1c3(e8g8)))))))))))(d7d5(b1c3(b8d7(e2e3(f8e7(f1e2(e8g8(e1g1(b7b6(c4d5(e6d5)))))))))(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)))))))))(c7c6(c1g5(h7h6(g5f6(d8f6(e2e3(b8d7(f1d3(g7g6)))))))))(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))))))(d1a4(b8c6(c1g5(h7h6(g5f6(d8f6))))))))(e2e3(e8g8(f1d3(c7c5(e1g1(b8c6(a2a3(b4a5)))))))))(f8e7(c1f4(c7c5(d4c5(b8a6(c4d5(e6d5(f4d6(a6c5)))))))(e8g8(e2e3(b7b6(a1c1(c7c5(c4d5(f6d5))))(c4d5(e6d5(f1b5(c8b7)))))(b8d7(c4c5(c7c6(f1d3(b7b6)))))(c7c5(d4c5(b8c6(d1c2(d8a5))))))))(c1g5(e8g8(e2e3(h7h6(g5f6(e7f6(c4d5(e6d5))(d1d2(b7b6))))(g5h4(b7b6(d1c2(c8b7))(f1d3(c8b7)))(f6e4(h4e7(d8e7)))))))(h7h6(g5f6(e7f6(e2e3(e8g8(a1c1(c7c6))))))(g5h4(e8g8(e2e3(b7b6(a1c1(c8b7))(f1d3(c8b7))(f1e2(c8b7))))))))(c4d5(e6d5(c1f4(c7c6(e2e3(c8f5(f1d3(f5d3))))))))(g2g3(e8g8(f1g2(b8d7(c4d5(e6d5(e1g1(c7c6))))))))))(c1g5(b8d7(e2e3(f8e7(b1c3(e8g8(d1c2(c7c5(c4d5(c5d4)))))))))(f8e7(b1c3(e8g8(a1c1(h7h6(g5h4(b7b6(c4d5(f6d5)))))))(h7h6(g5h4(e8g8(a1c1(b7b6(c4d5(f6d5))))))))(e2e3(e8g8(b1c3(h7h6(g5h4(b7b6(f1e2(c8b7)))))))))(h7h6(g5f6(d8f6(b1c3(c7c6(d1b3(b8d7(e2e3(f8d6))))))))))(c4d5(e6d5(b1c3(c7c6(c1g5(h7h6(g5h4(f8e7(d1c2(e8g8)))))))(f8e7(c1g5(e8g8(e2e3(b7b6(f1d3(c8b7))))))))))(g2g3(f8b4(c1d2(b4e7(f1g2(e8g8(e1g1(b8d7(d1c2(c7c6)))))))))(f8e7(f1g2(e8g8(e1g1(b8d7(b2b3(b7b6(c4d5(f6d5))))(d1c2(b7b6(c4d5(f6d5)))))(c7c6(b1c3(b8d7(d1b3(b7b6))))(d1c2(b8d7(f1d1(b7b6)))))))))))(f8b4(b1c3(c7c5(e2e3(d7d5(d4c5(e8g8(d1c2(b8c6(a2a3(b4c5))))))))))(b1d2(c7c5(a2a3(b4d2(d1d2(b7b6(d4c5(b6c5(d2g5(d7d6)))))))))(d7d5(a2a3(b4e7(d1c2(b7b6(e2e4(d5e4(d2e4(c8b7)))(e8g8(f1d3(g7g6))))))))(d1a4(b8c6(a2a3(b4d2(c1d2(c8d7(a4c2(a7a5)))(f6e4(a1d1(e8g8))))))))(e2e3(e8g8(a2a3(b4e7(f1d3(b7b6(e1g1(c8b7))))))))))(c1d2(b4d2(d1d2(d7d5(b1c3(e8g8(e2e3(d8e7(a1c1(f8d8))(a1d1(b7b6)(f8d8))(d2c2(f8d8))(f1d3(d5c4))))))(d2c2(e8g8(b1d2(b7b6(c4d5(e6d5))))))(e2e3(e8g8(b1c3(d8e7(a1c1(f8d8))(f1e2(d5c4))))))(g2g3(e8g8(f1g2(b8d7(e1g1(c7c6)))))))))(d8e7(a2a3(b4d2(b1d2(d7d6(e2e4(b8d7(f1e2(e6e5))))))))))))(g2g3(c7c5(d4d5(e6d5(c4d5(g7g6(b1c3(f8g7(f1g2(e8g8(g1f3(d7d6)))))))))))(d7d5(f1g2(f8e7(g1f3(e8g8(e1g1(b8d7(b2b3(b7b6(c4d5(f6d5))))))))))(g1f3(f8b4(c1d2(b4e7(f1g2(e8g8(d1c2(b8d7(e1g1(c7c6)))))))))))(f8b4(c1d2(d8e7(f1g2(b8c6(g1f3(f6e4(e1g1(e4d2(b1d2(b4d2)))))))))))))(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(c1d2(d5b6(d2f4(f8g7(e2e3(e8g8(g1f3(c7c5)))))))(f8g7(e2e4(d5b6(d2e3(e8g8(f1e2(f7f5))))))))(e2e4(d5c3(b2c3(f8g7(c1e3(c7c5(f1c4(d8a5))))(f1c4(b8c6(a2a4(c6a5)))(c7c5(g1e2(b8c6)(e8g8))))))))))(g1f3(f8g7(d1b3(c7c6(e2e3(e8g8(c1d2(e7e6(f1e2(b8d7)))))))(d5c4(b3c4(e8g8(e2e4(c8g4(c1e3(f6d7)))))))))))(f8g7(e2e4(d7d6(f1e2(b8c6(g1f3(c8g4(c1e3(e8g8(e1g1(f8e8)))))))(e8g8(c1g5(c7c5(d4d5(a7a6(a2a4(h7h6)))(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(b8c6(c1e3(a7a6(d1d2(a8b8(g1e2(e8g8)))(c8d7(e1c1(b7b5))))(g1e2(a8b8(d1d2(e8g8)))))))(b8d7(c1e3(e7e5(d4d5(a7a5(f1d3(d7c5)))))))(c7c5(d4c5(d6c5(d1d8(e8d8(c1e3(f6d7)))))))(c7c6(c1e3(a7a6(c4c5(b7b5(c5b6(d8b6))))(f1d3(b8d7(g1e2(b7b5)))))))(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)))))(c7c5(d4d5(d8a5(d1d2(a7a6))))))(g1e2(b8c6(c1e3(a7a6(d1d2(a8b8))))))))(f2f4(c7c5(d4d5(e8g8(g1f3(e7e6(f1e2(e6d5)))))))(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)))))(c7c5(e1g1(c8g4(d4d5(b8d7)))))(c8g4(c1e3(b8c6(e1g1(f8e8)))))(e7e5(c1e3(d8e7(d4d5(f6e8)))(e5d4(f3d4(f8e8)))(f6g4(e3g5(f7f6))))(d4d5(b8d7(c1g5(h7h6))(e1g1(d7c5))))(e1g1(b8c6(c1e3(f6g4))(d4d5(c6e7)))))))))(e8g8(c1e3(d7d6(f2f3(b8d7(g1h3(c7c5(d4d5(d7e5)))))(e7e5(g1e2(b8d7(d1d2(d7b6))))))))(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(c8g4(c1e3(b8d7(e1g1(c7c6)))))(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))))))))))))(f2f3(d7d5(c4d5(f6d5(e2e4(d5b6(b1c3(f8g7(c1e3(e8g8(f3f4(c7c6))))))))))))(g1f3(f8g7(g2g3(e8g8(f1g2(d7d6(b1c3(b8c6(e1g1(c8d7(d4d5(c6a5))))))(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(e2e3(b8d7(g1e2(a7a6(b2b3(a8b8))))))(g1f3(b8c6(e1g1(a7a6(d4d5(c6a5))(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(b2b3(f6e4))(d4d5(c6a5)))(e7e5(d4e5(c6e5))))(d4d5(c6a5(f3d2(c7c5)(c7c6)))))(c7c6(b1c3(c8f5(b2b3(f6e4))))))))))))))(e2e3(g7g6(f1d3(f8g7(b1d2(c7c5(g1e2(e8g8(c2c3(d7d5(f2f4(b8c6(e1g1(c5d4))))))))))))))(g1f3(b7b5(e2e3(a7a6(c2c3(c8b7(b1d2(e7e6(a2a4(b5b4(c3c4(c7c5(b2b3(d7d6)))))))))))))(b7b6(c1f4(c8b7(b1d2(g7g6(e2e3(f8g7(f1d3(e8g8(d1e2(d7d6(e1g1(b8c6))))))))))))(c1g5(c8b7(b1c3(e7e6(e2e4(h7h6(g5f6(d8f6(f1d3(d7d6(d1d2(b8d7))))))))))(b1d2(c7c5(c2c3(b8c6(e2e3(e7e6(f1d3(f8e7(d1e2(f6d5))))))))))))(c2c4(e7e6(b1c3(f8b4(c1g5(h7h6(g5h4(c8b7(e2e3(g7g5(h4g3(f6e4))))))))))(c1f4(c8b7(e2e3(f8e7(h2h3(e8g8(b1c3(d7d5(c4d5(e6d5))))))))))(g2g3(c8a6(b2b3(a6b7(f1g2(f8b4(c1d2(a7a5(e1g1(e8g8))))))))))))(e2e3(c8b7(b1d2(e7e6(f1d3(c7c5(e1g1(b8c6(c2c3(d7d5(f1e1(f8e7)))(f8e7(e3e4(c5d4))))))))))(f1d3(c7c5(e1g1(b8c6(c2c3(e7e6(f3e5(d7d6(e5c6(b7c6)))))))(e7e6(b1d2(b8c6(c2c3(d8c7(d1e2(d7d5)))))))))(e7e6(e1g1(c7c5(b2b3(f8e7(c1b2(e8g8(d1e2(c5d4))))))))))))(g2g3(c8b7(f1g2(c7c5(c2c4(c5d4(e1g1(d8c7(d1d4(b8c6(d4f4(e7e5))))))))(d4c5(b6c5(c2c4(g7g6(b2b3(f8g7(c1b2(e8g8))))))))(e1g1(c5d4(f3d4(b7g2(g1g2(g7g6(b2b3(f8g7)))))))))(e7e6(e1g1(f8e7(c2c4(e8g8(b1c3(f6e4(d1c2(e4c3)))))))))))))(c7c5(c2c3(g7g6(g2g3(b7b6(f1g2(c8b7(e1g1(f8g7(b1d2(e8g8(f1e1(d7d5))))))))))))(c2c4(c5d4(f3d4(b8c6(b1c3(e7e6(d4b5(d7d5(c1f4(d5d4(b5c7(e8e7)))))))))(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)))))))))))(g7g6(g2g3(f8g7(f1g2(e8g8(e1g1(d7d6(h2h3(b7b5(a2a4(c8b7))))))))))))(e2e3(e7e6(f1d3(b7b6(e1g1(c8b7(b2b3(f8e7(c1b2(e8g8(b1d2(b8c6)))))))))))))(d7d5(c1f4(e7e6(e2e3(f8d6(b1d2(d6f4(e3f4(c7c5(d4c5(d8c7(g2g3(c7c5))))))))))))(c2c4(c7c6(b1c3(c8f5(d1b3(d8b6(b3b6(a7b6(c4d5(f6d5(c3d5(c6d5)))))))))(e7e6(e2e3(b8d7(f1d3(d5c4(d3c4(b7b5(c4d3(a7a6))))))))))(e2e3(c8f5(b1c3(e7e6(f1d3(f5d3(d1d3(b8d7(e1g1(f8e7)))))))))))(e7e6(b1c3(b8d7(c1g5(h7h6(g5h4(f8e7(e2e3(e8g8(a1c1(d5c4))))))))(e2e3(c7c5(f1d3(b7b6(c4d5(e6d5(d4c5(d7c5)))))))))(f8e7(c1g5(e8g8(e2e3(b8d7(a1c1(c7c6(f1d3(d5c4)))))))(h7h6(g5f6(e7f6(e2e3(e8g8(a1c1(c7c6))(d1d2(c7c6))))))(g5h4(e8g8(e2e3(b7b6(a1c1(c8b7))))))))))(c1g5(d5c4(e2e3(c7c5(b1c3(a7a6(a2a4(c5d4(e3d4(f8b4)))))))))(f8e7(b1c3(h7h6(g5f6(e7f6(e2e3(e8g8(a1c1(c7c6))))))))))(e2e3(c7c5(b1c3(b8c6(c4d5(f6d5(f1d3(f8e7(e1g1(e8g8))))))))))(g2g3(f8e7(f1g2(e8g8(e1g1(b8d7(d1c2(c7c6(b1d2(b7b6))))))))))))(e2e3(e7e6(f1d3(c7c5(b2b3(b8c6(e1g1(f8d6(c1b2(e8g8(b1d2(d8e7)))))))))))(g7g6(c2c4(f8g7(b1c3(e8g8(d1b3(e7e6(f1e2(b8c6(b3c2(d5c4)))))))))))))(d7d6(b1c3(b8d7(c1f4(c7c5(e2e3(d8a5(d1d2(a7a6(a2a3(b7b5(b2b4(c5b4)))))))))(c7c6(e2e4(d8a5(f4d2(e7e5(d4e5(d6e5(f1c4(h7h6)))))))))))(c8g4(e2e4(b8d7(c1e3(e7e5(f1c4(c7c6(c4b3(b7b5(a2a3(f8e7)))))))))))(d6d5(c1f4(e7e6(e2e3(f8b4(f1d3(c7c5(e1g1(c5c4(d3e2(b4c3))))))))))))(c1g5(b8d7(e2e3(e7e5(b1c3(c7c6(f1d3(f8e7(d1e2(d8a5(e1g1(d7f8))))))))))))(c2c3(b8d7(c1f4(c7c6(d1c2(d8c7(e2e4(e7e5(f4g3(f8e7(f1d3(e8g8))))))))))))(c2c4(b8d7(b1c3(e7e5(e2e4(f8e7(f1e2(e8g8(e1g1(c7c6(c1e3(b7b6))(d4d5(f6e8))))))))))))(d1d3(b8d7(e2e4(e7e5(g2g3(e5d4(d3d4(d8e7(b1c3(d7c5(f3d2(g7g6))))))))))))(e2e3(c8g4(f1e2(b8d7(e1g1(e7e5(d4e5(d6e5(b1c3(c7c6(h2h3(g4h5)))))))))))))(e7e6(c1g5(c7c5(c2c3(d8b6(d1c2(c5d4(f3d4(b8c6(e2e3(d7d5(b1d2(c8d7))))))))))(e2e3(b8c6(c2c3(d8b6(d1b3(d7d5(b1d2(c8d7(f1e2(c5d4)))))))))(d8b6(d1c1(b8c6(c2c3(d7d5(f1d3(c8d7(b1d2(a8c8))))))))))(g5f6(d8f6(e2e4(c5d4(d1d4(b8c6(d4f6(g7f6(c2c3(b7b6))))))))))))(c2c4(b7b6(a2a3(c8b7(b1c3(g7g6(d4d5(f8g7(e2e4(e8g8(f1e2(d7d6))))))))))(b1c3(c8b7(c1g5(f8e7(e2e3(f6e4(g5e7(d8e7(c3e4(b7e4)))))))))(f8b4(e2e3(c8b7(f1d3(e8g8(e1g1(c7c5(c3a4(c5d4))))))))))(c1g5(c8b7(e2e3(f8e7(b1c3(f6e4(g5e7(d8e7(f1d3(e4c3))))))))))(e2e3(c8b7(f1d3(f8e7(e1g1(e8g8(b2b3(c7c5(c1b2(c5d4))))))))))(g2g3(c8a6(b2b3(f8b4(c1d2(b4e7(b1c3(d7d5(c4d5(e6d5)))))))))(c8b7(f1g2(f8b4(b1d2(c7c5(e2e3(c5d4(e3d4(d8c7)))))))(f8e7(e1g1(e8g8(b1c3(f6e4(d1c2(e4c3)))))))))))(d7d5(b1c3(b8d7(e2e3(f8e7(b2b3(e8g8(f1d3(b7b6(e1g1(c8b7)))))))))(f8e7(c1g5(h7h6(g5h4(e8g8(e2e3(b7b6(f1d3(c8b7))))))))))(e2e3(b8d7(f1d3(d5c4(d3c4(c7c5(e1g1(d7b6(c4d3(c8d7))))))))))(g2g3(f8b4(c1d2(b4e7(d1c2(e8g8(f1g2(b8d7(e1g1(c7c6)))))))))))(f8b4(c1d2(b4d2(d1d2(d7d5(b1c3(e8g8(e2e3(d8e7(f1d3(d5c4))))))(e2e3(e8g8(b1c3(d8e7(a1c1(f8d8))(f1d3(d5c4)(f8d8))))(f1e2(d8e7(e1g1(d5c4)))))))))(d8e7(b1c3(b7b6(e2e3(b4c3(d2c3(f6e4(a1c1(c8b7))))))))))))(e2e3(b7b6(f1d3(c8b7(b1d2(c7c5(b2b3(b8c6(c1b2(c5d4(e3d4(c6b4))))))))(e1g1(f6e4(b1d2(f7f5(c2c3(f8e7(d1c2(d7d5)))))))(f8e7(b2b3(e8g8(c1b2(f6e4(c2c4(f7f5)))))))))))(c7c5(b2b3(b8c6(c1b2(b7b6(b1d2(c8b7(f1d3(c5d4(e3d4(c6b4))))))))))(c2c3(d7d5(f1d3(b8d7(e1g1(b7b6(b1d2(c8b7(f3e5(d7e5))))))))))))(g2g3(c7c5(c2c4(c5d4(f3d4(d7d5(f1g2(e6e5(d4f3(e5e4(f3d2(d5c4))))))))))(f1g2(b8c6(e1g1(d7d5(c2c4(d5c4(f3e5(f6d5(e5c6(b7c6)))))))))))))(g7g6(b1c3(d7d5(c1f4(f8g7(e2e3(e8g8(f1e2(f6h5(f4g5(h7h6(g5h4(g6g5))))))))))))(b2b3(f8g7(c1b2(e8g8(g2g3(d7d5(f1g2(c7c5(d4c5(d8a5(b1d2(b8c6))))))))))))(c1f4(f8g7(b1d2(c7c5(c2c3(c5d4(c3d4(d7d5(f4b8(a8b8(d1a4(c8d7))))))))))))(c1g5(f8g7(b1d2(c7c5(c2c3(c5d4(c3d4(b8c6(e2e3(e8g8(a2a3(h7h6)))))))(e8g8(g5f6(e7f6(d4c5(f6f5(e2e3(f5f4)))))))))(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(c1e3(f6g4(e3g5(h7h6(g5h4(b8c6))))))(f1e2(c8g4(c1e3(b8c6(f3g1(g4d7)))))(e7e5(d4e5(d6e5(d1d8(f8d8))))(e1g1(b8c6(d4d5(c6e7)))(b8d7(f1e1(c7c6))))))))))(g2g3(e8g8(f1g2(d7d6(e1g1(b8c6(b1c3(c8f5(b2b3(f6e4))))))))))))(e2e3(f8g7(b1d2(b7b6(f1c4(e8g8(d1e2(c7c5(c2c3(c8b7(e1g1(d7d5))))))))))))(g2g3(f8g7(f1g2(e8g8(b2b3(d7d6(c1b2(e7e5(d4e5(f6g4(e1g1(g4e5))))))))(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))))))))))))))))(e2e3(g7g6(d2d4(f8g7(f1d3(c7c5(c2c3(g8f6(g1f3(b7b6(e1g1(c8b7(d1e2(e8g8(f1e1(f6e4)))))))))))))))(g8f6(f2f4(g7g6(c2c4(d7d5(b1c3(f8g7(g1f3(e8g8(d2d4(c7c6(f1e2(c8f5(e1g1(b8d7))))))))))))))))(e2e4(b7b6(d2d4(c8b7(b1d2(e7e6(g1f3(g7g6(f1d3(f8g7(e1g1(d7d6(c2c3(b8d7(d1e2(g8e7))))))))))))(f1d3(e7e6(d1e2(d7d6(g1f3(b8d7(c2c4(g7g6(b1c3(f8g7(c1e3(g8e7))))))))))(g1e2(d7d6(e1g1(b8d7(f2f4(g7g6(f4f5(g6f5(e4f5(e6e5)))))))))(g7g6(e1g1(f8g7(c2c3(d7d6(b1d2(b8d7(e2g3(h7h5))))))))))(g1f3(d7d6(e1g1(b8d7(c2c4(g7g6(c1g5(g8e7(b1c3(h7h6)))))))))))(g7g6(g1f3(f8g7(e1g1(d7d6(f1e1(b8d7(c1f4(e7e5(f4g5(f7f6)))))))))))))))(c7c5(b1c3(b8c6(d2d3(g7g6(g2g3(f8g7(f1g2(d7d6(f2f4(e7e6(g1f3(g8e7(e1g1(e8g8))))))))))))(f2f4(e7e6(g1f3(d7d5(d2d3(g7g6(g2g4(f8g7(f1g2(g8e7(e1g1(e8g8)))))))))(g8f6(g2g3(d7d5(e4e5(f6e4(f1g2(e4c3(b2c3(d8a5))))))))))))(g1e2(d7d6(d2d4(c5d4(e2d4(e7e6(c1e3(g8f6(d1d2(f8e7(f2f3(a7a6)))))))))))(e7e5(c3d5(g8e7(e2c3(e7d5(c3d5(f8e7(g2g3(d7d6(f1g2(h7h5)))))))))))(e7e6(g2g3(d7d5(e4d5(e6d5(f1g2(d5d4(c3d5(g8f6(e2f4(f6d5))))))))))))(g2g3(e7e6(f1g2(g8f6(g1e2(d7d5(e4d5(e6d5(d2d3(f8e7(e1g1(d5d4)))))))))))(g7g6(f1g2(f8g7(d2d3(d7d6(f2f4(e7e5(g1f3(g8e7(e1g1(e8g8)))))(e7e6(g1e2(g8e7(c1e3(c6d4))))(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)))))))))))))(e7e6(g1e2(b8c6(g2g3(d7d5(e4d5(e6d5(d2d3(g8f6(f1g2(f8e7(c1g5(d5d4))))))))))))(g1f3(b8c6(d2d4(c5d4(f3d4(d7d6(f1c4(g8f6(c1e3(a7a6(d1e2(c8d7))))))))))))))(c2c3(e7e6(d2d4(d7d5(e4d5(e6d5(g1f3(b8c6(f1e2(g8f6(e1g1(f8e7(d4c5(e7c5))))))))))(e4e5(b8c6(g1f3(d8b6(f1e2(g8h6(c1h6(g7h6(d1d2(f8g7)))))))))))))(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))))))))))))))(c2c4(b8c6(b1c3(g7g6(g2g3(f8g7(f1g2(d7d6(d2d3(g8f6(g1e2(e8g8(e1g1(a8b8))))))))))))))(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))))))))))))))(f2f4(b8c6(c2c3(e7e6(g1f3(d7d5(e4e5(d8b6(f1d3(f7f6(d3c2(g8h6(e1g1(h6f7)))))))(f7f6(f1d3(g8h6(d3c2(d8b6(e1g1(c8d7))))))))))))(g1f3(e7e6(c2c3(d7d5(e4e5(f7f5(d2d4(g8h6(h2h3(d8b6(b2b3(c8d7)))))))(f7f6(b1a3(g8h6(a3c2(d8b6(d2d4(c5d4))))))(f1d3(d8b6(d3c2(c8d7(e1g1(g8h6)))))(g8h6(d3c2(c8d7(e1g1(d8b6)))))))))))))(e7e6(g1f3(b8c6(c2c3(d7d5(e4e5(f7f5(d2d4(g8h6(a2a3(h6f7(c1e3(d8b6))))))(f1d3(f8e7(d3c2(d8b6(e1g1(g8h6)))))))(f7f6(b1a3(g8h6(a3c2(d8b6(d2d4(c5d4)(c8d7))))))(f1e2(f8e7(b1a3(d8b6(a3c2(g8h6)))))))))))(d7d5(e4e5(b8c6(c2c3(f7f6(b1a3(g8h6(a3c2(d8b6(d2d4(c8d7)))(f8e7(d2d4(e8g8))))))(f1d3(g8h6(d3c2(d8b6(e1g1(h6f7))))))))))))))(g1e2(b8c6(b2b3(g8f6(b1c3(e7e6(c1b2(d7d5(e2g3(f8d6(f1b5(e8g8(b5d3(c6e5)))))))))))))(d7d6(c2c4(e7e5(d2d3(b8c6(b1c3(g7g6(g2g3(h7h5(h2h4(f8h6(f1g2(h6c1))))))))))))(d2d4(c5d4(e2d4(g8f6(b1c3(a7a6(a2a4(d8c7(f1d3(g7g6(f2f4(f8g7))))))))(f2f3(b8c6(c2c4(g7g6(b1c3(f8g7(c1e3(e8g8))))))))))))(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(a7a6(b1c3(b7b5(d2d4(c5d4(f3d4(e7e6(f1d3(d8c7(e1g1(g8f6(d1e2(c8b7)))))))))))(d7d6(d2d4(c5d4(f3d4(g8f6(c1g5(e7e6(f2f4(f8e7(d1f3(d8c7))))))))))))(c2c3(e7e6(d2d4(c5d4(c3d4(d7d5(e4e5(b8c6(b1c3(f8e7(f1d3(h7h5))))))))))))(d2d4(c5d4(f3d4(g8f6(f1d3(b8c6(d4c6(b7c6(c2c4(e7e5(b1c3(f8c5))))))))))))(g2g3(g7g6(f1g2(f8g7(e1g1(b8c6(c2c3(e7e5(d2d3(d7d6(b1a3(g8e7)))))))))))))(b8c6(d2d4(c5d4(f3d4(c6d4(d1d4(e7e6(f1c4(g8e7(b1c3(e7c6(d4d1(f8c5)))))))))(e7e5(d4c6(b7c6(f1c4(g8f6(c1g5(f8c5(e1g1(h7h6)))(f8e7(d1e2(d7d5))))(d1e2(f8e7(b1c3(e8g8)))))))))(e7e6(b1c3(d8c7(c1e3(a7a6(f1d3(g8f6(e1g1(b7b5))))(f1e2(g8f6(e1g1(f8b4))))))(f1e2(a7a6(e1g1(g8f6(c1g5(f8e7))))))(g2g3(a7a6(f1g2(g8f6(c1e3(f8e7))(e1g1(f8e7))))))))(d4b5(d7d6(c2c4(g8f6(b1c3(a7a6(b5a3(f8e7))))(b5c3(f8e7(f1e2(e8g8))(g2g3(e8g8))))))))(d4c6(b7c6(f1d3(g8f6(e1g1(d7d5(b1d2(f8e7)))))))))(g8f6(b1c3(d7d6(c1g5(e7e6(d1d2(a7a6(e1c1(c8d7))))))(f1e2(c8d7(c1e3(e7e6(d1d2(a7a6)))))(e7e6(e1g1(f8e7(c1e3(e8g8)))))(g7g6(d4b3(f8g7(e1g1(a7a6)(e8g8))))))))))))(f1b5(g7g6(b5c6(b7c6(e1g1(f8g7(f1e1(e7e5(b2b4(c5b4(a2a3(c6c5)))))(f7f6(c2c3(g8h6(d2d4(c5d4))))))))))(e1g1(f8g7(c2c3(g8f6(d1e2(e8g8(e4e5(f6e8(d2d4(e8c7))))))(f1e1(e8g8(d2d4(c5d4(c3d4(d7d5))))))))(f1e1(e7e5(b5c6(d7c6(d2d3(g8e7(c1e3(b7b6)))))))(g8f6(b1c3(e8g8(b5c6(b7c6(h2h3(d7d6))))))))))))(f1c4(e7e6(b1c3(g8f6(e4e5(d7d5(e5f6(d5c4(f6g7(f8g7(c3e4(d8d5))))))))))))(g2g3(g7g6(f1g2(f8g7(e1g1(d7d6(d2d3(e7e5(b1d2(g8e7(d2c4(e8g8)))))))))))))(d7d6(b1c3(a7a6(d2d4(c5d4(f3d4(g8f6(c1g5(e7e6(f2f4(f8e7(d1f3(d8c7))))))))))(g2g3(b8c6(f1g2(g7g6(d2d4(c8g4(d4c5(d6c5(c1e3(d8a5)))))))))))(b8c6(d2d4(c5d4(f3d4(g8f6(c1g5(e7e6(d1d2(a7a6(e1c1(c8d7)))))))))))(e7e5(f1c4(f8e7(d2d3(g8f6(e1g1(b8c6(f3e1(e8g8(f2f4(a7a6))))))))))))(c2c3(g8f6(d1c2(b8c6(d2d4(c5d4(c3d4(d6d5(e4e5(f6e4(b1c3(c8f5)))))))))(g7g6(d2d4(f8g7(d4c5(d6c5(c1e3(b8d7(b1d2(e8g8))))))))))(f1b5(c8d7(b5d7(d8d7(d1e2(d7g4(e4e5(d6e5(f3e5(g4g2))))))))))(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(a7a6(b5c6(b7c6(c2c4(e7e5(d4d3(g8f6)))))))(c8d7(b5c6(d7c6(b1c3(g8f6(c1g5(e7e6))))(c2c4(g8f6(b1c3(g7g6)))))))))(c8d7(c2c4(b8c6(d4d2(g7g6(b2b3(f8g7(c1b2(g7b2))))))))))(f3d4(b8c6(b1c3(e7e6(c1e3(g8f6(f1e2(f8e7(d1d2(e8g8)))))))))(g8f6(b1c3(a7a6(c1e3(e7e5(d4b3(f8e7(f1e2(c8e6))(f2f3(e8g8))))(d4e2(f8e7(h2h3(c8e6)))))(e7e6(f2f4(d8c7(d1f3(b7b5))))))(c1g5(b8d7(f1c4(h7h6(g5f6(d7f6)))))(e7e6(d1d2(h7h6(g5e3(f6g4))))(d1d3(c8d7(f2f4(b8c6))))(d1f3(f8e7(e1c1(d8c7))))(f2f4(b7b5(e4e5(d6e5)))(b8d7(d1f3(d8c7)))(d8b6(d1d2(b6b2)))(f8e7(d1f3(b8d7)(d8c7)(h7h6))(f1e2(d8b6)))(h7h6(g5h4(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(b8c6(c1e3(e7e6(e1g1(f8e7))))(e1g1(e7e6(c1e3(c8d7)))))(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)))))(e7e6(f1e2(f8e7(e1g1(e8g8))))))(g2g3(e7e5(d4b3(f8e7(f1g2(e8g8))))(d4e2(f8e7(c1g5(b8d7))(f1g2(e8g8)))))(g7g6(f1g2(f8g7(e1g1(e8g8))))))(h2h3(e7e5(d4e2(f8e7(g2g4(e8g8)))))(g7g6(g2g4(f8g7(g4g5(f6h5)))))))(b8c6(f1c4(e7e6(c4b3(f8e7(c1e3(e8g8)))))))(e7e6(c1e3(a7a6(f2f4(b7b5(d1f3(c8b7))))))(c1g5(a7a6(d1d2(f8e7(e1c1(b7b5))))))(f1e2(a7a6(e1g1(d8c7(f2f4(b8d7)(f8e7)))))(f8e7(c1e3(e8g8(e1g1(b8c6))))(e1g1(a7a6(f2f4(d8c7)))(e8g8(c1e3(b8c6))(f2f4(b8c6))))))(f2f4(b8c6(c1e3(c8d7(f1e2(f8e7))))(d4c6(b7c6(f1d3(f8e7))))))(g2g3(f8e7(f1g2(e8g8(e1g1(a7a6))))))(g2g4(a7a6(f1g2(f6d7(e1g1(b8c6))))(g4g5(f6d7(a2a4(b8c6)))))(b8c6(g4g5(f6d7(c1e3(f8e7)))))(f8e7(g4g5(f6d7(h1g1(b8c6)))))(h7h6(g4g5(h6g5(c1g5(b8c6))))(h1g1(b8c6(c1e3(a7a6)(f8e7)))))))(g7g6(f1e2(f8g7(c1e3(b8c6(e1g1(e8g8))))))))(f2f3(b8c6(c2c4(e7e6(b1c3(f8e7(c1e3(e8g8))(d4c2(e8g8)))))))(e7e5(f1b5(b8d7(d4f5(d6d5(e4d5(a7a6))))))))))))(f1b5(b8d7(c2c3(g8f6(d1e2(a7a6(b5a4(e7e6(e1g1(f8e7(d2d4(c5d4)))))))))))(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))))))(c2c4(g7g6(d2d4(c5d4(f3d4(f8g7)))))(g8f6(b1c3(e7e6(d2d4(c5d4)))(g7g6(d2d4(c5d4))))))(d1e2(g7g6(c2c3(f8g7(f1d1(e7e5))))))(d2d3(e7e6(b1d2(g7g6(a2a4(f8g7))))))(d2d4(c5d4(f3d4(g8f6(b1c3(g7g6))))))))))))(g2g3(b8c6(f1g2(g7g6(e1g1(f8g7(c2c3(e7e5(b1a3(g8e7(a3c2(e8g8)))))))))))))(e7e6(b1c3(b8c6(d2d4(c5d4(f3d4(d7d6(g2g3(g8f6(f1g2(c8d7(e1g1(f8e7))))))))))))(c2c3(d7d5(e4d5(e6d5(d2d4(g8f6(f1b5(c8d7(b5d7(b8d7(e1g1(f8e7))))))))))))(d2d3(b8c6(g2g3(d7d5(b1d2(f8d6(f1g2(g8e7(e1g1(e8g8(f1e1(b7b6)))))))))(d7d6(f1g2(g7g6(e1g1(f8g7(c2c3(e6e5(a2a3(g8f6)))))))))))(d7d5(b1d2(b8c6(g2g3(g8f6(f1g2(f8e7(e1g1(e8g8(f1e1(b7b6))))))))))))(d2d4(c5d4(f3d4(a7a6(b1c3(b8c6(c1e3(g8f6(f1d3(d7d5(e4d5(e6d5)))))))))(g8f6(b1c3(d7d6(f1c4(f8e7(e1g1(e8g8(c4b3(b8c6))))))(f1e2(a7a6(e1g1(f8e7(c1e3(d8c7))(f2f4(e8g8)))))(f8e7(e1g1(e8g8(c1e3(b8c6))(f2f4(b8c6))))))(f2f4(a7a6(f1d3(d8c7(d4f3(b8c6))))))(g2g3(f8e7(f1g2(a7a6(e1g1(e8g8))))))(g2g4(h7h6(g4g5(h6g5(c1g5(b8c6))))(h1g1(b8c6(c1e3(g7g5))))(h2h4(b8c6(h1g1(d6d5))))))))(f1d3(b8c6(d4c6(d7c6(c1f4(f6d7(b1d2(e6e5)))))))))))))(g7g6(c2c3(d7d5(f1b5(c8d7(b5d7(d8d7(e4d5(d7d5(d2d4(c5d4(d1d4(d5d4))))))))))))(d2d4(f8g7(b1c3(c5d4(f3d4(b8c6(c1e3(g8f6(d4c6(b7c6(e4e5(f6g8)))))))))))))))(c7c6(b1c3(d7d5(g1f3(c8g4(h2h3(g4f3(d1f3(g8f6(d2d4(e7e6(f1d3(d5e4(c3e4(d8d4))))))))))))))(d2d4(d7d5(b1c3(d5e4(c3e4(b8d7(g1f3(g8f6(e4g3(e7e6(f1d3(c6c5(e1g1(c5d4)))))))))(c8f5(e4g3(f5g6(f1c4(b8d7(g1e2(e7e6(e2f4(f8d6))))))(f2f4(e7e6(g1f3(f8d6(f1d3(g8e7))))))(g1f3(b8d7(f1c4(g8f6(e1g1(e7e6))))(h2h4(h7h6(f1d3(g6d3)))))(g8f6(f1e2(b8d7(c2c3(d8c7))))))(h2h4(h7h6(g1f3(b8d7(f1d3(g6d3)))))))))(g8f6(e4g3(c8g4(d1d3(b8d7(h2h3(g4h5(g3h5(f6h5)))))))(e7e5(g1f3(e5d4(d1d4(d8d4(f3d4(f8c5))))))))))))(b1d2(d5e4(d2e4(b8d7(g1f3(g8f6(e4f6(d7f6(f3e5(c8f5(c2c3(f5g6)))))))))))(g7g6(g1f3(f8g7(h2h3(g8h6(f1d3(e8g8(e1g1(a7a5(a2a4(b8a6))))))))))))(e4d5(c6d5(c2c3(b8c6(c1f4(c8f5(g1f3(e7e6(d1b3(d8c8(b1d2(g8f6))))))))))(f1d3(b8c6(c2c3(g8f6(c1f4(c8g4(d1b3(c6a5(b3a4(g4d7))))))(c1g5(c8g4(g1e2(e7e6(d1b3(d8d7)))))))))(g8f6(c1f4(c8g4(g1f3(b8c6(c2c3(e7e6(b1d2(f8d6))))))))))))(e4e5(c8f5(f1d3(f5d3(d1d3(e7e6(b1c3(d8b6(g1e2(c6c5(d4c5(f8c5))))))(g1e2(d8b6(e1g1(b6a6(d3d1(c6c5)))))))))))(g7g6(c2c4(f8g7(b1c3(g8h6(h2h3(e8g8(g1f3(f7f6(f1e2(h6f7))))))))))))(f2f3(g7g6(b1c3(f8g7(c1e3(d8b6(d1d2(b6b2(a1b1(b2a3(e4d5(g8f6)))))))))))))))(d7d5(e4d5(g8f6(d2d4(f6d5(g1f3(c8g4(f1e2(c7c6(e1g1(e7e6(c2c4(d5f6(b1c3(b8d7)))))))(e7e6(e1g1(b8d7(c2c4(d5f6(b1c3(c7c6)))))))))))))))(d7d6(d2d4(g7g6(b1c3(f8g7(c1e3(b8d7(g1f3(a7a6(f1c4(e7e6(a2a4(b7b6(e1g1(c8b7))))))))))(f1c4(c7c6(c4b3(b8a6(c1e3(g8f6(f2f3(e8g8(d1d2(c6c5))))))))))(f2f4(e7e6(g1f3(g8e7(c1e3(a7a6(f1d3(b7b5(e1g1(e8g8))))))))))(g1e2(b8d7(g2g3(g8f6(f1g2(e8g8(e1g1(e7e5(h2h3(b7b6))))))))))(g1f3(b8d7(f1e2(e7e6(e1g1(g8e7(c1g5(h7h6(g5e3(b7b6)))))))))))(g8f6(f2f4(f8g7(g1f3(c7c5(d4c5(d8a5(f1d3(a5c5(d1e2(e8g8))))))))))))(c2c4(f8g7(b1c3(b8d7(f2f4(c7c5(d4d5(g7c3(b2c3(g8f6(f1d3(d8a5))))))))))))(g1f3(f8g7(f1c4(e7e6(e1g1(g8e7(c1f4(b8d7(a2a4(a7a5(b1c3(h7h6)))))))))))))(g8f6(b1c3(g7g6(c1e3(f8g7(f2f3(c7c6(d1d2(b7b5(f1d3(b8d7(a2a4(b5b4))))))))))(f2f4(f8g7(g1f3(c7c5(d4c5(d8a5(d1d3(a5c5(c1e3(c5a5))))))(f1b5(c8d7(e4e5(f6g4(e5e6(d7b5)))))))(e8g8(f1d3(b8c6(e4e5(d6e5(f4e5(f6g4))))))))))(g1f3(f8g7(f1e2(e8g8(e1g1(c8g4(c1e3(b8c6(d1d2(f8e8))))))))))(g2g3(f8g7(f1g2(e8g8(g1e2(e7e5(h2h3(b7b6(e1g1(c8b7))))))))))))(f2f3(b8d7(c2c4(g7g6(b1c3(f8g7(c1g5(a7a6(d1d2(c7c5(d4d5(d8a5)))))))))))))))(e7e5(b1c3(b8c6(f1c4(g8f6(d2d3(c6a5(c4b3(a5b3(a2b3(d7d5(e4d5(f6d5(g1e2(c8g4))))))))))))(f2f4(e5f4(g1f3(g7g5(h2h4(g5g4(f3g5(h7h6(g5f7(e8f7(d2d4(d7d5))))))))))))(g1f3(g8f6(f1b5(f8b4(e1g1(e8g8(d2d3(d7d6(c1g5(b4c3(b2c3(c6e7))))))))))))(g2g3(g7g6(f1g2(f8g7(d2d3(d7d6(g1e2(f7f5(e1g1(g8f6(c3d5(e8g8)))))))))))))(f8c5(g1f3(d7d6(c3a4(c5b6(a4b6(a7b6(d2d4(e5d4(d1d4(d8f6(c1g5(f6d4)))))))))))))(g8f6(f1c4(f8c5(d2d3(b8c6(f2f4(d7d6(c3a4(c5g1(h1g1(f6g4(g2g3(e5f4))))))))))))(f2f4(d7d5(f4e5(f6e4(d2d3(e4c3(b2c3(c7c5(g1f3(d5d4(f1e2(d4c3)))))(d5d4(g1f3(d4c3(f1e2(b8c6))))))))(g1f3(b8c6(d1e2(c8f5(e2b5(a7a6(b5d5(c6b4))))))))))))(g1f3(b8c6(f1b5(c6d4(f3d4(e5d4(e4e5(d4c3(e5f6(d8f6(d2c3(f6e5))))))))))))(g2g3(f8c5(f1g2(d7d6(g1f3(b8c6(d2d3(c8g4(c3a4(f6d7(h2h3(g4h5))))))))))))))(d2d4(e5d4(c2c3(d7d5(e4d5(d8d5(c3d4(b8c6(g1f3(f8b4(b1c3(c8g4(f1e2(g4f3))))))))))))(d1d4(b8c6(d4d3(g8f6(f2f3(f8c5(c1e3(d8e7(f1e2(e8g8(b1c3(c6e5))))))))))(d4e3(f8e7(b1c3(g8f6(f1c4(e8g8(g1e2(f6g4(e3d2(e7c5))))))))))))))(f1c4(c7c6(d1e2(d7d6(c2c3(f7f5(d2d3(g8f6(e4f5(c8f5(d3d4(e5e4(c1g5(d6d5)))))))))))))(f8c5(b2b4(c5b4(f2f4(d7d5(e4d5(e5e4(g1e2(g8f6(e1g1(e8g8(b1c3(c7c6))))))))))))(c2c3(d8e7(g1f3(d7d6(e1g1(c5b6(d2d4(g8f6(b1a3(c8g4(a3c2(b8d7))))))))))))(g1f3(b8c6(b1c3(g8f6(d2d3(d7d6(c1e3(c5b6(d1d2(e8g8(e1c1(c8e6)))))))))))))(g8f6(d2d3(b8c6(b1c3(f8c5(c1g5(h7h6(g5h4(d7d6(c3a4(c5b6(a4b6(a7b6))))))))))(g1f3(h7h6(e1g1(d7d6(c2c3(g7g6(d3d4(d8e7(b1d2(f8g7)))))))))))(f8c5(b1c3(b8c6(c1g5(h7h6(g5e3(c5b6(d1f3(e8g8(g1e2(d7d6))))))))))))(d2d4(e5d4(e4e5(d8e7(d1e2(f6g8(g1f3(b8c6(c2c3(d7d6(c3d4(c8g4))))))))))(g1f3(b8c6(e1g1(f6e4(f1e1(d7d5(c4d5(d8d5(b1c3(d5a5))))))))))))(g1f3(b8c6(e1g1(f6e4(b1c3(e4f6(d2d4(e5e4(f3e5(d7d5(c4b5(c8d7))))))))))))))(f2f4(d7d5(e4d5(e5e4(b1c3(g8f6(f1c4(f8c5(g1e2(e8g8(d2d4(e4d3(d1d3(f8e8)))))))))))))(e5f4(f1c4(d8h4(e1f1(d7d6(d2d4(c8g4(d1d3(b8c6(c4f7(e8f7(d3b3(f7g6)))))))))(g7g5(b1c3(f8g7(d2d4(b8c6(e4e5(g8e7(g1f3(h4h5)))))(d7d6(c3d5(e8d8(c4e2(b8c6)(g8f6))))(c4e2(b8c6(e4e5(g8e7)))))))))))(g8f6(b1c3(c7c6(d1f3(d7d5(e4d5(f8d6(h2h3(e8g8(g1e2(b7b5))))))))(d2d4(f8b4(d1f3(d7d5(e4d5(e8g8(g1e2(c6d5)))))))))(f8b4(e4e5(d7d5(c4b3(f6e4(g1f3(c7c6(d1e2(b4c3))))))))))))(f1e2(d7d5(e4d5(g8f6(c2c4(c7c6(d2d4(f8b4(e1f1(c6d5(c1f4(d5c4))))))))))))(g1f3(d7d5(e4d5(g8f6(f1b5(c7c6(d5c6(b8c6(d2d4(f8d6(d1e2(c8e6)))))))))))(d7d6(d2d4(g7g5(h2h4(g5g4(f3g1(f4f3(c1e3(f8e7(e3f2(g8f6)))))))))))(g7g5(f1c4(f8g7(d2d4(d7d6(c2c3(b8c6(d1b3(d8e7(f3g5(e7g5)))))(h7h6(b1a3(b8c6(c1d2(d8e7))))))))(h2h4(h7h6(h4g5(h6g5(h1h8(g7h8(d2d4(g5g4)))))))))(g5g4(b1c3(g4f3(d1f3(b8c6(d2d4(c6d4(c4f7(e8f7)))))(d8f6(c3d5(f6e5(c2c3(f8h6)))))(f8h6(d2d4(b8c6(e1g1(c6d4))))))))(f3e5(d8h4(e1f1(f4f3(e5f7(b8c6(d2d4(f8g7))))))))))(h2h4(g5g4(f3e5(g8f6(d2d4(d7d6(e5d3(f6e4(c1f4(f8g7))))))))))))))(g1f3(b8c6(b1c3(g7g6(d2d4(e5d4(f3d4(f8g7(c1e3(g8e7(d1d2(d7d6(e1c1(e8g8))))(g2g3(e8g8(f1g2(d7d6))))))))))(f1b5(f8g7(e1g1(g8e7(d2d3(e8g8(b5c4(c6a5(c4b3(a5b3)))))))))))(g8f6(d2d4(e5d4(c3d5(f8e7(f1c4(e8g8(f3d4(f6d5(c4d5(c6d4))))))))(f3d4(f8b4(d4c6(b7c6(f1d3(d7d5(e4d5(c6d5)(d8e7))))))))))(f1b5(c6d4(b5c4(f8c5(d2d3(d7d6(c1g5(c8g4(c3d5(c7c6))))))))(f3d4(e5d4(e4e5(d4c3(e5f6(d8f6(d2c3(f6e5)))))))))(d7d6(d2d4(c8d7(b5c6(d7c6(d1d3(e5d4(f3d4(g7g6))))))(c1e3(e5d4(f3d4(f8e7(e1g1(e8g8))))))(e1g1(f8e7(b5c6(d7c6(d1d3(f6d7)))))))(e5d4(d1d4(c8d7(b5c6(d7c6(c1g5(f8e7)))))))))(f8b4(e1g1(e8g8(b5c6(d7c6(d2d3(b4d6(c1g5(h7h6)))(c8g4(h2h3(g4h5))))))(d2d3(b4c3(b2c3(d7d6(c1g5(d8e7)))))(d7d6(c1g5(b4c3(b2c3(d8e7)(h7h6)))(c6e7(c3e2(e7g6))))))))))(f1c4(f8c5(d2d3(d7d6(c1e3(c5e3(f2e3(c8e6(c4e6(f7e6))))))(c1g5(h7h6(g5f6(d8f6(c3d5(f6d8))))))))))))(c2c3(g8f6(d2d4(e5d4(e4e5(f6d5(f1b5(a7a6(b5a4(d5b6(a4b3(d7d5))))))))))))(d2d4(e5d4(f1c4(g8f6(e4e5(d7d5(c4b5(f6e4(f3d4(f8c5(c1e3(c5d4))))))))))(f3d4(c6d4(d1d4(g8e7(b1c3(e7c6(d4e3(g7g6(c1d2(f8g7)))))))))(f8c5(c1e3(c5d4(e3d4(g8f6(b1c3(e8g8(d4f6(d8f6)))))))(d8f6(c2c3(g8e7(f1c4(c5b6(e1g1(e8g8))))))))(d4b3(c5b4(c2c3(b4e7(f2f4(d7d6(f1d3(e7h4)))))))(c5b6(a2a4(a7a6(a4a5(b6a7(b1c3(d7d6))))))))(d4c6(d8f6(d1d2(b7c6(f1d3(d7d5(e1g1(g8e7)))))(d7c6(b1c3(c8e6(c3a4(a8d8)))(f6e7(f1d3(g8f6)))))))))(g8f6(b1c3(f8b4(d4c6(b7c6(f1d3(d7d5(e4d5(c6d5)))(e8g8(e1g1(d7d5))))))))(d4c6(b7c6(e4e5(d8e7(d1e2(f6d5(c2c4(d5b6)))))(f6d5(c2c4(d5b6(b1c3(d8e7))))))))))))(f1b5(a7a6(b5a4(b7b5(a4b3(c6a5(d2d4(e5d4(d1d4(g8e7(c2c3(a5b3)))))))))(d7d6(a4c6(b7c6(d2d4(e5d4(d1d4(c6c5(d4d3(g7g6)))))(f7f6(c1e3(g7g6(d1d2(f8g7)))(g8e7(b1c3(e7g6))))(c2c4(g8e7(c1e3(e7g6))))(e1g1(g7g6(f3e1(f8g7))))))))(c2c3(c8d7(d2d3(g7g6(c1g5(f7f6(g5e3(f8g7))))))(d2d4(g7g6(e1g1(f8g7(c1e3(g8f6))(d4d5(c6e7))))))(e1g1(g7g6(d2d4(f8g7(d4e5(d6e5)))))))(f7f5(e4f5(c8f5(d2d4(e5e4(c1g5(f8e7))))))))(c2c4(c8d7(b1c3(g7g6(d2d4(e5d4(f3d4(f8g7))))))))(d2d4(b7b5(a4b3(c6d4(f3d4(e5d4(c2c3(d4c3)(d4d3))(d1d4(c7c5)))))))(c8d7(d4e5(c6e5(a4d7(e5d7(e1g1(f8e7))))))(e1g1(g8f6(b1c3(e5d4(f3d4(c6d4))))))))(e1g1(c8d7(b1c3(g7g6(d2d4(f8g7(d4e5(c6e5))))))(c2c3(g7g6(d2d4(f8g7(c1e3(g8e7))(c1g5(g8e7))(d4e5(c6e5)))))(g8f6(d2d4(f8e7(b1d2(e8g8))))))(f1e1(g7g6(d2d4(f8g7(c2c3(g8e7)))))))(c8g4(h2h3(g4h5(c2c3(g8f6(d2d4(b7b5)(f6d7))(f1e1(f8e7)))))))))(g8f6(b1c3(f8e7(d2d3(d7d6(d3d4(c8d7(a4c6(d7c6))))))(e1g1(b7b5(a4b3(d7d6(a2a4(b5b4))))))))(d1e2(b7b5(a4b3(f8c5(d2d3(d7d6(c2c3(e8g8))))))))(d2d3(d7d6(c2c3(f8e7(b1d2(e8g8(e1g1(b7b5)))))))(f8e7(b1c3(b7b5(a4b3(d7d6(c3d5(c6a5))))))))(d2d4(e5d4(e1g1(b7b5(a4b3(f8e7(e4e5(f6e4)))))(f8e7(e4e5(f6e4(f3d4(e8g8))))(f1e1(b7b5(e4e5(c6e5))))))(e4e5(f6e4(e1g1(f8e7(f3d4(e8g8))))))))(e1g1(d7d6(a4c6(b7c6(d2d4(c8g4(d4e5(f6e4)))(e5d4(d1d4(c6c5)))(f8e7(d4e5(f6e4))))))(c2c3(c8g4(d2d4(b7b5(a4b3(f8e7))))(f1e1(f8e7(d2d3(e8g8))))))(d2d4(b7b5(d4e5(d6e5(d1d8(c6d8)(e8d8))))))(f1e1(b7b5(a4b3(c8g4(c2c3(f8e7)))))))(f6e4(d2d4(b7b5(a4b3(d7d5(d4e5(c8e6)))))))(f8e7(a4c6(d7c6(b1c3(c8g4(h2h3(g4h5))))(d2d3(f6d7(b1d2(e8g8))))))(b1c3(b7b5(a4b3(d7d6(c3d5(c6a5))))))(c2c3(d7d6(f1e1(c8g4(d2d3(e8g8))))))(d1e2(b7b5(a4b3(e8g8(c2c3(d7d6))))))(d2d3(d7d6(c2c3(e8g8(b1d2(f8e8))))))(d2d4(e5d4(f1e1(b7b5(a4b3(d7d6))))))(f1e1(b7b5(a4b3(d7d6(a2a4(b5b4))(c2c3(c6a5)(e8g8)))(e8g8(a2a4(b5b4)(c8b7))(b1c3(d7d6))(c2c3(d7d5)(d7d6))(d2d3(d7d6))(h2h3(c8b7)))))(d7d6(a4c6(b7c6(d2d4(e5d4))))(c2c3(c8g4(a4c6(b7c6))(d2d3(e8g8)(f6d7))(h2h3(g4h5))))))))))(b5c6(d7c6(b1c3(f7f6(d2d4(e5d4(d1d4(d8d4(f3d4(c8d7))))))))(d2d4(e5d4(d1d4(d8d4(f3d4(c8d7(c1e3(e8c8))(e1g1(e8c8)))(f8d6(b1c3(g8e7))(e1g1(g8e7))))))))(e1g1(c8g4(h2h3(g4f3(d1f3(g8e7(d2d3(e7g6)))))(h7h5(d2d3(d8f6(b1d2(g8e7))(c1e3(g4f3)))))))(d8d6(b1a3(b7b5(c2c4(g8f6(d1e2(c8g4)))))))(f7f6(d2d4(c8g4(d4e5(d8d1(f1d1(f6e5)))))(e5d4(f3d4(c6c5(d4b3(d8d1))(d4e2(d8d1)))))))))))(c6d4(f3d4(e5d4(e1g1(c7c6(b5c4(g7g6(c2c3(f8g7(d1f3(d8e7)))))(g8f6(f1e1(d7d6(c2c3(f8e7))))))(b5e2(f8c5(d2d3(g8e7(b1d2(d7d5)))))))(f8c5(d2d3(g8e7(d1h5(c5b6(c1g5(e8g8)))))))(g7g6(d2d3(f8g7(f2f4(c7c6(b5a4(d7d5)))))))))))(d7d6(b1c3(c8d7(d2d4(e5d4(f3d4(g7g6(d4f3(f8g7(c1g5(g8f6))))))))))(c2c3(a7a6(b5a4(f7f5(d2d4(f5e4(f3g5(e5d4(g5e4(g8f6))))))))))(d2d4(c8d7(b1c3(g8f6(e1g1(e5d4(f3d4(f8e7(b2b3(c6d4)))))))))(e5d4(f3d4(c8d7(b1c3(g8f6(e1g1(f8e7(d4f5(d7f5)))))))))))(f7f5(b1c3(c6d4(b5a4(g8f6(e1g1(f8c5(f3e5(e8g8(e5d3(f5e4)))))))))(f5e4(c3e4(d7d5(e4g3(f8d6(d2d4(e5d4(f3d4(d8e7)))))))))(g8f6(d2d3(f5e4(d3e4(f8b4(d1d3(d7d6(c1d2(b4c3))))))))(e4f5(c6d4(f3e5(f8c5(e1g1(e8g8(e5f3(c7c6)))))))))))(f8c5(c2c3(f7f5(d2d4(f5e4(d4c5(e4f3(d1f3(d8e7(f3h5(g7g6)))))))))(g8e7(d2d4(e5d4(c3d4(c5b4(c1d2(b4d2(d1d2(a7a6)))))))))(g8f6(d2d4(c5b6(e1g1(e8g8(f1e1(d7d6(h2h3(c8d7)))(e5d4(c3d4(d7d5)))))))(e5d4(e4e5(f6e4(c3d4(c5b4(c1d2(e4d2))))(e1g1(d7d5(e5d6(e8g8))(f3d4(e8g8))))))))))(e1g1(c6d4(f3d4(c5d4(c2c3(d4b6(d2d4(c7c6(b5a4(d7d6))(b5c4(d7d6)))))))))(g8e7(c2c3(c5b6(d2d4(e5d4(c3d4(d7d5(b1c3(d5e4))(e4d5(e7d5)))))))))(g8f6(c2c3(e8g8(d2d4(c5b6(d4e5(f6e4(d1d5(e4c5))))))))(f3e5(c6e5(d2d4(c7c6(d4e5(f6e4(b5d3(d7d5)))))))))))(g7g6(c2c3(a7a6(b5a4(d7d6(d2d4(c8d7(c1g5(f7f6(g5e3(g8h6))))(e1g1(f8g7(c1e3(g8f6))(d4d5(c6e7))(d4e5(d6e5))(f1e1(g8e7))))))))(b5c6(d7c6(e1g1(f8g7(d2d4(e5d4(c3d4(g8e7))))))))))(e1g1(f8g7(c2c3(a7a6(b5a4(d7d6(d2d4(c8d7(f1e1(g8e7)))))))))))(g8e7(e1g1(g7g6(c2c3(f8g7(d2d4(e5d4(c3d4(d7d5(e4d5(e7d5)))))))))))(g8f6(d1e2(d7d6(e1g1(c8d7(c2c3(g7g6(d2d4(d8e7(d4e5(d6e5))))))))))(d2d3(d7d6(b1d2(g7g6(c2c3(f8g7(d2f1(e8g8(f1g3(c8d7))))))))))(d2d4(e5d4(e1g1(a7a6(b5c6(d7c6(c1g5(h7h6(g5h4(g7g5))))))))))(e1g1(d7d6(d2d4(c8d7(b1c3(e5d4(f3d4(f8e7(f1e1(e8g8)))))(f8e7(b5c6(d7c6(d1d3(e5d4))))(f1e1(e5d4(f3d4(e8g8)))))))))(f6e4(d2d4(e4d6(b5c6(b7c6(c1g5(f8e7(g5e7(d8e7)))))(d7c6(d4e5(d6f5(d1d8(e8d8)))))))(f8e7(d1e2(e4d6(b5c6(b7c6(d4e5(d6b7)(d6f5))))))(d4d5(e4d6(b5e2(e5e4(d5c6(e4f3))))))(f1e1(e4d6(b5c6(d7c6(d4e5(d6f5))))))))(f1e1(e4d6(f3e5(f8e7(b5f1(c6e5(e1e5(e8g8)))))))))(f8c5(c2c3(e8g8(d2d4(c5b6(c1g5(h7h6(g5h4(d7d6))))(d4e5(f6e4(b5d3(d7d5))(d1c2(d7d5))(d1d5(e4c5))))))))(d2d3(d7d6(h2h3(e8g8(c2c3(c6e7(d3d4(c5b6))))))))(f3e5(c6e5(d2d4(a7a6(b5e2(c5a7(d4e5(f6e4))))(d4e5(a6b5(e5f6(d8f6)))))))(f6e4(d1e2(c6e5(e2e4(d8e7(d2d4(e5g6))))))))))))(f1c4(d7d6(b1c3(c6a5(c4b3(a5b3(a2b3(c7c5(d1e2(g8e7(d2d3(h7h6))))))))))(d2d4(c8g4(c4b5(e5d4(c2c3(d4c3(b1c3(f8e7(e1g1(a7a6)))))))))))(f8c5(b2b4(c5b4(c2c3(b4a5(d2d4(a5b6(d4e5(g8e7(e1g1(e8g8)))))(e5d4(e1g1(d4c3(d1b3(d8f6)))(d7d6(d1b3(d8e7))))))(e1g1(a5b6(d2d4(e5d4(c3d4(d7d6)))))(d7d6(d2d4(a5b6(d4e5(c8g4)))(e5d4(c3d4(a5b6)))))))(b4c5(e1g1(c5b6(d2d4(e5d4(c3d4(d7d6)))))))(b4e7(d2d4(d7d6(d1b3(c6a5(b3a4(c7c6)))))))))(c5b6(a2a4(a7a6(c1a3(d7d6(b4b5(c6e7(e1g1(g8f6))))))(c2c3(g8f6(d1b3(e8g8(d2d3(d7d6))))))))))(c2c3(g8f6(b2b4(c5b6(d2d3(d7d6(a2a4(a7a6(e1g1(e8g8))))))))(d2d3(a7a5(e1g1(d7d6(f1e1(e8g8(b1d2(g8h8)))))))(e8g8(e1g1(d7d6(b2b4(c5b6(c4b3(c8e6))))))))(d2d4(e5d4(c3d4(c5b4(b1c3(f6e4(e1g1(b4c3))))(c1d2(b4d2(b1d2(d7d5)(f6e4)))))))))))(f8e7(d2d4(d7d6(d4e5(d6e5(d1d8(e7d8(b1c3(g8f6(c1g5(e8g8)))))))))))(g8f6(d2d3(d7d5(e4d5(f6d5(c4d5(d8d5(h2h3(f8b4(c1d2(e8g8)))))))))(f8c5(b1c3(a7a6(c1g5(h7h6(g5f6(d8f6(c3d5(f6d8))))))))(c2c3(d7d6(b2b4(c5b6(e1g1(c8g4(b1d2(e8g8))))))(e1g1(e8g8(b1d2(a7a6(c4b3(d6d5))))))))))(d2d4(e5d4(f3g5(c6e5(c4b3(h7h6(f2f4(h6g5(f4e5(f6e4))))))))))(f3g5(d7d5(e4d5(c6a5(c4b5(c7c6(d5c6(b7c6(b5e2(h7h6))(d1f3(h7h6)))))))))))))(g8f6(f3e5(d7d6(e5f3(f6e4(d1e2(d8e7(d2d3(e4f6(c1g5(e7e2(f1e2(f8e7))))))))(d2d4(d6d5(f1d3(f8d6(e1g1(e8g8(c2c4(c7c6)))))))))))))))(e7e6(d2d3(d7d5(b1d2(c7c5(g1f3(b8c6(f1e2(f8d6(e1g1(d8c7(f1e1(g8e7(c2c3(e8g8))))))))))))))(d2d4(b7b6(f1d3(c8b7(g1f3(d7d6(c2c4(b8d7(b1c3(g7g6(e1g1(f8g7(f1e1(g8e7)))))))))))))(d7d5(b1c3(d5e4(c3e4(b8d7(g1f3(f8e7(f1c4(g8f6(d1e2(e8g8(e4f6(e7f6)))))))))))(f8b4(e4d5(e6d5(f1d3(g8e7(g1f3(c8g4(e1g1(b8c6(c3e2(b4d6))))))))))(e4e5(c7c5(a2a3(b4c3(b2c3(g8e7(a3a4(d8a5(c1d2(c5c4))))(g1f3(b7b6(a3a4(c8a6))))))))(c1d2(c5d4(c3b5(b4d2(d1d2(b8c6(g1f3(f7f6)))))))))(g8e7(c1d2(c7c5(a2a3(b4c3(d2c3(c5d4(d1d4(b8c6))))))))))(g1e2(d5e4(a2a3(b4e7(c3e4(g8f6(e2c3(b8d7(c1f4(f6e4)))))))))))(g8f6(c1g5(f8b4(e4d5(d8d5(g5f6(b4c3(b2c3(g7f6(g1f3(c8d7))))))))(e4e5(h7h6(e5f6(h6g5(f6g7(h8g8(d1h5(d8f6))))))(g5d2(b4c3(b2c3(f6e4(d1g4(e8f8))))))))))(e4d5(e6d5(f1d3(c7c5(d4c5(f8c5(g1f3(e8g8(e1g1(b8c6))))))))))))(b1d2(c7c5(e4d5(d8d5(g1f3(c5d4(f1c4(d5d6(e1g1(b8c6(d2b3(c8d7)(g8f6)))(g8f6(d2b3(b8c6)))))))))(e6d5(f1b5(c8d7(d1e2(f8e7(d4c5(g8f6(d2b3(e8g8))))))))(g1f3(b8c6(f1b5(d8e7(b5e2(c5d4(e1g1(e7c7))))))))))(g1f3(b8c6(e4d5(e6d5(f1b5(d8e7(b5e2(c5d4(e1g1(e7d8)))))(f8d6(e1g1(g8e7(d4c5(d6c5)))))))))(c5d4(e4d5(d8d5(f1c4(d5d6(e1g1(g8f6(d2b3(b8c6)))))))))))(g8f6(e4e5(f6d7(f1d3(c7c5(c2c3(b8c6(g1e2(d8b6(d2f3(c5d4)))))))))(f6g8(f1d3(b7b6(c2c3(g8e7(g1e2(d8d7(d2f3(c8a6))))))))))))(e4d5(e6d5(g1f3(f8d6(f1d3(g8f6(d1e2(d6e7(e1g1(e8g8(f3e5(f8e8))))))))))))))(f2f4(d7d5(e4e5(c7c5(g1f3(b8c6(c2c3(f7f6(b1a3(g8h6(a3c2(h6f7(d2d4(d8b6)))))))))))))))(g7g6(d2d4(f8g7(b1c3(c7c6(g1f3(d7d5(h2h3(g8h6(f1d3(e8g8(e1g1(f7f6(c3e2(d5e4)))))))))))(d7d6(g1f3(b8d7(c1e3(e7e5(d1d2(g8f6(h2h3(e8g8(e1c1(e5d4))))))(d4e5(d6e5(f1c4(g8f6(h2h3(e8g8)))))))))(c8g4(f1e2(b8d7(c1e3(e7e5(d4d5(g8e7(f3g5(g4e2)))))))))(e7e6(h2h4(h7h6(c1e3(a7a6(f1d3(b7b5(e4e5(c8b7))))))))))))(c1e3(c7c6(d1d2(d7d5(e4e5(h7h5(c2c3(g8h6(b1a3(c6c5(d4c5(b8c6))))))))))))(c2c4(d7d6(b1c3(b8d7(g1f3(e7e6(g2g3(a7a6(f1g2(a8b8(a2a4(a6a5))))))))))))(g1f3(d7d6(f1e2(g8f6(b1c3(c8g4(c1e3(e8g8(e1g1(b8c6(d1d2(f8e8))))))))))))))(g1f3(f8g7(f1c4(c7c5(e1g1(b8c6(c2c3(d8b6(f1e1(d7d6(c4b3(g8f6(d2d4(c5d4)))))))))))))))(g8f6(b1c3(d7d5(e4e5(f6d7(d2d4(e7e6(g1f3(c7c5(d4c5(b8c6(c1f4(f8c5(f1d3(h7h6))))))))))))))(e4e5(f6d5(b1c3(d5c3(d2c3(b8c6(g1f3(d7d6(f1c4(d6e5(d1d8(c6d8(f3e5(f7f6)))))))))(d7d5(g1f3(c7c5(c1f4(b8c6(d1d2(c8g4(e1c1(e7e6))))))))))))(c2c4(d5b6(c4c5(b6d5(f1c4(e7e6(b1c3(d7d6(c3d5(e6d5(c4d5(c7c6))))))))))))(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(b8c6(c2c4(d5b6(e5d6(e7d6(e1g1(f8e7)))))))(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)))))))))))))))(d7d5(e2e3(g7g6(c2c4(g8f6(b1c3(f8g7(g1f3(e8g8(d1b3(d5c4(f1c4(b8c6(f3e5(e7e6))))))))))))))(g1f3(g8f6(e2e3(g7g6(b2b4(f8g7(c1b2(e8g8(f1e2(c8g4(e1g1(c7c6(a2a4(b8d7)))))))))))))))(g8f6(g1f3(g7g6(b2b3(f8g7(c1b2(e8g8(d2d3(d7d5(b1d2(f6g4(b2g7(g4e3(d1c1(g8g7))))))))(e2e3(c7c5(f1e2(b8c6(e1g1(d7d5(d1e1(d5d4))))))))))))(d2d3(d7d5(b1d2(d5d4(c2c3(d4c3(b2c3(f6d5(d1a4(b8c6(f3e5(f8g7)))))))))))(f8g7(e2e4(e8g8(f1e2(c7c5(e1g1(b8c6(a2a4(d7d6(d1e1(c5c4))))))))))))))))(g1f3(b7b6(g2g3(c8b7(d2d4(e7e6(f1g2(d7d6(e1g1(b8d7(c2c4(g7g6(b1c3(f8g7(e2e4(g8e7)))))))))))))))(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)))))))))))(g8f6(e2e3(e7e6(d2d4(d7d5(d4c5(f8c5(a2a3(d5c4(d1d8(e8d8)))))))))))))(e7e6(g2g3(d7d5(f1g2(b8c6(e1g1(d5d4(d2d3(g8f6(e2e3(e6e5(e3d4(e5d4)))))))))))))(g7g6(e2e4(f8g7(d2d4(c5d4(f3d4(b8c6(c1e3(g8h6(b1c3(e8g8(f1e2(f7f5))))))))))))))(g2g3(d7d5(f1g2(b8c6(e1g1(e7e5(d2d3(f7f6(c2c4(g8e7(c4d5(e7d5(b1c3(c8e6))))))(e2e4(d5d4(f3h4(c8e6(f2f4(d8d7)))))))))))))(g7g6(f1g2(f8g7(c2c4(b8c6(b1c3(e7e6(b2b3(g8e7(c1b2(e8g8(c3a4(e6e5))))))))))(e1g1(b8c6(c2c4(e7e6(b1c3(g8e7(e2e3(e8g8(d2d4(c5d4)))))))))))))))(d7d5(b2b3(c7c5(c1b2(b8c6(e2e3(a7a6(d2d4(c5d4(f3d4(g8f6(b1d2(e7e6(f1e2(f8d6)))))))))))))(c8g4(f3e5(g4h5(g2g4(f7f6(g4h5(f6e5(c1b2(d8d6(f1h3(g8f6(e2e3(b8d7))))))))))))))(c2c4(c7c6(b2b3(c8f5(g2g3(g8f6(f1g2(e7e6(e1g1(b8d7(c1b2(f8d6(d2d3(e8g8)))))))))))(c8g4(c1b2(g8f6(f3e5(g4h5(g2g3(e7e6(f1g2(f8e7(e1g1(b8d7))))))))))))(e2e3(g8f6(b1c3(b8d7(c4d5(c6d5(d2d4(e7e6(f1d3(f8d6(e1g1(e8g8))))))))(d2d4(e7e6(f1d3(d5c4(d3c4(b7b5(c4d3(b5b4)))))))))(c8g4(c4d5(f6d5(f1e2(e7e6(d2d4(b8d7(e1g1(d8c7)))))))))))))(d5d4(b2b4(g7g6(c1b2(f8g7(g2g3(e7e5(d2d3(a7a5(b4b5(b7b6(f1g2(c8b7))))))))))))(e2e3(c7c5(b2b4(f7f6(e3d4(c5d4(d2d3(e7e5(a2a3(a7a5(b4b5(b8d7)))))))))))))(e7e6(b2b3(g8f6(g2g3(f8e7(f1g2(c7c5(e1g1(b8c6(d2d3(e8g8(b1a3(c8d7))))))))))))(d2d4(f8e7(b1c3(f7f5(g2g3(g8f6(f1g2(c7c6(e1g1(e8g8(c1g5(b8d7)))))))))(g8f6(c1g5(h7h6(g5f6(e7f6(e2e3(e8g8(d1d2(b8c6)))))))))))(g8f6(b1c3(f8e7(c1f4(e8g8(e2e3(c7c5(d4c5(e7c5(f1e2(b8c6))))))))(c1g5(h7h6(g5f6(e7f6(e2e3(e8g8(a1c1(c7c6))))))))))))(g2g3(g7g6(f1g2(f8g7(e1g1(g8e7(c4d5(e6d5(d2d4(e8g8(b1c3(b8c6)))))))))))(g8f6(f1g2(f8e7(e1g1(e8g8(b2b3(c7c5(e2e3(b8c6(c1b2(b7b6))))))(d2d4(b8d7(d1c2(c7c6(b1d2(b7b5)(b7b6))(b2b3(b7b6)))))(c7c6(b1c3(b8d7(b2b3(b7b6))))(d1c2(b8d7(b2b3(b7b6))))))))))))))(d2d4(e7e6(c2c4(f7f5(g2g3(g8f6(f1g2(f8e7(e1g1(e8g8(d1c2(b8c6(a2a3(a7a5)))))))))))(g8f6(b1c3(f8e7(c1g5(h7h6(g5f6(e7f6(e2e3(e8g8(a1c1(c7c6))))))(g5h4(e8g8(e2e3(b7b6(c4d5(f6d5))))))))))(g2g3(f8b4(c1d2(b4d2(b1d2(e8g8(f1g2(b8d7(e1g1(c7c6)))))))))))))(g8f6(c2c4(c7c6(e2e3(e7e6(f1d3(b8d7(b1d2(f8b4(e1g1(e8g8(e3e4(b4d2)))))))))))(d5c4(e2e3(e7e6(f1c4(c7c5(e1g1(a7a6(d4c5(d8d1(f1d1(f8c5)))))))))))(e7e6(b1c3(f8e7(c1g5(e8g8(e2e3(h7h6(g5h4(b7b6(a1c1(c8b7)))))))(h7h6(g5f6(e7f6(e2e3(c7c6(a1c1(e8g8))))))(g5h4(e8g8(e2e3(b7b6(a1c1(c8b7))(f1d3(c8b7))))))))))(c1g5(f8e7(b1c3(h7h6(g5h4(e8g8(a1c1(f6e4(h4e7(d8e7))))))))))(g2g3(f8b4(c1d2(b4e7(f1g2(e8g8(e1g1(b8d7(d1b3(c7c6))(d1c2(c7c6)))))))))(f8e7(f1g2(e8g8(d1c2(b8d7(e1g1(c7c6(f1d1(d8b6))))))))))))))(g2g3(c7c5(c2c4(d5c4(d1a4(b8c6(f1g2(c8d7(a4c4(e7e6(e1g1(g8f6(d2d3(f8e7))))))))))))(f1g2(b8c6(d2d4(g8f6(e1g1(e7e6(b2b3(c5d4(f3d4(f8c5(c1b2(c5d4))))))))))(e1g1(e7e5(d2d3(f7f6(c2c4(d5d4(e2e3(c8e6(e3d4(c5d4))))))(e2e4(d5d4(f3h4(c8e6(f2f4(d8d7)))))))))))))(c7c6(f1g2(c8f5(b2b3(e7e6(c1b2(g8f6(e1g1(f8e7(d2d3(e8g8(b1d2(h7h6))))))))))(d2d3(g8f6(b1d2(e7e6(e1g1(f8e7(d1e1(h7h6(e2e4(f5h7))))))))))(e1g1(g8f6(d2d3(e7e6(b1d2(f8e7(d1e1(h7h6(e2e4(f5h7)))))))(h7h6(c2c4(d5c4(d3c4(b8d7(b2b3(e7e6)))))))))))))(g8f6(f1g2(g7g6(b2b4(f8g7(c1b2(e8g8(e1g1(c8g4(c2c4(c7c6(b1a3(b8d7)))))))))))))))(d7d6(d2d4(g8f6(b1c3(c8f5(f3h4(f5d7(g2g3(g7g6(f1g2(b8c6(d4d5(c6b4(e1g1(f8g7)))))))))))))))(e7e6(c2c4(f7f5(g2g3(g8f6(f1g2(f8e7(e1g1(e8g8(d2d4(d7d5(b2b3(b8c6(c1b2(c8d7))))))))))))))(g2g3(b7b6(f1g2(c8b7(c2c4(f7f5(e1g1(g8f6(d2d4(f8e7(d4d5(e8g8(f3d4(d8c8)))))))))))))(f7f5(f1g2(g8f6(b2b3(a7a5(a2a3(d7d5(e1g1(f8e7(c1b2(e8g8(d2d3(c7c5)))))))))))))))(g7g6(c2c4(f8g7(b1c3(c7c5(d2d4(c5d4(f3d4(b8c6(e2e3(g8f6(f1e2(e8g8(e1g1(c6d4))))))))))))(d2d4(d7d6(b1c3(b8d7(e2e4(e7e6(f1e2(b7b6(e1g1(c8b7(c1e3(g8e7))))))))))))))(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(b7b6(g2g3(c8b7(f1g2(c7c5(b1c3(g7g6(e1g1(f8g7(d2d4(c5d4(d1d4(b8c6))))))))(e1g1(g7g6(b1c3(f8g7(d2d4(c5d4(f3d4(b7g2))))))(b2b3(f8g7(c1b2(e8g8(b1c3(e7e6)))))))))(e7e6(e1g1(d7d5(c4d5(e6d5(d2d4(f8e7(d1a4(c7c6)))))))(f8e7(b1c3(e8g8(f1e1(d7d5(c4d5(e6d5)))))))))(g7g6(e1g1(f8g7(d2d4(e7e6(b1c3(f6e4(c3e4(b7e4)))))))))))))(c7c5(g2g3(b7b6(f1g2(c8b7(e1g1(g7g6(d2d4(c5d4(f3d4(b7g2(g1g2(f8g7)))))))))))))(d7d6(b1c3(c8g4(d2d4(b8d7(e2e4(e7e5(f1e2(e5d4(f3d4(g4e2(d1e2(g7g6)))))))))))))(e7e6(b1c3(b7b6(e2e4(c8b7(d2d3(d7d6(g2g3(g7g6(f1g2(f8g7(e1g1(c7c5))))))))))(g2g3(c8b7(f1g2(f8b4(d1c2(e8g8(e1g1(d7d5(c4d5(e6d5)))))))))))(d7d5(d2d4(f8b4(c4d5(e6d5(c1g5(h7h6(g5h4(c7c5(e2e3(b8c6)))))))))(f8e7(c1f4(e8g8(a1c1(c7c5(d4c5(e7c5(c4d5(e6d5))))))(e2e3(b8d7(a1c1(c7c6(h2h3(a7a6))))(a2a3(c7c6(h2h3(a7a6))))))))(c1g5(e8g8(e2e3(h7h6(g5h4(b7b6(f1e2(c8b7)))))))(h7h6(g5f6(e7f6(e2e3(c7c6(f1d3(e8g8))))))(g5h4(e8g8(e2e3(b7b6(f1d3(c8b7))))))))))))(b2b3(d7d5(c1b2(f8e7(g2g3(e8g8(f1g2(c7c5(c4d5(e6d5(d2d4(b8c6)))))))))))(f8e7(c1b2(e8g8(g2g3(d7d5(f1g2(c7c5(e1g1(b8c6(c4d5(e6d5))))))))))))(d2d4(b7b6(e2e3(c8b7(f1d3(f8e7(e1g1(e8g8(b2b3(d7d5(c1b2(c7c5)))))))))))(d7d5(b1c3(f8e7(c1g5(h7h6(g5f4(e8g8(e2e3(b7b6(c4d5(f6d5))))))))(g2g3(e8g8(f1g2(b8d7(d1d3(c7c6(e1g1(b7b6))))))))))(e2e3(b8c6(b1c3(f8b4(c1d2(e8g8(a2a3(b4c3(d2c3(f6e4))))))))))))(g2g3(b7b6(f1g2(c8b7(e1g1(c7c5(b2b3(b8c6(c1b2(f8e7(b1c3(e8g8)))))))(f8e7(b1c3(e8g8(d2d4(e7b4(d1b3(b4c3)))))))))))(d7d5(b2b3(c7c5(f1g2(b8c6(e1g1(f8e7(c4d5(e6d5(d2d4(e8g8))))(e2e3(e8g8(d1e2(b7b6))))))))))(d2d4(f8b4(c1d2(b4e7(f1g2(e8g8(e1g1(c7c6(d1b3(b8d7)))))))))(f8e7(f1g2(e8g8(e1g1(b8d7(d1c2(c7c6(c1f4(a7a5))))))))))(f1g2(b8d7(b2b3(f8e7(c1b2(e8g8(e1g1(b7b6(d2d4(c8b7)))))))))(d5d4(b2b4(c7c5(c1b2(b8c6(b4b5(c6e7(e2e3(d4e3)))))))))(f8e7(e1g1(e8g8(d2d4(d5c4(d1c2(a7a6(a2a4(b7b6)))))))))))(f8e7(f1g2(e8g8(e1g1(d7d5(b2b3(c7c5(c1b2(b8c6(e2e3(b7b6))))))(d2d4(b8d7(d1d3(b7b6(c4d5(e6d5)))))))))))))(g7g6(b1c3(f8g7(d2d4(e8g8(c1f4(d7d5(d1b3(d5c4(b3c4(c7c6(e2e4(b8d7))))))))))(e2e4(d7d6(d2d4(e8g8(f1e2(c7c5(e1g1(c8g4(d4d5(b8d7)))))(c8g4(c1e3(b8c6(d4d5(g4f3))(e1g1(f8e8)))))(e7e5(e1g1(e5d4(f3d4(f8e8))))))))))(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)))(f8e8(b1c3(c7c6))))))))))))(b2b4(f8g7(c1b2(e8g8(g2g3(b7b6(f1g2(c8b7(e1g1(d7d6(d2d3(b8d7))))))))))))(d2d4(f8g7(b1c3(e8g8(e2e4(d7d6(f1e2(c7c5(e1g1(c8g4(d4d5(b8d7))))))))))))(g2g3(f8g7(f1g2(e8g8(b1c3(d7d6(e1g1(c7c6(d2d4(c8f5(f3h4(f5d7))))))))(d2d4(d7d6(e1g1(b8c6(b1c3(e7e5(d4d5(c6e7)))))(c7c5(b1c3(b8c6(d4d5(c6a5))))))))(e1g1(c7c5(d2d4(d7d6(d4c5(d6c5(b1c3(b8c6)))))))(c7c6(d2d4(d7d5(c4d5(c6d5(f3e5(c8f5)))))))(d7d6(b1c3(b8c6(d2d3(a7a6(f3d2(a8b8)))))(e7e5(d2d4(b8d7(e2e4(e5d4))))))(d2d4(b8c6(b1c3(e7e5(d4e5(c6e5)))))(b8d7(b1c3(e7e5(d4e5(d6e5))(e2e4(e5d4))))))))))))))(d2d4(b7b6(c1g5(c8b7(e2e3(e7e6(f1d3(c7c5(c2c3(f8e7(b1d2(e8g8(d1c2(h7h6))))))))))))(c2c4(c8b7(b1c3(e7e6(a2a3(d7d5(c4d5(e6d5(c1g5(f8e7(e2e3(e8g8)))))))))))))(d7d5(c1f4(c7c5(e2e3(b8c6(c2c3(d8b6(d1c1(c8f5(f3h4(f5e4(b1d2(e7e6))))))))))))(c2c4(d5c4(e2e3(e7e6(f1c4(c7c5(e1g1(a7a6(d4c5(d8d1(f1d1(f8c5)))))))))))(e7e6(c1g5(f8e7(b1c3(h7h6(g5f6(e7f6(e2e3(e8g8(a1c1(b7b6)))))))))))))(e7e6(c2c4(b7b6(a2a3(c8b7(b1c3(g7g6(d4d5(f8g7(g2g3(e8g8(f1g2(c7c6))))))))))(g2g3(c8b7(f1g2(f8b4(c1d2(b4d2(b1d2(e8g8(e1g1(c7c5)))))))))))(d7d5(b1c3(c7c6(e2e3(b8d7(f1d3(a7a6(e1g1(d5c4(d3c4(b7b5)))))))))))))(g7g6(b1c3(d7d5(c1f4(f8g7(e2e3(e8g8(h2h3(c7c5(d4c5(b8d7(f1e2(d7c5))))))))))))(c2c4(f8g7(b1c3(e8g8(e2e4(d7d6(f1e2(e7e5(d4d5(b8d7(c1g5(h7h6))))))))))))(e2e3(f8g7(f1d3(e8g8(e1g1(d7d6(e3e4(b8d7(h2h3(c7c5(c2c3(e7e5))))))))))))))(g2g3(b7b5(a2a4(b5b4(d2d3(c8b7(e2e4(d7d6(f1g2(b8d7(e1g1(e7e6(a4a5(a8b8))))))))))))(f1g2(c8b7(e1g1(c7c5(d2d3(d7d6(b2b3(e7e6(c1b2(f8e7(c2c4(b5c4)))))))))(g7g6(b2b3(f8g7(c1b2(e8g8(d2d4(d7d6(b1d2(b8d7)))))))))))))(b7b6(f1g2(c8b7(e1g1(g7g6(c2c4(f8g7(d2d4(e7e6(b1c3(f6e4(c3e4(b7e4)))))))))))))(c7c5(f1g2(b8c6(c2c4(e7e5(b1c3(f8e7(e1g1(e8g8(d2d3(d7d6(a1b1(a8b8))))))))))(d2d4(e7e6(e1g1(f8e7(c2c4(c5d4(f3d4(e8g8(b1c3(a7a6)))))))))))))(d7d5(f1g2(c7c6(d2d3(c8f5(e1g1(e7e6(b2b3(f8e7(c1b2(e8g8(b1d2(h7h6))))))))))(e1g1(c8f5(d2d3(e7e6(b1d2(f8e7(b2b3(e8g8(c1b2(h7h6)))))))))(c8g4(c2c4(e7e6(d2d3(f8e7(c1e3(b8d7(d1b3(d8c8)))))))))))))(g7g6(b2b3(f8g7(c1b2(e8g8(f1g2(c7c5(c2c4(b8c6(e1g1(d7d6(b1c3(c8g4)))))))(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(e8g8(e1g1(b8c6(b1c3(d7d6(d2d4(a7a6(d4d5(c6a5))))))))))))(f1g2(d7d5(d2d4(f8g7(c2c4(d5c4(d1a4(f6d7(e1g1(b8c6(a4c4(e8g8)))))))))))(f8g7(d2d4(e8g8(e1g1(d7d6(b2b3(a7a5(c2c4(a5a4(b3b4(c7c5))))))))))(e1g1(e8g8(c2c4(c7c6(d2d4(d7d5(c4d5(c6d5(f3e5(c8f5)))))))(d7d6(b1c3(b8c6(d2d3(e7e5(e2e4(c8g4)))))(e7e5(d2d4(b8d7(h2h3(f8e8))))))(d2d4(b8d7(b1c3(e7e5(d1c2(f8e8))(e2e4(e5d4)))))(c7c5(h2h3(c5d4(f3d4(b8c6))))))))(d2d3(d7d6(e2e4(c7c5(b1c3(b8c6(h2h3(a8b8))))(c2c3(b8c6(f3e1(a8b8))))))))(d2d4(d7d6(b2b3(a7a6(c1b2(b7b5(b1d2(c8b7))))))(c2c4(b8c6(b1c3(a7a6(h2h3(a8b8))))(d4d5(c6a5(f3d2(c7c5)))))(b8d7(b1c3(e7e5(b2b3(f8e8))(e2e4(c7c6)(e5d4))))))))))))))))(g2g3(c7c5(f1g2(b8c6(d2d3(g7g6(e2e4(f8g7(f2f4(e7e6(g1f3(g8e7(e1g1(a8b8(b1d2(d7d6)))))))))))))))(d7d5(g1f3(c7c6(f1g2(c8f5(e1g1(g8f6(d2d3(e7e6(c2c4(f8e7(d1b3(d8b6(b3b6(a7b6)))))))))))))))(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))))))))))))))))
