ll@N,@K,@s,@a,@b,@m,f[2N]{s},r;REP(i,1,2N)f[i]=(a*f[i-1]+b)%m;vector<ll>v[4];rep(i,N)b=f[i]%3+1,v[b].push_back(-b*f[i+N]);rep(w,1,4){auto&u=v[w];u.push_back(-1d18),sort(u.begin(),u.end()),u[0]=0,b=u.size();rep(i,1,b)(u[i]*=-1)+=u[i-1];while(b<4K)u.push_back(u.back()),b++;}a=v[3][K];rep(k,K){b=K-k,s=0,r=b+1;while(s<r-1)m=(s+r)/2,(v[2][m]-v[2][m-1]<v[1][3b-2m+2]-v[1][3b-2m]?r:s)=m;a>?=v[3][k]+v[2][s]+v[1][3b-2s];}wt(a);