Ладно пусть пока три потока продолжают поиск в диапазоне малых чисел.
А я буду переносить мульти-парадигму в заоблачные высоты.
Очень интересно, как там будут находиться приближения.
Понятно, что их будет гораздо меньше.
Зато в заоблачных высотах есть шанс найти ключевую 17-ку.

7 потоков в заоблачных высотах перевела на мульти-парадигму.
Приближения перестали появляться :(
ВотЪ.
Очень трудно искать в заоблачных высотах!
Но надо искать как раз там, потому что в диапазоне малых чисел ключевой 17-ки нет.

Будем ждать приближений в заоблачных высотах.

У нас имеется:

6435 элементов с valids=10; не найдено 165;
5005 элементов с valids=11;
3003 элемента с valids=12;
1365 элементов с valids=13;
455 элементов с valids=14;
105 элементов с valids=15;
15 элементов с valids=16;
1 элемент с valids=17; найден.

gris,
для вас задачка: дать список не найденных элементов с перечисленными valids.
Список делаете на основании последнего варианта объединённого спектра приближений к ключевой 17-ке, в котором 26994 уникальных элемента.

Очередная порция уникальных элементов спектра приближений к ключевой 17-ке

12276
1489349422955767
[1,0,1,0,1,1,1,1,1,1,1,1,0,1,0,0,1]
26935
1516629148808447
[1,1,1,0,1,0,0,1,0,0,1,1,0,1,1,1,1]
12259
1456713948014867
12259
[1,0,1,0,1,1,1,1,1,1,1,0,0,0,1,1,1]
30327
1721689239007957
[1,1,1,1,0,1,1,0,0,1,1,1,0,1,1,1,1]
23027
1819535050268477
[1,1,0,1,1,0,0,1,1,1,1,1,0,0,1,1,1]
10031
1904933587726997
[1,0,1,0,0,1,1,1,0,0,1,0,1,1,1,1,1]
31218
1975561588314533
[1,1,1,1,1,0,0,1,1,1,1,1,0,0,1,0,1]
15059
2060160418249867
[1,0,1,1,1,0,1,0,1,1,0,1,0,0,1,1,1]
32534
2108736147883753
[1,1,1,1,1,1,1,1,0,0,0,1,0,1,1,0,1]
22905
2036013865151353
[1,1,0,1,1,0,0,1,0,1,1,1,1,0,0,1,1]
31697
2124482614310143
[1,1,1,1,1,0,1,1,1,1,0,1,0,0,0,1,1]
13935
2091382547920493
[1,0,1,1,0,1,1,0,0,1,1,0,1,1,1,1,1]
12719
2022055922768423
12719
[1,0,1,1,0,0,0,1,1,0,1,0,1,1,1,1,1]
11931
2132824586414063
[1,0,1,0,1,1,1,0,1,0,0,1,1,0,1,1,1]
18414
2224857944158237
18414
[1,1,0,0,0,1,1,1,1,1,1,0,1,1,1,0,1]
21103
2173980294517573
[1,1,0,1,0,0,1,0,0,1,1,0,1,1,1,1,1]
32285
2274488939272483
[1,1,1,1,1,1,1,0,0,0,0,1,1,1,0,1,1]

Отлично!
Дело сдвинулось с мёртвой точки.

Сейчас вставлю вектора совпадений, чтобы увидеть valids.

Вставила.
Все приближения с valids>10.
Вот ведь.

gris уже решил задачу о пропущенных элемента.
Вот полные списки

valids=10 - 17 5774 codes

valids=10   166 codes:
[1901, 1902, 2895, 2933, 3452, 4955, 4971, 4973, 4974, 5100,
 5498, 5500, 5742, 5862, 5973, 5989, 5996, 6267, 6303, 6522,
 6524, 6558, 6703, 6814, 6862, 6890, 6892, 6900, 6904, 6942,
 6958, 6987, 6989, 6990, 6995, 7002, 7017, 7020, 7026, 7114,
 7124, 7215, 7262, 7277, 7278, 7289, 7292, 7323, 7326, 7342,
 7373, 7382, 7388, 7404, 7454, 7502, 7532, 7710, 7821, 7830,
 7834, 7958, 7964, 8012, 8020, 8100, 8574, 9022, 9054, 9070,
 9077, 9566, 9582, 10092, 10351, 10589, 10620, 10910, 11053,
 11110, 11116, 11124, 11180, 11438, 11580, 11598, 11612, 11621,
 11628, 11676, 12132, 13086, 13146, 13162, 13406, 13485, 13532,
 13654, 13676, 13740, 13932, 14164, 14178, 14510, 14524, 14638,
 14670, 14678, 14684, 14697, 14698, 14700, 14764, 14894, 14940,
 14964, 14990, 15002, 15004, 15118, 15177, 15180, 15204, 15208,
 15242, 15390, 15452, 15465, 15468, 15530, 15690, 15692, 15756,
 16034, 16148, 21350, 22345, 22876, 23070, 23130, 23324, 23378,
 23393, 23396, 23400, 23408, 23638, 23708, 23834, 23890, 23920,
 24138, 25452, 25964, 26986, 26988, 27238, 27468, 27492, 31370,
 31372, 31396, 31554, 31584, 32012, 32072]

valids=11   1480 codes:
[895, 1019, 1021, 1407, 1903, 1911, 1915, 1918, 1951, 2303, 2543, 2557, 2687, 2813, 2814, 2879, 2911, 2927, 2939, 2941, 3005, 3035, 3038, 3047, 3053, 3068, 3199, 3295, 3326, 3423, 3439, 3453, 3503, 3565, 3819, 3822, 3887, 3901, 3933, 3934, 3950, 3957, 3958, 3961, 3964, 3998, 4013, 4021, 4028, 4060, 4076, 4479, 4605, 4799, 4847, 4862, 4959, 4975, 4983, 4989, 4990, 5054, 5086, 5102, 5116, 5247, 5311, 5343, 5359, 5371, 5373, 5487, 5495, 5499, 5501, 5502, 5566, 5583, 5591, 5597, 5628, 5755, 5807, 5821, 5822, 5854, 5878, 5882, 5884, 5935, 5947, 5949, 5950, 5967, 5979, 5981, 5982, 5995, 5998, 6003, 6006, 6010, 6012, 6031, 6043, 6045, 6076, 6087, 6102, 6108, 6124, 6271, 6367, 6391, 6395, 6397, 6511, 6519, 6525, 6526, 6575, 6589, 6590, 6621, 6622, 6638, 6643, 6652, 6751, 6767, 6781, 6831, 6843, 6845, 6863, 6875, 6878, 6887, 6891, 6893, 6894, 6901, 6908, 6943, 6959, 6973, 6991, 6999, 7003, 7005, 7006, 7015, 7019, 7021, 7022, 7027, 7029, 7030, 7033, 7034, 7063, 7067, 7069, 7070, 7085, 7091, 7094, 7098, 7111, 7117, 7118, 7126, 7130, 7139, 7141, 7146, 7148, 7156, 7231, 7263, 7279, 7287, 7291, 7293, 7294, 7327, 7343, 7351, 7355, 7358, 7389, 7390, 7403, 7405, 7411, 7414, 7417, 7418, 7420, 7455, 7471, 7479, 7486, 7503, 7511, 7515, 7517, 7518, 7527, 7531, 7533, 7534, 7539, 7541, 7542, 7548, 7581, 7582, 7606, 7630, 7638, 7642, 7644, 7654, 7658, 7666, 7742, 7767, 7771, 7773, 7774, 7787, 7789, 7790, 7795, 7797, 7802, 7823, 7835, 7837, 7838, 7854, 7859, 7862, 7865, 7868, 7885, 7898, 7900, 7913, 7914, 7916, 7922, 7924, 7928, 7951, 7963, 7965, 7966, 7982, 7994, 7996, 8011, 8013, 8014, 8019, 8021, 8022, 8025, 8026, 8028, 8035, 8037, 8038, 8041, 8044, 8075, 8077, 8078, 8092, 8102, 8106, 8108, 8113, 8116, 8140, 8146, 8152, 8168, 8687, 8702, 9055, 9079, 9085, 9086, 9147, 9149, 9197, 9198, 9205, 9463, 9467, 9469, 9470, 9535, 9583, 9597, 9598, 9661, 9691, 9710, 9724, 9854, 9887, 9903, 9911, 9963, 9971, 9974, 9980, 10031, 10039, 10063, 10077, 10078, 10087, 10093, 10094, 10101, 10102, 10108, 10141, 10142, 10157, 10166, 10190, 10204, 10211, 10220, 10367, 10494, 10559, 10607, 10615, 10621, 10622, 10655, 10671, 10731, 10733, 10746, 10748, 10847, 10863, 10871, 10877, 10911, 10935, 10959, 10971, 10983, 10987, 10989, 10990, 10998, 11004, 11039, 11055, 11069, 11070, 11087, 11095, 11099, 11101, 11102, 11115, 11117, 11118, 11125, 11129, 11130, 11132, 11151, 11159, 11163, 11166, 11179, 11181, 11182, 11189, 11190, 11194, 11219, 11235, 11238, 11241, 11244, 11375, 11383, 11387, 11389, 11390, 11423, 11451, 11453, 11485, 11486, 11501, 11510, 11516, 11551, 11567, 11582, 11613, 11614, 11629, 11630, 11641, 11642, 11644, 11671, 11675, 11678, 11694, 11708, 11726, 11734, 11740, 11756, 11807, 11838, 11867, 11869, 11870, 11883, 11900, 11927, 11931, 11933, 11934, 11962, 11964, 11996, 12003, 12010, 12047, 12055, 12059, 12062, 12071, 12077, 12078, 12085, 12092, 12110, 12115, 12118, 12122, 12124, 12131, 12133, 12137, 12138, 12146, 12148, 12173, 12174, 12182, 12186, 12188, 12202, 12204, 12234, 12236, 12260, 12264, 12272, 12415, 12719, 12781, 12895, 12925, 12926, 12975, 12987, 12989, 13022, 13035, 13052, 13115, 13135, 13149, 13150, 13159, 13166, 13171, 13174, 13178, 13180, 13229, 13230, 13242, 13276, 13292, 13300, 13423, 13437, 13471, 13501, 13502, 13519, 13531, 13533, 13547, 13647, 13655, 13662, 13678, 13683, 13686, 13690, 13723, 13726, 13742, 13879, 13903, 13934, 13975, 13981, 13982, 13995, 14005, 14006, 14010, 14058, 14060, 14103, 14125, 14134, 14140, 14151, 14157, 14158, 14166, 14170, 14179, 14182, 14186, 14188, 14221, 14236, 14250, 14252, 14282, 14308, 14431, 14447, 14462, 14495, 14511, 14526, 14551, 14555, 14557, 14573, 14574, 14579, 14586, 14588, 14623, 14639, 14671, 14679, 14683, 14686, 14701, 14702, 14707, 14709, 14710, 14714, 14716, 14750, 14766, 14774, 14780, 14806, 14819, 14826, 14828, 14834, 14895, 14939, 14941, 14942, 14951, 14955, 14957, 14958, 14965, 14966, 14970, 14991, 14999, 15003, 15005, 15006, 15019, 15022, 15030, 15034, 15053, 15059, 15061, 15062, 15066, 15075, 15077, 15078, 15081, 15082, 15084, 15090, 15119, 15127, 15131, 15150, 15158, 15161, 15162, 15175, 15181, 15182, 15187, 15189, 15190, 15193, 15194, 15196, 15203, 15205, 15206, 15209, 15210, 15212, 15217, 15218, 15220, 15224, 15243, 15253, 15257, 15258, 15260, 15269, 15270, 15274, 15276, 15284, 15314, 15316, 15320, 15330, 15332, 15336, 15391, 15407, 15422, 15439, 15447, 15451, 15454, 15463, 15469, 15470, 15482, 15484, 15503, 15511, 15515, 15517, 15518, 15527, 15531, 15534, 15541, 15546, 15548, 15571, 15574, 15580, 15589, 15594, 15596, 15602, 15604, 15608, 15639, 15643, 15645, 15646, 15655, 15670, 15674, 15676, 15687, 15691, 15693, 15694, 15699, 15701, 15705, 15706, 15708, 15717, 15718, 15721, 15722, 15724, 15730, 15732, 15736, 15757, 15758, 15766, 15770, 15772, 15782, 15786, 15788, 15800, 15814, 15844, 15887, 15899, 15918, 15957, 15958, 15971, 15973, 15974, 15978, 15980, 16011, 16013, 16014, 16028, 16038, 16044, 16050, 16074, 16076, 16088, 16139, 16141, 16142, 16147, 16149, 16156, 16172, 16180, 16197, 16201, 16202, 16204, 16209, 16212, 16216, 16225, 16226, 16228, 16240, 16262, 16265, 16268, 16274, 16280, 16322, 17215, 17275, 17277, 17311, 17387, 17389, 17631, 17790, 18207, 18223, 18285, 18286, 18294, 18298, 18300, 18349, 18379, 18783, 18799, 18807, 18863, 19039, 19055, 19069, 19070, 19103, 19119, 19151, 19181, 19247, 19262, 19279, 19287, 19293, 19294, 19307, 19309, 19310, 19315, 19318, 19321, 19324, 19351, 19358, 19374, 19433, 19436, 19551, 19581, 19582, 19631, 19694, 19791, 19806, 19819, 19821, 19822, 19830, 19836, 19867, 19900, 20125, 20142, 20202, 20270, 20301, 20310, 20340, 20371, 20377, 20380, 20847, 20861, 20862, 21103, 21117, 21118, 21182, 21207, 21229, 21238, 21279, 21339, 21342, 21355, 21358, 21363, 21365, 21366, 21369, 21372, 21391, 21422, 21434, 21451, 21482, 21484, 21615, 21629, 21630, 21694, 21726, 21750, 21754, 21847, 21851, 21853, 21854, 21881, 21882, 21911, 21980, 22002, 22126, 22174, 22189, 22236, 22250, 22252, 22299, 22301, 22326, 22350, 22357, 22361, 22362, 22364, 22371, 22373, 22374, 22377, 22388, 22392, 22419, 22438, 22444, 22484, 22639, 22711, 22747, 22750, 22759, 22765, 22766, 22774, 22778, 22780, 22878, 22887, 22891, 22893, 22894, 22901, 22905, 22908, 22955, 22958, 23002, 23018, 23026, 23071, 23101, 23143, 23147, 23149, 23150, 23157, 23162, 23164, 23197, 23198, 23207, 23214, 23225, 23228, 23246, 23254, 23260, 23267, 23270, 23273, 23276, 23281, 23311, 23323, 23325, 23339, 23347, 23354, 23367, 23371, 23373, 23374, 23379, 23381, 23382, 23385, 23386, 23388, 23395, 23397, 23398, 23401, 23402, 23404, 23409, 23410, 23412, 23416, 23438, 23446, 23450, 23452, 23462, 23466, 23498, 23508, 23521, 23522, 23639, 23646, 23659, 23661, 23667, 23669, 23703, 23709, 23710, 23733, 23734, 23738, 23740, 23757, 23763, 23770, 23772, 23786, 23794, 23838, 23854, 23862, 23879, 23883, 23885, 23886, 23893, 23897, 23898, 23907, 23913, 23916, 23922, 23924, 23958, 23962, 23988, 24020, 24110, 24142, 24147, 24150, 24166, 24170, 24172, 24178, 24180, 24184, 24205, 24206, 24211, 24220, 24234, 24242, 24244, 24268, 24276, 24290, 24292, 24333, 24341, 24348, 24357, 24361, 24364, 24376, 24387, 24390, 24393, 24394, 24396, 24402, 24408, 24417, 24420, 24424, 24432, 24460, 24466, 24482, 24488, 24799, 24943, 24958, 25263, 25323, 25326, 25340, 25391, 25423, 25431, 25438, 25447, 25453, 25454, 25468, 25501, 25502, 25517, 25580, 25695, 25711, 25790, 25887, 25917, 25935, 25943, 25949, 25950, 25965, 25966, 25974, 26014, 26143, 26222, 26236, 26269, 26300, 26407, 26414, 26428, 26445, 26446, 26460, 26470, 26473, 26476, 26482, 26509, 26518, 26719, 26735, 26750, 26783, 26799, 26814, 26846, 26859, 26935, 26959, 26973, 26974, 26983, 26987, 26989, 26990, 26998, 27001, 27004, 27054, 27098, 27113, 27183, 27215, 27245, 27246, 27279, 27293, 27294, 27303, 27307, 27322, 27324, 27356, 27366, 27370, 27380, 27422, 27431, 27438, 27452, 27467, 27469, 27470, 27477, 27482, 27484, 27494, 27497, 27500, 27533, 27558, 27562, 27564, 27594, 27596, 27620, 27679, 27710, 27739, 27742, 27751, 27765, 27772, 27806, 27819, 27827, 27851, 27854, 27868, 27875, 27878, 27882, 27884, 27896, 27919, 27933, 27934, 27949, 27979, 27981, 27982, 27990, 27994, 27996, 28005, 28006, 28009, 28010, 28012, 28053, 28060, 28076, 28084, 28106, 28114, 28250, 28252, 28309, 28310, 28314, 28326, 28330, 28332, 28427, 28430, 28438, 28454, 28460, 28468, 28490, 28497, 28498, 28500, 28513, 28514, 28554, 28584, 28862, 28894, 29022, 29037, 29038, 29045, 29162, 29164, 29306, 29308, 29341, 29342, 29398, 29402, 29414, 29470, 29498, 29517, 29518, 29539, 29542, 29545, 29546, 29548, 29590, 29594, 29620, 29799, 29805, 29818, 29820, 29847, 29853, 29854, 29869, 29878, 29882, 29884, 29902, 29907, 29914, 29926, 29930, 29932, 29940, 29967, 29979, 29981, 29982, 30012, 30027, 30029, 30030, 30038, 30042, 30044, 30053, 30058, 30068, 30106, 30108, 30117, 30130, 30156, 30314, 30316, 30358, 30364, 30374, 30378, 30380, 30420, 30440, 30485, 30490, 30508, 30546, 30552, 30564, 30568, 30602, 30688, 30811, 30814, 30827, 30830, 30838, 30842, 30875, 30894, 30908, 30923, 30926, 30954, 30962, 30999, 31005, 31021, 31036, 31053, 31054, 31061, 31065, 31075, 31077, 31082, 31090, 31092, 31117, 31118, 31126, 31130, 31156, 31204, 31208, 31247, 31262, 31278, 31322, 31324, 31331, 31337, 31338, 31346, 31348, 31374, 31379, 31388, 31395, 31402, 31410, 31412, 31427, 31434, 31458, 31464, 31472, 31499, 31502, 31507, 31513, 31514, 31516, 31526, 31529, 31530, 31532, 31538, 31540, 31555, 31557, 31561, 31562, 31570, 31576, 31585, 31586, 31588, 31600, 31619, 31626, 31628, 31634, 31650, 31656, 31664, 31712, 31774, 31819, 31821, 31822, 31830, 31833, 31834, 31836, 31846, 31850, 31852, 31860, 31864, 31879, 31883, 31885, 31886, 31894, 31898, 31900, 31907, 31909, 31916, 31922, 31928, 31942, 31948, 31953, 31976, 31984, 32011, 32013, 32014, 32021, 32026, 32028, 32044, 32070, 32073, 32074, 32076, 32081, 32082, 32088, 32097, 32098, 32100, 32104, 32138, 32140, 32148, 32298, 32300, 32326, 32330, 32368, 32393, 32402, 32464, 32522, 32532, 32552, 32578, 32580, 32592, 32608, 32642, 32644]

valids=12   2289 codes:
[1023, 1791, 1919, 1983, 2039, 2043, 2045, 2815, 2943, 3055, 3063, 3327, 3519, 3551, 3567, 3579, 3581, 3807, 3823, 3831, 3835, 3837, 3838, 3903, 3935, 3951, 3959, 3963, 3965, 3966, 4015, 4027, 4029, 4030, 4047, 4055, 4062, 4075, 4077, 4078, 4086, 4092, 4863, 4991, 5087, 5103, 5111, 5115, 5118, 5375, 5599, 5615, 5623, 5627, 5629, 5630, 5759, 5823, 5871, 5879, 5883, 5886, 5983, 5999, 6007, 6011, 6013, 6014, 6047, 6063, 6071, 6077, 6078, 6095, 6103, 6107, 6109, 6110, 6119, 6123, 6125, 6126, 6133, 6134, 6138, 6140, 6399, 6527, 6591, 6623, 6639, 6651, 6653, 6783, 6847, 6879, 6895, 6903, 6907, 6909, 6910, 6975, 7007, 7023, 7031, 7035, 7037, 7038, 7071, 7087, 7095, 7099, 7101, 7102, 7119, 7127, 7131, 7133, 7134, 7143, 7147, 7149, 7150, 7155, 7157, 7158, 7161, 7162, 7164, 7295, 7359, 7391, 7407, 7415, 7419, 7421, 7422, 7487, 7519, 7535, 7543, 7547, 7549, 7550, 7583, 7599, 7607, 7611, 7613, 7614, 7639, 7643, 7645, 7646, 7655, 7662, 7667, 7669, 7670, 7673, 7674, 7676, 7743, 7775, 7803, 7805, 7806, 7839, 7855, 7863, 7867, 7870, 7895, 7899, 7901, 7902, 7911, 7915, 7917, 7918, 7926, 7929, 7930, 7932, 7967, 7983, 7991, 7995, 7997, 7998, 8015, 8023, 8027, 8029, 8030, 8039, 8043, 8045, 8046, 8051, 8054, 8057, 8058, 8060, 8079, 8087, 8091, 8093, 8094, 8103, 8109, 8110, 8115, 8117, 8118, 8121, 8122, 8124, 8135, 8141, 8147, 8149, 8150, 8154, 8156, 8165, 8166, 8169, 8170, 8172, 8177, 8178, 8180, 8703, 8959, 9087, 9151, 9183, 9199, 9207, 9211, 9213, 9214, 9471, 9599, 9663, 9695, 9711, 9719, 9725, 9726, 9919, 9951, 9975, 9982, 10047, 10079, 10095, 10103, 10107, 10109, 10110, 10143, 10159, 10167, 10171, 10173, 10174, 10199, 10205, 10206, 10215, 10219, 10221, 10222, 10234, 10236, 10495, 10735, 10743, 10747, 10749, 10750, 10879, 10975, 10991, 11003, 11005, 11006, 11071, 11103, 11119, 11127, 11131, 11133, 11134, 11167, 11183, 11191, 11195, 11197, 11198, 11215, 11223, 11227, 11230, 11239, 11243, 11245, 11246, 11251, 11253, 11254, 11257, 11258, 11260, 11391, 11455, 11487, 11503, 11511, 11517, 11518, 11583, 11615, 11631, 11639, 11643, 11645, 11646, 11679, 11695, 11703, 11709, 11710, 11727, 11735, 11739, 11741, 11742, 11751, 11755, 11757, 11758, 11765, 11770, 11772, 11871, 11887, 11895, 11899, 11901, 11902, 11935, 11959, 11963, 11965, 11966, 11983, 11991, 11995, 11997, 11998, 12007, 12011, 12013, 12014, 12021, 12022, 12025, 12026, 12063, 12079, 12087, 12091, 12093, 12094, 12111, 12119, 12123, 12125, 12135, 12139, 12141, 12142, 12153, 12154, 12156, 12175, 12183, 12187, 12190, 12199, 12203, 12205, 12206, 12213, 12214, 12218, 12220, 12231, 12235, 12237, 12238, 12243, 12245, 12246, 12249, 12252, 12259, 12261, 12262, 12265, 12266, 12268, 12276, 12671, 12735, 12783, 12797, 12798, 12927, 12991, 13023, 13039, 13051, 13054, 13151, 13167, 13175, 13179, 13181, 13182, 13215, 13231, 13239, 13243, 13245, 13246, 13263, 13271, 13277, 13278, 13287, 13291, 13293, 13294, 13302, 13305, 13306, 13308, 13439, 13503, 13535, 13551, 13559, 13563, 13565, 13566, 13631, 13663, 13679, 13687, 13691, 13693, 13694, 13727, 13743, 13755, 13757, 13758, 13783, 13790, 13799, 13803, 13805, 13806, 13811, 13817, 13818, 13820, 13887, 13919, 13935, 13943, 13949, 13950, 13983, 13999, 14011, 14013, 14014, 14043, 14046, 14059, 14061, 14062, 14069, 14070, 14076, 14111, 14127, 14135, 14139, 14141, 14142, 14159, 14167, 14173, 14174, 14183, 14187, 14189, 14190, 14195, 14197, 14198, 14202, 14204, 14223, 14237, 14238, 14247, 14251, 14253, 14254, 14261, 14266, 14268, 14285, 14286, 14291, 14293, 14294, 14297, 14298, 14300, 14307, 14309, 14310, 14313, 14316, 14463, 14527, 14559, 14575, 14587, 14590, 14655, 14687, 14703, 14711, 14715, 14717, 14718, 14751, 14767, 14775, 14779, 14781, 14782, 14799, 14807, 14811, 14813, 14814, 14823, 14827, 14829, 14837, 14842, 14844, 14911, 14943, 14959, 14967, 14971, 14973, 14974, 15007, 15023, 15031, 15035, 15037, 15038, 15055, 15063, 15067, 15069, 15070, 15079, 15083, 15085, 15086, 15091, 15093, 15094, 15097, 15100, 15135, 15151, 15159, 15165, 15183, 15191, 15195, 15197, 15198, 15207, 15211, 15213, 15214, 15219, 15221, 15222, 15225, 15226, 15228, 15247, 15255, 15259, 15261, 15262, 15271, 15275, 15277, 15278, 15283, 15285, 15286, 15290, 15292, 15303, 15307, 15309, 15310, 15315, 15317, 15318, 15322, 15324, 15333, 15334, 15337, 15338, 15340, 15346, 15348, 15352, 15423, 15455, 15471, 15479, 15483, 15485, 15486, 15519, 15535, 15543, 15549, 15550, 15567, 15575, 15579, 15581, 15582, 15591, 15597, 15598, 15603, 15606, 15609, 15610, 15612, 15647, 15663, 15675, 15677, 15678, 15695, 15703, 15709, 15710, 15719, 15723, 15725, 15726, 15731, 15733, 15734, 15738, 15740, 15759, 15767, 15771, 15773, 15774, 15783, 15787, 15789, 15790, 15795, 15798, 15804, 15815, 15819, 15821, 15829, 15830, 15834, 15836, 15843, 15845, 15846, 15849, 15850, 15858, 15860, 15864, 15903, 15919, 15927, 15931, 15933, 15934, 15951, 15959, 15963, 15965, 15966, 15979, 15981, 15982, 15987, 15989, 15990, 15993, 15994, 15996, 16015, 16023, 16027, 16029, 16030, 16045, 16046, 16051, 16060, 16071, 16078, 16083, 16092, 16101, 16106, 16108, 16114, 16116, 16120, 16143, 16151, 16155, 16157, 16158, 16167, 16171, 16173, 16174, 16179, 16181, 16185, 16186, 16188, 16199, 16203, 16205, 16206, 16211, 16213, 16214, 16217, 16218, 16220, 16227, 16229, 16230, 16233, 16234, 16236, 16241, 16244, 16263, 16267, 16270, 16275, 16277, 16278, 16281, 16282, 16284, 16293, 16294, 16297, 16298, 16300, 16305, 16306, 16308, 16312, 16323, 16325, 16326, 16329, 16330, 16332, 16338, 16340, 16354, 16356, 16895, 17151, 17279, 17343, 17375, 17391, 17403, 17405, 17791, 17855, 17887, 17903, 17915, 18111, 18167, 18174, 18239, 18271, 18287, 18295, 18301, 18351, 18359, 18366, 18383, 18395, 18397, 18398, 18407, 18411, 18413, 18414, 18426, 18428, 18687, 18815, 18879, 18911, 18941, 18942, 19071, 19167, 19183, 19195, 19198, 19263, 19295, 19311, 19325, 19326, 19359, 19375, 19387, 19389, 19390, 19407, 19415, 19419, 19422, 19431, 19435, 19437, 19438, 19443, 19445, 19446, 19449, 19452, 19647, 19679, 19703, 19707, 19709, 19710, 19775, 19807, 19823, 19831, 19835, 19837, 19838, 19871, 19899, 19902, 19931, 19934, 19943, 19949, 19955, 19958, 19962, 19964, 20031, 20063, 20079, 20087, 20093, 20143, 20155, 20157, 20175, 20187, 20189, 20190, 20203, 20206, 20218, 20220, 20255, 20286, 20303, 20311, 20317, 20318, 20327, 20334, 20339, 20341, 20345, 20346, 20348, 20367, 20381, 20395, 20397, 20398, 20405, 20410, 20412, 20429, 20437, 20441, 20442, 20444, 20451, 20453, 20457, 20458, 20460, 20466, 20863, 20927, 20987, 20990, 21119, 21183, 21215, 21231, 21239, 21243, 21245, 21246, 21343, 21359, 21367, 21371, 21373, 21374, 21407, 21423, 21431, 21437, 21470, 21479, 21485, 21486, 21494, 21498, 21631, 21695, 21727, 21743, 21757, 21758, 21823, 21855, 21871, 21879, 21883, 21885, 21886, 21935, 21949, 21950, 21979, 21981, 21982, 21995, 21998, 22003, 22012, 22111, 22127, 22142, 22175, 22203, 22206, 22223, 22231, 22247, 22251, 22253, 22254, 22259, 22261, 22303, 22319, 22327, 22331, 22333, 22359, 22363, 22366, 22379, 22381, 22382, 22387, 22393, 22394, 22396, 22415, 22427, 22430, 22439, 22443, 22445, 22446, 22453, 22454, 22457, 22458, 22460, 22475, 22478, 22483, 22489, 22490, 22492, 22499, 22505, 22506, 22508, 22513, 22514, 22516, 22520, 22655, 22719, 22751, 22775, 22781, 22782, 22879, 22895, 22903, 22907, 22909, 22910, 22943, 22973, 22974, 23006, 23015, 23021, 23022, 23027, 23029, 23033, 23036, 23135, 23151, 23159, 23165, 23166, 23199, 23215, 23227, 23229, 23230, 23247, 23255, 23259, 23261, 23262, 23271, 23275, 23277, 23278, 23283, 23285, 23286, 23290, 23292, 23327, 23343, 23351, 23355, 23357, 23358, 23375, 23383, 23387, 23389, 23390, 23399, 23403, 23405, 23406, 23411, 23413, 23414, 23417, 23418, 23420, 23439, 23447, 23451, 23454, 23463, 23467, 23469, 23470, 23477, 23499, 23501, 23502, 23507, 23510, 23513, 23514, 23516, 23523, 23525, 23526, 23529, 23530, 23532, 23537, 23538, 23540, 23615, 23647, 23663, 23675, 23677, 23678, 23711, 23735, 23739, 23741, 23767, 23771, 23773, 23774, 23783, 23787, 23789, 23790, 23795, 23797, 23798, 23801, 23802, 23804, 23839, 23855, 23867, 23869, 23870, 23887, 23895, 23899, 23901, 23902, 23911, 23915, 23917, 23918, 23923, 23925, 23926, 23929, 23930, 23932, 23959, 23963, 23965, 23966, 23975, 23979, 23981, 23987, 23989, 23990, 23993, 23996, 24011, 24013, 24014, 24019, 24021, 24022, 24025, 24026, 24028, 24035, 24038, 24041, 24042, 24052, 24056, 24095, 24111, 24123, 24126, 24143, 24155, 24157, 24158, 24167, 24171, 24174, 24179, 24182, 24185, 24186, 24188, 24215, 24219, 24221, 24222, 24231, 24235, 24238, 24246, 24250, 24252, 24267, 24269, 24270, 24277, 24278, 24281, 24282, 24284, 24293, 24294, 24297, 24298, 24300, 24306, 24308, 24312, 24335, 24343, 24347, 24349, 24350, 24359, 24363, 24365, 24366, 24371, 24373, 24374, 24377, 24378, 24391, 24395, 24397, 24398, 24405, 24406, 24409, 24410, 24412, 24419, 24421, 24422, 24425, 24428, 24433, 24434, 24436, 24440, 24455, 24459, 24469, 24470, 24473, 24474, 24476, 24483, 24489, 24490, 24492, 24497, 24498, 24500, 24515, 24517, 24518, 24522, 24524, 24530, 24532, 24545, 24546, 24548, 24552, 24560, 24831, 24959, 25055, 25071, 25079, 25215, 25311, 25341, 25342, 25407, 25439, 25455, 25463, 25467, 25469, 25470, 25503, 25519, 25527, 25531, 25533, 25534, 25551, 25559, 25563, 25565, 25566, 25575, 25579, 25581, 25582, 25587, 25589, 25590, 25593, 25594, 25596, 25727, 25823, 25839, 25853, 25854, 25919, 25951, 25967, 25975, 25981, 25982, 26031, 26039, 26043, 26045, 26046, 26063, 26075, 26078, 26091, 26093, 26094, 26099, 26105, 26108, 26175, 26207, 26231, 26237, 26238, 26271, 26287, 26295, 26301, 26302, 26333, 26334, 26347, 26349, 26350, 26355, 26358, 26362, 26399, 26423, 26427, 26429, 26447, 26455, 26459, 26461, 26462, 26471, 26475, 26477, 26478, 26485, 26489, 26490, 26492, 26519, 26523, 26525, 26526, 26539, 26541, 26542, 26549, 26550, 26553, 26556, 26567, 26571, 26573, 26574, 26582, 26586, 26595, 26597, 26598, 26602, 26604, 26609, 26610, 26612, 26616, 26751, 26863, 26871, 26875, 26877, 26878, 26943, 26975, 26991, 26999, 27005, 27006, 27039, 27055, 27069, 27070, 27087, 27099, 27101, 27102, 27111, 27115, 27117, 27118, 27123, 27125, 27126, 27130, 27199, 27231, 27247, 27255, 27259, 27261, 27262, 27295, 27311, 27319, 27323, 27326, 27351, 27355, 27357, 27358, 27371, 27374, 27379, 27381, 27382, 27386, 27388, 27423, 27439, 27447, 27451, 27453, 27454, 27471, 27479, 27483, 27485, 27486, 27495, 27499, 27501, 27502, 27507, 27509, 27510, 27513, 27514, 27516, 27535, 27543, 27547, 27549, 27559, 27563, 27565, 27566, 27571, 27573, 27577, 27578, 27580, 27591, 27595, 27597, 27603, 27605, 27606, 27610, 27612, 27619, 27621, 27622, 27625, 27626, 27633, 27634, 27636, 27640, 27743, 27759, 27771, 27773, 27807, 27823, 27831, 27835, 27837, 27838, 27855, 27867, 27869, 27870, 27879, 27883, 27886, 27891, 27897, 27898, 27900, 27935, 27951, 27959, 27963, 27965, 27966, 27983, 27991, 27995, 27997, 27998, 28007, 28011, 28013, 28014, 28019, 28021, 28022, 28025, 28026, 28028, 28047, 28055, 28059, 28061, 28062, 28071, 28075, 28077, 28078, 28086, 28092, 28109, 28117, 28118, 28122, 28134, 28137, 28138, 28140, 28145, 28146, 28148, 28152, 28191, 28207, 28222, 28239, 28251, 28253, 28254, 28263, 28267, 28269, 28270, 28277, 28278, 28284, 28303, 28311, 28315, 28317, 28318, 28331, 28333, 28334, 28341, 28342, 28348, 28363, 28365, 28366, 28377, 28378, 28380, 28390, 28394, 28396, 28402, 28404, 28408, 28431, 28439, 28443, 28445, 28446, 28455, 28459, 28461, 28462, 28470, 28473, 28474, 28476, 28491, 28493, 28494, 28499, 28501, 28502, 28505, 28506, 28508, 28517, 28518, 28522, 28524, 28529, 28530, 28532, 28536, 28551, 28555, 28557, 28558, 28563, 28565, 28569, 28570, 28572, 28579, 28581, 28582, 28586, 28588, 28594, 28596, 28600, 28617, 28618, 28620, 28628, 28632, 28641, 28644, 28648, 28895, 28911, 28926, 29023, 29039, 29053, 29054, 29087, 29118, 29147, 29149, 29165, 29166, 29173, 29295, 29307, 29309, 29310, 29343, 29367, 29374, 29399, 29403, 29405, 29406, 29415, 29421, 29422, 29427, 29429, 29430, 29434, 29436, 29495, 29499, 29501, 29502, 29519, 29527, 29531, 29533, 29534, 29543, 29547, 29549, 29550, 29555, 29557, 29558, 29561, 29562, 29564, 29583, 29595, 29597, 29598, 29607, 29613, 29614, 29619, 29621, 29626, 29628, 29643, 29646, 29651, 29654, 29657, 29658, 29660, 29667, 29670, 29673, 29674, 29676, 29682, 29684, 29688, 29759, 29791, 29807, 29821, 29855, 29871, 29879, 29883, 29885, 29886, 29917, 29918, 29927, 29933, 29934, 29939, 29941, 29983, 30013, 30031, 30043, 30045, 30055, 30059, 30061, 30062, 30067, 30069, 30070, 30074, 30095, 30103, 30107, 30109, 30110, 30123, 30126, 30140, 30155, 30163, 30165, 30170, 30172, 30179, 30182, 30186, 30188, 30193, 30194, 30196, 30255, 30270, 30287, 30295, 30301, 30302, 30311, 30317, 30318, 30323, 30325, 30326, 30330, 30332, 30351, 30363, 30366, 30375, 30381, 30382, 30387, 30394, 30411, 30414, 30419, 30421, 30428, 30435, 30437, 30441, 30442, 30444, 30450, 30479, 30487, 30493, 30494, 30507, 30509, 30510, 30517, 30522, 30524, 30539, 30541, 30542, 30547, 30549, 30550, 30553, 30556, 30563, 30565, 30566, 30569, 30570, 30572, 30577, 30578, 30580, 30603, 30605, 30606, 30611, 30613, 30614, 30618, 30620, 30627, 30629, 30630, 30633, 30636, 30641, 30659, 30665, 30666, 30668, 30674, 30676, 30680, 30689, 30690, 30696, 30783, 30815, 30831, 30843, 30845, 30846, 30879, 30895, 30907, 30935, 30939, 30942, 30951, 30955, 30957, 30958, 30963, 30965, 30966, 30969, 30972, 31007, 31023, 31031, 31035, 31038, 31055, 31063, 31067, 31069, 31070, 31079, 31083, 31085, 31086, 31091, 31093, 31094, 31097, 31098, 31100, 31119, 31127, 31133, 31134, 31143, 31147, 31149, 31150, 31162, 31164, 31179, 31181, 31182, 31190, 31194, 31196, 31203, 31205, 31209, 31210, 31212, 31218, 31220, 31224, 31263, 31279, 31287, 31293, 31294, 31311, 31319, 31323, 31325, 31326, 31335, 31342, 31347, 31350, 31353, 31354, 31356, 31375, 31383, 31389, 31390, 31399, 31405, 31406, 31413, 31414, 31417, 31418, 31420, 31431, 31435, 31438, 31443, 31445, 31446, 31450, 31452, 31459, 31461, 31462, 31465, 31466, 31468, 31473, 31474, 31476, 31480, 31503, 31511, 31515, 31517, 31518, 31527, 31531, 31533, 31534, 31539, 31541, 31542, 31545, 31546, 31548, 31559, 31563, 31565, 31571, 31573, 31574, 31577, 31578, 31580, 31587, 31589, 31590, 31593, 31596, 31601, 31602, 31604, 31608, 31623, 31627, 31629, 31630, 31635, 31637, 31641, 31642, 31644, 31654, 31658, 31668, 31672, 31685, 31689, 31690, 31697, 31698, 31713, 31714, 31720, 31728, 31775, 31791, 31799, 31806, 31823, 31835, 31837, 31838, 31851, 31853, 31854, 31861, 31862, 31865, 31866, 31868, 31887, 31895, 31899, 31901, 31902, 31911, 31915, 31917, 31918, 31923, 31925, 31926, 31929, 31930, 31932, 31943, 31947, 31949, 31950, 31958, 31961, 31962, 31964, 31973, 31977, 31978, 31980, 31985, 31986, 31988, 32015, 32023, 32029, 32030, 32039, 32043, 32045, 32046, 32051, 32054, 32058, 32060, 32075, 32077, 32078, 32083, 32085, 32086, 32089, 32090, 32092, 32099, 32101, 32102, 32105, 32106, 32108, 32113, 32114, 32120, 32135, 32141, 32142, 32147, 32149, 32150, 32156, 32163, 32165, 32166, 32169, 32170, 32172, 32178, 32184, 32198, 32201, 32202, 32204, 32210, 32212, 32216, 32225, 32226, 32240, 32283, 32285, 32286, 32295, 32299, 32301, 32302, 32310, 32316, 32327, 32331, 32333, 32334, 32339, 32341, 32342, 32345, 32346, 32358, 32361, 32362, 32364, 32370, 32372, 32391, 32395, 32398, 32403, 32405, 32406, 32409, 32410, 32412, 32419, 32422, 32425, 32426, 32428, 32433, 32434, 32436, 32440, 32453, 32454, 32457, 32458, 32460, 32472, 32482, 32484, 32488, 32519, 32523, 32525, 32526, 32531, 32533, 32534, 32537, 32538, 32540, 32547, 32549, 32550, 32553, 32554, 32556, 32562, 32564, 32568, 32579, 32582, 32585, 32586, 32588, 32593, 32594, 32596, 32600, 32609, 32610, 32612, 32616, 32624, 32643, 32645, 32650, 32652, 32658, 32660, 32664, 32673, 32676, 32706, 32708, 32712, 32720, 32736]

valids=13   1304 codes:
[2047, 3071, 3583, 3839, 3967, 4031, 4063, 4079, 4087, 4093, 4094, 5119, 5631, 5887, 6015, 6079, 6111, 6127, 6135, 6139, 6141, 6142, 6655, 6911, 7039, 7103, 7135, 7151, 7159, 7163, 7165, 7166, 7423, 7551, 7615, 7647, 7663, 7671, 7675, 7677, 7678, 7807, 7871, 7903, 7919, 7927, 7931, 7933, 7934, 7999, 8031, 8047, 8055, 8059, 8061, 8062, 8095, 8111, 8119, 8123, 8125, 8126, 8143, 8151, 8157, 8158, 8167, 8171, 8173, 8174, 8179, 8181, 8182, 8185, 8186, 9215, 9727, 9983, 10111, 10175, 10207, 10223, 10231, 10235, 10237, 10238, 10751, 11007, 11135, 11199, 11231, 11247, 11255, 11259, 11261, 11262, 11519, 11647, 11711, 11743, 11759, 11767, 11771, 11773, 11774, 11903, 11967, 11999, 12015, 12023, 12027, 12029, 12030, 12095, 12127, 12143, 12151, 12155, 12157, 12158, 12191, 12207, 12215, 12219, 12221, 12222, 12239, 12247, 12251, 12253, 12254, 12263, 12267, 12269, 12270, 12277, 12278, 12284, 12799, 13055, 13183, 13247, 13279, 13295, 13303, 13307, 13309, 13310, 13567, 13695, 13759, 13791, 13807, 13815, 13819, 13821, 13822, 13951, 14015, 14047, 14063, 14071, 14075, 14077, 14078, 14143, 14175, 14191, 14199, 14203, 14205, 14206, 14239, 14255, 14263, 14267, 14269, 14270, 14287, 14295, 14299, 14301, 14302, 14311, 14315, 14317, 14318, 14323, 14325, 14326, 14329, 14330, 14332, 14591, 14719, 14783, 14815, 14831, 14839, 14843, 14845, 14846, 14975, 15039, 15071, 15087, 15095, 15099, 15101, 15102, 15167, 15199, 15215, 15223, 15227, 15229, 15230, 15263, 15279, 15291, 15293, 15294, 15311, 15319, 15323, 15326, 15335, 15339, 15341, 15342, 15347, 15349, 15350, 15353, 15354, 15356, 15487, 15551, 15583, 15599, 15607, 15611, 15613, 15614, 15679, 15711, 15727, 15735, 15739, 15741, 15742, 15775, 15791, 15799, 15803, 15805, 15806, 15823, 15831, 15835, 15837, 15838, 15851, 15853, 15854, 15859, 15861, 15862, 15865, 15868, 15935, 15967, 15983, 15991, 15995, 15997, 15998, 16031, 16047, 16055, 16059, 16061, 16062, 16079, 16087, 16091, 16093, 16094, 16103, 16107, 16109, 16110, 16115, 16117, 16118, 16121, 16122, 16124, 16159, 16175, 16183, 16187, 16189, 16190, 16207, 16215, 16219, 16221, 16222, 16231, 16235, 16237, 16238, 16243, 16245, 16246, 16249, 16250, 16252, 16271, 16279, 16283, 16285, 16286, 16295, 16299, 16301, 16302, 16309, 16310, 16314, 16316, 16327, 16331, 16333, 16334, 16342, 16345, 16346, 16348, 16355, 16357, 16358, 16361, 16362, 16364, 16369, 16370, 16372, 16376, 17919, 18175, 18303, 18367, 18399, 18415, 18423, 18427, 18429, 18430, 18943, 19199, 19327, 19391, 19423, 19439, 19447, 19451, 19453, 19454, 19711, 19839, 19903, 19951, 19959, 19963, 19966, 20095, 20191, 20207, 20219, 20221, 20222, 20287, 20319, 20335, 20343, 20349, 20350, 20383, 20399, 20407, 20411, 20413, 20414, 20431, 20439, 20443, 20445, 20446, 20455, 20459, 20461, 20462, 20467, 20470, 20474, 20476, 20991, 21247, 21375, 21439, 21471, 21487, 21495, 21499, 21501, 21502, 21759, 21887, 21951, 21983, 21999, 22007, 22011, 22013, 22014, 22143, 22207, 22239, 22255, 22263, 22269, 22270, 22335, 22367, 22383, 22391, 22395, 22397, 22398, 22431, 22447, 22455, 22459, 22461, 22462, 22479, 22487, 22491, 22493, 22503, 22507, 22509, 22510, 22515, 22517, 22518, 22521, 22522, 22524, 22783, 22911, 23007, 23023, 23031, 23035, 23038, 23167, 23231, 23263, 23279, 23287, 23293, 23294, 23359, 23391, 23407, 23415, 23419, 23421, 23422, 23455, 23471, 23479, 23483, 23485, 23486, 23503, 23511, 23515, 23517, 23518, 23527, 23531, 23533, 23534, 23539, 23541, 23542, 23545, 23546, 23548, 23679, 23743, 23775, 23791, 23803, 23805, 23806, 23871, 23903, 23919, 23927, 23931, 23933, 23934, 23967, 23983, 23991, 23995, 23997, 23998, 24015, 24023, 24027, 24030, 24039, 24043, 24045, 24046, 24053, 24054, 24057, 24058, 24060, 24127, 24159, 24175, 24183, 24187, 24189, 24190, 24223, 24239, 24247, 24251, 24253, 24254, 24271, 24279, 24283, 24285, 24286, 24295, 24299, 24301, 24302, 24307, 24309, 24310, 24313, 24314, 24316, 24351, 24367, 24375, 24379, 24381, 24382, 24399, 24407, 24411, 24413, 24414, 24423, 24427, 24429, 24430, 24435, 24437, 24438, 24441, 24442, 24444, 24463, 24471, 24475, 24477, 24478, 24491, 24493, 24494, 24499, 24501, 24502, 24505, 24506, 24508, 24519, 24523, 24525, 24526, 24531, 24534, 24537, 24538, 24540, 24547, 24549, 24550, 24553, 24554, 24556, 24561, 24562, 24564, 24568, 25087, 25343, 25471, 25535, 25567, 25583, 25591, 25595, 25597, 25598, 25855, 25983, 26047, 26079, 26095, 26103, 26107, 26109, 26110, 26239, 26303, 26335, 26351, 26359, 26365, 26366, 26431, 26463, 26479, 26487, 26491, 26493, 26494, 26527, 26543, 26551, 26555, 26557, 26558, 26575, 26583, 26587, 26589, 26590, 26599, 26603, 26605, 26606, 26611, 26613, 26614, 26617, 26618, 26620, 27007, 27071, 27103, 27119, 27127, 27131, 27133, 27134, 27263, 27327, 27359, 27375, 27383, 27387, 27389, 27390, 27455, 27487, 27503, 27511, 27515, 27517, 27518, 27551, 27567, 27575, 27579, 27581, 27582, 27599, 27607, 27611, 27613, 27614, 27623, 27627, 27629, 27630, 27635, 27637, 27638, 27641, 27642, 27644, 27775, 27839, 27871, 27887, 27895, 27899, 27902, 27967, 27999, 28015, 28023, 28027, 28029, 28030, 28063, 28079, 28087, 28091, 28093, 28094, 28111, 28119, 28123, 28125, 28126, 28135, 28139, 28141, 28142, 28147, 28150, 28153, 28154, 28156, 28223, 28255, 28271, 28279, 28283, 28285, 28286, 28319, 28335, 28343, 28347, 28349, 28350, 28379, 28381, 28382, 28391, 28395, 28397, 28398, 28403, 28405, 28409, 28410, 28412, 28447, 28463, 28471, 28475, 28477, 28478, 28495, 28503, 28507, 28509, 28510, 28519, 28523, 28525, 28526, 28531, 28533, 28534, 28537, 28538, 28540, 28559, 28567, 28571, 28573, 28574, 28583, 28587, 28589, 28590, 28595, 28597, 28598, 28601, 28602, 28604, 28619, 28621, 28622, 28627, 28629, 28634, 28636, 28643, 28645, 28649, 28650, 28652, 28657, 28658, 28660, 28927, 29055, 29119, 29151, 29167, 29175, 29179, 29181, 29182, 29311, 29407, 29423, 29431, 29435, 29437, 29438, 29503, 29535, 29551, 29559, 29563, 29565, 29566, 29599, 29615, 29623, 29627, 29629, 29630, 29647, 29655, 29659, 29661, 29662, 29671, 29675, 29677, 29678, 29683, 29686, 29689, 29690, 29692, 29823, 29887, 29919, 29935, 29943, 29947, 29949, 29950, 30015, 30047, 30063, 30071, 30075, 30077, 30078, 30111, 30135, 30139, 30141, 30142, 30159, 30167, 30171, 30173, 30174, 30183, 30187, 30189, 30190, 30195, 30197, 30198, 30201, 30202, 30204, 30303, 30319, 30327, 30331, 30333, 30334, 30367, 30383, 30391, 30395, 30397, 30398, 30415, 30423, 30427, 30429, 30430, 30439, 30443, 30445, 30446, 30451, 30453, 30454, 30458, 30460, 30495, 30511, 30523, 30525, 30526, 30543, 30551, 30555, 30557, 30558, 30567, 30571, 30573, 30574, 30579, 30581, 30582, 30585, 30586, 30588, 30607, 30615, 30619, 30621, 30622, 30631, 30635, 30637, 30638, 30643, 30645, 30646, 30650, 30652, 30667, 30669, 30670, 30675, 30677, 30678, 30681, 30682, 30684, 30691, 30693, 30697, 30698, 30700, 30706, 30708, 30712, 30847, 30911, 30943, 30959, 30967, 30971, 30974, 31039, 31071, 31087, 31095, 31099, 31101, 31102, 31135, 31151, 31159, 31163, 31165, 31166, 31183, 31191, 31195, 31197, 31198, 31211, 31213, 31214, 31221, 31222, 31225, 31226, 31228, 31295, 31327, 31343, 31351, 31355, 31357, 31358, 31391, 31407, 31415, 31419, 31421, 31422, 31439, 31447, 31451, 31453, 31454, 31463, 31467, 31469, 31470, 31475, 31477, 31478, 31481, 31482, 31484, 31519, 31535, 31543, 31547, 31549, 31550, 31567, 31575, 31579, 31581, 31582, 31591, 31595, 31597, 31598, 31603, 31605, 31606, 31609, 31610, 31612, 31631, 31639, 31643, 31645, 31646, 31655, 31659, 31661, 31662, 31667, 31669, 31670, 31673, 31674, 31676, 31687, 31691, 31693, 31694, 31699, 31701, 31702, 31705, 31706, 31708, 31715, 31717, 31718, 31721, 31722, 31724, 31729, 31730, 31732, 31736, 31807, 31839, 31855, 31863, 31867, 31869, 31870, 31903, 31919, 31927, 31931, 31933, 31934, 31951, 31959, 31963, 31965, 31966, 31975, 31979, 31981, 31982, 31987, 31989, 31990, 31993, 31994, 31996, 32031, 32047, 32055, 32059, 32061, 32079, 32087, 32091, 32093, 32094, 32103, 32107, 32109, 32110, 32115, 32117, 32118, 32121, 32122, 32124, 32143, 32151, 32155, 32157, 32158, 32167, 32171, 32173, 32174, 32179, 32181, 32182, 32186, 32188, 32199, 32203, 32205, 32206, 32211, 32213, 32218, 32220, 32227, 32229, 32230, 32233, 32234, 32236, 32241, 32242, 32244, 32248, 32287, 32303, 32311, 32315, 32317, 32318, 32335, 32343, 32347, 32349, 32350, 32359, 32363, 32365, 32366, 32371, 32373, 32374, 32377, 32378, 32380, 32399, 32407, 32411, 32413, 32414, 32423, 32427, 32429, 32430, 32435, 32437, 32438, 32441, 32442, 32444, 32455, 32459, 32461, 32462, 32467, 32469, 32470, 32473, 32474, 32476, 32483, 32485, 32486, 32489, 32490, 32492, 32497, 32498, 32500, 32504, 32527, 32535, 32539, 32541, 32542, 32551, 32555, 32557, 32558, 32563, 32565, 32566, 32569, 32570, 32572, 32583, 32587, 32589, 32590, 32595, 32597, 32598, 32601, 32602, 32604, 32611, 32613, 32614, 32617, 32618, 32620, 32625, 32626, 32628, 32632, 32647, 32651, 32653, 32654, 32659, 32661, 32662, 32665, 32666, 32668, 32675, 32677, 32678, 32681, 32682, 32684, 32689, 32690, 32692, 32696, 32707, 32709, 32710, 32713, 32714, 32716, 32721, 32722, 32724, 32728, 32737, 32738, 32740, 32744, 32752]

valids=14   425 codes:
[6143, 7167, 7679, 7935, 8063, 8127, 8159, 8183, 8187, 8189, 10239, 11263, 11775, 12031, 12223, 12255, 12271, 12279, 12283, 12285, 12286, 13311, 13823, 14079, 14207, 14271, 14303, 14319, 14327, 14331, 14333, 14334, 14847, 15103, 15231, 15295, 15327, 15343, 15351, 15355, 15357, 15358, 15615, 15743, 15807, 15839, 15855, 15863, 15867, 15869, 15870, 16063, 16095, 16111, 16119, 16123, 16125, 16126, 16223, 16239, 16247, 16251, 16253, 16254, 16287, 16303, 16311, 16315, 16317, 16318, 16335, 16343, 16347, 16349, 16350, 16359, 16363, 16365, 16366, 16371, 16373, 16374, 16377, 16378, 16380, 18431, 19455, 20223, 20351, 20415, 20447, 20463, 20471, 20475, 20477, 20478, 22015, 22271, 22399, 22463, 22495, 22511, 22519, 22523, 22525, 22526, 23039, 23295, 23423, 23487, 23519, 23535, 23543, 23547, 23549, 23550, 23807, 23935, 23999, 24031, 24047, 24055, 24059, 24061, 24062, 24255, 24287, 24303, 24311, 24315, 24317, 24318, 24383, 24415, 24431, 24439, 24443, 24445, 24446, 24479, 24495, 24503, 24507, 24509, 24510, 24527, 24535, 24539, 24541, 24542, 24551, 24555, 24557, 24558, 24563, 24565, 24569, 24570, 24572, 25599, 26111, 26367, 26495, 26559, 26591, 26607, 26615, 26619, 26621, 26622, 27135, 27391, 27519, 27583, 27615, 27631, 27639, 27643, 27645, 27646, 27903, 28031, 28095, 28127, 28143, 28151, 28155, 28157, 28158, 28287, 28351, 28383, 28399, 28407, 28411, 28413, 28414, 28479, 28511, 28527, 28535, 28539, 28541, 28542, 28575, 28591, 28599, 28606, 28623, 28631, 28635, 28638, 28647, 28651, 28653, 28654, 28661, 28662, 28666, 28668, 29183, 29439, 29567, 29631, 29663, 29679, 29691, 29693, 29694, 29951, 30079, 30175, 30191, 30199, 30203, 30206, 30399, 30431, 30447, 30455, 30459, 30461, 30462, 30527, 30559, 30575, 30583, 30587, 30589, 30590, 30623, 30639, 30647, 30651, 30653, 30654, 30671, 30679, 30683, 30685, 30686, 30695, 30699, 30701, 30702, 30707, 30709, 30710, 30713, 30714, 30716, 30975, 31103, 31167, 31199, 31215, 31223, 31227, 31229, 31230, 31359, 31423, 31455, 31471, 31479, 31483, 31485, 31486, 31551, 31583, 31599, 31607, 31611, 31613, 31614, 31647, 31663, 31671, 31675, 31677, 31678, 31695, 31703, 31707, 31709, 31710, 31719, 31723, 31725, 31726, 31731, 31733, 31734, 31738, 31740, 31871, 31935, 31967, 31983, 31991, 31997, 31998, 32063, 32095, 32111, 32119, 32123, 32125, 32126, 32159, 32175, 32183, 32187, 32189, 32207, 32215, 32219, 32221, 32222, 32231, 32235, 32237, 32238, 32245, 32246, 32249, 32250, 32252, 32319, 32351, 32367, 32375, 32379, 32381, 32382, 32415, 32431, 32439, 32443, 32445, 32446, 32463, 32471, 32475, 32477, 32478, 32487, 32491, 32493, 32494, 32501, 32502, 32505, 32506, 32508, 32543, 32559, 32567, 32573, 32574, 32591, 32599, 32603, 32605, 32606, 32615, 32619, 32621, 32622, 32627, 32629, 32630, 32633, 32634, 32636, 32655, 32667, 32669, 32670, 32679, 32683, 32685, 32686, 32691, 32693, 32694, 32697, 32698, 32700, 32711, 32717, 32718, 32723, 32725, 32726, 32729, 32730, 32732, 32742, 32745, 32746, 32748, 32754, 32756, 32760]

valids=15   97 codes:
[12287, 14335, 15359, 15871, 16127, 16255, 16319, 16351, 16367, 16375, 16379, 16381, 16382, 20479, 22527, 23551, 24063, 24319, 24447, 24511, 24543, 24559, 24571, 24573, 26623, 27647, 28159, 28415, 28543, 28607, 28639, 28655, 28663, 28667, 28669, 29695, 30207, 30463, 30591, 30655, 30687, 30703, 30711, 30715, 30717, 30718, 31231, 31487, 31615, 31679, 31711, 31727, 31735, 31741, 31742, 31999, 32127, 32191, 32223, 32239, 32247, 32251, 32253, 32383, 32447, 32479, 32495, 32503, 32507, 32509, 32510, 32575, 32607, 32623, 32631, 32635, 32637, 32638, 32671, 32687, 32695, 32699, 32701, 32702, 32719, 32731, 32733, 32734, 32743, 32747, 32749, 32750, 32755, 32757, 32758, 32762, 32764]

valids=16   13 codes:
[24575, 28671, 30719, 32255, 32511, 32639, 32703, 32735, 32751, 32759, 32763, 32765, 32766]

valids=17   0 codes:
[]

Спасибо!

Итак,
с valids=10 не найдено 166 из 6435; 2,58%
с valids=11 не найдено 1480 из 5005; 29,58%
с valids=12 не найдено 2289 из 3003; 76,22%
с valids=13 не найдено 1304 из 1365; 95,53%
с valids=14 не найдено 425 из 455; 93,41%
с valids=15 не найдено 97 из 105; 92,38%
с valids=16 не найдено 13 из 15; 86,67%

Всего не найдено элементов спектра: 5774 из 32768, 17,62%

Хуже всего ситуация с valids=13.
Ну, и тут чёртова дюжина отличилась :)

