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