#define rep(i,n) for(int i=0;i<(int)(n);i++) #define ALL(v) v.begin(),v.end() typedef long long ll; #include #include namespace mp = boost::multiprecision; using Bint = mp::cpp_int; #include using namespace std; int main(){ ios::sync_with_stdio(false); std::cin.tie(nullptr); Bint a,b,c; cin>>a>>b>>c; for(Bint x=1;x=b+c) continue; Bint ee,ff; ee=((a+y)*(a+y)+c*c)*t-(a+y)*(c*c+t*t-b*b); ff=((a+x)*(a+x)+b*b)*t-(a+x)*(b*b+t*t-c*c); if(c*c*ff*(b*b*t+ee-x*x*t)*(b*b*t+ee-x*x*t)==b*b*ee*(c*c*t+ff-y*y*t)*(c*c*t+ff-y*y*t) && b*b+ee-x*x>0 && c*c+ff-y*y>0){ cout<<"Yes\n"; return 0; } } } cout<<"No\n"; return 0; }