#include #define REP(i,n) for(int i=0,i##_len=(n);i>N>>K; assert(1<=N&&N<=100000); assert(1<=K&&K<=1000000000); vector confirm(N),p(N); iota(All(confirm),1); REP(i,N) cin>>p[i]; sort(All(p)); assert(confirm==p); }