Примечание: с момента этой статистики мне удалось найти несколько пропущенных элементов спектра.
С введением нового метода поиска приближений (мульти-парадигмы) уникальные элементы находятся веселее.
На данный момент их найдено уже несколько десятков.
Смотрите сообщения выше.

Мульти-парадигма нашла в заоблачных высотах приближение с valids=11

31166313243417197630162597: [0, 6, 20, 36, 66, 84, 90, 104, 120, 126, 140, 156, 176, 206, 224, 234, 240]
31166313243417197630162597: [0, 0, -4, 0, 0, 0, 0, -10, 0, 0, -10, 0, 2, 2, 8, 0, 0]
11

Элемент спектра не уникальный

24273
(1375124819603, 31166313243417197630162597)
[1,1,0,1,1,1,1,0,1,1,0,1,0,0,0,1,1]

Приближения с valids=10, конечно, тоже найдены, с valids=12 и более пока нет.
Приближений находится очень мало в заоблачных высотах мульти-парадигмой..

В диапазоне малых чисел убрала вывод приближений с valids=10, их очень много и бестолковых: уникальных элементов спектра они не дают.

А вот и приближение с valids=12 нашла мульти-парадигма в заоблачных высотах

29160708341393828117033503: [0, 6, 24, 36, 66, 84, 120, 124, 126, 148, 150, 156, 190, 204, 216, 234, 240]
29160708341393828117033503: [0, 0, 0, 0, 0, 0, 30, 10, 6, 22, 0, 0, 16, 0, 0, 0, 0]
12

