#include<bits/stdc++.h>
using namespace std;
#define el "\n"
#define ll long long
#define ull unsigned long long
#define se second
#define fi first
#define be begin()
#define en end()
#define Faster cin.tie(0); cout.tie(0); ios_base::sync_with_stdio(0);
struct toado
{
double x,y;
friend istream& operator >> (istream& in, toado &a)
{
in >> a.x >> a.y;
return in;
}
};
double Stamgiac(toado a, toado b, toado c)
{
return fabs(a.x*(b.y - c.y) + b.x*(c.y - a.y) + c.x*(a.y - b.y))/ 2.0;
}
bool check(toado a, toado b, toado c, toado d)
{
if(Stamgiac(a,b,c) == Stamgiac(a,b,d) + Stamgiac(a,d,c) + Stamgiac(d,b,c)) return true;
return false;
}
int main()
{
Faster;
toado a, b, c, d;
cin >> a >> b >> c >> d;
if(check(a,b,c,d)) cout << "Yes";
else cout << "No";
return 0;
}
//code by chat gpt
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKI2RlZmluZSBlbCAiXG4iCiNkZWZpbmUgbGwgbG9uZyBsb25nCiNkZWZpbmUgdWxsIHVuc2lnbmVkIGxvbmcgbG9uZwojZGVmaW5lIHNlIHNlY29uZAojZGVmaW5lIGZpIGZpcnN0CiNkZWZpbmUgYmUgYmVnaW4oKQojZGVmaW5lIGVuIGVuZCgpCiNkZWZpbmUgRmFzdGVyIGNpbi50aWUoMCk7IGNvdXQudGllKDApOyBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOwpzdHJ1Y3QgdG9hZG8KewogICAgZG91YmxlIHgseTsKICAgIGZyaWVuZCBpc3RyZWFtJiBvcGVyYXRvciA+PiAoaXN0cmVhbSYgaW4sIHRvYWRvICZhKQogICAgewogICAgICAgIGluID4+IGEueCA+PiBhLnk7CiAgICAgICAgcmV0dXJuIGluOwogICAgfQp9Owpkb3VibGUgU3RhbWdpYWModG9hZG8gYSwgdG9hZG8gYiwgdG9hZG8gYykKewogICAgcmV0dXJuIGZhYnMoYS54KihiLnkgLSBjLnkpICsgYi54KihjLnkgLSBhLnkpICsgYy54KihhLnkgLSBiLnkpKS8gMi4wOwoKfQpib29sIGNoZWNrKHRvYWRvIGEsIHRvYWRvIGIsIHRvYWRvIGMsIHRvYWRvIGQpCnsKICAgIGlmKFN0YW1naWFjKGEsYixjKSA9PSBTdGFtZ2lhYyhhLGIsZCkgKyBTdGFtZ2lhYyhhLGQsYykgKyBTdGFtZ2lhYyhkLGIsYykpIHJldHVybiB0cnVlOwogICAgcmV0dXJuIGZhbHNlOwp9CmludCBtYWluKCkKewogICAgRmFzdGVyOwogICAgdG9hZG8gYSwgYiwgYywgZDsKICAgIGNpbiA+PiBhID4+IGIgPj4gYyA+PiBkOwogICAgaWYoY2hlY2soYSxiLGMsZCkpIGNvdXQgPDwgIlllcyI7CiAgICBlbHNlIGNvdXQgPDwgIk5vIjsKICAgIHJldHVybiAwOwp9Ci8vY29kZSBieSBjaGF0IGdwdA==