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