MathPlotAI Logo MathPlotAI

Rainbow Rossler Attractor

Rainbow Rossler Attractor
Loading the math board and drawing, please wait…
2018-11-26 18:56
VectorCalculusParametric EquationGeometric Construction
This example demonstrates the three-dimensional dynamic trajectory of the Rainbow Rossler attractor, allowing parameter adjustments to observe its chaotic behavior. Core mathematical concepts include differential equations, chaos theory, and 3D coordinate transformations. Construction highlights the use of NSolveODE for solving ODEs, Length for length calculation, Sequence for generating sequences, Segment for drawing segments, and LaTeX for formula display, involving objects like buttons, sliders, and integral objects. Suitable for university students in mathematics and physics, and enthusiasts interested in chaos dynamics for educational demonstrations and exploration.

GeoGebra Commands & Parameters

  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