def solve():
    N, K, X, Y = map(int, input().split())
    
    # 特殊ケース: N <= K の場合、条件がないので常に解が存在
    if N <= K:
        A = [X] + [1] * (N - 2) + [Y]
        print("Yes")
        print(' '.join(map(str, A)))
        return
    
    # 数列を構築
    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
    
    # 最初のK個のXORを計算
    current_xor = 0
    for j in range(K):
        current_xor ^= A[j]
    
    # A[K] から A[N-2] まで条件を満たすように設定
    for i in range(K, N-1):
        # 現在のXORより大きい値を設定
        A[i] = current_xor + 1
        
        # 2^20 未満の制約チェック
        if A[i] >= 2**20:
            print("No")
            return
        
        # 次のXORを効率的に計算（スライディングウィンドウ）
        # 古い要素を除去し、新しい要素を追加
        current_xor ^= A[i - K]  # 古い要素を除去
        current_xor ^= A[i]      # 新しい要素を追加
    
    # A[N-1] = Y が条件を満たすかチェック
    # 最後のK個のXORを計算
    final_xor = 0
    for j in range(N - 1 - K, N - 1):
        final_xor ^= A[j]
    
    if final_xor >= Y:
        print("No")
        return
    
    # 解が見つかった
    print("Yes")
    print(' '.join(map(str, A)))

solve()