struct csr{E}
    start::Array{Int}
    elist::Array{E}

    function csr{E}(n::Int, edges::Array{Pair{Int, E}}) where E
        start = zeros(Int, n + 1)
        elist = Array{E}(undef, length(edges))
                
        for e in edges
            start[e[1] + 1] += 1
        end
        
        for i = 2:n+1
            start[i] += start[i - 1]
        end

        counter::Array{Int} = copy(start)
        for e in edges
            elist[counter[e[1]] + 1] = e[2] 
            counter[e[1]] += 1
        end

        new{E}(start, elist)
    end
end

struct edge
    to::Int
end

mutable struct scc_graph
    n::Int
    edges::Array{Pair{Int, edge}}

    scc_graph(n::Int) = new(n, Array{Pair{Int, edge},1}())
end

num_vertices(sg::scc_graph)::Int = sg.n

function add_edge!(sg::scc_graph, from::Int, to::Int)
    new_edge = Pair{Int, edge}(from, edge(to))
    push!(sg.edges, new_edge)
end

function dfs_for_scc!(v::Int, g::csr{edge}, ord_group::Array{Int},
    visited::Array{Int}, low::Array{Int}, ord::Array{Int},
    ids::Array{Int}, sg::scc_graph)
    low[v] = ord_group[1]
    ord[v] = ord_group[1]
    ord_group[1] += 1
    push!(visited, v)
    for i = g.start[v] + 1:g.start[v + 1]
        to = g.elist[i].to
        if ord[to] == -1
            dfs_for_scc!(to, g, ord_group, visited, low, ord, ids, sg)
            low[v] = min(low[v], low[to])
        else
            low[v] = min(low[v], ord[to])
        end
    end

    if low[v] == ord[v]
        while true
            u = pop!(visited)
            ord[u] = sg.n
            ids[u] = ord_group[2]
            if u == v
                break
            end
        end
        ord_group[2] += 1
    end
end

function scc_ids(sg::scc_graph)::Pair{Int, Array{Int}}
    g = csr{edge}(sg.n, sg.edges)
    ord_group = [1, 0] 
    visited = Array{Int,1}()
    low = zeros(Int, sg.n)
    ord = [-1 for i = 1:sg.n]
    ids = zeros(Int, sg.n)

    for i = 1:sg.n
        if ord[i] == -1
            dfs_for_scc!(i, g, ord_group, visited, low, ord, ids, sg)
        end
    end

    for i = 1:sg.n
        ids[i] = ord_group[2] - ids[i]
    end

    Pair{Int, Array{Int}}(ord_group[2], ids)
end

function scc(sg::scc_graph)
    ids = scc_ids(sg)
    group_num = ids[1]
    counts = zeros(Int, group_num)
    for x in ids[2]
        counts[x] += 1
    end
    groups = [Array{Int, 1}() for i = 1:group_num]
    for i = 1:sg.n
        push!(groups[ids[2][i]], i)
    end

    groups
end

mutable struct two_sat
    n::Int
    answer::Array{Bool}
    sg::scc_graph

    two_sat() = new(0, Array{Bool, 1}(), scc_graph(0))
    two_sat(n) = new(n, [false for i = 1:n], scc_graph(2 * n))
end

function add_clause!(ts::two_sat, i::Int, f::Bool, j::Int, g::Bool)
    add_edge!(ts.sg, 2 * i + (f ? 0 : 1) + 1, 2 * j + (g ? 1 : 0) + 1)
    add_edge!(ts.sg, 2 * j + (g ? 0 : 1) + 1, 2 * i + (f ? 1 : 0) + 1) 
end

function satisfiable(ts::two_sat)::Bool
    id = scc_ids(ts.sg)[2]
    for i = 1:ts.n
        if id[2 * i - 1] == id[2 * i]
            return false
        end
        ts.answer[i] = id[2 * i - 1] < id[2 * i]
    end
    true
end

answer(ts::two_sat) = ts.answer

parseInt(x) = parse(Int, x)
parseMap(x::Array{SubString{String},1}) = map(parseInt, x)
IFL(x) = Int(floor(x))

function main()
    N,D = readline() |> split |> parseMap
    ts = two_sat(N)
    p = [[0,0] for i=1:N]
    for i=1:N
        a,b = readline() |> split |> parseMap
        p[i][1] = a
        p[i][2] = b
    end

    for i = 0:N-1
        for j = i+1:N-1
            for k = 0:3
                if abs(p[i+1][IFL(k/2)+1] - p[j+1][k%2+1]) < D
                    add_clause!(ts, i, Bool(IFL(k/2)), j, Bool(k%2))
                end
            end
        end
    end

    if satisfiable(ts)
        println("Yes")
        for i = 1:N
            ans = answer(ts)
            println(p[i][Int(~ans[i]) + 1])
        end
    else
        println("No")
    end
end

main()

Measured memory_bytes: 202500