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