mapFolding 0.16.1__py3-none-any.whl → 0.16.4__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 (78) hide show
  1. easyRun/A000682.py +1 -1
  2. easyRun/A005316.py +2 -3
  3. easyRun/NOTcountingFolds.py +6 -5
  4. easyRun/countFolds.py +1 -1
  5. easyRun/generateAllModules.py +14 -0
  6. easyRun/meanders.py +16 -18
  7. mapFolding/__init__.py +1 -0
  8. mapFolding/_theSSOT.py +3 -2
  9. mapFolding/_theTypes.py +3 -0
  10. mapFolding/algorithms/A086345.py +75 -0
  11. mapFolding/algorithms/matrixMeanders.py +15 -28
  12. mapFolding/algorithms/matrixMeandersBeDry.py +34 -116
  13. mapFolding/algorithms/matrixMeandersNumPy.py +117 -70
  14. mapFolding/algorithms/matrixMeandersPandas.py +113 -130
  15. mapFolding/algorithms/oeisIDbyFormula.py +25 -14
  16. mapFolding/algorithms/symmetricFolds.py +36 -0
  17. mapFolding/algorithms/zCuzDocStoopidoeisIDbyFormula.py +26 -12
  18. mapFolding/basecamp.py +152 -323
  19. mapFolding/dataBaskets.py +136 -34
  20. mapFolding/filesystemToolkit.py +4 -32
  21. mapFolding/oeis.py +5 -12
  22. mapFolding/reference/A000682facts.py +785 -1264
  23. mapFolding/reference/A005316facts.py +958 -923
  24. mapFolding/reference/A086345Wu.py +25 -0
  25. mapFolding/reference/matrixMeandersAnalysis/signatures.py +2033 -0
  26. mapFolding/someAssemblyRequired/A007822/A007822rawMaterials.py +9 -44
  27. mapFolding/someAssemblyRequired/A007822/_asynchronousAnnex.py +51 -0
  28. mapFolding/someAssemblyRequired/A007822/makeA007822AsynchronousModules.py +39 -136
  29. mapFolding/someAssemblyRequired/A007822/makeA007822Modules.py +44 -45
  30. mapFolding/someAssemblyRequired/RecipeJob.py +78 -18
  31. mapFolding/someAssemblyRequired/__init__.py +3 -8
  32. mapFolding/someAssemblyRequired/_toolkitContainers.py +32 -3
  33. mapFolding/someAssemblyRequired/infoBooth.py +40 -23
  34. mapFolding/someAssemblyRequired/makeJobTheorem2Numba.py +75 -154
  35. mapFolding/someAssemblyRequired/makeJobTheorem2codon.py +56 -88
  36. mapFolding/someAssemblyRequired/makingModules_count.py +91 -85
  37. mapFolding/someAssemblyRequired/makingModules_doTheNeedful.py +7 -65
  38. mapFolding/someAssemblyRequired/{mapFolding → mapFoldingModules}/makeMapFoldingModules.py +25 -31
  39. mapFolding/someAssemblyRequired/meanders/makeMeandersModules.py +14 -13
  40. mapFolding/someAssemblyRequired/toolkitMakeModules.py +10 -10
  41. mapFolding/someAssemblyRequired/toolkitNumba.py +1 -1
  42. mapFolding/someAssemblyRequired/transformationTools.py +17 -19
  43. mapFolding/syntheticModules/A007822/algorithm.py +46 -50
  44. mapFolding/syntheticModules/A007822/asynchronous.py +93 -34
  45. mapFolding/syntheticModules/A007822/initializeState.py +15 -21
  46. mapFolding/syntheticModules/A007822/theorem2.py +21 -21
  47. mapFolding/syntheticModules/A007822/theorem2Numba.py +42 -23
  48. mapFolding/syntheticModules/A007822/theorem2Trimmed.py +21 -21
  49. mapFolding/syntheticModules/countParallelNumba.py +3 -7
  50. mapFolding/syntheticModules/daoOfMapFoldingNumba.py +3 -6
  51. mapFolding/syntheticModules/meanders/bigInt.py +15 -25
  52. mapFolding/syntheticModules/theorem2.py +6 -0
  53. mapFolding/syntheticModules/theorem2Numba.py +26 -2
  54. mapFolding/syntheticModules/theorem2Trimmed.py +6 -0
  55. mapFolding/tests/test_computations.py +1 -1
  56. mapFolding/zCuzDocStoopid/makeDocstrings.py +2 -0
  57. {mapfolding-0.16.1.dist-info → mapfolding-0.16.4.dist-info}/METADATA +4 -1
  58. mapfolding-0.16.4.dist-info/RECORD +106 -0
  59. mapFolding/_dataPacking.py +0 -68
  60. mapFolding/reference/meandersDumpingGround/A005316intOptimized.py +0 -122
  61. mapFolding/reference/meandersDumpingGround/A005316optimized128bit.py +0 -79
  62. mapFolding/reference/meandersDumpingGround/matrixMeandersBaseline.py +0 -65
  63. mapFolding/reference/meandersDumpingGround/matrixMeandersBaselineAnnex.py +0 -84
  64. mapFolding/reference/meandersDumpingGround/matrixMeandersSimpleQueue.py +0 -90
  65. mapFolding/syntheticModules/A007822/algorithmNumba.py +0 -94
  66. mapFolding/syntheticModules/A007822/asynchronousAnnex.py +0 -66
  67. mapFolding/syntheticModules/A007822/asynchronousAnnexNumba.py +0 -85
  68. mapFolding/syntheticModules/A007822/asynchronousNumba.py +0 -52
  69. mapFolding/syntheticModules/A007822/asynchronousTheorem2.py +0 -53
  70. mapFolding/syntheticModules/A007822/asynchronousTrimmed.py +0 -47
  71. mapFolding/syntheticModules/dataPacking.py +0 -28
  72. mapFolding/syntheticModules/dataPackingA007822.py +0 -92
  73. mapfolding-0.16.1.dist-info/RECORD +0 -114
  74. /mapFolding/someAssemblyRequired/{mapFolding → mapFoldingModules}/__init__.py +0 -0
  75. {mapfolding-0.16.1.dist-info → mapfolding-0.16.4.dist-info}/WHEEL +0 -0
  76. {mapfolding-0.16.1.dist-info → mapfolding-0.16.4.dist-info}/entry_points.txt +0 -0
  77. {mapfolding-0.16.1.dist-info → mapfolding-0.16.4.dist-info}/licenses/LICENSE +0 -0
  78. {mapfolding-0.16.1.dist-info → mapfolding-0.16.4.dist-info}/top_level.txt +0 -0
