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