彩虹罗斯勒吸引子

GeoGebra 命令及参数

1. NSolveODE({x', y', z'}, 0, {x0, y0, z0}, 30) → numericalIntegral1, numericalIntegral2, numericalIntegral3
2. Length(numericalIntegral1) → len
3. Sequence((y(Point[numericalIntegral1, i]), y(Point[numericalIntegral2, i]), y(Point[numericalIntegral3, i])), i, 0, 1, 1 / len) → L_1
4. Length(L_1) → len2
5. Segment(Element[L_1, 1], Element[L_1, 2]) → B1
6. Segment(Element[L_1, 2], Element[L_1, 3]) → B2
7. Segment(Element[L_1, 3], Element[L_1, 4]) → B3
8. Segment(Element[L_1, 4], Element[L_1, 5]) → B4
9. Segment(Element[L_1, 5], Element[L_1, 6]) → B5
10. Segment(Element[L_1, 6], Element[L_1, 7]) → B6
11. Segment(Element[L_1, 7], Element[L_1, 8]) → B7
12. Segment(Element[L_1, 8], Element[L_1, 9]) → B8
13. Segment(Element[L_1, 9], Element[L_1, 10]) → B9
14. Segment(Element[L_1, 10], Element[L_1, 11]) → B10
15. Segment(Element[L_1, 11], Element[L_1, 12]) → B11
16. Segment(Element[L_1, 12], Element[L_1, 13]) → B12
17. Segment(Element[L_1, 13], Element[L_1, 14]) → B13
18. Segment(Element[L_1, 14], Element[L_1, 15]) → B14
19. Segment(Element[L_1, 15], Element[L_1, 16]) → B15
20. Segment(Element[L_1, 16], Element[L_1, 17]) → B16
21. Segment(Element[L_1, 17], Element[L_1, 18]) → B17
22. Segment(Element[L_1, 18], Element[L_1, 19]) → B18
23. Segment(Element[L_1, 19], Element[L_1, 20]) → B19
24. Segment(Element[L_1, 20], Element[L_1, 21]) → B20
25. Segment(Element[L_1, 21], Element[L_1, 22]) → B21
26. Segment(Element[L_1, 22], Element[L_1, 23]) → B22
27. Segment(Element[L_1, 23], Element[L_1, 24]) → B23
28. Segment(Element[L_1, 24], Element[L_1, 25]) → B24
29. Segment(Element[L_1, 25], Element[L_1, 26]) → B25
30. Segment(Element[L_1, 26], Element[L_1, 27]) → B26
31. Segment(Element[L_1, 27], Element[L_1, 28]) → B27
32. Segment(Element[L_1, 28], Element[L_1, 29]) → B28
33. Segment(Element[L_1, 29], Element[L_1, 30]) → B29
34. Segment(Element[L_1, 30], Element[L_1, 31]) → B30
35. Segment(Element[L_1, 31], Element[L_1, 32]) → B31
36. Segment(Element[L_1, 32], Element[L_1, 33]) → B32
37. Segment(Element[L_1, 33], Element[L_1, 34]) → B33
38. Segment(Element[L_1, 34], Element[L_1, 35]) → B34
39. Segment(Element[L_1, 35], Element[L_1, 36]) → B35
40. Segment(Element[L_1, 36], Element[L_1, 37]) → B36
41. Segment(Element[L_1, 37], Element[L_1, 38]) → B37
42. Segment(Element[L_1, 38], Element[L_1, 39]) → B38
43. Segment(Element[L_1, 39], Element[L_1, 40]) → B39
44. Segment(Element[L_1, 40], Element[L_1, 41]) → B40
45. Segment(Element[L_1, 41], Element[L_1, 42]) → B41
46. Segment(Element[L_1, 42], Element[L_1, 43]) → B42
47. Segment(Element[L_1, 43], Element[L_1, 44]) → B43
48. Segment(Element[L_1, 44], Element[L_1, 45]) → B44
49. Segment(Element[L_1, 45], Element[L_1, 46]) → B45
50. Segment(Element[L_1, 46], Element[L_1, 47]) → B46
51. Segment(Element[L_1, 47], Element[L_1, 48]) → B47
52. Segment(Element[L_1, 48], Element[L_1, 49]) → B48
53. Segment(Element[L_1, 49], Element[L_1, 50]) → B49
54. Segment(Element[L_1, 50], Element[L_1, 51]) → B50
55. Segment(Element[L_1, 51], Element[L_1, 52]) → B51
56. Segment(Element[L_1, 52], Element[L_1, 53]) → B52
57. Segment(Element[L_1, 53], Element[L_1, 54]) → B53
58. Segment(Element[L_1, 54], Element[L_1, 55]) → B54
59. Segment(Element[L_1, 55], Element[L_1, 56]) → B55
60. Segment(Element[L_1, 56], Element[L_1, 57]) → B56
61. Segment(Element[L_1, 57], Element[L_1, 58]) → B57
62. Segment(Element[L_1, 58], Element[L_1, 59]) → B58
63. Segment(Element[L_1, 59], Element[L_1, 60]) → B59
64. Segment(Element[L_1, 60], Element[L_1, 61]) → B60
65. Segment(Element[L_1, 61], Element[L_1, 62]) → B61
66. Segment(Element[L_1, 62], Element[L_1, 63]) → B62
67. Segment(Element[L_1, 63], Element[L_1, 64]) → B63
68. Segment(Element[L_1, 64], Element[L_1, 65]) → B64
69. Segment(Element[L_1, 65], Element[L_1, 66]) → B65
70. Segment(Element[L_1, 66], Element[L_1, 67]) → B66
71. Segment(Element[L_1, 67], Element[L_1, 68]) → B67
72. Segment(Element[L_1, 68], Element[L_1, 69]) → B68
73. Segment(Element[L_1, 69], Element[L_1, 70]) → B69
74. Segment(Element[L_1, 70], Element[L_1, 71]) → B70
75. Segment(Element[L_1, 71], Element[L_1, 72]) → B71
76. Segment(Element[L_1, 72], Element[L_1, 73]) → B72
77. Segment(Element[L_1, 73], Element[L_1, 74]) → B73
78. Segment(Element[L_1, 74], Element[L_1, 75]) → B74
79. Segment(Element[L_1, 75], Element[L_1, 76]) → B75
80. Segment(Element[L_1, 76], Element[L_1, 77]) → B76
81. Segment(Element[L_1, 77], Element[L_1, 78]) → B77
82. Segment(Element[L_1, 78], Element[L_1, 79]) → B78
83. Segment(Element[L_1, 79], Element[L_1, 80]) → B79
84. Segment(Element[L_1, 80], Element[L_1, 81]) → B80
85. Segment(Element[L_1, 81], Element[L_1, 82]) → B81
86. Segment(Element[L_1, 82], Element[L_1, 83]) → B82
87. Segment(Element[L_1, 83], Element[L_1, 84]) → B83
88. Segment(Element[L_1, 84], Element[L_1, 85]) → B84
89. Segment(Element[L_1, 85], Element[L_1, 86]) → B85
90. Segment(Element[L_1, 86], Element[L_1, 87]) → B86
91. Segment(Element[L_1, 87], Element[L_1, 88]) → B87
92. Segment(Element[L_1, 88], Element[L_1, 89]) → B88
93. Segment(Element[L_1, 89], Element[L_1, 90]) → B89
94. Segment(Element[L_1, 90], Element[L_1, 91]) → B90
95. Segment(Element[L_1, 91], Element[L_1, 92]) → B91
96. Segment(Element[L_1, 92], Element[L_1, 93]) → B92
97. Segment(Element[L_1, 93], Element[L_1, 94]) → B93
98. Segment(Element[L_1, 94], Element[L_1, 95]) → B94
99. Segment(Element[L_1, 95], Element[L_1, 96]) → B95
100. Segment(Element[L_1, 96], Element[L_1, 97]) → B96
101. Segment(Element[L_1, 97], Element[L_1, 98]) → B97
102. Segment(Element[L_1, 98], Element[L_1, 99]) → B98
103. Segment(Element[L_1, 99], Element[L_1, 100]) → B99
104. Segment(Element[L_1, 100], Element[L_1, 101]) → B100
105. Segment(Element[L_1, 101], Element[L_1, 102]) → B101
106. Segment(Element[L_1, 102], Element[L_1, 103]) → B102
107. Segment(Element[L_1, 103], Element[L_1, 104]) → B103
108. Segment(Element[L_1, 104], Element[L_1, 105]) → B104
109. Segment(Element[L_1, 105], Element[L_1, 106]) → B105
110. Segment(Element[L_1, 106], Element[L_1, 107]) → B106
111. Segment(Element[L_1, 107], Element[L_1, 108]) → B107
112. Segment(Element[L_1, 108], Element[L_1, 109]) → B108
113. Segment(Element[L_1, 109], Element[L_1, 110]) → B109
114. Segment(Element[L_1, 110], Element[L_1, 111]) → B110
115. Segment(Element[L_1, 111], Element[L_1, 112]) → B111
116. Segment(Element[L_1, 112], Element[L_1, 113]) → B112
117. Segment(Element[L_1, 113], Element[L_1, 114]) → B113
118. Segment(Element[L_1, 114], Element[L_1, 115]) → B114
119. Segment(Element[L_1, 115], Element[L_1, 116]) → B115
120. Segment(Element[L_1, 116], Element[L_1, 117]) → B116
121. Segment(Element[L_1, 117], Element[L_1, 118]) → B117
122. Segment(Element[L_1, 118], Element[L_1, 119]) → B118
123. Segment(Element[L_1, 119], Element[L_1, 120]) → B119
124. Segment(Element[L_1, 120], Element[L_1, 121]) → B120
125. Segment(Element[L_1, 121], Element[L_1, 122]) → B121
126. Segment(Element[L_1, 122], Element[L_1, 123]) → B122
127. Segment(Element[L_1, 123], Element[L_1, 124]) → B123
128. Segment(Element[L_1, 124], Element[L_1, 125]) → B124
129. Segment(Element[L_1, 125], Element[L_1, 126]) → B125
130. Segment(Element[L_1, 126], Element[L_1, 127]) → B126
131. Segment(Element[L_1, 127], Element[L_1, 128]) → B127
132. Segment(Element[L_1, 128], Element[L_1, 129]) → B128
133. Segment(Element[L_1, 129], Element[L_1, 130]) → B129
134. Segment(Element[L_1, 130], Element[L_1, 131]) → B130
135. Segment(Element[L_1, 131], Element[L_1, 132]) → B131
136. Segment(Element[L_1, 132], Element[L_1, 133]) → B132
137. Segment(Element[L_1, 133], Element[L_1, 134]) → B133
138. Segment(Element[L_1, 134], Element[L_1, 135]) → B134
139. Segment(Element[L_1, 135], Element[L_1, 136]) → B135
140. Segment(Element[L_1, 136], Element[L_1, 137]) → B136
141. Segment(Element[L_1, 137], Element[L_1, 138]) → B137
142. Segment(Element[L_1, 138], Element[L_1, 139]) → B138
143. Segment(Element[L_1, 139], Element[L_1, 140]) → B139
144. Segment(Element[L_1, 140], Element[L_1, 141]) → B140
145. Segment(Element[L_1, 141], Element[L_1, 142]) → B141
146. Segment(Element[L_1, 142], Element[L_1, 143]) → B142
147. Segment(Element[L_1, 143], Element[L_1, 144]) → B143
148. Segment(Element[L_1, 144], Element[L_1, 145]) → B144
149. Segment(Element[L_1, 145], Element[L_1, 146]) → B145
150. Segment(Element[L_1, 146], Element[L_1, 147]) → B146
151. Segment(Element[L_1, 147], Element[L_1, 148]) → B147
152. Segment(Element[L_1, 148], Element[L_1, 149]) → B148
153. Segment(Element[L_1, 149], Element[L_1, 150]) → B149
154. Segment(Element[L_1, 150], Element[L_1, 151]) → B150
155. Segment(Element[L_1, 151], Element[L_1, 152]) → B151
156. Segment(Element[L_1, 152], Element[L_1, 153]) → B152
157. Segment(Element[L_1, 153], Element[L_1, 154]) → B153
158. Segment(Element[L_1, 154], Element[L_1, 155]) → B154
159. Segment(Element[L_1, 155], Element[L_1, 156]) → B155
160. Segment(Element[L_1, 156], Element[L_1, 157]) → B156
161. Segment(Element[L_1, 157], Element[L_1, 158]) → B157
162. Segment(Element[L_1, 158], Element[L_1, 159]) → B158
163. Segment(Element[L_1, 159], Element[L_1, 160]) → B159
164. Segment(Element[L_1, 160], Element[L_1, 161]) → B160
165. Segment(Element[L_1, 161], Element[L_1, 162]) → B161
166. Segment(Element[L_1, 162], Element[L_1, 163]) → B162
167. Segment(Element[L_1, 163], Element[L_1, 164]) → B163
168. Segment(Element[L_1, 164], Element[L_1, 165]) → B164
169. Segment(Element[L_1, 165], Element[L_1, 166]) → B165
170. Segment(Element[L_1, 166], Element[L_1, 167]) → B166
171. Segment(Element[L_1, 167], Element[L_1, 168]) → B167
172. Segment(Element[L_1, 168], Element[L_1, 169]) → B168
173. Segment(Element[L_1, 169], Element[L_1, 170]) → B169
174. Segment(Element[L_1, 170], Element[L_1, 171]) → B170
175. Segment(Element[L_1, 171], Element[L_1, 172]) → B171
176. Segment(Element[L_1, 172], Element[L_1, 173]) → B172
177. Segment(Element[L_1, 173], Element[L_1, 174]) → B173
178. Segment(Element[L_1, 174], Element[L_1, 175]) → B174
179. Segment(Element[L_1, 175], Element[L_1, 176]) → B175
180. Segment(Element[L_1, 176], Element[L_1, 177]) → B176
181. Segment(Element[L_1, 177], Element[L_1, 178]) → B177
182. Segment(Element[L_1, 178], Element[L_1, 179]) → B178
183. Segment(Element[L_1, 179], Element[L_1, 180]) → B179
184. Segment(Element[L_1, 180], Element[L_1, 181]) → B180
185. Segment(Element[L_1, 181], Element[L_1, 182]) → B181
186. Segment(Element[L_1, 182], Element[L_1, 183]) → B182
187. Segment(Element[L_1, 183], Element[L_1, 184]) → B183
188. Segment(Element[L_1, 184], Element[L_1, 185]) → B184
189. Segment(Element[L_1, 185], Element[L_1, 186]) → B185
190. Segment(Element[L_1, 186], Element[L_1, 187]) → B186
191. Segment(Element[L_1, 187], Element[L_1, 188]) → B187
192. Segment(Element[L_1, 188], Element[L_1, 189]) → B188
193. Segment(Element[L_1, 189], Element[L_1, 190]) → B189
194. Segment(Element[L_1, 190], Element[L_1, 191]) → B190
195. Segment(Element[L_1, 191], Element[L_1, 192]) → B191
196. Segment(Element[L_1, 192], Element[L_1, 193]) → B192
197. Segment(Element[L_1, 193], Element[L_1, 194]) → B193
198. Segment(Element[L_1, 194], Element[L_1, 195]) → B194
199. Segment(Element[L_1, 195], Element[L_1, 196]) → B195
200. Segment(Element[L_1, 196], Element[L_1, 197]) → B196
201. Segment(Element[L_1, 197], Element[L_1, 198]) → B197
202. Segment(Element[L_1, 198], Element[L_1, 199]) → B198
203. Segment(Element[L_1, 199], Element[L_1, 200]) → B199
204. Segment(Element[L_1, 200], Element[L_1, 201]) → B200
205. Segment(Element[L_1, 201], Element[L_1, 202]) → B201
206. Segment(Element[L_1, 202], Element[L_1, 203]) → B202
207. Segment(Element[L_1, 203], Element[L_1, 204]) → B203
208. Segment(Element[L_1, 204], Element[L_1, 205]) → B204
209. Segment(Element[L_1, 205], Element[L_1, 206]) → B205
210. Segment(Element[L_1, 206], Element[L_1, 207]) → B206
211. Segment(Element[L_1, 207], Element[L_1, 208]) → B207
212. Segment(Element[L_1, 208], Element[L_1, 209]) → B208
213. Segment(Element[L_1, 209], Element[L_1, 210]) → B209
214. Segment(Element[L_1, 210], Element[L_1, 211]) → B210
215. Segment(Element[L_1, 211], Element[L_1, 212]) → B211
216. Segment(Element[L_1, 212], Element[L_1, 213]) → B212
217. Segment(Element[L_1, 213], Element[L_1, 214]) → B213
218. Segment(Element[L_1, 214], Element[L_1, 215]) → B214
219. Segment(Element[L_1, 215], Element[L_1, 216]) → B215
220. Segment(Element[L_1, 216], Element[L_1, 217]) → B216
221. Segment(Element[L_1, 217], Element[L_1, 218]) → B217
222. Segment(Element[L_1, 218], Element[L_1, 219]) → B218
223. Segment(Element[L_1, 219], Element[L_1, 220]) → B219
224. Segment(Element[L_1, 220], Element[L_1, 221]) → B220
225. Segment(Element[L_1, 221], Element[L_1, 222]) → B221
226. Segment(Element[L_1, 222], Element[L_1, 223]) → B222
227. Segment(Element[L_1, 223], Element[L_1, 224]) → B223
228. Segment(Element[L_1, 224], Element[L_1, 225]) → B224
229. Segment(Element[L_1, 225], Element[L_1, 226]) → B225
230. Segment(Element[L_1, 226], Element[L_1, 227]) → B226
231. Segment(Element[L_1, 227], Element[L_1, 228]) → B227
232. Segment(Element[L_1, 228], Element[L_1, 229]) → B228
233. Segment(Element[L_1, 229], Element[L_1, 230]) → B229
234. Segment(Element[L_1, 230], Element[L_1, 231]) → B230
235. Segment(Element[L_1, 231], Element[L_1, 232]) → B231
236. Segment(Element[L_1, 232], Element[L_1, 233]) → B232
237. Segment(Element[L_1, 233], Element[L_1, 234]) → B233
238. Segment(Element[L_1, 234], Element[L_1, 235]) → B234
239. Segment(Element[L_1, 235], Element[L_1, 236]) → B235
240. Segment(Element[L_1, 236], Element[L_1, 237]) → B236
241. Segment(Element[L_1, 237], Element[L_1, 238]) → B237
242. Segment(Element[L_1, 238], Element[L_1, 239]) → B238
243. Segment(Element[L_1, 239], Element[L_1, 240]) → B239
244. Segment(Element[L_1, 240], Element[L_1, 241]) → B240
245. Segment(Element[L_1, 241], Element[L_1, 242]) → B241
246. Segment(Element[L_1, 242], Element[L_1, 243]) → B242
247. Segment(Element[L_1, 243], Element[L_1, 244]) → B243
248. Segment(Element[L_1, 244], Element[L_1, 245]) → B244
249. Segment(Element[L_1, 245], Element[L_1, 246]) → B245
250. Segment(Element[L_1, 246], Element[L_1, 247]) → B246
251. Segment(Element[L_1, 247], Element[L_1, 248]) → B247
252. Segment(Element[L_1, 248], Element[L_1, 249]) → B248
253. Segment(Element[L_1, 249], Element[L_1, 250]) → B249
254. Segment(Element[L_1, 250], Element[L_1, 251]) → B250
255. Segment(Element[L_1, 251], Element[L_1, 252]) → B251
256. Segment(Element[L_1, 252], Element[L_1, 253]) → B252
257. Segment(Element[L_1, 253], Element[L_1, 254]) → B253
258. Segment(Element[L_1, 254], Element[L_1, 255]) → B254
259. Segment(Element[L_1, 255], Element[L_1, 256]) → B255
260. Segment(Element[L_1, 256], Element[L_1, 257]) → B256
261. Segment(Element[L_1, 257], Element[L_1, 258]) → B257
262. Segment(Element[L_1, 258], Element[L_1, 259]) → B258
263. Segment(Element[L_1, 259], Element[L_1, 260]) → B259
264. Segment(Element[L_1, 260], Element[L_1, 261]) → B260
265. Segment(Element[L_1, 261], Element[L_1, 262]) → B261
266. Segment(Element[L_1, 262], Element[L_1, 263]) → B262
267. Segment(Element[L_1, 263], Element[L_1, 264]) → B263
268. Segment(Element[L_1, 264], Element[L_1, 265]) → B264
269. Segment(Element[L_1, 265], Element[L_1, 266]) → B265
270. Segment(Element[L_1, 266], Element[L_1, 267]) → B266
271. Segment(Element[L_1, 267], Element[L_1, 268]) → B267
272. Segment(Element[L_1, 268], Element[L_1, 269]) → B268
273. Segment(Element[L_1, 269], Element[L_1, 270]) → B269
274. Segment(Element[L_1, 270], Element[L_1, 271]) → B270
275. Segment(Element[L_1, 271], Element[L_1, 272]) → B271
276. Segment(Element[L_1, 272], Element[L_1, 273]) → B272
277. Segment(Element[L_1, 273], Element[L_1, 274]) → B273
278. Segment(Element[L_1, 274], Element[L_1, 275]) → B274
279. Segment(Element[L_1, 275], Element[L_1, 276]) → B275
280. Segment(Element[L_1, 276], Element[L_1, 277]) → B276
281. Segment(Element[L_1, 277], Element[L_1, 278]) → B277
282. Segment(Element[L_1, 278], Element[L_1, 279]) → B278
283. Segment(Element[L_1, 279], Element[L_1, 280]) → B279
284. Segment(Element[L_1, 280], Element[L_1, 281]) → B280
285. Segment(Element[L_1, 281], Element[L_1, 282]) → B281
286. Segment(Element[L_1, 282], Element[L_1, 283]) → B282
287. Segment(Element[L_1, 283], Element[L_1, 284]) → B283
288. Segment(Element[L_1, 284], Element[L_1, 285]) → B284
289. Segment(Element[L_1, 285], Element[L_1, 286]) → B285
290. Segment(Element[L_1, 286], Element[L_1, 287]) → B286
291. Segment(Element[L_1, 287], Element[L_1, 288]) → B287
292. Segment(Element[L_1, 288], Element[L_1, 289]) → B288
293. Segment(Element[L_1, 289], Element[L_1, 290]) → B289
294. Segment(Element[L_1, 290], Element[L_1, 291]) → B290
295. Segment(Element[L_1, 291], Element[L_1, 292]) → B291
296. Segment(Element[L_1, 292], Element[L_1, 293]) → B292
297. Segment(Element[L_1, 293], Element[L_1, 294]) → B293
298. Segment(Element[L_1, 294], Element[L_1, 295]) → B294
299. Segment(Element[L_1, 295], Element[L_1, 296]) → B295
300. Segment(Element[L_1, 296], Element[L_1, 297]) → B296
301. Segment(Element[L_1, 297], Element[L_1, 298]) → B297
302. Segment(Element[L_1, 298], Element[L_1, 299]) → B298
303. Segment(Element[L_1, 299], Element[L_1, 300]) → B299
304. Segment(Element[L_1, 300], Element[L_1, 301]) → B300
305. Segment(Element[L_1, 301], Element[L_1, 302]) → B301
306. Segment(Element[L_1, 302], Element[L_1, 303]) → B302
307. Segment(Element[L_1, 303], Element[L_1, 304]) → B303
308. Segment(Element[L_1, 304], Element[L_1, 305]) → B304
309. Segment(Element[L_1, 305], Element[L_1, 306]) → B305
310. Segment(Element[L_1, 306], Element[L_1, 307]) → B306
311. Segment(Element[L_1, 307], Element[L_1, 308]) → B307
312. Segment(Element[L_1, 308], Element[L_1, 309]) → B308
313. Segment(Element[L_1, 309], Element[L_1, 310]) → B309
314. Segment(Element[L_1, 310], Element[L_1, 311]) → B310
315. Segment(Element[L_1, 311], Element[L_1, 312]) → B311
316. Segment(Element[L_1, 312], Element[L_1, 313]) → B312
317. Segment(Element[L_1, 313], Element[L_1, 314]) → B313
318. Segment(Element[L_1, 314], Element[L_1, 315]) → B314
319. Segment(Element[L_1, 315], Element[L_1, 316]) → B315
320. Segment(Element[L_1, 316], Element[L_1, 317]) → B316
321. Segment(Element[L_1, 317], Element[L_1, 318]) → B317
322. Segment(Element[L_1, 318], Element[L_1, 319]) → B318
323. Segment(Element[L_1, 319], Element[L_1, 320]) → B319
324. Segment(Element[L_1, 320], Element[L_1, 321]) → B320
325. Segment(Element[L_1, 321], Element[L_1, 322]) → B321
326. Segment(Element[L_1, 322], Element[L_1, 323]) → B322
327. Segment(Element[L_1, 323], Element[L_1, 324]) → B323
328. Segment(Element[L_1, 324], Element[L_1, 325]) → B324
329. Segment(Element[L_1, 325], Element[L_1, 326]) → B325
330. Segment(Element[L_1, 326], Element[L_1, 327]) → B326
331. Segment(Element[L_1, 327], Element[L_1, 328]) → B327
332. Segment(Element[L_1, 328], Element[L_1, 329]) → B328
333. Segment(Element[L_1, 329], Element[L_1, 330]) → B329
334. Segment(Element[L_1, 330], Element[L_1, 331]) → B330
335. Segment(Element[L_1, 331], Element[L_1, 332]) → B331
336. Segment(Element[L_1, 332], Element[L_1, 333]) → B332
337. Segment(Element[L_1, 333], Element[L_1, 334]) → B333
338. Segment(Element[L_1, 334], Element[L_1, 335]) → B334
339. Segment(Element[L_1, 335], Element[L_1, 336]) → B335
340. Segment(Element[L_1, 336], Element[L_1, 337]) → B336
341. Segment(Element[L_1, 337], Element[L_1, 338]) → B337
342. Segment(Element[L_1, 338], Element[L_1, 339]) → B338
343. Segment(Element[L_1, 339], Element[L_1, 340]) → B339
344. Segment(Element[L_1, 340], Element[L_1, 341]) → B340
345. Segment(Element[L_1, 341], Element[L_1, 342]) → B341
346. Segment(Element[L_1, 342], Element[L_1, 343]) → B342
347. Segment(Element[L_1, 343], Element[L_1, 344]) → B343
348. Segment(Element[L_1, 344], Element[L_1, 345]) → B344
349. Segment(Element[L_1, 345], Element[L_1, 346]) → B345
350. Segment(Element[L_1, 346], Element[L_1, 347]) → B346
351. Segment(Element[L_1, 347], Element[L_1, 348]) → B347
352. Segment(Element[L_1, 348], Element[L_1, 349]) → B348
353. Segment(Element[L_1, 349], Element[L_1, 350]) → B349
354. Segment(Element[L_1, 350], Element[L_1, 351]) → B350
355. Segment(Element[L_1, 351], Element[L_1, 352]) → B351
356. Segment(Element[L_1, 352], Element[L_1, 353]) → B352
357. Segment(Element[L_1, 353], Element[L_1, 354]) → B353
358. Segment(Element[L_1, 354], Element[L_1, 355]) → B354
359. Segment(Element[L_1, 355], Element[L_1, 356]) → B355
360. Segment(Element[L_1, 356], Element[L_1, 357]) → B356
361. Segment(Element[L_1, 357], Element[L_1, 358]) → B357
362. Segment(Element[L_1, 358], Element[L_1, 359]) → B358
363. Segment(Element[L_1, 359], Element[L_1, 360]) → B359
364. Segment(Element[L_1, 360], Element[L_1, 361]) → B360
365. Segment(Element[L_1, 361], Element[L_1, 362]) → B361
366. Segment(Element[L_1, 362], Element[L_1, 363]) → B362
367. Segment(Element[L_1, 363], Element[L_1, 364]) → B363
368. Segment(Element[L_1, 364], Element[L_1, 365]) → B364
369. Segment(Element[L_1, 365], Element[L_1, 366]) → B365
370. Segment(Element[L_1, 366], Element[L_1, 367]) → B366
371. Segment(Element[L_1, 367], Element[L_1, 368]) → B367
372. Segment(Element[L_1, 368], Element[L_1, 369]) → B368
373. Segment(Element[L_1, 369], Element[L_1, 370]) → B369
374. Segment(Element[L_1, 370], Element[L_1, 371]) → B370
375. Segment(Element[L_1, 371], Element[L_1, 372]) → B371
376. Segment(Element[L_1, 372], Element[L_1, 373]) → B372
377. Segment(Element[L_1, 373], Element[L_1, 374]) → B373
378. Segment(Element[L_1, 374], Element[L_1, 375]) → B374
379. Segment(Element[L_1, 375], Element[L_1, 376]) → B375
380. Segment(Element[L_1, 376], Element[L_1, 377]) → B376
381. Segment(Element[L_1, 377], Element[L_1, 378]) → B377
382. Segment(Element[L_1, 378], Element[L_1, 379]) → B378
383. Segment(Element[L_1, 379], Element[L_1, 380]) → B379
384. Segment(Element[L_1, 380], Element[L_1, 381]) → B380
385. Segment(Element[L_1, 381], Element[L_1, 382]) → B381
386. Segment(Element[L_1, 382], Element[L_1, 383]) → B382
387. Segment(Element[L_1, 383], Element[L_1, 384]) → B383
388. Segment(Element[L_1, 384], Element[L_1, 385]) → B384
389. Segment(Element[L_1, 385], Element[L_1, 386]) → B385
390. Segment(Element[L_1, 386], Element[L_1, 387]) → B386
391. Segment(Element[L_1, 387], Element[L_1, 388]) → B387
392. Segment(Element[L_1, 388], Element[L_1, 389]) → B388
393. Segment(Element[L_1, 389], Element[L_1, 390]) → B389
394. Segment(Element[L_1, 390], Element[L_1, 391]) → B390
395. Segment(Element[L_1, 391], Element[L_1, 392]) → B391
396. Segment(Element[L_1, 392], Element[L_1, 393]) → B392
397. Segment(Element[L_1, 393], Element[L_1, 394]) → B393
398. Segment(Element[L_1, 394], Element[L_1, 395]) → B394
399. Segment(Element[L_1, 395], Element[L_1, 396]) → B395
400. Segment(Element[L_1, 396], Element[L_1, 397]) → B396
401. Segment(Element[L_1, 397], Element[L_1, 398]) → B397
402. Segment(Element[L_1, 398], Element[L_1, 399]) → B398
403. Segment(Element[L_1, 399], Element[L_1, 400]) → B399
404. Segment(Element[L_1, 400], Element[L_1, 401]) → B400
405. Segment(Element[L_1, 401], Element[L_1, 402]) → B401
406. Segment(Element[L_1, 402], Element[L_1, 403]) → B402
407. Segment(Element[L_1, 403], Element[L_1, 404]) → B403
408. Segment(Element[L_1, 404], Element[L_1, 405]) → B404
409. Segment(Element[L_1, 405], Element[L_1, 406]) → B405
410. Segment(Element[L_1, 406], Element[L_1, 407]) → B406
411. Segment(Element[L_1, 407], Element[L_1, 408]) → B407
412. Segment(Element[L_1, 408], Element[L_1, 409]) → B408
413. Segment(Element[L_1, 409], Element[L_1, 410]) → B409
414. Segment(Element[L_1, 410], Element[L_1, 411]) → B410
415. Segment(Element[L_1, 411], Element[L_1, 412]) → B411
416. Segment(Element[L_1, 412], Element[L_1, 413]) → B412
417. Segment(Element[L_1, 413], Element[L_1, 414]) → B413
418. Segment(Element[L_1, 414], Element[L_1, 415]) → B414
419. Segment(Element[L_1, 415], Element[L_1, 416]) → B415
420. Segment(Element[L_1, 416], Element[L_1, 417]) → B416
421. Segment(Element[L_1, 417], Element[L_1, 418]) → B417
422. Segment(Element[L_1, 418], Element[L_1, 419]) → B418
423. Segment(Element[L_1, 419], Element[L_1, 420]) → B419
424. Segment(Element[L_1, 420], Element[L_1, 421]) → B420
425. Segment(Element[L_1, 421], Element[L_1, 422]) → B421
426. Segment(Element[L_1, 422], Element[L_1, 423]) → B422
427. Segment(Element[L_1, 423], Element[L_1, 424]) → B423
428. Segment(Element[L_1, 424], Element[L_1, 425]) → B424
429. Segment(Element[L_1, 425], Element[L_1, 426]) → B425
430. Segment(Element[L_1, 426], Element[L_1, 427]) → B426
431. Segment(Element[L_1, 427], Element[L_1, 428]) → B427
432. Segment(Element[L_1, 428], Element[L_1, 429]) → B428
433. Segment(Element[L_1, 429], Element[L_1, 430]) → B429
434. Segment(Element[L_1, 430], Element[L_1, 431]) → B430
435. Segment(Element[L_1, 431], Element[L_1, 432]) → B431
436. Segment(Element[L_1, 432], Element[L_1, 433]) → B432
437. Segment(Element[L_1, 433], Element[L_1, 434]) → B433
438. Segment(Element[L_1, 434], Element[L_1, 435]) → B434
439. Segment(Element[L_1, 435], Element[L_1, 436]) → B435
440. Segment(Element[L_1, 436], Element[L_1, 437]) → B436
441. Segment(Element[L_1, 437], Element[L_1, 438]) → B437
442. Segment(Element[L_1, 438], Element[L_1, 439]) → B438
443. Segment(Element[L_1, 439], Element[L_1, 440]) → B439
444. Segment(Element[L_1, 440], Element[L_1, 441]) → B440
445. Segment(Element[L_1, 441], Element[L_1, 442]) → B441
446. Segment(Element[L_1, 442], Element[L_1, 443]) → B442
447. Segment(Element[L_1, 443], Element[L_1, 444]) → B443
448. Segment(Element[L_1, 444], Element[L_1, 445]) → B444
449. Segment(Element[L_1, 445], Element[L_1, 446]) → B445
450. Segment(Element[L_1, 446], Element[L_1, 447]) → B446
451. Segment(Element[L_1, 447], Element[L_1, 448]) → B447
452. Segment(Element[L_1, 448], Element[L_1, 449]) → B448
453. Segment(Element[L_1, 449], Element[L_1, 450]) → B449
454. Segment(Element[L_1, 450], Element[L_1, 451]) → B450
455. Segment(Element[L_1, 451], Element[L_1, 452]) → B451
456. Segment(Element[L_1, 452], Element[L_1, 453]) → B452
457. Segment(Element[L_1, 453], Element[L_1, 454]) → B453
458. Segment(Element[L_1, 454], Element[L_1, 455]) → B454
459. Segment(Element[L_1, 455], Element[L_1, 456]) → B455
460. Segment(Element[L_1, 456], Element[L_1, 457]) → B456
461. Segment(Element[L_1, 457], Element[L_1, 458]) → B457
462. Segment(Element[L_1, 458], Element[L_1, 459]) → B458
463. Segment(Element[L_1, 459], Element[L_1, 460]) → B459
464. Segment(Element[L_1, 460], Element[L_1, 461]) → B460
465. Segment(Element[L_1, 461], Element[L_1, 462]) → B461
466. Segment(Element[L_1, 462], Element[L_1, 463]) → B462
467. Segment(Element[L_1, 463], Element[L_1, 464]) → B463
468. Segment(Element[L_1, 464], Element[L_1, 465]) → B464
469. Segment(Element[L_1, 465], Element[L_1, 466]) → B465
470. Segment(Element[L_1, 466], Element[L_1, 467]) → B466
471. Segment(Element[L_1, 467], Element[L_1, 468]) → B467
472. Segment(Element[L_1, 468], Element[L_1, 469]) → B468
473. Segment(Element[L_1, 469], Element[L_1, 470]) → B469
474. Segment(Element[L_1, 470], Element[L_1, 471]) → B470
475. Segment(Element[L_1, 471], Element[L_1, 472]) → B471
476. Segment(Element[L_1, 472], Element[L_1, 473]) → B472
477. Segment(Element[L_1, 473], Element[L_1, 474]) → B473
478. Segment(Element[L_1, 474], Element[L_1, 475]) → B474
479. Segment(Element[L_1, 475], Element[L_1, 476]) → B475
480. Segment(Element[L_1, 476], Element[L_1, 477]) → B476
481. Segment(Element[L_1, 477], Element[L_1, 478]) → B477
482. Segment(Element[L_1, 478], Element[L_1, 479]) → B478
483. Segment(Element[L_1, 479], Element[L_1, 480]) → B479
484. Segment(Element[L_1, 480], Element[L_1, 481]) → B480
485. Segment(Element[L_1, 481], Element[L_1, 482]) → B481
486. Segment(Element[L_1, 482], Element[L_1, 483]) → B482
487. Segment(Element[L_1, 483], Element[L_1, 484]) → B483
488. Segment(Element[L_1, 484], Element[L_1, 485]) → B484
489. Segment(Element[L_1, 485], Element[L_1, 486]) → B485
490. Segment(Element[L_1, 486], Element[L_1, 487]) → B486
491. Segment(Element[L_1, 487], Element[L_1, 488]) → B487
492. Segment(Element[L_1, 488], Element[L_1, 489]) → B488
493. Segment(Element[L_1, 489], Element[L_1, 490]) → B489
494. Segment(Element[L_1, 490], Element[L_1, 491]) → B490
495. Segment(Element[L_1, 491], Element[L_1, 492]) → B491
496. Segment(Element[L_1, 492], Element[L_1, 493]) → B492
497. Segment(Element[L_1, 493], Element[L_1, 494]) → B493
498. Segment(Element[L_1, 494], Element[L_1, 495]) → B494
499. Segment(Element[L_1, 495], Element[L_1, 496]) → B495
500. Segment(Element[L_1, 496], Element[L_1, 497]) → B496
501. Segment(Element[L_1, 497], Element[L_1, 498]) → B497
502. Segment(Element[L_1, 498], Element[L_1, 499]) → B498
503. Segment(Element[L_1, 499], Element[L_1, 500]) → B499
504. Segment(Element[L_1, 500], Element[L_1, 501]) → B500
505. Segment(Element[L_1, 501], Element[L_1, 502]) → B501
506. Segment(Element[L_1, 502], Element[L_1, 503]) → B502
507. Segment(Element[L_1, 503], Element[L_1, 504]) → B503
508. Segment(Element[L_1, 504], Element[L_1, 505]) → B504
509. Segment(Element[L_1, 505], Element[L_1, 506]) → B505
510. Segment(Element[L_1, 506], Element[L_1, 507]) → B506
511. Segment(Element[L_1, 507], Element[L_1, 508]) → B507
512. Segment(Element[L_1, 508], Element[L_1, 509]) → B508
513. Segment(Element[L_1, 509], Element[L_1, 510]) → B509
514. Segment(Element[L_1, 510], Element[L_1, 511]) → B510
515. Segment(Element[L_1, 511], Element[L_1, 512]) → B511
516. Segment(Element[L_1, 512], Element[L_1, 513]) → B512
517. Segment(Element[L_1, 513], Element[L_1, 514]) → B513
518. Segment(Element[L_1, 514], Element[L_1, 515]) → B514
519. Segment(Element[L_1, 515], Element[L_1, 516]) → B515
520. Segment(Element[L_1, 516], Element[L_1, 517]) → B516
521. Segment(Element[L_1, 517], Element[L_1, 518]) → B517
522. Segment(Element[L_1, 518], Element[L_1, 519]) → B518
523. Segment(Element[L_1, 519], Element[L_1, 520]) → B519
524. Segment(Element[L_1, 520], Element[L_1, 521]) → B520
525. Segment(Element[L_1, 521], Element[L_1, 522]) → B521
526. Segment(Element[L_1, 522], Element[L_1, 523]) → B522
527. Segment(Element[L_1, 523], Element[L_1, 524]) → B523
528. Segment(Element[L_1, 524], Element[L_1, 525]) → B524
529. Segment(Element[L_1, 525], Element[L_1, 526]) → B525
530. Segment(Element[L_1, 526], Element[L_1, 527]) → B526
531. Segment(Element[L_1, 527], Element[L_1, 528]) → B527
532. Segment(Element[L_1, 528], Element[L_1, 529]) → B528
533. Segment(Element[L_1, 529], Element[L_1, 530]) → B529
534. Segment(Element[L_1, 530], Element[L_1, 531]) → B530
535. Segment(Element[L_1, 531], Element[L_1, 532]) → B531
536. Segment(Element[L_1, 532], Element[L_1, 533]) → B532
537. Segment(Element[L_1, 533], Element[L_1, 534]) → B533
538. Segment(Element[L_1, 534], Element[L_1, 535]) → B534
539. Segment(Element[L_1, 535], Element[L_1, 536]) → B535
540. Segment(Element[L_1, 536], Element[L_1, 537]) → B536
541. Segment(Element[L_1, 537], Element[L_1, 538]) → B537
542. Segment(Element[L_1, 538], Element[L_1, 539]) → B538
543. Segment(Element[L_1, 539], Element[L_1, 540]) → B539
544. Segment(Element[L_1, 540], Element[L_1, 541]) → B540
545. Segment(Element[L_1, 541], Element[L_1, 542]) → B541
546. Segment(Element[L_1, 542], Element[L_1, 543]) → B542
547. Segment(Element[L_1, 543], Element[L_1, 544]) → B543
548. Segment(Element[L_1, 544], Element[L_1, 545]) → B544
549. Segment(Element[L_1, 545], Element[L_1, 546]) → B545
550. Segment(Element[L_1, 546], Element[L_1, 547]) → B546
551. Segment(Element[L_1, 547], Element[L_1, 548]) → B547
552. Segment(Element[L_1, 548], Element[L_1, 549]) → B548
553. Segment(Element[L_1, 549], Element[L_1, 550]) → B549
554. Segment(Element[L_1, 550], Element[L_1, 551]) → B550
555. Segment(Element[L_1, 551], Element[L_1, 552]) → B551
556. Segment(Element[L_1, 552], Element[L_1, 553]) → B552
557. Segment(Element[L_1, 553], Element[L_1, 554]) → B553
558. Segment(Element[L_1, 554], Element[L_1, 555]) → B554
559. Segment(Element[L_1, 555], Element[L_1, 556]) → B555
560. Segment(Element[L_1, 556], Element[L_1, 557]) → B556
561. Segment(Element[L_1, 557], Element[L_1, 558]) → B557
562. Segment(Element[L_1, 558], Element[L_1, 559]) → B558
563. Segment(Element[L_1, 559], Element[L_1, 560]) → B559
564. Segment(Element[L_1, 560], Element[L_1, 561]) → B560
565. Segment(Element[L_1, 561], Element[L_1, 562]) → B561
566. Segment(Element[L_1, 562], Element[L_1, 563]) → B562
567. Segment(Element[L_1, 563], Element[L_1, 564]) → B563
568. Segment(Element[L_1, 564], Element[L_1, 565]) → B564
569. Segment(Element[L_1, 565], Element[L_1, 566]) → B565
570. Segment(Element[L_1, 566], Element[L_1, 567]) → B566
571. Segment(Element[L_1, 567], Element[L_1, 568]) → B567
572. Segment(Element[L_1, 568], Element[L_1, 569]) → B568
573. Segment(Element[L_1, 569], Element[L_1, 570]) → B569
574. Segment(Element[L_1, 570], Element[L_1, 571]) → B570
575. Segment(Element[L_1, 571], Element[L_1, 572]) → B571
576. Segment(Element[L_1, 572], Element[L_1, 573]) → B572
577. Segment(Element[L_1, 573], Element[L_1, 574]) → B573
578. Segment(Element[L_1, 574], Element[L_1, 575]) → B574
579. Segment(Element[L_1, 575], Element[L_1, 576]) → B575
580. Segment(Element[L_1, 576], Element[L_1, 577]) → B576
581. Segment(Element[L_1, 577], Element[L_1, 578]) → B577
582. Segment(Element[L_1, 578], Element[L_1, 579]) → B578
583. Segment(Element[L_1, 579], Element[L_1, 580]) → B579
584. Segment(Element[L_1, 580], Element[L_1, 581]) → B580
585. Segment(Element[L_1, 581], Element[L_1, 582]) → B581
586. Segment(Element[L_1, 582], Element[L_1, 583]) → B582
587. Segment(Element[L_1, 583], Element[L_1, 584]) → B583
588. Segment(Element[L_1, 584], Element[L_1, 585]) → B584
589. Segment(Element[L_1, 585], Element[L_1, 586]) → B585
590. Segment(Element[L_1, 586], Element[L_1, 587]) → B586
591. Segment(Element[L_1, 587], Element[L_1, 588]) → B587
592. Segment(Element[L_1, 588], Element[L_1, 589]) → B588
593. Segment(Element[L_1, 589], Element[L_1, 590]) → B589
594. Segment(Element[L_1, 590], Element[L_1, 591]) → B590
595. Segment(Element[L_1, 591], Element[L_1, 592]) → B591
596. Segment(Element[L_1, 592], Element[L_1, 593]) → B592
597. Segment(Element[L_1, 593], Element[L_1, 594]) → B593
598. Segment(Element[L_1, 594], Element[L_1, 595]) → B594
599. Segment(Element[L_1, 595], Element[L_1, 596]) → B595
600. Segment(Element[L_1, 596], Element[L_1, 597]) → B596
601. Segment(Element[L_1, 597], Element[L_1, 598]) → B597
602. Segment(Element[L_1, 598], Element[L_1, 599]) → B598
603. Segment(Element[L_1, 599], Element[L_1, 600]) → B599
604. Segment(Element[L_1, 600], Element[L_1, 601]) → B600
605. Segment(Element[L_1, 601], Element[L_1, 602]) → B601
606. Segment(Element[L_1, 602], Element[L_1, 603]) → B602
607. Segment(Element[L_1, 603], Element[L_1, 604]) → B603
608. Segment(Element[L_1, 604], Element[L_1, 605]) → B604
609. Segment(Element[L_1, 605], Element[L_1, 606]) → B605
610. Segment(Element[L_1, 606], Element[L_1, 607]) → B606
611. Segment(Element[L_1, 607], Element[L_1, 608]) → B607
612. Segment(Element[L_1, 608], Element[L_1, 609]) → B608
613. Segment(Element[L_1, 609], Element[L_1, 610]) → B609
614. Segment(Element[L_1, 610], Element[L_1, 611]) → B610
615. Segment(Element[L_1, 611], Element[L_1, 612]) → B611
616. Segment(Element[L_1, 612], Element[L_1, 613]) → B612
617. Segment(Element[L_1, 613], Element[L_1, 614]) → B613
618. Segment(Element[L_1, 614], Element[L_1, 615]) → B614
619. Segment(Element[L_1, 615], Element[L_1, 616]) → B615
620. Segment(Element[L_1, 616], Element[L_1, 617]) → B616
621. Segment(Element[L_1, 617], Element[L_1, 618]) → B617
622. Segment(Element[L_1, 618], Element[L_1, 619]) → B618
623. Segment(Element[L_1, 619], Element[L_1, 620]) → B619
624. Segment(Element[L_1, 620], Element[L_1, 621]) → B620
625. Segment(Element[L_1, 621], Element[L_1, 622]) → B621
626. Segment(Element[L_1, 622], Element[L_1, 623]) → B622
627. Segment(Element[L_1, 623], Element[L_1, 624]) → B623
628. Segment(Element[L_1, 624], Element[L_1, 625]) → B624
629. Segment(Element[L_1, 625], Element[L_1, 626]) → B625
630. Segment(Element[L_1, 626], Element[L_1, 627]) → B626
631. Segment(Element[L_1, 627], Element[L_1, 628]) → B627
632. Segment(Element[L_1, 628], Element[L_1, 629]) → B628
633. Segment(Element[L_1, 629], Element[L_1, 630]) → B629
634. Segment(Element[L_1, 630], Element[L_1, 631]) → B630
635. Segment(Element[L_1, 631], Element[L_1, 632]) → B631
636. Segment(Element[L_1, 632], Element[L_1, 633]) → B632
637. Segment(Element[L_1, 633], Element[L_1, 634]) → B633
638. Segment(Element[L_1, 634], Element[L_1, 635]) → B634
639. Segment(Element[L_1, 635], Element[L_1, 636]) → B635
640. Segment(Element[L_1, 636], Element[L_1, 637]) → B636
641. Segment(Element[L_1, 637], Element[L_1, 638]) → B637
642. Segment(Element[L_1, 638], Element[L_1, 639]) → B638
643. Segment(Element[L_1, 639], Element[L_1, 640]) → B639
644. Segment(Element[L_1, 640], Element[L_1, 641]) → B640
645. Segment(Element[L_1, 641], Element[L_1, 642]) → B641
646. Segment(Element[L_1, 642], Element[L_1, 643]) → B642
647. Segment(Element[L_1, 643], Element[L_1, 644]) → B643
648. Segment(Element[L_1, 644], Element[L_1, 645]) → B644
649. Segment(Element[L_1, 645], Element[L_1, 646]) → B645
650. Segment(Element[L_1, 646], Element[L_1, 647]) → B646
651. Segment(Element[L_1, 647], Element[L_1, 648]) → B647
652. Segment(Element[L_1, 648], Element[L_1, 649]) → B648
653. Segment(Element[L_1, 649], Element[L_1, 650]) → B649
654. Segment(Element[L_1, 650], Element[L_1, 651]) → B650
655. Segment(Element[L_1, 651], Element[L_1, 652]) → B651
656. Segment(Element[L_1, 652], Element[L_1, 653]) → B652
657. Segment(Element[L_1, 653], Element[L_1, 654]) → B653
658. Segment(Element[L_1, 654], Element[L_1, 655]) → B654
659. Segment(Element[L_1, 655], Element[L_1, 656]) → B655
660. Segment(Element[L_1, 656], Element[L_1, 657]) → B656
661. Segment(Element[L_1, 657], Element[L_1, 658]) → B657
662. Segment(Element[L_1, 658], Element[L_1, 659]) → B658
663. Segment(Element[L_1, 659], Element[L_1, 660]) → B659
664. Segment(Element[L_1, 660], Element[L_1, 661]) → B660
665. Segment(Element[L_1, 661], Element[L_1, 662]) → B661
666. Segment(Element[L_1, 662], Element[L_1, 663]) → B662
667. Segment(Element[L_1, 663], Element[L_1, 664]) → B663
668. Segment(Element[L_1, 664], Element[L_1, 665]) → B664
669. Segment(Element[L_1, 665], Element[L_1, 666]) → B665
670. Segment(Element[L_1, 666], Element[L_1, 667]) → B666
671. Segment(Element[L_1, 667], Element[L_1, 668]) → B667
672. Segment(Element[L_1, 668], Element[L_1, 669]) → B668
673. Segment(Element[L_1, 669], Element[L_1, 670]) → B669
674. Segment(Element[L_1, 670], Element[L_1, 671]) → B670
675. Segment(Element[L_1, 671], Element[L_1, 672]) → B671
676. Segment(Element[L_1, 672], Element[L_1, 673]) → B672
677. Segment(Element[L_1, 673], Element[L_1, 674]) → B673
678. Segment(Element[L_1, 674], Element[L_1, 675]) → B674
679. Segment(Element[L_1, 675], Element[L_1, 676]) → B675
680. Segment(Element[L_1, 676], Element[L_1, 677]) → B676
681. Segment(Element[L_1, 677], Element[L_1, 678]) → B677
682. Segment(Element[L_1, 678], Element[L_1, 679]) → B678
683. Segment(Element[L_1, 679], Element[L_1, 680]) → B679
684. Segment(Element[L_1, 680], Element[L_1, 681]) → B680
685. Segment(Element[L_1, 681], Element[L_1, 682]) → B681
686. Segment(Element[L_1, 682], Element[L_1, 683]) → B682
687. Segment(Element[L_1, 683], Element[L_1, 684]) → B683
688. Segment(Element[L_1, 684], Element[L_1, 685]) → B684
689. Segment(Element[L_1, 685], Element[L_1, 686]) → B685
690. Segment(Element[L_1, 686], Element[L_1, 687]) → B686
691. Segment(Element[L_1, 687], Element[L_1, 688]) → B687
692. Segment(Element[L_1, 688], Element[L_1, 689]) → B688
693. Segment(Element[L_1, 689], Element[L_1, 690]) → B689
694. Segment(Element[L_1, 690], Element[L_1, 691]) → B690
695. Segment(Element[L_1, 691], Element[L_1, 692]) → B691
696. Segment(Element[L_1, 692], Element[L_1, 693]) → B692
697. Segment(Element[L_1, 693], Element[L_1, 694]) → B693
698. Segment(Element[L_1, 694], Element[L_1, 695]) → B694
699. Segment(Element[L_1, 695], Element[L_1, 696]) → B695
700. Segment(Element[L_1, 696], Element[L_1, 697]) → B696
701. Segment(Element[L_1, 697], Element[L_1, 698]) → B697
702. Segment(Element[L_1, 698], Element[L_1, 699]) → B698
703. Segment(Element[L_1, 699], Element[L_1, 700]) → B699
704. Segment(Element[L_1, 700], Element[L_1, 701]) → B700
705. Segment(Element[L_1, 701], Element[L_1, 702]) → B701
706. Segment(Element[L_1, 702], Element[L_1, 703]) → B702
707. Segment(Element[L_1, 703], Element[L_1, 704]) → B703
708. Segment(Element[L_1, 704], Element[L_1, 705]) → B704
709. Segment(Element[L_1, 705], Element[L_1, 706]) → B705
710. Segment(Element[L_1, 706], Element[L_1, 707]) → B706
711. Segment(Element[L_1, 707], Element[L_1, 708]) → B707
712. Segment(Element[L_1, 708], Element[L_1, 709]) → B708
713. Segment(Element[L_1, 709], Element[L_1, 710]) → B709
714. Segment(Element[L_1, 710], Element[L_1, 711]) → B710
715. Segment(Element[L_1, 711], Element[L_1, 712]) → B711
716. Segment(Element[L_1, 712], Element[L_1, 713]) → B712
717. Segment(Element[L_1, 713], Element[L_1, 714]) → B713
718. Segment(Element[L_1, 714], Element[L_1, 715]) → B714
719. Segment(Element[L_1, 715], Element[L_1, 716]) → B715
720. Segment(Element[L_1, 716], Element[L_1, 717]) → B716
721. Segment(Element[L_1, 717], Element[L_1, 718]) → B717
722. Segment(Element[L_1, 718], Element[L_1, 719]) → B718
723. Segment(Element[L_1, 719], Element[L_1, 720]) → B719
724. Segment(Element[L_1, 720], Element[L_1, 721]) → B720
725. Segment(Element[L_1, 721], Element[L_1, 722]) → B721
726. Segment(Element[L_1, 722], Element[L_1, 723]) → B722
727. Segment(Element[L_1, 723], Element[L_1, 724]) → B723
728. Segment(Element[L_1, 724], Element[L_1, 725]) → B724
729. Segment(Element[L_1, 725], Element[L_1, 726]) → B725
730. Segment(Element[L_1, 726], Element[L_1, 727]) → B726
731. Segment(Element[L_1, 727], Element[L_1, 728]) → B727
732. Segment(Element[L_1, 728], Element[L_1, 729]) → B728
733. Segment(Element[L_1, 729], Element[L_1, 730]) → B729
734. Segment(Element[L_1, 730], Element[L_1, 731]) → B730
735. Segment(Element[L_1, 731], Element[L_1, 732]) → B731
736. Segment(Element[L_1, 732], Element[L_1, 733]) → B732
737. Segment(Element[L_1, 733], Element[L_1, 734]) → B733
738. Segment(Element[L_1, 734], Element[L_1, 735]) → B734
739. Segment(Element[L_1, 735], Element[L_1, 736]) → B735
740. Segment(Element[L_1, 736], Element[L_1, 737]) → B736
741. Segment(Element[L_1, 737], Element[L_1, 738]) → B737
742. Segment(Element[L_1, 738], Element[L_1, 739]) → B738
743. Segment(Element[L_1, 739], Element[L_1, 740]) → B739
744. Segment(Element[L_1, 740], Element[L_1, 741]) → B740
745. Segment(Element[L_1, 741], Element[L_1, 742]) → B741
746. Segment(Element[L_1, 742], Element[L_1, 743]) → B742
747. Segment(Element[L_1, 743], Element[L_1, 744]) → B743
748. Segment(Element[L_1, 744], Element[L_1, 745]) → B744
749. Segment(Element[L_1, 745], Element[L_1, 746]) → B745
750. Segment(Element[L_1, 746], Element[L_1, 747]) → B746
751. Segment(Element[L_1, 747], Element[L_1, 748]) → B747
752. Segment(Element[L_1, 748], Element[L_1, 749]) → B748
753. Segment(Element[L_1, 749], Element[L_1, 750]) → B749
754. Segment(Element[L_1, 750], Element[L_1, 751]) → B750
755. Segment(Element[L_1, 751], Element[L_1, 752]) → B751
756. Segment(Element[L_1, 752], Element[L_1, 753]) → B752
757. Segment(Element[L_1, 753], Element[L_1, 754]) → B753
758. Segment(Element[L_1, 754], Element[L_1, 755]) → B754
759. Segment(Element[L_1, 755], Element[L_1, 756]) → B755
760. Segment(Element[L_1, 756], Element[L_1, 757]) → B756
761. Segment(Element[L_1, 757], Element[L_1, 758]) → B757
762. Segment(Element[L_1, 758], Element[L_1, 759]) → B758
763. Segment(Element[L_1, 759], Element[L_1, 760]) → B759
764. Segment(Element[L_1, 760], Element[L_1, 761]) → B760
765. Segment(Element[L_1, 761], Element[L_1, 762]) → B761
766. Segment(Element[L_1, 762], Element[L_1, 763]) → B762
767. Segment(Element[L_1, 763], Element[L_1, 764]) → B763
768. Segment(Element[L_1, 764], Element[L_1, 765]) → B764
769. Segment(Element[L_1, 765], Element[L_1, 766]) → B765
770. Segment(Element[L_1, 766], Element[L_1, 767]) → B766
771. Segment(Element[L_1, 767], Element[L_1, 768]) → B767
772. Segment(Element[L_1, 768], Element[L_1, 769]) → B768
773. Segment(Element[L_1, 769], Element[L_1, 770]) → B769
774. Segment(Element[L_1, 770], Element[L_1, 771]) → B770
775. Segment(Element[L_1, 771], Element[L_1, 772]) → B771
776. Segment(Element[L_1, 772], Element[L_1, 773]) → B772
777. Segment(Element[L_1, 773], Element[L_1, 774]) → B773
778. Segment(Element[L_1, 774], Element[L_1, 775]) → B774
779. Segment(Element[L_1, 775], Element[L_1, 776]) → B775
780. Segment(Element[L_1, 776], Element[L_1, 777]) → B776
781. Segment(Element[L_1, 777], Element[L_1, 778]) → B777
782. Segment(Element[L_1, 778], Element[L_1, 779]) → B778
783. Segment(Element[L_1, 779], Element[L_1, 780]) → B779
784. Segment(Element[L_1, 780], Element[L_1, 781]) → B780
785. Segment(Element[L_1, 781], Element[L_1, 782]) → B781
786. Segment(Element[L_1, 782], Element[L_1, 783]) → B782
787. Segment(Element[L_1, 783], Element[L_1, 784]) → B783
788. Segment(Element[L_1, 784], Element[L_1, 785]) → B784
789. Segment(Element[L_1, 785], Element[L_1, 786]) → B785
790. Segment(Element[L_1, 786], Element[L_1, 787]) → B786
791. Segment(Element[L_1, 787], Element[L_1, 788]) → B787
792. Segment(Element[L_1, 788], Element[L_1, 789]) → B788
793. Segment(Element[L_1, 789], Element[L_1, 790]) → B789
794. Segment(Element[L_1, 790], Element[L_1, 791]) → B790
795. Segment(Element[L_1, 791], Element[L_1, 792]) → B791
796. Segment(Element[L_1, 792], Element[L_1, 793]) → B792
797. Segment(Element[L_1, 793], Element[L_1, 794]) → B793
798. Segment(Element[L_1, 794], Element[L_1, 795]) → B794
799. Segment(Element[L_1, 795], Element[L_1, 796]) → B795
800. Segment(Element[L_1, 796], Element[L_1, 797]) → B796
801. Segment(Element[L_1, 797], Element[L_1, 798]) → B797
802. Segment(Element[L_1, 798], Element[L_1, 799]) → B798
803. Segment(Element[L_1, 799], Element[L_1, 800]) → B799
804. Segment(Element[L_1, 800], Element[L_1, 801]) → B800
805. Segment(Element[L_1, 801], Element[L_1, 802]) → B801
806. Segment(Element[L_1, 802], Element[L_1, 803]) → B802
807. Segment(Element[L_1, 803], Element[L_1, 804]) → B803
808. Segment(Element[L_1, 804], Element[L_1, 805]) → B804
809. Segment(Element[L_1, 805], Element[L_1, 806]) → B805
810. Segment(Element[L_1, 806], Element[L_1, 807]) → B806
811. Segment(Element[L_1, 807], Element[L_1, 808]) → B807
812. Segment(Element[L_1, 808], Element[L_1, 809]) → B808
813. Segment(Element[L_1, 809], Element[L_1, 810]) → B809
814. Segment(Element[L_1, 810], Element[L_1, 811]) → B810
815. Segment(Element[L_1, 811], Element[L_1, 812]) → B811
816. Segment(Element[L_1, 812], Element[L_1, 813]) → B812
817. Segment(Element[L_1, 813], Element[L_1, 814]) → B813
818. Segment(Element[L_1, 814], Element[L_1, 815]) → B814
819. Segment(Element[L_1, 815], Element[L_1, 816]) → B815
820. Segment(Element[L_1, 816], Element[L_1, 817]) → B816
821. Segment(Element[L_1, 817], Element[L_1, 818]) → B817
822. Segment(Element[L_1, 818], Element[L_1, 819]) → B818
823. Segment(Element[L_1, 819], Element[L_1, 820]) → B819
824. Segment(Element[L_1, 820], Element[L_1, 821]) → B820
825. Segment(Element[L_1, 821], Element[L_1, 822]) → B821
826. Segment(Element[L_1, 822], Element[L_1, 823]) → B822
827. Segment(Element[L_1, 823], Element[L_1, 824]) → B823
828. Segment(Element[L_1, 824], Element[L_1, 825]) → B824
829. Segment(Element[L_1, 825], Element[L_1, 826]) → B825
830. Segment(Element[L_1, 826], Element[L_1, 827]) → B826
831. Segment(Element[L_1, 827], Element[L_1, 828]) → B827
832. Segment(Element[L_1, 828], Element[L_1, 829]) → B828
833. Segment(Element[L_1, 829], Element[L_1, 830]) → B829
834. Segment(Element[L_1, 830], Element[L_1, 831]) → B830
835. Segment(Element[L_1, 831], Element[L_1, 832]) → B831
836. Segment(Element[L_1, 832], Element[L_1, 833]) → B832
837. Segment(Element[L_1, 833], Element[L_1, 834]) → B833
838. Segment(Element[L_1, 834], Element[L_1, 835]) → B834
839. Segment(Element[L_1, 835], Element[L_1, 836]) → B835
840. Segment(Element[L_1, 836], Element[L_1, 837]) → B836
841. Segment(Element[L_1, 837], Element[L_1, 838]) → B837
842. Segment(Element[L_1, 838], Element[L_1, 839]) → B838
843. Segment(Element[L_1, 839], Element[L_1, 840]) → B839
844. Segment(Element[L_1, 840], Element[L_1, 841]) → B840
845. Segment(Element[L_1, 841], Element[L_1, 842]) → B841
846. Segment(Element[L_1, 842], Element[L_1, 843]) → B842
847. Segment(Element[L_1, 843], Element[L_1, 844]) → B843
848. Segment(Element[L_1, 844], Element[L_1, 845]) → B844
849. Segment(Element[L_1, 845], Element[L_1, 846]) → B845
850. Segment(Element[L_1, 846], Element[L_1, 847]) → B846
851. Segment(Element[L_1, 847], Element[L_1, 848]) → B847
852. Segment(Element[L_1, 848], Element[L_1, 849]) → B848
853. Segment(Element[L_1, 849], Element[L_1, 850]) → B849
854. Segment(Element[L_1, 850], Element[L_1, 851]) → B850
855. Segment(Element[L_1, 851], Element[L_1, 852]) → B851
856. Segment(Element[L_1, 852], Element[L_1, 853]) → B852
857. Segment(Element[L_1, 853], Element[L_1, 854]) → B853
858. Segment(Element[L_1, 854], Element[L_1, 855]) → B854
859. Segment(Element[L_1, 855], Element[L_1, 856]) → B855
860. Segment(Element[L_1, 856], Element[L_1, 857]) → B856
861. Segment(Element[L_1, 857], Element[L_1, 858]) → B857
862. Segment(Element[L_1, 858], Element[L_1, 859]) → B858
863. Segment(Element[L_1, 859], Element[L_1, 860]) → B859
864. Segment(Element[L_1, 860], Element[L_1, 861]) → B860
865. Segment(Element[L_1, 861], Element[L_1, 862]) → B861
866. Segment(Element[L_1, 862], Element[L_1, 863]) → B862
867. Segment(Element[L_1, 863], Element[L_1, 864]) → B863
868. Segment(Element[L_1, 864], Element[L_1, 865]) → B864
869. Segment(Element[L_1, 865], Element[L_1, 866]) → B865
870. Segment(Element[L_1, 866], Element[L_1, 867]) → B866
871. Segment(Element[L_1, 867], Element[L_1, 868]) → B867
872. Segment(Element[L_1, 868], Element[L_1, 869]) → B868
873. Segment(Element[L_1, 869], Element[L_1, 870]) → B869
874. Segment(Element[L_1, 870], Element[L_1, 871]) → B870
875. Segment(Element[L_1, 871], Element[L_1, 872]) → B871
876. Segment(Element[L_1, 872], Element[L_1, 873]) → B872
877. Segment(Element[L_1, 873], Element[L_1, 874]) → B873
878. Segment(Element[L_1, 874], Element[L_1, 875]) → B874
879. Segment(Element[L_1, 875], Element[L_1, 876]) → B875
880. Segment(Element[L_1, 876], Element[L_1, 877]) → B876
881. Segment(Element[L_1, 877], Element[L_1, 878]) → B877
882. Segment(Element[L_1, 878], Element[L_1, 879]) → B878
883. Segment(Element[L_1, 879], Element[L_1, 880]) → B879
884. Segment(Element[L_1, 880], Element[L_1, 881]) → B880
885. Segment(Element[L_1, 881], Element[L_1, 882]) → B881
886. Segment(Element[L_1, 882], Element[L_1, 883]) → B882
887. Segment(Element[L_1, 883], Element[L_1, 884]) → B883
888. Segment(Element[L_1, 884], Element[L_1, 885]) → B884
889. Segment(Element[L_1, 885], Element[L_1, 886]) → B885
890. Segment(Element[L_1, 886], Element[L_1, 887]) → B886
891. Segment(Element[L_1, 887], Element[L_1, 888]) → B887
892. Segment(Element[L_1, 888], Element[L_1, 889]) → B888
893. Segment(Element[L_1, 889], Element[L_1, 890]) → B889
894. Segment(Element[L_1, 890], Element[L_1, 891]) → B890
895. Segment(Element[L_1, 891], Element[L_1, 892]) → B891
896. Segment(Element[L_1, 892], Element[L_1, 893]) → B892
897. Segment(Element[L_1, 893], Element[L_1, 894]) → B893
898. Segment(Element[L_1, 894], Element[L_1, 895]) → B894
899. Segment(Element[L_1, 895], Element[L_1, 896]) → B895
900. Segment(Element[L_1, 896], Element[L_1, 897]) → B896
901. Segment(Element[L_1, 897], Element[L_1, 898]) → B897
902. Segment(Element[L_1, 898], Element[L_1, 899]) → B898
903. Segment(Element[L_1, 899], Element[L_1, 900]) → B899
904. Segment(Element[L_1, 900], Element[L_1, 901]) → B900
905. Segment(Element[L_1, 901], Element[L_1, 902]) → B901
906. Segment(Element[L_1, 902], Element[L_1, 903]) → B902
907. Segment(Element[L_1, 903], Element[L_1, 904]) → B903
908. Segment(Element[L_1, 904], Element[L_1, 905]) → B904
909. Segment(Element[L_1, 905], Element[L_1, 906]) → B905
910. Segment(Element[L_1, 906], Element[L_1, 907]) → B906
911. Segment(Element[L_1, 907], Element[L_1, 908]) → B907
912. Segment(Element[L_1, 908], Element[L_1, 909]) → B908
913. Segment(Element[L_1, 909], Element[L_1, 910]) → B909
914. Segment(Element[L_1, 910], Element[L_1, 911]) → B910
915. Segment(Element[L_1, 911], Element[L_1, 912]) → B911
916. Segment(Element[L_1, 912], Element[L_1, 913]) → B912
917. Segment(Element[L_1, 913], Element[L_1, 914]) → B913
918. Segment(Element[L_1, 914], Element[L_1, 915]) → B914
919. Segment(Element[L_1, 915], Element[L_1, 916]) → B915
920. Segment(Element[L_1, 916], Element[L_1, 917]) → B916
921. Segment(Element[L_1, 917], Element[L_1, 918]) → B917
922. Segment(Element[L_1, 918], Element[L_1, 919]) → B918
923. Segment(Element[L_1, 919], Element[L_1, 920]) → B919
924. Segment(Element[L_1, 920], Element[L_1, 921]) → B920
925. Segment(Element[L_1, 921], Element[L_1, 922]) → B921
926. Segment(Element[L_1, 922], Element[L_1, 923]) → B922
927. Segment(Element[L_1, 923], Element[L_1, 924]) → B923
928. Segment(Element[L_1, 924], Element[L_1, 925]) → B924
929. Segment(Element[L_1, 925], Element[L_1, 926]) → B925
930. Segment(Element[L_1, 926], Element[L_1, 927]) → B926
931. Segment(Element[L_1, 927], Element[L_1, 928]) → B927
932. Segment(Element[L_1, 928], Element[L_1, 929]) → B928
933. Segment(Element[L_1, 929], Element[L_1, 930]) → B929
934. Segment(Element[L_1, 930], Element[L_1, 931]) → B930
935. Segment(Element[L_1, 931], Element[L_1, 932]) → B931
936. Segment(Element[L_1, 932], Element[L_1, 933]) → B932
937. Segment(Element[L_1, 933], Element[L_1, 934]) → B933
938. Segment(Element[L_1, 934], Element[L_1, 935]) → B934
939. Segment(Element[L_1, 935], Element[L_1, 936]) → B935
940. Segment(Element[L_1, 936], Element[L_1, 937]) → B936
941. Segment(Element[L_1, 937], Element[L_1, 938]) → B937
942. Segment(Element[L_1, 938], Element[L_1, 939]) → B938
943. Segment(Element[L_1, 939], Element[L_1, 940]) → B939
944. Segment(Element[L_1, 940], Element[L_1, 941]) → B940
945. Segment(Element[L_1, 941], Element[L_1, 942]) → B941
946. Segment(Element[L_1, 942], Element[L_1, 943]) → B942
947. Segment(Element[L_1, 943], Element[L_1, 944]) → B943
948. Segment(Element[L_1, 944], Element[L_1, 945]) → B944
949. Segment(Element[L_1, 945], Element[L_1, 946]) → B945
950. Segment(Element[L_1, 946], Element[L_1, 947]) → B946
951. Segment(Element[L_1, 947], Element[L_1, 948]) → B947
952. Segment(Element[L_1, 948], Element[L_1, 949]) → B948
953. Segment(Element[L_1, 949], Element[L_1, 950]) → B949
954. Segment(Element[L_1, 950], Element[L_1, 951]) → B950
955. Segment(Element[L_1, 951], Element[L_1, 952]) → B951
956. Segment(Element[L_1, 952], Element[L_1, 953]) → B952
957. Segment(Element[L_1, 953], Element[L_1, 954]) → B953
958. Segment(Element[L_1, 954], Element[L_1, 955]) → B954
959. Segment(Element[L_1, 955], Element[L_1, 956]) → B955
960. Segment(Element[L_1, 956], Element[L_1, 957]) → B956
961. Segment(Element[L_1, 957], Element[L_1, 958]) → B957
962. Segment(Element[L_1, 958], Element[L_1, 959]) → B958
963. Segment(Element[L_1, 959], Element[L_1, 960]) → B959
964. Segment(Element[L_1, 960], Element[L_1, 961]) → B960
965. Segment(Element[L_1, 961], Element[L_1, 962]) → B961
966. Segment(Element[L_1, 962], Element[L_1, 963]) → B962
967. Segment(Element[L_1, 963], Element[L_1, 964]) → B963
968. Segment(Element[L_1, 964], Element[L_1, 965]) → B964
969. Segment(Element[L_1, 965], Element[L_1, 966]) → B965
970. Segment(Element[L_1, 966], Element[L_1, 967]) → B966
971. Segment(Element[L_1, 967], Element[L_1, 968]) → B967
972. Segment(Element[L_1, 968], Element[L_1, 969]) → B968
973. Segment(Element[L_1, 969], Element[L_1, 970]) → B969
974. Segment(Element[L_1, 970], Element[L_1, 971]) → B970
975. Segment(Element[L_1, 971], Element[L_1, 972]) → B971
976. Segment(Element[L_1, 972], Element[L_1, 973]) → B972
977. Segment(Element[L_1, 973], Element[L_1, 974]) → B973
978. Segment(Element[L_1, 974], Element[L_1, 975]) → B974
979. Segment(Element[L_1, 975], Element[L_1, 976]) → B975
980. Segment(Element[L_1, 976], Element[L_1, 977]) → B976
981. Segment(Element[L_1, 977], Element[L_1, 978]) → B977
982. Segment(Element[L_1, 978], Element[L_1, 979]) → B978
983. Segment(Element[L_1, 979], Element[L_1, 980]) → B979
984. Segment(Element[L_1, 980], Element[L_1, 981]) → B980
985. Segment(Element[L_1, 981], Element[L_1, 982]) → B981
986. Segment(Element[L_1, 982], Element[L_1, 983]) → B982
987. Segment(Element[L_1, 983], Element[L_1, 984]) → B983
988. Segment(Element[L_1, 984], Element[L_1, 985]) → B984
989. Segment(Element[L_1, 985], Element[L_1, 986]) → B985
990. Segment(Element[L_1, 986], Element[L_1, 987]) → B986
991. Segment(Element[L_1, 987], Element[L_1, 988]) → B987
992. Segment(Element[L_1, 988], Element[L_1, 989]) → B988
993. Segment(Element[L_1, 989], Element[L_1, 990]) → B989
994. Segment(Element[L_1, 990], Element[L_1, 991]) → B990
995. Segment(Element[L_1, 991], Element[L_1, 992]) → B991
996. Segment(Element[L_1, 992], Element[L_1, 993]) → B992
997. Segment(Element[L_1, 993], Element[L_1, 994]) → B993
998. Segment(Element[L_1, 994], Element[L_1, 995]) → B994
999. Segment(Element[L_1, 995], Element[L_1, 996]) → B995
1000. Segment(Element[L_1, 996], Element[L_1, 997]) → B996
1001. Segment(Element[L_1, 997], Element[L_1, 998]) → B997
1002. Segment(Element[L_1, 998], Element[L_1, 999]) → B998
1003. Segment(Element[L_1, 999], Element[L_1, 1000]) → B999
1004. Segment(Element[L_1, 1000], Element[L_1, 1001]) → B1000
1005. Segment(Element[L_1, 1001], Element[L_1, 1002]) → B1001
1006. Segment(Element[L_1, 1002], Element[L_1, 1003]) → B1002
1007. Segment(Element[L_1, 1003], Element[L_1, 1004]) → B1003
1008. Segment(Element[L_1, 1004], Element[L_1, 1005]) → B1004
1009. Segment(Element[L_1, 1005], Element[L_1, 1006]) → B1005
1010. Segment(Element[L_1, 1006], Element[L_1, 1007]) → B1006
1011. Segment(Element[L_1, 1007], Element[L_1, 1008]) → B1007
1012. Segment(Element[L_1, 1008], Element[L_1, 1009]) → B1008
1013. Segment(Element[L_1, 1009], Element[L_1, 1010]) → B1009
1014. Segment(Element[L_1, 1010], Element[L_1, 1011]) → B1010
1015. Segment(Element[L_1, 1011], Element[L_1, 1012]) → B1011
1016. Segment(Element[L_1, 1012], Element[L_1, 1013]) → B1012
1017. Segment(Element[L_1, 1013], Element[L_1, 1014]) → B1013
1018. Segment(Element[L_1, 1014], Element[L_1, 1015]) → B1014
1019. Segment(Element[L_1, 1015], Element[L_1, 1016]) → B1015
1020. Segment(Element[L_1, 1016], Element[L_1, 1017]) → B1016
1021. Segment(Element[L_1, 1017], Element[L_1, 1018]) → B1017
1022. Segment(Element[L_1, 1018], Element[L_1, 1019]) → B1018
1023. Segment(Element[L_1, 1019], Element[L_1, 1020]) → B1019
1024. Segment(Element[L_1, 1020], Element[L_1, 1021]) → B1020
1025. Segment(Element[L_1, 1021], Element[L_1, 1022]) → B1021
1026. Segment(Element[L_1, 1022], Element[L_1, 1023]) → B1022
1027. Segment(Element[L_1, 1023], Element[L_1, 1024]) → B1023
1028. Segment(Element[L_1, 1024], Element[L_1, 1025]) → B1024
1029. Segment(Element[L_1, 1025], Element[L_1, 1026]) → B1025
1030. Segment(Element[L_1, 1026], Element[L_1, 1027]) → B1026
1031. Segment(Element[L_1, 1027], Element[L_1, 1028]) → B1027
1032. Segment(Element[L_1, 1028], Element[L_1, 1029]) → B1028
1033. Segment(Element[L_1, 1029], Element[L_1, 1030]) → B1029
1034. Segment(Element[L_1, 1030], Element[L_1, 1031]) → B1030
1035. Segment(Element[L_1, 1031], Element[L_1, 1032]) → B1031
1036. Segment(Element[L_1, 1032], Element[L_1, 1033]) → B1032
1037. Segment(Element[L_1, 1033], Element[L_1, 1034]) → B1033
1038. Segment(Element[L_1, 1034], Element[L_1, 1035]) → B1034
1039. Segment(Element[L_1, 1035], Element[L_1, 1036]) → B1035
1040. Segment(Element[L_1, 1036], Element[L_1, 1037]) → B1036
1041. Segment(Element[L_1, 1037], Element[L_1, 1038]) → B1037
1042. Segment(Element[L_1, 1038], Element[L_1, 1039]) → B1038
1043. Segment(Element[L_1, 1039], Element[L_1, 1040]) → B1039
1044. Segment(Element[L_1, 1040], Element[L_1, 1041]) → B1040
1045. Segment(Element[L_1, 1041], Element[L_1, 1042]) → B1041
1046. Segment(Element[L_1, 1042], Element[L_1, 1043]) → B1042
1047. Segment(Element[L_1, 1043], Element[L_1, 1044]) → B1043
1048. Segment(Element[L_1, 1044], Element[L_1, 1045]) → B1044
1049. Segment(Element[L_1, 1045], Element[L_1, 1046]) → B1045
1050. Segment(Element[L_1, 1046], Element[L_1, 1047]) → B1046
1051. Segment(Element[L_1, 1047], Element[L_1, 1048]) → B1047
1052. Segment(Element[L_1, 1048], Element[L_1, 1049]) → B1048
1053. Segment(Element[L_1, 1049], Element[L_1, 1050]) → B1049
1054. Segment(Element[L_1, 1050], Element[L_1, 1051]) → B1050
1055. Segment(Element[L_1, 1051], Element[L_1, 1052]) → B1051
1056. Segment(Element[L_1, 1052], Element[L_1, 1053]) → B1052
1057. Segment(Element[L_1, 1053], Element[L_1, 1054]) → B1053
1058. Segment(Element[L_1, 1054], Element[L_1, 1055]) → B1054
1059. Segment(Element[L_1, 1055], Element[L_1, 1056]) → B1055
1060. Segment(Element[L_1, 1056], Element[L_1, 1057]) → B1056
1061. Segment(Element[L_1, 1057], Element[L_1, 1058]) → B1057
1062. Segment(Element[L_1, 1058], Element[L_1, 1059]) → B1058
1063. Segment(Element[L_1, 1059], Element[L_1, 1060]) → B1059
1064. Segment(Element[L_1, 1060], Element[L_1, 1061]) → B1060
1065. Segment(Element[L_1, 1061], Element[L_1, 1062]) → B1061
1066. Segment(Element[L_1, 1062], Element[L_1, 1063]) → B1062
1067. Segment(Element[L_1, 1063], Element[L_1, 1064]) → B1063
1068. Segment(Element[L_1, 1064], Element[L_1, 1065]) → B1064
1069. Segment(Element[L_1, 1065], Element[L_1, 1066]) → B1065
1070. Segment(Element[L_1, 1066], Element[L_1, 1067]) → B1066
1071. Segment(Element[L_1, 1067], Element[L_1, 1068]) → B1067
1072. Segment(Element[L_1, 1068], Element[L_1, 1069]) → B1068
1073. Segment(Element[L_1, 1069], Element[L_1, 1070]) → B1069
1074. Segment(Element[L_1, 1070], Element[L_1, 1071]) → B1070
1075. Segment(Element[L_1, 1071], Element[L_1, 1072]) → B1071
1076. Segment(Element[L_1, 1072], Element[L_1, 1073]) → B1072
1077. Segment(Element[L_1, 1073], Element[L_1, 1074]) → B1073
1078. Segment(Element[L_1, 1074], Element[L_1, 1075]) → B1074
1079. Segment(Element[L_1, 1075], Element[L_1, 1076]) → B1075
1080. Segment(Element[L_1, 1076], Element[L_1, 1077]) → B1076
1081. Segment(Element[L_1, 1077], Element[L_1, 1078]) → B1077
1082. Segment(Element[L_1, 1078], Element[L_1, 1079]) → B1078
1083. Segment(Element[L_1, 1079], Element[L_1, 1080]) → B1079
1084. Segment(Element[L_1, 1080], Element[L_1, 1081]) → B1080
1085. Segment(Element[L_1, 1081], Element[L_1, 1082]) → B1081
1086. Segment(Element[L_1, 1082], Element[L_1, 1083]) → B1082
1087. Segment(Element[L_1, 1083], Element[L_1, 1084]) → B1083
1088. Segment(Element[L_1, 1084], Element[L_1, 1085]) → B1084
1089. Segment(Element[L_1, 1085], Element[L_1, 1086]) → B1085
1090. Segment(Element[L_1, 1086], Element[L_1, 1087]) → B1086
1091. Segment(Element[L_1, 1087], Element[L_1, 1088]) → B1087
1092. Segment(Element[L_1, 1088], Element[L_1, 1089]) → B1088
1093. Segment(Element[L_1, 1089], Element[L_1, 1090]) → B1089
1094. Segment(Element[L_1, 1090], Element[L_1, 1091]) → B1090
1095. Segment(Element[L_1, 1091], Element[L_1, 1092]) → B1091
1096. Segment(Element[L_1, 1092], Element[L_1, 1093]) → B1092
1097. Segment(Element[L_1, 1093], Element[L_1, 1094]) → B1093
1098. Segment(Element[L_1, 1094], Element[L_1, 1095]) → B1094
1099. Segment(Element[L_1, 1095], Element[L_1, 1096]) → B1095
1100. Segment(Element[L_1, 1096], Element[L_1, 1097]) → B1096
1101. Segment(Element[L_1, 1097], Element[L_1, 1098]) → B1097
1102. Segment(Element[L_1, 1098], Element[L_1, 1099]) → B1098
1103. Segment(Element[L_1, 1099], Element[L_1, 1100]) → B1099
1104. Segment(Element[L_1, 1100], Element[L_1, 1101]) → B1100
1105. Segment(Element[L_1, 1101], Element[L_1, 1102]) → B1101
1106. Segment(Element[L_1, 1102], Element[L_1, 1103]) → B1102
1107. Segment(Element[L_1, 1103], Element[L_1, 1104]) → B1103
1108. Segment(Element[L_1, 1104], Element[L_1, 1105]) → B1104
1109. Segment(Element[L_1, 1105], Element[L_1, 1106]) → B1105
1110. Segment(Element[L_1, 1106], Element[L_1, 1107]) → B1106
1111. Segment(Element[L_1, 1107], Element[L_1, 1108]) → B1107
1112. Segment(Element[L_1, 1108], Element[L_1, 1109]) → B1108
1113. Segment(Element[L_1, 1109], Element[L_1, 1110]) → B1109
1114. Segment(Element[L_1, 1110], Element[L_1, 1111]) → B1110
1115. Segment(Element[L_1, 1111], Element[L_1, 1112]) → B1111
1116. Segment(Element[L_1, 1112], Element[L_1, 1113]) → B1112
1117. Segment(Element[L_1, 1113], Element[L_1, 1114]) → B1113
1118. Segment(Element[L_1, 1114], Element[L_1, 1115]) → B1114
1119. Segment(Element[L_1, 1115], Element[L_1, 1116]) → B1115
1120. Segment(Element[L_1, 1116], Element[L_1, 1117]) → B1116
1121. Segment(Element[L_1, 1117], Element[L_1, 1118]) → B1117
1122. Segment(Element[L_1, 1118], Element[L_1, 1119]) → B1118
1123. Segment(Element[L_1, 1119], Element[L_1, 1120]) → B1119
1124. Segment(Element[L_1, 1120], Element[L_1, 1121]) → B1120
1125. Segment(Element[L_1, 1121], Element[L_1, 1122]) → B1121
1126. Segment(Element[L_1, 1122], Element[L_1, 1123]) → B1122
1127. Segment(Element[L_1, 1123], Element[L_1, 1124]) → B1123
1128. Segment(Element[L_1, 1124], Element[L_1, 1125]) → B1124
1129. Segment(Element[L_1, 1125], Element[L_1, 1126]) → B1125
1130. Segment(Element[L_1, 1126], Element[L_1, 1127]) → B1126
1131. Segment(Element[L_1, 1127], Element[L_1, 1128]) → B1127
1132. Segment(Element[L_1, 1128], Element[L_1, 1129]) → B1128
1133. Segment(Element[L_1, 1129], Element[L_1, 1130]) → B1129
1134. Segment(Element[L_1, 1130], Element[L_1, 1131]) → B1130
1135. Segment(Element[L_1, 1131], Element[L_1, 1132]) → B1131
1136. Segment(Element[L_1, 1132], Element[L_1, 1133]) → B1132
1137. Segment(Element[L_1, 1133], Element[L_1, 1134]) → B1133
1138. Segment(Element[L_1, 1134], Element[L_1, 1135]) → B1134
1139. Segment(Element[L_1, 1135], Element[L_1, 1136]) → B1135
1140. Segment(Element[L_1, 1136], Element[L_1, 1137]) → B1136
1141. Segment(Element[L_1, 1137], Element[L_1, 1138]) → B1137
1142. Segment(Element[L_1, 1138], Element[L_1, 1139]) → B1138
1143. Segment(Element[L_1, 1139], Element[L_1, 1140]) → B1139
1144. Segment(Element[L_1, 1140], Element[L_1, 1141]) → B1140
1145. Segment(Element[L_1, 1141], Element[L_1, 1142]) → B1141
1146. Segment(Element[L_1, 1142], Element[L_1, 1143]) → B1142
1147. Segment(Element[L_1, 1143], Element[L_1, 1144]) → B1143
1148. Segment(Element[L_1, 1144], Element[L_1, 1145]) → B1144
1149. Segment(Element[L_1, 1145], Element[L_1, 1146]) → B1145
1150. Segment(Element[L_1, 1146], Element[L_1, 1147]) → B1146
1151. Segment(Element[L_1, 1147], Element[L_1, 1148]) → B1147
1152. Segment(Element[L_1, 1148], Element[L_1, 1149]) → B1148
1153. Segment(Element[L_1, 1149], Element[L_1, 1150]) → B1149
1154. Segment(Element[L_1, 1150], Element[L_1, 1151]) → B1150
1155. Segment(Element[L_1, 1151], Element[L_1, 1152]) → B1151
1156. Segment(Element[L_1, 1152], Element[L_1, 1153]) → B1152
1157. Segment(Element[L_1, 1153], Element[L_1, 1154]) → B1153
1158. Segment(Element[L_1, 1154], Element[L_1, 1155]) → B1154
1159. Segment(Element[L_1, 1155], Element[L_1, 1156]) → B1155
1160. Segment(Element[L_1, 1156], Element[L_1, 1157]) → B1156
1161. Segment(Element[L_1, 1157], Element[L_1, 1158]) → B1157
1162. Segment(Element[L_1, 1158], Element[L_1, 1159]) → B1158
1163. Segment(Element[L_1, 1159], Element[L_1, 1160]) → B1159
1164. Segment(Element[L_1, 1160], Element[L_1, 1161]) → B1160
1165. Segment(Element[L_1, 1161], Element[L_1, 1162]) → B1161
1166. Segment(Element[L_1, 1162], Element[L_1, 1163]) → B1162
1167. Segment(Element[L_1, 1163], Element[L_1, 1164]) → B1163
1168. Segment(Element[L_1, 1164], Element[L_1, 1165]) → B1164
1169. Segment(Element[L_1, 1165], Element[L_1, 1166]) → B1165
1170. Segment(Element[L_1, 1166], Element[L_1, 1167]) → B1166
1171. Segment(Element[L_1, 1167], Element[L_1, 1168]) → B1167
1172. Segment(Element[L_1, 1168], Element[L_1, 1169]) → B1168
1173. Segment(Element[L_1, 1169], Element[L_1, 1170]) → B1169
1174. Segment(Element[L_1, 1170], Element[L_1, 1171]) → B1170
1175. Segment(Element[L_1, 1171], Element[L_1, 1172]) → B1171
1176. Segment(Element[L_1, 1172], Element[L_1, 1173]) → B1172
1177. Segment(Element[L_1, 1173], Element[L_1, 1174]) → B1173
1178. Segment(Element[L_1, 1174], Element[L_1, 1175]) → B1174
1179. Segment(Element[L_1, 1175], Element[L_1, 1176]) → B1175
1180. Segment(Element[L_1, 1176], Element[L_1, 1177]) → B1176
1181. Segment(Element[L_1, 1177], Element[L_1, 1178]) → B1177
1182. Segment(Element[L_1, 1178], Element[L_1, 1179]) → B1178
1183. Segment(Element[L_1, 1179], Element[L_1, 1180]) → B1179
1184. Segment(Element[L_1, 1180], Element[L_1, 1181]) → B1180
1185. Segment(Element[L_1, 1181], Element[L_1, 1182]) → B1181
1186. Segment(Element[L_1, 1182], Element[L_1, 1183]) → B1182
1187. Segment(Element[L_1, 1183], Element[L_1, 1184]) → B1183
1188. Segment(Element[L_1, 1184], Element[L_1, 1185]) → B1184
1189. Segment(Element[L_1, 1185], Element[L_1, 1186]) → B1185
1190. Segment(Element[L_1, 1186], Element[L_1, 1187]) → B1186
1191. Segment(Element[L_1, 1187], Element[L_1, 1188]) → B1187
1192. Segment(Element[L_1, 1188], Element[L_1, 1189]) → B1188
1193. Segment(Element[L_1, 1189], Element[L_1, 1190]) → B1189
1194. Segment(Element[L_1, 1190], Element[L_1, 1191]) → B1190
1195. Segment(Element[L_1, 1191], Element[L_1, 1192]) → B1191
1196. Segment(Element[L_1, 1192], Element[L_1, 1193]) → B1192
1197. Segment(Element[L_1, 1193], Element[L_1, 1194]) → B1193
1198. Segment(Element[L_1, 1194], Element[L_1, 1195]) → B1194
1199. Segment(Element[L_1, 1195], Element[L_1, 1196]) → B1195
1200. Segment(Element[L_1, 1196], Element[L_1, 1197]) → B1196
1201. Segment(Element[L_1, 1197], Element[L_1, 1198]) → B1197
1202. Segment(Element[L_1, 1198], Element[L_1, 1199]) → B1198
1203. Segment(Element[L_1, 1199], Element[L_1, 1200]) → B1199
1204. Segment(Element[L_1, 1200], Element[L_1, 1201]) → B1200
1205. Segment(Element[L_1, 1201], Element[L_1, 1202]) → B1201
1206. Segment(Element[L_1, 1202], Element[L_1, 1203]) → B1202
1207. Segment(Element[L_1, 1203], Element[L_1, 1204]) → B1203
1208. Segment(Element[L_1, 1204], Element[L_1, 1205]) → B1204
1209. Segment(Element[L_1, 1205], Element[L_1, 1206]) → B1205
1210. Segment(Element[L_1, 1206], Element[L_1, 1207]) → B1206
1211. Segment(Element[L_1, 1207], Element[L_1, 1208]) → B1207
1212. Segment(Element[L_1, 1208], Element[L_1, 1209]) → B1208
1213. Segment(Element[L_1, 1209], Element[L_1, 1210]) → B1209
1214. Segment(Element[L_1, 1210], Element[L_1, 1211]) → B1210
1215. Segment(Element[L_1, 1211], Element[L_1, 1212]) → B1211
1216. Segment(Element[L_1, 1212], Element[L_1, 1213]) → B1212
1217. Segment(Element[L_1, 1213], Element[L_1, 1214]) → B1213
1218. Segment(Element[L_1, 1214], Element[L_1, 1215]) → B1214
1219. Segment(Element[L_1, 1215], Element[L_1, 1216]) → B1215
1220. Segment(Element[L_1, 1216], Element[L_1, 1217]) → B1216
1221. Segment(Element[L_1, 1217], Element[L_1, 1218]) → B1217
1222. Segment(Element[L_1, 1218], Element[L_1, 1219]) → B1218
1223. Segment(Element[L_1, 1219], Element[L_1, 1220]) → B1219
1224. Segment(Element[L_1, 1220], Element[L_1, 1221]) → B1220
1225. Segment(Element[L_1, 1221], Element[L_1, 1222]) → B1221
1226. Segment(Element[L_1, 1222], Element[L_1, 1223]) → B1222
1227. Segment(Element[L_1, 1223], Element[L_1, 1224]) → B1223
1228. Segment(Element[L_1, 1224], Element[L_1, 1225]) → B1224
1229. Segment(Element[L_1, 1225], Element[L_1, 1226]) → B1225
1230. Segment(Element[L_1, 1226], Element[L_1, 1227]) → B1226
1231. Segment(Element[L_1, 1227], Element[L_1, 1228]) → B1227
1232. Segment(Element[L_1, 1228], Element[L_1, 1229]) → B1228
1233. Segment(Element[L_1, 1229], Element[L_1, 1230]) → B1229
1234. Segment(Element[L_1, 1230], Element[L_1, 1231]) → B1230
1235. Segment(Element[L_1, 1231], Element[L_1, 1232]) → B1231
1236. Segment(Element[L_1, 1232], Element[L_1, 1233]) → B1232
1237. Segment(Element[L_1, 1233], Element[L_1, 1234]) → B1233
1238. Segment(Element[L_1, 1234], Element[L_1, 1235]) → B1234
1239. Segment(Element[L_1, 1235], Element[L_1, 1236]) → B1235
1240. Segment(Element[L_1, 1236], Element[L_1, 1237]) → B1236
1241. Segment(Element[L_1, 1237], Element[L_1, 1238]) → B1237
1242. Segment(Element[L_1, 1238], Element[L_1, 1239]) → B1238
1243. Segment(Element[L_1, 1239], Element[L_1, 1240]) → B1239
1244. Segment(Element[L_1, 1240], Element[L_1, 1241]) → B1240
1245. Segment(Element[L_1, 1241], Element[L_1, 1242]) → B1241
1246. Segment(Element[L_1, 1242], Element[L_1, 1243]) → B1242
1247. Segment(Element[L_1, 1243], Element[L_1, 1244]) → B1243
1248. Segment(Element[L_1, 1244], Element[L_1, 1245]) → B1244
1249. Segment(Element[L_1, 1245], Element[L_1, 1246]) → B1245
1250. Segment(Element[L_1, 1246], Element[L_1, 1247]) → B1246
1251. Segment(Element[L_1, 1247], Element[L_1, 1248]) → B1247
1252. Segment(Element[L_1, 1248], Element[L_1, 1249]) → B1248
1253. Segment(Element[L_1, 1249], Element[L_1, 1250]) → B1249
1254. Segment(Element[L_1, 1250], Element[L_1, 1251]) → B1250
1255. Segment(Element[L_1, 1251], Element[L_1, 1252]) → B1251
1256. Segment(Element[L_1, 1252], Element[L_1, 1253]) → B1252
1257. Segment(Element[L_1, 1253], Element[L_1, 1254]) → B1253
1258. Segment(Element[L_1, 1254], Element[L_1, 1255]) → B1254
1259. Segment(Element[L_1, 1255], Element[L_1, 1256]) → B1255
1260. Segment(Element[L_1, 1256], Element[L_1, 1257]) → B1256
1261. Segment(Element[L_1, 1257], Element[L_1, 1258]) → B1257
1262. Segment(Element[L_1, 1258], Element[L_1, 1259]) → B1258
1263. Segment(Element[L_1, 1259], Element[L_1, 1260]) → B1259
1264. Segment(Element[L_1, 1260], Element[L_1, 1261]) → B1260
1265. Segment(Element[L_1, 1261], Element[L_1, 1262]) → B1261
1266. Segment(Element[L_1, 1262], Element[L_1, 1263]) → B1262
1267. Segment(Element[L_1, 1263], Element[L_1, 1264]) → B1263
1268. Segment(Element[L_1, 1264], Element[L_1, 1265]) → B1264
1269. Segment(Element[L_1, 1265], Element[L_1, 1266]) → B1265
1270. Segment(Element[L_1, 1266], Element[L_1, 1267]) → B1266
1271. Segment(Element[L_1, 1267], Element[L_1, 1268]) → B1267
1272. Segment(Element[L_1, 1268], Element[L_1, 1269]) → B1268
1273. Segment(Element[L_1, 1269], Element[L_1, 1270]) → B1269
1274. Segment(Element[L_1, 1270], Element[L_1, 1271]) → B1270
1275. Segment(Element[L_1, 1271], Element[L_1, 1272]) → B1271
1276. Segment(Element[L_1, 1272], Element[L_1, 1273]) → B1272
1277. Segment(Element[L_1, 1273], Element[L_1, 1274]) → B1273
1278. Segment(Element[L_1, 1274], Element[L_1, 1275]) → B1274
1279. Segment(Element[L_1, 1275], Element[L_1, 1276]) → B1275
1280. Segment(Element[L_1, 1276], Element[L_1, 1277]) → B1276
1281. Segment(Element[L_1, 1277], Element[L_1, 1278]) → B1277
1282. Segment(Element[L_1, 1278], Element[L_1, 1279]) → B1278
1283. Segment(Element[L_1, 1279], Element[L_1, 1280]) → B1279
1284. Segment(Element[L_1, 1280], Element[L_1, 1281]) → B1280
1285. Segment(Element[L_1, 1281], Element[L_1, 1282]) → B1281
1286. Segment(Element[L_1, 1282], Element[L_1, 1283]) → B1282
1287. Segment(Element[L_1, 1283], Element[L_1, 1284]) → B1283
1288. Segment(Element[L_1, 1284], Element[L_1, 1285]) → B1284
1289. Segment(Element[L_1, 1285], Element[L_1, 1286]) → B1285
1290. Segment(Element[L_1, 1286], Element[L_1, 1287]) → B1286
1291. Segment(Element[L_1, 1287], Element[L_1, 1288]) → B1287
1292. Segment(Element[L_1, 1288], Element[L_1, 1289]) → B1288
1293. Segment(Element[L_1, 1289], Element[L_1, 1290]) → B1289
1294. Segment(Element[L_1, 1290], Element[L_1, 1291]) → B1290
1295. Segment(Element[L_1, 1291], Element[L_1, 1292]) → B1291
1296. Segment(Element[L_1, 1292], Element[L_1, 1293]) → B1292
1297. Segment(Element[L_1, 1293], Element[L_1, 1294]) → B1293
1298. Segment(Element[L_1, 1294], Element[L_1, 1295]) → B1294
1299. Segment(Element[L_1, 1295], Element[L_1, 1296]) → B1295
1300. Segment(Element[L_1, 1296], Element[L_1, 1297]) → B1296
1301. Segment(Element[L_1, 1297], Element[L_1, 1298]) → B1297
1302. Segment(Element[L_1, 1298], Element[L_1, 1299]) → B1298
1303. Segment(Element[L_1, 1299], Element[L_1, 1300]) → B1299
1304. Segment(Element[L_1, 1300], Element[L_1, 1301]) → B1300
1305. Segment(Element[L_1, 1301], Element[L_1, 1302]) → B1301
1306. Segment(Element[L_1, 1302], Element[L_1, 1303]) → B1302
1307. Segment(Element[L_1, 1303], Element[L_1, 1304]) → B1303
1308. Segment(Element[L_1, 1304], Element[L_1, 1305]) → B1304
1309. Segment(Element[L_1, 1305], Element[L_1, 1306]) → B1305
1310. Segment(Element[L_1, 1306], Element[L_1, 1307]) → B1306
1311. Segment(Element[L_1, 1307], Element[L_1, 1308]) → B1307
1312. Segment(Element[L_1, 1308], Element[L_1, 1309]) → B1308
1313. Segment(Element[L_1, 1309], Element[L_1, 1310]) → B1309
1314. Segment(Element[L_1, 1310], Element[L_1, 1311]) → B1310
1315. Segment(Element[L_1, 1311], Element[L_1, 1312]) → B1311
1316. Segment(Element[L_1, 1312], Element[L_1, 1313]) → B1312
1317. Segment(Element[L_1, 1313], Element[L_1, 1314]) → B1313
1318. Segment(Element[L_1, 1314], Element[L_1, 1315]) → B1314
1319. Segment(Element[L_1, 1315], Element[L_1, 1316]) → B1315
1320. Segment(Element[L_1, 1316], Element[L_1, 1317]) → B1316
1321. Segment(Element[L_1, 1317], Element[L_1, 1318]) → B1317
1322. Segment(Element[L_1, 1318], Element[L_1, 1319]) → B1318
1323. Segment(Element[L_1, 1319], Element[L_1, 1320]) → B1319
1324. Segment(Element[L_1, 1320], Element[L_1, 1321]) → B1320
1325. Segment(Element[L_1, 1321], Element[L_1, 1322]) → B1321
1326. Segment(Element[L_1, 1322], Element[L_1, 1323]) → B1322
1327. Segment(Element[L_1, 1323], Element[L_1, 1324]) → B1323
1328. Segment(Element[L_1, 1324], Element[L_1, 1325]) → B1324
1329. Segment(Element[L_1, 1325], Element[L_1, 1326]) → B1325
1330. Segment(Element[L_1, 1326], Element[L_1, 1327]) → B1326
1331. Segment(Element[L_1, 1327], Element[L_1, 1328]) → B1327
1332. Segment(Element[L_1, 1328], Element[L_1, 1329]) → B1328
1333. Segment(Element[L_1, 1329], Element[L_1, 1330]) → B1329
1334. Segment(Element[L_1, 1330], Element[L_1, 1331]) → B1330
1335. Segment(Element[L_1, 1331], Element[L_1, 1332]) → B1331
1336. Segment(Element[L_1, 1332], Element[L_1, 1333]) → B1332
1337. Segment(Element[L_1, 1333], Element[L_1, 1334]) → B1333
1338. Segment(Element[L_1, 1334], Element[L_1, 1335]) → B1334
1339. Segment(Element[L_1, 1335], Element[L_1, 1336]) → B1335
1340. Segment(Element[L_1, 1336], Element[L_1, 1337]) → B1336
1341. Segment(Element[L_1, 1337], Element[L_1, 1338]) → B1337
1342. Segment(Element[L_1, 1338], Element[L_1, 1339]) → B1338
1343. Segment(Element[L_1, 1339], Element[L_1, 1340]) → B1339
1344. Segment(Element[L_1, 1340], Element[L_1, 1341]) → B1340
1345. Segment(Element[L_1, 1341], Element[L_1, 1342]) → B1341
1346. Segment(Element[L_1, 1342], Element[L_1, 1343]) → B1342
1347. Segment(Element[L_1, 1343], Element[L_1, 1344]) → B1343
1348. Segment(Element[L_1, 1344], Element[L_1, 1345]) → B1344
1349. Segment(Element[L_1, 1345], Element[L_1, 1346]) → B1345
1350. Segment(Element[L_1, 1346], Element[L_1, 1347]) → B1346
1351. Segment(Element[L_1, 1347], Element[L_1, 1348]) → B1347
1352. Segment(Element[L_1, 1348], Element[L_1, 1349]) → B1348
1353. Segment(Element[L_1, 1349], Element[L_1, 1350]) → B1349
1354. Segment(Element[L_1, 1350], Element[L_1, 1351]) → B1350
1355. Segment(Element[L_1, 1351], Element[L_1, 1352]) → B1351
1356. Segment(Element[L_1, 1352], Element[L_1, 1353]) → B1352
1357. Segment(Element[L_1, 1353], Element[L_1, 1354]) → B1353
1358. Segment(Element[L_1, 1354], Element[L_1, 1355]) → B1354
1359. Segment(Element[L_1, 1355], Element[L_1, 1356]) → B1355
1360. Segment(Element[L_1, 1356], Element[L_1, 1357]) → B1356
1361. Segment(Element[L_1, 1357], Element[L_1, 1358]) → B1357
1362. Segment(Element[L_1, 1358], Element[L_1, 1359]) → B1358
1363. Segment(Element[L_1, 1359], Element[L_1, 1360]) → B1359
1364. Segment(Element[L_1, 1360], Element[L_1, 1361]) → B1360
1365. Segment(Element[L_1, 1361], Element[L_1, 1362]) → B1361
1366. Segment(Element[L_1, 1362], Element[L_1, 1363]) → B1362
1367. Segment(Element[L_1, 1363], Element[L_1, 1364]) → B1363
1368. Segment(Element[L_1, 1364], Element[L_1, 1365]) → B1364
1369. Segment(Element[L_1, 1365], Element[L_1, 1366]) → B1365
1370. Segment(Element[L_1, 1366], Element[L_1, 1367]) → B1366
1371. Segment(Element[L_1, 1367], Element[L_1, 1368]) → B1367
1372. Segment(Element[L_1, 1368], Element[L_1, 1369]) → B1368
1373. Segment(Element[L_1, 1369], Element[L_1, 1370]) → B1369
1374. Segment(Element[L_1, 1370], Element[L_1, 1371]) → B1370
1375. Segment(Element[L_1, 1371], Element[L_1, 1372]) → B1371
1376. Segment(Element[L_1, 1372], Element[L_1, 1373]) → B1372
1377. Segment(Element[L_1, 1373], Element[L_1, 1374]) → B1373
1378. Segment(Element[L_1, 1374], Element[L_1, 1375]) → B1374
1379. Segment(Element[L_1, 1375], Element[L_1, 1376]) → B1375
1380. Segment(Element[L_1, 1376], Element[L_1, 1377]) → B1376
1381. Segment(Element[L_1, 1377], Element[L_1, 1378]) → B1377
1382. Segment(Element[L_1, 1378], Element[L_1, 1379]) → B1378
1383. Segment(Element[L_1, 1379], Element[L_1, 1380]) → B1379
1384. Segment(Element[L_1, 1380], Element[L_1, 1381]) → B1380
1385. Segment(Element[L_1, 1381], Element[L_1, 1382]) → B1381
1386. Segment(Element[L_1, 1382], Element[L_1, 1383]) → B1382
1387. Segment(Element[L_1, 1383], Element[L_1, 1384]) → B1383
1388. Segment(Element[L_1, 1384], Element[L_1, 1385]) → B1384
1389. Segment(Element[L_1, 1385], Element[L_1, 1386]) → B1385
1390. Segment(Element[L_1, 1386], Element[L_1, 1387]) → B1386
1391. Segment(Element[L_1, 1387], Element[L_1, 1388]) → B1387
1392. Segment(Element[L_1, 1388], Element[L_1, 1389]) → B1388
1393. Segment(Element[L_1, 1389], Element[L_1, 1390]) → B1389
1394. Segment(Element[L_1, 1390], Element[L_1, 1391]) → B1390
1395. Segment(Element[L_1, 1391], Element[L_1, 1392]) → B1391
1396. Segment(Element[L_1, 1392], Element[L_1, 1393]) → B1392
1397. Segment(Element[L_1, 1393], Element[L_1, 1394]) → B1393
1398. Segment(Element[L_1, 1394], Element[L_1, 1395]) → B1394
1399. Segment(Element[L_1, 1395], Element[L_1, 1396]) → B1395
1400. Segment(Element[L_1, 1396], Element[L_1, 1397]) → B1396
1401. Segment(Element[L_1, 1397], Element[L_1, 1398]) → B1397
1402. Segment(Element[L_1, 1398], Element[L_1, 1399]) → B1398
1403. Segment(Element[L_1, 1399], Element[L_1, 1400]) → B1399
1404. Segment(Element[L_1, 1400], Element[L_1, 1401]) → B1400
1405. Segment(Element[L_1, 1401], Element[L_1, 1402]) → B1401
1406. Segment(Element[L_1, 1402], Element[L_1, 1403]) → B1402
1407. Segment(Element[L_1, 1403], Element[L_1, 1404]) → B1403
1408. Segment(Element[L_1, 1404], Element[L_1, 1405]) → B1404
1409. Segment(Element[L_1, 1405], Element[L_1, 1406]) → B1405
1410. Segment(Element[L_1, 1406], Element[L_1, 1407]) → B1406
1411. Segment(Element[L_1, 1407], Element[L_1, 1408]) → B1407
1412. Segment(Element[L_1, 1408], Element[L_1, 1409]) → B1408
1413. Segment(Element[L_1, 1409], Element[L_1, 1410]) → B1409
1414. Segment(Element[L_1, 1410], Element[L_1, 1411]) → B1410
1415. Segment(Element[L_1, 1411], Element[L_1, 1412]) → B1411
1416. Segment(Element[L_1, 1412], Element[L_1, 1413]) → B1412
1417. Segment(Element[L_1, 1413], Element[L_1, 1414]) → B1413
1418. Segment(Element[L_1, 1414], Element[L_1, 1415]) → B1414
1419. Segment(Element[L_1, 1415], Element[L_1, 1416]) → B1415
1420. Segment(Element[L_1, 1416], Element[L_1, 1417]) → B1416
1421. Segment(Element[L_1, 1417], Element[L_1, 1418]) → B1417
1422. Segment(Element[L_1, 1418], Element[L_1, 1419]) → B1418
1423. Segment(Element[L_1, 1419], Element[L_1, 1420]) → B1419
1424. Segment(Element[L_1, 1420], Element[L_1, 1421]) → B1420
1425. Segment(Element[L_1, 1421], Element[L_1, 1422]) → B1421
1426. Segment(Element[L_1, 1422], Element[L_1, 1423]) → B1422
1427. Segment(Element[L_1, 1423], Element[L_1, 1424]) → B1423
1428. Segment(Element[L_1, 1424], Element[L_1, 1425]) → B1424
1429. Segment(Element[L_1, 1425], Element[L_1, 1426]) → B1425
1430. Segment(Element[L_1, 1426], Element[L_1, 1427]) → B1426
1431. Segment(Element[L_1, 1427], Element[L_1, 1428]) → B1427
1432. Segment(Element[L_1, 1428], Element[L_1, 1429]) → B1428
1433. Segment(Element[L_1, 1429], Element[L_1, 1430]) → B1429
1434. Segment(Element[L_1, 1430], Element[L_1, 1431]) → B1430
1435. Segment(Element[L_1, 1431], Element[L_1, 1432]) → B1431
1436. Segment(Element[L_1, 1432], Element[L_1, 1433]) → B1432
1437. Segment(Element[L_1, 1433], Element[L_1, 1434]) → B1433
1438. Segment(Element[L_1, 1434], Element[L_1, 1435]) → B1434
1439. Segment(Element[L_1, 1435], Element[L_1, 1436]) → B1435
1440. Segment(Element[L_1, 1436], Element[L_1, 1437]) → B1436
1441. Segment(Element[L_1, 1437], Element[L_1, 1438]) → B1437
1442. Segment(Element[L_1, 1438], Element[L_1, 1439]) → B1438
1443. Segment(Element[L_1, 1439], Element[L_1, 1440]) → B1439
1444. Segment(Element[L_1, 1440], Element[L_1, 1441]) → B1440
1445. Segment(Element[L_1, 1441], Element[L_1, 1442]) → B1441
1446. Segment(Element[L_1, 1442], Element[L_1, 1443]) → B1442
1447. Segment(Element[L_1, 1443], Element[L_1, 1444]) → B1443
1448. Segment(Element[L_1, 1444], Element[L_1, 1445]) → B1444
1449. Segment(Element[L_1, 1445], Element[L_1, 1446]) → B1445
1450. Segment(Element[L_1, 1446], Element[L_1, 1447]) → B1446
1451. Segment(Element[L_1, 1447], Element[L_1, 1448]) → B1447
1452. Segment(Element[L_1, 1448], Element[L_1, 1449]) → B1448
1453. Segment(Element[L_1, 1449], Element[L_1, 1450]) → B1449
1454. Segment(Element[L_1, 1450], Element[L_1, 1451]) → B1450
1455. Segment(Element[L_1, 1451], Element[L_1, 1452]) → B1451
1456. Segment(Element[L_1, 1452], Element[L_1, 1453]) → B1452
1457. Segment(Element[L_1, 1453], Element[L_1, 1454]) → B1453
1458. Segment(Element[L_1, 1454], Element[L_1, 1455]) → B1454
1459. Segment(Element[L_1, 1455], Element[L_1, 1456]) → B1455
1460. Segment(Element[L_1, 1456], Element[L_1, 1457]) → B1456
1461. Segment(Element[L_1, 1457], Element[L_1, 1458]) → B1457
1462. Segment(Element[L_1, 1458], Element[L_1, 1459]) → B1458
1463. Segment(Element[L_1, 1459], Element[L_1, 1460]) → B1459
1464. Segment(Element[L_1, 1460], Element[L_1, 1461]) → B1460
1465. Segment(Element[L_1, 1461], Element[L_1, 1462]) → B1461
1466. Segment(Element[L_1, 1462], Element[L_1, 1463]) → B1462
1467. Segment(Element[L_1, 1463], Element[L_1, 1464]) → B1463
1468. Segment(Element[L_1, 1464], Element[L_1, 1465]) → B1464
1469. Segment(Element[L_1, 1465], Element[L_1, 1466]) → B1465
1470. Segment(Element[L_1, 1466], Element[L_1, 1467]) → B1466
1471. Segment(Element[L_1, 1467], Element[L_1, 1468]) → B1467
1472. Segment(Element[L_1, 1468], Element[L_1, 1469]) → B1468
1473. Segment(Element[L_1, 1469], Element[L_1, 1470]) → B1469
1474. Segment(Element[L_1, 1470], Element[L_1, 1471]) → B1470
1475. Segment(Element[L_1, 1471], Element[L_1, 1472]) → B1471
1476. Segment(Element[L_1, 1472], Element[L_1, 1473]) → B1472
1477. Segment(Element[L_1, 1473], Element[L_1, 1474]) → B1473
1478. Segment(Element[L_1, 1474], Element[L_1, 1475]) → B1474
1479. Segment(Element[L_1, 1475], Element[L_1, 1476]) → B1475
1480. Segment(Element[L_1, 1476], Element[L_1, 1477]) → B1476
1481. Segment(Element[L_1, 1477], Element[L_1, 1478]) → B1477
1482. Segment(Element[L_1, 1478], Element[L_1, 1479]) → B1478
1483. Segment(Element[L_1, 1479], Element[L_1, 1480]) → B1479
1484. Segment(Element[L_1, 1480], Element[L_1, 1481]) → B1480
1485. Segment(Element[L_1, 1481], Element[L_1, 1482]) → B1481
1486. Segment(Element[L_1, 1482], Element[L_1, 1483]) → B1482
1487. Segment(Element[L_1, 1483], Element[L_1, 1484]) → B1483
1488. Segment(Element[L_1, 1484], Element[L_1, 1485]) → B1484
1489. Segment(Element[L_1, 1485], Element[L_1, 1486]) → B1485
1490. Segment(Element[L_1, 1486], Element[L_1, 1487]) → B1486
1491. Segment(Element[L_1, 1487], Element[L_1, 1488]) → B1487
1492. Segment(Element[L_1, 1488], Element[L_1, 1489]) → B1488
1493. Segment(Element[L_1, 1489], Element[L_1, 1490]) → B1489
1494. Segment(Element[L_1, 1490], Element[L_1, 1491]) → B1490
1495. Segment(Element[L_1, 1491], Element[L_1, 1492]) → B1491
1496. Segment(Element[L_1, 1492], Element[L_1, 1493]) → B1492
1497. Segment(Element[L_1, 1493], Element[L_1, 1494]) → B1493
1498. Segment(Element[L_1, 1494], Element[L_1, 1495]) → B1494
1499. Segment(Element[L_1, 1495], Element[L_1, 1496]) → B1495
1500. Segment(Element[L_1, 1496], Element[L_1, 1497]) → B1496
1501. Segment(Element[L_1, 1497], Element[L_1, 1498]) → B1497
1502. Segment(Element[L_1, 1498], Element[L_1, 1499]) → B1498
1503. Segment(Element[L_1, 1499], Element[L_1, 1500]) → B1499
1504. Segment(Element[L_1, 1500], Element[L_1, 1501]) → B1500
1505. Segment(Element[L_1, 1501], Element[L_1, 1502]) → B1501
1506. Segment(Element[L_1, 1502], Element[L_1, 1503]) → B1502
1507. Segment(Element[L_1, 1503], Element[L_1, 1504]) → B1503
1508. Segment(Element[L_1, 1504], Element[L_1, 1505]) → B1504
1509. Segment(Element[L_1, 1505], Element[L_1, 1506]) → B1505
1510. Segment(Element[L_1, 1506], Element[L_1, 1507]) → B1506
1511. Segment(Element[L_1, 1507], Element[L_1, 1508]) → B1507
1512. Segment(Element[L_1, 1508], Element[L_1, 1509]) → B1508
1513. Segment(Element[L_1, 1509], Element[L_1, 1510]) → B1509
1514. Segment(Element[L_1, 1510], Element[L_1, 1511]) → B1510
1515. Segment(Element[L_1, 1511], Element[L_1, 1512]) → B1511
1516. Segment(Element[L_1, 1512], Element[L_1, 1513]) → B1512
1517. Segment(Element[L_1, 1513], Element[L_1, 1514]) → B1513
1518. Segment(Element[L_1, 1514], Element[L_1, 1515]) → B1514
1519. Segment(Element[L_1, 1515], Element[L_1, 1516]) → B1515
1520. Segment(Element[L_1, 1516], Element[L_1, 1517]) → B1516
1521. Segment(Element[L_1, 1517], Element[L_1, 1518]) → B1517
1522. Segment(Element[L_1, 1518], Element[L_1, 1519]) → B1518
1523. Segment(Element[L_1, 1519], Element[L_1, 1520]) → B1519
1524. Segment(Element[L_1, 1520], Element[L_1, 1521]) → B1520
1525. Segment(Element[L_1, 1521], Element[L_1, 1522]) → B1521
1526. Segment(Element[L_1, 1522], Element[L_1, 1523]) → B1522
1527. Segment(Element[L_1, 1523], Element[L_1, 1524]) → B1523
1528. Segment(Element[L_1, 1524], Element[L_1, 1525]) → B1524
1529. Segment(Element[L_1, 1525], Element[L_1, 1526]) → B1525
1530. Segment(Element[L_1, 1526], Element[L_1, 1527]) → B1526
1531. Segment(Element[L_1, 1527], Element[L_1, 1528]) → B1527
1532. Segment(Element[L_1, 1528], Element[L_1, 1529]) → B1528
1533. Segment(Element[L_1, 1529], Element[L_1, 1530]) → B1529
1534. Segment(Element[L_1, 1530], Element[L_1, 1531]) → B1530
1535. Segment(Element[L_1, 1531], Element[L_1, 1532]) → B1531
1536. Segment(Element[L_1, 1532], Element[L_1, 1533]) → B1532
1537. Segment(Element[L_1, 1533], Element[L_1, 1534]) → B1533
1538. Segment(Element[L_1, 1534], Element[L_1, 1535]) → B1534
1539. Segment(Element[L_1, 1535], Element[L_1, 1536]) → B1535
1540. Segment(Element[L_1, 1536], Element[L_1, 1537]) → B1536
1541. Segment(Element[L_1, 1537], Element[L_1, 1538]) → B1537
1542. Segment(Element[L_1, 1538], Element[L_1, 1539]) → B1538
1543. Segment(Element[L_1, 1539], Element[L_1, 1540]) → B1539
1544. Segment(Element[L_1, 1540], Element[L_1, 1541]) → B1540
1545. Segment(Element[L_1, 1541], Element[L_1, 1542]) → B1541
1546. Segment(Element[L_1, 1542], Element[L_1, 1543]) → B1542
1547. Segment(Element[L_1, 1543], Element[L_1, 1544]) → B1543
1548. Segment(Element[L_1, 1544], Element[L_1, 1545]) → B1544
1549. Segment(Element[L_1, 1545], Element[L_1, 1546]) → B1545
1550. Segment(Element[L_1, 1546], Element[L_1, 1547]) → B1546
1551. Segment(Element[L_1, 1547], Element[L_1, 1548]) → B1547
1552. Segment(Element[L_1, 1548], Element[L_1, 1549]) → B1548
1553. Segment(Element[L_1, 1549], Element[L_1, 1550]) → B1549
1554. Segment(Element[L_1, 1550], Element[L_1, 1551]) → B1550
1555. Segment(Element[L_1, 1551], Element[L_1, 1552]) → B1551
1556. Segment(Element[L_1, 1552], Element[L_1, 1553]) → B1552
1557. Segment(Element[L_1, 1553], Element[L_1, 1554]) → B1553
1558. Segment(Element[L_1, 1554], Element[L_1, 1555]) → B1554
1559. Segment(Element[L_1, 1555], Element[L_1, 1556]) → B1555
1560. Segment(Element[L_1, 1556], Element[L_1, 1557]) → B1556
1561. Segment(Element[L_1, 1557], Element[L_1, 1558]) → B1557
1562. Segment(Element[L_1, 1558], Element[L_1, 1559]) → B1558
1563. Segment(Element[L_1, 1559], Element[L_1, 1560]) → B1559
1564. Segment(Element[L_1, 1560], Element[L_1, 1561]) → B1560
1565. Segment(Element[L_1, 1561], Element[L_1, 1562]) → B1561
1566. Segment(Element[L_1, 1562], Element[L_1, 1563]) → B1562
1567. Segment(Element[L_1, 1563], Element[L_1, 1564]) → B1563
1568. Segment(Element[L_1, 1564], Element[L_1, 1565]) → B1564
1569. Segment(Element[L_1, 1565], Element[L_1, 1566]) → B1565
1570. Segment(Element[L_1, 1566], Element[L_1, 1567]) → B1566
1571. Segment(Element[L_1, 1567], Element[L_1, 1568]) → B1567
1572. Segment(Element[L_1, 1568], Element[L_1, 1569]) → B1568
1573. Segment(Element[L_1, 1569], Element[L_1, 1570]) → B1569
1574. Segment(Element[L_1, 1570], Element[L_1, 1571]) → B1570
1575. Segment(Element[L_1, 1571], Element[L_1, 1572]) → B1571
1576. Segment(Element[L_1, 1572], Element[L_1, 1573]) → B1572
1577. Segment(Element[L_1, 1573], Element[L_1, 1574]) → B1573
1578. Segment(Element[L_1, 1574], Element[L_1, 1575]) → B1574
1579. Segment(Element[L_1, 1575], Element[L_1, 1576]) → B1575
1580. Segment(Element[L_1, 1576], Element[L_1, 1577]) → B1576
1581. Segment(Element[L_1, 1577], Element[L_1, 1578]) → B1577
1582. Segment(Element[L_1, 1578], Element[L_1, 1579]) → B1578
1583. Segment(Element[L_1, 1579], Element[L_1, 1580]) → B1579
1584. Segment(Element[L_1, 1580], Element[L_1, 1581]) → B1580
1585. Segment(Element[L_1, 1581], Element[L_1, 1582]) → B1581
1586. Segment(Element[L_1, 1582], Element[L_1, 1583]) → B1582
1587. Segment(Element[L_1, 1583], Element[L_1, 1584]) → B1583
1588. Segment(Element[L_1, 1584], Element[L_1, 1585]) → B1584
1589. Segment(Element[L_1, 1585], Element[L_1, 1586]) → B1585
1590. Segment(Element[L_1, 1586], Element[L_1, 1587]) → B1586
1591. Segment(Element[L_1, 1587], Element[L_1, 1588]) → B1587
1592. Segment(Element[L_1, 1588], Element[L_1, 1589]) → B1588
1593. Segment(Element[L_1, 1589], Element[L_1, 1590]) → B1589
1594. Segment(Element[L_1, 1590], Element[L_1, 1591]) → B1590
1595. Segment(Element[L_1, 1591], Element[L_1, 1592]) → B1591
1596. Segment(Element[L_1, 1592], Element[L_1, 1593]) → B1592
1597. Segment(Element[L_1, 1593], Element[L_1, 1594]) → B1593
1598. Segment(Element[L_1, 1594], Element[L_1, 1595]) → B1594
1599. Segment(Element[L_1, 1595], Element[L_1, 1596]) → B1595
1600. Segment(Element[L_1, 1596], Element[L_1, 1597]) → B1596
1601. Segment(Element[L_1, 1597], Element[L_1, 1598]) → B1597
1602. Segment(Element[L_1, 1598], Element[L_1, 1599]) → B1598
1603. Segment(Element[L_1, 1599], Element[L_1, 1600]) → B1599
1604. Segment(Element[L_1, 1600], Element[L_1, 1601]) → B1600
1605. Segment(Element[L_1, 1601], Element[L_1, 1602]) → B1601
1606. Segment(Element[L_1, 1602], Element[L_1, 1603]) → B1602
1607. Segment(Element[L_1, 1603], Element[L_1, 1604]) → B1603
1608. Segment(Element[L_1, 1604], Element[L_1, 1605]) → B1604
1609. Segment(Element[L_1, 1605], Element[L_1, 1606]) → B1605
1610. Segment(Element[L_1, 1606], Element[L_1, 1607]) → B1606
1611. Segment(Element[L_1, 1607], Element[L_1, 1608]) → B1607
1612. Segment(Element[L_1, 1608], Element[L_1, 1609]) → B1608
1613. Segment(Element[L_1, 1609], Element[L_1, 1610]) → B1609
1614. Segment(Element[L_1, 1610], Element[L_1, 1611]) → B1610
1615. Segment(Element[L_1, 1611], Element[L_1, 1612]) → B1611
1616. Segment(Element[L_1, 1612], Element[L_1, 1613]) → B1612
1617. Segment(Element[L_1, 1613], Element[L_1, 1614]) → B1613
1618. Segment(Element[L_1, 1614], Element[L_1, 1615]) → B1614
1619. Segment(Element[L_1, 1615], Element[L_1, 1616]) → B1615
1620. Segment(Element[L_1, 1616], Element[L_1, 1617]) → B1616
1621. Segment(Element[L_1, 1617], Element[L_1, 1618]) → B1617
1622. Segment(Element[L_1, 1618], Element[L_1, 1619]) → B1618
1623. Segment(Element[L_1, 1619], Element[L_1, 1620]) → B1619
1624. Segment(Element[L_1, 1620], Element[L_1, 1621]) → B1620
1625. Segment(Element[L_1, 1621], Element[L_1, 1622]) → B1621
1626. Segment(Element[L_1, 1622], Element[L_1, 1623]) → B1622
1627. Segment(Element[L_1, 1623], Element[L_1, 1624]) → B1623
1628. Segment(Element[L_1, 1624], Element[L_1, 1625]) → B1624
1629. Segment(Element[L_1, 1625], Element[L_1, 1626]) → B1625
1630. Segment(Element[L_1, 1626], Element[L_1, 1627]) → B1626
1631. Segment(Element[L_1, 1627], Element[L_1, 1628]) → B1627
1632. Segment(Element[L_1, 1628], Element[L_1, 1629]) → B1628
1633. Segment(Element[L_1, 1629], Element[L_1, 1630]) → B1629
1634. Segment(Element[L_1, 1630], Element[L_1, 1631]) → B1630
1635. Segment(Element[L_1, 1631], Element[L_1, 1632]) → B1631
1636. Segment(Element[L_1, 1632], Element[L_1, 1633]) → B1632
1637. Segment(Element[L_1, 1633], Element[L_1, 1634]) → B1633
1638. Segment(Element[L_1, 1634], Element[L_1, 1635]) → B1634
1639. Segment(Element[L_1, 1635], Element[L_1, 1636]) → B1635
1640. Segment(Element[L_1, 1636], Element[L_1, 1637]) → B1636
1641. Segment(Element[L_1, 1637], Element[L_1, 1638]) → B1637
1642. Segment(Element[L_1, 1638], Element[L_1, 1639]) → B1638
1643. Segment(Element[L_1, 1639], Element[L_1, 1640]) → B1639
1644. Segment(Element[L_1, 1640], Element[L_1, 1641]) → B1640
1645. Segment(Element[L_1, 1641], Element[L_1, 1642]) → B1641
1646. Segment(Element[L_1, 1642], Element[L_1, 1643]) → B1642
1647. Segment(Element[L_1, 1643], Element[L_1, 1644]) → B1643
1648. Segment(Element[L_1, 1644], Element[L_1, 1645]) → B1644
1649. Segment(Element[L_1, 1645], Element[L_1, 1646]) → B1645
1650. Segment(Element[L_1, 1646], Element[L_1, 1647]) → B1646
1651. Segment(Element[L_1, 1647], Element[L_1, 1648]) → B1647
1652. Segment(Element[L_1, 1648], Element[L_1, 1649]) → B1648
1653. Segment(Element[L_1, 1649], Element[L_1, 1650]) → B1649
1654. Segment(Element[L_1, 1650], Element[L_1, 1651]) → B1650
1655. Segment(Element[L_1, 1651], Element[L_1, 1652]) → B1651
1656. Segment(Element[L_1, 1652], Element[L_1, 1653]) → B1652
1657. Segment(Element[L_1, 1653], Element[L_1, 1654]) → B1653
1658. Segment(Element[L_1, 1654], Element[L_1, 1655]) → B1654
1659. Segment(Element[L_1, 1655], Element[L_1, 1656]) → B1655
1660. Segment(Element[L_1, 1656], Element[L_1, 1657]) → B1656
1661. Segment(Element[L_1, 1657], Element[L_1, 1658]) → B1657
1662. Segment(Element[L_1, 1658], Element[L_1, 1659]) → B1658
1663. Segment(Element[L_1, 1659], Element[L_1, 1660]) → B1659
1664. Segment(Element[L_1, 1660], Element[L_1, 1661]) → B1660
1665. Segment(Element[L_1, 1661], Element[L_1, 1662]) → B1661
1666. Segment(Element[L_1, 1662], Element[L_1, 1663]) → B1662
1667. Segment(Element[L_1, 1663], Element[L_1, 1664]) → B1663
1668. Segment(Element[L_1, 1664], Element[L_1, 1665]) → B1664
1669. Segment(Element[L_1, 1665], Element[L_1, 1666]) → B1665
1670. Segment(Element[L_1, 1666], Element[L_1, 1667]) → B1666
1671. Segment(Element[L_1, 1667], Element[L_1, 1668]) → B1667
1672. Segment(Element[L_1, 1668], Element[L_1, 1669]) → B1668
1673. Segment(Element[L_1, 1669], Element[L_1, 1670]) → B1669
1674. Segment(Element[L_1, 1670], Element[L_1, 1671]) → B1670
1675. Segment(Element[L_1, 1671], Element[L_1, 1672]) → B1671
1676. Segment(Element[L_1, 1672], Element[L_1, 1673]) → B1672
1677. Segment(Element[L_1, 1673], Element[L_1, 1674]) → B1673
1678. Segment(Element[L_1, 1674], Element[L_1, 1675]) → B1674
1679. Segment(Element[L_1, 1675], Element[L_1, 1676]) → B1675
1680. Segment(Element[L_1, 1676], Element[L_1, 1677]) → B1676
1681. Segment(Element[L_1, 1677], Element[L_1, 1678]) → B1677
1682. Segment(Element[L_1, 1678], Element[L_1, 1679]) → B1678
1683. Segment(Element[L_1, 1679], Element[L_1, 1680]) → B1679
1684. Segment(Element[L_1, 1680], Element[L_1, 1681]) → B1680
1685. Segment(Element[L_1, 1681], Element[L_1, 1682]) → B1681
1686. Segment(Element[L_1, 1682], Element[L_1, 1683]) → B1682
1687. Segment(Element[L_1, 1683], Element[L_1, 1684]) → B1683
1688. Segment(Element[L_1, 1684], Element[L_1, 1685]) → B1684
1689. Segment(Element[L_1, 1685], Element[L_1, 1686]) → B1685
1690. Segment(Element[L_1, 1686], Element[L_1, 1687]) → B1686
1691. Segment(Element[L_1, 1687], Element[L_1, 1688]) → B1687
1692. Segment(Element[L_1, 1688], Element[L_1, 1689]) → B1688
1693. Segment(Element[L_1, 1689], Element[L_1, 1690]) → B1689
1694. Segment(Element[L_1, 1690], Element[L_1, 1691]) → B1690
1695. Segment(Element[L_1, 1691], Element[L_1, 1692]) → B1691
1696. Segment(Element[L_1, 1692], Element[L_1, 1693]) → B1692
1697. Segment(Element[L_1, 1693], Element[L_1, 1694]) → B1693
1698. Segment(Element[L_1, 1694], Element[L_1, 1695]) → B1694
1699. Segment(Element[L_1, 1695], Element[L_1, 1696]) → B1695
1700. Segment(Element[L_1, 1696], Element[L_1, 1697]) → B1696
1701. Segment(Element[L_1, 1697], Element[L_1, 1698]) → B1697
1702. Segment(Element[L_1, 1698], Element[L_1, 1699]) → B1698
1703. Segment(Element[L_1, 1699], Element[L_1, 1700]) → B1699
1704. Segment(Element[L_1, 1700], Element[L_1, 1701]) → B1700
1705. Segment(Element[L_1, 1701], Element[L_1, 1702]) → B1701
1706. Segment(Element[L_1, 1702], Element[L_1, 1703]) → B1702
1707. Segment(Element[L_1, 1703], Element[L_1, 1704]) → B1703
1708. Segment(Element[L_1, 1704], Element[L_1, 1705]) → B1704
1709. Segment(Element[L_1, 1705], Element[L_1, 1706]) → B1705
1710. Segment(Element[L_1, 1706], Element[L_1, 1707]) → B1706
1711. Segment(Element[L_1, 1707], Element[L_1, 1708]) → B1707
1712. Segment(Element[L_1, 1708], Element[L_1, 1709]) → B1708
1713. Segment(Element[L_1, 1709], Element[L_1, 1710]) → B1709
1714. Segment(Element[L_1, 1710], Element[L_1, 1711]) → B1710
1715. Segment(Element[L_1, 1711], Element[L_1, 1712]) → B1711
1716. Segment(Element[L_1, 1712], Element[L_1, 1713]) → B1712
1717. Segment(Element[L_1, 1713], Element[L_1, 1714]) → B1713
1718. Segment(Element[L_1, 1714], Element[L_1, 1715]) → B1714
1719. Segment(Element[L_1, 1715], Element[L_1, 1716]) → B1715
1720. Segment(Element[L_1, 1716], Element[L_1, 1717]) → B1716
1721. Segment(Element[L_1, 1717], Element[L_1, 1718]) → B1717
1722. Segment(Element[L_1, 1718], Element[L_1, 1719]) → B1718
1723. Segment(Element[L_1, 1719], Element[L_1, 1720]) → B1719
1724. Segment(Element[L_1, 1720], Element[L_1, 1721]) → B1720
1725. Segment(Element[L_1, 1721], Element[L_1, 1722]) → B1721
1726. Segment(Element[L_1, 1722], Element[L_1, 1723]) → B1722
1727. Segment(Element[L_1, 1723], Element[L_1, 1724]) → B1723
1728. Segment(Element[L_1, 1724], Element[L_1, 1725]) → B1724
1729. Segment(Element[L_1, 1725], Element[L_1, 1726]) → B1725
1730. Segment(Element[L_1, 1726], Element[L_1, 1727]) → B1726
1731. Segment(Element[L_1, 1727], Element[L_1, 1728]) → B1727
1732. Segment(Element[L_1, 1728], Element[L_1, 1729]) → B1728
1733. Segment(Element[L_1, 1729], Element[L_1, 1730]) → B1729
1734. Segment(Element[L_1, 1730], Element[L_1, 1731]) → B1730
1735. Segment(Element[L_1, 1731], Element[L_1, 1732]) → B1731
1736. Segment(Element[L_1, 1732], Element[L_1, 1733]) → B1732
1737. Segment(Element[L_1, 1733], Element[L_1, 1734]) → B1733
1738. Segment(Element[L_1, 1734], Element[L_1, 1735]) → B1734
1739. Segment(Element[L_1, 1735], Element[L_1, 1736]) → B1735
1740. Segment(Element[L_1, 1736], Element[L_1, 1737]) → B1736
1741. Segment(Element[L_1, 1737], Element[L_1, 1738]) → B1737
1742. Segment(Element[L_1, 1738], Element[L_1, 1739]) → B1738
1743. Segment(Element[L_1, 1739], Element[L_1, 1740]) → B1739
1744. Segment(Element[L_1, 1740], Element[L_1, 1741]) → B1740
1745. Segment(Element[L_1, 1741], Element[L_1, 1742]) → B1741
1746. Segment(Element[L_1, 1742], Element[L_1, 1743]) → B1742
1747. Segment(Element[L_1, 1743], Element[L_1, 1744]) → B1743
1748. Segment(Element[L_1, 1744], Element[L_1, 1745]) → B1744
1749. Segment(Element[L_1, 1745], Element[L_1, 1746]) → B1745
1750. Segment(Element[L_1, 1746], Element[L_1, 1747]) → B1746
1751. Segment(Element[L_1, 1747], Element[L_1, 1748]) → B1747
1752. Segment(Element[L_1, 1748], Element[L_1, 1749]) → B1748
1753. Segment(Element[L_1, 1749], Element[L_1, 1750]) → B1749
1754. Segment(Element[L_1, 1750], Element[L_1, 1751]) → B1750
1755. Segment(Element[L_1, 1751], Element[L_1, 1752]) → B1751
1756. Segment(Element[L_1, 1752], Element[L_1, 1753]) → B1752
1757. Segment(Element[L_1, 1753], Element[L_1, 1754]) → B1753
1758. Segment(Element[L_1, 1754], Element[L_1, 1755]) → B1754
1759. Segment(Element[L_1, 1755], Element[L_1, 1756]) → B1755
1760. Segment(Element[L_1, 1756], Element[L_1, 1757]) → B1756
1761. Segment(Element[L_1, 1757], Element[L_1, 1758]) → B1757
1762. Segment(Element[L_1, 1758], Element[L_1, 1759]) → B1758
1763. Segment(Element[L_1, 1759], Element[L_1, 1760]) → B1759
1764. Segment(Element[L_1, 1760], Element[L_1, 1761]) → B1760
1765. Segment(Element[L_1, 1761], Element[L_1, 1762]) → B1761
1766. Segment(Element[L_1, 1762], Element[L_1, 1763]) → B1762
1767. Segment(Element[L_1, 1763], Element[L_1, 1764]) → B1763
1768. Segment(Element[L_1, 1764], Element[L_1, 1765]) → B1764
1769. Segment(Element[L_1, 1765], Element[L_1, 1766]) → B1765
1770. Segment(Element[L_1, 1766], Element[L_1, 1767]) → B1766
1771. Segment(Element[L_1, 1767], Element[L_1, 1768]) → B1767
1772. Segment(Element[L_1, 1768], Element[L_1, 1769]) → B1768
1773. Segment(Element[L_1, 1769], Element[L_1, 1770]) → B1769
1774. Segment(Element[L_1, 1770], Element[L_1, 1771]) → B1770
1775. Segment(Element[L_1, 1771], Element[L_1, 1772]) → B1771
1776. Segment(Element[L_1, 1772], Element[L_1, 1773]) → B1772
1777. Segment(Element[L_1, 1773], Element[L_1, 1774]) → B1773
1778. Segment(Element[L_1, 1774], Element[L_1, 1775]) → B1774
1779. Segment(Element[L_1, 1775], Element[L_1, 1776]) → B1775
1780. Segment(Element[L_1, 1776], Element[L_1, 1777]) → B1776
1781. Segment(Element[L_1, 1777], Element[L_1, 1778]) → B1777
1782. Segment(Element[L_1, 1778], Element[L_1, 1779]) → B1778
1783. Segment(Element[L_1, 1779], Element[L_1, 1780]) → B1779
1784. Segment(Element[L_1, 1780], Element[L_1, 1781]) → B1780
1785. Segment(Element[L_1, 1781], Element[L_1, 1782]) → B1781
1786. Segment(Element[L_1, 1782], Element[L_1, 1783]) → B1782
1787. Segment(Element[L_1, 1783], Element[L_1, 1784]) → B1783
1788. Segment(Element[L_1, 1784], Element[L_1, 1785]) → B1784
1789. Segment(Element[L_1, 1785], Element[L_1, 1786]) → B1785
1790. Segment(Element[L_1, 1786], Element[L_1, 1787]) → B1786
1791. Segment(Element[L_1, 1787], Element[L_1, 1788]) → B1787
1792. Segment(Element[L_1, 1788], Element[L_1, 1789]) → B1788
1793. Segment(Element[L_1, 1789], Element[L_1, 1790]) → B1789
1794. Segment(Element[L_1, 1790], Element[L_1, 1791]) → B1790
1795. Segment(Element[L_1, 1791], Element[L_1, 1792]) → B1791
1796. Segment(Element[L_1, 1792], Element[L_1, 1793]) → B1792
1797. Segment(Element[L_1, 1793], Element[L_1, 1794]) → B1793
1798. Segment(Element[L_1, 1794], Element[L_1, 1795]) → B1794
1799. Segment(Element[L_1, 1795], Element[L_1, 1796]) → B1795
1800. Segment(Element[L_1, 1796], Element[L_1, 1797]) → B1796
1801. Segment(Element[L_1, 1797], Element[L_1, 1798]) → B1797
1802. Segment(Element[L_1, 1798], Element[L_1, 1799]) → B1798
1803. Segment(Element[L_1, 1799], Element[L_1, 1800]) → B1799
1804. Segment(Element[L_1, 1800], Element[L_1, 1801]) → B1800
1805. Segment(Element[L_1, 1801], Element[L_1, 1802]) → B1801
1806. Segment(Element[L_1, 1802], Element[L_1, 1803]) → B1802
1807. Segment(Element[L_1, 1803], Element[L_1, 1804]) → B1803
1808. Segment(Element[L_1, 1804], Element[L_1, 1805]) → B1804
1809. Segment(Element[L_1, 1805], Element[L_1, 1806]) → B1805
1810. Segment(Element[L_1, 1806], Element[L_1, 1807]) → B1806
1811. Segment(Element[L_1, 1807], Element[L_1, 1808]) → B1807
1812. Segment(Element[L_1, 1808], Element[L_1, 1809]) → B1808
1813. Segment(Element[L_1, 1809], Element[L_1, 1810]) → B1809
1814. Segment(Element[L_1, 1810], Element[L_1, 1811]) → B1810
1815. Segment(Element[L_1, 1811], Element[L_1, 1812]) → B1811
1816. Segment(Element[L_1, 1812], Element[L_1, 1813]) → B1812
1817. Segment(Element[L_1, 1813], Element[L_1, 1814]) → B1813
1818. Segment(Element[L_1, 1814], Element[L_1, 1815]) → B1814
1819. Segment(Element[L_1, 1815], Element[L_1, 1816]) → B1815
1820. Segment(Element[L_1, 1816], Element[L_1, 1817]) → B1816
1821. Segment(Element[L_1, 1817], Element[L_1, 1818]) → B1817
1822. Segment(Element[L_1, 1818], Element[L_1, 1819]) → B1818
1823. Segment(Element[L_1, 1819], Element[L_1, 1820]) → B1819
1824. Segment(Element[L_1, 1820], Element[L_1, 1821]) → B1820
1825. Segment(Element[L_1, 1821], Element[L_1, 1822]) → B1821
1826. Segment(Element[L_1, 1822], Element[L_1, 1823]) → B1822
1827. Segment(Element[L_1, 1823], Element[L_1, 1824]) → B1823
1828. Segment(Element[L_1, 1824], Element[L_1, 1825]) → B1824
1829. Segment(Element[L_1, 1825], Element[L_1, 1826]) → B1825
1830. Segment(Element[L_1, 1826], Element[L_1, 1827]) → B1826
1831. Segment(Element[L_1, 1827], Element[L_1, 1828]) → B1827
1832. Segment(Element[L_1, 1828], Element[L_1, 1829]) → B1828
1833. Segment(Element[L_1, 1829], Element[L_1, 1830]) → B1829
1834. Segment(Element[L_1, 1830], Element[L_1, 1831]) → B1830
1835. Segment(Element[L_1, 1831], Element[L_1, 1832]) → B1831
1836. Segment(Element[L_1, 1832], Element[L_1, 1833]) → B1832
1837. Segment(Element[L_1, 1833], Element[L_1, 1834]) → B1833
1838. Segment(Element[L_1, 1834], Element[L_1, 1835]) → B1834
1839. Segment(Element[L_1, 1835], Element[L_1, 1836]) → B1835
1840. Segment(Element[L_1, 1836], Element[L_1, 1837]) → B1836
1841. Segment(Element[L_1, 1837], Element[L_1, 1838]) → B1837
1842. Segment(Element[L_1, 1838], Element[L_1, 1839]) → B1838
1843. Segment(Element[L_1, 1839], Element[L_1, 1840]) → B1839
1844. Segment(Element[L_1, 1840], Element[L_1, 1841]) → B1840
1845. Segment(Element[L_1, 1841], Element[L_1, 1842]) → B1841
1846. Segment(Element[L_1, 1842], Element[L_1, 1843]) → B1842
1847. Segment(Element[L_1, 1843], Element[L_1, 1844]) → B1843
1848. Segment(Element[L_1, 1844], Element[L_1, 1845]) → B1844
1849. Segment(Element[L_1, 1845], Element[L_1, 1846]) → B1845
1850. Segment(Element[L_1, 1846], Element[L_1, 1847]) → B1846
1851. Segment(Element[L_1, 1847], Element[L_1, 1848]) → B1847
1852. Segment(Element[L_1, 1848], Element[L_1, 1849]) → B1848
1853. Segment(Element[L_1, 1849], Element[L_1, 1850]) → B1849
1854. Segment(Element[L_1, 1850], Element[L_1, 1851]) → B1850
1855. Segment(Element[L_1, 1851], Element[L_1, 1852]) → B1851
1856. Segment(Element[L_1, 1852], Element[L_1, 1853]) → B1852
1857. Segment(Element[L_1, 1853], Element[L_1, 1854]) → B1853
1858. Segment(Element[L_1, 1854], Element[L_1, 1855]) → B1854
1859. Segment(Element[L_1, 1855], Element[L_1, 1856]) → B1855
1860. Segment(Element[L_1, 1856], Element[L_1, 1857]) → B1856
1861. Segment(Element[L_1, 1857], Element[L_1, 1858]) → B1857
1862. Segment(Element[L_1, 1858], Element[L_1, 1859]) → B1858
1863. Segment(Element[L_1, 1859], Element[L_1, 1860]) → B1859
1864. Segment(Element[L_1, 1860], Element[L_1, 1861]) → B1860
1865. Segment(Element[L_1, 1861], Element[L_1, 1862]) → B1861
1866. Segment(Element[L_1, 1862], Element[L_1, 1863]) → B1862
1867. Segment(Element[L_1, 1863], Element[L_1, 1864]) → B1863
1868. Segment(Element[L_1, 1864], Element[L_1, 1865]) → B1864
1869. Segment(Element[L_1, 1865], Element[L_1, 1866]) → B1865
1870. Segment(Element[L_1, 1866], Element[L_1, 1867]) → B1866
1871. Segment(Element[L_1, 1867], Element[L_1, 1868]) → B1867
1872. Segment(Element[L_1, 1868], Element[L_1, 1869]) → B1868
1873. Segment(Element[L_1, 1869], Element[L_1, 1870]) → B1869
1874. Segment(Element[L_1, 1870], Element[L_1, 1871]) → B1870
1875. Segment(Element[L_1, 1871], Element[L_1, 1872]) → B1871
1876. Segment(Element[L_1, 1872], Element[L_1, 1873]) → B1872
1877. Segment(Element[L_1, 1873], Element[L_1, 1874]) → B1873
1878. Segment(Element[L_1, 1874], Element[L_1, 1875]) → B1874
1879. Segment(Element[L_1, 1875], Element[L_1, 1876]) → B1875
1880. Segment(Element[L_1, 1876], Element[L_1, 1877]) → B1876
1881. Segment(Element[L_1, 1877], Element[L_1, 1878]) → B1877
1882. Segment(Element[L_1, 1878], Element[L_1, 1879]) → B1878
1883. Segment(Element[L_1, 1879], Element[L_1, 1880]) → B1879
1884. Segment(Element[L_1, 1880], Element[L_1, 1881]) → B1880
1885. Segment(Element[L_1, 1881], Element[L_1, 1882]) → B1881
1886. Segment(Element[L_1, 1882], Element[L_1, 1883]) → B1882
1887. Segment(Element[L_1, 1883], Element[L_1, 1884]) → B1883
1888. Segment(Element[L_1, 1884], Element[L_1, 1885]) → B1884
1889. Segment(Element[L_1, 1885], Element[L_1, 1886]) → B1885
1890. Segment(Element[L_1, 1886], Element[L_1, 1887]) → B1886
1891. Segment(Element[L_1, 1887], Element[L_1, 1888]) → B1887
1892. Segment(Element[L_1, 1888], Element[L_1, 1889]) → B1888
1893. Segment(Element[L_1, 1889], Element[L_1, 1890]) → B1889
1894. Segment(Element[L_1, 1890], Element[L_1, 1891]) → B1890
1895. Segment(Element[L_1, 1891], Element[L_1, 1892]) → B1891
1896. Segment(Element[L_1, 1892], Element[L_1, 1893]) → B1892
1897. Segment(Element[L_1, 1893], Element[L_1, 1894]) → B1893
1898. Segment(Element[L_1, 1894], Element[L_1, 1895]) → B1894
1899. Segment(Element[L_1, 1895], Element[L_1, 1896]) → B1895
1900. Segment(Element[L_1, 1896], Element[L_1, 1897]) → B1896
1901. Segment(Element[L_1, 1897], Element[L_1, 1898]) → B1897
1902. Segment(Element[L_1, 1898], Element[L_1, 1899]) → B1898
1903. Segment(Element[L_1, 1899], Element[L_1, 1900]) → B1899
1904. Segment(Element[L_1, 1900], Element[L_1, 1901]) → B1900
1905. Segment(Element[L_1, 1901], Element[L_1, 1902]) → B1901
1906. Segment(Element[L_1, 1902], Element[L_1, 1903]) → B1902
1907. Segment(Element[L_1, 1903], Element[L_1, 1904]) → B1903
1908. Segment(Element[L_1, 1904], Element[L_1, 1905]) → B1904
1909. Segment(Element[L_1, 1905], Element[L_1, 1906]) → B1905
1910. Segment(Element[L_1, 1906], Element[L_1, 1907]) → B1906
1911. Segment(Element[L_1, 1907], Element[L_1, 1908]) → B1907
1912. Segment(Element[L_1, 1908], Element[L_1, 1909]) → B1908
1913. Segment(Element[L_1, 1909], Element[L_1, 1910]) → B1909
1914. Segment(Element[L_1, 1910], Element[L_1, 1911]) → B1910
1915. Segment(Element[L_1, 1911], Element[L_1, 1912]) → B1911
1916. Segment(Element[L_1, 1912], Element[L_1, 1913]) → B1912
1917. Segment(Element[L_1, 1913], Element[L_1, 1914]) → B1913
1918. Segment(Element[L_1, 1914], Element[L_1, 1915]) → B1914
1919. Segment(Element[L_1, 1915], Element[L_1, 1916]) → B1915
1920. Segment(Element[L_1, 1916], Element[L_1, 1917]) → B1916
1921. Segment(Element[L_1, 1917], Element[L_1, 1918]) → B1917
1922. Segment(Element[L_1, 1918], Element[L_1, 1919]) → B1918
1923. Segment(Element[L_1, 1919], Element[L_1, 1920]) → B1919
1924. Segment(Element[L_1, 1920], Element[L_1, 1921]) → B1920
1925. Segment(Element[L_1, 1921], Element[L_1, 1922]) → B1921
1926. Segment(Element[L_1, 1922], Element[L_1, 1923]) → B1922
1927. Segment(Element[L_1, 1923], Element[L_1, 1924]) → B1923
1928. Segment(Element[L_1, 1924], Element[L_1, 1925]) → B1924
1929. Segment(Element[L_1, 1925], Element[L_1, 1926]) → B1925
1930. Segment(Element[L_1, 1926], Element[L_1, 1927]) → B1926
1931. Segment(Element[L_1, 1927], Element[L_1, 1928]) → B1927
1932. Segment(Element[L_1, 1928], Element[L_1, 1929]) → B1928
1933. Segment(Element[L_1, 1929], Element[L_1, 1930]) → B1929
1934. Segment(Element[L_1, 1930], Element[L_1, 1931]) → B1930
1935. Segment(Element[L_1, 1931], Element[L_1, 1932]) → B1931
1936. Segment(Element[L_1, 1932], Element[L_1, 1933]) → B1932
1937. Segment(Element[L_1, 1933], Element[L_1, 1934]) → B1933
1938. Segment(Element[L_1, 1934], Element[L_1, 1935]) → B1934
1939. Segment(Element[L_1, 1935], Element[L_1, 1936]) → B1935
1940. Segment(Element[L_1, 1936], Element[L_1, 1937]) → B1936
1941. Segment(Element[L_1, 1937], Element[L_1, 1938]) → B1937
1942. Segment(Element[L_1, 1938], Element[L_1, 1939]) → B1938
1943. Segment(Element[L_1, 1939], Element[L_1, 1940]) → B1939
1944. Segment(Element[L_1, 1940], Element[L_1, 1941]) → B1940
1945. Segment(Element[L_1, 1941], Element[L_1, 1942]) → B1941
1946. Segment(Element[L_1, 1942], Element[L_1, 1943]) → B1942
1947. Segment(Element[L_1, 1943], Element[L_1, 1944]) → B1943
1948. Segment(Element[L_1, 1944], Element[L_1, 1945]) → B1944
1949. Segment(Element[L_1, 1945], Element[L_1, 1946]) → B1945
1950. Segment(Element[L_1, 1946], Element[L_1, 1947]) → B1946
1951. Segment(Element[L_1, 1947], Element[L_1, 1948]) → B1947
1952. Segment(Element[L_1, 1948], Element[L_1, 1949]) → B1948
1953. Segment(Element[L_1, 1949], Element[L_1, 1950]) → B1949
1954. Segment(Element[L_1, 1950], Element[L_1, 1951]) → B1950
1955. Segment(Element[L_1, 1951], Element[L_1, 1952]) → B1951
1956. Segment(Element[L_1, 1952], Element[L_1, 1953]) → B1952
1957. Segment(Element[L_1, 1953], Element[L_1, 1954]) → B1953
1958. Segment(Element[L_1, 1954], Element[L_1, 1955]) → B1954
1959. Segment(Element[L_1, 1955], Element[L_1, 1956]) → B1955
1960. Segment(Element[L_1, 1956], Element[L_1, 1957]) → B1956
1961. Segment(Element[L_1, 1957], Element[L_1, 1958]) → B1957
1962. Segment(Element[L_1, 1958], Element[L_1, 1959]) → B1958
1963. Segment(Element[L_1, 1959], Element[L_1, 1960]) → B1959
1964. Segment(Element[L_1, 1960], Element[L_1, 1961]) → B1960
1965. Segment(Element[L_1, 1961], Element[L_1, 1962]) → B1961
1966. Segment(Element[L_1, 1962], Element[L_1, 1963]) → B1962
1967. Segment(Element[L_1, 1963], Element[L_1, 1964]) → B1963
1968. Segment(Element[L_1, 1964], Element[L_1, 1965]) → B1964
1969. Segment(Element[L_1, 1965], Element[L_1, 1966]) → B1965
1970. Segment(Element[L_1, 1966], Element[L_1, 1967]) → B1966
1971. Segment(Element[L_1, 1967], Element[L_1, 1968]) → B1967
1972. Segment(Element[L_1, 1968], Element[L_1, 1969]) → B1968
1973. Segment(Element[L_1, 1969], Element[L_1, 1970]) → B1969
1974. Segment(Element[L_1, 1970], Element[L_1, 1971]) → B1970
1975. Segment(Element[L_1, 1971], Element[L_1, 1972]) → B1971
1976. Segment(Element[L_1, 1972], Element[L_1, 1973]) → B1972
1977. Segment(Element[L_1, 1973], Element[L_1, 1974]) → B1973
1978. Segment(Element[L_1, 1974], Element[L_1, 1975]) → B1974
1979. Segment(Element[L_1, 1975], Element[L_1, 1976]) → B1975
1980. Segment(Element[L_1, 1976], Element[L_1, 1977]) → B1976
1981. Segment(Element[L_1, 1977], Element[L_1, 1978]) → B1977
1982. Segment(Element[L_1, 1978], Element[L_1, 1979]) → B1978
1983. Segment(Element[L_1, 1979], Element[L_1, 1980]) → B1979
1984. Segment(Element[L_1, 1980], Element[L_1, 1981]) → B1980
1985. Segment(Element[L_1, 1981], Element[L_1, 1982]) → B1981
1986. Segment(Element[L_1, 1982], Element[L_1, 1983]) → B1982
1987. Segment(Element[L_1, 1983], Element[L_1, 1984]) → B1983
1988. Segment(Element[L_1, 1984], Element[L_1, 1985]) → B1984
1989. Segment(Element[L_1, 1985], Element[L_1, 1986]) → B1985
1990. Segment(Element[L_1, 1986], Element[L_1, 1987]) → B1986
1991. Segment(Element[L_1, 1987], Element[L_1, 1988]) → B1987
1992. Segment(Element[L_1, 1988], Element[L_1, 1989]) → B1988
1993. Segment(Element[L_1, 1989], Element[L_1, 1990]) → B1989
1994. Segment(Element[L_1, 1990], Element[L_1, 1991]) → B1990
1995. Segment(Element[L_1, 1991], Element[L_1, 1992]) → B1991
1996. Segment(Element[L_1, 1992], Element[L_1, 1993]) → B1992
1997. Segment(Element[L_1, 1993], Element[L_1, 1994]) → B1993
1998. Segment(Element[L_1, 1994], Element[L_1, 1995]) → B1994
1999. Segment(Element[L_1, 1995], Element[L_1, 1996]) → B1995
2000. Segment(Element[L_1, 1996], Element[L_1, 1997]) → B1996
2001. Segment(Element[L_1, 1997], Element[L_1, 1998]) → B1997
2002. Segment(Element[L_1, 1998], Element[L_1, 1999]) → B1998
2003. Segment(Element[L_1, 1999], Element[L_1, 2000]) → B1999
2004. Segment(Element[L_1, 2000], Element[L_1, 2001]) → B2000
2005. Segment(Element[L_1, 2001], Element[L_1, 2002]) → B2001
2006. Segment(Element[L_1, 2002], Element[L_1, 2003]) → B2002
2007. Segment(Element[L_1, 2003], Element[L_1, 2004]) → B2003
2008. Segment(Element[L_1, 2004], Element[L_1, 2005]) → B2004
2009. Segment(Element[L_1, 2005], Element[L_1, 2006]) → B2005
2010. Segment(Element[L_1, 2006], Element[L_1, 2007]) → B2006
2011. Segment(Element[L_1, 2007], Element[L_1, 2008]) → B2007
2012. Segment(Element[L_1, 2008], Element[L_1, 2009]) → B2008
2013. Segment(Element[L_1, 2009], Element[L_1, 2010]) → B2009
2014. Segment(Element[L_1, 2010], Element[L_1, 2011]) → B2010
2015. Segment(Element[L_1, 2011], Element[L_1, 2012]) → B2011
2016. Segment(Element[L_1, 2012], Element[L_1, 2013]) → B2012
2017. Segment(Element[L_1, 2013], Element[L_1, 2014]) → B2013
2018. Segment(Element[L_1, 2014], Element[L_1, 2015]) → B2014
2019. Segment(Element[L_1, 2015], Element[L_1, 2016]) → B2015
2020. Segment(Element[L_1, 2016], Element[L_1, 2017]) → B2016
2021. Segment(Element[L_1, 2017], Element[L_1, 2018]) → B2017
2022. Segment(Element[L_1, 2018], Element[L_1, 2019]) → B2018
2023. Segment(Element[L_1, 2019], Element[L_1, 2020]) → B2019
2024. Segment(Element[L_1, 2020], Element[L_1, 2021]) → B2020
2025. Segment(Element[L_1, 2021], Element[L_1, 2022]) → B2021
2026. Segment(Element[L_1, 2022], Element[L_1, 2023]) → B2022
2027. Segment(Element[L_1, 2023], Element[L_1, 2024]) → B2023
2028. Segment(Element[L_1, 2024], Element[L_1, 2025]) → B2024
2029. Segment(Element[L_1, 2025], Element[L_1, 2026]) → B2025
2030. Segment(Element[L_1, 2026], Element[L_1, 2027]) → B2026
2031. Segment(Element[L_1, 2027], Element[L_1, 2028]) → B2027
2032. Segment(Element[L_1, 2028], Element[L_1, 2029]) → B2028
2033. Segment(Element[L_1, 2029], Element[L_1, 2030]) → B2029
2034. Segment(Element[L_1, 2030], Element[L_1, 2031]) → B2030
2035. Segment(Element[L_1, 2031], Element[L_1, 2032]) → B2031
2036. Segment(Element[L_1, 2032], Element[L_1, 2033]) → B2032
2037. Segment(Element[L_1, 2033], Element[L_1, 2034]) → B2033
2038. Segment(Element[L_1, 2034], Element[L_1, 2035]) → B2034
2039. Segment(Element[L_1, 2035], Element[L_1, 2036]) → B2035
2040. Segment(Element[L_1, 2036], Element[L_1, 2037]) → B2036
2041. Segment(Element[L_1, 2037], Element[L_1, 2038]) → B2037
2042. Segment(Element[L_1, 2038], Element[L_1, 2039]) → B2038
2043. Segment(Element[L_1, 2039], Element[L_1, 2040]) → B2039
2044. Segment(Element[L_1, 2040], Element[L_1, 2041]) → B2040
2045. Segment(Element[L_1, 2041], Element[L_1, 2042]) → B2041
2046. Segment(Element[L_1, 2042], Element[L_1, 2043]) → B2042
2047. Segment(Element[L_1, 2043], Element[L_1, 2044]) → B2043
2048. Segment(Element[L_1, 2044], Element[L_1, 2045]) → B2044
2049. Segment(Element[L_1, 2045], Element[L_1, 2046]) → B2045
2050. Segment(Element[L_1, 2046], Element[L_1, 2047]) → B2046
2051. Segment(Element[L_1, 2047], Element[L_1, 2048]) → B2047
2052. Segment(Element[L_1, 2048], Element[L_1, 2049]) → B2048
2053. Segment(Element[L_1, 2049], Element[L_1, 2050]) → B2049
2054. Segment(Element[L_1, 2050], Element[L_1, 2051]) → B2050
2055. Segment(Element[L_1, 2051], Element[L_1, 2052]) → B2051
2056. Segment(Element[L_1, 2052], Element[L_1, 2053]) → B2052
2057. Segment(Element[L_1, 2053], Element[L_1, 2054]) → B2053
2058. Segment(Element[L_1, 2054], Element[L_1, 2055]) → B2054
2059. Segment(Element[L_1, 2055], Element[L_1, 2056]) → B2055
2060. Segment(Element[L_1, 2056], Element[L_1, 2057]) → B2056
2061. Segment(Element[L_1, 2057], Element[L_1, 2058]) → B2057
2062. Segment(Element[L_1, 2058], Element[L_1, 2059]) → B2058
2063. Segment(Element[L_1, 2059], Element[L_1, 2060]) → B2059
2064. Segment(Element[L_1, 2060], Element[L_1, 2061]) → B2060
2065. Segment(Element[L_1, 2061], Element[L_1, 2062]) → B2061
2066. Segment(Element[L_1, 2062], Element[L_1, 2063]) → B2062
2067. Segment(Element[L_1, 2063], Element[L_1, 2064]) → B2063
2068. Segment(Element[L_1, 2064], Element[L_1, 2065]) → B2064
2069. Segment(Element[L_1, 2065], Element[L_1, 2066]) → B2065
2070. Segment(Element[L_1, 2066], Element[L_1, 2067]) → B2066
2071. Segment(Element[L_1, 2067], Element[L_1, 2068]) → B2067
2072. Segment(Element[L_1, 2068], Element[L_1, 2069]) → B2068
2073. Segment(Element[L_1, 2069], Element[L_1, 2070]) → B2069
2074. Segment(Element[L_1, 2070], Element[L_1, 2071]) → B2070
2075. Segment(Element[L_1, 2071], Element[L_1, 2072]) → B2071
2076. Segment(Element[L_1, 2072], Element[L_1, 2073]) → B2072
2077. Segment(Element[L_1, 2073], Element[L_1, 2074]) → B2073
2078. Segment(Element[L_1, 2074], Element[L_1, 2075]) → B2074
2079. Segment(Element[L_1, 2075], Element[L_1, 2076]) → B2075
2080. Segment(Element[L_1, 2076], Element[L_1, 2077]) → B2076
2081. Segment(Element[L_1, 2077], Element[L_1, 2078]) → B2077
2082. Segment(Element[L_1, 2078], Element[L_1, 2079]) → B2078
2083. Segment(Element[L_1, 2079], Element[L_1, 2080]) → B2079
2084. Segment(Element[L_1, 2080], Element[L_1, 2081]) → B2080
2085. Segment(Element[L_1, 2081], Element[L_1, 2082]) → B2081
2086. Segment(Element[L_1, 2082], Element[L_1, 2083]) → B2082
2087. Segment(Element[L_1, 2083], Element[L_1, 2084]) → B2083
2088. Segment(Element[L_1, 2084], Element[L_1, 2085]) → B2084
2089. Segment(Element[L_1, 2085], Element[L_1, 2086]) → B2085
2090. Segment(Element[L_1, 2086], Element[L_1, 2087]) → B2086
2091. Segment(Element[L_1, 2087], Element[L_1, 2088]) → B2087
2092. Segment(Element[L_1, 2088], Element[L_1, 2089]) → B2088
2093. Segment(Element[L_1, 2089], Element[L_1, 2090]) → B2089
2094. Segment(Element[L_1, 2090], Element[L_1, 2091]) → B2090
2095. Segment(Element[L_1, 2091], Element[L_1, 2092]) → B2091
2096. Segment(Element[L_1, 2092], Element[L_1, 2093]) → B2092
2097. Segment(Element[L_1, 2093], Element[L_1, 2094]) → B2093
2098. Segment(Element[L_1, 2094], Element[L_1, 2095]) → B2094
2099. Segment(Element[L_1, 2095], Element[L_1, 2096]) → B2095
2100. Segment(Element[L_1, 2096], Element[L_1, 2097]) → B2096
2101. Segment(Element[L_1, 2097], Element[L_1, 2098]) → B2097
2102. Segment(Element[L_1, 2098], Element[L_1, 2099]) → B2098
2103. Segment(Element[L_1, 2099], Element[L_1, 2100]) → B2099
2104. Segment(Element[L_1, 2100], Element[L_1, 2101]) → B2100
2105. Segment(Element[L_1, 2101], Element[L_1, 2102]) → B2101
2106. Segment(Element[L_1, 2102], Element[L_1, 2103]) → B2102
2107. Segment(Element[L_1, 2103], Element[L_1, 2104]) → B2103
2108. Segment(Element[L_1, 2104], Element[L_1, 2105]) → B2104
2109. Segment(Element[L_1, 2105], Element[L_1, 2106]) → B2105
2110. Segment(Element[L_1, 2106], Element[L_1, 2107]) → B2106
2111. Segment(Element[L_1, 2107], Element[L_1, 2108]) → B2107
2112. Segment(Element[L_1, 2108], Element[L_1, 2109]) → B2108
2113. Segment(Element[L_1, 2109], Element[L_1, 2110]) → B2109
2114. Segment(Element[L_1, 2110], Element[L_1, 2111]) → B2110
2115. Segment(Element[L_1, 2111], Element[L_1, 2112]) → B2111
2116. Segment(Element[L_1, 2112], Element[L_1, 2113]) → B2112
2117. Segment(Element[L_1, 2113], Element[L_1, 2114]) → B2113
2118. Segment(Element[L_1, 2114], Element[L_1, 2115]) → B2114
2119. Segment(Element[L_1, 2115], Element[L_1, 2116]) → B2115
2120. Segment(Element[L_1, 2116], Element[L_1, 2117]) → B2116
2121. Segment(Element[L_1, 2117], Element[L_1, 2118]) → B2117
2122. Segment(Element[L_1, 2118], Element[L_1, 2119]) → B2118
2123. Segment(Element[L_1, 2119], Element[L_1, 2120]) → B2119
2124. Segment(Element[L_1, 2120], Element[L_1, 2121]) → B2120
2125. Segment(Element[L_1, 2121], Element[L_1, 2122]) → B2121
2126. Segment(Element[L_1, 2122], Element[L_1, 2123]) → B2122
2127. Segment(Element[L_1, 2123], Element[L_1, 2124]) → B2123
2128. Segment(Element[L_1, 2124], Element[L_1, 2125]) → B2124
2129. Segment(Element[L_1, 2125], Element[L_1, 2126]) → B2125
2130. Segment(Element[L_1, 2126], Element[L_1, 2127]) → B2126
2131. Segment(Element[L_1, 2127], Element[L_1, 2128]) → B2127
2132. Segment(Element[L_1, 2128], Element[L_1, 2129]) → B2128
2133. Segment(Element[L_1, 2129], Element[L_1, 2130]) → B2129
2134. Segment(Element[L_1, 2130], Element[L_1, 2131]) → B2130
2135. Segment(Element[L_1, 2131], Element[L_1, 2132]) → B2131
2136. Segment(Element[L_1, 2132], Element[L_1, 2133]) → B2132
2137. Segment(Element[L_1, 2133], Element[L_1, 2134]) → B2133
2138. Segment(Element[L_1, 2134], Element[L_1, 2135]) → B2134
2139. Segment(Element[L_1, 2135], Element[L_1, 2136]) → B2135
2140. Segment(Element[L_1, 2136], Element[L_1, 2137]) → B2136
2141. Segment(Element[L_1, 2137], Element[L_1, 2138]) → B2137
2142. Segment(Element[L_1, 2138], Element[L_1, 2139]) → B2138
2143. Segment(Element[L_1, 2139], Element[L_1, 2140]) → B2139
2144. Segment(Element[L_1, 2140], Element[L_1, 2141]) → B2140
2145. Segment(Element[L_1, 2141], Element[L_1, 2142]) → B2141
2146. Segment(Element[L_1, 2142], Element[L_1, 2143]) → B2142
2147. Segment(Element[L_1, 2143], Element[L_1, 2144]) → B2143
2148. Segment(Element[L_1, 2144], Element[L_1, 2145]) → B2144
2149. Segment(Element[L_1, 2145], Element[L_1, 2146]) → B2145
2150. Segment(Element[L_1, 2146], Element[L_1, 2147]) → B2146
2151. Segment(Element[L_1, 2147], Element[L_1, 2148]) → B2147
2152. Segment(Element[L_1, 2148], Element[L_1, 2149]) → B2148
2153. Segment(Element[L_1, 2149], Element[L_1, 2150]) → B2149
2154. Segment(Element[L_1, 2150], Element[L_1, 2151]) → B2150
2155. Segment(Element[L_1, 2151], Element[L_1, 2152]) → B2151
2156. Segment(Element[L_1, 2152], Element[L_1, 2153]) → B2152
2157. Segment(Element[L_1, 2153], Element[L_1, 2154]) → B2153
2158. Segment(Element[L_1, 2154], Element[L_1, 2155]) → B2154
2159. Segment(Element[L_1, 2155], Element[L_1, 2156]) → B2155
2160. Segment(Element[L_1, 2156], Element[L_1, 2157]) → B2156
2161. Segment(Element[L_1, 2157], Element[L_1, 2158]) → B2157
2162. Segment(Element[L_1, 2158], Element[L_1, 2159]) → B2158
2163. Segment(Element[L_1, 2159], Element[L_1, 2160]) → B2159
2164. Segment(Element[L_1, 2160], Element[L_1, 2161]) → B2160
2165. Segment(Element[L_1, 2161], Element[L_1, 2162]) → B2161
2166. Segment(Element[L_1, 2162], Element[L_1, 2163]) → B2162
2167. Segment(Element[L_1, 2163], Element[L_1, 2164]) → B2163
2168. Segment(Element[L_1, 2164], Element[L_1, 2165]) → B2164
2169. Segment(Element[L_1, 2165], Element[L_1, 2166]) → B2165
2170. Segment(Element[L_1, 2166], Element[L_1, 2167]) → B2166
2171. Segment(Element[L_1, 2167], Element[L_1, 2168]) → B2167
2172. Segment(Element[L_1, 2168], Element[L_1, 2169]) → B2168
2173. Segment(Element[L_1, 2169], Element[L_1, 2170]) → B2169
2174. Segment(Element[L_1, 2170], Element[L_1, 2171]) → B2170
2175. Segment(Element[L_1, 2171], Element[L_1, 2172]) → B2171
2176. Segment(Element[L_1, 2172], Element[L_1, 2173]) → B2172
2177. Segment(Element[L_1, 2173], Element[L_1, 2174]) → B2173
2178. Segment(Element[L_1, 2174], Element[L_1, 2175]) → B2174
2179. Segment(Element[L_1, 2175], Element[L_1, 2176]) → B2175
2180. Segment(Element[L_1, 2176], Element[L_1, 2177]) → B2176
2181. Segment(Element[L_1, 2177], Element[L_1, 2178]) → B2177
2182. Segment(Element[L_1, 2178], Element[L_1, 2179]) → B2178
2183. Segment(Element[L_1, 2179], Element[L_1, 2180]) → B2179
2184. Segment(Element[L_1, 2180], Element[L_1, 2181]) → B2180
2185. Segment(Element[L_1, 2181], Element[L_1, 2182]) → B2181
2186. Segment(Element[L_1, 2182], Element[L_1, 2183]) → B2182
2187. Segment(Element[L_1, 2183], Element[L_1, 2184]) → B2183
2188. Segment(Element[L_1, 2184], Element[L_1, 2185]) → B2184
2189. Segment(Element[L_1, 2185], Element[L_1, 2186]) → B2185
2190. Segment(Element[L_1, 2186], Element[L_1, 2187]) → B2186
2191. Segment(Element[L_1, 2187], Element[L_1, 2188]) → B2187
2192. Segment(Element[L_1, 2188], Element[L_1, 2189]) → B2188
2193. Segment(Element[L_1, 2189], Element[L_1, 2190]) → B2189
2194. Segment(Element[L_1, 2190], Element[L_1, 2191]) → B2190
2195. Segment(Element[L_1, 2191], Element[L_1, 2192]) → B2191
2196. Segment(Element[L_1, 2192], Element[L_1, 2193]) → B2192
2197. Segment(Element[L_1, 2193], Element[L_1, 2194]) → B2193
2198. Segment(Element[L_1, 2194], Element[L_1, 2195]) → B2194
2199. Segment(Element[L_1, 2195], Element[L_1, 2196]) → B2195
2200. Segment(Element[L_1, 2196], Element[L_1, 2197]) → B2196
2201. Segment(Element[L_1, 2197], Element[L_1, 2198]) → B2197
2202. Segment(Element[L_1, 2198], Element[L_1, 2199]) → B2198
2203. Segment(Element[L_1, 2199], Element[L_1, 2200]) → B2199
2204. Segment(Element[L_1, 2200], Element[L_1, 2201]) → B2200
2205. Segment(Element[L_1, 2201], Element[L_1, 2202]) → B2201
2206. Segment(Element[L_1, 2202], Element[L_1, 2203]) → B2202
2207. Segment(Element[L_1, 2203], Element[L_1, 2204]) → B2203
2208. Segment(Element[L_1, 2204], Element[L_1, 2205]) → B2204
2209. Segment(Element[L_1, 2205], Element[L_1, 2206]) → B2205
2210. Segment(Element[L_1, 2206], Element[L_1, 2207]) → B2206
2211. Segment(Element[L_1, 2207], Element[L_1, 2208]) → B2207
2212. Segment(Element[L_1, 2208], Element[L_1, 2209]) → B2208
2213. Segment(Element[L_1, 2209], Element[L_1, 2210]) → B2209
2214. Segment(Element[L_1, 2210], Element[L_1, 2211]) → B2210
2215. Segment(Element[L_1, 2211], Element[L_1, 2212]) → B2211
2216. Segment(Element[L_1, 2212], Element[L_1, 2213]) → B2212
2217. Segment(Element[L_1, 2213], Element[L_1, 2214]) → B2213
2218. Segment(Element[L_1, 2214], Element[L_1, 2215]) → B2214
2219. Segment(Element[L_1, 2215], Element[L_1, 2216]) → B2215
2220. Segment(Element[L_1, 2216], Element[L_1, 2217]) → B2216
2221. Segment(Element[L_1, 2217], Element[L_1, 2218]) → B2217
2222. Segment(Element[L_1, 2218], Element[L_1, 2219]) → B2218
2223. Segment(Element[L_1, 2219], Element[L_1, 2220]) → B2219
2224. Segment(Element[L_1, 2220], Element[L_1, 2221]) → B2220
2225. Segment(Element[L_1, 2221], Element[L_1, 2222]) → B2221
2226. Segment(Element[L_1, 2222], Element[L_1, 2223]) → B2222
2227. Segment(Element[L_1, 2223], Element[L_1, 2224]) → B2223
2228. Segment(Element[L_1, 2224], Element[L_1, 2225]) → B2224
2229. Segment(Element[L_1, 2225], Element[L_1, 2226]) → B2225
2230. Segment(Element[L_1, 2226], Element[L_1, 2227]) → B2226
2231. Segment(Element[L_1, 2227], Element[L_1, 2228]) → B2227
2232. Segment(Element[L_1, 2228], Element[L_1, 2229]) → B2228
2233. Segment(Element[L_1, 2229], Element[L_1, 2230]) → B2229
2234. Segment(Element[L_1, 2230], Element[L_1, 2231]) → B2230
2235. Segment(Element[L_1, 2231], Element[L_1, 2232]) → B2231
2236. Segment(Element[L_1, 2232], Element[L_1, 2233]) → B2232
2237. Segment(Element[L_1, 2233], Element[L_1, 2234]) → B2233
2238. Segment(Element[L_1, 2234], Element[L_1, 2235]) → B2234
2239. Segment(Element[L_1, 2235], Element[L_1, 2236]) → B2235
2240. Segment(Element[L_1, 2236], Element[L_1, 2237]) → B2236
2241. Segment(Element[L_1, 2237], Element[L_1, 2238]) → B2237
2242. Segment(Element[L_1, 2238], Element[L_1, 2239]) → B2238
2243. Segment(Element[L_1, 2239], Element[L_1, 2240]) → B2239
2244. Segment(Element[L_1, 2240], Element[L_1, 2241]) → B2240
2245. Segment(Element[L_1, 2241], Element[L_1, 2242]) → B2241
2246. Segment(Element[L_1, 2242], Element[L_1, 2243]) → B2242
2247. Segment(Element[L_1, 2243], Element[L_1, 2244]) → B2243
2248. Segment(Element[L_1, 2244], Element[L_1, 2245]) → B2244
2249. Segment(Element[L_1, 2245], Element[L_1, 2246]) → B2245
2250. Segment(Element[L_1, 2246], Element[L_1, 2247]) → B2246
2251. Segment(Element[L_1, 2247], Element[L_1, 2248]) → B2247
2252. Segment(Element[L_1, 2248], Element[L_1, 2249]) → B2248
2253. Segment(Element[L_1, 2249], Element[L_1, 2250]) → B2249
2254. Segment(Element[L_1, 2250], Element[L_1, 2251]) → B2250
2255. Segment(Element[L_1, 2251], Element[L_1, 2252]) → B2251
2256. Segment(Element[L_1, 2252], Element[L_1, 2253]) → B2252
2257. Segment(Element[L_1, 2253], Element[L_1, 2254]) → B2253
2258. Segment(Element[L_1, 2254], Element[L_1, 2255]) → B2254
2259. Segment(Element[L_1, 2255], Element[L_1, 2256]) → B2255
2260. Segment(Element[L_1, 2256], Element[L_1, 2257]) → B2256
2261. Segment(Element[L_1, 2257], Element[L_1, 2258]) → B2257
2262. Segment(Element[L_1, 2258], Element[L_1, 2259]) → B2258
2263. Segment(Element[L_1, 2259], Element[L_1, 2260]) → B2259
2264. Segment(Element[L_1, 2260], Element[L_1, 2261]) → B2260
2265. Segment(Element[L_1, 2261], Element[L_1, 2262]) → B2261
2266. Segment(Element[L_1, 2262], Element[L_1, 2263]) → B2262
2267. Segment(Element[L_1, 2263], Element[L_1, 2264]) → B2263
2268. Segment(Element[L_1, 2264], Element[L_1, 2265]) → B2264
2269. Segment(Element[L_1, 2265], Element[L_1, 2266]) → B2265
2270. Segment(Element[L_1, 2266], Element[L_1, 2267]) → B2266
2271. Segment(Element[L_1, 2267], Element[L_1, 2268]) → B2267
2272. Segment(Element[L_1, 2268], Element[L_1, 2269]) → B2268
2273. Segment(Element[L_1, 2269], Element[L_1, 2270]) → B2269
2274. Segment(Element[L_1, 2270], Element[L_1, 2271]) → B2270
2275. Segment(Element[L_1, 2271], Element[L_1, 2272]) → B2271
2276. Segment(Element[L_1, 2272], Element[L_1, 2273]) → B2272
2277. Segment(Element[L_1, 2273], Element[L_1, 2274]) → B2273
2278. Segment(Element[L_1, 2274], Element[L_1, 2275]) → B2274
2279. Segment(Element[L_1, 2275], Element[L_1, 2276]) → B2275
2280. Segment(Element[L_1, 2276], Element[L_1, 2277]) → B2276
2281. Segment(Element[L_1, 2277], Element[L_1, 2278]) → B2277
2282. Segment(Element[L_1, 2278], Element[L_1, 2279]) → B2278
2283. Segment(Element[L_1, 2279], Element[L_1, 2280]) → B2279
2284. Segment(Element[L_1, 2280], Element[L_1, 2281]) → B2280
2285. Segment(Element[L_1, 2281], Element[L_1, 2282]) → B2281
2286. Segment(Element[L_1, 2282], Element[L_1, 2283]) → B2282
2287. Segment(Element[L_1, 2283], Element[L_1, 2284]) → B2283
2288. Segment(Element[L_1, 2284], Element[L_1, 2285]) → B2284
2289. Segment(Element[L_1, 2285], Element[L_1, 2286]) → B2285
2290. Segment(Element[L_1, 2286], Element[L_1, 2287]) → B2286
2291. Segment(Element[L_1, 2287], Element[L_1, 2288]) → B2287
2292. Segment(Element[L_1, 2288], Element[L_1, 2289]) → B2288
2293. Segment(Element[L_1, 2289], Element[L_1, 2290]) → B2289
2294. Segment(Element[L_1, 2290], Element[L_1, 2291]) → B2290
2295. Segment(Element[L_1, 2291], Element[L_1, 2292]) → B2291
2296. Segment(Element[L_1, 2292], Element[L_1, 2293]) → B2292
2297. Segment(Element[L_1, 2293], Element[L_1, 2294]) → B2293
2298. Segment(Element[L_1, 2294], Element[L_1, 2295]) → B2294
2299. Segment(Element[L_1, 2295], Element[L_1, 2296]) → B2295
2300. Segment(Element[L_1, 2296], Element[L_1, 2297]) → B2296
2301. Segment(Element[L_1, 2297], Element[L_1, 2298]) → B2297
2302. Segment(Element[L_1, 2298], Element[L_1, 2299]) → B2298
2303. Segment(Element[L_1, 2299], Element[L_1, 2300]) → B2299
2304. Segment(Element[L_1, 2300], Element[L_1, 2301]) → B2300
2305. Segment(Element[L_1, 2301], Element[L_1, 2302]) → B2301
2306. Segment(Element[L_1, 2302], Element[L_1, 2303]) → B2302
2307. Segment(Element[L_1, 2303], Element[L_1, 2304]) → B2303
2308. Segment(Element[L_1, 2304], Element[L_1, 2305]) → B2304
2309. Segment(Element[L_1, 2305], Element[L_1, 2306]) → B2305
2310. Segment(Element[L_1, 2306], Element[L_1, 2307]) → B2306
2311. Segment(Element[L_1, 2307], Element[L_1, 2308]) → B2307
2312. Segment(Element[L_1, 2308], Element[L_1, 2309]) → B2308
2313. Segment(Element[L_1, 2309], Element[L_1, 2310]) → B2309
2314. Segment(Element[L_1, 2310], Element[L_1, 2311]) → B2310
2315. Segment(Element[L_1, 2311], Element[L_1, 2312]) → B2311
2316. Segment(Element[L_1, 2312], Element[L_1, 2313]) → B2312
2317. Segment(Element[L_1, 2313], Element[L_1, 2314]) → B2313
2318. Segment(Element[L_1, 2314], Element[L_1, 2315]) → B2314
2319. Segment(Element[L_1, 2315], Element[L_1, 2316]) → B2315
2320. Segment(Element[L_1, 2316], Element[L_1, 2317]) → B2316
2321. Segment(Element[L_1, 2317], Element[L_1, 2318]) → B2317
2322. Segment(Element[L_1, 2318], Element[L_1, 2319]) → B2318
2323. Segment(Element[L_1, 2319], Element[L_1, 2320]) → B2319
2324. Segment(Element[L_1, 2320], Element[L_1, 2321]) → B2320
2325. Segment(Element[L_1, 2321], Element[L_1, 2322]) → B2321
2326. Segment(Element[L_1, 2322], Element[L_1, 2323]) → B2322
2327. Segment(Element[L_1, 2323], Element[L_1, 2324]) → B2323
2328. Segment(Element[L_1, 2324], Element[L_1, 2325]) → B2324
2329. Segment(Element[L_1, 2325], Element[L_1, 2326]) → B2325
2330. Segment(Element[L_1, 2326], Element[L_1, 2327]) → B2326
2331. Segment(Element[L_1, 2327], Element[L_1, 2328]) → B2327
2332. Segment(Element[L_1, 2328], Element[L_1, 2329]) → B2328
2333. Segment(Element[L_1, 2329], Element[L_1, 2330]) → B2329
2334. Segment(Element[L_1, 2330], Element[L_1, 2331]) → B2330
2335. Segment(Element[L_1, 2331], Element[L_1, 2332]) → B2331
2336. Segment(Element[L_1, 2332], Element[L_1, 2333]) → B2332
2337. Segment(Element[L_1, 2333], Element[L_1, 2334]) → B2333
2338. Segment(Element[L_1, 2334], Element[L_1, 2335]) → B2334
2339. Segment(Element[L_1, 2335], Element[L_1, 2336]) → B2335
2340. Segment(Element[L_1, 2336], Element[L_1, 2337]) → B2336
2341. Segment(Element[L_1, 2337], Element[L_1, 2338]) → B2337
2342. Segment(Element[L_1, 2338], Element[L_1, 2339]) → B2338
2343. Segment(Element[L_1, 2339], Element[L_1, 2340]) → B2339
2344. Segment(Element[L_1, 2340], Element[L_1, 2341]) → B2340
2345. Segment(Element[L_1, 2341], Element[L_1, 2342]) → B2341
2346. Segment(Element[L_1, 2342], Element[L_1, 2343]) → B2342
2347. Segment(Element[L_1, 2343], Element[L_1, 2344]) → B2343
2348. Segment(Element[L_1, 2344], Element[L_1, 2345]) → B2344
2349. Segment(Element[L_1, 2345], Element[L_1, 2346]) → B2345
2350. Segment(Element[L_1, 2346], Element[L_1, 2347]) → B2346
2351. Segment(Element[L_1, 2347], Element[L_1, 2348]) → B2347
2352. Segment(Element[L_1, 2348], Element[L_1, 2349]) → B2348
2353. Segment(Element[L_1, 2349], Element[L_1, 2350]) → B2349
2354. Segment(Element[L_1, 2350], Element[L_1, 2351]) → B2350
2355. Segment(Element[L_1, 2351], Element[L_1, 2352]) → B2351
2356. Segment(Element[L_1, 2352], Element[L_1, 2353]) → B2352
2357. Segment(Element[L_1, 2353], Element[L_1, 2354]) → B2353
2358. Segment(Element[L_1, 2354], Element[L_1, 2355]) → B2354
2359. Segment(Element[L_1, 2355], Element[L_1, 2356]) → B2355
2360. Segment(Element[L_1, 2356], Element[L_1, 2357]) → B2356
2361. Segment(Element[L_1, 2357], Element[L_1, 2358]) → B2357
2362. Segment(Element[L_1, 2358], Element[L_1, 2359]) → B2358
2363. Segment(Element[L_1, 2359], Element[L_1, 2360]) → B2359
2364. Segment(Element[L_1, 2360], Element[L_1, 2361]) → B2360
2365. Segment(Element[L_1, 2361], Element[L_1, 2362]) → B2361
2366. Segment(Element[L_1, 2362], Element[L_1, 2363]) → B2362
2367. Segment(Element[L_1, 2363], Element[L_1, 2364]) → B2363
2368. Segment(Element[L_1, 2364], Element[L_1, 2365]) → B2364
2369. Segment(Element[L_1, 2365], Element[L_1, 2366]) → B2365
2370. Segment(Element[L_1, 2366], Element[L_1, 2367]) → B2366
2371. Segment(Element[L_1, 2367], Element[L_1, 2368]) → B2367
2372. Segment(Element[L_1, 2368], Element[L_1, 2369]) → B2368
2373. Segment(Element[L_1, 2369], Element[L_1, 2370]) → B2369
2374. Segment(Element[L_1, 2370], Element[L_1, 2371]) → B2370
2375. Segment(Element[L_1, 2371], Element[L_1, 2372]) → B2371
2376. Segment(Element[L_1, 2372], Element[L_1, 2373]) → B2372
2377. Segment(Element[L_1, 2373], Element[L_1, 2374]) → B2373
2378. Segment(Element[L_1, 2374], Element[L_1, 2375]) → B2374
2379. Segment(Element[L_1, 2375], Element[L_1, 2376]) → B2375
2380. Segment(Element[L_1, 2376], Element[L_1, 2377]) → B2376
2381. Segment(Element[L_1, 2377], Element[L_1, 2378]) → B2377
2382. Segment(Element[L_1, 2378], Element[L_1, 2379]) → B2378
2383. Segment(Element[L_1, 2379], Element[L_1, 2380]) → B2379
2384. Segment(Element[L_1, 2380], Element[L_1, 2381]) → B2380
2385. Segment(Element[L_1, 2381], Element[L_1, 2382]) → B2381
2386. Segment(Element[L_1, 2382], Element[L_1, 2383]) → B2382
2387. Segment(Element[L_1, 2383], Element[L_1, 2384]) → B2383
2388. Segment(Element[L_1, 2384], Element[L_1, 2385]) → B2384
2389. Segment(Element[L_1, 2385], Element[L_1, 2386]) → B2385
2390. Segment(Element[L_1, 2386], Element[L_1, 2387]) → B2386
2391. Segment(Element[L_1, 2387], Element[L_1, 2388]) → B2387
2392. Segment(Element[L_1, 2388], Element[L_1, 2389]) → B2388
2393. Segment(Element[L_1, 2389], Element[L_1, 2390]) → B2389
2394. Segment(Element[L_1, 2390], Element[L_1, 2391]) → B2390
2395. Segment(Element[L_1, 2391], Element[L_1, 2392]) → B2391
2396. Segment(Element[L_1, 2392], Element[L_1, 2393]) → B2392
2397. Segment(Element[L_1, 2393], Element[L_1, 2394]) → B2393
2398. Segment(Element[L_1, 2394], Element[L_1, 2395]) → B2394
2399. Segment(Element[L_1, 2395], Element[L_1, 2396]) → B2395
2400. Segment(Element[L_1, 2396], Element[L_1, 2397]) → B2396
2401. Segment(Element[L_1, 2397], Element[L_1, 2398]) → B2397
2402. Segment(Element[L_1, 2398], Element[L_1, 2399]) → B2398
2403. Segment(Element[L_1, 2399], Element[L_1, 2400]) → B2399
2404. Segment(Element[L_1, 2400], Element[L_1, 2401]) → B2400
2405. Segment(Element[L_1, 2401], Element[L_1, 2402]) → B2401
2406. Segment(Element[L_1, 2402], Element[L_1, 2403]) → B2402
2407. Segment(Element[L_1, 2403], Element[L_1, 2404]) → B2403
2408. Segment(Element[L_1, 2404], Element[L_1, 2405]) → B2404
2409. Segment(Element[L_1, 2405], Element[L_1, 2406]) → B2405
2410. Segment(Element[L_1, 2406], Element[L_1, 2407]) → B2406
2411. Segment(Element[L_1, 2407], Element[L_1, 2408]) → B2407
2412. Segment(Element[L_1, 2408], Element[L_1, 2409]) → B2408
2413. Segment(Element[L_1, 2409], Element[L_1, 2410]) → B2409
2414. Segment(Element[L_1, 2410], Element[L_1, 2411]) → B2410
2415. Segment(Element[L_1, 2411], Element[L_1, 2412]) → B2411
2416. Segment(Element[L_1, 2412], Element[L_1, 2413]) → B2412
2417. Segment(Element[L_1, 2413], Element[L_1, 2414]) → B2413
2418. Segment(Element[L_1, 2414], Element[L_1, 2415]) → B2414
2419. Segment(Element[L_1, 2415], Element[L_1, 2416]) → B2415
2420. Segment(Element[L_1, 2416], Element[L_1, 2417]) → B2416
2421. Segment(Element[L_1, 2417], Element[L_1, 2418]) → B2417
2422. Segment(Element[L_1, 2418], Element[L_1, 2419]) → B2418
2423. Segment(Element[L_1, 2419], Element[L_1, 2420]) → B2419
2424. Segment(Element[L_1, 2420], Element[L_1, 2421]) → B2420
2425. Segment(Element[L_1, 2421], Element[L_1, 2422]) → B2421
2426. Segment(Element[L_1, 2422], Element[L_1, 2423]) → B2422
2427. Segment(Element[L_1, 2423], Element[L_1, 2424]) → B2423
2428. Segment(Element[L_1, 2424], Element[L_1, 2425]) → B2424
2429. Segment(Element[L_1, 2425], Element[L_1, 2426]) → B2425
2430. Segment(Element[L_1, 2426], Element[L_1, 2427]) → B2426
2431. Segment(Element[L_1, 2427], Element[L_1, 2428]) → B2427
2432. Segment(Element[L_1, 2428], Element[L_1, 2429]) → B2428
2433. Segment(Element[L_1, 2429], Element[L_1, 2430]) → B2429
2434. Segment(Element[L_1, 2430], Element[L_1, 2431]) → B2430
2435. Segment(Element[L_1, 2431], Element[L_1, 2432]) → B2431
2436. Segment(Element[L_1, 2432], Element[L_1, 2433]) → B2432
2437. Segment(Element[L_1, 2433], Element[L_1, 2434]) → B2433
2438. Segment(Element[L_1, 2434], Element[L_1, 2435]) → B2434
2439. Segment(Element[L_1, 2435], Element[L_1, 2436]) → B2435
2440. Segment(Element[L_1, 2436], Element[L_1, 2437]) → B2436
2441. Segment(Element[L_1, 2437], Element[L_1, 2438]) → B2437
2442. Segment(Element[L_1, 2438], Element[L_1, 2439]) → B2438
2443. Segment(Element[L_1, 2439], Element[L_1, 2440]) → B2439
2444. Segment(Element[L_1, 2440], Element[L_1, 2441]) → B2440
2445. Segment(Element[L_1, 2441], Element[L_1, 2442]) → B2441
2446. Segment(Element[L_1, 2442], Element[L_1, 2443]) → B2442
2447. Segment(Element[L_1, 2443], Element[L_1, 2444]) → B2443
2448. Segment(Element[L_1, 2444], Element[L_1, 2445]) → B2444
2449. Segment(Element[L_1, 2445], Element[L_1, 2446]) → B2445
2450. Segment(Element[L_1, 2446], Element[L_1, 2447]) → B2446
2451. Segment(Element[L_1, 2447], Element[L_1, 2448]) → B2447
2452. Segment(Element[L_1, 2448], Element[L_1, 2449]) → B2448
2453. Segment(Element[L_1, 2449], Element[L_1, 2450]) → B2449
2454. Segment(Element[L_1, 2450], Element[L_1, 2451]) → B2450
2455. Segment(Element[L_1, 2451], Element[L_1, 2452]) → B2451
2456. Segment(Element[L_1, 2452], Element[L_1, 2453]) → B2452
2457. Segment(Element[L_1, 2453], Element[L_1, 2454]) → B2453
2458. Segment(Element[L_1, 2454], Element[L_1, 2455]) → B2454
2459. Segment(Element[L_1, 2455], Element[L_1, 2456]) → B2455
2460. Segment(Element[L_1, 2456], Element[L_1, 2457]) → B2456
2461. Segment(Element[L_1, 2457], Element[L_1, 2458]) → B2457
2462. Segment(Element[L_1, 2458], Element[L_1, 2459]) → B2458
2463. Segment(Element[L_1, 2459], Element[L_1, 2460]) → B2459
2464. Segment(Element[L_1, 2460], Element[L_1, 2461]) → B2460
2465. Segment(Element[L_1, 2461], Element[L_1, 2462]) → B2461
2466. Segment(Element[L_1, 2462], Element[L_1, 2463]) → B2462
2467. Segment(Element[L_1, 2463], Element[L_1, 2464]) → B2463
2468. Segment(Element[L_1, 2464], Element[L_1, 2465]) → B2464
2469. Segment(Element[L_1, 2465], Element[L_1, 2466]) → B2465
2470. Segment(Element[L_1, 2466], Element[L_1, 2467]) → B2466
2471. Segment(Element[L_1, 2467], Element[L_1, 2468]) → B2467
2472. Segment(Element[L_1, 2468], Element[L_1, 2469]) → B2468
2473. Segment(Element[L_1, 2469], Element[L_1, 2470]) → B2469
2474. Segment(Element[L_1, 2470], Element[L_1, 2471]) → B2470
2475. Segment(Element[L_1, 2471], Element[L_1, 2472]) → B2471
2476. Segment(Element[L_1, 2472], Element[L_1, 2473]) → B2472
2477. Segment(Element[L_1, 2473], Element[L_1, 2474]) → B2473
2478. Segment(Element[L_1, 2474], Element[L_1, 2475]) → B2474
2479. Segment(Element[L_1, 2475], Element[L_1, 2476]) → B2475
2480. Segment(Element[L_1, 2476], Element[L_1, 2477]) → B2476
2481. Segment(Element[L_1, 2477], Element[L_1, 2478]) → B2477
2482. Segment(Element[L_1, 2478], Element[L_1, 2479]) → B2478
2483. Segment(Element[L_1, 2479], Element[L_1, 2480]) → B2479
2484. Segment(Element[L_1, 2480], Element[L_1, 2481]) → B2480
2485. Segment(Element[L_1, 2481], Element[L_1, 2482]) → B2481
2486. Segment(Element[L_1, 2482], Element[L_1, 2483]) → B2482
2487. Segment(Element[L_1, 2483], Element[L_1, 2484]) → B2483
2488. Segment(Element[L_1, 2484], Element[L_1, 2485]) → B2484
2489. Segment(Element[L_1, 2485], Element[L_1, 2486]) → B2485
2490. Segment(Element[L_1, 2486], Element[L_1, 2487]) → B2486
2491. Segment(Element[L_1, 2487], Element[L_1, 2488]) → B2487
2492. Segment(Element[L_1, 2488], Element[L_1, 2489]) → B2488
2493. Segment(Element[L_1, 2489], Element[L_1, 2490]) → B2489
2494. Segment(Element[L_1, 2490], Element[L_1, 2491]) → B2490
2495. Segment(Element[L_1, 2491], Element[L_1, 2492]) → B2491
2496. Segment(Element[L_1, 2492], Element[L_1, 2493]) → B2492
2497. Segment(Element[L_1, 2493], Element[L_1, 2494]) → B2493
2498. Segment(Element[L_1, 2494], Element[L_1, 2495]) → B2494
2499. Segment(Element[L_1, 2495], Element[L_1, 2496]) → B2495
2500. Segment(Element[L_1, 2496], Element[L_1, 2497]) → B2496
2501. Segment(Element[L_1, 2497], Element[L_1, 2498]) → B2497
2502. Segment(Element[L_1, 2498], Element[L_1, 2499]) → B2498
2503. Segment(Element[L_1, 2499], Element[L_1, 2500]) → B2499
2504. Segment(Element[L_1, 2500], Element[L_1, 2501]) → B2500
2505. Segment(Element[L_1, 2501], Element[L_1, 2502]) → B2501
2506. Segment(Element[L_1, 2502], Element[L_1, 2503]) → B2502
2507. Segment(Element[L_1, 2503], Element[L_1, 2504]) → B2503
2508. Segment(Element[L_1, 2504], Element[L_1, 2505]) → B2504
2509. Segment(Element[L_1, 2505], Element[L_1, 2506]) → B2505
2510. Segment(Element[L_1, 2506], Element[L_1, 2507]) → B2506
2511. Segment(Element[L_1, 2507], Element[L_1, 2508]) → B2507
2512. Segment(Element[L_1, 2508], Element[L_1, 2509]) → B2508
2513. Segment(Element[L_1, 2509], Element[L_1, 2510]) → B2509
2514. Segment(Element[L_1, 2510], Element[L_1, 2511]) → B2510
2515. Segment(Element[L_1, 2511], Element[L_1, 2512]) → B2511
2516. Segment(Element[L_1, 2512], Element[L_1, 2513]) → B2512
2517. Segment(Element[L_1, 2513], Element[L_1, 2514]) → B2513
2518. Segment(Element[L_1, 2514], Element[L_1, 2515]) → B2514
2519. Segment(Element[L_1, 2515], Element[L_1, 2516]) → B2515
2520. Segment(Element[L_1, 2516], Element[L_1, 2517]) → B2516
2521. Segment(Element[L_1, 2517], Element[L_1, 2518]) → B2517
2522. Segment(Element[L_1, 2518], Element[L_1, 2519]) → B2518
2523. Segment(Element[L_1, 2519], Element[L_1, 2520]) → B2519
2524. Segment(Element[L_1, 2520], Element[L_1, 2521]) → B2520
2525. Segment(Element[L_1, 2521], Element[L_1, 2522]) → B2521
2526. Segment(Element[L_1, 2522], Element[L_1, 2523]) → B2522
2527. Segment(Element[L_1, 2523], Element[L_1, 2524]) → B2523
2528. Segment(Element[L_1, 2524], Element[L_1, 2525]) → B2524
2529. Segment(Element[L_1, 2525], Element[L_1, 2526]) → B2525
2530. Segment(Element[L_1, 2526], Element[L_1, 2527]) → B2526
2531. Segment(Element[L_1, 2527], Element[L_1, 2528]) → B2527
2532. Segment(Element[L_1, 2528], Element[L_1, 2529]) → B2528
2533. Segment(Element[L_1, 2529], Element[L_1, 2530]) → B2529
2534. Segment(Element[L_1, 2530], Element[L_1, 2531]) → B2530
2535. Segment(Element[L_1, 2531], Element[L_1, 2532]) → B2531
2536. Segment(Element[L_1, 2532], Element[L_1, 2533]) → B2532
2537. Segment(Element[L_1, 2533], Element[L_1, 2534]) → B2533
2538. Segment(Element[L_1, 2534], Element[L_1, 2535]) → B2534
2539. Segment(Element[L_1, 2535], Element[L_1, 2536]) → B2535
2540. Segment(Element[L_1, 2536], Element[L_1, 2537]) → B2536
2541. Segment(Element[L_1, 2537], Element[L_1, 2538]) → B2537
2542. Segment(Element[L_1, 2538], Element[L_1, 2539]) → B2538
2543. Segment(Element[L_1, 2539], Element[L_1, 2540]) → B2539
2544. Segment(Element[L_1, 2540], Element[L_1, 2541]) → B2540
2545. Segment(Element[L_1, 2541], Element[L_1, 2542]) → B2541
2546. Segment(Element[L_1, 2542], Element[L_1, 2543]) → B2542
2547. Segment(Element[L_1, 2543], Element[L_1, 2544]) → B2543
2548. Segment(Element[L_1, 2544], Element[L_1, 2545]) → B2544
2549. Segment(Element[L_1, 2545], Element[L_1, 2546]) → B2545
2550. Segment(Element[L_1, 2546], Element[L_1, 2547]) → B2546
2551. Segment(Element[L_1, 2547], Element[L_1, 2548]) → B2547
2552. Segment(Element[L_1, 2548], Element[L_1, 2549]) → B2548
2553. Segment(Element[L_1, 2549], Element[L_1, 2550]) → B2549
2554. Segment(Element[L_1, 2550], Element[L_1, 2551]) → B2550
2555. Segment(Element[L_1, 2551], Element[L_1, 2552]) → B2551
2556. Segment(Element[L_1, 2552], Element[L_1, 2553]) → B2552
2557. Segment(Element[L_1, 2553], Element[L_1, 2554]) → B2553
2558. Segment(Element[L_1, 2554], Element[L_1, 2555]) → B2554
2559. Segment(Element[L_1, 2555], Element[L_1, 2556]) → B2555
2560. Segment(Element[L_1, 2556], Element[L_1, 2557]) → B2556
2561. Segment(Element[L_1, 2557], Element[L_1, 2558]) → B2557
2562. Segment(Element[L_1, 2558], Element[L_1, 2559]) → B2558
2563. Segment(Element[L_1, 2559], Element[L_1, 2560]) → B2559
2564. Segment(Element[L_1, 2560], Element[L_1, 2561]) → B2560
2565. Segment(Element[L_1, 2561], Element[L_1, 2562]) → B2561
2566. Segment(Element[L_1, 2562], Element[L_1, 2563]) → B2562
2567. Segment(Element[L_1, 2563], Element[L_1, 2564]) → B2563
2568. Segment(Element[L_1, 2564], Element[L_1, 2565]) → B2564
2569. Segment(Element[L_1, 2565], Element[L_1, 2566]) → B2565
2570. Segment(Element[L_1, 2566], Element[L_1, 2567]) → B2566
2571. Segment(Element[L_1, 2567], Element[L_1, 2568]) → B2567
2572. Segment(Element[L_1, 2568], Element[L_1, 2569]) → B2568
2573. Segment(Element[L_1, 2569], Element[L_1, 2570]) → B2569
2574. Segment(Element[L_1, 2570], Element[L_1, 2571]) → B2570
2575. Segment(Element[L_1, 2571], Element[L_1, 2572]) → B2571
2576. Segment(Element[L_1, 2572], Element[L_1, 2573]) → B2572
2577. Segment(Element[L_1, 2573], Element[L_1, 2574]) → B2573
2578. Segment(Element[L_1, 2574], Element[L_1, 2575]) → B2574
2579. Segment(Element[L_1, 2575], Element[L_1, 2576]) → B2575
2580. Segment(Element[L_1, 2576], Element[L_1, 2577]) → B2576
2581. Segment(Element[L_1, 2577], Element[L_1, 2578]) → B2577
2582. Segment(Element[L_1, 2578], Element[L_1, 2579]) → B2578
2583. Segment(Element[L_1, 2579], Element[L_1, 2580]) → B2579
2584. Segment(Element[L_1, 2580], Element[L_1, 2581]) → B2580
2585. Segment(Element[L_1, 2581], Element[L_1, 2582]) → B2581
2586. Segment(Element[L_1, 2582], Element[L_1, 2583]) → B2582
2587. Segment(Element[L_1, 2583], Element[L_1, 2584]) → B2583
2588. Segment(Element[L_1, 2584], Element[L_1, 2585]) → B2584
2589. Segment(Element[L_1, 2585], Element[L_1, 2586]) → B2585
2590. Segment(Element[L_1, 2586], Element[L_1, 2587]) → B2586
2591. Segment(Element[L_1, 2587], Element[L_1, 2588]) → B2587
2592. Segment(Element[L_1, 2588], Element[L_1, 2589]) → B2588
2593. Segment(Element[L_1, 2589], Element[L_1, 2590]) → B2589
2594. Segment(Element[L_1, 2590], Element[L_1, 2591]) → B2590
2595. Segment(Element[L_1, 2591], Element[L_1, 2592]) → B2591
2596. Segment(Element[L_1, 2592], Element[L_1, 2593]) → B2592
2597. Segment(Element[L_1, 2593], Element[L_1, 2594]) → B2593
2598. Segment(Element[L_1, 2594], Element[L_1, 2595]) → B2594
2599. Segment(Element[L_1, 2595], Element[L_1, 2596]) → B2595
2600. Segment(Element[L_1, 2596], Element[L_1, 2597]) → B2596
2601. Segment(Element[L_1, 2597], Element[L_1, 2598]) → B2597
2602. Segment(Element[L_1, 2598], Element[L_1, 2599]) → B2598
2603. Segment(Element[L_1, 2599], Element[L_1, 2600]) → B2599
2604. Segment(Element[L_1, 2600], Element[L_1, 2601]) → B2600
2605. Segment(Element[L_1, 2601], Element[L_1, 2602]) → B2601
2606. Segment(Element[L_1, 2602], Element[L_1, 2603]) → B2602
2607. Segment(Element[L_1, 2603], Element[L_1, 2604]) → B2603
2608. Segment(Element[L_1, 2604], Element[L_1, 2605]) → B2604
2609. Segment(Element[L_1, 2605], Element[L_1, 2606]) → B2605
2610. Segment(Element[L_1, 2606], Element[L_1, 2607]) → B2606
2611. Segment(Element[L_1, 2607], Element[L_1, 2608]) → B2607
2612. Segment(Element[L_1, 2608], Element[L_1, 2609]) → B2608
2613. Segment(Element[L_1, 2609], Element[L_1, 2610]) → B2609
2614. Segment(Element[L_1, 2610], Element[L_1, 2611]) → B2610
2615. Segment(Element[L_1, 2611], Element[L_1, 2612]) → B2611
2616. Segment(Element[L_1, 2612], Element[L_1, 2613]) → B2612
2617. Segment(Element[L_1, 2613], Element[L_1, 2614]) → B2613
2618. Segment(Element[L_1, 2614], Element[L_1, 2615]) → B2614
2619. Segment(Element[L_1, 2615], Element[L_1, 2616]) → B2615
2620. Segment(Element[L_1, 2616], Element[L_1, 2617]) → B2616
2621. Segment(Element[L_1, 2617], Element[L_1, 2618]) → B2617
2622. Segment(Element[L_1, 2618], Element[L_1, 2619]) → B2618
2623. Segment(Element[L_1, 2619], Element[L_1, 2620]) → B2619
2624. Segment(Element[L_1, 2620], Element[L_1, 2621]) → B2620
2625. Segment(Element[L_1, 2621], Element[L_1, 2622]) → B2621
2626. Segment(Element[L_1, 2622], Element[L_1, 2623]) → B2622
2627. Segment(Element[L_1, 2623], Element[L_1, 2624]) → B2623
2628. Segment(Element[L_1, 2624], Element[L_1, 2625]) → B2624
2629. Segment(Element[L_1, 2625], Element[L_1, 2626]) → B2625
2630. Segment(Element[L_1, 2626], Element[L_1, 2627]) → B2626
2631. Segment(Element[L_1, 2627], Element[L_1, 2628]) → B2627
2632. Segment(Element[L_1, 2628], Element[L_1, 2629]) → B2628
2633. Segment(Element[L_1, 2629], Element[L_1, 2630]) → B2629
2634. Segment(Element[L_1, 2630], Element[L_1, 2631]) → B2630
2635. Segment(Element[L_1, 2631], Element[L_1, 2632]) → B2631
2636. Segment(Element[L_1, 2632], Element[L_1, 2633]) → B2632
2637. Segment(Element[L_1, 2633], Element[L_1, 2634]) → B2633
2638. Segment(Element[L_1, 2634], Element[L_1, 2635]) → B2634
2639. Segment(Element[L_1, 2635], Element[L_1, 2636]) → B2635
2640. Segment(Element[L_1, 2636], Element[L_1, 2637]) → B2636
2641. Segment(Element[L_1, 2637], Element[L_1, 2638]) → B2637
2642. Segment(Element[L_1, 2638], Element[L_1, 2639]) → B2638
2643. Segment(Element[L_1, 2639], Element[L_1, 2640]) → B2639
2644. Segment(Element[L_1, 2640], Element[L_1, 2641]) → B2640
2645. Segment(Element[L_1, 2641], Element[L_1, 2642]) → B2641
2646. Segment(Element[L_1, 2642], Element[L_1, 2643]) → B2642
2647. Segment(Element[L_1, 2643], Element[L_1, 2644]) → B2643
2648. Segment(Element[L_1, 2644], Element[L_1, 2645]) → B2644
2649. Segment(Element[L_1, 2645], Element[L_1, 2646]) → B2645
2650. Segment(Element[L_1, 2646], Element[L_1, 2647]) → B2646
2651. Segment(Element[L_1, 2647], Element[L_1, 2648]) → B2647
2652. Segment(Element[L_1, 2648], Element[L_1, 2649]) → B2648
2653. Segment(Element[L_1, 2649], Element[L_1, 2650]) → B2649
2654. Segment(Element[L_1, 2650], Element[L_1, 2651]) → B2650
2655. Segment(Element[L_1, 2651], Element[L_1, 2652]) → B2651
2656. Segment(Element[L_1, 2652], Element[L_1, 2653]) → B2652
2657. Segment(Element[L_1, 2653], Element[L_1, 2654]) → B2653
2658. Segment(Element[L_1, 2654], Element[L_1, 2655]) → B2654
2659. Segment(Element[L_1, 2655], Element[L_1, 2656]) → B2655
2660. Segment(Element[L_1, 2656], Element[L_1, 2657]) → B2656
2661. Segment(Element[L_1, 2657], Element[L_1, 2658]) → B2657
2662. Segment(Element[L_1, 2658], Element[L_1, 2659]) → B2658
2663. Segment(Element[L_1, 2659], Element[L_1, 2660]) → B2659
2664. Segment(Element[L_1, 2660], Element[L_1, 2661]) → B2660
2665. Segment(Element[L_1, 2661], Element[L_1, 2662]) → B2661
2666. Segment(Element[L_1, 2662], Element[L_1, 2663]) → B2662
2667. Segment(Element[L_1, 2663], Element[L_1, 2664]) → B2663
2668. Segment(Element[L_1, 2664], Element[L_1, 2665]) → B2664
2669. Segment(Element[L_1, 2665], Element[L_1, 2666]) → B2665
2670. Segment(Element[L_1, 2666], Element[L_1, 2667]) → B2666
2671. Segment(Element[L_1, 2667], Element[L_1, 2668]) → B2667
2672. Segment(Element[L_1, 2668], Element[L_1, 2669]) → B2668
2673. Segment(Element[L_1, 2669], Element[L_1, 2670]) → B2669
2674. Segment(Element[L_1, 2670], Element[L_1, 2671]) → B2670
2675. Segment(Element[L_1, 2671], Element[L_1, 2672]) → B2671
2676. Segment(Element[L_1, 2672], Element[L_1, 2673]) → B2672
2677. Segment(Element[L_1, 2673], Element[L_1, 2674]) → B2673
2678. Segment(Element[L_1, 2674], Element[L_1, 2675]) → B2674
2679. Segment(Element[L_1, 2675], Element[L_1, 2676]) → B2675
2680. Segment(Element[L_1, 2676], Element[L_1, 2677]) → B2676
2681. Segment(Element[L_1, 2677], Element[L_1, 2678]) → B2677
2682. Segment(Element[L_1, 2678], Element[L_1, 2679]) → B2678
2683. Segment(Element[L_1, 2679], Element[L_1, 2680]) → B2679
2684. Segment(Element[L_1, 2680], Element[L_1, 2681]) → B2680
2685. Segment(Element[L_1, 2681], Element[L_1, 2682]) → B2681
2686. Segment(Element[L_1, 2682], Element[L_1, 2683]) → B2682
2687. Segment(Element[L_1, 2683], Element[L_1, 2684]) → B2683
2688. Segment(Element[L_1, 2684], Element[L_1, 2685]) → B2684
2689. Segment(Element[L_1, 2685], Element[L_1, 2686]) → B2685
2690. Segment(Element[L_1, 2686], Element[L_1, 2687]) → B2686
2691. Segment(Element[L_1, 2687], Element[L_1, 2688]) → B2687
2692. Segment(Element[L_1, 2688], Element[L_1, 2689]) → B2688
2693. Segment(Element[L_1, 2689], Element[L_1, 2690]) → B2689
2694. Segment(Element[L_1, 2690], Element[L_1, 2691]) → B2690
2695. Segment(Element[L_1, 2691], Element[L_1, 2692]) → B2691
2696. Segment(Element[L_1, 2692], Element[L_1, 2693]) → B2692
2697. Segment(Element[L_1, 2693], Element[L_1, 2694]) → B2693
2698. Segment(Element[L_1, 2694], Element[L_1, 2695]) → B2694
2699. Segment(Element[L_1, 2695], Element[L_1, 2696]) → B2695
2700. Segment(Element[L_1, 2696], Element[L_1, 2697]) → B2696
2701. Segment(Element[L_1, 2697], Element[L_1, 2698]) → B2697
2702. Segment(Element[L_1, 2698], Element[L_1, 2699]) → B2698
2703. Segment(Element[L_1, 2699], Element[L_1, 2700]) → B2699
2704. Segment(Element[L_1, 2700], Element[L_1, 2701]) → B2700
2705. Segment(Element[L_1, 2701], Element[L_1, 2702]) → B2701
2706. Segment(Element[L_1, 2702], Element[L_1, 2703]) → B2702
2707. Segment(Element[L_1, 2703], Element[L_1, 2704]) → B2703
2708. Segment(Element[L_1, 2704], Element[L_1, 2705]) → B2704
2709. Segment(Element[L_1, 2705], Element[L_1, 2706]) → B2705
2710. Segment(Element[L_1, 2706], Element[L_1, 2707]) → B2706
2711. Segment(Element[L_1, 2707], Element[L_1, 2708]) → B2707
2712. Segment(Element[L_1, 2708], Element[L_1, 2709]) → B2708
2713. Segment(Element[L_1, 2709], Element[L_1, 2710]) → B2709
2714. Segment(Element[L_1, 2710], Element[L_1, 2711]) → B2710
2715. Segment(Element[L_1, 2711], Element[L_1, 2712]) → B2711
2716. Segment(Element[L_1, 2712], Element[L_1, 2713]) → B2712
2717. Segment(Element[L_1, 2713], Element[L_1, 2714]) → B2713
2718. Segment(Element[L_1, 2714], Element[L_1, 2715]) → B2714
2719. Segment(Element[L_1, 2715], Element[L_1, 2716]) → B2715
2720. Segment(Element[L_1, 2716], Element[L_1, 2717]) → B2716
2721. Segment(Element[L_1, 2717], Element[L_1, 2718]) → B2717
2722. Segment(Element[L_1, 2718], Element[L_1, 2719]) → B2718
2723. Segment(Element[L_1, 2719], Element[L_1, 2720]) → B2719
2724. Segment(Element[L_1, 2720], Element[L_1, 2721]) → B2720
2725. Segment(Element[L_1, 2721], Element[L_1, 2722]) → B2721
2726. Segment(Element[L_1, 2722], Element[L_1, 2723]) → B2722
2727. Segment(Element[L_1, 2723], Element[L_1, 2724]) → B2723
2728. Segment(Element[L_1, 2724], Element[L_1, 2725]) → B2724
2729. Segment(Element[L_1, 2725], Element[L_1, 2726]) → B2725
2730. Segment(Element[L_1, 2726], Element[L_1, 2727]) → B2726
2731. Segment(Element[L_1, 2727], Element[L_1, 2728]) → B2727
2732. Segment(Element[L_1, 2728], Element[L_1, 2729]) → B2728
2733. Segment(Element[L_1, 2729], Element[L_1, 2730]) → B2729
2734. Segment(Element[L_1, 2730], Element[L_1, 2731]) → B2730
2735. Segment(Element[L_1, 2731], Element[L_1, 2732]) → B2731
2736. Segment(Element[L_1, 2732], Element[L_1, 2733]) → B2732
2737. Segment(Element[L_1, 2733], Element[L_1, 2734]) → B2733
2738. Segment(Element[L_1, 2734], Element[L_1, 2735]) → B2734
2739. Segment(Element[L_1, 2735], Element[L_1, 2736]) → B2735
2740. Segment(Element[L_1, 2736], Element[L_1, 2737]) → B2736
2741. Segment(Element[L_1, 2737], Element[L_1, 2738]) → B2737
2742. Segment(Element[L_1, 2738], Element[L_1, 2739]) → B2738
2743. Segment(Element[L_1, 2739], Element[L_1, 2740]) → B2739
2744. Segment(Element[L_1, 2740], Element[L_1, 2741]) → B2740
2745. Segment(Element[L_1, 2741], Element[L_1, 2742]) → B2741
2746. Segment(Element[L_1, 2742], Element[L_1, 2743]) → B2742
2747. Segment(Element[L_1, 2743], Element[L_1, 2744]) → B2743
2748. Segment(Element[L_1, 2744], Element[L_1, 2745]) → B2744
2749. Segment(Element[L_1, 2745], Element[L_1, 2746]) → B2745
2750. Segment(Element[L_1, 2746], Element[L_1, 2747]) → B2746
2751. Segment(Element[L_1, 2747], Element[L_1, 2748]) → B2747
2752. Segment(Element[L_1, 2748], Element[L_1, 2749]) → B2748
2753. Segment(Element[L_1, 2749], Element[L_1, 2750]) → B2749
2754. Segment(Element[L_1, 2750], Element[L_1, 2751]) → B2750
2755. Segment(Element[L_1, 2751], Element[L_1, 2752]) → B2751
2756. Segment(Element[L_1, 2752], Element[L_1, 2753]) → B2752
2757. Segment(Element[L_1, 2753], Element[L_1, 2754]) → B2753
2758. Segment(Element[L_1, 2754], Element[L_1, 2755]) → B2754
2759. Segment(Element[L_1, 2755], Element[L_1, 2756]) → B2755
2760. Segment(Element[L_1, 2756], Element[L_1, 2757]) → B2756
2761. Segment(Element[L_1, 2757], Element[L_1, 2758]) → B2757
2762. Segment(Element[L_1, 2758], Element[L_1, 2759]) → B2758
2763. Segment(Element[L_1, 2759], Element[L_1, 2760]) → B2759
2764. Segment(Element[L_1, 2760], Element[L_1, 2761]) → B2760
2765. Segment(Element[L_1, 2761], Element[L_1, 2762]) → B2761
2766. Segment(Element[L_1, 2762], Element[L_1, 2763]) → B2762
2767. Segment(Element[L_1, 2763], Element[L_1, 2764]) → B2763
2768. Segment(Element[L_1, 2764], Element[L_1, 2765]) → B2764
2769. Segment(Element[L_1, 2765], Element[L_1, 2766]) → B2765
2770. Segment(Element[L_1, 2766], Element[L_1, 2767]) → B2766
2771. Segment(Element[L_1, 2767], Element[L_1, 2768]) → B2767
2772. Segment(Element[L_1, 2768], Element[L_1, 2769]) → B2768
2773. Segment(Element[L_1, 2769], Element[L_1, 2770]) → B2769
2774. Segment(Element[L_1, 2770], Element[L_1, 2771]) → B2770
2775. Segment(Element[L_1, 2771], Element[L_1, 2772]) → B2771
2776. Segment(Element[L_1, 2772], Element[L_1, 2773]) → B2772
2777. Segment(Element[L_1, 2773], Element[L_1, 2774]) → B2773
2778. Segment(Element[L_1, 2774], Element[L_1, 2775]) → B2774
2779. Segment(Element[L_1, 2775], Element[L_1, 2776]) → B2775
2780. Segment(Element[L_1, 2776], Element[L_1, 2777]) → B2776
2781. Segment(Element[L_1, 2777], Element[L_1, 2778]) → B2777
2782. Segment(Element[L_1, 2778], Element[L_1, 2779]) → B2778
2783. Segment(Element[L_1, 2779], Element[L_1, 2780]) → B2779
2784. Segment(Element[L_1, 2780], Element[L_1, 2781]) → B2780
2785. Segment(Element[L_1, 2781], Element[L_1, 2782]) → B2781
2786. Segment(Element[L_1, 2782], Element[L_1, 2783]) → B2782
2787. Segment(Element[L_1, 2783], Element[L_1, 2784]) → B2783
2788. Segment(Element[L_1, 2784], Element[L_1, 2785]) → B2784
2789. Segment(Element[L_1, 2785], Element[L_1, 2786]) → B2785
2790. Segment(Element[L_1, 2786], Element[L_1, 2787]) → B2786
2791. Segment(Element[L_1, 2787], Element[L_1, 2788]) → B2787
2792. Segment(Element[L_1, 2788], Element[L_1, 2789]) → B2788
2793. Segment(Element[L_1, 2789], Element[L_1, 2790]) → B2789
2794. Segment(Element[L_1, 2790], Element[L_1, 2791]) → B2790
2795. Segment(Element[L_1, 2791], Element[L_1, 2792]) → B2791
2796. Segment(Element[L_1, 2792], Element[L_1, 2793]) → B2792
2797. Segment(Element[L_1, 2793], Element[L_1, 2794]) → B2793
2798. Segment(Element[L_1, 2794], Element[L_1, 2795]) → B2794
2799. Segment(Element[L_1, 2795], Element[L_1, 2796]) → B2795
2800. Segment(Element[L_1, 2796], Element[L_1, 2797]) → B2796
2801. Segment(Element[L_1, 2797], Element[L_1, 2798]) → B2797
2802. Segment(Element[L_1, 2798], Element[L_1, 2799]) → B2798
2803. Segment(Element[L_1, 2799], Element[L_1, 2800]) → B2799
2804. Segment(Element[L_1, 2800], Element[L_1, 2801]) → B2800
2805. Segment(Element[L_1, 2801], Element[L_1, 2802]) → B2801
2806. Segment(Element[L_1, 2802], Element[L_1, 2803]) → B2802
2807. Segment(Element[L_1, 2803], Element[L_1, 2804]) → B2803
2808. Segment(Element[L_1, 2804], Element[L_1, 2805]) → B2804
2809. Segment(Element[L_1, 2805], Element[L_1, 2806]) → B2805
2810. Segment(Element[L_1, 2806], Element[L_1, 2807]) → B2806
2811. Segment(Element[L_1, 2807], Element[L_1, 2808]) → B2807
2812. Segment(Element[L_1, 2808], Element[L_1, 2809]) → B2808
2813. Segment(Element[L_1, 2809], Element[L_1, 2810]) → B2809
2814. Segment(Element[L_1, 2810], Element[L_1, 2811]) → B2810
2815. Segment(Element[L_1, 2811], Element[L_1, 2812]) → B2811
2816. Segment(Element[L_1, 2812], Element[L_1, 2813]) → B2812
2817. Segment(Element[L_1, 2813], Element[L_1, 2814]) → B2813
2818. Segment(Element[L_1, 2814], Element[L_1, 2815]) → B2814
2819. Segment(Element[L_1, 2815], Element[L_1, 2816]) → B2815
2820. Segment(Element[L_1, 2816], Element[L_1, 2817]) → B2816
2821. Segment(Element[L_1, 2817], Element[L_1, 2818]) → B2817
2822. Segment(Element[L_1, 2818], Element[L_1, 2819]) → B2818
2823. Segment(Element[L_1, 2819], Element[L_1, 2820]) → B2819
2824. Segment(Element[L_1, 2820], Element[L_1, 2821]) → B2820
2825. Segment(Element[L_1, 2821], Element[L_1, 2822]) → B2821
2826. Segment(Element[L_1, 2822], Element[L_1, 2823]) → B2822
2827. Segment(Element[L_1, 2823], Element[L_1, 2824]) → B2823
2828. Segment(Element[L_1, 2824], Element[L_1, 2825]) → B2824
2829. Segment(Element[L_1, 2825], Element[L_1, 2826]) → B2825
2830. Segment(Element[L_1, 2826], Element[L_1, 2827]) → B2826
2831. Segment(Element[L_1, 2827], Element[L_1, 2828]) → B2827
2832. Segment(Element[L_1, 2828], Element[L_1, 2829]) → B2828
2833. Segment(Element[L_1, 2829], Element[L_1, 2830]) → B2829
2834. Segment(Element[L_1, 2830], Element[L_1, 2831]) → B2830
2835. Segment(Element[L_1, 2831], Element[L_1, 2832]) → B2831
2836. Segment(Element[L_1, 2832], Element[L_1, 2833]) → B2832
2837. Segment(Element[L_1, 2833], Element[L_1, 2834]) → B2833
2838. Segment(Element[L_1, 2834], Element[L_1, 2835]) → B2834
2839. Segment(Element[L_1, 2835], Element[L_1, 2836]) → B2835
2840. Segment(Element[L_1, 2836], Element[L_1, 2837]) → B2836
2841. Segment(Element[L_1, 2837], Element[L_1, 2838]) → B2837
2842. Segment(Element[L_1, 2838], Element[L_1, 2839]) → B2838
2843. Segment(Element[L_1, 2839], Element[L_1, 2840]) → B2839
2844. Segment(Element[L_1, 2840], Element[L_1, 2841]) → B2840
2845. Segment(Element[L_1, 2841], Element[L_1, 2842]) → B2841
2846. Segment(Element[L_1, 2842], Element[L_1, 2843]) → B2842
2847. Segment(Element[L_1, 2843], Element[L_1, 2844]) → B2843
2848. Segment(Element[L_1, 2844], Element[L_1, 2845]) → B2844
2849. Segment(Element[L_1, 2845], Element[L_1, 2846]) → B2845
2850. Segment(Element[L_1, 2846], Element[L_1, 2847]) → B2846
2851. Segment(Element[L_1, 2847], Element[L_1, 2848]) → B2847
2852. Segment(Element[L_1, 2848], Element[L_1, 2849]) → B2848
2853. Segment(Element[L_1, 2849], Element[L_1, 2850]) → B2849
2854. Segment(Element[L_1, 2850], Element[L_1, 2851]) → B2850
2855. Segment(Element[L_1, 2851], Element[L_1, 2852]) → B2851
2856. Segment(Element[L_1, 2852], Element[L_1, 2853]) → B2852
2857. Segment(Element[L_1, 2853], Element[L_1, 2854]) → B2853
2858. Segment(Element[L_1, 2854], Element[L_1, 2855]) → B2854
2859. Segment(Element[L_1, 2855], Element[L_1, 2856]) → B2855
2860. Segment(Element[L_1, 2856], Element[L_1, 2857]) → B2856
2861. Segment(Element[L_1, 2857], Element[L_1, 2858]) → B2857
2862. Segment(Element[L_1, 2858], Element[L_1, 2859]) → B2858
2863. Segment(Element[L_1, 2859], Element[L_1, 2860]) → B2859
2864. Segment(Element[L_1, 2860], Element[L_1, 2861]) → B2860
2865. Segment(Element[L_1, 2861], Element[L_1, 2862]) → B2861
2866. Segment(Element[L_1, 2862], Element[L_1, 2863]) → B2862
2867. Segment(Element[L_1, 2863], Element[L_1, 2864]) → B2863
2868. Segment(Element[L_1, 2864], Element[L_1, 2865]) → B2864
2869. Segment(Element[L_1, 2865], Element[L_1, 2866]) → B2865
2870. Segment(Element[L_1, 2866], Element[L_1, 2867]) → B2866
2871. Segment(Element[L_1, 2867], Element[L_1, 2868]) → B2867
2872. Segment(Element[L_1, 2868], Element[L_1, 2869]) → B2868
2873. Segment(Element[L_1, 2869], Element[L_1, 2870]) → B2869
2874. Segment(Element[L_1, 2870], Element[L_1, 2871]) → B2870
2875. Segment(Element[L_1, 2871], Element[L_1, 2872]) → B2871
2876. Segment(Element[L_1, 2872], Element[L_1, 2873]) → B2872
2877. Segment(Element[L_1, 2873], Element[L_1, 2874]) → B2873
2878. Segment(Element[L_1, 2874], Element[L_1, 2875]) → B2874
2879. Segment(Element[L_1, 2875], Element[L_1, 2876]) → B2875
2880. Segment(Element[L_1, 2876], Element[L_1, 2877]) → B2876
2881. Segment(Element[L_1, 2877], Element[L_1, 2878]) → B2877
2882. Segment(Element[L_1, 2878], Element[L_1, 2879]) → B2878
2883. Segment(Element[L_1, 2879], Element[L_1, 2880]) → B2879
2884. Segment(Element[L_1, 2880], Element[L_1, 2881]) → B2880
2885. Segment(Element[L_1, 2881], Element[L_1, 2882]) → B2881
2886. Segment(Element[L_1, 2882], Element[L_1, 2883]) → B2882
2887. Segment(Element[L_1, 2883], Element[L_1, 2884]) → B2883
2888. Segment(Element[L_1, 2884], Element[L_1, 2885]) → B2884
2889. Segment(Element[L_1, 2885], Element[L_1, 2886]) → B2885
2890. Segment(Element[L_1, 2886], Element[L_1, 2887]) → B2886
2891. Segment(Element[L_1, 2887], Element[L_1, 2888]) → B2887
2892. Segment(Element[L_1, 2888], Element[L_1, 2889]) → B2888
2893. Segment(Element[L_1, 2889], Element[L_1, 2890]) → B2889
2894. Segment(Element[L_1, 2890], Element[L_1, 2891]) → B2890
2895. Segment(Element[L_1, 2891], Element[L_1, 2892]) → B2891
2896. Segment(Element[L_1, 2892], Element[L_1, 2893]) → B2892
2897. Segment(Element[L_1, 2893], Element[L_1, 2894]) → B2893
2898. Segment(Element[L_1, 2894], Element[L_1, 2895]) → B2894
2899. Segment(Element[L_1, 2895], Element[L_1, 2896]) → B2895
2900. Segment(Element[L_1, 2896], Element[L_1, 2897]) → B2896
2901. Segment(Element[L_1, 2897], Element[L_1, 2898]) → B2897
2902. Segment(Element[L_1, 2898], Element[L_1, 2899]) → B2898
2903. Segment(Element[L_1, 2899], Element[L_1, 2900]) → B2899
2904. Segment(Element[L_1, 2900], Element[L_1, 2901]) → B2900
2905. Segment(Element[L_1, 2901], Element[L_1, 2902]) → B2901
2906. Segment(Element[L_1, 2902], Element[L_1, 2903]) → B2902
2907. Segment(Element[L_1, 2903], Element[L_1, 2904]) → B2903
2908. Segment(Element[L_1, 2904], Element[L_1, 2905]) → B2904
2909. Segment(Element[L_1, 2905], Element[L_1, 2906]) → B2905
2910. Segment(Element[L_1, 2906], Element[L_1, 2907]) → B2906
2911. Segment(Element[L_1, 2907], Element[L_1, 2908]) → B2907
2912. Segment(Element[L_1, 2908], Element[L_1, 2909]) → B2908
2913. Segment(Element[L_1, 2909], Element[L_1, 2910]) → B2909
2914. Segment(Element[L_1, 2910], Element[L_1, 2911]) → B2910
2915. Segment(Element[L_1, 2911], Element[L_1, 2912]) → B2911
2916. Segment(Element[L_1, 2912], Element[L_1, 2913]) → B2912
2917. Segment(Element[L_1, 2913], Element[L_1, 2914]) → B2913
2918. Segment(Element[L_1, 2914], Element[L_1, 2915]) → B2914
2919. Segment(Element[L_1, 2915], Element[L_1, 2916]) → B2915
2920. Segment(Element[L_1, 2916], Element[L_1, 2917]) → B2916
2921. Segment(Element[L_1, 2917], Element[L_1, 2918]) → B2917
2922. Segment(Element[L_1, 2918], Element[L_1, 2919]) → B2918
2923. Segment(Element[L_1, 2919], Element[L_1, 2920]) → B2919
2924. Segment(Element[L_1, 2920], Element[L_1, 2921]) → B2920
2925. Segment(Element[L_1, 2921], Element[L_1, 2922]) → B2921
2926. Segment(Element[L_1, 2922], Element[L_1, 2923]) → B2922
2927. Segment(Element[L_1, 2923], Element[L_1, 2924]) → B2923
2928. Segment(Element[L_1, 2924], Element[L_1, 2925]) → B2924
2929. Segment(Element[L_1, 2925], Element[L_1, 2926]) → B2925
2930. Segment(Element[L_1, 2926], Element[L_1, 2927]) → B2926
2931. Segment(Element[L_1, 2927], Element[L_1, 2928]) → B2927
2932. Segment(Element[L_1, 2928], Element[L_1, 2929]) → B2928
2933. Segment(Element[L_1, 2929], Element[L_1, 2930]) → B2929
2934. Segment(Element[L_1, 2930], Element[L_1, 2931]) → B2930
2935. Segment(Element[L_1, 2931], Element[L_1, 2932]) → B2931
2936. Segment(Element[L_1, 2932], Element[L_1, 2933]) → B2932
2937. Segment(Element[L_1, 2933], Element[L_1, 2934]) → B2933
2938. Segment(Element[L_1, 2934], Element[L_1, 2935]) → B2934
2939. Segment(Element[L_1, 2935], Element[L_1, 2936]) → B2935
2940. Segment(Element[L_1, 2936], Element[L_1, 2937]) → B2936
2941. Segment(Element[L_1, 2937], Element[L_1, 2938]) → B2937
2942. Segment(Element[L_1, 2938], Element[L_1, 2939]) → B2938
2943. Segment(Element[L_1, 2939], Element[L_1, 2940]) → B2939
2944. Segment(Element[L_1, 2940], Element[L_1, 2941]) → B2940
2945. Segment(Element[L_1, 2941], Element[L_1, 2942]) → B2941
2946. Segment(Element[L_1, 2942], Element[L_1, 2943]) → B2942
2947. Segment(Element[L_1, 2943], Element[L_1, 2944]) → B2943
2948. Segment(Element[L_1, 2944], Element[L_1, 2945]) → B2944
2949. Segment(Element[L_1, 2945], Element[L_1, 2946]) → B2945
2950. Segment(Element[L_1, 2946], Element[L_1, 2947]) → B2946
2951. Segment(Element[L_1, 2947], Element[L_1, 2948]) → B2947
2952. Segment(Element[L_1, 2948], Element[L_1, 2949]) → B2948
2953. Segment(Element[L_1, 2949], Element[L_1, 2950]) → B2949
2954. Segment(Element[L_1, 2950], Element[L_1, 2951]) → B2950
2955. Segment(Element[L_1, 2951], Element[L_1, 2952]) → B2951
2956. Segment(Element[L_1, 2952], Element[L_1, 2953]) → B2952
2957. Segment(Element[L_1, 2953], Element[L_1, 2954]) → B2953
2958. Segment(Element[L_1, 2954], Element[L_1, 2955]) → B2954
2959. Segment(Element[L_1, 2955], Element[L_1, 2956]) → B2955
2960. Segment(Element[L_1, 2956], Element[L_1, 2957]) → B2956
2961. Segment(Element[L_1, 2957], Element[L_1, 2958]) → B2957
2962. Segment(Element[L_1, 2958], Element[L_1, 2959]) → B2958
2963. Segment(Element[L_1, 2959], Element[L_1, 2960]) → B2959
2964. Segment(Element[L_1, 2960], Element[L_1, 2961]) → B2960
2965. Segment(Element[L_1, 2961], Element[L_1, 2962]) → B2961
2966. Segment(Element[L_1, 2962], Element[L_1, 2963]) → B2962
2967. Segment(Element[L_1, 2963], Element[L_1, 2964]) → B2963
2968. Segment(Element[L_1, 2964], Element[L_1, 2965]) → B2964
2969. Segment(Element[L_1, 2965], Element[L_1, 2966]) → B2965
2970. Segment(Element[L_1, 2966], Element[L_1, 2967]) → B2966
2971. Segment(Element[L_1, 2967], Element[L_1, 2968]) → B2967
2972. Segment(Element[L_1, 2968], Element[L_1, 2969]) → B2968
2973. Segment(Element[L_1, 2969], Element[L_1, 2970]) → B2969
2974. Segment(Element[L_1, 2970], Element[L_1, 2971]) → B2970
2975. Segment(Element[L_1, 2971], Element[L_1, 2972]) → B2971
2976. Segment(Element[L_1, 2972], Element[L_1, 2973]) → B2972
2977. Segment(Element[L_1, 2973], Element[L_1, 2974]) → B2973
2978. Segment(Element[L_1, 2974], Element[L_1, 2975]) → B2974
2979. Segment(Element[L_1, 2975], Element[L_1, 2976]) → B2975
2980. Segment(Element[L_1, 2976], Element[L_1, 2977]) → B2976
2981. Segment(Element[L_1, 2977], Element[L_1, 2978]) → B2977
2982. Segment(Element[L_1, 2978], Element[L_1, 2979]) → B2978
2983. Segment(Element[L_1, 2979], Element[L_1, 2980]) → B2979
2984. Segment(Element[L_1, 2980], Element[L_1, 2981]) → B2980
2985. Segment(Element[L_1, 2981], Element[L_1, 2982]) → B2981
2986. Segment(Element[L_1, 2982], Element[L_1, 2983]) → B2982
2987. Segment(Element[L_1, 2983], Element[L_1, 2984]) → B2983
2988. Segment(Element[L_1, 2984], Element[L_1, 2985]) → B2984
2989. Segment(Element[L_1, 2985], Element[L_1, 2986]) → B2985
2990. Segment(Element[L_1, 2986], Element[L_1, 2987]) → B2986
2991. Segment(Element[L_1, 2987], Element[L_1, 2988]) → B2987
2992. Segment(Element[L_1, 2988], Element[L_1, 2989]) → B2988
2993. Segment(Element[L_1, 2989], Element[L_1, 2990]) → B2989
2994. Segment(Element[L_1, 2990], Element[L_1, 2991]) → B2990
2995. Segment(Element[L_1, 2991], Element[L_1, 2992]) → B2991
2996. Segment(Element[L_1, 2992], Element[L_1, 2993]) → B2992
2997. Segment(Element[L_1, 2993], Element[L_1, 2994]) → B2993
2998. Segment(Element[L_1, 2994], Element[L_1, 2995]) → B2994
2999. Segment(Element[L_1, 2995], Element[L_1, 2996]) → B2995
3000. Segment(Element[L_1, 2996], Element[L_1, 2997]) → B2996
3001. Segment(Element[L_1, 2997], Element[L_1, 2998]) → B2997
3002. Segment(Element[L_1, 2998], Element[L_1, 2999]) → B2998
3003. Segment(Element[L_1, 2999], Element[L_1, 3000]) → B2999
3004. Segment(Element[L_1, 3000], Element[L_1, 3001]) → B3000
3005. Segment(Element[L_1, 3001], Element[L_1, 3002]) → B3001
3006. Segment(Element[L_1, 3002], Element[L_1, 3003]) → B3002
3007. LaTeX(x', true, true) → text1
3008. LaTeX(y', true, true) → text2
3009. LaTeX(z', true, true) → text3