A = Intersect(yAxis, xAxis)
B_1 = Point(xAxis)
c = Circle(A, B_1)
D = Point(c)
D_1 = Point(xAxis)
d = Circle(A, D_1)
B = Point(d)
a = Segment(A, D)
b = Segment(A, B)
e = Line(A, D_1)
e'_1 = Mirror(e, b)
f = Circle(A, 1)
F_1 = Intersect(f, b)
g = Circle(A, B)
G_1, H_1 = Intersect(g, e'_1)
h = Segment(F_1, H_1)
i = Line(B, h)
z_3 = Intersect(i, e'_1)
e' = Mirror(e, a)
j = Segment(A, z_3)
k = Circle(A, D)
C_1, E_1 = Intersect(k, e')
p = Circle(A, 1)
I = Intersect(p, a)
l = Segment(I, E_1)
m = Line(D, l)
z_4 = Intersect(m, e')
n = Segment(A, z_4)
u = Vector(A, z_4)
J = Translate(z_3, u)
q = Segment(A, J)
A' = Mirror(A, A)
J' = Mirror(J, A)
q' = Segment(A', J')
r = AngularBisector(D_1, A', J')
s = Circle(A', 1)
K = Intersect(s, q')
L = Midpoint(K, J)
t = Semicircle(K, J)
a_1 = OrthogonalLine(A', q')
M_1 = Intersect(t, a_1)
c_1 = Circle(A', M_1)
E, O_1 = Intersect(c_1, r)
b_1 = Segment(A', E)
d_1 = Line(B, a)
e_1 = Line(D, b)
C = Intersect(e_1, d_1)
v = Vector(A, E)
G = Translate(C, v)
H = Translate(D, v)
F = Translate(B, v)
f_1 = Segment(E, F)
g_1 = Segment(F, B)
h_1 = Segment(B, C)
i_1 = Segment(C, G)
j_1 = Segment(G, F)
k_1 = Segment(G, H)
l_1 = Segment(H, E)
m_1 = Segment(H, D)
n_1 = Segment(D, C)
H' = Mirror(H, G)
E' = Mirror(E, F)
p_1 = Segment(F, E')
q_1 = Segment(E', H')
r_1 = Segment(H', G)
S_1 = Midpoint(b)
T = Midpoint(S_1, B)
M = Midpoint(n_1)
P = Midpoint(M, D)
N = Midpoint(q_1)
Q = Midpoint(N, H')
s_1 = Segment(F, Q)
Q_1 = Midpoint(p_1)
R_1 = Midpoint(Q_1, E')
R' = Mirror(R_1, E')
t_1 = Segment(Q, R')
a_2 = Line(R_1, t_1)
R = Intersect(a_2, s_1)
Vieleck1, r_2, p_2, b_2 = Polygon(P, B, R)
α = Angle(R, B, P)
c_2 = OrthogonalLine(B, r_2)
d_2 = Segment(B, R)
O = Midpoint(R, Q)
O' = Mirror(O, R)
R'_1 = Mirror(R, O')
U = Midpoint(p_1)
V = Midpoint(U, E')
S = Midpoint(V, U)
W = Point(Vieleck1)
Z = Point(Vieleck1)
A_1 = Point(d_2)
I_1 = Point(d_2)
J_1 = Point(Vieleck1)
K_1 = Point(Vieleck1)
e_2 = Line(S, q_1)