z 奇 -> z/2, z/2+1
z 偶数 -> {
	x = z/2

	x 偶  -> x-1, x+1
	x 奇 {
		y = x - 1 = 偶数
		y * (y + 2) / gcd(y, y + 2) >= y + y + 2
		p = y / 2
		p * (p + 1) / gcd(p, p + 1) >= 2p + 1
		p*p-p-1 >= 0

		p >= (1+sqrt(5)) / 2
		y >= 1 + sqrt(5)
		x >= 2 + sqrt(5)
		z >= 4 + 2sqrt(5) >= 9.36
	}
}

所以特判应该是 z<=10，而非 z<=1e18