B_1 = (6.180703653585927, -3.164952638700946)
A_1 = (-2.2454127198917457, -3.118782138024356)
C_1 = (18.83142083897158, -3.072611637347766)
a = Line(A_1, C_1)
B = Point(a)
E = Point(a)
F = Point(a)
c = Circle(B, E)
d = Circle(B, F)
C = Point(c)
A = Point(d)
b = Segment(B, C)
e = Segment(A, B)
f = LineBisector(e)
g = LineBisector(b)
I = Intersect(g, b)
J = Intersect(f, e)
h = Segment(A, J)
i = Segment(J, B)
j = Segment(B, I)
k = Segment(I, C)
D = Point(f)
G = Point(g)
α = Angle(C, I, G)
β = Angle(B, J, D)