[4, 5, 5, 7, 8, 8, 9, 9, 10, 10, 12, 14, 15, 16, 17, 18, 19, 19, 21, 22, 23, 25, 25, 26, 26, 27, 27, 28, 29, 31, 32, 32, 32, 33, 33, 33, 35, 38, 40, 42, 43, 43, 43, 44, 45, 45, 47, 47, 48, 49, 49, 51, 51, 51, 51, 52, 52, 53, 53, 53, 54, 54, 55, 55, 57, 58, 59, 59, 59, 59, 59, 61, 61, 62, 62, 62, 64, 64, 66, 67, 67, 67, 67, 70, 71, 71, 73, 74, 75, 77, 78, 78, 78, 83, 84, 84, 85, 85, 88, 89, 90, 91, 92, 93, 95, 97, 98, 98, 99, 102, 103, 103, 104, 104, 106, 106, 107, 108, 110, 111, 112, 113, 113, 114, 115, 118, 119, 120, 120, 122, 124, 125, 125, 126, 127, 127, 128, 128, 129, 130, 132, 133, 133, 135, 136, 138, 138, 139, 139, 140, 141, 143, 144, 145, 145, 145, 146, 146, 147, 147, 148, 148, 150, 151, 152, 153, 157, 158, 159, 160, 160, 161, 162, 162, 163, 163, 164, 165, 165, 166, 167, 167, 168, 168, 170, 171, 172, 172, 175, 176, 177, 178, 178, 178, 178, 181, 182, 182, 183, 185, 187, 188, 190, 190, 193, 195, 195, 195, 197, 197, 198, 199, 202, 202, 204, 204, 205, 206, 206, 208, 208, 208, 210, 213, 215, 218, 219, 220, 220, 220, 223, 225, 226, 227, 227, 227, 230, 231, 232, 232, 233, 235, 236, 236, 236, 238, 238, 240, 240, 240, 241, 243, 244, 246, 246, 246, 247, 247, 248, 250, 251, 251, 252, 255, 256, 256, 257, 258, 258, 260, 260, 261, 261, 262, 263, 263, 264, 264, 265, 265, 265, 266, 266, 267, 268, 269, 270, 271, 273, 276, 277, 277, 277, 277, 277, 278, 279, 280, 282, 282, 284, 285, 286, 287, 288, 288, 288, 291, 291, 292, 292, 292, 293, 293, 294, 295, 298, 298, 298, 300, 301, 302, 302, 303, 305, 306, 308, 308, 310, 310, 311, 311, 312, 312, 312, 315, 316, 317, 317, 317, 318, 318, 321, 322, 322, 323, 323, 324, 324, 325, 325, 326, 326, 326, 329, 329, 331, 333, 334, 336, 336, 337, 338, 338, 339, 341, 341, 342, 343, 343, 343, 346, 346, 347, 347, 347, 348, 348, 349, 350, 350, 352, 353, 355, 356, 357, 358, 358, 359, 360, 363, 366, 367, 367, 368, 369, 370, 371, 375, 376, 376, 377, 377, 378, 378, 379, 380, 381, 381, 382, 382, 382, 382, 387, 387, 387, 388, 389, 390, 390, 393, 394, 394, 396, 396, 397, 398, 398, 399, 399, 399, 400, 401, 401, 402, 404, 404, 405, 407, 407, 408, 410, 410, 411, 411, 414, 415, 416, 417, 417, 420, 420, 422, 424, 426, 427, 427, 430, 430, 430, 431, 433, 438, 439, 441, 441, 441, 442, 443, 443, 444, 445, 446, 447, 448, 449, 450, 451, 451, 452, 453, 453, 454, 455, 457, 458, 460, 463, 463, 464, 464, 465, 466, 467, 467, 470, 471, 473, 476, 478, 478, 479, 479, 480, 481, 482, 483, 484, 485, 487, 489, 491, 491, 493, 494, 495, 495, 495, 496, 497, 497, 498, 499, 499, 500, 501, 501, 505, 506, 506, 506, 506, 506, 508, 510, 513, 513, 516, 516, 516, 518, 519, 519, 519, 519, 520, 522, 523, 523, 524, 526, 528, 530, 530, 532, 532, 532, 533, 533, 536, 539, 541, 543, 544, 544, 544, 545, 546, 548, 548, 549, 550, 550, 550, 551, 552, 552, 552, 553, 557, 561, 564, 573, 573, 574, 574, 575, 575, 576, 578, 579, 579, 580, 581, 583, 584, 584, 584, 584, 586, 586, 586, 587, 592, 596, 596, 597, 598, 600, 600, 601, 601, 601, 606, 606, 607, 607, 607, 608, 610, 611, 611, 613, 613, 614, 618, 618, 619, 619, 620, 620, 621, 621, 621, 622, 624, 625, 625, 626, 627, 629, 630, 630, 631, 631, 632, 633, 634, 638, 639, 639, 640, 641, 642, 644, 644, 645, 645, 646, 647, 647, 649, 649, 649, 650, 651, 652, 655, 657, 659, 660, 661, 661, 662, 662, 663, 664, 665, 665, 669, 670, 672, 672, 675, 676, 676, 677, 678, 681, 681, 682, 682, 684, 684, 685, 685, 686, 686, 686, 687, 687, 689, 689, 689, 691, 692, 692, 692, 692, 693, 693, 693, 694, 696, 697, 697, 698, 698, 698, 699, 699, 699, 701, 703, 705, 706, 706, 707, 708, 709, 710, 711, 713, 713, 714, 714, 714, 717, 717, 717, 718, 718, 718, 719, 721, 722, 722, 722, 723, 724, 725, 725, 727, 728, 730, 733, 735, 736, 737, 738, 742, 743, 744, 744, 745, 745, 746, 747, 747, 747, 747, 748, 748, 748, 750, 751, 752, 755, 756, 757, 759, 762, 762, 763, 763, 764, 768, 769, 771, 771, 773, 774, 778, 778, 780, 781, 781, 784, 784, 785, 786, 786, 786, 790, 790, 791, 791, 792, 794, 797, 801, 801, 805, 806, 808, 808, 808, 814, 814, 814, 815, 815, 816, 816, 816, 819, 820, 820, 820, 821, 825, 825, 826, 828, 830, 831, 832, 833, 833, 835, 836, 838, 838, 840, 840, 843, 846, 846, 846, 847, 850, 850, 850, 852, 852, 853, 854, 856, 857, 858, 858, 860, 861, 862, 863, 865, 866, 866, 866, 867, 868, 868, 868, 870, 870, 870, 871, 872, 872, 876, 876, 877, 879, 881, 881, 882, 884, 884, 891, 892, 895, 895, 897, 897, 898, 898, 901, 902, 902, 903, 903, 904, 904, 905, 907, 907, 910, 910, 911, 912, 912, 913, 913, 913, 914, 916, 916, 918, 918, 919, 923, 923, 925, 926, 928, 929, 930, 930, 932, 932, 932, 932, 934, 935, 936, 936, 937, 937, 938, 938, 938, 939, 940, 940, 942, 942, 943, 948, 952, 952, 953, 953, 957, 959, 960, 961, 961, 961, 962, 962, 962, 963, 963, 963, 964, 966, 967, 969, 969, 970, 972, 973, 974, 975, 976, 977, 979, 979, 982, 983, 984, 984, 985, 987, 987, 988, 989, 990, 990, 992, 992, 994, 994, 994, 994, 995, 995, 996, 996, 998, 998]
[4, 5, 5, 7, 8, 8, 9, 9, 10, 10, 12, 14, 15, 16, 17, 18, 19, 19, 21, 22, 23, 25, 25, 26, 26, 27, 27, 28, 29, 31, 32, 32, 32, 33, 33, 33, 35, 38, 40, 42, 43, 43, 43, 44, 45, 45, 47, 47, 48, 49, 49, 51, 51, 51, 51, 52, 52, 53, 53, 53, 54, 54, 55, 55, 57, 58, 59, 59, 59, 59, 59, 61, 61, 62, 62, 62, 64, 64, 66, 67, 67, 67, 67, 70, 71, 71, 73, 74, 75, 77, 78, 78, 78, 83, 84, 84, 85, 85, 88, 89, 90, 91, 92, 93, 95, 97, 98, 98, 99, 102, 103, 103, 104, 104, 106, 106, 107, 108, 110, 111, 112, 113, 113, 114, 115, 118, 119, 120, 120, 122, 124, 125, 125, 126, 127, 127, 128, 128, 129, 130, 132, 133, 133, 135, 136, 138, 138, 139, 139, 140, 141, 143, 144, 145, 145, 145, 146, 146, 147, 147, 148, 148, 150, 151, 152, 153, 157, 158, 159, 160, 160, 161, 162, 162, 163, 163, 164, 165, 165, 166, 167, 167, 168, 168, 170, 171, 172, 172, 175, 176, 177, 178, 178, 178, 178, 181, 182, 182, 183, 185, 187, 188, 190, 190, 193, 195, 195, 195, 197, 197, 198, 199, 202, 202, 204, 204, 205, 206, 206, 208, 208, 208, 210, 213, 215, 218, 219, 220, 220, 220, 223, 225, 226, 227, 227, 227, 230, 231, 232, 232, 233, 235, 236, 236, 236, 238, 238, 240, 240, 240, 241, 243, 244, 246, 246, 246, 247, 247, 248, 250, 251, 251, 252, 255, 256, 256, 257, 258, 258, 260, 260, 261, 261, 262, 263, 263, 264, 264, 265, 265, 265, 266, 266, 267, 268, 269, 270, 271, 273, 276, 277, 277, 277, 277, 277, 278, 279, 280, 282, 282, 284, 285, 286, 287, 288, 288, 288, 291, 291, 292, 292, 292, 293, 293, 294, 295, 298, 298, 298, 300, 301, 302, 302, 303, 305, 306, 308, 308, 310, 310, 311, 311, 312, 312, 312, 315, 316, 317, 317, 317, 318, 318, 321, 322, 322, 323, 323, 324, 324, 325, 325, 326, 326, 326, 329, 329, 331, 333, 334, 336, 336, 337, 338, 338, 339, 341, 341, 342, 343, 343, 343, 346, 346, 347, 347, 347, 348, 348, 349, 350, 350, 352, 353, 355, 356, 357, 358, 358, 359, 360, 363, 366, 367, 367, 368, 369, 370, 371, 375, 376, 376, 377, 377, 378, 378, 379, 380, 381, 381, 382, 382, 382, 382, 387, 387, 387, 388, 389, 390, 390, 393, 394, 394, 396, 396, 397, 398, 398, 399, 399, 399, 400, 401, 401, 402, 404, 404, 405, 407, 407, 408, 410, 410, 411, 411, 414, 415, 416, 417, 417, 420, 420, 422, 424, 426, 427, 427, 430, 430, 430, 431, 433, 438, 439, 441, 441, 441, 442, 443, 443, 444, 445, 446, 447, 448, 449, 450, 451, 451, 452, 453, 453, 454, 455, 457, 458, 460, 463, 463, 464, 464, 465, 466, 467, 467, 470, 471, 473, 476, 478, 478, 479, 479, 480, 481, 482, 483, 484, 485, 487, 489, 491, 491, 493, 494, 495, 495, 495, 496, 497, 497, 498, 499, 499, 499, 499, 500, 501, 501, 505, 506, 506, 506, 506, 506, 508, 510, 513, 513, 516, 516, 516, 518, 519, 519, 519, 519, 520, 522, 523, 523, 524, 526, 528, 530, 530, 532, 532, 532, 533, 533, 536, 539, 541, 543, 544, 544, 544, 545, 546, 548, 548, 549, 550, 550, 550, 551, 552, 552, 552, 553, 557, 561, 564, 573, 573, 574, 574, 575, 575, 576, 578, 579, 579, 580, 581, 583, 584, 584, 584, 584, 586, 586, 586, 587, 592, 596, 596, 597, 598, 600, 600, 601, 601, 601, 606, 606, 607, 607, 607, 608, 610, 611, 611, 613, 613, 614, 618, 618, 619, 619, 620, 620, 621, 621, 621, 622, 624, 625, 625, 626, 627, 629, 630, 630, 631, 631, 632, 633, 634, 638, 639, 639, 640, 641, 642, 644, 644, 645, 645, 646, 647, 647, 649, 649, 649, 650, 651, 652, 655, 657, 659, 660, 661, 661, 662, 662, 663, 664, 665, 665, 669, 670, 672, 672, 675, 676, 676, 677, 678, 681, 681, 682, 682, 684, 684, 685, 685, 686, 686, 686, 687, 687, 689, 689, 689, 691, 692, 692, 692, 692, 693, 693, 693, 694, 696, 697, 697, 698, 698, 698, 699, 699, 699, 701, 703, 705, 706, 706, 707, 708, 709, 710, 711, 713, 713, 714, 714, 714, 717, 717, 717, 718, 718, 718, 719, 721, 722, 722, 722, 723, 724, 725, 725, 727, 728, 730, 733, 735, 736, 737, 738, 742, 743, 744, 744, 745, 745, 746, 747, 747, 747, 747, 748, 748, 748, 750, 751, 752, 755, 756, 757, 759, 762, 762, 763, 763, 764, 768, 769, 771, 771, 773, 774, 778, 778, 780, 781, 781, 784, 784, 785, 786, 786, 786, 790, 790, 791, 791, 792, 794, 797, 801, 801, 805, 806, 808, 808, 808, 814, 814, 814, 815, 815, 816, 816, 816, 819, 820, 820, 820, 821, 825, 825, 826, 828, 830, 831, 832, 833, 833, 835, 836, 838, 838, 840, 840, 843, 846, 846, 846, 847, 850, 850, 850, 852, 852, 853, 854, 856, 857, 858, 858, 860, 861, 862, 863, 865, 866, 866, 866, 867, 868, 868, 868, 870, 870, 870, 871, 872, 872, 876, 876, 877, 879, 881, 881, 882, 884, 884, 891, 892, 895, 895, 897, 897, 898, 898, 901, 902, 902, 903, 903, 904, 904, 905, 907, 907, 910, 910, 911, 912, 912, 913, 913, 913, 914, 916, 916, 918, 918, 919, 923, 923, 925, 926, 928, 929, 930, 930, 932, 932, 932, 932, 934, 935, 936, 936, 937, 937, 938, 938, 938, 939, 940, 940, 942, 942, 943, 948, 952, 952, 953, 953, 957, 959, 960, 961, 961, 961, 962, 962, 962, 963, 963, 963, 964, 966, 967, 969, 969, 970, 972, 973, 974, 975, 976, 977, 979, 979, 982, 983, 984, 984, 985, 987, 987, 988, 989, 990, 990, 992, 992, 994, 994, 994, 994, 995, 995, 996, 996, 998]
994 994