709
2037198294435249 5653749197907086 6413899473717535 6871641242395800 7099001874999484 7361917585485700 8335398372343558 10122554903411038 11997190607173618 13557076950255292 15602848849777385 15694313463930203 20350644679372535 20376951142257559 21429371595134870 22644992332216938 24093625922904917 24300710719318268 26692770473042984 31159957648613364 31723115258434583 32711899090896935 34070518110444901 34293042056284959 37318389002673377 37645416688970768 37748261935874296 39082484614364278 39887083405899285 41453486174334068 43305358717491713 44181562889656242 44552902412219034 46193135196100605 46225578700879408 51791581771213367 52945123016657746 53985037705881036 56154149007711311 56394969765105358 56791736676887511 62446864433875351 63616688141075186 64326087984257425 66609380452806723 67359349666568321 69550207278282887 70320487479887423 72710105604021075 73389294575554994 75672310276477595 77810876134742357 77830928359049084 78751593564302295 85297362350577007 86568592626979250 88112526754446635 88691652818637690 90308066160517956 90464491758394799 90603979418189917 92600303323361847 93325853051477116 96854561196130853 97096304567522124 97342864210168509 99132537386191671 102114047752326461 102658669240497592 105325756448928466 105571673365952735 105648212149709607 106059135539180138 107193527968008673 107449255241549724 107660988804513440 108618093191710472 110252408537879915 111862797083391096 112471799485736870 112661085667837366 115048173245037294 115205742002645647 116069240127718774 116421208115494157 117793874760321400 118223905364125399 118470152442975403 119144354552894429 119517159900737342 121438646366472165 122276433259553280 122770618927993624 127384526029096696 127901080838971063 129724270040448207 129783283519064713 129853096435735713 130576332273852713 133366905694474642 135904871972911972 136334874565547938 137278376368438936 137830046965143127 142552700106123286 142957587887619365 147155615527789223 147559817802563792 148250257573650554 149378030819552561 152130137838841414 152319758900061617 154069776805914584 154237110325124914 154887648054763173 155653971098971543 155946112326195888 157120266574874090 159025671741196523 163621391060851302 165356584664900799 165583369054228186 166972518832252073 171893327286701055 171905213181382186 172752457075189017 174635019947502619 175900665731450777 176950113940422384 179861527681592371 181227998363793196 181284449147100583 181425587604879206 183145862839975574 183311745780351275 183332253262097539 185781070681624506 186002995159717604 186950993039573505 188603693573309600 188956527898329587 191885752721275280 192131700562668975 194357945236877601 197316723366514226 199448846390965530 199986973423480258 200368160928878786 202644503243175584 203158226184988249 206223868348973281 207288047040731094 207824494335180117 208984912297582513 211798784210680132 212264179407412260 213117367386376804 213564719280665150 214320396624361696 214975450677420824 215399308463449917 215405735802934666 215554205108058773 217220432501406923 221904317125492755 223289206966262346 227776525767977268 228517065367429396 230810816430370661 235806678623982743 238309358237795299 239236808905887387 243964971758870930 246504304233810207 246607964646870291 247194863121685881 247394266493158381 247623357141989697 249342160990177428 249974432514556540 250474816348444711 250949168756049123 252663995234955351 253612335878054910 255091553248482029 255872126623181773 259014025881593401 260371018606495214 260639787819632930 263269904303522675 264685640125349919 266760369559605152 272833607009067928 275410564572734566 276080296678022640 278763371813765075 280331552092371188 280712051446544925 281014937059602934 285407867376370861 286169442734844244 286283070431122665 286772517022350861 286808171053727522 287349950007067636 289462183329851279 289553826264765925 291421069997629486 294555601888126548 294802379749817403 295111870263888795 295631550007254328 297292681340093021 300559197552605029 303578101814204073 306634883517989029 307548429005774834 308493325811031741 308916906675189483 309237401082793393 309325916880870665 313092562673996456 313749103643651527 315034107636045484 315764791453378668 316512212621824802 317166766126322614 318451851588897460 320477476467329209 322677831737808591 322679361301547319 323275007975968255 324591523209423778 324944700263115259 327738105720325614 327937717309261743 335037191407382227 341119819931358695 342235684847582731 344846670907212558 346614671885406183 347602716141927109 347731244658507313 348773877949357972 349413165737797347 351524535367578036 352172670155658151 355997230235137648 359122954989967616 360783921646461187 361761828381788602 361987164528795696 363746446613118185 364619028661512541 365268507246194215 366876462045713995 368545064263798155 369390458841255874 370248020242968029 370734870480461847 371667868824191351 372392737997005543 374353064382897148 374767627825581607 375437417973481531 375855753446351974 375916482305221872 377072077982708421 378092223149816529 379183394436719605 381848487393833938 383094588273652266 383239046690262827 383708882471439775 383710576894856706 384437096830821119 386215697835253731 388349687604506153 390927273243014823 391410045772595315 395577035602284643 397855431039776900 398030646302461913 398369930608212487 398581732925486223 400674654993225224 402389913201570466 404371031487618444 406611451273332698 407775513695116639 407868678259743764 408788507917380294 408944702172970969 409028028453860891 409975716672500921 410296556770568784 410887724832359706 411508842288092889 411806442070252495 411928818726155376 412964440703579259 420641810674613051 422703178685096689 426073789933542359 426711309185985250 427158203888448107 427163729129089196 427879809378921862 430405244085358546 432634905890725752 438834416888288509 439364221839367725 444298092614611865 444586474388330436 444601957079136258 444897346359892457 446828686673360785 447483688111742627 450060542073239669 450215450575102779 450591547784981397 450706787091079035 450962186236827402 452334517158199881 452446390334913830 452852713201177973 453127903129408356 453871239569916028 454400678463878036 454769673107522483 454771217455735248 455743134406631747 458327966827179741 459036434371809923 460492063846146104 462569719780629782 463516125107949748 466844364956380030 467284429245605772 471499068299631387 476192986709047695 476973000748146924 479758372184119677 484385806144834292 485521565445448308 487272986033277390 488888838864666016 488925313638895226 489337534236694393 489677169829895519 489992126563967141 491379089064795628 492231044917833304 492276516901126171 492482316822193866 493306175037470948 495132874018069735 495558484845503435 495646828187454502 496494516388164943 497124204175558756 499902056134117067 500621878100498151 501764229600799919 501944888767900206 502546223206126098 506512302536124302 508216960434988231 508580046595330615 508735075107169367 509634545404113578 510414829359604260 510744552184340779 512082915733566260 512153789744385643 512462147676205454 515708687289458637 516661155918371816 516700287594513114 518963393922688428 520270451714523305 521456070541584351 528948813049794621 530307617871312527 532101738616708681 534688743460573615 535509510335183520 535616719315306898 536832228819987174 541591671536649151 541699004961849418 542714455767492354 543345688478735877 547194115579262752 549761637233257350 550774318301280298 553082762066968961 553748977987695594 554285262759242894 554584905155998678 555224812510403324 559600864965210141 561257081852296544 561679611152614544 562977694035640587 563380521773825827 563839175474400845 564279288385409299 569330443248809554 571621349132678153 577843764722432770 578966279746477049 580421058143771388 580528668674176599 580748995544338279 581082399314192142 582292990810165556 582369298892347631 582901610436532598 583928296328447382 585445847658126656 586701170069009066 587720184404394688 588886213070776290 589381221839135759 591511688418872154 591800926121405899 591908643201227927 595031432197887990 596037141401585796 596133142973987073 596180814498839304 596979537690829019 598155615536960562 598469566301583984 600412177477991207 606940179783785268 608748440202907437 609144020314717784 612092175819289164 612901110273036125 613620663166836013 621493622986877737 622852462959523959 623214436601263469 625104460779134865 625408901318408831 626319728473527011 626544645407673806 628909323974755280 630641731151675369 630835190169554189 631854016802892402 633032723236499262 633456245924350690 634542801968647254 634546028024407104 637484583542477135 638219059622169687 641414231286192576 645086339094804151 645477768770999219 645790089118574973 652287326679888561 652543485782777359 652691901728536735 653284607252471893 655710926000111933 659135219187695412 660447642161840433 661359640488645102 661522203028245872 664970653549534151 666357862097242059 666784511921930861 666843263824243296 669268574668572960 672724840991530596 673583149868113973 674398607667591567 676237985124745996 678855067786659524 678896409547008369 679539809961149869 682018952531359638 682030441613342490 684157451029158303 686476507571789082 686540350240892602 689739957026853071 690680644525139556 691092878618330320 691711527291658363 691959511475902390 693399292236884633 694394921911837872 698545189060697486 699556984015528021 701014074199121521 701779972603058291 704762311645809735 706133314166311864 707042350082002801 708483352694700721 709058843408427094 709094192506501202 710380100900207327 710722690295737203 711172780853989370 712241408043664990 715791100542650785 716711324234526218 717616880402015040 717797696664606261 718977516376310308 720626371288583937 720636890261839946 723079415746803607 725792492658349337 726020374340386855 726427906004655928 730339915191340369 731301264781062463 731472040069510741 734875810529427264 737105093120124520 737311332500772158 740192697744696263 742639762867243925 743142267968167347 746849399565063794 748075115310152173 749748675668826472 750466742490103330 751302879809731706 752271555309923577 754731496767176945 755090386222491118 759397129956458253 764155950195265310 764629220114398410 765142942922255491 767005141716583314 769019867231935834 772118836245266643 775390000648953192 776329717770601666 780059395935719778 782860534649435696 782926661108476189 783110693156548820 783539306442402977 783781103138063551 788687913358179494 789732299824390342 791836541227564721 793352144321448629 794292643834708549 794924826407436518 797286578474027402 800825147203720718 803036976736875631 808591764649581266 808785508368589255 808794660336103175 810068244100208744 810210873398073460 811787391287277078 812495710994096154 812632114298677579 813094537995929815 814513824869943372 815613581883451344 816899241486127667 817166681404420846 817519144145002568 817861078164115419 818694937255697482 819833684329379707 820898927827001393 824068867701995181 824944152802565331 825164143998912400 825641587632992676 825843332970970607 827010722812766646 827299312838519475 830400080622387935 831091548495174774 833900152616823074 836540869579244631 836793482332697387 838766284148054234 841294719095283097 841763068972725883 842232063609561183 842399983751403830 842549670021899142 845150335660946540 849782964397470425 850909325042716050 851733505823894642 856411103891974748 858410691663082851 858955348912852526 859572772990839311 863264924648837460 863477824124603088 863605700623573375 865113086116835420 866740108411290465 867703913571530571 869505470438888656 870720392342909141 871291590210880525 874535965265438081 875982755270718619 876640123313160972 881535885979215031 882024115605597333 884681026554114071 888760380849614073 890441339450671092 890906873911263652 892667454331227968 894085270696713771 894692706415759186 896490307504759694 898418934912971697 898813194288977687 900159315563213311 900399082871234361 900673665835441172 900874085009679156 900989951645667701 902468491139867651 902818241278462812 902930279032137950 905506228726541576 906464303306781905 907067555646615406 908042060511511291 913116973688648017 918586949114247260 920268966065565448 921178724227604937 924107426032421848 924444830991166948 925056729863345926 926904668002702094 927561754221596955 929471472600329682 935934229469679590 937454154284586874 937457692869572479 937901656085290519 940550486911946103 941765952855743601 943949034464949151 944449103666174092 946755919068874042 947526123644906388 950226390127932022 951335238963429389 951737591346480556 951762569308585985 951785771219178335 955745541591958681 955749981566194905 955809488707567366 956354417198168506 957794643015455149 958061815979148310 958485008470865519 959037096245873692 962011133454171413 963170036389424877 963793884134725503 964667939787918406 965162590432399971 965165867609869860 966688144055809457 968218163035173402 968618557518163955 972136360420296481 972460781785064385 974283853755285872 974289929842153865 974995343955939780 975058701402021827 977452404323497852 977535080248533460 978435949685312572 980174270291719571 982664734439729683 983342828624643619 986760834729437635 987590365348145523 990596594402811812 990735073314699864 991228677381333259 991260455626109685 991277477529850982 992099745395413537 992416320644875542 994513343411134726 994727771671117329 996106852463567584 998685549876253827