def solve():
    N, K, X, Y = map(int, input().split())
    
    # 基本ケース
    if N == 1:
        print("Yes")
        print(str(X))
        return
    
    # K=1の場合（コーナーケース）
    if K == 1:
        # 条件は A[i-1] < A[i] for i = 2, 3, ..., N
        # つまり単調増加
        if X >= Y:
            print("No")
            return
        
        A = [0] * N
        A[0] = X
        A[N-1] = Y
        
        # 中間を単調増加で埋める
        for i in range(1, N-1):
            A[i] = X + i
            if A[i] >= Y or A[i] >= 2**20:
                print("No")
                return
        
        print("Yes")
        print(' '.join(map(str, A)))
        return
    
    # メイン処理: K >= 2
    # 戦略：末項を除く連続K項のXORを0にする
    
    A = [0] * N
    A[0] = X
    A[N-1] = Y
    
    # A[1] から A[K-1] まで適当に決める
    for i in range(1, min(K, N-1)):
        A[i] = 1
    
    # A[K] から A[N-2] まで、XOR制約を満たすように決める
    for i in range(K, N-1):
        # A[i-K+1] から A[i] までの連続K項のXORを0にする
        # A[i-K+1] ^ A[i-K+2] ^ ... ^ A[i-1] ^ A[i] = 0
        # よって A[i] = A[i-K+1] ^ A[i-K+2] ^ ... ^ A[i-1]
        
        xor_val = 0
        for j in range(i - K + 1, i):
            xor_val ^= A[j]
        
        A[i] = xor_val
        
        # 制約チェック
        if A[i] == 0 or A[i] >= 2**20:
            print("No")
            return
    
    # 最終チェック：すべての条件を満たすか確認
    for i in range(K, N):
        xor_val = 0
        for j in range(i - K, i):
            xor_val ^= A[j]
        
        if xor_val >= A[i]:
            print("No")
            return
    
    print("Yes")
    print(' '.join(map(str, A)))

solve()