mapFolding 0.16.1__py3-none-any.whl → 0.16.2__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (49) hide show
  1. easyRun/A000682.py +1 -1
  2. easyRun/A005316.py +2 -3
  3. easyRun/NOTcountingFolds.py +3 -3
  4. easyRun/meanders.py +17 -19
  5. mapFolding/algorithms/matrixMeanders.py +15 -28
  6. mapFolding/algorithms/matrixMeandersBeDry.py +34 -116
  7. mapFolding/algorithms/matrixMeandersNumPy.py +117 -70
  8. mapFolding/algorithms/matrixMeandersPandas.py +113 -130
  9. mapFolding/algorithms/oeisIDbyFormula.py +23 -12
  10. mapFolding/algorithms/zCuzDocStoopidoeisIDbyFormula.py +26 -12
  11. mapFolding/basecamp.py +140 -242
  12. mapFolding/dataBaskets.py +14 -30
  13. mapFolding/reference/A000682facts.py +785 -1264
  14. mapFolding/reference/A005316facts.py +958 -923
  15. mapFolding/reference/matrixMeandersAnalysis/signatures.py +2030 -0
  16. mapFolding/someAssemblyRequired/A007822/A007822rawMaterials.py +2 -2
  17. mapFolding/someAssemblyRequired/A007822/makeA007822AsynchronousModules.py +83 -21
  18. mapFolding/someAssemblyRequired/A007822/makeA007822Modules.py +13 -12
  19. mapFolding/someAssemblyRequired/makeJobTheorem2Numba.py +2 -2
  20. mapFolding/someAssemblyRequired/makingModules_count.py +88 -80
  21. mapFolding/someAssemblyRequired/makingModules_doTheNeedful.py +11 -7
  22. mapFolding/someAssemblyRequired/mapFolding/makeMapFoldingModules.py +3 -3
  23. mapFolding/someAssemblyRequired/meanders/makeMeandersModules.py +7 -8
  24. mapFolding/someAssemblyRequired/toolkitMakeModules.py +9 -9
  25. mapFolding/someAssemblyRequired/transformationTools.py +8 -8
  26. mapFolding/syntheticModules/A007822/algorithm.py +1 -0
  27. mapFolding/syntheticModules/A007822/asynchronous.py +6 -4
  28. mapFolding/syntheticModules/A007822/asynchronousAnnex.py +1 -1
  29. mapFolding/syntheticModules/A007822/asynchronousAnnexNumba.py +2 -17
  30. mapFolding/syntheticModules/A007822/asynchronousNumba.py +35 -8
  31. mapFolding/syntheticModules/A007822/asynchronousTheorem2.py +15 -3
  32. mapFolding/syntheticModules/A007822/asynchronousTrimmed.py +12 -3
  33. mapFolding/syntheticModules/A007822/theorem2.py +6 -0
  34. mapFolding/syntheticModules/A007822/theorem2Numba.py +28 -3
  35. mapFolding/syntheticModules/A007822/theorem2Trimmed.py +7 -1
  36. mapFolding/syntheticModules/daoOfMapFoldingNumba.py +2 -4
  37. mapFolding/syntheticModules/dataPacking.py +3 -5
  38. mapFolding/syntheticModules/meanders/bigInt.py +24 -34
  39. mapFolding/syntheticModules/theorem2.py +6 -0
  40. mapFolding/syntheticModules/theorem2Numba.py +9 -4
  41. mapFolding/syntheticModules/theorem2Trimmed.py +6 -0
  42. mapFolding/tests/test_computations.py +1 -1
  43. mapFolding/zCuzDocStoopid/makeDocstrings.py +2 -0
  44. {mapfolding-0.16.1.dist-info → mapfolding-0.16.2.dist-info}/METADATA +1 -1
  45. {mapfolding-0.16.1.dist-info → mapfolding-0.16.2.dist-info}/RECORD +49 -48
  46. {mapfolding-0.16.1.dist-info → mapfolding-0.16.2.dist-info}/WHEEL +0 -0
  47. {mapfolding-0.16.1.dist-info → mapfolding-0.16.2.dist-info}/entry_points.txt +0 -0
  48. {mapfolding-0.16.1.dist-info → mapfolding-0.16.2.dist-info}/licenses/LICENSE +0 -0
  49. {mapfolding-0.16.1.dist-info → mapfolding-0.16.2.dist-info}/top_level.txt +0 -0
mapFolding/reference/A000682facts.py CHANGED
@@ -1,1276 +1,797 @@
1
1
  """A000682 facts."""
2
2
 
3
- dictionary_nToBitWidthCrossings: dict[int, int] = {
4
- 1: 1, 2: 1, 3: 2, 4: 3, 5: 4, 6: 5, 7: 7, 8: 8, 9: 9
5
- , 10: 11, 11: 13, 12: 14, 13: 16, 14: 17, 15: 19, 16: 21, 17: 22, 18: 24, 19: 25
6
- , 20: 27, 21: 29, 22: 30, 23: 32, 24: 34, 25: 36, 26: 37, 27: 39, 28: 41, 29: 42
7
- , 30: 44, 31: 46, 32: 47, 33: 49, 34: 51, 35: 53, 36: 54, 37: 56, 38: 58, 39: 60
8
- , 40: 61, 41: 63, 42: 65, 43: 67, 44: 68, 45: 70}
3
+ nToBitWidthCrossingsTotal: dict[int, int] = {
4
+ 1: 1, 2: 1, 3: 2, 4: 3, 5: 4, 6: 5, 7: 7, 8: 8, 9: 9
5
+ , 10: 11, 11: 13, 12: 14, 13: 16, 14: 17, 15: 19, 16: 21, 17: 22, 18: 24, 19: 25
6
+ , 20: 27, 21: 29, 22: 30, 23: 32, 24: 34, 25: 36, 26: 37, 27: 39, 28: 41, 29: 42
7
+ , 30: 44, 31: 46, 32: 47, 33: 49, 34: 51, 35: 53, 36: 54, 37: 56, 38: 58, 39: 60
8
+ , 40: 61, 41: 63, 42: 65, 43: 67, 44: 68, 45: 70}
9
9
 
10
- listBitWidthIncreases: list[int] = [0, 1, 1, 1, 1, 2, 1, 1, 2, 2, 1, 2, 1, 2, 2, 1, 2, 1, 2, 2, 1, 2, 2, 2, 1, 2, 2, 1, 2, 2, 1, 2, 2, 2, 1, 2, 2, 2, 1, 2, 2, 2, 1, 2]
11
- bitWidthIncreaseMaximum = 2
12
- bitWidthIncreaseMean = 1.57
13
- bitWidthIncreaseMedian = 2
10
+ bitWidthCrossingsTotalIncreasesPer_n: list[int] = [0, 1, 1, 1, 1, 2, 1, 1, 2, 2, 1, 2
11
+ , 1, 2, 2, 1, 2, 1, 2, 2, 1, 2, 2, 2, 1, 2, 2, 1, 2, 2, 1, 2, 2, 2, 1, 2, 2, 2, 1, 2, 2, 2, 1, 2]
12
+ bitWidthCrossingsTotalIncreaseMaximum = 2
13
+ bitWidthCrossingsTotalIncreaseMean = 1.57
14
+ bitWidthCrossingsTotalIncreaseMedian = 2
14
15
 
15
- dictionary_nToNumberOfArcCodes: dict[int, int] = { # numberOfArcCodes = (n // 2) + 2
16
- 2: 3, 4: 4, 6: 5, 8: 6, 10: 7, 12: 8, 14: 9, 16: 10, 18: 11, 20: 12, 22: 13, 24: 14, 26: 15, 28: 16, 30: 17, 32: 18, 34: 19, 36: 20, 38: 21, 40: 22, 42: 23, 44: 24, 46: 25, 48: 26
17
- , 3: 3, 5: 4, 7: 5, 9: 6, 11: 7, 13: 8, 15: 9, 17: 10, 19: 11, 21: 12, 23: 13, 25: 14, 27: 15, 29: 16, 31: 17, 33: 18, 35: 19, 37: 20, 39: 21, 41: 22, 43: 23, 45: 24, 47: 25, 49: 26}
16
+ nToNumberOfInitialArcCodes: dict[int, int] = { # numberOfInitialArcCodes = (n // 2) + 2
17
+ 2: 3,
18
+ 3: 3,
19
+ 4: 4,
20
+ 5: 4,
21
+ 6: 5,
22
+ 7: 5,
23
+ 8: 6,
24
+ 9: 6,
25
+ 10: 7,
26
+ 11: 7,
27
+ 12: 8,
28
+ 13: 8,
29
+ 14: 9,
30
+ 15: 9,
31
+ 16: 10,
32
+ 17: 10,
33
+ 18: 11,
34
+ 19: 11,
35
+ 20: 12,
36
+ 21: 12,
37
+ 22: 13,
38
+ 23: 13,
39
+ 24: 14,
40
+ 25: 14,
41
+ 26: 15,
42
+ 27: 15,
43
+ 28: 16,
44
+ 29: 16,
45
+ 30: 17,
46
+ 31: 17,
47
+ 32: 18,
48
+ 33: 18,
49
+ 34: 19,
50
+ 35: 19,
51
+ 36: 20,
52
+ 37: 20,
53
+ 38: 21,
54
+ 39: 21,
55
+ 40: 22,
56
+ 41: 22,
57
+ 42: 23,
58
+ 43: 23,
59
+ 44: 24,
60
+ 45: 24,
61
+ 46: 25,
62
+ 47: 25,
63
+ 48: 26,
64
+ 49: 26
65
+ }
18
66
 
19
- dictionary_nToDictionaryArcCode: dict[int, dict[int, int]] = {
20
- 2: {0x3: 1, 0x3f: 1, 0x3ff: 1},
21
- 4: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1},
22
- 6: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1},
23
- 8: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1},
67
+ nToInitialArcCodes: dict[int, dict[int, int]] = {
68
+ 2: {0x3: 1, 0x3f: 1, 0x3ff: 1}, # {0b 11: 1, 0b 11 1111: 1, 0b 11 1111 1111: 1}
69
+ 4: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1},
70
+ 6: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1},
71
+ 8: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1},
24
72
  10: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1},
25
73
  12: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1},
