# Computed by Robert Israel, August 18 2019 # using Maple 2019.1, X86 64 WINDOWS, May 21 2019, Build ID 1399874 1 3 2 126 3 186 4 399 5 924 6 1350 7 1386 8 1530 9 1806 10 2106 11 2646 12 2652 13 2814 14 2916 15 3066 16 3150 17 3654 18 3870 19 4662 20 4914 21 6162 22 6426 23 6846 24 6882 25 6930 26 7098 27 7566 28 7620 29 8190 30 8910 31 9270 32 10842 33 11076 34 12222 35 12870 36 14586 37 14910 38 15210 39 15246 40 15930 41 16506 42 17010 43 17442 44 17550 45 18810 46 18972 47 19170 48 19194 49 19350 50 19446 51 19908 52 20286 53 20610 54 21084 55 21390 56 21546 57 21720 58 21966 59 22050 60 22302 61 22356 62 22506 63 22554 64 22950 65 24210 66 24264 67 25506 68 25746 69 25830 70 26010 71 26226 72 26286 73 26412 74 26586 75 27132 76 28014 77 28050 78 28116 79 29250 80 29526 81 29904 82 30186 83 30636 84 30732 85 31374 86 31590 87 32130 88 33174 89 33210 90 34110 91 34671 92 35370 93 36330 94 36360 95 36846 96 37422 97 38094 98 38142 99 38346 100 38430 101 38682 102 39150 103 39330 104 39690 105 40326 106 40410 107 40614 108 41130 109 42030 110 42666 111 42966 112 43386 113 43470 114 43602 115 44196 116 44226 117 45654 118 45684 119 46242 120 47430 121 48006 122 48426 123 48750 124 48804 125 49146 126 49860 127 49950 128 50490 129 51624 130 52206 131 52794 132 53046 133 53370 134 53730 135 54810 136 54873 137 55242 138 55356 139 55566 140 55986 141 56940 142 57102 143 57474 144 58716 145 60270 146 60390 147 60606 148 60750 149 61110 150 62370 151 62664 152 62790 153 62946 154 63054 155 63450 156 63882 157 63954 158 64134 159 64770 160 64806 161 65412 162 65646 163 66330 164 67230 165 67626 166 68154 167 68859 168 68922 169 69174 170 69570 171 70422 172 70830 173 70866 174 70890 175 71010 176 71982 177 72366 178 72744 179 73242 180 73500 181 74130 182 74466 183 74970 184 75222 185 75762 186 75780 187 75900 188 76020 189 76230 190 77406 191 77994 192 78486 193 78750 194 79254 195 79470 196 79704 197 80010 198 80106 199 80730 200 81186 201 81276 202 82404 203 82446 204 83382 205 84006 206 84294 207 85722 208 85974 209 86190 210 87030 211 87066 212 87192 213 87210 214 87606 215 89622 216 90270 217 90342 218 90594 219 90810 220 91350 221 92274 222 92526 223 92610 224 92814 225 93210 226 95046 227 95310 228 96252 229 96774 230 97110 231 97146 232 97836 233 97902 234 98352 235 98406 236 100590 237 100926 238 101166 239 101310 240 102186 241 104220 242 104346 243 105084 244 105210 245 105462 246 105756 247 105846 248 107406 249 107910 250 108486 251 108654 252 109356 253 109410 254 110250 255 111174 256 112230 257 112686 258 112770 259 112812 260 112950 261 113670 262 114450 263 114534 264 114954 265 115380 266 115830 267 116250 268 116586 269 117144 270 117576 271 117630 272 118230 273 118332 274 118566 275 118860 276 119112 277 119250 278 119574 279 119970 280 120510 281 120582 282 121032 283 121086 284 121290 285 121464 286 121758 287 123570 288 123606 289 123774 290 124332 291 124362 292 124866 293 125874 294 126270 295 126546 296 126666 297 127476 298 128070 299 128526 300 128772 301 129150 302 130326 303 131166 304 131586 305 132090 306 132570 307 133146 308 133362 309 133860 310 134190 311 134550 312 134664 313 135780 314 137004 315 137214 316 137610 317 137970 318 138516 319 138840 320 140562 321 140670 322 140994 323 141174 324 141882 325 141930 326 142506 327 142830 328 144360 329 144522 330 145026 331 145626 332 146286 333 146454 334 146580 335 147510 336 147924 337 149814 338 150066 339 150102 340 150234 341 150306 342 150822 343 151272 344 151326 345 152550 346 152604 347 152622 348 152964 349 153186 350 153594 351 154266 352 154350 353 154380 354 155916 355 156870 356 157374 357 157590 358 158424 359 159054 360 160146 361 161082 362 161154 363 161676 364 162306 365 162810 366 163086 367 163350 368 163620 369 164724 370 164850 371 165516 372 165690 373 166236 374 166770 375 167454 376 167670 377 167706 378 168516 379 168810 380 169110 381 169470 382 170196 383 170982 384 171522 385 172044 386 173124 387 173382 388 173754 389 174216 390 174510 391 175140 392 175266 393 176274 394 176670 395 176814 396 177030 397 177066 398 177282 399 178542 400 178674 401 179010 402 180306 403 181530 404 181986 405 182286 406 183672 407 184230 408 184254 409 184884 410 187404 411 187746 412 187902 413 188916 414 189180 415 192330 416 192570 417 192906 418 193362 419 193830 420 193986 421 194130 422 194766 423 195426 424 195984 425 196350 426 196746 427 196830 428 197316 429 197484 430 197946 431 198270 432 199626 433 199710 434 200466 435 200556 436 200634 437 201066 438 201870 439 202230 440 202572 441 202740 442 203490 443 203688 444 204126 445 204216 446 205470 447 205902 448 206646 449 206730 450 207090 451 207450 452 208170 453 208404 454 208782 455 209034 456 210966 457 211146 458 211650 459 212310 460 213750 461 214830 462 215082 463 215550 464 215646 465 217386 466 218106 467 218610 468 219366 469 220644 470 220662 471 220770 472 221130 473 221634 474 222054 475 222066 476 222972 477 223146 478 224196 479 224826 480 225330 481 226062 482 226674 483 226734 484 227070 485 227934 486 229032 487 230022 488 231210 489 231714 490 232134 491 232470 492 233046 493 234954 494 236124 495 236670 496 236970 497 239064 498 239526 499 240534 500 240930 501 241290 502 241380 503 241542 504 242340 505 242502 506 242550 507 242802 508 242970 509 243054 510 243306 511 244662 512 245070 513 245214 514 245250 515 245916 516 246114 517 246582 518 247050 519 247590 520 247806 521 248514 522 249228 523 250152 524 250614 525 250692 526 250866 527 251286 528 252924 529 253530 530 253890 531 253980 532 254076 533 254940 534 256410 535 256860 536 258060 537 259434 538 259686 539 259722 540 260586 541 260772 542 260784 543 260910 544 260946 545 261366 546 261702 547 261954 548 262890 549 263796 550 264726 551 264870 552 264966 553 265986 554 266166 555 266442 556 266526 557 267372 558 268476 559 268506 560 269010 561 269262 562 269730 563 269820 564 269934 565 270204 566 270522 567 270630 568 272034 569 273294 570 274716 571 275076 572 275262 573 275604 574 275994 575 276030 576 276108 577 276234 578 276570 579 279006 580 279846 581 279990 582 281904 583 281970 584 282366 585 283050 586 285030 587 285432 588 286110 589 286524 590 286650 591 286812 592 287370 593 287406 594 287460 595 287574 596 291354 597 292194 598 292740 599 292950 600 293580 601 293670 602 294126 603 295926 604 296424 605 296514 606 298494 607 298746 608 299070 609 299130 610 299166 611 299430 612 299646 613 300330 614 300510 615 301002 616 301236 617 302022 618 302364 619 302406 620 302562 621 304470 622 305046 623 307314 624 310590 625 310842 626 310860 627 311310 628 311514 629 313650 630 313782 631 314106 632 314370 633 314730 634 315690 635 316350 636 316530 637 316602 638 317310 639 318330 640 319788 641 319914 642 320166 643 320850 644 321930 645 322326 646 322830 647 323622 648 324270 649 324702 650 325206 651 325242 652 326130 653 326844 654 327978 655 328410 656 328770 657 328986 658 329406 659 329742 660 329964 661 330210 662 330252 663 330552 664 330666 665 330780 666 331170 667 331506 668 331674 669 331926 670 332262 671 332766 672 332910 673 334026 674 334530 675 335790 676 336210 677 336312 678 337554 679 338130 680 339066 681 339282 682 339486 683 339570 684 342006 685 342270 686 342810 687 342846 688 343356 689 343854 690 344070 691 344286 692 345672 693 346200 694 346770 695 347310 696 347676 697 348030 698 348306 699 349146 700 349992 701 350370 702 350910 703 351162 704 351492 705 352170 706 352836 707 352926 708 353652 709 353970 710 354510 711 356022 712 356076 713 357210 714 357966 715 358470 716 358650 717 359394 718 359676 719 360150 720 361494 721 361692 722 361710 723 361998 724 362250 725 362556 726 363510 727 364650 728 364824 729 366210 730 366630 731 367206 732 367794 733 368334 734 369054 735 369810 736 370026 737 370986 738 371364 739 371826 740 374310 741 375354 742 375606 743 375666 744 375912 745 376116 746 376866 747 376956 748 379476 749 379962 750 380250 751 380970 752 381150 753 381654 754 381870 755 381876 756 382284 757 382524 758 383130 759 385182 760 385350 761 386010 762 386442 763 386910 764 387036 765 387114 766 387366 767 387630 768 388350 769 388554 770 388662 771 390222 772 390726 773 390786 774 391230 775 392310 776 393420 777 393666 778 394470 779 394506 780 394926 781 395250 782 396942 783 398286 784 398454 785 398790 786 399510 787 400344 788 401562 789 403026 790 404730 791 405306 792 405834 793 405846 794 405852 795 406770 796 407526 797 407778 798 409014 799 409194 800 409950 801 410550 802 410670 803 411246 804 412152 805 412314 806 412524 807 413172 808 413610 809 413730 810 414594 811 415350 812 415926 813 416610 814 416934 815 417690 816 418194 817 418770 818 419016 819 419130 820 419706 821 420210 822 420714 823 421272 824 421650 825 421764 826 422226 827 422682 828 423108 829 423486 830 425436 831 425754 832 425796 833 426150 834 426510 835 426582 836 427266 837 427362 838 427410 839 427770 840 429324 841 429480 842 429750 843 429846 844 430470 845 430542 846 430584 847 431466 848 431844 849 433224 850 433446 851 433710 852 433734 853 434664 854 435330 855 436086 856 436326 857 436506 858 437904 859 439110 860 439146 861 440034 862 441870 863 441882 864 442134 865 443070 866 443436 867 443646 868 444690 869 445410 870 446166 871 446490 872 448686 873 449736 874 450036 875 452502 876 452970 877 453276 878 453726 879 453762 880 454146 881 454356 882 455442 883 456060 884 456372 885 456750 886 457170 887 457506 888 458862 889 459270 890 459486 891 459576 892 459810 893 460530 894 461292 895 461454 896 462204 897 462210 898 462294 899 462966 900 463230 901 465738 902 467586 903 468270 904 468792 905 468810 906 468846 907 469482 908 469620 909 470250 910 470484 911 470526 912 471114 913 471156 914 471384 915 472050 916 472374 917 474486 918 476550 919 476658 920 478890 921 478998 922 479610 923 479934 924 480150 925 480870 926 481362 927 481446 928 481950 929 482130 930 482346 931 482370 932 482586 933 483060 934 483414 935 484386 936 484926 937 485226 938 485646 939 485982 940 486276 941 486486 942 486630 943 488754 944 489510 945 490014 946 490230 947 490410 948 490434 949 491022 950 491700 951 491946 952 492120 953 493290 954 493962 955 493992 956 496710 957 496836 958 497250 959 497490 960 497574 961 497796 962 497826 963 499842 964 500850 965 501054 966 501642 967 501666 968 503034 969 505890 970 507390 971 507870 972 508470 973 508950 974 509130 975 509670 976 510426 977 510540 978 511308 979 513954 980 514206 981 514350 982 514590 983 514626 984 514962 985 515412 986 519246 987 519750 988 520506 989 521460 990 521934 991 522186 992 522774 993 523446 994 523476 995 523602 996 523710 997 524250 998 524286 999 526302 1000 526950 1001 527310 1002 527478 1003 527814 1004 527850 1005 528066 1006 528126 1007 528390 1008 528606 1009 529170 1010 529542 1011 531774 1012 531810 1013 532014 1014 534006 1015 534750 1016 536382 1017 536922 1018 537810 1019 539070 1020 539550 1021 539910 1022 540162 1023 540414 1024 540666 1025 540702 1026 540870 1027 541242 1028 542070 1029 542850 1030 545166 1031 546126 1032 546390 1033 547026 1034 547470 1035 548226 1036 549270 1037 549780 1038 549990 1039 550494 1040 550710 1041 550746 1042 550914 1043 551430 1044 552930 1045 553950 1046 554490 1047 555450 1048 555930 1049 556326 1050 556434 1051 557466 1052 557550 1053 558636 1054 560070 1055 560322 1056 560430 1057 560844 1058 561078 1059 561150 1060 561210 1061 561246 1062 561534 1063 561834 1064 563400 1065 563766 1066 564570 1067 564750 1068 566610 1069 566826 1070 567126 1071 567924 1072 568590 1073 569646 1074 569970 1075 571950 1076 572130 1077 572310 1078 572670 1079 572676 1080 573846 1081 575406 1082 575910 1083 576114 1084 576450 1085 577122 1086 577224 1087 577716 1088 577746 1089 578232 1090 578274 1091 578850 1092 580950 1093 581526 1094 582930 1095 583110 1096 584052 1097 586026 1098 586908 1099 587454 1100 588546 1101 591666 1102 591786 1103 591822 1104 592500 1105 592566 1106 592830 1107 593730 1108 594846 1109 595014 1110 595770 1111 596484 1112 597330 1113 598200 1114 598290 1115 598374 1116 599634 1117 599850 1118 599886 1119 600606 1120 601146 1121 601710 1122 602826 1123 603756 1124 604170 1125 604422 1126 604674 1127 605346 1128 605430 1129 605682 1130 605724 1131 606390 1132 606564 1133 607230 1134 607866 1135 608724 1136 608964 1137 609882 1138 610350 1139 610650 1140 611910 1141 612486 1142 612522 1143 612906 1144 614250 1145 615426 1146 616266 1147 616860 1148 616902 1149 617850 1150 618210 1151 618534 1152 618540 1153 619242 1154 619506 1155 620046 1156 620466 1157 620754 1158 620802 1159 621054 1160 621726 1161 621810 1162 622554 1163 622566 1164 622986 1165 623826 1166 624834 1167 625230 1168 625326 1169 626514 1170 626634 1171 626670 1172 627606 1173 628650 1174 629370 1175 629442 1176 630630 1177 630726 1178 631386 1179 631806 1180 632970 1181 634260 1182 634326 1183 634410 1184 634716 1185 636426 1186 636846 1187 637110 1188 637650 1189 637686 1190 638010 1191 638514 1192 638610 1193 638910 1194 638946 1195 639630 1196 640350 1197 640926 1198 641466 1199 642264 1200 642390 1201 642444 1202 642852 1203 642894 1204 643986 1205 644238 1206 645750 1207 646386 1208 649044 1209 649950 1210 650706 1211 650808 1212 651084 1213 651354 1214 652290 1215 652470 1216 652554 1217 653604 1218 654948 1219 655074 1220 655092 1221 656394 1222 656910 1223 656916 1224 657510 1225 658710 1226 659034 1227 659124 1228 659430 1229 659988 1230 662298 1231 662382 1232 664650 1233 665190 1234 665322 1235 665730 1236 666486 1237 666810 1238 666918 1239 667170 1240 667260 1241 667602 1242 668682 1243 668934 1244 669042 1245 669186 1246 670902 1247 671244 1248 672126 1249 672390 1250 673692 1251 673890 1252 674646 1253 674730 1254 675234 1255 675270 1256 675288 1257 675402 1258 675486 1259 676026 1260 676584 1261 676836 1262 677070 1263 677166 1264 677250 1265 677430 1266 677502 1267 677970 1268 678006 1269 678510 1270 678678 1271 679014 1272 679662 1273 679716 1274 679950 1275 680262 1276 682470 1277 682836 1278 683370 1279 684072 1280 684342 1281 684900 1282 685944 1283 687762 1284 688086 1285 688296 1286 688410 1287 689850 1288 690354 1289 690642 1290 690846 1291 691026 1292 691362 1293 691866 1294 692220 1295 692286 1296 693126 1297 693396 1298 693594 1299 694050 1300 695706 1301 696024 1302 697074 1303 697230 1304 698964 1305 699174 1306 699210 1307 699972 1308 700830 1309 701142 1310 702450 1311 702546 1312 702564 1313 702972 1314 703626 1315 703962 1316 704754 1317 704970 1318 705042 1319 706986 1320 707364 1321 707994 1322 708210 1323 708390 1324 708630 1325 709002 1326 710730 1327 710820 1328 711270 1329 711450 1330 711774 1331 711906 1332 712404 1333 712530 1334 712824 1335 712908 1336 713460 1337 713706 1338 713790 1339 714312 1340 714426 1341 714546 1342 714714 1343 715356 1344 716130 1345 716562 1346 716652 1347 717210 1348 717822 1349 717864 1350 718146 1351 718566 1352 718926 1353 719550 1354 720270 1355 720510 1356 720852 1357 721266 1358 721644 1359 722202 1360 722436 1361 722526 1362 722610 1363 723138 1364 723156 1365 723672 1366 723690 1367 726210 1368 726390 1369 727074 1370 728190 1371 729036 1372 729306 1373 731430 1374 732186 1375 732330 1376 732744 1377 732942 1378 733356 1379 733590 1380 734244 1381 735630 1382 735966 1383 736344 1384 737226 1385 737370 1386 737550 1387 737646 1388 738150 1389 739914 1390 740220 1391 740772 1392 741426 1393 742092 1394 743148 1395 743220 1396 745116 1397 745332 1398 745794 1399 745848 1400 746370 1401 746466 1402 746550 1403 747432 1404 748566 1405 749574 1406 750330 1407 751410 1408 751506 1409 752310 1410 752670 1411 753102 1412 754026 1413 754866 1414 755286 1415 755586 1416 756492 1417 757350 1418 757770 1419 757926 1420 758184 1421 758646 1422 758814 1423 760110 1424 760662 1425 760956 1426 761310 1427 761334 1428 761850 1429 762426 1430 762750 1431 763110 1432 765324 1433 765450 1434 765762 1435 766332 1436 766500 1437 767304 1438 767970 1439 768474 1440 770406 1441 771162 1442 771750 1443 771966 1444 773016 1445 773514 1446 773766 1447 774186 1448 774852 1449 774954 1450 775836 1451 776094 1452 779154 1453 779526 1454 779814 1455 780516 1456 780570 1457 781830 1458 782586 1459 783510 1460 783846 1461 783990 1462 784530 1463 784806 1464 785274 1465 786324 1466 786366 1467 786966 1468 787626 1469 787950 1470 788046 1471 788634 1472 789306 1473 790110 1474 790314 1475 790470 1476 790830 1477 790956 1478 791550 1479 791826 1480 792636 1481 793050 1482 793560 1483 793806 1484 794052 1485 794430 1486 794682 1487 795354 1488 796446 1489 796866 1490 797244 1491 797874 1492 798030 1493 798246 1494 799254 1495 799470 1496 799650 1497 799890 1498 800604 1499 802386 1500 802494 1501 803250 1502 803292 1503 803682 1504 803706 1505 804132 1506 804150 1507 804852 1508 806442 1509 806586 1510 807210 1511 807426 1512 807534 1513 807954 1514 808002 1515 808164 1516 808290 1517 808542 1518 809250 1519 811314 1520 812070 1521 812322 1522 813330 1523 816030 1524 816570 1525 816606 1526 816750 1527 816774 1528 818874 1529 820710 1530 820890 1531 821394 1532 821916 1533 822780 1534 823050 1535 823326 1536 824130 1537 824472 1538 824586 1539 825462 1540 826566 1541 826650 1542 827484 1543 827946 1544 829206 1545 829380 1546 829770 1547 830466 1548 830610 1549 830718 1550 831300 1551 831402 1552 832734 1553 833256 1554 833490 1555 834264 1556 835044 1557 835830 1558 836430 1559 836550 1560 838266 1561 838530 1562 838824 1563 840906 1564 841650 1565 842010 1566 843570 1567 843750 1568 844074 1569 844746 1570 844830 1571 845010 1572 845286 1573 845550 1574 846270 1575 848610 1576 851886 1577 853110 1578 853146 1579 853470 1580 853566 1581 853974 1582 854196 1583 854574 1584 854658 1585 854910 1586 855954 1587 856620 1588 856674 1589 856710 1590 857346 1591 857934 1592 858024 1593 858186 1594 858888 1595 859194 1596 859482 1597 861966 1598 862836 1599 862890 1600 863070 1601 863370 1602 863580 1603 864150 1604 864162 1605 865584 1606 866070 1607 866796 1608 867150 1609 867516 1610 867570 1611 867582 1612 867930 1613 868434 1614 868770 1615 870120 1616 870570 1617 870750 1618 870966 1619 871110 1620 871794 1621 873270 1622 873522 1623 874314 1624 874710 1625 875070 1626 875502 1627 875706 1628 875994 1629 876246 1630 876282 1631 880956 1632 881874 1633 882396 1634 882810 1635 883530 1636 884430 1637 884682 1638 884850 1639 884970 1640 884994 1641 885150 1642 886002 1643 886074 1644 886578 1645 886662 1646 889110 1647 890010 1648 890946 1649 891702 1650 891756 1651 892374 1652 892962 1653 893970 1654 894300 1655 894474 1656 895986 1657 897036 1658 897090 1659 897414 1660 898170 1661 898566 1662 899106 1663 899262 1664 899730 1665 899802 1666 900270 1667 900450 1668 902250 1669 902430 1670 903222 1671 903546 1672 904146 1673 904410 1674 904470 1675 904740 1676 904974 1677 906444 1678 906570 1679 907290 1680 907326 1681 907830 1682 908622 1683 908952 1684 909270 1685 909432 1686 910944 1687 911070 1688 913050 1689 913290 1690 913302 1691 913626 1692 914130 1693 914424 1694 914850 1695 915432 1696 915894 1697 916236 1698 916596 1699 916902 1700 918450 1701 918762 1702 919260 1703 920346 1704 920430 1705 921570 1706 921690 1707 922020 1708 922446 1709 922590 1710 922824 1711 925320 1712 925794 1713 927612 1714 928746 1715 929124 1716 929556 1717 930204 1718 931086 1719 931644 1720 932202 1721 932490 1722 932850 1723 933030 1724 934362 1725 934458 1726 935766 1727 936270 1728 936810 1729 937530 1730 939780 1731 939822 1732 940758 1733 940842 1734 941226 1735 941850 1736 941886 1737 942354 1738 942774 1739 942990 1740 943206 1741 945546 1742 946050 1743 946386 1744 946554 1745 946584 1746 946710 1747 947436 1748 948906 1749 949704 1750 949716 1751 949914 1752 950310 1753 951372 1754 951966 1755 952470 1756 953154 1757 954522 1758 954900 1759 955206 1760 955332 1761 955374 1762 955962 1763 956214 1764 957150 1765 957390 1766 957870 1767 957942 1768 958020 1769 958734 1770 960036 1771 960246 1772 960540 1773 961254 1774 961350 1775 962556 1776 962820 1777 963666 1778 964410 1779 964530 1780 964854 1781 965706 1782 966714 1783 968130 1784 968310 1785 968892 1786 969030 1787 970116 1788 970242 1789 970326 1790 970650 1791 970872 1792 971124 1793 971412 1794 971802 1795 972270 1796 972990 1797 973476 1798 973770 1799 973944 1800 974070 1801 974610 1802 975060 1803 976794 1804 977130 1805 977262 1806 977634 1807 977670 1808 977886 1809 979650 1810 979704 1811 980772 1812 981006 1813 981630 1814 982410 1815 982674 1816 984282 1817 985032 1818 985140 1819 985194 1820 985266 1821 985446 1822 985770 1823 985866 1824 986706 1825 987504 1826 988092 1827 988470 1828 988890 1829 989370 1830 989676 1831 990450 1832 991242 1833 992040 1834 992070 1835 993330 1836 993426 1837 994644 1838 994728 1839 995346 1840 995526 1841 995724 1842 996030 1843 997710 1844 998250 1845 998340 1846 998556 1847 999090 1848 999306 1849 999702