741.98/299.41 MAYBE 741.98/299.41 741.98/299.41 Problem: 741.98/299.41 strict: 741.98/299.41 b(a(b(a(b(x1))))) -> b(a(a(b(a(a(a(b(x1)))))))) 741.98/299.41 b(a(a(b(a(a(b(x1))))))) -> b(a(a(a(b(a(a(a(b(a(a(a(b(x1))))))))))))) 741.98/299.41 b(a(a(a(b(a(a(a(b(a(a(a(b(x1))))))))))))) -> b(b(a(a(b(x1))))) 741.98/299.41 weak: 741.98/299.41 b(b(b(x1))) -> b(a(b(a(a(b(x1)))))) 741.98/299.41 b(a(b(a(a(b(x1)))))) -> b(b(b(x1))) 741.98/299.41 741.98/299.41 Proof: 741.98/299.41 Open 741.98/299.41 EOF