26
- 14: { 0x3: 1,
27
- 0x3f: 1,
28
- 0x3ff: 1,
29
- 0x3fff: 1,
30
- 0x3ffff: 1,
31
- 0x3fffff: 1,
32
- 0x3ffffff: 1,
33
- 0x3fffffff: 1,
34
- 0x3ffffffff: 1},
35
- 16: { 0x3: 1,
36
- 0x3f: 1,
37
- 0x3ff: 1,
38
- 0x3fff: 1,
39
- 0x3ffff: 1,
40
- 0x3fffff: 1,
41
- 0x3ffffff: 1,
42
- 0x3fffffff: 1,
43
- 0x3ffffffff: 1,
44
- 0x3fffffffff: 1},
45
- 18: { 0x3: 1,
46
- 0x3f: 1,
47
- 0x3ff: 1,
48
- 0x3fff: 1,
49
- 0x3ffff: 1,
50
- 0x3fffff: 1,
51
- 0x3ffffff: 1,
52
- 0x3fffffff: 1,
53
- 0x3ffffffff: 1,
54
- 0x3fffffffff: 1,
55
- 0x3ffffffffff: 1},
56
- 20: { 0x3: 1,
57
- 0x3f: 1,
58
- 0x3ff: 1,
59
- 0x3fff: 1,
60
- 0x3ffff: 1,
61
- 0x3fffff: 1,
62
- 0x3ffffff: 1,
63
- 0x3fffffff: 1,
64
- 0x3ffffffff: 1,
65
- 0x3fffffffff: 1,
66
- 0x3ffffffffff: 1,
67
- 0x3fffffffffff: 1},
68
- 22: { 0x3: 1,
69
- 0x3f: 1,
70
- 0x3ff: 1,
71
- 0x3fff: 1,
72
- 0x3ffff: 1,
73
- 0x3fffff: 1,
74
- 0x3ffffff: 1,
75
- 0x3fffffff: 1,
76
- 0x3ffffffff: 1,
77
- 0x3fffffffff: 1,
78
- 0x3ffffffffff: 1,
79
- 0x3fffffffffff: 1,
80
- 0x3ffffffffffff: 1},
81
- 24: { 0x3: 1,
82
- 0x3f: 1,
83
- 0x3ff: 1,
84
- 0x3fff: 1,
85
- 0x3ffff: 1,
86
- 0x3fffff: 1,
87
- 0x3ffffff: 1,
88
- 0x3fffffff: 1,
89
- 0x3ffffffff: 1,
90
- 0x3fffffffff: 1,
91
- 0x3ffffffffff: 1,
92
- 0x3fffffffffff: 1,
93
- 0x3ffffffffffff: 1,
94
- 0x3fffffffffffff: 1},
95
- 26: { 0x3: 1,
96
- 0x3f: 1,
97
- 0x3ff: 1,
98
- 0x3fff: 1,
99
- 0x3ffff: 1,
100
- 0x3fffff: 1,
101
- 0x3ffffff: 1,
102
- 0x3fffffff: 1,
103
- 0x3ffffffff: 1,
104
- 0x3fffffffff: 1,
105
- 0x3ffffffffff: 1,
106
- 0x3fffffffffff: 1,
107
- 0x3ffffffffffff: 1,
108
- 0x3fffffffffffff: 1,
109
- 0x3ffffffffffffff: 1},
110
- 28: { 0x3: 1,
111
- 0x3f: 1,
112
- 0x3ff: 1,
113
- 0x3fff: 1,
114
- 0x3ffff: 1,
115
- 0x3fffff: 1,
116
- 0x3ffffff: 1,
117
- 0x3fffffff: 1,
118
- 0x3ffffffff: 1,
119
- 0x3fffffffff: 1,
120
- 0x3ffffffffff: 1,
121
- 0x3fffffffffff: 1,
122
- 0x3ffffffffffff: 1,
123
- 0x3fffffffffffff: 1,
124
- 0x3ffffffffffffff: 1,
125
- 0x3fffffffffffffff: 1},
126
- 30: { 0x3: 1,
127
- 0x3f: 1,
128
- 0x3ff: 1,
129
- 0x3fff: 1,
130
- 0x3ffff: 1,
131
- 0x3fffff: 1,
132
- 0x3ffffff: 1,
133
- 0x3fffffff: 1,
134
- 0x3ffffffff: 1,
135
- 0x3fffffffff: 1,
136
- 0x3ffffffffff: 1,
137
- 0x3fffffffffff: 1,
138
- 0x3ffffffffffff: 1,
139
- 0x3fffffffffffff: 1,
140
- 0x3ffffffffffffff: 1,
141
- 0x3fffffffffffffff: 1,
142
- 0x3ffffffffffffffff: 1},
143
- 32: { 0x3: 1,
144
- 0x3f: 1,
145
- 0x3ff: 1,
146
- 0x3fff: 1,
147
- 0x3ffff: 1,
148
- 0x3fffff: 1,
149
- 0x3ffffff: 1,
150
- 0x3fffffff: 1,
151
- 0x3ffffffff: 1,
152
- 0x3fffffffff: 1,
153
- 0x3ffffffffff: 1,
154
- 0x3fffffffffff: 1,
155
- 0x3ffffffffffff: 1,
156
- 0x3fffffffffffff: 1,
157
- 0x3ffffffffffffff: 1,
158
- 0x3fffffffffffffff: 1,
159
- 0x3ffffffffffffffff: 1,
160
- 0x3fffffffffffffffff: 1},
161
- 34: { 0x3: 1,
162
- 0x3f: 1,
163
- 0x3ff: 1,
164
- 0x3fff: 1,
165
- 0x3ffff: 1,
166
- 0x3fffff: 1,
167
- 0x3ffffff: 1,
168
- 0x3fffffff: 1,
169
- 0x3ffffffff: 1,
170
- 0x3fffffffff: 1,
171
- 0x3ffffffffff: 1,
172
- 0x3fffffffffff: 1,
173
- 0x3ffffffffffff: 1,
174
- 0x3fffffffffffff: 1,
175
- 0x3ffffffffffffff: 1,
176
- 0x3fffffffffffffff: 1,
177
- 0x3ffffffffffffffff: 1,
178
- 0x3fffffffffffffffff: 1,
179
- 0x3ffffffffffffffffff: 1},
180
- 36: { 0x3: 1,
181
- 0x3f: 1,
182
- 0x3ff: 1,
183
- 0x3fff: 1,
184
- 0x3ffff: 1,
185
- 0x3fffff: 1,
186
- 0x3ffffff: 1,
187
- 0x3fffffff: 1,
188
- 0x3ffffffff: 1,
189
- 0x3fffffffff: 1,
190
- 0x3ffffffffff: 1,
191
- 0x3fffffffffff: 1,
192
- 0x3ffffffffffff: 1,
193
- 0x3fffffffffffff: 1,
194
- 0x3ffffffffffffff: 1,
195
- 0x3fffffffffffffff: 1,
196
- 0x3ffffffffffffffff: 1,
197
- 0x3fffffffffffffffff: 1,
198
- 0x3ffffffffffffffffff: 1,
199
- 0x3fffffffffffffffffff: 1},
200
- 38: { 0x3: 1,
201
- 0x3f: 1,
202
- 0x3ff: 1,
203
- 0x3fff: 1,
204
- 0x3ffff: 1,
205
- 0x3fffff: 1,
206
- 0x3ffffff: 1,
207
- 0x3fffffff: 1,
208
- 0x3ffffffff: 1,
209
- 0x3fffffffff: 1,
210
- 0x3ffffffffff: 1,
211
- 0x3fffffffffff: 1,
212
- 0x3ffffffffffff: 1,
213
- 0x3fffffffffffff: 1,
214
- 0x3ffffffffffffff: 1,
215
- 0x3fffffffffffffff: 1,
216
- 0x3ffffffffffffffff: 1,
217
- 0x3fffffffffffffffff: 1,
218
- 0x3ffffffffffffffffff: 1,
219
- 0x3fffffffffffffffffff: 1,
220
- 0x3ffffffffffffffffffff: 1},
221
- 40: { 0x3: 1,
222
- 0x3f: 1,
223
- 0x3ff: 1,
224
- 0x3fff: 1,
225
- 0x3ffff: 1,
226
- 0x3fffff: 1,
227
- 0x3ffffff: 1,
228
- 0x3fffffff: 1,
229
- 0x3ffffffff: 1,
230
- 0x3fffffffff: 1,
231
- 0x3ffffffffff: 1,
232
- 0x3fffffffffff: 1,
233
- 0x3ffffffffffff: 1,
234
- 0x3fffffffffffff: 1,
235
- 0x3ffffffffffffff: 1,
236
- 0x3fffffffffffffff: 1,
237
- 0x3ffffffffffffffff: 1,
238
- 0x3fffffffffffffffff: 1,
239
- 0x3ffffffffffffffffff: 1,
240
- 0x3fffffffffffffffffff: 1,
241
- 0x3ffffffffffffffffffff: 1,
242
- 0x3fffffffffffffffffffff: 1},
243
- 42: { 0x3: 1,
244
- 0x3f: 1,
245
- 0x3ff: 1,
246
- 0x3fff: 1,
247
- 0x3ffff: 1,
248
- 0x3fffff: 1,
249
- 0x3ffffff: 1,
250
- 0x3fffffff: 1,
251
- 0x3ffffffff: 1,
252
- 0x3fffffffff: 1,
253
- 0x3ffffffffff: 1,
254
- 0x3fffffffffff: 1,
255
- 0x3ffffffffffff: 1,
256
- 0x3fffffffffffff: 1,
257
- 0x3ffffffffffffff: 1,
258
- 0x3fffffffffffffff: 1,
259
- 0x3ffffffffffffffff: 1,
260
- 0x3fffffffffffffffff: 1,
261
- 0x3ffffffffffffffffff: 1,
262
- 0x3fffffffffffffffffff: 1,
263
- 0x3ffffffffffffffffffff: 1,
264
- 0x3fffffffffffffffffffff: 1,
265
- 0x3ffffffffffffffffffffff: 1},
266
- 44: { 0x3: 1,
267
- 0x3f: 1,
268
- 0x3ff: 1,
269
- 0x3fff: 1,
270
- 0x3ffff: 1,
271
- 0x3fffff: 1,
272
- 0x3ffffff: 1,
273
- 0x3fffffff: 1,
274
- 0x3ffffffff: 1,
275
- 0x3fffffffff: 1,
276
- 0x3ffffffffff: 1,
277
- 0x3fffffffffff: 1,
278
- 0x3ffffffffffff: 1,
279
- 0x3fffffffffffff: 1,
280
- 0x3ffffffffffffff: 1,
281
- 0x3fffffffffffffff: 1,
282
- 0x3ffffffffffffffff: 1,
283
- 0x3fffffffffffffffff: 1,
284
- 0x3ffffffffffffffffff: 1,
285
- 0x3fffffffffffffffffff: 1,
286
- 0x3ffffffffffffffffffff: 1,
287
- 0x3fffffffffffffffffffff: 1,
288
- 0x3ffffffffffffffffffffff: 1,
289
- 0x3fffffffffffffffffffffff: 1},
290
- 46: { 0x3: 1,
291
- 0x3f: 1,
292
- 0x3ff: 1,
293
- 0x3fff: 1,
294
- 0x3ffff: 1,
295
- 0x3fffff: 1,
296
- 0x3ffffff: 1,
297
- 0x3fffffff: 1,
298
- 0x3ffffffff: 1,
299
- 0x3fffffffff: 1,
300
- 0x3ffffffffff: 1,
301
- 0x3fffffffffff: 1,
302
- 0x3ffffffffffff: 1,
303
- 0x3fffffffffffff: 1,
304
- 0x3ffffffffffffff: 1,
305
- 0x3fffffffffffffff: 1,
306
- 0x3ffffffffffffffff: 1,
307
- 0x3fffffffffffffffff: 1,
308
- 0x3ffffffffffffffffff: 1,
309
- 0x3fffffffffffffffffff: 1,
310
- 0x3ffffffffffffffffffff: 1,
311
- 0x3fffffffffffffffffffff: 1,
312
- 0x3ffffffffffffffffffffff: 1,
313
- 0x3fffffffffffffffffffffff: 1,
314
- 0x3ffffffffffffffffffffffff: 1},
315
- 48: { 0x3: 1,
316
- 0x3f: 1,
317
- 0x3ff: 1,
318
- 0x3fff: 1,
319
- 0x3ffff: 1,
320
- 0x3fffff: 1,
321
- 0x3ffffff: 1,
322
- 0x3fffffff: 1,
323
- 0x3ffffffff: 1,
324
- 0x3fffffffff: 1,
325
- 0x3ffffffffff: 1,
326
- 0x3fffffffffff: 1,
327
- 0x3ffffffffffff: 1,
328
- 0x3fffffffffffff: 1,
329
- 0x3ffffffffffffff: 1,
330
- 0x3fffffffffffffff: 1,
331
- 0x3ffffffffffffffff: 1,
332
- 0x3fffffffffffffffff: 1,
333
- 0x3ffffffffffffffffff: 1,
334
- 0x3fffffffffffffffffff: 1,
335
- 0x3ffffffffffffffffffff: 1,
336
- 0x3fffffffffffffffffffff: 1,
337
- 0x3ffffffffffffffffffffff: 1,
338
- 0x3fffffffffffffffffffffff: 1,
339
- 0x3ffffffffffffffffffffffff: 1,
340
- 0x3fffffffffffffffffffffffff: 1},
341
- 3: {0xf: 1, 0xff: 1, 0xfff: 1},
342
- 5: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1},
343
- 7: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1},
344
- 9: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1},
74
+ 14: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1},
75
+ 16: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1},
76
+ 18: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
77
+ , 0x3ffffffffff: 1},
78
+ 20: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
79
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1},
80
+ 22: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
81
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1},
82
+ 24: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
83
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1},
84
+ 26: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
85
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1},
86
+ 28: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
87
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1, 0x3fffffffffffffff: 1},
88
+ 30: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
89
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1, 0x3fffffffffffffff: 1
90
+ , 0x3ffffffffffffffff: 1},
91
+ 32: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
92
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1, 0x3fffffffffffffff: 1
93
+ , 0x3ffffffffffffffff: 1, 0x3fffffffffffffffff: 1},
94
+ 34: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
95
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1, 0x3fffffffffffffff: 1
96
+ , 0x3ffffffffffffffff: 1, 0x3fffffffffffffffff: 1, 0x3ffffffffffffffffff: 1},
97
+ 36: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
98
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1, 0x3fffffffffffffff: 1
99
+ , 0x3ffffffffffffffff: 1, 0x3fffffffffffffffff: 1, 0x3ffffffffffffffffff: 1, 0x3fffffffffffffffffff: 1},
100
+ 38: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
101
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1, 0x3fffffffffffffff: 1
102
+ , 0x3ffffffffffffffff: 1, 0x3fffffffffffffffff: 1, 0x3ffffffffffffffffff: 1, 0x3fffffffffffffffffff: 1, 0x3ffffffffffffffffffff: 1},
103
+ 40: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
104
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1, 0x3fffffffffffffff: 1
105
+ , 0x3ffffffffffffffff: 1, 0x3fffffffffffffffff: 1, 0x3ffffffffffffffffff: 1, 0x3fffffffffffffffffff: 1, 0x3ffffffffffffffffffff: 1
106
+ , 0x3fffffffffffffffffffff: 1},
107
+ 42: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
108
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1, 0x3fffffffffffffff: 1
109
+ , 0x3ffffffffffffffff: 1, 0x3fffffffffffffffff: 1, 0x3ffffffffffffffffff: 1, 0x3fffffffffffffffffff: 1, 0x3ffffffffffffffffffff: 1
110
+ , 0x3fffffffffffffffffffff: 1, 0x3ffffffffffffffffffffff: 1},
111
+ 44: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
112
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1, 0x3fffffffffffffff: 1
113
+ , 0x3ffffffffffffffff: 1, 0x3fffffffffffffffff: 1, 0x3ffffffffffffffffff: 1, 0x3fffffffffffffffffff: 1, 0x3ffffffffffffffffffff: 1
114
+ , 0x3fffffffffffffffffffff: 1, 0x3ffffffffffffffffffffff: 1, 0x3fffffffffffffffffffffff: 1},
115
+ 46: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
116
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1, 0x3fffffffffffffff: 1
117
+ , 0x3ffffffffffffffff: 1, 0x3fffffffffffffffff: 1, 0x3ffffffffffffffffff: 1, 0x3fffffffffffffffffff: 1, 0x3ffffffffffffffffffff: 1
118
+ , 0x3fffffffffffffffffffff: 1, 0x3ffffffffffffffffffffff: 1, 0x3fffffffffffffffffffffff: 1, 0x3ffffffffffffffffffffffff: 1},
119
+ 48: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1, 0x3ffffffff: 1, 0x3fffffffff: 1
120
+ , 0x3ffffffffff: 1, 0x3fffffffffff: 1, 0x3ffffffffffff: 1, 0x3fffffffffffff: 1, 0x3ffffffffffffff: 1, 0x3fffffffffffffff: 1
121
+ , 0x3ffffffffffffffff: 1, 0x3fffffffffffffffff: 1, 0x3ffffffffffffffffff: 1, 0x3fffffffffffffffffff: 1, 0x3ffffffffffffffffffff: 1
122
+ , 0x3fffffffffffffffffffff: 1, 0x3ffffffffffffffffffffff: 1, 0x3fffffffffffffffffffffff: 1, 0x3ffffffffffffffffffffffff: 1
123
+ , 0x3fffffffffffffffffffffffff: 1},
124
+ 1: {0xf: 1, 0xff: 1},
125
+ 3: {0xf: 1, 0xff: 1, 0xfff: 1}, # {0b 1111: 1, 0b 1111 1111: 1, 0b 1111 1111 1111: 1}
126
+ 5: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1},
127
+ 7: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1},
128
+ 9: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1},
345
129
  11: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1},
