construct/nppc clique

The task

Undirected graph with 20 vertices labelled 0..19 and 97 edges: [[0, 1], [0, 3], [0, 7], [0, 8], [0, 11], [0, 17], [1, 2], [1, 7], [1, 8], [1, 9], [1, 10], [1, 11], [1, 12], [1, 13], [1, 14], [1, 15], [1, 18], [1, 19], [2, 4], [2, 6], [2, 7], [2, 8], [2, 9], [2, 10], [2, 11], [2, 12], [2, 13], [2, 14], [2, 15], [2,…