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