Элемент спектра уникальный

31799
29160708341393828117033503
[1,1,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1]

С valids=13 ждём приближения, а лучше сразу с valids=17 :)

До применения мульти-парадигмы я нашла 17 уникальных элементов (с момента представленной выше статистики).
Эти элементы показаны в сообщении
https://boinc.progger.info/odlk/forum_thread.php?id=277&postid=13949

На этот момент в спектре содержалось 27011 уникальных элементов.
Потом у меня совсем перестали появляться уникальные элементы.
Придумала мульти-парадигму.
Вот второй день её применяю.
Найдено уже 65 уникальных элементов спектра, показываю их все (не сортированы)

26143
1057933129658947
20470
1023599802004453
10748
1174058441950067
29423
1084871521318973
16227
1126038118719887
22259
1161714707227007
31181
1270499653883287
29884
1234901904670807
7654
1251389728798597
26525
1267911289565293
30923
1270321616609873
13305
1302068833029337
29621
1359675907689487
27119
1344556314057043
12276
1489349422955767
26935
1516629148808447
12259
1456713948014867
30327
1721689239007957
23027
1819535050268477
10031
1904933587726997
31218
1975561588314533
15059
2060160418249867
32534
2108736147883753
22905
2036013865151353
31697
2124482614310143
13935
2091382547920493
12719
2022055922768423
11931
2132824586414063
18414
2224857944158237
21103
2173980294517573
32285
2274488939272483
30441
2339722613828273
22427
2463756400295017
18407
2739040142913007
7114
2681403379192757
9903
2867092040206327
30179
2788887980037833
2557
2992638506762123
24532
2879196319814033
7639
3159226820093017
14297
3204711925881007
12245
3145942574014327
7834
3046935605237743
5882
3216915015169243
26407
3120375754746077
28529
3214022279027387
17915
3147532164911507
31370
3193847151370703
18298
3078257792980043
18223
3355855796332867
10039
3329209295357773
31819
3351728699298913
21437
3568603122704293
30437
3992575681868707
23659
3479474018724377
11807
3825705405982393
15757
3892569964787723
20377
4232882152168343
3005
4296504049603853
13263
4404939314265317
21117
4567841404371787
29820
4657624050209503
3053
4562043030470753
28513
4560780768323453
30378
4766879658064457

