n = 500; d = 80; k = 1089; X = [3,5,9,20,27,42,50,53,62,70,72,77,80,83,92,100,104,106,108,109,112,115,121,126,130,140,143,160,161,171,173,174,176,180,181,185,187,188,189,194,204,213,215,218,219,222,223,224,229,235,244,247,249,254,258,265,268,272,274,276,278,290,292,296,297,303,309,315,326,328,332,340,348,351,352,360,363,367,371,374,378,391,403,405,407,409,421,437,440,441,445,447,454,456,461,466,468,470,472,490,499,504,506,513,514,515,523,524,528,532,559,560,562,571,577,581,583,588,591,610,612,614,624,625,626,633,634,638,648,657,664,667,669,673,675,677,687,689,694,696,700,702,706,715,718,728,736,749,760,764,765,766,772,775,779,780,782,783,785,793,802,805,807,810,819,826,834,837,843,855,857,859,865,869,874,875,879,882,888,894,896,903,909,919,920,922,927,934,940,945,951,954,957,961,964,966,974,976,978,987,993,1001,1004,1009,1011,1015,1019,1026,1031,1039,1044,1046,1058,1060,1063,1071,1075,1079,1081,1085,1097,1101,1110,1112,1119,1120,1122,1124,1126,1135,1141,1151,1153,1154,1158,1160,1162,1164,1165,1180,1184,1188,1191,1194,1201,1203,1205,1207,1208,1215,1217,1220,1230,1231,1233,1252,1254,1257,1258,1263,1266,1270,1277,1279,1280,1285,1293,1304,1310,1317,1319,1322,1327,1336,1338,1339,1344,1351,1355,1359,1362,1364,1367,1372,1376,1394,1402,1411,1413,1415,1429,1436,1439,1440,1447,1451,1456,1463,1465,1469,1470,1472,1475,1476,1478,1480,1493,1500,1507,1511,1513,1519,1520,1524,1526,1531,1547,1561,1563,1565,1575,1579,1581,1588,1591,1593,1595,1602,1608,1609,1611,1616,1622,1631,1633,1641,1644,1645,1648,1660,1661,1664,1667,1674,1676,1678,1680,1689,1693,1698,1701,1704,1708,1711,1714,1716,1718,1719,1721,1725,1728,1735,1737,1738,1748,1749,1757,1759,1761,1763,1768,1771,1774,1778,1784,1789,1793,1795,1797,1799,1820,1822,1833,1835,1838,1841,1864,1868,1869,1876,1880,1881,1884,1888,1890,1892,1894,1901,1920,1921,1930,1934,1940,1949,1959,1974,1976,1979,1982,1986,1991,2004,2007,2008,2015,2022,2025,2030,2031,2036,2039,2041,2043,2044,2053,2056,2069,2078,2081,2084,2085,2089,2091,2095,2100,2102,2108,2116,2118,2120,2128,2129,2134,2139,2141,2150,2158,2166,2168,2172,2193,2200,2208,2214,2224,2228,2231,2232,2233,2238,2254,2276,2278,2283,2287,2299,2303,2312,2323,2324,2330,2340,2345,2347,2349,2358,2363,2366,2375,2377,2382,2390,2402,2404,2407,2423,2424,2434,2441,2447,2462,2467,2471,2475,2477,2480,2484,2488,2491,2498] S = [-5,6,-13,-13,-11,-12,-3,5,-3,-7,2,-9,-3,2,-4,1,-10,-8,-7,-11,-5,-8,-12,-8,-3,11,-10,-5,-8,-10,8,0,0,-13,-10,-4,-10,-8,2,0,-7,-11,-5,11,-9,-12,-1,-5,2,0,4,8,9,11,8,-2,-13,-1,-5,7,-1,6,-6,-3,5,-10,-3,-7,-10,3,-13,-5,-10,1,0,-5,6,0,4,-3,-9,-1,-1,9,7,-6,8,0,10,1,7,5,-5,0,6,-6,10,-4,1,9,-6,10,4,2,-8,-2,7,11,-7,-7,-11,6,11,8,1,9,1,2,8,-12,4,4,4,-11,0,-11,11,-10,10,7,4,8,-13,2,-1,1,-7,-4,-10,0,1,-8,-13,-1,-11,1,4,3,9,-10,2,10,6,-2,2,6,8,5,-2,-4,7,-2,2,7,2,0,0,-8,-4,-2,3,-11,2,-11,-9,-6,3,-5,-12,-7,3,6,-5,-3,-10,11,-2,5,3,-2,-4,-13,-2,-12,-2,-11,8,-3,-1,3,-11,-9,4,-10,-7,-10,-11,-3,-13,-7,-4,0,9,6,6,-3,10,0,8,-11,-7,-7,0,11,5,-12,-12,-12,-8,-12,4,3,0,-8,-10,-6,-4,-9,-6,1,10,9,-12,2,9,-9,11,-1,-5,1,1,-6,3,0,-11,9,10,-6,-7,-11,1,0,5,-10,-10,-2,-6,-9,-10,-8,7,-6,7,10,-3,9,3,0,-3,11,-1,10,3,-5,-3,-9,10,11,-9,5,-12,5,5,-10,-9,-11,11,5,5,2,4,-9,-11,1,-2,-11,-2,-12,8,0,-12,-2,0,-13,9,-6,6,9,4,3,-12,11,-7,5,5,-12,6,11,11,-2,-8,-9,-12,-1,8,-4,9,3,6,-11,8,-4,7,11,-13,-6,9,11,-6,2,-2,2,1,9,8,-6,-3,5,-11,-13,6,0,-5,10,-6,-7,-2,6,6,-11,8,0,-7,6,-7,-3,11,-4,4,-8,4,4,3,6,3,6,-5,9,0,6,10,-8,6,-13,-1,-5,-11,10,-4,7,-5,2,8,-10,-13,-9,-13,1,0,2,-3,-10,-12,5,6,3,-6,0,9,-6,-2,-1,-5,11,6,-5,0,-10,-9,-9,-3,10,-13,-9,8,-11,-8,-2,-6,2,-2,-9,-12,-11,-9,-4,-13,3,3,11,7,-6,-4,-4,-2,-3,-2,9,5,10,-7,-10,-6,-7,-2,-7,7,6,3,-13,5,11,-10,1,11,-5,-1,3,-7,11,-6,0,-6,1,-13,-9,3,-3,7,9,-13,1,-3,4,-9,-6,-2,-8,10,-6]