#include<bits/stdc++.h>
using namespace std;
long long ans,n,k,seed,val[3005],idx,ver[6005],nxt[6005],hd[6005],vis[6005],ksz[3005],maxs,tmp[3005],tmpt;
void add(int x,int y){
    ver[++idx]=y;
    nxt[idx]=hd[x];
    hd[x]=idx;
}
void dfs(long long x,long long sum,long long t,long long b[3005]){
    if (sum>maxs){
        maxs=sum;
        for (int i=1;i<=t;i++) tmp[i]=b[i];
        tmpt=t;
    }
    for (int i=hd[x];i;i=nxt[i]){
        int y=ver[i];
        if (!vis[y]){
            long long c[3005];
            for (int i=1;i<=t;i++) c[i]=b[i];
            c[t+1]=y;
            dfs(y,sum+val[y],t+1,c);
        }
        else dfs(y,sum,t,b);
    }
}
int main(){
    freopen("x.in","r",stdin);
    freopen("x.out","w",stdout);
    scanf("%d%d%d",&n,&k,&seed);
    if (n>3000){
        cout<<1;
        return 0;
    }
    val[1]=seed;
    for (int i=2;i<=n;i++){
        val[i]=(val[i-1]*23333333+6666666)%1000000007;
        int fa=(val[i]^23333333)%(i-1)+1;
        add(fa,i);
    }
    for (int i=1;i<=k;i++){
        maxs=0;
        dfs(1,0,0,ksz);
        ans+=maxs;
        for (int i=1;i<=tmpt;i++){
            vis[tmp[i]]=1;
        }
    }
    printf("%lld",ans);
    return 0;
}