Хорошая оказалась мульти-парадигма!
Пока даёт результаты.
Перевела на эту мульти-парадигму все потоки, в том числе жадный алгоритм.

На данный момент в спектре приближений к ключевой 17-ке содержится 27076 уникальных элементов.
Ждём новые уникальные элементы.

Мульти-парадигма работает и в диапазоне малых чисел, и в диапазоне больших чисел.
В показанном списке все уникальные элементы из диапазона малых чисел.
В диапазоне больших чисел тоже уже найден уникальный элемент. вот он

31799
29160708341393828117033503
[1,1,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1]

Написала новую мульти-парадигму - очень жёсткую.
Минимальный valids в этой мульти-парадигме равен 10.
Запустила в диапазоне малых чисел.
Вот с ходу нашлись приближения

1001094724884187: [0, 30, 40, 52, 66, 84, 90, 114, 120, 126, 150, 156, 174, 190, 192, 202, 240]
1001094724884187: [0, 24, 16, 16, 0, 0, 0, 0, 0, 0, 0, 0, 0, -14, -24, -32, 0]
11

1023599802004453: [0, 6, 36, 64, 66, 84, 90, 114, 120, 126, 150, 156, 178, 204, 216, 238, 240]
1023599802004453: [0, 0, 12, 28, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0]
13

