5f1e66f8d20e18c0066fac0b2110d9df61155bb8e7ab252c4da8a0bccae5d2d9 Lower_Bound_Verification.zip 8c4704e36e00a10f346ec9820f9df180f9be8ed9f065c574302c7c8062060885 GEK_Evidence.zip c9b1390da2ea4a279103bc1df5d6ace0c613a769cb6bf4ae47b68eba65b10538 G14_Nonequivalent_Colourings.zip aaa1b41f387fa0db89fc27b85015443be7db6a3c91a6adfef8a9690baeba985f 0.99n_Proof.pdf