def long_series():
    return [7532, 8264, 7479, 7783, 6879, 6550, 6388, 6451, 6492,
            6567, 7866, 7319, 6934, 7824, 6812, 6654, 6503, 8021,
            7066, 7904, 7267, 6730, 7141, 7472, 8492, 7336, 7051,
            6842, 6987, 7316, 7273, 8552, 7385, 7215, 7027, 6974,
            7156, 7115, 8528, 8326, 7424, 7043, 7646, 7325, 7050,
            8936, 8319, 7222, 11231, 9592, 8179, 7748, 9193, 7431,
            7088, 7156, 7149, 7425, 7658, 9035, 7987, 7190, 7231,
            7538, 7822, 7523, 9221, 8122, 7287, 7407, 7672, 7806,
            7396, 9033, 11551, 9192, 7900, 7838, 8005, 8088, 9057,
            8330, 8038, 7679, 7234, 8005, 8335, 9629, 8634, 8635,
            9252, 9029, 8661, 7306, 7469, 9552, 8909, 9030, 8846,
            8796, 8280, 9729, 9180, 15248, 10741, 8910, 8909, 8103,
            9778, 11874, 9836, 8355, 7529, 7949, 7778, 9013, 8810,
            8063, 7586, 7801, 8082, 8007, 8009, 9050, 7821, 7830,
            7404, 7295, 7621, 9324, 8343, 7967, 7230, 8704, 7748,
            6474, 7300, 8346, 13471, 10640, 9620, 9723, 8909, 8729,
            9581, 8941, 8594, 9004, 8802, 8241, 9797, 8832, 8173,
            7513, 8126, 8165, 8009, 9061, 9481, 8696, 8124, 8097,
            8185, 8164, 9454, 11170, 8724, 8451, 8165, 8193, 8086,
            9385, 8674, 8372, 8374, 8372, 8642, 8117, 10079, 12191,
            29491, 19831, 28339, 11555, 9520, 11318, 10975, 9939, 9482,
            9685, 9362, 8977, 10854, 10048, 14070, 10620, 9798, 9595,
            9087, 11386, 10707, 10346, 10212, 10034, 10082, 9342, 11337,
            10521, 10427, 10305, 9675, 10283, 9661, 11417, 10991, 10879,
            10202, 10342, 10084, 9413, 11809, 11548, 10305, 9139, 9850,
            10168, 9255, 10896, 10183, 10076, 9106, 19092, 12009, 9694,
            11221, 11406, 10171, 9215, 8925, 9246, 8031, 7941, 8934,
            7963, 7686, 7470, 7322, 7346, 8247, 7974, 7951, 7431,
            7560, 7444, 7522, 8815, 8480, 8132, 7903, 7275, 7512,
            7440, 8962, 8487, 10817, 8973, 9336, 9841, 9677, 11145,
            9689, 9174, 9887, 9401, 9420, 9879, 11034, 9778, 9638,
            9105, 9043, 8965, 8841, 10311, 9406, 8530, 8270, 7866,
            9435, 8421, 10209, 8787, 11997, 9294, 8950, 9823, 9823,
            11177, 9529, 10043, 9439, 9017, 8778, 7848, 10663, 9679,
            8227, 9309, 8584, 8318, 8095, 9683, 9224, 8194, 11679,
            9184, 8666, 7648, 9236, 11089, 8668, 7991, 7604, 7684,
            7246, 8932, 7695, 7515, 7331, 7740, 8534, 7732, 9927,
            8794, 27853, 15508, 18608, 9880, 9696, 10820, 10029, 8952,
            9052, 8285, 8522, 8509, 10009, 8822, 9256, 8257, 7857,
            8373, 8655, 9012, 8584, 8033, 8186, 6739, 5223, 9425,
            12936, 12327, 11196, 11483, 8326, 10047, 11361, 11443, 11574,
            10952, 10139, 10151, 10156, 9458, 10769, 9544, 8914, 9240,
            9499, 9419, 9602, 11536, 10314, 9741, 11546, 10794, 10228,
            9540, 11776, 10195, 10379, 10794, 11005, 11215, 9984, 12675,
            11677, 10938, 9646, 9720, 10222, 9455, 11415, 10274, 9276,
            9328, 9665, 9678, 9790, 10720, 10869, 10318, 10360, 13571,
            10776, 10009, 11765, 12452, 9851, 9225, 9723, 10615, 9931,
            10987, 13167, 64290, 37852, 40100, 14587, 11393, 12161, 11057,
            10046, 10584, 10680, 10960, 11181, 12792, 11751, 11501, 9813,
            9295, 9846, 10066, 11137, 10275, 9442, 13288, 11068, 10142,
            8974, 9236, 11699, 10284, 10224, 9831, 9654, 9284, 10454,
            10009, 9562, 9650, 9171, 11073, 9678, 10543, 9364, 9009,
            9509, 9889, 11021, 9933, 10958, 10271, 9452, 9116, 8966,
            9109, 8998, 11179, 10595, 19639, 14490, 12890, 11546, 10062,
            10559, 11431, 9768, 9319, 9064, 9026, 8515, 9605, 9476,
            9311, 9461, 9043, 9253, 8762, 10185, 10015, 9526, 9610,
            9858, 9567, 9567, 11273, 9783, 9993, 10250, 10227, 10587,
            10070, 9905, 11874, 10959, 19292, 14106, 12611, 11326, 12397,
            11150, 10307, 9856, 11277, 10978, 10531, 12527, 12172, 12160,
            11974, 11529, 11578, 11594, 12933, 12139, 11923, 12013, 12451,
            11825, 13433, 14042, 12631, 12344, 12495, 13597, 12800, 12571,
            14748, 18243, 70439, 50609, 53353, 22034, 15814, 17604, 15414,
            14405, 14026, 14965, 13829, 12775, 14782, 14063, 12818, 34522,
            17533, 15464, 14106, 16734, 15670, 16001, 14868, 15480, 15013,
            14354, 15607, 16167, 14168, 13015, 13877, 12985, 11474, 13774,
            13647, 12930, 12876, 12901, 13438, 12026, 13672, 13017, 12909,
            12611, 12714, 12855, 11786, 13900, 14489, 13247, 12621, 13221,
            14315, 12454, 12381, 13282, 12543, 12346, 11981, 12144, 11380,
            12869, 12070, 12064, 11896, 12258, 12993, 12679, 13841, 13183,
            12896, 13064, 13237, 14422, 13149, 15004, 15223, 14455, 15076,
            15615, 17788, 16194, 18600, 16919, 14496, 14452, 15657, 15700,
            15619, 18690, 16668, 15793, 15494, 14942, 14870, 14348, 16141,
            14885, 14692, 14311, 15352, 14780, 14611, 16877, 15474, 14574,
            14453, 14637, 13533, 14297, 16117, 15136, 14028, 13989, 13718,
            15306, 13374, 15655, 14001, 13311, 13120, 13447, 12981, 11859,
            14515, 13391, 12764, 11720, 12843, 12879, 12552, 14408, 13820,
            13076, 12814, 12321, 12504, 12365, 14705, 13886, 12947, 13454,
            12906, 15297, 12442, 14492, 12779, 28005, 16958, 20485, 13099,
            12397, 13897, 12707, 11912, 11450, 11143, 11326, 11642, 13005,
            11761, 11129, 10765, 10658, 11400, 11454, 12016, 11109, 10262,
            9880, 10224, 10465, 8059, 7028, 12632, 15914, 15409, 14415,
            14883, 10477, 12939, 16451, 13636, 12726, 13872, 12505, 12682,
            14413, 13203, 17102, 13904, 12964, 12667, 12742, 14696, 13607,
            12758, 12702, 15000, 14032, 12712, 15232, 13872, 13431, 13845,
            14311, 14053, 13813, 16159, 15244, 13777, 15660, 15820, 14452,
            13291, 16165, 14610, 13514, 13560]


