A = (9.590042762115932, 9.039005384859044)
B: (0, 0)
C: (6, 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)
steiner = TriangleCurve(A, B, C, 0 = (B * C) + (C * A) + (A * B))
G = TriangleCenter(A, B, C, 2)
X1341 = TriangleCenter(A, B, C, 1341)
X1340 = TriangleCenter(A, B, C, 1340)
f = Line(G, X1341)
g = Line(G, X1340)
c1 = TriangleCurve(A, B, C, 0 = ((A * B) * c^(2)) + ((A * b^(2)) * C) + ((a^(2) * B) * C) - ((A + B + C) * (((B * ((-a) + c)) * (a + c)) - (((a - b) * (a + b)) * C))))
c2 = TriangleCurve(A, B, C, 0 = ((A * B) * c^(2)) + ((A * b^(2)) * C) + ((a^(2) * B) * C) - ((A + B + C) * ((((-A) * (b - c)) * (b + c)) + (((a - b) * (a + b)) * C))))
X99 = TriangleCenter(A, B, C, 99)
c3 = TriangleCurve(A, B, C, 0 = ((A * B) * c^(2)) + ((A * b^(2)) * C) + ((a^(2) * B) * C) - (((((-B) * ((-a) + c)) * (a + c)) + ((A * (b - c)) * (b + c))) * (A + B + C)))
cA = Barycenter({A, B, C}, {(-3 * a^(4)) + ((2 * a^(2)) * b^(2)) - b^(4) + ((2 * a^(2)) * c^(2)) + ((2 * b^(2)) * c^(2)) - c^(4), (a^(2) * (a^(2) + b^(2) - c^(2))), (a^(2) * (a^(2) - b^(2) + c^(2)))})
cB = Barycenter({A, B, C}, {(b^(2) * (a^(2) + b^(2) - c^(2))), (-a^(4)) + ((2 * a^(2)) * b^(2)) - (3 * b^(4)) + ((2 * a^(2)) * c^(2)) + ((2 * b^(2)) * c^(2)) - c^(4), (b^(2) * ((-a^(2)) + b^(2) + c^(2)))})
cC = Barycenter({A, B, C}, {(c^(2) * (a^(2) - b^(2) + c^(2))), (c^(2) * ((-a^(2)) + b^(2) + c^(2))), (-a^(4)) + ((2 * a^(2)) * b^(2)) - b^(4) + ((2 * a^(2)) * c^(2)) + ((2 * b^(2)) * c^(2)) - (3 * c^(4))})
sEa = Barycenter({A, B, C}, {((b^(2) * (b - c)) * c^(2)), (c^(2) * ((-b^(3)) + (a^(2) * c) - (b^(2) * c) + ((2 * b) * c^(2)) - c^(3))), (b^(2) * (((-a^(2)) * b) + b^(3) - ((2 * b^(2)) * c) + (b * c^(2)) + c^(3)))})
sEb = Barycenter({A, B, C}, {(c^(2) * (a^(3) + (a^(2) * c) - (b^(2) * c) - ((2 * a) * c^(2)) + c^(3))), ((a^(2) * c^(2)) * ((-a) + c)), (a^(2) * ((-a^(3)) + (a * b^(2)) + ((2 * a^(2)) * c) - (a * c^(2)) - c^(3)))})
sEc = Barycenter({A, B, C}, {(b^(2) * ((-a^(3)) - (a^(2) * b) + ((2 * a) * b^(2)) - b^(3) + (b * c^(2)))), (a^(2) * (a^(3) - ((2 * a^(2)) * b) + (a * b^(2)) + b^(3) - (a * c^(2)))), ((a^(2) * (a - b)) * b^(2))})
vA = Barycenter({A, B, C}, {(5 * a^(7)) - ((5 * a^(6)) * b) - ((8 * a^(5)) * b^(2)) + ((10 * a^(4)) * b^(3)) + ((8 * a^(3)) * b^(4)) - ((6 * a^(2)) * b^(5)) - ((3 * a) * b^(6)) + (3 * b^(7)) - ((5 * a^(6)) * c) + (((10 * a^(5)) * b) * c) - (((2 * a^(4)) * b^(2)) * c) - (((8 * a^(3)) * b^(3)) * c) + (((6 * a) * b^(5)) * c) - ((3 * b^(6)) * c) - ((8 * a^(5)) * c^(2)) - (((2 * a^(4)) * b) * c^(2)) + ((a^(3) * b^(2)) * c^(2)) + (((3 * a^(2)) * b^(3)) * c^(2)) - ((6 * b^(5)) * c^(2)) + ((10 * a^(4)) * c^(3)) - (((8 * a^(3)) * b) * c^(3)) + (((3 * a^(2)) * b^(2)) * c^(3)) - (((6 * a) * b^(3)) * c^(3)) + ((6 * b^(4)) * c^(3)) + ((8 * a^(3)) * c^(4)) + ((6 * b^(3)) * c^(4)) - ((6 * a^(2)) * c^(5)) + (((6 * a) * b) * c^(5)) - ((6 * b^(2)) * c^(5)) - ((3 * a) * c^(6)) - ((3 * b) * c^(6)) + (3 * c^(7)), ((-a^(2)) * (a^(5) - (a^(4) * b) - (a^(3) * b^(2)) - (a^(2) * b^(3)) + (a * b^(4)) + (3 * b^(5)) - (a^(4) * c) + (((2 * a^(3)) * b) * c) - ((a^(2) * b^(2)) * c) + (((2 * a) * b^(3)) * c) - ((3 * b^(4)) * c) - (a^(3) * c^(2)) - ((a^(2) * b) * c^(2)) - ((a * b^(2)) * c^(2)) - ((3 * b^(3)) * c^(2)) + ((5 * a^(2)) * c^(3)) - (((4 * a) * b) * c^(3)) + ((3 * b^(2)) * c^(3)) + (a * c^(4)) + ((3 * b) * c^(4)) - (3 * c^(5)))), ((-a^(2)) * (a^(5) - (a^(4) * b) - (a^(3) * b^(2)) + ((5 * a^(2)) * b^(3)) + (a * b^(4)) - (3 * b^(5)) - (a^(4) * c) + (((2 * a^(3)) * b) * c) - ((a^(2) * b^(2)) * c) - (((4 * a) * b^(3)) * c) + ((3 * b^(4)) * c) - (a^(3) * c^(2)) - ((a^(2) * b) * c^(2)) - ((a * b^(2)) * c^(2)) + ((3 * b^(3)) * c^(2)) - (a^(2) * c^(3)) + (((2 * a) * b) * c^(3)) - ((3 * b^(2)) * c^(3)) + (a * c^(4)) - ((3 * b) * c^(4)) + (3 * c^(5))))})
vb = Barycenter({A, B, C}, {((-b^(2)) * ((3 * a^(5)) + (a^(4) * b) - (a^(3) * b^(2)) - (a^(2) * b^(3)) - (a * b^(4)) + b^(5) - ((3 * a^(4)) * c) + (((2 * a^(3)) * b) * c) - ((a^(2) * b^(2)) * c) + (((2 * a) * b^(3)) * c) - (b^(4) * c) - ((3 * a^(3)) * c^(2)) - ((a^(2) * b) * c^(2)) - ((a * b^(2)) * c^(2)) - (b^(3) * c^(2)) + ((3 * a^(2)) * c^(3)) - (((4 * a) * b) * c^(3)) + ((5 * b^(2)) * c^(3)) + ((3 * a) * c^(4)) + (b * c^(4)) - (3 * c^(5)))), (3 * a^(7)) - ((3 * a^(6)) * b) - ((6 * a^(5)) * b^(2)) + ((8 * a^(4)) * b^(3)) + ((10 * a^(3)) * b^(4)) - ((8 * a^(2)) * b^(5)) - ((5 * a) * b^(6)) + (5 * b^(7)) - ((3 * a^(6)) * c) + (((6 * a^(5)) * b) * c) - (((8 * a^(3)) * b^(3)) * c) - (((2 * a^(2)) * b^(4)) * c) + (((10 * a) * b^(5)) * c) - ((5 * b^(6)) * c) - ((6 * a^(5)) * c^(2)) + (((3 * a^(3)) * b^(2)) * c^(2)) + ((a^(2) * b^(3)) * c^(2)) - (((2 * a) * b^(4)) * c^(2)) - ((8 * b^(5)) * c^(2)) + ((6 * a^(4)) * c^(3)) - (((6 * a^(3)) * b) * c^(3)) + (((3 * a^(2)) * b^(2)) * c^(3)) - (((8 * a) * b^(3)) * c^(3)) + ((10 * b^(4)) * c^(3)) + ((6 * a^(3)) * c^(4)) + ((8 * b^(3)) * c^(4)) - ((6 * a^(2)) * c^(5)) + (((6 * a) * b) * c^(5)) - ((6 * b^(2)) * c^(5)) - ((3 * a) * c^(6)) - ((3 * b) * c^(6)) + (3 * c^(7)), ((-b^(2)) * ((-3 * a^(5)) + (a^(4) * b) + ((5 * a^(3)) * b^(2)) - (a^(2) * b^(3)) - (a * b^(4)) + b^(5) + ((3 * a^(4)) * c) - (((4 * a^(3)) * b) * c) - ((a^(2) * b^(2)) * c) + (((2 * a) * b^(3)) * c) - (b^(4) * c) + ((3 * a^(3)) * c^(2)) - ((a^(2) * b) * c^(2)) - ((a * b^(2)) * c^(2)) - (b^(3) * c^(2)) - ((3 * a^(2)) * c^(3)) + (((2 * a) * b) * c^(3)) - (b^(2) * c^(3)) - ((3 * a) * c^(4)) + (b * c^(4)) + (3 * c^(5))))})
vc = Barycenter({A, B, C}, {((-c^(2)) * ((3 * a^(5)) - ((3 * a^(4)) * b) - ((3 * a^(3)) * b^(2)) + ((3 * a^(2)) * b^(3)) + ((3 * a) * b^(4)) - (3 * b^(5)) + (a^(4) * c) + (((2 * a^(3)) * b) * c) - ((a^(2) * b^(2)) * c) - (((4 * a) * b^(3)) * c) + (b^(4) * c) - (a^(3) * c^(2)) - ((a^(2) * b) * c^(2)) - ((a * b^(2)) * c^(2)) + ((5 * b^(3)) * c^(2)) - (a^(2) * c^(3)) + (((2 * a) * b) * c^(3)) - (b^(2) * c^(3)) - (a * c^(4)) - (b * c^(4)) + c^(5))), ((-c^(2)) * ((-3 * a^(5)) + ((3 * a^(4)) * b) + ((3 * a^(3)) * b^(2)) - ((3 * a^(2)) * b^(3)) - ((3 * a) * b^(4)) + (3 * b^(5)) + (a^(4) * c) - (((4 * a^(3)) * b) * c) - ((a^(2) * b^(2)) * c) + (((2 * a) * b^(3)) * c) + (b^(4) * c) + ((5 * 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)) - (a * c^(4)) - (b * c^(4)) + c^(5))), (3 * a^(7)) - ((3 * a^(6)) * b) - ((6 * a^(5)) * b^(2)) + ((6 * a^(4)) * b^(3)) + ((6 * a^(3)) * b^(4)) - ((6 * a^(2)) * b^(5)) - ((3 * a) * b^(6)) + (3 * b^(7)) - ((3 * a^(6)) * c) + (((6 * a^(5)) * b) * c) - (((6 * a^(3)) * b^(3)) * c) + (((6 * a) * b^(5)) * c) - ((3 * b^(6)) * c) - ((6 * a^(5)) * c^(2)) + (((3 * a^(3)) * b^(2)) * c^(2)) + (((3 * a^(2)) * b^(3)) * c^(2)) - ((6 * b^(5)) * c^(2)) + ((8 * a^(4)) * c^(3)) - (((8 * a^(3)) * b) * c^(3)) + ((a^(2) * b^(2)) * c^(3)) - (((8 * a) * b^(3)) * c^(3)) + ((8 * b^(4)) * c^(3)) + ((10 * a^(3)) * c^(4)) - (((2 * a^(2)) * b) * c^(4)) - (((2 * a) * b^(2)) * c^(4)) + ((10 * b^(3)) * c^(4)) - ((8 * a^(2)) * c^(5)) + (((10 * a) * b) * c^(5)) - ((8 * b^(2)) * c^(5)) - ((5 * a) * c^(6)) - ((5 * b) * c^(6)) + (5 * c^(7))})
t1 = Barycenter({A, B, C}, {(5 * a^(9)) - ((10 * a^(8)) * b) - ((2 * a^(7)) * b^(2)) + ((24 * a^(6)) * b^(3)) - ((25 * a^(5)) * b^(4)) - ((14 * a^(4)) * b^(5)) + ((34 * a^(3)) * b^(6)) - ((6 * a^(2)) * b^(7)) - ((12 * a) * b^(8)) + (6 * b^(9)) - ((10 * a^(8)) * c) + (((30 * a^(7)) * b) * c) - (((26 * a^(6)) * b^(2)) * c) - (((22 * a^(5)) * b^(3)) * c) + (((72 * a^(4)) * b^(4)) * c) - (((44 * a^(3)) * b^(5)) * c) - (((24 * a^(2)) * b^(6)) * c) + (((36 * a) * b^(7)) * c) - ((12 * b^(8)) * c) - ((2 * a^(7)) * c^(2)) - (((26 * a^(6)) * b) * c^(2)) + (((75 * a^(5)) * b^(2)) * c^(2)) - (((50 * a^(4)) * b^(3)) * c^(2)) - (((53 * a^(3)) * b^(4)) * c^(2)) + (((78 * a^(2)) * b^(5)) * c^(2)) - (((24 * a) * b^(6)) * c^(2)) - ((6 * b^(7)) * c^(2)) + ((24 * a^(6)) * c^(3)) - (((22 * a^(5)) * b) * c^(3)) - (((50 * a^(4)) * b^(2)) * c^(3)) + (((122 * a^(3)) * b^(3)) * c^(3)) - (((48 * a^(2)) * b^(4)) * c^(3)) - (((36 * a) * b^(5)) * c^(3)) + ((30 * b^(6)) * c^(3)) - ((25 * a^(5)) * c^(4)) + (((72 * a^(4)) * b) * c^(4)) - (((53 * a^(3)) * b^(2)) * c^(4)) - (((48 * a^(2)) * b^(3)) * c^(4)) + (((72 * a) * b^(4)) * c^(4)) - ((18 * b^(5)) * c^(4)) - ((14 * a^(4)) * c^(5)) - (((44 * a^(3)) * b) * c^(5)) + (((78 * a^(2)) * b^(2)) * c^(5)) - (((36 * a) * b^(3)) * c^(5)) - ((18 * b^(4)) * c^(5)) + ((34 * a^(3)) * c^(6)) - (((24 * a^(2)) * b) * c^(6)) - (((24 * a) * b^(2)) * c^(6)) + ((30 * b^(3)) * c^(6)) - ((6 * a^(2)) * c^(7)) + (((36 * a) * b) * c^(7)) - ((6 * b^(2)) * c^(7)) - ((12 * a) * c^(8)) - ((12 * b) * c^(8)) + (6 * c^(9)), (((-a^(2)) * ((2 * a^(3)) - ((2 * a^(2)) * b) - (a * b^(2)) + (3 * b^(3)) - ((2 * a^(2)) * c) + (((4 * a) * b) * c) - ((3 * b^(2)) * c) - (a * c^(2)) - ((3 * b) * c^(2)) + (3 * c^(3)))) * (a^(4) - (a^(3) * b) - ((3 * a^(2)) * b^(2)) + (a * b^(3)) + (2 * b^(4)) - (a^(3) * c) + (((2 * a^(2)) * b) * c) + ((a * b^(2)) * c) - ((2 * b^(3)) * c) + ((2 * a^(2)) * c^(2)) - (((4 * a) * b) * c^(2)) + ((2 * a) * c^(3)) + ((2 * b) * c^(3)) - (2 * c^(4)))), (((-a^(2)) * ((2 * a^(3)) - ((2 * a^(2)) * b) - (a * b^(2)) + (3 * b^(3)) - ((2 * a^(2)) * c) + (((4 * a) * b) * c) - ((3 * b^(2)) * c) - (a * c^(2)) - ((3 * b) * c^(2)) + (3 * c^(3)))) * (a^(4) - (a^(3) * b) + ((2 * a^(2)) * b^(2)) + ((2 * a) * b^(3)) - (2 * b^(4)) - (a^(3) * c) + (((2 * a^(2)) * b) * c) - (((4 * a) * b^(2)) * c) + ((2 * b^(3)) * c) - ((3 * a^(2)) * c^(2)) + ((a * b) * c^(2)) + (a * c^(3)) - ((2 * b) * c^(3)) + (2 * c^(4))))})
t2 = Barycenter({A, B, C}, {(((-b^(2)) * ((3 * a^(3)) - (a^(2) * b) - ((2 * a) * b^(2)) + (2 * b^(3)) - ((3 * a^(2)) * c) + (((4 * a) * b) * c) - ((2 * b^(2)) * c) - ((3 * a) * c^(2)) - (b * c^(2)) + (3 * c^(3)))) * ((2 * a^(4)) + (a^(3) * b) - ((3 * a^(2)) * b^(2)) - (a * b^(3)) + b^(4) - ((2 * a^(3)) * c) + ((a^(2) * b) * c) + (((2 * a) * b^(2)) * c) - (b^(3) * c) - (((4 * a) * b) * c^(2)) + ((2 * b^(2)) * c^(2)) + ((2 * a) * c^(3)) + ((2 * b) * c^(3)) - (2 * c^(4)))), (6 * a^(9)) - ((12 * a^(8)) * b) - ((6 * a^(7)) * b^(2)) + ((34 * a^(6)) * b^(3)) - ((14 * a^(5)) * b^(4)) - ((25 * a^(4)) * b^(5)) + ((24 * a^(3)) * b^(6)) - ((2 * a^(2)) * b^(7)) - ((10 * a) * b^(8)) + (5 * b^(9)) - ((12 * a^(8)) * c) + (((36 * a^(7)) * b) * c) - (((24 * a^(6)) * b^(2)) * c) - (((44 * a^(5)) * b^(3)) * c) + (((72 * a^(4)) * b^(4)) * c) - (((22 * a^(3)) * b^(5)) * c) - (((26 * a^(2)) * b^(6)) * c) + (((30 * a) * b^(7)) * c) - ((10 * b^(8)) * c) - ((6 * a^(7)) * c^(2)) - (((24 * a^(6)) * b) * c^(2)) + (((78 * a^(5)) * b^(2)) * c^(2)) - (((53 * a^(4)) * b^(3)) * c^(2)) - (((50 * a^(3)) * b^(4)) * c^(2)) + (((75 * a^(2)) * b^(5)) * c^(2)) - (((26 * a) * b^(6)) * c^(2)) - ((2 * b^(7)) * c^(2)) + ((30 * a^(6)) * c^(3)) - (((36 * a^(5)) * b) * c^(3)) - (((48 * a^(4)) * b^(2)) * c^(3)) + (((122 * a^(3)) * b^(3)) * c^(3)) - (((50 * a^(2)) * b^(4)) * c^(3)) - (((22 * a) * b^(5)) * c^(3)) + ((24 * b^(6)) * c^(3)) - ((18 * a^(5)) * c^(4)) + (((72 * a^(4)) * b) * c^(4)) - (((48 * a^(3)) * b^(2)) * c^(4)) - (((53 * a^(2)) * b^(3)) * c^(4)) + (((72 * a) * b^(4)) * c^(4)) - ((25 * b^(5)) * c^(4)) - ((18 * a^(4)) * c^(5)) - (((36 * a^(3)) * b) * c^(5)) + (((78 * a^(2)) * b^(2)) * c^(5)) - (((44 * a) * b^(3)) * c^(5)) - ((14 * b^(4)) * c^(5)) + ((30 * a^(3)) * c^(6)) - (((24 * a^(2)) * b) * c^(6)) - (((24 * a) * b^(2)) * c^(6)) + ((34 * b^(3)) * c^(6)) - ((6 * a^(2)) * c^(7)) + (((36 * a) * b) * c^(7)) - ((6 * b^(2)) * c^(7)) - ((12 * a) * c^(8)) - ((12 * b) * c^(8)) + (6 * c^(9)), (((-b^(2)) * ((3 * a^(3)) - (a^(2) * b) - ((2 * a) * b^(2)) + (2 * b^(3)) - ((3 * a^(2)) * c) + (((4 * a) * b) * c) - ((2 * b^(2)) * c) - ((3 * a) * c^(2)) - (b * c^(2)) + (3 * c^(3)))) * ((-2 * a^(4)) + ((2 * a^(3)) * b) + ((2 * a^(2)) * b^(2)) - (a * b^(3)) + b^(4) + ((2 * a^(3)) * c) - (((4 * a^(2)) * b) * c) + (((2 * a) * b^(2)) * c) - (b^(3) * c) + ((a * b) * c^(2)) - ((3 * b^(2)) * c^(2)) - ((2 * a) * c^(3)) + (b * c^(3)) + (2 * c^(4))))})
t3 = Barycenter({A, B, C}, {(((-c^(2)) * ((3 * a^(3)) - ((3 * a^(2)) * b) - ((3 * a) * b^(2)) + (3 * b^(3)) - (a^(2) * c) + (((4 * a) * b) * c) - (b^(2) * c) - ((2 * a) * c^(2)) - ((2 * b) * c^(2)) + (2 * c^(3)))) * ((2 * a^(4)) - ((2 * a^(3)) * b) + ((2 * a) * b^(3)) - (2 * b^(4)) + (a^(3) * c) + ((a^(2) * b) * c) - (((4 * a) * b^(2)) * c) + ((2 * b^(3)) * c) - ((3 * a^(2)) * c^(2)) + (((2 * a) * b) * c^(2)) + ((2 * b^(2)) * c^(2)) - (a * c^(3)) - (b * c^(3)) + c^(4))), (((-c^(2)) * ((3 * a^(3)) - ((3 * a^(2)) * b) - ((3 * a) * b^(2)) + (3 * b^(3)) - (a^(2) * c) + (((4 * a) * b) * c) - (b^(2) * c) - ((2 * a) * c^(2)) - ((2 * b) * c^(2)) + (2 * c^(3)))) * ((-2 * a^(4)) + ((2 * a^(3)) * b) - ((2 * a) * b^(3)) + (2 * b^(4)) + ((2 * a^(3)) * c) - (((4 * a^(2)) * b) * c) + ((a * b^(2)) * c) + (b^(3) * c) + ((2 * a^(2)) * c^(2)) + (((2 * a) * b) * c^(2)) - ((3 * b^(2)) * c^(2)) - (a * c^(3)) - (b * c^(3)) + c^(4))), (6 * a^(9)) - ((12 * a^(8)) * b) - ((6 * a^(7)) * b^(2)) + ((30 * a^(6)) * b^(3)) - ((18 * a^(5)) * b^(4)) - ((18 * a^(4)) * b^(5)) + ((30 * a^(3)) * b^(6)) - ((6 * a^(2)) * b^(7)) - ((12 * a) * b^(8)) + (6 * b^(9)) - ((12 * a^(8)) * c) + (((36 * a^(7)) * b) * c) - (((24 * a^(6)) * b^(2)) * c) - (((36 * a^(5)) * b^(3)) * c) + (((72 * a^(4)) * b^(4)) * c) - (((36 * a^(3)) * b^(5)) * c) - (((24 * a^(2)) * b^(6)) * c) + (((36 * a) * b^(7)) * c) - ((12 * b^(8)) * c) - ((6 * a^(7)) * c^(2)) - (((24 * a^(6)) * b) * c^(2)) + (((78 * a^(5)) * b^(2)) * c^(2)) - (((48 * a^(4)) * b^(3)) * c^(2)) - (((48 * a^(3)) * b^(4)) * c^(2)) + (((78 * a^(2)) * b^(5)) * c^(2)) - (((24 * a) * b^(6)) * c^(2)) - ((6 * b^(7)) * c^(2)) + ((34 * a^(6)) * c^(3)) - (((44 * a^(5)) * b) * c^(3)) - (((53 * a^(4)) * b^(2)) * c^(3)) + (((122 * a^(3)) * b^(3)) * c^(3)) - (((53 * a^(2)) * b^(4)) * c^(3)) - (((44 * a) * b^(5)) * c^(3)) + ((34 * b^(6)) * c^(3)) - ((14 * a^(5)) * c^(4)) + (((72 * a^(4)) * b) * c^(4)) - (((50 * a^(3)) * b^(2)) * c^(4)) - (((50 * a^(2)) * b^(3)) * c^(4)) + (((72 * a) * b^(4)) * c^(4)) - ((14 * b^(5)) * c^(4)) - ((25 * a^(4)) * c^(5)) - (((22 * a^(3)) * b) * c^(5)) + (((75 * a^(2)) * b^(2)) * c^(5)) - (((22 * a) * b^(3)) * c^(5)) - ((25 * b^(4)) * c^(5)) + ((24 * a^(3)) * c^(6)) - (((26 * a^(2)) * b) * c^(6)) - (((26 * a) * b^(2)) * c^(6)) + ((24 * b^(3)) * c^(6)) - ((2 * a^(2)) * c^(7)) + (((30 * a) * b) * c^(7)) - ((2 * b^(2)) * c^(7)) - ((10 * a) * c^(8)) - ((10 * b) * c^(8)) + (5 * c^(9))})
d = Circle(t1, t2, t3)
h = Segment(cB, cC)
i = Segment(cC, cA)
j = Segment(cA, cB)
X753 = TriangleCenter(A, B, C, 753)
k = Line(X753, X99)
cent = Barycenter({A, B, C}, {(13 * a^(7)) - ((13 * a^(6)) * b) - ((18 * a^(5)) * b^(2)) + ((26 * a^(4)) * b^(3)) + (a^(3) * b^(4)) - ((9 * a^(2)) * b^(5)) + ((4 * a) * b^(6)) - (4 * b^(7)) - ((13 * a^(6)) * c) + (((26 * a^(5)) * b) * c) - (((8 * a^(4)) * b^(2)) * c) - (((18 * a^(3)) * b^(3)) * c) + (((17 * a^(2)) * b^(4)) * c) - (((8 * a) * b^(5)) * c) + ((4 * b^(6)) * c) - ((18 * a^(5)) * c^(2)) - (((8 * a^(4)) * b) * c^(2)) + (((43 * a^(3)) * b^(2)) * c^(2)) - (((21 * a^(2)) * b^(3)) * c^(2)) - (((5 * a) * b^(4)) * c^(2)) + ((13 * b^(5)) * c^(2)) + ((26 * a^(4)) * c^(3)) - (((18 * a^(3)) * b) * c^(3)) - (((21 * a^(2)) * b^(2)) * c^(3)) + (((14 * a) * b^(3)) * c^(3)) - ((9 * b^(4)) * c^(3)) + (a^(3) * c^(4)) + (((17 * a^(2)) * b) * c^(4)) - (((5 * a) * b^(2)) * c^(4)) - ((9 * b^(3)) * c^(4)) - ((9 * a^(2)) * c^(5)) - (((8 * a) * b) * c^(5)) + ((13 * b^(2)) * c^(5)) + ((4 * a) * c^(6)) + ((4 * b) * c^(6)) - (4 * c^(7)), (-4 * a^(7)) + ((4 * a^(6)) * b) - ((9 * a^(5)) * b^(2)) + (a^(4) * b^(3)) + ((26 * a^(3)) * b^(4)) - ((18 * a^(2)) * b^(5)) - ((13 * a) * b^(6)) + (13 * b^(7)) + ((4 * a^(6)) * c) - (((8 * a^(5)) * b) * c) + (((17 * a^(4)) * b^(2)) * c) - (((18 * a^(3)) * b^(3)) * c) - (((8 * a^(2)) * b^(4)) * c) + (((26 * a) * b^(5)) * c) - ((13 * b^(6)) * c) + ((13 * a^(5)) * c^(2)) - (((5 * a^(4)) * b) * c^(2)) - (((21 * a^(3)) * b^(2)) * c^(2)) + (((43 * a^(2)) * b^(3)) * c^(2)) - (((8 * a) * b^(4)) * c^(2)) - ((18 * b^(5)) * c^(2)) - ((9 * a^(4)) * c^(3)) + (((14 * a^(3)) * b) * c^(3)) - (((21 * a^(2)) * b^(2)) * c^(3)) - (((18 * a) * b^(3)) * c^(3)) + ((26 * b^(4)) * c^(3)) - ((9 * a^(3)) * c^(4)) - (((5 * a^(2)) * b) * c^(4)) + (((17 * a) * b^(2)) * c^(4)) + (b^(3) * c^(4)) + ((13 * a^(2)) * c^(5)) - (((8 * a) * b) * c^(5)) - ((9 * b^(2)) * c^(5)) + ((4 * a) * c^(6)) + ((4 * b) * c^(6)) - (4 * c^(7)), (-4 * a^(7)) + ((4 * a^(6)) * b) + ((13 * a^(5)) * b^(2)) - ((9 * a^(4)) * b^(3)) - ((9 * a^(3)) * b^(4)) + ((13 * a^(2)) * b^(5)) + ((4 * a) * b^(6)) - (4 * b^(7)) + ((4 * a^(6)) * c) - (((8 * a^(5)) * b) * c) - (((5 * a^(4)) * b^(2)) * c) + (((14 * a^(3)) * b^(3)) * c) - (((5 * a^(2)) * b^(4)) * c) - (((8 * a) * b^(5)) * c) + ((4 * b^(6)) * c) - ((9 * a^(5)) * c^(2)) + (((17 * a^(4)) * b) * c^(2)) - (((21 * a^(3)) * b^(2)) * c^(2)) - (((21 * a^(2)) * b^(3)) * c^(2)) + (((17 * a) * b^(4)) * c^(2)) - ((9 * b^(5)) * c^(2)) + (a^(4) * c^(3)) - (((18 * a^(3)) * b) * c^(3)) + (((43 * a^(2)) * b^(2)) * c^(3)) - (((18 * a) * b^(3)) * c^(3)) + (b^(4) * c^(3)) + ((26 * a^(3)) * c^(4)) - (((8 * a^(2)) * b) * c^(4)) - (((8 * a) * b^(2)) * c^(4)) + ((26 * b^(3)) * c^(4)) - ((18 * a^(2)) * c^(5)) + (((26 * a) * b) * c^(5)) - ((18 * b^(2)) * c^(5)) - ((13 * a) * c^(6)) - ((13 * b) * c^(6)) + (13 * c^(7))})
X30966 = Barycenter({A, B, C}, {(((a + b) * (a + c)) * (b^(2) + (b * c) + c^(2))), (((a + b) * (b + c)) * (a^(2) + (a * c) + c^(2))), (((a^(2) + (a * b) + b^(2)) * (a + c)) * (b + c))})
c99 = Barycenter({A, B, C}, {(3 * a^(12)) - ((8 * a^(10)) * b^(2)) + ((8 * a^(8)) * b^(4)) - ((5 * a^(6)) * b^(6)) + ((2 * a^(4)) * b^(8)) + (a^(2) * b^(10)) - b^(12) - ((8 * a^(10)) * c^(2)) + (((18 * a^(8)) * b^(2)) * c^(2)) - (((13 * a^(6)) * b^(4)) * c^(2)) + (((6 * a^(4)) * b^(6)) * c^(2)) - (((6 * a^(2)) * b^(8)) * c^(2)) + ((3 * b^(10)) * c^(2)) + ((8 * a^(8)) * c^(4)) - (((13 * a^(6)) * b^(2)) * c^(4)) + (((3 * a^(4)) * b^(4)) * c^(4)) + (((3 * a^(2)) * b^(6)) * c^(4)) - ((2 * b^(8)) * c^(4)) - ((5 * a^(6)) * c^(6)) + (((6 * a^(4)) * b^(2)) * c^(6)) + (((3 * a^(2)) * b^(4)) * c^(6)) + ((2 * a^(4)) * c^(8)) - (((6 * a^(2)) * b^(2)) * c^(8)) - ((2 * b^(4)) * c^(8)) + (a^(2) * c^(10)) + ((3 * b^(2)) * c^(10)) - c^(12), (-a^(12)) + (a^(10) * b^(2)) + ((2 * a^(8)) * b^(4)) - ((5 * a^(6)) * b^(6)) + ((8 * a^(4)) * b^(8)) - ((8 * a^(2)) * b^(10)) + (3 * b^(12)) + ((3 * a^(10)) * c^(2)) - (((6 * a^(8)) * b^(2)) * c^(2)) + (((6 * a^(6)) * b^(4)) * c^(2)) - (((13 * a^(4)) * b^(6)) * c^(2)) + (((18 * a^(2)) * b^(8)) * c^(2)) - ((8 * b^(10)) * c^(2)) - ((2 * a^(8)) * c^(4)) + (((3 * a^(6)) * b^(2)) * c^(4)) + (((3 * a^(4)) * b^(4)) * c^(4)) - (((13 * a^(2)) * b^(6)) * c^(4)) + ((8 * b^(8)) * c^(4)) + (((3 * a^(4)) * b^(2)) * c^(6)) + (((6 * a^(2)) * b^(4)) * c^(6)) - ((5 * b^(6)) * c^(6)) - ((2 * a^(4)) * c^(8)) - (((6 * a^(2)) * b^(2)) * c^(8)) + ((2 * b^(4)) * c^(8)) + ((3 * a^(2)) * c^(10)) + (b^(2) * c^(10)) - c^(12), (-a^(12)) + ((3 * a^(10)) * b^(2)) - ((2 * a^(8)) * b^(4)) - ((2 * a^(4)) * b^(8)) + ((3 * a^(2)) * b^(10)) - b^(12) + (a^(10) * c^(2)) - (((6 * a^(8)) * b^(2)) * c^(2)) + (((3 * a^(6)) * b^(4)) * c^(2)) + (((3 * a^(4)) * b^(6)) * c^(2)) - (((6 * a^(2)) * b^(8)) * c^(2)) + (b^(10) * c^(2)) + ((2 * a^(8)) * c^(4)) + (((6 * a^(6)) * b^(2)) * c^(4)) + (((3 * a^(4)) * b^(4)) * c^(4)) + (((6 * a^(2)) * b^(6)) * c^(4)) + ((2 * b^(8)) * c^(4)) - ((5 * a^(6)) * c^(6)) - (((13 * a^(4)) * b^(2)) * c^(6)) - (((13 * a^(2)) * b^(4)) * c^(6)) - ((5 * b^(6)) * c^(6)) + ((8 * a^(4)) * c^(8)) + (((18 * a^(2)) * b^(2)) * c^(8)) + ((8 * b^(4)) * c^(8)) - ((8 * a^(2)) * c^(10)) - ((8 * b^(2)) * c^(10)) + (3 * c^(12))})
e = Circle(c99, X99)
l = Line(t1, cA)
m = Line(cB, t2)
n = Line(cC, t3)