#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N=2e5+10,mod=1e9+7;
int n,k,ans;
vector<int>a;
int inv[N],fac[N];
int Pow(int x,int n){
	if(n==0)return 1;
	int a=Pow(x,n/2);
	return a*a%mod*(n&1?x:1)%mod;
}
void init(){
	inv[0]=fac[0]=1;
	for(int i=1;i<N;i++)fac[i]=fac[i-1]*i%mod;
	inv[N-1]=Pow(fac[N-1],mod-2);
	for(int i=N-2;i;i--)inv[i]=inv[i+1]*(i+1)%mod;
}
int P(int n,int m){
	return fac[n]*inv[n-m]%mod;
}
int C(int n,int m){
	int res=0;
	for(int i=0;i<=m;i++){
		if((m-i)&1)res=(res+mod-Pow(i,n)*inv[i]%mod*inv[m-i]%mod)%mod;
		else res=(res+Pow(i,n)*inv[i]%mod*inv[m-i]%mod)%mod;
	}
	return res;
}
int tot=1;
signed main(){
	ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
	cin>>n>>k;
	init();
	tot=tot*P(k,k);
	for(int i=1;i<=n;i++){
		int x;cin>>x;
		a.insert(lower_bound(a.begin(),a.end(),x),x);
	}
	if(k==1){
		ans=a[0];
		for(int i=1;i<a.size();i++)ans&=a[i];
		cout<<ans<<' '<<1;
		return 0;
	}
	vector<int>e;
	for(int i=60;i>=0&&k;i--){
		int sum=0,cnt=0;
		e.clear();
		for(int j=0;j<a.size();j++){
			if(a[j]&(1LL<<i)){
				cnt++;
				sum+=a[j];
				e.push_back(a[j]);
			}
		}
		if(i==0){
			if(cnt<k)tot=tot*C(a.size()-cnt,k-cnt)%mod;
			else tot=C(cnt+1,k)*tot%mod;
		}
		if(cnt<k){
			ans+=sum;
			k-=cnt;
			for(int j=0;j<e.size();j++){
				a.erase(lower_bound(a.begin(),a.end(),e[j]));
			}
		}else{
			if(cnt==a.size()){
				ans+=k*(1LL<<i);
				for(int j=0;j<e.size();j++){
					a.erase(lower_bound(a.begin(),a.end(),e[j]));
					a.insert(lower_bound(a.begin(),a.end(),e[j]-(1LL<<i)),e[j]-(1LL<<i));
				}
				continue;
			}
			ans+=(k-1)*(1LL<<i);
			int s=0,flag=1;
			for(int j=a.size()-1;j>=0;j--){
				if(lower_bound(e.begin(),e.end(),a[j])==e.end()){
					if(flag)s=a[j],flag=0;
					else s&=a[j];
					a.erase(a.begin()+j);
				}
			}
			a.insert(lower_bound(a.begin(),a.end(),s),s);
			for(int j=0;j<e.size();j++){
				a.erase(lower_bound(a.begin(),a.end(),e[j]));
				a.insert(lower_bound(a.begin(),a.end(),e[j]-(1LL<<i)),e[j]-(1LL<<i));
			}
		}
	}
	cout<<ans<<' '<<tot<<'\n';
	return 0;
}