#include #include using namespace std; using namespace atcoder; using ll=long long; using mint=modint998244353; int main() { int n; cin>>n; ll inf=1000000000000000000; vector> a(n,vector(3)); for(int i=0;i>a[i][0]>>a[i][1]>>a[i][2]; vector> crt(n+1,vector(3,-inf)); for(int j=0;j<3;j++){ if(a[0][j]>=n){ crt[n][j]=max(crt[n][j],a[0][j]*n-n*(n-1)/2); }else if(a[0][j]>0){ crt[a[0][j]-1][j]=max(crt[a[0][j]][j],a[0][j]); }else{ crt[0][j]=0; } } for(int i=1;i> nxt(n+1,vector(3)); for(int j=0;j<=n;j++){ for(int k=0;k<3;k++){ if(crt[j][k]==-inf)continue; for(int l=0;l<3;l++){ if(k!=l){ if(j==n){ nxt[n][l]=max(nxt[n][l],crt[j][k]+a[i][l]*(n-i)); }else if(j+a[i][l]>=n){ nxt[n][l]=max(nxt[n][l],crt[j][k]+(j+a[i][l])*(n-i)-(n-i)*(n-i-1)/2); }else if(j+a[i][l]>0){ nxt[j+a[i][l]-1][l]=max(nxt[j+a[i][l]-1][l],crt[j][k]+j+a[i][l]); }else{ nxt[0][l]=max(nxt[0][l],crt[j][k]); } } } } } crt=nxt; } ll ans=0; for(int i=0;i<=n;i++)for(int j=0;j<3;j++)ans=max(ans,crt[i][j]); cout<