#include<bits/stdc++.h>
using namespace std;

typedef pair<int,int> P;

int main(){
	vector<P> data(6);
	for(int i=0;i<6;i++){
		cin>>data[i].first>>data[i].second;
		if(data[i].first>data[i].second){
			swap(data[i].first, data[i].second);
		}
	}

	sort(data.begin(), data.end());
	//for(int i=0;i<6;i++)printf("(%d,%d)\n",data[i].first, data[i].second);

	if( data[0]!=data[1] || data[2]!=data[3] || data[4]!=data[5]){
		cout<<"no"<<endl;
		return 0;
	}

	vector<P> tmp(3);

	for(int flag=0;flag<8;flag++){
		tmp[0]=data[0];		tmp[1]=data[2];		tmp[2]=data[4];
		for(int i=0;i<3;i++){
			if((flag>>i)&1)swap(tmp[i].first, tmp[i].second);
		}
		//(x,y)(y,z)(x,z)になる時があるはず

		if(tmp[0].first==tmp[2].first
			&& tmp[0].second==tmp[1].first
				&& tmp[1].second==tmp[2].second){
					cout<<"yes"<<endl;
					return 0;
		}


	}


	cout<<"no"<<endl;
	return 0;
}

