#include<stdio.h>

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