141948519180785 111670455513068 222592294527265 588985304487007 287779764588242 511146218920853 339868872802415 580467862015351 461608117191391 184996371871202 167139309977020 174360486001555 354202364710937 125184694298430 1053394984719643 431524550294099 1138066576244898 123305874536020 504087156351773 787648368006663 319176548150567 538608226297623 995242227213926 502792189890872 204268303042223 1379381418967644 127960807271782 590000304380539 146040955601106 158211457625986 300639866673271 1633511916787377 500111223369727 169716419868007 380684075306733 173024336235380 289633844393278 1400644613576007 372874316067011 578175715564051 264715730312078 221488001218287 441525295941342 631116913589584 192621320848756 375763815825074 325194050886134 566829136663883 225642174230882 540978132584037 536635603038983 1573057582929782 188874691169155 233445346697589 163233780373549 235462709823868 243362092388512 140043256050840 316875471741894 518000828215072 300915113397797 342373329174808 114052068658369 173604146005653 197195183627827 109274435809519 115417528496015 1384783968471584 436809809664588 176359465708764 264500916934008 306657616113188 189254641088771 431687893534467 144230642291555 176830245664306 1445666372385360 136684873049892 258290154329219 455456234654954 1429042110724262 428097843917413 736280829840736 1147173145311164 1278737442140051 175143062847758 417127184994601 408448545874878 649931215017039 1506459829621503 401856163218909 131815953547496 451073538362891 506664436122989 163767653653413 320375468155505 151907535008037 162453833799925 152170808188473 129584547112664 318588941662483 110927562328078 189910647699511 543800775752474 1379645028955600 355534424600960 259210910857922 532734513429817 430479577041966 148182865264036 172006262810177 450685568302692 655378304508227 661457953901759 110505742310283 138842136211820 505888072844318 474985119353085 234846826686269 183252085208868 243273969065466 1550793701848013 1514439182173421 612566385429584 255773711291846 158761660830242 609224802455686 1706767476233312 418075011655578 350069428449105 357796944404642 494199670680305 389830451156567 748075051909647 489528294483901 1025274687500100 203962943011574 675648159128480 207938552691422 1423830104533907 253481164851985 488517197897969 485505638138527 549723695064569 912990475412055 1571701276401607 1175668285778021 1468931130042243 386668941496494 1374847426156142 350712821790148 513115368867272 1047377658652068 560197807357141 378381665614392 367060453425544 1423720054511440 705829436156922 714051645390220 1429315210664546 1533475220197861 496954887044100 444082829005625 1375509012660586 1162011253827419 1419946691577290 865863620105110 1615126935427168 576211972542807 724874140924880 1442755352679122 611408355651973 219917941363804 1537554919904253 291131987751600 818873031474040 795294910526830 666640710079591 252160214918089 1525832974306905 1471184859794126 508528579204631 666643476776404 155740524815877 504953822891627 136755900070155 1574838399451231 711321148941405 208896732567287 622295624469626 135092913363626 1667625936827910 671714996215411 294533934086284 442582732590676 1496464427292085 827286910669177 207653226062233 172919809532421 542773425844359 683754128400888 613229918785323 636424456470785 430403947056426 491521470896360 1492742600950677 1572152486345485 470548326421419 170879836405122 151869815010111 1537953443121218 856621301148630 1712898915600405 248948552157211 231801210357749 628782117136169 266974456820859 1082647038437299 1422842431315767 658385127587544 268972449947385 148412275347177 337301959791931 648870325212425 1126298527484320 1438912716354312 478359685611183 132488536960281 395801870532222 271118773065235 603104756395656 507927802649563 1671016743173746 1507305892854613 537439646283506 576614532467791 315636828595845 519019588122509 356426047818613 1602898263297602 1542500155980589 533348416736117 294072730933078 499725886762408 1443182112612405 757756567653936 309099255852324 544330959107850 826512614044005 100386173377889 163920217100885 1433645010214842 638087489658454 462104217211281 703822362969301 815348528486787 1376026766014507 1582939385285111 447282292044504 475173182612462 364536013671163 1632590933661055 624748894325224 574703169288160 402656126480220 469316696482997 354602224634864 308494529340727 420436941450498 529412547232152 724955937618450 103980080025228 1471163643113128 1380177382272724 453111634886559 149543281885292 162691397459924 1568752840010302 217115578414519 451097254912071 789196907822644 1161105813904638 243305199104308 1416111768669206 375988035923458 412302098822869 230722067060268 246701572193113 254627971367685 623045374472518 688182101272822 744354529044168 829183977166376 201767113225812 903587129661067 519906628039906 341740302594127 323663507842858 822512431116498 545637125569672 1434423800108529 633258073358558 827082200654721 1513377738877954 391697691026576 1811055752471583 720936707921177 1612486742326949 457733967655981 783278631779551 867224823353330 207015019455980 221074914953211 1578150599115660 358238620944650 188443377986646 960336833988392 358091361035032 548815758518157 270944446391008 459343690814454 1544475969214908 692804137538365 325621700939476 1724811371124466 1445990745683808 1556919634524523 447416602116963 300734030135960 735938259787908 306765869421295 1005613552847950 113560095378489 1419923531581231 1478526829074866 1986989041526808 1582203452068444 412262932299915 569832379708882 369633333130212 155930144602776 980224965432829 1119010474816177 1529916177223987 316627075201242 415554748569080 292813370881210 817727194989842 503361859776852 127484020745524 632284390122959 1600517813544911 1605654949706637 1490219441263629 467672789978973 1563345670560578 771109616330784 1512143995715631 712385658837584 306432722883342 711480248905294 181109725390492 206590382798089 286481658152601 264690330326773 532559540110648 1646669132247837 112272555865818 258655930961311 236720209861577 1722969011270074 173608172830713 1688248608074226 152072208485666 536505333073692 112073505797568 1727880967458316 264248920609894 516438885119993 709732992418203 532413500233978 179917149009074 929505057143662 452339748289492 194332494235107 797760500306369 1434662886773450 629397957233509 1498735877057697 1402462406724670 571056779707015 614542148594857 2051669321725908 625900894145178 535155589847969 192094321181565 671719849648410 550667215109787 306353109498417 172058463140443 843933122401117 263080630696049 787390938015876 262577770590118 1140698922676832 820934721265617 202840300084766 454883864613624 319302194828735 473174489492209 1596367843922670 1494691144159936 842975555808603 716482448463338 514415592028689 1008212375901086 1487977048156745 585464108275251 1687556248124541 456670901124768 634530839988608 482127991902295 915056138553127 573481972706987 204912489885454 499861600174931 291331954407059 193661411077139 830125820384141 685525491569857 324267344602538 1401644570142507 735145753270144 512273495598365 379701548861610 520815414765537 1507476699567236 208960382573394 495890857187694 549491121921936 643255185821389 1011886175595417 428155330562924 553265331350361 661483140562530 1535335846706961 765229166888953 1616057025291159 600034963448768 1942815425942882 594167144071493 580786358656838 153044888436117 358679377675527 293648897668260 1665589477061874 153018658385969 688749154626325 215488948790965 242643162592533 254645478204515 1014725948539258 836180773108394 496244770555511 1514719375517560 726906610782900 384128301642852 431170093758925 1707863469462267 1774194189508223 578223035661379 482662991756381 638594082831558 1043581762341062 1435773213403690 178765975617134 902990009785076 976458439052463 524532780970867 366998000040674 754201248021822 481015618769120 126368780896743 737526123036427 155057514700129 1646245765632585 1052533278173695 155938538093498 543073932496045 1393110307567927 440062366199393 565382706889211 539951102847088 1661639754152202 646009775530286 582172795126166 696734410404394 837380419614392 161570804214716 558096511019963 156345288112949 642322075841806 1120676751295163 717920731618171 492946764221799 819220371525318 778065785663932 1633676230186114 834658163290628 1473516566255415 1451898151797901 249737415419234 418876738306901 692674640832729 441217919286514 368842669959022 1103283696366022 810538262356854 494240550771045 1586317264970966 299815856964870 1763545933862761 582394988593680 185940784890606 202534330118887 1043249595696290 888633121199162 1521102304867996 1092037780889914 440443192795598 299017210438445 508031472647503 1580417148891315 1380288265603148 726862440729754 1806048032947562 623720767734395 304676456395685 276195055881136 1698495217087106 651821574962984 508396059237853 225867261092215 702524899776498 276073252596768 217907135293343 240146236387032 1628935507366948 335597576568186 562046690599533 1741718282721997 336037023189609 523379254528754 1598736893706445 913736278709509 535561043266628 409760795789354 380598982074480 104390679999704 777406169056416 282679441890561 1075959952427581 692767654135470 1515059448776234 1696864907214427 516185748406120 759288400835975 371960586228512 319230208222681 742887725808830 659036504153668 1177382048968016 580852721966788 1574668469530134 1014022355291647 1646675362216165 918388381601051 489278664604314 1058064207598796 1453875678254634 1442203246074007 335079300160797 1183627408327475 164356547064129 192681364197760 1505263093127672 1625961294348422 1790313941253333 160993724316991 152062821603881 1086721008083844 1451913101763888 475716365840592 1607368499527732 501552506630478 1697656437223308 789674221075212 1582133738669588 183463362035404 818831414878346 1678283685717618 362394200625002 490744461093817 547280142143672 518427291568119 406664706171585 740457486097531 102214763538070 1482512928736089 1517792461774288 537013503055631 936973372984182 615612438602110 513291368819920 914452695283620 257807837740364 230923960609070 595341163924340 349805845163822 1144136772303068 176798245849233 120399224987996 301850946515715 1077141585710376 544595915590269 492271464292594 357785547751867 462818663860655 737160142966703 457870904291397 338499113167924 328444314179579 1684351471815339 1641929719469984 707426266077148 188272738013763 742238822529850 329399947412445 460500810798556 733482160089379 1728198247429415 1647010012213597 302710149846466 307527056038402 1665929110360552 653008318182051 826084260826777 112145282281755 291013314563341 813862562057387 678599145571499 700838056725193 183410558733901 417864185034397 1836656706555916 638158536315309 183008885368776 613421108808285 1592927054269603 1566096403667491 494105854110487 1811542209104223 1759941934270558 510703612410654 703348789688068 711053658922982 813788205401548 658126321019100 1625550254401661 393231614123501 103897893120188 441160262715014 572999379562856 1317054051652536 261480314214342 1177268468950001 657779947599726 754564088013902 1735540383331643 1689416397938728 612614565582363 1743875179158799 951421641569582 1585910325018090 815262285176609 930238827089010 179007355871433 1166794320053243 748779618596802 730828780279376 701745219850915 174232292779975 1734455650125789 420091678183567 486344848140052 397458160420419 1692319371016687 915510508490475 1373784299317287 650544628303638 524325244335556 1607006126255758 1452231595082022 989345351126362 863795660381384 1549958925304806 571363652898081 943246269105849 1762760200644267 1779134945632343 688965917858294 653770201389465 582973788403689 794206867258450 315531225467580 1379838035595641 1543847919178165 1769112793358822 467789776716312 619580768059624 1569169146721343 223773941083494 1506270516315604 950542461638120 288614578190180 736296126451046 207602789615532 174796209341400 1240186092706213 422477804571549 1766493940257828 1449574508595712 1595136284031659 1744359492455495 950610354998545 1714428602142091 123015377792607 936975219680297 1700949673517756 1146883628706970 1437397229890143 895945260429737 176390922532951 625107410836089 152372068539923 1805044856396880 227321064104832 617210474989389 1576580385888131 584062318448393 711555685583014 1564934607156329 669534563150611 728339193971905 1556076657842254 773966699411046 840279262693329 1568287250087929 1449338548726666 880277165377427 1513972575580323 518908531520837 1388324121465163 257643594287252 1329229410439749 251827754993324 225347427620089 1535343406708795 1535487470075510 297663397077074 1322431147789839 985961904747809 793017087427273 289763368072193 1138265949600827 1619328945014795 987461257933307 290114564427653 1177325655616694 761267150570793 240217466143084 125556070923559 812880018722662 316746921865789 489491971139147 248369362005773 633259486720646 1683047355346277 1532093400384307 463816967113426 1684786208472010 1420647588149185 263983990646006 560036020735444 1562977917322975 571549306343460 858925650864995 1598933047069486 563429240484284 803576189685215 359858364212846 1033503963338308 113197932168280 851900094833194 314844782022631 522605484586540 529896323760879 280540532314150 208984422613303 1471677639776484 1515625735380160 591917697561836 432964650126794 551935238278220 303009076558894 559004857487624