// output of ./demo/mod/fftprimes-demo.cc: // Description: //% Find "FFT primes", primes of the form p==y * 2^x + 1. arg 1: 62 == wb [word bits, wb<=63] default=62 arg 2: 0.01 == deltab [results are in the range [wb-deltab, wb]] default=0.01 minb = 61.99 = wb-0.01 arg 3: 44 == minx [log_2(min(fftlen))] default=44 arg 4: 0 == fq [whether to filter results (for factors 3, 5, and 7)] default=0 ---- x = 44: ----- 4580495072570638337 = 0x3f91300000000001 = 1 + 2^44 * 83 * 3137 (61.9902 bits) 4581058022524059649 = 0x3f93300000000001 = 1 + 2^44 * 3 * 11 * 13 * 607 (61.9904 bits) 4582113553686724609 = 0x3f96f00000000001 = 1 + 2^44 * 3 * 7 * 79 * 157 (61.9907 bits) 4585702359639785473 = 0x3fa3b00000000001 = 1 + 2^44 * 3^2 * 11 * 2633 (61.9918 bits) 4587039365779161089 = 0x3fa8700000000001 = 1 + 2^44 * 7 * 193^2 (61.9923 bits) 4587391209500049409 = 0x3fa9b00000000001 = 1 + 2^44 * 3 * 17 * 5113 (61.9924 bits) 4588130081313914881 = 0x3fac500000000001 = 1 + 2^44 * 3 * 5 * 17387 (61.9926 bits) 4589572640569556993 = 0x3fb1700000000001 = 1 + 2^44 * 11 * 37 * 641 (61.9931 bits) 4589818931174178817 = 0x3fb2500000000001 = 1 + 2^44 * 3^4 * 3221 (61.9931 bits) 4591578149778620417 = 0x3fb8900000000001 = 1 + 2^44 * 13 * 17 * 1181 (61.9937 bits) 4593724396476039169 = 0x3fc0300000000001 = 1 + 2^44 * 3 * 87041 (61.9944 bits) 4593935502708572161 = 0x3fc0f00000000001 = 1 + 2^44 * 3^2 * 5 * 7 * 829 (61.9944 bits) 4594428083917815809 = 0x3fc2b00000000001 = 1 + 2^44 * 7 * 37309 (61.9946 bits) 4594463268289904641 = 0x3fc2d00000000001 = 1 + 2^44 * 3 * 5 * 23 * 757 (61.9946 bits) 4594744743266615297 = 0x3fc3d00000000001 = 1 + 2^44 * 139 * 1879 (61.9947 bits) 4595096586987503617 = 0x3fc5100000000001 = 1 + 2^44 * 3 * 83 * 1049 (61.9948 bits) 4595729905685102593 = 0x3fc7500000000001 = 1 + 2^44 * 3 * 31 * 53^2 (61.995 bits) 4596433593126879233 = 0x3fc9d00000000001 = 1 + 2^44 * 227 * 1151 (61.9952 bits) 4597066911824478209 = 0x3fcc100000000001 = 1 + 2^44 * 13 * 20101 (61.9954 bits) 4597313202429100033 = 0x3fccf00000000001 = 1 + 2^44 * 3 * 11 * 7919 (61.9955 bits) 4597911336754610177 = 0x3fcf100000000001 = 1 + 2^44 * 31 * 8431 (61.9957 bits) 4598368733591764993 = 0x3fd0b00000000001 = 1 + 2^44 * 3^4 * 7 * 461 (61.9958 bits) 4598439102335942657 = 0x3fd0f00000000001 = 1 + 2^44 * 13 * 20107 (61.9958 bits) 4599177974149808129 = 0x3fd3900000000001 = 1 + 2^44 * 261433 (61.9961 bits) 4599389080382341121 = 0x3fd4500000000001 = 1 + 2^44 * 5 * 52289 (61.9961 bits) 4599740924103229441 = 0x3fd5900000000001 = 1 + 2^44 * 3 * 5 * 17431 (61.9963 bits) 4599952030335762433 = 0x3fd6500000000001 = 1 + 2^44 * 3^2 * 17 * 1709 (61.9963 bits) 4600127952196206593 = 0x3fd6f00000000001 = 1 + 2^44 * 23 * 11369 (61.9964 bits) 4600233505312473089 = 0x3fd7500000000001 = 1 + 2^44 * 29 * 71 * 127 (61.9964 bits) 4600374242800828417 = 0x3fd7d00000000001 = 1 + 2^44 * 3 * 67 * 1301 (61.9965 bits) 4600761270893805569 = 0x3fd9300000000001 = 1 + 2^44 * 261523 (61.9966 bits) 4603118623823757313 = 0x3fe1900000000001 = 1 + 2^44 * 3^3 * 11 * 881 (61.9973 bits) 4603400098800467969 = 0x3fe2900000000001 = 1 + 2^44 * 261673 (61.9974 bits) 4603963048753889281 = 0x3fe4900000000001 = 1 + 2^44 * 3 * 5 * 73 * 239 (61.9976 bits) 4604666736195665921 = 0x3fe7100000000001 = 1 + 2^44 * 5 * 11 * 4759 (61.9978 bits) 4605194501776998401 = 0x3fe8f00000000001 = 1 + 2^44 * 5^2 * 37 * 283 (61.998 bits) 4606566692288462849 = 0x3fedd00000000001 = 1 + 2^44 * 401 * 653 (61.9984 bits) 4607833329683660801 = 0x3ff2500000000001 = 1 + 2^44 * 5^2 * 10477 (61.9988 bits) 4610085129497346049 = 0x3ffa500000000001 = 1 + 2^44 * 3^2 * 11 * 2647 (61.9995 bits) 4610261051357790209 = 0x3ffaf00000000001 = 1 + 2^44 * 503 * 521 (61.9996 bits) 4610472157590323201 = 0x3ffbb00000000001 = 1 + 2^44 * 5^2 * 11 * 953 (61.9996 bits) 4610577710706589697 = 0x3ffc100000000001 = 1 + 2^44 * 137 * 1913 (61.9997 bits) 4610929554427478017 = 0x3ffd500000000001 = 1 + 2^44 * 3 * 7^2 * 1783 (61.9998 bits) 4610999923171655681 = 0x3ffd900000000001 = 1 + 2^44 * 5 * 19 * 31 * 89 (61.9998 bits) 4611105476287922177 = 0x3ffdf00000000001 = 1 + 2^44 * 262111 (61.9998 bits) ---- x = 45: ----- 4580336742896238593 = 0x3f90a00000000001 = 1 + 2^45 * 29 * 67^2 (61.9902 bits) 4581533011547258881 = 0x3f94e00000000001 = 1 + 2^45 * 3 * 5 * 8681 (61.9905 bits) 4584347761314365441 = 0x3f9ee00000000001 = 1 + 2^45 * 5 * 11 * 23 * 103 (61.9914 bits) 4587655092290715649 = 0x3faaa00000000001 = 1 + 2^45 * 3 * 7^2 * 887 (61.9925 bits) 4588921729685913601 = 0x3faf200000000001 = 1 + 2^45 * 3 * 5^2 * 37 * 47 (61.9929 bits) 4589132835918446593 = 0x3fafe00000000001 = 1 + 2^45 * 3 * 7 * 6211 (61.9929 bits) 4593425329313284097 = 0x3fbf200000000001 = 1 + 2^45 * 130553 (61.9943 bits) 4594410491731771393 = 0x3fc2a00000000001 = 1 + 2^45 * 3^2 * 11 * 1319 (61.9946 bits) 4594480860475949057 = 0x3fc2e00000000001 = 1 + 2^45 * 67 * 1949 (61.9946 bits) 4594691966708482049 = 0x3fc3a00000000001 = 1 + 2^45 * 130589 (61.9947 bits) 4599265935080030209 = 0x3fd3e00000000001 = 1 + 2^45 * 3 * 43573 (61.9961 bits) 4602432528568025089 = 0x3fdf200000000001 = 1 + 2^45 * 3 * 7 * 6229 (61.9971 bits) 4603910272195756033 = 0x3fe4600000000001 = 1 + 2^45 * 3^2 * 7 * 31 * 67 (61.9976 bits) 4603980640939933697 = 0x3fe4a00000000001 = 1 + 2^45 * 19 * 71 * 97 (61.9976 bits) 4604543590893355009 = 0x3fe6a00000000001 = 1 + 2^45 * 3^3 * 37 * 131 (61.9978 bits) 4605036172102598657 = 0x3fe8600000000001 = 1 + 2^45 * 17 * 7699 (61.9979 bits) 4606302809497796609 = 0x3fece00000000001 = 1 + 2^45 * 89 * 1471 (61.9983 bits) 4609258296753258497 = 0x3ff7600000000001 = 1 + 2^45 * 269 * 487 (61.9992 bits) 4609610140474146817 = 0x3ff8a00000000001 = 1 + 2^45 * 3^2 * 14557 (61.9994 bits) ---- x = 46: ----- 4580794139733393409 = 0x3f92400000000001 = 1 + 2^46 * 3^3 * 2411 (61.9903 bits) 4592475351266885633 = 0x3fbbc00000000001 = 1 + 2^46 * 11 * 17 * 349 (61.994 bits) 4596275263452479489 = 0x3fc9400000000001 = 1 + 2^46 * 7^2 * 31 * 43 (61.9952 bits) 4596416000940834817 = 0x3fc9c00000000001 = 1 + 2^46 * 3 * 21773 (61.9952 bits) 4599652963173007361 = 0x3fd5400000000001 = 1 + 2^46 * 5 * 17 * 769 (61.9962 bits) 4605986150148997121 = 0x3febc00000000001 = 1 + 2^46 * 5 * 13 * 19 * 53 (61.9982 bits) 4610208274799656961 = 0x3ffac00000000001 = 1 + 2^46 * 5 * 13103 (61.9995 bits) 4611615649683210241 = 0x3fffc00000000001 = 1 + 2^46 * 3 * 5 * 17 * 257 (62 bits) ---- x = 47: ----- 4591842032569286657 = 0x3fb9800000000001 = 1 + 2^47 * 7 * 59 * 79 (61.9938 bits) 4604226931544555521 = 0x3fe5800000000001 = 1 + 2^47 * 3^2 * 5 * 727 (61.9977 bits) 4605071356474687489 = 0x3fe8800000000001 = 1 + 2^47 * 3 * 13 * 839 (61.9979 bits) ---- x = 48: ----- 4585508845593296897 = 0x3fa3000000000001 = 1 + 2^48 * 11 * 1481 (61.9918 bits) ---- x = 49: ----- 4582975570802900993 = 0x3f9a000000000001 = 1 + 2^49 * 7 * 1163 (61.991 bits) 4595360469778169857 = 0x3fc6000000000001 = 1 + 2^49 * 3^2 * 907 (61.9949 bits) ---- x = 50: ----- 4601552919265804289 = 0x3fdc000000000001 = 1 + 2^50 * 61 * 67 (61.9968 bits) ---- x = 51: ----- ---- x = 52: ----- ---- x = 53: ----- ---- x = 54: ----- ---- x = 55: ----- ---- x = 56: ----- ---- x = 57: ----- ---- x = 58: ----- ---- x = 59: ----- ---- x = 60: ----- ---- x = 61: ----- ---- x = 62: -----