package main

import (
	"bufio"
	"fmt"
	"io"
	"math"
	"os"
	"strconv"
	"strings"

)


func main() {
	solve(os.Stdin, os.Stdout)
}

type ReaderEx struct {
	baseScanner *bufio.Scanner
	words       []string
	nextWordIdx func() int
	initWordIdx func(int)
}

func NewScannerEx(stdin io.Reader) *ReaderEx {
	var this ReaderEx
	var idx int
	var wordsCnt int
	this.baseScanner = bufio.NewScanner(stdin)
	this.baseScanner.Buffer(make([]byte, 0), 1E+11)
	this.nextWordIdx = func() int {
		cur := idx
		idx = (idx + 1) % wordsCnt
		return cur
	}
	this.initWordIdx = func(wc int) {
		idx = 0
		wordsCnt = wc
	}
	return &this
}

func (me *ReaderEx) Scan(doSplit bool) (isScanned bool) {
	isScanned = me.baseScanner.Scan()
	if doSplit {
		me.words = strings.Fields(me.baseScanner.Text())
	} else {
		me.words = []string{me.baseScanner.Text()}
	}
	me.initWordIdx(len(me.words))
	return
}

func (me *ReaderEx) nextBytes() []byte {
	return []byte(me.words[me.nextWordIdx()])
}
func (me *ReaderEx) nextString() string {
	return me.words[me.nextWordIdx()]
}

type StringArray []string

func (me *ReaderEx) nextStringArray() StringArray {
	return me.words[me.nextWordIdx():]
}

func (me StringArray) toStrings() []string {
	return me
}

func (me StringArray) toInts() []int {
	strValues := me.toStrings()
	values := make([]int, len(strValues))
	for i, v := range strValues {
		n, err := strconv.Atoi(v)
		if err != nil {
			panic(err)
		}
		values[i] = n
	}
	return values
}
func (me *ReaderEx) nextInt() int {
	n, err := strconv.Atoi(me.words[me.nextWordIdx()])

	defer func() {
		if err != nil {
			panic(fmt.Sprintf("getInt(%d)", n))
		}
	}()
	return n
}

func pow(x, y, mod int) (ans int) {

	ans = 1
	for bit := 1 << uint(math.Floor(math.Log2(float64(y)))); ; bit >>= 1 {
		if y&bit != 0 {
			ans *= x
			if mod > 0 {
				ans %= mod
			}
		}
		if bit <= 1 {
			return
		}
		ans *= ans
		if mod > 0 {
			ans %= mod
		}
	}
}

type factType struct {
	prime int
	count int
}

func fact(n int) (facts []*factType) {

	for i := 2; i*i <= n; i++ {
		if n%i == 0 {
			fa := factType{prime: i}
			for n%fa.prime == 0 {
				n /= fa.prime
				fa.count++
			}
			facts = append(facts, &fa)
		}
	}
	if n > 1 {
		facts = append(facts, &factType{prime: n, count: 1})
	}
	return facts
}
func dec2bin(n int) (ret []bool) {
	for bit := 1 << uint(math.Floor(math.Log2(float64(n)))); ; bit >>= 1 {
		ret = append(ret, n&bit != 0)

		if bit <= 1 {
			return
		}
	}

}

func abs(v int) int {
	if v < 0 {
		v = -v
	}
	return v
}

func b2i(b bool) (i int) {
	if b {
		i = 1
	} else {
		i = 0
	}
	return
}

//RBNodeDir is
type RBNodeDir int

const (

	//RBNodeLeft 左方向
	RBNodeLeft RBNodeDir = iota

	//RBNodeRight 右方向
	RBNodeRight

	//RBNodeHere ここ
	RBNodeHere
)

//RBNode is
type RBNode struct {
	isRed    bool
	index    int
	parent   *RBNode
	children [2]*RBNode
}

//RBCursor is
type RBCursor struct {
	node *RBNode
	less func(i int, j int) bool
}

func (cur *RBCursor) clone() *RBCursor {
	wrk := *cur
	return &wrk
}

func (cur *RBCursor) root() *RBCursor {

	if cur.node != nil {
		for ; cur.node.parent != nil; cur.node = cur.node.parent {

		}
	}
	return cur
}

