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