A = (0.54, -3.18)
B = (11.64, -3.24)
C = (0.56, 1.74)
poli1, c, a, b = Polygon(A, B, C)
d = AngularBisector(C, A, B)
e = AngularBisector(B, C, A)
g = AngularBisector(A, B, C)
E = Intersect(d, g)
D = Point(c)
f = Circle(E, D)
F = (3.08, -3.1)
h = Circle(E, F)
G = Intersect(h, c, 2.0)
i = OrthogonalLine(E, c)
j = OrthogonalLine(E, a)
H = Intersect(h, b, 2.0)
k = OrthogonalLine(E, b)
I = Intersect(j, a)
J = Intersect(i, c)
K = Intersect(k, b)
l = Segment(E, J)
m = Segment(E, I)
n = Segment(E, K)
o = Distance(l, m)