dots = [map(int,raw_input().split(" ")) for i in range(5)]

def nyrn():
    for i in range(5):
        for j in range(i+1,5):
            for k in range(j+1,5):
                f1 = dots[i][1]-dots[j][1] == 0 
                f2 = dots[i][1]-dots[k][1] == 0 
                
                if f1 == f2 and f1:
                    return 0
                if f1 or f2:
                    continue
                if float(dots[i][0]-dots[j][0])/ (dots[i][1]-dots[j][1]) == float(dots[i][0]-dots[k][0])/(dots[i][1]-dots[k][1]):
                    return 0
    return 1

def nyrn2():
    for i in range(5):
        for j in range(5):
            for k in range(5):
                for l in range(5):
                    for m in range(5):
                        if len(set([i,j,k,l,m])) == 5:
                            v = [i,j,k,l,m]*2
                            flag = True
                            for n in range(1,6):
                                a = v[n-1]
                                b = v[n]
                                c = v[n+1]

                                if (dots[b][0]-dots[a][0])*(dots[b][0]-dots[c][0]) + (dots[b][1]-dots[a][1])*(dots[b][1]-dots[c][1])<0:
                                    flag = False
                                    break
                            if flag:
                                return 1
    return 0




                                

print "YES" if (nyrn() and nyrn2()) else "NO"