# This b-file for A115637 was computed by Antti Karttunen, 2018-11-02 # in GP/PARI CALCULATOR Version 2.9.4 (released) amd64 running linux (x86-64/GMP-6.1.2 kernel) 64-bit version, compiled: Dec 19 2017, gcc version 7.3.0 (Ubuntu 7.3.0-1ubuntu1), threading engine: pthread # with the following program: # # default(parisizemax,2^31); # up_to = 1024; # A115633array(n, k) = (((-1)^n)*if(n==k,1, if((k+k+2)==n, -4, if((k+1)==n, -(1+(-1)^k)/2, 0)))); # A115637list(up_to) = { my(mA115633=matrix(up_to,up_to,n,k,A115633array(n-1,k-1)), mA115636 = matsolve(mA115633,matid(up_to)), v = vector(up_to)); for(n=1,up_to,v[n] = vecsum(mA115636[n,])); (v); }; # v115637 = A115637list(up_to+1); # A115637(n) = v115637[1+n]; # for(n=0,up_to,write("b115637.txt", n, " ", A115637(n))); 0 1 1 0 2 5 3 4 4 1 5 0 6 21 7 20 8 17 9 16 10 5 11 4 12 1 13 0 14 85 15 84 16 81 17 80 18 69 19 68 20 65 21 64 22 21 23 20 24 17 25 16 26 5 27 4 28 1 29 0 30 341 31 340 32 337 33 336 34 325 35 324 36 321 37 320 38 277 39 276 40 273 41 272 42 261 43 260 44 257 45 256 46 85 47 84 48 81 49 80 50 69 51 68 52 65 53 64 54 21 55 20 56 17 57 16 58 5 59 4 60 1 61 0 62 1365 63 1364 64 1361 65 1360 66 1349 67 1348 68 1345 69 1344 70 1301 71 1300 72 1297 73 1296 74 1285 75 1284 76 1281 77 1280 78 1109 79 1108 80 1105 81 1104 82 1093 83 1092 84 1089 85 1088 86 1045 87 1044 88 1041 89 1040 90 1029 91 1028 92 1025 93 1024 94 341 95 340 96 337 97 336 98 325 99 324 100 321 101 320 102 277 103 276 104 273 105 272 106 261 107 260 108 257 109 256 110 85 111 84 112 81 113 80 114 69 115 68 116 65 117 64 118 21 119 20 120 17 121 16 122 5 123 4 124 1 125 0 126 5461 127 5460 128 5457 129 5456 130 5445 131 5444 132 5441 133 5440 134 5397 135 5396 136 5393 137 5392 138 5381 139 5380 140 5377 141 5376 142 5205 143 5204 144 5201 145 5200 146 5189 147 5188 148 5185 149 5184 150 5141 151 5140 152 5137 153 5136 154 5125 155 5124 156 5121 157 5120 158 4437 159 4436 160 4433 161 4432 162 4421 163 4420 164 4417 165 4416 166 4373 167 4372 168 4369 169 4368 170 4357 171 4356 172 4353 173 4352 174 4181 175 4180 176 4177 177 4176 178 4165 179 4164 180 4161 181 4160 182 4117 183 4116 184 4113 185 4112 186 4101 187 4100 188 4097 189 4096 190 1365 191 1364 192 1361 193 1360 194 1349 195 1348 196 1345 197 1344 198 1301 199 1300 200 1297 201 1296 202 1285 203 1284 204 1281 205 1280 206 1109 207 1108 208 1105 209 1104 210 1093 211 1092 212 1089 213 1088 214 1045 215 1044 216 1041 217 1040 218 1029 219 1028 220 1025 221 1024 222 341 223 340 224 337 225 336 226 325 227 324 228 321 229 320 230 277 231 276 232 273 233 272 234 261 235 260 236 257 237 256 238 85 239 84 240 81 241 80 242 69 243 68 244 65 245 64 246 21 247 20 248 17 249 16 250 5 251 4 252 1 253 0 254 21845 255 21844 256 21841 257 21840 258 21829 259 21828 260 21825 261 21824 262 21781 263 21780 264 21777 265 21776 266 21765 267 21764 268 21761 269 21760 270 21589 271 21588 272 21585 273 21584 274 21573 275 21572 276 21569 277 21568 278 21525 279 21524 280 21521 281 21520 282 21509 283 21508 284 21505 285 21504 286 20821 287 20820 288 20817 289 20816 290 20805 291 20804 292 20801 293 20800 294 20757 295 20756 296 20753 297 20752 298 20741 299 20740 300 20737 301 20736 302 20565 303 20564 304 20561 305 20560 306 20549 307 20548 308 20545 309 20544 310 20501 311 20500 312 20497 313 20496 314 20485 315 20484 316 20481 317 20480 318 17749 319 17748 320 17745 321 17744 322 17733 323 17732 324 17729 325 17728 326 17685 327 17684 328 17681 329 17680 330 17669 331 17668 332 17665 333 17664 334 17493 335 17492 336 17489 337 17488 338 17477 339 17476 340 17473 341 17472 342 17429 343 17428 344 17425 345 17424 346 17413 347 17412 348 17409 349 17408 350 16725 351 16724 352 16721 353 16720 354 16709 355 16708 356 16705 357 16704 358 16661 359 16660 360 16657 361 16656 362 16645 363 16644 364 16641 365 16640 366 16469 367 16468 368 16465 369 16464 370 16453 371 16452 372 16449 373 16448 374 16405 375 16404 376 16401 377 16400 378 16389 379 16388 380 16385 381 16384 382 5461 383 5460 384 5457 385 5456 386 5445 387 5444 388 5441 389 5440 390 5397 391 5396 392 5393 393 5392 394 5381 395 5380 396 5377 397 5376 398 5205 399 5204 400 5201 401 5200 402 5189 403 5188 404 5185 405 5184 406 5141 407 5140 408 5137 409 5136 410 5125 411 5124 412 5121 413 5120 414 4437 415 4436 416 4433 417 4432 418 4421 419 4420 420 4417 421 4416 422 4373 423 4372 424 4369 425 4368 426 4357 427 4356 428 4353 429 4352 430 4181 431 4180 432 4177 433 4176 434 4165 435 4164 436 4161 437 4160 438 4117 439 4116 440 4113 441 4112 442 4101 443 4100 444 4097 445 4096 446 1365 447 1364 448 1361 449 1360 450 1349 451 1348 452 1345 453 1344 454 1301 455 1300 456 1297 457 1296 458 1285 459 1284 460 1281 461 1280 462 1109 463 1108 464 1105 465 1104 466 1093 467 1092 468 1089 469 1088 470 1045 471 1044 472 1041 473 1040 474 1029 475 1028 476 1025 477 1024 478 341 479 340 480 337 481 336 482 325 483 324 484 321 485 320 486 277 487 276 488 273 489 272 490 261 491 260 492 257 493 256 494 85 495 84 496 81 497 80 498 69 499 68 500 65 501 64 502 21 503 20 504 17 505 16 506 5 507 4 508 1 509 0 510 87381 511 87380 512 87377 513 87376 514 87365 515 87364 516 87361 517 87360 518 87317 519 87316 520 87313 521 87312 522 87301 523 87300 524 87297 525 87296 526 87125 527 87124 528 87121 529 87120 530 87109 531 87108 532 87105 533 87104 534 87061 535 87060 536 87057 537 87056 538 87045 539 87044 540 87041 541 87040 542 86357 543 86356 544 86353 545 86352 546 86341 547 86340 548 86337 549 86336 550 86293 551 86292 552 86289 553 86288 554 86277 555 86276 556 86273 557 86272 558 86101 559 86100 560 86097 561 86096 562 86085 563 86084 564 86081 565 86080 566 86037 567 86036 568 86033 569 86032 570 86021 571 86020 572 86017 573 86016 574 83285 575 83284 576 83281 577 83280 578 83269 579 83268 580 83265 581 83264 582 83221 583 83220 584 83217 585 83216 586 83205 587 83204 588 83201 589 83200 590 83029 591 83028 592 83025 593 83024 594 83013 595 83012 596 83009 597 83008 598 82965 599 82964 600 82961 601 82960 602 82949 603 82948 604 82945 605 82944 606 82261 607 82260 608 82257 609 82256 610 82245 611 82244 612 82241 613 82240 614 82197 615 82196 616 82193 617 82192 618 82181 619 82180 620 82177 621 82176 622 82005 623 82004 624 82001 625 82000 626 81989 627 81988 628 81985 629 81984 630 81941 631 81940 632 81937 633 81936 634 81925 635 81924 636 81921 637 81920 638 70997 639 70996 640 70993 641 70992 642 70981 643 70980 644 70977 645 70976 646 70933 647 70932 648 70929 649 70928 650 70917 651 70916 652 70913 653 70912 654 70741 655 70740 656 70737 657 70736 658 70725 659 70724 660 70721 661 70720 662 70677 663 70676 664 70673 665 70672 666 70661 667 70660 668 70657 669 70656 670 69973 671 69972 672 69969 673 69968 674 69957 675 69956 676 69953 677 69952 678 69909 679 69908 680 69905 681 69904 682 69893 683 69892 684 69889 685 69888 686 69717 687 69716 688 69713 689 69712 690 69701 691 69700 692 69697 693 69696 694 69653 695 69652 696 69649 697 69648 698 69637 699 69636 700 69633 701 69632 702 66901 703 66900 704 66897 705 66896 706 66885 707 66884 708 66881 709 66880 710 66837 711 66836 712 66833 713 66832 714 66821 715 66820 716 66817 717 66816 718 66645 719 66644 720 66641 721 66640 722 66629 723 66628 724 66625 725 66624 726 66581 727 66580 728 66577 729 66576 730 66565 731 66564 732 66561 733 66560 734 65877 735 65876 736 65873 737 65872 738 65861 739 65860 740 65857 741 65856 742 65813 743 65812 744 65809 745 65808 746 65797 747 65796 748 65793 749 65792 750 65621 751 65620 752 65617 753 65616 754 65605 755 65604 756 65601 757 65600 758 65557 759 65556 760 65553 761 65552 762 65541 763 65540 764 65537 765 65536 766 21845 767 21844 768 21841 769 21840 770 21829 771 21828 772 21825 773 21824 774 21781 775 21780 776 21777 777 21776 778 21765 779 21764 780 21761 781 21760 782 21589 783 21588 784 21585 785 21584 786 21573 787 21572 788 21569 789 21568 790 21525 791 21524 792 21521 793 21520 794 21509 795 21508 796 21505 797 21504 798 20821 799 20820 800 20817 801 20816 802 20805 803 20804 804 20801 805 20800 806 20757 807 20756 808 20753 809 20752 810 20741 811 20740 812 20737 813 20736 814 20565 815 20564 816 20561 817 20560 818 20549 819 20548 820 20545 821 20544 822 20501 823 20500 824 20497 825 20496 826 20485 827 20484 828 20481 829 20480 830 17749 831 17748 832 17745 833 17744 834 17733 835 17732 836 17729 837 17728 838 17685 839 17684 840 17681 841 17680 842 17669 843 17668 844 17665 845 17664 846 17493 847 17492 848 17489 849 17488 850 17477 851 17476 852 17473 853 17472 854 17429 855 17428 856 17425 857 17424 858 17413 859 17412 860 17409 861 17408 862 16725 863 16724 864 16721 865 16720 866 16709 867 16708 868 16705 869 16704 870 16661 871 16660 872 16657 873 16656 874 16645 875 16644 876 16641 877 16640 878 16469 879 16468 880 16465 881 16464 882 16453 883 16452 884 16449 885 16448 886 16405 887 16404 888 16401 889 16400 890 16389 891 16388 892 16385 893 16384 894 5461 895 5460 896 5457 897 5456 898 5445 899 5444 900 5441 901 5440 902 5397 903 5396 904 5393 905 5392 906 5381 907 5380 908 5377 909 5376 910 5205 911 5204 912 5201 913 5200 914 5189 915 5188 916 5185 917 5184 918 5141 919 5140 920 5137 921 5136 922 5125 923 5124 924 5121 925 5120 926 4437 927 4436 928 4433 929 4432 930 4421 931 4420 932 4417 933 4416 934 4373 935 4372 936 4369 937 4368 938 4357 939 4356 940 4353 941 4352 942 4181 943 4180 944 4177 945 4176 946 4165 947 4164 948 4161 949 4160 950 4117 951 4116 952 4113 953 4112 954 4101 955 4100 956 4097 957 4096 958 1365 959 1364 960 1361 961 1360 962 1349 963 1348 964 1345 965 1344 966 1301 967 1300 968 1297 969 1296 970 1285 971 1284 972 1281 973 1280 974 1109 975 1108 976 1105 977 1104 978 1093 979 1092 980 1089 981 1088 982 1045 983 1044 984 1041 985 1040 986 1029 987 1028 988 1025 989 1024 990 341 991 340 992 337 993 336 994 325 995 324 996 321 997 320 998 277 999 276 1000 273 1001 272 1002 261 1003 260 1004 257 1005 256 1006 85 1007 84 1008 81 1009 80 1010 69 1011 68 1012 65 1013 64 1014 21 1015 20 1016 17 1017 16 1018 5 1019 4 1020 1 1021 0 1022 349525 1023 349524 1024 349521