对于一个长度为 $n$ 的 01 字符串 $S$，请你求出将其分为至少 $k$ 段，将每一段看为二进制数求和后的最大值以及取到这个最大值的划分方案的数量。

$n\le 2\times 10^6$

---

字符串编号从 $1$ 开始。

若 $n=k$，最大值很好求，方案数就是 $1$。

若前 $k$ 个都没有 $1$，设第一个 $1$ 出现的位置为 $m$，最大值是选 $m$ 开始的后缀，划分方案是在前 $m$ 个空位插大于等于 $k-1$ 个隔板，用组合数可以轻松求出。

否则，最大值一定是选长度为 $n-k+1$ 的子串 $a$，剩下每个数单独为一个段。

现在考虑怎样选这样的子串使答案最大。显然选二进制最大的。

证明：设二进制最大的子串为 $a$，另一个不是最大的子串为 $b$，设 $1$ 的总数为 $x$。由于 $1$ 的总数始终不变，即证明：$x-popcount(a)+a\ge x-\mathrm{popcount}(b)+b$。化简得 $a-popcount(a)\ge b-\mathrm{popcount}(b)$

设 $f(n)=n-\mathrm{popcount}(n)$，即证它是不减函数。对其差分得 $\mathrm{popcount}(n)-\mathrm{popcount}(n+1)+1$，显然若 $n+1$，$\mathrm{popcount}(n)$ 要么增加 $1$（此时 $n$ 为偶数时取等），要么减少，得证。

由上面结论和取等条件，我们要做的是：先找最大的子串，然后统计前 $n-k$ 个相同的子串个数，即为方案数。

问题转换为求长度为 $n-k+1$ 的字典序最大的子串。

这个问题可以用二分+哈希解决。

我们有 $k$ 个子串待比较，令第一个子串是当前的最大子串，后面更新。

对于当前最大子串 $s$ 和左端点为 $i$ 的子串 $t$，若 $t$ 可以更新 $s$，即 $t>s$，则 $s$ 和 $t$ 会有一段公共前缀（可能没有），接下来一个数字 $t$ 为 $1$，$s$ 为 $0$，我们想要快速求出公共前缀的长度，这里就二分长度 $mid$，如果二者长度为 $mid$ 的子串不相等，就把 $mid$ 变小，否则变大；快速判断子串是否相等可以用哈希。

时间复杂度为 $O(k\log (n-k))$。

具体实现看代码

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const ll mod=998244353,mod1=1e9+7;
const int N=2e6+1;
int n,k,sum[N];
char a[N];
ll f[N],inv[N],pw1[N],pw2[N],a1[N],a2[N];
ll ksm(ll a,ll b)
{
    ll ans=1;
    while(b){
        if(b&1) ans=ans*a%mod;
        b>>=1;
        a=a*a%mod;
    }
    return ans;
}
struct node
{
    int fl,son[2];
}tr[2000001];
pair<ll,ll> geth(int l,int r)
{
    return make_pair((a1[r]-a1[l-1]*pw1[r-l+1]%mod+mod)%mod,(a2[r]-a2[l-1]*pw2[r-l+1]%mod1+mod1)%mod1);
}
int main()
{
    freopen("divide.in","r",stdin);
    freopen("divide.out","w",stdout);
    scanf("%d%d%s",&n,&k,a+1);
    pw1[0]=pw2[0]=1;
    for(int i=1;i<=n;i++) pw1[i]=pw1[i-1]*2%mod,pw2[i]=pw2[i-1]*2%mod1;
    for(int i=1;i<=n;i++) a1[i]=(a1[i-1]*2+a[i]-48)%mod,a2[i]=(a2[i-1]*2+a[i]-48)%mod1,sum[i]=sum[i-1]+a[i]-48;
    int fl=0;
    for(int i=1;i<=k;i++) if(a[i]==49){fl=1;break;}
    if(n==k){
        int x=0;
        for(int i=1;i<=n;i++) x+=a[i]-48;
        printf("%d 1",x);
    }
    else if(!fl){
        int m=0;
        while(m<n&&a[m+1]=='0') m++;
        if(m==n) m--;
        f[0]=1;
        for(int i=1;i<=n;i++) f[i]=f[i-1]*i%mod;
        inv[n]=ksm(f[n],mod-2);
        for(int i=n-1;i>=0;i--) inv[i]=inv[i+1]*(i+1)%mod;
        ll x=0,ans=0;
        for(int i=m+1;i<=n;i++) x=(x*2+a[i]-48)%mod;
        for(int i=k-1;i<=m;i++) ans=(ans+f[m]*inv[i]%mod*inv[m-i])%mod;
        printf("%lld %lld",x,ans);
    }
    else{
        int maxi=1,ans=0;
        for(int i=2;i<=k;i++){
            int l=0,r=n-k+1,ans=l;
            while(l<=r){
                int mid=l+r>>1;
                if(geth(i,i+mid-1)!=geth(maxi,maxi+mid-1)) r=mid-1;
                else l=mid+1,ans=mid;
            }
            if(a[maxi+ans]<a[i+ans]) maxi=i;
        }
        for(int i=1;i<=k;i++) if(geth(i,i+n-k-1)==geth(maxi,maxi+n-k-1)) ans++;
        printf("%lld %d",(geth(maxi,maxi+n-k).first+sum[maxi-1]+sum[n]-sum[maxi+n-k])%mod,ans);
    }
}