a[34],s;main(i){for(;gets(&i)?a[i%34]+=2,s++,i=34:a[--i]<=s;);s=!puts(i>0?"NO":"YES");}