| Rev | Line | |
|---|
| [9] | 1 | p cnf 420 1138
|
|---|
| 2 | 1 0
|
|---|
| 3 | 2 -3 4 0
|
|---|
| 4 | -2 -4 0
|
|---|
| 5 | 3 -4 0
|
|---|
| 6 | -5 -4 6 0
|
|---|
| 7 | 5 -6 0
|
|---|
| 8 | 4 -6 0
|
|---|
| 9 | -7 -6 8 0
|
|---|
| 10 | 7 -8 0
|
|---|
| 11 | 6 -8 0
|
|---|
| 12 | -2 -3 9 0
|
|---|
| 13 | 2 -9 0
|
|---|
| 14 | 3 -9 0
|
|---|
| 15 | 5 -9 10 0
|
|---|
| 16 | -5 -10 0
|
|---|
| 17 | 9 -10 0
|
|---|
| 18 | 5 -4 11 0
|
|---|
| 19 | -5 -11 0
|
|---|
| 20 | 4 -11 0
|
|---|
| 21 | -12 -11 13 0
|
|---|
| 22 | 12 -13 0
|
|---|
| 23 | 11 -13 0
|
|---|
| 24 | 14 -13 15 0
|
|---|
| 25 | -14 -15 0
|
|---|
| 26 | 13 -15 0
|
|---|
| 27 | 10 15 16 0
|
|---|
| 28 | -10 -16 0
|
|---|
| 29 | -15 -16 0
|
|---|
| 30 | 8 -16 17 0
|
|---|
| 31 | -8 -17 0
|
|---|
| 32 | 16 -17 0
|
|---|
| 33 | -2 3 18 0
|
|---|
| 34 | 2 -18 0
|
|---|
| 35 | -3 -18 0
|
|---|
| 36 | 5 -18 19 0
|
|---|
| 37 | -5 -19 0
|
|---|
| 38 | 18 -19 0
|
|---|
| 39 | -20 21 22 0
|
|---|
| 40 | 20 -22 0
|
|---|
| 41 | -21 -22 0
|
|---|
| 42 | 20 -21 23 0
|
|---|
| 43 | -20 -23 0
|
|---|
| 44 | 21 -23 0
|
|---|
| 45 | 22 23 24 0
|
|---|
| 46 | -22 -24 0
|
|---|
| 47 | -23 -24 0
|
|---|
| 48 | -25 26 27 0
|
|---|
| 49 | 25 -27 0
|
|---|
| 50 | -26 -27 0
|
|---|
| 51 | 25 -26 28 0
|
|---|
| 52 | -25 -28 0
|
|---|
| 53 | 26 -28 0
|
|---|
| 54 | 27 28 29 0
|
|---|
| 55 | -27 -29 0
|
|---|
| 56 | -28 -29 0
|
|---|
| 57 | -30 31 32 0
|
|---|
| 58 | 30 -32 0
|
|---|
| 59 | -31 -32 0
|
|---|
| 60 | 30 -31 33 0
|
|---|
| 61 | -30 -33 0
|
|---|
| 62 | 31 -33 0
|
|---|
| 63 | 32 33 34 0
|
|---|
| 64 | -32 -34 0
|
|---|
| 65 | -33 -34 0
|
|---|
| 66 | -29 -34 35 0
|
|---|
| 67 | 29 -35 0
|
|---|
| 68 | 34 -35 0
|
|---|
| 69 | -24 -35 36 0
|
|---|
| 70 | 24 -36 0
|
|---|
| 71 | 35 -36 0
|
|---|
| 72 | -19 -36 37 0
|
|---|
| 73 | 19 -37 0
|
|---|
| 74 | 36 -37 0
|
|---|
| 75 | 2 3 38 0
|
|---|
| 76 | -2 -38 0
|
|---|
| 77 | -3 -38 0
|
|---|
| 78 | -5 -38 39 0
|
|---|
| 79 | 5 -39 0
|
|---|
| 80 | 38 -39 0
|
|---|
| 81 | 14 -39 40 0
|
|---|
| 82 | -14 -40 0
|
|---|
| 83 | 39 -40 0
|
|---|
| 84 | 41 -40 42 0
|
|---|
| 85 | -41 -42 0
|
|---|
| 86 | 40 -42 0
|
|---|
| 87 | 37 42 43 0
|
|---|
| 88 | -37 -43 0
|
|---|
| 89 | -42 -43 0
|
|---|
| 90 | -44 -45 46 0
|
|---|
| 91 | 44 -46 0
|
|---|
| 92 | 45 -46 0
|
|---|
| 93 | 47 46 48 0
|
|---|
| 94 | -47 -48 0
|
|---|
| 95 | -46 -48 0
|
|---|
| 96 | 36 -48 49 0
|
|---|
| 97 | -36 -49 0
|
|---|
| 98 | 48 -49 0
|
|---|
| 99 | -19 -49 50 0
|
|---|
| 100 | 19 -50 0
|
|---|
| 101 | 49 -50 0
|
|---|
| 102 | 44 -50 51 0
|
|---|
| 103 | -44 -51 0
|
|---|
| 104 | 50 -51 0
|
|---|
| 105 | -44 50 52 0
|
|---|
| 106 | 44 -52 0
|
|---|
| 107 | -50 -52 0
|
|---|
| 108 | 51 52 53 0
|
|---|
| 109 | -51 -53 0
|
|---|
| 110 | -52 -53 0
|
|---|
| 111 | -50 -53 54 0
|
|---|
| 112 | 50 -54 0
|
|---|
| 113 | 53 -54 0
|
|---|
| 114 | 5 -38 55 0
|
|---|
| 115 | -5 -55 0
|
|---|
| 116 | 38 -55 0
|
|---|
| 117 | -56 -55 57 0
|
|---|
| 118 | 56 -57 0
|
|---|
| 119 | 55 -57 0
|
|---|
| 120 | 50 57 58 0
|
|---|
| 121 | -50 -58 0
|
|---|
| 122 | -57 -58 0
|
|---|
| 123 | 44 -58 59 0
|
|---|
| 124 | -44 -59 0
|
|---|
| 125 | 58 -59 0
|
|---|
| 126 | 54 59 60 0
|
|---|
| 127 | -54 -60 0
|
|---|
| 128 | -59 -60 0
|
|---|
| 129 | -44 45 61 0
|
|---|
| 130 | 44 -61 0
|
|---|
| 131 | -45 -61 0
|
|---|
| 132 | 44 -45 62 0
|
|---|
| 133 | -44 -62 0
|
|---|
| 134 | 45 -62 0
|
|---|
| 135 | 61 62 63 0
|
|---|
| 136 | -61 -63 0
|
|---|
| 137 | -62 -63 0
|
|---|
| 138 | -50 -63 64 0
|
|---|
| 139 | 50 -64 0
|
|---|
| 140 | 63 -64 0
|
|---|
| 141 | 57 64 65 0
|
|---|
| 142 | -57 -65 0
|
|---|
| 143 | -64 -65 0
|
|---|
| 144 | 45 -58 66 0
|
|---|
| 145 | -45 -66 0
|
|---|
| 146 | 58 -66 0
|
|---|
| 147 | -65 66 67 0
|
|---|
| 148 | 65 -67 0
|
|---|
| 149 | -66 -67 0
|
|---|
| 150 | -47 -58 68 0
|
|---|
| 151 | 47 -68 0
|
|---|
| 152 | 58 -68 0
|
|---|
| 153 | 69 -57 70 0
|
|---|
| 154 | -69 -70 0
|
|---|
| 155 | 57 -70 0
|
|---|
| 156 | 8 10 71 0
|
|---|
| 157 | -8 -71 0
|
|---|
| 158 | -10 -71 0
|
|---|
| 159 | -30 -71 72 0
|
|---|
| 160 | 30 -72 0
|
|---|
| 161 | 71 -72 0
|
|---|
| 162 | 57 72 73 0
|
|---|
| 163 | -57 -73 0
|
|---|
| 164 | -72 -73 0
|
|---|
| 165 | 70 73 74 0
|
|---|
| 166 | -70 -74 0
|
|---|
| 167 | -73 -74 0
|
|---|
| 168 | 75 -57 76 0
|
|---|
| 169 | -75 -76 0
|
|---|
| 170 | 57 -76 0
|
|---|
| 171 | -25 -71 77 0
|
|---|
| 172 | 25 -77 0
|
|---|
| 173 | 71 -77 0
|
|---|
| 174 | 57 77 78 0
|
|---|
| 175 | -57 -78 0
|
|---|
| 176 | -77 -78 0
|
|---|
| 177 | 76 78 79 0
|
|---|
| 178 | -76 -79 0
|
|---|
| 179 | -78 -79 0
|
|---|
| 180 | 80 -57 81 0
|
|---|
| 181 | -80 -81 0
|
|---|
| 182 | 57 -81 0
|
|---|
| 183 | -20 -71 82 0
|
|---|
| 184 | 20 -82 0
|
|---|
| 185 | 71 -82 0
|
|---|
| 186 | 57 82 83 0
|
|---|
| 187 | -57 -83 0
|
|---|
| 188 | -82 -83 0
|
|---|
| 189 | 81 83 84 0
|
|---|
| 190 | -81 -84 0
|
|---|
| 191 | -83 -84 0
|
|---|
| 192 | 85 -15 86 0
|
|---|
| 193 | -85 -86 0
|
|---|
| 194 | 15 -86 0
|
|---|
| 195 | -31 -71 87 0
|
|---|
| 196 | 31 -87 0
|
|---|
| 197 | 71 -87 0
|
|---|
| 198 | 15 87 88 0
|
|---|
| 199 | -15 -88 0
|
|---|
| 200 | -87 -88 0
|
|---|
| 201 | 86 88 89 0
|
|---|
| 202 | -86 -89 0
|
|---|
| 203 | -88 -89 0
|
|---|
| 204 | 90 -15 91 0
|
|---|
| 205 | -90 -91 0
|
|---|
| 206 | 15 -91 0
|
|---|
| 207 | -26 -71 92 0
|
|---|
| 208 | 26 -92 0
|
|---|
| 209 | 71 -92 0
|
|---|
| 210 | 15 92 93 0
|
|---|
| 211 | -15 -93 0
|
|---|
| 212 | -92 -93 0
|
|---|
| 213 | 91 93 94 0
|
|---|
| 214 | -91 -94 0
|
|---|
| 215 | -93 -94 0
|
|---|
| 216 | 95 -15 96 0
|
|---|
| 217 | -95 -96 0
|
|---|
| 218 | 15 -96 0
|
|---|
| 219 | -21 -71 97 0
|
|---|
| 220 | 21 -97 0
|
|---|
| 221 | 71 -97 0
|
|---|
| 222 | 15 97 98 0
|
|---|
| 223 | -15 -98 0
|
|---|
| 224 | -97 -98 0
|
|---|
| 225 | 96 98 99 0
|
|---|
| 226 | -96 -99 0
|
|---|
| 227 | -98 -99 0
|
|---|
| 228 | 14 -11 100 0
|
|---|
| 229 | -14 -100 0
|
|---|
| 230 | 11 -100 0
|
|---|
| 231 | -19 36 101 0
|
|---|
| 232 | 19 -101 0
|
|---|
| 233 | -36 -101 0
|
|---|
| 234 | -5 8 102 0
|
|---|
| 235 | 5 -102 0
|
|---|
| 236 | -8 -102 0
|
|---|
| 237 | 19 102 103 0
|
|---|
| 238 | -19 -103 0
|
|---|
| 239 | -102 -103 0
|
|---|
| 240 | 101 103 104 0
|
|---|
| 241 | -101 -104 0
|
|---|
| 242 | -103 -104 0
|
|---|
| 243 | 11 104 105 0
|
|---|
| 244 | -11 -105 0
|
|---|
| 245 | -104 -105 0
|
|---|
| 246 | 100 105 106 0
|
|---|
| 247 | -100 -106 0
|
|---|
| 248 | -105 -106 0
|
|---|
| 249 | 14 -12 107 0
|
|---|
| 250 | -14 -107 0
|
|---|
| 251 | 12 -107 0
|
|---|
| 252 | -11 107 108 0
|
|---|
| 253 | 11 -108 0
|
|---|
| 254 | -107 -108 0
|
|---|
| 255 | 36 48 109 0
|
|---|
| 256 | -36 -109 0
|
|---|
| 257 | -48 -109 0
|
|---|
| 258 | -19 109 110 0
|
|---|
| 259 | 19 -110 0
|
|---|
| 260 | -109 -110 0
|
|---|
| 261 | -2 6 111 0
|
|---|
| 262 | 2 -111 0
|
|---|
| 263 | -6 -111 0
|
|---|
| 264 | 10 -111 112 0
|
|---|
| 265 | -10 -112 0
|
|---|
| 266 | 111 -112 0
|
|---|
| 267 | 110 -112 113 0
|
|---|
| 268 | -110 -113 0
|
|---|
| 269 | 112 -113 0
|
|---|
| 270 | 11 113 114 0
|
|---|
| 271 | -11 -114 0
|
|---|
| 272 | -113 -114 0
|
|---|
| 273 | 108 114 115 0
|
|---|
| 274 | -108 -115 0
|
|---|
| 275 | -114 -115 0
|
|---|
| 276 | 56 -55 116 0
|
|---|
| 277 | -56 -116 0
|
|---|
| 278 | 55 -116 0
|
|---|
| 279 | 3 6 117 0
|
|---|
| 280 | -3 -117 0
|
|---|
| 281 | -6 -117 0
|
|---|
| 282 | 8 117 118 0
|
|---|
| 283 | -8 -118 0
|
|---|
| 284 | -117 -118 0
|
|---|
| 285 | 39 118 119 0
|
|---|
| 286 | -39 -119 0
|
|---|
| 287 | -118 -119 0
|
|---|
| 288 | 42 119 120 0
|
|---|
| 289 | -42 -120 0
|
|---|
| 290 | -119 -120 0
|
|---|
| 291 | 10 -120 121 0
|
|---|
| 292 | -10 -121 0
|
|---|
| 293 | 120 -121 0
|
|---|
| 294 | 19 121 122 0
|
|---|
| 295 | -19 -122 0
|
|---|
| 296 | -121 -122 0
|
|---|
| 297 | 37 122 123 0
|
|---|
| 298 | -37 -123 0
|
|---|
| 299 | -122 -123 0
|
|---|
| 300 | 15 -123 124 0
|
|---|
| 301 | -15 -124 0
|
|---|
| 302 | 123 -124 0
|
|---|
| 303 | 55 124 125 0
|
|---|
| 304 | -55 -125 0
|
|---|
| 305 | -124 -125 0
|
|---|
| 306 | 116 125 126 0
|
|---|
| 307 | -116 -126 0
|
|---|
| 308 | -125 -126 0
|
|---|
| 309 | 115 -126 127 0
|
|---|
| 310 | -115 -127 0
|
|---|
| 311 | 126 -127 0
|
|---|
| 312 | -106 -127 128 0
|
|---|
| 313 | 106 -128 0
|
|---|
| 314 | 127 -128 0
|
|---|
| 315 | -129 -128 130 0
|
|---|
| 316 | 129 -130 0
|
|---|
| 317 | 128 -130 0
|
|---|
| 318 | -115 -126 131 0
|
|---|
| 319 | 115 -131 0
|
|---|
| 320 | 126 -131 0
|
|---|
| 321 | 106 -131 132 0
|
|---|
| 322 | -106 -132 0
|
|---|
| 323 | 131 -132 0
|
|---|
| 324 | 106 -127 133 0
|
|---|
| 325 | -106 -133 0
|
|---|
| 326 | 127 -133 0
|
|---|
| 327 | -134 -133 135 0
|
|---|
| 328 | 134 -135 0
|
|---|
| 329 | 133 -135 0
|
|---|
| 330 | 136 -135 137 0
|
|---|
| 331 | -136 -137 0
|
|---|
| 332 | 135 -137 0
|
|---|
| 333 | 132 137 138 0
|
|---|
| 334 | -132 -138 0
|
|---|
| 335 | -137 -138 0
|
|---|
| 336 | 130 -138 139 0
|
|---|
| 337 | -130 -139 0
|
|---|
| 338 | 138 -139 0
|
|---|
| 339 | -115 126 140 0
|
|---|
| 340 | 115 -140 0
|
|---|
| 341 | -126 -140 0
|
|---|
| 342 | 106 -140 141 0
|
|---|
| 343 | -106 -141 0
|
|---|
| 344 | 140 -141 0
|
|---|
| 345 | -84 99 142 0
|
|---|
| 346 | 84 -142 0
|
|---|
| 347 | -99 -142 0
|
|---|
| 348 | 84 -99 143 0
|
|---|
| 349 | -84 -143 0
|
|---|
| 350 | 99 -143 0
|
|---|
| 351 | 142 143 144 0
|
|---|
| 352 | -142 -144 0
|
|---|
| 353 | -143 -144 0
|
|---|
| 354 | -79 94 145 0
|
|---|
| 355 | 79 -145 0
|
|---|
| 356 | -94 -145 0
|
|---|
| 357 | 79 -94 146 0
|
|---|
| 358 | -79 -146 0
|
|---|
| 359 | 94 -146 0
|
|---|
| 360 | 145 146 147 0
|
|---|
| 361 | -145 -147 0
|
|---|
| 362 | -146 -147 0
|
|---|
| 363 | -74 89 148 0
|
|---|
| 364 | 74 -148 0
|
|---|
| 365 | -89 -148 0
|
|---|
| 366 | 74 -89 149 0
|
|---|
| 367 | -74 -149 0
|
|---|
| 368 | 89 -149 0
|
|---|
| 369 | 148 149 150 0
|
|---|
| 370 | -148 -150 0
|
|---|
| 371 | -149 -150 0
|
|---|
| 372 | -147 -150 151 0
|
|---|
| 373 | 147 -151 0
|
|---|
| 374 | 150 -151 0
|
|---|
| 375 | -144 -151 152 0
|
|---|
| 376 | 144 -152 0
|
|---|
| 377 | 151 -152 0
|
|---|
| 378 | -141 -152 153 0
|
|---|
| 379 | 141 -153 0
|
|---|
| 380 | 152 -153 0
|
|---|
| 381 | 115 126 154 0
|
|---|
| 382 | -115 -154 0
|
|---|
| 383 | -126 -154 0
|
|---|
| 384 | -106 -154 155 0
|
|---|
| 385 | 106 -155 0
|
|---|
| 386 | 154 -155 0
|
|---|
| 387 | 136 -155 156 0
|
|---|
| 388 | -136 -156 0
|
|---|
| 389 | 155 -156 0
|
|---|
| 390 | 157 -156 158 0
|
|---|
| 391 | -157 -158 0
|
|---|
| 392 | 156 -158 0
|
|---|
| 393 | 153 158 159 0
|
|---|
| 394 | -153 -159 0
|
|---|
| 395 | -158 -159 0
|
|---|
| 396 | -60 -67 160 0
|
|---|
| 397 | 60 -160 0
|
|---|
| 398 | 67 -160 0
|
|---|
| 399 | 68 160 161 0
|
|---|
| 400 | -68 -161 0
|
|---|
| 401 | -160 -161 0
|
|---|
| 402 | 152 -161 162 0
|
|---|
| 403 | -152 -162 0
|
|---|
| 404 | 161 -162 0
|
|---|
| 405 | -141 -162 163 0
|
|---|
| 406 | 141 -163 0
|
|---|
| 407 | 162 -163 0
|
|---|
| 408 | 60 -163 164 0
|
|---|
| 409 | -60 -164 0
|
|---|
| 410 | 163 -164 0
|
|---|
| 411 | -60 163 165 0
|
|---|
| 412 | 60 -165 0
|
|---|
| 413 | -163 -165 0
|
|---|
| 414 | 164 165 166 0
|
|---|
| 415 | -164 -166 0
|
|---|
| 416 | -165 -166 0
|
|---|
| 417 | -163 -166 167 0
|
|---|
| 418 | 163 -167 0
|
|---|
| 419 | 166 -167 0
|
|---|
| 420 | 106 -154 168 0
|
|---|
| 421 | -106 -168 0
|
|---|
| 422 | 154 -168 0
|
|---|
| 423 | -169 -168 170 0
|
|---|
| 424 | 169 -170 0
|
|---|
| 425 | 168 -170 0
|
|---|
| 426 | 163 170 171 0
|
|---|
| 427 | -163 -171 0
|
|---|
| 428 | -170 -171 0
|
|---|
| 429 | 60 -171 172 0
|
|---|
| 430 | -60 -172 0
|
|---|
| 431 | 171 -172 0
|
|---|
| 432 | 167 172 173 0
|
|---|
| 433 | -167 -173 0
|
|---|
| 434 | -172 -173 0
|
|---|
| 435 | -60 67 174 0
|
|---|
| 436 | 60 -174 0
|
|---|
| 437 | -67 -174 0
|
|---|
| 438 | 60 -67 175 0
|
|---|
| 439 | -60 -175 0
|
|---|
| 440 | 67 -175 0
|
|---|
| 441 | 174 175 176 0
|
|---|
| 442 | -174 -176 0
|
|---|
| 443 | -175 -176 0
|
|---|
| 444 | -163 -176 177 0
|
|---|
| 445 | 163 -177 0
|
|---|
| 446 | 176 -177 0
|
|---|
| 447 | 170 177 178 0
|
|---|
| 448 | -170 -178 0
|
|---|
| 449 | -177 -178 0
|
|---|
| 450 | 67 -171 179 0
|
|---|
| 451 | -67 -179 0
|
|---|
| 452 | 171 -179 0
|
|---|
| 453 | -178 179 180 0
|
|---|
| 454 | 178 -180 0
|
|---|
| 455 | -179 -180 0
|
|---|
| 456 | -68 -171 181 0
|
|---|
| 457 | 68 -181 0
|
|---|
| 458 | 171 -181 0
|
|---|
| 459 | 182 -170 183 0
|
|---|
| 460 | -182 -183 0
|
|---|
| 461 | 170 -183 0
|
|---|
| 462 | 130 132 184 0
|
|---|
| 463 | -130 -184 0
|
|---|
| 464 | -132 -184 0
|
|---|
| 465 | -74 -184 185 0
|
|---|
| 466 | 74 -185 0
|
|---|
| 467 | 184 -185 0
|
|---|
| 468 | 170 185 186 0
|
|---|
| 469 | -170 -186 0
|
|---|
| 470 | -185 -186 0
|
|---|
| 471 | 183 186 187 0
|
|---|
| 472 | -183 -187 0
|
|---|
| 473 | -186 -187 0
|
|---|
| 474 | 188 -170 189 0
|
|---|
| 475 | -188 -189 0
|
|---|
| 476 | 170 -189 0
|
|---|
| 477 | -79 -184 190 0
|
|---|
| 478 | 79 -190 0
|
|---|
| 479 | 184 -190 0
|
|---|
| 480 | 170 190 191 0
|
|---|
| 481 | -170 -191 0
|
|---|
| 482 | -190 -191 0
|
|---|
| 483 | 189 191 192 0
|
|---|
| 484 | -189 -192 0
|
|---|
| 485 | -191 -192 0
|
|---|
| 486 | 193 -170 194 0
|
|---|
| 487 | -193 -194 0
|
|---|
| 488 | 170 -194 0
|
|---|
| 489 | -84 -184 195 0
|
|---|
| 490 | 84 -195 0
|
|---|
| 491 | 184 -195 0
|
|---|
| 492 | 170 195 196 0
|
|---|
| 493 | -170 -196 0
|
|---|
| 494 | -195 -196 0
|
|---|
| 495 | 194 196 197 0
|
|---|
| 496 | -194 -197 0
|
|---|
| 497 | -196 -197 0
|
|---|
| 498 | 198 -137 199 0
|
|---|
| 499 | -198 -199 0
|
|---|
| 500 | 137 -199 0
|
|---|
| 501 | -89 -184 200 0
|
|---|
| 502 | 89 -200 0
|
|---|
| 503 | 184 -200 0
|
|---|
| 504 | 137 200 201 0
|
|---|
| 505 | -137 -201 0
|
|---|
| 506 | -200 -201 0
|
|---|
| 507 | 199 201 202 0
|
|---|
| 508 | -199 -202 0
|
|---|
| 509 | -201 -202 0
|
|---|
| 510 | 203 -137 204 0
|
|---|
| 511 | -203 -204 0
|
|---|
| 512 | 137 -204 0
|
|---|
| 513 | -94 -184 205 0
|
|---|
| 514 | 94 -205 0
|
|---|
| 515 | 184 -205 0
|
|---|
| 516 | 137 205 206 0
|
|---|
| 517 | -137 -206 0
|
|---|
| 518 | -205 -206 0
|
|---|
| 519 | 204 206 207 0
|
|---|
| 520 | -204 -207 0
|
|---|
| 521 | -206 -207 0
|
|---|
| 522 | 208 -137 209 0
|
|---|
| 523 | -208 -209 0
|
|---|
| 524 | 137 -209 0
|
|---|
| 525 | -99 -184 210 0
|
|---|
| 526 | 99 -210 0
|
|---|
| 527 | 184 -210 0
|
|---|
| 528 | 137 210 211 0
|
|---|
| 529 | -137 -211 0
|
|---|
| 530 | -210 -211 0
|
|---|
| 531 | 209 211 212 0
|
|---|
| 532 | -209 -212 0
|
|---|
| 533 | -211 -212 0
|
|---|
| 534 | 136 -133 213 0
|
|---|
| 535 | -136 -213 0
|
|---|
| 536 | 133 -213 0
|
|---|
| 537 | -141 152 214 0
|
|---|
| 538 | 141 -214 0
|
|---|
| 539 | -152 -214 0
|
|---|
| 540 | -106 130 215 0
|
|---|
| 541 | 106 -215 0
|
|---|
| 542 | -130 -215 0
|
|---|
| 543 | 141 215 216 0
|
|---|
| 544 | -141 -216 0
|
|---|
| 545 | -215 -216 0
|
|---|
| 546 | 214 216 217 0
|
|---|
| 547 | -214 -217 0
|
|---|
| 548 | -216 -217 0
|
|---|
| 549 | 133 217 218 0
|
|---|
| 550 | -133 -218 0
|
|---|
| 551 | -217 -218 0
|
|---|
| 552 | 213 218 219 0
|
|---|
| 553 | -213 -219 0
|
|---|
| 554 | -218 -219 0
|
|---|
| 555 | 136 -134 220 0
|
|---|
| 556 | -136 -220 0
|
|---|
| 557 | 134 -220 0
|
|---|
| 558 | -133 220 221 0
|
|---|
| 559 | 133 -221 0
|
|---|
| 560 | -220 -221 0
|
|---|
| 561 | 152 161 222 0
|
|---|
| 562 | -152 -222 0
|
|---|
| 563 | -161 -222 0
|
|---|
| 564 | -141 222 223 0
|
|---|
| 565 | 141 -223 0
|
|---|
| 566 | -222 -223 0
|
|---|
| 567 | -115 128 224 0
|
|---|
| 568 | 115 -224 0
|
|---|
| 569 | -128 -224 0
|
|---|
| 570 | 132 -224 225 0
|
|---|
| 571 | -132 -225 0
|
|---|
| 572 | 224 -225 0
|
|---|
| 573 | 223 -225 226 0
|
|---|
| 574 | -223 -226 0
|
|---|
| 575 | 225 -226 0
|
|---|
| 576 | 133 226 227 0
|
|---|
| 577 | -133 -227 0
|
|---|
| 578 | -226 -227 0
|
|---|
| 579 | 221 227 228 0
|
|---|
| 580 | -221 -228 0
|
|---|
| 581 | -227 -228 0
|
|---|
| 582 | 169 -168 229 0
|
|---|
| 583 | -169 -229 0
|
|---|
| 584 | 168 -229 0
|
|---|
| 585 | 126 128 230 0
|
|---|
| 586 | -126 -230 0
|
|---|
| 587 | -128 -230 0
|
|---|
| 588 | 130 230 231 0
|
|---|
| 589 | -130 -231 0
|
|---|
| 590 | -230 -231 0
|
|---|
| 591 | 155 231 232 0
|
|---|
| 592 | -155 -232 0
|
|---|
| 593 | -231 -232 0
|
|---|
| 594 | 158 232 233 0
|
|---|
| 595 | -158 -233 0
|
|---|
| 596 | -232 -233 0
|
|---|
| 597 | 132 -233 234 0
|
|---|
| 598 | -132 -234 0
|
|---|
| 599 | 233 -234 0
|
|---|
| 600 | 141 234 235 0
|
|---|
| 601 | -141 -235 0
|
|---|
| 602 | -234 -235 0
|
|---|
| 603 | 153 235 236 0
|
|---|
| 604 | -153 -236 0
|
|---|
| 605 | -235 -236 0
|
|---|
| 606 | 137 -236 237 0
|
|---|
| 607 | -137 -237 0
|
|---|
| 608 | 236 -237 0
|
|---|
| 609 | 168 237 238 0
|
|---|
| 610 | -168 -238 0
|
|---|
| 611 | -237 -238 0
|
|---|
| 612 | 229 238 239 0
|
|---|
| 613 | -229 -239 0
|
|---|
| 614 | -238 -239 0
|
|---|
| 615 | -30 -29 240 0
|
|---|
| 616 | 30 -240 0
|
|---|
| 617 | 29 -240 0
|
|---|
| 618 | -31 240 241 0
|
|---|
| 619 | 31 -241 0
|
|---|
| 620 | -240 -241 0
|
|---|
| 621 | 30 -29 242 0
|
|---|
| 622 | -30 -242 0
|
|---|
| 623 | 29 -242 0
|
|---|
| 624 | 31 242 243 0
|
|---|
| 625 | -31 -243 0
|
|---|
| 626 | -242 -243 0
|
|---|
| 627 | 241 243 244 0
|
|---|
| 628 | -241 -244 0
|
|---|
| 629 | -243 -244 0
|
|---|
| 630 | -20 -244 245 0
|
|---|
| 631 | 20 -245 0
|
|---|
| 632 | 244 -245 0
|
|---|
| 633 | -21 245 246 0
|
|---|
| 634 | 21 -246 0
|
|---|
| 635 | -245 -246 0
|
|---|
| 636 | 20 -244 247 0
|
|---|
| 637 | -20 -247 0
|
|---|
| 638 | 244 -247 0
|
|---|
| 639 | 21 247 248 0
|
|---|
| 640 | -21 -248 0
|
|---|
| 641 | -247 -248 0
|
|---|
| 642 | 246 248 249 0
|
|---|
| 643 | -246 -249 0
|
|---|
| 644 | -248 -249 0
|
|---|
| 645 | 5 249 250 0
|
|---|
| 646 | -5 -250 0
|
|---|
| 647 | -249 -250 0
|
|---|
| 648 | -2 -250 251 0
|
|---|
| 649 | 2 -251 0
|
|---|
| 650 | 250 -251 0
|
|---|
| 651 | -25 -26 252 0
|
|---|
| 652 | 25 -252 0
|
|---|
| 653 | 26 -252 0
|
|---|
| 654 | 30 -252 253 0
|
|---|
| 655 | -30 -253 0
|
|---|
| 656 | 252 -253 0
|
|---|
| 657 | 31 253 254 0
|
|---|
| 658 | -31 -254 0
|
|---|
| 659 | -253 -254 0
|
|---|
| 660 | 241 254 255 0
|
|---|
| 661 | -241 -255 0
|
|---|
| 662 | -254 -255 0
|
|---|
| 663 | 20 -255 256 0
|
|---|
| 664 | -20 -256 0
|
|---|
| 665 | 255 -256 0
|
|---|
| 666 | 21 256 257 0
|
|---|
| 667 | -21 -257 0
|
|---|
| 668 | -256 -257 0
|
|---|
| 669 | 246 257 258 0
|
|---|
| 670 | -246 -258 0
|
|---|
| 671 | -257 -258 0
|
|---|
| 672 | 5 -258 259 0
|
|---|
| 673 | -5 -259 0
|
|---|
| 674 | 258 -259 0
|
|---|
| 675 | 2 259 260 0
|
|---|
| 676 | -2 -260 0
|
|---|
| 677 | -259 -260 0
|
|---|
| 678 | 251 260 261 0
|
|---|
| 679 | -251 -261 0
|
|---|
| 680 | -260 -261 0
|
|---|
| 681 | -3 261 262 0
|
|---|
| 682 | 3 -262 0
|
|---|
| 683 | -261 -262 0
|
|---|
| 684 | 5 -2 263 0
|
|---|
| 685 | -5 -263 0
|
|---|
| 686 | 2 -263 0
|
|---|
| 687 | 25 26 264 0
|
|---|
| 688 | -25 -264 0
|
|---|
| 689 | -26 -264 0
|
|---|
| 690 | -31 -240 265 0
|
|---|
| 691 | 31 -265 0
|
|---|
| 692 | 240 -265 0
|
|---|
| 693 | 31 -242 266 0
|
|---|
| 694 | -31 -266 0
|
|---|
| 695 | 242 -266 0
|
|---|
| 696 | 265 266 267 0
|
|---|
| 697 | -265 -267 0
|
|---|
| 698 | -266 -267 0
|
|---|
| 699 | -20 267 268 0
|
|---|
| 700 | 20 -268 0
|
|---|
| 701 | -267 -268 0
|
|---|
| 702 | -21 -268 269 0
|
|---|
| 703 | 21 -269 0
|
|---|
| 704 | 268 -269 0
|
|---|
| 705 | 20 267 270 0
|
|---|
| 706 | -20 -270 0
|
|---|
| 707 | -267 -270 0
|
|---|
| 708 | 21 -270 271 0
|
|---|
| 709 | -21 -271 0
|
|---|
| 710 | 270 -271 0
|
|---|
| 711 | 269 271 272 0
|
|---|
| 712 | -269 -272 0
|
|---|
| 713 | -271 -272 0
|
|---|
| 714 | -5 272 273 0
|
|---|
| 715 | 5 -273 0
|
|---|
| 716 | -272 -273 0
|
|---|
| 717 | 30 -264 274 0
|
|---|
| 718 | -30 -274 0
|
|---|
| 719 | 264 -274 0
|
|---|
| 720 | 31 -274 275 0
|
|---|
| 721 | -31 -275 0
|
|---|
| 722 | 274 -275 0
|
|---|
| 723 | 20 -275 276 0
|
|---|
| 724 | -20 -276 0
|
|---|
| 725 | 275 -276 0
|
|---|
| 726 | 21 -276 277 0
|
|---|
| 727 | -21 -277 0
|
|---|
| 728 | 276 -277 0
|
|---|
| 729 | 5 -277 278 0
|
|---|
| 730 | -5 -278 0
|
|---|
| 731 | 277 -278 0
|
|---|
| 732 | 273 278 279 0
|
|---|
| 733 | -273 -279 0
|
|---|
| 734 | -278 -279 0
|
|---|
| 735 | 2 279 280 0
|
|---|
| 736 | -2 -280 0
|
|---|
| 737 | -279 -280 0
|
|---|
| 738 | 263 280 281 0
|
|---|
| 739 | -263 -281 0
|
|---|
| 740 | -280 -281 0
|
|---|
| 741 | 3 281 282 0
|
|---|
| 742 | -3 -282 0
|
|---|
| 743 | -281 -282 0
|
|---|
| 744 | 262 282 283 0
|
|---|
| 745 | -262 -283 0
|
|---|
| 746 | -282 -283 0
|
|---|
| 747 | -5 2 284 0
|
|---|
| 748 | 5 -284 0
|
|---|
| 749 | -2 -284 0
|
|---|
| 750 | 263 284 285 0
|
|---|
| 751 | -263 -285 0
|
|---|
| 752 | -284 -285 0
|
|---|
| 753 | -3 285 286 0
|
|---|
| 754 | 3 -286 0
|
|---|
| 755 | -285 -286 0
|
|---|
| 756 | 106 -115 287 0
|
|---|
| 757 | -106 -287 0
|
|---|
| 758 | 115 -287 0
|
|---|
| 759 | -106 115 288 0
|
|---|
| 760 | 106 -288 0
|
|---|
| 761 | -115 -288 0
|
|---|
| 762 | 287 288 289 0
|
|---|
| 763 | -287 -289 0
|
|---|
| 764 | -288 -289 0
|
|---|
| 765 | -126 289 290 0
|
|---|
| 766 | 126 -290 0
|
|---|
| 767 | -289 -290 0
|
|---|
| 768 | 286 290 291 0
|
|---|
| 769 | -286 -291 0
|
|---|
| 770 | -290 -291 0
|
|---|
| 771 | 283 -291 292 0
|
|---|
| 772 | -283 -292 0
|
|---|
| 773 | 291 -292 0
|
|---|
| 774 | -293 -56 294 0
|
|---|
| 775 | 293 -294 0
|
|---|
| 776 | 56 -294 0
|
|---|
| 777 | 293 56 295 0
|
|---|
| 778 | -293 -295 0
|
|---|
| 779 | -56 -295 0
|
|---|
| 780 | 296 12 297 0
|
|---|
| 781 | -296 -297 0
|
|---|
| 782 | -12 -297 0
|
|---|
| 783 | -296 -12 298 0
|
|---|
| 784 | 296 -298 0
|
|---|
| 785 | 12 -298 0
|
|---|
| 786 | -299 -41 300 0
|
|---|
| 787 | 299 -300 0
|
|---|
| 788 | 41 -300 0
|
|---|
| 789 | 299 41 301 0
|
|---|
| 790 | -299 -301 0
|
|---|
| 791 | -41 -301 0
|
|---|
| 792 | -302 139 303 0
|
|---|
| 793 | 302 -303 0
|
|---|
| 794 | -139 -303 0
|
|---|
| 795 | 302 -139 304 0
|
|---|
| 796 | -302 -304 0
|
|---|
| 797 | 139 -304 0
|
|---|
| 798 | 303 304 305 0
|
|---|
| 799 | -303 -305 0
|
|---|
| 800 | -304 -305 0
|
|---|
| 801 | 299 -157 306 0
|
|---|
| 802 | -299 -306 0
|
|---|
| 803 | 157 -306 0
|
|---|
| 804 | -299 157 307 0
|
|---|
| 805 | 299 -307 0
|
|---|
| 806 | -157 -307 0
|
|---|
| 807 | 306 307 308 0
|
|---|
| 808 | -306 -308 0
|
|---|
| 809 | -307 -308 0
|
|---|
| 810 | 305 -308 309 0
|
|---|
| 811 | -305 -309 0
|
|---|
| 812 | 308 -309 0
|
|---|
| 813 | 296 -134 310 0
|
|---|
| 814 | -296 -310 0
|
|---|
| 815 | 134 -310 0
|
|---|
| 816 | -296 134 311 0
|
|---|
| 817 | 296 -311 0
|
|---|
| 818 | -134 -311 0
|
|---|
| 819 | 310 311 312 0
|
|---|
| 820 | -310 -312 0
|
|---|
| 821 | -311 -312 0
|
|---|
| 822 | -309 -312 313 0
|
|---|
| 823 | 309 -313 0
|
|---|
| 824 | 312 -313 0
|
|---|
| 825 | -314 159 315 0
|
|---|
| 826 | 314 -315 0
|
|---|
| 827 | -159 -315 0
|
|---|
| 828 | 314 -159 316 0
|
|---|
| 829 | -314 -316 0
|
|---|
| 830 | 159 -316 0
|
|---|
| 831 | 315 316 317 0
|
|---|
| 832 | -315 -317 0
|
|---|
| 833 | -316 -317 0
|
|---|
| 834 | -313 317 318 0
|
|---|
| 835 | 313 -318 0
|
|---|
| 836 | -317 -318 0
|
|---|
| 837 | 319 -318 320 0
|
|---|
| 838 | -319 -320 0
|
|---|
| 839 | 318 -320 0
|
|---|
| 840 | 321 -136 322 0
|
|---|
| 841 | -321 -322 0
|
|---|
| 842 | 136 -322 0
|
|---|
| 843 | -321 136 323 0
|
|---|
| 844 | 321 -323 0
|
|---|
| 845 | -136 -323 0
|
|---|
| 846 | 322 323 324 0
|
|---|
| 847 | -322 -324 0
|
|---|
| 848 | -323 -324 0
|
|---|
| 849 | -320 -324 325 0
|
|---|
| 850 | 320 -325 0
|
|---|
| 851 | 324 -325 0
|
|---|
| 852 | 293 -169 326 0
|
|---|
| 853 | -293 -326 0
|
|---|
| 854 | 169 -326 0
|
|---|
| 855 | -293 169 327 0
|
|---|
| 856 | 293 -327 0
|
|---|
| 857 | -169 -327 0
|
|---|
| 858 | 326 327 328 0
|
|---|
| 859 | -326 -328 0
|
|---|
| 860 | -327 -328 0
|
|---|
| 861 | -325 -328 329 0
|
|---|
| 862 | 325 -329 0
|
|---|
| 863 | 328 -329 0
|
|---|
| 864 | 44 -173 330 0
|
|---|
| 865 | -44 -330 0
|
|---|
| 866 | 173 -330 0
|
|---|
| 867 | -44 173 331 0
|
|---|
| 868 | 44 -331 0
|
|---|
| 869 | -173 -331 0
|
|---|
| 870 | 330 331 332 0
|
|---|
| 871 | -330 -332 0
|
|---|
| 872 | -331 -332 0
|
|---|
| 873 | -329 -332 333 0
|
|---|
| 874 | 329 -333 0
|
|---|
| 875 | 332 -333 0
|
|---|
| 876 | 45 -180 334 0
|
|---|
| 877 | -45 -334 0
|
|---|
| 878 | 180 -334 0
|
|---|
| 879 | -45 180 335 0
|
|---|
| 880 | 45 -335 0
|
|---|
| 881 | -180 -335 0
|
|---|
| 882 | 334 335 336 0
|
|---|
| 883 | -334 -336 0
|
|---|
| 884 | -335 -336 0
|
|---|
| 885 | -333 -336 337 0
|
|---|
| 886 | 333 -337 0
|
|---|
| 887 | 336 -337 0
|
|---|
| 888 | 47 -181 338 0
|
|---|
| 889 | -47 -338 0
|
|---|
| 890 | 181 -338 0
|
|---|
| 891 | -47 181 339 0
|
|---|
| 892 | 47 -339 0
|
|---|
| 893 | -181 -339 0
|
|---|
| 894 | 338 339 340 0
|
|---|
| 895 | -338 -340 0
|
|---|
| 896 | -339 -340 0
|
|---|
| 897 | -337 -340 341 0
|
|---|
| 898 | 337 -341 0
|
|---|
| 899 | 340 -341 0
|
|---|
| 900 | 30 -187 342 0
|
|---|
| 901 | -30 -342 0
|
|---|
| 902 | 187 -342 0
|
|---|
| 903 | -30 187 343 0
|
|---|
| 904 | 30 -343 0
|
|---|
| 905 | -187 -343 0
|
|---|
| 906 | 342 343 344 0
|
|---|
| 907 | -342 -344 0
|
|---|
| 908 | -343 -344 0
|
|---|
| 909 | -341 -344 345 0
|
|---|
| 910 | 341 -345 0
|
|---|
| 911 | 344 -345 0
|
|---|
| 912 | 25 -192 346 0
|
|---|
| 913 | -25 -346 0
|
|---|
| 914 | 192 -346 0
|
|---|
| 915 | -25 192 347 0
|
|---|
| 916 | 25 -347 0
|
|---|
| 917 | -192 -347 0
|
|---|
| 918 | 346 347 348 0
|
|---|
| 919 | -346 -348 0
|
|---|
| 920 | -347 -348 0
|
|---|
| 921 | -345 -348 349 0
|
|---|
| 922 | 345 -349 0
|
|---|
| 923 | 348 -349 0
|
|---|
| 924 | 20 -197 350 0
|
|---|
| 925 | -20 -350 0
|
|---|
| 926 | 197 -350 0
|
|---|
| 927 | -20 197 351 0
|
|---|
| 928 | 20 -351 0
|
|---|
| 929 | -197 -351 0
|
|---|
| 930 | 350 351 352 0
|
|---|
| 931 | -350 -352 0
|
|---|
| 932 | -351 -352 0
|
|---|
| 933 | -349 -352 353 0
|
|---|
| 934 | 349 -353 0
|
|---|
| 935 | 352 -353 0
|
|---|
| 936 | 31 -202 354 0
|
|---|
| 937 | -31 -354 0
|
|---|
| 938 | 202 -354 0
|
|---|
| 939 | -31 202 355 0
|
|---|
| 940 | 31 -355 0
|
|---|
| 941 | -202 -355 0
|
|---|
| 942 | 354 355 356 0
|
|---|
| 943 | -354 -356 0
|
|---|
| 944 | -355 -356 0
|
|---|
| 945 | -353 -356 357 0
|
|---|
| 946 | 353 -357 0
|
|---|
| 947 | 356 -357 0
|
|---|
| 948 | 26 -207 358 0
|
|---|
| 949 | -26 -358 0
|
|---|
| 950 | 207 -358 0
|
|---|
| 951 | -26 207 359 0
|
|---|
| 952 | 26 -359 0
|
|---|
| 953 | -207 -359 0
|
|---|
| 954 | 358 359 360 0
|
|---|
| 955 | -358 -360 0
|
|---|
| 956 | -359 -360 0
|
|---|
| 957 | -357 -360 361 0
|
|---|
| 958 | 357 -361 0
|
|---|
| 959 | 360 -361 0
|
|---|
| 960 | 21 -212 362 0
|
|---|
| 961 | -21 -362 0
|
|---|
| 962 | 212 -362 0
|
|---|
| 963 | -21 212 363 0
|
|---|
| 964 | 21 -363 0
|
|---|
| 965 | -212 -363 0
|
|---|
| 966 | 362 363 364 0
|
|---|
| 967 | -362 -364 0
|
|---|
| 968 | -363 -364 0
|
|---|
| 969 | -361 -364 365 0
|
|---|
| 970 | 361 -365 0
|
|---|
| 971 | 364 -365 0
|
|---|
| 972 | 5 -219 366 0
|
|---|
| 973 | -5 -366 0
|
|---|
| 974 | 219 -366 0
|
|---|
| 975 | -5 219 367 0
|
|---|
| 976 | 5 -367 0
|
|---|
| 977 | -219 -367 0
|
|---|
| 978 | 366 367 368 0
|
|---|
| 979 | -366 -368 0
|
|---|
| 980 | -367 -368 0
|
|---|
| 981 | -365 -368 369 0
|
|---|
| 982 | 365 -369 0
|
|---|
| 983 | 368 -369 0
|
|---|
| 984 | 2 -228 370 0
|
|---|
| 985 | -2 -370 0
|
|---|
| 986 | 228 -370 0
|
|---|
| 987 | -2 228 371 0
|
|---|
| 988 | 2 -371 0
|
|---|
| 989 | -228 -371 0
|
|---|
| 990 | 370 371 372 0
|
|---|
| 991 | -370 -372 0
|
|---|
| 992 | -371 -372 0
|
|---|
| 993 | -369 -372 373 0
|
|---|
| 994 | 369 -373 0
|
|---|
| 995 | 372 -373 0
|
|---|
| 996 | 3 -239 374 0
|
|---|
| 997 | -3 -374 0
|
|---|
| 998 | 239 -374 0
|
|---|
| 999 | -3 239 375 0
|
|---|
| 1000 | 3 -375 0
|
|---|
| 1001 | -239 -375 0
|
|---|
| 1002 | 374 375 376 0
|
|---|
| 1003 | -374 -376 0
|
|---|
| 1004 | -375 -376 0
|
|---|
| 1005 | -373 -376 377 0
|
|---|
| 1006 | 373 -377 0
|
|---|
| 1007 | 376 -377 0
|
|---|
| 1008 | 292 -377 378 0
|
|---|
| 1009 | -292 -378 0
|
|---|
| 1010 | 377 -378 0
|
|---|
| 1011 | 294 -378 379 0
|
|---|
| 1012 | -294 -379 0
|
|---|
| 1013 | 378 -379 0
|
|---|
| 1014 | 295 -379 380 0
|
|---|
| 1015 | -295 -380 0
|
|---|
| 1016 | 379 -380 0
|
|---|
| 1017 | 297 -380 381 0
|
|---|
| 1018 | -297 -381 0
|
|---|
| 1019 | 380 -381 0
|
|---|
| 1020 | 298 -381 382 0
|
|---|
| 1021 | -298 -382 0
|
|---|
| 1022 | 381 -382 0
|
|---|
| 1023 | 300 -382 383 0
|
|---|
| 1024 | -300 -383 0
|
|---|
| 1025 | 382 -383 0
|
|---|
| 1026 | 301 -383 384 0
|
|---|
| 1027 | -301 -384 0
|
|---|
| 1028 | 383 -384 0
|
|---|
| 1029 | 302 -299 385 0
|
|---|
| 1030 | -302 -385 0
|
|---|
| 1031 | 299 -385 0
|
|---|
| 1032 | 296 -385 386 0
|
|---|
| 1033 | -296 -386 0
|
|---|
| 1034 | 385 -386 0
|
|---|
| 1035 | 314 -386 387 0
|
|---|
| 1036 | -314 -387 0
|
|---|
| 1037 | 386 -387 0
|
|---|
| 1038 | 319 -387 388 0
|
|---|
| 1039 | -319 -388 0
|
|---|
| 1040 | 387 -388 0
|
|---|
| 1041 | -321 -388 389 0
|
|---|
| 1042 | 321 -389 0
|
|---|
| 1043 | 388 -389 0
|
|---|
| 1044 | 293 -389 390 0
|
|---|
| 1045 | -293 -390 0
|
|---|
| 1046 | 389 -390 0
|
|---|
| 1047 | 44 -390 391 0
|
|---|
| 1048 | -44 -391 0
|
|---|
| 1049 | 390 -391 0
|
|---|
| 1050 | 45 -391 392 0
|
|---|
| 1051 | -45 -392 0
|
|---|
| 1052 | 391 -392 0
|
|---|
| 1053 | 47 -392 393 0
|
|---|
| 1054 | -47 -393 0
|
|---|
| 1055 | 392 -393 0
|
|---|
| 1056 | -30 -393 394 0
|
|---|
| 1057 | 30 -394 0
|
|---|
| 1058 | 393 -394 0
|
|---|
| 1059 | 25 -394 395 0
|
|---|
| 1060 | -25 -395 0
|
|---|
| 1061 | 394 -395 0
|
|---|
| 1062 | -20 -395 396 0
|
|---|
| 1063 | 20 -396 0
|
|---|
| 1064 | 395 -396 0
|
|---|
| 1065 | -31 -396 397 0
|
|---|
| 1066 | 31 -397 0
|
|---|
| 1067 | 396 -397 0
|
|---|
| 1068 | 26 -397 398 0
|
|---|
| 1069 | -26 -398 0
|
|---|
| 1070 | 397 -398 0
|
|---|
| 1071 | -21 -398 399 0
|
|---|
| 1072 | 21 -399 0
|
|---|
| 1073 | 398 -399 0
|
|---|
| 1074 | -5 -399 400 0
|
|---|
| 1075 | 5 -400 0
|
|---|
| 1076 | 399 -400 0
|
|---|
| 1077 | 2 -400 401 0
|
|---|
| 1078 | -2 -401 0
|
|---|
| 1079 | 400 -401 0
|
|---|
| 1080 | -3 -401 402 0
|
|---|
| 1081 | 3 -402 0
|
|---|
| 1082 | 401 -402 0
|
|---|
| 1083 | -17 -402 403 0
|
|---|
| 1084 | 17 -403 0
|
|---|
| 1085 | 402 -403 0
|
|---|
| 1086 | 41 -403 404 0
|
|---|
| 1087 | -41 -404 0
|
|---|
| 1088 | 403 -404 0
|
|---|
| 1089 | -12 -404 405 0
|
|---|
| 1090 | 12 -405 0
|
|---|
| 1091 | 404 -405 0
|
|---|
| 1092 | -43 -405 406 0
|
|---|
| 1093 | 43 -406 0
|
|---|
| 1094 | 405 -406 0
|
|---|
| 1095 | -14 -406 407 0
|
|---|
| 1096 | 14 -407 0
|
|---|
| 1097 | 406 -407 0
|
|---|
| 1098 | -56 -407 408 0
|
|---|
| 1099 | 56 -408 0
|
|---|
| 1100 | 407 -408 0
|
|---|
| 1101 | 60 -408 409 0
|
|---|
| 1102 | -60 -409 0
|
|---|
| 1103 | 408 -409 0
|
|---|
| 1104 | 67 -409 410 0
|
|---|
| 1105 | -67 -410 0
|
|---|
| 1106 | 409 -410 0
|
|---|
| 1107 | 68 -410 411 0
|
|---|
| 1108 | -68 -411 0
|
|---|
| 1109 | 410 -411 0
|
|---|
| 1110 | -74 -411 412 0
|
|---|
| 1111 | 74 -412 0
|
|---|
| 1112 | 411 -412 0
|
|---|
| 1113 | 79 -412 413 0
|
|---|
| 1114 | -79 -413 0
|
|---|
| 1115 | 412 -413 0
|
|---|
| 1116 | -84 -413 414 0
|
|---|
| 1117 | 84 -414 0
|
|---|
| 1118 | 413 -414 0
|
|---|
| 1119 | -89 -414 415 0
|
|---|
| 1120 | 89 -415 0
|
|---|
| 1121 | 414 -415 0
|
|---|
| 1122 | 94 -415 416 0
|
|---|
| 1123 | -94 -416 0
|
|---|
| 1124 | 415 -416 0
|
|---|
| 1125 | -99 -416 417 0
|
|---|
| 1126 | 99 -417 0
|
|---|
| 1127 | 416 -417 0
|
|---|
| 1128 | -106 -417 418 0
|
|---|
| 1129 | 106 -418 0
|
|---|
| 1130 | 417 -418 0
|
|---|
| 1131 | 115 -418 419 0
|
|---|
| 1132 | -115 -419 0
|
|---|
| 1133 | 418 -419 0
|
|---|
| 1134 | -126 -419 420 0
|
|---|
| 1135 | 126 -420 0
|
|---|
| 1136 | 419 -420 0
|
|---|
| 1137 | -384 420 1 0
|
|---|
| 1138 | 384 -1 0
|
|---|
| 1139 | -420 -1 0
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
