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