---------------------------------------------------------------------------------------------------- 10 256 333 808 841 916 130 584 276 809 182 186 891 110 690 864 764 730 593 278 829 454 843 624 681 607 488 277 427 513 274 612 769 507 472 662 475 502 246 651 364 381 789 255 391 480 172 155 210 665 386 992 172 229 668 805 788 156 134 215 621 308 780 390 767 252 953 242 655 251 846 971 532 635 226 823 115 298 931 278 916 317 270 988 498 890 845 338 946 879 505 619 187 285 909 854 438 914 148 145 218 894 116 650 530 294 526 597 493 509 775 409 726 997 449 276 887 346 514 885 225 919 504 312 257 466 218 647 432 266 692 550 161 760 253 643 954 731 292 499 240 968 860 918 117 361 194 905 607 608 842 732 579 347 944 788 713 214 435 145 381 127 648 494 787 853 189 794 584 381 293 724 401 154 642 419 415 788 376 923 448 218 655 979 465 652 768 230 818 203 328 199 231 928 645 970 781 786 816 417 168 110 141 521 216 735 840 531 575 268 506 923 439 214 902 856 818 722 987 636 826 367 788 109 295 433 979 976 220 848 393 340 858 486 761 974 273 654 557 800 822 116 723 313 230 677 170 948 400 157 636 226 476 424 235 671 810 266 +++ 256 insertions made [ 997 992 988 987 979 979 976 974 971 970 ] [ 954 953 946 944 931 928 923 923 919 902 ] [ 968 948 918 916 916 914 909 905 887 885 ] [ 846 845 843 841 818 794 788 788 787 768 ] [ 894 891 890 879 864 856 854 853 848 840 ] [ 860 858 842 822 810 800 767 761 726 723 ] [ 809 808 805 789 788 780 760 732 731 655 ] [ 651 648 635 619 593 584 584 579 532 507 ] [ 730 724 713 665 662 655 652 642 505 502 ] [ 769 764 735 650 645 597 575 531 530 526 ] [ 829 826 823 818 816 788 786 781 775 722 ] [ 690 681 677 668 654 647 636 557 550 514 ] [ 692 671 488 476 466 449 432 427 424 346 ] [ 513 499 390 292 253 252 251 242 240 161 ] [ 643 624 621 612 608 607 607 361 194 117 ] [ 246 226 214 186 182 145 130 115 110 127 ] [ 494 435 381 381 347 293 278 278 276 189 ] [ 381 376 364 338 333 317 298 270 154 218 ] [ 498 465 448 419 415 401 230 203 328 199 ] [ 231 218 210 187 172 155 148 145 168 110 ] [ 521 509 506 417 386 285 268 255 216 141 ] [ 472 454 439 438 409 391 294 214 116 367 ] [ 636 493 480 475 433 295 220 109 393 340 ] [ 276 274 273 229 225 215 172 156 134 116 ] [ 504 486 400 313 308 277 230 170 157 226 ] [ 312 266 257 235 218 266 ] +++ 256 deletions made +++ Input array sorted 109 110 110 115 116 116 117 127 130 134 141 145 145 148 154 155 156 157 161 168 170 172 172 182 186 187 189 194 199 203 210 214 214 215 216 218 218 218 220 225 226 226 229 230 230 231 235 240 242 246 251 252 253 255 257 266 266 268 270 273 274 276 276 277 278 278 285 292 293 294 295 298 308 312 313 317 328 333 338 340 346 347 361 364 367 376 381 381 381 386 390 391 393 400 401 409 415 417 419 424 427 432 433 435 438 439 448 449 454 465 466 472 475 476 480 486 488 493 494 498 499 502 504 505 506 507 509 513 514 521 526 530 531 532 550 557 575 579 584 584 593 597 607 607 608 612 619 621 624 635 636 636 642 643 645 647 648 650 651 652 654 655 655 662 665 668 671 677 681 690 692 713 722 723 724 726 730 731 732 735 760 761 764 767 768 769 775 780 781 786 787 788 788 788 788 789 794 800 805 808 809 810 816 818 818 822 823 826 829 840 841 842 843 845 846 848 853 854 856 858 860 864 879 885 887 890 891 894 902 905 909 914 916 916 918 919 923 923 928 931 944 946 948 953 954 968 970 971 974 976 979 979 987 988 992 997 ---------------------------------------------------------------------------------------------------- 16 512 354 249 653 183 526 793 146 693 385 782 822 863 698 126 720 467 363 480 755 146 225 428 909 752 779 432 882 264 709 125 234 964 274 839 147 701 633 246 446 918 928 320 833 678 346 553 197 661 934 852 759 211 281 668 915 112 100 797 276 709 874 462 725 149 302 825 802 887 971 248 857 899 468 690 629 766 243 726 427 229 631 186 392 864 754 307 876 806 157 205 567 931 619 293 980 821 118 834 760 141 982 617 992 502 359 621 268 555 399 595 736 982 681 129 846 487 336 775 293 445 880 813 377 499 106 409 373 176 244 185 269 226 755 261 681 114 834 849 621 233 445 358 268 178 387 114 566 675 841 811 121 773 624 450 273 682 759 598 810 903 735 979 182 490 240 763 557 126 612 178 312 109 488 480 188 827 494 654 555 388 517 628 161 142 978 386 724 737 884 535 693 672 566 775 214 707 590 671 785 254 802 997 264 342 477 352 170 924 958 677 312 475 305 373 517 283 660 294 972 596 781 665 268 347 492 435 106 134 106 792 289 860 789 453 255 319 757 325 243 715 902 507 190 259 780 660 442 492 854 466 989 635 184 309 882 628 644 941 663 703 733 904 615 574 357 770 793 114 147 936 781 101 495 871 260 276 531 654 720 437 121 761 124 257 971 959 785 667 900 500 422 633 404 938 207 661 760 901 727 808 889 508 809 385 432 122 613 915 676 385 353 749 147 429 906 118 388 692 737 288 244 160 873 549 150 981 210 810 934 890 670 875 450 532 312 782 554 877 750 230 263 155 932 310 484 838 380 773 582 117 113 727 229 887 276 279 920 438 142 854 380 764 781 731 296 994 565 802 871 315 985 134 422 917 396 807 755 676 632 390 694 645 117 875 584 345 207 504 735 249 410 116 965 192 799 262 186 416 964 109 632 949 196 106 866 492 813 674 221 497 116 867 195 185 742 679 430 849 236 217 150 546 233 116 690 984 278 828 401 294 838 985 296 986 991 214 530 857 788 651 354 804 518 449 889 261 129 371 162 317 489 213 763 674 229 506 711 459 334 112 705 224 997 901 262 140 116 693 897 856 344 252 713 763 601 654 976 682 926 138 899 467 303 715 193 432 221 804 843 507 868 549 684 917 450 846 958 518 539 855 375 784 159 140 599 661 694 627 395 672 665 295 +++ 512 insertions made [ 997 997 994 992 991 989 986 985 985 984 982 982 981 980 979 978 ] [ 958 941 938 936 934 934 932 931 928 924 920 918 915 906 904 902 ] [ 976 972 971 971 965 964 964 959 958 949 926 917 917 915 909 903 ] [ 901 855 854 849 846 841 834 827 825 822 813 811 810 809 808 802 ] [ 900 890 889 887 882 882 880 877 876 875 873 871 854 838 810 802 ] [ 867 866 864 863 860 857 852 849 839 838 834 833 828 821 813 807 ] [ 901 899 899 897 889 887 884 875 874 871 868 857 856 846 843 806 ] [ 797 793 784 720 709 709 703 694 681 681 672 665 663 661 660 644 ] [ 793 785 781 780 770 761 760 755 752 733 727 726 725 720 667 661 ] [ 759 755 749 737 735 692 690 682 676 675 670 668 629 624 613 549 ] [ 782 782 781 779 775 773 773 766 764 763 759 750 731 727 612 598 ] [ 707 701 698 694 693 693 676 672 671 654 645 632 628 590 584 504 ] [ 799 775 760 755 754 742 737 736 735 724 690 679 674 632 567 566 ] [ 715 711 705 678 677 674 665 661 660 653 651 633 631 555 530 518 ] [ 804 804 802 792 789 788 785 781 763 763 757 715 713 693 684 682 ] [ 635 628 627 621 615 599 574 539 518 507 499 395 375 295 234 225 ] [ 492 487 466 445 445 442 409 377 357 309 264 259 249 147 114 101 ] [ 281 276 276 269 268 261 260 257 244 233 226 185 178 124 121 114 ] [ 654 633 531 508 500 495 437 422 404 373 358 354 336 293 207 385 ] [ 387 385 385 363 353 302 273 248 243 229 147 122 121 118 114 288 ] [ 532 467 462 450 450 432 432 429 428 427 388 312 244 210 160 150 ] [ 480 468 380 312 310 263 240 230 188 182 178 155 126 117 113 109 ] [ 582 566 565 557 554 490 488 484 480 438 380 296 279 276 229 142 ] [ 346 320 315 307 293 274 246 205 197 186 161 157 147 142 134 117 ] [ 422 416 410 396 392 390 388 386 345 262 249 207 192 186 116 109 ] [ 494 492 477 446 352 342 264 254 221 214 196 195 185 170 116 106 ] [ 555 553 546 535 526 517 497 430 401 294 278 236 233 217 150 116 ] [ 359 354 347 312 305 296 294 283 268 268 214 141 118 261 129 371 ] [ 517 506 502 489 475 459 449 399 373 334 317 229 224 213 162 112 ] [ 453 435 344 325 319 289 262 255 252 243 140 134 116 106 106 138 ] [ 654 621 619 617 601 596 595 549 507 492 467 450 432 303 221 193 ] [ 211 190 184 183 176 159 149 146 146 140 129 126 125 112 106 100 ] +++ 512 deletions made +++ Input array sorted 100 101 106 106 106 106 109 109 112 112 113 114 114 114 116 116 116 116 117 117 118 118 121 121 122 124 125 126 126 129 129 134 134 138 140 140 141 142 142 146 146 147 147 147 149 150 150 155 157 159 160 161 162 170 176 178 178 182 183 184 185 185 186 186 188 190 192 193 195 196 197 205 207 207 210 211 213 214 214 217 221 221 224 225 226 229 229 229 230 233 233 234 236 240 243 243 244 244 246 248 249 249 252 254 255 257 259 260 261 261 262 262 263 264 264 268 268 268 269 273 274 276 276 276 278 279 281 283 288 289 293 293 294 294 295 296 296 302 303 305 307 309 310 312 312 312 315 317 319 320 325 334 336 342 344 345 346 347 352 353 354 354 357 358 359 363 371 373 373 375 377 380 380 385 385 385 386 387 388 388 390 392 395 396 399 401 404 409 410 416 422 422 427 428 429 430 432 432 432 435 437 438 442 445 445 446 449 450 450 450 453 459 462 466 467 467 468 475 477 480 480 484 487 488 489 490 492 492 492 494 495 497 499 500 502 504 506 507 507 508 517 517 518 518 526 530 531 532 535 539 546 549 549 553 554 555 555 557 565 566 566 567 574 582 584 590 595 596 598 599 601 612 613 615 617 619 621 621 624 627 628 628 629 631 632 632 633 633 635 644 645 651 653 654 654 654 660 660 661 661 661 663 665 665 667 668 670 671 672 672 674 674 675 676 676 677 678 679 681 681 682 682 684 690 690 692 693 693 693 694 694 698 701 703 705 707 709 709 711 713 715 715 720 720 724 725 726 727 727 731 733 735 735 736 737 737 742 749 750 752 754 755 755 755 757 759 759 760 760 761 763 763 763 764 766 770 773 773 775 775 779 780 781 781 781 782 782 784 785 785 788 789 792 793 793 797 799 802 802 802 804 804 806 807 808 809 810 810 811 813 813 821 822 825 827 828 833 834 834 838 838 839 841 843 846 846 849 849 852 854 854 855 856 857 857 860 863 864 866 867 868 871 871 873 874 875 875 876 877 880 882 882 884 887 887 889 889 890 897 899 899 900 901 901 902 903 904 906 909 915 915 917 917 918 920 924 926 928 931 932 934 934 936 938 941 949 958 958 959 964 964 965 971 971 972 976 978 979 980 981 982 982 984 985 985 986 989 991 992 994 997 997 ---------------------------------------------------------------------------------------------------- 32 1024 931 211 934 695 189 311 117 549 947 753 247 945 858 541 190 282 468 749 453 240 733 194 528 531 411 629 642 730 589 744 894 573 908 880 268 149 243 337 599 242 991 798 187 849 392 277 183 812 927 537 952 712 683 481 295 147 162 837 777 651 634 723 276 594 655 445 695 850 734 346 992 777 145 232 627 437 461 762 249 388 299 253 153 935 686 348 134 748 238 811 452 824 587 628 418 294 125 165 197 760 412 241 537 509 373 216 898 735 879 147 175 230 352 228 217 939 529 251 687 667 115 139 491 654 720 861 848 745 926 945 505 390 187 995 799 512 263 697 247 194 796 375 325 149 503 494 140 984 646 727 651 661 819 194 367 539 955 215 284 934 213 742 324 352 789 176 764 952 773 964 147 622 339 424 723 794 818 763 779 516 542 482 229 361 577 496 852 584 612 137 570 777 831 795 129 672 923 845 624 748 861 723 370 200 199 993 947 970 808 778 486 351 312 616 664 789 112 517 426 676 606 896 453 489 743 534 161 666 432 737 415 293 513 737 446 612 783 393 634 591 223 121 894 435 637 559 277 701 128 603 378 634 551 783 175 347 370 236 913 702 873 380 947 438 118 393 951 801 738 585 444 861 658 339 349 347 850 526 949 878 181 379 564 632 214 639 931 536 775 845 238 700 277 238 139 295 531 142 148 322 679 493 183 390 784 432 637 634 910 638 512 991 969 128 676 184 667 607 672 494 504 811 246 682 101 337 929 532 431 130 806 111 523 942 401 359 426 990 893 337 629 457 328 650 485 956 786 204 564 459 598 120 322 796 702 323 134 684 807 465 714 614 528 289 556 881 548 882 872 493 219 553 850 500 203 387 456 942 491 972 401 141 993 623 837 747 846 923 431 653 389 197 319 869 386 827 751 886 710 623 379 881 228 281 433 383 568 790 325 111 762 626 204 807 249 942 555 147 917 938 753 358 136 972 228 422 800 879 361 562 554 640 443 682 822 777 117 442 619 343 454 433 921 558 241 223 552 748 270 470 686 923 728 722 948 908 197 800 787 458 362 341 998 757 975 872 586 993 315 205 388 721 591 309 331 732 432 784 532 603 306 218 578 986 841 578 895 990 378 734 448 640 976 498 450 103 423 936 996 690 142 436 411 633 646 694 417 978 530 849 633 736 119 264 775 912 742 722 902 121 508 402 713 536 801 163 540 276 100 588 866 194 925 329 779 571 923 248 601 454 997 287 242 168 451 969 981 193 743 935 214 252 338 880 688 191 943 228 367 995 717 285 189 694 514 868 265 437 168 818 843 217 105 138 286 456 107 319 602 751 254 768 903 492 648 591 635 592 772 954 639 541 239 729 235 653 649 452 143 718 270 938 835 276 976 121 684 984 340 286 787 547 107 690 991 655 333 627 299 105 581 839 598 721 568 733 426 269 185 521 887 356 460 775 584 436 848 320 472 241 559 259 688 566 849 679 221 235 358 473 292 840 312 791 613 832 524 939 101 610 461 941 918 821 768 554 309 616 826 682 809 385 841 497 903 743 229 177 878 487 550 170 379 762 861 892 646 438 884 647 100 345 640 970 218 408 576 479 977 402 161 786 740 955 336 643 698 517 720 628 956 270 750 336 984 664 280 630 102 164 330 102 461 870 972 631 331 548 111 360 902 224 198 642 179 486 286 829 903 958 457 912 281 260 248 265 824 480 848 826 545 178 880 958 100 904 590 383 504 601 695 406 777 794 101 857 280 339 738 236 297 248 148 530 408 348 748 232 728 596 110 325 726 890 336 778 794 826 214 298 479 809 656 256 603 657 165 836 896 856 972 246 104 172 676 412 472 424 596 252 972 606 478 750 496 766 529 342 592 695 592 123 504 248 331 160 858 397 948 806 253 920 952 309 144 681 621 516 157 217 668 130 775 198 832 271 864 361 565 508 956 157 531 513 357 815 573 215 212 521 974 417 493 978 626 589 659 299 157 769 468 725 799 243 876 631 466 792 945 931 301 953 140 784 518 397 599 143 513 763 616 539 180 161 517 758 650 177 109 707 846 529 485 697 672 361 380 190 153 377 173 406 383 213 191 801 511 690 845 976 454 461 515 586 523 932 397 225 161 458 833 959 888 318 656 612 631 989 755 736 366 828 143 701 942 234 503 505 876 348 481 330 761 948 869 284 880 318 410 994 676 295 953 616 565 610 229 196 651 884 832 969 764 875 671 706 161 174 211 938 474 644 320 235 592 241 472 525 459 834 571 188 129 524 704 594 186 885 742 737 821 626 707 586 502 378 344 615 504 508 553 878 152 774 113 697 967 537 274 427 371 745 567 452 +++ 1024 insertions made [ 998 997 996 995 995 994 993 993 993 992 991 991 991 990 990 989 986 984 984 984 981 978 978 977 976 976 976 975 974 972 972 972 ] [ 967 956 956 955 955 954 952 952 951 949 948 947 947 947 945 945 943 942 942 942 941 939 939 938 936 935 925 923 918 913 912 910 ] [ 972 972 970 970 969 969 969 964 959 958 958 956 953 953 952 948 948 945 942 938 938 935 934 934 932 931 931 931 929 927 926 923 ] [ 908 885 879 878 878 873 868 866 861 861 861 858 852 850 849 845 843 841 835 821 818 811 806 801 801 798 796 786 784 783 783 779 ] [ 903 903 902 902 898 896 895 894 894 893 892 887 884 880 880 878 870 861 849 848 841 840 839 832 826 821 809 791 787 786 775 768 ] [ 881 881 880 879 872 872 869 864 858 857 856 850 850 849 848 848 846 845 837 837 836 832 831 829 826 826 824 815 809 806 794 794 ] [ 923 923 921 920 917 912 908 904 903 896 890 888 886 884 882 880 876 876 875 869 846 845 834 833 832 828 827 824 822 819 818 812 ] [ 777 777 775 775 774 745 742 737 707 704 697 687 667 666 661 658 654 651 646 646 640 639 637 634 634 633 633 632 626 615 612 603 ] [ 772 768 762 751 743 742 736 734 729 727 723 722 720 718 717 713 712 702 701 697 694 694 690 688 684 653 649 648 639 635 602 592 ] [ 721 700 690 688 682 682 679 679 676 672 667 655 650 638 637 634 629 627 616 613 610 607 598 598 584 581 568 566 564 559 554 547 ] [ 762 760 753 750 749 748 745 744 743 743 740 738 737 737 735 734 733 733 730 720 698 664 647 646 643 642 640 631 630 628 576 550 ] [ 751 748 748 747 742 738 728 726 723 723 714 710 702 695 695 695 686 684 683 676 657 656 653 626 623 623 614 603 601 596 590 570 ] [ 794 790 789 789 779 778 778 777 777 775 773 766 764 763 762 750 695 681 676 668 621 606 596 592 592 573 568 565 556 553 548 542 ] [ 758 757 753 748 732 728 725 722 721 707 697 690 686 682 672 672 664 659 655 651 650 642 631 626 616 599 589 586 577 562 558 555 ] [ 811 808 807 807 801 800 800 799 799 796 795 792 787 784 784 777 769 764 763 761 755 736 706 701 676 671 656 651 644 640 634 631 ] [ 601 594 591 588 586 585 578 578 573 571 567 564 559 553 551 549 541 537 524 508 504 502 452 427 378 371 344 274 242 241 240 230 ] [ 540 539 537 536 530 508 498 454 450 448 436 423 417 411 402 378 329 306 276 264 251 248 247 243 194 163 121 119 100 287 242 168 ] [ 378 370 367 349 347 347 339 338 295 293 286 285 282 277 277 276 268 265 252 236 228 217 214 214 193 191 189 181 168 138 118 105 ] [ 591 541 537 536 534 526 514 513 492 456 452 451 446 444 438 437 435 432 415 393 393 380 379 319 276 270 254 239 235 143 121 107 ] [ 337 333 325 322 320 311 299 295 286 284 277 269 263 247 238 238 215 194 194 187 185 184 183 149 148 142 140 139 128 107 105 241 ] [ 532 531 531 529 524 521 473 472 461 460 436 426 412 411 392 390 390 375 373 367 358 356 352 340 312 309 292 259 235 221 101 385 ] [ 485 481 479 468 459 457 453 438 432 431 426 408 402 401 379 359 345 337 337 328 246 229 218 204 177 170 161 130 120 111 101 100 ] [ 548 528 523 517 512 512 509 505 504 503 497 494 494 493 491 487 461 360 336 336 331 330 280 270 224 198 164 111 102 102 179 486 ] [ 324 323 322 299 294 289 286 281 265 260 253 249 248 238 232 229 219 213 203 178 176 153 147 145 141 137 134 134 101 100 280 339 ] [ 545 530 504 480 479 457 424 418 408 406 401 388 387 383 361 352 348 348 346 339 336 325 298 297 256 248 236 232 214 165 148 110 ] [ 461 456 452 445 437 433 431 424 412 397 389 386 383 379 342 331 325 319 281 253 252 249 248 246 228 204 197 172 160 123 111 104 ] [ 531 529 528 521 516 516 513 508 504 500 496 496 493 493 491 482 478 472 465 417 361 357 309 271 217 215 212 198 157 157 144 130 ] [ 454 453 443 442 433 426 422 397 370 361 358 351 343 312 301 299 243 241 228 223 200 199 180 161 157 147 143 140 136 129 117 112 ] [ 554 552 539 529 523 518 517 517 515 513 511 489 486 485 468 466 461 454 406 383 380 377 361 213 191 190 177 173 153 109 397 225 ] [ 591 589 587 586 584 532 505 503 481 470 458 458 432 410 388 366 362 348 341 331 330 318 318 315 309 284 270 234 205 197 161 143 ] [ 629 628 627 624 622 619 616 616 612 612 610 606 603 599 594 592 565 525 474 472 459 320 295 241 235 229 211 196 174 161 571 188 ] [ 228 223 218 217 216 211 197 194 190 189 187 186 183 175 175 165 162 161 152 149 147 147 142 139 129 128 125 121 117 115 113 103 ] +++ 1024 deletions made +++ Input array sorted 100 100 100 101 101 101 102 102 103 104 105 105 107 107 109 110 111 111 111 112 113 115 117 117 118 119 120 121 121 121 123 125 128 128 129 129 130 130 134 134 136 137 138 139 139 140 140 141 142 142 143 143 143 144 145 147 147 147 147 148 148 149 149 152 153 153 157 157 157 160 161 161 161 161 161 162 163 164 165 165 168 168 170 172 173 174 175 175 176 177 177 178 179 180 181 183 183 184 185 186 187 187 188 189 189 190 190 191 191 193 194 194 194 194 196 197 197 197 198 198 199 200 203 204 204 205 211 211 212 213 213 214 214 214 215 215 216 217 217 217 218 218 219 221 223 223 224 225 228 228 228 228 229 229 229 230 232 232 234 235 235 235 236 236 238 238 238 239 240 241 241 241 241 242 242 243 243 246 246 247 247 248 248 248 248 249 249 251 252 252 253 253 254 256 259 260 263 264 265 265 268 269 270 270 270 271 274 276 276 276 277 277 277 280 280 281 281 282 284 284 285 286 286 286 287 289 292 293 294 295 295 295 297 298 299 299 299 301 306 309 309 309 311 312 312 315 318 318 319 319 320 320 322 322 323 324 325 325 325 328 329 330 330 331 331 331 333 336 336 336 337 337 337 338 339 339 339 340 341 342 343 344 345 346 347 347 348 348 348 349 351 352 352 356 357 358 358 359 360 361 361 361 361 362 366 367 367 370 370 371 373 375 377 378 378 378 379 379 379 380 380 383 383 383 385 386 387 388 388 389 390 390 392 393 393 397 397 397 401 401 402 402 406 406 408 408 410 411 411 412 412 415 417 417 418 422 423 424 424 426 426 426 427 431 431 432 432 432 433 433 435 436 436 437 437 438 438 442 443 444 445 446 448 450 451 452 452 452 453 453 454 454 454 456 456 457 457 458 458 459 459 460 461 461 461 461 465 466 468 468 470 472 472 472 473 474 478 479 479 480 481 481 482 485 485 486 486 487 489 491 491 492 493 493 493 494 494 496 496 497 498 500 502 503 503 504 504 504 504 505 505 508 508 508 509 511 512 512 513 513 513 514 515 516 516 517 517 517 518 521 521 523 523 524 524 525 526 528 528 529 529 529 530 530 531 531 531 532 532 534 536 536 537 537 537 539 539 540 541 541 542 545 547 548 548 549 550 551 552 553 553 554 554 555 556 558 559 559 562 564 564 565 565 566 567 568 568 570 571 571 573 573 576 577 578 578 581 584 584 585 586 586 586 587 588 589 589 590 591 591 591 592 592 592 592 594 594 596 596 598 598 599 599 601 601 602 603 603 603 606 606 607 610 610 612 612 612 613 614 615 616 616 616 616 619 621 622 623 623 624 626 626 626 627 627 628 628 629 629 630 631 631 631 632 633 633 634 634 634 634 635 637 637 638 639 639 640 640 640 642 642 643 644 646 646 646 647 648 649 650 650 651 651 651 653 653 654 655 655 656 656 657 658 659 661 664 664 666 667 667 668 671 672 672 672 676 676 676 676 679 679 681 682 682 682 683 684 684 686 686 687 688 688 690 690 690 694 694 695 695 695 695 697 697 697 698 700 701 701 702 702 704 706 707 707 710 712 713 714 717 718 720 720 721 721 722 722 723 723 723 725 726 727 728 728 729 730 732 733 733 734 734 735 736 736 737 737 737 738 738 740 742 742 742 743 743 743 744 745 745 747 748 748 748 748 749 750 750 751 751 753 753 755 757 758 760 761 762 762 762 763 763 764 764 766 768 768 769 772 773 774 775 775 775 775 777 777 777 777 777 778 778 779 779 783 783 784 784 784 786 786 787 787 789 789 790 791 792 794 794 794 795 796 796 798 799 799 800 800 801 801 801 806 806 807 807 808 809 809 811 811 812 815 818 818 819 821 821 822 824 824 826 826 826 827 828 829 831 832 832 832 833 834 835 836 837 837 839 840 841 841 843 845 845 845 846 846 848 848 848 849 849 849 850 850 850 852 856 857 858 858 861 861 861 861 864 866 868 869 869 870 872 872 873 875 876 876 878 878 878 879 879 880 880 880 880 881 881 882 884 884 885 886 887 888 890 892 893 894 894 895 896 896 898 902 902 903 903 903 904 908 908 910 912 912 913 917 918 920 921 923 923 923 923 925 926 927 929 931 931 931 932 934 934 935 935 936 938 938 938 939 939 941 942 942 942 942 943 945 945 945 947 947 947 948 948 948 949 951 952 952 952 953 953 954 955 955 956 956 956 958 958 959 964 967 969 969 969 970 970 972 972 972 972 972 974 975 976 976 976 977 978 978 981 984 984 984 986 989 990 990 991 991 991 992 993 993 993 994 995 995 996 997 998 ----------------------------------------------------------------------------------------------------