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