pub const W: [i32; 512] = [1, 10302, 3400, 3150, 8340, 6281, 5277, 9407, 12149, 7822, 3271, 1404, 12144,
5468, 10849, 10232, 7311, 10930, 9042, 64, 8011, 8687, 4976, 5333, 8736,
5925, 12176, 3329, 9048, 431, 3833, 3009, 5860, 6152, 3531, 922, 11336, 1105,
4096, 8855, 2963, 11239, 9509, 6099, 10530, 5057, 4143, 1489, 3006, 11821,
8241, 6370, 480, 4782, 9852, 453, 9275, 4075, 1426, 5297, 6534, 6415, 9377,
10314, 4134, 7083, 9273, 8049, 6915, 11286, 2143, 6142, 11112, 3789, 4414,
3728, 2731, 5241, 7205, 350, 5023, 10256, 8779, 6507, 10908, 3600, 11287,
156, 9542, 1973, 12129, 10695, 9005, 12138, 5101, 2738, 3621, 6427, 10111,
1958, 5067, 8851, 10911, 9928, 9198, 9606, 9984, 8527, 3382, 2049, 8585,
11026, 2625, 6950, 3186, 10542, 5791, 8076, 2422, 4774, 1170, 10120, 8653,
11089, 334, 12237, 5012, 7535, 8246, 8724, 5191, 8243, 2396, 7280, 11082,
1954, 726, 7540, 10600, 1146, 8652, 787, 9223, 9087, 8961, 1254, 2969, 11606,
5331, 421, 11414, 5876, 11227, 8775, 2166, 9597, 3289, 2505, 11899, 723,
1212, 400, 3985, 8210, 6522, 5681, 5444, 9381, 2366, 5445, 7394, 5766, 8595,
3445, 12047, 1583, 563, 11907, 9405, 3834, 1022, 9260, 9302, 11871, 7203,
4324, 10512, 3956, 4388, 6234, 354, 9364, 11567, 9090, 3000, 11454, 130,
12048, 11885, 3963, 2768, 5456, 10115, 6299, 6378, 9162, 7404, 10474, 5728,
10367, 9424, 2948, 4177, 7665, 8005, 8320, 9154, 11011, 7852, 5106, 5092,
8332, 9888, 2655, 8785, 6874, 6730, 10211, 12171, 975, 4337, 9259, 11289,
8471, 4053, 8273, 4231, 10968, 7270, 6374, 4821, 6093, 10163, 9235, 9821,
605, 2187, 4737, 955, 7210, 2704, 9734, 1428, 1323, 1045, 426, 1479, 10587,
2399, 1319, 8993, 11404, 1168, 1805, 1853, 4789, 8232, 11964, 6747, 1010,
8526, 5369, 10938, 5435, 2686, 8633, 1673, 6068, 10682, 10258, 4805, 1018,
4919, 7991, 11560, 10710, 3778, 1693, 3195, 4948, 11813, 11848, 3748, 12147,
11796, 8760, 7393, 7753, 5195, 295, 3707, 7591, 7575, 2500, 9545, 8301,
10040, 7856, 9447, 6403, 8643, 6381, 3201, 5315, 7635, 6170, 4632, 677, 6591,
3757, 6553, 5529, 243, 8719, 2837, 3532, 11224, 2447, 4255, 147, 2847, 8240,
8357, 9369, 1632, 1512, 6461, 3998, 6957, 1566, 9764, 3263, 5011, 9522, 4846,
5574, 9140, 1962, 9408, 10162, 11222, 6421, 9744, 6136, 10745, 7967, 10092,
2844, 1912, 10446, 12208, 1190, 7247, 2919, 355, 7377, 2678, 12240, 11340,
5446, 5407, 9166, 11745, 11785, 6039, 6860, 9970, 11767, 4938, 7105, 2426,
9115, 2481, 10431, 5146, 11635, 9153, 709, 4452, 1956, 9041, 2051, 4611,
5537, 8925, 11341, 3459, 8807, 27, 7796, 5777, 11316, 3978, 9830, 7300, 8209,
8509, 2281, 2294, 1041, 8374, 168, 10276, 5906, 773, 174, 10643, 1728, 7384,
1058, 11462, 8812, 2381, 218, 9238, 3860, 10805, 11637, 5179, 7509, 10752,
6347, 9314, 316, 11136, 5257, 12280, 5594, 6267, 8517, 10963, 4916, 1663,
1360, 1260, 3336, 7428, 11942, 1305, 12233, 671, 6224, 7935, 12231, 4645,
11713, 1635, 7840, 4372, 1159, 7399, 8120, 1017, 6906, 4591, 8410, 2370,
9786, 8705, 6077, 5088, 3991, 8577, 2344, 3, 6328, 10200, 9450, 442, 6554,
3542, 3643, 11869, 11177, 9813, 4212, 11854, 4115, 7969, 6118, 9644, 8212,
2548, 192, 11744, 1483, 2639, 3710, 1630, 5486, 11950, 9987, 2566, 1293,
11499, 9027, 5291, 6167, 10593, 2766, 9430, 3315]