ll@f,a,@b,@c,y=0,g=b+c-f-1,s,S;rep(d,1,g)REP(e,1,g-d+1){a=d+f+e,s=a+b+c,S=s*(s-2a)*(s-2b)*(s-2c);abs((2a*b*b-d*sqrt(4a*a*b*b-S))*e-(2a*c*c-e*sqrt(4a*a*c*c-S))*d)<1e-8?++y:y;}wt(y?"Yes":"No");