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

#define int long long

#define rep(i,n) for(int i=0;i<(n);i++)
#define pb push_back
#define all(v) (v).begin(),(v).end()
#define fi first
#define se second
typedef vector<int>vint;
typedef pair<int,int>pint;
typedef vector<pint>vpint;

template<typename A,typename B>inline void chmin(A &a,B b){if(a>b)a=b;}
template<typename A,typename B>inline void chmax(A &a,B b){if(a<b)a=b;}

vector<int>uku(){
	vint ret(3);
	rep(i,3)cin>>ret[i];
	return ret;
}


double cross(vint A,vint B,vint C){
	double ret=0;
	rep(i,3)ret+=(B[i]-A[i])*(C[i]-A[i]);
	return ret;
}

signed main(){
	vint A,B,C,D;
	A=uku();B=uku();C=uku();D=uku();

	int latte=0;
	if(cross(A,B,D)>0.0)latte++;
	if(cross(B,C,D)>0.0)latte++;
	if(cross(C,A,D)>0.0)latte++;
	if(latte==0||latte==3)cout<<"YES"<<endl;
	else cout<<"NO"<<endl;
	return 0;
}