diff --git a/.vscode/settings.json b/.vscode/settings.json index d24a403..6c9f8d3 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -55,6 +55,11 @@ "streambuf": "cpp", "cinttypes": "cpp", "assert.h": "c", - "bitset": "cpp" + "bitset": "cpp", + "complex": "cpp", + "set": "cpp", + "iomanip": "cpp", + "typeindex": "cpp", + "variant": "cpp" } } \ No newline at end of file diff --git a/a.out b/a.out new file mode 100644 index 0000000..e69de29 diff --git a/export.txt b/export.txt new file mode 100644 index 0000000..bdd5ba8 --- /dev/null +++ b/export.txt @@ -0,0 +1,1976 @@ +1: -148 16 -261 +1: -391 65 310 249 +1: 101 96 -93 94 +1: -488 83 130 +1: -406 318 65 238 57 +1: -103 96 -93 94 +1: -163 472 56 +1: -103 -93 94 +1: -106 67 +1: -240 352 213 +1: -34 95 96 94 +1: -360 423 -9 58 319 +1: -182 284 81 +1: -79 216 137 -93 42 +1: -227 128 77 71 +1: 76 96 -93 94 +1: -167 372 482 174 479 +1: -19 -93 58 319 423 +1: -127 216 137 -93 42 +1: -312 -93 58 319 423 +1: -231 35 153 199 +1: -322 66 58 -93 319 423 +1: -265 431 443 +1: -453 314 228 +1: -396 168 343 +1: -336 -261 177 +1: -429 314 228 +1: -299 148 91 +1: -377 382 34 47 +1: -265 176 16 +1: -360 -261 16 412 388 +1: -220 331 -11 467 +1: -299 148 91 +1: -240 15 213 +1: -148 312 -261 49 320 +1: -192 431 443 299 +1: -240 213 +1: -154 -230 153 5 +1: -293 385 86 118 +1: -303 386 47 341 +1: -41 83 253 +1: -480 67 +1: -229 228 372 +1: -381 359 130 +1: -100 148 91 +1: 376 182 -5 +1: -378 168 345 343 +1: -316 201 377 +1: -293 385 86 +1: -154 413 257 77 409 +1: -6 472 56 +1: -182 284 81 +1: 261 56 4 +1: -148 16 -261 +1: -5 237 281 400 178 +1: -32 237 394 314 19 439 305 +1: -18 56 58 55 4 54 57 42 +1: -191 301 -425 171 365 159 +1: -100 91 -261 +1: -243 -409 319 397 +1: -67 37 181 124 472 56 +1: 395 243 90 98 435 392 48 -376 231 +1: -280 312 103 -241 +1: -42 127 344 235 317 +1: -322 352 213 5 -156 487 +1: -111 69 240 46 220 237 238 +1: -312 4 +1: -91 95 96 79 +1: -432 339 178 402 +1: -34 94 95 +1: -182 81 284 +1: -438 40 207 119 +1: -266 16 177 +1: -67 270 15 +1: -163 465 39 325 56 +1: -304 158 34 394 +1: -209 304 158 395 -166 +1: -212 7 346 166 +1: 9 -148 56 +1: -41 83 253 +1: -83 33 34 290 -236 +1: -255 169 5 409 -59 192 +1: -79 216 42 +1: -480 79 96 95 +1: -40 143 56 +1: -272 341 182 -302 +1: -131 391 5 421 6 25 -9 388 221 +1: -489 78 278 110 327 48 +1: -237 239 319 182 +1: -111 408 182 +1: -73 158 395 304 342 377 +1: 376 -302 182 341 +1: -182 284 81 +1: -256 372 314 +1: -303 386 47 341 +1: -239 386 47 341 +1: -316 339 314 160 197 343 133 369 57 377 415 +1: 241 395 435 98 343 +1: -243 435 319 136 22 397 +1: -197 400 178 237 153 +1: -61 -401 120 65 +1: -393 39 -436 415 +1: -65 284 303 153 400 281 -193 +1: -400 235 231 234 -230 +1: -227 128 77 71 +1: -91 332 151 179 415 2 326 96 +1: -72 -93 95 96 +1: -315 5 204 277 386 +1: 193 199 -230 35 +1: -235 207 42 437 454 +1: -237 359 313 301 +1: -256 343 -233 18 314 +1: -238 423 301 77 228 65 +1: 386 54 408 -315 -127 +1: -282 47 182 386 +1: -95 103 106 108 107 102 -101 -76 +1: 302 392 334 129 227 397 304 +1: -103 148 217 94 +1: -103 217 94 +1: -243 136 397 22 319 +1: -83 290 -236 34 33 +1: -66 63 398 396 145 +1: -7 89 479 418 483 +1: -136 140 413 498 120 +1: 1 482 107 69 297 +1: -319 56 106 494 466 4 +1: -488 281 228 83 +1: -212 67 75 385 +1: -274 178 73 290 339 160 191 +1: 193 463 470 471 487 -156 391 +1: -43 137 138 -93 34 +1: -114 255 -76 353 263 151 352 194 +1: -433 178 160 339 +1: -237 323 239 265 396 +1: -100 91 4 +1: -191 441 -431 157 470 +1: -191 15 65 310 -431 157 470 +1: -8 135 99 430 80 113 +1: -158 244 466 163 267 358 233 332 -469 +1: -277 415 449 202 +1: -119 103 -241 312 233 290 191 +1: 233 112 297 325 39 3 191 73 +1: -320 -290 73 431 4 +1: -91 -43 138 34 +1: -325 372 163 128 39 77 175 +1: -265 443 65 431 +1: -231 188 192 191 24 189 153 199 +1: -472 13 265 111 81 -182 382 +1: -374 247 -16 310 385 17 67 +1: -6 281 215 -305 235 157 +1: -281 -177 220 465 379 +1: -81 327 -343 -261 +1: -290 39 112 325 297 +1: -388 103 -423 -241 128 312 209 +1: -225 -103 325 -76 +1: -197 314 228 15 198 195 188 39 +1: -410 5 487 421 +1: -43 150 148 138 34 +1: -383 423 433 70 39 436 415 151 +1: -38 151 415 39 311 423 433 +1: -309 158 34 47 +1: -47 115 -77 246 +1: -429 86 71 24 461 363 +1: -428 -9 92 -93 58 +1: -129 153 237 178 -193 +1: -74 143 39 -394 325 +1: -209 237 69 -236 46 239 +1: -317 332 152 49 422 436 +1: -127 182 -302 386 +1: -207 235 43 344 127 +1: -103 217 148 +1: -29 333 42 207 +1: -305 424 -246 -407 +1: -138 488 95 -93 -140 74 +1: -294 244 263 139 353 255 +1: -348 90 463 330 19 +1: 156 441 359 306 319 448 130 453 +1: -299 -238 433 148 +1: -483 5 -156 249 -73 +1: -431 441 470 157 369 114 +1: -315 31 39 395 -111 +1: -163 39 325 465 56 +1: 302 392 227 334 397 129 +1: -316 339 314 254 197 160 +1: -173 231 395 -376 392 +1: -293 163 494 466 385 +1: -103 217 +1: -293 494 466 385 +1: -127 -191 -431 441 +1: -244 215 64 334 +1: -202 86 180 385 +1: -479 244 494 466 +1: -91 42 34 138 216 +1: -16 356 310 247 276 +1: -44 18 433 -233 +1: -180 373 -156 152 -261 -81 +1: -27 18 -399 343 107 67 64 +1: -111 239 182 281 -193 400 +1: -294 228 313 301 65 +1: -140 74 202 488 382 +1: -237 406 207 56 +1: -243 372 281 83 359 +1: -64 388 433 200 290 +1: -210 51 67 377 +1: -142 58 332 38 +1: -368 183 419 213 40 -297 +1: -386 392 427 395 48 +1: -392 372 161 200 338 +1: -141 453 109 479 482 +1: -413 327 129 131 278 133 212 400 -253 6 +1: -312 116 -407 -399 44 119 408 +1: -91 95 96 79 +1: -92 -363 164 471 +1: -242 158 47 34 +1: -158 421 391 5 471 360 445 164 +1: -225 201 377 325 -76 91 +1: -325 423 267 286 332 -469 +1: -488 83 130 +1: -83 -236 34 290 33 +1: -118 332 10 132 434 19 295 +1: -7 -241 320 312 -65 233 +1: -115 171 368 365 7 -425 +1: -231 -100 153 91 +1: -428 310 233 -391 +1: -131 396 274 398 63 +1: -120 348 281 127 207 -237 +1: -318 163 494 485 +1: -315 373 397 259 114 -1 68 +1: -498 32 449 307 409 +1: -498 32 307 449 +1: -173 -386 395 392 +1: -32 449 395 143 324 +1: -3 173 430 112 177 168 +1: -401 -425 171 -191 301 +1: -185 408 -312 +1: -160 42 488 137 382 -56 +1: -71 359 228 65 313 +1: -140 74 382 488 202 +1: -18 101 111 121 +1: -111 453 411 441 243 306 +1: -381 -41 +1: -323 284 81 408 319 +1: -212 75 67 385 +1: -359 303 277 128 -288 +1: -129 281 314 153 -193 178 +1: -67 275 377 327 39 215 496 +1: -170 -297 340 +1: -382 95 -138 +1: -212 7 166 346 +1: -209 345 227 158 342 122 304 395 +1: -144 483 -412 163 -101 +1: -168 471 432 244 315 352 +1: -69 479 174 372 109 +1: -40 77 175 128 39 372 210 56 +1: -71 -236 -360 467 290 +1: -406 238 318 57 65 +1: -479 213 410 369 6 352 +1: -6 -292 148 447 -92 +1: -303 -143 489 212 371 +1: -191 437 141 322 209 333 301 171 -425 365 +1: 9 -148 +1: 191 39 -472 325 233 3 +1: -311 346 316 373 395 379 397 +1: -100 -241 49 312 148 +1: -465 310 65 15 3 233 +1: -112 121 127 274 106 +1: -81 -428 -156 5 +1: -320 -308 405 269 +1: -312 408 293 119 12 +1: -258 372 281 160 -148 +1: -397 31 385 300 395 423 160 202 +1: 386 454 471 231 277 204 182 47 +1: -147 316 379 373 397 251 395 +1: -57 343 290 433 200 281 314 +1: -44 98 435 395 243 +1: -129 237 -53 312 18 38 178 -193 100 +1: 21 152 339 67 448 491 +1: -190 -34 488 -140 +1: -237 301 359 313 +1: -56 132 6 187 185 177 91 +1: -488 423 449 202 83 +1: -7 418 479 483 89 +1: -212 171 172 132 173 170 25 157 257 409 77 +1: -111 46 240 238 69 237 220 +1: -100 409 169 25 -59 5 192 +1: -18 131 69 269 -218 244 -85 221 +1: -34 30 124 274 129 163 281 -18 47 111 121 +1: 425 267 171 429 148 52 164 274 24 +1: -34 18 128 433 77 122 290 388 343 +1: -56 94 102 107 96 79 +1: -134 483 453 433 -493 113 411 474 52 +1: -100 29 98 413 206 44 -412 415 -407 +1: -100 168 128 79 96 433 77 122 290 388 343 148 +1: -198 405 54 190 368 +1: -268 386 47 423 -288 41 128 +1: -113 82 77 84 80 -76 79 81 34 +1: -138 423 415 449 +1: -34 -101 244 432 315 343 428 122 -412 124 274 129 281 47 111 121 77 128 472 433 290 388 +1: -111 69 238 240 237 220 +1: -47 -166 233 377 395 +1: -51 98 343 233 -65 90 +1: -142 136 274 322 61 248 +1: -352 134 80 410 27 457 +1: -247 64 334 325 138 121 127 274 +1: -466 303 277 423 128 +1: 470 369 157 432 441 114 106 121 127 274 +1: 410 58 152 240 374 166 187 391 100 369 6 186 177 370 27 80 447 419 134 452 +1: -410 47 433 77 378 377 379 75 111 49 -241 312 +1: -471 45 -226 -241 140 51 429 395 254 408 221 435 184 144 30 22 255 136 25 +1: -176 149 370 216 457 134 289 15 +1: -91 233 96 -230 -302 311 232 175 428 251 -93 +1: -328 372 39 210 175 77 +1: -123 290 200 388 334 325 221 +1: 47 189 16 327 388 387 -24 100 136 341 386 -302 34 382 +1: -41 151 325 253 +1: -285 266 69 67 428 225 -433 293 119 12 +1: -81 465 73 -56 91 -433 178 +1: -129 314 -193 178 153 +1: 281 314 -193 400 372 -111 +1: -457 -382 337 489 419 248 313 +1: -231 160 191 384 42 48 247 +1: -277 436 400 372 281 136 -433 16 +1: 277 393 369 383 392 390 147 391 471 5 386 231 454 41 -288 423 128 +1: -204 160 -433 252 387 338 13 -399 7 159 35 5 +1: 77 -163 -6 -112 -233 +1: 47 95 96 -56 466 229 202 42 281 239 251 256 386 -303 +1: 277 -163 -6 -233 -112 +1: -164 324 231 -56 -230 3 227 273 42 423 134 240 293 391 +1: -140 299 65 73 147 290 191 24 303 377 358 245 200 486 423 -230 160 325 -76 71 485 41 203 -288 99 313 231 3 359 209 459 476 228 229 294 350 -292 281 30 319 -112 -6 237 -163 +1: 202 102 490 -233 255 127 170 65 461 147 359 228 476 457 238 329 -277 42 240 391 38 -163 74 71 -59 69 294 313 421 7 123 118 138 140 -93 348 115 120 16 183 470 148 463 143 36 388 24 +1: -163 -233 -6 -112 +1: -111 -433 160 400 372 281 +1: -114 102 151 137 138 325 103 -140 136 +1: -176 326 474 332 125 +1: -91 232 -230 233 231 +1: -431 394 -376 181 41 299 305 427 390 +1: -415 416 77 -22 +1: -238 264 65 301 77 310 +1: -232 114 373 259 -1 -201 255 470 138 106 127 +1: -91 -241 49 -24 -471 160 +1: -82 54 319 182 +1: -312 178 400 487 421 391 -1 373 259 397 255 377 8 +1: -111 -193 182 281 400 +1: -397 230 277 386 +1: -486 153 154 132 25 87 +1: -160 229 377 395 74 96 342 466 233 +1: -160 137 -56 382 42 +1: 408 51 8 119 12 49 422 114 116 123 44 -407 +1: -64 108 -95 +1: -67 270 89 -7 479 +1: -331 382 47 201 51 +1: -356 372 467 235 395 124 366 190 +1: 187 91 177 132 6 185 186 346 329 392 304 262 227 +1: -212 324 395 -230 77 433 147 +1: -479 7 99 413 303 81 +1: 302 274 127 106 121 +1: -172 303 182 389 +1: -436 325 -76 419 410 447 457 27 80 +1: -184 435 98 90 395 +1: -346 360 419 -351 369 429 203 +1: -15 408 -312 58 -9 -93 +1: -334 55 223 -218 224 222 219 16 225 +1: -212 166 7 75 67 +1: -178 91 35 -230 5 186 177 6 185 +1: -212 119 207 356 75 67 +1: -113 433 192 366 272 133 +1: -169 285 144 205 335 443 +1: -77 431 73 443 465 +1: -234 -76 325 -293 +1: -446 395 290 65 127 +1: -317 49 422 332 436 +1: -130 147 433 423 281 372 +1: -170 238 65 -401 302 +1: -194 207 340 112 379 39 325 +1: -290 396 239 54 305 431 443 73 +1: 101 121 470 138 127 +1: 487 359 253 171 365 421 -425 5 -191 391 +1: -301 128 -227 +1: -160 42 382 -56 +1: -125 47 58 116 175 -230 +1: -395 359 228 77 313 +1: -154 409 413 77 257 +1: -111 305 323 265 396 +1: -116 16 -190 136 386 341 +1: -81 -230 15 50 249 58 +1: -330 348 151 -103 125 91 +1: -257 38 436 70 71 127 77 +1: 241 98 395 343 435 +1: -38 465 325 39 297 +1: -30 5 277 386 454 204 +1: 39 465 325 297 436 252 70 +1: -130 39 77 423 433 151 +1: -165 335 144 151 60 285 +1: -265 443 431 +1: -477 180 118 123 +1: 293 212 81 118 83 56 11 112 423 267 332 -325 379 251 464 200 397 163 185 123 395 360 -385 -128 477 +1: -406 -356 315 81 372 +1: -472 180 474 316 467 473 436 331 475 324 449 45 -230 307 484 490 275 197 439 356 462 304 +1: 76 -428 -190 -281 -33 +1: -415 179 -76 73 290 3 +1: -295 267 423 -325 -469 +1: -176 19 90 69 463 474 125 +1: 261 19 90 69 463 178 187 346 304 329 227 +1: -41 -241 320 49 -76 325 +1: -403 130 74 202 -140 +1: -289 5 487 369 42 6 391 +1: -244 227 157 189 229 -1 103 +1: 241 247 42 -161 48 123 118 +1: 16 338 372 196 244 42 315 247 -233 249 180 6 -15 166 -148 +1: -127 496 60 210 294 447 49 +1: -210 127 71 77 115 400 487 373 240 73 100 +1: -465 207 56 439 284 81 +1: -435 283 286 284 -226 208 +1: -120 108 207 439 +1: -103 74 229 202 466 488 -93 +1: -185 118 385 123 79 95 -93 +1: 302 201 382 144 304 34 +1: -466 277 423 303 -238 +1: 310 311 107 249 314 -236 127 65 15 +1: -154 73 77 409 421 397 257 +1: -229 65 228 359 77 +1: -400 136 199 201 200 190 67 461 385 +1: -56 -160 42 95 229 488 79 +1: -267 -288 106 168 203 5 -308 247 +1: -221 -230 451 47 -264 452 162 339 100 67 224 283 +1: 216 138 106 107 -56 42 94 +1: -277 -221 -93 67 92 +1: -5 -65 191 178 281 182 386 +1: -204 127 249 -236 107 314 +1: -163 382 488 -140 421 25 -9 483 6 472 +1: 277 5 -236 107 314 386 -315 249 +1: -416 -77 443 465 99 413 346 +1: -163 310 249 15 235 107 106 128 269 482 -308 159 28 90 274 103 -241 216 42 79 48 231 81 284 472 +1: 234 203 168 106 -267 -308 247 235 231 233 128 124 328 472 432 +1: 302 377 395 158 233 342 201 34 382 +1: 34 395 158 233 342 201 302 382 47 +1: -266 351 -236 273 457 422 435 118 +1: -34 127 424 -425 477 385 102 118 123 79 95 +1: -281 16 118 379 465 220 +1: 193 160 199 35 5 314 189 -81 +1: -234 -315 200 118 477 163 123 +1: -175 127 274 106 470 234 231 -230 319 423 -19 111 163 323 272 +1: -190 119 293 408 114 422 +1: -447 498 -136 120 472 56 +1: -170 400 210 259 440 235 157 +1: -382 79 -93 95 +1: -187 334 472 129 397 32 +1: -315 204 386 277 47 +1: -136 -271 116 216 309 310 311 246 -308 +1: -141 389 129 303 +1: -491 321 135 -53 411 83 +1: -173 -302 341 182 48 231 395 392 +1: -173 485 244 163 341 182 231 395 -302 +1: -160 -127 233 34 158 -315 +1: -370 187 186 100 132 6 +1: -38 160 385 178 209 118 413 409 157 257 +1: -5 123 86 118 477 -315 200 77 395 127 197 467 79 -93 400 178 264 253 341 313 103 312 +1: 102 96 103 205 38 182 -127 64 +1: -73 304 158 342 377 395 +1: -320 49 114 293 408 422 67 +1: -69 351 -236 457 422 435 118 +1: -473 457 -236 351 273 422 435 118 163 -412 -101 +1: -108 119 340 356 143 +1: -406 -95 107 106 +1: 73 6 -36 410 42 473 421 397 465 443 299 65 +1: -370 472 377 323 47 429 203 187 360 227 369 27 6 132 100 +1: -91 388 353 314 430 253 322 143 210 440 259 400 157 +1: -56 394 47 158 95 79 +1: -173 -226 45 395 140 51 429 485 +1: 376 35 199 153 277 454 471 182 +1: -127 382 201 34 -146 471 148 182 386 +1: -127 233 -315 158 -160 +1: -152 259 397 -315 -146 470 +1: 1 470 471 -146 +1: -56 470 106 -146 471 107 96 79 94 +1: -318 -148 353 194 255 352 +1: -310 -173 48 395 -302 -236 107 314 277 -315 386 +1: -34 269 46 270 111 268 266 227 47 194 +1: -392 252 -469 17 -1 6 364 131 +1: -20 454 355 207 42 +1: -203 71 127 128 333 235 317 +1: -127 471 -324 200 148 433 449 415 423 +1: -459 143 431 465 299 56 65 +1: -220 69 221 64 215 312 163 332 466 -158 267 4 +1: -267 151 177 16 +1: -414 462 217 225 27 268 151 +1: -95 43 -324 197 467 +1: -47 233 104 110 58 -218 99 212 -85 142 +1: -325 286 -469 332 423 +1: -362 158 395 377 304 151 -76 +1: -459 377 51 130 433 +1: -465 245 249 180 3 191 +1: -233 161 338 372 196 245 249 180 +1: -213 429 151 325 203 -385 457 419 187 369 227 +1: -274 247 432 471 315 244 +1: -54 389 -172 387 -271 458 411 329 +1: -163 56 122 -172 +1: -312 408 119 293 +1: -388 423 415 449 +1: -122 346 99 7 176 330 2 415 -97 336 +1: -78 89 387 418 483 303 7 81 99 +1: -80 237 201 471 401 377 470 250 -218 231 225 -230 130 359 +1: -253 381 383 384 382 385 391 166 370 410 42 229 167 237 54 111 +1: 6 -1 3 2 8 7 5 391 166 370 410 42 +1: -106 79 96 -93 +1: -70 90 86 88 92 91 89 +1: -313 50 91 151 55 125 +1: -290 -360 -261 44 209 +1: 302 277 231 471 386 454 +1: -122 382 202 74 +1: -432 423 415 449 +1: -3 34 382 8 201 +1: -212 6 177 100 132 187 77 423 147 356 67 75 207 +1: -202 180 86 385 +1: -109 385 381 384 329 382 311 39 151 415 +1: -148 237 -5 235 281 325 -76 +1: -38 138 137 -93 216 126 128 127 +1: -137 301 24 246 381 304 11 430 135 354 99 394 382 158 +1: -329 385 -202 67 +1: -106 190 189 24 94 -93 138 216 0: -90 69 131 -341 244 312 221 -97 495 2 415 176 +0: 1 67 377 51 +0: -413 385 300 71 395 461 39 485 86 +0: -134 -44 395 435 +0: -44 463 69 19 185 177 +0: -283 47 163 377 111 272 +0: -134 90 435 395 343 +0: -159 209 141 333 437 114 322 +0: -467 83 -53 463 146 321 +0: -467 -53 463 146 321 +0: -41 418 479 66 89 +0: -397 415 202 233 234 235 231 +0: 412 -85 14 100 55 99 +0: -386 233 431 158 34 +0: -119 406 -237 +0: -265 56 272 47 377 111 116 +0: -14 234 432 328 128 124 -230 42 437 233 231 +0: -431 312 69 266 147 67 186 225 +0: -111 69 182 238 240 220 +0: -138 333 355 454 207 +0: -34 130 128 253 -69 +0: -127 -416 382 +0: -161 71 77 128 +0: -281 -236 8 331 34 33 +0: -142 86 90 153 -125 92 +0: -280 408 44 116 -407 -399 +0: -320 58 -93 92 319 67 +0: -312 408 293 119 +0: -419 278 151 -288 398 447 155 +0: 193 150 5 382 3 47 67 +0: 218 48 143 -332 447 -261 +0: -266 436 70 38 67 75 461 +0: -415 436 70 38 +0: -154 295 434 285 23 476 291 77 115 140 20 86 28 90 406 71 461 +0: -95 -65 -209 -163 +0: -463 -191 -209 441 +0: -22 301 -274 7 368 77 416 -412 +0: -115 431 158 -209 395 +0: -487 454 333 207 42 +0: -192 299 431 443 +0: -402 360 445 31 471 +0: -148 -67 66 16 +0: -280 103 -241 312 +0: -73 103 96 34 102 145 +0: -346 129 75 -81 320 10 67 372 +0: -23 77 147 433 +0: -42 6 344 317 -56 187 177 185 127 +0: -43 158 377 -73 395 91 148 +0: 308 244 352 194 353 263 +0: -77 -80 281 83 +0: -137 34 145 65 205 103 +0: -39 140 120 389 413 35 34 37 11 33 +0: -320 69 67 294 362 202 210 459 313 56 178 40 447 194 341 60 +0: -212 227 47 386 266 138 182 -76 127 +0: -91 -386 37 245 -96 358 +0: -163 482 453 372 127 71 77 +0: 101 145 34 65 205 96 +0: 49 83 253 447 341 40 210 60 496 194 -241 312 103 +0: -125 217 325 150 -76 +0: -386 63 142 274 398 +0: -227 -39 461 127 290 71 +0: -190 123 79 94 328 200 454 -56 163 352 213 312 +0: 201 135 31 471 51 430 -233 267 113 +0: -372 131 40 -445 -469 290 +0: -315 -175 163 111 341 -302 +0: 261 56 -67 +0: -34 77 128 126 +0: -237 -83 33 290 128 126 +0: -269 325 215 334 +0: -42 359 373 142 161 -56 344 187 177 185 127 +0: -330 48 395 231 -376 415 243 57 133 184 322 +0: -244 405 -308 -76 325 -41 49 +0: -274 65 34 103 102 205 +0: -304 386 182 341 +0: -191 25 415 243 395 170 57 184 172 90 343 173 +0: -233 320 155 137 245 125 397 37 -316 343 243 133 415 57 +0: -233 155 320 137 245 125 397 37 143 324 395 449 +0: 302 382 419 111 136 3 144 436 +0: -386 323 305 265 163 116 +0: -392 231 409 -97 300 186 116 3 +0: -377 73 443 299 191 3 +0: -372 253 322 430 353 234 383 +0: -61 36 252 151 324 395 311 +0: 261 -369 56 +0: -325 232 96 38 83 229 202 231 235 -230 395 304 158 377 +0: -253 131 212 400 389 489 129 133 +0: -356 167 485 489 181 268 130 283 301 +0: -369 -7 270 479 -148 66 +0: -41 369 -171 166 83 66 +0: -67 -7 270 479 66 -148 +0: 261 163 146 281 274 129 199 96 153 205 103 34 284 303 152 -171 +0: 156 -288 247 -16 128 310 277 423 +0: -123 484 402 209 409 178 32 307 +0: -213 208 231 345 77 471 336 +0: -373 465 220 16 -281 +0: -206 163 494 244 200 372 187 +0: -243 320 47 129 484 22 319 397 +0: 77 38 111 64 71 128 -43 -93 +0: -171 -354 -386 -148 -472 +0: -274 346 99 166 290 233 73 +0: -15 449 -96 415 +0: -464 329 17 67 381 75 382 383 81 303 +0: -268 -290 423 303 297 41 112 +0: -42 352 270 +0: -160 38 229 96 83 214 232 +0: -160 96 -376 130 395 83 232 247 229 41 128 -288 303 38 +0: -343 -359 402 339 -288 303 178 +0: -356 351 -156 152 343 303 454 42 129 182 +0: -400 -354 -386 -472 -148 +0: -69 290 8 34 331 +0: 128 277 303 -359 71 -43 -93 +0: -362 299 465 65 73 +0: 343 65 318 238 200 -372 281 146 274 433 290 122 345 227 +0: 113 409 157 413 77 128 274 96 127 160 106 93 137 131 79 +0: -136 137 -71 113 96 160 +0: -123 200 290 343 178 402 209 409 307 +0: -346 -7 -67 89 244 466 343 345 +0: -401 120 423 651: -96 111 239 73 13 14 82 265 408 138 +1: -185 232 432 229 38 202 83 +1: -369 237 400 281 421 487 -156 +1: -315 277 5 386 204 +1: -6 212 465 299 65 325 431 379 56 +1: -111 182 -193 400 281 +1: -65 128 126 71 +1: -213 153 81 -129 -193 +1: 1 65 249 421 487 -156 67 +1: -95 43 197 467 395 235 297 +1: -440 138 18 28 213 372 +1: -81 -425 -399 213 -177 327 -156 -428 +1: -69 -179 -428 -129 +1: -237 318 57 77 423 301 207 56 +1: -360 53 423 319 +1: 230 -156 421 -428 310 +1: -360 58 423 319 -9 +1: -290 -472 39 325 +1: -120 43 344 235 108 439 +1: -446 115 419 213 183 +1: -319 114 67 160 432 -24 +1: -406 372 373 -229 +1: -111 176 177 408 +1: -432 204 384 191 +1: -209 158 431 395 342 304 +1: -148 341 47 386 143 16 +1: 343 461 395 65 290 170 140 168 388 18 +1: -182 81 284 +1: -154 409 -228 413 +1: -392 161 372 338 200 +1: -471 -376 427 395 392 +1: -422 420 356 -134 +1: -289 202 382 96 488 229 16 -261 +1: -368 467 301 473 316 180 331 198 436 65 273 486 355 358 280 +1: -447 147 391 383 393 369 311 390 +1: -157 -435 283 286 284 +1: -142 80 354 11 113 430 +1: -431 157 441 470 369 148 463 401 +1: -114 463 470 401 148 +1: -206 99 430 354 11 80 +1: 261 356 310 276 81 +1: -320 479 109 174 372 +1: -25 237 -193 281 400 185 100 186 177 +1: -281 231 5 35 386 454 471 +1: 261 56 -67 +1: -448 -303 359 -143 83 +1: -81 93 116 175 148 150 -230 +1: -220 -85 191 -377 56 244 64 312 221 69 +1: 143 56 472 277 -397 395 324 +1: -202 328 -315 200 477 163 86 +1: -99 75 385 67 311 105 -308 255 246 309 310 116 118 -281 465 220 +1: -81 254 160 314 189 197 +1: -281 -244 -342 302 +1: -267 418 479 387 278 65 -251 -148 +1: -40 3 5 -67 -1 6 8 +1: -66 121 127 138 470 +1: -483 213 5 -156 -322 +1: -34 77 126 128 +1: -313 -93 -168 137 216 +1: -356 5 487 -73 249 +1: -463 103 253 359 49 -241 +1: -425 138 18 213 305 256 64 107 67 343 +1: -247 421 487 -156 65 249 +1: -400 235 234 -230 231 +1: -180 -271 387 400 411 17 +1: -56 438 419 422 -103 +1: -66 221 16 224 55 223 -218 225 -47 8 377 +1: -141 385 -103 118 123 +1: 305 -306 396 -111 +1: -258 415 356 340 432 119 42 332 315 125 235 43 127 +1: -180 131 337 294 110 188 326 +1: -118 34 331 -281 -236 +1: -33 472 435 414 -302 265 480 82 +1: -498 129 -111 320 30 +1: 425 323 239 54 -314 178 209 +1: -345 290 18 140 388 +1: -5 -111 -77 -428 +1: -186 290 73 3 343 388 18 +1: -320 411 483 52 433 113 404 344 474 +1: 66 53 106 263 56 +1: -312 180 400 372 264 129 421 34 +1: -106 403 120 66 -93 470 242 368 199 138 137 -6 96 +1: -472 291 -246 3 92 316 +1: -44 243 98 435 395 +1: -409 -230 324 395 143 +1: -182 396 305 323 265 +1: -246 41 415 171 247 189 316 360 +1: -315 386 -127 277 +1: -15 410 369 11 471 31 360 402 171 430 274 24 148 429 +1: -189 -488 402 65 228 77 +1: -443 -130 238 311 465 379 212 143 +1: -91 476 77 433 79 96 +1: -488 -38 244 228 402 24 213 416 126 36 31 229 221 296 252 -163 183 200 159 417 +1: -324 433 314 200 228 18 +1: -41 377 51 253 67 +1: -415 -261 177 73 3 233 +1: -415 395 143 -32 73 3 233 +1: -83 65 228 -71 115 -47 24 +1: -37 373 128 432 234 328 +1: -391 346 413 3 -465 +1: -199 303 495 415 165 197 443 +1: -274 329 24 221 -302 127 315 247 244 471 301 171 7 368 +1: -119 -343 49 116 123 +1: -136 113 160 96 137 -71 +1: -47 -38 402 183 31 252 200 221 36 228 213 244 416 126 -163 229 159 296 24 417 +1: -56 -303 47 233 34 -160 42 +1: -74 -472 138 16 -341 +1: -498 30 320 47 129 +1: -148 49 320 312 -261 +1: -419 365 428 154 498 147 -13 434 359 10 +1: -290 325 379 212 143 73 299 431 +1: -148 267 253 15 92 212 325 359 158 +1: -369 291 19 227 56 233 -163 -395 -48 31 +1: -148 -48 354 11 359 80 -261 +1: -386 233 229 96 -160 48 427 74 +1: -82 -160 42 -163 +1: -201 -376 320 58 118 479 272 276 183 137 148 94 480 265 386 230 277 +1: -160 433 252 416 200 228 221 213 296 244 229 31 36 -163 183 126 159 24 402 417 -38 +1: -303 -111 -193 281 +1: -382 83 38 232 214 432 +1: -11 201 382 51 47 +1: -388 -227 338 196 +1: -67 332 286 -469 215 334 221 270 +1: -246 38 215 58 374 405 482 269 +1: -103 465 379 39 112 -64 -412 163 +1: -350 400 458 17 387 +1: -60 396 142 398 145 +1: 102 -73 145 103 -140 325 179 136 +1: 151 423 39 77 -130 179 -76 +1: -170 95 439 -34 318 238 57 +1: -67 138 216 42 107 261 +1: -384 400 387 17 472 56 -21 14 455 410 351 27 -9 +1: -386 116 163 111 47 323 +1: 9 270 66 +1: -129 81 315 124 -356 +1: -254 122 239 29 393 402 +1: -232 397 -315 114 -1 259 389 303 +1: -386 163 116 111 323 +1: -484 -255 5 169 -59 +1: -202 274 -329 108 -95 +1: -65 74 72 70 71 68 33 75 128 +1: -209 200 290 18 388 +1: -73 -140 377 395 342 74 202 +1: 226 215 43 217 216 -59 +1: -27 107 67 138 18 256 305 64 -425 248 118 422 144 273 -236 +1: -91 -95 -6 -386 -163 +1: -240 430 322 383 388 234 253 +1: -127 -95 -163 -386 -6 +1: -98 202 382 74 357 192 272 366 206 83 +1: -152 310 372 124 256 281 34 251 292 +1: -324 -378 168 388 433 +1: -237 323 396 265 239 +1: -111 -193 281 237 400 +1: 281 -95 -163 -386 -6 +1: -34 199 -425 -77 485 71 75 127 47 -76 -281 395 252 320 -163 357 94 +1: -304 487 391 421 34 394 +1: -160 -43 -93 34 +1: -108 73 299 65 465 398 396 480 219 227 429 256 199 81 338 14 -425 +1: 385 -95 -6 -386 -163 +1: 69 -95 -163 -6 -386 +1: -95 -6 -163 -386 +1: 308 77 433 252 39 151 415 +1: -449 -38 33 62 494 152 320 272 -325 39 +1: -210 51 377 67 +1: -415 3 379 465 -472 -261 177 +1: -356 -261 -81 152 -180 +1: -148 281 153 237 400 +1: -411 340 -108 143 138 470 127 461 67 385 +1: -69 -108 -163 -6 -386 +1: -415 3 379 465 290 -472 +1: -191 454 69 482 297 365 159 -425 301 +1: -382 141 142 56 272 116 40 186 377 342 431 395 +1: -66 49 -241 103 +1: -103 166 346 413 63 274 -386 +1: -142 418 483 479 413 346 166 +1: -320 174 487 421 372 391 479 +1: -447 345 168 227 231 395 -376 +1: -261 16 209 387 44 382 96 488 229 -289 +1: -323 440 394 426 19 439 237 17 167 229 111 +1: 230 214 38 34 233 -386 391 487 421 +1: -171 61 135 274 152 136 +1: -482 478 237 439 -359 -127 +1: -185 58 398 274 -386 111 166 216 227 378 +1: -18 332 58 398 274 -386 +1: 308 471 244 432 48 42 +1: -185 286 423 -325 +1: -320 408 293 25 18 68 -53 100 38 +1: -202 378 -376 111 379 377 47 -148 209 +1: 288 -85 14 100 98 -97 -148 +1: 48 -108 -6 -163 -386 +1: -473 79 95 94 +1: -268 262 328 72 450 490 26 179 -76 297 112 379 465 71 128 77 +1: -148 -108 -163 -386 -6 +1: -235 454 207 -138 +1: -103 157 77 -163 324 395 -230 476 433 +1: 65 -108 -386 -6 -163 +1: -220 303 81 267 423 233 358 42 -487 +1: 156 86 123 377 51 -108 404 81 143 338 14 -425 +1: -316 259 -1 114 68 255 397 377 +1: -345 433 290 18 388 +1: -140 -108 -163 -6 -386 +1: -423 -230 50 249 -81 +1: -463 -191 157 432 441 +1: -322 379 -261 16 465 197 290 490 -298 243 143 300 175 299 +1: -423 405 -69 38 148 161 359 210 373 +1: -77 -69 -34 -111 -281 +1: -75 -122 74 79 -93 +1: -310 395 39 -111 385 388 387 327 209 +1: 261 9 56 +1: -244 174 77 -69 -34 143 157 413 409 -1 189 229 103 +1: -233 78 397 137 155 37 245 179 -76 199 153 35 +1: -3 182 158 -302 341 431 +1: 143 -69 -34 -281 -111 +1: 92 267 -76 325 212 -193 158 166 6 -93 -9 319 369 +1: 261 -69 -281 -34 -111 +1: -15 92 319 58 -93 +1: -66 385 112 -3 123 168 103 +1: -346 310 372 124 467 197 235 190 395 +1: -99 374 94 367 89 -85 227 375 +1: -92 94 367 89 -99 374 +1: -220 221 -369 215 325 +1: -382 472 -261 37 144 79 -93 +1: 66 263 106 56 -381 +1: -103 366 395 467 235 197 190 +1: -315 454 -281 386 35 397 259 373 114 +1: 385 -69 -111 -34 -281 +1: -249 333 391 175 441 247 405 198 116 +1: -14 -69 -111 -281 -34 +1: -480 409 310 487 234 325 482 394 61 383 207 -34 274 +1: -333 -69 -34 -281 -111 +1: 480 -69 -111 -34 -281 +1: 91 -69 -34 -281 -111 +1: -150 -69 -281 -34 -111 +1: -69 -34 -281 -111 +1: -297 3 273 300 116 227 231 409 340 207 +1: 77 310 197 235 -95 373 467 127 297 359 313 228 +1: -58 267 233 400 389 129 358 -143 +1: 220 182 69 -111 238 197 290 379 465 490 +1: -488 105 359 136 10 428 147 57 498 458 365 434 314 197 339 254 451 +1: 230 247 203 57 -308 -261 106 168 +1: -72 77 423 476 -93 96 +1: -312 19 90 330 69 408 +1: -325 -182 25 388 6 67 -412 428 163 -58 +1: 469 -182 25 483 221 -9 388 6 +1: -377 479 443 94 137 391 237 -120 400 +1: -483 474 326 -176 -76 -288 170 197 321 247 142 +1: -301 -410 273 248 -236 435 457 103 -241 320 183 419 213 +1: -312 -410 273 248 -236 435 457 +1: -227 398 63 145 77 71 +1: -189 203 5 -288 -261 106 168 +1: -144 -209 342 395 158 +1: 372 196 200 161 413 99 7 303 482 -126 453 +1: -409 397 -243 319 +1: -343 266 -241 312 103 -34 47 40 77 +1: -428 382 150 304 47 -111 -77 +1: -229 470 -34 +1: -433 281 -111 400 359 301 +1: -423 343 114 209 422 44 128 119 293 12 +1: -402 -237 56 235 127 43 +1: -67 320 49 -241 -93 +1: -157 124 340 119 40 372 +1: -157 108 439 56 340 119 40 372 +1: -212 340 119 378 127 65 -118 67 +1: -67 -80 -34 209 38 -156 463 391 237 128 472 373 150 -111 +1: -77 465 -111 -243 130 -34 -412 115 150 472 -118 430 100 119 439 405 210 +1: 372 498 395 385 300 127 71 77 453 482 479 174 +1: 372 -67 410 472 373 37 -34 77 51 184 8 -320 433 357 385 395 498 300 119 319 211 +1: -414 -243 -111 43 -34 +1: 143 212 56 431 325 65 379 299 465 +1: -92 143 185 90 69 374 -292 447 +1: -465 68 69 33 71 -59 70 72 75 +1: 281 165 205 415 495 197 443 -193 -111 237 +1: -103 107 69 454 428 -413 -93 +1: -397 423 177 16 128 328 124 472 234 +1: -176 15 134 216 370 457 149 +1: -281 24 257 77 409 +1: -409 277 395 143 324 -243 319 +1: -67 263 106 56 49 -241 -93 +1: -433 259 244 258 237 257 256 228 +1: -325 423 479 177 337 393 351 35 -469 6 +1: 197 464 373 251 397 395 467 190 235 43 -95 +1: -467 359 -243 372 +1: -446 166 99 346 +1: -7 368 414 144 251 64 460 342 169 +1: 160 339 51 8 402 69 -111 +1: 226 488 382 74 217 215 43 -59 +1: -266 249 453 230 372 251 247 482 479 246 +1: 431 152 280 49 422 332 179 -76 158 395 377 -115 +1: -95 152 221 77 339 -111 237 281 +1: -192 480 414 472 -302 14 435 +1: -142 108 325 334 221 -34 +1: -35 176 16 374 148 58 447 143 +1: -212 -230 449 324 395 +1: -356 421 5 487 249 65 +1: -233 433 18 343 178 -257 281 +1: -185 358 423 267 286 233 +1: -114 449 325 -76 202 423 +1: -395 182 341 47 56 +1: -282 396 265 305 386 47 +1: -117 24 122 461 363 +1: -346 81 -276 124 372 +1: -423 343 128 209 44 -407 +1: -16 310 276 247 356 +1: -386 -400 103 96 65 102 +1: -127 64 102 38 111 +1: 81 284 315 247 356 310 44 +1: -397 391 -156 487 47 182 +1: -237 293 -312 406 +1: -277 306 441 372 482 243 453 -166 +1: 425 339 196 200 372 209 160 161 +1: -384 291 -388 330 316 19 196 3 +1: -256 402 281 -388 209 161 196 +1: 121 329 22 127 24 214 470 274 106 92 -428 +1: -47 233 402 395 431 196 338 339 342 -388 +1: -264 42 369 166 6 391 91 217 16 451 47 -230 50 +1: -255 129 320 -498 5 409 192 -59 +1: -178 161 196 200 372 -230 5 +1: -268 198 377 320 401 -312 354 121 +1: -477 498 39 395 31 +1: -77 102 111 64 121 +1: -140 -324 -77 -386 -48 +1: -74 166 346 150 148 472 143 +1: -241 45 377 -48 140 395 126 429 485 -226 +1: -324 -77 -48 -386 +1: -419 -96 71 38 15 -170 +1: -210 67 377 -48 +1: 344 482 69 107 297 340 356 119 235 127 43 317 +1: -267 465 -77 431 304 -386 472 143 +1: -310 445 471 164 267 209 -261 -290 +1: 261 -42 148 127 317 187 186 +1: -322 179 163 464 92 295 160 442 352 213 +1: -209 18 107 -425 67 64 +1: -244 238 476 147 309 409 228 448 359 459 64 334 +1: 1 67 377 -48 +1: -160 382 488 74 229 96 128 423 303 +1: -325 426 -271 -493 -469 431 -386 423 34 +1: 140 -227 -386 -77 -48 +1: -233 297 379 39 112 346 413 166 3 +1: -186 323 377 472 111 47 +1: -372 -227 -48 -386 -77 +1: -297 -156 75 448 324 165 27 -288 477 161 318 41 203 466 11 +1: -385 -233 379 112 346 413 297 3 38 -76 252 325 +1: 221 -227 -386 -48 -77 +1: -227 -77 -48 -386 +1: 53 295 485 459 428 277 182 239 67 +1: -122 127 290 461 65 395 +1: -162 325 -76 38 252 39 -48 377 +1: -127 209 427 44 128 38 111 102 496 341 447 60 210 294 +1: -209 -382 485 395 163 377 342 +1: -224 111 227 166 378 231 18 +1: -67 -7 368 414 342 169 251 460 +1: 96 127 290 65 461 395 229 202 432 83 232 94 95 -93 +1: -429 -130 228 +1: -173 485 244 163 -386 +1: -194 -93 56 -241 -67 106 +1: -435 184 57 133 415 369 322 +1: -148 -76 150 325 256 -140 186 433 450 +1: -161 48 229 -320 103 269 157 42 -1 +1: -299 39 395 385 300 +1: -80 43 127 235 317 267 360 471 +1: -202 215 39 -101 377 496 443 +1: -35 -308 203 -288 106 5 168 57 +1: -368 119 40 419 115 213 183 +1: 412 435 319 22 395 343 397 90 +1: -299 445 471 360 267 91 +1: -80 401 -218 231 250 225 120 +1: -160 74 -140 382 +1: -372 -445 131 -469 290 432 234 373 +1: -349 227 122 343 +1: -355 127 43 317 344 +1: -322 405 190 -481 377 -55 213 352 +1: -305 -228 313 424 375 -407 330 +1: -22 139 -140 274 103 -34 +1: -158 10 30 320 484 5 391 487 +1: -471 -226 325 318 -298 221 293 +1: -351 118 151 86 325 452 447 134 419 +1: -238 77 313 -395 +1: -429 -339 228 +1: -221 -230 428 -302 -107 405 280 +1: -245 128 -288 423 303 +1: 1 -429 377 67 +1: -67 15 -171 +1: -316 177 274 48 173 430 112 +1: -36 456 152 395 373 247 42 432 332 420 468 406 267 6 370 166 +1: -299 11 36 33 34 32 35 +1: -224 408 319 54 +1: -66 330 381 392 -140 214 +1: -231 128 -359 -288 47 341 +1: -338 185 385 86 477 127 424 102 +1: -6 107 94 138 216 472 +1: -106 102 38 111 71 +1: -441 313 202 294 327 178 -59 +1: -113 17 400 387 458 411 +1: -42 -479 352 +1: -356 456 343 351 152 +1: -113 17 387 458 400 +1: -66 -323 182 -241 103 +1: -203 -7 -65 -241 320 +1: 206 433 395 192 272 357 -95 133 +1: -173 -376 392 231 395 +1: -114 204 386 5 231 277 +1: -423 316 360 -67 415 313 189 247 +1: -244 172 260 29 -157 342 +1: -397 482 7 297 107 +1: -356 235 -95 127 395 77 197 467 +1: -356 235 127 395 77 -95 467 +1: -435 397 -124 286 259 284 -157 +1: -356 -11 477 174 244 223 -261 +1: -189 178 160 249 435 486 78 242 138 184 +1: -243 281 372 -106 194 139 +1: -235 454 207 437 42 +1: -148 109 479 372 -261 312 49 +1: -114 277 386 231 5 +1: -409 11 33 34 37 31 35 +1: 407 119 103 -244 320 +1: 261 187 6 100 132 -67 +1: -446 115 183 213 +1: -233 343 18 388 433 +1: -240 251 127 175 311 249 -372 +1: -337 134 80 410 447 457 +1: -20 248 152 61 135 136 +1: -79 96 160 113 91 131 +1: -135 180 77 38 379 -372 398 274 396 63 +1: -397 177 16 423 160 202 +1: -266 479 387 483 278 177 +1: -415 60 3 144 285 -261 177 179 -76 +1: 76 382 -140 202 130 +1: -123 484 409 -148 449 +1: -294 228 65 313 301 +1: -115 -379 409 449 45 +1: -115 356 119 207 143 +1: -57 189 197 339 160 -372 +1: -198 34 -477 123 -69 +1: -325 -58 267 -469 286 +1: -143 371 129 489 389 400 6 +1: 146 -55 320 198 121 401 463 52 354 +1: -171 61 140 498 152 135 120 +1: -320 474 -308 52 269 483 113 411 433 404 +1: -212 31 360 164 466 494 445 34 382 47 +1: -140 17 353 54 237 139 -34 136 103 +1: -479 303 20 129 81 99 7 +1: -255 5 320 129 10 169 -59 47 +1: -228 416 110 100 -118 58 +1: -43 229 228 227 -226 189 34 150 138 +1: 207 216 138 -56 123 263 279 115 166 43 162 239 342 -247 119 325 356 221 +1: -190 15 312 -241 352 +1: -83 290 -236 34 33 +1: -360 20 389 129 -9 423 58 +1: 308 391 42 134 240 293 15 151 50 91 55 348 125 +1: -439 395 43 -346 467 190 +1: -56 216 138 42 137 +1: -83 124 19 208 185 373 -392 +1: -143 181 124 37 -67 +1: -325 131 312 64 221 69 -341 +1: -303 489 371 389 -143 +1: -81 254 -281 160 189 +1: -16 -42 187 186 185 +1: -397 277 231 234 233 235 +1: -34 47 266 227 40 194 +1: -483 369 -171 213 166 +1: -182 443 162 415 205 197 495 323 305 265 +1: 302 227 266 194 40 127 -76 +1: -163 472 140 78 498 389 +1: 376 -302 182 341 +1: -69 127 235 -42 280 -308 +1: -209 160 114 470 369 441 +1: -175 -93 -288 67 303 -9 92 423 +1: -127 129 32 472 304 392 102 111 38 +1: -81 386 277 471 206 130 485 158 175 58 47 116 50 136 111 303 +1: -158 277 119 459 319 211 5 303 315 472 212 423 358 233 332 +1: -116 -325 431 158 302 +1: -488 277 204 5 454 494 485 163 130 +1: 76 -238 423 -93 94 +1: 16 433 77 423 94 -93 96 206 277 158 485 111 303 436 136 +1: -34 389 303 213 305 138 -408 18 +1: -116 423 332 302 431 -325 +1: -91 302 -42 -312 261 +1: -488 119 -312 302 34 289 421 397 +1: -465 182 410 65 6 127 -229 11 80 439 207 406 130 359 +1: -83 185 330 19 90 +1: 163 411 453 441 306 466 244 -423 83 +1: -431 369 470 114 157 441 +1: -70 205 197 495 443 415 303 +1: -113 238 459 393 195 -127 57 216 42 +1: -129 48 421 446 6 80 253 195 +1: -274 127 126 77 205 103 65 +1: -301 128 126 127 +1: -293 494 466 485 +1: -136 -402 413 157 +1: -488 163 313 65 494 83 281 +1: -43 413 -402 77 485 395 -241 -226 91 140 +1: -275 387 17 400 411 118 123 385 +1: -81 264 15 400 411 -271 458 +1: 208 244 -382 342 377 163 204 384 -127 -76 179 157 411 306 83 243 310 373 472 -95 234 +1: -432 377 342 -382 -76 179 157 204 423 415 +1: -479 7 99 413 466 244 +1: -77 -498 129 47 341 40 447 -443 194 210 +1: -74 11 113 354 430 108 341 194 329 264 274 -386 398 +1: -42 36 436 70 11 34 32 33 35 252 +1: -370 452 410 447 80 419 100 186 6 132 +1: 408 49 182 -323 422 119 114 67 293 +1: -178 303 284 44 -261 388 +1: 472 364 -1 187 252 381 17 56 212 +1: -281 197 297 43 -95 395 +1: -109 232 373 480 400 20 121 233 235 234 231 +1: -346 221 343 339 152 77 433 161 372 338 196 +1: -73 37 144 181 -261 75 -156 5 487 249 +1: -237 415 343 423 290 433 56 318 238 207 +1: -237 127 348 207 115 276 281 +1: -140 -197 357 192 206 433 +1: -315 75 305 461 239 67 265 341 47 277 +1: -384 315 75 67 303 325 +1: 451 184 -312 331 8 354 316 +1: -359 -459 433 +1: 386 460 441 119 -127 -261 -318 330 -312 326 214 -408 -356 96 348 -469 180 420 332 293 370 +1: -73 -140 466 244 332 -261 16 65 431 443 -386 34 -469 202 102 96 +1: -140 180 -318 -356 441 498 -261 293 330 -312 119 149 332 326 96 214 -469 -386 348 -127 182 82 57 +1: 73 326 207 260 441 -127 237 -156 293 466 229 96 -386 421 460 324 140 297 330 498 300 39 75 119 149 443 310 -469 244 332 -312 16 -261 +1: -185 -318 -312 -127 -356 +1: -130 77 264 65 433 310 147 228 +1: -299 385 395 300 39 +1: -17 264 12 269 34 372 421 180 315 284 +1: -257 70 39 38 213 115 422 438 +1: -112 -163 397 373 286 377 -312 +1: -464 355 303 132 83 382 144 378 315 198 +1: -398 70 165 443 303 197 -400 38 +1: 140 -386 -312 -356 -318 -127 +1: -313 147 423 476 +1: -130 243 322 343 184 133 369 359 313 77 +1: -253 56 67 22 39 362 443 +1: -195 313 65 301 40 -122 341 60 49 210 +1: -130 313 65 22 319 397 435 90 395 343 +1: -220 58 398 -386 63 -29 +1: -3 36 231 120 34 -318 65 73 431 67 195 362 202 -69 342 395 377 +1: -74 36 231 34 120 33 37 377 -312 -318 65 73 431 195 362 +1: -111 -386 -318 -312 -127 -356 +1: -166 346 368 106 -313 413 415 19 304 395 377 158 +1: -118 195 -312 377 -318 +1: -398 -386 -312 -127 -318 -356 +1: -488 293 -312 310 124 373 397 421 289 +1: -216 322 -140 393 122 121 194 396 +1: -379 179 -76 70 252 +1: 74 -386 -312 -318 -127 -356 +1: 378 96 102 145 111 -376 75 377 22 67 39 443 297 447 49 -74 -127 +1: -274 -376 19 227 92 395 231 377 67 -318 297 -74 121 102 111 71 362 49 341 40 447 194 210 +1: -103 467 197 190 235 34 138 -386 413 63 166 274 +1: -386 -318 -127 -312 -356 +1: -328 181 144 37 -261 75 +1: -123 423 147 253 83 49 341 60 40 447 194 210 +1: -322 238 -182 237 69 -236 46 239 +1: -243 158 159 -156 157 46 83 22 319 397 +1: -201 408 422 114 12 49 67 195 -318 +1: 492 -38 301 130 415 41 414 320 148 +1: 372 -38 228 34 12 269 264 400 421 +1: 101 149 419 289 421 422 96 -56 202 229 466 +1: -91 306 319 397 22 -356 385 461 453 67 96 95 +1: 372 447 228 111 496 75 73 72 74 -163 -318 -261 319 286 -469 56 453 448 104 289 397 54 239 237 353 96 -127 -312 207 310 208 373 +1: 60 162 6 303 197 235 297 467 61 -1 39 315 348 72 447 40 210 194 -195 341 49 454 290 34 -163 253 75 73 74 65 388 18 16 387 -261 +1: -176 -400 165 443 303 197 +1: 425 -372 322 253 353 383 393 122 443 239 +1: -472 387 121 208 -380 -399 119 185 +1: -343 -293 49 116 -399 +1: -459 423 372 83 281 433 +1: 267 -469 -58 286 158 -76 -42 92 -193 +1: -56 96 94 -399 408 67 -487 163 49 +1: 377 166 -356 -312 -318 -127 +1: -459 228 65 77 313 433 +1: -428 5 -156 421 233 310 +1: -163 81 -425 206 256 199 404 56 +1: -148 -124 341 171 329 107 49 496 40 294 194 210 47 116 58 209 50 160 +1: -464 315 303 102 103 205 96 34 +1: -160 41 423 -288 303 433 -233 18 +1: -158 304 150 144 1 +1: 193 67 -100 65 34 102 47 3 +1: -359 339 221 448 491 74 178 79 95 147 -93 +1: -415 100 290 179 -76 409 77 3 136 +1: -449 464 346 379 316 251 373 +1: -461 38 111 -127 421 473 73 149 20 274 115 159 90 +1: -223 336 -412 64 228 178 306 201 235 -218 401 231 452 -230 120 +1: -381 90 159 20 406 67 +1: 155 132 -107 153 152 154 123 25 +1: -228 343 369 322 415 133 184 +1: -397 343 18 67 -399 7 297 365 159 454 368 200 185 123 118 293 163 141 191 56 -47 186 334 221 325 111 121 102 38 +1: -457 -412 221 325 334 163 -101 +1: 47 34 111 163 116 272 382 323 +1: -373 293 163 185 123 477 158 99 304 413 377 7 +1: 288 221 334 73 191 433 388 3 +1: -112 373 397 -274 377 -312 +1: -395 -227 -312 -329 76 -274 +1: -118 143 65 395 170 -227 +1: -299 268 151 27 50 -143 +1: -415 3 324 395 -465 -212 +1: -277 58 -93 -312 +1: -168 133 299 443 433 272 -235 206 +1: -428 121 -221 274 92 127 +1: 34 339 209 -100 42 216 138 -93 +1: -312 408 127 -112 106 377 397 373 +1: -168 158 382 47 213 15 +1: -299 49 -241 312 148 +1: 217 150 49 312 -241 148 +1: -320 246 301 304 24 115 +1: 425 182 116 341 186 409 395 -97 3 -173 +1: -135 20 129 182 437 198 355 144 29 361 108 454 +1: 21 129 54 484 10 103 -241 195 459 39 56 67 362 +1: -265 73 233 3 -415 +1: -459 206 158 433 77 452 272 334 33 152 -90 320 +1: -413 -388 228 178 402 182 -400 +1: -322 66 58 -93 319 423 213 15 +1: -5 389 178 276 281 20 310 44 386 182 +1: -163 56 343 122 345 +1: 352 -42 132 173 25 172 88 +1: -346 345 343 168 +1: -290 443 -261 91 73 431 +1: -103 346 166 99 428 483 -93 +1: -56 485 428 319 459 277 211 +1: -74 69 -341 312 131 221 -261 151 16 +1: -423 77 228 -395 264 65 310 +1: -163 338 372 196 -103 488 202 229 -93 166 168 343 99 443 299 431 65 +1: 326 75 324 -156 165 448 373 110 188 -241 294 131 174 -261 223 477 36 244 +1: -471 -163 81 90 382 284 +1: -313 485 428 319 119 277 211 423 433 147 +1: -325 421 -18 221 6 304 158 431 377 +1: 253 487 44 276 81 5 310 -73 108 194 341 329 +1: -163 253 -34 130 73 72 74 75 +1: -92 325 39 -290 148 143 447 374 +1: -243 325 -76 49 -66 377 +1: 39 7 166 56 143 379 325 465 112 +1: -154 -230 395 143 3 233 73 413 257 77 +1: -356 25 419 213 422 157 158 183 83 46 131 +1: -479 494 244 466 +1: -113 192 433 -395 272 133 +1: -119 -308 482 269 406 108 56 -407 44 -399 116 +1: -71 359 -247 -96 228 +1: -243 359 372 281 201 377 +1: -318 459 56 362 67 195 443 +1: -57 -191 160 264 310 202 +1: -388 423 233 73 449 3 +1: -223 453 362 167 43 359 419 -76 38 -385 70 +1: -452 463 488 160 277 343 388 138 349 368 432 315 471 244 +1: -79 -395 91 131 433 160 272 +1: -212 48 432 247 -261 223 448 438 244 174 67 75 +1: -122 369 184 343 57 415 243 +1: -448 -56 319 459 277 211 290 -209 388 +1: -57 484 312 38 100 -53 25 373 372 310 +1: -303 281 -66 -209 -94 -141 +1: -111 115 183 213 438 182 +1: 405 -487 207 42 161 227 432 377 127 471 337 280 269 -308 +1: -395 6 -487 221 25 -9 423 415 +1: -395 249 138 486 184 78 433 242 381 416 -412 304 115 136 +1: -34 30 320 47 28 -407 213 305 +1: -42 352 25 173 172 88 +1: -77 122 47 34 394 461 -94 363 +1: -400 252 70 38 238 415 197 303 165 495 182 20 +1: 39 311 252 38 238 415 70 +1: -118 73 201 -209 191 +1: -8 325 359 39 130 379 297 151 +1: -147 397 313 359 316 251 379 228 373 +1: 193 395 142 398 -415 233 3 -261 343 377 274 342 382 67 8 +1: 152 134 452 447 419 456 -356 343 339 221 491 +1: -6 -146 18 -53 100 38 312 416 189 83 136 -98 +1: -389 80 99 430 -8 37 320 155 358 125 397 245 +1: -472 -13 91 90 86 267 -325 286 148 447 374 48 397 473 289 421 +1: -333 355 144 198 361 108 29 -399 360 +1: -239 282 258 372 44 344 90 386 47 +1: -33 167 237 116 377 229 47 17 111 353 +1: -129 18 38 100 312 -53 178 -193 237 +1: 230 33 284 410 238 11 164 50 148 15 +1: -57 -129 100 312 38 178 -193 237 +1: 177 149 73 473 421 202 16 423 160 -261 +1: -57 25 228 -129 100 312 +1: -212 485 244 163 166 7 423 77 +1: -194 -123 5 335 171 175 107 329 +1: -20 160 81 157 191 -231 +1: -229 136 169 409 -59 192 5 106 127 138 +1: -142 38 76 96 332 +1: -194 153 299 443 431 178 281 73 400 +1: -356 43 56 467 -19 212 190 +1: -395 233 3 325 191 56 212 +1: 382 58 -312 258 100 110 -118 -127 +1: 64 274 142 398 38 -127 182 102 +1: 386 182 34 119 256 280 -312 251 47 341 +1: -382 -56 -423 -312 -131 -127 +1: -274 299 -423 34 251 47 341 161 -312 65 306 157 227 470 145 138 137 -56 382 202 +1: -140 244 -423 163 83 382 74 202 +1: -182 274 -312 227 146 121 382 47 34 -56 120 65 -423 138 137 202 +1: -111 274 142 398 182 -127 +1: -302 -56 382 -423 146 -312 142 274 -127 143 136 145 137 +1: -488 -93 108 15 299 449 443 -127 302 119 289 -312 277 142 398 274 182 +1: -168 466 494 244 382 213 15 47 +1: 386 -56 58 182 32 494 382 15 162 303 198 320 -312 472 304 -127 100 488 398 -131 274 239 305 289 149 8 5 454 204 277 +1: -56 -423 -127 -131 -312 +1: 230 386 277 454 -308 -261 203 168 57 106 +1: -471 391 421 -156 67 145 34 65 -412 163 138 136 -243 319 +1: -128 182 398 142 -127 116 323 -386 +1: -487 498 372 65 -305 385 120 -401 +1: -26 247 310 276 177 -261 +1: 412 327 73 233 168 191 -261 388 430 387 +1: -377 299 143 212 325 73 191 3 +1: -228 -201 408 422 49 67 12 114 -401 120 65 +1: -5 -230 235 234 237 178 281 +1: -103 289 397 73 421 94 +1: -201 205 208 371 55 368 369 73 421 -386 34 235 145 102 65 +1: -391 73 91 49 210 341 40 447 194 233 114 232 157 234 235 384 359 201 377 267 371 369 -8 55 208 368 58 -376 -156 320 +1: -473 74 382 202 +1: -163 69 74 72 75 71 -59 56 +1: 48 163 74 372 281 96 202 -423 -386 485 382 +1: -372 19 -261 433 -345 177 408 69 -312 +1: -113 -472 315 177 -261 239 382 73 408 303 +1: -293 377 321 135 -312 146 +1: -299 305 396 -182 +1: -8 411 -53 321 463 146 135 +1: -267 -140 -193 402 433 186 450 256 179 +1: -16 72 303 273 91 351 435 -1 248 422 144 315 148 467 190 235 197 34 138 413 166 +1: -325 50 65 58 15 47 451 471 360 445 73 290 0: 292 323 221 13 -302 324 +0: -297 374 58 447 -163 48 +0: -138 -395 228 77 415 +0: -370 187 429 419 203 360 227 27 +0: -281 297 -95 395 43 +0: -128 496 7 472 2 50 212 40 247 +0: -90 312 -280 -93 +0: -233 -236 -83 -153 135 339 160 80 +0: -52 -429 331 354 316 8 +0: -57 -429 331 354 316 8 +0: -325 423 332 -469 286 +0: -199 231 386 277 471 454 +0: -463 339 23 221 152 432 157 -191 +0: -426 -208 127 235 315 333 439 56 406 +0: -341 138 -76 -472 266 127 +0: -210 465 39 143 56 439 19 440 -228 426 +0: -426 484 449 45 -148 +0: -41 253 238 39 311 325 151 +0: -71 -73 96 103 145 +0: 21 483 221 143 421 208 124 373 324 75 165 -156 448 +0: -112 47 65 386 -274 -56 377 373 148 401 471 +0: -111 385 312 34 182 -91 238 220 240 +0: -335 109 -380 268 238 442 31 -297 -156 121 +0: -326 313 375 -407 330 234 151 403 273 214 138 181 86 404 +0: -221 -47 104 99 -85 110 233 142 -218 114 67 191 157 160 441 +0: -238 313 -395 77 +0: 261 56 -210 +0: -343 26 -253 141 428 455 372 178 339 160 +0: -189 238 39 311 419 303 111 16 +0: -370 447 80 410 452 419 27 +0: -63 16 -261 392 311 147 389 393 -191 +0: -45 31 267 360 471 6 129 400 371 389 131 212 +0: -367 -386 63 274 +0: 373 454 114 286 -406 397 255 -1 100 296 73 205 487 115 240 +0: -111 177 386 -127 176 +0: -95 378 -272 111 -376 208 310 372 77 +0: -423 451 -230 50 47 65 310 249 +0: 83 411 441 306 -423 163 405 280 244 466 +0: -433 171 430 -15 24 148 274 +0: -375 -410 5 360 471 -15 +0: -52 316 331 354 -377 8 + +1: -303 429 398 427 412 128 320 480 48 341 47 +1: -432 312 148 463 401 +1: -72 108 176 119 65 492 149 75 +1: -267 277 128 423 303 -76 320 -241 49 370 330 177 457 216 134 149 +1: 59 191 285 144 -325 290 335 +1: -238 45 -148 484 32 433 77 +1: -353 371 48 421 6 269 446 228 281 +1: -66 145 398 396 63 +1: 77 24 127 71 128 413 409 157 +1: 101 -140 136 137 139 138 +1: -369 267 -58 233 358 472 56 +1: -488 -81 189 254 228 83 +1: -303 -143 371 489 +1: -42 -168 213 381 273 392 466 196 310 330 +1: 284 95 233 158 395 5 204 209 402 339 81 -288 423 303 41 +1: -26 128 175 39 474 163 83 253 281 +1: -423 -299 253 83 +1: -34 126 128 77 +1: -40 8 -1 56 -67 3 5 +1: -114 339 8 201 290 73 -148 +1: -223 350 329 191 180 +1: 21 122 -406 239 -230 66 +1: -470 -33 82 435 265 472 414 +1: -157 447 278 436 151 398 -277 131 91 77 96 113 -376 58 -177 6 320 +1: -249 -412 163 -101 213 -190 +1: -161 344 235 43 406 56 108 +1: -177 488 229 382 202 96 427 -386 +1: 76 39 423 433 77 382 -140 202 +1: -3 32 -397 -148 409 +1: -67 484 379 491 461 28 446 289 137 170 378 290 127 79 -93 395 +1: -44 177 176 +1: -39 11 -227 77 36 261 +1: -65 191 329 350 356 261 310 +1: -324 81 421 397 247 73 44 -483 +1: -81 70 38 252 325 75 461 67 +1: -154 131 83 159 158 46 -156 +1: -22 -180 426 78 228 96 336 389 +1: 180 215 66 111 148 486 161 142 -356 378 334 379 47 377 153 343 -230 128 187 209 229 96 382 466 200 290 325 221 86 385 118 +1: -217 137 382 304 47 5 -71 113 96 3 160 +1: -272 189 190 148 192 154 24 343 168 413 99 345 95 96 393 389 147 369 392 383 311 +1: -113 123 75 492 309 221 -53 160 86 24 -302 426 78 228 96 336 389 81 -164 373 480 315 245 249 -233 338 -227 +1: -114 172 165 216 350 110 224 99 245 33 207 209 -1 154 127 70 11 107 482 7 297 +1: 372 162 190 200 202 199 128 175 163 39 474 67 482 107 99 346 166 297 338 187 161 +1: 7 406 163 8 274 124 129 377 482 107 99 346 166 297 +1: -436 214 -230 55 -261 223 289 290 137 +1: -131 212 118 163 185 123 477 56 200 190 162 202 199 +1: -47 45 -148 409 449 381 126 24 182 246 128 +1: -115 45 -148 409 449 +1: 341 386 284 81 47 277 +1: -127 245 278 207 -230 -261 137 277 188 325 179 +1: -96 111 216 -127 64 +1: -394 381 245 180 131 -233 364 252 359 77 301 65 196 187 161 138 -407 213 28 18 +1: -48 322 -372 234 383 353 +1: 302 127 -76 194 40 227 +1: -428 373 341 47 386 277 124 310 5 -156 +1: -353 354 11 -41 80 99 +1: 197 281 -38 451 189 254 339 160 +1: 244 108 135 262 -81 113 177 196 483 418 -41 163 494 +1: 160 129 146 163 124 -81 -343 -261 189 254 +1: -372 281 146 163 -402 -81 +1: 140 343 196 18 338 -233 168 345 +1: -261 160 427 372 338 -376 423 415 200 445 387 16 44 339 388 209 +1: -19 -83 -41 -233 -38 -81 +1: -137 471 290 -469 -372 40 -261 387 16 388 339 44 209 +1: -44 178 313 453 202 290 -83 128 -237 18 138 256 28 +1: -160 382 74 229 466 488 42 +1: -118 134 419 447 452 80 6 166 42 370 391 +1: -161 40 -81 266 96 94 343 168 345 128 77 +1: 431 305 239 396 148 65 73 443 465 +1: -472 -44 243 98 290 379 465 191 3 +1: -171 160 209 339 352 6 166 213 +1: -261 -38 -233 -81 -41 -67 +1: -386 320 358 125 397 37 245 102 65 103 34 205 +1: -5 -354 11 118 112 361 179 210 182 47 +1: -354 -38 -81 -41 -233 -67 +1: -281 77 359 -230 143 310 65 400 210 440 215 5 421 35 339 189 451 254 +1: -160 379 75 377 -376 47 23 386 182 94 42 -56 +1: -38 -67 -81 -41 -233 +1: -104 -138 144 8 47 5 +1: -173 231 186 3 116 409 -97 395 -376 +1: -454 235 440 210 143 344 317 400 127 +1: -293 -323 182 466 494 +1: 77 313 359 65 228 147 -23 160 +1: -105 473 421 73 149 115 419 422 200 193 372 -230 153 +1: -299 -244 65 359 103 313 312 148 +1: -313 -341 94 -56 -81 +1: 197 -251 281 451 189 339 254 160 +1: 372 114 432 160 409 413 339 124 310 -251 46 65 239 220 281 -156 421 5 +1: -197 373 -156 27 448 75 324 +1: 261 71 108 -76 102 -101 106 103 47 34 5 144 45 48 3 46 49 52 65 145 -230 428 251 -302 311 153 +1: -133 137 -56 138 78 125 358 155 397 245 304 246 24 +1: -42 472 310 249 65 144 79 -93 -382 +1: 343 6 400 371 489 436 111 16 -412 77 100 189 243 395 435 423 415 318 65 120 312 64 269 69 73 421 397 99 322 184 200 433 290 18 +1: 143 386 47 182 -76 266 138 56 212 +1: -445 131 428 -469 290 40 455 +1: -351 58 -156 6 320 -376 48 258 237 416 100 +1: -309 158 -386 +1: -227 372 338 200 196 +1: -343 77 338 372 71 200 48 -386 +1: -96 42 38 359 228 64 313 111 +1: -303 227 47 -76 16 40 138 -143 371 386 +1: 449 484 148 409 302 488 45 +1: -299 302 436 16 144 3 -261 148 +1: -86 106 494 -67 466 56 -93 49 +1: -244 106 -67 56 -93 49 +1: -129 -93 71 127 168 56 167 86 10 169 111 436 16 +1: 472 216 138 34 102 113 160 144 181 -261 -461 +1: -34 107 163 146 281 -81 274 94 +1: -100 303 229 436 353 -81 111 237 148 +1: -40 196 278 279 283 217 446 465 +1: -79 127 103 65 113 160 -156 421 317 344 5 216 +1: -91 137 -230 -261 169 -41 17 111 229 237 353 344 317 43 127 +1: -395 127 47 377 -76 266 215 443 -101 64 325 415 160 423 +1: -150 86 243 16 242 173 107 238 244 45 47 48 3 46 50 52 480 73 -302 14 472 82 201 377 +1: -40 5 3 47 144 304 -230 278 -261 277 137 169 245 79 37 -93 +1: -131 243 395 56 -41 99 71 77 127 48 269 446 143 400 259 215 -230 -261 169 111 229 237 137 317 358 397 78 37 -81 163 124 281 406 483 418 435 106 415 19 368 244 436 409 -412 73 443 465 148 +1: 160 182 -81 -41 -67 -233 +1: -465 -302 47 182 -41 +1: 302 -79 436 16 +1: 93 431 73 443 65 47 182 -41 148 143 +1: -228 182 -41 436 -67 -233 -81 +1: -79 143 344 38 64 163 47 377 182 400 200 388 -230 449 228 65 -412 73 483 431 148 -101 443 -41 138 137 358 436 16 +1: -465 228 38 229 -230 -81 -160 73 182 325 377 -67 486 400 191 290 200 -41 -292 203 99 +1: -56 182 358 73 -81 400 -67 -160 229 79 200 143 -230 465 228 3 436 142 -41 +1: -313 -261 16 387 -233 18 388 +1: 433 235 344 16 47 -299 182 -93 142 65 -67 -160 79 -76 -41 -261 77 71 395 143 18 -233 +1: 182 -67 -41 -233 -81 +1: 111 -382 313 150 217 404 16 144 -261 -93 37 303 436 419 +1: 79 -382 313 150 217 404 16 144 -261 -93 37 137 138 -140 102 103 139 +1: -140 313 150 217 404 16 144 -261 -93 37 303 436 111 202 74 229 488 +1: -372 406 146 163 274 -81 281 +1: -190 329 245 -233 213 163 -101 -412 312 103 +1: -136 414 16 150 313 -380 404 217 +1: 56 -160 -41 -81 -67 -233 +1: 207 431 -56 -81 43 -67 368 137 134 138 388 396 463 432 -233 -41 202 488 +1: 217 150 16 313 -380 -136 414 148 +1: -136 -433 119 75 436 108 -230 428 3 65 116 106 -76 -101 103 -111 -93 144 -261 -382 +1: -401 -409 -230 143 +1: 97 450 -261 65 119 16 75 436 108 +1: -305 -407 359 130 394 375 240 238 -111 220 +1: -409 304 115 246 381 -230 324 143 +1: -5 246 339 -292 338 154 -261 337 128 +1: 18 -56 148 163 -101 -412 -233 213 443 64 -160 352 -207 483 -41 38 144 -81 428 75 94 -182 113 +1: -154 496 210 294 60 40 -465 246 484 381 -56 -160 229 466 74 +1: -327 188 75 -376 148 312 239 423 47 189 277 278 -261 169 245 483 421 -18 -56 -160 113 220 338 163 65 60 40 210 359 466 157 144 94 -233 443 319 -156 16 303 436 103 -101 -412 213 -76 54 310 352 -83 339 381 +1: 140 379 75 377 -376 47 265 240 279 69 148 312 239 423 188 189 190 191 277 -230 278 -261 192 169 245 483 421 -18 -56 -160 +1: 111 463 148 38 64 163 -261 -41 483 144 229 138 -56 202 99 113 75 377 352 213 191 350 400 -81 408 343 356 431 396 73 443 239 -292 303 436 488 -140 378 379 +1: -23 419 134 447 -156 456 343 163 466 229 157 103 189 413 290 99 -236 -83 7 421 143 25 483 -9 388 +1: -168 133 415 322 57 184 245 463 329 3 69 73 290 90 191 7 106 368 213 352 +1: 237 327 103 290 -140 -111 331 178 202 8 65 139 423 240 220 69 234 312 310 483 394 189 190 191 192 -230 188 400 239 +1: -160 -67 -41 -81 -233 +1: -274 58 148 374 -292 -81 400 329 +1: -271 77 359 301 133 369 343 415 191 329 350 245 400 387 411 -81 +1: -458 77 359 65 301 191 329 350 245 322 133 369 343 415 +1: -465 -140 -81 -41 -67 -233 +1: -433 228 359 65 77 160 339 +1: -34 -402 406 -237 139 103 -140 102 +1: 329 -140 -233 -67 -41 -81 +1: -297 131 -469 290 428 455 421 246 37 166 413 99 207 +1: 127 -140 103 139 -233 436 -81 -67 -41 +1: -111 413 423 160 -127 415 400 281 339 209 65 96 421 -156 391 103 +1: -188 406 -81 281 187 200 161 -41 -67 56 111 229 54 237 +1: -372 108 -81 -41 262 73 229 202 96 212 -228 133 389 131 400 327 6 472 -67 56 160 +1: -83 6 213 38 -261 37 154 212 211 148 111 229 100 312 130 -81 281 163 137 472 466 96 144 79 237 160 369 -127 358 397 78 406 245 239 319 436 408 419 -412 73 483 465 -101 443 -156 -21 445 72 350 359 142 486 7 413 99 +1: 431 37 144 -261 79 472 148 202 -140 229 488 65 73 443 465 +1: -140 -67 -41 -81 -233 +1: -98 212 489 400 6 131 389 371 +1: -111 265 254 160 400 209 54 189 323 239 168 428 141 6 424 429 26 80 -81 163 146 +1: 83 -127 -81 -41 -233 -67 +1: 111 -127 -81 -67 -41 -233 +1: -228 178 400 153 451 189 339 254 160 +1: -15 193 34 102 421 -156 65 103 138 +1: 237 235 440 234 157 210 -230 428 290 40 455 -83 99 228 200 397 338 423 16 387 -376 -261 415 160 372 209 339 122 227 345 213 352 34 421 -156 65 103 138 400 281 -111 +1: 15 341 194 108 153 397 228 200 -302 138 242 184 78 486 433 24 154 189 191 395 -376 392 48 387 16 -261 122 227 345 213 352 +1: -127 -67 -81 -41 -233 +1: -34 146 281 163 274 -81 406 94 +1: -128 5 153 -230 428 -302 -101 311 251 +1: -237 -111 -233 -41 -81 -67 +1: 77 228 483 127 378 94 79 -81 148 281 163 274 428 311 -101 -302 352 213 102 128 122 490 144 -233 153 372 443 -236 63 433 -41 -412 37 473 184 160 -182 178 237 38 64 46 69 +1: -395 343 483 433 -233 421 6 415 160 423 +1: -395 -96 16 -261 421 483 433 -233 387 423 415 160 +1: -461 465 210 405 439 448 150 357 372 373 310 144 -261 181 37 +1: -161 378 127 38 -302 228 195 153 128 -151 281 163 -81 406 94 483 -233 160 448 372 144 37 -77 5 352 213 102 193 64 197 490 148 184 -236 63 311 303 443 -261 75 82 428 178 321 300 113 -41 140 141 -101 +1: -34 484 30 281 163 274 -81 406 94 +1: -205 484 153 5 209 -230 178 160 301 381 304 +1: -395 30 281 163 274 -81 406 94 193 102 -156 103 433 -261 483 -233 387 415 160 423 +1: -111 -67 -81 -41 -233 +1: -77 -67 -233 -41 -81 +1: -406 6 -376 111 127 65 238 421 47 -67 37 124 433 388 -233 415 160 423 16 -261 387 339 239 122 +1: -18 143 -146 148 483 421 6 312 10 47 274 281 163 129 406 124 +1: -299 244 131 69 312 64 221 269 148 +1: -395 6 -261 421 483 433 -233 387 16 415 160 423 +1: 71 37 127 415 160 423 277 -230 278 -261 169 245 125 358 77 -343 397 387 209 -81 111 38 121 64 +1: -137 129 400 6 389 359 168 130 274 377 -146 112 430 447 148 374 -292 69 90 65 428 163 483 -101 73 47 127 266 227 125 -76 415 94 95 79 +1: -372 -67 -233 -81 -41 +1: -170 329 191 350 245 352 213 +1: -237 -301 160 339 209 409 127 281 348 276 +1: 137 -146 -41 -81 -67 -233 +1: 470 183 483 127 64 254 160 73 163 148 377 428 -101 443 239 -41 200 290 -412 -81 77 -261 209 325 96 397 202 229 301 400 -136 140 22 91 34 374 58 3 56 191 350 111 86 -292 94 352 126 240 395 372 138 -146 +1: 15 329 191 350 127 377 227 432 24 154 190 320 10 229 54 111 352 315 122 77 103 -261 -81 -71 213 38 214 171 173 225 -232 221 219 224 131 69 64 483 100 18 160 400 58 416 254 372 34 83 415 125 138 395 231 398 274 -41 168 209 200 +1: -146 -67 -41 -233 -81 +1: -328 37 443 239 122 -81 281 163 274 129 146 75 -230 -261 144 +1: -250 246 304 301 484 381 498 140 -136 244 312 64 269 -85 +1: 93 -193 -230 443 400 239 413 140 498 77 416 189 409 -412 148 439 406 207 +1: -13 227 122 25 154 170 132 213 352 408 119 12 312 103 256 236 281 34 +1: -71 397 -67 -233 -81 -41 +1: -57 40 290 372 455 277 -230 278 -261 428 169 245 338 423 16 387 -376 415 160 -469 209 339 200 -1 227 103 228 229 433 +1: -6 397 -67 -81 -41 -233 +1: -207 92 65 408 357 416 237 268 77 +1: -227 143 290 65 395 56 71 77 +1: 93 397 -233 -67 -81 -41 +1: -212 71 38 111 64 94 -93 79 423 433 77 +1: -66 397 -81 -233 -41 -67 +1: -102 129 281 163 274 -81 146 94 -93 +1: -96 327 -101 377 496 443 39 49 436 280 152 352 213 301 -425 -406 144 64 460 -230 278 -261 277 91 245 148 169 310 138 +1: 129 6 -376 111 436 127 -156 429 77 189 423 415 125 -93 278 -261 277 245 169 239 -81 146 160 387 -233 38 315 71 372 -67 359 66 408 312 130 303 54 103 397 140 466 319 +1: -445 474 113 483 52 344 433 -320 +1: 124 397 -81 -233 -67 -41 +1: 397 -67 -233 -81 -41 +1: -93 -129 449 -76 443 -101 127 64 415 160 423 451 189 339 254 359 65 310 94 79 148 312 471 433 111 38 216 130 421 446 47 16 -261 436 303 122 125 372 -156 456 373 195 169 352 77 -376 75 483 -233 387 +1: -228 39 449 -76 377 47 443 -101 127 64 325 415 160 423 451 189 339 254 +1: -71 360 421 471 -156 339 -292 338 -261 -469 290 455 103 227 229 111 269 56 54 -67 -9 57 58 65 73 299 310 264 191 180 350 245 359 449 -76 377 47 127 325 415 160 423 451 189 +1: -385 58 433 344 -156 -376 421 360 471 16 -261 455 -233 387 47 34 -67 56 54 456 373 98 122 125 372 310 103 227 189 111 303 160 315 339 65 127 359 77 -76 38 415 454 269 264 180 245 449 423 451 +1: 39 485 229 -151 227 -76 38 325 451 381 47 127 454 200 238 57 65 372 310 189 312 -85 269 69 56 54 -67 -9 58 73 299 264 191 180 350 245 378 461 290 77 359 449 377 160 423 339 +1: -129 227 -151 -76 38 451 381 47 127 454 65 372 310 189 312 69 54 -67 245 77 359 449 160 423 339 433 344 -156 -376 421 471 16 -261 455 -233 387 456 373 122 111 303 315 79 216 130 446 195 +1: 93 477 -233 461 485 71 -81 -67 24 -41 34 +1: -180 -93 94 79 16 -261 421 483 433 -233 387 423 415 160 477 163 454 118 123 378 65 461 127 +1: -96 461 213 65 352 127 415 449 16 -261 421 483 433 -233 387 423 160 +1: -86 -67 -81 -233 -41 +1: -95 227 103 189 483 433 -233 343 415 160 423 449 443 -101 127 64 254 378 -376 111 77 372 373 -81 163 274 129 146 +1: -318 360 471 455 -53 56 54 -67 -9 58 -156 433 -233 421 343 415 160 423 47 484 129 10 378 65 461 127 227 432 315 122 +1: -395 360 471 340 455 77 423 47 140 227 129 343 406 56 481 127 54 -67 -9 58 91 189 278 387 245 17 148 103 -233 312 130 359 65 378 461 449 -76 415 160 451 339 421 +1: -170 148 312 471 130 359 47 449 -76 377 443 -101 127 64 325 415 160 423 483 -9 25 191 350 245 352 213 +1: 461 471 65 340 455 77 423 47 140 227 129 481 127 54 -67 189 278 387 245 17 103 -233 312 130 359 449 -76 415 160 451 339 421 -156 315 95 16 -261 +1: -67 -81 -233 -41 +1: 1 144 377 201 382 47 304 +1: -496 64 47 127 -76 221 138 38 70 325 +1: -56 345 227 343 65 73 91 465 99 150 +1: -428 138 281 28 228 -407 200 290 -44 +1: -471 473 415 331 258 370 146 -193 491 +1: -354 154 201 466 187 289 328 +1: -266 -161 274 136 38 135 322 436 +1: -313 90 369 57 395 243 322 343 415 +1: -154 -228 409 73 421 397 +1: 253 328 -81 244 379 413 163 200 48 187 315 430 99 354 80 -129 446 195 130 359 +1: -428 187 338 65 48 315 372 421 -156 200 244 310 264 +1: -182 237 319 -81 229 436 136 353 111 408 +1: -465 228 229 227 400 17 458 201 377 -345 99 430 396 323 47 182 -41 +1: 302 147 67 225 -431 312 69 47 377 323 111 +1: 123 343 395 435 243 322 323 -302 324 221 31 14 45 140 143 125 70 124 +1: -328 -77 143 484 234 304 212 +1: -42 -129 18 25 312 100 +1: 53 395 99 -97 343 100 243 143 212 +1: -132 69 225 67 -431 147 312 16 +1: -34 30 484 320 47 +1: 129 77 359 278 400 281 487 -376 320 133 -156 131 212 6 113 99 80 430 130 201 377 -81 406 274 124 163 +1: -207 332 125 415 474 103 -226 228 189 229 227 +1: -143 378 290 65 461 127 +1: -39 378 290 65 461 127 +1: -227 433 200 290 215 325 221 196 338 +1: -483 213 -170 421 47 34 382 5 +1: -337 -170 350 245 191 213 34 47 382 196 338 200 372 +1: -433 90 274 115 436 -318 28 359 65 228 160 339 +1: -485 72 143 -395 303 315 43 238 313 27 419 489 248 337 34 47 382 +1: 379 343 456 -156 373 324 75 47 377 -376 378 400 237 -193 465 220 16 118 490 290 +1: -23 -197 456 343 373 -156 324 75 +1: -27 372 338 200 196 -156 456 343 373 +1: -111 40 103 47 65 128 -228 278 -261 277 169 245 -230 -76 127 207 3 227 67 69 220 400 281 +1: -144 332 56 481 69 16 -261 90 143 267 -327 164 171 24 77 423 429 274 433 428 -469 290 455 +1: 378 127 160 -81 -41 -233 +1: -154 -197 484 -228 73 -230 143 395 -81 400 +1: 302 194 -81 -161 315 244 48 266 18 -407 256 28 +1: 138 305 194 -161 315 244 48 266 18 -81 -407 256 28 +1: -5 246 -292 338 -261 339 128 67 285 460 283 413 -228 16 419 436 111 47 386 +1: -157 146 406 274 -81 163 -328 +1: -187 149 421 397 73 -378 395 48 +1: -182 136 -81 229 436 353 111 319 237 +1: -281 77 -402 409 +1: -243 201 359 130 377 +1: -163 75 72 73 69 71 -59 472 +1: -111 372 28 281 -407 18 400 -433 +1: -178 372 378 -81 -41 -233 +1: -237 136 -412 189 409 100 +1: -111 409 3 186 231 227 273 -97 +1: -406 318 103 312 65 57 313 320 16 111 436 419 +1: -138 235 344 43 277 -230 278 -261 188 279 169 245 +1: -98 -8 400 17 387 99 80 430 +1: 369 55 421 397 99 73 322 415 243 57 343 -313 395 +1: -96 -302 182 249 -81 34 158 138 +1: -120 261 400 178 237 +1: -471 141 451 148 139 151 114 96 191 137 -308 +1: -312 193 +1: -11 -236 -83 290 +1: -170 72 -97 326 252 229 253 385 419 -67 +1: -483 -170 213 -156 421 5 +1: -395 -343 -83 -81 -233 -212 +1: -94 -178 -230 35 5 177 6 185 394 47 34 +1: -227 372 99 73 325 421 64 338 200 413 65 290 395 461 +1: -77 -193 400 281 -81 229 353 54 436 303 +1: 281 -343 -81 -83 -212 -233 +1: -154 228 227 229 -1 421 73 397 202 74 339 -281 451 160 +1: 228 -281 191 325 400 229 203 -292 73 395 3 -469 290 99 -83 209 486 377 -212 200 -230 -81 -343 350 +1: -343 -212 -83 -81 -233 +1: 303 128 277 -76 423 325 16 111 136 419 +1: 395 -281 143 -230 325 369 343 203 73 413 163 377 290 200 -81 209 400 459 -302 267 40 -469 191 461 42 99 430 -83 88 -292 6 229 384 476 3 36 +1: -57 160 -281 451 339 +1: -48 231 47 -281 386 16 176 8 377 +1: -315 454 386 277 -81 13 -302 324 +1: -398 441 401 463 160 157 148 369 +1: -111 179 -140 325 136 290 -83 33 +1: -148 373 456 343 -156 47 143 16 386 +1: -281 -212 -83 -233 -81 +1: -473 -101 -412 428 163 79 95 +1: -202 -9 143 6 -487 25 +1: 145 398 -227 71 63 88 132 442 289 +1: -227 -212 -83 -233 -81 +1: -148 -302 47 -76 40 386 227 339 209 16 +1: -401 449 143 -230 36 +1: -160 -212 -81 -233 -83 +1: -95 28 377 400 200 209 242 135 -399 136 +1: -94 356 65 357 416 92 408 77 237 +1: -433 -212 -83 -81 -233 +1: -364 -212 -81 -233 -83 +1: -373 168 413 143 -81 163 33 244 +1: -490 385 -212 +1: -58 94 96 79 433 476 77 +1: 372 -212 -83 -233 -81 +1: -471 374 143 -292 25 388 6 421 148 73 149 289 +1: -67 461 343 227 42 143 6 -372 163 -81 281 413 430 -83 160 369 36 433 267 -233 -302 40 384 +1: -71 24 38 325 67 461 160 -81 449 227 229 133 369 184 57 343 312 315 -274 432 471 153 -230 433 476 90 91 89 88 143 148 -292 447 +1: 471 343 73 377 -292 67 -212 325 229 227 203 364 -469 290 -230 -83 99 433 200 160 -81 400 -372 281 209 +1: -483 -212 -83 -81 -233 +1: 274 6 -233 343 433 483 160 67 163 -83 -372 461 430 143 36 281 148 -471 369 227 413 -81 +1: -212 -83 -81 -233 +1: -320 282 34 239 251 281 256 +1: -41 66 -81 -233 +1: -91 397 358 245 78 37 155 +1: -15 303 41 -288 128 58 -93 92 +1: -302 138 47 386 34 235 -93 137 261 +1: -163 112 325 39 465 7 166 99 +1: 67 64 65 60 63 -382 48 3 -59 58 61 34 66 +1: 236 -213 421 322 172 171 -292 201 92 +1: -111 243 90 19 306 453 -83 330 +1: -34 106 -406 438 -280 115 419 312 94 +1: -95 -280 312 106 -406 +1: -55 423 41 277 128 -143 489 +1: -86 -93 96 79 67 17 +1: -94 193 3 8 47 377 +1: -480 -34 274 138 136 103 -140 +1: -7 127 -81 266 138 227 312 -241 150 148 +1: -86 -236 -83 290 67 17 +1: -246 393 77 65 120 301 359 +1: -136 -227 128 67 483 428 163 +1: -91 207 -212 67 119 79 128 432 472 96 +1: -86 168 127 -80 77 227 +1: -277 58 92 -9 -93 +1: -265 16 176 +1: -177 -160 -140 313 27 452 +1: -265 91 16 217 +1: -432 187 372 200 196 204 191 +1: -110 -457 158 181 419 313 +1: -119 165 429 227 345 219 396 439 406 -34 274 +1: -77 -346 -428 -34 -233 +1: -103 395 467 -346 190 207 406 -34 +1: -6 332 434 -476 481 56 +1: -90 320 -93 49 312 +1: -332 237 69 238 -111 +1: -119 372 310 373 -237 +1: -312 496 153 -302 353 195 228 115 183 419 119 408 +1: -245 190 -415 24 192 34 216 138 -93 +1: -409 -9 25 421 6 143 388 304 301 381 246 +1: -410 343 373 456 152 +1: -267 446 370 344 92 356 464 151 +1: -154 136 200 202 201 162 +1: -58 138 95 94 79 421 483 388 143 25 +1: 318 90 159 274 20 28 65 -254 238 57 +1: -34 122 343 227 484 47 320 +1: 101 312 320 49 122 363 24 485 461 +1: -325 434 432 258 401 377 329 -412 209 172 -407 247 48 471 315 +1: 221 225 223 -359 219 55 16 224 -218 325 215 64 +1: -498 -402 157 77 +1: -121 135 -312 -182 377 +1: -27 64 107 67 18 -399 343 +1: -290 302 488 -493 52 148 311 +1: -131 102 79 -140 139 138 103 +1: -452 278 78 301 263 246 35 +1: -360 423 -76 128 16 325 111 419 136 -9 58 +1: -202 47 266 194 -472 -76 +1: -38 -129 -193 153 338 161 200 372 34 12 400 +1: -94 64 325 215 74 -140 488 300 231 186 3 116 409 +1: -160 -93 96 34 145 74 229 466 472 373 234 128 443 465 -77 42 +1: 320 44 343 209 128 427 385 312 118 103 +1: -187 88 92 442 104 145 +1: -161 269 482 280 432 42 244 48 +1: -421 132 77 147 433 56 332 19 65 466 163 83 114 -138 20 141 387 209 +1: -129 253 178 48 6 80 -193 -339 +1: -15 180 329 -233 128 -288 303 +1: -34 126 128 77 +1: 182 129 16 303 -274 436 341 47 386 +1: -397 432 -274 244 391 487 47 +1: 376 143 67 465 -443 385 325 +1: -120 422 213 419 438 +1: -112 289 442 88 104 145 -261 176 +1: -318 195 56 362 67 459 +1: -303 458 329 411 -271 310 356 247 44 +1: -17 305 323 396 239 -497 79 484 +1: -16 144 304 386 -158 3 284 +1: -309 69 225 67 312 147 266 428 +1: -178 254 197 451 189 -372 +1: -123 484 -148 409 209 +1: -454 -226 208 284 319 22 25 136 30 +1: -67 95 79 96 106 263 66 +1: -178 197 -493 379 311 189 254 -372 +1: -294 127 128 228 313 65 +1: -322 73 -370 397 213 +1: -148 5 -230 153 16 +1: -52 323 54 396 239 443 +1: -157 400 56 -111 406 -193 +1: -35 160 178 402 471 315 42 48 +1: -35 471 69 402 -111 160 42 48 +1: -265 -335 -386 -274 -111 +1: -6 58 -274 -292 148 +1: -290 -335 -274 -386 -111 +1: -227 328 373 234 432 -230 200 193 +1: -61 58 148 -292 447 48 +1: -315 86 201 66 -156 172 237 383 362 +1: -182 310 247 -140 369 381 196 330 214 457 322 121 396 224 378 365 -425 159 3 -65 -399 116 123 -343 16 209 +1: -261 35 153 5 333 127 317 187 -452 369 429 227 138 150 34 44 16 209 388 +1: 281 -335 -386 -274 -111 +1: -230 261 186 187 6 5 91 153 +1: -180 385 461 67 207 411 -271 400 17 310 +1: 261 103 312 320 249 329 -233 -111 +1: -127 103 -274 205 102 +1: -114 244 -111 42 48 247 +1: 369 -335 -274 -386 -111 +1: 373 265 397 155 231 395 290 47 94 377 19 -274 83 -281 -111 -369 394 237 -335 -425 -305 +1: -335 -386 -111 -274 +1: -479 438 -111 213 81 115 +1: 230 487 391 -156 290 3 191 +1: -281 -369 -274 -386 -111 +1: -160 -369 -386 -274 -111 +1: 65 -369 -274 -111 -386 +1: 313 139 352 194 255 411 319 448 441 453 402 281 209 178 242 486 290 138 18 249 433 200 -369 +1: -93 34 83 346 47 -111 281 -369 43 94 396 160 397 -274 -65 190 155 335 297 395 95 +1: -228 441 432 42 48 18 -233 58 6 -261 16 -156 -376 411 319 448 193 453 237 240 -236 239 +1: 228 486 242 290 138 18 78 249 433 200 209 -1 154 204 13 37 58 229 335 60 205 144 443 192 190 191 48 -386 77 81 79 84 82 34 346 99 413 148 127 91 -261 -339 281 402 178 +1: 388 338 395 -376 -441 19 330 114 191 204 160 189 192 190 18 -261 -233 16 242 290 138 78 249 433 +1: -313 227 19 -274 330 -228 5 -1 6 -67 79 95 190 191 154 189 192 148 91 186 231 116 269 127 264 -218 -376 58 333 235 43 34 239 251 281 16 -261 395 343 268 +1: -369 -386 -111 -274 +1: 305 284 81 394 439 237 440 19 -281 54 396 239 265 +1: -400 443 197 415 165 495 +1: -67 49 320 -241 261 +1: -56 141 148 -471 191 151 137 114 42 96 95 94 395 -230 324 449 +1: -409 220 237 -236 46 239 69 +1: 372 475 445 238 363 235 453 159 479 109 174 200 187 161 +1: -441 -65 -111 -274 -386 +1: -424 484 47 129 320 130 83 29 11 207 342 172 +1: -118 -281 397 259 -1 114 286 377 -243 +1: 227 -65 -274 -111 -386 +1: 243 -65 -386 -274 -111 +1: -306 129 377 -243 47 343 423 -111 83 187 161 472 397 441 369 -274 374 34 113 94 95 33 -65 301 -425 396 +1: -370 80 213 27 -171 134 +1: 281 -65 -111 -274 -386 +1: 67 175 128 372 77 127 126 325 231 221 -298 318 -226 244 70 209 154 213 30 33 397 27 -281 96 479 237 265 95 276 94 -93 272 148 391 66 +1: -171 -65 -386 -111 -274 +1: -136 126 192 441 94 81 335 -281 77 450 397 73 473 369 346 83 129 -274 -111 423 47 472 113 290 343 187 161 468 -71 237 -233 249 231 393 395 392 171 301 27 377 -243 -425 127 155 306 +1: -320 -227 20 42 48 256 191 3 -386 -243 50 -65 369 136 -140 441 159 -156 -281 128 -111 +1: -163 423 413 -227 -241 320 148 276 237 265 94 272 419 127 213 -111 30 33 397 -281 81 209 154 325 231 -298 318 244 95 96 73 435 34 66 374 447 48 +1: -58 6 395 324 171 -425 83 114 441 369 -22 157 -274 290 73 81 -111 -227 343 -233 377 -243 47 320 95 94 +1: -65 -386 -274 -111 +1: 182 207 40 -111 183 213 115 +1: 132 151 -74 16 233 187 -158 423 6 100 +1: 136 -281 -111 -274 -386 +1: -264 107 311 -281 249 127 -236 +1: 423 -281 -274 -386 -111 +1: -191 -423 83 319 448 16 -376 -274 -292 416 189 77 409 65 116 -392 231 +1: 148 -423 -376 369 -386 -136 65 102 378 16 -281 46 116 319 448 -274 -292 +1: -143 290 65 182 170 -111 -386 244 139 255 263 48 -423 67 -412 96 -101 487 400 -303 -156 -253 +1: 163 235 467 395 197 128 143 77 94 103 96 145 290 397 65 182 170 421 -111 244 139 255 263 353 67 428 -412 -101 +1: -281 -386 -111 -274 +1: -148 94 96 145 102 65 239 153 16 319 281 +1: -423 -400 -386 -111 -274 +1: -113 264 65 249 -376 395 16 -261 231 +1: -459 -288 423 83 128 303 +1: -176 90 19 463 411 319 448 243 453 +1: -261 211 6 423 80 43 17 -103 303 -111 205 -386 34 -399 233 299 374 91 232 186 371 -274 259 473 162 129 +1: 339 -407 394 375 281 396 -111 411 369 136 -140 131 114 159 -156 83 397 402 160 237 +1: -306 157 413 128 77 423 65 -101 281 335 -103 60 205 472 163 402 160 148 123 -399 69 83 197 170 395 -111 237 -469 233 -158 79 80 81 78 34 +1: 409 34 91 96 160 56 243 -111 65 170 240 69 237 77 423 48 -386 128 281 -339 300 3 186 -97 273 136 -158 24 157 413 +1: -400 -386 -111 -274 +1: -305 330 375 313 -407 -372 394 +1: -488 220 237 240 -111 83 281 +1: -228 245 319 448 453 37 397 411 155 -91 +1: -73 127 71 151 77 335 -274 158 -386 +1: -291 77 335 144 443 -274 -292 143 94 65 34 102 16 -261 +1: 205 92 291 316 19 -274 98 -376 395 231 77 377 45 46 47 335 144 443 -292 143 94 423 65 34 102 +1: -103 -237 377 291 19 299 73 65 443 99 423 476 -274 -292 143 94 +1: -176 34 -274 65 102 -76 92 227 19 316 +1: -143 -95 37 -412 -156 -107 67 227 3 231 273 300 116 409 86 -25 92 -101 91 100 408 243 -292 453 -126 -93 319 83 466 244 -182 400 -271 411 129 489 389 +1: 433 -107 311 -302 79 -292 43 148 374 153 5 281 228 321 23 -441 152 -53 316 92 227 -376 -274 -386 143 56 202 -59 178 294 423 77 147 132 +1: 160 157 -111 -386 -274 +1: -129 -230 395 449 143 397 149 473 73 +1: 143 157 -274 -386 -111 +1: -10 301 400 281 -111 423 77 +1: -233 157 -274 -386 -111 +1: -237 157 -111 -274 -386 +1: -34 227 3 231 300 116 -97 -140 102 94 66 -67 194 47 266 +1: 157 -386 -274 -111 +1: -138 -205 20 121 13 5 153 397 402 178 209 94 96 128 432 +1: -480 401 148 463 471 +1: 160 346 397 316 379 395 373 116 -230 58 47 178 209 -406 315 402 +1: 261 56 -111 400 281 +1: -465 276 281 -237 207 127 -425 171 56 368 +1: 423 227 -274 -111 -386 +1: 56 227 -111 -274 -386 +1: 227 -386 -111 -274 +1: 58 5 -274 -111 -386 +1: -34 400 -111 66 281 -140 94 128 126 +1: -261 75 432 37 373 144 128 115 -227 395 170 281 443 73 -77 83 365 188 24 159 -425 154 213 352 369 6 410 402 178 209 +1: -77 -386 -274 -111 +1: 237 -67 -111 -274 -386 +1: -205 144 24 128 432 37 -227 170 395 65 -261 127 378 -156 448 75 153 207 281 -237 276 +1: -67 -386 -274 -111 +1: -428 107 48 392 213 67 138 256 305 -386 +1: 290 -103 -386 -274 -111 91 93 +1: 205 -386 -274 -111 +1: -290 24 -348 19 301 127 214 -302 304 221 121 20 -205 13 480 153 397 318 120 65 281 243 345 77 231 208 178 402 315 42 48 209 86 423 41 128 303 -156 27 448 356 +1: -386 -111 -274 +1: -129 359 83 -243 +1: -74 143 39 325 56 47 34 158 +1: -143 377 201 359 411 319 448 306 453 -376 427 65 15 244 42 249 315 48 466 494 +1: -231 423 41 128 303 42 48 432 +1: -206 -412 428 213 -101 369 6 11 410 80 343 430 99 7 413 +1: -423 310 65 301 77 264 228 +1: -131 56 100 -97 99 55 39 465 -461 +1: -112 377 201 148 471 401 +1: -377 491 448 152 77 147 423 449 415 45 3 46 47 48 49 50 34 +1: -10 147 423 228 65 301 77 +1: -67 -111 -274 -395 -237 +1: -432 204 449 160 423 384 +1: -433 423 229 339 382 178 128 402 303 96 -261 151 16 +1: -138 95 96 466 229 74 -111 +1: 34 -111 -274 -237 -395 +1: -209 400 56 143 -271 387 411 458 290 3 191 +1: 409 -111 -274 -237 -395 +1: 423 -111 -395 -274 -237 +1: -111 -395 -274 -237 +1: -227 212 24 484 381 -395 246 +1: -119 384 34 205 -274 252 338 13 81 -237 +1: -244 379 3 233 112 297 39 -67 56 66 +1: -415 -472 359 379 83 290 3 +1: -157 276 153 348 -56 183 +1: -406 -148 449 -115 65 -274 +1: 238 -423 -395 -274 -237 +1: -157 381 -423 301 386 484 182 115 -237 120 +1: 16 -148 153 -230 143 47 386 +1: -34 188 77 419 359 453 358 248 128 362 +1: 1 -423 -274 -237 -395 +1: -67 -423 -274 -237 -395 +1: 56 163 100 67 -103 428 379 465 -395 47 182 212 +1: 261 -423 -274 -237 -395 +1: -231 384 171 365 159 247 42 301 48 +1: 119 -472 249 391 415 7 106 293 422 49 408 12 419 40 213 356 183 +1: -163 -103 416 408 -274 77 54 106 12 356 183 381 153 -395 -261 -238 210 228 -193 200 369 -423 357 305 -236 65 111 +1: 56 -423 -237 -395 -274 +1: -423 -395 -274 -237 +1: 412 16 419 303 111 311 238 39 +1: -432 35 449 153 24 423 127 329 384 +1: -477 -95 108 121 111 118 123 +1: -488 192 -395 -237 133 272 +1: -261 -395 -237 -274 -56 +1: 341 67 261 128 423 54 408 386 47 +1: -432 382 229 449 466 96 423 74 312 401 148 +1: 382 -395 -56 -237 -274 +1: -296 127 -274 103 65 77 +1: 341 -395 -237 -56 -274 +1: -246 477 328 203 -288 41 161 423 147 -274 103 127 151 205 443 -237 316 301 227 +1: -291 111 377 47 116 -274 103 65 77 127 205 443 34 -415 +1: -335 312 186 69 266 225 147 443 65 73 465 272 111 377 47 116 -230 231 120 401 -218 +1: -395 -274 -237 -56 +1: -348 191 204 328 234 472 128 124 351 -156 343 +1: -206 -230 153 5 80 99 430 354 +1: -341 127 -274 -56 -237 +1: -31 249 5 -73 -156 +1: -428 -230 5 200 -178 161 diff --git a/free.txt b/free.txt new file mode 100644 index 0000000..e69de29 diff --git a/import.txt b/import.txt new file mode 100644 index 0000000..d08a6bd --- /dev/null +++ b/import.txt @@ -0,0 +1,1666 @@ +0: -106 67 +0: -240 213 +0: -480 67 +0: -312 4 +0: -148 16 -261 +0: -488 83 130 +0: -163 472 56 +0: -103 -93 94 +0: -240 352 213 +0: -182 284 81 +0: -265 431 443 +0: -453 314 228 +0: -396 168 343 +0: -336 -261 177 +0: -429 314 228 +0: -299 148 91 +0: -265 176 16 +0: -299 148 91 +0: -240 15 213 +0: -41 83 253 +0: -229 228 372 +0: -381 359 130 +0: -100 148 91 +0: 376 182 -5 +0: -316 201 377 +0: -293 385 86 +0: -6 472 56 +0: -182 284 81 +0: 261 56 4 +0: -148 16 -261 +0: -100 91 -261 +0: -34 94 95 +0: -182 81 284 +0: -266 16 177 +0: -67 270 15 +0: 9 -148 56 +0: -41 83 253 +0: -79 216 42 +0: -40 143 56 +0: -111 408 182 +0: -182 284 81 +0: -256 372 314 +0: -391 65 310 249 +0: 101 96 -93 94 +0: -103 96 -93 94 +0: -34 95 96 94 +0: -227 128 77 71 +0: 76 96 -93 94 +0: -231 35 153 199 +0: -377 382 34 47 +0: -220 331 -11 467 +0: -192 431 443 299 +0: -154 -230 153 5 +0: -293 385 86 118 +0: -303 386 47 341 +0: -378 168 345 343 +0: -243 -409 319 397 +0: -280 312 103 -241 +0: -91 95 96 79 +0: -432 339 178 402 +0: -438 40 207 119 +0: -304 158 34 394 +0: -212 7 346 166 +0: -480 79 96 95 +0: -272 341 182 -302 +0: -237 239 319 182 +0: 376 -302 182 341 +0: -303 386 47 341 +0: -239 386 47 341 +0: -406 318 65 238 57 +0: -360 423 -9 58 319 +0: -79 216 137 -93 42 +0: -167 372 482 174 479 +0: -19 -93 58 319 423 +0: -127 216 137 -93 42 +0: -312 -93 58 319 423 +0: -360 -261 16 412 388 +0: -148 312 -261 49 320 +0: -154 413 257 77 409 +0: -5 237 281 400 178 +0: -42 127 344 235 317 +0: -163 465 39 325 56 +0: -209 304 158 395 -166 +0: -83 33 34 290 -236 +0: -322 66 58 -93 319 423 +0: -191 301 -425 171 365 159 +0: -67 37 181 124 472 56 +0: -322 352 213 5 -156 487 +0: -255 169 5 409 -59 192 +0: -489 78 278 110 327 48 +0: -73 158 395 304 342 377 +0: -32 237 394 314 19 439 305 +0: -111 69 240 46 220 237 238 +0: -18 56 58 55 4 54 57 42 +0: 395 243 90 98 435 392 48 -376 231 +0: -131 391 5 421 6 25 -9 388 221 +0: -316 339 314 160 197 343 133 369 57 377 415 +0: -103 217 +0: -381 -41 +0: -103 217 94 +0: -100 91 4 +0: -103 217 148 +0: -488 83 130 +0: -185 408 -312 +0: -170 -297 340 +0: -382 95 -138 +0: -61 -401 120 65 +0: -393 39 -436 415 +0: -227 128 77 71 +0: -72 -93 95 96 +0: 193 199 -230 35 +0: -237 359 313 301 +0: -282 47 182 386 +0: -103 148 217 94 +0: -488 281 228 83 +0: -212 67 75 385 +0: -433 178 160 339 +0: -277 415 449 202 +0: -91 -43 138 34 +0: -265 443 65 431 +0: -81 327 -343 -261 +0: -225 -103 325 -76 +0: -410 5 487 421 +0: -309 158 34 47 +0: -47 115 -77 246 +0: -127 182 -302 386 +0: -29 333 42 207 +0: -305 424 -246 -407 +0: -299 -238 433 148 +0: -293 494 466 385 +0: -127 -191 -431 441 +0: -244 215 64 334 +0: -202 86 180 385 +0: -479 244 494 466 +0: -44 18 433 -233 +0: -237 406 207 56 +0: -210 51 67 377 +0: -142 58 332 38 +0: -91 95 96 79 +0: -92 -363 164 471 +0: -242 158 47 34 +0: -231 -100 153 91 +0: -428 310 233 -391 +0: -318 163 494 485 +0: -498 32 307 449 +0: -173 -386 395 392 +0: -18 101 111 121 +0: -212 75 67 385 +0: 241 395 435 98 343 +0: -197 400 178 237 153 +0: -400 235 231 234 -230 +0: -315 5 204 277 386 +0: -235 207 42 437 454 +0: -256 343 -233 18 314 +0: 386 54 408 -315 -127 +0: -243 136 397 22 319 +0: -83 290 -236 34 33 +0: -66 63 398 396 145 +0: -7 89 479 418 483 +0: -136 140 413 498 120 +0: 1 482 107 69 297 +0: -43 137 138 -93 34 +0: -237 323 239 265 396 +0: -191 441 -431 157 470 +0: -320 -290 73 431 4 +0: -281 -177 220 465 379 +0: -290 39 112 325 297 +0: -43 150 148 138 34 +0: -428 -9 92 -93 58 +0: -129 153 237 178 -193 +0: -74 143 39 -394 325 +0: -207 235 43 344 127 +0: -348 90 463 330 19 +0: -483 5 -156 249 -73 +0: -315 31 39 395 -111 +0: -163 39 325 465 56 +0: -173 231 395 -376 392 +0: -293 163 494 466 385 +0: -91 42 34 138 216 +0: -16 356 310 247 276 +0: -294 228 313 301 65 +0: -140 74 202 488 382 +0: -243 372 281 83 359 +0: -64 388 433 200 290 +0: -386 392 427 395 48 +0: -392 372 161 200 338 +0: -141 453 109 479 482 +0: -83 -236 34 290 33 +0: -131 396 274 398 63 +0: -498 32 449 307 409 +0: -32 449 395 143 324 +0: -401 -425 171 -191 301 +0: -71 359 228 65 313 +0: -140 74 382 488 202 +0: -323 284 81 408 319 +0: -359 303 277 128 -288 +0: -243 435 319 136 22 397 +0: -238 423 301 77 228 65 +0: -319 56 106 494 466 4 +0: -8 135 99 430 80 113 +0: -6 281 215 -305 235 157 +0: -429 86 71 24 461 363 +0: -209 237 69 -236 46 239 +0: -317 332 152 49 422 436 +0: -138 488 95 -93 -140 74 +0: -294 244 263 139 353 255 +0: -431 441 470 157 369 114 +0: 302 392 227 334 397 129 +0: -316 339 314 254 197 160 +0: -180 373 -156 152 -261 -81 +0: -111 239 182 281 -193 400 +0: -368 183 419 213 40 -297 +0: -225 201 377 325 -76 91 +0: -325 423 267 286 332 -469 +0: -7 -241 320 312 -65 233 +0: -115 171 368 365 7 -425 +0: -120 348 281 127 207 -237 +0: -3 173 430 112 177 168 +0: -160 42 488 137 382 -56 +0: -111 453 411 441 243 306 +0: -129 281 314 153 -193 178 +0: -65 284 303 153 400 281 -193 +0: 302 392 334 129 227 397 304 +0: -274 178 73 290 339 160 191 +0: 193 463 470 471 487 -156 391 +0: -191 15 65 310 -431 157 470 +0: -119 103 -241 312 233 290 191 +0: -325 372 163 128 39 77 175 +0: -472 13 265 111 81 -182 382 +0: -374 247 -16 310 385 17 67 +0: -388 103 -423 -241 128 312 209 +0: -38 151 415 39 311 423 433 +0: -27 18 -399 343 107 67 64 +0: -312 116 -407 -399 44 119 408 +0: -118 332 10 132 434 19 295 +0: -315 373 397 259 114 -1 68 +0: -67 275 377 327 39 215 496 +0: -91 332 151 179 415 2 326 96 +0: -95 103 106 108 107 102 -101 -76 +0: -114 255 -76 353 263 151 352 194 +0: 233 112 297 325 39 3 191 73 +0: -231 188 192 191 24 189 153 199 +0: -197 314 228 15 198 195 188 39 +0: -383 423 433 70 39 436 415 151 +0: 156 441 359 306 319 448 130 453 +0: -158 421 391 5 471 360 445 164 +0: -158 244 466 163 267 358 233 332 -469 +0: -413 327 129 131 278 133 212 400 -253 6 +0: 9 -148 +0: -182 -62 +0: -64 108 -95 +0: -301 128 -227 +0: -265 443 431 +0: -96 47 -377 +0: -212 7 166 346 +0: -81 -428 -156 5 +0: -320 -308 405 269 +0: -190 -34 488 -140 +0: -237 301 359 313 +0: -138 423 415 449 +0: -41 151 325 253 +0: -163 -233 -6 -112 +0: -415 416 77 -22 +0: -82 54 319 182 +0: -397 230 277 386 +0: -172 303 182 389 +0: -234 -76 325 -293 +0: -160 42 382 -56 +0: -477 180 118 123 +0: -120 108 207 439 +0: -382 79 -93 95 +0: -141 389 129 303 +0: -406 -95 107 106 +0: 1 470 471 -146 +0: -267 151 177 16 +0: -163 56 122 -172 +0: -312 408 119 293 +0: -388 423 415 449 +0: -106 79 96 -93 +0: -122 382 202 74 +0: -432 423 415 449 +0: -202 180 86 385 +0: -329 385 -202 67 +0: -122 166 99 7 +0: -238 77 -395 313 +0: -147 415 -436 39 +0: -160 382 74 -140 +0: -74 176 16 4 +0: -144 483 -412 163 -101 +0: -69 479 174 372 109 +0: -71 -236 -360 467 290 +0: -406 238 318 57 65 +0: -6 -292 148 447 -92 +0: -303 -143 489 212 371 +0: -100 -241 49 312 148 +0: -112 121 127 274 106 +0: -312 408 293 119 12 +0: -258 372 281 160 -148 +0: -44 98 435 395 243 +0: -488 423 449 202 83 +0: -7 418 479 483 89 +0: -198 405 54 190 368 +0: -47 -166 233 377 395 +0: -466 303 277 423 128 +0: -129 314 -193 178 153 +0: 77 -163 -6 -112 -233 +0: 277 -163 -6 -233 -112 +0: -176 326 474 332 125 +0: -91 232 -230 233 231 +0: -111 -193 182 281 400 +0: -160 137 -56 382 42 +0: -67 270 89 -7 479 +0: -331 382 47 201 51 +0: 302 274 127 106 121 +0: -184 435 98 90 395 +0: -212 166 7 75 67 +0: -77 431 73 443 465 +0: -446 395 290 65 127 +0: -317 49 422 332 436 +0: -170 238 65 -401 302 +0: 101 121 470 138 127 +0: -395 359 228 77 313 +0: -154 409 413 77 257 +0: -111 305 323 265 396 +0: 241 98 395 343 435 +0: -38 465 325 39 297 +0: -406 -356 315 81 372 +0: 76 -428 -190 -281 -33 +0: -295 267 423 -325 -469 +0: -403 130 74 202 -140 +0: -466 277 423 303 -238 +0: -229 65 228 359 77 +0: -277 -221 -93 67 92 +0: -315 204 386 277 47 +0: -108 119 340 356 143 +0: -127 233 -315 158 -160 +0: -20 454 355 207 42 +0: -95 43 -324 197 467 +0: -325 286 -469 332 423 +0: -459 377 51 130 433 +0: -290 -360 -261 44 209 +0: -3 34 382 8 201 +0: -387 247 356 276 310 +0: -320 372 174 479 109 +0: -34 121 274 138 470 +0: -169 196 187 200 161 +0: -130 -393 70 38 39 +0: -3 -166 395 377 158 +0: -312 8 377 408 119 +0: -120 178 -193 400 237 +0: -171 -67 166 6 369 +0: -168 471 432 244 315 352 +0: -479 213 410 369 6 352 +0: 191 39 -472 325 233 3 +0: -465 310 65 15 3 233 +0: 21 152 339 67 448 491 +0: -56 94 102 107 96 79 +0: -111 69 238 240 237 220 +0: -51 98 343 233 -65 90 +0: -142 136 274 322 61 248 +0: -352 134 80 410 27 457 +0: -328 372 39 210 175 77 +0: 281 314 -193 400 372 -111 +0: -111 -433 160 400 372 281 +0: -238 264 65 301 77 310 +0: -91 -241 49 -24 -471 160 +0: -486 153 154 132 25 87 +0: -479 7 99 413 303 81 +0: -15 408 -312 58 -9 -93 +0: -212 119 207 356 75 67 +0: -113 433 192 366 272 133 +0: -169 285 144 205 335 443 +0: -130 147 433 423 281 372 +0: -125 47 58 116 175 -230 +0: -116 16 -190 136 386 341 +0: -81 -230 15 50 249 58 +0: -330 348 151 -103 125 91 +0: -30 5 277 386 454 204 +0: -130 39 77 423 433 151 +0: -165 335 144 151 60 285 +0: -415 179 -76 73 290 3 +0: -41 -241 320 49 -76 325 +0: -465 207 56 439 284 81 +0: -435 283 286 284 -226 208 +0: 302 201 382 144 304 34 +0: -204 127 249 -236 107 314 +0: -281 16 118 379 465 220 +0: -190 119 293 408 114 422 +0: -447 498 -136 120 472 56 +0: -187 334 472 129 397 32 +0: -491 321 135 -53 411 83 +0: -160 -127 233 34 158 -315 +0: -370 187 186 100 132 6 +0: -73 304 158 342 377 395 +0: -56 394 47 158 95 79 +0: -152 259 397 -315 -146 470 +0: -318 -148 353 194 255 352 +0: -465 245 249 180 3 191 +0: -274 247 432 471 315 244 +0: -313 50 91 151 55 125 +0: 302 277 231 471 386 454 +0: -251 451 58 116 47 -230 +0: -231 247 191 42 48 384 +0: -299 239 396 265 305 148 +0: -428 264 65 -93 92 58 +0: -326 315 432 48 42 247 +0: -128 252 70 436 281 228 +0: -190 303 136 111 103 312 +0: -255 411 453 448 441 306 +0: -415 416 136 409 100 77 +0: -206 416 136 409 100 77 +0: -171 90 115 406 274 28 +0: -13 122 125 123 124 70 +0: -387 28 115 406 90 274 +0: -212 135 113 354 11 80 +0: -481 190 331 368 405 418 +0: -5 47 397 136 -243 386 +0: -91 239 312 182 319 -241 +0: -386 133 433 206 366 192 +0: -143 489 389 371 129 400 +0: -311 346 316 373 395 379 397 +0: -147 316 379 373 397 251 395 +0: -57 343 290 433 200 281 314 +0: -56 132 6 187 185 177 91 +0: -111 46 240 238 69 237 220 +0: -100 409 169 25 -59 5 192 +0: -268 386 47 423 -288 41 128 +0: -123 290 200 388 334 325 221 +0: -81 465 73 -56 91 -433 178 +0: -457 -382 337 489 419 248 313 +0: -231 160 191 384 42 48 247 +0: -212 324 395 -230 77 433 147 +0: -346 360 419 -351 369 429 203 +0: -194 207 340 112 379 39 325 +0: -257 38 436 70 71 127 77 +0: 39 465 325 297 436 252 70 +0: -176 19 90 69 463 474 125 +0: -289 5 487 369 42 6 391 +0: -244 227 157 189 229 -1 103 +0: 241 247 42 -161 48 123 118 +0: -127 496 60 210 294 447 49 +0: -103 74 229 202 466 488 -93 +0: -185 118 385 123 79 95 -93 +0: -154 73 77 409 421 397 257 +0: -56 -160 42 95 229 488 79 +0: 216 138 106 107 -56 42 94 +0: -5 -65 191 178 281 182 386 +0: -416 -77 443 465 99 413 346 +0: -234 -315 200 118 477 163 123 +0: -170 400 210 259 440 235 157 +0: -320 49 114 293 408 422 67 +0: -69 351 -236 457 422 435 118 +0: -203 71 127 128 333 235 317 +0: -459 143 431 465 299 56 65 +0: -414 462 217 225 27 268 151 +0: -362 158 395 377 304 151 -76 +0: -70 90 86 88 92 91 89 +0: -148 237 -5 235 281 325 -76 +0: -318 377 215 496 -101 275 327 +0: -77 178 327 69 453 202 -59 +0: -227 246 24 484 381 115 128 +0: -304 81 90 48 62 341 -303 +0: -203 301 3 365 -65 -425 159 +0: -282 265 239 305 396 47 386 +0: -189 -288 203 106 -261 168 5 +0: -223 436 70 39 3 191 -465 +0: -191 303 95 -205 162 6 80 +0: -387 373 121 400 397 480 232 +0: -80 208 373 124 360 267 471 +0: -194 -241 312 103 56 4 106 +0: -338 284 386 315 47 -230 153 +0: 9 67 -376 118 -156 -391 48 +0: -17 56 472 129 389 489 371 +0: -209 345 227 158 342 122 304 395 +0: -40 77 175 128 39 372 210 56 +0: -397 31 385 300 395 423 160 202 +0: 386 454 471 231 277 204 182 47 +0: -18 131 69 269 -218 244 -85 221 +0: -247 64 334 325 138 121 127 274 +0: -176 149 370 216 457 134 289 15 +0: -277 436 400 372 281 136 -433 16 +0: -356 372 467 235 395 124 366 190 +0: -290 396 239 54 305 431 443 73 +0: -267 -288 106 168 203 5 -308 247 +0: 277 5 -236 107 314 386 -315 249 +0: -266 351 -236 273 457 422 435 118 +0: 193 160 199 35 5 314 189 -81 +0: -173 -302 341 182 48 231 395 392 +0: 102 96 103 205 38 182 -127 64 +0: -173 -226 45 395 140 51 429 485 +0: 376 35 199 153 277 454 471 182 +0: -392 252 -469 17 -1 6 364 131 +0: -233 161 338 372 196 245 249 180 +0: -54 389 -172 387 -271 458 411 329 +0: -38 138 137 -93 216 126 128 127 +0: -316 173 274 430 112 177 168 48 +0: -430 -308 -69 136 274 248 322 61 +0: -191 377 346 99 158 304 413 395 +0: -240 209 138 127 121 160 470 339 +0: -277 415 449 234 328 124 472 373 +0: -107 35 153 311 -302 428 175 -230 +0: -114 221 66 58 37 257 326 115 +0: -353 269 48 421 6 371 80 446 +0: -381 130 359 +0: 376 341 -239 +0: -220 -29 42 +0: -211 263 4 56 +0: -161 71 77 128 +0: -386 158 34 -73 +0: -254 385 17 75 +0: -220 -487 42 454 +0: -294 127 71 128 +0: -231 199 35 153 +0: -211 -67 56 263 +0: -256 115 -387 90 406 +0: -366 333 127 317 344 +0: -202 67 17 180 385 +0: -280 312 118 385 103 +0: -275 190 136 199 201 +0: -61 112 465 325 379 +0: -398 157 441 369 160 114 +0: -47 24 381 301 115 246 +0: -322 487 213 352 -156 5 +0: -190 160 415 449 352 213 +0: -154 92 442 132 104 145 +0: -397 36 143 395 324 277 +0: -265 75 65 484 79 -497 +0: -309 74 466 229 96 488 +0: -170 112 465 325 379 340 +0: -349 463 19 -176 125 69 +0: -25 89 90 86 91 92 -85 +0: -112 -378 392 427 312 471 4 +0: -171 -56 94 216 352 106 138 +0: -269 55 219 225 16 222 224 223 +0: 233 -79 34 96 145 191 290 3 +0: 7 166 107 482 454 346 99 297 +0: -129 237 -53 312 18 38 178 -193 100 +0: 425 267 171 429 148 52 164 274 24 +0: -34 18 128 433 77 122 290 388 343 +0: -134 483 453 433 -493 113 411 474 52 +0: -100 29 98 413 206 44 -412 415 -407 +0: -113 82 77 84 80 -76 79 81 34 +0: -114 102 151 137 138 325 103 -140 136 +0: -431 394 -376 181 41 299 305 427 390 +0: -160 229 377 395 74 96 342 466 233 +0: -436 325 -76 419 410 447 457 27 80 +0: -334 55 223 -218 224 222 219 16 225 +0: -178 91 35 -230 5 186 177 6 185 +0: 310 311 107 249 314 -236 127 65 15 +0: -400 136 199 201 200 190 67 461 385 +0: 302 377 395 158 233 342 201 34 382 +0: 34 395 158 233 342 201 302 382 47 +0: -136 -271 116 216 309 310 311 246 -308 +0: -173 485 244 163 341 182 231 395 -302 +0: -127 382 201 34 -146 471 148 182 386 +0: -56 470 106 -146 471 107 96 79 94 +0: -127 471 -324 200 148 433 449 415 423 +0: -78 89 387 418 483 303 7 81 99 +0: -106 190 189 24 94 -93 138 216 96 +0: -274 391 5 421 102 65 103 96 34 +0: -386 116 3 186 409 300 -97 48 427 +0: -213 81 315 -65 435 480 14 414 472 +0: -400 -138 96 69 147 266 312 225 -431 +0: -108 98 414 -97 -412 413 44 -407 415 +0: -134 395 379 397 346 316 373 65 310 +0: 288 219 221 222 -218 16 225 220 224 +0: -191 437 141 322 209 333 301 171 -425 365 +0: 470 369 157 432 441 114 106 121 127 274 +0: -285 266 69 67 428 225 -433 293 119 12 +0: 487 359 253 171 365 421 -425 5 -191 391 +0: -163 382 488 -140 421 25 -9 483 6 472 +0: -38 160 385 178 209 118 413 409 157 257 +0: -34 269 46 270 111 268 266 227 47 194 +0: -47 233 104 110 58 -218 99 212 -85 142 +0: -122 346 99 7 176 330 2 415 -97 336 +0: -109 385 381 384 329 382 311 39 151 415 +0: -130 -83 354 430 99 436 39 70 228 281 +0: 325 111 303 419 297 379 39 465 179 -76 +0: -131 465 65 431 91 102 103 96 34 -40 +0: -243 -9 221 483 6 143 388 22 136 319 +0: -479 -261 327 388 303 315 67 483 -101 428 +0: -356 33 103 257 213 397 314 67 372 124 +0: -243 421 143 388 221 6 270 15 8 377 +0: -3 447 341 496 194 210 40 -77 115 484 +0: 376 382 394 34 33 322 328 377 272 140 +0: -212 171 172 132 173 170 25 157 257 409 77 +0: -34 30 124 274 129 163 281 -18 47 111 121 +0: -91 233 96 -230 -302 311 232 175 428 251 -93 +0: -232 114 373 259 -1 -201 255 470 138 106 127 +0: 261 19 90 69 463 178 187 346 304 329 227 +0: -210 127 71 77 115 400 487 373 240 73 100 +0: -34 127 424 -425 477 385 102 118 123 79 95 +0: -473 457 -236 351 273 422 435 118 163 -412 -101 +0: -310 -173 48 395 -302 -236 107 314 277 -315 386 +0: -213 429 151 325 203 -385 457 419 187 369 227 +0: 261 24 115 304 484 48 258 110 78 327 56 +0: -100 168 128 79 96 433 77 122 290 388 343 148 +0: -410 47 433 77 378 377 379 75 111 49 -241 312 +0: -204 160 -433 252 387 338 13 -399 7 159 35 5 +0: 408 51 8 119 12 49 422 114 116 123 44 -407 +0: -221 -230 451 47 -264 452 162 339 100 67 224 283 +0: 73 6 -36 410 42 473 421 397 465 443 299 65 +0: -220 69 221 64 215 312 163 31: 261 56 -67 +1: 261 -369 56 +1: -42 352 270 +1: 261 193 56 +1: 261 1 56 +1: -148 -67 16 +1: -346 -293 466 +1: 302 -281 -312 +1: -23 77 147 433 +1: -77 -80 281 83 +1: -34 77 128 126 +1: -269 325 215 334 +1: -304 386 182 341 +1: -15 449 -96 415 +1: -29 323 -237 265 +1: 85 -76 151 -100 +1: -168 -346 -129 -209 +1: -237 182 319 239 +1: -410 427 392 230 +1: -293 -312 -281 302 +1: -6 -156 5 487 +1: -373 302 -312 -281 +1: -213 302 -312 -281 +1: -56 302 -281 -312 +1: -166 302 -312 -281 +1: 128 302 -312 -281 +1: -408 302 -312 -281 +1: 325 302 -312 -281 +1: 496 302 -312 -281 +1: -34 470 274 121 +1: -67 320 49 -148 +1: -125 217 325 150 -76 +1: -386 63 142 274 398 +1: -373 465 220 16 -281 +1: -171 -354 -386 -148 -472 +1: -400 -354 -386 -472 -148 +1: -69 290 8 34 331 +1: -362 299 465 65 73 +1: -238 301 423 65 77 +1: -50 301 -274 -425 171 +1: -57 -118 -136 -129 -209 +1: 302 382 144 3 150 +1: -239 386 153 -338 47 +1: -237 -168 -209 -346 -129 +1: -118 -369 67 73 -209 +1: -201 56 67 195 -318 +1: 359 -168 -129 -346 -209 +1: -360 -9 423 319 58 +1: -485 -168 -129 -346 -209 +1: 67 -168 -346 -129 -209 +1: -11 331 -281 34 -236 +1: -164 99 430 -83 354 +1: -390 48 392 231 395 +1: -42 317 235 344 127 +1: -265 -497 484 75 79 +1: -91 92 -9 319 58 +1: -127 160 369 -471 441 +1: -472 379 39 465 325 +1: -185 415 474 125 2 +1: -389 16 111 419 436 +1: -114 463 401 470 148 +1: -43 34 148 138 150 +1: -148 -231 153 209 160 +1: -81 -261 44 -178 388 +1: -61 57 120 65 393 +1: 44 -293 -312 -281 302 +1: -127 -293 -312 302 -281 +1: -213 -293 302 -281 -312 +1: -81 -293 302 -281 -312 +1: -34 -293 -281 -312 302 +1: 77 -293 302 -281 -312 +1: -56 95 79 -377 47 +1: -488 421 289 149 397 +1: -397 115 419 183 422 +1: -44 128 -312 302 -281 +1: -397 128 -312 302 -281 +1: -411 -373 -312 302 -281 +1: -81 -373 -281 -312 302 +1: -127 -373 -312 -281 302 +1: -288 -373 -281 302 -312 +1: -482 -373 -281 -312 302 +1: -377 -373 302 -281 -312 +1: 166 -373 302 -281 -312 +1: -274 -373 302 -312 -281 +1: -284 -373 -281 -312 302 +1: -136 -373 -312 302 -281 +1: 377 -213 302 -281 -312 +1: -397 115 -312 302 -281 +1: -479 81 116 302 277 +1: 16 -56 -312 302 -281 +1: -39 -56 302 -281 -312 +1: 395 -56 302 -281 -312 +1: -397 391 -312 302 -281 +1: -128 -166 -312 -281 302 +1: -83 -166 -312 302 -281 +1: -254 238 120 65 318 +1: 392 -166 -281 302 -312 +1: -65 -166 -312 302 -281 +1: -392 128 -312 -281 302 +1: 127 128 302 -312 -281 +1: -274 128 -312 -281 302 +1: 7 128 -281 -312 302 +1: 137 128 -312 -281 302 +1: 397 -408 -312 -281 302 +1: 148 325 -312 -281 302 +1: -95 1480: -182 81 284 +0: 261 56 -67 +0: -65 128 126 71 +0: -69 -179 -428 -129 +0: -360 53 423 319 +0: -290 -472 39 325 +0: -406 372 373 -229 +0: -111 176 177 408 +0: -432 204 384 191 +0: -154 409 -228 413 +0: -422 420 356 -134 +0: -281 -244 -342 302 +0: -34 77 126 128 +0: 305 -306 396 -111 +0: -5 -111 -77 -428 +0: -315 386 -127 277 +0: -315 277 5 386 204 +0: -111 182 -193 400 281 +0: -213 153 81 -129 -193 +0: 230 -156 421 -428 310 +0: -360 58 423 319 -9 +0: -446 115 419 213 183 +0: -392 161 372 338 200 +0: -471 -376 427 395 392 +0: -157 -435 283 286 284 +0: -114 463 470 401 148 +0: 261 356 310 276 81 +0: -320 479 109 174 372 +0: -448 -303 359 -143 83 +0: -66 121 127 138 470 +0: -483 213 5 -156 -322 +0: -313 -93 -168 137 216 +0: -356 5 487 -73 249 +0: -400 235 234 -230 231 +0: -56 438 419 422 -103 +0: -141 385 -103 118 123 +0: -118 34 331 -281 -236 +0: -498 129 -111 320 30 +0: -345 290 18 140 388 +0: 66 53 106 263 56 +0: -44 243 98 435 395 +0: -409 -230 324 395 143 +0: -182 396 305 323 265 +0: -41 377 51 253 67 +0: -391 346 413 3 -465 +0: -119 -343 49 116 123 +0: -74 -472 138 16 -341 +0: -498 30 320 47 129 +0: -440 138 18 28 213 372 +0: -120 43 344 235 108 439 +0: -319 114 67 160 432 -24 +0: -209 158 431 395 342 304 +0: -148 341 47 386 143 16 +0: -142 80 354 11 113 430 +0: -206 99 430 354 11 80 +0: -81 254 160 314 189 197 +0: -463 103 253 359 49 -241 +0: -247 421 487 -156 65 249 +0: -180 -271 387 400 411 17 +0: -472 291 -246 3 92 316 +0: -189 -488 402 65 228 77 +0: -91 476 77 433 79 96 +0: -324 433 314 200 228 18 +0: -415 -261 177 73 3 233 +0: -37 373 128 432 234 328 +0: -136 113 160 96 137 -71 +0: -185 232 432 229 38 202 83 +0: -369 237 400 281 421 487 -156 +0: 1 65 249 421 487 -156 67 +0: -95 43 197 467 395 235 297 +0: -281 231 5 35 386 454 471 +0: -81 93 116 175 148 150 -230 +0: 143 56 472 277 -397 395 324 +0: -202 328 -315 200 477 163 86 +0: -40 3 5 -67 -1 6 8 +0: -180 131 337 294 110 188 326 +0: 425 323 239 54 -314 178 209 +0: -186 290 73 3 343 388 18 +0: -415 395 143 -32 73 3 233 +0: -83 65 228 -71 115 -47 24 +0: -199 303 495 415 165 197 443 +0: -56 -303 47 233 34 -160 42 +0: -81 -425 -399 213 -177 327 -156 -428 +0: -237 318 57 77 423 301 207 56 +0: -289 202 382 96 488 229 16 -261 +0: -447 147 391 383 393 369 311 390 +0: -431 157 441 470 369 148 463 401 +0: -267 418 479 387 278 65 -251 -148 +0: -33 472 435 414 -302 265 480 82 +0: -312 180 400 372 264 129 421 34 +0: -246 41 415 171 247 189 316 360 +0: -443 -130 238 311 465 379 212 143 +0: -6 212 465 299 65 325 431 379 56 +0: -25 237 -193 281 400 185 100 186 177 +0: -320 411 483 52 433 113 404 344 474 +0: -96 111 239 73 13 14 82 265 408 138 +0: 343 461 395 65 290 170 140 168 388 18 +0: -220 -85 191 -377 56 244 64 312 221 69 +0: -425 138 18 213 305 256 64 107 67 343 +0: -66 221 16 224 55 223 -218 225 -47 8 377 +0: -258 415 356 340 432 119 42 332 315 125 235 43 127 +0: -106 403 120 66 -93 470 242 368 199 138 137 -6 96 +0: -15 410 369 11 471 31 360 402 171 430 274 24 148 429 +0: -274 329 24 221 -302 127 315 247 244 471 301 171 7 368 +0: -368 467 301 473 316 180 331 198 436 65 273 486 355 358 280 +0: -99 75 385 67 311 105 -308 255 246 309 310 116 118 -281 465 220 +0: -488 -38 244 228 402 24 213 416 126 36 31 229 221 296 252 -163 183 200 159 417 +0: -47 -38 402 183 31 252 200 221 36 228 213 244 416 126 -163 229 159 296 24 417 +0: 9 270 66 +0: 261 9 56 +0: -229 470 -34 +0: -429 -130 228 +0: -82 -160 42 -163 +0: -303 -111 -193 281 +0: -388 -227 338 196 +0: -160 -43 -93 34 +0: -95 -6 -163 -386 +0: -210 51 377 67 +0: -66 49 -241 103 +0: -185 286 423 -325 +0: -473 79 95 94 +0: -235 454 207 -138 +0: -69 -34 -281 -111 +0: -409 397 -243 319 +0: -467 359 -243 372 +0: -446 166 99 346 +0: -237 293 -312 406 +0: -324 -77 -48 -386 +0: -210 67 377 -48 +0: 1 67 377 -48 +0: -227 -77 -48 -386 +0: -148 49 320 312 -261 +0: -11 201 382 51 47 +0: -350 400 458 17 387 +0: -60 396 142 398 145 +0: -129 81 315 124 -356 +0: -386 163 116 111 323 +0: -484 -255 5 169 -59 +0: -202 274 -329 108 -95 +0: -209 200 290 18 388 +0: -91 -95 -6 -386 -163 +0: -127 -95 -163 -386 -6 +0: -324 -378 168 388 433 +0: -237 323 396 265 239 +0: -111 -193 281 237 400 +0: 281 -95 -163 -386 -6 +0: 385 -95 -6 -386 -163 +0: 69 -95 -163 -6 -386 +0: -356 -261 -81 152 -180 +0: -148 281 153 237 400 +0: -69 -108 -163 -6 -386 +0: 48 -108 -6 -163 -386 +0: -148 -108 -163 -386 -6 +0: 65 -108 -386 -6 -163 +0: -345 433 290 18 388 +0: -140 -108 -163 -6 -386 +0: -423 -230 50 249 -81 +0: -463 -191 157 432 441 +0: -77 -69 -34 -111 -281 +0: -75 -122 74 79 -93 +0: 143 -69 -34 -281 -111 +0: 261 -69 -281 -34 -111 +0: -15 92 319 58 -93 +0: -220 221 -369 215 325 +0: 66 263 106 56 -381 +0: 385 -69 -111 -34 -281 +0: -14 -69 -111 -281 -34 +0: -333 -69 -34 -281 -111 +0: 480 -69 -111 -34 -281 +0: 91 -69 -34 -281 -111 +0: -150 -69 -281 -34 -111 +0: -144 -209 342 395 158 +0: -67 320 49 -241 -93 +0: -414 -243 -111 43 -34 +0: -281 24 257 77 409 +0: -212 -230 449 324 395 +0: -395 182 341 47 56 +0: -117 24 122 461 363 +0: -346 81 -276 124 372 +0: -16 310 276 247 356 +0: -127 64 102 38 111 +0: -477 498 39 395 31 +0: -77 102 111 64 121 +0: -140 -324 -77 -386 -48 +0: 140 -227 -386 -77 -48 +0: -372 -227 -48 -386 -77 +0: 221 -227 -386 -48 -77 +0: -173 485 244 163 -386 +0: -299 39 395 385 300 +0: -382 83 38 232 214 432 +0: -67 138 216 42 107 261 +0: -386 116 163 111 47 323 +0: -254 122 239 29 393 402 +0: 226 215 43 217 216 -59 +0: -304 487 391 421 34 394 +0: -415 3 379 465 290 -472 +0: -171 61 135 274 152 136 +0: -482 478 237 439 -359 -127 +0: -18 332 58 398 274 -386 +0: 308 471 244 432 48 42 +0: -3 182 158 -302 341 431 +0: -92 94 367 89 -99 374 +0: -72 77 423 476 -93 96 +0: -312 19 90 330 69 408 +0: -227 398 63 145 77 71 +0: -433 281 -111 400 359 301 +0: -402 -237 56 235 127 43 +0: -157 124 340 119 40 372 +0: -142 108 325 334 221 -34 +0: -356 421 5 487 249 65 +0: -185 358 423 267 286 233 +0: -114 449 325 -76 202 423 +0: -282 396 265 305 386 47 +0: -423 343 128 209 44 -407 +0: -386 -400 103 96 65 102 +0: -397 391 -156 487 47 182 +0: -419 -96 71 38 15 -170 +0: -209 18 107 -425 67 64 +0: -186 323 377 472 111 47 +0: -122 127 290 461 65 395 +0: -194 -93 56 -241 -67 106 +0: -148 -48 354 11 359 80 -261 +0: 151 423 39 77 -130 179 -76 +0: -170 95 439 -34 318 238 57 +0: -73 -140 377 395 342 74 202 +0: -240 430 322 383 388 234 253 +0: 308 77 433 252 39 151 415 +0: -415 3 379 465 -472 -261 177 +0: -103 166 346 413 63 274 -386 +0: -142 418 483 479 413 346 166 +0: -320 174 487 421 372 391 479 +0: -447 345 168 227 231 395 -376 +0: 288 -85 14 100 98 -97 -148 +0: -66 385 112 -3 123 168 103 +0: -382 472 -261 37 144 79 -93 +0: -103 366 395 467 235 197 190 +0: -312 -410 273 248 -236 435 457 +0: -189 203 5 -288 -261 106 168 +0: -428 382 150 304 47 -111 -77 +0: -103 107 69 454 428 -413 -93 +0: -176 15 134 216 370 457 149 +0: -409 277 395 143 324 -243 319 +0: -67 263 106 56 49 -241 -93 +0: 160 339 51 8 402 69 -111 +0: -192 480 414 472 -302 14 435 +0: -233 433 18 343 178 -257 281 +0: 81 284 315 247 356 310 44 +0: -256 402 281 -388 209 161 196 +0: -178 161 196 200 372 -230 5 +0: -74 166 346 150 148 472 143 +0: 261 -42 148 127 317 187 186 +0: -209 -382 485 395 163 377 342 +0: -224 111 227 166 378 231 18 +0: -435 184 57 133 415 369 322 +0: -202 215 39 -101 377 496 443 +0: -290 325 379 212 143 73 299 431 +0: -386 233 229 96 -160 48 427 74 +0: -67 332 286 -469 215 334 221 270 +0: -246 38 215 58 374 405 482 269 +0: -103 465 379 39 112 -64 -412 163 +0: 102 -73 145 103 -140 325 179 136 +0: -232 397 -315 114 -1 259 389 303 +0: -316 259 -1 114 68 255 397 377 +0: -99 374 94 367 89 -85 227 375 +0: -58 267 233 400 389 129 358 -143 +0: 230 247 203 57 -308 -261 106 168 +0: 469 -182 25 483 221 -9 388 6 +0: -157 108 439 56 340 119 40 372 +0: -212 340 119 378 127 65 -118 67 +0: -92 143 185 90 69 374 -292 447 +0: -433 259 244 258 237 257 256 228 +0: 226 488 382 74 217 215 43 -59 +0: -95 152 221 77 339 -111 237 281 +0: -35 176 16 374 148 58 447 143 +0: -277 306 441 372 482 243 453 -166 +0: 425 339 196 200 372 209 160 161 +0: -384 291 -388 330 316 19 196 3 +0: -255 129 320 -498 5 409 192 -59 +0: -268 198 377 320 401 -312 354 121 +0: -267 465 -77 431 304 -386 472 143 +0: -310 445 471 164 267 209 -261 -290 +0: -162 325 -76 38 252 39 -48 377 +0: -67 -7 368 414 342 169 251 460 +0: -80 43 127 235 317 267 360 471 +0: -35 -308 203 -288 106 5 168 57 +0: -148 267 253 15 92 212 325 359 158 +0: -65 74 72 70 71 68 33 75 128 +0: -152 310 372 124 256 281 34 251 292 +0: -191 454 69 482 297 365 159 -425 301 +0: 230 214 38 34 233 -386 391 487 421 +0: -320 408 293 25 18 68 -53 100 38 +0: -202 378 -376 111 379 377 47 -148 209 +0: -103 157 77 -163 324 395 -230 476 433 +0: -220 303 81 267 423 233 358 42 -487 +0: -423 405 -69 38 148 161 359 210 373 +0: -310 395 39 -111 385 388 387 327 209 +0: -346 310 372 124 467 197 235 190 395 +0: -315 454 -281 386 35 397 259 373 114 +0: -249 333 391 175 441 247 405 198 116 +0: -377 479 443 94 137 391 237 -120 400 +0: -343 266 -241 312 103 -34 47 40 77 +0: 143 212 56 431 325 65 379 299 465 +0: -465 68 69 33 71 -59 70 72 75 +0: -397 423 177 16 128 328 124 472 234 +0: -7 368 414 144 251 64 460 342 169 +0: -160 382 488 74 229 96 128 423 303 +0: -325 426 -271 -493 -469 431 -386 423 34 +0: -233 297 379 39 112 346 413 166 3 +0: 53 295 485 459 428 277 182 239 67 +0: -148 -76 150 325 256 -140 186 433 450 +0: -161 48 229 -320 103 269 157 42 -1 +0: -419 365 428 154 498 147 -13 434 359 10 +0: -369 291 19 227 56 233 -163 -395 -48 31 +0: -98 202 382 74 357 192 272 366 206 83 +0: -449 -38 33 62 494 152 320 272 -325 39 +0: -411 340 -108 143 138 470 127 461 67 385 +0: -261 16 209 387 44 382 96 488 229 -289 +0: -185 58 398 274 -386 111 166 216 227 378 +0: -297 3 273 300 116 227 231 409 340 207 +0: 220 182 69 -111 238 197 290 379 465 490 +0: -325 -182 25 388 6 67 -412 428 163 -58 +0: -423 343 114 209 422 44 128 119 293 12 +0: 281 165 205 415 495 197 443 -193 -111 237 +0: -325 423 479 177 337 393 351 35 -469 6 +0: -266 249 453 230 372 251 247 482 479 246 +0: -47 233 402 395 431 196 338 339 342 -388 +0: -241 45 377 -48 140 395 126 429 485 -226 +0: -322 179 163 464 92 295 160 442 352 213 +0: 121 329 22 127 24 214 470 274 106 92 -428 +0: 197 464 373 251 397 395 467 190 235 43 -95 +0: 372 196 200 161 413 99 7 303 482 -126 453 +0: -483 474 326 -176 -76 -288 170 197 321 247 142 +0: -429 -339 228 +0: -67 15 -171 +0: -160 74 -140 382 +0: -349 227 122 343 +0: -238 77 313 -395 +0: 1 -429 377 67 +0: -224 408 319 54 +0: -355 127 43 317 344 +0: -245 128 -288 423 303 +0: -299 445 471 360 267 91 +0: -22 139 -140 274 103 -34 +0: -66 330 381 392 -140 214 +0: -231 128 -359 -288 47 341 +0: -368 119 40 419 115 213 183 +0: -80 401 -218 231 250 225 120 +0: -305 -228 313 424 375 -407 330 +0: -471 -226 325 318 -298 221 293 +0: -221 -230 428 -302 -107 405 280 +0: -316 177 274 48 173 430 112 +0: -299 11 36 33 34 32 35 +0: 412 435 319 22 395 343 397 90 +0: -372 -445 131 -469 290 432 234 373 +0: -322 405 190 -481 377 -55 213 352 +0: -158 10 30 320 484 5 391 487 +0: -338 185 385 86 477 127 424 102 +0: -351 118 151 86 325 452 447 134 419 +0: -323 440 394 426 19 439 237 17 167 229 111 +0: -382 141 142 56 272 116 40 186 377 342 431 395 +0: 156 86 123 377 51 -108 404 81 143 338 14 -425 +0: -233 78 397 137 155 37 245 179 -76 199 153 35 +0: 77 310 197 235 -95 373 467 127 297 359 313 228 +0: 372 498 395 385 300 127 71 77 453 482 479 174 +0: 431 152 280 49 422 332 179 -76 158 395 377 -115 +0: 344 482 69 107 297 340 356 119 235 127 43 317 +0: -244 238 476 147 309 409 228 448 359 459 64 334 +0: -385 -233 379 112 346 413 297 3 38 -76 252 325 +0: -384 400 387 17 472 56 -21 14 455 410 351 27 -9 +0: -244 174 77 -69 -34 143 157 413 409 -1 189 229 103 +0: 92 267 -76 325 212 -193 158 166 6 -93 -9 319 369 +0: -480 409 310 487 234 325 482 394 61 383 207 -34 274 +0: -301 -410 273 248 -236 435 457 103 -241 320 183 419 213 +0: -264 42 369 166 6 391 91 217 16 451 47 -230 50 +0: -322 379 -261 16 465 197 290 490 -298 243 143 300 175 299 +0: -67 -80 -34 209 38 -156 463 391 237 128 472 373 150 -111 +0: -127 209 427 44 128 38 111 102 496 341 447 60 210 294 +0: 96 127 290 65 461 395 229 202 432 83 232 94 95 -93 +0: -27 107 67 138 18 256 305 64 -425 248 118 422 144 273 -236 +0: -297 -156 75 448 324 165 27 -288 477 161 318 41 203 466 11 +0: -268 262 328 72 450 490 26 179 -76 297 112 379 465 71 128 77 +0: -36 456 152 395 373 247 42 432 332 420 468 406 267 6 370 166 +0: -201 -376 320 58 118 479 272 276 183 137 148 94 480 265 386 230 277 +0: -34 199 -425 -77 485 71 75 127 47 -76 -281 395 252 320 -163 357 94 +0: -108 73 299 65 465 398 396 480 219 227 429 256 199 81 338 14 -425 +0: -488 105 359 136 10 428 147 57 498 458 365 434 314 197 339 254 451 +0: -77 465 -111 -243 130 -34 -412 115 150 472 -118 430 100 119 439 405 210 +0: -160 433 252 416 200 228 221 213 296 244 229 31 36 -163 183 126 159 24 402 417 -38 +0: 372 -67 410 472 373 37 -34 77 51 184 8 -320 433 357 385 395 498 300 119 319 211 +0: -42 -479 352 +0: -446 115 183 213 +0: 376 -302 182 341 +0: -301 128 126 127 +0: -293 494 466 485 +0: -136 -402 413 157 +0: -106 102 38 111 71 +0: -356 456 343 351 152 +0: -113 17 387 458 400 +0: -66 -323 182 -241 103 +0: -203 -7 -65 -241 320 +0: -173 -376 392 231 395 +0: -397 482 7 297 107 +0: -235 454 207 437 42 +0: -114 277 386 231 5 +0: 407 119 103 -244 320 +0: -233 343 18 388 433 +0: 76 382 -140 202 130 +0: -123 484 409 -148 449 +0: -294 228 65 313 301 +0: -115 -379 409 449 45 +0: -115 356 119 207 143 +0: -198 34 -477 123 -69 +0: -325 -58 267 -469 286 +0: -190 15 312 -241 352 +0: -83 290 -236 34 33 +0: -56 216 138 42 137 +0: -143 181 124 37 -67 +0: -303 489 371 389 -143 +0: -81 254 -281 160 189 +0: -16 -42 187 186 185 +0: -483 369 -171 213 166 +0: -116 -325 431 158 302 +0: 76 -238 423 -93 94 +0: -91 302 -42 -312 261 +0: -83 185 330 19 90 +0: -6 107 94 138 216 472 +0: -113 17 400 387 458 411 +0: -114 204 386 5 231 277 +0: -244 172 260 29 -157 342 +0: -243 281 372 -106 194 139 +0: 261 187 6 100 132 -67 +0: -337 134 80 410 447 457 +0: -20 248 152 61 135 136 +0: -79 96 160 113 91 131 +0: -397 177 16 423 160 202 +0: -266 479 387 483 278 177 +0: -57 189 197 339 160 -372 +0: -228 416 110 100 -118 58 +0: -439 395 43 -346 467 190 +0: -397 277 231 234 233 235 +0: -34 47 266 227 40 194 +0: -163 472 140 78 498 389 +0: -69 127 235 -42 280 -308 +0: -209 160 114 470 369 441 +0: -116 423 332 302 431 -325 +0: -431 369 470 114 157 441 +0: -441 313 202 294 327 178 -59 +0: -356 235 127 395 77 -95 467 +0: -435 397 -124 286 259 284 -157 +0: -356 -11 477 174 244 223 -261 +0: -148 109 479 372 -261 312 49 +0: -409 11 33 34 37 31 35 +0: -240 251 127 175 311 249 -372 +0: -143 371 129 489 389 400 6 +0: -171 61 140 498 152 135 120 +0: -479 303 20 129 81 99 7 +0: -360 20 389 129 -9 423 58 +0: -83 124 19 208 185 373 -392 +0: -325 131 312 64 221 69 -341 +0: 302 227 266 194 40 127 -76 +0: -70 205 197 495 443 415 303 +0: -274 127 126 77 205 103 65 +0: 206 433 395 192 272 357 -95 133 +0: -423 316 360 -67 415 313 189 247 +0: -356 235 -95 127 395 77 197 467 +0: -255 5 320 129 10 169 -59 47 +0: -175 -93 -288 67 303 -9 92 423 +0: -34 389 303 213 305 138 -408 18 +0: -488 119 -312 302 34 289 421 397 +0: -129 48 421 446 6 80 253 195 +0: -415 60 3 144 285 -261 177 179 -76 +0: 146 -55 320 198 121 401 463 52 354 +0: -140 17 353 54 237 139 -34 136 103 +0: -43 229 228 227 -226 189 34 150 138 +0: -127 129 32 472 304 392 102 111 38 +0: -488 277 204 5 454 494 485 163 130 +0: 163 411 453 441 306 466 244 -423 83 +0: -113 238 459 393 195 -127 57 216 42 +0: -189 178 160 249 435 486 78 242 138 184 +0: -135 180 77 38 379 -372 398 274 396 63 +0: -320 474 -308 52 269 483 113 411 433 404 +0: -212 31 360 164 466 494 445 34 382 47 +0: -182 443 162 415 205 197 495 323 305 265 +0: 308 391 42 134 240 293 15 151 50 91 55 348 125 +0: -465 182 410 65 6 127 -229 11 80 439 207 406 130 359 +0: -158 277 119 459 319 211 5 303 315 472 212 423 358 233 332 +0: 16 433 77 423 94 -93 96 206 277 158 485 111 303 436 136 +0: -81 386 277 471 206 130 485 158 175 58 47 116 50 136 111 303 +0: 207 216 138 -56 123 263 279 115 166 43 162 239 342 -247 119 325 356 221 +0: -312 193 +0: -359 -459 433 +0: -44 177 176 +0: -309 158 -386 +0: -313 147 423 476 +0: -277 58 -93 -312 +0: -346 345 343 168 +0: -479 494 244 466 +0: -473 74 382 202 +0: -299 305 396 -182 +0: -386 130 392 -423 +0: -228 318 393 -127 +0: -303 -143 371 489 +0: -423 -299 253 83 +0: -34 126 128 77 +0: 302 -79 436 16 +0: -401 -409 -230 143 +0: -67 -81 -233 -41 +0: -281 77 -402 409 +0: -11 -236 -83 290 +0: -185 -318 -312 -127 -356 +0: -299 385 395 300 39 +0: -118 195 -312 377 -318 +0: -379 179 -76 70 252 +0: -386 -318 -127 -312 -356 +0: -343 -293 49 116 -399 +0: -158 304 150 144 1 +0: -299 49 -241 312 148 +0: -265 73 233 3 -415 +0: -163 56 343 122 345 +0: -71 359 -247 -96 228 +0: -118 73 201 -209 191 +0: -142 38 76 96 332 +0: -56 -423 -127 -131 -312 +0: -432 312 148 463 401 +0: -66 145 398 396 63 +0: -223 350 329 191 180 +0: -3 32 -397 -148 409 +0: -115 45 -148 409 449 +0: -96 111 216 -127 64 +0: -38 -67 -81 -41 -233 +0: -293 -323 182 466 494 +0: -313 -341 94 -56 -81 +0: -227 372 338 200 196 +0: -465 -302 47 182 -41 +0: 182 -67 -41 -233 -81 +0: -160 -67 -41 -81 -233 +0: -140 -67 -41 -81 -233 +0: -127 -67 -81 -41 -233 +0: -111 -67 -81 -41 -233 +0: -77 -67 -233 -41 -81 +0: -372 -67 -233 -81 -41 +0: -146 -67 -41 -233 -81 +0: 397 -67 -233 -81 -41 +0: -86 -67 -81 -233 -41 +0: -34 30 484 320 47 +0: -243 201 359 130 377 +0: -120 261 400 178 237 +0: -343 -212 -83 -81 -233 +0: -57 160 -281 451 339 +0: -479 7 99 413 466 244 +0: -178 303 284 44 -261 388 +0: -281 197 297 43 -95 395 +0: -140 -197 357 192 206 433 +0: -384 315 75 67 303 325 +0: 140 -386 -312 -356 -318 -127 +0: -220 58 398 -386 63 -29 +0: -111 -386 -318 -312 -127 -356 +0: -398 -386 -312 -127 -318 -356 +0: 74 -386 -312 -318 -127 -356 +0: -328 181 144 37 -261 75 +0: -176 -400 165 443 303 197 +0: -459 423 372 83 281 433 +0: 377 166 -356 -312 -318 -127 +0: -459 228 65 77 313 433 +0: -428 5 -156 421 233 310 +0: -381 90 159 20 406 67 +0: -112 373 397 -274 377 -312 +0: -395 -227 -312 -329 76 -274 +0: -118 143 65 395 170 -227 +0: -299 268 151 27 50 -143 +0: -415 3 324 395 -465 -212 +0: -428 121 -221 274 92 127 +0: -168 158 382 47 213 15 +0: 217 150 49 312 -241 148 +0: -320 246 301 304 24 115 +0: -290 443 -261 91 73 431 +0: -471 -163 81 90 382 284 +0: -243 325 -76 49 -66 377 +0: -113 192 433 -395 272 133 +0: -243 359 372 281 201 377 +0: -57 -191 160 264 310 202 +0: -388 423 233 73 449 3 +0: -303 281 -66 -209 -94 -141 +0: -111 115 183 213 438 182 +0: -42 352 25 173 172 88 +0: -57 25 228 -129 100 312 +0: -20 160 81 157 191 -231 +0: -382 -56 -423 -312 -131 -127 +0: -111 274 142 398 182 -127 +0: -26 247 310 276 177 -261 +0: -103 289 397 73 421 94 +0: -293 377 321 135 -312 146 +0: -182 135 119 -312 377 146 +0: 343 168 -312 -423 -131 -127 +0: -274 168 -127 -423 -312 -131 +0: -95 111 38 102 121 108 +0: 101 -140 136 137 139 138 +0: -488 -81 189 254 228 83 +0: 21 122 -406 239 -230 66 +0: -249 -412 163 -101 213 -190 +0: -39 11 -227 77 36 261 +0: 341 386 284 81 47 277 +0: -48 322 -372 234 383 353 +0: 302 127 -76 194 40 227 +0: -353 354 11 -41 80 99 +0: -372 281 146 163 -402 -81 +0: -19 -83 -41 -233 -38 -81 +0: -261 -38 -233 -81 -41 -67 +0: -354 -38 -81 -41 -233 -67 +0: -104 -138 144 8 47 5 +0: -244 106 -67 56 -93 49 +0: 160 182 -81 -41 -67 -233 +0: 56 -160 -41 -81 -67 -233 +0: -465 -140 -81 -41 -67 -233 +0: 329 -140 -233 -67 -41 -81 +0: 83 -127 -81 -41 -233 -67 +0: 111 -127 -81 -67 -41 -233 +0: -237 -111 -233 -41 -81 -67 +0: 137 -146 -41 -81 -67 -233 +0: -71 397 -67 -233 -81 -41 +0: -6 397 -67 -81 -41 -233 +0: 93 397 -233 -67 -81 -41 +0: -66 397 -81 -233 -41 -67 +0: 124 397 -81 -233 -67 -41 +0: -154 -228 409 73 421 397 +0: -42 -129 18 25 312 100 +0: -143 378 290 65 461 127 +0: -39 378 290 65 461 127 +0: 378 127 160 -81 -41 -233 +0: -178 372 378 -81 -41 -233 +0: -237 136 -412 189 409 100 +0: -483 -170 213 -156 421 5 +0: -395 -343 -83 -81 -233 -212 +0: 281 -343 -81 -83 -212 -233 +0: -488 163 313 65 494 83 281 +0: -81 264 15 400 411 -271 458 +0: -237 127 348 207 115 276 281 +0: 451 184 -312 331 8 354 316 +0: -112 -163 397 373 286 377 -312 +0: -253 56 67 22 39 362 443 +0: -449 464 346 379 316 251 373 +0: -228 343 369 322 415 133 184 +0: -457 -412 221 325 334 163 -101 +0: -413 -388 228 178 402 182 -400 +0: 352 -42 132 173 25 172 88 +0: -103 346 166 99 428 483 -93 +0: -56 485 428 319 459 277 211 +0: -423 77 228 -395 264 65 310 +0: -318 459 56 362 67 195 443 +0: -79 -395 91 131 433 160 272 +0: -122 369 184 343 57 415 243 +0: 39 311 252 38 238 415 70 +0: -356 43 56 467 -19 212 190 +0: -395 233 3 325 191 56 212 +0: -5 -230 235 234 237 178 281 +0: -8 411 -53 321 463 146 135 +0: -135 401 146 198 320 121 -312 +0: -52 -386 34 158 18 388 343 +0: 119 -182 -407 -312 44 135 146 +0: -293 408 -312 -343 253 -423 466 +0: -215 -119 102 121 49 71 -343 +0: -90 -201 67 56 -127 -38 281 +0: 59 191 285 144 -325 290 335 +0: -238 45 -148 484 32 433 77 +0: -369 267 -58 233 358 472 56 +0: -40 8 -1 56 -67 3 5 +0: -114 339 8 201 290 73 -148 +0: -470 -33 82 435 265 472 414 +0: -161 344 235 43 406 56 108 +0: -65 191 329 350 356 261 310 +0: -154 131 83 159 158 46 -156 +0: -160 382 74 229 466 488 42 +0: -197 373 -156 27 448 75 324 +0: -445 131 428 -469 290 40 455 +0: 449 484 148 409 302 488 45 +0: -228 182 -41 436 -67 -233 -81 +0: -313 -261 16 387 -233 18 388 +0: -372 406 146 163 274 -81 281 +0: -433 228 359 65 77 160 339 +0: -170 329 191 350 245 352 213 +0: 1 144 377 201 382 47 304 +0: -354 154 201 466 187 289 328 +0: -328 -77 143 484 234 304 212 +0: -157 146 406 274 -81 163 -328 +0: -111 179 -140 325 136 290 -83 33 +0: -398 441 401 463 160 157 148 369 +0: -315 454 386 277 -81 13 -302 324 +0: -96 -302 182 249 -81 34 158 138 +0: -98 -8 400 17 387 99 80 430 +0: -111 409 3 186 231 227 273 -97 +0: -111 372 28 281 -407 18 400 -433 +0: -163 75 72 73 69 71 -59 472 +0: -187 149 421 397 73 -378 395 48 +0: -23 -197 456 343 373 -156 324 75 +0: -483 213 -170 421 47 34 382 5 +0: -132 69 225 67 -431 147 312 16 +0: -266 -161 274 136 38 135 322 436 +0: -445 474 113 483 52 344 433 -320 +0: -227 143 290 65 395 56 71 77 +0: -34 146 281 163 274 -81 406 94 +0: -98 212 489 400 6 131 389 371 +0: -34 -402 406 -237 139 103 -140 102 +0: -274 58 148 374 -292 -81 400 329 +0: -409 304 115 246 381 -230 324 143 +0: 217 150 16 313 -380 -136 414 148 +0: -136 414 16 150 313 -380 404 217 +0: -40 196 278 279 283 217 446 465 +0: -34 107 163 146 281 -81 274 94 +0: -86 106 494 -67 466 56 -93 49 +0: -299 302 436 16 144 3 -261 148 +0: -96 42 38 359 228 64 313 111 +0: -343 77 338 372 71 200 48 -386 +0: 197 -251 281 451 189 339 254 160 +0: -299 -244 65 359 103 313 312 148 +0: 77 313 359 65 228 147 -23 160 +0: -171 160 209 339 352 6 166 213 +0: 140 343 196 18 338 -233 168 345 +0: 197 281 -38 451 189 254 339 160 +0: -22 -180 426 78 228 96 336 389 +0: -81 70 38 252 325 75 461 67 +0: -324 81 421 397 247 73 44 -483 +0: 76 39 423 433 77 382 -140 202 +0: -177 488 229 382 202 96 427 -386 +0: 77 24 127 71 128 413 409 157 +0: -72 108 176 119 65 492 149 75 +0: -91 312 -69 34 182 385 239 319 +0: -11 -83 64 102 121 290 34 71 +0: 208 267 371 235 -292 55 370 -312 +0: -327 447 49 210 40 60 341 194 +0: -490 385 -212 +0: -265 16 176 +0: -386 -111 -274 +0: -212 -83 -81 -233 +0: -41 66 -81 -233 +0: -265 91 16 217 +0: -498 -402 157 77 +0: -34 126 128 77 +0: -335 -386 -111 -274 +0: -369 -386 -111 -274 +0: -65 -386 -274 -111 +0: -281 -386 -111 -274 +0: -400 -386 -111 -274 +0: 157 -386 -274 -111 +0: 227 -386 -111 -274 +0: -77 -386 -274 -111 +0: -67 -386 -274 -111 +0: 205 -386 -274 -111 +0: -129 359 83 -243 +0: -111 -395 -274 -237 +0: -423 -395 -274 -237 +0: -395 -274 -237 -56 +0: -281 -212 -83 -233 -81 +0: -227 -212 -83 -233 -81 +0: -401 449 143 -230 36 +0: -160 -212 -81 -233 -83 +0: -433 -212 -83 -81 -233 +0: -364 -212 -81 -233 -83 +0: 372 -212 -83 -233 -81 +0: -483 -212 -83 -81 -233 +0: -95 -280 312 106 -406 +0: -277 58 92 -9 -93 +0: -77 -346 -428 -34 -233 +0: -90 320 -93 49 312 +0: -332 237 69 238 -111 +0: -119 372 310 373 -237 +0: -410 343 373 456 152 +0: -121 135 -312 -182 377 +0: -120 422 213 419 438 +0: -123 484 -148 409 209 +0: -322 73 -370 397 213 +0: -148 5 -230 153 16 +0: -265 -335 -386 -274 -111 +0: -6 58 -274 -292 148 +0: -290 -335 -274 -386 -111 +0: 281 -335 -386 -274 -111 +0: -127 103 -274 205 102 +0: 369 -335 -274 -386 -111 +0: -281 -369 -274 -386 -111 +0: -160 -369 -386 -274 -111 +0: 65 -369 -274 -111 -386 +0: -67 49 320 -241 261 +0: -441 -65 -111 -274 -386 +0: 227 -65 -274 -111 -386 +0: 243 -65 -386 -274 -111 +0: 281 -65 -111 -274 -386 +0: -171 -65 -386 -111 -274 +0: 136 -281 -111 -274 -386 +0: 423 -281 -274 -386 -111 +0: -423 -400 -386 -111 -274 +0: 160 157 -111 -386 -274 +0: 143 157 -274 -386 -111 +0: -233 157 -274 -386 -111 +0: -237 157 -111 -274 -386 +0: -480 401 148 463 471 +0: 261 56 -111 400 281 +0: 423 227 -274 -111 -386 +0: 56 227 -111 -274 -386 +0: 58 5 -274 -111 -386 +0: 237 -67 -111 -274 -386 +0: -67 -111 -274 -395 -237 +0: 34 -111 -274 -237 -395 +0: 409 -111 -274 -237 -395 +0: 423 -111 -395 -274 -237 +0: 238 -423 -395 -274 -237 +0: 1 -423 -274 -237 -395 +0: -67 -423 -274 -237 -395 +0: 261 -423 -274 -237 -395 +0: 56 -423 -237 -395 -274 +0: -261 -395 -237 -274 -56 +0: 382 -395 -56 -237 -274 +0: 341 -395 -237 -56 -274 +0: -341 127 -274 -56 -237 +0: -31 249 5 -73 -156 +0: -202 -9 143 6 -487 25 +0: -86 -93 96 79 67 17 +0: -94 193 3 8 47 377 +0: -86 -236 -83 290 67 17 +0: -86 168 127 -80 77 227 +0: -177 -160 -140 313 27 452 +0: -110 -457 158 181 419 313 +0: -6 332 434 -476 481 56 +0: -154 136 200 202 201 162 +0: -202 47 266 194 -472 -76 +0: -187 88 92 442 104 145 +0: -318 195 56 362 67 459 +0: -178 254 197 451 189 -372 +0: -294 127 128 228 313 65 +0: -52 323 54 396 239 443 +0: -157 400 56 -111 406 -193 +0: -61 58 148 -292 447 48 +0: -114 244 -111 42 48 247 +0: -479 438 -111 213 81 115 +0: -400 443 197 415 165 495 +0: -370 80 213 27 -171 134 +0: -459 -288 423 83 128 303 +0: -112 377 201 148 471 401 +0: -432 204 449 160 423 384 +0: -157 276 153 348 -56 183 +0: -406 -148 449 -115 65 -274 +0: -488 192 -395 -237 133 272 +0: -296 127 -274 103 65 77 +0: -428 -230 5 200 -178 161 +0: -473 -101 -412 428 163 79 95 +0: -58 94 96 79 433 476 77 +0: -320 282 34 239 251 281 256 +0: -91 397 358 245 78 37 155 +0: -55 423 41 277 128 -143 489 +0: -480 -34 274 138 136 103 -140 +0: -246 393 77 65 120 301 359 +0: -136 -227 128 67 483 428 163 +0: -432 187 372 200 196 204 191 +0: -34 122 343 227 484 47 320 +0: -27 64 107 67 18 -399 343 +0: -290 302 488 -493 52 148 311 +0: -131 102 79 -140 139 138 103 +0: -452 278 78 301 263 246 35 +0: -15 180 329 -233 128 -288 303 +0: -397 432 -274 244 391 487 47 +0: 376 143 67 465 -443 385 325 +0: -16 144 304 386 -158 3 284 +0: -67 95 79 96 106 263 66 +0: 230 487 391 -156 290 3 191 +0: -409 220 237 -236 46 239 69 +0: 182 207 40 -111 183 213 115 +0: -264 107 311 -281 249 127 -236 +0: -305 330 375 313 -407 -372 394 +0: -488 220 237 240 -111 83 281 +0: -10 301 400 281 -111 423 77 +0: 290 -103 -386 -274 -111 91 93 +0: -423 310 65 301 77 264 228 +0: -10 147 423 228 65 301 77 +0: -138 95 96 466 229 74 -111 +0: -227 212 24 484 381 -395 246 +0: -415 -472 359 379 83 290 3 +0: 16 -148 153 -230 143 47 386 +0: -477 -95 108 121 111 118 123 +0: -275 387 17 400 411 118 123 385 +0: -130 77 264 65 433 310 147 228 +0: -257 70 39 38 213 115 422 438 +0: -398 70 165 443 303 197 -400 38 +0: -216 322 -140 393 122 121 194 396 +0: -322 238 -182 237 69 -236 46 239 +0: -472 387 121 208 -380 -399 119 185 +0: -163 81 -425 206 256 199 404 56 +0: -464 315 303 102 103 205 96 34 +0: -160 41 423 -288 303 433 -233 18 +0: 193 67 -100 65 34 102 47 3 +0: 155 132 -107 153 152 154 123 25 +0: 47 34 111 163 116 272 382 323 +0: 288 221 334 73 191 433 388 3 +0: -168 133 299 443 433 272 -235 206 +0: 34 339 209 -100 42 216 138 -93 +0: -312 408 127 -112 106 377 397 373 +0: -322 66 58 -93 319 423 213 15 +0: -163 253 -34 130 73 72 74 75 +0: -92 325 39 -290 148 143 447 374 +0: -395 6 -487 221 25 -9 423 415 +0: -34 30 320 47 28 -407 213 305 +0: -77 122 47 34 394 461 -94 363 +0: -8 325 359 39 130 379 297 151 +0: -57 -129 100 312 38 178 -193 237 +0: -212 485 244 163 166 7 423 77 +0: -194 -123 5 335 171 175 107 329 +0: 382 58 -312 258 100 110 -118 -127 +0: 64 274 142 398 38 -127 182 102 +0: -140 244 -423 163 83 382 74 202 +0: -168 466 494 244 382 213 15 47 +0: -128 182 398 142 -127 116 323 -386 +0: -487 498 372 65 -305 385 120 -401 +0: -377 299 143 212 325 73 191 3 +0: -163 69 74 72 75 71 -59 56 +0: -401 48 -376 427 392 391 487 -156 +0: -373 168 413 143 -81 163 33 244 +0: -15 303 41 -288 128 58 -93 92 +0: -163 112 325 39 465 7 166 99 +0: -111 243 90 19 306 453 -83 330 +0: -103 395 467 -346 190 207 406 -34 +0: -267 446 370 344 92 356 464 151 +0: -161 269 482 280 432 42 244 48 +0: -129 253 178 48 6 80 -193 -339 +0: -112 289 442 88 104 145 -261 176 +0: -17 305 323 396 239 -497 79 484 +0: -309 69 225 67 312 147 266 428 +0: -178 197 -493 379 311 189 254 -372 +0: -35 160 178 402 471 315 42 48 +0: -35 471 69 402 -111 160 42 48 +0: -227 328 373 234 432 -230 200 193 +0: -230 261 186 187 6 5 91 153 +0: 261 103 312 320 249 329 -233 -111 +0: -74 143 39 325 56 47 34 158 +0: -231 423 41 128 303 42 48 432 +0: 412 16 419 303 111 311 238 39 +0: -206 -230 153 5 80 99 430 354 +0: 341 67 261 128 423 54 408 386 47 +0: -432 35 449 153 24 423 127 329 384 +0: -231 384 171 365 159 247 42 301 48 +0: -131 56 100 -97 99 55 39 465 -461 +0: -34 400 -111 66 281 -140 94 128 126 +0: -129 -230 395 449 143 397 149 473 73 +0: -73 127 71 151 77 335 -274 158 -386 +0: -176 90 19 463 411 319 448 243 453 +0: -113 264 65 249 -376 395 16 -261 231 +0: -118 -281 397 259 -1 114 286 377 -243 +0: -315 86 201 66 -156 172 237 383 362 +0: -454 -226 208 284 319 22 25 136 30 +0: -303 458 329 411 -271 310 356 247 44 +0: 182 129 16 303 -274 436 341 47 386 +0: 101 312 320 49 122 363 24 485 461 +0: -245 190 -415 24 192 34 216 138 -93 +0: -34 106 -406 438 -280 115 419 312 94 +0: 236 -213 421 322 172 171 -292 201 92 +0: -302 138 47 386 34 235 -93 137 261 +0: -94 356 65 357 416 92 408 77 237 +0: 145 398 -227 71 63 88 132 442 289 +0: -148 373 456 343 -156 47 143 16 386 +0: -48 231 47 -281 386 16 176 8 377 +0: -182 136 -81 229 436 353 111 319 237 +0: -27 372 338 200 196 -156 456 343 373 +0: -227 433 200 290 215 325 221 196 338 diff --git a/light b/light index 96cfbfb..ba291ee 100755 Binary files a/light and b/light differ diff --git a/light.cpp b/light.cpp index 5179ce9..75380a5 100644 --- a/light.cpp +++ b/light.cpp @@ -2,8 +2,6 @@ #include "light.hpp" #include #include -using namespace std; - light::light(): finalResult (0), diff --git a/light.hpp b/light.hpp index 24c498c..02bbb1a 100644 --- a/light.hpp +++ b/light.hpp @@ -5,13 +5,12 @@ #include "preprocess.hpp" #include #include -using namespace std; typedef long long ll; class basesolver; class sharer; -extern atomic terminated; +extern std::atomic terminated; struct thread_inf{ int id, inf; @@ -36,7 +35,7 @@ public: int finalResult; int winner; int maxtime; - atomic globalEnding; + std::atomic globalEnding; void arg_parse(int argc, char **argv); void init_workers(); diff --git a/light.o b/light.o index 8d8ebb0..846e24c 100644 Binary files a/light.o and b/light.o differ diff --git a/main.cpp b/main.cpp index 5cadf59..ae24b3f 100644 --- a/main.cpp +++ b/main.cpp @@ -1,7 +1,6 @@ #include "solve.hpp" #include #include -using namespace std; int main(int argc, char **argv) { solve(argc, argv); diff --git a/res.txt b/res.txt new file mode 100644 index 0000000..cc7f262 --- /dev/null +++ b/res.txt @@ -0,0 +1,374 @@ +c ------------------- Paras list ------------------- +c Name Type Now Default Comment +c mode int 0 0 SAT=1, UNSAT=2 +c reset int 0 0 Dynamically reseting +c reset_time int 10 10 Reseting base interval (seconds) +c share int 1 0 Sharing learnt clauses +c share_intv int 500000 500000 Sharing interval (microseconds) +c share_lits int 1500 1500 Sharing lits (per every #share_intv seconds) +c simplify int 1 1 Use Simplify (only preprocess) +c times double 5000.000000 5000 Cutoff time +c threads int 2 32 Thread number +c -------------------------------------------------- +c filename: /pub/data/chenzh/data/sat2021/WS_500_16_70_10.apx_0.cnf +c After preprocess: vars: 1500 -> 998 , clauses: 11501 -> 9964 , +c After preprocess: vars: 998 -> 498 , clauses: 9964 -> 8962 , +c -----------------solve start---------------------- +start sharing 500000 +get 101 exported clauses +get 100 exported clauses +-106 67 +-240 213 +-480 67 +-312 4 +-148 16 -261 +-488 83 130 +-163 472 56 +-103 -93 94 +-240 352 213 +-182 284 81 +-265 431 443 +-453 314 228 +-396 168 343 +-336 -261 177 +-429 314 228 +-299 148 91 +-265 176 16 +-299 148 91 +-240 15 213 +-41 83 253 +-229 228 372 +-381 359 130 +-100 148 91 +376 182 -5 +-316 201 377 +-293 385 86 +-6 472 56 +-182 284 81 +261 56 4 +-148 16 -261 +-100 91 -261 +-34 94 95 +-182 81 284 +-266 16 177 +-67 270 15 +9 -148 56 +-41 83 253 +-79 216 42 +-40 143 56 +-111 408 182 +-182 284 81 +-256 372 314 +-391 65 310 249 +101 96 -93 94 +-103 96 -93 94 +-34 95 96 94 +-227 128 77 71 +76 96 -93 94 +-231 35 153 199 +-377 382 34 47 +-220 331 -11 467 +-192 431 443 299 +-154 -230 153 5 +-293 385 86 118 +-303 386 47 341 +-378 168 345 343 +-243 -409 319 397 +-280 312 103 -241 +-91 95 96 79 +-432 339 178 402 +-438 40 207 119 +-304 158 34 394 +-212 7 346 166 +-480 79 96 95 +-272 341 182 -302 +-237 239 319 182 +376 -302 182 341 +-303 386 47 341 +-239 386 47 341 +-61 -401 120 65 +-406 318 65 238 57 +-360 423 -9 58 319 +-79 216 137 -93 42 +-167 372 482 174 479 +-19 -93 58 319 423 +-127 216 137 -93 42 +-312 -93 58 319 423 +-360 -261 16 412 388 +-148 312 -261 49 320 +-154 413 257 77 409 +-5 237 281 400 178 +-42 127 344 235 317 +-163 465 39 325 56 +-209 304 158 395 -166 +-83 33 34 290 -236 +241 395 435 98 343 +-322 66 58 -93 319 423 +-191 301 -425 171 365 159 +-67 37 181 124 472 56 +-322 352 213 5 -156 487 +-255 169 5 409 -59 192 +-489 78 278 110 327 48 +-73 158 395 304 342 377 +-243 435 319 136 22 397 +-32 237 394 314 19 439 305 +-111 69 240 46 220 237 238 +-18 56 58 55 4 54 57 42 +395 243 90 98 435 392 48 -376 231 +-131 391 5 421 6 25 -9 388 221 +-316 339 314 160 197 343 133 369 57 377 415 +-480 67 +-240 213 +-106 67 +-488 83 130 +-488 83 130 +-44 177 176 +-67 15 270 +-103 -93 94 +-42 352 270 +-163 472 56 +-91 76 96 +-316 201 377 +-6 472 56 +-148 -261 16 +302 143 56 +261 4 56 +-299 91 148 +-434 433 423 +-100 91 148 +-148 -261 16 +-34 95 94 +-396 168 343 +-182 284 81 +-61 284 81 +-111 408 182 +-488 130 83 +-293 86 385 +-148 4 16 +-202 241 385 +-40 56 143 +-62 315 303 +-231 -338 153 +-41 253 83 +261 4 56 +-100 -261 91 +-336 -261 177 +-96 42 138 +-229 228 372 +-67 15 270 +-111 182 408 +-266 16 177 +-42 270 352 +-44 176 177 +-256 314 372 +-267 179 151 +-138 96 94 95 +-280 103 312 -241 +-488 178 339 402 +-328 372 310 208 +-238 433 77 423 +-237 56 207 406 +-351 385 118 86 +-237 182 319 239 +-293 86 385 118 +-446 213 183 115 +241 385 123 118 +230 386 -315 277 +-244 215 64 334 +-467 413 389 78 +-127 -302 386 182 +-338 -230 5 153 +-377 382 34 47 +-432 339 402 178 +-141 129 303 389 +425 182 341 47 +-190 312 -241 103 +-148 339 160 209 +-356 124 208 372 +-294 128 127 71 +-73 158 -386 304 +-402 77 413 409 157 +-100 419 111 436 303 +302 449 484 45 409 +-441 463 330 90 19 +53 423 -93 319 92 +-112 303 419 111 436 +-237 301 77 313 359 +-401 238 120 65 318 +4 -241 103 49 67 +-111 -148 47 341 386 +-343 327 16 -261 387 +-402 413 77 157 409 +-80 360 471 267 31 +-57 160 197 339 314 +-164 -182 160 209 178 +-498 409 449 32 307 +-37 354 113 99 80 135 +-29 -261 75 37 472 124 +-244 454 5 277 386 204 +-343 327 16 387 209 -261 +-57 51 331 316 8 354 +-386 379 378 111 75 23 +-83 33 34 290 8 -236 +-138 113 102 96 91 131 +156 321 463 331 135 146 -53 +-70 91 89 88 86 92 90 +-204 107 127 249 314 311 -236 +-446 178 202 327 313 69 294 +-489 -241 294 326 131 188 351 +-490 -193 237 400 64 38 71 121 +-369 293 244 -226 326 231 325 318 472 56 67 +start sharing 500000 +get 135 exported clauses +get 157 exported clauses +-381 -41 +-103 -299 +-265 16 176 +376 -303 341 +-103 217 148 +-265 431 443 +-41 83 253 +-129 314 228 +302 56 143 +-148 4 16 +-122 99 166 7 +-102 95 -93 94 +-401 -230 -212 449 +-265 431 299 443 +-41 151 325 253 +-43 -127 148 150 +-44 433 18 -233 +-148 -280 312 -261 +-131 42 216 302 +-204 153 5 35 +-382 95 -93 79 +-282 47 386 182 +-488 83 228 281 +-29 207 333 42 +-237 313 359 301 +-48 -41 377 201 +-112 127 121 -66 +-83 185 90 -92 +-388 423 415 449 +-83 -166 11 80 +-69 202 74 382 +-293 494 485 466 +-212 67 385 75 +-433 160 178 339 +-211 263 56 4 +-237 406 207 56 +1 67 377 51 +-141 303 389 129 +-91 96 95 79 +-409 143 -235 395 +-400 389 20 182 +-227 338 -428 200 +-111 176 177 408 +302 231 -397 277 +-397 -160 -237 -127 +-477 123 118 180 +1 67 377 51 +-119 406 439 108 +-359 476 147 433 +-313 147 423 476 +-106 96 -93 79 +-294 71 128 127 +-386 63 274 398 142 +-11 445 267 360 471 +-428 338 200 161 187 +-77 102 111 121 64 +-69 76 229 -93 202 +-220 42 355 454 437 +-269 -111 240 237 238 +-290 325 112 297 39 +-243 22 136 397 319 +-255 395 343 98 90 +-224 -93 96 94 42 +-312 -431 157 470 441 +-120 237 -193 178 400 +-471 427 395 392 -376 +302 201 34 144 382 +-83 34 33 290 -236 +-144 483 -412 163 -101 +-194 -83 -92 103 320 +-185 415 2 125 474 +-142 332 240 58 38 +-190 136 16 111 303 +-5 237 281 400 178 +-91 138 34 216 42 +-112 127 274 121 106 +-117 363 122 24 461 +-92 -305 -407 424 313 +-488 494 163 244 83 +376 -186 111 163 323 +-392 338 200 372 161 +-136 257 157 24 413 +-250 233 234 235 232 +-229 359 65 228 77 +-195 400 237 281 178 +-122 54 323 265 305 +-130 313 65 77 228 +-350 387 17 458 400 +-83 -236 34 290 33 +-356 343 351 152 456 +-92 471 164 31 445 +-264 -230 58 451 50 47 +-43 150 95 96 -93 148 +-90 65 120 318 314 281 +-69 34 290 331 8 467 +-19 190 467 -61 395 197 +-320 420 -271 350 426 233 +-47 246 115 24 381 301 +-343 123 -399 49 408 116 +-311 346 379 395 316 373 +-247 454 277 386 199 153 +-280 215 374 38 240 58 +-361 34 290 -236 467 33 +-171 6 369 352 166 213 +399 152 61 248 274 322 +-387 301 171 365 -425 368 +-305 -407 330 375 424 313 +-475 188 15 195 39 169 +-243 331 8 451 316 354 +-48 230 277 454 201 8 +-96 111 71 121 64 138 +-269 -97 100 55 99 98 +-111 238 69 220 240 237 +-320 304 115 246 301 24 +76 476 253 130 147 433 +-95 472 -261 144 37 181 +193 147 339 221 -359 448 +412 -177 387 449 423 327 +-269 30 484 320 47 130 83 +-373 27 495 54 223 161 122 +-5 214 221 24 329 127 470 +-130 281 228 343 435 243 395 +-176 165 162 205 443 303 197 +-345 290 227 388 18 122 433 +-496 227 47 138 -76 127 266 +-67 275 39 377 327 215 496 +-35 402 160 209 78 48 -489 +207 356 40 340 439 108 406 +-384 -221 67 -93 128 303 423 +-297 99 100 -88 55 340 40 +-24 189 -1 -226 227 229 228 +-325 -341 131 64 221 69 312 +-220 340 119 356 415 326 125 +-132 -53 68 38 312 18 484 +-237 359 301 228 147 423 476 +-103 67 100 -341 163 -85 -487 +-103 -93 -341 163 -85 -487 100 +302 138 127 227 -185 415 125 -76 +-163 465 -177 490 290 197 34 -83 +-352 258 237 100 177 58 489 164 +-22 487 -156 391 65 431 465 299 +-319 303 206 136 158 16 -497 130 +-31 377 483 -123 -101 275 -412 163 +-293 -140 180 166 123 7 163 99 +-103 443 144 335 205 60 433 -359 +-486 451 90 19 330 267 406 359 253 +-233 -1 207 208 7 -24 127 346 11 +-90 -202 16 -261 209 322 323 -302 324 +-281 462 439 490 37 418 356 421 391 -156 +405 280 269 -308 161 235 -108 294 167 478 +301 115 304 24 246 385 17 75 -241 103 49 diff --git a/solve.cpp b/solve.cpp index 10b1010..fdcf85c 100644 --- a/solve.cpp +++ b/solve.cpp @@ -5,7 +5,7 @@ #include auto clk_st = std::chrono::high_resolution_clock::now(); char* worker_sign = ""; -atomic terminated; +std::atomic terminated; int result = 0; int winner; vec model; @@ -40,6 +40,7 @@ void * solve_worker(void *arg) { } void light::init_workers() { + terminated = 0; for (int i = 0; i < OPT(threads); i++) { basekissat* kissat = new basekissat(i, this); workers.push(kissat); @@ -71,7 +72,6 @@ void light::parse_input() { int light::solve() { printf("c -----------------solve start----------------------\n"); - terminated = 0; pthread_t *ptr = new pthread_t[OPT(threads)]; for (int i = 0; i < OPT(threads); i++) { pthread_create(&ptr[i], NULL, solve_worker, workers[i]); @@ -105,6 +105,8 @@ int light::solve() { puts("\n"); } } + printf("ending solve\n"); + terminate_workers(); for (int i = 0; i < OPT(threads); i++) { pthread_join(ptr[i], NULL); diff --git a/solve.o b/solve.o index 4e470a7..c9719a9 100644 Binary files a/solve.o and b/solve.o differ diff --git a/solvers/kissat-inc/build/analyze.o b/solvers/kissat-inc/build/analyze.o index 14243fc..8d27f29 100644 Binary files a/solvers/kissat-inc/build/analyze.o and b/solvers/kissat-inc/build/analyze.o differ diff --git a/solvers/kissat-inc/build/ands.o b/solvers/kissat-inc/build/ands.o index 9c61ef9..8ba5c6f 100644 Binary files a/solvers/kissat-inc/build/ands.o and b/solvers/kissat-inc/build/ands.o differ diff --git a/solvers/kissat-inc/build/application.o b/solvers/kissat-inc/build/application.o index d46af71..5ce9aa5 100644 Binary files a/solvers/kissat-inc/build/application.o and b/solvers/kissat-inc/build/application.o differ diff --git a/solvers/kissat-inc/build/arena.o b/solvers/kissat-inc/build/arena.o index 6c130e4..9861333 100644 Binary files a/solvers/kissat-inc/build/arena.o and b/solvers/kissat-inc/build/arena.o differ diff --git a/solvers/kissat-inc/build/assign.o b/solvers/kissat-inc/build/assign.o index 38c7f19..f989712 100644 Binary files a/solvers/kissat-inc/build/assign.o and b/solvers/kissat-inc/build/assign.o differ diff --git a/solvers/kissat-inc/build/autarky.o b/solvers/kissat-inc/build/autarky.o index 59798c7..3c3fcf3 100644 Binary files a/solvers/kissat-inc/build/autarky.o and b/solvers/kissat-inc/build/autarky.o differ diff --git a/solvers/kissat-inc/build/averages.o b/solvers/kissat-inc/build/averages.o index 8ed6ba1..1de8d17 100644 Binary files a/solvers/kissat-inc/build/averages.o and b/solvers/kissat-inc/build/averages.o differ diff --git a/solvers/kissat-inc/build/backtrack.o b/solvers/kissat-inc/build/backtrack.o index 496140f..5cfc2ff 100644 Binary files a/solvers/kissat-inc/build/backtrack.o and b/solvers/kissat-inc/build/backtrack.o differ diff --git a/solvers/kissat-inc/build/backward.o b/solvers/kissat-inc/build/backward.o index 7024dc7..2a67b4f 100644 Binary files a/solvers/kissat-inc/build/backward.o and b/solvers/kissat-inc/build/backward.o differ diff --git a/solvers/kissat-inc/build/build.h b/solvers/kissat-inc/build/build.h index c2c8a8e..3dd6dad 100644 --- a/solvers/kissat-inc/build/build.h +++ b/solvers/kissat-inc/build/build.h @@ -1,5 +1,5 @@ #define VERSION "1.0.3" #define COMPILER "gcc (Ubuntu 9.4.0-1ubuntu1~20.04.1) 9.4.0 -W -Wall -O3 -DNEMBEDDED -DNDEBUG -DNMETRICS -DNSTATISTICS" #define ID "79d8d8f20465e71fd2b0f193b468898cd803a59a" -#define BUILD "Wed Aug 31 12:28:43 CST 2022 Linux seed1 5.4.0-120-generic x86_64" +#define BUILD "Thu Sep 15 10:12:48 CST 2022 Linux seed1 5.4.0-120-generic x86_64" #define DIR "/home/chenzh/solvers/Light/solvers/kissat-inc/build" diff --git a/solvers/kissat-inc/build/build.o b/solvers/kissat-inc/build/build.o index 7ba6f65..4c2f522 100644 Binary files a/solvers/kissat-inc/build/build.o and b/solvers/kissat-inc/build/build.o differ diff --git a/solvers/kissat-inc/build/bump.o b/solvers/kissat-inc/build/bump.o index 73ba9ad..c74e3e9 100644 Binary files a/solvers/kissat-inc/build/bump.o and b/solvers/kissat-inc/build/bump.o differ diff --git a/solvers/kissat-inc/build/clause.o b/solvers/kissat-inc/build/clause.o index a8826c6..da7f38c 100644 Binary files a/solvers/kissat-inc/build/clause.o and b/solvers/kissat-inc/build/clause.o differ diff --git a/solvers/kissat-inc/build/clueue.o b/solvers/kissat-inc/build/clueue.o index 89e9290..b008946 100644 Binary files a/solvers/kissat-inc/build/clueue.o and b/solvers/kissat-inc/build/clueue.o differ diff --git a/solvers/kissat-inc/build/collect.o b/solvers/kissat-inc/build/collect.o index e6dbae4..66043a1 100644 Binary files a/solvers/kissat-inc/build/collect.o and b/solvers/kissat-inc/build/collect.o differ diff --git a/solvers/kissat-inc/build/compact.o b/solvers/kissat-inc/build/compact.o index 0c636de..cb2ff01 100644 Binary files a/solvers/kissat-inc/build/compact.o and b/solvers/kissat-inc/build/compact.o differ diff --git a/solvers/kissat-inc/build/cvec.o b/solvers/kissat-inc/build/cvec.o new file mode 100644 index 0000000..97edd8b Binary files /dev/null and b/solvers/kissat-inc/build/cvec.o differ diff --git a/solvers/kissat-inc/build/decide.o b/solvers/kissat-inc/build/decide.o index e3be995..2c62aaa 100644 Binary files a/solvers/kissat-inc/build/decide.o and b/solvers/kissat-inc/build/decide.o differ diff --git a/solvers/kissat-inc/build/deduce.o b/solvers/kissat-inc/build/deduce.o index 688fca4..5cfef13 100644 Binary files a/solvers/kissat-inc/build/deduce.o and b/solvers/kissat-inc/build/deduce.o differ diff --git a/solvers/kissat-inc/build/dense.o b/solvers/kissat-inc/build/dense.o index 26214a6..5c25eff 100644 Binary files a/solvers/kissat-inc/build/dense.o and b/solvers/kissat-inc/build/dense.o differ diff --git a/solvers/kissat-inc/build/dominate.o b/solvers/kissat-inc/build/dominate.o index 8ebd405..e212b85 100644 Binary files a/solvers/kissat-inc/build/dominate.o and b/solvers/kissat-inc/build/dominate.o differ diff --git a/solvers/kissat-inc/build/eliminate.o b/solvers/kissat-inc/build/eliminate.o index b1c09af..c97c587 100644 Binary files a/solvers/kissat-inc/build/eliminate.o and b/solvers/kissat-inc/build/eliminate.o differ diff --git a/solvers/kissat-inc/build/equivalences.o b/solvers/kissat-inc/build/equivalences.o index 773b31f..635e014 100644 Binary files a/solvers/kissat-inc/build/equivalences.o and b/solvers/kissat-inc/build/equivalences.o differ diff --git a/solvers/kissat-inc/build/extend.o b/solvers/kissat-inc/build/extend.o index e72d712..02483f6 100644 Binary files a/solvers/kissat-inc/build/extend.o and b/solvers/kissat-inc/build/extend.o differ diff --git a/solvers/kissat-inc/build/failed.o b/solvers/kissat-inc/build/failed.o index 15da60e..f05f265 100644 Binary files a/solvers/kissat-inc/build/failed.o and b/solvers/kissat-inc/build/failed.o differ diff --git a/solvers/kissat-inc/build/flags.o b/solvers/kissat-inc/build/flags.o index 8352767..a8eb740 100644 Binary files a/solvers/kissat-inc/build/flags.o and b/solvers/kissat-inc/build/flags.o differ diff --git a/solvers/kissat-inc/build/forward.o b/solvers/kissat-inc/build/forward.o index 81096bf..53101d3 100644 Binary files a/solvers/kissat-inc/build/forward.o and b/solvers/kissat-inc/build/forward.o differ diff --git a/solvers/kissat-inc/build/frames.o b/solvers/kissat-inc/build/frames.o index 8fbb78d..0adf173 100644 Binary files a/solvers/kissat-inc/build/frames.o and b/solvers/kissat-inc/build/frames.o differ diff --git a/solvers/kissat-inc/build/gates.o b/solvers/kissat-inc/build/gates.o index 5f1c164..d31c6fe 100644 Binary files a/solvers/kissat-inc/build/gates.o and b/solvers/kissat-inc/build/gates.o differ diff --git a/solvers/kissat-inc/build/ifthenelse.o b/solvers/kissat-inc/build/ifthenelse.o index 08ddf0a..b541847 100644 Binary files a/solvers/kissat-inc/build/ifthenelse.o and b/solvers/kissat-inc/build/ifthenelse.o differ diff --git a/solvers/kissat-inc/build/import.o b/solvers/kissat-inc/build/import.o index f6b3fa8..c0f2fe8 100644 Binary files a/solvers/kissat-inc/build/import.o and b/solvers/kissat-inc/build/import.o differ diff --git a/solvers/kissat-inc/build/internal.o b/solvers/kissat-inc/build/internal.o index 6f1ed22..dcadf68 100644 Binary files a/solvers/kissat-inc/build/internal.o and b/solvers/kissat-inc/build/internal.o differ diff --git a/solvers/kissat-inc/build/kissat b/solvers/kissat-inc/build/kissat index 7c46888..9254ba9 100755 Binary files a/solvers/kissat-inc/build/kissat and b/solvers/kissat-inc/build/kissat differ diff --git a/solvers/kissat-inc/build/learn.o b/solvers/kissat-inc/build/learn.o index b1be301..c6385f9 100644 Binary files a/solvers/kissat-inc/build/learn.o and b/solvers/kissat-inc/build/learn.o differ diff --git a/solvers/kissat-inc/build/libkissat.a b/solvers/kissat-inc/build/libkissat.a index b41b840..b4afb2b 100644 Binary files a/solvers/kissat-inc/build/libkissat.a and b/solvers/kissat-inc/build/libkissat.a differ diff --git a/solvers/kissat-inc/build/limits.o b/solvers/kissat-inc/build/limits.o index c7a66f5..6adbb6d 100644 Binary files a/solvers/kissat-inc/build/limits.o and b/solvers/kissat-inc/build/limits.o differ diff --git a/solvers/kissat-inc/build/minimize.o b/solvers/kissat-inc/build/minimize.o index bfbee4b..348b313 100644 Binary files a/solvers/kissat-inc/build/minimize.o and b/solvers/kissat-inc/build/minimize.o differ diff --git a/solvers/kissat-inc/build/mode.o b/solvers/kissat-inc/build/mode.o index 01d75a7..c8a439b 100644 Binary files a/solvers/kissat-inc/build/mode.o and b/solvers/kissat-inc/build/mode.o differ diff --git a/solvers/kissat-inc/build/parse.o b/solvers/kissat-inc/build/parse.o index aa44817..6fa771e 100644 Binary files a/solvers/kissat-inc/build/parse.o and b/solvers/kissat-inc/build/parse.o differ diff --git a/solvers/kissat-inc/build/phases.o b/solvers/kissat-inc/build/phases.o index 9161d8d..c213843 100644 Binary files a/solvers/kissat-inc/build/phases.o and b/solvers/kissat-inc/build/phases.o differ diff --git a/solvers/kissat-inc/build/print.o b/solvers/kissat-inc/build/print.o index 82c65b3..2763c32 100644 Binary files a/solvers/kissat-inc/build/print.o and b/solvers/kissat-inc/build/print.o differ diff --git a/solvers/kissat-inc/build/probe.o b/solvers/kissat-inc/build/probe.o index 36385d4..d25a135 100644 Binary files a/solvers/kissat-inc/build/probe.o and b/solvers/kissat-inc/build/probe.o differ diff --git a/solvers/kissat-inc/build/profile.o b/solvers/kissat-inc/build/profile.o index 103e5f6..503ea8d 100644 Binary files a/solvers/kissat-inc/build/profile.o and b/solvers/kissat-inc/build/profile.o differ diff --git a/solvers/kissat-inc/build/promote.o b/solvers/kissat-inc/build/promote.o index d75099b..3956e65 100644 Binary files a/solvers/kissat-inc/build/promote.o and b/solvers/kissat-inc/build/promote.o differ diff --git a/solvers/kissat-inc/build/proof.o b/solvers/kissat-inc/build/proof.o index 1f16613..f99bb0c 100644 Binary files a/solvers/kissat-inc/build/proof.o and b/solvers/kissat-inc/build/proof.o differ diff --git a/solvers/kissat-inc/build/propdense.o b/solvers/kissat-inc/build/propdense.o index be95827..70e3313 100644 Binary files a/solvers/kissat-inc/build/propdense.o and b/solvers/kissat-inc/build/propdense.o differ diff --git a/solvers/kissat-inc/build/prophyper.o b/solvers/kissat-inc/build/prophyper.o index f6a1b32..26d75bf 100644 Binary files a/solvers/kissat-inc/build/prophyper.o and b/solvers/kissat-inc/build/prophyper.o differ diff --git a/solvers/kissat-inc/build/proprobe.o b/solvers/kissat-inc/build/proprobe.o index 1825789..d6c6edf 100644 Binary files a/solvers/kissat-inc/build/proprobe.o and b/solvers/kissat-inc/build/proprobe.o differ diff --git a/solvers/kissat-inc/build/propsearch.o b/solvers/kissat-inc/build/propsearch.o index bd1a996..0e9773a 100644 Binary files a/solvers/kissat-inc/build/propsearch.o and b/solvers/kissat-inc/build/propsearch.o differ diff --git a/solvers/kissat-inc/build/queue.o b/solvers/kissat-inc/build/queue.o index cbc572d..0991119 100644 Binary files a/solvers/kissat-inc/build/queue.o and b/solvers/kissat-inc/build/queue.o differ diff --git a/solvers/kissat-inc/build/reduce.o b/solvers/kissat-inc/build/reduce.o index d0c113e..1e95773 100644 Binary files a/solvers/kissat-inc/build/reduce.o and b/solvers/kissat-inc/build/reduce.o differ diff --git a/solvers/kissat-inc/build/reluctant.o b/solvers/kissat-inc/build/reluctant.o index 9cbc65d..57ed666 100644 Binary files a/solvers/kissat-inc/build/reluctant.o and b/solvers/kissat-inc/build/reluctant.o differ diff --git a/solvers/kissat-inc/build/rephase.o b/solvers/kissat-inc/build/rephase.o index e5880df..5041a4f 100644 Binary files a/solvers/kissat-inc/build/rephase.o and b/solvers/kissat-inc/build/rephase.o differ diff --git a/solvers/kissat-inc/build/resize.o b/solvers/kissat-inc/build/resize.o index cf3a1a7..125eaf7 100644 Binary files a/solvers/kissat-inc/build/resize.o and b/solvers/kissat-inc/build/resize.o differ diff --git a/solvers/kissat-inc/build/resolve.o b/solvers/kissat-inc/build/resolve.o index 6d70600..a935c8b 100644 Binary files a/solvers/kissat-inc/build/resolve.o and b/solvers/kissat-inc/build/resolve.o differ diff --git a/solvers/kissat-inc/build/resources.o b/solvers/kissat-inc/build/resources.o index 08f0fae..f4dc44b 100644 Binary files a/solvers/kissat-inc/build/resources.o and b/solvers/kissat-inc/build/resources.o differ diff --git a/solvers/kissat-inc/build/restart.o b/solvers/kissat-inc/build/restart.o index f37712a..ed732e1 100644 Binary files a/solvers/kissat-inc/build/restart.o and b/solvers/kissat-inc/build/restart.o differ diff --git a/solvers/kissat-inc/build/search.o b/solvers/kissat-inc/build/search.o index 559b880..ce09cc9 100644 Binary files a/solvers/kissat-inc/build/search.o and b/solvers/kissat-inc/build/search.o differ diff --git a/solvers/kissat-inc/build/sort.o b/solvers/kissat-inc/build/sort.o index 36ac517..671f07d 100644 Binary files a/solvers/kissat-inc/build/sort.o and b/solvers/kissat-inc/build/sort.o differ diff --git a/solvers/kissat-inc/build/statistics.o b/solvers/kissat-inc/build/statistics.o index f672c20..b0bcbbc 100644 Binary files a/solvers/kissat-inc/build/statistics.o and b/solvers/kissat-inc/build/statistics.o differ diff --git a/solvers/kissat-inc/build/strengthen.o b/solvers/kissat-inc/build/strengthen.o index 7538715..50e4087 100644 Binary files a/solvers/kissat-inc/build/strengthen.o and b/solvers/kissat-inc/build/strengthen.o differ diff --git a/solvers/kissat-inc/build/substitute.o b/solvers/kissat-inc/build/substitute.o index 05df643..674c497 100644 Binary files a/solvers/kissat-inc/build/substitute.o and b/solvers/kissat-inc/build/substitute.o differ diff --git a/solvers/kissat-inc/build/ternary.o b/solvers/kissat-inc/build/ternary.o index e79d2f2..1d6c522 100644 Binary files a/solvers/kissat-inc/build/ternary.o and b/solvers/kissat-inc/build/ternary.o differ diff --git a/solvers/kissat-inc/build/trail.o b/solvers/kissat-inc/build/trail.o index ea2cea9..d4eab98 100644 Binary files a/solvers/kissat-inc/build/trail.o and b/solvers/kissat-inc/build/trail.o differ diff --git a/solvers/kissat-inc/build/transitive.o b/solvers/kissat-inc/build/transitive.o index 49a5b27..86f6578 100644 Binary files a/solvers/kissat-inc/build/transitive.o and b/solvers/kissat-inc/build/transitive.o differ diff --git a/solvers/kissat-inc/build/vector.o b/solvers/kissat-inc/build/vector.o index 6e99f96..4bd8270 100644 Binary files a/solvers/kissat-inc/build/vector.o and b/solvers/kissat-inc/build/vector.o differ diff --git a/solvers/kissat-inc/build/vivify.o b/solvers/kissat-inc/build/vivify.o index 8320006..c883660 100644 Binary files a/solvers/kissat-inc/build/vivify.o and b/solvers/kissat-inc/build/vivify.o differ diff --git a/solvers/kissat-inc/build/walk.o b/solvers/kissat-inc/build/walk.o index f06e127..a995ae8 100644 Binary files a/solvers/kissat-inc/build/walk.o and b/solvers/kissat-inc/build/walk.o differ diff --git a/solvers/kissat-inc/build/watch.o b/solvers/kissat-inc/build/watch.o index f7c1e08..521b5fe 100644 Binary files a/solvers/kissat-inc/build/watch.o and b/solvers/kissat-inc/build/watch.o differ diff --git a/solvers/kissat-inc/build/weaken.o b/solvers/kissat-inc/build/weaken.o index 1e683f4..01c2581 100644 Binary files a/solvers/kissat-inc/build/weaken.o and b/solvers/kissat-inc/build/weaken.o differ diff --git a/solvers/kissat-inc/build/xors.o b/solvers/kissat-inc/build/xors.o index 6b1e726..a5778f9 100644 Binary files a/solvers/kissat-inc/build/xors.o and b/solvers/kissat-inc/build/xors.o differ diff --git a/solvers/kissat-inc/src/learn.c b/solvers/kissat-inc/src/learn.c index 913e40f..aaa309c 100644 --- a/solvers/kissat-inc/src/learn.c +++ b/solvers/kissat-inc/src/learn.c @@ -180,7 +180,10 @@ kissat_importClauses(kissat *solver) return true; int lbd, k, l, res; assert(solver->importedClause->sz == 0); - while ((res = solver->cbkImportClause(solver->issuer, &lbd, solver->importedClause)) != -1) { + // while ((res = solver->cbkImportClause(solver->issuer, &lbd, solver->importedClause)) != -1) { + while (true) { + int res = solver->cbkImportClause(solver->issuer, &lbd, solver->importedClause); + if (res == -1) break; if (res == -10) { cvec_clear(solver->importedClause); continue; diff --git a/utils/paras.o b/utils/paras.o index b64ce2b..c8657bb 100644 Binary files a/utils/paras.o and b/utils/paras.o differ diff --git a/workers/basekissat.cpp b/workers/basekissat.cpp index ee4c2bc..a6f20ae 100644 --- a/workers/basekissat.cpp +++ b/workers/basekissat.cpp @@ -8,23 +8,19 @@ extern "C" { #include "src/import.h" } -basekissat::basekissat(int id, light* light) : basesolver(id, light) { - solver = kissat_init(); -} - -basekissat::~basekissat(){ - delete solver; -} - void kissat_export_clause(void *solver, int lbd, cvec* c) { basekissat* S = (basekissat *) solver; if (lbd > S->good_clause_lbd) return; + // if (S->id == 0) printf("export: "); clause_store* cls = new clause_store(c->sz); for (int i = 0; i < c->sz; i++) { int v = cvec_data(c, i); int eidx = PEEK_STACK(S->solver->exportk, (v >> 1)); cls->data[i] = v & 1 ? -eidx : eidx; + // if (S->id == 0) printf("%d ", cls->data[i]); + // S->outexport << cls->data[i] << std::endl; } + // if (S->id == 0) puts(""); cls->lbd = lbd; S->export_clause.push(cls); } @@ -32,10 +28,11 @@ void kissat_export_clause(void *solver, int lbd, cvec* c) { int kissat_import_clause(void *solver, int *lbd, cvec* c) { basekissat* S = (basekissat *) solver; clause_store* cls = NULL; - if (S->import_clause.pop(&cls) == false) return -1; + if (S->import_clause.pop(cls) == false) return -1; bool eliminated = false; for (int i = 0; i < cls->size; i++) { + // S->outimport << cls->data[i] << std::endl; int eidx = abs(cls->data[i]); import *import = &PEEK_STACK (S->solver->import, eidx); if (import->eliminated) { @@ -53,6 +50,21 @@ int kissat_import_clause(void *solver, int *lbd, cvec* c) { return 1; } +basekissat::basekissat(int id, light* light) : basesolver(id, light) { + good_clause_lbd = 2; + // outexport.open("export.txt"); + // outimport.open("import.txt"); + // outfree.open("free.txt"); + solver = kissat_init(); + solver -> issuer = this; + solver -> cbkImportClause = kissat_import_clause; + solver -> cbkExportClause = kissat_export_clause; +} + +basekissat::~basekissat(){ + delete solver; +} + void basekissat::parse_dimacs(char* filename) { kissat_mab_parse(solver); strictness strict = NORMAL_PARSING; @@ -105,9 +117,31 @@ void basekissat::reset() { } void basekissat::export_clauses_to(vec &clauses) { - + clause_store *cls; + while (export_clause.pop(cls)) { + clauses.push(cls); + // outexport << id << ": "; + // for (int i = 0; i < cls->size; i++) + // outexport << cls->data[i] << " "; + // outexport << std::endl; + } } void basekissat::import_clauses_from(vec &clauses) { - + for (int i = 0; i < clauses.size(); i++) { + import_clause.push(clauses[i]); + // outimport << id << ": "; + // for (int j = 0; j < clauses[i]->size; j++) + // outimport << clauses[i]->data[j] << " "; + // outimport << std::endl; + } +} + +void basekissat::broaden_export_limit() { + // ++good_clause_lbd; +} + +void basekissat::restrict_export_limit() { + if (good_clause_lbd > 2) + --good_clause_lbd; } \ No newline at end of file diff --git a/workers/basekissat.hpp b/workers/basekissat.hpp index 26e1f59..5c8fa82 100644 --- a/workers/basekissat.hpp +++ b/workers/basekissat.hpp @@ -4,6 +4,7 @@ #include struct kissat; +struct cvec; class basekissat : public basesolver { public: @@ -17,6 +18,8 @@ public: void reset(); void export_clauses_to(vec &clauses); void import_clauses_from(vec &clauses); + void broaden_export_limit(); + void restrict_export_limit(); basekissat(int id, light *light); ~basekissat(); @@ -24,4 +27,9 @@ public: int good_clause_lbd = 0; boost::lockfree::spsc_queue> import_clause; boost::lockfree::spsc_queue> export_clause; + friend int cbkImportClause(void *, int *, cvec *); + friend int cbkExportClause(void *, int *, cvec *); + std::ofstream outimport; + std::ofstream outexport; + std::ofstream outfree; }; \ No newline at end of file diff --git a/workers/basekissat.o b/workers/basekissat.o index b03a801..4fb2812 100644 Binary files a/workers/basekissat.o and b/workers/basekissat.o differ diff --git a/workers/basesolver.hpp b/workers/basesolver.hpp index 2952854..c165a3a 100644 --- a/workers/basesolver.hpp +++ b/workers/basesolver.hpp @@ -3,6 +3,9 @@ #include "../light.hpp" #include "../utils/vec.hpp" +#include "clause.hpp" +#include +#include class basesolver { public: virtual void parse_dimacs(char* filename) = 0; @@ -15,6 +18,8 @@ public: virtual void reset() = 0; virtual void export_clauses_to(vec &clauses) = 0; virtual void import_clauses_from(vec &clauses) = 0; + virtual void broaden_export_limit() = 0; + virtual void restrict_export_limit() = 0; light * controller; int id; diff --git a/workers/clause.hpp b/workers/clause.hpp index 5f5992b..7624509 100644 --- a/workers/clause.hpp +++ b/workers/clause.hpp @@ -4,17 +4,29 @@ struct clause_store { int size, lbd; int *data; - atomic refs; + std::atomic refs; clause_store(int sz) { size = sz; data = (int*) malloc(sizeof(int) * sz); lbd = 0; refs = 1; } - void free_clause() { + void increase_refs(int inc) { + refs += inc; + } + bool free_clause() { int ref = refs.fetch_sub(1); - if (ref <= 1) + if (ref <= 1) { + // for (int i = 0; i < size; i++) + // printf("%d ", data[i]); + // puts(""); free(data); + return true; + } + return false; + } + ~clause_store() { + puts("free"); } }; diff --git a/workers/sharer.cpp b/workers/sharer.cpp index c89915a..266eabc 100644 --- a/workers/sharer.cpp +++ b/workers/sharer.cpp @@ -9,59 +9,77 @@ void * share_worker(void *arg) { while (true) { usleep(sq->share_intv); if (terminated) break; + // printf("start sharing %d\n", sq->share_intv); + for (int i = 0; i < sq->producers.size(); i++) { + sq->cls.clear(); + sq->producers[i]->export_clauses_to(sq->cls); + int number = sq->cls.size(); + // printf("get %d exported clauses\n", number); + int percent = sq->sort_clauses(i); + if (percent < 75) { + sq->producers[i]->broaden_export_limit(); + } + else if (percent > 98) { + sq->producers[i]->restrict_export_limit(); + } + // for (int k = 0; k < sq->cls.size(); k++) { + // int x = sq->cls[k]->refs; + // printf("%d ", x); + // } + // puts(""); + for (int j = 0; j < sq->consumers.size(); j++) { + if (sq->producers[i]->id == sq->consumers[j]->id) continue; + for (int k = 0; k < sq->cls.size(); k++) + sq->cls[k]->increase_refs(1); + sq->consumers[j]->import_clauses_from(sq->cls); + } + for (int k = 0; k < sq->cls.size(); k++) { + sq->cls[k]->free_clause(); + } + } + // printf("end sharing\n"); + // terminated = 1; } - for (int i = 0; i < sq->producers.size(); i++) { - sq->producers[i]->export_clause_to(sq->cls); - int number = sq->cls.size(); - int percent = sq->sort_clauses(i); - if (percent < 75) { - sq->producers[i]->broaden_export_limit(); - } - else if (percent > 98) { - sq->producers[i]->restrict_export_limit(); - } - for (int j = 0; j < sq->consumers.size(); j++) { - if (sq->producers[i]->id == sq->consumers[j]->id) continue; - for (int k = 0; k < sq->cls.size(); k++) - sq->cls[k]->increase_refs(1); - sq->consumers[j]->import_clauses_from(sq->cls); - } - for (int k = 0; k < sq->cls.size(); k++) - sq->cls[k]->free_clause(); - - } + if (terminated) puts("terminated set to 1"); return NULL; } int sharer::sort_clauses(int x) { - vec> *buck = &bucket[x]; for (int i = 0; i < cls.size(); i++) { int sz = cls[i]->size; - while (sz > buck->size()) buck->push(); - if (sz * (buck[sz - 1].size() + 1) <= share_lits) - buck[sz - 1].push(cls[i]); - else - cls[i]->free_clause(); + // for (int j = 0; j < sz; j++) printf("%d ", cls[i]->data[j]); + // puts(""); + while (sz > bucket[x].size()) bucket[x].push(); + if (sz * (bucket[x][sz - 1].size() + 1) <= share_lits) + bucket[x][sz - 1].push(cls[i]); + // else + // cls[i]->free_clause(); } cls.clear(); int space = share_lits; - for (int i = 0; i < buck->size(); i++) { + for (int i = 0; i < bucket[x].size(); i++) { int clause_num = space / (i + 1); - if (!clause_num) return; - if (clause_num >= buck[i].size()) { - space -= buck[i].size() * (i + 1); - for (int j = 0; j < buck[i].size(); j++) - cls.push(buck[i][j]); - buck[i].clear(); + // printf("%d %d\n", clause_num, bucket[x][i].size()); + if (!clause_num) break; + if (clause_num >= bucket[x][i].size()) { + space -= bucket[x][i].size() * (i + 1); + for (int j = 0; j < bucket[x][i].size(); j++) + cls.push(bucket[x][i][j]); + bucket[x][i].clear(); } else { space -= clause_num * (i + 1); for (int j = 0; j < clause_num; j++) { - cls.push(buck[i].last()); - buck[i].pop(); + cls.push(bucket[x][i].last()); + bucket[x][i].pop(); } } } + // for (int i = 0; i < cls.size(); i++) { + // int sz = cls[i]->size; + // for (int j = 0; j < sz; j++) printf("%d ", cls[i]->data[j]); + // puts(""); + // } return (share_lits - space) * 100 / share_lits; } @@ -69,14 +87,19 @@ void light::share() { int sharers_number = 1; for (int i = 0; i < sharers_number; i++) { sharer* s = new sharer(i, OPT(share_intv), OPT(share_lits)); - s->producers.push(workers[0]); - s->consumers.push(workers[1]); + for (int j = 0; j < OPT(threads); j++) { + s->producers.push(workers[j]); + s->consumers.push(workers[j]); + } sharers.push(s); } pthread_t *ptr = new pthread_t[sharers_number]; for (int i = 0; i < sharers_number; i++) { - pthread_create(&ptr[i], NULL, share_worker, shares[i]); + pthread_create(&ptr[i], NULL, share_worker, sharers[i]); } - + + // for (int i = 0; i < sharers_number; i++) { + // pthread_join(ptr[i], NULL); + // } } \ No newline at end of file diff --git a/workers/sharer.o b/workers/sharer.o new file mode 100644 index 0000000..c30ff4b Binary files /dev/null and b/workers/sharer.o differ