#include<bits/stdc++.h>
#define N 100010
#define mod 1000000007
using namespace std;
int n,k,a[N];
long long ans=0,res=1,fac[N],inv[N];
long long qpow(long long a,int b){
    long long ans=1;
    while(b){
        if(b&1)ans=ans*a%mod;
        a=a*a%mod;
        b>>=1;
    }
    return ans;
}
long long A(int n,int m){
    return fac[n]*inv[n-m]%mod;
}
long long C(int n,int m){
    if(n<m)return 0;
    return fac[n]*inv[m]%mod*inv[n-m]%mod;
}
int main(){
    scanf("%d%d",&n,&k);
    fac[0]=fac[1]=1;
    for(int i=1;i<=n;i++)scanf("%d",&a[i]);
    for(int i=2;i<=n;i++)fac[i]=fac[i-1]*i%mod;
    inv[n]=qpow(fac[n],mod-2);
    for(int i=n-1;i>=0;i--)inv[i]=inv[i+1]*(i+1)%mod;
    for(int d=30;d>=0;d--){
        int cnt=0;
        for(int i=1;i<=n;i++)
            if(a[i]&(1<<d))cnt++;
        if(!cnt)continue;
        if(cnt==n){
            ans+=1ll*k*(1<<d);
            for(int i=1;i<=n;i++)a[i]^=1<<d;
        }
        else if(cnt<k){
            res=res*A(k,cnt)%mod;
            int tmp=0;
            k-=cnt;
            for(int i=1;i<=n;i++)
                if(a[i]&(1<<d))ans+=a[i];
                else a[++tmp]=a[i];
            n=tmp;
        }
        else{
            ans+=1ll*(k-1)*(1<<d);
            int tmp=0,w=(1<<d)-1;
            for(int i=1;i<=n;i++){
                if(a[i]&(1<<d))a[++tmp]=a[i]^(1<<d);
                else w&=a[i];
            }
            a[n=++tmp]=w;
        }
    }
    long long tmp=0;
    for(int i=1;i<=k;i++){
        if((k-i)&1)tmp-=C(k,i)*qpow(i,n)%mod;
        else tmp+=C(k,i)*qpow(i,n)%mod;
    }
    tmp=(tmp%mod+mod)%mod;
    printf("%lld %lld",ans,res*tmp%mod);
}