R=range I=lambda:int(input()) f=I() b=I() c=I() t=1 g=b+c-f-1 for d in R(1,g): for e in R(1,g-d+1): a=d+f+e s=a+b+c S=s*(s-2*a)*(s-2*b)*(s-2*c) i=4*a*a*b*b-S j=4*a*a*c*c-S assert(i>0 and j>0) l,r=0,i+1 while li:r=k else:l=k k=l l,r=0,j+1 while lj:r=n else:l=n n=l if k*k==i and n*n==j and 2*a*(b*b*e-c*c*d)==(k-n)*d*e:t=0 print("YNeos"[t::2])