具体见 https://www.luogu.com.cn/blog/Bingxiu/solution-p3769

叉掉只需要 $2$ 个 $(0,0,0,0)$，$10000$ 个 $(0,0,k,-k)(k \in \mathbb{Z^+})$，$1$ 个 $(0,1,0,0)$ 即可，因为按照瞎搞最后一个点会和后 $7500$ 个点计算得到答案为 $|\{(0,0,0,0),(0,0,0,0)\}|=2$，但实际上最后一个点也可以加入答案得到 LIS 为 $3$