def long_series_with_small_values():
    return [593, 652, 538, 539, 507, 546, 542, 472, 486, 424, 475,
            499, 507, 526, 468, 514, 417, 512, 507, 539, 540, 455,
            529, 454, 529, 523, 452, 497, 501, 547, 457, 544, 507,
            519, 481, 502, 500, 385, 516, 492, 470, 481, 456, 390,
            350, 566, 545, 479, 572, 578, 579, 492, 538, 485, 483,
            516, 547, 576, 491, 612, 551, 607, 606, 614, 634, 554,
            619, 617, 590, 570, 594, 633, 529, 613, 678, 626, 565,
            632, 609, 545, 626, 571, 580, 612, 555, 640, 536, 664,
            703, 717, 613, 569, 494, 395, 417, 699, 734, 758, 785,
            729, 623, 737, 695, 785, 727, 704, 677, 523, 690, 717,
            659, 658, 618, 698, 578, 690, 741, 721, 589, 700, 647,
            561, 564, 756, 704, 704, 667, 638, 546, 717, 730, 606,
            641, 682, 630, 396, 439, 693, 740, 644, 680, 737, 598,
            621, 730, 737, 716, 812, 771, 598, 728, 732, 674, 649,
            685, 690, 696, 724, 801, 731, 725, 723, 748, 672, 664,
            796, 679, 704, 712, 723, 605, 731, 743, 745, 697, 746,
            796, 631, 796, 1026, 2225, 1707, 2957, 912, 650, 863, 812,
            775, 783, 819, 741, 625, 797, 809, 780, 870, 817, 788,
            696, 875, 853, 829, 831, 851, 846, 660, 784, 860, 853,
            872, 839, 915, 726, 909, 915, 899, 835, 878, 861, 714,
            906, 972, 871, 761, 839, 855, 641, 783, 835, 830, 813,
            909, 852, 658, 794, 893, 853, 789, 769, 822, 586, 584,
            820, 821, 783, 823, 773, 710, 806, 842, 813, 710, 732,
            706, 665, 732, 735, 741, 762, 767, 717, 680, 837, 792,
            827, 779, 818, 848, 768, 856, 851, 844, 906, 923, 876,
            748, 915, 887, 897, 814, 823, 798, 742, 876, 838, 772,
            781, 751, 726, 714, 808, 777, 885, 849, 818, 817, 778,
            904, 835, 905, 867, 805, 769, 711, 905, 923, 808, 736,
            795, 832, 672, 880, 891, 738, 835, 824, 791, 636, 781,
            750, 748, 745, 723, 737, 594, 784, 780, 730, 721, 771,
            878, 733, 889, 882, 1401, 1110, 1323, 783, 690, 900, 842,
            798, 765, 799, 799, 697, 842, 803, 856, 766, 742, 845,
            663, 726, 674, 702, 686, 487, 381, 760, 973, 1060, 1110,
            1061, 754, 910, 955, 855, 863, 857, 825, 822, 801, 703,
            868, 825, 793, 767, 854, 837, 689, 936, 839, 852, 898,
            875, 862, 766, 895, 853, 828, 971, 939, 988, 771, 977,
            992, 907, 860, 852, 862, 733, 907, 887, 831, 836, 854,
            859, 768, 836, 904, 850, 874, 890, 907, 788, 907, 918,
            808, 900, 866, 948, 753, 923, 1110, 3538, 2890, 3908, 954,
            772, 910, 922, 922, 772, 804, 803, 771, 872, 980, 926,
            789, 723, 789, 666, 850, 825, 758, 728, 832, 780, 608,
            673, 865, 869, 861, 922, 873, 759, 816, 895, 805, 841,
            788, 805, 655, 821, 836, 788, 745, 790, 860, 709, 882,
            910, 888, 844, 867, 775, 707, 794, 932, 1124, 1099, 1052,
            1093, 814, 844, 1009, 983, 904, 883, 868, 793, 960, 1000,
            978, 876, 941, 915, 708, 892, 956, 905, 911, 794, 848,
            827, 936, 933, 888, 953, 967, 961, 827, 827, 1085, 1124,
            1323, 1231, 1150, 960, 1254, 1058, 982, 979, 918, 934, 737,
            954, 967, 1039, 1017, 909, 1025, 778, 980, 966, 1004, 999,
            952, 930, 859, 1050, 1045, 1134, 1056, 1147, 1076, 959, 1086,
            1445, 3923, 3289, 3826, 1634, 1067, 1295, 1258, 1206, 1148, 1182,
            1152, 971, 1110, 1166, 1205, 2482, 1155, 1214, 956, 1222, 1162,
            1220, 1176, 1150, 1354, 1072, 1289, 1352, 1305, 1146, 1154, 1148,
            896, 1203, 1253, 1195, 1261, 1194, 1096, 923, 1098, 1166, 1272,
            1205, 1196, 1216, 965, 1156, 1282, 1223, 1141, 1306, 1327, 1028,
            1021, 1211, 1280, 1407, 1281, 1346, 1042, 1290, 1345, 1192, 1129,
            1106, 1095, 975, 1122, 1211, 1175, 1157, 1121, 1051, 955, 1226,
            1241, 1242, 1209, 1204, 1240, 1071, 1258, 1306, 1264, 1240, 1290,
            1358, 1191, 1370, 1312, 1346, 1405, 1357, 1267, 1077, 1328, 1279,
            1190, 1205, 1254, 1140, 1085, 1318, 1344, 1311, 1263, 1272, 1093,
            1074, 1303, 1235, 1256, 1245, 1221, 1342, 1069, 1259, 1387, 1266,
            1183, 1286, 1174, 979, 1288, 1272, 1125, 1049, 1122, 1168, 1010,
            1213, 1238, 1181, 1189, 1078, 1033, 979, 1236, 1279, 1204, 1157,
            1109, 1473, 1055, 1246, 1348, 1838, 1443, 1715, 1107, 935, 1227,
            1172, 1101, 1167, 1104, 1098, 946, 1199, 1215, 1162, 1084, 1073,
            1092, 1034, 1151, 1122, 967, 952, 1033, 999, 587, 538, 1176,
            1530, 1455, 1424, 1536, 954, 1229, 1577, 1361, 1248, 1362, 1298,
            1175, 1365, 1331, 1504, 1282, 1218, 1234, 1097, 1296, 1283, 1212,
            1139, 1351, 1324, 1108, 1404, 1380, 1331, 1368, 1291, 1337, 1133,
            1341, 1336, 1401, 1403, 1354, 1312, 1051, 1364, 1397, 1325, 1302]

