ll@f,@b,@c,y=0,g=b+c-f-1;rep(d,1,g)REP(e,1,g-d+1){long double a=d+f+e,s=(a+b+c)/2,S=sqrt(s*(s-a)*(s-b)*(s-c)),h=2S/a,i=d*h/b,j=e*h/c;(b-sqrt(d*d-i*i))*j==(c-sqrt(e*e-j*j))*i?++y:y;}wt(y?"Yes":"No");