#读取(“转换”);#读取(“转换3”);# #nimprodP2:=proc(nlog2::integer,mlog2::integer)#选项记忆;#局部a2、b2、a、j;#如果ANDnos(nlog2,mlog2)=0,则#返回2^(nlog2+mlog2);#其他#a2:=转换(max(nlog2,mlog2),基,2;#b2:=转换(min(nlog2,mlog2),基,2);#a:=2^XORnos(nlog2,mlog2);#对于j从0到nops(b2)-1 do#如果op(j+1,a2)=1和op(j+1,b2)=1,则#a:=A051775(a,3*2^(2^j)/2);#结束if;#结束do:#a;#结束if;#结束过程:# #A051775:=过程(n::integer,m::integer)#选项记忆;#本地a、nbin、mbin、nlog2、mlog2;#如果n*m=0,则#返回0;#elif n=1或m=1则#返回n*m;#结束if;#a:=0;#nbin:=转换(n,base,2);#mbin:=转换(m,base,2);#对于nlog2从0到nops(nbin)-1 do#如果op(nlog2+1,nbin)>0,则#对于从0到nops(mbin)的mlog2-1 do#如果op(mlog2+1,mbin)>0,则#a:=nimsum(a,nimprodP2(nlog2,mlog2));#结束if;#结束do;#结束if;#结束do;#返回a;#结束过程:#A058734:=过程(n)#A051775(n,n+1);#结束过程:#L:=[顺序(A058734(n),n=0..1000)];# #ListToFile(“b058734.txt”,L,0);0 012个2 1个312个4 2个5 8个6 3个7月15日8 5个9月11日10 4个11月14日12 713 114 615 240个16 817 4218 919 100个2010年2132个22 1123 2312413个25点35分26日12日27 102个28点15分29 413014年31 124个32 20个33 3834 2135 16836 22个37 44个38 2339 1074017年41 47个42 1643 170个44 19个45 37个46 18个47 18448 28个4914个50年29日51 19252点30分53 454 31号55 131号56 2557 758 2459 19460月27日61 13号62 2663 21464 3965个16566 3867 203个68 3769 17570 36个71 12072 3473 17274 3575201号76 3277 16678 3379 20480 47个81 14182 4683 16384 4585 135号86 44个87 14488 4289 13290 4391 16192 4093 14294 4195 205号96 5197 12998 50个99 11110049个101 139102 48103 28104 54105 136106 55个107 109108 52109 130110 53111 132112 59113 169114 581157个116 57个117 163118 56119 244120 62121 160个122 631235个124 60个125 170126 61127 210个128 94个129 156130 95个131 34132 92133 150个134 93135 241136 91137 149138 9013932个140 89141 15914288个143 131号144 86145 180个146 87个147 74148 84149 190150 85151 25152 83153 189154 82155 72156 81157 183158 80个159 201号160 74161 184162 75163 134号164 72165 178号166 73167 149168 79169 177170 78171 132172 77个173 187号174 76175 203个176 66177 144178 67179 238180 64181 154182 65个183 125号184 71185 153号186 70187 236188 69189 147190 68191 218192 121193 59194 120195 229196 123197 49198 122199 134200 124号20150年202 125号203 231204 126个205 56206 127个207 191208 113209 19号210 112211 141212 115213 25214 114215 110216 116217 26218 117219 143220 118号221 16号222 119号223 120224 109225 31个226 108227 65个228 111229 21个230 110231 226232万233 22号234 105号235 67个236 106237 28个238 107号239 247240 101号241 55个242 100个243 41个244 103245 61246 102247 10个24896个249 62个250 97251 43252 98253 52254 99255 65280个256 128个257 642号258 129259 1676年260 130个261 648号262 131号263 3727号264 133265 651号266 132267 1678年268 135号269 641号270 134号271 7792号272 136273 682号274 137275 1764年276 138277 672个278 139279 3687号280 141281 675个282 140283 1766年284 143285 681号286 142287 16124号288 148289 678个290 149291 1576年292 150个293 684号294 151295 3819号296 145297 687号298 144299 1578号300 147301 677号302 146303 7736号304 156号305 654号306 157307 1600个308 158309 644号310 159311 3587号312 153号313 647314 152315 1602号316 155号317 653号318 154319 32342320 167321 549322 166323 1611号324 165325 559326 164327 3832328 162329 556号330 163331 1609年332 160333 550号334 161335 7756个336 175337 525338 174339 1571340 173341 519号342 172343 3600个344 170345 516号346 171347 1569年348 168349 526号350 169351 15949号352 179353 513号354 178号355 1775年356 177357 523号358 176359 3740360 182个361 520号362 183363 1773年364 180365 514号366 181367 7684号368 187369 553号370 186371 1671年372 185373 547374 184375 3700个376 190377 544号378 191379 1669年380 188号381 554号382 189383 65106384 222385 540386 223387 1698年388 220389 534号390 221号391 3697号392 219393 533号394 218395 1696年396 217397 543号398 216399 7683号400 214号401564号402 215号403 1738号404 212号405 574号406 213407 3737408 211409 573号410 210号411 1736年412 209号413 567号414 208个415 15945号416 202号417 568号418 203号419 1542年420 200个421 562号422 201号423 3605号424 207号425 561号426 206427 1540年428 205号429 571430 204号4317755个432 194433 528号434 195号435 1646年436 192437 538个438 193439 3837号440 199号441 537号442 198号443 1644年444 197年445 531号446 196447 32346448 249号449 699450 248451 1637年452 251453 689号454 250个455 3590号456 252457 690号458 253号459 1639年460 254461 696462 255463 7743个464 241465 659号466 240467 1549号468 243469 665号470 242471 3822个472 244473 666个474 245个475 1551年476 246477656个478 247个479 16120号480 237号481 671号482 236483 1729年484 239485 661号486 238487 3682个488 232489 662个490 233491 1731年492 234493 668号494 235495 7799个496 229497 695年498 228499 1705年500 231501 701号502 230503 3722号504 224505 702号506 225507 1707号508 226509 692号510 227511 22464512 320个513 578号514 321515 2636号516 322517 584号518 323519 1615年520 325521 587号522 324号523 2638年524 327525 577号526 326527904年528 328529 618号530 329号531 2596个532 330533 608号534 331535 1703年536 333537 611号538 332539 2598号540 335号541 617号542 334号543 5692个544 340545 614号546 341号547 2792548 342549 620550 343551 1579号552 337号553 623554 336号555 2794556 339557 613号558 338559 9976560 348号561 590号562 349563 2688号564 350565 580566 351567 1731年568 345569 583号570 344号571 2690号572 347573 589号574 346575 38550个576 359577 741号578 358579 2699号580 357号581751号582 356583 1592年584 354585748586 355号5872697年588 352589 742590 353591 9868号592 367号593 717号594 366595 2787个596 365个597 711号598 364599 1744年600 362号601 708号602 363号603 2785号604 360605 718号606 361号607 5773号608 371号609 705号610 370611 2607号612 369号613 715号614 368号615 1628年616 374617 712号618 375619 2605号620 372号621706年622 373623 9924号624 379625 745号626 378627 2631年628 377629 739630 376号631 1716年632 382633 736634 383635 2629个636 380637 746号638 381号639 22162640 286号641732年642 287号643 2658年644 284号645 726号646 285号647 1713年648 283号649 725号650 282651 2656个652 281号653 735号654 280个655 9923656 278号657 756个658 279659 2570号660 276号661 766号662 277号663 1625年664 275665 765号666 274号6672568个668 273号669 759号670 272671 5769号672 266673 760674267675 2758年676 264677 754号678 265679 1749年680 271681753年682 270683 2756年684 269685 763号686 268号687 9867688 258号689 720690 259号691 2734个692 256个693 730694 257号695 1597年696 263697 729号698 262699 2732700 261701 723号702 260个703 38554号704 313号705 635号706 312号707 2725个708 315号709 625号710 314号711 1734年712 316713626714 317号715 2727716 318号717 632个718 319号719 9983720 305个721 595号722 304723 2765个724 307号725 601号726 306727 1582年728 308号729 602730 309号731 2767个732 310号733 592号734 311号735 5688号736 301号737 607号738 300个739 2561号740 303号741 597号742 302号743 1698年744 296号745 598号746 297号7472563748 298号749 604号750 299号751 9911年752 293号753 631号754 292年755 2665年756 295号757 637号758 294号759 1610年760 288号761 638号762 289号763 2667年764 290个765 628号766 291号767 43904号768 448号769 194770 449号771 3276个772 450773 200个774 451号775 2255号776 453号777 203号778 452号779 3278号780 455号781 193年782 454号783 14384号784 456785 234786 457号787 3236号788 458号789 224790 459号7912087年792 461号793 227794 460795 3238号796 463号797 233798 462号799 10428号800 468号801 230号802 469号803 3176号804 470个805 236806 471号8072219808 465号809 239810 464号811 3178号812 467号813 229号814 466号815 14456号816 476号817 206818 477号819 3072820 478号821 196年822 479个823 2115号824 473号825 199826 472个827 3074号828 475号829 205830 474号83159414号832 487号833 101号834 486号835 3083号836 485号837 111838 484号839 2232840 482号841 108号842 483号843 3081号844 480个845 102846 481号847 14348号848 495号849 77850 494号851 3171号852 493号853 71854 492号8552128号856 490号857 68858 491号859 3169号860 488号861 78862 489号863 10253号864 499号865 65866 498号867 3247号868 497号869 75870 496号871 2268号872 502号873 72874 503875 3245号876 500个877 66878 501879 14404号880 507号881 105号882 506号883 3271号884 505号885 99号886 504号887 2100号888 510号889 96890 511891 3269个892 508号893 106894 509号895 43026号896 414号897 92898 415号899 3298900 412号90186年902 413号903 2097年904 411号905 85906 410号907 3296号908 409号909 95年910 408号911 14403912 406号913 116914 407号915 3210号916 404号917 126918 405号919 2265号920 403号921 125922 402923 3208年924 401号925 119926 400个927 10249号928 394929 120930 395号931 3142号932 392933 114934 393935 2133号936 399937 113938 398939 3140940 397号941 123号942 396943 14347号944 386号945 80946 387号947 3118号948 384号949 90950 385号951 2237号952 391953 89954 390号955 3116号956 389号957 83号958 388号959 59418号960 441号961 251962 440号963 3109号964 443号965 241966 442号9672118968 444号969 242970 445号971 3111972 446973 248974 447号975 14463976 433977 211号978 432979 3149号980 435号981 217982 434983 2222984 436号985 218986 437987 3151号988 438号989 208990 439991 10424号992 429993 223994 428995 3201996 431号997 213998 430999 2082号1000 424