#include <stdio.h>
#include <stdlib.h>
int main(int argc, char** argv){
    int a = atoi(argv[1]);
    int b = atoi(argv[2]);
    int c = atoi(argv[3]);
    if((a*b*c)%3==0){
        printf("Yes\n");
    }
    else{printf("No\n");}
    return 0;
}