Очень симпатичные!

Сейчас посчитаю коды.

Увы, приближения дают не уникальные элементы 4088 и 20470.

Новая порция уникальных элементов - 58 штук

28309
5437873161130237
30615
5274755800393753
31538
5501399303428247
25582
5508628646776643
28632
5374395689098523
18359
5748718475966293
24147
5783963341550327
9963
4973292608864407
12797
4988464684919257
32044
5091851454524053
7543
4925926231826533
22444
6027013270189453
20202
5958708113356217
12735
6211057238570117
28402
6409285570672357
4078
6371670005209897
30696
6705115524267247
24123
6803577103417027
30606
6864869448711493
15819
6953046455580613
14774
6443372040150587
21615
6764657581622027
31526
6544354100830373
13803
6660820240233833
13805
6718724243075063
31434
8077385257136737
22454
8016603466509857
12203
8084667906308927
29657
8152388779578977
27497
8020274815492613
27322
7847952677701223
14111
9017430767465053
12173
8986503869202533
2043
8914478195293043
30926
8953291695188213
31459
7064856796937767
1983
7370348019473827
27558
7459532160430723
21118
7689330620435683
31899
7113110289419353
32624
7404662244455563
31834
7138485916812077
24205
7225404018962957
7111
7707951817229597
29166
8304953370337297
25323
8253184523217307
27510
8223002847465493
21423
8611535709972737
26556
8810373748660703
24292
8579622049069613
29414
9746062816399843
26719
9592271643954827
20371
9777560831642537
31799
29160708341393828117033503
22759
31166313243046033662274037
5807
29160708341096923770130493
26301
9230048138615677
26455
9403270593117943

