I = (6, 0)
A = (3, 0)
c = Circle(A, I)
B = Point(c)
n = Segment(A, B)
J = Point(n)
f = Line(A, B)
C = Intersect(c, f, 2)
d = Circle(A, J)
g = Segment(C, B)
D = Intersect(d, g, 2)
h = OrthogonalLine(D, g)
E = Intersect(c, h, 1)
i = Segment(E, D)
F = Intersect(c, h, 2)
j = Segment(F, D)
k = Segment(A, D)
l = Segment(A, E)
m = Segment(A, F)
α = Angle(A, E, D)
β = Angle(E, D, A)
γ = Angle(A, D, F)
δ = Angle(D, F, A)
G = Intersect(d, g, 1)
H = (-5.134376784118552, -4.387374576792865)