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