$%=1e3;$-=($G//=$')-=$_*=$%/=5-<3 >or$G%=$%for<>=~/\d+ /g;print$G?NO:YES