0 (i, j) ∈ S implies that (xi, xj) is either a Watson-Crick (GC or AU) or a wobble (GU) base pair.