pub const VALUES_16: [u64; 1024] = [ 19808, 27887, 37635, 39682, 41844, 55563, 22591, 8821, 59960, 1870, 32814, 3903, 690, 61771, 8528, 61803, 11035, 12899, 25986, 46672, 55319, 45324, 40677, 44446, 44615, 33954, 2775, 31268, 65389, 26482, 50016, 1842, 14768, 19984, 38677, 17265, 34930, 35770, 52496, 56531, 52942, 55165, 25119, 9312, 41518, 34080, 55518, 3081, 24839, 51835, 8667, 27282, 23705, 35998, 11455, 10843, 4006, 41374, 51733, 26992, 8, 10274, 29379, 37687, 22463, 11234, 13968, 22748, 29313, 56039, 5764, 54696, 21551, 37597, 57677, 64753, 10990, 41121, 36839, 3855, 9544, 10223, 24461, 47175, 14401, 39474, 11982, 61336, 29365, 12533, 53966, 6794, 40818, 6390, 35106, 40691, 50000, 13246, 47121, 35593, 27043, 58097, 57122, 59179, 26783, 50444, 38288, 19180, 37590, 10333, 38848, 31022, 19834, 12593, 25451, 26144, 2624, 47059, 50668, 63099, 25308, 53494, 28266, 36994, 50057, 33275, 15764, 16836, 13891, 15761, 41636, 59575, 20316, 9178, 12472, 1653, 20559, 42254, 33486, 30274, 14250, 59583, 3636, 20867, 28795, 57688, 44817, 54015, 30304, 44780, 55366, 58997, 22909, 17958, 15263, 29124, 62620, 11752, 7903, 45241, 59809, 10425, 29619, 60758, 649, 58082, 20876, 16462, 13776, 53074, 50415, 35845, 167, 61192, 21104, 15735, 38145, 32767, 26012, 42537, 50666, 28999, 29464, 28390, 9219, 17276, 51008, 49973, 47019, 41658, 59422, 15153, 20028, 26072, 41426, 56681, 61691, 58323, 41394, 34744, 59072, 49497, 55865, 50158, 18649, 59232, 51762, 37555, 61188, 56812, 51434, 15308, 33686, 29581, 6332, 3527, 54070, 2470, 52398, 47372, 27044, 30331, 50528, 649, 7797, 30732, 33434, 31923, 40605, 23849, 62587, 1227, 27332, 41746, 49644, 63848, 63833, 50162, 60552, 60667, 17962, 15429, 16224, 6446, 32043, 64030, 62405, 9012, 58807, 13749, 26706, 39510, 57292, 44260, 53600, 52489, 39375, 4900, 34523, 37263, 31897, 26351, 41106, 64910, 36590, 40241, 39233, 48417, 62954, 50527, 45041, 56014, 50701, 4472, 22460, 65121, 25218, 21483, 9897, 22582, 51410, 62975, 54647, 29808, 38812, 4795, 25293, 56707, 22155, 64773, 54903, 4105, 41711, 14531, 63286, 45930, 47157, 21309, 11144, 61507, 62289, 23149, 44037, 45923, 56097, 53194, 46272, 28099, 54411, 32374, 63784, 14688, 41719, 23036, 17680, 5710, 26379, 37496, 2310, 35835, 49533, 59298, 5126, 43600, 22004, 50494, 22164, 53529, 31682, 45075, 37815, 31565, 29313, 33958, 43088, 40502, 58950, 38647, 28317, 22597, 11497, 2084, 583, 10059, 39278, 49544, 52332, 2868, 25203, 5105, 724, 40992, 6792, 63656, 10007, 49494, 51888, 49236, 64662, 53083, 16825, 10420, 52641, 1104, 17419, 24876, 41479, 26505, 4698, 22911, 44511, 49883, 42403, 19572, 47286, 27999, 37958, 3041, 47993, 6418, 47252, 29591, 500, 39444, 33033, 284, 5415, 26055, 30089, 56563, 5036, 60079, 22216, 2158, 64885, 54394, 38855, 4050, 32389, 59079, 11389, 37704, 64097, 33989, 15511, 27729, 63180, 43888, 50819, 58542, 40360, 44098, 6888, 62817, 22384, 14182, 14887, 33338, 41192, 8403, 14444, 5933, 9632, 30566, 36069, 53727, 50224, 24666, 4024, 9020, 41227, 20816, 27591, 20865, 40501, 28702, 27195, 67, 7768, 45447, 63101, 53800, 59337, 19818, 29318, 7272, 47840, 50559, 50029, 9078, 19955, 6099, 41829, 51427, 63787, 21336, 7940, 37190, 53944, 46936, 62887, 15829, 55451, 42234, 62012, 13615, 40001, 1191, 26271, 57614, 29820, 3325, 58559, 63543, 28658, 39631, 42615, 65287, 50378, 34329, 25920, 33801, 55085, 2315, 54863, 7369, 48570, 63747, 55571, 22316, 40330, 30657, 57828, 47939, 41708, 44041, 49867, 39362, 47765, 51221, 51046, 43981, 20172, 47884, 54871, 64132, 33503, 61691, 30053, 60334, 47412, 64015, 50530, 34845, 53406, 44661, 30020, 62945, 39507, 59154, 35375, 29685, 62216, 12535, 8765, 27422, 58996, 43965, 28495, 40748, 30443, 57637, 40292, 49104, 22869, 6579, 45648, 22353, 43759, 8091, 48152, 18716, 8796, 28183, 47347, 35011, 20302, 34497, 18645, 37834, 3391, 3501, 28395, 13215, 15330, 35447, 36869, 56011, 16312, 44376, 60199, 40656, 1743, 22284, 47077, 9485, 23188, 2538, 16160, 46518, 59027, 10683, 19392, 16751, 1803, 1303, 59643, 38279, 49407, 39032, 17114, 56304, 52594, 2002, 16172, 65339, 38996, 38197, 11905, 6062, 42541, 40987, 38231, 60304, 24807, 10623, 261, 35627, 41292, 28352, 57350, 37145, 46248, 52276, 26421, 33501, 44245, 24530, 63705, 23100, 65526, 48091, 45500, 8149, 17794, 5980, 58199, 59976, 30483, 31996, 22779, 7962, 45385, 28056, 6131, 42350, 19549, 50981, 28178, 61592, 28493, 6169, 30689, 30727, 26298, 63464, 23956, 56696, 29278, 17926, 14865, 55368, 62511, 61462, 45040, 32018, 13263, 36350, 24067, 11894, 57616, 14816, 32568, 10238, 26117, 56423, 35216, 23492, 8337, 12897, 43061, 8086, 62665, 31923, 16634, 16374, 63992, 53415, 10277, 47645, 35858, 56561, 50524, 13391, 20034, 10796, 31024, 16850, 10176, 39013, 22111, 6587, 24757, 22529, 45221, 59270, 64865, 23303, 5253, 56042, 54799, 34463, 19644, 49868, 43404, 26962, 30108, 11316, 62464, 1685, 62635, 62798, 55759, 22617, 25895, 25875, 49476, 21649, 18307, 20342, 24205, 27441, 38338, 59571, 4850, 37790, 20824, 53143, 26191, 7650, 11121, 13299, 13986, 20202, 58979, 14162, 18586, 1452, 41830, 44753, 35520, 38723, 29648, 58503, 62842, 30850, 56128, 62117, 61529, 28242, 52722, 38807, 25346, 64383, 63792, 7237, 16310, 30964, 23250, 57427, 23068, 48632, 22418, 31780, 52261, 6708, 19174, 36834, 44421, 11357, 9045, 34959, 31851, 65005, 17095, 63978, 64553, 40786, 27336, 4189, 49659, 7627, 63576, 36721, 19214, 62795, 19929, 58545, 47343, 43197, 54037, 20184, 13825, 30042, 44823, 4872, 55292, 4362, 30338, 49197, 48498, 19995, 43381, 33074, 15062, 41789, 51541, 46949, 3529, 50571, 58190, 21473, 51769, 25973, 4035, 53771, 22108, 12579, 47180, 6729, 34783, 4927, 15810, 581, 49420, 59933, 26578, 39914, 3007, 54017, 31210, 44186, 1910, 32590, 61571, 63434, 37988, 51495, 38461, 35389, 32771, 22268, 34490, 20848, 52313, 10127, 27342, 19759, 2982, 148, 15216, 20111, 55946, 41456, 58324, 3525, 6505, 10450, 22780, 60124, 50700, 26118, 32551, 12364, 24240, 52065, 62910, 48508, 37184, 46587, 19117, 7475, 9216, 62703, 12849, 40991, 32195, 32826, 9816, 48626, 21775, 28070, 59851, 7318, 24305, 44495, 62168, 9879, 9824, 22422, 22709, 17454, 54028, 54802, 25319, 3745, 43954, 19374, 13448, 5799, 54968, 48038, 1800, 8184, 40293, 30905, 16088, 65171, 45747, 12098, 18060, 5687, 23468, 56525, 41291, 5015, 57422, 15142, 48166, 29993, 37910, 37365, 22903, 32911, 60221, 57716, 50388, 30165, 54355, 44991, 58245, 64046, 8073, 49927, 52786, 36480, 25700, 63789, 19253, 26291, 44481, 25026, 27737, 27940, 6981, 65297, 42804, 13739, 62932, 14145, 28258, 613, 64803, 40065, 62442, 8574, 20370, 57459, 60607, 38510, 47892, 38687, 59265, 35168, 59701, 50335, 41732, 1449, 32157, 63628, 14142, 8505, 30800, 2272, 33554, 23766, 7494, 57037, 859, 59767, 48202, 26447, 39271, 35865, 32591, 19833, 27700, 49530, 65041, 37138, 37963, 40994, 36825, 55582, 8316, 56339, 13970, 45203, 2057, 12174, 31679, 38774, 33981, 16775, 40006, 11951, 733, 10664, 44947, 12937, 28666, 19826, 27951, 62167, 47287, 55893, 5778, 35345, 61715, 51695, 23007, 64977, 13769, 32571, 20740, 56585, 25531, 26087, 40979, 56005, 17530, 46053, 64863, 60425, ]; pub const VALUES_8: [u64; 1024] = [ 62, 110, 66, 123, 167, 143, 99, 219, 103, 225, 30, 67, 226, 196, 198, 42, 82, 97, 74, 171, 33, 194, 55, 217, 116, 73, 111, 130, 249, 109, 129, 58, 147, 201, 168, 120, 13, 213, 139, 184, 215, 128, 183, 92, 93, 31, 68, 28, 243, 154, 219, 91, 7, 26, 108, 32, 114, 158, 236, 118, 48, 198, 240, 173, 72, 2, 32, 19, 96, 249, 245, 86, 232, 204, 57, 166, 4, 112, 170, 23, 186, 132, 21, 8, 196, 39, 149, 54, 230, 31, 28, 242, 22, 46, 145, 198, 200, 137, 238, 147, 200, 242, 56, 219, 103, 49, 182, 220, 60, 111, 63, 170, 85, 256, 93, 17, 233, 154, 223, 22, 190, 172, 114, 40, 40, 22, 76, 52, 227, 226, 152, 84, 40, 38, 185, 67, 123, 101, 106, 85, 98, 170, 251, 93, 251, 166, 67, 167, 29, 233, 251, 142, 155, 167, 17, 158, 11, 48, 151, 80, 114, 130, 234, 227, 255, 130, 176, 167, 69, 70, 221, 55, 183, 221, 166, 239, 101, 230, 229, 138, 76, 122, 253, 208, 191, 47, 93, 200, 58, 54, 192, 235, 217, 248, 246, 223, 221, 72, 127, 8, 15, 205, 8, 249, 81, 23, 233, 176, 81, 161, 196, 212, 31, 237, 137, 86, 43, 99, 134, 238, 34, 165, 14, 85, 23, 88, 230, 162, 28, 245, 112, 45, 158, 74, 61, 116, 40, 168, 78, 42, 227, 3, 132, 24, 196, 35, 75, 36, 255, 50, 245, 126, 135, 161, 122, 50, 193, 144, 164, 9, 237, 81, 10, 149, 48, 50, 13, 93, 90, 242, 134, 48, 3, 21, 107, 15, 6, 141, 150, 215, 42, 129, 34, 120, 29, 95, 134, 249, 242, 52, 20, 243, 244, 174, 11, 98, 30, 105, 213, 149, 133, 39, 143, 89, 166, 98, 180, 106, 166, 44, 181, 239, 216, 254, 131, 9, 183, 192, 27, 94, 58, 123, 189, 206, 128, 138, 232, 254, 182, 117, 86, 119, 164, 105, 180, 95, 79, 177, 160, 41, 216, 157, 196, 142, 186, 243, 86, 17, 98, 242, 170, 137, 211, 219, 177, 158, 225, 35, 114, 234, 111, 111, 154, 256, 209, 120, 41, 76, 67, 133, 225, 239, 142, 68, 18, 30, 220, 256, 141, 90, 216, 213, 200, 104, 56, 28, 90, 138, 41, 121, 49, 202, 104, 210, 180, 57, 242, 82, 164, 35, 186, 112, 51, 209, 212, 3, 130, 229, 66, 153, 230, 31, 191, 20, 224, 243, 11, 201, 46, 61, 51, 86, 249, 45, 61, 70, 97, 223, 130, 22, 229, 90, 73, 26, 80, 208, 196, 189, 225, 136, 60, 87, 18, 14, 25, 242, 220, 87, 157, 119, 206, 134, 65, 217, 48, 140, 100, 138, 141, 191, 93, 51, 111, 48, 24, 255, 134, 29, 197, 13, 104, 132, 109, 67, 85, 98, 113, 251, 227, 26, 67, 50, 254, 178, 20, 174, 134, 142, 5, 144, 177, 54, 111, 165, 194, 70, 202, 251, 156, 11, 92, 114, 230, 124, 139, 192, 161, 189, 26, 231, 91, 73, 233, 65, 48, 234, 17, 223, 228, 176, 217, 154, 42, 42, 131, 139, 170, 232, 84, 155, 127, 128, 250, 232, 77, 103, 101, 120, 120, 173, 100, 87, 44, 100, 13, 51, 75, 153, 29, 60, 157, 79, 78, 179, 114, 12, 110, 25, 229, 54, 53, 177, 157, 186, 36, 136, 48, 164, 125, 188, 46, 140, 92, 108, 143, 72, 61, 190, 234, 160, 244, 220, 131, 54, 189, 53, 204, 205, 41, 122, 196, 21, 39, 148, 202, 17, 220, 120, 107, 235, 53, 140, 165, 15, 186, 165, 221, 132, 176, 177, 243, 170, 44, 58, 183, 198, 112, 133, 170, 230, 250, 144, 89, 250, 93, 62, 117, 121, 80, 150, 57, 15, 33, 114, 16, 256, 65, 199, 180, 135, 196, 220, 120, 101, 115, 208, 189, 181, 119, 217, 234, 203, 232, 229, 135, 30, 78, 254, 127, 21, 118, 51, 100, 134, 142, 26, 210, 211, 218, 102, 238, 177, 221, 68, 226, 20, 116, 15, 155, 90, 218, 155, 9, 111, 37, 114, 52, 188, 76, 34, 94, 95, 145, 43, 252, 42, 107, 112, 9, 213, 64, 211, 202, 139, 248, 215, 8, 219, 175, 231, 85, 86, 256, 197, 202, 29, 220, 219, 158, 243, 226, 14, 193, 76, 90, 56, 147, 31, 49, 103, 124, 211, 68, 180, 139, 73, 22, 78, 177, 35, 167, 172, 50, 45, 22, 94, 158, 42, 4, 97, 199, 83, 200, 116, 90, 218, 83, 106, 92, 110, 73, 86, 172, 42, 78, 253, 28, 186, 186, 58, 13, 125, 138, 243, 138, 172, 7, 248, 47, 182, 190, 13, 31, 250, 169, 1, 84, 158, 50, 135, 9, 149, 69, 148, 111, 152, 240, 1, 60, 244, 197, 156, 208, 42, 184, 246, 91, 45, 22, 206, 52, 23, 52, 67, 213, 76, 34, 81, 25, 78, 100, 113, 223, 167, 62, 239, 124, 177, 136, 3, 33, 156, 38, 37, 81, 47, 162, 207, 256, 187, 141, 22, 186, 216, 134, 43, 165, 111, 71, 118, 231, 199, 221, 60, 227, 68, 76, 140, 248, 220, 74, 82, 199, 233, 34, 213, 169, 122, 172, 110, 177, 165, 142, 77, 154, 244, 130, 28, 224, 73, 120, 253, 119, 238, 81, 97, 81, 166, 134, 64, 50, 218, 19, 153, 122, 109, 10, 140, 199, 228, 208, 231, 29, 3, 148, 131, 103, 42, 160, 9, 98, 85, 201, 168, 68, 33, 64, 233, 119, 151, 121, 71, 183, 53, 141, 236, 205, 237, 89, 158, 101, 2, 207, 26, 117, 243, 121, 211, 167, 141, 189, 93, 137, 24, 143, 256, 143, 116, 109, 256, 132, 110, 94, 25, 31, 118, 235, 46, 193, 233, 104, 239, 41, 15, 195, 149, 199, 0, 67, 209, 103, 100, 19, 164, 175, 184, 216, 252, 233, 195, 37, 140, 230, 70, 94, 144, 215, 129, 218, 130, 93, 246, 144, 114, 244, 141, 167, 232, 21, 0, 56, 186, 36, 158, 124, 136, 191, 118, 118, 218, 242, 31, 77, 199, 42, 172, 12, 67, 27, 202, 173, 233, 98, 197, ];