(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)) ] not Overlay, check Termination... unknown/not Terminating unknown Knuth & Bendix Linear unknown Development Closed unknown Strongly Closed unknown Weakly-Non-Overlapping & Non-Collapsing & Shallow unknown Upside-Parallel-Closed/Outside-Closed (inner) Parallel CPs: (not computed) unknown Toyama (Parallel CPs) Simultaneous CPs: [ a(a(?x)) = b(b(?x)), c(b(b(?x_1))) = b(b(c(?x_1))), c(a(a(?x_3))) = b(b(c(?x_3))), c(c(c(?x_11))) = b(b(b(?x_11))), c(a(c(?x_13))) = b(b(b(?x_13))), c(b(c(?x_15))) = b(b(b(?x_15))), c(a(a(?x_17))) = b(b(a(?x_17))), b(b(b(b(?x_1)))) = c(b(b(c(?x_1)))), b(b(a(a(?x_3)))) = c(b(b(c(?x_3)))), b(b(c(c(?x_11)))) = c(b(b(b(?x_11)))), b(b(a(c(?x_13)))) = c(b(b(b(?x_13)))), b(b(b(c(?x_15)))) = c(b(b(b(?x_15)))), b(b(a(a(?x_17)))) = c(b(b(a(?x_17)))), a(a(b(b(?x_1)))) = c(b(b(c(?x_1)))), a(a(a(a(?x_3)))) = c(b(b(c(?x_3)))), a(a(c(c(?x_11)))) = c(b(b(b(?x_11)))), a(a(a(c(?x_13)))) = c(b(b(b(?x_13)))), a(a(b(c(?x_15)))) = c(b(b(b(?x_15)))), a(a(a(a(?x_17)))) = c(b(b(a(?x_17)))), a(c(b(b(?x_1)))) = b(b(b(c(?x_1)))), a(c(a(a(?x_3)))) = b(b(b(c(?x_3)))), a(c(c(c(?x_11)))) = b(b(b(b(?x_11)))), a(c(a(c(?x_13)))) = b(b(b(b(?x_13)))), a(c(b(c(?x_15)))) = b(b(b(b(?x_15)))), a(c(a(a(?x_17)))) = b(b(b(a(?x_17)))), b(a(b(b(?x_1)))) = b(b(b(c(?x_1)))), b(a(a(a(?x_3)))) = b(b(b(c(?x_3)))), b(a(c(c(?x_11)))) = b(b(b(b(?x_11)))), b(a(a(c(?x_13)))) = b(b(b(b(?x_13)))), b(a(b(c(?x_15)))) = b(b(b(b(?x_15)))), b(a(a(a(?x_17)))) = b(b(b(a(?x_17)))), b(c(b(b(?x_1)))) = a(b(b(c(?x_1)))), b(c(a(a(?x_3)))) = a(b(b(c(?x_3)))), b(c(c(c(?x_11)))) = a(b(b(b(?x_11)))), b(c(a(c(?x_13)))) = a(b(b(b(?x_13)))), b(c(b(c(?x_15)))) = a(b(b(b(?x_15)))), b(c(a(a(?x_17)))) = a(b(b(a(?x_17)))), b(c(b(b(?x_1)))) = b(b(b(c(?x_1)))), b(c(a(a(?x_3)))) = b(b(b(c(?x_3)))), b(c(c(c(?x_11)))) = b(b(b(b(?x_11)))), b(c(a(c(?x_13)))) = b(b(b(b(?x_13)))), b(c(b(c(?x_15)))) = b(b(b(b(?x_15)))), b(c(a(a(?x_17)))) = b(b(b(a(?x_17)))), c(a(b(b(?x_1)))) = a(b(b(c(?x_1)))), c(a(a(a(?x_3)))) = a(b(b(c(?x_3)))), c(a(c(c(?x_11)))) = a(b(b(b(?x_11)))), c(a(a(c(?x_13)))) = a(b(b(b(?x_13)))), c(a(b(c(?x_15)))) = a(b(b(b(?x_15)))), c(a(a(a(?x_17)))) = a(b(b(a(?x_17)))), b(b(c(?x))) = c(b(b(?x))), a(a(c(?x))) = c(b(b(?x))), a(c(c(?x))) = b(b(b(?x))), b(a(c(?x))) = b(b(b(?x))), b(c(c(?x))) = a(b(b(?x))), b(c(c(?x))) = b(b(b(?x))), c(a(c(?x))) = a(b(b(?x))), a(a(?x)) = b(a(?x)), b(c(?x)) = b(a(?x)), c(b(?x)) = b(a(?x)), a(b(a(?x_1))) = b(a(a(?x_1))), a(a(a(?x_6))) = b(a(a(?x_6))), a(b(c(?x_7))) = b(a(a(?x_7))), a(c(b(?x_9))) = b(a(a(?x_9))), a(b(c(?x_12))) = b(a(c(?x_12))), a(c(a(?x_18))) = b(a(c(?x_18))), a(a(a(?x_19))) = b(a(b(?x_19))), b(a(b(a(?x_1)))) = a(b(a(a(?x_1)))), b(a(a(a(?x_6)))) = a(b(a(a(?x_6)))), b(a(b(c(?x_7)))) = a(b(a(a(?x_7)))), b(a(c(b(?x_9)))) = a(b(a(a(?x_9)))), b(a(b(c(?x_12)))) = a(b(a(c(?x_12)))), b(a(c(a(?x_18)))) = a(b(a(c(?x_18)))), b(a(a(a(?x_19)))) = a(b(a(b(?x_19)))), a(a(b(a(?x_1)))) = a(b(a(a(?x_1)))), a(a(a(a(?x_6)))) = a(b(a(a(?x_6)))), a(a(b(c(?x_7)))) = a(b(a(a(?x_7)))), a(a(c(b(?x_9)))) = a(b(a(a(?x_9)))), a(a(b(c(?x_12)))) = a(b(a(c(?x_12)))), a(a(c(a(?x_18)))) = a(b(a(c(?x_18)))), a(a(a(a(?x_19)))) = a(b(a(b(?x_19)))), b(c(b(a(?x_1)))) = a(b(a(a(?x_1)))), b(c(a(a(?x_6)))) = a(b(a(a(?x_6)))), b(c(b(c(?x_7)))) = a(b(a(a(?x_7)))), b(c(c(b(?x_9)))) = a(b(a(a(?x_9)))), b(c(b(c(?x_12)))) = a(b(a(c(?x_12)))), b(c(c(a(?x_18)))) = a(b(a(c(?x_18)))), b(c(a(a(?x_19)))) = a(b(a(b(?x_19)))), c(b(b(a(?x_1)))) = a(b(a(a(?x_1)))), c(b(a(a(?x_6)))) = a(b(a(a(?x_6)))), c(b(b(c(?x_7)))) = a(b(a(a(?x_7)))), c(b(c(b(?x_9)))) = a(b(a(a(?x_9)))), c(b(b(c(?x_12)))) = a(b(a(c(?x_12)))), c(b(c(a(?x_18)))) = a(b(a(c(?x_18)))), c(b(a(a(?x_19)))) = a(b(a(b(?x_19)))), a(a(b(a(?x_1)))) = c(b(a(a(?x_1)))), a(a(a(a(?x_6)))) = c(b(a(a(?x_6)))), a(a(b(c(?x_7)))) = c(b(a(a(?x_7)))), a(a(c(b(?x_9)))) = c(b(a(a(?x_9)))), a(a(b(c(?x_12)))) = c(b(a(c(?x_12)))), a(a(c(a(?x_18)))) = c(b(a(c(?x_18)))), a(a(a(a(?x_19)))) = c(b(a(b(?x_19)))), b(a(a(?x))) = a(b(a(?x))), a(a(a(?x))) = a(b(a(?x))), b(c(a(?x))) = a(b(a(?x))), c(b(a(?x))) = a(b(a(?x))), a(a(a(?x))) = c(b(a(?x))), b(b(?x)) = a(a(?x)), a(a(?x)) = a(a(?x)), c(a(a(?x_1))) = a(a(c(?x_1))), c(b(b(?x_2))) = a(a(c(?x_2))), c(c(c(?x_11))) = a(a(b(?x_11))), c(a(c(?x_13))) = a(a(b(?x_13))), c(b(c(?x_15))) = a(a(b(?x_15))), c(a(a(?x_17))) = a(a(a(?x_17))), a(a(a(a(?x_1)))) = c(a(a(c(?x_1)))), a(a(b(b(?x_2)))) = c(a(a(c(?x_2)))), a(a(c(c(?x_11)))) = c(a(a(b(?x_11)))), a(a(a(c(?x_13)))) = c(a(a(b(?x_13)))), a(a(b(c(?x_15)))) = c(a(a(b(?x_15)))), a(a(a(a(?x_17)))) = c(a(a(a(?x_17)))), b(b(a(a(?x_1)))) = c(a(a(c(?x_1)))), b(b(b(b(?x_2)))) = c(a(a(c(?x_2)))), b(b(c(c(?x_11)))) = c(a(a(b(?x_11)))), b(b(a(c(?x_13)))) = c(a(a(b(?x_13)))), b(b(b(c(?x_15)))) = c(a(a(b(?x_15)))), b(b(a(a(?x_17)))) = c(a(a(a(?x_17)))), a(c(a(a(?x_1)))) = b(a(a(c(?x_1)))), a(c(b(b(?x_2)))) = b(a(a(c(?x_2)))), a(c(c(c(?x_11)))) = b(a(a(b(?x_11)))), a(c(a(c(?x_13)))) = b(a(a(b(?x_13)))), a(c(b(c(?x_15)))) = b(a(a(b(?x_15)))), a(c(a(a(?x_17)))) = b(a(a(a(?x_17)))), b(a(a(a(?x_1)))) = b(a(a(c(?x_1)))), b(a(b(b(?x_2)))) = b(a(a(c(?x_2)))), b(a(c(c(?x_11)))) = b(a(a(b(?x_11)))), b(a(a(c(?x_13)))) = b(a(a(b(?x_13)))), b(a(b(c(?x_15)))) = b(a(a(b(?x_15)))), b(a(a(a(?x_17)))) = b(a(a(a(?x_17)))), b(c(a(a(?x_1)))) = a(a(a(c(?x_1)))), b(c(b(b(?x_2)))) = a(a(a(c(?x_2)))), b(c(c(c(?x_11)))) = a(a(a(b(?x_11)))), b(c(a(c(?x_13)))) = a(a(a(b(?x_13)))), b(c(b(c(?x_15)))) = a(a(a(b(?x_15)))), b(c(a(a(?x_17)))) = a(a(a(a(?x_17)))), b(c(a(a(?x_1)))) = b(a(a(c(?x_1)))), b(c(b(b(?x_2)))) = b(a(a(c(?x_2)))), b(c(c(c(?x_11)))) = b(a(a(b(?x_11)))), b(c(a(c(?x_13)))) = b(a(a(b(?x_13)))), b(c(b(c(?x_15)))) = b(a(a(b(?x_15)))), b(c(a(a(?x_17)))) = b(a(a(a(?x_17)))), c(a(a(a(?x_1)))) = a(a(a(c(?x_1)))), c(a(b(b(?x_2)))) = a(a(a(c(?x_2)))), c(a(c(c(?x_11)))) = a(a(a(b(?x_11)))), c(a(a(c(?x_13)))) = a(a(a(b(?x_13)))), c(a(b(c(?x_15)))) = a(a(a(b(?x_15)))), c(a(a(a(?x_17)))) = a(a(a(a(?x_17)))), a(a(c(?x))) = c(a(a(?x))), b(b(c(?x))) = c(a(a(?x))), a(c(c(?x))) = b(a(a(?x))), b(a(c(?x))) = b(a(a(?x))), b(c(c(?x))) = a(a(a(?x))), b(c(c(?x))) = b(a(a(?x))), c(a(c(?x))) = a(a(a(?x))), c(c(?x)) = c(b(?x)), b(b(?x)) = c(b(?x)), b(c(b(?x_1))) = c(b(b(?x_1))), b(a(c(?x_5))) = c(b(c(?x_5))), b(b(a(?x_8))) = c(b(c(?x_8))), b(c(c(?x_10))) = c(b(b(?x_10))), b(b(b(?x_14))) = c(b(b(?x_14))), b(b(c(?x_16))) = c(b(c(?x_16))), c(b(c(b(?x_1)))) = b(c(b(b(?x_1)))), c(b(a(c(?x_5)))) = b(c(b(c(?x_5)))), c(b(b(a(?x_8)))) = b(c(b(c(?x_8)))), c(b(c(c(?x_10)))) = b(c(b(b(?x_10)))), c(b(b(b(?x_14)))) = b(c(b(b(?x_14)))), c(b(b(c(?x_16)))) = b(c(b(c(?x_16)))), c(c(c(b(?x_1)))) = b(c(b(b(?x_1)))), c(c(a(c(?x_5)))) = b(c(b(c(?x_5)))), c(c(b(a(?x_8)))) = b(c(b(c(?x_8)))), c(c(c(c(?x_10)))) = b(c(b(b(?x_10)))), c(c(b(b(?x_14)))) = b(c(b(b(?x_14)))), c(c(b(c(?x_16)))) = b(c(b(c(?x_16)))), c(c(c(b(?x_1)))) = c(c(b(b(?x_1)))), c(c(a(c(?x_5)))) = c(c(b(c(?x_5)))), c(c(b(a(?x_8)))) = c(c(b(c(?x_8)))), c(c(c(c(?x_10)))) = c(c(b(b(?x_10)))), c(c(b(b(?x_14)))) = c(c(b(b(?x_14)))), c(c(b(c(?x_16)))) = c(c(b(c(?x_16)))), a(c(c(b(?x_1)))) = c(c(b(b(?x_1)))), a(c(a(c(?x_5)))) = c(c(b(c(?x_5)))), a(c(b(a(?x_8)))) = c(c(b(c(?x_8)))), a(c(c(c(?x_10)))) = c(c(b(b(?x_10)))), a(c(b(b(?x_14)))) = c(c(b(b(?x_14)))), a(c(b(c(?x_16)))) = c(c(b(c(?x_16)))), b(b(c(b(?x_1)))) = b(c(b(b(?x_1)))), b(b(a(c(?x_5)))) = b(c(b(c(?x_5)))), b(b(b(a(?x_8)))) = b(c(b(c(?x_8)))), b(b(c(c(?x_10)))) = b(c(b(b(?x_10)))), b(b(b(b(?x_14)))) = b(c(b(b(?x_14)))), b(b(b(c(?x_16)))) = b(c(b(c(?x_16)))), b(c(c(b(?x_1)))) = c(c(b(b(?x_1)))), b(c(a(c(?x_5)))) = c(c(b(c(?x_5)))), b(c(b(a(?x_8)))) = c(c(b(c(?x_8)))), b(c(c(c(?x_10)))) = c(c(b(b(?x_10)))), b(c(b(b(?x_14)))) = c(c(b(b(?x_14)))), b(c(b(c(?x_16)))) = c(c(b(c(?x_16)))), a(a(c(b(?x_1)))) = a(c(b(b(?x_1)))), a(a(a(c(?x_5)))) = a(c(b(c(?x_5)))), a(a(b(a(?x_8)))) = a(c(b(c(?x_8)))), a(a(c(c(?x_10)))) = a(c(b(b(?x_10)))), a(a(b(b(?x_14)))) = a(c(b(b(?x_14)))), a(a(b(c(?x_16)))) = a(c(b(c(?x_16)))), c(b(b(?x))) = b(c(b(?x))), c(c(b(?x))) = b(c(b(?x))), c(c(b(?x))) = c(c(b(?x))), a(c(b(?x))) = c(c(b(?x))), b(b(b(?x))) = b(c(b(?x))), b(c(b(?x))) = c(c(b(?x))), a(a(b(?x))) = a(c(b(?x))), b(a(?x)) = a(c(?x)), b(c(?x)) = a(c(?x)), b(b(b(?x_2))) = a(c(c(?x_2))), b(a(a(?x_4))) = a(c(c(?x_4))), b(c(c(?x_11))) = a(c(b(?x_11))), b(a(c(?x_13))) = a(c(b(?x_13))), b(b(c(?x_15))) = a(c(b(?x_15))), b(a(a(?x_17))) = a(c(a(?x_17))), c(b(b(b(?x_2)))) = b(a(c(c(?x_2)))), c(b(a(a(?x_4)))) = b(a(c(c(?x_4)))), c(b(c(c(?x_11)))) = b(a(c(b(?x_11)))), c(b(a(c(?x_13)))) = b(a(c(b(?x_13)))), c(b(b(c(?x_15)))) = b(a(c(b(?x_15)))), c(b(a(a(?x_17)))) = b(a(c(a(?x_17)))), c(c(b(b(?x_2)))) = b(a(c(c(?x_2)))), c(c(a(a(?x_4)))) = b(a(c(c(?x_4)))), c(c(c(c(?x_11)))) = b(a(c(b(?x_11)))), c(c(a(c(?x_13)))) = b(a(c(b(?x_13)))), c(c(b(c(?x_15)))) = b(a(c(b(?x_15)))), c(c(a(a(?x_17)))) = b(a(c(a(?x_17)))), c(c(b(b(?x_2)))) = c(a(c(c(?x_2)))), c(c(a(a(?x_4)))) = c(a(c(c(?x_4)))), c(c(c(c(?x_11)))) = c(a(c(b(?x_11)))), c(c(a(c(?x_13)))) = c(a(c(b(?x_13)))), c(c(b(c(?x_15)))) = c(a(c(b(?x_15)))), c(c(a(a(?x_17)))) = c(a(c(a(?x_17)))), a(c(b(b(?x_2)))) = c(a(c(c(?x_2)))), a(c(a(a(?x_4)))) = c(a(c(c(?x_4)))), a(c(c(c(?x_11)))) = c(a(c(b(?x_11)))), a(c(a(c(?x_13)))) = c(a(c(b(?x_13)))), a(c(b(c(?x_15)))) = c(a(c(b(?x_15)))), a(c(a(a(?x_17)))) = c(a(c(a(?x_17)))), b(b(b(b(?x_2)))) = b(a(c(c(?x_2)))), b(b(a(a(?x_4)))) = b(a(c(c(?x_4)))), b(b(c(c(?x_11)))) = b(a(c(b(?x_11)))), b(b(a(c(?x_13)))) = b(a(c(b(?x_13)))), b(b(b(c(?x_15)))) = b(a(c(b(?x_15)))), b(b(a(a(?x_17)))) = b(a(c(a(?x_17)))), b(c(b(b(?x_2)))) = c(a(c(c(?x_2)))), b(c(a(a(?x_4)))) = c(a(c(c(?x_4)))), b(c(c(c(?x_11)))) = c(a(c(b(?x_11)))), b(c(a(c(?x_13)))) = c(a(c(b(?x_13)))), b(c(b(c(?x_15)))) = c(a(c(b(?x_15)))), b(c(a(a(?x_17)))) = c(a(c(a(?x_17)))), a(a(b(b(?x_2)))) = a(a(c(c(?x_2)))), a(a(a(a(?x_4)))) = a(a(c(c(?x_4)))), a(a(c(c(?x_11)))) = a(a(c(b(?x_11)))), a(a(a(c(?x_13)))) = a(a(c(b(?x_13)))), a(a(b(c(?x_15)))) = a(a(c(b(?x_15)))), a(a(a(a(?x_17)))) = a(a(c(a(?x_17)))), c(b(c(?x))) = b(a(c(?x))), c(c(c(?x))) = b(a(c(?x))), c(c(c(?x))) = c(a(c(?x))), a(c(c(?x))) = c(a(c(?x))), b(b(c(?x))) = b(a(c(?x))), b(c(c(?x))) = c(a(c(?x))), a(a(c(?x))) = a(a(c(?x))), b(a(?x)) = a(a(?x)), b(c(?x)) = a(a(?x)), c(b(?x)) = a(a(?x)), a(a(a(?x_1))) = a(a(a(?x_1))), a(b(a(?x_3))) = a(a(a(?x_3))), a(b(c(?x_7))) = a(a(a(?x_7))), a(c(b(?x_9))) = a(a(a(?x_9))), a(b(c(?x_12))) = a(a(c(?x_12))), a(c(a(?x_18))) = a(a(c(?x_18))), a(a(a(?x_19))) = a(a(b(?x_19))), a(a(a(a(?x_1)))) = a(a(a(a(?x_1)))), a(a(b(a(?x_3)))) = a(a(a(a(?x_3)))), a(a(b(c(?x_7)))) = a(a(a(a(?x_7)))), a(a(c(b(?x_9)))) = a(a(a(a(?x_9)))), a(a(b(c(?x_12)))) = a(a(a(c(?x_12)))), a(a(c(a(?x_18)))) = a(a(a(c(?x_18)))), a(a(a(a(?x_19)))) = a(a(a(b(?x_19)))), b(a(a(a(?x_1)))) = a(a(a(a(?x_1)))), b(a(b(a(?x_3)))) = a(a(a(a(?x_3)))), b(a(b(c(?x_7)))) = a(a(a(a(?x_7)))), b(a(c(b(?x_9)))) = a(a(a(a(?x_9)))), b(a(b(c(?x_12)))) = a(a(a(c(?x_12)))), b(a(c(a(?x_18)))) = a(a(a(c(?x_18)))), b(a(a(a(?x_19)))) = a(a(a(b(?x_19)))), b(c(b(a(?x_3)))) = a(a(a(a(?x_3)))), b(c(b(c(?x_7)))) = a(a(a(a(?x_7)))), b(c(c(b(?x_9)))) = a(a(a(a(?x_9)))), b(c(b(c(?x_12)))) = a(a(a(c(?x_12)))), b(c(c(a(?x_18)))) = a(a(a(c(?x_18)))), b(c(a(a(?x_19)))) = a(a(a(b(?x_19)))), c(b(a(a(?x_1)))) = a(a(a(a(?x_1)))), c(b(b(a(?x_3)))) = a(a(a(a(?x_3)))), c(b(b(c(?x_7)))) = a(a(a(a(?x_7)))), c(b(c(b(?x_9)))) = a(a(a(a(?x_9)))), c(b(b(c(?x_12)))) = a(a(a(c(?x_12)))), c(b(c(a(?x_18)))) = a(a(a(c(?x_18)))), c(b(a(a(?x_19)))) = a(a(a(b(?x_19)))), a(a(b(a(?x_3)))) = c(a(a(a(?x_3)))), a(a(b(c(?x_7)))) = c(a(a(a(?x_7)))), a(a(c(b(?x_9)))) = c(a(a(a(?x_9)))), a(a(b(c(?x_12)))) = c(a(a(c(?x_12)))), a(a(c(a(?x_18)))) = c(a(a(c(?x_18)))), a(a(a(a(?x_19)))) = c(a(a(b(?x_19)))), b(a(a(?x))) = a(a(a(?x))), b(c(a(?x))) = a(a(a(?x))), c(b(a(?x))) = a(a(a(?x))), a(a(a(?x))) = c(a(a(?x))), b(a(?x)) = b(c(?x)), a(a(?x)) = b(c(?x)), c(b(?x)) = b(c(?x)), a(b(c(?x_1))) = b(c(a(?x_1))), a(b(a(?x_3))) = b(c(a(?x_3))), a(a(a(?x_7))) = b(c(a(?x_7))), a(c(b(?x_9))) = b(c(a(?x_9))), a(b(c(?x_12))) = b(c(c(?x_12))), a(c(a(?x_18))) = b(c(c(?x_18))), a(a(a(?x_19))) = b(c(b(?x_19))), b(c(b(c(?x_1)))) = a(b(c(a(?x_1)))), b(c(b(a(?x_3)))) = a(b(c(a(?x_3)))), b(c(a(a(?x_7)))) = a(b(c(a(?x_7)))), b(c(c(b(?x_9)))) = a(b(c(a(?x_9)))), b(c(b(c(?x_12)))) = a(b(c(c(?x_12)))), b(c(c(a(?x_18)))) = a(b(c(c(?x_18)))), b(c(a(a(?x_19)))) = a(b(c(b(?x_19)))), b(a(b(c(?x_1)))) = a(b(c(a(?x_1)))), b(a(b(a(?x_3)))) = a(b(c(a(?x_3)))), b(a(a(a(?x_7)))) = a(b(c(a(?x_7)))), b(a(c(b(?x_9)))) = a(b(c(a(?x_9)))), b(a(b(c(?x_12)))) = a(b(c(c(?x_12)))), b(a(c(a(?x_18)))) = a(b(c(c(?x_18)))), b(a(a(a(?x_19)))) = a(b(c(b(?x_19)))), a(a(b(c(?x_1)))) = a(b(c(a(?x_1)))), a(a(b(a(?x_3)))) = a(b(c(a(?x_3)))), a(a(a(a(?x_7)))) = a(b(c(a(?x_7)))), a(a(c(b(?x_9)))) = a(b(c(a(?x_9)))), a(a(b(c(?x_12)))) = a(b(c(c(?x_12)))), a(a(c(a(?x_18)))) = a(b(c(c(?x_18)))), a(a(a(a(?x_19)))) = a(b(c(b(?x_19)))), c(b(b(c(?x_1)))) = a(b(c(a(?x_1)))), c(b(b(a(?x_3)))) = a(b(c(a(?x_3)))), c(b(a(a(?x_7)))) = a(b(c(a(?x_7)))), c(b(c(b(?x_9)))) = a(b(c(a(?x_9)))), c(b(b(c(?x_12)))) = a(b(c(c(?x_12)))), c(b(c(a(?x_18)))) = a(b(c(c(?x_18)))), c(b(a(a(?x_19)))) = a(b(c(b(?x_19)))), a(a(b(c(?x_1)))) = c(b(c(a(?x_1)))), a(a(b(a(?x_3)))) = c(b(c(a(?x_3)))), a(a(a(a(?x_7)))) = c(b(c(a(?x_7)))), a(a(c(b(?x_9)))) = c(b(c(a(?x_9)))), a(a(b(c(?x_12)))) = c(b(c(c(?x_12)))), a(a(c(a(?x_18)))) = c(b(c(c(?x_18)))), a(a(a(a(?x_19)))) = c(b(c(b(?x_19)))), b(c(a(?x))) = a(b(c(?x))), b(a(a(?x))) = a(b(c(?x))), a(a(a(?x))) = a(b(c(?x))), c(b(a(?x))) = a(b(c(?x))), a(a(a(?x))) = c(b(c(?x))), a(c(?x)) = b(a(?x)), b(b(b(?x_2))) = b(a(c(?x_2))), b(a(a(?x_4))) = b(a(c(?x_4))), b(c(c(?x_11))) = b(a(b(?x_11))), b(a(c(?x_13))) = b(a(b(?x_13))), b(b(c(?x_15))) = b(a(b(?x_15))), b(a(a(?x_17))) = b(a(a(?x_17))), c(b(b(b(?x_2)))) = b(b(a(c(?x_2)))), c(b(a(a(?x_4)))) = b(b(a(c(?x_4)))), c(b(c(c(?x_11)))) = b(b(a(b(?x_11)))), c(b(a(c(?x_13)))) = b(b(a(b(?x_13)))), c(b(b(c(?x_15)))) = b(b(a(b(?x_15)))), c(b(a(a(?x_17)))) = b(b(a(a(?x_17)))), c(c(b(b(?x_2)))) = b(b(a(c(?x_2)))), c(c(a(a(?x_4)))) = b(b(a(c(?x_4)))), c(c(c(c(?x_11)))) = b(b(a(b(?x_11)))), c(c(a(c(?x_13)))) = b(b(a(b(?x_13)))), c(c(b(c(?x_15)))) = b(b(a(b(?x_15)))), c(c(a(a(?x_17)))) = b(b(a(a(?x_17)))), c(c(b(b(?x_2)))) = c(b(a(c(?x_2)))), c(c(a(a(?x_4)))) = c(b(a(c(?x_4)))), c(c(c(c(?x_11)))) = c(b(a(b(?x_11)))), c(c(a(c(?x_13)))) = c(b(a(b(?x_13)))), c(c(b(c(?x_15)))) = c(b(a(b(?x_15)))), c(c(a(a(?x_17)))) = c(b(a(a(?x_17)))), a(c(b(b(?x_2)))) = c(b(a(c(?x_2)))), a(c(a(a(?x_4)))) = c(b(a(c(?x_4)))), a(c(c(c(?x_11)))) = c(b(a(b(?x_11)))), a(c(a(c(?x_13)))) = c(b(a(b(?x_13)))), a(c(b(c(?x_15)))) = c(b(a(b(?x_15)))), a(c(a(a(?x_17)))) = c(b(a(a(?x_17)))), b(b(b(b(?x_2)))) = b(b(a(c(?x_2)))), b(b(a(a(?x_4)))) = b(b(a(c(?x_4)))), b(b(c(c(?x_11)))) = b(b(a(b(?x_11)))), b(b(a(c(?x_13)))) = b(b(a(b(?x_13)))), b(b(b(c(?x_15)))) = b(b(a(b(?x_15)))), b(b(a(a(?x_17)))) = b(b(a(a(?x_17)))), b(c(b(b(?x_2)))) = c(b(a(c(?x_2)))), b(c(a(a(?x_4)))) = c(b(a(c(?x_4)))), b(c(c(c(?x_11)))) = c(b(a(b(?x_11)))), b(c(a(c(?x_13)))) = c(b(a(b(?x_13)))), b(c(b(c(?x_15)))) = c(b(a(b(?x_15)))), b(c(a(a(?x_17)))) = c(b(a(a(?x_17)))), a(a(b(b(?x_2)))) = a(b(a(c(?x_2)))), a(a(a(a(?x_4)))) = a(b(a(c(?x_4)))), a(a(c(c(?x_11)))) = a(b(a(b(?x_11)))), a(a(a(c(?x_13)))) = a(b(a(b(?x_13)))), a(a(b(c(?x_15)))) = a(b(a(b(?x_15)))), c(b(c(?x))) = b(b(a(?x))), c(c(c(?x))) = b(b(a(?x))), c(c(c(?x))) = c(b(a(?x))), a(c(c(?x))) = c(b(a(?x))), b(b(c(?x))) = b(b(a(?x))), b(c(c(?x))) = c(b(a(?x))), a(a(c(?x))) = a(b(a(?x))), b(a(?x)) = c(b(?x)), a(a(?x)) = c(b(?x)), b(c(?x)) = c(b(?x)), a(c(b(?x_1))) = c(b(a(?x_1))), a(b(a(?x_3))) = c(b(a(?x_3))), a(b(c(?x_8))) = c(b(a(?x_8))), a(b(c(?x_12))) = c(b(c(?x_12))), a(c(a(?x_18))) = c(b(c(?x_18))), a(a(a(?x_19))) = c(b(b(?x_19))), c(b(c(b(?x_1)))) = a(c(b(a(?x_1)))), c(b(b(a(?x_3)))) = a(c(b(a(?x_3)))), c(b(a(a(?x_7)))) = a(c(b(a(?x_7)))), c(b(b(c(?x_8)))) = a(c(b(a(?x_8)))), c(b(b(c(?x_12)))) = a(c(b(c(?x_12)))), c(b(c(a(?x_18)))) = a(c(b(c(?x_18)))), c(b(a(a(?x_19)))) = a(c(b(b(?x_19)))), b(a(c(b(?x_1)))) = a(c(b(a(?x_1)))), b(a(b(a(?x_3)))) = a(c(b(a(?x_3)))), b(a(a(a(?x_7)))) = a(c(b(a(?x_7)))), b(a(b(c(?x_8)))) = a(c(b(a(?x_8)))), b(a(b(c(?x_12)))) = a(c(b(c(?x_12)))), b(a(c(a(?x_18)))) = a(c(b(c(?x_18)))), b(a(a(a(?x_19)))) = a(c(b(b(?x_19)))), a(a(c(b(?x_1)))) = a(c(b(a(?x_1)))), a(a(b(a(?x_3)))) = a(c(b(a(?x_3)))), a(a(a(a(?x_7)))) = a(c(b(a(?x_7)))), a(a(b(c(?x_8)))) = a(c(b(a(?x_8)))), a(a(c(a(?x_18)))) = a(c(b(c(?x_18)))), a(a(a(a(?x_19)))) = a(c(b(b(?x_19)))), b(c(c(b(?x_1)))) = a(c(b(a(?x_1)))), b(c(b(a(?x_3)))) = a(c(b(a(?x_3)))), b(c(a(a(?x_7)))) = a(c(b(a(?x_7)))), b(c(b(c(?x_8)))) = a(c(b(a(?x_8)))), b(c(b(c(?x_12)))) = a(c(b(c(?x_12)))), b(c(c(a(?x_18)))) = a(c(b(c(?x_18)))), b(c(a(a(?x_19)))) = a(c(b(b(?x_19)))), a(a(c(b(?x_1)))) = c(c(b(a(?x_1)))), a(a(b(a(?x_3)))) = c(c(b(a(?x_3)))), a(a(a(a(?x_7)))) = c(c(b(a(?x_7)))), a(a(b(c(?x_8)))) = c(c(b(a(?x_8)))), a(a(b(c(?x_12)))) = c(c(b(c(?x_12)))), a(a(c(a(?x_18)))) = c(c(b(c(?x_18)))), a(a(a(a(?x_19)))) = c(c(b(b(?x_19)))), c(b(a(?x))) = a(c(b(?x))), b(a(a(?x))) = a(c(b(?x))), a(a(a(?x))) = a(c(b(?x))), b(c(a(?x))) = a(c(b(?x))), a(a(a(?x))) = c(c(b(?x))), c(b(?x)) = c(c(?x)), b(b(?x)) = c(c(?x)), b(c(c(?x_1))) = c(c(b(?x_1))), b(a(c(?x_6))) = c(c(c(?x_6))), b(b(a(?x_9))) = c(c(c(?x_9))), b(b(b(?x_14))) = c(c(b(?x_14))), b(b(c(?x_16))) = c(c(c(?x_16))), c(c(c(c(?x_1)))) = b(c(c(b(?x_1)))), c(c(c(b(?x_5)))) = b(c(c(b(?x_5)))), c(c(a(c(?x_6)))) = b(c(c(c(?x_6)))), c(c(b(a(?x_9)))) = b(c(c(c(?x_9)))), c(c(b(b(?x_14)))) = b(c(c(b(?x_14)))), c(c(b(c(?x_16)))) = b(c(c(c(?x_16)))), c(b(c(c(?x_1)))) = b(c(c(b(?x_1)))), c(b(c(b(?x_5)))) = b(c(c(b(?x_5)))), c(b(a(c(?x_6)))) = b(c(c(c(?x_6)))), c(b(b(a(?x_9)))) = b(c(c(c(?x_9)))), c(b(b(b(?x_14)))) = b(c(c(b(?x_14)))), c(b(b(c(?x_16)))) = b(c(c(c(?x_16)))), c(c(c(c(?x_1)))) = c(c(c(b(?x_1)))), c(c(c(b(?x_5)))) = c(c(c(b(?x_5)))), c(c(a(c(?x_6)))) = c(c(c(c(?x_6)))), c(c(b(a(?x_9)))) = c(c(c(c(?x_9)))), c(c(b(b(?x_14)))) = c(c(c(b(?x_14)))), c(c(b(c(?x_16)))) = c(c(c(c(?x_16)))), a(c(c(c(?x_1)))) = c(c(c(b(?x_1)))), a(c(c(b(?x_5)))) = c(c(c(b(?x_5)))), a(c(a(c(?x_6)))) = c(c(c(c(?x_6)))), a(c(b(a(?x_9)))) = c(c(c(c(?x_9)))), a(c(b(b(?x_14)))) = c(c(c(b(?x_14)))), a(c(b(c(?x_16)))) = c(c(c(c(?x_16)))), b(b(c(c(?x_1)))) = b(c(c(b(?x_1)))), b(b(c(b(?x_5)))) = b(c(c(b(?x_5)))), b(b(a(c(?x_6)))) = b(c(c(c(?x_6)))), b(b(b(a(?x_9)))) = b(c(c(c(?x_9)))), b(b(b(b(?x_14)))) = b(c(c(b(?x_14)))), b(b(b(c(?x_16)))) = b(c(c(c(?x_16)))), b(c(c(c(?x_1)))) = c(c(c(b(?x_1)))), b(c(c(b(?x_5)))) = c(c(c(b(?x_5)))), b(c(a(c(?x_6)))) = c(c(c(c(?x_6)))), b(c(b(a(?x_9)))) = c(c(c(c(?x_9)))), b(c(b(b(?x_14)))) = c(c(c(b(?x_14)))), b(c(b(c(?x_16)))) = c(c(c(c(?x_16)))), a(a(c(c(?x_1)))) = a(c(c(b(?x_1)))), a(a(c(b(?x_5)))) = a(c(c(b(?x_5)))), a(a(a(c(?x_6)))) = a(c(c(c(?x_6)))), a(a(b(a(?x_9)))) = a(c(c(c(?x_9)))), a(a(b(b(?x_14)))) = a(c(c(b(?x_14)))), a(a(b(c(?x_16)))) = a(c(c(c(?x_16)))), c(c(b(?x))) = b(c(c(?x))), c(b(b(?x))) = b(c(c(?x))), c(c(b(?x))) = c(c(c(?x))), a(c(b(?x))) = c(c(c(?x))), b(b(b(?x))) = b(c(c(?x))), b(c(b(?x))) = c(c(c(?x))), a(a(b(?x))) = a(c(c(?x))), a(c(?x)) = c(c(?x)), b(c(?x)) = c(c(?x)), c(a(c(?x_6))) = c(c(c(?x_6))), c(b(a(?x_9))) = c(c(c(?x_9))), c(c(c(?x_11))) = c(c(b(?x_11))), c(b(b(?x_14))) = c(c(b(?x_14))), c(b(c(?x_16))) = c(c(c(?x_16))), b(b(c(b(?x_5)))) = c(c(c(b(?x_5)))), b(b(a(c(?x_6)))) = c(c(c(c(?x_6)))), b(b(b(a(?x_9)))) = c(c(c(c(?x_9)))), b(b(c(c(?x_11)))) = c(c(c(b(?x_11)))), b(b(b(b(?x_14)))) = c(c(c(b(?x_14)))), b(b(b(c(?x_16)))) = c(c(c(c(?x_16)))), a(a(c(b(?x_5)))) = c(c(c(b(?x_5)))), a(a(a(c(?x_6)))) = c(c(c(c(?x_6)))), a(a(b(a(?x_9)))) = c(c(c(c(?x_9)))), a(a(c(c(?x_11)))) = c(c(c(b(?x_11)))), a(a(b(b(?x_14)))) = c(c(c(b(?x_14)))), a(a(b(c(?x_16)))) = c(c(c(c(?x_16)))), a(c(c(b(?x_5)))) = b(c(c(b(?x_5)))), a(c(a(c(?x_6)))) = b(c(c(c(?x_6)))), a(c(b(a(?x_9)))) = b(c(c(c(?x_9)))), a(c(c(c(?x_11)))) = b(c(c(b(?x_11)))), a(c(b(b(?x_14)))) = b(c(c(b(?x_14)))), a(c(b(c(?x_16)))) = b(c(c(c(?x_16)))), b(a(c(b(?x_5)))) = b(c(c(b(?x_5)))), b(a(a(c(?x_6)))) = b(c(c(c(?x_6)))), b(a(b(a(?x_9)))) = b(c(c(c(?x_9)))), b(a(c(c(?x_11)))) = b(c(c(b(?x_11)))), b(a(b(b(?x_14)))) = b(c(c(b(?x_14)))), b(a(b(c(?x_16)))) = b(c(c(c(?x_16)))), b(c(c(b(?x_5)))) = a(c(c(b(?x_5)))), b(c(a(c(?x_6)))) = a(c(c(c(?x_6)))), b(c(b(a(?x_9)))) = a(c(c(c(?x_9)))), b(c(c(c(?x_11)))) = a(c(c(b(?x_11)))), b(c(b(b(?x_14)))) = a(c(c(b(?x_14)))), b(c(b(c(?x_16)))) = a(c(c(c(?x_16)))), b(c(c(b(?x_5)))) = b(c(c(b(?x_5)))), b(c(a(c(?x_6)))) = b(c(c(c(?x_6)))), b(c(b(a(?x_9)))) = b(c(c(c(?x_9)))), b(c(c(c(?x_11)))) = b(c(c(b(?x_11)))), b(c(b(b(?x_14)))) = b(c(c(b(?x_14)))), b(c(b(c(?x_16)))) = b(c(c(c(?x_16)))), c(a(c(b(?x_5)))) = a(c(c(b(?x_5)))), c(a(a(c(?x_6)))) = a(c(c(c(?x_6)))), c(a(b(a(?x_9)))) = a(c(c(c(?x_9)))), c(a(c(c(?x_11)))) = a(c(c(b(?x_11)))), c(a(b(b(?x_14)))) = a(c(c(b(?x_14)))), c(a(b(c(?x_16)))) = a(c(c(c(?x_16)))), b(b(b(?x))) = c(c(c(?x))), a(a(b(?x))) = c(c(c(?x))), a(c(b(?x))) = b(c(c(?x))), b(a(b(?x))) = b(c(c(?x))), b(c(b(?x))) = a(c(c(?x))), b(c(b(?x))) = b(c(c(?x))), c(a(b(?x))) = a(c(c(?x))), c(a(?x)) = b(c(?x)), a(b(b(?x_2))) = b(c(c(?x_2))), a(a(a(?x_4))) = b(c(c(?x_4))), a(c(c(?x_12))) = b(c(b(?x_12))), a(a(c(?x_13))) = b(c(b(?x_13))), a(b(c(?x_15))) = b(c(b(?x_15))), b(a(b(b(?x_2)))) = a(b(c(c(?x_2)))), b(a(a(a(?x_4)))) = a(b(c(c(?x_4)))), b(a(c(c(?x_12)))) = a(b(c(b(?x_12)))), b(a(a(c(?x_13)))) = a(b(c(b(?x_13)))), b(a(b(c(?x_15)))) = a(b(c(b(?x_15)))), a(a(b(b(?x_2)))) = a(b(c(c(?x_2)))), a(a(a(a(?x_4)))) = a(b(c(c(?x_4)))), a(a(c(c(?x_12)))) = a(b(c(b(?x_12)))), a(a(a(c(?x_13)))) = a(b(c(b(?x_13)))), a(a(b(c(?x_15)))) = a(b(c(b(?x_15)))), b(c(b(b(?x_2)))) = a(b(c(c(?x_2)))), b(c(a(a(?x_4)))) = a(b(c(c(?x_4)))), b(c(c(c(?x_12)))) = a(b(c(b(?x_12)))), b(c(a(c(?x_13)))) = a(b(c(b(?x_13)))), b(c(b(c(?x_15)))) = a(b(c(b(?x_15)))), c(b(b(b(?x_2)))) = a(b(c(c(?x_2)))), c(b(a(a(?x_4)))) = a(b(c(c(?x_4)))), c(b(c(c(?x_12)))) = a(b(c(b(?x_12)))), c(b(a(c(?x_13)))) = a(b(c(b(?x_13)))), c(b(b(c(?x_15)))) = a(b(c(b(?x_15)))), a(a(b(b(?x_2)))) = c(b(c(c(?x_2)))), a(a(a(a(?x_4)))) = c(b(c(c(?x_4)))), a(a(c(c(?x_12)))) = c(b(c(b(?x_12)))), a(a(a(c(?x_13)))) = c(b(c(b(?x_13)))), a(a(b(c(?x_15)))) = c(b(c(b(?x_15)))), b(a(c(?x))) = a(b(c(?x))), a(a(c(?x))) = a(b(c(?x))), b(c(c(?x))) = a(b(c(?x))), c(b(c(?x))) = a(b(c(?x))), a(a(c(?x))) = c(b(c(?x))), c(c(?x)) = a(c(?x)), c(c(b(?x_5))) = a(c(b(?x_5))), c(a(c(?x_6))) = a(c(c(?x_6))), c(b(a(?x_9))) = a(c(c(?x_9))), c(c(c(?x_11))) = a(c(b(?x_11))), c(b(b(?x_14))) = a(c(b(?x_14))), c(b(c(?x_16))) = a(c(c(?x_16))), b(b(c(b(?x_5)))) = c(a(c(b(?x_5)))), b(b(a(c(?x_6)))) = c(a(c(c(?x_6)))), b(b(b(a(?x_9)))) = c(a(c(c(?x_9)))), b(b(c(c(?x_11)))) = c(a(c(b(?x_11)))), b(b(b(b(?x_14)))) = c(a(c(b(?x_14)))), b(b(b(c(?x_16)))) = c(a(c(c(?x_16)))), a(a(c(b(?x_5)))) = c(a(c(b(?x_5)))), a(a(a(c(?x_6)))) = c(a(c(c(?x_6)))), a(a(b(a(?x_9)))) = c(a(c(c(?x_9)))), a(a(c(c(?x_11)))) = c(a(c(b(?x_11)))), a(a(b(b(?x_14)))) = c(a(c(b(?x_14)))), a(a(b(c(?x_16)))) = c(a(c(c(?x_16)))), a(c(c(b(?x_5)))) = b(a(c(b(?x_5)))), a(c(a(c(?x_6)))) = b(a(c(c(?x_6)))), a(c(b(a(?x_9)))) = b(a(c(c(?x_9)))), a(c(c(c(?x_11)))) = b(a(c(b(?x_11)))), a(c(b(b(?x_14)))) = b(a(c(b(?x_14)))), a(c(b(c(?x_16)))) = b(a(c(c(?x_16)))), b(a(c(b(?x_5)))) = b(a(c(b(?x_5)))), b(a(a(c(?x_6)))) = b(a(c(c(?x_6)))), b(a(b(a(?x_9)))) = b(a(c(c(?x_9)))), b(a(c(c(?x_11)))) = b(a(c(b(?x_11)))), b(a(b(b(?x_14)))) = b(a(c(b(?x_14)))), b(a(b(c(?x_16)))) = b(a(c(c(?x_16)))), b(c(c(b(?x_5)))) = a(a(c(b(?x_5)))), b(c(a(c(?x_6)))) = a(a(c(c(?x_6)))), b(c(b(a(?x_9)))) = a(a(c(c(?x_9)))), b(c(c(c(?x_11)))) = a(a(c(b(?x_11)))), b(c(b(b(?x_14)))) = a(a(c(b(?x_14)))), b(c(b(c(?x_16)))) = a(a(c(c(?x_16)))), b(c(c(b(?x_5)))) = b(a(c(b(?x_5)))), b(c(a(c(?x_6)))) = b(a(c(c(?x_6)))), b(c(b(a(?x_9)))) = b(a(c(c(?x_9)))), b(c(c(c(?x_11)))) = b(a(c(b(?x_11)))), b(c(b(b(?x_14)))) = b(a(c(b(?x_14)))), b(c(b(c(?x_16)))) = b(a(c(c(?x_16)))), c(a(c(b(?x_5)))) = a(a(c(b(?x_5)))), c(a(a(c(?x_6)))) = a(a(c(c(?x_6)))), c(a(b(a(?x_9)))) = a(a(c(c(?x_9)))), c(a(c(c(?x_11)))) = a(a(c(b(?x_11)))), c(a(b(b(?x_14)))) = a(a(c(b(?x_14)))), c(a(b(c(?x_16)))) = a(a(c(c(?x_16)))), b(b(b(?x))) = c(a(c(?x))), a(a(b(?x))) = c(a(c(?x))), a(c(b(?x))) = b(a(c(?x))), b(a(b(?x))) = b(a(c(?x))), b(c(b(?x))) = a(a(c(?x))), b(c(b(?x))) = b(a(c(?x))), c(a(b(?x))) = a(a(c(?x))), c(b(?x)) = b(b(?x)), c(c(?x)) = b(b(?x)), b(b(b(?x_1))) = b(b(b(?x_1))), b(c(b(?x_5))) = b(b(b(?x_5))), b(a(c(?x_6))) = b(b(c(?x_6))), b(b(a(?x_9))) = b(b(c(?x_9))), b(b(c(?x_16))) = b(b(c(?x_16))), b(b(b(b(?x_1)))) = b(b(b(b(?x_1)))), b(b(c(b(?x_5)))) = b(b(b(b(?x_5)))), b(b(a(c(?x_6)))) = b(b(b(c(?x_6)))), b(b(b(a(?x_9)))) = b(b(b(c(?x_9)))), b(b(c(c(?x_11)))) = b(b(b(b(?x_11)))), b(b(b(c(?x_16)))) = b(b(b(c(?x_16)))), c(b(b(b(?x_1)))) = b(b(b(b(?x_1)))), c(b(c(b(?x_5)))) = b(b(b(b(?x_5)))), c(b(a(c(?x_6)))) = b(b(b(c(?x_6)))), c(b(b(a(?x_9)))) = b(b(b(c(?x_9)))), c(b(c(c(?x_11)))) = b(b(b(b(?x_11)))), c(b(b(c(?x_16)))) = b(b(b(c(?x_16)))), c(c(b(b(?x_1)))) = b(b(b(b(?x_1)))), c(c(c(b(?x_5)))) = b(b(b(b(?x_5)))), c(c(a(c(?x_6)))) = b(b(b(c(?x_6)))), c(c(b(a(?x_9)))) = b(b(b(c(?x_9)))), c(c(c(c(?x_11)))) = b(b(b(b(?x_11)))), c(c(b(c(?x_16)))) = b(b(b(c(?x_16)))), c(c(b(b(?x_1)))) = c(b(b(b(?x_1)))), c(c(c(b(?x_5)))) = c(b(b(b(?x_5)))), c(c(a(c(?x_6)))) = c(b(b(c(?x_6)))), c(c(b(a(?x_9)))) = c(b(b(c(?x_9)))), c(c(c(c(?x_11)))) = c(b(b(b(?x_11)))), c(c(b(c(?x_16)))) = c(b(b(c(?x_16)))), a(c(b(b(?x_1)))) = c(b(b(b(?x_1)))), a(c(c(b(?x_5)))) = c(b(b(b(?x_5)))), a(c(a(c(?x_6)))) = c(b(b(c(?x_6)))), a(c(b(a(?x_9)))) = c(b(b(c(?x_9)))), a(c(c(c(?x_11)))) = c(b(b(b(?x_11)))), a(c(b(c(?x_16)))) = c(b(b(c(?x_16)))), b(c(b(b(?x_1)))) = c(b(b(b(?x_1)))), b(c(c(b(?x_5)))) = c(b(b(b(?x_5)))), b(c(a(c(?x_6)))) = c(b(b(c(?x_6)))), b(c(b(a(?x_9)))) = c(b(b(c(?x_9)))), b(c(c(c(?x_11)))) = c(b(b(b(?x_11)))), b(c(b(c(?x_16)))) = c(b(b(c(?x_16)))), a(a(b(b(?x_1)))) = a(b(b(b(?x_1)))), a(a(c(b(?x_5)))) = a(b(b(b(?x_5)))), a(a(a(c(?x_6)))) = a(b(b(c(?x_6)))), a(a(b(a(?x_9)))) = a(b(b(c(?x_9)))), a(a(c(c(?x_11)))) = a(b(b(b(?x_11)))), a(a(b(c(?x_16)))) = a(b(b(c(?x_16)))), c(b(b(?x))) = b(b(b(?x))), c(c(b(?x))) = b(b(b(?x))), c(c(b(?x))) = c(b(b(?x))), a(c(b(?x))) = c(b(b(?x))), a(a(b(?x))) = a(b(b(?x))), c(c(?x)) = b(c(?x)), a(c(?x)) = b(c(?x)), c(a(c(?x_6))) = b(c(c(?x_6))), c(b(a(?x_9))) = b(c(c(?x_9))), c(c(c(?x_11))) = b(c(b(?x_11))), c(b(c(?x_16))) = b(c(c(?x_16))), b(b(c(b(?x_5)))) = c(b(c(b(?x_5)))), b(b(a(c(?x_6)))) = c(b(c(c(?x_6)))), b(b(b(a(?x_9)))) = c(b(c(c(?x_9)))), b(b(c(c(?x_11)))) = c(b(c(b(?x_11)))), b(b(b(b(?x_15)))) = c(b(c(b(?x_15)))), b(b(b(c(?x_16)))) = c(b(c(c(?x_16)))), a(a(c(b(?x_5)))) = c(b(c(b(?x_5)))), a(a(a(c(?x_6)))) = c(b(c(c(?x_6)))), a(a(b(a(?x_9)))) = c(b(c(c(?x_9)))), a(a(b(b(?x_15)))) = c(b(c(b(?x_15)))), a(c(c(b(?x_5)))) = b(b(c(b(?x_5)))), a(c(a(c(?x_6)))) = b(b(c(c(?x_6)))), a(c(b(a(?x_9)))) = b(b(c(c(?x_9)))), a(c(c(c(?x_11)))) = b(b(c(b(?x_11)))), a(c(b(b(?x_15)))) = b(b(c(b(?x_15)))), a(c(b(c(?x_16)))) = b(b(c(c(?x_16)))), b(a(c(b(?x_5)))) = b(b(c(b(?x_5)))), b(a(a(c(?x_6)))) = b(b(c(c(?x_6)))), b(a(b(a(?x_9)))) = b(b(c(c(?x_9)))), b(a(c(c(?x_11)))) = b(b(c(b(?x_11)))), b(a(b(b(?x_15)))) = b(b(c(b(?x_15)))), b(a(b(c(?x_16)))) = b(b(c(c(?x_16)))), b(c(c(b(?x_5)))) = a(b(c(b(?x_5)))), b(c(a(c(?x_6)))) = a(b(c(c(?x_6)))), b(c(b(a(?x_9)))) = a(b(c(c(?x_9)))), b(c(b(b(?x_15)))) = a(b(c(b(?x_15)))), b(c(c(b(?x_5)))) = b(b(c(b(?x_5)))), b(c(a(c(?x_6)))) = b(b(c(c(?x_6)))), b(c(b(a(?x_9)))) = b(b(c(c(?x_9)))), b(c(c(c(?x_11)))) = b(b(c(b(?x_11)))), b(c(b(b(?x_15)))) = b(b(c(b(?x_15)))), b(c(b(c(?x_16)))) = b(b(c(c(?x_16)))), c(a(c(b(?x_5)))) = a(b(c(b(?x_5)))), c(a(a(c(?x_6)))) = a(b(c(c(?x_6)))), c(a(b(a(?x_9)))) = a(b(c(c(?x_9)))), c(a(c(c(?x_11)))) = a(b(c(b(?x_11)))), c(a(b(b(?x_15)))) = a(b(c(b(?x_15)))), c(a(b(c(?x_16)))) = a(b(c(c(?x_16)))), b(b(b(?x))) = c(b(c(?x))), a(a(b(?x))) = c(b(c(?x))), a(c(b(?x))) = b(b(c(?x))), b(a(b(?x))) = b(b(c(?x))), b(c(b(?x))) = a(b(c(?x))), b(c(b(?x))) = b(b(c(?x))), c(a(b(?x))) = a(b(c(?x))), b(a(a(?x_4))) = b(c(c(?x_4))), b(c(c(?x_12))) = b(c(b(?x_12))), b(a(c(?x_14))) = b(c(b(?x_14))), b(b(c(?x_16))) = b(c(b(?x_16))), b(a(a(?x_17))) = b(c(a(?x_17))), c(b(b(b(?x_2)))) = b(b(c(c(?x_2)))), c(b(a(a(?x_4)))) = b(b(c(c(?x_4)))), c(b(c(c(?x_12)))) = b(b(c(b(?x_12)))), c(b(a(c(?x_14)))) = b(b(c(b(?x_14)))), c(b(b(c(?x_16)))) = b(b(c(b(?x_16)))), c(b(a(a(?x_17)))) = b(b(c(a(?x_17)))), c(c(b(b(?x_2)))) = b(b(c(c(?x_2)))), c(c(a(a(?x_4)))) = b(b(c(c(?x_4)))), c(c(c(c(?x_12)))) = b(b(c(b(?x_12)))), c(c(a(c(?x_14)))) = b(b(c(b(?x_14)))), c(c(b(c(?x_16)))) = b(b(c(b(?x_16)))), c(c(a(a(?x_17)))) = b(b(c(a(?x_17)))), c(c(b(b(?x_2)))) = c(b(c(c(?x_2)))), c(c(a(a(?x_4)))) = c(b(c(c(?x_4)))), c(c(c(c(?x_12)))) = c(b(c(b(?x_12)))), c(c(a(c(?x_14)))) = c(b(c(b(?x_14)))), c(c(b(c(?x_16)))) = c(b(c(b(?x_16)))), c(c(a(a(?x_17)))) = c(b(c(a(?x_17)))), a(c(b(b(?x_2)))) = c(b(c(c(?x_2)))), a(c(a(a(?x_4)))) = c(b(c(c(?x_4)))), a(c(c(c(?x_12)))) = c(b(c(b(?x_12)))), a(c(a(c(?x_14)))) = c(b(c(b(?x_14)))), a(c(b(c(?x_16)))) = c(b(c(b(?x_16)))), a(c(a(a(?x_17)))) = c(b(c(a(?x_17)))), b(b(b(b(?x_2)))) = b(b(c(c(?x_2)))), b(b(a(a(?x_4)))) = b(b(c(c(?x_4)))), b(b(c(c(?x_12)))) = b(b(c(b(?x_12)))), b(b(a(c(?x_14)))) = b(b(c(b(?x_14)))), b(b(b(c(?x_16)))) = b(b(c(b(?x_16)))), b(b(a(a(?x_17)))) = b(b(c(a(?x_17)))), b(c(b(b(?x_2)))) = c(b(c(c(?x_2)))), b(c(a(a(?x_4)))) = c(b(c(c(?x_4)))), b(c(c(c(?x_12)))) = c(b(c(b(?x_12)))), b(c(a(c(?x_14)))) = c(b(c(b(?x_14)))), b(c(b(c(?x_16)))) = c(b(c(b(?x_16)))), b(c(a(a(?x_17)))) = c(b(c(a(?x_17)))), c(b(c(?x))) = b(b(c(?x))), c(c(c(?x))) = b(b(c(?x))), c(c(c(?x))) = c(b(c(?x))), a(c(c(?x))) = c(b(c(?x))), b(c(c(?x))) = c(b(c(?x))), c(b(c(?x_8))) = a(a(a(?x_8))), c(c(b(?x_10))) = a(a(a(?x_10))), c(b(c(?x_13))) = a(a(c(?x_13))), c(c(a(?x_18))) = a(a(c(?x_18))), c(a(a(?x_19))) = a(a(b(?x_19))), b(b(b(a(?x_3)))) = c(a(a(a(?x_3)))), b(b(b(c(?x_8)))) = c(a(a(a(?x_8)))), b(b(c(b(?x_10)))) = c(a(a(a(?x_10)))), b(b(b(c(?x_13)))) = c(a(a(c(?x_13)))), b(b(c(a(?x_18)))) = c(a(a(c(?x_18)))), b(b(a(a(?x_19)))) = c(a(a(b(?x_19)))), a(c(b(a(?x_3)))) = b(a(a(a(?x_3)))), a(c(b(c(?x_8)))) = b(a(a(a(?x_8)))), a(c(c(b(?x_10)))) = b(a(a(a(?x_10)))), a(c(b(c(?x_13)))) = b(a(a(c(?x_13)))), a(c(c(a(?x_18)))) = b(a(a(c(?x_18)))), a(c(a(a(?x_19)))) = b(a(a(b(?x_19)))), b(a(b(a(?x_3)))) = b(a(a(a(?x_3)))), b(a(b(c(?x_8)))) = b(a(a(a(?x_8)))), b(a(c(b(?x_10)))) = b(a(a(a(?x_10)))), b(a(b(c(?x_13)))) = b(a(a(c(?x_13)))), b(a(c(a(?x_18)))) = b(a(a(c(?x_18)))), b(a(a(a(?x_19)))) = b(a(a(b(?x_19)))), b(c(b(a(?x_3)))) = b(a(a(a(?x_3)))), b(c(b(c(?x_8)))) = b(a(a(a(?x_8)))), b(c(c(b(?x_10)))) = b(a(a(a(?x_10)))), b(c(b(c(?x_13)))) = b(a(a(c(?x_13)))), b(c(c(a(?x_18)))) = b(a(a(c(?x_18)))), b(c(a(a(?x_19)))) = b(a(a(b(?x_19)))), c(a(b(a(?x_3)))) = a(a(a(a(?x_3)))), c(a(b(c(?x_8)))) = a(a(a(a(?x_8)))), c(a(c(b(?x_10)))) = a(a(a(a(?x_10)))), c(a(b(c(?x_13)))) = a(a(a(c(?x_13)))), c(a(c(a(?x_18)))) = a(a(a(c(?x_18)))), c(a(a(a(?x_19)))) = a(a(a(b(?x_19)))), b(b(a(?x))) = c(a(a(?x))), a(c(a(?x))) = b(a(a(?x))), b(c(a(?x))) = b(a(a(?x))), b(c(?x)) = c(a(?x)), a(b(b(?x_2))) = c(a(c(?x_2))), a(a(a(?x_4))) = c(a(c(?x_4))), a(c(c(?x_12))) = c(a(b(?x_12))), a(a(c(?x_14))) = c(a(b(?x_14))), a(b(c(?x_16))) = c(a(b(?x_16))), b(a(b(b(?x_2)))) = a(c(a(c(?x_2)))), b(a(a(a(?x_4)))) = a(c(a(c(?x_4)))), b(a(c(c(?x_12)))) = a(c(a(b(?x_12)))), b(a(a(c(?x_14)))) = a(c(a(b(?x_14)))), b(a(b(c(?x_16)))) = a(c(a(b(?x_16)))), b(a(a(a(?x_18)))) = a(c(a(a(?x_18)))), a(a(b(b(?x_2)))) = a(c(a(c(?x_2)))), a(a(a(a(?x_4)))) = a(c(a(c(?x_4)))), a(a(c(c(?x_12)))) = a(c(a(b(?x_12)))), a(a(a(c(?x_14)))) = a(c(a(b(?x_14)))), a(a(b(c(?x_16)))) = a(c(a(b(?x_16)))), a(a(a(a(?x_18)))) = a(c(a(a(?x_18)))), b(c(b(b(?x_2)))) = a(c(a(c(?x_2)))), b(c(a(a(?x_4)))) = a(c(a(c(?x_4)))), b(c(c(c(?x_12)))) = a(c(a(b(?x_12)))), b(c(a(c(?x_14)))) = a(c(a(b(?x_14)))), b(c(b(c(?x_16)))) = a(c(a(b(?x_16)))), b(c(a(a(?x_18)))) = a(c(a(a(?x_18)))), c(b(b(b(?x_2)))) = a(c(a(c(?x_2)))), c(b(a(a(?x_4)))) = a(c(a(c(?x_4)))), c(b(c(c(?x_12)))) = a(c(a(b(?x_12)))), c(b(a(c(?x_14)))) = a(c(a(b(?x_14)))), c(b(b(c(?x_16)))) = a(c(a(b(?x_16)))), c(b(a(a(?x_18)))) = a(c(a(a(?x_18)))), a(a(b(b(?x_2)))) = c(c(a(c(?x_2)))), a(a(a(a(?x_4)))) = c(c(a(c(?x_4)))), a(a(c(c(?x_12)))) = c(c(a(b(?x_12)))), a(a(a(c(?x_14)))) = c(c(a(b(?x_14)))), a(a(b(c(?x_16)))) = c(c(a(b(?x_16)))), a(a(a(a(?x_18)))) = c(c(a(a(?x_18)))), b(a(c(?x))) = a(c(a(?x))), a(a(c(?x))) = a(c(a(?x))), b(c(c(?x))) = a(c(a(?x))), c(b(c(?x))) = a(c(a(?x))), a(a(c(?x))) = c(c(a(?x))), a(c(b(?x_5))) = a(a(b(?x_5))), a(b(a(?x_9))) = a(a(c(?x_9))), a(c(c(?x_11))) = a(a(b(?x_11))), a(b(b(?x_15))) = a(a(b(?x_15))), b(a(c(b(?x_5)))) = a(a(a(b(?x_5)))), b(a(a(c(?x_6)))) = a(a(a(c(?x_6)))), b(a(b(a(?x_9)))) = a(a(a(c(?x_9)))), b(a(c(c(?x_11)))) = a(a(a(b(?x_11)))), b(a(b(b(?x_15)))) = a(a(a(b(?x_15)))), a(a(c(b(?x_5)))) = a(a(a(b(?x_5)))), a(a(a(c(?x_6)))) = a(a(a(c(?x_6)))), a(a(b(a(?x_9)))) = a(a(a(c(?x_9)))), a(a(c(c(?x_11)))) = a(a(a(b(?x_11)))), a(a(b(b(?x_15)))) = a(a(a(b(?x_15)))), b(c(c(b(?x_5)))) = a(a(a(b(?x_5)))), b(c(a(c(?x_6)))) = a(a(a(c(?x_6)))), b(c(b(a(?x_9)))) = a(a(a(c(?x_9)))), b(c(b(b(?x_15)))) = a(a(a(b(?x_15)))), c(b(c(b(?x_5)))) = a(a(a(b(?x_5)))), c(b(a(c(?x_6)))) = a(a(a(c(?x_6)))), c(b(b(a(?x_9)))) = a(a(a(c(?x_9)))), c(b(c(c(?x_11)))) = a(a(a(b(?x_11)))), c(b(b(b(?x_15)))) = a(a(a(b(?x_15)))), a(a(c(b(?x_5)))) = c(a(a(b(?x_5)))), a(a(a(c(?x_6)))) = c(a(a(c(?x_6)))), a(a(b(a(?x_9)))) = c(a(a(c(?x_9)))), a(a(b(b(?x_15)))) = c(a(a(b(?x_15)))), b(a(b(?x))) = a(a(a(?x))), a(a(b(?x))) = a(a(a(?x))), b(c(b(?x))) = a(a(a(?x))), c(b(b(?x))) = a(a(a(?x))), a(a(b(?x))) = c(a(a(?x))) ] unknown Okui (Simultaneous CPs) unknown Strongly Depth-Preserving & Root-E-Closed/Non-E-Overlapping unknown Strongly Weight-Preserving & Root-E-Closed/Non-E-Overlapping check Locally Decreasing Diagrams by Rule Labelling... Critical Pair by Rules <2, 0> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],6)], [([],3)]> Critical Pair by Rules <10, 0> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],0)], [([],3)]> Critical Pair by Rules <12, 0> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],11),([],14)], [([(b,1)],9)]> joinable by a reduction of rules <[([],16),([],6)], [([(b,1)],9)]> joinable by a reduction of rules <[], [([],9),([(c,1)],12)]> joinable by a reduction of rules <[([(c,1)],11)], [([],9),([(c,1)],14)]> joinable by a reduction of rules <[([(c,1)],11),([],14)], [([(b,1)],3),([(b,1)],10)]> joinable by a reduction of rules <[([(c,1)],11),([],12)], [([(b,1)],9),([],4)]> joinable by a reduction of rules <[([(c,1)],11),([],10)], [([],9),([(c,1)],10)]> joinable by a reduction of rules <[([(c,1)],11),([],10)], [([],3),([(c,1)],9)]> joinable by a reduction of rules <[([],16),([],8)], [([],9),([(c,1)],14)]> joinable by a reduction of rules <[([],16),([],6)], [([(b,1)],3),([(b,1)],10)]> joinable by a reduction of rules <[([],16),([],1)], [([(b,1)],9),([],7)]> joinable by a reduction of rules <[([],16),([],1)], [([(b,1)],3),([(b,1)],12)]> Critical Pair by Rules <14, 0> preceded by [(c,1)] joinable by a reduction of rules <[([],14)], [([(b,1)],9)]> Critical Pair by Rules <16, 0> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],1)], [([],3)]> Critical Pair by Rules <19, 0> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],6)], [([],3)]> Critical Pair by Rules <5, 1> preceded by [(a,1)] joinable by a reduction of rules <[([],1)], []> Critical Pair by Rules <6, 1> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],4),([],8)], [([(b,1)],6),([],3)]> joinable by a reduction of rules <[([(a,1)],4),([],6)], [([(b,1)],8),([(b,1)],10)]> joinable by a reduction of rules <[([(a,1)],4),([],1)], [([(b,1)],8),([(b,1)],12)]> joinable by a reduction of rules <[([(a,1)],4),([],1)], [([(b,1)],6),([(b,1)],4)]> joinable by a reduction of rules <[([],18),([],8)], [([(b,1)],6),([],3)]> joinable by a reduction of rules <[([],18),([],6)], [([(b,1)],8),([(b,1)],10)]> joinable by a reduction of rules <[([],18),([],1)], [([(b,1)],8),([(b,1)],12)]> joinable by a reduction of rules <[([],18),([],1)], [([(b,1)],6),([(b,1)],4)]> Critical Pair by Rules <8, 1> preceded by [(a,1)] joinable by a reduction of rules <[([],11)], [([(b,1)],8)]> Critical Pair by Rules <11, 1> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],4),([],1)], []> joinable by a reduction of rules <[([],18),([],1)], []> joinable by a reduction of rules <[([(a,1)],4),([(a,1)],17)], [([(b,1)],17),([],4)]> joinable by a reduction of rules <[([(a,1)],4),([],8)], [([(b,1)],11),([],3)]> joinable by a reduction of rules <[([],18),([(a,1)],17)], [([(b,1)],17),([],4)]> joinable by a reduction of rules <[([],18),([],8)], [([(b,1)],11),([],3)]> Critical Pair by Rules <17, 1> preceded by [(a,1)] joinable by a reduction of rules <[([],11)], [([(b,1)],17)]> Critical Pair by Rules <18, 1> preceded by [(a,1)] joinable by a reduction of rules <[([],1)], [([(b,1)],18)]> Critical Pair by Rules <0, 2> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],9),([],19)], []> joinable by a reduction of rules <[([(c,1)],9),([],2)], []> joinable by a reduction of rules <[([(c,1)],3),([(c,1)],14)], [([],8)]> joinable by a reduction of rules <[([],14),([(b,1)],12)], [([],1)]> joinable by a reduction of rules <[([],14),([(b,1)],10)], [([],6)]> joinable by a reduction of rules <[([],12),([(a,1)],14)], [([(a,1)],11)]> joinable by a reduction of rules <[([],12),([(a,1)],12)], []> joinable by a reduction of rules <[([],10),([(c,1)],14)], [([],8)]> joinable by a reduction of rules <[([(c,1)],9)], [([],8),([],10)]> joinable by a reduction of rules <[([(c,1)],9),([(c,1)],19)], [([(a,1)],17),([],17)]> joinable by a reduction of rules <[([(c,1)],9),([(c,1)],2)], [([(a,1)],17),([],17)]> joinable by a reduction of rules <[([(c,1)],9),([],0)], [([],1),([(b,1)],11)]> joinable by a reduction of rules <[([(c,1)],3),([(c,1)],12)], [([],8),([(c,1)],4)]> joinable by a reduction of rules <[([(c,1)],3),([(c,1)],10)], [([],8),([],10)]> joinable by a reduction of rules <[([(c,1)],3),([],0)], [([],6),([(b,1)],0)]> joinable by a reduction of rules <[([],14),([(b,1)],14)], [([],1),([(b,1)],11)]> joinable by a reduction of rules <[([],14),([(b,1)],12)], [([],6),([],7)]> joinable by a reduction of rules <[([],14),([(b,1)],10)], [([],8),([],14)]> joinable by a reduction of rules <[([],12),([(a,1)],10)], [([],8),([],12)]> joinable by a reduction of rules <[([],12),([(a,1)],10)], [([],6),([],4)]> joinable by a reduction of rules <[([],10),([(c,1)],12)], [([],8),([(c,1)],4)]> joinable by a reduction of rules <[([],10),([(c,1)],10)], [([],8),([],10)]> joinable by a reduction of rules <[([],10),([],0)], [([],6),([(b,1)],0)]> Critical Pair by Rules <10, 2> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],0)], [([],8)]> Critical Pair by Rules <12, 2> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],17),([],19)], [([(a,1)],18)]> joinable by a reduction of rules <[([(c,1)],17),([],2)], [([(a,1)],18)]> joinable by a reduction of rules <[([(c,1)],11),([(c,1)],7)], [([(a,1)],18),([],8)]> joinable by a reduction of rules <[([(c,1)],11),([],14)], [([],6),([(b,1)],10)]> joinable by a reduction of rules <[([(c,1)],11),([],10)], [([],8),([(c,1)],9)]> joinable by a reduction of rules <[([],16),([(a,1)],11)], [([(a,1)],18),([(a,1)],6)]> joinable by a reduction of rules <[([],16),([],6)], [([],6),([(b,1)],10)]> joinable by a reduction of rules <[([],16),([],1)], [([],6),([(b,1)],12)]> Critical Pair by Rules <14, 2> preceded by [(c,1)] joinable by a reduction of rules <[([],12),([(a,1)],19)], [([(a,1)],18)]> joinable by a reduction of rules <[([],12),([(a,1)],2)], [([(a,1)],18)]> joinable by a reduction of rules <[([],10),([(c,1)],0)], [([],8)]> joinable by a reduction of rules <[([(c,1)],7)], [([(a,1)],18),([],8)]> joinable by a reduction of rules <[([],14)], [([],6),([(b,1)],10)]> joinable by a reduction of rules <[([],10)], [([],8),([(c,1)],9)]> joinable by a reduction of rules <[([(c,1)],7),([],14)], [([(a,1)],18),([],6)]> joinable by a reduction of rules <[([],14),([(b,1)],19)], [([(a,1)],18),([],1)]> joinable by a reduction of rules <[([],14),([(b,1)],19)], [([],1),([(b,1)],18)]> joinable by a reduction of rules <[([],14),([(b,1)],2)], [([(a,1)],18),([],1)]> joinable by a reduction of rules <[([],14),([(b,1)],2)], [([],1),([(b,1)],18)]> joinable by a reduction of rules <[([],14),([],7)], [([],6),([(b,1)],12)]> joinable by a reduction of rules <[([],12),([],11)], [([],6),([(b,1)],10)]> joinable by a reduction of rules <[([],10),([],0)], [([],6),([(b,1)],14)]> Critical Pair by Rules <16, 2> preceded by [(c,1)] joinable by a reduction of rules <[([],16)], []> joinable by a reduction of rules <[([(c,1)],1)], [([],8)]> Critical Pair by Rules <19, 2> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],6)], [([],8)]> Critical Pair by Rules <4, 3> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],11),([],9)], [([],10)]> joinable by a reduction of rules <[([(b,1)],11),([],3)], []> joinable by a reduction of rules <[], [([],14),([],7)]> joinable by a reduction of rules <[([(b,1)],17)], [([(c,1)],7),([],14)]> joinable by a reduction of rules <[([(b,1)],11)], [([],10),([],0)]> joinable by a reduction of rules <[([(b,1)],17),([(b,1)],16)], [([],14),([(b,1)],19)]> joinable by a reduction of rules <[([(b,1)],17),([(b,1)],16)], [([],14),([(b,1)],2)]> joinable by a reduction of rules <[([(b,1)],17),([],7)], [([],14),([(b,1)],19)]> joinable by a reduction of rules <[([(b,1)],17),([],7)], [([],14),([(b,1)],2)]> joinable by a reduction of rules <[([(b,1)],17),([],4)], [([(c,1)],7),([],12)]> Critical Pair by Rules <7, 3> preceded by [(b,1)] joinable by a reduction of rules <[([],3)], [([(c,1)],7)]> Critical Pair by Rules <9, 3> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],19),([(b,1)],8)], [([],14)]> joinable by a reduction of rules <[([(b,1)],2),([(b,1)],8)], [([],14)]> joinable by a reduction of rules <[([(b,1)],0),([(b,1)],3)], [([],14)]> joinable by a reduction of rules <[([(b,1)],0),([],9)], [([(c,1)],3)]> joinable by a reduction of rules <[([(b,1)],0),([],9)], [([],10)]> joinable by a reduction of rules <[([(b,1)],0),([],3)], []> joinable by a reduction of rules <[], [([],14),([(b,1)],10)]> joinable by a reduction of rules <[([(b,1)],0)], [([(c,1)],3),([],0)]> joinable by a reduction of rules <[([(b,1)],0)], [([],10),([],0)]> joinable by a reduction of rules <[([],7)], [([],14),([(b,1)],12)]> joinable by a reduction of rules <[([],4)], [([],12),([(a,1)],10)]> joinable by a reduction of rules <[([(b,1)],19),([(b,1)],8)], [([],12),([],11)]> joinable by a reduction of rules <[([(b,1)],19),([(b,1)],6)], [([(c,1)],9),([],0)]> joinable by a reduction of rules <[([(b,1)],19),([(b,1)],6)], [([],14),([(b,1)],14)]> joinable by a reduction of rules <[([(b,1)],2),([(b,1)],8)], [([],12),([],11)]> joinable by a reduction of rules <[([(b,1)],2),([(b,1)],6)], [([(c,1)],9),([],0)]> joinable by a reduction of rules <[([(b,1)],2),([(b,1)],6)], [([],14),([(b,1)],14)]> joinable by a reduction of rules <[([(b,1)],0),([(b,1)],3)], [([],12),([],11)]> joinable by a reduction of rules <[([],7),([(b,1)],11)], [([(c,1)],9),([],0)]> joinable by a reduction of rules <[([],7),([(b,1)],11)], [([],14),([(b,1)],14)]> joinable by a reduction of rules <[([],4),([],17)], [([(c,1)],3),([(c,1)],12)]> joinable by a reduction of rules <[([],4),([],17)], [([],10),([(c,1)],12)]> Critical Pair by Rules <13, 3> preceded by [(b,1)] joinable by a reduction of rules <[([],3)], []> joinable by a reduction of rules <[([(b,1)],3)], [([],14)]> joinable by a reduction of rules <[([],9)], [([(c,1)],3)]> joinable by a reduction of rules <[([],9)], [([],10)]> Critical Pair by Rules <15, 3> preceded by [(b,1)] joinable by a reduction of rules <[([],3)], []> joinable by a reduction of rules <[([],9)], [([],10)]> Critical Pair by Rules <0, 4> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],9)], [([],11)]> Critical Pair by Rules <2, 4> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],8),([(b,1)],10)], [([],11)]> joinable by a reduction of rules <[], [([(a,1)],19),([],1)]> joinable by a reduction of rules <[], [([(a,1)],2),([],1)]> joinable by a reduction of rules <[], [([],11),([(b,1)],19)]> joinable by a reduction of rules <[], [([],11),([(b,1)],2)]> joinable by a reduction of rules <[([(b,1)],8),([(b,1)],12)], [([],11),([],7)]> joinable by a reduction of rules <[([(b,1)],8),([],4)], [([(a,1)],19),([(a,1)],8)]> joinable by a reduction of rules <[([(b,1)],8),([],4)], [([(a,1)],2),([(a,1)],8)]> joinable by a reduction of rules <[([(b,1)],8),([],4)], [([(a,1)],0),([(a,1)],3)]> joinable by a reduction of rules <[([(b,1)],6),([(b,1)],4)], [([],11),([],7)]> joinable by a reduction of rules <[([(b,1)],6),([],3)], [([],17),([(c,1)],11)]> joinable by a reduction of rules <[([(b,1)],1),([],9)], [([],17),([(c,1)],17)]> joinable by a reduction of rules <[([(b,1)],1),([],3)], [([(a,1)],19),([],8)]> joinable by a reduction of rules <[([(b,1)],1),([],3)], [([(a,1)],2),([],8)]> Critical Pair by Rules <10, 4> preceded by [(b,1)] joinable by a reduction of rules <[([],4)], [([(a,1)],10)]> Critical Pair by Rules <12, 4> preceded by [(b,1)] joinable by a reduction of rules <[], [([(a,1)],12),([],1)]> joinable by a reduction of rules <[], [([],11),([(b,1)],12)]> joinable by a reduction of rules <[([(b,1)],11)], [([],11),([(b,1)],14)]> joinable by a reduction of rules <[([(b,1)],17),([],4)], [([(a,1)],12),([(a,1)],17)]> joinable by a reduction of rules <[([(b,1)],11),([],3)], [([(a,1)],12),([],8)]> Critical Pair by Rules <14, 4> preceded by [(b,1)] joinable by a reduction of rules <[([],9),([],19)], [([(a,1)],12)]> joinable by a reduction of rules <[([],9),([],2)], [([(a,1)],12)]> joinable by a reduction of rules <[([],3),([],12)], [([(a,1)],10)]> joinable by a reduction of rules <[], [([],11),([(b,1)],14)]> joinable by a reduction of rules <[([(b,1)],4)], [([(a,1)],12),([],1)]> joinable by a reduction of rules <[([(b,1)],4)], [([],11),([(b,1)],12)]> joinable by a reduction of rules <[([],3)], [([(a,1)],12),([],8)]> joinable by a reduction of rules <[([],9),([(c,1)],19)], [([],17),([(c,1)],18)]> joinable by a reduction of rules <[([],9),([(c,1)],2)], [([],17),([(c,1)],18)]> joinable by a reduction of rules <[([],9),([],19)], [([(a,1)],14),([(a,1)],4)]> joinable by a reduction of rules <[([],9),([],19)], [([(a,1)],14),([],18)]> joinable by a reduction of rules <[([],9),([],2)], [([(a,1)],14),([(a,1)],4)]> joinable by a reduction of rules <[([],9),([],2)], [([(a,1)],14),([],18)]> joinable by a reduction of rules <[([],3),([(c,1)],4)], [([(a,1)],10),([],17)]> joinable by a reduction of rules <[([],3),([],14)], [([(a,1)],12),([],6)]> joinable by a reduction of rules <[([],3),([],14)], [([(a,1)],10),([],11)]> joinable by a reduction of rules <[([],3),([],14)], [([],11),([(b,1)],10)]> Critical Pair by Rules <16, 4> preceded by [(b,1)] joinable by a reduction of rules <[], [([(a,1)],16),([],1)]> joinable by a reduction of rules <[], [([],11),([(b,1)],16)]> joinable by a reduction of rules <[], [([],11),([],7)]> joinable by a reduction of rules <[([(b,1)],8),([],4)], [([(a,1)],16),([(a,1)],8)]> joinable by a reduction of rules <[([(b,1)],6),([],3)], [([],17),([(c,1)],6)]> joinable by a reduction of rules <[([(b,1)],1),([],3)], [([(a,1)],16),([],8)]> joinable by a reduction of rules <[([(b,1)],1),([],3)], [([],17),([(c,1)],1)]> Critical Pair by Rules <19, 4> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],8),([(b,1)],10)], [([],11)]> joinable by a reduction of rules <[], [([(a,1)],19),([],1)]> joinable by a reduction of rules <[], [([(a,1)],2),([],1)]> joinable by a reduction of rules <[], [([],11),([(b,1)],19)]> joinable by a reduction of rules <[], [([],11),([(b,1)],2)]> joinable by a reduction of rules <[([(b,1)],8),([(b,1)],12)], [([],11),([],7)]> joinable by a reduction of rules <[([(b,1)],8),([],4)], [([(a,1)],19),([(a,1)],8)]> joinable by a reduction of rules <[([(b,1)],8),([],4)], [([(a,1)],2),([(a,1)],8)]> joinable by a reduction of rules <[([(b,1)],8),([],4)], [([(a,1)],0),([(a,1)],3)]> joinable by a reduction of rules <[([(b,1)],6),([(b,1)],4)], [([],11),([],7)]> joinable by a reduction of rules <[([(b,1)],6),([],3)], [([],17),([(c,1)],11)]> joinable by a reduction of rules <[([(b,1)],1),([],9)], [([],17),([(c,1)],17)]> joinable by a reduction of rules <[([(b,1)],1),([],3)], [([(a,1)],19),([],8)]> joinable by a reduction of rules <[([(b,1)],1),([],3)], [([(a,1)],2),([],8)]> Critical Pair by Rules <1, 5> preceded by [(a,1)] joinable by a reduction of rules <[([],18)], []> joinable by a reduction of rules <[], [([(a,1)],1)]> Critical Pair by Rules <6, 5> preceded by [(a,1)] joinable by a reduction of rules <[], [([(a,1)],6)]> joinable by a reduction of rules <[([(a,1)],7)], [([(a,1)],1)]> Critical Pair by Rules <8, 5> preceded by [(a,1)] joinable by a reduction of rules <[], [([(a,1)],8)]> joinable by a reduction of rules <[([(a,1)],14)], [([(a,1)],6)]> Critical Pair by Rules <11, 5> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],4)], []> joinable by a reduction of rules <[([],18)], []> joinable by a reduction of rules <[], [([(a,1)],11)]> Critical Pair by Rules <17, 5> preceded by [(a,1)] joinable by a reduction of rules <[], [([(a,1)],17)]> Critical Pair by Rules <18, 5> preceded by [(a,1)] joinable by a reduction of rules <[], [([(a,1)],18)]> Critical Pair by Rules <1, 6> preceded by [(a,1)] joinable by a reduction of rules <[([],18),([],6)], []> joinable by a reduction of rules <[([],18),([],1)], [([(b,1)],16)]> joinable by a reduction of rules <[([],18),([],1)], [([],7)]> joinable by a reduction of rules <[([],18)], [([],4),([(a,1)],16)]> Critical Pair by Rules <5, 6> preceded by [(a,1)] joinable by a reduction of rules <[([],6)], []> joinable by a reduction of rules <[([],1)], [([(b,1)],16)]> joinable by a reduction of rules <[([],1)], [([],7)]> Critical Pair by Rules <8, 6> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],12),([(a,1)],17)], [([],4)]> joinable by a reduction of rules <[([],11)], [([(b,1)],16),([(b,1)],8)]> joinable by a reduction of rules <[([],11)], [([],7),([(b,1)],8)]> joinable by a reduction of rules <[([(a,1)],10),([(a,1)],19)], [([],4),([(a,1)],16)]> joinable by a reduction of rules <[([(a,1)],10),([(a,1)],2)], [([],4),([(a,1)],16)]> joinable by a reduction of rules <[([],17),([(c,1)],18)], [([],4),([],17)]> joinable by a reduction of rules <[([],11),([(b,1)],14)], [([(b,1)],16),([(b,1)],6)]> joinable by a reduction of rules <[([],11),([(b,1)],14)], [([],7),([(b,1)],6)]> Critical Pair by Rules <11, 6> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],4),([],6)], []> joinable by a reduction of rules <[([(a,1)],4),([],1)], [([],7)]> joinable by a reduction of rules <[([],18),([],6)], []> joinable by a reduction of rules <[([],18),([],1)], [([],7)]> joinable by a reduction of rules <[([(a,1)],7),([],18)], [([],4),([(a,1)],19)]> joinable by a reduction of rules <[([(a,1)],7),([],18)], [([],4),([(a,1)],2)]> Critical Pair by Rules <17, 6> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],16),([],1)], [([(b,1)],19)]> joinable by a reduction of rules <[([(a,1)],16),([],1)], [([(b,1)],2)]> joinable by a reduction of rules <[([],11),([(b,1)],16)], [([(b,1)],19)]> joinable by a reduction of rules <[([],11),([(b,1)],16)], [([(b,1)],2)]> joinable by a reduction of rules <[([],11),([],7)], [([(b,1)],19)]> joinable by a reduction of rules <[([],11),([],7)], [([(b,1)],2)]> joinable by a reduction of rules <[([(a,1)],16)], [([],4),([(a,1)],19)]> joinable by a reduction of rules <[([(a,1)],16)], [([],4),([(a,1)],2)]> joinable by a reduction of rules <[([],11)], [([],7),([(b,1)],17)]> joinable by a reduction of rules <[([(a,1)],16),([],6)], [([],7),([(b,1)],17)]> joinable by a reduction of rules <[([],17),([(c,1)],8)], [([(b,1)],0),([],9)]> joinable by a reduction of rules <[([],17),([],16)], [([],4),([(a,1)],19)]> joinable by a reduction of rules <[([],17),([],16)], [([],4),([(a,1)],2)]> Critical Pair by Rules <18, 6> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],8)], [([],4)]> Critical Pair by Rules <0, 7> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],9),([],7)], []> joinable by a reduction of rules <[([(b,1)],3),([(b,1)],14)], [([(b,1)],11)]> joinable by a reduction of rules <[([(b,1)],3),([(b,1)],12)], []> joinable by a reduction of rules <[([(b,1)],9),([(b,1)],19)], [([(b,1)],17),([(b,1)],16)]> joinable by a reduction of rules <[([(b,1)],9),([(b,1)],19)], [([(b,1)],17),([],7)]> joinable by a reduction of rules <[([(b,1)],9),([(b,1)],2)], [([(b,1)],17),([(b,1)],16)]> joinable by a reduction of rules <[([(b,1)],9),([(b,1)],2)], [([(b,1)],17),([],7)]> joinable by a reduction of rules <[([],9),([(c,1)],14)], [([(b,1)],11),([],3)]> joinable by a reduction of rules <[([],9),([(c,1)],10)], [([(b,1)],11),([],9)]> joinable by a reduction of rules <[([],3),([(c,1)],9)], [([(b,1)],11),([],9)]> Critical Pair by Rules <2, 7> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],6)], [([(b,1)],11)]> Critical Pair by Rules <10, 7> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],19)], [([(b,1)],18)]> joinable by a reduction of rules <[([(b,1)],2)], [([(b,1)],18)]> Critical Pair by Rules <12, 7> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],17),([(b,1)],16)], [([(b,1)],18)]> joinable by a reduction of rules <[([(b,1)],17),([],7)], [([(b,1)],18)]> joinable by a reduction of rules <[([(b,1)],11)], [([(b,1)],18),([(b,1)],6)]> joinable by a reduction of rules <[([(b,1)],11),([(b,1)],7)], [([(b,1)],18),([(b,1)],1)]> Critical Pair by Rules <14, 7> preceded by [(b,1)] joinable by a reduction of rules <[], [([(b,1)],18),([(b,1)],6)]> joinable by a reduction of rules <[([(b,1)],7)], [([(b,1)],18),([(b,1)],1)]> Critical Pair by Rules <16, 7> preceded by [(b,1)] joinable by a reduction of rules <[], []> Critical Pair by Rules <19, 7> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],6)], [([(b,1)],11)]> Critical Pair by Rules <1, 8> preceded by [(a,1)] joinable by a reduction of rules <[([],18),([],8)], []> joinable by a reduction of rules <[([],18),([],6)], [([],14)]> joinable by a reduction of rules <[([],18)], [([],12),([(a,1)],16)]> joinable by a reduction of rules <[([],18)], [([],10),([],19)]> joinable by a reduction of rules <[([],18)], [([],10),([],2)]> joinable by a reduction of rules <[([],18),([],6)], [([],12),([],11)]> joinable by a reduction of rules <[([],18),([],1)], [([],14),([(b,1)],16)]> joinable by a reduction of rules <[([],18),([],1)], [([],14),([],7)]> Critical Pair by Rules <5, 8> preceded by [(a,1)] joinable by a reduction of rules <[([],8)], []> joinable by a reduction of rules <[([],6)], [([],14)]> Critical Pair by Rules <6, 8> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],4),([(a,1)],17)], [([],12)]> joinable by a reduction of rules <[([],18),([(a,1)],17)], [([],12)]> joinable by a reduction of rules <[([(a,1)],7),([],18)], [([],12),([(a,1)],16)]> joinable by a reduction of rules <[([(a,1)],7),([],18)], [([],10),([],19)]> joinable by a reduction of rules <[([(a,1)],7),([],18)], [([],10),([],2)]> joinable by a reduction of rules <[([(a,1)],4),([(a,1)],17)], [([],14),([],4)]> joinable by a reduction of rules <[([],18),([(a,1)],17)], [([],14),([],4)]> Critical Pair by Rules <11, 8> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],4),([],8)], []> joinable by a reduction of rules <[([(a,1)],4),([],6)], [([],14)]> joinable by a reduction of rules <[([],18),([],8)], []> joinable by a reduction of rules <[([],18),([],6)], [([],14)]> joinable by a reduction of rules <[([(a,1)],4)], [([(c,1)],4),([],16)]> joinable by a reduction of rules <[([(a,1)],4)], [([],10),([],19)]> joinable by a reduction of rules <[([(a,1)],4)], [([],10),([],2)]> joinable by a reduction of rules <[([],18)], [([(c,1)],4),([],16)]> joinable by a reduction of rules <[([],18)], [([],10),([],19)]> joinable by a reduction of rules <[([],18)], [([],10),([],2)]> joinable by a reduction of rules <[([(a,1)],7),([],18)], [([],12),([(a,1)],19)]> joinable by a reduction of rules <[([(a,1)],7),([],18)], [([],12),([(a,1)],2)]> joinable by a reduction of rules <[([(a,1)],4),([(a,1)],17)], [([(c,1)],7),([],12)]> joinable by a reduction of rules <[([(a,1)],4),([],6)], [([],12),([],11)]> joinable by a reduction of rules <[([(a,1)],4),([],1)], [([],14),([],7)]> joinable by a reduction of rules <[([],18),([(a,1)],17)], [([(c,1)],7),([],12)]> joinable by a reduction of rules <[([],18),([],6)], [([],12),([],11)]> joinable by a reduction of rules <[([],18),([],1)], [([],14),([],7)]> Critical Pair by Rules <17, 8> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],16),([],8)], [([(c,1)],7)]> joinable by a reduction of rules <[([],17),([(c,1)],6)], []> joinable by a reduction of rules <[([],17),([(c,1)],1)], [([(c,1)],7)]> joinable by a reduction of rules <[], [([(c,1)],7),([],12)]> joinable by a reduction of rules <[([(a,1)],16)], [([],12),([(a,1)],19)]> joinable by a reduction of rules <[([(a,1)],16)], [([],12),([(a,1)],2)]> joinable by a reduction of rules <[([],17)], [([],10),([(c,1)],19)]> joinable by a reduction of rules <[([],17)], [([],10),([(c,1)],2)]> joinable by a reduction of rules <[([],11)], [([(c,1)],7),([],14)]> joinable by a reduction of rules <[([(a,1)],16),([],6)], [([(c,1)],7),([],14)]> joinable by a reduction of rules <[([(a,1)],16),([],1)], [([],14),([(b,1)],19)]> joinable by a reduction of rules <[([(a,1)],16),([],1)], [([],14),([(b,1)],2)]> joinable by a reduction of rules <[([],17),([],16)], [([],12),([(a,1)],19)]> joinable by a reduction of rules <[([],17),([],16)], [([],12),([(a,1)],2)]> joinable by a reduction of rules <[([],11),([(b,1)],16)], [([],14),([(b,1)],19)]> joinable by a reduction of rules <[([],11),([(b,1)],16)], [([],14),([(b,1)],2)]> joinable by a reduction of rules <[([],11),([],7)], [([],14),([(b,1)],19)]> joinable by a reduction of rules <[([],11),([],7)], [([],14),([(b,1)],2)]> Critical Pair by Rules <18, 8> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],8)], [([],12)]> Critical Pair by Rules <3, 9> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],14),([],9)], [([(c,1)],10)]> joinable by a reduction of rules <[([(b,1)],14),([],3)], [([(c,1)],14)]> joinable by a reduction of rules <[([(b,1)],10),([(b,1)],0)], [([],0)]> joinable by a reduction of rules <[], [([],19),([],6)]> joinable by a reduction of rules <[], [([],2),([],6)]> joinable by a reduction of rules <[], [([],0),([(b,1)],3)]> joinable by a reduction of rules <[([(b,1)],14)], [([(c,1)],10),([],0)]> joinable by a reduction of rules <[([(b,1)],10)], [([(c,1)],14),([],14)]> joinable by a reduction of rules <[([(b,1)],10)], [([],0),([(b,1)],9)]> joinable by a reduction of rules <[([],7)], [([],19),([],1)]> joinable by a reduction of rules <[([],7)], [([],2),([],1)]> joinable by a reduction of rules <[([(b,1)],14),([],9)], [([(c,1)],14),([],10)]> joinable by a reduction of rules <[([(b,1)],14),([],3)], [([(c,1)],12),([(c,1)],11)]> joinable by a reduction of rules <[([(b,1)],12),([(b,1)],11)], [([(c,1)],10),([],0)]> joinable by a reduction of rules <[([(b,1)],10),([],4)], [([(c,1)],14),([],12)]> joinable by a reduction of rules <[([],4),([(a,1)],12)], [([(c,1)],12),([],16)]> joinable by a reduction of rules <[([],4),([(a,1)],12)], [([(c,1)],10),([],19)]> joinable by a reduction of rules <[([],4),([(a,1)],12)], [([(c,1)],10),([],2)]> joinable by a reduction of rules <[([],4),([(a,1)],10)], [([(c,1)],14),([],12)]> Critical Pair by Rules <4, 9> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],11)], [([],0)]> Critical Pair by Rules <7, 9> preceded by [(b,1)] joinable by a reduction of rules <[([],9),([(c,1)],16)], [([(c,1)],19)]> joinable by a reduction of rules <[([],9),([(c,1)],16)], [([(c,1)],2)]> joinable by a reduction of rules <[], [([],0),([(b,1)],7)]> joinable by a reduction of rules <[([],3)], [([(c,1)],19),([(c,1)],1)]> joinable by a reduction of rules <[([],3)], [([(c,1)],2),([(c,1)],1)]> joinable by a reduction of rules <[([],9),([],19)], [([(c,1)],19),([],16)]> joinable by a reduction of rules <[([],9),([],19)], [([(c,1)],2),([],16)]> joinable by a reduction of rules <[([],9),([],2)], [([(c,1)],19),([],16)]> joinable by a reduction of rules <[([],9),([],2)], [([(c,1)],2),([],16)]> joinable by a reduction of rules <[([],3),([],12)], [([],19),([(a,1)],17)]> joinable by a reduction of rules <[([],3),([],12)], [([],2),([(a,1)],17)]> Critical Pair by Rules <13, 9> preceded by [(b,1)] joinable by a reduction of rules <[([],9)], []> joinable by a reduction of rules <[], [([],0)]> Critical Pair by Rules <15, 9> preceded by [(b,1)] joinable by a reduction of rules <[([],9)], []> joinable by a reduction of rules <[], [([],0)]> Critical Pair by Rules <3, 10> preceded by [(c,1)] joinable by a reduction of rules <[], []> Critical Pair by Rules <4, 10> preceded by [(c,1)] joinable by a reduction of rules <[([],16)], [([],19)]> joinable by a reduction of rules <[([],16)], [([],2)]> Critical Pair by Rules <7, 10> preceded by [(c,1)] joinable by a reduction of rules <[([],12),([],17)], [([(c,1)],19)]> joinable by a reduction of rules <[([],12),([],17)], [([(c,1)],2)]> joinable by a reduction of rules <[([],10),([(c,1)],16)], [([(c,1)],19)]> joinable by a reduction of rules <[([],10),([(c,1)],16)], [([(c,1)],2)]> joinable by a reduction of rules <[], [([(c,1)],19),([(c,1)],1)]> joinable by a reduction of rules <[], [([(c,1)],2),([(c,1)],1)]> joinable by a reduction of rules <[([],12)], [([],19),([(a,1)],17)]> joinable by a reduction of rules <[([],12)], [([],2),([(a,1)],17)]> joinable by a reduction of rules <[([],14),([],4)], [([],19),([(a,1)],17)]> joinable by a reduction of rules <[([],14),([],4)], [([],2),([(a,1)],17)]> joinable by a reduction of rules <[([],12),([(a,1)],16)], [([(c,1)],19),([],16)]> joinable by a reduction of rules <[([],12),([(a,1)],16)], [([(c,1)],2),([],16)]> joinable by a reduction of rules <[([],10),([],19)], [([(c,1)],19),([],16)]> joinable by a reduction of rules <[([],10),([],19)], [([(c,1)],2),([],16)]> joinable by a reduction of rules <[([],10),([],2)], [([(c,1)],19),([],16)]> joinable by a reduction of rules <[([],10),([],2)], [([(c,1)],2),([],16)]> joinable by a reduction of rules <[([],10),([],0)], [([],0),([(b,1)],7)]> Critical Pair by Rules <9, 10> preceded by [(c,1)] joinable by a reduction of rules <[], [([(c,1)],10)]> Critical Pair by Rules <13, 10> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],3)], []> joinable by a reduction of rules <[([],10)], []> joinable by a reduction of rules <[([(c,1)],9)], [([(c,1)],10)]> Critical Pair by Rules <15, 10> preceded by [(c,1)] joinable by a reduction of rules <[([],10)], []> Critical Pair by Rules <0, 11> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],9)], [([],4)]> Critical Pair by Rules <2, 11> preceded by [(a,1)] joinable by a reduction of rules <[([],1)], [([(b,1)],19)]> joinable by a reduction of rules <[([],1)], [([(b,1)],2)]> Critical Pair by Rules <10, 11> preceded by [(a,1)] joinable by a reduction of rules <[([],11)], [([(b,1)],10)]> Critical Pair by Rules <12, 11> preceded by [(a,1)] joinable by a reduction of rules <[([],6)], [([(b,1)],10)]> joinable by a reduction of rules <[([],1)], [([(b,1)],12)]> Critical Pair by Rules <14, 11> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],4),([],6)], [([(b,1)],10)]> joinable by a reduction of rules <[([(a,1)],4),([],1)], [([(b,1)],12)]> joinable by a reduction of rules <[([],18),([],6)], [([(b,1)],10)]> joinable by a reduction of rules <[([],18),([],1)], [([(b,1)],12)]> joinable by a reduction of rules <[], [([],4),([(a,1)],14)]> joinable by a reduction of rules <[([(a,1)],4)], [([],4),([(a,1)],12)]> joinable by a reduction of rules <[([],18)], [([],4),([(a,1)],12)]> joinable by a reduction of rules <[([(a,1)],4),([],8)], [([(b,1)],14),([],3)]> joinable by a reduction of rules <[([(a,1)],4),([],1)], [([(b,1)],14),([(b,1)],4)]> joinable by a reduction of rules <[([(a,1)],4),([],1)], [([(b,1)],10),([],7)]> joinable by a reduction of rules <[([],18),([],8)], [([(b,1)],14),([],3)]> joinable by a reduction of rules <[([],18),([],1)], [([(b,1)],14),([(b,1)],4)]> joinable by a reduction of rules <[([],18),([],1)], [([(b,1)],10),([],7)]> Critical Pair by Rules <16, 11> preceded by [(a,1)] joinable by a reduction of rules <[([],6)], []> joinable by a reduction of rules <[([],1)], [([(b,1)],16)]> joinable by a reduction of rules <[([],1)], [([],7)]> Critical Pair by Rules <19, 11> preceded by [(a,1)] joinable by a reduction of rules <[([],1)], [([(b,1)],19)]> joinable by a reduction of rules <[([],1)], [([(b,1)],2)]> Critical Pair by Rules <3, 12> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],14),([],12)], [([(a,1)],10)]> joinable by a reduction of rules <[([(c,1)],12),([],16)], [([(a,1)],12)]> joinable by a reduction of rules <[([(c,1)],10),([],19)], [([(a,1)],12)]> joinable by a reduction of rules <[([(c,1)],10),([],2)], [([(a,1)],12)]> joinable by a reduction of rules <[([],19),([],6)], [([],11)]> joinable by a reduction of rules <[([],2),([],6)], [([],11)]> joinable by a reduction of rules <[([],0),([(b,1)],3)], [([],11)]> joinable by a reduction of rules <[([(c,1)],14)], [([(a,1)],12),([],8)]> joinable by a reduction of rules <[([(c,1)],12)], [([(a,1)],10),([],17)]> joinable by a reduction of rules <[([],19)], [([],17),([],16)]> joinable by a reduction of rules <[([],2)], [([],17),([],16)]> joinable by a reduction of rules <[([(c,1)],14),([(c,1)],4)], [([(a,1)],10),([],17)]> joinable by a reduction of rules <[([(c,1)],14),([],14)], [([(a,1)],12),([],6)]> joinable by a reduction of rules <[([(c,1)],14),([],14)], [([(a,1)],10),([],11)]> joinable by a reduction of rules <[([(c,1)],14),([],14)], [([],11),([(b,1)],10)]> joinable by a reduction of rules <[([(c,1)],12),([(c,1)],11)], [([(a,1)],12),([],8)]> joinable by a reduction of rules <[([(c,1)],12),([],16)], [([(a,1)],14),([(a,1)],4)]> joinable by a reduction of rules <[([(c,1)],12),([],16)], [([(a,1)],14),([],18)]> joinable by a reduction of rules <[([(c,1)],10),([(c,1)],19)], [([],17),([(c,1)],18)]> joinable by a reduction of rules <[([(c,1)],10),([(c,1)],2)], [([],17),([(c,1)],18)]> joinable by a reduction of rules <[([(c,1)],10),([],19)], [([(a,1)],14),([(a,1)],4)]> joinable by a reduction of rules <[([(c,1)],10),([],19)], [([(a,1)],14),([],18)]> joinable by a reduction of rules <[([(c,1)],10),([],2)], [([(a,1)],14),([(a,1)],4)]> joinable by a reduction of rules <[([(c,1)],10),([],2)], [([(a,1)],14),([],18)]> joinable by a reduction of rules <[([(c,1)],10),([],0)], [([],11),([(b,1)],14)]> joinable by a reduction of rules <[([],19),([(a,1)],18)], [([(a,1)],10),([(a,1)],19)]> joinable by a reduction of rules <[([],19),([(a,1)],18)], [([(a,1)],10),([(a,1)],2)]> joinable by a reduction of rules <[([],19),([],1)], [([],11),([],7)]> joinable by a reduction of rules <[([],2),([(a,1)],18)], [([(a,1)],10),([(a,1)],19)]> joinable by a reduction of rules <[([],2),([(a,1)],18)], [([(a,1)],10),([(a,1)],2)]> joinable by a reduction of rules <[([],2),([],1)], [([],11),([],7)]> joinable by a reduction of rules <[([],0),([(b,1)],9)], [([(a,1)],12),([],6)]> joinable by a reduction of rules <[([],0),([(b,1)],9)], [([(a,1)],10),([],11)]> joinable by a reduction of rules <[([],0),([(b,1)],9)], [([],11),([(b,1)],10)]> Critical Pair by Rules <4, 12> preceded by [(c,1)] joinable by a reduction of rules <[], [([],17)]> Critical Pair by Rules <7, 12> preceded by [(c,1)] joinable by a reduction of rules <[([],12),([(a,1)],16)], [([(a,1)],19)]> joinable by a reduction of rules <[([],12),([(a,1)],16)], [([(a,1)],2)]> joinable by a reduction of rules <[([],10),([],19)], [([(a,1)],19)]> joinable by a reduction of rules <[([],10),([],19)], [([(a,1)],2)]> joinable by a reduction of rules <[([],10),([],2)], [([(a,1)],19)]> joinable by a reduction of rules <[([],10),([],2)], [([(a,1)],2)]> joinable by a reduction of rules <[], [([(a,1)],19),([],8)]> joinable by a reduction of rules <[], [([(a,1)],2),([],8)]> joinable by a reduction of rules <[([],14)], [([(a,1)],19),([],6)]> joinable by a reduction of rules <[([],14)], [([(a,1)],2),([],6)]> joinable by a reduction of rules <[([],10)], [([],17),([(c,1)],17)]> joinable by a reduction of rules <[([],14),([(b,1)],16)], [([(a,1)],19),([],1)]> joinable by a reduction of rules <[([],14),([(b,1)],16)], [([(a,1)],2),([],1)]> joinable by a reduction of rules <[([],14),([(b,1)],16)], [([],11),([(b,1)],19)]> joinable by a reduction of rules <[([],14),([(b,1)],16)], [([],11),([(b,1)],2)]> joinable by a reduction of rules <[([],14),([],7)], [([(a,1)],19),([],1)]> joinable by a reduction of rules <[([],14),([],7)], [([(a,1)],2),([],1)]> joinable by a reduction of rules <[([],14),([],7)], [([],11),([(b,1)],19)]> joinable by a reduction of rules <[([],14),([],7)], [([],11),([(b,1)],2)]> joinable by a reduction of rules <[([],12),([],11)], [([(a,1)],19),([],6)]> joinable by a reduction of rules <[([],12),([],11)], [([(a,1)],2),([],6)]> Critical Pair by Rules <9, 12> preceded by [(c,1)] joinable by a reduction of rules <[([],19)], [([(a,1)],12)]> joinable by a reduction of rules <[([],2)], [([(a,1)],12)]> Critical Pair by Rules <13, 12> preceded by [(c,1)] joinable by a reduction of rules <[([],12)], []> joinable by a reduction of rules <[([],14)], [([],11)]> Critical Pair by Rules <15, 12> preceded by [(c,1)] joinable by a reduction of rules <[([],12)], []> joinable by a reduction of rules <[([(c,1)],4)], [([],17)]> joinable by a reduction of rules <[([],14)], [([],11)]> Critical Pair by Rules <3, 13> preceded by [(b,1)] joinable by a reduction of rules <[], [([(b,1)],3)]> joinable by a reduction of rules <[([(b,1)],10)], [([(b,1)],9)]> Critical Pair by Rules <4, 13> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],11)], []> joinable by a reduction of rules <[], [([(b,1)],4)]> Critical Pair by Rules <7, 13> preceded by [(b,1)] joinable by a reduction of rules <[], [([(b,1)],7)]> Critical Pair by Rules <9, 13> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],0)], []> joinable by a reduction of rules <[], [([(b,1)],9)]> Critical Pair by Rules <15, 13> preceded by [(b,1)] joinable by a reduction of rules <[], []> Critical Pair by Rules <3, 14> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],14),([],14)], [([(b,1)],10)]> joinable by a reduction of rules <[([(c,1)],10),([],0)], [([(b,1)],14)]> joinable by a reduction of rules <[([],19),([],6)], []> joinable by a reduction of rules <[([],19),([],1)], [([],7)]> joinable by a reduction of rules <[([],2),([],6)], []> joinable by a reduction of rules <[([],2),([],1)], [([],7)]> joinable by a reduction of rules <[([],0),([(b,1)],9)], [([(b,1)],10)]> joinable by a reduction of rules <[([],0),([(b,1)],3)], []> joinable by a reduction of rules <[([(c,1)],14)], [([(b,1)],14),([],3)]> joinable by a reduction of rules <[([(c,1)],10)], [([(b,1)],14),([],9)]> joinable by a reduction of rules <[([],0)], [([(b,1)],10),([(b,1)],0)]> joinable by a reduction of rules <[([(c,1)],14),([],12)], [([(b,1)],10),([],4)]> joinable by a reduction of rules <[([(c,1)],14),([],12)], [([],4),([(a,1)],10)]> joinable by a reduction of rules <[([(c,1)],14),([],10)], [([(b,1)],14),([],9)]> joinable by a reduction of rules <[([(c,1)],12),([(c,1)],11)], [([(b,1)],14),([],3)]> joinable by a reduction of rules <[([(c,1)],12),([],16)], [([],4),([(a,1)],12)]> joinable by a reduction of rules <[([(c,1)],10),([],19)], [([],4),([(a,1)],12)]> joinable by a reduction of rules <[([(c,1)],10),([],2)], [([],4),([(a,1)],12)]> joinable by a reduction of rules <[([(c,1)],10),([],0)], [([(b,1)],12),([(b,1)],11)]> Critical Pair by Rules <4, 14> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],11),([],14)], []> joinable by a reduction of rules <[([(c,1)],11),([],12)], [([],4)]> joinable by a reduction of rules <[([],16),([],6)], []> joinable by a reduction of rules <[([],16),([],1)], [([],7)]> joinable by a reduction of rules <[], [([],4),([],17)]> joinable by a reduction of rules <[([(c,1)],17),([],19)], [([],4),([(a,1)],19)]> joinable by a reduction of rules <[([(c,1)],17),([],19)], [([],4),([(a,1)],2)]> joinable by a reduction of rules <[([(c,1)],17),([],2)], [([],4),([(a,1)],19)]> joinable by a reduction of rules <[([(c,1)],17),([],2)], [([],4),([(a,1)],2)]> joinable by a reduction of rules <[([(c,1)],17),([],0)], [([(b,1)],19),([(b,1)],1)]> joinable by a reduction of rules <[([(c,1)],17),([],0)], [([(b,1)],2),([(b,1)],1)]> Critical Pair by Rules <7, 14> preceded by [(c,1)] joinable by a reduction of rules <[([],14),([(b,1)],16)], [([(b,1)],19)]> joinable by a reduction of rules <[([],14),([(b,1)],16)], [([(b,1)],2)]> joinable by a reduction of rules <[([],14),([],7)], [([(b,1)],19)]> joinable by a reduction of rules <[([],14),([],7)], [([(b,1)],2)]> joinable by a reduction of rules <[([],14)], [([],7),([(b,1)],17)]> joinable by a reduction of rules <[([],12),([(a,1)],16)], [([],4),([(a,1)],19)]> joinable by a reduction of rules <[([],12),([(a,1)],16)], [([],4),([(a,1)],2)]> joinable by a reduction of rules <[([],12),([],11)], [([],7),([(b,1)],17)]> joinable by a reduction of rules <[([],10),([],19)], [([],4),([(a,1)],19)]> joinable by a reduction of rules <[([],10),([],19)], [([],4),([(a,1)],2)]> joinable by a reduction of rules <[([],10),([],2)], [([],4),([(a,1)],19)]> joinable by a reduction of rules <[([],10),([],2)], [([],4),([(a,1)],2)]> joinable by a reduction of rules <[([],10),([],0)], [([(b,1)],19),([(b,1)],1)]> joinable by a reduction of rules <[([],10),([],0)], [([(b,1)],2),([(b,1)],1)]> Critical Pair by Rules <9, 14> preceded by [(c,1)] joinable by a reduction of rules <[([],0)], [([(b,1)],14)]> Critical Pair by Rules <13, 14> preceded by [(c,1)] joinable by a reduction of rules <[([],14)], []> joinable by a reduction of rules <[([],12)], [([],4)]> Critical Pair by Rules <15, 14> preceded by [(c,1)] joinable by a reduction of rules <[([],14)], []> joinable by a reduction of rules <[([],12)], [([],4)]> Critical Pair by Rules <0, 15> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],9)], []> joinable by a reduction of rules <[], [([(b,1)],0)]> Critical Pair by Rules <2, 15> preceded by [(b,1)] joinable by a reduction of rules <[], [([(b,1)],19)]> joinable by a reduction of rules <[], [([(b,1)],2)]> Critical Pair by Rules <10, 15> preceded by [(b,1)] joinable by a reduction of rules <[], [([(b,1)],10)]> joinable by a reduction of rules <[([],7)], [([(b,1)],12)]> Critical Pair by Rules <12, 15> preceded by [(b,1)] joinable by a reduction of rules <[], [([(b,1)],12)]> joinable by a reduction of rules <[([(b,1)],11)], [([(b,1)],14)]> Critical Pair by Rules <14, 15> preceded by [(b,1)] joinable by a reduction of rules <[], [([(b,1)],14)]> joinable by a reduction of rules <[([(b,1)],4)], [([(b,1)],12)]> Critical Pair by Rules <16, 15> preceded by [(b,1)] joinable by a reduction of rules <[], [([(b,1)],16)]> joinable by a reduction of rules <[], [([],7)]> Critical Pair by Rules <19, 15> preceded by [(b,1)] joinable by a reduction of rules <[], [([(b,1)],19)]> joinable by a reduction of rules <[], [([(b,1)],2)]> Critical Pair by Rules <1, 16> preceded by [(c,1)] joinable by a reduction of rules <[], [([],8)]> joinable by a reduction of rules <[([],14)], [([],6)]> Critical Pair by Rules <5, 16> preceded by [(c,1)] joinable by a reduction of rules <[([],16)], []> joinable by a reduction of rules <[([(c,1)],1)], [([],8)]> Critical Pair by Rules <6, 16> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],7)], [([],8)]> Critical Pair by Rules <8, 16> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],14),([(c,1)],7)], [([],8)]> joinable by a reduction of rules <[([],19),([(a,1)],18)], []> joinable by a reduction of rules <[([],2),([(a,1)],18)], []> joinable by a reduction of rules <[([(c,1)],14),([],12)], [([(a,1)],8),([(a,1)],10)]> joinable by a reduction of rules <[([(c,1)],12),([(c,1)],17)], [([],8),([],10)]> joinable by a reduction of rules <[([(c,1)],12),([],16)], [([(a,1)],8),([(a,1)],12)]> joinable by a reduction of rules <[([(c,1)],12),([],16)], [([(a,1)],6),([(a,1)],4)]> joinable by a reduction of rules <[([(c,1)],12),([],16)], [([(a,1)],6),([],18)]> joinable by a reduction of rules <[([(c,1)],10),([],19)], [([(a,1)],8),([(a,1)],12)]> joinable by a reduction of rules <[([(c,1)],10),([],19)], [([(a,1)],6),([(a,1)],4)]> joinable by a reduction of rules <[([(c,1)],10),([],19)], [([(a,1)],6),([],18)]> joinable by a reduction of rules <[([(c,1)],10),([],2)], [([(a,1)],8),([(a,1)],12)]> joinable by a reduction of rules <[([(c,1)],10),([],2)], [([(a,1)],6),([(a,1)],4)]> joinable by a reduction of rules <[([(c,1)],10),([],2)], [([(a,1)],6),([],18)]> joinable by a reduction of rules <[([(c,1)],10),([],0)], [([],1),([(b,1)],6)]> joinable by a reduction of rules <[([],19),([],6)], [([(a,1)],8),([],11)]> joinable by a reduction of rules <[([],19),([],6)], [([],1),([(b,1)],8)]> joinable by a reduction of rules <[([],2),([],6)], [([(a,1)],8),([],11)]> joinable by a reduction of rules <[([],2),([],6)], [([],1),([(b,1)],8)]> joinable by a reduction of rules <[([],0),([(b,1)],3)], [([(a,1)],8),([],11)]> joinable by a reduction of rules <[([],0),([(b,1)],3)], [([],1),([(b,1)],8)]> Critical Pair by Rules <11, 16> preceded by [(c,1)] joinable by a reduction of rules <[], [([],8)]> joinable by a reduction of rules <[([],14)], [([],6)]> Critical Pair by Rules <17, 16> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],16),([(c,1)],6)], [([],8)]> joinable by a reduction of rules <[([],19),([(a,1)],6)], [([(a,1)],11)]> joinable by a reduction of rules <[([],2),([(a,1)],6)], [([(a,1)],11)]> joinable by a reduction of rules <[([(c,1)],16)], [([(a,1)],17),([],17)]> joinable by a reduction of rules <[([],19)], [([(a,1)],17),([(a,1)],16)]> joinable by a reduction of rules <[([],2)], [([(a,1)],17),([(a,1)],16)]> joinable by a reduction of rules <[([(c,1)],16),([(c,1)],1)], [([],8),([(c,1)],7)]> joinable by a reduction of rules <[([(c,1)],16),([],16)], [([(a,1)],17),([(a,1)],16)]> joinable by a reduction of rules <[([],19),([(a,1)],1)], [([(a,1)],11),([(a,1)],7)]> joinable by a reduction of rules <[([],19),([],8)], [([],8),([(c,1)],7)]> joinable by a reduction of rules <[([],19),([],6)], [([(a,1)],17),([],11)]> joinable by a reduction of rules <[([],19),([],6)], [([],1),([(b,1)],17)]> joinable by a reduction of rules <[([],19),([],1)], [([],6),([(b,1)],19)]> joinable by a reduction of rules <[([],19),([],1)], [([],6),([(b,1)],2)]> joinable by a reduction of rules <[([],2),([(a,1)],1)], [([(a,1)],11),([(a,1)],7)]> joinable by a reduction of rules <[([],2),([],8)], [([],8),([(c,1)],7)]> joinable by a reduction of rules <[([],2),([],6)], [([(a,1)],17),([],11)]> joinable by a reduction of rules <[([],2),([],6)], [([],1),([(b,1)],17)]> joinable by a reduction of rules <[([],2),([],1)], [([],6),([(b,1)],19)]> joinable by a reduction of rules <[([],2),([],1)], [([],6),([(b,1)],2)]> joinable by a reduction of rules <[([],0),([],3)], [([],8),([(c,1)],7)]> Critical Pair by Rules <18, 16> preceded by [(c,1)] joinable by a reduction of rules <[([],16)], [([(a,1)],18)]> Critical Pair by Rules <0, 17> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],9),([],17)], []> joinable by a reduction of rules <[([(a,1)],3),([(a,1)],12)], [([],16)]> joinable by a reduction of rules <[([(a,1)],9)], [([(c,1)],11),([],12)]> joinable by a reduction of rules <[([(a,1)],9),([(a,1)],19)], [([(c,1)],17),([],19)]> joinable by a reduction of rules <[([(a,1)],9),([(a,1)],19)], [([(c,1)],17),([],2)]> joinable by a reduction of rules <[([(a,1)],9),([(a,1)],2)], [([(c,1)],17),([],19)]> joinable by a reduction of rules <[([(a,1)],9),([(a,1)],2)], [([(c,1)],17),([],2)]> joinable by a reduction of rules <[([(a,1)],9),([],11)], [([(c,1)],11),([],14)]> joinable by a reduction of rules <[([(a,1)],9),([],11)], [([],16),([],6)]> joinable by a reduction of rules <[([(a,1)],3),([(a,1)],14)], [([],16),([(a,1)],11)]> joinable by a reduction of rules <[([(a,1)],3),([(a,1)],10)], [([(c,1)],11),([],12)]> joinable by a reduction of rules <[([],18),([(a,1)],18)], [([(c,1)],17),([],19)]> joinable by a reduction of rules <[([],18),([(a,1)],18)], [([(c,1)],17),([],2)]> Critical Pair by Rules <2, 17> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],8),([(a,1)],12)], [([],16)]> joinable by a reduction of rules <[([(a,1)],6),([(a,1)],4)], [([],16)]> joinable by a reduction of rules <[([(a,1)],6),([],18)], [([],16)]> joinable by a reduction of rules <[([],8),([],10)], [([(c,1)],17)]> joinable by a reduction of rules <[], [([(c,1)],17),([],19)]> joinable by a reduction of rules <[], [([(c,1)],17),([],2)]> joinable by a reduction of rules <[([(a,1)],6)], [([],16),([(a,1)],11)]> joinable by a reduction of rules <[([],8)], [([(c,1)],11),([(c,1)],7)]> joinable by a reduction of rules <[([(a,1)],8),([(a,1)],14)], [([],16),([(a,1)],11)]> joinable by a reduction of rules <[([(a,1)],8),([(a,1)],10)], [([(c,1)],11),([],12)]> joinable by a reduction of rules <[([],8),([],12)], [([],16),([(a,1)],17)]> joinable by a reduction of rules <[([],6),([],4)], [([],16),([(a,1)],17)]> joinable by a reduction of rules <[([],1),([(b,1)],1)], [([(c,1)],17),([],0)]> Critical Pair by Rules <10, 17> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],0),([],18)], [([],16)]> joinable by a reduction of rules <[([(a,1)],19)], [([(c,1)],18),([],16)]> joinable by a reduction of rules <[([(a,1)],19)], [([],16),([(a,1)],18)]> joinable by a reduction of rules <[([(a,1)],2)], [([(c,1)],18),([],16)]> joinable by a reduction of rules <[([(a,1)],2)], [([],16),([(a,1)],18)]> joinable by a reduction of rules <[([(a,1)],19),([],8)], [([(c,1)],18),([(c,1)],1)]> joinable by a reduction of rules <[([(a,1)],2),([],8)], [([(c,1)],18),([(c,1)],1)]> joinable by a reduction of rules <[([],17),([(c,1)],11)], [([(c,1)],18),([(c,1)],6)]> Critical Pair by Rules <12, 17> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],17),([],17)], [([(c,1)],18)]> joinable by a reduction of rules <[([],8)], [([(c,1)],18),([(c,1)],6)]> joinable by a reduction of rules <[([(a,1)],17),([(a,1)],16)], [([(c,1)],18),([],16)]> joinable by a reduction of rules <[([(a,1)],17),([(a,1)],16)], [([],16),([(a,1)],18)]> joinable by a reduction of rules <[([],8),([(c,1)],7)], [([(c,1)],18),([(c,1)],1)]> Critical Pair by Rules <14, 17> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],7),([],18)], [([(c,1)],18),([],16)]> joinable by a reduction of rules <[([(a,1)],7),([],18)], [([],16),([(a,1)],18)]> joinable by a reduction of rules <[([(a,1)],4),([],8)], [([(c,1)],18),([(c,1)],6)]> joinable by a reduction of rules <[([],18),([],8)], [([(c,1)],18),([(c,1)],6)]> Critical Pair by Rules <16, 17> preceded by [(a,1)] joinable by a reduction of rules <[], [([],16)]> joinable by a reduction of rules <[([],8)], [([(c,1)],1)]> Critical Pair by Rules <19, 17> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],8),([(a,1)],12)], [([],16)]> joinable by a reduction of rules <[([(a,1)],6),([(a,1)],4)], [([],16)]> joinable by a reduction of rules <[([(a,1)],6),([],18)], [([],16)]> joinable by a reduction of rules <[([],8),([],10)], [([(c,1)],17)]> joinable by a reduction of rules <[], [([(c,1)],17),([],19)]> joinable by a reduction of rules <[], [([(c,1)],17),([],2)]> joinable by a reduction of rules <[([(a,1)],6)], [([],16),([(a,1)],11)]> joinable by a reduction of rules <[([],8)], [([(c,1)],11),([(c,1)],7)]> joinable by a reduction of rules <[([(a,1)],8),([(a,1)],14)], [([],16),([(a,1)],11)]> joinable by a reduction of rules <[([(a,1)],8),([(a,1)],10)], [([(c,1)],11),([],12)]> joinable by a reduction of rules <[([],8),([],12)], [([],16),([(a,1)],17)]> joinable by a reduction of rules <[([],6),([],4)], [([],16),([(a,1)],17)]> joinable by a reduction of rules <[([],1),([(b,1)],1)], [([(c,1)],17),([],0)]> Critical Pair by Rules <3, 18> preceded by [(a,1)] joinable by a reduction of rules <[([],11)], [([],6)]> Critical Pair by Rules <4, 18> preceded by [(a,1)] joinable by a reduction of rules <[], []> Critical Pair by Rules <7, 18> preceded by [(a,1)] joinable by a reduction of rules <[([],18),([(a,1)],6)], [([(a,1)],11)]> joinable by a reduction of rules <[], [([(a,1)],11),([(a,1)],7)]> joinable by a reduction of rules <[([],18)], [([(a,1)],17),([(a,1)],16)]> joinable by a reduction of rules <[([],18),([],8)], [([],8),([(c,1)],7)]> joinable by a reduction of rules <[([],18),([],6)], [([(a,1)],17),([],11)]> joinable by a reduction of rules <[([],18),([],6)], [([],1),([(b,1)],17)]> joinable by a reduction of rules <[([],18),([],1)], [([],6),([(b,1)],19)]> joinable by a reduction of rules <[([],18),([],1)], [([],6),([(b,1)],2)]> Critical Pair by Rules <9, 18> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],19)], [([(a,1)],18)]> joinable by a reduction of rules <[([(a,1)],2)], [([(a,1)],18)]> Critical Pair by Rules <13, 18> preceded by [(a,1)] joinable by a reduction of rules <[([],18)], []> Critical Pair by Rules <15, 18> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],4)], []> joinable by a reduction of rules <[([],18)], []> joinable by a reduction of rules <[], [([(a,1)],11)]> Critical Pair by Rules <0, 19> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],9),([],19)], []> joinable by a reduction of rules <[([(c,1)],9),([],2)], []> joinable by a reduction of rules <[([(c,1)],3),([(c,1)],14)], [([],8)]> joinable by a reduction of rules <[([],14),([(b,1)],12)], [([],1)]> joinable by a reduction of rules <[([],14),([(b,1)],10)], [([],6)]> joinable by a reduction of rules <[([],12),([(a,1)],14)], [([(a,1)],11)]> joinable by a reduction of rules <[([],12),([(a,1)],12)], []> joinable by a reduction of rules <[([],10),([(c,1)],14)], [([],8)]> joinable by a reduction of rules <[([(c,1)],9)], [([],8),([],10)]> joinable by a reduction of rules <[([(c,1)],9),([(c,1)],19)], [([(a,1)],17),([],17)]> joinable by a reduction of rules <[([(c,1)],9),([(c,1)],2)], [([(a,1)],17),([],17)]> joinable by a reduction of rules <[([(c,1)],9),([],0)], [([],1),([(b,1)],11)]> joinable by a reduction of rules <[([(c,1)],3),([(c,1)],12)], [([],8),([(c,1)],4)]> joinable by a reduction of rules <[([(c,1)],3),([(c,1)],10)], [([],8),([],10)]> joinable by a reduction of rules <[([(c,1)],3),([],0)], [([],6),([(b,1)],0)]> joinable by a reduction of rules <[([],14),([(b,1)],14)], [([],1),([(b,1)],11)]> joinable by a reduction of rules <[([],14),([(b,1)],12)], [([],6),([],7)]> joinable by a reduction of rules <[([],14),([(b,1)],10)], [([],8),([],14)]> joinable by a reduction of rules <[([],12),([(a,1)],10)], [([],8),([],12)]> joinable by a reduction of rules <[([],12),([(a,1)],10)], [([],6),([],4)]> joinable by a reduction of rules <[([],10),([(c,1)],12)], [([],8),([(c,1)],4)]> joinable by a reduction of rules <[([],10),([(c,1)],10)], [([],8),([],10)]> joinable by a reduction of rules <[([],10),([],0)], [([],6),([(b,1)],0)]> Critical Pair by Rules <2, 19> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],6)], [([],8)]> Critical Pair by Rules <10, 19> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],0)], [([],8)]> Critical Pair by Rules <12, 19> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],17),([],19)], [([(a,1)],18)]> joinable by a reduction of rules <[([(c,1)],17),([],2)], [([(a,1)],18)]> joinable by a reduction of rules <[([(c,1)],11),([(c,1)],7)], [([(a,1)],18),([],8)]> joinable by a reduction of rules <[([(c,1)],11),([],14)], [([],6),([(b,1)],10)]> joinable by a reduction of rules <[([(c,1)],11),([],10)], [([],8),([(c,1)],9)]> joinable by a reduction of rules <[([],16),([(a,1)],11)], [([(a,1)],18),([(a,1)],6)]> joinable by a reduction of rules <[([],16),([],6)], [([],6),([(b,1)],10)]> joinable by a reduction of rules <[([],16),([],1)], [([],6),([(b,1)],12)]> Critical Pair by Rules <14, 19> preceded by [(c,1)] joinable by a reduction of rules <[([],12),([(a,1)],19)], [([(a,1)],18)]> joinable by a reduction of rules <[([],12),([(a,1)],2)], [([(a,1)],18)]> joinable by a reduction of rules <[([],10),([(c,1)],0)], [([],8)]> joinable by a reduction of rules <[([(c,1)],7)], [([(a,1)],18),([],8)]> joinable by a reduction of rules <[([],14)], [([],6),([(b,1)],10)]> joinable by a reduction of rules <[([],10)], [([],8),([(c,1)],9)]> joinable by a reduction of rules <[([(c,1)],7),([],14)], [([(a,1)],18),([],6)]> joinable by a reduction of rules <[([],14),([(b,1)],19)], [([(a,1)],18),([],1)]> joinable by a reduction of rules <[([],14),([(b,1)],19)], [([],1),([(b,1)],18)]> joinable by a reduction of rules <[([],14),([(b,1)],2)], [([(a,1)],18),([],1)]> joinable by a reduction of rules <[([],14),([(b,1)],2)], [([],1),([(b,1)],18)]> joinable by a reduction of rules <[([],14),([],7)], [([],6),([(b,1)],12)]> joinable by a reduction of rules <[([],12),([],11)], [([],6),([(b,1)],10)]> joinable by a reduction of rules <[([],10),([],0)], [([],6),([(b,1)],14)]> Critical Pair by Rules <16, 19> preceded by [(c,1)] joinable by a reduction of rules <[([],16)], []> joinable by a reduction of rules <[([(c,1)],1)], [([],8)]> Critical Pair by Rules <0, 0> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],9)], [([],9)]> Critical Pair by Rules <1, 1> preceded by [(a,1)] joinable by a reduction of rules <[([],18),([],1)], []> joinable by a reduction of rules <[([],18),([(a,1)],8)], [([(b,1)],8),([],4)]> joinable by a reduction of rules <[([],18),([],8)], [([(b,1)],1),([],3)]> Critical Pair by Rules <2, 2> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],6)], [([],8)]> Critical Pair by Rules <3, 3> preceded by [(b,1)] joinable by a reduction of rules <[], [([],14)]> joinable by a reduction of rules <[([],4)], [([],12)]> Critical Pair by Rules <5, 5> preceded by [(a,1)] joinable by a reduction of rules <[], []> Critical Pair by Rules <6, 6> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],4),([(a,1)],17)], [([],4)]> joinable by a reduction of rules <[([],18),([(a,1)],17)], [([],4)]> joinable by a reduction of rules <[([(a,1)],7),([],18)], [([],4),([(a,1)],16)]> Critical Pair by Rules <8, 8> preceded by [(a,1)] joinable by a reduction of rules <[([(a,1)],12),([(a,1)],17)], [([],12)]> joinable by a reduction of rules <[([(a,1)],12),([(a,1)],17)], [([],14),([],4)]> joinable by a reduction of rules <[([(a,1)],10),([(a,1)],19)], [([],12),([(a,1)],16)]> joinable by a reduction of rules <[([(a,1)],10),([(a,1)],19)], [([],10),([],19)]> joinable by a reduction of rules <[([(a,1)],10),([(a,1)],19)], [([],10),([],2)]> joinable by a reduction of rules <[([(a,1)],10),([(a,1)],2)], [([],12),([(a,1)],16)]> joinable by a reduction of rules <[([(a,1)],10),([(a,1)],2)], [([],10),([],19)]> joinable by a reduction of rules <[([(a,1)],10),([(a,1)],2)], [([],10),([],2)]> joinable by a reduction of rules <[([],17),([(c,1)],18)], [([],12),([],17)]> joinable by a reduction of rules <[([],17),([(c,1)],18)], [([],10),([(c,1)],16)]> Critical Pair by Rules <9, 9> preceded by [(b,1)] joinable by a reduction of rules <[([(b,1)],0)], [([],0)]> Critical Pair by Rules <13, 13> preceded by [(b,1)] joinable by a reduction of rules <[], []> Critical Pair by Rules <19, 19> preceded by [(c,1)] joinable by a reduction of rules <[([(c,1)],6)], [([],8)]> Critical Pair by Rules <2, 0> preceded by [] joinable by a reduction of rules <[([],8)], [([],3)]> Critical Pair by Rules <19, 0> preceded by [] joinable by a reduction of rules <[([],8)], [([],3)]> Critical Pair by Rules <5, 1> preceded by [] joinable by a reduction of rules <[([],1)], []> Critical Pair by Rules <6, 1> preceded by [] joinable by a reduction of rules <[([],7)], []> Critical Pair by Rules <8, 1> preceded by [] joinable by a reduction of rules <[([],14),([],7)], []> Critical Pair by Rules <19, 2> preceded by [] joinable by a reduction of rules <[], []> Critical Pair by Rules <9, 3> preceded by [] joinable by a reduction of rules <[], [([],10)]> Critical Pair by Rules <13, 3> preceded by [] joinable by a reduction of rules <[([],3)], []> joinable by a reduction of rules <[([],9)], [([],10)]> Critical Pair by Rules <7, 4> preceded by [] joinable by a reduction of rules <[], [([],11),([],7)]> Critical Pair by Rules <15, 4> preceded by [] joinable by a reduction of rules <[([],4)], []> joinable by a reduction of rules <[], [([],11)]> Critical Pair by Rules <6, 5> preceded by [] joinable by a reduction of rules <[], [([],6)]> joinable by a reduction of rules <[([],7)], [([],1)]> Critical Pair by Rules <8, 5> preceded by [] joinable by a reduction of rules <[], [([],8)]> joinable by a reduction of rules <[([],14)], [([],6)]> Critical Pair by Rules <8, 6> preceded by [] joinable by a reduction of rules <[([],14)], []> joinable by a reduction of rules <[([],12)], [([],4)]> Critical Pair by Rules <15, 7> preceded by [] joinable by a reduction of rules <[([],7)], []> Critical Pair by Rules <13, 9> preceded by [] joinable by a reduction of rules <[([],9)], []> joinable by a reduction of rules <[], [([],0)]> Critical Pair by Rules <12, 10> preceded by [] joinable by a reduction of rules <[([],17),([],16)], [([],19)]> joinable by a reduction of rules <[([],17),([],16)], [([],2)]> joinable by a reduction of rules <[([],11)], [([],19),([],6)]> joinable by a reduction of rules <[([],11)], [([],2),([],6)]> joinable by a reduction of rules <[([],11),([],7)], [([],19),([],1)]> joinable by a reduction of rules <[([],11),([],7)], [([],2),([],1)]> Critical Pair by Rules <14, 10> preceded by [] joinable by a reduction of rules <[], [([],19),([],6)]> joinable by a reduction of rules <[], [([],2),([],6)]> joinable by a reduction of rules <[([],7)], [([],19),([],1)]> joinable by a reduction of rules <[([],7)], [([],2),([],1)]> Critical Pair by Rules <17, 11> preceded by [] joinable by a reduction of rules <[([],16),([],6)], []> joinable by a reduction of rules <[([],16),([],1)], [([],7)]> joinable by a reduction of rules <[], [([],4),([],17)]> Critical Pair by Rules <14, 12> preceded by [] joinable by a reduction of rules <[([],4)], []> joinable by a reduction of rules <[], [([],11)]> unknown Diagram Decreasing check Non-Confluence... obtain 24 rules by 3 steps unfolding obtain 100 candidates for checking non-joinability check by TCAP-Approximation (failure) check by Ordering(rpo), check by Tree-Automata Approximation (failure) check by Interpretation(mod2) (failure) check by Descendants-Approximation, check by Ordering(poly) (failure) unknown Non-Confluence unknown Huet (modulo AC) check by Reduction-Preserving Completion... STEP: 1 (parallel) S: [ a(a(?x)) -> b(a(?x)), c(c(?x)) -> a(a(?x)), b(b(?x)) -> c(b(?x)), a(a(?x)) -> b(c(?x)), b(c(?x)) -> b(a(?x)), a(a(?x)) -> c(b(?x)), c(b(?x)) -> c(c(?x)), c(b(?x)) -> a(c(?x)), c(b(?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)) ] P: [ c(c(?x)) -> b(b(?x)), b(c(?x)) -> a(c(?x)), a(a(?x)) -> a(a(?x)), b(b(?x)) -> c(c(?x)), a(c(?x)) -> b(c(?x)), b(b(?x)) -> b(b(?x)), b(c(?x)) -> b(c(?x)) ] S: unknown termination failure(Step 1) STEP: 2 (linear) S: [ a(a(?x)) -> b(a(?x)), c(c(?x)) -> a(a(?x)), b(b(?x)) -> c(b(?x)), a(a(?x)) -> b(c(?x)), b(c(?x)) -> b(a(?x)), a(a(?x)) -> c(b(?x)), c(b(?x)) -> c(c(?x)), c(b(?x)) -> a(c(?x)), c(b(?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)) ] P: [ c(c(?x)) -> b(b(?x)), b(c(?x)) -> a(c(?x)), a(a(?x)) -> a(a(?x)), b(b(?x)) -> c(c(?x)), a(c(?x)) -> b(c(?x)), b(b(?x)) -> b(b(?x)), b(c(?x)) -> b(c(?x)) ] S: unknown termination failure(Step 2) STEP: 3 (relative) S: [ a(a(?x)) -> b(a(?x)), c(c(?x)) -> a(a(?x)), b(b(?x)) -> c(b(?x)), a(a(?x)) -> b(c(?x)), b(c(?x)) -> b(a(?x)), a(a(?x)) -> c(b(?x)), c(b(?x)) -> c(c(?x)), c(b(?x)) -> a(c(?x)), c(b(?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)) ] P: [ c(c(?x)) -> b(b(?x)), b(c(?x)) -> a(c(?x)), a(a(?x)) -> a(a(?x)), b(b(?x)) -> c(c(?x)), a(c(?x)) -> b(c(?x)), b(b(?x)) -> b(b(?x)), b(c(?x)) -> b(c(?x)) ] Check relative termination: [ a(a(?x)) -> b(a(?x)), c(c(?x)) -> a(a(?x)), b(b(?x)) -> c(b(?x)), a(a(?x)) -> b(c(?x)), b(c(?x)) -> b(a(?x)), a(a(?x)) -> c(b(?x)), c(b(?x)) -> c(c(?x)), c(b(?x)) -> a(c(?x)), c(b(?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)) ] [ c(c(?x)) -> b(b(?x)), b(c(?x)) -> a(c(?x)), a(a(?x)) -> a(a(?x)), b(b(?x)) -> c(c(?x)), a(c(?x)) -> b(c(?x)), b(b(?x)) -> b(b(?x)), b(c(?x)) -> b(c(?x)) ]