= {
8, 4096, 16, 2048, 24, 6144, 32, 1024, 40, 5120, 48, 3072, 56, 7168, 64,
512, 72, 4608, 80, 2560, 88, 6656, 96, 1536, 104, 5632, 112, 3584, 120, 7680,
128, 256, 136, 4352, 144, 2304, 152, 6400, 160, 1280, 168, 5376, 176, 3328, 184,
7424, 192, 768, 200, 4864, 208, 2816, 216, 6912, 224, 1792, 232, 5888, 240, 3840,
248, 7936, 264, 4224, 272, 2176, 280, 6272, 288, 1152, 296, 5248, 304, 3200, 312,
7296, 320, 640, 328, 4736, 336, 2688, 344, 6784, 352, 1664, 360, 5760, 368, 3712,
376, 7808, 392, 4480, 400, 2432, 408, 6528, 416, 1408, 424, 5504, 432, 3456, 440,
7552, 448, 896, 456, 4992, 464, 2944, 472, 7040, 480, 1920, 488, 6016, 496, 3968,
504, 8064, 520, 4160, 528, 2112, 536, 6208, 544, 1088, 552, 5184, 560, 3136, 568,
7232, 584, 4672, 592, 2624, 600, 6720, 608, 1600, 616, 5696, 624, 3648, 632, 7744,
648, 4416, 656, 2368, 664, 6464, 672, 1344, 680, 5440, 688, 3392, 696, 7488, 704,
832, 712, 4928, 720, 2880, 728, 6976, 736, 1856, 744, 5952, 752, 3904, 760, 8000,
776, 4288, 784, 2240, 792, 6336, 800, 1216, 808, 5312, 816, 3264, 824, 7360, 840,
4800, 848, 2752, 856, 6848, 864, 1728, 872, 5824, 880, 3776, 888, 7872, 904, 4544,
912, 2496, 920, 6592, 928, 1472, 936, 5568, 944, 3520, 952, 7616, 968, 5056, 976,
3008, 984, 7104, 992, 1984, 1000, 6080, 1008, 4032, 1016, 8128, 1032, 4128, 1040, 2080,
1048, 6176, 1064, 5152, 1072, 3104, 1080, 7200, 1096, 4640, 1104, 2592, 1112, 6688, 1120,
1568, 1128, 5664, 1136, 3616, 1144, 7712, 1160, 4384, 1168, 2336, 1176, 6432, 1184, 1312,
1192, 5408, 1200, 3360, 1208, 7456, 1224, 4896, 1232, 2848, 1240, 6944, 1248, 1824, 1256,
5920, 1264, 3872, 1272, 7968, 1288, 4256, 1296, 2208, 1304, 6304, 1320, 5280, 1328, 3232,
1336, 7328, 1352, 4768, 1360, 2720, 1368, 6816, 1376, 1696, 1384, 5792, 1392, 3744, 1400,
7840, 1416, 4512, 1424, 2464, 1432, 6560, 1448, 5536, 1456, 3488, 1464, 7584, 1480, 5024,
1488, 2976, 1496, 7072, 1504, 1952, 1512, 6048, 1520, 4000, 1528, 8096, 1544, 4192, 1552,
2144, 1560, 6240, 1576, 5216, 1584, 3168, 1592, 7264, 1608, 4704, 1616, 2656, 1624, 6752,
1640, 5728, 1648, 3680, 1656, 7776, 1672, 4448, 1680, 2400, 1688, 6496, 1704, 5472, 1712,
3424, 1720, 7520, 1736, 4960, 1744, 2912, 1752, 7008, 1760, 1888, 1768, 5984, 1776, 3936,
1784, 8032, 1800, 4320, 1808, 2272, 1816, 6368, 1832, 5344, 1840, 3296, 1848, 7392, 1864,
4832, 1872, 2784, 1880, 6880, 1896, 5856, 1904, 3808, 1912, 7904, 1928, 4576, 1936, 2528,
1944, 6624, 1960, 5600, 1968, 3552, 1976, 7648, 1992, 5088, 2000, 3040, 2008, 7136, 2024,
6112, 2032, 4064, 2040, 8160, 2056, 4112, 2072, 6160, 2088, 5136, 2096, 3088, 2104, 7184,
2120, 4624, 2128, 2576, 2136, 6672, 2152, 5648, 2160, 3600, 2168, 7696, 2184, 4368, 2192,
2320, 2200, 6416, 2216, 5392, 2224, 3344, 2232, 7440, 2248, 4880, 2256, 2832, 2264, 6928,
2280, 5904, 2288, 3856, 2296, 7952, 2312, 4240, 2328, 6288, 2344, 5264, 2352, 3216, 2360,
7312, 2376, 4752, 2384, 2704, 2392, 6800, 2408, 5776, 2416, 3728, 2424, 7824, 2440, 4496,
2456, 6544, 2472, 5520, 2480, 3472, 2488, 7568, 2504, 5008, 2512, 2960, 2520, 7056, 2536,
6032, 2544, 3984, 2552, 8080, 2568, 4176, 2584, 6224, 2600, 5200, 2608, 3152, 2616, 7248,
2632, 4688, 2648, 6736, 2664, 5712, 2672, 3664, 2680, 7760, 2696, 4432, 2712, 6480, 2728,
5456, 2736, 3408, 2744, 7504, 2760, 4944, 2768, 2896, 2776, 6992, 2792, 5968, 2800, 3920,
2808, 8016, 2824, 4304, 2840, 6352, 2856, 5328, 2864, 3280, 2872, 7376, 2888, 4816, 2904,
6864, 2920, 5840, 2928, 3792, 2936, 7888, 2952, 4560, 2968, 6608, 2984, 5584, 2992, 3536,
3000, 7632, 3016, 5072, 3032, 7120, 3048, 6096, 3056, 4048, 3064, 8144, 3080, 4144, 3096,
6192, 3112, 5168, 3128, 7216, 3144, 4656, 3160, 6704, 3176, 5680, 3184, 3632, 3192, 7728,
3208, 4400, 3224, 6448, 3240, 5424, 3248, 3376, 3256, 7472, 3272, 4912, 3288, 6960, 3304,
5936, 3312, 3888, 3320, 7984, 3336, 4272, 3352, 6320, 3368, 5296, 3384, 7344, 3400, 4784,
3416, 6832, 3432, 5808, 3440, 3760, 3448, 7856, 3464, 4528, 3480, 6576, 3496, 5552, 3512,
7600, 3528, 5040, 3544, 7088, 3560, 6064, 3568, 4016, 3576, 8112, 3592, 4208, 3608, 6256,
3624, 5232, 3640, 7280, 3656, 4720, 3672, 6768, 3688, 5744, 3704, 7792, 3720, 4464, 3736,
6512, 3752, 5488, 3768, 7536, 3784, 4976, 3800, 7024, 3816, 6000, 3824, 3952, 3832, 8048,
3848, 4336, 3864, 6384, 3880, 5360, 3896, 7408, 3912, 4848, 3928, 6896, 3944, 5872, 3960,
7920, 3976, 4592, 3992, 6640, 4008, 5616, 4024, 7664, 4040, 5104, 4056, 7152, 4072, 6128,
4088, 8176, 4120, 6152, 4136, 5128, 4152, 7176, 4168, 4616, 4184, 6664, 4200, 5640, 4216,
7688, 4232, 4360, 4248, 6408, 4264, 5384, 4280, 7432, 4296, 4872, 4312, 6920, 4328, 5896,
4344, 7944, 4376, 6280, 4392, 5256, 4408, 7304, 4424, 4744, 4440, 6792, 4456, 5768, 4472,
7816, 4504, 6536, 4520, 5512, 4536, 7560, 4552, 5000, 4568, 7048, 4584, 6024, 4600, 8072,
4632, 6216, 4648, 5192, 4664, 7240, 4696, 6728, 4712, 5704, 4728, 7752, 4760, 6472, 4776,
5448, 4792, 7496, 4808, 4936, 4824, 6984, 4840, 5960, 4856, 8008, 4888, 6344, 4904, 5320,
4920, 7368, 4952, 6856, 4968, 5832, 4984, 7880, 5016, 6600, 5032, 5576, 5048, 7624, 5080,
7112, 5096, 6088, 5112, 8136, 5144, 6184, 5176, 7208, 5208, 6696, 5224, 5672, 5240, 7720,
5272, 6440, 5288, 5416, 5304, 7464, 5336, 6952, 5352, 5928, 5368, 7976, 5400, 6312, 5432,
7336, 5464, 6824, 5480, 5800, 5496, 7848, 5528, 6568, 5560, 7592, 5592, 7080, 5608, 6056,
5624, 8104, 5656, 6248, 5688, 7272, 5720, 6760, 5752, 7784, 5784, 6504, 5816, 7528, 5848,
7016, 5864, 5992, 5880, 8040, 5912, 6376, 5944, 7400, 5976, 6888, 6008, 7912, 6040, 6632,
6072, 7656, 6104, 7144, 6136, 8168, 6200, 7192, 6232, 6680, 6264, 7704, 6296, 6424, 6328,
7448, 6360, 6936, 6392, 7960, 6456, 7320, 6488, 6808, 6520, 7832, 6584, 7576, 6616, 7064,
6648, 8088, 6712, 7256, 6776, 7768, 6840, 7512, 6872, 7000, 6904, 8024, 6968, 7384, 7032,
7896, 7096, 7640, 7160, 8152, 7288, 7736, 7352, 7480, 7416, 7992, 7544, 7864, 7672, 8120,
7928, 8056}
1.12.0