五变量控制的五边形简化演示

GeoGebra 命令及参数

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