#include<stdio.h>
int main()
{
     int a[3],i;
     for(int i=0;i<3;i++){
          scanf("%d",&a[i]);
         if(a[i]%7==0)
               printf("Yes");
          else
               printf("No");
          }
          return 0;
}
