#include <bits/stdc++.h>
int main(void) {
  long h[10], w[10], t[10], k[10], W[10], H[10], key;
  int count = 0, i, j;
  for (i = 1; i <= 6; i++) {
    scanf("%ld %ld", &h[i], &w[i]);
    t[i] = h[i] + w[i];
    k[i] = h[i] * w[i];
    if (h[i] > w[i]) {
      key = w[i];
      w[i] = h[i];
      h[i] = key;
    }
    W[i] = w[i] / h[i];
    H[i] = w[i] - h[i];
  }
  for (i = 1; i <= 6; i++) {
    for (j = i + 1; j <= 6; j++) {
      if (t[j] != 0 && t[i] == t[j] && k[i] == k[j] && W[i] == W[j] &&
          H[i] == H[j]) {
        count++;
        t[j] = k[j] = 0;
        break;
      }
    }
  }
  if (count >= 3)
    printf("yes\n");
  else
    printf("no\n");
  return 0;
}
