#include #include using namespace std; using namespace atcoder; using ll=long long; using mint=modint1000000007; int main() { int n; cin>>n; ll x; cin>>x; vector a(3*n+1); for(int i=0;i>a[i]; vector b=a; set s; vector cnt(n+2); for(int i=0;i<=n+1;i++)s.insert(i); for(int i=0;in+1)a[i]=n+1; for(int i=0;i