#include<bits/stdc++.h>
using namespace std;
int n,m;
int a[100005];
long long ans=1;
int main(){
    cin>>n>>m;
    int d=n-m+1;
    for(int i=1;i<=n;i++){
        cin>>a[i];
    }
    int t=0;
    for(int i=1;i<=n;i++){
        if (a[i]>=d){
            if (t>0){
                ans*=i-t;
                ans%=1000000007;
            }
            t=i;
        }
    }
    cout<<(long long)(d+n)*m/2<<endl<<ans;
	return 0;
}