# Computed by Robert Israel, August 18 2019 # using Maple 2019.1, X86 64 WINDOWS, May 21 2019, Build ID 1399874 1 4 2 124 3 320 4 392 5 416 6 800 7 1352 8 1520 9 2912 10 2960 11 3536 12 3872 13 5720 14 5936 15 6320 16 7112 17 8216 18 9176 19 9912 20 10472 21 11816 22 12152 23 12896 24 13280 25 14960 26 15176 27 16080 28 16400 29 16536 30 18032 31 18392 32 18560 33 19136 34 19880 35 20000 36 21632 37 21680 38 21920 39 22736 40 23120 41 23816 42 24080 43 24752 44 25376 45 25896 46 26288 47 28952 48 31472 49 31520 50 33176 51 34400 52 35120 53 35216 54 35360 55 36512 56 38936 57 39872 58 40400 59 40712 60 42896 61 43472 62 43896 63 44528 64 45032 65 45200 66 45416 67 46376 68 46880 69 49112 70 49520 71 49952 72 50856 73 51920 74 55536 75 56336 76 59192 77 60312 78 61256 79 61280 80 61760 81 63752 82 65000 83 66416 84 66800 85 67952 86 68432 87 68960 88 69272 89 69576 90 70160 91 70616 92 71456 93 75152 94 75192 95 75920 96 77000 97 78176 98 78728 99 79976 100 85280 101 85520 102 85736 103 87200 104 87440 105 88160 106 88296 107 88760 108 89096 109 89936 110 90800 111 90872 112 91112 113 91280 114 91416 115 93080 116 93248 117 93992 118 94880 119 95576 120 95600 121 96992 122 97520 123 98840 124 99176 125 100880 126 101016 127 101192 128 102320 129 102440 130 103760 131 103880 132 104000 133 106232 134 107360 135 109616 136 111680 137 113792 138 114296 139 114632 140 114920 141 115232 142 116312 143 118352 144 119496 145 121472 146 123752 147 125112 148 126800 149 128336 150 129200 151 129416 152 130256 153 130880 154 131768 155 133952 156 134120 157 134480 158 134960 159 137312 160 137480 161 138152 162 138632 163 139376 164 141752 165 143192 166 143936 167 144872 168 146120 169 146552 170 146960 171 147680 172 147992 173 149360 174 150536 175 150800 176 151592 177 154232 178 154616 179 156936 180 157760 181 159512 182 160952 183 161696 184 163592 185 165872 186 166160 187 166712 188 168080 189 168896 190 169136 191 169232 192 170576 193 171416 194 171752 195 172256 196 173328 197 174320 198 175208 199 175656 200 177632 201 177816 202 178256 203 178472 204 179360 205 181160 206 186992 207 188240 208 189176 209 189992 210 191240 211 191488 212 192752 213 193040 214 193488 215 198152 216 198536 217 199160 218 199760 219 200136 220 200312 221 201992 222 202832 223 203496 224 205712 225 207888 226 207896 227 209456 228 212072 229 213416 230 214376 231 216560 232 217776 233 217880 234 218000 235 222320 236 222560 237 223280 238 225512 239 226400 240 226856 241 227200 242 231176 243 231392 244 232232 245 233120 246 233480 247 236432 248 236600 249 236936 250 236960 251 238232 252 239720 253 241592 254 241976 255 243680 256 245336 257 245360 258 246080 259 247256 260 248192 261 248480 262 249392 263 251720 264 252512 265 253760 266 254696 267 255200 268 255216 269 257120 270 257816 271 258776 272 259128 273 261920 274 262160 275 263312 276 264152 277 264320 278 264680 279 265616 280 265856 281 266136 282 266960 283 267800 284 268856 285 270400 286 271760 287 272216 288 273896 289 274736 290 281120 291 282632 292 283400 293 284456 294 285272 295 285896 296 286528 297 288080 298 289016 299 289352 300 289416 301 296088 302 296192 303 297296 304 299120 305 300872 306 301112 307 301616 308 302312 309 304160 310 304976 311 306152 312 306696 313 307112 314 307280 315 308960 316 310352 317 310856 318 311192 319 316448 320 317096 321 317120 322 319760 323 321056 324 324080 325 324168 326 324896 327 326136 328 327200 329 327392 330 328880 331 328952 332 329360 333 330800 334 331352 335 331760 336 332816 337 333560 338 335496 339 337232 340 337400 341 337832 342 338768 343 341432 344 342392 345 342560 346 343280 347 344120 348 344472 349 346976 350 347696 351 348152 352 348752 353 351176 354 351416 355 351512 356 357760 357 359240 358 362000 359 362336 360 362720 361 364400 362 367248 363 367640 364 368576 365 368816 366 369680 367 371120 368 372216 369 372800 370 375920 371 376376 372 376880 373 377312 374 378392 375 379496 376 380432 377 380744 378 382928 379 383432 380 384216 381 384800 382 387920 383 389816 384 392336 385 392720 386 393200 387 394568 388 395096 389 396320 390 396536 391 398216 392 399776 393 400232 394 401072 395 401336 396 402800 397 404600 398 405392 399 410192 400 410720 401 411320 402 412496 403 413336 404 414800 405 418376 406 418496 407 420080 408 420392 409 421512 410 422072 411 423920 412 425120 413 425432 414 425816 415 426776 416 427616 417 427856 418 429296 419 430872 420 431112 421 433520 422 433832 423 434712 424 436568 425 438032 426 438152 427 438320 428 439952 429 440336 430 441440 431 441920 432 442520 433 442928 434 445016 435 448136 436 448952 437 449072 438 450632 439 451088 440 453320 441 455000 442 463520 443 465752 444 468776 445 472880 446 473816 447 474176 448 474992 449 475280 450 475592 451 476336 452 477176 453 480272 454 480792 455 481712 456 482960 457 484400 458 486320 459 488600 460 488928 461 489056 462 489776 463 491816 464 493760 465 495992 466 497360 467 498408 468 502160 469 502736 470 503256 471 503720 472 504080 473 504192 474 504392 475 504920 476 505736 477 508880 478 510440 479 511472 480 512456 481 513656 482 518072 483 518216 484 520352 485 520400 486 521456 487 523376 488 525272 489 527120 490 529256 491 529880 492 531272 493 532056 494 533312 495 534872 496 535976 497 537152 498 539672 499 539968 500 541136 501 543920 502 544232 503 544376 504 544560 505 545216 506 545352 507 545720 508 546936 509 547520 510 548480 511 548880 512 548912 513 548960 514 550896 515 551096 516 551600 517 552320 518 552728 519 554320 520 555752 521 556136 522 557360 523 560672 524 563192 525 563568 526 564320 527 565032 528 566000 529 569192 530 571376 531 572432 532 572960 533 573128 534 576800 535 576992 536 577520 537 580832 538 581672 539 581728 540 584376 541 585528 542 586160 543 587496 544 588560 545 591200 546 591416 547 593216 548 593936 549 596792 550 599168 551 600392 552 601496 553 601600 554 604856 555 605912 556 606320 557 606872 558 607760 559 607880 560 608816 561 609680 562 611016 563 611816 564 614960 565 618072 566 620816 567 624080 568 625040 569 626360 570 626480 571 626720 572 628712 573 632072 574 633776 575 634256 576 636776 577 636896 578 640136 579 641816 580 642560 581 644552 582 645512 583 645680 584 646256 585 647696 586 649896 587 650000 588 650312 589 650960 590 651560 591 653352 592 657800 593 658736 594 661472 595 665576 596 665672 597 666480 598 667472 599 668072 600 668888 601 669656 602 670176 603 671216 604 672056 605 673736 606 674576 607 675896 608 676880 609 678272 610 678560 611 681200 612 682160 613 684320 614 687752 615 688376 616 689192 617 689696 618 691880 619 692000 620 692552 621 693392 622 693896 623 694608 624 695120 625 696072 626 697928 627 698720 628 699440 629 702080 630 702800 631 703976 632 706400 633 708512 634 710216 635 711536 636 711776 637 713000 638 713960 639 715280 640 715736 641 717080 642 718880 643 718952 644 719808 645 724256 646 726152 647 726440 648 727496 649 728720 650 728960 651 730352 652 731120 653 731432 654 732992 655 734552 656 735056 657 735800 658 736232 659 738296 660 738608 661 742160 662 743288 663 743496 664 744992 665 745520 666 748280 667 748496 668 753272 669 753896 670 757016 671 757232 672 758576 673 759200 674 759408 675 762800 676 762880 677 763280 678 766136 679 769496 680 770120 681 776672 682 777056 683 777296 684 778232 685 779360 686 781280 687 783536 688 784160 689 785912 690 786656 691 786800 692 787488 693 791120 694 793352 695 793856 696 797072 697 799136 698 800912 699 804560 700 805616 701 806624 702 807632 703 808808 704 810992 705 811952 706 812696 707 814856 708 816144 709 817752 710 818376 711 819728 712 819808 713 821360 714 821936 715 823976 716 824720 717 825096 718 827672 719 828152 720 828296 721 828464 722 830648 723 831512 724 833120 725 835352 726 836592 727 836696 728 839720 729 840080 730 840216 731 840392 732 840632 733 842480 734 842576 735 844376 736 844880 737 845832 738 846032 739 846176 740 846776 741 847112 742 852176 743 854360 744 857832 745 858032 746 858936 747 859760 748 860720 749 860960 750 863408 751 863576 752 863600 753 865392 754 866600 755 868472 756 869456 757 870296 758 870320 759 871880 760 872312 761 873152 762 873680 763 874400 764 875000 765 875192 766 875792 767 882176 768 883760 769 886880 770 888648 771 889616 772 894536 773 894992 774 898256 775 898352 776 898976 777 900536 778 900632 779 900872 780 902552 781 906440 782 909896 783 911792 784 913416 785 913880 786 914312 787 916856 788 916864 789 918512 790 918560 791 919088 792 922160 793 922376 794 923456 795 924440 796 926432 797 927680 798 930272 799 930656 800 930800 801 931112 802 931632 803 932456 804 934976 805 936416 806 937832 807 938912 808 942896 809 943176 810 944840 811 949520 812 950936 813 951992 814 953360 815 953480 816 955520 817 955760 818 956720 819 957152 820 958496 821 959120 822 959920 823 960456 824 962360 825 962936 826 966392 827 972440 828 972816 829 973752 830 976880 831 976976 832 977600 833 978936 834 978992 835 979496 836 981680 837 982520 838 982880 839 987680 840 987896 841 987920 842 988736 843 989360 844 989456 845 993488 846 994136 847 994952 848 996320 849 997760 850 999336