(b2b3(d7d5(c1b2(c7c5(g1f3(b8c6(e2e3(g8f6(f1b5(c8d7(e1g1(e7e6(d2d3(f8e7(b5c6))))))))))))(g8f6(g1f3(e7e6(g2g3(f8e7(f1g2(e8g8(e1g1(c7c5(c2c4(b8c6(c4d5))))))))))))))(e7e5(c1b2(b8c6(c2c4(g8f6(e2e3(f8e7(a2a3(e8g8(d1c2(f8e8(d2d3(e7f8(g1f3)))))(d2d3(d7d5(c4d5(d8d5(b1c3))))))))))))(d7d6(c2c4(g8f6(g2g3(g7g6(f1g2(f8g7(b1c3(e8g8(e2e3(b8d7(g1e2)))))))))))))))(b2b4(e7e5(c1b2(f7f6(e2e4(f8b4(f1c4(g8e7(d1h5(e7g6(f2f4(e5f4(g1f3(b8c6(b1c3))))))))))))))(e7e6(c1b2(d7d5(g1f3(g8f6(b4b5(b7b6(g2g3(a7a6(a2a4(a6b5(a4b5(a8a1(b2a1))))))))))))))(g8f6(c1b2(e7e6(b4b5(d7d5(g1f3(c7c6(e2e3(c6b5(f1b5(c8d7(b5d7(b8d7(e1g1)))))))))))))))(c2c4(c7c5(b1c3(b8c6(g1f3(g8f6(g2g3(g7g6(f1g2(f8g7(e1g1(e8g8(d2d4(c5d4(f3d4)))))))))))))(b2b3(b8c6(g2g3(g8f6(f1g2(d7d5(c4d5(f6d5(f2f4(e7e6(c1b2(h7h5(g1h3))))))))))))))(e7e5(b1c3(g8f6(g2g3(c7c6(f1g2(f8c5(e2e3(e8g8(g1e2(a7a6(d2d4(e5d4(e3d4))))))))))))))(e7e6(g1f3(d7d5(d2d4(g8f6(b1c3(f8e7(c1f4(e8g8(e2e3(c7c5(d4c5(b8c6(c4d5)))))))(c1g5(e8g8(e2e3(h7h6(g5h4(b7b6(c4d5))))))(h7h6(g5h4(e8g8(e2e3(b8d7(a1c1))))))))))))(g8f6(g2g3(d7d5(f1g2(f8e7(e1g1(e8g8(d2d4(b8d7(b1d2(b7b6(c4d5))))))))))))))(g8f6(g2g3(c7c6(f1g2(d7d5(g1f3(c8f5(d1b3(d8b6(c4d5(b6b3(a2b3(c6d5(b1c3)))))))))))))))(d2d4(g8f6(c2c4(c7c6(b1c3(d7d5(c4d5(c6d5(c1f4(e7e6(e2e3(b8c6(f1b5(f8d6(f4d6))))))))))))(g7g6(b1c3(d7d6(g2g3(f8g7(f1g2(e8g8(g1f3(b8d7(e1g1(e7e5(e2e4)))))))))))))))(e2e4(b8c6(d2d4(e7e5(d4e5(c6e5(f2f4(e5g6(g1f3(f8c5(f1c4(g8f6(f4f5(g6e7(b1c3)))))))))))))(g1f3(d7d6(d2d4(c8g4(d4d5(c6b8(c2c4(e7e5(d5e6(f7e6(b1c3(b8c6(f1e2))))))))))))(e7e6(d2d4(d7d5(b1c3(g8f6(e4d5(e6d5(f1b5(f8e7(f3e5(c8d7(e5d7))))))))))))))(c7c5(b1c3(b8c6(g1e2(d7d6(d2d4(c5d4(e2d4(e7e6(c1e3(g8f6(d1d2(f8e7(f2f3))))))))))(e7e5(c3d5(g8e7(e2c3(e7d5(c3d5(f8e7(g2g3(d7d6(f1g2))))))))(g8f6(e2c3(f8e7(f1c4(e8g8(d2d3(h7h6(f2f4))))))))))(e7e6(d2d4(c5d4(e2d4(d8c7(f2f4(a7a6(c1e3(f8b4(d4c6))))))(g8f6(d4b5(f8b4(a2a3(b4c3(b5c3)))))))))(g2g3(d7d5(e4d5(e6d5(f1g2(d5d4(c3d5(g8f6(e2f4))))(g8f6(d2d4(c5d4(e2d4))))))))))))(e7e6(g1e2(b8c6(g2g3(d7d5(e4d5(e6d5(d2d3(g8f6(f1g2(f8e7(c1g5))))))))))(d7d6(g2g3(g8f6(f1g2(b8c6(e1g1(a7a6(d2d3(f8e7(h2h3)))))))))))))(g1f3(a7a6(c2c4(b8c6(d2d4(c5d4(f3d4(g8f6(b1c3(e7e5(d4f5(d7d5(c4d5)))))))))))(d2d4(c5d4(c2c3(d4c3(b1c3(b8c6(f1c4(d7d6(e1g1(g8f6(c1g5))))))))))))(b7b6(d2d4(c5d4(f3d4(c8b7(b1c3(e7e6(f1d3(f8b4(d1g4(d8f6(c1e3))))))))))))(b8c6(b1c3(d7d6(d2d4(c5d4(f3d4(g8f6(f1c4(d8b6(d4c6(b7c6(e1g1))))))))))(g7g6(d2d4(c5d4(f3d4(f8g7(c1e3(g8f6(f1c4(d7d6(f2f3))))))))))(g8f6(d2d4(c5d4(f3d4(e7e5(d4b5(d7d6(c1g5(a7a6(g5f6)))))))))))(d2d3(e7e6(g2g3(g7g6(f1g2(f8g7(e1g1(g8e7(b1d2(e8g8(f1e1)))))))))))(d2d4(c5d4(f3d4(a7a6(b1c3(e7e6(f1c4(d8c7(c4b3(b7b5(e1g1))))))))(c6d4(d1d4(d7d6(c2c4(e7e5(d4d3(g8f6(b1c3))))))(e7e6(b1c3(d8c7(c3b5(c7c2(c1f4))))))))(d7d5(d4c6(b7c6(e4d5(d8d5(b1d2(e7e6(f1e2)))))))(f1b5(d5e4(d4c6(d8d1(e1d1(a7a6(b5a4))))))))(d7d6(b1c3(a7a6(f1c4(g7g6(c1e3(f8g7(d1d2))))))))(d8b6(d4b3(g8f6(b1c3(e7e6(f1e2(f8b4(e1g1))))))))(d8c7(b1c3(e7e6(g2g3(a7a6(f1g2(g8f6(e1g1))))))))(e7e5(d4b5(a7a6(b5d6(f8d6(d1d6(d8f6(d6d1))))))(d7d6(b1c3(g8f6(c1g5(f8e7(g5f6))))))))(e7e6(b1c3(d8c7(c1e3(g8f6(f1d3(a7a6(e1g1)))))(g2g3(a7a6(f1g2(g8f6(e1g1))))(g8f6(d4b5(c7b8(c1f4)))))))(d4b5(d7d6(c1f4(e6e5(f4e3(a7a6(b5a3)(b5c3))(g8f6(b1c3)(e3g5)))))(c2c4(a7a6(b5c3(g8f6(f1e2))))(g8f6(b5c3(f8e7(g2g3))))))))(g7g6(b1c3(f8g7(c1e3(g8f6(f1c4(c6a5(c4b3))(e8g8(c4b3)(f2f3)))(f1e2(e8g8(f2f4)))))))(c1e3(f8g7(b1c3(g8f6(f1c4(e8g8(c4b3)))))))(c2c4(g8f6(b1c3(c6d4(d1d4(d7d6(f1e2))))))))(g8f6(b1c3(a7a6(d4c6(d7c6(d1d8(e8d8(c1f4)))))(f1c4(e7e6(e1g1(d7d6(c1e3))))))(d7d6(c1g5(e7e6(d1d2(a7a6(e1c1)))(f1b5(c8d7(b5c6))))(g7g6(g5f6(e7f6(f1c4)))))(f1c4(c6a5(c4d3(e7e5(d3b5))))(c8d7(c4b3(e7e6(e1g1))(g7g6(f2f3))))(d8b6(d4b3(e7e6(e1g1)))(d4e2(e7e6(e1g1))))(e7e5(d4f5(c8e6(c4b3))))(e7e6(c1e3(f8e7(e1g1)))(c4b3(f8e7(c1e3)(e1g1))))(g7g6(d4c6(b7c6(e4e5)))))(f1e2(g7g6(c1e3(f8g7(f2f3))))))(e7e5(d4b5(d7d6(c1g5(a7a6(g5f6))))))(e7e6(d4b5(f8b4(a2a3(b4c3(b5c3)))(b5d6(e8e7(d6c8))))))(g7g6(c1e3(f8g7(f1c4(c6a5(c4e2))(d7d6(f2f3)))))(d4c6(b7c6(e4e5(f6g8(f1c4)))))))))))(f1b5(a7a6(b5c6(b7c6(b1c3(d7d5(b2b3(c8g4(h2h3(g4f3(d1f3))))))))))(g7g6(b5c6(b7c6(e1g1(f8g7(f1e1(e7e5(b2b4(c5b4(a2a3))))(f7f6(c2c3(g8h6(d2d4)))))))))(c2c3(g8f6(d1e2(f8g7(e4e5(f6d5(e2c4(d5c7(b5c6))))))))))))(d7d6(b1c3(b8c6(d2d4(c5d4(f3d4(g8f6(c1g5(e7e6(d1d2(a7a6(e1c1)))))))))))(d2d4(c5d4(f3d4(c8d7(b1c3(b8c6(f1c4(g8f6(e1g1(g7g6(f2f4))))))))(g7g6(b1c3(f8g7(c1e3(g8f6(f2f3(b8c6(d1d2))(e8g8(d1d2))))))))(g8f6(b1c3(a7a6(c1g5(e7e6(f2f4(d8b6(d1d2)))))(f1c4(e7e6(c1e3(b8d7(f2f4))(f8e7(c4b3)))(c4b3(b7b5(e1g1)(f2f4))(b8c6(c1e3)(f2f4))(b8d7(f2f4))(c8d7(f2f4))(f8e7(c1e3)(f2f4)))(e1g1(b7b5(c4b3))(c8d7(c4b3))(d8c7(c4b3))(f8e7(c1e3)(c4b3)))))(f1e2(e7e5(d4b3(f8e7(c1g5))))(e7e6(f2f4(b7b5(e2f3))))(g7g6(e1g1(f8g7(c1e3)))))(f2f4(d8c7(f1e2(e7e6(e1g1))))(e7e5(d4f5(c8f5(e4f5)))))(g2g3(e7e6(f1g2(f8e7(e1g1)))))(h2h3(b7b5(c3d5(c8b7(d5f6))))(b8c6(g2g4(c6d4(d1d4))))(e7e5(d4e2(c8e6(g2g4))))(g7g6(g2g4(f8g7(g4g5))))))(b8c6(c1g5(e7e6(d1d2(f8e7(e1c1)))))(f1c4(e7e6(c1e3(a7a6(c4b3))(f8e7(c4b3)(d1e2)))(c4b3(a7a6(f2f4))(f8e7(c1e3)(e1g1)(f2f4)))(e1g1(f8e7(c4b3))))))(e7e6(f1c4(a7a6(c4b3(b7b5(e1g1)))))(g2g4(a7a6(g4g5(f6d7(c1e3))))(b8c6(g4g5(f6d7(c1e3)(d4b5))))(d6d5(e4d5(f6d5(f1b5))))(e6e5(d4f5(g7g6(f5e3))))))(g7g6(c1e3(b8c6(f2f3(f8g7(d1d2))))(f8g7(f2f3(b8c6(d1d2))(e8g8(d1d2))))))))))(g8f6(b1c3(c5d4(f3d4(g7g6(c1e3(f8g7(f2f3(b8c6(d1d2)))))))))))(f1b5(c8d7(b5d7(b8d7(e1g1(g7g6(c2c3(g8f6(f1e1(f8g7(d2d4))))))))(d8d7(e1g1(b8c6(d1e2(g7g6(c2c3(f8g7(f1d1))))))))))))(e7e6(c2c4(b8c6(b1c3(g8f6(g2g3(g7g6(f1g2(f8g7(e1g1(e8g8(d2d3)))))))))))(d2d3(b8c6(g2g3(d7d5(b1d2(f8d6(f1g2(g8e7(e1g1(e8g8(f3h4))))))))(g7g6(f1g2(f8g7(e1g1(g8e7(f1e1(d7d6(c2c3))))))))(g8e7(f1g2(g7g6(e1g1(f8g7(c2c3(d7d5(d1e2))))))))(g8f6(f1g2(f8e7(e1g1(e8g8(b1d2(a8b8(f1e1))))))))))(d7d6(g2g3(g8e7(f1g2(g7g6(d3d4(f8g7(d4c5(d8a5(b1c3)))))))))))(d2d4(c5d4(f3d4(a7a6(b1c3(d8c7(f1d3(b8c6(d4b3(g8f6(c1e3)))))))(c2c4(d8c7(b1c3(g8f6(f1d3(b8c6(c1e3))))))(g8f6(b1c3(d8c7(f1e2(f8b4(d4c2))))(f8b4(f1d3(d8b6(c1e3)))))))(f1d3(b8c6(d4c6(b7c6(e1g1(d7d5(c2c4))))))(d8c7(e1g1(b8c6(d4c6(b7c6(b1d2))))))(g8f6(e1g1(d7d6(c2c4(c8d7(b1c3))))))))(b8c6(b1c3(d7d6(f1c4(g8f6(c4b3(f8e7(c1e3)))))))(d4b5(d7d6(c1f4(e6e5(f4e3(a7a6(b5c3))(g8f6(e3g5))))))))(g8f6(b1c3(d7d6(f1c4(f8e7(e1g1(a7a6(c4b3)))))))))))(g2g3(g8f6(d2d3(d7d5(b1d2(f8e7(f1g2(e8g8(e1g1(b8c6(f1e1))))))))))))(g7g6(d2d4(c5d4(f3d4(f8g7(b1c3(b8c6(c1e3(g8f6(f1c4(d8a5(e1g1))))))))(g8f6(b1c3(f8g7(e4e5(f6g8(c1f4(b8c6(d4c6))))))))))(f8g7(b1c3(c5d4(f3d4(b8c6(c1e3(g8f6(f1c4(d7d6(f2f3))))))))))))(g8f6(b1c3(d7d5(e4d5(f6d5(f1b5(c8d7(f3e5(d7b5(c3b5(e7e6(d1f3)))))))))(f1b5(c8d7(e4e5(d5d4(e5f6(d4c3(f6g7(c3d2(d1d2))))))))))))))(c7c6(b1c3(d7d5(d2d4(d5e4(c3e4(c8f5(e4c5(d8c7(g1f3(b8d7(f1d3(f5d3(c5d3))))))(e7e5(c5b7(d8d4(d1d4(e5d4(f1d3))))))(e7e6(c5b7(d8c7(b7c5(g8f6(c5b3)))))))))))(g1f3(c8g4(h2h3(g4f3(d1f3(e7e6(d2d4(g8f6(f1d3(d5e4(c3e4))))))(g8f6(d2d3(e7e6(a2a3(b8d7(g2g4)))(g2g3(f8b4(c1d2))(f8e7(f1g2)))))(d2d4(d5e4(c3e4(f6e4(f3e4)))(f3e3(b8d7(c3e4))))))))(g4h5(e4d5(c6d5(f1b5(b8c6(g2g4(h5g6(f3e5))))))))))(d5e4(c3e4(b8d7(f1c4(g8f6(e4g5(f6d5(d2d4(h7h6(g5e4))))))))(c8g4(h2h3(g4f3(d1f3(b8d7(e4g5(g8f6(f3b3))))))))(g8f6(e4f6(e7f6(d2d4(f8d6(f1c4(e8g8(e1g1)))))(f1c4(f8d6(d1e2(d8e7(e2e7)))(e1g1(e8g8(d2d4))))))))))(g8f6(e4e5(f6e4(c3e2(d8b6(d2d4(c6c5(d4c5(b6c5(e2d4))))))))))))(d7d6(d2d4(b8d7(g1f3(e7e5(f1c4(f8e7(d4e5(d7e5(f3e5(d6e5(d1h5)))))))))))))(d2d3(d7d5(b1d2(b8d7(g1f3(d8c7(e4d5(c6d5(d3d4(g7g6(f1d3(f8g7(e1g1))))))))))(d5e4(d3e4(e7e5(g1f3(c8g4(h2h3(g4f3(d1f3(g8f6(f1d3))))))))(g8f6(g1f3(e7e6(f1d3(f8c5(e1g1(e8g8(d1e2))))))))))(e7e5(g1f3(b8d7(g2g3(g8f6(f1g2(g7g6(e1g1(d5e4(d3e4))))))))))(g7g6(g1f3(f8g7(g2g3(e7e5(f1g2(g8e7(e1g1(e8g8(f1e1))))))(g8f6(f1g2(e8g8(e1g1(c8g4(h2h3)))))))))(g2g3(f8g7(f1g2(e7e5(g1f3(g8e7(e1g1(e8g8(f1e1))))))(g8f6(g1f3(e8g8(e1g1(d5e4(d3e4))))))))))))(d7d6(f2f4(g8f6(g1f3(g7g6(g2g3(f8g7(f1g2(b8d7(e1g1(d8b6(g1h1)))))))))))))(d2d4(d7d5(b1c3(d5e4(c3e4(b8d7(g1f3(g8f6(e4f6(d7f6(f1c4(c8f5(d1e2)))(f3e5(e7e6(f1d3))))))))(c8f5(e4c5(b7b6(c5a6(b8a6(f1a6(d8c7(d1f3))))(e7e6(c1f4(f8d6(d1f3))))))(d8c7(f1d3(f5d3(c5d3(e7e6(c1f4)))))))(e4g3(f5g6(g1f3(g8f6(h2h4(h7h6(f1d3)))))(g1h3(g8f6(h3f4(e7e5(d4e5)))))(h2h4(h7h6(g1f3(b8d7(f1d3))))))))))(g7g6(e4e5(f8g7(f2f4(h7h5(g1f3(c8g4(h2h3(g4f3(d1f3)))))))))))(e4d5(c6d5(c2c4(g8f6(b1c3(b8c6(g1f3(c8g4(c4d5(f6d5(d1b3))))))(e7e6(g1f3(f8e7(c4c5(e8g8(b2b4))))))(g7g6(d1b3(f8g7(c4d5(e8g8(f1e2)))))))))(f1d3(b8c6(c2c3(g8f6(c1f4(c8g4(d1b3(c6a5(b3a4))))(g7g6(g1f3(f8g7(b1d2)))))))))(g1f3(g8f6(c2c3(c8f5(f1b5(b8d7(f3h4(f5g6(c1f4)))))))))))))(g1f3(d7d5(b1c3(c8g4(h2h3(g4f3(d1f3(e7e6(d2d4(b8d7(f1d3(d5e4(c3e4))))))(g8f6(d2d3(e7e6(a2a3(f8c5(f1e2))))))))))))))(d7d5(e4d5(d8d5(b1c3(d5a5(d2d4(c7c6(g1f3(g8f6(f1c4(c8g4(h2h3(g4f3(d1f3)))))(f1d3(c8g4(h2h3(g4f3(d1f3))))))))(g8f6(g1f3(b8c6(d4d5(c6b4(f1b5(c7c6(d5c6))))))))))(d5d8(d2d4(g7g6(c1f4(f8g7(d1d2(g8f6(e1c1(c7c6(f4h6))))))))(g8f6(f1c4(c8f5(d1f3(d8c8(c1g5(f5c2(a1c1))))))))))))(g8f6(c2c4(c7c6(d2d4(c6d5(b1c3(b8c6(c4c5(e7e6(f1b5(f8e7(g1f3)))))(g1f3(e7e6(c4c5(f8e7(f1b5))))))(e7e6(g1f3(f8e7(c4c5(e8g8(f1d3))))))(g7g6(g1f3(f8g7(c4c5(e8g8(b2b4)))))))))(d5c6(b8c6(b1c3(e7e5(d2d3(f8c5(f1e2(c8f5(g1f3)))))))))))(f1b5(c8d7(b5c4(d7g4(f2f3(g4f5(g2g4(f5c8(b1c3(b8d7(g4g5))))))))))))))(d7d6(d2d4(g7g6(b1c3(f8g7(f2f4(g8f6(g1f3(e8g8(f1e2(c7c6(e1g1(b8d7(e4e5)))))))))))(g1f3(f8g7(c2c3(g8f6(f1d3(e8g8(e1g1(b8c6(d1e2(e7e5(h2h3))))))))))))(g8f6(b1c3(g7g6(c1g5(f8g7(d1d2(b8d7(e1c1(e7e5(d4e5(d6e5(g1f3))))))(h7h6(g5f4(c7c6(e1c1(d8a5(c1b1)))))))))(f2f3(f8g7(c1e3(e8g8(d1d2(b8c6(e1c1(e7e5(d4d5)))))))))(f2f4(f8g7(g1f3(e8g8(f1d3(a7a6(e1g1(c8g4(h2h3))))(b8c6(e4e5(d6e5(f4e5))))(f6d7(e1g1(e7e5(d4e5)))))(f1e2(c7c5(d4c5(d8a5(e1g1))))))))))))))(e7e5(b1c3(b8c6(f1c4(f8c5(f2f4(g8f6(g1f3(d7d6(d2d3(e8g8(f4f5(c6d4(c1g5))))))))))(g8f6(f2f4(d7d6(g1f3(c8g4(c4b5(a7a6(b5c6(b7c6(h2h3))))))))(f8c5(g1f3(d7d6(d2d3(c8g4(h2h3(g4f3(d1f3))))))))))))(c7c6(d2d4(d8c7(d4e5(c7e5(g1f3(e5c7(f1d3(d7d6(e1g1(c8e6(f3d4))))))))))))(g8f6(f1c4(f6e4(d1h5(e4d6(c4b3(b8c6(d2d4(c6d4(c3d5(d4e6(h5e5))))))))))(f8c5(f2f4(d7d6(g1f3(b8c6(d2d3(e8g8(f4f5(c6a5(c1g5))))))(c8g4(h2h3(g4h5(g2g4(f6g4(h3g4)))))))))))(f2f4(d7d5(d1f3(f8c5(e4d5(c8g4(f3g3(e8g8(h2h3(g4d7(g1e2)))))))))(d2d3(d5e4(f4e5(f6d5(c3e4(b8c6(g1f3(c8g4(f1e2))))))))))(d7d6(g1f3(b8c6(f1b5(c8d7(d2d3(f8e7(b5c6(d7c6(f4e5)))))))))))(g2g3(d7d5(e4d5(f6d5(f1g2(c8e6(g1e2(c7c5(e1g1(b8c6(f2f4)))))))))))))(f1c4(b8c6(g1f3(g8f6(f3g5(d7d5(e4d5(f6d5(d2d4(f8e7(g5f7(e8f7(d1f3))))))))))))(g8f6(b1c3(b8c6(f2f4(f6e4(g1f3(e4c3(d2c3(f8e7(f4e5(d7d6(c1f4))))))))))(f8b4(f2f4(d7d6(g1f3(e5f4(d2d3(b4c3(b2c3(c8e6(c4e6))))))))))(f8c5(f2f4(d7d6(g1f3(c8g4(h2h3(g4f3(d1f3(b8c6(d2d3)))))))))))))(f2f4(d7d5(e4d5(e5e4(b1c3(g8f6(d1e2(c8g4(e2e3(g4f5(h2h3(f6d5(c3d5))))))(f6d5(e2e4(c8e6(f4f5(d5c3(b2c3)))))))))))(g1f3(d5e4(f3e5(b8d7(b1c3(g8f6(f1c4(d7e5(f4e5(d8d4(c4f7))))))))))))(e5f4(f1c4(d7d5(c4d5(g8f6(b1c3(b8c6(g1f3(f6d5(c3d5(g7g5(d2d4))))))(f8b4(g1f3(e8g8(e1g1(b4c3(d2c3))(f6d5(c3d5))))))))))(d8h4(e1f1(d7d6(b1c3(c8e6(d1e2(c7c6(g1f3(h4e7(d2d4))))))))))(g8e7(b1c3(c7c6(g1f3(d7d5(c4b3(d5e4(c3e4(e7d5(d1e2))))))))))(g8f6(b1c3(c7c6(c4b3(d7d5(e4d5(c6d5(d2d4(f8d6(g1e2))))))))(f8b4(g1f3(d8e7(d1e2(e8g8(e4e5(b4c3(d2c3)))))))))))(g1f3(d7d5(e4d5(g8f6(f1b5(c7c6(d5c6(b8c6(d2d4(f8d6(e1g1))))))))))(d7d6(d2d4(g7g5(f1c4(h7h6(e1g1(f8g7(c2c3(g8e7(g2g3))))))))))))(f7f5(e4f5(d7d6(d1h5(e8d7(f4e5(d6e5(g1f3(d8f6(b1c3(g8e7(c3e4))))))))))))(f7f6(f4e5(b8c6(d2d4(f8e7(e5f6(g7f6(d1h5(e8f8(f1c4(d8e8(c1h6))))))))))))(f8c5(g1f3(b8c6(f4e5(d7d6(d2d4(c5b6(e5d6(d8d6(c2c3(c8g4(f1d3))))))))))(g8f6(f4e5(f6e4(d2d4(c5b6(f1d3(e4c5(d4c5(b6c5(b1c3))))))))))))(g8f6(f4e5(f6e4(g1f3(e4g5(d2d4(g5f3(d1f3(d8h4(f3f2(h4f2(e1f2)))))))))))))(g1f3(b8c6(b1c3(g8f6(f1c4(f6e4(c4f7(e8f7(c3e4(d7d5(e4g5(f7g8(d2d4)))))))))))(d2d4(f8b4(c2c3(b4d6(f1c4(h7h6(e1g1(g8f6(d4e5(d6e5(f3e5)))))))))))(f1b5(a7a6(b5a4(b7b5(a4b3(c6a5(e1g1(a5b3(a2b3(d7d6(d2d4))))(d7d6(d2d4(a5b3(a2b3))))))(d7d6(e1g1(c8g4(c2c3(d8f6(a2a4))))))(g8e7(f3g5(d7d5(e4d5(c6d4(g5f7))))))))(d7d6(c2c3(c8d7(d2d4(g7g6(e1g1(f8g7(c1g5)(d4d5))))(g8e7(a4b3(h7h6(b1d2)(d1e2)(e1g1))))(g8f6(e1g1(f8e7(d4d5))))))(g8f6(e1g1(f8e7(d2d4(c8d7(b1d2)))))))(e1g1(c8g4(h2h3(g4h5(c2c3(d8f6(g2g4))))))))(g8f6(d2d3(d7d6(c2c3(f8e7(b1d2(e8g8(d2f1)))))))(e1g1(b7b5(a4b3(c8b7(d2d4(c6d4(f3d4))))(d7d6(c2c3(c8g4(h2h3))))(f8e7(d2d4(d7d6(c2c3)))(f1e1(d7d6(c2c3))(e8g8(h2h3))))))(f6e4(d2d4(b7b5(a4b3(d7d5(d4e5)(f3e5))(e5d4(f1e1))))))(f8e7(a4c6(d7c6(b1c3(c8g4(h2h3)))))(f1e1(b7b5(a4b3(d7d6(c2c3))(e8g8(c2c3)(h2h3))))(d7d6(a4c6(b7c6(d2d4)))(c2c3(b7b5(a4b3))(e8g8(d2d4)))))))))(b5c6(d7c6(e1g1(c8g4(h2h3(g4f3(d1f3(d8d7(d2d3))))))(f7f6(d2d4(c8g4(c2c3(e5d4(c3d4)))(d4e5(d8d1(f1d1))))(e5d4(f3d4(c6c5(d4b3)(d4e2))(g8e7(c1e3))))))))))(f7f5(b1c3(f5e4(c3e4(d7d5(f3e5(d5e4(e5c6(d8g5(d1e2))))))))))(f8b4(c2c3(b4c5(d2d4(e5d4(c3d4(c5b4(b1c3(b4c3(b2c3))))))))))(f8c5(e1g1(c6d4(f3d4(c5d4(c2c3(d4b6(d2d4(c7c6(b5a4))))))))))(g8e7(c2c3(d7d5(f3e5(d5e4(d1e2(d8d5(e5c6(e7c6(d2d4))))))))))(g8f6(e1g1(f6e4(d2d4(e4d6(b5c6(d7c6(d4e5(d6f5(d1d8)(d1e2)))))(c1g5(f8e7(g5e7(d8e7(b5c6)))))))))))(f1c4(f8c5(b2b4(c5b4(c2c3(b4a5(d2d4(d7d6(d1b3(d8d7(d4e5))))(e5d4(e1g1(a5b6(c3d4))(d4c3(d1b3))(d7d6(d1b3))(g8e7(f3g5))))))(b4c5(d2d4(e5d4(e1g1(d7d6(c3d4))))))(b4e7(d2d4(d7d6(d1b3(g8h6(c1h6)))(d4e5(c6e5(f3e5))(d6e5(d1b3))))))))(c5b6(a2a4(a7a6(c1b2(d7d6(b4b5(c6a5(c4a2))))))))))(g8f6(f3g5(d7d5(e4d5(c6a5(c4b5(c7c6(d5c6(b7c6(b5e2))))))(c6d4(c2c3(b7b5(c4f1(f6d5(c3d4))))))(f6d5(d2d4(e5d4(e1g1(f8e7(g5f7))))(f7f6(d4e5(c6e5(c4d5))))(f8e7(g5f7(e8f7(d1f3))))))))(f8c5(c4f7(e8e7(f7d5(h8f8(e1g1(h7h6(g5f3))))))))))))(d7d6(d2d4(b8c6(f1b5(c8d7(b1c3(f8e7(b5c6(d7c6(d4e5(d6e5(d1d8))))))))))(b8d7(f1c4(c7c6(e1g1(f8e7(d4e5(d6e5(d1e2(g8f6(f1d1))))))))))(e5d4(f3d4(f8e7(b1c3(c7c6(f1c4(g8f6(a2a4(c8g4(f2f3))))))))))(f7f5(d4e5(f5e4(f3g5(d6d5(b1c3(g8e7(e5e6(e7g6(g5f7))))))))))))(f7f5(f3e5(d8f6(d2d4(d7d6(e5c4(f5e4(b1c3(f6f7(f1e2(g8f6(e1g1))))(f6g6(c4e3(g8f6(f1c4))))))))))))(f7f6(f3e5(d8e7(e5f3(d7d5(d2d3(d5e4(d3e4(e7e4(f1e2(c8f5(f3d4))))))))))))(g8f6(d2d4(e5d4(e4e5(f6e4(d1e2(e4c5(f3d4(b8c6(d4c6(b7c6(b1c3))))(f8e7(b1c3(c7c6(c1e3))))))(f8b4(e1d1(e4c5(c1g5(d4d3(c2d3)))))))))))(f3e5(d7d6(e5f3(f6e4(d1e2(d8e7(d2d3(e4f6(c1g5(e7e2(f1e2)))))))(d2d4(e4f6(f1d3(f8e7(h2h3(e8g8(e1g1))))))(f8e7(f1d3(e4f6(h2h3(e8g8(e1g1))))))))))))))(e7e6(b1c3(d7d5(d2d4(f8b4(a2a3(b4c3(b2c3(d5e4(d1g4(g8f6(g4g7(h8g8(g7h6)))))))))))))(d2d3(c7c5(g1f3(b8c6(g2g3(g7g6(f1g2(f8g7(e1g1(g8e7(c2c3(e8g8(d3d4))))))))))))(d7d5(b1d2(c7c5(g2g3(g8f6(f1g2(f8e7(g1f3(e8g8(e1g1(b8c6(f1e1))))))))))(f8d6(g1f3(c7c5(g2g3(b8c6(f1g2(g8e7(e1g1(e8g8(f1e1))))))))))(g8f6(g2g3(c7c5(f1g2(b8c6(g1f3(f8e7(e1g1(e8g8(e4e5)))))))))))))(d2d4(c7c5(d4d5(e6d5(e4d5(d7d6(b1c3(g8f6(h2h3(g7g6(g2g4(f8g7(f1g2)))))))))))(g1f3(c5d4(f3d4(a7a6(b1c3(d8c7(g2g3(g8f6(f1g2(b8c6(e1g1))))))))))))(d7d5(b1c3(b8c6(g1f3(g8f6(e4d5(e6d5(f1b5(c8g4(h2h3(g4f3(d1f3))))))))))(d5e4(c3e4(b8d7(g1f3(g8f6(e4f6(d7f6(f1d3(b7b6(e1g1))(f8e7(d1e2))))))))(g8f6(e4f6(d8f6(g1f3(h7h6(f1d3(f8d6(e1g1))))))))))(f8b4(a2a3(b4c3(b2c3(d5e4(d1g4(g8f6(g4g7(h8g8(g7h6))))))(g8e7(f1d3(e8g8(g1f3(b8d7(e4e5)))))))))(e4e5(a7a5(a2a3(b4c3(b2c3(c7c5(d1g4(g8e7(g4g7))))))))(b7b6(a2a3(b4c3(b2c3(d8d7(d1g4(f7f5(g4g3))))))(b4f8(f2f4(b8c6(g1f3(g8h6(f1d3))))))))(c7c5(a2a3(b4a5(b2b4(c5d4(d1g4(e8f8(b4a5))(g8e7(b4a5))))))(b4c3(b2c3(b8c6(a3a4(d8a5(c1d2))))(d8a5(c1d2(a5a4(d1g4))))(d8c7(g1f3(b7b6(a3a4))(b8c6(f1e2))(c8d7(a3a4))(g8e7(a3a4))))(g8e7(a3a4(b8c6(g1f3))(d8a5(c1d2))(d8c7(g1f3)))(g1f3(c8d7(a3a4))))))(c5d4(a3b4(d4c3(d1g4(c3b2(c1b2)))(g1f3(d8c7(f1d3))))))))(f7f6(a2a3(b4a5(d1g4(d8e7(g1f3(b8c6(f1b5))))))))(g8e7(a2a3(b4c3(b2c3(b7b6(d1g4(e7g6(c1g5)(h2h4))))(c7c5(a3a4(b8c6(g1f3))(d8a5(c1d2))(d8c7(g1f3))))(e8g8(g1f3(b8d7(f1d3))))))))))(f8e7(g1f3(g8f6(e4e5(f6d7(f1d3(c7c5(d4c5(d7c5(e1g1))))))))))(g8f6(c1g5(d5e4(c3e4(b8d7(e4f6(d7f6(g1f3(c7c5(f1b5))(f8e7(f1d3)))))(g1f3(f8e7(e4f6(e7f6(d1d2)(h2h4))))))(f8e7(g5f6(e7f6(g1f3(b8d7(d1d2)(f1c4))(c8d7(c2c3))(e8g8(d1d2))))(g7f6(g2g3(c8d7(g1f3))(f6f5(e4c3))))))))(f8b4(e4e5(h7h6(g5d2(b4c3(b2c3(f6e4(d1g4)))(d2c3(f6e4(c3a5))))))))(f8e7(e4e5(f6d7(g5e7(d8e7(f2f4(a7a6(g1f3)))))(h2h4(a7a6(d1g4(f7f5(g4h5)))))))))(e4e5(f6d7(f2f4(c7c5(d4c5(f8c5(d1g4(e8g8(f1d3)))))))))))(b1d2(b8c6(c2c3(e6e5(e4d5(d8d5(g1f3(e5d4(f1c4(d5h5(e1g1))))))))))))(f8b4(c2c3(b4a5(a2a4(c7c6(e4e5(g8e7(b1d2(d7d5(e5d6(d8d6(d2c4))))))))))))(g8e7(b1c3(g7g6(h2h4(f8g7(h4h5(d7d5(h5h6(g7f8(c1g5(a7a6(g5f6))))))))))))))(g7g6(d2d4(f8g7(b1c3(c7c5(d4c5(d8a5(g1f3(b8c6(f1d3(g7c3(b2c3(a5c3(c1d2))))))))))(d7d6(c1e3(c7c6(d1d2(b8d7(f2f4(g8f6(g1f3(e8g8(h2h3)))))))))(f2f4(b8c6(c1e3(g8f6(h2h3(e8g8(g2g4(e7e5(d4e5))))))))(c7c6(g1f3(c8g4(c1e3(b8d7(h2h3(g4f3(d1f3))))))))(g8f6(g1f3(e8g8(f1d3(c7c5(d4c5(c8d7(c5d6))))(c8g4(h2h3(g4f3(d1f3))))(f6d7(e1g1(c7c5(d4d5)))))))))))(g1f3(d7d6(f1c4(c7c6(c4b3(g8f6(b1c3(e8g8(e1g1(b8a6(h2h3))))))))))))))(g8f6(e4e5(f6d5(d2d4(d7d6(c2c4(d5b6(e5d6(c7d6(b1c3(g7g6(f1d3(b8c6(g1e2))(f8g7(g1e2))))))(e7d6(b1c3(b8c6(g1f3(f8e7(f1d3))))(f8e7(f1d3(b8d7(g1e2))(d6d5(c4c5)))))))))(g1f3(d6e5(f3e5(b8d7(e5f7(e8f7(d1h5(f7e6(h5g4)))))))))))))(g1f3(f6e4(d2d4(d7d5(f1d3(c7c5(e1g1(e7e6(c2c4(e4f6(b1c3(d5c4(d3c4)))))))))))))))(f2f4(d7d5(g1f3(g8f6(b2b3(g7g6(c1b2(f8g7(g2g3(e8g8(f1g2(c7c5(e2e3(b8c6(e1g1)))))))))))))))(g1f3(b8c6(d2d4(d7d5(g2g3(g8f6(f1g2(e7e6(e1g1(f8e7(c2c4(d5c4(d1a4(c8d7(a4c4)))))))))))))(e2e4(e7e5(f1b5(a7a6(b5a4(g8f6(e1g1(f8e7(f1e1(e8g8(a4c6(d7c6(f3e5))))))))))))))(d7d5(g2g3(b8c6(d2d4(c8g4(f1g2(d8d7(e1g1(g7g6(c2c4(f8g7(c4d5(g4f3(g2f3))))))))))))(c7c5(f1g2(b8c6(e1g1(g8f6(d2d3(e7e5(b1d2(f8e7(e2e4(d5d4(d2c4))))))))))))))(g7g6(e2e4(f8g7(d2d4(d7d6(b1c3(g8f6(f1c4(e8g8(e1g1(c7c6(d1e2(b8d7(e4e5)))))))))))))(g2g3(f8g7(f1g2(d7d6(e1g1(g8f6(c2c4(e8g8(b2b3(d6d5(c1b2(c7c6(d2d3))))))))))))))(g8f6(g2g3(b7b6(f1g2(c8b7(e1g1(c7c5(d2d3(d7d5(b1d2(b8c6(e2e4(e7e5(e4d5))))))))(e7e6(d2d3(c7c5(e2e4(d7d6(b1d2(f8e7(d1e2))))))))))))(c7c5(f1g2(b8c6(e1g1(e7e5(d2d3(d7d5(e2e4(f8e7(b1d2(e8g8(f1e1))))))))))))(d7d5(f1g2(c8f5(e1g1(e7e6(d2d3(c7c6(b1d2(b8a6(a2a3(a6c5(c2c4))))))(f8c5(b1d2(b8c6(a2a3(a7a5(d1e1))))))(f8d6(b1d2(h7h6(e2e4(f5g4(h2h3))))))))))(e7e6(e1g1(f8e7(d2d3(e8g8(b1d2(b7b6(e2e4(d5e4(d3e4))))))))))))(d7d6(f1g2(g7g6(e1g1(f8g7(d2d3(e8g8(e2e4(e7e5(b1d2(c7c6(c2c3))))))))))))(g7g6(f1g2(f8g7(e1g1(e8g8(d2d3(c7c5(b1d2(b8c6(e2e4(d7d6(a2a4))))))(d7d5(b1d2(c8g4(h2h3(g4d7(e2e4))))))(d7d6(b1d2(e7e5(e2e4(f6e8(c2c3)))))(e2e4(b8d7(b1d2(e7e5(f3e1))))(c7c5(b1d2(b8c6(a2a4))))(e7e5(b1d2(b8d7(a2a4)))))))))))))))(g2g3(g7g6(f1g2(f8g7(g1f3(c7c5(c2c3(g8f6(e1g1(e8g8(d2d4(d7d6(d4c5(d6c5(d1d8)))))))))))))))
