MAYBE 225.76/56.68 MAYBE 225.76/56.68 225.76/56.68 Problem: 225.76/56.68 b(b(a(a(a(b(x1)))))) -> b(a(a(a(b(a(b(x1))))))) 225.76/56.68 b(b(x1)) -> b(a(b(a(b(a(b(x1))))))) 225.76/56.68 b(a(b(a(a(a(b(a(b(x1))))))))) -> b(b(a(a(b(x1))))) 225.76/56.68 b(a(a(b(x1)))) -> b(a(a(a(b(x1))))) 225.76/56.68 225.76/56.68 Proof: 225.76/56.68 Open 225.76/56.69 EOF