#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]; set s; vector cnt(n+1); for(int i=0;i<=n;i++)s.insert(i); for(int i=0;i