MathPlotAI Logo MathPlotAI

Polygonal Controlled by 5 Variables Simplified

Polygonal Controlled by 5 Variables Simplified
Loading the math board and drawing, please wait…
2020-03-07 16:05
PolygonTransformationGeometric Construction
This example demonstrates a polygonal shape controlled by five variables, showcasing dynamic geometric transformations and parameterization. Key math concepts include polygon construction, geometric transformations, angle calculations, segment operations, and piecewise functions. The construction utilizes GeoGebra commands like Line, Circle, Intersect, Rotate, Segment, Angle, Textfield, and Max, with objects such as γ, I, P0, A, s0rt, R0, cR0, P1, L, H0, α, C0, c0, B1, H1, C1, c1, B2, H2, C2, c2, B3, H3, c3, B4, H4, C4, c4, B5, H5, C5, c5, B6, H6, C6, c6, B7, H7, C7. It is suitable for high school mathematics education, helping students understand polygon parameterization and geometric transformation principles.

GeoGebra Commands & Parameters

  1. Line(P0, A) → s0rt
  2. Circle(P0, R0) → cR0
  3. Intersect(cR0, s0rt, 2) → P1
  4. Rotate(H0, α, P1) → C0
  5. Circle(P0, C0) → c0
  6. Intersect(c0, s0rt, 2) → B1
  7. Rotate(H1, α + γ, B1) → C1
  8. Circle(P0, C1) → c1
  9. Intersect(c1, s0rt, 2) → B2
  10. Rotate(H2, α + (2 * γ), B2) → C2
  11. Circle(P0, C2) → c2
  12. Intersect(c2, s0rt, 2) → B3
  13. Rotate(H3, α + (3 * γ), B3) → C3
  14. Circle(P0, C3) → c3
  15. Intersect(c3, s0rt, 2) → B4
  16. Rotate(H4, α + (4 * γ), B4) → C4
  17. Circle(P0, C4) → c4
  18. Intersect(c4, s0rt, 2) → B5
  19. Rotate(H5, α + (5 * γ), B5) → C5
  20. Circle(P0, C5) → c5
  21. Intersect(c5, s0rt, 2) → B6
  22. Rotate(H6, α + (6 * γ), B6) → C6
  23. Circle(P0, C6) → c6
  24. Intersect(c6, s0rt, 2) → B7
  25. Rotate(H7, α + (7 * γ), B7) → C7
  26. Circle(P0, C7) → c7
  27. Intersect(c7, s0rt, 2) → B8
  28. Rotate(H8, α + (8 * γ), B8) → C8
  29. Circle(P0, C8) → c8
  30. Intersect(c8, s0rt, 2) → B9
  31. Rotate(H9, α + (9 * γ), B9) → C9
  32. Circle(P0, C9) → c9
  33. Intersect(c9, s0rt, 2) → B10
  34. Rotate(H10, α + (10 * γ), B10) → C10
  35. Circle(P0, C10) → c10
  36. Intersect(c10, s0rt, 2) → B11
  37. Rotate(H11, α + (11 * γ), B11) → C11
  38. Circle(P0, C11) → c11
  39. Intersect(c11, s0rt, 2) → B12
  40. Rotate(H12, α + (12 * γ), B12) → C12
  41. Circle(P0, C12) → c12
  42. Intersect(c12, s0rt, 2) → B13
  43. Rotate(H13, α + (13 * γ), B13) → C13
  44. Circle(P0, C13) → c13
  45. Intersect(c13, s0rt, 2) → B14
  46. Rotate(H14, α + (14 * γ), B14) → C14
  47. Circle(P0, C14) → c14
  48. Intersect(c14, s0rt, 2) → B15
  49. Rotate(H15, α + (15 * γ), B15) → C15
  50. Circle(P0, C15) → c15
  51. Intersect(c15, s0rt, 2) → B16
  52. Rotate(H16, α + (16 * γ), B16) → C16
  53. Circle(P0, C16) → c16
  54. Intersect(c16, s0rt, 2) → B17
  55. Rotate(H17, α + (17 * γ), B17) → C17
  56. Circle(P0, C17) → c17
  57. Intersect(c17, s0rt, 2) → B18
  58. Rotate(H18, α + (18 * γ), B18) → C18
  59. Circle(P0, C18) → c18
  60. Intersect(c18, s0rt, 2) → B19
  61. Rotate(H19, α + (19 * γ), B19) → C19
  62. Circle(P0, C19) → c19
  63. Intersect(c19, s0rt, 2) → B20
  64. Rotate(H20, α + (20 * γ), B20) → C20
  65. Circle(P0, C20) → c20
  66. Intersect(c20, s0rt, 2) → B21
  67. Rotate(H21, α + (21 * γ), B21) → C21
  68. Circle(P0, C21) → c21
  69. Intersect(c21, s0rt, 2) → B22
  70. Rotate(H22, α + (22 * γ), B22) → C22
  71. Circle(P0, C22) → c22
  72. Intersect(c22, s0rt, 2) → B23
  73. Rotate(H23, α + (23 * γ), B23) → C23
  74. Circle(P0, C23) → c23
  75. Intersect(c23, s0rt, 2) → B24
  76. Rotate(H24, α + (24 * γ), B24) → C24
  77. Circle(P0, C24) → c24
  78. Intersect(c24, s0rt, 2) → B25
  79. Rotate(H25, α + (25 * γ), B25) → C25
  80. Circle(P0, C25) → c25
  81. Intersect(c25, s0rt, 2) → B26
  82. Rotate(H26, α + (26 * γ), B26) → C26
  83. Circle(P0, C26) → c26
  84. Intersect(c26, s0rt, 2) → B27
  85. Rotate(H27, α + (27 * γ), B27) → C27
  86. Circle(P0, C27) → c27
  87. Intersect(c27, s0rt, 2) → B28
  88. Rotate(H28, α + (28 * γ), B28) → C28
  89. Circle(P0, C28) → c28
  90. Intersect(c28, s0rt, 2) → B29
  91. Rotate(H29, α + (29 * γ), B29) → C29
  92. Circle(P0, C29) → c29
  93. Intersect(c29, s0rt, 2) → B30
  94. Rotate(H30, α + (30 * γ), B30) → C30
  95. Circle(P0, C30) → c30
  96. Intersect(c30, s0rt, 2) → B31
  97. Rotate(H31, α + (31 * γ), B31) → C31
  98. Circle(P0, C31) → c31
  99. Intersect(c31, s0rt, 2) → B32
  100. Rotate(H32, α + (32 * γ), B32) → C32
  101. Circle(P0, C32) → c32
  102. Intersect(c32, s0rt, 2) → B33
  103. Rotate(H33, α + (33 * γ), B33) → C33
  104. Circle(P0, C33) → c33
  105. Intersect(c33, s0rt, 2) → B34
  106. Rotate(H34, α + (34 * γ), B34) → C34
  107. Circle(P0, C34) → c34
  108. Intersect(c34, s0rt, 2) → B35
  109. Rotate(H35, α + (35 * γ), B35) → C35
  110. Circle(P0, C35) → c35
  111. Intersect(c35, s0rt, 2) → B36
  112. Rotate(H36, α + (36 * γ), B36) → C36
  113. Circle(P0, C36) → c36
  114. Intersect(c36, s0rt, 2) → B37
  115. Rotate(H37, α + (37 * γ), B37) → C37
  116. Circle(P0, C37) → c37
  117. Intersect(c37, s0rt, 2) → B38
  118. Rotate(H38, α + (38 * γ), B38) → C38
  119. Circle(P0, C38) → c38
  120. Intersect(c38, s0rt, 2) → B39
  121. Rotate(H39, α + (39 * γ), B39) → C39
  122. Circle(P0, C39) → c39
  123. Intersect(c39, s0rt, 2) → B40
  124. Rotate(H40, α + (40 * γ), B40) → C40
  125. Circle(P0, C40) → c40
  126. Intersect(c40, s0rt, 2) → B41
  127. Rotate(H41, α + (41 * γ), B41) → C41
  128. Circle(P0, C41) → c41
  129. Intersect(c41, s0rt, 2) → B42
  130. Rotate(H42, α + (42 * γ), B42) → C42
  131. Circle(P0, C42) → c42
  132. Intersect(c42, s0rt, 2) → B43
  133. Rotate(H43, α + (43 * γ), B43) → C43
  134. Circle(P0, C43) → c43
  135. Intersect(c43, s0rt, 2) → B44
  136. Rotate(H44, α + (44 * γ), B44) → C44
  137. Circle(P0, C44) → c44
  138. Intersect(c44, s0rt, 2) → B45
  139. Rotate(H45, α + (45 * γ), B45) → C45
  140. Circle(P0, C45) → c45
  141. Intersect(c45, s0rt, 2) → B46
  142. Rotate(H46, α + (46 * γ), B46) → C46
  143. Circle(P0, C46) → c46
  144. Intersect(c46, s0rt, 2) → B47
  145. Rotate(H47, α + (47 * γ), B47) → C47
  146. Circle(P0, C47) → c47
  147. Intersect(c47, s0rt, 2) → B48
  148. Rotate(H48, α + (48 * γ), B48) → C48
  149. Circle(P0, C48) → c48
  150. Intersect(c48, s0rt, 2) → B49
  151. Rotate(H49, α + (49 * γ), B49) → C49
  152. Circle(P0, C49) → c49
  153. Intersect(c49, s0rt, 2) → B50
  154. Rotate(H50, α + (50 * γ), B50) → C50
  155. Circle(P0, C50) → c50
  156. Intersect(c50, s0rt, 2) → B51
  157. Rotate(H51, α + (51 * γ), B51) → C51
  158. Circle(P0, C51) → c51
  159. Intersect(c51, s0rt, 2) → B52
  160. Rotate(H52, α + (52 * γ), B52) → C52
  161. Circle(P0, C52) → c52
  162. Intersect(c52, s0rt, 2) → B53
  163. Rotate(H53, α + (53 * γ), B53) → C53
  164. Circle(P0, C53) → c53
  165. Intersect(c53, s0rt, 2) → B54
  166. Rotate(H54, α + (54 * γ), B54) → C54
  167. Circle(P0, C54) → c54
  168. Intersect(c54, s0rt, 2) → B55
  169. Rotate(H55, α + (55 * γ), B55) → C55
  170. Circle(P0, C55) → c55
  171. Intersect(c55, s0rt, 2) → B56
  172. Rotate(H56, α + (56 * γ), B56) → C56
  173. Circle(P0, C56) → c56
  174. Intersect(c56, s0rt, 2) → B57
  175. Rotate(H57, α + (57 * γ), B57) → C57
  176. Circle(P0, C57) → c57
  177. Intersect(c57, s0rt, 2) → B58
  178. Rotate(H58, α + (58 * γ), B58) → C58
  179. Circle(P0, C58) → c58
  180. Intersect(c58, s0rt, 2) → B59
  181. Rotate(H59, α + (59 * γ), B59) → C59
  182. Circle(P0, C59) → c59
  183. Intersect(c59, s0rt, 2) → B60
  184. Rotate(H60, α + (60 * γ), B60) → C60
  185. Circle(P0, C60) → c60
  186. Intersect(c60, s0rt, 2) → B61
  187. Rotate(H61, α + (61 * γ), B61) → C61
  188. Circle(P0, C61) → c61
  189. Intersect(c61, s0rt, 2) → B62
  190. Rotate(H62, α + (62 * γ), B62) → C62
  191. Circle(P0, C62) → c62
  192. Intersect(c62, s0rt, 2) → B63
  193. Rotate(H63, α + (63 * γ), B63) → C63
  194. Circle(P0, C63) → c63
  195. Intersect(c63, s0rt, 2) → B64
  196. Rotate(H64, α + (64 * γ), B64) → C64
  197. Circle(P0, C64) → c64
  198. Intersect(c64, s0rt, 2) → B65
  199. Rotate(H65, α + (65 * γ), B65) → C65
  200. Circle(P0, C65) → c65
  201. Intersect(c65, s0rt, 2) → B66
  202. Rotate(H66, α + (66 * γ), B66) → C66
  203. Circle(P0, C66) → c66
  204. Intersect(c66, s0rt, 2) → B67
  205. Rotate(H67, α + (67 * γ), B67) → C67
  206. Circle(P0, C67) → c67
  207. Intersect(c67, s0rt, 2) → B68
  208. Rotate(H68, α + (68 * γ), B68) → C68
  209. Circle(P0, C68) → c68
  210. Intersect(c68, s0rt, 2) → B69
  211. Rotate(H69, α + (69 * γ), B69) → C69
  212. Circle(P0, C69) → c69
  213. Intersect(c69, s0rt, 2) → B70
  214. Rotate(H70, α + (70 * γ), B70) → C70
  215. Circle(P0, C70) → c70
  216. Intersect(c70, s0rt, 2) → B71
  217. Rotate(H71, α + (71 * γ), B71) → C71
  218. Circle(P0, C71) → c71
  219. Intersect(c71, s0rt, 2) → B72
  220. Rotate(H72, α + (72 * γ), B72) → C72
  221. Circle(P0, C72) → c72
  222. Intersect(c72, s0rt, 2) → B73
  223. Rotate(H73, α + (73 * γ), B73) → C73
  224. Circle(P0, C73) → c73
  225. Intersect(c73, s0rt, 2) → B74
  226. Rotate(H74, α + (74 * γ), B74) → C74
  227. Circle(P0, C74) → c74
  228. Intersect(c74, s0rt, 2) → B75
  229. Rotate(H75, α + (75 * γ), B75) → C75
  230. Circle(P0, C75) → c75
  231. Intersect(c75, s0rt, 2) → B76
  232. Rotate(H76, α + (76 * γ), B76) → C76
  233. Circle(P0, C76) → c76
  234. Intersect(c76, s0rt, 2) → B77
  235. Rotate(H77, α + (77 * γ), B77) → C77
  236. Circle(P0, C77) → c77
  237. Intersect(c77, s0rt, 2) → B78
  238. Rotate(H78, α + (78 * γ), B78) → C78
  239. Circle(P0, C78) → c78
  240. Intersect(c78, s0rt, 2) → B79
  241. Rotate(H79, α + (79 * γ), B79) → C79
  242. Circle(P0, C79) → c79
  243. Intersect(c79, s0rt, 2) → B80
  244. Rotate(H80, α + (80 * γ), B80) → C80
  245. Circle(P0, C80) → c80
  246. Intersect(c80, s0rt, 2) → B81
  247. Rotate(H81, α + (81 * γ), B81) → C81
  248. Circle(P0, C81) → c81
  249. Intersect(c81, s0rt, 2) → B82
  250. Rotate(H82, α + (82 * γ), B82) → C82
  251. Circle(P0, C82) → c82
  252. Intersect(c82, s0rt, 2) → B83
  253. Rotate(H83, α + (83 * γ), B83) → C83
  254. Circle(P0, C83) → c83
  255. Intersect(c83, s0rt, 2) → B84
  256. Rotate(H84, α + (84 * γ), B84) → C84
  257. Circle(P0, C84) → c84
  258. Intersect(c84, s0rt, 2) → B85
  259. Rotate(H85, α + (85 * γ), B85) → C85
  260. Circle(P0, C85) → c85
  261. Intersect(c85, s0rt, 2) → B86
  262. Rotate(H86, α + (86 * γ), B86) → C86
  263. Circle(P0, C86) → c86
  264. Intersect(c86, s0rt, 2) → B87
  265. Rotate(H87, α + (87 * γ), B87) → C87
  266. Circle(P0, C87) → c87
  267. Intersect(c87, s0rt, 2) → B88
  268. Rotate(H88, α + (88 * γ), B88) → C88
  269. Circle(P0, C88) → c88
  270. Intersect(c88, s0rt, 2) → B89
  271. Rotate(H89, α + (89 * γ), B89) → C89
  272. Circle(P0, C89) → c89
  273. Intersect(c89, s0rt, 2) → B90
  274. Rotate(H90, α + (90 * γ), B90) → C90
  275. Circle(P0, C90) → c90
  276. Intersect(c90, s0rt, 2) → B91
  277. Rotate(H91, α + (91 * γ), B91) → C91
  278. Circle(P0, C91) → c91
  279. Intersect(c91, s0rt, 2) → B92
  280. Rotate(H92, α + (92 * γ), B92) → C92
  281. Circle(P0, C92) → c92
  282. Intersect(c92, s0rt, 2) → B93
  283. Rotate(H93, α + (93 * γ), B93) → C93
  284. Circle(P0, C93) → c93
  285. Intersect(c93, s0rt, 2) → B94
  286. Rotate(H94, α + (94 * γ), B94) → C94
  287. Circle(P0, C94) → c94
  288. Intersect(c94, s0rt, 2) → B95
  289. Segment(P1, C0) → g
  290. Segment(B1, C1) → sb1
  291. Segment(P0, C0) → j
  292. Segment(P0, C1) → k
  293. Segment(B2, C2) → sb2
  294. Segment(B3, C3) → sb3
  295. Segment(P0, C2) → j_1
  296. Segment(P0, C3) → k_1
  297. Segment(P0, C4) → l_1
  298. Segment(B4, C4) → sb4
  299. Segment(B5, C5) → sb5
  300. Segment(P0, C5) → t_1
  301. Segment(P0, C6) → f_2
  302. Segment(B6, C6) → sb6
  303. Segment(B7, C7) → sb7
  304. Segment(P0, C7) → l_2
  305. Segment(B8, C8) → sb8
  306. Segment(P0, C8) → s_2
  307. Segment(B9, C9) → sb9
  308. Segment(P0, C9) → g_3
  309. Segment(B10, C10) → sb10
  310. Segment(P0, C10) → j_3
  311. Segment(B11, C11) → sb11
  312. Segment(P0, C11) → n_3
  313. Segment(B12, C12) → sb12
  314. Segment(P0, C12) → f_4
  315. Segment(B13, C13) → sb13
  316. Segment(P0, C13) → j_4
  317. Segment(B14, C14) → sb14
  318. Segment(P0, C14) → n_4
  319. Segment(B15, C15) → sb15
  320. Segment(P0, C15) → b_4
  321. Segment(B16, C16) → sb16
  322. Segment(P0, C16) → i_5
  323. Segment(B17, C17) → sb17
  324. Segment(P0, C17) → n_5
  325. Segment(B18, C18) → sb18
  326. Segment(P0, C18) → a_5
  327. Segment(B19, C19) → sb19
  328. Segment(P0, C19) → i_6
  329. Segment(B20, C20) → sb20
  330. Segment(P0, C20) → n_6
  331. Segment(B21, C21) → sb21
  332. Segment(P0, C21) → a_6
  333. Segment(P0, C22) → f_5
  334. Segment(C23, P0) → h_5
  335. Segment(P0, C24) → j_5
  336. Segment(P0, C25) → m_5
  337. Segment(P0, C26) → t_5
  338. Segment(P0, C27) → b_5
  339. Segment(P0, C28) → g_6
  340. Segment(P0, C29) → j_6
  341. Segment(P0, C30) → l_6
  342. Segment(P0, C31) → s_6
  343. Segment(P0, C32) → b_6
  344. Segment(P0, C33) → f_7
  345. Segment(P0, C34) → g_7
  346. Segment(P0, C35) → i_7
  347. Segment(P0, C36) → j_7
  348. Segment(P0, C37) → l_7
  349. Segment(P0, C38) → m_7
  350. Segment(P0, C39) → n_7
  351. Segment(P0, C40) → t_7
  352. Segment(B22, C22) → sb22
  353. Segment(B23, C23) → sb23
  354. Segment(B24, C24) → sb24
  355. Segment(B25, C25) → sb25
  356. Segment(B26, C26) → sb26
  357. Segment(B27, C27) → sb27
  358. Segment(B28, C28) → sb28
  359. Segment(B29, C29) → sb29
  360. Segment(B30, C30) → sb30
  361. Segment(B31, C31) → sb31
  362. Segment(B32, C32) → sb32
  363. Segment(B33, C33) → sb33
  364. Segment(B34, C34) → sb34
  365. Segment(B35, C35) → sb35
  366. Segment(B36, C36) → sb36
  367. Segment(B37, C37) → sb37
  368. Segment(B38, C38) → sb38
  369. Segment(B39, C39) → sb39
  370. Segment(B40, C40) → sb40
  371. Segment(B41, C41) → sb41
  372. Segment(B42, C42) → sb42
  373. Segment(B43, C43) → sb43
  374. Segment(B44, C44) → sb44
  375. Segment(B45, C45) → sb45
  376. Segment(B46, C46) → sb46
  377. Segment(B47, C47) → sb47
  378. Segment(B48, C48) → sb48
  379. Segment(B49, C49) → sb49
  380. Segment(B50, C50) → sb50
  381. Segment(B51, C51) → sb51
  382. Segment(B52, C52) → sb52
  383. Segment(B53, C53) → sb53
  384. Segment(B54, C54) → sb54
  385. Segment(B55, C55) → sb55
  386. Segment(B56, C56) → sb56
  387. Segment(B57, C57) → sb57
  388. Segment(B58, C58) → sb58
  389. Segment(B59, C59) → sb59
  390. Segment(B60, C60) → sb60
  391. Segment(P0, C41) → f_{13}
  392. Segment(P0, C42) → g_{13}
  393. Segment(P0, C43) → h_{13}
  394. Segment(P0, C44) → i_{13}
  395. Segment(P0, C45) → j_{13}
  396. Segment(P0, C46) → k_{13}
  397. Segment(P0, C47) → l_{13}
  398. Segment(P0, C48) → m_{13}
  399. Segment(P0, C49) → n_{13}
  400. Segment(P0, C50) → p_{13}
  401. Segment(P0, C51) → q_{13}
  402. Segment(P0, C52) → r_{13}
  403. Segment(P0, C53) → s_{13}
  404. Segment(P0, C54) → t_{13}
  405. Segment(P0, C55) → a_{13}
  406. Segment(P0, C56) → b_{13}
  407. Segment(P0, C57) → c_{13}
  408. Segment(P0, C58) → d_{13}
  409. Segment(P0, C59) → e_{13}
  410. Segment(P0, C60) → f_{14}
  411. Segment(P0, C61) → i_{16}
  412. Segment(P0, C62) → j_{16}
  413. Segment(P0, C63) → k_{16}
  414. Segment(P0, C64) → l_{16}
  415. Segment(P0, C65) → m_{16}
  416. Segment(P0, C66) → n_{16}
  417. Segment(P0, C67) → s_{16}
  418. Segment(P0, C68) → a_{16}
  419. Segment(P0, C69) → b_{16}
  420. Segment(P0, C70) → f_{17}
  421. Segment(P0, C71) → g_{17}
  422. Segment(P0, C72) → i_{17}
  423. Segment(P0, C73) → j_{17}
  424. Segment(P0, C74) → l_{17}
  425. Segment(P0, C75) → m_{17}
  426. Segment(P0, C76) → n_{17}
  427. Segment(P0, C77) → t_{17}
  428. Segment(P0, C78) → a_{17}
  429. Segment(P0, C79) → b_{17}
  430. Segment(P0, C80) → f_{18}
  431. Segment(B61, C61) → sb61
  432. Segment(B62, C62) → sb62
  433. Segment(B63, C63) → sb63
  434. Segment(B64, C64) → sb64
  435. Segment(B65, C65) → sb65
  436. Segment(B66, C66) → sb66
  437. Segment(B67, C67) → sb67
  438. Segment(B68, C68) → sb68
  439. Segment(B69, C69) → sb69
  440. Segment(B70, C70) → sb70
  441. Segment(B71, C71) → sb71
  442. Segment(B72, C72) → sb72
  443. Segment(B73, C73) → sb73
  444. Segment(B74, C74) → sb74
  445. Segment(B75, C75) → sb75
  446. Segment(B76, C76) → sb76
  447. Segment(B77, C77) → sb77
  448. Segment(B78, C78) → sb78
  449. Segment(B79, C79) → sb79
  450. Segment(B80, C80) → sb80
  451. Rotate(H95, α + (95 * γ), B95) → C95
  452. Circle(P0, C95) → c95
  453. Intersect(c95, s0rt, 2) → B96
  454. Rotate(H96, α + (96 * γ), B96) → C96
  455. Circle(P0, C96) → c96
  456. Intersect(c96, s0rt, 2) → B97
  457. Rotate(H97, α + (97 * γ), B97) → C97
  458. Circle(P0, C97) → c97
  459. Intersect(c97, s0rt, 2) → B98
  460. Rotate(H98, α + (98 * γ), B98) → C98
  461. Circle(P0, C98) → c98
  462. Intersect(c98, s0rt, 2) → B99
  463. Rotate(H99, α + (99 * γ), B99) → C99
  464. Circle(P0, C99) → c99
  465. Intersect(c99, s0rt, 2) → B100
  466. Segment(P0, C81) → n_{21}
  467. Segment(P0, C83) → b_{21}
  468. Segment(P0, C84) → i_{22}
  469. Segment(P0, C85) → j_{22}
  470. Segment(P0, C86) → l_{22}
  471. Segment(P0, C87) → m_{22}
  472. Segment(P0, C88) → n_{22}
  473. Segment(P0, C89) → a_{22}
  474. Segment(P0, C90) → b_{22}
  475. Segment(P0, C91) → f_{23}
  476. Segment(P0, C92) → g_{23}
  477. Segment(P0, C93) → h_{23}
  478. Segment(P0, C94) → i_{23}
  479. Segment(P0, C96) → k_{23}
  480. Segment(P0, C97) → l_{23}
  481. Segment(P0, C98) → m_{23}
  482. Segment(P0, C99) → n_{23}
  483. Segment(B81, C81) → sb81
  484. Segment(B83, C83) → sb83
  485. Segment(B84, C84) → sb84
  486. Segment(B85, C85) → sb85
  487. Segment(B86, C86) → sb86
  488. Segment(B87, C87) → sb87
  489. Segment(B88, C88) → sb88
  490. Segment(B89, C89) → sb89
  491. Segment(B90, C90) → sb90
  492. Segment(B91, C91) → sb91
  493. Segment(B92, C92) → sb92
  494. Segment(B93, C93) → sb93
  495. Segment(B94, C94) → sb94
  496. Segment(B96, C96) → sb96
  497. Segment(B97, C97) → sb97
  498. Segment(B98, C98) → sb98
  499. Segment(B99, C99) → sb99
  500. Segment(P1, C0) → sb0
  501. Segment(P0, C0) → s_{24}
  502. Segment(B95, C95) → sb95
  503. Segment(B82, C82) → sb82
  504. Angle(P1, P0, C0) → β0
  505. Textfield(R0) → CampoInserimento1
  506. Textfield(I) → CampoInserimento2
  507. Textfield(γ) → CampoInserimento3
  508. Angle(B1, P0, C1) → β1
  509. Angle(B2, P0, C2) → β2
  510. Angle(B3, P0, C3) → β3
  511. Angle(B4, P0, C4) → β4
  512. Angle(B5, P0, C5) → β5
  513. Angle(B6, P0, C6) → β6
  514. Angle(B7, P0, C7) → β7
  515. Angle(B8, P0, C8) → β8
  516. Angle(B9, P0, C9) → β9
  517. Angle(B10, P0, C10) → β10
  518. Angle(B11, P0, C11) → β11
  519. Angle(B12, P0, C12) → β12
  520. Angle(B13, P0, C13) → β13
  521. Angle(B14, P0, C14) → β14
  522. Angle(B15, P0, C15) → β15
  523. Angle(B16, P0, C16) → β16
  524. Angle(B17, P0, C17) → β17
  525. Angle(B18, P0, C18) → β18
  526. Angle(B19, P0, C19) → β19
  527. Angle(B20, P0, C20) → β20
  528. Angle(B21, P0, C21) → β21
  529. Angle(B22, P0, C22) → β22
  530. Angle(B23, P0, C23) → β23
  531. Angle(B24, P0, C24) → β24
  532. Angle(B25, P0, C25) → β25
  533. Angle(B26, P0, C26) → β26
  534. Angle(B27, P0, C27) → β27
  535. Angle(B28, P0, C28) → β28
  536. Angle(B29, P0, C29) → β29
  537. Angle(B30, P0, C30) → β30
  538. Angle(B31, P0, C31) → β31
  539. Angle(B32, P0, C32) → β32
  540. Angle(B33, P0, C33) → β33
  541. Angle(B34, P0, C34) → β34
  542. Angle(B35, P0, C35) → β35
  543. Angle(B36, P0, C36) → β36
  544. Angle(B37, P0, C37) → β37
  545. Angle(B38, P0, C38) → β38
  546. Angle(B39, P0, C39) → β39
  547. Angle(B40, P0, C40) → β40
  548. Angle(B41, P0, C41) → β41
  549. Angle(B42, P0, C42) → β42
  550. Angle(B43, P0, C43) → β43
  551. Angle(B44, P0, C44) → β44
  552. Angle(B45, P0, C45) → β45
  553. Angle(B46, P0, C46) → β46
  554. Angle(B47, P0, C47) → β47
  555. Angle(B48, P0, C48) → β48
  556. Angle(B49, P0, C49) → β49
  557. Angle(B50, P0, C50) → β50
  558. Angle(B51, P0, C51) → β51
  559. Angle(B52, P0, C52) → β52
  560. Angle(B53, P0, C53) → β53
  561. Angle(B54, P0, C54) → β54
  562. Angle(B55, P0, C55) → β55
  563. Angle(B56, P0, C56) → β56
  564. Angle(B57, P0, C57) → β57
  565. Angle(B58, P0, C58) → β58
  566. Angle(B59, P0, C59) → β59
  567. Angle(B60, P0, C60) → β60
  568. Angle(B61, P0, C61) → β61
  569. Angle(B62, P0, C62) → β62
  570. Angle(B63, P0, C63) → β63
  571. Angle(B64, P0, C64) → β64
  572. Angle(B65, P0, C65) → β65
  573. Angle(B66, P0, C66) → β66
  574. Angle(B67, P0, C67) → β67
  575. Angle(B68, P0, C68) → β68
  576. Angle(B69, P0, C69) → β69
  577. Angle(B70, P0, C70) → β70
  578. Angle(B71, P0, C71) → β71
  579. Angle(B72, P0, C72) → β72
  580. Angle(B73, P0, C73) → β73
  581. Angle(B74, P0, C74) → β74
  582. Angle(B75, P0, C75) → β75
  583. Angle(B76, P0, C76) → β76
  584. Angle(B77, P0, C77) → β77
  585. Angle(B78, P0, C78) → β78
  586. Angle(B79, P0, C79) → β79
  587. Angle(B80, P0, C80) → β80
  588. Angle(B81, P0, C81) → β81
  589. Angle(B82, P0, C82) → β82
  590. Angle(B83, P0, C83) → β83
  591. Angle(B84, P0, C84) → β84
  592. Angle(B85, P0, C85) → β85
  593. Angle(B86, P0, C86) → β86
  594. Angle(B87, P0, C87) → β87
  595. Angle(B88, P0, C88) → β88
  596. Angle(B89, P0, C89) → β89
  597. Angle(B90, P0, C90) → β90
  598. Angle(B91, P0, C91) → β91
  599. Angle(B92, P0, C92) → β92
  600. Angle(B93, P0, C93) → β93
  601. Angle(B94, P0, C94) → β94
  602. Angle(B95, P0, C95) → β95
  603. Angle(B96, P0, C96) → β96
  604. Angle(B97, P0, C97) → β97
  605. Angle(B98, P0, C98) → β98
  606. Rotate(C1, β0, P0) → W1
  607. Rotate(C2, β0 + β1, P0) → W2
  608. Rotate(C3, β0 + β1 + β2, P0) → W3
  609. Rotate(C4, β0 + β1 + β2 + β3, P0) → W4
  610. Rotate(C5, β0 + β1 + β2 + β3 + β4, P0) → W5
  611. Rotate(C6, β0 + β1 + β2 + β3 + β4 + β5, P0) → W6
  612. Rotate(C7, β0 + β1 + β2 + β3 + β4 + β5 + β6, P0) → W7
  613. Rotate(C8, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7, P0) → W8
  614. Rotate(C9, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8, P0) → W9
  615. Rotate(C10, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9, P0) → W10
  616. Rotate(C11, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10, P0) → W11
  617. Rotate(C12, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11, P0) → W12
  618. Rotate(C13, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12, P0) → W13
  619. Rotate(C14, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13, P0) → W14
  620. Rotate(C15, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14, P0) → W15
  621. Rotate(C16, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15, P0) → W16
  622. Rotate(C17, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16, P0) → W17
  623. Rotate(C18, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17, P0) → W18
  624. Rotate(C19, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18, P0) → W19
  625. Rotate(C20, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19, P0) → W20
  626. Rotate(C21, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20, P0) → W21
  627. Rotate(C22, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21, P0) → W22
  628. Rotate(C23, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22, P0) → W23
  629. Rotate(C24, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23, P0) → W24
  630. Rotate(C25, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24, P0) → W25
  631. Rotate(C26, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25, P0) → W26
  632. Rotate(C27, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26, P0) → W27
  633. Rotate(C28, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27, P0) → W28
  634. Rotate(C29, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28, P0) → W29
  635. Rotate(C30, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29, P0) → W30
  636. Rotate(C31, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30, P0) → W31
  637. Rotate(C32, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31, P0) → W32
  638. Rotate(C33, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32, P0) → W33
  639. Rotate(C34, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33, P0) → W34
  640. Rotate(C35, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34, P0) → W35
  641. Rotate(C36, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35, P0) → W36
  642. Rotate(C37, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36, P0) → W37
  643. Rotate(C38, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37, P0) → W38
  644. Rotate(C39, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38, P0) → W39
  645. Rotate(C40, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39, P0) → W40
  646. Rotate(C41, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40, P0) → W41
  647. Rotate(C42, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41, P0) → W42
  648. Rotate(C43, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42, P0) → W43
  649. Rotate(C44, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43, P0) → W44
  650. Rotate(C45, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44, P0) → W45
  651. Rotate(C46, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45, P0) → W46
  652. Rotate(C47, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46, P0) → W47
  653. Rotate(C48, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47, P0) → W48
  654. Rotate(C49, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48, P0) → W49
  655. Rotate(C50, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49, P0) → W50
  656. Rotate(C51, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50, P0) → W51
  657. Rotate(C52, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51, P0) → W52
  658. Rotate(C53, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52, P0) → W53
  659. Rotate(C54, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53, P0) → W54
  660. Rotate(C55, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54, P0) → W55
  661. Rotate(C56, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55, P0) → W56
  662. Rotate(C57, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56, P0) → W57
  663. Rotate(C58, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57, P0) → W58
  664. Rotate(C59, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58, P0) → W59
  665. Rotate(C60, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59, P0) → W60
  666. Rotate(C61, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60, P0) → W61
  667. Rotate(C62, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61, P0) → W62
  668. Rotate(C63, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62, P0) → W63
  669. Rotate(C64, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63, P0) → W64
  670. Rotate(C65, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64, P0) → W65
  671. Rotate(C66, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65, P0) → W66
  672. Rotate(C67, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66, P0) → W67
  673. Rotate(C68, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67, P0) → W68
  674. Rotate(C69, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68, P0) → W69
  675. Rotate(C70, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69, P0) → W70
  676. Rotate(C71, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70, P0) → W71
  677. Rotate(C72, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71, P0) → W72
  678. Rotate(C73, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72, P0) → W73
  679. Rotate(C74, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73, P0) → W74
  680. Rotate(C75, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74, P0) → W75
  681. Rotate(C76, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75, P0) → W76
  682. Rotate(C77, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76, P0) → W77
  683. Rotate(C78, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77, P0) → W78
  684. Rotate(C79, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78, P0) → W79
  685. Rotate(C80, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79, P0) → W80
  686. Rotate(C81, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80, P0) → W81
  687. Rotate(C82, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81, P0) → W82
  688. Rotate(C83, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82, P0) → W83
  689. Rotate(C84, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83, P0) → W84
  690. Rotate(C85, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84, P0) → W85
  691. Rotate(C86, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85, P0) → W86
  692. Rotate(C87, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86, P0) → W87
  693. Rotate(C88, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87, P0) → W88
  694. Rotate(C89, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87 + β88, P0) → W89
  695. Rotate(C90, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87 + β88 + β89, P0) → W90
  696. Rotate(C91, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87 + β88 + β89 + β90, P0) → W91
  697. Rotate(C92, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87 + β88 + β89 + β90 + β91, P0) → W92
  698. Rotate(C93, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87 + β88 + β89 + β90 + β91 + β92, P0) → W93
  699. Rotate(C94, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87 + β88 + β89 + β90 + β91 + β92 + β93, P0) → W94
  700. Rotate(C95, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87 + β88 + β89 + β90 + β91 + β92 + β93 + β94, P0) → W95
  701. Rotate(C96, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87 + β88 + β89 + β90 + β91 + β92 + β93 + β94 + β95, P0) → W96
  702. Rotate(C97, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87 + β88 + β89 + β90 + β91 + β92 + β93 + β94 + β95 + β96, P0) → W97
  703. Rotate(C98, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87 + β88 + β89 + β90 + β91 + β92 + β93 + β94 + β95 + β96 + β97, P0) → W98
  704. Rotate(C99, β0 + β1 + β2 + β3 + β4 + β5 + β6 + β7 + β8 + β9 + β10 + β11 + β12 + β13 + β14 + β15 + β16 + β17 + β18 + β19 + β20 + β21 + β22 + β23 + β24 + β25 + β26 + β27 + β28 + β29 + β30 + β31 + β32 + β33 + β34 + β35 + β36 + β37 + β38 + β39 + β40 + β41 + β42 + β43 + β44 + β45 + β46 + β47 + β48 + β49 + β50 + β51 + β52 + β53 + β54 + β55 + β56 + β57 + β58 + β59 + β60 + β61 + β62 + β63 + β64 + β65 + β66 + β67 + β68 + β69 + β70 + β71 + β72 + β73 + β74 + β75 + β76 + β77 + β78 + β79 + β80 + β81 + β82 + β83 + β84 + β85 + β86 + β87 + β88 + β89 + β90 + β91 + β92 + β93 + β94 + β95 + β96 + β97 + β98, P0) → W99
  705. Segment(C0, W1) → f
  706. Segment(W1, W2) → h
  707. Segment(W2, W3) → i
  708. Segment(W3, W4) → l
  709. Segment(W4, W5) → m
  710. Segment(W5, W6) → n
  711. Segment(W6, W7) → p
  712. Segment(W7, W8) → q
  713. Segment(W8, W9) → r
  714. Segment(W9, W10) → s
  715. Segment(W10, W11) → t
  716. Segment(W11, W12) → a
  717. Segment(W12, W13) → b
  718. Segment(W13, W14) → c
  719. Segment(W14, W15) → d
  720. Segment(W15, W16) → e
  721. Segment(W16, W17) → f_1
  722. Segment(W17, W18) → g_1
  723. Segment(W18, W19) → h_1
  724. Segment(W19, W20) → i_1
  725. Segment(W20, W21) → m_1
  726. Segment(W21, W22) → n_1
  727. Segment(W22, W23) → p_1
  728. Segment(W23, W24) → q_1
  729. Segment(W24, W25) → r_1
  730. Segment(W25, W26) → s_1
  731. Segment(W26, W27) → a_1
  732. Segment(W27, W28) → b_1
  733. Segment(W28, W29) → c_1
  734. Segment(W29, W30) → d_1
  735. Segment(W30, W31) → e_1
  736. Segment(W31, W32) → g_2
  737. Segment(W32, W33) → h_2
  738. Segment(W33, W34) → i_2
  739. Segment(W34, W35) → j_2
  740. Segment(W35, W36) → k_2
  741. Segment(W36, W37) → m_2
  742. Segment(W37, W38) → n_2
  743. Segment(W38, W39) → p_2
  744. Segment(W39, W40) → q_2
  745. Segment(W40, W41) → r_2
  746. Segment(W41, W42) → t_2
  747. Segment(W42, W43) → a_2
  748. Segment(W43, W44) → b_2
  749. Segment(W44, W45) → c_2
  750. Segment(W45, W46) → d_2
  751. Segment(W46, W47) → e_2
  752. Segment(W47, W48) → f_3
  753. Segment(W48, W49) → h_3
  754. Segment(W49, W50) → i_3
  755. Segment(W50, W51) → k_3
  756. Segment(W51, W52) → l_3
  757. Segment(W52, W53) → m_3
  758. Segment(W53, W54) → p_3
  759. Segment(W54, W55) → q_3
  760. Segment(W55, W56) → r_3
  761. Segment(W56, W57) → s_3
  762. Segment(W57, W58) → t_3
  763. Segment(W58, W59) → a_3
  764. Segment(W59, W60) → b_3
  765. Segment(W60, W61) → c_3
  766. Segment(W61, W62) → d_3
  767. Segment(W62, W63) → e_3
  768. Segment(W63, W64) → g_4
  769. Segment(W64, W65) → h_4
  770. Segment(W65, W66) → i_4
  771. Segment(W66, W67) → k_4
  772. Segment(W67, W68) → l_4
  773. Segment(W68, W69) → m_4
  774. Segment(W69, W70) → p_4
  775. Segment(W70, W71) → q_4
  776. Segment(W71, W72) → r_4
  777. Segment(W72, W73) → s_4
  778. Segment(W73, W74) → t_4
  779. Segment(W74, W75) → a_4
  780. Segment(W75, W76) → c_4
  781. Segment(W76, W77) → d_4
  782. Segment(W77, W78) → e_4
  783. Segment(W78, W79) → g_5
  784. Segment(W79, W80) → k_5
  785. Segment(W80, W81) → l_5
  786. Segment(W81, W82) → p_5
  787. Segment(W82, W83) → q_5
  788. Segment(W83, W84) → r_5
  789. Segment(W84, W85) → s_5
  790. Segment(W85, W86) → c_5
  791. Segment(W86, W87) → d_5
  792. Segment(W87, W88) → e_5
  793. Segment(W88, W89) → f_6
  794. Segment(W89, W90) → h_6
  795. Segment(W90, W91) → k_6
  796. Segment(W91, W92) → m_6
  797. Segment(W92, W93) → p_6
  798. Segment(W93, W94) → q_6
  799. Segment(W94, W95) → r_6
  800. Segment(W95, W96) → t_6
  801. Segment(W96, W97) → c_6
  802. Segment(W97, W98) → d_6
  803. Segment(W98, W99) → e_6
  804. Segment(P0, W1) → h_7
  805. Segment(P0, W2) → k_7
  806. Segment(P0, W3) → p_7
  807. Segment(P0, W4) → q_7
  808. Segment(P0, W5) → r_7
  809. Segment(P0, W6) → s_7
  810. Segment(P0, W7) → a_7
  811. Segment(P0, W8) → b_7
  812. Segment(P0, W9) → c_7
  813. Segment(P0, W10) → d_7
  814. Segment(P0, W11) → e_7
  815. Segment(P0, W12) → f_8
  816. Segment(P0, W13) → g_8
  817. Segment(P0, W14) → h_8
  818. Segment(P0, W15) → i_8
  819. Segment(P0, W16) → j_8
  820. Segment(P0, W17) → k_8
  821. Segment(P0, W18) → l_8
  822. Segment(P0, W19) → m_8
  823. Segment(P0, W20) → n_8
  824. Segment(P0, W21) → p_8
  825. Segment(P0, W22) → q_8
  826. Segment(P0, W23) → r_8
  827. Segment(P0, W24) → s_8
  828. Segment(P0, W25) → t_8
  829. Segment(P0, W26) → a_8
  830. Segment(P0, W27) → b_8
  831. Segment(P0, W28) → c_8
  832. Segment(P0, W29) → d_8
  833. Segment(P0, W30) → e_8
  834. Segment(P0, W31) → f_9
  835. Segment(P0, W32) → g_9
  836. Segment(P0, W33) → h_9
  837. Segment(P0, W34) → i_9
  838. Segment(P0, W35) → j_9
  839. Segment(P0, W36) → k_9
  840. Segment(P0, W37) → l_9
  841. Segment(P0, W38) → m_9
  842. Segment(P0, W39) → n_9
  843. Segment(P0, W40) → p_9
  844. Segment(P0, W41) → q_9
  845. Segment(P0, W42) → r_9
  846. Segment(P0, W43) → s_9
  847. Segment(P0, W44) → t_9
  848. Segment(P0, W45) → a_9
  849. Segment(P0, W46) → b_9
  850. Segment(P0, W47) → c_9
  851. Segment(P0, W48) → d_9
  852. Segment(P0, W49) → e_9
  853. Segment(P0, W50) → f_{10}
  854. Segment(P0, W51) → g_{10}
  855. Segment(P0, W52) → h_{10}
  856. Segment(P0, W53) → i_{10}
  857. Segment(P0, W54) → j_{10}
  858. Segment(P0, W55) → k_{10}
  859. Segment(P0, W56) → l_{10}
  860. Segment(P0, W57) → m_{10}
  861. Segment(P0, W58) → n_{10}
  862. Segment(P0, W59) → p_{10}
  863. Segment(P0, W60) → q_{10}
  864. Segment(P0, W61) → r_{10}
  865. Segment(P0, W62) → s_{10}
  866. Segment(P0, W63) → t_{10}
  867. Segment(P0, W64) → a_{10}
  868. Segment(P0, W65) → b_{10}
  869. Segment(P0, W66) → c_{10}
  870. Segment(P0, W67) → d_{10}
  871. Segment(P0, W68) → e_{10}
  872. Segment(P0, W69) → f_{11}
  873. Segment(P0, W70) → g_{11}
  874. Segment(P0, W71) → h_{11}
  875. Segment(P0, W72) → i_{11}
  876. Segment(P0, W73) → j_{11}
  877. Segment(P0, W74) → k_{11}
  878. Segment(P0, W75) → l_{11}
  879. Segment(P0, W76) → m_{11}
  880. Segment(P0, W77) → n_{11}
  881. Segment(P0, W78) → p_{11}
  882. Segment(P0, W79) → q_{11}
  883. Segment(P0, W80) → r_{11}
  884. Segment(P0, W81) → s_{11}
  885. Segment(P0, W82) → t_{11}
  886. Segment(P0, W83) → a_{11}
  887. Segment(P0, W84) → b_{11}
  888. Segment(P0, W85) → c_{11}
  889. Segment(P0, W86) → d_{11}
  890. Segment(P0, W87) → e_{11}
  891. Segment(P0, W88) → f_{12}
  892. Segment(P0, W89) → g_{12}
  893. Segment(P0, W90) → h_{12}
  894. Segment(P0, W91) → i_{12}
  895. Segment(P0, W92) → j_{12}
  896. Segment(P0, W93) → k_{12}
  897. Segment(P0, W94) → l_{12}
  898. Segment(P0, W95) → m_{12}
  899. Segment(P0, W96) → n_{12}
  900. Segment(P0, W97) → p_{12}
  901. Segment(P0, W98) → q_{12}
  902. Segment(P0, W99) → r_{12}
  903. Max({MxP1, MxB1, MxB2, MxB3, MxB4, MxB5, MxB6, MxB7, MxB8, MxB9, MxB10, MxB11, MxB12, MxB13, MxB14, MxB15, MxB16, MxB17, MxB18, MxB19, MxB20, MxB21, MxB22, MxB23, MxB24, MxB25, MxB26, MxB27, MxB28, MxB29, MxB30, MxB31, MxB32, MxB33, MxB34, MxB35, MxB36, MxB37, MxB38, MxB39, MxB40, MxB41, MxB42, MxB43, MxB44, MxB45, MxB46, MxB47, MxB48, MxB49, MxB50, MxB51, MxB52, MxB53, MxB54, MxB55, MxB56, MxB57, MxB58, MxB59, MxB60, MxB61, MxB62, MxB63, MxB64, MxB65, MxB66, MxB67, MxB68, MxB69, MxB70, MxB71, MxB72, MxB73, MxB74, MxB75, MxB76, MxB77, MxB78, MxB79, MxB80, MxB81, MxB82, MxB83, MxB84, MxB85, MxB86, MxB87, MxB88, MxB89, MxB90, MxB91, MxB92, MxB93, MxB94, MxB95, MxB96, MxB97, MxB98, MxB99, MxB100}) → QuadMaxX
  904. Textfield(L) → CampoInserimento4
  905. Textfield(α) → CampoInserimento5
  906. Segment(P0, Point[Circle[P0, MaxX]]) → s0seg