В конце списка вы видите приближения в диапазоне больших чисел, их пока очень мало, но они есть!

Итак, всего найдено мной уникальных элементов: 17+65+58=140.
На данный момент в спектре приближений к ключевой 17-ке содержится 27134 элемента, 82,81%.

Вот приближения в диапазоне больших чисел, давшие уникальные элементы

31799
29160708341393828117033503
[1,1,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1]
valids=12

22759
31166313243046033662274037
[1,1,0,1,1,0,0,0,1,1,1,0,0,1,1,1,1]
valids=11

5807
29160708341096923770130493
[1,0,0,1,0,1,1,0,1,0,1,0,1,1,1,1,1]
valids=11

С valids=13 пока не найдено приближение в диапазоне больших чисел.

У меня работают уже две мульти-парадигмы, одна из них имеет много свобод, вторая очень жёсткая (с минимальным valids равным 10).

Сейчас разверну первое приближение для проверки.

Вот

{29160708341393828117033503, 29160708341393828117033509, 29160708341393828117033527, 29160708341393828117033539,
29160708341393828117033569, 29160708341393828117033587, *29160708341393828117033623, *29160708341393828117033627,
*29160708341393828117033629, *29160708341393828117033651, 29160708341393828117033653, 29160708341393828117033659,
*29160708341393828117033693, 29160708341393828117033707, 29160708341393828117033719, 29160708341393828117033737,
29160708341393828117033743}

