151219(7)

Ruby

Frobenius number for k consecutive numbers(2)

もう少し調べてみた。

def f(ary)
  # ary = [a, b], (a, b) = 1のとき
  return ary[0] * ary[1] - ary[0] - ary[1] if ary.size == 2
  m = ary.max
  s0 = (1 << m) - 1
  s = 1 << m - 1
  a = 0
  while s != s0
    f_max = a if s >> m - 1 == 0
    a += 1
    s += 1 << m if ary.any?{|i| (s >> m - i) & 1 == 1}
    s >>= 1
  end
  f_max
end

def A028387(n)
  # a(0) = 1から
  (2..n + 3).each_cons(2).map{|a| f(a)}
end

def A079326(n)
  # a(2) = 1から
  n -= 2
  (2..n + 4).each_cons(3).map{|a| f(a)}
end

def A138984(n)
  # a(1) = 1から
  n -= 1
  (2..n + 5).each_cons(4).map{|a| f(a)}
end

def A138985(n)
  # a(1) = 1から
  n -= 1
  (2..n + 6).each_cons(5).map{|a| f(a)}
end

def A138986(n)
  # a(1) = 1から
  n -= 1
  (2..n + 7).each_cons(6).map{|a| f(a)}
end

def A138987(n)
  # a(1) = 1から
  n -= 1
  (2..n + 8).each_cons(7).map{|a| f(a)}
end

def A138988(n)
  # a(1) = 1から
  n -= 1
  (2..n + 9).each_cons(8).map{|a| f(a)}
end

N = 500
p A028387(N)
p A079326(N)
p A138984(N)
p A138985(N)
p A138986(N)
p A138987(N)
p A138988(N)

