B = (12.133365853985229, 0.5426121247341535)
A = (-1.616070813061357, 0.4733347779427928)
f = Segment(A, B)
g = OrthogonalLine(A, f)
C = Point(g)
d = Incircle(A, B, C)
t1, b, c, a = Polygon(C, A, B)
J, Q = Intersect(d, b)
k = Circle(C, Segment[A, J])
B_1 = Intersect(k, b, 1)
C', L = Intersect(d, c)
p = Circle(B, Segment[A, C'])
C_1 = Intersect(p, c, 1)
A', N = Intersect(d, a)
e = Circle(B, Segment[C, A'])
A_1 = Intersect(e, a, 1)
h = Line(B, C)
i = Line(B, A)
D = Point(g)
E = Point(h)
F = Point(i)
G = Point(g)
H_1 = Point(h)
I = Point(i)
q = Circle(A, B, C)
O = Midpoint(B, C)
r = Arc(q, B, C)
j = OrthogonalLine(O, a)
M = Center(Circle[A_1, B_1, C_1])
l = OrthogonalLine(M, c)
H = Intersect(l, c)
m = Segment(M, H)
α = Angle(B, H, M)
t2, c_1, a_1, b_1 = Polygon(A_1, B_1, C_1)
P = Center(Circle[A_1, B_1, C_1])
n = Segment(B, O)
s = Segment(C, O)
t = Circle(M, Segment[M, A_1])
f_1 = Segment(M, A_1)
g_1 = Segment(M, B_1)
h_1 = Segment(M, C_1)
i_1 = Segment(B, C_1)
j_1 = Segment(C, B_1)
k_1 = Segment(M, B)
l_1 = Segment(M, C)
K = Intersect(OrthogonalLine[M, b], Line[A, C])
m_1 = Segment(M, K)
n_1 = Segment(K, A)
β = Angle(M, K, A)
γ = Angle(M, H, B)