From 03c8e7d0ec7e49e5cc0f1db1d214904615b2f4ad Mon Sep 17 00:00:00 2001 From: Dory Date: Thu, 12 Dec 2024 22:17:04 -0800 Subject: [PATCH] omg I never committed d24p2 --- 24/lol.txt | 20 ++++++++++++++++++++ 24/part2.pl | 35 +++++++++++++++++++++++++++++++++++ 2 files changed, 55 insertions(+) create mode 100644 24/lol.txt create mode 100644 24/part2.pl diff --git a/24/lol.txt b/24/lol.txt new file mode 100644 index 0000000..bc57b8b --- /dev/null +++ b/24/lol.txt @@ -0,0 +1,20 @@ +[[ + 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), diff --git a/24/part2.pl b/24/part2.pl new file mode 100644 index 0000000..776087a --- /dev/null +++ b/24/part2.pl @@ -0,0 +1,35 @@ +:- use_module(library(pio)). +:- use_module(library(dcg/basics)). +:- initialization(main, main). + +main([FileName|_]) :- + input(FileName, Hails), + maplist(xyline, Hails, Lines), + findall( + [N1, N2, X, Y], ( + member(N1-L1-X1assert, Lines), member(N2-L2-X2assert, Lines), N1 < N2, + intersect(L1, L2, X-Y), call(X1assert, X), call(X2assert, X), + X >= 200000000000000, X =< 400000000000000, + Y >= 200000000000000, Y =< 400000000000000), + Intersects), + length(Intersects, Answer), + write(Answer), nl. + +intersect(A1-B1-C1, A2-B2-C2, X-Y) :- + Det is A1*B2 - A2*B1, Det =\= 0, + X is (B2*C1 - B1*C2) / Det, + Y is (-A2*C1 + A1*C2) / Det. + +xyline(N-(X-Y-_-Dx-Dy-_), N-(A-B-C)-Xassert) :- + A = Dy, B is -Dx, C is X*Dy - Y*Dx, + ( Dx >= 0 -> Xassert = =<(X); Xassert = >=(X) ). + +% input parsing stuff below. Brick indexing is for debugging. +% assumption: no same hail. There are parallels, but no same +input(FileName, Hails) :- phrase_from_file(hails(0, Hails), FileName). + +hails(_, []) --> eos, !. +hails(N, [N-(X-Y-Z-Dx-Dy-Dz)|Hails]) --> + blanks, number(X), ",", blanks, number(Y), ",", blanks, number(Z), " @", + blanks, number(Dx), ",", blanks, number(Dy), ",", blanks, number(Dz), "\n", + {NextN is N + 1}, hails(NextN, Hails).