A = (12.91125142002639, 4.777142481747556)
B = (3.5371038692876935, 0.01567070994371204)
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))))
J: sqrt(a^(6) - (a^(4) * b^(2)) - (a^(2) * b^(4)) + b^(6) - (a^(4) * c^(2)) + (((3 * a^(2)) * b^(2)) * c^(2)) - (b^(4) * c^(2)) - (a^(2) * c^(4)) - (b^(2) * c^(4)) + c^(6)) / (((a * b) * c))
R: (((a * b) * c)) / sqrt(((((a + b - c) * (a - b + c)) * ((-a) + b + c)) * (a + b + c)))
α: acosd(((-a^(2)) + b^(2) + c^(2)) / (((2 * b) * c)))
β: acosd((a^(2) - b^(2) + c^(2)) / (((2 * a) * c)))
γ: acosd((a^(2) + b^(2) - c^(2)) / (((2 * a) * b)))
r: sqrt(((((a + b - c) * (a - b + c)) * ((-a) + b + c))) / ((4 * (a + b + c))))
Pa = Parabola(A, BC)
Pb = Parabola(B, CA)
Pc = Parabola(C, AB)
angle: π / 3
AbE = Barycenter({A, B, C}, {((-2 * sqrt(3)) * a^(2)), ((4 * a) * b), (sqrt(3) * (a^(2) - b^(2) + c^(2))) + (2 * S)})
AcE = Barycenter({A, B, C}, {((-2 * sqrt(3)) * a^(2)), (sqrt(3) * (a^(2) + b^(2) - c^(2))) + (2 * S), ((4 * a) * c)})
BcE = Barycenter({A, B, C}, {(sqrt(3) * (a^(2) + b^(2) - c^(2))) + (2 * S), ((-2 * sqrt(3)) * b^(2)), ((4 * b) * c)})
BaE = Barycenter({A, B, C}, {((4 * a) * b), ((-2 * sqrt(3)) * b^(2)), (sqrt(3) * ((-a^(2)) + b^(2) + c^(2))) + (2 * S)})
CaE = Barycenter({A, B, C}, {((4 * a) * c), (sqrt(3) * ((-a^(2)) + b^(2) + c^(2))) + (2 * S), ((-2 * sqrt(3)) * c^(2))})
CbE = Barycenter({A, B, C}, {(sqrt(3) * (a^(2) - b^(2) + c^(2))) + (2 * S), ((4 * b) * c), ((-2 * sqrt(3)) * c^(2))})
A2 = Barycenter({A, B, C}, {(-a^(8)) + ((4 * a^(6)) * b^(2)) - ((6 * a^(4)) * b^(4)) + ((4 * a^(2)) * b^(6)) - b^(8) + (((12 * a^(6)) * b) * c) + (((24 * a^(5)) * b^(2)) * c) - (((24 * a^(3)) * b^(4)) * c) - (((12 * a^(2)) * b^(5)) * c) + ((4 * a^(6)) * c^(2)) + (((24 * a^(5)) * b) * c^(2)) + (((44 * a^(4)) * b^(2)) * c^(2)) + (((24 * a^(3)) * b^(3)) * c^(2)) - (((4 * a^(2)) * b^(4)) * c^(2)) + ((4 * b^(6)) * c^(2)) + (((24 * a^(3)) * b^(2)) * c^(3)) + (((24 * a^(2)) * b^(3)) * c^(3)) - ((6 * a^(4)) * c^(4)) - (((24 * a^(3)) * b) * c^(4)) - (((4 * a^(2)) * b^(2)) * c^(4)) - ((6 * b^(4)) * c^(4)) - (((12 * a^(2)) * b) * c^(5)) + ((4 * a^(2)) * c^(6)) + ((4 * b^(2)) * c^(6)) - c^(8) - (((4 * sqrt(3)) * a^(6)) * S) + ((((8 * sqrt(3)) * a^(4)) * b^(2)) * S) - ((((4 * sqrt(3)) * a^(2)) * b^(4)) * S) + (((((16 * sqrt(3)) * a^(4)) * b) * c) * S) + (((((16 * sqrt(3)) * a^(3)) * b^(2)) * c) * S) + ((((8 * sqrt(3)) * a^(4)) * c^(2)) * S) + (((((16 * sqrt(3)) * a^(3)) * b) * c^(2)) * S) + (((((8 * sqrt(3)) * a^(2)) * b^(2)) * c^(2)) * S) - ((((4 * sqrt(3)) * a^(2)) * c^(4)) * S) - ((12 * a^(4)) * S^(2)) + ((12 * b^(4)) * S^(2)) + ((((16 * a^(2)) * b) * c) * S^(2)) - (((24 * b^(2)) * c^(2)) * S^(2)) + ((12 * c^(4)) * S^(2)), ((((2 * b) * c) * ((-((sqrt(3) * a^(2)))) + (sqrt(3) * b^(2)) - (((2 * sqrt(3)) * a) * c) - (sqrt(3) * c^(2)) - (2 * S))) * (a^(4) + (((2 * sqrt(3)) * a^(3)) * b) - ((2 * a^(2)) * b^(2)) + (((4 * sqrt(3)) * a^(2)) * b^(2)) + (((2 * sqrt(3)) * a) * b^(3)) + b^(4) - ((2 * a^(2)) * c^(2)) - ((((2 * sqrt(3)) * a) * b) * c^(2)) - ((2 * b^(2)) * c^(2)) + c^(4) + (((2 * sqrt(3)) * a^(2)) * S) + (((4 * a) * b) * S) + (((2 * sqrt(3)) * b^(2)) * S) - (((2 * sqrt(3)) * c^(2)) * S))), ((((-2 * b) * c) * ((sqrt(3) * a^(2)) + (((2 * sqrt(3)) * a) * b) + (sqrt(3) * b^(2)) - (sqrt(3) * c^(2)) + (2 * S))) * (a^(4) - ((2 * a^(2)) * b^(2)) + b^(4) + (((2 * sqrt(3)) * a^(3)) * c) - ((((2 * sqrt(3)) * a) * b^(2)) * c) - ((2 * a^(2)) * c^(2)) + (((4 * sqrt(3)) * a^(2)) * c^(2)) - ((2 * b^(2)) * c^(2)) + (((2 * sqrt(3)) * a) * c^(3)) + c^(4) + (((2 * sqrt(3)) * a^(2)) * S) - (((2 * sqrt(3)) * b^(2)) * S) + (((4 * a) * c) * S) + (((2 * sqrt(3)) * c^(2)) * S)))})
B2 = Barycenter({A, B, C}, {((((-2 * a) * c) * ((-((sqrt(3) * a^(2)))) + (sqrt(3) * b^(2)) + (((2 * sqrt(3)) * b) * c) + (sqrt(3) * c^(2)) + (2 * S))) * (a^(4) + (((2 * sqrt(3)) * a^(3)) * b) - ((2 * a^(2)) * b^(2)) + (((4 * sqrt(3)) * a^(2)) * b^(2)) + (((2 * sqrt(3)) * a) * b^(3)) + b^(4) - ((2 * a^(2)) * c^(2)) - ((((2 * sqrt(3)) * a) * b) * c^(2)) - ((2 * b^(2)) * c^(2)) + c^(4) + (((2 * sqrt(3)) * a^(2)) * S) + (((4 * a) * b) * S) + (((2 * sqrt(3)) * b^(2)) * S) - (((2 * sqrt(3)) * c^(2)) * S))), (-a^(8)) + ((4 * a^(6)) * b^(2)) - ((6 * a^(4)) * b^(4)) + ((4 * a^(2)) * b^(6)) - b^(8) - (((12 * a^(5)) * b^(2)) * c) - (((24 * a^(4)) * b^(3)) * c) + (((24 * a^(2)) * b^(5)) * c) + (((12 * a) * b^(6)) * c) + ((4 * a^(6)) * c^(2)) - (((4 * a^(4)) * b^(2)) * c^(2)) + (((24 * a^(3)) * b^(3)) * c^(2)) + (((44 * a^(2)) * b^(4)) * c^(2)) + (((24 * a) * b^(5)) * c^(2)) + ((4 * b^(6)) * c^(2)) + (((24 * a^(3)) * b^(2)) * c^(3)) + (((24 * a^(2)) * b^(3)) * c^(3)) - ((6 * a^(4)) * c^(4)) - (((4 * a^(2)) * b^(2)) * c^(4)) - (((24 * a) * b^(3)) * c^(4)) - ((6 * b^(4)) * c^(4)) - (((12 * a) * b^(2)) * c^(5)) + ((4 * a^(2)) * c^(6)) + ((4 * b^(2)) * c^(6)) - c^(8) - ((((4 * sqrt(3)) * a^(4)) * b^(2)) * S) + ((((8 * sqrt(3)) * a^(2)) * b^(4)) * S) - (((4 * sqrt(3)) * b^(6)) * S) + (((((16 * sqrt(3)) * a^(2)) * b^(3)) * c) * S) + (((((16 * sqrt(3)) * a) * b^(4)) * c) * S) + (((((8 * sqrt(3)) * a^(2)) * b^(2)) * c^(2)) * S) + (((((16 * sqrt(3)) * a) * b^(3)) * c^(2)) * S) + ((((8 * sqrt(3)) * b^(4)) * c^(2)) * S) - ((((4 * sqrt(3)) * b^(2)) * c^(4)) * S) + ((12 * a^(4)) * S^(2)) - ((12 * b^(4)) * S^(2)) + ((((16 * a) * b^(2)) * c) * S^(2)) - (((24 * a^(2)) * c^(2)) * S^(2)) + ((12 * c^(4)) * S^(2)), ((((2 * a) * c) * ((-((sqrt(3) * a^(2)))) - (((2 * sqrt(3)) * a) * b) - (sqrt(3) * b^(2)) + (sqrt(3) * c^(2)) - (2 * S))) * (a^(4) - ((2 * a^(2)) * b^(2)) + b^(4) - ((((2 * sqrt(3)) * a^(2)) * b) * c) + (((2 * sqrt(3)) * b^(3)) * c) - ((2 * a^(2)) * c^(2)) - ((2 * b^(2)) * c^(2)) + (((4 * sqrt(3)) * b^(2)) * c^(2)) + (((2 * sqrt(3)) * b) * c^(3)) + c^(4) - (((2 * sqrt(3)) * a^(2)) * S) + (((2 * sqrt(3)) * b^(2)) * S) + (((4 * b) * c) * S) + (((2 * sqrt(3)) * c^(2)) * S)))})
C2 = Barycenter({A, B, C}, {((((2 * a) * b) * ((sqrt(3) * a^(2)) - (sqrt(3) * b^(2)) - (((2 * sqrt(3)) * b) * c) - (sqrt(3) * c^(2)) - (2 * S))) * (a^(4) - ((2 * a^(2)) * b^(2)) + b^(4) + (((2 * sqrt(3)) * a^(3)) * c) - ((((2 * sqrt(3)) * a) * b^(2)) * c) - ((2 * a^(2)) * c^(2)) + (((4 * sqrt(3)) * a^(2)) * c^(2)) - ((2 * b^(2)) * c^(2)) + (((2 * sqrt(3)) * a) * c^(3)) + c^(4) + (((2 * sqrt(3)) * a^(2)) * S) - (((2 * sqrt(3)) * b^(2)) * S) + (((4 * a) * c) * S) + (((2 * sqrt(3)) * c^(2)) * S))), ((((-2 * a) * b) * ((sqrt(3) * a^(2)) - (sqrt(3) * b^(2)) + (((2 * sqrt(3)) * a) * c) + (sqrt(3) * c^(2)) + (2 * S))) * (a^(4) - ((2 * a^(2)) * b^(2)) + b^(4) - ((((2 * sqrt(3)) * a^(2)) * b) * c) + (((2 * sqrt(3)) * b^(3)) * c) - ((2 * a^(2)) * c^(2)) - ((2 * b^(2)) * c^(2)) + (((4 * sqrt(3)) * b^(2)) * c^(2)) + (((2 * sqrt(3)) * b) * c^(3)) + c^(4) - (((2 * sqrt(3)) * a^(2)) * S) + (((2 * sqrt(3)) * b^(2)) * S) + (((4 * b) * c) * S) + (((2 * sqrt(3)) * c^(2)) * S))), (-a^(8)) + ((4 * a^(6)) * b^(2)) - ((6 * a^(4)) * b^(4)) + ((4 * a^(2)) * b^(6)) - b^(8) + ((4 * a^(6)) * c^(2)) - (((12 * a^(5)) * b) * c^(2)) - (((4 * a^(4)) * b^(2)) * c^(2)) + (((24 * a^(3)) * b^(3)) * c^(2)) - (((4 * a^(2)) * b^(4)) * c^(2)) - (((12 * a) * b^(5)) * c^(2)) + ((4 * b^(6)) * c^(2)) - (((24 * a^(4)) * b) * c^(3)) + (((24 * a^(3)) * b^(2)) * c^(3)) + (((24 * a^(2)) * b^(3)) * c^(3)) - (((24 * a) * b^(4)) * c^(3)) - ((6 * a^(4)) * c^(4)) + (((44 * a^(2)) * b^(2)) * c^(4)) - ((6 * b^(4)) * c^(4)) + (((24 * a^(2)) * b) * c^(5)) + (((24 * a) * b^(2)) * c^(5)) + ((4 * a^(2)) * c^(6)) + (((12 * a) * b) * c^(6)) + ((4 * b^(2)) * c^(6)) - c^(8) - ((((4 * sqrt(3)) * a^(4)) * c^(2)) * S) + (((((8 * sqrt(3)) * a^(2)) * b^(2)) * c^(2)) * S) - ((((4 * sqrt(3)) * b^(4)) * c^(2)) * S) + (((((16 * sqrt(3)) * a^(2)) * b) * c^(3)) * S) + (((((16 * sqrt(3)) * a) * b^(2)) * c^(3)) * S) + ((((8 * sqrt(3)) * a^(2)) * c^(4)) * S) + (((((16 * sqrt(3)) * a) * b) * c^(4)) * S) + ((((8 * sqrt(3)) * b^(2)) * c^(4)) * S) - (((4 * sqrt(3)) * c^(6)) * S) + ((12 * a^(4)) * S^(2)) - (((24 * a^(2)) * b^(2)) * S^(2)) + ((12 * b^(4)) * S^(2)) + ((((16 * a) * b) * c^(2)) * S^(2)) - ((12 * c^(4)) * S^(2))})
f = OrthogonalLine(A, BC)
g = Line(A, A2)
h = Line(B, B2)
i = Line(C, C2)
X44022 = Intersect(h, i)
m = Line(CaE, BaE)
n = Line(AbE, CbE)
a' = Barycenter({A, B, C}, {(-2 * a^(2)), a^(2) + b^(2) - c^(2) + ((2 * S)) / sqrt(3), a^(2) - b^(2) + c^(2) + ((2 * S)) / sqrt(3)})
j = Segment(B, a')
k = Segment(C, a')
l = Line(B, a')
p = Line(C, a')
b' = Barycenter({A, B, C}, {a^(2) + b^(2) - c^(2) + ((2 * S)) / sqrt(3), (-2 * b^(2)), (-a^(2)) + b^(2) + c^(2) + ((2 * S)) / sqrt(3)})
q = Line(A, b')
s = Line(C, b')
t = Segment(A, b')
d = Segment(C, b')
c' = Barycenter({A, B, C}, {a^(2) - b^(2) + c^(2) + ((2 * S)) / sqrt(3), (-a^(2)) + b^(2) + c^(2) + ((2 * S)) / sqrt(3), (-2 * c^(2))})
e = Line(A, c')
f_1 = Line(B, c')
g_1 = Segment(A, c')
h_1 = Segment(B, c')
i_1 = Line(A2, B2)
t1, j_1, b_1, c_1 = Polygon(B, C, a')
t2, k_1, c_2, a_1 = Polygon(C, A, b')
t3, l_1, a_2, b_2 = Polygon(A, B, c')