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

mapFolding/reference/A005316facts.py

@@ -15,7 +15,7 @@ bitWidthIncreaseMaximum = 3
 bitWidthIncreaseMean = 1.51
 bitWidthIncreaseMedian = 2
 
-bucketsIf_k_ODD_by_nLess_k: dict[int, int] = {
+bucketsIf_boundary_ODD_by_nLess_boundary: dict[int, int] = {
 1:2,
 2:7,
 3:16,
@@ -38,7 +38,7 @@ bucketsIf_k_ODD_by_nLess_k: dict[int, int] = {
 20:9464570,
 }
 
-bucketsIf_k_EVEN_by_nLess_k: dict[int, int] = {
+bucketsIf_boundary_EVEN_by_nLess_boundary: dict[int, int] = {
 1:3,
 2:6,
 3:20,
@@ -61,925 +61,960 @@ bucketsIf_k_EVEN_by_nLess_k: dict[int, int] = {
 20:7898072,
 }
 
-A005316_n_k_buckets: dict[int, dict[int, int]] = {2: {1: 1},
- 3: {2: 3, 1: 2},
- 4: {3: 2, 2: 4, 1: 3},
- 5: {4: 3, 3: 7, 2: 9, 1: 3},
- 6: {5: 2, 4: 6, 3: 13, 2: 10, 1: 3},
- 7: {6: 3, 5: 7, 4: 20, 3: 23, 2: 12, 1: 3},
- 8: {7: 2, 6: 6, 5: 16, 4: 31, 3: 30, 2: 12, 1: 3},
- 9: {8: 3, 7: 7, 6: 20, 5: 42, 4: 61, 3: 36, 2: 12, 1: 3},
- 10: {9: 2, 8: 6, 7: 16, 6: 37, 5: 71, 4: 77, 3: 38, 2: 12, 1: 3},
- 11: {10: 3, 9: 7, 8: 20, 7: 42, 6: 100, 5: 138, 4: 104, 3: 40, 2: 12, 1: 3},
- 12: {11: 2,
-  10: 6,
-  9: 16,
-  8: 37,
-  7: 81,
-  6: 160,
-  5: 188,
-  4: 112,
-  3: 40,
-  2: 12,
-  1: 3},
- 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},
- 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},
- 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},
- 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},
- 17: {16: 3,
-  15: 7,
-  14: 20,
-  13: 42,
-  12: 100,
-  11: 207,
-  10: 468,
-  9: 974,
-  8: 1653,
-  7: 1739,
-  6: 1083,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 18: {17: 2,
-  16: 6,
-  15: 16,
-  14: 37,
-  13: 81,
-  12: 180,
-  11: 382,
-  10: 836,
-  9: 1643,
-  8: 2409,
-  7: 2148,
-  6: 1143,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 19: {18: 3,
-  17: 7,
-  16: 20,
-  15: 42,
-  14: 100,
-  13: 207,
-  12: 468,
-  11: 974,
-  10: 2156,
-  9: 3599,
-  8: 4267,
-  7: 3023,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 20: {19: 2,
-  18: 6,
-  17: 16,
-  16: 37,
-  15: 81,
-  14: 180,
-  13: 382,
-  12: 836,
-  11: 1769,
-  10: 3592,
-  9: 5428,
-  8: 5494,
-  7: 3311,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 21: {20: 3,
-  19: 7,
-  18: 20,
-  17: 42,
-  16: 100,
-  15: 207,
-  14: 468,
-  13: 974,
-  12: 2156,
-  11: 4522,
-  10: 8056,
-  9: 10072,
-  8: 8323,
-  7: 3891,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 22: {21: 2,
-  20: 6,
-  19: 16,
-  18: 37,
-  17: 81,
-  16: 180,
-  15: 382,
-  14: 836,
-  13: 1769,
-  12: 3844,
-  11: 7692,
-  10: 12271,
-  9: 13497,
-  8: 9502,
-  7: 3961,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 23: {22: 3,
-  21: 7,
-  20: 20,
-  19: 42,
-  18: 100,
-  17: 207,
-  16: 468,
-  15: 974,
-  14: 2156,
-  13: 4522,
-  12: 9903,
-  11: 17472,
-  10: 23726,
-  9: 21880,
-  8: 12055,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 24: {23: 2,
-  22: 6,
-  21: 16,
-  20: 37,
-  19: 81,
-  18: 180,
-  17: 382,
-  16: 836,
-  15: 1769,
-  14: 3844,
-  13: 8154,
-  12: 16726,
-  11: 27264,
-  10: 32863,
-  9: 26078,
-  8: 12573,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 25: {24: 3,
-  23: 7,
-  22: 20,
-  21: 42,
-  20: 100,
-  19: 207,
-  18: 468,
-  17: 974,
-  16: 2156,
-  15: 4522,
-  14: 9903,
-  13: 20903,
-  12: 38631,
-  11: 54528,
-  10: 56405,
-  9: 35729,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 26: {25: 2,
-  24: 6,
-  23: 16,
-  22: 37,
-  21: 81,
-  20: 180,
-  19: 382,
-  18: 836,
-  17: 1769,
-  16: 3844,
-  15: 8154,
-  14: 17650,
-  13: 35832,
-  12: 60768,
-  11: 77851,
-  10: 70133,
-  9: 38473,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 27: {26: 3,
-  25: 7,
-  24: 20,
-  23: 42,
-  22: 100,
-  21: 207,
-  20: 468,
-  19: 974,
-  18: 2156,
-  17: 4522,
-  16: 9903,
-  15: 20903,
-  14: 45494,
-  13: 83606,
-  12: 125113,
-  11: 140580,
-  10: 103352,
-  9: 44417,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 28: {27: 2,
-  26: 6,
-  25: 16,
-  24: 37,
-  23: 81,
-  22: 180,
-  21: 382,
-  20: 836,
-  19: 1769,
-  18: 3844,
-  17: 8154,
-  16: 17650,
-  15: 37548,
-  14: 77653,
-  13: 133841,
-  12: 183064,
-  11: 181838,
-  10: 115570,
-  9: 45005,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 29: {28: 3,
-  27: 7,
-  26: 20,
-  25: 42,
-  24: 100,
-  23: 207,
-  22: 468,
-  21: 974,
-  20: 2156,
-  19: 4522,
-  18: 9903,
-  17: 20903,
-  16: 45494,
-  15: 96475,
-  14: 183418,
-  13: 282471,
-  12: 344639,
-  11: 286404,
-  10: 143477,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 30: {29: 2,
-  28: 6,
-  27: 16,
-  26: 37,
-  25: 81,
-  24: 180,
-  23: 382,
-  22: 836,
-  21: 1769,
-  20: 3844,
-  19: 8154,
-  18: 17650,
-  17: 37548,
-  16: 81085,
-  15: 166470,
-  14: 295535,
-  13: 422612,
-  12: 462019,
-  11: 333177,
-  10: 148433,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 31: {30: 3,
-  29: 7,
-  28: 20,
-  27: 42,
-  26: 100,
-  25: 207,
-  24: 468,
-  23: 974,
-  22: 2156,
-  21: 4522,
-  20: 9903,
-  19: 20903,
-  18: 45494,
-  17: 96475,
-  16: 209157,
-  15: 396395,
-  14: 637022,
-  13: 825471,
-  12: 771569,
-  11: 445084,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 32: {31: 2,
-  30: 6,
-  29: 16,
-  28: 37,
-  27: 81,
-  26: 180,
-  25: 382,
-  24: 836,
-  23: 1769,
-  22: 3844,
-  21: 8154,
-  20: 17650,
-  19: 37548,
-  18: 81085,
-  17: 172905,
-  16: 359950,
-  15: 647118,
-  14: 970381,
-  13: 1142431,
-  12: 934520,
-  11: 473494,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 33: {32: 3,
-  31: 7,
-  30: 20,
-  29: 42,
-  28: 100,
-  27: 207,
-  26: 468,
-  25: 974,
-  24: 2156,
-  23: 4522,
-  22: 9903,
-  21: 20903,
-  20: 45494,
-  19: 96475,
-  18: 209157,
-  17: 445014,
-  16: 865071,
-  15: 1420971,
-  14: 1953451,
-  13: 2008683,
-  12: 1340353,
-  11: 538045,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 34: {33: 2,
-  32: 6,
-  31: 16,
-  30: 37,
-  29: 81,
-  28: 180,
-  27: 382,
-  26: 836,
-  25: 1769,
-  24: 3844,
-  23: 8154,
-  22: 17650,
-  21: 37548,
-  20: 81085,
-  19: 172905,
-  18: 372820,
-  17: 772103,
-  16: 1419716,
-  15: 2200428,
-  14: 2779663,
-  13: 2528086,
-  12: 1475275,
-  11: 543589,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 35: {34: 3,
-  33: 7,
-  32: 20,
-  31: 42,
-  30: 100,
-  29: 207,
-  28: 468,
-  27: 974,
-  26: 2156,
-  25: 4522,
-  24: 9903,
-  23: 20903,
-  22: 45494,
-  21: 96475,
-  20: 209157,
-  19: 445014,
-  18: 962310,
-  17: 1867575,
-  16: 3167211,
-  15: 4550074,
-  14: 5107533,
-  13: 3870863,
-  12: 1794752,
-  11: 555469,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 36: {35: 2,
-  34: 6,
-  33: 16,
-  32: 37,
-  31: 81,
-  30: 180,
-  29: 382,
-  28: 836,
-  27: 1769,
-  26: 3844,
-  25: 8154,
-  24: 17650,
-  23: 37548,
-  22: 81085,
-  21: 172905,
-  20: 372820,
-  19: 796413,
-  18: 1666843,
-  17: 3095876,
-  16: 4970764,
-  15: 6633729,
-  14: 6663680,
-  13: 4418190,
-  12: 1845836,
-  11: 555469,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 37: {36: 3,
-  35: 7,
-  34: 20,
-  33: 42,
-  32: 100,
-  31: 207,
-  30: 468,
-  29: 974,
-  28: 2156,
-  27: 4522,
-  26: 9903,
-  25: 20903,
-  24: 45494,
-  23: 96475,
-  22: 209157,
-  21: 445014,
-  20: 962310,
-  19: 2052330,
-  18: 4060680,
-  17: 7005499,
-  16: 10508770,
-  15: 12665465,
-  14: 10821953,
-  13: 5763380,
-  12: 1961369,
-  11: 555469,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 38: {37: 2,
-  36: 6,
-  35: 16,
-  34: 37,
-  33: 81,
-  32: 180,
-  31: 382,
-  30: 836,
-  29: 1769,
-  28: 3844,
-  27: 8154,
-  26: 17650,
-  25: 37548,
-  24: 81085,
-  23: 172905,
-  22: 372820,
-  21: 796413,
-  20: 1715463,
-  19: 3576992,
-  18: 6760789,
-  17: 11131563,
-  16: 15644708,
-  15: 17071836,
-  14: 12828903,
-  13: 6074933,
-  12: 1961369,
-  11: 555469,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 39: {38: 3,
-  37: 7,
-  36: 20,
-  35: 42,
-  34: 100,
-  33: 207,
-  32: 468,
-  31: 974,
-  30: 2156,
-  29: 4522,
-  28: 9903,
-  27: 20903,
-  26: 45494,
-  25: 96475,
-  24: 209157,
-  23: 445014,
-  22: 962310,
-  21: 2052330,
-  20: 4430191,
-  19: 8759139,
-  18: 15486485,
-  17: 24006862,
-  16: 30858030,
-  15: 29210465,
-  14: 17926722,
-  13: 6807852,
-  12: 1961369,
-  11: 555469,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 40: {39: 2,
-  38: 6,
-  37: 16,
-  36: 37,
-  35: 81,
-  34: 180,
-  33: 382,
-  32: 836,
-  31: 1769,
-  30: 3844,
-  29: 8154,
-  28: 17650,
-  27: 37548,
-  26: 81085,
-  25: 172905,
-  24: 372820,
-  23: 796413,
-  22: 1715463,
-  21: 3669370,
-  20: 7713316,
-  19: 14698138,
-  18: 24860637,
-  17: 36397455,
-  16: 42829652,
-  15: 35925397,
-  14: 19484729,
-  13: 6864480,
-  12: 1961369,
-  11: 555469,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40,
-  2: 12,
-  1: 3},
- 41: {40: 3,
-  39: 7,
-  38: 20,
-  37: 42,
-  36: 100,
-  35: 207,
-  34: 468,
-  33: 974,
-  32: 2156,
-  31: 4522,
-  30: 9903,
-  29: 20903,
-  28: 45494,
-  27: 96475,
-  26: 209157,
-  25: 445014,
-  24: 962310,
-  23: 2052330,
-  22: 4430191,
-  21: 9464570,
-  20: 18994094,
-  19: 34045550,
-  18: 54515804,
-  17: 73853223,
-  16: 76708059,
-  15: 53520920,
-  14: 23273349,
-  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},
- 42: {41: 2,
-  40: 6,
-  39: 16,
-  38: 37,
-  37: 81,
-  36: 180,
-  35: 382,
-  34: 836,
-  33: 1769,
-  32: 3844,
-  31: 8154,
-  30: 17650,
-  29: 37548,
-  28: 81085,
-  27: 172905,
-  26: 372820,
-  25: 796413,
-  24: 1715463,
-  23: 3669370,
-  22: 7898072,
-  21: 16557686,
-  20: 31988766,
-  19: 55177416,
-  18: 83959724,
-  17: 105195927,
-  16: 97727456,
-  15: 60149113,
-  14: 23830191,
-  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},
- 43: {42: 3,
-  41: 7,
-  40: 20,
-  39: 42,
-  38: 100,
-  37: 207,
-  36: 468,
-  35: 974,
-  34: 2156,
-  33: 4522,
-  32: 9903,
-  31: 20903,
-  30: 45494,
-  29: 96475,
-  28: 209157,
-  27: 445014,
-  26: 962310,
-  25: 2052330,
-  24: 4430191,
-  23: 9464570,
-  22: 20404957,
-  21: 40943562,
-  20: 74812320,
-  19: 122844418,
-  18: 174518576,
-  17: 196080750,
-  16: 154386778,
-  15: 76768508,
-  14: 25134208,
-  13: 6991893,
-  12: 1961369,
-  11: 555469,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40},
- 44: {43: 2,
-  42: 6,
-  41: 16,
-  40: 37,
-  39: 81,
-  38: 180,
-  37: 382,
-  36: 836,
-  35: 1769,
-  34: 3844,
-  33: 8154,
-  32: 17650,
-  31: 37548,
-  30: 81085,
-  29: 172905,
-  28: 372820,
-  27: 796413,
-  26: 1715463,
-  25: 3669370,
-  24: 7898072,
-  23: 16910402,
-  22: 35674291,
-  21: 69384848,
-  20: 122221119,
-  19: 191816100,
-  18: 254319951,
-  17: 258090741,
-  16: 179755225,
-  15: 80336072,
-  14: 25134208,
-  13: 6991893,
-  12: 1961369,
-  11: 555469,
-  10: 159137,
-  9: 46181,
-  8: 13623,
-  7: 4087,
-  6: 1254,
-  5: 392,
-  4: 125,
-  3: 40},
- 45: {44: 3,
-  43: 7,
-  42: 20,
-  41: 42,
-  40: 100,
-  39: 207,
-  38: 468,
-  37: 974,
-  36: 2156,
-  35: 4522,
-  34: 9903,
-  33: 20903,
-  32: 45494,
-  31: 96475,
-  30: 209157,
-  29: 445014,
-  28: 962310,
-  27: 2052330,
-  26: 4430191,
-  25: 9464570,
-  24: 20404957,
-  23: 43647717,
-  22: 88608749,
-  21: 163720027}
+A005316_n_boundary_buckets: dict[int, dict[int, int]] = {2: {1: 1},
+3: {2: 3, 1: 2},
+4: {3: 2, 2: 4, 1: 3},
+5: {4: 3, 3: 7, 2: 9, 1: 3},
+6: {5: 2, 4: 6, 3: 13, 2: 10, 1: 3},
+7: {6: 3, 5: 7, 4: 20, 3: 23, 2: 12, 1: 3},
+8: {7: 2, 6: 6, 5: 16, 4: 31, 3: 30, 2: 12, 1: 3},
+9: {8: 3, 7: 7, 6: 20, 5: 42, 4: 61, 3: 36, 2: 12, 1: 3},
+10: {9: 2, 8: 6, 7: 16, 6: 37, 5: 71, 4: 77, 3: 38, 2: 12, 1: 3},
+11: {10: 3, 9: 7, 8: 20, 7: 42, 6: 100, 5: 138, 4: 104, 3: 40, 2: 12, 1: 3},
+12: {11: 2, 10: 6, 9: 16, 8: 37, 7: 81, 6: 160, 5: 188, 4: 112, 3: 40, 2: 12, 1: 3},
+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},
+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},
+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},
+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},
+17: {16: 3,
+15: 7,
+14: 20,
+13: 42,
+12: 100,
+11: 207,
+10: 468,
+9: 974,
+8: 1653,
+7: 1739,
+6: 1083,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+18: {17: 2,
+16: 6,
+15: 16,
+14: 37,
+13: 81,
+12: 180,
+11: 382,
+10: 836,
+9: 1643,
+8: 2409,
+7: 2148,
+6: 1143,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+19: {18: 3,
+17: 7,
+16: 20,
+15: 42,
+14: 100,
+13: 207,
+12: 468,
+11: 974,
+10: 2156,
+9: 3599,
+8: 4267,
+7: 3023,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+20: {19: 2,
+18: 6,
+17: 16,
+16: 37,
+15: 81,
+14: 180,
+13: 382,
+12: 836,
+11: 1769,
+10: 3592,
+9: 5428,
+8: 5494,
+7: 3311,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+21: {20: 3,
+19: 7,
+18: 20,
+17: 42,
+16: 100,
+15: 207,
+14: 468,
+13: 974,
+12: 2156,
+11: 4522,
+10: 8056,
+9: 10072,
+8: 8323,
+7: 3891,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+22: {21: 2,
+20: 6,
+19: 16,
+18: 37,
+17: 81,
+16: 180,
+15: 382,
+14: 836,
+13: 1769,
+12: 3844,
+11: 7692,
+10: 12271,
+9: 13497,
+8: 9502,
+7: 3961,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+23: {22: 3,
+21: 7,
+20: 20,
+19: 42,
+18: 100,
+17: 207,
+16: 468,
+15: 974,
+14: 2156,
+13: 4522,
+12: 9903,
+11: 17472,
+10: 23726,
+9: 21880,
+8: 12055,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+24: {23: 2,
+22: 6,
+21: 16,
+20: 37,
+19: 81,
+18: 180,
+17: 382,
+16: 836,
+15: 1769,
+14: 3844,
+13: 8154,
+12: 16726,
+11: 27264,
+10: 32863,
+9: 26078,
+8: 12573,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+25: {24: 3,
+23: 7,
+22: 20,
+21: 42,
+20: 100,
+19: 207,
+18: 468,
+17: 974,
+16: 2156,
+15: 4522,
+14: 9903,
+13: 20903,
+12: 38631,
+11: 54528,
+10: 56405,
+9: 35729,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+26: {25: 2,
+24: 6,
+23: 16,
+22: 37,
+21: 81,
+20: 180,
+19: 382,
+18: 836,
+17: 1769,
+16: 3844,
+15: 8154,
+14: 17650,
+13: 35832,
+12: 60768,
+11: 77851,
+10: 70133,
+9: 38473,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+27: {26: 3,
+25: 7,
+24: 20,
+23: 42,
+22: 100,
+21: 207,
+20: 468,
+19: 974,
+18: 2156,
+17: 4522,
+16: 9903,
+15: 20903,
+14: 45494,
+13: 83606,
+12: 125113,
+11: 140580,
+10: 103352,
+9: 44417,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+28: {27: 2,
+26: 6,
+25: 16,
+24: 37,
+23: 81,
+22: 180,
+21: 382,
+20: 836,
+19: 1769,
+18: 3844,
+17: 8154,
+16: 17650,
+15: 37548,
+14: 77653,
+13: 133841,
+12: 183064,
+11: 181838,
+10: 115570,
+9: 45005,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+29: {28: 3,
+27: 7,
+26: 20,
+25: 42,
+24: 100,
+23: 207,
+22: 468,
+21: 974,
+20: 2156,
+19: 4522,
+18: 9903,
+17: 20903,
+16: 45494,
+15: 96475,
+14: 183418,
+13: 282471,
+12: 344639,
+11: 286404,
+10: 143477,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+30: {29: 2,
+28: 6,
+27: 16,
+26: 37,
+25: 81,
+24: 180,
+23: 382,
+22: 836,
+21: 1769,
+20: 3844,
+19: 8154,
+18: 17650,
+17: 37548,
+16: 81085,
+15: 166470,
+14: 295535,
+13: 422612,
+12: 462019,
+11: 333177,
+10: 148433,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+31: {30: 3,
+29: 7,
+28: 20,
+27: 42,
+26: 100,
+25: 207,
+24: 468,
+23: 974,
+22: 2156,
+21: 4522,
+20: 9903,
+19: 20903,
+18: 45494,
+17: 96475,
+16: 209157,
+15: 396395,
+14: 637022,
+13: 825471,
+12: 771569,
+11: 445084,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+32: {31: 2,
+30: 6,
+29: 16,
+28: 37,
+27: 81,
+26: 180,
+25: 382,
+24: 836,
+23: 1769,
+22: 3844,
+21: 8154,
+20: 17650,
+19: 37548,
+18: 81085,
+17: 172905,
+16: 359950,
+15: 647118,
+14: 970381,
+13: 1142431,
+12: 934520,
+11: 473494,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+33: {32: 3,
+31: 7,
+30: 20,
+29: 42,
+28: 100,
+27: 207,
+26: 468,
+25: 974,
+24: 2156,
+23: 4522,
+22: 9903,
+21: 20903,
+20: 45494,
+19: 96475,
+18: 209157,
+17: 445014,
+16: 865071,
+15: 1420971,
+14: 1953451,
+13: 2008683,
+12: 1340353,
+11: 538045,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+34: {33: 2,
+32: 6,
+31: 16,
+30: 37,
+29: 81,
+28: 180,
+27: 382,
+26: 836,
+25: 1769,
+24: 3844,
+23: 8154,
+22: 17650,
+21: 37548,
+20: 81085,
+19: 172905,
+18: 372820,
+17: 772103,
+16: 1419716,
+15: 2200428,
+14: 2779663,
+13: 2528086,
+12: 1475275,
+11: 543589,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+35: {34: 3,
+33: 7,
+32: 20,
+31: 42,
+30: 100,
+29: 207,
+28: 468,
+27: 974,
+26: 2156,
+25: 4522,
+24: 9903,
+23: 20903,
+22: 45494,
+21: 96475,
+20: 209157,
+19: 445014,
+18: 962310,
+17: 1867575,
+16: 3167211,
+15: 4550074,
+14: 5107533,
+13: 3870863,
+12: 1794752,
+11: 555469,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+36: {35: 2,
+34: 6,
+33: 16,
+32: 37,
+31: 81,
+30: 180,
+29: 382,
+28: 836,
+27: 1769,
+26: 3844,
+25: 8154,
+24: 17650,
+23: 37548,
+22: 81085,
+21: 172905,
+20: 372820,
+19: 796413,
+18: 1666843,
+17: 3095876,
+16: 4970764,
+15: 6633729,
+14: 6663680,
+13: 4418190,
+12: 1845836,
+11: 555469,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+37: {36: 3,
+35: 7,
+34: 20,
+33: 42,
+32: 100,
+31: 207,
+30: 468,
+29: 974,
+28: 2156,
+27: 4522,
+26: 9903,
+25: 20903,
+24: 45494,
+23: 96475,
+22: 209157,
+21: 445014,
+20: 962310,
+19: 2052330,
+18: 4060680,
+17: 7005499,
+16: 10508770,
+15: 12665465,
+14: 10821953,
+13: 5763380,
+12: 1961369,
+11: 555469,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+38: {37: 2,
+36: 6,
+35: 16,
+34: 37,
+33: 81,
+32: 180,
+31: 382,
+30: 836,
+29: 1769,
+28: 3844,
+27: 8154,
+26: 17650,
+25: 37548,
+24: 81085,
+23: 172905,
+22: 372820,
+21: 796413,
+20: 1715463,
+19: 3576992,
+18: 6760789,
+17: 11131563,
+16: 15644708,
+15: 17071836,
+14: 12828903,
+13: 6074933,
+12: 1961369,
+11: 555469,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+39: {38: 3,
+37: 7,
+36: 20,
+35: 42,
+34: 100,
+33: 207,
+32: 468,
+31: 974,
+30: 2156,
+29: 4522,
+28: 9903,
+27: 20903,
+26: 45494,
+25: 96475,
+24: 209157,
+23: 445014,
+22: 962310,
+21: 2052330,
+20: 4430191,
+19: 8759139,
+18: 15486485,
+17: 24006862,
+16: 30858030,
+15: 29210465,
+14: 17926722,
+13: 6807852,
+12: 1961369,
+11: 555469,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+40: {39: 2,
+38: 6,
+37: 16,
+36: 37,
+35: 81,
+34: 180,
+33: 382,
+32: 836,
+31: 1769,
+30: 3844,
+29: 8154,
+28: 17650,
+27: 37548,
+26: 81085,
+25: 172905,
+24: 372820,
+23: 796413,
+22: 1715463,
+21: 3669370,
+20: 7713316,
+19: 14698138,
+18: 24860637,
+17: 36397455,
+16: 42829652,
+15: 35925397,
+14: 19484729,
+13: 6864480,
+12: 1961369,
+11: 555469,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40,
+2: 12,
+1: 3},
+41: {40: 3,
+39: 7,
+38: 20,
+37: 42,
+36: 100,
+35: 207,
+34: 468,
+33: 974,
+32: 2156,
+31: 4522,
+30: 9903,
+29: 20903,
+28: 45494,
+27: 96475,
+26: 209157,
+25: 445014,
+24: 962310,
+23: 2052330,
+22: 4430191,
+21: 9464570,
+20: 18994094,
+19: 34045550,
+18: 54515804,
+17: 73853223,
+16: 76708059,
+15: 53520920,
+14: 23273349,
+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},
+42: {41: 2,
+40: 6,
+39: 16,
+38: 37,
+37: 81,
+36: 180,
+35: 382,
+34: 836,
+33: 1769,
+32: 3844,
+31: 8154,
+30: 17650,
+29: 37548,
+28: 81085,
+27: 172905,
+26: 372820,
+25: 796413,
+24: 1715463,
+23: 3669370,
+22: 7898072,
+21: 16557686,
+20: 31988766,
+19: 55177416,
+18: 83959724,
+17: 105195927,
+16: 97727456,
+15: 60149113,
+14: 23830191,
+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},
+43: {42: 3,
+41: 7,
+40: 20,
+39: 42,
+38: 100,
+37: 207,
+36: 468,
+35: 974,
+34: 2156,
+33: 4522,
+32: 9903,
+31: 20903,
+30: 45494,
+29: 96475,
+28: 209157,
+27: 445014,
+26: 962310,
+25: 2052330,
+24: 4430191,
+23: 9464570,
+22: 20404957,
+21: 40943562,
+20: 74812320,
+19: 122844418,
+18: 174518576,
+17: 196080750,
+16: 154386778,
+15: 76768508,
+14: 25134208,
+13: 6991893,
+12: 1961369,
+11: 555469,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40},
+44: {43: 2,
+42: 6,
+41: 16,
+40: 37,
+39: 81,
+38: 180,
+37: 382,
+36: 836,
+35: 1769,
+34: 3844,
+33: 8154,
+32: 17650,
+31: 37548,
+30: 81085,
+29: 172905,
+28: 372820,
+27: 796413,
+26: 1715463,
+25: 3669370,
+24: 7898072,
+23: 16910402,
+22: 35674291,
+21: 69384848,
+20: 122221119,
+19: 191816100,
+18: 254319951,
+17: 258090741,
+16: 179755225,
+15: 80336072,
+14: 25134208,
+13: 6991893,
+12: 1961369,
+11: 555469,
+10: 159137,
+9: 46181,
+8: 13623,
+7: 4087,
+6: 1254,
+5: 392,
+4: 125,
+3: 40},
+45: {44: 3,
+43: 7,
+42: 20,
+41: 42,
+40: 100,
+39: 207,
+38: 468,
+37: 974,
+36: 2156,
+35: 4522,
+34: 9903,
+33: 20903,
+32: 45494,
+31: 96475,
+30: 209157,
+29: 445014,
+28: 962310,
+27: 2052330,
+26: 4430191,
+25: 9464570,
+24: 20404957,
+23: 43647717,
+22: 88608749,
+21: 163720027,
+20: 275625607,
+19: 407215789,
+18: 490719552,
+17: 429731962,
+16: 245151465,
+15: 88956112,
+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},
+46: {
+45:2,
+44:6,
+43:16,
+42:37,
+41:81,
+40:180,
+39:382,
+38:836,
+37:1769,
+36:3844,
+35:8154,
+34:17650,
+33:37548,
+32:81085,
+31:172905,
+30:372820,
+29:796413,
+28:1715463,
+27:3669370,
+26:7898072,
+25:16910402,
+24:36379723,
+23:76596358,
+22:150619536,
+21:269489252,
+20:435541584,
+19:605408207,
+18: 665523011,
+17: 518168154,
+16: 263762772,
+15: 89569582,
+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,
+},
+47: {
+46: 3,
+45: 7,
+44: 20,
+43: 42,
+42: 100,
+41: 207,
+40: 468,
+39: 974,
+38: 2156,
+37: 4522,
+36: 9903,
+35: 20903,
+34: 45494,
+33: 96475,
+32: 209157,
+31: 445014,
+30: 962310,
+29: 2052330,
+28: 4430191,
+27: 9464570,
+26: 20404957,
+25: 43647717,
+24: 94017060,
+23: 190897307,
+22: 358153498,
+21: 614965718,
+},
 }