ar_tourism_flutter_unity/ios/UnityLibrary/Classes/Native/Il2CppGenericMethodTable.c
2025-05-14 17:04:13 +08:00

5238 lines
128 KiB
C

#include "pch-c.h"
#ifndef _MSC_VER
# include <alloca.h>
#else
# include <malloc.h>
#endif
IL2CPP_EXTERN_C const Il2CppGenericMethodFunctionsDefinitions g_Il2CppGenericMethodFunctions[];
const Il2CppGenericMethodFunctionsDefinitions g_Il2CppGenericMethodFunctions[5220] =
{
{ 31, 1, 6343, -1},
{ 32, 2, 3141, -1},
{ 33, 3, 2453, -1},
{ 34, 4, 2453, -1},
{ 35, 5, 2453, -1},
{ 36, 6, 6343, -1},
{ 37, 7, 3141, -1},
{ 38, 8, 1522, -1},
{ 39, 9, 6343, -1},
{ 40, 10, 3141, -1},
{ 41, 11, 3061, -1},
{ 42, 12, 2740, -1},
{ 43, 13, 6343, -1},
{ 44, 14, 3141, -1},
{ 45, 15, 1981, -1},
{ 46, 16, 1981, -1},
{ 47, 17, 6343, -1},
{ 48, 18, 3141, -1},
{ 49, 19, 2453, -1},
{ 50, 20, 6343, -1},
{ 51, 21, 3141, -1},
{ 52, 22, 2740, -1},
{ 53, 23, 6343, -1},
{ 54, 24, 3141, -1},
{ 55, 25, 2839, -1},
{ 56, 26, 6343, -1},
{ 57, 27, 3141, -1},
{ 58, 28, 2740, -1},
{ 59, 29, 6343, -1},
{ 60, 30, 3141, -1},
{ 61, 31, 2188, -1},
{ 62, 32, 2369, -1},
{ 63, 33, 6343, -1},
{ 64, 34, 3141, -1},
{ 65, 35, 2740, -1},
{ 66, 36, 6343, -1},
{ 67, 37, 3141, -1},
{ 68, 38, 2740, -1},
{ 69, 39, 6343, -1},
{ 70, 40, 3141, -1},
{ 71, 41, 2740, -1},
{ 72, 42, 6343, -1},
{ 73, 43, 3141, -1},
{ 74, 44, 3061, -1},
{ 82, 45, 6343, -1},
{ 83, 46, 3141, -1},
{ 84, 47, 3061, -1},
{ 85, 48, 2740, -1},
{ 86, 49, 6343, -1},
{ 87, 50, 3141, -1},
{ 88, 51, 2740, -1},
{ 89, 52, 6343, -1},
{ 90, 53, 3141, -1},
{ 91, 54, 2836, -1},
{ 94, 55, 6343, -1},
{ 95, 56, 3141, -1},
{ 96, 57, 2018, -1},
{ 99, 58, 6343, -1},
{ 100, 59, 3141, -1},
{ 101, 60, 2453, -1},
{ 104, 61, 6343, -1},
{ 105, 62, 3141, -1},
{ 106, 63, 2472, -1},
{ 109, 64, 6343, -1},
{ 110, 65, 3141, -1},
{ 111, 66, 3061, -1},
{ 114, 67, 6343, -1},
{ 115, 68, 3141, -1},
{ 116, 69, 2188, -1},
{ 119, 70, 3141, -1},
{ 120, 71, 2453, -1},
{ 123, 72, 3141, -1},
{ 124, 73, 2453, -1},
{ 127, 74, 3141, -1},
{ 128, 75, 2453, -1},
{ 131, 76, 3141, -1},
{ 132, 77, 2453, -1},
{ 135, 78, 3141, -1},
{ 136, 79, 2453, -1},
{ 140, 80, 3141, -1},
{ 141, 81, 2265, -1},
{ 142, 82, 2265, -1},
{ 145, 83, 3141, -1},
{ 146, 84, 2740, -1},
{ 149, 85, 3141, -1},
{ 150, 86, 3141, -1},
{ 153, 87, 3141, -1},
{ 154, 88, 2265, -1},
{ 156, 89, 3141, -1},
{ 159, 90, 3141, -1},
{ 160, 91, 2265, -1},
{ 163, 92, 3141, -1},
{ 164, 93, 2740, -1},
{ 167, 94, 3141, -1},
{ 168, 95, 2740, -1},
{ 171, 96, 3141, -1},
{ 172, 97, 2453, -1},
{ 175, 98, 3141, -1},
{ 176, 99, 2740, -1},
{ 179, 100, 3141, -1},
{ 180, 101, 2453, -1},
{ 184, 102, 3141, -1},
{ 185, 103, 1654, -1},
{ 186, 104, 1654, -1},
{ 189, 105, 3141, -1},
{ 190, 106, 2453, -1},
{ 193, 107, 3141, -1},
{ 194, 108, 2453, -1},
{ 198, 109, 3141, -1},
{ 199, 110, 3142, -1},
{ 200, 111, 3142, -1},
{ 203, 112, 3141, -1},
{ 204, 113, 2453, -1},
{ 211, 114, 3141, -1},
{ 212, 115, 2265, -1},
{ 213, 116, 3141, -1},
{ 214, 117, 2472, -1},
{ 215, 118, 3141, -1},
{ 216, 119, 3141, -1},
{ 220, 120, 3141, -1},
{ 221, 121, 2453, -1},
{ 222, 122, 2453, -1},
{ 225, 123, 3141, -1},
{ 226, 124, 2472, -1},
{ 229, 125, 3141, -1},
{ 230, 126, 2839, -1},
{ 233, 127, 3141, -1},
{ 234, 128, 2453, -1},
{ 237, 129, 3141, -1},
{ 238, 130, 1962, -1},
{ 241, 131, 3141, -1},
{ 242, 132, 2453, -1},
{ 245, 133, 3141, -1},
{ 246, 134, 1962, -1},
{ 247, 135, 926, -1},
{ 248, 136, 2188, -1},
{ 249, 137, 3040, -1},
{ 250, 138, 3061, -1},
{ 251, 139, 3142, -1},
{ 252, 140, 3142, -1},
{ 253, 141, 3142, -1},
{ 254, 142, 3142, -1},
{ 260, 143, 2725, -1},
{ 261, 144, 3141, -1},
{ 262, 145, 2991, -1},
{ 263, 146, 3061, -1},
{ 264, 147, 3142, -1},
{ 265, 148, 3061, -1},
{ 266, 149, 3141, -1},
{ 267, 150, 3061, -1},
{ 268, 151, 3141, -1},
{ 274, 152, 2725, -1},
{ 275, 153, 3141, -1},
{ 276, 154, 2991, -1},
{ 277, 155, 3061, -1},
{ 278, 156, 3142, -1},
{ 279, 157, 3061, -1},
{ 280, 158, 3141, -1},
{ 281, 159, 3061, -1},
{ 282, 160, 3141, -1},
{ 288, 161, 2725, -1},
{ 289, 162, 3141, -1},
{ 290, 163, 2991, -1},
{ 291, 164, 3061, -1},
{ 292, 165, 3142, -1},
{ 293, 166, 3061, -1},
{ 294, 167, 3141, -1},
{ 295, 168, 3061, -1},
{ 296, 169, 3141, -1},
{ 298, 170, 2725, -1},
{ 299, 171, 2991, -1},
{ 300, 172, 3142, -1},
{ 301, 173, 3141, -1},
{ 302, 174, 3061, -1},
{ 303, 175, 3141, -1},
{ 305, 176, 2725, -1},
{ 306, 177, 2991, -1},
{ 307, 178, 3061, -1},
{ 308, 179, 3141, -1},
{ 309, 180, 3061, -1},
{ 310, 181, 3141, -1},
{ 314, 182, 2725, -1},
{ 315, 183, 3141, -1},
{ 316, 184, 2991, -1},
{ 317, 185, 2905, -1},
{ 318, 186, 3141, -1},
{ 319, 187, 3061, -1},
{ 320, 188, 3141, -1},
{ 322, 189, 2725, -1},
{ 323, 190, 2991, -1},
{ 324, 191, 3061, -1},
{ 325, 192, 3141, -1},
{ 326, 193, 3061, -1},
{ 327, 194, 3141, -1},
{ 329, 195, 2725, -1},
{ 330, 196, 2991, -1},
{ 331, 197, 3142, -1},
{ 332, 198, 3141, -1},
{ 333, 199, 3061, -1},
{ 334, 200, 3141, -1},
{ 336, 201, 2725, -1},
{ 337, 202, 2991, -1},
{ 338, 203, 3142, -1},
{ 339, 204, 3141, -1},
{ 340, 205, 3061, -1},
{ 341, 206, 3141, -1},
{ 343, 207, 2725, -1},
{ 344, 208, 2991, -1},
{ 345, 209, 3142, -1},
{ 346, 210, 3141, -1},
{ 347, 211, 3061, -1},
{ 348, 212, 3141, -1},
{ 354, 213, 2725, -1},
{ 355, 214, 3141, -1},
{ 356, 215, 2991, -1},
{ 357, 216, 3061, -1},
{ 358, 217, 3142, -1},
{ 359, 218, 3061, -1},
{ 360, 219, 3141, -1},
{ 361, 220, 3061, -1},
{ 362, 221, 3141, -1},
{ 363, 222, 3141, 0},
{ 364, 223, 2740, 1},
{ 371, 224, 2725, -1},
{ 372, 225, 3141, -1},
{ 373, 226, 3141, -1},
{ 374, 227, 2991, -1},
{ 375, 228, 3061, -1},
{ 376, 229, 3142, -1},
{ 377, 230, 3061, -1},
{ 378, 231, 3141, -1},
{ 379, 232, 3061, -1},
{ 380, 233, 3141, -1},
{ 383, 234, 2725, -1},
{ 384, 235, 2991, -1},
{ 385, 236, 3061, -1},
{ 386, 237, 3141, -1},
{ 387, 238, 3061, -1},
{ 388, 239, 3141, -1},
{ 389, 240, 2725, -1},
{ 390, 241, 2991, -1},
{ 391, 242, 3061, -1},
{ 392, 243, 3141, -1},
{ 393, 244, 3061, -1},
{ 394, 245, 3141, -1},
{ 401, 246, 2725, -1},
{ 402, 247, 3141, -1},
{ 403, 248, 3141, -1},
{ 404, 249, 2991, -1},
{ 405, 250, 3061, -1},
{ 406, 251, 3142, -1},
{ 407, 252, 3061, -1},
{ 408, 253, 3141, -1},
{ 409, 254, 3061, -1},
{ 410, 255, 3141, -1},
{ 411, 256, 3141, 2},
{ 412, 257, 2740, 3},
{ 425, 258, 3141, -1},
{ 428, 259, 3141, -1},
{ 429, 260, 1479, -1},
{ 430, 261, 3061, -1},
{ 449, 262, 1861, -1},
{ 450, 263, 2805, -1},
{ 452, 264, 1861, -1},
{ 453, 265, 57, -1},
{ 455, 266, 1861, -1},
{ 456, 267, 45, -1},
{ 458, 268, 1861, -1},
{ 459, 269, 38, -1},
{ 461, 270, 1861, -1},
{ 462, 271, 15, -1},
{ 464, 272, 1861, -1},
{ 465, 273, 12, -1},
{ 467, 274, 1861, -1},
{ 468, 275, 10, -1},
{ 469, 276, 1861, -1},
{ 470, 277, 8, -1},
{ 480, 278, 1861, -1},
{ 481, 279, 1963, -1},
{ 484, 280, 1861, -1},
{ 485, 281, 1391, -1},
{ 487, 282, 1861, -1},
{ 488, 283, 926, -1},
{ 490, 284, 1861, -1},
{ 491, 285, 926, -1},
{ 493, 286, 1861, -1},
{ 494, 287, 561, -1},
{ 496, 288, 1861, -1},
{ 497, 289, 355, -1},
{ 499, 290, 1861, -1},
{ 500, 291, 212, -1},
{ 502, 292, 1861, -1},
{ 503, 293, 128, -1},
{ 505, 294, 1861, -1},
{ 506, 295, 81, -1},
{ 526, 296, 836, 4},
{ 527, 297, 6233, -1},
{ 528, 298, 1867, 5},
{ 529, 299, 984, 6},
{ 530, 300, 3141, 7},
{ 531, 301, 2725, 8},
{ 532, 302, 3141, 9},
{ 533, 303, 2740, 10},
{ 534, 304, 1241, 11},
{ 535, 305, 3040, 12},
{ 536, 306, 2725, 13},
{ 543, 307, 1961, -1},
{ 544, 308, 2805, -1},
{ 545, 309, 3141, -1},
{ 546, 310, 2991, -1},
{ 547, 311, 3141, -1},
{ 548, 312, 2991, -1},
{ 549, 313, 3141, -1},
{ 550, 314, 1963, -1},
{ 551, 315, 1786, -1},
{ 552, 316, 2698, -1},
{ 553, 317, 3141, -1},
{ 554, 318, 728, -1},
{ 555, 319, 3141, -1},
{ 556, 320, 2699, -1},
{ 557, 321, 2699, -1},
{ 558, 322, 2740, -1},
{ 559, 323, 3142, -1},
{ 560, 324, 3142, -1},
{ 561, 325, 2991, -1},
{ 562, 326, 3142, -1},
{ 563, 327, 2740, -1},
{ 564, 328, 2805, -1},
{ 565, 329, 2677, -1},
{ 567, 330, 3141, -1},
{ 568, 331, 3141, -1},
{ 569, 332, 3141, -1},
{ 570, 333, 3061, -1},
{ 571, 334, 2062, 14},
{ 572, 335, 3040, 15},
{ 573, 336, 2725, 16},
{ 581, 337, 2725, 17},
{ 582, 338, 3061, 18},
{ 583, 339, 2805, 19},
{ 584, 340, 2805, 20},
{ 585, 341, 2725, 21},
{ 586, 342, 2805, 22},
{ 587, 343, 3040, 23},
{ 588, 344, 3040, 24},
{ 589, 345, 2837, 25},
{ 597, 346, 6343, -1},
{ 598, 347, 3141, -1},
{ 599, 348, 6296, -1},
{ 623, 349, 6343, -1},
{ 624, 350, 2740, 26},
{ 625, 351, 1285, 27},
{ 626, 352, 1859, 28},
{ 627, 353, 2073, 29},
{ 628, 354, 2188, 30},
{ 629, 355, 2897, 31},
{ 630, 356, 3040, 32},
{ 631, 357, 2805, 33},
{ 632, 358, 3141, 34},
{ 633, 359, 2265, 35},
{ 634, 360, 2265, 36},
{ 635, 361, 2991, 37},
{ 636, 362, 3061, 38},
{ 637, 363, 2399, 39},
{ 638, 364, 1820, 40},
{ 639, 365, 2725, 41},
{ 640, 366, 2837, 42},
{ 641, 367, 1820, 43},
{ 642, 368, 2837, 44},
{ 643, 369, 3061, 45},
{ 644, 370, 3141, 46},
{ 645, 371, 3061, 47},
{ 646, 372, 3040, 48},
{ 647, 373, 6234, -1},
{ 648, 374, 3040, 49},
{ 649, 375, 4831, -1},
{ 666, 376, 6343, -1},
{ 667, 377, 3141, -1},
{ 668, 378, 389, -1},
{ 669, 379, 3740, -1},
{ 670, 380, 4183, -1},
{ 671, 381, 4183, -1},
{ 672, 382, 3599, -1},
{ 673, 383, 3740, -1},
{ 674, 384, 4183, -1},
{ 675, 385, 3917, -1},
{ 676, 386, 4183, -1},
{ 677, 387, 826, -1},
{ 678, 388, 4733, -1},
{ 679, 389, 4195, -1},
{ 680, 390, 6296, -1},
{ 692, 391, 6343, -1},
{ 693, 392, 3141, -1},
{ 694, 393, 3494, -1},
{ 695, 394, 3752, -1},
{ 696, 395, 3752, -1},
{ 697, 396, 3494, -1},
{ 698, 397, 3752, -1},
{ 699, 398, 3605, -1},
{ 700, 399, 526, -1},
{ 701, 400, 4195, -1},
{ 702, 401, 3755, -1},
{ 703, 402, 6296, -1},
{ 730, 403, 1737, 50},
{ 731, 404, 2669, 51},
{ 732, 405, 6343, -1},
{ 733, 406, 6235, -1},
{ 734, 407, 5868, -1},
{ 735, 408, 2740, 52},
{ 736, 409, 2805, 53},
{ 737, 410, 2740, 54},
{ 738, 411, 2740, 55},
{ 739, 412, 3061, 56},
{ 740, 413, 1737, 57},
{ 741, 414, 2669, 58},
{ 742, 415, 6347, -1},
{ 743, 416, 2740, 59},
{ 744, 417, 2805, 60},
{ 745, 418, 2740, 61},
{ 746, 419, 3142, 62},
{ 747, 420, 3141, -1},
{ 748, 421, 1307, -1},
{ 809, 422, 6343, -1},
{ 810, 423, 2740, -1},
{ 811, 424, 1867, -1},
{ 812, 425, 3141, -1},
{ 813, 426, 3073, -1},
{ 814, 427, 2740, -1},
{ 815, 428, 2740, -1},
{ 816, 429, 2740, -1},
{ 817, 430, 3141, -1},
{ 818, 431, 2805, -1},
{ 819, 432, 3141, -1},
{ 820, 433, 3061, -1},
{ 821, 434, 3061, -1},
{ 822, 435, 3061, -1},
{ 823, 436, 3142, -1},
{ 824, 437, 2991, -1},
{ 825, 438, 3142, -1},
{ 826, 439, 3061, -1},
{ 827, 440, 2740, -1},
{ 828, 441, 2740, -1},
{ 829, 442, 2805, -1},
{ 830, 443, 2805, -1},
{ 831, 444, 2740, -1},
{ 892, 445, 6343, -1},
{ 893, 446, 546, -1},
{ 894, 447, 2768, -1},
{ 895, 448, 1400, -1},
{ 896, 449, 3141, -1},
{ 897, 450, 899, -1},
{ 898, 451, 1346, -1},
{ 899, 452, 2740, -1},
{ 900, 453, 2839, -1},
{ 901, 454, 5951, -1},
{ 902, 455, 2740, -1},
{ 903, 456, 2740, -1},
{ 904, 457, 2740, -1},
{ 905, 458, 3141, -1},
{ 906, 459, 5264, -1},
{ 907, 460, 992, -1},
{ 908, 461, 2805, -1},
{ 909, 462, 3141, -1},
{ 910, 463, 3141, -1},
{ 911, 464, 2805, -1},
{ 912, 465, 1399, -1},
{ 913, 466, 3141, -1},
{ 914, 467, 2740, -1},
{ 915, 468, 3141, -1},
{ 916, 469, 3141, -1},
{ 917, 470, 3141, -1},
{ 918, 471, 2991, -1},
{ 919, 472, 3061, -1},
{ 920, 473, 3040, -1},
{ 921, 474, 3061, -1},
{ 922, 475, 3061, -1},
{ 923, 476, 3061, -1},
{ 924, 477, 3142, -1},
{ 925, 478, 3061, -1},
{ 926, 479, 2991, -1},
{ 927, 480, 3142, -1},
{ 928, 481, 3088, -1},
{ 929, 482, 2991, -1},
{ 930, 483, 3142, -1},
{ 931, 484, 2677, -1},
{ 932, 485, 2740, -1},
{ 933, 486, 2725, -1},
{ 934, 487, 2740, -1},
{ 935, 488, 2740, -1},
{ 936, 489, 2740, -1},
{ 937, 490, 2805, -1},
{ 938, 491, 2740, -1},
{ 939, 492, 2677, -1},
{ 940, 493, 2805, -1},
{ 941, 494, 2768, -1},
{ 942, 495, 2677, -1},
{ 943, 496, 2805, -1},
{ 946, 497, 3141, -1},
{ 947, 498, 6296, -1},
{ 948, 499, 6144, -1},
{ 950, 500, 3141, -1},
{ 951, 501, 2669, -1},
{ 952, 502, 863, -1},
{ 953, 503, 1963, -1},
{ 954, 504, 1493, -1},
{ 955, 505, 1493, -1},
{ 969, 506, 2669, -1},
{ 970, 507, 1751, -1},
{ 971, 508, 1752, -1},
{ 972, 509, 1755, -1},
{ 973, 510, 1756, -1},
{ 974, 511, 1741, -1},
{ 975, 512, 1751, -1},
{ 976, 513, 1755, -1},
{ 977, 514, 1756, -1},
{ 978, 515, 1754, -1},
{ 979, 516, 1754, -1},
{ 980, 517, 1184, -1},
{ 981, 518, 1751, -1},
{ 982, 519, 1752, -1},
{ 983, 520, 1755, -1},
{ 984, 521, 1756, -1},
{ 985, 522, 1751, -1},
{ 986, 523, 1755, -1},
{ 987, 524, 1756, -1},
{ 988, 525, 1184, -1},
{ 989, 526, 2805, -1},
{ 990, 527, 3010, -1},
{ 991, 528, 3011, -1},
{ 992, 529, 2167, -1},
{ 993, 530, 2669, -1},
{ 994, 531, 2669, -1},
{ 995, 532, 2669, -1},
{ 996, 533, 2669, -1},
{ 997, 534, 2669, -1},
{ 998, 535, 2669, -1},
{ 999, 536, 2669, -1},
{ 1000, 537, 2669, -1},
{ 1001, 538, 2669, -1},
{ 1002, 539, 2669, -1},
{ 1003, 540, 2669, -1},
{ 1004, 541, 2669, -1},
{ 1005, 542, 2669, -1},
{ 1006, 543, 2669, -1},
{ 1007, 544, 2669, -1},
{ 1008, 545, 2669, -1},
{ 1009, 546, 2669, -1},
{ 1010, 547, 2669, -1},
{ 1011, 548, 2669, -1},
{ 1012, 549, 2669, -1},
{ 1013, 550, 2669, -1},
{ 1014, 551, 1738, -1},
{ 1015, 552, 2669, -1},
{ 1016, 553, 2669, -1},
{ 1017, 554, 2669, -1},
{ 1018, 555, 2669, -1},
{ 1019, 556, 2669, -1},
{ 1020, 557, 2669, -1},
{ 1021, 558, 2669, -1},
{ 1022, 559, 2669, -1},
{ 1023, 560, 2669, -1},
{ 1024, 561, 2669, -1},
{ 1025, 562, 2669, -1},
{ 1026, 563, 2669, -1},
{ 1027, 564, 2669, -1},
{ 1028, 565, 2669, -1},
{ 1029, 566, 2669, -1},
{ 1030, 567, 2669, -1},
{ 1031, 568, 2669, -1},
{ 1032, 569, 2669, -1},
{ 1033, 570, 2669, -1},
{ 1034, 571, 2669, -1},
{ 1035, 572, 2669, -1},
{ 1036, 573, 1738, -1},
{ 1037, 574, 2991, -1},
{ 1038, 575, 2991, -1},
{ 1042, 576, 2740, 63},
{ 1043, 577, 3061, 64},
{ 1046, 578, 2669, -1},
{ 1047, 579, 2983, -1},
{ 1050, 580, 2725, -1},
{ 1051, 581, 1963, -1},
{ 1052, 582, 5751, -1},
{ 1053, 583, 1493, -1},
{ 1054, 584, 1963, -1},
{ 1056, 585, 6343, -1},
{ 1057, 586, 5850, -1},
{ 1058, 587, 1318, -1},
{ 1059, 588, 2805, -1},
{ 1060, 589, 2740, -1},
{ 1072, 590, 3141, -1},
{ 1073, 591, 2740, -1},
{ 1074, 592, 2740, -1},
{ 1075, 593, 5194, -1},
{ 1076, 594, 5850, -1},
{ 1077, 595, 2453, -1},
{ 1078, 596, 2453, -1},
{ 1079, 597, 3061, -1},
{ 1080, 598, 3061, -1},
{ 1081, 599, 2434, -1},
{ 1082, 600, 3061, -1},
{ 1083, 601, 2725, -1},
{ 1084, 602, 3061, -1},
{ 1107, 603, 2740, 65},
{ 1108, 604, 3141, 66},
{ 1109, 605, 3141, 67},
{ 1110, 606, 2740, 68},
{ 1111, 607, 3141, 69},
{ 1112, 608, 2446, 70},
{ 1113, 609, 3040, 71},
{ 1114, 610, 3141, -1},
{ 1115, 611, 2369, -1},
{ 1120, 612, 3141, -1},
{ 1121, 613, 5222, -1},
{ 1122, 614, 3141, -1},
{ 1123, 615, 3141, -1},
{ 1124, 616, 3142, -1},
{ 1125, 617, 3142, -1},
{ 1126, 618, 2805, -1},
{ 1127, 619, 2805, -1},
{ 1129, 620, 1861, -1},
{ 1130, 621, 656, -1},
{ 1131, 622, 946, -1},
{ 1132, 623, 1435, -1},
{ 1144, 624, 1312, -1},
{ 1145, 625, 1332, -1},
{ 1146, 626, 1878, -1},
{ 1147, 627, 2740, -1},
{ 1148, 628, 3133, -1},
{ 1149, 629, 3040, -1},
{ 1150, 630, 3133, -1},
{ 1151, 631, 2740, -1},
{ 1152, 632, 2725, -1},
{ 1153, 633, 2740, -1},
{ 1154, 634, 2798, -1},
{ 1155, 635, 2740, -1},
{ 1156, 636, 3061, -1},
{ 1157, 637, 2740, -1},
{ 1158, 638, 3061, -1},
{ 1159, 639, 6343, -1},
{ 1160, 640, 6296, -1},
{ 1161, 641, 5575, -1},
{ 1162, 642, 6144, -1},
{ 1170, 643, 2805, -1},
{ 1171, 644, 3141, -1},
{ 1172, 645, 2265, -1},
{ 1173, 646, 1859, -1},
{ 1174, 647, 3061, -1},
{ 1175, 648, 5635, -1},
{ 1176, 649, 2265, -1},
{ 1177, 650, 1859, -1},
{ 1178, 651, 2991, -1},
{ 1179, 652, 3061, -1},
{ 1180, 653, 3061, -1},
{ 1181, 654, 2369, -1},
{ 1182, 655, 2188, -1},
{ 1183, 656, 2369, -1},
{ 1184, 657, 1809, -1},
{ 1185, 658, 2740, -1},
{ 1186, 659, 2725, -1},
{ 1187, 660, 2991, -1},
{ 1188, 661, 2446, -1},
{ 1189, 662, 1809, -1},
{ 1190, 663, 6144, -1},
{ 1191, 664, 3040, -1},
{ 1192, 665, 2991, -1},
{ 1193, 666, 3061, -1},
{ 1320, 667, 3141, -1},
{ 1321, 668, 2740, -1},
{ 1322, 669, 2805, -1},
{ 1323, 670, 3141, -1},
{ 1324, 671, 3141, -1},
{ 1325, 672, 2265, -1},
{ 1326, 673, 1859, -1},
{ 1327, 674, 3061, -1},
{ 1328, 675, 2399, -1},
{ 1329, 676, 1820, -1},
{ 1330, 677, 1820, -1},
{ 1331, 678, 5635, -1},
{ 1332, 679, 2265, -1},
{ 1333, 680, 2725, -1},
{ 1334, 681, 2725, -1},
{ 1335, 682, 1820, -1},
{ 1336, 683, 2991, -1},
{ 1337, 684, 1859, -1},
{ 1338, 685, 2991, -1},
{ 1339, 686, 3061, -1},
{ 1340, 687, 3061, -1},
{ 1341, 688, 2369, -1},
{ 1342, 689, 2188, -1},
{ 1343, 690, 2369, -1},
{ 1344, 691, 1809, -1},
{ 1345, 692, 2740, -1},
{ 1346, 693, 2991, -1},
{ 1347, 694, 2991, -1},
{ 1348, 695, 2446, -1},
{ 1349, 696, 1809, -1},
{ 1350, 697, 3040, -1},
{ 1351, 698, 2837, -1},
{ 1352, 699, 3061, -1},
{ 1353, 700, 1820, -1},
{ 1358, 701, 3141, -1},
{ 1359, 702, 5850, -1},
{ 1360, 703, 5850, -1},
{ 1361, 704, 3141, -1},
{ 1362, 705, 3141, -1},
{ 1363, 706, 3061, -1},
{ 1364, 707, 2740, -1},
{ 1425, 708, 3141, -1},
{ 1426, 709, 6296, -1},
{ 1427, 710, 1550, -1},
{ 1428, 711, 6296, -1},
{ 1432, 712, 1861, -1},
{ 1433, 713, 1571, -1},
{ 1434, 714, 6343, -1},
{ 1435, 715, 6296, -1},
{ 1466, 716, 6343, -1},
{ 1467, 717, 3141, -1},
{ 1468, 718, 2740, -1},
{ 1469, 719, 773, -1},
{ 1470, 720, 2669, -1},
{ 1471, 721, 1223, -1},
{ 1472, 722, 3141, -1},
{ 1473, 723, 2265, -1},
{ 1474, 724, 1859, -1},
{ 1475, 725, 1859, -1},
{ 1476, 726, 1859, -1},
{ 1477, 727, 5088, -1},
{ 1478, 728, 3715, -1},
{ 1479, 729, 3040, -1},
{ 1480, 730, 3061, -1},
{ 1481, 731, 1983, -1},
{ 1482, 732, 1982, -1},
{ 1483, 733, 3061, -1},
{ 1484, 734, 2740, -1},
{ 1485, 735, 2740, -1},
{ 1486, 736, 6260, -1},
{ 1487, 737, 2773, -1},
{ 1488, 738, 2773, -1},
{ 1489, 739, 2773, -1},
{ 1490, 740, 1805, -1},
{ 1491, 741, 2805, -1},
{ 1492, 742, 2265, -1},
{ 1493, 743, 1859, -1},
{ 1494, 744, 2265, -1},
{ 1495, 745, 2991, -1},
{ 1496, 746, 1963, -1},
{ 1497, 747, 2265, -1},
{ 1498, 748, 3061, -1},
{ 1499, 749, 1859, -1},
{ 1500, 750, 2991, -1},
{ 1501, 751, 3061, -1},
{ 1502, 752, 1867, -1},
{ 1503, 753, 2188, -1},
{ 1504, 754, 3061, -1},
{ 1505, 755, 2740, -1},
{ 1506, 756, 2991, -1},
{ 1507, 757, 2453, -1},
{ 1508, 758, 3061, -1},
{ 1509, 759, 1867, -1},
{ 1510, 760, 3061, -1},
{ 1511, 761, 6144, -1},
{ 1512, 762, 6343, -1},
{ 1513, 763, 3061, -1},
{ 1514, 764, 1496, -1},
{ 1515, 765, 238, -1},
{ 1516, 766, 1493, -1},
{ 1517, 767, 999, -1},
{ 1518, 768, 1493, -1},
{ 1519, 769, 612, -1},
{ 1520, 770, 3040, -1},
{ 1521, 771, 6285, -1},
{ 1522, 772, 2839, -1},
{ 1523, 773, 3061, -1},
{ 1524, 774, 1963, -1},
{ 1532, 775, 3141, -1},
{ 1533, 776, 1867, -1},
{ 1534, 777, 3141, -1},
{ 1535, 778, 1636, -1},
{ 1536, 779, 3141, -1},
{ 1537, 780, 3141, -1},
{ 1538, 781, 3141, -1},
{ 1539, 782, 2188, -1},
{ 1540, 783, 3061, -1},
{ 1541, 784, 3061, -1},
{ 1542, 785, 1466, -1},
{ 1545, 786, 1850, 72},
{ 1546, 787, 2893, 73},
{ 1550, 788, 1850, 74},
{ 1551, 789, 3142, 75},
{ 1552, 790, 2740, 76},
{ 1553, 791, 2991, 77},
{ 1568, 792, 3141, -1},
{ 1569, 793, 3141, -1},
{ 1570, 794, 6296, -1},
{ 1571, 795, 6144, -1},
{ 1597, 796, 3141, -1},
{ 1598, 797, 1741, -1},
{ 1599, 798, 1265, -1},
{ 1600, 799, 3141, -1},
{ 1601, 800, 1859, -1},
{ 1602, 801, 1859, -1},
{ 1603, 802, 1308, -1},
{ 1604, 803, 2725, -1},
{ 1605, 804, 1859, -1},
{ 1606, 805, 2669, -1},
{ 1607, 806, 1849, -1},
{ 1609, 807, 1907, 78},
{ 1611, 808, 532, -1},
{ 1612, 809, 3141, -1},
{ 1614, 810, 532, -1},
{ 1615, 811, 3141, -1},
{ 1617, 812, 1861, -1},
{ 1618, 813, 2839, -1},
{ 1620, 814, 1861, -1},
{ 1621, 815, 2453, -1},
{ 1623, 816, 3141, -1},
{ 1624, 817, 2188, -1},
{ 1625, 818, 695, -1},
{ 1626, 819, 1312, -1},
{ 1627, 820, 2991, -1},
{ 1631, 821, 2740, 79},
{ 1632, 822, 2074, 80},
{ 1633, 823, 2188, 81},
{ 1634, 824, 3040, 82},
{ 1635, 825, 3061, 83},
{ 1636, 826, 2740, 84},
{ 1640, 827, 1861, -1},
{ 1641, 828, 1636, -1},
{ 1642, 829, 2838, -1},
{ 1643, 830, 3142, -1},
{ 1644, 831, 1861, -1},
{ 1645, 832, 1124, -1},
{ 1646, 833, 2740, -1},
{ 1647, 834, 2805, -1},
{ 1655, 835, 490, -1},
{ 1656, 836, 3141, -1},
{ 1657, 837, 2677, -1},
{ 1658, 838, 2991, -1},
{ 1659, 839, 1934, -1},
{ 1660, 840, 3141, -1},
{ 1661, 841, 3141, -1},
{ 1662, 842, 3141, -1},
{ 1663, 843, 3141, -1},
{ 1664, 844, 2991, -1},
{ 1665, 845, 2677, -1},
{ 1666, 846, 1571, 85},
{ 1668, 847, 3141, -1},
{ 1669, 848, 1496, -1},
{ 1670, 849, 2399, -1},
{ 1671, 850, 2834, 86},
{ 1673, 851, 2740, -1},
{ 1674, 852, 2098, -1},
{ 1675, 853, 2098, -1},
{ 1676, 854, 2834, -1},
{ 1677, 855, 2740, -1},
{ 1678, 856, 3061, -1},
{ 1683, 857, 2740, -1},
{ 1684, 858, 2991, -1},
{ 1685, 859, 3141, -1},
{ 1686, 860, 3061, -1},
{ 1687, 861, 3006, -1},
{ 1688, 862, 3061, -1},
{ 1689, 863, 3061, -1},
{ 1690, 864, 2740, 87},
{ 1691, 865, 2991, 88},
{ 1692, 866, 3141, 89},
{ 1693, 867, 3061, 90},
{ 1694, 868, 3006, 91},
{ 1695, 869, 3061, 92},
{ 1696, 870, 3061, 93},
{ 1700, 871, 2740, 94},
{ 1701, 872, 2991, 95},
{ 1702, 873, 3141, 96},
{ 1703, 874, 3061, 97},
{ 1704, 875, 3006, 98},
{ 1705, 876, 3061, 99},
{ 1706, 877, 3061, 100},
{ 1707, 878, 2740, -1},
{ 1708, 879, 3061, -1},
{ 1709, 880, 2740, -1},
{ 1710, 881, 3061, -1},
{ 1711, 882, 6343, -1},
{ 1712, 883, 6296, -1},
{ 1713, 884, 5572, -1},
{ 1714, 885, 6144, -1},
{ 1717, 886, 3141, -1},
{ 1718, 887, 1737, -1},
{ 1719, 888, 1785, -1},
{ 1720, 889, 1785, -1},
{ 1721, 890, 1737, -1},
{ 1722, 891, 1213, -1},
{ 1723, 892, 1788, -1},
{ 1724, 893, 1215, -1},
{ 1725, 894, 2740, -1},
{ 1726, 895, 3061, -1},
{ 1727, 896, 2740, -1},
{ 1728, 897, 3061, -1},
{ 1731, 898, 2805, -1},
{ 1732, 899, 1963, -1},
{ 1733, 900, 3141, -1},
{ 1734, 901, 2265, -1},
{ 1735, 902, 2265, -1},
{ 1736, 903, 1859, -1},
{ 1737, 904, 3061, -1},
{ 1738, 905, 2265, -1},
{ 1739, 906, 2265, -1},
{ 1740, 907, 2740, -1},
{ 1741, 908, 1859, -1},
{ 1742, 909, 2991, -1},
{ 1743, 910, 3061, -1},
{ 1744, 911, 1867, -1},
{ 1745, 912, 2188, -1},
{ 1746, 913, 3061, -1},
{ 1747, 914, 2453, -1},
{ 1748, 915, 3061, -1},
{ 1749, 916, 1867, -1},
{ 1750, 917, 3061, -1},
{ 1751, 918, 1493, -1},
{ 1752, 919, 3040, -1},
{ 1753, 920, 3061, -1},
{ 1754, 921, 2991, -1},
{ 1755, 922, 2839, -1},
{ 1756, 923, 3061, -1},
{ 1757, 924, 3061, -1},
{ 1758, 925, 1963, -1},
{ 1915, 926, 3141, -1},
{ 1916, 927, 2740, -1},
{ 1917, 928, 2740, -1},
{ 1918, 929, 2725, -1},
{ 1919, 930, 1867, -1},
{ 1920, 931, 1809, -1},
{ 1921, 932, 1874, -1},
{ 1922, 933, 1963, -1},
{ 1923, 934, 3141, -1},
{ 1924, 935, 2265, -1},
{ 1925, 936, 2265, -1},
{ 1926, 937, 1859, -1},
{ 1927, 938, 2399, -1},
{ 1928, 939, 3142, -1},
{ 1929, 940, 1874, -1},
{ 1930, 941, 2359, -1},
{ 1931, 942, 5635, -1},
{ 1932, 943, 2740, -1},
{ 1933, 944, 2265, -1},
{ 1934, 945, 3141, -1},
{ 1935, 946, 1802, -1},
{ 1936, 947, 2805, -1},
{ 1937, 948, 2265, -1},
{ 1938, 949, 1859, -1},
{ 1939, 950, 2265, -1},
{ 1940, 951, 2991, -1},
{ 1941, 952, 3061, -1},
{ 1942, 953, 3061, -1},
{ 1943, 954, 3061, -1},
{ 1944, 955, 1859, -1},
{ 1945, 956, 2991, -1},
{ 1946, 957, 3061, -1},
{ 1947, 958, 1867, -1},
{ 1948, 959, 2188, -1},
{ 1949, 960, 3061, -1},
{ 1950, 961, 2740, -1},
{ 1951, 962, 2991, -1},
{ 1952, 963, 2453, -1},
{ 1953, 964, 3061, -1},
{ 1954, 965, 1867, -1},
{ 1955, 966, 3061, -1},
{ 1956, 967, 1496, -1},
{ 1957, 968, 1493, -1},
{ 1958, 969, 1002, -1},
{ 1959, 970, 3040, -1},
{ 1960, 971, 2839, -1},
{ 1961, 972, 3061, -1},
{ 1962, 973, 3061, -1},
{ 1963, 974, 1963, -1},
{ 1965, 975, 1861, -1},
{ 1966, 976, 656, -1},
{ 1967, 977, 1178, -1},
{ 1968, 978, 1737, -1},
{ 1978, 979, 3141, -1},
{ 1979, 980, 2725, -1},
{ 1980, 981, 2342, -1},
{ 1981, 982, 2740, -1},
{ 1982, 983, 3141, -1},
{ 1983, 984, 2265, -1},
{ 1984, 985, 1030, -1},
{ 1985, 986, 2399, -1},
{ 1986, 987, 1569, -1},
{ 1987, 988, 1060, -1},
{ 1988, 989, 2265, -1},
{ 1989, 990, 2725, -1},
{ 1990, 991, 1805, -1},
{ 1991, 992, 1802, -1},
{ 1992, 993, 1802, -1},
{ 1993, 994, 2062, -1},
{ 1994, 995, 3040, -1},
{ 1995, 996, 3040, -1},
{ 1996, 997, 5850, -1},
{ 1997, 998, 2725, -1},
{ 2031, 999, 2740, -1},
{ 2032, 1000, 2677, -1},
{ 2033, 1001, 3141, -1},
{ 2034, 1002, 2725, -1},
{ 2035, 1003, 2725, -1},
{ 2036, 1004, 3141, -1},
{ 2037, 1005, 2004, -1},
{ 2038, 1006, 2511, -1},
{ 2039, 1007, 3088, -1},
{ 2040, 1008, 2511, -1},
{ 2041, 1009, 2375, -1},
{ 2042, 1010, 2397, -1},
{ 2043, 1011, 1621, -1},
{ 2044, 1012, 2725, -1},
{ 2045, 1013, 2167, -1},
{ 2046, 1014, 2740, -1},
{ 2047, 1015, 2991, -1},
{ 2048, 1016, 2740, -1},
{ 2049, 1017, 2798, -1},
{ 2050, 1018, 3141, -1},
{ 2051, 1019, 2677, -1},
{ 2052, 1020, 1813, -1},
{ 2053, 1021, 2725, -1},
{ 2054, 1022, 3141, -1},
{ 2055, 1023, 2798, -1},
{ 2056, 1024, 3141, -1},
{ 2057, 1025, 3141, -1},
{ 2058, 1026, 3141, -1},
{ 2059, 1027, 2725, -1},
{ 2060, 1028, 2740, -1},
{ 2061, 1029, 2725, -1},
{ 2062, 1030, 3141, -1},
{ 2063, 1031, 2188, -1},
{ 2064, 1032, 1909, -1},
{ 2065, 1033, 2991, -1},
{ 2066, 1034, 3088, -1},
{ 2067, 1035, 3040, -1},
{ 2068, 1036, 3088, -1},
{ 2069, 1037, 3088, -1},
{ 2070, 1038, 3088, -1},
{ 2071, 1039, 3088, -1},
{ 2072, 1040, 2768, -1},
{ 2073, 1041, 2725, -1},
{ 2074, 1042, 2768, -1},
{ 2075, 1043, 2768, -1},
{ 2087, 1044, 1333, -1},
{ 2088, 1045, 1636, -1},
{ 2089, 1046, 2453, -1},
{ 2090, 1047, 1636, -1},
{ 2091, 1048, 1636, -1},
{ 2092, 1049, 2453, -1},
{ 2093, 1050, 1636, -1},
{ 2094, 1051, 2453, -1},
{ 2095, 1052, 1636, -1},
{ 2096, 1053, 1636, -1},
{ 2097, 1054, 1106, -1},
{ 2098, 1055, 1636, -1},
{ 2099, 1056, 2453, -1},
{ 2100, 1057, 438, -1},
{ 2101, 1058, 695, -1},
{ 2102, 1059, 695, -1},
{ 2103, 1060, 438, -1},
{ 2104, 1061, 5850, -1},
{ 2105, 1062, 5850, -1},
{ 2106, 1063, 5194, -1},
{ 2107, 1064, 5850, -1},
{ 2108, 1065, 3061, -1},
{ 2109, 1066, 3061, -1},
{ 2110, 1067, 2188, -1},
{ 2111, 1068, 6296, -1},
{ 2134, 1069, 3141, -1},
{ 2135, 1070, 2472, -1},
{ 2136, 1071, 613, -1},
{ 2137, 1072, 1000, -1},
{ 2138, 1073, 613, -1},
{ 2139, 1074, 1001, -1},
{ 2140, 1075, 1495, -1},
{ 2141, 1076, 613, -1},
{ 2142, 1077, 1000, -1},
{ 2143, 1078, 613, -1},
{ 2144, 1079, 613, -1},
{ 2145, 1080, 614, -1},
{ 2146, 1081, 1001, -1},
{ 2147, 1082, 1000, -1},
{ 2148, 1083, 6343, -1},
{ 2149, 1084, 6343, -1},
{ 2150, 1085, 6343, -1},
{ 2151, 1086, 6343, -1},
{ 2154, 1087, 6343, -1},
{ 2155, 1088, 3141, -1},
{ 2156, 1089, 3141, -1},
{ 2157, 1090, 2991, -1},
{ 2158, 1091, 3141, -1},
{ 2159, 1092, 3061, -1},
{ 2160, 1093, 3142, -1},
{ 2161, 1094, 6343, -1},
{ 2164, 1095, 1241, -1},
{ 2165, 1096, 3141, -1},
{ 2176, 1097, 3141, -1},
{ 2177, 1098, 1874, -1},
{ 2178, 1099, 2188, -1},
{ 2179, 1100, 1496, -1},
{ 2180, 1101, 3040, -1},
{ 2181, 1102, 2399, -1},
{ 2182, 1103, 1874, -1},
{ 2184, 1104, 2740, -1},
{ 2185, 1105, 3061, -1},
{ 2186, 1106, 3061, -1},
{ 2194, 1107, 3141, -1},
{ 2195, 1108, 1285, -1},
{ 2196, 1109, 1634, -1},
{ 2198, 1110, 848, -1},
{ 2199, 1111, 1537, -1},
{ 2200, 1112, 1859, -1},
{ 2269, 1113, 2592, 101},
{ 2270, 1114, 3141, 102},
{ 2271, 1115, 2991, 103},
{ 2272, 1116, 3141, 104},
{ 2273, 1117, 3061, 105},
{ 2274, 1118, 3061, 106},
{ 2275, 1119, 2664, 107},
{ 2276, 1120, 3141, 108},
{ 2277, 1121, 2991, 109},
{ 2278, 1122, 3141, 110},
{ 2279, 1123, 3061, 111},
{ 2280, 1124, 3061, 112},
{ 2281, 1125, 2740, 113},
{ 2282, 1126, 3141, 114},
{ 2283, 1127, 2991, 115},
{ 2284, 1128, 3141, 116},
{ 2285, 1129, 3061, 117},
{ 2286, 1130, 2974, 118},
{ 2287, 1131, 2669, 119},
{ 2288, 1132, 3141, 120},
{ 2289, 1133, 2991, 121},
{ 2290, 1134, 3141, 122},
{ 2291, 1135, 3061, 123},
{ 2292, 1136, 3142, 124},
{ 2293, 1137, 2669, 125},
{ 2294, 1138, 3141, 126},
{ 2295, 1139, 2991, 127},
{ 2296, 1140, 3141, 128},
{ 2297, 1141, 3061, 129},
{ 2298, 1142, 3142, 130},
{ 2299, 1143, 2585, 131},
{ 2300, 1144, 3141, 132},
{ 2301, 1145, 2991, 133},
{ 2302, 1146, 3141, 134},
{ 2303, 1147, 3061, 135},
{ 2304, 1148, 3142, 136},
{ 2305, 1149, 2740, 137},
{ 2306, 1150, 3141, 138},
{ 2307, 1151, 2991, 139},
{ 2308, 1152, 3141, 140},
{ 2309, 1153, 3061, 141},
{ 2310, 1154, 3142, 142},
{ 2311, 1155, 3141, 143},
{ 2312, 1156, 2991, 144},
{ 2313, 1157, 3141, 145},
{ 2314, 1158, 3061, 146},
{ 2315, 1159, 3142, 147},
{ 2316, 1160, 2740, 148},
{ 2317, 1161, 1874, 149},
{ 2318, 1162, 3141, 150},
{ 2319, 1163, 2991, 151},
{ 2320, 1164, 3141, 152},
{ 2321, 1165, 3061, 153},
{ 2322, 1166, 2740, 154},
{ 2323, 1167, 1874, 155},
{ 2324, 1168, 3142, 156},
{ 2325, 1169, 2740, 157},
{ 2326, 1170, 3141, 158},
{ 2327, 1171, 2991, 159},
{ 2328, 1172, 2991, 160},
{ 2329, 1173, 3141, 161},
{ 2330, 1174, 3061, 162},
{ 2331, 1175, 3142, 163},
{ 2332, 1176, 2740, 164},
{ 2333, 1177, 3141, 165},
{ 2334, 1178, 2991, 166},
{ 2335, 1179, 2991, 167},
{ 2336, 1180, 3141, 168},
{ 2337, 1181, 3061, 169},
{ 2338, 1182, 3142, 170},
{ 2339, 1183, 2740, 171},
{ 2340, 1184, 3141, 172},
{ 2341, 1185, 2991, 173},
{ 2342, 1186, 3141, 174},
{ 2343, 1187, 3061, 175},
{ 2344, 1188, 3141, 176},
{ 2345, 1189, 3142, 177},
{ 2346, 1190, 1285, 178},
{ 2347, 1191, 3141, 179},
{ 2348, 1192, 2991, 180},
{ 2349, 1193, 3141, 181},
{ 2350, 1194, 3061, 182},
{ 2351, 1195, 3142, 183},
{ 2352, 1196, 2740, -1},
{ 2353, 1197, 3141, -1},
{ 2354, 1198, 2991, -1},
{ 2355, 1199, 3141, -1},
{ 2356, 1200, 3061, -1},
{ 2357, 1201, 3142, -1},
{ 2358, 1202, 2653, -1},
{ 2359, 1203, 2658, -1},
{ 2360, 1204, 2740, 184},
{ 2361, 1205, 3141, 185},
{ 2362, 1206, 2991, 186},
{ 2363, 1207, 3141, 187},
{ 2364, 1208, 3061, 188},
{ 2365, 1209, 3141, 189},
{ 2366, 1210, 3142, 190},
{ 2387, 1211, 2740, -1},
{ 2388, 1212, 3141, -1},
{ 2389, 1213, 3141, -1},
{ 2390, 1214, 2991, -1},
{ 2391, 1215, 3141, -1},
{ 2392, 1216, 3061, -1},
{ 2393, 1217, 2905, -1},
{ 2394, 1218, 3141, 191},
{ 2395, 1219, 2991, 192},
{ 2396, 1220, 3141, 193},
{ 2397, 1221, 3061, 194},
{ 2398, 1222, 2909, 195},
{ 2399, 1223, 1859, 196},
{ 2400, 1224, 3141, 197},
{ 2401, 1225, 2991, 198},
{ 2402, 1226, 3006, 199},
{ 2403, 1227, 3061, 200},
{ 2404, 1228, 3061, 201},
{ 2405, 1229, 3141, 202},
{ 2406, 1230, 3061, 203},
{ 2407, 1231, 3142, 204},
{ 2408, 1232, 3141, -1},
{ 2409, 1233, 3141, -1},
{ 2410, 1234, 2991, -1},
{ 2411, 1235, 3141, -1},
{ 2412, 1236, 3061, -1},
{ 2413, 1237, 3142, -1},
{ 2414, 1238, 1859, 205},
{ 2415, 1239, 3141, 206},
{ 2416, 1240, 2991, 207},
{ 2417, 1241, 3006, 208},
{ 2418, 1242, 3061, 209},
{ 2419, 1243, 3061, 210},
{ 2420, 1244, 3141, 211},
{ 2421, 1245, 3061, 212},
{ 2422, 1246, 3142, 213},
{ 2423, 1247, 2740, 214},
{ 2424, 1248, 3141, 215},
{ 2425, 1249, 2991, 216},
{ 2426, 1250, 3141, 217},
{ 2427, 1251, 3061, 218},
{ 2428, 1252, 3142, 219},
{ 2429, 1253, 2740, 220},
{ 2430, 1254, 3141, 221},
{ 2431, 1255, 2991, 222},
{ 2432, 1256, 3141, 223},
{ 2433, 1257, 3061, 224},
{ 2434, 1258, 3142, 225},
{ 2579, 1259, 3141, -1},
{ 2580, 1260, 6296, -1},
{ 2581, 1261, 643, -1},
{ 2582, 1262, 643, -1},
{ 2583, 1263, 1471, -1},
{ 2584, 1264, 2369, -1},
{ 2585, 1265, 6296, -1},
{ 2601, 1266, 1861, -1},
{ 2602, 1267, 656, -1},
{ 2603, 1268, 946, -1},
{ 2604, 1269, 1435, -1},
{ 2767, 1270, 6343, -1},
{ 2768, 1271, 3141, -1},
{ 2769, 1272, 3141, -1},
{ 2770, 1273, 3141, -1},
{ 2771, 1274, 6296, -1},
{ 2772, 1275, 5850, -1},
{ 2773, 1276, 3141, -1},
{ 2774, 1277, 6144, -1},
{ 2775, 1278, 6286, -1},
{ 2776, 1279, 3041, -1},
{ 2832, 1280, 1285, -1},
{ 2833, 1281, 1859, -1},
{ 2834, 1282, 972, -1},
{ 2836, 1283, 1861, -1},
{ 2837, 1284, 2805, -1},
{ 2839, 1285, 1861, -1},
{ 2840, 1286, 706, -1},
{ 2841, 1287, 2740, -1},
{ 2842, 1288, 1962, -1},
{ 2843, 1289, 1861, -1},
{ 2844, 1290, 1881, -1},
{ 2846, 1291, 1861, -1},
{ 2847, 1292, 459, -1},
{ 2849, 1293, 2740, -1},
{ 2850, 1294, 3061, -1},
{ 2851, 1295, 2446, -1},
{ 2852, 1296, 1636, -1},
{ 2853, 1297, 3040, -1},
{ 2855, 1298, 1867, -1},
{ 2856, 1299, 3061, -1},
{ 2857, 1300, 2446, -1},
{ 2858, 1301, 1636, -1},
{ 2859, 1302, 3040, -1},
{ 2861, 1303, 1312, -1},
{ 2862, 1304, 3061, -1},
{ 2863, 1305, 2446, -1},
{ 2864, 1306, 1636, -1},
{ 2865, 1307, 3040, -1},
{ 2867, 1308, 863, -1},
{ 2868, 1309, 3061, -1},
{ 2869, 1310, 2446, -1},
{ 2870, 1311, 1636, -1},
{ 2871, 1312, 3040, -1},
{ 2872, 1313, 4002, -1},
{ 2879, 1314, 1867, -1},
{ 2880, 1315, 3061, -1},
{ 2881, 1316, 2446, -1},
{ 2882, 1317, 1636, -1},
{ 2883, 1318, 3040, -1},
{ 2912, 1319, 2740, -1},
{ 2913, 1320, 2453, -1},
{ 2914, 1321, 3142, -1},
{ 2915, 1322, 2835, -1},
{ 2916, 1323, 1636, -1},
{ 2917, 1324, 3061, -1},
{ 2918, 1325, 3061, -1},
{ 2920, 1326, 1861, -1},
{ 2921, 1327, 2472, -1},
{ 2924, 1328, 1861, -1},
{ 2925, 1329, 2453, -1},
{ 2929, 1330, 3141, -1},
{ 2930, 1331, 1737, -1},
{ 2931, 1332, 1785, -1},
{ 2932, 1333, 1785, -1},
{ 2933, 1334, 3141, -1},
{ 2934, 1335, 1737, -1},
{ 2935, 1336, 1213, -1},
{ 2936, 1337, 1788, -1},
{ 2937, 1338, 1215, -1},
{ 2938, 1339, 3141, -1},
{ 2939, 1340, 2740, -1},
{ 2940, 1341, 2805, -1},
{ 2941, 1342, 2740, -1},
{ 2942, 1343, 3141, -1},
{ 2943, 1344, 2740, -1},
{ 2944, 1345, 1963, -1},
{ 2945, 1346, 2740, -1},
{ 2946, 1347, 3141, -1},
{ 2947, 1348, 2740, -1},
{ 2948, 1349, 1391, -1},
{ 2949, 1350, 2740, -1},
{ 2988, 1351, 3141, -1},
{ 2989, 1352, 3142, -1},
{ 2990, 1353, 2805, -1},
{ 2991, 1354, 2740, -1},
{ 2992, 1355, 3061, -1},
{ 2993, 1356, 2453, -1},
{ 2994, 1357, 2839, -1},
{ 2995, 1358, 3061, -1},
{ 2996, 1359, 3061, -1},
{ 2997, 1360, 2740, -1},
{ 2998, 1361, 2740, -1},
{ 3002, 1362, 1312, -1},
{ 3003, 1363, 3061, -1},
{ 3004, 1364, 3061, -1},
{ 3005, 1365, 3061, -1},
{ 3006, 1366, 3061, -1},
{ 3007, 1367, 2740, -1},
{ 3035, 1368, 1867, -1},
{ 3036, 1369, 3141, -1},
{ 3037, 1370, 2167, -1},
{ 3038, 1371, 1589, -1},
{ 3039, 1372, 2991, -1},
{ 3040, 1373, 3141, -1},
{ 3041, 1374, 3141, -1},
{ 3042, 1375, 2677, -1},
{ 3043, 1376, 3141, -1},
{ 3044, 1377, 3141, -1},
{ 3045, 1378, 1741, -1},
{ 3046, 1379, 1497, -1},
{ 3047, 1380, 2677, -1},
{ 3048, 1381, 5650, -1},
{ 3049, 1382, 5650, -1},
{ 3050, 1383, 2991, -1},
{ 3051, 1384, 2652, -1},
{ 3052, 1385, 3141, -1},
{ 3053, 1386, 2098, -1},
{ 3054, 1387, 2098, -1},
{ 3055, 1388, 3061, -1},
{ 3056, 1389, 3142, -1},
{ 3058, 1390, 1861, -1},
{ 3059, 1391, 2098, -1},
{ 3061, 1392, 1861, -1},
{ 3062, 1393, 2834, -1},
{ 3065, 1394, 2740, -1},
{ 3066, 1395, 2725, -1},
{ 3067, 1396, 3088, -1},
{ 3068, 1397, 2511, -1},
{ 3069, 1398, 2397, -1},
{ 3070, 1399, 1621, -1},
{ 3071, 1400, 2798, -1},
{ 3072, 1401, 2798, -1},
{ 3073, 1402, 2725, -1},
{ 3074, 1403, 2188, -1},
{ 3075, 1404, 3088, -1},
{ 3076, 1405, 2587, -1},
{ 3077, 1406, 3061, -1},
{ 3096, 1407, 2331, 226},
{ 3097, 1408, 2332, 227},
{ 3098, 1409, 2333, 228},
{ 3099, 1410, 2334, 229},
{ 3100, 1411, 2335, 230},
{ 3101, 1412, 2075, 231},
{ 3102, 1413, 2076, 232},
{ 3103, 1414, 2077, 233},
{ 3104, 1415, 2078, 234},
{ 3105, 1416, 2079, 235},
{ 3106, 1417, 2188, 236},
{ 3107, 1418, 3040, 237},
{ 3108, 1419, 3061, 238},
{ 3109, 1420, 3061, 239},
{ 3110, 1421, 3061, 240},
{ 3111, 1422, 2983, 241},
{ 3112, 1423, 3040, 242},
{ 3113, 1424, 2837, 243},
{ 3114, 1425, 3040, 244},
{ 3115, 1426, 3040, 245},
{ 3116, 1427, 2725, 246},
{ 3117, 1428, 2588, -1},
{ 3118, 1429, 3061, -1},
{ 3137, 1430, 2331, 247},
{ 3138, 1431, 2332, 248},
{ 3139, 1432, 2333, 249},
{ 3140, 1433, 2334, 250},
{ 3141, 1434, 2335, 251},
{ 3142, 1435, 2075, 252},
{ 3143, 1436, 2076, 253},
{ 3144, 1437, 2077, 254},
{ 3145, 1438, 2078, 255},
{ 3146, 1439, 2079, 256},
{ 3147, 1440, 2188, 257},
{ 3148, 1441, 3040, 258},
{ 3149, 1442, 3061, 259},
{ 3150, 1443, 3061, 260},
{ 3151, 1444, 3061, 261},
{ 3152, 1445, 2983, 262},
{ 3153, 1446, 3040, 263},
{ 3154, 1447, 2837, 264},
{ 3155, 1448, 3040, 265},
{ 3156, 1449, 3040, 266},
{ 3157, 1450, 2725, 267},
{ 3158, 1451, 2589, -1},
{ 3159, 1452, 3061, -1},
{ 3178, 1453, 2331, 268},
{ 3179, 1454, 2332, 269},
{ 3180, 1455, 2333, 270},
{ 3181, 1456, 2334, 271},
{ 3182, 1457, 2335, 272},
{ 3183, 1458, 2075, 273},
{ 3184, 1459, 2076, 274},
{ 3185, 1460, 2077, 275},
{ 3186, 1461, 2078, 276},
{ 3187, 1462, 2079, 277},
{ 3188, 1463, 2188, 278},
{ 3189, 1464, 3040, 279},
{ 3190, 1465, 3061, 280},
{ 3191, 1466, 3061, 281},
{ 3192, 1467, 3061, 282},
{ 3193, 1468, 2983, 283},
{ 3194, 1469, 3040, 284},
{ 3195, 1470, 2837, 285},
{ 3196, 1471, 3040, 286},
{ 3197, 1472, 3040, 287},
{ 3198, 1473, 1820, 288},
{ 3199, 1474, 2725, 289},
{ 3200, 1475, 2590, -1},
{ 3201, 1476, 3061, -1},
{ 3220, 1477, 2331, 290},
{ 3221, 1478, 2332, 291},
{ 3222, 1479, 2333, 292},
{ 3223, 1480, 2334, 293},
{ 3224, 1481, 2335, 294},
{ 3225, 1482, 2075, 295},
{ 3226, 1483, 2076, 296},
{ 3227, 1484, 2077, 297},
{ 3228, 1485, 2078, 298},
{ 3229, 1486, 2079, 299},
{ 3230, 1487, 2188, 300},
{ 3231, 1488, 3040, 301},
{ 3232, 1489, 3061, 302},
{ 3233, 1490, 3061, 303},
{ 3234, 1491, 3061, 304},
{ 3235, 1492, 2983, 305},
{ 3236, 1493, 3040, 306},
{ 3237, 1494, 2837, 307},
{ 3238, 1495, 3040, 308},
{ 3239, 1496, 3040, 309},
{ 3240, 1497, 2725, 310},
{ 3241, 1498, 2591, -1},
{ 3242, 1499, 3061, -1},
{ 3261, 1500, 2331, 311},
{ 3262, 1501, 2332, 312},
{ 3263, 1502, 2333, 313},
{ 3264, 1503, 2334, 314},
{ 3265, 1504, 2335, 315},
{ 3266, 1505, 2075, 316},
{ 3267, 1506, 2076, 317},
{ 3268, 1507, 2077, 318},
{ 3269, 1508, 2078, 319},
{ 3270, 1509, 2079, 320},
{ 3271, 1510, 2188, 321},
{ 3272, 1511, 3040, 322},
{ 3273, 1512, 3061, 323},
{ 3274, 1513, 3061, 324},
{ 3275, 1514, 3061, 325},
{ 3276, 1515, 2983, 326},
{ 3277, 1516, 3040, 327},
{ 3278, 1517, 2837, 328},
{ 3279, 1518, 3040, 329},
{ 3280, 1519, 3040, 330},
{ 3281, 1520, 2725, 331},
{ 3284, 1521, 3141, -1},
{ 3285, 1522, 1737, -1},
{ 3286, 1523, 1785, -1},
{ 3287, 1524, 1785, -1},
{ 3288, 1525, 1737, -1},
{ 3289, 1526, 1213, -1},
{ 3290, 1527, 1788, -1},
{ 3291, 1528, 1215, -1},
{ 3294, 1529, 3141, -1},
{ 3295, 1530, 1737, -1},
{ 3296, 1531, 1785, -1},
{ 3297, 1532, 1785, -1},
{ 3298, 1533, 1737, -1},
{ 3299, 1534, 1213, -1},
{ 3300, 1535, 1788, -1},
{ 3301, 1536, 1215, -1},
{ 3317, 1537, 3141, -1},
{ 3318, 1538, 3646, -1},
{ 3319, 1539, 3141, -1},
{ 3320, 1540, 3141, -1},
{ 3321, 1541, 2991, -1},
{ 3322, 1542, 3061, -1},
{ 3323, 1543, 3061, -1},
{ 3324, 1544, 3061, -1},
{ 3325, 1545, 2677, -1},
{ 3326, 1546, 2740, -1},
{ 3327, 1547, 2740, -1},
{ 3328, 1548, 2740, -1},
{ 3330, 1549, 2805, 332},
{ 3331, 1550, 2265, 333},
{ 3332, 1551, 2188, 334},
{ 3333, 1552, 3040, 335},
{ 3334, 1553, 6172, -1},
{ 3335, 1554, 6172, -1},
{ 3340, 1555, 6343, -1},
{ 3341, 1556, 1867, -1},
{ 3342, 1557, 861, -1},
{ 3343, 1558, 6144, -1},
{ 3345, 1559, 848, -1},
{ 3346, 1560, 3061, -1},
{ 3347, 1561, 2991, -1},
{ 3363, 1562, 1861, -1},
{ 3364, 1563, 3142, -1},
{ 3366, 1564, 1861, -1},
{ 3367, 1565, 82, -1},
{ 3369, 1566, 1861, -1},
{ 3370, 1567, 58, -1},
{ 3372, 1568, 1861, -1},
{ 3373, 1569, 46, -1},
{ 3375, 1570, 1861, -1},
{ 3376, 1571, 39, -1},
{ 3378, 1572, 1861, -1},
{ 3379, 1573, 16, -1},
{ 3381, 1574, 1861, -1},
{ 3382, 1575, 13, -1},
{ 3384, 1576, 1861, -1},
{ 3385, 1577, 11, -1},
{ 3386, 1578, 1861, -1},
{ 3387, 1579, 9, -1},
{ 3389, 1580, 1861, -1},
{ 3390, 1581, 2839, -1},
{ 3451, 1582, 1861, -1},
{ 3452, 1583, 2839, -1},
{ 3462, 1584, 1861, -1},
{ 3463, 1585, 1983, -1},
{ 3468, 1586, 1861, -1},
{ 3469, 1587, 1400, -1},
{ 3473, 1588, 1861, -1},
{ 3474, 1589, 930, -1},
{ 3476, 1590, 1861, -1},
{ 3477, 1591, 564, -1},
{ 3479, 1592, 1861, -1},
{ 3480, 1593, 356, -1},
{ 3482, 1594, 1861, -1},
{ 3483, 1595, 215, -1},
{ 3485, 1596, 1861, -1},
{ 3486, 1597, 130, -1},
{ 3488, 1598, 2727, 336},
{ 3489, 1599, 3142, 337},
{ 3490, 1600, 3042, 338},
{ 3497, 1601, 1805, -1},
{ 3498, 1602, 3141, -1},
{ 3499, 1603, 1167, -1},
{ 3500, 1604, 3042, -1},
{ 3501, 1605, 3040, -1},
{ 3502, 1606, 3141, -1},
{ 3503, 1607, 1571, -1},
{ 3504, 1608, 2188, -1},
{ 3505, 1609, 3040, -1},
{ 3506, 1610, 3141, -1},
{ 3507, 1611, 2188, -1},
{ 3508, 1612, 1496, -1},
{ 3509, 1613, 3040, -1},
{ 3510, 1614, 2399, -1},
{ 3511, 1615, 643, -1},
{ 3512, 1616, 643, -1},
{ 3513, 1617, 6343, -1},
{ 3514, 1618, 6347, -1},
{ 3515, 1619, 6167, -1},
{ 3516, 1620, 6157, -1},
{ 3518, 1621, 2740, -1},
{ 3519, 1622, 1636, -1},
{ 3521, 1623, 1861, -1},
{ 3522, 1624, 2839, -1},
{ 3525, 1625, 863, -1},
{ 3526, 1626, 3061, -1},
{ 3527, 1627, 3061, -1},
{ 3531, 1628, 3141, -1},
{ 3532, 1629, 2805, -1},
{ 3533, 1630, 3061, -1},
{ 3534, 1631, 2805, -1},
{ 3535, 1632, 3141, -1},
{ 3536, 1633, 2265, -1},
{ 3537, 1634, 1859, -1},
{ 3538, 1635, 2265, -1},
{ 3539, 1636, 3040, -1},
{ 3540, 1637, 2991, -1},
{ 3541, 1638, 2399, -1},
{ 3542, 1639, 1820, -1},
{ 3543, 1640, 2725, -1},
{ 3544, 1641, 2837, -1},
{ 3545, 1642, 1820, -1},
{ 3546, 1643, 3061, -1},
{ 3547, 1644, 6343, -1},
{ 3548, 1645, 6343, -1},
{ 3549, 1646, 6296, -1},
{ 3550, 1647, 5573, -1},
{ 3551, 1648, 6144, -1},
{ 3554, 1649, 3141, -1},
{ 3555, 1650, 1737, -1},
{ 3556, 1651, 1785, -1},
{ 3557, 1652, 1785, -1},
{ 3558, 1653, 1737, -1},
{ 3559, 1654, 1213, -1},
{ 3560, 1655, 1788, -1},
{ 3561, 1656, 1215, -1},
{ 3595, 1657, 3141, -1},
{ 3596, 1658, 2740, -1},
{ 3597, 1659, 2740, -1},
{ 3598, 1660, 1867, -1},
{ 3599, 1661, 1874, -1},
{ 3600, 1662, 2265, -1},
{ 3601, 1663, 2265, -1},
{ 3602, 1664, 1230, -1},
{ 3603, 1665, 4930, -1},
{ 3604, 1666, 3141, -1},
{ 3605, 1667, 2265, -1},
{ 3606, 1668, 2740, -1},
{ 3607, 1669, 2740, -1},
{ 3608, 1670, 1859, -1},
{ 3609, 1671, 1285, -1},
{ 3610, 1672, 3142, -1},
{ 3611, 1673, 1874, -1},
{ 3612, 1674, 3141, -1},
{ 3613, 1675, 2359, -1},
{ 3614, 1676, 2399, -1},
{ 3615, 1677, 2740, -1},
{ 3616, 1678, 2265, -1},
{ 3617, 1679, 2369, -1},
{ 3618, 1680, 2725, -1},
{ 3619, 1681, 2805, -1},
{ 3620, 1682, 2991, -1},
{ 3621, 1683, 3061, -1},
{ 3622, 1684, 3061, -1},
{ 3623, 1685, 3141, -1},
{ 3624, 1686, 2740, -1},
{ 3625, 1687, 3061, -1},
{ 3626, 1688, 3040, -1},
{ 3629, 1689, 3141, -1},
{ 3630, 1690, 2188, -1},
{ 3631, 1691, 3061, -1},
{ 3632, 1692, 3061, -1},
{ 3633, 1693, 2740, -1},
{ 3634, 1694, 1466, -1},
{ 3635, 1695, 2838, -1},
{ 3636, 1696, 1881, -1},
{ 3637, 1697, 2740, -1},
{ 3638, 1698, 3061, -1},
{ 3639, 1699, 2740, -1},
{ 3640, 1700, 3061, -1},
{ 3641, 1701, 2740, -1},
{ 3642, 1702, 3061, -1},
{ 3742, 1703, 2740, -1},
{ 3743, 1704, 3061, -1},
{ 3744, 1705, 2740, -1},
{ 3745, 1706, 3061, -1},
{ 3746, 1707, 2740, -1},
{ 3747, 1708, 3061, -1},
{ 4002, 1709, 6296, -1},
{ 4010, 1710, 3141, -1},
{ 4011, 1711, 2805, -1},
{ 4012, 1712, 1960, -1},
{ 4013, 1713, 1494, -1},
{ 4014, 1714, 3141, -1},
{ 4015, 1715, 2265, -1},
{ 4016, 1716, 1859, -1},
{ 4017, 1717, 2265, -1},
{ 4018, 1718, 2265, -1},
{ 4019, 1719, 3061, -1},
{ 4020, 1720, 2399, -1},
{ 4021, 1721, 1820, -1},
{ 4022, 1722, 2265, -1},
{ 4023, 1723, 2740, -1},
{ 4024, 1724, 2725, -1},
{ 4025, 1725, 2740, -1},
{ 4026, 1726, 1805, -1},
{ 4027, 1727, 3061, -1},
{ 4028, 1728, 3040, -1},
{ 4029, 1729, 3040, -1},
{ 4030, 1730, 2991, -1},
{ 4031, 1731, 2837, -1},
{ 4032, 1732, 1820, -1},
{ 4055, 1733, 2453, 339},
{ 4056, 1734, 2805, 340},
{ 4057, 1735, 2740, 341},
{ 4058, 1736, 1962, 342},
{ 4059, 1737, 2399, 343},
{ 4060, 1738, 2740, 344},
{ 4061, 1739, 1569, 345},
{ 4062, 1740, 2805, 346},
{ 4063, 1741, 3141, 347},
{ 4064, 1742, 3141, 348},
{ 4065, 1743, 3142, 349},
{ 4066, 1744, 1495, 350},
{ 4067, 1745, 3061, 351},
{ 4068, 1746, 2399, 352},
{ 4069, 1747, 2805, 353},
{ 4070, 1748, 2805, 354},
{ 4071, 1749, 2725, 355},
{ 4072, 1750, 2725, 356},
{ 4073, 1751, 2725, 357},
{ 4074, 1752, 2265, 358},
{ 4075, 1753, 2725, 359},
{ 4076, 1754, 3061, 360},
{ 4077, 1755, 3061, 361},
{ 4078, 1756, 3040, 362},
{ 4079, 1757, 2837, 363},
{ 4080, 1758, 1820, 364},
{ 4095, 1759, 3141, -1},
{ 4096, 1760, 1177, -1},
{ 4097, 1761, 2434, -1},
{ 4098, 1762, 3040, -1},
{ 4099, 1763, 3061, -1},
{ 4117, 1764, 923, 365},
{ 4118, 1765, 1230, 366},
{ 4119, 1766, 2740, 367},
{ 4120, 1767, 1859, 368},
{ 4121, 1768, 1805, 369},
{ 4122, 1769, 2740, 370},
{ 4123, 1770, 1285, 371},
{ 4124, 1771, 1737, 372},
{ 4125, 1772, 3141, 373},
{ 4126, 1773, 2188, 374},
{ 4127, 1774, 985, 375},
{ 4128, 1775, 1859, 376},
{ 4129, 1776, 3141, 377},
{ 4130, 1777, 5866, -1},
{ 4131, 1778, 3061, 378},
{ 4132, 1779, 2369, 379},
{ 4133, 1780, 1049, 380},
{ 4134, 1781, 1809, 381},
{ 4135, 1782, 2188, 382},
{ 4136, 1783, 2725, 383},
{ 4137, 1784, 2725, 384},
{ 4138, 1785, 1805, 385},
{ 4139, 1786, 3061, 386},
{ 4140, 1787, 2435, 387},
{ 4141, 1788, 6095, -1},
{ 4142, 1789, 3061, 388},
{ 4143, 1790, 3040, 389},
{ 4144, 1791, 3040, 390},
{ 4145, 1792, 2991, 391},
{ 4146, 1793, 2446, 392},
{ 4147, 1794, 2725, 393},
{ 4148, 1795, 1809, 394},
{ 4290, 1796, 3061, -1},
{ 4291, 1797, 3141, -1},
{ 4292, 1798, 2740, -1},
{ 4293, 1799, 4846, -1},
{ 4294, 1800, 1435, -1},
{ 4295, 1801, 3141, -1},
{ 4296, 1802, 2839, -1},
{ 4297, 1803, 2669, -1},
{ 4298, 1804, 3142, -1},
{ 4299, 1805, 3142, -1},
{ 4300, 1806, 2834, -1},
{ 4301, 1807, 3142, -1},
{ 4302, 1808, 1604, -1},
{ 4303, 1809, 3142, -1},
{ 4304, 1810, 2834, -1},
{ 4305, 1811, 2434, -1},
{ 4306, 1812, 1177, -1},
{ 4307, 1813, 2834, -1},
{ 4308, 1814, 1180, -1},
{ 4309, 1815, 1849, -1},
{ 4310, 1816, 1959, -1},
{ 4311, 1817, 3061, -1},
{ 4312, 1818, 2983, -1},
{ 4313, 1819, 2983, -1},
{ 4314, 1820, 3040, -1},
{ 4315, 1821, 3061, -1},
{ 4319, 1822, 2740, 395},
{ 4320, 1823, 2080, 396},
{ 4321, 1824, 2188, 397},
{ 4322, 1825, 3040, 398},
{ 4323, 1826, 3061, 399},
{ 4324, 1827, 2740, 400},
{ 4336, 1828, 3141, -1},
{ 4337, 1829, 1182, -1},
{ 4338, 1830, 1636, -1},
{ 4341, 1831, 2740, -1},
{ 4342, 1832, 2617, -1},
{ 4343, 1833, 2740, -1},
{ 4344, 1834, 2046, -1},
{ 4345, 1835, 3141, -1},
{ 4346, 1836, 3061, -1},
{ 4347, 1837, 936, -1},
{ 4348, 1838, 3061, -1},
{ 4349, 1839, 2047, -1},
{ 4350, 1840, 1800, -1},
{ 4352, 1841, 2740, -1},
{ 4353, 1842, 2369, -1},
{ 4354, 1843, 3040, -1},
{ 4355, 1844, 3061, -1},
{ 4357, 1845, 3141, -1},
{ 4358, 1846, 3061, -1},
{ 4359, 1847, 3061, -1},
{ 4363, 1848, 3141, -1},
{ 4366, 1849, 2740, 401},
{ 4367, 1850, 3141, 402},
{ 4368, 1851, 2991, 403},
{ 4369, 1852, 3141, 404},
{ 4370, 1853, 3061, 405},
{ 4371, 1854, 3142, 406},
{ 4379, 1855, 2740, -1},
{ 4380, 1856, 1867, -1},
{ 4381, 1857, 1471, -1},
{ 4382, 1858, 2805, -1},
{ 4383, 1859, 2740, -1},
{ 4384, 1860, 2740, -1},
{ 4385, 1861, 2740, -1},
{ 4387, 1862, 1867, -1},
{ 4388, 1863, 1471, -1},
{ 4389, 1864, 2740, -1},
{ 4392, 1865, 1867, -1},
{ 4393, 1866, 1471, -1},
{ 4394, 1867, 2740, -1},
{ 4395, 1868, 1391, -1},
{ 4397, 1869, 1867, -1},
{ 4398, 1870, 1471, -1},
{ 4399, 1871, 2740, -1},
{ 4401, 1872, 6343, -1},
{ 4402, 1873, 3141, -1},
{ 4403, 1874, 2188, -1},
{ 4451, 1875, 3141, -1},
{ 4452, 1876, 3141, -1},
{ 4453, 1877, 3061, -1},
{ 4454, 1878, 3061, -1},
{ 4455, 1879, 3141, -1},
{ 4456, 1880, 3061, -1},
{ 4457, 1881, 3142, -1},
{ 4461, 1882, 6343, -1},
{ 4462, 1883, 2740, 407},
{ 4463, 1884, 2081, 408},
{ 4464, 1885, 2188, 409},
{ 4465, 1886, 3061, 410},
{ 4466, 1887, 3040, 411},
{ 4467, 1888, 3061, 412},
{ 4469, 1889, 6343, -1},
{ 4470, 1890, 3709, -1},
{ 4473, 1891, 2740, -1},
{ 4474, 1892, 1859, -1},
{ 4475, 1893, 3142, -1},
{ 4476, 1894, 2805, -1},
{ 4477, 1895, 3141, -1},
{ 4478, 1896, 2265, -1},
{ 4479, 1897, 2265, -1},
{ 4480, 1898, 2991, -1},
{ 4481, 1899, 3061, -1},
{ 4482, 1900, 1859, -1},
{ 4483, 1901, 2991, -1},
{ 4484, 1902, 3061, -1},
{ 4485, 1903, 3061, -1},
{ 4486, 1904, 3040, -1},
{ 4488, 1905, 2740, -1},
{ 4489, 1906, 2805, -1},
{ 4490, 1907, 3141, -1},
{ 4491, 1908, 2265, -1},
{ 4492, 1909, 1859, -1},
{ 4493, 1910, 3061, -1},
{ 4494, 1911, 2399, -1},
{ 4495, 1912, 1820, -1},
{ 4496, 1913, 2265, -1},
{ 4497, 1914, 2725, -1},
{ 4498, 1915, 1859, -1},
{ 4499, 1916, 2991, -1},
{ 4500, 1917, 3061, -1},
{ 4501, 1918, 3061, -1},
{ 4502, 1919, 3040, -1},
{ 4503, 1920, 2991, -1},
{ 4504, 1921, 2837, -1},
{ 4505, 1922, 1820, -1},
{ 4555, 1923, 1963, 413},
{ 4556, 1924, 3061, 414},
{ 4557, 1925, 3142, 415},
{ 4558, 1926, 3142, 416},
{ 4559, 1927, 3142, 417},
{ 4560, 1928, 2983, 418},
{ 4586, 1929, 3141, -1},
{ 4587, 1930, 5850, -1},
{ 4588, 1931, 4557, -1},
{ 4589, 1932, 3141, -1},
{ 4590, 1933, 3141, -1},
{ 4591, 1934, 2991, -1},
{ 4592, 1935, 2991, -1},
{ 4593, 1936, 3127, -1},
{ 4594, 1937, 2991, -1},
{ 4595, 1938, 2991, -1},
{ 4596, 1939, 3040, -1},
{ 4597, 1940, 3040, -1},
{ 4598, 1941, 2991, -1},
{ 4599, 1942, 2793, -1},
{ 4600, 1943, 2725, -1},
{ 4601, 1944, 2725, -1},
{ 4614, 1945, 3141, -1},
{ 4615, 1946, 2740, -1},
{ 4616, 1947, 1859, -1},
{ 4617, 1948, 1963, -1},
{ 4618, 1949, 3141, -1},
{ 4619, 1950, 2265, -1},
{ 4620, 1951, 3141, -1},
{ 4621, 1952, 1820, -1},
{ 4622, 1953, 2725, -1},
{ 4623, 1954, 2805, -1},
{ 4624, 1955, 1820, -1},
{ 4625, 1956, 1493, -1},
{ 4626, 1957, 3061, -1},
{ 4627, 1958, 2839, -1},
{ 4628, 1959, 3061, -1},
{ 4631, 1960, 3141, -1},
{ 4632, 1961, 6296, -1},
{ 4642, 1962, 2677, 419},
{ 4643, 1963, 2725, 420},
{ 4644, 1964, 2740, 421},
{ 4645, 1965, 1388, 422},
{ 4646, 1966, 3141, 423},
{ 4647, 1967, 1285, 424},
{ 4648, 1968, 2446, 425},
{ 4649, 1969, 3061, 426},
{ 4650, 1970, 2098, 427},
{ 4651, 1971, 2740, -1},
{ 4652, 1972, 2991, -1},
{ 4653, 1973, 2991, -1},
{ 4654, 1974, 2926, -1},
{ 4655, 1975, 3142, -1},
{ 4676, 1976, 3141, -1},
{ 4677, 1977, 2740, -1},
{ 4678, 1978, 1281, -1},
{ 4679, 1979, 3142, -1},
{ 4680, 1980, 6347, -1},
{ 4681, 1981, 1850, -1},
{ 4682, 1982, 1881, -1},
{ 4683, 1983, 2740, -1},
{ 4684, 1984, 2740, -1},
{ 4685, 1985, 3141, -1},
{ 4686, 1986, 3061, -1},
{ 4687, 1987, 3141, -1},
{ 4688, 1988, 2725, -1},
{ 4689, 1989, 2991, -1},
{ 4690, 1990, 2991, -1},
{ 4691, 1991, 2926, -1},
{ 4692, 1992, 3142, -1},
{ 4693, 1993, 3142, -1},
{ 4703, 1994, 1881, -1},
{ 4704, 1995, 3141, -1},
{ 4705, 1996, 3061, -1},
{ 4706, 1997, 3142, -1},
{ 4730, 1998, 3141, -1},
{ 4731, 1999, 1874, -1},
{ 4732, 2000, 2472, -1},
{ 4733, 2001, 2472, -1},
{ 4734, 2002, 2740, -1},
{ 4735, 2003, 3141, -1},
{ 4736, 2004, 2265, -1},
{ 4737, 2005, 1859, -1},
{ 4738, 2006, 2472, -1},
{ 4739, 2007, 3142, -1},
{ 4740, 2008, 1874, -1},
{ 4741, 2009, 1867, -1},
{ 4742, 2010, 2740, -1},
{ 4743, 2011, 2740, -1},
{ 4744, 2012, 2740, -1},
{ 4745, 2013, 2265, -1},
{ 4746, 2014, 2740, -1},
{ 4747, 2015, 3141, -1},
{ 4748, 2016, 2805, -1},
{ 4749, 2017, 2991, -1},
{ 4750, 2018, 3061, -1},
{ 4751, 2019, 1859, -1},
{ 4752, 2020, 2991, -1},
{ 4753, 2021, 3061, -1},
{ 4754, 2022, 3061, -1},
{ 4755, 2023, 2740, -1},
{ 4756, 2024, 2740, -1},
{ 4757, 2025, 3040, -1},
{ 4758, 2026, 3061, -1},
{ 4760, 2027, 3141, -1},
{ 4764, 2028, 1308, -1},
{ 4765, 2029, 3141, -1},
{ 4766, 2030, 3061, -1},
{ 4767, 2031, 2740, -1},
{ 4768, 2032, 3040, -1},
{ 4769, 2033, 2725, -1},
{ 4773, 2034, 1177, 428},
{ 4774, 2035, 1181, 429},
{ 4775, 2036, 2060, 430},
{ 4776, 2037, 2098, 431},
{ 4777, 2038, 1437, 432},
{ 4778, 2039, 2084, 433},
{ 4779, 2040, 2983, 434},
{ 4780, 2041, 3040, 435},
{ 4781, 2042, 3040, 436},
{ 4782, 2043, 2060, 437},
{ 4783, 2044, 2725, 438},
{ 4784, 2045, 2740, 439},
{ 4785, 2046, 1859, 440},
{ 4786, 2047, 3061, 441},
{ 4787, 2048, 3040, 442},
{ 4788, 2049, 2446, 443},
{ 4794, 2050, 6343, -1},
{ 4795, 2051, 6296, -1},
{ 4796, 2052, 6296, -1},
{ 4797, 2053, 6296, -1},
{ 4799, 2054, 1820, -1},
{ 4801, 2055, 1861, -1},
{ 4802, 2056, 695, -1},
{ 4803, 2057, 2740, -1},
{ 4804, 2058, 1867, -1},
{ 4805, 2059, 6343, -1},
{ 4806, 2060, 6296, -1},
{ 4807, 2061, 5574, -1},
{ 4808, 2062, 6144, -1},
{ 4831, 2063, 3141, -1},
{ 4832, 2064, 2740, -1},
{ 4833, 2065, 3141, -1},
{ 4834, 2066, 2188, -1},
{ 4835, 2067, 1859, -1},
{ 4836, 2068, 3061, -1},
{ 4837, 2069, 2369, -1},
{ 4838, 2070, 1809, -1},
{ 4839, 2071, 2188, -1},
{ 4840, 2072, 2725, -1},
{ 4841, 2073, 3061, -1},
{ 4842, 2074, 3040, -1},
{ 4843, 2075, 2991, -1},
{ 4844, 2076, 2446, -1},
{ 4845, 2077, 1809, -1},
{ 4868, 2078, 3141, -1},
{ 4869, 2079, 1479, -1},
{ 4870, 2080, 3141, -1},
{ 4871, 2081, 3061, -1},
{ 4872, 2082, 2740, -1},
{ 4875, 2083, 3141, -1},
{ 4876, 2084, 1737, -1},
{ 4877, 2085, 1785, -1},
{ 4878, 2086, 1785, -1},
{ 4879, 2087, 1737, -1},
{ 4880, 2088, 1213, -1},
{ 4881, 2089, 1788, -1},
{ 4882, 2090, 1215, -1},
{ 5085, 2091, 6343, -1},
{ 5086, 2092, 3141, -1},
{ 5087, 2093, 2740, -1},
{ 5088, 2094, 2725, -1},
{ 5089, 2095, 2805, -1},
{ 5090, 2096, 2740, -1},
{ 5091, 2097, 2740, -1},
{ 5092, 2098, 2805, -1},
{ 5093, 2099, 3061, -1},
{ 5094, 2100, 2399, -1},
{ 5095, 2101, 1570, -1},
{ 5096, 2102, 627, -1},
{ 5097, 2103, 3141, -1},
{ 5098, 2104, 2265, -1},
{ 5099, 2105, 2740, -1},
{ 5100, 2106, 1859, -1},
{ 5101, 2107, 2725, -1},
{ 5102, 2108, 2188, -1},
{ 5103, 2109, 2838, -1},
{ 5104, 2110, 2369, -1},
{ 5105, 2111, 1030, -1},
{ 5106, 2112, 2740, -1},
{ 5107, 2113, 3142, -1},
{ 5108, 2114, 2399, -1},
{ 5109, 2115, 1820, -1},
{ 5110, 2116, 1809, -1},
{ 5111, 2117, 5635, -1},
{ 5112, 2118, 2265, -1},
{ 5113, 2119, 2369, -1},
{ 5114, 2120, 2725, -1},
{ 5115, 2121, 1805, -1},
{ 5116, 2122, 3141, -1},
{ 5117, 2123, 1805, -1},
{ 5118, 2124, 3141, -1},
{ 5119, 2125, 2740, -1},
{ 5120, 2126, 2740, -1},
{ 5121, 2127, 1227, -1},
{ 5122, 2128, 2991, -1},
{ 5123, 2129, 3061, -1},
{ 5124, 2130, 1859, -1},
{ 5125, 2131, 2991, -1},
{ 5126, 2132, 3061, -1},
{ 5127, 2133, 3061, -1},
{ 5128, 2134, 2369, -1},
{ 5129, 2135, 2188, -1},
{ 5130, 2136, 2369, -1},
{ 5131, 2137, 1809, -1},
{ 5132, 2138, 2740, -1},
{ 5133, 2139, 2991, -1},
{ 5134, 2140, 2991, -1},
{ 5135, 2141, 2446, -1},
{ 5136, 2142, 1809, -1},
{ 5137, 2143, 3061, -1},
{ 5138, 2144, 3141, -1},
{ 5139, 2145, 3040, -1},
{ 5140, 2146, 3040, -1},
{ 5141, 2147, 2837, -1},
{ 5142, 2148, 2725, -1},
{ 5143, 2149, 1820, -1},
{ 5146, 2150, 925, -1},
{ 5147, 2151, 1809, -1},
{ 5148, 2152, 2740, -1},
{ 5149, 2153, 2369, -1},
{ 5150, 2154, 2740, -1},
{ 5151, 2155, 2725, -1},
{ 5152, 2156, 2991, -1},
{ 5157, 2157, 3141, -1},
{ 5158, 2158, 906, -1},
{ 5159, 2159, 3061, -1},
{ 5160, 2160, 2188, -1},
{ 5161, 2161, 3141, -1},
{ 5162, 2162, 1874, -1},
{ 5163, 2163, 2188, -1},
{ 5164, 2164, 1496, -1},
{ 5165, 2165, 3040, -1},
{ 5166, 2166, 2399, -1},
{ 5167, 2167, 1874, -1},
{ 5175, 2168, 4015, -1},
{ 5176, 2169, 2740, -1},
{ 5177, 2170, 3061, -1},
{ 5178, 2171, 1652, -1},
{ 5179, 2172, 2399, -1},
{ 5180, 2173, 3141, -1},
{ 5181, 2174, 3061, -1},
{ 5188, 2175, 3141, -1},
{ 5189, 2176, 1809, -1},
{ 5190, 2177, 2725, -1},
{ 5191, 2178, 3141, -1},
{ 5192, 2179, 2472, -1},
{ 5193, 2180, 1569, -1},
{ 5194, 2181, 2265, -1},
{ 5195, 2182, 1656, -1},
{ 5196, 2183, 1963, -1},
{ 5197, 2184, 3141, -1},
{ 5198, 2185, 2725, -1},
{ 5199, 2186, 2991, -1},
{ 5200, 2187, 3061, -1},
{ 5201, 2188, 3061, -1},
{ 5221, 2189, 6343, -1},
{ 5222, 2190, 3141, -1},
{ 5223, 2191, 2725, -1},
{ 5224, 2192, 2805, -1},
{ 5225, 2193, 2740, -1},
{ 5226, 2194, 3141, -1},
{ 5227, 2195, 2265, -1},
{ 5228, 2196, 1859, -1},
{ 5229, 2197, 2725, -1},
{ 5230, 2198, 2399, -1},
{ 5231, 2199, 1820, -1},
{ 5232, 2200, 1809, -1},
{ 5233, 2201, 2265, -1},
{ 5234, 2202, 2369, -1},
{ 5235, 2203, 2725, -1},
{ 5236, 2204, 3040, -1},
{ 5237, 2205, 3040, -1},
{ 5238, 2206, 2837, -1},
{ 5239, 2207, 2725, -1},
{ 5240, 2208, 1820, -1},
{ 5245, 2209, 3141, -1},
{ 5246, 2210, 1737, -1},
{ 5247, 2211, 1785, -1},
{ 5248, 2212, 1785, -1},
{ 5249, 2213, 1737, -1},
{ 5250, 2214, 1213, -1},
{ 5251, 2215, 1788, -1},
{ 5252, 2216, 1215, -1},
{ 5253, 2217, 2596, -1},
{ 5254, 2218, 2650, -1},
{ 5255, 2219, 3061, -1},
{ 5261, 2220, 2098, -1},
{ 5273, 2221, 2740, 444},
{ 5274, 2222, 1859, 445},
{ 5275, 2223, 1859, 446},
{ 5276, 2224, 1285, 447},
{ 5277, 2225, 1285, 448},
{ 5278, 2226, 1285, 449},
{ 5279, 2227, 5088, -1},
{ 5280, 2228, 4409, -1},
{ 5281, 2229, 2596, 450},
{ 5282, 2230, 2085, 451},
{ 5283, 2231, 2188, 452},
{ 5284, 2232, 3040, 453},
{ 5285, 2233, 3052, 454},
{ 5286, 2234, 2005, 455},
{ 5287, 2235, 1406, 456},
{ 5288, 2236, 3061, 457},
{ 5289, 2237, 3061, 458},
{ 5290, 2238, 2085, 459},
{ 5291, 2239, 6238, -1},
{ 5292, 2240, 2991, 460},
{ 5293, 2241, 3040, 461},
{ 5294, 2242, 2976, 462},
{ 5295, 2243, 5540, -1},
{ 5296, 2244, 5542, -1},
{ 5297, 2245, 5578, -1},
{ 5299, 2246, 1861, -1},
{ 5300, 2247, 1982, -1},
{ 5303, 2248, 3141, -1},
{ 5304, 2249, 3141, -1},
{ 5549, 2250, 3141, -1},
{ 5550, 2251, 5850, -1},
{ 5551, 2252, 5850, -1},
{ 5552, 2253, 5850, -1},
{ 5553, 2254, 4544, -1},
{ 5554, 2255, 3141, -1},
{ 5555, 2256, 3141, -1},
{ 5556, 2257, 2740, -1},
{ 5557, 2258, 2740, -1},
{ 5558, 2259, 2991, -1},
{ 5559, 2260, 3061, -1},
{ 5560, 2261, 2991, -1},
{ 5561, 2262, 2677, -1},
{ 5562, 2263, 2740, -1},
{ 5563, 2264, 2677, -1},
{ 5564, 2265, 2991, -1},
{ 5565, 2266, 3040, -1},
{ 5566, 2267, 3040, -1},
{ 5567, 2268, 2991, -1},
{ 5568, 2269, 2991, -1},
{ 5569, 2270, 3061, -1},
{ 5570, 2271, 3133, -1},
{ 5571, 2272, 3040, -1},
{ 5572, 2273, 3133, -1},
{ 5573, 2274, 3133, -1},
{ 5574, 2275, 3040, -1},
{ 5575, 2276, 2991, -1},
{ 5576, 2277, 2725, -1},
{ 5577, 2278, 2725, -1},
{ 5578, 2279, 2740, -1},
{ 5579, 2280, 2798, -1},
{ 5580, 2281, 2725, -1},
{ 5581, 2282, 2798, -1},
{ 5582, 2283, 2798, -1},
{ 5583, 2284, 2725, -1},
{ 5605, 2285, 2599, -1},
{ 5606, 2286, 3061, -1},
{ 5704, 2287, 1859, 463},
{ 5705, 2288, 1226, 464},
{ 5706, 2289, 4675, -1},
{ 5707, 2290, 5364, -1},
{ 5708, 2291, 5365, -1},
{ 5709, 2292, 5454, -1},
{ 5710, 2293, 4630, -1},
{ 5711, 2294, 4633, -1},
{ 5712, 2295, 3678, -1},
{ 5713, 2296, 3679, -1},
{ 5714, 2297, 3735, -1},
{ 5715, 2298, 2599, 465},
{ 5716, 2299, 2740, 466},
{ 5717, 2300, 3141, 467},
{ 5718, 2301, 2086, 468},
{ 5719, 2302, 2188, 469},
{ 5720, 2303, 3142, 470},
{ 5721, 2304, 3040, 471},
{ 5722, 2305, 1408, 472},
{ 5723, 2306, 3061, 473},
{ 5724, 2307, 3061, 474},
{ 5725, 2308, 3061, 475},
{ 5726, 2309, 2991, 476},
{ 5727, 2310, 2837, 477},
{ 5728, 2311, 3040, 478},
{ 5729, 2312, 1820, 479},
{ 5730, 2313, 2600, -1},
{ 5731, 2314, 3061, -1},
{ 5740, 2315, 1821, 480},
{ 5741, 2316, 1242, 481},
{ 5742, 2317, 1963, 482},
{ 5743, 2318, 2952, 483},
{ 5744, 2319, 3141, 484},
{ 5745, 2320, 3141, 485},
{ 5746, 2321, 3141, 486},
{ 5747, 2322, 2265, 487},
{ 5748, 2323, 3040, 488},
{ 5749, 2324, 3141, 489},
{ 5750, 2325, 2416, 490},
{ 5751, 2326, 2901, 491},
{ 5752, 2327, 2007, 492},
{ 5753, 2328, 2008, 493},
{ 5754, 2329, 2007, 494},
{ 5755, 2330, 2265, 495},
{ 5756, 2331, 3061, 496},
{ 5757, 2332, 3061, 497},
{ 5758, 2333, 2805, 498},
{ 5759, 2334, 2805, 499},
{ 5760, 2335, 1496, 500},
{ 5761, 2336, 1493, 501},
{ 5762, 2337, 3040, 502},
{ 5763, 2338, 2991, 503},
{ 5764, 2339, 2991, 504},
{ 5765, 2340, 2839, 505},
{ 5766, 2341, 2725, 506},
{ 5767, 2342, 1963, 507},
{ 5768, 2343, 2601, -1},
{ 5769, 2344, 3061, -1},
{ 5771, 2345, 1821, 508},
{ 5772, 2346, 2265, 509},
{ 5773, 2347, 2265, 510},
{ 5774, 2348, 3141, 511},
{ 5775, 2349, 3061, 512},
{ 5776, 2350, 3061, 513},
{ 5777, 2351, 2007, 514},
{ 5782, 2352, 1242, 515},
{ 5783, 2353, 3141, 516},
{ 5784, 2354, 3040, 517},
{ 5785, 2355, 2603, -1},
{ 5786, 2356, 3061, -1},
{ 5813, 2357, 1219, 518},
{ 5814, 2358, 2811, 519},
{ 5815, 2359, 1821, 520},
{ 5816, 2360, 1242, 521},
{ 5817, 2361, 2669, 522},
{ 5818, 2362, 2912, 523},
{ 5819, 2363, 3141, 524},
{ 5820, 2364, 3141, 525},
{ 5821, 2365, 2062, 526},
{ 5822, 2366, 3142, 527},
{ 5823, 2367, 1805, 528},
{ 5824, 2368, 2725, 529},
{ 5825, 2369, 1805, 530},
{ 5826, 2370, 2725, 531},
{ 5827, 2371, 3061, 532},
{ 5828, 2372, 3061, 533},
{ 5829, 2373, 3040, 534},
{ 5830, 2374, 2991, 535},
{ 5831, 2375, 2837, 536},
{ 5832, 2376, 3040, 537},
{ 5833, 2377, 5544, -1},
{ 5834, 2378, 1820, 538},
{ 5835, 2379, 2725, 539},
{ 5836, 2380, 2811, 540},
{ 5837, 2381, 2951, 541},
{ 5838, 2382, 3141, 542},
{ 5839, 2383, 3141, 543},
{ 5840, 2384, 2805, 544},
{ 5841, 2385, 2098, 545},
{ 5842, 2386, 3040, 546},
{ 5846, 2387, 1965, 547},
{ 5847, 2388, 5504, -1},
{ 5848, 2389, 3141, 548},
{ 5849, 2390, 2087, 549},
{ 5850, 2391, 2188, 550},
{ 5851, 2392, 3040, 551},
{ 5852, 2393, 3142, 552},
{ 5853, 2394, 2805, 553},
{ 5854, 2395, 2604, -1},
{ 5855, 2396, 3061, -1},
{ 5871, 2397, 2599, 554},
{ 5872, 2398, 1165, 555},
{ 5873, 2399, 1170, 556},
{ 5874, 2400, 2604, 557},
{ 5875, 2401, 2740, 558},
{ 5876, 2402, 2740, 559},
{ 5877, 2403, 2088, 560},
{ 5878, 2404, 2188, 561},
{ 5879, 2405, 2896, 562},
{ 5880, 2406, 3040, 563},
{ 5881, 2407, 3061, 564},
{ 5882, 2408, 3061, 565},
{ 5883, 2409, 3061, 566},
{ 5884, 2410, 2837, 567},
{ 5885, 2411, 3040, 568},
{ 5886, 2412, 3040, 569},
{ 5887, 2413, 5545, -1},
{ 5888, 2414, 4833, -1},
{ 5889, 2415, 1820, 570},
{ 5893, 2416, 3141, -1},
{ 5894, 2417, 3141, -1},
{ 5895, 2418, 3141, -1},
{ 5898, 2419, 3141, -1},
{ 5899, 2420, 1285, -1},
{ 5900, 2421, 2805, -1},
{ 5901, 2422, 3141, -1},
{ 5902, 2423, 2265, -1},
{ 5903, 2424, 3141, -1},
{ 5904, 2425, 3061, -1},
{ 5905, 2426, 2805, -1},
{ 5906, 2427, 2399, -1},
{ 5907, 2428, 1820, -1},
{ 5908, 2429, 2991, -1},
{ 5909, 2430, 3141, -1},
{ 5910, 2431, 1786, -1},
{ 5911, 2432, 2698, -1},
{ 5912, 2433, 2265, -1},
{ 5913, 2434, 2725, -1},
{ 5914, 2435, 3141, -1},
{ 5915, 2436, 2699, -1},
{ 5916, 2437, 2699, -1},
{ 5917, 2438, 2740, -1},
{ 5918, 2439, 3040, -1},
{ 5919, 2440, 2837, -1},
{ 5920, 2441, 3040, -1},
{ 5921, 2442, 2740, -1},
{ 5922, 2443, 1820, -1},
{ 5924, 2444, 3141, -1},
{ 5925, 2445, 4846, -1},
{ 5988, 2446, 4846, -1},
{ 5989, 2447, 4846, -1},
{ 5990, 2448, 4846, -1},
{ 5991, 2449, 4846, -1},
{ 5992, 2450, 4846, -1},
{ 5993, 2451, 4846, -1},
{ 5994, 2452, 4846, -1},
{ 5995, 2453, 4846, -1},
{ 5996, 2454, 6343, -1},
{ 5997, 2455, 5373, -1},
{ 5998, 2456, 5393, -1},
{ 5999, 2457, 5393, -1},
{ 6000, 2458, 5394, -1},
{ 6001, 2459, 4671, -1},
{ 6002, 2460, 6296, -1},
{ 6003, 2461, 6144, -1},
{ 6008, 2462, 1389, -1},
{ 6009, 2463, 3141, -1},
{ 6010, 2464, 2991, -1},
{ 6011, 2465, 3141, -1},
{ 6012, 2466, 2991, -1},
{ 6013, 2467, 3141, -1},
{ 6014, 2468, 1786, -1},
{ 6015, 2469, 2698, -1},
{ 6016, 2470, 2983, -1},
{ 6017, 2471, 3141, -1},
{ 6018, 2472, 2805, -1},
{ 6019, 2473, 2699, -1},
{ 6020, 2474, 2699, -1},
{ 6021, 2475, 3142, -1},
{ 6022, 2476, 2805, -1},
{ 6024, 2477, 924, -1},
{ 6026, 2478, 1805, 571},
{ 6027, 2479, 3141, -1},
{ 6028, 2480, 1571, -1},
{ 6029, 2481, 2188, -1},
{ 6030, 2482, 3040, -1},
{ 6031, 2483, 3141, -1},
{ 6032, 2484, 2188, -1},
{ 6033, 2485, 1496, -1},
{ 6034, 2486, 3040, -1},
{ 6035, 2487, 2399, -1},
{ 6036, 2488, 643, -1},
{ 6037, 2489, 643, -1},
{ 6045, 2490, 2805, 572},
{ 6046, 2491, 5868, -1},
{ 6047, 2492, 2188, 573},
{ 6048, 2493, 3040, 574},
{ 6049, 2494, 3142, 575},
{ 6050, 2495, 2839, 576},
{ 6051, 2496, 3061, 577},
{ 6052, 2497, 6171, -1},
{ 6053, 2498, 6171, -1},
{ 6054, 2499, 2991, 578},
{ 6055, 2500, 3142, 579},
{ 6057, 2501, 3141, -1},
{ 6058, 2502, 1571, -1},
{ 6059, 2503, 2188, -1},
{ 6060, 2504, 3040, -1},
{ 6061, 2505, 1861, -1},
{ 6062, 2506, 2453, -1},
{ 6064, 2507, 3141, -1},
{ 6065, 2508, 2188, -1},
{ 6066, 2509, 1496, -1},
{ 6067, 2510, 3040, -1},
{ 6068, 2511, 2399, -1},
{ 6069, 2512, 643, -1},
{ 6070, 2513, 643, -1},
{ 6071, 2514, 6343, -1},
{ 6072, 2515, 6296, -1},
{ 6073, 2516, 6144, -1},
{ 6077, 2517, 2805, -1},
{ 6078, 2518, 2453, -1},
{ 6079, 2519, 1314, -1},
{ 6080, 2520, 2991, -1},
{ 6081, 2521, 3061, -1},
{ 6082, 2522, 3142, -1},
{ 6083, 2523, 2677, -1},
{ 6084, 2524, 2740, -1},
{ 6085, 2525, 2805, -1},
{ 6099, 2526, 196, -1},
{ 6100, 2527, 3141, -1},
{ 6101, 2528, 3141, -1},
{ 6102, 2529, 3061, -1},
{ 6103, 2530, 2037, -1},
{ 6104, 2531, 2740, -1},
{ 6105, 2532, 3040, -1},
{ 6106, 2533, 3040, -1},
{ 6107, 2534, 2725, -1},
{ 6133, 2535, 1306, -1},
{ 6134, 2536, 3142, -1},
{ 6135, 2537, 2834, -1},
{ 6136, 2538, 2805, -1},
{ 6137, 2539, 3040, -1},
{ 6138, 2540, 3040, -1},
{ 6139, 2541, 3040, -1},
{ 6140, 2542, 2725, -1},
{ 6154, 2543, 2725, -1},
{ 6155, 2544, 3142, -1},
{ 6156, 2545, 2805, -1},
{ 6157, 2546, 3040, -1},
{ 6158, 2547, 3040, -1},
{ 6159, 2548, 2725, -1},
{ 6167, 2549, 3141, -1},
{ 6168, 2550, 2740, -1},
{ 6169, 2551, 2725, -1},
{ 6170, 2552, 2805, -1},
{ 6171, 2553, 2740, -1},
{ 6172, 2554, 3141, -1},
{ 6173, 2555, 2265, -1},
{ 6174, 2556, 1859, -1},
{ 6175, 2557, 3061, -1},
{ 6176, 2558, 2399, -1},
{ 6177, 2559, 1820, -1},
{ 6178, 2560, 1296, -1},
{ 6179, 2561, 2265, -1},
{ 6180, 2562, 2369, -1},
{ 6181, 2563, 2725, -1},
{ 6182, 2564, 3061, -1},
{ 6183, 2565, 2740, -1},
{ 6184, 2566, 2740, -1},
{ 6185, 2567, 3040, -1},
{ 6186, 2568, 2991, -1},
{ 6187, 2569, 2837, -1},
{ 6188, 2570, 2740, -1},
{ 6189, 2571, 2740, -1},
{ 6190, 2572, 1820, -1},
{ 6193, 2573, 1867, -1},
{ 6194, 2574, 3141, -1},
{ 6195, 2575, 2740, -1},
{ 6196, 2576, 2805, -1},
{ 6198, 2577, 1861, -1},
{ 6199, 2578, 419, -1},
{ 6200, 2579, 1178, -1},
{ 6201, 2580, 1263, -1},
{ 6203, 2581, 1861, -1},
{ 6204, 2582, 1124, -1},
{ 6205, 2583, 2740, -1},
{ 6206, 2584, 2805, -1},
{ 6209, 2585, 1861, -1},
{ 6210, 2586, 707, -1},
{ 6211, 2587, 2740, -1},
{ 6212, 2588, 1963, -1},
{ 6218, 2589, 2805, 580},
{ 6219, 2590, 2805, 581},
{ 6220, 2591, 3061, 582},
{ 6221, 2592, 3061, 583},
{ 6222, 2593, 3040, 584},
{ 6223, 2594, 2837, 585},
{ 6224, 2595, 6172, -1},
{ 6225, 2596, 6172, -1},
{ 6232, 2597, 6347, -1},
{ 6233, 2598, 6172, -1},
{ 6234, 2599, 2188, 586},
{ 6235, 2600, 5002, -1},
{ 6236, 2601, 5002, -1},
{ 6237, 2602, 3040, 587},
{ 6238, 2603, 3061, 588},
{ 6239, 2604, 2839, 589},
{ 6240, 2605, 6347, -1},
{ 6241, 2606, 2991, 590},
{ 6242, 2607, 2991, 591},
{ 6243, 2608, 3142, 592},
{ 6244, 2609, 5002, -1},
{ 6245, 2610, 5002, -1},
{ 6246, 2611, 6172, -1},
{ 6247, 2612, 6172, -1},
{ 6248, 2613, 5002, -1},
{ 6249, 2614, 5002, -1},
{ 6257, 2615, 1102, -1},
{ 6258, 2616, 3141, -1},
{ 6259, 2617, 3061, -1},
{ 6260, 2618, 3061, -1},
{ 6264, 2619, 861, -1},
{ 6265, 2620, 2453, -1},
{ 6269, 2621, 2991, 593},
{ 6270, 2622, 3142, 594},
{ 6271, 2623, 2677, 595},
{ 6272, 2624, 2805, 596},
{ 6275, 2625, 1963, 597},
{ 6276, 2626, 3061, 598},
{ 6282, 2627, 3141, -1},
{ 6283, 2628, 5194, -1},
{ 6284, 2629, 3141, -1},
{ 6285, 2630, 3141, -1},
{ 6286, 2631, 3061, -1},
{ 6287, 2632, 3061, -1},
{ 6288, 2633, 2740, -1},
{ 6289, 2634, 2740, -1},
{ 6290, 2635, 2805, 599},
{ 6293, 2636, 1496, 600},
{ 6294, 2637, 3040, 601},
{ 6295, 2638, 3040, 602},
{ 6296, 2639, 1496, 603},
{ 6297, 2640, 3040, 604},
{ 6302, 2641, 3141, -1},
{ 6303, 2642, 610, -1},
{ 6304, 2643, 3061, -1},
{ 6305, 2644, 2740, -1},
{ 6314, 2645, 3141, -1},
{ 6315, 2646, 4532, -1},
{ 6316, 2647, 3141, -1},
{ 6317, 2648, 3141, -1},
{ 6318, 2649, 3040, -1},
{ 6319, 2650, 2725, -1},
{ 6320, 2651, 2740, -1},
{ 6385, 2652, 3141, -1},
{ 6386, 2653, 5850, -1},
{ 6387, 2654, 5850, -1},
{ 6388, 2655, 5213, -1},
{ 6389, 2656, 4545, -1},
{ 6390, 2657, 3141, -1},
{ 6391, 2658, 5635, -1},
{ 6392, 2659, 3141, -1},
{ 6393, 2660, 2740, -1},
{ 6394, 2661, 2740, -1},
{ 6395, 2662, 2991, -1},
{ 6396, 2663, 2991, -1},
{ 6397, 2664, 2677, -1},
{ 6398, 2665, 2677, -1},
{ 6399, 2666, 2991, -1},
{ 6400, 2667, 2991, -1},
{ 6401, 2668, 3088, -1},
{ 6402, 2669, 3088, -1},
{ 6403, 2670, 3040, -1},
{ 6404, 2671, 3040, -1},
{ 6405, 2672, 2991, -1},
{ 6406, 2673, 2991, -1},
{ 6407, 2674, 3061, -1},
{ 6408, 2675, 3135, -1},
{ 6409, 2676, 3088, -1},
{ 6410, 2677, 2991, -1},
{ 6411, 2678, 3135, -1},
{ 6412, 2679, 3040, -1},
{ 6413, 2680, 3040, -1},
{ 6414, 2681, 3061, -1},
{ 6415, 2682, 3135, -1},
{ 6416, 2683, 3040, -1},
{ 6417, 2684, 3088, -1},
{ 6418, 2685, 3133, -1},
{ 6419, 2686, 3133, -1},
{ 6420, 2687, 2991, -1},
{ 6421, 2688, 3088, -1},
{ 6422, 2689, 3088, -1},
{ 6423, 2690, 2768, -1},
{ 6424, 2691, 2768, -1},
{ 6425, 2692, 2725, -1},
{ 6426, 2693, 2725, -1},
{ 6427, 2694, 2740, -1},
{ 6428, 2695, 2800, -1},
{ 6429, 2696, 2768, -1},
{ 6430, 2697, 2677, -1},
{ 6431, 2698, 2800, -1},
{ 6432, 2699, 2725, -1},
{ 6433, 2700, 2725, -1},
{ 6434, 2701, 2740, -1},
{ 6435, 2702, 2800, -1},
{ 6436, 2703, 2725, -1},
{ 6437, 2704, 2768, -1},
{ 6438, 2705, 2798, -1},
{ 6439, 2706, 2798, -1},
{ 6440, 2707, 2768, -1},
{ 6441, 2708, 2768, -1},
{ 6720, 2709, 1741, 605},
{ 6721, 2710, 3061, 606},
{ 6722, 2711, 3061, 607},
{ 6723, 2712, 3040, 608},
{ 6724, 2713, 2837, 609},
{ 6726, 2714, 1962, 610},
{ 6727, 2715, 3141, 611},
{ 6729, 2716, 1867, 612},
{ 6730, 2717, 3141, 613},
{ 6748, 2718, 1861, -1},
{ 6749, 2719, 2265, -1},
{ 6750, 2720, 2740, -1},
{ 6751, 2721, 3061, -1},
{ 6752, 2722, 2740, -1},
{ 6753, 2723, 3061, -1},
{ 6758, 2724, 3141, -1},
{ 6759, 2725, 2740, -1},
{ 6760, 2726, 2725, -1},
{ 6761, 2727, 3141, -1},
{ 6762, 2728, 2265, -1},
{ 6763, 2729, 3142, -1},
{ 6764, 2730, 2805, -1},
{ 6765, 2731, 2669, -1},
{ 6766, 2732, 3142, -1},
{ 6767, 2733, 2725, -1},
{ 6768, 2734, 3061, -1},
{ 6769, 2735, 1859, -1},
{ 6770, 2736, 2991, -1},
{ 6771, 2737, 3061, -1},
{ 6772, 2738, 3061, -1},
{ 6773, 2739, 3141, -1},
{ 6774, 2740, 3061, -1},
{ 6775, 2741, 3040, -1},
{ 6778, 2742, 2740, 614},
{ 6779, 2743, 1859, 615},
{ 6780, 2744, 3141, 616},
{ 6781, 2745, 2991, 617},
{ 6782, 2746, 3141, 618},
{ 6783, 2747, 3061, 619},
{ 6784, 2748, 3142, 620},
{ 6839, 2749, 2725, -1},
{ 6840, 2750, 2399, -1},
{ 6841, 2751, 2446, -1},
{ 6842, 2752, 3141, -1},
{ 6843, 2753, 2359, -1},
{ 6844, 2754, 2359, -1},
{ 6845, 2755, 1535, -1},
{ 6846, 2756, 1537, -1},
{ 6847, 2757, 1859, -1},
{ 6848, 2758, 1859, -1},
{ 6849, 2759, 2725, -1},
{ 6850, 2760, 2837, -1},
{ 6851, 2761, 2725, -1},
{ 6852, 2762, 2740, -1},
{ 6853, 2763, 3061, -1},
{ 6854, 2764, 2399, -1},
{ 6855, 2765, 2359, -1},
{ 6856, 2766, 2337, -1},
{ 6857, 2767, 2344, -1},
{ 6858, 2768, 5763, -1},
{ 6859, 2769, 2399, -1},
{ 6860, 2770, 2010, -1},
{ 6861, 2771, 2011, -1},
{ 6862, 2772, 2725, -1},
{ 6863, 2773, 1541, -1},
{ 6864, 2774, 3141, -1},
{ 6865, 2775, 2399, -1},
{ 6866, 2776, 1541, -1},
{ 6867, 2777, 1034, -1},
{ 6868, 2778, 2837, -1},
{ 6869, 2779, 2359, -1},
{ 6870, 2780, 1029, -1},
{ 6871, 2781, 2740, -1},
{ 6872, 2782, 2740, -1},
{ 6873, 2783, 2359, -1},
{ 6874, 2784, 2359, -1},
{ 6875, 2785, 2359, -1},
{ 6876, 2786, 2359, -1},
{ 6877, 2787, 626, -1},
{ 6878, 2788, 1029, -1},
{ 6879, 2789, 386, -1},
{ 6880, 2790, 2725, -1},
{ 6881, 2791, 2725, -1},
{ 6882, 2792, 2359, -1},
{ 6883, 2793, 1029, -1},
{ 6884, 2794, 1541, -1},
{ 6885, 2795, 1805, -1},
{ 6886, 2796, 1820, -1},
{ 6887, 2797, 1805, -1},
{ 6888, 2798, 1805, -1},
{ 6889, 2799, 1805, -1},
{ 6890, 2800, 1805, -1},
{ 6891, 2801, 1805, -1},
{ 6892, 2802, 2359, -1},
{ 6893, 2803, 2359, -1},
{ 6894, 2804, 1435, -1},
{ 6895, 2805, 1963, -1},
{ 6896, 2806, 2359, -1},
{ 6897, 2807, 3040, -1},
{ 6898, 2808, 2991, -1},
{ 6899, 2809, 2837, -1},
{ 6903, 2810, 1861, -1},
{ 6904, 2811, 661, -1},
{ 6905, 2812, 1743, -1},
{ 6906, 2813, 1785, -1},
{ 6911, 2814, 2740, 621},
{ 6912, 2815, 1285, 622},
{ 6913, 2816, 2898, 623},
{ 6914, 2817, 2369, 624},
{ 6915, 2818, 3061, 625},
{ 6916, 2819, 3061, 626},
{ 6917, 2820, 3061, 627},
{ 6918, 2821, 3040, 628},
{ 6919, 2822, 2837, 629},
{ 6920, 2823, 5576, -1},
{ 6937, 2824, 3141, -1},
{ 6938, 2825, 2725, -1},
{ 6939, 2826, 2805, -1},
{ 6940, 2827, 3141, -1},
{ 6941, 2828, 2265, -1},
{ 6942, 2829, 1859, -1},
{ 6943, 2830, 2725, -1},
{ 6944, 2831, 3061, -1},
{ 6945, 2832, 2399, -1},
{ 6946, 2833, 1820, -1},
{ 6947, 2834, 5635, -1},
{ 6948, 2835, 2265, -1},
{ 6949, 2836, 2725, -1},
{ 6950, 2837, 2991, -1},
{ 6951, 2838, 1859, -1},
{ 6952, 2839, 2991, -1},
{ 6953, 2840, 3061, -1},
{ 6954, 2841, 3061, -1},
{ 6955, 2842, 2369, -1},
{ 6956, 2843, 2188, -1},
{ 6957, 2844, 2369, -1},
{ 6958, 2845, 1809, -1},
{ 6959, 2846, 2740, -1},
{ 6960, 2847, 2991, -1},
{ 6961, 2848, 2991, -1},
{ 6962, 2849, 2446, -1},
{ 6963, 2850, 1809, -1},
{ 6964, 2851, 3061, -1},
{ 6965, 2852, 3061, -1},
{ 6966, 2853, 5470, -1},
{ 6967, 2854, 3040, -1},
{ 6968, 2855, 2837, -1},
{ 6969, 2856, 2725, -1},
{ 6970, 2857, 1820, -1},
{ 7016, 2858, 2740, -1},
{ 7017, 2859, 2265, -1},
{ 7018, 2860, 1859, -1},
{ 7019, 2861, 3061, -1},
{ 7020, 2862, 2399, -1},
{ 7021, 2863, 5635, -1},
{ 7022, 2864, 2805, -1},
{ 7023, 2865, 3141, -1},
{ 7024, 2866, 2265, -1},
{ 7025, 2867, 2991, -1},
{ 7026, 2868, 1820, -1},
{ 7027, 2869, 2725, -1},
{ 7028, 2870, 2837, -1},
{ 7029, 2871, 1820, -1},
{ 7030, 2872, 1859, -1},
{ 7031, 2873, 2991, -1},
{ 7032, 2874, 3061, -1},
{ 7033, 2875, 3061, -1},
{ 7034, 2876, 2369, -1},
{ 7035, 2877, 3141, -1},
{ 7036, 2878, 2188, -1},
{ 7037, 2879, 2369, -1},
{ 7038, 2880, 1809, -1},
{ 7039, 2881, 2740, -1},
{ 7040, 2882, 2725, -1},
{ 7041, 2883, 2991, -1},
{ 7042, 2884, 2991, -1},
{ 7043, 2885, 2446, -1},
{ 7044, 2886, 1809, -1},
{ 7045, 2887, 3040, -1},
{ 7046, 2888, 2837, -1},
{ 7052, 2889, 2265, -1},
{ 7053, 2890, 3061, -1},
{ 7054, 2891, 5635, -1},
{ 7055, 2892, 2805, -1},
{ 7056, 2893, 3141, -1},
{ 7057, 2894, 2265, -1},
{ 7058, 2895, 1859, -1},
{ 7059, 2896, 2265, -1},
{ 7060, 2897, 2991, -1},
{ 7061, 2898, 1963, -1},
{ 7062, 2899, 2265, -1},
{ 7063, 2900, 2839, -1},
{ 7064, 2901, 3061, -1},
{ 7065, 2902, 1963, -1},
{ 7066, 2903, 3061, -1},
{ 7067, 2904, 1859, -1},
{ 7068, 2905, 2991, -1},
{ 7069, 2906, 3061, -1},
{ 7070, 2907, 1867, -1},
{ 7071, 2908, 3141, -1},
{ 7072, 2909, 2188, -1},
{ 7073, 2910, 3061, -1},
{ 7074, 2911, 2740, -1},
{ 7075, 2912, 2991, -1},
{ 7076, 2913, 2453, -1},
{ 7077, 2914, 3061, -1},
{ 7078, 2915, 1867, -1},
{ 7079, 2916, 3061, -1},
{ 7080, 2917, 1493, -1},
{ 7081, 2918, 3040, -1},
{ 7082, 2919, 2839, -1},
{ 7083, 2920, 3061, -1},
{ 7094, 2921, 2740, 630},
{ 7095, 2922, 1285, 631},
{ 7096, 2923, 1285, 632},
{ 7097, 2924, 5088, -1},
{ 7098, 2925, 4409, -1},
{ 7099, 2926, 2596, 633},
{ 7100, 2927, 2091, 634},
{ 7101, 2928, 2188, 635},
{ 7102, 2929, 3040, 636},
{ 7103, 2930, 1602, 637},
{ 7104, 2931, 3052, 638},
{ 7105, 2932, 2041, 639},
{ 7106, 2933, 1412, 640},
{ 7107, 2934, 3061, 641},
{ 7108, 2935, 3061, 642},
{ 7109, 2936, 2085, 643},
{ 7110, 2937, 6248, -1},
{ 7111, 2938, 2991, 644},
{ 7112, 2939, 3040, 645},
{ 7113, 2940, 2973, 646},
{ 7114, 2941, 5577, -1},
{ 7115, 2942, 5579, -1},
{ 7138, 2943, 2740, -1},
{ 7139, 2944, 1741, -1},
{ 7140, 2945, 1741, -1},
{ 7141, 2946, 1285, -1},
{ 7142, 2947, 2658, -1},
{ 7143, 2948, 2188, -1},
{ 7144, 2949, 2899, -1},
{ 7145, 2950, 3040, -1},
{ 7146, 2951, 2983, -1},
{ 7147, 2952, 2045, -1},
{ 7148, 2953, 1413, -1},
{ 7149, 2954, 3061, -1},
{ 7150, 2955, 3061, -1},
{ 7151, 2956, 2093, -1},
{ 7152, 2957, 6250, -1},
{ 7153, 2958, 2991, -1},
{ 7154, 2959, 2062, -1},
{ 7155, 2960, 3040, -1},
{ 7156, 2961, 4841, -1},
{ 7157, 2962, 5583, -1},
{ 7158, 2963, 5585, -1},
{ 7159, 2964, 4841, -1},
{ 7161, 2965, 1861, -1},
{ 7162, 2966, 661, -1},
{ 7163, 2967, 1743, -1},
{ 7164, 2968, 1785, -1},
{ 7178, 2969, 1859, 647},
{ 7179, 2970, 1278, 648},
{ 7180, 2971, 3141, 649},
{ 7181, 2972, 2654, 650},
{ 7182, 2973, 2092, 651},
{ 7183, 2974, 2188, 652},
{ 7184, 2975, 3040, 653},
{ 7185, 2976, 2983, 654},
{ 7186, 2977, 2983, 655},
{ 7187, 2978, 2983, 656},
{ 7188, 2979, 2983, 657},
{ 7189, 2980, 3142, 658},
{ 7190, 2981, 3061, 659},
{ 7191, 2982, 3061, 660},
{ 7192, 2983, 2983, 661},
{ 7193, 2984, 3040, 662},
{ 7194, 2985, 2974, 663},
{ 7195, 2986, 3061, 664},
{ 7196, 2987, 2974, 665},
{ 7197, 2988, 3040, 666},
{ 7198, 2989, 3007, 667},
{ 7199, 2990, 2991, 668},
{ 7206, 2991, 6343, -1},
{ 7207, 2992, 3141, -1},
{ 7208, 2993, 3141, -1},
{ 7209, 2994, 3061, -1},
{ 7210, 2995, 3141, -1},
{ 7211, 2996, 3040, -1},
{ 7213, 2997, 1861, -1},
{ 7214, 2998, 695, -1},
{ 7215, 2999, 2740, -1},
{ 7216, 3000, 1867, -1},
{ 7218, 3001, 3141, -1},
{ 7219, 3002, 2740, -1},
{ 7220, 3003, 2991, -1},
{ 7221, 3004, 790, -1},
{ 7222, 3005, 2740, -1},
{ 7232, 3006, 3141, -1},
{ 7233, 3007, 1764, -1},
{ 7234, 3008, 3141, -1},
{ 7235, 3009, 2740, -1},
{ 7236, 3010, 1809, -1},
{ 7237, 3011, 1233, -1},
{ 7238, 3012, 4901, -1},
{ 7239, 3013, 1449, -1},
{ 7240, 3014, 1809, -1},
{ 7248, 3015, 3141, -1},
{ 7249, 3016, 2991, -1},
{ 7250, 3017, 3141, -1},
{ 7251, 3018, 2740, -1},
{ 7259, 3019, 2805, -1},
{ 7260, 3020, 1809, -1},
{ 7261, 3021, 3142, -1},
{ 7262, 3022, 3061, -1},
{ 7263, 3023, 3040, -1},
{ 7264, 3024, 2991, -1},
{ 7270, 3025, 3141, -1},
{ 7271, 3026, 5194, -1},
{ 7272, 3027, 2740, -1},
{ 7273, 3028, 3061, -1},
{ 7274, 3029, 1859, -1},
{ 7275, 3030, 3141, -1},
{ 7276, 3031, 1874, -1},
{ 7277, 3032, 2399, -1},
{ 7278, 3033, 5635, -1},
{ 7279, 3034, 1188, -1},
{ 7280, 3035, 3141, -1},
{ 7281, 3036, 3141, -1},
{ 7284, 3037, 1867, -1},
{ 7285, 3038, 3141, -1},
{ 7286, 3039, 2740, -1},
{ 7287, 3040, 2805, -1},
{ 7288, 3041, 1867, -1},
{ 7289, 3042, 3141, -1},
{ 7290, 3043, 2740, -1},
{ 7291, 3044, 2805, -1},
{ 7293, 3045, 1867, -1},
{ 7294, 3046, 2453, -1},
{ 7296, 3047, 1867, -1},
{ 7297, 3048, 2453, -1},
{ 7298, 3049, 3141, -1},
{ 7299, 3050, 2839, -1},
{ 7300, 3051, 2839, -1},
{ 7301, 3052, 2839, -1},
{ 7302, 3053, 2839, -1},
{ 7310, 3054, 3141, -1},
{ 7311, 3055, 3141, -1},
{ 7312, 3056, 3141, -1},
{ 7320, 3057, 2740, -1},
{ 7321, 3058, 2265, -1},
{ 7322, 3059, 1494, -1},
{ 7323, 3060, 2399, -1},
{ 7324, 3061, 3141, -1},
{ 7337, 3062, 788, -1},
{ 7338, 3063, 963, -1},
{ 7339, 3064, 3462, -1},
{ 7340, 3065, 3141, -1},
{ 7341, 3066, 2677, -1},
{ 7342, 3067, 1225, -1},
{ 7343, 3068, 3141, -1},
{ 7344, 3069, 3061, -1},
{ 7351, 3070, 6343, -1},
{ 7352, 3071, 3141, -1},
{ 7353, 3072, 6296, -1},
{ 7354, 3073, 3141, -1},
{ 7355, 3074, 3142, -1},
{ 7356, 3075, 2805, -1},
{ 7357, 3076, 6296, -1},
{ 7359, 3077, 2669, 669},
{ 7360, 3078, 4256, -1},
{ 7361, 3079, 2983, 670},
{ 7362, 3080, 2983, 671},
{ 7363, 3081, 3141, -1},
{ 7364, 3082, 1874, -1},
{ 7365, 3083, 2399, -1},
{ 7367, 3084, 6343, -1},
{ 7368, 3085, 3141, -1},
{ 7369, 3086, 6296, -1},
{ 7370, 3087, 6296, -1},
{ 7372, 3088, 1861, -1},
{ 7373, 3089, 447, -1},
{ 7374, 3090, 2838, -1},
{ 7375, 3091, 1399, -1},
{ 7377, 3092, 2740, -1},
{ 7378, 3093, 3141, -1},
{ 7379, 3094, 2991, -1},
{ 7380, 3095, 3141, -1},
{ 7381, 3096, 3061, -1},
{ 7382, 3097, 3142, -1},
{ 7384, 3098, 2740, -1},
{ 7385, 3099, 3141, -1},
{ 7386, 3100, 2991, -1},
{ 7387, 3101, 3141, -1},
{ 7388, 3102, 3061, -1},
{ 7389, 3103, 3142, -1},
{ 7419, 3104, 3141, -1},
{ 7420, 3105, 1963, -1},
{ 7421, 3106, 3141, -1},
{ 7422, 3107, 2265, -1},
{ 7423, 3108, 2265, -1},
{ 7424, 3109, 2725, -1},
{ 7425, 3110, 2837, -1},
{ 7426, 3111, 3061, -1},
{ 7427, 3112, 2837, -1},
{ 7428, 3113, 3061, -1},
{ 7429, 3114, 3061, -1},
{ 7430, 3115, 2399, -1},
{ 7431, 3116, 2399, -1},
{ 7432, 3117, 1241, -1},
{ 7433, 3118, 5635, -1},
{ 7434, 3119, 2265, -1},
{ 7435, 3120, 2725, -1},
{ 7436, 3121, 2805, -1},
{ 7437, 3122, 2265, -1},
{ 7438, 3123, 1859, -1},
{ 7439, 3124, 2265, -1},
{ 7440, 3125, 2991, -1},
{ 7441, 3126, 3061, -1},
{ 7442, 3127, 3061, -1},
{ 7443, 3128, 3061, -1},
{ 7444, 3129, 1859, -1},
{ 7445, 3130, 2991, -1},
{ 7446, 3131, 3061, -1},
{ 7447, 3132, 1867, -1},
{ 7448, 3133, 2188, -1},
{ 7449, 3134, 3061, -1},
{ 7450, 3135, 2740, -1},
{ 7451, 3136, 2991, -1},
{ 7452, 3137, 2453, -1},
{ 7453, 3138, 3061, -1},
{ 7454, 3139, 1867, -1},
{ 7455, 3140, 3061, -1},
{ 7456, 3141, 1493, -1},
{ 7457, 3142, 3040, -1},
{ 7458, 3143, 2839, -1},
{ 7459, 3144, 3061, -1},
{ 7460, 3145, 3061, -1},
{ 7461, 3146, 2725, -1},
{ 7462, 3147, 1963, -1},
{ 7464, 3148, 1861, -1},
{ 7465, 3149, 1736, -1},
{ 7466, 3150, 2653, -1},
{ 7467, 3151, 2658, -1},
{ 7468, 3152, 3061, -1},
{ 7500, 3153, 2740, -1},
{ 7501, 3154, 1741, -1},
{ 7502, 3155, 1741, -1},
{ 7503, 3156, 1285, -1},
{ 7504, 3157, 3141, -1},
{ 7505, 3158, 2658, -1},
{ 7506, 3159, 2188, -1},
{ 7507, 3160, 2805, -1},
{ 7508, 3161, 2900, -1},
{ 7509, 3162, 3040, -1},
{ 7510, 3163, 2983, -1},
{ 7511, 3164, 2050, -1},
{ 7512, 3165, 1414, -1},
{ 7513, 3166, 3061, -1},
{ 7514, 3167, 3061, -1},
{ 7515, 3168, 2093, -1},
{ 7516, 3169, 6251, -1},
{ 7517, 3170, 2991, -1},
{ 7518, 3171, 2062, -1},
{ 7519, 3172, 3040, -1},
{ 7520, 3173, 4843, -1},
{ 7521, 3174, 5584, -1},
{ 7522, 3175, 5587, -1},
{ 7523, 3176, 5588, -1},
{ 7524, 3177, 4843, -1},
{ 7525, 3178, 2725, -1},
{ 7526, 3179, 2369, -1},
{ 7527, 3180, 2740, -1},
{ 7528, 3181, 3061, -1},
{ 7530, 3182, 1859, 672},
{ 7531, 3183, 3040, 673},
{ 7532, 3184, 3061, 674},
{ 7537, 3185, 2725, -1},
{ 7538, 3186, 1809, -1},
{ 7539, 3187, 1622, -1},
{ 7540, 3188, 2446, -1},
{ 7541, 3189, 3040, -1},
{ 7542, 3190, 3061, -1},
{ 7543, 3191, 2725, -1},
{ 7544, 3192, 2051, -1},
{ 7545, 3193, 3061, -1},
{ 7546, 3194, 2740, -1},
{ 7547, 3195, 3061, -1},
{ 7570, 3196, 3141, -1},
{ 7571, 3197, 2725, -1},
{ 7572, 3198, 3141, -1},
{ 7573, 3199, 2265, -1},
{ 7574, 3200, 3142, -1},
{ 7575, 3201, 3142, -1},
{ 7576, 3202, 3142, -1},
{ 7577, 3203, 2805, -1},
{ 7578, 3204, 2805, -1},
{ 7579, 3205, 3061, -1},
{ 7580, 3206, 1859, -1},
{ 7581, 3207, 2991, -1},
{ 7582, 3208, 3061, -1},
{ 7583, 3209, 3061, -1},
{ 7584, 3210, 3141, -1},
{ 7585, 3211, 3061, -1},
{ 7586, 3212, 3040, -1},
{ 7588, 3213, 1861, -1},
{ 7589, 3214, 3142, -1},
{ 7590, 3215, 3141, -1},
{ 7591, 3216, 2805, -1},
{ 7592, 3217, 3061, -1},
{ 7593, 3218, 2740, -1},
{ 7595, 3219, 1963, 675},
{ 7596, 3220, 2265, 676},
{ 7597, 3221, 2188, 677},
{ 7598, 3222, 3040, 678},
{ 7601, 3223, 2977, 679},
{ 7602, 3224, 2659, 680},
{ 7603, 3225, 6252, -1},
{ 7604, 3226, 2094, 681},
{ 7605, 3227, 2188, 682},
{ 7606, 3228, 3040, 683},
{ 7607, 3229, 2983, 684},
{ 7608, 3230, 3141, 685},
{ 7609, 3231, 2983, 686},
{ 7610, 3232, 4844, -1},
{ 7618, 3233, 2805, 687},
{ 7619, 3234, 2725, 688},
{ 7620, 3235, 1961, 689},
{ 7621, 3236, 2265, 690},
{ 7622, 3237, 2188, 691},
{ 7623, 3238, 3040, 692},
{ 7624, 3239, 3061, 693},
{ 7625, 3240, 3040, 694},
{ 7626, 3241, 3142, 695},
{ 7627, 3242, 5002, -1},
{ 7628, 3243, 6172, -1},
{ 7629, 3244, 6169, -1},
{ 7630, 3245, 5002, -1},
{ 7631, 3246, 2740, -1},
{ 7632, 3247, 3061, -1},
{ 7633, 3248, 2991, -1},
{ 7634, 3249, 3040, -1},
{ 7635, 3250, 3061, -1},
{ 7636, 3251, 3040, -1},
{ 7637, 3252, 3142, -1},
{ 7638, 3253, 3040, -1},
{ 7639, 3254, 6343, -1},
{ 7640, 3255, 6296, -1},
{ 7641, 3256, 6144, -1},
{ 7648, 3257, 1867, -1},
{ 7649, 3258, 3142, -1},
{ 7650, 3259, 2805, -1},
{ 7651, 3260, 3040, -1},
{ 7652, 3261, 3040, -1},
{ 7653, 3262, 3040, -1},
{ 7654, 3263, 2725, -1},
{ 7656, 3264, 2740, 696},
{ 7657, 3265, 2725, 697},
{ 7658, 3266, 1805, 698},
{ 7659, 3267, 2805, 699},
{ 7660, 3268, 3141, 700},
{ 7661, 3269, 3142, 701},
{ 7662, 3270, 3142, 702},
{ 7663, 3271, 3142, 703},
{ 7664, 3272, 3142, 704},
{ 7665, 3273, 2805, 705},
{ 7666, 3274, 3142, 706},
{ 7667, 3275, 2805, 707},
{ 7668, 3276, 5479, -1},
{ 7669, 3277, 3040, 708},
{ 7670, 3278, 3142, 709},
{ 7671, 3279, 3040, 710},
{ 7672, 3280, 2725, 711},
{ 7674, 3281, 6343, -1},
{ 7675, 3282, 2740, -1},
{ 7677, 3283, 1312, -1},
{ 7679, 3284, 1867, -1},
{ 7680, 3285, 3141, -1},
{ 7681, 3286, 2740, -1},
{ 7682, 3287, 2805, -1},
{ 7684, 3288, 1859, -1},
{ 7685, 3289, 2453, -1},
{ 7691, 3290, 2740, 712},
{ 7692, 3291, 3142, 713},
{ 7693, 3292, 2740, 714},
{ 7694, 3293, 2991, 715},
{ 7701, 3294, 3141, -1},
{ 7702, 3295, 2740, -1},
{ 7703, 3296, 2725, -1},
{ 7704, 3297, 1859, -1},
{ 7705, 3298, 3141, -1},
{ 7706, 3299, 2188, -1},
{ 7707, 3300, 2265, -1},
{ 7708, 3301, 3061, -1},
{ 7719, 3302, 698, -1},
{ 7720, 3303, 3440, -1},
{ 7721, 3304, 3336, -1},
{ 7722, 3305, 4046, -1},
{ 7723, 3306, 3141, -1},
{ 7724, 3307, 758, -1},
{ 7725, 3308, 1106, -1},
{ 7726, 3309, 3757, -1},
{ 7727, 3310, 3647, -1},
{ 7728, 3311, 3141, -1},
{ 7729, 3312, 2002, -1},
{ 7782, 3313, 1634, -1},
{ 7783, 3314, 688, -1},
{ 7784, 3315, 3141, -1},
{ 7785, 3316, 2805, -1},
{ 7786, 3317, 1859, -1},
{ 7787, 3318, 849, -1},
{ 7788, 3319, 756, -1},
{ 7789, 3320, 318, -1},
{ 7790, 3321, 190, -1},
{ 7791, 3322, 2003, -1},
{ 7792, 3323, 1636, -1},
{ 7793, 3324, 688, -1},
{ 7794, 3325, 2805, -1},
{ 7795, 3326, 2979, -1},
{ 7796, 3327, 2835, -1},
{ 7797, 3328, 3141, -1},
{ 7798, 3329, 3433, -1},
{ 7799, 3330, 3332, -1},
{ 7800, 3331, 2265, -1},
{ 7801, 3332, 3061, -1},
{ 7802, 3333, 3061, -1},
{ 7803, 3334, 6296, -1},
{ 7804, 3335, 3142, -1},
{ 7805, 3336, 3142, -1},
{ 7806, 3337, 2725, 716},
{ 7807, 3338, 2009, 717},
{ 7808, 3339, 3141, 718},
{ 7809, 3340, 3141, 719},
{ 7888, 3341, 3141, -1},
{ 7889, 3342, 3141, -1},
{ 7890, 3343, 2246, -1},
{ 7891, 3344, 3739, -1},
{ 7892, 3345, 2740, -1},
{ 7893, 3346, 2740, -1},
{ 7894, 3347, 2369, -1},
{ 7895, 3348, 2453, -1},
{ 7896, 3349, 2740, -1},
{ 7897, 3350, 2369, -1},
{ 7898, 3351, 3141, -1},
{ 7899, 3352, 717, -1},
{ 7900, 3353, 1314, -1},
{ 7901, 3354, 2740, -1},
{ 7902, 3355, 2740, -1},
{ 7903, 3356, 2740, -1},
{ 7904, 3357, 3141, -1},
{ 7905, 3358, 5635, -1},
{ 7906, 3359, 2740, -1},
{ 7907, 3360, 3141, -1},
{ 7908, 3361, 3141, -1},
{ 7909, 3362, 2740, -1},
{ 7910, 3363, 2740, -1},
{ 7911, 3364, 2740, -1},
{ 7912, 3365, 2740, -1},
{ 7913, 3366, 2369, -1},
{ 7914, 3367, 2740, -1},
{ 7915, 3368, 2740, -1},
{ 7916, 3369, 3141, -1},
{ 7917, 3370, 3141, -1},
{ 7918, 3371, 3141, -1},
{ 7919, 3372, 2838, -1},
{ 7920, 3373, 5470, -1},
{ 7921, 3374, 3141, -1},
{ 7922, 3375, 2246, -1},
{ 7923, 3376, 2453, -1},
{ 7924, 3377, 3141, -1},
{ 7925, 3378, 2740, -1},
{ 7926, 3379, 3141, -1},
{ 7927, 3380, 3061, -1},
{ 7928, 3381, 2991, -1},
{ 7929, 3382, 2991, -1},
{ 7930, 3383, 2991, -1},
{ 7931, 3384, 2740, -1},
{ 7932, 3385, 3141, -1},
{ 7933, 3386, 2993, -1},
{ 7934, 3387, 2991, -1},
{ 7935, 3388, 3061, -1},
{ 7936, 3389, 3061, -1},
{ 7937, 3390, 2991, -1},
{ 7938, 3391, 2991, -1},
{ 7939, 3392, 2991, -1},
{ 7940, 3393, 2991, -1},
{ 7941, 3394, 2991, -1},
{ 7942, 3395, 3127, -1},
{ 7943, 3396, 3040, -1},
{ 7944, 3397, 2993, -1},
{ 7945, 3398, 3061, -1},
{ 7946, 3399, 2991, -1},
{ 7947, 3400, 2991, -1},
{ 7948, 3401, 2991, -1},
{ 7949, 3402, 2677, -1},
{ 7950, 3403, 2740, -1},
{ 7951, 3404, 2740, -1},
{ 7952, 3405, 2677, -1},
{ 7953, 3406, 2677, -1},
{ 7954, 3407, 2677, -1},
{ 7955, 3408, 2793, -1},
{ 7956, 3409, 2725, -1},
{ 7957, 3410, 2740, -1},
{ 7958, 3411, 2677, -1},
{ 7971, 3412, 6343, -1},
{ 7972, 3413, 835, -1},
{ 7973, 3414, 2740, -1},
{ 7974, 3415, 2740, -1},
{ 7975, 3416, 2740, -1},
{ 7976, 3417, 3141, -1},
{ 7977, 3418, 2991, -1},
{ 7978, 3419, 3061, -1},
{ 7979, 3420, 2740, -1},
{ 7980, 3421, 2677, -1},
{ 7981, 3422, 2677, -1},
{ 7982, 3423, 2677, -1},
{ 7983, 3424, 2793, -1},
{ 7984, 3425, 2725, -1},
{ 7985, 3426, 2740, -1},
{ 7986, 3427, 2740, 720},
{ 7987, 3428, 2725, 721},
{ 7988, 3429, 2805, 722},
{ 7989, 3430, 3141, 723},
{ 7990, 3431, 3142, 724},
{ 7991, 3432, 3142, 725},
{ 7992, 3433, 3142, 726},
{ 7993, 3434, 2805, 727},
{ 7994, 3435, 3142, 728},
{ 7995, 3436, 2805, 729},
{ 7998, 3437, 2740, -1},
{ 7999, 3438, 2839, -1},
{ 8007, 3439, 6343, -1},
{ 8008, 3440, 3141, -1},
{ 8009, 3441, 2446, -1},
{ 8010, 3442, 5635, -1},
{ 8011, 3443, 6285, -1},
{ 8012, 3444, 6260, -1},
{ 8013, 3445, 2446, -1},
{ 8014, 3446, 1850, -1},
{ 8015, 3447, 2991, -1},
{ 8016, 3448, 3040, -1},
{ 8020, 3449, 3141, -1},
{ 8021, 3450, 5212, -1},
{ 8022, 3451, 3141, -1},
{ 8023, 3452, 3141, -1},
{ 8024, 3453, 3103, -1},
{ 8025, 3454, 2695, -1},
{ 8040, 3455, 6343, -1},
{ 8041, 3456, 3141, -1},
{ 8042, 3457, 3141, -1},
{ 8043, 3458, 6296, -1},
{ 8044, 3459, 3141, -1},
{ 8045, 3460, 2991, -1},
{ 8046, 3461, 3141, -1},
{ 8047, 3462, 2740, 730},
{ 8055, 3463, 2725, -1},
{ 8056, 3464, 2369, -1},
{ 8057, 3465, 3040, -1},
{ 8058, 3466, 3040, -1},
{ 8059, 3467, 2725, -1},
{ 8060, 3468, 2725, -1},
{ 8068, 3469, 2740, -1},
{ 8073, 3470, 1963, -1},
{ 8074, 3471, 2188, -1},
{ 8075, 3472, 3040, -1},
{ 8076, 3473, 1550, -1},
{ 8077, 3474, 1471, -1},
{ 8078, 3475, 2369, -1},
{ 8079, 3476, 2369, -1},
{ 8080, 3477, 2453, -1},
{ 8081, 3478, 3040, -1},
{ 8082, 3479, 3061, -1},
{ 8083, 3480, 3142, -1},
{ 8084, 3481, 3142, -1},
{ 8089, 3482, 1391, -1},
{ 8090, 3483, 2188, -1},
{ 8091, 3484, 3040, -1},
{ 8092, 3485, 1550, -1},
{ 8093, 3486, 1471, -1},
{ 8094, 3487, 2369, -1},
{ 8095, 3488, 2369, -1},
{ 8096, 3489, 2453, -1},
{ 8097, 3490, 3040, -1},
{ 8098, 3491, 3061, -1},
{ 8099, 3492, 3142, -1},
{ 8100, 3493, 3142, -1},
{ 8101, 3494, 3142, -1},
{ 8102, 3495, 926, -1},
{ 8103, 3496, 2188, -1},
{ 8104, 3497, 3040, -1},
{ 8105, 3498, 1550, -1},
{ 8106, 3499, 1471, -1},
{ 8107, 3500, 2369, -1},
{ 8108, 3501, 2369, -1},
{ 8109, 3502, 2453, -1},
{ 8110, 3503, 3040, -1},
{ 8111, 3504, 3061, -1},
{ 8112, 3505, 3142, -1},
{ 8113, 3506, 3142, -1},
{ 8114, 3507, 3142, -1},
{ 8115, 3508, 3142, -1},
{ 8117, 3509, 1861, -1},
{ 8118, 3510, 1124, -1},
{ 8119, 3511, 2740, -1},
{ 8120, 3512, 2805, -1},
{ 8123, 3513, 3141, -1},
{ 8124, 3514, 2740, -1},
{ 8125, 3515, 5868, -1},
{ 8126, 3516, 2805, -1},
{ 8127, 3517, 3141, -1},
{ 8130, 3518, 3141, -1},
{ 8131, 3519, 2740, -1},
{ 8132, 3520, 5868, -1},
{ 8133, 3521, 2805, -1},
{ 8134, 3522, 3141, -1},
{ 8139, 3523, 3141, -1},
{ 8140, 3524, 236, -1},
{ 8141, 3525, 1652, -1},
{ 8142, 3526, 1631, -1},
{ 8143, 3527, 1125, -1},
{ 8144, 3528, 1109, -1},
{ 8145, 3529, 1655, -1},
{ 8146, 3530, 1637, -1},
{ 8147, 3531, 1126, -1},
{ 8148, 3532, 1108, -1},
{ 8149, 3533, 3141, -1},
{ 8150, 3534, 2435, -1},
{ 8151, 3535, 1123, -1},
{ 8152, 3536, 2991, -1},
{ 8153, 3537, 2514, -1},
{ 8154, 3538, 2991, -1},
{ 8155, 3539, 1466, -1},
{ 8157, 3540, 1861, -1},
{ 8158, 3541, 1073, -1},
{ 8159, 3542, 1743, -1},
{ 8160, 3543, 2669, -1},
{ 8165, 3544, 3141, -1},
{ 8166, 3545, 3142, -1},
{ 8167, 3546, 2805, -1},
{ 8181, 3547, 2052, 731},
{ 8182, 3548, 3141, 732},
{ 8183, 3549, 1415, 733},
{ 8184, 3550, 2740, 734},
{ 8185, 3551, 2740, 735},
{ 8186, 3552, 2740, 736},
{ 8187, 3553, 3141, 737},
{ 8188, 3554, 2981, 738},
{ 8189, 3555, 2053, 739},
{ 8190, 3556, 2991, 740},
{ 8191, 3557, 2095, 741},
{ 8192, 3558, 2188, 742},
{ 8193, 3559, 3141, 743},
{ 8194, 3560, 3141, 744},
{ 8195, 3561, 3040, 745},
{ 8196, 3562, 2053, 746},
{ 8197, 3563, 2980, 747},
{ 8198, 3564, 2740, 748},
{ 8199, 3565, 3061, 749},
{ 8200, 3566, 3061, 750},
{ 8208, 3567, 6343, -1},
{ 8209, 3568, 1867, 751},
{ 8210, 3569, 2096, 752},
{ 8211, 3570, 2188, 753},
{ 8212, 3571, 3061, 754},
{ 8213, 3572, 2894, 755},
{ 8214, 3573, 3040, 756},
{ 8215, 3574, 2054, 757},
{ 8216, 3575, 2453, 758},
{ 8217, 3576, 3061, 759},
{ 8218, 3577, 3061, 760},
{ 8219, 3578, 2740, 761},
{ 8227, 3579, 1861, -1},
{ 8228, 3580, 2805, -1},
{ 8230, 3581, 1861, -1},
{ 8231, 3582, 1963, -1},
{ 8233, 3583, 1861, -1},
{ 8234, 3584, 1391, -1},
{ 8236, 3585, 1861, -1},
{ 8237, 3586, 926, -1},
{ 8257, 3587, 3141, -1},
{ 8258, 3588, 2740, -1},
{ 8259, 3589, 1636, -1},
{ 8260, 3590, 5850, -1},
{ 8261, 3591, 1636, -1},
{ 8262, 3592, 2805, -1},
{ 8263, 3593, 2740, -1},
{ 8268, 3594, 3141, -1},
{ 8269, 3595, 1636, -1},
{ 8270, 3596, 1636, -1},
{ 8273, 3597, 3141, -1},
{ 8274, 3598, 1636, -1},
{ 8275, 3599, 1636, -1},
{ 8276, 3600, 1391, -1},
{ 8277, 3601, 3141, -1},
{ 8278, 3602, 1636, -1},
{ 8279, 3603, 1636, -1},
{ 8282, 3604, 3141, -1},
{ 8283, 3605, 1737, -1},
{ 8284, 3606, 1785, -1},
{ 8285, 3607, 1785, -1},
{ 8286, 3608, 1737, -1},
{ 8287, 3609, 1213, -1},
{ 8288, 3610, 1788, -1},
{ 8289, 3611, 1215, -1},
{ 8290, 3612, 3141, 762},
{ 8291, 3613, 2062, 763},
{ 8294, 3614, 3141, -1},
{ 8295, 3615, 1737, -1},
{ 8296, 3616, 1785, -1},
{ 8297, 3617, 1785, -1},
{ 8298, 3618, 1737, -1},
{ 8299, 3619, 1213, -1},
{ 8300, 3620, 1788, -1},
{ 8301, 3621, 1215, -1},
{ 8306, 3622, 3141, -1},
{ 8307, 3623, 1737, -1},
{ 8308, 3624, 1785, -1},
{ 8309, 3625, 1785, -1},
{ 8310, 3626, 1737, -1},
{ 8311, 3627, 1213, -1},
{ 8312, 3628, 1788, -1},
{ 8313, 3629, 1215, -1},
{ 8318, 3630, 3141, -1},
{ 8319, 3631, 1737, -1},
{ 8320, 3632, 1785, -1},
{ 8321, 3633, 1785, -1},
{ 8322, 3634, 1737, -1},
{ 8323, 3635, 1213, -1},
{ 8324, 3636, 1788, -1},
{ 8325, 3637, 1215, -1},
{ 8326, 3638, 6343, -1},
{ 8327, 3639, 6347, -1},
{ 8328, 3640, 6167, -1},
{ 8329, 3641, 6157, -1},
{ 8340, 3642, 5075, -1},
{ 8341, 3643, 6132, -1},
{ 8342, 3644, 4650, -1},
{ 8343, 3645, 4402, -1},
{ 8344, 3646, 4285, -1},
{ 8345, 3647, 3537, -1},
{ 8346, 3648, 3824, -1},
{ 8347, 3649, 3822, -1},
{ 8348, 3650, 4285, -1},
{ 8349, 3651, 2665, -1},
{ 8350, 3652, 3061, -1},
{ 8373, 3653, 1821, 764},
{ 8374, 3654, 2953, 765},
{ 8375, 3655, 3141, 766},
{ 8376, 3656, 2265, 767},
{ 8377, 3657, 3040, 768},
{ 8378, 3658, 3141, 769},
{ 8379, 3659, 2007, 770},
{ 8380, 3660, 2008, 771},
{ 8381, 3661, 2007, 772},
{ 8382, 3662, 2265, 773},
{ 8383, 3663, 3061, 774},
{ 8384, 3664, 3061, 775},
{ 8385, 3665, 1496, 776},
{ 8386, 3666, 1493, 777},
{ 8387, 3667, 3040, 778},
{ 8388, 3668, 2991, 779},
{ 8389, 3669, 2991, 780},
{ 8390, 3670, 2839, 781},
{ 8391, 3671, 2725, 782},
{ 8392, 3672, 1963, 783},
{ 8393, 3673, 2666, -1},
{ 8394, 3674, 3061, -1},
{ 8417, 3675, 4268, -1},
{ 8418, 3676, 1741, 784},
{ 8419, 3677, 1741, 785},
{ 8420, 3678, 1242, 786},
{ 8421, 3679, 2669, 787},
{ 8422, 3680, 3141, 788},
{ 8423, 3681, 6132, -1},
{ 8424, 3682, 3141, 789},
{ 8425, 3683, 2062, 790},
{ 8426, 3684, 1805, 791},
{ 8427, 3685, 2725, 792},
{ 8428, 3686, 1805, 793},
{ 8429, 3687, 1805, 794},
{ 8430, 3688, 2725, 795},
{ 8431, 3689, 3061, 796},
{ 8432, 3690, 3061, 797},
{ 8433, 3691, 3040, 798},
{ 8434, 3692, 2991, 799},
{ 8435, 3693, 2991, 800},
{ 8436, 3694, 2837, 801},
{ 8437, 3695, 3040, 802},
{ 8438, 3696, 2725, 803},
{ 8439, 3697, 1820, 804},
{ 8440, 3698, 2725, 805},
{ 8441, 3699, 2667, -1},
{ 8442, 3700, 3061, -1},
{ 8446, 3701, 1242, 806},
{ 8447, 3702, 2669, 807},
{ 8448, 3703, 3141, 808},
{ 8449, 3704, 3061, 809},
{ 8450, 3705, 3061, 810},
{ 8451, 3706, 3040, 811},
{ 8452, 3707, 2991, 812},
{ 8453, 3708, 2991, 813},
{ 8454, 3709, 2062, 814},
{ 8455, 3710, 3040, 815},
{ 8456, 3711, 2725, 816},
{ 8457, 3712, 2725, 817},
{ 8465, 3713, 1850, -1},
{ 8466, 3714, 2740, -1},
{ 8467, 3715, 2740, -1},
{ 8468, 3716, 2740, -1},
{ 8469, 3717, 2740, -1},
{ 8470, 3718, 2740, -1},
{ 8471, 3719, 1467, -1},
{ 8472, 3720, 2991, -1},
{ 8473, 3721, 3141, -1},
{ 8475, 3722, 5514, -1},
{ 8476, 3723, 3141, -1},
{ 8477, 3724, 1979, -1},
{ 8478, 3725, 982, -1},
{ 8479, 3726, 3141, -1},
{ 8556, 3727, 3141, -1},
{ 8557, 3728, 1468, -1},
{ 8558, 3729, 1633, -1},
{ 8559, 3730, 3061, -1},
{ 8560, 3731, 3061, -1},
{ 8561, 3732, 3061, -1},
{ 8651, 3733, 3141, -1},
{ 8652, 3734, 1307, -1},
{ 8653, 3735, 5850, -1},
{ 8654, 3736, 3141, -1},
{ 8655, 3737, 1307, -1},
{ 8691, 3738, 6343, -1},
{ 8692, 3739, 3141, -1},
{ 8693, 3740, 3141, -1},
{ 8694, 3741, 5194, -1},
{ 8695, 3742, 3061, -1},
{ 8696, 3743, 3141, -1},
{ 8697, 3744, 3141, -1},
{ 8698, 3745, 3141, -1},
{ 8699, 3746, 2740, -1},
{ 8700, 3747, 3141, -1},
{ 8701, 3748, 3141, -1},
{ 8702, 3749, 2726, -1},
{ 8703, 3750, 3141, -1},
{ 8704, 3751, 2991, -1},
{ 8705, 3752, 3040, -1},
{ 8706, 3753, 3061, -1},
{ 8707, 3754, 3142, -1},
{ 8708, 3755, 3061, -1},
{ 8709, 3756, 3061, -1},
{ 8710, 3757, 2991, -1},
{ 8711, 3758, 3061, -1},
{ 8712, 3759, 3061, -1},
{ 8713, 3760, 2991, -1},
{ 8714, 3761, 3142, -1},
{ 8715, 3762, 3061, -1},
{ 8716, 3763, 2677, -1},
{ 8717, 3764, 2725, -1},
{ 8718, 3765, 2740, -1},
{ 8719, 3766, 2805, -1},
{ 8720, 3767, 2740, -1},
{ 8721, 3768, 2740, -1},
{ 8722, 3769, 2677, -1},
{ 8723, 3770, 2740, -1},
{ 8724, 3771, 2740, -1},
{ 8725, 3772, 2677, -1},
{ 8726, 3773, 2805, -1},
{ 8727, 3774, 2740, -1},
{ 8731, 3775, 2740, -1},
{ 8732, 3776, 1859, -1},
{ 8733, 3777, 3142, -1},
{ 8734, 3778, 2805, -1},
{ 8735, 3779, 3141, -1},
{ 8736, 3780, 2265, -1},
{ 8737, 3781, 2265, -1},
{ 8738, 3782, 2991, -1},
{ 8739, 3783, 3061, -1},
{ 8740, 3784, 1859, -1},
{ 8741, 3785, 2991, -1},
{ 8742, 3786, 3061, -1},
{ 8743, 3787, 3061, -1},
{ 8744, 3788, 3040, -1},
{ 8745, 3789, 3141, -1},
{ 8746, 3790, 2740, -1},
{ 8747, 3791, 1859, -1},
{ 8748, 3792, 3061, -1},
{ 8749, 3793, 2805, -1},
{ 8750, 3794, 3141, -1},
{ 8751, 3795, 2265, -1},
{ 8752, 3796, 2265, -1},
{ 8753, 3797, 2991, -1},
{ 8754, 3798, 1859, -1},
{ 8755, 3799, 2991, -1},
{ 8756, 3800, 3061, -1},
{ 8757, 3801, 3061, -1},
{ 8758, 3802, 3040, -1},
{ 8760, 3803, 2740, -1},
{ 8761, 3804, 2805, -1},
{ 8762, 3805, 3141, -1},
{ 8763, 3806, 2265, -1},
{ 8764, 3807, 1859, -1},
{ 8765, 3808, 3061, -1},
{ 8766, 3809, 2399, -1},
{ 8767, 3810, 1820, -1},
{ 8768, 3811, 2265, -1},
{ 8769, 3812, 2725, -1},
{ 8770, 3813, 1859, -1},
{ 8771, 3814, 2991, -1},
{ 8772, 3815, 3061, -1},
{ 8773, 3816, 3061, -1},
{ 8774, 3817, 3040, -1},
{ 8775, 3818, 2991, -1},
{ 8776, 3819, 2837, -1},
{ 8777, 3820, 1820, -1},
{ 8780, 3821, 2658, -1},
{ 8781, 3822, 2805, -1},
{ 8782, 3823, 2973, -1},
{ 8783, 3824, 3141, -1},
{ 8784, 3825, 3141, -1},
{ 8785, 3826, 3142, -1},
{ 8786, 3827, 2062, -1},
{ 8787, 3828, 3040, -1},
{ 8788, 3829, 2658, -1},
{ 8789, 3830, 2805, -1},
{ 8790, 3831, 2973, -1},
{ 8791, 3832, 3141, -1},
{ 8792, 3833, 3141, -1},
{ 8793, 3834, 3040, -1},
{ 8795, 3835, 2805, 818},
{ 8796, 3836, 3142, 819},
{ 8797, 3837, 2740, 820},
{ 8798, 3838, 2991, 821},
{ 8800, 3839, 6343, -1},
{ 8801, 3840, 1858, -1},
{ 8810, 3841, 2805, 822},
{ 8811, 3842, 2740, 823},
{ 8812, 3843, 1858, 824},
{ 8813, 3844, 3061, 825},
{ 8814, 3845, 2265, 826},
{ 8815, 3846, 2188, 827},
{ 8816, 3847, 3142, 828},
{ 8817, 3848, 3040, 829},
{ 8818, 3849, 2453, 830},
{ 8819, 3850, 3061, 831},
{ 8820, 3851, 2991, 832},
{ 8821, 3852, 2991, 833},
{ 8822, 3853, 3142, 834},
{ 8824, 3854, 2805, 835},
{ 8825, 3855, 2399, 836},
{ 8826, 3856, 2265, 837},
{ 8827, 3857, 2188, 838},
{ 8828, 3858, 3040, 839},
{ 8829, 3859, 1550, 840},
{ 8830, 3860, 1471, 841},
{ 8831, 3861, 2369, 842},
{ 8832, 3862, 2369, 843},
{ 8833, 3863, 2369, 844},
{ 8834, 3864, 3061, 845},
{ 8835, 3865, 3040, 846},
{ 8836, 3866, 3061, 847},
{ 8842, 3867, 1963, 848},
{ 8843, 3868, 2399, 849},
{ 8844, 3869, 2265, 850},
{ 8845, 3870, 2188, 851},
{ 8846, 3871, 3040, 852},
{ 8847, 3872, 2369, 853},
{ 8848, 3873, 1550, 854},
{ 8849, 3874, 1471, 855},
{ 8850, 3875, 2369, 856},
{ 8851, 3876, 2369, 857},
{ 8852, 3877, 2369, 858},
{ 8853, 3878, 3061, 859},
{ 8854, 3879, 3040, 860},
{ 8855, 3880, 3061, 861},
{ 8859, 3881, 1391, 862},
{ 8860, 3882, 2399, 863},
{ 8861, 3883, 2265, 864},
{ 8862, 3884, 2188, 865},
{ 8863, 3885, 3040, 866},
{ 8864, 3886, 2369, 867},
{ 8865, 3887, 1550, 868},
{ 8866, 3888, 1471, 869},
{ 8867, 3889, 2369, 870},
{ 8868, 3890, 2369, 871},
{ 8869, 3891, 2369, 872},
{ 8870, 3892, 3061, 873},
{ 8871, 3893, 3040, 874},
{ 8872, 3894, 3061, 875},
{ 8876, 3895, 926, 876},
{ 8877, 3896, 2399, 877},
{ 8878, 3897, 2265, 878},
{ 8879, 3898, 2188, 879},
{ 8880, 3899, 3040, 880},
{ 8881, 3900, 2369, 881},
{ 8882, 3901, 1550, 882},
{ 8883, 3902, 1471, 883},
{ 8884, 3903, 2369, 884},
{ 8885, 3904, 2369, 885},
{ 8886, 3905, 2369, 886},
{ 8887, 3906, 3061, 887},
{ 8888, 3907, 3040, 888},
{ 8889, 3908, 3061, 889},
{ 8893, 3909, 561, 890},
{ 8894, 3910, 2399, 891},
{ 8895, 3911, 2265, 892},
{ 8896, 3912, 2188, 893},
{ 8897, 3913, 3040, 894},
{ 8898, 3914, 2369, 895},
{ 8899, 3915, 1550, 896},
{ 8900, 3916, 1471, 897},
{ 8901, 3917, 2369, 898},
{ 8902, 3918, 2369, 899},
{ 8903, 3919, 2369, 900},
{ 8904, 3920, 3061, 901},
{ 8905, 3921, 3040, 902},
{ 8906, 3922, 3061, 903},
{ 8910, 3923, 128, 904},
{ 8911, 3924, 2399, 905},
{ 8912, 3925, 2265, 906},
{ 8913, 3926, 2188, 907},
{ 8914, 3927, 3040, 908},
{ 8915, 3928, 2369, 909},
{ 8916, 3929, 1550, 910},
{ 8917, 3930, 1471, 911},
{ 8918, 3931, 2369, 912},
{ 8919, 3932, 2369, 913},
{ 8920, 3933, 2369, 914},
{ 8921, 3934, 3061, 915},
{ 8922, 3935, 3040, 916},
{ 8923, 3936, 3061, 917},
{ 8932, 3937, 3141, -1},
{ 8933, 3938, 5002, -1},
{ 8934, 3939, 4790, -1},
{ 8935, 3940, 3141, -1},
{ 8936, 3941, 3061, -1},
{ 9044, 3942, 3141, -1},
{ 9045, 3943, 3141, -1},
{ 9046, 3944, 2740, -1},
{ 9047, 3945, 1859, -1},
{ 9048, 3946, 2830, -1},
{ 9049, 3947, 1540, -1},
{ 9050, 3948, 1540, -1},
{ 9051, 3949, 2511, -1},
{ 9052, 3950, 595, -1},
{ 9053, 3951, 2725, -1},
{ 9054, 3952, 1867, -1},
{ 9055, 3953, 3141, -1},
{ 9056, 3954, 1887, -1},
{ 9057, 3955, 1286, -1},
{ 9058, 3956, 1859, -1},
{ 9059, 3957, 1859, -1},
{ 9060, 3958, 1859, -1},
{ 9061, 3959, 1286, -1},
{ 9062, 3960, 84, -1},
{ 9063, 3961, 3141, -1},
{ 9064, 3962, 2726, -1},
{ 9065, 3963, 1859, -1},
{ 9066, 3964, 2726, -1},
{ 9067, 3965, 2991, -1},
{ 9083, 3966, 6343, -1},
{ 9084, 3967, 2805, 918},
{ 9085, 3968, 2669, 919},
{ 9086, 3969, 2669, 920},
{ 9087, 3970, 1741, 921},
{ 9088, 3971, 2097, 922},
{ 9089, 3972, 2188, 923},
{ 9090, 3973, 4809, -1},
{ 9091, 3974, 6347, -1},
{ 9092, 3975, 3040, 924},
{ 9093, 3976, 6347, -1},
{ 9094, 3977, 6285, -1},
{ 9095, 3978, 5002, -1},
{ 9096, 3979, 3061, 925},
{ 9097, 3980, 1636, 926},
{ 9098, 3981, 6285, -1},
{ 9099, 3982, 2837, 927},
{ 9100, 3983, 6253, -1},
{ 9101, 3984, 4845, -1},
{ 9102, 3985, 5591, -1},
{ 9103, 3986, 4845, -1},
{ 9152, 3987, 2740, -1},
{ 9153, 3988, 2725, -1},
{ 9154, 3989, 3040, -1},
{ 9155, 3990, 1621, -1},
{ 9156, 3991, 1859, -1},
{ 9157, 3992, 2740, -1},
{ 9158, 3993, 2740, -1},
{ 9159, 3994, 2677, -1},
{ 9160, 3995, 2725, -1},
{ 9161, 3996, 1859, -1},
{ 9162, 3997, 2740, -1},
{ 9163, 3998, 3141, -1},
{ 9164, 3999, 2188, -1},
{ 9165, 4000, 3061, -1},
{ 9166, 4001, 2991, -1},
{ 9167, 4002, 3040, -1},
{ 9168, 4003, 3061, -1},
{ 9169, 4004, 3040, -1},
{ 9170, 4005, 3088, -1},
{ 9171, 4006, 3061, -1},
{ 9172, 4007, 3061, -1},
{ 9173, 4008, 3040, -1},
{ 9174, 4009, 2725, -1},
{ 9175, 4010, 1881, -1},
{ 9304, 4011, 3141, -1},
{ 9305, 4012, 1960, -1},
{ 9306, 4013, 2188, -1},
{ 9307, 4014, 2188, -1},
{ 9308, 4015, 3040, -1},
{ 9309, 4016, 1390, -1},
{ 9310, 4017, 1314, -1},
{ 9311, 4018, 2805, -1},
{ 9312, 4019, 2740, -1},
{ 9313, 4020, 3061, -1},
{ 9314, 4021, 3142, -1},
{ 9315, 4022, 4935, -1},
{ 9316, 4023, 6171, -1},
{ 9317, 4024, 4935, -1},
{ 9318, 4025, 2805, -1},
{ 9320, 4026, 2740, -1},
{ 9321, 4027, 1850, -1},
{ 9322, 4028, 1874, -1},
{ 9323, 4029, 3141, -1},
{ 9324, 4030, 1874, -1},
{ 9325, 4031, 2740, -1},
{ 9326, 4032, 2098, -1},
{ 9328, 4033, 2677, -1},
{ 9329, 4034, 3141, -1},
{ 9330, 4035, 2991, -1},
{ 9331, 4036, 2188, -1},
{ 9332, 4037, 2991, -1},
{ 9333, 4038, 2265, -1},
{ 9334, 4039, 2188, -1},
{ 9335, 4040, 3061, -1},
{ 9336, 4041, 3061, -1},
{ 9337, 4042, 3061, -1},
{ 9339, 4043, 1867, -1},
{ 9340, 4044, 3141, -1},
{ 9341, 4045, 2740, -1},
{ 9342, 4046, 2805, -1},
{ 9345, 4047, 2453, -1},
{ 9346, 4048, 1867, -1},
{ 9347, 4049, 3061, -1},
{ 9348, 4050, 2991, -1},
{ 9349, 4051, 2453, -1},
{ 9355, 4052, 2453, -1},
{ 9356, 4053, 1867, -1},
{ 9357, 4054, 3061, -1},
{ 9358, 4055, 3141, -1},
{ 9359, 4056, 2991, -1},
{ 9360, 4057, 2453, -1},
{ 9363, 4058, 2453, -1},
{ 9364, 4059, 1867, -1},
{ 9365, 4060, 3061, -1},
{ 9366, 4061, 2991, -1},
{ 9367, 4062, 2453, -1},
{ 9369, 4063, 1867, -1},
{ 9370, 4064, 2453, -1},
{ 9375, 4065, 2453, -1},
{ 9376, 4066, 1312, -1},
{ 9377, 4067, 3061, -1},
{ 9378, 4068, 2991, -1},
{ 9379, 4069, 2453, -1},
{ 9384, 4070, 2453, -1},
{ 9385, 4071, 1312, -1},
{ 9386, 4072, 3061, -1},
{ 9387, 4073, 3141, -1},
{ 9388, 4074, 2991, -1},
{ 9389, 4075, 2453, -1},
{ 9394, 4076, 2453, -1},
{ 9395, 4077, 1312, -1},
{ 9396, 4078, 3061, -1},
{ 9397, 4079, 2991, -1},
{ 9398, 4080, 2453, -1},
{ 9402, 4081, 1861, -1},
{ 9403, 4082, 404, -1},
{ 9404, 4083, 1178, -1},
{ 9405, 4084, 1215, -1},
{ 9407, 4085, 1861, -1},
{ 9408, 4086, 662, -1},
{ 9409, 4087, 1743, -1},
{ 9410, 4088, 1788, -1},
{ 9419, 4089, 1859, -1},
{ 9420, 4090, 4431, -1},
{ 9421, 4091, 365, -1},
{ 9422, 4092, 3061, -1},
{ 9423, 4093, 1493, -1},
{ 9424, 4094, 596, -1},
{ 9425, 4095, 1859, -1},
{ 9426, 4096, 2839, -1},
{ 9427, 4097, 596, -1},
{ 9428, 4098, 3040, -1},
{ 9429, 4099, 3061, -1},
{ 9432, 4100, 1867, -1},
{ 9433, 4101, 5850, -1},
{ 9434, 4102, 5850, -1},
{ 9435, 4103, 6296, -1},
{ 9437, 4104, 5850, -1},
{ 9441, 4105, 6296, -1},
{ 9471, 4106, 6347, -1},
{ 9473, 4107, 4267, -1},
{ 9477, 4108, 3787, -1},
{ 9479, 4109, 4240, -1},
{ 9480, 4110, 4267, -1},
{ 9484, 4111, 4778, -1},
{ 9486, 4112, 4638, -1},
{ 9489, 4113, 3688, -1},
{ 9491, 4114, 5373, -1},
{ 9493, 4115, 6170, -1},
{ 9496, 4116, 4470, -1},
{ 9499, 4117, 3955, -1},
{ 9500, 4118, 1980, -1},
{ 9501, 4119, 1980, -1},
{ 9506, 4120, 6170, -1},
{ 9507, 4121, 2838, -1},
{ 9508, 4122, 2838, -1},
{ 9510, 4123, 1980, -1},
{ 9512, 4124, 1980, -1},
{ 9514, 4125, 2838, -1},
{ 9516, 4126, 2838, -1},
{ 9517, 4127, 5850, -1},
{ 9518, 4128, 5102, -1},
{ 9519, 4129, 4444, -1},
{ 9520, 4130, 3918, -1},
{ 9527, 4131, 3599, -1},
{ 9528, 4132, 5194, -1},
{ 9547, 4133, 6296, -1},
{ 9548, 4134, 4930, -1},
{ 9549, 4135, 5479, -1},
{ 9550, 4136, 4220, -1},
{ 9551, 4137, 5513, -1},
{ 9552, 4138, 5194, -1},
{ 9554, 4139, 5100, -1},
{ 9555, 4140, 4433, -1},
{ 9558, 4141, 3917, -1},
{ 9559, 4142, 5513, -1},
{ 9560, 4143, 5100, -1},
{ 9561, 4144, 4433, -1},
{ 9564, 4145, 3917, -1},
{ 9565, 4146, 5470, -1},
{ 9566, 4147, 5102, -1},
{ 9567, 4148, 4443, -1},
{ 9577, 4149, 3935, -1},
{ 9580, 4150, 3935, -1},
{ 9581, 4151, 2805, -1},
{ 9582, 4152, 2265, -1},
{ 9583, 4153, 1859, -1},
{ 9584, 4154, 2265, -1},
{ 9585, 4155, 3061, -1},
{ 9586, 4156, 2837, -1},
{ 9587, 4157, 2399, -1},
{ 9588, 4158, 1820, -1},
{ 9590, 4159, 2837, -1},
{ 9591, 4160, 1820, -1},
{ 9592, 4161, 5102, -1},
{ 9594, 4162, 4443, -1},
{ 9597, 4163, 3935, -1},
{ 9599, 4164, 3935, -1},
{ 9631, 4165, 5376, -1},
{ 9632, 4166, 6144, -1},
{ 9635, 4167, 4733, -1},
{ 9636, 4168, 6144, -1},
{ 9637, 4169, 5470, -1},
{ 9638, 4170, 5470, -1},
{ 9639, 4171, 5470, -1},
{ 9640, 4172, 4733, -1},
{ 9641, 4173, 4747, -1},
{ 9647, 4174, 4183, -1},
{ 9648, 4175, 4195, -1},
{ 9652, 4176, 3752, -1},
{ 9653, 4177, 4930, -1},
{ 9654, 4178, 5512, -1},
{ 9658, 4179, 6172, -1},
{ 9659, 4180, 4736, -1},
{ 9660, 4181, 5826, -1},
{ 9661, 4182, 5376, -1},
{ 9662, 4183, 5376, -1},
{ 9663, 4184, 5079, -1},
{ 9664, 4185, 5077, -1},
{ 9665, 4186, 3891, -1},
{ 9666, 4187, 5077, -1},
{ 9670, 4188, 3891, -1},
{ 9671, 4189, 3586, -1},
{ 9672, 4190, 6144, -1},
{ 9673, 4191, 5458, -1},
{ 9674, 4192, 5464, -1},
{ 9675, 4193, 5850, -1},
{ 9676, 4194, 4935, -1},
{ 9677, 4195, 4930, -1},
{ 9679, 4196, 4322, -1},
{ 9680, 4197, 3839, -1},
{ 9682, 4198, 5850, -1},
{ 9684, 4199, 4107, -1},
{ 9686, 4200, 4107, -1},
{ 9687, 4201, 4853, -1},
{ 9689, 4202, 5376, -1},
{ 9691, 4203, 4719, -1},
{ 9693, 4204, 4631, -1},
{ 9694, 4205, 4719, -1},
{ 9695, 4206, 4098, -1},
{ 9697, 4207, 5075, -1},
{ 9700, 4208, 4390, -1},
{ 9701, 4209, 3888, -1},
{ 9702, 4210, 3583, -1},
{ 9703, 4211, 4321, -1},
{ 9704, 4212, 4327, -1},
{ 9705, 4213, 5100, -1},
{ 9707, 4214, 3935, -1},
{ 9708, 4215, 3926, -1},
{ 9710, 4216, 4438, -1},
{ 9713, 4217, 3926, -1},
{ 9714, 4218, 3935, -1},
{ 9715, 4219, 4654, -1},
{ 9716, 4220, 3699, -1},
{ 9718, 4221, 5221, -1},
{ 9720, 4222, 5757, -1},
{ 9721, 4223, 5194, -1},
{ 9722, 4224, 4533, -1},
{ 9723, 4225, 4182, -1},
{ 9724, 4226, 4651, -1},
{ 9725, 4227, 4650, -1},
{ 9726, 4228, 5194, -1},
{ 9728, 4229, 5373, -1},
{ 9729, 4230, 4632, -1},
{ 9730, 4231, 4733, -1},
{ 9731, 4232, 5503, -1},
{ 9733, 4233, 4777, -1},
{ 9735, 4234, 4233, -1},
{ 9736, 4235, 5503, -1},
{ 9738, 4236, 4777, -1},
{ 9740, 4237, 4233, -1},
{ 9741, 4238, 6144, -1},
{ 9743, 4239, 5470, -1},
{ 9744, 4240, 6144, -1},
{ 9746, 4241, 5470, -1},
{ 9747, 4242, 2006, 928},
{ 9749, 4243, 5868, -1},
{ 9750, 4244, 1737, 929},
{ 9751, 4245, 2669, 930},
{ 9752, 4246, 1737, 931},
{ 9753, 4247, 2669, 932},
{ 9754, 4248, 5850, -1},
{ 9765, 4249, 6144, -1},
{ 9766, 4250, 3141, -1},
{ 9767, 4251, 1181, -1},
{ 9768, 4252, 1389, -1},
{ 9771, 4253, 4643, -1},
{ 9772, 4254, 2669, 933},
{ 9773, 4255, 1751, 934},
{ 9774, 4256, 1752, 935},
{ 9775, 4257, 1755, 936},
{ 9776, 4258, 1756, 937},
{ 9777, 4259, 1741, 938},
{ 9778, 4260, 1751, 939},
{ 9779, 4261, 1755, 940},
{ 9780, 4262, 1756, 941},
{ 9783, 4263, 1754, 942},
{ 9788, 4264, 1754, 943},
{ 9791, 4265, 1184, 944},
{ 9793, 4266, 1751, 945},
{ 9794, 4267, 1752, 946},
{ 9795, 4268, 1755, 947},
{ 9796, 4269, 1756, 948},
{ 9797, 4270, 1751, 949},
{ 9798, 4271, 1755, 950},
{ 9799, 4272, 1756, 951},
{ 9807, 4273, 1184, 952},
{ 9809, 4274, 2669, 953},
{ 9810, 4275, 1751, 954},
{ 9811, 4276, 1752, 955},
{ 9812, 4277, 1755, 956},
{ 9813, 4278, 1756, 957},
{ 9814, 4279, 1741, 958},
{ 9815, 4280, 1751, 959},
{ 9816, 4281, 1755, 960},
{ 9817, 4282, 1756, 961},
{ 9820, 4283, 1754, 962},
{ 9825, 4284, 1754, 963},
{ 9828, 4285, 1184, 964},
{ 9830, 4286, 1751, 965},
{ 9831, 4287, 1752, 966},
{ 9832, 4288, 1755, 967},
{ 9833, 4289, 1756, 968},
{ 9834, 4290, 1751, 969},
{ 9835, 4291, 1755, 970},
{ 9836, 4292, 1756, 971},
{ 9844, 4293, 1184, 972},
{ 9847, 4294, 5537, -1},
{ 9850, 4295, 6286, -1},
{ 9851, 4296, 6084, -1},
{ 9852, 4297, 6101, -1},
{ 9853, 4298, 5414, -1},
{ 9854, 4299, 5393, -1},
{ 9855, 4300, 5703, -1},
{ 9856, 4301, 5958, -1},
{ 9858, 4302, 1636, -1},
{ 9860, 4303, 1636, -1},
{ 9862, 4304, 2740, -1},
{ 9865, 4305, 3061, -1},
{ 9867, 4306, 5194, -1},
{ 9868, 4307, 5470, -1},
{ 9869, 4308, 4533, -1},
{ 9870, 4309, 5850, -1},
{ 9871, 4310, 5850, -1},
{ 9872, 4311, 5850, -1},
{ 9873, 4312, 5850, -1},
{ 9874, 4313, 4745, -1},
{ 9875, 4314, 5464, -1},
{ 9877, 4315, 1859, -1},
{ 9878, 4316, 1285, -1},
{ 9880, 4317, 1859, -1},
{ 9881, 4318, 5514, -1},
{ 9883, 4319, 4789, -1},
{ 9884, 4320, 5203, -1},
{ 9886, 4321, 5203, -1},
{ 9887, 4322, 5850, -1},
{ 9888, 4323, 5850, -1},
{ 9891, 4324, 5850, -1},
{ 9896, 4325, 4249, -1},
{ 9898, 4326, 5393, -1},
{ 9900, 4327, 5393, -1},
{ 9902, 4328, 5393, -1},
{ 9906, 4329, 5393, -1},
{ 9908, 4330, 4671, -1},
{ 9910, 4331, 4671, -1},
{ 9912, 4332, 4671, -1},
{ 9916, 4333, 4671, -1},
{ 9917, 4334, 5470, -1},
{ 9918, 4335, 6296, -1},
{ 9919, 4336, 4337, -1},
{ 9920, 4337, 6144, -1},
{ 9921, 4338, 5100, -1},
{ 9922, 4339, 5102, -1},
{ 9923, 4340, 5635, -1},
{ 9924, 4341, 3142, -1},
{ 9925, 4342, 3142, -1},
{ 9926, 4343, 2835, -1},
{ 9927, 4344, 3142, -1},
{ 9929, 4345, 3061, -1},
{ 9930, 4346, 2740, -1},
{ 9931, 4347, 3061, -1},
{ 9933, 4348, 2435, -1},
{ 9934, 4349, 2740, -1},
{ 9936, 4350, 1765, -1},
{ 9937, 4351, 3061, -1},
{ 9939, 4352, 2435, -1},
{ 9940, 4353, 1765, -1},
{ 9941, 4354, 2098, -1},
{ 9942, 4355, 6171, -1},
{ 9943, 4356, 6343, -1},
{ 9944, 4357, 6144, -1},
{ 9945, 4358, 6144, -1},
{ 9946, 4359, 4786, -1},
{ 9947, 4360, 4656, -1},
{ 9948, 4361, 4656, -1},
{ 9949, 4362, 4172, -1},
{ 9950, 4363, 4172, -1},
{ 9951, 4364, 5376, -1},
{ 9952, 4365, 4719, -1},
{ 9953, 4366, 5464, -1},
{ 9954, 4367, 5464, -1},
{ 9955, 4368, 4745, -1},
{ 9956, 4369, 6139, -1},
{ 9957, 4370, 5464, -1},
{ 9958, 4371, 6132, -1},
{ 9959, 4372, 5458, -1},
{ 9960, 4373, 4930, -1},
{ 9961, 4374, 3742, -1},
{ 9962, 4375, 5470, -1},
{ 9965, 4376, 4674, -1},
{ 9966, 4377, 3256, -1},
{ 9967, 4378, 4719, -1},
{ 9968, 4379, 4719, -1},
{ 9969, 4380, 4393, -1},
{ 9971, 4381, 4390, -1},
{ 9972, 4382, 5419, -1},
{ 9973, 4383, 5419, -1},
{ 9977, 4384, 4650, -1},
{ 9978, 4385, 6296, -1},
{ 9979, 4386, 6347, -1},
{ 9980, 4387, 5002, -1},
{ 9981, 4388, 5373, -1},
{ 9982, 4389, 5850, -1},
{ 9983, 4390, 5850, -1},
{ 9984, 4391, 5850, -1},
{ 9985, 4392, 5183, -1},
{ 9986, 4393, 5850, -1},
{ 9987, 4394, 5183, -1},
{ 9989, 4395, 3653, -1},
{ 9990, 4396, 3650, -1},
{ 9991, 4397, 1586, -1},
{ 9992, 4398, 1064, -1},
{ 9993, 4399, 650, -1},
{ 9994, 4400, 399, -1},
{ 9995, 4401, 1881, -1},
{ 9996, 4402, 1334, -1},
{ 9997, 4403, 888, -1},
{ 9998, 4404, 547, -1},
{ 9999, 4405, 345, -1},
{ 10000, 4406, 124, -1},
{ 10001, 4407, 3061, -1},
{ 10003, 4408, 2740, -1},
{ 10004, 4409, 5118, -1},
{ 10005, 4410, 1926, -1},
{ 10007, 4411, 1350, -1},
{ 10009, 4412, 903, -1},
{ 10010, 4413, 2453, -1},
{ 10011, 4414, 1881, -1},
{ 10012, 4415, 211, -1},
{ 10013, 4416, 4123, -1},
{ 10014, 4417, 3711, -1},
{ 10015, 4418, 4123, -1},
{ 10016, 4419, 3823, -1},
{ 10017, 4420, 3538, -1},
{ 10018, 4421, 5510, -1},
{ 10019, 4422, 5515, -1},
{ 10020, 4423, 5868, -1},
{ 10021, 4424, 5850, -1},
{ 10022, 4425, 5850, -1},
{ 10024, 4426, 4431, -1},
{ 10025, 4427, 6144, -1},
{ 10028, 4428, 4733, -1},
{ 10029, 4429, 4930, -1},
{ 10030, 4430, 5635, -1},
{ 10031, 4431, 4930, -1},
{ 10036, 4432, 5850, -1},
{ 10038, 4433, 5850, -1},
{ 10042, 4434, 5194, -1},
{ 10046, 4435, 5194, -1},
{ 10048, 4436, 4935, -1},
{ 10050, 4437, 4337, -1},
{ 10055, 4438, 5757, -1},
{ 10057, 4439, 5100, -1},
{ 10058, 4440, 5850, -1},
{ 10060, 4441, 5194, -1},
{ 10061, 4442, 5512, -1},
{ 10063, 4443, 6296, -1},
{ 10064, 4444, 6171, -1},
{ 10066, 4445, 6171, -1},
{ 10068, 4446, 5513, -1},
{ 10069, 4447, 5194, -1},
{ 10071, 4448, 6171, -1},
{ 10073, 4449, 5513, -1},
{ 10074, 4450, 5260, -1},
{ 10075, 4451, 5260, -1},
{ 10076, 4452, 5850, -1},
{ 10078, 4453, 5850, -1},
{ 10079, 4454, 5194, -1},
{ 10080, 4455, 5194, -1},
{ 10085, 4456, 5194, -1},
{ 10086, 4457, 5194, -1},
{ 10088, 4458, 5194, -1},
{ 10089, 4459, 4930, -1},
{ 10091, 4460, 4328, -1},
{ 10092, 4461, 6171, -1},
{ 10093, 4462, 5513, -1},
{ 10095, 4463, 6171, -1},
{ 10096, 4464, 5513, -1},
{ 10097, 4465, 5194, -1},
{ 10101, 4466, 5850, -1},
{ 10102, 4467, 4533, -1},
{ 10104, 4468, 4015, -1},
{ 10106, 4469, 5850, -1},
{ 10107, 4470, 5194, -1},
{ 10109, 4471, 4533, -1},
{ 10111, 4472, 5194, -1},
{ 10113, 4473, 5850, -1},
{ 10115, 4474, 5182, -1},
{ 10118, 4475, 1285, -1},
{ 10120, 4476, 1469, -1},
{ 10121, 4477, 5868, -1},
{ 10123, 4478, 5635, -1},
{ 10125, 4479, 4328, -1},
{ 10126, 4480, 4533, -1},
{ 10127, 4481, 5850, -1},
{ 10130, 4482, 5470, -1},
{ 10132, 4483, 5635, -1},
{ 10133, 4484, 5850, -1},
{ 10139, 4485, 5194, -1},
{ 10140, 4486, 5194, -1},
{ 10142, 4487, 4519, -1},
{ 10148, 4488, 4002, -1},
{ 10149, 4489, 1349, -1},
{ 10151, 4490, 901, -1},
{ 10152, 4491, 2453, -1},
{ 10153, 4492, 5850, -1},
{ 10154, 4493, 5830, -1},
{ 10155, 4494, 4850, -1},
{ 10157, 4495, 4930, -1},
{ 10158, 4496, 5194, -1},
{ 10159, 4497, 1636, -1},
{ 10160, 4498, 1636, -1},
{ 10163, 4499, 2453, -1},
{ 10164, 4500, 5850, -1},
{ 10165, 4501, 5850, -1},
{ 10166, 4502, 5189, -1},
{ 10168, 4503, 6171, -1},
{ 10170, 4504, 6171, -1},
{ 10172, 4505, 6171, -1},
{ 10173, 4506, 3061, -1},
{ 10181, 4507, 2669, 973},
{ 10182, 4508, 2669, 974},
{ 10185, 4509, 1741, 975},
{ 10187, 4510, 2669, 976},
{ 10188, 4511, 1181, 977},
{ 10195, 4512, 2669, 978},
{ 10196, 4513, 2669, 979},
{ 10199, 4514, 1741, 980},
{ 10207, 4515, 2669, 981},
{ 10208, 4516, 2669, 982},
{ 10212, 4517, 1741, 983},
{ 10221, 4518, 1751, 984},
{ 10222, 4519, 1752, 985},
{ 10223, 4520, 1755, 986},
{ 10224, 4521, 1756, 987},
{ 10225, 4522, 1751, 988},
{ 10226, 4523, 1755, 989},
{ 10227, 4524, 1756, 990},
{ 10228, 4525, 1754, 991},
{ 10229, 4526, 1754, 992},
{ 10231, 4527, 1184, 993},
{ 10242, 4528, 1751, 994},
{ 10243, 4529, 1752, 995},
{ 10244, 4530, 1755, 996},
{ 10245, 4531, 1756, 997},
{ 10246, 4532, 1741, 998},
{ 10247, 4533, 1751, 999},
{ 10248, 4534, 1752, 1000},
{ 10249, 4535, 1755, 1001},
{ 10250, 4536, 1756, 1002},
{ 10251, 4537, 1754, 1003},
{ 10252, 4538, 1754, 1004},
{ 10255, 4539, 1184, 1005},
{ 10256, 4540, 1185, 1006},
{ 10261, 4541, 1752, 1007},
{ 10262, 4542, 2669, 1008},
{ 10263, 4543, 1753, 1009},
{ 10264, 4544, 1753, 1010},
{ 10265, 4545, 2098, 1011},
{ 10267, 4546, 6285, -1},
{ 10269, 4547, 5739, -1},
{ 10270, 4548, 5739, -1},
{ 10271, 4549, 5080, -1},
{ 10273, 4550, 4379, -1},
{ 10274, 4551, 4431, -1},
{ 10275, 4552, 2098, 1012},
{ 10281, 4553, 2669, 1013},
{ 10285, 4554, 1165, 1014},
{ 10286, 4555, 1285, 1015},
{ 10287, 4556, 1389, 1016},
{ 10295, 4557, 2599, 1017},
{ 10296, 4558, 2669, 1018},
{ 10297, 4559, 2740, 1019},
{ 10307, 4560, 2599, 1020},
{ 10308, 4561, 2669, 1021},
{ 10309, 4562, 2740, 1022},
{ 10325, 4563, 1721, 1023},
{ 10326, 4564, 1751, 1024},
{ 10327, 4565, 1752, 1025},
{ 10328, 4566, 1755, 1026},
{ 10329, 4567, 1756, 1027},
{ 10330, 4568, 1752, 1028},
{ 10331, 4569, 1882, 1029},
{ 10332, 4570, 1883, 1030},
{ 10333, 4571, 1885, 1031},
{ 10334, 4572, 1886, 1032},
{ 10335, 4573, 1754, 1033},
{ 10336, 4574, 1884, 1034},
{ 10339, 4575, 2669, 1035},
{ 10351, 4576, 1721, 1036},
{ 10352, 4577, 1751, 1037},
{ 10353, 4578, 1752, 1038},
{ 10354, 4579, 1755, 1039},
{ 10355, 4580, 1756, 1040},
{ 10356, 4581, 1882, 1041},
{ 10357, 4582, 1883, 1042},
{ 10358, 4583, 1885, 1043},
{ 10359, 4584, 1886, 1044},
{ 10360, 4585, 1754, 1045},
{ 10361, 4586, 1884, 1046},
{ 10367, 4587, 6285, -1},
{ 10374, 4588, 6285, -1},
{ 10376, 4589, 6285, -1},
{ 10377, 4590, 5078, -1},
{ 10385, 4591, 5078, -1},
{ 10386, 4592, 5075, -1},
{ 10387, 4593, 5076, -1},
{ 10388, 4594, 5081, -1},
{ 10390, 4595, 5073, -1},
{ 10394, 4596, 4384, -1},
{ 10395, 4597, 4399, -1},
{ 10396, 4598, 4396, -1},
{ 10398, 4599, 3899, -1},
{ 10400, 4600, 3227, -1},
{ 10401, 4601, 4636, -1},
{ 10404, 4602, 5074, -1},
{ 10406, 4603, 3584, -1},
{ 10407, 4604, 5073, -1},
{ 10409, 4605, 4384, -1},
{ 10410, 4606, 5739, -1},
{ 10411, 4607, 5830, -1},
{ 10413, 4608, 4386, -1},
{ 10414, 4609, 1849, -1},
{ 10415, 4610, 5373, -1},
{ 10416, 4611, 5376, -1},
{ 10417, 4612, 1860, -1},
{ 10423, 4613, 3061, -1},
{ 10426, 4614, 3142, -1},
{ 10427, 4615, 3142, -1},
{ 10429, 4616, 2835, -1},
{ 10430, 4617, 3142, -1},
{ 10432, 4618, 2835, -1},
{ 10434, 4619, 3061, -1},
{ 10435, 4620, 2740, -1},
{ 10437, 4621, 2435, -1},
{ 10439, 4622, 1765, -1},
{ 10441, 4623, 2435, -1},
{ 10443, 4624, 1765, -1},
{ 10445, 4625, 2098, -1},
{ 10446, 4626, 6144, -1},
{ 10447, 4627, 6144, -1},
{ 10448, 4628, 1860, -1},
{ 10450, 4629, 4325, -1},
{ 10452, 4630, 2991, -1},
{ 10453, 4631, 2453, -1},
{ 10454, 4632, 3635, -1},
{ 10457, 4633, 3636, -1},
{ 10458, 4634, 6157, -1},
{ 10459, 4635, 5142, -1},
{ 10461, 4636, 5597, -1},
{ 10463, 4637, 5597, -1},
{ 10473, 4638, 4930, -1},
{ 10474, 4639, 4930, -1},
{ 10496, 4640, 5100, -1},
{ 10497, 4641, 1460, -1},
{ 10498, 4642, 3142, -1},
{ 10499, 4643, 4211, -1},
{ 10500, 4644, 4211, -1},
{ 10501, 4645, 4211, -1},
{ 10506, 4646, 4792, -1},
{ 10507, 4647, 4787, -1},
{ 10511, 4648, 1398, -1},
{ 10516, 4649, 563, -1},
{ 10521, 4650, 1397, -1},
{ 10523, 4651, 5002, -1},
{ 10524, 4652, 4832, -1},
{ 10526, 4653, 5062, -1},
{ 10527, 4654, 2837, 1047},
{ 10528, 4655, 1977, 1048},
{ 10529, 4656, 1978, 1049},
{ 10530, 4657, 1396, 1050},
{ 10531, 4658, 245, 1051},
{ 10532, 4659, 2453, -1},
{ 10533, 4660, 2453, -1},
{ 10534, 4661, 5458, -1},
{ 10536, 4662, 4747, -1},
{ 10537, 4663, 5850, -1},
{ 10538, 4664, 4762, -1},
{ 10539, 4665, 5511, -1},
{ 10541, 4666, 4318, -1},
{ 10542, 4667, 5511, -1},
{ 10544, 4668, 4318, -1},
{ 10548, 4669, 4763, -1},
{ 10549, 4670, 4763, -1},
{ 10550, 4671, 5458, -1},
{ 10551, 4672, 4761, -1},
{ 10552, 4673, 4761, -1},
{ 10553, 4674, 4761, -1},
{ 10555, 4675, 3639, -1},
{ 10558, 4676, 3639, -1},
{ 10562, 4677, 3639, -1},
{ 10563, 4678, 4532, -1},
{ 10565, 4679, 4532, -1},
{ 10567, 4680, 3925, -1},
{ 10568, 4681, 4801, -1},
{ 10570, 4682, 3785, -1},
{ 10572, 4683, 3399, -1},
{ 10574, 4684, 1995, 1052},
{ 10575, 4685, 4006, -1},
{ 10576, 4686, 2402, -1},
{ 10577, 4687, 2098, 1053},
{ 10578, 4688, 1517, 1054},
{ 10579, 4689, 2991, 1055},
{ 10580, 4690, 3142, 1056},
{ 10581, 4691, 2402, -1},
{ 10583, 4692, 1546, -1},
{ 10585, 4693, 2669, -1},
{ 10587, 4694, 2740, -1},
{ 10588, 4695, 6171, -1},
{ 10589, 4696, 5868, -1},
{ 10590, 4697, 4456, -1},
{ 10592, 4698, 4219, -1},
{ 10593, 4699, 4171, -1},
{ 10596, 4700, 2834, -1},
{ 10597, 4701, 5850, -1},
{ 10598, 4702, 5539, -1},
{ 10600, 4703, 5096, -1},
{ 10601, 4704, 6296, -1},
{ 10603, 4705, 5846, -1},
{ 10604, 4706, 5850, -1},
{ 10605, 4707, 6296, -1},
{ 10606, 4708, 4762, -1},
{ 10607, 4709, 6132, -1},
{ 10608, 4710, 4762, -1},
{ 10609, 4711, 6144, -1},
{ 10610, 4712, 6144, -1},
{ 10611, 4713, 5455, -1},
{ 10612, 4714, 6136, -1},
{ 10613, 4715, 6144, -1},
{ 10614, 4716, 6144, -1},
{ 10615, 4717, 3142, -1},
{ 10617, 4718, 2740, -1},
{ 10618, 4719, 1860, -1},
{ 10620, 4720, 3061, -1},
{ 10622, 4721, 5850, -1},
{ 10626, 4722, 5765, -1},
{ 10628, 4723, 5786, -1},
{ 10629, 4724, 2838, -1},
{ 10630, 4725, 2838, -1},
{ 10634, 4726, 5850, -1},
{ 10635, 4727, 5850, -1},
{ 10636, 4728, 5850, -1},
{ 10637, 4729, 5850, -1},
{ 10639, 4730, 6171, -1},
{ 10640, 4731, 4533, -1},
{ 10641, 4732, 2453, -1},
{ 10642, 4733, 2453, -1},
{ 10643, 4734, 2453, -1},
{ 10644, 4735, 2453, -1},
{ 10645, 4736, 2453, -1},
{ 10646, 4737, 2453, -1},
{ 10647, 4738, 1750, -1},
{ 10648, 4739, 5830, -1},
{ 10649, 4740, 5156, -1},
{ 10650, 4741, 4487, -1},
{ 10652, 4742, 5830, -1},
{ 10654, 4743, 5156, -1},
{ 10656, 4744, 4487, -1},
{ 10657, 4745, 2740, -1},
{ 10658, 4746, 5850, -1},
{ 10659, 4747, 5850, -1},
{ 10660, 4748, 5850, -1},
{ 10661, 4749, 5850, -1},
{ 10662, 4750, 5850, -1},
{ 10663, 4751, 5850, -1},
{ 10664, 4752, 5850, -1},
{ 10665, 4753, 5850, -1},
{ 10666, 4754, 5850, -1},
{ 10667, 4755, 5850, -1},
{ 10668, 4756, 5850, -1},
{ 10669, 4757, 5850, -1},
{ 10670, 4758, 5850, -1},
{ 10671, 4759, 5850, -1},
{ 10672, 4760, 5850, -1},
{ 10673, 4761, 5850, -1},
{ 10674, 4762, 5850, -1},
{ 10675, 4763, 5850, -1},
{ 10676, 4764, 5850, -1},
{ 10677, 4765, 5850, -1},
{ 10678, 4766, 5850, -1},
{ 10679, 4767, 5850, -1},
{ 10680, 4768, 5850, -1},
{ 10681, 4769, 5850, -1},
{ 10682, 4770, 5850, -1},
{ 10683, 4771, 5850, -1},
{ 10684, 4772, 5850, -1},
{ 10685, 4773, 5850, -1},
{ 10686, 4774, 5850, -1},
{ 10687, 4775, 5850, -1},
{ 10688, 4776, 5850, -1},
{ 10690, 4777, 3142, -1},
{ 10692, 4778, 2839, -1},
{ 10694, 4779, 58, -1},
{ 10696, 4780, 46, -1},
{ 10698, 4781, 39, -1},
{ 10700, 4782, 16, -1},
{ 10702, 4783, 13, -1},
{ 10704, 4784, 11, -1},
{ 10706, 4785, 1983, -1},
{ 10708, 4786, 1400, -1},
{ 10710, 4787, 930, -1},
{ 10712, 4788, 564, -1},
{ 10714, 4789, 356, -1},
{ 10716, 4790, 215, -1},
{ 10718, 4791, 130, -1},
{ 10720, 4792, 82, -1},
{ 10722, 4793, 2805, -1},
{ 10724, 4794, 57, -1},
{ 10726, 4795, 45, -1},
{ 10728, 4796, 38, -1},
{ 10730, 4797, 15, -1},
{ 10732, 4798, 12, -1},
{ 10734, 4799, 10, -1},
{ 10736, 4800, 1963, -1},
{ 10738, 4801, 1391, -1},
{ 10740, 4802, 926, -1},
{ 10742, 4803, 561, -1},
{ 10744, 4804, 355, -1},
{ 10746, 4805, 212, -1},
{ 10748, 4806, 128, -1},
{ 10750, 4807, 81, -1},
{ 10751, 4808, 1737, -1},
{ 10752, 4809, 6128, -1},
{ 10753, 4810, 1860, -1},
{ 10756, 4811, 6170, -1},
{ 10757, 4812, 5796, -1},
{ 10758, 4813, 6170, -1},
{ 10759, 4814, 5765, -1},
{ 10760, 4815, 4776, -1},
{ 10761, 4816, 5138, -1},
{ 10762, 4817, 5503, -1},
{ 10763, 4818, 1860, -1},
{ 10765, 4819, 1860, -1},
{ 10767, 4820, 4808, -1},
{ 10768, 4821, 4257, -1},
{ 10769, 4822, 5457, -1},
{ 10770, 4823, 4841, -1},
{ 10771, 4824, 5072, -1},
{ 10772, 4825, 5071, -1},
{ 10776, 4826, 5623, -1},
{ 10777, 4827, 4841, -1},
{ 10778, 4828, 4841, -1},
{ 10780, 4829, 5373, -1},
{ 10781, 4830, 5580, -1},
{ 10782, 4831, 5586, -1},
{ 10783, 4832, 5541, -1},
{ 10784, 4833, 4807, -1},
{ 10785, 4834, 5595, -1},
{ 10786, 4835, 5596, -1},
{ 10794, 4836, 5595, -1},
{ 10795, 4837, 5596, -1},
{ 10796, 4838, 4836, -1},
{ 10797, 4839, 2446, -1},
{ 10799, 4840, 1082, -1},
{ 10801, 4841, 825, -1},
{ 10803, 4842, 507, -1},
{ 10804, 4843, 1233, -1},
{ 10805, 4844, 1233, -1},
{ 10806, 4845, 480, -1},
{ 10807, 4846, 484, -1},
{ 10809, 4847, 173, -1},
{ 10810, 4848, 294, -1},
{ 10811, 4849, 3142, -1},
{ 10812, 4850, 1737, -1},
{ 10813, 4851, 909, -1},
{ 10814, 4852, 1737, -1},
{ 10815, 4853, 1362, -1},
{ 10816, 4854, 4525, -1},
{ 10817, 4855, 5514, -1},
{ 10818, 4856, 5102, -1},
{ 10819, 4857, 2669, -1},
{ 10820, 4858, 5850, -1},
{ 10821, 4859, 4203, -1},
{ 10822, 4860, 5479, -1},
{ 10823, 4861, 5147, -1},
{ 10825, 4862, 5063, -1},
{ 10827, 4863, 4393, -1},
{ 10829, 4864, 4110, -1},
{ 10834, 4865, 4248, -1},
{ 10835, 4866, 5592, -1},
{ 10849, 4867, 5592, -1},
{ 10853, 4868, 5592, -1},
{ 10854, 4869, 5366, -1},
{ 10855, 4870, 5597, -1},
{ 10856, 4871, 5593, -1},
{ 10858, 4872, 5593, -1},
{ 10860, 4873, 5504, -1},
{ 10863, 4874, 4263, -1},
{ 10866, 4875, 4250, -1},
{ 10867, 4876, 4251, -1},
{ 10869, 4877, 4252, -1},
{ 10872, 4878, 5594, -1},
{ 10875, 4879, 5594, -1},
{ 10877, 4880, 2669, -1},
{ 10879, 4881, 1439, -1},
{ 10880, 4882, 6239, -1},
{ 10881, 4883, 2805, 1057},
{ 10882, 4884, 1438, 1058},
{ 10883, 4885, 1017, -1},
{ 10884, 4886, 1020, -1},
{ 10885, 4887, 1017, -1},
{ 10887, 4888, 625, -1},
{ 10888, 4889, 5102, -1},
{ 10889, 4890, 1849, -1},
{ 10890, 4891, 1737, -1},
{ 10891, 4892, 909, -1},
{ 10892, 4893, 1737, -1},
{ 10893, 4894, 1362, -1},
{ 10894, 4895, 6285, -1},
{ 10895, 4896, 4670, -1},
{ 10897, 4897, 1017, -1},
{ 10898, 4898, 1017, -1},
{ 10899, 4899, 1020, -1},
{ 10905, 4900, 1017, -1},
{ 10908, 4901, 625, -1},
{ 10909, 4902, 383, -1},
{ 10912, 4903, 241, -1},
{ 10913, 4904, 1748, -1},
{ 10915, 4905, 2805, 1059},
{ 10916, 4906, 2669, 1060},
{ 10917, 4907, 2098, 1061},
{ 10919, 4908, 6132, -1},
{ 10920, 4909, 6343, -1},
{ 10921, 4910, 6343, -1},
{ 10922, 4911, 6343, -1},
{ 10923, 4912, 6343, -1},
{ 10924, 4913, 6343, -1},
{ 10925, 4914, 6343, -1},
{ 10926, 4915, 6343, -1},
{ 10927, 4916, 6343, -1},
{ 10928, 4917, 6343, -1},
{ 10929, 4918, 6343, -1},
{ 10930, 4919, 6343, -1},
{ 10931, 4920, 6343, -1},
{ 10932, 4921, 6343, -1},
{ 10933, 4922, 6343, -1},
{ 10934, 4923, 6343, -1},
{ 10935, 4924, 6343, -1},
{ 10936, 4925, 6343, -1},
{ 10937, 4926, 6343, -1},
{ 10938, 4927, 6343, -1},
{ 10940, 4928, 5464, -1},
{ 10942, 4929, 5464, -1},
{ 10945, 4930, 5757, -1},
{ 10946, 4931, 6296, -1},
{ 10947, 4932, 6296, -1},
{ 10948, 4933, 5832, -1},
{ 10949, 4934, 5850, -1},
{ 10950, 4935, 5194, -1},
{ 10952, 4936, 4530, -1},
{ 10953, 4937, 4549, -1},
{ 10954, 4938, 5194, -1},
{ 10955, 4939, 5194, -1},
{ 10956, 4940, 5850, -1},
{ 10957, 4941, 5194, -1},
{ 10958, 4942, 5194, -1},
{ 10960, 4943, 5189, -1},
{ 10961, 4944, 5194, -1},
{ 10962, 4945, 2805, -1},
{ 10963, 4946, 1867, -1},
{ 10964, 4947, 3141, -1},
{ 10965, 4948, 3141, -1},
{ 10966, 4949, 3141, -1},
{ 10968, 4950, 1867, -1},
{ 10970, 4951, 3141, -1},
{ 10972, 4952, 3141, -1},
{ 10974, 4953, 3141, -1},
{ 10975, 4954, 3061, -1},
{ 10976, 4955, 3061, -1},
{ 10977, 4956, 2369, -1},
{ 10978, 4957, 2991, 1062},
{ 10979, 4958, 3061, -1},
{ 10980, 4959, 6296, -1},
{ 10982, 4960, 6296, -1},
{ 10983, 4961, 3761, -1},
{ 10988, 4962, 5889, -1},
{ 10989, 4963, 1881, -1},
{ 10990, 4964, 1881, -1},
{ 10991, 4965, 1737, -1},
{ 10992, 4966, 909, -1},
{ 10993, 4967, 1737, -1},
{ 10994, 4968, 1362, -1},
{ 10995, 4969, 5868, -1},
{ 10996, 4970, 4835, -1},
{ 10997, 4971, 4834, -1},
{ 10998, 4972, 4277, -1},
{ 11000, 4973, 5065, -1},
{ 11002, 4974, 4745, -1},
{ 11005, 4975, 2453, -1},
{ 11008, 4976, 2453, -1},
{ 11009, 4977, 5850, -1},
{ 11014, 4978, 5183, -1},
{ 11016, 4979, 5183, -1},
{ 11017, 4980, 6285, -1},
{ 11018, 4981, 1668, -1},
{ 11020, 4982, 1128, -1},
{ 11021, 4983, 2740, 1063},
{ 11024, 4984, 3142, -1},
{ 11025, 4985, 2446, -1},
{ 11028, 4986, 2805, -1},
{ 11030, 4987, 3061, -1},
{ 11031, 4988, 2805, 1064},
{ 11035, 4989, 5850, -1},
{ 11036, 4990, 6296, -1},
{ 11037, 4991, 5850, -1},
{ 11038, 4992, 5850, -1},
{ 11039, 4993, 5393, -1},
{ 11040, 4994, 5394, -1},
{ 11041, 4995, 1653, -1},
{ 11042, 4996, 1653, -1},
{ 11056, 4997, 6260, -1},
{ 11057, 4998, 5194, -1},
{ 11058, 4999, 5194, -1},
{ 11059, 5000, 6296, -1},
{ 11060, 5001, 4850, -1},
{ 11061, 5002, 4853, -1},
{ 11062, 5003, 4853, -1},
{ 11063, 5004, 4850, -1},
{ 11064, 5005, 4853, -1},
{ 11067, 5006, 4403, -1},
{ 11069, 5007, 3894, -1},
{ 11073, 5008, 4287, -1},
{ 11074, 5009, 1334, -1},
{ 11075, 5010, 1980, -1},
{ 11076, 5011, 6285, -1},
{ 11078, 5012, 3142, 1065},
{ 11079, 5013, 6168, -1},
{ 11080, 5014, 4505, -1},
{ 11081, 5015, 5194, -1},
{ 11083, 5016, 4490, -1},
{ 11084, 5017, 2472, -1},
{ 11086, 5018, 5194, -1},
{ 11087, 5019, 5194, -1},
{ 11088, 5020, 4533, -1},
{ 11089, 5021, 4788, -1},
{ 11090, 5022, 2834, -1},
{ 11091, 5023, 85, -1},
{ 11093, 5024, 2740, -1},
{ 11094, 5025, 4785, -1},
{ 11095, 5026, 3841, -1},
{ 11096, 5027, 5470, -1},
{ 11098, 5028, 5850, -1},
{ 11102, 5029, 5470, -1},
{ 11104, 5030, 6144, -1},
{ 11105, 5031, 5502, -1},
{ 11107, 5032, 6144, -1},
{ 11108, 5033, 5850, -1},
{ 11109, 5034, 1849, -1},
{ 11110, 5035, 2669, -1},
{ 11111, 5036, 1741, -1},
{ 11112, 5037, 5376, -1},
{ 11113, 5038, 4648, -1},
{ 11114, 5039, 5100, -1},
{ 11116, 5040, 5833, -1},
{ 11119, 5041, 5833, -1},
{ 11120, 5042, 5850, -1},
{ 11122, 5043, 5850, -1},
{ 11123, 5044, 5868, -1},
{ 11124, 5045, 5850, -1},
{ 11125, 5046, 5850, -1},
{ 11127, 5047, 5184, -1},
{ 11128, 5048, 698, -1},
{ 11130, 5049, 439, -1},
{ 11131, 5050, 440, -1},
{ 11133, 5051, 268, -1},
{ 11135, 5052, 676, -1},
{ 11137, 5053, 432, -1},
{ 11138, 5054, 6171, -1},
{ 11139, 5055, 6132, -1},
{ 11140, 5056, 5376, -1},
{ 11141, 5057, 4648, -1},
{ 11143, 5058, 2912, -1},
{ 11144, 5059, 4336, -1},
{ 11148, 5060, 5464, -1},
{ 11150, 5061, 5222, -1},
{ 11152, 5062, 4564, -1},
{ 11153, 5063, 4333, -1},
{ 11154, 5064, 5850, -1},
{ 11155, 5065, 5850, -1},
{ 11156, 5066, 5850, -1},
{ 11158, 5067, 6296, -1},
{ 11159, 5068, 5850, -1},
{ 11160, 5069, 5183, -1},
{ 11163, 5070, 4518, -1},
{ 11164, 5071, 4045, -1},
{ 11165, 5072, 5194, -1},
{ 11166, 5073, 5194, -1},
{ 11167, 5074, 5194, -1},
{ 11168, 5075, 5194, -1},
{ 11169, 5076, 5194, -1},
{ 11170, 5077, 5194, -1},
{ 11171, 5078, 5194, -1},
{ 11172, 5079, 5194, -1},
{ 11173, 5080, 5194, -1},
{ 11174, 5081, 5194, -1},
{ 11175, 5082, 5194, -1},
{ 11176, 5083, 5850, -1},
{ 11177, 5084, 5183, -1},
{ 11178, 5085, 5196, -1},
{ 11179, 5086, 4539, -1},
{ 11180, 5087, 5194, -1},
{ 11181, 5088, 5189, -1},
{ 11182, 5089, 5194, -1},
{ 11183, 5090, 4527, -1},
{ 11184, 5091, 3998, -1},
{ 11185, 5092, 5189, -1},
{ 11186, 5093, 5194, -1},
{ 11187, 5094, 5194, -1},
{ 11188, 5095, 5850, -1},
{ 11189, 5096, 5183, -1},
{ 11190, 5097, 5194, -1},
{ 11191, 5098, 4532, -1},
{ 11192, 5099, 5189, -1},
{ 11193, 5100, 4525, -1},
{ 11194, 5101, 5850, -1},
{ 11195, 5102, 5183, -1},
{ 11196, 5103, 5850, -1},
{ 11197, 5104, 5183, -1},
{ 11198, 5105, 5850, -1},
{ 11199, 5106, 5183, -1},
{ 11200, 5107, 5194, -1},
{ 11201, 5108, 5183, -1},
{ 11202, 5109, 5189, -1},
{ 11203, 5110, 4524, -1},
{ 11208, 5111, 6144, -1},
{ 11213, 5112, 5635, -1},
{ 11215, 5113, 4047, -1},
{ 11217, 5114, 4551, -1},
{ 11219, 5115, 4048, -1},
{ 11221, 5116, 5635, -1},
{ 11223, 5117, 5261, -1},
{ 11225, 5118, 3394, -1},
{ 11226, 5119, 6171, -1},
{ 11227, 5120, 1302, -1},
{ 11228, 5121, 4799, -1},
{ 11229, 5122, 4533, -1},
{ 11230, 5123, 4258, -1},
{ 11241, 5124, 4811, -1},
{ 11242, 5125, 4812, -1},
{ 11243, 5126, 4811, -1},
{ 11246, 5127, 4812, -1},
{ 11247, 5128, 4814, -1},
{ 11251, 5129, 4846, -1},
{ 11255, 5130, 5850, -1},
{ 11281, 5131, 5597, -1},
{ 11284, 5132, 5597, -1},
{ 11289, 5133, 5597, -1},
{ 11290, 5134, 5597, -1},
{ 11292, 5135, 4846, -1},
{ 11293, 5136, 6167, -1},
{ 11294, 5137, 6167, -1},
{ 11300, 5138, 6285, -1},
{ 11301, 5139, 5384, -1},
{ 11303, 5140, 5597, -1},
{ 11305, 5141, 4134, -1},
{ 11308, 5142, 3589, -1},
{ 11310, 5143, 5370, -1},
{ 11312, 5144, 5371, -1},
{ 11314, 5145, 5370, -1},
{ 11317, 5146, 4109, -1},
{ 11319, 5147, 2909, 1066},
{ 11321, 5148, 5597, -1},
{ 11343, 5149, 5597, -1},
{ 11351, 5150, 6285, -1},
{ 11353, 5151, 5597, -1},
{ 11356, 5152, 5597, -1},
{ 11358, 5153, 5002, -1},
{ 11361, 5154, 5765, -1},
{ 11363, 5155, 5373, -1},
{ 11386, 5156, 5509, -1},
{ 11388, 5157, 4784, -1},
{ 11440, 5158, 6285, -1},
{ 11451, 5159, 4654, -1},
{ 11453, 5160, 4108, -1},
{ 11454, 5161, 5597, -1},
{ 11458, 5162, 5597, -1},
{ 11459, 5163, 4728, -1},
{ 11461, 5164, 929, -1},
{ 11463, 5165, 367, -1},
{ 11464, 5166, 5591, -1},
{ 11465, 5167, 4809, -1},
{ 11467, 5168, 3061, -1},
{ 11468, 5169, 3061, -1},
{ 11469, 5170, 3652, -1},
{ 11470, 5171, 2725, -1},
{ 11480, 5172, 5830, -1},
{ 11485, 5173, 5379, -1},
{ 11486, 5174, 2172, -1},
{ 11488, 5175, 3142, -1},
{ 11489, 5176, 2435, -1},
{ 11490, 5177, 2991, -1},
{ 11491, 5178, 3141, -1},
{ 11493, 5179, 2098, -1},
{ 11495, 5180, 1466, -1},
{ 11496, 5181, 1471, -1},
{ 11497, 5182, 1466, -1},
{ 11498, 5183, 3061, -1},
{ 11499, 5184, 3061, -1},
{ 11500, 5185, 3061, -1},
{ 11501, 5186, 1867, -1},
{ 11502, 5187, 1867, -1},
{ 11506, 5188, 1867, -1},
{ 11508, 5189, 3141, -1},
{ 11512, 5190, 3061, -1},
{ 11514, 5191, 3141, -1},
{ 11516, 5192, 3141, -1},
{ 11517, 5193, 3061, -1},
{ 11518, 5194, 6336, -1},
{ 11519, 5195, 6337, -1},
{ 11520, 5196, 1636, -1},
{ 11522, 5197, 6170, -1},
{ 11524, 5198, 4470, -1},
{ 11526, 5199, 3955, -1},
{ 11528, 5200, 5850, -1},
{ 11529, 5201, 1982, -1},
{ 11531, 5202, 3142, 1067},
{ 11532, 5203, 3061, -1},
{ 11533, 5204, 3153, 1068},
{ 11534, 5205, 3153, 1069},
{ 11539, 5206, 3061, 1070},
{ 11540, 5207, 3154, 1071},
{ 11541, 5208, 3154, 1072},
{ 11542, 5209, 3154, 1073},
{ 11543, 5210, 3154, 1074},
{ 11544, 5211, 3142, 1075},
{ 11545, 5212, 2866, 1076},
{ 11546, 5213, 3061, -1},
{ 11547, 5214, 3142, 1077},
{ 11548, 5215, 2453, -1},
{ 11550, 5216, 5386, -1},
{ 11551, 5217, 2453, -1},
{ 11552, 5218, 1526, -1},
{ 11554, 5219, 3789, -1},
{ 19202, 0, 0, -1},
};