rt

#include<bits/stdc++.h>

using namespace std;
const int maxn=100005;
const int INF=99999999;
int n,m,k,plu=1;
long long kns[maxn][maxn],x[maxn],y[maxn];
long long ans=0;
struct n{
	long long p,l,h;
}b[maxn];
int main(){
	
	ios::sync_with_stdio(false);
	cin.tie(0);cout.tie(0);
	cin>>n>>m>>k;
	for(int i=1;i<=n;i++) cin>>x[i]>>y[i];
	for(int i=1;i<=k;i++) cin>>b[i].p>>b[i].l>>b[i].h;
	sort(b+1,b+k+1);
	
	for(int i=1;i<=n;i++){
		for(int j=0;j<=m;j++)
			kns[i%2][j]=INF;
		for(int j=x[i]+1;j<=x[i]+m;j++) 
			kns[i%2][j]=min(kns[i%2^1][j]+1,kns[i%2][j-x[i]]+1);
		for(int j=m+1;j<=x[i]+m;j++)
			kns[i%2][m]=min(kns[i%2][m],kns[i%2][j]);
		for(int j=1;j<=m-y[i];j++)
			kns[i%2][j]=min(kns[i%2][j],kns[i%2][j-y[i]]);
		//PiplineJudge
		if(i==b[plu].p){
			ans=INF;
			for(int j=0;j<=b[plu].l;j++){
				kns[i%2][j]=INF;
			}
			for(int j=b[plu].h;j<=m;j++){
				kns[i%2][j]=INF;
			}
			for(int j=0;j<=m;j++){
				ans=min(ans,kns[i%2][j]);
			}
			if(ans==INF){
				cout<<0;
				cout<<'\n';
				cout<<plu-1;
				
				return 0;
			}
		}
		plu++;
	}
	
	ans=INF;
	for(int i=1;i<=m;i++){
		ans=min(ans,kns[n%2][i]);
	}
	cout<<1;
	cout<<'\n';
	cout<<ans;
	
	return 0;
}