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