193.59/49.54	MAYBE
193.59/49.54	
193.59/49.54	Problem:
193.59/49.54	 b(a(a(b(b(x1))))) -> b(a(a(a(a(b(b(x1)))))))
193.59/49.54	 b(a(b(b(x1)))) -> b(b(x1))
193.59/49.54	 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))))))))))))))))))))))
193.59/49.54	 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)))))))))))))))
193.59/49.54	 b(a(a(a(b(a(a(a(a(b(x1)))))))))) -> b(x1)
193.59/49.54	
193.59/49.54	Proof:
193.59/49.54	 Open
193.59/49.55	EOF