#include <stdio.h>
#include <string.h>
using namespace std;
int n,m,l,d[1010][2],a,b,c;
char p[1001][1001],x='#';
int main()
{
 freopen("druid.in","r",stdin);
 freopen("druid.out","w",stdout);
 while (x=='#')
 {
  scanf("%d %d %d\n",&n,&m,&l);
  int i,ok=1,j;
  for (i=0;i<n;i++)
   scanf("%d %d\n",&d[i][0],&d[i][1]);
  for (i=0;i<m;i++)
  {
   scanf("%d %d %d\n",&a,&b,&c);
   for (j=0;j<n;j++)
    if (a*d[j][0]+b*d[j][1]+c>0)
     p[j][i]='1';
    else
     p[j][i]='0';
  }
  for (i=0;i<n;i++)
   p[i][m]=NULL;
  for (i=0;i<n&&ok;i++)
   for (j=i+1;j<n&&ok;j++)
    if (strcmp(p[i],p[j])==0)
     ok=0;
  if (ok)
   printf("NO\n");
  else
   printf("YES\n");
  x='0';
  scanf("%c\n",&x);
 }
 return 0;
}