A = (6.936646807563116, 15.370568670855928)
B = (28.23717648353131, -8.871038324388275)
C = (-11.110873106175626, -13.015283637913479)
poly1, c, a, b = Polygon(A, B, C)
f = Line(B, C)
g = Line(C, A)
h = Line(A, B)
i = OrthogonalLine(A, f)
k = OrthogonalLine(B, g)
l = OrthogonalLine(C, c)
P_1 = Intersect(h, l)
P_2 = Intersect(g, k)
P_3 = Intersect(f, i)
d = Circle(P_3, P_2, P_1)
e = Circle(A, C, B)
P = Point(e)
H = Intersect(i, k)
j = Segment(H, P)
M = Intersect(d, j, 1)
m = LineBisector(A, C)
n = LineBisector(A, B)
O = Intersect(m, n)
p = Line(O, H)
q = LineBisector(P_3, P_1)
r = LineBisector(P_2, P_1)
s = LineBisector(P_3, P_1)
t = LineBisector(P_3, P_2)
N = Intersect(p, q)
f_1 = Line(M, N)
poly2, o, h_1, k_1 = Polygon(H, P, O)
g_1 = Segment(O, P)
i_1 = Segment(N, M)
E = Intersect(d, q, 1)