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