/**
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
*/
package bots.mctsbot.common.handeval.spears2p2;
public class Values {
static short table[] = {
166, 322, 165, 310, 164, 2467, 154, 2466, 163, 3325, 321, 162, 3324, 2464, 2401, 161, 2465, 3314, 160, 2461, 159, 2400, 320, 3323, 153, 2457, 6185, 2463,
3303, 2452, 158, 3322, 157, 298, 2460, 2446, 152, 3292, 156, 2398, 3321, 2462, 5965, 155, 6184, 309, 2456, 3320, 2439, 3313, 2395, 2459, 2431,
2335, 2451, 6181, 3319, 3281, 2422, 151, 2391, 2445, 6183, 2399, 2455, 319, 3291, 2412, 5964, 6175, 2386, 3318, 5745, 150, 2450, 6180, 3312, 3317,
297, 6165, 2458, 2438, 5961, 2430, 2380, 142, 2444, 3311, 308, 3316, 318, 286, 149, 6150, 5963, 6174, 3259, 5525, 3315, 2421, 2397, 2454, 5955,
148, 6182, 2373, 3302, 6164, 2437, 5960, 2411, 5744, 2449, 2365, 3310, 5945, 6178, 2429, 6129, 2334, 2394, 2453, 6179, 6101, 147, 141, 3309, 6149,
5741, 2448, 2356, 2443, 3215, 2269, 5930, 2420, 2396, 5954, 3290, 3248, 3280, 2346, 6065, 6172, 2390, 2410, 3308, 317, 146, 6173, 2442, 5944, 3258,
6128, 3270, 2393, 6020, 3301, 6162, 145, 3289, 5735, 2436, 2385, 5958, 2447, 6100, 5909, 2333, 6169, 6163, 2428, 2332, 5881, 5725, 6177, 316, 5929,
3307, 3300, 6159, 144, 2435, 6147, 3204, 285, 3306, 2379, 6064, 2441, 2389, 6148, 2427, 5524, 2329, 2419, 307, 143, 5845, 3288, 5952, 3214, 3257,
2268, 6019, 5710, 5962, 3160, 2440, 6144, 2384, 2409, 5305, 5908, 3269, 5800, 3305, 3287, 6171, 5942, 5521, 3299, 6126, 2418, 5743, 2392, 6155,
5880, 2372, 2434, 5949, 6176, 6127, 6098, 5959, 3304, 2331, 6161, 2364, 2426, 315, 2325, 2408, 3298, 3094, 6099, 2378, 5689, 140, 2433, 6168, 5939,
3286, 6123, 5740, 5927, 306, 5661, 5844, 6140, 2425, 3213, 2320, 130, 6095, 3279, 2328, 6062, 6158, 2355, 5515, 2417, 2388, 6146, 5085, 5304, 2267,
5799, 3297, 6063, 3149, 6170, 6135, 274, 2432, 5953, 5924, 5523, 6017, 3247, 2371, 2345, 5625, 2407, 5505, 2416, 2383, 3285, 2424, 3278, 6018,
5906, 2314, 6059, 5742, 3159, 5935, 6160, 2363, 6119, 5734, 2387, 6143, 5943, 3237, 3284, 296, 5878, 5580, 6167, 2406, 3256, 6091, 3017, 5520,
2324, 6125, 6014, 5957, 6154, 3083, 3296, 6114, 5724, 2382, 314, 5490, 5903, 2415, 6097, 5739, 2377, 139, 6157, 3295, 2354, 5920, 6086, 6145, 5084,
2319, 5738, 2423, 129, 3093, 5928, 2307, 3283, 5875, 5842, 3212, 3277, 6122, 2405, 2266, 6055, 3203, 3246, 313, 2344, 2299, 305, 6139, 5915, 2203,
6108, 3282, 5709, 6094, 2376, 5522, 3158, 5797, 138, 6061, 3255, 3294, 5514, 6010, 6142, 3276, 5951, 6050, 3193, 5303, 5469, 6080, 284, 2414, 2370,
2313, 5839, 4865, 2381, 6134, 262, 5899, 2263, 5733, 6124, 5956, 6016, 6153, 3236, 5441, 5907, 2413, 3254, 2362, 3293, 2290, 5504, 6005, 5732,
5941, 5301, 5871, 2404, 3006, 6096, 5519, 5794, 6058, 2330, 6166, 304, 5879, 6118, 5894, 5948, 5723, 2929, 3092, 3275, 5688, 2403, 2369, 6044,
2280, 5722, 6090, 6121, 2375, 3016, 5866, 137, 3202, 6013, 5737, 6073, 4645, 5660, 6156, 2306, 5405, 2361, 6138, 312, 2353, 6113, 5729, 5938, 3253,
5081, 5489, 6093, 5999, 2265, 5835, 2327, 5926, 6060, 3211, 2830, 2298, 5843, 2259, 6085, 5950, 2374, 5083, 3226, 136, 273, 128, 5888, 5360, 5708,
2402, 4864, 2343, 6133, 5295, 5719, 5513, 5790, 6054, 6015, 5707, 5830, 3192, 5302, 3157, 3274, 5860, 3210, 6037, 5798, 5624, 2352, 3148, 2254,
6141, 5940, 2137, 2202, 2368, 6107, 2262, 311, 5923, 6057, 3268, 3273, 6029, 5285, 6117, 2289, 5947, 6009, 5503, 5518, 5785, 5731, 3252, 6049,
3245, 5468, 6152, 2360, 6079, 5992, 303, 5579, 5905, 135, 2342, 3138, 5934, 6089, 3015, 2323, 2367, 6012, 5704, 3251, 3156, 295, 2918, 4644, 5440,
5687, 5984, 5824, 5877, 2279, 6112, 3209, 5937, 6004, 5721, 5300, 2248, 4425, 3091, 2359, 3267, 5925, 5686, 5715, 5853, 3082, 5659, 3272, 2720,
6084, 3182, 5728, 6120, 2318, 5270, 3201, 6151, 2928, 5488, 5902, 5779, 2351, 6043, 5658, 6137, 5075, 2819, 2258, 5919, 6053, 6092, 5082, 3225,
2326, 3250, 6072, 2366, 3072, 3271, 134, 5404, 5874, 5975, 3147, 5841, 5512, 3244, 5718, 5080, 2200, 6106, 3090, 2341, 5922, 5683, 5998, 2264,
5706, 2350, 4861, 2829, 6132, 2358, 5065, 5817, 133, 5623, 6008, 5700, 2253, 3208, 250, 5914, 6048, 261, 3249, 2241, 6078, 2201, 5359, 5904, 2312,
5655, 2599, 4863, 5796, 6136, 5933, 5622, 5502, 5294, 5809, 3243, 3266, 3207, 5517, 2340, 5249, 294, 6056, 3235, 2233, 5467, 5772, 6036, 5876,
5578, 5838, 5509, 3137, 6116, 6003, 5695, 5946, 3155, 2136, 5298, 5898, 4424, 2261, 5703, 5221, 4855, 5577, 302, 6131, 3081, 5439, 5764, 6028,
2349, 5284, 132, 6088, 3265, 3014, 5050, 2322, 6011, 2927, 5299, 2247, 5870, 5901, 5991, 3005, 4641, 6042, 5685, 5793, 5619, 5499, 5714, 6111,
2357, 5936, 3089, 5918, 2709, 5679, 5487, 5893, 3181, 3206, 5736, 3242, 6071, 4205, 4643, 2305, 2224, 5873, 5983, 2339, 5657, 131, 6115, 5840,
3200, 6083, 301, 5078, 2317, 5651, 5997, 127, 2995, 5865, 3154, 5574, 5185, 2828, 3071, 2297, 5403, 5755, 2719, 6087, 238, 5511, 3013, 5913, 5674,
2321, 6052, 3205, 5269, 5079, 2199, 2214, 4635, 3264, 5682, 5834, 3127, 5795, 3146, 6110, 5074, 5292, 3985, 3199, 2348, 2257, 118, 5484, 5699,
6105, 5029, 5646, 2071, 3191, 5921, 3224, 6130, 5140, 2240, 5887, 6035, 5358, 5654, 2588, 5837, 5974, 4862, 5621, 6082, 6007, 5501, 2134, 5293,
2316, 6047, 2347, 5897, 126, 5466, 5789, 6077, 5001, 5615, 3241, 2311, 5829, 5495, 4860, 2232, 5932, 5859, 2338, 5064, 6027, 5282, 2288, 5508,
2252, 6051, 5730, 5694, 4845, 2135, 5297, 5869, 3088, 272, 5990, 3004, 5668, 5438, 3153, 5792, 2598, 3240, 3145, 5576, 6002, 2337, 5283, 2197,
6104, 5892, 5570, 4421, 3198, 5516, 5784, 5248, 5610, 4204, 3061, 3263, 5982, 5640, 3080, 3152, 2278, 3012, 5618, 293, 6006, 5498, 6046, 5720,
4625, 5463, 300, 5678, 2926, 4423, 6076, 5864, 5486, 5900, 2310, 6041, 6109, 5220, 4965, 4854, 5931, 2917, 4642, 3262, 2223, 5823, 5480, 2718,
5727, 5917, 5049, 5565, 5267, 5077, 3234, 2246, 5435, 5650, 6070, 5833, 2994, 4640, 2304, 4830, 5402, 5872, 5573, 6081, 3011, 5072, 3239, 3984,
2315, 5852, 6001, 125, 3171, 2336, 3765, 2005, 4415, 5673, 3180, 5996, 283, 4920, 5268, 3087, 5886, 2907, 2213, 3079, 2827, 5778, 5973, 3126, 5604,
2296, 3151, 5475, 5073, 5291, 5717, 2818, 5912, 2925, 5788, 117, 5483, 3197, 5645, 5357, 249, 6040, 5705, 5828, 4858, 3238, 3086, 5184, 5858, 5633,
5062, 292, 2193, 3261, 6103, 299, 124, 5916, 5510, 2133, 3190, 2198, 6069, 5465, 4634, 2597, 2303, 5399, 5559, 3196, 5614, 6034, 3150, 5494, 5836,
4859, 6045, 2808, 5063, 5281, 5816, 5459, 2131, 6075, 226, 5896, 2309, 5028, 5995, 2260, 5783, 5246, 2070, 3144, 5139, 2239, 4610, 2826, 5667,
5437, 3260, 4809, 2295, 3545, 6026, 3136, 2188, 6102, 2287, 5911, 5500, 3233, 5808, 5431, 2984, 2196, 5868, 5354, 5569, 5989, 5702, 3003, 5000,
5218, 4852, 5247, 5609, 5791, 6000, 2916, 3060, 2231, 3085, 5639, 5289, 5771, 5822, 5597, 4781, 4405, 5454, 5507, 6074, 5047, 5891, 2308, 4844,
260, 5296, 123, 3078, 5462, 4201, 4422, 4638, 6033, 5684, 5981, 5219, 3195, 4853, 2277, 5713, 5851, 106, 2924, 5763, 5589, 3232, 5479, 3764, 5895,
5426, 6039, 282, 4420, 5048, 5863, 5564, 5266, 4203, 3084, 5434, 5777, 5552, 4639, 6025, 5656, 5279, 3143, 5401, 2286, 2717, 4390, 5071, 5497,
2817, 5726, 6068, 2182, 3170, 3010, 4624, 2708, 2302, 5395, 5867, 237, 5988, 3002, 5485, 5832, 3194, 4964, 5182, 4589, 2906, 3070, 5069, 3981,
2222, 5544, 5603, 2923, 5994, 2256, 4745, 5474, 5890, 6038, 5076, 271, 2825, 5448, 3009, 4195, 4632, 2294, 5681, 5885, 5980, 291, 5356, 4829, 2276,
5972, 4857, 5910, 4561, 5183, 3983, 5632, 5061, 5815, 2192, 5716, 5754, 5350, 6067, 5698, 2698, 2004, 5026, 4414, 2068, 2301, 5390, 5862, 5787,
4919, 5137, 3231, 5827, 122, 5420, 3116, 2212, 4633, 5653, 5857, 3544, 5059, 5398, 5558, 3125, 4700, 2716, 5620, 5993, 2251, 3189, 5290, 2807,
5807, 5264, 5458, 2130, 6032, 1939, 2824, 116, 5482, 4998, 5027, 5831, 2293, 5245, 2069, 2596, 5138, 121, 2127, 3077, 5770, 3975, 3142, 2587, 2255,
5535, 2187, 5345, 5693, 4842, 2132, 3223, 5782, 2175, 2922, 5430, 2983, 6024, 5884, 5464, 5275, 3008, 5353, 4999, 2285, 5217, 5971, 4851, 5575,
5493, 3135, 5762, 4525, 5288, 3188, 5280, 5596, 3141, 5987, 3001, 5453, 4418, 6031, 5786, 5046, 5701, 5826, 4843, 2896, 2167, 4849, 6066, 4609,
2915, 2300, 4637, 5384, 5856, 2122, 5436, 4808, 2577, 5617, 5821, 5889, 2250, 5044, 105, 4185, 4622, 5588, 2707, 5677, 5979, 2195, 5425, 3007,
2245, 2275, 6023, 4419, 3050, 2595, 4962, 3230, 2284, 5413, 4202, 2823, 3059, 4480, 5712, 120, 5850, 2292, 5551, 4780, 5278, 4404, 5861, 3761,
5986, 3000, 3179, 5781, 5243, 2181, 4369, 4623, 5649, 5461, 5339, 5394, 4200, 2993, 4827, 2715, 5572, 5776, 3229, 4963, 3134, 5181, 2797, 3076,
5260, 5068, 2816, 5543, 5753, 5478, 3763, 4170, 2002, 3140, 4412, 5672, 5978, 4917, 3187, 2274, 5265, 5215, 214, 3105, 3965, 5447, 4341, 2914, 119,
2158, 4631, 6030, 5433, 281, 3069, 5820, 4828, 5400, 4389, 5070, 3075, 3222, 3982, 2116, 5883, 3169, 5349, 115, 2244, 2697, 2003, 5025, 5644, 4413,
5970, 2067, 4629, 5389, 5680, 4918, 2714, 5136, 2921, 4588, 5419, 3115, 5711, 290, 5377, 5849, 6022, 3980, 5255, 2586, 5058, 5814, 2283, 3139,
3755, 4744, 5473, 5697, 5825, 259, 5023, 2065, 5263, 5855, 2148, 5055, 4194, 5985, 2238, 225, 3950, 4997, 5613, 5775, 5355, 2249, 5652, 3541, 4856,
2822, 4560, 3228, 2126, 2291, 5060, 5369, 2815, 3221, 2191, 5806, 5534, 5882, 2594, 5344, 4995, 5969, 4841, 2174, 4149, 4607, 5179, 5332, 5666,
5977, 2230, 5274, 3068, 4806, 4305, 3543, 5769, 5397, 2273, 4699, 5506, 202, 5780, 5239, 289, 5692, 3074, 5457, 4839, 2129, 2194, 1938, 5854, 5568,
3039, 4417, 3186, 5244, 248, 5608, 2895, 2166, 280, 4848, 3227, 2920, 4608, 5324, 5638, 3974, 5383, 2121, 4778, 5813, 4807, 5761, 4402, 2713, 2576,
2186, 5696, 2109, 5211, 2061, 2593, 2973, 5043, 2913, 4621, 5134, 5429, 2237, 4198, 2982, 4260, 5819, 5352, 3185, 3049, 3535, 5216, 4961, 4850,
5412, 5040, 5616, 3929, 6021, 5496, 3073, 5234, 4524, 5287, 2243, 2282, 2687, 5805, 4779, 4403, 5452, 4619, 2706, 5676, 5045, 2101, 5563, 3220,
5242, 3133, 5848, 4959, 2919, 2999, 2229, 5338, 4199, 4636, 5768, 5968, 4826, 2221, 3745, 4387, 3178, 2796, 5259, 5691, 2821, 5206, 4835, 104,
4184, 3168, 2281, 3762, 2912, 2001, 5774, 5424, 4411, 5648, 2992, 4916, 5818, 4824, 5214, 1873, 3104, 4586, 5571, 2814, 2905, 5976, 2998, 5035,
2157, 3978, 4479, 2272, 5315, 5760, 5602, 5277, 4742, 2242, 5752, 3760, 4388, 1999, 4409, 5671, 2115, 5175, 4914, 4192, 2180, 4368, 3067, 5847,
5393, 2592, 2211, 4628, 3124, 3730, 3184, 4121, 4558, 5180, 4587, 5631, 3177, 2820, 5376, 5067, 2190, 3979, 5254, 2712, 2271, 4615, 4169, 2705,
5675, 4743, 5481, 5773, 5228, 5022, 5643, 2064, 2092, 3964, 5446, 2147, 5054, 4340, 4193, 5812, 4630, 2813, 2566, 2220, 5557, 4697, 3132, 2585,
5019, 94, 3901, 4559, 2806, 5368, 5130, 2236, 2128, 2711, 5170, 1936, 5348, 288, 5647, 3525, 236, 5024, 2991, 3219, 2066, 5388, 5200, 4820, 4994,
5612, 3183, 5135, 2911, 5492, 4606, 5178, 5418, 5331, 3114, 3972, 5804, 5967, 4805, 2997, 3542, 5057, 2185, 5751, 4698, 3754, 4991, 1995, 1807,
2962, 5238, 5670, 2082, 2228, 5262, 4838, 279, 5767, 1937, 3949, 4604, 2210, 3038, 4996, 5665, 5811, 3218, 3123, 4803, 3540, 5690, 5846, 5014,
2056, 4085, 2125, 5323, 4522, 5286, 3973, 5595, 5966, 4777, 5125, 4401, 3709, 2235, 2270, 114, 3176, 5343, 2108, 5210, 5642, 2060, 3510, 5567,
2972, 4840, 2173, 5607, 4148, 5133, 4197, 5759, 3058, 2591, 2996, 5273, 4304, 5637, 5803, 2584, 4775, 4399, 5039, 2812, 4986, 103, 5233, 4182,
4523, 5587, 2686, 2227, 4618, 190, 5460, 5766, 2885, 4416, 2100, 5611, 5491, 5164, 2894, 2165, 4958, 4847, 4040, 4477, 3066, 5550, 2590, 5382,
3028, 2120, 5276, 2704, 3131, 287, 5477, 3758, 4386, 4955, 3865, 5042, 5205, 4834, 5562, 2179, 4183, 4366, 4620, 2219, 4600, 5664, 4259, 5432,
5758, 5193, 4799, 3048, 3534, 4960, 4823, 3217, 213, 4585, 5411, 3928, 4384, 5066, 5034, 3977, 4478, 5810, 5542, 5314, 4167, 3130, 2710, 4741,
2990, 270, 5008, 3759, 2050, 1998, 5566, 4408, 5241, 5119, 5174, 5606, 4913, 3962, 2234, 4338, 4191, 3057, 4367, 4583, 5337, 2904, 5636, 3489,
5750, 2786, 4825, 3744, 4771, 1990, 4395, 5601, 2703, 5669, 2910, 4557, 4739, 2795, 5472, 4910, 3820, 5258, 5802, 4950, 3681, 2209, 4614, 2696,
4168, 2000, 3175, 4189, 4410, 247, 4980, 2218, 5227, 4915, 3216, 5213, 2091, 1872, 3103, 2226, 3113, 3963, 4339, 5765, 4555, 2156, 2565, 5630,
5056, 2589, 4696, 113, 5476, 3752, 5018, 5641, 93, 2811, 2989, 4815, 2114, 5129, 5561, 5261, 3645, 5169, 1935, 3947, 3174, 2583, 4627, 5199, 3538,
4819, 5396, 5556, 5749, 5157, 3729, 82, 4694, 4120, 4380, 2124, 3065, 3971, 5375, 5757, 4905, 2805, 5253, 5533, 5456, 258, 3753, 4990, 2208, 3129,
1994, 1933, 201, 2961, 3122, 5021, 2172, 2063, 2081, 4146, 4579, 2146, 5053, 2903, 5272, 3948, 4603, 4302, 3969, 178, 4802, 5600, 3539, 5149, 4735,
112, 5471, 3900, 5013, 3064, 2055, 2909, 4521, 5367, 4595, 5124, 2702, 5663, 5428, 2874, 2043, 2981, 3524, 5351, 2582, 4944, 5112, 4993, 278, 2164,
4846, 4147, 4605, 4551, 5177, 5330, 2217, 5629, 2119, 3461, 4804, 4303, 4519, 2189, 2575, 5594, 4774, 3128, 4398, 5451, 1806, 5237, 4985, 5605,
5041, 5801, 4181, 3056, 4837, 5635, 4257, 4973, 1741, 224, 2035, 3037, 2884, 2951, 3047, 3532, 3173, 5555, 5104, 4690, 2225, 5163, 3926, 2908,
4476, 4084, 5322, 2804, 3425, 3027, 4776, 5748, 5455, 102, 4179, 4400, 3708, 5586, 1984, 3757, 1929, 5662, 5423, 4794, 2107, 4899, 5209, 4954,
5240, 2059, 3509, 2810, 2971, 4365, 5132, 2207, 4196, 4599, 2775, 4258, 4474, 3121, 3742, 5192, 4798, 5549, 3533, 2184, 277, 5038, 5560, 5257,
2676, 3927, 4383, 5756, 5232, 3063, 2685, 4166, 5427, 235, 111, 3600, 2980, 4363, 4617, 5007, 5634, 2049, 5392, 3172, 4766, 2099, 5212, 1870, 4375,
3102, 5118, 3961, 4957, 4337, 2155, 4039, 4582, 4515, 3167, 2581, 5593, 2785, 3743, 4770, 5541, 1989, 4394, 5450, 4164, 4385, 4738, 4909, 2113,
2809, 3864, 4574, 5204, 4949, 4833, 2701, 2902, 3959, 5445, 4335, 4188, 4626, 4979, 5599, 4937, 2026, 5470, 3727, 4118, 4822, 1871, 4584, 5095,
2216, 5033, 4554, 3976, 3062, 5252, 5313, 4175, 5585, 3380, 3751, 4740, 5422, 5347, 2695, 1997, 5020, 4407, 2062, 4814, 5387, 4546, 5173, 4912,
2940, 2700, 2145, 5628, 5052, 4190, 3946, 2988, 5417, 269, 4470, 4788, 5548, 3488, 4929, 3537, 3166, 5156, 3728, 3898, 81, 4693, 4119, 3749, 4556,
4379, 2215, 3819, 4904, 5747, 3680, 1977, 2178, 4359, 4613, 2901, 3522, 5391, 5554, 1932, 3944, 4892, 2016, 4992, 5226, 5598, 4145, 4730, 2090,
2555, 3055, 5176, 2206, 4578, 2803, 2987, 3120, 2123, 4301, 2564, 4760, 3968, 5540, 1675, 1924, 4695, 4160, 5148, 5017, 4734, 1804, 5532, 5236, 92,
3899, 5342, 5128, 4836, 5746, 4594, 3644, 110, 3955, 5444, 1969, 5168, 4143, 1934, 4331, 2873, 5627, 3036, 2042, 3523, 4884, 2183, 4299, 5198,
4943, 5111, 4818, 4082, 2205, 4550, 3970, 2580, 3119, 2979, 4518, 3706, 5346, 2694, 4989, 1993, 2106, 5208, 1805, 2960, 2058, 3507, 5386, 5553,
2970, 4685, 2080, 5131, 2893, 109, 4510, 5416, 3112, 4256, 4972, 189, 5592, 2802, 4602, 2034, 2950, 5381, 3531, 5449, 2118, 4801, 5103, 4689, 2574,
1918, 5037, 2665, 3925, 5012, 5231, 2054, 4083, 4520, 2579, 276, 3165, 5123, 4178, 3707, 4616, 1983, 1928, 3940, 2098, 4254, 4793, 4898, 3508, 268,
3529, 4956, 4568, 4037, 2900, 5410, 101, 2863, 3923, 2774, 5584, 3460, 4473, 3741, 2986, 5421, 4724, 2978, 4773, 5531, 4397, 5341, 2675, 4984,
3862, 5203, 4832, 4180, 2171, 4139, 4465, 2699, 5547, 4362, 1740, 1960, 5271, 5336, 2883, 4295, 5591, 4765, 4821, 3739, 1869, 4374, 4875, 3054,
4540, 5162, 5626, 5032, 4038, 2794, 4475, 4753, 2204, 2177, 4514, 3424, 4354, 3026, 3118, 3756, 4163, 1996, 4406, 4953, 5172, 3863, 4911, 4573,
2892, 2163, 1867, 4364, 3101, 3958, 4598, 5539, 4334, 3486, 108, 5380, 2985, 100, 4155, 5191, 4936, 4797, 5583, 4679, 2025, 3726, 2573, 4117, 3053,
5094, 3817, 2801, 4382, 2764, 5443, 3678, 2112, 4326, 4174, 4612, 4165, 70, 2578, 3599, 1950, 5006, 4250, 5546, 5225, 2048, 3046, 2544, 2089, 5117,
4545, 3960, 3724, 5409, 2939, 4115, 4336, 3919, 4581, 275, 4469, 4787, 5374, 3487, 3117, 2784, 4928, 2176, 2693, 4769, 4348, 1988, 5016, 4393, 91,
3897, 5385, 3748, 4737, 4908, 5127, 3818, 3164, 5415, 4948, 3642, 246, 5167, 3679, 223, 1976, 4358, 3521, 107, 5051, 5335, 4187, 4978, 3943, 4891,
5538, 5197, 2015, 4817, 3735, 2852, 4729, 212, 2554, 2793, 3895, 4504, 5256, 4553, 5590, 4759, 5366, 4717, 177, 1923, 3935, 5442, 3379, 3750, 4320,
4159, 4988, 1992, 1803, 2959, 3519, 2079, 4813, 3163, 1863, 257, 3643, 3954, 1968, 4142, 3945, 4601, 4330, 2154, 5329, 4883, 5530, 4800, 4298,
3536, 5340, 4533, 5155, 2692, 80, 4692, 2899, 5011, 4378, 2053, 4081, 3052, 1801, 2170, 99, 4134, 4903, 5582, 5122, 3705, 4709, 5414, 3111, 4290,
1931, 3506, 3035, 4684, 3720, 4144, 4111, 4577, 4459, 4509, 3458, 5373, 5545, 4079, 4300, 5321, 3967, 4672, 5251, 1674, 4772, 4396, 3703, 1917,
2753, 5147, 2664, 4733, 2800, 4983, 2891, 2105, 2162, 2057, 3504, 267, 1911, 4593, 5379, 1738, 2144, 2117, 2872, 3939, 2882, 2041, 2572, 4253,
4942, 5110, 5529, 5161, 3528, 4567, 4036, 3891, 3051, 5036, 4549, 2862, 3922, 3422, 3025, 5365, 5537, 3459, 2169, 4517, 4664, 4128, 4245, 4723,
2684, 3045, 3515, 4284, 4952, 200, 3861, 5408, 2097, 3914, 2977, 1903, 4138, 4464, 4597, 3162, 5328, 4034, 4255, 4971, 1739, 1959, 5190, 2033,
4796, 4294, 2949, 3530, 3738, 5102, 4874, 4688, 4539, 3924, 4381, 1797, 4497, 5235, 2898, 4752, 3423, 3859, 4353, 2890, 2161, 4831, 5334, 3597,
4177, 2691, 1982, 5005, 1927, 2047, 2654, 5378, 256, 4792, 4897, 2571, 5116, 2792, 2976, 3110, 1866, 4580, 4075, 5320, 3485, 2773, 5031, 2783,
4472, 3740, 4154, 4768, 1987, 4678, 5312, 4392, 3699, 4736, 4239, 4907, 3816, 4489, 2674, 98, 5207, 1858, 234, 245, 3500, 5581, 4947, 2969, 2763,
3677, 4325, 5407, 2153, 3161, 69, 3908, 4186, 3598, 4977, 1949, 4361, 4249, 3483, 4764, 2543, 1868, 4373, 3723, 4452, 2111, 4114, 4552, 3918, 2897,
5230, 3814, 4513, 3377, 2683, 5528, 3675, 4347, 4655, 4611, 5333, 4162, 4812, 3715, 97, 4106, 2168, 2799, 2841, 4572, 3641, 5372, 2088, 2791, 4030,
3957, 5250, 1894, 4333, 2563, 4935, 3734, 5154, 2024, 3725, 2851, 79, 4691, 4116, 4377, 5015, 4444, 5093, 90, 3894, 5536, 4902, 4503, 3855, 5202,
1852, 2143, 3100, 4173, 4716, 3934, 3378, 3639, 4319, 2152, 1930, 3518, 3886, 2889, 2160, 4816, 4313, 1862, 4544, 4576, 2938, 5364, 2975, 2110,
3966, 4468, 4786, 1672, 5311, 2570, 4927, 5146, 2533, 4732, 4532, 3896, 3747, 4987, 1991, 1800, 2958, 2798, 4133, 4592, 2643, 5171, 5327, 4100,
2078, 2690, 4708, 1975, 2871, 4357, 2040, 1884, 4289, 5371, 3520, 3942, 3044, 4890, 3479, 4941, 5109, 2014, 1792, 5406, 3109, 3719, 4728, 2742,
4110, 2553, 4548, 4458, 3457, 5010, 3810, 2052, 4078, 4516, 4758, 4671, 3671, 1673, 1922, 2142, 3034, 4158, 3702, 2752, 1802, 5224, 3503, 96, 4070,
1910, 5319, 3880, 2689, 3953, 2974, 1967, 4970, 1737, 4141, 4329, 2032, 5363, 2948, 3694, 2562, 3455, 4882, 4297, 5101, 4687, 2790, 2104, 3108, 89,
3495, 3890, 2968, 4080, 3421, 4982, 4435, 5126, 5527, 4176, 4663, 3704, 4127, 3635, 1981, 5166, 4244, 5326, 1926, 1735, 3514, 4791, 4896, 4283,
3505, 266, 5196, 1845, 3099, 4683, 3913, 1902, 1786, 2151, 5229, 4277, 4508, 2772, 4033, 4471, 2682, 3419, 3024, 1916, 2663, 2096, 233, 2673, 1796,
4496, 255, 4951, 95, 4025, 3858, 5526, 3596, 4360, 4064, 5318, 3938, 2653, 4596, 4763, 4252, 211, 4372, 3688, 2159, 4795, 4093, 3527, 4566, 4035,
3850, 5370, 2103, 5201, 2051, 4269, 4074, 2522, 2861, 4512, 3921, 2967, 2569, 5121, 3698, 4722, 4161, 3594, 4238, 5004, 4488, 2046, 1857, 3860,
3499, 4571, 2141, 5030, 4137, 3956, 4232, 4463, 3907, 4332, 5310, 188, 3043, 3451, 1958, 4934, 4293, 2023, 2681, 3482, 2888, 265, 3737, 4767, 4873,
3873, 1986, 5092, 4391, 4538, 4451, 5362, 3107, 2095, 4906, 4751, 3813, 4172, 2568, 4352, 3376, 4946, 3674, 4019, 3474, 4654, 1731, 2881, 4976,
3714, 4105, 4543, 2840, 2937, 5160, 3805, 5325, 1865, 4224, 4029, 4467, 4785, 3666, 1893, 3844, 3484, 3042, 3415, 3023, 4926, 4153, 4677, 2789,
3374, 3746, 1779, 5223, 4443, 3815, 2087, 3854, 2762, 4811, 3676, 1851, 1974, 4324, 4356, 68, 2561, 3638, 3033, 2688, 3941, 1948, 4889, 4248, 2013,
5309, 5189, 58, 3098, 2542, 3885, 4727, 2552, 4312, 2150, 3722, 4057, 5317, 78, 3106, 4113, 3917, 4376, 4757, 3630, 5165, 1671, 1921, 4901, 2632,
4157, 4346, 2532, 3590, 199, 2102, 5195, 2045, 3468, 222, 2642, 5115, 3640, 4099, 3952, 1966, 4140, 4328, 1883, 4575, 3799, 4881, 4296, 3478, 3660,
2782, 1837, 3733, 3097, 1985, 1669, 2850, 1791, 2957, 2887, 2741, 2149, 4731, 2077, 3893, 5222, 4502, 3809, 2680, 2086, 3670, 4715, 3933, 4591,
2567, 4318, 2870, 2560, 2094, 2039, 3517, 4682, 4940, 2140, 5009, 1861, 4012, 88, 4069, 3879, 4507, 4547, 5120, 4215, 3693, 3454, 3624, 3041, 2731,
3370, 1915, 2662, 4531, 3494, 5361, 3837, 1799, 5194, 4810, 4434, 4132, 3634, 4707, 3446, 3937, 4288, 4251, 4969, 1734, 2031, 2947, 3526, 1844,
4565, 5153, 2886, 3718, 2139, 4981, 77, 4686, 4109, 1785, 2956, 2860, 3920, 4457, 4276, 3456, 5308, 4077, 2076, 4670, 3418, 4721, 1726, 176, 1771,
2880, 3701, 2751, 1980, 1925, 2788, 5159, 4790, 4895, 3502, 4024, 4136, 4462, 1909, 3032, 3410, 1736, 244, 4063, 1957, 2511, 4292, 2771, 3040,
1665, 3736, 4872, 3687, 4092, 4537, 5145, 1828, 5316, 3096, 3889, 3792, 3849, 4750, 4268, 2521, 264, 3420, 4351, 3653, 4590, 4662, 4126, 4243, 46,
254, 5188, 2038, 3593, 3440, 2966, 3513, 4282, 2085, 5108, 4762, 1864, 3912, 4371, 1901, 4231, 3031, 2559, 4032, 3450, 4152, 4676, 3585, 4511,
5003, 87, 3872, 1720, 4049, 2787, 2879, 1795, 4495, 5114, 2761, 2679, 4323, 3617, 3857, 5158, 4570, 67, 3595, 4018, 1947, 3473, 4247, 2093, 1730,
2781, 2652, 2030, 3404, 232, 2965, 2946, 2541, 4933, 5100, 2022, 1818, 3095, 3721, 4112, 3804, 3916, 4223, 2138, 4945, 4073, 3665, 3843, 3414,
4345, 4171, 3697, 4975, 1979, 3373, 1778, 221, 4237, 3829, 5187, 4789, 4487, 2075, 1856, 3498, 2678, 4542, 3906, 2936, 253, 3365, 4466, 3732, 4784,
57, 2849, 3481, 4925, 3579, 4004, 5002, 3892, 4450, 2044, 4056, 4501, 2672, 5307, 3629, 3812, 5113, 4714, 2631, 3932, 3375, 4317, 3673, 1973, 3589,
4653, 4355, 3516, 3467, 1762, 5152, 2780, 4888, 3713, 4761, 76, 2012, 4104, 1860, 4370, 2839, 4726, 263, 4900, 4028, 3433, 3798, 1892, 3030, 3659,
4756, 1836, 4530, 1668, 1920, 4156, 3784, 4974, 1798, 4442, 4131, 2621, 5306, 3853, 4569, 1850, 4706, 4287, 1713, 3637, 3951, 1965, 2878, 1660,
4327, 2084, 5144, 4880, 2021, 3359, 3717, 2964, 3884, 4108, 4311, 4011, 4456, 5091, 2558, 4076, 3397, 3022, 4669, 4214, 1670, 2869, 3623, 86, 3700,
2730, 3369, 2750, 2531, 1752, 4939, 5107, 3836, 3501, 3609, 5151, 1908, 2641, 4541, 4681, 4098, 187, 2935, 3445, 1882, 4506, 3029, 5186, 4783,
3477, 2083, 1790, 3888, 2740, 1914, 2661, 3995, 2557, 3808, 4661, 4125, 3669, 4242, 3572, 4968, 1725, 1972, 85, 1770, 2955, 243, 3512, 4281, 3936,
2074, 5099, 2011, 1654, 2963, 3911, 2610, 5143, 1900, 4725, 2551, 4068, 3878, 4564, 4031, 3409, 2510, 2859, 2779, 3692, 4755, 3453, 1978, 1664,
1919, 2868, 4720, 2037, 1827, 4894, 1794, 4494, 3493, 3791, 4938, 5106, 3856, 4433, 3652, 2677, 3633, 2770, 1964, 4135, 4461, 2651, 45, 2954, 3439,
1733, 1956, 2073, 4291, 1843, 2671, 4871, 2500, 1784, 4536, 4072, 4275, 4749, 3352, 3584, 3696, 3417, 4350, 4236, 4967, 1719, 2029, 4048, 4486,
1855, 2945, 3497, 3775, 5098, 4680, 3616, 4023, 1705, 3905, 210, 4505, 4062, 3403, 3480, 5150, 4151, 3686, 75, 4675, 4091, 1817, 4449, 1913, 252,
3848, 3389, 3021, 4893, 4267, 3811, 2520, 2556, 2760, 3672, 4322, 4652, 66, 4932, 2769, 3592, 84, 1946, 3828, 3712, 4246, 4103, 2838, 5090, 2540,
4563, 4027, 1696, 4230, 2670, 1891, 2877, 2858, 3915, 3449, 1647, 3364, 5142, 4719, 3578, 3871, 4344, 4003, 4441, 2489, 3020, 3852, 1849, 2934,
3564, 3636, 2867, 4460, 4017, 2036, 3472, 1729, 4924, 1955, 1761, 2953, 5105, 3883, 3731, 4310, 2072, 2848, 4535, 3803, 4222, 3432, 2778, 3664,
175, 4748, 3842, 4500, 1971, 3413, 4349, 2530, 4713, 3931, 4887, 3372, 83, 1777, 4316, 3783, 4931, 2020, 2620, 2550, 2640, 4097, 3555, 5089, 1859,
1881, 4966, 1712, 2028, 1659, 220, 3476, 4150, 56, 5097, 4674, 1789, 3358, 2739, 4529, 4055, 3807, 3396, 198, 3628, 3344, 2759, 3668, 1963, 4130,
2630, 4321, 231, 65, 4705, 3588, 4879, 1945, 4286, 4782, 1751, 2952, 3466, 4923, 3608, 251, 4067, 3877, 3716, 4107, 2768, 3797, 4455, 3691, 34,
3452, 2876, 3658, 74, 4668, 1835, 4343, 1667, 3492, 2669, 2749, 4886, 2010, 3994, 4432, 3335, 3019, 3632, 2549, 3571, 1907, 1732, 4754, 1842, 1653,
1912, 2660, 2847, 2609, 1783, 4010, 4274, 3887, 4499, 1639, 4213, 3416, 5141, 4712, 3622, 3930, 73, 4660, 2729, 4124, 3368, 4315, 4241, 4878, 3511,
3835, 4280, 4562, 4022, 209, 242, 3910, 4061, 3444, 1899, 1686, 4930, 2875, 2019, 3685, 4090, 4528, 5088, 3847, 2499, 4266, 2519, 1793, 4493, 1630,
4129, 3018, 3351, 2777, 1724, 4704, 1954, 1769, 3591, 4285, 2650, 4870, 3774, 4534, 219, 2659, 4229, 2866, 1704, 2027, 4454, 3408, 2944, 3448,
2509, 4071, 4922, 5096, 4667, 1663, 3870, 3695, 2748, 1826, 3790, 4235, 3388, 4485, 1854, 3651, 3496, 1970, 4016, 1906, 3471, 2478, 1728, 44, 2857,
3904, 4885, 3438, 2009, 4718, 2548, 3802, 4221, 2767, 1695, 241, 4448, 3663, 3841, 2943, 3412, 1646, 64, 2776, 3583, 4659, 4123, 1944, 3371, 4240,
1776, 2668, 1718, 72, 4651, 4047, 2539, 4279, 2488, 3711, 4869, 4102, 3615, 3563, 3909, 1962, 2837, 1898, 4026, 4747, 4877, 3402, 55, 1890, 4342,
1816, 4054, 197, 4492, 4440, 3627, 2629, 3851, 1848, 1620, 3587, 2667, 3465, 2649, 3827, 2846, 4673, 3882, 3554, 4498, 4309, 3796, 2865, 2018,
2758, 3657, 3363, 1834, 4314, 1666, 63, 2658, 5087, 3577, 71, 2529, 4002, 4234, 4484, 1853, 2538, 3343, 2639, 4096, 3903, 1880, 1760, 4527, 3475,
2933, 4009, 1788, 4447, 2856, 2738, 3431, 4212, 4921, 33, 3806, 2017, 3621, 22, 2942, 2728, 3367, 3667, 5086, 4650, 3782, 3834, 3710, 2619, 4101,
230, 2836, 3334, 4453, 3443, 4066, 3876, 1711, 2864, 1953, 2008, 1889, 1658, 3690, 4711, 4868, 2747, 2547, 3357, 2932, 4439, 3491, 4746, 3395,
1638, 1905, 2766, 4431, 1847, 1723, 1768, 3631, 1750, 186, 3607, 3881, 1961, 1841, 4308, 3407, 2508, 1782, 4876, 1685, 4273, 2007, 4122, 2941,
1662, 4703, 2546, 2528, 1825, 4278, 3789, 3993, 2757, 3650, 1629, 1897, 2638, 4095, 4021, 3570, 43, 1943, 3437, 1879, 4060, 4666, 2537, 1652, 2608,
3684, 1787, 4491, 229, 4089, 2737, 3846, 2765, 4265, 2518, 3582, 1904, 2657, 240, 1717, 4046, 2666, 3614, 4065, 3875, 2477, 4228, 3401, 3689, 3447,
4658, 2845, 1815, 4233, 4483, 208, 3869, 3490, 2931, 2498, 4430, 4710, 3902, 3350, 1896, 2656, 4015, 3826, 3470, 1727, 3773, 1840, 4446, 1703,
1781, 1952, 3801, 4272, 4220, 3362, 3662, 3840, 4867, 3411, 2006, 4526, 3576, 4001, 2648, 2545, 2855, 1775, 3387, 2835, 4020, 4702, 1619, 1888,
4059, 1759, 3683, 54, 4088, 4438, 2930, 3430, 1694, 3845, 1951, 4053, 1846, 4264, 2517, 4665, 1645, 3626, 4866, 2628, 2746, 3781, 3586, 2756, 2618,
2487, 3464, 4307, 62, 3562, 1710, 1942, 4227, 1657, 3795, 2536, 239, 3356, 3656, 1833, 4649, 3868, 174, 3394, 2637, 4094, 4657, 2834, 21, 1878,
4014, 3469, 1749, 1887, 185, 196, 3606, 2736, 61, 3553, 3800, 1941, 4008, 4219, 3661, 3839, 207, 2535, 4211, 3620, 2727, 3366, 1774, 4490, 3992,
2854, 3833, 3874, 3342, 4306, 3569, 2647, 3442, 1651, 53, 2607, 2527, 4052, 4429, 32, 3625, 228, 2844, 2627, 1722, 1877, 2655, 1767, 4482, 1839,
3463, 4701, 1780, 3333, 4271, 2735, 3794, 3406, 2507, 3655, 1832, 1661, 4445, 2497, 1824, 2853, 3788, 1637, 3349, 3649, 4058, 2745, 4648, 42, 3682,
3436, 4087, 3772, 218, 2755, 1702, 4007, 4263, 2516, 60, 1684, 1940, 4210, 3619, 3581, 2726, 2534, 4437, 3386, 1716, 4045, 3832, 4656, 1838, 1628,
4226, 3613, 195, 3441, 4270, 3400, 3867, 1895, 1693, 1814, 1644, 4013, 2526, 1721, 1766, 2843, 2486, 3825, 2636, 2754, 4086, 3561, 4218, 59, 2646,
3838, 2476, 3405, 4262, 227, 2506, 3361, 173, 1773, 217, 3575, 1823, 4000, 3787, 3648, 4225, 41, 4481, 52, 3435, 1758, 4051, 3866, 3552, 2645,
2626, 3429, 3580, 2842, 3462, 1715, 4044, 3780, 4428, 3341, 2617, 3612, 4647, 3793, 1618, 4217, 1709, 3654, 2744, 1831, 3399, 1656, 206, 3355,
1813, 1772, 1886, 31, 3393, 4436, 3824, 1748, 51, 4006, 3332, 3605, 4646, 4050, 4209, 3618, 2725, 3360, 2625, 2833, 3574, 3999, 3831, 1885, 2515,
1636, 3991, 2525, 20, 3568, 2743, 1757, 2635, 1830, 1650, 1876, 2606, 1683, 3428, 184, 1765, 2734, 3779, 1627, 2616, 2524, 4005, 2505, 1708, 1655,
4208, 2634, 1822, 2724, 3354, 3786, 1875, 3647, 3830, 2496, 3392, 40, 3348, 3434, 194, 1747, 4427, 3604, 3771, 2475, 1701, 2644, 50, 1714, 4043,
1764, 2832, 3990, 3611, 3385, 216, 3567, 3398, 2504, 4426, 1812, 1649, 2605, 1821, 3785, 1692, 3646, 1829, 1643, 3823, 39, 4261, 2514, 2485, 1617,
3560, 2523, 3573, 3998, 2831, 183, 4042, 2495, 1874, 3610, 2723, 3347, 1756, 2733, 2513, 3770, 1811, 3427, 1700, 3551, 3778, 4216, 2615, 3822,
3384, 19, 1707, 3340, 1763, 172, 3353, 2633, 3997, 3391, 1691, 215, 1642, 30, 1820, 1746, 2732, 3603, 1755, 2484, 2624, 3559, 3331, 38, 3426, 3989,
3777, 2614, 49, 3566, 1635, 1706, 4041, 1648, 2604, 2623, 2512, 3550, 3390, 1682, 1810, 1745, 4207, 3602, 205, 3339, 1626, 3821, 2494, 3988, 3346,
29, 3565, 3996, 3769, 4206, 171, 1699, 2603, 193, 3330, 2474, 1754, 3383, 2503, 1634, 48, 3776, 2613, 1690, 37, 182, 2493, 1641, 1681, 3345, 2483,
2502, 3558, 3768, 1625, 1698, 1819, 1616, 1744, 3601, 3382, 47, 3987, 3549, 2622, 1689, 2722, 2473, 1640, 2602, 3338, 2482, 3557, 1809, 18, 28,
1753, 2492, 3329, 2501, 3548, 2721, 1615, 204, 3767, 1697, 1633, 36, 3337, 3381, 1680, 1743, 27, 2612, 1688, 1624, 170, 3328, 17, 1808, 2481, 3556,
35, 1632, 2601, 2472, 1679, 3986, 3547, 1623, 192, 203, 3336, 3766, 181, 26, 1614, 2471, 2491, 3327, 1742, 1687, 1631, 2480, 2611, 1678, 16, 1613,
180, 1622, 191, 3546, 2490, 2470, 15, 2600, 25, 3326, 169, 24, 1612, 2479, 1677, 1621, 1676, 14, 168, 2469, 2468, 1611, 23, 1610, 13, 179, 12, 167,
11 };
}