MAYBE (ignored inputs)COMMENT TPDB SRS_Standard/ICFP_2010/5011 Rewrite Rules: [ 0(2(1(?x))) -> 0(4(0(1(4(5(1(5(0(1(?x)))))))))), 1(1(3(?x))) -> 1(2(1(2(2(2(5(1(4(2(?x)))))))))), 0(0(0(3(?x)))) -> 4(2(4(0(2(5(3(3(4(5(?x)))))))))), 1(0(2(3(?x)))) -> 1(1(2(5(4(1(2(4(3(2(?x)))))))))), 1(3(5(3(?x)))) -> 3(5(4(5(2(4(3(2(5(4(?x)))))))))), 0(2(3(1(3(?x))))) -> 1(0(1(2(1(3(1(3(1(2(?x)))))))))), 0(3(4(5(3(?x))))) -> 2(0(2(5(1(2(4(4(5(5(?x)))))))))), 0(5(2(1(3(?x))))) -> 2(4(2(5(2(4(3(0(2(4(?x)))))))))), 2(1(3(1(0(?x))))) -> 0(1(4(5(1(5(5(2(3(0(?x)))))))))), 0(5(2(2(2(0(?x)))))) -> 2(5(4(3(0(2(5(1(2(1(?x)))))))))), 2(0(0(5(2(0(?x)))))) -> 4(0(4(2(1(4(4(4(0(1(?x)))))))))), 2(0(5(3(0(2(?x)))))) -> 2(5(3(5(1(4(5(0(0(2(?x)))))))))), 2(1(0(2(1(5(?x)))))) -> 2(5(4(1(3(2(2(5(4(5(?x)))))))))), 5(1(5(1(0(2(?x)))))) -> 4(5(0(0(4(3(1(1(0(4(?x)))))))))), 0(5(2(2(2(1(0(?x))))))) -> 0(3(2(3(1(4(1(0(1(0(?x)))))))))), 0(5(3(5(3(1(5(?x))))))) -> 0(1(3(4(0(1(4(5(1(5(?x)))))))))), 1(1(5(1(4(4(3(?x))))))) -> 1(0(3(4(4(1(0(2(5(5(?x)))))))))), 1(3(2(3(0(5(3(?x))))))) -> 1(4(0(1(5(4(0(3(2(5(?x)))))))))), 1(5(2(4(2(1(1(?x))))))) -> 4(4(1(4(1(4(3(1(0(3(?x)))))))))), 2(0(2(0(2(1(0(?x))))))) -> 2(0(2(3(4(2(4(4(4(0(?x)))))))))), 2(4(5(5(1(3(5(?x))))))) -> 2(1(2(1(4(4(4(3(4(4(?x)))))))))), 3(0(0(5(5(2(1(?x))))))) -> 0(2(4(3(2(3(2(1(0(3(?x)))))))))), 3(1(5(2(3(0(5(?x))))))) -> 5(3(4(0(4(5(2(0(0(4(?x)))))))))) ] Apply Direct Methods... Inner CPs: [ 0(2(1(2(1(2(2(2(5(1(4(2(?x_1)))))))))))) = 0(4(0(1(4(5(1(5(0(1(1(3(?x_1)))))))))))), 0(2(1(1(2(5(4(1(2(4(3(2(?x_3)))))))))))) = 0(4(0(1(4(5(1(5(0(1(0(2(3(?x_3))))))))))))), 0(2(3(5(4(5(2(4(3(2(5(4(?x_4)))))))))))) = 0(4(0(1(4(5(1(5(0(1(3(5(3(?x_4))))))))))))), 0(0(1(4(5(1(5(5(2(3(0(?x_8))))))))))) = 0(4(0(1(4(5(1(5(0(1(3(1(0(?x_8))))))))))))), 0(2(5(4(1(3(2(2(5(4(5(?x_12))))))))))) = 0(4(0(1(4(5(1(5(0(1(0(2(1(5(?x_12)))))))))))))), 0(2(1(0(3(4(4(1(0(2(5(5(?x_16)))))))))))) = 0(4(0(1(4(5(1(5(0(1(1(5(1(4(4(3(?x_16)))))))))))))))), 0(2(1(4(0(1(5(4(0(3(2(5(?x_17)))))))))))) = 0(4(0(1(4(5(1(5(0(1(3(2(3(0(5(3(?x_17)))))))))))))))), 0(2(4(4(1(4(1(4(3(1(0(3(?x_18)))))))))))) = 0(4(0(1(4(5(1(5(0(1(5(2(4(2(1(1(?x_18)))))))))))))))), 1(3(5(4(5(2(4(3(2(5(4(?x_4))))))))))) = 1(2(1(2(2(2(5(1(4(2(5(3(?x_4)))))))))))), 1(1(4(0(1(5(4(0(3(2(5(?x_17))))))))))) = 1(2(1(2(2(2(5(1(4(2(2(3(0(5(3(?x_17))))))))))))))), 1(1(0(2(4(3(2(3(2(1(0(3(?x_21)))))))))))) = 1(2(1(2(2(2(5(1(4(2(0(0(5(5(2(1(?x_21)))))))))))))))), 1(1(5(3(4(0(4(5(2(0(0(4(?x_22)))))))))))) = 1(2(1(2(2(2(5(1(4(2(1(5(2(3(0(5(?x_22)))))))))))))))), 0(0(2(0(2(5(1(2(4(4(5(5(?x_6)))))))))))) = 4(2(4(0(2(5(3(3(4(5(4(5(3(?x_6))))))))))))), 0(0(0(0(2(4(3(2(3(2(1(0(3(?x_21))))))))))))) = 4(2(4(0(2(5(3(3(4(5(0(0(5(5(2(1(?x_21)))))))))))))))), 0(0(0(5(3(4(0(4(5(2(0(0(4(?x_22))))))))))))) = 4(2(4(0(2(5(3(3(4(5(1(5(2(3(0(5(?x_22)))))))))))))))), 1(1(0(1(2(1(3(1(3(1(2(?x_5))))))))))) = 1(1(2(5(4(1(2(4(3(2(1(3(?x_5)))))))))))), 1(0(2(0(2(4(3(2(3(2(1(0(3(?x_21))))))))))))) = 1(1(2(5(4(1(2(4(3(2(0(0(5(5(2(1(?x_21)))))))))))))))), 1(0(2(5(3(4(0(4(5(2(0(0(4(?x_22))))))))))))) = 1(1(2(5(4(1(2(4(3(2(1(5(2(3(0(5(?x_22)))))))))))))))), 1(3(5(0(2(4(3(2(3(2(1(0(3(?x_21))))))))))))) = 3(5(4(5(2(4(3(2(5(4(0(0(5(5(2(1(?x_21)))))))))))))))), 1(3(5(5(3(4(0(4(5(2(0(0(4(?x_22))))))))))))) = 3(5(4(5(2(4(3(2(5(4(1(5(2(3(0(5(?x_22)))))))))))))))), 0(2(3(3(5(4(5(2(4(3(2(5(4(?x_4))))))))))))) = 1(0(1(2(1(3(1(3(1(2(5(3(?x_4)))))))))))), 0(2(3(1(4(0(1(5(4(0(3(2(5(?x_17))))))))))))) = 1(0(1(2(1(3(1(3(1(2(2(3(0(5(3(?x_17))))))))))))))), 0(2(3(1(0(2(4(3(2(3(2(1(0(3(?x_21)))))))))))))) = 1(0(1(2(1(3(1(3(1(2(0(0(5(5(2(1(?x_21)))))))))))))))), 0(2(3(1(5(3(4(0(4(5(2(0(0(4(?x_22)))))))))))))) = 1(0(1(2(1(3(1(3(1(2(1(5(2(3(0(5(?x_22)))))))))))))))), 0(3(4(5(0(2(4(3(2(3(2(1(0(3(?x_21)))))))))))))) = 2(0(2(5(1(2(4(4(5(5(0(0(5(5(2(1(?x_21)))))))))))))))), 0(3(4(5(5(3(4(0(4(5(2(0(0(4(?x_22)))))))))))))) = 2(0(2(5(1(2(4(4(5(5(1(5(2(3(0(5(?x_22)))))))))))))))), 0(5(2(3(5(4(5(2(4(3(2(5(4(?x_4))))))))))))) = 2(4(2(5(2(4(3(0(2(4(5(3(?x_4)))))))))))), 0(5(0(1(4(5(1(5(5(2(3(0(?x_8)))))))))))) = 2(4(2(5(2(4(3(0(2(4(1(0(?x_8)))))))))))), 0(5(2(1(4(0(1(5(4(0(3(2(5(?x_17))))))))))))) = 2(4(2(5(2(4(3(0(2(4(2(3(0(5(3(?x_17))))))))))))))), 0(5(2(1(0(2(4(3(2(3(2(1(0(3(?x_21)))))))))))))) = 2(4(2(5(2(4(3(0(2(4(0(0(5(5(2(1(?x_21)))))))))))))))), 0(5(2(1(5(3(4(0(4(5(2(0(0(4(?x_22)))))))))))))) = 2(4(2(5(2(4(3(0(2(4(1(5(2(3(0(5(?x_22)))))))))))))))), 2(1(3(1(0(4(0(1(4(5(1(5(0(1(?x)))))))))))))) = 0(1(4(5(1(5(5(2(3(0(2(1(?x)))))))))))), 2(1(3(1(4(2(4(0(2(5(3(3(4(5(?x_2)))))))))))))) = 0(1(4(5(1(5(5(2(3(0(0(0(3(?x_2))))))))))))), 2(1(3(1(1(2(5(4(1(2(4(3(2(?x_3))))))))))))) = 0(1(4(5(1(5(5(2(3(0(2(3(?x_3)))))))))))), 2(1(3(1(1(0(1(2(1(3(1(3(1(2(?x_5)))))))))))))) = 0(1(4(5(1(5(5(2(3(0(2(3(1(3(?x_5)))))))))))))), 2(1(3(1(2(0(2(5(1(2(4(4(5(5(?x_6)))))))))))))) = 0(1(4(5(1(5(5(2(3(0(3(4(5(3(?x_6)))))))))))))), 2(1(3(1(2(4(2(5(2(4(3(0(2(4(?x_7)))))))))))))) = 0(1(4(5(1(5(5(2(3(0(5(2(1(3(?x_7)))))))))))))), 2(1(3(1(2(5(4(3(0(2(5(1(2(1(?x_9)))))))))))))) = 0(1(4(5(1(5(5(2(3(0(5(2(2(2(0(?x_9))))))))))))))), 2(1(3(1(0(3(2(3(1(4(1(0(1(0(?x_14)))))))))))))) = 0(1(4(5(1(5(5(2(3(0(5(2(2(2(1(0(?x_14)))))))))))))))), 2(1(3(1(0(1(3(4(0(1(4(5(1(5(?x_15)))))))))))))) = 0(1(4(5(1(5(5(2(3(0(5(3(5(3(1(5(?x_15)))))))))))))))), 0(5(2(2(2(0(4(0(1(4(5(1(5(0(1(?x))))))))))))))) = 2(5(4(3(0(2(5(1(2(1(2(1(?x)))))))))))), 0(5(2(2(2(4(2(4(0(2(5(3(3(4(5(?x_2))))))))))))))) = 2(5(4(3(0(2(5(1(2(1(0(0(3(?x_2))))))))))))), 0(5(2(2(2(1(0(1(2(1(3(1(3(1(2(?x_5))))))))))))))) = 2(5(4(3(0(2(5(1(2(1(2(3(1(3(?x_5)))))))))))))), 0(5(2(2(2(2(0(2(5(1(2(4(4(5(5(?x_6))))))))))))))) = 2(5(4(3(0(2(5(1(2(1(3(4(5(3(?x_6)))))))))))))), 0(5(2(2(2(2(4(2(5(2(4(3(0(2(4(?x_7))))))))))))))) = 2(5(4(3(0(2(5(1(2(1(5(2(1(3(?x_7)))))))))))))), 0(5(2(2(4(0(4(2(1(4(4(4(0(1(?x_10)))))))))))))) = 2(5(4(3(0(2(5(1(2(1(0(5(2(0(?x_10)))))))))))))), 0(5(2(2(2(5(3(5(1(4(5(0(0(2(?x_11)))))))))))))) = 2(5(4(3(0(2(5(1(2(1(5(3(0(2(?x_11)))))))))))))), 0(5(2(2(2(0(3(2(3(1(4(1(0(1(0(?x_14))))))))))))))) = 2(5(4(3(0(2(5(1(2(1(5(2(2(2(1(0(?x_14)))))))))))))))), 0(5(2(2(2(0(1(3(4(0(1(4(5(1(5(?x_15))))))))))))))) = 2(5(4(3(0(2(5(1(2(1(5(3(5(3(1(5(?x_15)))))))))))))))), 0(5(2(2(2(0(2(3(4(2(4(4(4(0(?x_19)))))))))))))) = 2(5(4(3(0(2(5(1(2(1(2(0(2(1(0(?x_19))))))))))))))), 2(0(0(5(2(0(4(0(1(4(5(1(5(0(1(?x))))))))))))))) = 4(0(4(2(1(4(4(4(0(1(2(1(?x)))))))))))), 2(0(0(5(2(4(2(4(0(2(5(3(3(4(5(?x_2))))))))))))))) = 4(0(4(2(1(4(4(4(0(1(0(0(3(?x_2))))))))))))), 2(0(0(5(2(1(0(1(2(1(3(1(3(1(2(?x_5))))))))))))))) = 4(0(4(2(1(4(4(4(0(1(2(3(1(3(?x_5)))))))))))))), 2(0(0(5(2(2(0(2(5(1(2(4(4(5(5(?x_6))))))))))))))) = 4(0(4(2(1(4(4(4(0(1(3(4(5(3(?x_6)))))))))))))), 2(0(0(5(2(2(4(2(5(2(4(3(0(2(4(?x_7))))))))))))))) = 4(0(4(2(1(4(4(4(0(1(5(2(1(3(?x_7)))))))))))))), 2(0(0(5(2(2(5(4(3(0(2(5(1(2(1(?x_9))))))))))))))) = 4(0(4(2(1(4(4(4(0(1(5(2(2(2(0(?x_9))))))))))))))), 2(0(0(5(2(5(3(5(1(4(5(0(0(2(?x_11)))))))))))))) = 4(0(4(2(1(4(4(4(0(1(5(3(0(2(?x_11)))))))))))))), 2(0(0(5(2(0(3(2(3(1(4(1(0(1(0(?x_14))))))))))))))) = 4(0(4(2(1(4(4(4(0(1(5(2(2(2(1(0(?x_14)))))))))))))))), 2(0(0(5(2(0(1(3(4(0(1(4(5(1(5(?x_15))))))))))))))) = 4(0(4(2(1(4(4(4(0(1(5(3(5(3(1(5(?x_15)))))))))))))))), 2(0(0(5(2(0(2(3(4(2(4(4(4(0(?x_19)))))))))))))) = 4(0(4(2(1(4(4(4(0(1(2(0(2(1(0(?x_19))))))))))))))), 2(0(5(3(0(4(0(1(4(5(1(5(0(1(?x)))))))))))))) = 2(5(3(5(1(4(5(0(0(2(1(?x))))))))))), 2(0(5(3(1(0(1(2(1(3(1(3(1(2(?x_5)))))))))))))) = 2(5(3(5(1(4(5(0(0(2(3(1(3(?x_5))))))))))))), 2(0(5(3(0(0(1(4(5(1(5(5(2(3(0(?x_8))))))))))))))) = 2(5(3(5(1(4(5(0(0(2(1(3(1(0(?x_8)))))))))))))), 2(0(5(3(0(4(0(4(2(1(4(4(4(0(1(?x_10))))))))))))))) = 2(5(3(5(1(4(5(0(0(2(0(0(5(2(0(?x_10))))))))))))))), 2(0(5(3(0(2(5(4(1(3(2(2(5(4(5(?x_12))))))))))))))) = 2(5(3(5(1(4(5(0(0(2(1(0(2(1(5(?x_12))))))))))))))), 2(0(5(3(0(2(0(2(3(4(2(4(4(4(0(?x_19))))))))))))))) = 2(5(3(5(1(4(5(0(0(2(0(2(0(2(1(0(?x_19)))))))))))))))), 2(0(5(3(0(2(1(2(1(4(4(4(3(4(4(?x_20))))))))))))))) = 2(5(3(5(1(4(5(0(0(2(4(5(5(1(3(5(?x_20)))))))))))))))), 2(1(0(4(0(1(4(5(1(5(0(1(5(?x_12))))))))))))) = 2(5(4(1(3(2(2(5(4(5(?x_12)))))))))), 2(1(0(2(1(4(5(0(0(4(3(1(1(0(4(?x_13))))))))))))))) = 2(5(4(1(3(2(2(5(4(5(1(5(1(0(2(?x_13))))))))))))))), 2(1(0(2(4(4(1(4(1(4(3(1(0(3(?x_18)))))))))))))) = 2(5(4(1(3(2(2(5(4(5(2(4(2(1(1(?x_18))))))))))))))), 5(1(5(1(0(4(0(1(4(5(1(5(0(1(?x)))))))))))))) = 4(5(0(0(4(3(1(1(0(4(1(?x))))))))))), 5(1(5(1(1(2(5(4(1(2(4(3(2(?x_3))))))))))))) = 4(5(0(0(4(3(1(1(0(4(3(?x_3))))))))))), 5(1(5(1(1(0(1(2(1(3(1(3(1(2(?x_5)))))))))))))) = 4(5(0(0(4(3(1(1(0(4(3(1(3(?x_5))))))))))))), 5(1(5(1(0(0(1(4(5(1(5(5(2(3(0(?x_8))))))))))))))) = 4(5(0(0(4(3(1(1(0(4(1(3(1(0(?x_8)))))))))))))), 5(1(5(1(0(4(0(4(2(1(4(4(4(0(1(?x_10))))))))))))))) = 4(5(0(0(4(3(1(1(0(4(0(0(5(2(0(?x_10))))))))))))))), 5(1(5(1(0(2(5(3(5(1(4(5(0(0(2(?x_11))))))))))))))) = 4(5(0(0(4(3(1(1(0(4(0(5(3(0(2(?x_11))))))))))))))), 5(1(5(1(0(2(5(4(1(3(2(2(5(4(5(?x_12))))))))))))))) = 4(5(0(0(4(3(1(1(0(4(1(0(2(1(5(?x_12))))))))))))))), 5(1(5(1(0(2(0(2(3(4(2(4(4(4(0(?x_19))))))))))))))) = 4(5(0(0(4(3(1(1(0(4(0(2(0(2(1(0(?x_19)))))))))))))))), 5(1(5(1(0(2(1(2(1(4(4(4(3(4(4(?x_20))))))))))))))) = 4(5(0(0(4(3(1(1(0(4(4(5(5(1(3(5(?x_20)))))))))))))))), 0(5(2(2(2(1(0(4(0(1(4(5(1(5(0(1(?x)))))))))))))))) = 0(3(2(3(1(4(1(0(1(0(2(1(?x)))))))))))), 0(5(2(2(2(1(4(2(4(0(2(5(3(3(4(5(?x_2)))))))))))))))) = 0(3(2(3(1(4(1(0(1(0(0(0(3(?x_2))))))))))))), 0(5(2(2(2(1(1(2(5(4(1(2(4(3(2(?x_3))))))))))))))) = 0(3(2(3(1(4(1(0(1(0(2(3(?x_3)))))))))))), 0(5(2(2(2(1(1(0(1(2(1(3(1(3(1(2(?x_5)))))))))))))))) = 0(3(2(3(1(4(1(0(1(0(2(3(1(3(?x_5)))))))))))))), 0(5(2(2(2(1(2(0(2(5(1(2(4(4(5(5(?x_6)))))))))))))))) = 0(3(2(3(1(4(1(0(1(0(3(4(5(3(?x_6)))))))))))))), 0(5(2(2(2(1(2(4(2(5(2(4(3(0(2(4(?x_7)))))))))))))))) = 0(3(2(3(1(4(1(0(1(0(5(2(1(3(?x_7)))))))))))))), 0(5(2(2(2(1(2(5(4(3(0(2(5(1(2(1(?x_9)))))))))))))))) = 0(3(2(3(1(4(1(0(1(0(5(2(2(2(0(?x_9))))))))))))))), 0(5(2(2(2(5(4(1(3(2(2(5(4(5(?x_12)))))))))))))) = 0(3(2(3(1(4(1(0(1(0(2(1(5(?x_12))))))))))))), 0(5(2(2(2(1(0(1(3(4(0(1(4(5(1(5(?x_15)))))))))))))))) = 0(3(2(3(1(4(1(0(1(0(5(3(5(3(1(5(?x_15)))))))))))))))), 0(5(3(5(3(1(4(5(0(0(4(3(1(1(0(4(?x_13)))))))))))))))) = 0(1(3(4(0(1(4(5(1(5(1(5(1(0(2(?x_13))))))))))))))), 0(5(3(5(3(4(4(1(4(1(4(3(1(0(3(?x_18))))))))))))))) = 0(1(3(4(0(1(4(5(1(5(2(4(2(1(1(?x_18))))))))))))))), 0(5(3(5(5(3(4(0(4(5(2(0(0(4(?x_22)))))))))))))) = 0(1(3(4(0(1(4(5(1(5(2(3(0(5(?x_22)))))))))))))), 1(1(5(1(4(4(0(2(4(3(2(3(2(1(0(3(?x_21)))))))))))))))) = 1(0(3(4(4(1(0(2(5(5(0(0(5(5(2(1(?x_21)))))))))))))))), 1(1(5(1(4(4(5(3(4(0(4(5(2(0(0(4(?x_22)))))))))))))))) = 1(0(3(4(4(1(0(2(5(5(1(5(2(3(0(5(?x_22)))))))))))))))), 1(3(2(3(0(1(3(4(0(1(4(5(1(5(?x_15)))))))))))))) = 1(4(0(1(5(4(0(3(2(5(5(3(1(5(?x_15)))))))))))))), 1(3(2(3(0(5(0(2(4(3(2(3(2(1(0(3(?x_21)))))))))))))))) = 1(4(0(1(5(4(0(3(2(5(0(0(5(5(2(1(?x_21)))))))))))))))), 1(3(2(3(0(5(5(3(4(0(4(5(2(0(0(4(?x_22)))))))))))))))) = 1(4(0(1(5(4(0(3(2(5(1(5(2(3(0(5(?x_22)))))))))))))))), 1(5(2(4(2(1(2(1(2(2(2(5(1(4(2(?x_1))))))))))))))) = 4(4(1(4(1(4(3(1(0(3(3(?x_1))))))))))), 1(5(2(4(2(1(1(2(1(2(2(2(5(1(4(2(?x_1)))))))))))))))) = 4(4(1(4(1(4(3(1(0(3(1(3(?x_1)))))))))))), 1(5(2(4(2(1(1(1(2(5(4(1(2(4(3(2(?x_3)))))))))))))))) = 4(4(1(4(1(4(3(1(0(3(0(2(3(?x_3))))))))))))), 1(5(2(4(2(1(3(5(4(5(2(4(3(2(5(4(?x_4)))))))))))))))) = 4(4(1(4(1(4(3(1(0(3(3(5(3(?x_4))))))))))))), 1(5(2(4(2(1(0(3(4(4(1(0(2(5(5(?x_16))))))))))))))) = 4(4(1(4(1(4(3(1(0(3(5(1(4(4(3(?x_16))))))))))))))), 1(5(2(4(2(1(1(0(3(4(4(1(0(2(5(5(?x_16)))))))))))))))) = 4(4(1(4(1(4(3(1(0(3(1(5(1(4(4(3(?x_16)))))))))))))))), 1(5(2(4(2(1(1(4(0(1(5(4(0(3(2(5(?x_17)))))))))))))))) = 4(4(1(4(1(4(3(1(0(3(3(2(3(0(5(3(?x_17)))))))))))))))), 2(0(2(0(4(0(1(4(5(1(5(0(1(0(?x_19)))))))))))))) = 2(0(2(3(4(2(4(4(4(0(?x_19)))))))))), 2(0(2(0(2(1(0(4(0(1(4(5(1(5(0(1(?x)))))))))))))))) = 2(0(2(3(4(2(4(4(4(0(2(1(?x)))))))))))), 2(0(2(0(2(1(4(2(4(0(2(5(3(3(4(5(?x_2)))))))))))))))) = 2(0(2(3(4(2(4(4(4(0(0(0(3(?x_2))))))))))))), 2(0(2(0(2(1(1(2(5(4(1(2(4(3(2(?x_3))))))))))))))) = 2(0(2(3(4(2(4(4(4(0(2(3(?x_3)))))))))))), 2(0(2(0(2(1(1(0(1(2(1(3(1(3(1(2(?x_5)))))))))))))))) = 2(0(2(3(4(2(4(4(4(0(2(3(1(3(?x_5)))))))))))))), 2(0(2(0(2(1(2(0(2(5(1(2(4(4(5(5(?x_6)))))))))))))))) = 2(0(2(3(4(2(4(4(4(0(3(4(5(3(?x_6)))))))))))))), 2(0(2(0(2(1(2(4(2(5(2(4(3(0(2(4(?x_7)))))))))))))))) = 2(0(2(3(4(2(4(4(4(0(5(2(1(3(?x_7)))))))))))))), 2(0(2(0(2(1(2(5(4(3(0(2(5(1(2(1(?x_9)))))))))))))))) = 2(0(2(3(4(2(4(4(4(0(5(2(2(2(0(?x_9))))))))))))))), 2(0(2(0(2(5(4(1(3(2(2(5(4(5(?x_12)))))))))))))) = 2(0(2(3(4(2(4(4(4(0(2(1(5(?x_12))))))))))))), 2(0(2(0(2(1(0(3(2(3(1(4(1(0(1(0(?x_14)))))))))))))))) = 2(0(2(3(4(2(4(4(4(0(5(2(2(2(1(0(?x_14)))))))))))))))), 2(0(2(0(2(1(0(1(3(4(0(1(4(5(1(5(?x_15)))))))))))))))) = 2(0(2(3(4(2(4(4(4(0(5(3(5(3(1(5(?x_15)))))))))))))))), 2(4(5(5(3(5(4(5(2(4(3(2(5(4(?x_4)))))))))))))) = 2(1(2(1(4(4(4(3(4(4(3(?x_4))))))))))), 2(4(5(5(1(3(4(5(0(0(4(3(1(1(0(4(?x_13)))))))))))))))) = 2(1(2(1(4(4(4(3(4(4(1(5(1(0(2(?x_13))))))))))))))), 3(0(0(5(5(2(1(2(1(2(2(2(5(1(4(2(?x_1)))))))))))))))) = 0(2(4(3(2(3(2(1(0(3(1(3(?x_1)))))))))))), 3(0(0(5(5(2(1(1(2(5(4(1(2(4(3(2(?x_3)))))))))))))))) = 0(2(4(3(2(3(2(1(0(3(0(2(3(?x_3))))))))))))), 3(0(0(5(5(2(3(5(4(5(2(4(3(2(5(4(?x_4)))))))))))))))) = 0(2(4(3(2(3(2(1(0(3(3(5(3(?x_4))))))))))))), 3(0(0(5(5(0(1(4(5(1(5(5(2(3(0(?x_8))))))))))))))) = 0(2(4(3(2(3(2(1(0(3(3(1(0(?x_8))))))))))))), 3(0(0(5(5(2(5(4(1(3(2(2(5(4(5(?x_12))))))))))))))) = 0(2(4(3(2(3(2(1(0(3(0(2(1(5(?x_12)))))))))))))), 3(0(0(5(5(2(1(0(3(4(4(1(0(2(5(5(?x_16)))))))))))))))) = 0(2(4(3(2(3(2(1(0(3(1(5(1(4(4(3(?x_16)))))))))))))))), 3(0(0(5(5(2(1(4(0(1(5(4(0(3(2(5(?x_17)))))))))))))))) = 0(2(4(3(2(3(2(1(0(3(3(2(3(0(5(3(?x_17)))))))))))))))), 3(0(0(5(5(2(4(4(1(4(1(4(3(1(0(3(?x_18)))))))))))))))) = 0(2(4(3(2(3(2(1(0(3(5(2(4(2(1(1(?x_18)))))))))))))))), 3(1(5(2(3(2(4(2(5(2(4(3(0(2(4(?x_7))))))))))))))) = 5(3(4(0(4(5(2(0(0(4(2(1(3(?x_7))))))))))))), 3(1(5(2(3(2(5(4(3(0(2(5(1(2(1(?x_9))))))))))))))) = 5(3(4(0(4(5(2(0(0(4(2(2(2(0(?x_9)))))))))))))), 3(1(5(2(3(0(4(5(0(0(4(3(1(1(0(4(?x_13)))))))))))))))) = 5(3(4(0(4(5(2(0(0(4(1(5(1(0(2(?x_13))))))))))))))), 3(1(5(2(3(0(3(2(3(1(4(1(0(1(0(?x_14))))))))))))))) = 5(3(4(0(4(5(2(0(0(4(2(2(2(1(0(?x_14))))))))))))))), 3(1(5(2(3(0(1(3(4(0(1(4(5(1(5(?x_15))))))))))))))) = 5(3(4(0(4(5(2(0(0(4(3(5(3(1(5(?x_15))))))))))))))), 0(5(2(2(2(2(5(4(3(0(2(5(1(2(1(?x))))))))))))))) = 2(5(4(3(0(2(5(1(2(1(5(2(2(2(0(?x))))))))))))))), 2(0(0(5(4(0(4(2(1(4(4(4(0(1(?x)))))))))))))) = 4(0(4(2(1(4(4(4(0(1(0(5(2(0(?x)))))))))))))), 2(0(5(3(0(2(5(3(5(1(4(5(0(0(2(?x))))))))))))))) = 2(5(3(5(1(4(5(0(0(2(0(5(3(0(2(?x))))))))))))))), 0(5(2(2(2(1(0(3(2(3(1(4(1(0(1(0(?x)))))))))))))))) = 0(3(2(3(1(4(1(0(1(0(5(2(2(2(1(0(?x)))))))))))))))), 1(5(2(4(2(1(4(4(1(4(1(4(3(1(0(3(?x)))))))))))))))) = 4(4(1(4(1(4(3(1(0(3(5(2(4(2(1(1(?x)))))))))))))))) ] Outer CPs: [ ] Linear (inner) Parallel CPs: (not computed) unknown Toyama (Parallel CPs) Direct Methods: Can't judge Combined result: Can't judge 976.trs: Failure(unknown CR) (8 msec.)