(ignored inputs)COMMENT TPDB SRS_Standard/ICFP_2010/140654
Rewrite Rules:
   [ 0(0(0(1(2(1(1(1(0(0(1(0(1(?x))))))))))))) -> 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(?x))))))))))))))))),
     0(0(1(0(0(1(1(1(0(1(2(0(1(?x))))))))))))) -> 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(?x))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(0(?x))))))))))))) -> 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x))))))))))))))))),
     0(0(1(1(1(1(1(2(1(1(2(1(1(?x))))))))))))) -> 0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x))))))))))))))))),
     0(1(0(2(0(2(1(0(0(1(0(1(1(?x))))))))))))) -> 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x))))))))))))))))),
     0(1(0(2(2(1(1(2(1(2(2(0(1(?x))))))))))))) -> 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(0(?x))))))))))))) -> 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x))))))))))))))))),
     0(1(1(1(2(1(2(0(1(2(1(0(1(?x))))))))))))) -> 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x))))))))))))))))),
     0(2(0(0(1(1(2(0(1(0(1(0(2(?x))))))))))))) -> 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(?x))))))))))))))))),
     1(0(2(0(0(2(0(1(2(0(1(0(1(?x))))))))))))) -> 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(0(?x))))))))))))) -> 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x))))))))))))))))),
     1(1(0(0(2(2(2(0(1(2(0(1(1(?x))))))))))))) -> 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(0(?x))))))))))))) -> 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(0(1(?x))))))))))))) -> 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x))))))))))))))))),
     2(0(0(0(2(2(0(2(2(0(1(0(1(?x))))))))))))) -> 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(?x))))))))))))))))),
     2(0(2(1(0(0(1(0(0(0(1(1(1(?x))))))))))))) -> 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(?x))))))))))))))))),
     2(0(2(1(1(1(1(0(2(0(1(0(1(?x))))))))))))) -> 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(?x))))))))))))))))),
     2(1(2(2(1(1(2(2(0(1(1(0(1(?x))))))))))))) -> 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(?x))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(0(?x))))))))))))) -> 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(?x))))))))))))))))) ]
