A = (-2, 0)
J = Point(Segment[A, (x(A) + 8, y(A))])
C = Point(Segment[A, J])
D: (x(A), y(A) + Distance[A, C])
E: (x(C), y(D))
F: (x(J), y(D))
Q = Mirror(C, J)
H: (x(A), y(A) + Distance[A, J])
G: (x(C), y(H))
I: (x(J), y(H))
L: (x(Q), y(H))
M: (x(A), y(A) + Distance[A, Q])
K: (x(J), y(M))
O: (x(Q), y(M))
P: (x(Q), y(D))
n = Segment(A, O)
p = Segment(A, C)
q = Segment(C, J)
r = Segment(J, Q)
s = Segment(Q, P)
t = Segment(P, L)
f_1 = Segment(L, O)
g_1 = Segment(K, O)
h_1 = Segment(I, L)
i_1 = Segment(F, P)
j_1 = Segment(K, I)
k_1 = Segment(I, F)
l_1 = Segment(F, J)
m_1 = Segment(C, E)
n_1 = Segment(E, G)
N: (x(C), y(M))
p_1 = Segment(G, N)
q_1 = Segment(N, K)
r_1 = Segment(I, G)
s_1 = Segment(E, F)
t_1 = Segment(E, D)
a_1 = Segment(D, A)
b_1 = Segment(D, H)
c_1 = Segment(H, G)
d_1 = Segment(N, M)
e_1 = Segment(M, H)
N_1 = (-5.014856915379052, -1.7180978762696308)