# This b-file was computed by Antti Karttunen, 2019-03-27 # in GP/PARI CALCULATOR Version 2.9.4 (released) amd64 running linux (x86-64/GMP-6.1.2 kernel) 64-bit version, compiled: Dec 19 2017, gcc version 7.3.0 (Ubuntu 7.3.0-1ubuntu1), threading engine: pthread # with the following program: # # First get the factorization file prepared by Hans Havermann for the first 10000 terms of A156552 with: wget https://oeis.org/A156552/a156552.txt # v156552sigs = readvec("a156552.txt"); \\ Then read it in as a PARI-vector. # A323243(n) = if(n<=2,n-1,my(prsig=v156552sigs[n],ps=prsig[1],es=prsig[2]); prod(i=1,#ps,((ps[i]^(1+es[i]))-1)/(ps[i]-1))); # A156552(n) = {my(f = factor(n), p2 = 1, res = 0); for(i = 1, #f~, p = 1 << (primepi(f[i, 1]) - 1); res += (p * p2 * (2^(f[i, 2]) - 1)); p2 <<= f[i, 2]); res}; \\ From A156552 # A324866(n) = { my(k=A156552(n)); bitor(k,(A323243(n)-k)); }; \\ Needs also code from A323243. # A324863(n) = #binary(A324866(n)); # A324398(n) = { my(k=A156552(n)); bitand(k,(A323243(n)-k)); }; # A324874(n) = #binary(A324398(n)); # k=0; for(n=1,10000,if(A324863(n)==A324874(n), k++; write("b324879.txt", k, " ", n))); 1 1 2 9 3 15 4 16 5 21 6 27 7 35 8 39 9 55 10 57 11 64 12 75 13 77 14 85 15 87 16 90 17 91 18 95 19 99 20 105 21 111 22 115 23 119 24 125 25 129 26 133 27 143 28 147 29 155 30 159 31 161 32 175 33 183 34 185 35 189 36 195 37 201 38 203 39 205 40 209 41 213 42 221 43 235 44 237 45 243 46 245 47 253 48 256 49 259 50 265 51 267 52 275 53 285 54 287 55 295 56 299 57 301 58 303 59 319 60 321 61 323 62 325 63 335 64 339 65 341 66 351 67 355 68 363 69 365 70 371 71 375 72 377 73 381 74 393 75 403 76 413 77 415 78 417 79 427 80 429 81 435 82 437 83 441 84 445 85 453 86 473 87 481 88 484 89 485 90 489 91 490 92 493 93 495 94 497 95 511 96 513 97 515 98 517 99 519 100 527 101 531 102 535 103 539 104 543 105 545 106 553 107 555 108 573 109 575 110 579 111 583 112 589 113 595 114 597 115 605 116 611 117 623 118 627 119 629 120 635 121 637 122 645 123 649 124 655 125 665 126 667 127 669 128 671 129 675 130 679 131 685 132 687 133 689 134 697 135 703 136 707 137 715 138 717 139 725 140 745 141 749 142 750 143 753 144 755 145 756 146 763 147 765 148 767 149 771 150 779 151 783 152 785 153 789 154 791 155 793 156 795 157 803 158 805 159 810 160 813 161 817 162 819 163 825 164 833 165 835 166 843 167 845 168 847 169 851 170 865 171 869 172 871 173 875 174 879 175 893 176 895 177 899 178 901 179 913 180 915 181 917 182 925 183 933 184 943 185 945 186 951 187 955 188 957 189 959 190 965 191 969 192 973 193 975 194 979 195 981 196 985 197 988 198 989 199 999 200 1000 201 1003 202 1011 203 1023 204 1024 205 1027 206 1029 207 1035 208 1037 209 1047 210 1055 211 1057 212 1065 213 1067 214 1071 215 1075 216 1077 217 1079 218 1081 219 1083 220 1085 221 1099 222 1111 223 1115 224 1119 225 1121 226 1133 227 1135 228 1139 229 1141 230 1147 231 1149 232 1155 233 1157 234 1159 235 1161 236 1165 237 1175 238 1185 239 1189 240 1191 241 1195 242 1197 243 1199 244 1203 245 1205 246 1207 247 1211 248 1215 249 1219 250 1221 251 1227 252 1235 253 1243 254 1247 255 1253 256 1261 257 1263 258 1265 259 1267 260 1273 261 1285 262 1296 263 1299 264 1309 265 1313 266 1315 267 1329 268 1333 269 1335 270 1339 271 1345 272 1349 273 1351 274 1363 275 1371 276 1375 277 1379 278 1385 279 1387 280 1389 281 1391 282 1393 283 1395 284 1401 285 1403 286 1405 287 1411 288 1415 289 1419 290 1421 291 1425 292 1431 293 1435 294 1437 295 1440 296 1441 297 1445 298 1457 299 1463 300 1469 301 1473 302 1479 303 1495 304 1505 305 1507 306 1509 307 1513 308 1515 309 1517 310 1519 311 1525 312 1529 313 1535 314 1537 315 1541 316 1547 317 1555 318 1563 319 1565 320 1573 321 1575 322 1589 323 1599 324 1603 325 1605 326 1611 327 1615 328 1623 329 1633 330 1639 331 1643 332 1645 333 1647 334 1649 335 1651 336 1655 337 1671 338 1673 339 1679 340 1683 341 1685 342 1687 343 1691 344 1695 345 1701 346 1707 347 1711 348 1715 349 1717 350 1727 351 1729 352 1731 353 1735 354 1739 355 1749 356 1751 357 1755 358 1757 359 1763 360 1765 361 1771 362 1779 363 1781 364 1793 365 1795 366 1803 367 1805 368 1807 369 1813 370 1817 371 1819 372 1825 373 1827 374 1829 375 1835 376 1837 377 1839 378 1841 379 1843 380 1845 381 1853 382 1857 383 1859 384 1875 385 1883 386 1887 387 1891 388 1895 389 1897 390 1903 391 1911 392 1915 393 1917 394 1919 395 1921 396 1923 397 1925 398 1937 399 1941 400 1943 401 1945 402 1957 403 1961 404 1963 405 1965 406 1967 407 1969 408 1975 409 1977 410 1981 411 1991 412 2001 413 2005 414 2009 415 2013 416 2015 417 2019 418 2021 419 2023 420 2025 421 2033 422 2035 423 2045 424 2049 425 2051 426 2057 427 2059 428 2065 429 2071 430 2085 431 2095 432 2101 433 2103 434 2109 435 2115 436 2116 437 2117 438 2119 439 2127 440 2133 441 2147 442 2155 443 2157 444 2159 445 2165 446 2167 447 2169 448 2171 449 2173 450 2175 451 2177 452 2183 453 2185 454 2187 455 2189 456 2191 457 2193 458 2195 459 2199 460 2201 461 2219 462 2223 463 2225 464 2227 465 2229 466 2231 467 2233 468 2245 469 2249 470 2255 471 2257 472 2263 473 2265 474 2271 475 2277 476 2285 477 2291 478 2299 479 2303 480 2305 481 2307 482 2321 483 2323 484 2327 485 2331 486 2335 487 2343 488 2345 489 2353 490 2359 491 2361 492 2363 493 2369 494 2387 495 2395 496 2403 497 2405 498 2407 499 2413 500 2415 501 2419 502 2427 503 2429 504 2435 505 2443 506 2445 507 2449 508 2453 509 2461 510 2463 511 2465 512 2475 513 2479 514 2481 515 2483 516 2485 517 2489 518 2491 519 2495 520 2501 521 2507 522 2509 523 2513 524 2515 525 2517 526 2519 527 2525 528 2527 529 2533 530 2537 531 2545 532 2553 533 2555 534 2563 535 2565 536 2567 537 2569 538 2571 539 2573 540 2575 541 2587 542 2589 543 2595 544 2597 545 2599 546 2601 547 2603 548 2607 549 2611 550 2615 551 2622 552 2623 553 2625 554 2631 555 2635 556 2639 557 2643 558 2651 559 2655 560 2661 561 2662 562 2665 563 2669 564 2681 565 2701 566 2703 567 2705 568 2709 569 2715 570 2717 571 2723 572 2727 573 2733 574 2735 575 2737 576 2739 577 2743 578 2747 579 2759 580 2761 581 2775 582 2779 583 2783 584 2787 585 2793 586 2815 587 2817 588 2823 589 2825 590 2827 591 2831 592 2835 593 2839 594 2845 595 2849 596 2855 597 2859 598 2863 599 2867 600 2869 601 2873 602 2875 603 2881 604 2883 605 2889 606 2893 607 2895 608 2899 609 2901 610 2905 611 2911 612 2913 613 2921 614 2923 615 2929 616 2933 617 2935 618 2937 619 2941 620 2945 621 2947 622 2949 623 2951 624 2959 625 2961 626 2965 627 2967 628 2981 629 2983 630 2985 631 2987 632 2991 633 2995 634 3013 635 3015 636 3029 637 3031 638 3035 639 3039 640 3043 641 3047 642 3051 643 3053 644 3055 645 3059 646 3063 647 3065 648 3069 649 3071 650 3073 651 3077 652 3085 653 3087 654 3097 655 3099 656 3101 657 3103 658 3107 659 3111 660 3113 661 3125 662 3127 663 3135 664 3139 665 3147 666 3149 667 3151 668 3155 669 3159 670 3161 671 3183 672 3185 673 3193 674 3197 675 3199 676 3205 677 3207 678 3211 679 3215 680 3223 681 3225 682 3227 683 3239 684 3241 685 3245 686 3247 687 3249 688 3263 689 3265 690 3273 691 3277 692 3281 693 3283 694 3285 695 3287 696 3289 697 3291 698 3293 699 3295 700 3305 701 3311 702 3315 703 3317 704 3325 705 3327 706 3333 707 3337 708 3339 709 3341 710 3345 711 3349 712 3353 713 3369 714 3375 715 3377 716 3379 717 3385 718 3393 719 3395 720 3401 721 3403 722 3409 723 3415 724 3419 725 3421 726 3425 727 3431 728 3435 729 3437 730 3439 731 3441 732 3443 733 3445 734 3453 735 3455 736 3465 737 3473 738 3475 739 3487 740 3489 741 3497 742 3501 743 3503 744 3521 745 3523 746 3531 747 3535 748 3537 749 3543 750 3545 751 3549 752 3551 753 3553 754 3563 755 3569 756 3575 757 3579 758 3585 759 3587 760 3589 761 3595 762 3599 763 3601 764 3605 765 3611 766 3619 767 3621 768 3629 769 3630 770 3635 771 3639 772 3647 773 3649 774 3651 775 3653 776 3655 777 3657 778 3667 779 3669 780 3683 781 3693 782 3695 783 3703 784 3710 785 3713 786 3715 787 3729 788 3731 789 3735 790 3743 791 3747 792 3749 793 3751 794 3753 795 3755 796 3757 797 3763 798 3765 799 3773 800 3775 801 3781 802 3783 803 3787 804 3791 805 3799 806 3805 807 3809 808 3815 809 3817 810 3827 811 3829 812 3831 813 3835 814 3839 815 3841 816 3843 817 3845 818 3849 819 3857 820 3859 821 3861 822 3869 823 3871 824 3873 825 3875 826 3883 827 3887 828 3891 829 3893 830 3895 831 3899 832 3903 833 3913 834 3915 835 3921 836 3927 837 3937 838 3945 839 3949 840 3959 841 3963 842 3965 843 3971 844 3973 845 3975 846 3977 847 3983 848 3985 849 3991 850 3997 851 3999 852 4004 853 4015 854 4029 855 4031 856 4033 857 4037 858 4039 859 4043 860 4045 861 4047 862 4055 863 4059 864 4061 865 4063 866 4065 867 4067 868 4069 869 4075 870 4077 871 4081 872 4083 873 4087 874 4097 875 4103 876 4107 877 4115 878 4116 879 4117 880 4119 881 4121 882 4123 883 4135 884 4141 885 4145 886 4147 887 4149 888 4163 889 4165 890 4169 891 4171 892 4175 893 4181 894 4183 895 4187 896 4189 897 4193 898 4197 899 4205 900 4207 901 4209 902 4215 903 4235 904 4237 905 4247 906 4251 907 4255 908 4263 909 4265 910 4269 911 4279 912 4285 913 4287 914 4291 915 4295 916 4301 917 4303 918 4307 919 4309 920 4313 921 4317 922 4319 923 4321 924 4323 925 4329 926 4333 927 4343 928 4351 929 4353 930 4355 931 4361 932 4365 933 4367 934 4369 935 4375 936 4377 937 4385 938 4393 939 4395 940 4399 941 4401 942 4403 943 4405 944 4415 945 4427 946 4429 947 4433 948 4439 949 4443 950 4445 951 4449 952 4453 953 4455 954 4461 955 4465 956 4469 957 4471 958 4473 959 4477 960 4479 961 4487 962 4499 963 4501 964 4525 965 4529 966 4531 967 4533 968 4535 969 4537 970 4539 971 4543 972 4551 973 4553 974 4555 975 4559 976 4563 977 4573 978 4575 979 4577 980 4579 981 4585 982 4587 983 4589 984 4593 985 4595 986 4607 987 4609 988 4613 989 4615 990 4617 991 4619 992 4623 993 4624 994 4627 995 4631 996 4633 997 4635 998 4647 999 4653 1000 4661 1001 4665 1002 4667 1003 4669 1004 4671 1005 4675 1006 4677 1007 4681 1008 4685 1009 4697 1010 4699 1011 4705 1012 4709 1013 4711 1014 4713 1015 4715 1016 4719 1017 4725 1018 4727 1019 4735 1020 4741 1021 4743 1022 4747 1023 4749 1024 4753 1025 4755 1026 4757 1027 4769 1028 4771 1029 4777 1030 4781 1031 4785 1032 4795 1033 4803 1034 4805 1035 4811 1036 4819 1037 4823 1038 4827 1039 4835 1040 4837 1041 4841 1042 4843 1043 4845 1044 4847 1045 4849 1046 4853 1047 4855 1048 4857 1049 4859 1050 4873 1051 4875 1052 4879 1053 4881 1054 4883 1055 4885 1056 4887 1057 4896 1058 4897 1059 4899 1060 4900 1061 4901 1062 4905 1063 4907 1064 4917 1065 4921 1066 4923 1067 4925 1068 4927 1069 4929 1070 4939 1071 4955 1072 4959 1073 4961 1074 4971 1075 4975 1076 4977 1077 4979 1078 4983 1079 4985 1080 4995 1081 4997 1082 5001 1083 5005 1084 5015 1085 5017 1086 5027 1087 5029 1088 5031 1089 5033 1090 5045 1091 5047 1092 5053 1093 5055 1094 5057 1095 5063 1096 5069 1097 5071 1098 5079 1099 5083 1100 5089 1101 5093 1102 5095 1103 5097 1104 5105 1105 5111 1106 5117 1107 5125 1108 5129 1109 5131 1110 5137 1111 5141 1112 5143 1113 5149 1114 5151 1115 5155 1116 5159 1117 5161 1118 5163 1119 5177 1120 5183 1121 5185 1122 5191 1123 5195 1124 5199 1125 5201 1126 5203 1127 5207 1128 5211 1129 5213 1130 5215 1131 5219 1132 5221 1133 5223 1134 5225 1135 5235 1136 5239 1137 5241 1138 5243 1139 5245 1140 5249 1141 5251 1142 5255 1143 5257 1144 5263 1145 5267 1146 5277 1147 5287 1148 5289 1149 5291 1150 5293 1151 5299 1152 5301 1153 5313 1154 5315 1155 5321 1156 5325 1157 5335 1158 5339 1159 5345 1160 5349 1161 5353 1162 5355 1163 5357 1164 5359 1165 5363 1166 5365 1167 5367 1168 5371 1169 5373 1170 5377 1171 5379 1172 5383 1173 5385 1174 5389 1175 5395 1176 5401 1177 5405 1178 5411 1179 5423 1180 5429 1181 5433 1182 5435 1183 5439 1184 5445 1185 5447 1186 5451 1187 5457 1188 5459 1189 5461 1190 5465 1191 5467 1192 5473 1193 5485 1194 5489 1195 5491 1196 5493 1197 5495 1198 5497 1199 5513 1200 5515 1201 5533 1202 5539 1203 5547 1204 5549 1205 5551 1206 5553 1207 5561 1208 5567 1209 5575 1210 5577 1211 5583 1212 5585 1213 5587 1214 5595 1215 5597 1216 5599 1217 5603 1218 5605 1219 5607 1220 5611 1221 5613 1222 5615 1223 5617 1224 5621 1225 5627 1226 5629 1227 5631 1228 5633 1229 5643 1230 5645 1231 5663 1232 5667 1233 5671 1234 5673 1235 5677 1236 5681 1237 5699 1238 5705 1239 5709 1240 5713 1241 5715 1242 5721 1243 5725 1244 5729 1245 5731 1246 5735 1247 5745 1248 5747 1249 5753 1250 5763 1251 5765 1252 5767 1253 5771 1254 5773 1255 5777 1256 5785 1257 5789 1258 5793 1259 5797 1260 5799 1261 5803 1262 5805 1263 5809 1264 5815 1265 5819 1266 5825 1267 5831 1268 5833 1269 5837 1270 5841 1271 5845 1272 5847 1273 5855 1274 5873 1275 5880 1276 5883 1277 5891 1278 5893 1279 5909 1280 5911 1281 5915 1282 5917 1283 5919 1284 5921 1285 5925 1286 5935 1287 5941 1288 5945 1289 5947 1290 5955 1291 5959 1292 5961 1293 5963 1294 5965 1295 5969 1296 5973 1297 5977 1298 5983 1299 5991 1300 5993 1301 5995 1302 5999 1303 6001 1304 6005 1305 6009 1306 6013 1307 6017 1308 6019 1309 6021 1310 6023 1311 6035 1312 6041 1313 6045 1314 6049 1315 6051 1316 6055 1317 6061 1318 6069 1319 6071 1320 6077 1321 6081 1322 6083 1323 6085 1324 6087 1325 6103 1326 6105 1327 6107 1328 6109 1329 6115 1330 6119 1331 6123 1332 6127 1333 6135 1334 6137 1335 6141 1336 6145 1337 6157 1338 6159 1339 6165 1340 6167 1341 6169 1342 6175 1343 6179 1344 6181 1345 6183 1346 6185 1347 6187 1348 6191 1349 6201 1350 6207 1351 6209 1352 6219 1353 6223 1354 6227 1355 6233 1356 6235 1357 6237 1358 6239 1359 6245 1360 6249 1361 6251 1362 6253 1363 6259 1364 6265 1365 6267 1366 6273 1367 6275 1368 6281 1369 6283 1370 6289 1371 6293 1372 6295 1373 6305 1374 6313 1375 6315 1376 6319 1377 6321 1378 6325 1379 6327 1380 6333 1381 6341 1382 6347 1383 6355 1384 6363 1385 6365 1386 6369 1387 6371 1388 6377 1389 6383 1390 6387 1391 6395 1392 6401 1393 6403 1394 6407 1395 6409 1396 6411 1397 6413 1398 6415 1399 6417 1400 6426 1401 6429 1402 6431 1403 6433 1404 6437 1405 6439 1406 6443 1407 6445 1408 6453 1409 6457 1410 6463 1411 6467 1412 6475 1413 6483 1414 6485 1415 6487 1416 6489 1417 6493 1418 6495 1419 6497 1420 6499 1421 6503 1422 6505 1423 6509 1424 6511 1425 6515 1426 6519 1427 6527 1428 6533 1429 6539 1430 6541 1431 6555 1432 6557 1433 6567 1434 6583 1435 6587 1436 6593 1437 6595 1438 6603 1439 6605 1440 6609 1441 6611 1442 6613 1443 6615 1444 6617 1445 6623 1446 6627 1447 6629 1448 6633 1449 6635 1450 6639 1451 6641 1452 6645 1453 6647 1454 6649 1455 6663 1456 6665 1457 6667 1458 6671 1459 6675 1460 6677 1461 6681 1462 6683 1463 6685 1464 6695 1465 6697 1466 6705 1467 6711 1468 6715 1469 6721 1470 6724 1471 6725 1472 6727 1473 6729 1474 6731 1475 6739 1476 6741 1477 6743 1478 6749 1479 6751 1480 6755 1481 6757 1482 6760 1483 6767 1484 6773 1485 6775 1486 6777 1487 6785 1488 6787 1489 6797 1490 6799 1491 6801 1492 6809 1493 6811 1494 6815 1495 6817 1496 6819 1497 6821 1498 6835 1499 6839 1500 6845 1501 6851 1502 6853 1503 6855 1504 6861 1505 6865 1506 6877 1507 6881 1508 6885 1509 6887 1510 6891 1511 6893 1512 6895 1513 6897 1514 6905 1515 6913 1516 6923 1517 6927 1518 6929 1519 6931 1520 6933 1521 6935 1522 6941 1523 6943 1524 6945 1525 6953 1526 6955 1527 6957 1528 6963 1529 6969 1530 6973 1531 6989 1532 7003 1533 7007 1534 7009 1535 7015 1536 7017 1537 7021 1538 7025 1539 7033 1540 7037 1541 7041 1542 7045 1543 7047 1544 7055 1545 7061 1546 7063 1547 7065 1548 7067 1549 7071 1550 7073 1551 7081 1552 7085 1553 7087 1554 7089 1555 7091 1556 7093 1557 7095 1558 7097 1559 7099 1560 7101 1561 7113 1562 7115 1563 7117 1564 7119 1565 7125 1566 7131 1567 7135 1568 7137 1569 7139 1570 7141 1571 7147 1572 7149 1573 7153 1574 7155 1575 7157 1576 7161 1577 7163 1578 7165 1579 7169 1580 7171 1581 7179 1582 7181 1583 7183 1584 7185 1585 7189 1586 7191 1587 7195 1588 7199 1589 7201 1590 7203 1591 7217 1592 7223 1593 7227 1594 7231 1595 7233 1596 7235 1597 7241 1598 7245 1599 7249 1600 7259 1601 7261 1602 7265 1603 7267 1604 7269 1605 7277 1606 7289 1607 7290 1608 7291 1609 7295 1610 7301 1611 7303 1612 7313 1613 7317 1614 7319 1615 7323 1616 7325 1617 7327 1618 7337 1619 7339 1620 7343 1621 7345 1622 7347 1623 7353 1624 7355 1625 7357 1626 7359 1627 7361 1628 7363 1629 7365 1630 7367 1631 7371 1632 7373 1633 7375 1634 7377 1635 7379 1636 7383 1637 7385 1638 7387 1639 7391 1640 7395 1641 7399 1642 7403 1643 7409 1644 7415 1645 7419 1646 7421 1647 7423 1648 7427 1649 7435 1650 7445 1651 7447 1652 7453 1653 7463 1654 7467 1655 7471 1656 7473 1657 7483 1658 7495 1659 7501 1660 7503 1661 7509 1662 7515 1663 7519 1664 7525 1665 7533 1666 7535 1667 7543 1668 7545 1669 7553 1670 7555 1671 7557 1672 7571 1673 7575 1674 7579 1675 7585 1676 7587 1677 7593 1678 7595 1679 7601 1680 7605 1681 7609 1682 7611 1683 7613 1684 7615 1685 7619 1686 7627 1687 7629 1688 7631 1689 7637 1690 7653 1691 7657 1692 7661 1693 7663 1694 7665 1695 7675 1696 7679 1697 7685 1698 7693 1699 7697 1700 7701 1701 7709 1702 7711 1703 7715 1704 7721 1705 7729 1706 7731 1707 7733 1708 7737 1709 7739 1710 7744 1711 7745 1712 7747 1713 7751 1714 7763 1715 7765 1716 7769 1717 7771 1718 7777 1719 7779 1720 7781 1721 7783 1722 7791 1723 7797 1724 7799 1725 7801 1726 7803 1727 7807 1728 7811 1729 7815 1730 7827 1731 7831 1732 7835 1733 7837 1734 7840 1735 7843 1736 7849 1737 7851 1738 7855 1739 7859 1740 7861 1741 7865 1742 7871 1743 7875 1744 7885 1745 7887 1746 7891 1747 7895 1748 7897 1749 7899 1750 7903 1751 7909 1752 7911 1753 7913 1754 7917 1755 7920 1756 7925 1757 7931 1758 7939 1759 7943 1760 7945 1761 7961 1762 7969 1763 7971 1764 7973 1765 7975 1766 7979 1767 7981 1768 7985 1769 7989 1770 7997 1771 8003 1772 8005 1773 8015 1774 8019 1775 8021 1776 8023 1777 8025 1778 8027 1779 8031 1780 8033 1781 8035 1782 8041 1783 8047 1784 8055 1785 8057 1786 8061 1787 8063 1788 8065 1789 8067 1790 8075 1791 8077 1792 8079 1793 8083 1794 8095 1795 8100 1796 8105 1797 8113 1798 8115 1799 8121 1800 8125 1801 8129 1802 8131 1803 8137 1804 8139 1805 8143 1806 8149 1807 8153 1808 8155 1809 8159 1810 8177 1811 8183 1812 8185 1813 8187 1814 8189 1815 8197 1816 8201 1817 8203 1818 8207 1819 8211 1820 8213 1821 8217 1822 8223 1823 8227 1824 8235 1825 8239 1826 8241 1827 8249 1828 8251 1829 8253 1830 8255 1831 8259 1832 8261 1833 8267 1834 8277 1835 8279 1836 8283 1837 8285 1838 8299 1839 8303 1840 8307 1841 8313 1842 8315 1843 8321 1844 8323 1845 8327 1846 8331 1847 8333 1848 8339 1849 8341 1850 8345 1851 8351 1852 8355 1853 8357 1854 8371 1855 8373 1856 8381 1857 8383 1858 8393 1859 8395 1860 8397 1861 8399 1862 8401 1863 8403 1864 8405 1865 8407 1866 8411 1867 8417 1868 8427 1869 8435 1870 8437 1871 8441 1872 8449 1873 8453 1874 8457 1875 8459 1876 8465 1877 8471 1878 8473 1879 8475 1880 8477 1881 8479 1882 8483 1883 8485 1884 8487 1885 8489 1886 8491 1887 8497 1888 8503 1889 8505 1890 8507 1891 8509 1892 8511 1893 8515 1894 8523 1895 8525 1896 8533 1897 8535 1898 8545 1899 8549 1900 8551 1901 8553 1902 8555 1903 8557 1904 8559 1905 8561 1906 8567 1907 8569 1908 8571 1909 8575 1910 8579 1911 8583 1912 8585 1913 8587 1914 8591 1915 8593 1916 8595 1917 8601 1918 8603 1919 8605 1920 8611 1921 8613 1922 8615 1923 8617 1924 8621 1925 8633 1926 8635 1927 8639 1928 8649 1929 8651 1930 8653 1931 8655 1932 8657 1933 8661 1934 8675 1935 8679 1936 8687 1937 8695 1938 8701 1939 8705 1940 8709 1941 8711 1942 8717 1943 8721 1944 8723 1945 8725 1946 8729 1947 8733 1948 8735 1949 8743 1950 8745 1951 8751 1952 8757 1953 8759 1954 8763 1955 8765 1956 8773 1957 8775 1958 8777 1959 8789 1960 8791 1961 8797 1962 8801 1963 8809 1964 8813 1965 8815 1966 8817 1967 8823 1968 8843 1969 8851 1970 8853 1971 8857 1972 8865 1973 8871 1974 8873 1975 8879 1976 8881 1977 8885 1978 8891 1979 8895 1980 8897 1981 8903 1982 8905 1983 8907 1984 8909 1985 8911 1986 8915 1987 8917 1988 8921 1989 8924 1990 8935 1991 8939 1992 8943 1993 8947 1994 8953 1995 8959 1996 8967 1997 8975 1998 8977 1999 8981 2000 8987 2001 8991 2002 8995 2003 8997 2004 9005 2005 9009 2006 9015 2007 9017 2008 9019 2009 9023 2010 9027 2011 9031 2012 9033 2013 9037 2014 9039 2015 9047 2016 9053 2017 9055 2018 9061 2019 9063 2020 9065 2021 9069 2022 9071 2023 9073 2024 9075 2025 9077 2026 9083 2027 9089 2028 9097 2029 9099 2030 9101 2031 9107 2032 9113 2033 9115 2034 9119 2035 9121 2036 9123 2037 9125 2038 9131 2039 9139 2040 9141 2041 9143 2042 9149 2043 9167 2044 9169 2045 9183 2046 9191 2047 9193 2048 9195 2049 9197 2050 9205 2051 9211 2052 9215 2053 9217 2054 9223 2055 9225 2056 9229 2057 9231 2058 9235 2059 9237 2060 9243 2061 9245 2062 9247 2063 9251 2064 9253 2065 9259 2066 9263 2067 9265 2068 9267 2069 9269 2070 9271 2071 9273 2072 9275 2073 9279 2074 9285 2075 9287 2076 9289 2077 9291 2078 9299 2079 9301 2080 9305 2081 9307 2082 9313 2083 9315 2084 9317 2085 9325 2086 9329 2087 9331 2088 9335 2089 9347 2090 9353 2091 9357 2092 9359 2093 9361 2094 9365 2095 9367 2096 9375 2097 9379 2098 9383 2099 9385 2100 9389 2101 9393 2102 9395 2103 9399 2104 9407 2105 9411 2106 9415 2107 9423 2108 9425 2109 9435 2110 9449 2111 9451 2112 9455 2113 9471 2114 9475 2115 9487 2116 9493 2117 9495 2118 9501 2119 9505 2120 9509 2121 9513 2122 9517 2123 9523 2124 9527 2125 9529 2126 9535 2127 9543 2128 9553 2129 9555 2130 9557 2131 9559 2132 9561 2133 9563 2134 9565 2135 9571 2136 9573 2137 9577 2138 9581 2139 9583 2140 9585 2141 9589 2142 9591 2143 9599 2144 9603 2145 9604 2146 9605 2147 9607 2148 9611 2149 9615 2150 9617 2151 9625 2152 9627 2153 9633 2154 9637 2155 9641 2156 9647 2157 9653 2158 9657 2159 9659 2160 9663 2161 9665 2162 9667 2163 9669 2164 9671 2165 9673 2166 9683 2167 9685 2168 9691 2169 9693 2170 9695 2171 9701 2172 9703 2173 9705 2174 9709 2175 9713 2176 9715 2177 9717 2178 9727 2179 9729 2180 9737 2181 9745 2182 9751 2183 9753 2184 9755 2185 9757 2186 9761 2187 9765 2188 9771 2189 9773 2190 9775 2191 9779 2192 9785 2193 9793 2194 9797 2195 9799 2196 9809 2197 9813 2198 9815 2199 9821 2200 9823 2201 9825 2202 9827 2203 9841 2204 9843 2205 9845 2206 9847 2207 9853 2208 9867 2209 9881 2210 9885 2211 9893 2212 9895 2213 9897 2214 9899 2215 9903 2216 9905 2217 9917 2218 9925 2219 9927 2220 9935 2221 9937 2222 9939 2223 9943 2224 9945 2225 9947 2226 9951 2227 9953 2228 9959 2229 9961 2230 9965 2231 9969 2232 9971 2233 9977 2234 9979 2235 9983 2236 9989 2237 9993 2238 9995 2239 9997 2240 10000