#ifndef ONLINE_JUDGE
#define _GLIBCXX_DEBUG
#endif
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using ll=long long;
using ld=long double;
using st=string;
using P=pair<ll,ll>;
typedef atcoder::modint mint;
ll inf=9e18;
template<typename T, int s, int i = 0>
auto vec(const ll (&sizes)[s], const T& init = T()){
  if constexpr(i < s) return vector(sizes[i], vec<T, s, i+1>(sizes, init));
  else return init;
}


int main(){
  ll n,x,q;
  mint k;
  cin>>n>>x;
  map<ll,mint> m;
  m[x]=1;
  for(ll i=0;i<n;i++){
    cin>>q;
    map<ll,mint> next;
    k=0;
    for(auto j:m){
      if(j.first%q==0){
        next[j.first/q]+=j.second;
      }
      k+=j.second;
    }
    next[q]+=k;
    swap(next,m);
    // for(auto j:m){
    //   cout<<j.first<<" "<<j.second<<"\n";
    // }
    // cout<<"\n";
  }
  mint ans=0;
  for(auto i:m){
    ans+=i.second;
  }
  cout<<ans.val()<<"\n";
}