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