10 4 470837 470837
987
477648166835022398 909424861340378506 176814647425827799 721236756521571321 686357438920925814 524349719064074647 606398961221709075 565912718617077915 825738563898010207 827350496507082839 796656004524127795 466862333767101119 782752760590636942 979075523091196809 961894764113836031 69529427351825369 254504868632909906 212075791727858407 793658269824712794 877029976409356356 507078731245950569 406940679912290886 745576966602802483 416450842233816054 733682211655846443 33238493025897588 219479069943906800 958399821609522838 725703841014392861 524501034949108089 813059649624159699 678406469533562667 132913447151822936 877657348500527593 457690319608151560 123356644892504852 335881674943541350 573130892922794742 672752284644356994 984475349042977920 652771397517437486 601844824525180353 830166631738038962 561949240306091208 753311349323332298 637624162395937165 938680415246946637 386433484098681184 679851782738140683 580803499144761649 928145558206873791 363293060724617383 85519707551204570 352301871400810633 658522184135986610 185308550581132623 951601611355744547 13108533416273903 25213087183532351 683206672735759839 31747211765879426 658980258117822841 162894526373210303 681621237186030621 767309678187689836 246995458331553576 221178385483975752 942720101733888712 851001769572649378 97853073878758578 767004019092936648 973682558261547876 122691131091888944 704699869581308010 238430858331280008 998220878092739469 285016462602474583 713992663365899242 411355732759572574 932605201061400071 554006007875869341 220597207862109118 856406375248393203 339840070392645078 391555149793474865 365580855234008844 161235364987882349 714017327384432619 473161532091665806 144342414202475533 879228147058382940 2504169321552929 258570292600260274 90329966497793781 713697486974312129 710212451218450588 105153840569494391 824708192695721795 997510149198456354 189380496733099541 527715268094438500 475229086599848050 457036760511994069 461978407845188326 568779192513797490 245220374180149347 20401189773664040 930015211639454869 599253025544768775 865902566506564078 155742657320010378 799942393138429284 912946792044757463 914089387658711239 559030743275195567 435225397829085638 404225828826037808 101462684619129037 783485754803969993 261436213401558214 422514780749552874 258976893319000741 316415856652781700 976737919668833939 373111323857331298 163129227411279758 671444402225567742 822559823958338348 769959546936100009 178341345796763803 903472519805493107 96815630894298857 280045167277318220 686414633546519318 272527658885878692 281062974401221227 447282090691579434 454176634248306926 83580343490889202 952155440495579150 271963509652472268 163068760940027221 946895080106848862 717281579596366697 48322421770266023 365009802193575241 323964438804087899 20048803955425204 214704971564016354 804574013042656123 553783436770078018 234621694804101885 22903648827976480 346739351898349178 905756776797489507 401587584932579687 420894016168651955 607276999115879253 546086779788870050 574268085534567766 287891995153068607 607493210660768792 331032194747828233 355014355910851339 518518805472579964 443170709262628754 886773909023688233 975434222202043295 380132050034541701 862813223993928878 77517558322848306 759376280746613840 357259765739042289 191966548823121283 329115455468535535 137242040671700786 404496014968887035 156474597075786936 686035782390739177 876347530671680542 66529671280548122 954148725339296981 583541374673803267 817149240654900293 143129205657024582 143124297024540438 195660771535936104 640082898009101160 638672395716980431 915462131795445461 804162658930170506 624666884667301698 798420950207840951 159295012424540550 329381961294707398 6108105036122875 650995864082414174 238825017644843061 948533934354372978 478116709438738225 291718146386851370 983667708509807742 754471026268979429 872509454162801263 546867336559520426 365305610324094015 331945870217536004 305278446606096874 878875548416169007 301443124948170333 689012563184422034 678573954674703281 92698151926198795 161407881278155449 735129520250417290 481642156837953009 888859422328200732 778915797914322250 401578100684252167 143911642884519003 304313425998957312 933337977082825243 567353917620054494 812165359345131228 875239437179906491 887879998518989794 497207081486908655 283286693086001858 79865982184523244 277470229619758083 817679756732243687 235613897738109809 360624861777166310 504664720366452148 466202387291227270 68712599423605957 322723200900300312 602344680222731576 68188928771263287 303832092864130321 390534408239153696 830144561896827304 269904667832713711 173782814351026218 919464807984827923 333829444666009503 281053210901541653 438266427794758007 867609716317793880 534398571326867242 798143635843007263 153484339963928340 538545777030436356 969609327744291426 563083516748471109 348866638258140778 779572880565237841 844939003026871275 585359344263812320 619221506495304383 456128310387748774 873383616804640730 108868378508475622 431787608318461803 763048120941642970 201045908964275440 254911331155467573 482616296479034978 925896325896974465 308824013908353716 808524798607552784 665219516215700586 942742587916703359 31550431016847782 258051113402952043 824393298991143609 217292449456708691 527442400940467841 295676360414107578 748456587846703186 513591051154536738 929189150547749932 137828421159805247 126053697458843250 179994505798657857 29485243182405732 974134260565328931 409599907032195738 190796596453225403 105008307574510485 48633957366295424 158510403561074316 792960163184567008 783415226876512293 103222714157235715 577029562381698816 972707984339574742 473192456583309337 671986455826494689 936364387780727964 986153564458764336 101720412755718450 244947836726208817 871440414925080179 962518796863318100 688195387968032175 399323087626714138 165427444069391774 455068331038254535 330249079564545 718546546537789191 22795688678339427 691042610838816041 561562335917480536 295575863319820021 954309019503912464 468967698835597797 376201106912012309 947479314978872174 856092813114840960 998594863713062343 288651300860746424 832427220375744280 508460577077407489 374680649712859384 736996992671937241 718151710846193386 842811560650289816 713934303794284949 990779615747905951 476131618525241918 368505688923484516 381970897755067024 880852051728392978 213255240028117904 791743154902686890 472150701318093831 870774107342117842 948264759944209151 27905083619407989 63752494129863918 968261097142410037 754194648030173452 254441101148356462 699792929542257109 524401445062453765 698449866840200030 730293147494135788 420792487189231074 931395873550036734 497980061274535140 832006668635797023 830274975952149839 723703370506950817 24425941752406602 30002032899126824 170546450596420214 204202276497970342 133845641671196845 948131031258603604 248688677828260489 422415443252765542 694187190189720106 753831281683360700 857005295403298493 228342443232987648 353088483841373072 609400221729154126 997580972031042701 426091528256381895 862198027308769595 708366414414087343 935844580630563166 152827382388235934 568264315505609817 784653911506288410 180885371878664012 800317378492494203 484159409980658486 931995491765274167 769258448461790075 282138236310760416 734684164553825047 769026254352789248 515250644559680661 671824080036617226 606185755064002187 863394130784389932 126596346383423868 275876414716020956 201474030662652894 613845259709194046 854462366351607886 801627128811000378 793761591967742122 48564993016095575 684391913145275714 133214726360047011 980850833472507372 611907558436798267 878498864805818671 265925918384814506 228128218328387248 789868790351440056 903982210128241457 489383968491581477 775796021572245230 338613440843749544 556199208960996334 313464473920348962 791746411163878939 64523809437607054 651037345273338518 814492980516090973 564089516918213249 892800041565893039 325805770681387360 243241544158011343 310442131743573115 907645744881854439 483047953381802944 169948378600757628 834583755331251349 50662226953797041 230554676613786537 561495136164831907 996177393959187492 745992215784693272 937022368809490421 897688236846109189 372803666176815327 305125099893600958 206328830350079052 249066857232047039 794268099926531457 842810489219694286 635715827846572299 256605064738642275 152002791997588729 731789995528770068 6118565485313647 980470275472311048 150123772352008221 237297027609402635 221651461576166961 947994773873246574 739268511642852930 544820755088523280 99903334586866771 497259338542838378 718183888726801831 252877878045804100 395310530497907444 282828808935268555 374874652747261632 557018242430786337 208062627145648091 250217685467276766 898281562939619606 494354297484605545 543749314413917151 456385066197977035 437712236068174876 866427727742176583 261894141000494253 267208392399879869 835347556861871309 765709532800023815 961489435702429104 46273930313123923 966721002939912071 556093803037322531 502738915305288844 583141704937014407 644859387655606154 787558752523213413 282546702901094053 308636874536580350 649867918866614897 899236646368433704 382523992954186027 13906776169460818 73926460367691945 202715328164148385 683945682204544079 306178837113015546 213559806413078109 92620926939252436 156417500542302722 314861333328584549 651810852951206104 264432338448927767 279230414345401547 240747680148363358 483712470064123837 701210630806920718 854077612579909673 212491494666253180 208567761449194015 411297294740189177 327810709178940227 660734685304188493 366923322883234013 950040408619550038 5149550459094039 242318144934748550 727372119467787336 28178790740286728 101600997345923311 857848063100210402 557297927980268197 743659931184464900 711140267500989562 843059355159062575 432124845139069747 622477996515728392 341742791089984858 738180388872921650 943978174710780795 265940212455731945 682605385456504298 215367887455602821 156426255581552373 739048316858083371 953108900503371608 510504076392067646 907513148884623151 375605456419026432 233122611006562231 809465072964057156 967913784368619554 24575213083921062 793513891793082492 380162329977179391 194632424053432862 948103462512693293 511727090077629533 280682043018703216 856739032544007459 603125085535174048 642377944728593324 605695674707503794 225718073786161618 111278155962886639 191336850085617990 375924297299697143 823421918609131751 298877137501281597 73724776252126753 337167073347672747 116934117403578428 830734561858425418 957253349700809494 679249696429192266 758245245047814716 666035751468677576 964938457732035043 548998494465471349 61084857455978217 956959949497058709 405711528318717526 719638363417210620 312510741632108084 650871703892856531 210550652198411353 777674266472775739 271814719741100940 292821031157163301 955410060060783324 792799418963569668 548767758411475568 639461668265968541 740586268981574891 378585117987345803 313831403236754174 598029650550363184 953572528839175442 293099085863410344 630224572463759034 144487025133437635 409563035136337833 966242561059434826 939707531033135773 247653963773354770 811190400840450880 324934195627104084 895069077189047120 185450125661875265 6134783234775316 233768103091442124 295999351985606282 431120000697837321 250517506110307849 37166889612858103 311578077684925483 98615014644010507 15514277344805902 107753606974132319 445728315460056055 963407906894204422 694400485766167557 320640135854702405 934647128111570650 674785666819152605 50066824967069510 766415688002628344 126253341772999991 949326358639879438 482608968753280509 63499368994772624 775701111956553719 408901326404185868 734657806222590674 474232152374030713 926696310864589090 351025236500631773 62100123830195370 1303005914142436 300546292208589430 78840468862495333 844341791924859614 255401171129725018 200438337189750716 406463071412605831 484035514515845530 787115564358973290 674814778134915457 478703657694098237 575719475416536840 680788214821773164 633335826478823673 823822851880633884 327051366540656971 789215720819326584 389424071628749059 205970183148255685 798980835535943861 926717776924977896 211673272712601712 648634156418437406 976504335394916807 318618374523732300 50448575887507710 554544055781842500 681262295663172240 747640250569967353 740450850528876090 810950408900410472 131243168507402998 373645867599439018 136868545366029256 453195488576600549 538618752450371969 38150963737582810 146050703059536178 687693639513972204 858149832679431367 946479266768274696 329369992769197221 370237256915169284 454911567881426534 661765907157045572 810167392200349139 31264290056375354 547406794751012401 518495083677286596 371099653067647417 518170068651409093 390659536791366360 172050818474927629 97706079990773857 259421845926051317 290598319028252073 399274301547478496 260579289858848383 807782734984249400 850606621889831557 358164925572824297 629834097351251328 323931958768039038 930551869279137568 414635912807806207 717344930687044491 389994214497601992 887263422811919418 563516419368673204 102286029504191311 926939493932334073 718529892157340231 16491169377305641 224605324641260694 203496676023195667 43682517845177317 400858518986707071 494028175540067619 556833289101136374 667736750241954807 484247525488303576 23642268295574996 59587801819763624 269526748476881175 105847648289674711 192977354054347775 748872177946899325 635933687783647320 951634957067646198 738583384058279855 499657648976522816 286391940641227852 100065236800570078 510517854191538461 14135935584354168 201174269340986792 731400881739466673 337288043443998800 687160204941487027 463079458164541924 148194272319497243 107249840898392393 720668844711049384 527676734031827222 697973749067837429 765831895054846479 578705288967950180 963803521383137489 591744262893837181 553887071454290050 35223638339749778 708005878127276207 50452455979838346 154540806974234898 166162119824705697 721214775058871885 265577069425390010 490296489587404390 798545259952464854 91006189854084680 728740481574225987 51495398174802192 3489351333864802 165528876266304243 165793226065497958 502776915537954536 336589094866355130 911861845223067215 810698288976438481 744359782530512607 457609359754523896 559626108087657787 620322227364368893 691257077073330469 863520227035376344 783941401069992675 299002292172417691 137582189364241745 486954540461014283 401178778480528913 374908855257374827 133065001869461898 57866812421939352 478770047797835331 26638172447730123 548941923010724247 679176156208119484 111179211523640706 875859500592026076 723313673290258004 73591710965814312 641950718319129991 589094052781576825 701107430807021595 928484186832170179 865591595901946449 405223256756012099 120436760889761202 603291608903961003 792459079492712324 950066428391069108 360193361467106557 118014983551831981 426136174306860386 208211172056931291 429665696748514979 300427687962880159 730324090186852503 396359562966242089 989330400681356010 284221782920313484 885613166965700607 703848259059362864 472319180051355487 261535027236448832 533706055448490232 280775508740350087 725056496080084017 818599004158955429 567672188165708659 795796162244292886 233319240574327385 797156299390129469 414486518852497792 830419448261418626 37048416800534757 222367392234583573 743624760021142372 624760880165316187 903561624572555101 985184985580766533 613097252554592616 945292228462079286 954390376728099131 394078969487411244 449086449842045371 100143868724394688 267568305732660434 890740919338855736 979708091469108512 998760308290825030 937818792872225956 865764402167796780 755787774997710041 285596317786450665 734210816942007711 590495893978369837 899481763163763151 47526208502583462 208611562901496055 704957553289953140 882232831027188299 986716139280542048 220817291694600606 637104327788439201 241432794840484124 400887251333205925 471886996050545235 914280863311108283 42081503795766894 383750912631925996 664533247333236419 335833995926247147 712622481775955275 854925720396553068 740495469741362937 386667229248760127 979610896059076124 783354154919937171 358690603504905672 28215273120531531 641886896192047817 883134794535480609 164917722111514887 431824970640090262 22352456960775524 843177391904881462 988831913127363439 351714357200457943 979223871727161008 10436336618561616 431132395856567520 262531489944497232 703922418616357968 499146681392458204 388183140373215969 686096614023587897 192037714432627373 387768670338917392 959968241128402750 551732701029226872 132512056434781814 141969960546645765 821978464022508751 320058641340647084 114581676947981063 80687217766198949 904788442871310043 881082263053778910 168503225913417073 451476263810457742 645075117065804873 511747680972626674 208198017417235804 808809689858032634 38841260303634387 836002289788448240 597789602879659970 902714159882093732 371892694858450821 795672870200055663 239666586401581967 614625161412909190 977623724012097262 735178273319480086 865074822971355995 644290446657138009 173362851791259298 316102988255630175 960131710155631790 73404742965725490 362788321685305602 818181412550651234 706426207707507304 572078362311239174 770546050440320184 485388630136434378 916011044861096066 949672176394297528 581170395230814299 57260743038843744 102268953483550343 38848453393663846 419375721347245814 298951538652860990 686082589102175700 995595972153904493 683551230895561414 817178865745439453 59865148840517407 107032218438544521 174450058547807078 247810857562535425 888467396831831431 364267100435320492 859292012824462157 302721204458953464 512858165052589441 427596015755370703 654835911498764120 740322397738101897 383899970422629875 832356775462830167 132471731245150684 475729642420680757 50636125190428567 553629743826225787 408267297447043908 921966405216033272 65782804814913951 983345661495063020 480917753624413155 331263852781469176 236957075509147685 376363730531651230 879143179690945321 289365175779148135 573150926531235539 282592718646829211 646541868485839168 249038615003748027 454331889119820043 353186793576229022 816673733705594532 189799622317298909 130467236535653635 999438659563798030 141720312405422157 747020804591604978 572703150539179555 274136746935887820 373895637771259402 475081524685296461 603978578979295627 940289720018147968 135923840559717557 22272539542621125 293517864275497471 381885026590097449 710653724610908582 947405219105072708 243102242982256842 916078138437698980 527961245697059706 784375572383479672 251942091052409983 277129823741263911 483076432884160036 265411415894506035 285453769841326448 192839023780196221 563024519150015333 363165926690934278 114489772560575221 172370283677645983 252729451262782192 561080777008298210 208359199998916898 713252674966858059 774455057335188362