@@ -0,0 +1,2033 @@
1
+ """buckets and signatures."""
2
+ bucketsTotalMaximumBy_boundary: dict[int, int] = {1:3, 2:12, 3:40, 4:125, 5:392, 6:1254, 7:4087, 8:13623, 9:46181, 10:159137, 11:555469, 12:1961369, 13:6991893, 14:25134208}
3
+
4
+ signatures: dict[str, dict[int, dict[int, int]]] = {'A000682': {2: {1: 1, 2: 3},
5
+ 3: {1: 1, 2: 3, 3: 3},
6
+ 4: {1: 1, 2: 3, 3: 4, 4: 4},
7
+ 5: {1: 1, 2: 4, 3: 6, 4: 6, 5: 4},
8
+ 6: {1: 1, 2: 4, 3: 7, 4: 10, 5: 7, 6: 5},
9
+ 7: {1: 1, 2: 4, 3: 10, 4: 16, 5: 13, 6: 9, 7: 5},
10
+ 8: {1: 1, 2: 4, 3: 10, 4: 21, 5: 21, 6: 17, 7: 10, 8: 6},
11
+ 9: {1: 1, 2: 4, 3: 10, 4: 28, 5: 35, 6: 32, 7: 20, 8: 12, 9: 6},
12
+ 10: {1: 1, 2: 4, 3: 10, 4: 31, 5: 46, 6: 56, 7: 37, 8: 24, 9: 13, 10: 7},
13
+ 11: {1: 1,
14
+ 2: 4,
15
+ 3: 10,
16
+ 4: 32,
17
+ 5: 68,
18
+ 6: 86,
19
+ 7: 72,
20
+ 8: 48,
21
+ 9: 27,
22
+ 10: 15,
23
+ 11: 7},
24
+ 12: {1: 1,
25
+ 2: 4,
26
+ 3: 10,
27
+ 4: 32,
28
+ 5: 78,
29
+ 6: 123,
30
+ 7: 116,
31
+ 8: 95,
32
+ 9: 53,
33
+ 10: 31,
34
+ 11: 16,
35
+ 12: 8},
36
+ 13: {1: 1,
37
+ 2: 4,
38
+ 3: 10,
39
+ 4: 32,
40
+ 5: 90,
41
+ 6: 177,
42
+ 7: 194,
43
+ 8: 170,
44
+ 9: 111,
45
+ 10: 64,
46
+ 11: 34,
47
+ 12: 18,
48
+ 13: 8},
49
+ 14: {1: 1,
50
+ 2: 4,
51
+ 3: 10,
52
+ 4: 32,
53
+ 5: 90,
54
+ 6: 220,
55
+ 7: 283,
56
+ 8: 291,
57
+ 9: 202,
58
+ 10: 134,
59
+ 11: 69,
60
+ 12: 38,
61
+ 13: 19,
62
+ 14: 9},
63
+ 15: {1: 1,
64
+ 2: 4,
65
+ 3: 10,
66
+ 4: 32,
67
+ 5: 90,
68
+ 6: 270,
69
+ 7: 433,
70
+ 8: 470,
71
+ 9: 378,
72
+ 10: 258,
73
+ 11: 150,
74
+ 12: 80,
75
+ 13: 41,
76
+ 14: 21,
77
+ 15: 9},
78
+ 16: {1: 1,
79
+ 2: 4,
80
+ 3: 10,
81
+ 4: 32,
82
+ 5: 90,
83
+ 6: 285,
84
+ 7: 572,
85
+ 8: 711,
86
+ 9: 636,
87
+ 10: 493,
88
+ 11: 290,
89
+ 12: 173,
90
+ 13: 85,
91
+ 14: 45,
92
+ 15: 22,
93
+ 16: 10},
94
+ 17: {1: 1,
95
+ 2: 4,
96
+ 3: 10,
97
+ 4: 32,
98
+ 5: 90,
99
+ 6: 286,
100
+ 7: 750,
101
+ 8: 1105,
102
+ 9: 1074,
103
+ 10: 895,
104
+ 11: 582,
105
+ 12: 346,
106
+ 13: 189,
107
+ 14: 96,
108
+ 15: 48,
109
+ 16: 24,
110
+ 17: 10},
111
+ 18: {1: 1,
112
+ 2: 4,
113
+ 3: 10,
114
+ 4: 32,
115
+ 5: 90,
116
+ 6: 286,
117
+ 7: 847,
118
+ 8: 1517,
119
+ 9: 1691,
120
+ 10: 1528,
121
+ 11: 1081,
122
+ 12: 699,
123
+ 13: 378,
124
+ 14: 212,
125
+ 15: 101,
126
+ 16: 52,
127
+ 17: 25,
128
+ 18: 11},
129
+ 19: {1: 1,
130
+ 2: 4,
131
+ 3: 10,
132
+ 4: 32,
133
+ 5: 90,
134
+ 6: 286,
135
+ 7: 895,
136
+ 8: 2109,
137
+ 9: 2693,
138
+ 10: 2592,
139
+ 11: 1985,
140
+ 12: 1362,
141
+ 13: 788,
142
+ 14: 434,
143
+ 15: 228,
144
+ 16: 112,
145
+ 17: 55,
146
+ 18: 27,
147
+ 19: 11},
148
+ 20: {1: 1,
149
+ 2: 4,
150
+ 3: 10,
151
+ 4: 32,
152
+ 5: 90,
153
+ 6: 286,
154
+ 7: 895,
155
+ 8: 2507,
156
+ 9: 3912,
157
+ 10: 4118,
158
+ 11: 3462,
159
+ 12: 2549,
160
+ 13: 1550,
161
+ 14: 905,
162
+ 15: 466,
163
+ 16: 251,
164
+ 17: 117,
165
+ 18: 59,
166
+ 19: 28,
167
+ 20: 12},
168
+ 21: {1: 1,
169
+ 2: 4,
170
+ 3: 10,
171
+ 4: 32,
172
+ 5: 90,
173
+ 6: 286,
174
+ 7: 895,
175
+ 8: 2886,
176
+ 9: 5633,
177
+ 10: 6737,
178
+ 11: 5966,
179
+ 12: 4699,
180
+ 13: 3030,
181
+ 14: 1833,
182
+ 15: 994,
183
+ 16: 522,
184
+ 17: 267,
185
+ 18: 128,
186
+ 19: 62,
187
+ 20: 30,
188
+ 21: 12},
189
+ 22: {1: 1,
190
+ 2: 4,
191
+ 3: 10,
192
+ 4: 32,
193
+ 5: 90,
194
+ 6: 286,
195
+ 7: 895,
196
+ 8: 2949,
197
+ 9: 7211,
198
+ 10: 9997,
199
+ 11: 9856,
200
+ 12: 8145,
201
+ 13: 5705,
202
+ 14: 3620,
203
+ 15: 2021,
204
+ 16: 1111,
205
+ 17: 554,
206
+ 18: 290,
207
+ 19: 133,
208
+ 20: 66,
209
+ 21: 31,
210
+ 22: 13},
211
+ 23: {1: 1,
212
+ 2: 4,
213
+ 3: 10,
214
+ 4: 32,
215
+ 5: 90,
216
+ 6: 286,
217
+ 7: 895,
218
+ 8: 2950,
219
+ 9: 8835,
220
+ 10: 15086,
221
+ 11: 16312,
222
+ 12: 14263,
223
+ 13: 10485,
224
+ 14: 7098,
225
+ 15: 4103,
226
+ 16: 2304,
227
+ 17: 1200,
228
+ 18: 610,
229
+ 19: 306,
230
+ 20: 144,
231
+ 21: 69,
232
+ 22: 33,
233
+ 23: 13},
234
+ 24: {1: 1,
235
+ 2: 4,
236
+ 3: 10,
237
+ 4: 32,
238
+ 5: 90,
239
+ 6: 286,
240
+ 7: 895,
241
+ 8: 2950,
242
+ 9: 9631,
243
+ 10: 20167,
244
+ 11: 25283,
245
+ 12: 23638,
246
+ 13: 18700,
247
+ 14: 13242,
248
+ 15: 8132,
249
+ 16: 4695,
250
+ 17: 2492,
251
+ 18: 1317,
252
+ 19: 642,
253
+ 20: 329,
254
+ 21: 149,
255
+ 22: 73,
256
+ 23: 34,
257
+ 24: 14},
258
+ 25: {1: 1,
259
+ 2: 4,
260
+ 3: 10,
261
+ 4: 32,
262
+ 5: 90,
263
+ 6: 286,
264
+ 7: 895,
265
+ 8: 2950,
266
+ 9: 9823,
267
+ 10: 26527,
268
+ 11: 39122,
269
+ 12: 40065,
270
+ 13: 32983,
271
+ 14: 24625,
272
+ 15: 15768,
273
+ 16: 9555,
274
+ 17: 5178,
275
+ 18: 2775,
276
+ 19: 1406,
277
+ 20: 698,
278
+ 21: 345,
279
+ 22: 160,
280
+ 23: 76,
281
+ 24: 36,
282
+ 25: 14},
283
+ 26: {1: 1,
284
+ 2: 4,
285
+ 3: 10,
286
+ 4: 32,
287
+ 5: 90,
288
+ 6: 286,
289
+ 7: 895,
290
+ 8: 2950,
291
+ 9: 9823,
292
+ 10: 30509,
293
+ 11: 55180,
294
+ 12: 63216,
295
+ 13: 56314,
296
+ 14: 43601,
297
+ 15: 29850,
298
+ 16: 18735,
299
+ 17: 10591,
300
+ 18: 5770,
301
+ 19: 2963,
302
+ 20: 1523,
303
+ 21: 730,
304
+ 22: 368,
305
+ 23: 165,
306
+ 24: 80,
307
+ 25: 37,
308
+ 26: 15},
309
+ 27: {1: 1,
310
+ 2: 4,
311
+ 3: 10,
312
+ 4: 32,
313
+ 5: 90,
314
+ 6: 286,
315
+ 7: 895,
316
+ 8: 2950,
317
+ 9: 9823,
318
+ 10: 33280,
319
+ 11: 76211,
320
+ 12: 100970,
321
+ 13: 96450,
322
+ 14: 78026,
323
+ 15: 55382,
324
+ 16: 36691,
325
+ 17: 21293,
326
+ 18: 12016,
327
+ 19: 6253,
328
+ 20: 3246,
329
+ 21: 1612,
330
+ 22: 786,
331
+ 23: 384,
332
+ 24: 176,
333
+ 25: 83,
334
+ 26: 39,
335
+ 27: 15},
336
+ 28: {1: 1,
337
+ 2: 4,
338
+ 3: 10,
339
+ 4: 32,
340
+ 5: 90,
341
+ 6: 286,
342
+ 7: 895,
343
+ 8: 2950,
344
+ 9: 9823,
345
+ 10: 33535,
346
+ 11: 93600,
347
+ 12: 147507,
348
+ 13: 156729,
349
+ 14: 133964,
350
+ 15: 100347,
351
+ 16: 68828,
352
+ 17: 42160,
353
+ 18: 24294,
354
+ 19: 13052,
355
+ 20: 6845,
356
+ 21: 3434,
357
+ 22: 1729,
358
+ 23: 818,
359
+ 24: 407,
360
+ 25: 181,
361
+ 26: 87,
362
+ 27: 40,
363
+ 28: 16},
364
+ 29: {1: 1,
365
+ 2: 4,
366
+ 3: 10,
367
+ 4: 32,
368
+ 5: 90,
369
+ 6: 286,
370
+ 7: 895,
371
+ 8: 2950,
372
+ 9: 9823,
373
+ 10: 33536,
374
+ 11: 109141,
375
+ 12: 213561,
376
+ 13: 255602,
377
+ 14: 233250,
378
+ 15: 180908,
379
+ 16: 128861,
380
+ 17: 81797,
381
+ 18: 49273,
382
+ 19: 26854,
383
+ 20: 14477,
384
+ 21: 7328,
385
+ 22: 3717,
386
+ 23: 1818,
387
+ 24: 874,
388
+ 25: 423,
389
+ 26: 192,
390
+ 27: 90,
391
+ 28: 42,
392
+ 29: 16},
393
+ 30: {1: 1,
394
+ 2: 4,
395
+ 3: 10,
396
+ 4: 32,
397
+ 5: 90,
398
+ 6: 286,
399
+ 7: 895,
400
+ 8: 2950,
401
+ 9: 9823,
402
+ 10: 33536,
403
+ 11: 115139,
404
+ 12: 277197,
405
+ 13: 387059,
406
+ 14: 385448,
407
+ 15: 316779,
408
+ 16: 232988,
409
+ 17: 155380,
410
+ 18: 96609,
411
+ 19: 54778,
412
+ 20: 29857,
413
+ 21: 15513,
414
+ 22: 7920,
415
+ 23: 3905,
416
+ 24: 1935,
417
+ 25: 906,
418
+ 26: 446,
419
+ 27: 197,
420
+ 28: 94,
421
+ 29: 43,
422
+ 30: 17},
423
+ 31: {1: 1,
424
+ 2: 4,
425
+ 3: 10,
426
+ 4: 32,
427
+ 5: 90,
428
+ 6: 286,
429
+ 7: 895,
430
+ 8: 2950,
431
+ 9: 9823,
432
+ 10: 33536,
433
+ 11: 115907,
434
+ 12: 345577,
435
+ 13: 582147,
436
+ 14: 641766,
437
+ 15: 557714,
438
+ 16: 424058,
439
+ 17: 291640,
440
+ 18: 188764,
441
+ 19: 109888,
442
+ 20: 61929,
443
+ 21: 32417,
444
+ 22: 16938,
445
+ 23: 8403,
446
+ 24: 4188,
447
+ 25: 2024,
448
+ 26: 962,
449
+ 27: 462,
450
+ 28: 208,
451
+ 29: 97,
452
+ 30: 45,
453
+ 31: 17},
454
+ 32: {1: 1,
455
+ 2: 4,
456
+ 3: 10,
457
+ 4: 32,
458
+ 5: 90,
459
+ 6: 286,
460
+ 7: 895,
461
+ 8: 2950,
462
+ 9: 9823,
463
+ 10: 33536,
464
+ 11: 115907,
465
+ 12: 385680,
466
+ 13: 793970,
467
+ 14: 1000525,
468
+ 15: 939680,
469
+ 16: 748586,
470
+ 17: 535485,
471
+ 18: 357068,
472
+ 19: 216991,
473
+ 20: 125042,
474
+ 21: 67436,
475
+ 22: 35420,
476
+ 23: 17974,
477
+ 24: 8995,
478
+ 25: 4376,
479
+ 26: 2141,
480
+ 27: 994,
481
+ 28: 485,
482
+ 29: 213,
483
+ 30: 101,
484
+ 31: 46,
485
+ 32: 18},
486
+ 33: {1: 1,
487
+ 2: 4,
488
+ 3: 10,
489
+ 4: 32,
490
+ 5: 90,
491
+ 6: 286,
492
+ 7: 895,
493
+ 8: 2950,
494
+ 9: 9823,
495
+ 10: 33536,
496
+ 11: 115907,
497
+ 12: 405394,
498
+ 13: 1051296,
499
+ 14: 1552529,
500
+ 15: 1593398,
501
+ 16: 1332136,
502
+ 17: 983050,
503
+ 18: 673266,
504
+ 19: 422538,
505
+ 20: 252319,
506
+ 21: 138361,
507
+ 22: 74589,
508
+ 23: 37980,
509
+ 24: 19399,
510
+ 25: 9478,
511
+ 26: 4659,
512
+ 27: 2230,
513
+ 28: 1050,
514
+ 29: 501,
515
+ 30: 224,
516
+ 31: 104,
517
+ 32: 48,
518
+ 33: 18},
519
+ 34: {1: 1,
520
+ 2: 4,
521
+ 3: 10,
522
+ 4: 32,
523
+ 5: 90,
524
+ 6: 286,
525
+ 7: 895,
526
+ 8: 2950,
527
+ 9: 9823,
528
+ 10: 33536,
529
+ 11: 115907,
530
+ 12: 406417,
531
+ 13: 1243553,
532
+ 14: 2213989,
533
+ 15: 2546032,
534
+ 16: 2279954,
535
+ 17: 1757432,
536
+ 18: 1238978,
537
+ 19: 805983,
538
+ 20: 495840,
539
+ 21: 280930,
540
+ 22: 153557,
541
+ 23: 80096,
542
+ 24: 40983,
543
+ 25: 20435,
544
+ 26: 10070,
545
+ 27: 4847,
546
+ 28: 2347,
547
+ 29: 1082,
548
+ 30: 524,
549
+ 31: 229,
550
+ 32: 108,
551
+ 33: 49,
552
+ 34: 19},
553
+ 35: {1: 1,
554
+ 2: 4,
555
+ 3: 10,
556
+ 4: 32,
557
+ 5: 90,
558
+ 6: 286,
559
+ 7: 895,
560
+ 8: 2950,
561
+ 9: 9823,
562
+ 10: 33536,
563
+ 11: 115907,
564
+ 12: 406418,
565
+ 13: 1393068,
566
+ 14: 3077718,
567
+ 15: 4066968,
568
+ 16: 3921211,
569
+ 17: 3162486,
570
+ 18: 2287668,
571
+ 19: 1528776,
572
+ 20: 968216,
573
+ 21: 563674,
574
+ 22: 316678,
575
+ 23: 166878,
576
+ 24: 87249,
577
+ 25: 43543,
578
+ 26: 21860,
579
+ 27: 10553,
580
+ 28: 5130,
581
+ 29: 2436,
582
+ 30: 1138,
583
+ 31: 540,
584
+ 32: 240,
585
+ 33: 111,
586
+ 34: 51,
587
+ 35: 19},
588
+ 36: {1: 1,
589
+ 2: 4,
590
+ 3: 10,
591
+ 4: 32,
592
+ 5: 90,
593
+ 6: 286,
594
+ 7: 895,
595
+ 8: 2950,
596
+ 9: 9823,
597
+ 10: 33536,
598
+ 11: 115907,
599
+ 12: 406418,
600
+ 13: 1436365,
601
+ 14: 3865629,
602
+ 15: 6009119,
603
+ 16: 6413539,
604
+ 17: 5485678,
605
+ 18: 4127242,
606
+ 19: 2841020,
607
+ 20: 1846568,
608
+ 21: 1111477,
609
+ 22: 639642,
610
+ 23: 345333,
611
+ 24: 182076,
612
+ 25: 92756,
613
+ 26: 46546,
614
+ 27: 22896,
615
+ 28: 11145,
616
+ 29: 5318,
617
+ 30: 2553,
618
+ 31: 1170,
619
+ 32: 563,
620
+ 33: 245,
621
+ 34: 115,
622
+ 35: 52,
623
+ 36: 20},
624
+ 37: {1: 1,
625
+ 2: 4,
626
+ 3: 10,
627
+ 4: 32,
628
+ 5: 90,
629
+ 6: 286,
630
+ 7: 895,
631
+ 8: 2950,
632
+ 9: 9823,
633
+ 10: 33536,
634
+ 11: 115907,
635
+ 12: 406418,
636
+ 13: 1439437,
637
+ 14: 4608679,
638
+ 15: 8741927,
639
+ 16: 10469002,
640
+ 17: 9580429,
641
+ 18: 7482062,
642
+ 19: 5292602,
643
+ 20: 3508524,
644
+ 21: 2173000,
645
+ 22: 1285814,
646
+ 23: 707942,
647
+ 24: 381127,
648
+ 25: 195397,
649
+ 26: 99909,
650
+ 27: 49106,
651
+ 28: 24321,
652
+ 29: 11628,
653
+ 30: 5601,
654
+ 31: 2642,
655
+ 32: 1226,
656
+ 33: 579,
657
+ 34: 256,
658
+ 35: 118,
659
+ 36: 54,
660
+ 37: 20},
661
+ 38: {1: 1,
662
+ 2: 4,
663
+ 3: 10,
664
+ 4: 32,
665
+ 5: 90,
666
+ 6: 286,
667
+ 7: 895,
668
+ 8: 2950,
669
+ 9: 9823,
670
+ 10: 33536,
671
+ 11: 115907,
672
+ 12: 406418,
673
+ 13: 1439437,
674
+ 14: 5005157,
675
+ 15: 11543299,
676
+ 16: 16003046,
677
+ 17: 15951059,
678
+ 18: 13156464,
679
+ 19: 9630981,
680
+ 20: 6549908,
681
+ 21: 4166576,
682
+ 22: 2532936,
683
+ 23: 1432247,
684
+ 24: 784416,
685
+ 25: 409784,
686
+ 26: 210595,
687
+ 27: 105416,
688
+ 28: 52109,
689
+ 29: 25357,
690
+ 30: 12220,
691
+ 31: 5789,
692
+ 32: 2759,
693
+ 33: 1258,
694
+ 34: 602,
695
+ 35: 261,
696
+ 36: 122,
697
+ 37: 55,
698
+ 38: 21},
699
+ 39: {1: 1,
700
+ 2: 4,
701
+ 3: 10,
702
+ 4: 32,
703
+ 5: 90,
704
+ 6: 286,
705
+ 7: 895,
706
+ 8: 2950,
707
+ 9: 9823,
708
+ 10: 33536,
709
+ 11: 115907,
710
+ 12: 406418,
711
+ 13: 1439437,
712
+ 14: 5143192,
713
+ 15: 14664097,
714
+ 16: 24108717,
715
+ 17: 26617330,
716
+ 18: 23218716,
717
+ 19: 17635953,
718
+ 20: 12248605,
719
+ 21: 7974228,
720
+ 22: 4952688,
721
+ 23: 2875024,
722
+ 24: 1610132,
723
+ 25: 852764,
724
+ 26: 445580,
725
+ 27: 223916,
726
+ 28: 112569,
727
+ 29: 54669,
728
+ 30: 26782,
729
+ 31: 12703,
730
+ 32: 6072,
731
+ 33: 2848,
732
+ 34: 1314,
733
+ 35: 618,
734
+ 36: 272,
735
+ 37: 125,
736
+ 38: 57,
737
+ 39: 21},
738
+ 40: {1: 1,
739
+ 2: 4,
740
+ 3: 10,
741
+ 4: 32,
742
+ 5: 90,
743
+ 6: 286,
744
+ 7: 895,
745
+ 8: 2950,
746
+ 9: 9823,
747
+ 10: 33536,
748
+ 11: 115907,
749
+ 12: 406418,
750
+ 13: 1439437,
751
+ 14: 5147287,
752
+ 15: 16805531,
753
+ 16: 33402457,
754
+ 17: 41771189,
755
+ 18: 39377283,
756
+ 19: 31323643,
757
+ 20: 22482664,
758
+ 21: 14985172,
759
+ 22: 9515724,
760
+ 23: 5670826,
761
+ 24: 3252816,
762
+ 25: 1757121,
763
+ 26: 929288,
764
+ 27: 474237,
765
+ 28: 239114,
766
+ 29: 118076,
767
+ 30: 57672,
768
+ 31: 27818,
769
+ 32: 13295,
770
+ 33: 6260,
771
+ 34: 2965,
772
+ 35: 1346,
773
+ 36: 641,
774
+ 37: 277,
775
+ 38: 129,
776
+ 39: 58,
777
+ 40: 22},
778
+ 41: {1: 1,
779
+ 2: 4,
780
+ 3: 10,
781
+ 4: 32,
782
+ 5: 90,
783
+ 6: 286,
784
+ 7: 895,
785
+ 8: 2950,
786
+ 9: 9823,
787
+ 10: 33536,
788
+ 11: 115907,
789
+ 12: 406418,
790
+ 13: 1439437,
791
+ 14: 5147288,
792
+ 15: 18230922,
793
+ 16: 44705123,
794
+ 17: 65038713,
795
+ 18: 66780448,
796
+ 19: 55974868,
797
+ 20: 41405721,
798
+ 21: 28250921,
799
+ 22: 18223012,
800
+ 23: 11128554,
801
+ 24: 6525956,
802
+ 25: 3599052,
803
+ 26: 1935606,
804
+ 27: 997638,
805
+ 28: 510033,
806
+ 29: 252435,
807
+ 30: 125229,
808
+ 31: 60232,
809
+ 32: 29243,
810
+ 33: 13778,
811
+ 34: 6543,
812
+ 35: 3054,
813
+ 36: 1402,
814
+ 37: 657,
815
+ 38: 288,
816
+ 39: 132,
817
+ 40: 60,
818
+ 41: 22},
819
+ 42: {1: 1,
820
+ 2: 4,
821
+ 3: 10,
822
+ 4: 32,
823
+ 5: 90,
824
+ 6: 286,
825
+ 7: 895,
826
+ 8: 2950,
827
+ 9: 9823,
828
+ 10: 33536,
829
+ 11: 115907,
830
+ 12: 406418,
831
+ 13: 1439437,
832
+ 14: 5147288,
833
+ 15: 18536446,
834
+ 16: 54353742,
835
+ 17: 93671786,
836
+ 18: 107506889,
837
+ 19: 96248436,
838
+ 20: 74378743,
839
+ 21: 52193290,
840
+ 22: 34419990,
841
+ 23: 21464271,
842
+ 24: 12885048,
843
+ 25: 7266560,
844
+ 26: 3981450,
845
+ 27: 2082647,
846
+ 28: 1074164,
847
+ 29: 538690,
848
+ 30: 267633,
849
+ 31: 130736,
850
+ 32: 63235,
851
+ 33: 30279,
852
+ 34: 14370,
853
+ 35: 6731,
854
+ 36: 3171,
855
+ 37: 1434,
856
+ 38: 680,
857
+ 39: 293,
858
+ 40: 136,
859
+ 41: 61,
860
+ 42: 23},
861
+ 43: {1: 1,
862
+ 2: 4,
863
+ 3: 10,
864
+ 4: 32,
865
+ 5: 90,
866
+ 6: 286,
867
+ 7: 895,
868
+ 8: 2950,
869
+ 9: 9823,
870
+ 10: 33536,
871
+ 11: 115907,
872
+ 12: 406418,
873
+ 13: 1439437,
874
+ 14: 5147288,
875
+ 15: 18548734,
876
+ 16: 62497459,
877
+ 17: 131613198,
878
+ 18: 171738576,
879
+ 19: 165982204,
880
+ 20: 134044081,
881
+ 21: 96943639,
882
+ 22: 65089828,
883
+ 23: 41393035,
884
+ 24: 25265325,
885
+ 25: 14592448,
886
+ 26: 8147148,
887
+ 27: 4328340,
888
+ 28: 2261186,
889
+ 29: 1142514,
890
+ 30: 574486,
891
+ 31: 280954,
892
+ 32: 137889,
893
+ 33: 65795,
894
+ 34: 31704,
895
+ 35: 14853,
896
+ 36: 7014,
897
+ 37: 3260,
898
+ 38: 1490,
899
+ 39: 696,
900
+ 40: 304,
901
+ 41: 139,
902
+ 42: 63,
903
+ 43: 23},
904
+ 44: {1: 1,
905
+ 2: 4,
906
+ 3: 10,
907
+ 4: 32,
908
+ 5: 90,
909
+ 6: 286,
910
+ 7: 895,
911
+ 8: 2950,
912
+ 9: 9823,
913
+ 10: 33536,
914
+ 11: 115907,
915
+ 12: 406418,
916
+ 13: 1439437,
917
+ 14: 5147288,
918
+ 15: 18548734,
919
+ 16: 66334929,
920
+ 17: 168558175,
921
+ 18: 256427264,
922
+ 19: 272636523,
923
+ 20: 233833732,
924
+ 21: 175572763,
925
+ 22: 121160468,
926
+ 23: 78574285,
927
+ 24: 48862572,
928
+ 25: 28830922,
929
+ 26: 16457220,
930
+ 27: 8893060,
931
+ 28: 4711440,
932
+ 29: 2408229,
933
+ 30: 1219040,
934
+ 31: 603143,
935
+ 32: 296152,
936
+ 33: 143396,
937
+ 34: 68798,
938
+ 35: 32740,
939
+ 36: 15445,
940
+ 37: 7202,
941
+ 38: 3377,
942
+ 39: 1522,
943
+ 40: 719,
944
+ 41: 309,
945
+ 42: 143,
946
+ 43: 64,
947
+ 44: 24},
948
+ 45: {21: 319581514,
949
+ 22: 226164047,
950
+ 23: 149608736,
951
+ 24: 94283235,
952
+ 25: 56777375,
953
+ 26: 33002866,
954
+ 27: 18195938,
955
+ 28: 9779504,
956
+ 29: 5058386,
957
+ 30: 2586770,
958
+ 31: 1287390,
959
+ 32: 638939,
960
+ 33: 309473,
961
+ 34: 150549,
962
+ 35: 71358,
963
+ 36: 34165,
964
+ 37: 15928,
965
+ 38: 7485,
966
+ 39: 3466,
967
+ 40: 1578,
968
+ 41: 735,
969
+ 42: 320,
970
+ 43: 146,
971
+ 44: 66}},
972
+ 'A005316': {2: {1: 1, 2: 1},
973
+ 3: {1: 1, 2: 3, 3: 1},
974
+ 4: {1: 1, 2: 4, 3: 2, 4: 1},
975
+ 5: {1: 1, 2: 4, 3: 6, 4: 3, 5: 1},
976
+ 6: {1: 1, 2: 4, 3: 8, 4: 6, 5: 2, 6: 1},
977
+ 7: {1: 1, 2: 4, 3: 10, 4: 15, 5: 6, 6: 3, 7: 1},
978
+ 8: {1: 1, 2: 4, 3: 10, 4: 21, 5: 11, 6: 6, 7: 2, 8: 1},
979
+ 9: {1: 1, 2: 4, 3: 10, 4: 28, 5: 29, 6: 15, 7: 6, 8: 3, 9: 1},
980
+ 10: {1: 1, 2: 4, 3: 10, 4: 30, 5: 42, 6: 27, 7: 11, 8: 6, 9: 2, 10: 1},
981
+ 11: {1: 1,
982
+ 2: 4,
983
+ 3: 10,
984
+ 4: 32,
985
+ 5: 65,
986
+ 6: 67,
987
+ 7: 29,
988
+ 8: 15,
989
+ 9: 6,
990
+ 10: 3,
991
+ 11: 1},
992
+ 12: {1: 1,
993
+ 2: 4,
994
+ 3: 10,
995
+ 4: 32,
996
+ 5: 75,
997
+ 6: 99,
998
+ 7: 52,
999
+ 8: 27,
1000
+ 9: 11,
1001
+ 10: 6,
1002
+ 11: 2,
1003
+ 12: 1},
1004
+ 13: {1: 1,
1005
+ 2: 4,
1006
+ 3: 10,
1007
+ 4: 32,
1008
+ 5: 90,
1009
+ 6: 160,
1010
+ 7: 134,
1011
+ 8: 67,
1012
+ 9: 29,
1013
+ 10: 15,
1014
+ 11: 6,
1015
+ 12: 3,
1016
+ 13: 1},
1017
+ 14: {1: 1,
1018
+ 2: 4,
1019
+ 3: 10,
1020
+ 4: 32,
1021
+ 5: 90,
1022
+ 6: 196,
1023
+ 7: 204,
1024
+ 8: 119,
1025
+ 9: 52,
1026
+ 10: 27,
1027
+ 11: 11,
1028
+ 12: 6,
1029
+ 13: 2,
1030
+ 14: 1},
1031
+ 15: {1: 1,
1032
+ 2: 4,
1033
+ 3: 10,
1034
+ 4: 32,
1035
+ 5: 90,
1036
+ 6: 261,
1037
+ 7: 363,
1038
+ 8: 299,
1039
+ 9: 134,
1040
+ 10: 67,
1041
+ 11: 29,
1042
+ 12: 15,
1043
+ 13: 6,
1044
+ 14: 3,
1045
+ 15: 1},
1046
+ 16: {1: 1,
1047
+ 2: 4,
1048
+ 3: 10,
1049
+ 4: 32,
1050
+ 5: 90,
1051
+ 6: 271,
1052
+ 7: 472,
1053
+ 8: 461,
1054
+ 9: 239,
1055
+ 10: 119,
1056
+ 11: 52,
1057
+ 12: 27,
1058
+ 13: 11,
1059
+ 14: 6,
1060
+ 15: 2,
1061
+ 16: 1},
1062
+ 17: {1: 1,
1063
+ 2: 4,
1064
+ 3: 10,
1065
+ 4: 32,
1066
+ 5: 90,
1067
+ 6: 286,
1068
+ 7: 699,
1069
+ 8: 845,
1070
+ 9: 614,
1071
+ 10: 299,
1072
+ 11: 134,
1073
+ 12: 67,
1074
+ 13: 29,
1075
+ 14: 15,
1076
+ 15: 6,
1077
+ 16: 3,
1078
+ 17: 1},
1079
+ 18: {1: 1,
1080
+ 2: 4,
1081
+ 3: 10,
1082
+ 4: 32,
1083
+ 5: 90,
1084
+ 6: 286,
1085
+ 7: 769,
1086
+ 8: 1144,
1087
+ 9: 968,
1088
+ 10: 531,
1089
+ 11: 239,
1090
+ 12: 119,
1091
+ 13: 52,
1092
+ 14: 27,
1093
+ 15: 11,
1094
+ 16: 6,
1095
+ 17: 2,
1096
+ 18: 1},
1097
+ 19: {1: 1,
1098
+ 2: 4,
1099
+ 3: 10,
1100
+ 4: 32,
1101
+ 5: 90,
1102
+ 6: 286,
1103
+ 7: 895,
1104
+ 8: 1830,
1105
+ 9: 1890,
1106
+ 10: 1348,
1107
+ 11: 614,
1108
+ 12: 299,
1109
+ 13: 134,
1110
+ 14: 67,
1111
+ 15: 29,
1112
+ 16: 15,
1113
+ 17: 6,
1114
+ 18: 3,
1115
+ 19: 1},
1116
+ 20: {1: 1,
1117
+ 2: 4,
1118
+ 3: 10,
1119
+ 4: 32,
1120
+ 5: 90,
1121
+ 6: 286,
1122
+ 7: 895,
1123
+ 8: 2135,
1124
+ 9: 2664,
1125
+ 10: 2145,
1126
+ 11: 1094,
1127
+ 12: 531,
1128
+ 13: 239,
1129
+ 14: 119,
1130
+ 15: 52,
1131
+ 16: 27,
1132
+ 17: 11,
1133
+ 18: 6,
1134
+ 19: 2,
1135
+ 20: 1},
1136
+ 21: {1: 1,
1137
+ 2: 4,
1138
+ 3: 10,
1139
+ 4: 32,
1140
+ 5: 90,
1141
+ 6: 286,
1142
+ 7: 895,
1143
+ 8: 2754,
1144
+ 9: 4579,
1145
+ 10: 4278,
1146
+ 11: 2813,
1147
+ 12: 1348,
1148
+ 13: 614,
1149
+ 14: 299,
1150
+ 15: 134,
1151
+ 16: 67,
1152
+ 17: 29,
1153
+ 18: 15,
1154
+ 19: 6,
1155
+ 20: 3,
1156
+ 21: 1},
1157
+ 22: {1: 1,
1158
+ 2: 4,
1159
+ 3: 10,
1160
+ 4: 32,
1161
+ 5: 90,
1162
+ 6: 286,
1163
+ 7: 895,
1164
+ 8: 2824,
1165
+ 9: 5657,
1166
+ 10: 6195,
1167
+ 11: 4550,
1168
+ 12: 2397,
1169
+ 13: 1094,
1170
+ 14: 531,
1171
+ 15: 239,
1172
+ 16: 119,
1173
+ 17: 52,
1174
+ 18: 27,
1175
+ 19: 11,
1176
+ 20: 6,
1177
+ 21: 2,
1178
+ 22: 1},
1179
+ 23: {1: 1,
1180
+ 2: 4,
1181
+ 3: 10,
1182
+ 4: 32,
1183
+ 5: 90,
1184
+ 6: 286,
1185
+ 7: 895,
1186
+ 8: 2950,
1187
+ 9: 8059,
1188
+ 10: 11215,
1189
+ 11: 9474,
1190
+ 12: 6125,
1191
+ 13: 2813,
1192
+ 14: 1348,
1193
+ 15: 614,
1194
+ 16: 299,
1195
+ 17: 134,
1196
+ 18: 67,
1197
+ 19: 29,
1198
+ 20: 15,
1199
+ 21: 6,
1200
+ 22: 3,
1201
+ 23: 1},
1202
+ 24: {1: 1,
1203
+ 2: 4,
1204
+ 3: 10,
1205
+ 4: 32,
1206
+ 5: 90,
1207
+ 6: 286,
1208
+ 7: 895,
1209
+ 8: 2950,
1210
+ 9: 8647,
1211
+ 10: 14533,
1212
+ 11: 14099,
1213
+ 12: 9978,
1214
+ 13: 5012,
1215
+ 14: 2397,
1216
+ 15: 1094,
1217
+ 16: 531,
1218
+ 17: 239,
1219
+ 18: 119,
1220
+ 19: 52,
1221
+ 20: 27,
1222
+ 21: 11,
1223
+ 22: 6,
1224
+ 23: 2,
1225
+ 24: 1},
1226
+ 25: {1: 1,
1227
+ 2: 4,
1228
+ 3: 10,
1229
+ 4: 32,
1230
+ 5: 90,
1231
+ 6: 286,
1232
+ 7: 895,
1233
+ 8: 2950,
1234
+ 9: 9823,
1235
+ 10: 22496,
1236
+ 11: 26770,
1237
+ 12: 21107,
1238
+ 13: 12905,
1239
+ 14: 6125,
1240
+ 15: 2813,
1241
+ 16: 1348,
1242
+ 17: 614,
1243
+ 18: 299,
1244
+ 19: 134,
1245
+ 20: 67,
1246
+ 21: 29,
1247
+ 22: 15,
1248
+ 23: 6,
1249
+ 24: 3,
1250
+ 25: 1},
1251
+ 26: {1: 1,
1252
+ 2: 4,
1253
+ 3: 10,
1254
+ 4: 32,
1255
+ 5: 90,
1256
+ 6: 286,
1257
+ 7: 895,
1258
+ 8: 2950,
1259
+ 9: 9823,
1260
+ 10: 25422,
1261
+ 11: 36190,
1262
+ 12: 32006,
1263
+ 13: 21281,
1264
+ 14: 10902,
1265
+ 15: 5012,
1266
+ 16: 2397,
1267
+ 17: 1094,
1268
+ 18: 531,
1269
+ 19: 239,
1270
+ 20: 119,
1271
+ 21: 52,
1272
+ 22: 27,
1273
+ 23: 11,
1274
+ 24: 6,
1275
+ 25: 2,
1276
+ 26: 1},
1277
+ 27: {1: 1,
1278
+ 2: 4,
1279
+ 3: 10,
1280
+ 4: 32,
1281
+ 5: 90,
1282
+ 6: 286,
1283
+ 7: 895,
1284
+ 8: 2950,
1285
+ 9: 9823,
1286
+ 10: 31772,
1287
+ 11: 60170,
1288
+ 12: 62958,
1289
+ 13: 46413,
1290
+ 14: 27970,
1291
+ 15: 12905,
1292
+ 16: 6125,
1293
+ 17: 2813,
1294
+ 18: 1348,
1295
+ 19: 614,
1296
+ 20: 299,
1297
+ 21: 134,
1298
+ 22: 67,
1299
+ 23: 29,
1300
+ 24: 15,
1301
+ 25: 6,
1302
+ 26: 3,
1303
+ 27: 1},
1304
+ 28: {1: 1,
1305
+ 2: 4,
1306
+ 3: 10,
1307
+ 4: 32,
1308
+ 5: 90,
1309
+ 6: 286,
1310
+ 7: 895,
1311
+ 8: 2950,
1312
+ 9: 9823,
1313
+ 10: 32360,
1314
+ 11: 71702,
1315
+ 12: 88066,
1316
+ 13: 71743,
1317
+ 14: 46383,
1318
+ 15: 22997,
1319
+ 16: 10902,
1320
+ 17: 5012,
1321
+ 18: 2397,
1322
+ 19: 1094,
1323
+ 20: 531,
1324
+ 21: 239,
1325
+ 22: 119,
1326
+ 23: 52,
1327
+ 24: 27,
1328
+ 25: 11,
1329
+ 26: 6,
1330
+ 27: 2,
1331
+ 28: 1},
1332
+ 29: {1: 1,
1333
+ 2: 4,
1334
+ 3: 10,
1335
+ 4: 32,
1336
+ 5: 90,
1337
+ 6: 286,
1338
+ 7: 895,
1339
+ 8: 2950,
1340
+ 9: 9823,
1341
+ 10: 33536,
1342
+ 11: 98483,
1343
+ 12: 155152,
1344
+ 13: 145814,
1345
+ 14: 102390,
1346
+ 15: 59282,
1347
+ 16: 27970,
1348
+ 17: 12905,
1349
+ 18: 6125,
1350
+ 19: 2813,
1351
+ 20: 1348,
1352
+ 21: 614,
1353
+ 22: 299,
1354
+ 23: 134,
1355
+ 24: 67,
1356
+ 25: 29,
1357
+ 26: 15,
1358
+ 27: 6,
1359
+ 28: 3,
1360
+ 29: 1},
1361
+ 30: {1: 1,
1362
+ 2: 4,
1363
+ 3: 10,
1364
+ 4: 32,
1365
+ 5: 90,
1366
+ 6: 286,
1367
+ 7: 895,
1368
+ 8: 2950,
1369
+ 9: 9823,
1370
+ 10: 33536,
1371
+ 11: 104027,
1372
+ 12: 194029,
1373
+ 13: 210102,
1374
+ 14: 160441,
1375
+ 15: 99224,
1376
+ 16: 49815,
1377
+ 17: 22997,
1378
+ 18: 10902,
1379
+ 19: 5012,
1380
+ 20: 2397,
1381
+ 21: 1094,
1382
+ 22: 531,
1383
+ 23: 239,
1384
+ 24: 119,
1385
+ 25: 52,
1386
+ 26: 27,
1387
+ 27: 11,
1388
+ 28: 6,
1389
+ 29: 2,
1390
+ 30: 1},
1391
+ 31: {1: 1,
1392
+ 2: 4,
1393
+ 3: 10,
1394
+ 4: 32,
1395
+ 5: 90,
1396
+ 6: 286,
1397
+ 7: 895,
1398
+ 8: 2950,
1399
+ 9: 9823,
1400
+ 10: 33536,
1401
+ 11: 115907,
1402
+ 12: 289697,
1403
+ 13: 388695,
1404
+ 14: 334361,
1405
+ 15: 223991,
1406
+ 16: 128129,
1407
+ 17: 59282,
1408
+ 18: 27970,
1409
+ 19: 12905,
1410
+ 20: 6125,
1411
+ 21: 2813,
1412
+ 22: 1348,
1413
+ 23: 614,
1414
+ 24: 299,
1415
+ 25: 134,
1416
+ 26: 67,
1417
+ 27: 29,
1418
+ 28: 15,
1419
+ 29: 6,
1420
+ 30: 3,
1421
+ 31: 1},
1422
+ 32: {1: 1,
1423
+ 2: 4,
1424
+ 3: 10,
1425
+ 4: 32,
1426
+ 5: 90,
1427
+ 6: 286,
1428
+ 7: 895,
1429
+ 8: 2950,
1430
+ 9: 9823,
1431
+ 10: 33536,
1432
+ 11: 115907,
1433
+ 12: 320039,
1434
+ 13: 507660,
1435
+ 14: 493479,
1436
+ 15: 355948,
1437
+ 16: 215418,
1438
+ 17: 105659,
1439
+ 18: 49815,
1440
+ 19: 22997,
1441
+ 20: 10902,
1442
+ 21: 5012,
1443
+ 22: 2397,
1444
+ 23: 1094,
1445
+ 24: 531,
1446
+ 25: 239,
1447
+ 26: 119,
1448
+ 27: 52,
1449
+ 28: 27,
1450
+ 29: 11,
1451
+ 30: 6,
1452
+ 31: 2,
1453
+ 32: 1},
1454
+ 33: {1: 1,
1455
+ 2: 4,
1456
+ 3: 10,
1457
+ 4: 32,
1458
+ 5: 90,
1459
+ 6: 286,
1460
+ 7: 895,
1461
+ 8: 2950,
1462
+ 9: 9823,
1463
+ 10: 33536,
1464
+ 11: 115907,
1465
+ 12: 388994,
1466
+ 13: 814956,
1467
+ 14: 950127,
1468
+ 15: 759360,
1469
+ 16: 490913,
1470
+ 17: 272610,
1471
+ 18: 128129,
1472
+ 19: 59282,
1473
+ 20: 27970,
1474
+ 21: 12905,
1475
+ 22: 6125,
1476
+ 23: 2813,
1477
+ 24: 1348,
1478
+ 25: 614,
1479
+ 26: 299,
1480
+ 27: 134,
1481
+ 28: 67,
1482
+ 29: 29,
1483
+ 30: 15,
1484
+ 31: 6,
1485
+ 32: 3,
1486
+ 33: 1},
1487
+ 34: {1: 1,
1488
+ 2: 4,
1489
+ 3: 10,
1490
+ 4: 32,
1491
+ 5: 90,
1492
+ 6: 286,
1493
+ 7: 895,
1494
+ 8: 2950,
1495
+ 9: 9823,
1496
+ 10: 33536,
1497
+ 11: 115907,
1498
+ 12: 394538,
1499
+ 13: 944778,
1500
+ 14: 1288018,
1501
+ 15: 1144435,
1502
+ 16: 788178,
1503
+ 17: 461628,
1504
+ 18: 228288,
1505
+ 19: 105659,
1506
+ 20: 49815,
1507
+ 21: 22997,
1508
+ 22: 10902,
1509
+ 23: 5012,
1510
+ 24: 2397,
1511
+ 25: 1094,
1512
+ 26: 531,
1513
+ 27: 239,
1514
+ 28: 119,
1515
+ 29: 52,
1516
+ 30: 27,
1517
+ 31: 11,
1518
+ 32: 6,
1519
+ 33: 2,
1520
+ 34: 1},
1521
+ 35: {1: 1,
1522
+ 2: 4,
1523
+ 3: 10,
1524
+ 4: 32,
1525
+ 5: 90,
1526
+ 6: 286,
1527
+ 7: 895,
1528
+ 8: 2950,
1529
+ 9: 9823,
1530
+ 10: 33536,
1531
+ 11: 115907,
1532
+ 12: 406418,
1533
+ 13: 1255396,
1534
+ 14: 2197935,
1535
+ 15: 2279273,
1536
+ 16: 1712791,
1537
+ 17: 1069831,
1538
+ 18: 588152,
1539
+ 19: 272610,
1540
+ 20: 128129,
1541
+ 21: 59282,
1542
+ 22: 27970,
1543
+ 23: 12905,
1544
+ 24: 6125,
1545
+ 25: 2813,
1546
+ 26: 1348,
1547
+ 27: 614,
1548
+ 28: 299,
1549
+ 29: 134,
1550
+ 30: 67,
1551
+ 31: 29,
1552
+ 32: 15,
1553
+ 33: 6,
1554
+ 34: 3,
1555
+ 35: 1},
1556
+ 36: {1: 1,
1557
+ 2: 4,
1558
+ 3: 10,
1559
+ 4: 32,
1560
+ 5: 90,
1561
+ 6: 286,
1562
+ 7: 895,
1563
+ 8: 2950,
1564
+ 9: 9823,
1565
+ 10: 33536,
1566
+ 11: 115907,
1567
+ 12: 406418,
1568
+ 13: 1312024,
1569
+ 14: 2668603,
1570
+ 15: 3191110,
1571
+ 16: 2626205,
1572
+ 17: 1735998,
1573
+ 18: 999555,
1574
+ 19: 485938,
1575
+ 20: 228288,
1576
+ 21: 105659,
1577
+ 22: 49815,
1578
+ 23: 22997,
1579
+ 24: 10902,
1580
+ 25: 5012,
1581
+ 26: 2397,
1582
+ 27: 1094,
1583
+ 28: 531,
1584
+ 29: 239,
1585
+ 30: 119,
1586
+ 31: 52,
1587
+ 32: 27,
1588
+ 33: 11,
1589
+ 34: 6,
1590
+ 35: 2,
1591
+ 36: 1},
1592
+ 37: {1: 1,
1593
+ 2: 4,
1594
+ 3: 10,
1595
+ 4: 32,
1596
+ 5: 90,
1597
+ 6: 286,
1598
+ 7: 895,
1599
+ 8: 2950,
1600
+ 9: 9823,
1601
+ 10: 33536,
1602
+ 11: 115907,
1603
+ 12: 406418,
1604
+ 13: 1439437,
1605
+ 14: 3847990,
1606
+ 15: 5733997,
1607
+ 16: 5379435,
1608
+ 17: 3838717,
1609
+ 18: 2333991,
1610
+ 19: 1254586,
1611
+ 20: 588152,
1612
+ 21: 272610,
1613
+ 22: 128129,
1614
+ 23: 59282,
1615
+ 24: 27970,
1616
+ 25: 12905,
1617
+ 26: 6125,
1618
+ 27: 2813,
1619
+ 28: 1348,
1620
+ 29: 614,
1621
+ 30: 299,
1622
+ 31: 134,
1623
+ 32: 67,
1624
+ 33: 29,
1625
+ 34: 15,
1626
+ 35: 6,
1627
+ 36: 3,
1628
+ 37: 1},
1629
+ 38: {1: 1,
1630
+ 2: 4,
1631
+ 3: 10,
1632
+ 4: 32,
1633
+ 5: 90,
1634
+ 6: 286,
1635
+ 7: 895,
1636
+ 8: 2950,
1637
+ 9: 9823,
1638
+ 10: 33536,
1639
+ 11: 115907,
1640
+ 12: 406418,
1641
+ 13: 1439437,
1642
+ 14: 4180729,
1643
+ 15: 7267529,
1644
+ 16: 7739861,
1645
+ 17: 5976036,
1646
+ 18: 3817705,
1647
+ 19: 2144184,
1648
+ 20: 1048175,
1649
+ 21: 485938,
1650
+ 22: 228288,
1651
+ 23: 105659,
1652
+ 24: 49815,
1653
+ 25: 22997,
1654
+ 26: 10902,
1655
+ 27: 5012,
1656
+ 28: 2397,
1657
+ 29: 1094,
1658
+ 30: 531,
1659
+ 31: 239,
1660
+ 32: 119,
1661
+ 33: 52,
1662
+ 34: 27,
1663
+ 35: 11,
1664
+ 36: 6,
1665
+ 37: 2,
1666
+ 38: 1},
1667
+ 39: {1: 1,
1668
+ 2: 4,
1669
+ 3: 10,
1670
+ 4: 32,
1671
+ 5: 90,
1672
+ 6: 286,
1673
+ 7: 895,
1674
+ 8: 2950,
1675
+ 9: 9823,
1676
+ 10: 33536,
1677
+ 11: 115907,
1678
+ 12: 406418,
1679
+ 13: 1439437,
1680
+ 14: 4963247,
1681
+ 15: 11268890,
1682
+ 16: 14523042,
1683
+ 17: 12539913,
1684
+ 18: 8561584,
1685
+ 19: 5071684,
1686
+ 20: 2703502,
1687
+ 21: 1254586,
1688
+ 22: 588152,
1689
+ 23: 272610,
1690
+ 24: 128129,
1691
+ 25: 59282,
1692
+ 26: 27970,
1693
+ 27: 12905,
1694
+ 28: 6125,
1695
+ 29: 2813,
1696
+ 30: 1348,
1697
+ 31: 614,
1698
+ 32: 299,
1699
+ 33: 134,
1700
+ 34: 67,
1701
+ 35: 29,
1702
+ 36: 15,
1703
+ 37: 6,
1704
+ 38: 3,
1705
+ 39: 1},
1706
+ 40: {1: 1,
1707
+ 2: 4,
1708
+ 3: 10,
1709
+ 4: 32,
1710
+ 5: 90,
1711
+ 6: 286,
1712
+ 7: 895,
1713
+ 8: 2950,
1714
+ 9: 9823,
1715
+ 10: 33536,
1716
+ 11: 115907,
1717
+ 12: 406418,
1718
+ 13: 1439437,
1719
+ 14: 5019875,
1720
+ 15: 12786835,
1721
+ 16: 19126073,
1722
+ 17: 18469905,
1723
+ 18: 13499590,
1724
+ 19: 8364514,
1725
+ 20: 4634096,
1726
+ 21: 2236562,
1727
+ 22: 1048175,
1728
+ 23: 485938,
1729
+ 24: 228288,
1730
+ 25: 105659,
1731
+ 26: 49815,
1732
+ 27: 22997,
1733
+ 28: 10902,
1734
+ 29: 5012,
1735
+ 30: 2397,
1736
+ 31: 1094,
1737
+ 32: 531,
1738
+ 33: 239,
1739
+ 34: 119,
1740
+ 35: 52,
1741
+ 36: 27,
1742
+ 37: 11,
1743
+ 38: 6,
1744
+ 39: 2,
1745
+ 40: 1},
1746
+ 41: {1: 1,
1747
+ 2: 4,
1748
+ 3: 10,
1749
+ 4: 32,
1750
+ 5: 90,
1751
+ 6: 286,
1752
+ 7: 895,
1753
+ 8: 2950,
1754
+ 9: 9823,
1755
+ 10: 33536,
1756
+ 11: 115907,
1757
+ 12: 406418,
1758
+ 13: 1439437,
1759
+ 14: 5147288,
1760
+ 15: 16503834,
1761
+ 16: 31576611,
1762
+ 17: 35946838,
1763
+ 18: 28911540,
1764
+ 19: 19010496,
1765
+ 20: 11027844,
1766
+ 21: 5777115,
1767
+ 22: 2703502,
1768
+ 23: 1254586,
1769
+ 24: 588152,
1770
+ 25: 272610,
1771
+ 26: 128129,
1772
+ 27: 59282,
1773
+ 28: 27970,
1774
+ 29: 12905,
1775
+ 30: 6125,
1776
+ 31: 2813,
1777
+ 32: 1348,
1778
+ 33: 614,
1779
+ 34: 299,
1780
+ 35: 134,
1781
+ 36: 67,
1782
+ 37: 29,
1783
+ 38: 15,
1784
+ 39: 6,
1785
+ 40: 3,
1786
+ 41: 1},
1787
+ 42: {1: 1,
1788
+ 2: 4,
1789
+ 3: 10,
1790
+ 4: 32,
1791
+ 5: 90,
1792
+ 6: 286,
1793
+ 7: 895,
1794
+ 8: 2950,
1795
+ 9: 9823,
1796
+ 10: 33536,
1797
+ 11: 115907,
1798
+ 12: 406418,
1799
+ 13: 1439437,
1800
+ 14: 5147288,
1801
+ 15: 17117304,
1802
+ 16: 37414872,
1803
+ 17: 48972747,
1804
+ 18: 43438537,
1805
+ 19: 30318948,
1806
+ 20: 18303631,
1807
+ 21: 9946928,
1808
+ 22: 4818852,
1809
+ 23: 2236562,
1810
+ 24: 1048175,
1811
+ 25: 485938,
1812
+ 26: 228288,
1813
+ 27: 105659,
1814
+ 28: 49815,
1815
+ 29: 22997,
1816
+ 30: 10902,
1817
+ 31: 5012,
1818
+ 32: 2397,
1819
+ 33: 1094,
1820
+ 34: 531,
1821
+ 35: 239,
1822
+ 36: 119,
1823
+ 37: 52,
1824
+ 38: 27,
1825
+ 39: 11,
1826
+ 40: 6,
1827
+ 41: 2,
1828
+ 42: 1},
1829
+ 43: {1: 1,
1830
+ 2: 4,
1831
+ 3: 10,
1832
+ 4: 32,
1833
+ 5: 90,
1834
+ 6: 286,
1835
+ 7: 895,
1836
+ 8: 2950,
1837
+ 9: 9823,
1838
+ 10: 33536,
1839
+ 11: 115907,
1840
+ 12: 406418,
1841
+ 13: 1439437,
1842
+ 14: 5147288,
1843
+ 15: 18548734,
1844
+ 16: 52258636,
1845
+ 17: 85328470,
1846
+ 18: 87192965,
1847
+ 19: 66098337,
1848
+ 20: 42061178,
1849
+ 21: 23909787,
1850
+ 22: 12438707,
1851
+ 23: 5777115,
1852
+ 24: 2703502,
1853
+ 25: 1254586,
1854
+ 26: 588152,
1855
+ 27: 272610,
1856
+ 28: 128129,
1857
+ 29: 59282,
1858
+ 30: 27970,
1859
+ 31: 12905,
1860
+ 32: 6125,
1861
+ 33: 2813,
1862
+ 34: 1348,
1863
+ 35: 614,
1864
+ 36: 299,
1865
+ 37: 134,
1866
+ 38: 67,
1867
+ 39: 29,
1868
+ 40: 15,
1869
+ 41: 6,
1870
+ 42: 3,
1871
+ 43: 1},
1872
+ 44: {1: 1,
1873
+ 2: 4,
1874
+ 3: 10,
1875
+ 4: 32,
1876
+ 5: 90,
1877
+ 6: 286,
1878
+ 7: 895,
1879
+ 8: 2950,
1880
+ 9: 9823,
1881
+ 10: 33536,
1882
+ 11: 115907,
1883
+ 12: 406418,
1884
+ 13: 1439437,
1885
+ 14: 5147288,
1886
+ 15: 18548734,
1887
+ 16: 56066869,
1888
+ 17: 105386326,
1889
+ 18: 122342694,
1890
+ 19: 101027318,
1891
+ 20: 67738373,
1892
+ 21: 39945329,
1893
+ 22: 21468480,
1894
+ 23: 10299644,
1895
+ 24: 4818852,
1896
+ 25: 2236562,
1897
+ 26: 1048175,
1898
+ 27: 485938,
1899
+ 28: 228288,
1900
+ 29: 105659,
1901
+ 30: 49815,
1902
+ 31: 22997,
1903
+ 32: 10902,
1904
+ 33: 5012,
1905
+ 34: 2397,
1906
+ 35: 1094,
1907
+ 36: 531,
1908
+ 37: 239,
1909
+ 38: 119,
1910
+ 39: 52,
1911
+ 40: 27,
1912
+ 41: 11,
1913
+ 42: 6,
1914
+ 43: 2,
1915
+ 44: 1},
1916
+ 45: {1: 1,
1917
+ 2: 4,
1918
+ 3: 10,
1919
+ 4: 32,
1920
+ 5: 90,
1921
+ 6: 286,
1922
+ 7: 895,
1923
+ 8: 2950,
1924
+ 9: 9823,
1925
+ 10: 33536,
1926
+ 11: 115907,
1927
+ 12: 406418,
1928
+ 13: 1439437,
1929
+ 14: 5147288,
1930
+ 15: 18548734,
1931
+ 16: 65264200,
1932
+ 17: 158152598,
1933
+ 18: 223196394,
1934
+ 19: 208183230,
1935
+ 20: 149960609,
1936
+ 21: 92763117,
1937
+ 22: 51860162,
1938
+ 23: 26613942,
1939
+ 24: 12438707,
1940
+ 25: 5777115,
1941
+ 26: 2703502,
1942
+ 27: 1254586,
1943
+ 28: 588152,
1944
+ 29: 272610,
1945
+ 30: 128129,
1946
+ 31: 59282,
1947
+ 32: 27970,
1948
+ 33: 12905,
1949
+ 34: 6125,
1950
+ 35: 2813,
1951
+ 36: 1348,
1952
+ 37: 614,
1953
+ 38: 299,
1954
+ 39: 134,
1955
+ 40: 67,
1956
+ 41: 29,
1957
+ 42: 15,
1958
+ 43: 6,
1959
+ 44: 3,
1960
+ 45: 1},
1961
+ 46: {1: 1,
1962
+ 2: 4,
1963
+ 3: 10,
1964
+ 4: 32,
1965
+ 5: 90,
1966
+ 6: 286,
1967
+ 7: 895,
1968
+ 8: 2950,
1969
+ 9: 9823,
1970
+ 10: 33536,
1971
+ 11: 115907,
1972
+ 12: 406418,
1973
+ 13: 1439437,
1974
+ 14: 5147288,
1975
+ 15: 18548734,
1976
+ 16: 65877670,
1977
+ 17: 176441440,
1978
+ 18: 286370089,
1979
+ 19: 299691168,
1980
+ 20: 232599787,
1981
+ 21: 150715842,
1982
+ 22: 87087336,
1983
+ 23: 46098691,
1984
+ 24: 22173912,
1985
+ 25: 10299644,
1986
+ 26: 4818852,
1987
+ 27: 2236562,
1988
+ 28: 1048175,
1989
+ 29: 485938,
1990
+ 30: 228288,
1991
+ 31: 105659,
1992
+ 32: 49815,
1993
+ 33: 22997,
1994
+ 34: 10902,
1995
+ 35: 5012,
1996
+ 36: 2397,
1997
+ 37: 1094,
1998
+ 38: 531,
1999
+ 39: 239,
2000
+ 40: 119,
2001
+ 41: 52,
2002
+ 42: 27,
2003
+ 43: 11,
2004
+ 44: 6,
2005
+ 45: 2,
2006
+ 46: 1},
2007
+ 47: {21: 338213426,
2008
+ 22: 204032082,
2009
+ 23: 112243956,
2010
+ 24: 57268473,
2011
+ 25: 26613942,
2012
+ 26: 12438707,
2013
+ 27: 5777115,
2014
+ 28: 2703502,
2015
+ 29: 1254586,
2016
+ 30: 588152,
2017
+ 31: 272610,
2018
+ 32: 128129,
2019
+ 33: 59282,
2020
+ 34: 27970,
2021
+ 35: 12905,
2022
+ 36: 6125,
2023
+ 37: 2813,
2024
+ 38: 1348,
2025
+ 39: 614,
2026
+ 40: 299,
2027
+ 41: 134,
2028
+ 42: 67,
2029
+ 43: 29,
2030
+ 44: 15,
2031
+ 45: 6,
2032
+ 46: 3,
2033
+ 47: 1}}}