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 nyrnx(ax, ay, bx, by, cx, cy, dx, dy): ta = (cx - dx) * (ay - cy) + (cy - dy) * (cx - ax); tb = (cx - dx) * (by - cy) + (cy - dy) * (cx - bx); tc = (ax - bx) * (cy - ay) + (ay - by) * (ax - cx); td = (ax - bx) * (dy - ay) + (ay - by) * (ax - dx); return tc * td < 0 and ta * tb < 0; 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 out = [] for o in range(5): if o != a and o!= b and o!=c: out.append(dots[o]) if not nyrnx(out[0][0],out[0][1],out[1][0],out[1][1],dots[b][0],dots[b][1],dots[a][0],dots[a][1]): flag = False break if flag: return 1 return 0 print "YES" if (nyrn() and nyrn2()) else "NO"