# -- Jonathan Frech, 2020-10-21 # a086136 = filter (\p -> isPrime (p+12) && primeAfter p /= p+12) primes # primes = sieve [2..] # where sieve (p:ns) = (p :) . filter ((/= 0) . (`mod` p)) $ sieve ns # primeAfter n = head . dropWhile (<= n) $ primes # isPrime n = n `elem` takeWhile (<= n) primes # bFileLines = uncurry format <$> zip [1..] a086136 # where format j a = show j ++ " " ++ show a # main = putStr . unlines . take 1000 $ bFileLines 1 5 2 7 3 11 4 17 5 19 6 29 7 31 8 41 9 47 10 59 11 61 12 67 13 71 14 89 15 97 16 101 17 127 18 137 19 139 20 151 21 167 22 179 23 181 24 227 25 229 26 239 27 251 28 257 29 269 30 271 31 281 32 337 33 347 34 367 35 389 36 397 37 409 38 419 39 421 40 431 41 449 42 479 43 487 44 491 45 557 46 587 47 601 48 607 49 631 50 641 51 647 52 727 53 739 54 757 55 761 56 809 57 811 58 827 59 907 60 929 61 941 62 971 63 1009 64 1019 65 1021 66 1039 67 1049 68 1051 69 1091 70 1097 71 1117 72 1151 73 1181 74 1217 75 1277 76 1279 77 1289 78 1291 79 1361 80 1427 81 1439 82 1447 83 1471 84 1481 85 1487 86 1559 87 1567 88 1571 89 1597 90 1601 91 1607 92 1609 93 1657 94 1697 95 1721 96 1741 97 1747 98 1777 99 1861 100 1867 101 1877 102 1901 103 1987 104 1999 105 2017 106 2027 107 2087 108 2129 109 2131 110 2141 111 2239 112 2269 113 2281 114 2339 115 2371 116 2377 117 2381 118 2411 119 2531 120 2539 121 2609 122 2647 123 2659 124 2671 125 2677 126 2687 127 2699 128 2707 129 2719 130 2729 131 2741 132 2789 133 2791 134 2897 135 2957 136 2999 137 3011 138 3037 139 3109 140 3209 141 3217 142 3301 143 3307 144 3319 145 3359 146 3361 147 3449 148 3457 149 3517 150 3527 151 3529 152 3547 153 3571 154 3581 155 3631 156 3697 157 3727 158 3767 159 3821 160 3851 161 3877 162 3907 163 3911 164 3917 165 3919 166 4001 167 4007 168 4127 169 4217 170 4219 171 4229 172 4231 173 4241 174 4259 175 4261 176 4271 177 4327 178 4337 179 4451 180 4481 181 4507 182 4591 183 4637 184 4639 185 4651 186 4721 187 4787 188 4789 189 4931 190 4957 191 4987 192 4999 193 5009 194 5011 195 5101 196 5107 197 5167 198 5297 199 5381 200 5387 201 5407 202 5431 203 5437 204 5471 205 5519 206 5557 207 5569 208 5639 209 5641 210 5647 211 5657 212 5689 213 5737 214 5779 215 5801 216 5839 217 5849 218 5857 219 5867 220 5869 221 6067 222 6079 223 6089 224 6121 225 6131 226 6199 227 6217 228 6257 229 6299 230 6311 231 6317 232 6361 233 6367 234 6469 235 6551 236 6569 237 6679 238 6689 239 6691 240 6779 241 6781 242 6791 243 6829 244 6857 245 6899 246 6947 247 6949 248 6959 249 6971 250 7207 251 7297 252 7321 253 7477 254 7487 255 7517 256 7529 257 7537 258 7547 259 7549 260 7577 261 7669 262 7687 263 7691 264 7817 265 7867 266 8081 267 8089 268 8111 269 8167 270 8209 271 8219 272 8221 273 8231 274 8377 275 8419 276 8527 277 8597 278 8669 279 8677 280 8681 281 8707 282 8741 283 8819 284 8837 285 8929 286 8999 287 9001 288 9281 289 9311 290 9337 291 9391 292 9419 293 9421 294 9461 295 9467 296 9539 297 9619 298 9677 299 9929 300 10067 301 10091 302 10099 303 10139 304 10151 305 10169 306 10247 307 10259 308 10301 309 10321 310 10331 311 10589 312 10601 313 10627 314 10651 315 10847 316 10937 317 11047 318 11057 319 11059 320 11149 321 11159 322 11161 323 11239 324 11317 325 11491 326 11677 327 11689 328 11777 329 11801 330 11821 331 11827 332 11897 333 11927 334 11959 335 11969 336 12037 337 12097 338 12101 339 12107 340 12149 341 12239 342 12241 343 12251 344 12269 345 12277 346 12401 347 12409 348 12479 349 12491 350 12541 351 12577 352 12601 353 12641 354 12647 355 12899 356 12907 357 12911 358 12967 359 13037 360 13147 361 13151 362 13159 363 13171 364 13217 365 13327 366 13451 367 13457 368 13669 369 13679 370 13681 371 13709 372 13711 373 13751 374 13829 375 13901 376 13921 377 13997 378 13999 379 14071 380 14407 381 14411 382 14419 383 14437 384 14537 385 14549 386 14551 387 14621 388 14627 389 14741 390 14747 391 14759 392 14767 393 14771 394 14867 395 14879 396 14939 397 15137 398 15187 399 15259 400 15277 401 15287 402 15307 403 15319 404 15349 405 15439 406 15461 407 15667 408 15671 409 15727 410 15737 411 15761 412 15791 413 15797 414 15877 415 15901 416 15907 417 16057 418 16061 419 16091 420 16217 421 16421 422 16481 423 16561 424 16649 425 16691 426 16871 427 16931 428 16981 429 17021 430 17029 431 17041 432 17321 433 17377 434 17389 435 17471 436 17477 437 17569 438 17597 439 17657 440 17737 441 17827 442 17909 443 17911 444 17977 445 18047 446 18049 447 18119 448 18121 449 18131 450 18211 451 18217 452 18301 453 18367 454 18427 455 18439 456 19001 457 19069 458 19207 459 19379 460 19417 461 19421 462 19429 463 19457 464 19471 465 19477 466 19531 467 19541 468 19571 469 19597 470 19687 471 19697 472 19751 473 19841 474 19961 475 20011 476 20101 477 20117 478 20341 479 20347 480 20357 481 20399 482 20431 483 20707 484 20747 485 20887 486 21001 487 21011 488 21019 489 21157 490 21179 491 21379 492 21481 493 21487 494 21491 495 21517 496 21557 497 21577 498 21587 499 21589 500 21599 501 21601 502 21727 503 21839 504 21851 505 21859 506 21991 507 22027 508 22067 509 22147 510 22271 511 22279 512 22441 513 22531 514 22639 515 22697 516 22709 517 22739 518 22859 519 22961 520 23017 521 23027 522 23029 523 23059 524 23189 525 23197 526 23321 527 23327 528 23537 529 23549 530 23677 531 23741 532 23761 533 23819 534 23887 535 23899 536 24071 537 24091 538 24097 539 24109 540 24169 541 24239 542 24407 543 24469 544 24671 545 24847 546 24907 547 24967 548 24977 549 25457 550 25577 551 25667 552 25759 553 25931 554 25939 555 26017 556 26099 557 26107 558 26171 559 26177 560 26249 561 26251 562 26309 563 26387 564 26489 565 26681 566 26687 567 26699 568 26701 569 26711 570 26717 571 26879 572 26881 573 26891 574 26947 575 26981 576 27061 577 27271 578 27397 579 27527 580 27529 581 27539 582 27689 583 27737 584 27739 585 27767 586 27791 587 27941 588 28019 589 28087 590 28097 591 28099 592 28277 593 28297 594 28307 595 28537 596 28547 597 28591 598 28619 599 28649 600 28657 601 28859 602 28867 603 28921 604 29009 605 29021 606 29167 607 29327 608 29387 609 29389 610 29399 611 29569 612 29629 613 29867 614 30091 615 30097 616 30259 617 30307 618 30631 619 30637 620 30829 621 30839 622 30841 623 30859 624 30869 625 30937 626 30971 627 31069 628 31079 629 31139 630 31147 631 31177 632 31181 633 31219 634 31237 635 31247 636 31259 637 31321 638 31379 639 31469 640 31477 641 31531 642 31847 643 32051 644 32057 645 32077 646 32297 647 32359 648 32369 649 32401 650 32411 651 32491 652 32561 653 32609 654 32707 655 32771 656 32789 657 32831 658 32987 659 33071 660 33107 661 33149 662 33179 663 33191 664 33199 665 33347 666 33457 667 33521 668 33569 669 33577 670 33587 671 33589 672 33617 673 33629 674 33739 675 33757 676 33851 677 34147 678 34261 679 34301 680 34499 681 34501 682 34537 683 34667 684 34747 685 34871 686 35099 687 35141 688 35279 689 35311 690 35437 691 35521 692 35531 693 35591 694 35747 695 35797 696 35999 697 36061 698 36097 699 36307 700 36341 701 36457 702 36467 703 36551 704 36559 705 36671 706 36709 707 36779 708 36781 709 36919 710 37049 711 37189 712 37309 713 37357 714 37489 715 37537 716 37561 717 37567 718 37579 719 37951 720 38177 721 38189 722 38317 723 38321 724 38447 725 38449 726 38557 727 38699 728 38711 729 38737 730 38861 731 38921 732 39107 733 39217 734 39227 735 39229 736 39239 737 39359 738 39371 739 39439 740 39499 741 39509 742 39619 743 39659 744 39667 745 39827 746 39829 747 39857 748 39971 749 40087 750 40151 751 40277 752 40487 753 40519 754 40627 755 40697 756 40751 757 40759 758 40841 759 40927 760 41011 761 41039 762 41131 763 41177 764 41201 765 41221 766 41231 767 41257 768 41387 769 41507 770 41597 771 41609 772 41647 773 41759 774 41801 775 41941 776 41947 777 41957 778 42061 779 42071 780 42169 781 42181 782 42281 783 42391 784 42397 785 42451 786 42461 787 42487 788 42677 789 42689 790 42697 791 42829 792 43319 793 43391 794 43399 795 43597 796 43649 797 43777 798 43781 799 43789 800 43951 801 43961 802 44017 803 44111 804 44119 805 44257 806 44267 807 44269 808 44371 809 44531 810 44537 811 44621 812 44699 813 44839 814 44959 815 45119 816 45127 817 45179 818 45281 819 45307 820 45317 821 45329 822 45427 823 45491 824 45587 825 45751 826 45821 827 46049 828 46091 829 46141 830 46171 831 46261 832 46439 833 46499 834 46589 835 46679 836 46807 837 46817 838 46819 839 47111 840 47137 841 47297 842 47351 843 47407 844 47501 845 47521 846 47699 847 47701 848 47797 849 47807 850 47939 851 47969 852 48017 853 48109 854 48119 855 48397 856 48479 857 48527 858 48611 859 48809 860 48847 861 48857 862 48859 863 49031 864 49109 865 49199 866 49451 867 49537 868 49547 869 49627 870 49927 871 50021 872 50111 873 50119 874 50147 875 50261 876 50321 877 50329 878 50411 879 50539 880 50581 881 50587 882 50989 883 51059 884 51229 885 51407 886 51419 887 51427 888 51437 889 51679 890 51817 891 51827 892 51859 893 52057 894 52177 895 52289 896 52379 897 52541 898 52567 899 52571 900 52627 901 52709 902 52721 903 52951 904 53077 905 53089 906 53161 907 53189 908 53267 909 53269 910 53407 911 53611 912 53617 913 53849 914 53887 915 54001 916 54311 917 54319 918 54401 919 54409 920 54437 921 54617 922 54667 923 54709 924 54767 925 54869 926 54907 927 55049 928 55201 929 55207 930 55217 931 55331 932 55339 933 55609 934 55619 935 55621 936 55661 937 55787 938 55807 939 55817 940 55837 941 55889 942 55921 943 55997 944 56081 945 56087 946 56167 947 56197 948 56237 949 56431 950 56467 951 56477 952 56519 953 56531 954 56659 955 56701 956 56767 957 56809 958 56909 959 56911 960 56951 961 57131 962 57191 963 57259 964 57637 965 57641 966 57719 967 57781 968 57791 969 57847 970 58049 971 58061 972 58099 973 58199 974 58231 975 58309 976 58367 977 58391 978 58439 979 58441 980 58537 981 58567 982 58601 983 58687 984 58889 985 58897 986 58901 987 58909 988 59009 989 59011 990 59051 991 59107 992 59197 993 59207 994 59209 995 59357 996 59387 997 59407 998 59441 999 59617 1000 59651