CF303C.Minimum Modular

You have been given n distinct integers _a_1, _a_2, ..., a__n. You can remove at most k of them. Find the minimum modular m (m > 0), so that for every pair of the remaining integers (a__i, a__j), the following unequality holds: .

你已获得 $ n $ 个互不相同的整数 $ a_1,,a_2,,\dots,,a_n $。你最多可以移除其中 $ k $ 个数。请找出最小的模数 $ m $（$ m > 0 $），使得对所有剩余整数的任意一对 $ (a_i,,a_j) $，以下不等式成立：

The first line contains two integers n and k (1  ≤ n  ≤ 5000, 0 ≤ k ≤ 4), which we have mentioned above.

The second line contains n distinct integers _a_1, _a_2, ..., a__n (0 ≤ a__i ≤ 106).

第一行包含两个整数 $n$ 和 $k$（$1 \leq n \leq 5000$，$0 \leq k \leq 4$），如上所述。

第二行包含 $n$ 个互不相同的整数 $a_1, a_2, \ldots, a_n$（$0 \leq a_i \leq 10^6$）。

Print a single positive integer — the minimum m.

输出一个正整数——最小的 $m$。