#include<bits/stdc++.h>
using namespace std;

typedef long long ll;
const ll maxn=1e5+5, mo=1e9+7;

ll a[maxn];

int main() {
    ios::sync_with_stdio(false);
    cin.tie(0), cout.tie(0);
    ll n,k; cin>>n>>k;
    for(ll i=1;i<=n;i++) cin>>a[i];
    ll ans=1, val=0;
    for(ll i=29;i>=0;i--) {
        ll cnt=0;
        vector<ll> vec;
        for(ll j=1;j<=n;j++) {
            if((a[j]>>i)&1) cnt++;
            else vec.push_back(a[j]);
        }
        if(cnt<k) {
            for(ll j=1;j<=n;j++) if((a[j]>>i)&1) val+= a[j]&((1<<i+1)-1);
            for(ll j=k;j>k-cnt;j--) ans=ans*j%mo;
            n-=cnt, k-= cnt;
            for(ll j=1;j<=n-cnt;j++) a[j]=vec[j-1];
        }else {
            if(vec.size()==0) {
                if(cnt>k) val+= k*(1<<i);
                else {
                    for(ll j=1;j<=k;j++) val+= a[j]&((1<<i+1)-1);
                    for(ll j=k;j>=1;j--) ans=ans*j%mo;
                    break;
                }
            }else {
                ll x=vec[0];
                for(ll j=1;j<vec.size();j++) x&=vec[j];
                vec.clear();
                for(ll j=1;j<=n;j++) if((a[j]>>i)&1) vec.push_back(a[j]);
                vec.push_back(x);
                n=vec.size();
                for(ll j=1;j<=n;j++) a[j]=vec[j-1];
                val+= (k-1)*(1<<i);
            }
        }
    }
    cout<<val<<' '<<ans<<'\n';
    return 0;
}