512
576460752303439873 576460752303702017 
377375692533819303 96042522392580111 317259146287346598 137376012927733965 415306747163540233 490340161363226367 330039373022726997 571264302149327910 219591562616992998 407619565441801898 151835231682797397 566724849297668643 571154469443007093 227143861461416474 415458473569889282 527044257594250146 106857222947543974 346212426139721965 197311223402831746 529909318782600257 35502198459059883 520485532054272255 402583824618296978 136415002723606950 118925770221146499 183778487611340114 256476739326187154 248592444542778855 317660816802406744 324547652341405511 292103982801274532 569055293206978072 331182913106524398 413926721549106828 406040093115701575 43718761677164005 129637747026068274 544779479045891379 166875330355015660 26193651401132289 352411088260385752 25850192591010376 472008152703844413 297707829831692966 341196969590035030 377971427470149957 510885285207508844 193276049333997722 575329523161531747 373942099935654974 551843812232517737 94966847377267862 83210354813273121 378226227004730657 322261505106315523 297227006720040634 463720039062939364 367510714252085101 88296839925613166 426572588616151002 69758444506219779 149084691654525794 391307001444157388 567981892705475381 425657609162379296 41297695518763032 93957975936343269 205585588905426666 177955168587827776 79731536843757707 181109216097857240 474917996295529371 484381429795358116 493774180643443184 222988563987548527 213132578778947974 119056050508184574 232319155245528944 530871646935835365 104701037680690567 571484428048864986 1730992313718990 392359800509627985 180523168032403659 161736918677753845 550119453550263000 364842161801778834 517184337578385175 379254023664605743 552540428025664556 288513194422872036 168939224642320394 399559127568629459 161566020197680026 114724856380958907 19948435630928626 473078817169058144 302230993073258797 559605480634735199 344717364998230163 427597155231897012 126031441411296200 181379889996913823 219807385508268476 19703327242245679 539493784334724861 555971281185750789 147888867710390202 571955485529041423 334994706930636693 73997199783742341 160820669974940472 266517658615143599 331171762319250887 294590729340228854 36144117312231740 31027462670221098 475371688494719880 135561753340776531 423424809082370971 350881865115568331 148460956121817560 304320959085283379 483979563792033399 189606449925027523 542703343218898644 21231604361649939 126793588122798523 255993249795046940 25734222634623828 111134567854459477 141494977869068633 475039589956777863 550008844388777734 219852951234184864 188561162205663830 13783865035690631 14618119150858126 565282114902876621 514251490606919060 216100636335880360 393082303210225254 267939581203198332 77189745237824983 42791179039368499 3418584569932510 169097121666213405 513124220201262416 430679593552627295 423769329801309384 108288466131214288 260119361328891541 294843234368118211 347542539107972780 104019847517396285 404045520204175395 484995695374574126 259926588400743394 60441900619125279 501785989550591000 196717414042250004 283815300911332482 306878575339671368 201655570468075275 21396503689493069 551592680977066007 48668533071578272 34120024171107429 17276314832219699 11988355912840846 348032877954281307 233774210217173740 274715600678249388 407541059579021034 326759238244731645 260623610528652121 156860663706260594 452852046439264424 116882794278540727 429699372520750224 464536705646748347 315779670376437621 302671044846383348 199265959353230943 470411062945950797 22720414864624877 537303905943378753 259729396669010127 448372106760398434 545856703638493908 297094985726245160 510904393622146939 553145298418297775 35135868625156453 490205475864349002 524062149889824872 320420910265923914 327405535484890100 318048349307047936 410136284159911460 296932531679305793 361488657718526982 126959259010752741 53000267853100727 74461958970920907 243863182774128675 122651803020546048 187266749183026665 174923025608680122 318688649308795777 309806501105889478 81120994685221135 83792974580420991 526212368243039732 434894680461252442 431606768347172729 224359771825741857 246326778987784288 83830939687362839 265740120931394107 326764911782522600 486426542385087791 251252724294525956 87483704852449070 46011843047667307 174626587648137554 424593668369166641 41637957064450046 193246137518342653 432317515170361644 245394074460521474 418138840203732141 455148389610593677 492768772251109507 497280239114315619 34869598267190021 296528750997490074 175053309374893977 415489357231674552 181256877434378360 425311891003143535 112982403137046010 375654969155071147 363025383733187902 135689801617196180 68288703430133187 379146883450004429 142524821685472881 112454925863771235 320014801392235936 384022922988066790 251268075163460042 420909870442277698 537883121188626484 21251996073869450 524967339846403450 154160978899257400 499354661990354626 154057090474654749 102426081601932301 178611395127321957 333508042858991170 301113001243279803 170063007128992320 352001455766320924 427015845720512154 422242883802457810 574071350103865137 272534824502343329 200600582804524520 518689680910833597 56359342117135943 322028190286255294 410056867805089172 248106680039449966 559915503968675171 325851616287589140 530964321418311690 72331831075558471 200865554085219723 244592115211132375 183144772604455438 498607624543832294 576047094637903750 76989223152036907 405631706687511644 441416474377456099 153715792917927452 465981950773737892 417563329400329859 297634223667077905 248430573333647398 269508814689795398 434085648420826250 352629382482611845 135243176962337111 11112634420223179 227133431824127922 551540163357690675 322773751785254480 91859181211416070 408520996944382256 461737515054703471 216649273011463814 489756154748978966 304686401959958957 187093208165297732 571064112869702272 483030872037334823 231208485611976792 47353167468848188 220859583967685215 368791081133506503 448311434611922228 11553114033975114 285880008370673919 464533331939697806 250937078568932514 22493928003895211 19886615847961270 524275225434617801 436418416215785332 449039215994924755 195953129418859475 57551104007934524 281725799643162096 48735499166402590 461699867859813907 67148210475218788 543905922728157026 182226495938922595 550796496214243613 191471383351463406 451757520819077733 287973802393304697 551239005008419983 2088186958798437 208912411390605397 198028987282627803 188736697036049709 414811519513909375 477017385587557210 310757820335969146 495677794841369251 84966518519838157 417413281419232843 524191040376032585 172165758595012516 330270444072059584 487290023472023529 287067496070434968 120245446498493384 517029628092507616 146812275273192818 134523269250962957 134677175537836959 176136326962319788 424799833197667132 103818595323478580 223851388626867373 121439995771647755 242807308105295658 150405395853889224 498412122969935086 218278857810216868 208104474970536122 260221378297549002 316654686934686699 30929480163385957 208198729328663099 335053023971247599 562148606183273036 410536004642549589 212714257373256468 103538202285776947 143832116309273417 30456322549076849 86714866437621545 309564082328786292 377785962901287154 272386054544072171 190311330266192750 351573784737171748 352959370189797177 3827364096388907 200619906395194508 542995428548734667 18702807860278304 171833939003818968 227296369242809839 135726318195433881 209069986924360244 393872424531497807 339663565357057843 297913425595462606 437981007656088948 538602343970248756 212235339944700832 211912601341285304 442783807090235330 254508593209532514 224990827065343439 482109591999300260 555039280584388850 126458971256647369 168556735687900444 279575156479008612 565396698992489037 11549010806200261 394373488025751232 419322928436105602 365294698803403081 544507796167299908 230576658402485295 555433168120863625 430841505029632093 194878346529601409 459971850624033240 285724118500519407 193182186076824526 541111882843089541 403623419211700395 317292145774192827 565745482569156010 567183177595683829 412324127964923027 424070678779344286 383893710539160088 79909480744106553 135317551424476694 569471794627931742 341951140321658033 82328797821410773 411565860857526708 321355848454700982 75126226501014249 503199356762562838 302690739615128091 501265052014414658 454007627578292409 317976993312768297 59895650370837554 381408048391356716 81640799388082245 465634528132834186 326958541719178539 410161099408037658 490579859412689260 425838442418793789 1508695588127817 359963433317418045 157378769386843229 480523164440799516 180144835228005127 160825291421506582 359604206030521250 562833513585114035 445058912984313512 288103179412561502 423443836992136052 193385142337300526 534649015391602536 72577693672868286 142685760351568760 97821588438303471 550478311787984617 70818771851821037 258233136873228764 554088899431500047 539186318918648282 325425805459836993 495914204486223505 162172224173758922 236866818298761456 391080277784028464 61712296624710490 161793043170955012 267423931457620087 540671913197314373 98341162388471968 228286403833826200 518375967652135127 56085383489534938 490055315590720729 516073932216751232 369040856736265168 134780449470695769 382918318936764072 143140170583580740 445408790369445811 116598228935045038 175900743630821911 357223750468405311 433323211587079812 496033720069994061 116960908284347135 559411137225705475 107317757053487615 161704620752076908 348335260566288056 173832709061112133 279480304155135690 294668652196144909 251994706183508869 43004770424611718 219390200322664008 326837094723508074 11038984010640734 270257516382849480 124610653289748517 71200529678388458 218694178225172333 
466271146838164828 345997737129306449 396131031422226107 116937133495041013 470307369269241327 372054853593177419 461194759000203265 95494996142674216 296023655354651067 388561538148330633 136509946607324730 97739337225681828 250474766728238664 199817794407702265 179849674100089761 147712868893473570 384743230576170026 323122056426363984 279964353457368318 138269675968568711 127269820131034178 386046661002048324 156513367294373255 378164427720748777 66095750145279521 223647012617699896 296076782617087632 292460357233706710 174258923985980557 46418703090745051 201100662765574923 34357221312246651 105729294181785494 531737109043801360 23284441999400353 560892495742057628 214174623837839052 270620859218969900 114530421649658713 148277655531181731 107523630557556833 381411727632323894 517738773903320710 64582714847065129 56380818575545847 394793300888262419 491726049753852459 431953147634931175 12729890545215490 407219403967799925 494550336713636809 510531964780906558 145277482662646831 120251342113548904 366558554003566925 569206546183799622 17120674021865232 545549761193429004 474177731516146612 504908903018918434 180222850445718752 165529884151818797 433051388176544889 317589215194447986 367750654542128615 350516710654757521 536510283843822169 122982904789732385 555951782547180810 154900121799960199 554070850240132404 192943220014834097 182002032841832181 474783212054666171 560276189954185439 65665372613331910 44559631918261371 62123835124561949 397079860200017142 375686386344671012 325032138763584465 521867309277341483 208780799634964117 103171876387775244 238130877980292195 57229872046420951 430987964548734062 217085238418230917 504333912300381504 425326127782881717 219172947177223313 327820696845371053 414658397273406224 148040631456141259 486574959906123934 121927334317712333 157668935816710273 404059031364737330 165270792150604282 498885177679994077 144308111226178369 176553054880913321 14101972432915027 432048471992214931 126670844387119394 369159614029378795 205835200620335595 11170576026552067 545124795329650607 111575454289328226 440485700344570770 378801759313392230 15375506415674646 558584858623022991 485130247429239680 101188836654026154 264262908316435494 544349473021042648 397966082653351654 210988680650958497 70988190965937178 145231291726678069 238249293696427075 62034706383252518 54359013526972008 424332775154368330 408418378889307845 452074936151327047 85143952432131397 97719075454291809 109756567464440943 215207311530598533 360816487017851165 176987217770935548 88870881399916479 396419418010155962 56692460489005625 201000384706966543 160927502776586738 458270030909164757 395687385485434060 204607869744071934 480591906920653728 229841137060657299 22956853527789765 252633384775033685 14937813478318 186252030574290570 350977525255924426 333284065572366438 147879717739049820 472875196275123170 187179421358092876 353007469735872106 526894680292775206 396174143623321801 461400545081644867 496611428475520665 159274749531192068 421297899723816458 96251478272942596 91188796138456557 324761852083930624 542042142024938958 14179361708260415 280563944918866135 255054216368021586 265422910470798600 100350834747080409 476968409202196098 440153656756277578 117652243087566517 553270163748812057 400885033423307111 379938607704180061 457358341089032818 337837439998305490 50741340844579070 459800497249241704 516274529016745669 433412884898516172 190369684621859261 86239887933174233 330949199735020874 558170523373344908 349209065426802518 126386900794317269 139762440266565498 555796712934466764 212516932974533684 516072908479735953 523150007430540858 392872325201783914 283772059382488947 421374429984116561 437313502940197471 322354260197714379 348085815297191726 224263599432613588 31348908904294929 28616413379325209 400081352308273621 418408237629079966 569077243235319562 411412223506778698 385173626138540426 206520802580080304 250114503258247730 529190928290451569 369219452017396617 198707331022894256 206910771415201462 328349597469889601 338643866244221429 450666422080420972 473567975236898027 469575485918696903 183053463197491334 539640810084103270 104081722471888903 241885715480038404 461880307967768440 364035592642160360 147584304614914707 227297810490094860 485343280770459207 153134372305381865 197435690034151445 557369686477903272 397029989611140044 422284336765314899 149019753920050359 260940908146300638 155092035839799334 552933182353675536 183350458647647372 92806092482483431 535606885305465070 286505492809367415 570069566423372568 390218330990052622 467129265621217161 96956837922110035 392691768404553185 349155711592619894 35214581029746228 324692261733801539 270562204886079604 479519574820212928 247141196922117346 6501617166335209 67031103314214317 573347971184853932 5107358710419612 284010223254113821 442748896127333283 281952435677906572 469641501151084272 115784128671418848 469548629381070445 574555565277555716 423260478587457471 384871183849668027 187098140840923540 288989864589933865 342999273978988809 325733446046738638 174129640994603724 261892251668720415 523036120235525932 146110573010641454 497012569068900968 344234410572230000 73351393642599373 64494858336553019 166940977537337324 284811071734085598 364307780745943132 108942309296533881 487925645090242720 144304832233090110 317152048823243323 196840401584140857 79253535328194197 111754856371159418 121351044799192409 196453861485940759 121813174194232409 342453081976621890 11434051624784284 167697860686816093 233528705256860827 465068771923204650 508688747066213295 246541519401282567 266272367112714005 141293236272439653 409300570584623214 569686175558317371 111662920525006666 223978446146668561 218209100648039207 187382725057537322 47610767262038889 96602599284086181 540632473712363131 420569058611113125 43192704522208469 194125334293975903 77905386944703817 97895461773513108 481799180084097557 353221013904420600 14714254363761205 5872589680407296 300960681599396269 170216946604815755 341186713112889462 71216939394905485 491972105932592514 229419515485398596 126976249808813518 179412006695471785 57403131563047446 148832052726389176 124204975353010264 24130594458303779 301044196622036976 108480807311394813 387398695760878003 470793459909824624 274565242175326363 215549376988427975 493529759866923382 414158644512585082 448232921329203322 279397864287379368 385921328000591571 510803162528851695 555250923277537883 556365641961705086 561981551241207103 200151213531697127 326020176181735345 348927170412172200 426080585300993963 489229518822211887 463182136949111471 257180473660938448 417636541678466864 567212374615025817 118656760864016921 182350302216369058 510953747581147011 476243800549349531 472784868841691998 1859629731208576 545876001998533822 126839511235733174 491710720960582551 905807527389075 455345462594802075 541991300664323245 170944695324732089 319137172939860059 441207306778395303 235893604708258320 187756510098277534 548789333110747016 473083391264904964 281610682150903753 362202931681116777 552363674076296763 362516495075315452 477495854878598355 83227382076754502 288715706663209883 17149401505382573 142188092975845092 145511149175846974 487263249631970725 379579040691835762 444361856595697538 251901411776729981 519421968809331630 564594051088515530 214831332322826267 477489365776262086 503404569497105678 525950699404797475 211663800152941048 544504415437890273 82703882773163155 215883002493891024 228206415465367662 262405671296729818 552919762067589595 275282707229127204 506862872415810722 223051532741182696 248520929795284496 251374539617081468 459496143812729680 544259681167706164 513455149821051369 153338889223626777 552553512392463917 345532237443658967 276613035962259959 76052831423776229 27638414740821390 468766331039522867 462504914336801108 504260205236931059 153260787175953363 249603626061351444 462048919949765548 325825983710082099 349570698183439144 467814558281048838 319075842483329949 494782675075346860 136779850697638520 550189000585042743 158778420396589586 553341782111330506 108400733792223445 399256538215209069 373094641019970380 243138034856802011 284711146084351060 278491248589657095 405803616347773860 144010079623340352 242564151102210173 304325658359166453 24224471624104594 312013094909905962 102950534848587037 156646216976992137 554868615338424708 356065313504408037 566554900875042237 95142308262512631 330327806567307709 369314998024605662 153925071799269127 56849208511968834 97675248685366110 492807069950337980 505011383316691507 107137368831333805 95244666943819810 558236562180487130 381134552288649201 279126085896895435 226859758644230092 332926241878417490 59053186182861837 153807718980788405 306658731457151854 257745138960216484 472599985235421104 544827907149369897 251310520271446155 358012352843338841 438215357442019565 483543526837670693 158580553055555394 352654285881331198 388025798341012870 338586088212445186 155117276797284440 378829719982032 216312860078349289 183297139494101146 356588527437434108 490284293282429686 213259456861909560 359979054012642350 59403241158934888 88584374442351305 149035080700868987 561415063327994800 197705271185242657 153600123134508289 341557397762112196 563343428623464997 421138288411921131 37404886685863830 399174946308648257 226458419633193851 63022668308744462 365156258184484613 494367543361132635 556015298352559479 509534126231315064 341150199135062270 291235481860477466 331441313502873095 108946546082309778 302268753853175947 293244050322880997 174023385589118716 358845414981291318 503278587016997718 65545998668302565 130388228257893042 216748567070515186 456177830619431315 95337524348576070 371268046380703332 