[ [ 3, 6, 8, 13, 21, 31, 32, 54, 81, 89, 103, 105, 114, 115, 127, 145, 146, 156, 161, 167, 181, 202, 
      206, 214, 225, 236, 240, 248, 289, 328, 334, 352, 377, 386, 401, 424, 432, 447, 455, 482, 489, 
      492, 506, 510, 552, 563, 571, 589, 600, 601, 657, 672, 678, 685, 691, 694, 699, 728, 742, 753, 
      766, 769, 780, 815, 816, 821, 828, 833, 842, 844, 856, 862, 885, 937, 948, 956, 967, 1006, 1016, 
      1037 ], [ 8, 8, 8, 8, 8, 12, 20, 20, 20, 20, 20, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 33, 
      34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 37, 37, 37, 37, 37, 37, 39, 39, 40, 40, 40, 40, 40, 
      41, 41, 41, 41, 41, 44, 46, 46, 46, 46, 46, 46, 50, 50, 54, 54, 54, 54, 54, 55, 55, 57, 57, 57, 
      57, 57, 57, 57, 57, 57, 57, 57, 63, 63, 64, 64, 64, 64, 64, 65, 67, 67, 71, 71, 71, 72, 72, 72, 
      72, 72, 73, 73, 73, 73, 73, 73, 74, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 84, 85, 85, 86, 
      86, 86, 86, 86, 86, 87, 88, 88, 88, 88, 90, 90, 90, 90, 90, 90, 92, 92, 93, 98, 106, 106, 106, 
      106, 106, 107, 107, 112, 113, 113, 115, 115, 115, 115, 115, 115, 116, 117, 117, 117, 117, 117, 
      117, 121, 121, 121, 121, 135, 135, 138, 138, 141, 141, 144, 144, 144, 144, 146, 146, 146, 146, 
      146, 146, 156, 158, 158, 158, 158, 158, 158, 160, 160, 161, 161, 162, 162, 169, 169, 169, 169, 
      175, 175, 177, 178, 178, 178, 178, 178, 180, 180, 180, 180, 182, 185, 185, 185, 185, 186, 186, 
      186, 186, 186, 186, 187, 187, 193, 193, 199, 202, 202, 202, 202, 207, 208, 208, 209, 209, 209, 
      209, 210, 210, 216, 216, 216, 216, 216, 216, 218, 219, 219, 219, 219, 219, 234, 234, 234, 234, 
      236, 236, 237, 237, 237, 237, 240, 240, 241, 241, 241, 241, 241, 241, 243, 243, 243, 243, 243, 
      244, 244, 244, 244, 253, 253, 253, 259, 259, 259, 259, 260, 260, 269, 269, 269, 273, 273, 273, 
      273, 273, 280, 280, 281, 281, 281, 281, 281, 281, 287, 287, 287, 287, 287, 287, 289, 289, 290, 
      290, 290, 290, 290, 290, 298, 304, 307, 309, 309, 314, 314, 315, 315, 316, 316, 319, 319, 323, 
      324, 324, 324, 328, 328, 328, 328, 329, 329, 329, 329, 329, 332, 332, 336, 336, 339, 339, 339, 
      339, 341, 341, 343, 343, 344, 344, 344, 344, 344, 345, 345, 348, 348, 355, 355, 359, 359, 359, 
      359, 360, 360, 360, 360, 361, 362, 362, 362, 362, 363, 363, 364, 364, 370, 370, 372, 372, 375, 
      375, 375, 375, 375, 375, 375, 375, 376, 379, 379, 392, 392, 395, 395, 398, 398, 402, 402, 405, 
      405, 406, 406, 406, 406, 406, 406, 414, 414, 414, 414, 414, 418, 418, 418, 418, 419, 419, 419, 
      419, 421, 421, 422, 433, 434, 437, 444, 444, 444, 450, 450, 453, 453, 453, 453, 453, 453, 458, 
      458, 458, 458, 458, 458, 465, 466, 466, 467, 468, 468, 470, 473, 473, 474, 474, 474, 474, 474, 
      474, 474, 474, 475, 475, 475, 476, 476, 477, 487, 488, 488, 490, 490, 490, 490, 496, 496, 500, 
      500, 502, 502, 504, 504, 504, 504, 504, 504, 504, 504, 510, 510, 510, 510, 510, 510, 512, 513, 
      513, 517, 517, 522, 522, 522, 522, 522, 526, 526, 531, 531, 531, 531, 535, 535, 535, 535, 535, 
      535, 537, 537, 538, 538, 539, 539, 539, 539, 539, 539, 543, 543, 545, 545, 549, 549, 549, 552, 
      552, 552, 552, 552, 552, 552, 552, 553, 558, 558, 558, 558, 558, 558, 565, 565, 567, 567, 568, 
      570, 570, 570, 574, 574, 575, 575, 575, 575, 576, 576, 576, 576, 581, 581, 582, 582, 584, 587, 
      587, 589, 593, 593, 593, 593, 597, 597, 601, 601, 601, 603, 603, 606, 606, 613, 613, 613, 613, 
      613, 613, 613, 613, 614, 614, 615, 615, 619, 619, 621, 622, 622, 622, 622, 622, 622, 623, 635, 
      635, 635, 635, 635, 636, 636, 644, 644, 648, 648, 649, 649, 654, 654, 657, 657, 661, 661, 661, 
      661, 661, 664, 664, 665, 665, 670, 670, 670, 670, 670, 670, 675, 675, 675, 679, 679, 679, 679, 
      679, 679, 687, 694, 694, 697, 697, 697, 697, 697, 697, 699, 699, 700, 700, 702, 702, 703, 703, 
      703, 703, 704, 704, 704, 704, 706, 706, 706, 706, 706, 707, 707, 707, 707, 707, 708, 708, 708, 
      708, 708, 709, 709, 709, 709, 711, 711, 711, 713, 713, 718, 719, 721, 721, 722, 722, 725, 725, 
      731, 731, 731, 731, 731, 731, 736, 736, 736, 736, 736, 737, 737, 739, 739, 739, 739, 740, 740, 
      740, 740, 741, 742, 742, 742, 742, 742, 742, 750, 750, 750, 750, 750, 756, 756, 757, 757, 757, 
      759, 759, 759, 759, 759, 759, 768, 768, 768, 768, 768, 768, 769, 769, 769, 774, 774, 775, 775, 
      776, 776, 776, 776, 776, 778, 782, 782, 782, 782, 787, 787, 788, 788, 789, 789, 791, 791, 791, 
      791, 791, 795, 795, 795, 795, 795, 795, 802, 802, 805, 805, 810, 810, 813, 813, 815, 821, 823, 
      823, 833, 839, 839, 841, 841, 841, 841, 841, 841, 842, 844, 844, 850, 850, 850, 850, 852, 852, 
      858, 858, 859, 859, 859, 859, 859, 859, 860, 860, 860, 860, 863, 863, 863, 863, 865, 865, 865, 
      865, 865, 865, 866, 866, 866, 868, 868, 868, 868, 869, 872, 882, 882, 883, 883, 883, 883, 883, 
      883, 889, 889, 889, 889, 891, 891, 891, 891, 895, 895, 896, 896, 899, 899, 899, 899, 899, 902, 
      902, 902, 902, 903, 903, 904, 904, 906, 906, 906, 907, 907, 907, 908, 908, 908, 908, 908, 910, 
      912, 913, 913, 915, 915, 915, 918, 918, 918, 918, 919, 919, 919, 920, 920, 922, 922, 923, 925, 
      925, 925, 925, 927, 927, 928, 928, 931, 931, 931, 931, 932, 932, 932, 932, 932, 939, 939, 939, 
      939, 939, 939, 943, 943, 943, 943, 943, 943, 944, 945, 945, 945, 952, 952, 952, 952, 952, 952, 
      953, 953, 953, 956, 956, 957, 957, 958, 959, 959, 970, 974, 974, 974, 974, 974, 974, 975, 975, 
      978, 980, 980, 980, 980, 980, 980, 981, 981, 981, 981, 984, 984, 985, 992, 992, 992, 992, 993, 
      993, 998, 998, 999, 999, 999, 999, 999, 999, 1000, 1004, 1004, 1010, 1010, 1010, 1010, 1010, 
      1011, 1011, 1011, 1011, 1012, 1018, 1018, 1019, 1019, 1019, 1019, 1019, 1024, 1024, 1024, 1024, 
      1025, 1025, 1028, 1028, 1033, 1033, 1035, 1035, 1035, 1035 ] ]