346
130
  13: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1},
347
- 15: { 0xf: 1,
348
- 0xff: 1,
349
- 0xfff: 1,
350
- 0xffff: 1,
351
- 0xfffff: 1,
352
- 0xffffff: 1,
353
- 0xfffffff: 1,
354
- 0xffffffff: 1,
355
- 0xfffffffff: 1},
356
- 17: { 0xf: 1,
357
- 0xff: 1,
358
- 0xfff: 1,
359
- 0xffff: 1,
360
- 0xfffff: 1,
361
- 0xffffff: 1,
362
- 0xfffffff: 1,
363
- 0xffffffff: 1,
364
- 0xfffffffff: 1,
365
- 0xffffffffff: 1},
366
- 19: { 0xf: 1,
367
- 0xff: 1,
368
- 0xfff: 1,
369
- 0xffff: 1,
370
- 0xfffff: 1,
371
- 0xffffff: 1,
372
- 0xfffffff: 1,
373
- 0xffffffff: 1,
374
- 0xfffffffff: 1,
375
- 0xffffffffff: 1,
376
- 0xfffffffffff: 1},
377
- 21: { 0xf: 1,
378
- 0xff: 1,
379
- 0xfff: 1,
380
- 0xffff: 1,
381
- 0xfffff: 1,
382
- 0xffffff: 1,
383
- 0xfffffff: 1,
384
- 0xffffffff: 1,
385
- 0xfffffffff: 1,
386
- 0xffffffffff: 1,
387
- 0xfffffffffff: 1,
388
- 0xffffffffffff: 1},
389
- 23: { 0xf: 1,
390
- 0xff: 1,
391
- 0xfff: 1,
392
- 0xffff: 1,
393
- 0xfffff: 1,
394
- 0xffffff: 1,
395
- 0xfffffff: 1,
396
- 0xffffffff: 1,
397
- 0xfffffffff: 1,
398
- 0xffffffffff: 1,
399
- 0xfffffffffff: 1,
400
- 0xffffffffffff: 1,
401
- 0xfffffffffffff: 1},
402
- 25: { 0xf: 1,
403
- 0xff: 1,
404
- 0xfff: 1,
405
- 0xffff: 1,
406
- 0xfffff: 1,
407
- 0xffffff: 1,
408
- 0xfffffff: 1,
409
- 0xffffffff: 1,
410
- 0xfffffffff: 1,
411
- 0xffffffffff: 1,
412
- 0xfffffffffff: 1,
413
- 0xffffffffffff: 1,
414
- 0xfffffffffffff: 1,
415
- 0xffffffffffffff: 1},
416
- 27: { 0xf: 1,
417
- 0xff: 1,
418
- 0xfff: 1,
419
- 0xffff: 1,
420
- 0xfffff: 1,
421
- 0xffffff: 1,
422
- 0xfffffff: 1,
423
- 0xffffffff: 1,
424
- 0xfffffffff: 1,
425
- 0xffffffffff: 1,
426
- 0xfffffffffff: 1,
427
- 0xffffffffffff: 1,
428
- 0xfffffffffffff: 1,
429
- 0xffffffffffffff: 1,
430
- 0xfffffffffffffff: 1},
431
- 29: { 0xf: 1,
432
- 0xff: 1,
433
- 0xfff: 1,
434
- 0xffff: 1,
435
- 0xfffff: 1,
436
- 0xffffff: 1,
437
- 0xfffffff: 1,
438
- 0xffffffff: 1,
439
- 0xfffffffff: 1,
440
- 0xffffffffff: 1,
441
- 0xfffffffffff: 1,
442
- 0xffffffffffff: 1,
443
- 0xfffffffffffff: 1,
444
- 0xffffffffffffff: 1,
445
- 0xfffffffffffffff: 1,
446
- 0xffffffffffffffff: 1},
447
- 31: { 0xf: 1,
448
- 0xff: 1,
449
- 0xfff: 1,
450
- 0xffff: 1,
451
- 0xfffff: 1,
452
- 0xffffff: 1,
453
- 0xfffffff: 1,
454
- 0xffffffff: 1,
455
- 0xfffffffff: 1,
456
- 0xffffffffff: 1,
457
- 0xfffffffffff: 1,
458
- 0xffffffffffff: 1,
459
- 0xfffffffffffff: 1,
460
- 0xffffffffffffff: 1,
461
- 0xfffffffffffffff: 1,
462
- 0xffffffffffffffff: 1,
463
- 0xfffffffffffffffff: 1},
464
- 33: { 0xf: 1,
465
- 0xff: 1,
466
- 0xfff: 1,
467
- 0xffff: 1,
468
- 0xfffff: 1,
469
- 0xffffff: 1,
470
- 0xfffffff: 1,
471
- 0xffffffff: 1,
472
- 0xfffffffff: 1,
473
- 0xffffffffff: 1,
474
- 0xfffffffffff: 1,
475
- 0xffffffffffff: 1,
476
- 0xfffffffffffff: 1,
477
- 0xffffffffffffff: 1,
478
- 0xfffffffffffffff: 1,
479
- 0xffffffffffffffff: 1,
480
- 0xfffffffffffffffff: 1,
481
- 0xffffffffffffffffff: 1},
482
- 35: { 0xf: 1,
483
- 0xff: 1,
484
- 0xfff: 1,
485
- 0xffff: 1,
486
- 0xfffff: 1,
487
- 0xffffff: 1,
488
- 0xfffffff: 1,
489
- 0xffffffff: 1,
490
- 0xfffffffff: 1,
491
- 0xffffffffff: 1,
492
- 0xfffffffffff: 1,
493
- 0xffffffffffff: 1,
494
- 0xfffffffffffff: 1,
495
- 0xffffffffffffff: 1,
496
- 0xfffffffffffffff: 1,
497
- 0xffffffffffffffff: 1,
498
- 0xfffffffffffffffff: 1,
499
- 0xffffffffffffffffff: 1,
500
- 0xfffffffffffffffffff: 1},
501
- 37: { 0xf: 1,
502
- 0xff: 1,
503
- 0xfff: 1,
504
- 0xffff: 1,
505
- 0xfffff: 1,
506
- 0xffffff: 1,
507
- 0xfffffff: 1,
508
- 0xffffffff: 1,
509
- 0xfffffffff: 1,
510
- 0xffffffffff: 1,
511
- 0xfffffffffff: 1,
512
- 0xffffffffffff: 1,
513
- 0xfffffffffffff: 1,
514
- 0xffffffffffffff: 1,
515
- 0xfffffffffffffff: 1,
516
- 0xffffffffffffffff: 1,
517
- 0xfffffffffffffffff: 1,
518
- 0xffffffffffffffffff: 1,
519
- 0xfffffffffffffffffff: 1,
520
- 0xffffffffffffffffffff: 1},
521
- 39: { 0xf: 1,
522
- 0xff: 1,
523
- 0xfff: 1,
524
- 0xffff: 1,
525
- 0xfffff: 1,
526
- 0xffffff: 1,
527
- 0xfffffff: 1,
528
- 0xffffffff: 1,
529
- 0xfffffffff: 1,
530
- 0xffffffffff: 1,
531
- 0xfffffffffff: 1,
532
- 0xffffffffffff: 1,
533
- 0xfffffffffffff: 1,
534
- 0xffffffffffffff: 1,
535
- 0xfffffffffffffff: 1,
536
- 0xffffffffffffffff: 1,
537
- 0xfffffffffffffffff: 1,
538
- 0xffffffffffffffffff: 1,
539
- 0xfffffffffffffffffff: 1,
540
- 0xffffffffffffffffffff: 1,
541
- 0xfffffffffffffffffffff: 1},
542
- 41: { 0xf: 1,
543
- 0xff: 1,
544
- 0xfff: 1,
545
- 0xffff: 1,
546
- 0xfffff: 1,
547
- 0xffffff: 1,
548
- 0xfffffff: 1,
549
- 0xffffffff: 1,
550
- 0xfffffffff: 1,
551
- 0xffffffffff: 1,
552
- 0xfffffffffff: 1,
553
- 0xffffffffffff: 1,
554
- 0xfffffffffffff: 1,
555
- 0xffffffffffffff: 1,
556
- 0xfffffffffffffff: 1,
557
- 0xffffffffffffffff: 1,
558
- 0xfffffffffffffffff: 1,
559
- 0xffffffffffffffffff: 1,
560
- 0xfffffffffffffffffff: 1,
561
- 0xffffffffffffffffffff: 1,
562
- 0xfffffffffffffffffffff: 1,
563
- 0xffffffffffffffffffffff: 1},
564
- 43: { 0xf: 1,
565
- 0xff: 1,
566
- 0xfff: 1,
567
- 0xffff: 1,
568
- 0xfffff: 1,
569
- 0xffffff: 1,
570
- 0xfffffff: 1,
571
- 0xffffffff: 1,
572
- 0xfffffffff: 1,
573
- 0xffffffffff: 1,
574
- 0xfffffffffff: 1,
575
- 0xffffffffffff: 1,
576
- 0xfffffffffffff: 1,
577
- 0xffffffffffffff: 1,
578
- 0xfffffffffffffff: 1,
579
- 0xffffffffffffffff: 1,
580
- 0xfffffffffffffffff: 1,
581
- 0xffffffffffffffffff: 1,
582
- 0xfffffffffffffffffff: 1,
583
- 0xffffffffffffffffffff: 1,
584
- 0xfffffffffffffffffffff: 1,
585
- 0xffffffffffffffffffffff: 1,
586
- 0xfffffffffffffffffffffff: 1},
587
- 45: { 0xf: 1,
588
- 0xff: 1,
589
- 0xfff: 1,
590
- 0xffff: 1,
591
- 0xfffff: 1,
592
- 0xffffff: 1,
593
- 0xfffffff: 1,
594
- 0xffffffff: 1,
595
- 0xfffffffff: 1,
596
- 0xffffffffff: 1,
597
- 0xfffffffffff: 1,
598
- 0xffffffffffff: 1,
599
- 0xfffffffffffff: 1,
600
- 0xffffffffffffff: 1,
601
- 0xfffffffffffffff: 1,
602
- 0xffffffffffffffff: 1,
603
- 0xfffffffffffffffff: 1,
604
- 0xffffffffffffffffff: 1,
605
- 0xfffffffffffffffffff: 1,
606
- 0xffffffffffffffffffff: 1,
607
- 0xfffffffffffffffffffff: 1,
608
- 0xffffffffffffffffffffff: 1,
609
- 0xfffffffffffffffffffffff: 1,
610
- 0xffffffffffffffffffffffff: 1},
611
- 47: { 0xf: 1,
612
- 0xff: 1,
613
- 0xfff: 1,
614
- 0xffff: 1,
615
- 0xfffff: 1,
616
- 0xffffff: 1,
617
- 0xfffffff: 1,
618
- 0xffffffff: 1,
619
- 0xfffffffff: 1,
620
- 0xffffffffff: 1,
621
- 0xfffffffffff: 1,
622
- 0xffffffffffff: 1,
623
- 0xfffffffffffff: 1,
624
- 0xffffffffffffff: 1,
625
- 0xfffffffffffffff: 1,
626
- 0xffffffffffffffff: 1,
627
- 0xfffffffffffffffff: 1,
628
- 0xffffffffffffffffff: 1,
629
- 0xfffffffffffffffffff: 1,
630
- 0xffffffffffffffffffff: 1,
631
- 0xfffffffffffffffffffff: 1,
632
- 0xffffffffffffffffffffff: 1,
633
- 0xfffffffffffffffffffffff: 1,
634
- 0xffffffffffffffffffffffff: 1,
635
- 0xfffffffffffffffffffffffff: 1},
636
- 49: { 0xf: 1,
637
- 0xff: 1,
638
- 0xfff: 1,
639
- 0xffff: 1,
640
- 0xfffff: 1,
641
- 0xffffff: 1,
642
- 0xfffffff: 1,
643
- 0xffffffff: 1,
644
- 0xfffffffff: 1,
645
- 0xffffffffff: 1,
646
- 0xfffffffffff: 1,
647
- 0xffffffffffff: 1,
648
- 0xfffffffffffff: 1,
649
- 0xffffffffffffff: 1,
650
- 0xfffffffffffffff: 1,
651
- 0xffffffffffffffff: 1,
652
- 0xfffffffffffffffff: 1,
653
- 0xffffffffffffffffff: 1,
654
- 0xfffffffffffffffffff: 1,
655
- 0xffffffffffffffffffff: 1,
656
- 0xfffffffffffffffffffff: 1,
657
- 0xffffffffffffffffffffff: 1,
658
- 0xfffffffffffffffffffffff: 1,
659
- 0xffffffffffffffffffffffff: 1,
660
- 0xfffffffffffffffffffffffff: 1,
661
- 0xffffffffffffffffffffffffff: 1}
131
+ 15: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1},
132
+ 17: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1},
133
+ 19: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
134
+ , 0xfffffffffff: 1},
135
+ 21: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
136
+ , 0xfffffffffff: 1, 0xffffffffffff: 1},
137
+ 23: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
138
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1},
139
+ 25: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
140
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1},
141
+ 27: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
142
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1},
143
+ 29: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
144
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1, 0xffffffffffffffff: 1},
145
+ 31: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
146
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1, 0xffffffffffffffff: 1
147
+ , 0xfffffffffffffffff: 1},
148
+ 33: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
149
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1, 0xffffffffffffffff: 1
150
+ , 0xfffffffffffffffff: 1, 0xffffffffffffffffff: 1},
151
+ 35: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
152
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1, 0xffffffffffffffff: 1
153
+ , 0xfffffffffffffffff: 1, 0xffffffffffffffffff: 1, 0xfffffffffffffffffff: 1},
154
+ 37: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
155
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1, 0xffffffffffffffff: 1
156
+ , 0xfffffffffffffffff: 1, 0xffffffffffffffffff: 1, 0xfffffffffffffffffff: 1, 0xffffffffffffffffffff: 1},
157
+ 39: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
158
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1, 0xffffffffffffffff: 1
159
+ , 0xfffffffffffffffff: 1, 0xffffffffffffffffff: 1, 0xfffffffffffffffffff: 1, 0xffffffffffffffffffff: 1, 0xfffffffffffffffffffff: 1},
160
+ 41: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
161
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1, 0xffffffffffffffff: 1
162
+ , 0xfffffffffffffffff: 1, 0xffffffffffffffffff: 1, 0xfffffffffffffffffff: 1, 0xffffffffffffffffffff: 1, 0xfffffffffffffffffffff: 1
163
+ , 0xffffffffffffffffffffff: 1},
164
+ 43: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
165
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1, 0xffffffffffffffff: 1
166
+ , 0xfffffffffffffffff: 1, 0xffffffffffffffffff: 1, 0xfffffffffffffffffff: 1, 0xffffffffffffffffffff: 1, 0xfffffffffffffffffffff: 1
167
+ , 0xffffffffffffffffffffff: 1, 0xfffffffffffffffffffffff: 1},
168
+ 45: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
169
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1, 0xffffffffffffffff: 1
170
+ , 0xfffffffffffffffff: 1, 0xffffffffffffffffff: 1, 0xfffffffffffffffffff: 1, 0xffffffffffffffffffff: 1, 0xfffffffffffffffffffff: 1
171
+ , 0xffffffffffffffffffffff: 1, 0xfffffffffffffffffffffff: 1, 0xffffffffffffffffffffffff: 1},
172
+ 47: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
173
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1, 0xffffffffffffffff: 1
174
+ , 0xfffffffffffffffff: 1, 0xffffffffffffffffff: 1, 0xfffffffffffffffffff: 1, 0xffffffffffffffffffff: 1, 0xfffffffffffffffffffff: 1
175
+ , 0xffffffffffffffffffffff: 1, 0xfffffffffffffffffffffff: 1, 0xffffffffffffffffffffffff: 1, 0xfffffffffffffffffffffffff: 1},
176
+ 49: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1, 0xfffffffff: 1, 0xffffffffff: 1
177
+ , 0xfffffffffff: 1, 0xffffffffffff: 1, 0xfffffffffffff: 1, 0xffffffffffffff: 1, 0xfffffffffffffff: 1, 0xffffffffffffffff: 1
178
+ , 0xfffffffffffffffff: 1, 0xffffffffffffffffff: 1, 0xfffffffffffffffffff: 1, 0xffffffffffffffffffff: 1, 0xfffffffffffffffffffff: 1
179
+ , 0xffffffffffffffffffffff: 1, 0xfffffffffffffffffffffff: 1, 0xffffffffffffffffffffffff: 1, 0xfffffffffffffffffffffffff: 1
180
+ , 0xffffffffffffffffffffffffff: 1}
662
181
  }
