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