Supporting Evidence Index

Lower_Bound_Verification.zip

Lower bounds for G14, G16, G18 and G20 · Sections 5.9, 6 · verification downloads public enumeration data (internet needed)

GEK_Evidence.zip

GEK solver source, 29 verified colourings, independent verifier and benchmark tracker · Sections 5.8–5.9, 6

G14_Nonequivalent_Colourings.zip

4,999 non-equivalent 8-colourings of G14 · Sections 5.9, 6

0.99n_Proof.pdf

Proof of the asymptotic 0.99n upper bound · Section 5.7 · proof manuscript, awaiting independent mathematical review

SHA256SUMS.txt

SHA-256 checksums for all files above