#include<bits/stdc++.h>
using namespace std;
void read(int &x){
	char ch=getchar();
	int f=1;
	x=0;
	while(ch<'0'||ch>'9'){
		if(ch=='-'){
			f=-f;
		}
		ch=getchar();
	}
	while(ch>='0'&&ch<='9'){
		x*=10;
		x+=ch-'0';
		ch=getchar();
	}
	x*=f;
}
long long dp[10001];
int main(){
	int n,m,vol;
	read(n);
	read(m);
	read(vol); 
	for(int i=1;i<=vol;i++){
		dp[i]=-1e9;
	}
	dp[0]=0;
	for(int i=1;i<=n;i++){
		int a,b,c;
		read(a);
		read(b);
		read(c);
		int base=1;
		while(c>=base){
			for(int j=vol;j>=a*base;j--){
				dp[j]=max(dp[j],dp[j-a*base]+b*base);
			}
			c-=base;
			base*=2;
//			for(int k=0;k<=vol;k++){
//				printf("%d ",dp[k]);
//			}
//			printf("\n");
		}
		if(c){
			for(int j=vol;j>=a*c;j--){
				dp[j]=max(dp[j],dp[j-a*c]+b*c);
			}
//			for(int k=0;k<=vol;k++){
//				printf("%d ",dp[k]);
//			}
//			printf("\n");
		}
	}
	for(int i=1;i<=m;i++){
		int a,b,c;
		read(a);
		read(b);
		read(c);
		for(int j=vol;j>=0;j--){
			for(int k=0;k<=j;k++){
				dp[j]=max(dp[j],dp[j-k]+a*k*k+b*k+c);
			}
		} 
	}
//	for(int i=1;i<=vol;i++){
//		printf("%d ",dp[i]);
//	}
//	printf("\n");
	printf("%lld",dp[vol]);
	return 0;
}