XY = [list(map(int, input().split())) for _ in range(5)]
LS = [[0, 1, 2, 3], [0, 1, 2, 4], [0, 2, 3, 1], [0, 2, 3, 4],
      [0, 2, 4, 1], [0, 2, 4, 3], [0, 1, 3, 2], [0, 1, 3, 4],
      [0, 1, 4, 2], [0, 1, 4, 3], [0, 2, 4, 1], [0, 2, 4, 3],
      [1, 2, 3, 0], [1, 2, 3, 4], [1, 2, 4, 0], [1, 2, 4, 3],
      [1, 3, 4, 0], [1, 3, 4, 2], [2, 3, 4, 0], [2, 3, 4, 1]]
for L in LS:
    x0, y0 = XY[L[0]]
    x1, y1 = XY[L[1]]
    x2, y2 = XY[L[2]]
    x3, y3 = XY[L[3]]
    if x0 == x1 and x1 == x2:
        print("No")
        exit()
    if y0 == y1 and y1 == y2:
        print("No")
        exit()
    if (x3 - x0) * (y2 - y1) == (y3 - y0) * (x2 - x1):
        continue
    else:
        b = ((x1 - x0) * (y2 - y1) - (y1 - y0) * (x2 - x1)) / ((x3 - x0) * (y2 - y1) - (y3 - y0) * (x2 - x1))
        if (b * (x3 - x0) + x0 - x1) != 0:
            a = (x2 - x1) / (b * (x3 - x0) + x0 - x1)
        elif (b * (y3 - y0) + y0 - y1) != 0:
            a = (y2 - y1) / (b * (y3 - y0) + y0 - y1)
        else:
            continue
        if 0 <= a <= 1 and 0 <= b <= 1:
            print("No")
            exit()
print("Yes")