#include<stdio.h>

int main (void)
{ 
    char buf[100000];
    int i,n,l,m;
    fgets(buf, sizeof(buf), stdin);
    sscanf(buf, "%d %d %d", &n,&m,&l);
    if(n%3==0||m%3==0||l%3==0){
        printf("Yes");
    }
    else{
        printf("No");
    }
    return 0;
}