from collections import deque ##制約よりN=500,M=1000の場合最短経路でしか到達不能 ##今いるマスの右と下を調べていくだけでよい ## ⇒Mが大きいと左、上の移動があってもよくなってしまう ## 左、上の操作が1回加わるたび2マス余分に必要となる N,M=map(int,input().split()) ##最短経路で移動しようとしても ##そもそも黒マスが2*N-1個以上なければ到達不能 if 2*N-1>M: print("No") exit(0) M-=1 i,j=1,1 d=[(1,0),(0,1),(-1,0),(0,-1)] ##一度見たところを配列chkに記録 chk=[[False for _ in range(N+1)]for _ in range(N+1)] chk[1][1]=True q=deque() while M>=0: if i==N and j==N: break for di,dj in d: if i+di==N and j+dj==N and M>=1: print("Yes") exit(0) elif 0=0 and i==N and j==N: print("Yes") else: print("No")