O = (8.236550129167178, -1.1363887317013166)
B_1 = (11.385378275310622, -4.31061065321688)
c = Circle(O, B_1)
A = Point(c)
B = Point(c)
C = Point(c)
D = Point(c)
a = Segment(C, D)
b = Segment(A, B)
H = Midpoint(b)
K = Midpoint(a)
d = Segment(O, H)
e = Segment(O, K)
f = Segment(O, D)
R = Segment(O, B)
α = Angle(B, H, O)
β = Angle(O, K, D)