construct/nppc vertex cover

The task

Undirected graph with 24 vertices labelled 0..23 and 128 edges: [[0, 4], [0, 7], [0, 8], [0, 14], [0, 15], [1, 4], [1, 8], [1, 9], [1, 13], [1, 17], [1, 18], [2, 4], [2, 7], [2, 8], [2, 9], [2, 10], [2, 11], [2, 12], [2, 13], [2, 14], [2, 15], [2, 16], [2, 17], [2, 18], [2, 19], [2, 21], [2, 22], [2, 23], [3, 4], [3,…