Language: C++

#include <iostream>
#define rep(i, n) for (lli i = 0; i < (n); i++)
#define rrep(i, n) for (lli i = (n)-1; i >= 0; i--)
using namespace std;
using lli = long long int;
template <signed M, unsigned T>
struct mod_int {
    constexpr static signed MODULO = M;
    constexpr static unsigned TABLE_SIZE = T;

    signed x;

    mod_int() : x(0) {}

    mod_int(long long y) : x(static_cast<signed>(y >= 0 ? y % MODULO : MODULO - (-y) % MODULO)) {}

    mod_int(int y) : x(y >= 0 ? y % MODULO : MODULO - (-y) % MODULO) {}

    mod_int& operator+=(const mod_int& rhs)
    {
        if ((x += rhs.x) >= MODULO)
            x -= MODULO;
        return *this;
    }

    mod_int& operator-=(const mod_int& rhs)
    {
        if ((x += MODULO - rhs.x) >= MODULO)
            x -= MODULO;
        return *this;
    }

    mod_int& operator*=(const mod_int& rhs)
    {
        x = static_cast<signed>(1LL * x * rhs.x % MODULO);
        return *this;
    }

    mod_int& operator/=(const mod_int& rhs)
    {
        x = static_cast<signed>((1LL * x * rhs.inv().x) % MODULO);
        return *this;
    }

    mod_int operator-() const { return mod_int(-x); }

    mod_int operator+(const mod_int& rhs) const { return mod_int(*this) += rhs; }

    mod_int operator-(const mod_int& rhs) const { return mod_int(*this) -= rhs; }

    mod_int operator*(const mod_int& rhs) const { return mod_int(*this) *= rhs; }

    mod_int operator/(const mod_int& rhs) const { return mod_int(*this) /= rhs; }

    bool operator<(const mod_int& rhs) const { return x < rhs.x; }

    mod_int inv() const
    {
        assert(x != 0);
        if (x <= static_cast<signed>(TABLE_SIZE)) {
            if (_inv[1].x == 0)
                prepare();
            return _inv[x];
        } else {
            signed a = x, b = MODULO, u = 1, v = 0, t;
            while (b) {
                t = a / b;
                a -= t * b;
                std::swap(a, b);
                u -= t * v;
                std::swap(u, v);
            }
            return mod_int(u);
        }
    }

    mod_int pow(long long t) const
    {
        assert(!(x == 0 && t == 0));
        mod_int e = *this, res = mod_int(1);
        for (; t; e *= e, t >>= 1)
            if (t & 1)
                res *= e;
        return res;
    }

    mod_int fact()
    {
        if (_fact[0].x == 0)
            prepare();
        return _fact[x];
    }

    mod_int inv_fact()
    {
        if (_fact[0].x == 0)
            prepare();
        return _inv_fact[x];
    }

    mod_int choose(mod_int y)
    {
        assert(y.x <= x);
        return this->fact() * y.inv_fact() * mod_int(x - y.x).inv_fact();
    }

    static mod_int _inv[TABLE_SIZE + 1];

    static mod_int _fact[TABLE_SIZE + 1];

    static mod_int _inv_fact[TABLE_SIZE + 1];

    static void prepare()
    {
        _inv[1] = 1;
        for (int i = 2; i <= (int)TABLE_SIZE; ++i) {
            _inv[i] = 1LL * _inv[MODULO % i].x * (MODULO - MODULO / i) % MODULO;
        }
        _fact[0] = 1;
        for (unsigned i = 1; i <= TABLE_SIZE; ++i) {
            _fact[i] = _fact[i - 1] * int(i);
        }
        _inv_fact[TABLE_SIZE] = _fact[TABLE_SIZE].inv();
        for (int i = (int)TABLE_SIZE - 1; i >= 0; --i) {
            _inv_fact[i] = _inv_fact[i + 1] * (i + 1);
        }
    }
};

template <int M, unsigned F>
std::ostream& operator<<(std::ostream& os, const mod_int<M, F>& rhs)
{
    return os << rhs.x;
}

template <int M, unsigned F>
std::istream& operator>>(std::istream& is, mod_int<M, F>& rhs)
{
    long long s;
    is >> s;
    rhs = mod_int<M, F>(s);
    return is;
}

template <int M, unsigned F>
mod_int<M, F> mod_int<M, F>::_inv[TABLE_SIZE + 1];

template <int M, unsigned F>
mod_int<M, F> mod_int<M, F>::_fact[TABLE_SIZE + 1];

template <int M, unsigned F>
mod_int<M, F> mod_int<M, F>::_inv_fact[TABLE_SIZE + 1];

template <int M, unsigned F>
bool operator==(const mod_int<M, F>& lhs, const mod_int<M, F>& rhs)
{
    return lhs.x == rhs.x;
}

template <int M, unsigned F>
bool operator!=(const mod_int<M, F>& lhs, const mod_int<M, F>& rhs)
{
    return !(lhs == rhs);
}

const int MF = 100005;  //割り算しないなら
const int MOD = 1000000007;

using mint = mod_int<MOD, MF>;

mint binom(int n, int r)
{
    return (r < 0 || r > n || n < 0) ? 0 : mint(n).choose(r);
}

