{ "cells": [ { "cell_type": "code", "execution_count": 18, "metadata": { "collapsed": true }, "outputs": [], "source": [ "def convolution(spectrum):\n", " \n", " \"\"\"Input: A collection of integers Spectrum.\n", " Output: The list of elements in the convolution of Spectrum. If an element has\n", " multiplicity k, it should appear exactly k times; you may return the elements in any order.\"\"\"\n", " \n", " spectrum = sorted(spectrum)\n", " return [i-j for i in spectrum for j in spectrum if i-j > 0] \n" ] }, { "cell_type": "code", "execution_count": 19, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "[137, 186, 49, 323, 186, 137]" ] }, "execution_count": 19, "metadata": {}, "output_type": "execute_result" } ], "source": [ "convolution([0, 137, 186, 323])" ] }, { "cell_type": "code", "execution_count": 23, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "Counter({12: 1,\n", " 62: 1,\n", " 74: 4,\n", " 86: 2,\n", " 148: 3,\n", " 160: 2,\n", " 222: 2,\n", " 234: 2,\n", " 296: 1,\n", " 308: 1,\n", " 320: 1,\n", " 382: 1})" ] }, "execution_count": 23, "metadata": {}, "output_type": "execute_result" } ], "source": [ "from collections import Counter\n", "x = Counter(convolution([0, 86, 160, 234, 308, 320, 382]))\n", "x" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Final code for convolution of spectrum" ] }, { "cell_type": "code", "execution_count": 17, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "'57 57 87 30 30 97 40 40 10 99 42 42 12 2 101 44 44 14 4 2 113 56 56 26 16 14 12 115 58 58 28 18 16 14 2 128 71 71 41 31 29 27 15 13 128 71 71 41 31 29 27 15 13 128 71 71 41 31 29 27 15 13 128 71 71 41 31 29 27 15 13 129 72 72 42 32 30 28 16 14 1 1 1 1 131 74 74 44 34 32 30 18 16 3 3 3 3 2 131 74 74 44 34 32 30 18 16 3 3 3 3 2 144 87 87 57 47 45 43 31 29 16 16 16 16 15 13 13 154 97 97 67 57 55 53 41 39 26 26 26 26 25 23 23 10 156 99 99 69 59 57 55 43 41 28 28 28 28 27 25 25 12 2 186 129 129 99 89 87 85 73 71 58 58 58 58 57 55 55 42 32 30 188 131 131 101 91 89 87 75 73 60 60 60 60 59 57 57 44 34 32 2 196 139 139 109 99 97 95 83 81 68 68 68 68 67 65 65 52 42 40 10 8 229 172 172 142 132 130 128 116 114 101 101 101 101 100 98 98 85 75 73 43 41 33 230 173 173 143 133 131 129 117 115 102 102 102 102 101 99 99 86 76 74 44 42 34 1 232 175 175 145 135 133 131 119 117 104 104 104 104 103 101 101 88 78 76 46 44 36 3 2 241 184 184 154 144 142 140 128 126 113 113 113 113 112 110 110 97 87 85 55 53 45 12 11 9 242 185 185 155 145 143 141 129 127 114 114 114 114 113 111 111 98 88 86 56 54 46 13 12 10 1 243 186 186 156 146 144 142 130 128 115 115 115 115 114 112 112 99 89 87 57 55 47 14 13 11 2 1 243 186 186 156 146 144 142 130 128 115 115 115 115 114 112 112 99 89 87 57 55 47 14 13 11 2 1 243 186 186 156 146 144 142 130 128 115 115 115 115 114 112 112 99 89 87 57 55 47 14 13 11 2 1 253 196 196 166 156 154 152 140 138 125 125 125 125 124 122 122 109 99 97 67 65 57 24 23 21 12 11 10 10 10 256 199 199 169 159 157 155 143 141 128 128 128 128 127 125 125 112 102 100 70 68 60 27 26 24 15 14 13 13 13 3 259 202 202 172 162 160 158 146 144 131 131 131 131 130 128 128 115 105 103 73 71 63 30 29 27 18 17 16 16 16 6 3 273 216 216 186 176 174 172 160 158 145 145 145 145 144 142 142 129 119 117 87 85 77 44 43 41 32 31 30 30 30 20 17 14 284 227 227 197 187 185 183 171 169 156 156 156 156 155 153 153 140 130 128 98 96 88 55 54 52 43 42 41 41 41 31 28 25 11 285 228 228 198 188 186 184 172 170 157 157 157 157 156 154 154 141 131 129 99 97 89 56 55 53 44 43 42 42 42 32 29 26 12 1 289 232 232 202 192 190 188 176 174 161 161 161 161 160 158 158 145 135 133 103 101 93 60 59 57 48 47 46 46 46 36 33 30 16 5 4 299 242 242 212 202 200 198 186 184 171 171 171 171 170 168 168 155 145 143 113 111 103 70 69 67 58 57 56 56 56 46 43 40 26 15 14 10 300 243 243 213 203 201 199 187 185 172 172 172 172 171 169 169 156 146 144 114 112 104 71 70 68 59 58 57 57 57 47 44 41 27 16 15 11 1 327 270 270 240 230 228 226 214 212 199 199 199 199 198 196 196 183 173 171 141 139 131 98 97 95 86 85 84 84 84 74 71 68 54 43 42 38 28 27 358 301 301 271 261 259 257 245 243 230 230 230 230 229 227 227 214 204 202 172 170 162 129 128 126 117 116 115 115 115 105 102 99 85 74 73 69 59 58 31 360 303 303 273 263 261 259 247 245 232 232 232 232 231 229 229 216 206 204 174 172 164 131 130 128 119 118 117 117 117 107 104 101 87 76 75 71 61 60 33 2 369 312 312 282 272 270 268 256 254 241 241 241 241 240 238 238 225 215 213 183 181 173 140 139 137 128 127 126 126 126 116 113 110 96 85 84 80 70 69 42 11 9 370 313 313 283 273 271 269 257 255 242 242 242 242 241 239 239 226 216 214 184 182 174 141 140 138 129 128 127 127 127 117 114 111 97 86 85 81 71 70 43 12 10 1 371 314 314 284 274 272 270 258 256 243 243 243 243 242 240 240 227 217 215 185 183 175 142 141 139 130 129 128 128 128 118 115 112 98 87 86 82 72 71 44 13 11 2 1 371 314 314 284 274 272 270 258 256 243 243 243 243 242 240 240 227 217 215 185 183 175 142 141 139 130 129 128 128 128 118 115 112 98 87 86 82 72 71 44 13 11 2 1 371 314 314 284 274 272 270 258 256 243 243 243 243 242 240 240 227 217 215 185 183 175 142 141 139 130 129 128 128 128 118 115 112 98 87 86 82 72 71 44 13 11 2 1 374 317 317 287 277 275 273 261 259 246 246 246 246 245 243 243 230 220 218 188 186 178 145 144 142 133 132 131 131 131 121 118 115 101 90 89 85 75 74 47 16 14 5 4 3 3 3 384 327 327 297 287 285 283 271 269 256 256 256 256 255 253 253 240 230 228 198 196 188 155 154 152 143 142 141 141 141 131 128 125 111 100 99 95 85 84 57 26 24 15 14 13 13 13 10 384 327 327 297 287 285 283 271 269 256 256 256 256 255 253 253 240 230 228 198 196 188 155 154 152 143 142 141 141 141 131 128 125 111 100 99 95 85 84 57 26 24 15 14 13 13 13 10 385 328 328 298 288 286 284 272 270 257 257 257 257 256 254 254 241 231 229 199 197 189 156 155 153 144 143 142 142 142 132 129 126 112 101 100 96 86 85 58 27 25 16 15 14 14 14 11 1 1 386 329 329 299 289 287 285 273 271 258 258 258 258 257 255 255 242 232 230 200 198 190 157 156 154 145 144 143 143 143 133 130 127 113 102 101 97 87 86 59 28 26 17 16 15 15 15 12 2 2 1 386 329 329 299 289 287 285 273 271 258 258 258 258 257 255 255 242 232 230 200 198 190 157 156 154 145 144 143 143 143 133 130 127 113 102 101 97 87 86 59 28 26 17 16 15 15 15 12 2 2 1 417 360 360 330 320 318 316 304 302 289 289 289 289 288 286 286 273 263 261 231 229 221 188 187 185 176 175 174 174 174 164 161 158 144 133 132 128 118 117 90 59 57 48 47 46 46 46 43 33 33 32 31 31 427 370 370 340 330 328 326 314 312 299 299 299 299 298 296 296 283 273 271 241 239 231 198 197 195 186 185 184 184 184 174 171 168 154 143 142 138 128 127 100 69 67 58 57 56 56 56 53 43 43 42 41 41 10 428 371 371 341 331 329 327 315 313 300 300 300 300 299 297 297 284 274 272 242 240 232 199 198 196 187 186 185 185 185 175 172 169 155 144 143 139 129 128 101 70 68 59 58 57 57 57 54 44 44 43 42 42 11 1 429 372 372 342 332 330 328 316 314 301 301 301 301 300 298 298 285 275 273 243 241 233 200 199 197 188 187 186 186 186 176 173 170 156 145 144 140 130 129 102 71 69 60 59 58 58 58 55 45 45 44 43 43 12 2 1 455 398 398 368 358 356 354 342 340 327 327 327 327 326 324 324 311 301 299 269 267 259 226 225 223 214 213 212 212 212 202 199 196 182 171 170 166 156 155 128 97 95 86 85 84 84 84 81 71 71 70 69 69 38 28 27 26 472 415 415 385 375 373 371 359 357 344 344 344 344 343 341 341 328 318 316 286 284 276 243 242 240 231 230 229 229 229 219 216 213 199 188 187 183 173 172 145 114 112 103 102 101 101 101 98 88 88 87 86 86 55 45 44 43 17 473 416 416 386 376 374 372 360 358 345 345 345 345 344 342 342 329 319 317 287 285 277 244 243 241 232 231 230 230 230 220 217 214 200 189 188 184 174 173 146 115 113 104 103 102 102 102 99 89 89 88 87 87 56 46 45 44 18 1 484 427 427 397 387 385 383 371 369 356 356 356 356 355 353 353 340 330 328 298 296 288 255 254 252 243 242 241 241 241 231 228 225 211 200 199 195 185 184 157 126 124 115 114 113 113 113 110 100 100 99 98 98 67 57 56 55 29 12 11 485 428 428 398 388 386 384 372 370 357 357 357 357 356 354 354 341 331 329 299 297 289 256 255 253 244 243 242 242 242 232 229 226 212 201 200 196 186 185 158 127 125 116 115 114 114 114 111 101 101 100 99 99 68 58 57 56 30 13 12 1 498 441 441 411 401 399 397 385 383 370 370 370 370 369 367 367 354 344 342 312 310 302 269 268 266 257 256 255 255 255 245 242 239 225 214 213 209 199 198 171 140 138 129 128 127 127 127 124 114 114 113 112 112 81 71 70 69 43 26 25 14 13 499 442 442 412 402 400 398 386 384 371 371 371 371 370 368 368 355 345 343 313 311 303 270 269 267 258 257 256 256 256 246 243 240 226 215 214 210 200 199 172 141 139 130 129 128 128 128 125 115 115 114 113 113 82 72 71 70 44 27 26 15 14 1 502 445 445 415 405 403 401 389 387 374 374 374 374 373 371 371 358 348 346 316 314 306 273 272 270 261 260 259 259 259 249 246 243 229 218 217 213 203 202 175 144 142 133 132 131 131 131 128 118 118 117 116 116 85 75 74 73 47 30 29 18 17 4 3 512 455 455 425 415 413 411 399 397 384 384 384 384 383 381 381 368 358 356 326 324 316 283 282 280 271 270 269 269 269 259 256 253 239 228 227 223 213 212 185 154 152 143 142 141 141 141 138 128 128 127 126 126 95 85 84 83 57 40 39 28 27 14 13 10 514 457 457 427 417 415 413 401 399 386 386 386 386 385 383 383 370 360 358 328 326 318 285 284 282 273 272 271 271 271 261 258 255 241 230 229 225 215 214 187 156 154 145 144 143 143 143 140 130 130 129 128 128 97 87 86 85 59 42 41 30 29 16 15 12 2 514 457 457 427 417 415 413 401 399 386 386 386 386 385 383 383 370 360 358 328 326 318 285 284 282 273 272 271 271 271 261 258 255 241 230 229 225 215 214 187 156 154 145 144 143 143 143 140 130 130 129 128 128 97 87 86 85 59 42 41 30 29 16 15 12 2 515 458 458 428 418 416 414 402 400 387 387 387 387 386 384 384 371 361 359 329 327 319 286 285 283 274 273 272 272 272 262 259 256 242 231 230 226 216 215 188 157 155 146 145 144 144 144 141 131 131 130 129 129 98 88 87 86 60 43 42 31 30 17 16 13 3 1 1 516 459 459 429 419 417 415 403 401 388 388 388 388 387 385 385 372 362 360 330 328 320 287 286 284 275 274 273 273 273 263 260 257 243 232 231 227 217 216 189 158 156 147 146 145 145 145 142 132 132 131 130 130 99 89 88 87 61 44 43 32 31 18 17 14 4 2 2 1 529 472 472 442 432 430 428 416 414 401 401 401 401 400 398 398 385 375 373 343 341 333 300 299 297 288 287 286 286 286 276 273 270 256 245 244 240 230 229 202 171 169 160 159 158 158 158 155 145 145 144 143 143 112 102 101 100 74 57 56 45 44 31 30 27 17 15 15 14 13 542 485 485 455 445 443 441 429 427 414 414 414 414 413 411 411 398 388 386 356 354 346 313 312 310 301 300 299 299 299 289 286 283 269 258 257 253 243 242 215 184 182 173 172 171 171 171 168 158 158 157 156 156 125 115 114 113 87 70 69 58 57 44 43 40 30 28 28 27 26 13 555 498 498 468 458 456 454 442 440 427 427 427 427 426 424 424 411 401 399 369 367 359 326 325 323 314 313 312 312 312 302 299 296 282 271 270 266 256 255 228 197 195 186 185 184 184 184 181 171 171 170 169 169 138 128 127 126 100 83 82 71 70 57 56 53 43 41 41 40 39 26 13 557 500 500 470 460 458 456 444 442 429 429 429 429 428 426 426 413 403 401 371 369 361 328 327 325 316 315 314 314 314 304 301 298 284 273 272 268 258 257 230 199 197 188 187 186 186 186 183 173 173 172 171 171 140 130 129 128 102 85 84 73 72 59 58 55 45 43 43 42 41 28 15 2 570 513 513 483 473 471 469 457 455 442 442 442 442 441 439 439 426 416 414 384 382 374 341 340 338 329 328 327 327 327 317 314 311 297 286 285 281 271 270 243 212 210 201 200 199 199 199 196 186 186 185 184 184 153 143 142 141 115 98 97 86 85 72 71 68 58 56 56 55 54 41 28 15 13 573 516 516 486 476 474 472 460 458 445 445 445 445 444 442 442 429 419 417 387 385 377 344 343 341 332 331 330 330 330 320 317 314 300 289 288 284 274 273 246 215 213 204 203 202 202 202 199 189 189 188 187 187 156 146 145 144 118 101 100 89 88 75 74 71 61 59 59 58 57 44 31 18 16 3 601 544 544 514 504 502 500 488 486 473 473 473 473 472 470 470 457 447 445 415 413 405 372 371 369 360 359 358 358 358 348 345 342 328 317 316 312 302 301 274 243 241 232 231 230 230 230 227 217 217 216 215 215 184 174 173 172 146 129 128 117 116 103 102 99 89 87 87 86 85 72 59 46 44 31 28 603 546 546 516 506 504 502 490 488 475 475 475 475 474 472 472 459 449 447 417 415 407 374 373 371 362 361 360 360 360 350 347 344 330 319 318 314 304 303 276 245 243 234 233 232 232 232 229 219 219 218 217 217 186 176 175 174 148 131 130 119 118 105 104 101 91 89 89 88 87 74 61 48 46 33 30 2 612 555 555 525 515 513 511 499 497 484 484 484 484 483 481 481 468 458 456 426 424 416 383 382 380 371 370 369 369 369 359 356 353 339 328 327 323 313 312 285 254 252 243 242 241 241 241 238 228 228 227 226 226 195 185 184 183 157 140 139 128 127 114 113 110 100 98 98 97 96 83 70 57 55 42 39 11 9 613 556 556 526 516 514 512 500 498 485 485 485 485 484 482 482 469 459 457 427 425 417 384 383 381 372 371 370 370 370 360 357 354 340 329 328 324 314 313 286 255 253 244 243 242 242 242 239 229 229 228 227 227 196 186 185 184 158 141 140 129 128 115 114 111 101 99 99 98 97 84 71 58 56 43 40 12 10 1 613 556 556 526 516 514 512 500 498 485 485 485 485 484 482 482 469 459 457 427 425 417 384 383 381 372 371 370 370 370 360 357 354 340 329 328 324 314 313 286 255 253 244 243 242 242 242 239 229 229 228 227 227 196 186 185 184 158 141 140 129 128 115 114 111 101 99 99 98 97 84 71 58 56 43 40 12 10 1 616 559 559 529 519 517 515 503 501 488 488 488 488 487 485 485 472 462 460 430 428 420 387 386 384 375 374 373 373 373 363 360 357 343 332 331 327 317 316 289 258 256 247 246 245 245 245 242 232 232 231 230 230 199 189 188 187 161 144 143 132 131 118 117 114 104 102 102 101 100 87 74 61 59 46 43 15 13 4 3 3 627 570 570 540 530 528 526 514 512 499 499 499 499 498 496 496 483 473 471 441 439 431 398 397 395 386 385 384 384 384 374 371 368 354 343 342 338 328 327 300 269 267 258 257 256 256 256 253 243 243 242 241 241 210 200 199 198 172 155 154 143 142 129 128 125 115 113 113 112 111 98 85 72 70 57 54 26 24 15 14 14 11 630 573 573 543 533 531 529 517 515 502 502 502 502 501 499 499 486 476 474 444 442 434 401 400 398 389 388 387 387 387 377 374 371 357 346 345 341 331 330 303 272 270 261 260 259 259 259 256 246 246 245 244 244 213 203 202 201 175 158 157 146 145 132 131 128 118 116 116 115 114 101 88 75 73 60 57 29 27 18 17 17 14 3 642 585 585 555 545 543 541 529 527 514 514 514 514 513 511 511 498 488 486 456 454 446 413 412 410 401 400 399 399 399 389 386 383 369 358 357 353 343 342 315 284 282 273 272 271 271 271 268 258 258 257 256 256 225 215 214 213 187 170 169 158 157 144 143 140 130 128 128 127 126 113 100 87 85 72 69 41 39 30 29 29 26 15 12 643 586 586 556 546 544 542 530 528 515 515 515 515 514 512 512 499 489 487 457 455 447 414 413 411 402 401 400 400 400 390 387 384 370 359 358 354 344 343 316 285 283 274 273 272 272 272 269 259 259 258 257 257 226 216 215 214 188 171 170 159 158 145 144 141 131 129 129 128 127 114 101 88 86 73 70 42 40 31 30 30 27 16 13 1 658 601 601 571 561 559 557 545 543 530 530 530 530 529 527 527 514 504 502 472 470 462 429 428 426 417 416 415 415 415 405 402 399 385 374 373 369 359 358 331 300 298 289 288 287 287 287 284 274 274 273 272 272 241 231 230 229 203 186 185 174 173 160 159 156 146 144 144 143 142 129 116 103 101 88 85 57 55 46 45 45 42 31 28 16 15 660 603 603 573 563 561 559 547 545 532 532 532 532 531 529 529 516 506 504 474 472 464 431 430 428 419 418 417 417 417 407 404 401 387 376 375 371 361 360 333 302 300 291 290 289 289 289 286 276 276 275 274 274 243 233 232 231 205 188 187 176 175 162 161 158 148 146 146 145 144 131 118 105 103 90 87 59 57 48 47 47 44 33 30 18 17 2 660 603 603 573 563 561 559 547 545 532 532 532 532 531 529 529 516 506 504 474 472 464 431 430 428 419 418 417 417 417 407 404 401 387 376 375 371 361 360 333 302 300 291 290 289 289 289 286 276 276 275 274 274 243 233 232 231 205 188 187 176 175 162 161 158 148 146 146 145 144 131 118 105 103 90 87 59 57 48 47 47 44 33 30 18 17 2 670 613 613 583 573 571 569 557 555 542 542 542 542 541 539 539 526 516 514 484 482 474 441 440 438 429 428 427 427 427 417 414 411 397 386 385 381 371 370 343 312 310 301 300 299 299 299 296 286 286 285 284 284 253 243 242 241 215 198 197 186 185 172 171 168 158 156 156 155 154 141 128 115 113 100 97 69 67 58 57 57 54 43 40 28 27 12 10 10 670 613 613 583 573 571 569 557 555 542 542 542 542 541 539 539 526 516 514 484 482 474 441 440 438 429 428 427 427 427 417 414 411 397 386 385 381 371 370 343 312 310 301 300 299 299 299 296 286 286 285 284 284 253 243 242 241 215 198 197 186 185 172 171 168 158 156 156 155 154 141 128 115 113 100 97 69 67 58 57 57 54 43 40 28 27 12 10 10 670 613 613 583 573 571 569 557 555 542 542 542 542 541 539 539 526 516 514 484 482 474 441 440 438 429 428 427 427 427 417 414 411 397 386 385 381 371 370 343 312 310 301 300 299 299 299 296 286 286 285 284 284 253 243 242 241 215 198 197 186 185 172 171 168 158 156 156 155 154 141 128 115 113 100 97 69 67 58 57 57 54 43 40 28 27 12 10 10 670 613 613 583 573 571 569 557 555 542 542 542 542 541 539 539 526 516 514 484 482 474 441 440 438 429 428 427 427 427 417 414 411 397 386 385 381 371 370 343 312 310 301 300 299 299 299 296 286 286 285 284 284 253 243 242 241 215 198 197 186 185 172 171 168 158 156 156 155 154 141 128 115 113 100 97 69 67 58 57 57 54 43 40 28 27 12 10 10 698 641 641 611 601 599 597 585 583 570 570 570 570 569 567 567 554 544 542 512 510 502 469 468 466 457 456 455 455 455 445 442 439 425 414 413 409 399 398 371 340 338 329 328 327 327 327 324 314 314 313 312 312 281 271 270 269 243 226 225 214 213 200 199 196 186 184 184 183 182 169 156 143 141 128 125 97 95 86 85 85 82 71 68 56 55 40 38 38 28 28 28 28 717 660 660 630 620 618 616 604 602 589 589 589 589 588 586 586 573 563 561 531 529 521 488 487 485 476 475 474 474 474 464 461 458 444 433 432 428 418 417 390 359 357 348 347 346 346 346 343 333 333 332 331 331 300 290 289 288 262 245 244 233 232 219 218 215 205 203 203 202 201 188 175 162 160 147 144 116 114 105 104 104 101 90 87 75 74 59 57 57 47 47 47 47 19 729 672 672 642 632 630 628 616 614 601 601 601 601 600 598 598 585 575 573 543 541 533 500 499 497 488 487 486 486 486 476 473 470 456 445 444 440 430 429 402 371 369 360 359 358 358 358 355 345 345 344 343 343 312 302 301 300 274 257 256 245 244 231 230 227 217 215 215 214 213 200 187 174 172 159 156 128 126 117 116 116 113 102 99 87 86 71 69 69 59 59 59 59 31 12 741 684 684 654 644 642 640 628 626 613 613 613 613 612 610 610 597 587 585 555 553 545 512 511 509 500 499 498 498 498 488 485 482 468 457 456 452 442 441 414 383 381 372 371 370 370 370 367 357 357 356 355 355 324 314 313 312 286 269 268 257 256 243 242 239 229 227 227 226 225 212 199 186 184 171 168 140 138 129 128 128 125 114 111 99 98 83 81 81 71 71 71 71 43 24 12 743 686 686 656 646 644 642 630 628 615 615 615 615 614 612 612 599 589 587 557 555 547 514 513 511 502 501 500 500 500 490 487 484 470 459 458 454 444 443 416 385 383 374 373 372 372 372 369 359 359 358 357 357 326 316 315 314 288 271 270 259 258 245 244 241 231 229 229 228 227 214 201 188 186 173 170 142 140 131 130 130 127 116 113 101 100 85 83 83 73 73 73 73 45 26 14 2 744 687 687 657 647 645 643 631 629 616 616 616 616 615 613 613 600 590 588 558 556 548 515 514 512 503 502 501 501 501 491 488 485 471 460 459 455 445 444 417 386 384 375 374 373 373 373 370 360 360 359 358 358 327 317 316 315 289 272 271 260 259 246 245 242 232 230 230 229 228 215 202 189 187 174 171 143 141 132 131 131 128 117 114 102 101 86 84 84 74 74 74 74 46 27 15 3 1 744 687 687 657 647 645 643 631 629 616 616 616 616 615 613 613 600 590 588 558 556 548 515 514 512 503 502 501 501 501 491 488 485 471 460 459 455 445 444 417 386 384 375 374 373 373 373 370 360 360 359 358 358 327 317 316 315 289 272 271 260 259 246 245 242 232 230 230 229 228 215 202 189 187 174 171 143 141 132 131 131 128 117 114 102 101 86 84 84 74 74 74 74 46 27 15 3 1 755 698 698 668 658 656 654 642 640 627 627 627 627 626 624 624 611 601 599 569 567 559 526 525 523 514 513 512 512 512 502 499 496 482 471 470 466 456 455 428 397 395 386 385 384 384 384 381 371 371 370 369 369 338 328 327 326 300 283 282 271 270 257 256 253 243 241 241 240 239 226 213 200 198 185 182 154 152 143 142 142 139 128 125 113 112 97 95 95 85 85 85 85 57 38 26 14 12 11 11 757 700 700 670 660 658 656 644 642 629 629 629 629 628 626 626 613 603 601 571 569 561 528 527 525 516 515 514 514 514 504 501 498 484 473 472 468 458 457 430 399 397 388 387 386 386 386 383 373 373 372 371 371 340 330 329 328 302 285 284 273 272 259 258 255 245 243 243 242 241 228 215 202 200 187 184 156 154 145 144 144 141 130 127 115 114 99 97 97 87 87 87 87 59 40 28 16 14 13 13 2 757 700 700 670 660 658 656 644 642 629 629 629 629 628 626 626 613 603 601 571 569 561 528 527 525 516 515 514 514 514 504 501 498 484 473 472 468 458 457 430 399 397 388 387 386 386 386 383 373 373 372 371 371 340 330 329 328 302 285 284 273 272 259 258 255 245 243 243 242 241 228 215 202 200 187 184 156 154 145 144 144 141 130 127 115 114 99 97 97 87 87 87 87 59 40 28 16 14 13 13 2 758 701 701 671 661 659 657 645 643 630 630 630 630 629 627 627 614 604 602 572 570 562 529 528 526 517 516 515 515 515 505 502 499 485 474 473 469 459 458 431 400 398 389 388 387 387 387 384 374 374 373 372 372 341 331 330 329 303 286 285 274 273 260 259 256 246 244 244 243 242 229 216 203 201 188 185 157 155 146 145 145 142 131 128 116 115 100 98 98 88 88 88 88 60 41 29 17 15 14 14 3 1 1 769 712 712 682 672 670 668 656 654 641 641 641 641 640 638 638 625 615 613 583 581 573 540 539 537 528 527 526 526 526 516 513 510 496 485 484 480 470 469 442 411 409 400 399 398 398 398 395 385 385 384 383 383 352 342 341 340 314 297 296 285 284 271 270 267 257 255 255 254 253 240 227 214 212 199 196 168 166 157 156 156 153 142 139 127 126 111 109 109 99 99 99 99 71 52 40 28 26 25 25 14 12 12 11 771 714 714 684 674 672 670 658 656 643 643 643 643 642 640 640 627 617 615 585 583 575 542 541 539 530 529 528 528 528 518 515 512 498 487 486 482 472 471 444 413 411 402 401 400 400 400 397 387 387 386 385 385 354 344 343 342 316 299 298 287 286 273 272 269 259 257 257 256 255 242 229 216 214 201 198 170 168 159 158 158 155 144 141 129 128 113 111 111 101 101 101 101 73 54 42 30 28 27 27 16 14 14 13 2 789 732 732 702 692 690 688 676 674 661 661 661 661 660 658 658 645 635 633 603 601 593 560 559 557 548 547 546 546 546 536 533 530 516 505 504 500 490 489 462 431 429 420 419 418 418 418 415 405 405 404 403 403 372 362 361 360 334 317 316 305 304 291 290 287 277 275 275 274 273 260 247 234 232 219 216 188 186 177 176 176 173 162 159 147 146 131 129 129 119 119 119 119 91 72 60 48 46 45 45 34 32 32 31 20 18 798 741 741 711 701 699 697 685 683 670 670 670 670 669 667 667 654 644 642 612 610 602 569 568 566 557 556 555 555 555 545 542 539 525 514 513 509 499 498 471 440 438 429 428 427 427 427 424 414 414 413 412 412 381 371 370 369 343 326 325 314 313 300 299 296 286 284 284 283 282 269 256 243 241 228 225 197 195 186 185 185 182 171 168 156 155 140 138 138 128 128 128 128 100 81 69 57 55 54 54 43 41 41 40 29 27 9 798 741 741 711 701 699 697 685 683 670 670 670 670 669 667 667 654 644 642 612 610 602 569 568 566 557 556 555 555 555 545 542 539 525 514 513 509 499 498 471 440 438 429 428 427 427 427 424 414 414 413 412 412 381 371 370 369 343 326 325 314 313 300 299 296 286 284 284 283 282 269 256 243 241 228 225 197 195 186 185 185 182 171 168 156 155 140 138 138 128 128 128 128 100 81 69 57 55 54 54 43 41 41 40 29 27 9 798 741 741 711 701 699 697 685 683 670 670 670 670 669 667 667 654 644 642 612 610 602 569 568 566 557 556 555 555 555 545 542 539 525 514 513 509 499 498 471 440 438 429 428 427 427 427 424 414 414 413 412 412 381 371 370 369 343 326 325 314 313 300 299 296 286 284 284 283 282 269 256 243 241 228 225 197 195 186 185 185 182 171 168 156 155 140 138 138 128 128 128 128 100 81 69 57 55 54 54 43 41 41 40 29 27 9 814 757 757 727 717 715 713 701 699 686 686 686 686 685 683 683 670 660 658 628 626 618 585 584 582 573 572 571 571 571 561 558 555 541 530 529 525 515 514 487 456 454 445 444 443 443 443 440 430 430 429 428 428 397 387 386 385 359 342 341 330 329 316 315 312 302 300 300 299 298 285 272 259 257 244 241 213 211 202 201 201 198 187 184 172 171 156 154 154 144 144 144 144 116 97 85 73 71 70 70 59 57 57 56 45 43 25 16 16 16 826 769 769 739 729 727 725 713 711 698 698 698 698 697 695 695 682 672 670 640 638 630 597 596 594 585 584 583 583 583 573 570 567 553 542 541 537 527 526 499 468 466 457 456 455 455 455 452 442 442 441 440 440 409 399 398 397 371 354 353 342 341 328 327 324 314 312 312 311 310 297 284 271 269 256 253 225 223 214 213 213 210 199 196 184 183 168 166 166 156 156 156 156 128 109 97 85 83 82 82 71 69 69 68 57 55 37 28 28 28 12 842 785 785 755 745 743 741 729 727 714 714 714 714 713 711 711 698 688 686 656 654 646 613 612 610 601 600 599 599 599 589 586 583 569 558 557 553 543 542 515 484 482 473 472 471 471 471 468 458 458 457 456 456 425 415 414 413 387 370 369 358 357 344 343 340 330 328 328 327 326 313 300 287 285 272 269 241 239 230 229 229 226 215 212 200 199 184 182 182 172 172 172 172 144 125 113 101 99 98 98 87 85 85 84 73 71 53 44 44 44 28 16 846 789 789 759 749 747 745 733 731 718 718 718 718 717 715 715 702 692 690 660 658 650 617 616 614 605 604 603 603 603 593 590 587 573 562 561 557 547 546 519 488 486 477 476 475 475 475 472 462 462 461 460 460 429 419 418 417 391 374 373 362 361 348 347 344 334 332 332 331 330 317 304 291 289 276 273 245 243 234 233 233 230 219 216 204 203 188 186 186 176 176 176 176 148 129 117 105 103 102 102 91 89 89 88 77 75 57 48 48 48 32 20 4 856 799 799 769 759 757 755 743 741 728 728 728 728 727 725 725 712 702 700 670 668 660 627 626 624 615 614 613 613 613 603 600 597 583 572 571 567 557 556 529 498 496 487 486 485 485 485 482 472 472 471 470 470 439 429 428 427 401 384 383 372 371 358 357 354 344 342 342 341 340 327 314 301 299 286 283 255 253 244 243 243 240 229 226 214 213 198 196 196 186 186 186 186 158 139 127 115 113 112 112 101 99 99 98 87 85 67 58 58 58 42 30 14 10 859 802 802 772 762 760 758 746 744 731 731 731 731 730 728 728 715 705 703 673 671 663 630 629 627 618 617 616 616 616 606 603 600 586 575 574 570 560 559 532 501 499 490 489 488 488 488 485 475 475 474 473 473 442 432 431 430 404 387 386 375 374 361 360 357 347 345 345 344 343 330 317 304 302 289 286 258 256 247 246 246 243 232 229 217 216 201 199 199 189 189 189 189 161 142 130 118 116 115 115 104 102 102 101 90 88 70 61 61 61 45 33 17 13 3 872 815 815 785 775 773 771 759 757 744 744 744 744 743 741 741 728 718 716 686 684 676 643 642 640 631 630 629 629 629 619 616 613 599 588 587 583 573 572 545 514 512 503 502 501 501 501 498 488 488 487 486 486 455 445 444 443 417 400 399 388 387 374 373 370 360 358 358 357 356 343 330 317 315 302 299 271 269 260 259 259 256 245 242 230 229 214 212 212 202 202 202 202 174 155 143 131 129 128 128 117 115 115 114 103 101 83 74 74 74 58 46 30 26 16 13 872 815 815 785 775 773 771 759 757 744 744 744 744 743 741 741 728 718 716 686 684 676 643 642 640 631 630 629 629 629 619 616 613 599 588 587 583 573 572 545 514 512 503 502 501 501 501 498 488 488 487 486 486 455 445 444 443 417 400 399 388 387 374 373 370 360 358 358 357 356 343 330 317 315 302 299 271 269 260 259 259 256 245 242 230 229 214 212 212 202 202 202 202 174 155 143 131 129 128 128 117 115 115 114 103 101 83 74 74 74 58 46 30 26 16 13 883 826 826 796 786 784 782 770 768 755 755 755 755 754 752 752 739 729 727 697 695 687 654 653 651 642 641 640 640 640 630 627 624 610 599 598 594 584 583 556 525 523 514 513 512 512 512 509 499 499 498 497 497 466 456 455 454 428 411 410 399 398 385 384 381 371 369 369 368 367 354 341 328 326 313 310 282 280 271 270 270 267 256 253 241 240 225 223 223 213 213 213 213 185 166 154 142 140 139 139 128 126 126 125 114 112 94 85 85 85 69 57 41 37 27 24 11 11 885 828 828 798 788 786 784 772 770 757 757 757 757 756 754 754 741 731 729 699 697 689 656 655 653 644 643 642 642 642 632 629 626 612 601 600 596 586 585 558 527 525 516 515 514 514 514 511 501 501 500 499 499 468 458 457 456 430 413 412 401 400 387 386 383 373 371 371 370 369 356 343 330 328 315 312 284 282 273 272 272 269 258 255 243 242 227 225 225 215 215 215 215 187 168 156 144 142 141 141 130 128 128 127 116 114 96 87 87 87 71 59 43 39 29 26 13 13 2 886 829 829 799 789 787 785 773 771 758 758 758 758 757 755 755 742 732 730 700 698 690 657 656 654 645 644 643 643 643 633 630 627 613 602 601 597 587 586 559 528 526 517 516 515 515 515 512 502 502 501 500 500 469 459 458 457 431 414 413 402 401 388 387 384 374 372 372 371 370 357 344 331 329 316 313 285 283 274 273 273 270 259 256 244 243 228 226 226 216 216 216 216 188 169 157 145 143 142 142 131 129 129 128 117 115 97 88 88 88 72 60 44 40 30 27 14 14 3 1 899 842 842 812 802 800 798 786 784 771 771 771 771 770 768 768 755 745 743 713 711 703 670 669 667 658 657 656 656 656 646 643 640 626 615 614 610 600 599 572 541 539 530 529 528 528 528 525 515 515 514 513 513 482 472 471 470 444 427 426 415 414 401 400 397 387 385 385 384 383 370 357 344 342 329 326 298 296 287 286 286 283 272 269 257 256 241 239 239 229 229 229 229 201 182 170 158 156 155 155 144 142 142 141 130 128 110 101 101 101 85 73 57 53 43 40 27 27 16 14 13 900 843 843 813 803 801 799 787 785 772 772 772 772 771 769 769 756 746 744 714 712 704 671 670 668 659 658 657 657 657 647 644 641 627 616 615 611 601 600 573 542 540 531 530 529 529 529 526 516 516 515 514 514 483 473 472 471 445 428 427 416 415 402 401 398 388 386 386 385 384 371 358 345 343 330 327 299 297 288 287 287 284 273 270 258 257 242 240 240 230 230 230 230 202 183 171 159 157 156 156 145 143 143 142 131 129 111 102 102 102 86 74 58 54 44 41 28 28 17 15 14 1 902 845 845 815 805 803 801 789 787 774 774 774 774 773 771 771 758 748 746 716 714 706 673 672 670 661 660 659 659 659 649 646 643 629 618 617 613 603 602 575 544 542 533 532 531 531 531 528 518 518 517 516 516 485 475 474 473 447 430 429 418 417 404 403 400 390 388 388 387 386 373 360 347 345 332 329 301 299 290 289 289 286 275 272 260 259 244 242 242 232 232 232 232 204 185 173 161 159 158 158 147 145 145 144 133 131 113 104 104 104 88 76 60 56 46 43 30 30 19 17 16 3 2 913 856 856 826 816 814 812 800 798 785 785 785 785 784 782 782 769 759 757 727 725 717 684 683 681 672 671 670 670 670 660 657 654 640 629 628 624 614 613 586 555 553 544 543 542 542 542 539 529 529 528 527 527 496 486 485 484 458 441 440 429 428 415 414 411 401 399 399 398 397 384 371 358 356 343 340 312 310 301 300 300 297 286 283 271 270 255 253 253 243 243 243 243 215 196 184 172 170 169 169 158 156 156 155 144 142 124 115 115 115 99 87 71 67 57 54 41 41 30 28 27 14 13 11 913 856 856 826 816 814 812 800 798 785 785 785 785 784 782 782 769 759 757 727 725 717 684 683 681 672 671 670 670 670 660 657 654 640 629 628 624 614 613 586 555 553 544 543 542 542 542 539 529 529 528 527 527 496 486 485 484 458 441 440 429 428 415 414 411 401 399 399 398 397 384 371 358 356 343 340 312 310 301 300 300 297 286 283 271 270 255 253 253 243 243 243 243 215 196 184 172 170 169 169 158 156 156 155 144 142 124 115 115 115 99 87 71 67 57 54 41 41 30 28 27 14 13 11 926 869 869 839 829 827 825 813 811 798 798 798 798 797 795 795 782 772 770 740 738 730 697 696 694 685 684 683 683 683 673 670 667 653 642 641 637 627 626 599 568 566 557 556 555 555 555 552 542 542 541 540 540 509 499 498 497 471 454 453 442 441 428 427 424 414 412 412 411 410 397 384 371 369 356 353 325 323 314 313 313 310 299 296 284 283 268 266 266 256 256 256 256 228 209 197 185 183 182 182 171 169 169 168 157 155 137 128 128 128 112 100 84 80 70 67 54 54 43 41 40 27 26 24 13 13 929 872 872 842 832 830 828 816 814 801 801 801 801 800 798 798 785 775 773 743 741 733 700 699 697 688 687 686 686 686 676 673 670 656 645 644 640 630 629 602 571 569 560 559 558 558 558 555 545 545 544 543 543 512 502 501 500 474 457 456 445 444 431 430 427 417 415 415 414 413 400 387 374 372 359 356 328 326 317 316 316 313 302 299 287 286 271 269 269 259 259 259 259 231 212 200 188 186 185 185 174 172 172 171 160 158 140 131 131 131 115 103 87 83 73 70 57 57 46 44 43 30 29 27 16 16 3 939 882 882 852 842 840 838 826 824 811 811 811 811 810 808 808 795 785 783 753 751 743 710 709 707 698 697 696 696 696 686 683 680 666 655 654 650 640 639 612 581 579 570 569 568 568 568 565 555 555 554 553 553 522 512 511 510 484 467 466 455 454 441 440 437 427 425 425 424 423 410 397 384 382 369 366 338 336 327 326 326 323 312 309 297 296 281 279 279 269 269 269 269 241 222 210 198 196 195 195 184 182 182 181 170 168 150 141 141 141 125 113 97 93 83 80 67 67 56 54 53 40 39 37 26 26 13 10 943 886 886 856 846 844 842 830 828 815 815 815 815 814 812 812 799 789 787 757 755 747 714 713 711 702 701 700 700 700 690 687 684 670 659 658 654 644 643 616 585 583 574 573 572 572 572 569 559 559 558 557 557 526 516 515 514 488 471 470 459 458 445 444 441 431 429 429 428 427 414 401 388 386 373 370 342 340 331 330 330 327 316 313 301 300 285 283 283 273 273 273 273 245 226 214 202 200 199 199 188 186 186 185 174 172 154 145 145 145 129 117 101 97 87 84 71 71 60 58 57 44 43 41 30 30 17 14 4 959 902 902 872 862 860 858 846 844 831 831 831 831 830 828 828 815 805 803 773 771 763 730 729 727 718 717 716 716 716 706 703 700 686 675 674 670 660 659 632 601 599 590 589 588 588 588 585 575 575 574 573 573 542 532 531 530 504 487 486 475 474 461 460 457 447 445 445 444 443 430 417 404 402 389 386 358 356 347 346 346 343 332 329 317 316 301 299 299 289 289 289 289 261 242 230 218 216 215 215 204 202 202 201 190 188 170 161 161 161 145 133 117 113 103 100 87 87 76 74 73 60 59 57 46 46 33 30 20 16 971 914 914 884 874 872 870 858 856 843 843 843 843 842 840 840 827 817 815 785 783 775 742 741 739 730 729 728 728 728 718 715 712 698 687 686 682 672 671 644 613 611 602 601 600 600 600 597 587 587 586 585 585 554 544 543 542 516 499 498 487 486 473 472 469 459 457 457 456 455 442 429 416 414 401 398 370 368 359 358 358 355 344 341 329 328 313 311 311 301 301 301 301 273 254 242 230 228 227 227 216 214 214 213 202 200 182 173 173 173 157 145 129 125 115 112 99 99 88 86 85 72 71 69 58 58 45 42 32 28 12 987 930 930 900 890 888 886 874 872 859 859 859 859 858 856 856 843 833 831 801 799 791 758 757 755 746 745 744 744 744 734 731 728 714 703 702 698 688 687 660 629 627 618 617 616 616 616 613 603 603 602 601 601 570 560 559 558 532 515 514 503 502 489 488 485 475 473 473 472 471 458 445 432 430 417 414 386 384 375 374 374 371 360 357 345 344 329 327 327 317 317 317 317 289 270 258 246 244 243 243 232 230 230 229 218 216 198 189 189 189 173 161 145 141 131 128 115 115 104 102 101 88 87 85 74 74 61 58 48 44 28 16 987 930 930 900 890 888 886 874 872 859 859 859 859 858 856 856 843 833 831 801 799 791 758 757 755 746 745 744 744 744 734 731 728 714 703 702 698 688 687 660 629 627 618 617 616 616 616 613 603 603 602 601 601 570 560 559 558 532 515 514 503 502 489 488 485 475 473 473 472 471 458 445 432 430 417 414 386 384 375 374 374 371 360 357 345 344 329 327 327 317 317 317 317 289 270 258 246 244 243 243 232 230 230 229 218 216 198 189 189 189 173 161 145 141 131 128 115 115 104 102 101 88 87 85 74 74 61 58 48 44 28 16 987 930 930 900 890 888 886 874 872 859 859 859 859 858 856 856 843 833 831 801 799 791 758 757 755 746 745 744 744 744 734 731 728 714 703 702 698 688 687 660 629 627 618 617 616 616 616 613 603 603 602 601 601 570 560 559 558 532 515 514 503 502 489 488 485 475 473 473 472 471 458 445 432 430 417 414 386 384 375 374 374 371 360 357 345 344 329 327 327 317 317 317 317 289 270 258 246 244 243 243 232 230 230 229 218 216 198 189 189 189 173 161 145 141 131 128 115 115 104 102 101 88 87 85 74 74 61 58 48 44 28 16 996 939 939 909 899 897 895 883 881 868 868 868 868 867 865 865 852 842 840 810 808 800 767 766 764 755 754 753 753 753 743 740 737 723 712 711 707 697 696 669 638 636 627 626 625 625 625 622 612 612 611 610 610 579 569 568 567 541 524 523 512 511 498 497 494 484 482 482 481 480 467 454 441 439 426 423 395 393 384 383 383 380 369 366 354 353 338 336 336 326 326 326 326 298 279 267 255 253 252 252 241 239 239 238 227 225 207 198 198 198 182 170 154 150 140 137 124 124 113 111 110 97 96 94 83 83 70 67 57 53 37 25 9 9 9 1014 957 957 927 917 915 913 901 899 886 886 886 886 885 883 883 870 860 858 828 826 818 785 784 782 773 772 771 771 771 761 758 755 741 730 729 725 715 714 687 656 654 645 644 643 643 643 640 630 630 629 628 628 597 587 586 585 559 542 541 530 529 516 515 512 502 500 500 499 498 485 472 459 457 444 441 413 411 402 401 401 398 387 384 372 371 356 354 354 344 344 344 344 316 297 285 273 271 270 270 259 257 257 256 245 243 225 216 216 216 200 188 172 168 158 155 142 142 131 129 128 115 114 112 101 101 88 85 75 71 55 43 27 27 27 18 1016 959 959 929 919 917 915 903 901 888 888 888 888 887 885 885 872 862 860 830 828 820 787 786 784 775 774 773 773 773 763 760 757 743 732 731 727 717 716 689 658 656 647 646 645 645 645 642 632 632 631 630 630 599 589 588 587 561 544 543 532 531 518 517 514 504 502 502 501 500 487 474 461 459 446 443 415 413 404 403 403 400 389 386 374 373 358 356 356 346 346 346 346 318 299 287 275 273 272 272 261 259 259 258 247 245 227 218 218 218 202 190 174 170 160 157 144 144 133 131 130 117 116 114 103 103 90 87 77 73 57 45 29 29 29 20 2 1027 970 970 940 930 928 926 914 912 899 899 899 899 898 896 896 883 873 871 841 839 831 798 797 795 786 785 784 784 784 774 771 768 754 743 742 738 728 727 700 669 667 658 657 656 656 656 653 643 643 642 641 641 610 600 599 598 572 555 554 543 542 529 528 525 515 513 513 512 511 498 485 472 470 457 454 426 424 415 414 414 411 400 397 385 384 369 367 367 357 357 357 357 329 310 298 286 284 283 283 272 270 270 269 258 256 238 229 229 229 213 201 185 181 171 168 155 155 144 142 141 128 127 125 114 114 101 98 88 84 68 56 40 40 40 31 13 11 1028 971 971 941 931 929 927 915 913 900 900 900 900 899 897 897 884 874 872 842 840 832 799 798 796 787 786 785 785 785 775 772 769 755 744 743 739 729 728 701 670 668 659 658 657 657 657 654 644 644 643 642 642 611 601 600 599 573 556 555 544 543 530 529 526 516 514 514 513 512 499 486 473 471 458 455 427 425 416 415 415 412 401 398 386 385 370 368 368 358 358 358 358 330 311 299 287 285 284 284 273 271 271 270 259 257 239 230 230 230 214 202 186 182 172 169 156 156 145 143 142 129 128 126 115 115 102 99 89 85 69 57 41 41 41 32 14 12 1 1028 971 971 941 931 929 927 915 913 900 900 900 900 899 897 897 884 874 872 842 840 832 799 798 796 787 786 785 785 785 775 772 769 755 744 743 739 729 728 701 670 668 659 658 657 657 657 654 644 644 643 642 642 611 601 600 599 573 556 555 544 543 530 529 526 516 514 514 513 512 499 486 473 471 458 455 427 425 416 415 415 412 401 398 386 385 370 368 368 358 358 358 358 330 311 299 287 285 284 284 273 271 271 270 259 257 239 230 230 230 214 202 186 182 172 169 156 156 145 143 142 129 128 126 115 115 102 99 89 85 69 57 41 41 41 32 14 12 1 1030 973 973 943 933 931 929 917 915 902 902 902 902 901 899 899 886 876 874 844 842 834 801 800 798 789 788 787 787 787 777 774 771 757 746 745 741 731 730 703 672 670 661 660 659 659 659 656 646 646 645 644 644 613 603 602 601 575 558 557 546 545 532 531 528 518 516 516 515 514 501 488 475 473 460 457 429 427 418 417 417 414 403 400 388 387 372 370 370 360 360 360 360 332 313 301 289 287 286 286 275 273 273 272 261 259 241 232 232 232 216 204 188 184 174 171 158 158 147 145 144 131 130 128 117 117 104 101 91 87 71 59 43 43 43 34 16 14 3 2 2 1041 984 984 954 944 942 940 928 926 913 913 913 913 912 910 910 897 887 885 855 853 845 812 811 809 800 799 798 798 798 788 785 782 768 757 756 752 742 741 714 683 681 672 671 670 670 670 667 657 657 656 655 655 624 614 613 612 586 569 568 557 556 543 542 539 529 527 527 526 525 512 499 486 484 471 468 440 438 429 428 428 425 414 411 399 398 383 381 381 371 371 371 371 343 324 312 300 298 297 297 286 284 284 283 272 270 252 243 243 243 227 215 199 195 185 182 169 169 158 156 155 142 141 139 128 128 115 112 102 98 82 70 54 54 54 45 27 25 14 13 13 11 1041 984 984 954 944 942 940 928 926 913 913 913 913 912 910 910 897 887 885 855 853 845 812 811 809 800 799 798 798 798 788 785 782 768 757 756 752 742 741 714 683 681 672 671 670 670 670 667 657 657 656 655 655 624 614 613 612 586 569 568 557 556 543 542 539 529 527 527 526 525 512 499 486 484 471 468 440 438 429 428 428 425 414 411 399 398 383 381 381 371 371 371 371 343 324 312 300 298 297 297 286 284 284 283 272 270 252 243 243 243 227 215 199 195 185 182 169 169 158 156 155 142 141 139 128 128 115 112 102 98 82 70 54 54 54 45 27 25 14 13 13 11 1042 985 985 955 945 943 941 929 927 914 914 914 914 913 911 911 898 888 886 856 854 846 813 812 810 801 800 799 799 799 789 786 783 769 758 757 753 743 742 715 684 682 673 672 671 671 671 668 658 658 657 656 656 625 615 614 613 587 570 569 558 557 544 543 540 530 528 528 527 526 513 500 487 485 472 469 441 439 430 429 429 426 415 412 400 399 384 382 382 372 372 372 372 344 325 313 301 299 298 298 287 285 285 284 273 271 253 244 244 244 228 216 200 196 186 183 170 170 159 157 156 143 142 140 129 129 116 113 103 99 83 71 55 55 55 46 28 26 15 14 14 12 1 1 1044 987 987 957 947 945 943 931 929 916 916 916 916 915 913 913 900 890 888 858 856 848 815 814 812 803 802 801 801 801 791 788 785 771 760 759 755 745 744 717 686 684 675 674 673 673 673 670 660 660 659 658 658 627 617 616 615 589 572 571 560 559 546 545 542 532 530 530 529 528 515 502 489 487 474 471 443 441 432 431 431 428 417 414 402 401 386 384 384 374 374 374 374 346 327 315 303 301 300 300 289 287 287 286 275 273 255 246 246 246 230 218 202 198 188 185 172 172 161 159 158 145 144 142 131 131 118 115 105 101 85 73 57 57 57 48 30 28 17 16 16 14 3 3 2 1056 999 999 969 959 957 955 943 941 928 928 928 928 927 925 925 912 902 900 870 868 860 827 826 824 815 814 813 813 813 803 800 797 783 772 771 767 757 756 729 698 696 687 686 685 685 685 682 672 672 671 670 670 639 629 628 627 601 584 583 572 571 558 557 554 544 542 542 541 540 527 514 501 499 486 483 455 453 444 443 443 440 429 426 414 413 398 396 396 386 386 386 386 358 339 327 315 313 312 312 301 299 299 298 287 285 267 258 258 258 242 230 214 210 200 197 184 184 173 171 170 157 156 154 143 143 130 127 117 113 97 85 69 69 69 60 42 40 29 28 28 26 15 15 14 12 1068 1011 1011 981 971 969 967 955 953 940 940 940 940 939 937 937 924 914 912 882 880 872 839 838 836 827 826 825 825 825 815 812 809 795 784 783 779 769 768 741 710 708 699 698 697 697 697 694 684 684 683 682 682 651 641 640 639 613 596 595 584 583 570 569 566 556 554 554 553 552 539 526 513 511 498 495 467 465 456 455 455 452 441 438 426 425 410 408 408 398 398 398 398 370 351 339 327 325 324 324 313 311 311 310 299 297 279 270 270 270 254 242 226 222 212 209 196 196 185 183 182 169 168 166 155 155 142 139 129 125 109 97 81 81 81 72 54 52 41 40 40 38 27 27 26 24 12 1087 1030 1030 1000 990 988 986 974 972 959 959 959 959 958 956 956 943 933 931 901 899 891 858 857 855 846 845 844 844 844 834 831 828 814 803 802 798 788 787 760 729 727 718 717 716 716 716 713 703 703 702 701 701 670 660 659 658 632 615 614 603 602 589 588 585 575 573 573 572 571 558 545 532 530 517 514 486 484 475 474 474 471 460 457 445 444 429 427 427 417 417 417 417 389 370 358 346 344 343 343 332 330 330 329 318 316 298 289 289 289 273 261 245 241 231 228 215 215 204 202 201 188 187 185 174 174 161 158 148 144 128 116 100 100 100 91 73 71 60 59 59 57 46 46 45 43 31 19 1115 1058 1058 1028 1018 1016 1014 1002 1000 987 987 987 987 986 984 984 971 961 959 929 927 919 886 885 883 874 873 872 872 872 862 859 856 842 831 830 826 816 815 788 757 755 746 745 744 744 744 741 731 731 730 729 729 698 688 687 686 660 643 642 631 630 617 616 613 603 601 601 600 599 586 573 560 558 545 542 514 512 503 502 502 499 488 485 473 472 457 455 455 445 445 445 445 417 398 386 374 372 371 371 360 358 358 357 346 344 326 317 317 317 301 289 273 269 259 256 243 243 232 230 229 216 215 213 202 202 189 186 176 172 156 144 128 128 128 119 101 99 88 87 87 85 74 74 73 71 59 47 28 1115 1058 1058 1028 1018 1016 1014 1002 1000 987 987 987 987 986 984 984 971 961 959 929 927 919 886 885 883 874 873 872 872 872 862 859 856 842 831 830 826 816 815 788 757 755 746 745 744 744 744 741 731 731 730 729 729 698 688 687 686 660 643 642 631 630 617 616 613 603 601 601 600 599 586 573 560 558 545 542 514 512 503 502 502 499 488 485 473 472 457 455 455 445 445 445 445 417 398 386 374 372 371 371 360 358 358 357 346 344 326 317 317 317 301 289 273 269 259 256 243 243 232 230 229 216 215 213 202 202 189 186 176 172 156 144 128 128 128 119 101 99 88 87 87 85 74 74 73 71 59 47 28 1115 1058 1058 1028 1018 1016 1014 1002 1000 987 987 987 987 986 984 984 971 961 959 929 927 919 886 885 883 874 873 872 872 872 862 859 856 842 831 830 826 816 815 788 757 755 746 745 744 744 744 741 731 731 730 729 729 698 688 687 686 660 643 642 631 630 617 616 613 603 601 601 600 599 586 573 560 558 545 542 514 512 503 502 502 499 488 485 473 472 457 455 455 445 445 445 445 417 398 386 374 372 371 371 360 358 358 357 346 344 326 317 317 317 301 289 273 269 259 256 243 243 232 230 229 216 215 213 202 202 189 186 176 172 156 144 128 128 128 119 101 99 88 87 87 85 74 74 73 71 59 47 28 1115 1058 1058 1028 1018 1016 1014 1002 1000 987 987 987 987 986 984 984 971 961 959 929 927 919 886 885 883 874 873 872 872 872 862 859 856 842 831 830 826 816 815 788 757 755 746 745 744 744 744 741 731 731 730 729 729 698 688 687 686 660 643 642 631 630 617 616 613 603 601 601 600 599 586 573 560 558 545 542 514 512 503 502 502 499 488 485 473 472 457 455 455 445 445 445 445 417 398 386 374 372 371 371 360 358 358 357 346 344 326 317 317 317 301 289 273 269 259 256 243 243 232 230 229 216 215 213 202 202 189 186 176 172 156 144 128 128 128 119 101 99 88 87 87 85 74 74 73 71 59 47 28 1125 1068 1068 1038 1028 1026 1024 1012 1010 997 997 997 997 996 994 994 981 971 969 939 937 929 896 895 893 884 883 882 882 882 872 869 866 852 841 840 836 826 825 798 767 765 756 755 754 754 754 751 741 741 740 739 739 708 698 697 696 670 653 652 641 640 627 626 623 613 611 611 610 609 596 583 570 568 555 552 524 522 513 512 512 509 498 495 483 482 467 465 465 455 455 455 455 427 408 396 384 382 381 381 370 368 368 367 356 354 336 327 327 327 311 299 283 279 269 266 253 253 242 240 239 226 225 223 212 212 199 196 186 182 166 154 138 138 138 129 111 109 98 97 97 95 84 84 83 81 69 57 38 10 10 10 10 1125 1068 1068 1038 1028 1026 1024 1012 1010 997 997 997 997 996 994 994 981 971 969 939 937 929 896 895 893 884 883 882 882 882 872 869 866 852 841 840 836 826 825 798 767 765 756 755 754 754 754 751 741 741 740 739 739 708 698 697 696 670 653 652 641 640 627 626 623 613 611 611 610 609 596 583 570 568 555 552 524 522 513 512 512 509 498 495 483 482 467 465 465 455 455 455 455 427 408 396 384 382 381 381 370 368 368 367 356 354 336 327 327 327 311 299 283 279 269 266 253 253 242 240 239 226 225 223 212 212 199 196 186 182 166 154 138 138 138 129 111 109 98 97 97 95 84 84 83 81 69 57 38 10 10 10 10 1127 1070 1070 1040 1030 1028 1026 1014 1012 999 999 999 999 998 996 996 983 973 971 941 939 931 898 897 895 886 885 884 884 884 874 871 868 854 843 842 838 828 827 800 769 767 758 757 756 756 756 753 743 743 742 741 741 710 700 699 698 672 655 654 643 642 629 628 625 615 613 613 612 611 598 585 572 570 557 554 526 524 515 514 514 511 500 497 485 484 469 467 467 457 457 457 457 429 410 398 386 384 383 383 372 370 370 369 358 356 338 329 329 329 313 301 285 281 271 268 255 255 244 242 241 228 227 225 214 214 201 198 188 184 168 156 140 140 140 131 113 111 100 99 99 97 86 86 85 83 71 59 40 12 12 12 12 2 2 1142 1085 1085 1055 1045 1043 1041 1029 1027 1014 1014 1014 1014 1013 1011 1011 998 988 986 956 954 946 913 912 910 901 900 899 899 899 889 886 883 869 858 857 853 843 842 815 784 782 773 772 771 771 771 768 758 758 757 756 756 725 715 714 713 687 670 669 658 657 644 643 640 630 628 628 627 626 613 600 587 585 572 569 541 539 530 529 529 526 515 512 500 499 484 482 482 472 472 472 472 444 425 413 401 399 398 398 387 385 385 384 373 371 353 344 344 344 328 316 300 296 286 283 270 270 259 257 256 243 242 240 229 229 216 213 203 199 183 171 155 155 155 146 128 126 115 114 114 112 101 101 100 98 86 74 55 27 27 27 27 17 17 15 1143 1086 1086 1056 1046 1044 1042 1030 1028 1015 1015 1015 1015 1014 1012 1012 999 989 987 957 955 947 914 913 911 902 901 900 900 900 890 887 884 870 859 858 854 844 843 816 785 783 774 773 772 772 772 769 759 759 758 757 757 726 716 715 714 688 671 670 659 658 645 644 641 631 629 629 628 627 614 601 588 586 573 570 542 540 531 530 530 527 516 513 501 500 485 483 483 473 473 473 473 445 426 414 402 400 399 399 388 386 386 385 374 372 354 345 345 345 329 317 301 297 287 284 271 271 260 258 257 244 243 241 230 230 217 214 204 200 184 172 156 156 156 147 129 127 116 115 115 113 102 102 101 99 87 75 56 28 28 28 28 18 18 16 1 1155 1098 1098 1068 1058 1056 1054 1042 1040 1027 1027 1027 1027 1026 1024 1024 1011 1001 999 969 967 959 926 925 923 914 913 912 912 912 902 899 896 882 871 870 866 856 855 828 797 795 786 785 784 784 784 781 771 771 770 769 769 738 728 727 726 700 683 682 671 670 657 656 653 643 641 641 640 639 626 613 600 598 585 582 554 552 543 542 542 539 528 525 513 512 497 495 495 485 485 485 485 457 438 426 414 412 411 411 400 398 398 397 386 384 366 357 357 357 341 329 313 309 299 296 283 283 272 270 269 256 255 253 242 242 229 226 216 212 196 184 168 168 168 159 141 139 128 127 127 125 114 114 113 111 99 87 68 40 40 40 40 30 30 28 13 12 1158 1101 1101 1071 1061 1059 1057 1045 1043 1030 1030 1030 1030 1029 1027 1027 1014 1004 1002 972 970 962 929 928 926 917 916 915 915 915 905 902 899 885 874 873 869 859 858 831 800 798 789 788 787 787 787 784 774 774 773 772 772 741 731 730 729 703 686 685 674 673 660 659 656 646 644 644 643 642 629 616 603 601 588 585 557 555 546 545 545 542 531 528 516 515 500 498 498 488 488 488 488 460 441 429 417 415 414 414 403 401 401 400 389 387 369 360 360 360 344 332 316 312 302 299 286 286 275 273 272 259 258 256 245 245 232 229 219 215 199 187 171 171 171 162 144 142 131 130 130 128 117 117 116 114 102 90 71 43 43 43 43 33 33 31 16 15 3 1169 1112 1112 1082 1072 1070 1068 1056 1054 1041 1041 1041 1041 1040 1038 1038 1025 1015 1013 983 981 973 940 939 937 928 927 926 926 926 916 913 910 896 885 884 880 870 869 842 811 809 800 799 798 798 798 795 785 785 784 783 783 752 742 741 740 714 697 696 685 684 671 670 667 657 655 655 654 653 640 627 614 612 599 596 568 566 557 556 556 553 542 539 527 526 511 509 509 499 499 499 499 471 452 440 428 426 425 425 414 412 412 411 400 398 380 371 371 371 355 343 327 323 313 310 297 297 286 284 283 270 269 267 256 256 243 240 230 226 210 198 182 182 182 173 155 153 142 141 141 139 128 128 127 125 113 101 82 54 54 54 54 44 44 42 27 26 14 11 1172 1115 1115 1085 1075 1073 1071 1059 1057 1044 1044 1044 1044 1043 1041 1041 1028 1018 1016 986 984 976 943 942 940 931 930 929 929 929 919 916 913 899 888 887 883 873 872 845 814 812 803 802 801 801 801 798 788 788 787 786 786 755 745 744 743 717 700 699 688 687 674 673 670 660 658 658 657 656 643 630 617 615 602 599 571 569 560 559 559 556 545 542 530 529 514 512 512 502 502 502 502 474 455 443 431 429 428 428 417 415 415 414 403 401 383 374 374 374 358 346 330 326 316 313 300 300 289 287 286 273 272 270 259 259 246 243 233 229 213 201 185 185 185 176 158 156 145 144 144 142 131 131 130 128 116 104 85 57 57 57 57 47 47 45 30 29 17 14 3 1172 1115 1115 1085 1075 1073 1071 1059 1057 1044 1044 1044 1044 1043 1041 1041 1028 1018 1016 986 984 976 943 942 940 931 930 929 929 929 919 916 913 899 888 887 883 873 872 845 814 812 803 802 801 801 801 798 788 788 787 786 786 755 745 744 743 717 700 699 688 687 674 673 670 660 658 658 657 656 643 630 617 615 602 599 571 569 560 559 559 556 545 542 530 529 514 512 512 502 502 502 502 474 455 443 431 429 428 428 417 415 415 414 403 401 383 374 374 374 358 346 330 326 316 313 300 300 289 287 286 273 272 270 259 259 246 243 233 229 213 201 185 185 185 176 158 156 145 144 144 142 131 131 130 128 116 104 85 57 57 57 57 47 47 45 30 29 17 14 3 1173 1116 1116 1086 1076 1074 1072 1060 1058 1045 1045 1045 1045 1044 1042 1042 1029 1019 1017 987 985 977 944 943 941 932 931 930 930 930 920 917 914 900 889 888 884 874 873 846 815 813 804 803 802 802 802 799 789 789 788 787 787 756 746 745 744 718 701 700 689 688 675 674 671 661 659 659 658 657 644 631 618 616 603 600 572 570 561 560 560 557 546 543 531 530 515 513 513 503 503 503 503 475 456 444 432 430 429 429 418 416 416 415 404 402 384 375 375 375 359 347 331 327 317 314 301 301 290 288 287 274 273 271 260 260 247 244 234 230 214 202 186 186 186 177 159 157 146 145 145 143 132 132 131 129 117 105 86 58 58 58 58 48 48 46 31 30 18 15 4 1 1 1182 1125 1125 1095 1085 1083 1081 1069 1067 1054 1054 1054 1054 1053 1051 1051 1038 1028 1026 996 994 986 953 952 950 941 940 939 939 939 929 926 923 909 898 897 893 883 882 855 824 822 813 812 811 811 811 808 798 798 797 796 796 765 755 754 753 727 710 709 698 697 684 683 680 670 668 668 667 666 653 640 627 625 612 609 581 579 570 569 569 566 555 552 540 539 524 522 522 512 512 512 512 484 465 453 441 439 438 438 427 425 425 424 413 411 393 384 384 384 368 356 340 336 326 323 310 310 299 297 296 283 282 280 269 269 256 253 243 239 223 211 195 195 195 186 168 166 155 154 154 152 141 141 140 138 126 114 95 67 67 67 67 57 57 55 40 39 27 24 13 10 10 9 1184 1127 1127 1097 1087 1085 1083 1071 1069 1056 1056 1056 1056 1055 1053 1053 1040 1030 1028 998 996 988 955 954 952 943 942 941 941 941 931 928 925 911 900 899 895 885 884 857 826 824 815 814 813 813 813 810 800 800 799 798 798 767 757 756 755 729 712 711 700 699 686 685 682 672 670 670 669 668 655 642 629 627 614 611 583 581 572 571 571 568 557 554 542 541 526 524 524 514 514 514 514 486 467 455 443 441 440 440 429 427 427 426 415 413 395 386 386 386 370 358 342 338 328 325 312 312 301 299 298 285 284 282 271 271 258 255 245 241 225 213 197 197 197 188 170 168 157 156 156 154 143 143 142 140 128 116 97 69 69 69 69 59 59 57 42 41 29 26 15 12 12 11 2 1212 1155 1155 1125 1115 1113 1111 1099 1097 1084 1084 1084 1084 1083 1081 1081 1068 1058 1056 1026 1024 1016 983 982 980 971 970 969 969 969 959 956 953 939 928 927 923 913 912 885 854 852 843 842 841 841 841 838 828 828 827 826 826 795 785 784 783 757 740 739 728 727 714 713 710 700 698 698 697 696 683 670 657 655 642 639 611 609 600 599 599 596 585 582 570 569 554 552 552 542 542 542 542 514 495 483 471 469 468 468 457 455 455 454 443 441 423 414 414 414 398 386 370 366 356 353 340 340 329 327 326 313 312 310 299 299 286 283 273 269 253 241 225 225 225 216 198 196 185 184 184 182 171 171 170 168 156 144 125 97 97 97 97 87 87 85 70 69 57 54 43 40 40 39 30 28 1215 1158 1158 1128 1118 1116 1114 1102 1100 1087 1087 1087 1087 1086 1084 1084 1071 1061 1059 1029 1027 1019 986 985 983 974 973 972 972 972 962 959 956 942 931 930 926 916 915 888 857 855 846 845 844 844 844 841 831 831 830 829 829 798 788 787 786 760 743 742 731 730 717 716 713 703 701 701 700 699 686 673 660 658 645 642 614 612 603 602 602 599 588 585 573 572 557 555 555 545 545 545 545 517 498 486 474 472 471 471 460 458 458 457 446 444 426 417 417 417 401 389 373 369 359 356 343 343 332 330 329 316 315 313 302 302 289 286 276 272 256 244 228 228 228 219 201 199 188 187 187 185 174 174 173 171 159 147 128 100 100 100 100 90 90 88 73 72 60 57 46 43 43 42 33 31 3 1228 1171 1171 1141 1131 1129 1127 1115 1113 1100 1100 1100 1100 1099 1097 1097 1084 1074 1072 1042 1040 1032 999 998 996 987 986 985 985 985 975 972 969 955 944 943 939 929 928 901 870 868 859 858 857 857 857 854 844 844 843 842 842 811 801 800 799 773 756 755 744 743 730 729 726 716 714 714 713 712 699 686 673 671 658 655 627 625 616 615 615 612 601 598 586 585 570 568 568 558 558 558 558 530 511 499 487 485 484 484 473 471 471 470 459 457 439 430 430 430 414 402 386 382 372 369 356 356 345 343 342 329 328 326 315 315 302 299 289 285 269 257 241 241 241 232 214 212 201 200 200 198 187 187 186 184 172 160 141 113 113 113 113 103 103 101 86 85 73 70 59 56 56 55 46 44 16 13 1230 1173 1173 1143 1133 1131 1129 1117 1115 1102 1102 1102 1102 1101 1099 1099 1086 1076 1074 1044 1042 1034 1001 1000 998 989 988 987 987 987 977 974 971 957 946 945 941 931 930 903 872 870 861 860 859 859 859 856 846 846 845 844 844 813 803 802 801 775 758 757 746 745 732 731 728 718 716 716 715 714 701 688 675 673 660 657 629 627 618 617 617 614 603 600 588 587 572 570 570 560 560 560 560 532 513 501 489 487 486 486 475 473 473 472 461 459 441 432 432 432 416 404 388 384 374 371 358 358 347 345 344 331 330 328 317 317 304 301 291 287 271 259 243 243 243 234 216 214 203 202 202 200 189 189 188 186 174 162 143 115 115 115 115 105 105 103 88 87 75 72 61 58 58 57 48 46 18 15 2 1243 1186 1186 1156 1146 1144 1142 1130 1128 1115 1115 1115 1115 1114 1112 1112 1099 1089 1087 1057 1055 1047 1014 1013 1011 1002 1001 1000 1000 1000 990 987 984 970 959 958 954 944 943 916 885 883 874 873 872 872 872 869 859 859 858 857 857 826 816 815 814 788 771 770 759 758 745 744 741 731 729 729 728 727 714 701 688 686 673 670 642 640 631 630 630 627 616 613 601 600 585 583 583 573 573 573 573 545 526 514 502 500 499 499 488 486 486 485 474 472 454 445 445 445 429 417 401 397 387 384 371 371 360 358 357 344 343 341 330 330 317 314 304 300 284 272 256 256 256 247 229 227 216 215 215 213 202 202 201 199 187 175 156 128 128 128 128 118 118 116 101 100 88 85 74 71 71 70 61 59 31 28 15 13 1256 1199 1199 1169 1159 1157 1155 1143 1141 1128 1128 1128 1128 1127 1125 1125 1112 1102 1100 1070 1068 1060 1027 1026 1024 1015 1014 1013 1013 1013 1003 1000 997 983 972 971 967 957 956 929 898 896 887 886 885 885 885 882 872 872 871 870 870 839 829 828 827 801 784 783 772 771 758 757 754 744 742 742 741 740 727 714 701 699 686 683 655 653 644 643 643 640 629 626 614 613 598 596 596 586 586 586 586 558 539 527 515 513 512 512 501 499 499 498 487 485 467 458 458 458 442 430 414 410 400 397 384 384 373 371 370 357 356 354 343 343 330 327 317 313 297 285 269 269 269 260 242 240 229 228 228 226 215 215 214 212 200 188 169 141 141 141 141 131 131 129 114 113 101 98 87 84 84 83 74 72 44 41 28 26 13 1269 1212 1212 1182 1172 1170 1168 1156 1154 1141 1141 1141 1141 1140 1138 1138 1125 1115 1113 1083 1081 1073 1040 1039 1037 1028 1027 1026 1026 1026 1016 1013 1010 996 985 984 980 970 969 942 911 909 900 899 898 898 898 895 885 885 884 883 883 852 842 841 840 814 797 796 785 784 771 770 767 757 755 755 754 753 740 727 714 712 699 696 668 666 657 656 656 653 642 639 627 626 611 609 609 599 599 599 599 571 552 540 528 526 525 525 514 512 512 511 500 498 480 471 471 471 455 443 427 423 413 410 397 397 386 384 383 370 369 367 356 356 343 340 330 326 310 298 282 282 282 273 255 253 242 241 241 239 228 228 227 225 213 201 182 154 154 154 154 144 144 142 127 126 114 111 100 97 97 96 87 85 57 54 41 39 26 13 1270 1213 1213 1183 1173 1171 1169 1157 1155 1142 1142 1142 1142 1141 1139 1139 1126 1116 1114 1084 1082 1074 1041 1040 1038 1029 1028 1027 1027 1027 1017 1014 1011 997 986 985 981 971 970 943 912 910 901 900 899 899 899 896 886 886 885 884 884 853 843 842 841 815 798 797 786 785 772 771 768 758 756 756 755 754 741 728 715 713 700 697 669 667 658 657 657 654 643 640 628 627 612 610 610 600 600 600 600 572 553 541 529 527 526 526 515 513 513 512 501 499 481 472 472 472 456 444 428 424 414 411 398 398 387 385 384 371 370 368 357 357 344 341 331 327 311 299 283 283 283 274 256 254 243 242 242 240 229 229 228 226 214 202 183 155 155 155 155 145 145 143 128 127 115 112 101 98 98 97 88 86 58 55 42 40 27 14 1 1271 1214 1214 1184 1174 1172 1170 1158 1156 1143 1143 1143 1143 1142 1140 1140 1127 1117 1115 1085 1083 1075 1042 1041 1039 1030 1029 1028 1028 1028 1018 1015 1012 998 987 986 982 972 971 944 913 911 902 901 900 900 900 897 887 887 886 885 885 854 844 843 842 816 799 798 787 786 773 772 769 759 757 757 756 755 742 729 716 714 701 698 670 668 659 658 658 655 644 641 629 628 613 611 611 601 601 601 601 573 554 542 530 528 527 527 516 514 514 513 502 500 482 473 473 473 457 445 429 425 415 412 399 399 388 386 385 372 371 369 358 358 345 342 332 328 312 300 284 284 284 275 257 255 244 243 243 241 230 230 229 227 215 203 184 156 156 156 156 146 146 144 129 128 116 113 102 99 99 98 89 87 59 56 43 41 28 15 2 1 1271 1214 1214 1184 1174 1172 1170 1158 1156 1143 1143 1143 1143 1142 1140 1140 1127 1117 1115 1085 1083 1075 1042 1041 1039 1030 1029 1028 1028 1028 1018 1015 1012 998 987 986 982 972 971 944 913 911 902 901 900 900 900 897 887 887 886 885 885 854 844 843 842 816 799 798 787 786 773 772 769 759 757 757 756 755 742 729 716 714 701 698 670 668 659 658 658 655 644 641 629 628 613 611 611 601 601 601 601 573 554 542 530 528 527 527 516 514 514 513 502 500 482 473 473 473 457 445 429 425 415 412 399 399 388 386 385 372 371 369 358 358 345 342 332 328 312 300 284 284 284 275 257 255 244 243 243 241 230 230 229 227 215 203 184 156 156 156 156 146 146 144 129 128 116 113 102 99 99 98 89 87 59 56 43 41 28 15 2 1 1273 1216 1216 1186 1176 1174 1172 1160 1158 1145 1145 1145 1145 1144 1142 1142 1129 1119 1117 1087 1085 1077 1044 1043 1041 1032 1031 1030 1030 1030 1020 1017 1014 1000 989 988 984 974 973 946 915 913 904 903 902 902 902 899 889 889 888 887 887 856 846 845 844 818 801 800 789 788 775 774 771 761 759 759 758 757 744 731 718 716 703 700 672 670 661 660 660 657 646 643 631 630 615 613 613 603 603 603 603 575 556 544 532 530 529 529 518 516 516 515 504 502 484 475 475 475 459 447 431 427 417 414 401 401 390 388 387 374 373 371 360 360 347 344 334 330 314 302 286 286 286 277 259 257 246 245 245 243 232 232 231 229 217 205 186 158 158 158 158 148 148 146 131 130 118 115 104 101 101 100 91 89 61 58 45 43 30 17 4 3 2 2 1283 1226 1226 1196 1186 1184 1182 1170 1168 1155 1155 1155 1155 1154 1152 1152 1139 1129 1127 1097 1095 1087 1054 1053 1051 1042 1041 1040 1040 1040 1030 1027 1024 1010 999 998 994 984 983 956 925 923 914 913 912 912 912 909 899 899 898 897 897 866 856 855 854 828 811 810 799 798 785 784 781 771 769 769 768 767 754 741 728 726 713 710 682 680 671 670 670 667 656 653 641 640 625 623 623 613 613 613 613 585 566 554 542 540 539 539 528 526 526 525 514 512 494 485 485 485 469 457 441 437 427 424 411 411 400 398 397 384 383 381 370 370 357 354 344 340 324 312 296 296 296 287 269 267 256 255 255 253 242 242 241 239 227 215 196 168 168 168 168 158 158 156 141 140 128 125 114 111 111 110 101 99 71 68 55 53 40 27 14 13 12 12 10 1286 1229 1229 1199 1189 1187 1185 1173 1171 1158 1158 1158 1158 1157 1155 1155 1142 1132 1130 1100 1098 1090 1057 1056 1054 1045 1044 1043 1043 1043 1033 1030 1027 1013 1002 1001 997 987 986 959 928 926 917 916 915 915 915 912 902 902 901 900 900 869 859 858 857 831 814 813 802 801 788 787 784 774 772 772 771 770 757 744 731 729 716 713 685 683 674 673 673 670 659 656 644 643 628 626 626 616 616 616 616 588 569 557 545 543 542 542 531 529 529 528 517 515 497 488 488 488 472 460 444 440 430 427 414 414 403 401 400 387 386 384 373 373 360 357 347 343 327 315 299 299 299 290 272 270 259 258 258 256 245 245 244 242 230 218 199 171 171 171 171 161 161 159 144 143 131 128 117 114 114 113 104 102 74 71 58 56 43 30 17 16 15 15 13 3 1287 1230 1230 1200 1190 1188 1186 1174 1172 1159 1159 1159 1159 1158 1156 1156 1143 1133 1131 1101 1099 1091 1058 1057 1055 1046 1045 1044 1044 1044 1034 1031 1028 1014 1003 1002 998 988 987 960 929 927 918 917 916 916 916 913 903 903 902 901 901 870 860 859 858 832 815 814 803 802 789 788 785 775 773 773 772 771 758 745 732 730 717 714 686 684 675 674 674 671 660 657 645 644 629 627 627 617 617 617 617 589 570 558 546 544 543 543 532 530 530 529 518 516 498 489 489 489 473 461 445 441 431 428 415 415 404 402 401 388 387 385 374 374 361 358 348 344 328 316 300 300 300 291 273 271 260 259 259 257 246 246 245 243 231 219 200 172 172 172 172 162 162 160 145 144 132 129 118 115 115 114 105 103 75 72 59 57 44 31 18 17 16 16 14 4 1 1300 1243 1243 1213 1203 1201 1199 1187 1185 1172 1172 1172 1172 1171 1169 1169 1156 1146 1144 1114 1112 1104 1071 1070 1068 1059 1058 1057 1057 1057 1047 1044 1041 1027 1016 1015 1011 1001 1000 973 942 940 931 930 929 929 929 926 916 916 915 914 914 883 873 872 871 845 828 827 816 815 802 801 798 788 786 786 785 784 771 758 745 743 730 727 699 697 688 687 687 684 673 670 658 657 642 640 640 630 630 630 630 602 583 571 559 557 556 556 545 543 543 542 531 529 511 502 502 502 486 474 458 454 444 441 428 428 417 415 414 401 400 398 387 387 374 371 361 357 341 329 313 313 313 304 286 284 273 272 272 270 259 259 258 256 244 232 213 185 185 185 185 175 175 173 158 157 145 142 131 128 128 127 118 116 88 85 72 70 57 44 31 30 29 29 27 17 14 13 1301 1244 1244 1214 1204 1202 1200 1188 1186 1173 1173 1173 1173 1172 1170 1170 1157 1147 1145 1115 1113 1105 1072 1071 1069 1060 1059 1058 1058 1058 1048 1045 1042 1028 1017 1016 1012 1002 1001 974 943 941 932 931 930 930 930 927 917 917 916 915 915 884 874 873 872 846 829 828 817 816 803 802 799 789 787 787 786 785 772 759 746 744 731 728 700 698 689 688 688 685 674 671 659 658 643 641 641 631 631 631 631 603 584 572 560 558 557 557 546 544 544 543 532 530 512 503 503 503 487 475 459 455 445 442 429 429 418 416 415 402 401 399 388 388 375 372 362 358 342 330 314 314 314 305 287 285 274 273 273 271 260 260 259 257 245 233 214 186 186 186 186 176 176 174 159 158 146 143 132 129 129 128 119 117 89 86 73 71 58 45 32 31 30 30 28 18 15 14 1 1312 1255 1255 1225 1215 1213 1211 1199 1197 1184 1184 1184 1184 1183 1181 1181 1168 1158 1156 1126 1124 1116 1083 1082 1080 1071 1070 1069 1069 1069 1059 1056 1053 1039 1028 1027 1023 1013 1012 985 954 952 943 942 941 941 941 938 928 928 927 926 926 895 885 884 883 857 840 839 828 827 814 813 810 800 798 798 797 796 783 770 757 755 742 739 711 709 700 699 699 696 685 682 670 669 654 652 652 642 642 642 642 614 595 583 571 569 568 568 557 555 555 554 543 541 523 514 514 514 498 486 470 466 456 453 440 440 429 427 426 413 412 410 399 399 386 383 373 369 353 341 325 325 325 316 298 296 285 284 284 282 271 271 270 268 256 244 225 197 197 197 197 187 187 185 170 169 157 154 143 140 140 139 130 128 100 97 84 82 69 56 43 42 41 41 39 29 26 25 12 11 1313 1256 1256 1226 1216 1214 1212 1200 1198 1185 1185 1185 1185 1184 1182 1182 1169 1159 1157 1127 1125 1117 1084 1083 1081 1072 1071 1070 1070 1070 1060 1057 1054 1040 1029 1028 1024 1014 1013 986 955 953 944 943 942 942 942 939 929 929 928 927 927 896 886 885 884 858 841 840 829 828 815 814 811 801 799 799 798 797 784 771 758 756 743 740 712 710 701 700 700 697 686 683 671 670 655 653 653 643 643 643 643 615 596 584 572 570 569 569 558 556 556 555 544 542 524 515 515 515 499 487 471 467 457 454 441 441 430 428 427 414 413 411 400 400 387 384 374 370 354 342 326 326 326 317 299 297 286 285 285 283 272 272 271 269 257 245 226 198 198 198 198 188 188 186 171 170 158 155 144 141 141 140 131 129 101 98 85 83 70 57 44 43 42 42 40 30 27 26 13 12 1 1330 1273 1273 1243 1233 1231 1229 1217 1215 1202 1202 1202 1202 1201 1199 1199 1186 1176 1174 1144 1142 1134 1101 1100 1098 1089 1088 1087 1087 1087 1077 1074 1071 1057 1046 1045 1041 1031 1030 1003 972 970 961 960 959 959 959 956 946 946 945 944 944 913 903 902 901 875 858 857 846 845 832 831 828 818 816 816 815 814 801 788 775 773 760 757 729 727 718 717 717 714 703 700 688 687 672 670 670 660 660 660 660 632 613 601 589 587 586 586 575 573 573 572 561 559 541 532 532 532 516 504 488 484 474 471 458 458 447 445 444 431 430 428 417 417 404 401 391 387 371 359 343 343 343 334 316 314 303 302 302 300 289 289 288 286 274 262 243 215 215 215 215 205 205 203 188 187 175 172 161 158 158 157 148 146 118 115 102 100 87 74 61 60 59 59 57 47 44 43 30 29 18 17 1356 1299 1299 1269 1259 1257 1255 1243 1241 1228 1228 1228 1228 1227 1225 1225 1212 1202 1200 1170 1168 1160 1127 1126 1124 1115 1114 1113 1113 1113 1103 1100 1097 1083 1072 1071 1067 1057 1056 1029 998 996 987 986 985 985 985 982 972 972 971 970 970 939 929 928 927 901 884 883 872 871 858 857 854 844 842 842 841 840 827 814 801 799 786 783 755 753 744 743 743 740 729 726 714 713 698 696 696 686 686 686 686 658 639 627 615 613 612 612 601 599 599 598 587 585 567 558 558 558 542 530 514 510 500 497 484 484 473 471 470 457 456 454 443 443 430 427 417 413 397 385 369 369 369 360 342 340 329 328 328 326 315 315 314 312 300 288 269 241 241 241 241 231 231 229 214 213 201 198 187 184 184 183 174 172 144 141 128 126 113 100 87 86 85 85 83 73 70 69 56 55 44 43 26 1357 1300 1300 1270 1260 1258 1256 1244 1242 1229 1229 1229 1229 1228 1226 1226 1213 1203 1201 1171 1169 1161 1128 1127 1125 1116 1115 1114 1114 1114 1104 1101 1098 1084 1073 1072 1068 1058 1057 1030 999 997 988 987 986 986 986 983 973 973 972 971 971 940 930 929 928 902 885 884 873 872 859 858 855 845 843 843 842 841 828 815 802 800 787 784 756 754 745 744 744 741 730 727 715 714 699 697 697 687 687 687 687 659 640 628 616 614 613 613 602 600 600 599 588 586 568 559 559 559 543 531 515 511 501 498 485 485 474 472 471 458 457 455 444 444 431 428 418 414 398 386 370 370 370 361 343 341 330 329 329 327 316 316 315 313 301 289 270 242 242 242 242 232 232 230 215 214 202 199 188 185 185 184 175 173 145 142 129 127 114 101 88 87 86 86 84 74 71 70 57 56 45 44 27 1 1358 1301 1301 1271 1261 1259 1257 1245 1243 1230 1230 1230 1230 1229 1227 1227 1214 1204 1202 1172 1170 1162 1129 1128 1126 1117 1116 1115 1115 1115 1105 1102 1099 1085 1074 1073 1069 1059 1058 1031 1000 998 989 988 987 987 987 984 974 974 973 972 972 941 931 930 929 903 886 885 874 873 860 859 856 846 844 844 843 842 829 816 803 801 788 785 757 755 746 745 745 742 731 728 716 715 700 698 698 688 688 688 688 660 641 629 617 615 614 614 603 601 601 600 589 587 569 560 560 560 544 532 516 512 502 499 486 486 475 473 472 459 458 456 445 445 432 429 419 415 399 387 371 371 371 362 344 342 331 330 330 328 317 317 316 314 302 290 271 243 243 243 243 233 233 231 216 215 203 200 189 186 186 185 176 174 146 143 130 128 115 102 89 88 87 87 85 75 72 71 58 57 46 45 28 2 1 1368 1311 1311 1281 1271 1269 1267 1255 1253 1240 1240 1240 1240 1239 1237 1237 1224 1214 1212 1182 1180 1172 1139 1138 1136 1127 1126 1125 1125 1125 1115 1112 1109 1095 1084 1083 1079 1069 1068 1041 1010 1008 999 998 997 997 997 994 984 984 983 982 982 951 941 940 939 913 896 895 884 883 870 869 866 856 854 854 853 852 839 826 813 811 798 795 767 765 756 755 755 752 741 738 726 725 710 708 708 698 698 698 698 670 651 639 627 625 624 624 613 611 611 610 599 597 579 570 570 570 554 542 526 522 512 509 496 496 485 483 482 469 468 466 455 455 442 439 429 425 409 397 381 381 381 372 354 352 341 340 340 338 327 327 326 324 312 300 281 253 253 253 253 243 243 241 226 225 213 210 199 196 196 195 186 184 156 153 140 138 125 112 99 98 97 97 95 85 82 81 68 67 56 55 38 12 11 10 1399 1342 1342 1312 1302 1300 1298 1286 1284 1271 1271 1271 1271 1270 1268 1268 1255 1245 1243 1213 1211 1203 1170 1169 1167 1158 1157 1156 1156 1156 1146 1143 1140 1126 1115 1114 1110 1100 1099 1072 1041 1039 1030 1029 1028 1028 1028 1025 1015 1015 1014 1013 1013 982 972 971 970 944 927 926 915 914 901 900 897 887 885 885 884 883 870 857 844 842 829 826 798 796 787 786 786 783 772 769 757 756 741 739 739 729 729 729 729 701 682 670 658 656 655 655 644 642 642 641 630 628 610 601 601 601 585 573 557 553 543 540 527 527 516 514 513 500 499 497 486 486 473 470 460 456 440 428 412 412 412 403 385 383 372 371 371 369 358 358 357 355 343 331 312 284 284 284 284 274 274 272 257 256 244 241 230 227 227 226 217 215 187 184 171 169 156 143 130 129 128 128 126 116 113 112 99 98 87 86 69 43 42 41 31 1399 1342 1342 1312 1302 1300 1298 1286 1284 1271 1271 1271 1271 1270 1268 1268 1255 1245 1243 1213 1211 1203 1170 1169 1167 1158 1157 1156 1156 1156 1146 1143 1140 1126 1115 1114 1110 1100 1099 1072 1041 1039 1030 1029 1028 1028 1028 1025 1015 1015 1014 1013 1013 982 972 971 970 944 927 926 915 914 901 900 897 887 885 885 884 883 870 857 844 842 829 826 798 796 787 786 786 783 772 769 757 756 741 739 739 729 729 729 729 701 682 670 658 656 655 655 644 642 642 641 630 628 610 601 601 601 585 573 557 553 543 540 527 527 516 514 513 500 499 497 486 486 473 470 460 456 440 428 412 412 412 403 385 383 372 371 371 369 358 358 357 355 343 331 312 284 284 284 284 274 274 272 257 256 244 241 230 227 227 226 217 215 187 184 171 169 156 143 130 129 128 128 126 116 113 112 99 98 87 86 69 43 42 41 31 1400 1343 1343 1313 1303 1301 1299 1287 1285 1272 1272 1272 1272 1271 1269 1269 1256 1246 1244 1214 1212 1204 1171 1170 1168 1159 1158 1157 1157 1157 1147 1144 1141 1127 1116 1115 1111 1101 1100 1073 1042 1040 1031 1030 1029 1029 1029 1026 1016 1016 1015 1014 1014 983 973 972 971 945 928 927 916 915 902 901 898 888 886 886 885 884 871 858 845 843 830 827 799 797 788 787 787 784 773 770 758 757 742 740 740 730 730 730 730 702 683 671 659 657 656 656 645 643 643 642 631 629 611 602 602 602 586 574 558 554 544 541 528 528 517 515 514 501 500 498 487 487 474 471 461 457 441 429 413 413 413 404 386 384 373 372 372 370 359 359 358 356 344 332 313 285 285 285 285 275 275 273 258 257 245 242 231 228 228 227 218 216 188 185 172 170 157 144 131 130 129 129 127 117 114 113 100 99 88 87 70 44 43 42 32 1 1 1401 1344 1344 1314 1304 1302 1300 1288 1286 1273 1273 1273 1273 1272 1270 1270 1257 1247 1245 1215 1213 1205 1172 1171 1169 1160 1159 1158 1158 1158 1148 1145 1142 1128 1117 1116 1112 1102 1101 1074 1043 1041 1032 1031 1030 1030 1030 1027 1017 1017 1016 1015 1015 984 974 973 972 946 929 928 917 916 903 902 899 889 887 887 886 885 872 859 846 844 831 828 800 798 789 788 788 785 774 771 759 758 743 741 741 731 731 731 731 703 684 672 660 658 657 657 646 644 644 643 632 630 612 603 603 603 587 575 559 555 545 542 529 529 518 516 515 502 501 499 488 488 475 472 462 458 442 430 414 414 414 405 387 385 374 373 373 371 360 360 359 357 345 333 314 286 286 286 286 276 276 274 259 258 246 243 232 229 229 228 219 217 189 186 173 171 158 145 132 131 130 130 128 118 115 114 101 100 89 88 71 45 44 43 33 2 2 1 1401 1344 1344 1314 1304 1302 1300 1288 1286 1273 1273 1273 1273 1272 1270 1270 1257 1247 1245 1215 1213 1205 1172 1171 1169 1160 1159 1158 1158 1158 1148 1145 1142 1128 1117 1116 1112 1102 1101 1074 1043 1041 1032 1031 1030 1030 1030 1027 1017 1017 1016 1015 1015 984 974 973 972 946 929 928 917 916 903 902 899 889 887 887 886 885 872 859 846 844 831 828 800 798 789 788 788 785 774 771 759 758 743 741 741 731 731 731 731 703 684 672 660 658 657 657 646 644 644 643 632 630 612 603 603 603 587 575 559 555 545 542 529 529 518 516 515 502 501 499 488 488 475 472 462 458 442 430 414 414 414 405 387 385 374 373 373 371 360 360 359 357 345 333 314 286 286 286 286 276 276 274 259 258 246 243 232 229 229 228 219 217 189 186 173 171 158 145 132 131 130 130 128 118 115 114 101 100 89 88 71 45 44 43 33 2 2 1 1411 1354 1354 1324 1314 1312 1310 1298 1296 1283 1283 1283 1283 1282 1280 1280 1267 1257 1255 1225 1223 1215 1182 1181 1179 1170 1169 1168 1168 1168 1158 1155 1152 1138 1127 1126 1122 1112 1111 1084 1053 1051 1042 1041 1040 1040 1040 1037 1027 1027 1026 1025 1025 994 984 983 982 956 939 938 927 926 913 912 909 899 897 897 896 895 882 869 856 854 841 838 810 808 799 798 798 795 784 781 769 768 753 751 751 741 741 741 741 713 694 682 670 668 667 667 656 654 654 653 642 640 622 613 613 613 597 585 569 565 555 552 539 539 528 526 525 512 511 509 498 498 485 482 472 468 452 440 424 424 424 415 397 395 384 383 383 381 370 370 369 367 355 343 324 296 296 296 296 286 286 284 269 268 256 253 242 239 239 238 229 227 199 196 183 181 168 155 142 141 140 140 138 128 125 124 111 110 99 98 81 55 54 53 43 12 12 11 10 10 1414 1357 1357 1327 1317 1315 1313 1301 1299 1286 1286 1286 1286 1285 1283 1283 1270 1260 1258 1228 1226 1218 1185 1184 1182 1173 1172 1171 1171 1171 1161 1158 1155 1141 1130 1129 1125 1115 1114 1087 1056 1054 1045 1044 1043 1043 1043 1040 1030 1030 1029 1028 1028 997 987 986 985 959 942 941 930 929 916 915 912 902 900 900 899 898 885 872 859 857 844 841 813 811 802 801 801 798 787 784 772 771 756 754 754 744 744 744 744 716 697 685 673 671 670 670 659 657 657 656 645 643 625 616 616 616 600 588 572 568 558 555 542 542 531 529 528 515 514 512 501 501 488 485 475 471 455 443 427 427 427 418 400 398 387 386 386 384 373 373 372 370 358 346 327 299 299 299 299 289 289 287 272 271 259 256 245 242 242 241 232 230 202 199 186 184 171 158 145 144 143 143 141 131 128 127 114 113 102 101 84 58 57 56 46 15 15 14 13 13 3 1414 1357 1357 1327 1317 1315 1313 1301 1299 1286 1286 1286 1286 1285 1283 1283 1270 1260 1258 1228 1226 1218 1185 1184 1182 1173 1172 1171 1171 1171 1161 1158 1155 1141 1130 1129 1125 1115 1114 1087 1056 1054 1045 1044 1043 1043 1043 1040 1030 1030 1029 1028 1028 997 987 986 985 959 942 941 930 929 916 915 912 902 900 900 899 898 885 872 859 857 844 841 813 811 802 801 801 798 787 784 772 771 756 754 754 744 744 744 744 716 697 685 673 671 670 670 659 657 657 656 645 643 625 616 616 616 600 588 572 568 558 555 542 542 531 529 528 515 514 512 501 501 488 485 475 471 455 443 427 427 427 418 400 398 387 386 386 384 373 373 372 370 358 346 327 299 299 299 299 289 289 287 272 271 259 256 245 242 242 241 232 230 202 199 186 184 171 158 145 144 143 143 141 131 128 127 114 113 102 101 84 58 57 56 46 15 15 14 13 13 3 1414 1357 1357 1327 1317 1315 1313 1301 1299 1286 1286 1286 1286 1285 1283 1283 1270 1260 1258 1228 1226 1218 1185 1184 1182 1173 1172 1171 1171 1171 1161 1158 1155 1141 1130 1129 1125 1115 1114 1087 1056 1054 1045 1044 1043 1043 1043 1040 1030 1030 1029 1028 1028 997 987 986 985 959 942 941 930 929 916 915 912 902 900 900 899 898 885 872 859 857 844 841 813 811 802 801 801 798 787 784 772 771 756 754 754 744 744 744 744 716 697 685 673 671 670 670 659 657 657 656 645 643 625 616 616 616 600 588 572 568 558 555 542 542 531 529 528 515 514 512 501 501 488 485 475 471 455 443 427 427 427 418 400 398 387 386 386 384 373 373 372 370 358 346 327 299 299 299 299 289 289 287 272 271 259 256 245 242 242 241 232 230 202 199 186 184 171 158 145 144 143 143 141 131 128 127 114 113 102 101 84 58 57 56 46 15 15 14 13 13 3 1415 1358 1358 1328 1318 1316 1314 1302 1300 1287 1287 1287 1287 1286 1284 1284 1271 1261 1259 1229 1227 1219 1186 1185 1183 1174 1173 1172 1172 1172 1162 1159 1156 1142 1131 1130 1126 1116 1115 1088 1057 1055 1046 1045 1044 1044 1044 1041 1031 1031 1030 1029 1029 998 988 987 986 960 943 942 931 930 917 916 913 903 901 901 900 899 886 873 860 858 845 842 814 812 803 802 802 799 788 785 773 772 757 755 755 745 745 745 745 717 698 686 674 672 671 671 660 658 658 657 646 644 626 617 617 617 601 589 573 569 559 556 543 543 532 530 529 516 515 513 502 502 489 486 476 472 456 444 428 428 428 419 401 399 388 387 387 385 374 374 373 371 359 347 328 300 300 300 300 290 290 288 273 272 260 257 246 243 243 242 233 231 203 200 187 185 172 159 146 145 144 144 142 132 129 128 115 114 103 102 85 59 58 57 47 16 16 15 14 14 4 1 1 1 1416 1359 1359 1329 1319 1317 1315 1303 1301 1288 1288 1288 1288 1287 1285 1285 1272 1262 1260 1230 1228 1220 1187 1186 1184 1175 1174 1173 1173 1173 1163 1160 1157 1143 1132 1131 1127 1117 1116 1089 1058 1056 1047 1046 1045 1045 1045 1042 1032 1032 1031 1030 1030 999 989 988 987 961 944 943 932 931 918 917 914 904 902 902 901 900 887 874 861 859 846 843 815 813 804 803 803 800 789 786 774 773 758 756 756 746 746 746 746 718 699 687 675 673 672 672 661 659 659 658 647 645 627 618 618 618 602 590 574 570 560 557 544 544 533 531 530 517 516 514 503 503 490 487 477 473 457 445 429 429 429 420 402 400 389 388 388 386 375 375 374 372 360 348 329 301 301 301 301 291 291 289 274 273 261 258 247 244 244 243 234 232 204 201 188 186 173 160 147 146 145 145 143 133 130 129 116 115 104 103 86 60 59 58 48 17 17 16 15 15 5 2 2 2 1 1425 1368 1368 1338 1328 1326 1324 1312 1310 1297 1297 1297 1297 1296 1294 1294 1281 1271 1269 1239 1237 1229 1196 1195 1193 1184 1183 1182 1182 1182 1172 1169 1166 1152 1141 1140 1136 1126 1125 1098 1067 1065 1056 1055 1054 1054 1054 1051 1041 1041 1040 1039 1039 1008 998 997 996 970 953 952 941 940 927 926 923 913 911 911 910 909 896 883 870 868 855 852 824 822 813 812 812 809 798 795 783 782 767 765 765 755 755 755 755 727 708 696 684 682 681 681 670 668 668 667 656 654 636 627 627 627 611 599 583 579 569 566 553 553 542 540 539 526 525 523 512 512 499 496 486 482 466 454 438 438 438 429 411 409 398 397 397 395 384 384 383 381 369 357 338 310 310 310 310 300 300 298 283 282 270 267 256 253 253 252 243 241 213 210 197 195 182 169 156 155 154 154 152 142 139 138 125 124 113 112 95 69 68 67 57 26 26 25 24 24 14 11 11 11 10 9 1427 1370 1370 1340 1330 1328 1326 1314 1312 1299 1299 1299 1299 1298 1296 1296 1283 1273 1271 1241 1239 1231 1198 1197 1195 1186 1185 1184 1184 1184 1174 1171 1168 1154 1143 1142 1138 1128 1127 1100 1069 1067 1058 1057 1056 1056 1056 1053 1043 1043 1042 1041 1041 1010 1000 999 998 972 955 954 943 942 929 928 925 915 913 913 912 911 898 885 872 870 857 854 826 824 815 814 814 811 800 797 785 784 769 767 767 757 757 757 757 729 710 698 686 684 683 683 672 670 670 669 658 656 638 629 629 629 613 601 585 581 571 568 555 555 544 542 541 528 527 525 514 514 501 498 488 484 468 456 440 440 440 431 413 411 400 399 399 397 386 386 385 383 371 359 340 312 312 312 312 302 302 300 285 284 272 269 258 255 255 254 245 243 215 212 199 197 184 171 158 157 156 156 154 144 141 140 127 126 115 114 97 71 70 69 59 28 28 27 26 26 16 13 13 13 12 11 2 1458 1401 1401 1371 1361 1359 1357 1345 1343 1330 1330 1330 1330 1329 1327 1327 1314 1304 1302 1272 1270 1262 1229 1228 1226 1217 1216 1215 1215 1215 1205 1202 1199 1185 1174 1173 1169 1159 1158 1131 1100 1098 1089 1088 1087 1087 1087 1084 1074 1074 1073 1072 1072 1041 1031 1030 1029 1003 986 985 974 973 960 959 956 946 944 944 943 942 929 916 903 901 888 885 857 855 846 845 845 842 831 828 816 815 800 798 798 788 788 788 788 760 741 729 717 715 714 714 703 701 701 700 689 687 669 660 660 660 644 632 616 612 602 599 586 586 575 573 572 559 558 556 545 545 532 529 519 515 499 487 471 471 471 462 444 442 431 430 430 428 417 417 416 414 402 390 371 343 343 343 343 333 333 331 316 315 303 300 289 286 286 285 276 274 246 243 230 228 215 202 189 188 187 187 185 175 172 171 158 157 146 145 128 102 101 100 90 59 59 58 57 57 47 44 44 44 43 42 33 31 1485 1428 1428 1398 1388 1386 1384 1372 1370 1357 1357 1357 1357 1356 1354 1354 1341 1331 1329 1299 1297 1289 1256 1255 1253 1244 1243 1242 1242 1242 1232 1229 1226 1212 1201 1200 1196 1186 1185 1158 1127 1125 1116 1115 1114 1114 1114 1111 1101 1101 1100 1099 1099 1068 1058 1057 1056 1030 1013 1012 1001 1000 987 986 983 973 971 971 970 969 956 943 930 928 915 912 884 882 873 872 872 869 858 855 843 842 827 825 825 815 815 815 815 787 768 756 744 742 741 741 730 728 728 727 716 714 696 687 687 687 671 659 643 639 629 626 613 613 602 600 599 586 585 583 572 572 559 556 546 542 526 514 498 498 498 489 471 469 458 457 457 455 444 444 443 441 429 417 398 370 370 370 370 360 360 358 343 342 330 327 316 313 313 312 303 301 273 270 257 255 242 229 216 215 214 214 212 202 199 198 185 184 173 172 155 129 128 127 117 86 86 85 84 84 74 71 71 71 70 69 60 58 27 1486 1429 1429 1399 1389 1387 1385 1373 1371 1358 1358 1358 1358 1357 1355 1355 1342 1332 1330 1300 1298 1290 1257 1256 1254 1245 1244 1243 1243 1243 1233 1230 1227 1213 1202 1201 1197 1187 1186 1159 1128 1126 1117 1116 1115 1115 1115 1112 1102 1102 1101 1100 1100 1069 1059 1058 1057 1031 1014 1013 1002 1001 988 987 984 974 972 972 971 970 957 944 931 929 916 913 885 883 874 873 873 870 859 856 844 843 828 826 826 816 816 816 816 788 769 757 745 743 742 742 731 729 729 728 717 715 697 688 688 688 672 660 644 640 630 627 614 614 603 601 600 587 586 584 573 573 560 557 547 543 527 515 499 499 499 490 472 470 459 458 458 456 445 445 444 442 430 418 399 371 371 371 371 361 361 359 344 343 331 328 317 314 314 313 304 302 274 271 258 256 243 230 217 216 215 215 213 203 200 199 186 185 174 173 156 130 129 128 118 87 87 86 85 85 75 72 72 72 71 70 61 59 28 1 1496 1439 1439 1409 1399 1397 1395 1383 1381 1368 1368 1368 1368 1367 1365 1365 1352 1342 1340 1310 1308 1300 1267 1266 1264 1255 1254 1253 1253 1253 1243 1240 1237 1223 1212 1211 1207 1197 1196 1169 1138 1136 1127 1126 1125 1125 1125 1122 1112 1112 1111 1110 1110 1079 1069 1068 1067 1041 1024 1023 1012 1011 998 997 994 984 982 982 981 980 967 954 941 939 926 923 895 893 884 883 883 880 869 866 854 853 838 836 836 826 826 826 826 798 779 767 755 753 752 752 741 739 739 738 727 725 707 698 698 698 682 670 654 650 640 637 624 624 613 611 610 597 596 594 583 583 570 567 557 553 537 525 509 509 509 500 482 480 469 468 468 466 455 455 454 452 440 428 409 381 381 381 381 371 371 369 354 353 341 338 327 324 324 323 314 312 284 281 268 266 253 240 227 226 225 225 223 213 210 209 196 195 184 183 166 140 139 138 128 97 97 96 95 95 85 82 82 82 81 80 71 69 38 11 10 1500 1443 1443 1413 1403 1401 1399 1387 1385 1372 1372 1372 1372 1371 1369 1369 1356 1346 1344 1314 1312 1304 1271 1270 1268 1259 1258 1257 1257 1257 1247 1244 1241 1227 1216 1215 1211 1201 1200 1173 1142 1140 1131 1130 1129 1129 1129 1126 1116 1116 1115 1114 1114 1083 1073 1072 1071 1045 1028 1027 1016 1015 1002 1001 998 988 986 986 985 984 971 958 945 943 930 927 899 897 888 887 887 884 873 870 858 857 842 840 840 830 830 830 830 802 783 771 759 757 756 756 745 743 743 742 731 729 711 702 702 702 686 674 658 654 644 641 628 628 617 615 614 601 600 598 587 587 574 571 561 557 541 529 513 513 513 504 486 484 473 472 472 470 459 459 458 456 444 432 413 385 385 385 385 375 375 373 358 357 345 342 331 328 328 327 318 316 288 285 272 270 257 244 231 230 229 229 227 217 214 213 200 199 188 187 170 144 143 142 132 101 101 100 99 99 89 86 86 86 85 84 75 73 42 15 14 4 1501 1444 1444 1414 1404 1402 1400 1388 1386 1373 1373 1373 1373 1372 1370 1370 1357 1347 1345 1315 1313 1305 1272 1271 1269 1260 1259 1258 1258 1258 1248 1245 1242 1228 1217 1216 1212 1202 1201 1174 1143 1141 1132 1131 1130 1130 1130 1127 1117 1117 1116 1115 1115 1084 1074 1073 1072 1046 1029 1028 1017 1016 1003 1002 999 989 987 987 986 985 972 959 946 944 931 928 900 898 889 888 888 885 874 871 859 858 843 841 841 831 831 831 831 803 784 772 760 758 757 757 746 744 744 743 732 730 712 703 703 703 687 675 659 655 645 642 629 629 618 616 615 602 601 599 588 588 575 572 562 558 542 530 514 514 514 505 487 485 474 473 473 471 460 460 459 457 445 433 414 386 386 386 386 376 376 374 359 358 346 343 332 329 329 328 319 317 289 286 273 271 258 245 232 231 230 230 228 218 215 214 201 200 189 188 171 145 144 143 133 102 102 101 100 100 90 87 87 87 86 85 76 74 43 16 15 5 1 1512 1455 1455 1425 1415 1413 1411 1399 1397 1384 1384 1384 1384 1383 1381 1381 1368 1358 1356 1326 1324 1316 1283 1282 1280 1271 1270 1269 1269 1269 1259 1256 1253 1239 1228 1227 1223 1213 1212 1185 1154 1152 1143 1142 1141 1141 1141 1138 1128 1128 1127 1126 1126 1095 1085 1084 1083 1057 1040 1039 1028 1027 1014 1013 1010 1000 998 998 997 996 983 970 957 955 942 939 911 909 900 899 899 896 885 882 870 869 854 852 852 842 842 842 842 814 795 783 771 769 768 768 757 755 755 754 743 741 723 714 714 714 698 686 670 666 656 653 640 640 629 627 626 613 612 610 599 599 586 583 573 569 553 541 525 525 525 516 498 496 485 484 484 482 471 471 470 468 456 444 425 397 397 397 397 387 387 385 370 369 357 354 343 340 340 339 330 328 300 297 284 282 269 256 243 242 241 241 239 229 226 225 212 211 200 199 182 156 155 154 144 113 113 112 111 111 101 98 98 98 97 96 87 85 54 27 26 16 12 11 1526 1469 1469 1439 1429 1427 1425 1413 1411 1398 1398 1398 1398 1397 1395 1395 1382 1372 1370 1340 1338 1330 1297 1296 1294 1285 1284 1283 1283 1283 1273 1270 1267 1253 1242 1241 1237 1227 1226 1199 1168 1166 1157 1156 1155 1155 1155 1152 1142 1142 1141 1140 1140 1109 1099 1098 1097 1071 1054 1053 1042 1041 1028 1027 1024 1014 1012 1012 1011 1010 997 984 971 969 956 953 925 923 914 913 913 910 899 896 884 883 868 866 866 856 856 856 856 828 809 797 785 783 782 782 771 769 769 768 757 755 737 728 728 728 712 700 684 680 670 667 654 654 643 641 640 627 626 624 613 613 600 597 587 583 567 555 539 539 539 530 512 510 499 498 498 496 485 485 484 482 470 458 439 411 411 411 411 401 401 399 384 383 371 368 357 354 354 353 344 342 314 311 298 296 283 270 257 256 255 255 253 243 240 239 226 225 214 213 196 170 169 168 158 127 127 126 125 125 115 112 112 112 111 110 101 99 68 41 40 30 26 25 14 1529 1472 1472 1442 1432 1430 1428 1416 1414 1401 1401 1401 1401 1400 1398 1398 1385 1375 1373 1343 1341 1333 1300 1299 1297 1288 1287 1286 1286 1286 1276 1273 1270 1256 1245 1244 1240 1230 1229 1202 1171 1169 1160 1159 1158 1158 1158 1155 1145 1145 1144 1143 1143 1112 1102 1101 1100 1074 1057 1056 1045 1044 1031 1030 1027 1017 1015 1015 1014 1013 1000 987 974 972 959 956 928 926 917 916 916 913 902 899 887 886 871 869 869 859 859 859 859 831 812 800 788 786 785 785 774 772 772 771 760 758 740 731 731 731 715 703 687 683 673 670 657 657 646 644 643 630 629 627 616 616 603 600 590 586 570 558 542 542 542 533 515 513 502 501 501 499 488 488 487 485 473 461 442 414 414 414 414 404 404 402 387 386 374 371 360 357 357 356 347 345 317 314 301 299 286 273 260 259 258 258 256 246 243 242 229 228 217 216 199 173 172 171 161 130 130 129 128 128 118 115 115 115 114 113 104 102 71 44 43 33 29 28 17 3 1532 1475 1475 1445 1435 1433 1431 1419 1417 1404 1404 1404 1404 1403 1401 1401 1388 1378 1376 1346 1344 1336 1303 1302 1300 1291 1290 1289 1289 1289 1279 1276 1273 1259 1248 1247 1243 1233 1232 1205 1174 1172 1163 1162 1161 1161 1161 1158 1148 1148 1147 1146 1146 1115 1105 1104 1103 1077 1060 1059 1048 1047 1034 1033 1030 1020 1018 1018 1017 1016 1003 990 977 975 962 959 931 929 920 919 919 916 905 902 890 889 874 872 872 862 862 862 862 834 815 803 791 789 788 788 777 775 775 774 763 761 743 734 734 734 718 706 690 686 676 673 660 660 649 647 646 633 632 630 619 619 606 603 593 589 573 561 545 545 545 536 518 516 505 504 504 502 491 491 490 488 476 464 445 417 417 417 417 407 407 405 390 389 377 374 363 360 360 359 350 348 320 317 304 302 289 276 263 262 261 261 259 249 246 245 232 231 220 219 202 176 175 174 164 133 133 132 131 131 121 118 118 118 117 116 107 105 74 47 46 36 32 31 20 6 3 1542 1485 1485 1455 1445 1443 1441 1429 1427 1414 1414 1414 1414 1413 1411 1411 1398 1388 1386 1356 1354 1346 1313 1312 1310 1301 1300 1299 1299 1299 1289 1286 1283 1269 1258 1257 1253 1243 1242 1215 1184 1182 1173 1172 1171 1171 1171 1168 1158 1158 1157 1156 1156 1125 1115 1114 1113 1087 1070 1069 1058 1057 1044 1043 1040 1030 1028 1028 1027 1026 1013 1000 987 985 972 969 941 939 930 929 929 926 915 912 900 899 884 882 882 872 872 872 872 844 825 813 801 799 798 798 787 785 785 784 773 771 753 744 744 744 728 716 700 696 686 683 670 670 659 657 656 643 642 640 629 629 616 613 603 599 583 571 555 555 555 546 528 526 515 514 514 512 501 501 500 498 486 474 455 427 427 427 427 417 417 415 400 399 387 384 373 370 370 369 360 358 330 327 314 312 299 286 273 272 271 271 269 259 256 255 242 241 230 229 212 186 185 184 174 143 143 142 141 141 131 128 128 128 127 126 117 115 84 57 56 46 42 41 30 16 13 10 1542 1485 1485 1455 1445 1443 1441 1429 1427 1414 1414 1414 1414 1413 1411 1411 1398 1388 1386 1356 1354 1346 1313 1312 1310 1301 1300 1299 1299 1299 1289 1286 1283 1269 1258 1257 1253 1243 1242 1215 1184 1182 1173 1172 1171 1171 1171 1168 1158 1158 1157 1156 1156 1125 1115 1114 1113 1087 1070 1069 1058 1057 1044 1043 1040 1030 1028 1028 1027 1026 1013 1000 987 985 972 969 941 939 930 929 929 926 915 912 900 899 884 882 882 872 872 872 872 844 825 813 801 799 798 798 787 785 785 784 773 771 753 744 744 744 728 716 700 696 686 683 670 670 659 657 656 643 642 640 629 629 616 613 603 599 583 571 555 555 555 546 528 526 515 514 514 512 501 501 500 498 486 474 455 427 427 427 427 417 417 415 400 399 387 384 373 370 370 369 360 358 330 327 314 312 299 286 273 272 271 271 269 259 256 255 242 241 230 229 212 186 185 184 174 143 143 142 141 141 131 128 128 128 127 126 117 115 84 57 56 46 42 41 30 16 13 10 1542 1485 1485 1455 1445 1443 1441 1429 1427 1414 1414 1414 1414 1413 1411 1411 1398 1388 1386 1356 1354 1346 1313 1312 1310 1301 1300 1299 1299 1299 1289 1286 1283 1269 1258 1257 1253 1243 1242 1215 1184 1182 1173 1172 1171 1171 1171 1168 1158 1158 1157 1156 1156 1125 1115 1114 1113 1087 1070 1069 1058 1057 1044 1043 1040 1030 1028 1028 1027 1026 1013 1000 987 985 972 969 941 939 930 929 929 926 915 912 900 899 884 882 882 872 872 872 872 844 825 813 801 799 798 798 787 785 785 784 773 771 753 744 744 744 728 716 700 696 686 683 670 670 659 657 656 643 642 640 629 629 616 613 603 599 583 571 555 555 555 546 528 526 515 514 514 512 501 501 500 498 486 474 455 427 427 427 427 417 417 415 400 399 387 384 373 370 370 369 360 358 330 327 314 312 299 286 273 272 271 271 269 259 256 255 242 241 230 229 212 186 185 184 174 143 143 142 141 141 131 128 128 128 127 126 117 115 84 57 56 46 42 41 30 16 13 10 1543 1486 1486 1456 1446 1444 1442 1430 1428 1415 1415 1415 1415 1414 1412 1412 1399 1389 1387 1357 1355 1347 1314 1313 1311 1302 1301 1300 1300 1300 1290 1287 1284 1270 1259 1258 1254 1244 1243 1216 1185 1183 1174 1173 1172 1172 1172 1169 1159 1159 1158 1157 1157 1126 1116 1115 1114 1088 1071 1070 1059 1058 1045 1044 1041 1031 1029 1029 1028 1027 1014 1001 988 986 973 970 942 940 931 930 930 927 916 913 901 900 885 883 883 873 873 873 873 845 826 814 802 800 799 799 788 786 786 785 774 772 754 745 745 745 729 717 701 697 687 684 671 671 660 658 657 644 643 641 630 630 617 614 604 600 584 572 556 556 556 547 529 527 516 515 515 513 502 502 501 499 487 475 456 428 428 428 428 418 418 416 401 400 388 385 374 371 371 370 361 359 331 328 315 313 300 287 274 273 272 272 270 260 257 256 243 242 231 230 213 187 186 185 175 144 144 143 142 142 132 129 129 129 128 127 118 116 85 58 57 47 43 42 31 17 14 11 1 1 1 1544 1487 1487 1457 1447 1445 1443 1431 1429 1416 1416 1416 1416 1415 1413 1413 1400 1390 1388 1358 1356 1348 1315 1314 1312 1303 1302 1301 1301 1301 1291 1288 1285 1271 1260 1259 1255 1245 1244 1217 1186 1184 1175 1174 1173 1173 1173 1170 1160 1160 1159 1158 1158 1127 1117 1116 1115 1089 1072 1071 1060 1059 1046 1045 1042 1032 1030 1030 1029 1028 1015 1002 989 987 974 971 943 941 932 931 931 928 917 914 902 901 886 884 884 874 874 874 874 846 827 815 803 801 800 800 789 787 787 786 775 773 755 746 746 746 730 718 702 698 688 685 672 672 661 659 658 645 644 642 631 631 618 615 605 601 585 573 557 557 557 548 530 528 517 516 516 514 503 503 502 500 488 476 457 429 429 429 429 419 419 417 402 401 389 386 375 372 372 371 362 360 332 329 316 314 301 288 275 274 273 273 271 261 258 257 244 243 232 231 214 188 187 186 176 145 145 144 143 143 133 130 130 130 129 128 119 117 86 59 58 48 44 43 32 18 15 12 2 2 2 1 1553 1496 1496 1466 1456 1454 1452 1440 1438 1425 1425 1425 1425 1424 1422 1422 1409 1399 1397 1367 1365 1357 1324 1323 1321 1312 1311 1310 1310 1310 1300 1297 1294 1280 1269 1268 1264 1254 1253 1226 1195 1193 1184 1183 1182 1182 1182 1179 1169 1169 1168 1167 1167 1136 1126 1125 1124 1098 1081 1080 1069 1068 1055 1054 1051 1041 1039 1039 1038 1037 1024 1011 998 996 983 980 952 950 941 940 940 937 926 923 911 910 895 893 893 883 883 883 883 855 836 824 812 810 809 809 798 796 796 795 784 782 764 755 755 755 739 727 711 707 697 694 681 681 670 668 667 654 653 651 640 640 627 624 614 610 594 582 566 566 566 557 539 537 526 525 525 523 512 512 511 509 497 485 466 438 438 438 438 428 428 426 411 410 398 395 384 381 381 380 371 369 341 338 325 323 310 297 284 283 282 282 280 270 267 266 253 252 241 240 223 197 196 195 185 154 154 153 152 152 142 139 139 139 138 137 128 126 95 68 67 57 53 52 41 27 24 21 11 11 11 10 9 1555 1498 1498 1468 1458 1456 1454 1442 1440 1427 1427 1427 1427 1426 1424 1424 1411 1401 1399 1369 1367 1359 1326 1325 1323 1314 1313 1312 1312 1312 1302 1299 1296 1282 1271 1270 1266 1256 1255 1228 1197 1195 1186 1185 1184 1184 1184 1181 1171 1171 1170 1169 1169 1138 1128 1127 1126 1100 1083 1082 1071 1070 1057 1056 1053 1043 1041 1041 1040 1039 1026 1013 1000 998 985 982 954 952 943 942 942 939 928 925 913 912 897 895 895 885 885 885 885 857 838 826 814 812 811 811 800 798 798 797 786 784 766 757 757 757 741 729 713 709 699 696 683 683 672 670 669 656 655 653 642 642 629 626 616 612 596 584 568 568 568 559 541 539 528 527 527 525 514 514 513 511 499 487 468 440 440 440 440 430 430 428 413 412 400 397 386 383 383 382 373 371 343 340 327 325 312 299 286 285 284 284 282 272 269 268 255 254 243 242 225 199 198 197 187 156 156 155 154 154 144 141 141 141 140 139 130 128 97 70 69 59 55 54 43 29 26 23 13 13 13 12 11 2 1556 1499 1499 1469 1459 1457 1455 1443 1441 1428 1428 1428 1428 1427 1425 1425 1412 1402 1400 1370 1368 1360 1327 1326 1324 1315 1314 1313 1313 1313 1303 1300 1297 1283 1272 1271 1267 1257 1256 1229 1198 1196 1187 1186 1185 1185 1185 1182 1172 1172 1171 1170 1170 1139 1129 1128 1127 1101 1084 1083 1072 1071 1058 1057 1054 1044 1042 1042 1041 1040 1027 1014 1001 999 986 983 955 953 944 943 943 940 929 926 914 913 898 896 896 886 886 886 886 858 839 827 815 813 812 812 801 799 799 798 787 785 767 758 758 758 742 730 714 710 700 697 684 684 673 671 670 657 656 654 643 643 630 627 617 613 597 585 569 569 569 560 542 540 529 528 528 526 515 515 514 512 500 488 469 441 441 441 441 431 431 429 414 413 401 398 387 384 384 383 374 372 344 341 328 326 313 300 287 286 285 285 283 273 270 269 256 255 244 243 226 200 199 198 188 157 157 156 155 155 145 142 142 142 141 140 131 129 98 71 70 60 56 55 44 30 27 24 14 14 14 13 12 3 1 1589 1532 1532 1502 1492 1490 1488 1476 1474 1461 1461 1461 1461 1460 1458 1458 1445 1435 1433 1403 1401 1393 1360 1359 1357 1348 1347 1346 1346 1346 1336 1333 1330 1316 1305 1304 1300 1290 1289 1262 1231 1229 1220 1219 1218 1218 1218 1215 1205 1205 1204 1203 1203 1172 1162 1161 1160 1134 1117 1116 1105 1104 1091 1090 1087 1077 1075 1075 1074 1073 1060 1047 1034 1032 1019 1016 988 986 977 976 976 973 962 959 947 946 931 929 929 919 919 919 919 891 872 860 848 846 845 845 834 832 832 831 820 818 800 791 791 791 775 763 747 743 733 730 717 717 706 704 703 690 689 687 676 676 663 660 650 646 630 618 602 602 602 593 575 573 562 561 561 559 548 548 547 545 533 521 502 474 474 474 474 464 464 462 447 446 434 431 420 417 417 416 407 405 377 374 361 359 346 333 320 319 318 318 316 306 303 302 289 288 277 276 259 233 232 231 221 190 190 189 188 188 178 175 175 175 174 173 164 162 131 104 103 93 89 88 77 63 60 57 47 47 47 46 45 36 34 33 1597 1540 1540 1510 1500 1498 1496 1484 1482 1469 1469 1469 1469 1468 1466 1466 1453 1443 1441 1411 1409 1401 1368 1367 1365 1356 1355 1354 1354 1354 1344 1341 1338 1324 1313 1312 1308 1298 1297 1270 1239 1237 1228 1227 1226 1226 1226 1223 1213 1213 1212 1211 1211 1180 1170 1169 1168 1142 1125 1124 1113 1112 1099 1098 1095 1085 1083 1083 1082 1081 1068 1055 1042 1040 1027 1024 996 994 985 984 984 981 970 967 955 954 939 937 937 927 927 927 927 899 880 868 856 854 853 853 842 840 840 839 828 826 808 799 799 799 783 771 755 751 741 738 725 725 714 712 711 698 697 695 684 684 671 668 658 654 638 626 610 610 610 601 583 581 570 569 569 567 556 556 555 553 541 529 510 482 482 482 482 472 472 470 455 454 442 439 428 425 425 424 415 413 385 382 369 367 354 341 328 327 326 326 324 314 311 310 297 296 285 284 267 241 240 239 229 198 198 197 196 196 186 183 183 183 182 181 172 170 139 112 111 101 97 96 85 71 68 65 55 55 55 54 53 44 42 41 8 1599 1542 1542 1512 1502 1500 1498 1486 1484 1471 1471 1471 1471 1470 1468 1468 1455 1445 1443 1413 1411 1403 1370 1369 1367 1358 1357 1356 1356 1356 1346 1343 1340 1326 1315 1314 1310 1300 1299 1272 1241 1239 1230 1229 1228 1228 1228 1225 1215 1215 1214 1213 1213 1182 1172 1171 1170 1144 1127 1126 1115 1114 1101 1100 1097 1087 1085 1085 1084 1083 1070 1057 1044 1042 1029 1026 998 996 987 986 986 983 972 969 957 956 941 939 939 929 929 929 929 901 882 870 858 856 855 855 844 842 842 841 830 828 810 801 801 801 785 773 757 753 743 740 727 727 716 714 713 700 699 697 686 686 673 670 660 656 640 628 612 612 612 603 585 583 572 571 571 569 558 558 557 555 543 531 512 484 484 484 484 474 474 472 457 456 444 441 430 427 427 426 417 415 387 384 371 369 356 343 330 329 328 328 326 316 313 312 299 298 287 286 269 243 242 241 231 200 200 199 198 198 188 185 185 185 184 183 174 172 141 114 113 103 99 98 87 73 70 67 57 57 57 56 55 46 44 43 10 2 1629 1572 1572 1542 1532 1530 1528 1516 1514 1501 1501 1501 1501 1500 1498 1498 1485 1475 1473 1443 1441 1433 1400 1399 1397 1388 1387 1386 1386 1386 1376 1373 1370 1356 1345 1344 1340 1330 1329 1302 1271 1269 1260 1259 1258 1258 1258 1255 1245 1245 1244 1243 1243 1212 1202 1201 1200 1174 1157 1156 1145 1144 1131 1130 1127 1117 1115 1115 1114 1113 1100 1087 1074 1072 1059 1056 1028 1026 1017 1016 1016 1013 1002 999 987 986 971 969 969 959 959 959 959 931 912 900 888 886 885 885 874 872 872 871 860 858 840 831 831 831 815 803 787 783 773 770 757 757 746 744 743 730 729 727 716 716 703 700 690 686 670 658 642 642 642 633 615 613 602 601 601 599 588 588 587 585 573 561 542 514 514 514 514 504 504 502 487 486 474 471 460 457 457 456 447 445 417 414 401 399 386 373 360 359 358 358 356 346 343 342 329 328 317 316 299 273 272 271 261 230 230 229 228 228 218 215 215 215 214 213 204 202 171 144 143 133 129 128 117 103 100 97 87 87 87 86 85 76 74 73 40 32 30 1631 1574 1574 1544 1534 1532 1530 1518 1516 1503 1503 1503 1503 1502 1500 1500 1487 1477 1475 1445 1443 1435 1402 1401 1399 1390 1389 1388 1388 1388 1378 1375 1372 1358 1347 1346 1342 1332 1331 1304 1273 1271 1262 1261 1260 1260 1260 1257 1247 1247 1246 1245 1245 1214 1204 1203 1202 1176 1159 1158 1147 1146 1133 1132 1129 1119 1117 1117 1116 1115 1102 1089 1076 1074 1061 1058 1030 1028 1019 1018 1018 1015 1004 1001 989 988 973 971 971 961 961 961 961 933 914 902 890 888 887 887 876 874 874 873 862 860 842 833 833 833 817 805 789 785 775 772 759 759 748 746 745 732 731 729 718 718 705 702 692 688 672 660 644 644 644 635 617 615 604 603 603 601 590 590 589 587 575 563 544 516 516 516 516 506 506 504 489 488 476 473 462 459 459 458 449 447 419 416 403 401 388 375 362 361 360 360 358 348 345 344 331 330 319 318 301 275 274 273 263 232 232 231 230 230 220 217 217 217 216 215 206 204 173 146 145 135 131 130 119 105 102 99 89 89 89 88 87 78 76 75 42 34 32 2 1641 1584 1584 1554 1544 1542 1540 1528 1526 1513 1513 1513 1513 1512 1510 1510 1497 1487 1485 1455 1453 1445 1412 1411 1409 1400 1399 1398 1398 1398 1388 1385 1382 1368 1357 1356 1352 1342 1341 1314 1283 1281 1272 1271 1270 1270 1270 1267 1257 1257 1256 1255 1255 1224 1214 1213 1212 1186 1169 1168 1157 1156 1143 1142 1139 1129 1127 1127 1126 1125 1112 1099 1086 1084 1071 1068 1040 1038 1029 1028 1028 1025 1014 1011 999 998 983 981 981 971 971 971 971 943 924 912 900 898 897 897 886 884 884 883 872 870 852 843 843 843 827 815 799 795 785 782 769 769 758 756 755 742 741 739 728 728 715 712 702 698 682 670 654 654 654 645 627 625 614 613 613 611 600 600 599 597 585 573 554 526 526 526 526 516 516 514 499 498 486 483 472 469 469 468 459 457 429 426 413 411 398 385 372 371 370 370 368 358 355 354 341 340 329 328 311 285 284 283 273 242 242 241 240 240 230 227 227 227 226 225 216 214 183 156 155 145 141 140 129 115 112 109 99 99 99 98 97 88 86 85 52 44 42 12 10 1654 1597 1597 1567 1557 1555 1553 1541 1539 1526 1526 1526 1526 1525 1523 1523 1510 1500 1498 1468 1466 1458 1425 1424 1422 1413 1412 1411 1411 1411 1401 1398 1395 1381 1370 1369 1365 1355 1354 1327 1296 1294 1285 1284 1283 1283 1283 1280 1270 1270 1269 1268 1268 1237 1227 1226 1225 1199 1182 1181 1170 1169 1156 1155 1152 1142 1140 1140 1139 1138 1125 1112 1099 1097 1084 1081 1053 1051 1042 1041 1041 1038 1027 1024 1012 1011 996 994 994 984 984 984 984 956 937 925 913 911 910 910 899 897 897 896 885 883 865 856 856 856 840 828 812 808 798 795 782 782 771 769 768 755 754 752 741 741 728 725 715 711 695 683 667 667 667 658 640 638 627 626 626 624 613 613 612 610 598 586 567 539 539 539 539 529 529 527 512 511 499 496 485 482 482 481 472 470 442 439 426 424 411 398 385 384 383 383 381 371 368 367 354 353 342 341 324 298 297 296 286 255 255 254 253 253 243 240 240 240 239 238 229 227 196 169 168 158 154 153 142 128 125 122 112 112 112 111 110 101 99 98 65 57 55 25 23 13 1654 1597 1597 1567 1557 1555 1553 1541 1539 1526 1526 1526 1526 1525 1523 1523 1510 1500 1498 1468 1466 1458 1425 1424 1422 1413 1412 1411 1411 1411 1401 1398 1395 1381 1370 1369 1365 1355 1354 1327 1296 1294 1285 1284 1283 1283 1283 1280 1270 1270 1269 1268 1268 1237 1227 1226 1225 1199 1182 1181 1170 1169 1156 1155 1152 1142 1140 1140 1139 1138 1125 1112 1099 1097 1084 1081 1053 1051 1042 1041 1041 1038 1027 1024 1012 1011 996 994 994 984 984 984 984 956 937 925 913 911 910 910 899 897 897 896 885 883 865 856 856 856 840 828 812 808 798 795 782 782 771 769 768 755 754 752 741 741 728 725 715 711 695 683 667 667 667 658 640 638 627 626 626 624 613 613 612 610 598 586 567 539 539 539 539 529 529 527 512 511 499 496 485 482 482 481 472 470 442 439 426 424 411 398 385 384 383 383 381 371 368 367 354 353 342 341 324 298 297 296 286 255 255 254 253 253 243 240 240 240 239 238 229 227 196 169 168 158 154 153 142 128 125 122 112 112 112 111 110 101 99 98 65 57 55 25 23 13 1656 1599 1599 1569 1559 1557 1555 1543 1541 1528 1528 1528 1528 1527 1525 1525 1512 1502 1500 1470 1468 1460 1427 1426 1424 1415 1414 1413 1413 1413 1403 1400 1397 1383 1372 1371 1367 1357 1356 1329 1298 1296 1287 1286 1285 1285 1285 1282 1272 1272 1271 1270 1270 1239 1229 1228 1227 1201 1184 1183 1172 1171 1158 1157 1154 1144 1142 1142 1141 1140 1127 1114 1101 1099 1086 1083 1055 1053 1044 1043 1043 1040 1029 1026 1014 1013 998 996 996 986 986 986 986 958 939 927 915 913 912 912 901 899 899 898 887 885 867 858 858 858 842 830 814 810 800 797 784 784 773 771 770 757 756 754 743 743 730 727 717 713 697 685 669 669 669 660 642 640 629 628 628 626 615 615 614 612 600 588 569 541 541 541 541 531 531 529 514 513 501 498 487 484 484 483 474 472 444 441 428 426 413 400 387 386 385 385 383 373 370 369 356 355 344 343 326 300 299 298 288 257 257 256 255 255 245 242 242 242 241 240 231 229 198 171 170 160 156 155 144 130 127 124 114 114 114 113 112 103 101 100 67 59 57 27 25 15 2 2 1657 1600 1600 1570 1560 1558 1556 1544 1542 1529 1529 1529 1529 1528 1526 1526 1513 1503 1501 1471 1469 1461 1428 1427 1425 1416 1415 1414 1414 1414 1404 1401 1398 1384 1373 1372 1368 1358 1357 1330 1299 1297 1288 1287 1286 1286 1286 1283 1273 1273 1272 1271 1271 1240 1230 1229 1228 1202 1185 1184 1173 1172 1159 1158 1155 1145 1143 1143 1142 1141 1128 1115 1102 1100 1087 1084 1056 1054 1045 1044 1044 1041 1030 1027 1015 1014 999 997 997 987 987 987 987 959 940 928 916 914 913 913 902 900 900 899 888 886 868 859 859 859 843 831 815 811 801 798 785 785 774 772 771 758 757 755 744 744 731 728 718 714 698 686 670 670 670 661 643 641 630 629 629 627 616 616 615 613 601 589 570 542 542 542 542 532 532 530 515 514 502 499 488 485 485 484 475 473 445 442 429 427 414 401 388 387 386 386 384 374 371 370 357 356 345 344 327 301 300 299 289 258 258 257 256 256 246 243 243 243 242 241 232 230 199 172 171 161 157 156 145 131 128 125 115 115 115 114 113 104 102 101 68 60 58 28 26 16 3 3 1 1657 1600 1600 1570 1560 1558 1556 1544 1542 1529 1529 1529 1529 1528 1526 1526 1513 1503 1501 1471 1469 1461 1428 1427 1425 1416 1415 1414 1414 1414 1404 1401 1398 1384 1373 1372 1368 1358 1357 1330 1299 1297 1288 1287 1286 1286 1286 1283 1273 1273 1272 1271 1271 1240 1230 1229 1228 1202 1185 1184 1173 1172 1159 1158 1155 1145 1143 1143 1142 1141 1128 1115 1102 1100 1087 1084 1056 1054 1045 1044 1044 1041 1030 1027 1015 1014 999 997 997 987 987 987 987 959 940 928 916 914 913 913 902 900 900 899 888 886 868 859 859 859 843 831 815 811 801 798 785 785 774 772 771 758 757 755 744 744 731 728 718 714 698 686 670 670 670 661 643 641 630 629 629 627 616 616 615 613 601 589 570 542 542 542 542 532 532 530 515 514 502 499 488 485 485 484 475 473 445 442 429 427 414 401 388 387 386 386 384 374 371 370 357 356 345 344 327 301 300 299 289 258 258 257 256 256 246 243 243 243 242 241 232 230 199 172 171 161 157 156 145 131 128 125 115 115 115 114 113 104 102 101 68 60 58 28 26 16 3 3 1 1657 1600 1600 1570 1560 1558 1556 1544 1542 1529 1529 1529 1529 1528 1526 1526 1513 1503 1501 1471 1469 1461 1428 1427 1425 1416 1415 1414 1414 1414 1404 1401 1398 1384 1373 1372 1368 1358 1357 1330 1299 1297 1288 1287 1286 1286 1286 1283 1273 1273 1272 1271 1271 1240 1230 1229 1228 1202 1185 1184 1173 1172 1159 1158 1155 1145 1143 1143 1142 1141 1128 1115 1102 1100 1087 1084 1056 1054 1045 1044 1044 1041 1030 1027 1015 1014 999 997 997 987 987 987 987 959 940 928 916 914 913 913 902 900 900 899 888 886 868 859 859 859 843 831 815 811 801 798 785 785 774 772 771 758 757 755 744 744 731 728 718 714 698 686 670 670 670 661 643 641 630 629 629 627 616 616 615 613 601 589 570 542 542 542 542 532 532 530 515 514 502 499 488 485 485 484 475 473 445 442 429 427 414 401 388 387 386 386 384 374 371 370 357 356 345 344 327 301 300 299 289 258 258 257 256 256 246 243 243 243 242 241 232 230 199 172 171 161 157 156 145 131 128 125 115 115 115 114 113 104 102 101 68 60 58 28 26 16 3 3 1 1657 1600 1600 1570 1560 1558 1556 1544 1542 1529 1529 1529 1529 1528 1526 1526 1513 1503 1501 1471 1469 1461 1428 1427 1425 1416 1415 1414 1414 1414 1404 1401 1398 1384 1373 1372 1368 1358 1357 1330 1299 1297 1288 1287 1286 1286 1286 1283 1273 1273 1272 1271 1271 1240 1230 1229 1228 1202 1185 1184 1173 1172 1159 1158 1155 1145 1143 1143 1142 1141 1128 1115 1102 1100 1087 1084 1056 1054 1045 1044 1044 1041 1030 1027 1015 1014 999 997 997 987 987 987 987 959 940 928 916 914 913 913 902 900 900 899 888 886 868 859 859 859 843 831 815 811 801 798 785 785 774 772 771 758 757 755 744 744 731 728 718 714 698 686 670 670 670 661 643 641 630 629 629 627 616 616 615 613 601 589 570 542 542 542 542 532 532 530 515 514 502 499 488 485 485 484 475 473 445 442 429 427 414 401 388 387 386 386 384 374 371 370 357 356 345 344 327 301 300 299 289 258 258 257 256 256 246 243 243 243 242 241 232 230 199 172 171 161 157 156 145 131 128 125 115 115 115 114 113 104 102 101 68 60 58 28 26 16 3 3 1 1670 1613 1613 1583 1573 1571 1569 1557 1555 1542 1542 1542 1542 1541 1539 1539 1526 1516 1514 1484 1482 1474 1441 1440 1438 1429 1428 1427 1427 1427 1417 1414 1411 1397 1386 1385 1381 1371 1370 1343 1312 1310 1301 1300 1299 1299 1299 1296 1286 1286 1285 1284 1284 1253 1243 1242 1241 1215 1198 1197 1186 1185 1172 1171 1168 1158 1156 1156 1155 1154 1141 1128 1115 1113 1100 1097 1069 1067 1058 1057 1057 1054 1043 1040 1028 1027 1012 1010 1010 1000 1000 1000 1000 972 953 941 929 927 926 926 915 913 913 912 901 899 881 872 872 872 856 844 828 824 814 811 798 798 787 785 784 771 770 768 757 757 744 741 731 727 711 699 683 683 683 674 656 654 643 642 642 640 629 629 628 626 614 602 583 555 555 555 555 545 545 543 528 527 515 512 501 498 498 497 488 486 458 455 442 440 427 414 401 400 399 399 397 387 384 383 370 369 358 357 340 314 313 312 302 271 271 270 269 269 259 256 256 256 255 254 245 243 212 185 184 174 170 169 158 144 141 138 128 128 128 127 126 117 115 114 81 73 71 41 39 29 16 16 14 13 13 13 13 1672 1615 1615 1585 1575 1573 1571 1559 1557 1544 1544 1544 1544 1543 1541 1541 1528 1518 1516 1486 1484 1476 1443 1442 1440 1431 1430 1429 1429 1429 1419 1416 1413 1399 1388 1387 1383 1373 1372 1345 1314 1312 1303 1302 1301 1301 1301 1298 1288 1288 1287 1286 1286 1255 1245 1244 1243 1217 1200 1199 1188 1187 1174 1173 1170 1160 1158 1158 1157 1156 1143 1130 1117 1115 1102 1099 1071 1069 1060 1059 1059 1056 1045 1042 1030 1029 1014 1012 1012 1002 1002 1002 1002 974 955 943 931 929 928 928 917 915 915 914 903 901 883 874 874 874 858 846 830 826 816 813 800 800 789 787 786 773 772 770 759 759 746 743 733 729 713 701 685 685 685 676 658 656 645 644 644 642 631 631 630 628 616 604 585 557 557 557 557 547 547 545 530 529 517 514 503 500 500 499 490 488 460 457 444 442 429 416 403 402 401 401 399 389 386 385 372 371 360 359 342 316 315 314 304 273 273 272 271 271 261 258 258 258 257 256 247 245 214 187 186 176 172 171 160 146 143 140 130 130 130 129 128 119 117 116 83 75 73 43 41 31 18 18 16 15 15 15 15 2 1684 1627 1627 1597 1587 1585 1583 1571 1569 1556 1556 1556 1556 1555 1553 1553 1540 1530 1528 1498 1496 1488 1455 1454 1452 1443 1442 1441 1441 1441 1431 1428 1425 1411 1400 1399 1395 1385 1384 1357 1326 1324 1315 1314 1313 1313 1313 1310 1300 1300 1299 1298 1298 1267 1257 1256 1255 1229 1212 1211 1200 1199 1186 1185 1182 1172 1170 1170 1169 1168 1155 1142 1129 1127 1114 1111 1083 1081 1072 1071 1071 1068 1057 1054 1042 1041 1026 1024 1024 1014 1014 1014 1014 986 967 955 943 941 940 940 929 927 927 926 915 913 895 886 886 886 870 858 842 838 828 825 812 812 801 799 798 785 784 782 771 771 758 755 745 741 725 713 697 697 697 688 670 668 657 656 656 654 643 643 642 640 628 616 597 569 569 569 569 559 559 557 542 541 529 526 515 512 512 511 502 500 472 469 456 454 441 428 415 414 413 413 411 401 398 397 384 383 372 371 354 328 327 326 316 285 285 284 283 283 273 270 270 270 269 268 259 257 226 199 198 188 184 183 172 158 155 152 142 142 142 141 140 131 129 128 95 87 85 55 53 43 30 30 28 27 27 27 27 14 12 1686 1629 1629 1599 1589 1587 1585 1573 1571 1558 1558 1558 1558 1557 1555 1555 1542 1532 1530 1500 1498 1490 1457 1456 1454 1445 1444 1443 1443 1443 1433 1430 1427 1413 1402 1401 1397 1387 1386 1359 1328 1326 1317 1316 1315 1315 1315 1312 1302 1302 1301 1300 1300 1269 1259 1258 1257 1231 1214 1213 1202 1201 1188 1187 1184 1174 1172 1172 1171 1170 1157 1144 1131 1129 1116 1113 1085 1083 1074 1073 1073 1070 1059 1056 1044 1043 1028 1026 1026 1016 1016 1016 1016 988 969 957 945 943 942 942 931 929 929 928 917 915 897 888 888 888 872 860 844 840 830 827 814 814 803 801 800 787 786 784 773 773 760 757 747 743 727 715 699 699 699 690 672 670 659 658 658 656 645 645 644 642 630 618 599 571 571 571 571 561 561 559 544 543 531 528 517 514 514 513 504 502 474 471 458 456 443 430 417 416 415 415 413 403 400 399 386 385 374 373 356 330 329 328 318 287 287 286 285 285 275 272 272 272 271 270 261 259 228 201 200 190 186 185 174 160 157 154 144 144 144 143 142 133 131 130 97 89 87 57 55 45 32 32 30 29 29 29 29 16 14 2 1688 1631 1631 1601 1591 1589 1587 1575 1573 1560 1560 1560 1560 1559 1557 1557 1544 1534 1532 1502 1500 1492 1459 1458 1456 1447 1446 1445 1445 1445 1435 1432 1429 1415 1404 1403 1399 1389 1388 1361 1330 1328 1319 1318 1317 1317 1317 1314 1304 1304 1303 1302 1302 1271 1261 1260 1259 1233 1216 1215 1204 1203 1190 1189 1186 1176 1174 1174 1173 1172 1159 1146 1133 1131 1118 1115 1087 1085 1076 1075 1075 1072 1061 1058 1046 1045 1030 1028 1028 1018 1018 1018 1018 990 971 959 947 945 944 944 933 931 931 930 919 917 899 890 890 890 874 862 846 842 832 829 816 816 805 803 802 789 788 786 775 775 762 759 749 745 729 717 701 701 701 692 674 672 661 660 660 658 647 647 646 644 632 620 601 573 573 573 573 563 563 561 546 545 533 530 519 516 516 515 506 504 476 473 460 458 445 432 419 418 417 417 415 405 402 401 388 387 376 375 358 332 331 330 320 289 289 288 287 287 277 274 274 274 273 272 263 261 230 203 202 192 188 187 176 162 159 156 146 146 146 145 144 135 133 132 99 91 89 59 57 47 34 34 32 31 31 31 31 18 16 4 2 1698 1641 1641 1611 1601 1599 1597 1585 1583 1570 1570 1570 1570 1569 1567 1567 1554 1544 1542 1512 1510 1502 1469 1468 1466 1457 1456 1455 1455 1455 1445 1442 1439 1425 1414 1413 1409 1399 1398 1371 1340 1338 1329 1328 1327 1327 1327 1324 1314 1314 1313 1312 1312 1281 1271 1270 1269 1243 1226 1225 1214 1213 1200 1199 1196 1186 1184 1184 1183 1182 1169 1156 1143 1141 1128 1125 1097 1095 1086 1085 1085 1082 1071 1068 1056 1055 1040 1038 1038 1028 1028 1028 1028 1000 981 969 957 955 954 954 943 941 941 940 929 927 909 900 900 900 884 872 856 852 842 839 826 826 815 813 812 799 798 796 785 785 772 769 759 755 739 727 711 711 711 702 684 682 671 670 670 668 657 657 656 654 642 630 611 583 583 583 583 573 573 571 556 555 543 540 529 526 526 525 516 514 486 483 470 468 455 442 429 428 427 427 425 415 412 411 398 397 386 385 368 342 341 340 330 299 299 298 297 297 287 284 284 284 283 282 273 271 240 213 212 202 198 197 186 172 169 166 156 156 156 155 154 145 143 142 109 101 99 69 67 57 44 44 42 41 41 41 41 28 26 14 12 10 1728 1671 1671 1641 1631 1629 1627 1615 1613 1600 1600 1600 1600 1599 1597 1597 1584 1574 1572 1542 1540 1532 1499 1498 1496 1487 1486 1485 1485 1485 1475 1472 1469 1455 1444 1443 1439 1429 1428 1401 1370 1368 1359 1358 1357 1357 1357 1354 1344 1344 1343 1342 1342 1311 1301 1300 1299 1273 1256 1255 1244 1243 1230 1229 1226 1216 1214 1214 1213 1212 1199 1186 1173 1171 1158 1155 1127 1125 1116 1115 1115 1112 1101 1098 1086 1085 1070 1068 1068 1058 1058 1058 1058 1030 1011 999 987 985 984 984 973 971 971 970 959 957 939 930 930 930 914 902 886 882 872 869 856 856 845 843 842 829 828 826 815 815 802 799 789 785 769 757 741 741 741 732 714 712 701 700 700 698 687 687 686 684 672 660 641 613 613 613 613 603 603 601 586 585 573 570 559 556 556 555 546 544 516 513 500 498 485 472 459 458 457 457 455 445 442 441 428 427 416 415 398 372 371 370 360 329 329 328 327 327 317 314 314 314 313 312 303 301 270 243 242 232 228 227 216 202 199 196 186 186 186 185 184 175 173 172 139 131 129 99 97 87 74 74 72 71 71 71 71 58 56 44 42 40 30 1728 1671 1671 1641 1631 1629 1627 1615 1613 1600 1600 1600 1600 1599 1597 1597 1584 1574 1572 1542 1540 1532 1499 1498 1496 1487 1486 1485 1485 1485 1475 1472 1469 1455 1444 1443 1439 1429 1428 1401 1370 1368 1359 1358 1357 1357 1357 1354 1344 1344 1343 1342 1342 1311 1301 1300 1299 1273 1256 1255 1244 1243 1230 1229 1226 1216 1214 1214 1213 1212 1199 1186 1173 1171 1158 1155 1127 1125 1116 1115 1115 1112 1101 1098 1086 1085 1070 1068 1068 1058 1058 1058 1058 1030 1011 999 987 985 984 984 973 971 971 970 959 957 939 930 930 930 914 902 886 882 872 869 856 856 845 843 842 829 828 826 815 815 802 799 789 785 769 757 741 741 741 732 714 712 701 700 700 698 687 687 686 684 672 660 641 613 613 613 613 603 603 601 586 585 573 570 559 556 556 555 546 544 516 513 500 498 485 472 459 458 457 457 455 445 442 441 428 427 416 415 398 372 371 370 360 329 329 328 327 327 317 314 314 314 313 312 303 301 270 243 242 232 228 227 216 202 199 196 186 186 186 185 184 175 173 172 139 131 129 99 97 87 74 74 72 71 71 71 71 58 56 44 42 40 30 1785 1728 1728 1698 1688 1686 1684 1672 1670 1657 1657 1657 1657 1656 1654 1654 1641 1631 1629 1599 1597 1589 1556 1555 1553 1544 1543 1542 1542 1542 1532 1529 1526 1512 1501 1500 1496 1486 1485 1458 1427 1425 1416 1415 1414 1414 1414 1411 1401 1401 1400 1399 1399 1368 1358 1357 1356 1330 1313 1312 1301 1300 1287 1286 1283 1273 1271 1271 1270 1269 1256 1243 1230 1228 1215 1212 1184 1182 1173 1172 1172 1169 1158 1155 1143 1142 1127 1125 1125 1115 1115 1115 1115 1087 1068 1056 1044 1042 1041 1041 1030 1028 1028 1027 1016 1014 996 987 987 987 971 959 943 939 929 926 913 913 902 900 899 886 885 883 872 872 859 856 846 842 826 814 798 798 798 789 771 769 758 757 757 755 744 744 743 741 729 717 698 670 670 670 670 660 660 658 643 642 630 627 616 613 613 612 603 601 573 570 557 555 542 529 516 515 514 514 512 502 499 498 485 484 473 472 455 429 428 427 417 386 386 385 384 384 374 371 371 371 370 369 360 358 327 300 299 289 285 284 273 259 256 253 243 243 243 242 241 232 230 229 196 188 186 156 154 144 131 131 129 128 128 128 128 115 113 101 99 97 87 57 57'" ] }, "execution_count": 17, "metadata": {}, "output_type": "execute_result" } ], "source": [ "def convolution(spectrum):\n", " \n", " \"\"\"Input: A collection of integers Spectrum.\n", " Output: The list of elements in the convolution of Spectrum. If an element has\n", " multiplicity k, it should appear exactly k times; you may return the elements in any order.\"\"\"\n", " \n", " spectrum = sorted(spectrum)\n", " return [i-j for i in spectrum for j in spectrum if i-j > 0] \n", "\n", "#Read input data\n", "f = open('input/rosalind_ba4h.txt')\n", "spectrum = map(int, f.read().strip().split())\n", "\n", "# Call function\n", "ans = convolution(spectrum)\n", "\n", "#Output in right format\n", "' '.join(str(i) for i in ans)" ] } ], "metadata": { "kernelspec": { "display_name": "Python 2", "language": "python", "name": "python2" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 2 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython2", "version": "2.7.5" } }, "nbformat": 4, "nbformat_minor": 0 }