n = 500;
d = 80;
k = 112;
X = [2,18,21,23,30,36,38,44,45,54,62,69,76,84,92,96,99,104,110,115,116,125,128,132,134,139,145,148,150,157,162,169,188,196,202,203,206,208,210,212,213,216,217,233,237,244,251,256,268,270,275,279,285,287,291,292,295,298,303,305,307,318,320,322,325,329,332,335,343,350,362,363,371,372,378,382,387,408,412,416,420,424,428,431,433,435,439,447,448,450,452,454,458,465,479,499,501,504,506,508,511,512,521,524,531,532,539,544,547,550,554,556,558,559,574,584,585,589,590,594,600,602,611,612,616,622,625,629,633,636,639,647,651,657,660,670,675,677,679,695,700,701,707,709,711,712,720,726,734,742,748,754,758,761,763,764,773,777,780,792,797,798,806,807,809,810,813,815,817,824,828,836,839,842,847,860,868,869,870,872,878,882,884,897,909,921,924,930,932,938,944,946,947,951,952,964,979,980,985,987,989,992,993,1001,1004,1010,1013,1016,1018,1020,1022,1025,1029,1036,1039,1041,1047,1048,1055,1058,1072,1075,1083,1086,1090,1094,1106,1113,1115,1122,1126,1128,1135,1137,1154,1160,1177,1178,1184,1185,1186,1193,1209,1211,1213,1215,1219,1222,1226,1227,1228,1233,1242,1245,1250,1263,1272,1275,1276,1277,1279,1282,1291,1297,1298,1303,1305,1320,1335,1337,1350,1374,1390,1396,1402,1424,1426,1433,1434,1442,1445,1446,1451,1453,1457,1461,1463,1465,1467,1469,1473,1488,1493,1495,1496,1497,1506,1511,1514,1521,1523,1524,1528,1532,1534,1540,1555,1558,1569,1579,1583,1586,1591,1594,1595,1598,1599,1604,1606,1609,1615,1626,1630,1637,1638,1641,1646,1647,1650,1659,1662,1668,1671,1676,1686,1687,1688,1692,1698,1700,1704,1707,1713,1716,1718,1721,1722,1725,1731,1734,1736,1744,1746,1748,1751,1756,1762,1765,1767,1771,1772,1781,1784,1789,1795,1800,1801,1805,1808,1812,1814,1818,1821,1822,1833,1838,1840,1845,1847,1848,1852,1861,1868,1869,1878,1882,1883,1888,1890,1902,1906,1908,1911,1916,1919,1921,1924,1931,1932,1935,1938,1941,1946,1948,1954,1957,1974,1976,1977,1978,1983,1984,1991,1998,2008,2019,2034,2036,2038,2046,2049,2055,2063,2065,2085,2088,2099,2104,2109,2118,2120,2128,2134,2142,2150,2152,2154,2158,2163,2165,2185,2187,2188,2190,2191,2196,2210,2213,2223,2226,2227,2240,2242,2248,2253,2255,2268,2269,2275,2277,2280,2284,2286,2291,2299,2300,2305,2314,2320,2321,2323,2329,2334,2341,2350,2353,2355,2359,2360,2364,2394,2395,2401,2407,2413,2415,2424,2437,2441,2442,2443,2445,2451,2463,2467,2478,2488,2491,2494,2496]
S = [6,-12,2,-2,-7,-7,-7,1,-2,-12,5,9,9,10,6,0,-7,-4,-10,-7,-7,4,-1,6,-2,2,9,-6,10,-5,-1,5,3,-13,0,3,6,-11,2,-12,-1,-5,-11,-10,10,-10,3,-6,-8,-9,-4,4,-5,-11,0,-9,-2,-8,-13,10,10,-3,-10,11,4,-8,11,10,-2,-11,0,-9,-12,-10,7,11,3,-7,-10,-9,-5,8,-9,-1,10,-12,-8,6,0,-5,-2,-6,11,5,-9,1,5,-11,-12,0,-12,3,6,-5,-8,-13,4,-1,2,-8,-2,-3,1,-10,11,0,7,-4,-2,1,10,6,-9,4,-6,4,-10,7,7,-11,2,6,-2,-7,-11,-8,-7,-7,-11,7,10,3,-12,9,-10,7,-7,0,-11,8,3,-3,-3,-3,-7,-8,-6,7,-12,6,5,11,0,-12,-6,-3,8,-12,3,-1,-10,3,9,8,-10,-1,1,-12,-3,6,-6,-13,1,-12,-10,6,3,1,-4,-5,2,3,3,-13,-10,0,-7,-5,10,8,7,11,0,-4,-6,-13,9,-4,-5,3,-4,3,-10,11,1,-5,-1,-13,-3,-1,8,3,-2,-5,-9,-13,1,6,-7,10,10,-6,7,-1,9,0,-6,9,10,-3,8,8,7,8,0,-9,2,2,1,10,-4,5,-4,11,1,-7,-11,-11,-11,-4,-1,-1,3,-3,9,-11,3,7,1,-6,0,-12,-7,-8,-9,0,-10,-9,-12,-6,9,-9,1,6,-2,-8,-11,-2,5,-12,-12,-13,-10,-12,4,-12,10,-8,0,11,-9,-7,-1,6,2,6,11,-3,7,-13,4,-8,7,-1,-8,-8,-2,2,2,11,3,-7,8,-8,-2,5,0,-1,4,6,-1,6,-13,9,-7,3,-10,4,-11,-5,-3,0,-3,-12,4,6,7,6,3,4,-5,-10,-9,7,-9,-7,2,5,11,1,7,7,8,4,-8,-3,-10,-7,1,-13,4,-4,-13,3,-13,8,-3,-4,9,5,-12,10,5,-13,-4,10,-13,5,10,-8,-13,10,-7,3,0,6,11,-9,-12,-1,0,8,7,-3,-8,-7,5,7,11,5,-10,5,-10,-2,-5,-11,9,1,4,-10,5,-9,-11,2,-7,-13,11,-9,-12,-8,-11,4,10,-7,5,8,2,7,8,-10,5,3,2,-5,-11,-9,-9,3,-13,0,10,-6,-2,-4,9,11,-1,-5,2,-13,-7,-8,0,-1,7,0,2,-2,-8,1,2,6,7,7,-2,10,-2,-6,5,1,2,-9,5,10,8,0,-7,11,-6,-10,1,-3,0,2,8,-9,4,3,-5,-3]