package main

import (
	"fmt"
	"math"
)

var table map[int]int

func longSeq(x int) int {
	if res, ok := table[x]; ok {
		return res
	}
	divs := []int{}
	sq := int(math.Sqrt(float64(x)))
	for i := 2; i <= sq; i++ {
		if x%i == 0 {
			divs = append(divs, i, x/i)
		}
	}
	if len(divs) == 0 {
		if x == 1 {
			return 1
		}
		return x + 1
	}
	max := x + 1
	for _, i := range divs {
		cur := longSeq(i)*x/i + 1
		if cur > max {
			max = cur
		}
	}
	table[x] = max
	return max
}

func main() {
	table = map[int]int{
		1: 1, 2: 3, 3: 4, 4: 7, 5: 6, 6: 10, 7: 8, 8: 15, 9: 13, 10: 16, 11: 12, 12: 22, 13: 14, 14: 22, 15: 21, 16: 31, 17: 18, 18: 31, 19: 20, 20: 36, 21: 29, 22: 34, 23: 24, 24: 46, 25: 31, 26: 40, 27: 40, 28: 50, 29: 30, 30: 51, 31: 32, 32: 63, 33: 45, 34: 52, 35: 43, 36: 67, 37: 38, 38: 58, 39: 53, 40: 76, 41: 42, 42: 71, 43: 44, 44: 78, 45: 66, 46: 70, 47: 48, 48: 94, 49: 57, 50: 81, 51: 69, 52: 92, 53: 54, 54: 94, 55: 67, 56: 106, 57: 77, 58: 88, 59: 60, 60: 111, 61: 62, 62: 94, 63: 92, 64: 127, 65: 79, 66: 111, 67: 68, 68: 120, 69: 93, 70: 113, 71: 72, 72: 139, 73: 74, 74: 112, 75: 106, 76: 134, 77: 89, 78: 131, 79: 80, 80: 156, 81: 121, 82: 124, 83: 84, 84: 155, 85: 103, 86: 130, 87: 117, 88: 166, 89: 90, 90: 156, 91: 105, 92: 162, 93: 125, 94: 142, 95: 115, 96: 190, 97: 98, 98: 155, 99: 144, 100: 181, 101: 102, 102: 171, 103: 104, 104: 196, 105: 148, 106: 160, 107: 108, 108: 202, 109: 110, 110: 177, 111: 149, 112: 218, 113: 114, 114: 191, 115: 139, 116: 204, 117: 170, 118: 178, 119: 137, 120: 231, 121: 133, 122: 184, 123: 165, 124: 218, 125: 156, 126: 218, 127: 128, 128: 255, 129: 173, 130: 209, 131: 132, 132: 243, 133: 153, 134: 202, 135: 201, 136: 256, 137: 138, 138: 231, 139: 140, 140: 253, 141: 189, 142: 214, 143: 157, 144: 283, 145: 175, 146: 220, 147: 204, 148: 260, 149: 150, 150: 256, 151: 152, 152: 286, 153: 222, 154: 243, 155: 187, 156: 287, 157: 158, 158: 238, 159: 213, 160: 316, 161: 185, 162: 283, 163: 164, 164: 288, 165: 232, 166: 250, 167: 168, 168: 323, 169: 183, 170: 273, 171: 248, 172: 302, 173: 174, 174: 291, 175: 218, 176: 342, 177: 237, 178: 268, 179: 180, 180: 336, 181: 182, 182: 287, 183: 245, 184: 346, 185: 223, 186: 311, 187: 205, 188: 330, 189: 281, 190: 305, 191: 192, 192: 382, 193: 194, 194: 292, 195: 274, 196: 351, 197: 198, 198: 342, 199: 200, 200: 381, 201: 269, 202: 304, 203: 233, 204: 375, 205: 247, 206: 310, 207: 300, 208: 404, 209: 229, 210: 358, 211: 212, 212: 372, 213: 285, 214: 322, 215: 259, 216: 418, 217: 249, 218: 328, 219: 293, 220: 397, 221: 239, 222: 371, 223: 224, 224: 442, 225: 331, 226: 340, 227: 228, 228: 419, 229: 230, 230: 369, 231: 320, 232: 436, 233: 234, 234: 404, 235: 283, 236: 414, 237: 317, 238: 375, 239: 240, 240: 471, 241: 242, 242: 375, 243: 364, 244: 428, 245: 302, 246: 411, 247: 267, 248: 466, 249: 333, 250: 406,
		251: 252, 252: 470, 253: 277, 254: 382, 255: 358, 256: 511, 257: 258, 258: 431, 259: 297, 260: 469, 261: 378, 262: 394, 263: 264, 264: 507, 265: 319, 266: 419, 267: 357, 268: 470, 269: 270, 270: 471, 271: 272, 272: 528, 273: 378, 274: 412, 275: 342, 276: 507, 277: 278, 278: 418, 279: 404, 280: 533, 281: 282, 282: 471, 283: 284, 284: 498, 285: 400, 286: 443, 287: 329, 288: 571, 289: 307, 290: 465, 291: 389, 292: 512, 293: 294, 294: 498, 295: 355, 296: 556, 297: 441, 298: 448, 299: 323, 300: 556, 301: 345, 302: 454, 303: 405, 304: 590, 305: 367, 306: 528, 307: 308, 308: 551, 309: 413, 310: 497, 311: 312, 312: 599, 313: 314, 314: 472, 315: 463, 316: 554, 317: 318, 318: 531, 319: 349, 320: 636, 321: 429, 322: 507, 323: 343, 324: 607, 325: 404, 326: 490, 327: 437, 328: 616, 329: 377, 330: 562, 331: 332, 332: 582, 333: 482, 334: 502, 335: 403, 336: 659, 337: 338, 338: 521, 339: 453, 340: 613, 341: 373, 342: 590, 343: 400, 344: 646, 345: 484, 346: 520, 347: 348, 348: 639, 349: 350, 350: 568, 351: 521, 352: 694, 353: 354, 354: 591, 355: 427, 356: 624, 357: 494, 358: 538, 359: 360, 360: 696, 361: 381, 362: 544, 363: 496, 364: 651, 365: 439, 366: 611, 367: 368, 368: 714, 369: 534, 370: 593, 371: 425, 372: 683, 373: 374, 374: 579, 375: 531, 376: 706, 377: 407, 378: 659, 379: 380, 380: 685, 381: 509, 382: 574, 383: 384, 384: 766, 385: 474, 386: 580, 387: 560, 388: 680, 389: 390, 390: 664, 391: 415, 392: 743, 393: 525, 394: 592, 395: 475, 396: 738, 397: 398, 398: 598, 399: 552, 400: 781, 401: 402, 402: 671, 403: 435, 404: 708, 405: 606, 406: 639, 407: 445, 408: 783, 409: 410, 410: 657, 411: 549, 412: 722, 413: 473, 414: 714, 415: 499, 416: 820, 417: 557, 418: 647, 419: 420, 420: 778, 421: 422, 422: 634, 423: 612, 424: 796, 425: 528, 426: 711, 427: 489, 428: 750, 429: 586, 430: 689, 431: 432, 432: 850, 433: 434, 434: 683, 435: 610, 436: 764, 437: 461, 438: 731, 439: 440, 440: 837, 441: 645, 442: 681, 443: 444, 444: 815, 445: 535, 446: 670, 447: 597, 448: 890, 449: 450, 450: 781, 451: 493, 452: 792, 453: 605, 454: 682, 455: 560, 456: 875, 457: 458, 458: 688, 459: 681, 460: 829, 461: 462, 462: 782, 463: 464, 464: 900, 465: 652, 466: 700, 467: 468, 468: 872, 469: 537, 470: 753, 471: 629, 472: 886, 473: 517, 474: 791, 475: 590, 476: 851, 477: 690, 478: 718, 479: 480, 480: 951, 481: 519, 482: 724, 483: 668, 484: 859, 485: 583, 486: 850, 487: 488, 488: 916, 489: 653, 490: 792, 491: 492, 492: 903, 493: 523, 494: 761, 495: 727, 496: 962, 497: 569, 498: 831, 499: 500, 500: 906,
		501: 669, 502: 754, 503: 504, 504: 974, 505: 607, 506: 783, 507: 690, 508: 890, 509: 510, 510: 868, 511: 585, 512: 1023, 513: 761, 514: 772, 515: 619, 516: 947, 517: 565, 518: 815, 519: 693, 520: 989, 521: 522, 522: 900, 523: 524, 524: 918, 525: 743, 526: 790, 527: 559, 528: 1035, 529: 553, 530: 849, 531: 768, 532: 951, 533: 575, 534: 891, 535: 643, 536: 1006, 537: 717, 538: 808, 539: 628, 540: 1011, 541: 542, 542: 814, 543: 725, 544: 1072, 545: 655, 546: 924, 547: 548, 548: 960, 549: 794, 550: 892, 551: 581, 552: 1059, 553: 633, 554: 832, 555: 778, 556: 974, 557: 558, 558: 962, 559: 603, 560: 1093, 561: 766, 562: 844, 563: 564, 564: 1035, 565: 679, 566: 850, 567: 848, 568: 1066, 569: 570, 570: 970, 571: 572, 572: 1015, 573: 765, 574: 903, 575: 714, 576: 1147, 577: 578, 578: 885, 579: 773, 580: 1045, 581: 665, 582: 971, 583: 637, 584: 1096, 585: 859, 586: 880, 587: 588, 588: 1086, 589: 621, 590: 945, 591: 789, 592: 1148, 593: 594, 594: 1035, 595: 732, 596: 1044, 597: 797, 598: 921, 599: 600, 600: 1156, 601: 602, 602: 947, 603: 872, 604: 1058, 605: 738, 606: 1011, 607: 608, 608: 1198, 609: 842, 610: 977, 611: 659, 612: 1140, 613: 614, 614: 922, 615: 862, 616: 1167, 617: 618, 618: 1031, 619: 620, 620: 1117, 621: 921, 622: 934, 623: 713, 624: 1223, 625: 781, 626: 940, 627: 856, 628: 1100, 629: 667, 630: 1093, 631: 632, 632: 1186, 633: 845, 634: 952, 635: 763, 636: 1167, 637: 742, 638: 987, 639: 924, 640: 1276, 641: 642, 642: 1071, 643: 644, 644: 1151, 645: 904, 646: 989, 647: 648, 648: 1255, 649: 709, 650: 1054, 651: 900, 652: 1142, 653: 654, 654: 1091, 655: 787, 656: 1272, 657: 950, 658: 1035, 659: 660, 660: 1222, 661: 662, 662: 994, 663: 902, 664: 1246, 665: 818, 666: 1148, 667: 697, 668: 1170, 669: 893, 670: 1073, 671: 733, 672: 1331, 673: 674, 674: 1012, 675: 1006, 676: 1197, 677: 678, 678: 1131, 679: 777, 680: 1293, 681: 909, 682: 1055, 683: 684, 684: 1274, 685: 823, 686: 1086, 687: 917, 688: 1334, 689: 743, 690: 1174, 691: 692, 692: 1212, 693: 1013, 694: 1042, 695: 835, 696: 1335, 697: 739, 698: 1048, 699: 933, 700: 1268, 701: 702, 702: 1223, 703: 741, 704: 1398, 705: 988, 706: 1060, 707: 809, 708: 1299, 709: 710, 710: 1137, 711: 1028, 712: 1336, 713: 745, 714: 1208, 715: 872, 716: 1254, 717: 957, 718: 1078, 719: 720, 720: 1416, 721: 825, 722: 1103, 723: 965, 724: 1268, 725: 900, 726: 1222, 727: 728, 728: 1379, 729: 1093, 730: 1169, 731: 775, 732: 1343, 733: 734, 734: 1102, 735: 1037, 736: 1450, 737: 805, 738: 1272, 739: 740, 740: 1333, 741: 1008, 742: 1167, 743: 744, 744: 1427, 745: 895, 746: 1120, 747: 1080, 748: 1327, 749: 857, 750: 1281,
		751: 752, 752: 1458, 753: 1005, 754: 1161, 755: 907, 756: 1415, 757: 758, 758: 1138, 759: 1036, 760: 1445, 761: 762, 762: 1271, 763: 873, 764: 1338, 765: 1123, 766: 1150, 767: 827, 768: 1534, 769: 770, 770: 1244, 771: 1029, 772: 1352, 773: 774, 774: 1334, 775: 962, 776: 1456, 777: 1074, 778: 1168, 779: 821, 780: 1444, 781: 853, 782: 1197, 783: 1161, 784: 1527, 785: 943, 786: 1311, 787: 788, 788: 1380, 789: 1053, 790: 1265, 791: 905, 792: 1530, 793: 855, 794: 1192, 795: 1114, 796: 1394, 797: 798, 798: 1350, 799: 847, 800: 1581, 801: 1158, 802: 1204, 803: 877, 804: 1475, 805: 990, 806: 1241, 807: 1077, 808: 1516, 809: 810, 810: 1416, 811: 812, 812: 1451, 813: 1085, 814: 1259, 815: 979, 816: 1599, 817: 861, 818: 1228, 819: 1197, 820: 1477, 821: 822, 822: 1371, 823: 824, 824: 1546, 825: 1167, 826: 1299, 827: 828, 828: 1542, 829: 830, 830: 1329, 831: 1109, 832: 1652, 833: 970, 834: 1391, 835: 1003, 836: 1483, 837: 1241, 838: 1258, 839: 840, 840: 1618, 841: 871, 842: 1264, 843: 1125, 844: 1478, 845: 1028, 846: 1458, 847: 980, 848: 1644, 849: 1133, 850: 1378, 851: 889, 852: 1563, 853: 854, 854: 1343, 855: 1255, 856: 1606, 857: 858, 858: 1444, 859: 860, 860: 1549, 861: 1190, 862: 1294, 863: 864, 864: 1714, 865: 1039, 866: 1300, 867: 1174, 868: 1551, 869: 949, 870: 1480, 871: 939, 872: 1636, 873: 1262, 874: 1335, 875: 1093, 876: 1607, 877: 878, 878: 1318, 879: 1173, 880: 1717, 881: 882, 882: 1527, 883: 884, 884: 1565, 885: 1240, 886: 1330, 887: 888, 888: 1703, 889: 1017, 890: 1425, 891: 1332, 892: 1562, 893: 941, 894: 1491, 895: 1075, 896: 1786, 897: 1220, 898: 1348, 899: 931, 900: 1681, 901: 955, 902: 1395, 903: 1248, 904: 1696, 905: 1087, 906: 1511, 907: 908, 908: 1590, 909: 1314, 910: 1470, 911: 912, 912: 1787, 913: 997, 914: 1372, 915: 1282, 916: 1604, 917: 1049, 918: 1599, 919: 920, 920: 1749, 921: 1229, 922: 1384, 923: 995, 924: 1706, 925: 1148, 926: 1390, 927: 1340, 928: 1828, 929: 930, 930: 1582, 931: 1084, 932: 1632, 933: 1245, 934: 1402, 935: 1140, 936: 1808, 937: 938, 938: 1475, 939: 1253, 940: 1693, 941: 942, 942: 1571, 943: 985, 944: 1830, 945: 1408, 946: 1463, 947: 948, 948: 1739, 949: 1023, 950: 1540, 951: 1269, 952: 1803, 953: 954, 954: 1644, 955: 1147, 956: 1674, 957: 1306, 958: 1438, 959: 1097, 960: 1911, 961: 993, 962: 1481, 963: 1392, 964: 1688, 965: 1159, 966: 1634, 967: 968, 968: 1827, 969: 1312, 970: 1553, 971: 972, 972: 1822, 973: 1113, 974: 1462, 975: 1379, 976: 1892, 977: 978, 978: 1631, 979: 1069, 980: 1772, 981: 1418, 982: 1474, 983: 984, 984: 1887, 985: 1183, 986: 1509, 987: 1364, 988: 1749, 989: 1033, 990: 1717, 991: 992, 992: 1954, 993: 1325, 994: 1563, 995: 1195, 996: 1827, 997: 998, 998: 1498, 999: 1481, 1000: 1906,
		1001: 1158, 1002: 1671, 1003: 1063, 1004: 1758, 1005: 1408, 1006: 1510, 1007: 1061, 1008: 1982, 1009: 1010, 1010: 1617, 1011: 1349, 1012: 1795, 1013: 1014, 1014: 1704, 1015: 1248, 1016: 1906, 1017: 1470, 1018: 1528, 1019: 1020, 1020: 1888, 1021: 1022, 1022: 1607, 1023: 1396, 1024: 2047, 1025: 1272, 1026: 1787, 1027: 1107, 1028: 1800, 1029: 1429, 1030: 1649, 1031: 1032, 1032: 1979, 1033: 1034, 1034: 1599, 1035: 1519, 1036: 1851, 1037: 1099, 1038: 1731, 1039: 1040, 1040: 2029, 1041: 1389, 1042: 1564, 1043: 1193, 1044: 1944, 1045: 1274, 1046: 1570, 1047: 1397, 1048: 1966, 1049: 1050, 1050: 1793, 1051: 1052, 1052: 1842, 1053: 1574, 1054: 1613, 1055: 1267, 1056: 2091, 1057: 1209, 1058: 1611, 1059: 1413, 1060: 1909, 1061: 1062, 1062: 1830, 1063: 1064, 1064: 2015, 1065: 1492, 1066: 1641, 1067: 1165, 1068: 1959, 1069: 1070, 1070: 1713, 1071: 1565, 1072: 2078, 1073: 1111, 1074: 1791, 1075: 1334, 1076: 1884, 1077: 1437, 1078: 1706, 1079: 1163, 1080: 2091, 1081: 1129, 1082: 1624, 1083: 1464, 1084: 1898, 1085: 1334, 1086: 1811, 1087: 1088, 1088: 2160, 1089: 1585, 1090: 1745, 1091: 1092, 1092: 2016, 1093: 1094, 1094: 1642, 1095: 1534, 1096: 2056, 1097: 1098, 1098: 1892, 1099: 1257, 1100: 1992, 1101: 1469, 1102: 1683, 1103: 1104, 1104: 2163, 1105: 1344, 1106: 1739, 1107: 1641, 1108: 1940, 1109: 1110, 1110: 1888, 1111: 1213, 1112: 2086, 1113: 1538, 1114: 1672, 1115: 1339, 1116: 2078, 1117: 1118, 1118: 1721, 1119: 1493, 1120: 2213, 1121: 1181, 1122: 1888, 1123: 1124, 1124: 1968, 1125: 1656, 1126: 1690, 1127: 1312, 1128: 2163, 1129: 1130, 1130: 1809, 1131: 1538, 1132: 1982, 1133: 1237, 1134: 1982, 1135: 1363, 1136: 2202, 1137: 1517, 1138: 1708, 1139: 1207, 1140: 2110, 1141: 1305, 1142: 1714, 1143: 1652, 1144: 2159, 1145: 1375, 1146: 1911, 1147: 1185, 1148: 2051, 1149: 1533, 1150: 1864, 1151: 1152, 1152: 2299, 1153: 1154, 1154: 1732, 1155: 1629, 1156: 2041, 1157: 1247, 1158: 1931, 1159: 1221, 1160: 2205, 1161: 1721, 1162: 1827, 1163: 1164, 1164: 2135, 1165: 1399, 1166: 1803, 1167: 1557, 1168: 2264, 1169: 1337, 1170: 2029, 1171: 1172, 1172: 2052, 1173: 1588, 1174: 1762, 1175: 1458, 1176: 2262, 1177: 1285, 1178: 1799, 1179: 1704, 1180: 2125, 1181: 1182, 1182: 1971, 1183: 1366, 1184: 2332, 1185: 1660, 1186: 1780, 1187: 1188, 1188: 2223, 1189: 1231, 1190: 1922, 1191: 1589, 1192: 2236, 1193: 1194, 1194: 1991, 1195: 1435, 1196: 2117, 1197: 1749, 1198: 1798, 1199: 1309, 1200: 2356, 1201: 1202, 1202: 1804, 1203: 1605, 1204: 2151, 1205: 1447, 1206: 2078, 1207: 1279, 1208: 2266, 1209: 1644, 1210: 1948, 1211: 1385, 1212: 2223, 1213: 1214, 1214: 1822, 1215: 1821, 1216: 2414, 1217: 1218, 1218: 2060, 1219: 1273, 1220: 2197, 1221: 1666, 1222: 1881, 1223: 1224, 1224: 2364, 1225: 1527, 1226: 1840, 1227: 1637, 1228: 2150, 1229: 1230, 1230: 2092, 1231: 1232, 1232: 2399, 1233: 1782, 1234: 1852, 1235: 1502, 1236: 2267, 1237: 1238, 1238: 1858, 1239: 1712, 1240: 2357, 1241: 1315, 1242: 2163, 1243: 1357, 1244: 2178, 1245: 1744, 1246: 1959, 1247: 1291, 1248: 2471, 1249: 1250, 1250: 2031,
		1251: 1808, 1252: 2192, 1253: 1433, 1254: 2110, 1255: 1507, 1256: 2356, 1257: 1677, 1258: 1925, 1259: 1260, 1260: 2353, 1261: 1359, 1262: 1894, 1263: 1685, 1264: 2450, 1265: 1542, 1266: 2111, 1267: 1449, 1268: 2220, 1269: 1881, 1270: 2033, 1271: 1313, 1272: 2439, 1273: 1341, 1274: 2016, 1275: 1803, 1276: 2263, 1277: 1278, 1278: 2202, 1279: 1280, 1280: 2556, 1281: 1770, 1282: 1924, 1283: 1284, 1284: 2355, 1285: 1543, 1286: 1930, 1287: 1873, 1288: 2439, 1289: 1290, 1290: 2194, 1291: 1292, 1292: 2281, 1293: 1725, 1294: 1942, 1295: 1592, 1296: 2551, 1297: 1298, 1298: 2007, 1299: 1733, 1300: 2354, 1301: 1302, 1302: 2202, 1303: 1304, 1304: 2446, 1305: 1915, 1306: 1960, 1307: 1308, 1308: 2399, 1309: 1514, 1310: 2097, 1311: 1772, 1312: 2584, 1313: 1415, 1314: 2264, 1315: 1579, 1316: 2351, 1317: 1757, 1318: 1978, 1319: 1320, 1320: 2542, 1321: 1322, 1322: 1984, 1323: 1968, 1324: 2318, 1325: 1644, 1326: 2228, 1327: 1328, 1328: 2574, 1329: 1773, 1330: 2148, 1331: 1464, 1332: 2480, 1333: 1377, 1334: 2031, 1335: 1870, 1336: 2506, 1337: 1529, 1338: 2231, 1339: 1443, 1340: 2413, 1341: 1938, 1342: 2075, 1343: 1423, 1344: 2675, 1345: 1615, 1346: 2020, 1347: 1797, 1348: 2360, 1349: 1421, 1350: 2356, 1351: 1545, 1352: 2549, 1353: 1846, 1354: 2032, 1355: 1627, 1356: 2487, 1357: 1417, 1358: 2135, 1359: 1964, 1360: 2653, 1361: 1362, 1362: 2271, 1363: 1411, 1364: 2419, 1365: 1925, 1366: 2050, 1367: 1368, 1368: 2642, 1369: 1407, 1370: 2193, 1371: 1829, 1372: 2458, 1373: 1374, 1374: 2291, 1375: 1717, 1376: 2710, 1377: 2058, 1378: 2121, 1379: 1577, 1380: 2554, 1381: 1382, 1382: 2074, 1383: 1845, 1384: 2596, 1385: 1663, 1386: 2399, 1387: 1461, 1388: 2430, 1389: 1853, 1390: 2225, 1391: 1499, 1392: 2727, 1393: 1593, 1394: 2133, 1395: 2047, 1396: 2444, 1397: 1525, 1398: 2331, 1399: 1400, 1400: 2668, 1401: 1869, 1402: 2104, 1403: 1465, 1404: 2627, 1405: 1687, 1406: 2147, 1407: 1944, 1408: 2806, 1409: 1410, 1410: 2398, 1411: 1495, 1412: 2472, 1413: 2042, 1414: 2223, 1415: 1699, 1416: 2715, 1417: 1527, 1418: 2128, 1419: 1936, 1420: 2557, 1421: 1654, 1422: 2450, 1423: 1424, 1424: 2760, 1425: 2015, 1426: 2171, 1427: 1428, 1428: 2636, 1429: 1430, 1430: 2302, 1431: 2121, 1432: 2686, 1433: 1434, 1434: 2391, 1435: 1764, 1436: 2514, 1437: 1917, 1438: 2158, 1439: 1440, 1440: 2856, 1441: 1573, 1442: 2267, 1443: 1962, 1444: 2547, 1445: 1752, 1446: 2411, 1447: 1448, 1448: 2716, 1449: 2117, 1450: 2350, 1451: 1452, 1452: 2674, 1453: 1454, 1454: 2182, 1455: 2038, 1456: 2835, 1457: 1505, 1458: 2551, 1459: 1460, 1460: 2629, 1461: 1949, 1462: 2237, 1463: 1692, 1464: 2807, 1465: 1759, 1466: 2200, 1467: 2120, 1468: 2570, 1469: 1583, 1470: 2507, 1471: 1472, 1472: 2922, 1473: 1965, 1474: 2279, 1475: 1830, 1476: 2748, 1477: 1689, 1478: 2218, 1479: 2002, 1480: 2813, 1481: 1482, 1482: 2490, 1483: 1484, 1484: 2651, 1485: 2212, 1486: 2230, 1487: 1488, 1488: 2915, 1489: 1490, 1490: 2385, 1491: 2060, 1492: 2612, 1493: 1494, 1494: 2574, 1495: 1818, 1496: 2823, 1497: 1997, 1498: 2355, 1499: 1500, 1500: 2781,
		1501: 1581, 1502: 2254, 1503: 2172, 1504: 2962, 1505: 1850, 1506: 2511, 1507: 1645, 1508: 2669, 1509: 2013, 1510: 2417, 1511: 1512, 1512: 2927, 1513: 1603, 1514: 2272, 1515: 2122, 1516: 2654, 1517: 1559, 1518: 2554, 1519: 1768, 1520: 2965, 1521: 2211, 1522: 2284, 1523: 1524, 1524: 2795, 1525: 1892, 1526: 2399, 1527: 2037, 1528: 2866, 1529: 1669, 1530: 2653, 1531: 1532, 1532: 2682, 1533: 2118, 1534: 2361, 1535: 1843, 1536: 3070, 1537: 1591, 1538: 2308, 1539: 2300, 1540: 2784, 1541: 1609, 1542: 2571, 1543: 1544, 1544: 2896, 1545: 2164, 1546: 2320, 1547: 1786, 1548: 2882, 1549: 1550, 1550: 2512, 1551: 2116, 1552: 3008, 1553: 1554, 1554: 2628, 1555: 1867, 1556: 2724, 1557: 2250, 1558: 2379, 1559: 1560, 1560: 3004, 1561: 1785, 1562: 2415, 1563: 2085, 1564: 2761, 1565: 1879, 1566: 2727, 1567: 1568, 1568: 3095, 1569: 2093, 1570: 2513, 1571: 1572, 1572: 2883, 1573: 1730, 1574: 2362, 1575: 2318, 1576: 2956, 1577: 1661, 1578: 2631, 1579: 1580, 1580: 2845, 1581: 2140, 1582: 2487, 1583: 1584, 1584: 3114, 1585: 1903, 1586: 2441, 1587: 2140, 1588: 2780, 1589: 1817, 1590: 2704, 1591: 1635, 1592: 2986, 1593: 2361, 1594: 2392, 1595: 1944, 1596: 2946, 1597: 1598, 1598: 2445, 1599: 2174, 1600: 3181, 1601: 1602, 1602: 2760, 1603: 1833, 1604: 2808, 1605: 2248, 1606: 2483, 1607: 1608, 1608: 3083, 1609: 1610, 1610: 2600, 1611: 2328, 1612: 2853, 1613: 1614, 1614: 2691, 1615: 1958, 1616: 3132, 1617: 2245, 1618: 2428, 1619: 1620, 1620: 3036, 1621: 1622, 1622: 2434, 1623: 2165, 1624: 3075, 1625: 2029, 1626: 2711, 1627: 1628, 1628: 2887, 1629: 2354, 1630: 2609, 1631: 1865, 1632: 3231, 1633: 1705, 1634: 2495, 1635: 2290, 1636: 2864, 1637: 1638, 1638: 2835, 1639: 1789, 1640: 3117, 1641: 2189, 1642: 2464, 1643: 1697, 1644: 3015, 1645: 2022, 1646: 2470, 1647: 2441, 1648: 3194, 1649: 1747, 1650: 2817, 1651: 1779, 1652: 2951, 1653: 2234, 1654: 2482, 1655: 1987, 1656: 3198, 1657: 1658, 1658: 2488, 1659: 2292, 1660: 2989, 1661: 1813, 1662: 2771, 1663: 1664, 1664: 3316, 1665: 2443, 1666: 2636, 1667: 1668, 1668: 3059, 1669: 1670, 1670: 2673, 1671: 2229, 1672: 3155, 1673: 1913, 1674: 2915, 1675: 2078, 1676: 2934, 1677: 2280, 1678: 2518, 1679: 1753, 1680: 3298, 1681: 1723, 1682: 2553, 1683: 2449, 1684: 2948, 1685: 2023, 1686: 2811, 1687: 1929, 1688: 3166, 1689: 2253, 1690: 2718, 1691: 1781, 1692: 3150, 1693: 1694, 1694: 2674, 1695: 2374, 1696: 3340, 1697: 1698, 1698: 2831, 1699: 1700, 1700: 3078, 1701: 2549, 1702: 2591, 1703: 1835, 1704: 3267, 1705: 2078, 1706: 2560, 1707: 2277, 1708: 3051, 1709: 1710, 1710: 2965, 1711: 1771, 1712: 3318, 1713: 2285, 1714: 2572, 1715: 2115, 1716: 3160, 1717: 1819, 1718: 2578, 1719: 2484, 1720: 3269, 1721: 1722, 1722: 2912, 1723: 1724, 1724: 3018, 1725: 2439, 1726: 2590, 1727: 1885, 1728: 3442, 1729: 1996, 1730: 2769, 1731: 2309, 1732: 3032, 1733: 1734, 1734: 2908, 1735: 2083, 1736: 3287, 1737: 2510, 1738: 2687, 1739: 1787, 1740: 3220, 1741: 1742, 1742: 2681, 1743: 2408, 1744: 3380, 1745: 2095, 1746: 3008, 1747: 1748, 1748: 3083, 1749: 2386, 1750: 2843,
		1751: 1855, 1752: 3359, 1753: 1754, 1754: 2632, 1755: 2614, 1756: 3074, 1757: 2009, 1758: 2931, 1759: 1760, 1760: 3477, 1761: 2349, 1762: 2644, 1763: 1807, 1764: 3291, 1765: 2119, 1766: 2650, 1767: 2388, 1768: 3333, 1769: 1831, 1770: 3010, 1771: 2048, 1772: 3102, 1773: 2562, 1774: 2662, 1775: 2202, 1776: 3479, 1777: 1778, 1778: 2795, 1779: 2373, 1780: 3205, 1781: 1919, 1782: 3114, 1783: 1784, 1784: 3346, 1785: 2517, 1786: 2727, 1787: 1788, 1788: 3279, 1789: 1790, 1790: 2865, 1791: 2588, 1792: 3578, 1793: 1957, 1794: 3014, 1795: 2155, 1796: 3144, 1797: 2397, 1798: 2729, 1799: 2057, 1800: 3481, 1801: 1802, 1802: 2757, 1803: 2405, 1804: 3199, 1805: 2186, 1806: 3054, 1807: 1947, 1808: 3504, 1809: 2681, 1810: 2897, 1811: 1812, 1812: 3323, 1813: 2110, 1814: 2722, 1815: 2553, 1816: 3406, 1817: 1897, 1818: 3132, 1819: 1927, 1820: 3290, 1821: 2429, 1822: 2734, 1823: 1824, 1824: 3611, 1825: 2264, 1826: 2823, 1827: 2669, 1828: 3200, 1829: 1889, 1830: 3112, 1831: 1832, 1832: 3436, 1833: 2492, 1834: 2883, 1835: 2203, 1836: 3435, 1837: 2005, 1838: 2758, 1839: 2453, 1840: 3589, 1841: 2105, 1842: 3071, 1843: 1941, 1844: 3228, 1845: 2707, 1846: 2841, 1847: 1848, 1848: 3554, 1849: 1893, 1850: 2998, 1851: 2469, 1852: 3242, 1853: 1963, 1854: 3194, 1855: 2280, 1856: 3684, 1857: 2477, 1858: 2788, 1859: 2042, 1860: 3442, 1861: 1862, 1862: 2946, 1863: 2784, 1864: 3496, 1865: 2239, 1866: 3111, 1867: 1868, 1868: 3270, 1869: 2582, 1870: 3010, 1871: 1872, 1872: 3680, 1873: 1874, 1874: 2812, 1875: 2656, 1876: 3351, 1877: 1878, 1878: 3131, 1879: 1880, 1880: 3573, 1881: 2737, 1882: 2824, 1883: 2153, 1884: 3455, 1885: 2292, 1886: 2871, 1887: 2554, 1888: 3718, 1889: 1890, 1890: 3298, 1891: 1953, 1892: 3355, 1893: 2525, 1894: 2842, 1895: 2275, 1896: 3635, 1897: 2169, 1898: 2921, 1899: 2744, 1900: 3440, 1901: 1902, 1902: 3171, 1903: 2077, 1904: 3707, 1905: 2668, 1906: 2860, 1907: 1908, 1908: 3552, 1909: 1993, 1910: 3057, 1911: 2653, 1912: 3586, 1913: 1914, 1914: 3220, 1915: 2299, 1916: 3354, 1917: 2841, 1918: 3015, 1919: 2021, 1920: 3831, 1921: 2035, 1922: 2915, 1923: 2565, 1924: 3405, 1925: 2399, 1926: 3318, 1927: 1975, 1928: 3616, 1929: 2573, 1930: 3089, 1931: 1932, 1932: 3566, 1933: 1934, 1934: 2902, 1935: 2839, 1936: 3763, 1937: 2087, 1938: 3250, 1939: 2217, 1940: 3493, 1941: 2589, 1942: 2914, 1943: 2011, 1944: 3766, 1945: 2335, 1946: 3059, 1947: 2656, 1948: 3410, 1949: 1950, 1950: 3329, 1951: 1952, 1952: 3844, 1953: 2853, 1954: 2932, 1955: 2370, 1956: 3587, 1957: 2061, 1958: 3027, 1959: 2613, 1960: 3732, 1961: 2015, 1962: 3380, 1963: 2115, 1964: 3438, 1965: 2752, 1966: 2950, 1967: 2249, 1968: 3855, 1969: 2149, 1970: 3153, 1971: 2921, 1972: 3481, 1973: 1974, 1974: 3338, 1975: 2450, 1976: 3725, 1977: 2637, 1978: 3011, 1979: 1980, 1980: 3697, 1981: 2265, 1982: 2974, 1983: 2645, 1984: 3938, 1985: 2383, 1986: 3311, 1987: 1988, 1988: 3551, 1989: 2891, 1990: 3185, 1991: 2173, 1992: 3819, 1993: 1994, 1994: 2992, 1995: 2813, 1996: 3494, 1997: 1998, 1998: 3479, 1999: 2000, 2000: 3906,
		2001: 2698, 2002: 3160, 2003: 2004, 2004: 3675, 2005: 2407, 2006: 3069, 2007: 2900, 2008: 3766, 2009: 2338, 2010: 3418, 2011: 2012, 2012: 3522, 2013: 2746, 2014: 3075, 2015: 2450, 2016: 3998, 2017: 2018, 2018: 3028, 2019: 2693, 2020: 3637, 2021: 2069, 2022: 3371, 2023: 2330, 2024: 3819, 2025: 3031, 2026: 3040, 2027: 2028, 2028: 3732, 2029: 2030, 2030: 3278, 2031: 2709, 2032: 3938, 2033: 2141, 2034: 3504, 2035: 2480, 2036: 3564, 2037: 2814, 2038: 3058, 2039: 2040, 2040: 3928, 2041: 2199, 2042: 3064, 2043: 2952, 2044: 3651, 2045: 2455, 2046: 3442, 2047: 2137, 2048: 4095, 2049: 2733, 2050: 3322, 2051: 2345, 2052: 3839, 2053: 2054, 2054: 3161, 2055: 2878, 2056: 3856, 2057: 2262, 2058: 3487, 2059: 2131, 2060: 3709, 2061: 2978, 2062: 3094, 2063: 2064, 2064: 4043, 2065: 2538, 2066: 3100, 2067: 2810, 2068: 3667, 2069: 2070, 2070: 3589, 2071: 2181, 2072: 3923, 2073: 2765, 2074: 3173, 2075: 2574, 2076: 3807, 2077: 2145, 2078: 3118, 2079: 3092, 2080: 4109, 2081: 2082, 2082: 3471, 2083: 2084, 2084: 3648, 2085: 2920, 2086: 3279, 2087: 2088, 2088: 4032, 2089: 2090, 2090: 3364, 2091: 2830, 2092: 3662, 2093: 2416, 2094: 3491, 2095: 2515, 2096: 4062, 2097: 3030, 2098: 3148, 2099: 2100, 2100: 3893, 2101: 2293, 2102: 3154, 2103: 2805, 2104: 3946, 2105: 2527, 2106: 3680, 2107: 2452, 2108: 3721, 2109: 2850, 2110: 3377, 2111: 2112, 2112: 4203, 2113: 2114, 2114: 3323, 2115: 3103, 2116: 3727, 2117: 2191, 2118: 3531, 2119: 2283, 2120: 4029, 2121: 2930, 2122: 3184, 2123: 2317, 2124: 3954, 2125: 2653, 2126: 3190, 2127: 2837, 2128: 4143, 2129: 2130, 2130: 3622, 2131: 2132, 2132: 3773, 2133: 3161, 2134: 3299, 2135: 2624, 2136: 4095, 2137: 2138, 2138: 3208, 2139: 2884, 2140: 3853, 2141: 2142, 2142: 3707, 2143: 2144, 2144: 4222, 2145: 3017, 2146: 3257, 2147: 2261, 2148: 3939, 2149: 2457, 2150: 3484, 2151: 3108, 2152: 4036, 2153: 2154, 2154: 3591, 2155: 2587, 2156: 3862, 2157: 2877, 2158: 3321, 2159: 2287, 2160: 4251, 2161: 2162, 2162: 3291, 2163: 2988, 2164: 3788, 2165: 2599, 2166: 3630, 2167: 2365, 2168: 4066, 2169: 3134, 2170: 3504, 2171: 2339, 2172: 3983, 2173: 2227, 2174: 3262, 2175: 3075, 2176: 4336, 2177: 2489, 2178: 3763, 2179: 2180, 2180: 3925, 2181: 2909, 2182: 3274, 2183: 2243, 2184: 4200, 2185: 2646, 2186: 3280, 2187: 3280, 2188: 3830, 2189: 2389, 2190: 3724, 2191: 2505, 2192: 4248, 2193: 2968, 2194: 3292, 2195: 2635, 2196: 4088, 2197: 2380, 2198: 3455, 2199: 2933, 2200: 4192, 2201: 2273, 2202: 3671, 2203: 2204, 2204: 3887, 2205: 3242, 2206: 3310, 2207: 2208, 2208: 4371, 2209: 2257, 2210: 3554, 2211: 3016, 2212: 3951, 2213: 2214, 2214: 3855, 2215: 2659, 2216: 4156, 2217: 2957, 2218: 3328, 2219: 2537, 2220: 4108, 2221: 2222, 2222: 3435, 2223: 3231, 2224: 4310, 2225: 2760, 2226: 3764, 2227: 2359, 2228: 3900, 2229: 2973, 2230: 3569, 2231: 2329, 2232: 4310, 2233: 2582, 2234: 3352, 2235: 3130, 2236: 3957, 2237: 2238, 2238: 3731, 2239: 2240, 2240: 4453, 2241: 3321, 2242: 3423, 2243: 2244, 2244: 4132, 2245: 2695, 2246: 3370, 2247: 3104, 2248: 4216, 2249: 2423, 2250: 3906,
		2251: 2252, 2252: 3942, 2253: 3005, 2254: 3566, 2255: 2748, 2256: 4419, 2257: 2319, 2258: 3388, 2259: 3264, 2260: 4069, 2261: 2604, 2262: 3800, 2263: 2337, 2264: 4246, 2265: 3172, 2266: 3503, 2267: 2268, 2268: 4250, 2269: 2270, 2270: 3633, 2271: 3029, 2272: 4474, 2273: 2274, 2274: 3791, 2275: 2835, 2276: 3984, 2277: 3313, 2278: 3485, 2279: 2333, 2280: 4390, 2281: 2282, 2282: 3587, 2283: 3045, 2284: 3998, 2285: 2743, 2286: 3938, 2287: 2288, 2288: 4447, 2289: 3162, 2290: 3665, 2291: 2371, 2292: 4203, 2293: 2294, 2294: 3479, 2295: 3418, 2296: 4347, 2297: 2298, 2298: 3831, 2299: 2528, 2300: 4164, 2301: 3128, 2302: 3454, 2303: 2680, 2304: 4603, 2305: 2767, 2306: 3460, 2307: 3077, 2308: 4040, 2309: 2310, 2310: 3939, 2311: 2312, 2312: 4353, 2313: 3342, 2314: 3561, 2315: 2779, 2316: 4247, 2317: 2649, 2318: 3539, 2319: 3093, 2320: 4525, 2321: 2533, 2322: 4043, 2323: 2425, 2324: 4151, 2325: 3287, 2326: 3490, 2327: 2507, 2328: 4463, 2329: 2467, 2330: 3729, 2331: 3405, 2332: 4135, 2333: 2334, 2334: 3891, 2335: 2803, 2336: 4600, 2337: 3158, 2338: 3675, 2339: 2340, 2340: 4369, 2341: 2342, 2342: 3514, 2343: 3196, 2344: 4396, 2345: 2882, 2346: 3934, 2347: 2348, 2348: 4110, 2349: 3510, 2350: 3808, 2351: 2352, 2352: 4614, 2353: 2535, 2354: 3639, 2355: 3298, 2356: 4155, 2357: 2358, 2358: 4062, 2359: 2697, 2360: 4485, 2361: 3149, 2362: 3544, 2363: 2503, 2364: 4335, 2365: 2882, 2366: 3732, 2367: 3420, 2368: 4700, 2369: 2473, 2370: 4030, 2371: 2372, 2372: 4152, 2373: 3278, 2374: 3562, 2375: 2965, 2376: 4599, 2377: 2378, 2378: 3609, 2379: 3234, 2380: 4302, 2381: 2382, 2382: 3971, 2383: 2384, 2384: 4620, 2385: 3499, 2386: 3580, 2387: 2760, 2388: 4379, 2389: 2390, 2390: 3825, 2391: 3189, 2392: 4509, 2393: 2394, 2394: 4143, 2395: 2875, 2396: 4194, 2397: 3244, 2398: 3707, 2399: 2400, 2400: 4756, 2401: 2801, 2402: 3604, 2403: 3561, 2404: 4208, 2405: 2924, 2406: 4011, 2407: 2491, 2408: 4559, 2409: 3286, 2410: 3857, 2411: 2412, 2412: 4490, 2413: 2541, 2414: 3693, 2415: 3405, 2416: 4682, 2417: 2418, 2418: 4062, 2419: 2479, 2420: 4368, 2421: 3498, 2422: 3807, 2423: 2424, 2424: 4647, 2425: 3008, 2426: 3640, 2427: 3237, 2428: 4250, 2429: 2777, 2430: 4251, 2431: 2670, 2432: 4846, 2433: 3245, 2434: 3652, 2435: 2923, 2436: 4496, 2437: 2438, 2438: 3711, 2439: 3524, 2440: 4637, 2441: 2442, 2442: 4108, 2443: 2793, 2444: 4325, 2445: 3424, 2446: 3670, 2447: 2448, 2448: 4812, 2449: 2529, 2450: 3977, 2451: 3312, 2452: 4292, 2453: 2677, 2454: 4091, 2455: 2947, 2456: 4606, 2457: 3654, 2458: 3688, 2459: 2460, 2460: 4552, 2461: 2569, 2462: 3694, 2463: 3285, 2464: 4863, 2465: 2988, 2466: 4248, 2467: 2468, 2468: 4320, 2469: 3293, 2470: 3972, 2471: 2825, 2472: 4739, 2473: 2474, 2474: 3712, 2475: 3642, 2476: 4334, 2477: 2478, 2478: 4190, 2479: 2547, 2480: 4837, 2481: 3309, 2482: 3797, 2483: 2675, 2484: 4647, 2485: 3054, 2486: 3843, 2487: 3317, 2488: 4666, 2489: 2621, 2490: 4234, 2491: 2545, 2492: 4451, 2493: 3602, 2494: 3785, 2495: 2995, 2496: 4967, 2497: 2725, 2498: 3748, 2499: 3469, 2500: 4531,
		2501: 2563, 2502: 4310, 2503: 2504, 2504: 4696, 2505: 3508, 2506: 3939, 2507: 2617, 2508: 4618, 2509: 2703, 2510: 4017, 2511: 3752, 2512: 4868, 2513: 2873, 2514: 4191, 2515: 3019, 2516: 4441, 2517: 3357, 2518: 3778, 2519: 2749, 2520: 4873, 2521: 2522, 2522: 3881, 2523: 3394, 2524: 4418, 2525: 3132, 2526: 4211, 2527: 2908, 2528: 4978, 2529: 3654, 2530: 4072, 2531: 2532, 2532: 4643, 2533: 2683, 2534: 3983, 2535: 3563, 2536: 4756, 2537: 2597, 2538: 4419, 2539: 2540, 2540: 4573, 2541: 3521, 2542: 3855, 2543: 2544, 2544: 4983, 2545: 3055, 2546: 3887, 2547: 3680, 2548: 4564, 2549: 2550, 2550: 4353, 2551: 2552, 2552: 4815, 2553: 3442, 2554: 3832, 2555: 3140, 2556: 4758, 2557: 2558, 2558: 3838, 2559: 3413, 2560: 5116, 2561: 2759, 2562: 4332, 2563: 2797, 2564: 4488, 2565: 3820, 2566: 3850, 2567: 2719, 2568: 4923, 2569: 2937, 2570: 4113, 2571: 3429, 2572: 4502, 2573: 2657, 2574: 4447, 2575: 3194, 2576: 5015, 2577: 3437, 2578: 3868, 2579: 2580, 2580: 4774, 2581: 2671, 2582: 3874, 2583: 3773, 2584: 4865, 2585: 3150, 2586: 4311, 2587: 2787, 2588: 4530, 2589: 3453, 2590: 4182, 2591: 2592, 2592: 5143, 2593: 2594, 2594: 3892, 2595: 3634, 2596: 4603, 2597: 3022, 2598: 4331, 2599: 2713, 2600: 4954, 2601: 3775, 2602: 3904, 2603: 2741, 2604: 4806, 2605: 3127, 2606: 3910, 2607: 3556, 2608: 5054, 2609: 2610, 2610: 4525, 2611: 2985, 2612: 4572, 2613: 3552, 2614: 3922, 2615: 3139, 2616: 5015, 2617: 2618, 2618: 4132, 2619: 3881, 2620: 4717, 2621: 2622, 2622: 4394, 2623: 2685, 2624: 5208, 2625: 3718, 2626: 4041, 2627: 2699, 2628: 4892, 2629: 2869, 2630: 4209, 2631: 3509, 2632: 4983, 2633: 2634, 2634: 4391, 2635: 3194, 2636: 4614, 2637: 3810, 2638: 3958, 2639: 3046, 2640: 5182, 2641: 2781, 2642: 3964, 2643: 3525, 2644: 4628, 2645: 3198, 2646: 4614, 2647: 2648, 2648: 4966, 2649: 3533, 2650: 4294, 2651: 2893, 2652: 4880, 2653: 3033, 2654: 3982, 2655: 3895, 2656: 5230, 2657: 2658, 2658: 4431, 2659: 2660, 2660: 4808, 2661: 3549, 2662: 4126, 2663: 2664, 2664: 5144, 2665: 3240, 2666: 4043, 2667: 3684, 2668: 4699, 2669: 2827, 2670: 4540, 2671: 2672, 2672: 5178, 2673: 4005, 2674: 4203, 2675: 3318, 2676: 4907, 2677: 2678, 2678: 4121, 2679: 3620, 2680: 5093, 2681: 3065, 2682: 4620, 2683: 2684, 2684: 4759, 2685: 3760, 2686: 4109, 2687: 2688, 2688: 5363, 2689: 2690, 2690: 4305, 2691: 3911, 2692: 4712, 2693: 2694, 2694: 4491, 2695: 3323, 2696: 5056, 2697: 3628, 2698: 4119, 2699: 2700, 2700: 5056, 2701: 2775, 2702: 4247, 2703: 3658, 2704: 5253, 2705: 3247, 2706: 4552, 2707: 2708, 2708: 4740, 2709: 3957, 2710: 4337, 2711: 2712, 2712: 5199, 2713: 2714, 2714: 4131, 2715: 3802, 2716: 4851, 2717: 2984, 2718: 4682, 2719: 2720, 2720: 5373, 2721: 3629, 2722: 4084, 2723: 3113, 2724: 4995, 2725: 3380, 2726: 4137, 2727: 4041, 2728: 5147, 2729: 2730, 2730: 4655, 2731: 2732, 2732: 4782, 2733: 3645, 2734: 4102, 2735: 3283, 2736: 5378, 2737: 3152, 2738: 4145, 2739: 3736, 2740: 4933, 2741: 2742, 2742: 4571, 2743: 2955, 2744: 5202, 2745: 4027, 2746: 4120, 2747: 2815, 2748: 5039, 2749: 2750, 2750: 4467,
		2751: 3800, 2752: 5462, 2753: 2754, 2754: 4812, 2755: 3336, 2756: 4877, 2757: 3677, 2758: 4335, 2759: 2849, 2760: 5314, 2761: 3013, 2762: 4144, 2763: 3992, 2764: 4838, 2765: 3398, 2766: 4611, 2767: 2768, 2768: 5364, 2769: 3764, 2770: 4433, 2771: 2935, 2772: 5171, 2773: 2833, 2774: 4235, 2775: 3923, 2776: 5206, 2777: 2778, 2778: 4631, 2779: 3177, 2780: 5005, 2781: 4121, 2782: 4281, 2783: 3060, 2784: 5511, 2785: 3343, 2786: 4379, 2787: 3717, 2788: 4921, 2789: 2790, 2790: 4837, 2791: 2792, 2792: 5236, 2793: 3877, 2794: 4319, 2795: 3398, 2796: 5127, 2797: 2798, 2798: 4198, 2799: 4044, 2800: 5468, 2801: 2802, 2802: 4671, 2803: 2804, 2804: 4908, 2805: 3945, 2806: 4271, 2807: 3209, 2808: 5435, 2809: 2863, 2810: 4497, 2811: 3749, 2812: 4959, 2813: 2911, 2814: 4758, 2815: 3379, 2816: 5622, 2817: 4070, 2818: 4228, 2819: 2820, 2820: 5218, 2821: 3256, 2822: 4317, 2823: 3765, 2824: 5296, 2825: 3504, 2826: 4868, 2827: 3085, 2828: 5051, 2829: 3814, 2830: 4529, 2831: 2981, 2832: 5547, 2833: 2834, 2834: 4361, 2835: 4243, 2836: 4964, 2837: 2838, 2838: 4774, 2839: 3007, 2840: 5397, 2841: 3789, 2842: 4496, 2843: 2844, 2844: 5294, 2845: 3415, 2846: 4270, 2847: 3870, 2848: 5608, 2849: 3294, 2850: 4865, 2851: 2852, 2852: 5023, 2853: 4122, 2854: 4282, 2855: 3427, 2856: 5492, 2857: 2858, 2858: 4288, 2859: 3813, 2860: 5162, 2861: 2862, 2862: 4983, 2863: 3273, 2864: 5550, 2865: 4012, 2866: 4300, 2867: 2929, 2868: 5259, 2869: 3021, 2870: 4634, 2871: 4177, 2872: 5386, 2873: 3112, 2874: 4791, 2875: 3589, 2876: 5034, 2877: 3974, 2878: 4318, 2879: 2880, 2880: 5736, 2881: 2949, 2882: 4455, 2883: 3876, 2884: 5151, 2885: 3463, 2886: 4848, 2887: 2888, 2888: 5435, 2889: 4281, 2890: 4642, 2891: 3364, 2892: 5303, 2893: 3157, 2894: 4342, 2895: 4054, 2896: 5612, 2897: 2898, 2898: 5015, 2899: 3123, 2900: 5250, 2901: 3869, 2902: 4354, 2903: 2904, 2904: 5578, 2905: 3570, 2906: 4360, 2907: 4219, 2908: 5090, 2909: 2910, 2910: 4948, 2911: 2983, 2912: 5747, 2913: 3885, 2914: 4419, 2915: 3552, 2916: 5467, 2917: 2918, 2918: 4378, 2919: 4032, 2920: 5549, 2921: 3049, 2922: 4871, 2923: 3003, 2924: 5161, 2925: 4304, 2926: 4618, 2927: 2928, 2928: 5735, 2929: 3031, 2930: 4689, 2931: 3909, 2932: 5132, 2933: 3353, 2934: 5054, 2935: 3523, 2936: 5506, 2937: 4006, 2938: 4521, 2939: 2940, 2940: 5447, 2941: 3115, 2942: 4414, 2943: 4361, 2944: 5866, 2945: 3566, 2946: 4911, 2947: 3369, 2948: 5227, 2949: 3933, 2950: 4780, 2951: 3179, 2952: 5700, 2953: 2954, 2954: 4643, 2955: 4138, 2956: 5174, 2957: 2958, 2958: 4960, 2959: 3229, 2960: 5773, 2961: 4325, 2962: 4444, 2963: 2964, 2964: 5454, 2965: 3559, 2966: 4450, 2967: 4000, 2968: 5619, 2969: 2970, 2970: 5182, 2971: 2972, 2972: 5202, 2973: 3965, 2974: 4462, 2975: 3707, 2976: 5891, 2977: 3207, 2978: 4468, 2979: 4304, 2980: 5365, 2981: 3253, 2982: 5042, 2983: 3141, 2984: 5596, 2985: 4180, 2986: 4480, 2987: 3091, 2988: 5562, 2989: 3478, 2990: 4808, 2991: 3989, 2992: 5815, 2993: 3067, 2994: 4991, 2995: 3595, 2996: 5351, 2997: 4478, 2998: 4498, 2999: 3000, 3000: 5781,
		3001: 3002, 3002: 4583, 3003: 4161, 3004: 5258, 3005: 3607, 3006: 5178, 3007: 3105, 3008: 5970, 3009: 4072, 3010: 4860, 3011: 3012, 3012: 5523, 3013: 3145, 3014: 4659, 3015: 4423, 3016: 5685, 3017: 3449, 3018: 5031, 3019: 3020, 3020: 5437, 3021: 4082, 3022: 4534, 3023: 3024, 3024: 5951, 3025: 3763, 3026: 4629, 3027: 4037, 3028: 5300, 3029: 3263, 3030: 5152, 3031: 3465, 3032: 5686, 3033: 4382, 3034: 4593, 3035: 3643, 3036: 5590, 3037: 3038, 3038: 4806, 3039: 4053, 3040: 6005, 3041: 3042, 3042: 5253, 3043: 3223, 3044: 5328, 3045: 4293, 3046: 4570, 3047: 3325, 3048: 5843, 3049: 3050, 3050: 4942, 3051: 4521, 3052: 5451, 3053: 3125, 3054: 5091, 3055: 3714, 3056: 5922, 3057: 4077, 3058: 4727, 3059: 3520, 3060: 5713, 3061: 3062, 3062: 4594, 3063: 4085, 3064: 5746, 3065: 3679, 3066: 5184, 3067: 3068, 3068: 5429, 3069: 4465, 3070: 4913, 3071: 3155, 3072: 6142, 3073: 3513, 3074: 4665, 3075: 4347, 3076: 5384, 3077: 3259, 3078: 5378, 3079: 3080, 3080: 5864, 3081: 4188, 3082: 4691, 3083: 3084, 3084: 5655, 3085: 3703, 3086: 4630, 3087: 4516, 3088: 5984, 3089: 3090, 3090: 5254, 3091: 3373, 3092: 5412, 3093: 4125, 3094: 4880, 3095: 3715, 3096: 5978, 3097: 3261, 3098: 4648, 3099: 4133, 3100: 5612, 3101: 3545, 3102: 5218, 3103: 3211, 3104: 6112, 3105: 4624, 3106: 4660, 3107: 3347, 3108: 5736, 3109: 3110, 3110: 4977, 3111: 4210, 3112: 5836, 3113: 3397, 3114: 5364, 3115: 3828, 3116: 5495, 3117: 4157, 3118: 4678, 3119: 3120, 3120: 6124, 3121: 3122, 3122: 4907, 3123: 4512, 3124: 5539, 3125: 3906, 3126: 5211, 3127: 3187, 3128: 5889, 3129: 4322, 3130: 5009, 3131: 3233, 3132: 5859, 3133: 3375, 3134: 4702, 3135: 4409, 3136: 6231, 3137: 3138, 3138: 5231, 3139: 3213, 3140: 5653, 3141: 4538, 3142: 4714, 3143: 3593, 3144: 6027, 3145: 3812, 3146: 4876, 3147: 4197, 3148: 5510, 3149: 3217, 3150: 5468, 3151: 3289, 3152: 6108, 3153: 4205, 3154: 4815, 3155: 3787, 3156: 5787, 3157: 3650, 3158: 4738, 3159: 4733, 3160: 6005, 3161: 3271, 3162: 5302, 3163: 3164, 3164: 5651, 3165: 4432, 3166: 4750, 3167: 3168, 3168: 6282, 3169: 3170, 3170: 5073, 3171: 4380, 3172: 5613, 3173: 3341, 3174: 5314, 3175: 3938, 3176: 5956, 3177: 4590, 3178: 4995, 3179: 3486, 3180: 5884, 3181: 3182, 3182: 4817, 3183: 4245, 3184: 6170, 3185: 3927, 3186: 5547, 3187: 3188, 3188: 5580, 3189: 4253, 3190: 5134, 3191: 3192, 3192: 6138, 3193: 3297, 3194: 4792, 3195: 4687, 3196: 5641, 3197: 3337, 3198: 5372, 3199: 3657, 3200: 6381, 3201: 4366, 3202: 4804, 3203: 3204, 3204: 5964, 3205: 3847, 3206: 5039, 3207: 4277, 3208: 6016, 3209: 3210, 3210: 5458, 3211: 3478, 3212: 5695, 3213: 4778, 3214: 4822, 3215: 3859, 3216: 6299, 3217: 3218, 3218: 4828, 3219: 4330, 3220: 5820, 3221: 3222, 3222: 5550, 3223: 3517, 3224: 6077, 3225: 4559, 3226: 4840, 3227: 3689, 3228: 5919, 3229: 3230, 3230: 5188, 3231: 4668, 3232: 6364, 3233: 3295, 3234: 5479, 3235: 3883, 3236: 5664, 3237: 4400, 3238: 4858, 3239: 3319, 3240: 6276, 3241: 3705, 3242: 4864, 3243: 4372, 3244: 5678, 3245: 3954, 3246: 5411, 3247: 3439, 3248: 6323, 3249: 4713, 3250: 5279,
		3251: 3252, 3252: 5963, 3253: 3254, 3254: 4882, 3255: 4589, 3256: 6143, 3257: 3258, 3258: 5612, 3259: 3260, 3260: 5869, 3261: 4349, 3262: 5127, 3263: 3515, 3264: 6495, 3265: 3919, 3266: 4971, 3267: 4852, 3268: 5763, 3269: 3737, 3270: 5560, 3271: 3272, 3272: 6136, 3273: 4365, 3274: 4912, 3275: 4062, 3276: 6111, 3277: 3391, 3278: 5067, 3279: 4373, 3280: 6397, 3281: 3475, 3282: 5471, 3283: 3820, 3284: 5748, 3285: 4819, 3286: 4983, 3287: 3461, 3288: 6303, 3289: 3612, 3290: 5312, 3291: 4389, 3292: 5762, 3293: 3383, 3294: 5735, 3295: 3955, 3296: 6490, 3297: 4554, 3298: 5045, 3299: 3300, 3300: 6117, 3301: 3302, 3302: 5081, 3303: 4772, 3304: 6255, 3305: 3967, 3306: 5540, 3307: 3308, 3308: 5790, 3309: 4413, 3310: 5297, 3311: 3828, 3312: 6510, 3313: 3314, 3314: 4972, 3315: 4659, 3316: 5804, 3317: 3425, 3318: 5610, 3319: 3320, 3320: 6309, 3321: 4962, 3322: 5135, 3323: 3324, 3324: 6095, 3325: 4143, 3326: 4990, 3327: 4437, 3328: 6644, 3329: 3330, 3330: 5773, 3331: 3332, 3332: 5968, 3333: 4546, 3334: 5002, 3335: 4032, 3336: 6395, 3337: 3409, 3338: 5008, 3339: 4877, 3340: 6013, 3341: 3599, 3342: 5571, 3343: 3344, 3344: 6499, 3345: 4684, 3346: 5259, 3347: 3348, 3348: 6263, 3349: 3547, 3350: 5428, 3351: 4469, 3352: 6286, 3353: 3833, 3354: 5634, 3355: 4088, 3356: 5874, 3357: 4850, 3358: 5111, 3359: 3360, 3360: 6658, 3361: 3362, 3362: 5085, 3363: 4544, 3364: 5917, 3365: 4039, 3366: 5815, 3367: 3886, 3368: 6316, 3369: 4493, 3370: 5393, 3371: 3372, 3372: 6183, 3373: 3374, 3374: 5303, 3375: 5031, 3376: 6542, 3377: 3685, 3378: 5631, 3379: 3489, 3380: 6098, 3381: 4693, 3382: 5163, 3383: 3583, 3384: 6534, 3385: 4063, 3386: 5080, 3387: 4517, 3388: 6062, 3389: 3390, 3390: 5764, 3391: 3392, 3392: 6732, 3393: 4931, 3394: 5092, 3395: 4172, 3396: 6227, 3397: 3477, 3398: 5098, 3399: 4636, 3400: 6478, 3401: 3581, 3402: 5951, 3403: 3487, 3404: 5995, 3405: 4768, 3406: 5241, 3407: 3408, 3408: 6675, 3409: 3897, 3410: 5488, 3411: 4928, 3412: 5972, 3413: 3414, 3414: 5691, 3415: 4099, 3416: 6467, 3417: 4624, 3418: 5128, 3419: 3683, 3420: 6385, 3421: 3733, 3422: 5193, 3423: 4728, 3424: 6742, 3425: 4248, 3426: 5711, 3427: 3577, 3428: 6000, 3429: 5081, 3430: 5545, 3431: 3505, 3432: 6592, 3433: 3434, 3434: 5253, 3435: 4810, 3436: 6014, 3437: 3929, 3438: 5922, 3439: 3621, 3440: 6709, 3441: 4626, 3442: 5164, 3443: 3757, 3444: 6356, 3445: 4188, 3446: 5170, 3447: 4980, 3448: 6466, 3449: 3450, 3450: 5889, 3451: 3974, 3452: 6042, 3453: 4605, 3454: 5339, 3455: 4147, 3456: 6898, 3457: 3458, 3458: 5454, 3459: 4613, 3460: 6229, 3461: 3462, 3462: 5771, 3463: 3464, 3464: 6496, 3465: 5094, 3466: 5200, 3467: 3468, 3468: 6376, 3469: 3470, 3470: 5553, 3471: 4718, 3472: 6759, 3473: 3625, 3474: 5984, 3475: 4310, 3476: 6163, 3477: 4698, 3478: 5265, 3479: 4048, 3480: 6700, 3481: 3541, 3482: 5224, 3483: 5204, 3484: 6165, 3485: 4224, 3486: 5894, 3487: 3805, 3488: 6868, 3489: 4653, 3490: 5585, 3491: 3492, 3492: 6500, 3493: 3993, 3494: 5242, 3495: 4894, 3496: 6579, 3497: 3767, 3498: 5884, 3499: 3500, 3500: 6343,
		3501: 5058, 3502: 5357, 3503: 3617, 3504: 6863, 3505: 4207, 3506: 5260, 3507: 4844, 3508: 6140, 3509: 3858, 3510: 6124, 3511: 3512, 3512: 6586, 3513: 4685, 3514: 5523, 3515: 4256, 3516: 6447, 3517: 3518, 3518: 5278, 3519: 5107, 3520: 6997, 3521: 4025, 3522: 5871, 3523: 3795, 3524: 6168, 3525: 4983, 3526: 5333, 3527: 3528, 3528: 6819, 3529: 3530, 3530: 5649, 3531: 4816, 3532: 6182, 3533: 3534, 3534: 5922, 3535: 4344, 3536: 6869, 3537: 5241, 3538: 5369, 3539: 3540, 3540: 6550, 3541: 3542, 3542: 5590, 3543: 4725, 3544: 6646, 3545: 4255, 3546: 6108, 3547: 3548, 3548: 6210, 3549: 4915, 3550: 5752, 3551: 3619, 3552: 7031, 3553: 3896, 3554: 5332, 3555: 5215, 3556: 6351, 3557: 3558, 3558: 5931, 3559: 3560, 3560: 6765, 3561: 4749, 3562: 5481, 3563: 4073, 3564: 6678, 3565: 4310, 3566: 5350, 3567: 4798, 3568: 6914, 3569: 3653, 3570: 6087, 3571: 3572, 3572: 6299, 3573: 5162, 3574: 5362, 3575: 4447, 3576: 6855, 3577: 4162, 3578: 5368, 3579: 4773, 3580: 6445, 3581: 3582, 3582: 6170, 3583: 3584, 3584: 7162, 3585: 5020, 3586: 5543, 3587: 3799, 3588: 6602, 3589: 3687, 3590: 5745, 3591: 5340, 3592: 6736, 3593: 3594, 3594: 5991, 3595: 4315, 3596: 6325, 3597: 4906, 3598: 5655, 3599: 3661, 3600: 7081, 3601: 3879, 3602: 5404, 3603: 4805, 3604: 6361, 3605: 4430, 3606: 6011, 3607: 3608, 3608: 6807, 3609: 5214, 3610: 5796, 3611: 3769, 3612: 6666, 3613: 3614, 3614: 5561, 3615: 5062, 3616: 7120, 3617: 3618, 3618: 6299, 3619: 4184, 3620: 6517, 3621: 4900, 3622: 5434, 3623: 3624, 3624: 6947, 3625: 4525, 3626: 5736, 3627: 5271, 3628: 6350, 3629: 3821, 3630: 6183, 3631: 3632, 3632: 7038, 3633: 5018, 3634: 5531, 3635: 4363, 3636: 6768, 3637: 3638, 3638: 5565, 3639: 4853, 3640: 6930, 3641: 3973, 3642: 6071, 3643: 3644, 3644: 6378, 3645: 5466, 3646: 5470, 3647: 4169, 3648: 7259, 3649: 3739, 3650: 5914, 3651: 4869, 3652: 6475, 3653: 3935, 3654: 6323, 3655: 4430, 3656: 6856, 3657: 4930, 3658: 5547, 3659: 3660, 3660: 6772, 3661: 4185, 3662: 5494, 3663: 5329, 3664: 7100, 3665: 4399, 3666: 6158, 3667: 3861, 3668: 6551, 3669: 4893, 3670: 5873, 3671: 3672, 3672: 7107, 3673: 3674, 3674: 5679, 3675: 5202, 3676: 6434, 3677: 3678, 3678: 6131, 3679: 3963, 3680: 7269, 3681: 5318, 3682: 5787, 3683: 3811, 3684: 6755, 3685: 4490, 3686: 5627, 3687: 4917, 3688: 6916, 3689: 4248, 3690: 6397, 3691: 3692, 3692: 6533, 3693: 4925, 3694: 5542, 3695: 4435, 3696: 7250, 3697: 3698, 3698: 5591, 3699: 5481, 3700: 6698, 3701: 3702, 3702: 6171, 3703: 4256, 3704: 6946, 3705: 5207, 3706: 5669, 3707: 4045, 3708: 6902, 3709: 3710, 3710: 5990, 3711: 4949, 3712: 7396, 3713: 3793, 3714: 6191, 3715: 4459, 3716: 6504, 3717: 5429, 3718: 5760, 3719: 3720, 3720: 7162, 3721: 3783, 3722: 5584, 3723: 5038, 3724: 6670, 3725: 4620, 3726: 6510, 3727: 3728, 3728: 7224, 3729: 5086, 3730: 5969, 3731: 4306, 3732: 6843, 3733: 3734, 3734: 5602, 3735: 5479, 3736: 7006, 3737: 3839, 3738: 6320, 3739: 3740, 3740: 6750, 3741: 5032, 3742: 5614, 3743: 3941, 3744: 7424, 3745: 4602, 3746: 5620, 3747: 4997, 3748: 6560, 3749: 3913, 3750: 6406,
		3751: 4124, 3752: 7103, 3753: 5561, 3754: 5632, 3755: 4507, 3756: 6887, 3757: 4064, 3758: 5638, 3759: 5192, 3760: 7333, 3761: 3762, 3762: 6499, 3763: 3835, 3764: 6588, 3765: 5272, 3766: 5919, 3767: 3768, 3768: 7223, 3769: 3770, 3770: 6062, 3771: 5448, 3772: 6643, 3773: 4401, 3774: 6328, 3775: 4682, 3776: 7494, 3777: 5037, 3778: 5668, 3779: 3780, 3780: 7078, 3781: 3981, 3782: 5735, 3783: 5142, 3784: 7139, 3785: 4543, 3786: 6311, 3787: 4329, 3788: 6630, 3789: 5474, 3790: 6065, 3791: 4015, 3792: 7427, 3793: 3794, 3794: 5963, 3795: 5337, 3796: 6717, 3797: 3798, 3798: 6542, 3799: 3931, 3800: 7240, 3801: 5250, 3802: 5704, 3803: 3804, 3804: 6975, 3805: 4567, 3806: 5883, 3807: 5688, 3808: 7515, 3809: 4103, 3810: 6478, 3811: 3915, 3812: 6672, 3813: 5126, 3814: 5722, 3815: 4688, 3816: 7368, 3817: 4165, 3818: 5811, 3819: 5160, 3820: 6877, 3821: 3822, 3822: 6475, 3823: 3824, 3824: 7410, 3825: 5628, 3826: 5740, 3827: 3917, 3828: 7048, 3829: 4377, 3830: 6129, 3831: 5109, 3832: 7186, 3833: 3834, 3834: 6675, 3835: 4662, 3836: 6851, 3837: 5117, 3838: 5859, 3839: 4189, 3840: 7671, 3841: 4009, 3842: 5877, 3843: 5613, 3844: 6759, 3845: 4615, 3846: 6411, 3847: 3848, 3848: 7253, 3849: 5133, 3850: 6249, 3851: 3852, 3852: 7170, 3853: 3854, 3854: 5829, 3855: 5398, 3856: 7472, 3857: 4438, 3858: 6431, 3859: 4087, 3860: 6949, 3861: 5734, 3862: 5794, 3863: 3864, 3864: 7430, 3865: 4639, 3866: 5800, 3867: 5157, 3868: 6770, 3869: 3943, 3870: 6709, 3871: 4504, 3872: 7635, 3873: 5165, 3874: 5961, 3875: 4837, 3876: 7126, 3877: 3878, 3878: 6095, 3879: 5604, 3880: 7373, 3881: 3882, 3882: 6471, 3883: 4237, 3884: 6798, 3885: 5477, 3886: 5897, 3887: 4210, 3888: 7654, 3889: 3890, 3890: 6225, 3891: 5189, 3892: 6951, 3893: 4123, 3894: 6550, 3895: 4716, 3896: 7306, 3897: 5630, 3898: 5848, 3899: 4457, 3900: 7229, 3901: 3985, 3902: 5854, 3903: 5205, 3904: 7748, 3905: 4758, 3906: 6759, 3907: 3908, 3908: 6840, 3909: 5213, 3910: 6280, 3911: 3912, 3912: 7499, 3913: 4516, 3914: 5975, 3915: 5830, 3916: 6943, 3917: 3918, 3918: 6531, 3919: 3920, 3920: 7652, 3921: 5229, 3922: 5937, 3923: 3924, 3924: 7304, 3925: 4868, 3926: 6041, 3927: 5441, 3928: 7366, 3929: 3930, 3930: 6682, 3931: 3932, 3932: 6882, 3933: 5705, 3934: 6183, 3935: 4723, 3936: 7791, 3937: 4065, 3938: 6087, 3939: 5354, 3940: 7093, 3941: 4505, 3942: 6863, 3943: 3944, 3944: 7425, 3945: 5524, 3946: 5920, 3947: 3948, 3948: 7286, 3949: 4309, 3950: 6400, 3951: 5708, 3952: 7677, 3953: 4021, 3954: 6591, 3955: 4860, 3956: 6967, 3957: 5277, 3958: 5938, 3959: 4067, 3960: 7657, 3961: 4195, 3962: 6227, 3963: 5285, 3964: 6938, 3965: 4820, 3966: 6611, 3967: 3968, 3968: 7906, 3969: 5937, 3970: 6353, 3971: 4352, 3972: 7283, 3973: 4111, 3974: 5962, 3975: 5619, 3976: 7527, 3977: 4075, 3978: 6869, 3979: 4153, 3980: 7165, 3981: 5309, 3982: 6155, 3983: 4553, 3984: 7803, 3985: 4783, 3986: 5980, 3987: 5760, 3988: 6980, 3989: 3990, 3990: 6803, 3991: 4299, 3992: 7486, 3993: 5457, 3994: 5992, 3995: 4842, 3996: 7475, 3997: 4569, 3998: 5998, 3999: 5376, 4000: 7906,
	}
	var n, moves int
	fmt.Scan(&n)
	for i := 0; i < n; i++ {
		var p int
		fmt.Scan(&p)
		moves += longSeq(p)
	}
	fmt.Println(moves)
}