Input:
7 1
127 64
64 64
64 127
127 100
100 127
89 89
161 64
1 7
Output:
1156

@Renshey 的题解输出 1250。

在边长为 $d$ 的正方形里最多可以放 $6$ 个点，使得每对点之间的距离大于 $\frac{d}{2}$，题解里说取 $3$ 个点即可覆盖所有有贡献的点对是错的，并且题解并没有写它说的随机扰动。

随便找了几个提交，大部分和第一个题解同一个思路的都寄了。