A = Intersect(xAxis, yAxis)
B = Point(xAxis)
C = (16, 16)
D = Point(yAxis)
S = (8, 8)
F = Point(yAxis)
P_g = (16, 8)
H = Point(xAxis)
I = (8, 16)
M_1 = Midpoint(F, I)
M_2 = Midpoint(S, C)
M_3 = Midpoint(A, S)
M_4 = Midpoint(H, P_g)
pic3 = Rotate(pic2, 180°, S)
pic5 = Rotate(pic4, 270°, M_2)
pic7 = Rotate(pic6, 90°, M_1)
pic9 = Rotate(pic8, 270°, M_3)
pic11 = Rotate(pic10, 180°, M_4)
P_4 = Midpoint(B, P_g)
P_2 = Midpoint(P_g, C)
P_3 = Midpoint(H, S)
P_1 = Midpoint(S, I)
c = Circle(M_2, P_2)
d = Circle(M_1, P_1)
P = Midpoint(M_4, M_2)
e = Circle(S, P)
f = Circle(M_4, P_4)
g = Circle(M_3, P_3)
S_1 = Midpoint(D, I)
T = Midpoint(I, C)
U = Midpoint(D, F)
V = Midpoint(F, A)
W = Midpoint(A, H)
Y = Midpoint(H, B)
a = Segment(S_1, P_4)
b = Segment(P_4, Y)
h = Segment(Y, U)
i = Segment(U, S_1)
j = Segment(T, V)
k = Segment(V, W)
l = Segment(W, P_2)
m = Segment(P_2, T)
Q_2 = Point(c)
Q_1 = Point(d)
Q_3 = Point(g)
Q = Point(e)
Q_4 = Point(f)
α_1 = Angle(P_1, M_1, Q_1)
α_2 = Angle(P_2, M_2, Q_2)
α = Angle(P, S, Q)
α_3 = Angle(P_3, M_3, Q_3)
α_4 = Angle(P_4, M_4, Q_4)
pic12 = Rotate(pic7, α_1, M_1)
pic13 = Rotate(pic5, α_2, M_2)
pic14 = Rotate(pic9, α_3, M_3)
pic15 = Rotate(pic11, α_4, M_4)
pic16 = Rotate(pic3, α, S)
s_1 = Segment(S, P)
s_2 = Segment(S, Q)
s_{21} = Segment(M_2, P_2)
s_{22} = Segment(M_2, Q_2)
s_{11} = Segment(M_1, P_1)
s_{12} = Segment(M_1, Q_1)
s_{31} = Segment(M_3, P_3)
s_{32} = Segment(M_3, Q_3)
s_{41} = Segment(M_4, P_4)
s_{42} = Segment(M_4, Q_4)
h_a = Ray(S, P)
pic18 = Rotate(pic17, α, S)
Q_g = Rotate(P_g, α, S)
p = Circle(S, P_g)
E = Point(p)
h_1 = Ray(S, E)
G, J = Intersect(e, h_1)
h_2 = Ray(S, Q)
δ = Angle(h_1, h_2)