mapFolding 0.16.0__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 (77) hide show
  1. easyRun/A000682.py +25 -0
  2. easyRun/A005316.py +20 -0
  3. easyRun/NOTcountingFolds.py +36 -0
  4. easyRun/__init__.py +0 -0
  5. easyRun/countFolds.py +41 -0
  6. easyRun/meanders.py +69 -0
  7. mapFolding/__init__.py +8 -51
  8. mapFolding/_dataPacking.py +68 -0
  9. mapFolding/_theSSOT.py +33 -37
  10. mapFolding/_theTypes.py +21 -4
  11. mapFolding/algorithms/matrixMeanders.py +86 -517
  12. mapFolding/algorithms/matrixMeandersBeDry.py +182 -0
  13. mapFolding/algorithms/matrixMeandersNumPy.py +333 -0
  14. mapFolding/algorithms/matrixMeandersPandas.py +334 -0
  15. mapFolding/algorithms/oeisIDbyFormula.py +50 -29
  16. mapFolding/algorithms/zCuzDocStoopidoeisIDbyFormula.py +51 -29
  17. mapFolding/basecamp.py +167 -206
  18. mapFolding/beDRY.py +2 -30
  19. mapFolding/dataBaskets.py +75 -49
  20. mapFolding/oeis.py +11 -32
  21. mapFolding/reference/A000682facts.py +787 -652
  22. mapFolding/reference/A005316facts.py +961 -3
  23. mapFolding/reference/matrixMeandersAnalysis/prefixNotationNotes.py +15 -0
  24. mapFolding/reference/matrixMeandersAnalysis/signatures.py +2030 -0
  25. mapFolding/reference/meandersDumpingGround/A005316JavaPort.py +1 -1
  26. mapFolding/reference/meandersDumpingGround/A005316imperative.py +1 -1
  27. mapFolding/reference/meandersDumpingGround/matrixMeandersNumPyV1finalForm.py +424 -0
  28. mapFolding/someAssemblyRequired/A007822/A007822rawMaterials.py +3 -4
  29. mapFolding/someAssemblyRequired/A007822/makeA007822AsynchronousModules.py +103 -29
  30. mapFolding/someAssemblyRequired/A007822/makeA007822Modules.py +18 -14
  31. mapFolding/someAssemblyRequired/RecipeJob.py +2 -2
  32. mapFolding/someAssemblyRequired/makeJobTheorem2Numba.py +7 -6
  33. mapFolding/someAssemblyRequired/makeJobTheorem2codon.py +3 -4
  34. mapFolding/someAssemblyRequired/makingModules_count.py +88 -87
  35. mapFolding/someAssemblyRequired/makingModules_doTheNeedful.py +10 -9
  36. mapFolding/someAssemblyRequired/mapFolding/makeMapFoldingModules.py +3 -3
  37. mapFolding/someAssemblyRequired/meanders/__init__.py +0 -0
  38. mapFolding/someAssemblyRequired/meanders/makeMeandersModules.py +63 -0
  39. mapFolding/someAssemblyRequired/toolkitMakeModules.py +37 -37
  40. mapFolding/someAssemblyRequired/transformationTools.py +8 -8
  41. mapFolding/syntheticModules/A007822/algorithm.py +3 -3
  42. mapFolding/syntheticModules/A007822/algorithmNumba.py +1 -2
  43. mapFolding/syntheticModules/A007822/asynchronous.py +6 -4
  44. mapFolding/syntheticModules/A007822/asynchronousAnnex.py +5 -7
  45. mapFolding/syntheticModules/A007822/asynchronousAnnexNumba.py +70 -0
  46. mapFolding/syntheticModules/A007822/asynchronousNumba.py +79 -0
  47. mapFolding/syntheticModules/A007822/asynchronousTheorem2.py +15 -3
  48. mapFolding/syntheticModules/A007822/asynchronousTrimmed.py +12 -3
  49. mapFolding/syntheticModules/A007822/initializeState.py +1 -2
  50. mapFolding/syntheticModules/A007822/theorem2.py +7 -2
  51. mapFolding/syntheticModules/A007822/theorem2Numba.py +31 -4
  52. mapFolding/syntheticModules/A007822/theorem2Trimmed.py +8 -3
  53. mapFolding/syntheticModules/countParallelNumba.py +5 -2
  54. mapFolding/syntheticModules/dataPacking.py +1 -1
  55. mapFolding/syntheticModules/dataPackingA007822.py +92 -26
  56. mapFolding/syntheticModules/meanders/__init__.py +1 -0
  57. mapFolding/syntheticModules/meanders/bigInt.py +52 -0
  58. mapFolding/syntheticModules/theorem2.py +6 -0
  59. mapFolding/syntheticModules/theorem2Numba.py +8 -2
  60. mapFolding/syntheticModules/theorem2Trimmed.py +6 -0
  61. mapFolding/tests/conftest.py +28 -13
  62. mapFolding/tests/test_computations.py +68 -61
  63. mapFolding/tests/test_oeis.py +6 -6
  64. mapFolding/zCuzDocStoopid/__init__.py +4 -1
  65. mapFolding/zCuzDocStoopid/makeDocstrings.py +35 -28
  66. mapfolding-0.16.2.dist-info/METADATA +99 -0
  67. mapfolding-0.16.2.dist-info/RECORD +115 -0
  68. {mapfolding-0.16.0.dist-info → mapfolding-0.16.2.dist-info}/top_level.txt +1 -0
  69. mapFolding/algorithms/getBucketsTotal.py +0 -137
  70. mapFolding/reference/matrixMeandersAnalysis/evenEven.py +0 -144
  71. mapFolding/reference/matrixMeandersAnalysis/oddEven.py +0 -54
  72. mapFolding/trim_memory.py +0 -62
  73. mapfolding-0.16.0.dist-info/METADATA +0 -85
  74. mapfolding-0.16.0.dist-info/RECORD +0 -100
  75. {mapfolding-0.16.0.dist-info → mapfolding-0.16.2.dist-info}/WHEEL +0 -0
  76. {mapfolding-0.16.0.dist-info → mapfolding-0.16.2.dist-info}/entry_points.txt +0 -0
  77. {mapfolding-0.16.0.dist-info → mapfolding-0.16.2.dist-info}/licenses/LICENSE +0 -0
