#本次b文件由Antti Karttunen计算得出,2019-03-15 #在GP/PARI计算器2.9.4版(发布)amd64运行linux linux(x86-64/GMP-6.1.1.2内核内核内核)64位版本,编译:2017年12月19日,gcc版本7.3.0(Ubuntu 7.3.0.0-1Ubunutu1),线程引擎:pthread #带以下程序: ##35;##############res=0);对于(i=1,#f~,p=1<<(primepi(f[i,i,1])-1);res+=(p*p2*(2^(f[i,2])-1));p2<<=f[i,2,2]);res};\\froA156552由_DavidA.Corneth v156552sigs=readvec(“A15655552.txt”);\\然后将它作为一个对等向量读入。 35; A32323243(n)=如果(n<=2,n-n-n,n-n-n-n<=2,n-n-V15655552SIGS=REVEC(“A15655552552A156552552A1561,my(prsig=v156552sigs[n],ps=prsig[1],es=prsig[2]);prod(i=1,#ps,((ps[i]^(1+es[i]))-1)/(ps[i]-1));#isA324722(n)=如果(1==n,0,my(t=2*A156552(n));(t==bitand(t,A323243(n)));10;#k=0;n=0;while(n<10000,n++;if(isA324722(n),k++;write(“b324722.txt”,k,“,n)));1 9〈1 9〈2 21〈3 25〈4 35〈5 49〈6 55〈7 77〈9〈10 10 125〈11 133〈12 143〈13 169〈14 185〈15 203〈16 209〈17 221〈18 265〈19 289〈20 299〈21 301〈22 319〈23条〈24 24 3424 10 10 10 10三、三、三○二○三○○二○○二○○二○○二○○二○○二○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○605 47 611 48 623 49 629 50 667 51 679 52 689 53703〈54 707〈55 737〈56 763〈57 767〈58 779〈59 791〈60 793 805 841 845 847 847 851〈68 869 871 899〈71 901〈72 943〈73 959〈74 961 845 847 847 851〈68 869 871 70 899〈71 9071 901〈72 943〈73 959〈74 959〈74 961〈65 845 847 847 85 973〈76 979〈77 989〈78 1027〈79 1037〈80 1067〈81 1071〈82 1079〈83 1081〈84 1099〈85 1147〈86 1157〈87 1159〈88 1183〈89 1189〈90 1207〈91 1219〈92 1221〈93 1235〈94 1241〈95 1243〈95 1243〈95 1243〈95 1243〈86 1157〈87 1159〈88 1183〈89 1189〈90 1207〈91 1219〈92 1221〈93 1235〈94 1241〈95 1243〈95 1243〈95 1243〈95 1243〈94 1243〈95 1243〈95 1243 96 1247 97 1253 98 1261 991011333〈103 1339〈104 1349〈105 1363〈106 1369〈107 1387〈107 1387〈108 1391〈109 1393〈110 1403〈111 1405〈112 1441〈113 1457〈114 1501〈115 1507〈116 1517〈117 1517〈117 1537〈118 1573〈105〈119 1633〈120 1643〈110 1403〈111 1405〈112 1441〈113 1457〈114 1501 15011 1507〈116 1517〈117 1537〈118 1573〈119 1633〈120 1643〈120 1643〈120 1643〈120 1643〈111 14011 1405〈112 1441〉1111141457〈115 15011 1517 121 1651 122 1681 123 1691 124 1711 125 1717 126 1727 127 1739 128 1751 129 1763 130 1769 131 1781 132 1793 133 1817 134 1829 135 1849 136 1859 1371891年〈138 1903〈139 1919〈140 1921〈141 1961年〈142 1963年〈1431969年〈144 1981年〈145 1991年〈146 2013年〈147 2021〈148 2023〈149 2033年〈150 2057〈151 2059〈152 2077〈153 2101〈154 21115〈155 21117〈156 2147〈15151515〈15521117〈156 2147〈157 15151515〈155 2147;1592177 160 2183 161 2197 162 2201 163 2209 164 2233 165 2255 166 2257 167 2261 168 2291 169 2327 170 2363 171 2407 172 2413 173 2419 174 2431 1751742449〈177 2461〈178 2479〈179 2489〈180 2491〈181 2501〈182 2519〈183 2537〈184 2563〈1852581〈186 2587〈187 2623〈188 2627〈189 2639〈190 2651〈191 2665〈192 2701〈1932743〈1942743〈1942747〈1942747〈1942747〈1942747〈1942747〈1942747〈1842587〉1871871872623〈1892639〈190〉191 2665〈192 2701〉1932743〈1942747〈1942747〈1942747〈1942747〈1942747〈187187187187;195 2759 196 2809 197 2839 198 2867 199 2869 200 2873 201 281 202 2893 203 2899 204 2911 205 2923 206 2929 207 2941 209 2951 210 2959 211 2983 2132993〈214 3013〈215 3025〈216 3029〈217 3053〈218 3077〈219 3097〈220 3103〈2213113〈2243149〈225 3151〈226 3161〈227 3197〈2283211〈229 3239〈230 3245〈2313287〈232 3289〈233289〈233289〈3289〈2233149〈225 3151〈226 3161〈227〈2283197〈229 329〈230 3295〈2313287〈233289〈233289〈233289〈233289〉3289〉3289〈3289〈22332233 3293 234 3315 235 3325 236 3337 237 3341 238 3349 239 3397 240 3401 241 3403 242 3419 243 3421 244 3427 245 3431 246 3441 247 3481 249 3487 250 3497 251二、二○351〈253 3563〈254 3569〈255 3587〈253599〈257 3601〈259 3629〈260 3649〈2613713〈2623721〈2633729〈264 3737〈2653749〈2663757〈267 3763〈268 3781〈269 3791〈270 3799〈270 3799〈270 3721〈2633729〈264 3737〈2653749〈266 3757〈267 3763〈268 3781〈269 3791〈270 3791〈270 3799〈270 3721〈263729〈264 3737〈2663757〈267 3763〈268 3781〈269 3791〈269 37271 3809 272 3827 273 3869 274 3883 275 3887 276 3893 277 3901 278 3913 280 3959 281 3971 283 3973 284 3991 285 4015 286 4031 287 4037 288 4043294 4117〈2954121〈296 4141〈299 4169〈299 4087〈293 4103〈294 4117〈2954121〈296 4141〈297 4163〈298 4169〈299 4171〈300 4181〈301 4183〈3024187〈303 4189〈304 4193〈305 4199〈305 4199〈306 4223〈307 4279〈308 4303〈30308 4303〈30308 4303〈3030 4193〈305 4199〈306 4223〈307 4279〈30308 4303〈30308 4303〈3030308 4303〉30 4193〈305 4193〈30第305 4199〈30 309 4307 310 4313 311 4343 312 4351 313 4355 314 4361 315 4367 316 4369 317 4379 318 439 319 4399 320 4403 321 4427 3224439 323 4453 324 4489 32644994543〈328 4553〈329 4559〈330 4577〈331 4579〈332 4589〈3334607〈334 4619〈335 4633 4661 4667 4709 4717 4757 4761 4761 4761〈342 4761 4771 4777 4777 4777 4777 4619 4619 4633 4661 4667 4709 4717 347 4823 348 4841 349 4847 350 4849 351 4859 352 4873 353 4883 354 4897 355 4913 357 5017 358 5027 359 5029 360 5041 361 5053 362 5057 363 5063 364 5069 365366 5093〈367 5111〈368 5129〈369 5131〈3705137〈371 5141〈372 5143〈373 5161〈374 5183〈375 5185〈376 5191〈377 5213〈378 5219〈379 5221〈380 5251〈381 5263〈382 5293〈383 5321〈384 5321〈384 5321〈384 5321〈376 5191 5213 5219 5221 5131 5131〈3705137 5141 5161 5183 5185〈377 5191 5219 385 5335 386 5353 387 5365 388 5377 389 5389 390 5405 391 5429 392 5447 393 5457 395 5491 396 5513 398 5539 400 5561 401 5567 402 5587 403第四○九年第四年第四年第四年第四年第四年第四年第四年第四年第四年第四年第四年第四年第四年第四年第四年第四年第四四四年第四四四年第四四四四年第四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四四424 5959 5959 5959 5959 5993 5983 5983 5993 5993 5983 5989 5993 5995 6023 6031 6049 6049 6071 6077 6077 6077 6103 6107 5993 6023 6031 6049 6071 6071 6077个442 6137 6157 6161 6161 6187 6191 6201 6227 6239 6239 6241 6253 6283 6283 6289 6313 6319 6319 6341 6341 6341 6341 6341 6341 6341 6341 6341 6341 6341 6341 6341 6319 6319 466 6499 6527 6547 6527 6541 6541 6557 6583 6593 6541 6557 6583 6611 6613 6617 6629 6641 6617 6641 6647 6497 6497 6499 6527 6541 6541 6613 6617 6617 6617英镑484 6751 6767 6767 6767 6773 6773 6787 6889 689 6851 6851 6859 6887 6889 6893 691 691 6887 6889 6893 69494 691 6931 693 6931 6943 69497 6889 6889 6893 69494 691 69497 6963 499 6973 500 7003 501 7067 502 7081 503 7087 504 7091 505 7097 506 7099 507 7141 509 7157 510 7169 511 7171 514 7199 515 7201 516 7223 5177249〈518 7259〈519 7279〈520 7289〈521 7291〈522 7303〈523 7313〈524 7319〈525 7339〈526 7367〈527 7373〈528 7387〈529 7423〈5307429〈531 7493〈532 7501〈533 7519〈534 7535〈535 5 7571〈535 5 7519〈535 5 7571〈532 7501〈533 7519 7535〈535 5 5 7571〈528 7373 7387 7423 7423〈531 7429 7493〈532 7501 7597〈537 7609〈538 7613〈539 7619〈540 7661〈541 7663〈542 7729 7733 7739 7747〈546 7751〈547 7763 7769〈549 7771〈550 7781〈551 7801〈552 7807〈553 7811〈554 7843 7747 7751 7763 7769 7771〈551 7881〈551 781〈552 787 787〈552 7807〈553 787 7807〈553 7807〈553 781〈554 7811 555英镑第556 7871条〈557 7897〈558 7909〈559 7913〈562 7957〈563 7967〈564 7969〈565 7979〈566 7991〈567 8021〈568 8023 8027〈570 8041〈570 8041〈570 8041〈5757578077〈573 8137〈573 8137〈565 7979〈566 7991〈567 8021 8023 8027〈57570 8041〈5757578041〈5757578047〈57570 8047〈5757575757575757575757570 8047〈57575757575757573 8077 8143〈577 8177〈578 8189〈581 8249 8255 8267 8279 8299 8153〈577 8177〈578 8189〈577 8177〈578 8189〈579〈578 8189〈579 8189;593598 8473〈599 8479〈600 8483〈60 0 8483〈60 0 8483〈60 0 8483〈601 8509〈602 8533〈6038549〈604 8557〈605 8593〈606 8611〈607 8617〈608 8621〈609 8621〈609 8633〈609 8633〈609 8633〈611 8671〈611 8671〈611 8671 8649〈604 8557〈605 8593〈6068611〈607 8621〈609 8621〈609 8633 8633〈616161611 8671〈61611 8671〈612〈611〈612〈618711〈613 8759〈614 8773〈615 8777〈616 8789〈617 8851〈618 8857〈619 8873〈620 88881〈621 8891〈622 8909〈623 8927〈624 8959 8967〈626 9017〈627 9019〈628 9039〈629 9047 9057 8789 8789 8789 8851 8857 8873 8873〈623 8927 8959 8967 9017在633 9073〈634 9077〈635 9083〈634 9077〈635 9083〈636 9097〈637 9101〈638 9167〈639 9179〈640 9197〈641 9211〈642 9217 9223 9269 9269 9271 9287〈646 9287 9301 9307 9307 9307 9313 9317 9269 9271〈646 9287 9301 9307 9307 9313 9269 9271 92655 9399 9407 9409 9409 9409 9409 9415 9435 9435 9435 9435 9435 9455 9487 9493 9493 9503 9517 9517 9523 9517 9523 9399 9399 9435 9457 9499 9495 94669英镑670 9563〈671 9571〈672 9577〈673 9589〈674 9593〈675 9599〈676 9617 9659 9659 9673 9683 9691〈681 971 9727 9797 9799 9799〈685 9809 9841〈687 9845 9797 9799 989 9841 9841 9845 9683 9727 9797 9797 9797 97684 9768688 9869 689 9913 690 9959 691 9971 692 9977 693 9983 694 9997