# Computed by Robert Israel, May 09 2024 # using Maple 2023.2, X86 64 WINDOWS, Nov 24 2023, Build ID 1762575 1 0 2 0 3 1 4 0 5 2 6 2 7 5 8 3 9 3 10 0 11 8 12 5 13 16 14 11 15 29 16 18 17 18 18 12 19 13 20 7 21 23 22 23 23 51 24 35 25 28 26 20 27 62 28 44 29 82 30 79 31 132 32 98 33 100 34 75 35 144 36 108 37 121 38 80 39 185 40 131 41 148 42 87 43 203 44 145 45 265 46 200 47 345 48 264 49 300 50 214 51 272 52 187 53 305 54 274 55 301 56 216 57 246 58 210 59 340 60 258 61 406 62 408 63 582 64 438 65 496 66 457 67 631 68 474 69 744 70 699 71 925 72 720 73 779 74 735 75 969 76 791 77 1128 78 1099 79 1370 80 1106 81 1236 82 1147 83 1457 84 1190 85 1660 86 1565 87 1964 88 1551 89 1731 90 1597 91 1691 92 1327 93 1781 94 1789 95 2263 96 1777 97 1848 98 1836 99 2018 100 1564 101 1588 102 1551 103 2179 104 1734 105 1764 106 1588 107 2307 108 1771 109 1977 110 1729 111 2530 112 1954 113 2124 114 1816 115 2702 116 2093 117 2743 118 2529 119 3404 120 2697 121 2931 122 2515 123 3657 124 2771 125 3813 126 3347 127 3806 128 2944 129 3431 130 3064 131 3919 132 3188 133 4341 134 4100 135 4991 136 3995 137 4530 138 4187 139 5203 140 4133 141 5634 142 5318 143 6435 144 5074 145 5805 146 5433 147 6563 148 5352 149 6965 150 6727 151 6694 152 5613 153 6486 154 6133 155 6938 156 5843 157 7869 158 7487 159 8443 160 7061 161 8224 162 7643 163 7716 164 6480 165 8344 166 8374 167 9376 168 7753 169 8657 170 8580 171 9626 172 8126 173 10416 174 10205 175 11469 176 9498 177 10789 178 10552 179 11752 180 9703 181 11307 182 10925 183 12302 184 10231 185 11755 186 11186 187 12767 188 10559 189 13505 190 13062 191 14923 192 12155 193 14096 194 13384 195 15399 196 12659 197 14834 198 13306 199 14369 200 11684 201 13880 202 12634 203 14789 204 12124 205 16041 206 14563 207 16902 208 14061 209 16733 210 15236 211 17599 212 14472 213 19026 214 17623 215 19906 216 16299 217 19315 218 17898 219 20311 220 17046 221 21909 222 20534 223 23207 224 19171 225 22518 226 21138 227 23841 228 19775 229 25412 230 23929 231 27044 232 22422 233 25955 234 24022 235 25480 236 21070 237 26345 238 25458 239 28718 240 23743 241 27101 242 25737 243 27209 244 22709 245 27565 246 27144 247 30619 248 25511 249 28329 250 27696 251 28899 252 23723 253 26712 254 26283 255 30275 256 24592 257 27526 258 26972 259 31340 260 24984 261 30404 262 30727 263 34856 264 28296 265 31058 266 31135 267 35875 268 29188 269 34651 270 34355 271 36570 272 29755 273 33443 274 33052 275 37377 276 30774 277 37808 278 37153 279 41183 280 34263 281 38662 282 38350 283 42222 284 35012 285 43064 286 42795 287 46682 288 37989 289 43441 290 43141 291 47291 292 39072 293 47949 294 48140 295 48100 296 39796 297 45412 298 45988 299 48827 300 40635 301 47470 302 46756 303 50881 304 42828 305 48461 306 46468 307 48898 308 40827 309 49126 310 49119 311 54188 312 44772 313 50655 314 49726 315 54363 316 46350 317 56105 318 55218 319 60618 320 50611 321 56846 322 56171 323 61204 324 50606 325 59381 326 57593 327 62914 328 52501 329 61027 330 58297 331 64966 332 53402 333 65857 334 64727 335 70801 336 58299 337 67428 338 65704 339 68304 340 56333 341 68235 342 66702 343 69603 344 57381 345 65479 346 64789 347 70711 348 58396 349 71098 350 71236 351 70535 352 59996 353 69401 354 69009 355 72362 356 61267 357 75942 358 75527 359 79510 360 65362 361 76874 362 76597 363 79740 364 67547 365 83745 366 83607 367 87551 368 73967 369 84366 370 85006 371 88507 372 75026 373 92167 374 92693 375 96822 376 81629 377 94020 378 92084 379 94003 380 79291 381 95210 382 96224 383 102312 384 85296 385 96260 386 97589 387 102027 388 87401 389 105352 390 105945 391 111020 392 94294 393 106410 394 106819 395 112561 396 93787 397 110178 398 108827 399 115251 400 96348 401 111970 402 109872 403 117096 404 98862 405 118772 406 119399 407 126388 408 105593 409 121286 410 120970 411 128214 412 107700 413 130969 414 127333 415 130306 416 110081 417 127059 418 125479 419 132370 420 111522 421 136064 422 135616 423 139511 424 120149 425 139401 426 137394 427 143115 428 122161 429 148928 430 147771 431 154051 432 127839 433 150234 434 149266 435 154239 436 131539 437 160634 438 159378 439 165901 440 140753 441 160708 442 161123 443 167918 444 142630 445 172554 446 172236 447 179412 448 151714 449 174800 450 170563 451 174099 452 147634 453 176715 454 177153 455 186378 456 156521 457 178410 458 179274 459 185528 460 159811 461 191725 462 191507 463 199486 464 169526 465 193433 466 193562 467 202294 468 168926 469 198392 470 196587 471 206056 472 172927 473 201326 474 198066 475 209029 476 176289 477 210495 478 211406 479 222473 480 186374 481 214959 482 213637 483 224956 484 189151 485 220107 486 211187 487 219907 488 184508 489 215658 490 208646 491 214406 492 178980 493 216525 494 213205 495 223788 496 190695 497 219274 498 217336 499 229519 500 193706 501 225114 502 217744 503 234871 504 192789 505 227646 506 219796 507 236460 508 198643 509 240820 510 234392 511 250531 512 209662 513 240647 514 237576 515 253295 516 213517 517 257085 518 251679 519 269171 520 224271 521 259698 522 249606 523 262758 524 218833 525 263053 526 258910 527 278758 528 231855 529 264362 530 259973 531 277127 532 235656 533 280712 534 276917 535 296182 536 248497 537 283639 538 277411 539 298257 540 246427 541 290491 542 280734 543 304237 544 252963 545 293399 546 284205 547 306688 548 255594 549 304933 550 301350 551 309668 552 259893 553 302234 554 294054 555 313581 556 262352 557 318074 558 305292 559 317406 560 265254 561 312065 562 303730 563 318821 564 269994 565 327596 566 319962 567 331193 568 284379 569 331441 570 323974 571 340019 572 287136 573 350410 574 340596 575 357475 576 297294 577 352905 578 343443 579 349107 580 295396 581 353256 582 352158 583 367898 584 309100 585 352142 586 353505 587 371563 588 314206 589 363877 590 356281 591 378294 592 317707 593 366748 594 352143 595 369509 596 310058 597 371692 598 365948 599 388237 600 324877 601 373254 602 367900 603 387319 604 328863 605 393999 606 390061 607 412510 608 345741 609 396277 610 390897 611 415758 612 343508 613 403671 614 395015 615 423997 616 353214 617 408617 618 396611 619 427229 620 356177 621 422838 622 419950 623 448913 624 375886 625 433806 626 423332 627 452471 628 378741 629 453749 630 436820 631 456640 632 382311 633 446935 634 434958 635 459037 636 386698 637 465606 638 456468 639 474516 640 403583 641 471492 642 461792 643 486587 644 408661 645 491600 646 482679 647 509657 648 420117 649 494044 650 484728 651 497941 652 419760 653 497245 654 492737 655 521994 656 436787 657 495928 658 496813 659 525807 660 443942 661 526609 662 522382 663 549426 664 461514 665 529770 666 517131 667 536733 668 452657 669 535930 670 534826 671 562154 672 472137 673 538831 674 538893 675 559875 676 475588 677 551507 678 544943 679 578132 680 482457 681 552903 682 546684 683 582875 684 478639 685 561205 686 551526 687 571450 688 477898 689 550492 690 539765 691 576759 692 481261 693 569373 694 564078 695 602440 696 505274 697 584511 698 569035 699 606695 700 508268 701 593504 702 563558 703 591613 704 499768 705 586255 706 564860 707 596641 708 502882 709 610403 710 588622 711 616481 712 521983 713 617017 714 598029 715 632480 716 530366 717 641676 718 623429 719 658457 720 542279 721 640637 722 628167 723 648887 724 546370 725 645675 726 636665 727 654377 728 548687 729 629166 730 621110 731 657149 732 557209 733 666483 734 654081 735 686140 736 580529 737 670701 738 644634 739 665223 740 569119 741 677801 742 670538 743 697278 744 590562 745 682938 746 673262 747 696172 748 592309 749 714338 750 705276 751 710951 752 602993 753 697705 754 694832 755 715653 756 595065 757 703069 758 701985 759 727836 760 616975 761 714637 762 701871 763 734838 764 618580 765 735002 766 732218 767 766223 768 646266 769 754050 770 740257 771 770512 772 654977 773 785191 774 757299 775 770435 776 660114 777 773159 778 760071 779 779439 780 663719 781 802828 782 788712 783 801623 784 686347 785 812433 786 796447 787 819889 788 696705 789 839505 790 829846 791 853893 792 710010 793 836256 794 833732 795 856291 796 735801 797 877495 798 864231 799 894440 800 757524 801 871063 802 866062 803 899093 804 768607 805 920424 806 904633 807 930311 808 798278 809 925145 810 895718 811 909984 812 783933 813 932293 814 926983 815 950885 816 809283 817 939274 818 930076 819 944270 820 814423 821 979067 822 970472 823 997602 824 848551 825 979218 826 975239 827 1002725 828 836623 829 987802 830 984115 831 1014578 832 863176 833 1002250 834 985535 835 1026170 836 866308 837 1022810 838 1020409 839 1063199 840 899186 841 1048914 842 1031595 843 1067060 844 908597 845 1084882 846 1050244 847 1071182 848 915844 849 1070395 850 1053732 851 1057926 852 899310 853 1074738 854 1068708 855 1080885 856 925651 857 1081384 858 1079767 859 1108845 860 941597 861 1120087 862 1118187 863 1146823 864 952468 865 1118141 866 1122084 867 1149744 868 984748 869 1166019 870 1161988 871 1197343 872 1014323 873 1157017 874 1165120 875 1198574 876 1024643 877 1219107 878 1211171 879 1241718 880 1059749 881 1223613 882 1196371 883 1218330 884 1039809 885 1232642 886 1237103 887 1265085 888 1072399 889 1238247 890 1239684 891 1255876 892 1079392 893 1281243 894 1288161 895 1321766 896 1122524 897 1290254 898 1294825 899 1327674 900 1105344 901 1299259 902 1303107 903 1341459 904 1140145 905 1315800 906 1308773 907 1353618 908 1143974 909 1338495 910 1351875 911 1396552 912 1182228 913 1371251 914 1362442 915 1404320 916 1194676 917 1414644 918 1383976 919 1409538 920 1199654 921 1396985 922 1393630 923 1421432 924 1209431 925 1440783 926 1433861 927 1447785 928 1241575 929 1449035 930 1447321 931 1481385 932 1259532 933 1495920 934 1493980 935 1528389 936 1273101 937 1492641 938 1495412 939 1529612 940 1311498 941 1550946 942 1544137 943 1584584 944 1344496 945 1537954 946 1549303 947 1589863 948 1357081 949 1612888 950 1601707 951 1596231 952 1365926 953 1588609 954 1557025 955 1570399 956 1346204 957 1599654 958 1606808 959 1626066 960 1385759 961 1603804 962 1608746 963 1610646 964 1392715 965 1657704 966 1667559 967 1691467 968 1443173 969 1667134 970 1670242 971 1698280 972 1424988 973 1679797 974 1682951 975 1712069 976 1463602 977 1698634 978 1688346 979 1723908 980 1469853 981 1692610 982 1696121 983 1748812 984 1484392 985 1730658 986 1706637 987 1756898 988 1492107 989 1782699 990 1727111 991 1763945 992 1504005 993 1762185 994 1735929 995 1777273 996 1515973 997 1812887 998 1789236 999 1803198 1000 1551974