# Computed by Robert Israel, August 31 2020 # using Maple 2019.2, X86 64 WINDOWS, Nov 26 2019, Build ID 1435526 1 1 2 2 3 6 4 16 5 38 6 138 7 182 8 209 9 309 10 341 11 612 12 1030 13 1389 14 2513 15 2584 16 2628 17 2650 18 2750 19 3031 20 3207 21 3290 22 3593 23 3742 24 3874 25 3962 26 4121 27 4155 28 4998 29 5384 30 5797 31 6552 32 6723 33 6833 34 7461 35 7979 36 8453 37 8541 38 8844 39 8949 40 9015 41 9164 42 9577 43 10547 44 10569 45 11197 46 11346 47 11368 48 11434 49 11500 50 11759 51 11996 52 12189 53 12624 54 12751 55 13164 56 13550 57 14349 58 15214 59 15280 60 15324 61 15820 62 16123 63 16338 64 16487 65 16531 66 16812 67 17137 68 17181 69 17743 70 17892 71 18305 72 19060 73 19253 74 19512 75 19600 76 19644 77 20052 78 20377 79 21049 80 21220 81 22151 82 22515 83 22818 84 23099 85 23270 86 24956 87 25237 88 25325 89 25887 90 26146 91 26730 92 27463 93 27634 94 29017 95 29733 96 29816 97 30659 98 30681 99 30940 100 31739 101 32086 102 32235 103 32257 104 32538 105 32560 106 32819 107 33618 108 33750 109 33965 110 34180 111 36428 112 36599 113 36946 114 37205 115 37227 116 37464 117 37701 118 37811 119 39150 120 39277 121 39453 122 39602 123 39624 124 39905 125 40792 126 41806 127 42219 128 42798 129 43641 130 43922 131 44225 132 44313 133 44980 134 46710 135 47162 136 47250 137 47316 138 47553 139 48220 140 49344 141 50231 142 50942 143 51785 144 51851 145 52110 146 52650 147 54529 148 57488 149 58072 150 58094 151 59736 152 60188 153 60254 154 61031 155 61246 156 62717 157 62888 158 63147 159 63169 160 63450 161 63687 162 64811 163 65869 164 66712 165 66927 166 66971 167 68117 168 68850 169 68916 170 69109 171 69153 172 69368 173 69930 174 71572 175 71853 176 71875 177 72068 178 72178 179 73302 180 73473 181 73605 182 73754 183 73820 184 74101 185 74316 186 74360 187 75870 188 76713 189 77556 190 77622 191 78509 192 78614 193 78636 194 78851 195 80344 196 80410 197 81402 198 81573 199 81876 200 82653 201 82675 202 82697 203 83022 204 83562 205 83887 206 84598 207 84835 208 85915 209 86284 210 86543 211 86912 212 87061 213 87667 214 87838 215 88918 216 90670 217 90973 218 91359 219 91750 220 91772 221 92136 222 92549 223 92852 224 94037 225 94450 226 94472 227 94858 228 95161 229 96004 230 96070 231 97040 232 98142 233 98208 234 98704 235 99007 236 99222 237 100087 238 100109 239 100561 240 101145 241 103586 242 104214 243 104385 244 104600 245 104622 246 104754 247 104925 248 105013 249 105184 250 105294 251 105316 252 105421 253 105724 254 107239 255 107454 256 108705 257 109052 258 110022 259 111300 260 111515 261 111923 262 112832 263 113262 264 113824 265 114799 266 115835 267 116331 268 116353 269 116524 270 116634 271 117411 272 117929 273 118210 274 119246 275 119356 276 119681 277 119830 278 121213 279 121257 280 121665 281 121731 282 122012 283 122315 284 123720 285 124150 286 124194 287 124866 288 125533 289 126029 290 126613 291 126872 292 128233 293 128255 294 128492 295 129357 296 129528 297 130112 298 131043 299 131258 300 131473 301 132101 302 132575 303 132900 304 132944 305 133721 306 134151 307 134867 308 135060 309 135363 310 136118 311 137738 312 137804 313 138256 314 138300 315 138537 316 139099 317 139920 318 140548 319 141777 320 141887 321 143204 322 144455 323 144543 324 144587 325 145601 326 145860 327 146207 328 146356 329 146444 330 147050 331 147094 332 147849 333 148020 334 148367 335 149425 336 150224 337 151541 338 151778 339 152731 340 152924 341 153205 342 153508 343 153552 344 153789 345 154544 346 154588 347 154825 348 154935 349 155646 350 155734 351 156208 352 156533 353 156577 354 156704 355 157222 356 157310 357 157354 358 157613 359 157872 360 158302 361 158974 362 159685 363 160159 364 162043 365 162148 366 162925 367 164545 368 164633 369 164936 370 165107 371 165344 372 165432 373 166578 374 166727 375 167548 376 168347 377 168909 378 169234 379 170248 380 170766 381 170788 382 171091 383 171135 384 171201 385 171245 386 171565 387 171824 388 171846 389 172215 390 172992 391 174160 392 174678 393 174981 394 175389 395 175433 396 175973 397 176557 398 176882 399 177268 400 177378 401 177874 402 177918 403 178651 404 178910 405 178976 406 179213 407 179538 408 179753 409 179775 410 179819 411 180056 412 180899 413 181417 414 181891 415 182194 416 182519 417 182822 418 183252 419 183274 420 183511 421 183533 422 183577 423 183643 424 183858 425 185175 426 186602 427 186773 428 187379 429 188459 430 188740 431 188955 432 189065 433 189236 434 189302 435 189561 436 189583 437 189605 438 190878 439 191115 440 191374 441 191677 442 191958 443 192779 444 193341 445 193363 446 193385 447 193407 448 193578 449 194184 450 194206 451 194333 452 194724 453 196107 454 196366 455 196581 456 196906 457 196994 458 197358 459 198741 460 199044 461 200058 462 200405 463 201959 464 202587 465 203430 466 203838 467 203904 468 204444 469 204466 470 205524 471 205761 472 208742 473 208874 474 209282 475 209304 476 209778 477 209866 478 210103 479 210147 480 210709 481 210880 482 210902 483 211249 484 212004 485 212158 486 212891 487 213128 488 213861 489 214208 490 214423 491 214467 492 215354 493 215547 494 215784 495 215828 496 216302 497 216346 498 216368 499 216456 500 216996 501 217018 502 217988 503 218462 504 220170 505 220732 506 221035 507 221057 508 221079 509 221250 510 221487 511 221553 512 221834 513 223195 514 224512 515 224534 516 225140 517 225443 518 225829 519 226909 520 227190 521 227344 522 227862 523 227945 524 228033 525 228573 526 228854 527 229091 528 229135 529 229653 530 230000 531 231598 532 232006 533 233411 534 233714 535 234320 536 234491 537 235312 538 235378 539 236177 540 236221 541 236629 542 236695 543 236976 544 237494 545 237797 546 237885 547 238293 548 238337 549 238640 550 238684 551 239290 552 239461 553 239483 554 240756 555 240822 556 240971 557 240993 558 241103 559 241362 560 241577 561 241902 562 242205 563 242227 564 243285 565 244321 566 244558 567 244883 568 245076 569 245098 570 245291 571 245682 572 245919 573 245985 574 246999 575 247649 576 248316 577 248619 578 248641 579 249699 580 249980 581 250024 582 250757 583 250867 584 251275 585 251859 586 253264 587 253479 588 254366 589 254559 590 254581 591 255336 592 255639 593 256289 594 256851 595 258339 596 258449 597 258620 598 260587 599 260736 600 261452 601 261601 602 261711 603 261733 604 261992 605 262014 606 262422 607 263827 608 264020 609 264174 610 264367 611 264907 612 264929 613 265188 614 265965 615 266356 616 266439 617 266742 618 266786 619 267436 620 267585 621 267629 622 268687 623 269271 624 269574 625 270654 626 270825 627 270935 628 271062 629 271343 630 271949 631 272252 632 273073 633 274390 634 274649 635 274908 636 275167 637 275404 638 275558 639 275751 640 276076 641 276462 642 276484 643 277283 644 277349 645 277586 646 277630 647 277740 648 278148 649 278236 650 278776 651 279465 652 280137 653 280286 654 280765 655 281107 656 281195 657 281498 658 281520 659 281994 660 283162 661 283311 662 283333 663 283592 664 283636 665 283917 666 284457 667 284694 668 285730 669 286551 670 286898 671 287135 672 287157 673 287741 674 288689 675 288777 676 289361 677 289532 678 290441 679 291780 680 292298 681 293075 682 293290 683 294243 684 295560 685 295797 686 296337 687 298001 688 298326 689 298475 690 298629 691 298778 692 299946 693 300139 694 300701 695 300916 696 301307 697 301715 698 302321 699 302558 700 302624 701 302773 702 303098 703 303379 704 303511 705 303897 706 304178 707 304200 708 304784 709 304955 710 305649 711 305732 712 305842 713 306189 714 306404 715 306597 716 306685 717 307506 718 307809 719 308498 720 308696 721 308889 722 308933 723 309104 724 309148 725 309192 726 309837 727 310096 728 311611 729 311892 730 312041 731 312344 732 312691 733 312840 734 312928 735 313121 736 313253 737 314719 738 315000 739 315391 740 316146 741 316234 742 316449 743 317766 744 321006 745 322929 746 323122 747 323210 748 324918 749 325651 750 326731 751 327012 752 327161 753 327833 754 328263 755 329084 756 330164 757 330467 758 330599 759 333426 760 333861 761 334743 762 335415 763 335867 764 336214 765 336473 766 337228 767 338286 768 338330 769 338567 770 338677 771 338848 772 339151 773 339173 774 339239 775 339410 776 340275 777 340837 778 341895 779 342198 780 342694 781 344055 782 344898 783 344964 784 345350 785 345482 786 345719 787 346000 788 346149 789 347102 790 347251 791 347317 792 347554 793 347576 794 349389 795 349670 796 349995 797 351334 798 351444 799 352133 800 353235 801 353472 802 353797 803 354034 804 354596 805 355373 806 355483 807 356888 808 357147 809 357902 810 358982 811 359544 812 360624 813 361164 814 361489 815 361682 816 362007 817 362156 818 362415 819 362674 820 363021 821 363390 822 363864 823 364123 824 365010 825 366195 826 366261 827 366542 828 366867 829 366889 830 367429 831 368377 832 368399 833 368812 834 369176 835 369567 836 370107 837 370151 838 371986 839 373281 840 373562 841 374168 842 374471 843 374923 844 375529 845 375700 846 377320 847 378014 848 378554 849 379221 850 379331 851 379827 852 380367 853 381469 854 382290 855 383221 856 383888 857 383954 858 384169 859 384191 860 384213 861 385293 862 385530 863 385877 864 386439 865 386588 866 386847 867 387387 868 388015 869 388037 870 388252 871 388296 872 388489 873 388985 874 389679 875 389872 876 389916 877 390109 878 390478 879 390627 880 390671 881 390886 882 391018 883 391707 884 392506 885 392594 886 392660 887 392765 888 394407 889 396071 890 396396 891 396870 892 396892 893 397195 894 397239 895 397261 896 397432 897 397669 898 397713 899 398578 900 398622 901 399355 902 399421 903 399851 904 400132 905 400198 906 400369 907 400804 908 400953 909 401190 910 401493 911 401581 912 401774 913 401862 914 402143 915 402424 916 403091 917 403460 918 403978 919 404215 920 404452 921 404562 922 405124 923 405317 924 405576 925 406050 926 407218 927 407455 928 408513 929 408926 930 409378 931 409488 932 409896 933 410155 934 410287 935 410480 936 411235 937 411367 938 411516 939 412144 940 412425 941 412596 942 412750 943 413180 944 414866 945 415169 946 415318 947 415428 948 415902 949 416376 950 416398 951 416420 952 416442 953 417500 954 417759 955 418321 956 418536 957 418668 958 418883 959 418949 960 419164 961 419357 962 419748 963 419792 964 420051 965 420222 966 420244 967 420437 968 421043 969 421258 970 421280 971 421390 972 421517 973 421627 974 421798 975 421930 976 422123 977 422233 978 422492 979 422663 980 423291 981 423572 982 423980 983 424305 984 424349 985 424674 986 425170 987 425578 988 426746 989 426812 990 427655 991 428906 992 429512 993 430333 994 430460 995 430504 996 430526 997 431303 998 431369 999 431413 1000 431628 1001 432190 1002 432471 1003 432945 1004 433248 1005 433336 1006 433463 1007 434350 1008 434521 1009 434543 1010 435689 1011 436036 1012 436339 1013 436598 1014 436769 1015 437006 1016 437353 1017 437678 1018 437805 1019 437827 1020 437849 1021 438064 1022 438736 1023 439061 1024 439210 1025 439557 1026 440224 1027 440659 1028 441089 1029 441629 1030 442191 1031 443227 1032 443530 1033 444632 1034 444913 1035 445431 1036 445690 1037 446665 1038 447073 1039 447547 1040 447806 1041 449602 1042 450054 1043 450335 1044 450467 1045 450550 1046 450787 1047 451046 1048 451630 1049 451652 1050 451696 1051 452473 1052 452842 1053 452947 1054 453685 1055 454721 1056 455024 1057 456060 1058 456815 1059 456969 1060 457118 1061 457355 1062 458176 1063 458413 1064 458650 1065 458738 1066 458953 1067 459256 1068 459493 1069 460292 1070 460832 1071 461267 1072 461350 1073 461416 1074 462215 1075 462347 1076 462650 1077 462992 1078 463058 1079 463405 1080 464959 1081 464981 1082 465196 1083 465218 1084 465455 1085 465736 1086 465780 1087 466105 1088 466127 1089 466579 1090 466689 1091 466860 1092 467075 1093 469064 1094 469323 1095 469389 1096 469538 1097 470447 1098 471031 1099 472045 1100 472497 1101 473169 1102 473946 1103 475219 1104 475781 1105 475803 1106 476150 1107 476624 1108 476646 1109 476949 1110 477682 1111 478073 1112 478459 1113 478762 1114 479346 1115 481291 1116 481418 1117 481462 1118 481721 1119 481765 1120 481787 1121 481831 1122 481875 1123 482002 1124 482112 1125 482349 1126 482564 1127 482586 1128 483214 1129 484812 1130 485264 1131 486129 1132 486410 1133 486928 1134 487661 1135 488504 1136 491314 1137 492912 1138 493149 1139 493408 1140 493496 1141 494835 1142 495353 1143 495375 1144 495590 1145 495700 1146 495827 1147 496108 1148 496174 1149 496196 1150 496780 1151 496929 1152 497188 1153 497298 1154 497513 1155 497772 1156 497987 1157 498378 1158 499133 1159 499177 1160 499414 1161 499651 1162 499739 1163 499888 1164 500169 1165 500428 1166 500665 1167 500709 1168 501640 1169 501899 1170 502070 1171 502307 1172 503387 1173 504015 1174 504081 1175 505029 1176 506434 1177 506456 1178 506478 1179 506759 1180 507277 1181 508313 1182 508379 1183 508445 1184 508550 1185 508660 1186 508897 1187 508941 1188 509415 1189 509630 1190 510043 1191 510732 1192 510798 1193 511101 1194 511250 1195 511509 1196 512071 1197 512462 1198 512484 1199 512611 1200 513173 1201 513217 1202 513305 1203 513586 1204 513823 1205 514060 1206 514253 1207 514925 1208 515096 1209 516413 1210 516760 1211 516826 1212 517625 1213 517796 1214 518033 1215 518468 1216 518705 1217 518898 1218 519113 1219 519289 1220 519460 1221 519741 1222 519978 1223 520237 1224 520799 1225 521449 1226 521598 1227 521813 1228 521879 1229 521945 1230 522182 1231 522375 1232 522766 1233 522915 1234 523218 1235 523868 1236 525141 1237 526221 1238 526287 1239 526502 1240 527086 1241 527108 1242 527367 1243 527885 1244 528447 1245 528618 1246 528662 1247 528728 1248 530563 1249 531428 1250 531902 1251 531968 1252 532183 1253 532530 1254 532701 1255 532982 1256 533048 1257 533285 1258 534861 1259 534905 1260 535423 1261 535726 1262 535748 1263 535770 1264 535814 1265 536828 1266 537219 1267 537561 1268 537605 1269 537974 1270 538189 1271 538382 1272 538663 1273 538707 1274 538944 1275 540586 1276 540867 1277 540911 1278 541126 1279 541363 1280 541385 1281 541688 1282 542250 1283 542834 1284 543264 1285 543914 1286 544366 1287 545297 1288 545749 1289 546030 1290 546377 1291 547022 1292 547088 1293 547303 1294 547650 1295 547975 1296 548190 1297 548642 1298 548664 1299 549182 1300 549639 1301 550113 1302 550394 1303 550565 1304 551562 1305 553072 1306 553094 1307 553849 1308 553871 1309 553915 1310 555469 1311 555794 1312 556290 1313 556593 1314 556808 1315 557177 1316 557199 1317 557888 1318 558301 1319 558516 1320 558753 1321 559381 1322 559662 1323 559833 1324 560070 1325 560698 1326 560913 1327 561326 1328 561690 1329 562318 1330 562362 1331 562489 1332 562858 1333 564153 1334 565299 1335 566269 1336 566357 1337 566616 1338 567156 1339 568842 1340 569057 1341 569294 1342 569531 1343 569575 1344 569685 1345 570743 1346 570914 1347 571195 1348 571476 1349 571586 1350 572341 1351 572859 1352 573052 1353 573443 1354 573702 1355 575559 1356 575625 1357 575691 1358 575840 1359 576077 1360 576143 1361 577201 1362 577223 1363 578110 1364 578132 1365 578215 1366 578540 1367 579554 1368 580138 1369 581284 1370 581306 1371 581455 1372 583163 1373 583488 1374 583703 1375 583940 1376 583984 1377 584590 1378 585411 1379 585648 1380 586122 1381 586447 1382 586987 1383 588133 1384 588563 1385 589103 1386 589362 1387 589880 1388 590745 1389 590960 1390 591092 1391 592040 1392 592927 1393 593660 1394 595671 1395 595864 1396 595996 1397 596189 1398 596360 1399 596470 1400 596966 1401 597032 1402 597743 1403 598283 1404 598349 1405 598393 1406 598652 1407 598977 1408 599082 1409 599126 1410 599644 1411 600057 1412 600790 1413 600834 1414 601071 1415 601137 1416 601501 1417 601567 1418 602713 1419 602928 1420 602972 1421 603512 1422 604223 1423 604939 1424 605369 1425 605391 1426 605782 1427 606449 1428 606774 1429 607055 1430 608069 1431 608697 1432 609474 1433 609645 1434 610813 1435 611612 1436 612003 1437 613232 1438 614053 1439 614207 1440 614290 1441 614549 1442 615414 1443 615458 1444 616472 1445 617574 1446 618676 1447 618869 1448 619001 1449 619089 1450 619150 1451 620274 1452 620792 1453 621767 1454 622048 1455 622219 1456 622434 1457 622522 1458 623321 1459 624010 1460 624291 1461 624594 1462 625156 1463 625393 1464 625977 1465 626021 1466 626236 1467 626776 1468 626820 1469 627167 1470 627360 1471 627553 1472 627812 1473 627834 1474 628374 1475 629002 1476 629305 1477 629498 1478 629994 1479 630407 1480 631724 1481 632308 1482 633063 1483 633256 1484 633537 1485 633603 1486 633796 1487 633884 1488 633906 1489 634099 1490 634727 1491 634793 1492 634964 1493 635030 1494 635179 1495 635201 1496 635675 1497 636022 1498 636474 1499 637708 1500 637730 1501 638160 1502 638182 1503 638788 1504 639047 1505 639218 1506 639372 1507 639780 1508 640364 1509 641444 1510 641466 1511 641984 1512 642287 1513 642568 1514 643885 1515 644122 1516 644276 1517 644447 1518 644513 1519 645312 1520 645461 1521 646585 1522 647450 1523 647687 1524 647968 1525 648205 1526 649781 1527 650106 1528 650497 1529 650646 1530 651533 1531 651792 1532 652332 1533 653280 1534 653324 1535 653952 1536 654123 1537 655462 1538 655743 1539 656134 1540 656586 1541 656911 1542 656999 1543 657214 1544 657495 1545 658228 1546 658382 1547 658746 1548 659242 1549 659264 1550 659308 1551 659848 1552 660261 1553 660476 1554 661165 1555 661297 1556 661964 1557 662096 1558 662245 1559 662614 1560 662785 1561 663435 1562 664366 1563 664730 1564 664752 1565 664774 1566 664967 1567 665033 1568 665270 1569 665529 1570 665595