MODEL CONTRACT
Every pair has one chance
G(n,p) is a simple undirected graph. For each lexicographic pair (i,j), p=c/n decides one edge. The LCG is x′ = (1664525x + 1013904223) mod 2³², with u=x/2³². Union-find then labels connected components.