Parts certificate roots and exact graph symmetries

The six permutations are the stabilizer of the normalized 2-Golomb root. Together with swapping the two unused color names, they expand 36 orbit representatives to all 432 proper normalized root colorings.

def HadwigerNelsonBounds.partsBaseCertificates : Array PartsCertificate

The 36 normalized coloring-tree representatives.

Equations

• One or more equations did not get rendered due to their size.