A_1 = (-5.666666666666667, 9.566666666666666)
B_1 = (-0.5333333333333333, 9.566666666666666)
a = Segment(A_1, B_1)
C_1 = (-5.7, 8.4)
D = (-1.6666666666666667, 8.4)
c = Segment(C_1, D)
E = (2.7333333333333334, 8.2)
F = (5.733333333333333, 8.133333333333333)
G = (4, 10)
α_1 = Angle(F, E, G)
A = (0.8666666666666667, -0.1)
d = Circle(A, c)
B = Point(d)
b = Segment(A, B)
H = Rotate(B, α_1, A)
α = Angle(B, A, H)
e = Ray(A, H)
f = OrthogonalLine(B, e)
K = Intersect(e, f)
g = Circle(B, a)
C = Intersect(g, e, 1)
h = Segment(C, B)