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