#include<bits/stdc++.h>
typedef long long ll;
using namespace std;
const int N=1e5+10,mod=1e9+7;

int n,m;
ll a[N],ans;

ll f[N];
void pre_work(int n=N-1){
	f[0]=1;
	for(int i=1;i<=n;i++)f[i]=f[i-1]*i%mod;
}

vector<ll>b,c;

ll len(ll x){
	ll ret=0;
	while(x)ret++,x>>=1;
	return ret;
}

void solve(int k){
	int cnt=0,Max=0;
	for(auto x:b){
		int now_len=len(x);
		if(now_len==Max)cnt++;
		else if(now_len>Max)Max=now_len,cnt=1;
	}
	if(k==1){
		ll tmp=-1;
		for(auto x:b){
			if(tmp==-1)tmp=x;
			else tmp&=x;
		}
		ans+=tmp;
		return;
	}
	if(cnt==k){
		for(auto x:b)ans+=x;
		return;
	}
	if(cnt==b.size()){
		for(auto &x:b)x-=(1<<(Max-1));
		ans+=k*(1<<(Max-1));
		solve(k);
		return;
	}
	if(cnt<k){
		c.clear();
		for(auto x:b){
			if(x>=(1<<(Max-1)))ans+=x;
			else c.push_back(x);
		}
		b=c;
		solve(k-cnt);
		return;
	}else{
		c.clear();
		ll tmp=-1;
		for(auto x:b){
			if(x>=(1<<(Max-1)))c.push_back(x);
			else{
				if(tmp==-1)tmp=x;
				else tmp&=x;
			}
		}
		c.push_back(tmp);
		b=c;
		solve(k);
		return;
	}
}

int main(){
	pre_work();
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++)scanf("%d",&a[i]),b.push_back(a[i]);
	solve(m);
	printf("%lld %lld\n",ans,f[m]);
	return 0;
}