@@ -1,6 +1,6 @@
1
1
  """A005316 facts."""
2
2
 
3
- dictionary_nToBitWidthDistinctCrossings: dict[int, int] = {
3
+ dictionary_nToBitWidthCrossings: dict[int, int] = {
4
4
  0: 1, 1: 1, 2: 1, 3: 2, 4: 2, 5: 4, 6: 4, 7: 6, 8: 7, 9: 9
5
5
  , 10: 10, 11: 11, 12: 12, 13: 14, 14: 15, 15: 17, 16: 18, 17: 20, 18: 22, 19: 23
6
6
  , 20: 25, 21: 27, 22: 28, 23: 30, 24: 31, 25: 33, 26: 34, 27: 36, 28: 38, 29: 40
@@ -15,7 +15,7 @@ bitWidthIncreaseMaximum = 3
15
15
  bitWidthIncreaseMean = 1.51
16
16
  bitWidthIncreaseMedian = 2
17
17
 
18
- bucketsIf_k_ODD_by_nLess_k: dict[int, int] = {
18
+ bucketsIf_boundary_ODD_by_nLess_boundary: dict[int, int] = {
19
19
  1:2,
20
20
  2:7,
21
21
  3:16,
@@ -38,7 +38,7 @@ bucketsIf_k_ODD_by_nLess_k: dict[int, int] = {
38
38
  20:9464570,
39
39
  }
40
40
 
41
- bucketsIf_k_EVEN_by_nLess_k: dict[int, int] = {
41
+ bucketsIf_boundary_EVEN_by_nLess_boundary: dict[int, int] = {
42
42
  1:3,
43
43
  2:6,
44
44
  3:20,
@@ -60,3 +60,961 @@ bucketsIf_k_EVEN_by_nLess_k: dict[int, int] = {
60
60
  19:4430191,
61
61
  20:7898072,
62
62
  }
63
+
64
+ A005316_n_boundary_buckets: dict[int, dict[int, int]] = {2: {1: 1},
65
+ 3: {2: 3, 1: 2},
66
+ 4: {3: 2, 2: 4, 1: 3},
67
+ 5: {4: 3, 3: 7, 2: 9, 1: 3},
68
+ 6: {5: 2, 4: 6, 3: 13, 2: 10, 1: 3},
69
+ 7: {6: 3, 5: 7, 4: 20, 3: 23, 2: 12, 1: 3},
70
+ 8: {7: 2, 6: 6, 5: 16, 4: 31, 3: 30, 2: 12, 1: 3},
71
+ 9: {8: 3, 7: 7, 6: 20, 5: 42, 4: 61, 3: 36, 2: 12, 1: 3},
72
+ 10: {9: 2, 8: 6, 7: 16, 6: 37, 5: 71, 4: 77, 3: 38, 2: 12, 1: 3},
73
+ 11: {10: 3, 9: 7, 8: 20, 7: 42, 6: 100, 5: 138, 4: 104, 3: 40, 2: 12, 1: 3},
74
+ 12: {11: 2, 10: 6, 9: 16, 8: 37, 7: 81, 6: 160, 5: 188, 4: 112, 3: 40, 2: 12, 1: 3},
75
+ 13: {12: 3, 11: 7, 10: 20, 9: 42, 8: 100, 7: 207, 6: 329, 5: 271, 4: 125, 3: 40, 2: 12, 1: 3},
76
+ 14: {13: 2, 12: 6, 11: 16, 10: 37, 9: 81, 8: 180, 7: 347, 6: 451, 5: 306, 4: 125, 3: 40, 2: 12, 1: 3},
77
+ 15: {14: 3, 13: 7, 12: 20, 11: 42, 10: 100, 9: 207, 8: 468, 7: 723, 6: 708, 5: 367, 4: 125, 3: 40, 2: 12, 1: 3},
78
+ 16: {15: 2, 14: 6, 13: 16, 12: 37, 11: 81, 10: 180, 9: 382, 8: 766, 7: 1042, 6: 834, 5: 377, 4: 125, 3: 40, 2: 12, 1: 3},
79
+ 17: {16: 3,
80
+ 15: 7,
81
+ 14: 20,
82
+ 13: 42,
83
+ 12: 100,
84
+ 11: 207,
85
+ 10: 468,
86
+ 9: 974,
87
+ 8: 1653,
88
+ 7: 1739,
89
+ 6: 1083,
90
+ 5: 392,
91
+ 4: 125,
92
+ 3: 40,
93
+ 2: 12,
94
+ 1: 3},
95
+ 18: {17: 2,
96
+ 16: 6,
97
+ 15: 16,
98
+ 14: 37,
99
+ 13: 81,
100
+ 12: 180,
101
+ 11: 382,
102
+ 10: 836,
103
+ 9: 1643,
104
+ 8: 2409,
105
+ 7: 2148,
106
+ 6: 1143,
107
+ 5: 392,
108
+ 4: 125,
109
+ 3: 40,
110
+ 2: 12,
111
+ 1: 3},
112
+ 19: {18: 3,
113
+ 17: 7,
114
+ 16: 20,
115
+ 15: 42,
116
+ 14: 100,
117
+ 13: 207,
118
+ 12: 468,
119
+ 11: 974,
120
+ 10: 2156,
121
+ 9: 3599,
122
+ 8: 4267,
123
+ 7: 3023,
124
+ 6: 1254,
125
+ 5: 392,
126
+ 4: 125,
127
+ 3: 40,
128
+ 2: 12,
129
+ 1: 3},
130
+ 20: {19: 2,
131
+ 18: 6,
132
+ 17: 16,
133
+ 16: 37,
134
+ 15: 81,
135
+ 14: 180,
136
+ 13: 382,
137
+ 12: 836,
138
+ 11: 1769,
139
+ 10: 3592,
140
+ 9: 5428,
141
+ 8: 5494,
142
+ 7: 3311,
143
+ 6: 1254,
144
+ 5: 392,
145
+ 4: 125,
146
+ 3: 40,
147
+ 2: 12,
148
+ 1: 3},
149
+ 21: {20: 3,
150
+ 19: 7,
151
+ 18: 20,
152
+ 17: 42,
153
+ 16: 100,
154
+ 15: 207,
155
+ 14: 468,
156
+ 13: 974,
157
+ 12: 2156,
158
+ 11: 4522,
159
+ 10: 8056,
160
+ 9: 10072,
161
+ 8: 8323,
162
+ 7: 3891,
163
+ 6: 1254,
164
+ 5: 392,
165
+ 4: 125,
166
+ 3: 40,
167
+ 2: 12,
168
+ 1: 3},
169
+ 22: {21: 2,
170
+ 20: 6,
171
+ 19: 16,
172
+ 18: 37,
173
+ 17: 81,
174
+ 16: 180,
175
+ 15: 382,
176
+ 14: 836,
177
+ 13: 1769,
178
+ 12: 3844,
179
+ 11: 7692,
180
+ 10: 12271,
181
+ 9: 13497,
182
+ 8: 9502,
183
+ 7: 3961,
184
+ 6: 1254,
185
+ 5: 392,
186
+ 4: 125,
187
+ 3: 40,
188
+ 2: 12,
189
+ 1: 3},
190
+ 23: {22: 3,
191
+ 21: 7,
192
+ 20: 20,
193
+ 19: 42,
194
+ 18: 100,
195
+ 17: 207,
196
+ 16: 468,
197
+ 15: 974,
198
+ 14: 2156,
199
+ 13: 4522,
200
+ 12: 9903,
201
+ 11: 17472,
202
+ 10: 23726,
203
+ 9: 21880,
204
+ 8: 12055,
205
+ 7: 4087,
206
+ 6: 1254,
207
+ 5: 392,
208
+ 4: 125,
209
+ 3: 40,
210
+ 2: 12,
211
+ 1: 3},
212
+ 24: {23: 2,
213
+ 22: 6,
214
+ 21: 16,
215
+ 20: 37,
216
+ 19: 81,
217
+ 18: 180,
218
+ 17: 382,
219
+ 16: 836,
220
+ 15: 1769,
221
+ 14: 3844,
222
+ 13: 8154,
223
+ 12: 16726,
224
+ 11: 27264,
225
+ 10: 32863,
226
+ 9: 26078,
227
+ 8: 12573,
228
+ 7: 4087,
229
+ 6: 1254,
230
+ 5: 392,
231
+ 4: 125,
232
+ 3: 40,
233
+ 2: 12,
234
+ 1: 3},
235
+ 25: {24: 3,
236
+ 23: 7,
237
+ 22: 20,
238
+ 21: 42,
239
+ 20: 100,
240
+ 19: 207,
241
+ 18: 468,
242
+ 17: 974,
243
+ 16: 2156,
244
+ 15: 4522,
245
+ 14: 9903,
246
+ 13: 20903,
247
+ 12: 38631,
248
+ 11: 54528,
249
+ 10: 56405,
250
+ 9: 35729,
251
+ 8: 13623,
252
+ 7: 4087,
253
+ 6: 1254,
254
+ 5: 392,
255
+ 4: 125,
256
+ 3: 40,
257
+ 2: 12,
258
+ 1: 3},
259
+ 26: {25: 2,
260
+ 24: 6,
261
+ 23: 16,
262
+ 22: 37,
263
+ 21: 81,
264
+ 20: 180,
265
+ 19: 382,
266
+ 18: 836,
267
+ 17: 1769,
268
+ 16: 3844,
269
+ 15: 8154,
270
+ 14: 17650,
271
+ 13: 35832,
272
+ 12: 60768,
273
+ 11: 77851,
274
+ 10: 70133,
275
+ 9: 38473,
276
+ 8: 13623,
277
+ 7: 4087,
278
+ 6: 1254,
279
+ 5: 392,
280
+ 4: 125,
281
+ 3: 40,
282
+ 2: 12,
283
+ 1: 3},
284
+ 27: {26: 3,
285
+ 25: 7,
286
+ 24: 20,
287
+ 23: 42,
288
+ 22: 100,
289
+ 21: 207,
290
+ 20: 468,
291
+ 19: 974,
292
+ 18: 2156,
293
+ 17: 4522,
294
+ 16: 9903,
295
+ 15: 20903,
296
+ 14: 45494,
297
+ 13: 83606,
298
+ 12: 125113,
299
+ 11: 140580,
300
+ 10: 103352,
301
+ 9: 44417,
302
+ 8: 13623,
303
+ 7: 4087,
304
+ 6: 1254,
305
+ 5: 392,
306
+ 4: 125,
307
+ 3: 40,
308
+ 2: 12,
309
+ 1: 3},
310
+ 28: {27: 2,
311
+ 26: 6,
312
+ 25: 16,
313
+ 24: 37,
314
+ 23: 81,
315
+ 22: 180,
316
+ 21: 382,
317
+ 20: 836,
318
+ 19: 1769,
319
+ 18: 3844,
320
+ 17: 8154,
321
+ 16: 17650,
322
+ 15: 37548,
323
+ 14: 77653,
324
+ 13: 133841,
325
+ 12: 183064,
326
+ 11: 181838,
327
+ 10: 115570,
328
+ 9: 45005,
329
+ 8: 13623,
330
+ 7: 4087,
331
+ 6: 1254,
332
+ 5: 392,
333
+ 4: 125,
334
+ 3: 40,
335
+ 2: 12,
336
+ 1: 3},
337
+ 29: {28: 3,
338
+ 27: 7,
339
+ 26: 20,
340
+ 25: 42,
341
+ 24: 100,
342
+ 23: 207,
343
+ 22: 468,
344
+ 21: 974,
345
+ 20: 2156,
346
+ 19: 4522,
347
+ 18: 9903,
348
+ 17: 20903,
349
+ 16: 45494,
350
+ 15: 96475,
351
+ 14: 183418,
352
+ 13: 282471,
353
+ 12: 344639,
354
+ 11: 286404,
355
+ 10: 143477,
356
+ 9: 46181,
357
+ 8: 13623,
358
+ 7: 4087,
359
+ 6: 1254,
360
+ 5: 392,
361
+ 4: 125,
362
+ 3: 40,
363
+ 2: 12,
364
+ 1: 3},
365
+ 30: {29: 2,
366
+ 28: 6,
367
+ 27: 16,
368
+ 26: 37,
369
+ 25: 81,
370
+ 24: 180,
371
+ 23: 382,
372
+ 22: 836,
373
+ 21: 1769,
374
+ 20: 3844,
375
+ 19: 8154,
376
+ 18: 17650,
377
+ 17: 37548,
378
+ 16: 81085,
379
+ 15: 166470,
380
+ 14: 295535,
381
+ 13: 422612,
382
+ 12: 462019,
383
+ 11: 333177,
384
+ 10: 148433,
385
+ 9: 46181,
386
+ 8: 13623,
387
+ 7: 4087,
388
+ 6: 1254,
389
+ 5: 392,
390
+ 4: 125,
391
+ 3: 40,
392
+ 2: 12,
393
+ 1: 3},
394
+ 31: {30: 3,
395
+ 29: 7,
396
+ 28: 20,
397
+ 27: 42,
398
+ 26: 100,
399
+ 25: 207,
400
+ 24: 468,
401
+ 23: 974,
402
+ 22: 2156,
403
+ 21: 4522,
404
+ 20: 9903,
405
+ 19: 20903,
406
+ 18: 45494,
407
+ 17: 96475,
408
+ 16: 209157,
409
+ 15: 396395,
410
+ 14: 637022,
411
+ 13: 825471,
412
+ 12: 771569,
413
+ 11: 445084,
414
+ 10: 159137,
415
+ 9: 46181,
416
+ 8: 13623,
417
+ 7: 4087,
418
+ 6: 1254,
419
+ 5: 392,
420
+ 4: 125,
421
+ 3: 40,
422
+ 2: 12,
423
+ 1: 3},
424
+ 32: {31: 2,
425
+ 30: 6,
426
+ 29: 16,
427
+ 28: 37,
428
+ 27: 81,
429
+ 26: 180,
430
+ 25: 382,
431
+ 24: 836,
432
+ 23: 1769,
433
+ 22: 3844,
434
+ 21: 8154,
435
+ 20: 17650,
436
+ 19: 37548,
437
+ 18: 81085,
438
+ 17: 172905,
439
+ 16: 359950,
440
+ 15: 647118,
441
+ 14: 970381,
442
+ 13: 1142431,
443
+ 12: 934520,
444
+ 11: 473494,
445
+ 10: 159137,
446
+ 9: 46181,
447
+ 8: 13623,
448
+ 7: 4087,
449
+ 6: 1254,
450
+ 5: 392,
451
+ 4: 125,
452
+ 3: 40,
453
+ 2: 12,
454
+ 1: 3},
455
+ 33: {32: 3,
456
+ 31: 7,
457
+ 30: 20,
458
+ 29: 42,
459
+ 28: 100,
460
+ 27: 207,
461
+ 26: 468,
462
+ 25: 974,
463
+ 24: 2156,
464
+ 23: 4522,
465
+ 22: 9903,
466
+ 21: 20903,
467
+ 20: 45494,
468
+ 19: 96475,
469
+ 18: 209157,
470
+ 17: 445014,
471
+ 16: 865071,
472
+ 15: 1420971,
473
+ 14: 1953451,
474
+ 13: 2008683,
475
+ 12: 1340353,
476
+ 11: 538045,
477
+ 10: 159137,
478
+ 9: 46181,
479
+ 8: 13623,
480
+ 7: 4087,
481
+ 6: 1254,
482
+ 5: 392,
483
+ 4: 125,
484
+ 3: 40,
485
+ 2: 12,
486
+ 1: 3},
487
+ 34: {33: 2,
488
+ 32: 6,
489
+ 31: 16,
490
+ 30: 37,
491
+ 29: 81,
492
+ 28: 180,
493
+ 27: 382,
494
+ 26: 836,
495
+ 25: 1769,
496
+ 24: 3844,
497
+ 23: 8154,
498
+ 22: 17650,
499
+ 21: 37548,
500
+ 20: 81085,
501
+ 19: 172905,
502
+ 18: 372820,
503
+ 17: 772103,
504
+ 16: 1419716,
505
+ 15: 2200428,
506
+ 14: 2779663,
507
+ 13: 2528086,
508
+ 12: 1475275,
509
+ 11: 543589,
510
+ 10: 159137,
511
+ 9: 46181,
512
+ 8: 13623,
513
+ 7: 4087,
514
+ 6: 1254,
515
+ 5: 392,
516
+ 4: 125,
517
+ 3: 40,
518
+ 2: 12,
519
+ 1: 3},
520
+ 35: {34: 3,
521
+ 33: 7,
522
+ 32: 20,
523
+ 31: 42,
524
+ 30: 100,
525
+ 29: 207,
526
+ 28: 468,
527
+ 27: 974,
528
+ 26: 2156,
529
+ 25: 4522,
530
+ 24: 9903,
531
+ 23: 20903,
532
+ 22: 45494,
533
+ 21: 96475,
534
+ 20: 209157,
535
+ 19: 445014,
536
+ 18: 962310,
537
+ 17: 1867575,
538
+ 16: 3167211,
539
+ 15: 4550074,
540
+ 14: 5107533,
541
+ 13: 3870863,
542
+ 12: 1794752,
543
+ 11: 555469,
544
+ 10: 159137,
545
+ 9: 46181,
546
+ 8: 13623,
547
+ 7: 4087,
548
+ 6: 1254,
549
+ 5: 392,
550
+ 4: 125,
551
+ 3: 40,
552
+ 2: 12,
553
+ 1: 3},
554
+ 36: {35: 2,
555
+ 34: 6,
556
+ 33: 16,
557
+ 32: 37,
558
+ 31: 81,
559
+ 30: 180,
560
+ 29: 382,
561
+ 28: 836,
562
+ 27: 1769,
563
+ 26: 3844,
564
+ 25: 8154,
565
+ 24: 17650,
566
+ 23: 37548,
567
+ 22: 81085,
568
+ 21: 172905,
569
+ 20: 372820,
570
+ 19: 796413,
571
+ 18: 1666843,
572
+ 17: 3095876,
573
+ 16: 4970764,
574
+ 15: 6633729,
575
+ 14: 6663680,
576
+ 13: 4418190,
577
+ 12: 1845836,
578
+ 11: 555469,
579
+ 10: 159137,
580
+ 9: 46181,
581
+ 8: 13623,
582
+ 7: 4087,
583
+ 6: 1254,
584
+ 5: 392,
585
+ 4: 125,
586
+ 3: 40,
587
+ 2: 12,
588
+ 1: 3},
589
+ 37: {36: 3,
590
+ 35: 7,
591
+ 34: 20,
592
+ 33: 42,
593
+ 32: 100,
594
+ 31: 207,
595
+ 30: 468,
596
+ 29: 974,
597
+ 28: 2156,
598
+ 27: 4522,
599
+ 26: 9903,
600
+ 25: 20903,
601
+ 24: 45494,
602
+ 23: 96475,
603
+ 22: 209157,
604
+ 21: 445014,
605
+ 20: 962310,
606
+ 19: 2052330,
607
+ 18: 4060680,
608
+ 17: 7005499,
609
+ 16: 10508770,
610
+ 15: 12665465,
611
+ 14: 10821953,
612
+ 13: 5763380,
613
+ 12: 1961369,
614
+ 11: 555469,
615
+ 10: 159137,
616
+ 9: 46181,
617
+ 8: 13623,
618
+ 7: 4087,
619
+ 6: 1254,
620
+ 5: 392,
621
+ 4: 125,
622
+ 3: 40,
623
+ 2: 12,
624
+ 1: 3},
625
+ 38: {37: 2,
626
+ 36: 6,
627
+ 35: 16,
628
+ 34: 37,
629
+ 33: 81,
630
+ 32: 180,
631
+ 31: 382,
632
+ 30: 836,
633
+ 29: 1769,
634
+ 28: 3844,
635
+ 27: 8154,
636
+ 26: 17650,
637
+ 25: 37548,
638
+ 24: 81085,
639
+ 23: 172905,
640
+ 22: 372820,
641
+ 21: 796413,
642
+ 20: 1715463,
643
+ 19: 3576992,
644
+ 18: 6760789,
645
+ 17: 11131563,
646
+ 16: 15644708,
647
+ 15: 17071836,
648
+ 14: 12828903,
649
+ 13: 6074933,
650
+ 12: 1961369,
651
+ 11: 555469,
652
+ 10: 159137,
653
+ 9: 46181,
654
+ 8: 13623,
655
+ 7: 4087,
656
+ 6: 1254,
657
+ 5: 392,
658
+ 4: 125,
659
+ 3: 40,
660
+ 2: 12,
661
+ 1: 3},
662
+ 39: {38: 3,
663
+ 37: 7,
664
+ 36: 20,
665
+ 35: 42,
666
+ 34: 100,
667
+ 33: 207,
668
+ 32: 468,
669
+ 31: 974,
670
+ 30: 2156,
671
+ 29: 4522,
672
+ 28: 9903,
673
+ 27: 20903,
674
+ 26: 45494,
675
+ 25: 96475,
676
+ 24: 209157,
677
+ 23: 445014,
678
+ 22: 962310,
679
+ 21: 2052330,
680
+ 20: 4430191,
681
+ 19: 8759139,
682
+ 18: 15486485,
683
+ 17: 24006862,
684
+ 16: 30858030,
685
+ 15: 29210465,
686
+ 14: 17926722,
687
+ 13: 6807852,
688
+ 12: 1961369,
689
+ 11: 555469,
690
+ 10: 159137,
691
+ 9: 46181,
692
+ 8: 13623,
693
+ 7: 4087,
694
+ 6: 1254,
695
+ 5: 392,
696
+ 4: 125,
697
+ 3: 40,
698
+ 2: 12,
699
+ 1: 3},
700
+ 40: {39: 2,
701
+ 38: 6,
702
+ 37: 16,
703
+ 36: 37,
704
+ 35: 81,
705
+ 34: 180,
706
+ 33: 382,
707
+ 32: 836,
708
+ 31: 1769,
709
+ 30: 3844,
710
+ 29: 8154,
711
+ 28: 17650,
712
+ 27: 37548,
713
+ 26: 81085,
714
+ 25: 172905,
715
+ 24: 372820,
716
+ 23: 796413,
717
+ 22: 1715463,
718
+ 21: 3669370,
719
+ 20: 7713316,
720
+ 19: 14698138,
721
+ 18: 24860637,
722
+ 17: 36397455,
723
+ 16: 42829652,
724
+ 15: 35925397,
725
+ 14: 19484729,
726
+ 13: 6864480,
727
+ 12: 1961369,
728
+ 11: 555469,
729
+ 10: 159137,
730
+ 9: 46181,
731
+ 8: 13623,
732
+ 7: 4087,
733
+ 6: 1254,
734
+ 5: 392,
735
+ 4: 125,
736
+ 3: 40,
737
+ 2: 12,
738
+ 1: 3},
739
+ 41: {40: 3,
740
+ 39: 7,
741
+ 38: 20,
742
+ 37: 42,
743
+ 36: 100,
744
+ 35: 207,
745
+ 34: 468,
746
+ 33: 974,
747
+ 32: 2156,
748
+ 31: 4522,
749
+ 30: 9903,
750
+ 29: 20903,
751
+ 28: 45494,
752
+ 27: 96475,
753
+ 26: 209157,
754
+ 25: 445014,
755
+ 24: 962310,
756
+ 23: 2052330,
757
+ 22: 4430191,
758
+ 21: 9464570,
759
+ 20: 18994094,
760
+ 19: 34045550,
761
+ 18: 54515804,
762
+ 17: 73853223,
763
+ 16: 76708059,
764
+ 15: 53520920,
765
+ 14: 23273349,
766
+ 13: 6991893,
767
+ 12: 1961369,
768
+ 11: 555469,
769
+ 10: 159137,
770
+ 9: 46181,
771
+ 8: 13623,
772
+ 7: 4087,
773
+ 6: 1254,
774
+ 5: 392,
775
+ 4: 125,
776
+ 3: 40,
777
+ 2: 12,
778
+ 1: 3},
779
+ 42: {41: 2,
780
+ 40: 6,
781
+ 39: 16,
782
+ 38: 37,
783
+ 37: 81,
784
+ 36: 180,
785
+ 35: 382,
786
+ 34: 836,
787
+ 33: 1769,
788
+ 32: 3844,
789
+ 31: 8154,
790
+ 30: 17650,
791
+ 29: 37548,
792
+ 28: 81085,
793
+ 27: 172905,
794
+ 26: 372820,
795
+ 25: 796413,
796
+ 24: 1715463,
797
+ 23: 3669370,
798
+ 22: 7898072,
799
+ 21: 16557686,
800
+ 20: 31988766,
801
+ 19: 55177416,
802
+ 18: 83959724,
803
+ 17: 105195927,
804
+ 16: 97727456,
805
+ 15: 60149113,
806
+ 14: 23830191,
807
+ 13: 6991893,
808
+ 12: 1961369,
809
+ 11: 555469,
810
+ 10: 159137,
811
+ 9: 46181,
812
+ 8: 13623,
813
+ 7: 4087,
814
+ 6: 1254,
815
+ 5: 392,
816
+ 4: 125,
817
+ 3: 40,
818
+ 2: 12,
819
+ 1: 3},
820
+ 43: {42: 3,
821
+ 41: 7,
822
+ 40: 20,
823
+ 39: 42,
824
+ 38: 100,
825
+ 37: 207,
826
+ 36: 468,
827
+ 35: 974,
828
+ 34: 2156,
829
+ 33: 4522,
830
+ 32: 9903,
831
+ 31: 20903,
832
+ 30: 45494,
833
+ 29: 96475,
834
+ 28: 209157,
835
+ 27: 445014,
836
+ 26: 962310,
837
+ 25: 2052330,
838
+ 24: 4430191,
839
+ 23: 9464570,
840
+ 22: 20404957,
841
+ 21: 40943562,
842
+ 20: 74812320,
843
+ 19: 122844418,
844
+ 18: 174518576,
845
+ 17: 196080750,
846
+ 16: 154386778,
847
+ 15: 76768508,
848
+ 14: 25134208,
849
+ 13: 6991893,
850
+ 12: 1961369,
851
+ 11: 555469,
852
+ 10: 159137,
853
+ 9: 46181,
854
+ 8: 13623,
855
+ 7: 4087,
856
+ 6: 1254,
857
+ 5: 392,
858
+ 4: 125,
859
+ 3: 40},
860
+ 44: {43: 2,
861
+ 42: 6,
862
+ 41: 16,
863
+ 40: 37,
864
+ 39: 81,
865
+ 38: 180,
866
+ 37: 382,
867
+ 36: 836,
868
+ 35: 1769,
869
+ 34: 3844,
870
+ 33: 8154,
871
+ 32: 17650,
872
+ 31: 37548,
873
+ 30: 81085,
874
+ 29: 172905,
875
+ 28: 372820,
876
+ 27: 796413,
877
+ 26: 1715463,
878
+ 25: 3669370,
879
+ 24: 7898072,
880
+ 23: 16910402,
881
+ 22: 35674291,
882
+ 21: 69384848,
883
+ 20: 122221119,
884
+ 19: 191816100,
885
+ 18: 254319951,
886
+ 17: 258090741,
887
+ 16: 179755225,
888
+ 15: 80336072,
889
+ 14: 25134208,
890
+ 13: 6991893,
891
+ 12: 1961369,
892
+ 11: 555469,
893
+ 10: 159137,
894
+ 9: 46181,
895
+ 8: 13623,
896
+ 7: 4087,
897
+ 6: 1254,
898
+ 5: 392,
899
+ 4: 125,
900
+ 3: 40},
901
+ 45: {44: 3,
902
+ 43: 7,
903
+ 42: 20,
904
+ 41: 42,
905
+ 40: 100,
906
+ 39: 207,
907
+ 38: 468,
908
+ 37: 974,
909
+ 36: 2156,
910
+ 35: 4522,
911
+ 34: 9903,
912
+ 33: 20903,
913
+ 32: 45494,
914
+ 31: 96475,
915
+ 30: 209157,
916
+ 29: 445014,
917
+ 28: 962310,
918
+ 27: 2052330,
919
+ 26: 4430191,
920
+ 25: 9464570,
921
+ 24: 20404957,
922
+ 23: 43647717,
923
+ 22: 88608749,
924
+ 21: 163720027,
925
+ 20: 275625607,
926
+ 19: 407215789,
927
+ 18: 490719552,
928
+ 17: 429731962,
929
+ 16: 245151465,
930
+ 15: 88956112,
931
+ 14: 25134208,
932
+ 13: 6991893,
933
+ 12: 1961369,
934
+ 11: 555469,
935
+ 10: 159137,
936
+ 9: 46181,
937
+ 8: 13623,
938
+ 7: 4087,
939
+ 6: 1254,
940
+ 5: 392,
941
+ 4: 125,
942
+ 3: 40,
943
+ 2: 12,
944
+ 1: 3},
945
+ 46: {
946
+ 45:2,
947
+ 44:6,
948
+ 43:16,
949
+ 42:37,
950
+ 41:81,
951
+ 40:180,
952
+ 39:382,
953
+ 38:836,
954
+ 37:1769,
955
+ 36:3844,
956
+ 35:8154,
957
+ 34:17650,
958
+ 33:37548,
959
+ 32:81085,
960
+ 31:172905,
961
+ 30:372820,
962
+ 29:796413,
963
+ 28:1715463,
964
+ 27:3669370,
965
+ 26:7898072,
966
+ 25:16910402,
967
+ 24:36379723,
968
+ 23:76596358,
969
+ 22:150619536,
970
+ 21:269489252,
971
+ 20:435541584,
972
+ 19:605408207,
973
+ 18: 665523011,
974
+ 17: 518168154,
975
+ 16: 263762772,
976
+ 15: 89569582,
977
+ 14: 25134208,
978
+ 13: 6991893,
979
+ 12: 1961369,
980
+ 11: 555469,
981
+ 10: 159137,
982
+ 9: 46181,
983
+ 8: 13623,
984
+ 7: 4087,
985
+ 6: 1254,
986
+ 5: 392,
987
+ 4: 125,
988
+ 3: 40,
989
+ 2: 12,
990
+ 1: 3,
991
+ },
992
+ 47: {
993
+ 46: 3,
994
+ 45: 7,
995
+ 44: 20,
996
+ 43: 42,
997
+ 42: 100,
998
+ 41: 207,
999
+ 40: 468,
1000
+ 39: 974,
1001
+ 38: 2156,
1002
+ 37: 4522,
1003
+ 36: 9903,
1004
+ 35: 20903,
1005
+ 34: 45494,
1006
+ 33: 96475,
1007
+ 32: 209157,
1008
+ 31: 445014,
1009
+ 30: 962310,
1010
+ 29: 2052330,
1011
+ 28: 4430191,
1012
+ 27: 9464570,
1013
+ 26: 20404957,
1014
+ 25: 43647717,
1015
+ 24: 94017060,
1016
+ 23: 190897307,
1017
+ 22: 358153498,
1018
+ 21: 614965718,
1019
+ },
1020
+ }