(ignored inputs)COMMENT TPDB SRS_Standard/ICFP_2010/211471 Rewrite Rules: [ 0(?x) -> 1(?x), 0(0(?x)) -> 0(?x), 3(4(5(?x))) -> 4(3(5(?x))), 2(2(2(2(2(2(2(2(2(2(2(2(2(?x))))))))))))) -> 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) -> 2(2(2(2(2(2(2(2(2(2(2(2(2(?x))))))))))))) ] Apply Direct Methods... Inner CPs: [ 0(1(?x)) = 0(?x), 1(1(1(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(1(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(1(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(1(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(1(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(1(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(1(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(1(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(1(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(1(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(1(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(1(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(1(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(1(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(1(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(1(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(1(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(1(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(1(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(1(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(1(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(1(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(1(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(1(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(1(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(1(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(1(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(1(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(1(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(1(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(1(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(1(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(1(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(1(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(1(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(1(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(1(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(1(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(1(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(1(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(1(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(1(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(1(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(1(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(1(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(1(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(1(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(1(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(1(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(1(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(1(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(1(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(1(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(1(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(1(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(1(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(1(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(1(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(1(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(1(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(1(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(1(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(1(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(1(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(1(1(1(0(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(1(1(1(0(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(1(0(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(1(0(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(1(1(1(?x_4)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(1(1(?x_4))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(?x_4))))))))))))), 0(0(?x)) = 0(0(?x)), 2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 2(2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(2(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 2(2(2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(2(2(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 2(2(2(2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(2(2(2(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 2(2(2(2(2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(2(2(2(2(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 2(2(2(2(2(2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(2(2(2(2(2(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 2(2(2(2(2(2(2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(2(2(2(2(2(2(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 2(2(2(2(2(2(2(2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(2(2(2(2(2(2(2(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 2(2(2(2(2(2(2(2(2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(2(2(2(2(2(2(2(2(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 2(2(2(2(2(2(2(2(2(2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(2(2(2(2(2(2(2(2(2(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 2(2(2(2(2(2(2(2(2(2(2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(2(2(2(2(2(2(2(2(2(2(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 2(2(2(2(2(2(2(2(2(2(2(2(0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(1(1(1(1(1(1(0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(1(1(1(0(1(0(0(1(0(0(1(1(0(0(0(1(0(1(0(1(0(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(0(1(1(0(0(1(1(1(1(1(2(2(2(2(2(2(2(2(2(2(2(2(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(2(2(2(2(2(2(2(2(2(2(2(2(2(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))), 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(2(2(2(2(2(2(2(2(2(2(2(2(2(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) = 2(2(2(2(2(2(2(2(2(2(2(2(2(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(0(1(1(0(0(1(1(0(1(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(0(1(1(0(0(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(1(?x)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) ] Outer CPs: [ 1(0(?x_1)) = 0(?x_1) ] not Overlay, check Termination...