A: (342549133 / 30368338, sqrt(68143844781297815) / 30368338)
B: (0, 0)
C: (197 / 13, 0)
a = Segment(B, C)
b = Segment(C, A)
c = Segment(A, B)
AB = Line(A, B)
BC = Line(B, C)
CA = Line(C, A)
S: (1 / 2 * sqrt(((((a + b - c) * (a - b + c)) * ((-a) + b + c)) * (a + b + c))))
ma = Midpoint(B, C)
mb = Midpoint(C, A)
mc = Midpoint(A, B)
d = Circle(ma, C)
e = Circle(mb, A)
f = Circle(mc, B)
a1 = Barycenter({A, B, C}, {((2 * a) * ((((a - b - c)^(2) * (b - c)^(2)) * (a + b + c)) - ((2 * (a^(3) - b^(3) + (b^(2) * c) + (b * c^(2)) - c^(3))) * S))), (((a - b - c) * (a + b + c)) * (a^(4) - (a^(3) * b) - (a^(2) * b^(2)) - (a * b^(3)) + (2 * b^(4)) + (a^(3) * c) + (((4 * a^(2)) * b) * c) + ((a * b^(2)) * c) - ((4 * b^(3)) * c) - ((3 * a^(2)) * c^(2)) + ((a * b) * c^(2)) + ((4 * b^(2)) * c^(2)) - (a * c^(3)) - ((4 * b) * c^(3)) + (2 * c^(4)))) + (((2 * a) * (a^(3) + (a^(2) * b) + (a * b^(2)) - (3 * b^(3)) - (a^(2) * c) + ((3 * b^(2)) * c) - (a * c^(2)) - (b * c^(2)) + c^(3))) * S), (((a - b - c) * (a + b + c)) * (a^(4) + (a^(3) * b) - ((3 * a^(2)) * b^(2)) - (a * b^(3)) + (2 * b^(4)) - (a^(3) * c) + (((4 * a^(2)) * b) * c) + ((a * b^(2)) * c) - ((4 * b^(3)) * c) - (a^(2) * c^(2)) + ((a * b) * c^(2)) + ((4 * b^(2)) * c^(2)) - (a * c^(3)) - ((4 * b) * c^(3)) + (2 * c^(4)))) + (((2 * a) * (a^(3) - (a^(2) * b) - (a * b^(2)) + b^(3) + (a^(2) * c) - (b^(2) * c) + (a * c^(2)) + ((3 * b) * c^(2)) - (3 * c^(3)))) * S)})
b1 = Barycenter({A, B, C}, {((((-a) + b - c) * (a + b + c)) * ((2 * a^(4)) - (a^(3) * b) - (a^(2) * b^(2)) - (a * b^(3)) + b^(4) - ((4 * a^(3)) * c) + ((a^(2) * b) * c) + (((4 * a) * b^(2)) * c) + (b^(3) * c) + ((4 * a^(2)) * c^(2)) + ((a * b) * c^(2)) - ((3 * b^(2)) * c^(2)) - ((4 * a) * c^(3)) - (b * c^(3)) + (2 * c^(4)))) + (((2 * b) * ((-3 * a^(3)) + (a^(2) * b) + (a * b^(2)) + b^(3) + ((3 * a^(2)) * c) - (b^(2) * c) - (a * c^(2)) - (b * c^(2)) + c^(3))) * S), ((2 * b) * (((((-a) + b - c)^(2) * ((-a) + c)^(2)) * (a + b + c)) - ((2 * ((-a^(3)) + b^(3) + (a^(2) * c) + (a * c^(2)) - c^(3))) * S))), ((((-a) + b - c) * (a + b + c)) * ((2 * a^(4)) - (a^(3) * b) - ((3 * a^(2)) * b^(2)) + (a * b^(3)) + b^(4) - ((4 * a^(3)) * c) + ((a^(2) * b) * c) + (((4 * a) * b^(2)) * c) - (b^(3) * c) + ((4 * a^(2)) * c^(2)) + ((a * b) * c^(2)) - (b^(2) * c^(2)) - ((4 * a) * c^(3)) - (b * c^(3)) + (2 * c^(4)))) + (((2 * b) * (a^(3) - (a^(2) * b) - (a * b^(2)) + b^(3) - (a^(2) * c) + (b^(2) * c) + ((3 * a) * c^(2)) + (b * c^(2)) - (3 * c^(3)))) * S)})
c1 = Barycenter({A, B, C}, {((((-a) - b + c) * (a + b + c)) * ((2 * a^(4)) - ((4 * a^(3)) * b) + ((4 * a^(2)) * b^(2)) - ((4 * a) * b^(3)) + (2 * b^(4)) - (a^(3) * c) + ((a^(2) * b) * c) + ((a * b^(2)) * c) - (b^(3) * c) - (a^(2) * c^(2)) + (((4 * a) * b) * c^(2)) - ((3 * b^(2)) * c^(2)) - (a * c^(3)) + (b * c^(3)) + c^(4))) + (((2 * c) * ((-3 * a^(3)) + ((3 * a^(2)) * b) - (a * b^(2)) + b^(3) + (a^(2) * c) - (b^(2) * c) + (a * c^(2)) - (b * c^(2)) + c^(3))) * S), ((((-a) - b + c) * (a + b + c)) * ((2 * a^(4)) - ((4 * a^(3)) * b) + ((4 * a^(2)) * b^(2)) - ((4 * a) * b^(3)) + (2 * b^(4)) - (a^(3) * c) + ((a^(2) * b) * c) + ((a * b^(2)) * c) - (b^(3) * c) - ((3 * a^(2)) * c^(2)) + (((4 * a) * b) * c^(2)) - (b^(2) * c^(2)) + (a * c^(3)) - (b * c^(3)) + c^(4))) + (((2 * c) * (a^(3) - (a^(2) * b) + ((3 * a) * b^(2)) - (3 * b^(3)) - (a^(2) * c) + (b^(2) * c) - (a * c^(2)) + (b * c^(2)) + c^(3))) * S), ((2 * c) * ((((a - b)^(2) * ((-a) - b + c)^(2)) * (a + b + c)) - ((2 * ((-a^(3)) + (a^(2) * b) + (a * b^(2)) - b^(3) + c^(3))) * S)))})
X14121 = Barycenter({A, B, C}, {(((a - b - c) * (a + b + c)) * ((2 * a^(4)) - (a^(3) * b) - (a^(2) * b^(2)) + (a * b^(3)) - b^(4) - (a^(3) * c) + (((2 * a^(2)) * b) * c) - ((a * b^(2)) * c) - (a^(2) * c^(2)) - ((a * b) * c^(2)) + ((2 * b^(2)) * c^(2)) + (a * c^(3)) - c^(4))) - ((2 * (a^(4) - (a^(3) * b) + (a^(2) * b^(2)) + (a * b^(3)) - (2 * b^(4)) - (a^(3) * c) + (((2 * a^(2)) * b) * c) - ((a * b^(2)) * c) + (a^(2) * c^(2)) - ((a * b) * c^(2)) + ((4 * b^(2)) * c^(2)) + (a * c^(3)) - (2 * c^(4)))) * S), ((((-a) + b - c) * (a + b + c)) * ((-a^(4)) + (a^(3) * b) - (a^(2) * b^(2)) - (a * b^(3)) + (2 * b^(4)) - ((a^(2) * b) * c) + (((2 * a) * b^(2)) * c) - (b^(3) * c) + ((2 * a^(2)) * c^(2)) - ((a * b) * c^(2)) - (b^(2) * c^(2)) + (b * c^(3)) - c^(4))) - ((2 * ((-2 * a^(4)) + (a^(3) * b) + (a^(2) * b^(2)) - (a * b^(3)) + b^(4) - ((a^(2) * b) * c) + (((2 * a) * b^(2)) * c) - (b^(3) * c) + ((4 * a^(2)) * c^(2)) - ((a * b) * c^(2)) + (b^(2) * c^(2)) + (b * c^(3)) - (2 * c^(4)))) * S), ((((-a) - b + c) * (a + b + c)) * ((-a^(4)) + ((2 * a^(2)) * b^(2)) - b^(4) + (a^(3) * c) - ((a^(2) * b) * c) - ((a * b^(2)) * c) + (b^(3) * c) - (a^(2) * c^(2)) + (((2 * a) * b) * c^(2)) - (b^(2) * c^(2)) - (a * c^(3)) - (b * c^(3)) + (2 * c^(4)))) - ((2 * ((-2 * a^(4)) + ((4 * a^(2)) * b^(2)) - (2 * b^(4)) + (a^(3) * c) - ((a^(2) * b) * c) - ((a * b^(2)) * c) + (b^(3) * c) + (a^(2) * c^(2)) + (((2 * a) * b) * c^(2)) + (b^(2) * c^(2)) - (a * c^(3)) - (b * c^(3)) + c^(4))) * S)})
h = Circle(X14121, a1)
a1a = Barycenter({A, B, C}, {((2 * a) * ((a^(3) * b^(2)) + (a^(2) * b^(3)) - (a * b^(4)) - b^(5) - (((2 * a^(3)) * b) * c) - ((a^(2) * b^(2)) * c) - (b^(4) * c) + (a^(3) * c^(2)) - ((a^(2) * b) * c^(2)) + (((2 * a) * b^(2)) * c^(2)) + ((2 * b^(3)) * c^(2)) + (a^(2) * c^(3)) + ((2 * b^(2)) * c^(3)) - (a * c^(4)) - (b * c^(4)) - c^(5) - ((2 * a^(3)) * S) - ((2 * b^(3)) * S) + (((2 * b^(2)) * c) * S) + (((2 * b) * c^(2)) * S) - ((2 * c^(3)) * S))), a^(6) + (a^(5) * b) - ((2 * a^(4)) * b^(2)) + ((3 * a^(2)) * b^(4)) - (a * b^(5)) - (2 * b^(6)) - (a^(5) * c) + (((2 * a^(4)) * b) * c) - (((2 * a^(3)) * b^(2)) * c) - (((6 * a^(2)) * b^(3)) * c) - ((a * b^(4)) * c) - ((4 * a^(4)) * c^(2)) + (((2 * a) * b^(3)) * c^(2)) + ((2 * b^(4)) * c^(2)) + ((2 * a^(3)) * c^(3)) - (((2 * a^(2)) * b) * c^(3)) + (((2 * a) * b^(2)) * c^(3)) + ((5 * a^(2)) * c^(4)) - ((a * b) * c^(4)) + ((2 * b^(2)) * c^(4)) - (a * c^(5)) - (2 * c^(6)) + ((2 * a^(4)) * S) - (((2 * a^(3)) * b) * S) + (((2 * a^(2)) * b^(2)) * S) + (((6 * a) * b^(3)) * S) + (((2 * a^(3)) * c) * S) - ((((6 * a) * b^(2)) * c) * S) - (((2 * a^(2)) * c^(2)) * S) + ((((2 * a) * b) * c^(2)) * S) - (((2 * a) * c^(3)) * S), a^(6) - (a^(5) * b) - ((4 * a^(4)) * b^(2)) + ((2 * a^(3)) * b^(3)) + ((5 * a^(2)) * b^(4)) - (a * b^(5)) - (2 * b^(6)) + (a^(5) * c) + (((2 * a^(4)) * b) * c) - (((2 * a^(2)) * b^(3)) * c) - ((a * b^(4)) * c) - ((2 * a^(4)) * c^(2)) - (((2 * a^(3)) * b) * c^(2)) + (((2 * a) * b^(3)) * c^(2)) + ((2 * b^(4)) * c^(2)) - (((6 * a^(2)) * b) * c^(3)) + (((2 * a) * b^(2)) * c^(3)) + ((3 * a^(2)) * c^(4)) - ((a * b) * c^(4)) + ((2 * b^(2)) * c^(4)) - (a * c^(5)) - (2 * c^(6)) + ((2 * a^(4)) * S) + (((2 * a^(3)) * b) * S) - (((2 * a^(2)) * b^(2)) * S) - (((2 * a) * b^(3)) * S) - (((2 * a^(3)) * c) * S) + ((((2 * a) * b^(2)) * c) * S) + (((2 * a^(2)) * c^(2)) * S) - ((((6 * a) * b) * c^(2)) * S) + (((6 * a) * c^(3)) * S)})
b1a = Barycenter({A, B, C}, {(2 * a^(6)) + (a^(5) * b) - ((3 * a^(4)) * b^(2)) + ((2 * a^(2)) * b^(4)) - (a * b^(5)) - b^(6) - ((a^(4) * b) * c) - (((6 * a^(3)) * b^(2)) * c) - (((2 * a^(2)) * b^(3)) * c) + (((2 * a) * b^(4)) * c) - (b^(5) * c) - ((2 * a^(4)) * c^(2)) - (((2 * a^(3)) * b) * c^(2)) + ((4 * b^(4)) * c^(2)) + (((2 * a^(2)) * b) * c^(3)) - (((2 * a) * b^(2)) * c^(3)) + ((2 * b^(3)) * c^(3)) - ((2 * a^(2)) * c^(4)) + ((a * b) * c^(4)) - ((5 * b^(2)) * c^(4)) - (b * c^(5)) + (2 * c^(6)) - (((6 * a^(3)) * b) * S) - (((2 * a^(2)) * b^(2)) * S) + (((2 * a) * b^(3)) * S) - ((2 * b^(4)) * S) - ((((6 * a^(2)) * b) * c) * S) + (((2 * b^(3)) * c) * S) - ((((2 * a) * b) * c^(2)) * S) + (((2 * b^(2)) * c^(2)) * S) - (((2 * b) * c^(3)) * S), ((-2 * b) * ((-a^(5)) - (a^(4) * b) + (a^(3) * b^(2)) + (a^(2) * b^(3)) + (a^(4) * c) + ((a^(2) * b^(2)) * c) + (((2 * a) * b^(3)) * c) + ((2 * a^(3)) * c^(2)) + (((2 * a^(2)) * b) * c^(2)) - ((a * b^(2)) * c^(2)) + (b^(3) * c^(2)) - ((2 * a^(2)) * c^(3)) - (b^(2) * c^(3)) - (a * c^(4)) - (b * c^(4)) + c^(5) - ((2 * a^(3)) * S) - ((2 * b^(3)) * S) - (((2 * a^(2)) * c) * S) + (((2 * a) * c^(2)) * S) + ((2 * c^(3)) * S))), (2 * a^(6)) + (a^(5) * b) - ((5 * a^(4)) * b^(2)) - ((2 * a^(3)) * b^(3)) + ((4 * a^(2)) * b^(4)) + (a * b^(5)) - b^(6) - ((a^(4) * b) * c) - (((2 * a^(3)) * b^(2)) * c) + (((2 * a) * b^(4)) * c) + (b^(5) * c) - ((2 * a^(4)) * c^(2)) - (((2 * a^(3)) * b) * c^(2)) + (((2 * a) * b^(3)) * c^(2)) + ((2 * b^(4)) * c^(2)) + (((2 * a^(2)) * b) * c^(3)) - (((6 * a) * b^(2)) * c^(3)) - ((2 * a^(2)) * c^(4)) + ((a * b) * c^(4)) - ((3 * b^(2)) * c^(4)) - (b * c^(5)) + (2 * c^(6)) + (((2 * a^(3)) * b) * S) + (((2 * a^(2)) * b^(2)) * S) - (((2 * a) * b^(3)) * S) - ((2 * b^(4)) * S) + ((((2 * a^(2)) * b) * c) * S) - (((2 * b^(3)) * c) * S) + ((((6 * a) * b) * c^(2)) * S) - (((2 * b^(2)) * c^(2)) * S) + (((6 * b) * c^(3)) * S)})
c1a = Barycenter({A, B, C}, {(2 * a^(6)) - ((2 * a^(4)) * b^(2)) - ((2 * a^(2)) * b^(4)) + (2 * b^(6)) + (a^(5) * c) - ((a^(4) * b) * c) - (((2 * a^(3)) * b^(2)) * c) + (((2 * a^(2)) * b^(3)) * c) + ((a * b^(4)) * c) - (b^(5) * c) - ((3 * a^(4)) * c^(2)) - (((6 * a^(3)) * b) * c^(2)) - (((2 * a) * b^(3)) * c^(2)) - ((5 * b^(4)) * c^(2)) - (((2 * a^(2)) * b) * c^(3)) + ((2 * b^(3)) * c^(3)) + ((2 * a^(2)) * c^(4)) + (((2 * a) * b) * c^(4)) + ((4 * b^(2)) * c^(4)) - (a * c^(5)) - (b * c^(5)) - c^(6) - (((6 * a^(3)) * c) * S) - ((((6 * a^(2)) * b) * c) * S) - ((((2 * a) * b^(2)) * c) * S) - (((2 * b^(3)) * c) * S) - (((2 * a^(2)) * c^(2)) * S) + (((2 * b^(2)) * c^(2)) * S) + (((2 * a) * c^(3)) * S) + (((2 * b) * c^(3)) * S) - ((2 * c^(4)) * S), (2 * a^(6)) - ((2 * a^(4)) * b^(2)) - ((2 * a^(2)) * b^(4)) + (2 * b^(6)) + (a^(5) * c) - ((a^(4) * b) * c) - (((2 * a^(3)) * b^(2)) * c) + (((2 * a^(2)) * b^(3)) * c) + ((a * b^(4)) * c) - (b^(5) * c) - ((5 * a^(4)) * c^(2)) - (((2 * a^(3)) * b) * c^(2)) - (((6 * a) * b^(3)) * c^(2)) - ((3 * b^(4)) * c^(2)) - ((2 * a^(3)) * c^(3)) + (((2 * a) * b^(2)) * c^(3)) + ((4 * a^(2)) * c^(4)) + (((2 * a) * b) * c^(4)) + ((2 * b^(2)) * c^(4)) + (a * c^(5)) + (b * c^(5)) - c^(6) + (((2 * a^(3)) * c) * S) + ((((2 * a^(2)) * b) * c) * S) + ((((6 * a) * b^(2)) * c) * S) + (((6 * b^(3)) * c) * S) + (((2 * a^(2)) * c^(2)) * S) - (((2 * b^(2)) * c^(2)) * S) - (((2 * a) * c^(3)) * S) - (((2 * b) * c^(3)) * S) - ((2 * c^(4)) * S), ((-2 * c) * ((-a^(5)) + (a^(4) * b) + ((2 * a^(3)) * b^(2)) - ((2 * a^(2)) * b^(3)) - (a * b^(4)) + b^(5) - (a^(4) * c) + (((2 * a^(2)) * b^(2)) * c) - (b^(4) * c) + (a^(3) * c^(2)) + ((a^(2) * b) * c^(2)) - ((a * b^(2)) * c^(2)) - (b^(3) * c^(2)) + (a^(2) * c^(3)) + (((2 * a) * b) * c^(3)) + (b^(2) * c^(3)) - ((2 * a^(3)) * S) - (((2 * a^(2)) * b) * S) + (((2 * a) * b^(2)) * S) + ((2 * b^(3)) * S) - ((2 * c^(3)) * S)))})
k = Circle(a1a, b1a, c1a)
X52807 = Barycenter({A, B, C}, {(((2 * a^(5)) - ((2 * a^(4)) * b) + (a^(3) * b^(2)) - (a^(2) * b^(3)) + (a * b^(4)) - b^(5) - ((2 * a^(4)) * c) + ((a^(2) * b^(2)) * c) + (b^(4) * c) + (a^(3) * c^(2)) + ((a^(2) * b) * c^(2)) - (((2 * a) * b^(2)) * c^(2)) - (a^(2) * c^(3)) + (a * c^(4)) + (b * c^(4)) - c^(5)) * (a^(5) - (a^(4) * b) - (a * b^(4)) + b^(5) - (a^(4) * c) + ((a^(3) * b) * c) + ((a * b^(3)) * c) - (b^(4) * c) + ((a * b) * c^(3)) - (a * c^(4)) - (b * c^(4)) + c^(5))) + (((2 * (b - c)^(2)) * (a^(6) - ((2 * a^(5)) * b) + ((3 * a^(4)) * b^(2)) - ((4 * a^(3)) * b^(3)) + ((3 * a^(2)) * b^(4)) - ((2 * a) * b^(5)) + b^(6) - ((2 * a^(5)) * c) + (((5 * a^(4)) * b) * c) - (((5 * a^(3)) * b^(2)) * c) + (((3 * a^(2)) * b^(3)) * c) - ((a * b^(4)) * c) + ((3 * a^(4)) * c^(2)) - (((5 * a^(3)) * b) * c^(2)) + (((2 * a^(2)) * b^(2)) * c^(2)) + ((a * b^(3)) * c^(2)) - (b^(4) * c^(2)) - ((4 * a^(3)) * c^(3)) + (((3 * a^(2)) * b) * c^(3)) + ((a * b^(2)) * c^(3)) + ((3 * a^(2)) * c^(4)) - ((a * b) * c^(4)) - (b^(2) * c^(4)) - ((2 * a) * c^(5)) + c^(6))) * S), (((-a^(5)) + (a^(4) * b) - (a^(3) * b^(2)) + (a^(2) * b^(3)) - ((2 * a) * b^(4)) + (2 * b^(5)) + (a^(4) * c) + ((a^(2) * b^(2)) * c) - ((2 * b^(4)) * c) - (((2 * a^(2)) * b) * c^(2)) + ((a * b^(2)) * c^(2)) + (b^(3) * c^(2)) - (b^(2) * c^(3)) + (a * c^(4)) + (b * c^(4)) - c^(5)) * (a^(5) - (a^(4) * b) - (a * b^(4)) + b^(5) - (a^(4) * c) + ((a^(3) * b) * c) + ((a * b^(3)) * c) - (b^(4) * c) + ((a * b) * c^(3)) - (a * c^(4)) - (b * c^(4)) + c^(5))) + (((2 * ((-a) + c)^(2)) * (a^(6) - ((2 * a^(5)) * b) + ((3 * a^(4)) * b^(2)) - ((4 * a^(3)) * b^(3)) + ((3 * a^(2)) * b^(4)) - ((2 * a) * b^(5)) + b^(6) - ((a^(4) * b) * c) + (((3 * a^(3)) * b^(2)) * c) - (((5 * a^(2)) * b^(3)) * c) + (((5 * a) * b^(4)) * c) - ((2 * b^(5)) * c) - (a^(4) * c^(2)) + ((a^(3) * b) * c^(2)) + (((2 * a^(2)) * b^(2)) * c^(2)) - (((5 * a) * b^(3)) * c^(2)) + ((3 * b^(4)) * c^(2)) + ((a^(2) * b) * c^(3)) + (((3 * a) * b^(2)) * c^(3)) - ((4 * b^(3)) * c^(3)) - (a^(2) * c^(4)) - ((a * b) * c^(4)) + ((3 * b^(2)) * c^(4)) - ((2 * b) * c^(5)) + c^(6))) * S), ((a^(5) - (a^(4) * b) - (a * b^(4)) + b^(5) - (a^(4) * c) + ((a^(3) * b) * c) + ((a * b^(3)) * c) - (b^(4) * c) + ((a * b) * c^(3)) - (a * c^(4)) - (b * c^(4)) + c^(5)) * ((-a^(5)) + (a^(4) * b) + (a * b^(4)) - b^(5) + (a^(4) * c) - (((2 * a^(2)) * b^(2)) * c) + (b^(4) * c) - (a^(3) * c^(2)) + ((a^(2) * b) * c^(2)) + ((a * b^(2)) * c^(2)) - (b^(3) * c^(2)) + (a^(2) * c^(3)) + (b^(2) * c^(3)) - ((2 * a) * c^(4)) - ((2 * b) * c^(4)) + (2 * c^(5)))) + (((2 * (a - b)^(2)) * (a^(6) - (a^(4) * b^(2)) - (a^(2) * b^(4)) + b^(6) - ((2 * a^(5)) * c) - ((a^(4) * b) * c) + ((a^(3) * b^(2)) * c) + ((a^(2) * b^(3)) * c) - ((a * b^(4)) * c) - ((2 * b^(5)) * c) + ((3 * a^(4)) * c^(2)) + (((3 * a^(3)) * b) * c^(2)) + (((2 * a^(2)) * b^(2)) * c^(2)) + (((3 * a) * b^(3)) * c^(2)) + ((3 * b^(4)) * c^(2)) - ((4 * a^(3)) * c^(3)) - (((5 * a^(2)) * b) * c^(3)) - (((5 * a) * b^(2)) * c^(3)) - ((4 * b^(3)) * c^(3)) + ((3 * a^(2)) * c^(4)) + (((5 * a) * b) * c^(4)) + ((3 * b^(2)) * c^(4)) - ((2 * a) * c^(5)) - ((2 * b) * c^(5)) + c^(6))) * S)})
X3070 = Barycenter({A, B, C}, {((a^(2) + b^(2) - c^(2)) * (a^(2) - b^(2) + c^(2))) + ((2 * a^(2)) * S), ((a^(2) + b^(2) - c^(2)) * ((-a^(2)) + b^(2) + c^(2))) + ((2 * b^(2)) * S), ((a^(2) - b^(2) + c^(2)) * ((-a^(2)) + b^(2) + c^(2))) + ((2 * c^(2)) * S)})
p = Circle(X3070, X52807)
ca = Barycenter({A, B, C}, {a^(5) + ((2 * a^(2)) * b^(3)) - (a * b^(4)) - (2 * b^(5)) - (((4 * a^(3)) * b) * c) - (((2 * a^(2)) * b^(2)) * c) - ((2 * b^(4)) * c) - (((2 * a^(2)) * b) * c^(2)) + (((2 * a) * b^(2)) * c^(2)) + ((4 * b^(3)) * c^(2)) + ((2 * a^(2)) * c^(3)) + ((4 * b^(2)) * c^(3)) - (a * c^(4)) - ((2 * b) * c^(4)) - (2 * c^(5)) - ((4 * a^(3)) * S) - (((2 * a^(2)) * b) * S) - ((2 * b^(3)) * S) - (((2 * a^(2)) * c) * S) + (((2 * b^(2)) * c) * S) + (((2 * b) * c^(2)) * S) - ((2 * c^(3)) * S), (2 * a^(5)) + (a^(4) * b) - ((2 * a^(3)) * b^(2)) - b^(5) - ((2 * a^(4)) * c) - (((2 * a^(2)) * b^(2)) * c) - (((4 * a) * b^(3)) * c) - ((4 * a^(3)) * c^(2)) - (((2 * a^(2)) * b) * c^(2)) + (((2 * a) * b^(2)) * c^(2)) + ((4 * a^(2)) * c^(3)) + ((2 * b^(2)) * c^(3)) + ((2 * a) * c^(4)) + (b * c^(4)) - (2 * c^(5)) + ((2 * a^(3)) * S) + (((2 * a) * b^(2)) * S) + ((4 * b^(3)) * S) + (((2 * a^(2)) * c) * S) - (((2 * b^(2)) * c) * S) - (((2 * a) * c^(2)) * S) - ((2 * c^(3)) * S), (2 * a^(5)) - ((2 * a^(4)) * b) - ((4 * a^(3)) * b^(2)) + ((4 * a^(2)) * b^(3)) + ((2 * a) * b^(4)) - (2 * b^(5)) + (a^(4) * c) - (((2 * a^(2)) * b^(2)) * c) + (b^(4) * c) - ((2 * a^(3)) * c^(2)) - (((2 * a^(2)) * b) * c^(2)) + (((2 * a) * b^(2)) * c^(2)) + ((2 * b^(3)) * c^(2)) - (((4 * a) * b) * c^(3)) - c^(5) + ((2 * a^(3)) * S) + (((2 * a^(2)) * b) * S) - (((2 * a) * b^(2)) * S) - ((2 * b^(3)) * S) + (((2 * a) * c^(2)) * S) - (((2 * b) * c^(2)) * S) + ((4 * c^(3)) * S)})
cb = Barycenter({A, B, C}, {(-a^(5)) - ((2 * a^(2)) * b^(3)) + (a * b^(4)) + (2 * b^(5)) - (((4 * a^(3)) * b) * c) - (((2 * a^(2)) * b^(2)) * c) - ((2 * b^(4)) * c) + (((2 * a^(2)) * b) * c^(2)) - (((2 * a) * b^(2)) * c^(2)) - ((4 * b^(3)) * c^(2)) + ((2 * a^(2)) * c^(3)) + ((4 * b^(2)) * c^(3)) + (a * c^(4)) + ((2 * b) * c^(4)) - (2 * c^(5)) + ((4 * a^(3)) * S) + (((2 * a^(2)) * b) * S) + ((2 * b^(3)) * S) - (((2 * a^(2)) * c) * S) + (((2 * b^(2)) * c) * S) - (((2 * b) * c^(2)) * S) - ((2 * c^(3)) * S), (-2 * a^(5)) - (a^(4) * b) + ((2 * a^(3)) * b^(2)) + b^(5) - ((2 * a^(4)) * c) - (((2 * a^(2)) * b^(2)) * c) - (((4 * a) * b^(3)) * c) + ((4 * a^(3)) * c^(2)) + (((2 * a^(2)) * b) * c^(2)) - (((2 * a) * b^(2)) * c^(2)) + ((4 * a^(2)) * c^(3)) + ((2 * b^(2)) * c^(3)) - ((2 * a) * c^(4)) - (b * c^(4)) - (2 * c^(5)) - ((2 * a^(3)) * S) - (((2 * a) * b^(2)) * S) - ((4 * b^(3)) * S) + (((2 * a^(2)) * c) * S) - (((2 * b^(2)) * c) * S) + (((2 * a) * c^(2)) * S) - ((2 * c^(3)) * S), (-2 * a^(5)) + ((2 * a^(4)) * b) + ((4 * a^(3)) * b^(2)) - ((4 * a^(2)) * b^(3)) - ((2 * a) * b^(4)) + (2 * b^(5)) + (a^(4) * c) - (((2 * a^(2)) * b^(2)) * c) + (b^(4) * c) + ((2 * a^(3)) * c^(2)) + (((2 * a^(2)) * b) * c^(2)) - (((2 * a) * b^(2)) * c^(2)) - ((2 * b^(3)) * c^(2)) - (((4 * a) * b) * c^(3)) - c^(5) - ((2 * a^(3)) * S) - (((2 * a^(2)) * b) * S) + (((2 * a) * b^(2)) * S) + ((2 * b^(3)) * S) - (((2 * a) * c^(2)) * S) + (((2 * b) * c^(2)) * S) + ((4 * c^(3)) * S)})
cc = Barycenter({A, B, C}, {(-a^(5)) + ((2 * a^(2)) * b^(3)) + (a * b^(4)) - (2 * b^(5)) - (((4 * a^(3)) * b) * c) + (((2 * a^(2)) * b^(2)) * c) + ((2 * b^(4)) * c) - (((2 * a^(2)) * b) * c^(2)) - (((2 * a) * b^(2)) * c^(2)) + ((4 * b^(3)) * c^(2)) - ((2 * a^(2)) * c^(3)) - ((4 * b^(2)) * c^(3)) + (a * c^(4)) - ((2 * b) * c^(4)) + (2 * c^(5)) + ((4 * a^(3)) * S) - (((2 * a^(2)) * b) * S) - ((2 * b^(3)) * S) + (((2 * a^(2)) * c) * S) - (((2 * b^(2)) * c) * S) + (((2 * b) * c^(2)) * S) + ((2 * c^(3)) * S), (-2 * a^(5)) + (a^(4) * b) + ((2 * a^(3)) * b^(2)) - b^(5) + ((2 * a^(4)) * c) + (((2 * a^(2)) * b^(2)) * c) - (((4 * a) * b^(3)) * c) + ((4 * a^(3)) * c^(2)) - (((2 * a^(2)) * b) * c^(2)) - (((2 * a) * b^(2)) * c^(2)) - ((4 * a^(2)) * c^(3)) - ((2 * b^(2)) * c^(3)) - ((2 * a) * c^(4)) + (b * c^(4)) + (2 * c^(5)) - ((2 * a^(3)) * S) - (((2 * a) * b^(2)) * S) + ((4 * b^(3)) * S) - (((2 * a^(2)) * c) * S) + (((2 * b^(2)) * c) * S) + (((2 * a) * c^(2)) * S) + ((2 * c^(3)) * S), (-2 * a^(5)) - ((2 * a^(4)) * b) + ((4 * a^(3)) * b^(2)) + ((4 * a^(2)) * b^(3)) - ((2 * a) * b^(4)) - (2 * b^(5)) - (a^(4) * c) + (((2 * a^(2)) * b^(2)) * c) - (b^(4) * c) + ((2 * a^(3)) * c^(2)) - (((2 * a^(2)) * b) * c^(2)) - (((2 * a) * b^(2)) * c^(2)) + ((2 * b^(3)) * c^(2)) - (((4 * a) * b) * c^(3)) + c^(5) - ((2 * a^(3)) * S) + (((2 * a^(2)) * b) * S) + (((2 * a) * b^(2)) * S) - ((2 * b^(3)) * S) - (((2 * a) * c^(2)) * S) - (((2 * b) * c^(2)) * S) - ((4 * c^(3)) * S)})
tA = Barycenter({A, B, C}, {(a^(10) * b^(2)) + ((2 * a^(9)) * b^(3)) + (a^(8) * b^(4)) - ((2 * a^(6)) * b^(6)) - ((4 * a^(5)) * b^(7)) - ((2 * a^(4)) * b^(8)) + (a^(2) * b^(10)) + ((2 * a) * b^(11)) + b^(12) - (((2 * a^(10)) * b) * c) - (((2 * a^(9)) * b^(2)) * c) + (((3 * a^(8)) * b^(3)) * c) + ((a^(7) * b^(4)) * c) - (((3 * a^(6)) * b^(5)) * c) + ((a^(5) * b^(6)) * c) + (((3 * a^(4)) * b^(7)) * c) + (((3 * a^(3)) * b^(8)) * c) + ((a^(2) * b^(9)) * c) - (((3 * a) * b^(10)) * c) - ((2 * b^(11)) * c) + (a^(10) * c^(2)) - (((2 * a^(9)) * b) * c^(2)) - (((8 * a^(8)) * b^(2)) * c^(2)) - ((a^(7) * b^(3)) * c^(2)) - (((13 * a^(5)) * b^(5)) * c^(2)) - (((14 * a^(4)) * b^(6)) * c^(2)) - (((11 * a^(3)) * b^(7)) * c^(2)) - (((9 * a^(2)) * b^(8)) * c^(2)) - (((5 * a) * b^(9)) * c^(2)) - ((2 * b^(10)) * c^(2)) + ((2 * a^(9)) * c^(3)) + (((3 * a^(8)) * b) * c^(3)) - ((a^(7) * b^(2)) * c^(3)) + (((10 * a^(6)) * b^(3)) * c^(3)) + (((16 * a^(5)) * b^(4)) * c^(3)) + (((5 * a^(4)) * b^(5)) * c^(3)) + (((7 * a^(3)) * b^(6)) * c^(3)) + (((8 * a^(2)) * b^(7)) * c^(3)) + (((8 * a) * b^(8)) * c^(3)) + ((6 * b^(9)) * c^(3)) + (a^(8) * c^(4)) + ((a^(7) * b) * c^(4)) + (((16 * a^(5)) * b^(3)) * c^(4)) + (((16 * a^(4)) * b^(4)) * c^(4)) + ((a^(3) * b^(5)) * c^(4)) + (((8 * a^(2)) * b^(6)) * c^(4)) + (((6 * a) * b^(7)) * c^(4)) - (b^(8) * c^(4)) - (((3 * a^(6)) * b) * c^(5)) - (((13 * a^(5)) * b^(2)) * c^(5)) + (((5 * a^(4)) * b^(3)) * c^(5)) + ((a^(3) * b^(4)) * c^(5)) - (((18 * a^(2)) * b^(5)) * c^(5)) - (((8 * a) * b^(6)) * c^(5)) - ((4 * b^(7)) * c^(5)) - ((2 * a^(6)) * c^(6)) + ((a^(5) * b) * c^(6)) - (((14 * a^(4)) * b^(2)) * c^(6)) + (((7 * a^(3)) * b^(3)) * c^(6)) + (((8 * a^(2)) * b^(4)) * c^(6)) - (((8 * a) * b^(5)) * c^(6)) + ((4 * b^(6)) * c^(6)) - ((4 * a^(5)) * c^(7)) + (((3 * a^(4)) * b) * c^(7)) - (((11 * a^(3)) * b^(2)) * c^(7)) + (((8 * a^(2)) * b^(3)) * c^(7)) + (((6 * a) * b^(4)) * c^(7)) - ((4 * b^(5)) * c^(7)) - ((2 * a^(4)) * c^(8)) + (((3 * a^(3)) * b) * c^(8)) - (((9 * a^(2)) * b^(2)) * c^(8)) + (((8 * a) * b^(3)) * c^(8)) - (b^(4) * c^(8)) + ((a^(2) * b) * c^(9)) - (((5 * a) * b^(2)) * c^(9)) + ((6 * b^(3)) * c^(9)) + (a^(2) * c^(10)) - (((3 * a) * b) * c^(10)) - ((2 * b^(2)) * c^(10)) + ((2 * a) * c^(11)) - ((2 * b) * c^(11)) + c^(12) - ((4 * a^(10)) * S) - (((8 * a^(9)) * b) * S) - (((6 * a^(8)) * b^(2)) * S) - (((4 * a^(7)) * b^(3)) * S) + (((4 * a^(5)) * b^(5)) * S) + (((4 * a^(4)) * b^(6)) * S) + (((4 * a^(3)) * b^(7)) * S) + (((4 * a^(2)) * b^(8)) * S) + (((4 * a) * b^(9)) * S) + ((2 * b^(10)) * S) - (((8 * a^(9)) * c) * S) - ((((12 * a^(8)) * b) * c) * S) - ((((4 * a^(7)) * b^(2)) * c) * S) - ((((6 * a^(6)) * b^(3)) * c) * S) - ((((6 * a^(5)) * b^(4)) * c) * S) - ((((4 * a^(4)) * b^(5)) * c) * S) - ((((8 * a^(3)) * b^(6)) * c) * S) - ((((6 * a^(2)) * b^(7)) * c) * S) - ((((6 * a) * b^(8)) * c) * S) - (((4 * b^(9)) * c) * S) - (((6 * a^(8)) * c^(2)) * S) - ((((4 * a^(7)) * b) * c^(2)) * S) + ((((8 * a^(6)) * b^(2)) * c^(2)) * S) + ((((2 * a^(5)) * b^(3)) * c^(2)) * S) + ((((4 * a^(3)) * b^(5)) * c^(2)) * S) - ((((4 * a^(2)) * b^(6)) * c^(2)) * S) - ((((2 * a) * b^(7)) * c^(2)) * S) + (((2 * b^(8)) * c^(2)) * S) - (((4 * a^(7)) * c^(3)) * S) - ((((6 * a^(6)) * b) * c^(3)) * S) + ((((2 * a^(5)) * b^(2)) * c^(3)) * S) + ((((6 * a^(2)) * b^(5)) * c^(3)) * S) + ((((2 * a) * b^(6)) * c^(3)) * S) - ((((6 * a^(5)) * b) * c^(4)) * S) + ((((2 * a) * b^(5)) * c^(4)) * S) - (((4 * b^(6)) * c^(4)) * S) + (((4 * a^(5)) * c^(5)) * S) - ((((4 * a^(4)) * b) * c^(5)) * S) + ((((4 * a^(3)) * b^(2)) * c^(5)) * S) + ((((6 * a^(2)) * b^(3)) * c^(5)) * S) + ((((2 * a) * b^(4)) * c^(5)) * S) + (((8 * b^(5)) * c^(5)) * S) + (((4 * a^(4)) * c^(6)) * S) - ((((8 * a^(3)) * b) * c^(6)) * S) - ((((4 * a^(2)) * b^(2)) * c^(6)) * S) + ((((2 * a) * b^(3)) * c^(6)) * S) - (((4 * b^(4)) * c^(6)) * S) + (((4 * a^(3)) * c^(7)) * S) - ((((6 * a^(2)) * b) * c^(7)) * S) - ((((2 * a) * b^(2)) * c^(7)) * S) + (((4 * a^(2)) * c^(8)) * S) - ((((6 * a) * b) * c^(8)) * S) + (((2 * b^(2)) * c^(8)) * S) + (((4 * a) * c^(9)) * S) - (((4 * b) * c^(9)) * S) + ((2 * c^(10)) * S), a^(12) + ((2 * a^(11)) * b) + (a^(10) * b^(2)) - ((2 * a^(8)) * b^(4)) - ((4 * a^(7)) * b^(5)) - ((2 * a^(6)) * b^(6)) + (a^(4) * b^(8)) + ((2 * a^(3)) * b^(9)) + (a^(2) * b^(10)) + ((2 * a^(11)) * c) + (((3 * a^(10)) * b) * c) - ((a^(9) * b^(2)) * c) - (((3 * a^(8)) * b^(3)) * c) - (((3 * a^(7)) * b^(4)) * c) - ((a^(6) * b^(5)) * c) + (((3 * a^(5)) * b^(6)) * c) - ((a^(4) * b^(7)) * c) - (((3 * a^(3)) * b^(8)) * c) + (((2 * a^(2)) * b^(9)) * c) + (((2 * a) * b^(10)) * c) - ((2 * a^(10)) * c^(2)) - (((5 * a^(9)) * b) * c^(2)) - (((9 * a^(8)) * b^(2)) * c^(2)) - (((11 * a^(7)) * b^(3)) * c^(2)) - (((14 * a^(6)) * b^(4)) * c^(2)) - (((13 * a^(5)) * b^(5)) * c^(2)) - ((a^(3) * b^(7)) * c^(2)) - (((8 * a^(2)) * b^(8)) * c^(2)) - (((2 * a) * b^(9)) * c^(2)) + (b^(10) * c^(2)) - ((6 * a^(9)) * c^(3)) - (((8 * a^(8)) * b) * c^(3)) - (((8 * a^(7)) * b^(2)) * c^(3)) - (((7 * a^(6)) * b^(3)) * c^(3)) - (((5 * a^(5)) * b^(4)) * c^(3)) - (((16 * a^(4)) * b^(5)) * c^(3)) - (((10 * a^(3)) * b^(6)) * c^(3)) + ((a^(2) * b^(7)) * c^(3)) - (((3 * a) * b^(8)) * c^(3)) - ((2 * b^(9)) * c^(3)) - (a^(8) * c^(4)) + (((6 * a^(7)) * b) * c^(4)) + (((8 * a^(6)) * b^(2)) * c^(4)) + ((a^(5) * b^(3)) * c^(4)) + (((16 * a^(4)) * b^(4)) * c^(4)) + (((16 * a^(3)) * b^(5)) * c^(4)) + ((a * b^(7)) * c^(4)) + (b^(8) * c^(4)) + ((4 * a^(7)) * c^(5)) + (((8 * a^(6)) * b) * c^(5)) + (((18 * a^(5)) * b^(2)) * c^(5)) - ((a^(4) * b^(3)) * c^(5)) - (((5 * a^(3)) * b^(4)) * c^(5)) + (((13 * a^(2)) * b^(5)) * c^(5)) + (((3 * a) * b^(6)) * c^(5)) + ((4 * a^(6)) * c^(6)) - (((8 * a^(5)) * b) * c^(6)) + (((8 * a^(4)) * b^(2)) * c^(6)) + (((7 * a^(3)) * b^(3)) * c^(6)) - (((14 * a^(2)) * b^(4)) * c^(6)) + ((a * b^(5)) * c^(6)) - ((2 * b^(6)) * c^(6)) + ((4 * a^(5)) * c^(7)) - (((6 * a^(4)) * b) * c^(7)) - (((8 * a^(3)) * b^(2)) * c^(7)) + (((11 * a^(2)) * b^(3)) * c^(7)) - (((3 * a) * b^(4)) * c^(7)) + ((4 * b^(5)) * c^(7)) - (a^(4) * c^(8)) + (((8 * a^(3)) * b) * c^(8)) - (((9 * a^(2)) * b^(2)) * c^(8)) + (((3 * a) * b^(3)) * c^(8)) - ((2 * b^(4)) * c^(8)) - ((6 * a^(3)) * c^(9)) + (((5 * a^(2)) * b) * c^(9)) - ((a * b^(2)) * c^(9)) - ((2 * a^(2)) * c^(10)) - (((3 * a) * b) * c^(10)) + (b^(2) * c^(10)) + ((2 * a) * c^(11)) - ((2 * b) * c^(11)) + c^(12) + ((2 * a^(10)) * S) + (((4 * a^(9)) * b) * S) + (((4 * a^(8)) * b^(2)) * S) + (((4 * a^(7)) * b^(3)) * S) + (((4 * a^(6)) * b^(4)) * S) + (((4 * a^(5)) * b^(5)) * S) - (((4 * a^(3)) * b^(7)) * S) - (((6 * a^(2)) * b^(8)) * S) - (((8 * a) * b^(9)) * S) - ((4 * b^(10)) * S) + (((4 * a^(9)) * c) * S) + ((((6 * a^(8)) * b) * c) * S) + ((((6 * a^(7)) * b^(2)) * c) * S) + ((((8 * a^(6)) * b^(3)) * c) * S) + ((((4 * a^(5)) * b^(4)) * c) * S) + ((((6 * a^(4)) * b^(5)) * c) * S) + ((((6 * a^(3)) * b^(6)) * c) * S) + ((((4 * a^(2)) * b^(7)) * c) * S) + ((((12 * a) * b^(8)) * c) * S) + (((8 * b^(9)) * c) * S) + (((2 * a^(8)) * c^(2)) * S) - ((((2 * a^(7)) * b) * c^(2)) * S) - ((((4 * a^(6)) * b^(2)) * c^(2)) * S) + ((((4 * a^(5)) * b^(3)) * c^(2)) * S) + ((((2 * a^(3)) * b^(5)) * c^(2)) * S) + ((((8 * a^(2)) * b^(6)) * c^(2)) * S) - ((((4 * a) * b^(7)) * c^(2)) * S) - (((6 * b^(8)) * c^(2)) * S) - ((((2 * a^(6)) * b) * c^(3)) * S) - ((((6 * a^(5)) * b^(2)) * c^(3)) * S) - ((((2 * a^(2)) * b^(5)) * c^(3)) * S) + ((((6 * a) * b^(6)) * c^(3)) * S) + (((4 * b^(7)) * c^(3)) * S) - (((4 * a^(6)) * c^(4)) * S) + ((((2 * a^(5)) * b) * c^(4)) * S) - ((((6 * a) * b^(5)) * c^(4)) * S) - (((8 * a^(5)) * c^(5)) * S) - ((((2 * a^(4)) * b) * c^(5)) * S) - ((((6 * a^(3)) * b^(2)) * c^(5)) * S) - ((((4 * a^(2)) * b^(3)) * c^(5)) * S) + ((((4 * a) * b^(4)) * c^(5)) * S) - (((4 * b^(5)) * c^(5)) * S) - (((4 * a^(4)) * c^(6)) * S) + ((((2 * a^(3)) * b) * c^(6)) * S) - ((((4 * a^(2)) * b^(2)) * c^(6)) * S) - ((((8 * a) * b^(3)) * c^(6)) * S) + (((4 * b^(4)) * c^(6)) * S) + ((((2 * a^(2)) * b) * c^(7)) * S) + ((((6 * a) * b^(2)) * c^(7)) * S) - (((4 * b^(3)) * c^(7)) * S) + (((2 * a^(2)) * c^(8)) * S) - ((((6 * a) * b) * c^(8)) * S) + (((4 * b^(2)) * c^(8)) * S) + (((4 * a) * c^(9)) * S) - (((4 * b) * c^(9)) * S) + ((2 * c^(10)) * S), a^(12) + ((2 * a^(11)) * b) - ((2 * a^(10)) * b^(2)) - ((6 * a^(9)) * b^(3)) - (a^(8) * b^(4)) + ((4 * a^(7)) * b^(5)) + ((4 * a^(6)) * b^(6)) + ((4 * a^(5)) * b^(7)) - (a^(4) * b^(8)) - ((6 * a^(3)) * b^(9)) - ((2 * a^(2)) * b^(10)) + ((2 * a) * b^(11)) + b^(12) + ((2 * a^(11)) * c) + (((3 * a^(10)) * b) * c) - (((5 * a^(9)) * b^(2)) * c) - (((8 * a^(8)) * b^(3)) * c) + (((6 * a^(7)) * b^(4)) * c) + (((8 * a^(6)) * b^(5)) * c) - (((8 * a^(5)) * b^(6)) * c) - (((6 * a^(4)) * b^(7)) * c) + (((8 * a^(3)) * b^(8)) * c) + (((5 * a^(2)) * b^(9)) * c) - (((3 * a) * b^(10)) * c) - ((2 * b^(11)) * c) + (a^(10) * c^(2)) - ((a^(9) * b) * c^(2)) - (((9 * a^(8)) * b^(2)) * c^(2)) - (((8 * a^(7)) * b^(3)) * c^(2)) + (((8 * a^(6)) * b^(4)) * c^(2)) + (((18 * a^(5)) * b^(5)) * c^(2)) + (((8 * a^(4)) * b^(6)) * c^(2)) - (((8 * a^(3)) * b^(7)) * c^(2)) - (((9 * a^(2)) * b^(8)) * c^(2)) - ((a * b^(9)) * c^(2)) + (b^(10) * c^(2)) - (((3 * a^(8)) * b) * c^(3)) - (((11 * a^(7)) * b^(2)) * c^(3)) - (((7 * a^(6)) * b^(3)) * c^(3)) + ((a^(5) * b^(4)) * c^(3)) - ((a^(4) * b^(5)) * c^(3)) + (((7 * a^(3)) * b^(6)) * c^(3)) + (((11 * a^(2)) * b^(7)) * c^(3)) + (((3 * a) * b^(8)) * c^(3)) - ((2 * a^(8)) * c^(4)) - (((3 * a^(7)) * b) * c^(4)) - (((14 * a^(6)) * b^(2)) * c^(4)) - (((5 * a^(5)) * b^(3)) * c^(4)) + (((16 * a^(4)) * b^(4)) * c^(4)) - (((5 * a^(3)) * b^(5)) * c^(4)) - (((14 * a^(2)) * b^(6)) * c^(4)) - (((3 * a) * b^(7)) * c^(4)) - ((2 * b^(8)) * c^(4)) - ((4 * a^(7)) * c^(5)) - ((a^(6) * b) * c^(5)) - (((13 * a^(5)) * b^(2)) * c^(5)) - (((16 * a^(4)) * b^(3)) * c^(5)) + (((16 * a^(3)) * b^(4)) * c^(5)) + (((13 * a^(2)) * b^(5)) * c^(5)) + ((a * b^(6)) * c^(5)) + ((4 * b^(7)) * c^(5)) - ((2 * a^(6)) * c^(6)) + (((3 * a^(5)) * b) * c^(6)) - (((10 * a^(3)) * b^(3)) * c^(6)) + (((3 * a) * b^(5)) * c^(6)) - ((2 * b^(6)) * c^(6)) - ((a^(4) * b) * c^(7)) - ((a^(3) * b^(2)) * c^(7)) + ((a^(2) * b^(3)) * c^(7)) + ((a * b^(4)) * c^(7)) + (a^(4) * c^(8)) - (((3 * a^(3)) * b) * c^(8)) - (((8 * a^(2)) * b^(2)) * c^(8)) - (((3 * a) * b^(3)) * c^(8)) + (b^(4) * c^(8)) + ((2 * a^(3)) * c^(9)) + (((2 * a^(2)) * b) * c^(9)) - (((2 * a) * b^(2)) * c^(9)) - ((2 * b^(3)) * c^(9)) + (a^(2) * c^(10)) + (((2 * a) * b) * c^(10)) + (b^(2) * c^(10)) + ((2 * a^(10)) * S) + (((4 * a^(9)) * b) * S) + (((2 * a^(8)) * b^(2)) * S) - (((4 * a^(6)) * b^(4)) * S) - (((8 * a^(5)) * b^(5)) * S) - (((4 * a^(4)) * b^(6)) * S) + (((2 * a^(2)) * b^(8)) * S) + (((4 * a) * b^(9)) * S) + ((2 * b^(10)) * S) + (((4 * a^(9)) * c) * S) + ((((6 * a^(8)) * b) * c) * S) - ((((2 * a^(7)) * b^(2)) * c) * S) - ((((2 * a^(6)) * b^(3)) * c) * S) + ((((2 * a^(5)) * b^(4)) * c) * S) - ((((2 * a^(4)) * b^(5)) * c) * S) + ((((2 * a^(3)) * b^(6)) * c) * S) + ((((2 * a^(2)) * b^(7)) * c) * S) - ((((6 * a) * b^(8)) * c) * S) - (((4 * b^(9)) * c) * S) + (((4 * a^(8)) * c^(2)) * S) + ((((6 * a^(7)) * b) * c^(2)) * S) - ((((4 * a^(6)) * b^(2)) * c^(2)) * S) - ((((6 * a^(5)) * b^(3)) * c^(2)) * S) - ((((6 * a^(3)) * b^(5)) * c^(2)) * S) - ((((4 * a^(2)) * b^(6)) * c^(2)) * S) + ((((6 * a) * b^(7)) * c^(2)) * S) + (((4 * b^(8)) * c^(2)) * S) + (((4 * a^(7)) * c^(3)) * S) + ((((8 * a^(6)) * b) * c^(3)) * S) + ((((4 * a^(5)) * b^(2)) * c^(3)) * S) - ((((4 * a^(2)) * b^(5)) * c^(3)) * S) - ((((8 * a) * b^(6)) * c^(3)) * S) - (((4 * b^(7)) * c^(3)) * S) + (((4 * a^(6)) * c^(4)) * S) + ((((4 * a^(5)) * b) * c^(4)) * S) + ((((4 * a) * b^(5)) * c^(4)) * S) + (((4 * b^(6)) * c^(4)) * S) + (((4 * a^(5)) * c^(5)) * S) + ((((6 * a^(4)) * b) * c^(5)) * S) + ((((2 * a^(3)) * b^(2)) * c^(5)) * S) - ((((2 * a^(2)) * b^(3)) * c^(5)) * S) - ((((6 * a) * b^(4)) * c^(5)) * S) - (((4 * b^(5)) * c^(5)) * S) + ((((6 * a^(3)) * b) * c^(6)) * S) + ((((8 * a^(2)) * b^(2)) * c^(6)) * S) + ((((6 * a) * b^(3)) * c^(6)) * S) - (((4 * a^(3)) * c^(7)) * S) + ((((4 * a^(2)) * b) * c^(7)) * S) - ((((4 * a) * b^(2)) * c^(7)) * S) + (((4 * b^(3)) * c^(7)) * S) - (((6 * a^(2)) * c^(8)) * S) + ((((12 * a) * b) * c^(8)) * S) - (((6 * b^(2)) * c^(8)) * S) - (((8 * a) * c^(9)) * S) + (((8 * b) * c^(9)) * S) - ((4 * c^(10)) * S)})
tB = Barycenter({A, B, C}, {(((((((-a) + b - c) * (a + b - c)) * (b + c)^(2)) * ((-a) + b + c)) * (a + b + c)) * (a^(6) + ((2 * a^(5)) * b) + ((3 * a^(4)) * b^(2)) + ((4 * a^(3)) * b^(3)) + ((3 * a^(2)) * b^(4)) + ((2 * a) * b^(5)) + b^(6) - ((2 * a^(5)) * c) - (((5 * a^(4)) * b) * c) - (((5 * a^(3)) * b^(2)) * c) - (((3 * a^(2)) * b^(3)) * c) - ((a * b^(4)) * c) + ((3 * a^(4)) * c^(2)) + (((5 * a^(3)) * b) * c^(2)) + (((2 * a^(2)) * b^(2)) * c^(2)) - ((a * b^(3)) * c^(2)) - (b^(4) * c^(2)) - ((4 * a^(3)) * c^(3)) - (((3 * a^(2)) * b) * c^(3)) + ((a * b^(2)) * c^(3)) + ((3 * a^(2)) * c^(4)) + ((a * b) * c^(4)) - (b^(2) * c^(4)) - ((2 * a) * c^(5)) + c^(6))) + (((2 * ((2 * a^(5)) + ((2 * a^(4)) * b) + (a^(3) * b^(2)) + (a^(2) * b^(3)) + (a * b^(4)) + b^(5) - ((2 * a^(4)) * c) + ((a^(2) * b^(2)) * c) + (b^(4) * c) + (a^(3) * c^(2)) - ((a^(2) * b) * c^(2)) - (((2 * a) * b^(2)) * c^(2)) - (a^(2) * c^(3)) + (a * c^(4)) - (b * c^(4)) - c^(5))) * ((-a^(5)) - (a^(4) * b) + (a * b^(4)) + b^(5) + (a^(4) * c) + ((a^(3) * b) * c) + ((a * b^(3)) * c) + (b^(4) * c) + ((a * b) * c^(3)) + (a * c^(4)) - (b * c^(4)) - c^(5))) * S), (((((((-a) + b - c) * (a + b - c)) * ((-a) + c)^(2)) * ((-a) + b + c)) * (a + b + c)) * (a^(6) + ((2 * a^(5)) * b) + ((3 * a^(4)) * b^(2)) + ((4 * a^(3)) * b^(3)) + ((3 * a^(2)) * b^(4)) + ((2 * a) * b^(5)) + b^(6) + ((a^(4) * b) * c) + (((3 * a^(3)) * b^(2)) * c) + (((5 * a^(2)) * b^(3)) * c) + (((5 * a) * b^(4)) * c) + ((2 * b^(5)) * c) - (a^(4) * c^(2)) - ((a^(3) * b) * c^(2)) + (((2 * a^(2)) * b^(2)) * c^(2)) + (((5 * a) * b^(3)) * c^(2)) + ((3 * b^(4)) * c^(2)) - ((a^(2) * b) * c^(3)) + (((3 * a) * b^(2)) * c^(3)) + ((4 * b^(3)) * c^(3)) - (a^(2) * c^(4)) + ((a * b) * c^(4)) + ((3 * b^(2)) * c^(4)) + ((2 * b) * c^(5)) + c^(6))) - (((2 * ((-a^(5)) - (a^(4) * b) + (a * b^(4)) + b^(5) + (a^(4) * c) + ((a^(3) * b) * c) + ((a * b^(3)) * c) + (b^(4) * c) + ((a * b) * c^(3)) + (a * c^(4)) - (b * c^(4)) - c^(5))) * (a^(5) + (a^(4) * b) + (a^(3) * b^(2)) + (a^(2) * b^(3)) + ((2 * a) * b^(4)) + (2 * b^(5)) - (a^(4) * c) - ((a^(2) * b^(2)) * c) + ((2 * b^(4)) * c) - (((2 * a^(2)) * b) * c^(2)) - ((a * b^(2)) * c^(2)) + (b^(3) * c^(2)) + (b^(2) * c^(3)) - (a * c^(4)) + (b * c^(4)) + c^(5))) * S), ((((((a + b)^(2) * ((-a) + b - c)) * (a + b - c)) * ((-a) + b + c)) * (a + b + c)) * (a^(6) - (a^(4) * b^(2)) - (a^(2) * b^(4)) + b^(6) - ((2 * a^(5)) * c) + ((a^(4) * b) * c) + ((a^(3) * b^(2)) * c) - ((a^(2) * b^(3)) * c) - ((a * b^(4)) * c) + ((2 * b^(5)) * c) + ((3 * a^(4)) * c^(2)) - (((3 * a^(3)) * b) * c^(2)) + (((2 * a^(2)) * b^(2)) * c^(2)) - (((3 * a) * b^(3)) * c^(2)) + ((3 * b^(4)) * c^(2)) - ((4 * a^(3)) * c^(3)) + (((5 * a^(2)) * b) * c^(3)) - (((5 * a) * b^(2)) * c^(3)) + ((4 * b^(3)) * c^(3)) + ((3 * a^(2)) * c^(4)) - (((5 * a) * b) * c^(4)) + ((3 * b^(2)) * c^(4)) - ((2 * a) * c^(5)) + ((2 * b) * c^(5)) + c^(6))) + (((2 * ((-a^(5)) - (a^(4) * b) + (a * b^(4)) + b^(5) + (a^(4) * c) + ((a^(3) * b) * c) + ((a * b^(3)) * c) + (b^(4) * c) + ((a * b) * c^(3)) + (a * c^(4)) - (b * c^(4)) - c^(5))) * ((-a^(5)) - (a^(4) * b) + (a * b^(4)) + b^(5) + (a^(4) * c) - (((2 * a^(2)) * b^(2)) * c) + (b^(4) * c) - (a^(3) * c^(2)) - ((a^(2) * b) * c^(2)) + ((a * b^(2)) * c^(2)) + (b^(3) * c^(2)) + (a^(2) * c^(3)) + (b^(2) * c^(3)) - ((2 * a) * c^(4)) + ((2 * b) * c^(4)) + (2 * c^(5)))) * S)})
tC = Barycenter({A, B, C}, {(((((((-a) - b + c) * (a - b + c)) * (b + c)^(2)) * ((-a) + b + c)) * (a + b + c)) * (a^(6) - ((2 * a^(5)) * b) + ((3 * a^(4)) * b^(2)) - ((4 * a^(3)) * b^(3)) + ((3 * a^(2)) * b^(4)) - ((2 * a) * b^(5)) + b^(6) + ((2 * a^(5)) * c) - (((5 * a^(4)) * b) * c) + (((5 * a^(3)) * b^(2)) * c) - (((3 * a^(2)) * b^(3)) * c) + ((a * b^(4)) * c) + ((3 * a^(4)) * c^(2)) - (((5 * a^(3)) * b) * c^(2)) + (((2 * a^(2)) * b^(2)) * c^(2)) + ((a * b^(3)) * c^(2)) - (b^(4) * c^(2)) + ((4 * a^(3)) * c^(3)) - (((3 * a^(2)) * b) * c^(3)) - ((a * b^(2)) * c^(3)) + ((3 * a^(2)) * c^(4)) - ((a * b) * c^(4)) - (b^(2) * c^(4)) + ((2 * a) * c^(5)) + c^(6))) + (((2 * ((2 * a^(5)) - ((2 * a^(4)) * b) + (a^(3) * b^(2)) - (a^(2) * b^(3)) + (a * b^(4)) - b^(5) + ((2 * a^(4)) * c) - ((a^(2) * b^(2)) * c) - (b^(4) * c) + (a^(3) * c^(2)) + ((a^(2) * b) * c^(2)) - (((2 * a) * b^(2)) * c^(2)) + (a^(2) * c^(3)) + (a * c^(4)) + (b * c^(4)) + c^(5))) * ((-a^(5)) + (a^(4) * b) + (a * b^(4)) - b^(5) - (a^(4) * c) + ((a^(3) * b) * c) + ((a * b^(3)) * c) - (b^(4) * c) + ((a * b) * c^(3)) + (a * c^(4)) + (b * c^(4)) + c^(5))) * S), ((((((a + c)^(2) * ((-a) - b + c)) * (a - b + c)) * ((-a) + b + c)) * (a + b + c)) * (a^(6) - ((2 * a^(5)) * b) + ((3 * a^(4)) * b^(2)) - ((4 * a^(3)) * b^(3)) + ((3 * a^(2)) * b^(4)) - ((2 * a) * b^(5)) + b^(6) + ((a^(4) * b) * c) - (((3 * a^(3)) * b^(2)) * c) + (((5 * a^(2)) * b^(3)) * c) - (((5 * a) * b^(4)) * c) + ((2 * b^(5)) * c) - (a^(4) * c^(2)) + ((a^(3) * b) * c^(2)) + (((2 * a^(2)) * b^(2)) * c^(2)) - (((5 * a) * b^(3)) * c^(2)) + ((3 * b^(4)) * c^(2)) - ((a^(2) * b) * c^(3)) - (((3 * a) * b^(2)) * c^(3)) + ((4 * b^(3)) * c^(3)) - (a^(2) * c^(4)) - ((a * b) * c^(4)) + ((3 * b^(2)) * c^(4)) + ((2 * b) * c^(5)) + c^(6))) + (((2 * ((-a^(5)) + (a^(4) * b) + (a * b^(4)) - b^(5) - (a^(4) * c) + ((a^(3) * b) * c) + ((a * b^(3)) * c) - (b^(4) * c) + ((a * b) * c^(3)) + (a * c^(4)) + (b * c^(4)) + c^(5))) * ((-a^(5)) + (a^(4) * b) - (a^(3) * b^(2)) + (a^(2) * b^(3)) - ((2 * a) * b^(4)) + (2 * b^(5)) - (a^(4) * c) - ((a^(2) * b^(2)) * c) + ((2 * b^(4)) * c) - (((2 * a^(2)) * b) * c^(2)) + ((a * b^(2)) * c^(2)) + (b^(3) * c^(2)) + (b^(2) * c^(3)) + (a * c^(4)) + (b * c^(4)) + c^(5))) * S), ((((((a - b)^(2) * ((-a) - b + c)) * (a - b + c)) * ((-a) + b + c)) * (a + b + c)) * (a^(6) - (a^(4) * b^(2)) - (a^(2) * b^(4)) + b^(6) + ((2 * a^(5)) * c) + ((a^(4) * b) * c) - ((a^(3) * b^(2)) * c) - ((a^(2) * b^(3)) * c) + ((a * b^(4)) * c) + ((2 * b^(5)) * c) + ((3 * a^(4)) * c^(2)) + (((3 * a^(3)) * b) * c^(2)) + (((2 * a^(2)) * b^(2)) * c^(2)) + (((3 * a) * b^(3)) * c^(2)) + ((3 * b^(4)) * c^(2)) + ((4 * a^(3)) * c^(3)) + (((5 * a^(2)) * b) * c^(3)) + (((5 * a) * b^(2)) * c^(3)) + ((4 * b^(3)) * c^(3)) + ((3 * a^(2)) * c^(4)) + (((5 * a) * b) * c^(4)) + ((3 * b^(2)) * c^(4)) + ((2 * a) * c^(5)) + ((2 * b) * c^(5)) + c^(6))) - (((2 * ((-a^(5)) + (a^(4) * b) + (a * b^(4)) - b^(5) - (a^(4) * c) + ((a^(3) * b) * c) + ((a * b^(3)) * c) - (b^(4) * c) + ((a * b) * c^(3)) + (a * c^(4)) + (b * c^(4)) + c^(5))) * (a^(5) - (a^(4) * b) - (a * b^(4)) + b^(5) + (a^(4) * c) - (((2 * a^(2)) * b^(2)) * c) + (b^(4) * c) + (a^(3) * c^(2)) - ((a^(2) * b) * c^(2)) - ((a * b^(2)) * c^(2)) + (b^(3) * c^(2)) + (a^(2) * c^(3)) + (b^(2) * c^(3)) + ((2 * a) * c^(4)) + ((2 * b) * c^(4)) + (2 * c^(5)))) * S)})
q = Circle(cb, tB)
s = Circle(cc, tC)
X13520 = Barycenter({A, B, C}, {((2 * a^(6)) * b^(2)) - (a^(4) * b^(4)) - ((2 * a^(2)) * b^(6)) + b^(8) + ((2 * a^(6)) * c^(2)) - (((6 * a^(4)) * b^(2)) * c^(2)) + (((4 * a^(2)) * b^(4)) * c^(2)) - ((6 * b^(6)) * c^(2)) - (a^(4) * c^(4)) + (((4 * a^(2)) * b^(2)) * c^(4)) + ((10 * b^(4)) * c^(4)) - ((2 * a^(2)) * c^(6)) - ((6 * b^(2)) * c^(6)) + c^(8) - ((4 * a^(6)) * S) + (((4 * a^(4)) * b^(2)) * S) + (((2 * a^(2)) * b^(4)) * S) + ((2 * b^(6)) * S) + (((4 * a^(4)) * c^(2)) * S) - ((((8 * a^(2)) * b^(2)) * c^(2)) * S) - (((2 * b^(4)) * c^(2)) * S) + (((2 * a^(2)) * c^(4)) * S) - (((2 * b^(2)) * c^(4)) * S) + ((2 * c^(6)) * S), a^(8) - ((2 * a^(6)) * b^(2)) - (a^(4) * b^(4)) + ((2 * a^(2)) * b^(6)) - ((6 * a^(6)) * c^(2)) + (((4 * a^(4)) * b^(2)) * c^(2)) - (((6 * a^(2)) * b^(4)) * c^(2)) + ((2 * b^(6)) * c^(2)) + ((10 * a^(4)) * c^(4)) + (((4 * a^(2)) * b^(2)) * c^(4)) - (b^(4) * c^(4)) - ((6 * a^(2)) * c^(6)) - ((2 * b^(2)) * c^(6)) + c^(8) + ((2 * a^(6)) * S) + (((2 * a^(4)) * b^(2)) * S) + (((4 * a^(2)) * b^(4)) * S) - ((4 * b^(6)) * S) - (((2 * a^(4)) * c^(2)) * S) - ((((8 * a^(2)) * b^(2)) * c^(2)) * S) + (((4 * b^(4)) * c^(2)) * S) - (((2 * a^(2)) * c^(4)) * S) + (((2 * b^(2)) * c^(4)) * S) + ((2 * c^(6)) * S), a^(8) - ((6 * a^(6)) * b^(2)) + ((10 * a^(4)) * b^(4)) - ((6 * a^(2)) * b^(6)) + b^(8) - ((2 * a^(6)) * c^(2)) + (((4 * a^(4)) * b^(2)) * c^(2)) + (((4 * a^(2)) * b^(4)) * c^(2)) - ((2 * b^(6)) * c^(2)) - (a^(4) * c^(4)) - (((6 * a^(2)) * b^(2)) * c^(4)) - (b^(4) * c^(4)) + ((2 * a^(2)) * c^(6)) + ((2 * b^(2)) * c^(6)) + ((2 * a^(6)) * S) - (((2 * a^(4)) * b^(2)) * S) - (((2 * a^(2)) * b^(4)) * S) + ((2 * b^(6)) * S) + (((2 * a^(4)) * c^(2)) * S) - ((((8 * a^(2)) * b^(2)) * c^(2)) * S) + (((2 * b^(4)) * c^(2)) * S) + (((4 * a^(2)) * c^(4)) * S) + (((4 * b^(2)) * c^(4)) * S) - ((4 * c^(6)) * S)})
X49222 = Barycenter({A, B, C}, {((((-a^(2)) + b^(2) + c^(2)) * (((-a^(2)) * b^(2)) + (a^(2) + b^(2) - c^(2))^(2))) * (((-a^(2)) * c^(2)) + (a^(2) - b^(2) + c^(2))^(2))) - (((2 * a^(2)) * (a^(6) - (a^(4) * (b^(2) + c^(2))) + ((b^(2) - c^(2)) * (b^(4) - c^(4))) - (a^(2) * (b^(4) - ((3 * b^(2)) * c^(2)) + c^(4))))) * S), (((a^(2) - b^(2) + c^(2)) * (((-a^(2)) * b^(2)) + (a^(2) + b^(2) - c^(2))^(2))) * (((-b^(2)) * c^(2)) + ((-a^(2)) + b^(2) + c^(2))^(2))) - (((2 * b^(2)) * (b^(6) - (b^(4) * (a^(2) + c^(2))) + (((-a^(2)) + c^(2)) * ((-a^(4)) + c^(4))) - (b^(2) * (a^(4) - ((3 * a^(2)) * c^(2)) + c^(4))))) * S), (((a^(2) + b^(2) - c^(2)) * (((-a^(2)) * c^(2)) + (a^(2) - b^(2) + c^(2))^(2))) * (((-b^(2)) * c^(2)) + ((-a^(2)) + b^(2) + c^(2))^(2))) - (((2 * c^(2)) * (((a^(2) - b^(2)) * (a^(4) - b^(4))) - ((a^(4) - ((3 * a^(2)) * b^(2)) + b^(4)) * c^(2)) - ((a^(2) + b^(2)) * c^(4)) + c^(6))) * S)})
X50720 = Barycenter({A, B, C}, {(2 * a^(6)) - ((2 * a^(4)) * b^(2)) + (a^(2) * b^(4)) - b^(6) - ((2 * a^(4)) * c^(2)) + (b^(4) * c^(2)) + (a^(2) * c^(4)) + (b^(2) * c^(4)) - c^(6) + ((2 * (b^(2) - c^(2))^(2)) * S), (-a^(6)) + (a^(4) * b^(2)) - ((2 * a^(2)) * b^(4)) + (2 * b^(6)) + (a^(4) * c^(2)) - ((2 * b^(4)) * c^(2)) + (a^(2) * c^(4)) + (b^(2) * c^(4)) - c^(6) + ((2 * ((-a^(2)) + c^(2))^(2)) * S), (-a^(6)) + (a^(4) * b^(2)) + (a^(2) * b^(4)) - b^(6) + (a^(4) * c^(2)) + (b^(4) * c^(2)) - ((2 * a^(2)) * c^(4)) - ((2 * b^(2)) * c^(4)) + (2 * c^(6)) + ((2 * (a^(2) - b^(2))^(2)) * S)})
b2b = Barycenter({A, B, C}, {(-2 * a^(6)) - (a^(5) * b) + ((3 * a^(4)) * b^(2)) - ((2 * a^(2)) * b^(4)) + (a * b^(5)) + b^(6) - ((a^(4) * b) * c) - (((6 * a^(3)) * b^(2)) * c) - (((2 * a^(2)) * b^(3)) * c) + (((2 * a) * b^(4)) * c) - (b^(5) * c) + ((2 * a^(4)) * c^(2)) + (((2 * a^(3)) * b) * c^(2)) - ((4 * b^(4)) * c^(2)) + (((2 * a^(2)) * b) * c^(3)) - (((2 * a) * b^(2)) * c^(3)) + ((2 * b^(3)) * c^(3)) + ((2 * a^(2)) * c^(4)) - ((a * b) * c^(4)) + ((5 * b^(2)) * c^(4)) - (b * c^(5)) - (2 * c^(6)) + (((6 * a^(3)) * b) * S) + (((2 * a^(2)) * b^(2)) * S) - (((2 * a) * b^(3)) * S) + ((2 * b^(4)) * S) - ((((6 * a^(2)) * b) * c) * S) + (((2 * b^(3)) * c) * S) + ((((2 * a) * b) * c^(2)) * S) - (((2 * b^(2)) * c^(2)) * S) - (((2 * b) * c^(3)) * S), ((2 * b) * ((-a^(5)) - (a^(4) * b) + (a^(3) * b^(2)) + (a^(2) * b^(3)) - (a^(4) * c) - ((a^(2) * b^(2)) * c) - (((2 * a) * b^(3)) * c) + ((2 * a^(3)) * c^(2)) + (((2 * a^(2)) * b) * c^(2)) - ((a * b^(2)) * c^(2)) + (b^(3) * c^(2)) + ((2 * a^(2)) * c^(3)) + (b^(2) * c^(3)) - (a * c^(4)) - (b * c^(4)) - c^(5) - ((2 * a^(3)) * S) - ((2 * b^(3)) * S) + (((2 * a^(2)) * c) * S) + (((2 * a) * c^(2)) * S) - ((2 * c^(3)) * S))), (-2 * a^(6)) - (a^(5) * b) + ((5 * a^(4)) * b^(2)) + ((2 * a^(3)) * b^(3)) - ((4 * a^(2)) * b^(4)) - (a * b^(5)) + b^(6) - ((a^(4) * b) * c) - (((2 * a^(3)) * b^(2)) * c) + (((2 * a) * b^(4)) * c) + (b^(5) * c) + ((2 * a^(4)) * c^(2)) + (((2 * a^(3)) * b) * c^(2)) - (((2 * a) * b^(3)) * c^(2)) - ((2 * b^(4)) * c^(2)) + (((2 * a^(2)) * b) * c^(3)) - (((6 * a) * b^(2)) * c^(3)) + ((2 * a^(2)) * c^(4)) - ((a * b) * c^(4)) + ((3 * b^(2)) * c^(4)) - (b * c^(5)) - (2 * c^(6)) - (((2 * a^(3)) * b) * S) - (((2 * a^(2)) * b^(2)) * S) + (((2 * a) * b^(3)) * S) + ((2 * b^(4)) * S) + ((((2 * a^(2)) * b) * c) * S) - (((2 * b^(3)) * c) * S) - ((((6 * a) * b) * c^(2)) * S) + (((2 * b^(2)) * c^(2)) * S) + (((6 * b) * c^(3)) * S)})
c2b = Barycenter({A, B, C}, {(2 * a^(6)) - ((2 * a^(4)) * b^(2)) - ((2 * a^(2)) * b^(4)) + (2 * b^(6)) - (a^(5) * c) + ((a^(4) * b) * c) + (((2 * a^(3)) * b^(2)) * c) - (((2 * a^(2)) * b^(3)) * c) - ((a * b^(4)) * c) + (b^(5) * c) - ((3 * a^(4)) * c^(2)) - (((6 * a^(3)) * b) * c^(2)) - (((2 * a) * b^(3)) * c^(2)) - ((5 * b^(4)) * c^(2)) + (((2 * a^(2)) * b) * c^(3)) - ((2 * b^(3)) * c^(3)) + ((2 * a^(2)) * c^(4)) + (((2 * a) * b) * c^(4)) + ((4 * b^(2)) * c^(4)) + (a * c^(5)) + (b * c^(5)) - c^(6) + (((6 * a^(3)) * c) * S) + ((((6 * a^(2)) * b) * c) * S) + ((((2 * a) * b^(2)) * c) * S) + (((2 * b^(3)) * c) * S) - (((2 * a^(2)) * c^(2)) * S) + (((2 * b^(2)) * c^(2)) * S) - (((2 * a) * c^(3)) * S) - (((2 * b) * c^(3)) * S) - ((2 * c^(4)) * S), (2 * a^(6)) - ((2 * a^(4)) * b^(2)) - ((2 * a^(2)) * b^(4)) + (2 * b^(6)) - (a^(5) * c) + ((a^(4) * b) * c) + (((2 * a^(3)) * b^(2)) * c) - (((2 * a^(2)) * b^(3)) * c) - ((a * b^(4)) * c) + (b^(5) * c) - ((5 * a^(4)) * c^(2)) - (((2 * a^(3)) * b) * c^(2)) - (((6 * a) * b^(3)) * c^(2)) - ((3 * b^(4)) * c^(2)) + ((2 * a^(3)) * c^(3)) - (((2 * a) * b^(2)) * c^(3)) + ((4 * a^(2)) * c^(4)) + (((2 * a) * b) * c^(4)) + ((2 * b^(2)) * c^(4)) - (a * c^(5)) - (b * c^(5)) - c^(6) - (((2 * a^(3)) * c) * S) - ((((2 * a^(2)) * b) * c) * S) - ((((6 * a) * b^(2)) * c) * S) - (((6 * b^(3)) * c) * S) + (((2 * a^(2)) * c^(2)) * S) - (((2 * b^(2)) * c^(2)) * S) + (((2 * a) * c^(3)) * S) + (((2 * b) * c^(3)) * S) - ((2 * c^(4)) * S), ((-2 * c) * (a^(5) - (a^(4) * b) - ((2 * a^(3)) * b^(2)) + ((2 * a^(2)) * b^(3)) + (a * b^(4)) - b^(5) - (a^(4) * c) + (((2 * a^(2)) * b^(2)) * c) - (b^(4) * c) - (a^(3) * c^(2)) - ((a^(2) * b) * c^(2)) + ((a * b^(2)) * c^(2)) + (b^(3) * c^(2)) + (a^(2) * c^(3)) + (((2 * a) * b) * c^(3)) + (b^(2) * c^(3)) + ((2 * a^(3)) * S) + (((2 * a^(2)) * b) * S) - (((2 * a) * b^(2)) * S) - ((2 * b^(3)) * S) - ((2 * c^(3)) * S)))})
a2b = Barycenter({A, B, C}, {((-2 * a) * ((a^(3) * b^(2)) + (a^(2) * b^(3)) - (a * b^(4)) - b^(5) + (((2 * a^(3)) * b) * c) + ((a^(2) * b^(2)) * c) + (b^(4) * c) + (a^(3) * c^(2)) - ((a^(2) * b) * c^(2)) + (((2 * a) * b^(2)) * c^(2)) + ((2 * b^(3)) * c^(2)) - (a^(2) * c^(3)) - ((2 * b^(2)) * c^(3)) - (a * c^(4)) - (b * c^(4)) + c^(5) - ((2 * a^(3)) * S) - ((2 * b^(3)) * S) - (((2 * b^(2)) * c) * S) + (((2 * b) * c^(2)) * S) + ((2 * c^(3)) * S))), (-a^(6)) - (a^(5) * b) + ((2 * a^(4)) * b^(2)) - ((3 * a^(2)) * b^(4)) + (a * b^(5)) + (2 * b^(6)) - (a^(5) * c) + (((2 * a^(4)) * b) * c) - (((2 * a^(3)) * b^(2)) * c) - (((6 * a^(2)) * b^(3)) * c) - ((a * b^(4)) * c) + ((4 * a^(4)) * c^(2)) - (((2 * a) * b^(3)) * c^(2)) - ((2 * b^(4)) * c^(2)) + ((2 * a^(3)) * c^(3)) - (((2 * a^(2)) * b) * c^(3)) + (((2 * a) * b^(2)) * c^(3)) - ((5 * a^(2)) * c^(4)) + ((a * b) * c^(4)) - ((2 * b^(2)) * c^(4)) - (a * c^(5)) + (2 * c^(6)) - ((2 * a^(4)) * S) + (((2 * a^(3)) * b) * S) - (((2 * a^(2)) * b^(2)) * S) - (((6 * a) * b^(3)) * S) + (((2 * a^(3)) * c) * S) - ((((6 * a) * b^(2)) * c) * S) + (((2 * a^(2)) * c^(2)) * S) - ((((2 * a) * b) * c^(2)) * S) - (((2 * a) * c^(3)) * S), (-a^(6)) + (a^(5) * b) + ((4 * a^(4)) * b^(2)) - ((2 * a^(3)) * b^(3)) - ((5 * a^(2)) * b^(4)) + (a * b^(5)) + (2 * b^(6)) + (a^(5) * c) + (((2 * a^(4)) * b) * c) - (((2 * a^(2)) * b^(3)) * c) - ((a * b^(4)) * c) + ((2 * a^(4)) * c^(2)) + (((2 * a^(3)) * b) * c^(2)) - (((2 * a) * b^(3)) * c^(2)) - ((2 * b^(4)) * c^(2)) - (((6 * a^(2)) * b) * c^(3)) + (((2 * a) * b^(2)) * c^(3)) - ((3 * a^(2)) * c^(4)) + ((a * b) * c^(4)) - ((2 * b^(2)) * c^(4)) - (a * c^(5)) + (2 * c^(6)) - ((2 * a^(4)) * S) - (((2 * a^(3)) * b) * S) + (((2 * a^(2)) * b^(2)) * S) + (((2 * a) * b^(3)) * S) - (((2 * a^(3)) * c) * S) + ((((2 * a) * b^(2)) * c) * S) - (((2 * a^(2)) * c^(2)) * S) + ((((6 * a) * b) * c^(2)) * S) + (((6 * a) * c^(3)) * S)})
c3c = Barycenter({A, B, C}, {(-2 * a^(6)) + ((2 * a^(4)) * b^(2)) + ((2 * a^(2)) * b^(4)) - (2 * b^(6)) - (a^(5) * c) - ((a^(4) * b) * c) + (((2 * a^(3)) * b^(2)) * c) + (((2 * a^(2)) * b^(3)) * c) - ((a * b^(4)) * c) - (b^(5) * c) + ((3 * a^(4)) * c^(2)) - (((6 * a^(3)) * b) * c^(2)) - (((2 * a) * b^(3)) * c^(2)) + ((5 * b^(4)) * c^(2)) - (((2 * a^(2)) * b) * c^(3)) + ((2 * b^(3)) * c^(3)) - ((2 * a^(2)) * c^(4)) + (((2 * a) * b) * c^(4)) - ((4 * b^(2)) * c^(4)) + (a * c^(5)) - (b * c^(5)) + c^(6) + (((6 * a^(3)) * c) * S) - ((((6 * a^(2)) * b) * c) * S) + ((((2 * a) * b^(2)) * c) * S) - (((2 * b^(3)) * c) * S) + (((2 * a^(2)) * c^(2)) * S) - (((2 * b^(2)) * c^(2)) * S) - (((2 * a) * c^(3)) * S) + (((2 * b) * c^(3)) * S) + ((2 * c^(4)) * S), (-2 * a^(6)) + ((2 * a^(4)) * b^(2)) + ((2 * a^(2)) * b^(4)) - (2 * b^(6)) - (a^(5) * c) - ((a^(4) * b) * c) + (((2 * a^(3)) * b^(2)) * c) + (((2 * a^(2)) * b^(3)) * c) - ((a * b^(4)) * c) - (b^(5) * c) + ((5 * a^(4)) * c^(2)) - (((2 * a^(3)) * b) * c^(2)) - (((6 * a) * b^(3)) * c^(2)) + ((3 * b^(4)) * c^(2)) + ((2 * a^(3)) * c^(3)) - (((2 * a) * b^(2)) * c^(3)) - ((4 * a^(2)) * c^(4)) + (((2 * a) * b) * c^(4)) - ((2 * b^(2)) * c^(4)) - (a * c^(5)) + (b * c^(5)) + c^(6) - (((2 * a^(3)) * c) * S) + ((((2 * a^(2)) * b) * c) * S) - ((((6 * a) * b^(2)) * c) * S) + (((6 * b^(3)) * c) * S) - (((2 * a^(2)) * c^(2)) * S) + (((2 * b^(2)) * c^(2)) * S) + (((2 * a) * c^(3)) * S) - (((2 * b) * c^(3)) * S) + ((2 * c^(4)) * S), ((2 * c) * ((-a^(5)) - (a^(4) * b) + ((2 * a^(3)) * b^(2)) + ((2 * a^(2)) * b^(3)) - (a * b^(4)) - b^(5) - (a^(4) * c) + (((2 * a^(2)) * b^(2)) * c) - (b^(4) * c) + (a^(3) * c^(2)) - ((a^(2) * b) * c^(2)) - ((a * b^(2)) * c^(2)) + (b^(3) * c^(2)) + (a^(2) * c^(3)) - (((2 * a) * b) * c^(3)) + (b^(2) * c^(3)) - ((2 * a^(3)) * S) + (((2 * a^(2)) * b) * S) + (((2 * a) * b^(2)) * S) - ((2 * b^(3)) * S) - ((2 * c^(3)) * S)))})
a3c = Barycenter({A, B, C}, {((-2 * a) * ((a^(3) * b^(2)) - (a^(2) * b^(3)) - (a * b^(4)) + b^(5) + (((2 * a^(3)) * b) * c) - ((a^(2) * b^(2)) * c) - (b^(4) * c) + (a^(3) * c^(2)) + ((a^(2) * b) * c^(2)) + (((2 * a) * b^(2)) * c^(2)) - ((2 * b^(3)) * c^(2)) + (a^(2) * c^(3)) + ((2 * b^(2)) * c^(3)) - (a * c^(4)) + (b * c^(4)) - c^(5) - ((2 * a^(3)) * S) + ((2 * b^(3)) * S) + (((2 * b^(2)) * c) * S) - (((2 * b) * c^(2)) * S) - ((2 * c^(3)) * S))), (-a^(6)) + (a^(5) * b) + ((2 * a^(4)) * b^(2)) - ((3 * a^(2)) * b^(4)) - (a * b^(5)) + (2 * b^(6)) + (a^(5) * c) + (((2 * a^(4)) * b) * c) + (((2 * a^(3)) * b^(2)) * c) - (((6 * a^(2)) * b^(3)) * c) + ((a * b^(4)) * c) + ((4 * a^(4)) * c^(2)) + (((2 * a) * b^(3)) * c^(2)) - ((2 * b^(4)) * c^(2)) - ((2 * a^(3)) * c^(3)) - (((2 * a^(2)) * b) * c^(3)) - (((2 * a) * b^(2)) * c^(3)) - ((5 * a^(2)) * c^(4)) - ((a * b) * c^(4)) - ((2 * b^(2)) * c^(4)) + (a * c^(5)) + (2 * c^(6)) - ((2 * a^(4)) * S) - (((2 * a^(3)) * b) * S) - (((2 * a^(2)) * b^(2)) * S) + (((6 * a) * b^(3)) * S) - (((2 * a^(3)) * c) * S) + ((((6 * a) * b^(2)) * c) * S) + (((2 * a^(2)) * c^(2)) * S) + ((((2 * a) * b) * c^(2)) * S) + (((2 * a) * c^(3)) * S), (-a^(6)) - (a^(5) * b) + ((4 * a^(4)) * b^(2)) + ((2 * a^(3)) * b^(3)) - ((5 * a^(2)) * b^(4)) - (a * b^(5)) + (2 * b^(6)) - (a^(5) * c) + (((2 * a^(4)) * b) * c) - (((2 * a^(2)) * b^(3)) * c) + ((a * b^(4)) * c) + ((2 * a^(4)) * c^(2)) - (((2 * a^(3)) * b) * c^(2)) + (((2 * a) * b^(3)) * c^(2)) - ((2 * b^(4)) * c^(2)) - (((6 * a^(2)) * b) * c^(3)) - (((2 * a) * b^(2)) * c^(3)) - ((3 * a^(2)) * c^(4)) - ((a * b) * c^(4)) - ((2 * b^(2)) * c^(4)) + (a * c^(5)) + (2 * c^(6)) - ((2 * a^(4)) * S) + (((2 * a^(3)) * b) * S) + (((2 * a^(2)) * b^(2)) * S) - (((2 * a) * b^(3)) * S) + (((2 * a^(3)) * c) * S) - ((((2 * a) * b^(2)) * c) * S) - (((2 * a^(2)) * c^(2)) * S) - ((((6 * a) * b) * c^(2)) * S) - (((6 * a) * c^(3)) * S)})
b3c = Barycenter({A, B, C}, {(2 * a^(6)) - (a^(5) * b) - ((3 * a^(4)) * b^(2)) + ((2 * a^(2)) * b^(4)) + (a * b^(5)) - b^(6) + ((a^(4) * b) * c) - (((6 * a^(3)) * b^(2)) * c) + (((2 * a^(2)) * b^(3)) * c) + (((2 * a) * b^(4)) * c) + (b^(5) * c) - ((2 * a^(4)) * c^(2)) + (((2 * a^(3)) * b) * c^(2)) + ((4 * b^(4)) * c^(2)) - (((2 * a^(2)) * b) * c^(3)) - (((2 * a) * b^(2)) * c^(3)) - ((2 * b^(3)) * c^(3)) - ((2 * a^(2)) * c^(4)) - ((a * b) * c^(4)) - ((5 * b^(2)) * c^(4)) + (b * c^(5)) + (2 * c^(6)) + (((6 * a^(3)) * b) * S) - (((2 * a^(2)) * b^(2)) * S) - (((2 * a) * b^(3)) * S) - ((2 * b^(4)) * S) + ((((6 * a^(2)) * b) * c) * S) - (((2 * b^(3)) * c) * S) + ((((2 * a) * b) * c^(2)) * S) + (((2 * b^(2)) * c^(2)) * S) + (((2 * b) * c^(3)) * S), ((-2 * b) * (a^(5) - (a^(4) * b) - (a^(3) * b^(2)) + (a^(2) * b^(3)) - (a^(4) * c) - ((a^(2) * b^(2)) * c) + (((2 * a) * b^(3)) * c) - ((2 * a^(3)) * c^(2)) + (((2 * a^(2)) * b) * c^(2)) + ((a * b^(2)) * c^(2)) + (b^(3) * c^(2)) + ((2 * a^(2)) * c^(3)) + (b^(2) * c^(3)) + (a * c^(4)) - (b * c^(4)) - c^(5) + ((2 * a^(3)) * S) - ((2 * b^(3)) * S) + (((2 * a^(2)) * c) * S) - (((2 * a) * c^(2)) * S) - ((2 * c^(3)) * S))), (2 * a^(6)) - (a^(5) * b) - ((5 * a^(4)) * b^(2)) + ((2 * a^(3)) * b^(3)) + ((4 * a^(2)) * b^(4)) - (a * b^(5)) - b^(6) + ((a^(4) * b) * c) - (((2 * a^(3)) * b^(2)) * c) + (((2 * a) * b^(4)) * c) - (b^(5) * c) - ((2 * a^(4)) * c^(2)) + (((2 * a^(3)) * b) * c^(2)) - (((2 * a) * b^(3)) * c^(2)) + ((2 * b^(4)) * c^(2)) - (((2 * a^(2)) * b) * c^(3)) - (((6 * a) * b^(2)) * c^(3)) - ((2 * a^(2)) * c^(4)) - ((a * b) * c^(4)) - ((3 * b^(2)) * c^(4)) + (b * c^(5)) + (2 * c^(6)) - (((2 * a^(3)) * b) * S) + (((2 * a^(2)) * b^(2)) * S) + (((2 * a) * b^(3)) * S) - ((2 * b^(4)) * S) - ((((2 * a^(2)) * b) * c) * S) + (((2 * b^(3)) * c) * S) - ((((6 * a) * b) * c^(2)) * S) - (((2 * b^(2)) * c^(2)) * S) - (((6 * b) * c^(3)) * S)})