#include #include using namespace std; using int64 = long long; constexpr int mod = 998244353; constexpr int64 infll = (1LL << 62) - 1; constexpr int inf = (1 << 30) - 1; struct IoSetup { IoSetup() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(10); cerr << fixed << setprecision(10); } } iosetup; template ostream &operator<<(ostream &os, const pair &p) { os << p.first << " " << p.second; return os; } template istream &operator>>(istream &is, pair &p) { is >> p.first >> p.second; return is; } template ostream &operator<<(ostream &os, const vector &v) { for (int i = 0; i < (int) v.size(); i++) { os << v[i] << (i + 1 != v.size() ? " " : ""); } return os; } template istream &operator>>(istream &is, vector &v) { for (T &in : v) is >> in; return is; } template inline bool chmax(T1 &a, T2 b) { return a < b && (a = b, true); } template inline bool chmin(T1 &a, T2 b) { return a > b && (a = b, true); } template vector make_v(size_t a) { return vector(a); } template auto make_v(size_t a, Ts... ts) { return vector(ts...))>(a, make_v(ts...)); } template typename enable_if::value == 0>::type fill_v(T &t, const V &v) { t = v; } template typename enable_if::value != 0>::type fill_v(T &t, const V &v) { for (auto &e : t) fill_v(e, v); } template struct FixPoint : F { explicit FixPoint(F &&f) : F(forward(f)) {} template decltype(auto) operator()(Args &&... args) const { return F::operator()(*this, forward(args)...); } }; template inline decltype(auto) MFP(F &&f) { return FixPoint{forward(f)}; } int main() { int N, K; cin >> N >> K; vector< int64 > A(N); cin >> A; vector< set< int64 > > dp(K + 1); dp[K].emplace(0); for(auto& a : A) { vector< set< int64 > > dp2(K + 1); for(int i = K; i >= 0; i--) { for(int64 j = max(0ll, a - i); j <= a + i; j++) { for(auto& p : dp[i]) { auto nxt = __gcd(p, j); dp2[i - abs(a - j)].emplace(__gcd(p, j)); } } } dp = dp2; } int64 ret = 0; for(auto& p : dp) chmax(ret, *p.rbegin()); cout << ret << endl; }