#include <stdio.h>

int main(int argc, char *argv[]){
    int x, y, z, n;
    scanf("%d%d%d", &x, &y, &z);
    n = x * y * z;
    if (n % 3 == 0){
      printf("%s\n", "Yes");
    } else {
      printf("%s\n", "No");
    }
    return 0;
}