A = (3.1941281558424524, 4.949826542160567)
B = (7.693338353864626, 1.024220831535643)
C = (8.548699510735183, 9.350529966935795)
f = LineBisector(A, B)
g = LineBisector(B, C)
h = Segment(A, B)
i = Segment(B, C)
O = Intersect(f, g)
M_1 = Intersect(f, h)
M_2 = Intersect(g, i)
c = Circle(O, A)
j = Segment(A, M_1)
k = Segment(M_1, B)
l = Segment(B, M_2)
m = Segment(M_2, C)
α = Angle(B, M_1, O)
β = Angle(C, M_2, O)