MAYBE
249.15/63.72	MAYBE
249.15/63.72	
249.15/63.72	Problem:
249.15/63.72	 b(a(b(x1))) -> b(a(a(a(b(x1)))))
249.15/63.72	 b(a(a(a(b(a(a(b(x1)))))))) -> b(a(a(b(a(a(b(a(a(a(b(b(x1))))))))))))
249.15/63.72	 b(a(a(a(b(a(a(a(b(x1))))))))) -> b(x1)
249.15/63.72	 b(a(a(a(b(b(b(x1))))))) -> b(b(b(a(a(a(b(x1)))))))
249.15/63.72	 b(a(a(b(b(x1))))) -> b(x1)
249.15/63.72	 b(b(a(a(b(x1))))) -> b(x1)
249.15/63.72	 b(a(a(a(b(a(b(x1))))))) -> b(x1)
249.15/63.72	 b(a(b(a(a(a(b(x1))))))) -> b(x1)
249.15/63.72	
249.15/63.72	Proof:
249.15/63.72	 Open
249.15/63.72	EOF