#读取（“转换”）；#读取（“变压器3”）；# #nimprodP2:=进程（nlog2:：整数，mlog2:：integer）#选项记忆；#局部a2、b2、a、j；#如果ANDnos（nlog2，mlog2）=0，则#返回2^（nlog2+mlog2）；#其他#a2:=转换（最大值（nlog2，mlog2），基数，2）；#b2:=转换（最小值（nlog2，mlog2），基数，2）；#a:=2^异或数（nlog2，mlog2）；#对于从0到nops（b2）的j-1 do#如果op（j+1，a2）=1且op（j+1,b2）=1，则#a:=A051775（a，3*2^（2^j）/2）；#结束条件：；#结束do：#a；#结束条件：；#结束进程：# #A051775:=进程（n：：整数，m：：整数）#选项记忆；#局部a、nbin、mbin、nlog2、mlog2；#如果n*m=0，则#返回0；#elif n=1或m=1，则#返回n*m；#结束条件：；#a:=0；#nbin：=转换（n，基数，2）；#mbin：=换算（m，基数，2）；#对于nlog2，从0到nops（nbin）-1 do#如果op（nlog2+1，nbin）>0，则#对于mlog2从0到nops（mbin）-1 do#如果op（mlog2+1，mbin）>0，则#a:=nimsum（a，nimprodP2（nlog2，mlog2））；#结束条件：；#结束do；#结束条件：；#结束do；#返回a；#结束进程：#A058734:=程序（n）#A051775（n，n+1）；#结束进程：#L:=[seq（A058734（n），n=0..1000）]；# #列表文件（“b058734.txt”，L，0）；0 01 22 13 124 25 86 37 158 59 1110 411 1412 713 1第14页15 24016 817 4218 919 10020 1021 3222 1123 23124 1325 3526 1227 10228 1529 4130 1431 12432 20个33 3834 2135 16836 2237 4438 2339 10740 1741 47第42页第16页43 17044 1945 3746 1847 18448 2849 1450 2951 19252 3053 454 3155 13156 2557 758 2459 19460 2761 1362 2663 21464 3965 16566 3867 20368 3769 17570 3671 12072 3473 17274 3575 20176 3277 16678 3379 20480 4781 14182 4683 16384 4585 13586 4487 14488 4289 13290 4391 16192 4093 14294 4195 20596 5197 12998 5099 111100 49101 139102 48103 28104 54105 136106 55107 109108 52109 130110 53111 132112 59113 169114 58115 7116 57117 163118 56119 244120 62121 160122 63123 5124 60125 170126 61127 210128 94129 156130 95131 34132 92133 150134 93135 241136 91137 149138 90139 32140 89141 159142 88143 131144 86145 180146 87147 74148 84149 190150 85151 25个152 83153 189154 82155 72156 81157 183158 80159 201160 74161 184162 75163 134164 72个165 178166 73167 149168 79169 177170 78171 132172 77173 187174 76175 203176 66177 144178 67179 238180 64181 154182 65183 125184 71185 153186 70187 236188 69189 147190 68191 218192 121193 59194 120195 229196 123197 49198 122199 134200 124201 50202 125203 231204 126205 56206 127207 191208 113209 19210 112211 141212 115213 25214 114215 110216 116217 26218 117219 143220 118221 16222 119223 120224 109225 31226 108227 65个228 111229 21230 110231 226232 104233 22234 105235 67236 106237 28238 107239 247240 101241 55242 100243 41244 103245 61246 102247 10248 96249 62250 97251 43252 98253 52254 99255 65280256 128257 642258 129259 1676260 130261 648262 131263 3727264 133265 651266 132267 1678268 135269 641270 134271 7792272 136273 682274 137275 1764276 138277 672278 139279 3687280 141281 675282 140283 1766284 143285 681286 142287 16124288 148289 678290 149291 1576292 150293 684294 151295 3819296 145297 687298 144299 1578300 147301 677302 146303 7736304 156305 654306 157307 1600308 158309 644310 159311 3587312 153313 647314 152315 1602316 155317 653318 154319 32342320 167321 549322 166323 1611324 165325 559326 164327 3832328 162329 556330 163331 1609332 160333 550334 161335 7756336 175337 525338 174339 1571340 173341 519个342 172343 3600344 170345 516346 171347 1569348 168349 526350 169351 15949352 179353 513354 178355 1775356 177357 523358 176359 3740360 182361 520362 183363 1773364 180365 514366 181367 7684368 187369 553370 186371 1671372 185373 547374 184375 3700376 190377 544378 191379 1669380 188381 554号382 189383 65106384 222385 540386 223387 1698388 220389 534390 221391 3697392 219393 533394 218395 1696396 217397 543398 216399 7683400 214401 564402 215403 1738404 212405 574406 213407 3737408 211409 573410 210411 1736412 209413 567414 208415 15945416 202417 568418 203419 1542年420 200421 562422 201423 3605424 207425 561426 206427 1540428 205429 571430 204431 7755432 194433 528434 195435 1646436 192437 538438 193439 3837440 199441 537442 198443 1644444 197445 531446 196447 32346448 249449 699450 248451 1637452 251453 689454 250455 3590456 252457 690458 253459 1639460 254461 696462 255463 7743464 241465 659466 240467 1549468 243469 665470 242471 3822472 244473 666474 245475 1551476 246477 656478 247479 16120480 237481 671482 236483 1729484 239485 661486 238487 3682488 232489 662490 233491 1731492 234493 668494 235495 7799496 229497 695498 228499 1705500 231501 701502 230503 3722504 224505 702506 225507 1707508 226509 692510 227511 22464512 320513 578514 321515 2636516 322517 584518 323519 1615520 325521 587522 324523 2638524 327525 577526 326527 9904528 328529 618530 329531 2596532 330533 608534 331个535 1703536 333537 611538 332539 2598540 335541 617542 334543 5692544 340545 614546 341547 2792548 342549 620550 343551 1579552 337553 623554 336555 2794556 339557 613558 338559 9976560 348561 590562 349563 2688564 350565 580566 351567 1731568 345569 583570 344571 2690个572 347号573 589574 346575 38550576 359577 741578 358579 2699580 357581 751582 356583 1592584 354585 748586 355587 2697588 352589 742590 353591 9868592 367593 717594 366595 2787596 365597 711598 364599 1744600 362601 708602 363603 2785604 360605 718606 361607 5773608 371609 705610 370611 2607612 369613 715614 368615 1628616 374617 712618 375619 2605620 372621 706622 373623 9924624 379625 745626 378627 2631628 377629 739630 376631 1716632 382633 736634 383635 2629636 380637 746638 381639 22162640 286641 732642 287643 2658644 284645 726646 285647 1713648 283649 725650 282651 2656652 281653 735654 280655 9923656 278657 756658 279659 2570660 276661 766662 277663 1625664 275665 765666 274667 2568668 273669 759670 272671 5769672 266673 760674 267675 2758676 264677 754678 265679 1749680 271681 753682 270683 2756684 269685 763686 268687 9867688 258689 720690 259691 2734692 256693 730694 257695 1597696 263697 729698 262699 2732700 261701 723702 260703 38554704 313705 635706 312707 2725708 315709 625710 314711 1734712 316713 626714 317715 2727716 318717 632718 319719 9983720 305721 595722 304723 2765724 307725 601726 306727 1582728 308729 602730 309731 2767732 310733 592734 311735 5688736 301737 607738 300739 2561740 303741 597742 302743 1698744 296745 598746 297747 2563748 298749 604750 299751 9911752 293753 631754 292755 2665756 295757 637758 294759 1610760 288761 638762 289763 2667764 290765 628766 291767 43904768 448769 194770 449771 3276772 450773 200774 451775 2255776 453777 203778 452779 3278780 455781 193782 454783 14384784 456785 234786 457787 3236788 458789 224790 459791 2087792 461793 227794 460795 3238796 463797 233798 462799 10428800 468801 230802 469803 3176804 470805 236806 471807 2219808 465809 239810 464811 3178812 467813 229814 466815 14456816 476817 206818 477819 3072820 478821 196822 479823 2115824 473825 199826 472827 3074828 475829 205830 474831 59414832 487833 101834 486835 3083836 485837 111838 484839 2232840 482841 108842 483843 3081844 480845 102846 481847 14348848 495849 77850 494个851 3171852 493853 71854 492855 2128856 490857 68858 491859 3169860 488861 78862 489863 10253864 499865 65866 498867 3247868 497869 75870 496871 2268872 502873 72874 503875 3245876 500877 66878 501879 14404880 507881 105882 506883 3271884 505885 99886 504887 2100888 510889 96890 511891 3269892 508893 106894 509895 43026896 414897 92898 415899 3298900 412901 86902 413903 2097904 411905 85906 410907 3296908 409909 95910 408911 14403912 406913 116914 407915 3210916 404917 126918 405919 2265920 403921 125922 402923 3208924 401925 119926 400927 10249928 394929 120930 395931 3142932 392933 114934 393935 2133936 399937 113938 398939 3140940 397941 123942 396943 14347944 386945 80946 387947 3118948 384949 90950 385951 2237952 391953 89954 390955 3116956 389957 83958 388959 59418960 441961 251962 440963 3109964 443965 241966 442967 2118968 444969 242970 445971 3111972 446973 248974 447975 14463976 433977 211978 432979 3149980 435981 217982 434983 2222984 436985 218986 437987 3151988 438989 208990 439991 10424992 429993 223994 428995 3201996 431997 213998 430999 20821000 424