MAYBE (ignored inputs)COMMENT TPDB SRS_Standard/Trafo_06/un14 Rewrite Rules: [ b(a(b(?x))) -> b(a(a(a(b(?x))))), b(a(a(a(b(a(a(b(?x)))))))) -> b(a(a(b(a(a(b(a(a(a(b(b(?x)))))))))))), b(a(a(a(b(a(a(a(b(?x))))))))) -> b(?x), b(a(a(a(b(b(b(?x))))))) -> b(b(b(a(a(a(b(?x))))))), b(a(a(b(b(?x))))) -> b(?x), b(b(a(a(b(?x))))) -> b(?x), b(a(a(a(b(a(b(?x))))))) -> b(?x), b(a(b(a(a(a(b(?x))))))) -> b(?x) ] Apply Direct Methods... Inner CPs: [ b(a(b(a(a(b(a(a(b(a(a(a(b(b(?x_1)))))))))))))) = b(a(a(a(b(a(a(a(b(a(a(b(?x_1)))))))))))), b(a(b(?x_2))) = b(a(a(a(b(a(a(a(b(a(a(a(b(?x_2))))))))))))), b(a(b(b(b(a(a(a(b(?x_3))))))))) = b(a(a(a(b(a(a(a(b(b(b(?x_3))))))))))), b(a(b(?x_4))) = b(a(a(a(b(a(a(b(b(?x_4))))))))), b(a(b(?x_5))) = b(a(a(a(b(b(a(a(b(?x_5))))))))), b(a(b(?x_6))) = b(a(a(a(b(a(a(a(b(a(b(?x_6))))))))))), b(a(b(?x_7))) = b(a(a(a(b(a(b(a(a(a(b(?x_7))))))))))), b(a(a(a(b(a(a(b(a(a(a(b(?x)))))))))))) = b(a(a(b(a(a(b(a(a(a(b(b(a(b(?x)))))))))))))), b(a(a(a(b(a(a(b(?x_2)))))))) = b(a(a(b(a(a(b(a(a(a(b(b(a(a(a(b(a(a(a(b(?x_2)))))))))))))))))))), b(a(a(a(b(a(a(b(b(b(a(a(a(b(?x_3)))))))))))))) = b(a(a(b(a(a(b(a(a(a(b(b(a(a(a(b(b(b(?x_3)))))))))))))))))), b(a(a(a(b(?x_4))))) = b(a(a(b(a(a(b(a(a(a(b(b(b(?x_4))))))))))))), b(a(a(a(b(a(a(b(?x_4)))))))) = b(a(a(b(a(a(b(a(a(a(b(b(a(a(b(b(?x_4)))))))))))))))), b(a(a(a(b(a(a(b(?x_5)))))))) = b(a(a(b(a(a(b(a(a(a(b(b(b(a(a(b(?x_5)))))))))))))))), b(a(a(a(b(a(a(b(?x_6)))))))) = b(a(a(b(a(a(b(a(a(a(b(b(a(a(a(b(a(b(?x_6)))))))))))))))))), b(a(a(a(b(a(a(b(?x_7)))))))) = b(a(a(b(a(a(b(a(a(a(b(b(a(b(a(a(a(b(?x_7)))))))))))))))))), b(a(a(a(b(a(a(a(b(a(a(a(b(?x))))))))))))) = b(a(b(?x))), b(a(a(a(b(a(a(b(a(a(b(a(a(a(b(b(?x_1)))))))))))))))) = b(a(a(b(?x_1)))), b(a(a(a(b(a(a(a(b(a(a(b(a(a(b(a(a(a(b(b(?x_1)))))))))))))))))))) = b(a(a(a(b(a(a(b(?x_1)))))))), b(a(a(a(b(b(b(a(a(a(b(?x_3))))))))))) = b(b(b(?x_3))), b(a(a(a(b(a(a(a(b(b(b(a(a(a(b(?x_3))))))))))))))) = b(a(a(a(b(b(b(?x_3))))))), b(a(a(a(b(a(a(a(b(?x_4))))))))) = b(a(a(b(b(?x_4))))), b(a(a(a(b(a(a(a(b(?x_5))))))))) = b(b(a(a(b(?x_5))))), b(a(a(a(b(?x_6))))) = b(a(b(?x_6))), b(a(a(a(b(a(a(a(b(?x_6))))))))) = b(a(a(a(b(a(b(?x_6))))))), b(a(a(a(b(a(a(a(b(?x_7))))))))) = b(a(b(a(a(a(b(?x_7))))))), b(a(a(a(b(b(b(a(a(a(b(?x))))))))))) = b(b(b(a(a(a(b(a(b(?x))))))))), b(a(a(a(b(b(b(a(a(b(a(a(b(a(a(a(b(b(?x_1)))))))))))))))))) = b(b(b(a(a(a(b(a(a(a(b(a(a(b(?x_1)))))))))))))), b(a(a(a(b(b(b(?x_2))))))) = b(b(b(a(a(a(b(a(a(a(b(a(a(a(b(?x_2))))))))))))))), b(a(a(a(b(b(b(?x_4))))))) = b(b(b(a(a(a(b(a(a(b(b(?x_4))))))))))), b(a(a(a(b(b(?x_5)))))) = b(b(b(a(a(a(b(a(a(b(?x_5)))))))))), b(a(a(a(b(b(b(?x_5))))))) = b(b(b(a(a(a(b(b(a(a(b(?x_5))))))))))), b(a(a(a(b(b(b(?x_6))))))) = b(b(b(a(a(a(b(a(a(a(b(a(b(?x_6))))))))))))), b(a(a(a(b(b(b(?x_7))))))) = b(b(b(a(a(a(b(a(b(a(a(a(b(?x_7))))))))))))), b(a(a(b(b(a(a(a(b(?x))))))))) = b(a(b(?x))), b(a(a(b(b(a(a(b(a(a(b(a(a(a(b(b(?x_1)))))))))))))))) = b(a(a(a(b(a(a(b(?x_1)))))))), b(a(a(b(b(?x_2))))) = b(a(a(a(b(a(a(a(b(?x_2))))))))), b(a(a(b(b(b(b(a(a(a(b(?x_3))))))))))) = b(a(a(a(b(b(b(?x_3))))))), b(a(a(b(?x_5)))) = b(a(a(b(?x_5)))), b(a(a(b(b(?x_5))))) = b(b(a(a(b(?x_5))))), b(a(a(b(b(?x_6))))) = b(a(a(a(b(a(b(?x_6))))))), b(a(a(b(b(?x_7))))) = b(a(b(a(a(a(b(?x_7))))))), b(b(a(a(b(a(a(a(b(?x))))))))) = b(a(b(?x))), b(b(a(a(b(a(a(b(a(a(b(a(a(a(b(b(?x_1)))))))))))))))) = b(a(a(a(b(a(a(b(?x_1)))))))), b(b(a(a(b(?x_2))))) = b(a(a(a(b(a(a(a(b(?x_2))))))))), b(b(a(a(b(b(b(a(a(a(b(?x_3))))))))))) = b(a(a(a(b(b(b(?x_3))))))), b(b(?x_4)) = b(b(?x_4)), b(b(a(a(b(?x_4))))) = b(a(a(b(b(?x_4))))), b(b(a(a(b(?x_6))))) = b(a(a(a(b(a(b(?x_6))))))), b(b(a(a(b(?x_7))))) = b(a(b(a(a(a(b(?x_7))))))), b(a(a(a(b(a(a(a(b(?x))))))))) = b(?x), b(a(a(a(b(a(b(a(a(a(b(?x))))))))))) = b(a(b(?x))), b(a(a(a(b(a(b(a(a(b(a(a(b(a(a(a(b(b(?x_1)))))))))))))))))) = b(a(a(a(b(a(a(b(?x_1)))))))), b(a(a(a(b(a(b(?x_2))))))) = b(a(a(a(b(a(a(a(b(?x_2))))))))), b(a(a(a(b(a(b(b(b(a(a(a(b(?x_3))))))))))))) = b(a(a(a(b(b(b(?x_3))))))), b(a(a(a(b(a(b(?x_4))))))) = b(a(a(b(b(?x_4))))), b(a(a(a(b(a(b(?x_5))))))) = b(b(a(a(b(?x_5))))), b(a(a(a(b(?x_7))))) = b(a(a(a(b(?x_7))))), b(a(a(a(b(a(b(?x_7))))))) = b(a(b(a(a(a(b(?x_7))))))), b(a(b(a(a(a(b(a(a(a(b(?x))))))))))) = b(a(b(?x))), b(a(b(a(a(b(a(a(b(a(a(a(b(b(?x_1)))))))))))))) = b(a(a(b(?x_1)))), b(a(b(a(a(a(b(a(a(b(a(a(b(a(a(a(b(b(?x_1)))))))))))))))))) = b(a(a(a(b(a(a(b(?x_1)))))))), b(a(b(?x_2))) = b(a(a(a(b(?x_2))))), b(a(b(a(a(a(b(?x_2))))))) = b(a(a(a(b(a(a(a(b(?x_2))))))))), b(a(b(b(b(a(a(a(b(?x_3))))))))) = b(b(b(?x_3))), b(a(b(a(a(a(b(b(b(a(a(a(b(?x_3))))))))))))) = b(a(a(a(b(b(b(?x_3))))))), b(a(b(a(a(a(b(?x_4))))))) = b(a(a(b(b(?x_4))))), b(a(b(a(a(a(b(?x_5))))))) = b(b(a(a(b(?x_5))))), b(a(b(?x_6))) = b(a(b(?x_6))), b(a(b(a(a(a(b(?x_6))))))) = b(a(a(a(b(a(b(?x_6))))))), b(a(b(a(a(a(b(?x))))))) = b(a(a(a(b(a(b(?x))))))), b(a(a(a(b(a(a(b(a(a(b(a(a(b(a(a(a(b(b(?x))))))))))))))))))) = b(a(a(b(a(a(b(a(a(a(b(b(a(a(a(b(a(a(b(?x))))))))))))))))))), b(a(a(a(b(?x))))) = b(a(a(a(b(?x))))), b(a(a(a(b(a(a(a(b(?x))))))))) = b(a(a(a(b(a(a(a(b(?x))))))))), b(a(a(a(b(b(b(b(b(a(a(a(b(?x))))))))))))) = b(b(b(a(a(a(b(a(a(a(b(b(b(?x))))))))))))), b(a(a(b(b(?x))))) = b(a(a(b(b(?x))))), b(b(a(a(b(?x))))) = b(b(a(a(b(?x))))), b(a(a(a(b(a(b(?x))))))) = b(a(a(a(b(a(b(?x))))))), b(a(b(a(a(a(b(?x))))))) = b(a(b(a(a(a(b(?x))))))) ] Outer CPs: [ b(a(a(a(b(a(a(a(b(?x_7))))))))) = b(?x_7) ] Linear (inner) Parallel CPs: (not computed) unknown Toyama (Parallel CPs) Direct Methods: Can't judge Combined result: Can't judge 939.trs: Failure(unknown CR) (2 msec.)