平移法镶嵌

平移法镶嵌
几何画板及绘图内容加载中,请稍等……
2014-03-30 05:29
①本范例演示了通过平移操作创建平面镶嵌的图形现象;②涉及的核心数学概念包括平移变换、组合数学中的镶嵌理论、图形的质心或重心计算、微分方程的直观应用、参数曲线的绘制以及实数的运用;③作图要点提炼自构造摘要,使用了Polygon(多边形)、AttachCopyToView(视图附加复制)、Point(点)、Vector(向量)、Translate(平移)、Segment(线段)等GeoGebra命令和对象;④适合高中及以上数学学习者,特别是对几何变换、组合数学和计算几何感兴趣的学生或教师。

GeoGebra 命令及参数

  1. Polygon(A, B, 4) → poly1, a, b, c, d, C, D
  2. AttachCopyToView(PolyLine[(4.12, -4.66), (4.0600000000000005, -4.68), (4.0200000000000005, -4.74), (3.98, -4.8), (3.92, -4.86), (3.86, -4.92), (3.8000000000000003, -4.98), (3.74, -5.0600000000000005), (3.68, -5.1000000000000005), (3.62, -5.16), (3.56, -5.22), (3.5, -5.28), (3.46, -5.34), (3.44, -5.4), (3.38, -5.44), (3.3000000000000003, -5.44), (3.22, -5.44), (3.16, -5.42), (3.1, -5.4), (3.04, -5.36), (2.96, -5.36), (2.9, -5.38), (2.84, -5.42), (2.7600000000000002, -5.48), (2.7, -5.5), (2.64, -5.54), (2.56, -5.5600000000000005), (2.5, -5.62), (2.44, -5.64), (2.38, -5.68), (2.32, -5.72), (2.22, -5.76), (2.16, -5.82), (2.14, -5.76), (2.14, -5.68), (2.16, -5.6000000000000005), (2.2, -5.5200000000000005), (2.22, -5.46), (2.22, -5.38), (2.2600000000000002, -5.3), (2.2800000000000002, -5.24), (2.34, -5.22), (2.4, -5.24), (2.46, -5.28), (2.52, -5.3), (2.58, -5.28), (2.6, -5.22), (2.62, -5.16), (2.64, -5.08), (2.66, -5), (2.68, -4.94), (2.7, -4.84), (2.72, -4.76), (2.74, -4.68), (2.7600000000000002, -4.58), (2.8000000000000003, -4.5), (2.82, -4.44), (2.82, -4.36), (2.84, -4.28), (2.92, -4.26), (3, -4.26), (3.08, -4.26), (3.16, -4.26), (3.2600000000000002, -4.26), (3.34, -4.26), (3.4, -4.24), (3.38, -4.18), (3.3200000000000003, -4.16), (3.2600000000000002, -4.12), (3.18, -4.1), (3.1, -4.0600000000000005), (3.02, -4.04), (2.94, -4.04), (2.86, -4), (2.7600000000000002, -3.96), (2.68, -3.88), (2.62, -3.84), (2.56, -3.8000000000000003), (2.48, -3.74), (2.4, -3.7), (2.34, -3.68), (2.2800000000000002, -3.66), (2.2600000000000002, -3.6), (2.22, -3.54), (2.18, -3.48), (2.12, -3.4), (2.06, -3.3000000000000003), (2.04, -3.22), (2, -3.16), (1.94, -3.06), (1.9000000000000001, -2.98), (1.84, -2.92), (1.8, -2.86), (1.74, -2.84), (1.7, -2.9), (1.6400000000000001, -2.94), (1.58, -3), (1.54, -3.06), (1.48, -3.08), (1.42, -3.14), (1.36, -3.22), (1.3, -3.2600000000000002), (1.22, -3.2800000000000002), (1.1400000000000001, -3.34), (1.06, -3.36), (0.98, -3.36), (0.92, -3.3200000000000003), (0.9, -3.2600000000000002), (0.86, -3.2), (0.8, -3.16), (0.76, -3.1), (0.74, -3.04), (0.68, -3.02), (0.6, -3.02), (0.54, -3.06), (0.48, -3.1), (0.42, -3.16), (0.36, -3.2), (0.3, -3.2600000000000002), (0.24, -3.3000000000000003), (0.14, -3.36), (0.1, -3.42), (0.02, -3.48), (-0.04, -3.52), (-0.08, -3.58), (-0.14, -3.64), (-0.16, -3.7), (-0.16, -3.7800000000000002), (-0.16, -3.86), (-0.16, -3.94), (-0.22, -3.96), (-0.28, -3.98), (-0.34, -4), (-0.4, -4.0200000000000005), (-0.46, -4.0600000000000005), (-0.52, -4.1), (-0.58, -4.14), (-0.64, -4.16), (-0.7000000000000001, -4.2), (-0.76, -4.22), (-0.8200000000000001, -4.24), (-0.84, -4.3), (-0.84, -4.38), (-0.84, -4.46), (-0.8200000000000001, -4.5200000000000005), (-0.8, -4.58), true], 1, (-4.3, -7.96), (23.38, 6.3), (0, 713), (1384, 0)) → stroke1
  3. Point(a) → E
  4. Point(c) → F
  5. Vector(E, F) → u
  6. Translate(stroke1, u) → stroke1'
  7. AttachCopyToView(PolyLine[(-0.78, -4.62), (-0.84, -4.64), (-0.9, -4.68), (-0.96, -4.7), (-1.02, -4.74), (-1.08, -4.78), (-1.1400000000000001, -4.8), (-1.18, -4.74), (-1.18, -4.66), (-1.18, -4.58), (-1.18, -4.5), (-1.2, -4.42), (-1.22, -4.36), (-1.24, -4.3), (-1.24, -4.22), (-1.26, -4.16), (-1.26, -4.08), (-1.22, -4.0200000000000005), (-1.16, -3.98), (-1.12, -3.92), (-1.08, -3.86), (-1.04, -3.7800000000000002), (-1, -3.72), (-0.9400000000000001, -3.68), (-0.88, -3.66), (-0.8200000000000001, -3.6), (-0.78, -3.54), (-0.72, -3.52), (-0.7000000000000001, -3.46), (-0.68, -3.4), (-0.62, -3.36), (-0.6, -3.2800000000000002), (-0.56, -3.22), (-0.52, -3.16), (-0.5, -3.08), (-0.46, -3), (-0.42, -2.94), (-0.38, -2.88), (-0.34, -2.82), (-0.28, -2.7600000000000002), (-0.22, -2.7), (-0.22, -2.62), (-0.28, -2.54), (-0.32, -2.48), (-0.34, -2.4), (-0.4, -2.3000000000000003), (-0.42, -2.24), (-0.46, -2.16), (-0.46, -2.06), (-0.48, -1.98), (-0.56, -1.98), (-0.62, -2.02), (-0.68, -2.06), (-0.76, -2.1), (-0.8200000000000001, -2.14), (-0.88, -2.16), (-0.9400000000000001, -2.18), (-1.04, -2.2600000000000002), (-1.1400000000000001, -2.3000000000000003), (-1.26, -2.36), (-1.32, -2.4), (-1.4000000000000001, -2.48), (-1.46, -2.54), (-1.52, -2.56), (-1.6, -2.6), (-1.68, -2.66), (-1.74, -2.68), (-1.8, -2.74), (-1.74, -2.7600000000000002), (-1.6600000000000001, -2.7600000000000002), (-1.58, -2.7600000000000002), (-1.5, -2.7600000000000002), (-1.42, -2.7600000000000002), (-1.36, -2.74), (-1.3, -2.72), (-1.24, -2.7), (-1.18, -2.68), (-1.12, -2.66), (-1.04, -2.66), (-0.96, -2.62), (-0.9, -2.6), (-0.86, -2.66), (-0.86, -2.74), (-0.86, -2.82), (-0.86, -2.9), (-0.86, -2.98), (-0.88, -3.04), (-0.9, -3.1), (-0.92, -3.16), (-1, -3.18), (-1.06, -3.2), (-1.12, -3.22), (-1.2, -3.22), (-1.3, -3.22), (-1.3800000000000001, -3.22), (-1.46, -3.22), (-1.54, -3.22), (-1.6, -3.2), (-1.6600000000000001, -3.18), (-1.7, -3.12), (-1.76, -3.1), (-1.84, -3.1), (-1.94, -3.1), (-2.02, -3.1), (-2.1, -3.1), (-2.16, -3.08), (-2.22, -3.06), (-2.3000000000000003, -3.06), (-2.36, -3.04), (-2.4, -2.98), (-2.4, -2.86), (-2.38, -2.8000000000000003), (-2.34, -2.7), (-2.32, -2.62), (-2.3000000000000003, -2.54), (-2.2800000000000002, -2.44), (-2.2600000000000002, -2.36), (-2.24, -2.2600000000000002), (-2.24, -2.18), (-2.22, -2.12), (-2.2, -2.04), (-2.14, -2.02), (-2.06, -2.02), (-1.96, -2.02), (-1.9000000000000001, -1.98), (-1.82, -1.94), (-1.76, -1.9000000000000001), (-1.7, -1.8800000000000001), (-1.6400000000000001, -1.84), (-1.56, -1.8), (-1.5, -1.74), (-1.42, -1.72), (-1.36, -1.6600000000000001), (-1.28, -1.62), (-1.18, -1.56), (-1.12, -1.5), (-1.06, -1.44), (-0.98, -1.4000000000000001), (-0.92, -1.3800000000000001), (-0.84, -1.34), (-0.78, -1.3), (-0.72, -1.28), (-0.66, -1.24), (-0.58, -1.22), (-0.52, -1.2), (-0.46, -1.16), (-0.4, -1.1400000000000001), (-0.34, -1.12), (-0.28, -1.1), (-0.2, -1.06), (-0.16, -1), (-0.08, -0.9400000000000001), (0, -0.88), (0.06, -0.8200000000000001), (0.12, -0.76), (0.16, -0.7000000000000001), (0.22, -0.66), (0.28, -0.58), (0.34, -0.54), (0.4, -0.48), (0.46, -0.42), (0.52, -0.4), (0.6, -0.36), (0.66, -0.34), (0.72, -0.3), (0.8, -0.26), (0.86, -0.22), (0.9400000000000001, -0.16), (0.98, -0.1), (1.02, -0.02), (1.08, 0.06), (1.1400000000000001, 0.12), (1.2, 0.2), (1.28, 0.26), (1.32, 0.32), (1.4000000000000001, 0.38), (1.46, 0.42), (1.54, 0.48), (1.6, 0.5), (1.6600000000000001, 0.54), (1.72, 0.56), (1.78, 0.58), (1.84, 0.62), (1.9000000000000001, 0.64), (1.84, 0.68), (1.76, 0.68), (1.7, 0.7000000000000001), (1.62, 0.7000000000000001), (1.54, 0.7000000000000001), (1.48, 0.72), (1.42, 0.74), (1.34, 0.76), (1.26, 0.78), (1.18, 0.78), (1.12, 0.8), (1.06, 0.8200000000000001), (0.98, 0.84), (0.92, 0.86), (0.8200000000000001, 0.86), (0.72, 0.86), (0.66, 0.8), (0.6, 0.78), (0.54, 0.72), (0.48, 0.68), (0.42, 0.64), (0.36, 0.62), (0.28, 0.62), (0.22, 0.6), (0.14, 0.6), (0.08, 0.56), (0.02, 0.54), (-0.04, 0.52), (-0.1, 0.48), (-0.16, 0.46), (-0.22, 0.44), (-0.28, 0.4), (-0.38, 0.4), (-0.44, 0.36), (-0.5, 0.32), (-0.56, 0.3), (-0.62, 0.28), (-0.68, 0.26), true], 1, (-4.3, -7.96), (23.38, 6.3), (0, 713), (1384, 0)) → stroke2
  8. Point(d) → G
  9. Point(b) → H
  10. Vector(G, H) → v
  11. Translate(stroke2, v) → stroke2'
  12. Point(stroke1') → I
  13. Point(stroke1') → J
  14. Point(stroke1') → K
  15. Point(stroke1') → L
  16. Point(stroke1') → M
  17. Point(stroke1') → N
  18. Point(stroke1') → O
  19. Point(stroke1') → P
  20. Point(stroke1') → Q
  21. Point(stroke1') → R
  22. Point(stroke1') → S
  23. Point(stroke1') → T
  24. Point(stroke1') → U
  25. Point(stroke1') → V
  26. Point(stroke2') → W
  27. Point(stroke2') → Z
  28. Point(stroke2') → A_1
  29. Point(stroke2') → B_1
  30. Point(stroke2') → C_1
  31. Point(stroke2') → D_1
  32. Point(stroke2') → E_1
  33. Point(stroke2') → F_1
  34. Point(stroke2') → G_1
  35. Point(stroke2') → H_1
  36. Point(stroke2') → I_1
  37. Point(stroke2') → J_1
  38. Point(stroke2') → K_1
  39. Point(stroke2') → L_1
  40. Point(stroke2') → M_1
  41. Point(stroke2') → N_1
  42. Point(stroke2') → O_1
  43. Point(stroke2') → P_1
  44. Point(stroke1) → Q_1
  45. Point(stroke1) → R_1
  46. Point(stroke1) → S_1
  47. Point(stroke1) → T_1
  48. Point(stroke1) → U_1
  49. Point(stroke1) → V_1
  50. Point(stroke1) → W_1
  51. Point(stroke1) → Z_1
  52. Point(stroke1) → A_2
  53. Point(stroke1) → B_2
  54. Point(stroke1) → C_2
  55. Point(stroke1) → D_2
  56. Point(stroke1) → E_2
  57. Point(stroke1) → F_2
  58. Point(stroke1) → G_2
  59. Point(stroke2) → H_2
  60. Point(stroke2) → I_2
  61. Point(stroke2) → J_2
  62. Point(stroke2) → K_2
  63. Point(stroke2) → L_2
  64. Point(stroke2) → M_2
  65. Point(stroke2) → N_2
  66. Point(stroke2) → O_2
  67. Point(stroke2) → P_2
  68. Point(stroke2) → Q_2
  69. Point(stroke2) → R_2
  70. Point(stroke2) → S_2
  71. Point(stroke2) → T_2
  72. Point(stroke2) → U_2
  73. Point(stroke2) → V_2
  74. Point(stroke2) → W_2
  75. Point(stroke2) → Z_2
  76. Point(stroke2) → A_3
  77. Polygon(D, I, R, S, T, U, V, C, W, Z, A_1, B_1, J, C_1, D_1, E_1, F_1, G_1, H_1, I_1, J_1, K_1, L_1, K, M_1, N_1, O_1, P_1, B, Q_1, R_1, S_1, T_1, U_1, L, V_1, W_1, Z_1, A_2, B_2, C_2, D_2, E_2, F_2, G_2, M, A, H_2, I_2, J_2, K_2, L_2, M_2, N_2, O_2, P_2, N, Q_2, R_2, S_2, T_2, U_2, V_2, F, W_2, Z_2, A_3, O, P, Q) → poly2, d_1, q, r, s, t, u_1, v_1, c_1, w, z, a_1, i, b_1, c_2, d_2, e_1, f_1, g_1, h_1, i_1, j_1, k_1, j, l_1, m_1, n_1, o_1, p_1, b_2, q_1, r_1, s_1, t_1, k, u_2, v_2, w_1, z_1, a_2, b_3, c_3, d_3, e_2, f_2, l, g_2, a_3, h_2, i_2, j_2, k_2, l_2, m_2, n_2, o_2, m, p_2, q_2, r_2, s_2, t_2, u_3, v_3, f, w_2, z_2, n, a_4, o, p
  78. AttachCopyToView(PolyLine[(-0.8, 0.36), (-0.76, 0.42), (-0.7000000000000001, 0.44), (-0.64, 0.46), (-0.56, 0.46), (-0.5, 0.5), (-0.44, 0.56), (-0.38, 0.58), (-0.3, 0.58), (-0.22, 0.58), (NaN, NaN), (-0.14, 1.1), (-0.06, 1.1), (0.02, 1.1), (0.04, 1.16), (0.1, 1.18), (0.12, 1.24), (0.16, 1.3), (0.22, 1.32), (0.28, 1.34), (NaN, NaN), (0.02, 1.1), (0.1, 1.1), (0.18, 1.2), (0.2, 1.26), (NaN, NaN), (1.92, -1.02), (2, -1.02), (2.08, -1.02), (2.16, -1.02), (2.22, -0.98), (2.2800000000000002, -0.96), (2.34, -0.9400000000000001), (2.4, -0.92), (2.46, -0.9), (2.52, -0.88), (2.58, -0.86), (2.64, -0.8200000000000001), (2.7600000000000002, -0.8200000000000001), (2.86, -0.8200000000000001), (2.94, -0.8200000000000001), (3, -0.8), (3.06, -0.78), (3.12, -0.76), (3.18, -0.74), (3.24, -0.7000000000000001), (3.3000000000000003, -0.66), (3.36, -0.64), (3.42, -0.62), (3.48, -0.58), (3.54, -0.56), (3.6, -0.5), (3.66, -0.48), (3.74, -0.42), (3.8000000000000003, -0.36), (3.84, -0.3), (3.86, -0.24), (3.92, -0.2), (3.96, -0.14), (4.0200000000000005, -0.1), (4.08, -0.04), (4.14, -0.02), (4.2, 0.02), (4.26, 0.06), (4.32, 0.12), (4.38, 0.18), (4.44, 0.24), (4.5200000000000005, 0.28), (4.58, 0.3), (4.68, 0.34), (4.74, 0.4), (4.78, 0.46), (4.84, 0.5), (4.9, 0.52), (4.96, 0.54), (5.0200000000000005, 0.56), (5.08, 0.58), (5.14, 0.62), (5.2, 0.64), (5.26, 0.7000000000000001), (5.34, 0.74), (5.4, 0.76), (5.44, 0.8200000000000001), (5.5, 0.84), (NaN, NaN), (3.52, -0.5), (3.62, -0.5), (3.68, -0.48), (3.7800000000000002, -0.46), (3.84, -0.44), (3.94, -0.42), (4.0200000000000005, -0.38), (4.12, -0.36), (4.18, -0.34), (4.28, -0.28), (4.34, -0.26), (4.44, -0.22), (4.5, -0.2), (4.5600000000000005, -0.18), (4.64, -0.16), (4.7, -0.14), (4.78, -0.12), (4.86, -0.12), (4.94, -0.1), (5, -0.08), (5.0600000000000005, -0.06), (5.14, -0.04), (5.22, -0.04), (5.3, -0.04), (5.38, -0.04), (5.46, -0.04), (5.54, -0.04), (5.6000000000000005, -0.02), (5.66, 0), (5.74, 0), (5.82, 0), (NaN, NaN), (3.56, -0.46), (3.62, -0.48), (3.68, -0.52), (3.74, -0.56), (3.8200000000000003, -0.6), (3.88, -0.66), (3.94, -0.7000000000000001), (4, -0.72), (4.0600000000000005, -0.74), (4.14, -0.74), (4.2, -0.76), (4.26, -0.78), (4.34, -0.78), (4.4, -0.8), (4.46, -0.84), (4.5200000000000005, -0.86), (4.58, -0.88), (4.64, -0.92), (NaN, NaN), (3.52, -0.48), (3.52, -0.56), (3.52, -0.64), (3.52, -0.72), (3.52, -0.8), (3.56, -0.86), (3.58, -0.92), (3.6, -0.98), (3.62, -1.04), (3.68, -1.12), (3.7, -1.18), (3.72, -1.24), (3.74, -1.3), (NaN, NaN), (3.46, -0.54), (3.42, -0.6), (3.4, -0.66), (3.36, -0.74), (3.3000000000000003, -0.8), (3.2600000000000002, -0.86), (3.22, -0.92), (3.2, -0.98), (3.14, -1.06), (3.12, -1.12), (3.06, -1.2), (3.02, -1.26), (2.98, -1.32), (2.94, -1.42), (2.94, -1.5), (2.92, -1.56), (2.9, -1.6400000000000001), (2.86, -1.72), (2.82, -1.78), (2.7800000000000002, -1.84), (2.7600000000000002, -1.92), (2.74, -2), (2.72, -2.06), (2.7, -2), (2.68, -1.94), (2.66, -1.8800000000000001), (2.64, -1.82), (2.6, -1.76), (2.56, -1.7), (2.5, -1.6400000000000001), (2.44, -1.6), (2.38, -1.56), (2.32, -1.5), (2.2600000000000002, -1.46), (2.2, -1.4000000000000001), (2.14, -1.34), (2.1, -1.28), (2.08, -1.22), (2.04, -1.16), (2.04, -1.08), (2.02, -1.02), true], 1, (-4.3, -7.96), (23.38, 6.3), (0, 713), (1384, 0)) → stroke3
  79. Vector(A, D) → e
  80. Translate(stroke1, e) → stroke1'_1
  81. Translate(stroke1', e) → stroke1''
  82. Translate(stroke2, e) → stroke2'_1
  83. Translate(stroke2', e) → stroke2''
  84. Translate(stroke3, e) → stroke3'
  85. Translate(D, e) → D'
  86. Translate(I, e) → I'
  87. Translate(J, e) → J'
  88. Translate(K, e) → K'
  89. Translate(L, e) → L'
  90. Translate(M, e) → M'
  91. Translate(N, e) → N'
  92. Translate(O, e) → O'
  93. Translate(P, e) → P'
  94. Translate(Q, e) → Q'
  95. Translate(R, e) → R'
  96. Translate(S, e) → S'
  97. Translate(T, e) → T'
  98. Translate(U, e) → U'
  99. Translate(V, e) → V'
  100. Translate(C, e) → C'
  101. Translate(W, e) → W'
  102. Translate(Z, e) → Z'
  103. Translate(A_1, e) → B_3
  104. Translate(B_1, e) → C_3
  105. Translate(C_1, e) → D_3
  106. Translate(D_1, e) → E_3
  107. Translate(E_1, e) → F_3
  108. Translate(F_1, e) → G_3
  109. Translate(G_1, e) → H_3
  110. Translate(H_1, e) → I_3
  111. Translate(I_1, e) → J_3
  112. Translate(J_1, e) → K_3
  113. Translate(K_1, e) → L_3
  114. Translate(L_1, e) → M_3
  115. Translate(M_1, e) → N_3
  116. Translate(N_1, e) → O_3
  117. Translate(O_1, e) → P_3
  118. Translate(P_1, e) → Q_3
  119. Translate(B, e) → B'
  120. Translate(Q_1, e) → R_3
  121. Translate(R_1, e) → S_3
  122. Translate(S_1, e) → T_3
  123. Translate(T_1, e) → U_3
  124. Translate(U_1, e) → V_3
  125. Translate(V_1, e) → W_3
  126. Translate(W_1, e) → Z_3
  127. Translate(Z_1, e) → A_4
  128. Translate(A_2, e) → B_4
  129. Translate(B_2, e) → C_4
  130. Translate(C_2, e) → D_4
  131. Translate(D_2, e) → E_4
  132. Translate(E_2, e) → F_4
  133. Translate(F_2, e) → G_4
  134. Translate(G_2, e) → H_4
  135. Translate(A, e) → A'
  136. Translate(H_2, e) → I_4
  137. Translate(I_2, e) → J_4
  138. Translate(J_2, e) → K_4
  139. Translate(K_2, e) → L_4
  140. Translate(L_2, e) → M_4
  141. Translate(M_2, e) → N_4
  142. Translate(N_2, e) → O_4
  143. Translate(O_2, e) → P_4
  144. Translate(P_2, e) → Q_4
  145. Translate(Q_2, e) → R_4
  146. Translate(R_2, e) → S_4
  147. Translate(S_2, e) → T_4
  148. Translate(T_2, e) → U_4
  149. Translate(U_2, e) → V_4
  150. Translate(V_2, e) → W_4
  151. Translate(F, e) → F'
  152. Translate(W_2, e) → Z_4
  153. Translate(Z_2, e) → A_5
  154. Translate(A_3, e) → B_5
  155. Polygon(D', I', R', S', T', U', V', C', W', Z', B_3, C_3, J', D_3, E_3, F_3, G_3, H_3, I_3, J_3, K_3, L_3, M_3, K', N_3, O_3, P_3, Q_3, B', R_3, S_3, T_3, U_3, V_3, L', W_3, Z_3, A_4, B_4, C_4, D_4, E_4, F_4, G_4, H_4, M', A', I_4, J_4, K_4, L_4, M_4, N_4, O_4, P_4, Q_4, N', R_4, S_4, T_4, U_4, V_4, W_4, F', Z_4, A_5, B_5, O', P', Q') → poly2', d', q', r', s', t', u', v', c', w', z', b_4, i', c_4, d_4, e_3, f_3, g_3, h_3, i_3, j_3, k_3, l_3, j', m_3, n_3, o_3, p_3, q_3, b', r_3, s_3, t_3, u_4, k', v_4, w_3, z_3, a_5, b_5, c_5, d_5, e_4, f_4, g_4, l', h_4, a', i_4, j_4, k_4, l_4, m_4, n_4, o_4, p_4, m', q_4, r_4, s_4, t_4, u_5, v_5, w_4, f', z_4, a_6, n', b_6, o', p'
  156. Translate(E, e) → E'
  157. Translate(G, e) → G'
  158. Translate(H, e) → H'
  159. Vector(P_4, J_3) → g
  160. Translate(stroke1, g) → stroke1'_2
  161. Translate(stroke1', g) → stroke1''_1
  162. Translate(stroke2, g) → stroke2'_2
  163. Translate(stroke2', g) → stroke2''_1
  164. Translate(stroke3, g) → stroke3'_1
  165. Translate(stroke1'_1, g) → stroke4
  166. Translate(stroke2'_1, g) → stroke5
  167. Translate(stroke2'', g) → stroke2'''
  168. Translate(stroke3', g) → stroke3''
  169. Translate(D, g) → D'_1
  170. Translate(I, g) → I'_1
  171. Translate(J, g) → J'_1
  172. Translate(K, g) → K'_1
  173. Translate(L, g) → L'_1
  174. Translate(M, g) → M'_1
  175. Translate(N, g) → N'_1
  176. Translate(O, g) → O'_1
  177. Translate(P, g) → P'_1
  178. Translate(Q, g) → Q'_1
  179. Translate(R, g) → R'_1
  180. Translate(S, g) → S'_1
  181. Translate(T, g) → T'_1
  182. Translate(U, g) → U'_1
  183. Translate(V, g) → V'_1
  184. Translate(C, g) → C'_1
  185. Translate(W, g) → W'_1
  186. Translate(Z, g) → Z'_1
  187. Translate(A_1, g) → C_5
  188. Translate(B_1, g) → D_5
  189. Translate(C_1, g) → E_5
  190. Translate(D_1, g) → F_5
  191. Translate(E_1, g) → G_5
  192. Translate(F_1, g) → H_5
  193. Translate(G_1, g) → I_5
  194. Translate(H_1, g) → J_5
  195. Translate(I_1, g) → K_5
  196. Translate(J_1, g) → L_5
  197. Translate(K_1, g) → M_5
  198. Translate(L_1, g) → N_5
  199. Translate(M_1, g) → O_5
  200. Translate(N_1, g) → P_5
  201. Translate(O_1, g) → Q_5
  202. Translate(P_1, g) → R_5
  203. Translate(B, g) → B'_1
  204. Translate(Q_1, g) → S_5
  205. Translate(R_1, g) → T_5
  206. Translate(S_1, g) → U_5
  207. Translate(T_1, g) → V_5
  208. Translate(U_1, g) → W_5
  209. Translate(V_1, g) → Z_5
  210. Translate(W_1, g) → A_6
  211. Translate(Z_1, g) → B_6
  212. Translate(A_2, g) → C_6
  213. Translate(B_2, g) → D_6
  214. Translate(C_2, g) → E_6
  215. Translate(D_2, g) → F_6
  216. Translate(E_2, g) → G_6
  217. Translate(F_2, g) → H_6
  218. Translate(G_2, g) → I_6
  219. Translate(A, g) → A'_1
  220. Translate(H_2, g) → J_6
  221. Translate(I_2, g) → K_6
  222. Translate(J_2, g) → L_6
  223. Translate(K_2, g) → M_6
  224. Translate(L_2, g) → N_6
  225. Translate(M_2, g) → O_6
  226. Translate(N_2, g) → P_6
  227. Translate(O_2, g) → Q_6
  228. Translate(P_2, g) → R_6
  229. Translate(Q_2, g) → S_6
  230. Translate(R_2, g) → T_6
  231. Translate(S_2, g) → U_6
  232. Translate(T_2, g) → V_6
  233. Translate(U_2, g) → W_6
  234. Translate(V_2, g) → Z_6
  235. Translate(F, g) → F'_1
  236. Translate(W_2, g) → A_7
  237. Translate(Z_2, g) → B_7
  238. Translate(A_3, g) → C_7
  239. Polygon(D'_1, I'_1, R'_1, S'_1, T'_1, U'_1, V'_1, C'_1, W'_1, Z'_1, C_5, D_5, J'_1, E_5, F_5, G_5, H_5, I_5, J_5, K_5, L_5, M_5, N_5, K'_1, O_5, P_5, Q_5, R_5, B'_1, S_5, T_5, U_5, V_5, W_5, L'_1, Z_5, A_6, B_6, C_6, D_6, E_6, F_6, G_6, H_6, I_6, M'_1, A'_1, J_6, K_6, L_6, M_6, N_6, O_6, P_6, Q_6, R_6, N'_1, S_6, T_6, U_6, V_6, W_6, Z_6, F'_1, A_7, B_7, C_7, O'_1, P'_1, Q'_1) → poly2'_1, d'_1, q'_1, r'_1, s'_1, t'_1, u'_1, v'_1, c'_1, w'_1, z'_1, c_6, i'_1, d_6, e_5, f_5, g_5, h_5, i_5, j_5, k_5, l_5, m_5, j'_1, n_5, o_5, p_5, q_5, r_5, b'_1, s_5, t_5, u_6, v_6, k'_1, w_5, z_5, a_7, b_7, c_7, d_7, e_6, f_6, g_6, h_6, l'_1, i_6, a'_1, j_6, k_6, l_6, m_6, n_6, o_6, p_6, q_6, m'_1, r_6, s_6, t_6, u_7, v_7, w_6, z_6, f'_1, a_8, b_8, n'_1, c_8, o'_1, p'_1
  240. Translate(D', g) → D''
  241. Translate(I', g) → I''
  242. Segment(D'', I'') → d''
  243. Translate(I', g) → I''_1
  244. Translate(J', g) → J''
  245. Segment(I''_1, J'') → i''
  246. Translate(J', g) → J''_1
  247. Translate(K', g) → K''
  248. Segment(J''_1, K'') → j''
  249. Translate(O', g) → O''
  250. Translate(P', g) → P''
  251. Segment(O'', P'') → o''
  252. Translate(P', g) → P''_1
  253. Translate(Q', g) → Q''
  254. Segment(P''_1, Q'') → p''
  255. Translate(Q', g) → Q''_1
  256. Translate(R', g) → R''
  257. Segment(Q''_1, R'') → q''
  258. Translate(R', g) → R''_1
  259. Translate(S', g) → S''
  260. Segment(R''_1, S'') → r''
  261. Translate(S', g) → S''_1
  262. Translate(T', g) → T''
  263. Segment(S''_1, T'') → s''
  264. Translate(T', g) → T''_1
  265. Translate(U', g) → U''
  266. Segment(T''_1, U'') → t''
  267. Translate(U', g) → U''_1
  268. Translate(V', g) → V''
  269. Segment(U''_1, V'') → u''
  270. Translate(V', g) → V''_1
  271. Translate(C', g) → C''
  272. Segment(V''_1, C'') → v''
  273. Translate(C', g) → C''_1
  274. Translate(W', g) → W''
  275. Segment(C''_1, W'') → c''
  276. Translate(W', g) → W''_1
  277. Translate(Z', g) → Z''
  278. Segment(W''_1, Z'') → w''
  279. Translate(Z', g) → Z''_1
  280. Translate(B_3, g) → D_7
  281. Segment(Z''_1, D_7) → z''
  282. Translate(B_3, g) → E_7
  283. Translate(C_3, g) → F_7
  284. Segment(E_7, F_7) → h
  285. Translate(C_3, g) → G_7
  286. Translate(D_3, g) → H_7
  287. Segment(G_7, H_7) → e_7
  288. Translate(D_3, g) → I_7
  289. Translate(E_3, g) → J_7
  290. Segment(I_7, J_7) → f_7
  291. Translate(E_3, g) → K_7
  292. Translate(F_3, g) → L_7
  293. Segment(K_7, L_7) → g_7
  294. Translate(F_3, g) → M_7
  295. Translate(G_3, g) → N_7
  296. Segment(M_7, N_7) → h_7
  297. Translate(G_3, g) → O_7
  298. Translate(H_3, g) → P_7
  299. Segment(O_7, P_7) → i_7
  300. Translate(H_3, g) → Q_7
  301. Translate(I_3, g) → R_7
  302. Segment(Q_7, R_7) → j_7
  303. Translate(I_3, g) → S_7
  304. Translate(J_3, g) → T_7
  305. Segment(S_7, T_7) → k_7
  306. Translate(J_3, g) → U_7
  307. Translate(K_3, g) → V_7
  308. Segment(U_7, V_7) → l_7
  309. Translate(K_3, g) → W_7
  310. Translate(L_3, g) → Z_7
  311. Segment(W_7, Z_7) → m_7
  312. Translate(L_3, g) → A_8
  313. Translate(M_3, g) → B_8
  314. Segment(A_8, B_8) → n_7
  315. Translate(M_3, g) → C_8
  316. Translate(N_3, g) → D_8
  317. Segment(C_8, D_8) → p_7
  318. Translate(N_3, g) → E_8
  319. Translate(O_3, g) → F_8
  320. Segment(E_8, F_8) → q_7
  321. Translate(O_3, g) → G_8
  322. Translate(P_3, g) → H_8
  323. Segment(G_8, H_8) → r_7
  324. Translate(P_3, g) → I_8
  325. Translate(Q_3, g) → J_8
  326. Segment(I_8, J_8) → s_7
  327. Translate(Q_3, g) → K_8
  328. Translate(B', g) → B''
  329. Segment(K_8, B'') → t_7
  330. Translate(B', g) → B''_1
  331. Translate(R_3, g) → L_8
  332. Segment(B''_1, L_8) → b''
  333. Translate(R_3, g) → M_8
  334. Translate(S_3, g) → N_8
  335. Segment(M_8, N_8) → d_8
  336. Translate(S_3, g) → O_8
  337. Translate(T_3, g) → P_8
  338. Segment(O_8, P_8) → e_8
  339. Translate(T_3, g) → Q_8
  340. Translate(U_3, g) → R_8
  341. Segment(Q_8, R_8) → f_8
  342. Translate(U_3, g) → S_8
  343. Translate(V_3, g) → T_8
  344. Segment(S_8, T_8) → g_8
  345. Translate(V_3, g) → U_8
  346. Translate(W_3, g) → V_8
  347. Segment(U_8, V_8) → h_8
  348. Translate(W_3, g) → W_8
  349. Translate(Z_3, g) → Z_8
  350. Segment(W_8, Z_8) → i_8
  351. Translate(Z_3, g) → A_9
  352. Translate(A_4, g) → B_9
  353. Segment(A_9, B_9) → j_8
  354. Translate(A_4, g) → C_9
  355. Translate(B_4, g) → D_9
  356. Segment(C_9, D_9) → k_8
  357. Translate(B_4, g) → E_9
  358. Translate(C_4, g) → F_9
  359. Segment(E_9, F_9) → l_8
  360. Translate(C_4, g) → G_9
  361. Translate(D_4, g) → H_9
  362. Segment(G_9, H_9) → m_8
  363. Translate(D_4, g) → I_9
  364. Translate(E_4, g) → J_9
  365. Segment(I_9, J_9) → n_8
  366. Translate(E_4, g) → K_9
  367. Translate(F_4, g) → L_9
  368. Segment(K_9, L_9) → p_8
  369. Translate(F_4, g) → M_9
  370. Translate(G_4, g) → N_9
  371. Segment(M_9, N_9) → q_8
  372. Translate(G_4, g) → O_9
  373. Translate(H_4, g) → P_9
  374. Segment(O_9, P_9) → r_8
  375. Translate(H_4, g) → Q_9
  376. Translate(A', g) → A''
  377. Segment(Q_9, A'') → s_8
  378. Translate(A', g) → A''_1
  379. Translate(I_4, g) → R_9
  380. Segment(A''_1, R_9) → a''
  381. Translate(I_4, g) → S_9
  382. Translate(J_4, g) → T_9
  383. Segment(S_9, T_9) → t_8
  384. Translate(J_4, g) → U_9
  385. Translate(K_4, g) → V_9
  386. Segment(U_9, V_9) → a_9
  387. Translate(K_4, g) → W_9
  388. Translate(L_4, g) → Z_9
  389. Segment(W_9, Z_9) → b_9
  390. Translate(L_4, g) → A_{10}
  391. Translate(M_4, g) → B_{10}
  392. Segment(A_{10}, B_{10}) → c_9
  393. Translate(M_4, g) → C_{10}
  394. Translate(N_4, g) → D_{10}
  395. Segment(C_{10}, D_{10}) → d_9
  396. Translate(N_4, g) → E_{10}
  397. Translate(O_4, g) → F_{10}
  398. Segment(E_{10}, F_{10}) → e_9
  399. Translate(O_4, g) → G_{10}
  400. Translate(P_4, g) → H_{10}
  401. Segment(G_{10}, H_{10}) → f_9
  402. Translate(P_4, g) → I_{10}
  403. Translate(Q_4, g) → J_{10}
  404. Segment(I_{10}, J_{10}) → g_9
  405. Translate(Q_4, g) → K_{10}
  406. Translate(R_4, g) → L_{10}
  407. Segment(K_{10}, L_{10}) → h_9
  408. Translate(R_4, g) → M_{10}
  409. Translate(S_4, g) → N_{10}
  410. Segment(M_{10}, N_{10}) → i_9
  411. Translate(S_4, g) → O_{10}
  412. Translate(T_4, g) → P_{10}
  413. Segment(O_{10}, P_{10}) → j_9
  414. Translate(T_4, g) → Q_{10}
  415. Translate(U_4, g) → R_{10}
  416. Segment(Q_{10}, R_{10}) → k_9
  417. Translate(U_4, g) → S_{10}
  418. Translate(V_4, g) → T_{10}
  419. Segment(S_{10}, T_{10}) → l_9
  420. Translate(V_4, g) → U_{10}
  421. Translate(W_4, g) → V_{10}
  422. Segment(U_{10}, V_{10}) → m_9
  423. Translate(W_4, g) → W_{10}
  424. Translate(F', g) → F''
  425. Segment(W_{10}, F'') → n_9
  426. Translate(F', g) → F''_1
  427. Translate(Z_4, g) → Z_{10}
  428. Segment(F''_1, Z_{10}) → f''
  429. Translate(Z_4, g) → A_{11}
  430. Translate(A_5, g) → B_{11}
  431. Segment(A_{11}, B_{11}) → p_9
  432. Translate(A_5, g) → C_{11}
  433. Translate(B_5, g) → D_{11}
  434. Segment(C_{11}, D_{11}) → q_9
  435. Translate(B_5, g) → E_{11}
  436. Translate(D', g) → D''_1
  437. Segment(E_{11}, D''_1) → r_9
  438. Translate(E, g) → E'_1
  439. Translate(G, g) → G'_1
  440. Translate(H, g) → H'_1
  441. Translate(E', g) → E''
  442. Translate(G', g) → G''
  443. Translate(H', g) → H''
  444. Vector(I_1, J_3) → w_7
  445. Translate(stroke2', w_7) → stroke2''_2
  446. Translate(stroke1'_2, w_7) → stroke6
  447. Translate(stroke1''_1, w_7) → stroke7
  448. Translate(stroke2'_2, w_7) → stroke8
  449. Translate(stroke2''_1, w_7) → stroke9
  450. Translate(stroke3'_1, w_7) → stroke10
  451. Translate(stroke4, w_7) → stroke4'
  452. Translate(D'_1, w_7) → F_{11}
  453. Translate(I'_1, w_7) → G_{11}
  454. Translate(J'_1, w_7) → H_{11}
  455. Translate(K'_1, w_7) → I_{11}
  456. Translate(L'_1, w_7) → J_{11}
  457. Translate(M'_1, w_7) → K_{11}
  458. Translate(N'_1, w_7) → L_{11}
  459. Translate(O'_1, w_7) → M_{11}
  460. Translate(P'_1, w_7) → N_{11}
  461. Translate(Q'_1, w_7) → O_{11}
  462. Translate(R'_1, w_7) → P_{11}
  463. Translate(S'_1, w_7) → Q_{11}
  464. Translate(T'_1, w_7) → R_{11}
  465. Translate(U'_1, w_7) → S_{11}
  466. Translate(V'_1, w_7) → T_{11}
  467. Translate(C'_1, w_7) → U_{11}
  468. Translate(W'_1, w_7) → V_{11}
  469. Translate(Z'_1, w_7) → W_{11}
  470. Translate(C_5, w_7) → Z_{11}
  471. Translate(D_5, w_7) → A_{12}
  472. Translate(E_5, w_7) → B_{12}
  473. Translate(F_5, w_7) → C_{12}
  474. Translate(G_5, w_7) → D_{12}
  475. Translate(H_5, w_7) → E_{12}
  476. Translate(I_5, w_7) → F_{12}
  477. Translate(J_5, w_7) → G_{12}
  478. Translate(K_5, w_7) → H_{12}
  479. Translate(L_5, w_7) → I_{12}
  480. Translate(M_5, w_7) → J_{12}
  481. Translate(N_5, w_7) → K_{12}
  482. Translate(O_5, w_7) → L_{12}
  483. Translate(P_5, w_7) → M_{12}
  484. Translate(Q_5, w_7) → N_{12}
  485. Translate(R_5, w_7) → O_{12}
  486. Translate(B'_1, w_7) → P_{12}
  487. Translate(S_5, w_7) → Q_{12}
  488. Translate(T_5, w_7) → R_{12}
  489. Translate(U_5, w_7) → S_{12}
  490. Translate(V_5, w_7) → T_{12}
  491. Translate(W_5, w_7) → U_{12}
  492. Translate(Z_5, w_7) → V_{12}
  493. Translate(A_6, w_7) → W_{12}
  494. Translate(B_6, w_7) → Z_{12}
  495. Translate(C_6, w_7) → A_{13}
  496. Translate(D_6, w_7) → B_{13}
  497. Translate(E_6, w_7) → C_{13}
  498. Translate(F_6, w_7) → D_{13}
  499. Translate(G_6, w_7) → E_{13}
  500. Translate(H_6, w_7) → F_{13}
  501. Translate(I_6, w_7) → G_{13}
  502. Translate(A'_1, w_7) → H_{13}
  503. Translate(J_6, w_7) → I_{13}
  504. Translate(K_6, w_7) → J_{13}
  505. Translate(L_6, w_7) → K_{13}
  506. Translate(M_6, w_7) → L_{13}
  507. Translate(N_6, w_7) → M_{13}
  508. Translate(O_6, w_7) → N_{13}
  509. Translate(P_6, w_7) → O_{13}
  510. Translate(Q_6, w_7) → P_{13}
  511. Translate(R_6, w_7) → Q_{13}
  512. Translate(S_6, w_7) → R_{13}
  513. Translate(T_6, w_7) → S_{13}
  514. Translate(U_6, w_7) → T_{13}
  515. Translate(V_6, w_7) → U_{13}
  516. Translate(W_6, w_7) → V_{13}
  517. Translate(Z_6, w_7) → W_{13}
  518. Translate(F'_1, w_7) → Z_{13}
  519. Translate(A_7, w_7) → A_{14}
  520. Translate(B_7, w_7) → B_{14}
  521. Translate(C_7, w_7) → C_{14}
  522. Polygon(F_{11}, G_{11}, P_{11}, Q_{11}, R_{11}, S_{11}, T_{11}, U_{11}, V_{11}, W_{11}, Z_{11}, A_{12}, H_{11}, B_{12}, C_{12}, D_{12}, E_{12}, F_{12}, G_{12}, H_{12}, I_{12}, J_{12}, K_{12}, I_{11}, L_{12}, M_{12}, N_{12}, O_{12}, P_{12}, Q_{12}, R_{12}, S_{12}, T_{12}, U_{12}, J_{11}, V_{12}, W_{12}, Z_{12}, A_{13}, B_{13}, C_{13}, D_{13}, E_{13}, F_{13}, G_{13}, K_{11}, H_{13}, I_{13}, J_{13}, K_{13}, L_{13}, M_{13}, N_{13}, O_{13}, P_{13}, Q_{13}, L_{11}, R_{13}, S_{13}, T_{13}, U_{13}, V_{13}, W_{13}, Z_{13}, A_{14}, B_{14}, C_{14}, M_{11}, N_{11}, O_{11}) → poly3, f_{11}, o_{11}, p_{11}, q_{11}, r_{11}, s_{11}, t_{11}, u_{11}, v_{11}, w_{11}, z_{11}, g_{11}, a_{12}, b_{12}, c_{12}, d_{12}, e_{12}, f_{12}, g_{12}, h_{12}, i_{12}, j_{12}, h_{11}, k_{12}, l_{12}, m_{12}, n_{12}, o_{12}, p_{12}, q_{12}, r_{12}, s_{12}, t_{12}, i_{11}, u_{12}, v_{12}, w_{12}, z_{12}, a_{13}, b_{13}, c_{13}, d_{13}, e_{13}, f_{13}, j_{11}, g_{13}, h_{13}, i_{13}, j_{13}, k_{13}, l_{13}, m_{13}, n_{13}, o_{13}, p_{13}, k_{11}, q_{13}, r_{13}, s_{13}, t_{13}, u_{13}, v_{13}, w_{13}, z_{13}, a_{14}, b_{14}, l_{11}, c_{14}, m_{11}, n_{11}
  523. Translate(O, w_7) → O'_2
  524. Translate(P, w_7) → P'_2
  525. Segment(O'_2, P'_2) → o'_2
  526. Translate(P, w_7) → P'_3
  527. Translate(Q, w_7) → Q'_2
  528. Segment(P'_3, Q'_2) → p'_2
  529. Translate(Q, w_7) → Q'_3
  530. Translate(R, w_7) → R'_2
  531. Segment(Q'_3, R'_2) → q'_2
  532. Translate(R, w_7) → R'_3
  533. Translate(S, w_7) → S'_2
  534. Segment(R'_3, S'_2) → r'_2
  535. Translate(S, w_7) → S'_3
  536. Translate(T, w_7) → T'_2
  537. Segment(S'_3, T'_2) → s'_2
  538. Translate(T, w_7) → T'_3
  539. Translate(U, w_7) → U'_2
  540. Segment(T'_3, U'_2) → t'_2
  541. Translate(U, w_7) → U'_3
  542. Translate(V, w_7) → V'_2
  543. Segment(U'_3, V'_2) → s_9
  544. Translate(V, w_7) → V'_3
  545. Translate(C, w_7) → C'_2
  546. Segment(V'_3, C'_2) → t_9
  547. Translate(C, w_7) → C'_3
  548. Translate(W, w_7) → W'_2
  549. Segment(C'_3, W'_2) → a_{10}
  550. Translate(W, w_7) → W'_3
  551. Translate(Z, w_7) → Z'_2
  552. Segment(W'_3, Z'_2) → w'_2
  553. Translate(Z, w_7) → Z'_3
  554. Translate(A_1, w_7) → D_{14}
  555. Segment(Z'_3, D_{14}) → z'_2
  556. Translate(A_1, w_7) → E_{14}
  557. Translate(B_1, w_7) → F_{14}
  558. Segment(E_{14}, F_{14}) → b_{10}
  559. Translate(B_1, w_7) → G_{14}
  560. Translate(C_1, w_7) → H_{14}
  561. Segment(G_{14}, H_{14}) → c_{10}
  562. Translate(C_1, w_7) → I_{14}
  563. Translate(D_1, w_7) → J_{14}
  564. Segment(I_{14}, J_{14}) → d_{10}
  565. Translate(D_1, w_7) → K_{14}
  566. Translate(E_1, w_7) → L_{14}
  567. Segment(K_{14}, L_{14}) → e_{10}
  568. Translate(E_1, w_7) → M_{14}
  569. Translate(F_1, w_7) → N_{14}
  570. Segment(M_{14}, N_{14}) → f_{10}
  571. Translate(F_1, w_7) → O_{14}
  572. Translate(G_1, w_7) → P_{14}
  573. Segment(O_{14}, P_{14}) → g_{10}
  574. Translate(G_1, w_7) → Q_{14}
  575. Translate(H_1, w_7) → R_{14}
  576. Segment(Q_{14}, R_{14}) → h_{10}
  577. Translate(H_1, w_7) → S_{14}
  578. Translate(I_1, w_7) → T_{14}
  579. Segment(S_{14}, T_{14}) → i_{10}
  580. Translate(I_1, w_7) → U_{14}
  581. Translate(J_1, w_7) → V_{14}
  582. Segment(U_{14}, V_{14}) → j_{10}
  583. Translate(J_1, w_7) → W_{14}
  584. Translate(K_1, w_7) → Z_{14}
  585. Segment(W_{14}, Z_{14}) → k_{10}
  586. Translate(K_1, w_7) → A_{15}
  587. Translate(L_1, w_7) → B_{15}
  588. Segment(A_{15}, B_{15}) → l_{10}
  589. Translate(L_1, w_7) → C_{15}
  590. Translate(M_1, w_7) → D_{15}
  591. Segment(C_{15}, D_{15}) → m_{10}
  592. Translate(M_1, w_7) → E_{15}
  593. Translate(N_1, w_7) → F_{15}
  594. Segment(E_{15}, F_{15}) → n_{10}
  595. Translate(N_1, w_7) → G_{15}
  596. Translate(O_1, w_7) → H_{15}
  597. Segment(G_{15}, H_{15}) → p_{10}
  598. Translate(O_1, w_7) → I_{15}
  599. Translate(P_1, w_7) → J_{15}
  600. Segment(I_{15}, J_{15}) → q_{10}
  601. Translate(P_1, w_7) → K_{15}
  602. Translate(B, w_7) → B'_2
  603. Segment(K_{15}, B'_2) → r_{10}
  604. Translate(B, w_7) → B'_3
  605. Translate(Q_1, w_7) → L_{15}
  606. Segment(B'_3, L_{15}) → s_{10}
  607. Translate(Q_1, w_7) → M_{15}
  608. Translate(R_1, w_7) → N_{15}
  609. Segment(M_{15}, N_{15}) → t_{10}
  610. Translate(R_1, w_7) → O_{15}
  611. Translate(S_1, w_7) → P_{15}
  612. Segment(O_{15}, P_{15}) → a_{11}
  613. Translate(S_1, w_7) → Q_{15}
  614. Translate(T_1, w_7) → R_{15}
  615. Segment(Q_{15}, R_{15}) → b_{11}
  616. Translate(T_1, w_7) → S_{15}
  617. Translate(U_1, w_7) → T_{15}
  618. Segment(S_{15}, T_{15}) → c_{11}
  619. Translate(U_1, w_7) → U_{15}
  620. Translate(V_1, w_7) → V_{15}
  621. Segment(U_{15}, V_{15}) → d_{11}
  622. Translate(V_1, w_7) → W_{15}
  623. Translate(W_1, w_7) → Z_{15}
  624. Segment(W_{15}, Z_{15}) → e_{11}
  625. Translate(W_1, w_7) → A_{16}
  626. Translate(Z_1, w_7) → B_{16}
  627. Segment(A_{16}, B_{16}) → d_{14}
  628. Translate(Z_1, w_7) → C_{16}
  629. Translate(A_2, w_7) → D_{16}
  630. Segment(C_{16}, D_{16}) → e_{14}
  631. Translate(H_3, w_7) → E_{16}
  632. Translate(I_3, w_7) → F_{16}
  633. Segment(E_{16}, F_{16}) → f_{14}
  634. Translate(I_3, w_7) → G_{16}
  635. Translate(J_3, w_7) → H_{16}
  636. Segment(G_{16}, H_{16}) → g_{14}
  637. Translate(J_3, w_7) → I_{16}
  638. Translate(K_3, w_7) → J_{16}
  639. Segment(I_{16}, J_{16}) → h_{14}
  640. Translate(K_3, w_7) → K_{16}
  641. Translate(L_3, w_7) → L_{16}
  642. Segment(K_{16}, L_{16}) → i_{14}
  643. Translate(N_3, w_7) → M_{16}
  644. Translate(O_3, w_7) → N_{16}
  645. Segment(M_{16}, N_{16}) → j_{14}
  646. Translate(O_3, w_7) → O_{16}
  647. Translate(P_3, w_7) → P_{16}
  648. Segment(O_{16}, P_{16}) → k_{14}
  649. Translate(P_3, w_7) → Q_{16}
  650. Translate(Q_3, w_7) → R_{16}
  651. Segment(Q_{16}, R_{16}) → l_{14}
  652. Translate(Q_3, w_7) → S_{16}
  653. Translate(B', w_7) → B''_2
  654. Segment(S_{16}, B''_2) → m_{14}
  655. Translate(B', w_7) → B''_3
  656. Translate(R_3, w_7) → T_{16}
  657. Segment(B''_3, T_{16}) → b''_1
  658. Translate(R_3, w_7) → U_{16}
  659. Translate(S_3, w_7) → V_{16}
  660. Segment(U_{16}, V_{16}) → n_{14}
  661. Translate(S_3, w_7) → W_{16}
  662. Translate(T_3, w_7) → Z_{16}
  663. Segment(W_{16}, Z_{16}) → p_{14}
  664. Translate(T_3, w_7) → A_{17}
  665. Translate(U_3, w_7) → B_{17}
  666. Segment(A_{17}, B_{17}) → q_{14}
  667. Translate(U_3, w_7) → C_{17}
  668. Translate(V_3, w_7) → D_{17}
  669. Segment(C_{17}, D_{17}) → r_{14}
  670. Translate(V_3, w_7) → E_{17}
  671. Translate(W_3, w_7) → F_{17}
  672. Segment(E_{17}, F_{17}) → s_{14}
  673. Translate(W_3, w_7) → G_{17}
  674. Translate(Z_3, w_7) → H_{17}
  675. Segment(G_{17}, H_{17}) → t_{14}
  676. Translate(Z_3, w_7) → I_{17}
  677. Translate(A_4, w_7) → J_{17}
  678. Segment(I_{17}, J_{17}) → a_{15}
  679. Translate(A_4, w_7) → K_{17}
  680. Translate(B_4, w_7) → L_{17}
  681. Segment(K_{17}, L_{17}) → b_{15}
  682. Translate(Q_7, w_7) → M_{17}
  683. Translate(R_7, w_7) → N_{17}
  684. Segment(M_{17}, N_{17}) → c_{15}
  685. Translate(S_7, w_7) → O_{17}
  686. Translate(T_7, w_7) → P_{17}
  687. Segment(O_{17}, P_{17}) → d_{15}
  688. Translate(G_8, w_7) → Q_{17}
  689. Translate(H_8, w_7) → R_{17}
  690. Segment(Q_{17}, R_{17}) → e_{15}
  691. Translate(I_8, w_7) → S_{17}
  692. Translate(J_8, w_7) → T_{17}
  693. Segment(S_{17}, T_{17}) → f_{15}
  694. Translate(K_8, w_7) → U_{17}
  695. Translate(B'', w_7) → B'''
  696. Segment(U_{17}, B''') → g_{15}
  697. Translate(B''_1, w_7) → V_{17}
  698. Translate(L_8, w_7) → W_{17}
  699. Segment(V_{17}, W_{17}) → b'''
  700. Translate(M_8, w_7) → Z_{17}
  701. Translate(N_8, w_7) → A_{18}
  702. Segment(Z_{17}, A_{18}) → h_{15}
  703. Translate(O_8, w_7) → B_{18}
  704. Translate(P_8, w_7) → C_{18}
  705. Segment(B_{18}, C_{18}) → i_{15}
  706. Translate(Q_8, w_7) → D_{18}
  707. Translate(R_8, w_7) → E_{18}
  708. Segment(D_{18}, E_{18}) → j_{15}
  709. Translate(S_8, w_7) → F_{18}
  710. Translate(T_8, w_7) → G_{18}
  711. Segment(F_{18}, G_{18}) → k_{15}
  712. Translate(U_8, w_7) → H_{18}
  713. Translate(V_8, w_7) → I_{18}
  714. Segment(H_{18}, I_{18}) → l_{15}
  715. Translate(W_8, w_7) → J_{18}
  716. Translate(Z_8, w_7) → K_{18}
  717. Segment(J_{18}, K_{18}) → m_{15}
  718. Translate(A_9, w_7) → L_{18}
  719. Translate(B_9, w_7) → M_{18}
  720. Segment(L_{18}, M_{18}) → n_{15}
  721. Translate(C_9, w_7) → N_{18}
  722. Translate(D_9, w_7) → O_{18}
  723. Segment(N_{18}, O_{18}) → p_{15}
  724. Translate(E_9, w_7) → P_{18}
  725. Translate(F_9, w_7) → Q_{18}
  726. Segment(P_{18}, Q_{18}) → q_{15}
  727. Translate(G_9, w_7) → R_{18}
  728. Translate(H_9, w_7) → S_{18}
  729. Segment(R_{18}, S_{18}) → r_{15}
  730. Translate(I_9, w_7) → T_{18}
  731. Translate(J_9, w_7) → U_{18}
  732. Segment(T_{18}, U_{18}) → s_{15}
  733. Translate(K_9, w_7) → V_{18}
  734. Translate(L_9, w_7) → W_{18}
  735. Segment(V_{18}, W_{18}) → t_{15}
  736. Translate(M_9, w_7) → Z_{18}
  737. Translate(N_9, w_7) → A_{19}
  738. Segment(Z_{18}, A_{19}) → a_{16}
  739. Translate(O_9, w_7) → B_{19}
  740. Translate(P_9, w_7) → C_{19}
  741. Segment(B_{19}, C_{19}) → b_{16}
  742. Translate(Q_9, w_7) → D_{19}
  743. Translate(A'', w_7) → A'''
  744. Segment(D_{19}, A''') → c_{16}
  745. Translate(A''_1, w_7) → E_{19}
  746. Translate(R_9, w_7) → F_{19}
  747. Segment(E_{19}, F_{19}) → a'''
  748. Translate(S_9, w_7) → G_{19}
  749. Translate(T_9, w_7) → H_{19}
  750. Segment(G_{19}, H_{19}) → d_{16}
  751. Translate(U_9, w_7) → I_{19}
  752. Translate(V_9, w_7) → J_{19}
  753. Segment(I_{19}, J_{19}) → e_{16}
  754. Translate(W_9, w_7) → K_{19}
  755. Translate(Z_9, w_7) → L_{19}
  756. Segment(K_{19}, L_{19}) → f_{16}
  757. Translate(E_{10}, w_7) → M_{19}
  758. Translate(F_{10}, w_7) → N_{19}
  759. Segment(M_{19}, N_{19}) → g_{16}
  760. Translate(G_{10}, w_7) → O_{19}
  761. Translate(H_{10}, w_7) → P_{19}
  762. Segment(O_{19}, P_{19}) → h_{16}
  763. Translate(I_{10}, w_7) → Q_{19}
  764. Translate(J_{10}, w_7) → R_{19}
  765. Segment(Q_{19}, R_{19}) → i_{16}
  766. Translate(K_{10}, w_7) → S_{19}
  767. Translate(L_{10}, w_7) → T_{19}
  768. Segment(S_{19}, T_{19}) → j_{16}
  769. Translate(H, w_7) → H'_2
  770. Translate(P_7, w_7) → U_{19}
  771. Translate(U_7, w_7) → V_{19}
  772. Translate(F_8, w_7) → W_{19}
  773. Translate(D_{10}, w_7) → Z_{19}
  774. Translate(M_{10}, w_7) → A_{20}
  775. Translate(E'_1, w_7) → B_{20}
  776. Translate(G'_1, w_7) → C_{20}
  777. Translate(H'_1, w_7) → D_{20}
  778. Translate(E'', w_7) → E'''
  779. Vector(I_1, K_5) → u_8
  780. Translate(D'_1, u_8) → E_{20}
  781. Translate(I'_1, u_8) → F_{20}
  782. Translate(J'_1, u_8) → G_{20}
  783. Translate(K'_1, u_8) → H_{20}
  784. Translate(L'_1, u_8) → I_{20}
  785. Translate(M'_1, u_8) → J_{20}
  786. Translate(N'_1, u_8) → K_{20}
  787. Translate(O'_1, u_8) → L_{20}
  788. Translate(P'_1, u_8) → M_{20}
  789. Translate(Q'_1, u_8) → N_{20}
  790. Translate(R'_1, u_8) → O_{20}
  791. Translate(S'_1, u_8) → P_{20}
  792. Translate(T'_1, u_8) → Q_{20}
  793. Translate(U'_1, u_8) → R_{20}
  794. Translate(V'_1, u_8) → S_{20}
  795. Translate(C'_1, u_8) → T_{20}
  796. Translate(W'_1, u_8) → U_{20}
  797. Translate(Z'_1, u_8) → V_{20}
  798. Translate(C_5, u_8) → W_{20}
  799. Translate(D_5, u_8) → Z_{20}
  800. Translate(E_5, u_8) → A_{21}
  801. Translate(F_5, u_8) → B_{21}
  802. Translate(G_5, u_8) → C_{21}
  803. Translate(H_5, u_8) → D_{21}
  804. Translate(I_5, u_8) → E_{21}
  805. Translate(J_5, u_8) → F_{21}
  806. Translate(K_5, u_8) → G_{21}
  807. Translate(L_5, u_8) → H_{21}
  808. Translate(M_5, u_8) → I_{21}
  809. Translate(N_5, u_8) → J_{21}
  810. Translate(O_5, u_8) → K_{21}
  811. Translate(P_5, u_8) → L_{21}
  812. Translate(Q_5, u_8) → M_{21}
  813. Translate(R_5, u_8) → N_{21}
  814. Translate(B'_1, u_8) → O_{21}
  815. Translate(S_5, u_8) → P_{21}
  816. Translate(T_5, u_8) → Q_{21}
  817. Translate(U_5, u_8) → R_{21}
  818. Translate(V_5, u_8) → S_{21}
  819. Translate(W_5, u_8) → T_{21}
  820. Translate(Z_5, u_8) → U_{21}
  821. Translate(A_6, u_8) → V_{21}
  822. Translate(B_6, u_8) → W_{21}
  823. Translate(C_6, u_8) → Z_{21}
  824. Translate(D_6, u_8) → A_{22}
  825. Translate(E_6, u_8) → B_{22}
  826. Translate(F_6, u_8) → C_{22}
  827. Translate(G_6, u_8) → D_{22}
  828. Translate(H_6, u_8) → E_{22}
  829. Translate(I_6, u_8) → F_{22}
  830. Translate(A'_1, u_8) → G_{22}
  831. Translate(J_6, u_8) → H_{22}
  832. Translate(K_6, u_8) → I_{22}
  833. Translate(L_6, u_8) → J_{22}
  834. Translate(M_6, u_8) → K_{22}
  835. Translate(N_6, u_8) → L_{22}
  836. Translate(O_6, u_8) → M_{22}
  837. Translate(P_6, u_8) → N_{22}
  838. Translate(Q_6, u_8) → O_{22}
  839. Translate(R_6, u_8) → P_{22}
  840. Translate(S_6, u_8) → Q_{22}
  841. Translate(T_6, u_8) → R_{22}
  842. Translate(U_6, u_8) → S_{22}
  843. Translate(V_6, u_8) → T_{22}
  844. Translate(W_6, u_8) → U_{22}
  845. Translate(Z_6, u_8) → V_{22}
  846. Translate(F'_1, u_8) → W_{22}
  847. Translate(A_7, u_8) → Z_{22}
  848. Translate(B_7, u_8) → A_{23}
  849. Translate(C_7, u_8) → B_{23}
  850. Polygon(E_{20}, F_{20}, O_{20}, P_{20}, Q_{20}, R_{20}, S_{20}, T_{20}, U_{20}, V_{20}, W_{20}, Z_{20}, G_{20}, A_{21}, B_{21}, C_{21}, D_{21}, E_{21}, F_{21}, G_{21}, H_{21}, I_{21}, J_{21}, H_{20}, K_{21}, L_{21}, M_{21}, N_{21}, O_{21}, P_{21}, Q_{21}, R_{21}, S_{21}, T_{21}, I_{20}, U_{21}, V_{21}, W_{21}, Z_{21}, A_{22}, B_{22}, C_{22}, D_{22}, E_{22}, F_{22}, J_{20}, G_{22}, H_{22}, I_{22}, J_{22}, K_{22}, L_{22}, M_{22}, N_{22}, O_{22}, P_{22}, K_{20}, Q_{22}, R_{22}, S_{22}, T_{22}, U_{22}, V_{22}, W_{22}, Z_{22}, A_{23}, B_{23}, L_{20}, M_{20}, N_{20}) → poly4, e_{20}, n_{20}, o_{20}, p_{20}, q_{20}, r_{20}, s_{20}, t_{20}, u_{20}, v_{20}, w_{20}, f_{20}, z_{20}, a_{21}, b_{21}, c_{21}, d_{21}, e_{21}, f_{21}, g_{21}, h_{21}, i_{21}, g_{20}, j_{21}, k_{21}, l_{21}, m_{21}, n_{21}, o_{21}, p_{21}, q_{21}, r_{21}, s_{21}, h_{20}, t_{21}, u_{21}, v_{21}, w_{21}, z_{21}, a_{22}, b_{22}, c_{22}, d_{22}, e_{22}, i_{20}, f_{22}, g_{22}, h_{22}, i_{22}, j_{22}, k_{22}, l_{22}, m_{22}, n_{22}, o_{22}, j_{20}, p_{22}, q_{22}, r_{22}, s_{22}, t_{22}, u_{22}, v_{22}, w_{22}, z_{22}, a_{23}, k_{20}, b_{23}, l_{20}, m_{20}
  851. Vector(C_{22}, I_{20}) → v_8
  852. Translate(E_{20}, v_8) → C_{23}
  853. Translate(F_{20}, v_8) → D_{23}
  854. Translate(G_{20}, v_8) → E_{23}
  855. Translate(H_{20}, v_8) → F_{23}
  856. Translate(I_{20}, v_8) → G_{23}
  857. Translate(J_{20}, v_8) → H_{23}
  858. Translate(K_{20}, v_8) → I_{23}
  859. Translate(L_{20}, v_8) → J_{23}
  860. Translate(M_{20}, v_8) → K_{23}
  861. Translate(N_{20}, v_8) → L_{23}
  862. Translate(O_{20}, v_8) → M_{23}
  863. Translate(P_{20}, v_8) → N_{23}
  864. Translate(Q_{20}, v_8) → O_{23}
  865. Translate(R_{20}, v_8) → P_{23}
  866. Translate(S_{20}, v_8) → Q_{23}
  867. Translate(T_{20}, v_8) → R_{23}
  868. Translate(U_{20}, v_8) → S_{23}
  869. Translate(V_{20}, v_8) → T_{23}
  870. Translate(W_{20}, v_8) → U_{23}
  871. Translate(Z_{20}, v_8) → V_{23}
  872. Translate(A_{21}, v_8) → W_{23}
  873. Translate(B_{21}, v_8) → Z_{23}
  874. Translate(C_{21}, v_8) → A_{24}
  875. Translate(D_{21}, v_8) → B_{24}
  876. Translate(E_{21}, v_8) → C_{24}
  877. Translate(F_{21}, v_8) → D_{24}
  878. Translate(G_{21}, v_8) → E_{24}
  879. Translate(H_{21}, v_8) → F_{24}
  880. Translate(I_{21}, v_8) → G_{24}
  881. Translate(J_{21}, v_8) → H_{24}
  882. Translate(K_{21}, v_8) → I_{24}
  883. Translate(L_{21}, v_8) → J_{24}
  884. Translate(M_{21}, v_8) → K_{24}
  885. Translate(N_{21}, v_8) → L_{24}
  886. Translate(O_{21}, v_8) → M_{24}
  887. Translate(P_{21}, v_8) → N_{24}
  888. Translate(Q_{21}, v_8) → O_{24}
  889. Translate(R_{21}, v_8) → P_{24}
  890. Translate(S_{21}, v_8) → Q_{24}
  891. Translate(T_{21}, v_8) → R_{24}
  892. Translate(U_{21}, v_8) → S_{24}
  893. Translate(V_{21}, v_8) → T_{24}
  894. Translate(W_{21}, v_8) → U_{24}
  895. Translate(Z_{21}, v_8) → V_{24}
  896. Translate(A_{22}, v_8) → W_{24}
  897. Translate(B_{22}, v_8) → Z_{24}
  898. Translate(C_{22}, v_8) → A_{25}
  899. Translate(D_{22}, v_8) → B_{25}
  900. Translate(E_{22}, v_8) → C_{25}
  901. Translate(F_{22}, v_8) → D_{25}
  902. Translate(G_{22}, v_8) → E_{25}
  903. Translate(H_{22}, v_8) → F_{25}
  904. Translate(I_{22}, v_8) → G_{25}
  905. Translate(J_{22}, v_8) → H_{25}
  906. Translate(K_{22}, v_8) → I_{25}
  907. Translate(L_{22}, v_8) → J_{25}
  908. Translate(M_{22}, v_8) → K_{25}
  909. Translate(N_{22}, v_8) → L_{25}
  910. Translate(O_{22}, v_8) → M_{25}
  911. Translate(P_{22}, v_8) → N_{25}
  912. Translate(Q_{22}, v_8) → O_{25}
  913. Translate(R_{22}, v_8) → P_{25}
  914. Translate(S_{22}, v_8) → Q_{25}
  915. Translate(T_{22}, v_8) → R_{25}
  916. Translate(U_{22}, v_8) → S_{25}
  917. Translate(V_{22}, v_8) → T_{25}
  918. Translate(W_{22}, v_8) → U_{25}
  919. Translate(Z_{22}, v_8) → V_{25}
  920. Translate(A_{23}, v_8) → W_{25}
  921. Translate(B_{23}, v_8) → Z_{25}
  922. Polygon(C_{23}, D_{23}, M_{23}, N_{23}, O_{23}, P_{23}, Q_{23}, R_{23}, S_{23}, T_{23}, U_{23}, V_{23}, E_{23}, W_{23}, Z_{23}, A_{24}, B_{24}, C_{24}, D_{24}, E_{24}, F_{24}, G_{24}, H_{24}, F_{23}, I_{24}, J_{24}, K_{24}, L_{24}, M_{24}, N_{24}, O_{24}, P_{24}, Q_{24}, R_{24}, G_{23}, S_{24}, T_{24}, U_{24}, V_{24}, W_{24}, Z_{24}, A_{25}, B_{25}, C_{25}, D_{25}, H_{23}, E_{25}, F_{25}, G_{25}, H_{25}, I_{25}, J_{25}, K_{25}, L_{25}, M_{25}, N_{25}, I_{23}, O_{25}, P_{25}, Q_{25}, R_{25}, S_{25}, T_{25}, U_{25}, V_{25}, W_{25}, Z_{25}, J_{23}, K_{23}, L_{23}) → poly4', c_{23}, l_{23}, m_{23}, n_{23}, o_{23}, p_{23}, q_{23}, r_{23}, s_{23}, t_{23}, u_{23}, d_{23}, v_{23}, w_{23}, z_{23}, a_{24}, b_{24}, c_{24}, d_{24}, e_{24}, f_{24}, g_{24}, e_{23}, h_{24}, i_{24}, j_{24}, k_{24}, l_{24}, m_{24}, n_{24}, o_{24}, p_{24}, q_{24}, f_{23}, r_{24}, s_{24}, t_{24}, u_{24}, v_{24}, w_{24}, z_{24}, a_{25}, b_{25}, c_{25}, g_{23}, d_{25}, e_{25}, f_{25}, g_{25}, h_{25}, i_{25}, j_{25}, k_{25}, l_{25}, m_{25}, h_{23}, n_{25}, o_{25}, p_{25}, q_{25}, r_{25}, s_{25}, t_{25}, u_{25}, v_{25}, w_{25}, i_{23}, z_{25}, j_{23}, k_{23}
  923. AttachCopyToView(PolyLine[(9.620000000000001, 1.16), (9.78, 1.18), (9.84, 1.2), (9.9, 1.24), (9.94, 1.3), (9.96, 1.36), (10, 1.42), (10.06, 1.46), (10.120000000000001, 1.48), (NaN, NaN), (9.88, 1.2), (9.94, 1.22), (10, 1.26), (10.02, 1.32), (NaN, NaN), (9, 0.62), (9.08, 0.64), (9.14, 0.66), (9.200000000000001, 0.68), (9.26, 0.7000000000000001), (9.32, 0.74), (9.38, 0.76), (9.44, 0.8), (9.5, 0.8200000000000001), (9.58, 0.8200000000000001), (9.66, 0.8200000000000001), (9.74, 0.8200000000000001), (NaN, NaN), (12.18, -0.96), (12.24, -0.9400000000000001), (12.3, -0.92), (12.36, -0.9), (12.42, -0.86), (12.48, -0.8200000000000001), (12.540000000000001, -0.78), (12.6, -0.76), (12.66, -0.72), (12.72, -0.7000000000000001), (12.8, -0.64), (12.86, -0.62), (12.92, -0.6), (12.98, -0.56), (13.040000000000001, -0.52), (13.1, -0.5), (13.16, -0.48), (13.22, -0.46), (13.32, -0.44), (13.38, -0.42), (13.44, -0.38), (13.5, -0.34), (13.56, -0.32), (13.620000000000001, -0.28), (13.68, -0.24), (13.74, -0.2), (13.8, -0.16), (13.88, -0.1), (13.92, -0.04), (13.98, 0), (14.040000000000001, 0.06), (14.1, 0.1), (14.16, 0.18), (14.22, 0.24), (14.280000000000001, 0.28), (14.34, 0.32), (14.4, 0.38), (14.46, 0.42), (14.52, 0.44), (14.58, 0.5), (14.64, 0.54), (14.700000000000001, 0.56), (14.76, 0.6), (14.84, 0.62), (14.9, 0.66), (14.96, 0.7000000000000001), (15.02, 0.76), (15.08, 0.8200000000000001), (15.1, 0.88), (15.16, 0.92), (15.200000000000001, 0.98), (15.26, 1), (15.3, 1.06), (15.36, 1.08), (NaN, NaN), (13.88, -0.04), (13.92, 0.02), (14, 0.08), (14.06, 0.1), (14.120000000000001, 0.14), (14.18, 0.18), (14.24, 0.2), (14.34, 0.22), (14.4, 0.26), (14.48, 0.26), (14.540000000000001, 0.28), (14.620000000000001, 0.28), (14.700000000000001, 0.28), (14.780000000000001, 0.28), (14.84, 0.26), (14.92, 0.26), (15, 0.26), (15.08, 0.26), (15.14, 0.24), (15.22, 0.22), (15.32, 0.22), (15.4, 0.22), (15.46, 0.18), (15.52, 0.16), (15.6, 0.16), (NaN, NaN), (13.8, -0.1), (13.88, -0.12), (13.94, -0.14), (13.98, -0.2), (14.040000000000001, -0.22), (14.08, -0.28), (14.14, -0.3), (14.200000000000001, -0.36), (14.26, -0.4), (14.32, -0.44), (14.38, -0.5), (14.4, -0.56), (14.42, -0.62), (NaN, NaN), (13.8, -0.06), (13.76, -0.12), (13.74, -0.2), (13.72, -0.26), (13.72, -0.34), (13.700000000000001, -0.4), (13.700000000000001, -0.48), (13.68, -0.54), (13.68, -0.64), (13.66, -0.7000000000000001), (13.66, -0.8200000000000001), (13.66, -0.9), (13.66, -0.98), (13.64, -1.04), (13.6, -1.1), (13.56, -1.16), (13.540000000000001, -1.26), (NaN, NaN), (13.64, -0.24), (13.6, -0.32), (13.540000000000001, -0.4), (13.48, -0.44), (13.44, -0.5), (13.4, -0.56), (13.34, -0.6), (13.3, -0.66), (13.26, -0.72), (13.22, -0.78), (13.16, -0.8200000000000001), (13.1, -0.92), (13.06, -1), (13.02, -1.06), (12.96, -1.16), (12.92, -1.22), (12.88, -1.28), (12.84, -1.34), (12.780000000000001, -1.3800000000000001), (12.700000000000001, -1.44), (12.68, -1.5), (12.66, -1.56), (12.620000000000001, -1.62), (12.58, -1.72), (12.540000000000001, -1.6400000000000001), (12.52, -1.58), (12.5, -1.52), (12.46, -1.46), (12.42, -1.4000000000000001), (12.36, -1.34), (12.32, -1.28), (12.26, -1.24), (12.24, -1.18), (12.200000000000001, -1.12), (12.18, -1.06), (12.14, -1), true], 1, (-4.3, -7.96), (23.38, 6.3), (0, 713), (1384, 0)) → stroke11
  924. Vector(D, A) → w_8
  925. Translate(stroke1, w_8) → stroke1'_3
  926. Translate(stroke1', w_8) → stroke1''_2
  927. Translate(stroke2, w_8) → stroke2'_3
  928. Translate(stroke2', w_8) → stroke2''_3
  929. Translate(stroke3, w_8) → stroke3'_2
  930. Translate(stroke1'_1, w_8) → stroke12
  931. Translate(stroke1'_2, w_8) → stroke13
  932. Translate(stroke1''_1, w_8) → stroke14
  933. Translate(stroke2'_2, w_8) → stroke15
  934. Translate(stroke2''_1, w_8) → stroke16
  935. Translate(stroke3'_1, w_8) → stroke17
  936. Translate(stroke4, w_8) → stroke4'_1
  937. Translate(stroke6, w_8) → stroke6'
  938. Translate(stroke11, w_8) → stroke11'
  939. Translate(D, w_8) → D'_2
  940. Translate(I, w_8) → I'_2
  941. Translate(J, w_8) → J'_2
  942. Translate(K, w_8) → K'_2
  943. Translate(L, w_8) → L'_2
  944. Translate(M, w_8) → M'_2
  945. Translate(N, w_8) → N'_2
  946. Translate(O, w_8) → O'_3
  947. Translate(P, w_8) → P'_4
  948. Translate(Q, w_8) → Q'_4
  949. Translate(R, w_8) → R'_4
  950. Translate(S, w_8) → S'_4
  951. Translate(T, w_8) → T'_4
  952. Translate(U, w_8) → U'_4
  953. Translate(V, w_8) → V'_4
  954. Translate(C, w_8) → C'_4
  955. Translate(W, w_8) → W'_4
  956. Translate(Z, w_8) → Z'_4
  957. Translate(A_1, w_8) → A_{26}
  958. Translate(B_1, w_8) → B_{26}
  959. Translate(C_1, w_8) → C_{26}
  960. Translate(D_1, w_8) → D_{26}
  961. Translate(E_1, w_8) → E_{26}
  962. Translate(F_1, w_8) → F_{26}
  963. Translate(G_1, w_8) → G_{26}
  964. Translate(H_1, w_8) → H_{26}
  965. Translate(I_1, w_8) → I_{26}
  966. Translate(J_1, w_8) → J_{26}
  967. Translate(K_1, w_8) → K_{26}
  968. Translate(L_1, w_8) → L_{26}
  969. Translate(M_1, w_8) → M_{26}
  970. Translate(N_1, w_8) → N_{26}
  971. Translate(O_1, w_8) → O_{26}
  972. Translate(P_1, w_8) → P_{26}
  973. Translate(B, w_8) → B'_4
  974. Translate(Q_1, w_8) → Q_{26}
  975. Translate(R_1, w_8) → R_{26}
  976. Translate(S_1, w_8) → S_{26}
  977. Translate(T_1, w_8) → T_{26}
  978. Translate(U_1, w_8) → U_{26}
  979. Translate(V_1, w_8) → V_{26}
  980. Translate(W_1, w_8) → W_{26}
  981. Translate(Z_1, w_8) → Z_{26}
  982. Translate(A_2, w_8) → A_{27}
  983. Translate(B_2, w_8) → B_{27}
  984. Translate(C_2, w_8) → C_{27}
  985. Translate(D_2, w_8) → D_{27}
  986. Translate(E_2, w_8) → E_{27}
  987. Translate(F_2, w_8) → F_{27}
  988. Translate(G_2, w_8) → G_{27}
  989. Translate(A, w_8) → A'_2
  990. Translate(H_2, w_8) → H_{27}
  991. Translate(I_2, w_8) → I_{27}
  992. Translate(J_2, w_8) → J_{27}
  993. Translate(K_2, w_8) → K_{27}
  994. Translate(L_2, w_8) → L_{27}
  995. Translate(M_2, w_8) → M_{27}
  996. Translate(N_2, w_8) → N_{27}
  997. Translate(O_2, w_8) → O_{27}
  998. Translate(P_2, w_8) → P_{27}
  999. Translate(Q_2, w_8) → Q_{27}
  1000. Translate(R_2, w_8) → R_{27}
  1001. Translate(S_2, w_8) → S_{27}
  1002. Translate(T_2, w_8) → T_{27}
  1003. Translate(U_2, w_8) → U_{27}
  1004. Translate(V_2, w_8) → V_{27}
  1005. Translate(F, w_8) → F'_2
  1006. Translate(W_2, w_8) → W_{27}
  1007. Translate(Z_2, w_8) → Z_{27}
  1008. Translate(A_3, w_8) → A_{28}
  1009. Polygon(D'_2, I'_2, R'_4, S'_4, T'_4, U'_4, V'_4, C'_4, W'_4, Z'_4, A_{26}, B_{26}, J'_2, C_{26}, D_{26}, E_{26}, F_{26}, G_{26}, H_{26}, I_{26}, J_{26}, K_{26}, L_{26}, K'_2, M_{26}, N_{26}, O_{26}, P_{26}, B'_4, Q_{26}, R_{26}, S_{26}, T_{26}, U_{26}, L'_2, V_{26}, W_{26}, Z_{26}, A_{27}, B_{27}, C_{27}, D_{27}, E_{27}, F_{27}, G_{27}, M'_2, A'_2, H_{27}, I_{27}, J_{27}, K_{27}, L_{27}, M_{27}, N_{27}, O_{27}, P_{27}, N'_2, Q_{27}, R_{27}, S_{27}, T_{27}, U_{27}, V_{27}, F'_2, W_{27}, Z_{27}, A_{28}, O'_3, P'_4, Q'_4) → poly2'_2, d'_2, q'_4, r'_4, s'_4, t'_4, u'_4, v'_4, c'_4, w'_4, z'_4, a_{26}, i'_2, b_{26}, c_{26}, d_{26}, e_{26}, f_{26}, g_{26}, h_{26}, i_{26}, j_{26}, k_{26}, j'_2, l_{26}, m_{26}, n_{26}, o_{26}, p_{26}, b'_4, q_{26}, r_{26}, s_{26}, t_{26}, k'_2, u_{26}, v_{26}, w_{26}, z_{26}, a_{27}, b_{27}, c_{27}, d_{27}, e_{27}, f_{27}, l'_2, g_{27}, a'_2, h_{27}, i_{27}, j_{27}, k_{27}, l_{27}, m_{27}, n_{27}, o_{27}, m'_2, p_{27}, q_{27}, r_{27}, s_{27}, t_{27}, u_{27}, v_{27}, f'_2, w_{27}, z_{27}, n'_2, a_{28}, o'_3, p'_4
  1010. Translate(D'_1, w_8) → B_{28}
  1011. Translate(I'_1, w_8) → C_{28}
  1012. Translate(J'_1, w_8) → D_{28}
  1013. Translate(K'_1, w_8) → E_{28}
  1014. Translate(L'_1, w_8) → F_{28}
  1015. Translate(M'_1, w_8) → G_{28}
  1016. Translate(N'_1, w_8) → H_{28}
  1017. Translate(O'_1, w_8) → I_{28}
  1018. Translate(P'_1, w_8) → J_{28}
  1019. Translate(Q'_1, w_8) → K_{28}
  1020. Translate(R'_1, w_8) → L_{28}
  1021. Translate(S'_1, w_8) → M_{28}
  1022. Translate(T'_1, w_8) → N_{28}
  1023. Translate(U'_1, w_8) → O_{28}
  1024. Translate(V'_1, w_8) → P_{28}
  1025. Translate(C'_1, w_8) → Q_{28}
  1026. Translate(W'_1, w_8) → R_{28}
  1027. Translate(Z'_1, w_8) → S_{28}
  1028. Translate(C_5, w_8) → T_{28}
  1029. Translate(D_5, w_8) → U_{28}
  1030. Translate(E_5, w_8) → V_{28}
  1031. Translate(F_5, w_8) → W_{28}
  1032. Translate(G_5, w_8) → Z_{28}
  1033. Translate(H_5, w_8) → A_{29}
  1034. Translate(I_5, w_8) → B_{29}
  1035. Translate(J_5, w_8) → C_{29}
  1036. Translate(K_5, w_8) → D_{29}
  1037. Translate(L_5, w_8) → E_{29}
  1038. Translate(M_5, w_8) → F_{29}
  1039. Translate(N_5, w_8) → G_{29}
  1040. Translate(O_5, w_8) → H_{29}
  1041. Translate(P_5, w_8) → I_{29}
  1042. Translate(Q_5, w_8) → J_{29}
  1043. Translate(R_5, w_8) → K_{29}
  1044. Translate(B'_1, w_8) → L_{29}
  1045. Translate(S_5, w_8) → M_{29}
  1046. Translate(T_5, w_8) → N_{29}
  1047. Translate(U_5, w_8) → O_{29}
  1048. Translate(V_5, w_8) → P_{29}
  1049. Translate(W_5, w_8) → Q_{29}
  1050. Translate(Z_5, w_8) → R_{29}
  1051. Translate(A_6, w_8) → S_{29}
  1052. Translate(B_6, w_8) → T_{29}
  1053. Translate(C_6, w_8) → U_{29}
  1054. Translate(D_6, w_8) → V_{29}
  1055. Translate(E_6, w_8) → W_{29}
  1056. Translate(F_6, w_8) → Z_{29}
  1057. Translate(G_6, w_8) → A_{30}
  1058. Translate(H_6, w_8) → B_{30}
  1059. Translate(I_6, w_8) → C_{30}
  1060. Translate(A'_1, w_8) → D_{30}
  1061. Translate(J_6, w_8) → E_{30}
  1062. Translate(K_6, w_8) → F_{30}
  1063. Translate(L_6, w_8) → G_{30}
  1064. Translate(M_6, w_8) → H_{30}
  1065. Translate(N_6, w_8) → I_{30}
  1066. Translate(O_6, w_8) → J_{30}
  1067. Translate(P_6, w_8) → K_{30}
  1068. Translate(Q_6, w_8) → L_{30}
  1069. Translate(R_6, w_8) → M_{30}
  1070. Translate(S_6, w_8) → N_{30}
  1071. Translate(T_6, w_8) → O_{30}
  1072. Translate(U_6, w_8) → P_{30}
  1073. Translate(V_6, w_8) → Q_{30}
  1074. Translate(W_6, w_8) → R_{30}
  1075. Translate(Z_6, w_8) → S_{30}
  1076. Translate(F'_1, w_8) → T_{30}
  1077. Translate(A_7, w_8) → U_{30}
  1078. Translate(B_7, w_8) → V_{30}
  1079. Translate(C_7, w_8) → W_{30}
  1080. Polygon(B_{28}, C_{28}, L_{28}, M_{28}, N_{28}, O_{28}, P_{28}, Q_{28}, R_{28}, S_{28}, T_{28}, U_{28}, D_{28}, V_{28}, W_{28}, Z_{28}, A_{29}, B_{29}, C_{29}, D_{29}, E_{29}, F_{29}, G_{29}, E_{28}, H_{29}, I_{29}, J_{29}, K_{29}, L_{29}, M_{29}, N_{29}, O_{29}, P_{29}, Q_{29}, F_{28}, R_{29}, S_{29}, T_{29}, U_{29}, V_{29}, W_{29}, Z_{29}, A_{30}, B_{30}, C_{30}, G_{28}, D_{30}, E_{30}, F_{30}, G_{30}, H_{30}, I_{30}, J_{30}, K_{30}, L_{30}, M_{30}, H_{28}, N_{30}, O_{30}, P_{30}, Q_{30}, R_{30}, S_{30}, T_{30}, U_{30}, V_{30}, W_{30}, I_{28}, J_{28}, K_{28}) → poly5, b_{28}, k_{28}, l_{28}, m_{28}, n_{28}, o_{28}, p_{28}, q_{28}, r_{28}, s_{28}, t_{28}, c_{28}, u_{28}, v_{28}, w_{28}, z_{28}, a_{29}, b_{29}, c_{29}, d_{29}, e_{29}, f_{29}, d_{28}, g_{29}, h_{29}, i_{29}, j_{29}, k_{29}, l_{29}, m_{29}, n_{29}, o_{29}, p_{29}, e_{28}, q_{29}, r_{29}, s_{29}, t_{29}, u_{29}, v_{29}, w_{29}, z_{29}, a_{30}, b_{30}, f_{28}, c_{30}, d_{30}, e_{30}, f_{30}, g_{30}, h_{30}, i_{30}, j_{30}, k_{30}, l_{30}, g_{28}, m_{30}, n_{30}, o_{30}, p_{30}, q_{30}, r_{30}, s_{30}, t_{30}, u_{30}, v_{30}, h_{28}, w_{30}, i_{28}, j_{28}
  1081. Translate(E_{20}, w_8) → Z_{30}
  1082. Translate(F_{20}, w_8) → A_{31}
  1083. Translate(G_{20}, w_8) → B_{31}
  1084. Translate(H_{20}, w_8) → C_{31}
  1085. Translate(I_{20}, w_8) → D_{31}
  1086. Translate(J_{20}, w_8) → E_{31}
  1087. Translate(K_{20}, w_8) → F_{31}
  1088. Translate(L_{20}, w_8) → G_{31}
  1089. Translate(M_{20}, w_8) → H_{31}
  1090. Translate(N_{20}, w_8) → I_{31}
  1091. Translate(O_{20}, w_8) → J_{31}
  1092. Translate(P_{20}, w_8) → K_{31}
  1093. Translate(Q_{20}, w_8) → L_{31}
  1094. Translate(R_{20}, w_8) → M_{31}
  1095. Translate(S_{20}, w_8) → N_{31}
  1096. Translate(T_{20}, w_8) → O_{31}
  1097. Translate(U_{20}, w_8) → P_{31}
  1098. Translate(V_{20}, w_8) → Q_{31}
  1099. Translate(W_{20}, w_8) → R_{31}
  1100. Translate(Z_{20}, w_8) → S_{31}
  1101. Translate(A_{21}, w_8) → T_{31}
  1102. Translate(B_{21}, w_8) → U_{31}
  1103. Translate(C_{21}, w_8) → V_{31}
  1104. Translate(D_{21}, w_8) → W_{31}
  1105. Translate(E_{21}, w_8) → Z_{31}
  1106. Translate(F_{21}, w_8) → A_{32}
  1107. Translate(G_{21}, w_8) → B_{32}
  1108. Translate(H_{21}, w_8) → C_{32}
  1109. Translate(I_{21}, w_8) → D_{32}
  1110. Translate(J_{21}, w_8) → E_{32}
  1111. Translate(K_{21}, w_8) → F_{32}
  1112. Translate(L_{21}, w_8) → G_{32}
  1113. Translate(M_{21}, w_8) → H_{32}
  1114. Translate(N_{21}, w_8) → I_{32}
  1115. Translate(O_{21}, w_8) → J_{32}
  1116. Translate(P_{21}, w_8) → K_{32}
  1117. Translate(Q_{21}, w_8) → L_{32}
  1118. Translate(R_{21}, w_8) → M_{32}
  1119. Translate(S_{21}, w_8) → N_{32}
  1120. Translate(T_{21}, w_8) → O_{32}
  1121. Translate(U_{21}, w_8) → P_{32}
  1122. Translate(V_{21}, w_8) → Q_{32}
  1123. Translate(W_{21}, w_8) → R_{32}
  1124. Translate(Z_{21}, w_8) → S_{32}
  1125. Translate(A_{22}, w_8) → T_{32}
  1126. Translate(B_{22}, w_8) → U_{32}
  1127. Translate(C_{22}, w_8) → V_{32}
  1128. Translate(D_{22}, w_8) → W_{32}
  1129. Translate(E_{22}, w_8) → Z_{32}
  1130. Translate(F_{22}, w_8) → A_{33}
  1131. Translate(G_{22}, w_8) → B_{33}
  1132. Translate(H_{22}, w_8) → C_{33}
  1133. Translate(I_{22}, w_8) → D_{33}
  1134. Translate(J_{22}, w_8) → E_{33}
  1135. Translate(K_{22}, w_8) → F_{33}
  1136. Translate(L_{22}, w_8) → G_{33}
  1137. Translate(M_{22}, w_8) → H_{33}
  1138. Translate(N_{22}, w_8) → I_{33}
  1139. Translate(O_{22}, w_8) → J_{33}
  1140. Translate(P_{22}, w_8) → K_{33}
  1141. Translate(Q_{22}, w_8) → L_{33}
  1142. Translate(R_{22}, w_8) → M_{33}
  1143. Translate(S_{22}, w_8) → N_{33}
  1144. Translate(T_{22}, w_8) → O_{33}
  1145. Translate(U_{22}, w_8) → P_{33}
  1146. Translate(V_{22}, w_8) → Q_{33}
  1147. Translate(W_{22}, w_8) → R_{33}
  1148. Translate(Z_{22}, w_8) → S_{33}
  1149. Translate(A_{23}, w_8) → T_{33}
  1150. Translate(B_{23}, w_8) → U_{33}
  1151. Polygon(Z_{30}, A_{31}, J_{31}, K_{31}, L_{31}, M_{31}, N_{31}, O_{31}, P_{31}, Q_{31}, R_{31}, S_{31}, B_{31}, T_{31}, U_{31}, V_{31}, W_{31}, Z_{31}, A_{32}, B_{32}, C_{32}, D_{32}, E_{32}, C_{31}, F_{32}, G_{32}, H_{32}, I_{32}, J_{32}, K_{32}, L_{32}, M_{32}, N_{32}, O_{32}, D_{31}, P_{32}, Q_{32}, R_{32}, S_{32}, T_{32}, U_{32}, V_{32}, W_{32}, Z_{32}, A_{33}, E_{31}, B_{33}, C_{33}, D_{33}, E_{33}, F_{33}, G_{33}, H_{33}, I_{33}, J_{33}, K_{33}, F_{31}, L_{33}, M_{33}, N_{33}, O_{33}, P_{33}, Q_{33}, R_{33}, S_{33}, T_{33}, U_{33}, G_{31}, H_{31}, I_{31}) → poly4'_1, z_{30}, i_{31}, j_{31}, k_{31}, l_{31}, m_{31}, n_{31}, o_{31}, p_{31}, q_{31}, r_{31}, a_{31}, s_{31}, t_{31}, u_{31}, v_{31}, w_{31}, z_{31}, a_{32}, b_{32}, c_{32}, d_{32}, b_{31}, e_{32}, f_{32}, g_{32}, h_{32}, i_{32}, j_{32}, k_{32}, l_{32}, m_{32}, n_{32}, c_{31}, o_{32}, p_{32}, q_{32}, r_{32}, s_{32}, t_{32}, u_{32}, v_{32}, w_{32}, z_{32}, d_{31}, a_{33}, b_{33}, c_{33}, d_{33}, e_{33}, f_{33}, g_{33}, h_{33}, i_{33}, j_{33}, e_{31}, k_{33}, l_{33}, m_{33}, n_{33}, o_{33}, p_{33}, q_{33}, r_{33}, s_{33}, t_{33}, f_{31}, u_{33}, g_{31}, h_{31}
  1152. Translate(H_3, w_8) → V_{33}
  1153. Translate(I_3, w_8) → W_{33}
  1154. Segment(V_{33}, W_{33}) → k_{16}
  1155. Translate(I_3, w_8) → Z_{33}
  1156. Translate(J_3, w_8) → A_{34}
  1157. Segment(Z_{33}, A_{34}) → l_{16}
  1158. Translate(J_3, w_8) → B_{34}
  1159. Translate(K_3, w_8) → C_{34}
  1160. Segment(B_{34}, C_{34}) → m_{16}
  1161. Translate(K_3, w_8) → D_{34}
  1162. Translate(L_3, w_8) → E_{34}
  1163. Segment(D_{34}, E_{34}) → n_{16}
  1164. Translate(N_3, w_8) → F_{34}
  1165. Translate(O_3, w_8) → G_{34}
  1166. Segment(F_{34}, G_{34}) → p_{16}
  1167. Translate(O_3, w_8) → H_{34}
  1168. Translate(P_3, w_8) → I_{34}
  1169. Segment(H_{34}, I_{34}) → q_{16}
  1170. Translate(P_3, w_8) → J_{34}
  1171. Translate(Q_3, w_8) → K_{34}
  1172. Segment(J_{34}, K_{34}) → r_{16}
  1173. Translate(Q_3, w_8) → L_{34}
  1174. Translate(B', w_8) → B''_4
  1175. Segment(L_{34}, B''_4) → s_{16}
  1176. Translate(B', w_8) → B''_5
  1177. Translate(R_3, w_8) → M_{34}
  1178. Segment(B''_5, M_{34}) → b''_2
  1179. Translate(R_3, w_8) → N_{34}
  1180. Translate(S_3, w_8) → O_{34}
  1181. Segment(N_{34}, O_{34}) → t_{16}
  1182. Translate(S_3, w_8) → P_{34}
  1183. Translate(T_3, w_8) → Q_{34}
  1184. Segment(P_{34}, Q_{34}) → a_{17}
  1185. Translate(T_3, w_8) → R_{34}
  1186. Translate(U_3, w_8) → S_{34}
  1187. Segment(R_{34}, S_{34}) → b_{17}
  1188. Translate(U_3, w_8) → T_{34}
  1189. Translate(V_3, w_8) → U_{34}
  1190. Segment(T_{34}, U_{34}) → c_{17}
  1191. Translate(V_3, w_8) → V_{34}
  1192. Translate(W_3, w_8) → W_{34}
  1193. Segment(V_{34}, W_{34}) → d_{17}
  1194. Translate(W_3, w_8) → Z_{34}
  1195. Translate(Z_3, w_8) → A_{35}
  1196. Segment(Z_{34}, A_{35}) → e_{17}
  1197. Translate(Z_3, w_8) → B_{35}
  1198. Translate(A_4, w_8) → C_{35}
  1199. Segment(B_{35}, C_{35}) → f_{17}
  1200. Translate(A_4, w_8) → D_{35}
  1201. Translate(B_4, w_8) → E_{35}
  1202. Segment(D_{35}, E_{35}) → g_{17}
  1203. Translate(B_4, w_8) → F_{35}
  1204. Translate(C_4, w_8) → G_{35}
  1205. Segment(F_{35}, G_{35}) → h_{17}
  1206. Translate(C_4, w_8) → H_{35}
  1207. Translate(D_4, w_8) → I_{35}
  1208. Segment(H_{35}, I_{35}) → i_{17}
  1209. Translate(D_4, w_8) → J_{35}
  1210. Translate(E_4, w_8) → K_{35}
  1211. Segment(J_{35}, K_{35}) → j_{17}
  1212. Translate(E_4, w_8) → L_{35}
  1213. Translate(F_4, w_8) → M_{35}
  1214. Segment(L_{35}, M_{35}) → k_{17}
  1215. Translate(F_4, w_8) → N_{35}
  1216. Translate(G_4, w_8) → O_{35}
  1217. Segment(N_{35}, O_{35}) → l_{17}
  1218. Translate(G_4, w_8) → P_{35}
  1219. Translate(H_4, w_8) → Q_{35}
  1220. Segment(P_{35}, Q_{35}) → m_{17}
  1221. Translate(H_4, w_8) → R_{35}
  1222. Translate(A', w_8) → A''_2
  1223. Segment(R_{35}, A''_2) → n_{17}
  1224. Translate(A', w_8) → A''_3
  1225. Translate(I_4, w_8) → S_{35}
  1226. Segment(A''_3, S_{35}) → a''_1
  1227. Translate(I_4, w_8) → T_{35}
  1228. Translate(J_4, w_8) → U_{35}
  1229. Segment(T_{35}, U_{35}) → p_{17}
  1230. Translate(J_4, w_8) → V_{35}
  1231. Translate(K_4, w_8) → W_{35}
  1232. Segment(V_{35}, W_{35}) → q_{17}
  1233. Translate(K_4, w_8) → Z_{35}
  1234. Translate(L_4, w_8) → A_{36}
  1235. Segment(Z_{35}, A_{36}) → r_{17}
  1236. Translate(N_4, w_8) → B_{36}
  1237. Translate(O_4, w_8) → C_{36}
  1238. Segment(B_{36}, C_{36}) → s_{17}
  1239. Translate(O_4, w_8) → D_{36}
  1240. Translate(P_4, w_8) → E_{36}
  1241. Segment(D_{36}, E_{36}) → t_{17}
  1242. Translate(P_4, w_8) → F_{36}
  1243. Translate(Q_4, w_8) → G_{36}
  1244. Segment(F_{36}, G_{36}) → a_{18}
  1245. Translate(Q_4, w_8) → H_{36}
  1246. Translate(R_4, w_8) → I_{36}
  1247. Segment(H_{36}, I_{36}) → b_{18}
  1248. Translate(Q_7, w_8) → J_{36}
  1249. Translate(R_7, w_8) → K_{36}
  1250. Segment(J_{36}, K_{36}) → c_{18}
  1251. Translate(S_7, w_8) → L_{36}
  1252. Translate(T_7, w_8) → M_{36}
  1253. Segment(L_{36}, M_{36}) → d_{18}
  1254. Translate(U_7, w_8) → N_{36}
  1255. Translate(V_7, w_8) → O_{36}
  1256. Segment(N_{36}, O_{36}) → e_{18}
  1257. Translate(W_7, w_8) → P_{36}
  1258. Translate(Z_7, w_8) → Q_{36}
  1259. Segment(P_{36}, Q_{36}) → f_{18}
  1260. Translate(E_8, w_8) → R_{36}
  1261. Translate(F_8, w_8) → S_{36}
  1262. Segment(R_{36}, S_{36}) → g_{18}
  1263. Translate(G_8, w_8) → T_{36}
  1264. Translate(H_8, w_8) → U_{36}
  1265. Segment(T_{36}, U_{36}) → h_{18}
  1266. Translate(I_8, w_8) → V_{36}
  1267. Translate(J_8, w_8) → W_{36}
  1268. Segment(V_{36}, W_{36}) → i_{18}
  1269. Translate(K_8, w_8) → Z_{36}
  1270. Translate(B'', w_8) → B'''_1
  1271. Segment(Z_{36}, B'''_1) → j_{18}
  1272. Translate(B''_1, w_8) → A_{37}
  1273. Translate(L_8, w_8) → B_{37}
  1274. Segment(A_{37}, B_{37}) → b'''_1
  1275. Translate(M_8, w_8) → C_{37}
  1276. Translate(N_8, w_8) → D_{37}
  1277. Segment(C_{37}, D_{37}) → k_{18}
  1278. Translate(O_8, w_8) → E_{37}
  1279. Translate(P_8, w_8) → F_{37}
  1280. Segment(E_{37}, F_{37}) → l_{18}
  1281. Translate(Q_8, w_8) → G_{37}
  1282. Translate(R_8, w_8) → H_{37}
  1283. Segment(G_{37}, H_{37}) → m_{18}
  1284. Translate(S_8, w_8) → I_{37}
  1285. Translate(T_8, w_8) → J_{37}
  1286. Segment(I_{37}, J_{37}) → n_{18}
  1287. Translate(U_8, w_8) → K_{37}
  1288. Translate(V_8, w_8) → L_{37}
  1289. Segment(K_{37}, L_{37}) → p_{18}
  1290. Translate(W_8, w_8) → M_{37}
  1291. Translate(Z_8, w_8) → N_{37}
  1292. Segment(M_{37}, N_{37}) → q_{18}
  1293. Translate(A_9, w_8) → O_{37}
  1294. Translate(B_9, w_8) → P_{37}
  1295. Segment(O_{37}, P_{37}) → r_{18}
  1296. Translate(C_9, w_8) → Q_{37}
  1297. Translate(D_9, w_8) → R_{37}
  1298. Segment(Q_{37}, R_{37}) → s_{18}
  1299. Translate(E_9, w_8) → S_{37}
  1300. Translate(F_9, w_8) → T_{37}
  1301. Segment(S_{37}, T_{37}) → t_{18}
  1302. Translate(G_9, w_8) → U_{37}
  1303. Translate(H_9, w_8) → V_{37}
  1304. Segment(U_{37}, V_{37}) → a_{19}
  1305. Translate(I_9, w_8) → W_{37}
  1306. Translate(J_9, w_8) → Z_{37}
  1307. Segment(W_{37}, Z_{37}) → b_{19}
  1308. Translate(K_9, w_8) → A_{38}
  1309. Translate(L_9, w_8) → B_{38}
  1310. Segment(A_{38}, B_{38}) → c_{19}
  1311. Translate(M_9, w_8) → C_{38}
  1312. Translate(N_9, w_8) → D_{38}
  1313. Segment(C_{38}, D_{38}) → d_{19}
  1314. Translate(O_9, w_8) → E_{38}
  1315. Translate(P_9, w_8) → F_{38}
  1316. Segment(E_{38}, F_{38}) → e_{19}
  1317. Translate(Q_9, w_8) → G_{38}
  1318. Translate(A'', w_8) → A'''_1
  1319. Segment(G_{38}, A'''_1) → f_{19}
  1320. Translate(A''_1, w_8) → H_{38}
  1321. Translate(R_9, w_8) → I_{38}
  1322. Segment(H_{38}, I_{38}) → a'''_1
  1323. Translate(S_9, w_8) → J_{38}
  1324. Translate(T_9, w_8) → K_{38}
  1325. Segment(J_{38}, K_{38}) → g_{19}
  1326. Translate(U_9, w_8) → L_{38}
  1327. Translate(V_9, w_8) → M_{38}
  1328. Segment(L_{38}, M_{38}) → h_{19}
  1329. Translate(W_9, w_8) → N_{38}
  1330. Translate(Z_9, w_8) → O_{38}
  1331. Segment(N_{38}, O_{38}) → i_{19}
  1332. Translate(E_{10}, w_8) → P_{38}
  1333. Translate(F_{10}, w_8) → Q_{38}
  1334. Segment(P_{38}, Q_{38}) → j_{19}
  1335. Translate(G_{10}, w_8) → R_{38}
  1336. Translate(H_{10}, w_8) → S_{38}
  1337. Segment(R_{38}, S_{38}) → k_{19}
  1338. Translate(I_{10}, w_8) → T_{38}
  1339. Translate(J_{10}, w_8) → U_{38}
  1340. Segment(T_{38}, U_{38}) → l_{19}
  1341. Translate(K_{10}, w_8) → V_{38}
  1342. Translate(L_{10}, w_8) → W_{38}
  1343. Segment(V_{38}, W_{38}) → m_{19}
  1344. Translate(F_{12}, w_8) → Z_{38}
  1345. Translate(G_{12}, w_8) → A_{39}
  1346. Segment(Z_{38}, A_{39}) → n_{19}
  1347. Translate(G_{12}, w_8) → B_{39}
  1348. Translate(H_{12}, w_8) → C_{39}
  1349. Segment(B_{39}, C_{39}) → p_{19}
  1350. Translate(H_{12}, w_8) → D_{39}
  1351. Translate(I_{12}, w_8) → E_{39}
  1352. Segment(D_{39}, E_{39}) → q_{19}
  1353. Translate(I_{12}, w_8) → F_{39}
  1354. Translate(J_{12}, w_8) → G_{39}
  1355. Segment(F_{39}, G_{39}) → r_{19}
  1356. Translate(L_{12}, w_8) → H_{39}
  1357. Translate(M_{12}, w_8) → I_{39}
  1358. Segment(H_{39}, I_{39}) → s_{19}
  1359. Translate(M_{12}, w_8) → J_{39}
  1360. Translate(N_{12}, w_8) → K_{39}
  1361. Segment(J_{39}, K_{39}) → t_{19}
  1362. Translate(N_{12}, w_8) → L_{39}
  1363. Translate(O_{12}, w_8) → M_{39}
  1364. Segment(L_{39}, M_{39}) → a_{20}
  1365. Translate(O_{12}, w_8) → N_{39}
  1366. Translate(P_{12}, w_8) → O_{39}
  1367. Segment(N_{39}, O_{39}) → b_{20}
  1368. Translate(P_{12}, w_8) → P_{39}
  1369. Translate(Q_{12}, w_8) → Q_{39}
  1370. Segment(P_{39}, Q_{39}) → c_{20}
  1371. Translate(Q_{12}, w_8) → R_{39}
  1372. Translate(R_{12}, w_8) → S_{39}
  1373. Segment(R_{39}, S_{39}) → d_{20}
  1374. Translate(R_{12}, w_8) → T_{39}
  1375. Translate(S_{12}, w_8) → U_{39}
  1376. Segment(T_{39}, U_{39}) → a_{34}
  1377. Translate(S_{12}, w_8) → V_{39}
  1378. Translate(T_{12}, w_8) → W_{39}
  1379. Segment(V_{39}, W_{39}) → b_{34}
  1380. Translate(T_{12}, w_8) → Z_{39}
  1381. Translate(U_{12}, w_8) → A_{40}
  1382. Segment(Z_{39}, A_{40}) → c_{34}
  1383. Translate(U_{12}, w_8) → B_{40}
  1384. Translate(V_{12}, w_8) → C_{40}
  1385. Segment(B_{40}, C_{40}) → d_{34}
  1386. Translate(V_{12}, w_8) → D_{40}
  1387. Translate(W_{12}, w_8) → E_{40}
  1388. Segment(D_{40}, E_{40}) → e_{34}
  1389. Translate(W_{12}, w_8) → F_{40}
  1390. Translate(Z_{12}, w_8) → G_{40}
  1391. Segment(F_{40}, G_{40}) → f_{34}
  1392. Translate(Z_{12}, w_8) → H_{40}
  1393. Translate(A_{13}, w_8) → I_{40}
  1394. Segment(H_{40}, I_{40}) → g_{34}
  1395. Translate(A_{13}, w_8) → J_{40}
  1396. Translate(B_{13}, w_8) → K_{40}
  1397. Segment(J_{40}, K_{40}) → h_{34}
  1398. Translate(B_{13}, w_8) → L_{40}
  1399. Translate(C_{13}, w_8) → M_{40}
  1400. Segment(L_{40}, M_{40}) → i_{34}
  1401. Translate(C_{13}, w_8) → N_{40}
  1402. Translate(D_{13}, w_8) → O_{40}
  1403. Segment(N_{40}, O_{40}) → j_{34}
  1404. Translate(D_{13}, w_8) → P_{40}
  1405. Translate(E_{13}, w_8) → Q_{40}
  1406. Segment(P_{40}, Q_{40}) → k_{34}
  1407. Translate(E_{13}, w_8) → R_{40}
  1408. Translate(F_{13}, w_8) → S_{40}
  1409. Segment(R_{40}, S_{40}) → l_{34}
  1410. Translate(F_{13}, w_8) → T_{40}
  1411. Translate(G_{13}, w_8) → U_{40}
  1412. Segment(T_{40}, U_{40}) → m_{34}
  1413. Translate(G_{13}, w_8) → V_{40}
  1414. Translate(H_{13}, w_8) → W_{40}
  1415. Segment(V_{40}, W_{40}) → n_{34}
  1416. Translate(H_{13}, w_8) → Z_{40}
  1417. Translate(I_{13}, w_8) → A_{41}
  1418. Segment(Z_{40}, A_{41}) → p_{34}
  1419. Translate(I_{13}, w_8) → B_{41}
  1420. Translate(J_{13}, w_8) → C_{41}
  1421. Segment(B_{41}, C_{41}) → q_{34}
  1422. Translate(J_{13}, w_8) → D_{41}
  1423. Translate(K_{13}, w_8) → E_{41}
  1424. Segment(D_{41}, E_{41}) → r_{34}
  1425. Translate(K_{13}, w_8) → F_{41}
  1426. Translate(L_{13}, w_8) → G_{41}
  1427. Segment(F_{41}, G_{41}) → s_{34}
  1428. Translate(N_{13}, w_8) → H_{41}
  1429. Translate(O_{13}, w_8) → I_{41}
  1430. Segment(H_{41}, I_{41}) → t_{34}
  1431. Translate(O_{13}, w_8) → J_{41}
  1432. Translate(P_{13}, w_8) → K_{41}
  1433. Segment(J_{41}, K_{41}) → a_{35}
  1434. Translate(P_{13}, w_8) → L_{41}
  1435. Translate(Q_{13}, w_8) → M_{41}
  1436. Segment(L_{41}, M_{41}) → b_{35}
  1437. Translate(Q_{13}, w_8) → N_{41}
  1438. Translate(R_{13}, w_8) → O_{41}
  1439. Segment(N_{41}, O_{41}) → c_{35}
  1440. Translate(Q_{14}, w_8) → P_{41}
  1441. Translate(R_{14}, w_8) → Q_{41}
  1442. Segment(P_{41}, Q_{41}) → d_{35}
  1443. Translate(S_{14}, w_8) → R_{41}
  1444. Translate(T_{14}, w_8) → S_{41}
  1445. Segment(R_{41}, S_{41}) → e_{35}
  1446. Translate(U_{14}, w_8) → T_{41}
  1447. Translate(V_{14}, w_8) → U_{41}
  1448. Segment(T_{41}, U_{41}) → f_{35}
  1449. Translate(W_{14}, w_8) → V_{41}
  1450. Translate(Z_{14}, w_8) → W_{41}
  1451. Segment(V_{41}, W_{41}) → g_{35}
  1452. Translate(E_{15}, w_8) → Z_{41}
  1453. Translate(F_{15}, w_8) → A_{42}
  1454. Segment(Z_{41}, A_{42}) → h_{35}
  1455. Translate(G_{15}, w_8) → B_{42}
  1456. Translate(H_{15}, w_8) → C_{42}
  1457. Segment(B_{42}, C_{42}) → i_{35}
  1458. Translate(I_{15}, w_8) → D_{42}
  1459. Translate(J_{15}, w_8) → E_{42}
  1460. Segment(D_{42}, E_{42}) → j_{35}
  1461. Translate(K_{15}, w_8) → F_{42}
  1462. Translate(B'_2, w_8) → G_{42}
  1463. Segment(F_{42}, G_{42}) → k_{35}
  1464. Translate(B'_3, w_8) → H_{42}
  1465. Translate(L_{15}, w_8) → I_{42}
  1466. Segment(H_{42}, I_{42}) → l_{35}
  1467. Translate(M_{15}, w_8) → J_{42}
  1468. Translate(N_{15}, w_8) → K_{42}
  1469. Segment(J_{42}, K_{42}) → m_{35}
  1470. Translate(O_{15}, w_8) → L_{42}
  1471. Translate(P_{15}, w_8) → M_{42}
  1472. Segment(L_{42}, M_{42}) → n_{35}
  1473. Translate(Q_{15}, w_8) → N_{42}
  1474. Translate(R_{15}, w_8) → O_{42}
  1475. Segment(N_{42}, O_{42}) → p_{35}
  1476. Translate(S_{15}, w_8) → P_{42}
  1477. Translate(T_{15}, w_8) → Q_{42}
  1478. Segment(P_{42}, Q_{42}) → q_{35}
  1479. Translate(U_{15}, w_8) → R_{42}
  1480. Translate(V_{15}, w_8) → S_{42}
  1481. Segment(R_{42}, S_{42}) → r_{35}
  1482. Translate(W_{15}, w_8) → T_{42}
  1483. Translate(Z_{15}, w_8) → U_{42}
  1484. Segment(T_{42}, U_{42}) → s_{35}
  1485. Translate(A_{16}, w_8) → V_{42}
  1486. Translate(B_{16}, w_8) → W_{42}
  1487. Segment(V_{42}, W_{42}) → t_{35}
  1488. Translate(C_{16}, w_8) → Z_{42}
  1489. Translate(D_{16}, w_8) → A_{43}
  1490. Segment(Z_{42}, A_{43}) → a_{36}
  1491. Translate(C_{24}, w_8) → B_{43}
  1492. Translate(D_{24}, w_8) → C_{43}
  1493. Segment(B_{43}, C_{43}) → b_{36}
  1494. Translate(D_{24}, w_8) → D_{43}
  1495. Translate(E_{24}, w_8) → E_{43}
  1496. Segment(D_{43}, E_{43}) → c_{36}
  1497. Translate(J_{24}, w_8) → F_{43}
  1498. Translate(K_{24}, w_8) → G_{43}
  1499. Segment(F_{43}, G_{43}) → d_{36}
  1500. Translate(K_{24}, w_8) → H_{43}
  1501. Translate(L_{24}, w_8) → I_{43}
  1502. Segment(H_{43}, I_{43}) → e_{36}
  1503. Translate(L_{24}, w_8) → J_{43}
  1504. Translate(M_{24}, w_8) → K_{43}
  1505. Segment(J_{43}, K_{43}) → f_{36}
  1506. Translate(M_{24}, w_8) → L_{43}
  1507. Translate(N_{24}, w_8) → M_{43}
  1508. Segment(L_{43}, M_{43}) → g_{36}
  1509. Translate(N_{24}, w_8) → N_{43}
  1510. Translate(O_{24}, w_8) → O_{43}
  1511. Segment(N_{43}, O_{43}) → h_{36}
  1512. Translate(O_{24}, w_8) → P_{43}
  1513. Translate(P_{24}, w_8) → Q_{43}
  1514. Segment(P_{43}, Q_{43}) → i_{36}
  1515. Translate(P_{24}, w_8) → R_{43}
  1516. Translate(Q_{24}, w_8) → S_{43}
  1517. Segment(R_{43}, S_{43}) → j_{36}
  1518. Translate(Q_{24}, w_8) → T_{43}
  1519. Translate(R_{24}, w_8) → U_{43}
  1520. Segment(T_{43}, U_{43}) → k_{36}
  1521. Translate(R_{24}, w_8) → V_{43}
  1522. Translate(S_{24}, w_8) → W_{43}
  1523. Segment(V_{43}, W_{43}) → l_{36}
  1524. Translate(S_{24}, w_8) → Z_{43}
  1525. Translate(T_{24}, w_8) → A_{44}
  1526. Segment(Z_{43}, A_{44}) → m_{36}
  1527. Translate(T_{24}, w_8) → B_{44}
  1528. Translate(U_{24}, w_8) → C_{44}
  1529. Segment(B_{44}, C_{44}) → n_{36}
  1530. Translate(U_{24}, w_8) → D_{44}
  1531. Translate(V_{24}, w_8) → E_{44}
  1532. Segment(D_{44}, E_{44}) → p_{36}
  1533. Translate(V_{24}, w_8) → F_{44}
  1534. Translate(W_{24}, w_8) → G_{44}
  1535. Segment(F_{44}, G_{44}) → q_{36}
  1536. Translate(W_{24}, w_8) → H_{44}
  1537. Translate(Z_{24}, w_8) → I_{44}
  1538. Segment(H_{44}, I_{44}) → r_{36}
  1539. Translate(Z_{24}, w_8) → J_{44}
  1540. Translate(A_{25}, w_8) → K_{44}
  1541. Segment(J_{44}, K_{44}) → s_{36}
  1542. Translate(A_{25}, w_8) → L_{44}
  1543. Translate(B_{25}, w_8) → M_{44}
  1544. Segment(L_{44}, M_{44}) → t_{36}
  1545. Translate(B_{25}, w_8) → N_{44}
  1546. Translate(C_{25}, w_8) → O_{44}
  1547. Segment(N_{44}, O_{44}) → a_{37}
  1548. Translate(C_{25}, w_8) → P_{44}
  1549. Translate(D_{25}, w_8) → Q_{44}
  1550. Segment(P_{44}, Q_{44}) → b_{37}
  1551. Translate(D_{25}, w_8) → R_{44}
  1552. Translate(E_{25}, w_8) → S_{44}
  1553. Segment(R_{44}, S_{44}) → c_{37}
  1554. Translate(E_{25}, w_8) → T_{44}
  1555. Translate(F_{25}, w_8) → U_{44}
  1556. Segment(T_{44}, U_{44}) → d_{37}
  1557. Translate(F_{25}, w_8) → V_{44}
  1558. Translate(G_{25}, w_8) → W_{44}
  1559. Segment(V_{44}, W_{44}) → e_{37}
  1560. Translate(G_{25}, w_8) → Z_{44}
  1561. Translate(H_{25}, w_8) → A_{45}
  1562. Segment(Z_{44}, A_{45}) → f_{37}
  1563. Translate(H_{25}, w_8) → B_{45}
  1564. Translate(I_{25}, w_8) → C_{45}
  1565. Segment(B_{45}, C_{45}) → g_{37}
  1566. Translate(K_{25}, w_8) → D_{45}
  1567. Translate(L_{25}, w_8) → E_{45}
  1568. Segment(D_{45}, E_{45}) → h_{37}
  1569. Translate(L_{25}, w_8) → F_{45}
  1570. Translate(M_{25}, w_8) → G_{45}
  1571. Segment(F_{45}, G_{45}) → i_{37}
  1572. Translate(M_{25}, w_8) → H_{45}
  1573. Translate(N_{25}, w_8) → I_{45}
  1574. Segment(H_{45}, I_{45}) → j_{37}
  1575. Translate(N_{25}, w_8) → J_{45}
  1576. Translate(O_{25}, w_8) → K_{45}
  1577. Segment(J_{45}, K_{45}) → k_{37}
  1578. Translate(E, w_8) → E'_2
  1579. Translate(G, w_8) → G'_2
  1580. Translate(H, w_8) → H'_3
  1581. Translate(E', w_8) → E''_1
  1582. Translate(P_7, w_8) → L_{45}
  1583. Translate(A_8, w_8) → M_{45}
  1584. Translate(D_8, w_8) → N_{45}
  1585. Translate(A_{10}, w_8) → O_{45}
  1586. Translate(D_{10}, w_8) → P_{45}
  1587. Translate(M_{10}, w_8) → Q_{45}
  1588. Translate(E'_1, w_8) → R_{45}
  1589. Translate(G'_1, w_8) → S_{45}
  1590. Translate(H'_1, w_8) → T_{45}
  1591. Translate(E'', w_8) → E'''_1
  1592. Translate(P_{14}, w_8) → U_{45}
  1593. Translate(A_{15}, w_8) → V_{45}
  1594. Translate(D_{15}, w_8) → W_{45}
  1595. Translate(B_{20}, w_8) → Z_{45}

AI 绘图提示语参考

画一个由四边形构成的平面 tessellation 图案,通过平移操作生成。首先绘制一个四边形,然后找到其两个对角顶点,计算它们之间的向量。使用这个向量平移四边形,创建第二个四边形。接着,分别以两个四边形的顶点为起点和终点,绘制多个线段连接对应顶点,形成复杂的 tessellation 图案。
以上提示语为根据原始绘图命令整理而来,仅供参考。