Voici un pavé qui a pour dimensions 5cm, 2cm, 3cm et des petits cubes de 1cm de côté .

Remplir le pavé avec les petits cubes. 
Combien en faut-il ? 

Etablir la formule permettant de calculer 
le volume d'un pavé.

Volume d'un pavé

1)

2)

Mireille Buonanno    Groupe UPO Lyon

A = (43.78351388888859, 51.117027777777565)
a_4 = 1
B = Point(Circle[A, 1])
a = Segment(A, B)
c = Circle(A, B)
b = OrthogonalLine(A, a)
d = OrthogonalLine(B, a)
C = Intersect(c, b, 1)
e = OrthogonalLine(C, b)
B' = Rotate(B, 60*°, A)
α = Angle(B, A, B')
f = Ray(A, B')
g = Circle(A, 0.5)
D = Intersect(g, f, 1)
h = Line(D, a)
i = Line(B, f)
E = Intersect(d, e)
j = Line(E, i)
F = Intersect(h, i)
k = Line(F, d)
G = Intersect(j, k)
l = Line(D, b)
m = Line(G, e)
H = Intersect(l, m)
n = Segment(H, C)
p = Segment(G, E)
q = Segment(G, F)
r = Segment(F, D)
s = Segment(F, B)
t = Segment(D, A)
a_1 = Segment(A, C)
b_1 = Segment(D, H)
c_1 = Segment(H, G)
d_1 = Segment(C, E)
e_1 = Segment(E, B)
I = Point(g)
J = Point(g)
f_1 = Segment(I, J)
o = 1
A_2 = (42.4305138888886, 51.117027777777565)
B_2 = Point(Circle[A_2, 1])
a_5 = Segment(A_2, B_2)
c_5 = Circle(A_2, B_2)
b_5 = OrthogonalLine(A_2, a_5)
d_5 = OrthogonalLine(B_2, a_5)
C_2 = Intersect(c_5, b_5, 1)
e_5 = OrthogonalLine(C_2, b_5)
B'_2 = Rotate(B_2, 60*°, A_2)
α_2 = Angle(B_2, A_2, B'_2)
f_4 = Ray(A_2, B'_2)
g_2 = Circle(A_2, 0.5)
D_2 = Intersect(g_2, f_4, 1)
h_2 = Line(D_2, a_5)
i_2 = Line(B_2, f_4)
E_2 = Intersect(d_5, e_5)
j_2 = Line(E_2, i_2)
F_2 = Intersect(h_2, i_2)
k_2 = Line(F_2, d_5)
G_2 = Intersect(j_2, k_2)
l_2 = Line(D_2, b_5)
m_2 = Line(G_2, e_5)
H_2 = Intersect(l_2, m_2)
n_2 = Segment(H_2, C_2)
p_2 = Segment(G_2, E_2)
q_2 = Segment(G_2, F_2)
r_2 = Segment(F_2, D_2)
s_2 = Segment(F_2, B_2)
t_2 = Segment(D_2, A_2)
a_6 = Segment(A_2, C_2)
b_4 = Segment(D_2, H_2)
c_4 = Segment(H_2, G_2)
d_4 = Segment(C_2, E_2)
e_4 = Segment(E_2, B_2)
I_1 = Point(g_2)
J_1 = Point(g_2)
A_3 = (41.09401388888861, 51.117027777777565)
B_3 = Point(Circle[A_3, 1])
a_7 = Segment(A_3, B_3)
c_7 = Circle(A_3, B_3)
b_7 = OrthogonalLine(A_3, a_7)
d_7 = OrthogonalLine(B_3, a_7)
C_3 = Intersect(c_7, b_7, 1)
e_7 = OrthogonalLine(C_3, b_7)
B'_3 = Rotate(B_3, 60*°, A_3)
α_3 = Angle(B_3, A_3, B'_3)
f_5 = Ray(A_3, B'_3)
g_3 = Circle(A_3, 0.5)
D_3 = Intersect(g_3, f_5, 1)
h_3 = Line(D_3, a_7)
i_3 = Line(B_3, f_5)
E_3 = Intersect(d_7, e_7)
j_3 = Line(E_3, i_3)
F_3 = Intersect(h_3, i_3)
k_3 = Line(F_3, d_7)
G_3 = Intersect(j_3, k_3)
l_3 = Line(D_3, b_7)
m_3 = Line(G_3, e_7)
H_3 = Intersect(l_3, m_3)
n_3 = Segment(H_3, C_3)
p_3 = Segment(G_3, E_3)
q_3 = Segment(G_3, F_3)
r_3 = Segment(F_3, D_3)
s_3 = Segment(F_3, B_3)
t_3 = Segment(D_3, A_3)
a_8 = Segment(A_3, C_3)
b_6 = Segment(D_3, H_3)
c_6 = Segment(H_3, G_3)
d_6 = Segment(C_3, E_3)
e_6 = Segment(E_3, B_3)
I_2 = Point(g_3)
J_2 = Point(g_3)
u = false
v = false
A_4 = (47.84251388888856, 51.100527777777565)
B_6 = Point(Circle[A_4, 1])
a_9 = Segment(A_4, B_6)
c_{11} = Circle(A_4, B_6)
b_{11} = OrthogonalLine(A_4, a_9)
d_{11} = OrthogonalLine(B_6, a_9)
C_6 = Intersect(c_{11}, b_{11}, 1)
e_{11} = OrthogonalLine(C_6, b_{11})
B'_4 = Rotate(B_6, 60*°, A_4)
α_6 = Angle(B_6, A_4, B'_4)
f_6 = Ray(A_4, B'_4)
g_4 = Circle(A_4, 0.5)
D_6 = Intersect(g_4, f_6, 1)
h_4 = Line(D_6, a_9)
i_4 = Line(B_6, f_6)
E_6 = Intersect(d_{11}, e_{11})
j_4 = Line(E_6, i_4)
F_6 = Intersect(h_4, i_4)
k_4 = Line(F_6, d_{11})
G_6 = Intersect(j_4, k_4)
l_4 = Line(D_6, b_{11})
m_4 = Line(G_6, e_{11})
H_6 = Intersect(l_4, m_4)
n_4 = Segment(H_6, C_6)
p_4 = Segment(G_6, E_6)
q_4 = Segment(G_6, F_6)
r_4 = Segment(F_6, D_6)
s_4 = Segment(F_6, B_6)
t_4 = Segment(D_6, A_4)
a_{10} = Segment(A_4, C_6)
b_8 = Segment(D_6, H_6)
c_8 = Segment(H_6, G_6)
d_8 = Segment(C_6, E_6)
e_8 = Segment(E_6, B_6)
I_5 = Point(g_4)
J_5 = Point(g_4)
A_5 = (46.48951388888857, 51.100527777777565)
B_5 = Point(Circle[A_5, 1])
a_{11} = Segment(A_5, B_5)
c_{12} = Circle(A_5, B_5)
b_{12} = OrthogonalLine(A_5, a_{11})
d_{12} = OrthogonalLine(B_5, a_{11})
C_5 = Intersect(c_{12}, b_{12}, 1)
e_{12} = OrthogonalLine(C_5, b_{12})
B'_5 = Rotate(B_5, 60*°, A_5)
α_5 = Angle(B_5, A_5, B'_5)
f_7 = Ray(A_5, B'_5)
g_5 = Circle(A_5, 0.5)
D_5 = Intersect(g_5, f_7, 1)
h_5 = Line(D_5, a_{11})
i_5 = Line(B_5, f_7)
E_5 = Intersect(d_{12}, e_{12})
j_5 = Line(E_5, i_5)
F_5 = Intersect(h_5, i_5)
k_5 = Line(F_5, d_{12})
G_5 = Intersect(j_5, k_5)
l_5 = Line(D_5, b_{12})
m_5 = Line(G_5, e_{12})
H_5 = Intersect(l_5, m_5)
n_5 = Segment(H_5, C_5)
p_5 = Segment(G_5, E_5)
q_5 = Segment(G_5, F_5)
r_5 = Segment(F_5, D_5)
s_5 = Segment(F_5, B_5)
t_5 = Segment(D_5, A_5)
a_{12} = Segment(A_5, C_5)
b_9 = Segment(D_5, H_5)
c_9 = Segment(H_5, G_5)
d_9 = Segment(C_5, E_5)
e_9 = Segment(E_5, B_5)
I_4 = Point(g_5)
J_4 = Point(g_5)
A_6 = (45.15301388888858, 51.100527777777565)
B_4 = Point(Circle[A_6, 1])
a_{13} = Segment(A_6, B_4)
c_{13} = Circle(A_6, B_4)
b_{13} = OrthogonalLine(A_6, a_{13})
d_{13} = OrthogonalLine(B_4, a_{13})
C_4 = Intersect(c_{13}, b_{13}, 1)
e_{13} = OrthogonalLine(C_4, b_{13})
B'_6 = Rotate(B_4, 60*°, A_6)
α_4 = Angle(B_4, A_6, B'_6)
f_8 = Ray(A_6, B'_6)
g_6 = Circle(A_6, 0.5)
D_4 = Intersect(g_6, f_8, 1)
h_6 = Line(D_4, a_{13})
i_6 = Line(B_4, f_8)
E_4 = Intersect(d_{13}, e_{13})
j_6 = Line(E_4, i_6)
F_4 = Intersect(h_6, i_6)
k_6 = Line(F_4, d_{13})
G_4 = Intersect(j_6, k_6)
l_6 = Line(D_4, b_{13})
m_6 = Line(G_4, e_{13})
H_4 = Intersect(l_6, m_6)
n_6 = Segment(H_4, C_4)
p_6 = Segment(G_4, E_4)
q_6 = Segment(G_4, F_4)
r_6 = Segment(F_4, D_4)
s_6 = Segment(F_4, B_4)
t_6 = Segment(D_4, A_6)
a_{14} = Segment(A_6, C_4)
b_{10} = Segment(D_4, H_4)
c_{10} = Segment(H_4, G_4)
d_{10} = Segment(C_4, E_4)
e_{10} = Segment(E_4, B_4)
I_3 = Point(g_6)
J_3 = Point(g_6)
A_7 = (43.55251388888859, 49.48352777777757)
B_{12} = Point(Circle[A_7, 1])
a_{15} = Segment(A_7, B_{12})
c_{20} = Circle(A_7, B_{12})
b_{20} = OrthogonalLine(A_7, a_{15})
d_{20} = OrthogonalLine(B_{12}, a_{15})
C_{12} = Intersect(c_{20}, b_{20}, 1)
e_{20} = OrthogonalLine(C_{12}, b_{20})
B'_7 = Rotate(B_{12}, 60*°, A_7)
α_{12} = Angle(B_{12}, A_7, B'_7)
f_9 = Ray(A_7, B'_7)
g_7 = Circle(A_7, 0.5)
D_{12} = Intersect(g_7, f_9, 1)
h_7 = Line(D_{12}, a_{15})
i_7 = Line(B_{12}, f_9)
E_{12} = Intersect(d_{20}, e_{20})
j_7 = Line(E_{12}, i_7)
F_{12} = Intersect(h_7, i_7)
k_7 = Line(F_{12}, d_{20})
G_{12} = Intersect(j_7, k_7)
l_7 = Line(D_{12}, b_{20})
m_7 = Line(G_{12}, e_{20})
H_{12} = Intersect(l_7, m_7)
n_7 = Segment(H_{12}, C_{12})
p_7 = Segment(G_{12}, E_{12})
q_7 = Segment(G_{12}, F_{12})
r_7 = Segment(F_{12}, D_{12})
s_7 = Segment(F_{12}, B_{12})
t_7 = Segment(D_{12}, A_7)
a_{16} = Segment(A_7, C_{12})
b_{14} = Segment(D_{12}, H_{12})
c_{14} = Segment(H_{12}, G_{12})
d_{14} = Segment(C_{12}, E_{12})
e_{14} = Segment(E_{12}, B_{12})
I_{11} = Point(g_7)
J_{11} = Point(g_7)
A_8 = (42.199513888888596, 49.48352777777757)
B_{11} = Point(Circle[A_8, 1])
a_{17} = Segment(A_8, B_{11})
c_{21} = Circle(A_8, B_{11})
b_{21} = OrthogonalLine(A_8, a_{17})
d_{21} = OrthogonalLine(B_{11}, a_{17})
C_{11} = Intersect(c_{21}, b_{21}, 1)
e_{21} = OrthogonalLine(C_{11}, b_{21})
B'_8 = Rotate(B_{11}, 60*°, A_8)
α_{11} = Angle(B_{11}, A_8, B'_8)
f_{10} = Ray(A_8, B'_8)
g_8 = Circle(A_8, 0.5)
D_{11} = Intersect(g_8, f_{10}, 1)
h_8 = Line(D_{11}, a_{17})
i_8 = Line(B_{11}, f_{10})
E_{11} = Intersect(d_{21}, e_{21})
j_8 = Line(E_{11}, i_8)
F_{11} = Intersect(h_8, i_8)
k_8 = Line(F_{11}, d_{21})
G_{11} = Intersect(j_8, k_8)
l_8 = Line(D_{11}, b_{21})
m_8 = Line(G_{11}, e_{21})
H_{11} = Intersect(l_8, m_8)
n_8 = Segment(H_{11}, C_{11})
p_8 = Segment(G_{11}, E_{11})
q_8 = Segment(G_{11}, F_{11})
r_8 = Segment(F_{11}, D_{11})
s_8 = Segment(F_{11}, B_{11})
t_8 = Segment(D_{11}, A_8)
a_{18} = Segment(A_8, C_{11})
b_{15} = Segment(D_{11}, H_{11})
c_{15} = Segment(H_{11}, G_{11})
d_{15} = Segment(C_{11}, E_{11})
e_{15} = Segment(E_{11}, B_{11})
I_{10} = Point(g_8)
J_{10} = Point(g_8)
A_9 = (40.86301388888861, 49.48352777777757)
B_{10} = Point(Circle[A_9, 1])
a_{19} = Segment(A_9, B_{10})
c_{22} = Circle(A_9, B_{10})
b_{22} = OrthogonalLine(A_9, a_{19})
d_{22} = OrthogonalLine(B_{10}, a_{19})
C_{10} = Intersect(c_{22}, b_{22}, 1)
e_{22} = OrthogonalLine(C_{10}, b_{22})
B'_9 = Rotate(B_{10}, 60*°, A_9)
α_{10} = Angle(B_{10}, A_9, B'_9)
f_{11} = Ray(A_9, B'_9)
g_9 = Circle(A_9, 0.5)
D_{10} = Intersect(g_9, f_{11}, 1)
h_9 = Line(D_{10}, a_{19})
i_9 = Line(B_{10}, f_{11})
E_{10} = Intersect(d_{22}, e_{22})
j_9 = Line(E_{10}, i_9)
F_{10} = Intersect(h_9, i_9)
k_9 = Line(F_{10}, d_{22})
G_{10} = Intersect(j_9, k_9)
l_9 = Line(D_{10}, b_{22})
m_9 = Line(G_{10}, e_{22})
H_{10} = Intersect(l_9, m_9)
n_9 = Segment(H_{10}, C_{10})
p_9 = Segment(G_{10}, E_{10})
q_9 = Segment(G_{10}, F_{10})
r_9 = Segment(F_{10}, D_{10})
s_9 = Segment(F_{10}, B_{10})
t_9 = Segment(D_{10}, A_9)
a_{20} = Segment(A_9, C_{10})
b_{16} = Segment(D_{10}, H_{10})
c_{16} = Segment(H_{10}, G_{10})
d_{16} = Segment(C_{10}, E_{10})
e_{16} = Segment(E_{10}, B_{10})
I_9 = Point(g_9)
J_9 = Point(g_9)
A_{10} = (47.61151388888856, 49.46702777777757)
B_9 = Point(Circle[A_{10}, 1])
a_{21} = Segment(A_{10}, B_9)
c_{23} = Circle(A_{10}, B_9)
b_{23} = OrthogonalLine(A_{10}, a_{21})
d_{23} = OrthogonalLine(B_9, a_{21})
C_9 = Intersect(c_{23}, b_{23}, 1)
e_{23} = OrthogonalLine(C_9, b_{23})
B'_{10} = Rotate(B_9, 60*°, A_{10})
α_9 = Angle(B_9, A_{10}, B'_{10})
f_{12} = Ray(A_{10}, B'_{10})
g_{10} = Circle(A_{10}, 0.5)
D_9 = Intersect(g_{10}, f_{12}, 1)
h_{10} = Line(D_9, a_{21})
i_{10} = Line(B_9, f_{12})
E_9 = Intersect(d_{23}, e_{23})
j_{10} = Line(E_9, i_{10})
F_9 = Intersect(h_{10}, i_{10})
k_{10} = Line(F_9, d_{23})
G_9 = Intersect(j_{10}, k_{10})
l_{10} = Line(D_9, b_{23})
m_{10} = Line(G_9, e_{23})
H_9 = Intersect(l_{10}, m_{10})
n_{10} = Segment(H_9, C_9)
p_{10} = Segment(G_9, E_9)
q_{10} = Segment(G_9, F_9)
r_{10} = Segment(F_9, D_9)
s_{10} = Segment(F_9, B_9)
t_{10} = Segment(D_9, A_{10})
a_{22} = Segment(A_{10}, C_9)
b_{17} = Segment(D_9, H_9)
c_{17} = Segment(H_9, G_9)
d_{17} = Segment(C_9, E_9)
e_{17} = Segment(E_9, B_9)
I_8 = Point(g_{10})
J_8 = Point(g_{10})
A_{11} = (46.258513888888565, 49.46702777777757)
B_8 = Point(Circle[A_{11}, 1])
a_{23} = Segment(A_{11}, B_8)
c_{24} = Circle(A_{11}, B_8)
b_{24} = OrthogonalLine(A_{11}, a_{23})
d_{24} = OrthogonalLine(B_8, a_{23})
C_8 = Intersect(c_{24}, b_{24}, 1)
e_{24} = OrthogonalLine(C_8, b_{24})
B'_{11} = Rotate(B_8, 60*°, A_{11})
α_8 = Angle(B_8, A_{11}, B'_{11})
f_{13} = Ray(A_{11}, B'_{11})
g_{11} = Circle(A_{11}, 0.5)
D_8 = Intersect(g_{11}, f_{13}, 1)
h_{11} = Line(D_8, a_{23})
i_{11} = Line(B_8, f_{13})
E_8 = Intersect(d_{24}, e_{24})
j_{11} = Line(E_8, i_{11})
F_8 = Intersect(h_{11}, i_{11})
k_{11} = Line(F_8, d_{24})
G_8 = Intersect(j_{11}, k_{11})
l_{11} = Line(D_8, b_{24})
m_{11} = Line(G_8, e_{24})
H_8 = Intersect(l_{11}, m_{11})
n_{11} = Segment(H_8, C_8)
p_{11} = Segment(G_8, E_8)
q_{11} = Segment(G_8, F_8)
r_{11} = Segment(F_8, D_8)
s_{11} = Segment(F_8, B_8)
t_{11} = Segment(D_8, A_{11})
a_{24} = Segment(A_{11}, C_8)
b_{18} = Segment(D_8, H_8)
c_{18} = Segment(H_8, G_8)
d_{18} = Segment(C_8, E_8)
e_{18} = Segment(E_8, B_8)
I_7 = Point(g_{11})
J_7 = Point(g_{11})
A_{12} = (44.92201388888858, 49.46702777777757)
B_7 = Point(Circle[A_{12}, 1])
a_{25} = Segment(A_{12}, B_7)
c_{25} = Circle(A_{12}, B_7)
b_{25} = OrthogonalLine(A_{12}, a_{25})
d_{25} = OrthogonalLine(B_7, a_{25})
C_7 = Intersect(c_{25}, b_{25}, 1)
e_{25} = OrthogonalLine(C_7, b_{25})
B'_{12} = Rotate(B_7, 60*°, A_{12})
α_7 = Angle(B_7, A_{12}, B'_{12})
f_{14} = Ray(A_{12}, B'_{12})
g_{12} = Circle(A_{12}, 0.5)
D_7 = Intersect(g_{12}, f_{14}, 1)
h_{12} = Line(D_7, a_{25})
i_{12} = Line(B_7, f_{14})
E_7 = Intersect(d_{25}, e_{25})
j_{12} = Line(E_7, i_{12})
F_7 = Intersect(h_{12}, i_{12})
k_{12} = Line(F_7, d_{25})
G_7 = Intersect(j_{12}, k_{12})
l_{12} = Line(D_7, b_{25})
m_{12} = Line(G_7, e_{25})
H_7 = Intersect(l_{12}, m_{12})
n_{12} = Segment(H_7, C_7)
p_{12} = Segment(G_7, E_7)
q_{12} = Segment(G_7, F_7)
r_{12} = Segment(F_7, D_7)
s_{12} = Segment(F_7, B_7)
t_{12} = Segment(D_7, A_{12})
a_{26} = Segment(A_{12}, C_7)
b_{19} = Segment(D_7, H_7)
c_{19} = Segment(H_7, G_7)
d_{19} = Segment(C_7, E_7)
e_{19} = Segment(E_7, B_7)
I_6 = Point(g_{12})
J_6 = Point(g_{12})
A_{13} = (43.288513888888595, 47.78402777777758)
B_{24} = Point(Circle[A_{13}, 1])
a_{27} = Segment(A_{13}, B_{24})
c_{38} = Circle(A_{13}, B_{24})
b_{38} = OrthogonalLine(A_{13}, a_{27})
d_{38} = OrthogonalLine(B_{24}, a_{27})
C_{24} = Intersect(c_{38}, b_{38}, 1)
e_{38} = OrthogonalLine(C_{24}, b_{38})
B'_{13} = Rotate(B_{24}, 60*°, A_{13})
α_{24} = Angle(B_{24}, A_{13}, B'_{13})
f_{15} = Ray(A_{13}, B'_{13})
g_{13} = Circle(A_{13}, 0.5)
D_{24} = Intersect(g_{13}, f_{15}, 1)
h_{13} = Line(D_{24}, a_{27})
i_{13} = Line(B_{24}, f_{15})
E_{24} = Intersect(d_{38}, e_{38})
j_{13} = Line(E_{24}, i_{13})
F_{24} = Intersect(h_{13}, i_{13})
k_{13} = Line(F_{24}, d_{38})
G_{24} = Intersect(j_{13}, k_{13})
l_{13} = Line(D_{24}, b_{38})
m_{13} = Line(G_{24}, e_{38})
H_{24} = Intersect(l_{13}, m_{13})
n_{13} = Segment(H_{24}, C_{24})
p_{13} = Segment(G_{24}, E_{24})
q_{13} = Segment(G_{24}, F_{24})
r_{13} = Segment(F_{24}, D_{24})
s_{13} = Segment(F_{24}, B_{24})
t_{13} = Segment(D_{24}, A_{13})
a_{28} = Segment(A_{13}, C_{24})
b_{26} = Segment(D_{24}, H_{24})
c_{26} = Segment(H_{24}, G_{24})
d_{26} = Segment(C_{24}, E_{24})
e_{26} = Segment(E_{24}, B_{24})
I_{23} = Point(g_{13})
J_{23} = Point(g_{13})
A_{14} = (41.9355138888886, 47.78402777777758)
B_{23} = Point(Circle[A_{14}, 1])
a_{29} = Segment(A_{14}, B_{23})
c_{39} = Circle(A_{14}, B_{23})
b_{39} = OrthogonalLine(A_{14}, a_{29})
d_{39} = OrthogonalLine(B_{23}, a_{29})
C_{23} = Intersect(c_{39}, b_{39}, 1)
e_{39} = OrthogonalLine(C_{23}, b_{39})
B'_{14} = Rotate(B_{23}, 60*°, A_{14})
α_{23} = Angle(B_{23}, A_{14}, B'_{14})
f_{16} = Ray(A_{14}, B'_{14})
g_{14} = Circle(A_{14}, 0.5)
D_{23} = Intersect(g_{14}, f_{16}, 1)
h_{14} = Line(D_{23}, a_{29})
i_{14} = Line(B_{23}, f_{16})
E_{23} = Intersect(d_{39}, e_{39})
j_{14} = Line(E_{23}, i_{14})
F_{23} = Intersect(h_{14}, i_{14})
k_{14} = Line(F_{23}, d_{39})
G_{23} = Intersect(j_{14}, k_{14})
l_{14} = Line(D_{23}, b_{39})
m_{14} = Line(G_{23}, e_{39})
H_{23} = Intersect(l_{14}, m_{14})
n_{14} = Segment(H_{23}, C_{23})
p_{14} = Segment(G_{23}, E_{23})
q_{14} = Segment(G_{23}, F_{23})
r_{14} = Segment(F_{23}, D_{23})
s_{14} = Segment(F_{23}, B_{23})
t_{14} = Segment(D_{23}, A_{14})
a_{30} = Segment(A_{14}, C_{23})
b_{27} = Segment(D_{23}, H_{23})
c_{27} = Segment(H_{23}, G_{23})
d_{27} = Segment(C_{23}, E_{23})
e_{27} = Segment(E_{23}, B_{23})
I_{22} = Point(g_{14})
J_{22} = Point(g_{14})
A_{15} = (40.599013888888614, 47.78402777777758)
B_{22} = Point(Circle[A_{15}, 1])
a_{31} = Segment(A_{15}, B_{22})
c_{40} = Circle(A_{15}, B_{22})
b_{40} = OrthogonalLine(A_{15}, a_{31})
d_{40} = OrthogonalLine(B_{22}, a_{31})
C_{22} = Intersect(c_{40}, b_{40}, 1)
e_{40} = OrthogonalLine(C_{22}, b_{40})
B'_{15} = Rotate(B_{22}, 60*°, A_{15})
α_{22} = Angle(B_{22}, A_{15}, B'_{15})
f_{17} = Ray(A_{15}, B'_{15})
g_{15} = Circle(A_{15}, 0.5)
D_{22} = Intersect(g_{15}, f_{17}, 1)
h_{15} = Line(D_{22}, a_{31})
i_{15} = Line(B_{22}, f_{17})
E_{22} = Intersect(d_{40}, e_{40})
j_{15} = Line(E_{22}, i_{15})
F_{22} = Intersect(h_{15}, i_{15})
k_{15} = Line(F_{22}, d_{40})
G_{22} = Intersect(j_{15}, k_{15})
l_{15} = Line(D_{22}, b_{40})
m_{15} = Line(G_{22}, e_{40})
H_{22} = Intersect(l_{15}, m_{15})
n_{15} = Segment(H_{22}, C_{22})
p_{15} = Segment(G_{22}, E_{22})
q_{15} = Segment(G_{22}, F_{22})
r_{15} = Segment(F_{22}, D_{22})
s_{15} = Segment(F_{22}, B_{22})
t_{15} = Segment(D_{22}, A_{15})
a_{32} = Segment(A_{15}, C_{22})
b_{28} = Segment(D_{22}, H_{22})
c_{28} = Segment(H_{22}, G_{22})
d_{28} = Segment(C_{22}, E_{22})
e_{28} = Segment(E_{22}, B_{22})
I_{21} = Point(g_{15})
J_{21} = Point(g_{15})
A_{16} = (47.347513888888564, 47.76752777777758)
B_{21} = Point(Circle[A_{16}, 1])
a_{33} = Segment(A_{16}, B_{21})
c_{41} = Circle(A_{16}, B_{21})
b_{41} = OrthogonalLine(A_{16}, a_{33})
d_{41} = OrthogonalLine(B_{21}, a_{33})
C_{21} = Intersect(c_{41}, b_{41}, 1)
e_{41} = OrthogonalLine(C_{21}, b_{41})
B'_{16} = Rotate(B_{21}, 60*°, A_{16})
α_{21} = Angle(B_{21}, A_{16}, B'_{16})
f_{18} = Ray(A_{16}, B'_{16})
g_{16} = Circle(A_{16}, 0.5)
D_{21} = Intersect(g_{16}, f_{18}, 1)
h_{16} = Line(D_{21}, a_{33})
i_{16} = Line(B_{21}, f_{18})
E_{21} = Intersect(d_{41}, e_{41})
j_{16} = Line(E_{21}, i_{16})
F_{21} = Intersect(h_{16}, i_{16})
k_{16} = Line(F_{21}, d_{41})
G_{21} = Intersect(j_{16}, k_{16})
l_{16} = Line(D_{21}, b_{41})
m_{16} = Line(G_{21}, e_{41})
H_{21} = Intersect(l_{16}, m_{16})
n_{16} = Segment(H_{21}, C_{21})
p_{16} = Segment(G_{21}, E_{21})
q_{16} = Segment(G_{21}, F_{21})
r_{16} = Segment(F_{21}, D_{21})
s_{16} = Segment(F_{21}, B_{21})
t_{16} = Segment(D_{21}, A_{16})
a_{34} = Segment(A_{16}, C_{21})
b_{29} = Segment(D_{21}, H_{21})
c_{29} = Segment(H_{21}, G_{21})
d_{29} = Segment(C_{21}, E_{21})
e_{29} = Segment(E_{21}, B_{21})
I_{20} = Point(g_{16})
J_{20} = Point(g_{16})
A_{17} = (45.99451388888857, 47.76752777777758)
B_{20} = Point(Circle[A_{17}, 1])
a_{35} = Segment(A_{17}, B_{20})
c_{42} = Circle(A_{17}, B_{20})
b_{42} = OrthogonalLine(A_{17}, a_{35})
d_{42} = OrthogonalLine(B_{20}, a_{35})
C_{20} = Intersect(c_{42}, b_{42}, 1)
e_{42} = OrthogonalLine(C_{20}, b_{42})
B'_{17} = Rotate(B_{20}, 60*°, A_{17})
α_{20} = Angle(B_{20}, A_{17}, B'_{17})
f_{19} = Ray(A_{17}, B'_{17})
g_{17} = Circle(A_{17}, 0.5)
D_{20} = Intersect(g_{17}, f_{19}, 1)
h_{17} = Line(D_{20}, a_{35})
i_{17} = Line(B_{20}, f_{19})
E_{20} = Intersect(d_{42}, e_{42})
j_{17} = Line(E_{20}, i_{17})
F_{20} = Intersect(h_{17}, i_{17})
k_{17} = Line(F_{20}, d_{42})
G_{20} = Intersect(j_{17}, k_{17})
l_{17} = Line(D_{20}, b_{42})
m_{17} = Line(G_{20}, e_{42})
H_{20} = Intersect(l_{17}, m_{17})
n_{17} = Segment(H_{20}, C_{20})
p_{17} = Segment(G_{20}, E_{20})
q_{17} = Segment(G_{20}, F_{20})
r_{17} = Segment(F_{20}, D_{20})
s_{17} = Segment(F_{20}, B_{20})
t_{17} = Segment(D_{20}, A_{17})
a_{36} = Segment(A_{17}, C_{20})
b_{30} = Segment(D_{20}, H_{20})
c_{30} = Segment(H_{20}, G_{20})
d_{30} = Segment(C_{20}, E_{20})
e_{30} = Segment(E_{20}, B_{20})
I_{19} = Point(g_{17})
J_{19} = Point(g_{17})
A_{18} = (44.65801388888858, 47.76752777777758)
B_{19} = Point(Circle[A_{18}, 1])
a_{37} = Segment(A_{18}, B_{19})
c_{43} = Circle(A_{18}, B_{19})
b_{43} = OrthogonalLine(A_{18}, a_{37})
d_{43} = OrthogonalLine(B_{19}, a_{37})
C_{19} = Intersect(c_{43}, b_{43}, 1)
e_{43} = OrthogonalLine(C_{19}, b_{43})
B'_{18} = Rotate(B_{19}, 60*°, A_{18})
α_{19} = Angle(B_{19}, A_{18}, B'_{18})
f_{20} = Ray(A_{18}, B'_{18})
g_{18} = Circle(A_{18}, 0.5)
D_{19} = Intersect(g_{18}, f_{20}, 1)
h_{18} = Line(D_{19}, a_{37})
i_{18} = Line(B_{19}, f_{20})
E_{19} = Intersect(d_{43}, e_{43})
j_{18} = Line(E_{19}, i_{18})
F_{19} = Intersect(h_{18}, i_{18})
k_{18} = Line(F_{19}, d_{43})
G_{19} = Intersect(j_{18}, k_{18})
l_{18} = Line(D_{19}, b_{43})
m_{18} = Line(G_{19}, e_{43})
H_{19} = Intersect(l_{18}, m_{18})
n_{18} = Segment(H_{19}, C_{19})
p_{18} = Segment(G_{19}, E_{19})
q_{18} = Segment(G_{19}, F_{19})
r_{18} = Segment(F_{19}, D_{19})
s_{18} = Segment(F_{19}, B_{19})
t_{18} = Segment(D_{19}, A_{18})
a_{38} = Segment(A_{18}, C_{19})
b_{31} = Segment(D_{19}, H_{19})
c_{31} = Segment(H_{19}, G_{19})
d_{31} = Segment(C_{19}, E_{19})
e_{31} = Segment(E_{19}, B_{19})
I_{18} = Point(g_{18})
J_{18} = Point(g_{18})
A_{19} = (43.05751388888859, 46.15052777777758)
B_{18} = Point(Circle[A_{19}, 1])
a_{39} = Segment(A_{19}, B_{18})
c_{44} = Circle(A_{19}, B_{18})
b_{44} = OrthogonalLine(A_{19}, a_{39})
d_{44} = OrthogonalLine(B_{18}, a_{39})
C_{18} = Intersect(c_{44}, b_{44}, 1)
e_{44} = OrthogonalLine(C_{18}, b_{44})
B'_{19} = Rotate(B_{18}, 60*°, A_{19})
α_{18} = Angle(B_{18}, A_{19}, B'_{19})
f_{21} = Ray(A_{19}, B'_{19})
g_{19} = Circle(A_{19}, 0.5)
D_{18} = Intersect(g_{19}, f_{21}, 1)
h_{19} = Line(D_{18}, a_{39})
i_{19} = Line(B_{18}, f_{21})
E_{18} = Intersect(d_{44}, e_{44})
j_{19} = Line(E_{18}, i_{19})
F_{18} = Intersect(h_{19}, i_{19})
k_{19} = Line(F_{18}, d_{44})
G_{18} = Intersect(j_{19}, k_{19})
l_{19} = Line(D_{18}, b_{44})
m_{19} = Line(G_{18}, e_{44})
H_{18} = Intersect(l_{19}, m_{19})
n_{19} = Segment(H_{18}, C_{18})
p_{19} = Segment(G_{18}, E_{18})
q_{19} = Segment(G_{18}, F_{18})
r_{19} = Segment(F_{18}, D_{18})
s_{19} = Segment(F_{18}, B_{18})
t_{19} = Segment(D_{18}, A_{19})
a_{40} = Segment(A_{19}, C_{18})
b_{32} = Segment(D_{18}, H_{18})
c_{32} = Segment(H_{18}, G_{18})
d_{32} = Segment(C_{18}, E_{18})
e_{32} = Segment(E_{18}, B_{18})
I_{17} = Point(g_{19})
J_{17} = Point(g_{19})
A_{20} = (41.7045138888886, 46.15052777777758)
B_{17} = Point(Circle[A_{20}, 1])
a_{41} = Segment(A_{20}, B_{17})
c_{45} = Circle(A_{20}, B_{17})
b_{45} = OrthogonalLine(A_{20}, a_{41})
d_{45} = OrthogonalLine(B_{17}, a_{41})
C_{17} = Intersect(c_{45}, b_{45}, 1)
e_{45} = OrthogonalLine(C_{17}, b_{45})
B'_{20} = Rotate(B_{17}, 60*°, A_{20})
α_{17} = Angle(B_{17}, A_{20}, B'_{20})
f_{22} = Ray(A_{20}, B'_{20})
g_{20} = Circle(A_{20}, 0.5)
D_{17} = Intersect(g_{20}, f_{22}, 1)
h_{20} = Line(D_{17}, a_{41})
i_{20} = Line(B_{17}, f_{22})
E_{17} = Intersect(d_{45}, e_{45})
j_{20} = Line(E_{17}, i_{20})
F_{17} = Intersect(h_{20}, i_{20})
k_{20} = Line(F_{17}, d_{45})
G_{17} = Intersect(j_{20}, k_{20})
l_{20} = Line(D_{17}, b_{45})
m_{20} = Line(G_{17}, e_{45})
H_{17} = Intersect(l_{20}, m_{20})
n_{20} = Segment(H_{17}, C_{17})
p_{20} = Segment(G_{17}, E_{17})
q_{20} = Segment(G_{17}, F_{17})
r_{20} = Segment(F_{17}, D_{17})
s_{20} = Segment(F_{17}, B_{17})
t_{20} = Segment(D_{17}, A_{20})
a_{42} = Segment(A_{20}, C_{17})
b_{33} = Segment(D_{17}, H_{17})
c_{33} = Segment(H_{17}, G_{17})
d_{33} = Segment(C_{17}, E_{17})
e_{33} = Segment(E_{17}, B_{17})
I_{16} = Point(g_{20})
J_{16} = Point(g_{20})
A_{21} = (40.36801388888861, 46.15052777777758)
B_{16} = Point(Circle[A_{21}, 1])
a_{43} = Segment(A_{21}, B_{16})
c_{46} = Circle(A_{21}, B_{16})
b_{46} = OrthogonalLine(A_{21}, a_{43})
d_{46} = OrthogonalLine(B_{16}, a_{43})
C_{16} = Intersect(c_{46}, b_{46}, 1)
e_{46} = OrthogonalLine(C_{16}, b_{46})
B'_{21} = Rotate(B_{16}, 60*°, A_{21})
α_{16} = Angle(B_{16}, A_{21}, B'_{21})
f_{23} = Ray(A_{21}, B'_{21})
g_{21} = Circle(A_{21}, 0.5)
D_{16} = Intersect(g_{21}, f_{23}, 1)
h_{21} = Line(D_{16}, a_{43})
i_{21} = Line(B_{16}, f_{23})
E_{16} = Intersect(d_{46}, e_{46})
j_{21} = Line(E_{16}, i_{21})
F_{16} = Intersect(h_{21}, i_{21})
k_{21} = Line(F_{16}, d_{46})
G_{16} = Intersect(j_{21}, k_{21})
l_{21} = Line(D_{16}, b_{46})
m_{21} = Line(G_{16}, e_{46})
H_{16} = Intersect(l_{21}, m_{21})
n_{21} = Segment(H_{16}, C_{16})
p_{21} = Segment(G_{16}, E_{16})
q_{21} = Segment(G_{16}, F_{16})
r_{21} = Segment(F_{16}, D_{16})
s_{21} = Segment(F_{16}, B_{16})
t_{21} = Segment(D_{16}, A_{21})
a_{44} = Segment(A_{21}, C_{16})
b_{34} = Segment(D_{16}, H_{16})
c_{34} = Segment(H_{16}, G_{16})
d_{34} = Segment(C_{16}, E_{16})
e_{34} = Segment(E_{16}, B_{16})
I_{15} = Point(g_{21})
J_{15} = Point(g_{21})
A_{22} = (47.11651388888856, 46.13402777777758)
B_{15} = Point(Circle[A_{22}, 1])
a_{45} = Segment(A_{22}, B_{15})
c_{47} = Circle(A_{22}, B_{15})
b_{47} = OrthogonalLine(A_{22}, a_{45})
d_{47} = OrthogonalLine(B_{15}, a_{45})
C_{15} = Intersect(c_{47}, b_{47}, 1)
e_{47} = OrthogonalLine(C_{15}, b_{47})
B'_{22} = Rotate(B_{15}, 60*°, A_{22})
α_{15} = Angle(B_{15}, A_{22}, B'_{22})
f_{24} = Ray(A_{22}, B'_{22})
g_{22} = Circle(A_{22}, 0.5)
D_{15} = Intersect(g_{22}, f_{24}, 1)
h_{22} = Line(D_{15}, a_{45})
i_{22} = Line(B_{15}, f_{24})
E_{15} = Intersect(d_{47}, e_{47})
j_{22} = Line(E_{15}, i_{22})
F_{15} = Intersect(h_{22}, i_{22})
k_{22} = Line(F_{15}, d_{47})
G_{15} = Intersect(j_{22}, k_{22})
l_{22} = Line(D_{15}, b_{47})
m_{22} = Line(G_{15}, e_{47})
H_{15} = Intersect(l_{22}, m_{22})
n_{22} = Segment(H_{15}, C_{15})
p_{22} = Segment(G_{15}, E_{15})
q_{22} = Segment(G_{15}, F_{15})
r_{22} = Segment(F_{15}, D_{15})
s_{22} = Segment(F_{15}, B_{15})
t_{22} = Segment(D_{15}, A_{22})
a_{46} = Segment(A_{22}, C_{15})
b_{35} = Segment(D_{15}, H_{15})
c_{35} = Segment(H_{15}, G_{15})
d_{35} = Segment(C_{15}, E_{15})
e_{35} = Segment(E_{15}, B_{15})
I_{14} = Point(g_{22})
J_{14} = Point(g_{22})
A_{23} = (45.76351388888857, 46.13402777777758)
B_{14} = Point(Circle[A_{23}, 1])
a_{47} = Segment(A_{23}, B_{14})
c_{48} = Circle(A_{23}, B_{14})
b_{48} = OrthogonalLine(A_{23}, a_{47})
d_{48} = OrthogonalLine(B_{14}, a_{47})
C_{14} = Intersect(c_{48}, b_{48}, 1)
e_{48} = OrthogonalLine(C_{14}, b_{48})
B'_{23} = Rotate(B_{14}, 60*°, A_{23})
α_{14} = Angle(B_{14}, A_{23}, B'_{23})
f_{25} = Ray(A_{23}, B'_{23})
g_{23} = Circle(A_{23}, 0.5)
D_{14} = Intersect(g_{23}, f_{25}, 1)
h_{23} = Line(D_{14}, a_{47})
i_{23} = Line(B_{14}, f_{25})
E_{14} = Intersect(d_{48}, e_{48})
j_{23} = Line(E_{14}, i_{23})
F_{14} = Intersect(h_{23}, i_{23})
k_{23} = Line(F_{14}, d_{48})
G_{14} = Intersect(j_{23}, k_{23})
l_{23} = Line(D_{14}, b_{48})
m_{23} = Line(G_{14}, e_{48})
H_{14} = Intersect(l_{23}, m_{23})
n_{23} = Segment(H_{14}, C_{14})
p_{23} = Segment(G_{14}, E_{14})
q_{23} = Segment(G_{14}, F_{14})
r_{23} = Segment(F_{14}, D_{14})
s_{23} = Segment(F_{14}, B_{14})
t_{23} = Segment(D_{14}, A_{23})
a_{48} = Segment(A_{23}, C_{14})
b_{36} = Segment(D_{14}, H_{14})
c_{36} = Segment(H_{14}, G_{14})
d_{36} = Segment(C_{14}, E_{14})
e_{36} = Segment(E_{14}, B_{14})
I_{13} = Point(g_{23})
J_{13} = Point(g_{23})
A_{24} = (44.42701388888858, 46.13402777777758)
B_{13} = Point(Circle[A_{24}, 1])
a_{49} = Segment(A_{24}, B_{13})
c_{49} = Circle(A_{24}, B_{13})
b_{49} = OrthogonalLine(A_{24}, a_{49})
d_{49} = OrthogonalLine(B_{13}, a_{49})
C_{13} = Intersect(c_{49}, b_{49}, 1)
e_{49} = OrthogonalLine(C_{13}, b_{49})
B'_{24} = Rotate(B_{13}, 60*°, A_{24})
α_{13} = Angle(B_{13}, A_{24}, B'_{24})
f_{26} = Ray(A_{24}, B'_{24})
g_{24} = Circle(A_{24}, 0.5)
D_{13} = Intersect(g_{24}, f_{26}, 1)
h_{24} = Line(D_{13}, a_{49})
i_{24} = Line(B_{13}, f_{26})
E_{13} = Intersect(d_{49}, e_{49})
j_{24} = Line(E_{13}, i_{24})
F_{13} = Intersect(h_{24}, i_{24})
k_{24} = Line(F_{13}, d_{49})
G_{13} = Intersect(j_{24}, k_{24})
l_{24} = Line(D_{13}, b_{49})
m_{24} = Line(G_{13}, e_{49})
H_{13} = Intersect(l_{24}, m_{24})
n_{24} = Segment(H_{13}, C_{13})
p_{24} = Segment(G_{13}, E_{13})
q_{24} = Segment(G_{13}, F_{13})
r_{24} = Segment(F_{13}, D_{13})
s_{24} = Segment(F_{13}, B_{13})
t_{24} = Segment(D_{13}, A_{24})
a_{50} = Segment(A_{24}, C_{13})
b_{37} = Segment(D_{13}, H_{13})
c_{37} = Segment(H_{13}, G_{13})
d_{37} = Segment(C_{13}, E_{13})
e_{37} = Segment(E_{13}, B_{13})
I_{12} = Point(g_{24})
J_{12} = Point(g_{24})
A_{25} = (42.7770138888886, 44.46752777777759)
B_{30} = Point(Circle[A_{25}, 1])
a_{51} = Segment(A_{25}, B_{30})
c_{56} = Circle(A_{25}, B_{30})
b_{56} = OrthogonalLine(A_{25}, a_{51})
d_{56} = OrthogonalLine(B_{30}, a_{51})
C_{30} = Intersect(c_{56}, b_{56}, 1)
e_{56} = OrthogonalLine(C_{30}, b_{56})
B'_{25} = Rotate(B_{30}, 60*°, A_{25})
α_{30} = Angle(B_{30}, A_{25}, B'_{25})
f_{27} = Ray(A_{25}, B'_{25})
g_{25} = Circle(A_{25}, 0.5)
D_{30} = Intersect(g_{25}, f_{27}, 1)
h_{25} = Line(D_{30}, a_{51})
i_{25} = Line(B_{30}, f_{27})
E_{30} = Intersect(d_{56}, e_{56})
j_{25} = Line(E_{30}, i_{25})
F_{30} = Intersect(h_{25}, i_{25})
k_{25} = Line(F_{30}, d_{56})
G_{30} = Intersect(j_{25}, k_{25})
l_{25} = Line(D_{30}, b_{56})
m_{25} = Line(G_{30}, e_{56})
H_{30} = Intersect(l_{25}, m_{25})
n_{25} = Segment(H_{30}, C_{30})
p_{25} = Segment(G_{30}, E_{30})
q_{25} = Segment(G_{30}, F_{30})
r_{25} = Segment(F_{30}, D_{30})
s_{25} = Segment(F_{30}, B_{30})
t_{25} = Segment(D_{30}, A_{25})
a_{52} = Segment(A_{25}, C_{30})
b_{50} = Segment(D_{30}, H_{30})
c_{50} = Segment(H_{30}, G_{30})
d_{50} = Segment(C_{30}, E_{30})
e_{50} = Segment(E_{30}, B_{30})
I_{29} = Point(g_{25})
J_{29} = Point(g_{25})
A_{26} = (41.4240138888886, 44.46752777777759)
B_{29} = Point(Circle[A_{26}, 1])
a_{53} = Segment(A_{26}, B_{29})
c_{57} = Circle(A_{26}, B_{29})
b_{57} = OrthogonalLine(A_{26}, a_{53})
d_{57} = OrthogonalLine(B_{29}, a_{53})
C_{29} = Intersect(c_{57}, b_{57}, 1)
e_{57} = OrthogonalLine(C_{29}, b_{57})
B'_{26} = Rotate(B_{29}, 60*°, A_{26})
α_{29} = Angle(B_{29}, A_{26}, B'_{26})
f_{28} = Ray(A_{26}, B'_{26})
g_{26} = Circle(A_{26}, 0.5)
D_{29} = Intersect(g_{26}, f_{28}, 1)
h_{26} = Line(D_{29}, a_{53})
i_{26} = Line(B_{29}, f_{28})
E_{29} = Intersect(d_{57}, e_{57})
j_{26} = Line(E_{29}, i_{26})
F_{29} = Intersect(h_{26}, i_{26})
k_{26} = Line(F_{29}, d_{57})
G_{29} = Intersect(j_{26}, k_{26})
l_{26} = Line(D_{29}, b_{57})
m_{26} = Line(G_{29}, e_{57})
H_{29} = Intersect(l_{26}, m_{26})
n_{26} = Segment(H_{29}, C_{29})
p_{26} = Segment(G_{29}, E_{29})
q_{26} = Segment(G_{29}, F_{29})
r_{26} = Segment(F_{29}, D_{29})
s_{26} = Segment(F_{29}, B_{29})
t_{26} = Segment(D_{29}, A_{26})
a_{54} = Segment(A_{26}, C_{29})
b_{51} = Segment(D_{29}, H_{29})
c_{51} = Segment(H_{29}, G_{29})
d_{51} = Segment(C_{29}, E_{29})
e_{51} = Segment(E_{29}, B_{29})
I_{28} = Point(g_{26})
J_{28} = Point(g_{26})
A_{27} = (40.087513888888616, 44.46752777777759)
B_{28} = Point(Circle[A_{27}, 1])
a_{55} = Segment(A_{27}, B_{28})
c_{58} = Circle(A_{27}, B_{28})
b_{58} = OrthogonalLine(A_{27}, a_{55})
d_{58} = OrthogonalLine(B_{28}, a_{55})
C_{28} = Intersect(c_{58}, b_{58}, 1)
e_{58} = OrthogonalLine(C_{28}, b_{58})
B'_{27} = Rotate(B_{28}, 60*°, A_{27})
α_{28} = Angle(B_{28}, A_{27}, B'_{27})
f_{29} = Ray(A_{27}, B'_{27})
g_{27} = Circle(A_{27}, 0.5)
D_{28} = Intersect(g_{27}, f_{29}, 1)
h_{27} = Line(D_{28}, a_{55})
i_{27} = Line(B_{28}, f_{29})
E_{28} = Intersect(d_{58}, e_{58})
j_{27} = Line(E_{28}, i_{27})
F_{28} = Intersect(h_{27}, i_{27})
k_{27} = Line(F_{28}, d_{58})
G_{28} = Intersect(j_{27}, k_{27})
l_{27} = Line(D_{28}, b_{58})
m_{27} = Line(G_{28}, e_{58})
H_{28} = Intersect(l_{27}, m_{27})
n_{27} = Segment(H_{28}, C_{28})
p_{27} = Segment(G_{28}, E_{28})
q_{27} = Segment(G_{28}, F_{28})
r_{27} = Segment(F_{28}, D_{28})
s_{27} = Segment(F_{28}, B_{28})
t_{27} = Segment(D_{28}, A_{27})
a_{56} = Segment(A_{27}, C_{28})
b_{52} = Segment(D_{28}, H_{28})
c_{52} = Segment(H_{28}, G_{28})
d_{52} = Segment(C_{28}, E_{28})
e_{52} = Segment(E_{28}, B_{28})
I_{27} = Point(g_{27})
J_{27} = Point(g_{27})
A_{28} = (46.836013888888566, 44.45102777777759)
B_{27} = Point(Circle[A_{28}, 1])
a_{57} = Segment(A_{28}, B_{27})
c_{59} = Circle(A_{28}, B_{27})
b_{59} = OrthogonalLine(A_{28}, a_{57})
d_{59} = OrthogonalLine(B_{27}, a_{57})
C_{27} = Intersect(c_{59}, b_{59}, 1)
e_{59} = OrthogonalLine(C_{27}, b_{59})
B'_{28} = Rotate(B_{27}, 60*°, A_{28})
α_{27} = Angle(B_{27}, A_{28}, B'_{28})
f_{30} = Ray(A_{28}, B'_{28})
g_{28} = Circle(A_{28}, 0.5)
D_{27} = Intersect(g_{28}, f_{30}, 1)
h_{28} = Line(D_{27}, a_{57})
i_{28} = Line(B_{27}, f_{30})
E_{27} = Intersect(d_{59}, e_{59})
j_{28} = Line(E_{27}, i_{28})
F_{27} = Intersect(h_{28}, i_{28})
k_{28} = Line(F_{27}, d_{59})
G_{27} = Intersect(j_{28}, k_{28})
l_{28} = Line(D_{27}, b_{59})
m_{28} = Line(G_{27}, e_{59})
H_{27} = Intersect(l_{28}, m_{28})
n_{28} = Segment(H_{27}, C_{27})
p_{28} = Segment(G_{27}, E_{27})
q_{28} = Segment(G_{27}, F_{27})
r_{28} = Segment(F_{27}, D_{27})
s_{28} = Segment(F_{27}, B_{27})
t_{28} = Segment(D_{27}, A_{28})
a_{58} = Segment(A_{28}, C_{27})
b_{53} = Segment(D_{27}, H_{27})
c_{53} = Segment(H_{27}, G_{27})
d_{53} = Segment(C_{27}, E_{27})
e_{53} = Segment(E_{27}, B_{27})
I_{26} = Point(g_{28})
J_{26} = Point(g_{28})
A_{29} = (45.48301388888857, 44.45102777777759)
B_{26} = Point(Circle[A_{29}, 1])
a_{59} = Segment(A_{29}, B_{26})
c_{60} = Circle(A_{29}, B_{26})
b_{60} = OrthogonalLine(A_{29}, a_{59})
d_{60} = OrthogonalLine(B_{26}, a_{59})
C_{26} = Intersect(c_{60}, b_{60}, 1)
e_{60} = OrthogonalLine(C_{26}, b_{60})
B'_{29} = Rotate(B_{26}, 60*°, A_{29})
α_{26} = Angle(B_{26}, A_{29}, B'_{29})
f_{31} = Ray(A_{29}, B'_{29})
g_{29} = Circle(A_{29}, 0.5)
D_{26} = Intersect(g_{29}, f_{31}, 1)
h_{29} = Line(D_{26}, a_{59})
i_{29} = Line(B_{26}, f_{31})
E_{26} = Intersect(d_{60}, e_{60})
j_{29} = Line(E_{26}, i_{29})
F_{26} = Intersect(h_{29}, i_{29})
k_{29} = Line(F_{26}, d_{60})
G_{26} = Intersect(j_{29}, k_{29})
l_{29} = Line(D_{26}, b_{60})
m_{29} = Line(G_{26}, e_{60})
H_{26} = Intersect(l_{29}, m_{29})
n_{29} = Segment(H_{26}, C_{26})
p_{29} = Segment(G_{26}, E_{26})
q_{29} = Segment(G_{26}, F_{26})
r_{29} = Segment(F_{26}, D_{26})
s_{29} = Segment(F_{26}, B_{26})
t_{29} = Segment(D_{26}, A_{29})
a_{60} = Segment(A_{29}, C_{26})
b_{54} = Segment(D_{26}, H_{26})
c_{54} = Segment(H_{26}, G_{26})
d_{54} = Segment(C_{26}, E_{26})
e_{54} = Segment(E_{26}, B_{26})
I_{25} = Point(g_{29})
J_{25} = Point(g_{29})
A_{30} = (44.146513888888585, 44.45102777777759)
B_{25} = Point(Circle[A_{30}, 1])
a_{61} = Segment(A_{30}, B_{25})
c_{61} = Circle(A_{30}, B_{25})
b_{61} = OrthogonalLine(A_{30}, a_{61})
d_{61} = OrthogonalLine(B_{25}, a_{61})
C_{25} = Intersect(c_{61}, b_{61}, 1)
e_{61} = OrthogonalLine(C_{25}, b_{61})
B'_{30} = Rotate(B_{25}, 60*°, A_{30})
α_{25} = Angle(B_{25}, A_{30}, B'_{30})
f_{32} = Ray(A_{30}, B'_{30})
g_{30} = Circle(A_{30}, 0.5)
D_{25} = Intersect(g_{30}, f_{32}, 1)
h_{30} = Line(D_{25}, a_{61})
i_{30} = Line(B_{25}, f_{32})
E_{25} = Intersect(d_{61}, e_{61})
j_{30} = Line(E_{25}, i_{30})
F_{25} = Intersect(h_{30}, i_{30})
k_{30} = Line(F_{25}, d_{61})
G_{25} = Intersect(j_{30}, k_{30})
l_{30} = Line(D_{25}, b_{61})
m_{30} = Line(G_{25}, e_{61})
H_{25} = Intersect(l_{30}, m_{30})
n_{30} = Segment(H_{25}, C_{25})
p_{30} = Segment(G_{25}, E_{25})
q_{30} = Segment(G_{25}, F_{25})
r_{30} = Segment(F_{25}, D_{25})
s_{30} = Segment(F_{25}, B_{25})
t_{30} = Segment(D_{25}, A_{30})
a_{62} = Segment(A_{30}, C_{25})
b_{55} = Segment(D_{25}, H_{25})
c_{55} = Segment(H_{25}, G_{25})
d_{55} = Segment(C_{25}, E_{25})
e_{55} = Segment(E_{25}, B_{25})
I_{24} = Point(g_{30})
J_{24} = Point(g_{30})
A_{32} = (32.45081247654222, 44.49071659026302)
B_{32} = Point(Circle[A_{32}, 5])
a_{63} = Segment(A_{32}, B_{32})
b_{64} = OrthogonalLine(A_{32}, a_{63})
c_{64} = OrthogonalLine(B_{32}, a_{63})
B'_{31} = Rotate(B_{32}, 60*°, A_{32})
α_{31} = Angle(B_{32}, A_{32}, B'_{31})
f_{33} = Ray(A_{32}, B'_{31})
g_{31} = Circle(A_{32}, 1.5)
E_{32} = Intersect(g_{31}, f_{33}, 1)
h_{32} = Line(E_{32}, a_{63})
a_{64} = Segment(A_{32}, E_{32})
a_{65} = OrthogonalLine(A_{32}, a_{63})
b_{63} = OrthogonalLine(B_{32}, a_{63})
c_{63} = Circle(A_{32}, 2)
A_{31} = Intersect(c_{63}, a_{65}, 2)
d_{62} = OrthogonalLine(A_{31}, a_{65})
B_{31} = Intersect(b_{63}, d_{62})
e_{62} = Line(A_{31}, a_{64})
f_{34} = Line(B_{31}, a_{64})
g_{32} = Line(B_{32}, a_{64})
C_{31} = Intersect(g_{31}, a_{64}, 1)
h_{31} = Line(C_{31}, a_{65})
i_{31} = Line(C_{31}, a_{63})
D_{31} = Intersect(e_{62}, h_{31})
j_{31} = Line(D_{31}, d_{62})
E_{31} = Intersect(f_{34}, j_{31})
k_{31} = Line(E_{31}, b_{63})
F_{31} = Intersect(g_{32}, i_{31})
l_{31} = Segment(A_{31}, A_{32})
m_{31} = Segment(A_{31}, D_{31})
n_{31} = Segment(D_{31}, C_{31})
p_{31} = Segment(C_{31}, F_{31})
q_{31} = Segment(F_{31}, B_{32})
r_{31} = Segment(B_{32}, B_{31})
s_{31} = Segment(B_{31}, A_{31})
t_{31} = Segment(D_{31}, E_{31})
b_{62} = Segment(E_{31}, F_{31})
c_{62} = Segment(E_{31}, B_{31})