#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
typedef long long ll;
typedef modint1000000007 mint;
typedef pair<ll,ll> P;
#define rep(i,a,b) for(ll i=a;i<b;i++)
#define rrep(i,a,b) for(ll i=a;i>=b;i--)
const ll inf=1e18;
ll x,y,z;
int main(void){
    cin.tie(0);
    ios::sync_with_stdio(0);
    cin>>x>>y>>z;
    if(x%3==0||y%3==0||z%3==0){
        cout<<"Yes"<<endl;
    }else{
        cout<<"No"<<endl;
    }

}