#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;} #define RD_SIGNED(v) int v=0;{int _c,_s;_s=*rp=='-'&&++rp;while(_c=*rp++-48,_c>=0)v=v*10+_c;v=_s?-v:v;} d[1001]; main(){ char*rp=mmap(0l,1l<<28,1,2,0,0ll); RD(n); RD(m); for(int i=0;i777){ s-=d[b++]; } if(s==777){ write(1,"YES",3); _exit(0); } } } write(1,"NO",2); _exit(0); }