[ [ 2, 6, 14, 18, 29, 38, 40, 56, 63, 74, 76, 79, 81, 88, 103, 106, 110, 111, 115, 125, 129, 130, 131, 
      132, 136, 156, 157, 158, 159, 162, 175, 177, 179, 181, 183, 187, 188, 190, 198, 203, 207, 212, 
      229, 238, 242, 243, 244, 246, 254, 263, 264, 265, 271, 273, 274, 275, 277, 293, 295, 308, 312, 
      316, 321, 323, 327, 338, 339, 348, 352, 354, 356, 357, 359, 367, 379, 384, 386, 390, 396, 398, 
      400, 402, 403, 404, 405, 422, 427, 428, 432, 433, 438, 444, 445, 452, 464, 467, 477, 481, 485, 
      498, 504, 511, 513, 514, 516, 517, 518, 522, 532, 535, 544, 549, 558, 562, 573, 589, 595, 599, 
      603, 610, 611, 614, 616, 620, 622, 632, 635, 637, 644, 647, 653, 662, 669, 672, 683, 684, 686, 
      688, 691, 695, 698, 705, 706, 719, 722, 725, 727, 731, 736, 738, 746, 750, 751, 760, 769, 772, 
      781, 788, 791, 802, 813, 814, 815, 819, 828, 831, 832, 837, 842, 844, 846, 858, 859, 861, 865, 
      879, 880, 897, 903, 913, 914, 916, 919, 920, 928, 936, 945, 946, 950, 951, 952, 954, 961, 969, 
      984, 985, 992, 1004, 1005, 1010, 1011, 1016, 1019, 1028, 1036, 1038, 1040, 1057, 1058, 1060, 
      1062, 1066, 1071, 1072, 1075, 1077, 1078, 1093, 1094, 1097, 1098, 1108, 1109, 1110, 1115, 1119, 
      1130, 1135 ], [ 2, 3, 4, 4, 4, 5, 5, 6, 7, 7, 9, 11, 12, 12, 14, 15, 15, 18, 19, 19, 20, 21, 23, 
      26, 29, 29, 30, 32, 33, 34, 34, 37, 38, 38, 38, 39, 39, 40, 40, 40, 41, 41, 42, 42, 42, 44, 45, 
      46, 46, 47, 49, 49, 50, 52, 52, 53, 54, 55, 55, 55, 56, 57, 58, 59, 60, 60, 61, 61, 63, 64, 65, 
      65, 66, 67, 69, 71, 72, 72, 73, 74, 74, 74, 75, 76, 76, 78, 79, 79, 80, 83, 84, 84, 85, 85, 90, 
      90, 91, 91, 92, 93, 94, 94, 95, 95, 96, 97, 98, 98, 98, 99, 100, 101, 102, 104, 104, 105, 106, 
      106, 107, 107, 108, 109, 109, 110, 111, 112, 116, 116, 118, 118, 119, 120, 120, 120, 122, 123, 
      124, 125, 127, 128, 129, 129, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 139, 139, 
      140, 141, 142, 142, 143, 144, 145, 146, 146, 147, 150, 151, 153, 155, 155, 159, 160, 163, 164, 
      164, 165, 166, 167, 168, 169, 170, 170, 171, 173, 174, 175, 176, 177, 178, 179, 180, 180, 181, 
      183, 186, 187, 190, 193, 193, 195, 196, 198, 199, 200, 201, 202, 204, 205, 206, 206, 207, 208, 
      209, 211, 211, 212, 213, 214, 215, 215, 216, 217, 218, 219, 220, 220, 222, 223, 223, 224, 224, 
      225, 226, 227, 229, 230, 233, 234, 237, 238, 239, 240, 243, 244, 246, 247, 247, 247, 248, 249, 
      250, 251, 252, 253, 253, 254, 255, 256, 256, 256, 257, 258, 258, 258, 259, 259, 260, 261, 262, 
      263, 264, 265, 265, 266, 267, 269, 269, 270, 271, 272, 272, 272, 273, 274, 274, 275, 277, 279, 
      280, 281, 283, 284, 285, 285, 286, 286, 287, 288, 289, 291, 291, 292, 294, 295, 296, 296, 296, 
      298, 298, 298, 299, 301, 302, 302, 303, 303, 304, 305, 306, 307, 308, 310, 311, 312, 313, 314, 
      314, 314, 315, 315, 315, 316, 317, 318, 319, 320, 321, 322, 323, 323, 324, 324, 325, 327, 327, 
      329, 330, 331, 334, 334, 335, 336, 337, 340, 340, 341, 342, 343, 343, 344, 345, 346, 347, 347, 
      347, 348, 349, 350, 353, 354, 354, 354, 355, 355, 356, 359, 359, 359, 361, 361, 361, 362, 363, 
      364, 365, 368, 370, 371, 371, 372, 372, 372, 373, 374, 375, 375, 375, 376, 377, 378, 378, 380, 
      380, 383, 383, 383, 385, 390, 391, 392, 393, 394, 395, 396, 397, 400, 400, 401, 402, 403, 403, 
      403, 405, 406, 407, 408, 410, 411, 412, 412, 413, 414, 416, 417, 418, 418, 418, 420, 420, 420, 
      421, 422, 423, 424, 425, 425, 426, 427, 427, 428, 429, 430, 431, 432, 436, 436, 437, 438, 439, 
      441, 441, 442, 444, 446, 447, 449, 450, 450, 450, 451, 451, 452, 453, 454, 454, 455, 456, 457, 
      458, 460, 460, 461, 462, 465, 466, 467, 470, 472, 472, 473, 474, 476, 477, 479, 480, 480, 481, 
      482, 483, 484, 486, 489, 489, 490, 490, 490, 491, 492, 493, 494, 495, 495, 497, 498, 498, 499, 
      500, 501, 503, 503, 504, 504, 505, 506, 507, 507, 508, 509, 509, 510, 512, 512, 514, 514, 515, 
      517, 518, 519, 519, 520, 521, 522, 523, 524, 524, 525, 526, 528, 529, 531, 532, 534, 534, 535, 
      537, 539, 540, 541, 542, 542, 543, 544, 545, 546, 548, 550, 550, 553, 554, 554, 555, 556, 558, 
      558, 560, 562, 564, 565, 566, 566, 566, 567, 571, 572, 573, 573, 574, 574, 574, 575, 575, 576, 
      576, 577, 577, 580, 580, 581, 583, 585, 586, 588, 589, 590, 590, 591, 591, 592, 594, 595, 596, 
      597, 600, 600, 601, 601, 602, 604, 605, 606, 607, 608, 609, 610, 612, 613, 614, 615, 616, 617, 
      619, 619, 620, 621, 622, 623, 624, 625, 626, 628, 629, 631, 632, 634, 639, 639, 639, 640, 640, 
      641, 643, 644, 645, 646, 646, 647, 647, 648, 649, 650, 651, 651, 651, 652, 654, 656, 656, 659, 
      661, 662, 663, 663, 664, 664, 664, 665, 665, 668, 668, 669, 670, 673, 675, 676, 677, 678, 679, 
      680, 681, 682, 683, 683, 684, 684, 685, 687, 688, 689, 690, 692, 692, 693, 693, 694, 695, 697, 
      699, 699, 702, 702, 703, 704, 705, 705, 706, 709, 710, 713, 713, 714, 715, 715, 716, 716, 718, 
      719, 719, 720, 720, 722, 723, 724, 725, 726, 727, 727, 727, 728, 729, 731, 731, 732, 733, 734, 
      734, 735, 735, 736, 737, 738, 739, 740, 741, 742, 742, 744, 745, 745, 746, 747, 748, 749, 750, 
      750, 752, 753, 754, 755, 755, 756, 757, 757, 759, 760, 760, 760, 762, 763, 765, 766, 768, 769, 
      769, 769, 770, 771, 771, 774, 776, 777, 778, 778, 779, 779, 780, 781, 782, 786, 787, 787, 788, 
      788, 789, 791, 792, 793, 794, 794, 795, 797, 798, 799, 800, 800, 801, 802, 802, 803, 804, 805, 
      805, 806, 807, 808, 810, 811, 813, 814, 814, 815, 815, 816, 818, 818, 823, 826, 827, 828, 829, 
      829, 831, 832, 832, 832, 835, 836, 837, 839, 840, 841, 843, 843, 843, 844, 844, 845, 846, 847, 
      848, 849, 850, 851, 853, 854, 855, 856, 858, 858, 859, 861, 862, 863, 864, 865, 866, 867, 868, 
      868, 872, 874, 875, 876, 877, 877, 879, 879, 881, 884, 885, 887, 888, 889, 890, 890, 891, 892, 
      893, 893, 894, 894, 896, 897, 899, 900, 900, 900, 901, 902, 904, 904, 905, 906, 906, 908, 909, 
      911, 912, 912, 913, 913, 915, 915, 918, 918, 922, 924, 925, 926, 927, 927, 929, 930, 930, 931, 
      931, 933, 933, 934, 936, 937, 937, 938, 938, 939, 940, 940, 943, 944, 944, 944, 946, 948, 948, 
      949, 950, 951, 951, 951, 952, 953, 953, 953, 955, 956, 957, 957, 957, 958, 959, 959, 961, 962, 
      963, 963, 964, 965, 965, 966, 967, 968, 969, 970, 970, 972, 973, 974, 974, 975, 978, 979, 979, 
      980, 980, 981, 981, 982, 984, 987, 988, 989, 990, 990, 991, 991, 992, 993, 996, 998, 999, 999, 
      1000, 1001, 1003, 1004, 1005, 1006, 1007, 1008, 1010, 1012, 1013, 1013, 1013, 1014, 1015, 1016, 
      1016, 1017, 1017, 1019, 1020, 1021, 1022, 1024, 1025, 1026, 1027, 1027, 1028, 1028, 1029, 1030, 
      1033, 1033, 1034, 1036, 1037, 1038, 1040, 1040, 1041, 1042, 1042, 1043, 1045, 1047, 1047, 1050, 
      1051, 1051, 1052, 1053, 1054, 1055, 1056, 1056, 1057, 1059, 1060, 1060, 1061, 1062, 1065, 1066, 
      1066, 1067, 1068, 1069, 1070, 1071, 1072, 1075, 1077, 1077, 1078, 1079, 1081, 1082, 1084, 1084, 
      1086, 1088, 1091, 1091, 1092, 1095, 1095, 1098, 1099, 1101, 1101, 1102, 1104, 1105, 1106, 1107, 
      1108, 1109, 1109, 1110, 1111, 1112, 1114, 1115, 1116, 1116, 1116, 1117, 1118, 1121, 1122, 1123, 
      1123, 1124, 1125, 1127, 1128, 1129, 1130, 1132, 1132, 1133, 1133, 1134, 1136, 1136, 1137, 1138, 
      1139, 1140 ] ]