MathPlotAI Logo MathPlotAI

Tiling Patterns

Tiling Patterns
Loading the math board and drawing, please wait…
2014-12-29 22:03
PolygonFunctionGeometric Construction
This example demonstrates the construction of tiling patterns. Key mathematical concepts include geometric construction and functions. Using GeoGebra commands such as Line, OrthogonalLine, Point, Intersect, etc., various geometric shapes can be constructed. Suitable for middle school and above students to learn geometric construction.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a geometric pattern featuring multiple perpendicular lines and intersection points, demonstrating geometric construction and function concepts. Start with a line segment, then draw perpendicular lines from both ends, marking points along these lines. Construct a complex geometric pattern using these points and line segments, highlighting symmetry and regularity, suitable for middle school students and above learning geometric construction.
The prompt above was compiled from the original drawing commands and is for reference only.