def long_series():
    return [7532, 8264, 7479, 7783, 6879, 6550, 6388, 6451, 6492,
            6567, 7866, 7319, 6934, 7824, 6812, 6654, 6503, 8021,
            7066, 7904, 7267, 6730, 7141, 7472, 8492, 7336, 7051,
            6842, 6987, 7316, 7273, 8552, 7385, 7215, 7027, 6974,
            7156, 7115, 8528, 8326, 7424, 7043, 7646, 7325, 7050,
            8936, 8319, 7222, 11231, 9592, 8179, 7748, 9193, 7431,
            7088, 7156, 7149, 7425, 7658, 9035, 7987, 7190, 7231,
            7538, 7822, 7523, 9221, 8122, 7287, 7407, 7672, 7806,
            7396, 9033, 11551, 9192, 7900, 7838, 8005, 8088, 9057,
            8330, 8038, 7679, 7234, 8005, 8335, 9629, 8634, 8635,
            9252, 9029, 8661, 7306, 7469, 9552, 8909, 9030, 8846,
            8796, 8280, 9729, 9180, 15248, 10741, 8910, 8909, 8103,
            9778, 11874, 9836, 8355, 7529, 7949, 7778, 9013, 8810,
            8063, 7586, 7801, 8082, 8007, 8009, 9050, 7821, 7830,
            7404, 7295, 7621, 9324, 8343, 7967, 7230, 8704, 7748,
            6474, 7300, 8346, 13471, 10640, 9620, 9723, 8909, 8729,
            9581, 8941, 8594, 9004, 8802, 8241, 9797, 8832, 8173,
            7513, 8126, 8165, 8009, 9061, 9481, 8696, 8124, 8097,
            8185, 8164, 9454, 11170, 8724, 8451, 8165, 8193, 8086,
            9385, 8674, 8372, 8374, 8372, 8642, 8117, 10079, 12191,
            29491, 19831, 28339, 11555, 9520, 11318, 10975, 9939, 9482,
            9685, 9362, 8977, 10854, 10048, 14070, 10620, 9798, 9595,
            9087, 11386, 10707, 10346, 10212, 10034, 10082, 9342, 11337,
            10521, 10427, 10305, 9675, 10283, 9661, 11417, 10991, 10879,
            10202, 10342, 10084, 9413, 11809, 11548, 10305, 9139, 9850,
            10168, 9255, 10896, 10183, 10076, 9106, 19092, 12009, 9694,
            11221, 11406, 10171, 9215, 8925, 9246, 8031, 7941, 8934,
            7963, 7686, 7470, 7322, 7346, 8247, 7974, 7951, 7431,
            7560, 7444, 7522, 8815, 8480, 8132, 7903, 7275, 7512,
            7440, 8962, 8487, 10817, 8973, 9336, 9841, 9677, 11145,
            9689, 9174, 9887, 9401, 9420, 9879, 11034, 9778, 9638,
            9105, 9043, 8965, 8841, 10311, 9406, 8530, 8270, 7866,
            9435, 8421, 10209, 8787, 11997, 9294, 8950, 9823, 9823,
            11177, 9529, 10043, 9439, 9017, 8778, 7848, 10663, 9679,
            8227, 9309, 8584, 8318, 8095, 9683, 9224, 8194, 11679,
            9184, 8666, 7648, 9236, 11089, 8668, 7991, 7604, 7684,
            7246, 8932, 7695, 7515, 7331, 7740, 8534, 7732, 9927,
            8794, 27853, 15508, 18608, 9880, 9696, 10820, 10029, 8952,
            9052, 8285, 8522, 8509, 10009, 8822, 9256, 8257, 7857,
            8373, 8655, 9012, 8584, 8033, 8186, 6739, 5223, 9425,
            12936, 12327, 11196, 11483, 8326, 10047, 11361, 11443, 11574,
            10952, 10139, 10151, 10156, 9458, 10769, 9544, 8914, 9240,
            9499, 9419, 9602, 11536, 10314, 9741, 11546, 10794, 10228,
            9540, 11776, 10195, 10379, 10794, 11005, 11215, 9984, 12675,
            11677, 10938, 9646, 9720, 10222, 9455, 11415, 10274, 9276,
            9328, 9665, 9678, 9790, 10720, 10869, 10318, 10360, 13571,
            10776, 10009, 11765, 12452, 9851, 9225, 9723, 10615, 9931,
            10987, 13167, 64290, 37852, 40100, 14587, 11393, 12161, 11057,
            10046, 10584, 10680, 10960, 11181, 12792, 11751, 11501, 9813,
            9295, 9846, 10066, 11137, 10275, 9442, 13288, 11068, 10142,
            8974, 9236, 11699, 10284, 10224, 9831, 9654, 9284, 10454,
            10009, 9562, 9650, 9171, 11073, 9678, 10543, 9364, 9009,
            9509, 9889, 11021, 9933, 10958, 10271, 9452, 9116, 8966,
            9109, 8998, 11179, 10595, 19639, 14490, 12890, 11546, 10062,
            10559, 11431, 9768, 9319, 9064, 9026, 8515, 9605, 9476,
            9311, 9461, 9043, 9253, 8762, 10185, 10015, 9526, 9610,
            9858, 9567, 9567, 11273, 9783, 9993, 10250, 10227, 10587,
            10070, 9905, 11874, 10959, 19292, 14106, 12611, 11326, 12397,
            11150, 10307, 9856, 11277, 10978, 10531, 12527, 12172, 12160,
            11974, 11529, 11578, 11594, 12933, 12139, 11923, 12013, 12451,
            11825, 13433, 14042, 12631, 12344, 12495, 13597, 12800, 12571,
            14748, 18243, 70439, 50609, 53353, 22034, 15814, 17604, 15414,
            14405, 14026, 14965, 13829, 12775, 14782, 14063, 12818, 34522,
            17533, 15464, 14106, 16734, 15670, 16001, 14868, 15480, 15013,
            14354, 15607, 16167, 14168, 13015, 13877, 12985, 11474, 13774,
            13647, 12930, 12876, 12901, 13438, 12026, 13672, 13017, 12909,
            12611, 12714, 12855, 11786, 13900, 14489, 13247, 12621, 13221,
            14315, 12454, 12381, 13282, 12543, 12346, 11981, 12144, 11380,
            12869, 12070, 12064, 11896, 12258, 12993, 12679, 13841, 13183,
            12896, 13064, 13237, 14422, 13149, 15004, 15223, 14455, 15076,
            15615, 17788, 16194, 18600, 16919, 14496, 14452, 15657, 15700,
            15619, 18690, 16668, 15793, 15494, 14942, 14870, 14348, 16141,
            14885, 14692, 14311, 15352, 14780, 14611, 16877, 15474, 14574,
            14453, 14637, 13533, 14297, 16117, 15136, 14028, 13989, 13718,
            15306, 13374, 15655, 14001, 13311, 13120, 13447, 12981, 11859,
            14515, 13391, 12764, 11720, 12843, 12879, 12552, 14408, 13820,
            13076, 12814, 12321, 12504, 12365, 14705, 13886, 12947, 13454,
            12906, 15297, 12442, 14492, 12779, 28005, 16958, 20485, 13099,
            12397, 13897, 12707, 11912, 11450, 11143, 11326, 11642, 13005,
            11761, 11129, 10765, 10658, 11400, 11454, 12016, 11109, 10262,
            9880, 10224, 10465, 8059, 7028, 12632, 15914, 15409, 14415,
            14883, 10477, 12939, 16451, 13636, 12726, 13872, 12505, 12682,
            14413, 13203, 17102, 13904, 12964, 12667, 12742, 14696, 13607,
            12758, 12702, 15000, 14032, 12712, 15232, 13872, 13431, 13845,
            14311, 14053, 13813, 16159, 15244, 13777, 15660, 15820, 14452,
            13291, 16165, 14610, 13514, 13560]


