while 1:print("YNeos"[int(input()[::2],27)**4%73!=9::2])