= {
8, 8192, 16, 4096, 24, 12288, 32, 2048, 40, 10240, 48, 6144, 56,
14336, 64, 1024, 72, 9216, 80, 5120, 88, 13312, 96, 3072, 104, 11264,
112, 7168, 120, 15360, 128, 512, 136, 8704, 144, 4608, 152, 12800, 160,
2560, 168, 10752, 176, 6656, 184, 14848, 192, 1536, 200, 9728, 208, 5632,
216, 13824, 224, 3584, 232, 11776, 240, 7680, 248, 15872, 264, 8448, 272,
4352, 280, 12544, 288, 2304, 296, 10496, 304, 6400, 312, 14592, 320, 1280,
328, 9472, 336, 5376, 344, 13568, 352, 3328, 360, 11520, 368, 7424, 376,
15616, 384, 768, 392, 8960, 400, 4864, 408, 13056, 416, 2816, 424, 11008,
432, 6912, 440, 15104, 448, 1792, 456, 9984, 464, 5888, 472, 14080, 480,
3840, 488, 12032, 496, 7936, 504, 16128, 520, 8320, 528, 4224, 536, 12416,
544, 2176, 552, 10368, 560, 6272, 568, 14464, 576, 1152, 584, 9344, 592,
5248, 600, 13440, 608, 3200, 616, 11392, 624, 7296, 632, 15488, 648, 8832,
656, 4736, 664, 12928, 672, 2688, 680, 10880, 688, 6784, 696, 14976, 704,
1664, 712, 9856, 720, 5760, 728, 13952, 736, 3712, 744, 11904, 752, 7808,
760, 16000, 776, 8576, 784, 4480, 792, 12672, 800, 2432, 808, 10624, 816,
6528, 824, 14720, 832, 1408, 840, 9600, 848, 5504, 856, 13696, 864, 3456,
872, 11648, 880, 7552, 888, 15744, 904, 9088, 912, 4992, 920, 13184, 928,
2944, 936, 11136, 944, 7040, 952, 15232, 960, 1920, 968, 10112, 976, 6016,
984, 14208, 992, 3968, 1000, 12160, 1008, 8064, 1016, 16256, 1032, 8256, 1040,
4160, 1048, 12352, 1056, 2112, 1064, 10304, 1072, 6208, 1080, 14400, 1096, 9280,
1104, 5184, 1112, 13376, 1120, 3136, 1128, 11328, 1136, 7232, 1144, 15424, 1160,
8768, 1168, 4672, 1176, 12864, 1184, 2624, 1192, 10816, 1200, 6720, 1208, 14912,
1216, 1600, 1224, 9792, 1232, 5696, 1240, 13888, 1248, 3648, 1256, 11840, 1264,
7744, 1272, 15936, 1288, 8512, 1296, 4416, 1304, 12608, 1312, 2368, 1320, 10560,
1328, 6464, 1336, 14656, 1352, 9536, 1360, 5440, 1368, 13632, 1376, 3392, 1384,
11584, 1392, 7488, 1400, 15680, 1416, 9024, 1424, 4928, 1432, 13120, 1440, 2880,
1448, 11072, 1456, 6976, 1464, 15168, 1472, 1856, 1480, 10048, 1488, 5952, 1496,
14144, 1504, 3904, 1512, 12096, 1520, 8000, 1528, 16192, 1544, 8384, 1552, 4288,
1560, 12480, 1568, 2240, 1576, 10432, 1584, 6336, 1592, 14528, 1608, 9408, 1616,
5312, 1624, 13504, 1632, 3264, 1640, 11456, 1648, 7360, 1656, 15552, 1672, 8896,
1680, 4800, 1688, 12992, 1696, 2752, 1704, 10944, 1712, 6848, 1720, 15040, 1736,
9920, 1744, 5824, 1752, 14016, 1760, 3776, 1768, 11968, 1776, 7872, 1784, 16064,
1800, 8640, 1808, 4544, 1816, 12736, 1824, 2496, 1832, 10688, 1840, 6592, 1848,
14784, 1864, 9664, 1872, 5568, 1880, 13760, 1888, 3520, 1896, 11712, 1904, 7616,
1912, 15808, 1928, 9152, 1936, 5056, 1944, 13248, 1952, 3008, 1960, 11200, 1968,
7104, 1976, 15296, 1992, 10176, 2000, 6080, 2008, 14272, 2016, 4032, 2024, 12224,
2032, 8128, 2040, 16320, 2056, 8224, 2064, 4128, 2072, 12320, 2088, 10272, 2096,
6176, 2104, 14368, 2120, 9248, 2128, 5152, 2136, 13344, 2144, 3104, 2152, 11296,
2160, 7200, 2168, 15392, 2184, 8736, 2192, 4640, 2200, 12832, 2208, 2592, 2216,
10784, 2224, 6688, 2232, 14880, 2248, 9760, 2256, 5664, 2264, 13856, 2272, 3616,
2280, 11808, 2288, 7712, 2296, 15904, 2312, 8480, 2320, 4384, 2328, 12576, 2344,
10528, 2352, 6432, 2360, 14624, 2376, 9504, 2384, 5408, 2392, 13600, 2400, 3360,
2408, 11552, 2416, 7456, 2424, 15648, 2440, 8992, 2448, 4896, 2456, 13088, 2464,
2848, 2472, 11040, 2480, 6944, 2488, 15136, 2504, 10016, 2512, 5920, 2520, 14112,
2528, 3872, 2536, 12064, 2544, 7968, 2552, 16160, 2568, 8352, 2576, 4256, 2584,
12448, 2600, 10400, 2608, 6304, 2616, 14496, 2632, 9376, 2640, 5280, 2648, 13472,
2656, 3232, 2664, 11424, 2672, 7328, 2680, 15520, 2696, 8864, 2704, 4768, 2712,
12960, 2728, 10912, 2736, 6816, 2744, 15008, 2760, 9888, 2768, 5792, 2776, 13984,
2784, 3744, 2792, 11936, 2800, 7840, 2808, 16032, 2824, 8608, 2832, 4512, 2840,
12704, 2856, 10656, 2864, 6560, 2872, 14752, 2888, 9632, 2896, 5536, 2904, 13728,
2912, 3488, 2920, 11680, 2928, 7584, 2936, 15776, 2952, 9120, 2960, 5024, 2968,
13216, 2984, 11168, 2992, 7072, 3000, 15264, 3016, 10144, 3024, 6048, 3032, 14240,
3040, 4000, 3048, 12192, 3056, 8096, 3064, 16288, 3080, 8288, 3088, 4192, 3096,
12384, 3112, 10336, 3120, 6240, 3128, 14432, 3144, 9312, 3152, 5216, 3160, 13408,
3176, 11360, 3184, 7264, 3192, 15456, 3208, 8800, 3216, 4704, 3224, 12896, 3240,
10848, 3248, 6752, 3256, 14944, 3272, 9824, 3280, 5728, 3288, 13920, 3296, 3680,
3304, 11872, 3312, 7776, 3320, 15968, 3336, 8544, 3344, 4448, 3352, 12640, 3368,
10592, 3376, 6496, 3384, 14688, 3400, 9568, 3408, 5472, 3416, 13664, 3432, 11616,
3440, 7520, 3448, 15712, 3464, 9056, 3472, 4960, 3480, 13152, 3496, 11104, 3504,
7008, 3512, 15200, 3528, 10080, 3536, 5984, 3544, 14176, 3552, 3936, 3560, 12128,
3568, 8032, 3576, 16224, 3592, 8416, 3600, 4320, 3608, 12512, 3624, 10464, 3632,
6368, 3640, 14560, 3656, 9440, 3664, 5344, 3672, 13536, 3688, 11488, 3696, 7392,
3704, 15584, 3720, 8928, 3728, 4832, 3736, 13024, 3752, 10976, 3760, 6880, 3768,
15072, 3784, 9952, 3792, 5856, 3800, 14048, 3816, 12000, 3824, 7904, 3832, 16096,
3848, 8672, 3856, 4576, 3864, 12768, 3880, 10720, 3888, 6624, 3896, 14816, 3912,
9696, 3920, 5600, 3928, 13792, 3944, 11744, 3952, 7648, 3960, 15840, 3976, 9184,
3984, 5088, 3992, 13280, 4008, 11232, 4016, 7136, 4024, 15328, 4040, 10208, 4048,
6112, 4056, 14304, 4072, 12256, 4080, 8160, 4088, 16352, 4104, 8208, 4120, 12304,
4136, 10256, 4144, 6160, 4152, 14352, 4168, 9232, 4176, 5136, 4184, 13328, 4200,
11280, 4208, 7184, 4216, 15376, 4232, 8720, 4240, 4624, 4248, 12816, 4264, 10768,
4272, 6672, 4280, 14864, 4296, 9744, 4304, 5648, 4312, 13840, 4328, 11792, 4336,
7696, 4344, 15888, 4360, 8464, 4376, 12560, 4392, 10512, 4400, 6416, 4408, 14608,
4424, 9488, 4432, 5392, 4440, 13584, 4456, 11536, 4464, 7440, 4472, 15632, 4488,
8976, 4496, 4880, 4504, 13072, 4520, 11024, 4528, 6928, 4536, 15120, 4552, 10000,
4560, 5904, 4568, 14096, 4584, 12048, 4592, 7952, 4600, 16144, 4616, 8336, 4632,
12432, 4648, 10384, 4656, 6288, 4664, 14480, 4680, 9360, 4688, 5264, 4696, 13456,
4712, 11408, 4720, 7312, 4728, 15504, 4744, 8848, 4760, 12944, 4776, 10896, 4784,
6800, 4792, 14992, 4808, 9872, 4816, 5776, 4824, 13968, 4840, 11920, 4848, 7824,
4856, 16016, 4872, 8592, 4888, 12688, 4904, 10640, 4912, 6544, 4920, 14736, 4936,
9616, 4944, 5520, 4952, 13712, 4968, 11664, 4976, 7568, 4984, 15760, 5000, 9104,
5016, 13200, 5032, 11152, 5040, 7056, 5048, 15248, 5064, 10128, 5072, 6032, 5080,
14224, 5096, 12176, 5104, 8080, 5112, 16272, 5128, 8272, 5144, 12368, 5160, 10320,
5168, 6224, 5176, 14416, 5192, 9296, 5208, 13392, 5224, 11344, 5232, 7248, 5240,
15440, 5256, 8784, 5272, 12880, 5288, 10832, 5296, 6736, 5304, 14928, 5320, 9808,
5328, 5712, 5336, 13904, 5352, 11856, 5360, 7760, 5368, 15952, 5384, 8528, 5400,
12624, 5416, 10576, 5424, 6480, 5432, 14672, 5448, 9552, 5464, 13648, 5480, 11600,
5488, 7504, 5496, 15696, 5512, 9040, 5528, 13136, 5544, 11088, 5552, 6992, 5560,
15184, 5576, 10064, 5584, 5968, 5592, 14160, 5608, 12112, 5616, 8016, 5624, 16208,
5640, 8400, 5656, 12496, 5672, 10448, 5680, 6352, 5688, 14544, 5704, 9424, 5720,
13520, 5736, 11472, 5744, 7376, 5752, 15568, 5768, 8912, 5784, 13008, 5800, 10960,
5808, 6864, 5816, 15056, 5832, 9936, 5848, 14032, 5864, 11984, 5872, 7888, 5880,
16080, 5896, 8656, 5912, 12752, 5928, 10704, 5936, 6608, 5944, 14800, 5960, 9680,
5976, 13776, 5992, 11728, 6000, 7632, 6008, 15824, 6024, 9168, 6040, 13264, 6056,
11216, 6064, 7120, 6072, 15312, 6088, 10192, 6104, 14288, 6120, 12240, 6128, 8144,
6136, 16336, 6152, 8240, 6168, 12336, 6184, 10288, 6200, 14384, 6216, 9264, 6232,
13360, 6248, 11312, 6256, 7216, 6264, 15408, 6280, 8752, 6296, 12848, 6312, 10800,
6320, 6704, 6328, 14896, 6344, 9776, 6360, 13872, 6376, 11824, 6384, 7728, 6392,
15920, 6408, 8496, 6424, 12592, 6440, 10544, 6456, 14640, 6472, 9520, 6488, 13616,
6504, 11568, 6512, 7472, 6520, 15664, 6536, 9008, 6552, 13104, 6568, 11056, 6576,
6960, 6584, 15152, 6600, 10032, 6616, 14128, 6632, 12080, 6640, 7984, 6648, 16176,
6664, 8368, 6680, 12464, 6696, 10416, 6712, 14512, 6728, 9392, 6744, 13488, 6760,
11440, 6768, 7344, 6776, 15536, 6792, 8880, 6808, 12976, 6824, 10928, 6840, 15024,
6856, 9904, 6872, 14000, 6888, 11952, 6896, 7856, 6904, 16048, 6920, 8624, 6936,
12720, 6952, 10672, 6968, 14768, 6984, 9648, 7000, 13744, 7016, 11696, 7024, 7600,
7032, 15792, 7048, 9136, 7064, 13232, 7080, 11184, 7096, 15280, 7112, 10160, 7128,
14256, 7144, 12208, 7152, 8112, 7160, 16304, 7176, 8304, 7192, 12400, 7208, 10352,
7224, 14448, 7240, 9328, 7256, 13424, 7272, 11376, 7288, 15472, 7304, 8816, 7320,
12912, 7336, 10864, 7352, 14960, 7368, 9840, 7384, 13936, 7400, 11888, 7408, 7792,
7416, 15984, 7432, 8560, 7448, 12656, 7464, 10608, 7480, 14704, 7496, 9584, 7512,
13680, 7528, 11632, 7544, 15728, 7560, 9072, 7576, 13168, 7592, 11120, 7608, 15216,
7624, 10096, 7640, 14192, 7656, 12144, 7664, 8048, 7672, 16240, 7688, 8432, 7704,
12528, 7720, 10480, 7736, 14576, 7752, 9456, 7768, 13552, 7784, 11504, 7800, 15600,
7816, 8944, 7832, 13040, 7848, 10992, 7864, 15088, 7880, 9968, 7896, 14064, 7912,
12016, 7928, 16112, 7944, 8688, 7960, 12784, 7976, 10736, 7992, 14832, 8008, 9712,
8024, 13808, 8040, 11760, 8056, 15856, 8072, 9200, 8088, 13296, 8104, 11248, 8120,
15344, 8136, 10224, 8152, 14320, 8168, 12272, 8184, 16368, 8216, 12296, 8232, 10248,
8248, 14344, 8264, 9224, 8280, 13320, 8296, 11272, 8312, 15368, 8328, 8712, 8344,
12808, 8360, 10760, 8376, 14856, 8392, 9736, 8408, 13832, 8424, 11784, 8440, 15880,
8472, 12552, 8488, 10504, 8504, 14600, 8520, 9480, 8536, 13576, 8552, 11528, 8568,
15624, 8584, 8968, 8600, 13064, 8616, 11016, 8632, 15112, 8648, 9992, 8664, 14088,
8680, 12040, 8696, 16136, 8728, 12424, 8744, 10376, 8760, 14472, 8776, 9352, 8792,
13448, 8808, 11400, 8824, 15496, 8856, 12936, 8872, 10888, 8888, 14984, 8904, 9864,
8920, 13960, 8936, 11912, 8952, 16008, 8984, 12680, 9000, 10632, 9016, 14728, 9032,
9608, 9048, 13704, 9064, 11656, 9080, 15752, 9112, 13192, 9128, 11144, 9144, 15240,
9160, 10120, 9176, 14216, 9192, 12168, 9208, 16264, 9240, 12360, 9256, 10312, 9272,
14408, 9304, 13384, 9320, 11336, 9336, 15432, 9368, 12872, 9384, 10824, 9400, 14920,
9416, 9800, 9432, 13896, 9448, 11848, 9464, 15944, 9496, 12616, 9512, 10568, 9528,
14664, 9560, 13640, 9576, 11592, 9592, 15688, 9624, 13128, 9640, 11080, 9656, 15176,
9672, 10056, 9688, 14152, 9704, 12104, 9720, 16200, 9752, 12488, 9768, 10440, 9784,
14536, 9816, 13512, 9832, 11464, 9848, 15560, 9880, 13000, 9896, 10952, 9912, 15048,
9944, 14024, 9960, 11976, 9976, 16072, 10008, 12744, 10024, 10696, 10040, 14792, 10072,
13768, 10088, 11720, 10104, 15816, 10136, 13256, 10152, 11208, 10168, 15304, 10200, 14280,
10216, 12232, 10232, 16328, 10264, 12328, 10296, 14376, 10328, 13352, 10344, 11304, 10360,
15400, 10392, 12840, 10408, 10792, 10424, 14888, 10456, 13864, 10472, 11816, 10488, 15912,
10520, 12584, 10552, 14632, 10584, 13608, 10600, 11560, 10616, 15656, 10648, 13096, 10664,
11048, 10680, 15144, 10712, 14120, 10728, 12072, 10744, 16168, 10776, 12456, 10808, 14504,
10840, 13480, 10856, 11432, 10872, 15528, 10904, 12968, 10936, 15016, 10968, 13992, 10984,
11944, 11000, 16040, 11032, 12712, 11064, 14760, 11096, 13736, 11112, 11688, 11128, 15784,
11160, 13224, 11192, 15272, 11224, 14248, 11240, 12200, 11256, 16296, 11288, 12392, 11320,
14440, 11352, 13416, 11384, 15464, 11416, 12904, 11448, 14952, 11480, 13928, 11496, 11880,
11512, 15976, 11544, 12648, 11576, 14696, 11608, 13672, 11640, 15720, 11672, 13160, 11704,
15208, 11736, 14184, 11752, 12136, 11768, 16232, 11800, 12520, 11832, 14568, 11864, 13544,
11896, 15592, 11928, 13032, 11960, 15080, 11992, 14056, 12024, 16104, 12056, 12776, 12088,
14824, 12120, 13800, 12152, 15848, 12184, 13288, 12216, 15336, 12248, 14312, 12280, 16360,
12344, 14360, 12376, 13336, 12408, 15384, 12440, 12824, 12472, 14872, 12504, 13848, 12536,
15896, 12600, 14616, 12632, 13592, 12664, 15640, 12696, 13080, 12728, 15128, 12760, 14104,
12792, 16152, 12856, 14488, 12888, 13464, 12920, 15512, 12984, 15000, 13016, 13976, 13048,
16024, 13112, 14744, 13144, 13720, 13176, 15768, 13240, 15256, 13272, 14232, 13304, 16280,
13368, 14424, 13432, 15448, 13496, 14936, 13528, 13912, 13560, 15960, 13624, 14680, 13688,
15704, 13752, 15192, 13784, 14168, 13816, 16216, 13880, 14552, 13944, 15576, 14008, 15064,
14072, 16088, 14136, 14808, 14200, 15832, 14264, 15320, 14328, 16344, 14456, 15416, 14520,
14904, 14584, 15928, 14712, 15672, 14776, 15160, 14840, 16184, 14968, 15544, 15096, 16056,
15224, 15800, 15352, 16312, 15608, 15992, 15864, 16248
}
1.12.0