#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[4267] = 
{
{ 2, 1, 2072, -1},
{ 3, 2, 1067, -1},
{ 4, 3, 918, -1},
{ 5, 4, 2072, -1},
{ 6, 5, 1067, -1},
{ 7, 6, 925, -1},
{ 10, 7, 2072, -1},
{ 11, 8, 1067, -1},
{ 12, 9, 900, -1},
{ 13, 10, 2072, -1},
{ 14, 11, 1067, -1},
{ 15, 12, 925, -1},
{ 18, 13, 1067, -1},
{ 19, 14, 548, -1},
{ 20, 15, 1067, -1},
{ 21, 16, 589, -1},
{ 24, 17, 1067, -1},
{ 25, 18, 1067, -1},
{ 26, 19, 1067, -1},
{ 27, 20, 1067, -1},
{ 30, 21, 1067, -1},
{ 31, 22, 918, -1},
{ 32, 23, 1067, -1},
{ 33, 24, 925, -1},
{ 36, 25, 1067, -1},
{ 37, 26, 1067, -1},
{ 38, 27, 1067, -1},
{ 39, 28, 1067, -1},
{ 40, 29, 1067, -1},
{ 41, 30, 1067, -1},
{ 44, 31, 1067, -1},
{ 45, 32, 589, -1},
{ 48, 33, 1067, -1},
{ 49, 34, 1067, -1},
{ 52, 35, 1067, -1},
{ 53, 36, 1067, -1},
{ 54, 37, 1067, -1},
{ 55, 38, 1067, -1},
{ 58, 39, 1067, -1},
{ 59, 40, 898, -1},
{ 60, 41, 1067, -1},
{ 61, 42, 903, -1},
{ 62, 43, 1067, -1},
{ 63, 44, 925, -1},
{ 66, 45, 1067, -1},
{ 67, 46, 1067, -1},
{ 68, 47, 1067, -1},
{ 69, 48, 1067, -1},
{ 70, 49, 1067, -1},
{ 71, 50, 1067, -1},
{ 74, 51, 1067, -1},
{ 75, 52, 589, -1},
{ 78, 53, 1067, -1},
{ 79, 54, 1067, -1},
{ 82, 55, 1067, -1},
{ 83, 56, 548, -1},
{ 84, 57, 1067, -1},
{ 85, 58, 589, -1},
{ 88, 59, 1067, -1},
{ 89, 60, 1067, -1},
{ 90, 61, 1067, -1},
{ 91, 62, 1067, -1},
{ 94, 63, 1067, -1},
{ 95, 64, 703, -1},
{ 98, 65, 1067, -1},
{ 99, 66, 1067, -1},
{ 100, 67, 1067, -1},
{ 101, 68, 1067, -1},
{ 104, 69, 1067, -1},
{ 105, 70, 900, -1},
{ 106, 71, 1067, -1},
{ 107, 72, 925, -1},
{ 110, 73, 1067, -1},
{ 111, 74, 1067, -1},
{ 112, 75, 1067, -1},
{ 113, 76, 1067, -1},
{ 115, 77, 918, -1},
{ 116, 78, 1020, -1},
{ 117, 79, 1003, -1},
{ 118, 80, 1067, -1},
{ 119, 81, 1042, -1},
{ 120, 82, 1067, -1},
{ 131, 83, 588, -1},
{ 132, 84, 898, -1},
{ 133, 85, 588, -1},
{ 134, 86, 900, -1},
{ 135, 87, 588, -1},
{ 136, 88, 903, -1},
{ 137, 89, 588, -1},
{ 138, 90, 904, -1},
{ 139, 91, 588, -1},
{ 140, 92, 918, -1},
{ 141, 93, 588, -1},
{ 142, 94, 918, -1},
{ 143, 95, 588, -1},
{ 144, 96, 925, -1},
{ 154, 97, 588, -1},
{ 155, 98, 512, -1},
{ 156, 99, 588, -1},
{ 157, 100, 548, -1},
{ 158, 101, 588, -1},
{ 159, 102, 581, -1},
{ 160, 103, 588, -1},
{ 161, 104, 586, -1},
{ 162, 105, 588, -1},
{ 163, 106, 589, -1},
{ 164, 107, 588, -1},
{ 165, 108, 604, -1},
{ 166, 109, 588, -1},
{ 167, 110, 355, -1},
{ 168, 111, 588, -1},
{ 169, 112, 368, -1},
{ 177, 113, 2072, -1},
{ 178, 114, 1067, -1},
{ 179, 115, 2061, -1},
{ 180, 116, 2072, -1},
{ 181, 117, 1067, -1},
{ 182, 118, 2061, -1},
{ 183, 119, 2072, -1},
{ 184, 120, 1067, -1},
{ 185, 121, 2061, -1},
{ 186, 122, 2072, -1},
{ 187, 123, 1067, -1},
{ 188, 0, 0, -1},
{ 189, 0, 0, -1},
{ 190, 124, 2061, -1},
{ 207, 125, 2072, -1},
{ 208, 126, 1067, -1},
{ 209, 127, 96, -1},
{ 210, 128, 1234, -1},
{ 211, 129, 1355, -1},
{ 212, 130, 1355, -1},
{ 213, 131, 1194, -1},
{ 214, 132, 1234, -1},
{ 215, 133, 1355, -1},
{ 216, 134, 1288, -1},
{ 217, 135, 1355, -1},
{ 218, 136, 225, -1},
{ 219, 137, 1559, -1},
{ 220, 138, 1360, -1},
{ 221, 139, 2061, -1},
{ 222, 140, 2072, -1},
{ 223, 141, 1067, -1},
{ 224, 142, 96, -1},
{ 225, 143, 1234, -1},
{ 226, 144, 1355, -1},
{ 227, 145, 1355, -1},
{ 228, 146, 1194, -1},
{ 229, 147, 1234, -1},
{ 230, 148, 1355, -1},
{ 231, 149, 1288, -1},
{ 232, 150, 1355, -1},
{ 233, 151, 225, -1},
{ 234, 152, 1559, -1},
{ 235, 153, 1360, -1},
{ 236, 154, 2061, -1},
{ 237, 155, 2072, -1},
{ 238, 156, 1067, -1},
{ 239, 157, 98, -1},
{ 240, 158, 1234, -1},
{ 241, 159, 1355, -1},
{ 242, 160, 1355, -1},
{ 243, 161, 1196, -1},
{ 244, 162, 1234, -1},
{ 245, 163, 1355, -1},
{ 246, 164, 1288, -1},
{ 247, 165, 1355, -1},
{ 248, 166, 225, -1},
{ 249, 167, 1559, -1},
{ 250, 168, 1360, -1},
{ 251, 169, 2061, -1},
{ 252, 170, 2072, -1},
{ 253, 171, 1067, -1},
{ 254, 172, 99, -1},
{ 255, 173, 1234, -1},
{ 256, 174, 1355, -1},
{ 257, 175, 1355, -1},
{ 258, 176, 1197, -1},
{ 259, 177, 1234, -1},
{ 260, 178, 1355, -1},
{ 261, 179, 1288, -1},
{ 262, 180, 1355, -1},
{ 263, 181, 225, -1},
{ 264, 182, 1559, -1},
{ 265, 183, 1360, -1},
{ 266, 184, 2061, -1},
{ 267, 185, 2072, -1},
{ 268, 186, 1067, -1},
{ 269, 187, 100, -1},
{ 270, 188, 1234, -1},
{ 271, 189, 1355, -1},
{ 272, 190, 1355, -1},
{ 273, 191, 1198, -1},
{ 274, 192, 1234, -1},
{ 275, 193, 1355, -1},
{ 276, 194, 1288, -1},
{ 277, 195, 1355, -1},
{ 278, 196, 225, -1},
{ 279, 197, 1559, -1},
{ 280, 198, 1360, -1},
{ 281, 199, 2061, -1},
{ 282, 200, 2072, -1},
{ 283, 201, 1067, -1},
{ 284, 202, 101, -1},
{ 285, 203, 1234, -1},
{ 286, 204, 1355, -1},
{ 287, 205, 1355, -1},
{ 288, 206, 1199, -1},
{ 289, 207, 1234, -1},
{ 290, 208, 1355, -1},
{ 291, 209, 1288, -1},
{ 292, 210, 1355, -1},
{ 293, 211, 225, -1},
{ 294, 212, 1559, -1},
{ 295, 213, 1360, -1},
{ 296, 214, 2061, -1},
{ 297, 215, 2072, -1},
{ 298, 216, 1067, -1},
{ 299, 217, 102, -1},
{ 300, 218, 1234, -1},
{ 301, 219, 1355, -1},
{ 302, 220, 1355, -1},
{ 303, 221, 1200, -1},
{ 304, 222, 1234, -1},
{ 305, 223, 1355, -1},
{ 306, 224, 1288, -1},
{ 307, 225, 1355, -1},
{ 308, 226, 225, -1},
{ 309, 227, 1559, -1},
{ 310, 228, 1360, -1},
{ 311, 229, 2061, -1},
{ 312, 230, 2072, -1},
{ 313, 231, 1067, -1},
{ 314, 232, 103, -1},
{ 315, 233, 1234, -1},
{ 316, 234, 1355, -1},
{ 317, 235, 1355, -1},
{ 318, 236, 1201, -1},
{ 319, 237, 1234, -1},
{ 320, 238, 1355, -1},
{ 321, 239, 1288, -1},
{ 322, 240, 1355, -1},
{ 323, 241, 225, -1},
{ 324, 242, 1559, -1},
{ 325, 243, 1360, -1},
{ 326, 244, 2061, -1},
{ 338, 245, 2072, -1},
{ 339, 246, 1067, -1},
{ 340, 247, 1161, -1},
{ 341, 248, 1239, -1},
{ 342, 249, 1239, -1},
{ 343, 250, 1161, -1},
{ 344, 251, 1239, -1},
{ 345, 252, 1205, -1},
{ 346, 253, 136, -1},
{ 347, 254, 1360, -1},
{ 348, 255, 1240, -1},
{ 349, 256, 2061, -1},
{ 350, 257, 2072, -1},
{ 351, 258, 1067, -1},
{ 352, 259, 1161, -1},
{ 353, 260, 1239, -1},
{ 354, 261, 1239, -1},
{ 355, 262, 1161, -1},
{ 356, 263, 1239, -1},
{ 357, 264, 1205, -1},
{ 358, 265, 136, -1},
{ 359, 266, 1360, -1},
{ 360, 267, 1240, -1},
{ 361, 268, 2061, -1},
{ 364, 269, 507, 0},
{ 365, 270, 507, 1},
{ 366, 271, 897, 2},
{ 367, 272, 2072, -1},
{ 368, 273, 2045, -1},
{ 369, 274, 1942, -1},
{ 370, 275, 925, 3},
{ 371, 276, 900, 4},
{ 372, 277, 925, 5},
{ 373, 278, 1042, 6},
{ 374, 279, 507, 7},
{ 375, 280, 897, 8},
{ 376, 281, 2072, -1},
{ 377, 282, 2046, -1},
{ 378, 283, 1948, -1},
{ 379, 284, 925, 9},
{ 380, 285, 925, 10},
{ 381, 286, 925, 11},
{ 382, 287, 1042, 12},
{ 385, 288, 897, -1},
{ 386, 289, 1018, -1},
{ 387, 290, 897, -1},
{ 388, 291, 1018, -1},
{ 389, 292, 897, -1},
{ 390, 293, 1018, -1},
{ 391, 294, 897, -1},
{ 392, 295, 1018, -1},
{ 393, 296, 897, -1},
{ 394, 297, 1018, -1},
{ 395, 298, 897, -1},
{ 396, 299, 1018, -1},
{ 397, 300, 366, -1},
{ 398, 301, 900, -1},
{ 399, 302, 925, -1},
{ 400, 303, 367, -1},
{ 401, 304, 918, -1},
{ 402, 305, 925, -1},
{ 403, 306, 368, -1},
{ 404, 307, 925, -1},
{ 405, 308, 925, -1},
{ 406, 309, 369, -1},
{ 407, 310, 939, -1},
{ 408, 311, 925, -1},
{ 439, 312, 1067, -1},
{ 440, 313, 2061, -1},
{ 441, 314, 452, -1},
{ 442, 315, 2061, -1},
{ 443, 316, 1067, -1},
{ 444, 317, 2061, -1},
{ 445, 318, 452, -1},
{ 446, 319, 2061, -1},
{ 447, 320, 1067, -1},
{ 448, 321, 2061, -1},
{ 449, 322, 452, -1},
{ 450, 323, 2061, -1},
{ 451, 324, 1067, -1},
{ 452, 325, 2061, -1},
{ 453, 326, 452, -1},
{ 454, 327, 2061, -1},
{ 455, 328, 1067, -1},
{ 456, 0, 0, -1},
{ 457, 329, 2061, -1},
{ 458, 330, 452, -1},
{ 459, 331, 2061, -1},
{ 460, 332, 1067, -1},
{ 461, 333, 2061, -1},
{ 462, 334, 452, -1},
{ 463, 335, 2061, -1},
{ 464, 336, 1067, -1},
{ 465, 337, 2061, -1},
{ 466, 338, 452, -1},
{ 467, 339, 2061, -1},
{ 468, 340, 1067, -1},
{ 469, 341, 2061, -1},
{ 470, 342, 452, -1},
{ 471, 343, 2061, -1},
{ 472, 344, 1067, -1},
{ 473, 345, 2061, -1},
{ 474, 346, 452, -1},
{ 475, 347, 2061, -1},
{ 476, 348, 1067, -1},
{ 477, 349, 2061, -1},
{ 478, 350, 452, -1},
{ 479, 351, 2061, -1},
{ 482, 352, 588, -1},
{ 483, 353, 447, -1},
{ 484, 354, 588, -1},
{ 485, 355, 447, -1},
{ 486, 356, 588, -1},
{ 487, 357, 452, -1},
{ 488, 358, 588, -1},
{ 489, 359, 455, -1},
{ 490, 360, 588, -1},
{ 491, 361, 456, -1},
{ 492, 362, 588, -1},
{ 493, 363, 457, -1},
{ 494, 364, 588, -1},
{ 495, 365, 458, -1},
{ 496, 366, 588, -1},
{ 497, 367, 459, -1},
{ 523, 368, 2072, -1},
{ 524, 369, 1067, -1},
{ 525, 370, 925, -1},
{ 526, 371, 211, -1},
{ 527, 372, 897, -1},
{ 528, 373, 337, -1},
{ 529, 374, 1067, -1},
{ 530, 375, 703, -1},
{ 531, 376, 586, -1},
{ 532, 377, 586, -1},
{ 533, 378, 586, -1},
{ 534, 379, 1663, -1},
{ 535, 380, 1230, -1},
{ 536, 381, 1034, -1},
{ 537, 382, 1042, -1},
{ 538, 383, 481, -1},
{ 539, 384, 925, -1},
{ 540, 385, 925, -1},
{ 541, 386, 2050, -1},
{ 542, 387, 940, -1},
{ 543, 388, 940, -1},
{ 544, 389, 940, -1},
{ 545, 390, 541, -1},
{ 546, 391, 884, -1},
{ 547, 392, 650, -1},
{ 548, 393, 586, -1},
{ 549, 394, 650, -1},
{ 550, 395, 1020, -1},
{ 551, 396, 589, -1},
{ 552, 397, 586, -1},
{ 553, 398, 1042, -1},
{ 554, 399, 703, -1},
{ 555, 400, 1042, -1},
{ 556, 401, 847, -1},
{ 557, 402, 589, -1},
{ 558, 403, 1042, -1},
{ 559, 404, 2072, -1},
{ 560, 405, 1042, -1},
{ 561, 406, 417, -1},
{ 562, 407, 55, -1},
{ 563, 408, 414, -1},
{ 564, 409, 271, -1},
{ 565, 410, 152, -1},
{ 566, 411, 1034, -1},
{ 567, 412, 2057, -1},
{ 568, 413, 589, -1},
{ 576, 414, 1067, -1},
{ 577, 415, 589, -1},
{ 578, 416, 1067, -1},
{ 579, 417, 481, -1},
{ 580, 418, 1067, -1},
{ 581, 419, 1067, -1},
{ 582, 420, 1067, -1},
{ 583, 421, 703, -1},
{ 584, 422, 1042, -1},
{ 585, 423, 1042, -1},
{ 586, 424, 414, -1},
{ 588, 425, 581, 13},
{ 589, 426, 978, 14},
{ 590, 427, 581, 15},
{ 591, 428, 979, 16},
{ 592, 429, 581, 17},
{ 593, 430, 980, 18},
{ 594, 431, 581, 19},
{ 595, 432, 981, 20},
{ 597, 433, 581, 21},
{ 598, 434, 1020, 22},
{ 599, 435, 925, 23},
{ 600, 436, 1020, 24},
{ 601, 437, 581, 25},
{ 602, 438, 1034, 26},
{ 603, 439, 925, 27},
{ 604, 440, 1020, 28},
{ 605, 441, 581, 29},
{ 606, 442, 1042, 30},
{ 607, 443, 925, 31},
{ 608, 444, 1020, 32},
{ 609, 445, 581, 33},
{ 610, 446, 1068, 34},
{ 611, 447, 925, 35},
{ 612, 448, 1020, 36},
{ 614, 449, 588, -1},
{ 615, 450, 847, -1},
{ 617, 451, 588, -1},
{ 618, 452, 847, -1},
{ 620, 453, 1067, -1},
{ 621, 454, 409, -1},
{ 622, 455, 795, -1},
{ 623, 456, 1067, -1},
{ 624, 457, 417, -1},
{ 625, 458, 802, -1},
{ 628, 459, 925, -1},
{ 629, 460, 1020, -1},
{ 630, 461, 1067, -1},
{ 631, 462, 1042, -1},
{ 632, 463, 1028, -1},
{ 633, 464, 1042, -1},
{ 634, 465, 1042, -1},
{ 650, 466, 1067, -1},
{ 651, 467, 925, -1},
{ 652, 468, 918, -1},
{ 653, 469, 548, -1},
{ 654, 470, 592, -1},
{ 655, 471, 506, -1},
{ 656, 472, 1067, -1},
{ 657, 473, 665, -1},
{ 658, 474, 586, -1},
{ 659, 475, 777, -1},
{ 660, 476, 592, -1},
{ 661, 477, 795, -1},
{ 662, 478, 1842, -1},
{ 663, 479, 925, -1},
{ 664, 480, 665, -1},
{ 665, 481, 1067, -1},
{ 666, 482, 532, -1},
{ 667, 483, 881, -1},
{ 668, 484, 647, -1},
{ 669, 485, 586, -1},
{ 670, 486, 647, -1},
{ 671, 487, 1020, -1},
{ 672, 488, 1042, -1},
{ 673, 489, 586, -1},
{ 674, 490, 1042, -1},
{ 675, 491, 703, -1},
{ 676, 492, 1042, -1},
{ 677, 493, 847, -1},
{ 678, 494, 589, -1},
{ 679, 495, 1042, -1},
{ 680, 496, 398, -1},
{ 681, 497, 397, -1},
{ 682, 498, 257, -1},
{ 683, 499, 1034, -1},
{ 684, 500, 841, -1},
{ 685, 501, 506, -1},
{ 686, 502, 1067, -1},
{ 687, 503, 925, -1},
{ 688, 504, 918, -1},
{ 689, 505, 548, -1},
{ 690, 506, 592, -1},
{ 691, 507, 548, -1},
{ 692, 508, 1067, -1},
{ 693, 509, 693, -1},
{ 694, 510, 586, -1},
{ 695, 511, 795, -1},
{ 696, 512, 592, -1},
{ 697, 513, 795, -1},
{ 698, 514, 1842, -1},
{ 699, 515, 925, -1},
{ 700, 516, 693, -1},
{ 701, 517, 1067, -1},
{ 702, 518, 532, -1},
{ 703, 519, 882, -1},
{ 704, 520, 648, -1},
{ 705, 521, 586, -1},
{ 706, 522, 648, -1},
{ 707, 523, 1020, -1},
{ 708, 524, 1042, -1},
{ 709, 525, 586, -1},
{ 710, 526, 1042, -1},
{ 711, 527, 703, -1},
{ 712, 528, 1042, -1},
{ 713, 529, 847, -1},
{ 714, 530, 589, -1},
{ 715, 531, 1042, -1},
{ 716, 532, 411, -1},
{ 717, 533, 406, -1},
{ 718, 534, 265, -1},
{ 719, 535, 1034, -1},
{ 720, 536, 845, -1},
{ 721, 537, 548, -1},
{ 722, 538, 1067, -1},
{ 723, 539, 925, -1},
{ 724, 540, 918, -1},
{ 725, 541, 548, -1},
{ 726, 542, 592, -1},
{ 727, 543, 586, -1},
{ 728, 544, 1067, -1},
{ 729, 545, 703, -1},
{ 730, 546, 586, -1},
{ 731, 547, 802, -1},
{ 732, 548, 592, -1},
{ 733, 549, 795, -1},
{ 734, 550, 1842, -1},
{ 735, 551, 925, -1},
{ 736, 552, 703, -1},
{ 737, 553, 1067, -1},
{ 738, 554, 532, -1},
{ 739, 555, 883, -1},
{ 740, 556, 649, -1},
{ 741, 557, 586, -1},
{ 742, 558, 649, -1},
{ 743, 559, 1020, -1},
{ 744, 560, 1042, -1},
{ 745, 561, 586, -1},
{ 746, 562, 1042, -1},
{ 747, 563, 703, -1},
{ 748, 564, 1042, -1},
{ 749, 565, 847, -1},
{ 750, 566, 589, -1},
{ 751, 567, 1042, -1},
{ 752, 568, 416, -1},
{ 753, 569, 414, -1},
{ 754, 570, 272, -1},
{ 755, 571, 1034, -1},
{ 756, 572, 802, -1},
{ 757, 573, 586, -1},
{ 758, 574, 1067, -1},
{ 759, 575, 925, -1},
{ 760, 576, 918, -1},
{ 761, 577, 548, -1},
{ 762, 578, 592, -1},
{ 763, 579, 589, -1},
{ 764, 580, 1067, -1},
{ 765, 581, 703, -1},
{ 766, 582, 586, -1},
{ 767, 583, 802, -1},
{ 768, 584, 592, -1},
{ 769, 585, 795, -1},
{ 770, 586, 1842, -1},
{ 771, 587, 925, -1},
{ 772, 588, 703, -1},
{ 773, 589, 1067, -1},
{ 774, 590, 532, -1},
{ 775, 591, 884, -1},
{ 776, 592, 650, -1},
{ 777, 593, 586, -1},
{ 778, 594, 650, -1},
{ 779, 595, 1020, -1},
{ 780, 596, 1042, -1},
{ 781, 597, 586, -1},
{ 782, 598, 1042, -1},
{ 783, 599, 703, -1},
{ 784, 600, 1042, -1},
{ 785, 601, 847, -1},
{ 786, 602, 589, -1},
{ 787, 603, 1042, -1},
{ 788, 604, 417, -1},
{ 789, 605, 414, -1},
{ 790, 606, 273, -1},
{ 791, 607, 1034, -1},
{ 792, 608, 847, -1},
{ 793, 609, 589, -1},
{ 794, 610, 1067, -1},
{ 795, 611, 925, -1},
{ 796, 612, 918, -1},
{ 797, 613, 548, -1},
{ 798, 614, 592, -1},
{ 799, 615, 590, -1},
{ 800, 616, 1067, -1},
{ 801, 617, 703, -1},
{ 802, 618, 586, -1},
{ 803, 619, 802, -1},
{ 804, 620, 592, -1},
{ 805, 621, 795, -1},
{ 806, 622, 1842, -1},
{ 807, 623, 925, -1},
{ 808, 624, 703, -1},
{ 809, 625, 1067, -1},
{ 810, 626, 532, -1},
{ 811, 627, 885, -1},
{ 812, 628, 651, -1},
{ 813, 629, 586, -1},
{ 814, 630, 651, -1},
{ 815, 631, 1020, -1},
{ 816, 632, 1042, -1},
{ 817, 633, 586, -1},
{ 818, 634, 1042, -1},
{ 819, 635, 703, -1},
{ 820, 636, 1042, -1},
{ 821, 637, 847, -1},
{ 822, 638, 589, -1},
{ 823, 639, 1042, -1},
{ 824, 640, 418, -1},
{ 825, 641, 414, -1},
{ 826, 642, 276, -1},
{ 827, 643, 1034, -1},
{ 828, 644, 857, -1},
{ 829, 645, 590, -1},
{ 830, 646, 1067, -1},
{ 831, 647, 925, -1},
{ 832, 648, 918, -1},
{ 833, 649, 548, -1},
{ 834, 650, 592, -1},
{ 835, 651, 606, -1},
{ 836, 652, 1067, -1},
{ 837, 653, 736, -1},
{ 838, 654, 586, -1},
{ 839, 655, 822, -1},
{ 840, 656, 592, -1},
{ 841, 657, 795, -1},
{ 842, 658, 1842, -1},
{ 843, 659, 925, -1},
{ 844, 660, 736, -1},
{ 845, 661, 1067, -1},
{ 846, 662, 532, -1},
{ 847, 663, 886, -1},
{ 848, 664, 652, -1},
{ 849, 665, 586, -1},
{ 850, 666, 652, -1},
{ 851, 667, 1020, -1},
{ 852, 668, 1042, -1},
{ 853, 669, 586, -1},
{ 854, 670, 1042, -1},
{ 855, 671, 703, -1},
{ 856, 672, 1042, -1},
{ 857, 673, 847, -1},
{ 858, 674, 589, -1},
{ 859, 675, 1042, -1},
{ 860, 676, 429, -1},
{ 861, 677, 428, -1},
{ 862, 678, 278, -1},
{ 863, 679, 1034, -1},
{ 864, 680, 851, -1},
{ 865, 681, 606, -1},
{ 866, 682, 2072, -1},
{ 867, 683, 2072, -1},
{ 868, 684, 2072, -1},
{ 869, 685, 2072, -1},
{ 870, 686, 2072, -1},
{ 871, 687, 2072, -1},
{ 872, 688, 2072, -1},
{ 873, 689, 2072, -1},
{ 874, 690, 2072, -1},
{ 875, 691, 2072, -1},
{ 878, 692, 2072, -1},
{ 879, 693, 1067, -1},
{ 880, 694, 1067, -1},
{ 881, 695, 1020, -1},
{ 882, 696, 1067, -1},
{ 883, 697, 1042, -1},
{ 884, 698, 982, -1},
{ 885, 699, 2072, -1},
{ 886, 700, 1067, -1},
{ 887, 701, 1067, -1},
{ 888, 702, 1020, -1},
{ 889, 703, 1067, -1},
{ 890, 704, 1042, -1},
{ 891, 705, 983, -1},
{ 892, 706, 2072, -1},
{ 893, 707, 1067, -1},
{ 894, 708, 1067, -1},
{ 895, 709, 1020, -1},
{ 896, 710, 1067, -1},
{ 897, 711, 1042, -1},
{ 898, 712, 984, -1},
{ 899, 713, 2072, -1},
{ 900, 714, 1067, -1},
{ 901, 715, 1067, -1},
{ 902, 716, 1020, -1},
{ 903, 717, 1067, -1},
{ 904, 718, 1042, -1},
{ 905, 719, 985, -1},
{ 906, 720, 2072, -1},
{ 907, 721, 1067, -1},
{ 908, 722, 1067, -1},
{ 909, 723, 1020, -1},
{ 910, 724, 1067, -1},
{ 911, 725, 1042, -1},
{ 912, 726, 986, -1},
{ 913, 727, 2072, -1},
{ 914, 728, 1067, -1},
{ 915, 729, 1067, -1},
{ 916, 730, 1020, -1},
{ 917, 731, 1067, -1},
{ 918, 732, 1042, -1},
{ 919, 733, 987, -1},
{ 920, 734, 2072, -1},
{ 921, 735, 1067, -1},
{ 922, 736, 1067, -1},
{ 923, 737, 1020, -1},
{ 924, 738, 1067, -1},
{ 925, 739, 1042, -1},
{ 926, 740, 1000, -1},
{ 927, 741, 2072, -1},
{ 928, 742, 1067, -1},
{ 929, 743, 1067, -1},
{ 930, 744, 1020, -1},
{ 931, 745, 1067, -1},
{ 932, 746, 1042, -1},
{ 933, 747, 1001, -1},
{ 934, 748, 2072, -1},
{ 935, 749, 1067, -1},
{ 936, 750, 1067, -1},
{ 937, 751, 1020, -1},
{ 938, 752, 1067, -1},
{ 939, 753, 1042, -1},
{ 940, 754, 1002, -1},
{ 941, 755, 2072, -1},
{ 942, 756, 1067, -1},
{ 943, 757, 1067, -1},
{ 944, 758, 1020, -1},
{ 945, 759, 1067, -1},
{ 946, 760, 1042, -1},
{ 947, 761, 1003, -1},
{ 948, 762, 2072, -1},
{ 949, 763, 1067, -1},
{ 950, 764, 1067, -1},
{ 951, 765, 1020, -1},
{ 952, 766, 1067, -1},
{ 953, 767, 1042, -1},
{ 954, 768, 1004, -1},
{ 955, 769, 2072, -1},
{ 956, 770, 1067, -1},
{ 957, 771, 1067, -1},
{ 958, 772, 1020, -1},
{ 959, 773, 1067, -1},
{ 960, 774, 1042, -1},
{ 961, 775, 1005, -1},
{ 962, 776, 2072, -1},
{ 963, 777, 1067, -1},
{ 964, 778, 1067, -1},
{ 965, 779, 1020, -1},
{ 966, 780, 1067, -1},
{ 967, 781, 1042, -1},
{ 968, 782, 1017, -1},
{ 969, 783, 2072, -1},
{ 970, 784, 1067, -1},
{ 971, 785, 1067, -1},
{ 972, 786, 1020, -1},
{ 973, 787, 1067, -1},
{ 974, 788, 1042, -1},
{ 975, 789, 1019, -1},
{ 976, 790, 2072, -1},
{ 977, 791, 1067, -1},
{ 978, 792, 1067, -1},
{ 979, 793, 1020, -1},
{ 980, 794, 1067, -1},
{ 981, 795, 1042, -1},
{ 982, 796, 1020, -1},
{ 983, 797, 2072, -1},
{ 984, 798, 1067, -1},
{ 985, 799, 1067, -1},
{ 986, 800, 1020, -1},
{ 987, 801, 1067, -1},
{ 988, 802, 1042, -1},
{ 989, 803, 1020, -1},
{ 990, 804, 2072, -1},
{ 991, 805, 1067, -1},
{ 992, 806, 1067, -1},
{ 993, 807, 1020, -1},
{ 994, 808, 1067, -1},
{ 995, 809, 1042, -1},
{ 996, 810, 1063, -1},
{ 997, 811, 2072, -1},
{ 998, 812, 1067, -1},
{ 999, 813, 1067, -1},
{ 1000, 814, 1020, -1},
{ 1001, 815, 1067, -1},
{ 1002, 816, 1042, -1},
{ 1003, 817, 1023, -1},
{ 1004, 818, 2072, -1},
{ 1005, 819, 1067, -1},
{ 1006, 820, 1067, -1},
{ 1007, 821, 1020, -1},
{ 1008, 822, 1067, -1},
{ 1009, 823, 1042, -1},
{ 1010, 824, 1024, -1},
{ 1011, 825, 2072, -1},
{ 1012, 826, 1067, -1},
{ 1013, 827, 1067, -1},
{ 1014, 828, 1020, -1},
{ 1015, 829, 1067, -1},
{ 1016, 830, 1042, -1},
{ 1017, 831, 1026, -1},
{ 1018, 832, 2072, -1},
{ 1019, 833, 1067, -1},
{ 1020, 834, 1067, -1},
{ 1021, 835, 1020, -1},
{ 1022, 836, 1067, -1},
{ 1023, 837, 1042, -1},
{ 1024, 838, 1027, -1},
{ 1025, 839, 2072, -1},
{ 1026, 840, 1067, -1},
{ 1027, 841, 1067, -1},
{ 1028, 842, 1020, -1},
{ 1029, 843, 1067, -1},
{ 1030, 844, 1042, -1},
{ 1031, 845, 1028, -1},
{ 1032, 846, 2072, -1},
{ 1033, 847, 1067, -1},
{ 1034, 848, 1067, -1},
{ 1035, 849, 1020, -1},
{ 1036, 850, 1067, -1},
{ 1037, 851, 1042, -1},
{ 1038, 852, 1029, -1},
{ 1039, 853, 2072, -1},
{ 1040, 854, 1067, -1},
{ 1041, 855, 1067, -1},
{ 1042, 856, 1020, -1},
{ 1043, 857, 1067, -1},
{ 1044, 858, 1042, -1},
{ 1045, 859, 1031, -1},
{ 1046, 860, 2072, -1},
{ 1047, 861, 1067, -1},
{ 1048, 862, 1067, -1},
{ 1049, 863, 1020, -1},
{ 1050, 864, 1067, -1},
{ 1051, 865, 1042, -1},
{ 1052, 866, 1033, -1},
{ 1053, 867, 2072, -1},
{ 1054, 868, 1067, -1},
{ 1055, 869, 1067, -1},
{ 1056, 870, 1020, -1},
{ 1057, 871, 1067, -1},
{ 1058, 872, 1042, -1},
{ 1059, 873, 1034, -1},
{ 1060, 874, 2072, -1},
{ 1061, 875, 1067, -1},
{ 1062, 876, 1067, -1},
{ 1063, 877, 1020, -1},
{ 1064, 878, 1067, -1},
{ 1065, 879, 1042, -1},
{ 1066, 880, 1034, -1},
{ 1067, 881, 2072, -1},
{ 1068, 882, 1067, -1},
{ 1069, 883, 1067, -1},
{ 1070, 884, 1020, -1},
{ 1071, 885, 1067, -1},
{ 1072, 886, 1042, -1},
{ 1073, 887, 1035, -1},
{ 1074, 888, 2072, -1},
{ 1075, 889, 1067, -1},
{ 1076, 890, 1067, -1},
{ 1077, 891, 1020, -1},
{ 1078, 892, 1067, -1},
{ 1079, 893, 1042, -1},
{ 1080, 894, 1036, -1},
{ 1081, 895, 2072, -1},
{ 1082, 896, 1067, -1},
{ 1083, 897, 1067, -1},
{ 1084, 898, 1020, -1},
{ 1085, 899, 1067, -1},
{ 1086, 900, 1042, -1},
{ 1087, 901, 1037, -1},
{ 1088, 902, 2072, -1},
{ 1089, 903, 1067, -1},
{ 1090, 904, 1067, -1},
{ 1091, 905, 1020, -1},
{ 1092, 906, 1067, -1},
{ 1093, 907, 1042, -1},
{ 1094, 908, 1038, -1},
{ 1095, 909, 2072, -1},
{ 1096, 910, 1067, -1},
{ 1097, 911, 1067, -1},
{ 1098, 912, 1020, -1},
{ 1099, 913, 1067, -1},
{ 1100, 914, 1042, -1},
{ 1101, 915, 1039, -1},
{ 1102, 916, 2072, -1},
{ 1103, 917, 1067, -1},
{ 1104, 918, 1067, -1},
{ 1105, 919, 1020, -1},
{ 1106, 920, 1067, -1},
{ 1107, 921, 1042, -1},
{ 1108, 922, 1041, -1},
{ 1109, 923, 2072, -1},
{ 1110, 924, 1067, -1},
{ 1111, 925, 1067, -1},
{ 1112, 926, 1020, -1},
{ 1113, 927, 1067, -1},
{ 1114, 928, 1042, -1},
{ 1115, 929, 1042, -1},
{ 1116, 930, 2072, -1},
{ 1117, 931, 1067, -1},
{ 1118, 932, 1067, -1},
{ 1119, 933, 1020, -1},
{ 1120, 934, 1067, -1},
{ 1121, 935, 1042, -1},
{ 1122, 936, 1043, -1},
{ 1123, 937, 2072, -1},
{ 1124, 938, 1067, -1},
{ 1125, 939, 1067, -1},
{ 1126, 940, 1020, -1},
{ 1127, 941, 1067, -1},
{ 1128, 942, 1042, -1},
{ 1129, 943, 1044, -1},
{ 1130, 944, 2072, -1},
{ 1131, 945, 1067, -1},
{ 1132, 946, 1067, -1},
{ 1133, 947, 1020, -1},
{ 1134, 948, 1067, -1},
{ 1135, 949, 1042, -1},
{ 1136, 950, 1045, -1},
{ 1137, 951, 2072, -1},
{ 1138, 952, 1067, -1},
{ 1139, 953, 1067, -1},
{ 1140, 954, 1020, -1},
{ 1141, 955, 1067, -1},
{ 1142, 956, 1042, -1},
{ 1143, 957, 1048, -1},
{ 1144, 958, 2072, -1},
{ 1145, 959, 1067, -1},
{ 1146, 960, 1067, -1},
{ 1147, 961, 1020, -1},
{ 1148, 962, 1067, -1},
{ 1149, 963, 1042, -1},
{ 1150, 964, 1053, -1},
{ 1151, 965, 2072, -1},
{ 1152, 966, 1067, -1},
{ 1153, 967, 1067, -1},
{ 1154, 968, 1020, -1},
{ 1155, 969, 1067, -1},
{ 1156, 970, 1042, -1},
{ 1157, 971, 1058, -1},
{ 1158, 972, 2072, -1},
{ 1159, 973, 1067, -1},
{ 1160, 974, 1067, -1},
{ 1161, 975, 1020, -1},
{ 1162, 976, 1067, -1},
{ 1163, 977, 1042, -1},
{ 1164, 978, 1058, -1},
{ 1165, 979, 2072, -1},
{ 1166, 980, 1067, -1},
{ 1167, 981, 1067, -1},
{ 1168, 982, 1020, -1},
{ 1169, 983, 1067, -1},
{ 1170, 984, 1042, -1},
{ 1171, 985, 1061, -1},
{ 1172, 986, 2072, -1},
{ 1173, 987, 1067, -1},
{ 1174, 988, 1067, -1},
{ 1175, 989, 1020, -1},
{ 1176, 990, 1067, -1},
{ 1177, 991, 1042, -1},
{ 1178, 992, 1062, -1},
{ 1179, 993, 2072, -1},
{ 1180, 994, 1067, -1},
{ 1181, 995, 1067, -1},
{ 1182, 996, 1020, -1},
{ 1183, 997, 1067, -1},
{ 1184, 998, 1042, -1},
{ 1185, 999, 1063, -1},
{ 1186, 1000, 2072, -1},
{ 1187, 1001, 1067, -1},
{ 1188, 1002, 1067, -1},
{ 1189, 1003, 1020, -1},
{ 1190, 1004, 1067, -1},
{ 1191, 1005, 1042, -1},
{ 1192, 1006, 1063, -1},
{ 1193, 1007, 2072, -1},
{ 1194, 1008, 1067, -1},
{ 1195, 1009, 1067, -1},
{ 1196, 1010, 1020, -1},
{ 1197, 1011, 1067, -1},
{ 1198, 1012, 1042, -1},
{ 1199, 1013, 1064, -1},
{ 1200, 1014, 2072, -1},
{ 1201, 1015, 1067, -1},
{ 1202, 1016, 1067, -1},
{ 1203, 1017, 1020, -1},
{ 1204, 1018, 1067, -1},
{ 1205, 1019, 1042, -1},
{ 1206, 1020, 1065, -1},
{ 1207, 1021, 2072, -1},
{ 1208, 1022, 1067, -1},
{ 1209, 1023, 1067, -1},
{ 1210, 1024, 1020, -1},
{ 1211, 1025, 1067, -1},
{ 1212, 1026, 1042, -1},
{ 1213, 1027, 1069, -1},
{ 1214, 1028, 2072, -1},
{ 1215, 1029, 1067, -1},
{ 1216, 1030, 1067, -1},
{ 1217, 1031, 1020, -1},
{ 1218, 1032, 1067, -1},
{ 1219, 1033, 1042, -1},
{ 1220, 1034, 1070, -1},
{ 1221, 1035, 2072, -1},
{ 1222, 1036, 1067, -1},
{ 1223, 1037, 1067, -1},
{ 1224, 1038, 1020, -1},
{ 1225, 1039, 1067, -1},
{ 1226, 1040, 1042, -1},
{ 1227, 1041, 1071, -1},
{ 1228, 1042, 2072, -1},
{ 1229, 1043, 1067, -1},
{ 1230, 1044, 1067, -1},
{ 1231, 1045, 1020, -1},
{ 1232, 1046, 1067, -1},
{ 1233, 1047, 1042, -1},
{ 1234, 1048, 1072, -1},
{ 1235, 1049, 2072, -1},
{ 1236, 1050, 1067, -1},
{ 1237, 1051, 1067, -1},
{ 1238, 1052, 1020, -1},
{ 1239, 1053, 1067, -1},
{ 1240, 1054, 1042, -1},
{ 1241, 1055, 1075, -1},
{ 1242, 1056, 2072, -1},
{ 1243, 1057, 1067, -1},
{ 1244, 1058, 1067, -1},
{ 1245, 1059, 1020, -1},
{ 1246, 1060, 1067, -1},
{ 1247, 1061, 1042, -1},
{ 1248, 1062, 1076, -1},
{ 1249, 1063, 2072, -1},
{ 1250, 1064, 1067, -1},
{ 1251, 1065, 1067, -1},
{ 1252, 1066, 1020, -1},
{ 1253, 1067, 1067, -1},
{ 1254, 1068, 1042, -1},
{ 1255, 1069, 1078, -1},
{ 1256, 1070, 2072, -1},
{ 1257, 1071, 1067, -1},
{ 1258, 1072, 1067, -1},
{ 1259, 1073, 1020, -1},
{ 1260, 1074, 1067, -1},
{ 1261, 1075, 1042, -1},
{ 1262, 1076, 1079, -1},
{ 1263, 1077, 2072, -1},
{ 1264, 1078, 1067, -1},
{ 1265, 1079, 1067, -1},
{ 1266, 1080, 1020, -1},
{ 1267, 1081, 1067, -1},
{ 1268, 1082, 1042, -1},
{ 1269, 1083, 1080, -1},
{ 1270, 1084, 2072, -1},
{ 1271, 1085, 1067, -1},
{ 1272, 1086, 1067, -1},
{ 1273, 1087, 1020, -1},
{ 1274, 1088, 1067, -1},
{ 1275, 1089, 1042, -1},
{ 1276, 1090, 1081, -1},
{ 1277, 1091, 2072, -1},
{ 1278, 1092, 1067, -1},
{ 1279, 1093, 1067, -1},
{ 1280, 1094, 1020, -1},
{ 1281, 1095, 1067, -1},
{ 1282, 1096, 1042, -1},
{ 1283, 1097, 1084, -1},
{ 1284, 1098, 2072, -1},
{ 1285, 1099, 1067, -1},
{ 1286, 1100, 1067, -1},
{ 1287, 1101, 1020, -1},
{ 1288, 1102, 1067, -1},
{ 1289, 1103, 1042, -1},
{ 1290, 1104, 1086, -1},
{ 1291, 1105, 2072, -1},
{ 1292, 1106, 1067, -1},
{ 1293, 1107, 1067, -1},
{ 1294, 1108, 1020, -1},
{ 1295, 1109, 1067, -1},
{ 1296, 1110, 1042, -1},
{ 1297, 1111, 1087, -1},
{ 1298, 1112, 2072, -1},
{ 1299, 1113, 1067, -1},
{ 1300, 1114, 1067, -1},
{ 1301, 1115, 1020, -1},
{ 1302, 1116, 1067, -1},
{ 1303, 1117, 1042, -1},
{ 1304, 1118, 1088, -1},
{ 1306, 1119, 1067, -1},
{ 1307, 1120, 1067, -1},
{ 1318, 1121, 1067, -1},
{ 1319, 1122, 592, -1},
{ 1320, 1123, 703, -1},
{ 1321, 1124, 409, -1},
{ 1322, 1125, 1034, -1},
{ 1323, 1126, 795, -1},
{ 1324, 1127, 592, -1},
{ 1335, 1128, 897, 37},
{ 1336, 1129, 1067, 38},
{ 1337, 1130, 1020, 39},
{ 1338, 1131, 1067, 40},
{ 1339, 1132, 1042, 41},
{ 1340, 1133, 1019, 42},
{ 1341, 1134, 897, 43},
{ 1342, 1135, 1067, 44},
{ 1343, 1136, 1020, 45},
{ 1344, 1137, 1067, 46},
{ 1345, 1138, 1042, 47},
{ 1346, 1139, 1020, 48},
{ 1347, 1140, 925, 49},
{ 1348, 1141, 1067, 50},
{ 1349, 1142, 1020, 51},
{ 1350, 1143, 1020, 52},
{ 1351, 1144, 1067, 53},
{ 1352, 1145, 1042, 54},
{ 1353, 1146, 1034, 55},
{ 1354, 1147, 897, 56},
{ 1355, 1148, 1067, 57},
{ 1356, 1149, 1020, 58},
{ 1357, 1150, 1067, 59},
{ 1358, 1151, 1042, 60},
{ 1359, 1152, 1034, 61},
{ 1360, 1153, 925, 62},
{ 1361, 1154, 1067, 63},
{ 1362, 1155, 1020, 64},
{ 1363, 1156, 1020, 65},
{ 1364, 1157, 1067, 66},
{ 1365, 1158, 1042, 67},
{ 1366, 1159, 1034, 68},
{ 1367, 1160, 897, 69},
{ 1368, 1161, 1067, 70},
{ 1369, 1162, 1020, 71},
{ 1370, 1163, 1067, 72},
{ 1371, 1164, 1042, 73},
{ 1372, 1165, 1041, 74},
{ 1373, 1166, 925, 75},
{ 1374, 1167, 1067, 76},
{ 1375, 1168, 1020, 77},
{ 1376, 1169, 1020, 78},
{ 1377, 1170, 1067, 79},
{ 1378, 1171, 1042, 80},
{ 1379, 1172, 1042, 81},
{ 1380, 1173, 925, 82},
{ 1381, 1174, 1067, 83},
{ 1382, 1175, 1020, 84},
{ 1383, 1176, 1020, 85},
{ 1384, 1177, 1067, 86},
{ 1385, 1178, 1042, 87},
{ 1386, 1179, 1042, 88},
{ 1387, 1180, 897, 89},
{ 1388, 1181, 1067, 90},
{ 1389, 1182, 1020, 91},
{ 1390, 1183, 1067, 92},
{ 1391, 1184, 1042, 93},
{ 1392, 1185, 1044, 94},
{ 1393, 1186, 925, 95},
{ 1394, 1187, 1067, 96},
{ 1395, 1188, 1020, 97},
{ 1396, 1189, 1020, 98},
{ 1397, 1190, 1067, 99},
{ 1398, 1191, 1042, 100},
{ 1399, 1192, 1070, 101},
{ 1400, 1193, 925, 102},
{ 1401, 1194, 1067, 103},
{ 1402, 1195, 1020, 104},
{ 1403, 1196, 1020, 105},
{ 1404, 1197, 1067, 106},
{ 1405, 1198, 1042, 107},
{ 1406, 1199, 1071, 108},
{ 1407, 1200, 925, 109},
{ 1408, 1201, 1067, 110},
{ 1409, 1202, 1020, 111},
{ 1410, 1203, 1020, 112},
{ 1411, 1204, 1067, 113},
{ 1412, 1205, 1042, 114},
{ 1413, 1206, 1081, 115},
{ 1414, 1207, 925, 116},
{ 1415, 1208, 1067, 117},
{ 1416, 1209, 1020, 118},
{ 1417, 1210, 1020, 119},
{ 1418, 1211, 1067, 120},
{ 1419, 1212, 1042, 121},
{ 1420, 1213, 1087, 122},
{ 1425, 1214, 586, 123},
{ 1426, 1215, 1067, 124},
{ 1427, 1216, 1020, 125},
{ 1428, 1217, 1028, 126},
{ 1429, 1218, 1042, 127},
{ 1430, 1219, 1042, 128},
{ 1431, 1220, 1067, 129},
{ 1432, 1221, 1042, 130},
{ 1433, 1222, 1000, 131},
{ 1434, 1223, 586, 132},
{ 1435, 1224, 1067, 133},
{ 1436, 1225, 1020, 134},
{ 1437, 1226, 1028, 135},
{ 1438, 1227, 1042, 136},
{ 1439, 1228, 1042, 137},
{ 1440, 1229, 1067, 138},
{ 1441, 1230, 1042, 139},
{ 1442, 1231, 1001, 140},
{ 1443, 1232, 586, 141},
{ 1444, 1233, 1067, 142},
{ 1445, 1234, 1020, 143},
{ 1446, 1235, 1028, 144},
{ 1447, 1236, 1042, 145},
{ 1448, 1237, 1042, 146},
{ 1449, 1238, 1067, 147},
{ 1450, 1239, 1042, 148},
{ 1451, 1240, 1002, 149},
{ 1452, 1241, 925, -1},
{ 1453, 1242, 1067, -1},
{ 1454, 1243, 1067, -1},
{ 1455, 1244, 1020, -1},
{ 1456, 1245, 1067, -1},
{ 1457, 1246, 1042, -1},
{ 1458, 1247, 1003, -1},
{ 1459, 1248, 586, 150},
{ 1460, 1249, 1067, 151},
{ 1461, 1250, 1020, 152},
{ 1462, 1251, 1028, 153},
{ 1463, 1252, 1042, 154},
{ 1464, 1253, 1042, 155},
{ 1465, 1254, 1067, 156},
{ 1466, 1255, 1042, 157},
{ 1467, 1256, 1003, 158},
{ 1468, 1257, 586, 159},
{ 1469, 1258, 1067, 160},
{ 1470, 1259, 1020, 161},
{ 1471, 1260, 1028, 162},
{ 1472, 1261, 1042, 163},
{ 1473, 1262, 1042, 164},
{ 1474, 1263, 1067, 165},
{ 1475, 1264, 1042, 166},
{ 1476, 1265, 1004, 167},
{ 1477, 1266, 586, 168},
{ 1478, 1267, 1067, 169},
{ 1479, 1268, 1020, 170},
{ 1480, 1269, 1028, 171},
{ 1481, 1270, 1042, 172},
{ 1482, 1271, 1042, 173},
{ 1483, 1272, 1067, 174},
{ 1484, 1273, 1042, 175},
{ 1485, 1274, 1005, 176},
{ 1548, 1275, 1067, -1},
{ 1549, 1276, 2061, -1},
{ 1550, 1277, 161, -1},
{ 1551, 1278, 161, -1},
{ 1552, 1279, 417, -1},
{ 1553, 1280, 802, -1},
{ 1554, 1281, 2061, -1},
{ 1555, 1282, 1067, -1},
{ 1556, 1283, 2061, -1},
{ 1557, 1284, 162, -1},
{ 1558, 1285, 162, -1},
{ 1559, 1286, 417, -1},
{ 1560, 1287, 802, -1},
{ 1561, 1288, 2061, -1},
{ 1562, 1289, 1067, -1},
{ 1563, 1290, 2061, -1},
{ 1564, 1291, 162, -1},
{ 1565, 1292, 162, -1},
{ 1566, 1293, 417, -1},
{ 1567, 1294, 802, -1},
{ 1568, 1295, 2061, -1},
{ 1569, 1296, 1067, -1},
{ 1570, 1297, 2061, -1},
{ 1571, 1298, 165, -1},
{ 1572, 1299, 165, -1},
{ 1573, 1300, 417, -1},
{ 1574, 1301, 802, -1},
{ 1575, 1302, 2061, -1},
{ 1576, 1303, 1067, -1},
{ 1577, 1304, 2061, -1},
{ 1578, 1305, 165, -1},
{ 1579, 1306, 165, -1},
{ 1580, 1307, 417, -1},
{ 1581, 1308, 802, -1},
{ 1582, 1309, 2061, -1},
{ 1583, 1310, 1067, -1},
{ 1584, 1311, 2061, -1},
{ 1585, 1312, 166, -1},
{ 1586, 1313, 166, -1},
{ 1587, 1314, 417, -1},
{ 1588, 1315, 802, -1},
{ 1589, 1316, 2061, -1},
{ 1590, 1317, 1067, -1},
{ 1591, 1318, 2061, -1},
{ 1592, 0, 0, -1},
{ 1593, 0, 0, -1},
{ 1594, 1319, 167, -1},
{ 1595, 1320, 167, -1},
{ 1596, 1321, 417, -1},
{ 1597, 1322, 802, -1},
{ 1598, 1323, 2061, -1},
{ 1599, 1324, 1067, -1},
{ 1600, 1325, 2061, -1},
{ 1601, 1326, 168, -1},
{ 1602, 1327, 168, -1},
{ 1603, 1328, 417, -1},
{ 1604, 1329, 802, -1},
{ 1605, 1330, 2061, -1},
{ 1609, 1331, 1067, -1},
{ 1610, 1332, 2061, -1},
{ 1611, 1333, 170, -1},
{ 1612, 1334, 170, -1},
{ 1613, 1335, 417, -1},
{ 1614, 1336, 802, -1},
{ 1615, 1337, 2061, -1},
{ 1616, 1338, 1067, -1},
{ 1617, 1339, 2061, -1},
{ 1618, 1340, 171, -1},
{ 1619, 1341, 171, -1},
{ 1620, 1342, 417, -1},
{ 1621, 1343, 802, -1},
{ 1622, 1344, 2061, -1},
{ 1623, 1345, 1067, -1},
{ 1624, 1346, 2061, -1},
{ 1625, 1347, 172, -1},
{ 1626, 1348, 172, -1},
{ 1627, 1349, 417, -1},
{ 1628, 1350, 802, -1},
{ 1629, 1351, 2061, -1},
{ 1630, 1352, 1067, -1},
{ 1631, 1353, 2061, -1},
{ 1632, 1354, 173, -1},
{ 1633, 1355, 173, -1},
{ 1634, 1356, 417, -1},
{ 1635, 1357, 802, -1},
{ 1636, 1358, 2061, -1},
{ 1637, 1359, 1067, -1},
{ 1638, 1360, 2061, -1},
{ 1639, 1361, 174, -1},
{ 1640, 1362, 174, -1},
{ 1641, 1363, 417, -1},
{ 1642, 1364, 802, -1},
{ 1643, 1365, 2061, -1},
{ 1644, 1366, 588, -1},
{ 1645, 1367, 589, -1},
{ 1648, 1368, 588, -1},
{ 1649, 1369, 1020, -1},
{ 1650, 1370, 588, -1},
{ 1651, 1371, 1034, -1},
{ 1652, 1372, 588, -1},
{ 1653, 1373, 1042, -1},
{ 1654, 1374, 588, -1},
{ 1655, 1375, 1068, -1},
{ 1666, 1376, 588, -1},
{ 1667, 1377, 837, -1},
{ 1668, 1378, 588, -1},
{ 1669, 1379, 720, -1},
{ 1671, 1380, 588, -1},
{ 1672, 1381, 703, -1},
{ 1673, 1382, 588, -1},
{ 1674, 1383, 802, -1},
{ 1675, 1384, 588, -1},
{ 1676, 1385, 847, -1},
{ 1677, 1386, 588, -1},
{ 1678, 1387, 961, -1},
{ 1679, 1388, 588, -1},
{ 1680, 1389, 481, -1},
{ 1681, 1390, 588, -1},
{ 1682, 1391, 313, -1},
{ 1683, 1392, 588, -1},
{ 1684, 1393, 315, -1},
{ 1685, 1394, 1067, -1},
{ 1686, 1395, 445, -1},
{ 1687, 1396, 703, -1},
{ 1688, 1397, 1034, -1},
{ 1689, 1398, 1067, -1},
{ 1690, 1399, 447, -1},
{ 1691, 1400, 703, -1},
{ 1692, 1401, 1034, -1},
{ 1693, 1402, 1067, -1},
{ 1694, 1403, 452, -1},
{ 1695, 1404, 703, -1},
{ 1696, 1405, 1034, -1},
{ 1697, 1406, 1067, -1},
{ 1698, 1407, 455, -1},
{ 1699, 1408, 703, -1},
{ 1700, 1409, 1034, -1},
{ 1701, 1410, 1067, -1},
{ 1702, 1411, 703, -1},
{ 1703, 1412, 396, -1},
{ 1704, 1413, 1034, -1},
{ 1705, 1414, 777, -1},
{ 1706, 1415, 161, -1},
{ 1707, 1416, 161, -1},
{ 1708, 1417, 1067, -1},
{ 1709, 1418, 703, -1},
{ 1710, 1419, 401, -1},
{ 1711, 1420, 1034, -1},
{ 1712, 1421, 784, -1},
{ 1713, 1422, 162, -1},
{ 1714, 1423, 162, -1},
{ 1715, 1424, 1067, -1},
{ 1716, 1425, 703, -1},
{ 1717, 1426, 401, -1},
{ 1718, 1427, 1034, -1},
{ 1719, 1428, 784, -1},
{ 1720, 1429, 162, -1},
{ 1721, 1430, 162, -1},
{ 1722, 1431, 1067, -1},
{ 1723, 1432, 703, -1},
{ 1724, 1433, 409, -1},
{ 1725, 1434, 1034, -1},
{ 1726, 1435, 795, -1},
{ 1727, 1436, 165, -1},
{ 1728, 1437, 165, -1},
{ 1729, 1438, 1067, -1},
{ 1730, 1439, 703, -1},
{ 1731, 1440, 413, -1},
{ 1732, 1441, 1034, -1},
{ 1733, 1442, 797, -1},
{ 1734, 1443, 166, -1},
{ 1735, 1444, 166, -1},
{ 1736, 1445, 1067, -1},
{ 1737, 1446, 703, -1},
{ 1738, 1447, 417, -1},
{ 1739, 1448, 1034, -1},
{ 1740, 1449, 802, -1},
{ 1741, 1450, 167, -1},
{ 1742, 1451, 167, -1},
{ 1743, 1452, 1067, -1},
{ 1744, 1453, 703, -1},
{ 1745, 1454, 430, -1},
{ 1746, 1455, 1034, -1},
{ 1747, 1456, 822, -1},
{ 1748, 1457, 172, -1},
{ 1749, 1458, 172, -1},
{ 1751, 1459, 588, -1},
{ 1752, 1460, 847, -1},
{ 1761, 0, 0, -1},
{ 1762, 0, 0, -1},
{ 1763, 0, 0, -1},
{ 1764, 0, 0, -1},
{ 1765, 0, 0, -1},
{ 1766, 0, 0, -1},
{ 1767, 0, 0, -1},
{ 1770, 0, 0, -1},
{ 1773, 0, 0, -1},
{ 1775, 0, 0, -1},
{ 1789, 0, 0, -1},
{ 1801, 0, 0, -1},
{ 1809, 0, 0, -1},
{ 1810, 0, 0, -1},
{ 1816, 0, 0, -1},
{ 1819, 0, 0, -1},
{ 1820, 0, 0, -1},
{ 1821, 0, 0, -1},
{ 1822, 0, 0, -1},
{ 1823, 0, 0, -1},
{ 1824, 0, 0, -1},
{ 1826, 0, 0, -1},
{ 1827, 0, 0, -1},
{ 1830, 1461, 925, 177},
{ 1831, 1462, 1067, 178},
{ 1832, 1463, 1020, 179},
{ 1833, 1464, 1067, 180},
{ 1834, 1465, 1042, 181},
{ 1835, 1466, 982, 182},
{ 1836, 1467, 925, 183},
{ 1837, 1468, 1067, 184},
{ 1838, 1469, 1020, 185},
{ 1839, 1470, 1067, 186},
{ 1840, 1471, 1042, 187},
{ 1841, 1472, 983, 188},
{ 1842, 1473, 925, 189},
{ 1843, 1474, 1067, 190},
{ 1844, 1475, 1020, 191},
{ 1845, 1476, 1067, 192},
{ 1846, 1477, 1042, 193},
{ 1847, 1478, 984, 194},
{ 1848, 1479, 925, 195},
{ 1849, 1480, 1067, 196},
{ 1850, 1481, 1020, 197},
{ 1851, 1482, 1067, 198},
{ 1852, 1483, 1042, 199},
{ 1853, 1484, 985, 200},
{ 1854, 1485, 925, 201},
{ 1855, 1486, 1067, 202},
{ 1856, 1487, 1020, 203},
{ 1857, 1488, 1067, 204},
{ 1858, 1489, 1042, 205},
{ 1859, 1490, 986, 206},
{ 1860, 1491, 925, 207},
{ 1861, 1492, 1067, 208},
{ 1862, 1493, 1020, 209},
{ 1863, 1494, 1067, 210},
{ 1864, 1495, 1042, 211},
{ 1865, 1496, 987, 212},
{ 1866, 1497, 925, 213},
{ 1867, 1498, 1067, 214},
{ 1868, 1499, 1020, 215},
{ 1869, 1500, 1067, 216},
{ 1870, 1501, 1042, 217},
{ 1871, 1502, 1000, 218},
{ 1872, 1503, 925, 219},
{ 1873, 1504, 1067, 220},
{ 1874, 1505, 1020, 221},
{ 1875, 1506, 1067, 222},
{ 1876, 1507, 1042, 223},
{ 1877, 1508, 1001, 224},
{ 1878, 1509, 925, 225},
{ 1879, 1510, 1067, 226},
{ 1880, 1511, 1020, 227},
{ 1881, 1512, 1067, 228},
{ 1882, 1513, 1042, 229},
{ 1883, 1514, 1002, 230},
{ 1884, 1515, 925, 231},
{ 1885, 1516, 1067, 232},
{ 1886, 1517, 1020, 233},
{ 1887, 1518, 1067, 234},
{ 1888, 1519, 1042, 235},
{ 1889, 1520, 1003, 236},
{ 1890, 1521, 925, 237},
{ 1891, 1522, 1067, 238},
{ 1892, 1523, 1020, 239},
{ 1893, 1524, 1067, 240},
{ 1894, 1525, 1042, 241},
{ 1895, 1526, 1004, 242},
{ 1896, 1527, 925, 243},
{ 1897, 1528, 1067, 244},
{ 1898, 1529, 1020, 245},
{ 1899, 1530, 1067, 246},
{ 1900, 1531, 1042, 247},
{ 1901, 1532, 1005, 248},
{ 1902, 1533, 925, 249},
{ 1903, 1534, 1067, 250},
{ 1904, 1535, 1020, 251},
{ 1905, 1536, 1067, 252},
{ 1906, 1537, 1042, 253},
{ 1907, 1538, 1017, 254},
{ 1908, 1539, 925, 255},
{ 1909, 1540, 1067, 256},
{ 1910, 1541, 1020, 257},
{ 1911, 1542, 1067, 258},
{ 1912, 1543, 1042, 259},
{ 1913, 1544, 1019, 260},
{ 1914, 1545, 925, 261},
{ 1915, 1546, 1067, 262},
{ 1916, 1547, 1020, 263},
{ 1917, 1548, 1067, 264},
{ 1918, 1549, 1042, 265},
{ 1919, 1550, 1020, 266},
{ 1920, 1551, 925, 267},
{ 1921, 1552, 1067, 268},
{ 1922, 1553, 1020, 269},
{ 1923, 1554, 1067, 270},
{ 1924, 1555, 1042, 271},
{ 1925, 1556, 1020, 272},
{ 1926, 1557, 925, 273},
{ 1927, 1558, 1067, 274},
{ 1928, 1559, 1020, 275},
{ 1929, 1560, 1067, 276},
{ 1930, 1561, 1042, 277},
{ 1931, 1562, 1063, 278},
{ 1932, 1563, 925, 279},
{ 1933, 1564, 1067, 280},
{ 1934, 1565, 1020, 281},
{ 1935, 1566, 1067, 282},
{ 1936, 1567, 1042, 283},
{ 1937, 1568, 1023, 284},
{ 1938, 1569, 925, 285},
{ 1939, 1570, 1067, 286},
{ 1940, 1571, 1020, 287},
{ 1941, 1572, 1067, 288},
{ 1942, 1573, 1042, 289},
{ 1943, 1574, 1024, 290},
{ 1944, 1575, 925, 291},
{ 1945, 1576, 1067, 292},
{ 1946, 1577, 1020, 293},
{ 1947, 1578, 1067, 294},
{ 1948, 1579, 1042, 295},
{ 1949, 1580, 1026, 296},
{ 1950, 1581, 925, 297},
{ 1951, 1582, 1067, 298},
{ 1952, 1583, 1020, 299},
{ 1953, 1584, 1067, 300},
{ 1954, 1585, 1042, 301},
{ 1955, 1586, 1027, 302},
{ 1956, 1587, 925, 303},
{ 1957, 1588, 1067, 304},
{ 1958, 1589, 1020, 305},
{ 1959, 1590, 1067, 306},
{ 1960, 1591, 1042, 307},
{ 1961, 1592, 1028, 308},
{ 1962, 1593, 925, 309},
{ 1963, 1594, 1067, 310},
{ 1964, 1595, 1020, 311},
{ 1965, 1596, 1067, 312},
{ 1966, 1597, 1042, 313},
{ 1967, 1598, 1029, 314},
{ 1968, 1599, 925, 315},
{ 1969, 1600, 1067, 316},
{ 1970, 1601, 1020, 317},
{ 1971, 1602, 1067, 318},
{ 1972, 1603, 1042, 319},
{ 1973, 1604, 1031, 320},
{ 1974, 1605, 925, 321},
{ 1975, 1606, 1067, 322},
{ 1976, 1607, 1020, 323},
{ 1977, 1608, 1067, 324},
{ 1978, 1609, 1042, 325},
{ 1979, 1610, 1033, 326},
{ 1980, 1611, 925, 327},
{ 1981, 1612, 1067, 328},
{ 1982, 1613, 1020, 329},
{ 1983, 1614, 1067, 330},
{ 1984, 1615, 1042, 331},
{ 1985, 1616, 1034, 332},
{ 1986, 1617, 925, 333},
{ 1987, 1618, 1067, 334},
{ 1988, 1619, 1020, 335},
{ 1989, 1620, 1067, 336},
{ 1990, 1621, 1042, 337},
{ 1991, 1622, 1034, 338},
{ 1992, 1623, 925, 339},
{ 1993, 1624, 1067, 340},
{ 1994, 1625, 1020, 341},
{ 1995, 1626, 1067, 342},
{ 1996, 1627, 1042, 343},
{ 1997, 1628, 1035, 344},
{ 1998, 1629, 925, 345},
{ 1999, 1630, 1067, 346},
{ 2000, 1631, 1020, 347},
{ 2001, 1632, 1067, 348},
{ 2002, 1633, 1042, 349},
{ 2003, 1634, 1036, 350},
{ 2004, 1635, 925, 351},
{ 2005, 1636, 1067, 352},
{ 2006, 1637, 1020, 353},
{ 2007, 1638, 1067, 354},
{ 2008, 1639, 1042, 355},
{ 2009, 1640, 1037, 356},
{ 2010, 1641, 925, 357},
{ 2011, 1642, 1067, 358},
{ 2012, 1643, 1020, 359},
{ 2013, 1644, 1067, 360},
{ 2014, 1645, 1042, 361},
{ 2015, 1646, 1038, 362},
{ 2016, 1647, 925, 363},
{ 2017, 1648, 1067, 364},
{ 2018, 1649, 1020, 365},
{ 2019, 1650, 1067, 366},
{ 2020, 1651, 1042, 367},
{ 2021, 1652, 1039, 368},
{ 2022, 1653, 925, 369},
{ 2023, 1654, 1067, 370},
{ 2024, 1655, 1020, 371},
{ 2025, 1656, 1067, 372},
{ 2026, 1657, 1042, 373},
{ 2027, 1658, 1041, 374},
{ 2028, 1659, 925, 375},
{ 2029, 1660, 1067, 376},
{ 2030, 1661, 1020, 377},
{ 2031, 1662, 1067, 378},
{ 2032, 1663, 1042, 379},
{ 2033, 1664, 1042, 380},
{ 2034, 1665, 925, 381},
{ 2035, 1666, 1067, 382},
{ 2036, 1667, 1020, 383},
{ 2037, 1668, 1067, 384},
{ 2038, 1669, 1042, 385},
{ 2039, 1670, 1043, 386},
{ 2040, 1671, 925, 387},
{ 2041, 1672, 1067, 388},
{ 2042, 1673, 1020, 389},
{ 2043, 1674, 1067, 390},
{ 2044, 1675, 1042, 391},
{ 2045, 1676, 1044, 392},
{ 2046, 1677, 925, 393},
{ 2047, 1678, 1067, 394},
{ 2048, 1679, 1020, 395},
{ 2049, 1680, 1067, 396},
{ 2050, 1681, 1042, 397},
{ 2051, 1682, 1045, 398},
{ 2052, 1683, 925, 399},
{ 2053, 1684, 1067, 400},
{ 2054, 1685, 1020, 401},
{ 2055, 1686, 1067, 402},
{ 2056, 1687, 1042, 403},
{ 2057, 1688, 1048, 404},
{ 2058, 1689, 925, 405},
{ 2059, 1690, 1067, 406},
{ 2060, 1691, 1020, 407},
{ 2061, 1692, 1067, 408},
{ 2062, 1693, 1042, 409},
{ 2063, 1694, 1053, 410},
{ 2064, 1695, 925, 411},
{ 2065, 1696, 1067, 412},
{ 2066, 1697, 1020, 413},
{ 2067, 1698, 1067, 414},
{ 2068, 1699, 1042, 415},
{ 2069, 1700, 1058, 416},
{ 2070, 1701, 925, 417},
{ 2071, 1702, 1067, 418},
{ 2072, 1703, 1020, 419},
{ 2073, 1704, 1067, 420},
{ 2074, 1705, 1042, 421},
{ 2075, 1706, 1058, 422},
{ 2076, 1707, 925, 423},
{ 2077, 1708, 1067, 424},
{ 2078, 1709, 1020, 425},
{ 2079, 1710, 1067, 426},
{ 2080, 1711, 1042, 427},
{ 2081, 1712, 1061, 428},
{ 2082, 1713, 925, 429},
{ 2083, 1714, 1067, 430},
{ 2084, 1715, 1020, 431},
{ 2085, 1716, 1067, 432},
{ 2086, 1717, 1042, 433},
{ 2087, 1718, 1062, 434},
{ 2088, 1719, 925, 435},
{ 2089, 1720, 1067, 436},
{ 2090, 1721, 1020, 437},
{ 2091, 1722, 1067, 438},
{ 2092, 1723, 1042, 439},
{ 2093, 1724, 1063, 440},
{ 2094, 1725, 925, 441},
{ 2095, 1726, 1067, 442},
{ 2096, 1727, 1020, 443},
{ 2097, 1728, 1067, 444},
{ 2098, 1729, 1042, 445},
{ 2099, 1730, 1063, 446},
{ 2100, 1731, 925, 447},
{ 2101, 1732, 1067, 448},
{ 2102, 1733, 1020, 449},
{ 2103, 1734, 1067, 450},
{ 2104, 1735, 1042, 451},
{ 2105, 1736, 1064, 452},
{ 2106, 1737, 925, 453},
{ 2107, 1738, 1067, 454},
{ 2108, 1739, 1020, 455},
{ 2109, 1740, 1067, 456},
{ 2110, 1741, 1042, 457},
{ 2111, 1742, 1065, 458},
{ 2112, 1743, 925, 459},
{ 2113, 1744, 1067, 460},
{ 2114, 1745, 1020, 461},
{ 2115, 1746, 1067, 462},
{ 2116, 1747, 1042, 463},
{ 2117, 1748, 1069, 464},
{ 2118, 1749, 925, 465},
{ 2119, 1750, 1067, 466},
{ 2120, 1751, 1020, 467},
{ 2121, 1752, 1067, 468},
{ 2122, 1753, 1042, 469},
{ 2123, 1754, 1070, 470},
{ 2124, 1755, 925, 471},
{ 2125, 1756, 1067, 472},
{ 2126, 1757, 1020, 473},
{ 2127, 1758, 1067, 474},
{ 2128, 1759, 1042, 475},
{ 2129, 1760, 1071, 476},
{ 2130, 1761, 925, 477},
{ 2131, 1762, 1067, 478},
{ 2132, 1763, 1020, 479},
{ 2133, 1764, 1067, 480},
{ 2134, 1765, 1042, 481},
{ 2135, 1766, 1072, 482},
{ 2136, 1767, 925, 483},
{ 2137, 1768, 1067, 484},
{ 2138, 1769, 1020, 485},
{ 2139, 1770, 1067, 486},
{ 2140, 1771, 1042, 487},
{ 2141, 1772, 1075, 488},
{ 2142, 1773, 925, 489},
{ 2143, 1774, 1067, 490},
{ 2144, 1775, 1020, 491},
{ 2145, 1776, 1067, 492},
{ 2146, 1777, 1042, 493},
{ 2147, 1778, 1076, 494},
{ 2148, 1779, 925, 495},
{ 2149, 1780, 1067, 496},
{ 2150, 1781, 1020, 497},
{ 2151, 1782, 1067, 498},
{ 2152, 1783, 1042, 499},
{ 2153, 1784, 1078, 500},
{ 2154, 1785, 925, 501},
{ 2155, 1786, 1067, 502},
{ 2156, 1787, 1020, 503},
{ 2157, 1788, 1067, 504},
{ 2158, 1789, 1042, 505},
{ 2159, 1790, 1079, 506},
{ 2160, 1791, 925, 507},
{ 2161, 1792, 1067, 508},
{ 2162, 1793, 1020, 509},
{ 2163, 1794, 1067, 510},
{ 2164, 1795, 1042, 511},
{ 2165, 1796, 1080, 512},
{ 2166, 1797, 925, 513},
{ 2167, 1798, 1067, 514},
{ 2168, 1799, 1020, 515},
{ 2169, 1800, 1067, 516},
{ 2170, 1801, 1042, 517},
{ 2171, 1802, 1081, 518},
{ 2172, 1803, 925, 519},
{ 2173, 1804, 1067, 520},
{ 2174, 1805, 1020, 521},
{ 2175, 1806, 1067, 522},
{ 2176, 1807, 1042, 523},
{ 2177, 1808, 1084, 524},
{ 2178, 1809, 925, 525},
{ 2179, 1810, 1067, 526},
{ 2180, 1811, 1020, 527},
{ 2181, 1812, 1067, 528},
{ 2182, 1813, 1042, 529},
{ 2183, 1814, 1086, 530},
{ 2184, 1815, 925, 531},
{ 2185, 1816, 1067, 532},
{ 2186, 1817, 1020, 533},
{ 2187, 1818, 1067, 534},
{ 2188, 1819, 1042, 535},
{ 2189, 1820, 1087, 536},
{ 2190, 1821, 925, 537},
{ 2191, 1822, 1067, 538},
{ 2192, 1823, 1020, 539},
{ 2193, 1824, 1067, 540},
{ 2194, 1825, 1042, 541},
{ 2195, 1826, 1088, 542},
{ 2203, 1827, 925, -1},
{ 2204, 1828, 589, -1},
{ 2205, 1829, 417, -1},
{ 2206, 1830, 900, -1},
{ 2207, 1831, 925, -1},
{ 2208, 1832, 925, -1},
{ 2209, 1833, 925, -1},
{ 2210, 1834, 925, -1},
{ 2211, 1835, 589, -1},
{ 2212, 1836, 417, -1},
{ 2213, 1837, 918, -1},
{ 2214, 1838, 925, -1},
{ 2215, 1839, 925, -1},
{ 2216, 1840, 925, -1},
{ 2217, 1841, 925, -1},
{ 2218, 1842, 589, -1},
{ 2219, 1843, 417, -1},
{ 2220, 1844, 925, -1},
{ 2221, 1845, 925, -1},
{ 2222, 1846, 925, -1},
{ 2223, 1847, 925, -1},
{ 2224, 1848, 925, -1},
{ 2225, 1849, 589, -1},
{ 2226, 1850, 417, -1},
{ 2227, 1851, 939, -1},
{ 2228, 1852, 925, -1},
{ 2229, 1853, 925, -1},
{ 2230, 1854, 925, -1},
{ 2232, 1855, 589, -1},
{ 2233, 1856, 417, -1},
{ 2234, 1857, 925, -1},
{ 2236, 1858, 589, -1},
{ 2237, 1859, 417, -1},
{ 2238, 1860, 925, -1},
{ 2240, 1861, 589, -1},
{ 2241, 1862, 417, -1},
{ 2242, 1863, 925, -1},
{ 2268, 1864, 1067, -1},
{ 2269, 0, 0, -1},
{ 2270, 1865, 1067, -1},
{ 2271, 1866, 1042, -1},
{ 2272, 0, 0, -1},
{ 2273, 1867, 1042, -1},
{ 2274, 1868, 1067, -1},
{ 2275, 1869, 1042, -1},
{ 2276, 0, 0, -1},
{ 2277, 1870, 1042, -1},
{ 2293, 1871, 506, 543},
{ 2294, 1872, 1042, 544},
{ 2295, 1873, 1017, 545},
{ 2296, 1874, 1042, 546},
{ 2298, 1875, 548, 547},
{ 2299, 1876, 1042, 548},
{ 2300, 1877, 1034, 549},
{ 2301, 1878, 1042, 550},
{ 2302, 1879, 586, 551},
{ 2303, 1880, 1042, 552},
{ 2304, 1881, 1042, 553},
{ 2305, 1882, 1034, 554},
{ 2306, 1883, 589, 555},
{ 2307, 1884, 1042, 556},
{ 2308, 1885, 1042, 557},
{ 2309, 1886, 1042, 558},
{ 2310, 1887, 590, 559},
{ 2311, 1888, 1042, 560},
{ 2312, 1889, 1042, 561},
{ 2313, 1890, 1053, 562},
{ 2314, 1891, 606, 563},
{ 2315, 1892, 1042, 564},
{ 2316, 1893, 1079, 565},
{ 2317, 1894, 1042, 566},
{ 2318, 1895, 918, 567},
{ 2319, 1896, 925, 568},
{ 2320, 1897, 586, 569},
{ 2321, 1898, 1042, 570},
{ 2322, 1899, 1034, 571},
{ 2323, 1900, 845, 572},
{ 2344, 1901, 2072, -1},
{ 2345, 1902, 1067, -1},
{ 2346, 1903, 925, -1},
{ 2347, 1904, 918, -1},
{ 2348, 1905, 918, -1},
{ 2349, 1906, 925, -1},
{ 2350, 1907, 925, -1},
{ 2351, 1908, 918, -1},
{ 2352, 1909, 1067, -1},
{ 2353, 1910, 693, -1},
{ 2354, 1911, 925, -1},
{ 2355, 1912, 586, -1},
{ 2356, 1913, 918, -1},
{ 2357, 1914, 990, -1},
{ 2358, 1915, 795, -1},
{ 2359, 1916, 541, -1},
{ 2360, 1917, 548, -1},
{ 2361, 1918, 1842, -1},
{ 2362, 1919, 693, -1},
{ 2363, 1920, 802, -1},
{ 2364, 1921, 918, -1},
{ 2365, 1922, 541, -1},
{ 2366, 1923, 1067, -1},
{ 2367, 1924, 541, -1},
{ 2368, 1925, 925, -1},
{ 2369, 1926, 925, -1},
{ 2370, 1927, 340, -1},
{ 2371, 1928, 1020, -1},
{ 2372, 1929, 1042, -1},
{ 2373, 1930, 586, -1},
{ 2374, 1931, 1042, -1},
{ 2375, 1932, 1042, -1},
{ 2376, 1933, 802, -1},
{ 2377, 1934, 703, -1},
{ 2378, 1935, 802, -1},
{ 2379, 1936, 548, -1},
{ 2380, 1937, 925, -1},
{ 2381, 1938, 1020, -1},
{ 2382, 1939, 845, -1},
{ 2383, 1940, 548, -1},
{ 2384, 1941, 1042, -1},
{ 2385, 1942, 1034, -1},
{ 2386, 1943, 795, -1},
{ 2387, 1944, 918, -1},
{ 2388, 1945, 541, -1},
{ 2389, 1946, 2072, -1},
{ 2390, 1947, 1067, -1},
{ 2391, 1948, 925, -1},
{ 2392, 1949, 918, -1},
{ 2393, 1950, 918, -1},
{ 2394, 1951, 925, -1},
{ 2395, 1952, 925, -1},
{ 2396, 1953, 918, -1},
{ 2397, 1954, 1067, -1},
{ 2398, 1955, 693, -1},
{ 2399, 1956, 925, -1},
{ 2400, 1957, 586, -1},
{ 2401, 1958, 918, -1},
{ 2402, 1959, 992, -1},
{ 2403, 1960, 795, -1},
{ 2404, 1961, 541, -1},
{ 2405, 1962, 548, -1},
{ 2406, 1963, 1842, -1},
{ 2407, 1964, 693, -1},
{ 2408, 1965, 802, -1},
{ 2409, 1966, 918, -1},
{ 2410, 1967, 541, -1},
{ 2411, 1968, 1067, -1},
{ 2412, 1969, 541, -1},
{ 2413, 1970, 925, -1},
{ 2414, 1971, 925, -1},
{ 2415, 1972, 340, -1},
{ 2416, 1973, 1020, -1},
{ 2417, 1974, 1042, -1},
{ 2418, 1975, 586, -1},
{ 2419, 1976, 1042, -1},
{ 2420, 1977, 1042, -1},
{ 2421, 1978, 802, -1},
{ 2422, 1979, 703, -1},
{ 2423, 1980, 802, -1},
{ 2424, 1981, 548, -1},
{ 2425, 1982, 925, -1},
{ 2426, 1983, 1020, -1},
{ 2427, 1984, 845, -1},
{ 2428, 1985, 548, -1},
{ 2429, 1986, 1042, -1},
{ 2430, 1987, 1034, -1},
{ 2431, 1988, 795, -1},
{ 2432, 1989, 918, -1},
{ 2433, 1990, 541, -1},
{ 2434, 1991, 2072, -1},
{ 2435, 1992, 1067, -1},
{ 2436, 1993, 925, -1},
{ 2437, 1994, 918, -1},
{ 2438, 1995, 925, -1},
{ 2439, 1996, 925, -1},
{ 2440, 1997, 925, -1},
{ 2441, 1998, 925, -1},
{ 2442, 1999, 1067, -1},
{ 2443, 2000, 703, -1},
{ 2444, 2001, 925, -1},
{ 2445, 2002, 586, -1},
{ 2446, 2003, 918, -1},
{ 2447, 2004, 994, -1},
{ 2448, 2005, 802, -1},
{ 2449, 2006, 548, -1},
{ 2450, 2007, 548, -1},
{ 2451, 2008, 1842, -1},
{ 2452, 2009, 703, -1},
{ 2453, 2010, 802, -1},
{ 2454, 2011, 918, -1},
{ 2455, 2012, 541, -1},
{ 2456, 2013, 1067, -1},
{ 2457, 2014, 541, -1},
{ 2458, 2015, 925, -1},
{ 2459, 2016, 925, -1},
{ 2460, 2017, 340, -1},
{ 2461, 2018, 1020, -1},
{ 2462, 2019, 1042, -1},
{ 2463, 2020, 586, -1},
{ 2464, 2021, 1042, -1},
{ 2465, 2022, 1042, -1},
{ 2466, 2023, 802, -1},
{ 2467, 2024, 703, -1},
{ 2468, 2025, 802, -1},
{ 2469, 2026, 548, -1},
{ 2470, 2027, 925, -1},
{ 2471, 2028, 1020, -1},
{ 2472, 2029, 845, -1},
{ 2473, 2030, 548, -1},
{ 2474, 2031, 1042, -1},
{ 2475, 2032, 1034, -1},
{ 2476, 2033, 845, -1},
{ 2477, 2034, 918, -1},
{ 2478, 2035, 548, -1},
{ 2479, 2036, 2072, -1},
{ 2480, 2037, 1067, -1},
{ 2481, 2038, 925, -1},
{ 2482, 2039, 918, -1},
{ 2483, 2040, 947, -1},
{ 2484, 2041, 925, -1},
{ 2485, 2042, 925, -1},
{ 2486, 2043, 947, -1},
{ 2487, 2044, 1067, -1},
{ 2488, 2045, 730, -1},
{ 2489, 2046, 925, -1},
{ 2490, 2047, 586, -1},
{ 2491, 2048, 918, -1},
{ 2492, 2049, 996, -1},
{ 2493, 2050, 816, -1},
{ 2494, 2051, 561, -1},
{ 2495, 2052, 548, -1},
{ 2496, 2053, 1842, -1},
{ 2497, 2054, 730, -1},
{ 2498, 2055, 802, -1},
{ 2499, 2056, 918, -1},
{ 2500, 2057, 541, -1},
{ 2501, 2058, 1067, -1},
{ 2502, 2059, 541, -1},
{ 2503, 2060, 925, -1},
{ 2504, 2061, 925, -1},
{ 2505, 2062, 340, -1},
{ 2506, 2063, 1020, -1},
{ 2507, 2064, 1042, -1},
{ 2508, 2065, 586, -1},
{ 2509, 2066, 1042, -1},
{ 2510, 2067, 1042, -1},
{ 2511, 2068, 802, -1},
{ 2512, 2069, 703, -1},
{ 2513, 2070, 802, -1},
{ 2514, 2071, 548, -1},
{ 2515, 2072, 925, -1},
{ 2516, 2073, 1020, -1},
{ 2517, 2074, 845, -1},
{ 2518, 2075, 548, -1},
{ 2519, 2076, 1042, -1},
{ 2520, 2077, 1034, -1},
{ 2521, 2078, 963, -1},
{ 2522, 2079, 918, -1},
{ 2523, 2080, 561, -1},
{ 2524, 2081, 2072, -1},
{ 2525, 2082, 1067, -1},
{ 2526, 2083, 925, -1},
{ 2527, 2084, 918, -1},
{ 2528, 2085, 948, -1},
{ 2529, 2086, 925, -1},
{ 2530, 2087, 925, -1},
{ 2531, 2088, 948, -1},
{ 2532, 2089, 1067, -1},
{ 2533, 2090, 731, -1},
{ 2534, 2091, 925, -1},
{ 2535, 2092, 586, -1},
{ 2536, 2093, 918, -1},
{ 2537, 2094, 997, -1},
{ 2538, 2095, 817, -1},
{ 2539, 2096, 562, -1},
{ 2540, 2097, 548, -1},
{ 2541, 2098, 1842, -1},
{ 2542, 2099, 731, -1},
{ 2543, 2100, 802, -1},
{ 2544, 2101, 918, -1},
{ 2545, 2102, 541, -1},
{ 2546, 2103, 1067, -1},
{ 2547, 2104, 541, -1},
{ 2548, 2105, 925, -1},
{ 2549, 2106, 925, -1},
{ 2550, 2107, 340, -1},
{ 2551, 2108, 1020, -1},
{ 2552, 2109, 1042, -1},
{ 2553, 2110, 586, -1},
{ 2554, 2111, 1042, -1},
{ 2555, 2112, 1042, -1},
{ 2556, 2113, 802, -1},
{ 2557, 2114, 703, -1},
{ 2558, 2115, 802, -1},
{ 2559, 2116, 548, -1},
{ 2560, 2117, 925, -1},
{ 2561, 2118, 1020, -1},
{ 2562, 2119, 845, -1},
{ 2563, 2120, 548, -1},
{ 2564, 2121, 1042, -1},
{ 2565, 2122, 1034, -1},
{ 2566, 2123, 964, -1},
{ 2567, 2124, 918, -1},
{ 2568, 2125, 562, -1},
{ 2569, 2126, 2072, -1},
{ 2570, 2127, 1067, -1},
{ 2571, 2128, 925, -1},
{ 2572, 2129, 918, -1},
{ 2573, 2130, 955, -1},
{ 2574, 2131, 925, -1},
{ 2575, 2132, 925, -1},
{ 2576, 2133, 955, -1},
{ 2577, 2134, 1067, -1},
{ 2578, 2135, 738, -1},
{ 2579, 2136, 925, -1},
{ 2580, 2137, 586, -1},
{ 2581, 2138, 918, -1},
{ 2582, 2139, 998, -1},
{ 2583, 2140, 824, -1},
{ 2584, 2141, 569, -1},
{ 2585, 2142, 548, -1},
{ 2586, 2143, 1842, -1},
{ 2587, 2144, 738, -1},
{ 2588, 2145, 802, -1},
{ 2589, 2146, 918, -1},
{ 2590, 2147, 541, -1},
{ 2591, 2148, 1067, -1},
{ 2592, 2149, 541, -1},
{ 2593, 2150, 925, -1},
{ 2594, 2151, 925, -1},
{ 2595, 2152, 340, -1},
{ 2596, 2153, 1020, -1},
{ 2597, 2154, 1042, -1},
{ 2598, 2155, 586, -1},
{ 2599, 2156, 1042, -1},
{ 2600, 2157, 1042, -1},
{ 2601, 2158, 802, -1},
{ 2602, 2159, 703, -1},
{ 2603, 2160, 802, -1},
{ 2604, 2161, 548, -1},
{ 2605, 2162, 925, -1},
{ 2606, 2163, 1020, -1},
{ 2607, 2164, 845, -1},
{ 2608, 2165, 548, -1},
{ 2609, 2166, 1042, -1},
{ 2610, 2167, 1034, -1},
{ 2611, 2168, 971, -1},
{ 2612, 2169, 918, -1},
{ 2613, 2170, 569, -1},
{ 2614, 2171, 2072, -1},
{ 2615, 2172, 1067, -1},
{ 2616, 2173, 925, -1},
{ 2617, 2174, 918, -1},
{ 2618, 2175, 959, -1},
{ 2619, 2176, 925, -1},
{ 2620, 2177, 925, -1},
{ 2621, 2178, 959, -1},
{ 2622, 2179, 1067, -1},
{ 2623, 2180, 743, -1},
{ 2624, 2181, 925, -1},
{ 2625, 2182, 586, -1},
{ 2626, 2183, 918, -1},
{ 2627, 2184, 999, -1},
{ 2628, 2185, 827, -1},
{ 2629, 2186, 572, -1},
{ 2630, 2187, 548, -1},
{ 2631, 2188, 1842, -1},
{ 2632, 2189, 743, -1},
{ 2633, 2190, 802, -1},
{ 2634, 2191, 918, -1},
{ 2635, 2192, 541, -1},
{ 2636, 2193, 1067, -1},
{ 2637, 2194, 541, -1},
{ 2638, 2195, 925, -1},
{ 2639, 2196, 925, -1},
{ 2640, 2197, 340, -1},
{ 2641, 2198, 1020, -1},
{ 2642, 2199, 1042, -1},
{ 2643, 2200, 586, -1},
{ 2644, 2201, 1042, -1},
{ 2645, 2202, 1042, -1},
{ 2646, 2203, 802, -1},
{ 2647, 2204, 703, -1},
{ 2648, 2205, 802, -1},
{ 2649, 2206, 548, -1},
{ 2650, 2207, 925, -1},
{ 2651, 2208, 1020, -1},
{ 2652, 2209, 845, -1},
{ 2653, 2210, 548, -1},
{ 2654, 2211, 1042, -1},
{ 2655, 2212, 1034, -1},
{ 2656, 2213, 976, -1},
{ 2657, 2214, 918, -1},
{ 2658, 2215, 572, -1},
{ 2663, 2216, 1067, -1},
{ 2664, 2217, 250, -1},
{ 2665, 2218, 1042, -1},
{ 2666, 2219, 703, -1},
{ 2667, 2220, 1067, -1},
{ 2668, 2221, 250, -1},
{ 2669, 2222, 1042, -1},
{ 2670, 2223, 703, -1},
{ 2671, 2224, 1067, -1},
{ 2672, 2225, 250, -1},
{ 2673, 2226, 1042, -1},
{ 2674, 2227, 703, -1},
{ 2675, 2228, 1067, -1},
{ 2676, 2229, 250, -1},
{ 2677, 2230, 1042, -1},
{ 2678, 2231, 703, -1},
{ 2685, 2232, 1067, -1},
{ 2686, 2233, 548, -1},
{ 2687, 2234, 918, -1},
{ 2688, 2235, 1067, -1},
{ 2689, 2236, 845, -1},
{ 2690, 2237, 447, -1},
{ 2691, 2238, 693, -1},
{ 2692, 2239, 473, -1},
{ 2693, 2240, 548, -1},
{ 2694, 2241, 1067, -1},
{ 2695, 2242, 548, -1},
{ 2696, 2243, 918, -1},
{ 2697, 2244, 1067, -1},
{ 2698, 2245, 847, -1},
{ 2699, 2246, 451, -1},
{ 2700, 2247, 703, -1},
{ 2701, 2248, 481, -1},
{ 2702, 2249, 589, -1},
{ 2703, 2250, 1067, -1},
{ 2704, 2251, 918, -1},
{ 2705, 2252, 1020, -1},
{ 2706, 2253, 1042, -1},
{ 2707, 2254, 1042, -1},
{ 2727, 2255, 2072, -1},
{ 2728, 2256, 1067, -1},
{ 2729, 2257, 918, -1},
{ 2730, 2258, 925, -1},
{ 2731, 2259, 925, -1},
{ 2732, 2260, 1067, -1},
{ 2733, 2261, 703, -1},
{ 2734, 2262, 586, -1},
{ 2735, 2263, 918, -1},
{ 2736, 2264, 802, -1},
{ 2737, 2265, 548, -1},
{ 2738, 2266, 548, -1},
{ 2739, 2267, 703, -1},
{ 2740, 2268, 802, -1},
{ 2741, 2269, 918, -1},
{ 2742, 2270, 1034, -1},
{ 2743, 2271, 1034, -1},
{ 2744, 2272, 845, -1},
{ 2745, 2273, 918, -1},
{ 2746, 2274, 548, -1},
{ 2751, 2275, 1510, -1},
{ 2752, 2276, 1220, -1},
{ 2753, 2277, 1067, 573},
{ 2754, 2278, 653, 574},
{ 2755, 2279, 703, 575},
{ 2756, 2280, 988, 576},
{ 2757, 2281, 1034, 577},
{ 2758, 2282, 1042, 578},
{ 2759, 2283, 1042, 579},
{ 2760, 2284, 1042, 580},
{ 2761, 2285, 1020, 581},
{ 2762, 2286, 640, 582},
{ 2763, 2287, 1034, 583},
{ 2764, 2288, 531, 584},
{ 2765, 2289, 1511, -1},
{ 2766, 2290, 1221, -1},
{ 2767, 2291, 1067, 585},
{ 2768, 2292, 654, 586},
{ 2769, 2293, 703, 587},
{ 2770, 2294, 989, 588},
{ 2771, 2295, 1034, 589},
{ 2772, 2296, 1042, 590},
{ 2773, 2297, 1042, 591},
{ 2774, 2298, 1042, 592},
{ 2775, 2299, 1020, 593},
{ 2776, 2300, 693, 594},
{ 2777, 2301, 1034, 595},
{ 2778, 2302, 532, 596},
{ 2779, 2303, 1512, -1},
{ 2780, 2304, 1222, -1},
{ 2781, 2305, 1067, 597},
{ 2782, 2306, 655, 598},
{ 2783, 2307, 703, 599},
{ 2784, 2308, 991, 600},
{ 2785, 2309, 1034, 601},
{ 2786, 2310, 1042, 602},
{ 2787, 2311, 1042, 603},
{ 2788, 2312, 1042, 604},
{ 2789, 2313, 1020, 605},
{ 2790, 2314, 795, 606},
{ 2791, 2315, 1034, 607},
{ 2792, 2316, 541, 608},
{ 2793, 2317, 1513, -1},
{ 2794, 2318, 1223, -1},
{ 2795, 2319, 1067, 609},
{ 2796, 2320, 656, 610},
{ 2797, 2321, 703, 611},
{ 2798, 2322, 993, 612},
{ 2799, 2323, 1034, 613},
{ 2800, 2324, 1042, 614},
{ 2801, 2325, 1042, 615},
{ 2802, 2326, 1042, 616},
{ 2803, 2327, 1020, 617},
{ 2804, 2328, 836, 618},
{ 2805, 2329, 1034, 619},
{ 2806, 2330, 547, 620},
{ 2807, 2331, 1514, -1},
{ 2808, 2332, 1224, -1},
{ 2809, 2333, 1067, 621},
{ 2810, 2334, 657, 622},
{ 2811, 2335, 703, 623},
{ 2812, 2336, 995, 624},
{ 2813, 2337, 1034, 625},
{ 2814, 2338, 1042, 626},
{ 2815, 2339, 1042, 627},
{ 2816, 2340, 1042, 628},
{ 2817, 2341, 1020, 629},
{ 2818, 2342, 853, 630},
{ 2819, 2343, 1034, 631},
{ 2820, 2344, 550, 632},
{ 2822, 2345, 236, -1},
{ 2826, 2346, 900, 633},
{ 2827, 2347, 1934, -1},
{ 2828, 2348, 703, 634},
{ 2829, 2349, 1034, 635},
{ 2830, 2350, 1020, 636},
{ 2831, 2351, 1042, 637},
{ 2832, 2352, 1790, -1},
{ 2833, 2353, 1790, -1},
{ 2834, 2354, 1020, 638},
{ 2835, 2355, 1020, 639},
{ 2836, 2356, 910, 640},
{ 2837, 2357, 1935, -1},
{ 2838, 2358, 703, 641},
{ 2839, 2359, 1034, 642},
{ 2840, 2360, 1026, 643},
{ 2841, 2361, 1042, 644},
{ 2842, 2362, 1791, -1},
{ 2843, 2363, 1791, -1},
{ 2844, 2364, 1020, 645},
{ 2845, 2365, 1026, 646},
{ 2846, 2366, 911, 647},
{ 2847, 2367, 1936, -1},
{ 2848, 2368, 703, 648},
{ 2849, 2369, 1034, 649},
{ 2850, 2370, 1027, 650},
{ 2851, 2371, 1042, 651},
{ 2852, 2372, 1792, -1},
{ 2853, 2373, 1792, -1},
{ 2854, 2374, 1020, 652},
{ 2855, 2375, 1027, 653},
{ 2856, 2376, 918, 654},
{ 2857, 2377, 1937, -1},
{ 2858, 2378, 703, 655},
{ 2859, 2379, 1034, 656},
{ 2860, 2380, 1034, 657},
{ 2861, 2381, 1042, 658},
{ 2862, 2382, 1793, -1},
{ 2863, 2383, 1793, -1},
{ 2864, 2384, 1020, 659},
{ 2865, 2385, 1034, 660},
{ 2866, 2386, 934, 661},
{ 2867, 2387, 1938, -1},
{ 2868, 2388, 703, 662},
{ 2869, 2389, 1034, 663},
{ 2870, 2390, 1051, 664},
{ 2871, 2391, 1042, 665},
{ 2872, 2392, 1794, -1},
{ 2873, 2393, 1794, -1},
{ 2874, 2394, 1020, 666},
{ 2875, 2395, 1051, 667},
{ 2876, 2396, 941, 668},
{ 2877, 2397, 1939, -1},
{ 2878, 2398, 703, 669},
{ 2879, 2399, 1034, 670},
{ 2880, 2400, 1062, 671},
{ 2881, 2401, 1042, 672},
{ 2882, 2402, 1795, -1},
{ 2883, 2403, 1795, -1},
{ 2884, 2404, 1020, 673},
{ 2885, 2405, 1062, 674},
{ 2887, 2406, 1067, -1},
{ 2888, 2407, 445, -1},
{ 2889, 2408, 703, -1},
{ 2890, 2409, 1034, -1},
{ 2891, 2410, 1067, -1},
{ 2892, 2411, 447, -1},
{ 2893, 2412, 703, -1},
{ 2894, 2413, 1034, -1},
{ 2895, 2414, 1067, -1},
{ 2896, 2415, 447, -1},
{ 2897, 2416, 703, -1},
{ 2898, 2417, 1034, -1},
{ 2899, 2418, 1067, -1},
{ 2900, 2419, 449, -1},
{ 2901, 2420, 703, -1},
{ 2902, 2421, 1034, -1},
{ 2903, 2422, 1067, -1},
{ 2904, 2423, 452, -1},
{ 2905, 2424, 703, -1},
{ 2906, 2425, 1034, -1},
{ 2907, 2426, 1067, -1},
{ 2908, 2427, 455, -1},
{ 2909, 2428, 703, -1},
{ 2910, 2429, 1034, -1},
{ 2911, 2430, 1067, -1},
{ 2912, 2431, 456, -1},
{ 2913, 2432, 703, -1},
{ 2914, 2433, 1034, -1},
{ 2915, 2434, 1067, -1},
{ 2916, 2435, 457, -1},
{ 2917, 2436, 703, -1},
{ 2918, 2437, 1034, -1},
{ 2919, 2438, 1067, -1},
{ 2920, 2439, 458, -1},
{ 2921, 2440, 703, -1},
{ 2922, 2441, 1034, -1},
{ 2923, 2442, 1067, -1},
{ 2924, 2443, 459, -1},
{ 2925, 2444, 703, -1},
{ 2926, 2445, 1034, -1},
{ 2928, 2446, 1067, -1},
{ 2929, 2447, 703, -1},
{ 2930, 2448, 396, -1},
{ 2931, 2449, 1034, -1},
{ 2932, 2450, 777, -1},
{ 2933, 2451, 161, -1},
{ 2934, 2452, 161, -1},
{ 2935, 2453, 1067, -1},
{ 2936, 2454, 703, -1},
{ 2937, 2455, 401, -1},
{ 2938, 2456, 1034, -1},
{ 2939, 2457, 784, -1},
{ 2940, 2458, 162, -1},
{ 2941, 2459, 162, -1},
{ 2942, 2460, 1067, -1},
{ 2943, 2461, 703, -1},
{ 2944, 2462, 401, -1},
{ 2945, 2463, 1034, -1},
{ 2946, 2464, 784, -1},
{ 2947, 2465, 162, -1},
{ 2948, 2466, 162, -1},
{ 2949, 2467, 1067, -1},
{ 2950, 2468, 703, -1},
{ 2951, 2469, 409, -1},
{ 2952, 2470, 1034, -1},
{ 2953, 2471, 795, -1},
{ 2954, 2472, 165, -1},
{ 2955, 2473, 165, -1},
{ 2956, 2474, 1067, -1},
{ 2957, 2475, 703, -1},
{ 2958, 2476, 409, -1},
{ 2959, 2477, 1034, -1},
{ 2960, 2478, 795, -1},
{ 2961, 2479, 165, -1},
{ 2962, 2480, 165, -1},
{ 2963, 2481, 1067, -1},
{ 2964, 2482, 703, -1},
{ 2965, 2483, 413, -1},
{ 2966, 2484, 1034, -1},
{ 2967, 2485, 797, -1},
{ 2968, 2486, 166, -1},
{ 2969, 2487, 166, -1},
{ 2970, 2488, 1067, -1},
{ 2971, 2489, 703, -1},
{ 2972, 2490, 417, -1},
{ 2973, 2491, 1034, -1},
{ 2974, 2492, 802, -1},
{ 2975, 2493, 167, -1},
{ 2976, 2494, 167, -1},
{ 2977, 2495, 1067, -1},
{ 2978, 2496, 703, -1},
{ 2979, 2497, 421, -1},
{ 2980, 2498, 1034, -1},
{ 2981, 2499, 807, -1},
{ 2982, 2500, 168, -1},
{ 2983, 2501, 168, -1},
{ 2984, 2502, 1067, -1},
{ 2985, 2503, 703, -1},
{ 2986, 2504, 426, -1},
{ 2987, 2505, 1034, -1},
{ 2988, 2506, 816, -1},
{ 2989, 2507, 170, -1},
{ 2990, 2508, 170, -1},
{ 2991, 2509, 1067, -1},
{ 2992, 2510, 703, -1},
{ 2993, 2511, 427, -1},
{ 2994, 2512, 1034, -1},
{ 2995, 2513, 817, -1},
{ 2996, 2514, 171, -1},
{ 2997, 2515, 171, -1},
{ 2998, 2516, 1067, -1},
{ 2999, 2517, 703, -1},
{ 3000, 2518, 430, -1},
{ 3001, 2519, 1034, -1},
{ 3002, 2520, 822, -1},
{ 3003, 2521, 172, -1},
{ 3004, 2522, 172, -1},
{ 3005, 2523, 1067, -1},
{ 3006, 2524, 703, -1},
{ 3007, 2525, 431, -1},
{ 3008, 2526, 1034, -1},
{ 3009, 2527, 824, -1},
{ 3010, 2528, 173, -1},
{ 3011, 2529, 173, -1},
{ 3012, 2530, 1067, -1},
{ 3013, 2531, 703, -1},
{ 3014, 2532, 433, -1},
{ 3015, 2533, 1034, -1},
{ 3016, 2534, 827, -1},
{ 3017, 2535, 174, -1},
{ 3018, 2536, 174, -1},
{ 3023, 2537, 1067, -1},
{ 3024, 2538, 155, -1},
{ 3025, 2539, 1042, -1},
{ 3026, 2540, 925, -1},
{ 3027, 2541, 1067, -1},
{ 3028, 2542, 155, -1},
{ 3029, 2543, 1042, -1},
{ 3030, 2544, 925, -1},
{ 3031, 2545, 1067, -1},
{ 3032, 2546, 155, -1},
{ 3033, 2547, 1042, -1},
{ 3034, 2548, 925, -1},
{ 3035, 2549, 1067, -1},
{ 3036, 2550, 155, -1},
{ 3037, 2551, 1042, -1},
{ 3038, 2552, 925, -1},
{ 3048, 2553, 588, -1},
{ 3049, 2554, 693, -1},
{ 3050, 2555, 588, -1},
{ 3051, 2556, 693, -1},
{ 3052, 2557, 588, -1},
{ 3053, 2558, 703, -1},
{ 3054, 2559, 588, -1},
{ 3055, 2560, 730, -1},
{ 3056, 2561, 588, -1},
{ 3057, 2562, 731, -1},
{ 3058, 2563, 588, -1},
{ 3059, 2564, 738, -1},
{ 3060, 2565, 588, -1},
{ 3061, 2566, 743, -1},
{ 3067, 2567, 925, -1},
{ 3068, 2568, 683, -1},
{ 3069, 2569, 586, -1},
{ 3070, 2570, 1042, -1},
{ 3071, 2571, 785, -1},
{ 3072, 2572, 1842, -1},
{ 3073, 2573, 907, -1},
{ 3074, 2574, 1067, -1},
{ 3075, 2575, 683, -1},
{ 3076, 2576, 1020, -1},
{ 3077, 2577, 533, -1},
{ 3078, 2578, 918, -1},
{ 3079, 2579, 748, -1},
{ 3080, 2580, 533, -1},
{ 3081, 2581, 586, -1},
{ 3082, 2582, 1042, -1},
{ 3083, 2583, 1042, -1},
{ 3084, 2584, 802, -1},
{ 3085, 2585, 1067, -1},
{ 3086, 2586, 703, -1},
{ 3087, 2587, 802, -1},
{ 3088, 2588, 548, -1},
{ 3089, 2589, 925, -1},
{ 3090, 2590, 918, -1},
{ 3091, 2591, 1020, -1},
{ 3092, 2592, 845, -1},
{ 3093, 2593, 548, -1},
{ 3094, 2594, 1034, -1},
{ 3095, 2595, 748, -1},
{ 3096, 2596, 925, -1},
{ 3097, 2597, 684, -1},
{ 3098, 2598, 586, -1},
{ 3099, 2599, 1042, -1},
{ 3100, 2600, 786, -1},
{ 3101, 2601, 1842, -1},
{ 3102, 2602, 908, -1},
{ 3103, 2603, 1067, -1},
{ 3104, 2604, 684, -1},
{ 3105, 2605, 1020, -1},
{ 3106, 2606, 534, -1},
{ 3107, 2607, 918, -1},
{ 3108, 2608, 749, -1},
{ 3109, 2609, 534, -1},
{ 3110, 2610, 586, -1},
{ 3111, 2611, 1042, -1},
{ 3112, 2612, 1042, -1},
{ 3113, 2613, 802, -1},
{ 3114, 2614, 1067, -1},
{ 3115, 2615, 703, -1},
{ 3116, 2616, 802, -1},
{ 3117, 2617, 548, -1},
{ 3118, 2618, 925, -1},
{ 3119, 2619, 918, -1},
{ 3120, 2620, 1020, -1},
{ 3121, 2621, 845, -1},
{ 3122, 2622, 548, -1},
{ 3123, 2623, 1034, -1},
{ 3124, 2624, 749, -1},
{ 3125, 2625, 925, -1},
{ 3126, 2626, 703, -1},
{ 3127, 2627, 586, -1},
{ 3128, 2628, 1042, -1},
{ 3129, 2629, 802, -1},
{ 3130, 2630, 1842, -1},
{ 3131, 2631, 925, -1},
{ 3132, 2632, 1067, -1},
{ 3133, 2633, 703, -1},
{ 3134, 2634, 1020, -1},
{ 3135, 2635, 548, -1},
{ 3136, 2636, 918, -1},
{ 3137, 2637, 845, -1},
{ 3138, 2638, 548, -1},
{ 3139, 2639, 586, -1},
{ 3140, 2640, 1042, -1},
{ 3141, 2641, 1042, -1},
{ 3142, 2642, 802, -1},
{ 3143, 2643, 1067, -1},
{ 3144, 2644, 703, -1},
{ 3145, 2645, 802, -1},
{ 3146, 2646, 548, -1},
{ 3147, 2647, 925, -1},
{ 3148, 2648, 918, -1},
{ 3149, 2649, 1020, -1},
{ 3150, 2650, 845, -1},
{ 3151, 2651, 548, -1},
{ 3152, 2652, 1034, -1},
{ 3153, 2653, 845, -1},
{ 3163, 2654, 925, -1},
{ 3164, 2655, 508, -1},
{ 3165, 2656, 508, -1},
{ 3166, 2657, 359, -1},
{ 3167, 2658, 890, -1},
{ 3168, 2659, 703, -1},
{ 3169, 2660, 1034, -1},
{ 3170, 2661, 623, -1},
{ 3171, 2662, 382, -1},
{ 3172, 2663, 1042, -1},
{ 3173, 2664, 1042, -1},
{ 3174, 2665, 658, -1},
{ 3175, 2666, 1020, -1},
{ 3176, 2667, 639, -1},
{ 3177, 2668, 1034, -1},
{ 3178, 2669, 1799, -1},
{ 3179, 2670, 925, -1},
{ 3180, 2671, 508, -1},
{ 3181, 2672, 508, -1},
{ 3182, 2673, 359, -1},
{ 3183, 2674, 891, -1},
{ 3184, 2675, 703, -1},
{ 3185, 2676, 1034, -1},
{ 3186, 2677, 625, -1},
{ 3187, 2678, 383, -1},
{ 3188, 2679, 1042, -1},
{ 3189, 2680, 1042, -1},
{ 3190, 2681, 659, -1},
{ 3191, 2682, 1020, -1},
{ 3192, 2683, 639, -1},
{ 3193, 2684, 1034, -1},
{ 3194, 2685, 1802, -1},
{ 3195, 2686, 925, -1},
{ 3196, 2687, 508, -1},
{ 3197, 2688, 508, -1},
{ 3198, 2689, 359, -1},
{ 3199, 2690, 892, -1},
{ 3200, 2691, 703, -1},
{ 3201, 2692, 1034, -1},
{ 3202, 2693, 626, -1},
{ 3203, 2694, 384, -1},
{ 3204, 2695, 1042, -1},
{ 3205, 2696, 1042, -1},
{ 3206, 2697, 660, -1},
{ 3207, 2698, 1020, -1},
{ 3208, 2699, 639, -1},
{ 3209, 2700, 1034, -1},
{ 3210, 2701, 1804, -1},
{ 3211, 2702, 925, -1},
{ 3212, 2703, 508, -1},
{ 3213, 2704, 508, -1},
{ 3214, 2705, 359, -1},
{ 3215, 2706, 893, -1},
{ 3216, 2707, 703, -1},
{ 3217, 2708, 1034, -1},
{ 3218, 2709, 627, -1},
{ 3219, 2710, 385, -1},
{ 3220, 2711, 1042, -1},
{ 3221, 2712, 1042, -1},
{ 3222, 2713, 661, -1},
{ 3223, 2714, 1020, -1},
{ 3224, 2715, 639, -1},
{ 3225, 2716, 1034, -1},
{ 3226, 2717, 1806, -1},
{ 3227, 2718, 925, -1},
{ 3228, 2719, 508, -1},
{ 3229, 2720, 508, -1},
{ 3230, 2721, 359, -1},
{ 3231, 2722, 894, -1},
{ 3232, 2723, 703, -1},
{ 3233, 2724, 1034, -1},
{ 3234, 2725, 628, -1},
{ 3235, 2726, 386, -1},
{ 3236, 2727, 1042, -1},
{ 3237, 2728, 1042, -1},
{ 3238, 2729, 662, -1},
{ 3239, 2730, 1020, -1},
{ 3240, 2731, 639, -1},
{ 3241, 2732, 1034, -1},
{ 3242, 2733, 1808, -1},
{ 3243, 2734, 925, -1},
{ 3244, 2735, 508, -1},
{ 3245, 2736, 508, -1},
{ 3246, 2737, 359, -1},
{ 3247, 2738, 895, -1},
{ 3248, 2739, 703, -1},
{ 3249, 2740, 1034, -1},
{ 3250, 2741, 629, -1},
{ 3251, 2742, 387, -1},
{ 3252, 2743, 1042, -1},
{ 3253, 2744, 1042, -1},
{ 3254, 2745, 663, -1},
{ 3255, 2746, 1020, -1},
{ 3256, 2747, 639, -1},
{ 3257, 2748, 1034, -1},
{ 3258, 2749, 1810, -1},
{ 3260, 2750, 588, -1},
{ 3261, 2751, 501, -1},
{ 3262, 2752, 588, -1},
{ 3263, 2753, 502, -1},
{ 3264, 2754, 588, -1},
{ 3265, 2755, 503, -1},
{ 3266, 2756, 588, -1},
{ 3267, 2757, 505, -1},
{ 3285, 2758, 925, -1},
{ 3286, 2759, 508, -1},
{ 3287, 2760, 508, -1},
{ 3288, 2761, 359, -1},
{ 3289, 2762, 890, -1},
{ 3290, 2763, 703, -1},
{ 3291, 2764, 1034, -1},
{ 3292, 2765, 631, -1},
{ 3293, 2766, 388, -1},
{ 3294, 2767, 1042, -1},
{ 3295, 2768, 1042, -1},
{ 3296, 2769, 658, -1},
{ 3297, 2770, 639, -1},
{ 3298, 2771, 1034, -1},
{ 3299, 2772, 1798, -1},
{ 3300, 2773, 1812, -1},
{ 3301, 2774, 925, -1},
{ 3302, 2775, 508, -1},
{ 3303, 2776, 508, -1},
{ 3304, 2777, 359, -1},
{ 3305, 2778, 891, -1},
{ 3306, 2779, 703, -1},
{ 3307, 2780, 1034, -1},
{ 3308, 2781, 632, -1},
{ 3309, 2782, 389, -1},
{ 3310, 2783, 1042, -1},
{ 3311, 2784, 1042, -1},
{ 3312, 2785, 659, -1},
{ 3313, 2786, 639, -1},
{ 3314, 2787, 1034, -1},
{ 3315, 2788, 1801, -1},
{ 3316, 2789, 1813, -1},
{ 3317, 2790, 925, -1},
{ 3318, 2791, 508, -1},
{ 3319, 2792, 508, -1},
{ 3320, 2793, 359, -1},
{ 3321, 2794, 892, -1},
{ 3322, 2795, 703, -1},
{ 3323, 2796, 1034, -1},
{ 3324, 2797, 633, -1},
{ 3325, 2798, 390, -1},
{ 3326, 2799, 1042, -1},
{ 3327, 2800, 1042, -1},
{ 3328, 2801, 660, -1},
{ 3329, 2802, 639, -1},
{ 3330, 2803, 1034, -1},
{ 3331, 2804, 1803, -1},
{ 3332, 2805, 1814, -1},
{ 3333, 2806, 925, -1},
{ 3334, 2807, 508, -1},
{ 3335, 2808, 508, -1},
{ 3336, 2809, 359, -1},
{ 3337, 2810, 893, -1},
{ 3338, 2811, 703, -1},
{ 3339, 2812, 1034, -1},
{ 3340, 2813, 634, -1},
{ 3341, 2814, 391, -1},
{ 3342, 2815, 1042, -1},
{ 3343, 2816, 1042, -1},
{ 3344, 2817, 661, -1},
{ 3345, 2818, 639, -1},
{ 3346, 2819, 1034, -1},
{ 3347, 2820, 1805, -1},
{ 3348, 2821, 1815, -1},
{ 3349, 2822, 925, -1},
{ 3350, 2823, 508, -1},
{ 3351, 2824, 508, -1},
{ 3352, 2825, 359, -1},
{ 3353, 2826, 894, -1},
{ 3354, 2827, 703, -1},
{ 3355, 2828, 1034, -1},
{ 3356, 2829, 635, -1},
{ 3357, 2830, 392, -1},
{ 3358, 2831, 1042, -1},
{ 3359, 2832, 1042, -1},
{ 3360, 2833, 662, -1},
{ 3361, 2834, 639, -1},
{ 3362, 2835, 1034, -1},
{ 3363, 2836, 1807, -1},
{ 3364, 2837, 1816, -1},
{ 3365, 2838, 925, -1},
{ 3366, 2839, 508, -1},
{ 3367, 2840, 508, -1},
{ 3368, 2841, 359, -1},
{ 3369, 2842, 895, -1},
{ 3370, 2843, 703, -1},
{ 3371, 2844, 1034, -1},
{ 3372, 2845, 636, -1},
{ 3373, 2846, 393, -1},
{ 3374, 2847, 1042, -1},
{ 3375, 2848, 1042, -1},
{ 3376, 2849, 663, -1},
{ 3377, 2850, 639, -1},
{ 3378, 2851, 1034, -1},
{ 3379, 2852, 1809, -1},
{ 3380, 2853, 1817, -1},
{ 3381, 2854, 918, -1},
{ 3382, 2855, 802, -1},
{ 3383, 2856, 925, -1},
{ 3384, 2857, 1042, -1},
{ 3386, 2858, 586, 675},
{ 3387, 2859, 1034, 676},
{ 3388, 2860, 1042, 677},
{ 3393, 2861, 918, -1},
{ 3394, 2862, 548, -1},
{ 3395, 2863, 473, -1},
{ 3396, 2864, 845, -1},
{ 3397, 2865, 1034, -1},
{ 3398, 2866, 1042, -1},
{ 3399, 2867, 918, -1},
{ 3400, 2868, 637, -1},
{ 3401, 2869, 1042, -1},
{ 3403, 2870, 588, -1},
{ 3404, 2871, 1042, -1},
{ 3406, 2872, 368, -1},
{ 3408, 2873, 925, 678},
{ 3409, 2874, 1020, 679},
{ 3410, 2875, 925, 680},
{ 3411, 2876, 925, 681},
{ 3412, 2877, 1034, 682},
{ 3413, 2878, 925, 683},
{ 3414, 2879, 925, 684},
{ 3415, 2880, 1042, 685},
{ 3416, 2881, 925, 686},
{ 3417, 2882, 925, 687},
{ 3418, 2883, 1068, 688},
{ 3419, 2884, 925, 689},
{ 3421, 2885, 925, -1},
{ 3422, 2886, 925, -1},
{ 3425, 2887, 581, -1},
{ 3426, 2888, 918, -1},
{ 3427, 2889, 581, -1},
{ 3428, 2890, 925, -1},
{ 3438, 2891, 1067, -1},
{ 3439, 2892, 900, -1},
{ 3440, 2893, 233, -1},
{ 3441, 2894, 200, -1},
{ 3442, 2895, 43, -1},
{ 3443, 2896, 607, -1},
{ 3444, 2897, 1013, -1},
{ 3445, 2898, 1067, -1},
{ 3446, 2899, 677, -1},
{ 3447, 2900, 1020, -1},
{ 3448, 2901, 1067, -1},
{ 3449, 2902, 918, -1},
{ 3450, 2903, 233, -1},
{ 3451, 2904, 202, -1},
{ 3452, 2905, 43, -1},
{ 3453, 2906, 608, -1},
{ 3454, 2907, 1014, -1},
{ 3455, 2908, 1067, -1},
{ 3456, 2909, 693, -1},
{ 3457, 2910, 1034, -1},
{ 3458, 2911, 1067, -1},
{ 3459, 2912, 925, -1},
{ 3460, 2913, 233, -1},
{ 3461, 2914, 204, -1},
{ 3462, 2915, 43, -1},
{ 3463, 2916, 609, -1},
{ 3464, 2917, 1015, -1},
{ 3465, 2918, 1067, -1},
{ 3466, 2919, 703, -1},
{ 3467, 2920, 1042, -1},
{ 3469, 2921, 1067, -1},
{ 3470, 2922, 945, -1},
{ 3471, 2923, 233, -1},
{ 3472, 2924, 206, -1},
{ 3473, 2925, 43, -1},
{ 3474, 2926, 610, -1},
{ 3475, 2927, 1016, -1},
{ 3476, 2928, 1067, -1},
{ 3477, 2929, 728, -1},
{ 3478, 2930, 1068, -1},
{ 3486, 2931, 2072, -1},
{ 3487, 2932, 1067, -1},
{ 3488, 2933, 845, -1},
{ 3489, 2934, 1842, -1},
{ 3490, 2935, 2057, -1},
{ 3491, 2936, 2050, -1},
{ 3492, 2937, 845, -1},
{ 3493, 2938, 581, -1},
{ 3494, 2939, 1020, -1},
{ 3495, 2940, 1034, -1},
{ 3496, 2941, 2072, -1},
{ 3497, 2942, 1067, -1},
{ 3498, 2943, 845, -1},
{ 3499, 2944, 1842, -1},
{ 3500, 2945, 2057, -1},
{ 3501, 2946, 2050, -1},
{ 3502, 2947, 845, -1},
{ 3503, 2948, 581, -1},
{ 3504, 2949, 1020, -1},
{ 3505, 2950, 1034, -1},
{ 3506, 2951, 2072, -1},
{ 3507, 2952, 1067, -1},
{ 3508, 2953, 845, -1},
{ 3509, 2954, 1842, -1},
{ 3510, 2955, 2057, -1},
{ 3511, 2956, 2050, -1},
{ 3512, 2957, 845, -1},
{ 3513, 2958, 581, -1},
{ 3514, 2959, 1020, -1},
{ 3515, 2960, 1034, -1},
{ 3516, 2961, 2072, -1},
{ 3517, 2962, 1067, -1},
{ 3518, 2963, 845, -1},
{ 3519, 2964, 1842, -1},
{ 3520, 2965, 2057, -1},
{ 3521, 2966, 2050, -1},
{ 3522, 2967, 845, -1},
{ 3523, 2968, 581, -1},
{ 3524, 2969, 1020, -1},
{ 3525, 2970, 1034, -1},
{ 3526, 2971, 368, -1},
{ 3527, 2972, 703, -1},
{ 3528, 2973, 1034, -1},
{ 3529, 2974, 452, -1},
{ 3530, 2975, 417, -1},
{ 3531, 2976, 802, -1},
{ 3532, 2977, 802, -1},
{ 3533, 2978, 847, -1},
{ 3534, 2979, 1042, -1},
{ 3535, 2980, 1042, -1},
{ 3536, 2981, 1042, -1},
{ 3537, 2982, 1042, -1},
{ 3539, 2983, 588, -1},
{ 3540, 2984, 900, -1},
{ 3541, 2985, 588, -1},
{ 3542, 2986, 918, -1},
{ 3543, 2987, 588, -1},
{ 3544, 2988, 925, -1},
{ 3545, 2989, 588, -1},
{ 3546, 2990, 938, -1},
{ 3547, 2991, 588, -1},
{ 3548, 2992, 939, -1},
{ 3550, 2993, 588, -1},
{ 3551, 2994, 589, -1},
{ 3552, 2995, 588, -1},
{ 3553, 2996, 597, -1},
{ 3554, 2997, 588, -1},
{ 3555, 2998, 598, -1},
{ 3557, 2999, 588, -1},
{ 3558, 3000, 368, -1},
{ 3560, 3001, 588, -1},
{ 3561, 3002, 241, -1},
{ 3563, 3003, 1067, -1},
{ 3564, 3004, 925, -1},
{ 3565, 3005, 481, -1},
{ 3566, 3006, 1948, -1},
{ 3567, 3007, 481, -1},
{ 3568, 3008, 918, -1},
{ 3569, 3009, 925, -1},
{ 3572, 3010, 1067, -1},
{ 3573, 3011, 925, -1},
{ 3574, 3012, 481, -1},
{ 3575, 3013, 1948, -1},
{ 3576, 3014, 481, -1},
{ 3577, 3015, 925, -1},
{ 3578, 3016, 925, -1},
{ 3579, 3017, 1067, -1},
{ 3580, 3018, 481, -1},
{ 3581, 3019, 481, -1},
{ 3582, 3020, 1067, -1},
{ 3583, 3021, 481, -1},
{ 3584, 3022, 481, -1},
{ 3585, 3023, 1067, -1},
{ 3586, 3024, 481, -1},
{ 3587, 3025, 481, -1},
{ 3590, 3026, 892, -1},
{ 3591, 3027, 918, -1},
{ 3592, 3028, 1010, -1},
{ 3593, 3029, 1067, -1},
{ 3594, 3030, 1067, -1},
{ 3595, 3031, 1034, -1},
{ 3596, 3032, 639, -1},
{ 3597, 3033, 1034, -1},
{ 3598, 3034, 892, -1},
{ 3599, 3035, 918, -1},
{ 3600, 3036, 1010, -1},
{ 3601, 3037, 1067, -1},
{ 3602, 3038, 1067, -1},
{ 3603, 3039, 1034, -1},
{ 3604, 3040, 893, -1},
{ 3605, 3041, 925, -1},
{ 3606, 3042, 1011, -1},
{ 3607, 3043, 1067, -1},
{ 3608, 3044, 1067, -1},
{ 3609, 3045, 1042, -1},
{ 3610, 3046, 639, -1},
{ 3611, 3047, 1034, -1},
{ 3612, 3048, 893, -1},
{ 3613, 3049, 925, -1},
{ 3614, 3050, 1011, -1},
{ 3615, 3051, 1067, -1},
{ 3616, 3052, 1067, -1},
{ 3617, 3053, 1034, -1},
{ 3621, 3054, 541, 690},
{ 3622, 3055, 776, 691},
{ 3623, 3056, 664, 692},
{ 3624, 3057, 703, 693},
{ 3625, 3058, 1034, 694},
{ 3626, 3059, 802, 695},
{ 3627, 3060, 452, 696},
{ 3628, 3061, 417, 697},
{ 3629, 3062, 802, 698},
{ 3630, 3063, 802, 699},
{ 3631, 3064, 1042, 700},
{ 3632, 3065, 589, 701},
{ 3633, 3066, 777, 702},
{ 3634, 3067, 665, 703},
{ 3635, 3068, 703, 704},
{ 3636, 3069, 1034, 705},
{ 3637, 3070, 802, 706},
{ 3638, 3071, 452, 707},
{ 3639, 3072, 417, 708},
{ 3640, 3073, 802, 709},
{ 3641, 3074, 802, 710},
{ 3642, 3075, 1042, 711},
{ 3646, 3076, 359, 712},
{ 3647, 3077, 779, 713},
{ 3648, 3078, 666, 714},
{ 3649, 3079, 703, 715},
{ 3650, 3080, 1034, 716},
{ 3651, 3081, 802, 717},
{ 3652, 3082, 452, 718},
{ 3653, 3083, 417, 719},
{ 3654, 3084, 802, 720},
{ 3655, 3085, 802, 721},
{ 3656, 3086, 1042, 722},
{ 3657, 3087, 368, 723},
{ 3658, 3088, 780, 724},
{ 3659, 3089, 667, 725},
{ 3660, 3090, 703, 726},
{ 3661, 3091, 1034, 727},
{ 3662, 3092, 802, 728},
{ 3663, 3093, 452, 729},
{ 3664, 3094, 417, 730},
{ 3665, 3095, 802, 731},
{ 3666, 3096, 802, 732},
{ 3667, 3097, 1042, 733},
{ 3671, 3098, 126, 734},
{ 3672, 3099, 781, 735},
{ 3673, 3100, 668, 736},
{ 3674, 3101, 703, 737},
{ 3675, 3102, 1034, 738},
{ 3676, 3103, 802, 739},
{ 3677, 3104, 452, 740},
{ 3678, 3105, 417, 741},
{ 3679, 3106, 802, 742},
{ 3680, 3107, 802, 743},
{ 3681, 3108, 1042, 744},
{ 3682, 3109, 139, 745},
{ 3683, 3110, 782, 746},
{ 3684, 3111, 669, 747},
{ 3685, 3112, 703, 748},
{ 3686, 3113, 1034, 749},
{ 3687, 3114, 802, 750},
{ 3688, 3115, 452, 751},
{ 3689, 3116, 417, 752},
{ 3690, 3117, 802, 753},
{ 3691, 3118, 802, 754},
{ 3692, 3119, 1042, 755},
{ 3708, 3120, 2072, -1},
{ 3709, 3121, 942, 756},
{ 3710, 3122, 897, 757},
{ 3711, 3123, 897, 758},
{ 3712, 3124, 508, 759},
{ 3713, 3125, 670, 760},
{ 3714, 3126, 703, 761},
{ 3715, 3127, 1581, -1},
{ 3716, 3128, 2069, -1},
{ 3717, 3129, 1034, 762},
{ 3718, 3130, 2069, -1},
{ 3719, 3131, 2057, -1},
{ 3720, 3132, 1625, -1},
{ 3721, 3133, 1042, 763},
{ 3722, 3134, 481, 764},
{ 3723, 3135, 2057, -1},
{ 3724, 3136, 866, 765},
{ 3725, 3137, 2048, -1},
{ 3726, 3138, 1595, -1},
{ 3727, 3139, 1820, -1},
{ 3728, 3140, 1595, -1},
{ 3729, 3141, 2072, -1},
{ 3730, 3142, 944, 766},
{ 3731, 3143, 897, 767},
{ 3732, 3144, 897, 768},
{ 3733, 3145, 508, 769},
{ 3734, 3146, 671, 770},
{ 3735, 3147, 703, 771},
{ 3736, 3148, 1582, -1},
{ 3737, 3149, 2071, -1},
{ 3738, 3150, 1034, 772},
{ 3739, 3151, 2071, -1},
{ 3740, 3152, 2057, -1},
{ 3741, 3153, 1626, -1},
{ 3742, 3154, 1042, 773},
{ 3743, 3155, 481, 774},
{ 3744, 3156, 2057, -1},
{ 3745, 3157, 872, 775},
{ 3746, 3158, 2049, -1},
{ 3747, 3159, 1596, -1},
{ 3748, 3160, 1821, -1},
{ 3749, 3161, 1596, -1},
{ 3751, 3162, 925, -1},
{ 3752, 3163, 581, -1},
{ 3753, 3164, 592, -1},
{ 3754, 3165, 1067, -1},
{ 3755, 3166, 592, -1},
{ 3758, 3167, 589, -1},
{ 3759, 3168, 1042, -1},
{ 3760, 3169, 1020, -1},
{ 3761, 3170, 847, -1},
{ 3764, 3171, 589, -1},
{ 3765, 3172, 1042, -1},
{ 3766, 3173, 1067, -1},
{ 3767, 3174, 1020, -1},
{ 3768, 3175, 847, -1},
{ 3771, 3176, 589, -1},
{ 3772, 3177, 1042, -1},
{ 3773, 3178, 1020, -1},
{ 3774, 3179, 847, -1},
{ 3776, 3180, 2061, -1},
{ 3777, 3181, 1948, -1},
{ 3778, 3182, 1948, -1},
{ 3779, 3183, 1948, -1},
{ 3781, 3184, 1773, -1},
{ 3782, 3185, 1774, -1},
{ 3783, 3186, 1776, -1},
{ 3784, 3187, 1560, -1},
{ 3785, 3188, 1568, -1},
{ 3786, 3189, 1948, -1},
{ 3787, 3190, 1948, -1},
{ 3789, 3191, 1841, -1},
{ 3790, 3192, 1996, -1},
{ 3791, 3193, 1873, -1},
{ 3792, 3194, 1889, -1},
{ 3793, 3195, 1905, -1},
{ 3794, 3196, 1917, -1},
{ 3795, 3197, 1947, -1},
{ 3796, 3198, 1966, -1},
{ 3797, 3199, 1979, -1},
{ 3798, 3200, 2022, -1},
{ 3803, 3201, 1451, -1},
{ 3804, 3202, 1451, -1},
{ 3807, 3203, 1305, -1},
{ 3808, 3204, 1305, -1},
{ 3809, 3205, 1305, -1},
{ 3810, 3206, 1305, -1},
{ 3811, 3207, 1305, -1},
{ 3812, 3208, 1305, -1},
{ 3813, 3209, 1305, -1},
{ 3814, 3210, 1305, -1},
{ 3815, 3211, 1305, -1},
{ 3816, 3212, 1305, -1},
{ 3817, 3213, 1948, -1},
{ 3818, 3214, 417, -1},
{ 3819, 3215, 491, -1},
{ 3820, 3216, 437, -1},
{ 3821, 3217, 440, -1},
{ 3822, 3218, 452, -1},
{ 3823, 3219, 462, -1},
{ 3824, 3220, 481, -1},
{ 3825, 3221, 589, -1},
{ 3826, 3222, 487, -1},
{ 3827, 3223, 488, -1},
{ 3828, 3224, 493, -1},
{ 3829, 3225, 481, -1},
{ 3830, 3226, 417, -1},
{ 3831, 3227, 452, -1},
{ 3832, 3228, 481, -1},
{ 3833, 3229, 589, -1},
{ 3834, 3230, 481, -1},
{ 3839, 3231, 1841, -1},
{ 3840, 3232, 1996, -1},
{ 3841, 3233, 1873, -1},
{ 3842, 3234, 1889, -1},
{ 3843, 3235, 1905, -1},
{ 3844, 3236, 1917, -1},
{ 3845, 3237, 1947, -1},
{ 3846, 3238, 1966, -1},
{ 3847, 3239, 1979, -1},
{ 3848, 3240, 2022, -1},
{ 3849, 3241, 802, -1},
{ 3850, 3242, 847, -1},
{ 3851, 3243, 847, -1},
{ 3852, 3244, 589, -1},
{ 3853, 3245, 589, -1},
{ 3856, 3246, 417, -1},
{ 3857, 3247, 491, -1},
{ 3858, 3248, 437, -1},
{ 3859, 3249, 440, -1},
{ 3860, 3250, 452, -1},
{ 3861, 3251, 462, -1},
{ 3862, 3252, 481, -1},
{ 3863, 3253, 487, -1},
{ 3864, 3254, 488, -1},
{ 3865, 3255, 493, -1},
{ 3868, 3256, 417, -1},
{ 3869, 3257, 452, -1},
{ 3870, 3258, 481, -1},
{ 3872, 3259, 802, -1},
{ 3873, 3260, 847, -1},
{ 3875, 3261, 847, -1},
{ 3877, 3262, 589, -1},
{ 3879, 3263, 589, -1},
{ 3880, 3264, 1948, -1},
{ 3881, 3265, 1948, -1},
{ 3882, 3266, 1948, -1},
{ 3883, 3267, 1948, -1},
{ 3884, 3268, 1948, -1},
{ 3885, 3269, 1948, -1},
{ 3886, 3270, 1776, -1},
{ 3887, 3271, 1776, -1},
{ 3888, 3272, 1776, -1},
{ 3889, 3273, 1557, -1},
{ 3890, 3274, 1948, -1},
{ 3891, 3275, 1948, -1},
{ 3892, 3276, 1948, -1},
{ 3893, 3277, 1670, -1},
{ 3894, 3278, 1671, -1},
{ 3895, 3279, 1439, -1},
{ 3896, 3280, 1288, -1},
{ 3900, 3281, 1196, -1},
{ 3901, 3282, 1197, -1},
{ 3902, 3283, 1709, -1},
{ 3910, 3284, 2061, -1},
{ 3911, 3285, 2061, -1},
{ 3912, 3286, 2061, -1},
{ 3913, 3287, 2061, -1},
{ 3914, 3288, 2061, -1},
{ 3915, 3289, 2061, -1},
{ 3916, 3290, 2061, -1},
{ 3917, 3291, 2061, -1},
{ 3918, 3292, 2061, -1},
{ 3919, 3293, 2061, -1},
{ 3920, 3294, 1616, -1},
{ 3921, 3295, 1776, -1},
{ 3922, 3296, 1360, -1},
{ 3923, 3297, 1709, -1},
{ 3924, 3298, 1709, -1},
{ 3926, 3299, 1670, -1},
{ 3927, 3300, 1437, -1},
{ 3930, 3301, 1288, -1},
{ 3931, 3302, 1709, -1},
{ 3932, 3303, 1670, -1},
{ 3933, 3304, 1437, -1},
{ 3936, 3305, 1288, -1},
{ 3937, 3306, 1776, -1},
{ 3938, 0, 0, -1},
{ 3939, 3307, 1670, -1},
{ 3940, 3308, 1438, -1},
{ 3944, 3309, 1287, -1},
{ 3945, 3310, 1287, -1},
{ 3946, 3311, 1290, -1},
{ 3947, 3312, 1294, -1},
{ 3948, 3313, 1295, -1},
{ 3949, 3314, 1296, -1},
{ 3950, 3315, 1297, -1},
{ 3953, 3316, 1287, -1},
{ 3954, 3317, 1287, -1},
{ 3955, 3318, 1290, -1},
{ 3956, 3319, 1294, -1},
{ 3957, 3320, 1295, -1},
{ 3958, 3321, 1296, -1},
{ 3959, 3322, 1297, -1},
{ 3960, 3323, 875, -1},
{ 3961, 3324, 876, -1},
{ 3962, 3325, 877, -1},
{ 3963, 3326, 878, -1},
{ 3964, 3327, 879, -1},
{ 3965, 3328, 880, -1},
{ 3966, 3329, 881, -1},
{ 3967, 3330, 882, -1},
{ 3968, 3331, 883, -1},
{ 3969, 3332, 884, -1},
{ 3970, 3333, 885, -1},
{ 3971, 3334, 886, -1},
{ 3972, 3335, 896, -1},
{ 3973, 3336, 899, -1},
{ 3974, 3337, 900, -1},
{ 3975, 3338, 900, -1},
{ 3976, 3339, 942, -1},
{ 3977, 3340, 907, -1},
{ 3978, 3341, 908, -1},
{ 3979, 3342, 910, -1},
{ 3980, 3343, 911, -1},
{ 3981, 3344, 912, -1},
{ 3982, 3345, 913, -1},
{ 3983, 3346, 915, -1},
{ 3984, 3347, 917, -1},
{ 3985, 3348, 918, -1},
{ 3986, 3349, 918, -1},
{ 3987, 3350, 919, -1},
{ 3988, 3351, 920, -1},
{ 3989, 3352, 921, -1},
{ 3990, 3353, 922, -1},
{ 3991, 3354, 923, -1},
{ 3992, 3355, 924, -1},
{ 3993, 3356, 925, -1},
{ 3994, 3357, 926, -1},
{ 3995, 3358, 927, -1},
{ 3996, 3359, 929, -1},
{ 3997, 3360, 932, -1},
{ 3998, 3361, 936, -1},
{ 3999, 3362, 937, -1},
{ 4000, 3363, 937, -1},
{ 4001, 3364, 939, -1},
{ 4002, 3365, 941, -1},
{ 4003, 3366, 942, -1},
{ 4004, 3367, 942, -1},
{ 4005, 3368, 943, -1},
{ 4006, 3369, 944, -1},
{ 4007, 3370, 946, -1},
{ 4008, 3371, 947, -1},
{ 4009, 3372, 948, -1},
{ 4010, 3373, 949, -1},
{ 4011, 3374, 950, -1},
{ 4012, 3375, 951, -1},
{ 4013, 3376, 952, -1},
{ 4014, 3377, 953, -1},
{ 4015, 3378, 954, -1},
{ 4016, 3379, 955, -1},
{ 4017, 3380, 957, -1},
{ 4018, 3381, 958, -1},
{ 4019, 3382, 959, -1},
{ 4020, 3383, 960, -1},
{ 4021, 3384, 641, -1},
{ 4022, 3385, 642, -1},
{ 4023, 3386, 643, -1},
{ 4024, 3387, 644, -1},
{ 4025, 3388, 645, -1},
{ 4026, 3389, 646, -1},
{ 4027, 3390, 647, -1},
{ 4028, 3391, 648, -1},
{ 4029, 3392, 649, -1},
{ 4030, 3393, 650, -1},
{ 4031, 3394, 651, -1},
{ 4032, 3395, 652, -1},
{ 4033, 3396, 665, -1},
{ 4034, 3397, 675, -1},
{ 4035, 3398, 677, -1},
{ 4036, 3399, 677, -1},
{ 4037, 3400, 720, -1},
{ 4038, 3401, 683, -1},
{ 4039, 3402, 684, -1},
{ 4040, 3403, 685, -1},
{ 4041, 3404, 687, -1},
{ 4042, 3405, 688, -1},
{ 4043, 3406, 689, -1},
{ 4044, 3407, 690, -1},
{ 4045, 3408, 692, -1},
{ 4046, 3409, 693, -1},
{ 4047, 3410, 693, -1},
{ 4048, 3411, 694, -1},
{ 4049, 3412, 695, -1},
{ 4050, 3413, 696, -1},
{ 4051, 3414, 697, -1},
{ 4052, 3415, 698, -1},
{ 4053, 3416, 700, -1},
{ 4054, 3417, 703, -1},
{ 4055, 3418, 704, -1},
{ 4056, 3419, 705, -1},
{ 4057, 3420, 707, -1},
{ 4058, 3421, 711, -1},
{ 4059, 3422, 713, -1},
{ 4060, 3423, 714, -1},
{ 4061, 3424, 714, -1},
{ 4062, 3425, 717, -1},
{ 4063, 3426, 719, -1},
{ 4064, 3427, 720, -1},
{ 4065, 3428, 720, -1},
{ 4066, 3429, 721, -1},
{ 4067, 3430, 722, -1},
{ 4068, 3431, 729, -1},
{ 4069, 3432, 730, -1},
{ 4070, 3433, 731, -1},
{ 4071, 3434, 732, -1},
{ 4072, 3435, 733, -1},
{ 4073, 3436, 734, -1},
{ 4074, 3437, 735, -1},
{ 4075, 3438, 736, -1},
{ 4076, 3439, 737, -1},
{ 4077, 3440, 738, -1},
{ 4078, 3441, 740, -1},
{ 4079, 3442, 742, -1},
{ 4080, 3443, 743, -1},
{ 4081, 3444, 744, -1},
{ 4082, 3445, 586, -1},
{ 4083, 3446, 586, -1},
{ 4084, 3447, 586, -1},
{ 4085, 3448, 586, -1},
{ 4086, 3449, 586, -1},
{ 4087, 3450, 586, -1},
{ 4088, 3451, 586, -1},
{ 4089, 3452, 586, -1},
{ 4090, 3453, 586, -1},
{ 4091, 3454, 586, -1},
{ 4092, 3455, 586, -1},
{ 4093, 3456, 586, -1},
{ 4094, 3457, 586, -1},
{ 4095, 3458, 586, -1},
{ 4096, 3459, 586, -1},
{ 4097, 3460, 586, -1},
{ 4098, 3461, 586, -1},
{ 4099, 3462, 586, -1},
{ 4100, 3463, 586, -1},
{ 4101, 3464, 586, -1},
{ 4102, 3465, 586, -1},
{ 4103, 3466, 586, -1},
{ 4104, 3467, 586, -1},
{ 4105, 3468, 586, -1},
{ 4106, 3469, 586, -1},
{ 4107, 3470, 586, -1},
{ 4108, 3471, 586, -1},
{ 4109, 3472, 586, -1},
{ 4110, 3473, 586, -1},
{ 4111, 3474, 586, -1},
{ 4112, 3475, 586, -1},
{ 4113, 3476, 586, -1},
{ 4114, 3477, 586, -1},
{ 4115, 3478, 586, -1},
{ 4116, 3479, 586, -1},
{ 4117, 3480, 586, -1},
{ 4118, 3481, 586, -1},
{ 4119, 3482, 586, -1},
{ 4120, 3483, 586, -1},
{ 4121, 3484, 586, -1},
{ 4122, 3485, 586, -1},
{ 4123, 3486, 586, -1},
{ 4124, 3487, 586, -1},
{ 4125, 3488, 586, -1},
{ 4126, 3489, 586, -1},
{ 4127, 3490, 586, -1},
{ 4128, 3491, 586, -1},
{ 4129, 3492, 586, -1},
{ 4130, 3493, 586, -1},
{ 4131, 3494, 586, -1},
{ 4132, 3495, 586, -1},
{ 4133, 3496, 586, -1},
{ 4134, 3497, 586, -1},
{ 4135, 3498, 586, -1},
{ 4136, 3499, 586, -1},
{ 4137, 3500, 586, -1},
{ 4138, 3501, 586, -1},
{ 4139, 3502, 586, -1},
{ 4140, 3503, 586, -1},
{ 4141, 3504, 586, -1},
{ 4142, 3505, 586, -1},
{ 4143, 3506, 641, -1},
{ 4144, 3507, 642, -1},
{ 4145, 3508, 643, -1},
{ 4146, 3509, 644, -1},
{ 4147, 3510, 645, -1},
{ 4148, 3511, 646, -1},
{ 4149, 3512, 647, -1},
{ 4150, 3513, 648, -1},
{ 4151, 3514, 649, -1},
{ 4152, 3515, 650, -1},
{ 4153, 3516, 651, -1},
{ 4154, 3517, 652, -1},
{ 4155, 3518, 665, -1},
{ 4156, 3519, 675, -1},
{ 4157, 3520, 677, -1},
{ 4158, 3521, 677, -1},
{ 4159, 3522, 720, -1},
{ 4160, 3523, 683, -1},
{ 4161, 3524, 684, -1},
{ 4162, 3525, 685, -1},
{ 4163, 3526, 687, -1},
{ 4164, 3527, 688, -1},
{ 4165, 3528, 689, -1},
{ 4166, 3529, 690, -1},
{ 4167, 3530, 692, -1},
{ 4168, 3531, 693, -1},
{ 4169, 3532, 693, -1},
{ 4170, 3533, 694, -1},
{ 4171, 3534, 695, -1},
{ 4172, 3535, 696, -1},
{ 4173, 3536, 697, -1},
{ 4174, 3537, 698, -1},
{ 4175, 3538, 700, -1},
{ 4176, 3539, 703, -1},
{ 4177, 3540, 704, -1},
{ 4178, 3541, 705, -1},
{ 4179, 3542, 707, -1},
{ 4180, 3543, 711, -1},
{ 4181, 3544, 713, -1},
{ 4182, 3545, 714, -1},
{ 4183, 3546, 714, -1},
{ 4184, 3547, 717, -1},
{ 4185, 3548, 719, -1},
{ 4186, 3549, 720, -1},
{ 4187, 3550, 720, -1},
{ 4188, 3551, 721, -1},
{ 4189, 3552, 722, -1},
{ 4190, 3553, 729, -1},
{ 4191, 3554, 730, -1},
{ 4192, 3555, 731, -1},
{ 4193, 3556, 732, -1},
{ 4194, 3557, 733, -1},
{ 4195, 3558, 734, -1},
{ 4196, 3559, 735, -1},
{ 4197, 3560, 736, -1},
{ 4198, 3561, 737, -1},
{ 4199, 3562, 738, -1},
{ 4200, 3563, 740, -1},
{ 4201, 3564, 742, -1},
{ 4202, 3565, 743, -1},
{ 4203, 3566, 744, -1},
{ 4204, 3567, 1042, -1},
{ 4205, 3568, 1042, -1},
{ 4206, 3569, 1042, -1},
{ 4207, 3570, 1042, -1},
{ 4208, 3571, 1042, -1},
{ 4209, 3572, 1042, -1},
{ 4210, 3573, 1042, -1},
{ 4211, 3574, 1042, -1},
{ 4212, 3575, 1042, -1},
{ 4213, 3576, 1042, -1},
{ 4214, 3577, 1042, -1},
{ 4215, 3578, 1042, -1},
{ 4216, 3579, 1042, -1},
{ 4217, 3580, 1042, -1},
{ 4218, 3581, 1042, -1},
{ 4219, 3582, 1042, -1},
{ 4220, 3583, 1042, -1},
{ 4221, 3584, 1042, -1},
{ 4222, 3585, 1042, -1},
{ 4223, 3586, 1042, -1},
{ 4224, 3587, 1042, -1},
{ 4225, 3588, 1042, -1},
{ 4226, 3589, 1042, -1},
{ 4227, 3590, 1042, -1},
{ 4228, 3591, 1042, -1},
{ 4229, 3592, 1042, -1},
{ 4230, 3593, 1042, -1},
{ 4231, 3594, 1042, -1},
{ 4232, 3595, 1042, -1},
{ 4233, 3596, 1042, -1},
{ 4234, 3597, 1042, -1},
{ 4235, 3598, 1042, -1},
{ 4236, 3599, 1042, -1},
{ 4237, 3600, 1042, -1},
{ 4238, 3601, 1042, -1},
{ 4239, 3602, 1042, -1},
{ 4240, 3603, 1042, -1},
{ 4241, 3604, 1042, -1},
{ 4242, 3605, 1042, -1},
{ 4243, 3606, 1042, -1},
{ 4244, 3607, 1042, -1},
{ 4245, 3608, 1042, -1},
{ 4246, 3609, 1042, -1},
{ 4247, 3610, 1042, -1},
{ 4248, 3611, 1042, -1},
{ 4249, 3612, 1042, -1},
{ 4250, 3613, 1042, -1},
{ 4251, 3614, 1042, -1},
{ 4252, 3615, 1042, -1},
{ 4253, 3616, 1042, -1},
{ 4254, 3617, 1042, -1},
{ 4255, 3618, 1042, -1},
{ 4256, 3619, 1042, -1},
{ 4257, 3620, 1042, -1},
{ 4258, 3621, 1042, -1},
{ 4259, 3622, 1042, -1},
{ 4260, 3623, 1042, -1},
{ 4261, 3624, 1042, -1},
{ 4262, 3625, 1042, -1},
{ 4263, 3626, 1042, -1},
{ 4264, 3627, 1042, -1},
{ 4265, 3628, 611, -1},
{ 4266, 3629, 612, -1},
{ 4267, 3630, 613, -1},
{ 4268, 3631, 614, -1},
{ 4269, 3632, 615, -1},
{ 4270, 3633, 616, -1},
{ 4271, 3634, 617, -1},
{ 4272, 3635, 618, -1},
{ 4273, 3636, 619, -1},
{ 4274, 3637, 620, -1},
{ 4275, 3638, 621, -1},
{ 4276, 3639, 622, -1},
{ 4277, 3640, 638, -1},
{ 4278, 3641, 640, -1},
{ 4279, 3642, 693, -1},
{ 4280, 3643, 693, -1},
{ 4281, 3644, 866, -1},
{ 4282, 3645, 748, -1},
{ 4283, 3646, 749, -1},
{ 4284, 3647, 751, -1},
{ 4285, 3648, 755, -1},
{ 4286, 3649, 757, -1},
{ 4287, 3650, 758, -1},
{ 4288, 3651, 760, -1},
{ 4289, 3652, 761, -1},
{ 4290, 3653, 795, -1},
{ 4291, 3654, 795, -1},
{ 4292, 3655, 829, -1},
{ 4293, 3656, 832, -1},
{ 4294, 3657, 833, -1},
{ 4295, 3658, 834, -1},
{ 4296, 3659, 835, -1},
{ 4297, 3660, 836, -1},
{ 4298, 3661, 845, -1},
{ 4299, 3662, 852, -1},
{ 4300, 3663, 853, -1},
{ 4301, 3664, 854, -1},
{ 4302, 3665, 855, -1},
{ 4303, 3666, 856, -1},
{ 4304, 3667, 858, -1},
{ 4305, 3668, 858, -1},
{ 4306, 3669, 860, -1},
{ 4307, 3670, 863, -1},
{ 4308, 3671, 866, -1},
{ 4309, 3672, 866, -1},
{ 4310, 3673, 870, -1},
{ 4311, 3674, 872, -1},
{ 4312, 3675, 962, -1},
{ 4313, 3676, 963, -1},
{ 4314, 3677, 964, -1},
{ 4315, 3678, 965, -1},
{ 4316, 3679, 966, -1},
{ 4317, 3680, 967, -1},
{ 4318, 3681, 968, -1},
{ 4319, 3682, 969, -1},
{ 4320, 3683, 970, -1},
{ 4321, 3684, 971, -1},
{ 4322, 3685, 974, -1},
{ 4323, 3686, 975, -1},
{ 4324, 3687, 976, -1},
{ 4325, 3688, 977, -1},
{ 4326, 3689, 763, -1},
{ 4327, 3690, 764, -1},
{ 4328, 3691, 765, -1},
{ 4329, 3692, 766, -1},
{ 4330, 3693, 767, -1},
{ 4331, 3694, 768, -1},
{ 4332, 3695, 769, -1},
{ 4333, 3696, 770, -1},
{ 4334, 3697, 771, -1},
{ 4335, 3698, 772, -1},
{ 4336, 3699, 773, -1},
{ 4337, 3700, 774, -1},
{ 4338, 3701, 777, -1},
{ 4339, 3702, 783, -1},
{ 4340, 3703, 784, -1},
{ 4341, 3704, 784, -1},
{ 4342, 3705, 811, -1},
{ 4343, 3706, 785, -1},
{ 4344, 3707, 786, -1},
{ 4345, 3708, 787, -1},
{ 4346, 3709, 789, -1},
{ 4347, 3710, 790, -1},
{ 4348, 3711, 791, -1},
{ 4349, 3712, 792, -1},
{ 4350, 3713, 794, -1},
{ 4351, 3714, 795, -1},
{ 4352, 3715, 795, -1},
{ 4353, 3716, 796, -1},
{ 4354, 3717, 797, -1},
{ 4355, 3718, 798, -1},
{ 4356, 3719, 799, -1},
{ 4357, 3720, 800, -1},
{ 4358, 3721, 801, -1},
{ 4359, 3722, 802, -1},
{ 4360, 3723, 803, -1},
{ 4361, 3724, 804, -1},
{ 4362, 3725, 805, -1},
{ 4363, 3726, 806, -1},
{ 4364, 3727, 807, -1},
{ 4365, 3728, 808, -1},
{ 4366, 3729, 808, -1},
{ 4367, 3730, 809, -1},
{ 4368, 3731, 810, -1},
{ 4369, 3732, 811, -1},
{ 4370, 3733, 811, -1},
{ 4371, 3734, 812, -1},
{ 4372, 3735, 813, -1},
{ 4373, 3736, 815, -1},
{ 4374, 3737, 816, -1},
{ 4375, 3738, 817, -1},
{ 4376, 3739, 818, -1},
{ 4377, 3740, 819, -1},
{ 4378, 3741, 820, -1},
{ 4379, 3742, 821, -1},
{ 4380, 3743, 822, -1},
{ 4381, 3744, 823, -1},
{ 4382, 3745, 824, -1},
{ 4383, 3746, 825, -1},
{ 4384, 3747, 826, -1},
{ 4385, 3748, 827, -1},
{ 4386, 3749, 828, -1},
{ 4387, 3750, 517, -1},
{ 4388, 3751, 518, -1},
{ 4389, 3752, 519, -1},
{ 4390, 3753, 520, -1},
{ 4391, 3754, 521, -1},
{ 4392, 3755, 522, -1},
{ 4393, 3756, 523, -1},
{ 4394, 3757, 524, -1},
{ 4395, 3758, 525, -1},
{ 4396, 3759, 526, -1},
{ 4397, 3760, 527, -1},
{ 4398, 3761, 528, -1},
{ 4399, 3762, 529, -1},
{ 4400, 3763, 531, -1},
{ 4401, 3764, 532, -1},
{ 4402, 3765, 532, -1},
{ 4403, 3766, 557, -1},
{ 4404, 3767, 533, -1},
{ 4405, 3768, 534, -1},
{ 4406, 3769, 535, -1},
{ 4407, 3770, 536, -1},
{ 4408, 3771, 537, -1},
{ 4409, 3772, 538, -1},
{ 4410, 3773, 539, -1},
{ 4411, 3774, 540, -1},
{ 4412, 3775, 541, -1},
{ 4413, 3776, 541, -1},
{ 4414, 3777, 542, -1},
{ 4415, 3778, 543, -1},
{ 4416, 3779, 544, -1},
{ 4417, 3780, 545, -1},
{ 4418, 3781, 546, -1},
{ 4419, 3782, 547, -1},
{ 4420, 3783, 548, -1},
{ 4421, 3784, 549, -1},
{ 4422, 3785, 550, -1},
{ 4423, 3786, 551, -1},
{ 4424, 3787, 552, -1},
{ 4425, 3788, 553, -1},
{ 4426, 3789, 554, -1},
{ 4427, 3790, 554, -1},
{ 4428, 3791, 555, -1},
{ 4429, 3792, 556, -1},
{ 4430, 3793, 557, -1},
{ 4431, 3794, 557, -1},
{ 4432, 3795, 558, -1},
{ 4433, 3796, 559, -1},
{ 4434, 3797, 560, -1},
{ 4435, 3798, 561, -1},
{ 4436, 3799, 562, -1},
{ 4437, 3800, 563, -1},
{ 4438, 3801, 564, -1},
{ 4439, 3802, 565, -1},
{ 4440, 3803, 566, -1},
{ 4441, 3804, 567, -1},
{ 4442, 3805, 568, -1},
{ 4443, 3806, 569, -1},
{ 4444, 3807, 570, -1},
{ 4445, 3808, 571, -1},
{ 4446, 3809, 572, -1},
{ 4447, 3810, 573, -1},
{ 4449, 3811, 611, -1},
{ 4450, 3812, 612, -1},
{ 4451, 3813, 613, -1},
{ 4452, 3814, 614, -1},
{ 4453, 3815, 615, -1},
{ 4454, 3816, 616, -1},
{ 4455, 3817, 617, -1},
{ 4456, 3818, 618, -1},
{ 4457, 3819, 619, -1},
{ 4458, 3820, 620, -1},
{ 4459, 3821, 621, -1},
{ 4460, 3822, 622, -1},
{ 4461, 3823, 638, -1},
{ 4462, 3824, 640, -1},
{ 4463, 3825, 693, -1},
{ 4464, 3826, 693, -1},
{ 4465, 3827, 866, -1},
{ 4466, 3828, 748, -1},
{ 4467, 3829, 749, -1},
{ 4468, 3830, 751, -1},
{ 4469, 3831, 755, -1},
{ 4470, 3832, 757, -1},
{ 4471, 3833, 758, -1},
{ 4472, 3834, 760, -1},
{ 4473, 3835, 761, -1},
{ 4474, 3836, 795, -1},
{ 4475, 3837, 795, -1},
{ 4476, 3838, 829, -1},
{ 4477, 3839, 832, -1},
{ 4478, 3840, 833, -1},
{ 4479, 3841, 834, -1},
{ 4480, 3842, 835, -1},
{ 4481, 3843, 836, -1},
{ 4482, 3844, 845, -1},
{ 4483, 3845, 852, -1},
{ 4484, 3846, 853, -1},
{ 4485, 3847, 854, -1},
{ 4486, 3848, 855, -1},
{ 4487, 3849, 856, -1},
{ 4488, 3850, 858, -1},
{ 4489, 3851, 858, -1},
{ 4490, 3852, 860, -1},
{ 4491, 3853, 863, -1},
{ 4492, 3854, 866, -1},
{ 4493, 3855, 866, -1},
{ 4494, 3856, 870, -1},
{ 4495, 3857, 872, -1},
{ 4496, 3858, 962, -1},
{ 4497, 3859, 963, -1},
{ 4498, 3860, 964, -1},
{ 4499, 3861, 965, -1},
{ 4500, 3862, 966, -1},
{ 4501, 3863, 967, -1},
{ 4502, 3864, 968, -1},
{ 4503, 3865, 969, -1},
{ 4504, 3866, 970, -1},
{ 4505, 3867, 971, -1},
{ 4506, 3868, 974, -1},
{ 4507, 3869, 975, -1},
{ 4508, 3870, 976, -1},
{ 4509, 3871, 977, -1},
{ 4510, 3872, 517, -1},
{ 4511, 3873, 518, -1},
{ 4512, 3874, 519, -1},
{ 4513, 3875, 520, -1},
{ 4514, 3876, 521, -1},
{ 4515, 3877, 522, -1},
{ 4516, 3878, 523, -1},
{ 4517, 3879, 524, -1},
{ 4518, 3880, 525, -1},
{ 4519, 3881, 526, -1},
{ 4520, 3882, 527, -1},
{ 4521, 3883, 528, -1},
{ 4522, 3884, 529, -1},
{ 4523, 3885, 531, -1},
{ 4524, 3886, 532, -1},
{ 4525, 3887, 532, -1},
{ 4526, 3888, 557, -1},
{ 4527, 3889, 533, -1},
{ 4528, 3890, 534, -1},
{ 4529, 3891, 535, -1},
{ 4530, 3892, 536, -1},
{ 4531, 3893, 537, -1},
{ 4532, 3894, 538, -1},
{ 4533, 3895, 539, -1},
{ 4534, 3896, 540, -1},
{ 4535, 3897, 541, -1},
{ 4536, 3898, 541, -1},
{ 4537, 3899, 542, -1},
{ 4538, 3900, 543, -1},
{ 4539, 3901, 544, -1},
{ 4540, 3902, 545, -1},
{ 4541, 3903, 546, -1},
{ 4542, 3904, 547, -1},
{ 4543, 3905, 548, -1},
{ 4544, 3906, 549, -1},
{ 4545, 3907, 550, -1},
{ 4546, 3908, 551, -1},
{ 4547, 3909, 552, -1},
{ 4548, 3910, 553, -1},
{ 4549, 3911, 554, -1},
{ 4550, 3912, 554, -1},
{ 4551, 3913, 555, -1},
{ 4552, 3914, 556, -1},
{ 4553, 3915, 557, -1},
{ 4554, 3916, 557, -1},
{ 4555, 3917, 558, -1},
{ 4556, 3918, 559, -1},
{ 4557, 3919, 560, -1},
{ 4558, 3920, 561, -1},
{ 4559, 3921, 562, -1},
{ 4560, 3922, 563, -1},
{ 4561, 3923, 564, -1},
{ 4562, 3924, 565, -1},
{ 4563, 3925, 566, -1},
{ 4564, 3926, 567, -1},
{ 4565, 3927, 568, -1},
{ 4566, 3928, 569, -1},
{ 4567, 3929, 570, -1},
{ 4568, 3930, 571, -1},
{ 4569, 3931, 572, -1},
{ 4570, 3932, 573, -1},
{ 4571, 3933, 1670, -1},
{ 4572, 3934, 1438, -1},
{ 4575, 3935, 1290, -1},
{ 4577, 3936, 1290, -1},
{ 4580, 3937, 1757, -1},
{ 4581, 3938, 2038, -1},
{ 4582, 3939, 2038, -1},
{ 4585, 3940, 1559, -1},
{ 4586, 3941, 1559, -1},
{ 4587, 3942, 1559, -1},
{ 4588, 3943, 1559, -1},
{ 4589, 3944, 1559, -1},
{ 4590, 3945, 1559, -1},
{ 4591, 3946, 1559, -1},
{ 4592, 3947, 1559, -1},
{ 4593, 0, 0, -1},
{ 4594, 3948, 2038, -1},
{ 4595, 3949, 1776, -1},
{ 4596, 3950, 1776, -1},
{ 4597, 3951, 1776, -1},
{ 4598, 3952, 1776, -1},
{ 4599, 3953, 1559, -1},
{ 4600, 3954, 1568, -1},
{ 4601, 3955, 1568, -1},
{ 4607, 3956, 1355, -1},
{ 4608, 3957, 1355, -1},
{ 4609, 3958, 1355, -1},
{ 4610, 3959, 1355, -1},
{ 4611, 3960, 1355, -1},
{ 4612, 3961, 1355, -1},
{ 4613, 3962, 1355, -1},
{ 4614, 3963, 1355, -1},
{ 4615, 3964, 1360, -1},
{ 4619, 3965, 1239, -1},
{ 4620, 3966, 1239, -1},
{ 4621, 3967, 1616, -1},
{ 4622, 3968, 1707, -1},
{ 4625, 3969, 1903, -1},
{ 4627, 3970, 1948, -1},
{ 4628, 3971, 1560, -1},
{ 4630, 3972, 1942, -1},
{ 4631, 3973, 1945, -1},
{ 4632, 3974, 1948, -1},
{ 4633, 3975, 1948, -1},
{ 4644, 3976, 2038, -1},
{ 4645, 3977, 2038, -1},
{ 4646, 3978, 2038, -1},
{ 4647, 3979, 2038, -1},
{ 4650, 3980, 1519, -1},
{ 4651, 3981, 1519, -1},
{ 4652, 3982, 1519, -1},
{ 4653, 3983, 1519, -1},
{ 4654, 3984, 1519, -1},
{ 4655, 3985, 1519, -1},
{ 4656, 3986, 1709, -1},
{ 4658, 3987, 1485, -1},
{ 4659, 3988, 1616, -1},
{ 4660, 3989, 1948, -1},
{ 4661, 3990, 1948, -1},
{ 4662, 3991, 1948, -1},
{ 4663, 3992, 1948, -1},
{ 4664, 3993, 1948, -1},
{ 4665, 3994, 1948, -1},
{ 4666, 3995, 1842, -1},
{ 4667, 3996, 1616, -1},
{ 4671, 3997, 1709, -1},
{ 4672, 3998, 1616, -1},
{ 4674, 3999, 1402, -1},
{ 4675, 4000, 1709, -1},
{ 4676, 4001, 1485, -1},
{ 4677, 4002, 1485, -1},
{ 4679, 4003, 1326, -1},
{ 4680, 4004, 1326, -1},
{ 4681, 4005, 1948, -1},
{ 4682, 4006, 1709, -1},
{ 4683, 4007, 1042, -1},
{ 4684, 0, 0, -1},
{ 4685, 0, 0, -1},
{ 4687, 4008, 1948, -1},
{ 4691, 4009, 1903, -1},
{ 4693, 4010, 1941, -1},
{ 4694, 4011, 1697, -1},
{ 4696, 4012, 1941, -1},
{ 4698, 4013, 1697, -1},
{ 4699, 4014, 1929, -1},
{ 4700, 4015, 1561, -1},
{ 4701, 4016, 1766, -1},
{ 4702, 4017, 1776, -1},
{ 4703, 4018, 1373, -1},
{ 4704, 4019, 1374, -1},
{ 4705, 4020, 1650, -1},
{ 4706, 4021, 1656, -1},
{ 4707, 4022, 1657, -1},
{ 4710, 4023, 1834, -1},
{ 4711, 4024, 1834, -1},
{ 4712, 4025, 1589, -1},
{ 4713, 4026, 1593, -1},
{ 4714, 4027, 1589, -1},
{ 4715, 4028, 1593, -1},
{ 4716, 4029, 1811, -1},
{ 4717, 4030, 1796, -1},
{ 4718, 4031, 1797, -1},
{ 4719, 4032, 1577, -1},
{ 4720, 4033, 1579, -1},
{ 4721, 4034, 1580, -1},
{ 4722, 4035, 1822, -1},
{ 4723, 4036, 1827, -1},
{ 4724, 4037, 1823, -1},
{ 4725, 4038, 1828, -1},
{ 4726, 4039, 1824, -1},
{ 4727, 4040, 1829, -1},
{ 4733, 4041, 1822, -1},
{ 4734, 4042, 1827, -1},
{ 4735, 4043, 1823, -1},
{ 4736, 4044, 1828, -1},
{ 4737, 4045, 1824, -1},
{ 4738, 4046, 1829, -1},
{ 4739, 4047, 1825, -1},
{ 4740, 4048, 1826, -1},
{ 4741, 4049, 1948, -1},
{ 4742, 4050, 1709, -1},
{ 4743, 4051, 1367, -1},
{ 4744, 4052, 1368, -1},
{ 4745, 4053, 1369, -1},
{ 4746, 4054, 1370, -1},
{ 4747, 4055, 1371, -1},
{ 4748, 4056, 1774, -1},
{ 4749, 4057, 1776, -1},
{ 4750, 4058, 1948, -1},
{ 4751, 4059, 1948, -1},
{ 4752, 4060, 2050, -1},
{ 4753, 4061, 2050, -1},
{ 4754, 4062, 2050, -1},
{ 4755, 4063, 2050, -1},
{ 4756, 4064, 2050, -1},
{ 4757, 4065, 2050, -1},
{ 4758, 4066, 2050, -1},
{ 4759, 4067, 2050, -1},
{ 4760, 4068, 2050, -1},
{ 4761, 4069, 2050, -1},
{ 4762, 4070, 2050, -1},
{ 4763, 4071, 2050, -1},
{ 4764, 4072, 2050, -1},
{ 4765, 4073, 2050, -1},
{ 4766, 4074, 1709, -1},
{ 4767, 4075, 1709, -1},
{ 4768, 4076, 2061, -1},
{ 4770, 4077, 1421, -1},
{ 4771, 4078, 1427, -1},
{ 4772, 4079, 1425, -1},
{ 4775, 4080, 1383, -1},
{ 4776, 4081, 1383, -1},
{ 4777, 4082, 1463, -1},
{ 4778, 4083, 1464, -1},
{ 4779, 4084, 1467, -1},
{ 4780, 4085, 845, -1},
{ 4781, 4086, 847, -1},
{ 4782, 4087, 850, -1},
{ 4783, 4088, 1943, -1},
{ 4784, 4089, 1943, -1},
{ 4785, 4090, 1945, -1},
{ 4786, 4091, 1948, -1},
{ 4789, 4092, 1774, -1},
{ 4790, 4093, 1774, -1},
{ 4791, 4094, 1774, -1},
{ 4792, 4095, 1774, -1},
{ 4793, 4096, 1774, -1},
{ 4794, 4097, 1774, -1},
{ 4795, 4098, 1774, -1},
{ 4796, 4099, 1774, -1},
{ 4797, 4100, 1583, -1},
{ 4798, 4101, 1584, -1},
{ 4799, 4102, 1583, -1},
{ 4800, 4103, 1584, -1},
{ 4801, 4104, 1583, -1},
{ 4802, 4105, 1583, -1},
{ 4803, 4106, 1583, -1},
{ 4804, 4107, 1584, -1},
{ 4805, 4108, 1583, -1},
{ 4806, 4109, 1583, -1},
{ 4807, 4110, 1583, -1},
{ 4808, 4111, 1583, -1},
{ 4809, 4112, 1583, -1},
{ 4810, 4113, 1583, -1},
{ 4811, 4114, 1583, -1},
{ 4812, 4115, 1584, -1},
{ 4813, 4116, 1585, -1},
{ 4814, 4117, 1584, -1},
{ 4815, 4118, 1585, -1},
{ 4816, 4119, 1597, -1},
{ 4817, 4120, 1597, -1},
{ 4818, 4121, 1597, -1},
{ 4819, 4122, 1948, -1},
{ 4820, 4123, 1830, -1},
{ 4821, 4124, 1830, -1},
{ 4822, 4125, 1830, -1},
{ 4823, 4126, 1830, -1},
{ 4824, 4127, 1830, -1},
{ 4825, 4128, 1830, -1},
{ 4826, 4129, 1830, -1},
{ 4827, 4130, 1830, -1},
{ 4828, 4131, 1830, -1},
{ 4829, 4132, 1830, -1},
{ 4830, 4133, 1830, -1},
{ 4831, 4134, 1830, -1},
{ 4832, 4135, 1830, -1},
{ 4833, 4136, 1830, -1},
{ 4834, 4137, 1830, -1},
{ 4835, 4138, 1830, -1},
{ 4836, 4139, 1830, -1},
{ 4837, 4140, 1830, -1},
{ 4838, 4141, 1830, -1},
{ 4839, 4142, 1830, -1},
{ 4840, 4143, 1830, -1},
{ 4841, 4144, 1830, -1},
{ 4842, 4145, 1830, -1},
{ 4843, 4146, 1830, -1},
{ 4844, 4147, 1830, -1},
{ 4845, 4148, 1830, -1},
{ 4846, 4149, 1830, -1},
{ 4847, 4150, 1830, -1},
{ 4848, 4151, 1830, -1},
{ 4849, 4152, 1830, -1},
{ 4850, 4153, 1830, -1},
{ 4851, 4154, 1830, -1},
{ 4852, 4155, 1597, -1},
{ 4853, 4156, 1597, -1},
{ 4854, 4157, 1597, -1},
{ 4855, 4158, 1597, -1},
{ 4856, 4159, 1597, -1},
{ 4857, 4160, 1597, -1},
{ 4858, 4161, 1597, -1},
{ 4859, 4162, 1597, -1},
{ 4860, 4163, 1819, -1},
{ 4861, 4164, 1941, -1},
{ 4862, 4165, 1819, -1},
{ 4863, 4166, 1898, -1},
{ 4864, 4167, 1941, -1},
{ 4865, 4168, 1989, -1},
{ 4866, 4169, 2003, -1},
{ 4867, 4170, 2028, -1},
{ 4868, 4171, 2057, -1},
{ 4869, 4172, 2057, -1},
{ 4870, 4173, 2057, -1},
{ 4871, 4174, 2057, -1},
{ 4872, 4175, 2057, -1},
{ 4873, 4176, 2057, -1},
{ 4874, 4177, 2057, -1},
{ 4875, 4178, 1759, -1},
{ 4876, 4179, 1760, -1},
{ 4878, 4180, 1588, -1},
{ 4879, 4181, 1599, -1},
{ 4880, 4182, 1659, -1},
{ 4881, 4183, 1692, -1},
{ 4882, 4184, 1696, -1},
{ 4883, 4185, 1723, -1},
{ 4885, 4186, 2057, -1},
{ 4886, 4187, 2057, -1},
{ 4887, 4188, 2057, -1},
{ 4888, 4189, 2057, -1},
{ 4889, 4190, 2057, -1},
{ 4891, 4191, 1520, -1},
{ 4892, 4192, 1521, -1},
{ 4893, 4193, 1522, -1},
{ 4894, 4194, 1523, -1},
{ 4895, 4195, 1524, -1},
{ 4896, 4196, 1525, -1},
{ 4897, 4197, 1820, -1},
{ 4898, 4198, 1581, -1},
{ 4899, 4199, 1941, -1},
{ 4900, 4200, 1759, -1},
{ 4902, 4201, 1841, -1},
{ 4903, 4202, 1996, -1},
{ 4904, 4203, 1873, -1},
{ 4905, 4204, 1889, -1},
{ 4906, 4205, 1905, -1},
{ 4907, 4206, 1917, -1},
{ 4908, 4207, 1947, -1},
{ 4909, 4208, 1966, -1},
{ 4910, 4209, 1979, -1},
{ 4911, 4210, 2022, -1},
{ 4913, 4211, 1451, -1},
{ 4914, 4212, 1451, -1},
{ 4916, 4213, 1305, -1},
{ 4917, 4214, 1305, -1},
{ 4918, 4215, 1305, -1},
{ 4919, 4216, 1305, -1},
{ 4920, 4217, 1305, -1},
{ 4921, 4218, 1305, -1},
{ 4922, 4219, 1305, -1},
{ 4923, 4220, 1305, -1},
{ 4924, 4221, 1305, -1},
{ 4925, 4222, 1305, -1},
{ 4928, 4223, 1948, -1},
{ 4929, 4224, 1948, -1},
{ 4930, 4225, 1948, -1},
{ 4931, 4226, 1948, -1},
{ 4932, 4227, 1948, -1},
{ 4933, 4228, 1948, -1},
{ 4934, 4229, 1948, -1},
{ 4935, 4230, 1948, -1},
{ 4936, 4231, 1948, -1},
{ 4937, 4232, 1948, -1},
};