663
182
 
664
- A000682_n_k_buckets: dict[int, dict[int, int]] = {2: {1: 1},
665
- 3: {2: 3, 1: 2},
666
- 4: {3: 4, 2: 7, 1: 2},
667
- 5: {4: 6, 3: 11, 2: 9, 1: 3},
668
- 6: {5: 7, 4: 18, 3: 15, 2: 10, 1: 3},
669
- 7: {6: 9, 5: 22, 4: 30, 3: 24, 2: 12, 1: 3},
670
- 8: {7: 10, 6: 29, 5: 38, 4: 43, 3: 30, 2: 12, 1: 3},
671
- 9: {8: 12, 7: 33, 6: 55, 5: 67, 4: 68, 3: 36, 2: 12, 1: 3},
672
- 10: {9: 13, 8: 40, 7: 63, 6: 96, 5: 108, 4: 80, 3: 39, 2: 12, 1: 3},
673
- 11: {10: 15, 9: 44, 8: 80, 7: 122, 6: 176, 5: 161, 4: 107, 3: 40, 2: 12, 1: 3},
674
- 12: {11: 16, 10: 51, 9: 88, 8: 153, 7: 230, 6: 257, 5: 220, 4: 114, 3: 40, 2: 12, 1: 3},
675
- 13: {12: 18, 11: 55, 10: 105, 9: 179, 8: 312, 7: 386, 6: 417, 5: 289, 4: 125, 3: 40, 2: 12, 1: 3},
676
- 14: {13: 19, 12: 62, 11: 113, 10: 210, 9: 368, 8: 530, 7: 634, 6: 559, 5: 336, 4: 125, 3: 40, 2: 12, 1: 3},
677
- 15: {14: 21, 13: 66, 12: 130, 11: 236, 10: 452, 9: 677, 8: 953, 7: 1001, 6: 789, 5: 376, 4: 125, 3: 40, 2: 12, 1: 3},
678
- 16: {15: 22, 14: 73, 13: 138, 12: 267, 11: 508, 10: 839, 9: 1246, 8: 1507,
679
- 7: 1440,
680
- 6: 949,
681
- 5: 391,
682
- 4: 125, 3: 40, 2: 12, 1: 3},
683
- 17: {16: 24,
684
- 15: 77,
685
- 14: 155,
686
- 13: 293,
687
- 12: 592,
688
- 11: 988,
689
- 10: 1641,
690
- 9: 2173,
691
- 8: 2464,
692
- 7: 2090,
693
- 6: 1125,
694
- 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
695
- 18: {17: 25,
696
- 16: 84,
697
- 15: 163,
698
- 14: 324,
699
- 13: 648,
700
- 12: 1152,
701
- 11: 1956,
702
- 10: 2901,
703
- 9: 3593,
704
- 8: 3647,
705
- 7: 2636,
706
- 6: 1207,
707
- 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
708
- 19: {18: 27,
709
- 17: 88,
710
- 16: 180,
711
- 15: 350,
712
- 14: 732,
713
- 13: 1301,
714
- 12: 2373,
715
- 11: 3681,
716
- 10: 5143,
717
- 9: 5981,
718
- 8: 5429,
719
- 7: 3327,
720
- 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
721
- 20: {19: 28,
722
- 18: 95,
723
- 17: 188,
724
- 16: 381,
725
- 15: 788,
726
- 14: 1465,
727
- 13: 2690,
728
- 12: 4523,
729
- 11: 6656,
730
- 10: 8610,
731
- 9: 9056,
732
- 8: 7279,
733
- 7: 3690,
734
- 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
735
- 21: {20: 30,
736
- 19: 99,
737
- 18: 205,
738
- 17: 407,
739
- 16: 872,
740
- 15: 1614,
741
- 14: 3109,
742
- 13: 5329,
743
- 12: 8588,
744
- 11: 11974,
745
- 10: 14374,
746
- 9: 14089,
747
- 8: 9518,
748
- 7: 4023,
749
- 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
750
- 22: {21: 31,
751
- 20: 106,
752
- 19: 213,
753
- 18: 438,
754
- 17: 928,
755
- 16: 1778,
756
- 15: 3426,
757
- 14: 6197,
758
- 13: 10261,
759
- 12: 15617,
760
- 11: 20195,
761
- 10: 22679,
762
- 9: 19410,
763
- 8: 11262,
764
- 7: 4086,
765
- 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
766
- 23: {22: 33,
767
- 21: 110,
768
- 20: 230,
769
- 19: 464,
770
- 18: 1012,
771
- 17: 1927,
772
- 16: 3845,
773
- 15: 7005,
774
- 14: 12353,
775
- 13: 19613,
776
- 12: 27851,
777
- 11: 34776,
778
- 10: 35619,
779
- 9: 27035,
780
- 8: 12699,
781
- 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
782
- 24: {23: 34,
783
- 22: 117,
784
- 21: 238,
785
- 20: 495,
786
- 19: 1068,
787
- 18: 2091,
788
- 17: 4162,
789
- 16: 7875,
790
- 15: 14056,
791
- 14: 23886,
792
- 13: 35546,
793
- 12: 48228,
794
- 11: 55361,
795
- 10: 51780,
796
- 9: 33109,
797
- 8: 13432,
798
- 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
799
- 25: {24: 36,
800
- 23: 121,
801
- 22: 255,
802
- 21: 521,
803
- 20: 1152,
804
- 19: 2240,
805
- 18: 4581,
806
- 17: 8683,
807
- 16: 16178,
808
- 15: 28096,
809
- 14: 45056,
810
- 13: 65039,
811
- 12: 82793,
812
- 11: 90239,
813
- 10: 74138,
814
- 9: 39904,
815
- 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
816
- 26: {25: 37,
817
- 24: 128,
818
- 23: 263,
819
- 22: 552,
820
- 21: 1208,
821
- 20: 2404,
822
- 19: 4898,
823
- 18: 9553,
824
- 17: 17883,
825
- 16: 32583,
826
- 15: 53729,
827
- 14: 83119,
828
- 13: 112605,
829
- 12: 136324,
830
- 11: 134146,
831
- 10: 96401,
832
- 9: 43344,
833
- 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
834
- 27: {26: 39,
835
- 25: 132,
836
- 24: 280,
837
- 23: 578,
838
- 22: 1292,
839
- 21: 2553,
840
- 20: 5317,
841
- 19: 10361,
842
- 18: 20007,
843
- 17: 36827,
844
- 16: 64215,
845
- 15: 103210,
846
- 14: 150571,
847
- 13: 198326,
848
- 12: 224238,
849
- 11: 200991,
850
- 10: 121280,
851
- 9: 45925,
852
- 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
853
- 28: {27: 40,
854
- 26: 139,
855
- 25: 288,
856
- 24: 609,
857
- 23: 1348,
858
- 22: 2717,
859
- 21: 5634,
860
- 20: 11231,
861
- 19: 21712,
862
- 18: 41348,
863
- 17: 73164,
864
- 16: 124546,
865
- 15: 189339,
866
- 14: 266489,
867
- 13: 329564,
868
- 12: 346088,
869
- 11: 271474,
870
- 10: 139089,
871
- 9: 46180,
872
- 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
873
- 29: {28: 42,
874
- 27: 143,
875
- 26: 305,
876
- 25: 635,
877
- 24: 1432,
878
- 23: 2866,
879
- 22: 6053,
880
- 21: 12039,
881
- 20: 23836,
882
- 19: 45594,
883
- 18: 83926,
884
- 17: 146073,
885
- 16: 236133,
886
- 15: 350057,
887
- 14: 469849,
888
- 13: 555810,
889
- 12: 532050,
890
- 11: 360894,
891
- 10: 152627,
892
- 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
893
- 30: {29: 43,
894
- 28: 150,
895
- 27: 313,
896
- 26: 666,
897
- 25: 1488,
898
- 24: 3030,
899
- 23: 6370,
900
- 22: 12909,
901
- 21: 25541,
902
- 20: 50117,
903
- 19: 92913,
904
- 18: 168843,
905
- 17: 280349,
906
- 16: 439394,
907
- 15: 621359,
908
- 14: 798513,
909
- 13: 876756,
910
- 12: 751023,
911
- 11: 432710,
912
- 10: 158370,
913
- 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
914
- 31: {30: 45,
915
- 29: 154,
916
- 28: 330,
917
- 27: 692,
918
- 26: 1572,
919
- 25: 3179,
920
- 24: 6789,
921
- 23: 13717,
922
- 22: 27665,
923
- 21: 54363,
924
- 20: 103713,
925
- 19: 190716,
926
- 18: 332563,
927
- 17: 539352,
928
- 16: 809394,
929
- 15: 1113810,
930
- 14: 1362571,
931
- 13: 1388349,
932
- 12: 1042754,
933
- 11: 500370,
934
- 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
935
- 32: {31: 46,
936
- 30: 161,
937
- 29: 338,
938
- 28: 723,
939
- 27: 1628,
940
- 26: 3343,
941
- 25: 7106,
942
- 24: 14587,
943
- 23: 29370,
944
- 22: 58886,
945
- 21: 112702,
946
- 20: 213832,
947
- 19: 378801,
948
- 18: 644901,
949
- 17: 1003146,
950
- 16: 1457001,
951
- 15: 1915119,
952
- 14: 2202762,
953
- 13: 2030967,
954
- 12: 1312481,
955
- 11: 535497,
956
- 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
957
- 33: {32: 48,
958
- 31: 165,
959
- 30: 355,
960
- 29: 749,
961
- 28: 1712,
962
- 27: 3492,
963
- 26: 7525,
964
- 25: 15395,
965
- 24: 31494,
966
- 23: 63132,
967
- 22: 123504,
968
- 21: 235747,
969
- 20: 433035,
970
- 19: 753455,
971
- 18: 1232751,
972
- 17: 1871038,
973
- 16: 2626659,
974
- 15: 3319434,
975
- 14: 3570650,
976
- 13: 2933353,
977
- 12: 1598645,
978
- 11: 554445,
979
- 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
980
- 34: {33: 49,
981
- 32: 172,
982
- 31: 363,
983
- 30: 780,
984
- 29: 1768,
985
- 28: 3656,
986
- 27: 7842,
987
- 26: 16265,
988
- 25: 33199,
989
- 24: 67655,
990
- 23: 132493,
991
- 22: 258905,
992
- 21: 479697,
993
- 20: 867568,
994
- 19: 1455199,
995
- 18: 2311329,
996
- 17: 3390891,
997
- 16: 4580341,
998
- 15: 5477009,
999
- 14: 5387332,
1000
- 13: 3871817,
1001
- 12: 1783151,
1002
- 11: 555468,
1003
- 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
1004
- 35: {34: 51,
1005
- 33: 176,
1006
- 32: 380,
1007
- 31: 806,
1008
- 30: 1852,
1009
- 29: 3805,
1010
- 28: 8261,
1011
- 27: 17073,
1012
- 26: 35323,
1013
- 25: 71901,
1014
- 24: 143295,
1015
- 23: 280822,
1016
- 22: 534355,
1017
- 21: 978874,
1018
- 20: 1713264,
1019
- 19: 2805336,
1020
- 18: 4319575,
1021
- 17: 6173318,
1022
- 16: 8040691,
1023
- 15: 9052952,
1024
- 14: 8074634,
1025
- 13: 4947978,
1026
- 12: 1916024,
1027
- 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
1028
- 36: {35: 52,
1029
- 34: 183,
1030
- 33: 388,
1031
- 32: 837,
1032
- 31: 1908,
1033
- 30: 3969,
1034
- 29: 8578,
1035
- 28: 17943,
1036
- 27: 37028,
1037
- 26: 76424,
1038
- 25: 152284,
1039
- 24: 303982,
1040
- 23: 581063,
1041
- 22: 1095737,
1042
- 21: 1948698,
1043
- 20: 3324541,
1044
- 19: 5281405,
1045
- 18: 7892629,
1046
- 17: 10900076,
1047
- 16: 13487427,
1048
- 15: 14076760,
1049
- 14: 11088900,
1050
- 13: 5797537,
1051
- 12: 1958298,
1052
- 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
1053
- 37: {36: 54,
1054
- 35: 187,
1055
- 34: 405,
1056
- 33: 863,
1057
- 32: 1992,
1058
- 31: 4118,
1059
- 30: 8997,
1060
- 29: 18751,
1061
- 28: 39152,
1062
- 27: 80670,
1063
- 26: 163086,
1064
- 25: 325899,
1065
- 24: 635767,
1066
- 23: 1207553,
1067
- 22: 2219713,
1068
- 21: 3866456,
1069
- 20: 6404525,
1070
- 19: 9938076,
1071
- 18: 14483567,
1072
- 17: 19330045,
1073
- 16: 22742215,
1074
- 15: 21703962,
1075
- 14: 14900810,
1076
- 13: 6495557,
1077
- 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
1078
- 38: {37: 55,
1079
- 36: 194,
1080
- 35: 413,
1081
- 34: 894,
1082
- 33: 2048,
1083
- 32: 4282,
1084
- 31: 9314,
1085
- 30: 19621,
1086
- 29: 40857,
1087
- 28: 85193,
1088
- 27: 172075,
1089
- 26: 349059,
1090
- 25: 682477,
1091
- 24: 1324926,
1092
- 23: 2458789,
1093
- 22: 4433267,
1094
- 21: 7512109,
1095
- 20: 12103327,
1096
- 19: 18313082,
1097
- 18: 25810004,
1098
- 17: 33004715,
1099
- 16: 36166618,
1100
- 15: 31051366,
1101
- 14: 18240006,
1102
- 13: 6852832,
1103
- 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
1104
- 39: {38: 57,
1105
- 37: 198,
1106
- 36: 430,
1107
- 35: 920,
1108
- 34: 2132,
1109
- 33: 4431,
1110
- 32: 9733,
1111
- 31: 20429,
1112
- 30: 42981,
1113
- 29: 89439,
1114
- 28: 182877,
1115
- 27: 370976,
1116
- 26: 737183,
1117
- 25: 1436792,
1118
- 24: 2733444,
1119
- 23: 4994096,
1120
- 22: 8779423,
1121
- 21: 14532802,
1122
- 20: 22886195,
1123
- 19: 33811401,
1124
- 18: 46318997,
1125
- 17: 56431443,
1126
- 16: 57413054,
1127
- 15: 43415133,
1128
- 14: 21545392,
1129
- 13: 6987797,
1130
- 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
1131
- 40: {39: 58,
1132
- 38: 205,
1133
- 37: 438,
1134
- 36: 951,
1135
- 35: 2188,
1136
- 34: 4595,
1137
- 33: 10050,
1138
- 32: 21299,
1139
- 31: 44686,
1140
- 30: 93962,
1141
- 29: 191866,
1142
- 28: 394136,
1143
- 27: 783893,
1144
- 26: 1554215,
1145
- 25: 2973124,
1146
- 24: 5579781,
1147
- 23: 9963639,
1148
- 22: 17076571,
1149
- 21: 27635220,
1150
- 20: 42386326,
1151
- 19: 60954311,
1152
- 18: 80046981,
1153
- 17: 91925448,
1154
- 16: 84766101,
1155
- 15: 55825149,
1156
- 14: 23520848,
1157
- 13: 6991892,
1158
- 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
1159
- 41: {40: 60,
1160
- 39: 209,
1161
- 38: 455,
1162
- 37: 977,
1163
- 36: 2272,
1164
- 35: 4744,
1165
- 34: 10469,
1166
- 33: 22107,
1167
- 32: 46810,
1168
- 31: 98208,
1169
- 30: 202668,
1170
- 29: 416053,
1171
- 28: 838599,
1172
- 27: 1666083,
1173
- 26: 3248383,
1174
- 25: 6145318,
1175
- 24: 11307209,
1176
- 23: 19760568,
1177
- 22: 33113935,
1178
- 21: 52462559,
1179
- 20: 78893438,
1180
- 19: 110205666,
1181
- 18: 139092963,
1182
- 17: 149051875,
1183
- 16: 123426818,
1184
- 15: 69060258,
1185
- 14: 24820492,
1186
- 13: 6991893, 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
1187
- 42: {41: 61,
1188
- 40: 216,
1189
- 39: 463,
1190
- 38: 1008,
1191
- 37: 2328,
1192
- 36: 4908,
1193
- 35: 10786,
1194
- 34: 22977,
1195
- 33: 48515,
1196
- 32: 102731,
1197
- 31: 211657,
1198
- 30: 439213,
1199
- 29: 885309,
1200
- 28: 1783508,
1201
- 27: 3488117,
1202
- 26: 6735709,
1203
- 25: 12518133,
1204
- 24: 22556659,
1205
- 23: 38585142,
1206
- 22: 63087090,
1207
- 21: 97976010,
1208
- 20: 143205206,
1209
- 19: 193254057,
1210
- 18: 230532979,
1211
- 17: 227278875,
1212
- 16: 165270633,
1213
- 15: 79044654,
1214
- 14: 25121921,
1215
- 13: 6991893, 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
1216
- 43: {42: 63,
1217
- 41: 220,
1218
- 40: 480,
1219
- 39: 1034,
1220
- 38: 2412,
1221
- 37: 5057,
1222
- 36: 11205,
1223
- 35: 23785,
1224
- 34: 50639,
1225
- 33: 106977,
1226
- 32: 222459,
1227
- 31: 461130,
1228
- 30: 940015,
1229
- 29: 1895376,
1230
- 28: 3763430,
1231
- 27: 7301952,
1232
- 26: 13888367,
1233
- 25: 25358758,
1234
- 24: 44777107,
1235
- 23: 74987273,
1236
- 22: 120433195,
1237
- 21: 183181758,
1238
- 20: 261558161,
1239
- 19: 339476211,
1240
- 18: 382193208,
1241
- 17: 341554878,
1242
- 16: 215010918,
1243
- 15: 86490799,
1244
- 14: 25134208, 13: 6991893, 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
1245
- 44: {43: 64,
1246
- 42: 227,
1247
- 41: 488,
1248
- 40: 1065,
1249
- 39: 2468,
1250
- 38: 5221,
1251
- 37: 11522,
1252
- 36: 24655,
1253
- 35: 52344,
1254
- 34: 111500,
1255
- 33: 231448,
1256
- 32: 484290,
1257
- 31: 986725,
1258
- 30: 2012801,
1259
- 29: 4003166,
1260
- 28: 7893049,
1261
- 27: 15105257,
1262
- 26: 28272493,
1263
- 25: 50675012,
1264
- 24: 87409266,
1265
- 23: 143780447,
1266
- 22: 225769164,
1267
- 21: 335799577,
1268
- 20: 463126519,
1269
- 19: 573255983,
1270
- 18: 597548359,
1271
- 17: 476691712,
1272
- 16: 256927790,
1273
- 15: 90039127,
1274
- 14: 25134208, 13: 6991893, 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
1275
- 45: {44: 66, 43: 231, 42: 505, 41: 1091, 40: 2552, 39: 5370, 38: 11941, 37: 25463, 36: 54468, 35: 115746, 34: 242250, 33: 506207, 32: 1041431, 31: 2124669, 30: 4278481, 29: 8459350, 28: 16481455, 27: 31111320, 26: 57290683, 25: 100616971, 24: 170443790, 23: 275265172, 22: 425141790}
183
+ A000682_n_boundary_buckets: dict[int, dict[int, int]] = {2: {1: 1},
184
+ 3: {2: 3, 1: 2},
185
+ 4: {3: 4, 2: 7, 1: 2},
186
+ 5: {4: 6, 3: 11, 2: 9, 1: 3},
187
+ 6: {5: 7, 4: 18, 3: 15, 2: 10, 1: 3},
188
+ 7: {6: 9, 5: 22, 4: 30, 3: 24, 2: 12, 1: 3},
189
+ 8: {7: 10, 6: 29, 5: 38, 4: 43, 3: 30, 2: 12, 1: 3},
190
+ 9: {8: 12, 7: 33, 6: 55, 5: 67, 4: 68, 3: 36, 2: 12, 1: 3},
191
+ 10: {9: 13, 8: 40, 7: 63, 6: 96, 5: 108, 4: 80, 3: 39, 2: 12, 1: 3},
192
+ 11: {10: 15, 9: 44, 8: 80, 7: 122, 6: 176, 5: 161, 4: 107, 3: 40, 2: 12, 1: 3},
193
+ 12: {11: 16, 10: 51, 9: 88, 8: 153, 7: 230, 6: 257, 5: 220, 4: 114, 3: 40, 2: 12, 1: 3},
194
+ 13: {12: 18, 11: 55, 10: 105, 9: 179, 8: 312, 7: 386, 6: 417, 5: 289, 4: 125, 3: 40, 2: 12, 1: 3},
195
+ 14: {13: 19, 12: 62, 11: 113, 10: 210, 9: 368, 8: 530, 7: 634, 6: 559, 5: 336, 4: 125, 3: 40, 2: 12, 1: 3},
196
+ 15: {14: 21, 13: 66, 12: 130, 11: 236, 10: 452, 9: 677, 8: 953, 7: 1001, 6: 789, 5: 376, 4: 125, 3: 40, 2: 12, 1: 3},
197
+ 16: {15: 22, 14: 73, 13: 138, 12: 267, 11: 508, 10: 839, 9: 1246, 8: 1507,
198
+ 7: 1440,
199
+ 6: 949,
200
+ 5: 391,
201
+ 4: 125, 3: 40, 2: 12, 1: 3},
202
+ 17: {16: 24,
203
+ 15: 77,
204
+ 14: 155,
205
+ 13: 293,
206
+ 12: 592,
207
+ 11: 988,
208
+ 10: 1641,
209
+ 9: 2173,
210
+ 8: 2464,
211
+ 7: 2090,
212
+ 6: 1125,
213
+ 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
214
+ 18: {17: 25,
215
+ 16: 84,
216
+ 15: 163,
217
+ 14: 324,
218
+ 13: 648,
219
+ 12: 1152,
220
+ 11: 1956,
221
+ 10: 2901,
222
+ 9: 3593,
223
+ 8: 3647,
224
+ 7: 2636,
225
+ 6: 1207,
226
+ 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
227
+ 19: {18: 27,
228
+ 17: 88,
229
+ 16: 180,
230
+ 15: 350,
231
+ 14: 732,
232
+ 13: 1301,
233
+ 12: 2373,
234
+ 11: 3681,
235
+ 10: 5143,
236
+ 9: 5981,
237
+ 8: 5429,
238
+ 7: 3327,
239
+ 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
240
+ 20: {19: 28,
241
+ 18: 95,
242
+ 17: 188,
243
+ 16: 381,
244
+ 15: 788,
245
+ 14: 1465,
246
+ 13: 2690,
247
+ 12: 4523,
248
+ 11: 6656,
249
+ 10: 8610,
250
+ 9: 9056,
251
+ 8: 7279,
252
+ 7: 3690,
253
+ 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
254
+ 21: {20: 30,
255
+ 19: 99,
256
+ 18: 205,
257
+ 17: 407,
258
+ 16: 872,
259
+ 15: 1614,
260
+ 14: 3109,
261
+ 13: 5329,
262
+ 12: 8588,
263
+ 11: 11974,
264
+ 10: 14374,
265
+ 9: 14089,
266
+ 8: 9518,
267
+ 7: 4023,
268
+ 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
269
+ 22: {21: 31,
270
+ 20: 106,
271
+ 19: 213,
272
+ 18: 438,
273
+ 17: 928,
274
+ 16: 1778,
275
+ 15: 3426,
276
+ 14: 6197,
277
+ 13: 10261,
278
+ 12: 15617,
279
+ 11: 20195,
280
+ 10: 22679,
281
+ 9: 19410,
282
+ 8: 11262,
283
+ 7: 4086,
284
+ 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
285
+ 23: {22: 33,
286
+ 21: 110,
287
+ 20: 230,
288
+ 19: 464,
289
+ 18: 1012,
290
+ 17: 1927,
291
+ 16: 3845,
292
+ 15: 7005,
293
+ 14: 12353,
294
+ 13: 19613,
295
+ 12: 27851,
296
+ 11: 34776,
297
+ 10: 35619,
298
+ 9: 27035,
299
+ 8: 12699,
300
+ 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
301
+ 24: {23: 34,
302
+ 22: 117,
303
+ 21: 238,
304
+ 20: 495,
305
+ 19: 1068,
306
+ 18: 2091,
307
+ 17: 4162,
308
+ 16: 7875,
309
+ 15: 14056,
310
+ 14: 23886,
311
+ 13: 35546,
312
+ 12: 48228,
313
+ 11: 55361,
314
+ 10: 51780,
315
+ 9: 33109,
316
+ 8: 13432,
317
+ 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
318
+ 25: {24: 36,
319
+ 23: 121,
320
+ 22: 255,
321
+ 21: 521,
322
+ 20: 1152,
323
+ 19: 2240,
324
+ 18: 4581,
325
+ 17: 8683,
326
+ 16: 16178,
327
+ 15: 28096,
328
+ 14: 45056,
329
+ 13: 65039,
330
+ 12: 82793,
331
+ 11: 90239,
332
+ 10: 74138,
333
+ 9: 39904,
334
+ 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
335
+ 26: {25: 37,
336
+ 24: 128,
337
+ 23: 263,
338
+ 22: 552,
339
+ 21: 1208,
340
+ 20: 2404,
341
+ 19: 4898,
342
+ 18: 9553,
343
+ 17: 17883,
344
+ 16: 32583,
345
+ 15: 53729,
346
+ 14: 83119,
347
+ 13: 112605,
348
+ 12: 136324,
349
+ 11: 134146,
350
+ 10: 96401,
351
+ 9: 43344,
352
+ 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
353
+ 27: {26: 39,
354
+ 25: 132,
355
+ 24: 280,
356
+ 23: 578,
357
+ 22: 1292,
358
+ 21: 2553,
359
+ 20: 5317,
360
+ 19: 10361,
361
+ 18: 20007,
362
+ 17: 36827,
363
+ 16: 64215,
364
+ 15: 103210,
365
+ 14: 150571,
366
+ 13: 198326,
367
+ 12: 224238,
368
+ 11: 200991,
369
+ 10: 121280,
370
+ 9: 45925,
371
+ 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
372
+ 28: {27: 40,
373
+ 26: 139,
374
+ 25: 288,
375
+ 24: 609,
376
+ 23: 1348,
377
+ 22: 2717,
378
+ 21: 5634,
379
+ 20: 11231,
380
+ 19: 21712,
381
+ 18: 41348,
382
+ 17: 73164,
383
+ 16: 124546,
384
+ 15: 189339,
385
+ 14: 266489,
386
+ 13: 329564,
387
+ 12: 346088,
388
+ 11: 271474,
389
+ 10: 139089,
390
+ 9: 46180,
391
+ 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
392
+ 29: {28: 42,
393
+ 27: 143,
394
+ 26: 305,
395
+ 25: 635,
396
+ 24: 1432,
397
+ 23: 2866,
398
+ 22: 6053,
399
+ 21: 12039,
400
+ 20: 23836,
401
+ 19: 45594,
402
+ 18: 83926,
403
+ 17: 146073,
404
+ 16: 236133,
405
+ 15: 350057,
406
+ 14: 469849,
407
+ 13: 555810,
408
+ 12: 532050,
409
+ 11: 360894,
410
+ 10: 152627,
411
+ 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
412
+ 30: {29: 43,
413
+ 28: 150,
414
+ 27: 313,
415
+ 26: 666,
416
+ 25: 1488,
417
+ 24: 3030,
418
+ 23: 6370,
419
+ 22: 12909,
420
+ 21: 25541,
421
+ 20: 50117,
422
+ 19: 92913,
423
+ 18: 168843,
424
+ 17: 280349,
425
+ 16: 439394,
426
+ 15: 621359,
427
+ 14: 798513,
428
+ 13: 876756,
429
+ 12: 751023,
430
+ 11: 432710,
431
+ 10: 158370,
432
+ 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
433
+ 31: {30: 45,
434
+ 29: 154,
435
+ 28: 330,
436
+ 27: 692,
437
+ 26: 1572,
438
+ 25: 3179,
439
+ 24: 6789,
440
+ 23: 13717,
441
+ 22: 27665,
442
+ 21: 54363,
443
+ 20: 103713,
444
+ 19: 190716,
445
+ 18: 332563,
446
+ 17: 539352,
447
+ 16: 809394,
448
+ 15: 1113810,
449
+ 14: 1362571,
450
+ 13: 1388349,
451
+ 12: 1042754,
452
+ 11: 500370,
453
+ 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
454
+ 32: {31: 46,
455
+ 30: 161,
456
+ 29: 338,
457
+ 28: 723,
458
+ 27: 1628,
459
+ 26: 3343,
460
+ 25: 7106,
461
+ 24: 14587,
462
+ 23: 29370,
463
+ 22: 58886,
464
+ 21: 112702,
465
+ 20: 213832,
466
+ 19: 378801,
467
+ 18: 644901,
468
+ 17: 1003146,
469
+ 16: 1457001,
470
+ 15: 1915119,
471
+ 14: 2202762,
472
+ 13: 2030967,
473
+ 12: 1312481,
474
+ 11: 535497,
475
+ 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
476
+ 33: {32: 48,
477
+ 31: 165,
478
+ 30: 355,
479
+ 29: 749,
480
+ 28: 1712,
481
+ 27: 3492,
482
+ 26: 7525,
483
+ 25: 15395,
484
+ 24: 31494,
485
+ 23: 63132,
486
+ 22: 123504,
487
+ 21: 235747,
488
+ 20: 433035,
489
+ 19: 753455,
490
+ 18: 1232751,
491
+ 17: 1871038,
492
+ 16: 2626659,
493
+ 15: 3319434,
494
+ 14: 3570650,
495
+ 13: 2933353,
496
+ 12: 1598645,
497
+ 11: 554445,
498
+ 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
499
+ 34: {33: 49,
500
+ 32: 172,
501
+ 31: 363,
502
+ 30: 780,
503
+ 29: 1768,
504
+ 28: 3656,
505
+ 27: 7842,
506
+ 26: 16265,
507
+ 25: 33199,
508
+ 24: 67655,
509
+ 23: 132493,
510
+ 22: 258905,
511
+ 21: 479697,
512
+ 20: 867568,
513
+ 19: 1455199,
514
+ 18: 2311329,
515
+ 17: 3390891,
516
+ 16: 4580341,
517
+ 15: 5477009,
518
+ 14: 5387332,
519
+ 13: 3871817,
520
+ 12: 1783151,
521
+ 11: 555468,
522
+ 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
523
+ 35: {34: 51,
524
+ 33: 176,
525
+ 32: 380,
526
+ 31: 806,
527
+ 30: 1852,
528
+ 29: 3805,
529
+ 28: 8261,
530
+ 27: 17073,
531
+ 26: 35323,
532
+ 25: 71901,
533
+ 24: 143295,
534
+ 23: 280822,
535
+ 22: 534355,
536
+ 21: 978874,
537
+ 20: 1713264,
538
+ 19: 2805336,
539
+ 18: 4319575,
540
+ 17: 6173318,
541
+ 16: 8040691,
542
+ 15: 9052952,
543
+ 14: 8074634,
544
+ 13: 4947978,
545
+ 12: 1916024,
546
+ 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
547
+ 36: {35: 52,
548
+ 34: 183,
549
+ 33: 388,
550
+ 32: 837,
551
+ 31: 1908,
552
+ 30: 3969,
553
+ 29: 8578,
554
+ 28: 17943,
555
+ 27: 37028,
556
+ 26: 76424,
557
+ 25: 152284,
558
+ 24: 303982,
559
+ 23: 581063,
560
+ 22: 1095737,
561
+ 21: 1948698,
562
+ 20: 3324541,
563
+ 19: 5281405,
564
+ 18: 7892629,
565
+ 17: 10900076,
566
+ 16: 13487427,
567
+ 15: 14076760,
568
+ 14: 11088900,
569
+ 13: 5797537,
570
+ 12: 1958298,
571
+ 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
572
+ 37: {36: 54,
573
+ 35: 187,
574
+ 34: 405,
575
+ 33: 863,
576
+ 32: 1992,
577
+ 31: 4118,
578
+ 30: 8997,
579
+ 29: 18751,
580
+ 28: 39152,
581
+ 27: 80670,
582
+ 26: 163086,
583
+ 25: 325899,
584
+ 24: 635767,
585
+ 23: 1207553,
586
+ 22: 2219713,
587
+ 21: 3866456,
588
+ 20: 6404525,
589
+ 19: 9938076,
590
+ 18: 14483567,
591
+ 17: 19330045,
592
+ 16: 22742215,
593
+ 15: 21703962,
594
+ 14: 14900810,
595
+ 13: 6495557,
596
+ 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
597
+ 38: {37: 55,
598
+ 36: 194,
599
+ 35: 413,
600
+ 34: 894,
601
+ 33: 2048,
602
+ 32: 4282,
603
+ 31: 9314,
604
+ 30: 19621,
605
+ 29: 40857,
606
+ 28: 85193,
607
+ 27: 172075,
608
+ 26: 349059,
609
+ 25: 682477,
610
+ 24: 1324926,
611
+ 23: 2458789,
612
+ 22: 4433267,
613
+ 21: 7512109,
614
+ 20: 12103327,
615
+ 19: 18313082,
616
+ 18: 25810004,
617
+ 17: 33004715,
618
+ 16: 36166618,
619
+ 15: 31051366,
620
+ 14: 18240006,
621
+ 13: 6852832,
622
+ 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
623
+ 39: {38: 57,
624
+ 37: 198,
625
+ 36: 430,
626
+ 35: 920,
627
+ 34: 2132,
628
+ 33: 4431,
629
+ 32: 9733,
630
+ 31: 20429,
631
+ 30: 42981,
632
+ 29: 89439,
633
+ 28: 182877,
634
+ 27: 370976,
635
+ 26: 737183,
636
+ 25: 1436792,
637
+ 24: 2733444,
638
+ 23: 4994096,
639
+ 22: 8779423,
640
+ 21: 14532802,
641
+ 20: 22886195,
642
+ 19: 33811401,
643
+ 18: 46318997,
644
+ 17: 56431443,
645
+ 16: 57413054,
646
+ 15: 43415133,
647
+ 14: 21545392,
648
+ 13: 6987797,
649
+ 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
650
+ 40: {39: 58,
651
+ 38: 205,
652
+ 37: 438,
653
+ 36: 951,
654
+ 35: 2188,
655
+ 34: 4595,
656
+ 33: 10050,
657
+ 32: 21299,
658
+ 31: 44686,
659
+ 30: 93962,
660
+ 29: 191866,
661
+ 28: 394136,
662
+ 27: 783893,
663
+ 26: 1554215,
664
+ 25: 2973124,
665
+ 24: 5579781,
666
+ 23: 9963639,
667
+ 22: 17076571,
668
+ 21: 27635220,
669
+ 20: 42386326,
670
+ 19: 60954311,
671
+ 18: 80046981,
672
+ 17: 91925448,
673
+ 16: 84766101,
674
+ 15: 55825149,
675
+ 14: 23520848,
676
+ 13: 6991892,
677
+ 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
678
+ 41: {40: 60,
679
+ 39: 209,
680
+ 38: 455,
681
+ 37: 977,
682
+ 36: 2272,
683
+ 35: 4744,
684
+ 34: 10469,
685
+ 33: 22107,
686
+ 32: 46810,
687
+ 31: 98208,
688
+ 30: 202668,
689
+ 29: 416053,
690
+ 28: 838599,
691
+ 27: 1666083,
692
+ 26: 3248383,
693
+ 25: 6145318,
694
+ 24: 11307209,
695
+ 23: 19760568,
696
+ 22: 33113935,
697
+ 21: 52462559,
698
+ 20: 78893438,
699
+ 19: 110205666,
700
+ 18: 139092963,
701
+ 17: 149051875,
702
+ 16: 123426818,
703
+ 15: 69060258,
704
+ 14: 24820492,
705
+ 13: 6991893, 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
706
+ 42: {41: 61,
707
+ 40: 216,
708
+ 39: 463,
709
+ 38: 1008,
710
+ 37: 2328,
711
+ 36: 4908,
712
+ 35: 10786,
713
+ 34: 22977,
714
+ 33: 48515,
715
+ 32: 102731,
716
+ 31: 211657,
717
+ 30: 439213,
718
+ 29: 885309,
719
+ 28: 1783508,
720
+ 27: 3488117,
721
+ 26: 6735709,
722
+ 25: 12518133,
723
+ 24: 22556659,
724
+ 23: 38585142,
725
+ 22: 63087090,
726
+ 21: 97976010,
727
+ 20: 143205206,
728
+ 19: 193254057,
729
+ 18: 230532979,
730
+ 17: 227278875,
731
+ 16: 165270633,
732
+ 15: 79044654,
733
+ 14: 25121921,
734
+ 13: 6991893, 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
735
+ 43: {42: 63,
736
+ 41: 220,
737
+ 40: 480,
738
+ 39: 1034,
739
+ 38: 2412,
740
+ 37: 5057,
741
+ 36: 11205,
742
+ 35: 23785,
743
+ 34: 50639,
744
+ 33: 106977,
745
+ 32: 222459,
746
+ 31: 461130,
747
+ 30: 940015,
748
+ 29: 1895376,
749
+ 28: 3763430,
750
+ 27: 7301952,
751
+ 26: 13888367,
752
+ 25: 25358758,
753
+ 24: 44777107,
754
+ 23: 74987273,
755
+ 22: 120433195,
756
+ 21: 183181758,
757
+ 20: 261558161,
758
+ 19: 339476211,
759
+ 18: 382193208,
760
+ 17: 341554878,
761
+ 16: 215010918,
762
+ 15: 86490799,
763
+ 14: 25134208, 13: 6991893, 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
764
+ 44: {43: 64,
765
+ 42: 227,
766
+ 41: 488,
767
+ 40: 1065,
768
+ 39: 2468,
769
+ 38: 5221,
770
+ 37: 11522,
771
+ 36: 24655,
772
+ 35: 52344,
773
+ 34: 111500,
774
+ 33: 231448,
775
+ 32: 484290,
776
+ 31: 986725,
777
+ 30: 2012801,
778
+ 29: 4003166,
779
+ 28: 7893049,
780
+ 27: 15105257,
781
+ 26: 28272493,
782
+ 25: 50675012,
783
+ 24: 87409266,
784
+ 23: 143780447,
785
+ 22: 225769164,
786
+ 21: 335799577,
787
+ 20: 463126519,
788
+ 19: 573255983,
789
+ 18: 597548359,
790
+ 17: 476691712,
791
+ 16: 256927790,
792
+ 15: 90039127,
793
+ 14: 25134208, 13: 6991893, 12: 1961369, 11: 555469, 10: 159137, 9: 46181, 8: 13623, 7: 4087, 6: 1254, 5: 392, 4: 125, 3: 40, 2: 12, 1: 3},
794
+ 45: {44: 66, 43: 231, 42: 505, 41: 1091, 40: 2552, 39: 5370, 38: 11941, 37: 25463, 36: 54468, 35: 115746, 34: 242250, 33: 506207, 32: 1041431, 31: 2124669, 30: 4278481, 29: 8459350, 28: 16481455, 27: 31111320, 26: 57290683, 25: 100616971, 24: 170443790, 23: 275265172, 22: 425141790,
795
+ 21: 617123017,
796
+ }
1276
797
  }