C_1 = (3.7233236637190195, -7.492278350173511)
D = (7.518314843001743, -7.064673710254331)
E = (10.80552551238044, -7.171574870234126)
kcDE = Distance(D, E)
F = (-2.6372953550787863, 3.3314640977807355)
J = (-5.202923194593867, -2.5748249911029397)
j = Segment(F, J)
K = (-2.2898665851444524, -7.225025450224024)
k = Line(F, K)
L = Point(k)
l = Line(L, j)
m = OrthogonalLine(J, k)
M = Intersect(l, m)
N = Point(l)
P = Point(l)
n = Segment(J, M)
p = Segment(M, P)
q = Segment(N, L)
N'_1 = Mirror(N, k)
P'_1 = Mirror(P, k)
M'_1 = Mirror(M, k)
J'_1 = Mirror(J, k)
F' = Mirror(F, k)
J' = Mirror(J, k)
j' = Segment(F', J')
M' = Mirror(M, k)
P' = Mirror(P, k)
p' = Segment(M', P')
N' = Mirror(N, k)
L' = Mirror(L, k)
q' = Segment(N', L')
r = Segment(N, N')
s = Segment(P, P')
t = Segment(M', J')