# A145741 (b-file from Jens Kruse Andersen) 1 163 2 409333 3 1867783 4 828497443 5 2059599067 6 5767711867 7 8965599883 8 9655686727 9 9671300983 10 12627473917 11 19635778453 12 31428255373 13 76292280733 14 140192390683 15 141077258953 16 141805795657 17 150360096973 18 176552953273 19 186521536807 20 250298387047 21 254856585523 22 273175953373 23 278907813853 24 284057809093 25 311444598697 26 376040154163 27 404638124977 28 447247523053 29 452428383103 30 454502718343 31 456544111213 32 459775038913 33 463051474813 34 463569532567 35 483137708293 36 485142116713 37 496359456877 38 517164092713 39 593658729217 40 624183138847 41 625975896967 42 667537049953 43 767247540733 44 773464440907 45 794907234727 46 807771233977 47 855709285957 48 916792710667 49 957569869573 50 980232664357 51 982557050143 52 991749215647 53 1087801149583 54 1125743253793 55 1160889692887 56 1170983191207 57 1177946220067 58 1213507492723 59 1214922622477 60 1251829298413 61 1264904120407 62 1286161937923 63 1402738713553 64 1599931457587 65 1631735687233 66 1669626302983 67 1785660295477 68 1792729958287 69 1822896797857 70 1876881434563 71 1884843879703 72 1886243138473 73 1887466898263 74 1887660042907 75 1929026913097 76 1985155328473 77 2043325963603 78 2118952464883 79 2131006835017 80 2370347373487 81 2392158606247 82 2420795533447 83 2422301610073 84 2482207681207 85 2525613543667 86 2538383709607 87 2668120409287 88 2680351637737 89 2747832398413 90 2748904830037 91 2901899157103 92 2980255552003 93 3026318319523 94 3077096382823 95 3079196633857 96 3179070552793 97 3179573283583 98 3326237506117 99 3379645643467 100 3777504528757 101 3850594599223 102 3938106381763 103 3947436162937 104 4176646882543 105 4266379940167 106 4405708927453 107 4435404465097 108 4460449424533 109 4617478214407 110 4648947268387 111 4670434829377 112 4673270227333 113 4719420154243 114 4764893243287 115 4774418239957 116 4942536519757 117 4961066278963 118 5084690474557 119 5119994684137 120 5126244420487 121 5141744558017 122 5178888820627 123 5322109431013 124 5323514354533 125 5341940312977 126 5403262487617 127 5423578779133 128 5503669147153 129 5508345111553 130 5984157286963 131 6011977542253 132 6177296509477 133 6213954222127 134 6332447937733 135 6552892412047 136 6562605068077 137 6612894389707 138 6629618954863 139 6682809565567 140 6703991488573 141 6758866541113 142 6787014897877 143 6880644298663 144 6943901035537 145 7015233675367 146 7017160858453 147 7055027739043 148 7080479739547 149 7158891491767 150 7229658602083 151 7231297468987 152 7522425060067 153 7636453217677 154 7788411508483 155 7900816777417 156 8073804084487 157 8112489230113 158 8219743706623 159 8311114648153 160 8547311473387 161 8668135024957 162 8678990238823 163 8679982444687 164 8908399362787 165 8978888920087 166 9056049205933 167 9206471763547 168 9513472714267 169 9581673906253 170 9625309880113 171 9830367757477 172 9871431850597 173 9960568876393 174 10040226914083 175 10053941590207 176 10144058922463 177 10158097175293 178 10900074594817 179 10975876599517 180 10997877943453 181 11013783675757 182 11343746859547 183 11503222459633 184 11519443840237 185 11533186013497 186 11546413627807 187 11866646164927 188 11891347378087 189 11924896554937 190 12158880045733 191 12304996540237 192 12454046224453 193 12596448397747 194 12748518171943 195 12802662296587 196 12903629935177 197 12929090479363 198 13001065600447 199 13173492120457 200 13462478152957 201 13491637509487 202 13499994219847 203 13519923235723 204 13574227554127 205 13803953003527 206 13919653011037 207 13930195511653 208 14044225243183 209 14204825071963 210 14220761575087 211 14232118013653 212 14262835100473 213 14271944912647 214 14287929874003 215 14377065160063 216 14428274277943 217 14604177596353 218 14999575449307 219 15140951421187 220 15294590895313 221 15322751331673 222 15609569496217 223 15622055199613 224 15678149516023 225 15853593876157 226 15887546886187 227 15911291174293 228 15992060658403 229 16060945202047 230 16161589594243 231 16259435559217 232 16430052616723 233 16477149998857 234 16723942071673 235 16800530896843 236 16820613623053 237 16952897478577 238 17441599841593 239 17465816749753 240 17491627882513 241 18252283336753 242 18271568235013 243 18433766800663 244 18443658927523 245 18532222806043 246 18819178775233 247 18915310293973 248 18942936541027 249 19146398699173 250 19234778407177 251 19457415476293 252 19802478368863 253 20019722573533 254 20279155050823 255 20503780031233 256 20680809967183 257 20688171329863 258 20733781334557 259 20890566028117 260 21067440814687 261 21224768043823 262 21295538066707 263 21382193227543 264 21467594260627 265 21733262708917 266 21799973487427 267 21859716055027 268 22125667159303 269 22255442429683 270 22339717834897 271 22359274778173 272 22550100625123 273 22554415823347 274 22626924312127 275 22658783436193 276 22714673831917 277 22935161729797 278 23053775590267 279 23275973007373 280 23465487753073 281 23511143848333 282 23669212121263 283 23713591200643 284 23739223612267 285 23753413404403 286 23844505583803 287 23864562727153 288 23983075708447 289 24003332941723 290 24006489351307 291 24028113465283 292 24238102369567 293 24247464040717 294 24340870515427 295 24357906718567 296 24428175356293 297 24495125638813 298 24705131041273 299 24736939716283 300 24850472751967 301 24997474385977 302 25198591358263 303 25228637570833 304 25619229775813 305 25639670159863 306 25738840647853 307 25898744659573 308 25921520213383 309 25938250092463 310 26190091995127 311 26353877975797 312 26521850938213 313 26598863581207 314 26644353405223 315 26762765905423 316 26769049381237 317 26807972519113 318 26809995282907 319 26867150952247 320 26954832390817 321 27019577645377 322 27399657785173 323 27460371395647 324 27518709103957 325 27527989921777 326 27704078901493 327 28231052338003 328 28516258476337 329 29066587074163 330 29680144447507 331 30046039533973 332 30090446366677 333 30442762277887 334 30790495673953 335 30956546988427 336 31002688053313 337 31154904996763 338 31189862590027 339 31292228923993 340 31355588634043 341 31401389337697 342 31411015842277 343 31445281841647 344 31478983548433 345 32076875491357 346 32229967542193 347 32332167643843 348 32562673977997 349 33032526263797 350 33260183065453 351 33283774322467 352 33740079502123 353 33813054701743 354 33858352958593 355 33949168907347 356 34243505742427 357 34257122744947 358 34541656563187 359 34719397863313 360 35456440964323 361 35523199518073 362 35556622386433 363 35697019033813 364 35847059607913 365 35910079115857 366 35935959117697 367 35956546117507 368 35968581202117 369 36303752779897 370 36310862035303 371 36343799488063 372 36413864819473 373 36623635814803 374 36830000904643 375 36900287832907 376 37071209319607 377 37229261997013 378 37405499447737 379 37715460569473 380 37837471934593 381 37996022561737 382 38007953700907 383 38064092370907 384 38301733060567 385 38584601417107 386 38591183214277 387 38732143389487 388 38832824187133 389 39032980260607 390 39125731792753 391 39165544290217 392 39359484255067 393 39370357478587 394 39378338377753 395 39398195012863 396 39838780657813 397 40116573118693 398 40155648320197 399 40237047082303 400 40269655788217 401 40289934902743 402 40570586996347 403 40912186792423 404 41100330690967 405 41139561437473 406 41356065276793 407 41522732483863 408 41737479594673 409 41770853082457 410 42221242155943 411 42283127022823 412 42283243204987 413 42354599852833 414 42426871980733 415 42465706346737 416 43176130793713 417 43213164481897 418 43237838216857 419 43306429999627 420 43676462012467 421 43714930741813 422 43790832410383 423 44112587979793 424 44116596243757 425 44563871731633 426 44750065357957 427 44807521801183 428 44900695853743 429 45018766445557 430 45401532085837 431 45870233685343 432 46238768650537 433 46318479920773 434 46877546364553 435 47547880693657 436 48014494373827 437 48025048784113 438 48245439068887 439 48493259460913 440 48650921758723 441 48741031222123 442 48827620192327 443 48841921475407 444 48967993752217 445 49252168219963 446 49363889262433 447 49404402461737 448 49423353129847 449 49596195605023 450 49600610075647 451 49854068163307 452 50004255855313 453 50354274598387 454 50594675255587 455 50655824319433 456 50876859436747 457 51031697267917 458 51171446496487 459 51187173947743 460 51284775031813 461 51376976318497 462 51442033718623 463 51580898694847 464 51666654250297 465 51796576721563 466 52349523251617 467 52361993656303 468 52552428706243 469 52569063478537 470 52854270354433 471 53043104243287 472 53173750114543 473 53174820885673 474 53766838190587 475 54100582971103 476 54208228697137 477 54324555469507 478 54440369492503 479 54810149451817 480 54902632972933 481 55022292378607 482 55305910648333 483 55369512564853 484 55395943514377 485 55835593820077 486 56337859889257 487 56478071840023 488 57376775225947 489 57414677999347 490 57471353428483 491 57754387204963 492 57761847080023 493 57834770765377 494 57904320181723 495 58318242119083 496 58320563240977 497 58342258562053 498 58521025007713 499 58574398059703 500 58903837708237 501 58962039522367 502 59167683397243 503 59262898096543 504 59285891176297 505 60049888811047 506 60121243398637 507 60146233719427 508 60288418219723 509 60788662515667 510 61256359739437 511 61405176741703 512 61421351814223 513 61478603976463 514 61592968286887 515 61785812243677 516 61947861316867 517 62174391125023 518 62527971567037 519 62804101515703 520 63252429459487 521 63359489329117 522 64081238037133 523 64346412786247 524 64402770602263 525 64466730154093 526 64813658745973 527 64855238146603 528 64891995253633 529 64948632848647 530 64959191031373 531 64984575749923 532 65563595741317 533 65653242339787 534 65807301376513 535 65824892720827 536 66015613532383 537 66045878805967 538 66389294827123 539 66621503654227 540 66840909442393 541 67093577007823 542 67156362270853 543 67593198541507 544 67841063839333 545 68117712773797 546 68119049070403 547 68328496056307 548 68684983596013 549 68706316058983 550 68768172502297 551 68949027954097 552 69110151304357 553 69532996942957 554 69736556681317 555 70084486347247 556 70250536312807 557 70637879550583 558 70712879509903 559 70773669650443 560 70914427684027 561 71079647494927 562 71229030240817 563 71732459670463 564 71808553550287 565 72234883776463 566 72458589218173 567 72542399186863 568 72559096105897 569 72630421920907 570 72721281298843 571 72750983568937 572 73221895632043 573 73300954372627 574 73703192396023 575 73977902384653 576 74089851201073 577 74175494881027 578 74225410721317 579 74284116625387 580 74515445907043 581 74530078967677 582 74591693085193 583 74791220735317 584 74938081012477 585 75077260321837 586 75192810011533 587 75246237252103 588 75563590852093 589 75607491453253 590 75882523756813 591 76017852655903 592 76721836532707 593 76748574773707 594 76828466847763 595 77235468644713 596 77552497806193 597 77719925949187 598 77965237285483 599 78076788715963 600 78657203552713 601 78677423390113 602 78698050711897 603 78782637691363 604 79014691939087 605 79714108857637 606 79808737931437 607 80079233448853 608 80207489417707 609 80465305002457 610 80538405355237 611 81154588654297 612 81272377899133 613 81409542393727 614 81855818995267 615 82596088648327 616 82788238381633 617 82863565494847 618 82877514140257 619 82932123092527 620 83063622656653 621 83206720604863 622 83488161241717 623 83675215451683 624 84100935205477 625 84129939366727 626 84209664160693 627 84682355128207 628 84708085954867 629 85167319071157 630 85177526243947 631 85196559250147 632 85227051467413 633 85232179632307 634 85647427421887 635 85685983606147 636 85747003513033 637 85844478365017 638 85852684572337 639 85922319938317 640 85924174139533 641 86057072151373 642 86346829212967 643 86469637967227 644 86627217055633 645 86709446554567 646 87326109196813 647 87381160951417 648 87941756033497 649 88245810402583 650 88262492030953 651 88398746929123 652 88515898978483 653 88987712171737 654 89181444709303 655 89253492251653 656 89926426141687 657 89934367494577 658 90062013395047 659 90207477796027 660 90291175674373 661 90555419438863 662 90597362675527 663 90793577053873 664 90900001032817 665 91645244321317 666 91765792380553 667 92020243310923 668 92038570953673 669 92138107357927 670 92515613964013 671 92706645039913 672 92861112917917 673 92989848478213 674 93404513796427 675 93441989186683 676 93522705139147 677 93630019155733 678 93728213187757 679 94011082283077 680 94147215715183 681 94473558638713 682 94610098604443 683 95162284388257 684 95265956421673 685 95674391134393 686 95859396843673 687 95967946229563 688 96203563987213 689 96459185769577 690 96546613161373 691 96751670209573 692 97139361121147 693 97288002488917 694 97378793785123 695 97730223447943 696 97843505130067 697 97871475634717 698 97894921145767 699 98272033776403 700 98601688860007 701 98620477230697 702 98626791591997 703 98700288064753 704 99205614258727 705 99614326731613 706 99692320928533 707 99795177396583 708 99846052347463 709 100037155507447 710 100143676933903 711 100234507607683 712 100852828206397 713 100923156163747 714 101088231488623 715 101242416474193 716 101364780453553 717 101401299036823 718 101709241006297 719 101752586931367 720 101770644430603 721 101795000265337 722 102218330468857 723 102923738835157 724 103021512209137 725 103027944208183 726 103664547154303 727 103848978201103 728 103861207425607 729 104122828906273 730 104832517342837 731 105625741603783 732 105693182911297 733 105832771442533 734 105876207721447 735 105879099157063 736 105895679809987 737 105941659755523 738 106074431124187 739 106224840714367 740 106230636373717 741 106394684234743 742 106437306345547 743 107347182908023 744 107413436165953 745 107438584417627 746 107896924699897 747 108206339767597 748 108357850115617 749 108797721848047 750 108889803303703 751 108952297871503 752 109271820444763 753 109300216272613 754 110026504666717 755 110040904047757 756 110170368780817 757 110305156071793 758 110441397741343 759 110803266991267 760 110839196412613 761 111498578995477 762 111760764496483 763 111762278655883 764 112031324995753 765 112301944984153 766 112896700240417 767 113136406613563 768 113708892794557 769 113922162449197 770 114074044268893 771 114837025249213 772 114871288394713 773 114897555580567 774 115324781889727 775 115596647779033 776 115733804975167 777 115945984598767 778 116051166745273 779 116623377038953 780 117115771399867 781 117351031529383 782 118016065969873 783 118203958139677 784 118522733587003 785 118844301782383 786 119103381068743 787 119410721212777 788 119462642421907 789 119520276425713 790 120427210136083 791 120512010220387 792 120536123067067 793 120836018079463 794 120987495571363 795 121331409751897 796 121723971568123 797 121757771949907 798 121820324515297 799 121922432779207 800 122418051329737 801 122426503571023 802 122432635152787 803 122877215544427 804 122995223422537 805 123037082135983 806 123037863064183 807 123185165003587 808 123278757797353 809 123473309004637 810 123794416019437 811 124204839938743 812 124400744983183 813 124668446095603 814 124783922884237 815 124915469312593 816 124984594565317 817 125104995810943 818 125176551195613 819 125176759150633 820 125291924422267 821 125359016564413 822 125494651931443 823 125627330606563 824 125628562986763 825 125669509226893 826 126189356226763 827 126747294063427 828 126843691718503 829 126942396058003 830 127057936581613 831 127153165873897 832 127184870354173 833 127291930461763 834 127311552957103 835 128083319324797 836 128157496604113 837 128183818828213 838 128704805109967 839 129112025899123 840 129984459462817 841 130045200158113 842 130224129378907 843 130486965308737 844 130512251431087 845 130804153719913 846 131174403863743 847 131343948204253 848 131690507715253 849 131964746245117 850 132440588681377 851 132464140961287 852 132731147179717 853 132771951416743 854 133300305026233 855 133552081084843 856 133784144331583 857 133820450689447 858 133864673001733 859 133880316375733 860 134115453467227 861 135395623488673 862 135449482273513 863 135509997533233 864 135704669619667 865 135757685521063 866 136465682406607 867 136535223273733 868 136948730917993 869 137219262344497 870 137479439683723 871 137882493677713 872 138237641553757 873 138509678448607 874 138537396875893 875 139740690751993 876 140899489892527 877 141002860601233 878 141052648548463 879 141081528488167 880 141104096564533 881 141151228960723 882 141256584020077 883 141287260315723 884 141580336753927 885 142471182484717 886 142576027324417 887 142580970135277 888 143226997375837 889 143343544073767 890 143993949438133 891 144909004112797 892 145116077429563 893 145228488945103 894 145239355400353 895 145900091575687 896 146181657993457 897 146614375284007 898 146718847305517 899 147085447920937 900 147564723165553 901 147632159534953 902 147701030174443 903 147855984277087 904 148388795221297 905 148432342593397 906 148888303446733 907 148907094933283 908 149066526208777 909 149189946455617 910 149486688302317 911 149907501249433 912 150445111800523 913 150505283361337 914 151360284188107 915 151430249455633 916 151555622387227 917 152290406211133 918 152794568974573 919 152812239154633 920 153001304171347 921 153047121103207 922 153206292853447 923 153419897709787 924 154356248932153 925 154534220334943 926 154853108338597 927 155133650650903 928 155247376098277 929 155402545287907 930 155660943206113 931 155854705739023 932 155859276019687 933 155949560882263 934 156098967870217 935 156422118826933 936 156538372322467 937 156558184567933 938 156585069566083 939 156665344265593 940 157123465757017 941 157190472303967 942 157277862282487 943 157330280285557 944 158136663872023 945 158144987570707 946 158209094074663 947 158722473909343 948 159615301393507 949 159801863641513 950 160240426545763 951 160650631882687 952 160769514473353 953 161132607955663 954 161518136539687 955 161579609882527 956 161776836711823 957 162255260045803 958 162305725988113 959 162756327443803 960 163188682272163 961 163343280547063 962 163896705971497 963 164214128532547 964 164427807737923 965 164759560632517 966 164792857372333 967 164818917322753 968 165110207073463 969 165721612565023 970 166163161417597 971 166197742006363 972 166370135925547 973 166582654334233 974 166886354488393 975 166981050913363 976 167097005469223 977 167692771211947 978 168001908119677 979 168109665097873 980 168621669932983 981 168658531544353 982 169188121411093 983 169444303566913 984 169644559847107 985 169787142667543 986 170231339690197 987 170878462129057 988 171219522153817 989 171357793584217 990 171506990892763 991 171724409284927 992 171879276230407 993 172210269450367 994 172222093663657 995 172903861841407 996 172982101282477 997 173216340940987 998 173248615078807 999 173366719259143 1000 173527318619713 1001 173604889416883 1002 173767621894843 1003 173962267845283 1004 174014485477123 1005 174327183100387 1006 174825525388273 1007 175021714674997 1008 175124967946063 1009 175389491802583 1010 175818861713917 1011 175859442939877 1012 175911686833807 1013 176004590042143 1014 176075310527953 1015 176391406040887 1016 176394737231953 1017 176431103745163 1018 176543294893597 1019 176753837840353 1020 177133249741207 1021 177308903651713 1022 177387751196947 1023 177476730558187 1024 177575986071157 1025 177793292479177 1026 177924100906687 1027 178648120659793 1028 178667041892047 1029 179033932082527 1030 179802298532173 1031 179916976375987 1032 179922222995377 1033 180090548345467 1034 180108590912317 1035 180270685585027 1036 180459609558937 1037 180822222168547 1038 181293360521527 1039 181534984488097 1040 181818207548443 1041 181951200141397 1042 182094113449033 1043 182857483534273 1044 182968516900513 1045 183668967762883 1046 184075002435823 1047 184221352275277 1048 184312243237753 1049 184391691555157 1050 185335166163613 1051 185342983959373 1052 185470256663113 1053 185520369454093 1054 185576239929397 1055 185589909827107 1056 185639212955617 1057 185693698961857 1058 185996945261593 1059 186047001456493 1060 186213327128173 1061 186369414649867 1062 186889056153727 1063 187274270970103 1064 187342487858563 1065 187817317698277 1066 188168036779783 1067 188454798861673 1068 188488720518547 1069 188633841186877 1070 188831439447883 1071 188885544217687 1072 189061588618687 1073 189355115477287 1074 189694550800423 1075 189698746023637 1076 190804423386553 1077 191245683449923 1078 191450130975097 1079 191671261092733 1080 192887843092267 1081 193069280133823 1082 193163008653283 1083 193610620743247 1084 193747821740467 1085 194254742320153 1086 194294176325407 1087 194945652603067 1088 195129261504703 1089 195717453930793 1090 195858228663073 1091 195887637375697 1092 196066605138853 1093 196307107290253 1094 196417528923883 1095 196550755614403 1096 196929163440157 1097 197481777294547 1098 197486226983467 1099 197755451599633 1100 198063509122627 1101 198122309328133 1102 198779896728757 1103 199172120928883 1104 199235067996343 1105 199715796371617 1106 200002163461423 1107 200381124586927 1108 200473274271433 1109 201132972565897 1110 201143431295503 1111 201265846201513 1112 202278229022137 1113 202545053561827 1114 202715525043817 1115 202868301803953 1116 203348800138807 1117 203482446556657 1118 203531277551347 1119 203716855894693 1120 203770902170977 1121 203775646526083 1122 203924315223127 1123 204655115537503 1124 204851871602893 1125 204962383508023 1126 205231650612487 1127 205531019106757 1128 205559714686747 1129 205617012665023 1130 205811537717437 1131 206318183129437 1132 207385648395157 1133 207877762457887 1134 208164968773183 1135 208337756648767 1136 209431578389377 1137 209591792249107 1138 209760664520647 1139 209840909837197 1140 210215649479467 1141 210266822198647 1142 210559938966007 1143 210684840862423 1144 210850623426853 1145 210941263794853 1146 210953001325903 1147 211159004816827 1148 212140125278167 1149 212400580790743 1150 212589752692153 1151 212623850046133 1152 212724552028657 1153 212986237457827 1154 213492416011933 1155 214026709956313 1156 214484470629067 1157 214753831421803 1158 215021767224643 1159 215054082243037 1160 215157964882477 1161 215678801534527 1162 216128733775663 1163 216455588036293 1164 216714309920557 1165 217201429151683 1166 217838057990767 1167 218043991227913 1168 218413598353633 1169 218579161570687 1170 218585884620937 1171 218708746383913 1172 219499977727297 1173 219667995119203 1174 220263137816863 1175 220433107630873 1176 220612373555953 1177 220922792920897 1178 221276174947573 1179 221491406142703 1180 222294912995257 1181 222700384056217 1182 222862595203957 1183 223071031450507 1184 223207879525117 1185 224113699985827 1186 224160472906297 1187 224709769474807 1188 224728713750487 1189 224930367767653 1190 226126308966517 1191 226286401590043 1192 226287000671197 1193 226346569506817 1194 226372057812583 1195 226527852566437 1196 226979284953103 1197 227048294965237 1198 227205843033733 1199 227318573950297 1200 227514274317493 1201 228367505147923 1202 228583332199567 1203 228829911180733 1204 228859892247127 1205 229163780252773 1206 229251756569383 1207 229399227676903 1208 229475174172337 1209 229625446521307 1210 230404011749437 1211 230455664078413 1212 230831165635753 1213 231129195975463 1214 231591320938387 1215 231652092319393 1216 233090282270773 1217 233371571416537 1218 234146510862763 1219 234158152521967 1220 234634684863217 1221 234948778201867 1222 235002094597873 1223 235576432751587 1224 236698295438707 1225 236862145575763 1226 237029756820187 1227 237289129331893 1228 237753005975893 1229 237983208493207 1230 238064967632347 1231 238331606616667 1232 238493647798333 1233 238575725186593 1234 239179125971053 1235 239190532297567 1236 239364183430003 1237 239675764151377 1238 240601160989597 1239 241196828564707 1240 241294427404297 1241 241521769540657 1242 241850657412037 1243 242384003320243 1244 242779753742563 1245 243251903101747 1246 243628614795637 1247 243717097701487 1248 244227894089743 1249 244517639943943 1250 244758699871393 1251 244967832948997 1252 245225197381327 1253 245514820021837 1254 245518658601913 1255 245847515260813 1256 245982931602787 1257 245991649757407 1258 246142072151893 1259 246406313573743 1260 246422871890743 1261 246473301754513 1262 246931576618357 1263 247685647648723 1264 247844148741403 1265 248324461896193 1266 248909086955743 1267 249150950359147 1268 250347236413003 1269 251373966717967 1270 251519301843373 1271 252063787232107 1272 252288103201297 1273 252348119128627 1274 252358884883477 1275 252671930403817 1276 253291879426513 1277 254680290324727 1278 254760957401113 1279 254844693122077 1280 254925765934393 1281 255668987639167 1282 255751191084547 1283 255863778361423 1284 255990038228257 1285 256506836305267 1286 257285632514857 1287 257621084072983 1288 257775921320383 1289 257910243273937 1290 257937348589897 1291 258489708912073 1292 258786820238923 1293 258798559862767 1294 259041842133937 1295 259338988755463 1296 259991108230627 1297 260023283545183 1298 260116368470473 1299 260729530430527 1300 261248225845027 1301 261340292591233 1302 261747910447213 1303 263129983468333 1304 263138778944563 1305 263145962739367 1306 263262655847797 1307 264828883828147 1308 265333860860413 1309 265456083103297 1310 265602026012887 1311 265910646487627 1312 266318268555553 1313 266450374719043 1314 266623332696823 1315 266623784470873 1316 267131010854467 1317 267260894390323 1318 267659343835657 1319 267834116036173 1320 267870312945757 1321 267979705127803 1322 268652685595963 1323 269261709921583 1324 269475135860533 1325 269709318036607 1326 269857590113197 1327 269949486526063 1328 270098550243127 1329 271116613810387 1330 271145736170563 1331 271295907119983 1332 271321882433737 1333 271450403361223 1334 271649828250637 1335 271823495924467 1336 271896194672617 1337 272189893201297 1338 272233233751747 1339 272263022805607 1340 272632515489667 1341 272740411526377 1342 273656895460657 1343 274139841997393 1344 274232279235517 1345 274994215013533 1346 275173537925353 1347 275296092178837 1348 275413950123733 1349 275584456114927 1350 276081921834643 1351 276888487411957 1352 277191283227373 1353 277477709881513 1354 277837809661267 1355 278375924189707 1356 278519252983603 1357 278894138020873 1358 279023055425977 1359 279567408945157 1360 279584700513913 1361 279647106211663 1362 280438436949367 1363 280874101478947 1364 282360799990483 1365 282585765914467 1366 282711836844523 1367 282896280639487 1368 282983633375293 1369 283363177175527 1370 284035031010817 1371 284162252564653 1372 284294104701223 1373 284364758720443 1374 284497314067297 1375 285207659385553 1376 285261879766537 1377 285933001767697 1378 285959714642617 1379 286087372760443 1380 286223648359903 1381 286637114634847 1382 287287590055867 1383 287579231361937 1384 288015358740943 1385 288416146000117 1386 288420480448237 1387 288489976145233 1388 288731651689903 1389 288765685185037 1390 289104472047253 1391 289202548173883 1392 289866261231163 1393 290047484348143 1394 290193838158907 1395 290231237526547 1396 291373912739827 1397 291459201776143 1398 291599446375603 1399 292102684848613 1400 292511480063203 1401 292649768786083 1402 292915780801417 1403 293274050737273 1404 293691088901893 1405 294032495664433 1406 294121270730347 1407 294276752044867 1408 294723729678337 1409 294944875676287 1410 295107675979747 1411 295218435940033 1412 296126191568617 1413 296250680130637 1414 298055623863727 1415 298309240060903 1416 299380354555027 1417 299829799888903 1418 299845622064913 1419 300066822309577 1420 300266397237073 1421 300589410324457 1422 300611669718397 1423 300614121437323 1424 300977986024237 1425 301394647697977 1426 302177236934857 1427 302825492928667 1428 303023593148677 1429 303202726939963 1430 303375598396567 1431 303722249563363 1432 304154648490907 1433 304481817161047 1434 305165668766743 1435 305297444071393 1436 305696437417897 1437 305830478270293 1438 305888521130707 1439 307348955465017 1440 307580821387093 1441 307701883189933 1442 308325764539423 1443 309183212665933 1444 309557930984647 1445 309891079786927 1446 310103850734437 1447 311086268417563 1448 311251814550163 1449 311359706299987 1450 311718655570723 1451 311810282947087 1452 312416010442453 1453 312442223316127 1454 312505108607437 1455 312682498010257 1456 313623275322547 1457 313775086458793 1458 314755825604257 1459 314963002326043 1460 315265477874323 1461 315431490991303 1462 315838071346813 1463 315977474908243 1464 316022185011877 1465 316318170864103 1466 316452778870243 1467 317149593805543 1468 317464187207773 1469 317847308264623 1470 318333172250767 1471 318644866496443 1472 318698417407693 1473 319546759250233 1474 319683351868213 1475 319695466182943 1476 319992598343203 1477 320035444697347 1478 320731722104137 1479 321237021097843 1480 321460595862673 1481 322169451763063 1482 322632856395193 1483 322983882832213 1484 323028790585477 1485 323315837914477 1486 323575060017763 1487 323765985642793 1488 323776471329943 1489 323919082401973 1490 325627297141633 1491 325769188774297 1492 326040049469803 1493 326069583903277 1494 326484800857447 1495 326879942955967 1496 327124862003773 1497 327381289416967 1498 327382238614957 1499 327546631557247 1500 327612266155507 1501 327670511666023 1502 327838310940463 1503 328396172881837 1504 328697098883983 1505 329005523356777 1506 329047792008457 1507 329183675854573 1508 329276960620213 1509 329671062658477 1510 329719776356587 1511 330071379247927 1512 330177879496837 1513 330342292062127 1514 330591332199643 1515 331138878552337 1516 332059904632003 1517 332203318444363 1518 332219206081183 1519 332300577022243 1520 332329537371463 1521 332954163546607 1522 333005045501503 1523 333342576022597 1524 334448026230277 1525 334891585976677 1526 335037039877873 1527 335442497276833 1528 336024755781577 1529 336034119493363 1530 336354565613047 1531 336863730291727 1532 336959149352863 1533 337076247547873 1534 337405202062303 1535 337579412544067 1536 338110281582847 1537 338767664895067 1538 338891342780167 1539 339562478754403 1540 339609519581707 1541 339651311044147 1542 339783461325067 1543 339863537321653 1544 339940583953147 1545 340345061743003 1546 340545002455417 1547 340561756729153 1548 340739788038967 1549 341027472783463 1550 341292148945477 1551 341305307310433 1552 341804849891107 1553 342024140886187 1554 342339780630607 1555 342397863227737 1556 342519368758933 1557 342707613950353 1558 342969894520537 1559 343215739862143 1560 343609551095413 1561 344177705578393 1562 344269225331557 1563 344550877363543 1564 344551605003937 1565 345369451726513 1566 346382161612573 1567 346658925544537 1568 346840947938587 1569 347643933382663 1570 348178628720983 1571 348765495269977 1572 349117330725013 1573 349118697687433 1574 349158291665527 1575 349891261395817 1576 350135699041837 1577 350143453246423 1578 350924007102043 1579 350996173059667 1580 351104851593673 1581 351194833441873 1582 351369110290543 1583 352545052456213 1584 352818019322917 1585 352875611521687 1586 353002451000257 1587 353605430276473 1588 353719932779623 1589 354203713292713 1590 355125556682593 1591 355269772164913 1592 355356880572787 1593 356074771875607 1594 356146505531653 1595 356369535544003 1596 356476825983133 1597 357270202939717 1598 357366052663687 1599 357389038451113 1600 357568003990033 1601 357708958498357 1602 359606328098557 1603 359676968689747 1604 360690474750643 1605 360711619054207 1606 360817088166397 1607 361393636316707 1608 362404189138093 1609 362664157299217 1610 362885158473853 1611 364155699367597 1612 364551598624777 1613 365575927552903 1614 365621712833983 1615 365894812017403 1616 366256044938557 1617 366321834008827 1618 366573476025157 1619 366722414430157 1620 367139844579643 1621 367215735164023 1622 367353166189783 1623 367554491010793 1624 367624101005767 1625 368138346635467 1626 368296419195373 1627 368357714638873 1628 368364637294747 1629 368796008823223 1630 368989316997823 1631 369083572486897 1632 369101495501887 1633 369449176455907 1634 369650693635897 1635 369878799715693 1636 370058097277663 1637 370192382585677 1638 370214011028227 1639 370252753050013 1640 370394763047467 1641 370993084665127 1642 371417083305283 1643 371720664174007 1644 371963800547683 1645 372722923651717 1646 372813691604803 1647 373089772347637 1648 373172635910713 1649 373269340520143 1650 373417571437003 1651 373503849556597 1652 373599769065763 1653 373617570543193 1654 373683281527207 1655 374503300391287 1656 374710870708267 1657 374822017880773 1658 375943531589257 1659 376225284639163 1660 376695960042733 1661 377033992188043 1662 377303725464073 1663 377417596191673 1664 377478698141953 1665 377729872923397 1666 378013179305617 1667 378036193653493 1668 378168375935953 1669 378253130509087 1670 378570369662347 1671 379190120441113 1672 379484494533103 1673 379900437230143 1674 380151778056373 1675 380836477567177 1676 380949861805297 1677 381050674251223 1678 381052430711467 1679 381216435374443 1680 381475030193203 1681 381492549824527 1682 382131264663943 1683 382242626996323 1684 382261260642727 1685 383635068453583 1686 383925961844527 1687 384115621486657 1688 384488643260467 1689 384854750440087 1690 385322565889363 1691 385797593051047 1692 385891721350237 1693 385903828474627 1694 385962413369047 1695 387149350035277 1696 387755003339257 1697 387814743943027 1698 387823577736457 1699 388331353423567 1700 388490700950683 1701 388553691360937 1702 389253957856003 1703 389430726544777 1704 389560556080873 1705 389869224066613 1706 390468869238277 1707 390707739995857 1708 390932432808877 1709 391065358993213 1710 391511234683783 1711 391680720963907 1712 391862894049463 1713 392201425796107 1714 392817380178217 1715 393409563665077 1716 393526918732963 1717 393797230046137 1718 394155535867153 1719 394191241702897 1720 394886294451433 1721 395552697172483 1722 395689987852993 1723 395698134712483 1724 397175307413593 1725 397185512144887 1726 397446970944433 1727 397779906266803 1728 397887663018217 1729 399203853939727 1730 399492078250687 1731 399888142084957 1732 400684188280513 1733 401212915833073 1734 402095254895107 1735 402189830822707 1736 402387010610047 1737 402503789525443 1738 402619290609187 1739 402711279452773 1740 402908015858797 1741 402996216746407 1742 403488428553673 1743 403759277477077 1744 404037828159373 1745 404430875794213 1746 404514047581183 1747 404550643027393 1748 404712329000323 1749 404746212106153 1750 404879266958233 1751 405051228871963 1752 405147181070767 1753 405738239652013 1754 405771065928187 1755 406115939606437 1756 406325786721493 1757 406536288729547 1758 407146148988373 1759 407490181893853 1760 408933764807173 1761 408940426578223 1762 409181621041603 1763 409238320568317 1764 409454390714527 1765 409682175707407 1766 409805508189163 1767 410484092261167 1768 410663522816383 1769 410668187006863 1770 411141049037713 1771 411302578458193 1772 411545680658443 1773 411685042017307 1774 412283167491847 1775 412777202506573 1776 414183218595127 1777 414822684834517 1778 415157978864077 1779 415487971470097 1780 415640098866007 1781 415733891130517 1782 415811161917937 1783 416298838495807 1784 417407664833503 1785 417671466971137 1786 417775489717237 1787 418067387631133 1788 418256624126317 1789 418750941295537 1790 418862603405227 1791 419096665962577 1792 419169932757907 1793 419342926794397 1794 419464025439517 1795 419607213367633 1796 420668126091403 1797 420675224152957 1798 420692611625617 1799 420819389713783 1800 421221303039223 1801 421876522225117 1802 422821343705737 1803 422920330553323 1804 423679550052973 1805 423931454500387 1806 424196174923123 1807 424478335117687 1808 424534429180717 1809 424645183191793 1810 424923250554433 1811 427008901031497 1812 427240824592327 1813 427429073075503 1814 427681577790097 1815 428202275766637 1816 428487710453317 1817 428572327838293 1818 429694308692317 1819 429696280402183 1820 429770437500853 1821 430204747263943 1822 430465676075593 1823 431528584947013 1824 431634463136143 1825 431950264881787 1826 432504858653233 1827 433181943951703 1828 433601301850777 1829 433853533404817 1830 433900091703457 1831 434354090016907 1832 434519990024437 1833 434543365498027 1834 434666374636993 1835 434901894489577 1836 435887429941657 1837 435927726954493 1838 436378655264203 1839 437044204432873 1840 440569738698247 1841 440824491591037 1842 441000277904803 1843 441038507632963 1844 441877474021267 1845 442084798026337 1846 442451640935137 1847 442567601250457 1848 442604994686353 1849 442793353292893 1850 442805981925157 1851 443229232925383 1852 443546968014187 1853 443848461849697 1854 443923688477263 1855 444965554125073 1856 445752678148303 1857 446351258446087 1858 446675501664247 1859 447042492840133 1860 447374234164993 1861 447537888649987 1862 447680289414373 1863 448908936021967 1864 449274282670987 1865 449370034989247 1866 449440977834643 1867 450451735441537 1868 450478674510967 1869 450494995637383 1870 450743328792997 1871 451699029637927 1872 451892552416957 1873 453714495393307 1874 454404533443477 1875 455590154336683 1876 455677044732163 1877 456339006903943 1878 456462643737193 1879 456608631732157 1880 456665514855817 1881 456885288468823 1882 457122520774693 1883 457315236754027 1884 457605345699847 1885 457908355778413 1886 458027006307847 1887 458030484439873 1888 459209663333107 1889 459226025080153 1890 459227371711747 1891 460784203944667 1892 462244121473093 1893 462891765109057 1894 462911959061017 1895 463004728354183 1896 463023995375173 1897 463043466493567 1898 463867763621047 1899 463888773515227 1900 464223876128083 1901 464547955923283 1902 464666228145793 1903 464818691259253 1904 465193695333343 1905 465305740658467 1906 465349329696997 1907 465649941728953 1908 465954493007257 1909 466095710943283 1910 466380801499537 1911 466446449876383 1912 466458806574847 1913 466792656722737 1914 467092282148563 1915 467184840882313 1916 467485695398353 1917 467813163694297 1918 467918559684643 1919 467992297327003 1920 468021837249367 1921 468305101077907 1922 469564443622003 1923 470179876414627 1924 470794371357643 1925 470885742596053 1926 471002730726907 1927 471602325009523 1928 471886817840953 1929 472116050833513 1930 472179512847673 1931 472614638143477 1932 472783892739943 1933 473916725814277 1934 474191562270133 1935 474318402986257 1936 474443518588603 1937 475486441738267 1938 475504697893633 1939 476778897054637 1940 476915594744803 1941 477278637841597 1942 477514002432163 1943 477859890277687 1944 478233363694417 1945 478316766220507 1946 478559055815107 1947 478569722586547 1948 478787024997703 1949 479337960477553 1950 479531501037103 1951 479671928703433 1952 480235405980817 1953 480536231824357 1954 480613067959117 1955 480921172711543 1956 482402145244567 1957 482848379231353 1958 483258632234233 1959 483547562565853 1960 483611772037717 1961 483643549478653 1962 484350296153557 1963 485025319141357 1964 485423522140747 1965 486058130914393 1966 486198265925227 1967 486685680384457 1968 486732969491917 1969 487000743422953 1970 487029284046013 1971 487178498462287 1972 487182537194593 1973 487349654046313 1974 488064053167777 1975 488205304543027 1976 488440806527767 1977 488775379431607 1978 489671310321187 1979 489931710839173 1980 490414162139917 1981 490965800372653 1982 491312496024043 1983 491677060620337 1984 492132370382503 1985 492410439892837 1986 493011529299697 1987 493108828775077 1988 493134938035573 1989 493267017446197 1990 493400499813967 1991 493440870153883 1992 493724873784517 1993 494759408707657 1994 495057819005017 1995 495205058558347 1996 495734467273567 1997 496077970390423 1998 496253331903883 1999 496981630044673 2000 497008089407173 2001 497214187710073 2002 497532960733447 2003 497941410126337 2004 498099292820677 2005 498671471957443 2006 499101275608567 2007 499158073736107 2008 499216915259857 2009 499479994523647 2010 499728596021257 2011 499782219232783 2012 500735414992717 2013 500780111802007 2014 500876361545113 2015 501823642231333 2016 503480972003167 2017 504165921489547 2018 504764983681093 2019 504845013494413 2020 504878127998077 2021 505127534406727 2022 505156099416763 2023 505559767536013 2024 505749449071813 2025 506316713854417 2026 506433022067317 2027 506949455716477 2028 508155024414097 2029 508197904774267 2030 508562005064653 2031 508836483886963 2032 508949019770713 2033 509747105202043 2034 510330319800163 2035 510826604235007 2036 511735882415587 2037 512087060644567 2038 512529786866623 2039 513042129530533 2040 513358948469833 2041 513421153270447 2042 513507474673477 2043 513716104971217 2044 513939410764453 2045 514631078041117 2046 515004033749473 2047 515832238358977 2048 516001940924647 2049 516138211551757 2050 517192906231423 2051 517304088338767 2052 517323590056813 2053 517546840526893 2054 517600379337673 2055 517621740978127 2056 518160240575443 2057 518637480333823 2058 518911769405437 2059 518966776127893 2060 519169664888737 2061 519428164010683 2062 519572707342357 2063 520612503239623 2064 520668742179727 2065 520818111180907 2066 521298512424463 2067 522074016398383 2068 522464736041887 2069 522832792697737 2070 524274107858197 2071 524556333421453 2072 524568417314797 2073 526166843801047 2074 526187660845933 2075 526267941489973 2076 526930537782643 2077 527223241845073 2078 527427114357553 2079 527718766634053 2080 528849745380793 2081 528933793899877 2082 529349031307363 2083 529775863267513 2084 530381538437353 2085 530470289103217 2086 530905099063747 2087 530994390978643 2088 531588173144407 2089 531883450257853 2090 532571680821667 2091 532648954626937 2092 532695122312413 2093 533050893122353 2094 533164294951423 2095 534046676427643 2096 534094052222593 2097 534233666945617 2098 534523872428473 2099 534659877621277 2100 534667394253127 2101 535153042222177 2102 536105692993033 2103 536657402552737 2104 537118382632063 2105 537160736152987 2106 537514004564233 2107 537792328551823 2108 538282091068087 2109 538598044416037 2110 538917494867767 2111 541725512195107 2112 541757041460497 2113 542326878044317 2114 542935009780837 2115 543834095289193 2116 543907780481167 2117 544383390052483 2118 544423308053857 2119 544462672645417 2120 544908662757253 2121 545152000161283 2122 545252444897857 2123 545746174140577 2124 546522144358507 2125 546698488733083 2126 546721893158137 2127 547051743688717 2128 547284348338557 2129 547374058364827 2130 547467997260013 2131 547503556189627 2132 547505174478397 2133 547742698804933 2134 548141408934043 2135 548714989770007 2136 549155594224777 2137 550472066594587 2138 550996533374347 2139 551051273542687 2140 551093550357967 2141 551548908643363 2142 553006933517383 2143 553032504931327 2144 553095463346077 2145 553653803958523 2146 553700059785217 2147 553841281508923 2148 554056552844503 2149 554119320884053 2150 554930761958857 2151 555099843621577 2152 555310591089577 2153 555786769455523 2154 555927125228623 2155 556155532844563 2156 556692900198037 2157 556810253429467 2158 557043031382077 2159 557481786791623 2160 557995940999347 2161 558018702764317 2162 558152003816383 2163 559007351233753 2164 559447517151307 2165 559548639352627 2166 559705709049547 2167 559732041419233 2168 560780273212933 2169 560973605406547 2170 561703652102443 2171 562100210423767 2172 562135935200107 2173 562371510139993 2174 564072790412917 2175 564281653382143 2176 564351827972263 2177 565382958496063 2178 565384928615593 2179 565623407565703 2180 565709273784517 2181 565754095522597 2182 566213034221473 2183 567055146523783 2184 567792905127583 2185 569003330750317 2186 569906682849463 2187 570232816182583 2188 570552110964103 2189 570838998130237 2190 570907925129287 2191 571204598251123 2192 571216359454717 2193 571422653546347 2194 571727422898773 2195 571972882142083 2196 572038698107563 2197 572109374900407 2198 572878762777687 2199 573015013326793 2200 573127896723673 2201 574549418594743 2202 575488909791427 2203 575609663740213 2204 576491135783803 2205 576647922787267 2206 576692064796807 2207 576730242118123 2208 576855233238607 2209 577068871849387 2210 577133996545723 2211 577665561149653 2212 578057010185803 2213 578127380598007 2214 578210633632963 2215 578278745707723 2216 578619878070697 2217 578713321754173 2218 580848376228453 2219 580973406045937 2220 581704092210763 2221 582031035460513 2222 582138265175527 2223 583049068785397 2224 584175856252783 2225 584314378192603 2226 584619684504013 2227 585199103658163 2228 585916817190853 2229 586183103371273 2230 586273923903133 2231 586489494771097 2232 586739831355283 2233 587931813001747 2234 588509312114287 2235 588845554858507 2236 588849138825733 2237 588929087630557 2238 591483370735447 2239 592023235278337 2240 592246578698833 2241 592567218262273 2242 592616332869163 2243 593124104706193 2244 593521627906183 2245 594000741287167 2246 594161923228603 2247 594287445256213 2248 594704236321717 2249 594705451713223 2250 595671430904617 2251 595743500739223 2252 595848823822627 2253 595899241431187 2254 595921800584713 2255 596620938337153 2256 597280096203253 2257 597377449849867 2258 597398389846633 2259 597620162872153 2260 598196966645947 2261 599819476694167 2262 600640678029463 2263 600952694127493 2264 600962164320967 2265 601189525448857 2266 601865858691073 2267 602287423192123 2268 602707243900903 2269 603305629693957 2270 603810904914193 2271 604453419135547 2272 604490757900187 2273 604739533512823 2274 606513190201627 2275 606514801805707 2276 606945436293883 2277 607421357908423 2278 607564552436977 2279 607613924057827 2280 607934768831713 2281 608549061838447 2282 608699297433973 2283 609519887359573 2284 609657727272757 2285 609663431531113 2286 609982068527353 2287 610409014425907 2288 610549833083653 2289 611150535688933 2290 612782690195713 2291 613116425635123 2292 613179143552893 2293 613268814294973 2294 613388036627437 2295 614576834893543 2296 614939937821773 2297 614953702592377 2298 615102325455223 2299 615228787820707 2300 615561037143343 2301 615879112247557 2302 616001844830353 2303 616621872921433 2304 617009825288173 2305 617119251071563 2306 617202526391287 2307 617775091780267 2308 618585042442777 2309 619600802332033 2310 620305737341623 2311 621162134315143 2312 621598663105597 2313 621633144234733 2314 622390285139863 2315 622518889374673 2316 622707304571773 2317 622936385301847 2318 623795546253223 2319 623852624167987 2320 624349572870853 2321 624596726490223 2322 624651754639543 2323 624752702207467 2324 624877224195547 2325 624966390236203 2326 626043496337317 2327 626445425549617 2328 626821442684497 2329 627411272201407 2330 628169388925717 2331 628491142088077 2332 628627446290617 2333 628736801761567 2334 628983271301023 2335 629022036811303 2336 630742867665397 2337 630944431969273 2338 631361901454447 2339 631618384379887 2340 632093908830217 2341 632353193765533 2342 632918529834823 2343 633455812404823 2344 633493638515467 2345 634218156442357 2346 634412564772163 2347 634496481433417 2348 634992817142443 2349 635147002635853 2350 635327816210173 2351 636009409745383 2352 636202493470273 2353 636996941428633 2354 637004897525173 2355 638056463379757 2356 638212583702857 2357 639658160410963 2358 640237817283157 2359 640427433994363 2360 640460616963997 2361 640612282774297 2362 640732568624857 2363 640744431172477 2364 640984709168563 2365 641544023702563 2366 641706574275853 2367 641723862025537 2368 642022347689977 2369 642631723790197 2370 642670519924717 2371 642686535985057 2372 643414982192383 2373 643448476539247 2374 643588672674487 2375 643811029530337 2376 644153135077783 2377 644926041058513 2378 646185791368483 2379 646340379392233 2380 646728138502483 2381 648026697834223 2382 649058343572893 2383 649348570221187 2384 649642396556827 2385 650270117575747 2386 650401237632073 2387 650914248207283 2388 651050413931383 2389 652608778142953 2390 653831708924227 2391 653854911410803 2392 653864100006847 2393 655682630404873 2394 656205833227267 2395 656677063324573 2396 656917733666797 2397 657184387389667 2398 657423100523533 2399 658245317291983 2400 658943883459997 2401 660005528876257 2402 660520764416143 2403 660526822402987 2404 660676018590373 2405 660846229415353 2406 661655915498323 2407 662160403423423 2408 662314623411043 2409 662556548279047 2410 662850477586243 2411 663626824515757 2412 663800498879347 2413 663905399859307 2414 664223205107533 2415 664403088976243 2416 664924161390547 2417 665542447497013 2418 665700183348817 2419 665978425610257 2420 666391660774123 2421 667273332660313 2422 667361008162297 2423 667516708364683 2424 667585835430607 2425 667703616649063 2426 668933801025757 2427 669130513129423 2428 669169439202763 2429 669173107610473 2430 669182642910637 2431 669799383803113 2432 669825183843187 2433 670075109903257 2434 670680734002987 2435 670924683277753 2436 671300189709403 2437 671697102949273 2438 671837008101823 2439 673187569756123 2440 673567296330427 2441 674431861632937 2442 676203899523223 2443 677100056600377 2444 677159789398513 2445 677618349414073 2446 677647900345333 2447 678911383122757 2448 679545801423703 2449 680229484785547 2450 681264231033703 2451 681264794728057 2452 681755428128097 2453 681884454771193 2454 682289796301843 2455 682615651567987 2456 682810312944103 2457 682948419052243 2458 683208526651513 2459 683725889052823 2460 684063470886973 2461 684830524551847 2462 684926650874887 2463 685127869733833 2464 685191660614563 2465 685306611998143 2466 686131120953727 2467 686677286529067 2468 686697934230067 2469 687486806057137 2470 687662474761333 2471 687982500941107 2472 688130348460223 2473 688559068211107 2474 688852806869767 2475 690148836356323 2476 690879139903297 2477 690997602748447 2478 691730121257767 2479 691756947006673 2480 691917997234003 2481 692371632933583 2482 692956889765743 2483 693078455054143 2484 693087676684687 2485 693523358101267 2486 693712099291633 2487 693913293739087 2488 694099268404963 2489 694466832945517 2490 694547336319013 2491 694681035953767 2492 695145483772147 2493 696061473039277 2494 696093749092723 2495 697372830512857 2496 698377926591013 2497 698768533243243 2498 699480736822333 2499 699826698688657 2500 700020916052833 2501 700069985863033 2502 701960563858717 2503 702264288894877 2504 702319683737743 2505 702472873905727 2506 702549432173383 2507 703215713181613 2508 703265770795333 2509 703575502897807 2510 703616985948727 2511 704076635494747 2512 704181046893283 2513 704377932528043 2514 704583407084617 2515 706228215744703 2516 706331301699433 2517 706394096050063 2518 706768342491733 2519 707234197437553 2520 707457597857077 2521 709611306316243 2522 709744069852357 2523 709888233818047 2524 709924308086953 2525 710204078669317 2526 710665265752297 2527 711178829909293 2528 711537746320867 2529 711770682041983 2530 712208292935287 2531 712828062575623 2532 712947691056577 2533 713304929250673 2534 713925335475727 2535 714070435279573 2536 716446019239087 2537 716877579433537 2538 716947842435973 2539 717805358519407 2540 718060149010297 2541 718224553535743 2542 719434876594207 2543 720836705243293 2544 721873879767727 2545 721973230958527 2546 722002544252917 2547 722251579249363 2548 722693669635303 2549 722757861354043 2550 722967033836653 2551 723875608477807 2552 724240994246443 2553 724467808701583 2554 724939221191047 2555 727268624072083 2556 727532690455657 2557 728228154002407 2558 728289558101527 2559 728302134683797 2560 728581837434067 2561 729191942516503 2562 730080713759083 2563 730400952458587 2564 731089611718447 2565 731366256577357 2566 731481221878093 2567 731938840103893 2568 732258840224893 2569 732298038700243 2570 732845373680347 2571 733575493240657 2572 733684799334433 2573 734752869546613 2574 735191117043793 2575 736299390230737 2576 736553207029567 2577 736953267501313 2578 737000910834043 2579 737056676163823 2580 738065302179067 2581 738433988057683 2582 738460715976523 2583 738647379733957 2584 738686430778003 2585 739156377374083 2586 739888485001297 2587 740232644086093 2588 740721643932433 2589 741128589322753 2590 741507345116497 2591 744939575715967 2592 745212231292813 2593 746325856477177 2594 746329907417593 2595 746917190242777 2596 747142229169043 2597 747401695348267 2598 747441855293347 2599 748265249432317 2600 748520498152837 2601 748585524487747 2602 748747230937843 2603 748962034012567 2604 749002638776683 2605 749414608929127 2606 749429783813407 2607 749643727352227 2608 750112595594707 2609 751141227186673 2610 752645815602913 2611 753167664215143 2612 753174293580613 2613 753651226713793 2614 754210458865957 2615 754330500559903 2616 754737104787373 2617 755627044148113 2618 755855434555747 2619 756553095374707 2620 756891633780067 2621 757024933105123 2622 757238978953543 2623 757747093457803 2624 757854805633027 2625 758546945251747 2626 758978699241277 2627 759464312332147 2628 759498391483297 2629 759694844268427 2630 760770540997657 2631 761708654578237 2632 762288425496007 2633 762624584978887 2634 763033243259233 2635 763313652759673 2636 763352852978983 2637 764316260310397 2638 765501343504363 2639 765674103759667 2640 767495198609287 2641 767501280403267 2642 767906675838157 2643 768757820516107 2644 769669080269497 2645 769672866205027 2646 769693880724283 2647 770071972916317 2648 770272063263487 2649 770513941589737 2650 770779405807783 2651 771111709777117 2652 771257574746443 2653 771651556541287 2654 771717911758567 2655 772545432620383 2656 772989619338553 2657 773528406235957 2658 773761925445793 2659 775459950078643 2660 775550442999187 2661 776734759092433 2662 776967966618253 2663 777187436559697 2664 777999557086273 2665 778334927778907 2666 778564999757407 2667 778696391222443 2668 780698645062513 2669 780873805641847 2670 781121915961073 2671 781303089542683 2672 781746197619223 2673 782301052998067 2674 782360093715817 2675 783314868233683 2676 783378889098877 2677 783883183432507 2678 785418736255213 2679 785429196815047 2680 785584944333337 2681 785966221337707 2682 786111314164213 2683 786216080512657 2684 786425478099097 2685 786480931700293 2686 786857115135877 2687 787080990963793 2688 787832805651637 2689 787984244346853 2690 789300898472227 2691 789465212312473 2692 789528850849117 2693 789677372254717 2694 790253284972573 2695 790287335159953 2696 790457761659217 2697 790506174428293 2698 790849996242223 2699 791728072141297 2700 792298928080003 2701 792885205329583 2702 793276385971477 2703 793482954592087 2704 793684736621197 2705 793919251681957 2706 794090067998767 2707 794317022686273 2708 794741467874083 2709 795111382240597 2710 795308297666227 2711 796570031454607 2712 796613770930063 2713 796812482988943 2714 796842156200017 2715 797026553855053 2716 797089412410813 2717 797207611528777 2718 797557295474977 2719 797673181696813 2720 798499007575063 2721 799451529267757 2722 800102106055597 2723 800315950044097 2724 800494520260843 2725 801145160113813 2726 801891366513997 2727 801909732154147 2728 802340189454367 2729 802776729852157 2730 803216059017703 2731 803307679497877 2732 803436018135697 2733 803647855512877 2734 804353192643463 2735 805597535353447 2736 806222214583963 2737 807310506092407 2738 808042157439493 2739 808158837828127 2740 808381163447323 2741 808967627167627 2742 809369979887263 2743 809383330440007 2744 809658386121223 2745 809680301972677 2746 809715046687177 2747 809996786786653 2748 810620123436883 2749 810718526209573 2750 810840008635507 2751 811301995404217 2752 811821770107483 2753 811846007344717 2754 812010890659873 2755 812079003542293 2756 812555903362963 2757 812859989034853 2758 813074271591103 2759 813917568730963 2760 814215263087857 2761 814772749056403 2762 815959501791883 2763 817099770688303 2764 817565505729757 2765 818135731782037 2766 818508623544133 2767 818708135312797 2768 818807808985237 2769 819395176467883 2770 819997453696843 2771 820364957652727 2772 820627977229393 2773 821258792478793 2774 821832992406913 2775 821888397460813 2776 821890028673277 2777 821985020230207 2778 822041871012343 2779 823466698824463 2780 823933374992473 2781 824755353908623 2782 825242362412917 2783 825394284113557 2784 825744228519373 2785 825864850329667 2786 825928246299643 2787 826213802500153 2788 826311017201377 2789 826447912570963 2790 826566589678603 2791 826591655006947 2792 826711288759777 2793 826971181506397 2794 827858880793267 2795 828337676322193 2796 829116548452327 2797 830159809680037 2798 830368360249033 2799 830580871430083 2800 830629139216053 2801 830634892869307 2802 831737289594817 2803 832091801868013 2804 833348304959437 2805 833703357659803 2806 834156738370993 2807 834314978998867 2808 834451288422733 2809 834657430616563 2810 834851792326687 2811 835009506898513 2812 835101549657043 2813 836171651268013 2814 836272429939237 2815 836550021142873 2816 836628106749703 2817 836665778127733 2818 837222082314577 2819 837270502743823 2820 837767632567237 2821 837949625946997 2822 839332482715057 2823 839648041055377 2824 839733910046623 2825 840044438588503 2826 840221742501373 2827 840482664156727 2828 840719129751733 2829 841115922185533 2830 841334231457757 2831 841753640818777 2832 842691847534387 2833 843516065196487 2834 843530111224123 2835 843553481514907 2836 843582288730603 2837 844082999890813 2838 844086385232707 2839 844334594118163 2840 844842967841203 2841 846932273566633 2842 847408272248497 2843 847565631432853 2844 848799024311737 2845 849361324577803 2846 850306197809443 2847 850675127447737 2848 852037399391887 2849 852137353553467 2850 852319829824093 2851 852734693895793 2852 852909333849763 2853 852996756941323 2854 853315318595413 2855 855038330639683 2856 856454183862517 2857 858306882563197 2858 859385301961453 2859 859593581450143 2860 859674026671783 2861 860992355697247 2862 861160176135043 2863 861501358626283 2864 862602894513397 2865 863339195029147 2866 863880336118867 2867 864320905985167 2868 864519873269383 2869 864657412515037 2870 864935182776127 2871 866075527152817 2872 867333789785653 2873 868229615219233 2874 868969518552727 2875 868971851302927 2876 869077914604453 2877 869332015670827 2878 869461599925843 2879 869949923186437 2880 870505750348063 2881 871134863097907 2882 872071207456663 2883 872851549381183 2884 874363643058277 2885 875059041090067 2886 875950864201603 2887 876150732026707 2888 877212471876577 2889 877307376522193 2890 877322978997523 2891 877558714359793 2892 877649238177343 2893 879000603742627 2894 879169381174417 2895 879206880704527 2896 879281185021297 2897 879661003444507 2898 879673085221627 2899 880007915124787 2900 881237416315573 2901 881676420451093 2902 882922344107497 2903 883197922596763 2904 883882463659717 2905 884531274333193 2906 884890218164803 2907 886456965053983 2908 886986016936303 2909 887031690957703 2910 887973174752227 2911 888733340638873 2912 889646931264037 2913 889760834788057 2914 889909189811497 2915 890152931776123 2916 891770678037493 2917 891975920856703 2918 892194599384467 2919 892853347190137 2920 892943167520497 2921 895987980699277 2922 898220144075347 2923 898233205742203 2924 898294403465617 2925 899328243259363 2926 899370628835023 2927 899406620401447 2928 899595215908027 2929 900812822620033 2930 900959061965383 2931 902236163142637 2932 902458941983503 2933 902651022757807 2934 902766337816597 2935 902884923576007 2936 904428093971803 2937 904691775099247 2938 905707518222343 2939 905738939805793 2940 905892233323807 2941 906205595726377 2942 906244267408153 2943 907426865951587 2944 907473862121443 2945 907731093501373 2946 907808801932957 2947 907933704716707 2948 908837675287063 2949 909518668157647 2950 911039034399817 2951 911482053620653 2952 912244270153357 2953 912816574479847 2954 913735159329127 2955 914827210179787 2956 915220700009653 2957 915501138093523 2958 915765046263853 2959 916066479627847 2960 916452110857537 2961 917333488485877 2962 917364427357513 2963 917558897343103 2964 919460085075823 2965 919502789879767 2966 919586185143553 2967 919602485602483 2968 919929113659627 2969 919939357411573 2970 919962051546283 2971 920743183458613 2972 920816051818723 2973 921639941036917 2974 924249334124803 2975 924287245106857 2976 924321728684803 2977 924756282951337 2978 925361861938243 2979 925751421598963 2980 926324791868107 2981 927252040716373 2982 927345444769417 2983 927446385745093 2984 927459465617323 2985 927548458776283 2986 927936356973277 2987 928487395080793 2988 929406959039617 2989 930009779455843 2990 930702708441907 2991 931219159022497 2992 931696404166273 2993 932750278981357 2994 933056967883987 2995 936026038915207 2996 937192097937643 2997 938017911957457 2998 938346662202097 2999 939015688334683 3000 939783249448597 3001 939909481645297 3002 939989602797667 3003 940466760712627 3004 941245779840853 3005 942302328623833 3006 942775025583493 3007 942790542879343 3008 943488515291107 3009 943530482758417 3010 943533973995607 3011 943698596747197 3012 945085551351313 3013 945318179707507 3014 945361429433023 3015 945496575382507 3016 945718008461293 3017 945879109438453 3018 946553462245087 3019 946617386056687 3020 947523044235373 3021 948325043463163 3022 948390182472133 3023 948431241429193 3024 948504168403927 3025 948637526069083 3026 949527164069647 3027 949820972660233 3028 950484527532607 3029 950686174049203 3030 951051802900753 3031 951366265561237 3032 952549509543283 3033 952706871898567 3034 953394540694117 3035 953755405698517 3036 954990912946387 3037 955340765965657 3038 955416212141857 3039 955524885006343 3040 956419298549947 3041 956817156851473 3042 957924033813583 3043 958637209761067 3044 958794145832737 3045 959541777980377 3046 959877310463437 3047 960342050584093 3048 960375041067187 3049 960414458815333 3050 960664388718703 3051 961796625134977 3052 962054768978977 3053 962841419749267 3054 963351973499623 3055 966150463299877 3056 966797598970393 3057 967178495381767 3058 967757970320227 3059 967847221922683 3060 967888346144857 3061 968049471193963 3062 969802238125417 3063 970054342525717 3064 970992595870537 3065 971320197409543 3066 972569350970407 3067 973268886656467 3068 973501258892677 3069 973537051477453 3070 973994150678893 3071 974621216718433 3072 975077686240123 3073 975316305389563 3074 975722745831997 3075 976187175259213 3076 976371457788343 3077 976561077111937 3078 976601049445393 3079 977198038728277 3080 977377349707273 3081 977492463945727 3082 977563889569213 3083 977639999364823 3084 978269928596137 3085 980249542498363 3086 980524662475117 3087 980758418640067 3088 981573030587857 3089 981809498116813 3090 982066247939263 3091 982497016245847 3092 982863530105647 3093 983676529560187 3094 984010548130933 3095 984237800413333 3096 984260834945767 3097 984542982345343 3098 984578959285447 3099 984687776634937 3100 984698978567767 3101 985849161662887 3102 987496075567747 3103 987867462318223 3104 988815833921833 3105 989326878357577 3106 990206046100903 3107 990255076007047 3108 990511668080617 3109 990522551727493 3110 991180187208733 3111 991514308317817 3112 991684969409227 3113 991938550056127 3114 992195005422223 3115 993318361366417 3116 993616813282867 3117 994121925688483 3118 994449061829983 3119 994656853480777 3120 995028260924107 3121 996129264129673 3122 996306771531157 3123 996621394678177 3124 996660397897663 3125 996921886139083 3126 997014765755353 3127 997373029493527 3128 997970003331673 3129 998214881150953 3130 998497364339707 3131 999043494366523 3132 999167460547573 3133 999178112575927 3134 999681168612757 3135 999798836956327 3136 999926956948957