215.43/50.52	MAYBE
215.43/50.52	
215.43/50.52	Problem:
215.43/50.52	 a(b(a(a(b(a(x1)))))) -> a(a(b(a(b(a(b(a(b(a(b(a(a(b(x1))))))))))))))
215.43/50.52	
215.43/50.52	Proof:
215.43/50.52	 Open
215.43/50.53	EOF