A = (0.4502826203045362, 4.866663485936853)
B = (-0.64, 2.82)
f = Line(A, B)
C = (2.3240317037923974, 2.804508119139821)
g = Line(B, C)
h = Line(C, A)
b = Segment(A, B)
c = Segment(B, C)
d = Segment(C, A)
a_1 = Line(A, B)
b_1 = Line(B, C)
c_1 = Line(C, A)
P = (0.5448734112895556, 3.40404326971539)
i = Line(A, P)
j = Line(B, P)
e = Circle(B, P)
p = Circle(C, P)
q = Circle(A, P)
r = Circle(B, P, A)
s = Circle(B, P, C)
t = Circle(C, P, A)
r' = Mirror(r, b)
t' = Mirror(t, d)
s' = Mirror(s, c)
E_3 = Intersect(q, t', 2)
E_2 = Intersect(q, r', 1)
E_1 = Intersect(e, r', 2)
F_2 = Intersect(p, s', 2)
F_3 = Intersect(e, s', 1)
D_1 = Intersect(e, p, 2)
F_1 = Intersect(p, t', 1)
D_3 = Intersect(e, q, 2)
D_2 = Intersect(p, q, 2)
e_1 = Circle(D_3, D_1, D_2)
M = Intersect(r', t', 2)
P' = Center(e_1)
k = Line(E_3, P)