出力結果
[1, 5, 11, 19, 29, 41, 55, 71, 89, 109, 131, 155, 181, 209, 239, 271, 305, 341, 379, 419, 461, 505, 551, 599, 649, 701, 755, 811, 869, 929, 991, 1055, 1121, 1189, 1259, 1331, 1405, 1481, 1559, 1639, 1721, 1805, 1891, 1979, 2069, 2161, 2255, 2351, 2449, 2549, 2651, 2755, 2861, 2969, 3079, 3191, 3305, 3421, 3539, 3659, 3781, 3905, 4031, 4159, 4289, 4421, 4555, 4691, 4829, 4969, 5111, 5255, 5401, 5549, 5699, 5851, 6005, 6161, 6319, 6479, 6641, 6805, 6971, 7139, 7309, 7481, 7655, 7831, 8009, 8189, 8371, 8555, 8741, 8929, 9119, 9311, 9505, 9701, 9899, 10099, 10301, 10505, 10711, 10919, 11129, 11341, 11555, 11771, 11989, 12209, 12431, 12655, 12881, 13109, 13339, 13571, 13805, 14041, 14279, 14519, 14761, 15005, 15251, 15499, 15749, 16001, 16255, 16511, 16769, 17029, 17291, 17555, 17821, 18089, 18359, 18631, 18905, 19181, 19459, 19739, 20021, 20305, 20591, 20879, 21169, 21461, 21755, 22051, 22349, 22649, 22951, 23255, 23561, 23869, 24179, 24491, 24805, 25121, 25439, 25759, 26081, 26405, 26731, 27059, 27389, 27721, 28055, 28391, 28729, 29069, 29411, 29755, 30101, 30449, 30799, 31151, 31505, 31861, 32219, 32579, 32941, 33305, 33671, 34039, 34409, 34781, 35155, 35531, 35909, 36289, 36671, 37055, 37441, 37829, 38219, 38611, 39005, 39401, 39799, 40199, 40601, 41005, 41411, 41819, 42229, 42641, 43055, 43471, 43889, 44309, 44731, 45155, 45581, 46009, 46439, 46871, 47305, 47741, 48179, 48619, 49061, 49505, 49951, 50399, 50849, 51301, 51755, 52211, 52669, 53129, 53591, 54055, 54521, 54989, 55459, 55931, 56405, 56881, 57359, 57839, 58321, 58805, 59291, 59779, 60269, 60761, 61255, 61751, 62249, 62749, 63251, 63755, 64261, 64769, 65279, 65791, 66305, 66821, 67339, 67859, 68381, 68905, 69431, 69959, 70489, 71021, 71555, 72091, 72629, 73169, 73711, 74255, 74801, 75349, 75899, 76451, 77005, 77561, 78119, 78679, 79241, 79805, 80371, 80939, 81509, 82081, 82655, 83231, 83809, 84389, 84971, 85555, 86141, 86729, 87319, 87911, 88505, 89101, 89699, 90299, 90901, 91505, 92111, 92719, 93329, 93941, 94555, 95171, 95789, 96409, 97031, 97655, 98281, 98909, 99539, 100171, 100805, 101441, 102079, 102719, 103361, 104005, 104651, 105299, 105949, 106601, 107255, 107911, 108569, 109229, 109891, 110555, 111221, 111889, 112559, 113231, 113905, 114581, 115259, 115939, 116621, 117305, 117991, 118679, 119369, 120061, 120755, 121451, 122149, 122849, 123551, 124255, 124961, 125669, 126379, 127091, 127805, 128521, 129239, 129959, 130681, 131405, 132131, 132859, 133589, 134321, 135055, 135791, 136529, 137269, 138011, 138755, 139501, 140249, 140999, 141751, 142505, 143261, 144019, 144779, 145541, 146305, 147071, 147839, 148609, 149381, 150155, 150931, 151709, 152489, 153271, 154055, 154841, 155629, 156419, 157211, 158005, 158801, 159599, 160399, 161201, 162005, 162811, 163619, 164429, 165241, 166055, 166871, 167689, 168509, 169331, 170155, 170981, 171809, 172639, 173471, 174305, 175141, 175979, 176819, 177661, 178505, 179351, 180199, 181049, 181901, 182755, 183611, 184469, 185329, 186191, 187055, 187921, 188789, 189659, 190531, 191405, 192281, 193159, 194039, 194921, 195805, 196691, 197579, 198469, 199361, 200255, 201151, 202049, 202949, 203851, 204755, 205661, 206569, 207479, 208391, 209305, 210221, 211139, 212059, 212981, 213905, 214831, 215759, 216689, 217621, 218555, 219491, 220429, 221369, 222311, 223255, 224201, 225149, 226099, 227051, 228005, 228961, 229919, 230879, 231841, 232805, 233771, 234739, 235709, 236681, 237655, 238631, 239609, 240589, 241571, 242555, 243541, 244529, 245519, 246511, 247505, 248501, 249499, 250499, 251501]
[1, 2, 7, 9, 17, 20, 31, 35, 49, 54, 71, 77, 97, 104, 127, 135, 161, 170, 199, 209, 241, 252, 287, 299, 337, 350, 391, 405, 449, 464, 511, 527, 577, 594, 647, 665, 721, 740, 799, 819, 881, 902, 967, 989, 1057, 1080, 1151, 1175, 1249, 1274, 1351, 1377, 1457, 1484, 1567, 1595, 1681, 1710, 1799, 1829, 1921, 1952, 2047, 2079, 2177, 2210, 2311, 2345, 2449, 2484, 2591, 2627, 2737, 2774, 2887, 2925, 3041, 3080, 3199, 3239, 3361, 3402, 3527, 3569, 3697, 3740, 3871, 3915, 4049, 4094, 4231, 4277, 4417, 4464, 4607, 4655, 4801, 4850, 4999, 5049, 5201, 5252, 5407, 5459, 5617, 5670, 5831, 5885, 6049, 6104, 6271, 6327, 6497, 6554, 6727, 6785, 6961, 7020, 7199, 7259, 7441, 7502, 7687, 7749, 7937, 8000, 8191, 8255, 8449, 8514, 8711, 8777, 8977, 9044, 9247, 9315, 9521, 9590, 9799, 9869, 10081, 10152, 10367, 10439, 10657, 10730, 10951, 11025, 11249, 11324, 11551, 11627, 11857, 11934, 12167, 12245, 12481, 12560, 12799, 12879, 13121, 13202, 13447, 13529, 13777, 13860, 14111, 14195, 14449, 14534, 14791, 14877, 15137, 15224, 15487, 15575, 15841, 15930, 16199, 16289, 16561, 16652, 16927, 17019, 17297, 17390, 17671, 17765, 18049, 18144, 18431, 18527, 18817, 18914, 19207, 19305, 19601, 19700, 19999, 20099, 20401, 20502, 20807, 20909, 21217, 21320, 21631, 21735, 22049, 22154, 22471, 22577, 22897, 23004, 23327, 23435, 23761, 23870, 24199, 24309, 24641, 24752, 25087, 25199, 25537, 25650, 25991, 26105, 26449, 26564, 26911, 27027, 27377, 27494, 27847, 27965, 28321, 28440, 28799, 28919, 29281, 29402, 29767, 29889, 30257, 30380, 30751, 30875, 31249, 31374, 31751, 31877, 32257, 32384, 32767, 32895, 33281, 33410, 33799, 33929, 34321, 34452, 34847, 34979, 35377, 35510, 35911, 36045, 36449, 36584, 36991, 37127, 37537, 37674, 38087, 38225, 38641, 38780, 39199, 39339, 39761, 39902, 40327, 40469, 40897, 41040, 41471, 41615, 42049, 42194, 42631, 42777, 43217, 43364, 43807, 43955, 44401, 44550, 44999, 45149, 45601, 45752, 46207, 46359, 46817, 46970, 47431, 47585, 48049, 48204, 48671, 48827, 49297, 49454, 49927, 50085, 50561, 50720, 51199, 51359, 51841, 52002, 52487, 52649, 53137, 53300, 53791, 53955, 54449, 54614, 55111, 55277, 55777, 55944, 56447, 56615, 57121, 57290, 57799, 57969, 58481, 58652, 59167, 59339, 59857, 60030, 60551, 60725, 61249, 61424, 61951, 62127, 62657, 62834, 63367, 63545, 64081, 64260, 64799, 64979, 65521, 65702, 66247, 66429, 66977, 67160, 67711, 67895, 68449, 68634, 69191, 69377, 69937, 70124, 70687, 70875, 71441, 71630, 72199, 72389, 72961, 73152, 73727, 73919, 74497, 74690, 75271, 75465, 76049, 76244, 76831, 77027, 77617, 77814, 78407, 78605, 79201, 79400, 79999, 80199, 80801, 81002, 81607, 81809, 82417, 82620, 83231, 83435, 84049, 84254, 84871, 85077, 85697, 85904, 86527, 86735, 87361, 87570, 88199, 88409, 89041, 89252, 89887, 90099, 90737, 90950, 91591, 91805, 92449, 92664, 93311, 93527, 94177, 94394, 95047, 95265, 95921, 96140, 96799, 97019, 97681, 97902, 98567, 98789, 99457, 99680, 100351, 100575, 101249, 101474, 102151, 102377, 103057, 103284, 103967, 104195, 104881, 105110, 105799, 106029, 106721, 106952, 107647, 107879, 108577, 108810, 109511, 109745, 110449, 110684, 111391, 111627, 112337, 112574, 113287, 113525, 114241, 114480, 115199, 115439, 116161, 116402, 117127, 117369, 118097, 118340, 119071, 119315, 120049, 120294, 121031, 121277, 122017, 122264, 123007, 123255, 124001, 124250, 124999]
[1, 2, 3, 9, 11, 13, 23, 26, 29, 43, 47, 51, 69, 74, 79, 101, 107, 113, 139, 146, 153, 183, 191, 199, 233, 242, 251, 289, 299, 309, 351, 362, 373, 419, 431, 443, 493, 506, 519, 573, 587, 601, 659, 674, 689, 751, 767, 783, 849, 866, 883, 953, 971, 989, 1063, 1082, 1101, 1179, 1199, 1219, 1301, 1322, 1343, 1429, 1451, 1473, 1563, 1586, 1609, 1703, 1727, 1751, 1849, 1874, 1899, 2001, 2027, 2053, 2159, 2186, 2213, 2323, 2351, 2379, 2493, 2522, 2551, 2669, 2699, 2729, 2851, 2882, 2913, 3039, 3071, 3103, 3233, 3266, 3299, 3433, 3467, 3501, 3639, 3674, 3709, 3851, 3887, 3923, 4069, 4106, 4143, 4293, 4331, 4369, 4523, 4562, 4601, 4759, 4799, 4839, 5001, 5042, 5083, 5249, 5291, 5333, 5503, 5546, 5589, 5763, 5807, 5851, 6029, 6074, 6119, 6301, 6347, 6393, 6579, 6626, 6673, 6863, 6911, 6959, 7153, 7202, 7251, 7449, 7499, 7549, 7751, 7802, 7853, 8059, 8111, 8163, 8373, 8426, 8479, 8693, 8747, 8801, 9019, 9074, 9129, 9351, 9407, 9463, 9689, 9746, 9803, 10033, 10091, 10149, 10383, 10442, 10501, 10739, 10799, 10859, 11101, 11162, 11223, 11469, 11531, 11593, 11843, 11906, 11969, 12223, 12287, 12351, 12609, 12674, 12739, 13001, 13067, 13133, 13399, 13466, 13533, 13803, 13871, 13939, 14213, 14282, 14351, 14629, 14699, 14769, 15051, 15122, 15193, 15479, 15551, 15623, 15913, 15986, 16059, 16353, 16427, 16501, 16799, 16874, 16949, 17251, 17327, 17403, 17709, 17786, 17863, 18173, 18251, 18329, 18643, 18722, 18801, 19119, 19199, 19279, 19601, 19682, 19763, 20089, 20171, 20253, 20583, 20666, 20749, 21083, 21167, 21251, 21589, 21674, 21759, 22101, 22187, 22273, 22619, 22706, 22793, 23143, 23231, 23319, 23673, 23762, 23851, 24209, 24299, 24389, 24751, 24842, 24933, 25299, 25391, 25483, 25853, 25946, 26039, 26413, 26507, 26601, 26979, 27074, 27169, 27551, 27647, 27743, 28129, 28226, 28323, 28713, 28811, 28909, 29303, 29402, 29501, 29899, 29999, 30099, 30501, 30602, 30703, 31109, 31211, 31313, 31723, 31826, 31929, 32343, 32447, 32551, 32969, 33074, 33179, 33601, 33707, 33813, 34239, 34346, 34453, 34883, 34991, 35099, 35533, 35642, 35751, 36189, 36299, 36409, 36851, 36962, 37073, 37519, 37631, 37743, 38193, 38306, 38419, 38873, 38987, 39101, 39559, 39674, 39789, 40251, 40367, 40483, 40949, 41066, 41183, 41653, 41771, 41889, 42363, 42482, 42601, 43079, 43199, 43319, 43801, 43922, 44043, 44529, 44651, 44773, 45263, 45386, 45509, 46003, 46127, 46251, 46749, 46874, 46999, 47501, 47627, 47753, 48259, 48386, 48513, 49023, 49151, 49279, 49793, 49922, 50051, 50569, 50699, 50829, 51351, 51482, 51613, 52139, 52271, 52403, 52933, 53066, 53199, 53733, 53867, 54001, 54539, 54674, 54809, 55351, 55487, 55623, 56169, 56306, 56443, 56993, 57131, 57269, 57823, 57962, 58101, 58659, 58799, 58939, 59501, 59642, 59783, 60349, 60491, 60633, 61203, 61346, 61489, 62063, 62207, 62351, 62929, 63074, 63219, 63801, 63947, 64093, 64679, 64826, 64973, 65563, 65711, 65859, 66453, 66602, 66751, 67349, 67499, 67649, 68251, 68402, 68553, 69159, 69311, 69463, 70073, 70226, 70379, 70993, 71147, 71301, 71919, 72074, 72229, 72851, 73007, 73163, 73789, 73946, 74103, 74733, 74891, 75049, 75683, 75842, 76001, 76639, 76799, 76959, 77601, 77762, 77923, 78569, 78731, 78893, 79543, 79706, 79869, 80523, 80687, 80851, 81509, 81674, 81839, 82501, 82667, 82833, 83499, 83666]
[1, 2, 3, 4, 11, 13, 15, 17, 29, 32, 35, 38, 55, 59, 63, 67, 89, 94, 99, 104, 131, 137, 143, 149, 181, 188, 195, 202, 239, 247, 255, 263, 305, 314, 323, 332, 379, 389, 399, 409, 461, 472, 483, 494, 551, 563, 575, 587, 649, 662, 675, 688, 755, 769, 783, 797, 869, 884, 899, 914, 991, 1007, 1023, 1039, 1121, 1138, 1155, 1172, 1259, 1277, 1295, 1313, 1405, 1424, 1443, 1462, 1559, 1579, 1599, 1619, 1721, 1742, 1763, 1784, 1891, 1913, 1935, 1957, 2069, 2092, 2115, 2138, 2255, 2279, 2303, 2327, 2449, 2474, 2499, 2524, 2651, 2677, 2703, 2729, 2861, 2888, 2915, 2942, 3079, 3107, 3135, 3163, 3305, 3334, 3363, 3392, 3539, 3569, 3599, 3629, 3781, 3812, 3843, 3874, 4031, 4063, 4095, 4127, 4289, 4322, 4355, 4388, 4555, 4589, 4623, 4657, 4829, 4864, 4899, 4934, 5111, 5147, 5183, 5219, 5401, 5438, 5475, 5512, 5699, 5737, 5775, 5813, 6005, 6044, 6083, 6122, 6319, 6359, 6399, 6439, 6641, 6682, 6723, 6764, 6971, 7013, 7055, 7097, 7309, 7352, 7395, 7438, 7655, 7699, 7743, 7787, 8009, 8054, 8099, 8144, 8371, 8417, 8463, 8509, 8741, 8788, 8835, 8882, 9119, 9167, 9215, 9263, 9505, 9554, 9603, 9652, 9899, 9949, 9999, 10049, 10301, 10352, 10403, 10454, 10711, 10763, 10815, 10867, 11129, 11182, 11235, 11288, 11555, 11609, 11663, 11717, 11989, 12044, 12099, 12154, 12431, 12487, 12543, 12599, 12881, 12938, 12995, 13052, 13339, 13397, 13455, 13513, 13805, 13864, 13923, 13982, 14279, 14339, 14399, 14459, 14761, 14822, 14883, 14944, 15251, 15313, 15375, 15437, 15749, 15812, 15875, 15938, 16255, 16319, 16383, 16447, 16769, 16834, 16899, 16964, 17291, 17357, 17423, 17489, 17821, 17888, 17955, 18022, 18359, 18427, 18495, 18563, 18905, 18974, 19043, 19112, 19459, 19529, 19599, 19669, 20021, 20092, 20163, 20234, 20591, 20663, 20735, 20807, 21169, 21242, 21315, 21388, 21755, 21829, 21903, 21977, 22349, 22424, 22499, 22574, 22951, 23027, 23103, 23179, 23561, 23638, 23715, 23792, 24179, 24257, 24335, 24413, 24805, 24884, 24963, 25042, 25439, 25519, 25599, 25679, 26081, 26162, 26243, 26324, 26731, 26813, 26895, 26977, 27389, 27472, 27555, 27638, 28055, 28139, 28223, 28307, 28729, 28814, 28899, 28984, 29411, 29497, 29583, 29669, 30101, 30188, 30275, 30362, 30799, 30887, 30975, 31063, 31505, 31594, 31683, 31772, 32219, 32309, 32399, 32489, 32941, 33032, 33123, 33214, 33671, 33763, 33855, 33947, 34409, 34502, 34595, 34688, 35155, 35249, 35343, 35437, 35909, 36004, 36099, 36194, 36671, 36767, 36863, 36959, 37441, 37538, 37635, 37732, 38219, 38317, 38415, 38513, 39005, 39104, 39203, 39302, 39799, 39899, 39999, 40099, 40601, 40702, 40803, 40904, 41411, 41513, 41615, 41717, 42229, 42332, 42435, 42538, 43055, 43159, 43263, 43367, 43889, 43994, 44099, 44204, 44731, 44837, 44943, 45049, 45581, 45688, 45795, 45902, 46439, 46547, 46655, 46763, 47305, 47414, 47523, 47632, 48179, 48289, 48399, 48509, 49061, 49172, 49283, 49394, 49951, 50063, 50175, 50287, 50849, 50962, 51075, 51188, 51755, 51869, 51983, 52097, 52669, 52784, 52899, 53014, 53591, 53707, 53823, 53939, 54521, 54638, 54755, 54872, 55459, 55577, 55695, 55813, 56405, 56524, 56643, 56762, 57359, 57479, 57599, 57719, 58321, 58442, 58563, 58684, 59291, 59413, 59535, 59657, 60269, 60392, 60515, 60638, 61255, 61379, 61503, 61627, 62249, 62374, 62499, 62624]
[1, 2, 3, 4, 5, 13, 15, 17, 19, 21, 35, 38, 41, 44, 47, 67, 71, 75, 79, 83, 109, 114, 119, 124, 129, 161, 167, 173, 179, 185, 223, 230, 237, 244, 251, 295, 303, 311, 319, 327, 377, 386, 395, 404, 413, 469, 479, 489, 499, 509, 571, 582, 593, 604, 615, 683, 695, 707, 719, 731, 805, 818, 831, 844, 857, 937, 951, 965, 979, 993, 1079, 1094, 1109, 1124, 1139, 1231, 1247, 1263, 1279, 1295, 1393, 1410, 1427, 1444, 1461, 1565, 1583, 1601, 1619, 1637, 1747, 1766, 1785, 1804, 1823, 1939, 1959, 1979, 1999, 2019, 2141, 2162, 2183, 2204, 2225, 2353, 2375, 2397, 2419, 2441, 2575, 2598, 2621, 2644, 2667, 2807, 2831, 2855, 2879, 2903, 3049, 3074, 3099, 3124, 3149, 3301, 3327, 3353, 3379, 3405, 3563, 3590, 3617, 3644, 3671, 3835, 3863, 3891, 3919, 3947, 4117, 4146, 4175, 4204, 4233, 4409, 4439, 4469, 4499, 4529, 4711, 4742, 4773, 4804, 4835, 5023, 5055, 5087, 5119, 5151, 5345, 5378, 5411, 5444, 5477, 5677, 5711, 5745, 5779, 5813, 6019, 6054, 6089, 6124, 6159, 6371, 6407, 6443, 6479, 6515, 6733, 6770, 6807, 6844, 6881, 7105, 7143, 7181, 7219, 7257, 7487, 7526, 7565, 7604, 7643, 7879, 7919, 7959, 7999, 8039, 8281, 8322, 8363, 8404, 8445, 8693, 8735, 8777, 8819, 8861, 9115, 9158, 9201, 9244, 9287, 9547, 9591, 9635, 9679, 9723, 9989, 10034, 10079, 10124, 10169, 10441, 10487, 10533, 10579, 10625, 10903, 10950, 10997, 11044, 11091, 11375, 11423, 11471, 11519, 11567, 11857, 11906, 11955, 12004, 12053, 12349, 12399, 12449, 12499, 12549, 12851, 12902, 12953, 13004, 13055, 13363, 13415, 13467, 13519, 13571, 13885, 13938, 13991, 14044, 14097, 14417, 14471, 14525, 14579, 14633, 14959, 15014, 15069, 15124, 15179, 15511, 15567, 15623, 15679, 15735, 16073, 16130, 16187, 16244, 16301, 16645, 16703, 16761, 16819, 16877, 17227, 17286, 17345, 17404, 17463, 17819, 17879, 17939, 17999, 18059, 18421, 18482, 18543, 18604, 18665, 19033, 19095, 19157, 19219, 19281, 19655, 19718, 19781, 19844, 19907, 20287, 20351, 20415, 20479, 20543, 20929, 20994, 21059, 21124, 21189, 21581, 21647, 21713, 21779, 21845, 22243, 22310, 22377, 22444, 22511, 22915, 22983, 23051, 23119, 23187, 23597, 23666, 23735, 23804, 23873, 24289, 24359, 24429, 24499, 24569, 24991, 25062, 25133, 25204, 25275, 25703, 25775, 25847, 25919, 25991, 26425, 26498, 26571, 26644, 26717, 27157, 27231, 27305, 27379, 27453, 27899, 27974, 28049, 28124, 28199, 28651, 28727, 28803, 28879, 28955, 29413, 29490, 29567, 29644, 29721, 30185, 30263, 30341, 30419, 30497, 30967, 31046, 31125, 31204, 31283, 31759, 31839, 31919, 31999, 32079, 32561, 32642, 32723, 32804, 32885, 33373, 33455, 33537, 33619, 33701, 34195, 34278, 34361, 34444, 34527, 35027, 35111, 35195, 35279, 35363, 35869, 35954, 36039, 36124, 36209, 36721, 36807, 36893, 36979, 37065, 37583, 37670, 37757, 37844, 37931, 38455, 38543, 38631, 38719, 38807, 39337, 39426, 39515, 39604, 39693, 40229, 40319, 40409, 40499, 40589, 41131, 41222, 41313, 41404, 41495, 42043, 42135, 42227, 42319, 42411, 42965, 43058, 43151, 43244, 43337, 43897, 43991, 44085, 44179, 44273, 44839, 44934, 45029, 45124, 45219, 45791, 45887, 45983, 46079, 46175, 46753, 46850, 46947, 47044, 47141, 47725, 47823, 47921, 48019, 48117, 48707, 48806, 48905, 49004, 49103, 49699, 49799, 49899, 49999, 50099]
[1, 2, 3, 4, 5, 6, 15, 17, 19, 21, 23, 25, 41, 44, 47, 50, 53, 56, 79, 83, 87, 91, 95, 99, 129, 134, 139, 144, 149, 154, 191, 197, 203, 209, 215, 221, 265, 272, 279, 286, 293, 300, 351, 359, 367, 375, 383, 391, 449, 458, 467, 476, 485, 494, 559, 569, 579, 589, 599, 609, 681, 692, 703, 714, 725, 736, 815, 827, 839, 851, 863, 875, 961, 974, 987, 1000, 1013, 1026, 1119, 1133, 1147, 1161, 1175, 1189, 1289, 1304, 1319, 1334, 1349, 1364, 1471, 1487, 1503, 1519, 1535, 1551, 1665, 1682, 1699, 1716, 1733, 1750, 1871, 1889, 1907, 1925, 1943, 1961, 2089, 2108, 2127, 2146, 2165, 2184, 2319, 2339, 2359, 2379, 2399, 2419, 2561, 2582, 2603, 2624, 2645, 2666, 2815, 2837, 2859, 2881, 2903, 2925, 3081, 3104, 3127, 3150, 3173, 3196, 3359, 3383, 3407, 3431, 3455, 3479, 3649, 3674, 3699, 3724, 3749, 3774, 3951, 3977, 4003, 4029, 4055, 4081, 4265, 4292, 4319, 4346, 4373, 4400, 4591, 4619, 4647, 4675, 4703, 4731, 4929, 4958, 4987, 5016, 5045, 5074, 5279, 5309, 5339, 5369, 5399, 5429, 5641, 5672, 5703, 5734, 5765, 5796, 6015, 6047, 6079, 6111, 6143, 6175, 6401, 6434, 6467, 6500, 6533, 6566, 6799, 6833, 6867, 6901, 6935, 6969, 7209, 7244, 7279, 7314, 7349, 7384, 7631, 7667, 7703, 7739, 7775, 7811, 8065, 8102, 8139, 8176, 8213, 8250, 8511, 8549, 8587, 8625, 8663, 8701, 8969, 9008, 9047, 9086, 9125, 9164, 9439, 9479, 9519, 9559, 9599, 9639, 9921, 9962, 10003, 10044, 10085, 10126, 10415, 10457, 10499, 10541, 10583, 10625, 10921, 10964, 11007, 11050, 11093, 11136, 11439, 11483, 11527, 11571, 11615, 11659, 11969, 12014, 12059, 12104, 12149, 12194, 12511, 12557, 12603, 12649, 12695, 12741, 13065, 13112, 13159, 13206, 13253, 13300, 13631, 13679, 13727, 13775, 13823, 13871, 14209, 14258, 14307, 14356, 14405, 14454, 14799, 14849, 14899, 14949, 14999, 15049, 15401, 15452, 15503, 15554, 15605, 15656, 16015, 16067, 16119, 16171, 16223, 16275, 16641, 16694, 16747, 16800, 16853, 16906, 17279, 17333, 17387, 17441, 17495, 17549, 17929, 17984, 18039, 18094, 18149, 18204, 18591, 18647, 18703, 18759, 18815, 18871, 19265, 19322, 19379, 19436, 19493, 19550, 19951, 20009, 20067, 20125, 20183, 20241, 20649, 20708, 20767, 20826, 20885, 20944, 21359, 21419, 21479, 21539, 21599, 21659, 22081, 22142, 22203, 22264, 22325, 22386, 22815, 22877, 22939, 23001, 23063, 23125, 23561, 23624, 23687, 23750, 23813, 23876, 24319, 24383, 24447, 24511, 24575, 24639, 25089, 25154, 25219, 25284, 25349, 25414, 25871, 25937, 26003, 26069, 26135, 26201, 26665, 26732, 26799, 26866, 26933, 27000, 27471, 27539, 27607, 27675, 27743, 27811, 28289, 28358, 28427, 28496, 28565, 28634, 29119, 29189, 29259, 29329, 29399, 29469, 29961, 30032, 30103, 30174, 30245, 30316, 30815, 30887, 30959, 31031, 31103, 31175, 31681, 31754, 31827, 31900, 31973, 32046, 32559, 32633, 32707, 32781, 32855, 32929, 33449, 33524, 33599, 33674, 33749, 33824, 34351, 34427, 34503, 34579, 34655, 34731, 35265, 35342, 35419, 35496, 35573, 35650, 36191, 36269, 36347, 36425, 36503, 36581, 37129, 37208, 37287, 37366, 37445, 37524, 38079, 38159, 38239, 38319, 38399, 38479, 39041, 39122, 39203, 39284, 39365, 39446, 40015, 40097, 40179, 40261, 40343, 40425, 41001, 41084, 41167, 41250, 41333, 41416, 41999, 42083]
[1, 2, 3, 4, 5, 6, 7, 17, 19, 21, 23, 25, 27, 29, 47, 50, 53, 56, 59, 62, 65, 91, 95, 99, 103, 107, 111, 115, 149, 154, 159, 164, 169, 174, 179, 221, 227, 233, 239, 245, 251, 257, 307, 314, 321, 328, 335, 342, 349, 407, 415, 423, 431, 439, 447, 455, 521, 530, 539, 548, 557, 566, 575, 649, 659, 669, 679, 689, 699, 709, 791, 802, 813, 824, 835, 846, 857, 947, 959, 971, 983, 995, 1007, 1019, 1117, 1130, 1143, 1156, 1169, 1182, 1195, 1301, 1315, 1329, 1343, 1357, 1371, 1385, 1499, 1514, 1529, 1544, 1559, 1574, 1589, 1711, 1727, 1743, 1759, 1775, 1791, 1807, 1937, 1954, 1971, 1988, 2005, 2022, 2039, 2177, 2195, 2213, 2231, 2249, 2267, 2285, 2431, 2450, 2469, 2488, 2507, 2526, 2545, 2699, 2719, 2739, 2759, 2779, 2799, 2819, 2981, 3002, 3023, 3044, 3065, 3086, 3107, 3277, 3299, 3321, 3343, 3365, 3387, 3409, 3587, 3610, 3633, 3656, 3679, 3702, 3725, 3911, 3935, 3959, 3983, 4007, 4031, 4055, 4249, 4274, 4299, 4324, 4349, 4374, 4399, 4601, 4627, 4653, 4679, 4705, 4731, 4757, 4967, 4994, 5021, 5048, 5075, 5102, 5129, 5347, 5375, 5403, 5431, 5459, 5487, 5515, 5741, 5770, 5799, 5828, 5857, 5886, 5915, 6149, 6179, 6209, 6239, 6269, 6299, 6329, 6571, 6602, 6633, 6664, 6695, 6726, 6757, 7007, 7039, 7071, 7103, 7135, 7167, 7199, 7457, 7490, 7523, 7556, 7589, 7622, 7655, 7921, 7955, 7989, 8023, 8057, 8091, 8125, 8399, 8434, 8469, 8504, 8539, 8574, 8609, 8891, 8927, 8963, 8999, 9035, 9071, 9107, 9397, 9434, 9471, 9508, 9545, 9582, 9619, 9917, 9955, 9993, 10031, 10069, 10107, 10145, 10451, 10490, 10529, 10568, 10607, 10646, 10685, 10999, 11039, 11079, 11119, 11159, 11199, 11239, 11561, 11602, 11643, 11684, 11725, 11766, 11807, 12137, 12179, 12221, 12263, 12305, 12347, 12389, 12727, 12770, 12813, 12856, 12899, 12942, 12985, 13331, 13375, 13419, 13463, 13507, 13551, 13595, 13949, 13994, 14039, 14084, 14129, 14174, 14219, 14581, 14627, 14673, 14719, 14765, 14811, 14857, 15227, 15274, 15321, 15368, 15415, 15462, 15509, 15887, 15935, 15983, 16031, 16079, 16127, 16175, 16561, 16610, 16659, 16708, 16757, 16806, 16855, 17249, 17299, 17349, 17399, 17449, 17499, 17549, 17951, 18002, 18053, 18104, 18155, 18206, 18257, 18667, 18719, 18771, 18823, 18875, 18927, 18979, 19397, 19450, 19503, 19556, 19609, 19662, 19715, 20141, 20195, 20249, 20303, 20357, 20411, 20465, 20899, 20954, 21009, 21064, 21119, 21174, 21229, 21671, 21727, 21783, 21839, 21895, 21951, 22007, 22457, 22514, 22571, 22628, 22685, 22742, 22799, 23257, 23315, 23373, 23431, 23489, 23547, 23605, 24071, 24130, 24189, 24248, 24307, 24366, 24425, 24899, 24959, 25019, 25079, 25139, 25199, 25259, 25741, 25802, 25863, 25924, 25985, 26046, 26107, 26597, 26659, 26721, 26783, 26845, 26907, 26969, 27467, 27530, 27593, 27656, 27719, 27782, 27845, 28351, 28415, 28479, 28543, 28607, 28671, 28735, 29249, 29314, 29379, 29444, 29509, 29574, 29639, 30161, 30227, 30293, 30359, 30425, 30491, 30557, 31087, 31154, 31221, 31288, 31355, 31422, 31489, 32027, 32095, 32163, 32231, 32299, 32367, 32435, 32981, 33050, 33119, 33188, 33257, 33326, 33395, 33949, 34019, 34089, 34159, 34229, 34299, 34369, 34931, 35002, 35073, 35144, 35215, 35286, 35357, 35927, 35999, 36071]