print<>=~
/^(0 (0|-?[1-5])|-?[13] -?[0-46]|-?2 -?[013-5]|-?4 -?[0-35]|-?5 -?[024]|-?6 -?[13])$/
?YES:NO