// #define MODULAR_ARITHMETIC
// #define INDEXED_SET
#ifndef LOCAL_DEBUG
#pragma GCC optimize("O3")
#pragma comment(linker, "/stack:200000000")
#pragma GCC optimize("unroll-loops")
#endif

#include <stdarg.h>
#include <stdio.h>
#include <iostream>
#include <vector>
#include <algorithm>
#include <math.h>
#include <map>
#include <bitset>
#include <chrono>
#include <iomanip>
#include <numeric>
#include <assert.h>
#include <set>
#include <queue>
#define pb push_back
#define mp make_pair
#define f(i, a, b) for (int i = a; i < b; i++)
#define revf(i, b, a) for (int i = b; i >= a; i--)
#define srt(v) sort(v.begin(), v.end())
#define rev_srt(v) sort(v.rbegin(), v.rend())
using namespace std;

#ifdef MODULAR_ARITHMETIC
template <typename T>
T add(T a, T b, T c)
{
    T res = a + b;
    return (res >= c ? res - c : res);
}
template <typename T>
T mod_neg(T a, T b, T c)
{
    T res;
    if (abs(a - b) < c)
        res = a - b;
    else
        res = (a - b) % c;
    return (res < 0 ? res + c : res);
}
template <typename T>
T mul(T a, T b, T c)
{
    ll res = (ll)a * b;
    return (res >= c ? res % c : res);
}
ll mulmod(ll a, ll b, ll m)
{
    ll q = (ll)(((LD)a * (LD)b) / (LD)m);
    ll r = a * b - q * m;
    if (r > m)
        r %= m;
    if (r < 0)
        r += m;
    return r;
}
template <typename T>
T expo(T e, T n)
{
    T x = 1, p = e;
    while (n)
    {
        if (n & 1)
            x = x * p;
        p = p * p;
        n >>= 1;
    }
    return x;
}
template <typename T>
T power(T e, T n, T m)
{
    T x = 1, p = e;
    while (n)
    {
        if (n & 1)
            x = mul(x, p, m);
        p = mul(p, p, m);
        n >>= 1;
    }
    return x;
}
template <typename T>
T extended_euclid(T a, T b, T &x, T &y)
{
    T xx = 0, yy = 1;
    y = 0;
    x = 1;
    while (b)
    {
        T q = a / b, t = b;
        b = a % b;
        a = t;
        t = xx;
        xx = x - q * xx;
        x = t;
        t = yy;
        yy = y - q * yy;
        y = t;
    }
    return a;
}
template <typename T>
T mod_inverse(T a, T n)
{
    T x, y, z = 0;
    T d = extended_euclid(a, n, x, y);
    return (d > 1 ? -1 : mod_neg(x, z, n));
}
#endif

#ifdef INDEXED_SET
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#include <ext/rope>
using namespace __gnu_pbds;
using namespace __gnu_cxx;
typedef tree<int, null_type, less<int>, rb_tree_tag, tree_order_statistics_node_update> indexed_set;
#endif

#define endl '\n'
#define precision(x) cout << fixed << setprecision(x);
#define fio                  \
    ios::sync_with_stdio(0); \
    cin.tie(0);              \
    cout.tie(0);

typedef long long ll;
typedef pair<int, int> pii;
typedef long double ld;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<ll> vll;
typedef vector<vll> vvll;
typedef vector<pii> vpii;
typedef vector<vpii> vvpii;
typedef priority_queue<ll> pqll;

ll mod = 1e9 + 7;
const int max_n = 5.0 * 1e5 + 5;

vi v;
int n;

void solvetestcase()
{
    int m;
    cin >> n >> m;
    v.resize(n);
    pqll p;
    f(i, 0, n)
    {
        cin >> v[i];
        p.push(v[i]);
    }
    for (int i = 0; i < m && !p.empty(); i++)
    {
        int x = p.top();
        p.pop();
        if (x >> 1)
            p.push(x >> 1);
    }
    ll sum = 0;
    while (!p.empty())
    {
        sum += p.top();
        p.pop();
    }
    cout << sum << endl;
}

int main()
{
    fio;
    int t = 1;

    // UNCOMMENT FOR TESTCASES	\
	cin >> t;

    f(T, 1, t + 1)
    {
        // UNCOMMENT FOR CODEJAM,HACKERCUP	\
		cout << "Case #" << T << ": ";
        solvetestcase();
    }
};

/*
    AUTHOR:     KUNAL TAWATIA
    EDUCATION:  INDIAN INSTITUTE OF TECHNOLOGY, JODHPUR
*/

Measured memory_bytes: 1784