# This b-file was computed by Antti Karttunen, 2020-02-09 # 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: # # default(parisizemax,2^31); # v000043 = [2,3,5,7,13,17,19,31,61,89,107,127,521,607,1279,2203,2281,3217]; # up_to = v000043[#v000043]; # A332211list(up_to) = { my(v=vector(up_to), xs=Map(), i=1, q); for(n=1,up_to, if(vecsearch(v000043,n), q = (2^n)-1, while(mapisdefined(xs,prime(i)), i++); q = prime(i)); v[n] = q; mapput(xs,q,n)); (v); }; # v332211 = A332211list(up_to); # A332211(n) = v332211[n]; # for(n=1,#v332211,write("b332211.txt", n, " ", A332211(n))); 1 2 2 3 3 7 4 5 5 31 6 11 7 127 8 13 9 17 10 19 11 23 12 29 13 8191 14 37 15 41 16 43 17 131071 18 47 19 524287 20 53 21 59 22 61 23 67 24 71 25 73 26 79 27 83 28 89 29 97 30 101 31 2147483647 32 103 33 107 34 109 35 113 36 131 37 137 38 139 39 149 40 151 41 157 42 163 43 167 44 173 45 179 46 181 47 191 48 193 49 197 50 199 51 211 52 223 53 227 54 229 55 233 56 239 57 241 58 251 59 257 60 263 61 2305843009213693951 62 269 63 271 64 277 65 281 66 283 67 293 68 307 69 311 70 313 71 317 72 331 73 337 74 347 75 349 76 353 77 359 78 367 79 373 80 379 81 383 82 389 83 397 84 401 85 409 86 419 87 421 88 431 89 618970019642690137449562111 90 433 91 439 92 443 93 449 94 457 95 461 96 463 97 467 98 479 99 487 100 491 101 499 102 503 103 509 104 521 105 523 106 541 107 162259276829213363391578010288127 108 547 109 557 110 563 111 569 112 571 113 577 114 587 115 593 116 599 117 601 118 607 119 613 120 617 121 619 122 631 123 641 124 643 125 647 126 653 127 170141183460469231731687303715884105727 128 659 129 661 130 673 131 677 132 683 133 691 134 701 135 709 136 719 137 727 138 733 139 739 140 743 141 751 142 757 143 761 144 769 145 773 146 787 147 797 148 809 149 811 150 821 151 823 152 827 153 829 154 839 155 853 156 857 157 859 158 863 159 877 160 881 161 883 162 887 163 907 164 911 165 919 166 929 167 937 168 941 169 947 170 953 171 967 172 971 173 977 174 983 175 991 176 997 177 1009 178 1013 179 1019 180 1021 181 1031 182 1033 183 1039 184 1049 185 1051 186 1061 187 1063 188 1069 189 1087 190 1091 191 1093 192 1097 193 1103 194 1109 195 1117 196 1123 197 1129 198 1151 199 1153 200 1163 201 1171 202 1181 203 1187 204 1193 205 1201 206 1213 207 1217 208 1223 209 1229 210 1231 211 1237 212 1249 213 1259 214 1277 215 1279 216 1283 217 1289 218 1291 219 1297 220 1301 221 1303 222 1307 223 1319 224 1321 225 1327 226 1361 227 1367 228 1373 229 1381 230 1399 231 1409 232 1423 233 1427 234 1429 235 1433 236 1439 237 1447 238 1451 239 1453 240 1459 241 1471 242 1481 243 1483 244 1487 245 1489 246 1493 247 1499 248 1511 249 1523 250 1531 251 1543 252 1549 253 1553 254 1559 255 1567 256 1571 257 1579 258 1583 259 1597 260 1601 261 1607 262 1609 263 1613 264 1619 265 1621 266 1627 267 1637 268 1657 269 1663 270 1667 271 1669 272 1693 273 1697 274 1699 275 1709 276 1721 277 1723 278 1733 279 1741 280 1747 281 1753 282 1759 283 1777 284 1783 285 1787 286 1789 287 1801 288 1811 289 1823 290 1831 291 1847 292 1861 293 1867 294 1871 295 1873 296 1877 297 1879 298 1889 299 1901 300 1907 301 1913 302 1931 303 1933 304 1949 305 1951 306 1973 307 1979 308 1987 309 1993 310 1997 311 1999 312 2003 313 2011 314 2017 315 2027 316 2029 317 2039 318 2053 319 2063 320 2069 321 2081 322 2083 323 2087 324 2089 325 2099 326 2111 327 2113 328 2129 329 2131 330 2137 331 2141 332 2143 333 2153 334 2161 335 2179 336 2203 337 2207 338 2213 339 2221 340 2237 341 2239 342 2243 343 2251 344 2267 345 2269 346 2273 347 2281 348 2287 349 2293 350 2297 351 2309 352 2311 353 2333 354 2339 355 2341 356 2347 357 2351 358 2357 359 2371 360 2377 361 2381 362 2383 363 2389 364 2393 365 2399 366 2411 367 2417 368 2423 369 2437 370 2441 371 2447 372 2459 373 2467 374 2473 375 2477 376 2503 377 2521 378 2531 379 2539 380 2543 381 2549 382 2551 383 2557 384 2579 385 2591 386 2593 387 2609 388 2617 389 2621 390 2633 391 2647 392 2657 393 2659 394 2663 395 2671 396 2677 397 2683 398 2687 399 2689 400 2693 401 2699 402 2707 403 2711 404 2713 405 2719 406 2729 407 2731 408 2741 409 2749 410 2753 411 2767 412 2777 413 2789 414 2791 415 2797 416 2801 417 2803 418 2819 419 2833 420 2837 421 2843 422 2851 423 2857 424 2861 425 2879 426 2887 427 2897 428 2903 429 2909 430 2917 431 2927 432 2939 433 2953 434 2957 435 2963 436 2969 437 2971 438 2999 439 3001 440 3011 441 3019 442 3023 443 3037 444 3041 445 3049 446 3061 447 3067 448 3079 449 3083 450 3089 451 3109 452 3119 453 3121 454 3137 455 3163 456 3167 457 3169 458 3181 459 3187 460 3191 461 3203 462 3209 463 3217 464 3221 465 3229 466 3251 467 3253 468 3257 469 3259 470 3271 471 3299 472 3301 473 3307 474 3313 475 3319 476 3323 477 3329 478 3331 479 3343 480 3347 481 3359 482 3361 483 3371 484 3373 485 3389 486 3391 487 3407 488 3413 489 3433 490 3449 491 3457 492 3461 493 3463 494 3467 495 3469 496 3491 497 3499 498 3511 499 3517 500 3527 501 3529 502 3533 503 3539 504 3541 505 3547 506 3557 507 3559 508 3571 509 3581 510 3583 511 3593 512 3607 513 3613 514 3617 515 3623 516 3631 517 3637 518 3643 519 3659 520 3671 521 6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 522 3673 523 3677 524 3691 525 3697 526 3701 527 3709 528 3719 529 3727 530 3733 531 3739 532 3761 533 3767 534 3769 535 3779 536 3793 537 3797 538 3803 539 3821 540 3823 541 3833 542 3847 543 3851 544 3853 545 3863 546 3877 547 3881 548 3889 549 3907 550 3911 551 3917 552 3919 553 3923 554 3929 555 3931 556 3943 557 3947 558 3967 559 3989 560 4001 561 4003 562 4007 563 4013 564 4019 565 4021 566 4027 567 4049 568 4051 569 4057 570 4073 571 4079 572 4091 573 4093 574 4099 575 4111 576 4127 577 4129 578 4133 579 4139 580 4153 581 4157 582 4159 583 4177 584 4201 585 4211 586 4217 587 4219 588 4229 589 4231 590 4241 591 4243 592 4253 593 4259 594 4261 595 4271 596 4273 597 4283 598 4289 599 4297 600 4327 601 4337 602 4339 603 4349 604 4357 605 4363 606 4373 607 531137992816767098689588206552468627329593117727031923199444138200403559860852242739162502265229285668889329486246501015346579337652707239409519978766587351943831270835393219031728127 608 4391 609 4397 610 4409 611 4421 612 4423 613 4441 614 4447 615 4451 616 4457 617 4463 618 4481 619 4483 620 4493 621 4507 622 4513 623 4517 624 4519 625 4523 626 4547 627 4549 628 4561 629 4567 630 4583 631 4591 632 4597 633 4603 634 4621 635 4637 636 4639 637 4643 638 4649 639 4651 640 4657 641 4663 642 4673 643 4679 644 4691 645 4703 646 4721 647 4723 648 4729 649 4733 650 4751 651 4759 652 4783 653 4787 654 4789 655 4793 656 4799 657 4801 658 4813 659 4817 660 4831 661 4861 662 4871 663 4877 664 4889 665 4903 666 4909 667 4919 668 4931 669 4933 670 4937 671 4943 672 4951 673 4957 674 4967 675 4969 676 4973 677 4987 678 4993 679 4999 680 5003 681 5009 682 5011 683 5021 684 5023 685 5039 686 5051 687 5059 688 5077 689 5081 690 5087 691 5099 692 5101 693 5107 694 5113 695 5119 696 5147 697 5153 698 5167 699 5171 700 5179 701 5189 702 5197 703 5209 704 5227 705 5231 706 5233 707 5237 708 5261 709 5273 710 5279 711 5281 712 5297 713 5303 714 5309 715 5323 716 5333 717 5347 718 5351 719 5381 720 5387 721 5393 722 5399 723 5407 724 5413 725 5417 726 5419 727 5431 728 5437 729 5441 730 5443 731 5449 732 5471 733 5477 734 5479 735 5483 736 5501 737 5503 738 5507 739 5519 740 5521 741 5527 742 5531 743 5557 744 5563 745 5569 746 5573 747 5581 748 5591 749 5623 750 5639 751 5641 752 5647 753 5651 754 5653 755 5657 756 5659 757 5669 758 5683 759 5689 760 5693 761 5701 762 5711 763 5717 764 5737 765 5741 766 5743 767 5749 768 5779 769 5783 770 5791 771 5801 772 5807 773 5813 774 5821 775 5827 776 5839 777 5843 778 5849 779 5851 780 5857 781 5861 782 5867 783 5869 784 5879 785 5881 786 5897 787 5903 788 5923 789 5927 790 5939 791 5953 792 5981 793 5987 794 6007 795 6011 796 6029 797 6037 798 6043 799 6047 800 6053 801 6067 802 6073 803 6079 804 6089 805 6091 806 6101 807 6113 808 6121 809 6131 810 6133 811 6143 812 6151 813 6163 814 6173 815 6197 816 6199 817 6203 818 6211 819 6217 820 6221 821 6229 822 6247 823 6257 824 6263 825 6269 826 6271 827 6277 828 6287 829 6299 830 6301 831 6311 832 6317 833 6323 834 6329 835 6337 836 6343 837 6353 838 6359 839 6361 840 6367 841 6373 842 6379 843 6389 844 6397 845 6421 846 6427 847 6449 848 6451 849 6469 850 6473 851 6481 852 6491 853 6521 854 6529 855 6547 856 6551 857 6553 858 6563 859 6569 860 6571 861 6577 862 6581 863 6599 864 6607 865 6619 866 6637 867 6653 868 6659 869 6661 870 6673 871 6679 872 6689 873 6691 874 6701 875 6703 876 6709 877 6719 878 6733 879 6737 880 6761 881 6763 882 6779 883 6781 884 6791 885 6793 886 6803 887 6823 888 6827 889 6829 890 6833 891 6841 892 6857 893 6863 894 6869 895 6871 896 6883 897 6899 898 6907 899 6911 900 6917 901 6947 902 6949 903 6959 904 6961 905 6967 906 6971 907 6977 908 6983 909 6991 910 6997 911 7001 912 7013 913 7019 914 7027 915 7039 916 7043 917 7057 918 7069 919 7079 920 7103 921 7109 922 7121 923 7127 924 7129 925 7151 926 7159 927 7177 928 7187 929 7193 930 7207 931 7211 932 7213 933 7219 934 7229 935 7237 936 7243 937 7247 938 7253 939 7283 940 7297 941 7307 942 7309 943 7321 944 7331 945 7333 946 7349 947 7351 948 7369 949 7393 950 7411 951 7417 952 7433 953 7451 954 7457 955 7459 956 7477 957 7481 958 7487 959 7489 960 7499 961 7507 962 7517 963 7523 964 7529 965 7537 966 7541 967 7547 968 7549 969 7559 970 7561 971 7573 972 7577 973 7583 974 7589 975 7591 976 7603 977 7607 978 7621 979 7639 980 7643 981 7649 982 7669 983 7673 984 7681 985 7687 986 7691 987 7699 988 7703 989 7717 990 7723 991 7727 992 7741 993 7753 994 7757 995 7759 996 7789 997 7793 998 7817 999 7823 1000 7829 1001 7841 1002 7853 1003 7867 1004 7873 1005 7877 1006 7879 1007 7883 1008 7901 1009 7907 1010 7919 1011 7927 1012 7933 1013 7937 1014 7949 1015 7951 1016 7963 1017 7993 1018 8009 1019 8011 1020 8017 1021 8039 1022 8053 1023 8059 1024 8069 1025 8081 1026 8087 1027 8089 1028 8093 1029 8101 1030 8111 1031 8117 1032 8123 1033 8147 1034 8161 1035 8167 1036 8171 1037 8179 1038 8209 1039 8219 1040 8221 1041 8231 1042 8233 1043 8237 1044 8243 1045 8263 1046 8269 1047 8273 1048 8287 1049 8291 1050 8293 1051 8297 1052 8311 1053 8317 1054 8329 1055 8353 1056 8363 1057 8369 1058 8377 1059 8387 1060 8389 1061 8419 1062 8423 1063 8429 1064 8431 1065 8443 1066 8447 1067 8461 1068 8467 1069 8501 1070 8513 1071 8521 1072 8527 1073 8537 1074 8539 1075 8543 1076 8563 1077 8573 1078 8581 1079 8597 1080 8599 1081 8609 1082 8623 1083 8627 1084 8629 1085 8641 1086 8647 1087 8663 1088 8669 1089 8677 1090 8681 1091 8689 1092 8693 1093 8699 1094 8707 1095 8713 1096 8719 1097 8731 1098 8737 1099 8741 1100 8747 1101 8753 1102 8761 1103 8779 1104 8783 1105 8803 1106 8807 1107 8819 1108 8821 1109 8831 1110 8837 1111 8839 1112 8849 1113 8861 1114 8863 1115 8867 1116 8887 1117 8893 1118 8923 1119 8929 1120 8933 1121 8941 1122 8951 1123 8963 1124 8969 1125 8971 1126 8999 1127 9001 1128 9007 1129 9011 1130 9013 1131 9029 1132 9041 1133 9043 1134 9049 1135 9059 1136 9067 1137 9091 1138 9103 1139 9109 1140 9127 1141 9133 1142 9137 1143 9151 1144 9157 1145 9161 1146 9173 1147 9181 1148 9187 1149 9199 1150 9203 1151 9209 1152 9221 1153 9227 1154 9239 1155 9241 1156 9257 1157 9277 1158 9281 1159 9283 1160 9293 1161 9311 1162 9319 1163 9323 1164 9337 1165 9341 1166 9343 1167 9349 1168 9371 1169 9377 1170 9391 1171 9397 1172 9403 1173 9413 1174 9419 1175 9421 1176 9431 1177 9433 1178 9437 1179 9439 1180 9461 1181 9463 1182 9467 1183 9473 1184 9479 1185 9491 1186 9497 1187 9511 1188 9521 1189 9533 1190 9539 1191 9547 1192 9551 1193 9587 1194 9601 1195 9613 1196 9619 1197 9623 1198 9629 1199 9631 1200 9643 1201 9649 1202 9661 1203 9677 1204 9679 1205 9689 1206 9697 1207 9719 1208 9721 1209 9733 1210 9739 1211 9743 1212 9749 1213 9767 1214 9769 1215 9781 1216 9787 1217 9791 1218 9803 1219 9811 1220 9817 1221 9829 1222 9833 1223 9839 1224 9851 1225 9857 1226 9859 1227 9871 1228 9883 1229 9887 1230 9901 1231 9907 1232 9923 1233 9929 1234 9931 1235 9941 1236 9949 1237 9967 1238 9973 1239 10007 1240 10009 1241 10037 1242 10039 1243 10061 1244 10067 1245 10069 1246 10079 1247 10091 1248 10093 1249 10099 1250 10103 1251 10111 1252 10133 1253 10139 1254 10141 1255 10151 1256 10159 1257 10163 1258 10169 1259 10177 1260 10181 1261 10193 1262 10211 1263 10223 1264 10243 1265 10247 1266 10253 1267 10259 1268 10267 1269 10271 1270 10273 1271 10289 1272 10301 1273 10303 1274 10313 1275 10321 1276 10331 1277 10333 1278 10337 1279 10407932194664399081925240327364085538615262247266704805319112350403608059673360298012239441732324184842421613954281007791383566248323464908139906605677320762924129509389220345773183349661583550472959420547689811211693677147548478866962501384438260291732348885311160828538416585028255604666224831890918801847068222203140521026698435488732958028878050869736186900714720710555703168729087 1280 10343 1281 10357 1282 10369 1283 10391 1284 10399 1285 10427 1286 10429 1287 10433 1288 10453 1289 10457 1290 10459 1291 10463 1292 10477 1293 10487 1294 10499 1295 10501 1296 10513 1297 10529 1298 10531 1299 10559 1300 10567 1301 10589 1302 10597 1303 10601 1304 10607 1305 10613 1306 10627 1307 10631 1308 10639 1309 10651 1310 10657 1311 10663 1312 10667 1313 10687 1314 10691 1315 10709 1316 10711 1317 10723 1318 10729 1319 10733 1320 10739 1321 10753 1322 10771 1323 10781 1324 10789 1325 10799 1326 10831 1327 10837 1328 10847 1329 10853 1330 10859 1331 10861 1332 10867 1333 10883 1334 10889 1335 10891 1336 10903 1337 10909 1338 10937 1339 10939 1340 10949 1341 10957 1342 10973 1343 10979 1344 10987 1345 10993 1346 11003 1347 11027 1348 11047 1349 11057 1350 11059 1351 11069 1352 11071 1353 11083 1354 11087 1355 11093 1356 11113 1357 11117 1358 11119 1359 11131 1360 11149 1361 11159 1362 11161 1363 11171 1364 11173 1365 11177 1366 11197 1367 11213 1368 11239 1369 11243 1370 11251 1371 11257 1372 11261 1373 11273 1374 11279 1375 11287 1376 11299 1377 11311 1378 11317 1379 11321 1380 11329 1381 11351 1382 11353 1383 11369 1384 11383 1385 11393 1386 11399 1387 11411 1388 11423 1389 11437 1390 11443 1391 11447 1392 11467 1393 11471 1394 11483 1395 11489 1396 11491 1397 11497 1398 11503 1399 11519 1400 11527 1401 11549 1402 11551 1403 11579 1404 11587 1405 11593 1406 11597 1407 11617 1408 11621 1409 11633 1410 11657 1411 11677 1412 11681 1413 11689 1414 11699 1415 11701 1416 11717 1417 11719 1418 11731 1419 11743 1420 11777 1421 11779 1422 11783 1423 11789 1424 11801 1425 11807 1426 11813 1427 11821 1428 11827 1429 11831 1430 11833 1431 11839 1432 11863 1433 11867 1434 11887 1435 11897 1436 11903 1437 11909 1438 11923 1439 11927 1440 11933 1441 11939 1442 11941 1443 11953 1444 11959 1445 11969 1446 11971 1447 11981 1448 11987 1449 12007 1450 12011 1451 12037 1452 12041 1453 12043 1454 12049 1455 12071 1456 12073 1457 12097 1458 12101 1459 12107 1460 12109 1461 12113 1462 12119 1463 12143 1464 12149 1465 12157 1466 12161 1467 12163 1468 12197 1469 12203 1470 12211 1471 12227 1472 12239 1473 12241 1474 12251 1475 12253 1476 12263 1477 12269 1478 12277 1479 12281 1480 12289 1481 12301 1482 12323 1483 12329 1484 12343 1485 12347 1486 12373 1487 12377 1488 12379 1489 12391 1490 12401 1491 12409 1492 12413 1493 12421 1494 12433 1495 12437 1496 12451 1497 12457 1498 12473 1499 12479 1500 12487 1501 12491 1502 12497 1503 12503 1504 12511 1505 12517 1506 12527 1507 12539 1508 12541 1509 12547 1510 12553 1511 12569 1512 12577 1513 12583 1514 12589 1515 12601 1516 12611 1517 12613 1518 12619 1519 12637 1520 12641 1521 12647 1522 12653 1523 12659 1524 12671 1525 12689 1526 12697 1527 12703 1528 12713 1529 12721 1530 12739 1531 12743 1532 12757 1533 12763 1534 12781 1535 12791 1536 12799 1537 12809 1538 12821 1539 12823 1540 12829 1541 12841 1542 12853 1543 12889 1544 12893 1545 12899 1546 12907 1547 12911 1548 12917 1549 12919 1550 12923 1551 12941 1552 12953 1553 12959 1554 12967 1555 12973 1556 12979 1557 12983 1558 13001 1559 13003 1560 13007 1561 13009 1562 13033 1563 13037 1564 13043 1565 13049 1566 13063 1567 13093 1568 13099 1569 13103 1570 13109 1571 13121 1572 13127 1573 13147 1574 13151 1575 13159 1576 13163 1577 13171 1578 13177 1579 13183 1580 13187 1581 13217 1582 13219 1583 13229 1584 13241 1585 13249 1586 13259 1587 13267 1588 13291 1589 13297 1590 13309 1591 13313 1592 13327 1593 13331 1594 13337 1595 13339 1596 13367 1597 13381 1598 13397 1599 13399 1600 13411 1601 13417 1602 13421 1603 13441 1604 13451 1605 13457 1606 13463 1607 13469 1608 13477 1609 13487 1610 13499 1611 13513 1612 13523 1613 13537 1614 13553 1615 13567 1616 13577 1617 13591 1618 13597 1619 13613 1620 13619 1621 13627 1622 13633 1623 13649 1624 13669 1625 13679 1626 13681 1627 13687 1628 13691 1629 13693 1630 13697 1631 13709 1632 13711 1633 13721 1634 13723 1635 13729 1636 13751 1637 13757 1638 13759 1639 13763 1640 13781 1641 13789 1642 13799 1643 13807 1644 13829 1645 13831 1646 13841 1647 13859 1648 13873 1649 13877 1650 13879 1651 13883 1652 13901 1653 13903 1654 13907 1655 13913 1656 13921 1657 13931 1658 13933 1659 13963 1660 13967 1661 13997 1662 13999 1663 14009 1664 14011 1665 14029 1666 14033 1667 14051 1668 14057 1669 14071 1670 14081 1671 14083 1672 14087 1673 14107 1674 14143 1675 14149 1676 14153 1677 14159 1678 14173 1679 14177 1680 14197 1681 14207 1682 14221 1683 14243 1684 14249 1685 14251 1686 14281 1687 14293 1688 14303 1689 14321 1690 14323 1691 14327 1692 14341 1693 14347 1694 14369 1695 14387 1696 14389 1697 14401 1698 14407 1699 14411 1700 14419 1701 14423 1702 14431 1703 14437 1704 14447 1705 14449 1706 14461 1707 14479 1708 14489 1709 14503 1710 14519 1711 14533 1712 14537 1713 14543 1714 14549 1715 14551 1716 14557 1717 14561 1718 14563 1719 14591 1720 14593 1721 14621 1722 14627 1723 14629 1724 14633 1725 14639 1726 14653 1727 14657 1728 14669 1729 14683 1730 14699 1731 14713 1732 14717 1733 14723 1734 14731 1735 14737 1736 14741 1737 14747 1738 14753 1739 14759 1740 14767 1741 14771 1742 14779 1743 14783 1744 14797 1745 14813 1746 14821 1747 14827 1748 14831 1749 14843 1750 14851 1751 14867 1752 14869 1753 14879 1754 14887 1755 14891 1756 14897 1757 14923 1758 14929 1759 14939 1760 14947 1761 14951 1762 14957 1763 14969 1764 14983 1765 15013 1766 15017 1767 15031 1768 15053 1769 15061 1770 15073 1771 15077 1772 15083 1773 15091 1774 15101 1775 15107 1776 15121 1777 15131 1778 15137 1779 15139 1780 15149 1781 15161 1782 15173 1783 15187 1784 15193 1785 15199 1786 15217 1787 15227 1788 15233 1789 15241 1790 15259 1791 15263 1792 15269 1793 15271 1794 15277 1795 15287 1796 15289 1797 15299 1798 15307 1799 15313 1800 15319 1801 15329 1802 15331 1803 15349 1804 15359 1805 15361 1806 15373 1807 15377 1808 15383 1809 15391 1810 15401 1811 15413 1812 15427 1813 15439 1814 15443 1815 15451 1816 15461 1817 15467 1818 15473 1819 15493 1820 15497 1821 15511 1822 15527 1823 15541 1824 15551 1825 15559 1826 15569 1827 15581 1828 15583 1829 15601 1830 15607 1831 15619 1832 15629 1833 15641 1834 15643 1835 15647 1836 15649 1837 15661 1838 15667 1839 15671 1840 15679 1841 15683 1842 15727 1843 15731 1844 15733 1845 15737 1846 15739 1847 15749 1848 15761 1849 15767 1850 15773 1851 15787 1852 15791 1853 15797 1854 15803 1855 15809 1856 15817 1857 15823 1858 15859 1859 15877 1860 15881 1861 15887 1862 15889 1863 15901 1864 15907 1865 15913 1866 15919 1867 15923 1868 15937 1869 15959 1870 15971 1871 15973 1872 15991 1873 16001 1874 16007 1875 16033 1876 16057 1877 16061 1878 16063 1879 16067 1880 16069 1881 16073 1882 16087 1883 16091 1884 16097 1885 16103 1886 16111 1887 16127 1888 16139 1889 16141 1890 16183 1891 16187 1892 16189 1893 16193 1894 16217 1895 16223 1896 16229 1897 16231 1898 16249 1899 16253 1900 16267 1901 16273 1902 16301 1903 16319 1904 16333 1905 16339 1906 16349 1907 16361 1908 16363 1909 16369 1910 16381 1911 16411 1912 16417 1913 16421 1914 16427 1915 16433 1916 16447 1917 16451 1918 16453 1919 16477 1920 16481 1921 16487 1922 16493 1923 16519 1924 16529 1925 16547 1926 16553 1927 16561 1928 16567 1929 16573 1930 16603 1931 16607 1932 16619 1933 16631 1934 16633 1935 16649 1936 16651 1937 16657 1938 16661 1939 16673 1940 16691 1941 16693 1942 16699 1943 16703 1944 16729 1945 16741 1946 16747 1947 16759 1948 16763 1949 16787 1950 16811 1951 16823 1952 16829 1953 16831 1954 16843 1955 16871 1956 16879 1957 16883 1958 16889 1959 16901 1960 16903 1961 16921 1962 16927 1963 16931 1964 16937 1965 16943 1966 16963 1967 16979 1968 16981 1969 16987 1970 16993 1971 17011 1972 17021 1973 17027 1974 17029 1975 17033 1976 17041 1977 17047 1978 17053 1979 17077 1980 17093 1981 17099 1982 17107 1983 17117 1984 17123 1985 17137 1986 17159 1987 17167 1988 17183 1989 17189 1990 17191 1991 17203 1992 17207 1993 17209 1994 17231 1995 17239 1996 17257 1997 17291 1998 17293 1999 17299 2000 17317 2001 17321 2002 17327 2003 17333 2004 17341 2005 17351 2006 17359 2007 17377 2008 17383 2009 17387 2010 17389 2011 17393 2012 17401 2013 17417 2014 17419 2015 17431 2016 17443 2017 17449 2018 17467 2019 17471 2020 17477 2021 17483 2022 17489 2023 17491 2024 17497 2025 17509 2026 17519 2027 17539 2028 17551 2029 17569 2030 17573 2031 17579 2032 17581 2033 17597 2034 17599 2035 17609 2036 17623 2037 17627 2038 17657 2039 17659 2040 17669 2041 17681 2042 17683 2043 17707 2044 17713 2045 17729 2046 17737 2047 17747 2048 17749 2049 17761 2050 17783 2051 17789 2052 17791 2053 17807 2054 17827 2055 17837 2056 17839 2057 17851 2058 17863 2059 17881 2060 17891 2061 17903 2062 17909 2063 17911 2064 17921 2065 17923 2066 17929 2067 17939 2068 17957 2069 17959 2070 17971 2071 17977 2072 17981 2073 17987 2074 17989 2075 18013 2076 18041 2077 18043 2078 18047 2079 18049 2080 18059 2081 18061 2082 18077 2083 18089 2084 18097 2085 18119 2086 18121 2087 18127 2088 18131 2089 18133 2090 18143 2091 18149 2092 18169 2093 18181 2094 18191 2095 18199 2096 18211 2097 18217 2098 18223 2099 18229 2100 18233 2101 18251 2102 18253 2103 18257 2104 18269 2105 18287 2106 18289 2107 18301 2108 18307 2109 18311 2110 18313 2111 18329 2112 18341 2113 18353 2114 18367 2115 18371 2116 18379 2117 18397 2118 18401 2119 18413 2120 18427 2121 18433 2122 18439 2123 18443 2124 18451 2125 18457 2126 18461 2127 18481 2128 18493 2129 18503 2130 18517 2131 18521 2132 18523 2133 18539 2134 18541 2135 18553 2136 18583 2137 18587 2138 18593 2139 18617 2140 18637 2141 18661 2142 18671 2143 18679 2144 18691 2145 18701 2146 18713 2147 18719 2148 18731 2149 18743 2150 18749 2151 18757 2152 18773 2153 18787 2154 18793 2155 18797 2156 18803 2157 18839 2158 18859 2159 18869 2160 18899 2161 18911 2162 18913 2163 18917 2164 18919 2165 18947 2166 18959 2167 18973 2168 18979 2169 19001 2170 19009 2171 19013 2172 19031 2173 19037 2174 19051 2175 19069 2176 19073 2177 19079 2178 19081 2179 19087 2180 19121 2181 19139 2182 19141 2183 19157 2184 19163 2185 19181 2186 19183 2187 19207 2188 19211 2189 19213 2190 19219 2191 19231 2192 19237 2193 19249 2194 19259 2195 19267 2196 19273 2197 19289 2198 19301 2199 19309 2200 19319 2201 19333 2202 19373 2203 1475979915214180235084898622737381736312066145333169775147771216478570297878078949377407337049389289382748507531496480477281264838760259191814463365330269540496961201113430156902396093989090226259326935025281409614983499388222831448598601834318536230923772641390209490231836446899608210795482963763094236630945410832793769905399982457186322944729636418890623372171723742105636440368218459649632948538696905872650486914434637457507280441823676813517852099348660847172579408422316678097670224011990280170474894487426924742108823536808485072502240519452587542875349976558572670229633962575212637477897785501552646522609988869914013540483809865681250419497686697771007 2204 19379 2205 19381 2206 19387 2207 19391 2208 19403 2209 19417 2210 19421 2211 19423 2212 19427 2213 19429 2214 19433 2215 19441 2216 19447 2217 19457 2218 19463 2219 19469 2220 19471 2221 19477 2222 19483 2223 19489 2224 19501 2225 19507 2226 19531 2227 19541 2228 19543 2229 19553 2230 19559 2231 19571 2232 19577 2233 19583 2234 19597 2235 19603 2236 19609 2237 19661 2238 19681 2239 19687 2240 19697 2241 19699 2242 19709 2243 19717 2244 19727 2245 19739 2246 19751 2247 19753 2248 19759 2249 19763 2250 19777 2251 19793 2252 19801 2253 19813 2254 19819 2255 19841 2256 19843 2257 19853 2258 19861 2259 19867 2260 19889 2261 19891 2262 19913 2263 19919 2264 19927 2265 19937 2266 19949 2267 19961 2268 19963 2269 19973 2270 19979 2271 19991 2272 19993 2273 19997 2274 20011 2275 20021 2276 20023 2277 20029 2278 20047 2279 20051 2280 20063 2281 446087557183758429571151706402101809886208632412859901111991219963404685792820473369112545269003989026153245931124316702395758705693679364790903497461147071065254193353938124978226307947312410798874869040070279328428810311754844108094878252494866760969586998128982645877596028979171536962503068429617331702184750324583009171832104916050157628886606372145501702225925125224076829605427173573964812995250569412480720738476855293681666712844831190877620606786663862190240118570736831901886479225810414714078935386562497968178729127629594924411960961386713946279899275006954917139758796061223803393537381034666494402951052059047968693255388647930440925104186817009640171764133172418132836351 2282 20071 2283 20089 2284 20101 2285 20107 2286 20113 2287 20117 2288 20123 2289 20129 2290 20143 2291 20147 2292 20149 2293 20161 2294 20173 2295 20177 2296 20183 2297 20201 2298 20219 2299 20231 2300 20233 2301 20249 2302 20261 2303 20269 2304 20287 2305 20297 2306 20323 2307 20327 2308 20333 2309 20341 2310 20347 2311 20353 2312 20357 2313 20359 2314 20369 2315 20389 2316 20393 2317 20399 2318 20407 2319 20411 2320 20431 2321 20441 2322 20443 2323 20477 2324 20479 2325 20483 2326 20507 2327 20509 2328 20521 2329 20533 2330 20543 2331 20549 2332 20551 2333 20563 2334 20593 2335 20599 2336 20611 2337 20627 2338 20639 2339 20641 2340 20663 2341 20681 2342 20693 2343 20707 2344 20717 2345 20719 2346 20731 2347 20743 2348 20747 2349 20749 2350 20753 2351 20759 2352 20771 2353 20773 2354 20789 2355 20807 2356 20809 2357 20849 2358 20857 2359 20873 2360 20879 2361 20887 2362 20897 2363 20899 2364 20903 2365 20921 2366 20929 2367 20939 2368 20947 2369 20959 2370 20963 2371 20981 2372 20983 2373 21001 2374 21011 2375 21013 2376 21017 2377 21019 2378 21023 2379 21031 2380 21059 2381 21061 2382 21067 2383 21089 2384 21101 2385 21107 2386 21121 2387 21139 2388 21143 2389 21149 2390 21157 2391 21163 2392 21169 2393 21179 2394 21187 2395 21191 2396 21193 2397 21211 2398 21221 2399 21227 2400 21247 2401 21269 2402 21277 2403 21283 2404 21313 2405 21317 2406 21319 2407 21323 2408 21341 2409 21347 2410 21377 2411 21379 2412 21383 2413 21391 2414 21397 2415 21401 2416 21407 2417 21419 2418 21433 2419 21467 2420 21481 2421 21487 2422 21491 2423 21493 2424 21499 2425 21503 2426 21517 2427 21521 2428 21523 2429 21529 2430 21557 2431 21559 2432 21563 2433 21569 2434 21577 2435 21587 2436 21589 2437 21599 2438 21601 2439 21611 2440 21613 2441 21617 2442 21647 2443 21649 2444 21661 2445 21673 2446 21683 2447 21701 2448 21713 2449 21727 2450 21737 2451 21739 2452 21751 2453 21757 2454 21767 2455 21773 2456 21787 2457 21799 2458 21803 2459 21817 2460 21821 2461 21839 2462 21841 2463 21851 2464 21859 2465 21863 2466 21871 2467 21881 2468 21893 2469 21911 2470 21929 2471 21937 2472 21943 2473 21961 2474 21977 2475 21991 2476 21997 2477 22003 2478 22013 2479 22027 2480 22031 2481 22037 2482 22039 2483 22051 2484 22063 2485 22067 2486 22073 2487 22079 2488 22091 2489 22093 2490 22109 2491 22111 2492 22123 2493 22129 2494 22133 2495 22147 2496 22153 2497 22157 2498 22159 2499 22171 2500 22189 2501 22193 2502 22229 2503 22247 2504 22259 2505 22271 2506 22273 2507 22277 2508 22279 2509 22283 2510 22291 2511 22303 2512 22307 2513 22343 2514 22349 2515 22367 2516 22369 2517 22381 2518 22391 2519 22397 2520 22409 2521 22433 2522 22441 2523 22447 2524 22453 2525 22469 2526 22481 2527 22483 2528 22501 2529 22511 2530 22531 2531 22541 2532 22543 2533 22549 2534 22567 2535 22571 2536 22573 2537 22613 2538 22619 2539 22621 2540 22637 2541 22639 2542 22643 2543 22651 2544 22669 2545 22679 2546 22691 2547 22697 2548 22699 2549 22709 2550 22717 2551 22721 2552 22727 2553 22739 2554 22741 2555 22751 2556 22769 2557 22777 2558 22783 2559 22787 2560 22807 2561 22811 2562 22817 2563 22853 2564 22859 2565 22861 2566 22871 2567 22877 2568 22901 2569 22907 2570 22921 2571 22937 2572 22943 2573 22961 2574 22963 2575 22973 2576 22993 2577 23003 2578 23011 2579 23017 2580 23021 2581 23027 2582 23029 2583 23039 2584 23041 2585 23053 2586 23057 2587 23059 2588 23063 2589 23071 2590 23081 2591 23087 2592 23099 2593 23117 2594 23131 2595 23143 2596 23159 2597 23167 2598 23173 2599 23189 2600 23197 2601 23201 2602 23203 2603 23209 2604 23227 2605 23251 2606 23269 2607 23279 2608 23291 2609 23293 2610 23297 2611 23311 2612 23321 2613 23327 2614 23333 2615 23339 2616 23357 2617 23369 2618 23371 2619 23399 2620 23417 2621 23431 2622 23447 2623 23459 2624 23473 2625 23497 2626 23509 2627 23531 2628 23537 2629 23539 2630 23549 2631 23557 2632 23561 2633 23563 2634 23567 2635 23581 2636 23593 2637 23599 2638 23603 2639 23609 2640 23623 2641 23627 2642 23629 2643 23633 2644 23663 2645 23669 2646 23671 2647 23677 2648 23687 2649 23689 2650 23719 2651 23741 2652 23743 2653 23747 2654 23753 2655 23761 2656 23767 2657 23773 2658 23789 2659 23801 2660 23813 2661 23819 2662 23827 2663 23831 2664 23833 2665 23857 2666 23869 2667 23873 2668 23879 2669 23887 2670 23893 2671 23899 2672 23909 2673 23911 2674 23917 2675 23929 2676 23957 2677 23971 2678 23977 2679 23981 2680 23993 2681 24001 2682 24007 2683 24019 2684 24023 2685 24029 2686 24043 2687 24049 2688 24061 2689 24071 2690 24077 2691 24083 2692 24091 2693 24097 2694 24103 2695 24107 2696 24109 2697 24113 2698 24121 2699 24133 2700 24137 2701 24151 2702 24169 2703 24179 2704 24181 2705 24197 2706 24203 2707 24223 2708 24229 2709 24239 2710 24247 2711 24251 2712 24281 2713 24317 2714 24329 2715 24337 2716 24359 2717 24371 2718 24373 2719 24379 2720 24391 2721 24407 2722 24413 2723 24419 2724 24421 2725 24439 2726 24443 2727 24469 2728 24473 2729 24481 2730 24499 2731 24509 2732 24517 2733 24527 2734 24533 2735 24547 2736 24551 2737 24571 2738 24593 2739 24611 2740 24623 2741 24631 2742 24659 2743 24671 2744 24677 2745 24683 2746 24691 2747 24697 2748 24709 2749 24733 2750 24749 2751 24763 2752 24767 2753 24781 2754 24793 2755 24799 2756 24809 2757 24821 2758 24841 2759 24847 2760 24851 2761 24859 2762 24877 2763 24889 2764 24907 2765 24917 2766 24919 2767 24923 2768 24943 2769 24953 2770 24967 2771 24971 2772 24977 2773 24979 2774 24989 2775 25013 2776 25031 2777 25033 2778 25037 2779 25057 2780 25073 2781 25087 2782 25097 2783 25111 2784 25117 2785 25121 2786 25127 2787 25147 2788 25153 2789 25163 2790 25169 2791 25171 2792 25183 2793 25189 2794 25219 2795 25229 2796 25237 2797 25243 2798 25247 2799 25253 2800 25261 2801 25301 2802 25303 2803 25307 2804 25309 2805 25321 2806 25339 2807 25343 2808 25349 2809 25357 2810 25367 2811 25373 2812 25391 2813 25409 2814 25411 2815 25423 2816 25439 2817 25447 2818 25453 2819 25457 2820 25463 2821 25469 2822 25471 2823 25523 2824 25537 2825 25541 2826 25561 2827 25577 2828 25579 2829 25583 2830 25589 2831 25601 2832 25603 2833 25609 2834 25621 2835 25633 2836 25639 2837 25643 2838 25657 2839 25667 2840 25673 2841 25679 2842 25693 2843 25703 2844 25717 2845 25733 2846 25741 2847 25747 2848 25759 2849 25763 2850 25771 2851 25793 2852 25799 2853 25801 2854 25819 2855 25841 2856 25847 2857 25849 2858 25867 2859 25873 2860 25889 2861 25903 2862 25913 2863 25919 2864 25931 2865 25933 2866 25939 2867 25943 2868 25951 2869 25969 2870 25981 2871 25997 2872 25999 2873 26003 2874 26017 2875 26021 2876 26029 2877 26041 2878 26053 2879 26083 2880 26099 2881 26107 2882 26111 2883 26113 2884 26119 2885 26141 2886 26153 2887 26161 2888 26171 2889 26177 2890 26183 2891 26189 2892 26203 2893 26209 2894 26227 2895 26237 2896 26249 2897 26251 2898 26261 2899 26263 2900 26267 2901 26293 2902 26297 2903 26309 2904 26317 2905 26321 2906 26339 2907 26347 2908 26357 2909 26371 2910 26387 2911 26393 2912 26399 2913 26407 2914 26417 2915 26423 2916 26431 2917 26437 2918 26449 2919 26459 2920 26479 2921 26489 2922 26497 2923 26501 2924 26513 2925 26539 2926 26557 2927 26561 2928 26573 2929 26591 2930 26597 2931 26627 2932 26633 2933 26641 2934 26647 2935 26669 2936 26681 2937 26683 2938 26687 2939 26693 2940 26699 2941 26701 2942 26711 2943 26713 2944 26717 2945 26723 2946 26729 2947 26731 2948 26737 2949 26759 2950 26777 2951 26783 2952 26801 2953 26813 2954 26821 2955 26833 2956 26839 2957 26849 2958 26861 2959 26863 2960 26879 2961 26881 2962 26891 2963 26893 2964 26903 2965 26921 2966 26927 2967 26947 2968 26951 2969 26953 2970 26959 2971 26981 2972 26987 2973 26993 2974 27011 2975 27017 2976 27031 2977 27043 2978 27059 2979 27061 2980 27067 2981 27073 2982 27077 2983 27091 2984 27103 2985 27107 2986 27109 2987 27127 2988 27143 2989 27179 2990 27191 2991 27197 2992 27211 2993 27239 2994 27241 2995 27253 2996 27259 2997 27271 2998 27277 2999 27281 3000 27283 3001 27299 3002 27329 3003 27337 3004 27361 3005 27367 3006 27397 3007 27407 3008 27409 3009 27427 3010 27431 3011 27437 3012 27449 3013 27457 3014 27479 3015 27481 3016 27487 3017 27509 3018 27527 3019 27529 3020 27539 3021 27541 3022 27551 3023 27581 3024 27583 3025 27611 3026 27617 3027 27631 3028 27647 3029 27653 3030 27673 3031 27689 3032 27691 3033 27697 3034 27701 3035 27733 3036 27737 3037 27739 3038 27743 3039 27749 3040 27751 3041 27763 3042 27767 3043 27773 3044 27779 3045 27791 3046 27793 3047 27799 3048 27803 3049 27809 3050 27817 3051 27823 3052 27827 3053 27847 3054 27851 3055 27883 3056 27893 3057 27901 3058 27917 3059 27919 3060 27941 3061 27943 3062 27947 3063 27953 3064 27961 3065 27967 3066 27983 3067 27997 3068 28001 3069 28019 3070 28027 3071 28031 3072 28051 3073 28057 3074 28069 3075 28081 3076 28087 3077 28097 3078 28099 3079 28109 3080 28111 3081 28123 3082 28151 3083 28163 3084 28181 3085 28183 3086 28201 3087 28211 3088 28219 3089 28229 3090 28277 3091 28279 3092 28283 3093 28289 3094 28297 3095 28307 3096 28309 3097 28319 3098 28349 3099 28351 3100 28387 3101 28393 3102 28403 3103 28409 3104 28411 3105 28429 3106 28433 3107 28439 3108 28447 3109 28463 3110 28477 3111 28493 3112 28499 3113 28513 3114 28517 3115 28537 3116 28541 3117 28547 3118 28549 3119 28559 3120 28571 3121 28573 3122 28579 3123 28591 3124 28597 3125 28603 3126 28607 3127 28619 3128 28621 3129 28627 3130 28631 3131 28643 3132 28649 3133 28657 3134 28661 3135 28663 3136 28669 3137 28687 3138 28697 3139 28703 3140 28711 3141 28723 3142 28729 3143 28751 3144 28753 3145 28759 3146 28771 3147 28789 3148 28793 3149 28807 3150 28813 3151 28817 3152 28837 3153 28843 3154 28859 3155 28867 3156 28871 3157 28879 3158 28901 3159 28909 3160 28921 3161 28927 3162 28933 3163 28949 3164 28961 3165 28979 3166 29009 3167 29017 3168 29021 3169 29023 3170 29027 3171 29033 3172 29059 3173 29063 3174 29077 3175 29101 3176 29123 3177 29129 3178 29131 3179 29137 3180 29147 3181 29153 3182 29167 3183 29173 3184 29179 3185 29191 3186 29201 3187 29207 3188 29209 3189 29221 3190 29231 3191 29243 3192 29251 3193 29269 3194 29287 3195 29297 3196 29303 3197 29311 3198 29327 3199 29333 3200 29339 3201 29347 3202 29363 3203 29383 3204 29387 3205 29389 3206 29399 3207 29401 3208 29411 3209 29423 3210 29429 3211 29437 3212 29443 3213 29453 3214 29473 3215 29483 3216 29501 3217 259117086013202627776246767922441530941818887553125427303974923161874019266586362086201209516800483406550695241733194177441689509238807017410377709597512042313066624082916353517952311186154862265604547691127595848775610568757931191017711408826252153849035830401185072116424747461823031471398340229288074545677907941037288235820705892351068433882986888616658650280927692080339605869308790500409503709875902119018371991620994002568935113136548829739112656797303241986517250116412703509705427773477972349821676443446668383119322540099648994051790241624056519054483690809616061625743042361721863339415852426431208737266591962061753535748892894599629195183082621860853400937932839420261866586142503251450773096274235376822938649407127700846077124211823080804139298087057504713825264571448379371125032081826126566649084251699453951887789613650248405739378594599444335231188280123660406262468609212150349937584782292237144339628858485938215738821232393687046160677362909315071