# Computed by Robert Israel, October 11 2019 # using Maple 2019.1, X86 64 WINDOWS, May 21 2019, Build ID 1399874 1 34 2 12025 3 12130 4 22789 5 102952 6 103039 7 205222 8 226019 9 300176 10 492203 11 492221 12 570760 13 1030144 14 1224376 15 1224466 16 2570470 17 2684090 18 3307264 19 3868067 20 3868157 21 4329380 22 4656049 23 4656427 24 5176537 25 6966262 26 6966403 27 6966421 28 7186697 29 7186787 30 7187318 31 7187516 32 7644406 33 11694973 34 12007691 35 12008315 36 13651306 37 15811639 38 18189532 39 22187104 40 28932458 41 30078763 42 30662669 43 31853761 44 36264131 45 38269895 46 38270945 47 41780239 48 41780635 49 41781001 50 43985008 51 49428773 52 51893183 53 54438740 54 62568932 55 62569127 56 64479238 57 68416190 58 68416640 59 74617262 60 74617403 61 84602837 62 90515899 63 90517273 64 90517435 65 95442635 66 99249860 67 101845828 68 101846455 69 124250492 70 124250726 71 127262149 72 131869942 73 131871064 74 131871154 75 141419560 76 141420271 77 158338580 78 158339000 79 163666340 80 172807261 81 178452262 82 178452403 83 178452421 84 184218562 85 186167339 86 186167663 87 186167714 88 192097637 89 202260943 90 208526194 91 208526644 92 214920457 93 217079297 94 217079459 95 223647470 96 230345390 97 237175535 98 263373721 99 265845389 100 265845920 101 270838108 102 270838270 103 278442829 104 278443654 105 286188682 106 286188841 107 288802670 108 288803201 109 304819604 110 304820336 111 310287049 112 318610429 113 318610735 114 318611212 115 329936690 116 329936780 117 329937137 118 356400056 119 371691889 120 371692690 121 371692780 122 393831170 123 393831263 124 393831335 125 403581827 126 403582523 127 454755077 128 461887387 129 487442312 130 506259823 131 533409905 132 533410850 133 533411261 134 557438987 135 569720396 136 633838226 137 674524493 138 697861483 139 697862014 140 746140946 141 776150018 142 776150432 143 849275803 144 849275821 145 904229057 146 904230143 147 932571799 148 949858840 149 973239680 150 973239824 151 973240730 152 991024667 153 991024805 154 1027242674 155 1027243061 156 1027243151 157 1058088124 158 1095909379 159 1095909469 160 1095911140 161 1121620796 162 1154320072 163 1154320324 164 1160933912 165 1160934362 166 1201156058 167 1221609845 168 1221611144 169 1298593198 170 1298593648 171 1298593756 172 1305749573 173 1305750176 174 1416246674 175 1532806931 176 1532807345 177 1605721853 178 1647210868 179 1732323131 180 1784768336 181 1856330722 182 1865407733 183 1948438820 184 2092237994 185 2092238585 186 2092238618 187 2092239005 188 2111930539 189 2141698570 190 2141698606 191 2181823268 192 2202073165 193 2294741959 194 2294743171 195 2554496404 196 2633786795 197 2738123144 198 2797258456 199 3029740334 200 3067585301 201 3105743795 202 3183008537 203 3248365807 204 3261545012 205 3327968233 206 3368252488 207 3673648082 208 3716670239 209 3716670527 210 3716670635 211 3716671001 212 3745536991 213 3745537810 214 3789116809 215 3877288849 216 3877288957 217 3936824759 218 3936825614 219 3966819613 220 4073001758 221 4073002541 222 4103682964 223 4149992581 224 4165508261 225 4196649919 226 4196651701 227 4196652022 228 4259403971 229 4259404475 230 4306876496 231 4306877027 232 4632406396 233 4649098418 234 4649100143 235 4852556798 236 4887033577 237 4887034126 238 4991441617 239 4991441743 240 5097326059 241 5331857708 242 5331858332 243 5442486842 244 5611282826 245 5611283075 246 5611283414 247 5668313708 248 5725729577 249 5841723761 250 6058427344 251 6300870811 252 6549695839 253 6570723854 254 6869833117 255 7000753903 256 7000753921 257 7000754425 258 7426285877 259 7426286408 260 7680352483 261 7680353032 262 7750635316 263 7750635424 264 7916290901 265 8036051689 266 8036052724 267 8328391129 268 8652999092 269 8652999611 270 9011895064 271 9011895154 272 9090069730 273 9247773667 274 9247773805 275 9407290687 276 9649987909 277 9677211737 278 9677212073 279 9841616315 280 10345978289 281 10345978559 282 10345978685 283 10691617190 284 10691617640 285 10749961084 286 10837875337 287 10955836886 288 11224376567 289 11284641571 290 11650766701 291 11681628911 292 11867952041 293 12119449684 294 12698257294 295 12698257636 296 12796482205 297 12796482310 298 12994447306 299 13328908418 300 13634786879 301 13634787608 302 14014949926 303 14014950298 304 14119843666 305 14119843801 306 14473266170 307 14473266263 308 14473266335 309 14544649489 310 14652167128 311 14652167452 312 15124195943 313 16022066024 314 16213486222 315 16445193979 316 16445194942 317 16445195530 318 16561872871 319 16600887494 320 16718301080 321 17153548369 322 17153548657 323 17394109051 324 17434420754 325 17759149627 326 18005326975 327 18005327701 328 18253767826 329 18253768252 330 18546492224 331 18757485313 332 18884845474 333 19055556230 334 19184260409 335 19184260538 336 19313544095 337 19313544383 338 19530305431 339 19661136532 340 19836483698 341 19836483788 342 19836485030 343 20101459565 344 20101460453 345 20324065096 346 20324065438 347 20368782230 348 20593352884 349 20593353367 350 20774192948 351 20774194124 352 20865010186 353 21184949147 354 21415470610 355 21694293214 356 21740997047 357 21881514215 358 21975526603 359 22737341933 360 22833788224 361 22978967581 362 23173498820 363 23173500008 364 23320116413 365 23862994390 366 24062476715 367 24062477030 368 24313386814 369 25076570185 370 25386260473 371 26013268279 372 26013268675 373 26013269113 374 26224542974 375 26973007234 376 27027006947 377 27516254564 378 27625770709 379 28011369458 380 28011370184 381 28344725066 382 28344725156 383 28849697912 384 28849698074 385 30400538777 386 30400538951 387 30400539434 388 30870489607 389 30870490138 390 31644450485 391 31644451052 392 31824874151 393 33045256588 394 33293017079 395 33666975377 396 34359818887 397 34359819292 398 34359820543 399 34423273856 400 34550413918 401 34550414368 402 34550414566 403 34614099908 404 35904337099 405 36363383750 406 36561308690 407 36561308780 408 36959310857 409 37494460840 410 37494461071 411 37966932227 412 38306829979 413 38992703024 414 39547257832 415 39547258201 416 41314083674 417 41457659170 418 41457659263 419 41457659335 420 41529571676 421 41673646840 422 41745808448 423 42545097493 424 42838258541 425 43502787650 426 44099217835 427 44324278540 428 44399466800 429 44399467052 430 44625547241 431 45004048177 432 45537535991 433 45537536279 434 45537536675 435 45921169573 436 45998153507 437 47163264992 438 47163265478 439 47163266063 440 47163266153 441 47320084294 442 47320084636 443 47555963362 444 47871686330 445 48347886305 446 49471277935 447 49552179329 448 49552180346 449 49552180520 450 50284266269 451 50284266665 452 50694078088 453 51769997396 454 52020433442 455 53967295612 456 54742139797 457 54742140880 458 54742141258 459 54742141561 460 54742141633 461 55786754374 462 55786754464 463 55874400806 464 56314010101 465 56933325122 466 57111101995 467 57111103264 468 57646654486 469 58275684752 470 58456245082 471 58818479987 472 58818480890 473 58818481733 474 59638978991 475 59822345341 476 61302799934 477 62429031002 478 64048009840 479 64626027886 480 64626028219 481 64626028615 482 64916336509 483 64916337220 484 65304765587 485 66380926870 486 66380926924 487 66380927443 488 66479342408 489 66775171256 490 66775171361 491 66775171415 492 67568334850 493 68468122885 494 68870580014 495 70291593568 496 70291593727 497 70291594330 498 70393836374 499 70393836464 500 70598617396 501 70906535710 502 71628487442 503 72877489832 504 74671643389 505 74671643920 506 75740655809 507 76386933866 508 76928298751 509 76928300245 510 77254344634 511 77909190691 512 77909190781 513 77909191444 514 77909191510 515 78018692024 516 78567729757 517 78567730486 518 78898385674 519 81577098133 520 81690007682 521 81690007841 522 81690008213 523 82256118607 524 82710883919 525 82710884369 526 83053058090 527 83625441730 528 84662346391 529 84662347012 530 87943019750 531 88537628758 532 88537629430 533 88537630105 534 88895677147 535 92161654702 536 92284127930 537 92529401239 538 92529401635 539 94010172928 540 94881207800 541 96260820862 542 96765794063 543 96765794153 544 97145682050 545 97526562305 546 99703698757 547 99703699126 548 99703700530 549 100091233882 550 100091234470 551 100609503896 552 100999378106 553 101390260706 554 102043966759 555 102043967092 556 102043967611 557 102437537560 558 103227709624 559 105220894882 560 105756711116 561 106025299012 562 107239574704 563 107782214894 564 110108863384 565 110522892475 566 110661132794 567 110661133562 568 111492993137 569 114862127477 570 114862127582 571 116000071987 572 116858444866 573 116858445019 574 117865219814 575 117865221110 576 120042033662 577 120042033731 578 120334284115 579 120773548330 580 121360894874 581 121802654207 582 122689383104 583 122985913051 584 124027532210 585 124475733503 586 125225133904 587 125225134084 588 125826814604 589 126581622607 590 126732945512 591 127947870778 592 128864145391 593 128864146030 594 129477418241 595 130864388807 596 130864389164 597 131173943980 598 131173944715 599 132572982289 600 132572982559 601 132572982685 602 132729044030 603 133667973998 604 133667975375 605 133667975465 606 136352309509 607 140364777884 608 142809629600 609 143137739092 610 143137739611 611 143137740430 612 143630844829 613 145614591967 614 145614592753 615 145614593212 616 146613279535 617 147114331732 618 147114332101 619 147281601614 620 148624330849 621 149129949703 622 149129949721 623 149636714998 624 149636715961 625 149636716600 626 150823630985 627 150823631822 628 153216257416 629 155807718832 630 156329492932 631 156329493307 632 159131972294 633 159131972636 634 160191475658 635 160722985658 636 161077978363 637 161255669996 638 163757099443 639 164296463719 640 164296464505 641 164476515713 642 164837012071 643 166465764571 644 166647394898 645 166647396344 646 168105212236 647 168288033605 648 172715633447 649 173088065347 650 173834535827 651 173834536166 652 174770637529 653 174770637814 654 174770638006 655 177788736167 656 179310728698 657 179310728788 658 179501586767 659 180457907116 660 181033326595 661 181033326718 662 181225405145 663 182187830638 664 182187830707 665 183540945311 666 184511544799 667 185290484483 668 188822847722 669 193000342490 670 193401381811 671 195212934856 672 195819288952 673 196426898866 674 196426900267 675 197238998720 676 197849540933 677 199074402347 678 199483808653 679 200098971871 680 200304308495 681 200921156327 682 201333089809 683 201333090826 684 201333091345 685 201952046797 686 203193763819 687 203401212356 688 205065866875 689 205065867208 690 205692447373 691 205692447463 692 210963656450 693 213954488476 694 214599036880 695 216756879119 696 217190175979 697 220020689975 698 220020691523 699 221115864094 700 221115864472 701 221774707888 702 221774707939 703 221774709022 704 223317101585 705 223317101618 706 223980308627 707 224644829225 708 225755279698 709 225755279788 710 225755281426 711 225977807918 712 225977808650 713 228435283336 714 234086571254 715 235227897265 716 237982205362 717 238212696623 718 238674125368 719 238674125566 720 240293818334 721 240757928659 722 240757929352 723 240757930006 724 241687944194 725 241687944644 726 243789228428 727 244961854282 728 244961854552 729 245667231388 730 245667231586 731 247318372799 732 247318374173 733 248502279574 734 248502280513 735 249927944893 736 249927945730 737 251359056328 738 251359056526 739 251359056631 740 252076654936 741 252076655308 742 252076655506 743 252795617746 744 252795617830 745 253515947461 746 254478513260 747 256410946609 748 256410947146 749 257138125120 750 257380822205 751 257380822310 752 258109829672 753 258109830095 754 258109830383 755 260794638934 756 260794640212 757 264732953882 758 264732954470 759 265475773838 760 265475774357 761 268211334697 762 268211334787 763 270714457682 764 270714457841 765 270714458213 766 271216944250 767 272223781250 768 277295355688 769 277295356612 770 281140098958 771 283722905273 772 283722905435 773 287365338001 774 288411728174 775 294477804193 776 294477804643 777 295541379686 778 297943780796 779 299284057567 780 299552593847 781 299552594540 782 300897686845 783 301167188666 784 301167188801 785 303328989577 786 305229032960 787 309327235346 788 309327235520 789 313185169537 790 313461956906 791 313461957356 792 314848342312 793 317633362328 794 317633362526 795 317633362631 796 318192328771 797 320153878847 798 320153879306 799 323252575906 800 326086865147 801 328366187857 802 330082634287 803 330082634557 804 330943094845 805 330943095325 806 330943095412 807 335267838046 808 335557486238 809 337008228889 810 337008231043 811 337298877857 812 339630094069 813 339630094159 814 341678696876 815 342559186607 816 344914548298 817 345800585746 818 345800585830 819 345800586061 820 345800586151 821 351447412397 822 353243308532 823 354744552661 824 358364879044 825 359273793364 826 362009755282 827 362009755552 828 374337696275 829 374961332851 830 375273410903 831 375273410921 832 377776266883 833 377776266955 834 379975374617 835 379975374743 836 381551380876 837 381551381209 838 381551381605 839 386305531966 840 386305533100 841 388537583945 842 388537584602 843 393994042666 844 393994043233 845 394316592704 846 396903327073 847 404075126444 848 404075126510 849 407033766233 850 410669450242 851 414994000688 852 418676863246 853 419685047296 854 419685047548 855 421706269882 856 423057351368 857 423057351566 858 426787692991 859 426787693189 860 426787694332 861 429856053853 862 431909774677 863 432252697367 864 434314041140 865 437072674819 866 440190075580 867 442624941818 868 445768655762 869 445768656203 870 445768656221 871 446469273778 872 451041196868 873 453161798981 874 454224588980 875 454224589268 876 454224590171 877 454934037688 878 454934038543 879 457066815811 880 457066816045 881 459563467880 882 461352347914 883 466746825301 884 467107944521 885 477661604809 886 477661605457 887 478762348138 888 479864779591 889 482074722277 890 484291436719 891 486886180601 892 488001045098 893 488745232825 894 488745233107 895 488745233254 896 489117608819 897 489117609620 898 489862930861 899 489862931434 900 493226250994 901 493226252137 902 494350768708 903 496604930170 904 496604930263 905 496604930335 906 498111504773 907 499243432853 908 499243433066 909 499243433156 910 499999002220 911 502649503769 912 510657173684 913 513729942058 914 513729942181 915 514114903760 916 515270937797 917 515270938187 918 515270938700 919 522243563387 920 523411748045 921 525362590390 922 527709992146 923 528886312174 924 529278806171 925 530064377797 926 530064378187 927 530064378700 928 535980954340 929 540745789750 930 544737991022 931 545538780919 932 545538781297 933 545538781459 934 549554509238 935 549554510255 936 553185470858 937 553185470927 938 557644987375 939 557644987465 940 558051582950 941 558051583238 942 558865364890 943 560087523433 944 564174245834 945 569104492679 946 569928982360 947 570341528264 948 571167211885 949 571167212290 950 575307588560 951 577801392725 952 582810601082 953 589956414022 954 597585979141 955 601852912454 956 614341774027 957 622179706984 958 623492477053 959 623492477140 960 630084026593 961 635390589523 962 638055008428 963 641172897287 964 641172897557 965 646541454713 966 651488878594 967 651488879233 968 653294181809 969 653294182187 970 653294182700 971 658275952936 972 662826756476 973 665567278925 974 665567279354 975 665567279441 976 665567280005 977 669233046751 978 677530182088 979 682169194079 980 683099531038 981 683099531326 982 685895614543 983 686362369262 984 686362369403 985 686362369421 986 686362370024 987 690104031142 988 690572690813 989 692919180484 990 696213189200 991 701884318121 992 710448625043 993 712839898177 994 714756779042 995 714756779111 996 720045909763 997 721975680116 998 729243025274 999 730702321775 1000 736069728418 1001 739008454030 1002 740971942313 1003 743431189639 1004 743431190368 1005 743431190566 1006 743431191112 1007 751337338724 1008 755809078820 1009 760298528192 1010 760298528285 1011 760298528555 1012 760298528642 1013 761798951846 1014 761798952272 1015 771852258370 1016 771852258460 1017 780975513484 1018 780975514033 1019 784032498082 1020 788632915591 1021 788632916320 1022 789145182134 1023 793251295066 1024 793251295156 1025 799437132373 1026 799437132463 1027 799954063859 1028 802542073996 1029 807214544809 1030 807214545457 1031 809297006006 1032 810339577918 1033 810339578650 1034 813995632832 1035 815042236828 1036 815042237257 1037 815042237365 1038 824502063817 1039 824502064444 1040 824502064510 1041 831379491332 1042 834034805398 1043 834034805596 1044 835630705531 1045 836163123842 1046 838828606684 1047 838828607215 1048 840430614496 1049 840965068508 1050 847396213190 1051 847396213640 1052 856563003859 1053 860356696595 1054 860356696718 1055 863073325684 1056 863073326251 1057 863073326323 1058 866340819664 1059 871257507985 1060 885012507050 1061 888335107205 1062 888335107310 1063 889999518722 1064 892778161774 1065 893334583766 1066 893334584351 1067 898352782817 1068 901708668179 1069 909571546834 1070 911826448847 1071 911826449306 1072 918613509653 1073 918613510019 1074 922019633660 1075 923725847378 1076 923725847468 1077 923725847576 1078 926574215005 1079 932288500931 1080 935728323872 1081 935728323941 1082 935728324445 1083 938601297574 1084 942056623045 1085 946098538166 1086 950732009488 1087 958293624017 1088 965309065751 1089 965309066120 1090 979442497682 1091 979442497841 1092 979442498213 1093 982404222751 1094 984777892847 1095 990132630869 1096 990132631811 1097 1002101469106 1098 1002702429440 1099 1002702430061 1100 1018411855450 1101 1020234967909 1102 1020843156854 1103 1023887718979 1104 1023887719708 1105 1023887720491 1106 1023887720584 1107 1028160272378 1108 1028160272468 1109 1028160272576 1110 1029994995770 1111 1029994996322 1112 1042899231113 1113 1045987469575 1114 1045987469734 1115 1045987470373 1116 1045987470463 1117 1051561654963 1118 1054045414148 1119 1064645022670 1120 1064645023201 1121 1068402956932 1122 1068402957217 1123 1077836461609 1124 1079729800666 1125 1079729800801 1126 1093045298266 1127 1096869729952 1128 1096869730774 1129 1096869731431 1130 1099424303594 1131 1099424304410 1132 1103263594109 1133 1106469820828 1134 1106469821545 1135 1110968965943 1136 1114835072300 1137 1121946204832 1138 1124539549046 1139 1134300181589 1140 1134300181946 1141 1142149227737 1142 1143460911838 1143 1144117132004 1144 1157955778622 1145 1167243264634 1146 1177249104811 1147 1191353109664 1148 1193377116622 1149 1195403414761 1150 1200140359688 1151 1204210546118 1152 1204210546355 1153 1208289921149 1154 1210333063031 1155 1212378501980 1156 1212378502394 1157 1213743410146 1158 1220583311651 1159 1221954366778 1160 1221954367093 1161 1228825054004 1162 1232959799450 1163 1236412499917 1164 1236412502161 1165 1238487211087 1166 1243337226572 1167 1255866795767 1168 1255866796442 1169 1259362109854 1170 1259362110490 1171 1270590683429 1172 1270590683735 1173 1281177904832 1174 1288979131774 1175 1291823775623 1176 1296098579963 1177 1296098581262 1178 1296098581403 1179 1296098581421 1180 1298239516703 1181 1298239516721 1182 1308261725533 1183 1308979562762 1184 1315451936051 1185 1323391541659 1186 1323391542085 1187 1326286572098 1188 1328460615236 1189 1332089294191 1190 1332089294641 1191 1348133997509 1192 1352532076835 1193 1356204439753 1194 1356939707831 1195 1361356906670 1196 1365045220525 1197 1374665994692 1198 1374665994782 1199 1379121558581 1200 1379121559001 1201 1385822937389 1202 1385822937920 1203 1390302564713 1204 1394791831490 1205 1394791832060 1206 1394791832150 1207 1394791832204 1208 1396290397888 1209 1396290397939 1210 1396290399022 1211 1403799338882 1212 1403799339416 1213 1409825837395 1214 1409825837716 1215 1419655642823 1216 1419655643126 1217 1421171964127 1218 1424207843918 1219 1424207844368 1220 1424207844566 1221 1437922814390 1222 1447114870739 1223 1447114871612 1224 1449418988366 1225 1449418988417 1226 1450956427261 1227 1463295082214 1228 1469490553762 1229 1478816513503 1230 1478816513521 1231 1481154152674 1232 1481154153061 1233 1481154153151 1234 1485836817202 1235 1490529341581 1236 1498372152851 1237 1499944008541 1238 1509398236588 1239 1514140215124 1240 1516514919928 1241 1517307042545 1242 1528425710044 1243 1531612418477 1244 1531612418582 1245 1531612419002 1246 1540398700312 1247 1555654036907 1248 1555654037357 1249 1558071941759 1250 1558071942095 1251 1558071942383 1252 1559685269764 1253 1569388632931 1254 1569388633453 1255 1574255370778 1256 1574255371507 1257 1584019007863 1258 1592186143385 1259 1592186143616 1260 1593822930877 1261 1593822932032 1262 1597099872026 1263 1601202364207 1264 1609428405359 1265 1614377528567 1266 1633443153622 1267 1634275479581 1268 1635940982395 1269 1635940982716 1270 1638441360634 1271 1645957772512 1272 1651819737509 1273 1654336264760 1274 1656015367381 1275 1659376978379 1276 1659376978469 1277 1669489108748 1278 1669489108922 1279 1683884828056 1280 1686433808359 1281 1694948983604 1282 1696655453122 1283 1701781726567 1284 1715502248888 1285 1715502248939 1286 1715502250328 1287 1715502250526 1288 1715502250631 1289 1722390078808 1290 1722390079237 1291 1722390080050 1292 1732756354972 1293 1732756355650 1294 1745772582385 1295 1745772582616 1296 1745772583003 1297 1745772583021 1298 1746642641666 1299 1749254551712 1300 1749254552030 1301 1758853830871 1302 1759728230381 1303 1774637385970 1304 1774637386348 1305 1774637386546 1306 1777277124730 1307 1779919477246 1308 1796715231476 1309 1798489325671 1310 1817187885619 1311 1817187886402 1312 1820764147832 1313 1833318005923 1314 1839616516016 1315 1846832458573 1316 1850447494679 1317 1855878889406 1318 1871325539746 1319 1871325539830 1320 1874060285137 1321 1882280503750 1322 1894196535860 1323 1896034224268 1324 1896953512772 1325 1902475489139 1326 1907085314833 1327 1907085315205 1328 1907085315310 1329 1910778531308 1330 1910778531506 1331 1912626925759 1332 1923742334698 1333 1923742334788 1334 1923742335661 1335 1930246166699 1336 1930246166789 1337 1933038005816 1338 1933038006047 1339 1943297774860 1340 1947037582079 1341 1954531584934 1342 1954531585180 1343 1954531585504 1344 1958285785109 1345 1965808604374 1346 1965808604464 1347 1971463344490 1348 1971463345006 1349 1975239187496 1350 1978074233810 1351 1978074234062 1352 1978074234152 1353 1985647612489 1354 1985647612597 1355 1989441539972 1356 1989441541436 1357 1992290155808 1358 1995141489170 1359 1995141489263 1360 1995141489335 1361 2000852316338 1362 2000852316536 1363 2005619652694 1364 2005619652784 1365 2005619653531 1366 2006574028259 1367 2006574028655 1368 2009438968790 1369 2009438968916 1370 2018050157009 1371 2019967086679 1372 2028608303899 1373 2028608304808 1374 2034382784689 1375 2046931731305 1376 2049834949652 1377 2049834950453 1378 2054679747790 1379 2054679747916 1380 2054679748180 1381 2054679748504 1382 2067311936906 1383 2067311937356 1384 2076087559532 1385 2096660515943 1386 2108477283095 1387 2108477283383 1388 2117368937042 1389 2117368937111 1390 2143196283628 1391 2143196284300 1392 2150185505108 1393 2150185505270 1394 2152185213142 1395 2176278487540 1396 2188392264001 1397 2198521348571 1398 2201566157930 1399 2213773505192 1400 2213773505285 1401 2213773505555 1402 2213773505642 1403 2218873186909 1404 2218873187359 1405 2221936755031 1406 2229096037907 1407 2229096038282 1408 2229096038552 1409 2244489113471 1410 2252727652612 1411 2262020077765 1412 2274449679250 1413 2278602974990 1414 2278602975764 1415 2280681519076 1416 2280681519502 1417 2280681520321 1418 2284842395849 1419 2284842395957 1420 2293179326839 1421 2308865686564 1422 2315160205993 1423 2315160206764 1424 2330946531505 1425 2335168302797 1426 2347864197791 1427 2347864198058 1428 2347864198181 1429 2359542453418 1430 2366994193292 1431 2366994194000 1432 2369126141539 1433 2369126142070 1434 2369126142253 1435 2373393873908 1436 2373393874088 1437 2388371297896 1438 2388371298715 1439 2388371300065 1440 2388371300155 1441 2388371300314 1442 2395883582228 1443 2404488320170 1444 2404488320263 1445 2404488320335 1446 2415273181271 1447 2433681371500 1448 2447821159379 1449 2447821159469 1450 2459828287138 1451 2472971683840 1452 2472971684161 1453 2480660242769 1454 2480660243570 1455 2480660243606 1456 2510465381795 1457 2513791724774 1458 2526013454653 1459 2530467519878 1460 2530467520679 1461 2533811505485 1462 2542743195589 1463 2542743195946 1464 2542743196177 1465 2553937293893 1466 2553937294484 1467 2564040033044 1468 2566288694299 1469 2566288694695 1470 2566288694785 1471 2566288695514 1472 2567413521569 1473 2567413521902 1474 2567413522118 1475 2567413522355 1476 2569664157283 1477 2569664157553 1478 2577551742209 1479 2577551742605 1480 2583195599983 1481 2583195601855 1482 2600176602436 1483 2603581706692 1484 2603581706782 1485 2604717403070 1486 2604717403253 1487 2627500718818 1488 2627500719067 1489 2627500719157 1490 2627500720312 1491 2644675119286 1492 2644675119358 1493 2644675119556 1494 2645822732792 1495 2645822732954 1496 2651565779377 1497 2651565779467 1498 2672309555146 1499 2675777334028 1500 2687358263234 1501 2693161237381 1502 2703627632233 1503 2704792235174 1504 2742236375950 1505 2743412040539 1506 2749295399203 1507 2749295399221 1508 2774097371737 1509 2774097372073 1510 2795474554255 1511 2807398078769 1512 2832547747088 1513 2846986191659 1514 2846986192085 1515 2849397360442 1516 2889378403528 1517 2889378403705 1518 2894249851835 1519 2894249852420 1520 2926047793084 1521 2937108795064 1522 2937108795154 1523 2940801980752 1524 2949431452001 1525 2953134956792 1526 2953134956954 1527 2977904256022 1528 2997819118262 1529 2997819118403 1530 2997819118421 1531 3000314703379 1532 3000314704216 1533 3000314704342 1534 3005310023579 1535 3005310024218 1536 3005310024542 1537 3009060148880 1538 3009060150320 1539 3015317291017 1540 3016569758147 1541 3024091852454 1542 3035398422533 1543 3041692010368 1544 3041692010566 1545 3041692011112 1546 3050517640067 1547 3050517640157 1548 3060624957901 1549 3060624958117 1550 3069487155233 1551 3072022351336 1552 3075827757739 1553 3075827758453 1554 3079636307980 1555 3084719263847 1556 3084719264540 1557 3107661784043 1558 3125584402966 1559 3130717777682 1560 3130717778213 1561 3133286572276 1562 3137142397306 1563 3148728847858 1564 3148728847927 1565 3156468976828 1566 3156468977257 1567 3156468977365 1568 3165515148446 1569 3184957960985 1570 3184957961822 1571 3187556336779 1572 3211005334747 1573 3211005334852 1574 3214924645528 1575 3214924645705 1576 3222772834522 1577 3250342065124 1578 3255611107952 1579 3270130333738 1580 3275420734970 1581 3287344993832 1582 3287344994243 1583 3293982069592 1584 3293982070480 1585 3293982070711 1586 3299298157793 1587 3299298158183 1588 3305951311201 1589 3323291345888 1590 3323291345939 1591 3323291346812 1592 3346058123773 1593 3354118213840 1594 3354118214161 1595 3363537997262 1596 3363537997403 1597 3363537997421 1598 3395968270877 1599 3395968272032 1600 3410901551950 1601 3410901552544 1602 3416342669495 1603 3424515191792 1604 3424515191954 1605 3427242259741 1606 3431335575139 1607 3443635074064 1608 3443635074154 1609 3457335615074 1610 3464199490315 1611 3469697127149 1612 3476577350608 1613 3476577351145 1614 3493126978819 1615 3493126979620 1616 3502805142812 1617 3502805143241 1618 3511114923479 1619 3511114924442 1620 3530555499475 1621 3530555500717 1622 3534730651798 1623 3540302640917 1624 3540302641457 1625 3552861017108 1626 3552861017270 1627 3555655794073 1628 3559850706961 1629 3572455243384 1630 3573857579375 1631 3573857579465 1632 3573857580206 1633 3580874773360 1634 3590714266757 1635 3590714267216 1636 3590714267342 1637 3616098549794 1638 3616098550862 1639 3623170909894 1640 3624586487489 1641 3624586487597 1642 3624586488500 1643 3633087696950 1644 3633087697307 1645 3635924384953 1646 3645864418913 1647 3645864420050 1648 3652975524340 1649 3661521048610 1650 3680082046598 1651 3680082047612 1652 3682943139679 1653 3682943140903 1654 3682943140921 1655 3688669774817 1656 3695836415122 1657 3743369165680 1658 3743369165824 1659 3753503983127 1660 3760754327503 1661 3760754327521 1662 3773828461759 1663 3773828462095 1664 3773828462383 1665 3782561365369 1666 3782561365657 1667 3782561366026 1668 3784018157675 1669 3797146123970 1670 3817627701235 1671 3817627701304 1672 3827896050143 1673 3832302403019 1674 3845541743639 1675 3848487953068 1676 3848487953158 1677 3854384887892 1678 3889893040949 1679 3889893041825 1680 3892861858588 1681 3892861859008 1682 3892861860025 1683 3892861860130 1684 3894346835246 1685 3897317917066 1686 3897317917156 1687 3898804025192 1688 3898804025285 1689 3898804025555 1690 3898804025642 1691 3906240232807 1692 3915176153773 1693 3919649219206 1694 3934584045398 1695 3934584045596 1696 3937575556261 1697 3957057341540 1698 3988663480598 1699 4002260329703 1700 4002260330525 1701 4005286039918 1702 4009827465970 1703 4009827466348 1704 4009827466546 1705 4011342038693 1706 4011342038783 1707 4029546651095 1708 4029546651383 1709 4034106395063 1710 4034106395153 1711 4064592616198 1712 4064592616648 1713 4064592616756 1714 4073768341069 1715 4073768341159 1716 4075298968547 1717 4096768044874 1718 4101378351115 1719 4144574760077 1720 4147671770701 1721 4152320178688 1722 4163179967267 1723 4166286240223 1724 4170948541915 1725 4170948542077 1726 4194312238087 1727 4203682091710 1728 4205245088498 1729 4205245089227 1730 4238157598013 1731 4241301050059 1732 4246019139202 1733 4269662077888 1734 4269662079022 1735 4275981649799 1736 4293392624056 1737 4331544117715 1738 4345908985792 1739 4345908985954 1740 4345908986347 1741 4357103596136 1742 4357103596244 1743 4361907164207 1744 4369920952882 1745 4369920953614 1746 4379550451486 1747 4381156741874 1748 4432765645105 1749 4448976144350 1750 4448976144422 1751 4453846987499 1752 4453846988357 1753 4473365921540 1754 4476624610765 1755 4481515610779 1756 4486410172399 1757 4507661124761 1758 4515852402613 1759 4530621697081 1760 4530621697405 1761 4535551942408 1762 4542131165093 1763 4547069753477 1764 4547069753582 1765 4601630706710 1766 4614923005744 1767 4621578742856 1768 4634909410810 1769 4634909411242 1770 4651608761945 1771 4656626377811 1772 4659973456984 1773 4691850753926 1774 4691850754049 1775 4691850754427 1776 4696897259972 1777 4696897260827 1778 4696897261274 1779 4707001132532 1780 4730633153845 1781 4750952017651 1782 4761133231972 1783 4761133232701 1784 4766229287803 1785 4766229287821 1786 4767928780259 1787 4767928780655 1788 4778134227332 1789 4802003543260 1790 4808837916431 1791 4812257534974 1792 4812257535385 1793 4812257535616 1794 4817390001532 1795 4827665876689 1796 4849980385856 1797 4853419478809 1798 4853419480252 1799 4858581166453 1800 4863746512105 1801 4896545402045 1802 4901737613972 1803 4922543170376 1804 4922543170466 1805 4931229496930 1806 4936446196303 1807 4936446196321 1808 4980061831949 1809 4980061833164 1810 4994072898748 1811 4994072898922 1812 4999333817704 1813 5059215992399 1814 5073375065392 1815 5073375065518 1816 5078691520201 1817 5080464495884 1818 5091111023246 1819 5094663166078 1820 5096439856775 1821 5116010736343 1822 5123139819905 1823 5139204471671 1824 5169640370737 1825 5171434451087 1826 5196595164283 1827 5196595164553 1828 5207403263581 1829 5214616980095 1830 5214616980383 1831 5252598317399 1832 5268932329535 1833 5268932330423 1834 5283479847517 1835 5296230871286 1836 5296230871358 1837 5296230871556 1838 5307176635604 1839 5312655167807 1840 5332775375863 1841 5338271508346 1842 5338271508520 1843 5343771415549 1844 5349275098165 1845 5351110499564 1846 5351110501322 1847 5367648001148 1848 5376850206925 1849 5376850207084 1850 5395286158388 1851 5395286158586 1852 5395286159006 1853 5406367933160 1854 5423019030020 1855 5432284392679 1856 5434138732436 1857 5450846770475 1858 5473177380629 1859 5504916690133 1860 5506787519084 1861 5527394628796 1862 5527394629129 1863 5527394630038 1864 5527394630326 1865 5551814688809 1866 5557460282987 1867 5589524287975 1868 5589524288239 1869 5589524288527 1870 5589524288635 1871 5591414238329 1872 5602762880015 1873 5623608585091 1874 5631201643517 1875 5674994392210 1876 5676903557825 1877 5688367543604 1878 5699846949806 1879 5699846950409 1880 5699846950538 1881 5717095005809 1882 5726692276543 1883 5755548518338 1884 5755548518536 1885 5757475706198 1886 5757475706648 1887 5757475706756 1888 5772908704264 1889 5790303763864 1890 5809672550912 1891 5809672551128 1892 5809672551452 1893 5813551485172 1894 5819373121291 1895 5844645126281 1896 5844645126551 1897 5871942839437 1898 5877803387014 1899 5879757767477 1900 5879757767582 1901 5891493157811 1902 5918936436106 1903 5948434376194 1904 5948434376644 1905 5950404382961 1906 5956317012374 1907 5956317012464 1908 5960260939240 1909 5962233556565 1910 6009707021723 1911 6019628938381 1912 6027574332683 1913 6039505525676 1914 6045477021908 1915 6045477022196 1916 6045477022646 1917 6057431821532 1918 6061420254076 1919 6061420254502 1920 6085387616968 1921 6085387618120 1922 6097394954947 1923 6097394955286 1924 6097394955358 1925 6097394955556 1926 6115435563778 1927 6117442269380 1928 6117442270430 1929 6129491721944 1930 6226457455127 1931 6230519733445 1932 6242717168491 1933 6242717168584 1934 6242717169004 1935 6263081586338 1936 6263081586536 1937 6269199535265 1938 6273280382512 1939 6287577285992 1940 6291666104170 1941 6291666104263 1942 6291666104335 1943 6334705747507 1944 6349095790676 1945 6355269619232 1946 6371752722478 1947 6371752723027 1948 6373815112664 1949 6373815113015 1950 6417228158747 1951 6417228158852 1952 6473333996990 1953 6473333997761 1954 6498374536226 1955 6529765909079 1956 6529765910471 1957 6552850389865 1958 6552850390429 1959 6552850390735 1960 6552850391212 1961 6559155586084 1962 6571778109061 1963 6599182440692 1964 6599182440782 1965 6599182441175 1966 6616084453684 1967 6630897365795 1968 6630897366560 1969 6686110322170 1970 6686110322263 1971 6686110322335 1972 6718102926328 1973 6718102926526 1974 6718102926631 1975 6750197423818 1976 6765209771528 1977 6765209771705 1978 6771650441999 1979 6771650443664 1980 6814692744790 1981 6814692744916 1982 6829800529379 1983 6829800529469 1984 6829800531035 1985 6836282125574 1986 6860083054762 1987 6868751615117 1988 6892627803751 1989 6914381387210 1990 6944913227119 1991 6953653088069 1992 6953653088159 1993 7010640979627 1994 7030439860507 1995 7056896303845 1996 7085632259912 1997 7085632261214 1998 7092274692908 1999 7092274693733 2000 7098921277073 2001 7112226901319 2002 7118885939978 2003 7118885940887 2004 7118885942222 2005 7132216493366 2006 7132216493417 2007 7143337987708 2008 7143337988332 2009 7152243506222 2010 7158927495683 2011 7176771831388 2012 7176771831586 2013 7190174524981 2014 7199118915992 2015 7210309836139 2016 7279952479190 2017 7279952479640 2018 7304771761390 2019 7304771762122 2020 7325120353915 2021 7325120354257 2022 7325120354365 2023 7327383636980 2024 7327383637661 2025 7347774180722 2026 7372747283092 2027 7372747283611 2028 7388668681223 2029 7450294495571 2030 7464035492909 2031 7464035493755 2032 7482383090920 2033 7496163504067 2034 7532993965097 2035 7532993965349 2036 7539913079684 2037 7600056299071 2038 7600056300622 2039 7623273196106 2040 7630247474105 2041 7641880718746 2042 7641880718830 2043 7644208786091 2044 7665182671808 2045 7665182672366 2046 7665182672417 2047 7676851390720 2048 7707245467688 2049 7707245468543 2050 7714270860128 2051 7714270860452 2052 7718956823890 2053 7754162067862 2054 7763568176654 2055 7784759725958 2056 7784759727041 2057 7810712837671 2058 7813075066958 2059 7813075068020 2060 7824893361022 2061 7834356571862 2062 7841458983593 2063 7896053478067 2064 7896053478157 2065 7912719348134 2066 7938955923418 2067 7953291197512 2068 7955682086345 2069 7967643717532 2070 7974826447702 2071 7989204855484 2072 7996400536774 2073 7996400537056 2074 8013207259442 2075 8025226467184 2076 8027631748892 2077 8027631750080 2078 8061356189800 2079 8075838387043 2080 8085502814972 2081 8085502815650 2082 8107275962531 2083 8121813088142 2084 8129088162173 2085 8136367580447 2086 8141222938942 2087 8141222940202 2088 8148509597167 2089 8172829861322 2090 8177699713036 2091 8180135366240 2092 8194759428779 2093 8209400915306 2094 8243632177972 2095 8243632178632 2096 8265688160278 2097 8265688160386 2098 8282869985402 2099 8317305037393 2100 8349365775977 2101 8416216509095 2102 8416216509383 2103 8416216510307 2104 8423666319473 2105 8431120525574 2106 8451019899475 2107 8480927635381 2108 8488415577862 2109 8498406356138 2110 8528425720754 2111 8540954623567 2112 8588676358724 2113 8593710016363 2114 8623953261229 2115 8623953261625 2116 8656796755850 2117 8669451039577 2118 8669451041014 2119 8679583339880 2120 8740542978476 2121 8755827356039 2122 8776234229500 2123 8776234230145 2124 8791560174238 2125 8794116232535 2126 8860747749340 2127 8878744330109 2128 8891613937933 2129 8909652273779 2130 8909652274295 2131 8909652274742 2132 8909652275024 2133 8925133109753 2134 8930297368738 2135 8938047493915 2136 8938047494257 2137 8938047494365 2138 9062660017288 2139 9062660017558 2140 9073096359284 2141 9073096359554 2142 9093993074359 2143 9112304002706 2144 9112304003222 2145 9125398271446 2146 9128018630180 2147 9128018630504 2148 9156875685769 2149 9167384222528 2150 9167384222705 2151 9191057814863 2152 9206862829892 2153 9206862830906 2154 9206862831119 2155 9235885732870 2156 9235885732924 2157 9235885733266 2158 9238527198329 2159 9238527200300 2160 9262323061184 2161 9286159745858 2162 9286159745927 2163 9291462336196 2164 9291462336646 2165 9302073571133 2166 9339276505195 2167 9339276505249 2168 9339276505645 2169 9349924104755 2170 9349924105214 2171 9379246724683 2172 9379246725160 2173 9395266690153 2174 9446116906250 2175 9459528966397 2176 9478327174493 2177 9510610583549 2178 9510610584206 2179 9518692872623 2180 9542967214175 2181 9556470773845 2182 9564579021436 2183 9591639632840 2184 9591639633056 2185 9621465205855 2186 9632326178603 2187 9632326178621 2188 9640477269410 2189 9686753657893 2190 9689480399594 2191 9694935422440 2192 9719508349978 2193 9719508351670 2194 9719508352006 2195 9727708544977 2196 9771520819391 2197 9771520820375 2198 9771520820465 2199 9777006584797 2200 9777006585079 2201 9787984275077 2202 9796222932998 2203 9796222934624 2204 9801717939925 2205 9826470900226 2206 9892682449795 2207 9920358144971 2208 9925899468682 2209 9925899468841 2210 9928670905847 2211 9942535827613 2212 9961968391172 2213 9967525199290 2214 9967525200379 2215 9967525200469 2216 9967525201411 2217 9970304380220 2218 9978645015701 2219 10025996497360 2220 10059511106950 2221 10059511107307 2222 10062307357832 2223 10062307358201 2224 10076296382218 2225 10076296382542 2226 10079095741772 2227 10093100321302 2228 10095902790257 2229 10095902790365 2230 10101509289475 2231 10180218346328 2232 10180218346526 2233 10180218346631 2234 10194316416748 2235 10194316416922 2236 10236688710895 2237 10236688711378 2238 10236688711468 2239 10236688711576 2240 10256502566075 2241 10256502566414 2242 10270670959654 2243 10270670960416 2244 10299046881761 2245 10299046882241 2246 10321785215029 2247 10321785215515 2248 10341708688142 2249 10358806342961 2250 10364509746049 2251 10364509746427 2252 10384488143540 2253 10415934609943 2254 10444577339795 2255 10444577341523 2256 10450312180936 2257 10450312181473 2258 10461788156288 2259 10461788156558 2260 10493390406730 2261 10519294077931 2262 10556785699808 2263 10565450246945 2264 10565450247176 2265 10591472325026 2266 10614638897797 2267 10614638898187 2268 10614638898700 2269 10614638900032 2270 10634937342299 2271 10634937342695 2272 10634937342785 2273 10643644591772 2274 10652356591592 2275 10701814402903 2276 10701814402921 2277 10739738200769 2278 10739738201480 2279 10739738201711 2280 10754348101471 2281 10763120395978 2282 10763120397064 2283 10763120397154 2284 10780679296402 2285 10783607635298 2286 10807053438682 2287 10807053438841 2288 10809986548982 2289 10809986549069 2290 10809986549159 2291 10809986550530 2292 10827596371826 2293 10827596372147 2294 10836408450575 2295 10836408450734 2296 10842285823828 2297 10842285824185 2298 10871704572857 2299 10871704573601 2300 10877594699662 2301 10877594699731 2302 10924792334387 2303 10924792335200 2304 10930701621541 2305 10983981112315 2306 11010685660963 2307 11046359005981 2308 11049335257679 2309 11055289365712 2310 11058267221840 2311 11064224537089 2312 11076145585199 2313 11076145585649 2314 11094043211105 2315 11100013367602 2316 11162829372058 2317 11162829372181 2318 11192824866278 2319 11192824866386 2320 11210847929474 2321 11210847930503 2322 11210847930521 2323 11225881918819 2324 11225881919620 2325 11234908762177 2326 11252976959962 2327 11252976961264 2328 11319392750930 2329 11343608584918 2330 11343608585476 2331 11361793108525 2332 11364825749852 2333 11407339417105 2334 11453007284395 2335 11453007284716 2336 11453007285142 2337 11456056135574 2338 11465205933602 2339 11492684555492 2340 11492684555726 2341 11563107097639 2342 11563107098245 2343 11572313798959 2344 11572313799811 2345 11572313801362 2346 11575383786092 2347 11603038101812 2348 11603038102046 2349 11609189478166 2350 11649226442192 2351 11649226442285 2352 11649226442555 2353 11649226442642 2354 11664649750177 2355 11692446000595 2356 11692446000718 2357 11695537194758 2358 11695537195307 2359 11711001344869 2360 11711001345706 2361 11723382472949 2362 11723382474071 2363 11729576307859 2364 11729576308480 2365 11729576308711 2366 11804072580187 2367 11804072580700 2368 11825859919142 2369 11832089794411 2370 11863271988722 2371 11869514994316 2372 11869514994424 2373 11935198839796 2374 11935198840579 2375 11944601982592 2376 11947737459668 2377 11947737461213 2378 11963423079607 2379 11972841036982 2380 12020004973879 2381 12020004974842 2382 12020004975322 2383 12042057134288 2384 12042057134558 2385 12042057135125 2386 12067292608624 2387 12076764992287 2388 12076764992557 2389 12076764993103 2390 12076764993121 2391 12105211887097 2392 12105211887349 2393 12105211888000 2394 12124201279390 2395 12124201280266 2396 12155894377832 2397 12155894378201 2398 12184465347881 2399 12200357436667 2400 12200357436805