A: (0, 0, 0)
B: (4, 0, 0)
C: (4, 4, 0)
D: (0, 4, 0)
E: (0, 0, 4)
F: (4, 0, 4)
G: (4, 4, 4)
H: (0, 4, 4)
I: (2, 2, 0)
J: (2, 0, 2)
K: (4, 2, 2)
L: (2, 4, 2)
M: (0, 2, 2)
N: (2, 2, 4)
f = Segment(A, B)
g = Segment(B, C)
h = Segment(C, D)
i = Segment(D, A)
j = Segment(A, E)
k = Segment(B, F)
l = Segment(C, G)
m = Segment(D, H)
n = Segment(E, F)
p = Segment(F, G)
q = Segment(G, H)
r = Segment(H, E)
O = Midpoint(F, B)
P = Midpoint(B, C)
Q = Midpoint(H, E)
R = Midpoint(E, A)
S = Midpoint(N, O)
T = Midpoint(L, P)
U = Midpoint(L, Q)
V = Midpoint(I, R)
d1, j_1, f_1, k_1 = Polygon(F, K, J)
d2, n_1, f_2, j_2 = Polygon(F, J, N)
d3, n_2, f_3, k_2 = Polygon(F, K, N)
d4, h_1, n_3, l_1 = Polygon(N, L, H)
d5, n_4, h_2, m_1 = Polygon(H, M, N)
d6, m_2, h_3, l_2 = Polygon(H, L, M)
d7, n_5, m_3, l_3 = Polygon(M, L, N)
d8, j_3, m_4, i_1 = Polygon(M, I, J)
d9, i_2, a, m_5 = Polygon(A, M, I)
d10, j_4, a_1, m_6 = Polygon(A, M, J)
d11, j_5, a_2, i_3 = Polygon(A, I, J)
d12, i_4, l_4, k_3 = Polygon(L, K, I)
d13, i_5, c, k_4 = Polygon(C, K, I)
d14, k_5, c_1, l_5 = Polygon(C, L, K)
d15, l_6, c_2, i_6 = Polygon(C, I, L)
s = Segment(S, N)
t = Segment(S, F)
b = Segment(S, J)
d = Segment(S, K)
e = Segment(U, H)
g_1 = Segment(U, N)
p_1 = Segment(U, L)
q_1 = Segment(U, M)
r_1 = Segment(T, K)
s_1 = Segment(T, L)
t_1 = Segment(T, C)
b_1 = Segment(T, I)
d_1 = Segment(V, J)
e_1 = Segment(V, M)
p_2 = Segment(V, A)
q_2 = Segment(V, I)