Files
aoc23/24/lol.txt
2024-12-12 22:17:04 -08:00

21 lines
104 KiB
Plaintext

[[
x == ((((A1 - A3)*C1*C2 - (A1 - A3)*C2^2 - ((A1 - A3)*C1 - (A1 - A3)*C2)*C3)*X2^2
- ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2*X3
+ ((A1 - A2)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A2)*C1 + (A1 - A2)*C2)*C3)*X3^2)*Y1^2
+ (((A2 - A3)*C1^2 - (A2 - A3)*C1*C2 - ((A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X1^2
- ((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1*X3
+ ((A1 - A2)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A2)*C1 + (A1 - A2)*C2)*C3)*X3^2)*Y2^2
+ (((A2 - A3)*C1^2 - (A2 - A3)*C1*C2 - ((A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X1^2 - ((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1*X2 + ((A1 - A3)*C1*C2 - (A1 - A3)*C2^2 - ((A1 - A3)*C1 - (A1 - A3)*C2)*C3)*X2^2)*Y3^2
+ (((A1 - A3)*B1*B2 - (A1 - A3)*B2^2 - ((A1 - A3)*B1 - (A1 - A3)*B2)*B3)*X2^2 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X2*X3 + ((A1 - A2)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A2)*B1 + (A1 - A2)*B2)*B3)*X3^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y2^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y3^2 - (((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3)*Y2 + (((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y2)*Y3)*Z1^2
+ (((A2 - A3)*B1^2 - (A2 - A3)*B1*B2 - ((A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X1^2 - ((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X1*X3 + ((A1 - A2)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A2)*B1 + (A1 - A2)*B2)*B3)*X3^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y3^2 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3)*Y1 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1)*Y3)*Z2^2
+ (((A2 - A3)*B1^2 - (A2 - A3)*B1*B2 - ((A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X1^2 - ((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X1*X2 + ((A1 - A3)*B1*B2 - (A1 - A3)*B2^2 - ((A1 - A3)*B1 - (A1 - A3)*B2)*B3)*X2^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y2^2 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2)*Y1 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1)*Y2)*Z3^2
+ (((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X1*X2^2 + (((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X1 - ((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X2)*X3^2 - ((2*(B2 - B3)*C1^2 - (2*B1 + B2 - 3*B3)*C1*C2 + (B1 - B3)*C2^2 - (B1 - B2)*C3^2 + ((2*B1 - 3*B2 + B3)*C1 + (B2 - B3)*C2)*C3)*X1*X2 - ((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X2^2)*X3)*Y1
- (((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X1^2*X2 + (((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X1 - ((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X2)*X3^2 - (((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X1^2 + ((B2 - B3)*C1^2 - (B1 + 2*B2 - 3*B3)*C1*C2 + 2*(B1 - B3)*C2^2 + (B1 - B2)*C3^2 + ((B1 - B3)*C1 - (3*B1 - 2*B2 - B3)*C2)*C3)*X1*X2)*X3 + (((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1*X2 + 2*((A1 - A2)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A2)*C1 + (A1 - A2)*C2)*C3)*X3^2 - (((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1 + ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2)*X3)*Y1)*Y2
+ (((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X1^2*X2 - ((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X1*X2^2 - (((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X1^2 - ((B2 - B3)*C1^2 - (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - 2*(B1 - B2)*C3^2 + ((B1 - 3*B2 + 2*B3)*C1 + (3*B1 - B2 - 2*B3)*C2)*C3)*X1*X2 + ((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X2^2)*X3 + (((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1*X2 - 2*((A1 - A3)*C1*C2 - (A1 - A3)*C2^2 - ((A1 - A3)*C1 - (A1 - A3)*C2)*C3)*X2^2 - (((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1 - ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2)*X3)*Y1 - (2*((A2 - A3)*C1^2 - (A2 - A3)*C1*C2 - ((A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X1^2 - ((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1*X2 - (((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1 - ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2)*X3)*Y2)*Y3
- (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X1*X2^2 + (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1 - ((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2)*X3^2 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y2^2 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2)*Y3^2 - (((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (2*B1^2 - B1*B2 - (3*B1 - B2)*B3 + B3^2)*C2 + (2*B1^2 - 3*B1*B2 + B2^2 - (B1 - B2)*B3)*C3)*X1*X2 - ((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2^2)*X3 + ((((A1 - A3)*B2 - (A1 - A3)*B3)*C1 + ((A1 - A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A3)*B3)*C2 - ((A1 - A3)*B1 - (A1 - A3)*B2)*C3)*X2^2 - (((2*A1 - A2 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C1 + ((2*A1 - A2 - A3)*B1 - 2*(A1 - A3)*B2 + (A2 - A3)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X2*X3 + (((A1 - A2)*B2 - (A1 - A2)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A2)*B3)*C2 - ((A1 - A2)*B1 + (A1 - A2)*B2 - 2*(A1 - A2)*B3)*C3)*X3^2)*Y1 - ((((A2 - A3)*B1 + 2*(A1 - A2)*B2 - (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A2)*B1 + (A1 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 - (A1 - 2*A2 + A3)*B2)*C3)*X1*X2 + (((A1 - A2)*B2 - (A1 - A2)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A2)*B3)*C2 - ((A1 - A2)*B1 + (A1 - A2)*B2 - 2*(A1 - A2)*B3)*C3)*X3^2 - ((((A2 - A3)*B1 + (2*A1 - A2 - A3)*B2 - 2*(A1 - A3)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B3)*C2 + ((A1 - A3)*B1 - (2*A1 - A2 - A3)*B2 + (A1 - A2)*B3)*C3)*X1 + (((A1 - 2*A2 + A3)*B2 - (A1 - 2*A2 + A3)*B3)*C1 + ((A1 + A2 - 2*A3)*B1 - (A1 - A3)*B2 - (A2 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2)*X3 + (((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y1)*Y2 + ((((A2 - A3)*B1 + 2*(A1 - A2)*B2 - (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A2)*B1 + (A1 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 - (A1 - 2*A2 + A3)*B2)*C3)*X1*X2 - (((A1 - A3)*B2 - (A1 - A3)*B3)*C1 + ((A1 - A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A3)*B3)*C2 - ((A1 - A3)*B1 - (A1 - A3)*B2)*C3)*X2^2 - ((((A2 - A3)*B1 + (2*A1 - A2 - A3)*B2 - 2*(A1 - A3)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B3)*C2 + ((A1 - A3)*B1 - (2*A1 - A2 - A3)*B2 + (A1 - A2)*B3)*C3)*X1 - (((A1 + A2 - 2*A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 - (A1 - A3)*B2 + 2*(A2 - A3)*B3)*C2 - ((A1 - 2*A2 + A3)*B1 + (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2)*X3 + (((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y1 - (2*((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y2)*Y3)*Z1 + (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X1^2*X2 + (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1 - ((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2)*X3^2 - (((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y1^2 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2)*Y3^2 - (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1^2 + ((B1*B2 - 2*B2^2 - (B1 - 3*B2)*B3 - B3^2)*C1 - (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 + (B1^2 - 3*B1*B2 + 2*B2^2 + (B1 - B2)*B3)*C3)*X1*X2)*X3 + ((((A2 - A3)*B1 - (A1 - A2)*B2 + (A1 - 2*A2 + A3)*B3)*C1 + (2*(A1 - A2)*B1 - (A1 - A3)*B2 - (A1 - 2*A2 + A3)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*C3)*X1*X2 + (((A1 - A2)*B2 - (A1 - A2)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A2)*B3)*C2 - ((A1 - A2)*B1 + (A1 - A2)*B2 - 2*(A1 - A2)*B3)*C3)*X3^2 - ((((A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A3)*B3)*C1 + ((2*A1 - A2 - A3)*B1 - (2*A1 - A2 - A3)*B3)*C2 - (2*(A1 - A3)*B1 - (A1 + A2 - 2*A3)*B2 - (A1 - A2)*B3)*C3)*X1 + (((A1 + A2 - 2*A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 - (A1 - A3)*B2 + 2*(A2 - A3)*B3)*C2 - ((A1 - 2*A2 + A3)*B1 + (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2)*X3)*Y1 - (((2*(A2 - A3)*B1 - (A2 - A3)*B2 - (A2 - A3)*B3)*C1 - ((A2 - A3)*B1 - (A2 - A3)*B3)*C2 - ((A2 - A3)*B1 - (A2 - A3)*B2)*C3)*X1^2 - ((2*(A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A3)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 - (A1 - 2*A2 + A3)*B3)*C2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - 2*(A1 - A2)*B3)*C3)*X1*X3 + (((A1 - A2)*B2 - (A1 - A2)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A2)*B3)*C2 - ((A1 - A2)*B1 + (A1 - A2)*B2 - 2*(A1 - A2)*B3)*C3)*X3^2 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y1)*Y2 + (((2*(A2 - A3)*B1 - (A2 - A3)*B2 - (A2 - A3)*B3)*C1 - ((A2 - A3)*B1 - (A2 - A3)*B3)*C2 - ((A2 - A3)*B1 - (A2 - A3)*B2)*C3)*X1^2 - (((A2 - A3)*B1 - (A1 - A2)*B2 + (A1 - 2*A2 + A3)*B3)*C1 + (2*(A1 - A2)*B1 - (A1 - A3)*B2 - (A1 - 2*A2 + A3)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*C3)*X1*X2 - ((((A2 - A3)*B1 + (2*A1 - A2 - A3)*B2 - 2*(A1 - A3)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B3)*C2 + ((A1 - A3)*B1 - (2*A1 - A2 - A3)*B2 + (A1 - A2)*B3)*C3)*X1 - (((A1 + A2 - 2*A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 - (A1 - A3)*B2 + 2*(A2 - A3)*B3)*C2 - ((A1 - 2*A2 + A3)*B1 + (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2)*X3 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - 2*((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y1 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y2)*Y3 - (((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X1*X2 + 2*((A1 - A2)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A2)*B1 + (A1 - A2)*B2)*B3)*X3^2 + 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y3^2 - (((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X1 + ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X2)*X3 - (((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3)*Y1 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1)*Y2 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - 2*((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y2)*Y3)*Z1)*Z2 - (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X1^2*X2 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X1*X2^2 - (((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y1^2 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y2^2 - (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1^2 - ((B1*B2 + B2^2 - (B1 + 3*B2)*B3 + 2*B3^2)*C1 - (B1^2 + B1*B2 - (3*B1 + B2)*B3 + 2*B3^2)*C2 + (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1*X2 + ((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2^2)*X3 + ((((A2 - A3)*B1 - (A1 - A2)*B2 + (A1 - 2*A2 + A3)*B3)*C1 + (2*(A1 - A2)*B1 - (A1 - A3)*B2 - (A1 - 2*A2 + A3)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*C3)*X1*X2 - (((A1 - A3)*B2 - (A1 - A3)*B3)*C1 + ((A1 - A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A3)*B3)*C2 - ((A1 - A3)*B1 - (A1 - A3)*B2)*C3)*X2^2 - ((((A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A3)*B3)*C1 + ((2*A1 - A2 - A3)*B1 - (2*A1 - A2 - A3)*B3)*C2 - (2*(A1 - A3)*B1 - (A1 + A2 - 2*A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A1 - 2*A2 + A3)*B2 - (A1 - 2*A2 + A3)*B3)*C1 + ((A1 + A2 - 2*A3)*B1 - (A1 - A3)*B2 - (A2 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2)*X3)*Y1 - (((2*(A2 - A3)*B1 - (A2 - A3)*B2 - (A2 - A3)*B3)*C1 - ((A2 - A3)*B1 - (A2 - A3)*B3)*C2 - ((A2 - A3)*B1 - (A2 - A3)*B2)*C3)*X1^2 - (((A2 - A3)*B1 + 2*(A1 - A2)*B2 - (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A2)*B1 + (A1 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 - (A1 - 2*A2 + A3)*B2)*C3)*X1*X2 - ((((A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A3)*B3)*C1 + ((2*A1 - A2 - A3)*B1 - (2*A1 - A2 - A3)*B3)*C2 - (2*(A1 - A3)*B1 - (A1 + A2 - 2*A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A1 - 2*A2 + A3)*B2 - (A1 - 2*A2 + A3)*B3)*C1 + ((A1 + A2 - 2*A3)*B1 - (A1 - A3)*B2 - (A2 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2)*X3 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2 - 2*((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y1)*Y2 + (((2*(A2 - A3)*B1 - (A2 - A3)*B2 - (A2 - A3)*B3)*C1 - ((A2 - A3)*B1 - (A2 - A3)*B3)*C2 - ((A2 - A3)*B1 - (A2 - A3)*B2)*C3)*X1^2 - ((2*(A2 - A3)*B1 + (A1 - A2)*B2 - (A1 + A2 - 2*A3)*B3)*C1 + ((A1 - A2)*B1 - 2*(A1 - A3)*B2 + (A1 + A2 - 2*A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*C3)*X1*X2 + (((A1 - A3)*B2 - (A1 - A3)*B3)*C1 + ((A1 - A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A3)*B3)*C2 - ((A1 - A3)*B1 - (A1 - A3)*B2)*C3)*X2^2 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2)*Y1 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2)*Y2)*Y3 - (((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X1*X2 - 2*((A1 - A3)*B1*B2 - (A1 - A3)*B2^2 - ((A1 - A3)*B1 - (A1 - A3)*B2)*B3)*X2^2 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y2^2 - (((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X1 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X2)*X3 - (((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3)*Y1 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - 2*((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1)*Y2 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1 + 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y2)*Y3)*Z1 + (2*((A2 - A3)*B1^2 - (A2 - A3)*B1*B2 - ((A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X1^2 - ((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X1*X2 + 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1^2 - (((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X1 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X2)*X3 - (2*((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3)*Y1 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1)*Y2 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1 + 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y2)*Y3)*Z2)*Z3)/((((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X3)*Y1^2 + (((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X3)*Y2^2 + (((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X2)*Y3^2 + (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2 + ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y3)*Z1^2 + (((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X3 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y3)*Z2^2 + (((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y1 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y2)*Z3^2 - (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1*X2 - ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X2^2 - ((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X3^2 - (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1 - (2*(B2 - B3)*C1^2 - (2*B1 + B2 - 3*B3)*C1*C2 + (B1 - B3)*C2^2 - (B1 - B2)*C3^2 + ((2*B1 - 3*B2 + B3)*C1 + (B2 - B3)*C2)*C3)*X2)*X3)*Y1 + (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1^2 - ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X1*X2 - ((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X3^2 + (((B2 - B3)*C1^2 - (B1 + 2*B2 - 3*B3)*C1*C2 + 2*(B1 - B3)*C2^2 + (B1 - B2)*C3^2 + ((B1 - B3)*C1 - (3*B1 - 2*B2 - B3)*C2)*C3)*X1 + ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X2)*X3 - (((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X1 + ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - 2*(A1 - A2)*C3^2 + ((A1 - 3*A2 + 2*A3)*C1 + (3*A1 - A2 - 2*A3)*C2)*C3)*X3)*Y1)*Y2 - (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1^2 - ((B2 - B3)*C1^2 - (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - 2*(B1 - B2)*C3^2 + ((B1 - 3*B2 + 2*B3)*C1 + (3*B1 - B2 - 2*B3)*C2)*C3)*X1*X2 + ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X2^2 + (((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X1 - ((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X2)*X3 - (((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X1 + ((A2 - A3)*C1^2 - (A1 + 2*A2 - 3*A3)*C1*C2 + 2*(A1 - A3)*C2^2 + (A1 - A2)*C3^2 + ((A1 - A3)*C1 - (3*A1 - 2*A2 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X3)*Y1 + ((2*(A2 - A3)*C1^2 - (2*A1 + A2 - 3*A3)*C1*C2 + (A1 - A3)*C2^2 - (A1 - A2)*C3^2 + ((2*A1 - 3*A2 + A3)*C1 + (A2 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X3)*Y2)*Y3 + (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1*X2 - ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2^2 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X3^2 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2^2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y3^2 - (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1 - ((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (2*B1^2 - B1*B2 - (3*B1 - B2)*B3 + B3^2)*C2 + (2*B1^2 - 3*B1*B2 + B2^2 - (B1 - B2)*B3)*C3)*X2)*X3 - ((((A2 - A3)*B2 - (A2 - A3)*B3)*C1 + ((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B2 - (A2 - A3)*B3)*C1 + ((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X3)*Y1 - ((((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - (2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C2 + (2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - 2*((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 + (((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 - (2*(A1 - A2)*B1 + (A1 - A3)*B2 - (3*A1 - 2*A2 - A3)*B3)*C2 + ((2*A1 - 3*A2 + A3)*B1 + (A2 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1)*Y2 + ((((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - (2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C2 + (2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 - ((2*A1 + A2 - 3*A3)*B1 - 2*(A1 - A3)*B2 - (A2 - A3)*B3)*C2 + (2*(A1 - A3)*B1 - (3*A1 - A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X2 + (((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 + 2*((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1 + ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (2*A1^2 - A1*A2 - (3*A1 - A2)*A3 + A3^2)*C2 + (2*A1^2 - 3*A1*A2 + A2^2 - (A1 - A2)*A3)*C3)*Y2)*Y3)*Z1 - (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1^2 - ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1*X2 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X3^2 + ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1^2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y3^2 + (((B1*B2 - 2*B2^2 - (B1 - 3*B2)*B3 - B3^2)*C1 - (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 + (B1^2 - 3*B1*B2 + 2*B2^2 + (B1 - B2)*B3)*C3)*X1 + ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2)*X3 - ((2*((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2 + ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X1 + (((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C1 + ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 - 2*(A1 - A2)*B2 + (2*A1 - 3*A2 + A3)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 - ((A1 - A3)*B1 - (3*A1 - 2*A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X3)*Y1 + (((2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C1 - ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X1 - ((2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C1 - ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X3 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y1)*Y2 - (((2*(A2 - A3)*B1 - (A1 + 2*A2 - 3*A3)*B2 + (A1 - A3)*B3)*C1 - ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 + ((A1 - 3*A2 + 2*A3)*B1 + 2*(A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C1 + ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 + 2*((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3 - ((A1*A2 - 2*A2^2 - (A1 - 3*A2)*A3 - A3^2)*C1 - (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 + (A1^2 - 3*A1*A2 + 2*A2^2 + (A1 - A2)*A3)*C3)*Y1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2)*Y3 + (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X1 + ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - 2*(A1 - A2)*B3^2 + ((A1 - 3*A2 + 2*A3)*B1 + (3*A1 - A2 - 2*A3)*B2)*B3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y2 + ((A1*A2 + A2^2 - (A1 + 3*A2)*A3 + 2*A3^2)*B1 - (A1^2 + A1*A2 - (3*A1 + A2)*A3 + 2*A3^2)*B2 + (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*Y3)*Z1)*Z2 + (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1^2 - ((B1*B2 + B2^2 - (B1 + 3*B2)*B3 + 2*B3^2)*C1 - (B1^2 + B1*B2 - (3*B1 + B2)*B3 + 2*B3^2)*C2 + (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1*X2 + ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2^2 + ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1^2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2^2 + (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X1 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X2)*X3 - ((2*((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2 + ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X1 + (((A2 - A3)*B1 - (2*A1 + A2 - 3*A3)*B2 + 2*(A1 - A3)*B3)*C1 + ((A1 - A2)*B1 + 2*(A1 - A3)*B2 - (3*A1 - A2 - 2*A3)*B3)*C2 - ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C2 - ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3)*Y1 + (((2*(A2 - A3)*B1 - (A1 - A2)*B2 + (A1 - 3*A2 + 2*A3)*B3)*C1 - ((A1 + 2*A2 - 3*A3)*B1 - (A1 - A3)*B2 - 2*(A2 - A3)*B3)*C2 + ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - 2*((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C2 - ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3 - ((A1*A2 + A2^2 - (A1 + 3*A2)*A3 + 2*A3^2)*C1 - (A1^2 + A1*A2 - (3*A1 + A2)*A3 + 2*A3^2)*C2 + (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*Y1)*Y2 - (((2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X1 - ((2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y1 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y2)*Y3 + (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X1 + ((A2 - A3)*B1^2 - (A1 + 2*A2 - 3*A3)*B1*B2 + 2*(A1 - A3)*B2^2 + (A1 - A2)*B3^2 + ((A1 - A3)*B1 - (3*A1 - 2*A2 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y1 - ((A1*A2 - 2*A2^2 - (A1 - 3*A2)*A3 - A3^2)*B1 - (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 + (A1^2 - 3*A1*A2 + 2*A2^2 + (A1 - A2)*A3)*B3)*Y2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y3)*Z1 - ((2*(A2 - A3)*B1^2 - (2*A1 + A2 - 3*A3)*B1*B2 + (A1 - A3)*B2^2 - (A1 - A2)*B3^2 + ((2*A1 - 3*A2 + A3)*B1 + (A2 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X3 - ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (2*A1^2 - A1*A2 - (3*A1 - A2)*A3 + A3^2)*B2 + (2*A1^2 - 3*A1*A2 + A2^2 - (A1 - A2)*A3)*B3)*Y1 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y3)*Z2)*Z3),
y == ((((B2 - B3)*C1^2 - (B2 - B3)*C1*C2 - ((B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X2^2 - 2*((B2 - B3)*C1^2 - (B2 - B3)*C1*C2 - ((B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X2*X3 + ((B2 - B3)*C1^2 - (B2 - B3)*C1*C2 - ((B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X3^2)*Y1^2 + (((B1 - B3)*C1*C2 - (B1 - B3)*C2^2 - ((B1 - B3)*C1 - (B1 - B3)*C2)*C3)*X1^2 - 2*((B1 - B3)*C1*C2 - (B1 - B3)*C2^2 - ((B1 - B3)*C1 - (B1 - B3)*C2)*C3)*X1*X3 + ((B1 - B3)*C1*C2 - (B1 - B3)*C2^2 - ((B1 - B3)*C1 - (B1 - B3)*C2)*C3)*X3^2 + (((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X3)*Y1)*Y2^2 + (((B1 - B2)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B2)*C1 + (B1 - B2)*C2)*C3)*X1^2 - 2*((B1 - B2)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B2)*C1 + (B1 - B2)*C2)*C3)*X1*X2 + ((B1 - B2)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B2)*C1 + (B1 - B2)*C2)*C3)*X2^2 + (((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X2)*Y1 - (((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X2)*Y2)*Y3^2 + ((B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X2^2 - 2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X2*X3 + (B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X3^2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2^2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2)*Y3^2 - (((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X3)*Y2 + (((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X3 - ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2)*Y3)*Z1^2 + ((B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1^2 - 2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1*X3 + (B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X3^2 + ((A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1^2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2)*Y3^2 - (((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X1 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X3)*Y1 + (((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X3 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1)*Y3)*Z2^2 + ((B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1^2 - 2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1*X2 + (B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X2^2 + ((A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1^2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2^2 - (((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X1 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X2)*Y1 + (((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*Y1)*Y2)*Z3^2 - ((((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X3)*Y1^2 + (((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X1*X2 + ((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X3^2 - (((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X1 + ((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X2)*X3)*Y1)*Y2 + ((((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X3)*Y1^2 + (((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X3)*Y2^2 + (((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X1*X2 - ((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X2^2 - (((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X1 - ((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X2)*X3)*Y1 - (((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X1^2 - ((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X1*X2 - (((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X1 - ((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X2)*X3 + ((2*(A2 - A3)*C1^2 - (2*A1 + A2 - 3*A3)*C1*C2 + (A1 - A3)*C2^2 - (A1 - A2)*C3^2 + ((2*A1 - 3*A2 + A3)*C1 + (A2 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 + 2*A2 - 3*A3)*C1*C2 + 2*(A1 - A3)*C2^2 + (A1 - A2)*C3^2 + ((A1 - A3)*C1 - (3*A1 - 2*A2 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - 2*(A1 - A2)*C3^2 + ((A1 - 3*A2 + 2*A3)*C1 + (3*A1 - A2 - 2*A3)*C2)*C3)*X3)*Y1)*Y2)*Y3 - (((((A2 - A3)*B1 - (A2 - A3)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 - (A1 - 2*A2 + A3)*B3)*C2 - ((A1 - A2)*B1 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 - (A2 - A3)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 - (A1 - 2*A2 + A3)*B3)*C2 - ((A1 - A2)*B1 - (A1 - A2)*B3)*C3)*X3 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y1)*Y2^2 + ((((A2 - A3)*B1 - (A2 - A3)*B2)*C1 + ((A1 - A3)*B1 - (A1 - A3)*B2)*C2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*C3)*X1 - (((A2 - A3)*B1 - (A2 - A3)*B2)*C1 + ((A1 - A3)*B1 - (A1 - A3)*B2)*C2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*C3)*X2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y1 - ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y2)*Y3^2 + (((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2^2 - 2*((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2*X3 + ((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X3^2)*Y1 - (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1*X2 + ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X3^2 - (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1 + ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2)*X3 + (((2*(A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A3)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - (A1 - A3)*B2 - (A2 - A3)*B3)*C2 + ((A1 - A2)*B1 - 2*(A1 - A2)*B2 + (A1 - A2)*B3)*C3)*X2 - ((2*(A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A3)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - (A1 - A3)*B2 - (A2 - A3)*B3)*C2 + ((A1 - A2)*B1 - 2*(A1 - A2)*B2 + (A1 - A2)*B3)*C3)*X3)*Y1)*Y2 + (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1*X2 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X2^2 + ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y2^2 - (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X2)*X3 + (((2*(A2 - A3)*B1 + (A1 - A2)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - ((A1 - A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - ((2*(A2 - A3)*B1 + (A1 - A2)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - ((A1 - A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X3)*Y1 - (((2*(A2 - A3)*B1 - (A2 - A3)*B2 - (A2 - A3)*B3)*C1 + (2*(A1 - A2)*B1 - (A1 - A3)*B2 - (A1 - 2*A2 + A3)*B3)*C2 - (2*(A1 - A3)*B1 - (A1 + A2 - 2*A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 - 2*(A2 - A3)*B2 + (A2 - A3)*B3)*C1 + ((A1 - A2)*B1 + (A1 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - 2*(A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 + (A2 - A3)*B2 - 2*(A2 - A3)*B3)*C1 + ((A1 - A2)*B1 - 2*(A1 - A3)*B2 + (A1 + A2 - 2*A3)*B3)*C2 - ((A1 - A3)*B1 - (2*A1 - A2 - A3)*B2 + (A1 - A2)*B3)*C3)*X3 + ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (2*A1^2 - A1*A2 - (3*A1 - A2)*A3 + A3^2)*C2 + (2*A1^2 - 3*A1*A2 + A2^2 - (A1 - A2)*A3)*C3)*Y1)*Y2)*Y3)*Z1 - (((((2*A1 - A2 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A3)*B2 - (A1 - A3)*B3)*C2 - ((A1 - A2)*B2 - (A1 - A2)*B3)*C3)*X2 - (((2*A1 - A2 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A3)*B2 - (A1 - A3)*B3)*C2 - ((A1 - A2)*B2 - (A1 - A2)*B3)*C3)*X3)*Y1^2 - ((((A2 - A3)*B1 - (A2 - A3)*B2)*C1 + ((A1 - A3)*B1 - (A1 - A3)*B2)*C2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*C3)*X1 - (((A2 - A3)*B1 - (A2 - A3)*B2)*C1 + ((A1 - A3)*B1 - (A1 - A3)*B2)*C2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*C3)*X2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y1 - ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y2)*Y3^2 - (((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1*X2 + ((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X3^2 - (((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1 + ((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2)*X3)*Y1 + (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1^2 - 2*((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1*X3 + ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X3^2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y1^2 + ((((A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A3)*B3)*C1 - ((2*A1 - A2 - A3)*B1 - 2*(A1 - A3)*B2 + (A2 - A3)*B3)*C2 + (2*(A1 - A2)*B1 - (A1 - A2)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A3)*B3)*C1 - ((2*A1 - A2 - A3)*B1 - 2*(A1 - A3)*B2 + (A2 - A3)*B3)*C2 + (2*(A1 - A2)*B1 - (A1 - A2)*B2 - (A1 - A2)*B3)*C3)*X3)*Y1)*Y2 - (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1^2 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1*X2 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y1^2 - (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X2)*X3 + ((((A2 - A3)*B1 - (A1 - A2)*B2 + (A1 - 2*A2 + A3)*B3)*C1 - (2*(A1 - A3)*B1 - (A1 - A3)*B2 - (A1 - A3)*B3)*C2 + ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X1 + (((A2 - A3)*B1 + 2*(A1 - A2)*B2 - (2*A1 - A2 - A3)*B3)*C1 + ((A1 - A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - ((2*(A2 - A3)*B1 + (A1 - A2)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - ((A1 - A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X3)*Y1 - ((((A2 - A3)*B1 + (A2 - A3)*B2 - 2*(A2 - A3)*B3)*C1 + ((A1 - A2)*B1 - 2*(A1 - A3)*B2 + (A1 + A2 - 2*A3)*B3)*C2 - ((A1 - A3)*B1 - (2*A1 - A2 - A3)*B2 + (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A2 - A3)*B2 - 2*(A2 - A3)*B3)*C1 + ((A1 - A2)*B1 - 2*(A1 - A3)*B2 + (A1 + A2 - 2*A3)*B3)*C2 - ((A1 - A3)*B1 - (2*A1 - A2 - A3)*B2 + (A1 - A2)*B3)*C3)*X3 + ((A1*A2 - 2*A2^2 - (A1 - 3*A2)*A3 - A3^2)*C1 - (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 + (A1^2 - 3*A1*A2 + 2*A2^2 + (A1 - A2)*A3)*C3)*Y1)*Y2)*Y3 + (2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1*X2 + 2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X3^2 + 2*((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2)*Y3^2 - 2*((B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1 + (B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X2)*X3 - (((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X2 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X3)*Y1 - (((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X3 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*Y1)*Y2 + (((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X1 + ((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X2 - 2*((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X3 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1 - ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2)*Y3)*Z1)*Z2 + (((((2*A1 - A2 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A3)*B2 - (A1 - A3)*B3)*C2 - ((A1 - A2)*B2 - (A1 - A2)*B3)*C3)*X2 - (((2*A1 - A2 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A3)*B2 - (A1 - A3)*B3)*C2 - ((A1 - A2)*B2 - (A1 - A2)*B3)*C3)*X3)*Y1^2 + ((((A2 - A3)*B1 - (A2 - A3)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 - (A1 - 2*A2 + A3)*B3)*C2 - ((A1 - A2)*B1 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 - (A2 - A3)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 - (A1 - 2*A2 + A3)*B3)*C2 - ((A1 - A2)*B1 - (A1 - A2)*B3)*C3)*X3 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y1)*Y2^2 - (((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1*X2 - ((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2^2 - (((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1 - ((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2)*X3)*Y1 + (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1^2 - ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y1^2 - (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1 - ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2)*X3 + ((((A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A3)*B3)*C1 - ((2*A1 - A2 - A3)*B1 - 2*(A1 - A3)*B2 + (A2 - A3)*B3)*C2 + (2*(A1 - A2)*B1 - (A1 - A2)*B2 - (A1 - A2)*B3)*C3)*X1 - ((2*(A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A3)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - (A1 - A3)*B2 - (A2 - A3)*B3)*C2 + ((A1 - A2)*B1 - 2*(A1 - A2)*B2 + (A1 - A2)*B3)*C3)*X2 + (((A2 - A3)*B1 + (2*A1 - A2 - A3)*B2 - 2*(A1 - A3)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 - (A1 - A3)*B2 + 2*(A2 - A3)*B3)*C2 - ((A1 - A2)*B1 + (A1 - A2)*B2 - 2*(A1 - A2)*B3)*C3)*X3)*Y1)*Y2 - (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1^2 - 2*((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1*X2 + ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X2^2 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y1^2 - ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y2^2 + ((((A2 - A3)*B1 - (A1 - A2)*B2 + (A1 - 2*A2 + A3)*B3)*C1 - (2*(A1 - A3)*B1 - (A1 - A3)*B2 - (A1 - A3)*B3)*C2 + ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 - (A1 - A2)*B2 + (A1 - 2*A2 + A3)*B3)*C1 - (2*(A1 - A3)*B1 - (A1 - A3)*B2 - (A1 - A3)*B3)*C2 + ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X2)*Y1 + ((((A2 - A3)*B1 - 2*(A2 - A3)*B2 + (A2 - A3)*B3)*C1 + ((A1 - A2)*B1 + (A1 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - 2*(A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 - 2*(A2 - A3)*B2 + (A2 - A3)*B3)*C1 + ((A1 - A2)*B1 + (A1 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - 2*(A1 - A2)*B3)*C3)*X2 + ((A1*A2 + A2^2 - (A1 + 3*A2)*A3 + 2*A3^2)*C1 - (A1^2 + A1*A2 - (3*A1 + A2)*A3 + 2*A3^2)*C2 + (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*Y1)*Y2)*Y3 + (2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1*X2 - 2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X2^2 - 2*((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2^2 - 2*((B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1 - (B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X2)*X3 - (((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X2 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X3)*Y1 - (((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X1 - 2*((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X2 + ((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X3 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*Y1)*Y2 + (((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X2 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1 + ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2)*Y3)*Z1 - (2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1^2 - 2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1*X2 + 2*((A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1^2 - 2*((B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1 - (B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X2)*X3 - (2*((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X1 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X2 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X3)*Y1 + (((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X3 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*Y1)*Y2 + (((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X2 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1 + ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2)*Y3)*Z2)*Z3)/((((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X3)*Y1^2 + (((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X3)*Y2^2 + (((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X2)*Y3^2 + (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2 + ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y3)*Z1^2 + (((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X3 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y3)*Z2^2 + (((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y1 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y2)*Z3^2 - (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1*X2 - ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X2^2 - ((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X3^2 - (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1 - (2*(B2 - B3)*C1^2 - (2*B1 + B2 - 3*B3)*C1*C2 + (B1 - B3)*C2^2 - (B1 - B2)*C3^2 + ((2*B1 - 3*B2 + B3)*C1 + (B2 - B3)*C2)*C3)*X2)*X3)*Y1 + (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1^2 - ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X1*X2 - ((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X3^2 + (((B2 - B3)*C1^2 - (B1 + 2*B2 - 3*B3)*C1*C2 + 2*(B1 - B3)*C2^2 + (B1 - B2)*C3^2 + ((B1 - B3)*C1 - (3*B1 - 2*B2 - B3)*C2)*C3)*X1 + ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X2)*X3 - (((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X1 + ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - 2*(A1 - A2)*C3^2 + ((A1 - 3*A2 + 2*A3)*C1 + (3*A1 - A2 - 2*A3)*C2)*C3)*X3)*Y1)*Y2 - (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1^2 - ((B2 - B3)*C1^2 - (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - 2*(B1 - B2)*C3^2 + ((B1 - 3*B2 + 2*B3)*C1 + (3*B1 - B2 - 2*B3)*C2)*C3)*X1*X2 + ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X2^2 + (((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X1 - ((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X2)*X3 - (((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X1 + ((A2 - A3)*C1^2 - (A1 + 2*A2 - 3*A3)*C1*C2 + 2*(A1 - A3)*C2^2 + (A1 - A2)*C3^2 + ((A1 - A3)*C1 - (3*A1 - 2*A2 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X3)*Y1 + ((2*(A2 - A3)*C1^2 - (2*A1 + A2 - 3*A3)*C1*C2 + (A1 - A3)*C2^2 - (A1 - A2)*C3^2 + ((2*A1 - 3*A2 + A3)*C1 + (A2 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X3)*Y2)*Y3 + (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1*X2 - ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2^2 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X3^2 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2^2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y3^2 - (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1 - ((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (2*B1^2 - B1*B2 - (3*B1 - B2)*B3 + B3^2)*C2 + (2*B1^2 - 3*B1*B2 + B2^2 - (B1 - B2)*B3)*C3)*X2)*X3 - ((((A2 - A3)*B2 - (A2 - A3)*B3)*C1 + ((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B2 - (A2 - A3)*B3)*C1 + ((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X3)*Y1 - ((((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - (2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C2 + (2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - 2*((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 + (((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 - (2*(A1 - A2)*B1 + (A1 - A3)*B2 - (3*A1 - 2*A2 - A3)*B3)*C2 + ((2*A1 - 3*A2 + A3)*B1 + (A2 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1)*Y2 + ((((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - (2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C2 + (2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 - ((2*A1 + A2 - 3*A3)*B1 - 2*(A1 - A3)*B2 - (A2 - A3)*B3)*C2 + (2*(A1 - A3)*B1 - (3*A1 - A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X2 + (((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 + 2*((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1 + ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (2*A1^2 - A1*A2 - (3*A1 - A2)*A3 + A3^2)*C2 + (2*A1^2 - 3*A1*A2 + A2^2 - (A1 - A2)*A3)*C3)*Y2)*Y3)*Z1 - (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1^2 - ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1*X2 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X3^2 + ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1^2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y3^2 + (((B1*B2 - 2*B2^2 - (B1 - 3*B2)*B3 - B3^2)*C1 - (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 + (B1^2 - 3*B1*B2 + 2*B2^2 + (B1 - B2)*B3)*C3)*X1 + ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2)*X3 - ((2*((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2 + ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X1 + (((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C1 + ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 - 2*(A1 - A2)*B2 + (2*A1 - 3*A2 + A3)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 - ((A1 - A3)*B1 - (3*A1 - 2*A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X3)*Y1 + (((2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C1 - ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X1 - ((2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C1 - ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X3 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y1)*Y2 - (((2*(A2 - A3)*B1 - (A1 + 2*A2 - 3*A3)*B2 + (A1 - A3)*B3)*C1 - ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 + ((A1 - 3*A2 + 2*A3)*B1 + 2*(A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C1 + ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 + 2*((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3 - ((A1*A2 - 2*A2^2 - (A1 - 3*A2)*A3 - A3^2)*C1 - (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 + (A1^2 - 3*A1*A2 + 2*A2^2 + (A1 - A2)*A3)*C3)*Y1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2)*Y3 + (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X1 + ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - 2*(A1 - A2)*B3^2 + ((A1 - 3*A2 + 2*A3)*B1 + (3*A1 - A2 - 2*A3)*B2)*B3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y2 + ((A1*A2 + A2^2 - (A1 + 3*A2)*A3 + 2*A3^2)*B1 - (A1^2 + A1*A2 - (3*A1 + A2)*A3 + 2*A3^2)*B2 + (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*Y3)*Z1)*Z2 + (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1^2 - ((B1*B2 + B2^2 - (B1 + 3*B2)*B3 + 2*B3^2)*C1 - (B1^2 + B1*B2 - (3*B1 + B2)*B3 + 2*B3^2)*C2 + (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1*X2 + ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2^2 + ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1^2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2^2 + (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X1 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X2)*X3 - ((2*((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2 + ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X1 + (((A2 - A3)*B1 - (2*A1 + A2 - 3*A3)*B2 + 2*(A1 - A3)*B3)*C1 + ((A1 - A2)*B1 + 2*(A1 - A3)*B2 - (3*A1 - A2 - 2*A3)*B3)*C2 - ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C2 - ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3)*Y1 + (((2*(A2 - A3)*B1 - (A1 - A2)*B2 + (A1 - 3*A2 + 2*A3)*B3)*C1 - ((A1 + 2*A2 - 3*A3)*B1 - (A1 - A3)*B2 - 2*(A2 - A3)*B3)*C2 + ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - 2*((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C2 - ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3 - ((A1*A2 + A2^2 - (A1 + 3*A2)*A3 + 2*A3^2)*C1 - (A1^2 + A1*A2 - (3*A1 + A2)*A3 + 2*A3^2)*C2 + (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*Y1)*Y2 - (((2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X1 - ((2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y1 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y2)*Y3 + (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X1 + ((A2 - A3)*B1^2 - (A1 + 2*A2 - 3*A3)*B1*B2 + 2*(A1 - A3)*B2^2 + (A1 - A2)*B3^2 + ((A1 - A3)*B1 - (3*A1 - 2*A2 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y1 - ((A1*A2 - 2*A2^2 - (A1 - 3*A2)*A3 - A3^2)*B1 - (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 + (A1^2 - 3*A1*A2 + 2*A2^2 + (A1 - A2)*A3)*B3)*Y2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y3)*Z1 - ((2*(A2 - A3)*B1^2 - (2*A1 + A2 - 3*A3)*B1*B2 + (A1 - A3)*B2^2 - (A1 - A2)*B3^2 + ((2*A1 - 3*A2 + A3)*B1 + (A2 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X3 - ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (2*A1^2 - A1*A2 - (3*A1 - A2)*A3 + A3^2)*B2 + (2*A1^2 - 3*A1*A2 + A2^2 - (A1 - A2)*A3)*B3)*Y1 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y3)*Z2)*Z3),
z == (((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2^2
- 2*(C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2*X3
+ (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X3^2)*Y1^2
- 2*((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1*X2 + (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X3^2 - ((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1 + (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2)*X3)*Y1*Y2 + ((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1^2 - 2*(C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1*X3 + (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X3^2)*Y2^2 + ((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1^2 - 2*(C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1*X2 + (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2^2)*Y3^2 + (((B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2^2 - 2*((B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2*X3 + ((B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X3^2 + ((A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2^2 + ((A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y3^2 - ((((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - (((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X3)*Y2 + ((((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - (((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X3 - 2*((A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2)*Y3)*Z1^2 + (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1^2 - 2*((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1*X3 + ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X3^2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1^2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y3^2 - ((((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X3)*Y1 + ((((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X3 - 2*((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1)*Y3 + (((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X3 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y1 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y3)*Z1)*Z2^2 + (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2)*X1^2 - 2*((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2)*X1*X2 + ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2)*X2^2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2)*Y1^2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2)*Y2^2 - ((((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2)*X1 - (((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2)*X2)*Y1 + ((((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2)*X1 - (((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2)*X2 - 2*((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2)*Y1)*Y2 + (((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X2 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y2)*Z1 - (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X2 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y1 + ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2)*Z2)*Z3^2 + 2*(((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1*X2 - (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2^2 - ((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1 - (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2)*X3)*Y1 - ((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1^2 - (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1*X2 - ((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1 - (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2)*X3)*Y2)*Y3 - ((((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X1 - ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X3)*Y2^2 + (((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X1 - ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2)*Y3^2 + (((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X2^2 - 2*((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X2*X3 + ((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X3^2)*Y1 - (((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X1*X2 + ((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X3^2 - (((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X1 + ((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X2)*X3 + (((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2 - ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X3)*Y1)*Y2 + (((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X1*X2 - ((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X2^2 - (((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X1 - ((2*B1 - B2 - B3)*C1*C2 - (B1 - B3)*C2^2 + (B1 - B2)*C3^2 - ((2*B1 - B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X2)*X3 + (((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2 - ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X3)*Y1 - (2*((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X1 - ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2 - ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X3)*Y2)*Y3)*Z1 - ((((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X3)*Y1^2 - (((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X2)*Y3^2 + (((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X3 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y3)*Z1^2 - (((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X1*X2 + ((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X3^2 - (((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X1 + ((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X2)*X3)*Y1 + (((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X1^2 - 2*((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X1*X3 + ((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X3^2 - (((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X3)*Y1)*Y2 - (((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X1^2 - ((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X1*X2 - (((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X1 - ((B2 - B3)*C1^2 + (B1 - 2*B2 + B3)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B3)*C1 + (B1 - 2*B2 + B3)*C2)*C3)*X2)*X3 - (((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1 - 2*((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X2 + ((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X3)*Y1 - (((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X3)*Y2)*Y3 + (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1*X2 + ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X3^2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*Y3^2 - (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1 + ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X2)*X3 - (((2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C2 - ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - ((2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C2 - ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X3)*Y1 + ((((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C2 + ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C2 + ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X3 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*Y1)*Y2 - ((((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C2 + ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X1 - ((2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C2 - ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 + (((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 + ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 - 2*((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X3 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*Y1 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*Y2)*Y3)*Z1)*Z2 + ((((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X3)*Y1^2 + (((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X3)*Y2^2 + (((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X3 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y3)*Z1^2 + (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y1 + ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y3)*Z2^2 - (((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X1*X2 - ((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X2^2 - (((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X1 - ((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X2)*X3)*Y1 + (((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X1^2 - ((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X1*X2 - (((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X1 - ((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X2)*X3 - (((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1 + ((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X2 - 2*((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X3)*Y1)*Y2 - (((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X1^2 - 2*((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X1*X2 + ((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X2^2 - (((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X2)*Y1 + (((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X2)*Y2)*Y3 + (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1*X2 - ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2^2 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2^2 - (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1 - ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 + (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2)*X3 - (((2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C3)*X2 - ((2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C3)*X3)*Y1 + ((((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X1 + (((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 + 2*((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - ((2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C3)*X3 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y1)*Y2 - ((((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2)*Y3)*Z1 - (((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1^2 - ((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1*X2 + ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1^2 - (((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1 - ((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2)*X3 - ((2*((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2 - ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 - (2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C2 + ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 + ((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C2 - (2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X3)*Y1 + ((((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 + ((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C2 - (2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 + ((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C2 - (2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X3 - ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1)*Y2 + ((((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 - (2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C2 + ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 - (2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C2 + ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X2 - ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1 + ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y2)*Y3 + ((2*(A2 - A3)*B1^2 - (2*A1 + A2 - 3*A3)*B1*B2 + (A1 - A3)*B2^2 - (A1 - A2)*B3^2 + ((2*A1 - 3*A2 + A3)*B1 + (A2 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 + 2*A2 - 3*A3)*B1*B2 + 2*(A1 - A3)*B2^2 + (A1 - A2)*B3^2 + ((A1 - A3)*B1 - (3*A1 - 2*A2 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - 2*(A1 - A2)*B3^2 + ((A1 - 3*A2 + 2*A3)*B1 + (3*A1 - A2 - 2*A3)*B2)*B3)*X3 - ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (2*A1^2 - A1*A2 - (3*A1 - A2)*A3 + A3^2)*B2 + (2*A1^2 - 3*A1*A2 + A2^2 - (A1 - A2)*A3)*B3)*Y1 + ((A1*A2 - 2*A2^2 - (A1 - 3*A2)*A3 - A3^2)*B1 - (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 + (A1^2 - 3*A1*A2 + 2*A2^2 + (A1 - A2)*A3)*B3)*Y2 + ((A1*A2 + A2^2 - (A1 + 3*A2)*A3 + 2*A3^2)*B1 - (A1^2 + A1*A2 - (3*A1 + A2)*A3 + 2*A3^2)*B2 + (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*Y3)*Z1)*Z2)*Z3)/((((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X3)*Y1^2 + (((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X3)*Y2^2 + (((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X2)*Y3^2 + (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2 + ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y3)*Z1^2 + (((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X3 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y3)*Z2^2 + (((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y1 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y2)*Z3^2 - (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1*X2 - ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X2^2 - ((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X3^2 - (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1 - (2*(B2 - B3)*C1^2 - (2*B1 + B2 - 3*B3)*C1*C2 + (B1 - B3)*C2^2 - (B1 - B2)*C3^2 + ((2*B1 - 3*B2 + B3)*C1 + (B2 - B3)*C2)*C3)*X2)*X3)*Y1 + (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1^2 - ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X1*X2 - ((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X3^2 + (((B2 - B3)*C1^2 - (B1 + 2*B2 - 3*B3)*C1*C2 + 2*(B1 - B3)*C2^2 + (B1 - B2)*C3^2 + ((B1 - B3)*C1 - (3*B1 - 2*B2 - B3)*C2)*C3)*X1 + ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X2)*X3 - (((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X1 + ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - 2*(A1 - A2)*C3^2 + ((A1 - 3*A2 + 2*A3)*C1 + (3*A1 - A2 - 2*A3)*C2)*C3)*X3)*Y1)*Y2 - (((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X1^2 - ((B2 - B3)*C1^2 - (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - 2*(B1 - B2)*C3^2 + ((B1 - 3*B2 + 2*B3)*C1 + (3*B1 - B2 - 2*B3)*C2)*C3)*X1*X2 + ((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X2^2 + (((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X1 - ((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X2)*X3 - (((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X1 + ((A2 - A3)*C1^2 - (A1 + 2*A2 - 3*A3)*C1*C2 + 2*(A1 - A3)*C2^2 + (A1 - A2)*C3^2 + ((A1 - A3)*C1 - (3*A1 - 2*A2 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X3)*Y1 + ((2*(A2 - A3)*C1^2 - (2*A1 + A2 - 3*A3)*C1*C2 + (A1 - A3)*C2^2 - (A1 - A2)*C3^2 + ((2*A1 - 3*A2 + A3)*C1 + (A2 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X3)*Y2)*Y3 + (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1*X2 - ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2^2 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X3^2 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2^2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y3^2 - (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1 - ((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (2*B1^2 - B1*B2 - (3*B1 - B2)*B3 + B3^2)*C2 + (2*B1^2 - 3*B1*B2 + B2^2 - (B1 - B2)*B3)*C3)*X2)*X3 - ((((A2 - A3)*B2 - (A2 - A3)*B3)*C1 + ((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B2 - (A2 - A3)*B3)*C1 + ((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X3)*Y1 - ((((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - (2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C2 + (2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - 2*((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 + (((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 - (2*(A1 - A2)*B1 + (A1 - A3)*B2 - (3*A1 - 2*A2 - A3)*B3)*C2 + ((2*A1 - 3*A2 + A3)*B1 + (A2 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1)*Y2 + ((((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - (2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C2 + (2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A2)*B2 - (A1 - A3)*B3)*C1 - ((2*A1 + A2 - 3*A3)*B1 - 2*(A1 - A3)*B2 - (A2 - A3)*B3)*C2 + (2*(A1 - A3)*B1 - (3*A1 - A2 - 2*A3)*B2 + (A1 - A2)*B3)*C3)*X2 + (((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 + 2*((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1 + ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (2*A1^2 - A1*A2 - (3*A1 - A2)*A3 + A3^2)*C2 + (2*A1^2 - 3*A1*A2 + A2^2 - (A1 - A2)*A3)*C3)*Y2)*Y3)*Z1 - (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1^2 - ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1*X2 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X3^2 + ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1^2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y3^2 + (((B1*B2 - 2*B2^2 - (B1 - 3*B2)*B3 - B3^2)*C1 - (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 + (B1^2 - 3*B1*B2 + 2*B2^2 + (B1 - B2)*B3)*C3)*X1 + ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2)*X3 - ((2*((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2 + ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X1 + (((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C1 + ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 - 2*(A1 - A2)*B2 + (2*A1 - 3*A2 + A3)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 - ((A1 - A3)*B1 - (3*A1 - 2*A2 - A3)*B2 + 2*(A1 - A2)*B3)*C3)*X3)*Y1 + (((2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C1 - ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X1 - ((2*(A2 - A3)*B1 - (A1 - A3)*B2 + (A1 - 2*A2 + A3)*B3)*C1 - ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X3 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y1)*Y2 - (((2*(A2 - A3)*B1 - (A1 + 2*A2 - 3*A3)*B2 + (A1 - A3)*B3)*C1 - ((A1 - A2)*B1 - (A1 - A3)*B2 + (A2 - A3)*B3)*C2 + ((A1 - 3*A2 + 2*A3)*B1 + 2*(A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 - 2*(A1 - A3)*B2 + (2*A1 - A2 - A3)*B3)*C1 + ((A1 - A3)*B1 - (A1 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 + 2*((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3 - ((A1*A2 - 2*A2^2 - (A1 - 3*A2)*A3 - A3^2)*C1 - (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 + (A1^2 - 3*A1*A2 + 2*A2^2 + (A1 - A2)*A3)*C3)*Y1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2)*Y3 + (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X1 + ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - 2*(A1 - A2)*B3^2 + ((A1 - 3*A2 + 2*A3)*B1 + (3*A1 - A2 - 2*A3)*B2)*B3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y2 + ((A1*A2 + A2^2 - (A1 + 3*A2)*A3 + 2*A3^2)*B1 - (A1^2 + A1*A2 - (3*A1 + A2)*A3 + 2*A3^2)*B2 + (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*Y3)*Z1)*Z2 + (((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1^2 - ((B1*B2 + B2^2 - (B1 + 3*B2)*B3 + 2*B3^2)*C1 - (B1^2 + B1*B2 - (3*B1 + B2)*B3 + 2*B3^2)*C2 + (B1^2 - B2^2 - 2*(B1 - B2)*B3)*C3)*X1*X2 + ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2^2 + ((A2^2 - 2*A2*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1^2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1^2 - 2*A1*A3 + A3^2)*C2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2^2 + (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X1 - ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X2)*X3 - ((2*((A2 - A3)*B2 - (A2 - A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2 + ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X1 + (((A2 - A3)*B1 - (2*A1 + A2 - 3*A3)*B2 + 2*(A1 - A3)*B3)*C1 + ((A1 - A2)*B1 + 2*(A1 - A3)*B2 - (3*A1 - A2 - 2*A3)*B3)*C2 - ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C2 - ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3)*Y1 + (((2*(A2 - A3)*B1 - (A1 - A2)*B2 + (A1 - 3*A2 + 2*A3)*B3)*C1 - ((A1 + 2*A2 - 3*A3)*B1 - (A1 - A3)*B2 - 2*(A2 - A3)*B3)*C2 + ((A1 - A3)*B1 - (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - 2*((A1 - A3)*B1 - (A1 - A3)*B3)*C2 + ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - (((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2 + 2*(A1 - A2)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2 - 2*(A1 - A2)*B3)*C2 - ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X3 - ((A1*A2 + A2^2 - (A1 + 3*A2)*A3 + 2*A3^2)*C1 - (A1^2 + A1*A2 - (3*A1 + A2)*A3 + 2*A3^2)*C2 + (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*Y1)*Y2 - (((2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X1 - ((2*(A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - A2)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A2)*B3)*C2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y1 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 + (A1^2 - 2*A1*A2 + A2^2)*C3)*Y2)*Y3 + (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X1 + ((A2 - A3)*B1^2 - (A1 + 2*A2 - 3*A3)*B1*B2 + 2*(A1 - A3)*B2^2 + (A1 - A2)*B3^2 + ((A1 - A3)*B1 - (3*A1 - 2*A2 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X3 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y1 - ((A1*A2 - 2*A2^2 - (A1 - 3*A2)*A3 - A3^2)*B1 - (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 + (A1^2 - 3*A1*A2 + 2*A2^2 + (A1 - A2)*A3)*B3)*Y2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y3)*Z1 - ((2*(A2 - A3)*B1^2 - (2*A1 + A2 - 3*A3)*B1*B2 + (A1 - A3)*B2^2 - (A1 - A2)*B3^2 + ((2*A1 - 3*A2 + A3)*B1 + (A2 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X3 - ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (2*A1^2 - A1*A2 - (3*A1 - A2)*A3 + A3^2)*B2 + (2*A1^2 - 3*A1*A2 + A2^2 - (A1 - A2)*A3)*B3)*Y1 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y3)*Z2)*Z3),