Problem: Drazil likes heap very much. So he created a problem with heap:

There is a max heap with a height h implemented on the array. The details of this heap are the following:

This heap contains exactly 2^h - 1 distinct positive non-zero integers. All integers are distinct. These numbers are stored in the array a indexed from 1 to 2^h-1. For any 1 < i < 2^h, a[i] < a[\left ⌊{i/2}\right ⌋].

Now we want to reduce the height of this heap such that the height becomes g with exactly 2^g-1 numbers in heap. To reduce the height, we should perform the following action 2^h-2^g times:

Choose an index i, which contains an element and call the following function f in index i:

<image>

Note that we suppose that if a[i]=0, then index i don't contain an element.

After all operations, the remaining 2^g-1 element must be located in indices from 1 to 2^g-1. Now Drazil wonders what's the minimum possible sum of the remaining 2^g-1 elements. Please find this sum and find a sequence of the function calls to achieve this value.

Input

The first line of the input contains an integer t (1 ≤ t ≤ 70 000): the number of test cases.

Each test case contain two lines. The first line contains two integers h and g (1 ≤ g < h ≤ 20). The second line contains n = 2^h-1 distinct positive integers a[1], a[2], …, a[n] (1 ≤ a[i] < 2^{20}). For all i from 2 to 2^h - 1, a[i] < a[\left ⌊{i/2}\right ⌋].

The total sum of n is less than 2^{20}.

Output

For each test case, print two lines.

The first line should contain one integer denoting the minimum sum after reducing the height of heap to g. The second line should contain 2^h - 2^g integers v_1, v_2, …, v_{2^h-2^g}. In i-th operation f(v_i) should be called.

Example

Input


2
3 2
7 6 3 5 4 2 1
3 2
7 6 5 4 3 2 1


Output


10
3 2 3 1
8
2 1 3 1

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const long long mod = 1000000007;
long long powmod(long long a, long long b) {
  long long res = 1;
  a %= mod;
  assert(b >= 0);
  for (; b; b >>= 1) {
    if (b & 1) res = res * a % mod;
    a = a * a % mod;
  }
  return res;
}
long long gcd(long long a, long long b) { return b ? gcd(b, a % b) : a; }
long long lcm(long long a, long long b) { return a / gcd(a, b) * b; }
const int mxN = (1 << 22) + 5;
long long a[mxN], sum;
int h, g;
int find(pair<long long, int> p) {
  if (a[p.second] != p.first)
    return find(make_pair(p.first, (p.second - (p.second & 1)) / 2));
  else
    return p.second;
}
bool check(int i) {
  bool ans;
  int left = (i << 1);
  int right = (i << 1) + 1;
  if (a[left] == 0 && a[right] == 0) {
    if (i >= (1 << g))
      return true;
    else
      return false;
  } else {
    if (a[left] > a[right]) {
      ans = check(left);
    } else {
      ans = check(right);
    }
  }
  return ans;
}
void del_node(int i) {
  int left = (i << 1);
  int right = (i << 1) + 1;
  if (a[left] == 0 && a[right] == 0)
    a[i] = 0;
  else {
    if (a[left] > a[right]) {
      a[i] = a[left];
      del_node(left);
    } else {
      a[i] = a[right];
      del_node(right);
    }
  }
}
void solve() {
  cin >> h >> g;
  sum = 0;
  fill_n(a + 1, (1 << (h + 1)) + 1, 0);
  priority_queue<pair<long long, int>, vector<pair<long long, int>>,
                 less<pair<long long, int>>>
      q;
  for (int i = 1; i < (1 << h); i++) {
    cin >> a[i];
    sum += a[i];
    q.push(make_pair(a[i], i));
  }
  int cnt = 0;
  vector<int> ans;
  while (cnt < (1 << h) - (1 << g)) {
    pair<long long, int> p = q.top();
    q.pop();
    int place = find(p);
    assert(a[place] != 0);
    if (check(place)) {
      ans.push_back(place);
      ++cnt;
      del_node(place);
      sum -= p.first;
    }
  }
  cout << sum << endl;
  for (auto i : ans) cout << i << " ";
  cout << endl;
}
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  int _;
  cin >> _;
  while (_--) {
    solve();
  }
}