Всё правильно.

Мульти-парадигма (со множеством свобод) нашла в диапазоне малых чисел приближение с valids=14

11156210329684093: [0, 6, 10, 36, 66, 84, 90, 114, 120, 126, 148, 156, 186, 204, 216, 234, 240]
11156210329684093: [0, 0, -14, 0, 0, 0, 0, 0, 0, 0, -2, 0, 12, 0, 0, 0, 0]
14

Чудесно!

Приближение даёт уникальный элемент спектра

24535
11156210329684093
[1,1,0,1,1,1,1,1,1,1,0,1,0,1,1,1,1]

Список пропущенных элементов спектра с valids=14 сократился на один элемент.

Офигенное приближение с valids=13, кажется, не показывала его

10656643892870363: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 134, 156, 176, 216, 230, 234, 240]
10656643892870363: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -16, 0, 2, 12, 14, 0, 0]
13

Десять первых элементов подряд правильные!

Приближение даёт уникальный элемент спектра

32721
10656643892870363
[1,1,1,1,1,1,1,1,1,1,0,1,0,0,0,1,1]

Новая порция уникальных элементов - 40 штук

26598
11470008798382507
24535
11156210329684093
22475
11419129091640643
10079
11218783487796257
12003
11244613996844447
16338
9989417538243817
15391
10463204006491063
31130
11662159541692333
8178
11678725671036643
9725
12086100598371473
17387
12317546509083203
12272
11004599491704037
25071
10927754817737977
29119
10549404843973537
23270
10956283963384147
30123
11024855848470397
17403
11048801388079997
28581
10506507755113457
7149
10731765327108653
12261
10914117222993203
22478
12913312574772437
32011
12573997535807927
11241
12702460323769043
11959
12766313893737623
19433
12796782197138873
31126
13340715546023407
26571
13306809009812537
5359
12994586264094977
26599
13258899480582143
27102
12995239593456053
7797
14089809378344527
18239
13918115108137067
30117
14063473501128593
30627
18111490929896737
15069
18152788031708417
32166
18307562769936113
23529
18163229272042073
15767
13777045967228917
30323
13759170951990137
27591
13832455739506337

Итак, всего найдено мной уникальных элементов: 180.
На данный момент в спектре приближений к ключевой 17-ке содержится 27174 элемента, 82,93%.[/quote]

Отсортировала найденные уникальные элементы по возрастанию (180 штук)

[1983, 7370348019473827]
[2043, 8914478195293043]
[2557, 2992638506762123]
[3005, 4296504049603853]
[3053, 4562043030470753]
[4078, 6371670005209897]
[5359, 12994586264094977]
[5807, 29160708341096923770130493]
[5882, 3216915015169243]
[7111, 7707951817229597]
[7114, 2681403379192757]
[7149, 10731765327108653]
[7543, 4925926231826533]
[7639, 3159226820093017]
[7654, 1251389728798597]
[7797, 14089809378344527]
[7834, 3046935605237743]
[8178, 11678725671036643]
[9725, 12086100598371473]
[9903, 2867092040206327]
[9963, 4973292608864407]
[10031, 1904933587726997]
[10039, 3329209295357773]
[10079, 11218783487796257]
[10748, 1174058441950067]
[11241, 12702460323769043]
[11807, 3825705405982393]
[11931, 2132824586414063]
[11959, 12766313893737623]
[12003, 11244613996844447]
[12173, 8986503869202533]
[12203, 8084667906308927]
[12245, 3145942574014327]
[12259, 1456713948014867]
[12261, 10914117222993203]
[12272, 11004599491704037]
[12276, 1489349422955767]
[12719, 2022055922768423]
[12735, 6211057238570117]
[12797, 4988464684919257]
[13263, 4404939314265317]
[13305, 1302068833029337]
[13803, 6660820240233833]
[13805, 6718724243075063]
[13935, 2091382547920493]
[14111, 9017430767465053]
[14297, 3204711925881007]
[14579, 10021196604615023]
[14586, 16842744686202977]
[14707, 17039503288317883]
[14774, 6443372040150587]
[14799, 16269968274127787]
[14964, 16816143029769757]
[15059, 2060160418249867]
[15069, 18152788031708417]
[15391, 10463204006491063]
[15757, 3892569964787723]
[15767, 13777045967228917]
[15819, 6953046455580613]
[16227, 1126038118719887]
[16325, 15600037646789137]
[16338, 9989417538243817]
[17387, 12317546509083203]
[17403, 11048801388079997]
[17915, 3147532164911507]
[18223, 3355855796332867]
[18239, 13918115108137067]
[18298, 3078257792980043]
[18359, 5748718475966293]
[18407, 2739040142913007]
[18414, 2224857944158237]
[19433, 12796782197138873]
[20202, 5958708113356217]
[20371, 9777560831642537]
[20377, 4232882152168343]
[20470, 1023599802004453]
[21103, 2173980294517573]
[21117, 4567841404371787]
[21118, 7689330620435683]
[21423, 8611535709972737]
[21437, 3568603122704293]
[21615, 6764657581622027]
[22259, 1161714707227007]
[22427, 2463756400295017]
[22444, 6027013270189453]
[22454, 8016603466509857]
[22475, 11419129091640643]
[22478, 12913312574772437]
[22759, 31166313243046033662274037]
[22905, 2036013865151353]
[23027, 1819535050268477]
[23270, 10956283963384147]
[23529, 18163229272042073]
[23659, 3479474018724377]
[24123, 6803577103417027]
[24147, 5783963341550327]
[24205, 7225404018962957]
[24292, 8579622049069613]
[24532, 2879196319814033]
[24535, 11156210329684093]
[25071, 10927754817737977]
[25323, 8253184523217307]
[25582, 5508628646776643]
[26143, 1057933129658947]
[26301, 9230048138615677]
[26407, 3120375754746077]
[26455, 9403270593117943]
[26525, 1267911289565293]
[26556, 8810373748660703]
[26571, 13306809009812537]
[26598, 11470008798382507]
[26599, 13258899480582143]
[26719, 9592271643954827]
[26935, 1516629148808447]
[27102, 12995239593456053]
[27119, 1344556314057043]
[27322, 7847952677701223]
[27497, 8020274815492613]
[27510, 8223002847465493]
[27558, 7459532160430723]
[27591, 13832455739506337]
[28309, 5437873161130237]
[28402, 6409285570672357]
[28513, 4560780768323453]
[28529, 3214022279027387]
[28581, 10506507755113457]
[28632, 5374395689098523]
[29119, 10549404843973537]
[29166, 8304953370337297]
[29414, 9746062816399843]
[29423, 1084871521318973]
[29621, 1359675907689487]
[29657, 8152388779578977]
[29820, 4657624050209503]
[29884, 1234901904670807]
[29983, 1038951544856767]
[30117, 14063473501128593]
[30123, 11024855848470397]
[30179, 2788887980037833]
[30323, 13759170951990137]
[30327, 1721689239007957]
[30378, 4766879658064457]
[30437, 3992575681868707]
[30441, 2339722613828273]
[30606, 6864869448711493]
[30615, 5274755800393753]
[30627, 18111490929896737]
[30696, 6705115524267247]
[30923, 1270321616609873]
[30926, 8953291695188213]
[31126, 13340715546023407]
[31130, 11662159541692333]
[31181, 1270499653883287]
[31218, 1975561588314533]
[31335, 7699264884565627]
[31370, 3193847151370703]
[31434, 8077385257136737]
[31459, 7064856796937767]
[31464, 14373278189480297]
[31465, 16834174720442467]
[31482, 3923885138687447]
[31526, 6544354100830373]
[31538, 5501399303428247]
[31545, 14483021590565747]
[31697, 2124482614310143]
[31712, 14743925151585457]
[31799, 29160708341393828117033503]
[31819, 3351728699298913]
[31834, 7138485916812077]
[31899, 7113110289419353]
[32011, 12573997535807927]
[32044, 5091851454524053]
[32166, 18307562769936113]
[32173, 13031499700303457]
[32285, 2274488939272483]
[32310, 16469218739689103]
[32333, 16430859533863147]
[32534, 2108736147883753]
[32624, 7404662244455563]
[32721, 10656643892870363]

