[ [ 10, 58, 77, 132, 133, 145, 191, 235, 248, 281, 295, 297, 359, 390, 430, 439, 491, 524, 602, 662, 
      677, 750, 934, 935, 985, 1016, 1021 ], 
  [ 2, 3, 4, 4, 5, 7, 7, 9, 9, 10, 13, 14, 20, 20, 22, 22, 23, 24, 28, 28, 32, 34, 35, 37, 37, 38, 39, 
      39, 40, 42, 42, 42, 43, 43, 45, 45, 45, 47, 47, 48, 52, 52, 52, 53, 54, 54, 55, 56, 56, 57, 58, 
      59, 59, 60, 60, 62, 63, 64, 64, 67, 68, 68, 69, 71, 73, 73, 75, 75, 76, 76, 77, 78, 79, 80, 80, 
      82, 82, 85, 85, 85, 86, 87, 87, 88, 90, 91, 92, 92, 94, 95, 96, 99, 99, 99, 99, 99, 101, 102, 
      103, 103, 104, 104, 106, 106, 106, 106, 106, 106, 106, 107, 107, 108, 108, 109, 109, 110, 111, 
      112, 113, 114, 117, 118, 119, 120, 121, 121, 122, 123, 123, 124, 124, 127, 131, 131, 133, 134, 
      135, 135, 135, 135, 135, 136, 136, 139, 140, 140, 141, 141, 142, 143, 143, 145, 145, 146, 146, 
      148, 151, 151, 152, 153, 153, 155, 160, 162, 162, 166, 167, 168, 170, 171, 171, 177, 178, 178, 
      178, 179, 181, 182, 183, 183, 184, 185, 185, 191, 191, 192, 193, 193, 194, 198, 203, 205, 205, 
      206, 208, 209, 209, 210, 210, 211, 211, 212, 212, 212, 213, 214, 214, 216, 217, 219, 219, 220, 
      221, 221, 223, 226, 229, 230, 231, 232, 232, 234, 234, 235, 236, 237, 238, 238, 239, 241, 242, 
      242, 244, 246, 246, 246, 247, 248, 250, 250, 251, 251, 253, 255, 255, 258, 259, 260, 260, 261, 
      261, 262, 262, 264, 264, 265, 266, 266, 267, 267, 269, 269, 270, 270, 271, 271, 275, 276, 278, 
      279, 279, 280, 281, 282, 284, 284, 285, 286, 287, 289, 289, 290, 290, 292, 293, 294, 294, 296, 
      296, 298, 299, 301, 302, 304, 304, 307, 312, 314, 315, 315, 315, 315, 315, 316, 318, 319, 319, 
      320, 323, 323, 326, 328, 329, 331, 334, 334, 335, 335, 336, 339, 340, 341, 341, 343, 343, 343, 
      343, 343, 344, 344, 344, 345, 346, 346, 348, 348, 350, 350, 351, 354, 355, 357, 357, 358, 358, 
      359, 360, 360, 361, 361, 362, 363, 363, 364, 364, 365, 365, 365, 365, 365, 365, 365, 367, 367, 
      368, 370, 370, 371, 372, 374, 375, 375, 376, 376, 377, 377, 379, 379, 380, 381, 382, 382, 387, 
      388, 392, 392, 393, 395, 395, 396, 399, 400, 401, 401, 402, 402, 405, 406, 407, 407, 409, 409, 
      410, 410, 413, 413, 414, 415, 416, 417, 418, 419, 423, 423, 428, 429, 430, 430, 431, 431, 431, 
      433, 435, 435, 436, 436, 437, 438, 439, 440, 440, 442, 443, 444, 445, 445, 446, 446, 447, 447, 
      450, 450, 450, 450, 450, 451, 452, 452, 453, 453, 454, 455, 456, 456, 457, 459, 460, 462, 463, 
      463, 464, 464, 465, 465, 467, 467, 471, 471, 472, 473, 474, 475, 477, 480, 480, 481, 482, 482, 
      483, 484, 485, 485, 485, 486, 486, 487, 488, 488, 489, 490, 490, 491, 492, 492, 494, 495, 497, 
      498, 499, 500, 500, 502, 503, 504, 505, 505, 505, 507, 508, 510, 512, 513, 513, 514, 514, 515, 
      517, 517, 517, 519, 519, 520, 521, 522, 523, 523, 524, 526, 526, 527, 528, 528, 529, 530, 531, 
      532, 532, 533, 534, 536, 536, 537, 538, 540, 542, 542, 543, 543, 544, 546, 548, 549, 549, 550, 
      550, 550, 550, 550, 551, 551, 552, 554, 554, 554, 555, 555, 556, 556, 558, 559, 561, 562, 562, 
      564, 566, 567, 568, 568, 569, 570, 571, 571, 572, 572, 574, 574, 575, 577, 577, 579, 580, 581, 
      582, 586, 587, 587, 591, 591, 593, 593, 594, 595, 596, 596, 599, 600, 600, 602, 603, 604, 604, 
      605, 605, 606, 607, 608, 608, 608, 609, 609, 610, 611, 612, 615, 615, 617, 618, 620, 620, 621, 
      621, 623, 624, 625, 625, 626, 628, 629, 630, 632, 632, 633, 633, 636, 636, 637, 637, 641, 643, 
      643, 643, 644, 645, 646, 647, 648, 651, 651, 654, 655, 656, 656, 657, 658, 659, 659, 660, 660, 
      661, 664, 665, 666, 666, 667, 667, 668, 669, 669, 670, 671, 673, 674, 676, 677, 677, 678, 682, 
      683, 683, 684, 684, 685, 686, 688, 688, 688, 690, 691, 691, 692, 695, 696, 698, 698, 700, 700, 
      705, 705, 706, 706, 707, 709, 711, 712, 712, 715, 715, 716, 716, 717, 717, 718, 718, 719, 719, 
      720, 722, 723, 724, 724, 726, 727, 729, 729, 730, 732, 732, 734, 734, 735, 736, 736, 740, 742, 
      742, 744, 744, 745, 746, 747, 747, 748, 748, 750, 751, 754, 754, 756, 756, 757, 757, 757, 759, 
      760, 761, 762, 763, 763, 764, 765, 767, 768, 769, 770, 770, 773, 775, 777, 777, 778, 780, 780, 
      781, 782, 782, 783, 784, 784, 785, 788, 788, 789, 790, 790, 792, 792, 792, 793, 793, 793, 796, 
      799, 802, 804, 805, 805, 806, 806, 807, 809, 809, 810, 810, 810, 812, 812, 813, 813, 814, 814, 
      815, 817, 818, 819, 819, 823, 823, 825, 825, 825, 826, 826, 826, 827, 828, 831, 833, 834, 834, 
      835, 836, 838, 838, 839, 839, 840, 840, 842, 843, 844, 844, 845, 845, 846, 848, 850, 854, 855, 
      855, 856, 857, 858, 860, 860, 860, 861, 861, 863, 864, 865, 867, 867, 867, 869, 870, 871, 872, 
      873, 874, 876, 877, 878, 879, 879, 881, 883, 883, 885, 885, 887, 888, 889, 892, 893, 895, 895, 
      896, 897, 898, 898, 900, 901, 903, 903, 903, 905, 906, 906, 907, 908, 908, 910, 911, 911, 912, 
      914, 915, 915, 916, 917, 918, 918, 918, 919, 919, 920, 923, 924, 926, 926, 927, 929, 929, 929, 
      931, 932, 932, 932, 933, 935, 937, 938, 938, 939, 940, 941, 942, 943, 943, 945, 946, 947, 948, 
      949, 950, 954, 954, 955, 956, 958, 959, 959, 960, 960, 961, 963, 963, 966, 966, 968, 969, 971, 
      975, 976, 976, 978, 978, 978, 978, 978, 978, 978, 980, 982, 984, 984, 985, 988, 989, 990, 990, 
      993, 993, 994, 995, 996, 997, 998, 1000, 1002, 1004, 1005, 1005, 1006, 1007, 1008, 1008, 1009, 
      1010, 1010, 1011, 1011, 1011, 1012, 1012, 1012, 1013, 1013, 1015, 1015, 1016, 1016, 1017, 1018, 
      1018, 1020, 1020, 1020, 1021, 1021, 1022, 1025, 1029, 1030, 1030, 1031, 1032, 1032, 1033, 1036, 
      1037, 1037, 1037, 1037, 1037, 1037, 1037, 1038, 1039, 1041, 1043, 1044, 1044, 1044, 1045, 1050, 
      1052, 1053, 1054, 1055, 1055, 1056, 1058, 1059, 1061, 1061, 1063, 1064, 1065, 1066, 1066, 1067, 
      1069, 1071, 1073, 1073, 1074, 1075, 1077, 1080 ] ]