# Maple code from Robert Israel, Feb 21 2017 # bfile:= "b282042.txt": # f:= proc(p) convert(select(t -> numtheory:-legendre(t,p)=-1, [$(p+1)/2..p-1]),`+`) end proc: # count:= 0: # for k from 0 while count < 1000 do # if isprime(8*k+7) then # count:= count+1; # fprintf(bfile,"%d %d\n",count,f(8*k+7)) # fi # od: # fclose(bfile); 1 11 2 128 3 219 4 520 5 1176 6 1348 7 2221 8 3310 9 4766 10 6106 11 8034 12 8271 13 10049 14 12443 15 14613 16 15193 17 21012 18 27486 19 26814 20 30664 21 39248 22 39318 23 41699 24 48888 25 46052 26 52595 27 74613 28 72878 29 78599 30 85768 31 107895 32 103643 33 111125 34 111195 35 130497 36 145619 37 148490 38 160159 39 169503 40 166856 41 180406 42 194204 43 192316 44 217090 45 214099 46 221702 47 226164 48 240523 49 271708 50 301546 51 300441 52 321109 53 325180 54 355553 55 339795 56 367125 57 385512 58 385722 59 415961 60 408868 61 422269 62 441732 63 464727 64 460682 65 495080 66 471765 67 495578 68 505502 69 532264 70 603447 71 610789 72 663686 73 645542 74 678888 75 698000 76 686892 77 745404 78 775737 79 824903 80 843896 81 852670 82 886752 83 874478 84 955769 85 978583 86 1013284 87 1034317 88 1109819 89 1098712 90 1149271 91 1140173 92 1167372 93 1200345 94 1256401 95 1271833 96 1331936 97 1332930 98 1386258 99 1367719 100 1421591 101 1449199 102 1441240 103 1463916 104 1514292 105 1635452 106 1598135 107 1665052 108 1651011 109 1795089 110 1783759 111 1839895 112 1930856 113 1963738 114 2018507 115 2049486 116 2132665 117 2126357 118 2230586 119 2217926 120 2272682 121 2280602 122 2382433 123 2446195 124 2454153 125 2458162 126 2472824 127 2541761 128 2549189 129 2674553 130 2716962 131 2661311 132 2733194 133 2794852 134 2818168 135 2914875 136 3029314 137 2955171 138 2967354 139 3015168 140 3123707 141 3292008 142 3247947 143 3293604 144 3306665 145 3463338 146 3558010 147 3550574 148 3787512 149 3739923 150 3744652 151 3856311 152 3893401 153 3984993 154 4076865 155 4063322 156 4152195 157 4152693 158 4316670 159 4322351 160 4447233 161 4376198 162 4343263 163 4468169 164 4454484 165 4669158 166 4572354 167 4759440 168 4715931 169 4671578 170 4771114 171 4766859 172 4792256 173 4968769 174 5026274 175 5011821 176 5089818 177 5325485 178 5453537 179 5417346 180 5616209 181 5677386 182 5596583 183 5683881 184 5805073 185 5745074 186 5745476 187 5977422 188 5778824 189 6136472 190 6019773 191 6206072 192 6036996 193 6425232 194 6265972 195 6422383 196 6382044 197 6510010 198 6499172 199 6775915 200 6747498 201 6795676 202 6845352 203 7069321 204 7100652 205 7199980 206 7273942 207 7324506 208 7449938 209 7594279 210 7531863 211 7569941 212 7747147 213 7646883 214 7901455 215 7717202 216 8428271 217 8523021 218 8331840 219 8546198 220 8499823 221 8815748 222 8920403 223 8839623 224 9107630 225 9004875 226 9254261 227 9409003 228 9214293 229 9340199 230 9410323 231 9439739 232 9695133 233 9731554 234 9803634 235 9890280 236 9840493 237 9841609 238 10015807 239 10251429 240 10751800 241 11146218 242 11018573 243 11049175 244 11186569 245 11057930 246 11188909 247 11435585 248 11505986 249 11476046 250 11766281 251 11830811 252 12140322 253 11966302 254 12054213 255 12569479 256 12587921 257 12823998 258 12638943 259 12803045 260 13141306 261 12977558 262 13060830 263 13202543 264 13649998 265 13574437 266 13794479 267 13814273 268 14096484 269 14132994 270 14159505 271 14151356 272 14359464 273 14482804 274 14782338 275 14897591 276 15101562 277 14987077 278 14854942 279 14997368 280 15624530 281 15627326 282 15366505 283 15794274 284 15876987 285 16005671 286 16098825 287 16644636 288 16704516 289 16471915 290 16603095 291 16791695 292 17103708 293 17056863 294 17000871 295 17323465 296 17286837 297 17717702 298 17817586 299 17760166 300 17906755 301 18354939 302 18307706 303 18318619 304 18554557 305 18596325 306 18508742 307 18696935 308 18818319 309 19159027 310 19240371 311 19725233 312 19393340 313 19605861 314 19790009 315 19637982 316 19996827 317 20223095 318 20357764 319 20163615 320 20278098 321 21037229 322 20476281 323 21094062 324 21042821 325 21709964 326 21139944 327 21469231 328 21927102 329 21619113 330 21555921 331 21684591 332 21856465 333 22689374 334 22312537 335 22399733 336 22509925 337 23105491 338 23271934 339 23582742 340 23595213 341 23853060 342 24080260 343 24442298 344 24183103 345 24398534 346 24774267 347 24445704 348 25164005 349 25074199 350 24926558 351 25489279 352 25008241 353 25595938 354 25262141 355 25343616 356 25987615 357 26081937 358 26589076 359 26802628 360 27064152 361 26638490 362 26567930 363 26770267 364 27044360 365 27164488 366 27380878 367 27238630 368 28168433 369 28353158 370 28378950 371 29068390 372 28837211 373 28790819 374 29175384 375 30187481 376 29551266 377 29939215 378 29614319 379 29865151 380 29916869 381 30751971 382 30930703 383 30602321 384 31061859 385 31357936 386 31307154 387 31128634 388 32317040 389 31723412 390 32126171 391 31763477 392 32257075 393 32102089 394 32325210 395 33046585 396 32759249 397 33430664 398 33010174 399 32800128 400 33758124 401 34160204 402 34014199 403 34513242 404 34648946 405 34786636 406 35099607 407 36086057 408 35333846 409 35855122 410 36626648 411 35884332 412 36409524 413 36189010 414 36397141 415 36703883 416 36579662 417 37125159 418 37378205 419 37507130 420 38070998 421 38031411 422 38810704 423 38416616 424 39019478 425 39335674 426 39310400 427 39815593 428 39657290 429 39831282 430 39818155 431 39760881 432 40530696 433 40314105 434 40387210 435 40987031 436 41165783 437 42174765 438 41156552 439 41836814 440 42284108 441 42584628 442 41855731 443 43291555 444 42395335 445 42861836 446 43834866 447 44675755 448 44202864 449 44860657 450 44663502 451 45079625 452 45173141 453 45127374 454 45144601 455 45611065 456 45751276 457 46529564 458 45954479 459 45892909 460 45971394 461 46519509 462 47350906 463 46708721 464 46946078 465 47404471 466 48289865 467 47422520 468 48186264 469 47917185 470 49114820 471 48781545 472 49102473 473 48768272 474 48833094 475 49751225 476 49397333 477 49494771 478 49642364 479 49886739 480 50162920 481 51177404 482 51151198 483 51728993 484 52077180 485 51996565 486 52695049 487 53378234 488 53083178 489 53168975 490 53859886 491 53893914 492 54705272 493 53946339 494 54166720 495 54032042 496 54964151 497 54986164 498 56565716 499 55776656 500 56361314 501 56189858 502 56070085 503 56622143 504 56657051 505 57214837 506 57892696 507 57407298 508 56991252 509 57584398 510 58825949 511 59110201 512 58428376 513 58816958 514 58606388 515 60614467 516 59778872 517 60687369 518 60600198 519 60547755 520 60853416 521 60979119 522 61070702 523 62064761 524 63408573 525 61959219 526 62685199 527 63978884 528 62924180 529 62888712 530 63713051 531 64648130 532 63789739 533 64141214 534 65048453 535 65311115 536 66656637 537 66208883 538 67333413 539 66998025 540 67925192 541 68572468 542 68213637 543 69239453 544 69835444 545 69362897 546 69096133 547 69539574 548 69616972 549 70175121 550 71858228 551 71554002 552 71536123 553 71420323 554 72257604 555 71790794 556 72241921 557 73122544 558 72869567 559 73463271 560 73622397 561 74827898 562 74196280 563 75733283 564 75195780 565 76916622 566 75698203 567 76139759 568 76782355 569 76301161 570 76605088 571 77130596 572 78588584 573 77659904 574 78717578 575 78821141 576 79496178 577 78496801 578 79048816 579 79398363 580 80570930 581 80139909 582 80759667 583 81711091 584 81361854 585 81799907 586 81116798 587 82383389 588 82781950 589 83642579 590 82473625 591 83017571 592 83292376 593 83272347 594 83777969 595 84198923 596 84985610 597 85729515 598 85138057 599 86183390 600 87211902 601 86720451 602 87320491 603 87002206 604 88271159 605 88209996 606 89399611 607 89186993 608 89538325 609 89430596 610 89648750 611 89845941 612 91550453 613 91071693 614 90809759 615 91819415 616 91009964 617 91560903 618 93016259 619 92466002 620 92070278 621 93218918 622 92535917 623 92781118 624 93783619 625 95120833 626 94319539 627 93740903 628 95506550 629 94569074 630 96271504 631 95535835 632 97136372 633 96034589 634 96509186 635 96715223 636 98893197 637 98557056 638 98718011 639 98105022 640 97946087 641 100096361 642 99918199 643 101419118 644 101582425 645 101006280 646 101330286 647 101124785 648 102537920 649 101287572 650 103243820 651 103012766 652 103806608 653 105332061 654 103765648 655 104516468 656 105440231 657 105182218 658 105253753 659 107147543 660 105893698 661 107102251 662 106511652 663 106465096 664 106584597 665 108587441 666 108519608 667 107970733 668 108760678 669 108621172 670 110303106 671 111004921 672 109706311 673 110625165 674 110821739 675 112906777 676 110895170 677 113867668 678 113041614 679 112871697 680 113019683 681 115008636 682 115084347 683 114843211 684 115385459 685 116818727 686 116753186 687 116556850 688 116558830 689 117656616 690 117532975 691 117758416 692 120288035 693 118989209 694 119165820 695 119694035 696 119545275 697 121742612 698 120633634 699 122382931 700 122435411 701 122614726 702 122133681 703 123278984 704 121981785 705 123051539 706 123281232 707 125102469 708 124619962 709 126701791 710 126113376 711 126143433 712 126403813 713 127285167 714 126615483 715 128922726 716 127628210 717 127628640 718 127994702 719 130008301 720 128911957 721 130327519 722 130646935 723 133369398 724 131838598 725 132711169 726 132235945 727 132846798 728 135137124 729 134182634 730 135358132 731 136721923 732 137342240 733 136461059 734 136276700 735 136009048 736 138751078 737 137570172 738 138379536 739 137896476 740 137034282 741 138278770 742 138525127 743 138634229 744 139720289 745 141979506 746 141603644 747 141088223 748 141256481 749 142600334 750 144631662 751 144060375 752 142686735 753 144394599 754 145746512 755 144122899 756 144042130 757 144761420 758 146346059 759 145763862 760 146653146 761 147627529 762 146377372 763 146100312 764 146602272 765 147525741 766 147303271 767 147527673 768 148899292 769 150472160 770 148624116 771 149889609 772 151524517 773 149780315 774 151591347 775 152074800 776 151934781 777 154752596 778 152506145 779 153189645 780 156019602 781 155136553 782 155909938 783 155596959 784 155197605 785 155313211 786 156834986 787 155945591 788 157528526 789 156752727 790 156639863 791 159643999 792 157594508 793 157827520 794 158844693 795 160327856 796 160741160 797 160946403 798 162757833 799 163578503 800 161768575 801 162911860 802 162619260 803 162942645 804 162680816 805 165621104 806 163711411 807 164511526 808 166700594 809 165815448 810 167212185 811 166500671 812 168646113 813 167876721 814 170297228 815 170121902 816 170034177 817 169435807 818 172171188 819 173436372 820 171363209 821 172930121 822 172121874 823 173484993 824 173851041 825 173883340 826 174643781 827 176136530 828 176480135 829 178075233 830 178844518 831 178079319 832 177988068 833 181813252 834 180427489 835 182624120 836 182228451 837 182076714 838 181736023 839 184906453 840 185506152 841 183855627 842 183420355 843 185013838 844 184483469 845 185702874 846 186017498 847 186522262 848 185332490 849 189289692 850 189178258 851 187572421 852 188015025 853 189184144 854 189691386 855 188935100 856 189506084 857 190681253 858 192460671 859 193673797 860 192787805 861 194715221 862 195137422 863 195815491 864 195174305 865 197168839 866 196334403 867 196334921 868 198374742 869 197827097 870 198831898 871 200359955 872 200105149 873 199326679 874 201319766 875 202661443 876 201780118 877 203486130 878 205721098 879 203390399 880 204180995 881 204807210 882 205106847 883 207813265 884 206494883 885 208977716 886 208751127 887 208820221 888 208756869 889 209022979 890 207894999 891 208128298 892 209926546 893 211926664 894 209496153 895 212332120 896 210365387 897 214820096 898 211572959 899 212813150 900 215270893 901 214062931 902 215275609 903 214638372 904 214605959 905 215417867 906 216262862 907 217548570 908 217114741 909 217623292 910 219491067 911 218036296 912 221169596 913 219434541 914 220462553 915 220054413 916 220226114 917 221528056 918 222354190 919 225615251 920 222732885 921 222527925 922 223147079 923 226042529 924 224942665 925 226357580 926 226842960 927 225290411 928 225049804 929 227817674 930 226331075 931 227647009 932 228410925 933 229074302 934 226785774 935 227272116 936 228490459 937 228666762 938 229609061 939 231005119 940 233313481 941 231399150 942 235439005 943 235444441 944 238735198 945 235914998 946 237223013 947 236060682 948 237513429 949 238932719 950 237695614 951 239828614 952 242572685 953 241156025 954 244379241 955 245247519 956 242883143 957 242167149 958 245827211 959 243496780 960 246877764 961 244470751 962 247531374 963 244543791 964 247040118 965 249322061 966 250235098 967 249913309 968 249478795 969 251117740 970 253020624 971 252842177 972 253611398 973 253648627 974 252443278 975 256469780 976 252773623 977 256955989 978 257297764 979 258918962 980 256088953 981 257195965 982 256864930 983 257346197 984 257051703 985 259090120 986 259277535 987 261285831 988 262738862 989 263150325 990 263871912 991 264022414 992 267132263 993 268337283 994 266389945 995 266466153 996 267594959 997 267560306 998 268771732 999 272741047 1000 271458705