积极 AI Logo 积极 AI

COSMOS谜题：中国火柴谜题2（7个正方形与长方形谜题）

COSMOS谜题：中国火柴谜题2（7个正方形与长方形谜题）
几何画板及绘图内容加载中，请稍等……
2020-06-05 21:59
多边形数列最值优化几何作图
本范例演示了用火柴棒拼摆正方形与长方形的经典逻辑谜题集合，共包含7个独立小谜题。核心数学概念涉及平面几何中的图形构成、面积与周长关系、以及组合优化思维——通过移动或移除火柴棒来改变图形数量或形状。作图要点基于GeoGebra的Point、Polygon、Segment命令，构建了O、A、B、C等大量点对象和poly0等多边形，并利用text1、text2等文本对象标注谜题说明，整体以静态图形呈现，便于观察和推理。适合小学高年级至初中学生用于培养空间想象力和逻辑推理能力，也可作为数学活动课或竞赛训练的素材。

GeoGebra 命令及参数

  1. Point(Circle[O, 1]) → O_1
  2. Point(Circle[A, 1]) → A_1
  3. Point(Circle[B, 1]) → B_1
  4. Point(Circle[C, 1]) → C_1
  5. Point(Circle[D, 1]) → D_1
  6. Point(Circle[E, 1]) → E_1
  7. Point(Circle[F, 1]) → F_1
  8. Point(Circle[G, 1]) → G_1
  9. Point(Circle[H, 1]) → H_1
  10. Point(Circle[I, 1]) → I_1
  11. Point(Circle[J, 1]) → J_1
  12. Point(Circle[K, 1]) → K_1
  13. Point(Circle[L, 1]) → L_1
  14. Point(Circle[M, 1]) → M_1
  15. Point(Circle[N, 1]) → N_1
  16. Polygon(A, A - w * UnitOrthogonalVector[Segment[A, A_1]], A_1 - w * UnitOrthogonalVector[Segment[A, A_1]], A_1 + w * UnitOrthogonalVector[Segment[A, A_1]], A + w * UnitOrthogonalVector[Segment[A, A_1]]) → poly0, a_7, c_6, d_6, e_6, f_6
  17. Polygon(B, B - w * UnitOrthogonalVector[Segment[B, B_1]], B_1 - w * UnitOrthogonalVector[Segment[B, B_1]], B_1 + w * UnitOrthogonalVector[Segment[B, B_1]], B + w * UnitOrthogonalVector[Segment[B, B_1]]) → poly1, b, a, c, d, e
  18. Polygon(C, C - w * UnitOrthogonalVector[Segment[C, C_1]], C_1 - w * UnitOrthogonalVector[Segment[C, C_1]], C_1 + w * UnitOrthogonalVector[Segment[C, C_1]], C + w * UnitOrthogonalVector[Segment[C, C_1]]) → poly2, c_1, f, g, h, i
  19. Polygon(D, D - w * UnitOrthogonalVector[Segment[D, D_1]], D_1 - w * UnitOrthogonalVector[Segment[D, D_1]], D_1 + w * UnitOrthogonalVector[Segment[D, D_1]], D + w * UnitOrthogonalVector[Segment[D, D_1]]) → poly3, d_1, j, k, l, m
  20. Polygon(E, E - w * UnitOrthogonalVector[Segment[E, E_1]], E_1 - w * UnitOrthogonalVector[Segment[E, E_1]], E_1 + w * UnitOrthogonalVector[Segment[E, E_1]], E + w * UnitOrthogonalVector[Segment[E, E_1]]) → poly4, e_1, n, p, q, r
  21. Polygon(F, F - w * UnitOrthogonalVector[Segment[F, F_1]], F_1 - w * UnitOrthogonalVector[Segment[F, F_1]], F_1 + w * UnitOrthogonalVector[Segment[F, F_1]], F + w * UnitOrthogonalVector[Segment[F, F_1]]) → poly5, f_1, s, t, a_1, b_1
  22. Polygon(G, G - w * UnitOrthogonalVector[Segment[G, G_1]], G_1 - w * UnitOrthogonalVector[Segment[G, G_1]], G_1 + w * UnitOrthogonalVector[Segment[G, G_1]], G + w * UnitOrthogonalVector[Segment[G, G_1]]) → poly6, g_1, h_1, i_1, j_1, k_1
  23. Polygon(H, H - w * UnitOrthogonalVector[Segment[H, H_1]], H_1 - w * UnitOrthogonalVector[Segment[H, H_1]], H_1 + w * UnitOrthogonalVector[Segment[H, H_1]], H + w * UnitOrthogonalVector[Segment[H, H_1]]) → poly7, h_2, l_1, m_1, n_1, p_1
  24. Polygon(I, I - w * UnitOrthogonalVector[Segment[I, I_1]], I_1 - w * UnitOrthogonalVector[Segment[I, I_1]], I_1 + w * UnitOrthogonalVector[Segment[I, I_1]], I + w * UnitOrthogonalVector[Segment[I, I_1]]) → poly8, i_2, q_1, r_1, s_1, t_1
  25. Polygon(J, J - w * UnitOrthogonalVector[Segment[J, J_1]], J_1 - w * UnitOrthogonalVector[Segment[J, J_1]], J_1 + w * UnitOrthogonalVector[Segment[J, J_1]], J + w * UnitOrthogonalVector[Segment[J, J_1]]) → poly9, j_2, a_2, b_2, c_2, d_2
  26. Polygon(K, K - w * UnitOrthogonalVector[Segment[K, K_1]], K_1 - w * UnitOrthogonalVector[Segment[K, K_1]], K_1 + w * UnitOrthogonalVector[Segment[K, K_1]], K + w * UnitOrthogonalVector[Segment[K, K_1]]) → poly10, k_2, e_2, f_2, g_2, l_2
  27. Polygon(L, L - w * UnitOrthogonalVector[Segment[L, L_1]], L_1 - w * UnitOrthogonalVector[Segment[L, L_1]], L_1 + w * UnitOrthogonalVector[Segment[L, L_1]], L + w * UnitOrthogonalVector[Segment[L, L_1]]) → poly11, l_3, m_2, n_2, p_2, q_2
  28. Polygon(M, M - w * UnitOrthogonalVector[Segment[M, M_1]], M_1 - w * UnitOrthogonalVector[Segment[M, M_1]], M_1 + w * UnitOrthogonalVector[Segment[M, M_1]], M + w * UnitOrthogonalVector[Segment[M, M_1]]) → poly12, m_3, r_2, s_2, t_2, a_3
  29. Polygon(N, N - w * UnitOrthogonalVector[Segment[N, N_1]], N_1 - w * UnitOrthogonalVector[Segment[N, N_1]], N_1 + w * UnitOrthogonalVector[Segment[N, N_1]], N + w * UnitOrthogonalVector[Segment[N, N_1]]) → poly13, n_3, b_3, c_3, d_3, e_3
  30. Polygon(O, O - w * UnitOrthogonalVector[Segment[O, O_1]], O_1 - w * UnitOrthogonalVector[Segment[O, O_1]], O_1 + w * UnitOrthogonalVector[Segment[O, O_1]], O + w * UnitOrthogonalVector[Segment[O, O_1]]) → poly14, o, f_3, g_3, h_3, i_3
  31. Point(Ray[P, P + (1, 0)]) → T
  32. Point(Circle[A1, 1]) → A1_1
  33. Polygon(A1, A1 - w * UnitOrthogonalVector[Segment[A1, A1_1]], A1_1 - w * UnitOrthogonalVector[Segment[A1, A1_1]], A1_1 + w * UnitOrthogonalVector[Segment[A1, A1_1]], A1 + w * UnitOrthogonalVector[Segment[A1, A1_1]]) → poly15, a1, j_3, k_3, p_3, q_3
  34. Point(Circle[B1, 1]) → B1_1
  35. Polygon(B1, B1 - w * UnitOrthogonalVector[Segment[B1, B1_1]], B1_1 - w * UnitOrthogonalVector[Segment[B1, B1_1]], B1_1 + w * UnitOrthogonalVector[Segment[B1, B1_1]], B1 + w * UnitOrthogonalVector[Segment[B1, B1_1]]) → poly16, b1, r_3, s_3, t_3, a_4
  36. Point(Circle[C1, 1]) → C1_1
  37. Polygon(C1, C1 - w * UnitOrthogonalVector[Segment[C1, C1_1]], C1_1 - w * UnitOrthogonalVector[Segment[C1, C1_1]], C1_1 + w * UnitOrthogonalVector[Segment[C1, C1_1]], C1 + w * UnitOrthogonalVector[Segment[C1, C1_1]]) → poly17, c1, b_4, c_4, d_4, e_4
  38. Point(Circle[D1, 1]) → D1_1
  39. Polygon(D1, D1 - w * UnitOrthogonalVector[Segment[D1, D1_1]], D1_1 - w * UnitOrthogonalVector[Segment[D1, D1_1]], D1_1 + w * UnitOrthogonalVector[Segment[D1, D1_1]], D1 + w * UnitOrthogonalVector[Segment[D1, D1_1]]) → poly18, d1, f_4, g_4, h_4, i_4
  40. Point(Circle[E1, 1]) → E1_1
  41. Polygon(E1, E1 - w * UnitOrthogonalVector[Segment[E1, E1_1]], E1_1 - w * UnitOrthogonalVector[Segment[E1, E1_1]], E1_1 + w * UnitOrthogonalVector[Segment[E1, E1_1]], E1 + w * UnitOrthogonalVector[Segment[E1, E1_1]]) → poly19, e1, j_4, k_4, l_4, m_4
  42. Point(Circle[F1, 1]) → F1_1
  43. Polygon(F1, F1 - w * UnitOrthogonalVector[Segment[F1, F1_1]], F1_1 - w * UnitOrthogonalVector[Segment[F1, F1_1]], F1_1 + w * UnitOrthogonalVector[Segment[F1, F1_1]], F1 + w * UnitOrthogonalVector[Segment[F1, F1_1]]) → poly20, f1, n_4, p_4, q_4, r_4
  44. Point(Circle[G1, 1]) → G1_1
  45. Polygon(G1, G1 - w * UnitOrthogonalVector[Segment[G1, G1_1]], G1_1 - w * UnitOrthogonalVector[Segment[G1, G1_1]], G1_1 + w * UnitOrthogonalVector[Segment[G1, G1_1]], G1 + w * UnitOrthogonalVector[Segment[G1, G1_1]]) → poly21, g1, s_4, t_4, a_5, b_5
  46. Point(Circle[H1, 1]) → H1_1
  47. Polygon(H1, H1 - w * UnitOrthogonalVector[Segment[H1, H1_1]], H1_1 - w * UnitOrthogonalVector[Segment[H1, H1_1]], H1_1 + w * UnitOrthogonalVector[Segment[H1, H1_1]], H1 + w * UnitOrthogonalVector[Segment[H1, H1_1]]) → poly22, h1, c_5, d_5, e_5, f_5
  48. Point(Circle[I1, 1]) → I1_1
  49. Polygon(I1, I1 - w * UnitOrthogonalVector[Segment[I1, I1_1]], I1_1 - w * UnitOrthogonalVector[Segment[I1, I1_1]], I1_1 + w * UnitOrthogonalVector[Segment[I1, I1_1]], I1 + w * UnitOrthogonalVector[Segment[I1, I1_1]]) → poly23, i1, g_5, h_5, i_5, j_5
  50. Point(Circle[J1, 1]) → J1_1
  51. Polygon(J1, J1 - w * UnitOrthogonalVector[Segment[J1, J1_1]], J1_1 - w * UnitOrthogonalVector[Segment[J1, J1_1]], J1_1 + w * UnitOrthogonalVector[Segment[J1, J1_1]], J1 + w * UnitOrthogonalVector[Segment[J1, J1_1]]) → poly24, j1, k_5, l_5, m_5, n_5
  52. Point(Circle[K1, 1]) → K1_1
  53. Polygon(K1, K1 - w * UnitOrthogonalVector[Segment[K1, K1_1]], K1_1 - w * UnitOrthogonalVector[Segment[K1, K1_1]], K1_1 + w * UnitOrthogonalVector[Segment[K1, K1_1]], K1 + w * UnitOrthogonalVector[Segment[K1, K1_1]]) → poly25, k1, p_5, q_5, r_5, s_5
  54. Point(Circle[L1, 1]) → L1_1
  55. Polygon(L1, L1 - w * UnitOrthogonalVector[Segment[L1, L1_1]], L1_1 - w * UnitOrthogonalVector[Segment[L1, L1_1]], L1_1 + w * UnitOrthogonalVector[Segment[L1, L1_1]], L1 + w * UnitOrthogonalVector[Segment[L1, L1_1]]) → poly26, l1, t_5, a_6, b_6, g_6
  56. Point(Circle[M1, 1]) → M1_1
  57. Polygon(M1, M1 - w * UnitOrthogonalVector[Segment[M1, M1_1]], M1_1 - w * UnitOrthogonalVector[Segment[M1, M1_1]], M1_1 + w * UnitOrthogonalVector[Segment[M1, M1_1]], M1 + w * UnitOrthogonalVector[Segment[M1, M1_1]]) → poly27, m1, h_6, i_6, j_6, k_6
  58. Point(Circle[N1, 1]) → N1_1
  59. Polygon(N1, N1 - w * UnitOrthogonalVector[Segment[N1, N1_1]], N1_1 - w * UnitOrthogonalVector[Segment[N1, N1_1]], N1_1 + w * UnitOrthogonalVector[Segment[N1, N1_1]], N1 + w * UnitOrthogonalVector[Segment[N1, N1_1]]) → poly28, n1, l_6, m_6, n_6, p_6
  60. Point(Circle[O1, 1]) → O1_1
  61. Polygon(O1, O1 - w * UnitOrthogonalVector[Segment[O1, O1_1]], O1_1 - w * UnitOrthogonalVector[Segment[O1, O1_1]], O1_1 + w * UnitOrthogonalVector[Segment[O1, O1_1]], O1 + w * UnitOrthogonalVector[Segment[O1, O1_1]]) → poly29, o1, q_6, r_6, s_6, t_6
  62. Point(Circle[P1, 1]) → P1_1
  63. Polygon(P1, P1 - w * UnitOrthogonalVector[Segment[P1, P1_1]], P1_1 - w * UnitOrthogonalVector[Segment[P1, P1_1]], P1_1 + w * UnitOrthogonalVector[Segment[P1, P1_1]], P1 + w * UnitOrthogonalVector[Segment[P1, P1_1]]) → poly30, p1, b_7, c_7, d_7, e_7
  64. Point(Ray[Q2, Q2 + (1, 0)]) → Q2'
  65. Point(Circle[A2, 1]) → A2_1
  66. Polygon(A2, A2 - w * UnitOrthogonalVector[Segment[A2, A2_1]], A2_1 - w * UnitOrthogonalVector[Segment[A2, A2_1]], A2_1 + w * UnitOrthogonalVector[Segment[A2, A2_1]], A2 + w * UnitOrthogonalVector[Segment[A2, A2_1]]) → poly31, a2, f_7, g_7, h_7, i_7
  67. Point(Circle[C2, 1]) → C2_1
  68. Polygon(C2, C2 - w * UnitOrthogonalVector[Segment[C2, C2_1]], C2_1 - w * UnitOrthogonalVector[Segment[C2, C2_1]], C2_1 + w * UnitOrthogonalVector[Segment[C2, C2_1]], C2 + w * UnitOrthogonalVector[Segment[C2, C2_1]]) → poly32, c2, j_7, k_7, l_7, m_7
  69. Point(Circle[D2, 1]) → D2_1
  70. Polygon(D2, D2 - w * UnitOrthogonalVector[Segment[D2, D2_1]], D2_1 - w * UnitOrthogonalVector[Segment[D2, D2_1]], D2_1 + w * UnitOrthogonalVector[Segment[D2, D2_1]], D2 + w * UnitOrthogonalVector[Segment[D2, D2_1]]) → poly33, d2, n_7, p_7, q_7, r_7
  71. Point(Circle[E2, 1]) → E2_1
  72. Polygon(E2, E2 - w * UnitOrthogonalVector[Segment[E2, E2_1]], E2_1 - w * UnitOrthogonalVector[Segment[E2, E2_1]], E2_1 + w * UnitOrthogonalVector[Segment[E2, E2_1]], E2 + w * UnitOrthogonalVector[Segment[E2, E2_1]]) → poly34, e2, s_7, t_7, a_8, b_8
  73. Point(Circle[F2, 1]) → F2_1
  74. Polygon(F2, F2 - w * UnitOrthogonalVector[Segment[F2, F2_1]], F2_1 - w * UnitOrthogonalVector[Segment[F2, F2_1]], F2_1 + w * UnitOrthogonalVector[Segment[F2, F2_1]], F2 + w * UnitOrthogonalVector[Segment[F2, F2_1]]) → poly35, f2, c_8, d_8, e_8, f_8
  75. Point(Circle[G2, 1]) → G2_1
  76. Polygon(G2, G2 - w * UnitOrthogonalVector[Segment[G2, G2_1]], G2_1 - w * UnitOrthogonalVector[Segment[G2, G2_1]], G2_1 + w * UnitOrthogonalVector[Segment[G2, G2_1]], G2 + w * UnitOrthogonalVector[Segment[G2, G2_1]]) → poly36, g2, g_8, h_8, i_8, j_8
  77. Point(Circle[H2, 1]) → H2_1
  78. Polygon(H2, H2 - w * UnitOrthogonalVector[Segment[H2, H2_1]], H2_1 - w * UnitOrthogonalVector[Segment[H2, H2_1]], H2_1 + w * UnitOrthogonalVector[Segment[H2, H2_1]], H2 + w * UnitOrthogonalVector[Segment[H2, H2_1]]) → poly37, h2, k_8, l_8, m_8, n_8
  79. Point(Circle[I2, 1]) → I2_1
  80. Polygon(I2, I2 - w * UnitOrthogonalVector[Segment[I2, I2_1]], I2_1 - w * UnitOrthogonalVector[Segment[I2, I2_1]], I2_1 + w * UnitOrthogonalVector[Segment[I2, I2_1]], I2 + w * UnitOrthogonalVector[Segment[I2, I2_1]]) → poly38, i2, p_8, q_8, r_8, s_8
  81. Point(Circle[J2, 1]) → J2_1
  82. Polygon(J2, J2 - w * UnitOrthogonalVector[Segment[J2, J2_1]], J2_1 - w * UnitOrthogonalVector[Segment[J2, J2_1]], J2_1 + w * UnitOrthogonalVector[Segment[J2, J2_1]], J2 + w * UnitOrthogonalVector[Segment[J2, J2_1]]) → poly39, j2, t_8, a_9, b_9, c_9
  83. Point(Circle[K2, 1]) → K2_1
  84. Polygon(K2, K2 - w * UnitOrthogonalVector[Segment[K2, K2_1]], K2_1 - w * UnitOrthogonalVector[Segment[K2, K2_1]], K2_1 + w * UnitOrthogonalVector[Segment[K2, K2_1]], K2 + w * UnitOrthogonalVector[Segment[K2, K2_1]]) → poly40, k2, d_9, e_9, f_9, g_9
  85. Point(Circle[L2, 1]) → L2_1
  86. Polygon(L2, L2 - w * UnitOrthogonalVector[Segment[L2, L2_1]], L2_1 - w * UnitOrthogonalVector[Segment[L2, L2_1]], L2_1 + w * UnitOrthogonalVector[Segment[L2, L2_1]], L2 + w * UnitOrthogonalVector[Segment[L2, L2_1]]) → poly41, l2, h_9, i_9, j_9, k_9
  87. Point(Circle[M2, 1]) → M2_1
  88. Polygon(M2, M2 - w * UnitOrthogonalVector[Segment[M2, M2_1]], M2_1 - w * UnitOrthogonalVector[Segment[M2, M2_1]], M2_1 + w * UnitOrthogonalVector[Segment[M2, M2_1]], M2 + w * UnitOrthogonalVector[Segment[M2, M2_1]]) → poly42, m2, l_9, m_9, n_9, p_9
  89. Point(Circle[N2, 1]) → N2_1
  90. Polygon(N2, N2 - w * UnitOrthogonalVector[Segment[N2, N2_1]], N2_1 - w * UnitOrthogonalVector[Segment[N2, N2_1]], N2_1 + w * UnitOrthogonalVector[Segment[N2, N2_1]], N2 + w * UnitOrthogonalVector[Segment[N2, N2_1]]) → poly43, n2, q_9, r_9, s_9, t_9
  91. Point(Circle[O2, 1]) → O2_1
  92. Polygon(O2, O2 - w * UnitOrthogonalVector[Segment[O2, O2_1]], O2_1 - w * UnitOrthogonalVector[Segment[O2, O2_1]], O2_1 + w * UnitOrthogonalVector[Segment[O2, O2_1]], O2 + w * UnitOrthogonalVector[Segment[O2, O2_1]]) → poly44, o2, a_{10}, b_{10}, c_{10}, d_{10}
  93. Point(Circle[P2, 1]) → P2_1
  94. Polygon(P2, P2 - w * UnitOrthogonalVector[Segment[P2, P2_1]], P2_1 - w * UnitOrthogonalVector[Segment[P2, P2_1]], P2_1 + w * UnitOrthogonalVector[Segment[P2, P2_1]], P2 + w * UnitOrthogonalVector[Segment[P2, P2_1]]) → poly45, p2, e_{10}, f_{10}, g_{10}, h_{10}
  95. Point(Circle[R2, 1]) → R2_1
  96. Polygon(R2, R2 - w * UnitOrthogonalVector[Segment[R2, R2_1]], R2_1 - w * UnitOrthogonalVector[Segment[R2, R2_1]], R2_1 + w * UnitOrthogonalVector[Segment[R2, R2_1]], R2 + w * UnitOrthogonalVector[Segment[R2, R2_1]]) → poly46, r2, i_{10}, j_{10}, k_{10}, l_{10}
  97. Point(Circle[S2, 1]) → S2_1
  98. Polygon(S2, S2 - w * UnitOrthogonalVector[Segment[S2, S2_1]], S2_1 - w * UnitOrthogonalVector[Segment[S2, S2_1]], S2_1 + w * UnitOrthogonalVector[Segment[S2, S2_1]], S2 + w * UnitOrthogonalVector[Segment[S2, S2_1]]) → poly47, s2, m_{10}, n_{10}, p_{10}, q_{10}
  99. Point(Circle[B2, 1]) → B2_1
  100. Polygon(B2, B2 - w * UnitOrthogonalVector[Segment[B2, B2_1]], B2_1 - w * UnitOrthogonalVector[Segment[B2, B2_1]], B2_1 + w * UnitOrthogonalVector[Segment[B2, B2_1]], B2 + w * UnitOrthogonalVector[Segment[B2, B2_1]]) → poly48, b2, r_{10}, s_{10}, t_{10}, a_{11}
  101. Point(Circle[A3, 1]) → A3_1
  102. Polygon(A3, A3 - w * UnitOrthogonalVector[Segment[A3, A3_1]], A3_1 - w * UnitOrthogonalVector[Segment[A3, A3_1]], A3_1 + w * UnitOrthogonalVector[Segment[A3, A3_1]], A3 + w * UnitOrthogonalVector[Segment[A3, A3_1]]) → poly49, a3, b_{11}, c_{11}, d_{11}, e_{11}
  103. Point(Circle[B3, 1]) → B3_1
  104. Polygon(B3, B3 - w * UnitOrthogonalVector[Segment[B3, B3_1]], B3_1 - w * UnitOrthogonalVector[Segment[B3, B3_1]], B3_1 + w * UnitOrthogonalVector[Segment[B3, B3_1]], B3 + w * UnitOrthogonalVector[Segment[B3, B3_1]]) → poly50, b3, f_{11}, g_{11}, h_{11}, i_{11}
  105. Point(Circle[C3, 1]) → C3_1
  106. Polygon(C3, C3 - w * UnitOrthogonalVector[Segment[C3, C3_1]], C3_1 - w * UnitOrthogonalVector[Segment[C3, C3_1]], C3_1 + w * UnitOrthogonalVector[Segment[C3, C3_1]], C3 + w * UnitOrthogonalVector[Segment[C3, C3_1]]) → poly51, c3, j_{11}, k_{11}, l_{11}, m_{11}
  107. Point(Circle[D3, 1]) → D3_1
  108. Polygon(D3, D3 - w * UnitOrthogonalVector[Segment[D3, D3_1]], D3_1 - w * UnitOrthogonalVector[Segment[D3, D3_1]], D3_1 + w * UnitOrthogonalVector[Segment[D3, D3_1]], D3 + w * UnitOrthogonalVector[Segment[D3, D3_1]]) → poly52, d3, n_{11}, p_{11}, q_{11}, r_{11}
  109. Point(Circle[E3, 1]) → E3_1
  110. Polygon(E3, E3 - w * UnitOrthogonalVector[Segment[E3, E3_1]], E3_1 - w * UnitOrthogonalVector[Segment[E3, E3_1]], E3_1 + w * UnitOrthogonalVector[Segment[E3, E3_1]], E3 + w * UnitOrthogonalVector[Segment[E3, E3_1]]) → poly53, e3, s_{11}, t_{11}, a_{12}, b_{12}
  111. Point(Circle[F3, 1]) → F3_1
  112. Polygon(F3, F3 - w * UnitOrthogonalVector[Segment[F3, F3_1]], F3_1 - w * UnitOrthogonalVector[Segment[F3, F3_1]], F3_1 + w * UnitOrthogonalVector[Segment[F3, F3_1]], F3 + w * UnitOrthogonalVector[Segment[F3, F3_1]]) → poly54, f3, c_{12}, d_{12}, e_{12}, f_{12}
  113. Point(Circle[G3, 1]) → G3_1
  114. Polygon(G3, G3 - w * UnitOrthogonalVector[Segment[G3, G3_1]], G3_1 - w * UnitOrthogonalVector[Segment[G3, G3_1]], G3_1 + w * UnitOrthogonalVector[Segment[G3, G3_1]], G3 + w * UnitOrthogonalVector[Segment[G3, G3_1]]) → poly55, g3, g_{12}, h_{12}, i_{12}, j_{12}
  115. Point(Circle[H3, 1]) → H3_1
  116. Polygon(H3, H3 - w * UnitOrthogonalVector[Segment[H3, H3_1]], H3_1 - w * UnitOrthogonalVector[Segment[H3, H3_1]], H3_1 + w * UnitOrthogonalVector[Segment[H3, H3_1]], H3 + w * UnitOrthogonalVector[Segment[H3, H3_1]]) → poly56, h3, k_{12}, l_{12}, m_{12}, n_{12}
  117. Point(Circle[I3, 1]) → I3_1
  118. Polygon(I3, I3 - w * UnitOrthogonalVector[Segment[I3, I3_1]], I3_1 - w * UnitOrthogonalVector[Segment[I3, I3_1]], I3_1 + w * UnitOrthogonalVector[Segment[I3, I3_1]], I3 + w * UnitOrthogonalVector[Segment[I3, I3_1]]) → poly57, i3, p_{12}, q_{12}, r_{12}, s_{12}
  119. Point(Circle[J3, 1]) → J3_1
  120. Polygon(J3, J3 - w * UnitOrthogonalVector[Segment[J3, J3_1]], J3_1 - w * UnitOrthogonalVector[Segment[J3, J3_1]], J3_1 + w * UnitOrthogonalVector[Segment[J3, J3_1]], J3 + w * UnitOrthogonalVector[Segment[J3, J3_1]]) → poly58, j3, t_{12}, a_{13}, b_{13}, c_{13}
  121. Point(Circle[K3, 1]) → K3_1
  122. Polygon(K3, K3 - w * UnitOrthogonalVector[Segment[K3, K3_1]], K3_1 - w * UnitOrthogonalVector[Segment[K3, K3_1]], K3_1 + w * UnitOrthogonalVector[Segment[K3, K3_1]], K3 + w * UnitOrthogonalVector[Segment[K3, K3_1]]) → poly59, k3, d_{13}, e_{13}, f_{13}, g_{13}
  123. Point(Circle[L3, 1]) → L3_1
  124. Polygon(L3, L3 - w * UnitOrthogonalVector[Segment[L3, L3_1]], L3_1 - w * UnitOrthogonalVector[Segment[L3, L3_1]], L3_1 + w * UnitOrthogonalVector[Segment[L3, L3_1]], L3 + w * UnitOrthogonalVector[Segment[L3, L3_1]]) → poly60, l3, h_{13}, i_{13}, j_{13}, k_{13}
  125. Point(Circle[M3, 1]) → M3_1
  126. Polygon(M3, M3 - w * UnitOrthogonalVector[Segment[M3, M3_1]], M3_1 - w * UnitOrthogonalVector[Segment[M3, M3_1]], M3_1 + w * UnitOrthogonalVector[Segment[M3, M3_1]], M3 + w * UnitOrthogonalVector[Segment[M3, M3_1]]) → poly61, m3, l_{13}, m_{13}, n_{13}, p_{13}
  127. Point(Circle[N3, 1]) → N3_1
  128. Polygon(N3, N3 - w * UnitOrthogonalVector[Segment[N3, N3_1]], N3_1 - w * UnitOrthogonalVector[Segment[N3, N3_1]], N3_1 + w * UnitOrthogonalVector[Segment[N3, N3_1]], N3 + w * UnitOrthogonalVector[Segment[N3, N3_1]]) → poly62, n3, q_{13}, r_{13}, s_{13}, t_{13}
  129. Point(Circle[O3, 1]) → O3_1
  130. Polygon(O3, O3 - w * UnitOrthogonalVector[Segment[O3, O3_1]], O3_1 - w * UnitOrthogonalVector[Segment[O3, O3_1]], O3_1 + w * UnitOrthogonalVector[Segment[O3, O3_1]], O3 + w * UnitOrthogonalVector[Segment[O3, O3_1]]) → poly63, o3, a_{14}, b_{14}, c_{14}, d_{14}
  131. Point(Circle[P3, 1]) → P3_1
  132. Polygon(P3, P3 - w * UnitOrthogonalVector[Segment[P3, P3_1]], P3_1 - w * UnitOrthogonalVector[Segment[P3, P3_1]], P3_1 + w * UnitOrthogonalVector[Segment[P3, P3_1]], P3 + w * UnitOrthogonalVector[Segment[P3, P3_1]]) → poly64, p3, e_{14}, f_{14}, g_{14}, h_{14}
  133. Point(Ray[Q31, Q31 + (1, 0)]) → Q32_1
  134. Point(Ray[Q32, Q32 + (1, 0)]) → Q32'
  135. Point(Ray[Q41, Q41 + (1, 0)]) → Q42
  136. Point(Circle[A4, 1]) → A4_1
  137. Polygon(A4, A4 - w * UnitOrthogonalVector[Segment[A4, A4_1]], A4_1 - w * UnitOrthogonalVector[Segment[A4, A4_1]], A4_1 + w * UnitOrthogonalVector[Segment[A4, A4_1]], A4 + w * UnitOrthogonalVector[Segment[A4, A4_1]]) → poly65, a4, i_{14}, j_{14}, k_{14}, l_{14}
  138. Point(Circle[B4, 1]) → B4_1
  139. Polygon(B4, B4 - w * UnitOrthogonalVector[Segment[B4, B4_1]], B4_1 - w * UnitOrthogonalVector[Segment[B4, B4_1]], B4_1 + w * UnitOrthogonalVector[Segment[B4, B4_1]], B4 + w * UnitOrthogonalVector[Segment[B4, B4_1]]) → poly66, b4, m_{14}, n_{14}, p_{14}, q_{14}
  140. Point(Circle[C4, 1]) → C4_1
  141. Polygon(C4, C4 - w * UnitOrthogonalVector[Segment[C4, C4_1]], C4_1 - w * UnitOrthogonalVector[Segment[C4, C4_1]], C4_1 + w * UnitOrthogonalVector[Segment[C4, C4_1]], C4 + w * UnitOrthogonalVector[Segment[C4, C4_1]]) → poly67, c4, r_{14}, s_{14}, t_{14}, a_{15}
  142. Point(Circle[D4, 1]) → D4_1
  143. Polygon(D4, D4 - w * UnitOrthogonalVector[Segment[D4, D4_1]], D4_1 - w * UnitOrthogonalVector[Segment[D4, D4_1]], D4_1 + w * UnitOrthogonalVector[Segment[D4, D4_1]], D4 + w * UnitOrthogonalVector[Segment[D4, D4_1]]) → poly68, d4, b_{15}, c_{15}, d_{15}, e_{15}
  144. Point(Circle[E4, 1]) → E4_1
  145. Polygon(E4, E4 - w * UnitOrthogonalVector[Segment[E4, E4_1]], E4_1 - w * UnitOrthogonalVector[Segment[E4, E4_1]], E4_1 + w * UnitOrthogonalVector[Segment[E4, E4_1]], E4 + w * UnitOrthogonalVector[Segment[E4, E4_1]]) → poly69, e4, f_{15}, g_{15}, h_{15}, i_{15}
  146. Point(Circle[F4, 1]) → F4_1
  147. Polygon(F4, F4 - w * UnitOrthogonalVector[Segment[F4, F4_1]], F4_1 - w * UnitOrthogonalVector[Segment[F4, F4_1]], F4_1 + w * UnitOrthogonalVector[Segment[F4, F4_1]], F4 + w * UnitOrthogonalVector[Segment[F4, F4_1]]) → poly70, f4, j_{15}, k_{15}, l_{15}, m_{15}
  148. Point(Circle[G4, 1]) → G4_1
  149. Polygon(G4, G4 - w * UnitOrthogonalVector[Segment[G4, G4_1]], G4_1 - w * UnitOrthogonalVector[Segment[G4, G4_1]], G4_1 + w * UnitOrthogonalVector[Segment[G4, G4_1]], G4 + w * UnitOrthogonalVector[Segment[G4, G4_1]]) → poly71, g4, n_{15}, p_{15}, q_{15}, r_{15}
  150. Point(Circle[H4, 1]) → H4_1
  151. Polygon(H4, H4 - w * UnitOrthogonalVector[Segment[H4, H4_1]], H4_1 - w * UnitOrthogonalVector[Segment[H4, H4_1]], H4_1 + w * UnitOrthogonalVector[Segment[H4, H4_1]], H4 + w * UnitOrthogonalVector[Segment[H4, H4_1]]) → poly72, h4, s_{15}, t_{15}, a_{16}, b_{16}
  152. Point(Circle[I4, 1]) → I4_1
  153. Polygon(I4, I4 - w * UnitOrthogonalVector[Segment[I4, I4_1]], I4_1 - w * UnitOrthogonalVector[Segment[I4, I4_1]], I4_1 + w * UnitOrthogonalVector[Segment[I4, I4_1]], I4 + w * UnitOrthogonalVector[Segment[I4, I4_1]]) → poly73, i4, c_{16}, d_{16}, e_{16}, f_{16}
  154. Point(Circle[J4, 1]) → J4_1
  155. Polygon(J4, J4 - w * UnitOrthogonalVector[Segment[J4, J4_1]], J4_1 - w * UnitOrthogonalVector[Segment[J4, J4_1]], J4_1 + w * UnitOrthogonalVector[Segment[J4, J4_1]], J4 + w * UnitOrthogonalVector[Segment[J4, J4_1]]) → poly74, j4, g_{16}, h_{16}, i_{16}, j_{16}
  156. Point(Circle[K4, 1]) → K4_1
  157. Polygon(K4, K4 - w * UnitOrthogonalVector[Segment[K4, K4_1]], K4_1 - w * UnitOrthogonalVector[Segment[K4, K4_1]], K4_1 + w * UnitOrthogonalVector[Segment[K4, K4_1]], K4 + w * UnitOrthogonalVector[Segment[K4, K4_1]]) → poly75, k4, k_{16}, l_{16}, m_{16}, n_{16}
  158. Point(Circle[L4, 1]) → L4_1
  159. Polygon(L4, L4 - w * UnitOrthogonalVector[Segment[L4, L4_1]], L4_1 - w * UnitOrthogonalVector[Segment[L4, L4_1]], L4_1 + w * UnitOrthogonalVector[Segment[L4, L4_1]], L4 + w * UnitOrthogonalVector[Segment[L4, L4_1]]) → poly76, l4, p_{16}, q_{16}, r_{16}, s_{16}
  160. Point(Circle[M4, 1]) → M4_1
  161. Polygon(M4, M4 - w * UnitOrthogonalVector[Segment[M4, M4_1]], M4_1 - w * UnitOrthogonalVector[Segment[M4, M4_1]], M4_1 + w * UnitOrthogonalVector[Segment[M4, M4_1]], M4 + w * UnitOrthogonalVector[Segment[M4, M4_1]]) → poly77, m4, t_{16}, a_{17}, b_{17}, c_{17}
  162. Point(Circle[N4, 1]) → N4_1
  163. Polygon(N4, N4 - w * UnitOrthogonalVector[Segment[N4, N4_1]], N4_1 - w * UnitOrthogonalVector[Segment[N4, N4_1]], N4_1 + w * UnitOrthogonalVector[Segment[N4, N4_1]], N4 + w * UnitOrthogonalVector[Segment[N4, N4_1]]) → poly78, n4, d_{17}, e_{17}, f_{17}, g_{17}
  164. Point(Circle[O4, 1]) → O4_1
  165. Polygon(O4, O4 - w * UnitOrthogonalVector[Segment[O4, O4_1]], O4_1 - w * UnitOrthogonalVector[Segment[O4, O4_1]], O4_1 + w * UnitOrthogonalVector[Segment[O4, O4_1]], O4 + w * UnitOrthogonalVector[Segment[O4, O4_1]]) → poly79, o4, h_{17}, i_{17}, j_{17}, k_{17}
  166. Point(Circle[P4, 1]) → P4_1
  167. Polygon(P4, P4 - w * UnitOrthogonalVector[Segment[P4, P4_1]], P4_1 - w * UnitOrthogonalVector[Segment[P4, P4_1]], P4_1 + w * UnitOrthogonalVector[Segment[P4, P4_1]], P4 + w * UnitOrthogonalVector[Segment[P4, P4_1]]) → poly80, p4, l_{17}, m_{17}, n_{17}, p_{17}
  168. Point(Ray[Q53, Q53 + (1, 0)]) → Q54
  169. Point(Circle[A5, 1]) → A5_1
  170. Polygon(A5, A5 - w * UnitOrthogonalVector[Segment[A5, A5_1]], A5_1 - w * UnitOrthogonalVector[Segment[A5, A5_1]], A5_1 + w * UnitOrthogonalVector[Segment[A5, A5_1]], A5 + w * UnitOrthogonalVector[Segment[A5, A5_1]]) → poly81, a5, q_{17}, r_{17}, s_{17}, t_{17}
  171. Point(Circle[B5, 1]) → B5_1
  172. Polygon(B5, B5 - w * UnitOrthogonalVector[Segment[B5, B5_1]], B5_1 - w * UnitOrthogonalVector[Segment[B5, B5_1]], B5_1 + w * UnitOrthogonalVector[Segment[B5, B5_1]], B5 + w * UnitOrthogonalVector[Segment[B5, B5_1]]) → poly82, b5, a_{18}, b_{18}, c_{18}, d_{18}
  173. Point(Circle[C5, 1]) → C5_1
  174. Polygon(C5, C5 - w * UnitOrthogonalVector[Segment[C5, C5_1]], C5_1 - w * UnitOrthogonalVector[Segment[C5, C5_1]], C5_1 + w * UnitOrthogonalVector[Segment[C5, C5_1]], C5 + w * UnitOrthogonalVector[Segment[C5, C5_1]]) → poly83, c5, e_{18}, f_{18}, g_{18}, h_{18}
  175. Point(Circle[D5, 1]) → D5_1
  176. Polygon(D5, D5 - w * UnitOrthogonalVector[Segment[D5, D5_1]], D5_1 - w * UnitOrthogonalVector[Segment[D5, D5_1]], D5_1 + w * UnitOrthogonalVector[Segment[D5, D5_1]], D5 + w * UnitOrthogonalVector[Segment[D5, D5_1]]) → poly84, d5, i_{18}, j_{18}, k_{18}, l_{18}
  177. Point(Circle[E5, 1]) → E5_1
  178. Polygon(E5, E5 - w * UnitOrthogonalVector[Segment[E5, E5_1]], E5_1 - w * UnitOrthogonalVector[Segment[E5, E5_1]], E5_1 + w * UnitOrthogonalVector[Segment[E5, E5_1]], E5 + w * UnitOrthogonalVector[Segment[E5, E5_1]]) → poly85, e5, m_{18}, n_{18}, p_{18}, q_{18}
  179. Point(Circle[F5, 1]) → F5_1
  180. Polygon(F5, F5 - w * UnitOrthogonalVector[Segment[F5, F5_1]], F5_1 - w * UnitOrthogonalVector[Segment[F5, F5_1]], F5_1 + w * UnitOrthogonalVector[Segment[F5, F5_1]], F5 + w * UnitOrthogonalVector[Segment[F5, F5_1]]) → poly86, f5, r_{18}, s_{18}, t_{18}, a_{19}
  181. Point(Circle[G5, 1]) → G5_1
  182. Polygon(G5, G5 - w * UnitOrthogonalVector[Segment[G5, G5_1]], G5_1 - w * UnitOrthogonalVector[Segment[G5, G5_1]], G5_1 + w * UnitOrthogonalVector[Segment[G5, G5_1]], G5 + w * UnitOrthogonalVector[Segment[G5, G5_1]]) → poly87, g5, b_{19}, c_{19}, d_{19}, e_{19}
  183. Point(Circle[H5, 1]) → H5_1
  184. Polygon(H5, H5 - w * UnitOrthogonalVector[Segment[H5, H5_1]], H5_1 - w * UnitOrthogonalVector[Segment[H5, H5_1]], H5_1 + w * UnitOrthogonalVector[Segment[H5, H5_1]], H5 + w * UnitOrthogonalVector[Segment[H5, H5_1]]) → poly88, h5, f_{19}, g_{19}, h_{19}, i_{19}
  185. Point(Circle[I5, 1]) → I5_1
  186. Polygon(I5, I5 - w * UnitOrthogonalVector[Segment[I5, I5_1]], I5_1 - w * UnitOrthogonalVector[Segment[I5, I5_1]], I5_1 + w * UnitOrthogonalVector[Segment[I5, I5_1]], I5 + w * UnitOrthogonalVector[Segment[I5, I5_1]]) → poly89, i5, j_{19}, k_{19}, l_{19}, m_{19}
  187. Point(Circle[J5, 1]) → J5_1
  188. Polygon(J5, J5 - w * UnitOrthogonalVector[Segment[J5, J5_1]], J5_1 - w * UnitOrthogonalVector[Segment[J5, J5_1]], J5_1 + w * UnitOrthogonalVector[Segment[J5, J5_1]], J5 + w * UnitOrthogonalVector[Segment[J5, J5_1]]) → poly90, j5, n_{19}, p_{19}, q_{19}, r_{19}
  189. Point(Circle[K5, 1]) → K5_1
  190. Polygon(K5, K5 - w * UnitOrthogonalVector[Segment[K5, K5_1]], K5_1 - w * UnitOrthogonalVector[Segment[K5, K5_1]], K5_1 + w * UnitOrthogonalVector[Segment[K5, K5_1]], K5 + w * UnitOrthogonalVector[Segment[K5, K5_1]]) → poly91, k5, s_{19}, t_{19}, a_{20}, b_{20}
  191. Point(Circle[L5, 1]) → L5_1
  192. Polygon(L5, L5 - w * UnitOrthogonalVector[Segment[L5, L5_1]], L5_1 - w * UnitOrthogonalVector[Segment[L5, L5_1]], L5_1 + w * UnitOrthogonalVector[Segment[L5, L5_1]], L5 + w * UnitOrthogonalVector[Segment[L5, L5_1]]) → poly92, l5, c_{20}, d_{20}, e_{20}, f_{20}
  193. Point(Circle[M5, 1]) → M5_1
  194. Polygon(M5, M5 - w * UnitOrthogonalVector[Segment[M5, M5_1]], M5_1 - w * UnitOrthogonalVector[Segment[M5, M5_1]], M5_1 + w * UnitOrthogonalVector[Segment[M5, M5_1]], M5 + w * UnitOrthogonalVector[Segment[M5, M5_1]]) → poly93, m5, g_{20}, h_{20}, i_{20}, j_{20}
  195. Point(Circle[N5, 1]) → N5_1
  196. Polygon(N5, N5 - w * UnitOrthogonalVector[Segment[N5, N5_1]], N5_1 - w * UnitOrthogonalVector[Segment[N5, N5_1]], N5_1 + w * UnitOrthogonalVector[Segment[N5, N5_1]], N5 + w * UnitOrthogonalVector[Segment[N5, N5_1]]) → poly94, n5, k_{20}, l_{20}, m_{20}, n_{20}
  197. Point(Circle[O5, 1]) → O5_1
  198. Polygon(O5, O5 - w * UnitOrthogonalVector[Segment[O5, O5_1]], O5_1 - w * UnitOrthogonalVector[Segment[O5, O5_1]], O5_1 + w * UnitOrthogonalVector[Segment[O5, O5_1]], O5 + w * UnitOrthogonalVector[Segment[O5, O5_1]]) → poly95, o5, p_{20}, q_{20}, r_{20}, s_{20}
  199. Point(Circle[P5, 1]) → P5_1
  200. Polygon(P5, P5 - w * UnitOrthogonalVector[Segment[P5, P5_1]], P5_1 - w * UnitOrthogonalVector[Segment[P5, P5_1]], P5_1 + w * UnitOrthogonalVector[Segment[P5, P5_1]], P5 + w * UnitOrthogonalVector[Segment[P5, P5_1]]) → poly96, p5, t_{20}, a_{21}, b_{21}, c_{21}
  201. Point(Circle[Q5, 1]) → Q5_1
  202. Polygon(Q5, Q5 - w * UnitOrthogonalVector[Segment[Q5, Q5_1]], Q5_1 - w * UnitOrthogonalVector[Segment[Q5, Q5_1]], Q5_1 + w * UnitOrthogonalVector[Segment[Q5, Q5_1]], Q5 + w * UnitOrthogonalVector[Segment[Q5, Q5_1]]) → poly97, q5, d_{21}, e_{21}, f_{21}, g_{21}
  203. Point(Circle[R5, 1]) → R5_1
  204. Polygon(R5, R5 - w * UnitOrthogonalVector[Segment[R5, R5_1]], R5_1 - w * UnitOrthogonalVector[Segment[R5, R5_1]], R5_1 + w * UnitOrthogonalVector[Segment[R5, R5_1]], R5 + w * UnitOrthogonalVector[Segment[R5, R5_1]]) → poly98, r5, h_{21}, i_{21}, j_{21}, k_{21}
  205. Point(Circle[S5, 1]) → S5_1
  206. Polygon(S5, S5 - w * UnitOrthogonalVector[Segment[S5, S5_1]], S5_1 - w * UnitOrthogonalVector[Segment[S5, S5_1]], S5_1 + w * UnitOrthogonalVector[Segment[S5, S5_1]], S5 + w * UnitOrthogonalVector[Segment[S5, S5_1]]) → poly99, s5, l_{21}, m_{21}, n_{21}, p_{21}
  207. Point(Circle[T5, 1]) → T5_1
  208. Polygon(T5, T5 - w * UnitOrthogonalVector[Segment[T5, T5_1]], T5_1 - w * UnitOrthogonalVector[Segment[T5, T5_1]], T5_1 + w * UnitOrthogonalVector[Segment[T5, T5_1]], T5 + w * UnitOrthogonalVector[Segment[T5, T5_1]]) → poly100, t5, q_{21}, r_{21}, s_{21}, t_{21}
  209. Point(Circle[U5, 1]) → U5_1
  210. Polygon(U5, U5 - w * UnitOrthogonalVector[Segment[U5, U5_1]], U5_1 - w * UnitOrthogonalVector[Segment[U5, U5_1]], U5_1 + w * UnitOrthogonalVector[Segment[U5, U5_1]], U5 + w * UnitOrthogonalVector[Segment[U5, U5_1]]) → poly101, u5, a_{22}, b_{22}, c_{22}, d_{22}
  211. Point(Circle[V5, 1]) → V5_1
  212. Polygon(V5, V5 - w * UnitOrthogonalVector[Segment[V5, V5_1]], V5_1 - w * UnitOrthogonalVector[Segment[V5, V5_1]], V5_1 + w * UnitOrthogonalVector[Segment[V5, V5_1]], V5 + w * UnitOrthogonalVector[Segment[V5, V5_1]]) → poly102, v5, e_{22}, f_{22}, g_{22}, h_{22}
  213. Point(Circle[W5, 1]) → W5_1
  214. Polygon(W5, W5 - w * UnitOrthogonalVector[Segment[W5, W5_1]], W5_1 - w * UnitOrthogonalVector[Segment[W5, W5_1]], W5_1 + w * UnitOrthogonalVector[Segment[W5, W5_1]], W5 + w * UnitOrthogonalVector[Segment[W5, W5_1]]) → poly103, w5, i_{22}, j_{22}, k_{22}, l_{22}
  215. Point(Circle[X5, 1]) → X5_1
  216. Polygon(X5, X5 - w * UnitOrthogonalVector[Segment[X5, X5_1]], X5_1 - w * UnitOrthogonalVector[Segment[X5, X5_1]], X5_1 + w * UnitOrthogonalVector[Segment[X5, X5_1]], X5 + w * UnitOrthogonalVector[Segment[X5, X5_1]]) → poly104, x5, m_{22}, n_{22}, p_{22}, q_{22}
  217. Point(Circle[A6, 1]) → A6_1
  218. Polygon(A6, A6 - w * UnitOrthogonalVector[Segment[A6, A6_1]], A6_1 - w * UnitOrthogonalVector[Segment[A6, A6_1]], A6_1 + w * UnitOrthogonalVector[Segment[A6, A6_1]], A6 + w * UnitOrthogonalVector[Segment[A6, A6_1]]) → poly105, a6, r_{22}, s_{22}, t_{22}, a_{23}
  219. Point(Circle[B6, 1]) → B6_1
  220. Polygon(B6, B6 - w * UnitOrthogonalVector[Segment[B6, B6_1]], B6_1 - w * UnitOrthogonalVector[Segment[B6, B6_1]], B6_1 + w * UnitOrthogonalVector[Segment[B6, B6_1]], B6 + w * UnitOrthogonalVector[Segment[B6, B6_1]]) → poly106, b6, b_{23}, c_{23}, d_{23}, e_{23}
  221. Point(Circle[C6, 1]) → C6_1
  222. Polygon(C6, C6 - w * UnitOrthogonalVector[Segment[C6, C6_1]], C6_1 - w * UnitOrthogonalVector[Segment[C6, C6_1]], C6_1 + w * UnitOrthogonalVector[Segment[C6, C6_1]], C6 + w * UnitOrthogonalVector[Segment[C6, C6_1]]) → poly107, c6, f_{23}, g_{23}, h_{23}, i_{23}
  223. Point(Circle[D6, 1]) → D6_1
  224. Polygon(D6, D6 - w * UnitOrthogonalVector[Segment[D6, D6_1]], D6_1 - w * UnitOrthogonalVector[Segment[D6, D6_1]], D6_1 + w * UnitOrthogonalVector[Segment[D6, D6_1]], D6 + w * UnitOrthogonalVector[Segment[D6, D6_1]]) → poly108, d6, j_{23}, k_{23}, l_{23}, m_{23}
  225. Point(Circle[E6, 1]) → E6_1
  226. Polygon(E6, E6 - w * UnitOrthogonalVector[Segment[E6, E6_1]], E6_1 - w * UnitOrthogonalVector[Segment[E6, E6_1]], E6_1 + w * UnitOrthogonalVector[Segment[E6, E6_1]], E6 + w * UnitOrthogonalVector[Segment[E6, E6_1]]) → poly109, e6, n_{23}, p_{23}, q_{23}, r_{23}
  227. Point(Circle[F6, 1]) → F6_1
  228. Polygon(F6, F6 - w * UnitOrthogonalVector[Segment[F6, F6_1]], F6_1 - w * UnitOrthogonalVector[Segment[F6, F6_1]], F6_1 + w * UnitOrthogonalVector[Segment[F6, F6_1]], F6 + w * UnitOrthogonalVector[Segment[F6, F6_1]]) → poly110, f6, s_{23}, t_{23}, a_{24}, b_{24}
  229. Point(Circle[G6, 1]) → G6_1
  230. Polygon(G6, G6 - w * UnitOrthogonalVector[Segment[G6, G6_1]], G6_1 - w * UnitOrthogonalVector[Segment[G6, G6_1]], G6_1 + w * UnitOrthogonalVector[Segment[G6, G6_1]], G6 + w * UnitOrthogonalVector[Segment[G6, G6_1]]) → poly111, g6, c_{24}, d_{24}, e_{24}, f_{24}
  231. Point(Circle[H6, 1]) → H6_1
  232. Polygon(H6, H6 - w * UnitOrthogonalVector[Segment[H6, H6_1]], H6_1 - w * UnitOrthogonalVector[Segment[H6, H6_1]], H6_1 + w * UnitOrthogonalVector[Segment[H6, H6_1]], H6 + w * UnitOrthogonalVector[Segment[H6, H6_1]]) → poly112, h6, g_{24}, h_{24}, i_{24}, j_{24}
  233. Point(Circle[I6, 1]) → I6_1
  234. Polygon(I6, I6 - w * UnitOrthogonalVector[Segment[I6, I6_1]], I6_1 - w * UnitOrthogonalVector[Segment[I6, I6_1]], I6_1 + w * UnitOrthogonalVector[Segment[I6, I6_1]], I6 + w * UnitOrthogonalVector[Segment[I6, I6_1]]) → poly113, i6, k_{24}, l_{24}, m_{24}, n_{24}
  235. Point(Circle[J6, 1]) → J6_1
  236. Polygon(J6, J6 - w * UnitOrthogonalVector[Segment[J6, J6_1]], J6_1 - w * UnitOrthogonalVector[Segment[J6, J6_1]], J6_1 + w * UnitOrthogonalVector[Segment[J6, J6_1]], J6 + w * UnitOrthogonalVector[Segment[J6, J6_1]]) → poly114, j6, p_{24}, q_{24}, r_{24}, s_{24}
  237. Point(Circle[K6, 1]) → K6_1
  238. Polygon(K6, K6 - w * UnitOrthogonalVector[Segment[K6, K6_1]], K6_1 - w * UnitOrthogonalVector[Segment[K6, K6_1]], K6_1 + w * UnitOrthogonalVector[Segment[K6, K6_1]], K6 + w * UnitOrthogonalVector[Segment[K6, K6_1]]) → poly115, k6, t_{24}, a_{25}, b_{25}, c_{25}
  239. Point(Circle[L6, 1]) → L6_1
  240. Polygon(L6, L6 - w * UnitOrthogonalVector[Segment[L6, L6_1]], L6_1 - w * UnitOrthogonalVector[Segment[L6, L6_1]], L6_1 + w * UnitOrthogonalVector[Segment[L6, L6_1]], L6 + w * UnitOrthogonalVector[Segment[L6, L6_1]]) → poly116, l6, d_{25}, e_{25}, f_{25}, g_{25}
  241. Point(Circle[M6, 1]) → M6_1
  242. Polygon(M6, M6 - w * UnitOrthogonalVector[Segment[M6, M6_1]], M6_1 - w * UnitOrthogonalVector[Segment[M6, M6_1]], M6_1 + w * UnitOrthogonalVector[Segment[M6, M6_1]], M6 + w * UnitOrthogonalVector[Segment[M6, M6_1]]) → poly117, m6, h_{25}, i_{25}, j_{25}, k_{25}
  243. Point(Circle[N6, 1]) → N6_1
  244. Polygon(N6, N6 - w * UnitOrthogonalVector[Segment[N6, N6_1]], N6_1 - w * UnitOrthogonalVector[Segment[N6, N6_1]], N6_1 + w * UnitOrthogonalVector[Segment[N6, N6_1]], N6 + w * UnitOrthogonalVector[Segment[N6, N6_1]]) → poly118, n6, l_{25}, m_{25}, n_{25}, p_{25}
  245. Point(Circle[O6, 1]) → O6_1
  246. Polygon(O6, O6 - w * UnitOrthogonalVector[Segment[O6, O6_1]], O6_1 - w * UnitOrthogonalVector[Segment[O6, O6_1]], O6_1 + w * UnitOrthogonalVector[Segment[O6, O6_1]], O6 + w * UnitOrthogonalVector[Segment[O6, O6_1]]) → poly119, o6, q_{25}, r_{25}, s_{25}, t_{25}
  247. Point(Circle[P6, 1]) → P6_1
  248. Polygon(P6, P6 - w * UnitOrthogonalVector[Segment[P6, P6_1]], P6_1 - w * UnitOrthogonalVector[Segment[P6, P6_1]], P6_1 + w * UnitOrthogonalVector[Segment[P6, P6_1]], P6 + w * UnitOrthogonalVector[Segment[P6, P6_1]]) → poly120, p6, a_{26}, b_{26}, c_{26}, d_{26}
  249. Point(Ray[Q61, Q61 + (1, 0)]) → Q62
  250. Point(Ray[Q55, Q55 + (1, 0)]) → Q52
  251. Point(Ray[Q51, Q51 + (1, 0)]) → Q51'
  252. Segment(Q, R) → e_{26}
  253. Segment(R, S) → f_{26}
  254. Segment(S, U) → g_{26}
  255. Segment(U, V) → h_{26}
  256. Segment(Q, W) → i_{26}
  257. Segment(W, Z) → j_{26}
  258. Segment(Z, P_1) → k_{26}
  259. Segment(R, Q_1) → l_{26}
  260. Segment(Q_1, P_1) → m_{26}
  261. Segment(Q_1, R_1) → n_{26}
  262. Segment(R_1, V) → p_{26}
  263. Segment(P_1, S_1) → q_{26}
  264. Segment(S_1, T_1) → r_{26}
  265. Segment(T_1, U_1) → s_{26}
  266. Segment(U_1, R_1) → t_{26}
  267. Segment(V_1, W_1) → a_{27}
  268. Segment(W_1, Z_1) → b_{27}
  269. Segment(Z_1, A_2) → c_{27}
  270. Segment(A_2, V_1) → d_{27}
  271. Segment(V_1, B_2) → e_{27}
  272. Segment(B_2, C_2) → f_{27}
  273. Segment(C_2, A_2) → g_{27}
  274. Segment(B_2, D_2) → h_{27}
  275. Segment(D_2, E_2) → i_{27}
  276. Segment(E_2, C_2) → j_{27}
  277. Segment(C_2, F_2) → k_{27}
  278. Segment(F_2, G_2) → l_{27}
  279. Segment(G_2, E_2) → m_{27}
  280. Segment(F_2, H_2) → n_{27}
  281. Segment(H_2, I_2) → p_{27}
  282. Segment(I_2, G_2) → q_{27}
  283. Segment(J_2, K_2) → r_{27}
  284. Segment(K_2, L_2) → s_{27}
  285. Segment(L_2, M_2) → t_{27}
  286. Segment(M_2, N_2) → a_{28}
  287. Segment(N_2, O_2) → b_{28}
  288. Segment(O_2, P_2) → c_{28}
  289. Segment(P_2, Q_2) → d_{28}
  290. Segment(Q_2, R_2) → e_{28}
  291. Segment(R_2, S_2) → f_{28}
  292. Segment(S_2, T_2) → g_{28}
  293. Segment(T_2, U_2) → h_{28}
  294. Segment(U_2, J_2) → i_{28}
  295. Segment(W_2, Z_2) → m_{28}
  296. Segment(Z_2, R_2) → p_{28}
  297. Segment(S_2, A_3) → q_{28}
  298. Segment(A_3, V_2) → t_{28}
  299. Segment(V_2, L_2) → a_{29}
  300. Segment(W_2, M_2) → b_{29}
  301. Segment(B_3, C_3) → j_{28}
  302. Segment(C_3, D_3) → k_{28}
  303. Segment(D_3, E_3) → l_{28}
  304. Segment(E_3, F_3) → n_{28}
  305. Segment(F_3, G_3) → r_{28}
  306. Segment(G_3, H_3) → s_{28}
  307. Segment(H_3, I_3) → c_{29}
  308. Segment(I_3, J_3) → d_{29}
  309. Segment(J_3, K_3) → e_{29}
  310. Segment(K_3, L_3) → f_{29}
  311. Segment(L_3, M_3) → g_{29}
  312. Segment(M_3, B_3) → h_{29}
  313. Segment(C_3, L_3) → i_{29}
  314. Segment(K_3, D_3) → j_{29}
  315. Segment(K_3, F_3) → k_{29}
  316. Segment(J_3, G_3) → l_{29}
  317. Segment(N_3, O_3) → m_{29}
  318. Segment(O_3, P_3) → n_{29}
  319. Segment(P_3, Q_3) → p_{29}
  320. Segment(Q_3, N_3) → q_{29}
  321. Segment(Q_3, R_3) → r_{29}
  322. Segment(R_3, S_3) → s_{29}
  323. Segment(S_3, P_3) → t_{29}
  324. Segment(S_3, T_3) → a_{30}
  325. Segment(T_3, U_3) → b_{30}
  326. Segment(U_3, R_3) → c_{30}
  327. Segment(S_3, V_3) → d_{30}
  328. Segment(V_3, W_3) → e_{30}
  329. Segment(T_3, W_3) → f_{30}
  330. Segment(W_3, Z_3) → g_{30}
  331. Segment(Z_3, A_4) → h_{30}
  332. Segment(A_4, V_3) → i_{30}
  333. Segment(B_4, C_4) → j_{30}
  334. Segment(C_4, D_4) → k_{30}
  335. Segment(D_4, E_4) → l_{30}
  336. Segment(E_4, F_4) → m_{30}
  337. Segment(F_4, C_4) → n_{30}
  338. Segment(C_4, G_4) → p_{30}
  339. Segment(G_4, H_4) → q_{30}
  340. Segment(H_4, B_4) → r_{30}
  341. Segment(H_4, I_4) → s_{30}
  342. Segment(I_4, J_4) → t_{30}
  343. Segment(J_4, G_4) → a_{31}
  344. Segment(J_4, K_4) → b_{31}
  345. Segment(K_4, L_4) → c_{31}
  346. Segment(L_4, M_4) → d_{31}
  347. Segment(M_4, N_4) → e_{31}
  348. Segment(N_4, O_4) → f_{31}
  349. Segment(O_4, P_4) → g_{31}
  350. Segment(P_4, Q_4) → h_{31}
  351. Segment(Q_4, N_4) → i_{31}
  352. Segment(Q_4, R_4) → j_{31}
  353. Segment(R_4, S_4) → k_{31}
  354. Segment(S_4, P_4) → l_{31}
  355. Segment(R_4, F_4) → m_{31}
  356. Segment(K_4, N_4) → n_{31}
  357. Segment(T_4, U_4) → p_{31}
  358. Segment(U_4, V_4) → q_{31}
  359. Segment(V_4, W_4) → r_{31}
  360. Segment(W_4, T_4) → s_{31}
  361. Segment(V_4, Z_4) → t_{31}
  362. Segment(Z_4, A_5) → a_{32}
  363. Segment(A_5, B_5) → b_{32}
  364. Segment(B_5, V_4) → c_{32}
  365. Segment(Z_4, C_5) → d_{32}
  366. Segment(C_5, D_5) → e_{32}
  367. Segment(D_5, E_5) → f_{32}
  368. Segment(E_5, Z_4) → g_{32}
  369. Segment(E_5, F_5) → h_{32}
  370. Segment(F_5, G_5) → i_{32}
  371. Segment(G_5, U_4) → j_{32}
  372. Segment(U_4, E_5) → k_{32}