#include #include #include #include using namespace std; typedef long long ll; typedef pair P; typedef pair T; typedef pair Ps; typedef pair Pb; const ll INF = 1e18; const ll fact_table = 3200008; long double Pi = 3.1415926535897932384626; priority_queue pql; priority_queue

pqp; priority_queue

bag; //big priority queue priority_queue , greater > pqls; priority_queue , greater

> pqps; //small priority queue //top pop ll dx[8] = {1, 0, -1, 0, 1, 1, -1, -1}; ll dy[8] = {0, 1, 0, -1, 1, -1, -1, 1}; char dir[] = "DRUL"; //↓,→,↑,← /* #define endl "\n" #ifdef ENJAPMA #undef endl #endif */ #define p(x) cout<>= 1;}(x *= a) %= mod; b--;} return x;} void YES(bool cond) { if (cond) { p("YES");} else { p("NO");} return;} void Yes(bool cond) { if (cond) { p("Yes");} else { p("No");} return;} void line() { p("--------------------"); return;} /* ll fact[fact_table + 5],rfact[fact_table + 5]; void c3_init(){ fact[0] = rfact[0] = 1; for(ll i=1; i<=fact_table; i++){ fact[i] = (fact[i-1]*i) % mod; } rfact[fact_table] = mypow(fact[fact_table],mod - 2, mod); for(ll i=fact_table; i>=1; i--){ rfact[i-1] = rfact[i] * i; rfact[i-1] %= mod; } return;} ll c3(ll n,ll r){ return (((fact[n] * rfact[r]) % mod ) * rfact[n-r]) % mod;} */ bool multicase = false; ll n, m, k, num, a, b, c, d, e, h, q, ans, sum; typedef vector vec; typedef vector> mat; vector v, u; ll x[2005]; void solve() { cin >> n >> k; for (ll i = 0; i < n; i++) { cin >> x[i]; } sort(x, x + n); ll ans = 0; ll bit = (1ll << n); for (ll i = 0; i < bit; i++) { if (i % 2 == 0) continue; vector v; for (ll j = 0; j < n; j++) { if (i & (1ll << j))v.pb(x[j]); } sort(v.begin(), v.end()); reverse(v.begin(), v.end()); ll num = k; for (ll j = 0; j < v.size(); j++) { num = num % v[j]; } ans = max(ans, num); } p(ans); return; } int main() { // init(); ios::sync_with_stdio(false); cin.tie(nullptr); ll q, testcase = 1; if (multicase) { cin >> q; } else { q = 1; } while (q--) { // pu("Case ");pu("#");pu(testcase);pu(": "); solve(); testcase++; } // solve(); return 0; }