def long_series_with_small_values():
    return [593, 652, 538, 539, 507, 546, 542, 472, 486, 424, 475,
            499, 507, 526, 468, 514, 417, 512, 507, 539, 540, 455,
            529, 454, 529, 523, 452, 497, 501, 547, 457, 544, 507,
            519, 481, 502, 500, 385, 516, 492, 470, 481, 456, 390,
            350, 566, 545, 479, 572, 578, 579, 492, 538, 485, 483,
            516, 547, 576, 491, 612, 551, 607, 606, 614, 634, 554,
            619, 617, 590, 570, 594, 633, 529, 613, 678, 626, 565,
            632, 609, 545, 626, 571, 580, 612, 555, 640, 536, 664,
            703, 717, 613, 569, 494, 395, 417, 699, 734, 758, 785,
            729, 623, 737, 695, 785, 727, 704, 677, 523, 690, 717,
            659, 658, 618, 698, 578, 690, 741, 721, 589, 700, 647,
            561, 564, 756, 704, 704, 667, 638, 546, 717, 730, 606,
            641, 682, 630, 396, 439, 693, 740, 644, 680, 737, 598,
            621, 730, 737, 716, 812, 771, 598, 728, 732, 674, 649,
            685, 690, 696, 724, 801, 731, 725, 723, 748, 672, 664,
            796, 679, 704, 712, 723, 605, 731, 743, 745, 697, 746,
            796, 631, 796, 1026, 2225, 1707, 2957, 912, 650, 863, 812,
            775, 783, 819, 741, 625, 797, 809, 780, 870, 817, 788,
            696, 875, 853, 829, 831, 851, 846, 660, 784, 860, 853,
            872, 839, 915, 726, 909, 915, 899, 835, 878, 861, 714,
            906, 972, 871, 761, 839, 855, 641, 783, 835, 830, 813,
            909, 852, 658, 794, 893, 853, 789, 769, 822, 586, 584,
            820, 821, 783, 823, 773, 710, 806, 842, 813, 710, 732,
            706, 665, 732, 735, 741, 762, 767, 717, 680, 837, 792,
            827, 779, 818, 848, 768, 856, 851, 844, 906, 923, 876,
            748, 915, 887, 897, 814, 823, 798, 742, 876, 838, 772,
            781, 751, 726, 714, 808, 777, 885, 849, 818, 817, 778,
            904, 835, 905, 867, 805, 769, 711, 905, 923, 808, 736,
            795, 832, 672, 880, 891, 738, 835, 824, 791, 636, 781,
            750, 748, 745, 723, 737, 594, 784, 780, 730, 721, 771,
            878, 733, 889, 882, 1401, 1110, 1323, 783, 690, 900, 842,
            798, 765, 799, 799, 697, 842, 803, 856, 766, 742, 845,
            663, 726, 674, 702, 686, 487, 381, 760, 973, 1060, 1110,
            1061, 754, 910, 955, 855, 863, 857, 825, 822, 801, 703,
            868, 825, 793, 767, 854, 837, 689, 936, 839, 852, 898,
            875, 862, 766, 895, 853, 828, 971, 939, 988, 771, 977,
            992, 907, 860, 852, 862, 733, 907, 887, 831, 836, 854,
            859, 768, 836, 904, 850, 874, 890, 907, 788, 907, 918,
            808, 900, 866, 948, 753, 923, 1110, 3538, 2890, 3908, 954,
            772, 910, 922, 922, 772, 804, 803, 771, 872, 980, 926,
            789, 723, 789, 666, 850, 825, 758, 728, 832, 780, 608,
            673, 865, 869, 861, 922, 873, 759, 816, 895, 805, 841,
            788, 805, 655, 821, 836, 788, 745, 790, 860, 709, 882,
            910, 888, 844, 867, 775, 707, 794, 932, 1124, 1099, 1052,
            1093, 814, 844, 1009, 983, 904, 883, 868, 793, 960, 1000,
            978, 876, 941, 915, 708, 892, 956, 905, 911, 794, 848,
            827, 936, 933, 888, 953, 967, 961, 827, 827, 1085, 1124,
            1323, 1231, 1150, 960, 1254, 1058, 982, 979, 918, 934, 737,
            954, 967, 1039, 1017, 909, 1025, 778, 980, 966, 1004, 999,
            952, 930, 859, 1050, 1045, 1134, 1056, 1147, 1076, 959, 1086,
            1445, 3923, 3289, 3826, 1634, 1067, 1295, 1258, 1206, 1148, 1182,
            1152, 971, 1110, 1166, 1205, 2482, 1155, 1214, 956, 1222, 1162,
            1220, 1176, 1150, 1354, 1072, 1289, 1352, 1305, 1146, 1154, 1148,
            896, 1203, 1253, 1195, 1261, 1194, 1096, 923, 1098, 1166, 1272,
            1205, 1196, 1216, 965, 1156, 1282, 1223, 1141, 1306, 1327, 1028,
            1021, 1211, 1280, 1407, 1281, 1346, 1042, 1290, 1345, 1192, 1129,
            1106, 1095, 975, 1122, 1211, 1175, 1157, 1121, 1051, 955, 1226,
            1241, 1242, 1209, 1204, 1240, 1071, 1258, 1306, 1264, 1240, 1290,
            1358, 1191, 1370, 1312, 1346, 1405, 1357, 1267, 1077, 1328, 1279,
            1190, 1205, 1254, 1140, 1085, 1318, 1344, 1311, 1263, 1272, 1093,
            1074, 1303, 1235, 1256, 1245, 1221, 1342, 1069, 1259, 1387, 1266,
            1183, 1286, 1174, 979, 1288, 1272, 1125, 1049, 1122, 1168, 1010,
            1213, 1238, 1181, 1189, 1078, 1033, 979, 1236, 1279, 1204, 1157,
            1109, 1473, 1055, 1246, 1348, 1838, 1443, 1715, 1107, 935, 1227,
            1172, 1101, 1167, 1104, 1098, 946, 1199, 1215, 1162, 1084, 1073,
            1092, 1034, 1151, 1122, 967, 952, 1033, 999, 587, 538, 1176,
            1530, 1455, 1424, 1536, 954, 1229, 1577, 1361, 1248, 1362, 1298,
            1175, 1365, 1331, 1504, 1282, 1218, 1234, 1097, 1296, 1283, 1212,
            1139, 1351, 1324, 1108, 1404, 1380, 1331, 1368, 1291, 1337, 1133,
            1341, 1336, 1401, 1403, 1354, 1312, 1051, 1364, 1397, 1325, 1302]
