# Arup Guha
# 4/11/2025
# Solution to COP 4516 Team Contest Problem: Euclid

import math

# Returns a vector from pt1 to pt2.
def getVect(pt1, pt2):
    res = []
    for i in range(len(pt1)):
        res.append(pt2[i]-pt1[i])
    return res

# Multiplies vector v by scalar c.
def multScalar(v, c):
    res = []
    for i in range(len(v)):
        res.append(v[i]*c)
    return res

# Returns the result of adding vector v to point pt.
def add (pt, v):
    res = []
    for i in range(len(pt)):
        res.append(pt[i]+v[i])
    return res

# Returns two dimensional cross product magnitude between v1 and v2.
def crossProdMag(v1, v2):
    return abs(v1[0]*v2[1]-v2[0]*v1[1])

# Returns true iff all items in arr are 0. (I use a tolerance since all non-zero values will be .001
# or greater...
def notzero(arr):
    for x in arr:
        if abs(x) > 0.0001:
            return True
    return False

# Process cases.
vals = [float(x) for x in input().split()]
while notzero(vals):

    # I am sure there's a better way...
    pta = [vals[0], vals[1]]
    ptb = [vals[2], vals[3]]
    ptc = [vals[4], vals[5]]
    ptd = [vals[6], vals[7]]
    pte = [vals[8], vals[9]]
    ptf = [vals[10], vals[11]]

    # Define parallelogram ABCX, get area.
    vAB = getVect(pta, ptb)
    vAC = getVect(pta, ptc)
    areaABCX = crossProdMag(vAB, vAC)

    # Same for triangle DEF.
    vDE = getVect(ptd, pte)
    vDF = getVect(ptd, ptf)
    areaDEF = crossProdMag(vDE, vDF)/2
    
    # Scale factor for vector AC.
    scale = areaDEF/areaABCX

    # Calculate AH
    vAH = multScalar(vAC, scale)

    # We can use this to get pts H, G.
    ptH = add(pta, vAH)
    ptG = add(ptH, vAB)

    # I don't know how to put these in one :(
    print("{:.3f}".format(ptG[0]), end=" ")
    print("{:.3f}".format(ptG[1]), end=" ")
    print("{:.3f}".format(ptH[0]), end=" ")
    print("{:.3f}".format(ptH[1]))

    # Get all vals. I'll give them names later.
    vals = [float(x) for x in input().split()]
