[5, 8, 13, 14, 17, 18, 21, 28, 32, 36, 37, 39, 43, 47, 51, 52, 57, 63, 64, 67, 71, 72, 74, 80, 81, 86, 92, 96, 99, 101, 102, 103, 105, 106, 109, 110, 114, 115, 117, 118, 120, 121, 123, 126, 131, 132, 135, 144, 145, 149, 150, 152, 155, 158, 160, 164, 166, 168, 170, 173, 175, 176, 178, 179, 180, 184, 185, 187, 189, 191, 192, 193, 195, 203, 207, 209, 213, 218, 219, 221, 222, 223, 224, 226, 229, 230, 231, 235, 236, 238, 239, 244, 245, 246, 247, 249, 250, 252, 255, 256, 259, 260, 262, 264, 265, 266, 271, 273, 274, 275, 277, 278, 280, 283, 284, 286, 287, 294, 296, 299, 301, 305, 309, 310, 311, 312, 314, 316, 320, 323, 324, 326, 329, 330, 332, 337, 338, 341, 342, 343, 346, 348, 351, 355, 356, 357, 359, 366, 367, 368, 373, 374, 376, 377, 383, 384, 386, 389, 392, 393, 395, 396, 398, 400, 401, 403, 404, 407, 408, 409, 410, 411, 412, 413, 415, 418, 423, 425, 428, 431, 432, 433, 437, 438, 439, 440, 441, 443, 449, 450, 452, 460, 461, 464, 468, 471, 473, 474, 475, 476, 478, 483, 485, 486, 490, 491, 492, 496, 497, 499, 509, 510, 512, 524, 525, 526, 527, 528, 529, 530, 532, 539, 541, 542, 543, 544, 545, 546, 550, 551, 552, 554, 558, 563, 566, 567, 568, 571, 572, 578, 584, 587, 592, 596, 597, 598, 599, 603, 605, 609, 614, 617, 618, 623, 625, 627, 629, 634, 636, 637, 639, 642, 646, 647, 648, 651, 654, 656, 662, 663, 668, 669, 675, 682, 684, 687, 689, 690, 691, 698, 700, 703, 706, 708, 713, 714, 722, 725, 737, 738, 743, 745, 746, 748, 749, 754, 755, 759, 761, 762, 765, 766, 770, 772, 776, 777, 778, 785, 786, 788, 789, 791, 792, 793, 794, 796, 798, 800, 801, 803, 804, 806, 809, 810, 815, 820, 822, 823, 829, 831, 833, 835, 837, 839, 840, 846, 848, 849, 851, 853, 857, 861, 863, 864, 865, 871, 872, 874, 876, 878, 880, 882, 883, 884, 885, 887, 890, 891, 892, 893, 895, 900, 904, 905, 908, 909, 915, 916, 917, 919, 922, 924, 925, 927, 928, 932, 934, 942, 945, 946, 948, 951, 954, 957, 958, 959, 960, 963, 966, 970, 972, 974, 975, 977, 984, 988, 989, 990, 991, 992, 994]
1287 400