func (cur *RBCursor) move(dir RBNodeDir) *RBCursor {
	if cur.node == nil {
		return cur
	}
	rev := dir ^ 1
	if next := cur.node.children[dir]; next != nil {
		for next.children[rev] != nil {
			next = next.children[rev]
		}
		cur.node = next
	} else {
		find := false
		for cur.node.parent != nil {
			now := cur.node
			cur.node = cur.node.parent
			if cur.node.children[rev] == now {
				find = true
				break
			}
		}
		if !find {
			cur.node = nil
		}
	}
	return cur
}
func (cur *RBCursor) find(index int) (*RBCursor, RBNodeDir) {
	cur.root()
	dir := RBNodeHere
	for {
		if cur.less(index, cur.node.index) {
			dir = RBNodeLeft
			next := cur.node.children[dir]
			if next == nil {
				break
			}
			cur.node = next

		} else if cur.less(cur.node.index, index) {
			dir = RBNodeRight
			next := cur.node.children[dir]
			if next == nil {
				break
			}
			cur.node = next
		} else {
			dir = RBNodeHere
			break
		}
	}
	return cur, dir
}

func (cur *RBCursor) add(index int) *RBCursor {
	newNode := &RBNode{index: index, isRed: true}
	cur.root()
	if cur.node != nil {
		pnode, dir := cur.find(newNode.index)
		if dir != RBNodeHere {
			newNode.parent = pnode.node
			newNode.parent.children[dir] = newNode

			wrk := cur.clone()
			wrk.node = newNode
			wrk.opt()
		} else {
			pnode.node.index = newNode.index
			newNode = pnode.node
		}
	}
	cur.node = newNode
	return cur
}

func (node *RBNode) sibiling(child *RBNode) *RBNode {
	dir := RBNodeLeft
	if node.children[RBNodeLeft] == child {
		dir = RBNodeRight
	}
	return node.children[dir]
}

func (node *RBNode) flip(dir RBNodeDir) {
	curGranPa := node.parent
	newParent := node.children[dir]
	newParent.parent, node.parent = node.parent, newParent

	node.children[dir] = newParent.children[dir^1]
	if node.children[dir] != nil {
		node.children[dir].parent = node
	}
	newParent.children[dir^1] = node

	if curGranPa != nil {
		dir = RBNodeLeft
		if curGranPa.children[dir] != node {
			dir ^= 1
		}
		curGranPa.children[dir] = newParent
	}

}
func (cur *RBCursor) opt() {
	node := cur.node
	for node != nil && node.isRed {
		parent := node.parent
		if parent == nil {
			break
		} else if !parent.isRed {
			break
		} else if parent.parent == nil {
			parent.isRed = false
		} else {
			grandparent := parent.parent
			parentsibiling := grandparent.sibiling(parent)
			if parentsibiling != nil && parentsibiling.isRed {
				grandparent.isRed = true
				parent.isRed = false
				parentsibiling.isRed = false
				node = grandparent
			} else {
				dir := RBNodeLeft
				if grandparent.children[dir] != parent {
					dir ^= 1
				}

				if parent.children[dir] != node {
					parent.flip(dir ^ 1)
				}

				grandparent.flip(dir)
				grandparent.parent.isRed = false
				grandparent.isRed = true
				break
			}
		}
	}
}

func (cur *RBCursor) end(dir RBNodeDir) *RBCursor {
	cur.root()
	if cur.node != nil {
		for ; cur.node.children[dir] != nil; cur.node = cur.node.children[dir] {

		}
	}
	return cur
}

func solve(stdin io.Reader, stdout io.Writer) {

	r := NewScannerEx(stdin)
	r.Scan(true)
	n, m := r.nextInt(), r.nextInt()
	r.Scan(true)
	a := r.nextStringArray().toInts()

	type line struct {
		value int
		calc  float64
		idx   int
		cnt   int
	}

	al := func(src []int) (dst []*line) {
		dst = make([]*line, 0, len(src))
		for i := range src {
			value := &src[i]
			dst = append(dst, &line{idx: i, value: *value, calc: float64(*value)})
		}
		return
	}(a)

	tree := RBCursor{less: func(i1, i2 int) bool {
		switch {
		case al[i1].calc != al[i2].calc:
			return al[i1].calc > al[i2].calc
		default:
			return al[i1].idx > al[i2].idx
		}
	}}
	for i := 0; i < n; i++ {
		tree.add(i)
	}

	tree.root()
	cur := tree.clone().end(RBNodeLeft)
	for i := 0; cur.node != nil && i < m; i++ {
		v := al[cur.node.index]
		newV := line{idx: len(al), cnt: v.cnt + 1, value: v.value, calc: v.calc / 2}
		al = append(al, &newV)
		tree.add(len(al) - 1)
		cur.move(RBNodeRight)
	}
	ans := 0
	for cur.node != nil {
		ans += al[cur.node.index].value / pow(2, al[cur.node.index].cnt, 0)
		cur.move(RBNodeRight)
	}
	fmt.Fprintln(stdout, ans)
}


Measured memory_bytes: 21504