Wiggle曲线：参数方程与正弦波变形

GeoGebra 命令及参数

1. CurveCartesian(((100 + FY((S * t))) * cos(t + T)) - (FX((S * t)) * sin(t + T)), ((100 + FY((S * t))) * sin(t + T)) + (FX((S * t)) * cos(t + T)), t, 0, ((3 / 4 * 2) * π)) → C
2. Zip("C" + (Text[k]), k, 1…n) → Lname
3. Zip(C((((3 / 4 * 2) * π / n) * k)), k, 1…n) → Ln
4. Segment(Element[Ln, 1], Element[Ln, 2]) → C1
5. Segment(Element[Ln, 2], Element[Ln, 3]) → C2
6. Segment(Element[Ln, 3], Element[Ln, 4]) → C3
7. Segment(Element[Ln, 4], Element[Ln, 5]) → C4
8. Segment(Element[Ln, 5], Element[Ln, 6]) → C5
9. Segment(Element[Ln, 6], Element[Ln, 7]) → C6
10. Segment(Element[Ln, 7], Element[Ln, 8]) → C7
11. Segment(Element[Ln, 8], Element[Ln, 9]) → C8
12. Segment(Element[Ln, 9], Element[Ln, 10]) → C9
13. Segment(Element[Ln, 10], Element[Ln, 11]) → C10
14. Segment(Element[Ln, 11], Element[Ln, 12]) → C11
15. Segment(Element[Ln, 12], Element[Ln, 13]) → C12
16. Segment(Element[Ln, 13], Element[Ln, 14]) → C13
17. Segment(Element[Ln, 14], Element[Ln, 15]) → C14
18. Segment(Element[Ln, 15], Element[Ln, 16]) → C15
19. Segment(Element[Ln, 16], Element[Ln, 17]) → C16
20. Segment(Element[Ln, 17], Element[Ln, 18]) → C17
21. Segment(Element[Ln, 18], Element[Ln, 19]) → C18
22. Segment(Element[Ln, 19], Element[Ln, 20]) → C19
23. Segment(Element[Ln, 20], Element[Ln, 21]) → C20
24. Segment(Element[Ln, 21], Element[Ln, 22]) → C21
25. Segment(Element[Ln, 22], Element[Ln, 23]) → C22
26. Segment(Element[Ln, 23], Element[Ln, 24]) → C23
27. Segment(Element[Ln, 24], Element[Ln, 25]) → C24
28. Segment(Element[Ln, 25], Element[Ln, 26]) → C25
29. Segment(Element[Ln, 26], Element[Ln, 27]) → C26
30. Segment(Element[Ln, 27], Element[Ln, 28]) → C27
31. Segment(Element[Ln, 28], Element[Ln, 29]) → C28
32. Segment(Element[Ln, 29], Element[Ln, 30]) → C29
33. Segment(Element[Ln, 30], Element[Ln, 31]) → C30
34. Segment(Element[Ln, 31], Element[Ln, 32]) → C31
35. Segment(Element[Ln, 32], Element[Ln, 33]) → C32
36. Segment(Element[Ln, 33], Element[Ln, 34]) → C33
37. Segment(Element[Ln, 34], Element[Ln, 35]) → C34
38. Segment(Element[Ln, 35], Element[Ln, 36]) → C35
39. Segment(Element[Ln, 36], Element[Ln, 37]) → C36
40. Segment(Element[Ln, 37], Element[Ln, 38]) → C37
41. Segment(Element[Ln, 38], Element[Ln, 39]) → C38
42. Segment(Element[Ln, 39], Element[Ln, 40]) → C39
43. Segment(Element[Ln, 40], Element[Ln, 41]) → C40
44. Segment(Element[Ln, 41], Element[Ln, 42]) → C41
45. Segment(Element[Ln, 42], Element[Ln, 43]) → C42
46. Segment(Element[Ln, 43], Element[Ln, 44]) → C43
47. Segment(Element[Ln, 44], Element[Ln, 45]) → C44
48. Segment(Element[Ln, 45], Element[Ln, 46]) → C45
49. Segment(Element[Ln, 46], Element[Ln, 47]) → C46
50. Segment(Element[Ln, 47], Element[Ln, 48]) → C47
51. Segment(Element[Ln, 48], Element[Ln, 49]) → C48
52. Segment(Element[Ln, 49], Element[Ln, 50]) → C49
53. Segment(Element[Ln, 50], Element[Ln, 51]) → C50
54. Segment(Element[Ln, 51], Element[Ln, 52]) → C51
55. Segment(Element[Ln, 52], Element[Ln, 53]) → C52
56. Segment(Element[Ln, 53], Element[Ln, 54]) → C53
57. Segment(Element[Ln, 54], Element[Ln, 55]) → C54
58. Segment(Element[Ln, 55], Element[Ln, 56]) → C55
59. Segment(Element[Ln, 56], Element[Ln, 57]) → C56
60. Segment(Element[Ln, 57], Element[Ln, 58]) → C57
61. Segment(Element[Ln, 58], Element[Ln, 59]) → C58
62. Segment(Element[Ln, 59], Element[Ln, 60]) → C59
63. Segment(Element[Ln, 60], Element[Ln, 61]) → C60
64. Segment(Element[Ln, 61], Element[Ln, 62]) → C61
65. Segment(Element[Ln, 62], Element[Ln, 63]) → C62
66. Segment(Element[Ln, 63], Element[Ln, 64]) → C63
67. Segment(Element[Ln, 64], Element[Ln, 65]) → C64
68. Segment(Element[Ln, 65], Element[Ln, 66]) → C65
69. Segment(Element[Ln, 66], Element[Ln, 67]) → C66
70. Segment(Element[Ln, 67], Element[Ln, 68]) → C67
71. Segment(Element[Ln, 68], Element[Ln, 69]) → C68
72. Segment(Element[Ln, 69], Element[Ln, 70]) → C69
73. Segment(Element[Ln, 70], Element[Ln, 71]) → C70
74. Segment(Element[Ln, 71], Element[Ln, 72]) → C71
75. Segment(Element[Ln, 72], Element[Ln, 73]) → C72
76. Segment(Element[Ln, 73], Element[Ln, 74]) → C73
77. Segment(Element[Ln, 74], Element[Ln, 75]) → C74
78. Segment(Element[Ln, 75], Element[Ln, 76]) → C75
79. Segment(Element[Ln, 76], Element[Ln, 77]) → C76
80. Segment(Element[Ln, 77], Element[Ln, 78]) → C77
81. Segment(Element[Ln, 78], Element[Ln, 79]) → C78
82. Segment(Element[Ln, 79], Element[Ln, 80]) → C79
83. Segment(Element[Ln, 80], Element[Ln, 81]) → C80
84. Segment(Element[Ln, 81], Element[Ln, 82]) → C81
85. Segment(Element[Ln, 82], Element[Ln, 83]) → C82
86. Segment(Element[Ln, 83], Element[Ln, 84]) → C83
87. Segment(Element[Ln, 84], Element[Ln, 85]) → C84
88. Segment(Element[Ln, 85], Element[Ln, 86]) → C85
89. Segment(Element[Ln, 86], Element[Ln, 87]) → C86
90. Segment(Element[Ln, 87], Element[Ln, 88]) → C87
91. Segment(Element[Ln, 88], Element[Ln, 89]) → C88
92. Segment(Element[Ln, 89], Element[Ln, 90]) → C89
93. Segment(Element[Ln, 90], Element[Ln, 91]) → C90
94. Segment(Element[Ln, 91], Element[Ln, 92]) → C91
95. Segment(Element[Ln, 92], Element[Ln, 93]) → C92
96. Segment(Element[Ln, 93], Element[Ln, 94]) → C93
97. Segment(Element[Ln, 94], Element[Ln, 95]) → C94
98. Segment(Element[Ln, 95], Element[Ln, 96]) → C95
99. Segment(Element[Ln, 96], Element[Ln, 97]) → C96
100. Segment(Element[Ln, 97], Element[Ln, 98]) → C97
101. Segment(Element[Ln, 98], Element[Ln, 99]) → C98
102. Segment(Element[Ln, 99], Element[Ln, 100]) → C99
103. Segment(Element[Ln, 100], Element[Ln, 101]) → C100
104. Segment(Element[Ln, 101], Element[Ln, 102]) → C101
105. Segment(Element[Ln, 102], Element[Ln, 103]) → C102
106. Segment(Element[Ln, 103], Element[Ln, 104]) → C103
107. Segment(Element[Ln, 104], Element[Ln, 105]) → C104
108. Segment(Element[Ln, 105], Element[Ln, 106]) → C105
109. Segment(Element[Ln, 106], Element[Ln, 107]) → C106
110. Segment(Element[Ln, 107], Element[Ln, 108]) → C107
111. Segment(Element[Ln, 108], Element[Ln, 109]) → C108
112. Segment(Element[Ln, 109], Element[Ln, 110]) → C109
113. Segment(Element[Ln, 110], Element[Ln, 111]) → C110
114. Segment(Element[Ln, 111], Element[Ln, 112]) → C111
115. Segment(Element[Ln, 112], Element[Ln, 113]) → C112
116. Segment(Element[Ln, 113], Element[Ln, 114]) → C113
117. Segment(Element[Ln, 114], Element[Ln, 115]) → C114
118. Segment(Element[Ln, 115], Element[Ln, 116]) → C115
119. Segment(Element[Ln, 116], Element[Ln, 117]) → C116
120. Segment(Element[Ln, 117], Element[Ln, 118]) → C117
121. Segment(Element[Ln, 118], Element[Ln, 119]) → C118
122. Segment(Element[Ln, 119], Element[Ln, 120]) → C119
123. Segment(Element[Ln, 120], Element[Ln, 121]) → C120
124. Segment(Element[Ln, 121], Element[Ln, 122]) → C121
125. Segment(Element[Ln, 122], Element[Ln, 123]) → C122
126. Segment(Element[Ln, 123], Element[Ln, 124]) → C123
127. Segment(Element[Ln, 124], Element[Ln, 125]) → C124
128. Segment(Element[Ln, 125], Element[Ln, 126]) → C125
129. Segment(Element[Ln, 126], Element[Ln, 127]) → C126
130. Segment(Element[Ln, 127], Element[Ln, 128]) → C127
131. Segment(Element[Ln, 128], Element[Ln, 129]) → C128
132. Segment(Element[Ln, 129], Element[Ln, 130]) → C129
133. Segment(Element[Ln, 130], Element[Ln, 131]) → C130
134. Segment(Element[Ln, 131], Element[Ln, 132]) → C131
135. Segment(Element[Ln, 132], Element[Ln, 133]) → C132
136. Segment(Element[Ln, 133], Element[Ln, 134]) → C133
137. Segment(Element[Ln, 134], Element[Ln, 135]) → C134
138. Segment(Element[Ln, 135], Element[Ln, 136]) → C135
139. Segment(Element[Ln, 136], Element[Ln, 137]) → C136
140. Segment(Element[Ln, 137], Element[Ln, 138]) → C137
141. Segment(Element[Ln, 138], Element[Ln, 139]) → C138
142. Segment(Element[Ln, 139], Element[Ln, 140]) → C139
143. Segment(Element[Ln, 140], Element[Ln, 141]) → C140
144. Segment(Element[Ln, 141], Element[Ln, 142]) → C141
145. Segment(Element[Ln, 142], Element[Ln, 143]) → C142
146. Segment(Element[Ln, 143], Element[Ln, 144]) → C143
147. Segment(Element[Ln, 144], Element[Ln, 145]) → C144
148. Segment(Element[Ln, 145], Element[Ln, 146]) → C145
149. Segment(Element[Ln, 146], Element[Ln, 147]) → C146
150. Segment(Element[Ln, 147], Element[Ln, 148]) → C147
151. Segment(Element[Ln, 148], Element[Ln, 149]) → C148
152. Segment(Element[Ln, 149], Element[Ln, 150]) → C149
153. Segment(Element[Ln, 150], Element[Ln, 151]) → C150
154. Segment(Element[Ln, 151], Element[Ln, 152]) → C151
155. Segment(Element[Ln, 152], Element[Ln, 153]) → C152
156. Segment(Element[Ln, 153], Element[Ln, 154]) → C153
157. Segment(Element[Ln, 154], Element[Ln, 155]) → C154
158. Segment(Element[Ln, 155], Element[Ln, 156]) → C155
159. Segment(Element[Ln, 156], Element[Ln, 157]) → C156
160. Segment(Element[Ln, 157], Element[Ln, 158]) → C157
161. Segment(Element[Ln, 158], Element[Ln, 159]) → C158
162. Segment(Element[Ln, 159], Element[Ln, 160]) → C159
163. Segment(Element[Ln, 160], Element[Ln, 161]) → C160
164. Segment(Element[Ln, 161], Element[Ln, 162]) → C161
165. Segment(Element[Ln, 162], Element[Ln, 163]) → C162
166. Segment(Element[Ln, 163], Element[Ln, 164]) → C163
167. Segment(Element[Ln, 164], Element[Ln, 165]) → C164
168. Segment(Element[Ln, 165], Element[Ln, 166]) → C165
169. Segment(Element[Ln, 166], Element[Ln, 167]) → C166
170. Segment(Element[Ln, 167], Element[Ln, 168]) → C167
171. Segment(Element[Ln, 168], Element[Ln, 169]) → C168
172. Segment(Element[Ln, 169], Element[Ln, 170]) → C169
173. Segment(Element[Ln, 170], Element[Ln, 171]) → C170
174. Segment(Element[Ln, 171], Element[Ln, 172]) → C171
175. Segment(Element[Ln, 172], Element[Ln, 173]) → C172
176. Segment(Element[Ln, 173], Element[Ln, 174]) → C173
177. Segment(Element[Ln, 174], Element[Ln, 175]) → C174
178. Segment(Element[Ln, 175], Element[Ln, 176]) → C175
179. Segment(Element[Ln, 176], Element[Ln, 177]) → C176
180. Segment(Element[Ln, 177], Element[Ln, 178]) → C177
181. Segment(Element[Ln, 178], Element[Ln, 179]) → C178
182. Segment(Element[Ln, 179], Element[Ln, 180]) → C179
183. Segment(Element[Ln, 180], Element[Ln, 181]) → C180
184. Segment(Element[Ln, 181], Element[Ln, 182]) → C181
185. Segment(Element[Ln, 182], Element[Ln, 183]) → C182
186. Segment(Element[Ln, 183], Element[Ln, 184]) → C183
187. Segment(Element[Ln, 184], Element[Ln, 185]) → C184
188. Segment(Element[Ln, 185], Element[Ln, 186]) → C185
189. Segment(Element[Ln, 186], Element[Ln, 187]) → C186
190. Segment(Element[Ln, 187], Element[Ln, 188]) → C187
191. Segment(Element[Ln, 188], Element[Ln, 189]) → C188
192. Segment(Element[Ln, 189], Element[Ln, 190]) → C189
193. Segment(Element[Ln, 190], Element[Ln, 191]) → C190
194. Segment(Element[Ln, 191], Element[Ln, 192]) → C191
195. Segment(Element[Ln, 192], Element[Ln, 193]) → C192
196. Segment(Element[Ln, 193], Element[Ln, 194]) → C193
197. Segment(Element[Ln, 194], Element[Ln, 195]) → C194
198. Segment(Element[Ln, 195], Element[Ln, 196]) → C195
199. Segment(Element[Ln, 196], Element[Ln, 197]) → C196
200. Segment(Element[Ln, 197], Element[Ln, 198]) → C197
201. Segment(Element[Ln, 198], Element[Ln, 199]) → C198
202. Segment(Element[Ln, 199], Element[Ln, 200]) → C199
203. Segment(Element[Ln, 200], Element[Ln, 201]) → C200
204. Segment(Element[Ln, 201], Element[Ln, 202]) → C201
205. Segment(Element[Ln, 202], Element[Ln, 203]) → C202
206. Segment(Element[Ln, 203], Element[Ln, 204]) → C203
207. Segment(Element[Ln, 204], Element[Ln, 205]) → C204
208. Segment(Element[Ln, 205], Element[Ln, 206]) → C205
209. Segment(Element[Ln, 206], Element[Ln, 207]) → C206
210. Segment(Element[Ln, 207], Element[Ln, 208]) → C207
211. Segment(Element[Ln, 208], Element[Ln, 209]) → C208
212. Segment(Element[Ln, 209], Element[Ln, 210]) → C209
213. Segment(Element[Ln, 210], Element[Ln, 211]) → C210
214. Segment(Element[Ln, 211], Element[Ln, 212]) → C211
215. Segment(Element[Ln, 212], Element[Ln, 213]) → C212
216. Segment(Element[Ln, 213], Element[Ln, 214]) → C213
217. Segment(Element[Ln, 214], Element[Ln, 215]) → C214
218. Segment(Element[Ln, 215], Element[Ln, 216]) → C215
219. Segment(Element[Ln, 216], Element[Ln, 217]) → C216
220. Segment(Element[Ln, 217], Element[Ln, 218]) → C217
221. Segment(Element[Ln, 218], Element[Ln, 219]) → C218
222. Segment(Element[Ln, 219], Element[Ln, 220]) → C219
223. Segment(Element[Ln, 220], Element[Ln, 221]) → C220
224. Segment(Element[Ln, 221], Element[Ln, 222]) → C221
225. Segment(Element[Ln, 222], Element[Ln, 223]) → C222
226. Segment(Element[Ln, 223], Element[Ln, 224]) → C223
227. Segment(Element[Ln, 224], Element[Ln, 225]) → C224
228. Segment(Element[Ln, 225], Element[Ln, 226]) → C225
229. Segment(Element[Ln, 226], Element[Ln, 227]) → C226
230. Segment(Element[Ln, 227], Element[Ln, 228]) → C227
231. Segment(Element[Ln, 228], Element[Ln, 229]) → C228
232. Segment(Element[Ln, 229], Element[Ln, 230]) → C229
233. Segment(Element[Ln, 230], Element[Ln, 231]) → C230
234. Segment(Element[Ln, 231], Element[Ln, 232]) → C231
235. Segment(Element[Ln, 232], Element[Ln, 233]) → C232
236. Segment(Element[Ln, 233], Element[Ln, 234]) → C233
237. Segment(Element[Ln, 234], Element[Ln, 235]) → C234
238. Segment(Element[Ln, 235], Element[Ln, 236]) → C235
239. Segment(Element[Ln, 236], Element[Ln, 237]) → C236
240. Segment(Element[Ln, 237], Element[Ln, 238]) → C237
241. Segment(Element[Ln, 238], Element[Ln, 239]) → C238
242. Segment(Element[Ln, 239], Element[Ln, 240]) → C239
243. Segment(Element[Ln, 240], Element[Ln, 241]) → C240
244. Segment(Element[Ln, 241], Element[Ln, 242]) → C241
245. Segment(Element[Ln, 242], Element[Ln, 243]) → C242
246. Segment(Element[Ln, 243], Element[Ln, 244]) → C243
247. Segment(Element[Ln, 244], Element[Ln, 245]) → C244
248. Segment(Element[Ln, 245], Element[Ln, 246]) → C245
249. Segment(Element[Ln, 246], Element[Ln, 247]) → C246
250. Segment(Element[Ln, 247], Element[Ln, 248]) → C247
251. Segment(Element[Ln, 248], Element[Ln, 249]) → C248
252. Segment(Element[Ln, 249], Element[Ln, 250]) → C249
253. Segment(Element[Ln, 250], Element[Ln, 251]) → C250
254. Segment(Element[Ln, 251], Element[Ln, 252]) → C251
255. Segment(Element[Ln, 252], Element[Ln, 253]) → C252
256. Segment(Element[Ln, 253], Element[Ln, 254]) → C253
257. Segment(Element[Ln, 254], Element[Ln, 255]) → C254
258. Segment(Element[Ln, 255], Element[Ln, 256]) → C255
259. Segment(Element[Ln, 256], Element[Ln, 257]) → C256
260. Segment(Element[Ln, 257], Element[Ln, 258]) → C257
261. Segment(Element[Ln, 258], Element[Ln, 259]) → C258
262. Segment(Element[Ln, 259], Element[Ln, 260]) → C259
263. Segment(Element[Ln, 260], Element[Ln, 261]) → C260
264. Segment(Element[Ln, 261], Element[Ln, 262]) → C261
265. Segment(Element[Ln, 262], Element[Ln, 263]) → C262
266. Segment(Element[Ln, 263], Element[Ln, 264]) → C263
267. Segment(Element[Ln, 264], Element[Ln, 265]) → C264
268. Segment(Element[Ln, 265], Element[Ln, 266]) → C265
269. Segment(Element[Ln, 266], Element[Ln, 267]) → C266
270. Segment(Element[Ln, 267], Element[Ln, 268]) → C267
271. Segment(Element[Ln, 268], Element[Ln, 269]) → C268
272. Segment(Element[Ln, 269], Element[Ln, 270]) → C269
273. Segment(Element[Ln, 270], Element[Ln, 271]) → C270
274. Segment(Element[Ln, 271], Element[Ln, 272]) → C271
275. Segment(Element[Ln, 272], Element[Ln, 273]) → C272
276. Segment(Element[Ln, 273], Element[Ln, 274]) → C273
277. Segment(Element[Ln, 274], Element[Ln, 275]) → C274
278. Segment(Element[Ln, 275], Element[Ln, 276]) → C275
279. Segment(Element[Ln, 276], Element[Ln, 277]) → C276
280. Segment(Element[Ln, 277], Element[Ln, 278]) → C277
281. Segment(Element[Ln, 278], Element[Ln, 279]) → C278
282. Segment(Element[Ln, 279], Element[Ln, 280]) → C279
283. Segment(Element[Ln, 280], Element[Ln, 281]) → C280
284. Segment(Element[Ln, 281], Element[Ln, 282]) → C281
285. Segment(Element[Ln, 282], Element[Ln, 283]) → C282
286. Segment(Element[Ln, 283], Element[Ln, 284]) → C283
287. Segment(Element[Ln, 284], Element[Ln, 285]) → C284
288. Segment(Element[Ln, 285], Element[Ln, 286]) → C285
289. Segment(Element[Ln, 286], Element[Ln, 287]) → C286
290. Segment(Element[Ln, 287], Element[Ln, 288]) → C287
291. Segment(Element[Ln, 288], Element[Ln, 289]) → C288
292. Segment(Element[Ln, 289], Element[Ln, 290]) → C289
293. Segment(Element[Ln, 290], Element[Ln, 291]) → C290
294. Segment(Element[Ln, 291], Element[Ln, 292]) → C291
295. Segment(Element[Ln, 292], Element[Ln, 293]) → C292
296. Segment(Element[Ln, 293], Element[Ln, 294]) → C293
297. Segment(Element[Ln, 294], Element[Ln, 295]) → C294
298. Segment(Element[Ln, 295], Element[Ln, 296]) → C295
299. Segment(Element[Ln, 296], Element[Ln, 297]) → C296
300. Segment(Element[Ln, 297], Element[Ln, 298]) → C297
301. Segment(Element[Ln, 298], Element[Ln, 299]) → C298
302. Segment(Element[Ln, 299], Element[Ln, 300]) → C299
303. Segment(Element[Ln, 300], Element[Ln, 301]) → C300
304. Segment(Element[Ln, 301], Element[Ln, 302]) → C301
305. Segment(Element[Ln, 302], Element[Ln, 303]) → C302
306. Segment(Element[Ln, 303], Element[Ln, 304]) → C303
307. Segment(Element[Ln, 304], Element[Ln, 305]) → C304
308. Segment(Element[Ln, 305], Element[Ln, 306]) → C305
309. Segment(Element[Ln, 306], Element[Ln, 307]) → C306
310. Segment(Element[Ln, 307], Element[Ln, 308]) → C307
311. Segment(Element[Ln, 308], Element[Ln, 309]) → C308
312. Segment(Element[Ln, 309], Element[Ln, 310]) → C309
313. Segment(Element[Ln, 310], Element[Ln, 311]) → C310
314. Segment(Element[Ln, 311], Element[Ln, 312]) → C311
315. Segment(Element[Ln, 312], Element[Ln, 313]) → C312
316. Segment(Element[Ln, 313], Element[Ln, 314]) → C313
317. Segment(Element[Ln, 314], Element[Ln, 315]) → C314
318. Segment(Element[Ln, 315], Element[Ln, 316]) → C315
319. Segment(Element[Ln, 316], Element[Ln, 317]) → C316
320. Segment(Element[Ln, 317], Element[Ln, 318]) → C317
321. Segment(Element[Ln, 318], Element[Ln, 319]) → C318
322. Segment(Element[Ln, 319], Element[Ln, 320]) → C319
323. Segment(Element[Ln, 320], Element[Ln, 321]) → C320
324. Segment(Element[Ln, 321], Element[Ln, 322]) → C321
325. Segment(Element[Ln, 322], Element[Ln, 323]) → C322
326. Segment(Element[Ln, 323], Element[Ln, 324]) → C323
327. Segment(Element[Ln, 324], Element[Ln, 325]) → C324
328. Segment(Element[Ln, 325], Element[Ln, 326]) → C325
329. Segment(Element[Ln, 326], Element[Ln, 327]) → C326
330. Segment(Element[Ln, 327], Element[Ln, 328]) → C327
331. Segment(Element[Ln, 328], Element[Ln, 329]) → C328
332. Segment(Element[Ln, 329], Element[Ln, 330]) → C329
333. Segment(Element[Ln, 330], Element[Ln, 331]) → C330
334. Segment(Element[Ln, 331], Element[Ln, 332]) → C331
335. Segment(Element[Ln, 332], Element[Ln, 333]) → C332
336. Segment(Element[Ln, 333], Element[Ln, 334]) → C333
337. Segment(Element[Ln, 334], Element[Ln, 335]) → C334
338. Segment(Element[Ln, 335], Element[Ln, 336]) → C335
339. Segment(Element[Ln, 336], Element[Ln, 337]) → C336
340. Segment(Element[Ln, 337], Element[Ln, 338]) → C337
341. Segment(Element[Ln, 338], Element[Ln, 339]) → C338
342. Segment(Element[Ln, 339], Element[Ln, 340]) → C339
343. Segment(Element[Ln, 340], Element[Ln, 341]) → C340
344. Segment(Element[Ln, 341], Element[Ln, 342]) → C341
345. Segment(Element[Ln, 342], Element[Ln, 343]) → C342
346. Segment(Element[Ln, 343], Element[Ln, 344]) → C343
347. Segment(Element[Ln, 344], Element[Ln, 345]) → C344
348. Segment(Element[Ln, 345], Element[Ln, 346]) → C345
349. Segment(Element[Ln, 346], Element[Ln, 347]) → C346
350. Segment(Element[Ln, 347], Element[Ln, 348]) → C347
351. Segment(Element[Ln, 348], Element[Ln, 349]) → C348
352. Segment(Element[Ln, 349], Element[Ln, 350]) → C349
353. Segment(Element[Ln, 350], Element[Ln, 351]) → C350
354. Segment(Element[Ln, 351], Element[Ln, 352]) → C351
355. Segment(Element[Ln, 352], Element[Ln, 353]) → C352
356. Segment(Element[Ln, 353], Element[Ln, 354]) → C353
357. Segment(Element[Ln, 354], Element[Ln, 355]) → C354
358. Segment(Element[Ln, 355], Element[Ln, 356]) → C355
359. Segment(Element[Ln, 356], Element[Ln, 357]) → C356
360. Segment(Element[Ln, 357], Element[Ln, 358]) → C357
361. Segment(Element[Ln, 358], Element[Ln, 359]) → C358
362. Segment(Element[Ln, 359], Element[Ln, 360]) → C359
363. Segment(Element[Ln, 360], Element[Ln, 361]) → C360
364. Segment(Element[Ln, 361], Element[Ln, 362]) → C361
365. Segment(Element[Ln, 362], Element[Ln, 363]) → C362
366. Segment(Element[Ln, 363], Element[Ln, 364]) → C363
367. Segment(Element[Ln, 364], Element[Ln, 365]) → C364
368. Segment(Element[Ln, 365], Element[Ln, 366]) → C365
369. Segment(Element[Ln, 366], Element[Ln, 367]) → C366
370. Segment(Element[Ln, 367], Element[Ln, 368]) → C367
371. Segment(Element[Ln, 368], Element[Ln, 369]) → C368
372. Segment(Element[Ln, 369], Element[Ln, 370]) → C369
373. Segment(Element[Ln, 370], Element[Ln, 371]) → C370
374. Segment(Element[Ln, 371], Element[Ln, 372]) → C371
375. Segment(Element[Ln, 372], Element[Ln, 373]) → C372
376. Segment(Element[Ln, 373], Element[Ln, 374]) → C373
377. Segment(Element[Ln, 374], Element[Ln, 375]) → C374
378. Segment(Element[Ln, 375], Element[Ln, 376]) → C375
379. Segment(Element[Ln, 376], Element[Ln, 377]) → C376
380. Segment(Element[Ln, 377], Element[Ln, 378]) → C377
381. Segment(Element[Ln, 378], Element[Ln, 379]) → C378
382. Segment(Element[Ln, 379], Element[Ln, 380]) → C379
383. Segment(Element[Ln, 380], Element[Ln, 381]) → C380
384. Segment(Element[Ln, 381], Element[Ln, 382]) → C381
385. Segment(Element[Ln, 382], Element[Ln, 383]) → C382
386. Segment(Element[Ln, 383], Element[Ln, 384]) → C383
387. Segment(Element[Ln, 384], Element[Ln, 385]) → C384
388. Segment(Element[Ln, 385], Element[Ln, 386]) → C385
389. Segment(Element[Ln, 386], Element[Ln, 387]) → C386
390. Segment(Element[Ln, 387], Element[Ln, 388]) → C387
391. Segment(Element[Ln, 388], Element[Ln, 389]) → C388
392. Segment(Element[Ln, 389], Element[Ln, 390]) → C389
393. Segment(Element[Ln, 390], Element[Ln, 391]) → C390
394. Segment(Element[Ln, 391], Element[Ln, 392]) → C391
395. Segment(Element[Ln, 392], Element[Ln, 393]) → C392
396. Segment(Element[Ln, 393], Element[Ln, 394]) → C393
397. Segment(Element[Ln, 394], Element[Ln, 395]) → C394
398. Segment(Element[Ln, 395], Element[Ln, 396]) → C395
399. Segment(Element[Ln, 396], Element[Ln, 397]) → C396
400. Segment(Element[Ln, 397], Element[Ln, 398]) → C397
401. Segment(Element[Ln, 398], Element[Ln, 399]) → C398
402. Segment(Element[Ln, 399], Element[Ln, 400]) → C399
403. Segment(Element[Ln, 400], Element[Ln, 401]) → C400
404. Segment(Element[Ln, 401], Element[Ln, 402]) → C401
405. Segment(Element[Ln, 402], Element[Ln, 403]) → C402
406. Segment(Element[Ln, 403], Element[Ln, 404]) → C403
407. Segment(Element[Ln, 404], Element[Ln, 405]) → C404
408. Segment(Element[Ln, 405], Element[Ln, 406]) → C405
409. Segment(Element[Ln, 406], Element[Ln, 407]) → C406
410. Segment(Element[Ln, 407], Element[Ln, 408]) → C407
411. Segment(Element[Ln, 408], Element[Ln, 409]) → C408
412. Segment(Element[Ln, 409], Element[Ln, 410]) → C409
413. Segment(Element[Ln, 410], Element[Ln, 411]) → C410
414. Segment(Element[Ln, 411], Element[Ln, 412]) → C411
415. Segment(Element[Ln, 412], Element[Ln, 413]) → C412
416. Segment(Element[Ln, 413], Element[Ln, 414]) → C413
417. Segment(Element[Ln, 414], Element[Ln, 415]) → C414
418. Segment(Element[Ln, 415], Element[Ln, 416]) → C415
419. Segment(Element[Ln, 416], Element[Ln, 417]) → C416
420. Segment(Element[Ln, 417], Element[Ln, 418]) → C417
421. Segment(Element[Ln, 418], Element[Ln, 419]) → C418
422. Segment(Element[Ln, 419], Element[Ln, 420]) → C419
423. Segment(Element[Ln, 420], Element[Ln, 421]) → C420
424. Segment(Element[Ln, 421], Element[Ln, 422]) → C421
425. Segment(Element[Ln, 422], Element[Ln, 423]) → C422
426. Segment(Element[Ln, 423], Element[Ln, 424]) → C423
427. Segment(Element[Ln, 424], Element[Ln, 425]) → C424
428. Segment(Element[Ln, 425], Element[Ln, 426]) → C425
429. Segment(Element[Ln, 426], Element[Ln, 427]) → C426
430. Segment(Element[Ln, 427], Element[Ln, 428]) → C427
431. Segment(Element[Ln, 428], Element[Ln, 429]) → C428
432. Segment(Element[Ln, 429], Element[Ln, 430]) → C429
433. Segment(Element[Ln, 430], Element[Ln, 431]) → C430
434. Segment(Element[Ln, 431], Element[Ln, 432]) → C431
435. Segment(Element[Ln, 432], Element[Ln, 433]) → C432
436. Segment(Element[Ln, 433], Element[Ln, 434]) → C433
437. Segment(Element[Ln, 434], Element[Ln, 435]) → C434
438. Segment(Element[Ln, 435], Element[Ln, 436]) → C435
439. Segment(Element[Ln, 436], Element[Ln, 437]) → C436
440. Segment(Element[Ln, 437], Element[Ln, 438]) → C437
441. Segment(Element[Ln, 438], Element[Ln, 439]) → C438
442. Segment(Element[Ln, 439], Element[Ln, 440]) → C439
443. Segment(Element[Ln, 440], Element[Ln, 441]) → C440
444. Segment(Element[Ln, 441], Element[Ln, 442]) → C441
445. Segment(Element[Ln, 442], Element[Ln, 443]) → C442
446. Segment(Element[Ln, 443], Element[Ln, 444]) → C443
447. Segment(Element[Ln, 444], Element[Ln, 445]) → C444
448. Segment(Element[Ln, 445], Element[Ln, 446]) → C445
449. Segment(Element[Ln, 446], Element[Ln, 447]) → C446
450. Segment(Element[Ln, 447], Element[Ln, 448]) → C447
451. Segment(Element[Ln, 448], Element[Ln, 449]) → C448
452. Segment(Element[Ln, 449], Element[Ln, 450]) → C449
453. Segment(Element[Ln, 450], Element[Ln, 451]) → C450
454. Segment(Element[Ln, 451], Element[Ln, 452]) → C451
455. Segment(Element[Ln, 452], Element[Ln, 453]) → C452
456. Segment(Element[Ln, 453], Element[Ln, 454]) → C453
457. Segment(Element[Ln, 454], Element[Ln, 455]) → C454
458. Segment(Element[Ln, 455], Element[Ln, 456]) → C455
459. Segment(Element[Ln, 456], Element[Ln, 457]) → C456
460. Segment(Element[Ln, 457], Element[Ln, 458]) → C457
461. Segment(Element[Ln, 458], Element[Ln, 459]) → C458
462. Segment(Element[Ln, 459], Element[Ln, 460]) → C459
463. Segment(Element[Ln, 460], Element[Ln, 461]) → C460
464. Segment(Element[Ln, 461], Element[Ln, 462]) → C461
465. Segment(Element[Ln, 462], Element[Ln, 463]) → C462
466. Segment(Element[Ln, 463], Element[Ln, 464]) → C463
467. Segment(Element[Ln, 464], Element[Ln, 465]) → C464
468. Segment(Element[Ln, 465], Element[Ln, 466]) → C465
469. Segment(Element[Ln, 466], Element[Ln, 467]) → C466
470. Segment(Element[Ln, 467], Element[Ln, 468]) → C467
471. Segment(Element[Ln, 468], Element[Ln, 469]) → C468
472. Segment(Element[Ln, 469], Element[Ln, 470]) → C469
473. Segment(Element[Ln, 470], Element[Ln, 471]) → C470
474. Segment(Element[Ln, 471], Element[Ln, 472]) → C471
475. Segment(Element[Ln, 472], Element[Ln, 473]) → C472
476. Segment(Element[Ln, 473], Element[Ln, 474]) → C473
477. Segment(Element[Ln, 474], Element[Ln, 475]) → C474
478. Segment(Element[Ln, 475], Element[Ln, 476]) → C475
479. Segment(Element[Ln, 476], Element[Ln, 477]) → C476
480. Segment(Element[Ln, 477], Element[Ln, 478]) → C477
481. Segment(Element[Ln, 478], Element[Ln, 479]) → C478
482. Segment(Element[Ln, 479], Element[Ln, 480]) → C479
483. Segment(Element[Ln, 480], Element[Ln, 481]) → C480
484. Segment(Element[Ln, 481], Element[Ln, 482]) → C481
485. Segment(Element[Ln, 482], Element[Ln, 483]) → C482
486. Segment(Element[Ln, 483], Element[Ln, 484]) → C483
487. Segment(Element[Ln, 484], Element[Ln, 485]) → C484
488. Segment(Element[Ln, 485], Element[Ln, 486]) → C485
489. Segment(Element[Ln, 486], Element[Ln, 487]) → C486
490. Segment(Element[Ln, 487], Element[Ln, 488]) → C487
491. Segment(Element[Ln, 488], Element[Ln, 489]) → C488
492. Segment(Element[Ln, 489], Element[Ln, 490]) → C489
493. Segment(Element[Ln, 490], Element[Ln, 491]) → C490
494. Segment(Element[Ln, 491], Element[Ln, 492]) → C491
495. Segment(Element[Ln, 492], Element[Ln, 493]) → C492
496. Segment(Element[Ln, 493], Element[Ln, 494]) → C493
497. Segment(Element[Ln, 494], Element[Ln, 495]) → C494
498. Segment(Element[Ln, 495], Element[Ln, 496]) → C495
499. Segment(Element[Ln, 496], Element[Ln, 497]) → C496
500. Segment(Element[Ln, 497], Element[Ln, 498]) → C497
501. Segment(Element[Ln, 498], Element[Ln, 499]) → C498
502. Segment(Element[Ln, 499], Element[Ln, 500]) → C499
503. Segment(Element[Ln, 500], Element[Ln, 501]) → C500
504. Segment(Element[Ln, 501], Element[Ln, 502]) → C501
505. Segment(Element[Ln, 502], Element[Ln, 503]) → C502
506. Segment(Element[Ln, 503], Element[Ln, 504]) → C503
507. Segment(Element[Ln, 504], Element[Ln, 505]) → C504
508. Segment(Element[Ln, 505], Element[Ln, 506]) → C505
509. Segment(Element[Ln, 506], Element[Ln, 507]) → C506
510. Segment(Element[Ln, 507], Element[Ln, 508]) → C507
511. Segment(Element[Ln, 508], Element[Ln, 509]) → C508
512. Segment(Element[Ln, 509], Element[Ln, 510]) → C509
513. Segment(Element[Ln, 510], Element[Ln, 511]) → C510
514. Segment(Element[Ln, 511], Element[Ln, 512]) → C511
515. Segment(Element[Ln, 512], Element[Ln, 513]) → C512
516. Segment(Element[Ln, 513], Element[Ln, 514]) → C513
517. Segment(Element[Ln, 514], Element[Ln, 515]) → C514
518. Segment(Element[Ln, 515], Element[Ln, 516]) → C515
519. Segment(Element[Ln, 516], Element[Ln, 517]) → C516
520. Segment(Element[Ln, 517], Element[Ln, 518]) → C517
521. Segment(Element[Ln, 518], Element[Ln, 519]) → C518
522. Segment(Element[Ln, 519], Element[Ln, 520]) → C519
523. Segment(Element[Ln, 520], Element[Ln, 521]) → C520
524. Segment(Element[Ln, 521], Element[Ln, 522]) → C521
525. Segment(Element[Ln, 522], Element[Ln, 523]) → C522
526. Segment(Element[Ln, 523], Element[Ln, 524]) → C523
527. Segment(Element[Ln, 524], Element[Ln, 525]) → C524
528. Segment(Element[Ln, 525], Element[Ln, 526]) → C525
529. Segment(Element[Ln, 526], Element[Ln, 527]) → C526
530. Segment(Element[Ln, 527], Element[Ln, 528]) → C527
531. Segment(Element[Ln, 528], Element[Ln, 529]) → C528
532. Segment(Element[Ln, 529], Element[Ln, 530]) → C529
533. Segment(Element[Ln, 530], Element[Ln, 531]) → C530
534. Segment(Element[Ln, 531], Element[Ln, 532]) → C531
535. Segment(Element[Ln, 532], Element[Ln, 533]) → C532
536. Segment(Element[Ln, 533], Element[Ln, 534]) → C533
537. Segment(Element[Ln, 534], Element[Ln, 535]) → C534
538. Segment(Element[Ln, 535], Element[Ln, 536]) → C535
539. Segment(Element[Ln, 536], Element[Ln, 537]) → C536
540. Segment(Element[Ln, 537], Element[Ln, 538]) → C537
541. Segment(Element[Ln, 538], Element[Ln, 539]) → C538
542. Segment(Element[Ln, 539], Element[Ln, 540]) → C539
543. Segment(Element[Ln, 540], Element[Ln, 541]) → C540
544. Segment(Element[Ln, 541], Element[Ln, 542]) → C541
545. Segment(Element[Ln, 542], Element[Ln, 543]) → C542
546. Segment(Element[Ln, 543], Element[Ln, 544]) → C543
547. Segment(Element[Ln, 544], Element[Ln, 545]) → C544
548. Segment(Element[Ln, 545], Element[Ln, 546]) → C545
549. Segment(Element[Ln, 546], Element[Ln, 547]) → C546
550. Segment(Element[Ln, 547], Element[Ln, 548]) → C547
551. Segment(Element[Ln, 548], Element[Ln, 549]) → C548
552. Segment(Element[Ln, 549], Element[Ln, 550]) → C549
553. Segment(Element[Ln, 550], Element[Ln, 551]) → C550
554. Segment(Element[Ln, 551], Element[Ln, 552]) → C551
555. Segment(Element[Ln, 552], Element[Ln, 553]) → C552
556. Segment(Element[Ln, 553], Element[Ln, 554]) → C553
557. Segment(Element[Ln, 554], Element[Ln, 555]) → C554
558. Segment(Element[Ln, 555], Element[Ln, 556]) → C555
559. Segment(Element[Ln, 556], Element[Ln, 557]) → C556
560. Segment(Element[Ln, 557], Element[Ln, 558]) → C557
561. Segment(Element[Ln, 558], Element[Ln, 559]) → C558
562. Segment(Element[Ln, 559], Element[Ln, 560]) → C559
563. Segment(Element[Ln, 560], Element[Ln, 561]) → C560
564. Segment(Element[Ln, 561], Element[Ln, 562]) → C561
565. Segment(Element[Ln, 562], Element[Ln, 563]) → C562
566. Segment(Element[Ln, 563], Element[Ln, 564]) → C563
567. Segment(Element[Ln, 564], Element[Ln, 565]) → C564
568. Segment(Element[Ln, 565], Element[Ln, 566]) → C565
569. Segment(Element[Ln, 566], Element[Ln, 567]) → C566
570. Segment(Element[Ln, 567], Element[Ln, 568]) → C567
571. Segment(Element[Ln, 568], Element[Ln, 569]) → C568
572. Segment(Element[Ln, 569], Element[Ln, 570]) → C569
573. Segment(Element[Ln, 570], Element[Ln, 571]) → C570
574. Segment(Element[Ln, 571], Element[Ln, 572]) → C571
575. Segment(Element[Ln, 572], Element[Ln, 573]) → C572
576. Segment(Element[Ln, 573], Element[Ln, 574]) → C573
577. Segment(Element[Ln, 574], Element[Ln, 575]) → C574
578. Segment(Element[Ln, 575], Element[Ln, 576]) → C575
579. Segment(Element[Ln, 576], Element[Ln, 577]) → C576
580. Segment(Element[Ln, 577], Element[Ln, 578]) → C577
581. Segment(Element[Ln, 578], Element[Ln, 579]) → C578
582. Segment(Element[Ln, 579], Element[Ln, 580]) → C579
583. Segment(Element[Ln, 580], Element[Ln, 581]) → C580
584. Segment(Element[Ln, 581], Element[Ln, 582]) → C581
585. Segment(Element[Ln, 582], Element[Ln, 583]) → C582
586. Segment(Element[Ln, 583], Element[Ln, 584]) → C583
587. Segment(Element[Ln, 584], Element[Ln, 585]) → C584
588. Segment(Element[Ln, 585], Element[Ln, 586]) → C585
589. Segment(Element[Ln, 586], Element[Ln, 587]) → C586
590. Segment(Element[Ln, 587], Element[Ln, 588]) → C587
591. Segment(Element[Ln, 588], Element[Ln, 589]) → C588
592. Segment(Element[Ln, 589], Element[Ln, 590]) → C589
593. Segment(Element[Ln, 590], Element[Ln, 591]) → C590
594. Segment(Element[Ln, 591], Element[Ln, 592]) → C591
595. Segment(Element[Ln, 592], Element[Ln, 593]) → C592
596. Segment(Element[Ln, 593], Element[Ln, 594]) → C593
597. Segment(Element[Ln, 594], Element[Ln, 595]) → C594
598. Segment(Element[Ln, 595], Element[Ln, 596]) → C595
599. Segment(Element[Ln, 596], Element[Ln, 597]) → C596
600. Segment(Element[Ln, 597], Element[Ln, 598]) → C597
601. Segment(Element[Ln, 598], Element[Ln, 599]) → C598
602. Segment(Element[Ln, 599], Element[Ln, 600]) → C599
603. Segment(Element[Ln, 600], Element[Ln, 601]) → C600
604. Segment(Element[Ln, 601], Element[Ln, 602]) → C601
605. Segment(Element[Ln, 602], Element[Ln, 603]) → C602
606. Segment(Element[Ln, 603], Element[Ln, 604]) → C603
607. Segment(Element[Ln, 604], Element[Ln, 605]) → C604
608. Segment(Element[Ln, 605], Element[Ln, 606]) → C605
609. Segment(Element[Ln, 606], Element[Ln, 607]) → C606
610. Segment(Element[Ln, 607], Element[Ln, 608]) → C607
611. Segment(Element[Ln, 608], Element[Ln, 609]) → C608
612. Segment(Element[Ln, 609], Element[Ln, 610]) → C609
613. Segment(Element[Ln, 610], Element[Ln, 611]) → C610
614. Segment(Element[Ln, 611], Element[Ln, 612]) → C611
615. Segment(Element[Ln, 612], Element[Ln, 613]) → C612
616. Segment(Element[Ln, 613], Element[Ln, 614]) → C613
617. Segment(Element[Ln, 614], Element[Ln, 615]) → C614
618. Segment(Element[Ln, 615], Element[Ln, 616]) → C615
619. Segment(Element[Ln, 616], Element[Ln, 617]) → C616
620. Segment(Element[Ln, 617], Element[Ln, 618]) → C617
621. Segment(Element[Ln, 618], Element[Ln, 619]) → C618
622. Segment(Element[Ln, 619], Element[Ln, 620]) → C619
623. Segment(Element[Ln, 620], Element[Ln, 621]) → C620
624. Segment(Element[Ln, 621], Element[Ln, 622]) → C621
625. Segment(Element[Ln, 622], Element[Ln, 623]) → C622
626. Segment(Element[Ln, 623], Element[Ln, 624]) → C623
627. Segment(Element[Ln, 624], Element[Ln, 625]) → C624
628. Segment(Element[Ln, 625], Element[Ln, 626]) → C625
629. Segment(Element[Ln, 626], Element[Ln, 627]) → C626
630. Segment(Element[Ln, 627], Element[Ln, 628]) → C627
631. Segment(Element[Ln, 628], Element[Ln, 629]) → C628
632. Segment(Element[Ln, 629], Element[Ln, 630]) → C629
633. Segment(Element[Ln, 630], Element[Ln, 631]) → C630
634. Segment(Element[Ln, 631], Element[Ln, 632]) → C631
635. Segment(Element[Ln, 632], Element[Ln, 633]) → C632
636. Segment(Element[Ln, 633], Element[Ln, 634]) → C633
637. Segment(Element[Ln, 634], Element[Ln, 635]) → C634
638. Segment(Element[Ln, 635], Element[Ln, 636]) → C635
639. Segment(Element[Ln, 636], Element[Ln, 637]) → C636
640. Segment(Element[Ln, 637], Element[Ln, 638]) → C637
641. Segment(Element[Ln, 638], Element[Ln, 639]) → C638
642. Segment(Element[Ln, 639], Element[Ln, 640]) → C639
643. Segment(Element[Ln, 640], Element[Ln, 641]) → C640
644. Segment(Element[Ln, 641], Element[Ln, 642]) → C641
645. Segment(Element[Ln, 642], Element[Ln, 643]) → C642
646. Segment(Element[Ln, 643], Element[Ln, 644]) → C643
647. Segment(Element[Ln, 644], Element[Ln, 645]) → C644
648. Segment(Element[Ln, 645], Element[Ln, 646]) → C645
649. Segment(Element[Ln, 646], Element[Ln, 647]) → C646
650. Segment(Element[Ln, 647], Element[Ln, 648]) → C647
651. Segment(Element[Ln, 648], Element[Ln, 649]) → C648
652. Segment(Element[Ln, 649], Element[Ln, 650]) → C649
653. Segment(Element[Ln, 650], Element[Ln, 651]) → C650
654. Segment(Element[Ln, 651], Element[Ln, 652]) → C651
655. Segment(Element[Ln, 652], Element[Ln, 653]) → C652
656. Segment(Element[Ln, 653], Element[Ln, 654]) → C653
657. Segment(Element[Ln, 654], Element[Ln, 655]) → C654
658. Segment(Element[Ln, 655], Element[Ln, 656]) → C655
659. Segment(Element[Ln, 656], Element[Ln, 657]) → C656
660. Segment(Element[Ln, 657], Element[Ln, 658]) → C657
661. Segment(Element[Ln, 658], Element[Ln, 659]) → C658
662. Segment(Element[Ln, 659], Element[Ln, 660]) → C659
663. Segment(Element[Ln, 660], Element[Ln, 661]) → C660
664. Segment(Element[Ln, 661], Element[Ln, 662]) → C661
665. Segment(Element[Ln, 662], Element[Ln, 663]) → C662
666. Segment(Element[Ln, 663], Element[Ln, 664]) → C663
667. Segment(Element[Ln, 664], Element[Ln, 665]) → C664
668. Segment(Element[Ln, 665], Element[Ln, 666]) → C665
669. Segment(Element[Ln, 666], Element[Ln, 667]) → C666
670. Segment(Element[Ln, 667], Element[Ln, 668]) → C667
671. Segment(Element[Ln, 668], Element[Ln, 669]) → C668
672. Segment(Element[Ln, 669], Element[Ln, 670]) → C669
673. Segment(Element[Ln, 670], Element[Ln, 671]) → C670
674. Segment(Element[Ln, 671], Element[Ln, 672]) → C671
675. Segment(Element[Ln, 672], Element[Ln, 673]) → C672
676. Segment(Element[Ln, 673], Element[Ln, 674]) → C673
677. Segment(Element[Ln, 674], Element[Ln, 675]) → C674
678. Segment(Element[Ln, 675], Element[Ln, 676]) → C675
679. Segment(Element[Ln, 676], Element[Ln, 677]) → C676
680. Segment(Element[Ln, 677], Element[Ln, 678]) → C677
681. Segment(Element[Ln, 678], Element[Ln, 679]) → C678
682. Segment(Element[Ln, 679], Element[Ln, 680]) → C679
683. Segment(Element[Ln, 680], Element[Ln, 681]) → C680
684. Segment(Element[Ln, 681], Element[Ln, 682]) → C681
685. Segment(Element[Ln, 682], Element[Ln, 683]) → C682
686. Segment(Element[Ln, 683], Element[Ln, 684]) → C683
687. Segment(Element[Ln, 684], Element[Ln, 685]) → C684
688. Segment(Element[Ln, 685], Element[Ln, 686]) → C685
689. Segment(Element[Ln, 686], Element[Ln, 687]) → C686
690. Segment(Element[Ln, 687], Element[Ln, 688]) → C687
691. Segment(Element[Ln, 688], Element[Ln, 689]) → C688
692. Segment(Element[Ln, 689], Element[Ln, 690]) → C689
693. Segment(Element[Ln, 690], Element[Ln, 691]) → C690
694. Segment(Element[Ln, 691], Element[Ln, 692]) → C691
695. Segment(Element[Ln, 692], Element[Ln, 693]) → C692
696. Segment(Element[Ln, 693], Element[Ln, 694]) → C693
697. Segment(Element[Ln, 694], Element[Ln, 695]) → C694
698. Segment(Element[Ln, 695], Element[Ln, 696]) → C695
699. Segment(Element[Ln, 696], Element[Ln, 697]) → C696
700. Segment(Element[Ln, 697], Element[Ln, 698]) → C697
701. Segment(Element[Ln, 698], Element[Ln, 699]) → C698
702. Segment(Element[Ln, 699], Element[Ln, 700]) → C699
703. Segment(Element[Ln, 700], Element[Ln, 701]) → C700
704. Segment(Element[Ln, 701], Element[Ln, 702]) → C701
705. Segment(Element[Ln, 702], Element[Ln, 703]) → C702
706. Segment(Element[Ln, 703], Element[Ln, 704]) → C703
707. Segment(Element[Ln, 704], Element[Ln, 705]) → C704
708. Segment(Element[Ln, 705], Element[Ln, 706]) → C705
709. Segment(Element[Ln, 706], Element[Ln, 707]) → C706
710. Segment(Element[Ln, 707], Element[Ln, 708]) → C707
711. Segment(Element[Ln, 708], Element[Ln, 709]) → C708
712. Segment(Element[Ln, 709], Element[Ln, 710]) → C709
713. Segment(Element[Ln, 710], Element[Ln, 711]) → C710
714. Segment(Element[Ln, 711], Element[Ln, 712]) → C711
715. Segment(Element[Ln, 712], Element[Ln, 713]) → C712
716. Segment(Element[Ln, 713], Element[Ln, 714]) → C713
717. Segment(Element[Ln, 714], Element[Ln, 715]) → C714
718. Segment(Element[Ln, 715], Element[Ln, 716]) → C715
719. Segment(Element[Ln, 716], Element[Ln, 717]) → C716
720. Segment(Element[Ln, 717], Element[Ln, 718]) → C717
721. Segment(Element[Ln, 718], Element[Ln, 719]) → C718
722. Segment(Element[Ln, 719], Element[Ln, 720]) → C719
723. Segment(Element[Ln, 720], Element[Ln, 721]) → C720
724. Segment(Element[Ln, 721], Element[Ln, 722]) → C721
725. Segment(Element[Ln, 722], Element[Ln, 723]) → C722
726. Segment(Element[Ln, 723], Element[Ln, 724]) → C723
727. Segment(Element[Ln, 724], Element[Ln, 725]) → C724
728. Segment(Element[Ln, 725], Element[Ln, 726]) → C725
729. Segment(Element[Ln, 726], Element[Ln, 727]) → C726
730. Segment(Element[Ln, 727], Element[Ln, 728]) → C727
731. Segment(Element[Ln, 728], Element[Ln, 729]) → C728
732. Segment(Element[Ln, 729], Element[Ln, 730]) → C729
733. Segment(Element[Ln, 730], Element[Ln, 731]) → C730
734. Segment(Element[Ln, 731], Element[Ln, 732]) → C731
735. Segment(Element[Ln, 732], Element[Ln, 733]) → C732
736. Segment(Element[Ln, 733], Element[Ln, 734]) → C733
737. Segment(Element[Ln, 734], Element[Ln, 735]) → C734
738. Segment(Element[Ln, 735], Element[Ln, 736]) → C735
739. Segment(Element[Ln, 736], Element[Ln, 737]) → C736
740. Segment(Element[Ln, 737], Element[Ln, 738]) → C737
741. Segment(Element[Ln, 738], Element[Ln, 739]) → C738
742. Segment(Element[Ln, 739], Element[Ln, 740]) → C739
743. Segment(Element[Ln, 740], Element[Ln, 741]) → C740
744. Segment(Element[Ln, 741], Element[Ln, 742]) → C741
745. Segment(Element[Ln, 742], Element[Ln, 743]) → C742
746. Segment(Element[Ln, 743], Element[Ln, 744]) → C743
747. Segment(Element[Ln, 744], Element[Ln, 745]) → C744
748. Segment(Element[Ln, 745], Element[Ln, 746]) → C745
749. Segment(Element[Ln, 746], Element[Ln, 747]) → C746
750. Segment(Element[Ln, 747], Element[Ln, 748]) → C747
751. Segment(Element[Ln, 748], Element[Ln, 749]) → C748
752. Segment(Element[Ln, 749], Element[Ln, 750]) → C749
753. Segment(Element[Ln, 750], Element[Ln, 751]) → C750
754. Segment(Element[Ln, 751], Element[Ln, 752]) → C751
755. Segment(Element[Ln, 752], Element[Ln, 753]) → C752
756. Segment(Element[Ln, 753], Element[Ln, 754]) → C753
757. Segment(Element[Ln, 754], Element[Ln, 755]) → C754
758. Segment(Element[Ln, 755], Element[Ln, 756]) → C755
759. Segment(Element[Ln, 756], Element[Ln, 757]) → C756
760. Segment(Element[Ln, 757], Element[Ln, 758]) → C757
761. Segment(Element[Ln, 758], Element[Ln, 759]) → C758
762. Segment(Element[Ln, 759], Element[Ln, 760]) → C759
763. Segment(Element[Ln, 760], Element[Ln, 761]) → C760
764. Segment(Element[Ln, 761], Element[Ln, 762]) → C761
765. Segment(Element[Ln, 762], Element[Ln, 763]) → C762
766. Segment(Element[Ln, 763], Element[Ln, 764]) → C763
767. Segment(Element[Ln, 764], Element[Ln, 765]) → C764
768. Segment(Element[Ln, 765], Element[Ln, 766]) → C765
769. Segment(Element[Ln, 766], Element[Ln, 767]) → C766
770. Segment(Element[Ln, 767], Element[Ln, 768]) → C767
771. Segment(Element[Ln, 768], Element[Ln, 769]) → C768
772. Segment(Element[Ln, 769], Element[Ln, 770]) → C769
773. Segment(Element[Ln, 770], Element[Ln, 771]) → C770
774. Segment(Element[Ln, 771], Element[Ln, 772]) → C771
775. Segment(Element[Ln, 772], Element[Ln, 773]) → C772
776. Segment(Element[Ln, 773], Element[Ln, 774]) → C773
777. Segment(Element[Ln, 774], Element[Ln, 775]) → C774
778. Segment(Element[Ln, 775], Element[Ln, 776]) → C775
779. Segment(Element[Ln, 776], Element[Ln, 777]) → C776
780. Segment(Element[Ln, 777], Element[Ln, 778]) → C777
781. Segment(Element[Ln, 778], Element[Ln, 779]) → C778
782. Segment(Element[Ln, 779], Element[Ln, 780]) → C779
783. Segment(Element[Ln, 780], Element[Ln, 781]) → C780
784. Segment(Element[Ln, 781], Element[Ln, 782]) → C781
785. Segment(Element[Ln, 782], Element[Ln, 783]) → C782
786. Segment(Element[Ln, 783], Element[Ln, 784]) → C783
787. Segment(Element[Ln, 784], Element[Ln, 785]) → C784
788. Segment(Element[Ln, 785], Element[Ln, 786]) → C785
789. Segment(Element[Ln, 786], Element[Ln, 787]) → C786
790. Segment(Element[Ln, 787], Element[Ln, 788]) → C787
791. Segment(Element[Ln, 788], Element[Ln, 789]) → C788
792. Segment(Element[Ln, 789], Element[Ln, 790]) → C789
793. Segment(Element[Ln, 790], Element[Ln, 791]) → C790
794. Segment(Element[Ln, 791], Element[Ln, 792]) → C791
795. Segment(Element[Ln, 792], Element[Ln, 793]) → C792
796. Segment(Element[Ln, 793], Element[Ln, 794]) → C793
797. Segment(Element[Ln, 794], Element[Ln, 795]) → C794
798. Segment(Element[Ln, 795], Element[Ln, 796]) → C795
799. Segment(Element[Ln, 796], Element[Ln, 797]) → C796
800. Segment(Element[Ln, 797], Element[Ln, 798]) → C797
801. Segment(Element[Ln, 798], Element[Ln, 799]) → C798
802. Segment(Element[Ln, 799], Element[Ln, 800]) → C799
803. Segment(Element[Ln, 800], Element[Ln, 801]) → C800
804. Segment(Element[Ln, 801], Element[Ln, 802]) → C801
805. Segment(Element[Ln, 802], Element[Ln, 803]) → C802
806. Segment(Element[Ln, 803], Element[Ln, 804]) → C803
807. Segment(Element[Ln, 804], Element[Ln, 805]) → C804
808. Segment(Element[Ln, 805], Element[Ln, 806]) → C805
809. Segment(Element[Ln, 806], Element[Ln, 807]) → C806
810. Segment(Element[Ln, 807], Element[Ln, 808]) → C807
811. Segment(Element[Ln, 808], Element[Ln, 809]) → C808
812. Segment(Element[Ln, 809], Element[Ln, 810]) → C809
813. Segment(Element[Ln, 810], Element[Ln, 811]) → C810
814. Segment(Element[Ln, 811], Element[Ln, 812]) → C811
815. Segment(Element[Ln, 812], Element[Ln, 813]) → C812
816. Segment(Element[Ln, 813], Element[Ln, 814]) → C813
817. Segment(Element[Ln, 814], Element[Ln, 815]) → C814
818. Segment(Element[Ln, 815], Element[Ln, 816]) → C815
819. Segment(Element[Ln, 816], Element[Ln, 817]) → C816
820. Segment(Element[Ln, 817], Element[Ln, 818]) → C817
821. Segment(Element[Ln, 818], Element[Ln, 819]) → C818
822. Segment(Element[Ln, 819], Element[Ln, 820]) → C819
823. Segment(Element[Ln, 820], Element[Ln, 821]) → C820
824. Segment(Element[Ln, 821], Element[Ln, 822]) → C821
825. Segment(Element[Ln, 822], Element[Ln, 823]) → C822
826. Segment(Element[Ln, 823], Element[Ln, 824]) → C823
827. Segment(Element[Ln, 824], Element[Ln, 825]) → C824
828. Segment(Element[Ln, 825], Element[Ln, 826]) → C825
829. Segment(Element[Ln, 826], Element[Ln, 827]) → C826
830. Segment(Element[Ln, 827], Element[Ln, 828]) → C827
831. Segment(Element[Ln, 828], Element[Ln, 829]) → C828
832. Segment(Element[Ln, 829], Element[Ln, 830]) → C829
833. Segment(Element[Ln, 830], Element[Ln, 831]) → C830
834. Segment(Element[Ln, 831], Element[Ln, 832]) → C831
835. Segment(Element[Ln, 832], Element[Ln, 833]) → C832
836. Segment(Element[Ln, 833], Element[Ln, 834]) → C833
837. Segment(Element[Ln, 834], Element[Ln, 835]) → C834
838. Segment(Element[Ln, 835], Element[Ln, 836]) → C835
839. Segment(Element[Ln, 836], Element[Ln, 837]) → C836
840. Segment(Element[Ln, 837], Element[Ln, 838]) → C837
841. Segment(Element[Ln, 838], Element[Ln, 839]) → C838
842. Segment(Element[Ln, 839], Element[Ln, 840]) → C839
843. Segment(Element[Ln, 840], Element[Ln, 841]) → C840
844. Segment(Element[Ln, 841], Element[Ln, 842]) → C841
845. Segment(Element[Ln, 842], Element[Ln, 843]) → C842
846. Segment(Element[Ln, 843], Element[Ln, 844]) → C843
847. Segment(Element[Ln, 844], Element[Ln, 845]) → C844
848. Segment(Element[Ln, 845], Element[Ln, 846]) → C845
849. Segment(Element[Ln, 846], Element[Ln, 847]) → C846
850. Segment(Element[Ln, 847], Element[Ln, 848]) → C847
851. Segment(Element[Ln, 848], Element[Ln, 849]) → C848
852. Segment(Element[Ln, 849], Element[Ln, 850]) → C849
853. Segment(Element[Ln, 850], Element[Ln, 851]) → C850
854. Segment(Element[Ln, 851], Element[Ln, 852]) → C851
855. Segment(Element[Ln, 852], Element[Ln, 853]) → C852
856. Segment(Element[Ln, 853], Element[Ln, 854]) → C853
857. Segment(Element[Ln, 854], Element[Ln, 855]) → C854
858. Segment(Element[Ln, 855], Element[Ln, 856]) → C855
859. Segment(Element[Ln, 856], Element[Ln, 857]) → C856
860. Segment(Element[Ln, 857], Element[Ln, 858]) → C857
861. Segment(Element[Ln, 858], Element[Ln, 859]) → C858
862. Segment(Element[Ln, 859], Element[Ln, 860]) → C859
863. Segment(Element[Ln, 860], Element[Ln, 861]) → C860
864. Segment(Element[Ln, 861], Element[Ln, 862]) → C861
865. Segment(Element[Ln, 862], Element[Ln, 863]) → C862
866. Segment(Element[Ln, 863], Element[Ln, 864]) → C863
867. Segment(Element[Ln, 864], Element[Ln, 865]) → C864
868. Segment(Element[Ln, 865], Element[Ln, 866]) → C865
869. Segment(Element[Ln, 866], Element[Ln, 867]) → C866
870. Segment(Element[Ln, 867], Element[Ln, 868]) → C867
871. Segment(Element[Ln, 868], Element[Ln, 869]) → C868
872. Segment(Element[Ln, 869], Element[Ln, 870]) → C869
873. Segment(Element[Ln, 870], Element[Ln, 871]) → C870
874. Segment(Element[Ln, 871], Element[Ln, 872]) → C871
875. Segment(Element[Ln, 872], Element[Ln, 873]) → C872
876. Segment(Element[Ln, 873], Element[Ln, 874]) → C873
877. Segment(Element[Ln, 874], Element[Ln, 875]) → C874
878. Segment(Element[Ln, 875], Element[Ln, 876]) → C875
879. Segment(Element[Ln, 876], Element[Ln, 877]) → C876
880. Segment(Element[Ln, 877], Element[Ln, 878]) → C877
881. Segment(Element[Ln, 878], Element[Ln, 879]) → C878
882. Segment(Element[Ln, 879], Element[Ln, 880]) → C879
883. Segment(Element[Ln, 880], Element[Ln, 881]) → C880
884. Segment(Element[Ln, 881], Element[Ln, 882]) → C881
885. Segment(Element[Ln, 882], Element[Ln, 883]) → C882
886. Segment(Element[Ln, 883], Element[Ln, 884]) → C883
887. Segment(Element[Ln, 884], Element[Ln, 885]) → C884
888. Segment(Element[Ln, 885], Element[Ln, 886]) → C885
889. Segment(Element[Ln, 886], Element[Ln, 887]) → C886
890. Segment(Element[Ln, 887], Element[Ln, 888]) → C887
891. Segment(Element[Ln, 888], Element[Ln, 889]) → C888
892. Segment(Element[Ln, 889], Element[Ln, 890]) → C889
893. Segment(Element[Ln, 890], Element[Ln, 891]) → C890
894. Segment(Element[Ln, 891], Element[Ln, 892]) → C891
895. Segment(Element[Ln, 892], Element[Ln, 893]) → C892
896. Segment(Element[Ln, 893], Element[Ln, 894]) → C893
897. Segment(Element[Ln, 894], Element[Ln, 895]) → C894
898. Segment(Element[Ln, 895], Element[Ln, 896]) → C895
899. Segment(Element[Ln, 896], Element[Ln, 897]) → C896
900. Segment(Element[Ln, 897], Element[Ln, 898]) → C897
901. Segment(Element[Ln, 898], Element[Ln, 899]) → C898
902. Segment(Element[Ln, 899], Element[Ln, 900]) → C899