pub const R: [i32; 512] = [24, 1468, 7866, 1866, 3536, 3276, 3758, 4566, 8929, 3393, 4770, 9118, 8809,
8342, 2307, 12077, 3418, 4251, 8095, 1536, 7929, 11864, 8823, 5102, 751,
7021, 9577, 6162, 8239, 10344, 5969, 10771, 5461, 180, 11010, 9839, 1706,
1942, 12281, 3607, 9667, 11667, 7014, 11197, 6940, 10767, 1120, 11158, 10699,
1057, 1160, 5412, 11520, 4167, 2957, 10872, 1398, 11777, 9646, 4238, 9348,
6492, 3846, 1756, 904, 10235, 1350, 8841, 6203, 506, 2276, 12229, 8619, 4913,
7624, 3449, 4099, 2894, 874, 8400, 9951, 364, 1783, 8700, 3723, 377, 530,
3744, 7806, 10485, 8449, 10900, 7207, 8665, 11823, 4267, 881, 6780, 9173,
10125, 11007, 3511, 3795, 4781, 11839, 9342, 6125, 8024, 7434, 20, 9416,
6555, 1555, 7043, 2730, 7228, 3805, 9489, 8972, 3975, 3502, 9389, 11048,
8067, 8016, 11041, 9687, 8794, 1280, 463, 1694, 1208, 8348, 2674, 7899,
10029, 5135, 8914, 8620, 2926, 11024, 6599, 150, 9175, 6151, 5518, 9811,
8186, 5054, 10104, 3578, 5845, 11379, 1687, 2828, 9126, 5202, 10964, 2929,
5063, 4510, 9600, 9617, 416, 9060, 1165, 7766, 3942, 7628, 7790, 5410, 3205,
9656, 8946, 6481, 1125, 1223, 3121, 4518, 5993, 12239, 1038, 2046, 2257, 826,
5464, 6508, 8921, 7000, 2148, 8496, 3534, 7250, 9247, 10555, 4538, 3120,
6505, 2593, 9089, 4987, 8054, 9269, 3708, 5604, 10975, 5650, 5596, 2293,
3028, 4974, 9307, 1936, 11914, 7785, 3056, 10783, 6195, 4113, 11943, 11607,
3344, 3821, 2275, 1927, 5219, 1763, 11573, 9457, 11111, 5776, 1014, 578,
6680, 11249, 1928, 3232, 5163, 2434, 5508, 5103, 11053, 10421, 438, 2213,
2231, 3332, 3087, 10631, 994, 3451, 125, 9694, 7174, 502, 10224, 10918, 8308,
8420, 7078, 6919, 3338, 3454, 6453, 7605, 4335, 944, 4489, 2171, 11951, 8000,
5966, 4443, 7550, 3019, 10568, 3285, 10453, 10588, 412, 4719, 12143, 7455,
7449, 7082, 11260, 4649, 3765, 2946, 8151, 865, 1705, 3929, 8881, 457, 1327,
5386, 1737, 1790, 7080, 2945, 10138, 9754, 10844, 7878, 2600, 7469, 4209,
5526, 6204, 10808, 5676, 3090, 4670, 11194, 612, 567, 3959, 10716, 4145,
9804, 9806, 5832, 343, 6643, 11034, 11307, 9572, 3808, 3528, 6883, 1136,
3944, 3654, 2301, 11710, 7596, 9929, 7211, 717, 845, 4578, 9663, 7326, 5703,
10886, 10447, 10221, 4590, 10397, 11259, 6636, 365, 12085, 12100, 6873, 8717,
6811, 9021, 4924, 10345, 3982, 1882, 8611, 8520, 5002, 2827, 11113, 1802,
7814, 6878, 11071, 11522, 193, 9757, 4883, 5789, 12050, 7911, 10763, 9068,
9847, 10388, 4564, 614, 8882, 10759, 4727, 8536, 10077, 8071, 68, 63, 9998,
5287, 1826, 9282, 2455, 648, 2769, 3469, 1226, 9449, 2429, 3154, 392, 7592,
5588, 5900, 406, 4352, 4032, 844, 6565, 6263, 4176, 9652, 4605, 5170, 814,
4730, 2575, 7988, 5232, 510, 6617, 1251, 8930, 1406, 8170, 12268, 4860, 2334,
7584, 9195, 3278, 12073, 11366, 2940, 7784, 5043, 7383, 3045, 8062, 5662,
6330, 6226, 3961, 6742, 10945, 3815, 1908, 6105, 10897, 879, 10754, 2373,
3825, 6616, 3238, 5530, 10545, 12119, 5987, 11872, 5216, 7724, 1373, 7,
10669, 11511, 9761, 9224, 7100, 72, 4404, 11309, 5598, 10608, 9828, 11274,
1409, 2209, 10179, 2021, 2776, 1849, 448, 6921, 11653, 10254, 464, 11996,
4608, 11498, 11014, 1891, 3017, 2253, 8774, 4153, 6197, 139, 6454, 5618,
7735, 4094, 540, 8452, 4939, 5118, 5826]