#include <stdio.h>

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