local mfl, mce = math.floor, math.ceil local mmi, mma = math.min, math.max local bls, brs = bit.lshift, bit.rshift local function comp(a, b) return a < b end local function lower_bound(ary, x) local num = #ary if num == 0 then return 1 end if not comp(ary[1], x) then return 1 end if comp(ary[num], x) then return num + 1 end local min, max = 1, num while 1 < max - min do local mid = mfl((min + max) / 2) if comp(ary[mid], x) then min = mid else max = mid end end return max end local SegTree = {} SegTree.clearAll = function(self) do local cnt = bls(1, self.stagenum - 1) for j = 1, cnt do self.stage[self.stagenum][j] = true end end for i = self.stagenum - 1, 1, -1 do local cnt = bls(1, i - 1) for j = 1, cnt do self.stage[i][j] = self.func(self.stage[i + 1][j * 2 - 1], self.stage[i + 1][j * 2]) end end end SegTree.create = function(self, n, func, emptyvalue) self.func, self.emptyvalue = func, emptyvalue local stagenum, mul = 1, 1 self.stage = {{}} while mul < n do mul, stagenum = mul * 2, stagenum + 1 self.stage[stagenum] = {} end self.stagenum = stagenum -- for i = 1, mul do self.stage[stagenum][i] = emptyvalue end self:clearAll() end SegTree.getRange = function(self, left, right) if left == right then return self.stage[self.stagenum][left] end local stagenum = self.stagenum local ret = self.emptyvalue while left <= right do local stage, sz = 1, bls(1, stagenum - 1) local len = right - left + 1 while (left - 1) % sz ~= 0 or len < sz do stage, sz = stage + 1, brs(sz, 1) end ret = self.func(ret, self.stage[stage][1 + brs(left - 1, stagenum - stage)]) left = left + sz end return ret end SegTree.setValue = function(self, idx, value, silent) self.stage[self.stagenum][idx] = value if not silent then for i = self.stagenum - 1, 1, -1 do local dst = brs(idx + 1, 1) local rem = dst * 4 - 1 - idx self.stage[i][dst] = self.func(self.stage[i + 1][idx], self.stage[i + 1][rem]) idx = dst end end end SegTree.right_bound = function(self, left, right) local ret, retpos = self.emptyvalue, left - 1 local stage, l, r = 1, left, right local stagenum = self.stagenum while true do local sz = bls(1, stagenum - stage) while (l - 1) % sz ~= 0 or r + 1 - l < sz do stage = stage + 1 sz = bls(1, stagenum - stage) end local tmp = self.func(ret, self.stage[stage][mce(l / sz)]) if not tmp then ret, retpos = tmp, l + sz - 1 if retpos == right then break end if l + sz <= r then stage, l, r = 1, l + sz, r else break end else if sz ~= 1 then stage, l, r = stage + 1, l, l + sz - 2 else break end end end return retpos + 1 end SegTree.left_bound = function(self, left, right) local ret, retpos = self.emptyvalue, right + 1 local stage, l, r = 1, left, right local stagenum = self.stagenum while true do local sz = bls(1, stagenum - stage) while r % sz ~= 0 or r + 1 - l < sz do stage = stage + 1 sz = bls(1, stagenum - stage) end local tmp = self.func(ret, self.stage[stage][mfl(r / sz)]) if not tmp then ret, retpos = tmp, r - sz + 1 if l + sz <= r then stage, l, r = 1, l, r - sz else break end else if sz ~= 1 then stage, l, r = stage + 1, r - sz + 2, r else break end end end return retpos - 1 end SegTree.new = function(n, func, emptyvalue) local obj = {} setmetatable(obj, {__index = SegTree}) obj:create(n, func, emptyvalue) return obj end local n, m = io.read("*n", "*n") local a = io.read("*n") local t = {} n = n - 1 for i = 1, n do t[i] = io.read("*n") end table.sort(t) local st = SegTree.new(n, function(a, b) return a or b end, false) local function judge(x) local tgt = a + t[x] + 1 st:clearAll() st:setValue(x, false) local cnt = 0 for i = 1, m do local rightpos = st:left_bound(1, n) if rightpos <= 1 then return true end st:setValue(rightpos, false) local lbpos = lower_bound(t, tgt - t[rightpos]) if n < lbpos then return true end local leftpos = st:right_bound(lbpos, n) if n < leftpos then return true end st:setValue(leftpos, false) end return false end if not judge(n) then print(-1) elseif judge(1) then print(t[1]) else local min, max = 1, n while 1 < max - min do local mid = brs(min + max, 1) if judge(mid) then max = mid else min = mid end end print(t[max]) end