#include <stdio.h>
#include <stdlib.h>
 
//必要があれば，関数をいくつでも追加して良い
void swap(int *a, int *b){
    int tmp;
    tmp = *a;
    *a = *b;
    *b = tmp;
}
void mySort(int a[], int n){
    int i,j;
    for(i=0;i<n-1;i++){
        for(j=n-1;j>i;j--){
            if(a[j]<a[j-1])
            swap(&a[j],&a[j-1]);
        }
    }
}
int solve(){
    int ret = 0;
    int n,q,i;
    int *d;
    scanf("%d %d",&n,&q);
    d = (int*)malloc(sizeof(int)*n);
    if(d==NULL){
        printf("ERROR\n");
        return -1;
    }
    for(i=0;i<n;i++){
        scanf("%d",&d[i]);
    }
    for(i=0;i<q;i++){
        mySort(d,n);
        d[n-1] /= 2;
    }
    for(i=0;i<n;i++){
        ret += d[i];
    }
    free(d);
    return ret;
}
int main(void){
    printf("%d\n",solve());
    return 0;
}
 

I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRsaWIuaD4KCi8v5b+F6KaB44GM44GC44KM44Gw77yM6Zai5pWw44KS44GE44GP44Gk44Gn44KC6L+95Yqg44GX44Gm6Imv44GECnZvaWQgc3dhcChpbnQgKmEsIGludCAqYil7CiAgICBpbnQgdG1wOwogICAgdG1wID0gKmE7CiAgICAqYSA9ICpiOwogICAgKmIgPSB0bXA7Cn0Kdm9pZCBteVNvcnQoaW50IGFbXSwgaW50IG4pewogICAgaW50IGksajsKICAgIGZvcihpPTA7aTxuLTE7aSsrKXsKICAgICAgICBmb3Ioaj1uLTE7aj5pO2otLSl7CiAgICAgICAgICAgIGlmKGFbal08YVtqLTFdKQogICAgICAgICAgICBzd2FwKCZhW2pdLCZhW2otMV0pOwogICAgICAgIH0KICAgIH0KfQppbnQgc29sdmUoKXsKICAgIGludCByZXQgPSAwOwogICAgaW50IG4scSxpOwogICAgaW50ICpkOwogICAgc2NhbmYoIiVkICVkIiwmbiwmcSk7CiAgICBkID0gKGludCopbWFsbG9jKHNpemVvZihpbnQpKm4pOwogICAgaWYoZD09TlVMTCl7CiAgICAgICAgcHJpbnRmKCJFUlJPUlxuIik7CiAgICAgICAgcmV0dXJuIC0xOwogICAgfQogICAgZm9yKGk9MDtpPG47aSsrKXsKICAgICAgICBzY2FuZigiJWQiLCZkW2ldKTsKICAgIH0KICAgIGZvcihpPTA7aTxxO2krKyl7CiAgICAgICAgbXlTb3J0KGQsbik7CiAgICAgICAgZFtuLTFdIC89IDI7CiAgICB9CiAgICBmb3IoaT0wO2k8bjtpKyspewogICAgICAgIHJldCArPSBkW2ldOwogICAgfQogICAgZnJlZShkKTsKICAgIHJldHVybiByZXQ7Cn0KaW50IG1haW4odm9pZCl7CiAgICBwcmludGYoIiVkXG4iLHNvbHZlKCkpOwogICAgcmV0dXJuIDA7Cn0K

NyAyCjEwIDQwIDYwIDMwIDgwIDUgMzAK

7 2
10 40 60 30 80 5 30