T1 = Z1 T2 = X1 T3 = Y1 T4 = Y1 T5 = Z1 T6 = X1 T7 = T1*T6 T1 = T1*T5 T5 = T3*T5 T3 = T3*T4 T4 = T2*T4 T2 = T2*T6 T6 = T2*T7 T2 = T2*T4 T4 = T3*T4 T3 = T3*T5 T5 = T1*T5 T1 = T1*T7 T1 = T1-T4 T2 = T2-T5 T3 = T3-T6 X3 = T2 Y3 = T1 Z3 = T3