#include using namespace std; typedef long long ll; signed main(){ ios::sync_with_stdio(false); cin.tie(0); int n,m; cin>>n>>m; int cnt[n]={}; int sum=0; for(int i=0;i>a; cnt[j]+=a; sum+=cnt[j]; while(t777){ sum-=cnt[t]; t++; } if(sum==777){ cout<<"YES"<