12

9

3

6

5

4

11

10

7

1

8

2

O = (-1, 3)
B = (-1, 6)
c = Circle(O, B)
i = Line(O, B)
j = OrthogonalLine(O, i)
D = Intersect(c, j, 2)
E = Intersect(c, j, 1)
C = Intersect(c, i, 2)
C' = Rotate(C, 30°, O)
α = Angle(C, O, C')
f = Line(O, C')
C'' = Rotate(C', 30°, O)
β = Angle(C', O, C'')
g = Line(O, C'')
F = Intersect(c, f, 1)
G = Intersect(c, g, 1)
h = OrthogonalLine(O, g)
k = OrthogonalLine(O, f)
H, I = Intersect(c, h)
J, K = Intersect(c, k)