1270
482023146240393429 159578900263473976 174820605138911502 535179953867006287 371390361340473210 815989168520676338 344565929976381650 46577951740356898 98963623207898199 759113394053761189 704786383782030929 448465531860638462 491338342650101764 699887057666508558 994661290072275077 789762521710082950 57556417092127595 492182063416993611 435965212956792826 13440456151926037 929718903947165270 87545740026359428 628737382252457302 355530716909857332 198723166726372845 101780329277008200 812018043612655557 827478439532210206 226571246900534031 597557169119307311 771300888813398940 40763194629794131 248592319948650769 928705699271360553 191105537575194798 379197007765436388 207074813718217725 420471354100381997 166230671355515118 975045376032768063 330925906164922173 79280664940455063 231719630104989422 944872095480619877 840357498447639586 748864683292598720 742491090342779963 10935209278577058 487159351288621100 204423388139447942 697912869173889034 821863538049361136 601144435266683853 46580043918530965 889212887946460563 773139296808342381 595679928764842179 241710607241444646 555848351482245814 789423116127310333 889142852292622481 661704624351537517 202542852097271382 250122612974112428 759089752781916975 712801364646369025 890016698479308538 907284484602096471 47365983520380227 655784062313789799 354485277349943595 56253169861981910 433040115503294895 995520624651638283 590488430987865341 262837783805602269 742152770406605011 390381745438702045 667158745061342869 552584202144770165 857990563250995778 126691632721414760 905900873913425472 396055495828808628 466984668937713231 641471361250893200 487770447284852159 630315733752400360 727731784105661662 986985584278308818 640562951354900892 730501376893721942 264838552238776235 703423280641383080 626456604309066626 494472752845249135 855702342663359734 31411097805239100 699016793043518677 523638769235111564 570384196993343983 715365381161769150 117644734999189817 283908665385778787 908562656896818501 415680360791632619 884920370139353337 866206239771819118 16745745591710083 469427755696758951 528208202933873554 488533317918527355 40897931902750653 807581621438633562 661828456090049098 322234360233986364 46393601893384695 186662465884433551 666092538422657654 160521886912195754 767451169651561885 357463863425454149 595493372962014344 150660193118328344 197207862674880456 824111015810963707 541506462762043913 857581893734684496 866515935034504376 124553640224656822 519506026158037794 15728978166943750 769569480700563186 365138087207550362 693363005839130913 150162381299975310 809631375234921682 830404117152737433 111659758972684055 818557090870935825 821711650113904616 846587322927849954 314539757420388483 592354478390272812 373928030335533638 280702785471586222 359591757250247115 136797622031518151 356505456462113483 535875090883050550 377274263787234481 536810616679515504 86775115577743151 752868155399776636 780914944487905803 331794649064058091 520274712144560238 468840268956138828 82935406773136202 206201957850483365 786057812285165349 524108175289493065 147665840966115562 579747559292549883 568452817768750640 805329221751796298 206346933005264064 872539915633842949 183405222302944554 578973464783447329 486781911118838967 945623320104781514 3869655175635654 523732963983204052 993483247737967889 97096226747082759 712662888525922173 125189023334011472 66082288143211270 958564443865764988 275546774406569980 261526199485369296 596400314319284065 742239698545523830 443237944385744810 802659425241368417 332444128680523961 211675267203737962 874010031339907851 498578859463595890 114641039460269618 358704080493677635 285652654348882545 67873759894608692 563549277206966742 893981164334324778 836202617079262289 905084853243643175 236966816085754668 239569060143039667 895200317107820505 920291950871802301 60962610135175608 132998850476339056 77447454014393760 697818190433646426 686337508491664447 975092396490505005 250809884267990097 870241062993748723 482751966232177648 6652781201650515 957583620016729788 230032969112011482 379728608458924704 656444732820902630 463362398615787910 903916305773494110 531902648904129645 865078823453178393 770672608344964025 180142965894661426 32952782685819101 948642042328850638 580983213804586273 415316746283294735 914641955192451507 879425332760860972 931404822756666618 739231451871077644 140961163579857194 92022254118773235 130111867016857647 77037470041533783 749146241874397352 939920099978479917 45906745554186284 450498435226706020 965702232650348302 524617743976373901 52200099561502981 447081836795743947 389635000771047260 834646406342669825 71083846789101631 908782278816947311 395587986120638262 703905653039004201 537745503044246310 688169341296458560 815226438045988153 481519098407358166 796290777521163612 10686133314598295 324376460511801259 309665701702828941 664187479701401436 711547450727958730 53557733712575197 232712791581840897 341453475883408632 866544524369186721 459126791810416549 127327862681289910 780875238252315585 669232167950957768 743141165119193617 820706227687305523 991146021957994940 313519614233748859 37491643510009772 983314666940814059 783648188936258458 14096731126848457 446945563153939984 673044471082531155 447060879704341387 103329105528576336 869177448211978607 739609961991708339 748109316238804855 227023464551954841 721350962666038044 553296905249032833 110525893495779237 102557562881016993 900035008022593521 447605182713316314 218725606930064677 265596321715505496 759301150827951837 994207285287851041 159694145606780966 325297077920554856 833396922531535197 894289769632104366 318026579888237918 989767609782755378 518247213346908374 879149838426037639 609231232607509451 838739362267544930 719760968697233789 852283837214594910 762195612083013428 819966924879492919 63487542724595336 769062954050227187 795513158973644489 539107359167445129 498546473724410310 324132580308064712 865425501822388150 768548142925174082 998313061388602968 890708865991493070 624402907646338964 596108150037338345 83425234077674238 328829338818589109 162594732898926325 213925612719367419 754580921100993720 967430856612668045 30630173686191075 905158882925486004 302146094340847914 458724313692624693 446872142350462028 947543749555221055 180946182073184576 414693070338911962 97434862236194975 221505146623612775 876427303932171143 513271853701341068 699000335376322120 38051271127955999 597873026426537682 401675762817137831 551427477976470038 965167596159902665 783694932092322977 886212903147244882 501087728041915077 488321882381286147 44369011282197413 774055311537697561 736897808967127970 991342990286492116 196881879262577215 673442854514352205 649154383037925082 218684081708090490 512322441943537934 872325726129512099 435224318201116684 266960912732252098 301669818702822749 358959205078295949 558472635652433620 714051722426894193 854466976075664308 671676449993310446 224605033017078076 349360052486337800 139306818105520713 657825376561776478 138214227143880268 139771801396700678 316447322021393283 442725185594122468 463960287569303666 549355134699528817 258860449598568580 198254715214224721 767178309147133975 641846777898713990 640115532601979802 757782837605866181 781866589907090967 839600444593242618 949073524520735441 797041352909061171 328914218979393099 608962872751428765 437774591416992355 186194615478333411 638849525008202222 672323081203097301 445368281937510206 281895771853440515 336675726366100022 299134344180854558 268976366319090044 592909470392850179 125697143702567648 165994168695213437 260131793538336515 460318069612050971 931230304175809654 464150104501492263 178020687002789329 741090823803620351 177807713571231519 309488799834127297 547350917865000618 2928225508050186 723530076644414688 762946516116004375 735448650547779462 958327237553004554 766895567104990260 138128595252871315 27695231424161276 239548654745981084 993814241181123203 528314390811137168 59874720587133433 859406441294956959 830710038897958590 609284543918468136 773430210404210690 587876550073603025 500951593756967863 523470355555956847 932229283062365145 125620107157632087 155170497197902529 180015758149933068 884433340147809011 884495195557946123 568186779593977363 747726505210492354 69745422510796543 880130273555353897 996957573678953322 735294952127395574 859869503899943007 492655247205777344 980900888561067619 103078775319214583 857400273702848671 793261905896220220 825905539328893740 841911251058402527 181275845475763456 88957917684099275 207956376052641991 18681240267015085 311994327051950354 185798490490887941 501106796056308678 471427053550417667 757018910915191018 828080802787404350 519970505683304598 20317319113355951 528497073864807418 662807585080974381 170598325366552099 545245008814197736 462072051024967515 825411627611450709 574517229945309266 527473464115370022 559132828801654861 700666846054892446 957783867522028158 726964147069852486 588017875395167957 86438029291784369 344100602766526948 999023317581563493 555476119635322918 11967854177226892 543627343729673756 282630154683283744 946307282950098957 973936368973342301 119138713791783199 660249524492576995 925329695892824922 890825514100385343 202609022790411941 161557204777612099 227530780952536189 631023391897873931 192516999338634518 410315032358306611 567066143888609733 228632754013360719 680571223684259936 463611664004851064 237677309357114450 670436190869975169 285947661086941313 622029315929000700 236332069276169896 335192861691894189 956411014820884484 213990841017736018 959275215133743893 984333226284764323 323041118760252072 259348443238471509 935983194751533630 481628438849388751 576313441594309524 474782021565893523 303010333319057813 811530480049406071 844432812470332457 431142725765337782 498856510672177635 86599992055583591 141030796523283022 875623181059008571 37545274097458649 58773583646144862 932436094009390839 822120377695275702 223623773830682716 140068674380805239 515188531542953131 125907796148694672 548849057224905521 555803295029896156 359377584615091734 229691365103632457 837891088662003073 657287515577462315 77284710475955305 962509669991397149 877420776986292787 917381950340086745 792132331991952881 335879931367421826 548103255232339596 85273966756282867 858265088587144326 292846618832684444 234377936025237662 152573556210883675 905757125597160479 104815076497868745 158867950870988254 199046396650174598 499026806544421175 279409277148354841 183687826692649352 752875251533860806 520541532897845111 3685808190647249 175852014900720434 117726889706123750 50022978348845063 610051463785036762 952617932862145857 787806753817599909 364617754993549357 465075631684768109 167015280260901744 706339376925324601 251170706314233770 311854408385418085 445997766118394186 234381368184169671 476625477614315397 771526234225486289 674299976585234623 285555745020412155 937269262301478946 198267579469099128 282122860146823292 31331790493161296 173768359698597929 584258018126936409 466063626740451985 952952368528579290 42188875393571503 355420188930547491 229906309387172571 218411178585022097 297259450841953776 472187575054247857 789990725887403405 496459976532565976 778258520843536834 805387937046132383 104003198220404151 847629622128959765 931945979266930175 391716059153846204 155665695972332464 708743303413519390 979635650168232216 44459514109061495 555943345201290142 191688556486530231 721121491660836516 404650121379319701 684508043851998228 471507401827939105 234167998336810425 89013186070746483 302475226099115099 527462530955677330 798025512268486544 993739893783500976 401658652327709487 253525313740914592 63984198783083998 658269640229360527 191423082245248257 641825156059747053 279748351013849486 513953011162955689 555599796099117743 99233291537388425 401357707343350020 875774277988894753 354109615117844439 406447246612276589 413819765684252363 994723686367611999 941435586694072697 384071082148474897 231766807898617839 243308550420800621 713109062543005918 594652791433171605 219609973590575622 616114194255844291 791379075292007858 358544639206370439 775383430940376514 300605381902663560 738189136742850390 505063458220052881 219471332251588349 125763807953566462 281855686540176416 793424862870395422 377296517505585066 110560560787888959 779789876566481456 775328005181368732 854842575628268781 915225887050849741 909049044481860166 871622057974218023 558423975597726094 503751443070934749 227151609345501684 676103651455568343 1582016120346798 332108006971514907 416828303852809820 664530884009110371 11881477183612919 301145219190988527 984942166545104515 423313327391007385 627155757257079402 826661576743844635 637250708140787177 70485349020492746 548636325475922602 890425356071464249 726435010831345392 436578028637332877 478004476469054782 332619045958264196 87883717021916833 471303573280402603 374805572993247452 26709218415567244 93567326938745020 70028290707876396 259737056545726784 826410584259403100 332198827583378495 979779683227078155 148546627766250478 301651436326602333 764716698047759824 235824178740980431 893822009032045626 925603789924235969 82879400943715047 643979958915139182 569892889363354340 405359612769562083 487063703913366015 165420818388647253 552348597096370429 548183604097678019 491852974747450731 70581652481571007 317708156057862796 269469245268198004 814708070898202011 454098644529181996 861457606076494121 449371459759096779 117344642484984078 468528077006837314 490812555826990086 323989179166325850 974387648102750986 13053001271190972 125526005655380201 317791315807281502 647136179070679207 152014453804279941 663335658654450602 693976939238925597 513955079699119313 940859427423348464 921811197130894655 654267600451189906 414526889525581347 720315119382487871 649014939168465851 106730153532654080 237780425980607913 444204935361242161 67899550738958507 543389744661030716 72570682684419398 553409362975477628 467969114078312409 763202619437611115 594136083457905724 4198381496415603 904259734782602847 40302504936654617 678780884096705937 231273709760490715 839892165965058315 83101683229799339 807899235706963198 460723582057594628 281074511150311990 926750723121678832 744373076339678483 845827689253085419 750891224894916548 916443966450264417 771801679096851379 124444312632266316 959847658589342031 773925747129023702 729140311884837723 545608356576648108 528736076953165671 433544250532885706 329994611598222540 536289537089468774 971789609615152656 876030758191459061 555538496005231827 141877380153286463 818179633751921447 962237209663034372 453812356204303938 447814489148720525 426963407539981881 267227241127017659 649628343549482783 145596684792481802 181051970501818185 62132779973809217 611295164837408504 261830649490905096 995909175721454875 849252354661942982 777057293163543913 599346563441803017 876247872886375362 383692608188819405 282362797316184242 306893484786413904 219866280627428155 408617715001896163 113352644927294479 2116309607542864 268618701266929086 232384889660602382 303832786026931819 203303867046722865 300661843904541238 965592473044031654 1019111742937929 985465636806619053 671190257657570395 419659661186736816 129951576569530810 510958504511719677 883439454774549010 942532917817352855 173704394407094477 441892008772986879 178438734045647882 411324739725331830 578265604648264417 431794876113467499 51762453187779625 56366158204231487 547382394013515893 58871853518954530 281449269054152406 974982951666698011 96604224709623985 330381716923899153 612899376458948891 285129985773736954 157867408320406318 487757920084982725 291729942932091279 552106326600974974 397456074433036959 520713320781241811 982516504040124127 425904175310044843 928173515149248248 764174556909313776 971766504866043092 514719448130516899 944525626146145521 528169016911454711 40484663900966037 240664402213328855 769794860840984927 631893364135888776 804331872639800878 521047930455813807 341076681134534948 714595985211994219 862479861261274885 114342405371239159 859603614889895866 328031503202422820 739763078027954233 300801697011484025 337758280441681305 344912313316708185 480756463790714208 15530210780916593 733701114386265845 393979040066551417 674710689151204030 954585995387828507 255338948002648559 692410670446123037 534852574973428749 789932110360753165 990024676259439960 680755070302688150 121277381646371527 560212704591443419 239570607755585278 724154443157800809 441068392126588089 97359836927260326 974422801312240214 228690257928739774 562387698549125784 447649397607524192 194449328960243425 46201817711643922 495154429471680092 395602765315513479 272736080048094840 175493016268298700 317287988644579450 642089238123275510 406367888989854793 286142721231123736 724823968243058208 847523479720096875 569615560237338245 561978294575670580 287055419549840190 180129401074320865 199824559836478316 125793716086760034 94530277960719132 512748588139849399 899453501711768046 552688495746074315 994966619688366327 949831891738480505 886934206777054241 356069641494590691 869498326793034362 806173199604331036 549786967939463658 912579886792789483 997235680097454662 67592922158848212 167279195691352918 297537130591844490 80253264690702958 637713659140969557 809884369013760793 595555135428998947 976859472814348025 938199564337560163 410272705142679839 653027968685510271 27096980447651949 266121132135789651 650891135889667364 217893759873236015 178080016351530541 876683042644581803 935555637372745970 954170653888740656 821480496645126437 416372695355109993 815717312803113759 33719660234417197 299837609768998439 493320204536270233 117694273350420844 370295728168763463 505171091407181971 947848822850598913 978662606126189396 321325928457933671 98679106632340626 636251593221113416 200534090809205882 632269485878286530 449438949969111527 869753499852261342 236427586451207996 319553449808517995 982315122487393844 394349449656452376 960666125188765483 662212871314824378 63027827028707223 190729999535246840 466957940588526494 904845649780361978 796208780253898536 810558732494624915 623926711416702891 16308751005406043 106977955493916563 58179399192281219 526141534257446448 589563989522633403 633054277818478768 214545761001252999 611718909994337836 424835480634596145 941732358838516014 529799256760331854 47573269982217098 238914640353095291 246068163636478393 181102932166597195 13058914239332403 983237445958588547 832426298596733989 237118766904869356 221699615751834473 19922362929787988 310981866399532969 574926219510956827 139040836290337005 157652211478681742 433232735656012589 954737536500522188 292934134782810982 93737352018490845 308384808900806601 820026980101879060 194765708602404622 248641435243562380 892153929398693891 291954354217997285 210694157370329071 824040239448617649 766668802696517090 375069131835095170 895075329817924346 241581341251497150 225082327278012887 431998254100845680 585572937634689195 109354852864027731 433497275604209772 5564037657383567 160554239581392276 207140821059425048 997092411978032606 164017466149915605 562328263581628265 891856903233330128 169337924983907555 682704362817360284 587662750999653209 367436082677484817 891726955683940412 899555622193460421 173983501389331339 204569625625874793 927037153191484293 189224058205625532 693583425460491508 813383388716041961 89854014264779422 898528082297973039 809901645004760714 231659710561305826 670930531259618966 132437208398597967 580766897736274260 325574234511420433 335058466206184855 34318120615759454 410969740680316485 933314380023688780 174336570962365776 512901251643114133 560790171887996100 476029352567029123 144783307937510639 946519349544330569 407808597435098874 854282783214624151 164730557010111118 440098279388640904 932334094493174486 183482914658014345 239282800174829202 314564313658262984 139576527580731595 418153591914149388 393087526010570807 723154374752098574 171537584889335806 565871656430374201 356567685693800316 505974027610161289 503982395239947597 31369644452923913 199560899097587694 485126588078625011 368065552168124410 206464043283558072 777609487334860638 176851567608348809 485179887752856040 603548582885284886 540055393562923845 559968159195388781 771361487717168619 865618599423911824 987961700795878965 551384193178666640 331957846329691365 874228738418005239 241615575780425853 933113135701808232 479492921298678302 467563230368337795 620167106994356037 464183369925616782 463016194670475406 541666257883473179 243704717095401348 385532736119594823 421861697363058701 601847023842632681 470778978959065263 888697169318993493 662541395442615880 382434950260134144 760908444972826 168046390536244129 789349272229310124 521160126792246945 13584781406173337 346465174086325034 465918055883539725 41990050455375841 811825112361646827 714762775153430266 386609538729311382 396520928974994815 51090900614659406 292730644345021290 683016267239179886 53883484208952225 718021574614046560 785145245442165044 639067223674328383 491004298612303382 15904477272669548 591552312942282453 833630809193992097 434393131669643192 681732668432556792 372628033177966360 489833949393820307 12167122035839217 816489521123519797 789427050763870127 308335618821764141 658497140947414600 125219010200122769 686163825283086225 757902677570461129 645291997304004297 928964639268101167 241857103939304841 911764737579226856 361813136618601130 906475906149345873 787803214548385475 35806022477473621 663475507910826398 218645241636554001 352112776897165805 454124384487698812 177487657962909607 767160251586356763 377238970147489518 772985816409015465 535730943202614775 472036665659869356 502603272186007181 396518787775701148 297288857596974896 510430120245877835 466442835718955904 339578483381185642 882690394234808351 97103113568896839 994576651443438947 371490329095571239 699653337811965253 545527920357509959 867693619545634452 968248294811762693 742916683574381986 337576431489834561 370847487393097083 55477383040394159 90275761362000427 107802728285930433 367392503631016498 227328956035018093 425087983420931449 631259316969683000 872348145634331958 326229612767652907 431244899076266351 351484949626837389 82294428328454009 936222669879440238 237416772310271443 899565928409014687 741591543287705897 390221816218697202 6913399076730558 704360915656519859 388662206988560364 114015150430396470 834651936319828754 383431702632720394 982005061150307716 302956183103245037 670164464190266119 547665701140304986 280467004792528449 588789176682519900 267646269957193397 551020776421419086 7189741860503453 455046580681820209 627832050320557169 635389134764558085 862266969114467970 393767988528365478 62689407420096392 326704502490881670 350612886672885259 594261082253278766 236144700804060790 725593931890397793 759556086090692054 366735269268788998 254508170470103453 15965101440808453 215457767966990502 874410649630447750 668603559021193647 744660884841273191 713824251789818576 100864567480336079 525823195782499899 155992393799031135 817352224669276318 29462801642731044 452917810740894750 846453748431855169 979834367548382492 797097477825768839 358937999085227006 710724090242990691 981216360243558474 716173428340816165 223885783466369249 65284403682535023 520903755793790396 351842177038288109 273122637113532065 228411357391260200 566985368207973176 724953430738015987 194018967635316846 429845036701480615 465102116516779769 522281938583970313 792162618285252414 215518452374649099 690621847057841745 937321257164138538 864087572874934374 731813859353717981 952050152242502718 200566466362518810 817172929185154075 393119721487505052 565930903051702201 11460241694898370 406606432417786825 438335396542533179 486310514908543574 154698269422053807 990617703414051007 935009175316150697 449114769282858686 52197407630333899 526241884053918386 436907685843785542 507696249469751089 538840605825107596 912274061682017798 518627964114769999 250474801805249540 985817216681682867 735332814877702799 33099005520890783 469778563117281817 695801190276672945 373721636542640625 219246406704289766 769326801395652971 720736669756714533 192125314135901775 418721294790411139 623196623923844191
