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
    
    # A[K] から A[N-2] まで条件を満たすように設定
    for i in range(K, N-1):
        # 直前のK個のXORを計算
        xor_val = 0
        for j in range(i - K, i):
            xor_val ^= A[j]
        
        # XORより大きい値を設定
        A[i] = xor_val + 1
        
        # 2^20 未満の制約チェック
        if A[i] >= 2**20:
            print("No")
            return
    
    # A[N-1] = Y が条件を満たすかチェック
    xor_val = 0
    for j in range(N - 1 - K, N - 1):
        xor_val ^= A[j]
    
    if xor_val >= Y:
        print("No")
        return
    
    # 解が見つかった
    print("Yes")
    print(' '.join(map(str, A)))

solve()