#m A152290(n,k), n=0..30, k=0..n(n-1)/2, flattened: m=0..4525 0 1 1 1 2 2 3 1 4 5 5 5 6 5 7 1 8 14 9 21 10 31 11 30 12 19 13 9 14 1 15 42 16 84 17 154 18 210 19 245 20 217 21 175 22 105 23 49 24 14 25 1 26 132 27 330 28 708 29 1176 30 1722 31 2148 32 2386 33 2358 34 2080 35 1618 36 1086 37 644 38 294 39 104 40 20 41 1 42 429 43 1287 44 3135 45 6006 46 10164 47 15093 48 20496 49 25188 50 28770 51 30225 52 29511 53 26571 54 22161 55 16926 56 11832 57 7392 58 4089 59 1932 60 714 61 195 62 27 63 1 64 1430 65 5005 66 13585 67 29172 68 55110 69 92345 70 142230 71 201773 72 267575 73 332838 74 390643 75 433213 76 455240 77 453402 78 428052 79 383022 80 323872 81 258377 82 193397 83 135360 84 87613 85 52033 86 27678 87 12985 88 5088 89 1560 90 335 91 35 92 1 93 4862 94 19448 95 58058 96 137280 97 283998 98 523237 99 886314 100 1391104 101 2051478 102 2855017 103 3777378 104 4762703 105 5746609 106 6643736 107 7377645 108 7873019 109 8084098 110 7985791 111 7591463 112 6938932 113 6095320 114 5136758 115 4146780 116 3198041 117 2348665 118 1635359 119 1073787 120 659791 121 375342 122 195019 123 90486 124 36586 125 12177 126 3135 127 539 128 44 129 1 130 16796 131 75582 132 245752 133 632060 134 1414270 135 2821169 136 5167734 137 8788702 138 14061333 139 21300708 140 30758221 141 42507179 142 56444687 143 72196917 144 89170302 145 106521493 146 123261853 147 138308092 148 150618676 149 159285191 150 163649583 151 163373319 152 158478539 153 149354195 154 136690060 155 121421115 156 104595030 157 87286695 158 70465231 159 54940534 160 41277543 161 29810219 162 20621369 163 13609308 164 8521546 165 5029531 166 2771615 167 1409815 168 650992 169 266871 170 94095 171 27005 172 5885 173 824 174 54 175 1 176 58786 177 293930 178 1032954 179 2863718 180 6870006 181 14685892 182 28778178 183 52374400 184 89662430 185 145473328 186 225237727 187 334314916 188 477712157 189 659088209 190 880381710 191 1140805939 192 1436687252 193 1760828498 194 2102932624 195 2449606237 196 2785499938 197 3093989262 198 3358800107 199 3565026322 200 3700754772 201 3757826566 202 3732883648 203 3627413777 204 3447842385 205 3204730022 206 2911981995 207 2585467027 208 2241795842 209 1896903671 210 1564980924 211 1257555234 212 982992088 213 746307640 214 549339791 215 391177358 216 268758048 217 177590192 218 112409791 219 67828397 220 38773813 221 20837960 222 10420124 223 4787211 224 1984060 225 724581 226 224874 227 56199 228 10439 229 1209 230 65 231 1 232 208012 233 1144066 234 4318510 235 12815348 236 32743802 237 74454730 238 154898016 239 299144104 240 543083632 241 934394188 242 1534300014 243 2416485162 244 3666375622 245 5376522060 246 7642272106 247 10553269664 248 14185856088 249 18592151032 250 23791601405 251 29761017844 252 36429120831 253 43671779618 254 51313366284 255 59130452185 256 66861810157 257 74220932305 258 80913177305 259 86653811766 260 91187393182 261 94305393977 262 95861219703 263 95781068527 264 94069153439 265 90807680509 266 86150315172 267 80311400844 268 73549954229 269 66152325107 270 58412473780 271 50614346742 272 43015014199 273 35832612049 274 29237030408 275 23346457785 276 18226952109 277 13896964862 278 10333770864 279 7482720298 280 5266546415 281 3595239414 282 2374377784 283 1512407752 284 925721302 285 542056515 286 301981251 287 158980120 288 78420277 289 35849749 290 14977898 291 5609891 292 1836406 293 505428 294 110747 295 17654 296 1715 297 77 298 1 299 742900 300 4457400 301 17978180 302 56787276 303 153725390 304 369715490 305 811960630 306 1653836874 307 3163786938 308 5733213824 309 9911554744 310 16433848184 311 26250195516 312 40536716546 313 60700795272 314 88355678552 315 125282006498 316 173350240218 317 234428973506 318 310253831732 319 402292066502 320 511579395744 321 638573204544 322 783000726236 323 943751291510 324 1118789882964 325 1305141133220 326 1498914545154 327 1695413615856 328 1889290404168 329 2074776564300 330 2245942803388 331 2397006046836 332 2522629704568 333 2618228701724 334 2680225522910 335 2706267005209 336 2695358178151 337 2647927455447 338 2565795190430 339 2452069006167 340 2310955478574 341 2147519126221 342 1967393477660 343 1776477141113 344 1580627412974 345 1385380069110 346 1195706971249 347 1015829459006 348 849093180297 349 697908063930 350 563751048198 351 447223365864 352 348153195000 353 265728522996 354 198649209084 355 145281631783 356 103807806376 357 72356048766 358 49110116939 359 32390249437 360 20708574314 361 12797687564 362 7618798575 363 4351600500 364 2373033755 365 1228183722 366 598908557 367 272649468 368 114543364 369 43742842 370 14881777 371 4388722 372 1077623 373 208117 374 28665 375 2365 376 90 377 1 378 2674440 379 17383860 380 74587160 381 249614400 382 712857124 383 1805217284 384 4166453228 385 8908625532 386 17871670104 387 33938842568 388 61450438628 389 106668756444 390 178327563560 391 288180235656 392 451570656464 393 687899807418 394 1021001564588 395 1479268666096 396 2095548499328 397 2906636650976 398 3952421991352 399 5274532965408 400 6914599566898 401 8912037877672 402 11301554394406 403 14110350094634 404 17355305359182 405 21040193853422 406 25153254672170 407 29665205474818 408 34528015779444 409 39674496392990 410 45018943493934 411 50458807092462 412 55877476915668 413 61148032747532 414 66137879172138 415 70713989399896 416 74748528661910 417 78124508239128 418 80741157062332 419 82518675986776 420 83402071880768 421 83363843789160 422 82405321105544 423 80556603707352 424 77875062504086 425 74442552556548 426 70361456664004 427 65749879828304 428 60736222562782 429 55453538378678 430 50033929528738 431 44603372137072 432 39277160104138 433 34156257570702 434 29324623767590 435 24847648089624 436 20771617164452 437 17124200898388 438 13915763662958 439 11141381549144 440 8783316018012 441 6813781608520 442 5197771386500 443 3895797004156 444 2866370719916 445 2068147268800 446 1461640700898 447 1010504613560 448 682373265442 449 449308129788 450 287901872944 451 179112986310 452 107903205486 453 62749571026 454 35096225488 455 18796865334 456 9589909434 457 4631137654 458 2100524258 459 886144546 460 343477746 461 120380508 462 37350990 463 9965956 464 2193724 465 375088 466 44940 467 3184 468 104 469 1 470 9694845 471 67863915 472 308563515 473 1089834300 474 3271731600 475 8691818565 476 21005824376 477 46972816671 478 98445215204 479 195151279544 480 368588853726 481 667057633576 482 1162136701089 483 1956447546158 484 3192886962788 485 5064843468036 486 7827334536780 487 11808134168129 488 17418521393245 489 25162239893531 490 35642054439710 491 49562141857658 492 67725675381172 493 91025790090353 494 120429641522125 495 156954115895815 496 201633710642052 497 255479957866594 498 319434090450342 499 394313438899588 500 480754583513380 501 579154862577243 502 689616370965219 503 811894773441906 504 945357563489758 505 1088954076694143 506 1241201475961686 507 1400188073057602 508 1563596819428294 509 1728748530314381 510 1892665544893356 511 2052153104452757 512 2203896756862396 513 2344570890034317 514 2470954683474772 515 2580049124417371 516 2669190331095821 517 2736152592081511 518 2779236630940392 519 2797337670277281 520 2789990383782677 521 2757387649587040 522 2700372704822535 523 2620404578185455 524 2519499167122244 525 2400148692252865 526 2265224178905649 527 2117865729400520 528 1961366447911847 529 1799055526406065 530 1634186201355631 531 1469833466313768 532 1308805844762781 533 1153574390687488 534 1006221013963557 535 868407039253572 536 741361701693457 537 625889332352890 538 522392958505006 539 430911545158942 540 351167464223111 541 282620800116918 542 224526909475250 543 175994133317551 544 136038732013495 545 103634885214364 546 77757967552236 547 57420158617658 548 41697834213454 549 29750918240584 550 20834640635111 551 14304653252593 552 9616529658893 553 6320921823464 554 4055545507718 555 2535192119570 556 1540750121751 557 908112163061 558 517593259729 559 284334767316 560 149954873708 561 75572584380 562 36193365330 563 16362026465 564 6924927832 565 2715900450 566 974360440 567 314434380 568 89276367 569 21632296 570 4285785 571 651440 572 68340 573 4199 574 119 575 1 576 35357670 577 265182525 578 1273446405 579 4731084360 580 14884595820 581 41355789975 582 104338373460 583 243265312215 584 530984075358 585 1095314272134 586 2151128268966 587 4045554470766 588 7320346043091 589 12794121532386 590 21668619663462 591 35660550065235 592 57161775005487 593 89426451097746 594 136784528461443 595 204875169773301 596 300894281443305 597 433843035498818 598 614765307939537 599 856953967435251 600 1176108393345969 601 1590418023668589 602 2120551858325322 603 2789527919091165 604 3622445512863276 605 4646059948175134 606 5888192389784370 607 7376967344767453 608 9139887103384618 609 11202754522901425 610 13588474534427437 611 16315767359192731 612 19397844883489534 613 22841102248093588 614 26643891531070635 615 30795440295754316 616 35274986068894061 617 40051187097374567 618 45081869672016262 619 50314154557270387 620 55684996733504676 621 61122149327526507 622 66545548157595030 623 71869087829879844 624 77002743547250520 625 81854969870344405 626 86335293271387940 627 90356999757261768 628 93839811217775899 629 96712439666308271 630 98914910422289305 631 100400553472047925 632 101137573932004808 633 101110132169302394 634 100318883376625374 635 98780953652061605 636 96529351966664526 637 93611846875295995 638 90089356748838180 639 86033928159966716 640 81526389613109916 641 76653785236750459 642 71506694963168541 643 66176554241313955 644 60753076773300579 645 55321879575257556 646 49962390598429838 647 44746106850604739 648 39735246367537386 649 34981821296438790 650 30527134094392156 651 26401683654406329 652 22625446868721046 653 19208490631616265 654 16151855176328816 655 13448645993835363 656 11085265842818929 657 9042721781213778 658 7297944007536341 659 5825062185935544 660 4596592147072568 661 3584497578277805 662 2761100905627747 663 2099829318812143 664 1575791045406488 665 1166186432349367 666 850565150062236 667 610946682006476 668 431824721219086 669 300078172188861 670 204811750424322 671 137148184136169 672 89992044104265 673 57782361942333 674 36248121482449 675 22177241086372 676 13206556237895 677 7637234390123 678 4277641273079 679 2313523750596 680 1203953746201 681 600360311479 682 285465318724 683 128674410592 684 54595994563 685 21617382172 686 7902374860 687 2631066540 688 783978868 689 204284649 690 45098484 691 8069289 692 1094664 693 101184 694 5439 695 135 696 1 697 129644790 698 1037158320 699 5244721050 700 20436733260 701 67204665540 702 194769626145 703 511672523580 704 1240615071330 705 2813022088945 706 6022578456405 707 12266752282135 708 23909990302940 709 44815003070280 710 81092136485455 711 142130700481921 712 241974994676419 713 401119103531162 714 648783587703449 715 1025741446114953 716 1587733939049120 717 2409509725385311 718 3589473456304848 719 5254909020344937 720 7567673550748717 721 10730225835996099 722 14991765806884861 723 20654226380413944 724 28077764922284796 725 37685377928227385 726 49966178443144141 727 65476883389024235 728 84841003492172446 729 108745287747015612 730 137932967562122635 731 173193471238808679 732 215348330627082453 733 265233197220929035 734 323675990431894385 735 391471454020172162 736 469352536198556974 737 557959290120052724 738 657806129140011384 739 769248536679493125 740 892450419684929436 741 1027353494749881047 742 1173650089723561046 743 1330760833566630062 744 1497818570602485427 745 1673659787891046044 746 1856824565189178605 747 2045565872445684400 748 2237868635943671171 749 2431478704034097844 750 2623941364272140725 751 2812648727692299875 752 2994894814233068038 753 3167936868870669231 754 3329061036018601204 755 3475650325342826946 756 3605252554114984417 757 3715645928006474725 758 3804899876439543135 759 3871428935279849074 760 3914037635690006428 761 3931954721799744054 762 3924855364916108521 763 3892870539477298641 764 3836583180363186359 765 3757011288926322033 766 3655578626598989023 767 3534074137310821227 768 3394601634145248709 769 3239521655310652826 770 3071387635270515251 771 2892878713981813607 772 2706731552255000926 773 2515673485678314471 774 2322359198717101372 775 2129312874156694703 776 1938877466085546368 777 1753172384614048683 778 1574060485545049175 779 1403124842997716009 780 1241655380137997782 781 1090645043486530201 782 950794869661732099 783 822526995610859604 784 706004445532342887 785 601156361662098234 786 507707269659788171 787 425208943188845295 788 353073489299985703 789 290606369437469586 790 237038228481047723 791 191554576554622422 792 153322579771725801 793 121514419096765817 794 95326893545119669 795 73997132950162106 796 56814468599289035 797 43128653011719202 798 32354745004026277 799 23975057652501441 800 17538626502313480 801 12658676049532508 802 9008564732245901 803 6316661514679198 804 4360568768809190 805 2961050298404267 806 1975964638213555 807 1294438631735984 808 831455414903262 809 522971969580313 810 321631016518181 811 193088334713548 812 112942786690256 813 64230614466280 814 35428653533379 815 18901246345389 816 9722071042913 817 4803354810898 818 2269641890023 819 1020385520900 820 433812095792 821 173124059552 822 64269296773 823 21946836749 824 6796877049 825 1874525009 826 449434645 827 90655764 828 14693764 829 1785867 830 146319 831 6935 832 152 833 1 834 477638700 835 4059928950 836 21561975600 837 87899167620 838 301424136750 839 909140292975 840 2481429794850 841 6243051825930 842 14672897237745 843 32532973150155 844 68570191347555 845 138217239661755 846 267749532542110 847 500474766378865 848 905709744815255 849 1591442908698430 850 2721786857829725 851 4540457626300960 852 7401706724784439 853 11810189926331565 854 18471359066348415 855 28353860423868140 856 42765349626833766 857 63442774269799095 858 92657839350833791 859 133337675588200106 860 189200077615150891 861 264901617754660816 862 366195982105617479 863 500098502073122920 864 675051697813483075 865 901085124539145099 866 1189961676865851145 867 1555301098668054546 868 2012670645753737334 869 2579631908661816769 870 3275732704399773194 871 4122432840799627189 872 5142953501543665720 873 6362041027343665724 874 7805638075899371359 875 9500457434401720335 876 11473457234464945528 877 13751219754855489043 878 16359240469555522194 879 19321138166784461961 880 22657801866817459051 881 26386494483103532508 882 30519937699731396286 883 35065405937384752522 884 40023860519415525166 885 45389156836888942516 886 51147358412179211480 887 57276191006795716651 888 63744668293616469321 889 70512917043894213895 890 77532225275449098927 891 84745330543087309996 892 92086958554651410029 893 99484614003931486080 894 106859616937997088219 895 114128368813215347644 896 121203823576399116649 897 127997130538362324396 898 134419408268170155096 899 140383602275870090580 900 145806374416947534238 901 150609968867116200496 902 154723998424421874289 903 158087095936094350012 904 160648378719772522161 905 162368679067378208199 906 163221500840960825157 907 163193670879490541153 908 162285663685308745385 909 160511588734736860381 910 157898840786157663091 911 154487424876360921698 912 150328978208900361412 913 145485521095350429091 914 140027977405906872048 915 134034512038951936903 916 127588737708332395285 917 120777846494052550182 918 113690722238049358357 919 106416088816845176695 920 99040745898986719853 921 91647938991221189515 922 84315903876125392502 923 77116618039923697700 924 70114782996710827136 925 63367052643035361008 926 56921513611191533342 927 50817415065925215121 928 45085137205382447199 929 39746380769082770823 930 34814553786446278461 931 30295327305638444283 932 26187328527740472973 933 22482938107121015597 934 19169157910383542453 935 16228516525191946944 936 13639981788680262538 937 11379852674359313361 938 9422606555308479458 939 7741682155359516587 940 6310182977039083925 941 5101490610683329811 942 4089781737735859768 943 3250446793883790967 944 2560411917669223015 945 1998368955455173089 946 1544920799489661102 947 1182651220365179752 948 896129593294903718 949 671861563544758573 950 498196800002055233 951 365204623783044833 952 264527564527883769 953 189221872044022294 954 133592802605419459 955 93031176583149799 956 63856365446004144 957 43169557189332643 958 28719943981699277 959 18785393152789563 960 12068247050502018 961 7606143251850917 962 4697171798842490 963 2838267609315968 964 1675471886035411 965 964555101444801 966 540462659514706 967 294091411949230 968 155014427087237 969 78916926270587 970 38674015114452 971 18173081525437 972 8151183931817 973 3471062335783 974 1394354245830 975 524326780991 976 182834038736 977 58434592967 978 16867248157 979 4314806976 980 954082246 981 176289201 982 25956433 983 2837061 984 207195 985 8720 986 170 987 1 988 1767263190 989 15905368710 990 88506451110 991 376618114950 992 1344027537930 993 4210385140500 994 11916560162430 995 31050097790250 996 75499080484905 997 173032750488675 998 376692744346050 999 783742705541565 1000 1566186099554790 1001 3018367948494885 1002 5629228329907035 1003 10189088158660635 1004 17943808646234535 1005 30812294758353720 1006 51687085796378880 1007 84841438876512900 1008 136470446641124240 1009 215397231718981495 1010 333978849813927095 1011 509248695810491775 1012 764333869186891170 1013 1130185161171900040 1014 1647655327802652445 1015 2369955719761282796 1016 3365513890515308045 1017 4721242731118138724 1018 6546217407768551564 1019 8975736839729454024 1020 12175724988449768379 1021 16347400538452619976 1022 21732116084838342687 1023 28616236225391680572 1024 37335893664277198750 1025 48281429874427686809 1026 61901298964086686576 1027 78705186074683410931 1028 99266072952509614471 1029 124220968560507828421 1030 154270020618097591929 1031 190173729021533357505 1032 232748003549481841341 1033 282856838868951356386 1034 341402428992588080046 1035 409312601897842249936 1036 487525531988719264281 1037 576971772225139194977 1038 678553747427008606921 1039 793122952063286632816 1040 921455207492553658208 1041 1064224439801184423998 1042 1221975547442307722878 1043 1395097021161378907129 1044 1583794064705899264563 1045 1788063026427768110194 1046 2007667997471652908094 1047 2242120445197891873010 1048 2490662740814101686580 1049 2752256392812367651415 1050 3025575724985445910802 1051 3309007626774973175322 1052 3600657869343604369796 1053 3898364313059637311285 1054 4199717148386716552431 1055 4502086105195888576522 1056 4802654354498632414254 1057 5098458606423787109388 1058 5386434699000875586014 1059 5663467770060598087035 1060 5926445928849151698922 1061 6172316190885716518365 1062 6398141326664180947127 1063 6601156196932412527200 1064 6778822118610073732390 1065 6928877818693877839792 1066 7049385598603344707185 1067 7138771438459923980099 1068 7195857924993372248500 1069 7219889075711789566287 1070 7210546356577968055732 1071 7167955436443723051178 1072 7092683486470386468580 1073 6985727101816685680203 1074 6848491191588527583605 1075 6682759437398847489650 1076 6490657156066792432517 1077 6274607606336708026212 1078 6037282949306313037081 1079 5781551199454333028434 1080 5510420586256439983072 1081 5226982781637336629980 1082 4934356437223659402263 1083 4635632418214700529231 1084 4333822021721039402698 1085 4031809331179745280585 1086 3732308691090586491625 1087 3437828095180840722492 1088 3150639073394742828450 1089 2872753447578778778891 1090 2605907109401563133020 1091 2351550765624141620219 1092 2110847400949025781705 1093 1884676034743124539409 1094 1673641198294241957161 1095 1478087439164173695479 1096 1298118069251007158280 1097 1133617316042108185053 1098 984275010125875375222 1099 849612946558735718291 1100 729012088808283079471 1101 621739840011062932753 1102 526976681394329081316 1103 443841569056581156132 1104 371415581555073389854 1105 308763418749222313945 1106 254952461125069180475 1107 209069205670678718680 1108 170232994370328643966 1109 137607042810366849539 1110 110406855802689677060 1111 87906183837477683402 1112 69440726718184039558 1113 54409829614292310305 1114 42276441555309397565 1115 32565618730682116323 1116 24861855490749333323 1117 18805516867714228004 1118 14088629016244432972 1119 10450260557401730688 1120 7671699856016789950 1121 5571602896014043331 1122 4001254951822015046 1123 2840058342085172778 1124 1991329138692377473 1125 1378458863143117508 1126 941473426206116901 1127 634001358228847505 1128 420646809876741847 1129 274749911022062034 1130 176507618223811824 1131 111421880291166479 1132 69038387727542801 1133 41937914086866133 1134 24942839657027163 1135 14503419797941876 1136 8231307687210480 1137 4551385464789791 1138 2446791330510727 1139 1275889672385814 1140 643631331409293 1141 313146744142778 1142 146428071897933 1143 65539480648233 1144 27946218826397 1145 11288978838126 1146 4291455963194 1147 1522961423960 1148 499640381496 1149 149709812200 1150 40349713793 1151 9592366144 1152 1960251604 1153 332558349 1154 44598834 1155 4400039 1156 287945 1157 10829 1158 189 1159 1 1160 6564120420 1161 62359143990 1162 362793886290 1163 1608209502900 1164 5961647434050 1165 19362824674050 1166 56729762505900 1167 152829686374860 1168 383817822364680 1169 907769820691305 1170 2037850571127525 1171 4369291150298250 1172 8992467974183595 1173 17839304578641975 1174 34230905221161000 1175 63720758567195070 1176 115362504582433350 1177 203573494176519720 1178 350818018312093530 1179 591395256059073675 1180 976689563697488520 1181 1582320781271433720 1182 2517722283042870750 1183 3938767741941347865 1184 6064165814572736585 1185 9196434692510398355 1186 13748356704292901295 1187 20275882215206538250 1188 29518502489251752735 1189 42448124170434108170 1190 60327454683620236145 1191 84778826041356450630 1192 117864247735025979550 1193 162177263733784100615 1194 220946902511821924460 1195 298153629188992899630 1196 398656751675379256435 1197 528332178042020718080 1198 694218797639036744085 1199 904671049178107482425 1200 1169514485968452310731 1201 1500200344224398987885 1202 1909954320109465285491 1203 2413913964297937197932 1204 3029248377867644099563 1205 3775253244144788772113 1206 4673413735875416007793 1207 5747427499489795368568 1208 7023179819885543088960 1209 8528663206810584567794 1210 10293834094639100412416 1211 12350400092841977802568 1212 14731532328371490336219 1213 17471498842458933653423 1214 20605216784992656097873 1215 24167723219860932168048 1216 28193566729301297704114 1217 32716124583286126897277 1218 37766853007572609467736 1219 43374480911382233758433 1220 49564160284111273019144 1221 56356589189412975223886 1222 63767125820061385269849 1223 71804914270130853400474 1224 80472044475855518068248 1225 89762770024653802358081 1226 99662808191329814301065 1227 110148746511192767229277 1228 121187579430845001665874 1229 132736397013594032567532 1230 144742245351239388107459 1231 157142175229582378675866 1232 169863491796336185495760 1233 182824213531374776870828 1234 195933743855895849407492 1235 209093753340794698864009 1236 222199264861120309358445 1237 235139928338418299973402 1238 247801466113452997454827 1239 260067264666097567269872 1240 271820083541337142581710 1241 282943848114350649650503 1242 293325489397449758128565 1243 302856791590662579445947 1244 311436206614320813073107 1245 318970594516152455375912 1246 325376849451042912239155 1247 330583372900566117190145 1248 334531358882199533469433 1249 337175860034314332999077 1250 338486608522704663280188 1251 338448571572714837559788 1252 337062227892345715528840 1253 334343558145567228482717 1254 330323749724715279634842 1255 325048623166847580541910 1256 318577794414035649228205 1257 310983593553694608256335 1258 302349766466230571445103 1259 292769990815700237808746 1260 282346241868144253532354 1261 271187046636938516775121 1262 259405666727288763108744 1263 247118250983977949410376 1264 234441998607780950722566 1265 221493371874827234164675 1266 208386395014152294733885 1267 195231072316658190996466 1268 182131954268353311706539 1269 169186875613741196503893 1270 156485883903944245326633 1271 144110371481115202573167 1272 132132418149648543989863 1273 120614346191565563206130 1274 109608484037466046426624 1275 99157129980327317669473 1276 89292702920648975848640 1277 80038063383386215656358 1278 71406985003786470754463 1279 63404754407310860562631 1280 56028875908216156623285 1281 49269856730018044850994 1282 43112048459054212880479 1283 37534521137252033831500 1284 32511947693749475437242 1285 28015478228796451161265 1286 24013585886847265196505 1287 20472868592113506250360 1288 17358793653652350543280 1289 14636375080570393403978 1290 12270776276652216667231 1291 10227833523676266247481 1292 8474498232303797293263 1293 6979198278485943931287 1294 5712120799919321141579 1295 4645420569271543938647 1296 3753359467700021819382 1297 3012383649273706061695 1298 2401145720724415099530 1299 1900479679899539356223 1300 1493336487395749532601 1301 1164688022819024964365 1302 901406839082310490868 1303 692128615836797371971 1304 527103569362434945929 1305 398042341198975630390 1306 297961100942484233623 1307 221029793869760042987 1308 162426672656137692008 1309 118201498661479352107 1310 85149102829996652802 1311 60694372739502852487 1312 42789190911103910326 1313 29821393979145641774 1314 20535453923176184918 1315 13964297624741965978 1316 9371474366887286341 1317 6202744222874731166 1318 4046084909386070339 1319 2599090371046633395 1320 1642751477502892061 1321 1020657811030083674 1322 622730878634890955 1323 372684999382571288 1324 218505877353717078 1325 125332682475032905 1326 70222966771465180 1327 38367576561891865 1328 20402692068003544 1329 10536879318082183 1330 5272047218453376 1331 2548508919816011 1332 1186471183582936 1333 530041637747499 1334 226261648282668 1335 91837217035793 1336 35237917365440 1337 12693563462215 1338 4257221131843 1339 1315940330848 1340 370228201847 1341 93321162110 1342 20653449465 1343 3908195995 1344 610065984 1345 74710812 1346 6677055 1347 393470 1348 13299 1349 209 1350 1 1351 24466267020 1352 244662670200 1353 1485281429580 1354 6846377598060 1355 26319850688670 1356 88487854836510 1357 267962618572110 1358 745255000739730 1359 1930289705221350 1360 4704423633498600 1361 10874683502799180 1362 23993200498466760 1363 50785330628636655 1364 103560468654638745 1365 204167339896671525 1366 390313400014432005 1367 725420481050167065 1368 1313652053208795540 1369 2322352846477055940 1370 4014905305903757760 1371 6797964901776523770 1372 11288197952120215455 1373 18405045049480040610 1374 29497665316684403340 1375 46516104754819418295 1376 72238842834726566595 1377 110571207138279367380 1378 166931631021583286250 1379 248745333541116225195 1380 366067593545968607145 1381 532361300130732587070 1382 765455694561418581960 1383 1088715062244727447395 1384 1532447327907930680805 1385 2135582909505052533820 1386 2947653485299331146105 1387 4031098373816284123070 1388 5463922682623324439510 1389 7342726132189666445545 1390 9786114188649423015225 1391 12938493814297292272150 1392 16974244523040015111680 1393 22102241629057941688170 1394 28570692487194152364375 1395 36672228472028798241965 1396 46749175497125462686360 1397 59198904621681816572700 1398 74479142008254988295735 1399 93113095042310160092915 1400 115694229289381988937095 1401 142890510261938595017210 1402 175447905342660518150805 1403 214192925960628800530570 1404 260033978951769673141900 1405 313961290316328992134735 1406 377045164944926830971260 1407 450432353587858113293455 1408 535340313768028580801420 1409 633049175477608842253855 1410 744891255296509026253570 1411 872238004566861039951920 1412 1016484327803070838332740 1413 1179030266561364301979190 1414 1361260110190178639012702 1415 1564519067524396076682456 1416 1790087710610740332079234 1417 2039154481618900925685317 1418 2312786634513988573250456 1419 2611900062008247137687991 1420 2937228532657380771529192 1421 3289292930640133039013754 1422 3668371148516481911092362 1423 4074469329105575050048982 1424 4507295183560197143937962 1425 4966234127207456273946650 1426 5450328970409228779666458 1427 5958263877867724593324825 1428 6488353265078901445210841 1429 7038536235444252905796168 1430 7606377075743422188277273 1431 8189072222970404340705502 1432 8783463993136433419470837 1433 9386061225568612638161045 1434 9993066846933094056788813 1435 10600412201824162427954454 1436 11203797834719730875615843 1437 11798740246292628835125955 1438 12380623989467965009379706 1439 12944758322345163148952374 1440 13486437500138535390952934 1441 14001003671390074301496282 1442 14483911248258606800577582 1443 14930791550503967089856189 1444 15337516480111639222393292 1445 15700259970716045610130814 1446 16015555973775386139707646 1447 16280351792434447302341134 1448 16492055653112349185206475 1449 16648577512806568104013513 1450 16748362234096383932244992 1451 16790414416869618346178267 1452 16774314351592197571376276 1453 16700224749155449290586252 1454 16568888101678678779473734 1455 16381614731995328706943633 1456 16140261791244742447522031 1457 15847203658794156144584672 1458 15505294381273137112077822 1459 15117822953146295214685181 1460 14688462385581926365547295 1461 14221213629884711614911391 1462 13720345513522153327982271 1463 13190331908862649877547248 1464 12635787386013000073189711 1465 12061402601456155298860040 1466 11471880644254842888135633 1467 10871875503004519410007594 1468 10265933731879475439977212 1469 9658440286082778469738692 1470 9053569369471220867558605 1471 8455240994148665826249811 1472 7867083797859600189403659 1473 7292404504575313472610483 1474 6734164251374314877707332 1475 6194961844932251175627777 1476 5677023857879109481632519 1477 5182201332632836035785168 1478 4711972731426664184902975 1479 4267452658721574222839290 1480 3849405788189776054240467 1481 3458265352288611569766172 1482 3094155498947407877841949 1483 2756916787061324079639466 1484 2446134079889619552435786 1485 2161166101915790543610664 1486 1901175948756206099774125 1487 1665161879235419508208506 1488 1451987771569137809600617 1489 1260412689115694065973293 1490 1089119072818431494337487 1491 936739154528205057791658 1492 801879265339501519386354 1493 683141793366403335982120 1494 579144623838953184421007 1495 488537968965274821254933 1496 410018564053315725122994 1497 342341268510336917189441 1498 284328164580326669201152 1499 234875292327739880539026 1500 192957196141921846780096 1501 157629485857184208705709 1502 128029634750619580480755 1503 103376247654254093816524 1504 82967035921793250684979 1505 66175732838014805796639 1506 52448174223674494880165 1507 41297755457473018832068 1508 32300458957095759850995 1509 25089626326165250138104 1510 19350627857603474284845 1511 14815559755127733365974 1512 11258077089215856517256 1513 8488448804603536737923 1514 6348900604179554033092 1515 4709292672185388092942 1516 3463162283829050102300 1517 2524146570783002167510 1518 1822788169812443011444 1519 1303716174593315458604 1520 923186667092236557332 1521 646960987566331226047 1522 448495630817720771805 1523 307415016457631988117 1524 208237141317972452874 1525 139322044484937985054 1526 92013865650646159356 1527 59948833879749671882 1528 38503583013587006988 1529 24360571939565046384 1530 15169937998097235167 1531 9289702538202981832 1532 5588777408817738303 1533 3299614147754146861 1534 1909540110330290123 1535 1081804827051496987 1536 599098958135868805 1537 323805105621026070 1538 170502448649571330 1539 87291776305322489 1540 43354889957595743 1541 20836496310545720 1542 9662364560299880 1543 4309098227529438 1544 1841160740690075 1545 750408794339921 1546 290258989431819 1547 105911177070985 1548 36195873356531 1549 11486859548368 1550 3349807281205 1551 886124811376 1552 209204023369 1553 43172647628 1554 7578153551 1555 1090638472 1556 122271381 1557 9933539 1558 529529 1559 16169 1560 230 1561 1 1562 91482563640 1563 960566918220 1564 6074016725400 1565 29065925219760 1566 115705750643340 1567 402096119231040 1568 1256812444456140 1569 3603726161724780 1570 9613882617639300 1571 24113163852247800 1572 57322291545401520 1573 129980798049424680 1574 282596899284599220 1575 591615309526170660 1576 1196867294733356640 1577 2346942901804332750 1578 4472369381802922800 1579 8300975262559307370 1580 15035960330556751500 1581 26625376302339282840 1582 46162484380282533030 1583 78470296674775284090 1584 130941179302232128620 1585 214724249808238895055 1586 346380139111333623210 1587 550155003982674644430 1588 861064086878324463900 1589 1329019886732143292220 1590 2024291466328539365850 1591 3044639365741051401510 1592 4524534828668638657485 1593 6646941607030962454380 1594 9658212498393484694535 1595 13886728971490615352445 1596 19765988706452196536955 1597 27862919323431921949305 1598 38912263754439268816605 1599 53857938965256059376975 1600 73902310644467477060535 1601 100564346141068678076475 1602 135747601054650798659850 1603 181818954737443868459730 1604 241698930979769147717715 1605 318964315521574109939355 1606 417963606842395340584140 1607 543945605125018692445110 1608 703201153317917283565725 1609 903217690327807509971220 1610 1152845859766660066075530 1611 1462476938522460141475365 1612 1844229312541997403185460 1613 2312141637683224903914025 1614 2882369691822412959428310 1615 3573383261395874841604905 1616 4406158727925163154878930 1617 5404362344487284333631135 1618 6594518541145494419929405 1619 8006156993782153725972720 1620 9671931659734617268224520 1621 11627704551059421738622980 1622 13912586711453374078771545 1623 16568928711063025274524125 1624 19642253002689676370043260 1625 23181120714989025368931755 1626 27236925915920934008413765 1627 31863611076960994636848705 1628 37117298418566999878401430 1629 43055833022286791115677815 1630 49738235054312864945266745 1631 57224060146185559522542250 1632 65572668904028256250168335 1633 74842408637934920462812005 1634 85089712683875455103341510 1635 96368125084406906677040585 1636 108727260851375736579239210 1637 122211714491726202311462715 1638 136859931873820191094063135 1639 152703062774746981206401100 1640 169763813509884976473777890 1641 188055320830424671176723855 1642 207580069715167919428552635 1643 228328878711848400331003865 1644 250279977043552198493243235 1645 273398197735126339722471580 1646 297634310495350222469634810 1647 322924516984570098283298945 1648 349190129394174829006218840 1649 376337450965567465163092355 1650 404257874203995085759226660 1651 432828209132336470818759330 1652 461911250037088385287033195 1653 491356584852107074126602085 1654 521001646691315484801538080 1655 550673002176659363593222395 1656 580187866222059372912346490 1657 609355827944450411126965310 1658 637980767502343312480192805 1659 665862939034483501919963180 1660 692801190609152003047467365 1661 718595288315613176891910645 1662 743048308441874032375421245 1663 765969059183722654603083285 1664 787174491599909391674757950 1665 806492058630682885104571480 1666 823761980974050317218571710 1667 838839379487428269291577070 1668 851596235548871099979569100 1669 861923143446906261159735950 1670 869730822321503844759828060 1671 874951359380996257273068620 1672 877539160978526287872095082 1673 877471593538761970274720641 1674 874749302155520411527616358 1675 869396200798803550492252144 1676 861459134330022190041837296 1677 851007218780237901379811178 1678 838130872448578586135325633 1679 822940556184475882360763996 1680 805565246590974220488737739 1681 786150670705302744522404430 1682 764857334867406783157718342 1683 741858383889036877649838053 1684 717337329214200847557095410 1685 691485686470815634853443584 1686 664500563627460267273182970 1687 636582240889283966587369073 1688 607931782513988240873330910 1689 578748718948252504600651066 1690 549228835139700191078209547 1691 519562097653318227395576526 1692 489930749409848548564106694 1693 460507596577839682357959274 1694 431454507507067459560597241 1695 402921138713131075844960922 1696 375043897934003074838345288 1697 347945149302601275632863529 1698 321732660830479686220959581 1699 296499289786008111928355391 1700 272322897271975801529518593 1701 249266479447447339269688828 1702 227378499464827020060413499 1703 206693401359200075139738503 1704 187232284868159119532651597 1705 169003718496377832576836458 1706 152004667071886672613506815 1707 136221509557945527278651943 1708 121631122957462297793328278 1709 108202008736545138299839706 1710 95895439248549504274096601 1711 84666603100903413220125689 1712 74465730207777090667601838 1713 65239179342849214883181981 1714 56930473276023228176000378 1715 49481268975058240004181916 1716 42832252808598026214483013 1717 36923953136595826544263412 1718 31697465058469768168121781 1719 27095084356586195891480544 1720 23060849778454651359417174 1721 19540994709579176703998043 1722 16484310972975544673911437 1723 13842428932483894502108229 1724 11570019265008864139860371 1725 9624922699477374608879995 1726 7968214702509589404978954 1727 6564212533742529104586542 1728 5380432313942005924353040 1729 4387503767221579793638063 1730 3559050138825184766267100 1731 2871540478037220011181880 1732 2304121039050978044202510 1733 1838432018310091073262965 1734 1458415241604577421834453 1735 1150117763211997778075882 1736 901495665885762633060575 1737 702221675209097446937627 1738 543499542782260148534453 1739 417887524855828890265966 1740 319132698392275826080717 1741 242017324078479396053553 1742 182217991705223063228586 1743 136177871037580488571077 1744 100992041995993769320942 1745 74305590705282279404625 1746 54223930157605316322594 1747 39234631866489513367836 1748 28139932991583905644122 1749 19999006281017433234197 1750 14079041758513863498645 1751 9814183166040312203939 1752 6771382690332764338178 1753 4622278649561821503448 1754 3120257254364993852911 1755 2081926467508122327447 1756 1372303176696279199312 1757 893090799715764172002 1758 573500148358226083700 1759 363139585678036215513 1760 226569503253104157676 1761 139179719848809993046 1762 84105819084534517502 1763 49951342578335528628 1764 29127094673154582373 1765 16656797312441791736 1766 9330343530646130007 1767 5112443248958764836 1768 2736117700071569637 1769 1427893199634146592 1770 725284305025265032 1771 357827669445074571 1772 171073528644045159 1773 79048654114452462 1774 35197678381938908 1775 15050905548487659 1776 6156596096711027 1777 2398174763966029 1778 884887731260114 1779 307370465574205 1780 99768548801027 1781 29993502762361 1782 8261759991841 1783 2057509390299 1784 455591867863 1785 87799131673 1786 14319849589 1787 1903729366 1788 195861722 1789 14513092 1790 702834 1791 19480 1792 252 1793 1 1794 343059613650 1795 3773655750150 1796 24814645387350 1797 123089789377620 1798 506696389984200 1799 1817739923888850 1800 5857069172650800 1801 17293603522915980 1802 47462189863173930 1803 122368536655742130 1804 298814209990335780 1805 695585080393991580 1806 1551640626517125300 1807 3331182867336741300 1808 6907838982412148820 1809 13878866130390459120 1810 27087966497154336540 1811 51475343990361365490 1812 95430554701821273090 1813 172902936445405337340 1814 306632947945709511840 1815 533013716462176930770 1816 909285522576173155695 1817 1524018007262378595870 1818 2512158857838416184255 1819 4076337711812144314530 1820 6516626108792620960335 1821 10271584592788674956415 1822 15974193991984110129855 1823 24527185408044288856365 1824 37203368644409599704270 1825 55777823931611878280595 1826 82700277414607456343670 1827 121317630467843736688050 1828 176158455864753712574445 1829 253293298643478015904395 1830 360786807754346943227640 1831 509260042770147501193740 1832 712583705096846625248835 1833 988725473248814456736225 1834 1360777003621146579446460 1835 1858188396621342314679225 1836 2518239916606185635196165 1837 3387782363368726298106540 1838 4525278584935546686914775 1839 6003179036800370075744295 1840 7910663869646057419903470 1841 10356782588028832451637615 1842 13474019696058789779754225 1843 17422310754985120656898845 1844 22393527765831141984119490 1845 28616445606632154605379270 1846 36362192286647516072947665 1847 45950174936782807217493450 1848 57754460702969415015674145 1849 72210577048643178010875405 1850 89822679483276026374817100 1851 111171016543642780435965255 1852 136919602185263694016914525 1853 167823984871752459403973310 1854 204738980962889875791172320 1855 248626217938186323264364080 1856 300561311097269677891643355 1857 361740476243806565595079695 1858 433486361173073968888917720 1859 517252861255369774078530750 1860 614628669820385466548738055 1861 727339303171038201247718115 1862 857247333694331280155662065 1863 1006350563436672065451988365 1864 1176777875406626498127229095 1865 1370782511378526849631037445 1866 1590732543653304719427648720 1867 1839098334472294329447503130 1868 2118436810847267629575550335 1869 2431372424510152805001751185 1870 2780574716388748710400157235 1871 3168732462102040161966381310 1872 3598524438881351724812828700 1873 4072586924213244119272797690 1874 4593478111334337263545399735 1875 5163639705170843220415326255 1876 5785356042930944365476262200 1877 6460711164602223060298010255 1878 7191544338250785333691323135 1879 7979404621252433294067449105 1880 8825505109377086963311235525 1881 9730677588873016465247706055 1882 10695328360319279206540151970 1883 11719396045015431146578249415 1884 12802312213242173718601921870 1885 13942965687178629204313503695 1886 15139671368245347324496926245 1887 16390144418050576023172589725 1888 17691480583267532412064001575 1889 19040143397318581315199902840 1890 20431958915840878956811842235 1891 21862118549103712026103351980 1892 23325190443914688959316502425 1893 24815139741567264659843966660 1894 26325357899031849902895286335 1895 27848701110223369349032967385 1896 29377537705573144618659253600 1897 30903804244342612515165344695 1898 32419069848506933248283001175 1899 33914608163102993058800543800 1900 35381476169329371948010576345 1901 36810598927015716562769603215 1902 38192859185927648034462518635 1903 39519190684099745787782466030 1904 40780673849136297740154485020 1905 41968632537932120374217371130 1906 43074730393902511868165659810 1907 44091065370386068409732533045 1908 45010260965692158331978688165 1909 45825552739957558161316640740 1910 46530868736609489348258134205 1911 47120902511178039859953312750 1912 47591177576224601256625142425 1913 47938102201366995674501820790 1914 48159013659347120022394551815 1915 48252211179808659084694257280 1916 48216977058504225598538428325 1917 48053585567206606559978320625 1918 47763299514569717903744340240 1919 47348354516280361694584481375 1920 46811931239711917249936118865 1921 46158116089599864912196024075 1922 45391850992822865244969114195 1923 44518873118236256079310001120 1924 43545645528059556547938189550 1925 42479279897372663361958825150 1926 41327452555140168662226146660 1927 40098315191726681167232263090 1928 38800401642565385354377962355 1929 37442532194605927741108006255 1930 36033716871152923324478512625 1931 34583059132110338615848091190 1932 33099661381485274961639884645 1933 31592533603875400559509918515 1934 30070506358690798108918769620 1935 28542149247633340715246688045 1936 27015695840446892254824993915 1937 25498975899440010854203514695 1938 23999355588256244101313400400 1939 22523686188439692393916508680 1940 21078261682148956627098274370 1941 19668785394489508689034092725 1942 18300345727783805677565639125 1943 16977400865882475207155865145 1944 15703772182234350750944484465 1945 14482645953427386940337090735 1946 13316582862422928355492824305 1947 12207534674441614143748787110 1948 11156867384661072591939346655 1949 10165390071338138756859091370 1950 9233388640984774820801833665 1951 8360663623686031885360933275 1952 7546571166002589913421375250 1953 6790066375232754963804545640 1954 6089748190859143744049251035 1955 5443904995241148959488715600 1956 4850560224268355351726105395 1957 4307517297837216650585096335 1958 3812403257612456905345608400 1959 3362710573504423771852536155 1960 2955836658551785672188150225 1961 2589120712430101146208467355 1962 2259877594693797979905813685 1963 1965428508337894263206071340 1964 1703128350745012449278439490 1965 1470389661183094056512454980 1966 1264703160577571826217365445 1967 1083654939376295144133673800 1968 924940402266369096473830025 1969 786375123838506783611746005 1970 665902806795865439746385725 1971 561600563953909421439340455 1972 471681767245277669657516230 1973 394496721569553695518691635 1974 328531429091526303623804430 1975 272404711090296105634589940 1976 224863950377478739866239405 1977 184779708380590007453935395 1978 151139458004162488186736450 1979 123040657124714900853705805 1980 99683368820754643199024290 1981 80362613929951868283337960 1982 64460619957629156310349010 1983 51439108369309059024238300 1984 40831740449057194103541240 1985 32236820682312561519988410 1986 25310336432801800344962745 1987 19759393853221496962426030 1988 15336092743544606468743350 1989 11831867618637718139010650 1990 9072308667309373474075945 1991 6912464614020993253935700 1992 5232619712799218183848075 1993 3934529144384522628491065 1994 2938090848160195628063100 1995 2178427166559229597642485 1996 1603346456975332629141100 1997 1171152867037087096458230 1998 848771599461054219490345 1999 610157038465358286516210 2000 434951901809376243503730 2001 307366961042002340744425 2002 215252690072456579098985 2003 149336326013303857967400 2004 102600139882240858247155 2005 69779118478494925063835 2006 46958669727214036796795 2007 31255315386899037783625 2008 20565575907367497518520 2009 13370344953396047867610 2010 8583970603250442864640 2011 5438992055317452158005 2012 3399019354257973610820 2013 2093590910378611375000 2014 1270006800594091660430 2015 758126489194866926855 2016 444952002586350895145 2017 256507702695778280935 2018 145092325835972705960 2019 80434525376276161360 2020 43645781994836143360 2021 23149154643508095425 2022 11982519886310888295 2023 6042751104901208485 2024 2963214985412994565 2025 1409949028442390280 2026 649397366414078505 2027 288738587138931680 2028 123551345469574850 2029 50700255027191905 2030 19871791982585685 2031 7404519230248810 2032 2608682898451020 2033 863425761823610 2034 266440575374970 2035 75958517497390 2036 19784584839090 2037 4644106364690 2038 965714296185 2039 174038997045 2040 26416203870 2041 3250048120 2042 307592065 2043 20855020 2044 921150 2045 23275 2046 275 2047 1 2048 1289904147324 2049 14833897694226 2050 101284920334026 2051 520078374293400 2052 2211087821896980 2053 8178664690876914 2054 27135946295916900 2055 82412878139532954 2056 232437481468072530 2057 615372190552417740 2058 1541993623889769180 2059 3681142419605948310 2060 8416655169837874596 2061 18511873368998158500 2062 39310055141426734470 2063 80843809399537355886 2064 161449135006430473020 2065 313813740260352272850 2066 594881617533679908510 2067 1101747125880518374140 2068 1996682250198026325090 2069 3545851372182604161690 2070 6178207510526819003964 2071 10573689737701831057590 2072 17793346817972296043304 2073 29468625817966339534140 2074 48073059032250871045440 2075 77307269794530473918766 2076 122637956658275692574226 2077 192043702150019249701860 2078 297035526517881879120705 2079 454038533339623128328419 2080 686243265979854667267014 2081 1026062004302987661833889 2082 1518356671512878584586199 2083 2224641739341007065966315 2084 3228507916134163502611590 2085 4642560770888094569648055 2086 6617222968829537345689785 2087 9351809466878458059090546 2088 13108351644814876693534317 2089 18228718456177292731656066 2090 25155659519626996029154641 2091 34458475509568276995156666 2092 46864103757011382317161881 2093 63294489690491084519536341 2094 84911195264325260947212915 2095 113168270953556672897074005 2096 149874484918341867866588874 2097 197266057710999126334411485 2098 258091089177471267469143639 2099 335706881298218098588787634 2100 434191351660937904810159240 2101 558469691799456967143141450 2102 714457347466624126474190250 2103 909220278685396405961027979 2104 1151153291072847258344176704 2105 1450177011689955303712625577 2106 1817953808461380580707389088 2107 2268122618684819402611843413 2108 2816552257124930351718200679 2109 3481612316665078575944717883 2110 4284460255126993261520189964 2111 5249342682952571598782940774 2112 6403908232355650510432789851 2113 7779528705672132945722254536 2114 9411624477755522121814369902 2115 11339989375371149178377528952 2116 13609109489162358637422298563 2117 16268469606589561561047412563 2118 19372840205365544104652727774 2119 22982537236257247007562228153 2120 27163646273557408496842279707 2121 31988202044096889387637630008 2122 37534313885552511403054224297 2123 43886227356386308304330920011 2124 51134312047430415529514512371 2125 59374965652230718940704593792 2126 68710424561760881415237368190 2127 79248471678448247856641926470 2128 91102032811203376812580675269 2129 104388653929828774171550729067 2130 119229852731993407867475748036 2131 135750339411601918855968508251 2132 154077103210975188181026449325 2133 174338363281310347937545964175 2134 196662384550461313528507235064 2135 221176161681028469265345446535 2136 248003976765169643588451752190 2137 277265839108390828609011685491 2138 309075818259465449993033921217 2139 343540284297850437908598291723 2140 380756072238691179993696315228 2141 420808590199193603250838045776 2142 463769893626131886054510703932 2143 509696750347538975439069167064 2144 558628723416725346075498120969 2145 610586300598807178743384194691 2146 665569100846691472288184426166 2147 723554189166622603943832608787 2148 784494531830584278716164970190 2149 848317623908877342960233848803 2150 914924320534983134618394904638 2151 984187902150412266047182719042 2152 1055953402195393237260481446321 2153 1130037223310090116912597936950 2154 1206227065102115600488645985793 2155 1284282182944548173401433437281 2156 1363933993133593032164292695895 2157 1444887035109070707316591719327 2158 1526820296389908553122328865466 2159 1609388900478641726506420780329 2160 1692226152332524325333055500103 2161 1774945930182397585304546269716 2162 1857145406609721165555375613977 2163 1938408075978217167535932370725 2164 2018307059673573260284557278220 2165 2096408655247291573506820997361 2166 2172276090601745702569944427182 2167 2245473439900858202626022709222 2168 2315569654045348233205288733265 2169 2382142655404341384848323355871 2170 2444783444125347591361565274174 2171 2503100161817193257257630907970 2172 2556722057764479109088481986667 2173 2605303303119269602446657358038 2174 2648526599739249725680017971583 2175 2686106532495775518368386804353 2176 2717792616934999063875255759810 2177 2743371998096569581200487893925 2178 2762671761014896077735902953926 2179 2775560818868195853589092232821 2180 2781951350805459045029191301026 2181 2781799768062505462059348312924 2182 2775107193955545735775988444653 2183 2761919450585600710996235724541 2184 2742326552465252798279227228375 2185 2716461714653208693908125658317 2186 2684499890214676872804806327465 2187 2646655858782534113759250469888 2188 2603181894547487544783215245415 2189 2554365048035787482176424893704 2190 2500524081432610378285481252562 2191 2442006101884008306687047700006 2192 2379182941081777440615096403529 2193 2312447332442597931675863723124 2194 2242208939292362848607112244504 2195 2168890288634983964856759281780 2196 2092922665317451013083007076640 2197 2014742020714058883564296607787 2198 1934784948475213281373655924817 2199 1853484777470237447528622268632 2200 1771267828864907101744321147888 2201 1688549880392966575305177956545 2202 1605732876398265906118561845926 2203 1523201917241761828437754891279 2204 1441322556293702047222089167025 2205 1360438427078747559077962816888 2206 1280869217325177323221527339148 2207 1202909000802684040167658007054 2208 1126824932027297358449880271090 2209 1052856303271972649620940535870 2210 981213957944932113962830256843 2211 912080049373178123391630239609 2212 845608129432835260716671918692 2213 781923547366115614178404558641 2214 721124135568522860184092876874 2215 663281156157643006252600398483 2216 608440479770813556901796250145 2217 556623966293814723853124987254 2218 507831016093881111411718973437 2219 462040259802793119818423180115 2220 419211354743057884159353233734 2221 379286856675557227999479039003 2222 342194136624983813247939690522 2223 307847314057145043283876473962 2224 276149179581328136946713159605 2225 246993082568982711054244230673 2226 220264761552207610638377487904 2227 195844097926447497737988731454 2228 173606776266688753896821167286 2229 153425837412781450325843522356 2230 135173113328203520464237814253 2231 118720535533057212321935339999 2232 103941311607168226686120030857 2233 90710966809782554850351866052 2234 78908250232048927934029754073 2235 68415907057662890602855964449 2236 59121320433150795508527210725 2237 50917028126636290513584180570 2238 43701120573588430942436203701 2239 37377528067333784311043162435 2240 31856205754156327996834298835 2241 27053225745931637158829876184 2242 22890786080284609336390935169 2243 19297146455842465202930375448 2244 16206500667928659265052320946 2245 13558795489923870665050427420 2246 11299505410952448216936139240 2247 9379372175792486395025571238 2248 7754117502375251431612096794 2249 6384136699913175855194383834 2250 5234180199601948478457865143 2251 4273029261603146321853677902 2252 3473171356500278027218740878 2253 2810479954467597439492368947 2254 2263902706617262423689007616 2255 1815161283678454912630954882 2256 1448465458229959268411677457 2257 1150243386727291619545577398 2258 908889472859198487820266298 2259 714530678534689949291492034 2260 558811695298722418759194999 2261 434698997714945901792547526 2262 336303470236927383512980641 2263 258721028028658744035010837 2264 197890436763967584161963656 2265 150467372492817701027264042 2266 113713645486991669118985117 2267 85400436464380415221049958 2268 63724354449026555711229606 2269 47235117437375241042334831 2270 34773674815400995903219100 2271 25419629147605050885699300 2272 18446869909905186078681965 2273 13286398734665241159732461 2274 9495400994728526414891516 2275 6731698762660439775388735 2276 4732802510806516290968576 2277 3298861009130517345982080 2278 2278888826866640421677940 2279 1559727169664769496260814 2280 1057265391632273532593079 2281 709516660824939511951214 2282 471201476035748846626164 2283 309546834123555806310214 2284 201056841126310770997313 2285 129052623062012158407844 2286 81815825730315389032135 2287 51201189283313668806230 2288 31610094019319973721340 2289 19239082008199896649765 2290 11535657897177855608526 2291 6808646815082981916016 2292 3952501454264426067491 2293 2254636642068510286021 2294 1262522684759448529005 2295 693241686146381981210 2296 372814310415304690324 2297 196106219363128628439 2298 100751481329836510890 2299 50475067971555998940 2300 24614777545630453231 2301 11661354871063413865 2302 5355195149862062841 2303 2377911189367661140 2304 1018103994620838565 2305 418970233866897490 2306 165117129351803510 2307 62059545450426600 2308 22138032892742570 2309 7453217274820484 2310 2352639068639520 2311 690828929310975 2312 186942061079369 2313 46090047304210 2314 10208593866705 2315 1995922322615 2316 336820660605 2317 47648409081 2318 5435027650 2319 474291441 2320 29514680 2321 1193400 2322 27599 2323 299 2324 1 2325 4861946401452 2326 58343356817424 2327 413066997331524 2328 2192837050450800 2329 9617333209064100 2330 36639498246473106 2331 125047013085415980 2332 390238932406642056 2333 1129964566464260280 2334 3068952078858575130 2335 7883878500022274100 2336 19283663915309138670 2337 45150946414120562094 2338 101646071469565239240 2339 220834688588140670190 2340 464472022645274063724 2341 948279549845157415470 2342 1883694436149384902340 2343 3648099445347445204140 2344 6900556616050219333560 2345 12768898121995781277900 2346 23146770671603851838280 2347 41157335333125885250556 2348 71865662121241129553490 2349 123356821507733229818220 2350 208344262488558675976836 2351 346537010929764563052336 2352 568079072836372475124624 2353 918485693119837252477854 2354 1465645338489389229102594 2355 2309641143715113019803030 2356 3596379975085391509933290 2357 5536311407122696739902776 2358 8429884199112761632623306 2359 12701836985943487219840686 2360 18946966633617013801436820 2361 27990676824786739406132436 2362 40968396332582612772327150 2363 59428886902675836779764440 2364 85467550266233534335860690 2365 121897107479152376166572763 2366 172464474923852525244762369 2367 242124311158557560039787069 2368 337381565256661705759014114 2369 466717424096973774588557589 2370 641115331396383918226511709 2371 874706226741855903808968459 2372 1185554811922457640792148590 2373 1596611468820574402385627850 2374 2136857391503963215675751265 2375 2842673506901449337697378171 2376 3759466782299073077787566022 2377 4943590479103494693173020776 2378 6464597721358305361689243930 2379 8407870300433146310542207950 2380 10877666815142927058572342085 2381 14000635916595297248462438010 2382 17929841443112025098241606732 2383 22849346435539308100413392871 2384 28979402250463778478415753617 2385 36582287066059464306873702516 2386 45968834827216074122157797487 2387 57505690930496869720335790146 2388 71623324538778363193190839977 2389 88824819186813792416677959951 2390 109695453156937370848666451400 2391 134913068859246054159375914724 2392 165259216064563487284624709709 2393 201631037273055589025234712678 2394 245053844763265455610278273003 2395 296694318016131736202904186906 2396 357874227364596287890180601397 2397 430084565065709283480415495362 2398 514999938780369923753249408097 2399 614493055001261413270361623827 2400 730649091689996215878195677283 2401 865779730743439720269780132114 2402 1022436592450744749416696913318 2403 1203423786440864783451408158730 2404 1411809267429605281858736591829 2405 1650934660085324775204469074780 2406 1924423196313593851445792608680 2407 2236185391015109697151506263607 2408 2590422069711319843900217054712 2409 2991624354170222027379582258624 2410 3444570211086946125421970277018 2411 3954317174724441270329516663460 2412 4526190867874892769236197824324 2413 5165768967152156819897749818561 2414 5878860288945431990356001208855 2415 6671478711699557143223752938255 2416 7549811698725445681794801532044 2417 8520183243501805828706328459015 2418 9589011126229453258370252846082 2419 10762758445863515416836074786757 2420 12047879475380335399773803615919 2421 13450759978821040847407468829628 2422 14977652225653912575644761458042 2423 16634605039959708761492894092626 2424 18427389327403450610139385034484 2425 20361419630258550064859141881581 2426 22441672368064760679231107033109 2427 24672601526858030711194965309162 2428 27058052661218313882966367190478 2429 29601176168477238723019546873443 2430 32304340881108035869716535296942 2431 35169049099393994784400833780423 2432 38195854249800131354242933022115 2433 41384282403025644363792058702275 2434 44732758917613815287421412347753 2435 48238541488571374440288100150353 2436 51897660874280349882114979026126 2437 55704870547952683893801062972847 2438 59653606471197126449731184995980 2439 63735958116532346889255606802800 2440 67942651772882551718722430637513 2441 72263047053652782147792654238113 2442 76685147391755083286045678634060 2443 81195625151243301694271485203330 2444 85779861812745063363796518066822 2445 90422003501809637381143625146404 2446 95105031928166199701887715554695 2447 99810850592617177843947313809357 2448 104520385900095784904432636243742 2449 109213702595779653054921970838853 2450 113870132719754622533940281686590 2451 118468417058380496265328223472045 2452 122986857861096601503262208751999 2453 127403481393777596062417315294461 2454 131696208717668691069978341559735 2455 135843032919981765118350391073442 2456 139822200881752256087812706570730 2457 143612397553550013333665368300449 2458 147192930622716615154230406434603 2459 150543913399123290989680486165593 2460 153646443721650778481962975274268 2461 156482776695776087776576864868418 2462 159036489114312888381390129898689 2463 161292633488387823486817899361437 2464 163237879723422510120756250758432 2465 164860642613899251620166932238165 2466 166151193499092211347475564906872 2467 167101754617259548565700371279820 2468 167706574915010662210786987092471 2469 167961986308218977490674428792941 2470 167866439647077798342333763216767 2471 167420519906504593369144457221350 2472 166626940399653538175970837777240 2473 165490516092207701001522990176007 2474 164018116373734547983881296642616 2475 162218597915071568286002690837406 2476 160102718502949134732093272271141 2477 157683032990547608360216455044957 2478 154973772731406422653001373270240 2479 151990710070402869532128636609315 2480 148751009646181607443134457602597 2481 145273068411722238650814415296606 2482 141576346401505115662600873805346 2483 137681190363378816412290854760690 2484 133608652429754712642348392205822 2485 129380306025778035932629941676365 2486 125018061201886994990501307960402 2487 120543981535505431417184271621867 2488 115980104672924146738589318704899 2489 111348268479646153411507101573048 2490 106669944638018481043200178094058 2491 101966081377687465002353725427853 2492 97256956850492905340599383187938 2493 92562044470341151836585880767189 2494 87899891334059679401027983630440 2495 83288010625057875033390092044227 2496 78742788681674616900943427611275 2497 74279407190230336273824620379201 2498 69911780742767092493474422278774 2499 65652509784830904952265825088900 2500 61512848772768075277820303233110 2501 57502689165921092177411804598258 2502 53630556699529885707598861695267 2503 49903622221400230066836127964052 2504 46327725231413486924573999566275 2505 42907409139210860111017276343919 2506 39645967152942080845541024561847 2507 36545497631433600325526735621385 2508 33606967673685364718050560248055 2509 30830283683014901668281548003178 2510 28214367627812898638804269177563 2511 25757237725780667848362603737880 2512 23456092302396382111661512267125 2513 21307395615639902450350592953482 2514 19306964495906063569465644821421 2515 17450054720586447300020880738768 2516 15731446124906278109732464159518 2517 14145525542094438917223403175655 2518 12686366764640382913606281405960 2519 11347806822067941743517731829933 2520 10123517977208723159069780023287 2521 9007074950360739788850435309708 2522 7992016987077445424289760899738 2523 7071904488915342382181441617362 2524 6240370025726199874965955290969 2525 5491163641665615558605766091506 2526 4818192453870201923965718237679 2527 4215554621818012648874297432571 2528 3677567836039456143793881161307 2529 3198792536614592276477874617658 2530 2774050124512524008624308530954 2531 2398436472231444641342664001197 2532 2067331074497258811965738734452 2533 1776402205250956157267229468075 2534 1521608464219470489945640887504 2535 1299197105561909020388253852900 2536 1105699543051854316087435342575 2537 937924421711801349925383651681 2538 792948635526391633420842884424 2539 668106655627833241776816663675 2540 560978513982995489341204159878 2541 469376764924147116530640572619 2542 391332721638698872281773907912 2543 325082237715242830716429342747 2544 269051275732571998013312159460 2545 221841476315698783753516287915 2546 182215912643103749761675957074 2547 149085187576871202453186423750 2548 121494003833064843862302729453 2549 98608312270607363876941768209 2550 79703119737000479698985489658 2551 64151016181985565569803295262 2552 51411461082840401072050231872 2553 41020851703211637994984892847 2554 32583380361549855841062036552 2555 25762674696740172996713789001 2556 20274203826715480809171302103 2557 15878424204889486575324427068 2558 12374631765161175328919093439 2559 9595481463535495005511335564 2560 7402131412430414315714143830 2561 5679966292521213804090807426 2562 4334853442465010633068337727 2563 3289884795562936336111059381 2564 2482558485369835671319014927 2565 1862355318240707568917218026 2566 1388667258959529840727937427 2567 1029037457386824071464189161 2568 757674034582330640397184317 2569 554202735626088167723380950 2570 402626547597784267004950335 2571 290463393673872082839885765 2572 208035980927682381343703850 2573 147890746323085025787922836 2574 104325571012731188795248572 2575 73008486949149591009239616 2576 50671961416536334716995805 2577 34869502382300345151677250 2578 23783275795743345573908400 2579 16073166364342773520728849 2580 10759251944138967781637739 2581 7131008202927544924274484 2582 4677727049208901635577839 2583 3035633664147609670879419 2584 1948038066776048155206954 2585 1235573627580637409686458 2586 774172350219669642472140 2587 478920071197226074473720 2588 292338160198448942859450 2589 175964974394036815657281 2590 104372184681988540659435 2591 60958859875913765857536 2592 35029314155732735930991 2593 19787409500852250789741 2594 10977303724514787114615 2595 5974506146143345238220 2596 3186521226516658460964 2597 1663422019233642550059 2598 848728180603321742784 2599 422634816533124319281 2600 205056762837867623706 2601 96760610602427954325 2602 44315145879228892200 2603 19653680149537412421 2604 8419012307862467220 2605 3473352310789549320 2606 1375572627971242170 2607 521004635057521695 2608 187914094134507795 2609 64221837338845095 2610 20677723229864724 2611 6229769247478500 2612 1742187631698150 2613 447900382944249 2614 104627850434250 2615 21889617744930 2616 4028438700975 2617 637373261850 2618 84157862751 2619 8915499450 2620 719017326 2621 41186925 2622 1529775 2623 32499 2624 324 2625 1 2626 18367353072152 2627 229591913401900 2628 1683313887436048 2629 9227974269955896 2630 41706470795426892 2631 163485687417033842 2632 573387176112008076 2633 1837004103394823132 2634 5456033319294174162 2635 15188495701735453188 2636 39966533037831125466 2637 100075821510043484742 2638 239754153577369238038 2639 552010279584425009250 2640 1226016190120635439260 2641 2635060759891466909422 2642 5495560957827062005752 2643 11147666469353089274766 2644 22039454490087354595290 2645 42545156578247117751006 2646 80321141462481488294286 2647 148512361458123076301574 2648 269281506410234606914718 2649 479363139855679717688724 2650 838672092122364009609006 2651 1443453943418064375090378 2652 2446100252194386760196260 2653 4084619205754478904595908 2654 6725925359415191000544382 2655 10928679310381016333295208 2656 17533479344587696790678596 2657 27790915697502446529327930 2658 43541504534654324857455474 2659 67466013586776079947515192 2660 103430398518521338665085718 2661 156956748420242537258503632 2662 235860588709194008641027748 2663 351105948281736032180707676 2664 517943143730716390513927182 2665 757410684917923369147694670 2666 1098302518860316897576432558 2667 1579725490969572145343883214 2668 2254399929184625910749079502 2669 3192889179112591378605874354 2670 4488982274247195899929835806 2671 6266498241169572445675623538 2672 8687831313787214884923314284 2673 11964614009863197489213061402 2674 16370939978323562069310506616 2675 22259661021319871824062906888 2676 30082352857743727747107978444 2677 40413631976877046536833073950 2678 53980601073807192825979561936 2679 71698302551137347567476093786 2680 94712167613197143968438789438 2681 124448561434536517454772490527 2682 162674641250234817436690337430 2683 211568862079225094716560915788 2684 273803581805665933590182917104 2685 352641330694705331044156124531 2686 452046416818459590819561265148 2687 576813634537880046395287023215 2688 732715923871467317096573654711 2689 926672889563795640177742982935 2690 1166942124805003676985009884378 2691 1463335290329992153078871091745 2692 1827460869228973853230221040719 2693 2272995445200770409172175781612 2694 2815985231053936994007964226503 2695 3475179398913364982501542932106 2696 4272396527915461557539061104637 2697 5232925183615891891510796817212 2698 6385959270879162198319601869710 2699 7765068354393670521278384000679 2700 9408702614843875876980137977038 2701 11360731502023248264396664917540 2702 13671014458038246074914595665599 2703 16396001315088623818705026069888 2704 19599359125793279229439860543771 2705 23352621264346642149363834307240 2706 27735853650809643213613503031629 2707 32838331907742934553658899255736 2708 38759222169789318972690253073907 2709 45608257146786530582246734382453 2710 53506397906113721808143686351186 2711 62586470709240948641141731406227 2712 72993767132186229114848591996082 2713 84886594643242809177322639519653 2714 98436763829273464802374773301718 2715 113829997580987591536021205156579 2716 131266246796015244192077228270647 2717 150959896565064643681138774004215 2718 173139846399987819069674815442889 2719 198049447871759887322763645728807 2720 225946283078751202177118638424717 2721 257101767687055741547364925631994 2722 291800562898437493038902696448719 2723 330339781627907941069388734592412 2724 373027975428430563212284636661248 2725 420183890296545810325505445575175 2726 472134981436368329557392224943710 2727 529215679351088669100269785513385 2728 591765402265075816632777151055541 2729 660126312843301777245360103025152 2730 734640820448272439779900526053059 2731 815648833730677729970544263143562 2732 903484772153796862533424417086520 2733 998474349061083693366058829506888 2734 1100931143061895858736944548514090 2735 1211152978775789606564207707296270 2736 1329418142278746418473800671771895 2737 1455981460867212543376673103572611 2738 1591070280925470836342590854223910 2739 1734880381672694902531064098208119 2740 1887571866299896821813732472572489 2741 2049265075404802616205012674247324 2742 2220036570615983518295452459331513 2743 2399915238789935644199604808597210 2744 2588878569093543550303380941643847 2745 2786849156582086090007417024418617 2746 2993691486489165468432767510101937 2747 3209209053307625405128628970274362 2748 3433141867817566871367829546972883 2749 3665164403478118830579376017160369 2750 3904884031025289000018571465207905 2751 4151839986704059664363681137600530 2752 4405502915318199079517768295958422 2753 4665275024230075342201948697530652 2754 4930490878624162474798631291883906 2755 5200418861815981672698561422772661 2756 5474263317211664489115103840286400 2757 5751167380784931446479376169441996 2758 6030216504733929710444732032921659 2759 6310442664417813166915070723952058 2760 6590829231870284608619468496179914 2761 6870316490271238817039710501309573 2762 7147807754861412340937399443792126 2763 7422176057046195620885449589736274 2764 7692271339993141405152121896073624 2765 7956928106022387358006141319665852 2766 8214973448656367655352236066359650 2767 8465235395465418579031118219357372 2768 8706551481941699042764270696958593 2769 8937777471667247839646967520286211 2770 9157796134112182392202849538992599 2771 9365525988590319575401789359342737 2772 9559929921279436546332626274366318 2773 9740023581831260026481003434442397 2774 9904883466981800317585163263331431 2775 10053654600735132058589519146177885 2776 10185557724121524187062774793625350 2777 10299895912191248778334521336117484 2778 10396060541744994664521496675267262 2779 10473536540247055070498248729729162 2780 10531906854325830643552885506126975 2781 10570856085127650174541893628299609 2782 10590173247428688376361007138918905 2783 10589753619686486991210763336407873 2784 10569599662976677469600850046780389 2785 10529820997852796792219895959661234 2786 10470633439422613700683779225972863 2787 10392357102185298075353996235936203 2788 10295413597252303779440362176045015 2789 10180322355316291410867175301671263 2790 10047696118978036544563793333911444 2791 9898235657641050647290979950031347 2792 9732723766998926012449822889006442 2793 9552018623046284981919976480982394 2794 9357046567431572311433633815827135 2795 9148794406747314616260362233644448 2796 8928301312948465136084703786314046 2797 8696650415449767324827672707999614 2798 8454960177547192724827642820075240 2799 8204375650625984185398059311627249 2800 7946059699169113813268247004864787 2801 7681184287895887991408267053633091 2802 7410921919491304847263670865323723 2803 7136437307401122573436553205872834 2804 6858879363150583074509362497242304 2805 6579373571696287960208201167180134 2806 6299014821553435069517730079005793 2807 6018860748977470317585792777290163 2808 5739925647451100740736988608783187 2809 5463174985270887784093163600172536 2810 5189520565281487233637678909051579 2811 4919816351909548653636755954527415 2812 4654854981740704167027216261848255 2813 4395364965094844321250993183467753 2814 4142008577513179416444109652782298 2815 3895380431892923301409441668438605 2816 3656006714298869611803050328851615 2817 3424345059340781324339464105110440 2818 3200785034513347222250624421739637 2819 2985649197119372002105521303523929 2820 2779194682390069130549589561639048 2821 2581615277217038477008432448468730 2822 2393043930541948368216803566392446 2823 2213555648920597325884324001857959 2824 2043170724082213487854253365285810 2825 1881858238423483728238326328908315 2826 1729539794278430659816003408499751 2827 1586093413447235356431253543269135 2828 1451357554796962771356551482703018 2829 1325135199704051457838319390045998 2830 1207197957624731926512636479669499 2831 1097290147082381468680676897439868 2832 995132810773745511562514304069646 2833 900427627240481094118586260550306 2834 812860685549647686864777824341241 2835 732106093598595531547381019993515 2836 657829394930504063272133236856517 2837 589690773244452754584376855625604 2838 527348028040807905548196516800180 2839 470459308996830568490708775332314 2840 418685600662946887641554701205402 2841 371692952858081690411172891404194 2842 329154455681058591826775462777805 2843 290751961309972666232265365775914 2844 256177557705804650904152816813366 2845 225134801950943521885914216504806 2846 197339723225480014621218895961758 2847 172521607348726922470410139837875 2848 150423576391390418646498913794437 2849 130802978101966784371436697642762 2850 113431600801286713416742105597534 2851 98095729998227220759022692853948 2852 84596063287842231885457301763834 2853 72747500134017943132752536222762 2854 62378822938115324435331874149963 2855 53332285380477066712291218356533 2856 45463123421712122279871914410671 2857 38639003594259913148036774650495 2858 32739422330598595642191816149251 2859 27655069090582165303756325897343 2860 23287164993561999850875587123087 2861 19546787556380548131733393603883 2862 16354191009331267565336285410174 2863 13638130529927856980836768205506 2864 11335197617665087400003774244486 2865 9389172748299569194116127569519 2866 7750400407469563052626158374540 2867 6375190622176070706298704769004 2868 5225250193820366869648331282836 2869 4267145994885902641850113867611 2870 3471801927548615904261044960649 2871 2814030459085431848162991265449 2872 2272099046708186238078544110344 2873 1827331242564729189242465164515 2874 1463741825926837335998909908236 2875 1167704940672740521278087783945 2876 927653917776484090753803867162 2877 733811229612371300554784886804 2878 577946849915269324040123952432 2879 453163174306206682048091446155 2880 353704585320580065744472635472 2881 274789716759831441837337336929 2882 212464478926751757269539636262 2883 163473943113186089458489970273 2884 125151245103902966871378848874 2885 95321748332380660118108389344 2886 72220802989317943566303642668 2887 54423543618650437038612706903 2888 40785280793358780008815970777 2889 30391159082690101692640197325 2890 22513870918713839033276183905 2891 16578331818356313733494263368 2892 12132334827013647981008203753 2893 8822309534866559252713490697 2894 6373412458261029419091482032 2895 4573270186259053271440059630 2896 3258783966068015547503408475 2897 2305484088683668973452271599 2898 1618994495319621908515482643 2899 1128232585431937303165735577 2900 780026534399995597550572942 2901 534882893615679006011716821 2902 363681293762873431853542350 2903 245111199369477358645259640 2904 163698393348641539092952796 2905 108296738003209388758664351 2906 70944292303287548376717602 2907 46002575363839744797434498 2908 29514137841630191446793234 2909 18727088538278322690779390 2910 11746237896436670993244281 2911 7279438994796002735476901 2912 4454865655270039579159368 2913 2690662368894532863067623 2914 1602889881315593138853547 2915 941195638761254983965652 2916 544349066890751632919751 2917 309857106418154181645136 2918 173448133416425145721435 2919 95391455324050791714315 2920 51493767989913051149949 2921 27254679234904988581610 2922 14127394300744499313200 2923 7162475893477848010331 2924 3546792574456924593771 2925 1712812542404358998726 2926 805276621883079251421 2927 367892535001835467650 2928 162976254557388652575 2929 69844918346026567225 2930 28880666930750903034 2931 11488147700887175244 2932 4381259475554722839 2933 1595822553816829524 2934 552702366405905664 2935 181094834680226649 2936 55802341301588084 2937 16058520762597465 2938 4280360173543380 2939 1046362971596435 2940 231795822492741 2941 45851367894111 2942 7951273045131 2943 1180910053011 2944 145738597096 2945 14363867115 2946 1072951075 2947 56732949 2948 1941849 2949 38024 2950 350 2951 1 2952 69533550916004 2953 903936161908052 2954 6854958557285300 2955 38764298658776796 2956 180363625654664844 2957 726778719797011336 2958 2617155484765847460 2959 8600530649601078568 2960 26179712661713817888 2961 74638747126529942052 2962 201017995870959034698 2963 514889752037696101452 2964 1261189103968454962466 2965 2967514898372777934642 2966 6732761465591259684276 2967 14776543629635530143134 2968 31457601586510483186920 2969 65115684273926058472848 2970 131327740096473014814180 2971 258543592456661642331846 2972 497648595205128623667300 2973 937891185750965384284488 2974 1732953119767993977000712 2975 3142925847977335320469422 2976 5600857301840001125995716 2977 9816713454203215200815238 2978 16937544987566987089862044 2979 28791003000908608148768590 2980 48250946026110043103524368 2981 79779802628049594599754794 2982 130223975670798891267832202 2983 209967631615087626313159946 2984 334588878461154789601549362 2985 527213277236393528484041748 2986 821826131650785736001454304 2987 1267891028561943974152817100 2988 1936732421997380864983970218 2989 2930280324800298316431528082 2990 4392952054791730168399583068 2991 6527667236393367244002174846 2992 9617266839014482157171038316 2993 14052945167886035441400667020 2994 20371716976844490057358837586 2995 29305443180419150555295790700 2996 41844542314589569062434091812 2997 59320236571658321399901465866 2998 83510037798384038750317888364 2999 116772188265595097179006498622 3000 162215952127921002698315157554 3001 223916025686714312658056021430 3002 307180917414223171010639359068 3003 418886961434007656622607838014 3004 567891689117026491520149306036 3005 765542609361888947928346646566 3006 1026300053283842278950662329352 3007 1368495634392576641922638737912 3008 1815251067487907313140748699394 3009 2395585579539098304215969028604 3010 3145743928145099948988659096238 3011 4110781104221428866017281242060 3012 5346444112465761619281761176584 3013 6921395762413662674621214746254 3014 8919830119064382881231733865026 3015 11444534096452472144054794741024 3016 14620454557109052690377347355368 3017 18598835116609206255765232401800 3018 23561991540635006802536936218456 3019 29728799040664673774685602734726 3020 37360968784955684959636946490780 3021 46770194388376016736364901763018 3022 58326251855924166212878512977554 3023 72466138243119543656167485420710 3024 89704334960694541992524306801140 3025 110644280978296041130311784163530 3026 135991138950400849725206294707290 3027 166565933269934738740697475740718 3028 203321133022202504708892846308892 3029 247357744537782434762634787296056 3030 299943967510533052438346996259349 3031 362535455252513031856434544603144 3032 436797203418812511172889456718359 3033 524627072296810996640027407642134 3034 628180925395655491444313000271402 3035 749899341514154337861485586197124 3036 892535828679664934047652565843929 3037 1059186436364486492416273852607863 3038 1253320627291254786227067037205336 3039 1478813232096764976716430373396163 3040 1739977269372883333752137194885395 3041 2041597370463445687291520972346104 3042 2388963503272396716988666093439023 3043 2787904642723832959712558719520817 3044 3244821987991045785213458557490802 3045 3766721278849222388000967902267596 3046 4361243716260966837412567881082451 3047 5036694946411859682095256730060297 3048 5802071523785626379931001350274012 3049 6667084228480618547009423755100072 3050 7642177576850237569937286316908086 3051 8738544833768177778551795032765086 3052 9968137810467268225659515809213129 3053 11343670715076037293025783777622611 3054 12878617314763441877060302892031447 3055 14587200669846810512696038008734306 3056 16484374712309313287831778140278434 3057 18585796964816260120374771980294723 3058 20907791732311694238164376818173658 3059 23467303147282843331214880028213714 3060 26281837512308022977399364550064627 3061 29369394459881020248270054747595367 3062 32748386539857117760123372570652720 3063 36437546949095622105258091173672888 3064 40455825235644579625155978606577240 3065 44822270940535089158617627732097750 3066 49555905283071363085802543671882319 3067 54675581149294420307903911103130404 3068 60199831806666873427203045837963533 3069 66146708939310720227951075390367255 3070 72533610775407992744689934552148071 3071 79377101259479959958170606625034702 3072 86692721404805139789497887487176155 3073 94494794142632304786102889067640726 3074 102796224162338187718311656574691440 3075 111608294407386598842162176241187640 3076 120940461052893477641920808603528653 3077 130800148938774965278193906559397473 3078 141192549564843188251071575551226153 3079 152120423867865458731219086015753486 3080 163583912092678133185681842112947588 3081 175580353137275148511150404807970428 3082 188104115792925427180186273486823274 3083 201146444312642424815881897507564979 3084 214695320722892654571316421652717514 3085 228735346242826245831034782296071776 3086 243247644091503357131417281651661289 3087 258209785845999893771361669800414966 3088 273595743361824435986568353114200057 3089 289375868082206060972672460014471202 3090 305516899345498444336819106997210430 3091 321982003051713764639400459724356876 3092 338730841772120137670727188739899531 3093 355719677082511879637948627438129140 3094 372901504574309213019966797198359831 3095 390226221651661112371578690632349064 3096 407640827861251142075167579351719145 3097 425089657128971411121017920130009166 3098 442514640898796466986110465832447234 3099 459855600789084461701156200658283094 3100 477050569005376379390400562562183851 3101 494036134381886561345834973289433052 3102 510747811571638623104967038073289631 3103 527120430572900706507943094552176985 3104 543088543472366611725315103211310625 3105 558586845008333207619225836352642451 3106 573550603314536882276228062100888406 3107 587916097001525589446843348810018002 3108 601621054571169473360328315884268241 3109 614605092044310323728291125167675007 3110 626810144614160866315501720507960173 3111 638180888120762570388933388324266754 3112 648665146175757003505612406646387251 3113 658214278852339497700366573781608679 3114 666783548992202177888268595360996489 3115 674332462368425843764253915328472021 3116 680825078178776421807724340490656643 3117 686230286625091818749224910820319017 3118 690522050658093416086410662310936475 3119 693679609329047856889469273820581075 3120 695687640585662332629118125227484784 3121 696536381774310500346751747214088344 3122 696221706558592312611041026319246235 3123 694745157429397487443073606615161373 3124 692113933457862835077868531972589506 3125 688340833423505922087483750331992539 3126 683444154928924991584245703306921775 3127 677447550583349628983877084786040328 3128 670379842793711389526989426504042790 3129 662274799137712554732005209736577419 3130 653170870702865334529028987628418193 3131 643110896153330867814291236097933457 3132 632141774627783993422313811518252828 3133 620314110872214871567485949082694240 3134 607681836267936159059236431795331478 3135 594301809624165230199808726679112472 3136 580233401764191436697212857331584467 3137 565538068042867519289311353057589924 3138 550278912990296548872135407006118018 3139 534520251282201393798653222007026151 3140 518327169192395499934910835666885406 3141 501765090588581506693694316602318770 3142 484899351391636927725866001217739720 3143 467794786233493350350957672083900085 3144 450515330823148606994038299593861605 3145 433123643268255636939764260981518447 3146 415680747305532094246682101744724262 3147 398245700071714670824774766429559559 3148 380875286702998821757880680429933762 3149 363623743690101656227465812505603956 3150 346542512543604609015962063494707655 3151 329680024945424829929702867915673235 3152 313081520182406559198047345380415636 3153 296788895282235997257742466108384669 3154 280840587905052129673834850892109608 3155 265271491690835454480616064536405360 3156 250112903427124868992651253626135110 3157 235392501087638870078714047251055028 3158 221134351503294884714443583571262749 3159 207358946165764285506651153716023513 3160 194083263432379355140648548006937225 3161 181320855201690261125385834243730273 3162 169081955962476700794278740448784553 3163 157373611986229747188181340967832274 3164 146199828334184951967258366733767402 3165 135561731284551082044712061397100264 3166 125457743752805331239744188606953204 3167 115883771276539500813842486921463358 3168 106833396164667452680685941824634847 3169 98298077466815224291488218688579000 3170 90267354500083641433708362725510220 3171 82729051774523711619396877675705204 3172 75669483282829657235629787755975835 3173 69073654261028259020994500785927503 3174 62925458682339012014732730722694834 3175 57207870912881117717674857369777954 3176 51903130132515660327737110201840212 3177 46992916303908343916408074133988620 3178 42458516655065811678721323940173666 3179 38280981822473479677540519008328196 3180 34441270981065979742776050140219783 3181 30920385461326359122367042999439875 3182 27699490520806092856867876208215947 3183 24760025095506138672463977447871812 3184 22083799504345000527746957022714564 3185 19653081216118326958272645312277676 3186 17450668911951987790058625880405773 3187 15459955186559677294199492106403538 3188 13664978328188022897690249066963893 3189 12050463699763993017880568749666022 3190 10601855312478171412182123733877708 3191 9305338238081557151760536443989616 3192 8147852547971492604401852179564410 3193 7117099496290024472091708220889909 3194 6201540681494731691438819879001620 3195 5390390927045842200879477828800516 3196 4673605617936382358179233653288495 3197 4041863216795970506438413218081560 3198 3486543662291721463164305287063739 3199 2999703324623574496919496518218242 3200 2574047159161403723328141374055968 3201 2202898660777015352118280259815659 3202 1880168179232447974949128280495011 3203 1600320111096377540342506859998369 3204 1358339437012552576939001979573219 3205 1149698025607703698598364507668225 3206 970321077693037336531788704294705 3207 816554037391430603360267047721662 3208 685130251032882150904766971545934 3209 573139610636081396769111980108915 3210 477998376978186241275295037785849 3211 397420338005613487192167874334880 3212 329389421930251718139177782061912 3213 272133850983789400804074234444697 3214 224101891590508522677048897840176 3215 183939229721844128967260934643848 3216 150467976410261080967185000382150 3217 122667287768883948975113111681726 3218 99655566284895818578006355019910 3219 80674195489195463871498729188489 3220 65072748181760296254561404082663 3221 52295599017559259547050520463920 3222 41869865220589880496523904120265 3223 33394594271602352685012722103884 3224 26531114380813519642216393949158 3225 20994462182398771193989302277984 3226 16545802148577243841631765973920 3227 12985753500934009335382099563831 3228 10148542688992187183724677775690 3229 7896902617577996108566619441817 3230 6117643556520656178306267092872 3231 4717824895949556974893607677927 3232 3621461471844285720067499545025 3233 2766702950509944767090129590036 3234 2103429615148729223905702774866 3235 1591212747013202052202739576802 3236 1197592557857543415390964219735 3237 896631244483040322626972895619 3238 667703148765373900366814401115 3239 494488178822345130372483091828 3240 364138551310091691121408361098 3241 266592533482459052751084161352 3242 194012187424612025664759919990 3243 140325145850420723152480660995 3244 100853183129336924187946830330 3245 72012795742373520036375065781 3246 51075185915557399993677059041 3247 35974966331568855153081788449 3248 25158590138795723465745244264 3249 17464977750017029291361331761 3250 12032079525231927515526276394 3251 8224200791993912712025449759 3252 5575841817060748076817203680 3253 3748588625595433877237589999 3254 2498248305496749801006846231 3255 1649970803933342051575171748 3256 1079553103152387034328565449 3257 699494584891164135350491328 3258 448676521034761118807936108 3259 284784778476687556163775860 3260 178792516066619623086115712 3261 110977171893403045596572516 3262 68070541034929867776710820 3263 41238335531772643174712873 3264 24661467012371980234681512 3265 14549727544485772056771511 3266 8463158484077008181012770 3267 4850142624599705873457412 3268 2736534190595100301813437 3269 1518889636509244842186721 3270 828623317701683117597607 3271 443904081954815800717056 3272 233282899838746067270372 3273 120132440313098311996721 3274 60547962431853036700280 3275 29828379244222925072388 3276 14342475681162988503652 3277 6720371054902110145312 3278 3063200134692998234025 3279 1355583634747862045634 3280 581175020752632166059 3281 240806462810992137739 3282 96168487888603866024 3283 36904027555456884891 3284 13560853399465410297 3285 4752895338207618354 3286 1581689731873820265 3287 497170803029046102 3288 146713220647163828 3289 40356370784803905 3290 10260352444109499 3291 2386847479399370 3292 501852162385809 3293 93946519600038 3294 15367200181776 3295 2144862753255 3296 247744604368 3297 22755185037 3298 1577754802 3299 77210847 3300 2442699 3301 44225 3302 377 3303 1 3304 263747951750360 3305 3560597348629860 3306 27897340169231260 3307 162569442041617352 3308 777995157753678340 3309 3219818030048685380 3310 11894881523056356720 3311 40063171466678351488 3312 124889109724668778704 3313 364385871477808382228 3314 1003700906983836307408 3315 2627967477770479620868 3316 6576734463132953653664 3317 15803564081771274823036 3318 36602562709431406390416 3319 81975721986422458183096 3320 178025409446087258076408 3321 375790784470070428559372 3322 772663155517991549512910 3323 1550306915392968861925188 3324 3040470539940024002216578 3325 5837068150989500940571972 3326 10983713962050085081869576 3327 20282314686123018079436854 3328 36792932853203342397023714 3329 65631500190802433683929614 3330 115225003047721059826926778 3331 199260167643808108769292084 3332 339670429103666161669344800 3333 571159018642095433341614790 3334 947969054536605559226067218 3335 1553905013130379092972606900 3336 2517010221316762482862566628 3337 4030845652392556540158723910 3338 6385038796598458945341026366 3339 10008730908364478671410186712 3340 15531812532461546329768688406 3341 23870482116136588830297141086 3342 36345789819263304287391966982 3343 54846558185609778263392744762 3344 82051546876494286803967022076 3345 121730121144970343419764020384 3346 179146194791576624865801390652 3347 261597083856939981732242277470 3348 379127400888804691636114308384 3349 545468555989754039025373960652 3350 779267168940652484625029052090 3351 1105681142263716197171806149610 3352 1558440752752497227032423618052 3353 2182494393324107269494523898276 3354 3037385092642499102189819228196 3355 4201535260079464503957384970736 3356 5777653897216094959419858447068 3357 7899523474007341949743215186950 3358 10740473511390477172278487374882 3359 14523905389915708394390579924526 3360 19536298774843789007369517979562 3361 26143205066894669817752123035398 3362 34808818186326919634163635377666 3363 46119808462767024531423819491348 3364 60814212049397318271655979075068 3365 79816286621902673960313392868846 3366 104278374539924100920951204460306 3367 135630957350549202801326764045128 3368 175642240497604884391461162561328 3369 226488774111473794372086434538688 3370 290838794237560581137223900318380 3371 371950157917868566293629349814774 3372 473784943877678357536146633382678 3373 601142996457037698722804213414340 3374 759816901649357527942474604685628 3375 956771097924576223358230173779436 3376 1200348037615137944284549569719110 3377 1500504523125493432964916984664044 3378 1869081541565153394331598602401022 3379 2320111106440765904388863106248026 3380 2870163779974697576944877394815770 3381 3538740688017396445147160269582358 3382 4348713944355909955955811574575992 3383 5326819464896531262150962596328024 3384 6504206166619290164376272234523400 3385 7917045502847410109004974730732760 3386 9607205176406640414532231396483528 3387 11622990686629212325291669431222576 3388 14019958095792521148372284430938602 3389 16861801036492138020731319141172828 3390 20221314514950088660506096496555544 3391 24181437488175702198319536101364050 3392 28836375497782575341600689600112106 3393 34292803823648149925367989802292106 3394 40671150671235536526126040858099716 3395 48106958823522516382864960749280406 3396 56752322970098799992074097751955622 3397 66777398572120825625811246424830662 3398 78371976634759064370316502750263936 3399 91747117143373023905549355832725232 3400 107136832183503395219634159328675140 3401 124799807918443906929896509285340480 3402 145021152655350116139440577496424720 3403 168114156208529301251425090898224110 3404 194422043687059303428476775330259584 3405 224319704716912173552421116357567920 3406 258215376982373302610992029437047966 3407 296552260868068844169795162894826390 3408 339810039934757135835518920031451422 3409 388506280005467051838525352570305670 3410 443197677812373752046205175271348316 3411 504481128499918605553439469283416832 3412 572994579838690073901927884015978882 3413 649417639821170632106376124796483492 3414 734471903428777985646823329052433084 3415 828920963823615626987346074648585246 3416 933570073070940680229703859873997592 3417 1049265417780697730333223495554293640 3418 1176892975807043774893197334870740502 3419 1317376921398549514597124355963662534 3420 1471677547979216367277811517039500188 3421 1640788680086769137670531830104451671 3422 1825734548918825888674693750545835079 3423 2027566109451398670813595779991027597 3424 2247356781201775869556972828272689645 3425 2486197599404638340288381776913206104 3426 2745191768642527226405097573576718865 3427 3025448616796055037556402510302794777 3428 3328076953521976022653920713330372996 3429 3654177844284506101650954645262009804 3430 4004836818202782906354723531341529539 3431 4381115535570426709613335982586919441 3432 4784042948777092277702413121386780890 3433 5214605998432388903524062291226197484 3434 5673739894666363565088764339656250980 3435 6162318041756592293452611750837866256 3436 6681141672301491756066746130368380223 3437 7230929265008648956914207366051229090 3438 7812305827677306742472708362146519683 3439 8425792134004376349074798542787378904 3440 9071794009311138486179007938119419244 3441 9750591766051562117169533676944204016 3442 10462329894904025808597647399986475731 3443 11207007121251964783053630069651249259 3444 11984466939818096453188481671936506262 3445 12794388742032647791219661433067480671 3446 13636279651300402475751013661907715948 3447 14509467180609037182627717735964433333 3448 15413092824831215334498379749694678121 3449 16346106696570459021047060428231377523 3450 17307263309458722765949216073338743038 3451 18295118606423489874239654741107484990 3452 19308028322615600772941839569838068762 3453 20344147763457981561943909636037863643 3454 21401433067693055521154108255445541404 3455 22477644013447084623856620735274374898 3456 23570348412288070181626078433999705435 3457 24676928122145500611996934835031763962 3458 25794586694919888611516783779764303140 3459 26920358658790488429915230792195489086 3460 28051120418800089567718037587705292388 3461 29183602742440135639329102057466247683 3462 30314404779873696521045774906155985013 3463 31440009551323892111907841562031494460 3464 32556800817234132336942366785968738079 3465 33661081230291008050115403624868368640 3466 34749091652508860404203910940588219432 3467 35817031505522808098665707358471616530 3468 36861080008234728589553460508177435250 3469 37877418143206101207912953784106202964 3470 38862251181882592577072760473324375376 3471 39811831589042720972201903989492937292 3472 40722482118943945597343447211724754423 3473 41590618909630612409707992526713402330 3474 42412774377882902885814610745527371010 3475 43185619715412749751853121504072543851 3476 43905986787213244906643870316155964216 3477 44570889235475816146304108531325024298 3478 45177542597208701321033021112462944542 3479 45723383250595678023853442082029446040 3480 46206086014170614973596774751294940266 3481 46623580233966947304560666180538666058 3482 46974064206819023973781753277677294058 3483 47256017802804785140884440117268733434 3484 47468213166261497854473516768964272593 3485 47609723392690333571132484032130051687 3486 47679929097982918198287156347542135412 3487 47678522816527510191957263142077236315 3488 47605511185643611008375950378077118461 3489 47461214895200014511363360536967308165 3490 47246266402933572895012132702788798508 3491 46961605437641624539735117424823701418 3492 46608472333807521217128353826676568454 3493 46188399262077321410850422762171291778 3494 45703199440085402061879991790499861297 3495 45154954427187603766311562266649775255 3496 44545999624477295894640339727733031090 3497 43878908117824940721449695844816834676 3498 43156473016408517967437750232718083293 3499 42381688452126907638000900962639945954 3500 41557729416272739223248876593297226766 3501 40687930618774125168822072739940034420 3502 39775764562113350956143898901303779894 3503 38824819026641519078376680228099069016 3504 37838774166407543140899066239426065729 3505 36821379414813577926066026182237849903 3506 35776430397431857613631095205414092075 3507 34707746045233030236281220750020164363 3508 33619146095373196877083570979590487618 3509 32514429158680734881059626611442639302 3510 31397351523212194344435391908809755263 3511 30271606851867101026219626144310171479 3512 29140806919240071257317933345162808258 3513 28008463518835720779525401658856483197 3514 26877971656679601006600403071957336968 3515 25752594131437499031230275066212410235 3516 24635447584621825955826041172407639548 3517 23529490087535441065146071832892242076 3518 22437510314496891417879282782260000117 3519 21362118334819205702072794648393152734 3520 20305738039182400406004367102125147834 3521 19270601199643154244494574800664065168 3522 18258743146746695499153376896362745594 3523 17272000032214212987028204976737878467 3524 16312007631625884959372502866866405563 3525 15380201628538618206314654077195262394 3526 14477819309683094732396744774172428076 3527 13605902590370711744659484478126896039 3528 12765302280080567902337057054367429625 3529 11956683490441793143974279550518237465 3530 11180532081508260995204619827185924508 3531 10437162037351544606781734004507872759 3532 9726723658564570063647819157490861171 3533 9049212457244697508766249137165972158 3534 8404478639365329845286813639783677550 3535 7792237060087994793641210372194744709 3536 7212077539436196063402838014376672268 3537 6663475428759665327238098550254956424 3538 6145802322463825723805847726188186600 3539 5658336814456524716491690204547859381 3540 5200275204558028770554116378364011747 3541 4770742066611934751277287231727897419 3542 4368800597102495101472075159551091076 3543 3993462670605663933712691227131830864 3544 3643698536255902478410997475875923934 3545 3318446097480261266122379187440639622 3546 3016619725421746918681097669015224922 3547 2737118564637587943753871903884994410 3548 2478834297713908144260392886096776547 3549 2240658343293777266613720688868397689 3550 2021488469586869749213588306848150211 3551 1820234812641862826838449139588970047 3552 1635825295453145481492006383942576634 3553 1467210450287618191298403226541869359 3554 1313367652411979392516477165020303367 3555 1173304778642879164738279234193175893 3556 1046063308808708510844238194330863186 3557 930720892289299190687418326547878276 3558 826393405284310336301611953923761180 3559 732236527356980270571286276524802384 3560 647446868119440265984184517849621768 3561 571262676688151983651211387712217739 3562 502964167768641305021748482468441334 3563 441873498958244909680873578465480846 3564 387354434119138552370873998370332785 3565 338811727510045757353983604749624455 3566 295690262814911011217016847718054782 3567 257473980313399373177997718278060140 3568 223684624245240889657246838632738268 3569 193880340972252673912152647145315368 3570 167654156881922743146772948314916585 3571 144632363147180951534681291878432097 3572 124472832499190843791993936274216000 3573 106863291122300056211706663230619378 3574 91519566678771028049753603800852579 3575 78183831348805246786176500392503373 3576 66622856658804640732621313589082023 3577 56626294794656438600887394575546913 3578 48004999080605868199680535936324934 3579 40589394368140486780045214154508829 3580 34227906240052951987310126083197423 3581 28785456206020588630946138722993269 3582 24142028458060946827631898201249687 3583 20191312274561798337489807738773367 3584 16839422814964078534421220715091258 3585 14003701835802956245490386119129664 3586 11611598782623319901145577916622572 3587 9599631769211776947687929589268516 3588 7912427141816814468073825317445639 3589 6501835636276385178605628978505380 3590 5326122563739302769470184544185187 3591 4349228998494704769417643422950300 3592 3540100581133477152522631307578917 3593 2872080283181757591348962809711412 3594 2322361296503947468664536198255438 3595 1871496103101082398806949088698784 3596 1502957739420177068969749242535109 3597 1202749285134672238132007318732013 3598 959057671073054497191128892911820 3599 761948006503697822750672041733720 3600 603094764773464522254406345501533 3601 475546331352264038956181234999159 3602 373519603265535751920874892865801 3603 292221527939093151221511765196033 3604 227694677510642048038083022661572 3605 176684167187647918191278288881734 3606 136523439378532907445833612178439 3607 105036645813789082392901560449355 3608 80455564987646782432839444272195 3609 61349189795319789980890509182854 3610 46564308502827335157880000620671 3611 35175579889417978369346651657934 3612 26443769659646662528690346666040 3613 19780969488642146878444221845851 3614 14721762091719284524397948965588 3615 10899425501391552563420307956544 3616 8026387503181700320562699473514 3617 5878247307895422153876320176646 3618 4280776536537684419279162308393 3619 3099396078949269662172833493028 3620 2230700043047546622309865130835 3621 1595663567407606508417801501251 3622 1134228477385582609036370384301 3623 801010379355034047704019488508 3624 561913552491711599879180759474 3625 391476632434742695936509399133 3626 270803271981131015966719401905 3627 185958355963062276101743887889 3628 126732540321171143947468017463 3629 85696430387312671982387290617 3630 57481112057749738472591491940 3631 38234453723086664985791784644 3632 25213009841962865267210480527 3633 16477835680279495880578702478 3634 10669379856596894304790068785 3635 6842128972080613621909645041 3636 4344071311607096890846792936 3637 2729524940956425782163464615 3638 1696609575312985631718771825 3639 1042774405670067016456539673 3640 633444961885117187849169937 3641 380119763184040487423558555 3642 225212914969603768843323329 3643 131667791856512280427609757 3644 75912578539848050041235057 3645 43133135363611394648864875 3646 24135999243323424384599820 3647 13290671118896425361416124 3648 7196152535055704107526250 3649 3827730096123001089660263 3650 1998266648038275807367044 3651 1022786012559282743063553 3652 512676544890086099310847 3653 251358042202886371946392 3654 120377601353152381812922 3655 56228696034633250793861 3656 25575308461362046445737 3657 11307109084522900901448 3658 4849342400839994840832 3659 2013029215930301355078 3660 806818810186949362359 3661 311352455080520361944 3662 115323282203243234225 3663 40853298955686822746 3664 13785568236140196041 3665 4410563687464850657 3666 1330788081868798382 3667 376325236510997777 3668 99011187847587132 3669 24027892830883872 3670 5323106818888461 3671 1063154498899276 3672 188513949021895 3673 29114764187185 3674 3823209554554 3675 413863131979 3676 35483888034 3677 2288476044 3678 103910219 3679 3047030 3680 51155 3681 405 3682 1 3683 1002242216651368 3684 14031391033119152 3685 113464368843004872 3686 680733463467679160 3687 3347831875952844588 3688 14218999746616487620 3689 53847593928750044892 3690 185746640697996101668 3691 592557286647077027108 3692 1768088185749718709408 3693 4977660993709726659600 3694 13313431873551603647824 3695 34019103461115498337764 3696 83430082366287783154664 3697 197134521885260939387932 3698 450258569089824466135724 3699 996868355781901807166824 3700 2144591300861881190079652 3701 4492658791215322844278984 3702 9181753108972051764864368 3703 18337075761987807066648704 3704 35839184045339435622407572 3705 68641188806476884212567228 3706 128981796652456047544728996 3707 238044534723773404128167948 3708 431917426889139004090540856 3709 771161222484863938478392908 3710 1355963427406740834300134724 3711 2349830191086935189479423364 3712 4016171931975562904420157892 3713 6774138144508498467108839884 3714 11282875075108861204880317272 3715 18567312150118869310629017784 3716 30204016493070234926716208692 3717 48593092991679005695847781856 3718 77352198643139915389184186728 3719 121882312502522248859080873522 3720 190173005274268329267656970050 3721 293938902786860051537739177378 3722 450210476759129973001236308528 3723 683543253862445225973033325690 3724 1029062500001933450326902900336 3725 1536628442913235807046777754818 3726 2276493807172794141894719185808 3727 3346935248520790581817129484438 3728 4884478426481038666721367248016 3729 7077509139621889071120743807680 3730 10184277439078212059312205823974 3731 14556566411383681249507211560788 3732 20670622193861475875135240615686 3733 29167338029947888830492151928586 3734 40904165648644882977529794689568 3735 57021806522403419896104057454004 3736 79029429980698119345785594577440 3737 108912992969860988893152179260998 3738 149272217619537531132046076886128 3739 203492939813200318875657178713078 3740 275962898691468285708050887517346 3741 372340619305208693417109025785114 3742 499888876035276540991981923750558 3743 667886341939236926700961423505988 3744 888133459083701759877647340125318 3745 1175571338175610185410295225808282 3746 1549035643717484149785888174142440 3747 2032170974479867322507072340150048 3748 2654535238287850556950079026222942 3749 3452927973075102147790977575377104 3750 4472981508152656834318861196763806 3751 5771059312023912162926686095091092 3752 7416511852043930000802186746248890 3753 9494346806450098968950376891032718 3754 12108377522479991191269343731663234 3755 15384921197584838066837885322625878 3756 19477126355072485049807796544983840 3757 24570017758862385366815932413351862 3758 30886355917692849484400506473900796 3759 38693417703899262921208230322390834 3760 48310814274376470962113038571295788 3761 60119472330261913181421932382109528 3762 74571914664508982085075304904150102 3763 92203985777338417327897923435455558 3764 113648177919081221246810420945562226 3765 139648722053872242892810548300119366 3766 171078616706411158029869680042070632 3767 208958775212557246656257578712061132 3768 254479478272813238672291327566346876 3769 309024323611621398591734359506215480 3770 374196867658090624891099900839445832 3771 451850155148132510831289964495719172 3772 544119331049300729240086906596064864 3773 653457524859275565550068640144989616 3774 782675189748750944274126746409824242 3775 934983067826948238492895629143386802 3776 1114038937622192640158878752724316032 3777 1323998280318402188977608525468197766 3778 1569568977014271514468348895081961440 3779 1856070119942758349142023087913524610 3780 2189494985904459437507086019257429792 3781 2576578179872109451371661918049008890 3782 3024866910609310857995904572122592718 3783 3542796308071401670070724595734667646 3784 4139768634249141556826656730623955852 3785 4826236174988241263637626265654911024 3786 5613787530273758327561230147085735456 3787 6515236944714116676127090446868075514 3788 7544716238811881892559715474289672798 3789 8717768815503092313339250186450533726 3790 10051445125945067145255833413336038244 3791 11564398884326221004774737447384340868 3792 13276983224387115824040478365516952192 3793 15211345891342783518923299640521676218 3794 17391522463081347484851469235446878580 3795 19843526495115712844879983177687775478 3796 22595435386144436166139408877174668760 3797 25677470666716162897966966699374637930 3798 29122071323980421066246544955480682858 3799 32963958692533636035541851706546667808 3800 37240191366700480070638486271448697714 3801 41990208525055251508004749080707352658 3802 47255860005452579245494463000418487886 3803 53081421430181800564782603377033131852 3804 59513592657951723745653118757551011118 3805 66601477834075934580944934299339080936 3806 74396545324212548913775293533554054114 3807 82952565851958026189933490606691195716 3808 92325527218002360146464419234519893136 3809 102573524059746329828815389621187600998 3810 113756621216373070270510911648428402316 3811 125936689396223190067356275014063577566 3812 139177212001533717956981336462823243188 3813 153543062150445225095326025187985930314 3814 169100249147598820433329500608519111928 3815 185915633892211288541761286252001046244 3816 204056612975422072257119456944054696312 3817 223590771505735971157946215647492328534 3818 244585505010909958216111910228266499756 3819 267107611094597960885746313373532590320 3820 291222851873996496585842680338114562436 3821 316995488587731311268938593552542295560 3822 344487790137989781477160522072488039304 3823 373759517713749213286185175643344934670 3824 404867388028831902739640919573131093894 3825 437864518095063910964563290337342401924 3826 472799854832372635838968216178389660894 3827 509717593189340017883591235533839198944 3828 548656586804464759569193537427216106968 3829 589649755574989715381898189583471563008 3830 632723494811377382348470847275026584504 3831 677897090936141909265187727451547566508 3832 725182148930636227294712746401167405162 3833 774582036937582072364601641899367989894 3834 826091353585900007229700681009297460816 3835 879695423713353217197246359139727849132 3836 935369828217674173198882441695094044376 3837 993079973764688862485328316415398946600 3838 1052780708019533780350303464411957700144 3839 1114415985942041796835157619773888217760 3840 1177918592498102718463433319580329301774 3841 1243209926884368675563356302273218801466 3842 1310199853043942769330359158180422652612 3843 1378786620866351268809285689754942236662 3844 1448856862017690786890182075939767695686 3845 1520285663838758864805260784495539584206 3846 1592936724183479241336704089392506651748 3847 1666662589451135213468366774686329051222 3848 1741304977398769906841635873926616032214 3849 1816695185610339689745806066620300670104 3850 1892654585753301045098761521567917793972 3851 1968995202978441246084816987794677806844 3852 2045520379022709655498166998002846073450 3853 2122025516765876423728422523953224232146 3854 2198298903178777325696751257669203045936 3855 2274122606792763292419997778048441913834 3856 2349273445026041938557461023658203720760 3857 2423524015932254034470773981233917849468 3858 2496643788199222211776946541038336135156 3859 2568400242530541910749184518464671869678 3860 2638560056898476249802393661876016463598 3861 2706890327571982510840691382130418416124 3862 2773159817306625229592475860586210569340 3863 2837140221640959526236682566117911714678 3864 2898607443883279766626918692872209917096 3865 2957342869099142619601999900444434343552 3866 3013134627228555175931796806687693033338 3867 3065778835375897610615965400024791809254 3868 3115080809328152403022567461618120164838 3869 3160856234469308854670766285856818718274 3870 3202932286471179695693364592563410533500 3871 3241148692452368889784955972658736239448 3872 3275358723705611188778149606186556337184 3873 3305430111595804705027431095901510789940 3874 3331245878822243826951559176022423333652 3875 3352705078913170784076962145981643738916 3876 3369723437572077178970818395800350690394 3877 3382233890315496087194785303478979476388 3878 3390187011722736366136963722216002340910 3879 3393551332549747639164801819564391828333 3880 3392313541932028541769381158811149281573 3881 3386478572904630068502152285407718730451 3882 3376069570489891244932191428776799402514 3883 3361127742634352839190543281091590547181 3884 3341712095303995980173523649959006007476 3885 3317899054060256745842270945520043053575 3886 3289781975427073845812215895835279444899 3887 3257470552310766489195291990864117119565 3888 3221090118639518429859916672210133846510 3889 3180780859237972701508673235972954396893 3890 3136696931735959632731246378340824530083 3891 3089005508020570274013750275640125758513 3892 3037885743370472443998892570581215438159 3893 2983527681954399694716969193381792632868 3894 2926131107827076620183134289372880199467 3895 2865904350911583674167342905746213022381 3896 2803063057714610461456853937634160268296 3897 2737828936678711743037302947322095886921 3898 2670428488133296394751382491434336336165 3899 2601091728764582057457828194213105903687 3900 2530050920386247522841009421131298700313 3901 2457539312560249819334882608839467151511 3902 2383789908295549676523339540861692249820 3903 2309034261646606029274015599820103540345 3904 2233501315549660594341349929381577019210 3905 2157416287680046368638717054060665098933 3906 2080999611495726095440614595286174591871 3907 2004465938959287513795827072678694023084 3908 1928023210711441715308457459886352819701 3909 1851871798712775310573865000329107072190 3910 1776203725586391676218697999185853965292 3911 1701201964091519222954169973628449553383 3912 1627039819346501377397611013300563775899 3913 1553880395607987221922595839294735666327 3914 1481876148610509313269546391540186245948 3915 1411168523685476477669260312925605382638 3916 1341887679118950031562427045484681974602 3917 1274152293480863449046686218465701810168 3918 1208069454971386883407314657363358039083 3919 1143734630189008585098837283565647629458 3920 1081231709134910687147207941676211442647 3921 1020633122733847038859781601981426142026 3922 962000028676631506384842459177015382840 3923 905382560976302184844465386649980482933 3924 850820138280963049900574033067439015898 3925 798341825702288777909692805944752286131 3926 747966744699947133066428460575163819469 3927 699704525408182009285360810741384629772 3928 653555795700185616545297530460029401746 3929 609512701256639147573475372021369848836 3930 567559450934237058260176040327766446398 3931 527672881814866456658933990945244586601 3932 489823038452612403517248018922958913422 3933 453973761019686004104915759002059530417 3934 420083277279147654101593338427095018543 3935 388104793577062905302336732637758961242 3936 357987080344419829207551975215795609903 3937 329675047924565453564526167630861289950 3938 303110308889845695710107002490908540858 3939 278231723376341317108269579385190183084 3940 254975924342955263094718473108516270001 3941 233277820045651334583843665693209170905 3942 213071071404608405504465829291721029290 3943 194288542326938357168235211082759452786 3944 176862721426226032737861916166441925039 3945 160726113948636165607746363152016381778 3946 145811603070219801700195584648570100150 3947 132052780068262614566651237201899253453 3948 119384243188383892519161106830908994701 3949 107741865326373653936773729923706389663 3950 97063030917625864147767857783566500866 3951 87286842676087223212283894099847957000 3952 78354299047902226238780767994638112128 3953 70208443441799271728013799616291718135 3954 62794486468506987692097130523853563603 3955 56059902565242456038350677690779165571 3956 49954502499024277895302371686426156881 3957 44430483334976669804337866268812999248 3958 39442457523909517349813306676063314586 3959 34947462808513549191971014140693633351 3960 30904954670921485917229607450110988596 3961 27276783047734305993114436195603640598 3962 24027155023598594209286322337398971113 3963 21122585182837526093579029848580188243 3964 18531835252332758747531280409208382464 3965 16225844609702436822101378565886761289 3966 14177653160695198006275138165729127280 3967 12362318010467490389686535481933054238 3968 10756825266826887521763083638000424195 3969 9339998221331216748347199456976837100 3970 8092403057966932281159692826615213272 3971 6996253140521118420649461544858080907 3972 6035312830124870644317516665656346634 3973 5194801685071789108554734698610727160 3974 4461299797062950484596376400809085613 3975 3822654922523068889270921817450126964 3976 3267891975459393041988145704488679616 3977 2787125360247575921865373712807831341 3978 2371474539347107876995629349793745881 3979 2012983152764815203496973240267532286 3980 1704541933468503893763103357540137236 3981 1439815596159809531087232494317185349 3982 1213173815995490137957790879840405078 3983 1019626359052819562594663814432319396 3984 854762377533467110144909746647760866 3985 714693839780439818452257432370007891 3986 596003027966771803160763326782494225 3987 495694004568572590045264811103082593 3988 411147922178067272935502484355580264 3989 340082029526578657832795670284869457 3990 280512209427215136258627037411683397 3991 230718871347012674833324834603065077 3992 189216012101393976990396929454870497 3993 154723252348377712601243483065045741 3994 126140653766003098176649160876620414 3995 102526121651149302332426795279933458 3996 83075199820495718180240338537570963 3997 67103068779870433398563520704449822 3998 54028563830870056969705273542990836 3999 43360036799208144593830333502270109 4000 34682893116981108196023724348958258 4001 27648644814753530238454115511192354 4002 21965329348110962683354935273667093 4003 17389153891506044107460512401065023 4004 13717234599255455191108945176171681 4005 10781310203175998321142287229779620 4006 8442319055629136074593238905655009 4007 6585738224760180709643996179429158 4008 5117592415121665967190281006078052 4009 3961049250263436395802798306498528 4010 3053525760103669887367270881360067 4011 2344238726304272998077652718772464 4012 1792138828523799974344437918907944 4013 1364175290357046080011053473814958 4014 1033843943333718367578071714372691 4015 779977316564974590040395946693094 4016 585740531693002900820063048833990 4017 437801456679677606861456636686794 4018 325647771114902503063370380399687 4019 241027346911155476913057864278971 4020 177491680556601286327012489144176 4021 130025057005737099491524798623260 4022 94744711903405012717629430274937 4023 68659519250200028072160085136242 4024 49476696345494995345147132368870 4025 35447716410031197649215545897945 4026 25246079876967340223195800640262 4027 17870844541977927276814075109587 4028 12570877407059906840337299542782 4029 8785690091707447688706203354464 4030 6099476144419639160015951865476 4031 4205601560919624193387233675246 4032 2879326499942323227988960432741 4033 1956971948909364104891162640188 4034 1320103554770979921811910459896 4035 883597989860498281150302655556 4036 586695543130892709343385608064 4037 386335197675421872157869772867 4038 252223097845234488417787573114 4039 163208710663052390333908098991 4040 104640822903724762910640173524 4041 66452571163489864453088896103 4042 41784980563421732956511132839 4043 26005313925783411145061952261 4044 16012649779232465287486925315 4045 9750759315169085370091922629 4046 5869363299585523637838133674 4047 3490690404615907399505014897 4048 2050104757340839978509319146 4049 1188356190436378354881617999 4050 679466461838549397378981719 4051 382972060267663907183691782 4052 212642875115290220927891525 4053 116226302060592858465382120 4054 62486891569337749788940678 4055 33017089645589595517895176 4056 17130063031510952870609345 4057 8718094422362521952389690 4058 4347725997535285599575004 4059 2122146696035864219221972 4060 1012534936036079096651406 4061 471588336403450920253965 4062 214078533057311380742434 4063 94561093154820319199500 4064 40567459543959403202841 4065 16868605658419410394935 4066 6783081753956825719545 4067 2630974161612370740105 4068 981541873901507779650 4069 351081405104400982175 4070 119958916269265297050 4071 38992600537183541099 4072 12000329197804221120 4073 3477638026079902100 4074 942948679998457140 4075 237443411153305139 4076 55038058552994845 4077 11620121979284240 4078 2206267409904151 4079 370864806860694 4080 54131749678810 4081 6694977694896 4082 680091634141 4083 54518511894 4084 3277098195 4085 138391161 4086 3771305 4087 58869 4088 434 4089 1 4090 3814986502092304 4091 55317304280338408 4092 461225402024142448 4093 2846367895289885120 4094 14373999622442869640 4095 62604655082401788664 4096 242862964691827043256 4097 857406575701774845208 4098 2797292077032176704288 4099 8530369002627172271648 4100 24529837200422360678872 4101 66979409982004578096808 4102 174644502952028972232048 4103 436870557332809381364728 4104 1052503611107805669019008 4105 2450188974589455677989412 4106 5527251159432689330392952 4107 12112019203344449642156320 4108 25837552242910178028458544 4109 53756652215788113276848776 4110 109265915132217725620968008 4111 217298139851521739766476544 4112 423376250337548124143085748 4113 809131733597961946133521164 4114 1518475563202598187727383268 4115 2801062109305495084481912116 4116 5083430688089162842598911780 4117 9083852577239892539867824668 4118 15995313462357596166778653660 4119 27773426306245231618355885500 4120 47584065162295434991194664856 4121 80491422735367600607244902288 4122 134504127221938814363655951436 4123 222149180663115099739062455572 4124 362816362828534553983395253168 4125 586216726262716815926965942432 4126 937437507656529724980319115124 4127 1484264689339649613395869312676 4128 2327699655527374697293470481248 4129 3616938473551088649531730094544 4130 5570537391182646805530075588592 4131 8506089047356603788906646889860 4132 12881521743503152054630788176868 4133 19352159941937317868953251308112 4134 28849010862096071422000846981016 4135 42685446688211641417773048366752 4136 62701628226478207542354729003880 4137 91458777159886455464189041754240 4138 132498886410921578305087290704924 4139 190689823898060624951125140875360 4140 272681226681284697044210853383220 4141 387503326985553636357854804241052 4142 547349164510328018453858927906268 4143 768590829907173200084732940214964 4144 1073092809836748769845570592372768 4145 1489900575456539547084638562865412 4146 2057400742743023534784174128365636 4147 2826070967134438912918793115748848 4148 3861963816836573533394744170797636 4149 5251099871002502312266218036972388 4150 7104981958648635984198541907264772 4151 9567485617577678711047136712532208 4152 12823431415482818919810271554226720 4153 17109203723473442797292983959696060 4154 22725848929560954039971938537215152 4155 30055165065099174438597607138193968 4156 39579385598672382341194147858043300 4157 51905163997701863564716043557734588 4158 67792683885029014538955702440014740 4159 88190853576475196008887249013779200 4160 114279694841220872186404783163041912 4161 147521205237039885198378681927606828 4162 189720162658895902212572758599613628 4163 243096551056930783632419871561727784 4164 310371518779493063478907188277185712 4165 394869036684425152198156613171830460 4166 500635702851698454423467482366495480 4167 632581444994365955128395316800322248 4168 796644200776070644871784032659874744 4169 999982010117094833792683524217837860 4170 1251196331700269692942347321350494220 4171 1560590797277286864786891946630707916 4172 1940470040471455195975439894431135284 4173 2405483679392762812811000279222941740 4174 2973020991644369376423855893491520972 4175 3663662292557213215324008890338108512 4176 4501693508257238250324754882840910560 4177 5515690919066716299036087358422883008 4178 6739183529433240397090851159989833488 4179 8211400990732706018224526740855909700 4180 9978115454533977138173496657683299992 4181 12092586156809029015472148941157978018 4182 14616615917617953820482237831589069076 4183 17621729074424672080984092126746386256 4184 21190480637801976571743964659575542268 4185 25417906652272481178039586438561453092 4186 30413125847900607915449148484296034124 4187 36301102664680983152819219285563861064 4188 43224581605753753446477884174697334148 4189 51346202610478068954661126993001488208 4190 60850806717524699455240179007519431652 4191 71947940694388992824091615086478003028 4192 84874568526171843217528250182179617872 4193 99897996666614569534410543154201027492 4194 117319018742383624167192204457465499420 4195 137475283952688691102206402219907415044 4196 160744891707070530531786785382869041554 4197 187550213082959036445926920632660173324 4198 218361937451876311874613528095411819182 4199 253703340112002194864274897014428207514 4200 294154763971261120349371374021309020026 4201 340358305248546239982662639629822755590 4202 393022689804379844928399808791079420798 4203 452928323083615997829050226215517002562 4204 520932492763678166461830005403163984290 4205 597974699069147159525537412381623363350 4206 685082083359328971342978686473803507150 4207 783374921047247423791182164247407537130 4208 894072140199479657730634408830937915362 4209 1018496822335315833012295653250022850550 4210 1158081637035637546086642007724149678198 4211 1314374157037227471322805000620866849322 4212 1489041995583172252627452603185681499516 4213 1683877702986277759284546670943156091486 4214 1900803354706779583111991933458041175550 4215 2141874758819589097742236553984155203594 4216 2409285206625494798824324310609913653632 4217 2705368686424249648316947596638358718636 4218 3032602477197136488484322658993046782182 4219 3393609036226060281764576821414862919098 4220 3791157092589950821882379519036675922760 4221 4228161857111505353248982269714578420012 4222 4707684258760861477208554065327979813474 4223 5232929117837784465483564942018373214526 4224 5807242167526486388076009737197325022748 4225 6434105837717987474307412826319980163028 4226 7117133718387907313335987369035898670650 4227 7860063624358439645239413977858466602356 4228 8666749189008087413515833731543652330314 4229 9541149921456556506103344355761576665328 4230 10487319669967707270099727714662843024772 4231 11509393443789700675731092091195360065776 4232 12611572556382729272154818159287676426540 4233 13798108064949458428346291237248717252648 4234 15073282494343295154062152760221759053988 4235 16441389847729226329063603868765472177562 4236 17906713921737695584839159794788846440370 4237 19473504960192092554801180195880130535052 4238 21145954697694935583382157878501525898890 4239 22928169862298717576067728480064440731724 4240 24824144225019052872055251207545365074094 4241 26837729302907772899678281685841924973606 4242 28972603841613721718202473492872147603280 4243 31232242222626450599056247535706241138410 4244 33619881959517145624616640323763926308312 4245 36138490466245242109208652025383054312752 4246 38790731298762666759672426425649765280402 4247 41578930088488342558965618392771589601806 4248 44505040402507387255625398441306126972562 4249 47570609780335079975620838913483548773712 4250 50776746210539722526239616426804623405794 4251 54124085322210454492833302958168406534050 4252 57612758575963469065733703960522078622794 4253 61242362746691841204988058767508167189784 4254 65011930995383841719385657635673560081638 4255 68919905829883502733847409593477311300360 4256 72964114254287592799946185600452977046300 4257 77141745403631252233753979049740654626308 4258 81449330954503261103877610714773825572758 4259 85882728593173493630986535268604396414674 4260 90437108810663370681755858444448211519732 4261 95106945278932420983063172684393885954278 4262 99886009044012905567090971441508885136504 4263 104767366750558678223502062607729500782126 4264 109743383087979949599486921859612878841752 4265 114805727621245649763598760390885656958830 4266 119945386139720045674309626318808453163750 4267 125152676625267004742464112197261956043220 4268 130417269906545858470041452975899252484202 4269 135728215030212751000234435435230660119104 4270 141073969341937446945553914390704018765990 4271 146442433231083139553547590376819535995754 4272 151820989452936502607139984894459049674082 4273 157196546901899443566959538150553810913656 4274 162555588668462816475456181048063258129720 4275 167884224172489145369474403741767748196950 4276 173168245125758256592581966889915958703522 4277 178393185038302434308642640004083438245392 4278 183544381946200768603569214702502484364550 4279 188607044003633685777161412740391208356602 4280 193566317549524371421825831902822281544312 4281 198407357229403048812348833565721484535642 4282 203115397726589871097670633044046847320276 4283 207675826633742487683874450833210732687562 4284 212074257976563379290599175430589225241224 4285 216296605886281948806843881493477408963218 4286 220329157906649155222759651479096408448918 4287 224158647414796628898565117706737715581502 4288 227772324633559523502621292460025887458318 4289 231158025715835564014469330875924112507952 4290 234304239389293600215607990856380685038114 4291 237200170662243033991398203355335097759798 4292 239835801108667548150535636728636390577734 4293 242201945272196744872910394844917532713008 4294 244290302754969834781542467675984069316112 4295 246093505587718206067738992316282328174924 4296 247605160511692047465272030822295904183474 4297 248819885840968164684760937981131273588036 4298 249733342614847524560712960498859190205864 4299 250342259794089477846922638196184217649186 4300 250644453301208889631848520770751958535746 4301 250638838753527549581958527446864287157336 4302 250325437787643721839730570812024018726200 4303 249705377924967112991563320118420965882318 4304 248780885979452456631592561299540605080434 4305 247555275060138930483757970473021449546776 4306 246032925272050480779849643046305492756582 4307 244219258268925841775613051957085802782912 4308 242120705859630923011550298004568963303524 4309 239744672916482780568606903740538761242504 4310 237099494877629866317740171080449036611056 4311 234194390176663016955032512314643944949728 4312 231039407970385035915122957525322687677170 4313 227645371569791482962734442997370912508456 4314 224023818009501495254787980870938470030052 4315 220186934216860874235806069248420617577912 4316 216147490263504452917566947847202933994176 4317 211918770199145582982655135160018832993556 4318 207514500979644059968311617950092219415740 4319 202948780008929229373960915960842288488946 4320 198236001817114427931205270767395127539214 4321 193390784395176494882835187796273872634102 4322 188427895699984895873933474467750486268786 4323 183362180832393073120291275566579844948816 4324 178208490375740490060538168572845690167480 4325 172981610362691433312244527631517041661180 4326 167696194315129811617258551282322480348806 4327 162366697775147681635313842902214844283780 4328 157007315715350273473645029128637654613908 4329 151631923184119936018304441590313474937264 4330 146254019506525593435650539709178214098654 4331 140886676324639671790618977314171788101516 4332 135542489722549226271063479856297686533618 4333 130233536641746675301951896944236983925186 4334 124971335752283723523559817712118600672678 4335 119766812904491340920948428918274945575736 4336 114630271245621785205554468815598572543726 4337 109571366045854794929511092370451282170770 4338 104599084239110536989749679647875571380050 4339 99721728646386070036544214150078011535096 4340 94946906813213900945462339609223726112938 4341 90281524358635926888456812225514021259328 4342 85731782701067580206474832962680384158248 4343 81303180996835675161210638514670669862364 4344 77000522100214375343346423469470012787338 4345 72827922329625476450137400605261044863186 4346 68788824803443302518692023567659663551264 4347 64886016090645085449521249548263459595026 4348 61121645906431852007738389214311657218086 4349 57497249570933435525450490736433716420916 4350 54013772940190064794356660506527386501336 4351 50671599512724420774500510043219688548106 4352 47470579412102986145233595878952684836436 4353 44410059945825669535042994489236767509152 4354 41488917443543203729752542828891310755252 4355 38705590082824057156674580457595834384226 4356 36058111418297140953416575887019643252572 4357 33544144339786368092365460052522952361880 4358 31161015196816615991039780750546037669418 4359 28905747840385161281803541079403168524278 4360 26775097347927548266769366480051149678560 4361 24765583213726711425075146778805637481714 4362 22873521804381913352738675220380866596918 4363 21095057897133878748496144873387039038576 4364 19426195137602663327313903388443172157520 4365 17862825272610204945892570205869361380712 4366 16400756033014084451486454890735712704882 4367 15035737560667822065223716343970457694336 4368 13763487292554073491962690197043710468746 4369 12579713233632942991286455855239065734746 4370 11480135567846720978082401213568248236382 4371 10460506573879963809833646832630274419616 4372 9516628828562835644999486775205031602562 4373 8644371696116943415453431906887505388990 4374 7839686115685666011744592426847072733066 4375 7098617712692527194752403047615243547688 4376 6417318271476677655059872590611269844206 4377 5792055617326576739209773954066265935320 4378 5219221965450679515493355547788499491408 4379 4695340802582273062792690231714421610020 4380 4217072373824215474043440589958090081026 4381 3781217853021413783611067918834480582716 4382 3384722279439925741042383441249077908916 4383 3024676346878031484760765651449420825100 4384 2698317133592505930176884366584651291410 4385 2403027862656790658216220729614082856914 4386 2136336782647701419724912557438298727810 4387 1895915257959920386766129226665478641142 4388 1679575156652965660049837857473591830128 4389 1485265621626387241292287937835311321888 4390 1311069308179766851163781340614935266424 4391 1155198167729058883809460465623902074772 4392 1015988853703381625918212717052219796312 4393 891897821518169053164358029971924903308 4394 781496190090501978113950780009390828762 4395 683464427705825023220673900852197636224 4396 596586920233334877719749718322291338288 4397 519746474786606593851126857735928819236 4398 451918806997888585735214639592519343368 4399 392167055174871696081008185192066002964 4400 339636359787881678670560429425089322154 4401 293548542037826952545606045978425038612 4402 253196910719506197464614208061594882846 4403 217941222253932613662683242797442369482 4404 187202814644420891315204660813719085872 4405 160459932236131514668659908476475311788 4406 137243254544216546939867490565412090194 4407 117131639073424723248983594125593109114 4408 99748084989227926243021861105646820252 4409 84755921720287302085612734382293577928 4410 71855224073675191631946533718669256442 4411 60779453223633993815260110439135215280 4412 51292320984758966117659331594054661388 4413 43184873091773650912808345464132989360 4414 36272785768825132214197821497336708222 4415 30393868668021613537488600615387725270 4416 25405766274961158069547278375468144226 4417 21183849102440705301854830476275609940 4418 17619285405889849565271438201422603850 4419 14617283738466639107761358995207352518 4420 12095496403200354194171291853601247706 4421 9982573737225852307084136435109765618 4422 8216859162536034381896121143428247476 4423 6745215042830745632657100072347438522 4424 5521969581700418025480384231920664508 4425 4507975269105617813988898790086134602 4426 3669769717368047518388728953150845472 4427 2978830112129332528979607417828988886 4428 2410912926450551128375074669797808326 4429 1945470996968695785618379592642210324 4430 1565140530415391049068076925613239142 4431 1255291088516189088004911685914271562 4432 1003632082037436935678018639995366252 4433 799869784240399011329204952635783712 4434 635409344896180866240768423788645422 4435 503096743860075251900673573422501642 4436 396996064381001386917624601613984662 4437 312197887975681442601817937660150644 4438 244655012668016705499880969304923838 4439 191042073146312536616309430574325760 4440 148635993943490989066326651519999406 4441 115214534602722477889669836760708150 4442 88970488876542103935056464322272448 4443 68439378600669506720209124751097166 4444 52438737559600477514250427761450760 4445 40017312235362839015504034069027934 4446 30412715809186714587579592104282780 4447 23016260317524184979561154644923770 4448 17343860700714273865110651293254098 4449 13012054942695348631255207396296632 4450 9718317936214154438385619993958756 4451 7224964480260107056461352625530384 4452 5346040270145962418776282895092118 4453 3936690187168001853856699956156456 4454 2884571896804413791612716513041146 4455 2102950924380679034598122603583786 4456 1525172128700796225029555775771762 4457 1100252896364806584196721850970764 4458 789386413323480969146621396237978 4459 563179937032422168705826605466934 4460 399483914337112127650245287486342 4461 281693811099340795620326808928288 4462 197428308564881110313231300139320 4463 137505675949881297094789714628974 4464 95155178600221877996953489395936 4465 65412793386380642364869861825338 4466 44660686738359654983508616807930 4467 30278221836616968997842776235808 4468 20379007782578113479054242078286 4469 13613949647785236354853980210664 4470 9024630132212031408043493590010 4471 5934842985654272841196089506702 4472 3870867193636167138613755632564 4473 2503254867583616306439630075608 4474 1604617821399425658064386384868 4475 1019231504421605480871107079428 4476 641307217563884495957666075616 4477 399577207594546154143878959732 4478 246443309911698012859103454382 4479 150399393837678112459846857848 4480 90783852402173597065770374718 4481 54176912912010911053089010324 4482 31949249190476816587862410684 4483 18609400466772930773163035430 4484 10700394244551383317706950482 4485 6070405351344229328230493012 4486 3395658616735861326121720548 4487 1871708093906453649566446974 4488 1015918745720717019361679174 4489 542579261778760885078207036 4490 284906713160347247797583764 4491 146960993303407417739106926 4492 74397058600145501648732522 4493 36925341288247486861458898 4494 17948644050207137208572428 4495 8534116303591572205827546 4496 3964054881064852040909178 4497 1796207165985301841352522 4498 792739525481081766423366 4499 340185422768756986596590 4500 141673430714430974637498 4501 57139509997229977555990 4502 22266193950770215011930 4503 8361515385117298714874 4504 3017064748955273358618 4505 1042594935305429063990 4506 343763440523893966814 4507 107689754735123771794 4508 31896942965181066458 4509 8882792960415179708 4510 2310721853653360686 4511 557224903247897020 4512 123447341450711460 4513 24855614725765644 4514 4489629044392004 4515 716032515917348 4516 98863037035140 4517 11528540395040 4518 1100367406460 4519 82604629384 4520 4636847352 4521 182528000 4522 4633880 4523 67424 4524 464 4525 1