(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)))))))))))(g2g3(g7g6(f1g2(f8g7(e2e3(e7e5(a2a3(g8e7(a1b1(a7a5(g1e2)))))(g1e2(g8e7(d2d3(d7d6(a2a3))))))))))))(g7g6(g2g3(f8g7(f1g2(b8c6(e2e3(e7e6(g1e2(g8e7(e1g1(e8g8(d2d4)))))))))))))(b2b3(b8c6(g2g3(g8f6(f1g2(d7d5(c4d5(f6d5(f2f4(e7e6(c1b2(h7h5(g1h3))))))))))))))(c7c6(d2d4(d7d5(g1f3(g8f6(b1c3(d5c4(a2a4(c8f5(e2e3(e7e6(f1c4(b8d7(d1e2)))))))))))))(g1f3(d7d5(e2e3(g8f6(b1c3(e7e6(d2d4(b8d7(f1d3(d5c4(d3c4(b7b5(c4d3))))))))))))))(e7e5(b1c3(b8c6(g1f3(g8f6(d2d3(f8b4(c1d2(d7d5(c4d5(f6d5(g2g3(e8g8(f1g2)))))))))))(g2g3(g7g6(d2d3(f8g7(c1d2(g8e7(f1g2(d7d6(a1b1(e8g8(h2h4)))))))))(f1g2(f8g7(d2d3(d7d6(c1d2(f7f5(a1b1(g8f6(b2b4))))))(g8e7(c3d5(e8g8(h2h4(c6d4(c1g5)))))(h2h4(h7h6(c1d2(d7d6(a1b1)))))))(e2e3(d7d6(g1e2(c8e6(d2d3(d8d7(h2h3))))(f7f5(d2d4(e5e4(b2b4))))))))))))(d7d6(g2g3(b8c6(f1g2(g7g6(g1f3(f8g7(e1g1(g8e7(a1b1(e8g8(d2d3))))))))))))(f8b4(g2g3(f7f5(d1c2(b4c3(c2c3(b8c6(b2b4(d7d5(b4b5(d5d4(c3a3))))))))))))(g8f6(g1f3(b8c6(g2g3(g7g6(f1g2(f8g7(d2d4(e5d4(f3d4(e8g8(d4c2)))))))))))(g2g3(b8c6(f1g2(g7g6(d2d3(f8g7(c1d2(c6e7(g1f3(d7d6(e1g1))))))))))(c7c6(f1g2(f8c5(e2e3(e8g8(g1e2(a7a6(d2d4(e5d4(e3d4))))))))))(d7d5(c4d5(f6d5(f1g2(d5b6(d2d3(f8e7(f2f4(e5f4(c1f4))))))))))(f8b4(f1g2(e8g8(g1f3(d7d6(e1g1(b4c3(b2c3(b8c6(d2d3))))))))))))))(e7e6(d2d4(d7d5(g1f3(g8f6(c1g5(f8e7(e2e3(e8g8(b1c3(b8d7(a1c1(b7b6(c4d5)))))))))))))(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)))))))))(c1g5(f8e7(e2e3(b8d7(b1d2(e8g8(a1c1(b7b6(c4d5))))))))))))(g8f6(e2e3(b7b6(f1e2(c8b7(e1g1(f8e7(b2b3(e8g8(c1b2(c7c5(b1c3)))))))))))(g2g3(d7d5(f1g2(f8e7(e1g1(e8g8(d2d4(b8d7(b1d2(b7b6(c4d5))))))))))))))(g7g6(g2g3(f8g7(f1g2(e7e5(b1c3(d7d6(d2d3(b8c6(a1b1(g8f6(b2b4(a7a6(e2e3))))))))))))))(g8f6(b1c3(c7c5(g1f3(d7d5(c4d5(f6d5(e2e3(d5c3(b2c3(g7g6(d2d4(f8g7(f1d3))))))(e7e6(d2d4(b8c6(f1d3(f8e7(e1g1))))))))))))(e7e6(e2e4(c7c5(e4e5(f6g8(g1f3(b8c6(d2d4(c5d4(f3d4(c6e5(c1f4)(d4b5)))))))))))(g1f3(d7d5(d2d4(c7c5(c4d5(f6d5(e2e4(d5c3(b2c3(c5d4(c3d4))))))))))))(g7g6(d2d4(d7d5(c4d5(f6d5(e2e4(d5c3(b2c3(f8g7(f1c4(c7c5(g1e2))))))))))(f8g7(e2e4(e8g8(c1e3(d7d6(f2f3(b8c6(g1e2(a8b8(h2h4)))))))))))(g2g3(f8g7(f1g2(e8g8(e2e3(e7e5(g1e2(d7d6(d2d3(b8c6(a1b1)))))))))))))(d2d4(e7e6(b1c3(c7c5(d4d5(e6d5(c4d5(d7d6(e2e4(g7g6(f2f4(f8g7(f1d3))))))))))(f8b4(c1g5(h7h6(g5h4(b4c3(b2c3(d7d6(g1f3(b8d7(f3d2)))))))))))))(g1f3(c7c5(b1c3(b8c6(d2d4(c5d4(f3d4(c6d4(d1d4(g7g6(e2e4(d7d6(c1e3))))))))))))(e7e6(b1c3(d7d5(d2d4(f8e7(c4d5(e6d5(c1g5(c7c6(d1c2(g7g6(e2e3)))))))))))(g2g3(b7b6(f1g2(c8b7(e1g1(f8e7(b1c3(e8g8(d2d4(f6e4(d1c2))))))))))))(g7g6(b2b4(f8g7(c1b2(e8g8(g2g3(c7c6(f1g2(d7d5(c4d5(f6d5(b2g7)))))))))))))(g2g3(c7c6(f1g2(d7d5(g1f3(c8f5(d1b3(d8b6(c4d5(b6b3(a2b3(c6d5(b1c3))))))))))))(e7e6(f1g2(d7d5(d2d4(c7c5(c4d5(f6d5(g1f3(b8c6(e1g1(c5d4(f3d4)))))))))))))))(d2d4(c7c5(d4d5(d7d6(e2e4(g7g6(g1f3(f8g7(f1e2(g8f6(b1c3(b8a6(e1g1(a6c7(f1e1)))))))))))))(e2e3(e7e6(g1f3(g8f6(c2c4(d7d5(b1c3(b8c6(a2a3(d5c4(f1c4(f8e7(e1g1))))))))))))))(d7d5(b1c3(e7e6(e2e4(f8b4(e4e5(c7c5(a2a3(b4c3(b2c3(g8e7(d1g4(c5d4(c3d4)))))))))))))(c1f4(c7c5(e2e3(b8c6(g1f3(c8g4(f1e2(g4f3(e2f3(e7e6(c2c4(g8f6(b1c3)))))))))))))(c2c4(c7c6(b1c3(g8f6(e2e3(e7e6(g1f3(b8d7(f1d3(d5c4(d3c4(b7b5(c4e2))(c6c5(e1g1)))))))))(g1f3(d5c4(e2e3(b7b5(a2a4(b5b4(c3a2(e7e6(f1c4))))))))(e7e6(c1g5(h7h6(g5f6(d8f6(e2e4(d5e4(c3e4)))))))))))(e2e3(g8f6(b1c3(e7e6(g1f3(b8d7(f1d3(d5c4(d3c4(b7b5(c4e2)))))))))(g1f3(e7e6(b1d2(b8d7(f1d3(f8e7(e1g1(e8g8(d1c2)))))))))))(g1f3(e7e6(b1c3(d5c4(a2a4(f8b4(e2e4(b7b5(f1e2(g8f6(c1g5)))))))))(c1g5(f8e7(g5e7(d8e7(b1d2(f7f5(e2e3(b8d7(f1d3))))))))))(g8f6(b1c3(d5c4(a2a4(b8a6(e2e4(c8g4(f1c4(e7e6(e1g1))))))(c8f5(e2e3(e7e6(f1c4(f8b4(e1g1)))))(f3e5(b8d7(e5c4(d8c7(g2g3))))(e7e6(f2f3(f8b4(e5c4))))))(c8g4(e2e4(e7e6(f1c4(b8d7(e1g1)))))(f3e5(g4h5(g2g3(e7e6(f1g2)))))))(e2e3(c8g4(f1c4(e7e6(d1b3(b7b5(c4e2)))))))(e2e4(b7b5(d1c2(b8a6(f1e2(g7g6(c1g5))))(e7e6(g2g3(c8b7(f1g2)))))(e4e5(f6d5(f3g5(h7h6(g5e4))))))))(e7e6(c1g5(b8d7(c4d5(e6d5(e2e3(f8e7(f1d3))))))(d5c4(e2e4(b7b5(e4e5(h7h6(g5h4))))))(h7h6(g5f6(d8f6(d1b3(d5c4(b3c4)))(e2e3(b8d7(f1d3)))))(g5h4(d5c4(e2e4(g7g5(h4g3))))))))(g7g6(c1f4(f8g7(e2e3(e8g8(h2h3(c6c5(f1e2)))))))))(e2e3(c8f5(b1c3(e7e6(f1e2(d5c4(e2c4(f8d6(d1e2))))))))(e7e6(b1c3(b8d7(f1d3(d5c4(d3c4(a7a6(e3e4))(b7b5(c4d3)))))))(b1d2(b8d7(f1d3(f8d6(e1g1(e8g8(e3e4))))))))(g7g6(b1c3(f8g7(f1d3(e8g8(e1g1(b8d7(c4d5))))))))))))(d5c4(b1c3(a7a6(a2a4(e7e5(d4e5(d8d1(e1d1(c8e6(f2f4(b8c6(e2e4))))))))))(f7f5(e2e3(e7e6(f1c4(c7c6(g1f3(f8d6(e3e4(b7b5(c4b3)))))))))))(e2e3(e7e5(d4e5(d8d1(e1d1(b8c6(f2f4(c8e6(c1d2(f8c5(g1f3)))))))))(f1c4(e5d4(e3d4(g8f6(b1c3(f8d6(g1f3(b8c6(e1g1))(e8g8(h2h3))))(f8e7(g1f3(e8g8(c1e3)(e1g1)(h2h3)))))(g1f3(f8d6(e1g1(e8g8(c1g5))))(f8e7(e1g1(e8g8(h2h3)))))))))))(e2e4(c7c5(g1f3(c5d4(d1d4(d8d4(f3d4(c8d7(f1c4(a7a6(b1c3))))))))))(e7e5(d4d5(f7f5(b1c3(g8f6(f1c4(f8c5(g1f3(d8e7(c1g5))(f5e4(f3g5)))))))))))(g1f3(a7a6(e2e3(g8f6(f1c4(e7e6(e1g1(c7c5(d4c5(d8d1(f1d1))))))))))(e7e6(e2e3(g8f6(f1c4(a7a6(e1g1(c7c5(d4c5(d8d1(f1d1))))))))))(g8f6(e2e3(c7c5(f1c4(e7e6(e1g1(c5d4(e3d4(b8c6(b1c3))))))))(c8g4(f1c4(e7e6(d1b3(g4f3(g2f3(b8d7(b3b7)))))(h2h3(g4h5(b1c3(a7a6(e1g1)))))))(h2h3(g4h5(b1c3(e7e6(f1c4(b8d7(e1g1)))))(f1c4(b8d7(e1g1(e7e6(b1c3))))))))(e7e6(f1c4(a7a6(e1g1(c7c5(d1e2(b7b5(c4b3))))))(c7c5(d4c5(d8d1(e1d1(f8c5(a2a3)))))(e1g1(a7a6(a2a4(b8c6(d1e2)))(d1e2(b7b5(c4b3))(b8d7(b1c3)))(d4c5(d8d1(f1d1))(f8c5(d1d8))))))))))))(e7e5(d4e5(d5d4(e2e4(b8c6(f2f4(g7g5(f4f5(c6e5(g1f3(f8b4(b1d2)))))))))(g1f3(b8c6(g2g3(c8g4(f1g2(d8d7(e1g1(e8c8(d1b3))))))))))))(e7e6(b1c3(a7a6(c4d5(e6d5(g1f3(c7c6(c1f4(f8d6(g2g3(g8e7(d1b3))))))(g8f6(c1g5(f8e7(e2e3(e8g8(f1d3))))))))))(c7c5(c4d5(e6d5(g1f3(b8c6(g2g3(g8f6(f1g2(f8e7(e1g1)))))))))(e2e3(g8f6(g1f3(b8c6(a2a3(a7a6(d4c5(f8c5(b2b4))))(c5d4(e3d4(f8e7(f1d3))))))))))(c7c6(c4d5(e6d5(c1f4(g8f6(e2e3(c8f5(f1d3(f5d3(d1d3)))))))))(g1f3(d5c4(a2a4(f8b4(e2e4(b7b5(d1c2(g8f6(c1g5))))))))))(d5c4(e2e3(a7a6(f1c4(c7c5(g1f3(g8f6(e1g1(b7b5(c4e2))))))))(g8f6(f1c4(c7c5(g1f3(a7a6(e1g1(b7b5(c4e2))))))))))(f8e7(c1f4(g8f6(g1f3(e8g8(e2e3(c7c5(d4c5(b8c6(c4d5)))))))))(g1f3(g8f6(c1g5(e8g8(d1c2(b7b6(e2e3(c8b7(e1c1)))))(e2e3(b8d7(a1c1(a7a6(c4d5)))(f1d3(d5c4(d3c4))))(c7c6(a1c1(b8d7(a2a3))))(h7h6(g5h4(b7b6(f1d3))(f6e4(h4e7))))))(h7h6(g5f6(e7f6(c4d5(e6d5(g2g3)))(e2e3(c7c6(f1d3)))))(g5h4(e8g8(e2e3(b7b6(a1c1))))))))))(g8f6(c1g5(b8d7(e2e3(c7c6(a2a3(f8e7(g1f3(e8g8(f1d3)))))(d1c2(d8a5(c4d5(f6d5(e3e4)))))(f1d3(d8a5(g5h4(d5c4(d3c4)))))(g1f3(d8a5(f3d2(f8b4(d1c2))))))(f8b4(d1b3(b4c3(b2c3(c7c6(f1d3))))))(f8e7(g1f3(e8g8(a1c1(a7a6(a2a3)(c4d5))))))))(c7c5(c4d5(d8b6(g5f6(b6b2(a1c1(g7f6(e2e3))))))))(f8e7(e2e3(b8d7(g1f3(e8g8(a1c1(c7c6(f1d3)))(a2a3(d5c4(f1c4))))))(e8g8(a1c1(h7h6(g5h4(b7b6(c4d5)))))(g1f3(b8d7(a1c1(c7c6(d1c2)))(c4d5(e6d5(f1d3)))(f1d3(d5c4(d3c4))))(h7h6(g5f6(e7f6(d1d2)))(g5h4(b7b6(c4d5))(f6e4(h4e7)))))))(g1f3(e8g8(e2e3(b8d7(a1c1(a7a6(c4d5)))))))))(c4d5(e6d5(c1g5(c7c6(d1c2(b8a6(e2e3(a6b4(c2d2))))))(f8e7(e2e3(e8g8(f1d3(b8d7(g1e2)))))))))(g1f3(b8d7(c1g5(c7c6(e2e3(d8a5(f3d2(f8b4(d1c2)))))))))))(g1f3(b8d7(b1c3(g8f6(c1f4(d5c4(e2e3(f6d5(f1c4(d5f4(e3f4))))))))))(c7c5(c4d5(e6d5(b1c3(g8f6(g2g3(c8e6(f1g2(b8c6(e1g1)))))))(g2g3(b8c6(f1g2(g8f6(e1g1(f8e7(d4c5))))))))))(d5c4(e2e4(c7c5(d4d5(e6d5(e4d5(g8f6(f1c4(f8d6(e1g1)))))))(f1c4(c5d4(f3d4(g8f6(b1c3(a7a6(e1g1))(f8c5(c1e3))))))))))(g8f6(c1g5(b8d7(b1c3(c7c6(e2e3(d8a5(g5f6(d7f6(f1d3)))))))(e2e3(c7c6(b1d2(d8a5(c4d5(e6d5(f1d3))))))(f8b4(b1d2(c7c5(a2a3(b4d2(d1d2))))))(f8e7(b1c3(e8g8(a1c1(c7c6(f1d3)))))(b1d2(h7h6(g5h4(f6e4(h4e7))))))))(c7c6(b1d2(b8d7(e2e3(f8e7(f1d3(e8g8(e1g1))))))))(f8e7(b1c3(h7h6(g5h4(e8g8(e2e3(b7b6(f1e2)))))))(e2e3(b8d7(b1c3(e8g8(a1c1(c7c6(f1d3)))))(b1d2(h7h6(g5h4(e8g8(a1c1)))))))))(g2g3(f8e7(f1g2(e8g8(e1g1(c7c6(b2b3(b8d7(c1b2)))))))))))))(e2e3(g8f6(f1d3(c7c5(b2b3(b8c6(c1b2(c8g4(f2f3(g4h5(g1e2(c5d4(e3d4))))))(e7e6(g1f3(d8b6(b1d2(c5c4(d3e2)))))))))(c2c3(b8c6(d4c5(a7a5(b1d2(e7e5(d3b5(f8c5(g1f3)))))))))))(g1f3(c7c5(c2c4(e7e6(b1c3(f8e7(d4c5(e8g8(a2a3(e7c5(b2b4)))))))))))))(g1f3(c7c5(c2c3(g8f6(e2e3(b8c6(d4c5(e7e5(b2b4(d8c7(c1b2(c8e6(b1d2)))))))))))(d4c5(e7e6(e2e4(f8c5(e4d5(e6d5(f1b5(b8c6(e1g1(g8e7(b1d2)))))))))))(e2e3(b8c6(b2b3(e7e6(c1b2(g8f6(b1d2(c5d4(e3d4(f8d6(f1d3))))))))))))(c7c6(c1g5(h7h6(g5h4(d8b6(b1d2(c8f5(d1c1(b8d7(e2e3(g8f6(f1e2))))))))))))(e7e6(c2c4(b8d7(b1c3(g8f6(c1g5(f8b4(c4d5(e6d5(d1a4(b4c3(b2c3)))))))))(c4d5(e6d5(b1c3(g8f6(c1g5(f8b4(d1b3(c7c5(a2a3))))))))))(c7c5(c4d5(e6d5(b1c3(b8c6(g2g3(g8f6(f1g2(c8e6(e1g1))))))))))(g8f6(b1c3(b8d7(c1g5(f8e7(e2e3(e8g8(a1c1(a7a6(d1c2))))))))(f8b4(c1g5(c7c5(g5f6(d8f6(c4d5(e6d5(e2e3)))))))))(c1g5(b8d7(e2e3(f8e7(b1c3(e8g8(a1c1(f8e8(d1c2))))))))(f8e7(e2e3(b8d7(b1c3(e8g8(a1c1(b7b6(c4d5))(c7c6(d1c2))))))))))))(g8f6(c1g5(f6e4(g5h4(c7c6(e2e3(d8b6(d1c1(c8f5(f1d3(e7e6(e1g1)))))))))))(c2c4(c7c5(c4d5(c5d4(f3d4(f6d5(e2e4(d5b4(c1e3(a7a6(d1a4))))))))))(c7c6(b1c3(d5c4(a2a4(c8f5(e2e3(e7e6(f1c4(f8b4(e1g1))))))))))(d5c4(b1c3(c7c6(e2e4(b7b5(d1c2(e7e6(a2a4(d8b6(f1e2)))))))))(d1a4(b8d7(a4c4(e7e6(g2g3(a7a6(f1g2(b7b5(c4c6)))))))))(e2e3(e7e6(f1c4(c7c5(e1g1(a7a6(b1c3(b7b5(c4e2)))(d4c5(f8c5(d1d8))))))))))(e7e6(b1c3(b8d7(c1g5(f8e7(e2e3(c7c6(f1d3(d5c4(d3c4))))(e8g8(a1c1(f8e8(f1d3)))(d1c2(f8e8(a1c1))))))))(f8e7(c1g5(b8d7(e2e3(e8g8(a1c1(c7c6(d1c2)))))))))(c1g5(b8d7(e2e3(c7c6(b1d2(f8e7(f1d3(d5c4(d2c4))))))(f8e7(b1c3(e8g8(a1c1(b7b6(c4d5))))))))(f8e7(b1c3(c7c5(d4c5(d8a5(c4d5(e6d5(e2e3)))))))(e2e3(b8d7(b1c3(e8g8(a1c1(c7c6(d1c2))(f8e8(d1c2))))))(e8g8(b1c3(b8d7(d1c2(c7c5(a1d1)))))))))))(e2e3(b8d7(f1d3(e7e6(b2b3(f8d6(c1b2(c7c5(f3e5(d8c7(f2f4))))))))))(c7c6(c2c4(e7e6(b1c3(b8d7(f1d3(f8d6(e1g1(e8g8(e3e4))))))))))(c8f5(c2c4(c7c6(d1b3(d8c7(b1c3(e7e6(c1d2(b8d7(a1c1))))))))))(e7e6(c2c4(f8e7(b1c3(a7a6(b2b3(c7c5(d4c5(e7c5(c1b2))))))))))))))(d7d6(e2e4(g8f6(b1c3(g7g6(g1f3(f8g7(h2h3(e8g8(c1e3(a7a6(a2a4(d6d5(e4e5))))))))))))))(e7e6(b1c3(d7d5(e2e4(g8f6(c1g5(d5e4(c3e4(f8e7(e4f6(e7f6(g5f6(d8f6(g1f3)))))))))))))(c2c4(f7f5(b1c3(g8f6(c1g5(f8b4(d1c2(e8g8(e2e3(c7c5(g1f3(d8a5(g5f6)))))))))(e2e3(f8b4(c1d2(b7b6(d1c2(c8b7(f2f3(e8g8(f1d3)))))))))))(g2g3(g8f6(f1g2(f8e7(b1c3(d7d5(g1h3(c7c6(d1b3(e8g8(e1g1))))))))))))(f8b4(b1c3(c7c5(e2e3(g8f6(g1e2(c5d4(e3d4(e8g8(a2a3(b4e7(e2f4)))))))))))))(e2e4(d7d5(b1c3(a7a6(g1f3(g8f6(e4e5(f6d7(f1d3(c7c5(d4c5(b8c6(c1f4))))))))))(f8b4(e4e5(c7c5(a2a3(b4c3(b2c3(d8c7(d1g4(f7f5(g4h5))))))))(d8d7(a2a3(b4c3(b2c3(b7b6(d1g4(f7f5(g4h5))))))))))(g8f6(c1g5(f8b4(e4d5(d8d5(g5f6(b4c3(b2c3(g7f6(d1d2))))(g7f6(d1d2(d5a5(g1e2))))))))(f8e7(e4e5(f6e4(g5e7(d8e7(c3e4(d5e4(c2c3))))))))(h7h6(g5f6(d8f6(e4d5(f8b4(f1b5(c7c6(d5c6)))))))))))(e4d5(e6d5(f1d3(f8d6(g1f3(d8e7(d1e2(e7e2(e1e2(g8e7(h1e1)))))))))))(e4e5(c7c5(c2c3(b8c6(g1f3(c8d7(f1e2(g8e7(b1a3(c5d4(c3d4)))))))))))))(g1f3(c7c5(c2c4(c5d4(f3d4(g8f6(b1c3(f8b4(d1c2(b8c6(d4c6(d7c6(a2a3))))))))))))(d7d5(c2c4(g8f6(c4d5(e6d5(c1g5(c7c6(b1c3(f8e7(g2g3(e8g8(f1g2))))))))))))(f7f5(c2c4(g8f6(c1g5(f8e7(b1c3(e8g8(e2e3(b7b6(f1d3(c8b7(e1g1)))))))))))(g2g3(g8f6(f1g2(f8e7(e1g1(e8g8(c2c4(f6e4(d1b3(e7f6(f1d1))))))))))))(g8f6(c1g5(c7c5(e2e3(f8e7(f1d3(b7b6(c2c3(c8b7(b1d2(c5d4(c3d4)))))))))))(c2c4(d7d5(b1c3(f8e7(e2e3(e8g8(c4d5(e6d5(f1d3(c7c5(d4c5)))))))))(c1g5(h7h6(g5f6(d8f6(b1c3(c7c6(e2e3(b8d7(a1c1))))))))))))))(f7f5(e2e3(g8f6(g1f3(b7b6(b2b3(c8b7(b1d2(e7e6(c1b2(a7a5(a2a3(f8e7(f1d3))))))))))(e7e6(f1d3(b7b6(b2b3(c8b7(b1d2(f8b4(c1b2(f6e4(d3e4)))))))))))))(e2e4(f5e4(b1c3(g8f6(c1g5(c7c6(g5f6(e7f6(c3e4(d7d5(e4g3(d8e7(d1e2))(f8d6(f1d3))))))))(e7e6(f2f3(e4e3(d1d3(f8b4(d3e3(d7d5(f1d3)))))))))))))(g1f3(e7e6(g2g3(g8f6(f1g2(f8e7(e1g1(e8g8(c2c4(c7c6(b2b3(a7a5(b1c3)))))))))))))(g2g3(g8f6(f1g2(g7g6(g1h3(f8g7(c2c4(e8g8(b1c3(d7d6(d4d5(b8a6(h3f4))))))))))))))(g8f6(b1c3(d7d5(c1g5(b8d7(e2e3(g7g6(g1f3(c7c6(f1d3(f8g7(h2h4(h7h5(c3e2))))))))))(c8f5(f2f3(f5g6(e2e4(d5e4(d1d2(e7e6(f3e4(f8b4(d2e3))))))))))(h7h6(g5f6(e7f6(e2e4(f8b4(e4d5(d8d5(g1f3(e8g8(f1e2)))))))))))))(c2c4(c7c5(d4d5(a7a6(a2a4(e7e5(b1c3(d7d6(e2e4(f8e7(f1d3(e8g8(g1e2))))))))))(b7b5(c4b5(a7a6(b5a6(c8a6(b1c3(d7d6(g1f3(g7g6(e2e4)))))(g2g3(g7g6(b1c3(d7d6(f1g2))))))(g7g6(b1c3(c8a6(e2e4(a6f1(e1f1)))(g1f3(d7d6(e2e4)))))))(e2e3(g7g6(b1c3(f8g7(a2a4(e8g8(f1c4))))))))))(d7d6(b1c3(g7g6(e2e4(f8g7(c1g5(h7h6(g5h4(g6g5(h4g3)))))(f1d3(e8g8(g1f3(c8g4(h2h3)))))(g1f3(e8g8(f1e2(e7e6(e1g1))))))))))(e7e5(b1c3(d7d6(e2e4(f8e7(f1d3(e8g8(g1f3(f6e8(h2h3)))))(g1f3(e8g8(f1d3(b8d7(d1e2))))))(g7g6(f1d3(b8a6(g1e2(a6b4(d3b1)))))(f2f3(b8a6(c1e3(a6c7(d1d2))))))))))(e7e6(b1c3(e6d5(c4d5(d7d6(e2e4(g7g6(f2f3(f8g7(c1g5)))(f2f4(f8g7(f1b5)))(g1f3(f8g7(c1g5)))))(g1f3(g7g6(e2e4(f8g7(f1e2))))))))))(g7g6(b1c3(f8g7(e2e4(d7d6(f1d3(e8g8(g1e2(b8d7(d3c2))))))))))))(c7c6(b1c3(d7d5(c4d5(c6d5(c1f4(e7e6(e2e3(b8c6(f1b5(f8d6(f4d6)))))))(g1f3(b8c6(c1f4(e7e6(e2e3(f8e7(f1d3))))))))))))(d7d6(b1c3(b8d7(e2e4(e7e5(d4d5(d7c5(f2f3(f8e7(c1e3(e8g8(b2b4))))))(f8e7(g1f3(e8g8(f1e2(d7c5(d1c2)))))))(g1f3(g7g6(f1e2(f8g7(e1g1(e8g8(f1e1))))))))))(e7e5(d4e5(d6e5(d1d8(e8d8(g1f3(b8d7(c1g5(f8b4(a1c1))))(f6d7(c1d2(c7c6(g2g4)))))))))(g1f3(b8d7(c1g5(f8e7(e2e3(c7c6(f1d3(f6g4(g5e7))))(e8g8(f1d3(f8e8(d1c2))))))))))(g7g6(e2e4(f8g7(f2f3(e8g8(c1e3(b8c6(g1e2(a7a6(a2a3)))))))))))(g1f3(b8d7(b1c3(e7e5(e2e4(g7g6(f1e2(f8g7(e1g1(e8g8(d4d5))))))))))))(e7e5(d4e5(f6g4(c1f4(f8b4(b1d2(d7d6(g1f3(d6e5(f4e5(b4d2(d1d2)))))))))(e2e4(d7d6(e5d6(f8d6(f1e2(f7f5(e4f5(d8e7(g1f3)))))))))(g1f3(f8c5(e2e3(b8c6(c1d2(e8g8(d2c3(f8e8(f1e2)))))(f1e2(g4e5(f3e5(c6e5(b1c3))))))(c5b4(c1d2(b4d2(d1d2(b8c6(b1c3))))))))))))(e7e6(b1c3(c7c5(d4d5(e6d5(c4d5(d7d6(g1f3(f8e7(e2e4(e8g8(f1e2))))))(g7g6(e2e4(d7d6(f1d3(f8g7(g1e2))))))))))(d7d5(c1g5(b8d7(e2e3(c7c6(a2a3(f8e7(d1c2(e8g8(g1f3)))(g1f3(e8g8(a1c1)(d1c2))))))(f8e7(g1f3(e8g8(a1c1(c7c6(f1d3)))))))(g1f3(f8e7(e2e3(e8g8(d1c2(c7c5(c4d5))))))))(c7c5(e2e3(c5d4(e3d4(f8e7(g1f3(e8g8(f1d3))))))))(c7c6(e2e3(b8d7(c4d5(e6d5(f1d3(f8e7(d1c2))))))))(f8e7(e2e3(b8d7(g1f3(e8g8(a1c1(a7a6(c4d5))))))(e8g8(g1f3(b8d7(a1c1(c7c6(f1d3)))(d1c2(h7h6(g5h4)))(f1d3(d5c4(d3c4))))(h7h6(g5h4(b7b6(d1c2))))))(h7h6(g5f6(e7f6(g1f3(e8g8(d1d2)))))(g5h4(e8g8(g1f3(b8d7(a1c1)))))))(g1f3(b8d7(e2e3(e8g8(a1c1(c7c6(f1d3)))))))))(g1f3(b8d7(c1g5(f8e7(e2e3(e8g8(a1c1(c7c6(f1d3))))))))(c7c5(c4d5(f6d5(e2e3(f8e7(f1d3(b8c6(e1g1))))))))(f8e7(e2e3(e8g8(f1d3(c7c5(e1g1(b8c6(a2a3))))))))))(f8b4(a2a3(b4c3(b2c3(b7b6(f2f3(b8c6(e2e4(c8a6(c1g5))))(c8a6(e2e4(b8c6(c1g5))))))(c7c5(e2e3(b8c6(f1d3(e6e5(g1e2)))))(f2f3(b8c6(e2e4(d7d6(c1e3)(g1e2))))))(d7d6(d1c2(e8g8(e2e4(e6e5(f1d3)))))))))(c1g5(c7c5(d4d5(b4c3(b2c3(e6e5(g1f3(d7d6(f3d2))))))(d7d6(e2e3(e6e5(g1e2(b8d7(a2a3))))))(e6d5(c4d5(d7d6(e2e3(b8d7(f1b5))))))(h7h6(g5h4(b4c3(b2c3(d7d6(e2e3))))(d7d6(e2e3(b4c3(b2c3))))(e6e5(e2e3(d7d6(f1d3))))))))(e8g8(e2e3(d7d6(f1d3(b4c3(b2c3(e6e5(g1e2))))))))(h7h6(g5h4(b4c3(b2c3(d8e7(e2e3(b7b6(g1f3))))))(c7c5(d4d5(b4c3(b2c3(d7d6(e2e3))(e6e5(d1c2)(d5d6))))(b7b5(d5e6(f7e6(c4b5))))(d7d6(e2e3(e6e5(d1c2)(g1e2))))(e6d5(c4d5(d7d6(e2e3))))(e6e5(d1c2(d7d6(e2e4))))))(g7g5(h4g3(f6e4(d1c2(f7f5(e2e3)))))))))(d1b3(b4c3(b3c3(f6e4(c3c2(d7d5(g1f3(e8g8(e2e3))))))))(b8c6(e2e3(d7d5(g1f3(e8g8(a2a3(d5c4(f1c4))))))))(d7d5(c4d5(e6d5(c1g5(d8d6(g5f6(d6f6(a2a3)))))))))(d1c2(b8c6(g1f3(d7d5(a2a3(b4c3(c2c3(a7a5(b2b3))))))(d7d6(c1d2(e6e5(a2a3(b4c3(d2c3))))))))(c7c5(d4c5(b4c5(g1f3(b8c6(a2a3(c6d4(f3d4))))))(b8a6(g1f3(e8g8(a2a3(b4c3(c2c3))))))(b8c6(a2a3(b4c5(b2b4(c5e7(g1f3)))))(g1f3(b4c5(c1f4(d7d5(e2e3))))))))(d7d5(c1g5(d5c4(g1f3(b7b5(a2a4(c7c6(g5f6)))))))(c4d5(d8d5(g1f3(c7c5(c1d2(b4c3(d2c3))))(e8g8(c1d2(b4c3(b2c3))))))(e6d5(c1g5(c7c6(e2e3(b8d7(f1d3))))(d8d6(e2e3(f6e4(g5f4))))(h7h6(g5h4(c7c5(d4c5)))))))(e2e3(c7c5(g1f3(b8c6(a2a3(b4c3(b2c3))))))))(e8g8(a2a3(b4c3(c2c3(d7d6(g2g3(d8e7(f1g2)))))))(c1g5(c7c5(d4c5(h7h6(g5h4(b8a6(e2e3)))))))))(e2e3(b7b6(f1d3(c8b7(f2f3(c7c5(g1e2(b8c6(e1g1)))))))(g1e2(c8a6(e2g3(b4c3(b2c3(d7d5(c1a3))))(e8g8(e3e4(b8c6(f1d3))))))))(b8c6(f1d3(d7d5(g1f3(e8g8(e1g1(a7a6(d1e2))))))))(c7c5(a2a3(b4c3(b2c3(b7b6(f1d3(c8b7(f2f3)))))))(f1d3(b8c6(g1f3(b4c3(b2c3(d7d6(e1g1)(e3e4))))(d7d5(e1g1(e8g8(a2a3))))))(d7d5(g1f3(e8g8(e1g1(b8c6(a2a3))(d5c4(d3c4))))))(e8g8(g1f3(d7d5(e1g1(b8d7(a2a3))(c5d4(e3d4))))))))(d7d5(a2a3(b4c3(b2c3(e8g8(c4d5(e6d5(f1d3))))))(b4e7(g1f3(e8g8(f1d3(b7b6(e1g1))))))))(e8g8(f1d3(d7d5(g1f3(b7b6(e1g1(c8b7(a2a3)(c4d5))))(c7c5(e1g1(b8d7(d1e2))(c5d4(e3d4))(d5c4(d3c4))))(d5c4(d3c4(c7c5(e1g1)))))))(g1e2(d7d5(a2a3(b4e7(c4d5(e6d5(g2g3))(f6d5(d1c2)(g2g3)))))))))(f2f3(c7c5(d4d5(d7d6(c1d2(e8g8(e2e4(f8e8(g1e2)))))))))(g1f3(b7b6(c1g5(c8b7(e2e3(h7h6(g5h4(g7g5(h4g3))))))))(c7c5(d4d5(f6e4(d1c2(d8f6(c1d2(e4d2(f3d2)))))))(e2e3(b8c6(f1d3(b4c3(b2c3(d7d6(e3e4))))))(d7d5(f1d3(e8g8(e1g1(d5c4(d3c4))))))(e8g8(f1d3(d7d5(e1g1(b8c6(a2a3))))))))(d7d5(c1g5(h7h6(g5h4(d5c4(e2e3(b7b5(a2a4))))))))(d7d6(e2e3(b8d7(c1d2(b7b6(f1d3(c8b7(d1c2)))))))))))(g1f3(b7b6(a2a3(c8b7(b1c3(d7d5(e2e3(b8d7(c4d5(e6d5(f1e2)))))))))(b1c3(c8b7(c1g5(f8b4(e2e3(h7h6(g5h4(g7g5(h4g3))))))(f8e7(e2e3(e8g8(f1d3(c7c5(e1g1))))(f6e4(c3e4(b7e4(g5e7)(g5f4)))(g5f4(e7b4(d1c2))))(h7h6(g5h4(c7c5(f1e2))(e8g8(f1d3))(f6e4(h4e7))))))(h7h6(g5h4(f8b4(e2e3(d8e7(d1c2))))(f8e7(e2e3(c7c5(f1e2))(e8g8(f1d3))(f6e4(h4e7))))(g7g5(h4g3(f6h5(e2e3)))))))(e2e3(d7d5(f1d3(b8d7(e1g1(f8d6(b2b3))))))))(f8b4(c1g5(c8b7(e2e3(h7h6(g5h4(g7g5(h4g3)))))))))(c1f4(c8b7(e2e3(f8e7(b1c3(f6h5(f4g3(d7d6(f1d3)))))))))(c1g5(c8b7(b1d2(h7h6(g5h4(f8e7(d1c2(e8g8(e2e3)))))))(e2e3(h7h6(g5h4(f8e7(b1c3(f6e4(h4e7))))))))(h7h6(g5h4(c8b7(e2e3(c7c5(b1c3(f8e7(f1e2)))))))))(e2e3(c8b7(f1d3(d7d5(b2b3(f8d6(e1g1(e8g8(c1b2))))(f8e7(e1g1(e8g8(c1b2)))))(e1g1(b8d7(b2b3(f8e7(c1b2))))))(f8e7(e1g1(c7c5(b2b3(e8g8(b1d2))))(e8g8(b2b3(d7d5(c1b2)))))))))(g2g3(c8b7(f1g2(c7c5(d4d5(e6d5(f3h4(g7g6(b1c3))))))(f8e7(e1g1(e8g8(b1c3(d7d5(c4d5))(f6e4(d1c2)))(d1c2(b7e4(c2b3))))))))))(c7c5(d4d5(e6d5(c4d5(d7d6(b1c3(g7g6(f3d2(b8d7(e2e4))))))))))(d7d5(b1c3(c7c5(c4d5(f6d5(e2e3(b8c6(f1c4(c5d4(e3d4))(d5b6(c4b3)))))(e2e4(d5c3(b2c3(c5d4(c3d4))))))))(f8b4(e2e3(e8g8(f1d3(c7c5(e1g1(b8c6(a2a3))))))))(f8e7(c1g5(e8g8(e2e3(h7h6(g5h4(b7b6(c4d5)))))))(c4d5(e6d5(c1g5(c7c6(d1c2(g7g6(e2e3)))))))))(c1g5(b8d7(e2e3(h7h6(g5h4(c7c6(b1d2(f8e7(f1d3))))))))(c7c6(b1d2(b8d7(e2e3(d8a5(a2a3(f8e7(b2b4))))))))(f8e7(e2e3(e8g8(b1c3(b8d7(a1c1(c7c6(d1c2)))))))))(c4d5(e6d5(c1g5(c7c6(b1c3(f8e7(d1c2(g7g6(e2e3))))))))))(f8b4(c1d2(b4d2(d1d2(d7d5(b1c3(e8g8(e2e3(d8e7(a1c1)))))(g2g3(b8d7(f1g2(c7c6(e1g1))))))(d7d6(b1c3(b8d7(e2e3(b7b6(f1e2))))))))(d8e7(e2e3(b7b6(d2b4(e7b4(d1d2(b4d2(f3d2)))))))(g2g3(b7b6(f1g2(c8b7(e1g1(b4d2(b1d2))))))))))))(g7g6(b1c3(d7d5(c1f4(f8g7(e2e3(e8g8(a1c1(c7c5(d4c5(d8a5(c4d5)))))(d1b3(c7c5(d4c5(f6e4(c4d5)))))))))(c1g5(f6e4(g5f4(e4c3(b2c3(f8g7(e2e3(e8g8(g1f3)))))))(g5h4(e4c3(b2c3(f8g7(e2e3(c7c5(g1f3)))))))))(c4d5(f6d5(e2e4(d5c3(b2c3(c7c5(f1c4(f8g7(g1e2))))(f8g7(f1c4(c7c5(g1e2))(e8g8(g1e2)))(g1f3(c7c5(f1b5)))))))(g2g3(f8g7(f1g2(d5b6(e2e3(e8g8(g1e2)))))))))(g1f3(f8g7(c1f4(e8g8(e2e3(c7c5(d1b3(c5d4(f3d4)))))))(c4d5(f6d5(d1b3(d5c3(b2c3(c7c5(e2e3)))))))(d1b3(c7c6(c1f4(e8g8(e2e3(d5c4(f1c4)))))))(g2g3(e8g8(c4d5(f6d5(f1g2(c7c5(e1g1))))))))))(d7d6(g2g3(f8g7(f1g2(e8g8(g1f3(b8d7(e1g1(e7e5(e2e4))))))))))(f8g7(e2e4(d7d6(f1e2(e8g8(c1g5(c7c5(d4d5(h7h6(g5e3)))))))(f2f3(b8c6(c1e3(e8g8(g1e2(a7a6(g2g3))))))(c7c5(d4c5(d6c5(d1d8(e8d8(c1e3))))))(c7c6(c1e3(a7a6(d1d2(b7b5(e1c1)))(f1d3(b7b5(e4e5))(b8d7(g1e2))))))(e7e5(d4d5(f6h5(c1e3(b8a6(d1d2))(f7f5(d1d2)))))(g1e2(c7c6(d4d5(e8g8(c1g5))))))(e8g8(c1e3(a7a6(f1d3(f6d7(d3e2))))(b7b6(f1d3(c8b7(g1e2))))(b8c6(g1e2(a7a6(d1d2)(e2c1)(h2h4))(a8b8(e2c1))(f8e8(e2c1))))(b8d7(f1d3(c7c5(g1e2)))(g1h3(c7c6(f1e2))))(c7c5(g1e2(b8c6(d1d2))))(e7e5(d4d5(c7c5(d1c2))(c7c6(d1d2)(f1d3)))(g1e2(a7a6(d1d2))(b8c6(d1d2)))))(c1g5(c7c6(d1d2(a7a6(f1d3)))))(g1e2(c7c5(d4d5(e7e6(e2g3)))))))(g1f3(e8g8(f1e2(b8d7(e1g1(e7e5(f1e1))))(c8g4(c1e3(b8c6(e1g1))(f6d7(e1g1))))(e7e5(d4d5(a7a5(c1g5))(b8d7(c1g5)))))))(h2h3(e8g8(c1g5(b8a6(f2f4(f6h5(g1e2))))(c7c5(d4d5(e7e6(f1d3))))))))(e8g8(c1e3(d7d6(f2f3(c7c6(f1d3(a7a6(g1e2)))))))))(g1f3(d7d6(g2g3(e8g8(f1g2(c7c5(e1g1(b8c6(d4d5))))))))(e8g8(g2g3(c7c5(f1g2(c5d4(f3d4(b8c6(e1g1)))))))))))(g1f3(f8g7(g2g3(e8g8(f1g2(d7d6(e1g1(b8c6(b1c3(a7a6(d4d5)))))))))))(g2g3(f8g7(f1g2(e8g8(e2e4(d7d6(g1e2(b8d7(e1g1(e7e5(d4d5)))))))))))))(g1f3(b7b6(b1c3(c8b7(c1g5(e7e6(e2e4(h7h6(g5f6(d8f6(f1d3(f8b4(e1g1)))))))))))(g2g3(c8b7(f1g2(c7c5(e1g1(c5d4(f3d4(b7g2(g1g2(d7d5(c2c4))))))))))))(c7c5(d4d5(e7e6(c2c4(d7d6(b1c3(e6d5(c4d5(g7g6(g2g3(f8g7(f1g2)))))))))))(e2e3(b7b6(b2b3(g7g6(c1b2(f8g7(f1e2(c8b7(e1g1(e8g8(c2c4))))))))))(e7e6(b2b3(b7b6(c1b2(f8e7(f1d3(c8b7(e1g1(e8g8(b1d2))))))))))))(d7d5(c1f4(c7c5(e2e3(d8b6(d1c1(b8c6(c2c3(c8f5(d4c5(b6c5(b1d2)))))))))))(c2c4(c7c6(b1c3(d5c4(a2a4(c8f5(e2e3(e7e6(f1c4(f8b4(e1g1)))))(f3e5(b8d7(e5c4(d8c7(g2g3)))))))(e2e3(c8g4(f1c4(e7e6(h2h3(g4h5(e1g1)))))))))(c4d5(c6d5(c1f4(b8c6(b1c3(c8f5(e2e3(e7e6(f1b5)))))))))(e2e3(e7e6(b1c3(b8d7(f1d3(d5c4(d3c4(b7b5(c4e2))))))))))(e7e6(b1c3(c7c5(c4d5(f6d5(e2e3(b8c6(f1c4(c5d4(e3d4))))))))(c7c6(c1g5(d5c4(e2e4(b7b5(e4e5(h7h6(g5h4))))))))(f8e7(c1g5(e8g8(e2e3(h7h6(g5h4(b7b6(c4d5))))))))))))(d7d6(b1c3(c8f5(f3h4(f5d7(e2e4(e7e5(h4f3(b8c6(f1e2(g7g6(d4e5)))))))(g2g3(d6d5(f1g2(e7e6(e1g1(c7c5(d4c5))))))))))))(e7e6(c1g5(c7c5(c2c3(d7d5(b1d2(f8e7(e2e3(b8d7(f1d3(b7b6(e1g1)))))))))(e2e3(b7b6(b1d2(c5d4(e3d4(c8b7(f1d3(f8e7(e1g1))))))(c8b7(f1d3(f8e7(e1g1(e8g8(c2c3))))))))(c5d4(e3d4(f8e7(f1d3(b7b6(b1d2(c8b7(e1g1))))))))(d7d5(b1d2(b8c6(c2c3(h7h6(g5h4(c5d4(e3d4))))))))(d8b6(b1d2(b6b2(f1d3(c5d4(e3d4(b2c3(e1g1))))(d7d5(c2c4(b2c3(f3e5))))))(d7d5(g5f6(g7f6(c2c4(c5d4(e3d4)))))))(d1c1(b8c6(c2c3(d7d5(b1d2(c8d7(f1d3))))))(f6e4(g5f4(b8c6(c2c3(f8e7(b1d2))))(d7d5(c2c3(c8d7(b1d2))))))))(f8e7(b1d2(b7b6(c2c3(c8b7(f1d3(b8c6(e1g1))(c5d4(e3d4)))))(f1d3(c8b7(c2c3(d7d5(e1g1)))(e1g1(e8g8(c2c3))))))(c5d4(e3d4(b7b6(c2c3(c8b7(f1d3))))))))(h7h6(g5h4(d8b6(d1c1(c5d4(h4f6(g7f6(e3d4))))))))))(d7d5(b1d2(f8e7(e2e3(b7b6(f1d3(c8b7(e1g1(b8d7(f3e5))))))(b8d7(f1d3(c7c5(c2c3(b7b6(e1g1))))))))))(f8e7(b1d2(d7d5(e2e3(b8d7(f1d3(b7b6(c2c3(c8b7(d1c2))))))(e8g8(f1d3(b7b6(h2h4(c8a6(d3a6))))))(h7h6(g5h4(f6e4(h4e7(d8e7(d2e4))))))))))(h7h6(g5h4(b7b6(b1d2(c8b7(e2e3(f8e7(f1d3(c7c5(e1g1))(d7d6(c2c3))))))))(d7d6(b1d2(f8e7(e2e4(b7b6(f1d3(c8b7(e1g1))))))))(g7g5(h4g3(f6e4(b1d2(e4g3(h2g3(b7b6(e2e3)))))))))))(c2c4(b7b6(b1c3(c8b7(c1g5(h7h6(g5h4(f8e7(e2e3(e8g8(f1d3)))))))))(e2e3(c8b7(f1d3(d7d5(b2b3(b8d7(e1g1(f8d6(c1b2)))))))))(g2g3(c8b7(f1g2(c7c5(e1g1(c5d4(f3d4(b7g2(g1g2))))))(f8b4(c1d2(b4d2(d1d2(e8g8(b1c3))))))))))(d7d5(c1g5(b8d7(e2e3(c7c6(b1d2(f8e7(f1d3(h7h6(g5h4))))))))))(f8b4(c1d2(b4d2(b1d2(d7d5(g2g3(e8g8(f1g2(b8d7(e1g1)))))))))))(g2g3(c7c5(f1g2(b8c6(e1g1(c5d4(f3d4(f8c5(d4b3(c5e7(e2e4))))))))))))(g7g6(b1c3(d7d5(c1f4(f8g7(e2e3(e8g8(h2h3(c7c5(d4c5(d8a5(f3d2)))))))))))(c1f4(f8g7(e2e3(e8g8(f1e2(d7d6(e1g1(b8d7(b1c3(c7c6(a2a4)))(h2h3(d8e8(c2c4)))))))))))(c1g5(f8g7(b1d2(d7d5(e2e3(e8g8(f1d3(c7c5(c2c3(d8b6(a1b1))))))))(d7d6(e2e4(h7h6(g5f4(e7e5(d4e5(f6h5(f4e3)))))(g5h4(g6g5(h4g3(f6h5(c2c3)))))))))))(c2c4(f8g7(b1c3(d7d5(c1g5(f6e4(c4d5(e4g5(f3g5(e7e6(d1d2)))))))(e2e3(e8g8(c4d5(f6d5(f1c4(d5b6(c4e2))))))))(e8g8(c1g5(d7d6(e2e3(h7h6(g5h4(b8d7(f1e2)))))))(e2e4(d7d6(f1e2(e7e5(d4d5(a7a5(h2h3)))))))))))(g2g3(c7c5(f1g2(f8g7(e1g1(c5d4(f3d4(e8g8(c2c4(b8c6(b1c3))))))))))(d7d5(f1g2(f8g7(e1g1(e8g8(b1d2(c7c6(c2c4(c8f5(b2b3)))))(c2c4(d5c4(b1a3(b8c6(a3c4))))))))))(f8g7(f1g2(c7c5(c2c4(e8g8(e1g1(d7d6(b1c3(b8c6(d4c5))))))))(d7d5(e1g1(e8g8(c2c4(c7c6(b1a3(f6e4(c1f4)))(b2b3(c8f5(c1b2))))(d5c4(b1a3(b8a6(a3c4))))))))(e8g8(e1g1(c7c5(c2c4(b8c6(b1c3(c5d4(f3d4))))))(c7c6(a2a4(d7d5(b2b3(f6e4(c1b2)))))(c2c4(d7d5(b1a3(b8d7(c4d5))))))(d7d5(c2c4(c7c6(b1d2(c8f5(b2b3))))))(d7d6(b1c3(b8c6(d4d5(c6a5(e2e4))))(b8d7(e2e4(e7e5(a2a4))))(d6d5(c1g5(c7c6(f1e1)))))))))))(h2h3(f8g7(c1f4(e8g8(b1d2(d7d6(e2e3(b8d7(c2c3(c7c5(f1c4)))))))))))))))(e2e3(g7g6(d2d4(f8g7(g1f3(d7d5(c2c4(e7e6(b1c3(g8f6(f1e2(e8g8(e1g1(b7b6(c4d5)))))))))))))))(e2e4(b8c6(d2d4(d7d5(b1c3(d5e4(d4d5(c6e5(c1f4(e5g6(f4g3(a7a6(f1c4(g8f6(d1e2))))))))))(e7e6(g1f3(g8f6(c1g5(f8e7(g5f6(e7f6(f1b5(e8g8(e1g1))))))))))))(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))))))))))))(e7e5(f1b5(g8f6(b1c3(c6d4(f3d4(e5d4(e4e5(d4c3(e5f6(d8f6(d2c3))))))))))))(e7e6(d2d4(d7d5(b1c3(g8f6(e4d5(e6d5(f1b5(f8e7(f3e5(c8d7(e5d7))))))))))))))(c7c5(b1c3(a7a6(g2g3(b7b5(f1g2(c8b7(a2a3(e7e6(d2d3(b8c6(g1e2(d7d6(e1g1))))))))))))(b8c6(f1b5(c6d4(b5c4(e7e6(g1f3(g8e7(e1g1(e7c6(d2d3(g7g6(f3d4))))))))(g7g6(g1f3(f8g7(d2d3(e7e6(e1g1(g8e7(f3d4))))))))))(g7g6(b5c6(b7c6(d2d3(d7d6(c1e3(f8g7(d1d2(a8b8(a1b1))))))))(d7c6(d2d3(f8g7(g1e2(g8f6(c1e3(b7b6(h2h3)))))))))))(g1e2(c6d4(a1b1(e7e5(e2d4(c5d4(c3d5(g8f6(f1c4(f8e7(e1g1))))))))))(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)))))))))))(g1f3(d7d6(d2d4(c5d4(f3d4(g8f6(c1g5(e7e6(d1d2(a7a6(e1c1))))))))))(e7e6(d2d4(c5d4(f3d4(d8c7(g2g3(a7a6(f1g2(g8f6(e1g1)))))))))))(g2g3(a8b8(f2f4(g7g6(g1f3(f8g7(f1g2(b7b5(a2a3(d8a5(e1g1))))))))))(d7d6(f1g2(e7e5(d2d3(g8f6(g1e2(f8e7(e1g1(e8g8(f2f4))))))))))(g7g6(f1g2(d7d6(d2d3(f8g7(c1e3(e7e6(d1d2(c6d4(c3d1))))))))(f8g7(d2d3(a8b8(g1e2(d7d6(e1g1(e7e6(c1e3)))))(g1h3(b7b5(e1g1(e7e6(c1g5))))(e7e6(e1g1(g8e7(c1e3))))))(d7d6(c1e3(e7e5(g1h3(g8e7(e1g1))))(e7e6(g1h3(g8e7(e1g1)))))(f2f4(e7e5(g1h3(e5f4(c1f4)(h3f4))(g8e7(e1g1))))(e7e6(g1f3(g8e7(e1g1))))(g8f6(g1f3(a8b8(e1g1))(c8g4(h2h3)))))(g1e2(a8b8(e1g1(b7b5(a2a3))))(c6d4(e2d4(c5d4(c3e2))))(e7e5(c3d5(c6e7(d5e3))(c8g4(c2c3))(g8e7(c1g5)(e2c3)))(e1g1(g8e7(c1e3))))(e7e6(a2a3(g8e7(e1g1)))(e1g1(g8e7(a1b1)(c1g5))))(g8f6(c1e3(e8g8(h2h3)))(h2h3(e8g8(e1g1)))))(g1h3(g8f6(e1g1(c8g4(f2f3))))))(e7e5(g1e2(g8e7(e1g1(d7d6(a2a3))))))(e7e6(c1e3(c6d4(c3e2(b7b6(e3d4))))(d7d6(d1d2(a8b8(g1h3)))(f2f4(g8e7(g1f3))))(d8a5(g1e2(c6d4(e1g1)))))(g1e2(g8e7(c1e3(c6d4(a1b1)))))))(g1e2(d7d6(d2d3(g8f6(e1g1(e8g8(h2h3))))))))))(g8f6(f1g2(d7d6(d2d3(c8g4(g1f3(c6d4(h2h3(d4f3(g2f3))))))))))))(d7d6(g2g3(b8c6(f1g2(g7g6(d2d3(f8g7(c1e3(a8b8(d1d2(b7b5(g1e2))))(e7e5(d1d2(g8e7(e3h6)))))(f2f4(e7e6(g1f3(g8e7(e1g1))))(g8f6(g1f3(e8g8(e1g1)))))(g1e2(e7e5(c3d5(g8e7(c1g5)))))))(f2f4(f8g7(g1f3(e7e5(e1g1(g8e7(d2d3))))))))))(g7g6(f1g2(f8g7(d2d3(b8c6(f2f4(e7e6(g1f3(g8e7(e1g1))))))))))))(e7e6(g1e2(a7a6(g2g3(b8c6(f1g2(g7g6(e1g1(f8g7(d2d3(g8e7(f2f4))))))))))(b8c6(d2d4(c5d4(e2d4(d7d6(g2g3(g8f6(f1g2(c8d7(e1g1)))))(h2h3(g8f6(g2g4(d6d5(f1g2)))))))))(g2g3(d7d5(e4d5(e6d5(d2d3(g8f6(f1g2(f8e7(c1g5)))))(f1g2(g8f6(d2d4(c5d4(e2d4))))))))(g8f6(f1g2(d7d5(e4d5(e6d5(d2d4(c5d4(e2d4))))))(d7d6(e1g1(f8e7(d2d3(e8g8(h2h3))))))))))(d7d5(e4d5(e6d5(d2d4(b8c6(c1e3(c5d4(e2d4(f8b4(d4c6))))))(g8f6(c1e3(c5d4(e3d4(f8e7(g2g3))))))))))(d7d6(g2g3(g8f6(f1g2(b8c6(e1g1(a7a6(d2d3(f8e7(h2h3)))))))))))(g1f3(b8c6(d2d4(c5d4(f3d4(d7d6(g2g3(a7a6(f1g2(c8d7(d4b3))))))(g8f6(d4b5(d7d6(c1f4(e6e5(f4g5)))))))))(g2g3(d7d5(f1g2(d5d4(c3e2(g7g6(d2d3(f8g7(e1g1)))))))))))(g2g3(d7d5(e4d5(e6d5(f1g2(g8f6(g1e2(d5d4(c3e4(f6e4(g2e4))))))))))))(g7g6(g2g3(d7d6(f1g2(f8g7(d2d3(b8c6(c1e3(e7e6(d1d2(c6d4(c3d1)))))))))))))(b2b3(b7b6(c1b2(c8b7(d2d3(e7e6(b1d2(b8c6(f2f4(d7d5(g2g3(g8f6(f1g2))))))))))))(b8c6(c1b2(d7d6(f2f4(g8f6(b1c3(g7g6(g2g3(f8g7(f1g2(e8g8(g1e2))))))))))(e7e5(b1c3(d7d6(g2g3(g7g6(f1g2(f8g7(g1e2(g8e7(e1g1))))))))))(e7e6(g1f3(d7d5(f1b5(g8f6(e4e5(f6d7(b5c6(b7c6(d2d3))))))))(g8f6(e4e5(f6d5(f1b5(f8e7(e1g1(e8g8(b5c6))))))))))(g8f6(e4e5(f6d5(g1f3(d7d6(f1c4(d6e5(f3e5(c6e5(b2e5))))))(e7e6(b1c3(d5c3(b2c3(d8c7(f1d3))))))))))))(d7d6(c1b2(a7a6(f2f4(b8c6(g1f3(e7e6(g2g3(g8f6(e4e5(d6e5(f4e5))))))))))(b8c6(g1f3(g8f6(b1c3(g7g6(c3d5(e7e5(f1b5(f8g7(d5f6))))))))))(g8f6(f1b5(c8d7(b5d7(d8d7(b2f6(g7f6(d1h5(b8c6(b1c3)))))(d2d3(b8c6(b1d2(d6d5(g1f3)))))))))))(f1b5(c8d7(b5d7(b8d7(c2c4(g7g6(c1b2(g8f6(f2f4(f8g7(d1f3))))))))))))(e7e6(c1b2(a7a6(g1f3(d7d5(e4d5(e6d5(d2d4(g8f6(f1d3(c5d4(e1g1)))))))))))))(b2b4(c5b4(a2a3(b4a3(c1a3(d7d6(g1f3(b8c6(d2d4(g7g6(h2h4(c8g4(c2c3)))))))))))))(c2c3(d7d5(e4d5(d8d5(d2d4(c5d4(c3d4(b8c6(g1f3(e7e6(b1c3(d5d6(f1c4))))))))(g8f6(g1f3(b8c6(b1a3(c8g4(f1e2(c5d4(a3b5))))))(c8g4(f1e2(e7e6(e1g1(b8c6(c1e3))))))(e7e6(c1e3(c5d4(d1d4(b8c6(d4a4))))))))))))(g8f6(e4e5(f6d5(d2d4(c5d4(c3d4(e7e6(b1c3(d5c3(b2c3(d8c7(c1d2)))))))))))))(d2d3(b8c6(g2g3(g7g6(f1g2(f8g7(f2f4(d7d6(g1f3(b7b6(e1g1(c8b7(c2c3))))(e7e6(c2c3(g8e7(c1e3))))))(e7e6(g1f3(g8e7(e1g1(e8g8(c2c3))))))))))))(e7e6(g2g3(b8c6(f1g2(g7g6(f2f4(g8e7(g1f3(f8g7(e1g1(e8g8(c2c3)))))))))))))(g1e2(d7d6(d2d4(c5d4(e2d4(g7g6(c2c4(f8g7(b1c3(g8f6(f1e2(e8g8(e1g1)))))))))))(g2g3(b8c6(f1g2(g7g6(c2c3(f8g7(d2d4(e7e5(d4c5(d6c5(e1g1))))))))))))(g8f6(b1c3(d7d6(g2g3(b8c6(f1g2(g7g6(e1g1(f8g7(d2d3(e8g8(h2h3))))))))(g7g6(f1g2(b8c6(e1g1(f8g7(d2d4(c5d4(e2d4))))))))))(e7e6(g2g3(b8c6(f1g2(f8e7(e1g1(d7d6(d2d3(a7a6(a2a3)))))))))))))(g1f3(a7a6(b1c3(e7e6(d2d4(c5d4(f3d4(b8c6(c1e3(g8f6(f1d3(d8c7(e1g1)))))))))))(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))))))))))(e7e6(d2d4(c5d4(f3d4(d8c7(c1e3(a7a6(d4b3(g8f6(f2f4))))))))))(g7g6(d2d4(c5d4(f3d4(f8g7(c1e3(g8f6(f1c4(d7d6(f2f3)))))))))(g2g3(f8g7(f1g2(g8f6(d2d3(e8g8(f3h4(a8b8(f2f4))))))))))(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)))))))(c2c4(g8f6(b1c3(c6d4(d1d4(g7g6(f1e2))))))))(d8b6(d4b3(g8f6(b1c3(e7e6(f1e2(f8b4(e1g1))))))))(d8c7(b1c3(e7e6(c1e3(a7a6(f1d3(g8f6(e1g1)))))(g2g3(a7a6(f1g2(g8f6(e1g1))))))))(e7e5(d4b5(a7a6(b5d6(f8d6(d1d6(d8f6(d6d1))))))(d7d6(b1c3(g8f6(c1g5(f8e7(g5f6))))))))(e7e6(b1c3(d8c7(c1e3(a7a6(a2a3(b7b5(f1e2))))(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(b1c3(a7a6(b5a3)))(b5c3(f8e7(g2g3))))))))(g7g6(b1c3(f8g7(c1e3(g8f6(f1c4(c6a5(c4b3))(d7d6(f2f3))(d8a5(e1g1))(e8g8(c4b3)(f2f3)))(f1e2(e8g8(f2f4)))))))(c1e3(f8g7(b1c3(g8f6(f1c4(e8g8(c4b3)))))(c2c4(d7d6(b1c3(g8f6(f1e2)))))))(c2c4(f8g7(c1e3(g8f6(b1c3(f6g4(d1g4))))))(g8f6(b1c3(c6d4(d1d4(d7d6(c1e3)(f1e2))))(d7d6(f1e2(c6d4(d1d4))))))))(g8f6(b1c3(a7a6(d4c6(b7c6(e4e5(f6g8(f1d3))))(d7c6(d1d8(e8d8(c1f4)))))(f1c4(e7e6(e1g1(d7d6(c1e3))))))(d7d6(c1g5(e7e6(d1d2(a7a6(e1c1))(f8e7(e1c1))(h7h6(g5f6)))(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)))(c3d5(f6d5(e4d5))))(h7h6(b5d6(f8d6(d1d6))))))(e7e6(d4b5(d7d6(c1f4(e6e5(f4g5))))(f8b4(a2a3(b4c3(b5c3)))(b5d6(e8e7(d6c8)))))(d4c6(b7c6(e4e5(f6d5(c3e4))))))(g7g6(c1e3(f8g7(f1c4(c6a5(c4e2))(d7d6(f2f3)))))(d4c6(b7c6(e4e5(f6g8(f1c4))(f6h5(f1d3)))))))))))(f1b5(a7a6(b5c6(b7c6(b1c3(d7d5(b2b3(c8g4(h2h3(g4f3(d1f3))))))))))(d7d6(b5c6(b7c6(d2d3(e7e5(c2c4(g8e7(b1c3(e7g6(g2g3)))))))))(e1g1(c8d7(c2c3(a7a6(b5a4(g8f6(f1e1(e7e5(d2d3))))))))))(e7e6(b5c6(b7c6(d2d3(g8e7(b2b3(e7g6(c1b2(f7f6(e4e5)))))))))(e1g1(g8e7(f1e1(d7d5(e4d5(e7d5(b5c6(b7c6(d2d3))))))))))(g7g6(b5c6(b7c6(e1g1(f8g7(f1e1(e7e5(b2b4(c5b4(a2a3))))(f7f6(c2c3(g8h6(d2d4)))))))))(c2c3(g8f6(d1e2(f8g7(e4e5(f6d5(e2c4(d5c7(b5c6)))))))))(e1g1(f8g7(f1e1(g8f6(b1c3(e8g8(e4e5(f6e8(b5c6))))))))))))(d7d6(b1c3(b8c6(d2d4(c5d4(f3d4(g8f6(c1g5(e7e6(d1d2(a7a6(e1c1)))))))))))(d2d4(c5d4(f3d4(a7a6(c2c4(g8f6(b1c3(b8d7(f1e2(e7e6(e1g1))))))))(c8d7(b1c3(b8c6(f1c4(g8f6(e1g1(g7g6(f2f4))))))))(g7g6(b1c3(f8g7(c1e3(g8f6(f2f3(b8c6(d1d2))(e8g8(d1d2))))))))(g8f6(b1c3(a7a6(c1g5(b8c6(d1d2(e7e6(e1c1))))(b8d7(f1c4(d8a5(d1d2))(d8c7(d1e2)))(f2f4(d8c7(d1f3))))(e7e6(d1f3(f8e7(e1c1))(h7h6(g5h4)))(f2f4(b7b5(f1d3))(b8d7(d1f3))(d8b6(d1d2)(d4b3))(d8c7(f1d3))(f8e7(d1f3))(h7h6(g5h4)))))(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(c8e6(e1g1))(f8e7(c1g5))))(e7e6(e1g1(d8c7(a2a4)))(f2f4(b7b5(e2f3))))(g7g6(e1g1(f8g7(c1e3)))))(f2f4(d8c7(f1e2(e7e6(e1g1))))(e7e5(d4f3(b8d7(a2a4)))(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(c8d7(d1d2(a7a6(e1c1)))(f1e2(e7e6(d4b5))))(e7e6(d1d2(f8e7(e1c1)))))(f1c4(e7e6(c1e3(a7a6(c4b3))(f8e7(c4b3)(d1e2)))(c4b3(a7a6(f2f4))(f8e7(c1e3)(e1g1)(f2f4)))(e1g1(f8e7(c4b3)))))(f1e2(e7e5(d4b3(f8e7(c1e3))))(g7g6(c1e3(f8g7(e1g1))))))(e7e6(c1e3(a7a6(f1d3(b7b5(f2f4)))))(f1c4(a7a6(c4b3(b7b5(e1g1)))))(f1d3(b8c6(c1e3(f8e7(f2f4)))(d4b3(a7a6(e1g1)))))(f2f4(b8c6(d4f3(f8e7(f1d3)))))(g2g4(a7a6(g4g5(f6d7(c1e3))))(b8c6(g4g5(f6d7(c1e3)(d4b5))))(d6d5(e4d5(f6d5(f1b5))))(e6e5(d4f5(g7g6(f5e3))))(h7h6(g4g5(h6g5(c1g5))))))(g7g6(c1e3(b8c6(f2f3(f8g7(d1d2))))(f8g7(f2f3(b8c6(d1d2))(e8g8(d1d2)))))(f1e2(f8g7(c1e3(e8g8(e1g1)))(e1g1(e8g8(f1e1))))))))))(g8f6(b1c3(c5d4(f3d4(a7a6(c1g5(e7e6(f2f4(b7b5(f1d3))))))(g7g6(c1e3(f8g7(f2f3(b8c6(d1d2)))))))))))(f1b5(b8d7(b5d7(c8d7(e1g1(d7c6(c2c3(d8b6(f1e1(e7e6(d2d4))))))))))(c8d7(b5d7(b8d7(e1g1(g7g6(c2c3(g8f6(f1e1(f8g7(d2d4))))))))(d8d7(c2c4(e7e5(b1c3(b8c6(d2d3(g7g6(a2a3)))))))(e1g1(b8c6(c2c3(g8f6(f1e1(e7e6(d2d4)))))(c2c4(g8f6(b1c3(g7g6(d2d3)))))(d1e2(g7g6(c2c3(f8g7(f1d1)))))))))))(g2g3(b8c6(f1g2(g7g6(e1g1(f8g7(c2c3(e7e5(d2d3(g8e7(a2a3))))))))(g8f6(b1c3(g7g6(e1g1(f8g7(d2d3(e8g8(c1g5))))))))))(g8f6(d2d3(g7g6(f1g2(f8g7(e1g1(e8g8(f1e1(b8c6(c2c3))))))))))))(e7e6(b1c3(a7a6(d2d4(c5d4(f3d4(d8c7(f1d3(b8c6(c1e3(b7b5(e1g1))(g8f6(e1g1)))(d4b3(g8f6(f2f4))))))))))(b8c6(d2d4(c5d4(f3d4(a7a6(d4c6(b7c6(f1d3(d7d5(e1g1))))))(d8c7(c1e3(a7a6(f1d3(g8f6(e1g1))))))))))(d7d5(e4d5(e6d5(d2d4(g8f6(c1g5(c8e6(g5f6(g7f6(d4c5)))))))))))(c2c3(d7d5(e4e5(d5d4(f1d3(b8c6(b1a3(g8e7(e1g1(e7g6(f1e1))))))(d4c3(d2c3(c8d7(b1d2(d7c6(d1e2))))))))))(g8f6(e4e5(f6d5(d2d4(c5d4(c3d4(b7b6(b1c3(d5c3(b2c3))))(d7d6(e5d6(f8d6(b1c3)))))))))))(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(b7b5(f1d3(d8b6(d4b3(b6c7(e1g1))))))(b8c6(c1e3(g8f6(f1d3(d7d5(e4d5))))))(d8c7(f1d3(b8c6(c1e3(g8f6(e1g1)))(d4b3(b7b5(f2f4))(f8d6(d1g4))(g8f6(c1e3)))(d4c6(b7c6(e1g1))))(g8f6(e1g1(f8d6(g1h1)))))(f1e2(g8f6(e1g1(b8c6(c1e3)))))))(c2c4(d8c7(b1c3(g8f6(f1d3(b8c6(c1e3))))))(g8f6(b1c3(d8c7(f1e2(f8b4(d4c2))))(f8b4(f1d3(d8b6(c1e3)))))))(f1d3(b8c6(d4c6(b7c6(e1g1(d7d5(b1d2)(c2c4))))))(d7d6(c2c4(g7g6(b1c3(f8g7(c1e3))))))(d8c7(e1g1(b8c6(d4c6(b7c6(b1d2))))(g8f6(b1c3(b8c6(d4b3))))))(f8c5(d4b3(c5a7(b1c3(b8c6(d1e2))))))(g7g6(c2c4(f8g7(c1e3(g8e7(b1c3)))))(f2f4(f8g7(d4f3(d7d6(e1g1))))))(g8f6(e1g1(d7d5(e4d5(f6d5(c2c3))))(d7d6(c2c4(c8d7(b1c3))(f8e7(b1c3))(g7g6(b2b3))))))))(b8c6(b1c3(a7a6(c1e3(g8e7(d4b3(d7d6(h2h4))))(g8f6(f1d3(e6e5(d4e2)))))(f2f4(d7d5(c1e3(g8f6(e4e5))))))(d7d6(c1e3(g8f6(f1d3(f8e7(e1g1)))(f1e2(f8e7(e1g1)))))(f1c4(g8f6(c4b3(f8e7(c1e3)))))(f2f4(g8f6(c1e3(e6e5(d4f3))))))(d8c7(c1e3(a7a6(f2f4(b7b5(d4c6)))))))(d4b5(d7d6(c1f4(e6e5(f4e3(a7a6(b5c3))(g8f6(e3g5)))))(c2c4(g8f6(b1c3(a7a6(b5a3))))))))(g8f6(b1c3(b8c6(c1e3(f8b4(d4c6(b7c6(e4e5)))))(d4b5(d7d6(c1f4(e6e5(f4g5))))))(d7d6(f1c4(f8e7(e1g1(a7a6(c4b3)))))(f1e2(a7a6(f2f4(d8c7(a2a4))))(f8e7(e1g1(e8g8(f2f4)))))(f2f4(f8e7(f1d3(b8c6(d4f3)))))(g2g3(f8e7(f1g2(a7a6(e1g1)))))(g2g4(b8c6(g4g5(f6d7(c1e3)))))))))))(g2g3(b7b6(f1g2(c8b7(d1e2(g8f6(d2d3(d7d5(e4e5(f6d7(e1g1))))))))))(b8c6(f1g2(g8f6(d1e2(d7d6(e1g1(f8e7(c2c3(e8g8(d2d4))))))))))(d7d5(e4e5(g8e7(f1g2(e7c6(d2d3(b8d7(c1f4(d8b6(b2b3))))))))))(g8f6(d2d3(d7d5(b1d2(f8e7(f1g2(e8g8(e1g1(b8c6(f1e1))))))))))))(g7g6(d2d4(c5d4(f3d4(f8g7(b1c3(b8c6(c1e3(g8f6(f1c4(d8a5(e1g1)))))))(c2c4(b8c6(c1e3(g8f6(b1c3(f6g4(d1g4))))))))(g8f6(b1c3(f8g7(e4e5(f6g8(c1f4(b8c6(d4c6))))))))))(f8g7(b1c3(c5d4(f3d4(b8c6(c1e3(g8f6(f1c4(d7d6(f2f3))))))))))))(g8f6(b1c3(b8c6(d2d4(d7d5(e4d5(f6d5(c3d5(d8d5(c1e3(c5d4(f3d4))))))))))(d7d5(e4d5(f6d5(f1b5(c8d7(f3e5(d7b5(c3b5(e7e6(d1f3)))))))))(f1b5(c8d7(e4e5(d5d4(e5f6(d4c3(f6g7(c3d2(d1d2)))))))))))(e4e5(f6d5(b1c3(d5c3(d2c3(d7d5(e5d6(d8d6(d1d6(e7d6(c1f4))))))))(e7e6(c3d5(e6d5(d2d4(b8c6(d4c5(f8c5(d1d5)))))))))))))(g2g3(g7g6(f1g2(f8g7(b1c3(b8c6(d2d3(d7d6(g1h3(e7e5(f2f4(g8e7(e1g1))))))))))))))(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(d2d4(e7e6(f1d3(g8f6(h2h3(g4h5(e1g1(d5e4(c3e4)))))))))(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)))))))))))))(c2c4(d7d5(e4d5(c6d5(c4d5(g8f6(b1c3(f6d5(f1c4(d5b6(c4b3(b8c6(g1f3)))))))))))))(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(e4g5(d7f6(f1c4(f6d5(g1f3(g7g6(e1g1)))))))(f1c4(g8f6(e4f6(d7f6(c2c3(e7e6(g1f3))))(e7f6(g1e2(d7b6(c4b3)))))(e4g5(e7e6(d1e2(d7b6(c4b3)))(g1e2(d7b6(c4b3)))))))(g1f3(g8f6(e4c3(e7e6(g2g3(b7b6(f1g2)))))(e4f6(d7f6(f1c4(c8f5(d1e2)(e1g1)))(f3e5(c8f5(c2c3))(e7e6(f1d3)))(h2h3(c8f5(f1d3))(e7e6(c1g5)))))(e4g3(e7e6(f1d3(c6c5(e1g1))))))))(c8f5(e4c5(b7b6(c5a6(b8a6(f1a6(d8c7(d1f3))))(e7e6(c1f4(f8d6(d1f3))))))(d8c7(f1d3(f5d3(c5d3(e7e6(c1f4)))))))(e4g3(f5g6(f1c4(g8f6(g1e2(e7e6(h2h4)))))(g1f3(b8d7(f1d3(d8a5(c1d2))(e7e6(e1g1))(g8f6(d3g6)(e1g1)))(f1e2(e7e6(e1g1)))(h2h4(h7h6(h4h5))))(e7e6(f1d3(g8f6(e1g1))))(g8f6(h2h4(h7h6(f1d3)))))(g1h3(g8f6(h3f4(e7e5(d4e5)))))(h2h4(h7h6(g1e2(g8f6(e2f4)))(g1f3(b8d7(f1d3)(h4h5)))(h4h5(g6h7(g1f3))))))))(g8f6(e4f6(e7f6(c2c3(f8d6(f1d3(e8g8(g1e2))))))(g7f6(c2c3(c8f5(g1f3(b8d7(f3h4))))(d8d5(g1e2(e7e5(c1e3)))))(f1e2(c8f5(g1f3(d8c7(e1g1)))))(g1f3(c8g4(f1e2(b8d7(c1f4))))))))))(g7g6(e4e5(f8g7(f2f4(h7h5(g1f3(c8g4(h2h3(g4f3(d1f3)))))))))))(e4d5(c6d5(c2c4(b8c6(g1f3(c8g4(c4d5(d8d5(f1e2(e7e6(e1g1))))))))(g8f6(b1c3(b8c6(g1f3(c8g4(c4d5(f6d5(d1b3))))))(e7e6(g1f3(f8e7(c4c5(e8g8(b2b4)))(c4d5(e6d5(f1d3))(f6d5(f1c4)(f1d3)))(f1d3(d5c4(d3c4))))))(g7g6(d1b3(f8g7(c4d5(e8g8(f1e2)(g2g3)))))))))(f1d3(b8c6(c2c3(g8f6(c1f4(c8g4(d1b3(c6a5(b3a4))))(g7g6(g1f3(f8g7(b1d2)))))))))(g1f3(g8f6(c2c3(c8f5(f1b5(b8d7(f3h4(f5g6(c1f4)))))))))))(e4e5(c6c5(d4c5(b8c6(g1f3(c8g4(f1b5(d8a5(b1c3(e7e6(c1e3))))))))))(c8f5(g1e2(e7e6(e2g3(f5g6(h2h4(h7h5(f1d3(g6d3(c2d3)))(f1e2(c6c5(c2c3)))))))))(g1f3(e7e6(f1e2(g8e7(e1g1(b8d7(c2c3(c6c5(c1e3)))))))))(h2h4(h7h5(c2c4(e7e6(b1c3(g8e7(c1g5(d5c4(f1c4))))))(f5b1(a1b1(e7e6(a2a3(b8d7(g1f3)))))))(f1d3(f5d3(d1d3(e7e6(g1f3(d8a5(b1d2)))))))))))))(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(c1d2(c8g4(c3b5(a5b6(c2c4)))))(d4d5(c6b4(f1b5(c7c6(d5c6))))))(c8f5(c1d2(b8d7(f1c4(c7c6(d1e2))))))))))(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(b7b5(c4b3(d7g4(f2f3(g4c8(b1c3(b5b4(c3e4))))))))(d7f5(b1c3(b8d7(d2d3(d7b6(d1f3(b6c4(d3c4))))))))(d7g4(f2f3(g4f5(g2g4(f5c8(b1c3(b8d7(g4g5))))))))))))))(d7d6(d2d4(g7g6(b1c3(c7c6(a2a4(f8g7(f2f4(g8f6(g1f3(e8g8(f1d3(b8a6(e1g1))))))))))(f8g7(f2f4(g8f6(g1f3(e8g8(f1d3(c7c5(d4c5(d6c5(c1e3)))))(f1e2(c7c6(e1g1(b8d7(e4e5)))))))))(g1f3(g8f6(f1e2(e8g8(e1g1(c7c6(a2a4(a7a5(h2h3)))))))(h2h3(e8g8(c1e3(c7c6(f1d3(b8d7(e4e5))))))))))(g8f6(f2f4(f8g7(g1f3(c7c5(d4c5(d8a5(f1d3(a5c5(d1e2)))))))))))(c2c4(e7e5(d4d5(b8d7(b1c3(a7a5(f1d3(f8g7(g1e2(g8e7(c1e3))))))))))(f8g7(b1c3(g8f6(f2f4(e8g8(c1e3(c7c6(f1d3(a7a6(g1e2)))))))))))(g1f3(f8g7(c2c3(g8f6(f1d3(e8g8(e1g1(b8c6(d1e2(e7e5(h2h3))))))))))(g8f6(b1c3(f8g7(f1e2(e8g8(e1g1(c7c6(a2a4(a7a5(h2h3)))))))))))(h2h4(g8f6(b1c3(f8g7(f1e2(c7c5(d4d5(h7h5(g1h3(b8d7(f2f4))))))))))))(g8f6(b1c3(e7e5(d4e5(d6e5(d1d8(e8d8(f1c4(c8e6(c4e6(f7e6(g1f3))))(f8b4(c1d2(c8e6(c4e6))))))))))(g7g6(c1e3(c7c6(h2h3(e7e5(g1f3(b8d7(f1e2(f8g7(a2a4)))))))))(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(c7c5(d4c5(d8a5(f1d3(a5c5(d1e2))))))(e8g8(f1d3(a7a6(e1g1(c8g4(h2h3))))(b8a6(d3a6(b7a6(e1g1))))(b8c6(e4e5(d6e5(f4e5))))(f6d7(e1g1(e7e5(d4e5)))))(f1e2(c7c5(d4c5(d8a5(e1g1)))))))))(g1f3(f8g7(f1e2(e8g8(c1e3(c7c6(a2a4(b8d7(a4a5)))))(e1g1(c8g4(c1e3(b8c6(d1d2)))))))(h2h3(e8g8(c1e3(a7a6(a2a4(b7b6(f1c4)(f1d3))))(b8a6(d1d2(c7c5(e3h6))))(c7c6(a2a4(b8d7(a4a5)))(d1d2(b8d7(f1e2)))))))))(g2g3(f8g7(f1g2(e8g8(g1f3(c8g4(c1e3(b8c6(h2h3)))))))))))(f2f3(c7c5(d4c5(d8a5(d1d2(a5c5(c2c4(e7e6(b1c3(f8e7(b2b3))))))))))(e7e5(d4e5(d6e5(d1d8(e8d8(f1c4(c8e6(c4e6(f7e6(c1e3))))))))))(g7g6(c2c4(f8g7(b1c3(b8d7(c1e3(e8g8(f1d3(c7c5(g1e2))))))))))))))(e7e5(b1c3(b8c6(f1c4(f8c5(d1h5(g7g6(h5f3(d8f6(c3d5(f6f3(g1f3(c5b6(d2d3)))))))))(f2f4(g8f6(g1f3(d7d6(d2d3(e8g8(f4f5(c6d4(c1g5))))))))))(g8f6(d2d3(f8b4(c1g5(c6d4(a2a3(b4c3(b2c3(d4e6(c4e6)))))))(g1e2(d7d5(e4d5(f6d5(e1g1(d5c3(b2c3))))))))(f8c5(c1g5(c5e7(f2f4(d7d6(g1f3(c8g4(h2h3)))))))))(f2f4(d7d6(g1f3(c8g4(c4b5(a7a6(b5c6(b7c6(h2h3))))))))(f8c5(g1f3(d7d6(d2d3(c8g4(h2h3(g4f3(d1f3)))))))))))(f2f4(f8c5(g1f3(d7d6(f1b5(c8d7(d2d3(g8f6(c3a4(c6d4(a4c5)))))))))))(g1f3(g8f6(f1b5(f8b4(e1g1(e8g8(d2d3(b4c3(b2c3(d7d6(b5c6)))))))))))(g2g3(d7d6(f1g2(g7g6(d2d3(f8g7(f2f4(c6d4(c3e2(e5f4(e2d4))))))))))(g7g6(f1g2(f8g7(d2d3(d7d6(f2f4(g8e7(g1f3(e8g8(c1e3)(e1g1))))))))))))(c7c6(d2d4(d8c7(d4e5(c7e5(g1f3(e5c7(f1d3(d7d6(e1g1(c8e6(f3d4))))))))))))(f8c5(f1c4(d7d6(d2d3(g8f6(c1g5(b8c6(c3d5(c8e6(c2c3(e6d5(c4d5))))))))))))(g7g6(f1c4(f8g7(d2d3(c7c6(h2h4(d7d6(h4h5(g6g5(h5h6(g8h6(d1h5))))))))))))(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)))))))))))(g1f3(b8c6(f1b5(f8b4(e1g1(e8g8(b5c6(d7c6(f3e5(f8e8(e5d3)))))(d2d3(b4c3(b2c3(d7d6(c1g5))))(d7d6(c1g5(b4c3(b2c3)))))))))))(g2g3(b8c6(f1g2(f8c5(d2d3(d7d6(c3a4(c5b6(a4b6(a7b6(g1e2))))))))))(d7d5(e4d5(f6d5(f1g2(c8e6(g1e2(c7c5(e1g1(b8c6(f2f4))))))(d5c3(b2c3(f8d6(g1e2(e8g8(e1g1)))(g1f3(b8c6(e1g1))(e8g8(e1g1))))))))))(f8c5(f1g2(b8c6(d2d3(a7a6(c3d5(f6d5(e4d5(c6e7(g1f3))))))(d7d6(c3a4(c8g4(f2f3(c5g1(f3g4)))))))))))))(d2d4(e5d4(f1c4(c7c5(g1f3(d7d6(c2c3(d4c3(e1g1(c8e6(c4e6(f7e6(d1b3)))))))))))(g1f3(c7c5(f1c4(b8c6(c2c3(d8f6(e1g1(d7d6(c3d4(c5d4(f3g5)))))))))))))(f1c4(b8c6(g1f3(g8f6(f3g5(d7d5(e4d5(f6d5(d2d4(f8e7(g5f7(e8f7(d1f3))))))))))))(f8c5(c2c3(g8f6(d2d4(e5d4(c3d4(c5b6(b1c3(e8g8(g1e2(c7c6(c4d3)))))))))))(d1e2(d7d6(d2d3(g8f6(h2h3(b8c6(c2c3(c6e7(c4b3(e7g6(g2g3))))))))))(g8f6(d2d3(b8c6(c2c3(c6e7(f2f4(e5f4(d3d4(c5b6(c1f4)))))))))))(g1f3(d7d6(c2c3(d8e7(e1g1(g8f6(d2d4(c5b6(c1g5(c7c6(b1d2))))))))))))(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(c7c6(b1c3(e5f4(g1f3(f8d6(d2d4(g8e7(d5c6(b8c6(d4d5))))))))))(e5e4(b1c3(g8f6(d1e2(c8g4(e2e3(g4f5(h2h3(f6d5(c3d5))))))(f6d5(e2e4(c8e6(f4f5(d5c3(b2c3)))))))(d2d3(f8b4(c1d2(e8g8(c3e4(f8e8(d2b4)))))))(f1c4(f8c5(d2d4(e4d3(d1d3(e8g8(g1e2)))))))))(d2d3(g8f6(d3e4(f6e4(c1e3(d8h4(g2g3(e4g3(g1f3))))(f8c5(e3c5(e4c5(d1e2)))))))))))(g1f3(d5e4(f3e5(b8d7(b1c3(g8f6(f1c4(d7e5(f4e5(d8d4(c4f7))))))))))))(d8f6(b1c3(f6f4(d2d4(f4h4(g2g3(h4d8(d4e5(d7d6(c1f4(d6e5(d1d8))))))))))))(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(b8c6(g1f3(f8b4(e1g1(e8g8(e4e5(d7d5(c4b3))))))))(c7c6(c4b3(d7d5(e4d5(c6d5(d2d4(f8d6(g1e2))))))))(f8b4(g1f3(d8e7(d1e2(e8g8(e4e5(b4c3(d2c3)))))))))))(g1f3(d7d5(e4d5(f8d6(b1c3(g8e7(d2d4(e8g8(f1d3(b8d7(e1g1))))))))(g8f6(f1b5(c7c6(d5c6(b7c6(b5c4(f6d5(e1g1))))(b8c6(d2d4(f8d6(e1g1))))))))))(d7d6(d2d4(g7g5(f1c4(h7h6(e1g1(f8g7(c2c3(g8e7(g2g3)))))))(h2h4(g5g4(f3g1(f8g7(c1f4(b8c6(c2c3)))))))))(f1c4(h7h6(d2d4(g7g5(e1g1(f8g7(c2c3(b8c6(g2g3)))(g2g3(g5g4(f3h4)))))(g2g3(b8c6(g3f4(g5g4(f3g1))))))))))(f8e7(b1c3(e7h4(e1e2(c7c6(d2d4(d7d5(c1f4(c8g4(d1d3))))))))(g8f6(d2d4(d7d5(e4d5(f6d5(f1c4(c8e6(d1e2)))))(f1d3(d5e4(c3e4(f6e4(d3e4)))))))(e4e5(f6g4(d2d4(g4e3(c1e3(f4e3(f1c4))))))))))(g7g5(f1c4(f8g7(h2h4(h7h6(d2d4(d7d6(c2c3(b8c6(h4g5))))))))(g5g4(b1c3(g4f3(d1f3(d7d5(c4d5(c7c6(d5b3)))))))(d2d4(g4f3(d1f3(f8h6(e1g1(d8f6(e4e5)))))))(f3e5(d8h4(e1f1(f4f3(g2g3(h4h3(f1f2)))))))))(h2h4(g5g4(f3e5(g8f6(d2d4(d7d6(e5d3(b8c6(c2c3))(f4f3(g2f3))(f6e4(c1f4)))))))(f3g5(b8c6(f1c4(c6e5(c4b3(h7h6(d2d4))))))))))(g8e7(d2d4(d7d5(b1c3(d5e4(c3e4(e7g6(f1c4(f8e7(h2h4)))(h2h4(d8e7(e1f2)))))))))(f1c4(d7d5(e4d5(e7d5(e1g1(f8e7(d2d4(c7c6(b1c3))))))))))(h7h6(d2d4(g7g5(b1c3(f8g7(g2g3(f4g3(h2g3(d7d5(c3d5))))))))))))(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))))))))))(d7d6(c2c3(c8g4(h2h3(g4f3(d1f3(b8c6(b2b4(c5b6(b1a3))))))))))(g8f6(f4e5(f6e4(d2d4(c5b6(f1d3(e4c5(d4c5(b6c5(b1c3))))))))))))(g8f6(f4e5(f6e4(g1f3(e4g5(d2d4(g5f3(d1f3(d8h4(f3f2(h4f2(e1f2)))))))))))(g1f3(d7d5(f4e5(f6e4(d2d3(e4c5(c1e3(c8g4(d3d4(c5e6(c2c4))))))))))(e5f4(b1c3(d7d5(e4d5(f6d5(f1c4(c8e6(d1e2(f8e7(d2d4)))))))))))))(g1f3(b8c6(b1c3(f8c5(f3e5(c5f2(e1f2(c6e5(d2d4(e5c6(c1e3(d7d6(f1e2))))))))))(g7g6(d2d4(e5d4(f3d4(f8g7(c1e3(g8f6(f1e2(e8g8(e1g1))))))))))(g8f6(d2d4(e5d4(f3d4(f8b4(d4c6(b7c6(f1d3(e8g8(e1g1)))))))))(f1b5(a7a6(b5c6(d7c6(e1g1(c8g4(h2h3(g4h5(d1e2))))))))(c6d4(f3d4(e5d4(e4e5(d4c3(e5f6(d8f6(d2c3))))))))(d7d6(d2d4(c8d7(e1g1(f8e7(f1e1(e5d4(f3d4))))))(e5d4(f3d4(c8d7(e1g1(f8e7(b5c6))))))))(f8b4(e1g1(e8g8(b5c6(b7c6(f3e5(d8e8(d2d4)(e5d3))))(d7c6(d2d3(d8e7(d1e2))(f8e8(h2h3)))(f3e5(f8e8(e5d3)))))(d2d3(b4c3(b2c3(d7d5(b5c6))(d7d6(c1g5)(f1e1))))(d7d6(c1g5(b4c3(b2c3)))))))))(f1c4(f6e4(c4f7(e8f7(c3e4(d7d5(e4g5(f7g8(d2d4)))))))))))(d2d4(d8f6(b1c3(e5d4(c3d5(f6d8(f1c4(f8c5(e1g1(h7h6(b2b4))))))))))(e5d4(c2c3(d7d5(e4d5(d8d5(c3d4(c8g4(f1e2(f8b4(b1c3)))))))))(f1c4(d8f6(c2c3(d4d3(d1d3(d7d6(e1g1(f6g6(c1f4)))))))(e1g1(d7d6(c2c3(d4d3(d1d3(f6g6(c1f4))))))))(f8c5(f3g5(g8h6(g5f7(h6f7(c4f7(e8f7(d1h5)))))))))(f3d4(g8f6(b1c3(f8b4(d4c6(b7c6(d1d3(e8g8(c1d2))))))))))(f8b4(c2c3(b4d6(f1c4(h7h6(e1g1(g8f6(d4e5(d6e5(f3e5)))))))))))(f1b5(a7a6(b5a4(b7b5(a4b3(c6a5(b3f7(e8f7(f3e5(f7e7(d1f3)))))(e1g1(a5b3(a2b3(d7d6(d2d4))))(d7d6(d2d4(a5b3(a2b3))))))(d7d6(e1g1(c8g4(c2c3(d8f6(a2a4))))))(g8e7(f3g5(d7d5(e4d5(c6d4(g5f7))))))))(d7d6(a4c6(b7c6(d2d4(e5d4(f3d4(c6c5(d4f3))))(f7f6(c1e3(a6a5(b1c3))(g7g6(d1d2))(g8e7(b1c3)))))))(c2c3(c8d7(d2d4(g7g6(c1g5(f7f6(g5e3)))(e1g1(f8g7(c1g5)(d4d5))))(g8e7(a4b3(h7h6(b1d2)(d1e2)(e1g1))))(g8f6(e1g1(f8e7(d4d5))))))(f7f5(e4f5(c8f5(d2d4(b7b5(a4b3))(e5e4(d1e2)(d4d5))))))(g8f6(e1g1(f8e7(d2d4(c8d7(b1d2)))))))(e1g1(c8g4(h2h3(g4h5(c2c3(d8f6(g2g4))(g8f6(d2d4))))))))(f7f5(d2d4(e5d4(e4e5(f8c5(c2c3(d4c3(b1c3))))))))(g8f6(b1c3(b7b5(a4b3(f8e7(d2d3(d7d6(c3d5))(e8g8(c3d5))))))(f8e7(e1g1(b7b5(a4b3(d7d6(c3d5))(e8g8(d2d3)))))))(d1e2(b7b5(a4b3(f8c5(c2c3(d7d6(e1g1))(e8g8(e1g1))))(f8e7(a2a4(a8b8(a4b5)))(c2c3(d7d6(e1g1))(e8g8(e1g1)))(e1g1(e8g8(c2c3))))))(f8e7(c2c3(b7b5(a4b3(e8g8(e1g1)))(a4c2(d7d5(d2d3))(e8g8(e1g1)))))))(d2d3(b7b5(a4b3(d7d6(c2c3(f8e7(b1d2))))))(d7d6(c2c3(c8d7(b1d2(f8e7(d2f1))))(f8e7(b1d2(e8g8(d2f1)))))))(e1g1(b7b5(a4b3(c8b7(d2d4(c6d4(f3d4)))(f1e1(f8c5(c2c3))))(d7d6(c2c3(c8g4(h2h3))))(f8e7(d2d4(d7d6(c2c3)))(f1e1(d7d6(c2c3))(e8g8(h2h3))))))(d7d6(a4c6(b7c6(d2d4(e5d4(f3d4))))))(f6e4(d2d4(b7b5(a4b3(d7d5(d4e5)(f3e5))(e5d4(f1e1))))(e5d4(f1e1(d7d5(f3d4))))))(f8c5(c2c3(c5a7(d2d4(f6e4(f1e1))))))(f8e7(a4c6(d7c6(b1c3(c8g4(h2h3)))(d2d3(f6d7(b1d2)))))(b1c3(b7b5(a4b3(d7d6(c3d5)))))(d1e2(b7b5(a4b3(d7d6(c2c3))))(d7d6(a4c6(b7c6(d2d4)))))(f1e1(b7b5(a4b3(d7d6(c2c3))(e8g8(a2a4)(c2c3)(h2h3))))(d7d6(a4c6(b7c6(d2d4)))(c2c3(b7b5(a4b3))(e8g8(d2d4)))))))))(b5c6(d7c6(b1c3(f7f6(d2d4(e5d4(d1d4(d8d4(f3d4))))))(f8c5(d2d3(c8g4(c1e3(c5e3(f2e3)))))))(e1g1(c8g4(h2h3(g4f3(d1f3(d8d7(d2d3))))))(f7f6(d2d4(c8g4(c2c3(e5d4(c3d4)))(d4e5(d8d1(f1d1))))(e5d4(f3d4(c6c5(d4b3)(d4e2))(g8e7(c1e3))))))))))(c6d4(f3d4(e5d4(e1g1(f8c5(d2d3(c7c6(b5a4(g8e7(f2f4))))))(g7g6(d2d3(f8g7(b1d2(g8e7(f2f4))))))))))(d7d6(b1c3(g8f6(d2d4(f8e7(e1g1(c8d7(f1e1(c6d4(f3d4)))))))))(c2c3(c8g4(d2d3(f8e7(b1d2(g8f6(e1g1(e8g8(f1e1)))))))))(d2d4(c8d7(b1c3(g8f6(e1g1(f8e7(f1e1(c6d4(f3d4)))))))))(e1g1(a7a6(b5c6(b7c6(d2d4(e5d4(f3d4(c8d7(f1e1))))))))))(f7f5(b1c3(f5e4(c3e4(d7d5(f3e5(d5e4(e5c6(d8d5(c2c4))(d8g5(d1e2))))))(g8f6(e4f6(d8f6(e1g1(f8e7(b5c6))))))))(g8f6(d1e2(c6d4(f3d4(e5d4(e4e5(f6g4(h2h3)))(e4f5(f8e7(c3e4)))))))(e4f5(e5e4(f3h4(d7d5(d2d3(f8e7(d3e4)))))))))(d2d3(f5e4(d3e4(g8f6(e1g1(f8c5(b5c6(b7c6(f3e5))))))))))(f8b4(c2c3(b4c5(d2d4(e5d4(c3d4(c5b4(b1c3(b4c3(b2c3))))))))))(f8c5(c2c3(d8f6(e1g1(g8e7(f1e1(e8g8(d2d4(e5d4(e4e5))))))))(f7f5(d2d4(f5e4(b5c6(d7c6(f3e5(c5d6(d1h5))))))))(g8f6(d2d4(c5b6(e1g1(e8g8(c1g5(h7h6(g5h4)))))))))(e1g1(c6d4(f3d4(c5d4(c2c3(d4b6(d2d4(c7c6(b5a4))))))))))(g8e7(c2c3(d7d5(f3e5(d5e4(d1e2(d8d5(e5c6(e7c6(d2d4))))))))(g7g6(d2d4(e5d4(c3d4(f8g7(d4d5(c6b8(b1c3))))))(f8g7(d4d5(a7a6(b5e2(c6a7(c3c4)))))))))(e1g1(a7a6(b5a4(d7d6(c2c3(c8d7(d2d4(e7g6(f1e1))))))))))(g8f6(b1c3(c6d4(b5a4(c7c6(e1g1(d8a5(a4b3(d4b3(c2b3)))))))))(d2d3(d7d6(e1g1(c8d7(c2c3(g7g6(f1e1(f8g7(d3d4)))))))))(e1g1(d7d6(b5c6(b7c6(d2d4(f8e7(b1c3(e5d4(f3d4))(f6d7(d4e5)))))))(d2d4(c8d7(b1c3(e5d4(f3d4(f8e7(d4e2)))))))(f1e1(c8d7(d2d4(e5d4(f3d4(f8e7(b5c6))))))))(f6e4(d2d4(d7d5(f3e5(c8d7(e5d7(d8d7(b1c3))))))(e4d6(b5c6(d7c6(d4e5(d6f5(d1d8)(d1e2)))))(c1g5(f8e7(g5e7(d8e7(b5c6)))))(d4e5(d6b5(a2a4(b5d4(f3d4))(d7d6(e5e6))))))(f8e7(d1e2(e4d6(b5c6(b7c6(d4e5)))))(f1e1(e4d6(b5c6(d7c6(d4e5))))))))(f8c5(c2c3(e8g8(d2d4(c5b6(c1g5(h7h6(g5h4))))))))(f8e7(b1c3(d7d6(b5c6(b7c6(d2d4(e5d4(f3d4)))))(d2d4(c8d7(f1e1(e5d4(f3d4)))))))))))(f1c4(f8c5(b1c3(g8f6(d2d3(d7d6(c1g5(h7h6(g5f6(d8f6(c3d5)))))))))(b2b4(c5b4(c2c3(b4a5(d2d4(d7d6(d1b3(d8d7(d4e5))))(e5d4(e1g1(a5b6(c3d4))(d4c3(d1b3))(d7d6(d1b3))(g8e7(f3g5)))))(e1g1(a5b6(d2d4(c6a5(c4d3))))(d7d6(d2d4(e5d4(c3d4))))(g8f6(d2d4(f6e4(d4e5))))))(b4c5(d2d4(e5d4(e1g1(d7d6(c3d4)))))(e1g1(d7d6(d2d4(e5d4(c3d4))))))(b4d6(d2d4(h7h6(e1g1(g7g5(f3e5)))))(e1g1(h7h6(d2d4(g8f6(d4e5))))))(b4e7(d1b3(g8h6(d2d4(c6a5(b3a4)))))(d2d4(d7d6(d1b3(g8h6(c1h6)))(d4e5(c6e5(f3e5))(d6e5(d1b3))))))))(c5b6(a2a4(a7a6(c1b2(d7d6(b4b5(c6a5(c4a2)))))))))(c2c3(d7d6(d2d3(g8f6(b2b4(c5b6(a2a4(a7a6(b4b5)))))))(d2d4(e5d4(c3d4(c5b6(b1c3(g8f6(d4d5)))(d4d5(c6e5(f3e5))(c6e7(e4e5))))))))(g8f6(d1e2(e8g8(d2d3(d7d5(c4b5(d5e4(d3e4))))))))))(f8e7(d2d4(d7d6(b1c3(g8f6(h2h3(e8g8(e1g1(c6d4(f3d4))))))))))(g8f6(f3g5(d7d5(e4d5(c6a5(c4b5(c7c6(d5c6(b7c6(b5e2))))))(c6d4(c2c3(b7b5(c4f1(f6d5(c3d4)(g5e4))))))(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))))))(g8f6(f1d3(c8d7(h2h3(b8c6(d4c6))))))))(g8f6(b1c3(f8e7(g2g3(d6d5(e4d5(f6d5(d4e2)))(e4e5(f6g4(f2f4))))))))))(f7f5(d4e5(f5e4(f3g5(d6d5(b1c3(g8e7(e5e6(e7g6(g5f7)))))))))))(f1c4(f7f5(d2d3(c7c6(b1c3(f8e7(e1g1(g8f6(d1e2(b7b5(c4b3))))))))))))(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(b1c3(b8c6(f1b5(f8b4(d2d3(e8g8(e1g1(b4c3(b2c3(d7d6(f1e1)))))))))))(d2d4(e5d4(e4e5(f6e4(d1d4(d7d5(e5d6(e4d6(f1d3(b8c6(d4f4)))))))(d1e2(e4c5(f3d4(b8c6(d4c6(b7c6(b1c3))))(f8e7(b1c3(c7c6(c1e3))))))(f8b4(e1d1(e4c5(c1g5(d4d3(c2d3))))))))))(f6e4(f1d3(d7d5(f3e5(f8e7(b1d2(e4d2(c1d2(b8c6(e5c6)))))))))))(f3e5(d7d6(e5f3(f6e4(d1e2(d8e7(b1c3(e4c3(d2c3(e7e2(f1e2)))))(d2d3(e4f6(c1g5(b8d7(b1c3))(c8e6(b1c3))(e7e2(f1e2)))))))(d2d4(d6d5(f1d3(b8c6(d1e2(d8e7(e1g1))))(c8g4(e1g1(b8c6(c2c3)(f1e1))))(e4f6(e1g1(f8e7(f3e5))))(f8d6(c2c4(d6b4(b1d2)))(e1g1(e8g8(c2c4)(f1e1))))(f8e7(e1g1(b8c6(c2c4)(f1e1))))))(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)))))))))))))(c2c4(d7d5(e4d5(e6d5(c4d5(g8f6(f1b5(b8d7(b1c3(f8e7(d2d4(e8g8(g1f3)))))))))))))(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(g1f3(f8e7(c2c3(c7c5(d1c2(b8c6(f1e2(e6e5(e1g1)))))))))(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(e4e5(f7f6(e5f6(g8f6(g1f3(f8d6(f1b5(e8g8(e1g1)))))))))(g1f3(g8f6(e4d5(e6d5(f1b5(c8g4(h2h3(g4f3(d1f3))))))))))(d5e4(c3e4(b8d7(g1f3(g8f6(e4f6(d7f6(c1g5(f8e7(f1d3)))(f1c4(f8e7(c1g5)))(f1d3(b7b6(e1g1))(f8e7(d1e2)))(f3e5(f8d6(d1f3))))))))(c8d7(g1f3(d7c6(f1d3(c6e4(d3e4(c7c6(e1g1))))))))(g8f6(e4f6(d8f6(g1f3(h7h6(f1d3(b8c6(e1g1))(f8d6(e1g1))))))))))(f8b4(a2a3(b4c3(b2c3(d5e4(d1g4(g8f6(g4g7(h8g8(g7h6))))))(g8e7(f1d3(e8g8(g1f3(b8d7(e4e5)))))))))(e4d5(e6d5(f1d3(b8c6(g1e2(g8e7(e1g1(c8f5(d3f5)))))))))(e4e5(a7a5(a2a3(b4c3(b2c3(c7c5(d1g4(g8e7(g4g7))))))))(b7b6(a2a3(b4c3(b2c3(d8d7(d1g4(f7f5(g4g3))))(g8e7(h2h4(c8a6(f1a6))))))(b4f8(f2f4(b8c6(g1f3(g8h6(f1d3)))))))(d1g4(b4f8(g1f3(d8d7(h2h4(h7h5(g4f4))))(g8e7(c1g5(d8d7(h2h4))))))))(c7c5(a2a3(b4a5(b2b4(c5d4(d1g4(e8f8(b4a5))(g8e7(b4a5)))))(d1g4(g8e7(d4c5(a5c3(b2c3))))))(b4c3(b2c3(b8c6(a3a4(d8a5(c1d2))))(d8a5(c1d2(a5a4(d1g4))))(d8c7(d1g4(f7f5(g4g3)))(g1f3(b7b6(a3a4))(b8c6(f1e2))(c8d7(a3a4))(g8e7(a3a4))))(g8e7(a3a4(b8c6(g1f3))(c8d7(g1f3))(d8a5(c1d2))(d8c7(g1f3)))(d1g4(c5d4(c3d4)(g4g7))(d8c7(g4g7))(e7f5(f1d3))(e8g8(g1f3)))(g1f3(b8c6(a3a4))(c8d7(a3a4)(d4c5))(d8a5(c1d2))))))(c5d4(a3b4(d4c3(d1g4(c3b2(c1b2)))(g1f3(d8c7(f1d3)))))))(c1d2(c5d4(c3b5(b4d2(d1d2(b8c6(f2f4))))))(g8e7(a2a3(b4c3(d2c3(b7b6(f1b5))(b8c6(g1f3))(c5d4(d1d4)))))(c3b5(b4d2(d1d2(e8g8(d4c5)))))))(d1g4(g8e7(d4c5(b4c3(b2c3(e7g6(g1f3))))))))(d8d7(a2a3(b4c3(b2c3(b7b6(a3a4(c8a6(f1a6))))))))(f7f6(a2a3(b4a5(d1g4(d8e7(g1f3(b8c6(f1b5))))))))(g8e7(a2a3(b4c3(b2c3(b7b6(d1g4(e7g6(c1g5)(h2h4))(e8f8(g1h3)))(g1h3(e7g6(a3a4))))(c7c5(a3a4(b8c6(g1f3))(d8a5(c1d2))(d8c7(g1f3)))(d1g4(d8c7(g4g7)))(g1e2(d8c7(a1b1)))(g1f3(b7b6(f1b5))))(e8g8(g1f3(b8d7(f1d3)))))))(c1d2(c7c5(a2a3(b4c3(d2c3(b7b6(g1f3)))))))(d1g4(c7c5(g1f3(c5d4(f3d4(d8c7(f1b5))))))(e7f5(g1f3(b8c6(f1b5(c8d7(c1g5))))))))))(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(d7f6(f1d3))(e7f6(d1d2)(g5f6)(h2h4))))))(f8e7(g5f6(e7f6(c2c3(b8d7(g1f3)))(g1f3(b8d7(d1d2)(f1c4))(c8d7(c2c3)(d1d2))(e8g8(d1d2)(f1c4))))(g7f6(g1f3(b7b6(f1c4)))(g2g3(c8d7(g1f3))(f6f5(e4c3))))))))(f8b4(e4d5(d8d5(g5f6(g7f6(g1f3(b4c3(b2c3)))))))(e4e5(h7h6(g5d2(b4c3(b2c3(f6e4(d1g4)))(d2c3(f6e4(c3a5))))))))(f8e7(e4e5(f6d7(g5e7(d8e7(d1d2(e8g8(f2f4)))(f2f4(a7a6(g1f3))(d7b6(g1f3))(e8g8(g1f3)))))(h2h4(a7a6(d1g4(f7f5(g4h5))))(f7f6(d1h5(e8f8(e5f6))))))(f6e4(g5e7(d8e7(c3e4(d5e4(d1e2))))(e4c3(e7d8(c3d1(d8c7))))))(f6g8(h2h4(e7g5(h4g5(d8g5(g1h3)))))))))(e4d5(e6d5(c1g5(f8e7(f1d3(b8c6(g1e2(c6b4(a2a3)))))))(f1d3(c7c5(d4c5(f8c5(g1f3(e8g8(e1g1)))))))))(e4e5(f6d7(f2f4(c7c5(d4c5(f8c5(d1g4(e8g8(f1d3)))))))(g1f3(c7c5(d4c5(b8c6(c1f4(f8c5(f1d3)))))))))(f1d3(d5e4(c3e4(b8d7(e4f6(d7f6(g1f3(f8e7(d1e2)))))))))))(b1d2(b8c6(c2c3(e6e5(e4d5(d8d5(g1f3(e5d4(f1c4(d5h5(e1g1)))))))))(g1f3(g8f6(e4e5(f6d7(d2b3(a7a5(a2a4(b7b6(c1f4))))))))))(g8f6(e4e5(f6d7(f2f4(c7c5(c2c3(b8c6(d2f3(c5d4(c3d4)))))))))))(e4d5(e6d5(f1d3(b8c6(c2c3(f8d6(g1e2(g8e7(c1f4(e8g8(e1g1))))))))(c7c5(d4c5(f8c5(g1f3(g8f6(e1g1(e8g8(c1g5))))))))(f8d6(g1e2(g8e7(e1g1(e8g8(c1f4(c8g4(f4d6)))))))(g1f3(g8f6(e1g1(e8g8(c1g5(c8g4(f1e1))))))))(g8f6(c1f4(f8d6(f4d6(d8d6(g1f3(e8g8(e1g1)))))))(g1e2(f8e7(e1g1(e8g8(c1f4(f8e8(h2h3)))))))(g1f3(f8d6(e1g1(e8g8(c1g5(c8g4(b1d2)))))))))(g1f3(c8g4(c2c4(g8f6(b1c3(f8b4(h2h3(g4h5(g2g4))))))))(g8f6(c2c4(f8b4(b1c3(e8g8(f1e2(d5c4(e2c4)))))))))))(e4e5(c7c5(c2c3(b8c6(g1f3(d8b6(a2a3(a7a5(f1d3(c8d7(d3c2))))))))))))(f8b4(c2c3(b4a5(a2a4(c7c6(e4e5(g8e7(b1d2(d7d5(e5d6(d8d6(d2c4))))))))))))(g8e7(b1c3(g7g6(h2h4(f8g7(h4h5(d7d5(h5h6(g7f8(c1g5(a7a6(g5f6)))))))))))))(f2f4(d7d5(e4e5(c7c5(g1f3(b8c6(c2c3(d8b6(f1d3(a7a6(d3c2(c8d7(d2d4))))(c8d7(d3c2(f7f6(e1g1))))))))))))))(g7g6(d2d4(c7c6(c2c4(f8g7(b1c3(d7d6(f2f3(e7e5(g1e2(g8e7(d4e5(d6e5(d1d8))))))))))))(d7d6(b1c3(f8g7(f2f4(a7a6(a2a4(b8d7(g1f3(c7c5(d4d5(d8a5(c1d2)))))))))))(c2c4(f8g7(b1c3(g8f6(f2f3(e8g8(c1e3(e7e5(d4d5(c7c6(f1d3))))))))))))(f8g7(b1c3(a7a6(g1f3(d7d6(f1c4(e7e6(c1g5(g8e7(a2a4(h7h6(g5e3))))))))))(c7c5(d4c5(d8a5(g1f3(b8c6(f1d3(g7c3(b2c3(a5c3(c1d2))))))))))(c7c6(f2f4(d7d5(e4e5(f7f6(g1f3(g8h6(f1e2(c8g4(f3h4)))))))))(g2g3(d7d5(e4e5(f7f6(f2f4(g8h6(f1g2(e8g8(g1f3))))))))))(d7d6(c1e3(c7c6(d1d2(b8d7(f2f4(g8f6(g1f3(e8g8(h2h3)))))))))(f1e2(g8f6(g1f3(e8g8(e1g1(b8d7(e4e5(f6e8(c1g5)))))))))(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)))))))))))(c2c3(g8f6(f1d3(d7d6(f2f4(e7e5(g1f3(c8g4(f4e5(d6e5(c1g5)))))))))))(c2c4(d7d6(b1c3(b8c6(c1e3(e7e5(d4d5(c6d4(g1e2(d4e2(f1e2))))))))(b8d7(g1f3(e7e6(g2g3(g8e7(f1g2(e8g8(e1g1))))))))(e7e5(g1e2(e5d4(e2d4(g8e7(c1e3(b8c6(d1d2)))))))))))(g1f3(c7c6(c1f4(d7d6(b1d2(g8f6(h2h3(e8g8(f1d3(b8d7(e1g1))))))))))(d7d6(b1c3(g8f6(h2h3(a7a6(f1d3(f6d7(c3e2(c7c5(c2c3)))))))))(f1c4(c7c6(c4b3(g8f6(b1c3(e8g8(e1g1(b8a6(h2h3))))))))(e7e6(c4b3(d6d5(b1d2(g8e7(e1g1(e8g8(f1e1))))))))(g8f6(b1c3(e8g8(c4b3(c8g4(c1e3(b8c6(h2h3))))))))))))))(g8f6(b1c3(e7e5(g1f3(b8c6(f1b5(f8b4(e1g1(e8g8(b5c6(b7c6(f3e5(d8e8(e5d3)))))))))))))(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)))))))(f2f4(d6e5(f4e5(b8c6(c1e3(c8f5(b1c3))))))(g7g6(b1c3(d6e5(f4e5(f8g7(c4c5)))))))))(f1c4(d5b6(c4b3(b8c6(e5e6(f7e6(g1f3(c6a5(f3g5)))))))))(g1f3(c8g4(f1e2(e7e6(e1g1(f8e7(c2c4(d5b6(h2h3)))(h2h3(g4h5(c2c4))))))))(d6e5(f3e5(b8d7(e5f7(e8f7(d1h5(f7e6(h5g4))))))))(g7g6(f1c4(d5b6(c4b3(f8g7(b1d2(e8g8(h2h3)))(f3g5(e7e6(d1f3)))))))))))(g1f3(d7d6(f1c4(e7e6(e1g1(d5b6(c4b3(c7c5(c2c3(b8c6(e5d6)))))))))))))(g1f3(f6e4(d2d4(d7d5(f1d3(c7c5(e1g1(e7e6(c2c4(e4f6(b1c3(d5c4(d3c4)))))))))))))))(f2f4(d7d5(d2d4(c7c5(e2e3(b8c6(g1f3(g8f6(c2c4(c8g4(c4d5(g4f3(d1f3(d8d5(f3d5))))))))))(e7e6(g1f3(b8c6(c2c4(c5d4(e3d4(d5c4(f1c4(g8f6(b1c3)))))))))))))(g1f3(c7c5(e2e3(g7g6(f1b5(c8d7(b5d7(b8d7(b1c3(e7e6(e3e4(d5d4(c3e2))))))))))))(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))))))))))))))(c7c5(c2c4(g8f6(g2g3(g7g6(f1g2(f8g7(e1g1(e8g8(d2d4(c5d4(f3d4(b8c6(b1c3)))))))))))))(e2e4(b8c6(d2d4(c5d4(f3d4(g8f6(b1c3(d7d6(f1e2(e7e5(d4b3(f8e7(e1g1))))))))))))))(d7d5(b2b4(c8f5(c1b2(e7e6(a2a3(g8f6(e2e3(f8e7(c2c4(e8g8(b1c3(c7c6(f1e2)))))))))))))(c2c4(c7c6(b2b3(c8f5(c1b2(e7e6(g2g3(g8f6(f1g2(b8d7(e1g1(h7h6(d2d3)))))))))))(d2d4(g8f6(b1c3(e7e6(c1g5(b8d7(e2e3(d8a5(f3d2(d5c4(g5f6))))))))))))(d5d4(d2d3(f7f6(g2g3(e7e5(f1g2(c7c5(e1g1(b8c6(e2e3(f8d6(b1d2))))))))))))(e7e6(g2g3(d5c4(d1a4(c8d7(a4c4(c7c5(f3e5(b8c6(e5d7(d8d7(f1g2)))))))))))))(e2e3(g8f6(b2b3(e7e6(c1b2(b8d7(c2c4(c7c6(b1c3(f8d6(d2d4(e8g8(d1c2)))))))))))(c2c4(c7c6(b1c3(e7e6(d2d4(b8d7(f1d3(d5c4(d3c4(f8b4(e1g1)))))))))))))(g2g3(b8c6(d2d4(c8g4(f1g2(d8d7(e1g1(g7g6(c2c4(f8g7(c4d5(g4f3(g2f3))))))))))))(c7c5(f1g2(b8c6(e1g1(e7e5(c2c4(d5d4(d2d3(f8d6(e2e3(g8e7(e3d4))))))))(g8f6(d2d3(e7e5(b1d2(f8e7(e2e4(d5d4(d2c4))))))))))))(g7g6(d2d4(f8g7(f1g2(g8f6(b1c3(e8g8(e1g1(b8d7(c1g5(c7c6(d1c1))))))))))))))(f7f5(g2g3(g8f6(f1g2(e7e6(c2c4(f8e7(e1g1(e8g8(d2d4(d7d5(b1c3(c7c6(d1b3))))))))))))))(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(b2b3(d7d5(c1b2(c8f5(g2g3(e7e6(f1g2(b8d7(e1g1(f8d6(d2d3(h7h6(b1d2)))))))))))))(b2b4(e7e6(a2a3(b7b6(c1b2(c8b7(e2e3(f8e7(c2c4(d7d5(c4d5(e6d5(b4b5)))))))))))))(c2c4(b7b6(d2d4(e7e6(g2g3(c8b7(f1g2(f8e7(e1g1(e8g8(b1c3(f6e4(c3e4))))))))))))(c7c5(b1c3(d7d5(c4d5(f6d5(g2g3(b8c6(f1g2(e7e6(e1g1(f8e7(d2d4))))))))))(e7e6(g2g3(b7b6(f1g2(c8b7(e1g1(f8e7(b2b3(d7d5(e2e3)))))))))))(d2d4(b7b6(b1c3(c8b7(d4d5(d7d6(e2e4(b8d7(c1f4(g7g6(d1d2))))))))))(c5d4(f3d4(e7e5(d4b5(f8b4(c1d2(b4d2(d1d2(e8g8(b1c3)))))))))))(g2g3(b7b6(f1g2(c8b7(e1g1(g7g6(b2b3(f8g7(c1b2(e8g8(b1c3))))))))))))(c7c6(b2b3(d7d5(c1b2(c8f5(d2d3(e7e6(b1d2(f8d6(g2g3(e8g8(f1g2)))))))))))(d2d4(d7d5(b1c3(d5c4(a2a4(c8g4(f3e5(b8d7(e5c4(d8c7(g2g3))))))))(e7e6(c1g5(b8d7(e2e3(d8a5(c4d5(e6d5(f1d3))))(f8e7(d1c2(e8g8(a2a3))))))))))))(e7e6(b1c3(b7b6(g2g3(c8b7(f1g2(c7c5(e1g1(b8c6(d2d4(c5d4(f3d4))))))))))(d7d5(d2d4(f8e7(c1f4(e8g8(e2e3(c7c5(d4c5(e7c5(a2a3)))))))))))(d2d4(b7b6(b1c3(f8b4(c1g5(c8b7(e2e3(h7h6(g5h4(b4c3(b2c3))))))))))(d7d5(c1g5(b8d7(e2e3(f8e7(b1d2(e8g8(a1c1(c7c5(c4d5))))))))(f8e7(e2e3(b8d7(b1d2(f6e4(g5e7(d8e7(f1d3))))))))))(f8b4(b1d2(b7b6(e2e3(c8b7(f1d3(f6e4(a2a3(b4d2(f3d2)))))))))))(g2g3(d7d5(b2b3(c7c5(f1g2(b8c6(e1g1(f8e7(d2d3(e8g8(c1b2))))))))))))(g7g6(b1c3(f8g7(d2d4(e8g8(e2e4(d7d6(f1e2(e7e5(d4d5(a7a5(h2h3)))))))))(g2g3(e8g8(f1g2(d7d6(d2d4(b8c6(e1g1(c8g4(d4d5)))))))))))(b2b3(f8g7(c1b2(e8g8(g2g3(d7d6(f1g2(b8c6(e1g1(e7e5(d2d4)))))))))))))(d2d4(b7b6(g2g3(c8b7(f1g2(c7c5(e1g1(c5d4(f3d4(b7g2(g1g2(g7g6(c2c4))))))))))))(e7e6(c1g5(c7c5(e2e3(d8b6(d1c1(f6e4(g5f4(b8c6(f1d3(d7d5(c2c3))))))))))))(g7g6(b1d2(f8g7(e2e4(d7d6(f1c4(e8g8(e1g1(c8g4(h2h3(g4f3(d2f3)))))))))))(g2g3(f8g7(f1g2(e8g8(e1g1(d7d5(b1d2(b8a6(d2b3(c7c6(c1f4)))))))))))))(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))))))))))(c8g4(c2c4(c7c6(b2b3(b8d7(c1b2(e7e6(e1g1(f8d6(d2d3))))))))))(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)))))))))))))))
