IDLSet bug

bench.rs

fn bench_set_intersection_group<M: Measurement, I: Iterator<Item = u64>, SI: Iterator<Item = (usize, u64)>, F>(
    group: &mut BenchmarkGroup<'_, M>,
    its: F,
    sizes: SI,
) where
    F: Fn() -> Vec<I>,
{
    for (i, chksum) in sizes {
        group.bench_with_input(BenchmarkId::new("HashSet", i), &i, |b, i| {
            let s: Vec<HashSet<u64>> = its().into_iter().map(|it| HashSet::from_iter(it.take(*i))).collect();
            b.iter(|| {
                let tmp = HashSet::<u64>::from_iter(s[0].intersection(&s[1]).cloned());
                let sm: u64 = s[1..]
                    .iter()
                    .fold(tmp, |p, n| HashSet::<u64>::from_iter(p.intersection(n).cloned()))
                    .iter()
                    .sum();
                assert_eq!(chksum, sm);
                sm
            })
        });
        group.bench_with_input(BenchmarkId::new("BTreeSet", i), &i, |b, i| {
            let s: Vec<BTreeSet<u64>> = its().into_iter().map(|it| BTreeSet::from_iter(it.take(*i))).collect();
            b.iter(|| {
                let tmp = BTreeSet::<u64>::from_iter(s[0].intersection(&s[1]).cloned());
                let sm: u64 = s[1..]
                    .iter()
                    .fold(tmp, |p, n| BTreeSet::<u64>::from_iter(p.intersection(n).cloned()))
                    .iter()
                    .sum();
                assert_eq!(chksum, sm);
                sm
            })
        });
        group.bench_with_input(BenchmarkId::new("IDLSet", i), &i, |b, i| {
            let s: Vec<IDLBitRange> = its().into_iter().map(|it| IDLBitRange::from_iter(it.take(*i))).collect();
            b.iter(|| {
                let tmp = &s[0] & &s[1];
                let sm: u64 = s[1..].iter().fold(tmp, |x, y| &x & y).sum();
                assert_eq!(chksum, sm);
                sm
            })
        });
    }
}

  
    
fn bench_set_random(c: &mut Criterion) {
    let mut group = c.benchmark_group("set-intersection/random");
    bench_set_intersection_group(
        &mut group,
        || vec![RANDOM_SET_10000[0..].iter().cloned(), RANDOM_SET_10000[5000..].iter().cloned()],
        [(1000, 194240), (2500, 412796), (5000, 496254)].iter().cloned(),
    );
    group.finish();
}

random.rs

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