Интересные элементы в заоблачных высотах

[5807, 29160708341096923770130493]
[1,0,0,1,0,1,1,0,1,0,1,0,1,1,1,1,1]
valids=11
[22759, 31166313243046033662274037]
[1,1,0,1,1,0,0,0,1,1,1,0,0,1,1,1,1]
valids=11
[31799, 29160708341393828117033503]
[1,1,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1]
valids=12

Пока в заоблачных высотах найдено всего три уникальных элемента.

Напомню: valids равен количеству единиц в векторе совпадений.

Посмотрим на самый большой из найденных уникальных элементов

[32721, 10656643892870363]
[1,1,1,1,1,1,1,1,1,1,0,1,0,0,0,1,1]
valids=13

Очень симпатичное приближение!
Десять правильных элементов подряд.

В развёрнутом виде

{10656643892870363, 10656643892870369, 10656643892870387, 10656643892870399, 10656643892870429,
10656643892870447, 10656643892870453, 10656643892870477, 10656643892870483, 10656643892870489,
*10656643892870497, 10656643892870519, *10656643892870539, *10656643892870579, *10656643892870593,
10656643892870597, 10656643892870603}

Хорошее приближение найдено с valids=14

20294006911559923: [0, 6, 24, 66, 70, 84, 90, 114, 120, 126, 148, 156, 174, 204, 216, 234, 240]
20294006911559923: [0, 0, 0, 30, 4, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0]
14

Элемент спектра уникальный

26591
20294006911559923
[1,1,1,0,0,1,1,1,1,1,0,1,1,1,1,1,1]

Это уже второй уникальный элемент с valids=14 найден.

С valids=15 пока не найдено ни одного уникального элемента.
А их не найдено 97 штук из 105

valids=15 97 codes:
[12287, 14335, 15359, 15871, 16127, 16255, 16319, 16351, 16367, 16375, 16379, 16381, 16382, 20479, 22527, 23551, 24063, 24319, 24447, 24511, 24543, 24559, 24571, 24573, 26623, 27647, 28159, 28415, 28543, 28607, 28639, 28655, 28663, 28667, 28669, 29695, 30207, 30463, 30591, 30655, 30687, 30703, 30711, 30715, 30717, 30718, 31231, 31487, 31615, 31679, 31711, 31727, 31735, 31741, 31742, 31999, 32127, 32191, 32223, 32239, 32247, 32251, 32253, 32383, 32447, 32479, 32495, 32503, 32507, 32509, 32510, 32575, 32607, 32623, 32631, 32635, 32637, 32638, 32671, 32687, 32695, 32699, 32701, 32702, 32719, 32731, 32733, 32734, 32743, 32747, 32749, 32750, 32755, 32757, 32758, 32762, 32764]

Всё-таки мульти-парадигма работает!
Сейчас модернизирую мульти-парадигму со множеством свобод, ещё больше будет свобод.

У меня новая порция уникальных элементов - 54 шт.

31458
19253406420163303
4847
19091073620088403
30827
19149802834122047
30109
19480006411996217
23281
20053561391613577
26414
20000927519751397
18807
19863011913253897
26541
20020883543340067
19069
19996446458700253
14179
20161520593994453
17389
19974140135375513
22491
14463638960730787
29671
15889642915219747
27633
17003016670488067
16051
16431951827841637
25943
14297422234745737
18349
15308122208142697
30189
15630526914326257
17343
15828697612701907
27603
17637004560010663
7667
17131283495475823
14250
16547595347032423
23523
14559530929675273
27118
16492524558121153
31529
17433288616649293
20095
14774059019165533
20862
16296350496746147
29673
15528430151994587
27951
15701761935397757
1019
16694779005353837
24395
17641899530454587
30374
15320929783829057
26943
16805685393936827
13879
15920765616995627
28117
16917281256746243
23669
14512262877678653
12094
20644139446160317
26591
20294006911559923
26063
20615081141238257
28010
20360665549672667
6138
20372579126129603
7085
22514779803159577
24530
22483078411437577
10747
22430794671709357
15899
18752238831415477
8165
18740092766741173
26423
18390461733443473
7658
18674950228454453
28601
21934172226415837
23015
21599398931244067
28390
21863668777014283
3964
21649048981389763
27069
21583032102025067
21479
21688430579389793

Неплохо.

Итак, найдено уже 234 уникальных элемента.
На данный момент в спектре приближений к ключевой 17-ке содержится 27228 элементов, 83,09%.

Попросила gris разложить найденные мной уникальные элементы по valids.
Вот какой расклад получился

valids=10 4 codes:
[14964, 7114, 7834, 31370]

valids=11 96 codes:
[14586, 14707, 14579, 26143, 10748, 29884, 7654, 30923, 26935, 10031, 15059, 22905, 12719, 11931, 21103, 9903, 2557, 5882, 26407, 18298, 18223, 10039, 31819, 23659, 11807, 15757, 20377, 3005, 21117, 29820, 3053, 28513, 30378, 28309, 31538, 24147, 9963, 32044, 22444, 20202, 14774, 21615, 31526, 31434, 27497, 27322, 12173, 30926, 27558, 21118, 31834, 24205, 7111, 25323, 24292, 29414, 26719, 20371, 22759, 5807, 12003, 15391, 31130, 17387, 12272, 23270, 32011, 11241, 19433, 31126, 5359, 7797, 30117, 31458, 4847, 30827, 23281, 26414, 18807, 19069, 14179, 17389, 25943, 18349, 14250, 31529, 20862, 1019, 30374, 13879, 23669, 28010, 7085, 15899, 7658, 3964]

valids=12 115 codes:
[16325, 31335, 32333, 14799, 31465, 31545, 29983, 32310, 16227, 22259, 31181, 26525, 13305, 29621, 12276, 12259, 23027, 31218, 32534, 31697, 13935, 18414, 32285, 30441, 22427, 18407, 30179, 24532, 7639, 14297, 12245, 28529, 17915, 21437, 30437, 13263, 25582, 28632, 18359, 12797, 7543, 12735, 28402, 4078, 30696, 24123, 30606, 15819, 13803, 13805, 22454, 12203, 29657, 14111, 2043, 31459, 1983, 31899, 32624, 29166, 27510, 21423, 26556, 31799, 26301, 26455, 26598, 22475, 10079, 16338, 8178, 9725, 25071, 30123, 17403, 28581, 7149, 12261, 22478, 11959, 26571, 27102, 18239, 30627, 15069, 32166, 23529, 15767, 30323, 27591, 30109, 26541, 27633, 16051, 17343, 27603, 7667, 23523, 27118, 29673, 27951, 24395, 26943, 28117, 12094, 26063, 6138, 24530, 10747, 8165, 26423, 23015, 28390, 27069, 21479]

valids=13 13 codes:
[32173, 20470, 29423, 27119, 30327, 30615, 29119, 26599, 22491, 29671, 30189, 20095, 28601]

valids=14 2 codes:
[24535, 26591]

Интересно!
Больше всего элементов найдено с valids=12.

С чёртовой дюжиной нашлась чёртова дюжина :)
С valids=14 туго, всего два элемента найдено.

Примечание: gris потерял 4 уникальных элемента, потому что я их вставила в спектре на своё место, а он взял только элементы, которые следуют за последним элементом предыдущего объединённого спектра , который был отсортирован.
Ну, это мелочи.

gris,
cпасибо!

После того, как я написала несколько вариантов парадигм и мульти-парадигм, меня осенило: самое большое количество свобод имеет парадигма 2
[1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]
Дальше отсечение идёт по valids.
Задаю valids>9.

Вчера мы с gris в муках родили новую программу поиска приближений с парадигмой 2 :)
Программа сразу проверяет найденные приближения на уникальность кода, который получается от этого приближения (то есть элемент спектра приближений).

Сейчас запустила программу, тестирую, пока вроде всё правильно

(01:59) gp > \r multi4_new.txt
   log = 1 (on)
   [logfile is "multi4_new_res.txt"]
3443 from number
3453 to   number
[0,6,24,36,66,84,90,114,120,126,150,156,174,204,216,234,240]
patterns length 17
prove by 37#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37]
7420738134810 period
search in 25549601398150830 - 25631229517633740
32112640 formulae expected
25568271592242767: [0, 6, 24, 36, 62, 84, 92, 114, 150, 156, 164, 170, 174, 204,
 216, 234, 240]
25568271592242767: [0, 0, 0, 0, -4, 0, 2, 0, 30, 30, 14, 14, 0, 0, 0, 0, 0]
25568271592242767: [1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1]
valids=11
 ncode=29967

Найден уникальный элемент спектра приближений 29967.
И ничего больше проверять не нужно.
Очень удобно!

gris,
спасибо!
Программка-то ну очень простая.
Не могу понять, что у вас вызвало затруднения :)