Apply Direct Methods...
Inner CPs:
   [ 0(0(0(1(2(1(1(1(0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x_2))))))))))))))))))))))))) = 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(0(1(0(0(1(0(2(0(?x_2))))))))))))))))))))))))),
     0(0(0(1(2(1(1(1(0(0(1(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4)))))))))))))))))))))))))))) = 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(0(2(0(2(1(0(0(1(0(1(1(?x_4)))))))))))))))))))))))))))),
     0(0(0(1(2(1(1(1(0(0(1(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5)))))))))))))))))))))))))))) = 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(0(2(2(1(1(2(1(2(2(0(1(?x_5)))))))))))))))))))))))))))),
     0(0(0(1(2(1(1(1(0(0(1(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6)))))))))))))))))))))))))))) = 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(1(0(1(1(0(1(0(2(1(0(0(?x_6)))))))))))))))))))))))))))),
     0(0(0(1(2(1(1(1(0(0(1(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7)))))))))))))))))))))))))))) = 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(1(1(2(1(2(0(1(2(1(0(1(?x_7)))))))))))))))))))))))))))),
     0(0(0(1(2(1(1(1(0(0(1(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     0(0(0(1(2(1(1(1(0(0(1(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     0(0(0(1(2(1(1(1(0(0(1(0(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     0(0(0(1(2(1(1(1(0(0(1(0(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     0(0(0(1(2(1(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     0(0(1(0(0(1(1(1(0(1(2(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4)))))))))))))))))))))))))))) = 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(0(2(0(2(1(0(0(1(0(1(1(?x_4)))))))))))))))))))))))))))),
     0(0(1(0(0(1(1(1(0(1(2(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5)))))))))))))))))))))))))))) = 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(0(2(2(1(1(2(1(2(2(0(1(?x_5)))))))))))))))))))))))))))),
     0(0(1(0(0(1(1(1(0(1(2(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6)))))))))))))))))))))))))))) = 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(1(0(1(1(0(1(0(2(1(0(0(?x_6)))))))))))))))))))))))))))),
     0(0(1(0(0(1(1(1(0(1(2(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7)))))))))))))))))))))))))))) = 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(1(1(2(1(2(0(1(2(1(0(1(?x_7)))))))))))))))))))))))))))),
     0(0(1(0(0(1(1(1(0(1(2(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     0(0(1(0(0(1(1(1(0(1(2(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     0(0(1(0(0(1(1(1(0(1(2(0(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     0(0(1(0(0(1(1(1(0(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12)))))))))))))))))))))))))) = 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(0(2(0(1(0(1(2(1(0(?x_12)))))))))))))))))))))))))),
     0(0(1(0(0(1(1(1(0(1(2(0(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     0(0(1(0(0(1(1(1(0(1(2(0(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(?x))))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(0(0(1(2(1(1(1(0(0(1(0(1(?x))))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(?x_1))))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(0(1(0(0(1(1(1(0(1(2(0(1(?x_1))))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x_3))))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(0(1(1(1(1(1(2(1(1(2(1(1(?x_3))))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(2(1(0(0(1(0(1(1(?x_4))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4))))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(1(0(2(0(2(1(0(0(1(0(1(1(?x_4))))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5))))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(1(0(2(2(1(1(2(1(2(2(0(1(?x_5))))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6))))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(1(1(0(1(1(0(1(0(2(1(0(0(?x_6))))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7))))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(1(1(1(2(1(2(0(1(2(1(0(1(?x_7))))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(?x_8))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(0(1(1(2(0(1(0(1(0(2(?x_8))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(?x_8))))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(2(0(0(1(1(2(0(1(0(1(0(2(?x_8))))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9)))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(0(2(0(1(2(0(1(0(1(?x_9)))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10)))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(2(1(0(2(0(1(1(2(0(?x_10)))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(?x_14)))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(0(0(2(2(0(2(2(0(1(0(1(?x_14)))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(?x_15)))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(2(1(0(0(1(0(0(0(1(1(1(?x_15)))))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(?x_16)))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(2(1(1(1(1(0(2(0(1(0(1(?x_16)))))))))))))))))))))))))))),
     0(0(1(1(1(1(1(2(1(1(2(1(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     0(0(1(1(1(1(1(2(1(1(2(1(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     0(0(1(1(1(1(1(2(1(1(2(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11)))))))))))))))))))))))))))) = 0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11)))))))))))))))))))))))))))),
     0(0(1(1(1(1(1(2(1(1(2(1(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     0(0(1(1(1(1(1(2(1(1(2(1(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     0(0(1(1(1(1(1(2(1(1(2(1(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     0(1(0(2(0(2(1(0(0(1(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6))))))))))))))))))))))))))) = 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(0(1(1(0(1(0(2(1(0(0(?x_6))))))))))))))))))))))))))),
     0(1(0(2(0(2(1(0(0(1(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7))))))))))))))))))))))))))) = 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(1(2(1(2(0(1(2(1(0(1(?x_7))))))))))))))))))))))))))),
     0(1(0(2(0(2(1(0(0(1(0(1(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     0(1(0(2(0(2(1(0(0(1(0(1(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     0(1(0(2(0(2(1(0(0(1(0(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11)))))))))))))))))))))))))))) = 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(0(0(2(2(2(0(1(2(0(1(1(?x_11)))))))))))))))))))))))))))),
     0(1(0(2(0(2(1(0(0(1(0(1(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     0(1(0(2(0(2(1(0(0(1(0(1(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     0(1(0(2(0(2(1(0(0(1(0(1(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     0(1(0(2(2(1(1(2(1(2(2(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4)))))))))))))))))))))))))))) = 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(0(2(0(2(1(0(0(1(0(1(1(?x_4)))))))))))))))))))))))))))),
     0(1(0(2(2(1(1(2(1(2(2(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6)))))))))))))))))))))))))))) = 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(1(0(1(1(0(1(0(2(1(0(0(?x_6)))))))))))))))))))))))))))),
     0(1(0(2(2(1(1(2(1(2(2(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7)))))))))))))))))))))))))))) = 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(1(1(2(1(2(0(1(2(1(0(1(?x_7)))))))))))))))))))))))))))),
     0(1(0(2(2(1(1(2(1(2(2(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     0(1(0(2(2(1(1(2(1(2(2(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     0(1(0(2(2(1(1(2(1(2(2(0(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     0(1(0(2(2(1(1(2(1(2(2(0(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     0(1(0(2(2(1(1(2(1(2(2(0(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(?x)))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(0(1(2(1(1(1(0(0(1(0(1(?x)))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(?x))))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(0(0(1(2(1(1(1(0(0(1(0(1(?x))))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(?x_1)))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(1(0(0(1(1(1(0(1(2(0(1(?x_1)))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(?x_1))))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(0(1(0(0(1(1(1(0(1(2(0(1(?x_1))))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x_2)))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(1(0(1(0(1(0(0(1(0(2(0(?x_2)))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x_2))))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(0(1(0(1(0(1(0(0(1(0(2(0(?x_2))))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x_3)))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(1(1(1(1(1(2(1(1(2(1(1(?x_3)))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x_3))))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(0(1(1(1(1(1(2(1(1(2(1(1(?x_3))))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4))))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(1(0(2(0(2(1(0(0(1(0(1(1(?x_4))))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5))))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(1(0(2(2(1(1(2(1(2(2(0(1(?x_5))))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7))))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(1(1(1(2(1(2(0(1(2(1(0(1(?x_7))))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(?x_8))))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(2(0(0(1(1(2(0(1(0(1(0(2(?x_8))))))))))))))))))))))))))))),
     0(1(1(1(2(1(2(0(1(2(1(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4)))))))))))))))))))))))))))) = 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(0(2(0(2(1(0(0(1(0(1(1(?x_4)))))))))))))))))))))))))))),
     0(1(1(1(2(1(2(0(1(2(1(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5)))))))))))))))))))))))))))) = 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(0(2(2(1(1(2(1(2(2(0(1(?x_5)))))))))))))))))))))))))))),
     0(1(1(1(2(1(2(0(1(2(1(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6)))))))))))))))))))))))))))) = 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(1(0(1(1(0(1(0(2(1(0(0(?x_6)))))))))))))))))))))))))))),
     0(1(1(1(2(1(2(0(1(2(1(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     0(1(1(1(2(1(2(0(1(2(1(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     0(1(1(1(2(1(2(0(1(2(1(0(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     0(1(1(1(2(1(2(0(1(2(1(0(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     0(1(1(1(2(1(2(0(1(2(1(0(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     0(2(0(0(1(1(2(0(1(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4)))))))))))))))))))))))))) = 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(0(2(1(0(0(1(0(1(1(?x_4)))))))))))))))))))))))))),
     0(2(0(0(1(1(2(0(1(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5)))))))))))))))))))))))))) = 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(2(1(1(2(1(2(2(0(1(?x_5)))))))))))))))))))))))))),
     0(2(0(0(1(1(2(0(1(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))) = 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))),
     0(2(0(0(1(1(2(0(1(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))) = 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))),
     0(2(0(0(1(1(2(0(1(0(1(0(2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(?x_14))))))))))))))))))))))))))))) = 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(0(0(0(2(2(0(2(2(0(1(0(1(?x_14))))))))))))))))))))))))))))),
     0(2(0(0(1(1(2(0(1(0(1(0(0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(?x_15))))))))))))))))))))))))))))) = 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(0(2(1(0(0(1(0(0(0(1(1(1(?x_15))))))))))))))))))))))))))))),
     0(2(0(0(1(1(2(0(1(0(1(0(2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(?x_16))))))))))))))))))))))))))))) = 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(0(2(1(1(1(1(0(2(0(1(0(1(?x_16))))))))))))))))))))))))))))),
     0(2(0(0(1(1(2(0(1(0(1(0(2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(?x_17))))))))))))))))))))))))))))) = 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(1(2(2(1(1(2(2(0(1(1(0(1(?x_17))))))))))))))))))))))))))))),
     0(2(0(0(1(1(2(0(1(0(1(0(0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(?x_18))))))))))))))))))))))))))))) = 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(2(1(1(1(1(0(1(1(2(0(1(0(?x_18))))))))))))))))))))))))))))),
     1(0(2(0(0(2(0(1(2(0(1(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4)))))))))))))))))))))))))))) = 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(0(2(0(2(1(0(0(1(0(1(1(?x_4)))))))))))))))))))))))))))),
     1(0(2(0(0(2(0(1(2(0(1(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5)))))))))))))))))))))))))))) = 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(0(2(2(1(1(2(1(2(2(0(1(?x_5)))))))))))))))))))))))))))),
     1(0(2(0(0(2(0(1(2(0(1(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6)))))))))))))))))))))))))))) = 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(1(0(1(1(0(1(0(2(1(0(0(?x_6)))))))))))))))))))))))))))),
     1(0(2(0(0(2(0(1(2(0(1(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7)))))))))))))))))))))))))))) = 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(1(1(2(1(2(0(1(2(1(0(1(?x_7)))))))))))))))))))))))))))),
     1(0(2(0(0(2(0(1(2(0(1(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     1(0(2(0(0(2(0(1(2(0(1(0(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     1(0(2(0(0(2(0(1(2(0(1(0(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     1(0(2(0(0(2(0(1(2(0(1(0(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(?x))))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(0(0(1(2(1(1(1(0(0(1(0(1(?x))))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(?x_1))))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(0(1(0(0(1(1(1(0(1(2(0(1(?x_1))))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x_2))))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(0(1(0(1(0(1(0(0(1(0(2(0(?x_2))))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x_3))))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(0(1(1(1(1(1(2(1(1(2(1(1(?x_3))))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4))))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(1(0(2(0(2(1(0(0(1(0(1(1(?x_4))))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5))))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(1(0(2(2(1(1(2(1(2(2(0(1(?x_5))))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6))))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(1(1(0(1(1(0(1(0(2(1(0(0(?x_6))))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7))))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(1(1(1(2(1(2(0(1(2(1(0(1(?x_7))))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(?x_8))))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(2(0(0(1(1(2(0(1(0(1(0(2(?x_8))))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(?x_14)))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(0(0(2(2(0(2(2(0(1(0(1(?x_14)))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(?x_15)))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(2(1(0(0(1(0(0(0(1(1(1(?x_15)))))))))))))))))))))))))))),
     1(0(2(0(2(1(0(2(0(1(1(2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(?x_16)))))))))))))))))))))))))))) = 1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(2(1(1(1(1(0(2(0(1(0(1(?x_16)))))))))))))))))))))))))))),
     1(1(0(0(2(2(2(0(1(2(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6))))))))))))))))))))))))))) = 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(0(1(1(0(1(0(2(1(0(0(?x_6))))))))))))))))))))))))))),
     1(1(0(0(2(2(2(0(1(2(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7))))))))))))))))))))))))))) = 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(1(2(1(2(0(1(2(1(0(1(?x_7))))))))))))))))))))))))))),
     1(1(0(0(2(2(2(0(1(2(0(1(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     1(1(0(0(2(2(2(0(1(2(0(1(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     1(1(0(0(2(2(2(0(1(2(0(1(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     1(1(0(0(2(2(2(0(1(2(0(1(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(?x))))))))))))))))))))))))))))) = 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(0(0(1(2(1(1(1(0(0(1(0(1(?x))))))))))))))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(?x_1))))))))))))))))))))))))))))) = 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(0(1(0(0(1(1(1(0(1(2(0(1(?x_1))))))))))))))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x_2))))))))))))))))))))))))))))) = 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(0(1(0(1(0(1(0(0(1(0(2(0(?x_2))))))))))))))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x_3))))))))))))))))))))))))))))) = 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(0(1(1(1(1(1(2(1(1(2(1(1(?x_3))))))))))))))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4))))))))))))))))))))))))))))) = 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(1(0(2(0(2(1(0(0(1(0(1(1(?x_4))))))))))))))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5))))))))))))))))))))))))))))) = 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(1(0(2(2(1(1(2(1(2(2(0(1(?x_5))))))))))))))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6))))))))))))))))))))))))))))) = 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(1(1(0(1(1(0(1(0(2(1(0(0(?x_6))))))))))))))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7))))))))))))))))))))))))))))) = 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(1(1(1(2(1(2(0(1(2(1(0(1(?x_7))))))))))))))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(?x_8))))))))))))))))))))))))))))) = 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(2(0(0(1(1(2(0(1(0(1(0(2(?x_8))))))))))))))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9)))))))))))))))))))))))))))) = 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(2(0(0(2(0(1(2(0(1(0(1(?x_9)))))))))))))))))))))))))))),
     1(2(0(1(0(2(0(1(0(1(2(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10)))))))))))))))))))))))))))) = 1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(2(0(2(1(0(2(0(1(1(2(0(?x_10)))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(?x_1))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(0(0(1(1(1(0(1(2(0(1(?x_1))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x_2))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(0(1(0(1(0(0(1(0(2(0(?x_2))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x_3))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(1(1(1(1(2(1(1(2(1(1(?x_3))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4)))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(0(2(0(2(1(0(0(1(0(1(1(?x_4)))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5)))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(0(2(2(1(1(2(1(2(2(0(1(?x_5)))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6)))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(1(0(1(1(0(1(0(2(1(0(0(?x_6)))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7)))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(1(1(2(1(2(0(1(2(1(0(1(?x_7)))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(0(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(0(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     2(0(0(0(2(2(0(2(2(0(1(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4)))))))))))))))))))))))))))) = 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(0(2(0(2(1(0(0(1(0(1(1(?x_4)))))))))))))))))))))))))))),
     2(0(0(0(2(2(0(2(2(0(1(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5)))))))))))))))))))))))))))) = 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(0(2(2(1(1(2(1(2(2(0(1(?x_5)))))))))))))))))))))))))))),
     2(0(0(0(2(2(0(2(2(0(1(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6)))))))))))))))))))))))))))) = 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(1(0(1(1(0(1(0(2(1(0(0(?x_6)))))))))))))))))))))))))))),
     2(0(0(0(2(2(0(2(2(0(1(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7)))))))))))))))))))))))))))) = 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(1(1(2(1(2(0(1(2(1(0(1(?x_7)))))))))))))))))))))))))))),
     2(0(0(0(2(2(0(2(2(0(1(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     2(0(0(0(2(2(0(2(2(0(1(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     2(0(0(0(2(2(0(2(2(0(1(0(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     2(0(0(0(2(2(0(2(2(0(1(0(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     2(0(0(0(2(2(0(2(2(0(1(0(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 2(0(0(1(1(2(1(1(2(0(0(1(2(1(2(0(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     2(0(2(1(0(0(1(0(0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x_3))))))))))))))))))))))))) = 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(1(1(2(1(1(2(1(1(?x_3))))))))))))))))))))))))),
     2(0(2(1(0(0(1(0(0(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7)))))))))))))))))))))))))) = 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(2(1(2(0(1(2(1(0(1(?x_7)))))))))))))))))))))))))),
     2(0(2(1(0(0(1(0(0(0(1(1(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     2(0(2(1(0(0(1(0(0(0(1(1(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     2(0(2(1(0(0(1(0(0(0(1(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11)))))))))))))))))))))))))))) = 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11)))))))))))))))))))))))))))),
     2(0(2(1(0(0(1(0(0(0(1(1(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     2(0(2(1(0(0(1(0(0(0(1(1(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     2(0(2(1(0(0(1(0(0(0(1(1(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 0(2(1(2(1(0(1(1(1(0(1(0(1(0(0(1(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     2(0(2(1(1(1(1(0(2(0(1(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4)))))))))))))))))))))))))))) = 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(0(2(0(2(1(0(0(1(0(1(1(?x_4)))))))))))))))))))))))))))),
     2(0(2(1(1(1(1(0(2(0(1(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5)))))))))))))))))))))))))))) = 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(0(2(2(1(1(2(1(2(2(0(1(?x_5)))))))))))))))))))))))))))),
     2(0(2(1(1(1(1(0(2(0(1(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6)))))))))))))))))))))))))))) = 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(1(0(1(1(0(1(0(2(1(0(0(?x_6)))))))))))))))))))))))))))),
     2(0(2(1(1(1(1(0(2(0(1(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7)))))))))))))))))))))))))))) = 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(1(1(2(1(2(0(1(2(1(0(1(?x_7)))))))))))))))))))))))))))),
     2(0(2(1(1(1(1(0(2(0(1(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     2(0(2(1(1(1(1(0(2(0(1(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     2(0(2(1(1(1(1(0(2(0(1(0(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     2(0(2(1(1(1(1(0(2(0(1(0(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     2(0(2(1(1(1(1(0(2(0(1(0(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 2(1(2(0(2(0(1(0(1(2(0(1(0(1(1(1(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     2(1(2(2(1(1(2(2(0(1(1(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4)))))))))))))))))))))))))))) = 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(0(2(0(2(1(0(0(1(0(1(1(?x_4)))))))))))))))))))))))))))),
     2(1(2(2(1(1(2(2(0(1(1(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5)))))))))))))))))))))))))))) = 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(0(2(2(1(1(2(1(2(2(0(1(?x_5)))))))))))))))))))))))))))),
     2(1(2(2(1(1(2(2(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6))))))))))))))))))))))))) = 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(1(0(1(0(2(1(0(0(?x_6))))))))))))))))))))))))),
     2(1(2(2(1(1(2(2(0(1(1(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6)))))))))))))))))))))))))))) = 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(1(0(1(1(0(1(0(2(1(0(0(?x_6)))))))))))))))))))))))))))),
     2(1(2(2(1(1(2(2(0(1(1(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7)))))))))))))))))))))))))))) = 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(1(1(2(1(2(0(1(2(1(0(1(?x_7)))))))))))))))))))))))))))),
     2(1(2(2(1(1(2(2(0(1(1(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9))))))))))))))))))))))))))))) = 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9))))))))))))))))))))))))))))),
     2(1(2(2(1(1(2(2(0(1(1(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10))))))))))))))))))))))))))))) = 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10))))))))))))))))))))))))))))),
     2(1(2(2(1(1(2(2(0(1(1(0(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x_11))))))))))))))))))))))))))))) = 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(1(0(0(2(2(2(0(1(2(0(1(1(?x_11))))))))))))))))))))))))))))),
     2(1(2(2(1(1(2(2(0(1(1(0(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))))))) = 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(2(0(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))))))),
     2(1(2(2(1(1(2(2(0(1(1(0(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x_13))))))))))))))))))))))))))))) = 2(1(1(1(2(0(1(2(2(0(0(0(1(1(1(0(1(2(1(2(0(0(0(1(1(1(0(0(1(?x_13))))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(0(0(1(0(1(1(0(2(0(0(2(0(1(0(1(0(1(?x))))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(0(0(1(2(1(1(1(0(0(1(0(1(?x))))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(0(1(1(0(0(1(0(1(1(1(1(0(2(0(1(1(1(?x_1))))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(0(1(0(0(1(1(1(0(1(2(0(1(?x_1))))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x_2))))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(0(1(0(1(0(1(0(0(1(0(2(0(?x_2))))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(0(1(2(0(1(0(0(1(2(1(0(0(1(0(1(1(1(?x_3))))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(0(1(1(1(1(1(2(1(1(2(1(1(?x_3))))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(2(0(2(1(0(0(1(0(1(1(?x_4))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(0(0(0(1(1(1(1(1(0(2(2(0(1(1(1(0(1(?x_4))))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(1(0(2(0(2(1(0(0(1(0(1(1(?x_4))))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(2(2(1(1(2(1(2(2(0(1(?x_5))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x_5))))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(1(0(2(2(1(1(2(1(2(2(0(1(?x_5))))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x_6))))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(1(1(0(1(1(0(1(0(2(1(0(0(?x_6))))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x_7))))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(1(1(1(2(1(2(0(1(2(1(0(1(?x_7))))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(?x_8))))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(2(0(0(1(1(2(0(1(0(1(0(2(?x_8))))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x_9)))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(2(0(0(2(0(1(2(0(1(0(1(?x_9)))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(2(0(1(2(0(2(0(0(1(0(1(0(0(0(1(2(0(1(0(?x_10)))))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(2(0(2(1(0(2(0(1(1(2(0(?x_10)))))))))))))))))))))))))))),
     2(2(1(1(1(1(0(1(1(0(1(1(2(0(1(0(0(1(0(0(1(0(1(2(0(?x_12))))))))))))))))))))))))) = 0(1(0(1(1(1(1(1(2(2(0(1(2(1(1(1(0(2(0(1(0(1(2(1(0(?x_12))))))))))))))))))))))))),
     0(0(1(0(1(0(1(0(0(1(0(2(0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(?x))))))))))))))))))))))))))))) = 0(1(1(1(0(1(1(2(1(2(0(1(1(1(0(1(1(0(1(0(1(0(1(0(0(1(0(2(0(?x))))))))))))))))))))))))))))),
     0(1(0(2(2(1(1(2(1(2(2(0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(?x)))))))))))))))))))))))))))) = 0(1(2(2(0(0(1(0(1(0(2(1(0(2(2(0(1(0(2(2(1(1(2(1(2(2(0(1(?x)))))))))))))))))))))))))))),
     0(1(1(0(1(1(0(1(0(2(1(0(0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(?x))))))))))))))))))))))))))))) = 0(1(2(0(1(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(1(1(0(1(0(2(1(0(0(?x))))))))))))))))))))))))))))),
     0(1(1(1(2(1(2(0(1(2(1(0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(?x)))))))))))))))))))))))))))) = 0(1(0(1(0(1(1(0(0(1(0(2(0(1(0(0(1(1(1(2(1(2(0(1(2(1(0(1(?x)))))))))))))))))))))))))))),
     0(2(0(0(1(1(2(0(1(0(1(0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(?x)))))))))))))))))))))))))))) = 0(0(1(2(0(0(1(0(1(0(1(1(0(0(1(1(1(0(0(1(1(2(0(1(0(1(0(2(?x)))))))))))))))))))))))))))),
     1(0(2(0(0(2(0(1(2(0(1(0(1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(?x))))))))))))))))))))))))))))) = 1(1(0(0(1(0(2(1(2(0(1(1(1(0(1(1(1(0(2(0(0(2(0(1(2(0(1(0(1(?x))))))))))))))))))))))))))))),
     1(1(0(0(2(2(2(0(1(2(0(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x)))))))))))))))))))))))))))) = 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(0(0(2(2(2(0(1(2(0(1(1(?x)))))))))))))))))))))))))))),
     1(1(0(0(2(2(2(0(1(2(0(1(1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(?x))))))))))))))))))))))))))))) = 1(0(1(1(1(0(0(1(2(0(1(2(0(0(0(0(1(1(0(0(2(2(2(0(1(2(0(1(1(?x))))))))))))))))))))))))))))),
     1(2(1(2(0(0(0(1(1(1(0(0(1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(?x))))))))))))))))))))))))))))) = 1(1(1(1(0(2(0(1(1(0(1(1(2(2(0(0(1(2(1(2(0(0(0(1(1(1(0(0(1(?x))))))))))))))))))))))))))))) ]
Outer CPs:
   [  ]
not Overlay, check Termination...