MAYBE (ignored inputs)COMMENT submitted by: Johannes Waldmann Rewrite Rules: [ c(c(?x)) -> b(b(?x)), a(a(?x)) -> b(a(?x)), c(c(?x)) -> a(a(?x)), b(b(?x)) -> c(b(?x)), b(c(?x)) -> a(c(?x)), a(a(?x)) -> a(a(?x)), a(a(?x)) -> b(c(?x)), b(c(?x)) -> b(a(?x)), a(a(?x)) -> c(b(?x)), b(b(?x)) -> c(c(?x)), c(b(?x)) -> c(c(?x)), a(c(?x)) -> b(c(?x)), c(b(?x)) -> a(c(?x)), b(b(?x)) -> b(b(?x)), c(b(?x)) -> b(c(?x)), b(c(?x)) -> b(c(?x)), c(a(?x)) -> a(a(?x)), a(c(?x)) -> c(a(?x)), a(b(?x)) -> a(a(?x)), c(c(?x)) -> a(a(?x)) ] Apply Direct Methods... Inner CPs: [ c(a(a(?x_2))) = b(b(c(?x_2))), c(c(c(?x_10))) = b(b(b(?x_10))), c(a(c(?x_12))) = b(b(b(?x_12))), c(b(c(?x_14))) = b(b(b(?x_14))), c(a(a(?x_16))) = b(b(a(?x_16))), c(a(a(?x_19))) = b(b(c(?x_19))), a(a(a(?x_5))) = b(a(a(?x_5))), a(b(c(?x_6))) = b(a(a(?x_6))), a(c(b(?x_8))) = b(a(a(?x_8))), a(b(c(?x_11))) = b(a(c(?x_11))), a(c(a(?x_17))) = b(a(c(?x_17))), a(a(a(?x_18))) = b(a(b(?x_18))), c(b(b(?x))) = a(a(c(?x))), c(c(c(?x_10))) = a(a(b(?x_10))), c(a(c(?x_12))) = a(a(b(?x_12))), c(b(c(?x_14))) = a(a(b(?x_14))), c(a(a(?x_16))) = a(a(a(?x_16))), c(a(a(?x_19))) = a(a(c(?x_19))), b(a(c(?x_4))) = c(b(c(?x_4))), b(b(a(?x_7))) = c(b(c(?x_7))), b(c(c(?x_9))) = c(b(b(?x_9))), b(b(b(?x_13))) = c(b(b(?x_13))), b(b(c(?x_15))) = c(b(c(?x_15))), b(b(b(?x))) = a(c(c(?x))), b(a(a(?x_2))) = a(c(c(?x_2))), b(c(c(?x_10))) = a(c(b(?x_10))), b(a(c(?x_12))) = a(c(b(?x_12))), b(b(c(?x_14))) = a(c(b(?x_14))), b(a(a(?x_16))) = a(c(a(?x_16))), b(a(a(?x_19))) = a(c(c(?x_19))), a(b(a(?x_1))) = a(a(a(?x_1))), a(b(c(?x_6))) = a(a(a(?x_6))), a(c(b(?x_8))) = a(a(a(?x_8))), a(b(c(?x_11))) = a(a(c(?x_11))), a(c(a(?x_17))) = a(a(c(?x_17))), a(a(a(?x_18))) = a(a(b(?x_18))), a(b(a(?x_1))) = b(c(a(?x_1))), a(a(a(?x_5))) = b(c(a(?x_5))), a(c(b(?x_8))) = b(c(a(?x_8))), a(b(c(?x_11))) = b(c(c(?x_11))), a(c(a(?x_17))) = b(c(c(?x_17))), a(a(a(?x_18))) = b(c(b(?x_18))), b(b(b(?x))) = b(a(c(?x))), b(a(a(?x_2))) = b(a(c(?x_2))), b(c(c(?x_10))) = b(a(b(?x_10))), b(a(c(?x_12))) = b(a(b(?x_12))), b(b(c(?x_14))) = b(a(b(?x_14))), b(a(a(?x_16))) = b(a(a(?x_16))), b(a(a(?x_19))) = b(a(c(?x_19))), a(b(a(?x_1))) = c(b(a(?x_1))), a(a(a(?x_5))) = c(b(a(?x_5))), a(b(c(?x_6))) = c(b(a(?x_6))), a(b(c(?x_11))) = c(b(c(?x_11))), a(c(a(?x_17))) = c(b(c(?x_17))), a(a(a(?x_18))) = c(b(b(?x_18))), b(c(b(?x_3))) = c(c(b(?x_3))), b(a(c(?x_4))) = c(c(c(?x_4))), b(b(a(?x_7))) = c(c(c(?x_7))), b(b(b(?x_13))) = c(c(b(?x_13))), b(b(c(?x_15))) = c(c(c(?x_15))), c(c(b(?x_3))) = c(c(b(?x_3))), c(a(c(?x_4))) = c(c(c(?x_4))), c(b(a(?x_7))) = c(c(c(?x_7))), c(c(c(?x_9))) = c(c(b(?x_9))), c(b(b(?x_13))) = c(c(b(?x_13))), c(b(c(?x_15))) = c(c(c(?x_15))), a(b(b(?x))) = b(c(c(?x))), a(a(a(?x_2))) = b(c(c(?x_2))), a(c(c(?x_10))) = b(c(b(?x_10))), a(a(c(?x_12))) = b(c(b(?x_12))), a(b(c(?x_14))) = b(c(b(?x_14))), a(a(a(?x_16))) = b(c(a(?x_16))), a(a(a(?x_19))) = b(c(c(?x_19))), c(c(b(?x_3))) = a(c(b(?x_3))), c(a(c(?x_4))) = a(c(c(?x_4))), c(b(a(?x_7))) = a(c(c(?x_7))), c(c(c(?x_9))) = a(c(b(?x_9))), c(b(b(?x_13))) = a(c(b(?x_13))), c(b(c(?x_15))) = a(c(c(?x_15))), b(c(b(?x_3))) = b(b(b(?x_3))), b(a(c(?x_4))) = b(b(c(?x_4))), b(b(a(?x_7))) = b(b(c(?x_7))), b(c(c(?x_9))) = b(b(b(?x_9))), b(b(c(?x_15))) = b(b(c(?x_15))), c(c(b(?x_3))) = b(c(b(?x_3))), c(a(c(?x_4))) = b(c(c(?x_4))), c(b(a(?x_7))) = b(c(c(?x_7))), c(c(c(?x_9))) = b(c(b(?x_9))), c(b(b(?x_13))) = b(c(b(?x_13))), c(b(c(?x_15))) = b(c(c(?x_15))), b(b(b(?x))) = b(c(c(?x))), b(a(a(?x_2))) = b(c(c(?x_2))), b(c(c(?x_10))) = b(c(b(?x_10))), b(a(c(?x_12))) = b(c(b(?x_12))), b(b(c(?x_14))) = b(c(b(?x_14))), b(a(a(?x_16))) = b(c(a(?x_16))), b(a(a(?x_19))) = b(c(c(?x_19))), c(b(a(?x_1))) = a(a(a(?x_1))), c(a(a(?x_5))) = a(a(a(?x_5))), c(b(c(?x_6))) = a(a(a(?x_6))), c(c(b(?x_8))) = a(a(a(?x_8))), c(b(c(?x_11))) = a(a(c(?x_11))), c(c(a(?x_17))) = a(a(c(?x_17))), c(a(a(?x_18))) = a(a(b(?x_18))), a(b(b(?x))) = c(a(c(?x))), a(a(a(?x_2))) = c(a(c(?x_2))), a(c(c(?x_10))) = c(a(b(?x_10))), a(a(c(?x_12))) = c(a(b(?x_12))), a(b(c(?x_14))) = c(a(b(?x_14))), a(a(a(?x_16))) = c(a(a(?x_16))), a(a(a(?x_19))) = c(a(c(?x_19))), a(c(b(?x_3))) = a(a(b(?x_3))), a(a(c(?x_4))) = a(a(c(?x_4))), a(b(a(?x_7))) = a(a(c(?x_7))), a(c(c(?x_9))) = a(a(b(?x_9))), a(b(b(?x_13))) = a(a(b(?x_13))), a(b(c(?x_15))) = a(a(c(?x_15))), c(b(b(?x))) = a(a(c(?x))), c(a(a(?x_2))) = a(a(c(?x_2))), c(c(c(?x_10))) = a(a(b(?x_10))), c(a(c(?x_12))) = a(a(b(?x_12))), c(b(c(?x_14))) = a(a(b(?x_14))), c(a(a(?x_16))) = a(a(a(?x_16))), c(b(b(?x))) = b(b(c(?x))), a(b(a(?x))) = b(a(a(?x))), c(a(a(?x))) = a(a(c(?x))), b(c(b(?x))) = c(b(b(?x))), a(a(a(?x))) = a(a(a(?x))), a(b(c(?x))) = b(c(a(?x))), a(c(b(?x))) = c(b(a(?x))), b(c(c(?x))) = c(c(b(?x))), b(b(b(?x))) = b(b(b(?x))), c(a(a(?x))) = a(a(c(?x))) ] Outer CPs: [ b(b(?x)) = a(a(?x)), b(b(?x)) = a(a(?x)), b(a(?x_1)) = a(a(?x_1)), b(a(?x_1)) = b(c(?x_1)), b(a(?x_1)) = c(b(?x_1)), a(a(?x_2)) = a(a(?x_2)), c(b(?x_3)) = c(c(?x_3)), c(b(?x_3)) = b(b(?x_3)), a(c(?x_4)) = b(a(?x_4)), a(c(?x_4)) = b(c(?x_4)), a(a(?x_5)) = b(c(?x_5)), a(a(?x_5)) = c(b(?x_5)), b(c(?x_6)) = c(b(?x_6)), b(a(?x_7)) = b(c(?x_7)), c(c(?x_9)) = b(b(?x_9)), c(c(?x_10)) = a(c(?x_10)), c(c(?x_10)) = b(c(?x_10)), b(c(?x_11)) = c(a(?x_11)), a(c(?x_12)) = b(c(?x_12)) ] Linear (inner) Parallel CPs: (not computed) unknown Toyama (Parallel CPs) Direct Methods: Can't judge Combined result: Can't judge 1036.trs: Failure(unknown CR) (2 msec.)