mint fact(int n)
{
    return mint(n).fact();
}

mint inv_fact(int n)
{
    return mint(n).inv_fact();
}
mint dp[205][100005] = {};
// i個すでに置かれていて黒板の値がjのときの総和
int s[205]={};
// mint solve(int n, int x){
//     // n個使ってのとき
//     if(dp2[n][x] != mint(0) ){
//         return dp2[n][x];
//     }
//     dp2[n][x] = calc(0, x, n);
//     return dp2[n][x];
// }
// mint calc(int u,int v, int n){
//     if(dp[u][v]!=mint(0)){
//         return dp[u][v];
//     }
//     if(u==n){
//         return mint(v);
//     }
//     // 入れ方はu+1通り
//     dp[u][v] = mint(u) * calc(u, v) + solve(u, v % s[u]);
//     return dp[u][v];
// }
int x,n;
mint rec(int u, int x){
    // u まで使えて初期値がx
    //cout << u << " " <<  x << endl;

    if(dp[u][x]!=mint(0))return dp[u][x];
    if(u==0)return mint(x);
    mint ans = 0;
    mint f = fact(u-1) ;
    rep(i,u){
        // 戦闘
        //cout << u << " " <<  x << endl;
        ans +=  f * inv_fact(i) * rec(i,  x % s[i] );
    }
    dp[u][x] = ans;
    return ans;
}
// mint calc(int u,int v, int n){
//     if(dp[u][v]!=mint(0)){
//         return dp[u][v];
//     }
//     if(u==n){
//         return mint(v);
//     }
//     // 入れ方はu+1通り
//     dp[u][v] = mint(u) * calc(u+1, v, n) + calc(u + 1, v % s[u], n);
//     if(u==0){
//         dp[u][v] += calc(u+1,v,n);
//      }
//     return dp[u][v];
// }
int main()
{
    cin >> n >> x;
    rep(i,n)cin >> s[i];
    sort(s,s+n);
    cout << rec(n, x) <<endl;
}


Compiler output:
a.cc: In member function 'mod_int<M, T> mod_int<M, T>::inv() const':
a.cc:59:9: error: there are no arguments to 'assert' that depend on a template parameter, so a declaration of 'assert' must be available [-fpermissive]
   59 |         assert(x != 0);
      |         ^~~~~~
a.cc:59:9: note: (if you use '-fpermissive', G++ will accept your code, but allowing the use of an undeclared name is deprecated)
a.cc: In member function 'mod_int<M, T> mod_int<M, T>::pow(long long int) const':
a.cc:79:9: error: there are no arguments to 'assert' that depend on a template parameter, so a declaration of 'assert' must be available [-fpermissive]
   79 |         assert(!(x == 0 && t == 0));
      |         ^~~~~~
a.cc: In member function 'mod_int<M, T> mod_int<M, T>::choose(mod_int<M, T>)':
a.cc:103:9: error: there are no arguments to 'assert' that depend on a template parameter, so a declaration of 'assert' must be available [-fpermissive]
  103 |         assert(y.x <= x);
      |         ^~~~~~
a.cc: In function 'int main()':
a.cc:242:5: error: 'sort' was not declared in this scope; did you mean 'short'?
  242 |     sort(s,s+n);
      |     ^~~~
      |     short
a.cc: In instantiation of 'mod_int<M, T> mod_int<M, T>::choose(mod_int<M, T>) [with int M = 1000000007; unsigned int T = 100005]':
a.cc:173:58:   required from here
  173 |     return (r < 0 || r > n || n < 0) ? 0 : mint(n).choose(r);
      |                                            ~~~~~~~~~~~~~~^~~
a.cc:103:15: error: 'assert' was not declared in this scope
  103 |         assert(y.x <= x);
      |         ~~~~~~^~~~~~~~~~
a.cc:2:1: note: 'assert' is defined in header '<cassert>'; this is probably fixable by adding '#include <cassert>'
    1 | #include <iostream>
  +++ |+#include <cassert>
    2 | #define rep(i, n) for (lli i = 0; i < (n); i++)
a.cc: In instantiation of 'mod_int<M, T> mod_int<M, T>::inv() const [with int M = 1000000007; unsigned int T = 100005]':
a.cc:123:54:   required from 'static void mod_int<M, T>::prepare() [with int M = 1000000007; unsigned int T = 100005]'
  123 |         _inv_fact[TABLE_SIZE] = _fact[TABLE_SIZE].inv();
      |                                 ~~~~~~~~~~~~~~~~~~~~~^~
a.cc:90:20:   required from 'mod_int<M, T> mod_int<M, T>::fact() [with int M = 1000000007; unsigned int T = 100005]'
   90 |             prepare();
      |             ~~~~~~~^~
a.cc:178:24:   required from here
  178 |     return mint(n).fact();
      |            ~~~~~~~~~~~~^~
a.cc:59:15: error: 'assert' was not declared in this scope
   59 |         assert(x != 0);
      |         ~~~~~~^~~~~~~~
a.cc:59:15: note: 'assert' is defined in header '<cassert>'; this is probably fixable by adding '#include <cassert>'