MAYBE
249.04/63.49	MAYBE
249.04/63.49	
249.04/63.49	Problem:
249.04/63.49	 b(a(a(b(b(x1))))) -> b(a(a(a(a(b(b(x1)))))))
249.04/63.49	 b(a(b(b(x1)))) -> b(b(x1))
249.04/63.49	 b(a(b(a(a(a(a(b(x1)))))))) -> b(a(a(a(a(b(a(a(a(a(b(a(b(a(a(a(b(a(a(a(a(b(x1))))))))))))))))))))))
249.04/63.49	 b(a(a(b(a(a(a(a(b(x1))))))))) -> b(a(b(a(a(b(a(a(a(b(a(a(a(a(b(x1)))))))))))))))
249.04/63.49	 b(a(a(a(b(a(a(a(a(b(x1)))))))))) -> b(x1)
249.04/63.49	
249.04/63.49	Proof:
249.04/63.49	 Open
249.04/63.49	EOF