#pragma GCC optimize("Ofast") #pragma GCC target("avx2") char*mmap(); #define RD(v) int v=0;{int _c;while(_c=*rp++-48,_c>=0)v=v*10+_c;} int a[1000]; main(){ char*rp=mmap(0l,1l<<28,1,2,0,0ll); RD(n); RD(k); for(int i=0;i=0&&xa[i]){ write(1,"-1",2); _exit(0); } } { int n=0; long d=0; while(++n,d=d<<8|0x30|z%10,z/=10); write(1,&d,n); } _exit(0); }