#include <bits/stdc++.h>
using namespace std;
int n, k, x;
const int MOD = 1e9 + 7;
typedef unsigned long long ull;
map<ull, int> llimp;
ull ans;

int main() {
	cin >> n >> k;
	for (int i = 0; i < n; i++) {
		cin >> x;
		llimp[x]++;
	}
	for (auto t : llimp) {
		int tmp = min(k, t.second), idx = t.first;
		llimp[idx] -= tmp;
		k -= tmp;
		llimp[(2 * idx) % MOD] += tmp;
	}
	for (auto t : llimp) {
		cout << t.first << " " << t.second << endl;
	}
	for (auto t : llimp) {
		ans = (ans + t.first % MOD * t.second) % MOD;
	}
	cout << ans;
	return 0;
}