# A135414 a(1)=a(2)=1 and for n>=3, a(n)=n-a(a(n-2)). # #Calculation through: a(n)=2+floor(n*phi)+floor((n+1)*phi)-floor((n+3)*phi) #where phi=(sqrt(5)-1)/2 #n | a(n) 1 1 2 1 3 2 4 3 5 4 6 4 7 4 8 5 9 6 10 6 11 7 12 8 13 9 14 9 15 9 16 10 17 11 18 12 19 12 20 12 21 13 22 14 23 14 24 15 25 16 26 17 27 17 28 17 29 18 30 19 31 19 32 20 33 21 34 22 35 22 36 22 37 23 38 24 39 25 40 25 41 25 42 26 43 27 44 27 45 28 46 29 47 30 48 30 49 30 50 31 51 32 52 33 53 33 54 33 55 34 56 35 57 35 58 36 59 37 60 38 61 38 62 38 63 39 64 40 65 40 66 41 67 42 68 43 69 43 70 43 71 44 72 45 73 46 74 46 75 46 76 47 77 48 78 48 79 49 80 50 81 51 82 51 83 51 84 52 85 53 86 53 87 54 88 55 89 56 90 56 91 56 92 57 93 58 94 59 95 59 96 59 97 60 98 61 99 61 100 62 101 63 102 64 103 64 104 64 105 65 106 66 107 67 108 67 109 67 110 68 111 69 112 69 113 70 114 71 115 72 116 72 117 72 118 73 119 74 120 74 121 75 122 76 123 77 124 77 125 77 126 78 127 79 128 80 129 80 130 80 131 81 132 82 133 82 134 83 135 84 136 85 137 85 138 85 139 86 140 87 141 88 142 88 143 88 144 89 145 90 146 90 147 91 148 92 149 93 150 93 151 93 152 94 153 95 154 95 155 96 156 97 157 98 158 98 159 98 160 99 161 100 162 101 163 101 164 101 165 102 166 103 167 103 168 104 169 105 170 106 171 106 172 106 173 107 174 108 175 108 176 109 177 110 178 111 179 111 180 111 181 112 182 113 183 114 184 114 185 114 186 115 187 116 188 116 189 117 190 118 191 119 192 119 193 119 194 120 195 121 196 122 197 122 198 122 199 123 200 124 201 124 202 125 203 126 204 127 205 127 206 127 207 128 208 129 209 129 210 130 211 131 212 132 213 132 214 132 215 133 216 134 217 135 218 135 219 135 220 136 221 137 222 137 223 138 224 139 225 140 226 140 227 140 228 141 229 142 230 142 231 143 232 144 233 145 234 145 235 145 236 146 237 147 238 148 239 148 240 148 241 149 242 150 243 150 244 151 245 152 246 153 247 153 248 153 249 154 250 155 251 156 252 156 253 156 254 157 255 158 256 158 257 159 258 160 259 161 260 161 261 161 262 162 263 163 264 163 265 164 266 165 267 166 268 166 269 166 270 167 271 168 272 169 273 169 274 169 275 170 276 171 277 171 278 172 279 173 280 174 281 174 282 174 283 175 284 176 285 177 286 177 287 177 288 178 289 179 290 179 291 180 292 181 293 182 294 182 295 182 296 183 297 184 298 184 299 185 300 186 301 187 302 187 303 187 304 188 305 189 306 190 307 190 308 190 309 191 310 192 311 192 312 193 313 194 314 195 315 195 316 195 317 196 318 197 319 197 320 198 321 199 322 200 323 200 324 200 325 201 326 202 327 203 328 203 329 203 330 204 331 205 332 205 333 206 334 207 335 208 336 208 337 208 338 209 339 210 340 211 341 211 342 211 343 212 344 213 345 213 346 214 347 215 348 216 349 216 350 216 351 217 352 218 353 218 354 219 355 220 356 221 357 221 358 221 359 222 360 223 361 224 362 224 363 224 364 225 365 226 366 226 367 227 368 228 369 229 370 229 371 229 372 230 373 231 374 232 375 232 376 232 377 233 378 234 379 234 380 235 381 236 382 237 383 237 384 237 385 238 386 239 387 239 388 240 389 241 390 242 391 242 392 242 393 243 394 244 395 245 396 245 397 245 398 246 399 247 400 247 401 248 402 249 403 250 404 250 405 250 406 251 407 252 408 252 409 253 410 254 411 255 412 255 413 255 414 256 415 257 416 258 417 258 418 258 419 259 420 260 421 260 422 261 423 262 424 263 425 263 426 263 427 264 428 265 429 266 430 266 431 266 432 267 433 268 434 268 435 269 436 270 437 271 438 271 439 271 440 272 441 273 442 273 443 274 444 275 445 276 446 276 447 276 448 277 449 278 450 279 451 279 452 279 453 280 454 281 455 281 456 282 457 283 458 284 459 284 460 284 461 285 462 286 463 286 464 287 465 288 466 289 467 289 468 289 469 290 470 291 471 292 472 292 473 292 474 293 475 294 476 294 477 295 478 296 479 297 480 297 481 297 482 298 483 299 484 300 485 300 486 300 487 301 488 302 489 302 490 303 491 304 492 305 493 305 494 305 495 306 496 307 497 307 498 308 499 309 500 310 501 310 502 310 503 311 504 312 505 313 506 313 507 313 508 314 509 315 510 315 511 316 512 317 513 318 514 318 515 318 516 319 517 320 518 321 519 321 520 321 521 322 522 323 523 323 524 324 525 325 526 326 527 326 528 326 529 327 530 328 531 328 532 329 533 330 534 331 535 331 536 331 537 332 538 333 539 334 540 334 541 334 542 335 543 336 544 336 545 337 546 338 547 339 548 339 549 339 550 340 551 341 552 341 553 342 554 343 555 344 556 344 557 344 558 345 559 346 560 347 561 347 562 347 563 348 564 349 565 349 566 350 567 351 568 352 569 352 570 352 571 353 572 354 573 355 574 355 575 355 576 356 577 357 578 357 579 358 580 359 581 360 582 360 583 360 584 361 585 362 586 362 587 363 588 364 589 365 590 365 591 365 592 366 593 367 594 368 595 368 596 368 597 369 598 370 599 370 600 371 601 372 602 373 603 373 604 373 605 374 606 375 607 375 608 376 609 377 610 378 611 378 612 378 613 379 614 380 615 381 616 381 617 381 618 382 619 383 620 383 621 384 622 385 623 386 624 386 625 386 626 387 627 388 628 389 629 389 630 389 631 390 632 391 633 391 634 392 635 393 636 394 637 394 638 394 639 395 640 396 641 396 642 397 643 398 644 399 645 399 646 399 647 400 648 401 649 402 650 402 651 402 652 403 653 404 654 404 655 405 656 406 657 407 658 407 659 407 660 408 661 409 662 410 663 410 664 410 665 411 666 412 667 412 668 413 669 414 670 415 671 415 672 415 673 416 674 417 675 417 676 418 677 419 678 420 679 420 680 420 681 421 682 422 683 423 684 423 685 423 686 424 687 425 688 425 689 426 690 427 691 428 692 428 693 428 694 429 695 430 696 430 697 431 698 432 699 433 700 433 701 433 702 434 703 435 704 436 705 436 706 436 707 437 708 438 709 438 710 439 711 440 712 441 713 441 714 441 715 442 716 443 717 444 718 444 719 444 720 445 721 446 722 446 723 447 724 448 725 449 726 449 727 449 728 450 729 451 730 451 731 452 732 453 733 454 734 454 735 454 736 455 737 456 738 457 739 457 740 457 741 458 742 459 743 459 744 460 745 461 746 462 747 462 748 462 749 463 750 464 751 465 752 465 753 465 754 466 755 467 756 467 757 468 758 469 759 470 760 470 761 470 762 471 763 472 764 472 765 473 766 474 767 475 768 475 769 475 770 476 771 477 772 478 773 478 774 478 775 479 776 480 777 480 778 481 779 482 780 483 781 483 782 483 783 484 784 485 785 485 786 486 787 487 788 488 789 488 790 488 791 489 792 490 793 491 794 491 795 491 796 492 797 493 798 493 799 494 800 495 801 496 802 496 803 496 804 497 805 498 806 499 807 499 808 499 809 500 810 501 811 501 812 502 813 503 814 504 815 504 816 504 817 505 818 506 819 506 820 507 821 508 822 509 823 509 824 509 825 510 826 511 827 512 828 512 829 512 830 513 831 514 832 514 833 515 834 516 835 517 836 517 837 517 838 518 839 519 840 519 841 520 842 521 843 522 844 522 845 522 846 523 847 524 848 525 849 525 850 525 851 526 852 527 853 527 854 528 855 529 856 530 857 530 858 530 859 531 860 532 861 533 862 533 863 533 864 534 865 535 866 535 867 536 868 537 869 538 870 538 871 538 872 539 873 540 874 540 875 541 876 542 877 543 878 543 879 543 880 544 881 545 882 546 883 546 884 546 885 547 886 548 887 548 888 549 889 550 890 551 891 551 892 551 893 552 894 553 895 554 896 554 897 554 898 555 899 556 900 556 901 557 902 558 903 559 904 559 905 559 906 560 907 561 908 561 909 562 910 563 911 564 912 564 913 564 914 565 915 566 916 567 917 567 918 567 919 568 920 569 921 569 922 570 923 571 924 572 925 572 926 572 927 573 928 574 929 574 930 575 931 576 932 577 933 577 934 577 935 578 936 579 937 580 938 580 939 580 940 581 941 582 942 582 943 583 944 584 945 585 946 585 947 585 948 586 949 587 950 588 951 588 952 588 953 589 954 590 955 590 956 591 957 592 958 593 959 593 960 593 961 594 962 595 963 595 964 596 965 597 966 598 967 598 968 598 969 599 970 600 971 601 972 601 973 601 974 602 975 603 976 603 977 604 978 605 979 606 980 606 981 606 982 607 983 608 984 609 985 609 986 609 987 610 988 611 989 611 990 612 991 613 992 614 993 614 994 614 995 615 996 616 997 616 998 617 999 618 1000 619 1001 619 1002 619 1003 620 1004 621 1005 622 1006 622 1007 622 1008 623 1009 624 1010 624 1011 625 1012 626 1013 627 1014 627 1015 627 1016 628 1017 629 1018 629 1019 630 1020 631 1021 632 1022 632 1023 632 1024 633 1025 634 1026 635 1027 635 1028 635 1029 636 1030 637 1031 637 1032 638 1033 639 1034 640 1035 640 1036 640 1037 641 1038 642 1039 643 1040 643 1041 643 1042 644 1043 645 1044 645 1045 646 1046 647 1047 648 1048 648 1049 648 1050 649 1051 650 1052 650 1053 651 1054 652 1055 653 1056 653 1057 653 1058 654 1059 655 1060 656 1061 656 1062 656 1063 657 1064 658 1065 658 1066 659 1067 660 1068 661 1069 661 1070 661 1071 662 1072 663 1073 663 1074 664 1075 665 1076 666 1077 666 1078 666 1079 667 1080 668 1081 669 1082 669 1083 669 1084 670 1085 671 1086 671 1087 672 1088 673 1089 674 1090 674 1091 674 1092 675 1093 676 1094 677 1095 677 1096 677 1097 678 1098 679 1099 679 1100 680 1101 681 1102 682 1103 682 1104 682 1105 683 1106 684 1107 684 1108 685 1109 686 1110 687 1111 687 1112 687 1113 688 1114 689 1115 690 1116 690 1117 690 1118 691 1119 692 1120 692 1121 693 1122 694 1123 695 1124 695 1125 695 1126 696 1127 697 1128 698 1129 698 1130 698 1131 699 1132 700 1133 700 1134 701 1135 702 1136 703 1137 703 1138 703 1139 704 1140 705 1141 705 1142 706 1143 707 1144 708 1145 708 1146 708 1147 709 1148 710 1149 711 1150 711 1151 711 1152 712 1153 713 1154 713 1155 714 1156 715 1157 716 1158 716 1159 716 1160 717 1161 718 1162 718 1163 719 1164 720 1165 721 1166 721 1167 721 1168 722 1169 723 1170 724 1171 724 1172 724 1173 725 1174 726 1175 726 1176 727 1177 728 1178 729 1179 729 1180 729 1181 730 1182 731 1183 732 1184 732 1185 732 1186 733 1187 734 1188 734 1189 735 1190 736 1191 737 1192 737 1193 737 1194 738 1195 739 1196 739 1197 740 1198 741 1199 742 1200 742 1201 742 1202 743 1203 744 1204 745 1205 745 1206 745 1207 746 1208 747 1209 747 1210 748 1211 749 1212 750 1213 750 1214 750 1215 751 1216 752 1217 752 1218 753 1219 754 1220 755 1221 755 1222 755 1223 756 1224 757 1225 758 1226 758 1227 758 1228 759 1229 760 1230 760 1231 761 1232 762 1233 763 1234 763 1235 763 1236 764 1237 765 1238 766 1239 766 1240 766 1241 767 1242 768 1243 768 1244 769 1245 770 1246 771 1247 771 1248 771 1249 772 1250 773 1251 773 1252 774 1253 775 1254 776 1255 776 1256 776 1257 777 1258 778 1259 779 1260 779 1261 779 1262 780 1263 781 1264 781 1265 782 1266 783 1267 784 1268 784 1269 784 1270 785 1271 786 1272 787 1273 787 1274 787 1275 788 1276 789 1277 789 1278 790 1279 791 1280 792 1281 792 1282 792 1283 793 1284 794 1285 794 1286 795 1287 796 1288 797 1289 797 1290 797 1291 798 1292 799 1293 800 1294 800 1295 800 1296 801 1297 802 1298 802 1299 803 1300 804 1301 805 1302 805 1303 805 1304 806 1305 807 1306 807 1307 808 1308 809 1309 810 1310 810 1311 810 1312 811 1313 812 1314 813 1315 813 1316 813 1317 814 1318 815 1319 815 1320 816 1321 817 1322 818 1323 818 1324 818 1325 819 1326 820 1327 821 1328 821 1329 821 1330 822 1331 823 1332 823 1333 824 1334 825 1335 826 1336 826 1337 826 1338 827 1339 828 1340 828 1341 829 1342 830 1343 831 1344 831 1345 831 1346 832 1347 833 1348 834 1349 834 1350 834 1351 835 1352 836 1353 836 1354 837 1355 838 1356 839 1357 839 1358 839 1359 840 1360 841 1361 842 1362 842 1363 842 1364 843 1365 844 1366 844 1367 845 1368 846 1369 847 1370 847 1371 847 1372 848 1373 849 1374 849 1375 850 1376 851 1377 852 1378 852 1379 852 1380 853 1381 854 1382 855 1383 855 1384 855 1385 856 1386 857 1387 857 1388 858 1389 859 1390 860 1391 860 1392 860 1393 861 1394 862 1395 862 1396 863 1397 864 1398 865 1399 865 1400 865 1401 866 1402 867 1403 868 1404 868 1405 868 1406 869 1407 870 1408 870 1409 871 1410 872 1411 873 1412 873 1413 873 1414 874 1415 875 1416 876 1417 876 1418 876 1419 877 1420 878 1421 878 1422 879 1423 880 1424 881 1425 881 1426 881 1427 882 1428 883 1429 883 1430 884 1431 885 1432 886 1433 886 1434 886 1435 887 1436 888 1437 889 1438 889 1439 889 1440 890 1441 891 1442 891 1443 892 1444 893 1445 894 1446 894 1447 894 1448 895 1449 896 1450 896 1451 897 1452 898 1453 899 1454 899 1455 899 1456 900 1457 901 1458 902 1459 902 1460 902 1461 903 1462 904 1463 904 1464 905 1465 906 1466 907 1467 907 1468 907 1469 908 1470 909 1471 910 1472 910 1473 910 1474 911 1475 912 1476 912 1477 913 1478 914 1479 915 1480 915 1481 915 1482 916 1483 917 1484 917 1485 918 1486 919 1487 920 1488 920 1489 920 1490 921 1491 922 1492 923 1493 923 1494 923 1495 924 1496 925 1497 925 1498 926 1499 927 1500 928 1501 928 1502 928 1503 929 1504 930 1505 931 1506 931 1507 931 1508 932 1509 933 1510 933 1511 934 1512 935 1513 936 1514 936 1515 936 1516 937 1517 938 1518 938 1519 939 1520 940 1521 941 1522 941 1523 941 1524 942 1525 943 1526 944 1527 944 1528 944 1529 945 1530 946 1531 946 1532 947 1533 948 1534 949 1535 949 1536 949 1537 950 1538 951 1539 951 1540 952 1541 953 1542 954 1543 954 1544 954 1545 955 1546 956 1547 957 1548 957 1549 957 1550 958 1551 959 1552 959 1553 960 1554 961 1555 962 1556 962 1557 962 1558 963 1559 964 1560 965 1561 965 1562 965 1563 966 1564 967 1565 967 1566 968 1567 969 1568 970 1569 970 1570 970 1571 971 1572 972 1573 972 1574 973 1575 974 1576 975 1577 975 1578 975 1579 976 1580 977 1581 978 1582 978 1583 978 1584 979 1585 980 1586 980 1587 981 1588 982 1589 983 1590 983 1591 983 1592 984 1593 985 1594 985 1595 986 1596 987 1597 988 1598 988 1599 988 1600 989 1601 990 1602 991 1603 991 1604 991 1605 992 1606 993 1607 993 1608 994 1609 995 1610 996 1611 996 1612 996 1613 997 1614 998 1615 999 1616 999 1617 999 1618 1000 1619 1001 1620 1001 1621 1002 1622 1003 1623 1004 1624 1004 1625 1004 1626 1005 1627 1006 1628 1006 1629 1007 1630 1008 1631 1009 1632 1009 1633 1009 1634 1010 1635 1011 1636 1012 1637 1012 1638 1012 1639 1013 1640 1014 1641 1014 1642 1015 1643 1016 1644 1017 1645 1017 1646 1017 1647 1018 1648 1019 1649 1020 1650 1020 1651 1020 1652 1021 1653 1022 1654 1022 1655 1023 1656 1024 1657 1025 1658 1025 1659 1025 1660 1026 1661 1027 1662 1027 1663 1028 1664 1029 1665 1030 1666 1030 1667 1030 1668 1031 1669 1032 1670 1033 1671 1033 1672 1033 1673 1034 1674 1035 1675 1035 1676 1036 1677 1037 1678 1038 1679 1038 1680 1038 1681 1039 1682 1040 1683 1040 1684 1041 1685 1042 1686 1043 1687 1043 1688 1043 1689 1044 1690 1045 1691 1046 1692 1046 1693 1046 1694 1047 1695 1048 1696 1048 1697 1049 1698 1050 1699 1051 1700 1051 1701 1051 1702 1052 1703 1053 1704 1054 1705 1054 1706 1054 1707 1055 1708 1056 1709 1056 1710 1057 1711 1058 1712 1059 1713 1059 1714 1059 1715 1060 1716 1061 1717 1061 1718 1062 1719 1063 1720 1064 1721 1064 1722 1064 1723 1065 1724 1066 1725 1067 1726 1067 1727 1067 1728 1068 1729 1069 1730 1069 1731 1070 1732 1071 1733 1072 1734 1072 1735 1072 1736 1073 1737 1074 1738 1075 1739 1075 1740 1075 1741 1076 1742 1077 1743 1077 1744 1078 1745 1079 1746 1080 1747 1080 1748 1080 1749 1081 1750 1082 1751 1082 1752 1083 1753 1084 1754 1085 1755 1085 1756 1085 1757 1086 1758 1087 1759 1088 1760 1088 1761 1088 1762 1089 1763 1090 1764 1090 1765 1091 1766 1092 1767 1093 1768 1093 1769 1093 1770 1094 1771 1095 1772 1095 1773 1096 1774 1097 1775 1098 1776 1098 1777 1098 1778 1099 1779 1100 1780 1101 1781 1101 1782 1101 1783 1102 1784 1103 1785 1103 1786 1104 1787 1105 1788 1106 1789 1106 1790 1106 1791 1107 1792 1108 1793 1109 1794 1109 1795 1109 1796 1110 1797 1111 1798 1111 1799 1112 1800 1113 1801 1114 1802 1114 1803 1114 1804 1115 1805 1116 1806 1116 1807 1117 1808 1118 1809 1119 1810 1119 1811 1119 1812 1120 1813 1121 1814 1122 1815 1122 1816 1122 1817 1123 1818 1124 1819 1124 1820 1125 1821 1126 1822 1127 1823 1127 1824 1127 1825 1128 1826 1129 1827 1129 1828 1130 1829 1131 1830 1132 1831 1132 1832 1132 1833 1133 1834 1134 1835 1135 1836 1135 1837 1135 1838 1136 1839 1137 1840 1137 1841 1138 1842 1139 1843 1140 1844 1140 1845 1140 1846 1141 1847 1142 1848 1143 1849 1143 1850 1143 1851 1144 1852 1145 1853 1145 1854 1146 1855 1147 1856 1148 1857 1148 1858 1148 1859 1149 1860 1150 1861 1150 1862 1151 1863 1152 1864 1153 1865 1153 1866 1153 1867 1154 1868 1155 1869 1156 1870 1156 1871 1156 1872 1157 1873 1158 1874 1158 1875 1159 1876 1160 1877 1161 1878 1161 1879 1161 1880 1162 1881 1163 1882 1164 1883 1164 1884 1164 1885 1165 1886 1166 1887 1166 1888 1167 1889 1168 1890 1169 1891 1169 1892 1169 1893 1170 1894 1171 1895 1171 1896 1172 1897 1173 1898 1174 1899 1174 1900 1174 1901 1175 1902 1176 1903 1177 1904 1177 1905 1177 1906 1178 1907 1179 1908 1179 1909 1180 1910 1181 1911 1182 1912 1182 1913 1182 1914 1183 1915 1184 1916 1184 1917 1185 1918 1186 1919 1187 1920 1187 1921 1187 1922 1188 1923 1189 1924 1190 1925 1190 1926 1190 1927 1191 1928 1192 1929 1192 1930 1193 1931 1194 1932 1195 1933 1195 1934 1195 1935 1196 1936 1197 1937 1198 1938 1198 1939 1198 1940 1199 1941 1200 1942 1200 1943 1201 1944 1202 1945 1203 1946 1203 1947 1203 1948 1204 1949 1205 1950 1205 1951 1206 1952 1207 1953 1208 1954 1208 1955 1208 1956 1209 1957 1210 1958 1211 1959 1211 1960 1211 1961 1212 1962 1213 1963 1213 1964 1214 1965 1215 1966 1216 1967 1216 1968 1216 1969 1217 1970 1218 1971 1219 1972 1219 1973 1219 1974 1220 1975 1221 1976 1221 1977 1222 1978 1223 1979 1224 1980 1224 1981 1224 1982 1225 1983 1226 1984 1226 1985 1227 1986 1228 1987 1229 1988 1229 1989 1229 1990 1230 1991 1231 1992 1232 1993 1232 1994 1232 1995 1233 1996 1234 1997 1234 1998 1235 1999 1236