% References cited in https://agora.t9k.dev/t/153/graph-coloring-clique-minors-and-colin-de-verdi-re-invariants