HPTable:[ 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, // 1 - 10
35, 35, 35, 35, 35, 35, 35, 35, 35, 36, // 11 - 20
36, 36, 36, 36, 36, 36, 36, 36, 36, 36, // 21 - 30
36, 36, 36, 36, 36, 36, 36, 36, 36, 37, // 31 - 40
37, 37, 37, 37, 37, 37, 37, 37, 37, 37, // 41 - 50
38, 39, 40, 41, 42, 43, 44, 45, 46, 48, // 51 - 60
49, 50, 51, 52, 53, 54, 55, 56, 57, 58, // 61 - 70
59, 60, 61, 62, 63, 64, 65, 66, 67, 69, // 71 - 80
70, 71, 72, 73, 74, 75, 76, 77, 78, 79, // 81 - 90
80, 81, 82, 83, 84, 85, 86, 87, 88, 90, // 91 - 100
91, 92, 93, 94, 95, 96, 97, 98, 99, 100, // 101 - 110
101, 102, 103, 104, 105, 106, 107, 108, 109, 111, // 111 - 120
112, 113, 114, 115, 116, 117, 118, 119, 120, 121, // 121 - 130
122, 123, 124, 125, 126, 127, 128, 129, 130, 132, // 131 - 140
133, 134, 135, 136, 137, 138, 139, 140, 141, 142, // 141 - 150
144, 146, 148, 150, 152, 154, 156, 158, 160, 163, // 151 - 160
165, 167, 169, 171, 173, 175, 177, 179, 181, 183, // 161 - 170
185, 187, 189, 191, 193, 195, 197, 199, 201, 204, // 171 - 180
206, 208, 210, 212, 214, 216, 218, 220, 222, 224, // 181 - 190
226, 228, 230, 232, 234, 236, 238, 240, 242, 245, // 191 - 200
247, 249, 251, 253, 255, 257, 259, 261, 263, 265, // 201 - 210
267, 269, 271, 273, 275, 277, 279, 281, 283, 286, // 211 - 220
288, 290, 292, 294, 296, 298, 300, 302, 304, 306, // 221 - 230
308, 310, 312, 314, 316, 318, 320, 322, 324, 327, // 231 - 240
329, 331, 333, 335, 337, 339, 341, 343, 345, 347, // 241 - 250
350, 353, 356, 359, 362, 365, 368, 371, 374, 378, // 251 - 260
381, 384, 387, 390, 393, 396, 399, 402, 405, 408, // 261 - 270
411, 414, 417, 420, 423, 426, 429, 432, 435, 439, // 271 - 280
442, 445, 448, 451, 454, 457, 460, 463, 466, 469, // 281 - 290
472, 475, 478, 481, 484, 487, 490, 493, 496, 500, // 291 - 300
503, 506, 509, 512, 515, 518, 521, 524, 527, 530, // 301 - 310
533, 536, 539, 542, 545, 548, 551, 554, 557, 561, // 311 - 320
564, 567, 570, 573, 576, 579, 582, 585, 588, 591, // 321 - 330
594, 597, 600, 603, 606, 609, 612, 615, 618, 622, // 331 - 340
625, 628, 631, 634, 637, 640, 643, 646, 649, 652, // 341 - 350
656, 660, 664, 668, 672, 676, 680, 684, 688, 693, // 351 - 360
697, 701, 705, 709, 713, 717, 721, 725, 729, 733, // 361 - 370
737, 741, 745, 749, 753, 757, 761, 765, 769, 774, // 371 - 380
778, 782, 786, 790, 794, 798, 802, 806, 810, 814, // 381 - 390
818, 822, 826, 830, 834, 838, 842, 846, 850, 855, // 391 - 400
859, 863, 867, 871, 875, 879, 883, 887, 891, 895, // 401 - 410
899, 903, 907, 911, 915, 919, 923, 927, 931, 936, // 411 - 420
940, 944, 948, 952, 956, 960, 964, 968, 972, 976, // 421 - 430
980, 984, 988, 992, 996, 1000, 1004, 1008, 1012, 1017, // 431 - 440
1021, 1025, 1029, 1033, 1037, 1041, 1045, 1049, 1053, 1057, // 441 - 450
1062, 1067, 1072, 1077, 1082, 1087, 1092, 1097, 1102, 1108, // 451 - 460
1113, 1118, 1123, 1128, 1133, 1138, 1143, 1148, 1153, 1158, // 461 - 470
1163, 1168, 1173, 1178, 1183, 1188, 1193, 1198, 1203, 1209, // 471 - 480
1214, 1219, 1224, 1229, 1234, 1239, 1244, 1249, 1254, 1259, // 481 - 490
1264, 1269, 1274, 1279, 1284, 1289, 1294, 1299, 1304, 1310, // 491 - 500
1315, 1320, 1325, 1330, 1335, 1340, 1345, 1350, 1355, 1360, // 501 - 510
1365, 1370, 1375, 1380, 1385, 1390, 1395, 1400, 1405, 1411, // 511 - 520
1416, 1421, 1426, 1431, 1436, 1441, 1446, 1451, 1456, 1461, // 521 - 530
1466, 1471, 1476, 1481, 1486, 1491, 1496, 1501, 1506, 1512, // 531 - 540
1517, 1522, 1527, 1532, 1537, 1542, 1547, 1552, 1557, 1562, // 541 - 550
1568, 1574, 1580, 1586, 1592, 1598, 1604, 1610, 1616, 1623, // 551 - 560
1629, 1635, 1641, 1647, 1653, 1659, 1665, 1671, 1677, 1683, // 561 - 570
1689, 1695, 1701, 1707, 1713, 1719, 1725, 1731, 1737, 1744, // 571 - 580
1750, 1756, 1762, 1768, 1774, 1780, 1786, 1792, 1798, 1804, // 581 - 590
1810, 1816, 1822, 1828, 1834, 1840, 1846, 1852, 1858, 1865, // 591 - 600
1871, 1877, 1883, 1889, 1895, 1901, 1907, 1913, 1919, 1925, // 601 - 610
1931, 1937, 1943, 1949, 1955, 1961, 1967, 1973, 1979, 1986, // 611 - 620
1992, 1998, 2004, 2010, 2016, 2022, 2028, 2034, 2040, 2046, // 621 - 630
2052, 2058, 2064, 2070, 2076, 2082, 2088, 2094, 2100, 2107, // 631 - 640
2113, 2119, 2125, 2131, 2137, 2143, 2149, 2155, 2161, 2167, // 641 - 650
2174, 2181, 2188, 2195, 2202, 2209, 2216, 2223, 2230, 2238, // 651 - 660
2245, 2252, 2259, 2266, 2273, 2280, 2287, 2294, 2301, 2308, // 661 - 670
2315, 2322, 2329, 2336, 2343, 2350, 2357, 2364, 2371, 2379, // 671 - 680
2386, 2393, 2400, 2407, 2414, 2421, 2428, 2435, 2442, 2449, // 681 - 690
2456, 2463, 2470, 2477, 2484, 2491, 2498, 2505, 2512, 2520, // 691 - 700
2527, 2534, 2541, 2548, 2555, 2562, 2569, 2576, 2583, 2590, // 701 - 710
2597, 2604, 2611, 2618, 2625, 2632, 2639, 2646, 2653, 2661, // 711 - 720
2668, 2675, 2682, 2689, 2696, 2703, 2710, 2717, 2724, 2731, // 721 - 730
2738, 2745, 2752, 2759, 2766, 2773, 2780, 2787, 2794, 2802, // 731 - 740
2809, 2816, 2823, 2830, 2837, 2844, 2851, 2858, 2865, 2872, // 741 - 750
2880, 2888, 2896, 2904, 2912, 2920, 2928, 2936, 2944, 2953, // 751 - 760
2961, 2969, 2977, 2985, 2993, 3001, 3009, 3017, 3025, 3033, // 761 - 770
3041, 3049, 3057, 3065, 3073, 3081, 3089, 3097, 3105, 3114, // 771 - 780
3122, 3130, 3138, 3146, 3154, 3162, 3170, 3178, 3186, 3194, // 781 - 790
3202, 3210, 3218, 3226, 3234, 3242, 3250, 3258, 3266, 3275, // 791 - 800
3283, 3291, 3299, 3307, 3315, 3323, 3331, 3339, 3347, 3355, // 801 - 810
3363, 3371, 3379, 3387, 3395, 3403, 3411, 3419, 3427, 3436, // 811 - 820
3444, 3452, 3460, 3468, 3476, 3484, 3492, 3500, 3508, 3516, // 821 - 830
3524, 3532, 3540, 3548, 3556, 3564, 3572, 3580, 3588, 3597, // 831 - 840
3605, 3613, 3621, 3629, 3637, 3645, 3653, 3661, 3669, 3677, // 841 - 850
3686, 3695, 3704, 3713, 3722, 3731, 3740, 3749, 3758, 3768, // 851 - 860
3777, 3786, 3795, 3804, 3813, 3822, 3831, 3840, 3849, 3858, // 861 - 870
3867, 3876, 3885, 3894, 3903, 3912, 3921, 3930, 3939, 3949, // 871 - 880
3958, 3967, 3976, 3985, 3994, 4003, 4012, 4021, 4030, 4039, // 881 - 890
4048, 4057, 4066, 4075, 4084, 4093, 4102, 4111, 4120, 4130, // 891 - 900
4139, 4148, 4157, 4166, 4175, 4184, 4193, 4202, 4211, 4220, // 901 - 910
4229, 4238, 4247, 4256, 4265, 4274, 4283, 4292, 4301, 4311, // 911 - 920
4320, 4329, 4338, 4347, 4356, 4365, 4374, 4383, 4392, 4401, // 921 - 930
4410, 4419, 4428, 4437, 4446, 4455, 4464, 4473, 4482, 4492, // 931 - 940
4501, 4510, 4519, 4528, 4537, 4546, 4555, 4564, 4573, 4582, // 941 - 950
4592, 4602, 4612, 4622, 4632, 4642, 4652, 4662, 4672, 4683, // 951 - 960
4693, 4703, 4713, 4723, 4733, 4743, 4753, 4763, 4773, 4783, // 961 - 970
4793, 4803, 4813, 4823, 4833, 4843, 4853, 4863, 4873, 4884, // 971 - 980
4894, 4904, 4914, 4924, 4934, 4944, 4954, 4964, 4974, 4984, // 981 - 990
4994, 5004, 5014, 5024, 5034, 5044, 5054, 5064, 5074, 5085] // 991 - 1000