A = (3.4798002898065876, 4.0515534257717984)
f = OrthogonalLine(A, yAxis)
B = Point(f)
C = (1.1010846956738969, 18.050428160671256)
t1, c, a, b = Polygon(A, B, C)
j = LineBisector(A, B)
k = LineBisector(B, C)
C_1 = Intersect(k, j)
F = Intersect(j, c)
G = Intersect(k, a)
l = Line(A, G)
m = Line(F, C)
B_1 = Intersect(l, m)
g = OrthogonalLine(C, c)
h = OrthogonalLine(A, a)
O = Intersect(g, h)
i = Line(O, B_1)
D = Midpoint(A, C)
E = Intersect(h, a)
n = Line(A, B)
H = Intersect(g, n)
p = OrthogonalLine(B, b)
q = Line(C, A)
I = Intersect(p, q)
J = Midpoint(O, B)
K = Midpoint(O, C)
L = Midpoint(O, A)
d = Circle(D, K, H)