Report: The solvability statistics of the Freecell Pro 4-Freecells Deals Try

Online



Firefox, Chrome, Opera, or IE10+

Table of Contents

Introduction Publishing Date: 12 December 2016. Updated: 18 August 2018. Theodore Pringle had posted an announcement to the "fc-solve-discuss" group, where he said that he ran a Freecell solver over all the deals in the 8 milliard (1 to 8,589,934,591) Freecell Pro deals range which are based on the original Microsoft FreeCell dealing. He ended up discovering that there are 102,032 impossible deals and 46 intractable deals. An “intractable” deal in this context means a deal for which all definitive solvers ran out of resources (usually memory) before determining whether it was solvable or impossible. (Also see a discussion about it on Reddit.) Further analysis reduced the number of intractable deals down to 9 - see the updated list. I (= Shlomi Fish) set out to determine the solvability of these intractable deals while using Freecell Solver's depth_dbm_fc_solver, which is a solver which occupies relatively little RAM, and aims to completely scan all positions in a board and conclusively determine whether it is solvable or not. That solver was first ran on an Amazon Web Services (“AWS”) EC2 node with 256 GB of RAM. (Thanks to Jonathan Ringstad for the suggestion to use AWS.) Running the solver there has shown that 8 out of the 9 deals were impossible to solve, while the 9th deal - Deal 6825625742 ran out of hard disk space (we were given only 8 GB of disk space by default, which turned out to not be enough). After some delay, a new EC2 node with the same amount of RAM (= 256 GB) but this time with more hard-disk space was rented and the solver was ran on deal 6825625742 again. This time, it ran to completion, and proved the deal to be impossible as well, thus yielding no remaining intractable deals in the FreeCell Pro range.

Conclusions Out of the 8.6 milliard Freecell Pro deals, there are 102,075 ones that are impossible with 4 freecells, or approximately one impossible deal out of 84,000 random deals. The list of indices of these deals can be found in a GitHub repository in part based on a Google Drive folder maintained by Theodore Pringle. Note that 6 deals in the range are also impossible to solve with 5 freecells. These deals are: 14720822, 647519280, 3015622123, 5705339228, 7273316239 and 7573544118. They are all solvable using 6 or more freecells. Some Reflections One surprising fact is that solving 4-freecells deals was much easier for us to do programatically than solving the same 2-freecells deals. An earlier report about their statistics, ran into more difficulties solving the first 400,000 2-freecells deals, which is a deals’ space smaller by over 4 orders of magnitude. Perhaps this can be explained by the fact that many more deals are winnable using 4 freecells.

Charts Queue Items Per Iterations for Each of the Deals Note: the depth_dbm_fc_solver uses a variation on breadth-first search where we keep a queue of items to check and check an iterations count of states. The x-axis - "Iterations" roughly corresponds to time while the y-axis, corresponds to the number of states in the queue. Iterations Summary Table Deal No. Iterations Reached 219,837,216 977,634,853 1,252,215,044 358,506,418 2,255,988,055 566,936,438 2,901,685,480 330,747,308 2,902,413,565 348,126,072 4,260,084,873 1,144,307,654 6,687,921,694 354,953,970 6,825,625,742 7,062,586,101 7,489,392,343 507,133,501 Deal 219,837,216

InQueue 126773 267433 300693 82717 375644 678000 1153641 1604353 2004580 2092355 2196298 2326615 2535347 2816566 2945301 2939378 2941988 3087367 3327901 3741120 4141617 4539343 4752612 4866453 5015757 5150328 5421701 5628154 5675434 5654307 5695429 5545805 6366440 7293812 8179173 9107670 12491169 17501723 22087261 26726335 32122999 37317488 41850606 46810067 48716721 49110919 49053118 49020171 48832531 48880241 48931004 48854778 48746808 48635006 48506688 48386783 48277624 48157718 48061058 47921517 47735254 47567536 47432943 47489254 47711981 48156562 48550682 48955269 48977220 48943381 48778123 48868913 48975084 48901068 48829513 48752955 48665225 48526958 48417006 48302638 48191525 48086233 47915598 47754946 47648142 47583479 47669024 47903807 48375730 48792010 49277190 48723157 48063025 47429093 46672244 46008209 45420358 44804027 44179713 43555004 42873439 42183845 41441090 40682710 39901724 39097759 38360395 37616612 36853082 36068558 35294008 34462933 33762573 33151374 32506778 31768817 31070558 30456304 29820465 29169653 28527415 27879992 27206105 26531014 25765197 25004792 24209895 23431769 22706060 21963938 21212274 20452358 19659031 18800191 18058192 17496329 17438053 17226082 17260644 16813948 16321602 15908098 15714228 15713991 15553917 15033692 14501011 14087541 13935432 14732172 15260264 15715408 15816269 16525046 17000500 17473490 16967586 17224441 17668513 18168155 18335258 19006433 19515918 19902432 20392517 20604419 21028927 21530834 21666943 21701918 21803605 22065845 22134459 22550437 23095158 23214649 23248805 23341220 23609990 23724988 24071371 24481346 24678554 24559374 24299695 24128243 24084779 23971149 23939917 24133579 24359835 24213296 23950009 23729590 23658244 23545698 23449189 23556591 23757209 23954730 23656137 23280872 23029728 22726921 22495099 22451311 22427757 22307838 21958264 21626755 21399804 21087963 20890623 20852743 20829497 20764771 20317687 19948188 19592923 19328095 19122277 18859850 18468196 18113186 17751837 17503625 17268537 17149021 16882589 16671037 16231565 15927463 15591482 15374230 14920793 14578689 14397959 14164473 13737653 13542583 13304763 12799116 12735704 12841099 12865433 12919678 13152690 13074562 13190745 13043571 13262910 13335877 13540550 13612888 13724769 13898985 13992973 14209332 14266956 14357750 14284529 14235789 14291464 14150154 13851260 13692970 13399391 13176905 13013641 12781696 12394314 12227568 11824811 11634434 11454764 11341871 11254987 11050561 10982007 11068182 11166185 11051679 10904574 10809010 10583025 10248085 9658937 9616755 12061100 18550667 19370378 19950702 20962416 22090540 23126153 24009259 24634450 25659901 26839910 27867634 27958360 28005913 28088391 28308259 28505209 28744798 29049123 28935572 28904668 28957862 28976172 29178628 29363262 29539319 29763831 29979834 29659731 29305793 29037002 28670376 28439760 28157835 27910466 27717899 27667011 27361554 27122338 26776971 26538866 26261528 26062296 25877372 25843839 25625246 25376467 25152050 25066547 25104650 24908852 24658774 24440544 24329715 24437691 24100015 23601055 23009318 22682932 22294034 21793261 21285841 21032814 20830225 20352469 20097208 19554941 19386823 19312974 19721144 19633356 19590870 19715387 19693185 19357965 19132244 19198477 23202921 27290007 31306860 38208824 44891032 50158727 55684012 61900427 62437506 61796288 61153216 61564139 62088800 62642845 63408676 64166650 64855557 65487546 66052178 66840346 67483428 68540888 69338268 70009432 70724835 70634904 70471418 70170731 70066687 70183666 70091378 69978062 69702413 69550432 69823821 70525559 71258593 72179732 72886902 73629708 74695660 76018491 77176991 78501107 79513454 80558092 80981030 82134210 82630529 83713222 83886424 84444433 84619077 85331873 85917587 86837611 87430828 88177255 88353121 88791921 89110809 89502730 90144265 90543967 90911070 91251097 92241996 93927559 94991889 96522737 98383176 100895165 104274950 107372435 110802756 113957693 118133416 122509070 126893616 131817077 137132696 142332227 147485790 153057633 159675750 161979454 161270993 160557911 159885143 159180956 158447173 157730374 157017627 156348225 155624887 154694885 153742876 152796261 151796261 150815844 149841352 148911087 147931429 146931429 146175733 145737888 145265564 144858489 144456815 143890844 143461531 142978411 142527967 142110549 141689811 141363629 141539673 141677762 141698917 142103858 142097374 142248737 142401443 142432803 142851955 142652832 142799293 142993147 143104523 142996621 143047806 143260256 143266151 143148107 143074936 143189808 143213856 143312757 143396085 143518723 143690734 143874933 143860072 143980821 144169605 144295868 144290021 144539685 144420934 144420356 144580848 144472601 144281428 144558086 144463804 144620772 144461160 144604498 144636725 144402038 144070924 143847519 143644030 143287854 143146147 143297308 143619990 143890546 143603993 143944207 143652791 143417955 143143784 143361044 142797328 142341221 141887835 141390313 140811829 140249990 139697936 139200942 139047951 138488597 138063627 137614179 137128053 136592527 136029940 135478098 134990465 135025395 134620903 134207982 133747224 133307488 132869008 132330220 131877012 131807236 131606338 131213246 130747263 130328592 129959036 129534663 129001639 128579661 128612754 128785175 128950336 129148093 129226504 129505839 129989971 130156186 130366862 130485968 130729864 131251227 131229841 131350334 131432919 131409038 131487229 131587868 131646438 131620007 131626051 131698832 131712818 131919784 131975440 132499954 132565268 133151803 133380534 133813437 134229636 134875306 135356259 135885755 136512925 137035341 137398027 137634071 138450286 138388197 137403460 136447589 135564325 134717864 133869413 133138611 132293610 131452674 130905980 130836987 130939100 130814921 130753078 130850984 130961546 130925821 131009614 130825037 130827291 130913072 130863880 130708250 130396656 130080274 129712024 129563441 129247348 128915882 128590347 128534876 128563557 128618396 128544130 128554640 128622217 128764452 128664927 128764044 128866428 128969067 128917448 128927296 129113851 129140886 129124656 129265166 129343424 129373672 129472661 129472073 129481134 129568703 129693592 130112303 130622673 131228898 132002871 132853417 133385145 133950965 134552518 135125098 135742786 136327168 137073025 137589473 136794584 135849621 135027595 134109444 133153644 132177359 131186273 130222505 129253327 128298527 127318168 126325428 125436154 124628676 123727741 122957124 122063593 121372617 120625427 119715963 118959669 118157423 117337601 116708108 115894437 115032749 114179664 113316577 112358431 111360741 110502825 109604402 108787408 107904061 106988551 105990989 104991525 104239530 103486250 102641765 101793172 101064047 100275474 99292622 98632975 97969489 97226995 96566553 95898852 95089649 94521543 93813688 93140072 92500977 91735192 91086271 90211652 89533713 88741751 87963948 87314821 86651481 85945292 85260701 84485128 83703886 82958079 82199966 81431329 80750934 79995557 79000603 78598796 78211713 77861323 77582680 77147795 76843310 76575713 76266181 75948734 75666909 75219154 74930698 74673402 74153114 73509166 72947344 72480640 71831989 71345661 71032455 70586481 70330221 69966471 69520124 69267199 69004050 68684657 68286285 68124564 67842759 67634192 67228063 66945027 66834272 66532853 66228566 66109991 65865686 65578550 65458776 65249420 64969412 64640691 64364684 64145230 64305322 64498335 64685676 64779899 65031087 65231818 65344346 65469609 65591186 65765753 65914071 66112671 66368987 66623231 66885302 67169330 67478347 67714112 67936047 68225464 68288379 67413406 66599621 65779040 64897456 64030453 63224734 62408124 61662916 60868116 59999240 59475209 58988457 58419365 57876069 57379023 56930239 56614972 56131234 55654902 55199437 54907135 54357755 53735926 53093244 52719127 52227085 51807377 51369435 50917410 50265409 49804947 49352750 48744566 48206505 47842967 47334823 47067939 46601154 46238187 45943533 45541084 45081783 44754479 44554134 44542287 44394093 44374758 44085689 43968452 43822527 43574513 43339292 43098854 42835999 42642313 42500068 42431467 42452911 42437493 42455442 42335215 42238653 42282981 42215254 41999742 41855740 41802814 41771104 41545150 40935809 40293718 39556606 38972600 38366056 37778901 37244965 36873852 36637194 35955429 35256914 34565564 33825644 33193431 32684930 32214218 31727580 31013143 30454746 30023504 29596653 29175631 28656839 28119322 27844197 27348406 26819864 26154034 25679265 25174474 24844272 24459507 24063064 23670547 23259032 22883420 22568546 22251491 21772650 21393877 21062757 20629510 20466695 20007988 19667190 19164555 18494175 17814816 17125533 16413395 15839539 15161152 14354956 13423397 12678661 12144730 11615138 11131246 10655637 10008915 9482295 9074953 8971050 8520790 8557504 8319637 8321248 8138516 8269161 8265113 8489495 8378507 8352823 8267665 8070686 7740929 7658980 7577812 7426708 7157344 6602013 5887577 5207540 4550892 3772448 2958875 2161397 1591564 1109003 1237587 587902

Deal 1,252,215,044

InQueue 26878 706108 795979 972989 809074 894359 751781 1369640 1895113 3067186 3053587 4121798 5124487 5291763 6180880 7248535 8671614 10101078 11144598 12179621 12982678 13812592 14426336 15662225 17000606 18136937 19087087 20075586 21056538 21906776 22815297 24134799 24929641 25748269 26553742 27511568 28358748 28006450 27567846 27091449 26601342 26070271 25562430 25142049 24672330 24275654 23853667 23385806 22891916 22354215 21813971 21350231 20932532 20513859 20054147 19539809 19036026 18545234 18061770 17608093 17150844 16680570 16108654 15628873 17065137 17319456 17504958 17741991 17947069 17788540 17319640 17767985 20690978 23766963 24761369 24426351 23798684 23173956 22477154 21854088 21166922 20530975 19868770 19625327 19780507 20820879 21271343 21613391 22017736 22001678 22134183 22226039 22523801 22539538 22320553 22620901 22359793 22196841 21901106 21615601 21335495 21102037 20747728 20500407 20207870 19873307 19603088 19199121 19046783 19034285 19006189 18649704 18715304 18769583 18237753 17442076 16615207 16210475 15549315 15471073 17872762 20096570 22119688 23957204 25800798 26981909 29559352 31777033 33463104 35241731 36733902 37888808 38131193 37337858 36675275 36023124 35533294 35115395 34683499 34156879 33641255 33109570 32731257 32221490 31641765 31144613 30586344 30139281 29493635 29102415 28404317 27946285 27484208 26956198 26498005 25931243 25387087 24837647 24352970 23882820 23460674 23022274 22558733 22053476 21543956 22018415 22537070 22519154 21952809 21490771 20907057 20393970 19891938 19314484 18835455 18479131 18186462 18022881 18513497 20822761 22897801 24023754 23314091 22810150 22095214 21403851 20791238 20143293 19762818 19103578 18577774 17967938 17536923 17252450 17475661 18605518 18886637 19179538 19408889 19585566 19843044 19951898 20128420 20785261 21827270 22784702 23101758 23299943 23535815 23688066 23877945 23973247 23892789 23976716 23933270 24116135 24256787 24416650 24570528 24869121 25339838 25751319 26227637 26403247 26471122 26745104 26914006 27028972 27357741 27622834 27625739 27708407 27876756 28145777 28479035 28792996 29098795 29274360 29158100 29209207 29270530 29333756 29457257 29889955 30436281 30905785 31404430 31825277 32126713 32704410 33174215 33691017 34006040 34549894 35081549 35392114 35539201 35967818 36180174 36734573 36960348 37379434 37814698 38302634 38814691 39231073 39689442 40099440 40508787 40575755 40539044 40526482 40559313 40658144 40747836 40729747 40827605 40845979 40763590 40814066 40806594 40783237 40882599 41065793 41174223 41182982 41323648 41255713 41388444 41308244 41254648 41342806 41417427 41514518 41526794 41444761 41137764 40667722 40767528 40708368 40486613 40193665 40093479 39831006 39582347 39441118 39021292 38627594 38324315 37855017 36901874 35943858 35485554 34841819 33890159 32937643 31981957 31014089 30041004 29076892 28118294 27214642 26283145 25528498 24569491 23645746 22758898 21920408 21058153 20186532 19302738 18385074 17508614 16580658 15615474 14695862 13856790 13033619 12181661 11266504 10415578 9548736 8670601 7773618 6858402 5911104 4979756 4632488 4997746 4504626 3516136 2652398 1769495 1588421 1919920 1850862 1506418 506418

Deal 2,255,988,055

InQueue 858369 606208 691855 1034683 553169 946009 1689504 1891681 2465420 3857603 5599016 6572500 5959744 5525636 4912692 4279169 4258355 4503884 4817220 4953576 6765670 7340732 8544583 8426101 7742457 6844338 5952422 5540390 5364992 5297143 5291014 5250292 5476045 6288051 7048405 7718000 7908758 6932325 5964310 5326966 4736538 4197782 3570493 3207415 2886990 4365708 3992447 3680258 3509806 3697349 4127331 6843369 6945855 7109364 7119748 6970115 7123834 7233880 7958625 7870985 8055307 8306060 8326807 8533293 9993618 13498874 14131703 15203429 16977283 16501421 15979418 16423345 18057885 19700620 19463468 18847138 18538825 18415798 18586452 18298416 18981573 19709618 20395312 21098187 20991798 20477127 20551450 20956076 21500162 22045367 22556523 22743639 22656499 22828374 23057115 23117455 23149191 23073333 22989028 22824757 22373170 22448420 22744461 22595724 22227942 21759398 21754318 21616022 21430280 21437765 21788867 22003404 21567735 21853692 22225758 22611277 22983794 23384848 23738273 24129601 24386356 24657286 24824574 24959778 26231979 29315795 30356469 31124416 32054985 32373921 33133158 34067034 34950529 35925303 37188057 38006700 39093760 40101067 41090287 42167399 43353962 44764201 46475977 46141387 45813282 45733320 46008497 46270880 46263204 46213022 45888991 45332214 44826904 43991782 43381819 43068592 42537346 41996987 41543455 41140151 40630260 40281371 39897193 39513208 39196108 38902261 38645678 38342062 38090874 37824112 37460172 37137988 36856423 36569528 36307826 36116835 35771314 35485739 35208343 34968224 34837156 34561230 33757842 33542500 32720423 31963126 31433533 30765541 29885850 29034742 28251281 27452151 26747446 25887238 24936953 24058608 23520696 22603412 21676977 21307092 21839414 21753398 21725492 21573030 21734761 21376233 21465468 21356417 21544009 21398242 20650166 20060534 19668844 19345445 18846340 18298568 18125908 17852952 17617825 17777835 17581155 17769494 17876732 17627132 17715039 18012699 18434728 18867676 19173425 19450428 21700501 24171616 25240511 26285168 27125958 28859836 30870876 31605545 32041951 32715675 33020824 34277035 35535812 35780470 35406081 35454341 35557031 35244451 35206280 35034998 34036022 33493695 32851126 31939022 31210659 30565878 29884974 29334560 28886761 28571075 27981576 27156756 26470747 25906866 25401782 24785272 24390940 24143312 23673316 23341988 23009042 22538829 21680310 20880738 20247746 20079222 20069512 19871189 19340277 18492790 17576758 16899355 16261046 15778977 15343418 15585948 14937575 14376387 14010867 14055578 13991231 13847877 13712259 13239983 12550454 11897262 11682687 11448100 10968548 10602159 10250294 9646988 9003708 8696307 8152953 7784341 7475799 6877302 9050354 12858435 14263602 14370825 14686317 15080407 15291545 15666596 15644704 15964996 16880152 17474328 17007937 16412299 17593747 19036220 18779586 19845721 20169131 19580470 18762415 17960182 17456816 16779935 16193750 15585434 15043941 14391670 13513925 12739432 11913083 11786773 12217919 12510263 12403028 11730708 10992414 10282796 9615030 8623222 9063668 8447990 8066486 7667860 6991473 6289077 7312320 9580827 10211807 11211950 13281145 12925630 13228491 14192909 14585178 15247790 15579803 15546291 16239195 16536930 15851830 15481464 15613308 15198337 15306055 15783736 15362016 15325902 15573327 15578806 15613472 15212449 15671243 17872256 20248743 20519798 21374103 22803984 24047322 25784118 27076541 27733765 28560469 28684823 28749693 28521622 28631366 29225223 29218368 28996151 28763342 28595690 28342060 28097859 28045026 28105024 28145057 28399562 28315526 28355672 28374857 27836783 27644356 27280222 26704298 26268489 26006322 26085716 26282921 26362145 26207784 26170315 26268237 26448756 26332066 26361675 26189339 26478779 26503947 26949859 26548204 25766871 25252536 24785051 24127370 23481056 22975515 22457327 22021211 21603213 20940726 20211055 19576630 18958844 18388683 17844152 17340027 16636325 15989174 15244928 14723180 14148854 13487175 12755341 11988920 11219228 11206199 11439478 10607414 9810887 9055287 8524164 8978080 9448695 9926658 10911806 10868429 10841494 11321458 10850733 10130486 9679813 9495695 10150262 9898269 9661466 9101817 8730314 8029750 9519088 10012574 9446101 8876789 10781681 12577551 12797604 13057413 13617639 13144105 14081752 14730180 15215104 15581410 16380634 16131575 16431909 16552758 16713965 17152225 17606375 18059503 18218259 18030279 17830193 17641649 17465601 17348090 17305638 17160634 17211857 17597821 18621720 19407999 19279297 18995425 18810781 18661321 18178180 19237942 18475510 17793999 17181672 16560621 15796446 15085835 14375536 13762032 13141377 12729688 12031143 11417045 10875061 10199093 9577078 8807907 8070646 8552769 9436134 9207606 8283382 7449270 6790192 6527344 6434046 7194014 7678533 7192591 7387732 7341056 7358070 6652645 6371501 7224359 6663827 5996454 5555698 4870677 4842880 4302087 3746806 3085003 2689387 2623437 2106102 1927208 1183350 673242 268790

Deal 2,901,685,480

InQueue 369095 931309 1611903 2291607 3040581 3748183 4892104 7129408 9260824 11235975 11883770 11723333 11768559 11858855 11920837 12170545 12165759 12182439 12187808 12243061 12319616 12178072 11508538 10856065 10291518 9676264 9078247 8573305 8123129 9628647 9911489 9814810 9991119 10576733 11149348 11610848 13081784 14572834 15994376 17173529 19793756 21890157 22460456 23369047 24056255 24938465 25632106 26222368 26772361 27382447 28015434 28550608 30894100 34471507 35160883 35672055 36089391 36366264 36687156 36667882 36631871 36726655 36689696 36817254 36934219 37183458 37177963 37172292 37222929 37252190 37360261 37565880 38175512 38879218 39518807 40265428 41187568 41973561 42084840 41408034 40725218 40123269 39584125 39243832 38864361 38496220 38144832 37831375 37437432 37070328 36710290 36423645 36058108 35721228 35391575 35120415 34799899 34486560 34094774 33425729 32713932 31871086 31015887 30098284 29178915 28565205 27836428 27447130 27072470 26607962 25864780 25789244 26654317 28320585 30007436 31620131 32960883 34324191 35746120 37772126 39731825 41658283 43594958 43898871 45705213 48067453 50045817 52252812 54253009 56294709 58202593 60318586 62471001 68474184 68865267 69185539 69213333 68958911 68749977 68676611 68477564 68337249 68123735 67918405 67579101 67312809 67271107 67130138 66940057 66762199 66525887 66211809 65973901 65785115 65574549 65357955 65059382 64777773 64502123 64403565 64213701 64043206 63790579 63587979 63641717 63679585 63469982 63499491 63372935 63285954 63195252 63069685 62784087 62553078 62533770 62395831 62298291 62165438 61978566 61697784 61495921 61387563 61255695 61060090 60855002 60566486 60396757 60310208 60194538 60010686 59821555 59978226 60778176 61608685 62534710 63453742 64366542 65285513 65309895 64622594 63809740 62888796 61961215 61045642 60141995 59278226 58380495 57490590 56616537 55752636 54847452 53944472 53085645 52175154 51276906 50436992 49550790 48618104 47690769 46759105 45831689 44903744 43972561 43046656 42116331 41186747 40259899 39329845 38404514 37474008 36545945 35617010 34690747 33761084 32831474 31904224 30977862 30046410 29109978 28178647 27236168 26295060 25354303 24414935 23474160 22530420 21593724 20653516 19721355 18820834 17918065 17015340 16147626 15192877 15766708 16412672 16807466 17354110 18012892 18656464 19363189 21544831 23596887 26615885 26773755 27352884 28680846 31131169 32960390 32605949 32186666 31719685 31265875 30779295 30295144 29831740 29338124 29590298 29751940 29794068 29905991 29960063 30041811 30072793 30191769 30355247 31077943 31875843 32100642 31164086 30283719 30065370 29770630 29462745 29157272 28883248 28662846 28447354 27873772 26909666 25944956 24980588 24011283 23038124 22061155 21089913 20112492 19141281 18165228 17193329 16226796 15270290 14306377 13342454 12379531 11404494 10417836 9430560 8447444 7465068 6586852 5855669 5035275 4127438 3791136 3606785 3184832 2456492 1702252 747308

Deal 2,902,413,565

InQueue 203930 352192 370172 390278 194854 108601 186120 503417 714438 745914 789397 858149 1349725 1926104 2558518 3160599 4269599 4925625 5386726 5597037 5882791 6215333 6520558 6674766 6555518 6437944 5944328 5309329 4677423 3976190 3336026 2666091 3111390 3141679 3693052 3880490 4375256 4799674 5043646 5898605 6986883 7087100 7410338 7566536 7446581 7489190 7788235 8232710 8159141 8292664 8327479 8430731 9039717 9382157 9935395 10553022 10827888 10203771 9456633 8722295 8007947 7174921 6398785 5641676 4850536 4139975 3443828 2768088 2022779 1862814 1705730 2634397 3472226 4260618 5029164 4625411 4930301 5150219 5385054 5476247 5540748 5623212 5269224 4792678 4317327 3782640 3282961 2873540 3625115 3506647 4074754 3996037 3989195 3874947 3637938 3600898 3090452 2429310 6970273 10104086 10932094 11770992 12471006 13075460 13959097 14729459 15260297 15694698 16406488 17200872 17885822 18561405 19213136 19832520 20496431 21161555 21766329 22417931 22644510 23037638 23565609 23963619 24332300 24670576 24847931 25055015 25320029 25680660 25973837 26293865 26546801 26802355 28134188 29242303 30452701 31457740 32614839 33769015 34906759 36008188 37011805 38060581 39179272 40410055 41735169 42404646 42589117 42964022 43463338 43971057 44387119 44912293 45097702 45366213 45675210 45889952 46056982 46272822 46679639 47163064 47726881 48162686 48607214 48863141 49137289 49251851 49346260 49321867 49226636 49187992 49232754 49232446 49234207 49205540 49279252 49282553 49283494 49284915 49277890 49296913 49311897 49421252 49470392 49525190 49545213 49534984 49488457 49421285 49348770 49301624 49741147 50186098 50781021 51256685 51627235 51969579 52242437 52460975 52730794 53081895 53306655 53549245 53802259 53959525 54019997 54225784 54298218 54449850 54701246 54878987 55055179 55384689 55534544 55755677 55876634 55900276 55900733 55912886 55773713 55632545 55564672 55533668 55454042 55290296 55156667 55160591 55094327 54691929 54198989 54503583 54827641 55023407 55409628 55705520 55891776 56385642 56921837 57227086 57537264 57928692 58327677 58680250 59201718 59295874 59341090 59335483 59389993 59451895 59725096 60126263 60533945 60376004 60206643 60064082 59872306 59152248 58445789 57773366 57042701 56323748 55649588 54992504 54381417 53736561 53163616 52576409 51980850 51402122 50783598 50184569 49551907 48957134 48325585 47709363 47090814 46452193 45796875 45070237 44412055 43735264 43056305 42404629 41668504 40964385 40296732 39619426 38930348 38255534 37571565 36895606 36202561 35676221 35130685 34591228 34029694 33452250 32864690 32293128 31728851 31133082 30518585 29847954 29183346 28488950 27790253 27236065 26637456 26129457 25531853 25008477 24448702 23810604 23290471 22647896 21837710 21033887 20256440 19496952 18496952 17910714 17603554 16862349 16291321 15739802 15296051 14931160 14161428 14311351 14590673 14209093 13334945 12502801 11813197 11215394 10582365 9655662 9068165 8357496 7623630 6862564 6077905 5290317 4463933 3942406 3126072 2126072 1126072 126072

Deal 4,260,084,873

InQueue 389395 436038 726878 2194725 3519902 4315046 4826330 5249675 5559350 5687756 5884502 6434043 6308539 6300088 6215597 6075558 5996486 8991621 12032487 15003118 18531036 23249802 24707089 25711644 26602347 27410520 27919388 28353020 28459473 28542948 28583778 28251768 28124452 27971003 27751932 27572042 27560552 27634611 27681070 27784176 27898600 28017168 28141074 27841597 27845278 27557834 27527948 27343385 27188919 27153865 27425240 27733618 27685907 27688898 27778462 27250240 26873527 26576731 26532930 26550568 26411056 26270898 26064072 25875203 25628519 25352194 25894047 26685264 27802261 28736077 28986387 28979918 28882394 28952334 29441626 29960970 30688730 31174009 31627059 32119397 32860016 33431795 34150653 35087376 36443753 37282060 37759392 38450004 39506845 40515359 41523523 42310895 42902142 43602993 44353356 45301672 46153859 46782027 47306903 47751660 48737308 49871570 51099745 52034910 52774160 53307457 53913307 54547328 55051436 55694640 56233962 56262776 56067230 55820625 55499618 55219066 54862330 54669659 54559761 54783660 55052085 55842429 55763065 55689984 55619808 55525310 55434407 55621335 55861316 56092060 56899452 57613032 58338600 59132719 59869349 60622706 61389369 62020528 62635412 63198771 63642126 63734695 63794520 63832767 63866741 63698060 63935779 64207425 64591263 65012187 64992267 65183037 65480277 65781319 66029588 66270717 66533216 66757826 67038418 67306062 67506544 67772112 68035543 68252095 68427938 68355190 68296603 68115481 67917889 67459375 67055329 66762048 66548789 66639964 66862276 67026557 67168138 67401697 67603085 67835594 67954228 68522384 68885250 69493476 69950806 70311853 70763625 71143956 71521690 71930273 72270159 72633515 72852078 73076318 73375213 73559440 74034393 74236742 74601880 74968425 75424744 75934820 76696917 77457515 78172368 78205765 78038707 77869966 77757581 77584627 77411340 77347310 77203433 77001060 76969416 76817480 76657422 76575885 76607739 76587841 76506279 76442854 76388730 76200582 76365894 76570854 76814325 77129937 77336372 77850119 78231442 78515194 78766806 79008524 79295489 79631419 79901612 80197934 80478939 80619727 80836595 81038089 81219760 81402110 81700044 82040744 82546857 82620131 82653344 82851988 83078355 83474045 83884083 84261329 84986291 85436350 85846759 86219500 86513521 86799173 86818764 86905781 86937020 87005763 87108402 87159257 87305581 87330031 87450274 87496549 87442829 87386285 87303407 87410467 87919796 88212721 88502381 88716617 89005732 89252992 89535656 89869278 90155903 90638905 91124219 91525752 91948807 92093487 92212423 92351583 92507296 92583980 92747253 92893941 93076979 93164824 93234286 93314780 93397594 93362541 93529138 93732419 93942672 94167451 94317905 94706658 95116532 95459085 95783625 96116263 96320365 96543667 96761584 97039541 97366936 97868038 98129247 98653810 98836116 99267873 99522319 99834519 100103308 100269302 100537423 100938001 101088016 101267465 101507421 101800103 101990918 102395245 102717536 103235368 103621348 104123167 104766030 105481217 106107572 106764968 106922116 106962522 106929908 106982566 107009425 106971899 107006843 106975166 107024075 107053757 106743356 106384152 106024287 105689756 105475649 105260597 105132720 105069843 104875802 104967020 105189514 105438761 105719717 105955660 106274207 106647098 106899042 107281151 107655972 107894920 108348219 108707111 108978634 109317895 109620860 109974149 110242790 110570316 110799895 111120661 110865695 110431605 110049173 109765331 109734040 110040752 110343564 110679682 111017235 111387430 111785876 112049326 112465999 112766316 113050310 113487375 113870758 114235608 114594970 114999598 115385926 115764444 116123871 116499224 116849856 116673779 116516322 116628865 116663819 116953023 117280998 117728217 118137332 118550526 119044519 119558001 119969545 120499529 120916033 121479629 121905394 122141448 122323942 122884202 123084201 123410866 123840265 123979048 124390885 124760544 124974034 125588167 126643716 126260999 126200924 126744566 127261600 127764044 128220547 128622781 129030972 129536482 130011687 130346180 130716198 131129557 131392097 131790495 132069673 132329104 132397002 132502457 132603390 132642155 132739414 132881209 132947992 133053397 133154329 133193270 133290689 132905428 132424109 131977388 132263802 132547128 132828078 133238284 133504131 133790319 134018841 134288109 134764601 135229574 135488497 135765932 136309335 136440496 137013303 137059583 137607645 137701356 137877330 138034793 138059725 138251809 138358460 138524270 138724633 138741651 138865261 139191866 139120269 139328496 139521025 139667015 139881534 140017333 140275365 140461564 140672815 140932050 141361084 141592050 141787697 141994666 142425841 142645926 143123563 143368441 143761066 143993227 144203003 144350856 144557790 144695693 144921588 145139722 145265794 145477077 145160457 144848430 144952034 145100744 145206888 145311447 145420556 145615538 145685871 145868150 146003512 146605065 146761553 146842030 146956120 147474803 147682281 148172552 148407358 148936946 148725786 148634147 148628584 148417211 148464826 148240000 148138110 148140357 147949705 147914543 148088730 148283418 148469374 148660916 148841848 148958646 149094940 149226374 149353015 149771312 149926172 150079905 150216380 150559967 150609602 150872161 151054396 151415628 151090915 150977964 150748050 150621531 150348676 150208108 150304620 150491050 150524512 150575228 150619869 150717011 150778890 150793115 150867785 150952692 151415286 151518931 151570307 151628165 152089058 152194642 152641827 153009541 153215815 153111823 153104509 153038409 152774943 152698186 152764155 152825231 152891549 152930597 152960959 152998516 153044480 153075404 153085796 153097036 153125811 153092336 153126499 153039109 152875254 152588062 152228462 152011838 152120586 152255436 152365678 152501427 152665055 152784400 152912973 153076684 153190221 153332033 153544238 153745347 153952405 154121991 154230455 154239600 154241839 154250458 154342627 154428611 154604902 154922915 155002453 155239493 155645887 156205924 156746037 157279856 157497642 157605116 157720410 157846469 157981647 158136743 158473431 158620380 158780663 159103326 159463505 159818778 160134099 160442085 160554661 160638117 160716232 160825934 160964439 161141267 161364260 161440892 161523233 161826726 162110745 162290946 162592235 162988182 163168359 163192421 163238666 163304264 163328037 163417885 163575689 163560404 163577272 163692921 163848540 163882515 163989751 164091923 164087905 164019621 163960842 163880153 163768673 163764441 163735367 163565211 163560483 163562216 163444983 163014425 162646078 162661289 162673824 162639270 162579459 162633646 162618315 162608124 162419688 162199696 162094407 162011681 161887389 161844080 161806919 161852799 161875142 161824219 161764202 161735685 161447511 161303957 161142413 161087207 161158896 160879541 160673857 160563266 160152077 159770043 159445152 158964550 158149909 157528070 156879655 156174481 155571948 154927468 154178273 153426357 152686851 151953648 151300597 150564746 149765818 149004247 148329449 147635180 146839904 146091461 145411102 144769698 143957673 143271005 142478236 141806253 141216408 140367041 139489603 138797254 138106423 137380030 136574420 135738810 134910228 134168672 133416421 132539457 131800396 130992327 130184568 129366895 128523656 127718140 126933901 126070766 125216406 124337918 123515782 122680871 121832565 120959644 120095771 119343063 118619160 117788377 116924096 116026115 115222255 114508984 113748432 112866184 111961038 111048080 110238134 109500241 108744724 107870959 107051619 106262978 105486338 104766932 104006920 103172721 102282396 101490247 100712622 99988019 99242378 98406376 97547294 96730751 96005151 95285823 94507017 93639628 92764717 91991672 91290174 90613365 89840746 89066478 88217582 87434814 86690347 85952884 85118023 84278709 83503520 82717474 81958659 81230371 80453285 79671699 78898448 78063758 77271404 76484947 75720550 74936588 74154353 73327282 72541065 71818049 71071083 70381901 69562856 68688324 67892131 67139185 66396457 65671422 64907007 64076885 63288183 62532805 61810695 61072215 60360457 59487801 58655457 57876201 57095659 56346223 55539248 54623964 53764568 52928046 52105952 51232564 50423834 49652294 48800652 48022346 47267998 46442411 45663346 44886438 44034751 43212496 42329427 41541223 40776370 39909935 39125874 38352422 37456672 36579141 35701869 34864998 33898358 35774360 36799195 39584471 41860735 43764958 45306088 47974826 49125572 50310982 51906036 53069510 54221074 55467396 56654555 57680399 58755420 60265843 61617294 63377363 64466688 65445856 66509288 66422363 66861941 66870246 66475895 66718047 66711790 66832897 66866772 66510567 66830249 67280771 67050137 66955455 67002304 66778310 66875414 66972769 66901564 66880276 66826626 67005802 67123644 67261557 67157449 67304018 67341668 67405409 67576920 67547251 67489627 67518606 67435646 67497788 67653487 67778360 67786670 67763003 67741660 67751808 67759737 67839564 67906201 68087722 68110577 68137165 68020833 67814296 67725416 67880034 67836144 67954658 68010889 68129021 67566556 66985958 66418705 65566743 64642460 63951259 63521572 63132419 62616424 62673551 62785030 62539921 62093719 62085738 62643613 62036403 61233995 61159771 61259561 60805210 60484989 60245394 60216276 59699632 59863827 59769034 59494812 59188065 58932628 58616800 58359762 58366535 58433803 58242452 57834513 57282893 56707596 57092014 57575093 57116074 57219966 56922524 56788339 56398064 56415988 56016729 56083039 55768848 55944364 55744869 55666528 55550024 55723048 55620008 55462256 55507758 55870152 56341655 56721068 57164703 57265559 57374632 57708944 57803559 58009216 57843759 58103215 58353647 58494343 58797997 59009153 59191382 59100752 59049190 59001489 59364937 59610526 59915792 60065413 59740506 59396375 59072832 58623259 58308275 57744040 57406796 57345539 57062387 56885688 56744734 56563436 56328136 56052676 55765630 55524113 55240722 55170531 54882524 54519341 54211215 54185405 53934360 53548791 53086905 52621280 52334815 52237277 51985199 51925638 51661605 51387738 51221715 50813596 50468413 50029848 49683712 49337358 48957830 48702266 48296303 47770289 47533812 47043308 46743382 46434750 46036819 45532710 45205349 44804140 44346966 43454812 42504469 41554771 40602980 39649030 38700032 37743614 36778054 35833350 34876849 34251309 33501246 32728524 31984637 31309958 30684855 29906406 29168268 28464299 27789126 26992880 26265798 25507699 24711512 23887497 22943686 21951878 21062470 20119814 19221702 18230386 17351238 16394246 15451590 14495620 13521222 12564230 11591799 10611334 9611334 8611334 7611334 6611334 5611334 4611334 3738750 2836614 1995992 1064896 307654

Deal 6,687,921,694

InQueue 127305 211400 1007370 1292523 1365699 833467 1001316 1176504 883619 1041472 1361277 1482302 1453332 1678011 1667223 1062250 619957 743123 858562 319505 369368 123280 1602980 994822 1486935 980840 2591461 3833520 4668898 5597324 6911060 8060952 9420876 10578743 11775180 12821646 13780954 14750934 15806676 16961986 17898482 18890639 19801951 20195429 20577542 20931623 21266582 21558233 21814146 22065251 22326277 22715523 23103294 23449234 23785000 24072690 24330183 24576458 24900960 25522039 26145309 26685317 27168382 27612465 27984082 28359423 28721927 29280717 29899786 30475891 30957229 31427306 31808173 32179328 32535340 32979617 33633151 34303336 34964595 35531288 36083510 36622917 37123845 37617838 38089356 38555297 39140516 39782338 40421816 41014628 41536883 42059129 42554667 43016938 43470635 43899796 44282654 44439767 44614299 44775228 44942207 45081534 45173002 45270844 45360081 45462952 45563977 45657792 45763941 45851187 45931933 46043562 46179016 46326376 46461012 46607917 46691071 46764926 46829545 46902015 46964794 47033012 47095023 47140734 47192527 47243549 47481261 47673034 47878285 48087802 48266529 48376062 48486411 48591540 48687075 48779555 48876877 48963353 49026667 49089297 49213270 49364036 49518013 49668741 49785484 49828329 49871381 49906025 49926818 49936794 49946445 49936496 49918488 49893848 49980123 50129823 50267629 50406966 50515722 50570685 50621359 50675032 50655273 50593575 50523435 50436915 50354077 50266195 50369306 50527657 50673340 50828905 50920921 50993420 51059392 51093998 51038346 50975957 50901639 50821373 50769293 50710162 50659930 50607608 50560600 50497568 50440533 50379472 50309617 50193390 50079628 49953531 49828615 49763482 49744113 49727898 49708359 49691816 49681440 49672228 49665917 49614332 49559615 49492534 49426613 49271811 49060731 48847902 48624245 48284752 47947004 47615763 47439266 47260868 47054006 46845985 46628591 46412847 46193924 45875096 45527135 45177101 44942170 44753571 44538906 44316829 44227133 44145512 44131207 44177746 43887573 43498159 43132827 43014647 42907011 42870247 42890856 42566898 42147783 41751264 41470972 41190371 40899843 40586459 40249701 39941686 39635841 39321071 38996382 38647685 38268498 37868880 37462370 37055891 36630867 36198651 36112807 36233605 36382738 36307816 35797437 35538713 34963321 35065948 35264916 35741268 36258704 36557108 36693450 37064867 37496243 37717596 38013855 38150067 38101373 38041514 37960653 37952667 37842723 37792510 37540481 37333327 37028809 37075143 37185314 37037650 37149757 36654261 36459740 36665475 35959832 35256818 34352092 33455016 32565770 31669228 30832813 29994290 29162129 28305214 27585619 26755482 26043455 25147247 24352111 23528402 22660970 21810484 20919981 20040140 19179017 18344746 17455799 16616578 15723289 14842376 13941910 13062191 12229430 11330776 10483941 9528946 8620820 7840242 6895046 5999986 5081906 5909659 7327132 9391912 12307905 16441088 16495476 15906315 15274861 14566382 13871721 13150686 12376536 11588777 10795084 10075772 9320506 8517619 7731610 6929595 6073326 5304726 4553138 3620213 2672959 1737458 1204333 716402

Deal 6,825,625,742

InQueue 302032 223619 531916 1008137 1222161 1319999 2202774 2608737 2522173 2111289 1862197 2759958 4031460 4156855 3884446 3939539 4633213 5051292 5128284 5468986 5481277 5535423 5590612 5754650 5828128 6043423 6207813 6416387 6597193 6835227 7138541 7414921 7610576 7911401 8093654 8429766 8592447 9112636 9171058 9509509 9731907 9772083 10269262 10100327 10262740 10639348 10502410 10733821 10791004 10922627 10937783 11048412 11115220 11263035 11402017 11374403 11345887 11430367 11256170 11240972 11134401 10898523 10954473 11615707 12253873 13119966 13874894 14562007 15504980 16289759 16904798 18183356 20024699 21695126 22894420 24299000 25948367 27393856 28745434 30460547 32190840 33336614 33541845 33704501 33789857 33877494 33801626 33623049 33535314 33478253 33552600 33586083 33500962 33345991 33151955 33184567 33272383 33257473 32989631 32700311 32366639 32520225 32830066 33118517 33364462 33656358 33746463 33797961 34104222 34413133 34504957 34915799 34963322 35179881 35426516 35878574 36349112 36738455 37147219 37562078 37958053 38311525 38501291 38650669 38707445 38695918 38797774 39264278 39610393 40007103 40316660 40916397 41420584 42023807 42333668 42915731 43129284 42708130 42461111 42709790 42451196 42606861 42567023 42948841 43044470 43152860 43466732 44179272 44745554 45556995 46138293 45635852 45327245 45304192 45407424 45341101 45675047 45866777 45817156 45896831 46160913 46436928 46927879 47386313 47793990 48147542 48220162 48320038 48614134 49088732 49752073 49885341 49983886 50081349 50379814 50549321 50654648 50657147 50786233 50757405 50804109 51036508 51144215 51525376 52006979 52046095 52240548 52394805 52604793 52710181 52832560 52878129 52844280 53180504 53594176 53707497 54091915 54582969 54788773 55103216 55180481 55299448 55518305 55708758 55873782 56140945 56399250 56671874 56631018 56961930 57253246 57380242 57709230 57879586 57980681 58210777 58478273 58747115 58785743 59105749 59342093 59250919 59516057 59711042 60002603 60141090 60156455 60291167 60512619 60803765 61090298 61090319 61394589 61553037 61710373 61903289 62114649 62328290 62347732 62449166 62576381 62761392 62952790 62967519 63052860 63031611 62975051 63005283 62991062 62976004 63078496 63179886 63262981 63343265 63347857 63252046 63213688 63133752 63096415 63019164 62985119 62966879 63033954 62993632 62894507 62813736 62873643 62974819 63002716 62861793 62749531 62525076 62504200 62444451 62366906 62327265 62226526 62019134 61898959 61747585 61644828 61571641 61277060 61016132 60758459 60871866 60856555 60470309 60433703 60415132 60072594 59997723 59741534 59619957 59457680 59146049 58821495 59106274 61451569 61436605 62555375 63958901 64750856 64904538 65473242 67456962 69333932 70843991 71700837 72074424 72247039 72821627 73934173 75966167 77412156 78265597 79121800 79921403 81739731 84147123 86480929 89160411 91734139 93905789 96313522 98898718 101134120 103200000 105958495 107931474 109873793 112314431 114453118 116866560 119150381 121659679 124207544 126664819 129292737 131806012 134681247 136891359 139515297 142623949 144660789 147495724 149948877 151897249 154101037 156334930 158935151 161401682 164189113 165253019 165938832 166843239 168678317 170627087 172761985 174694133 176632149 178252198 179874203 181380639 183052637 184738301 186296625 187704672 189573447 191632610 193684204 195501618 197326090 198957627 200744803 202307145 203994549 205530236 207614225 209936618 211604024 213422872 215191837 216968162 218656677 221156510 223388661 225385821 226904503 229054289 231437675 233322751 235276776 237001292 239233362 241433106 243634080 245829479 247814429 249765610 251808332 254059470 256215741 258339456 260354796 262646455 264913425 267006548 268962041 270690446 272524185 275035564 277456407 279487695 281303668 283157445 285236533 287916501 290424283 292405532 294219313 296355109 298643368 300809163 303216396 305380037 307430389 309521444 311675879 313810687 316182831 318505095 320849129 323215719 325549460 328233673 330973843 333557119 336488843 339169785 341939806 344869648 347813115 350662957 351360887 351175179 351048636 350898357 351134101 350552020 350754013 350936325 351117903 351339524 351589562 351774659 351773415 351525656 351024437 350963881 350851281 350796530 350836529 350924204 350768646 350572153 350602488 351038173 351532600 351972729 352424181 352722967 352890693 352992511 353064849 353206714 353072265 353146369 352970582 352972571 353004239 353040766 353192070 353387701 353715696 353793384 353930542 354116899 354298213 354491227 354653337 354851846 354945885 354992362 355270870 355426288 355629683 355965964 356195042 356322541 356478060 356790873 357067090 357357769 357593416 357757358 357887299 358097913 358315151 358583702 358930463 359252942 359476196 359694049 360074486 360391444 360766104 361028333 361339288 361561148 361814071 362104193 362257351 362526360 362898923 363056059 363295552 363453542 363732174 363986152 364282390 364709195 364962204 365273758 365710190 365877979 366024129 366206299 366193877 366389228 366549625 366814137 367196813 367575927 367976519 368203437 368557331 368856412 368973475 369221697 369381017 369758338 370169496 370443357 370747792 371123026 371523493 371773429 372018489 372206209 372502032 372877930 373228933 373656579 373879965 374133489 374499276 374793537 375090405 375329678 375562908 375727579 376062656 376399406 376848074 377114005 377483337 377860541 378143140 378496346 378786110 379112510 379442405 379765630 380007543 380456934 380821153 381145587 381445885 381867736 382238119 382671176 383087290 383384555 383784498 384232980 384721867 385142939 385575285 386068774 386551176 386973578 387422417 387863857 388318277 388782267 389110374 389424020 389820105 390270677 390709061 390247020 389871222 389797037 389534220 389288962 389039337 388738509 388376145 387940737 387440361 386992569 386530579 386138964 385695172 385294817 384944569 384692407 384393983 384194024 383973642 383786592 383498780 383196633 382744114 382367715 381924630 381484637 381062080 380660211 380361321 380059421 379710247 379290337 378974974 378762012 378681206 378440373 378202318 378012580 377722233 377367244 377024635 376828806 376628666 376376813 376172469 375892993 375571327 375241654 374982295 374716702 374337355 374039316 373873454 373663524 373449301 373292024 372966470 372567761 372209014 372009403 371924076 371792624 371594855 371264055 370925086 370559110 370251131 370062173 369927423 369801183 369612608 369323789 368971878 368636144 368409357 368100459 367818218 367529923 367283678 366982144 366668706 366315295 366007301 365627325 365238545 364872108 364619017 364344777 364088832 363846270 363516196 363105275 362891236 362673932 362437208 362219892 362017764 361765117 361556262 361293441 361030608 360870204 360646802 360430725 360194112 360026911 359845861 359675936 359584401 359401296 359192233 358947175 358718266 358509836 358195509 358054087 357576733 357139061 356399797 355688693 355180213 354583157 354012779 353478016 352715189 352070834 351412021 350609737 350006309 349360245 348913089 348437149 347898453 347118930 346705461 346147406 345627643 345061197 344523495 344004979 343589350 343184534 342739082 342363305 342047247 341706844 341281563 340866705 340431560 339958413 339529258 339055605 338563614 338057014 337519285 337067283 336559053 335990616 335528007 335188255 334635676 334153299 333747437 333075357 332525703 332030659 331645074 331117509 330766557 330317053 329805812 329350617 328743812 328223991 327598453 328090485 328382629 328837497 329028905 329306359 329372129 329521015 329613350 329751879 329925422 329996896 330160715 330291262 330656527 330958044 331611931 331972449 332480700 332965138 333466165 333983216 334496266 335187729 336183044 336644923 336475277 336827698 337120761 336630110 336231595 335845138 335376303 334909331 334435589 333981587 333431663 332982796 332564743 332220215 331805156 331479593 331062949 330815688 330511014 330164971 329829157 329614378 329474710 329219987 328880071 329130653 330003517 330640078 330808159 330628566 330919789 330821983 330593697 330283350 330253404 331472038 332283984 332987037 333778459 334207546 334605283 334322120 334355164 334570390 334527669 333879449 333096506 332469444 331981704 332005089 332102591 331834420 331474525 331934650 331472341 332261281 332174057 331990441 331819757 332332437 332591478 332969076 333009709 332702943 332223676 331884672 331869591 332444359 332614965 332729086 332943266 333494868 334092779 334817713 335452788 336049381 336698667 337283099 337884213 338521607 339093859 339713545 340412987 341036667 341657295 342332817 342993188 343603003 344207863 344854891 345385512 346142633 346643179 347241110 347722069 348187009 348666518 349306408 349936067 350299821 350302673 350327247 350479422 350622574 350635554 350972217 351424362 351958227 352471220 352842118 353241728 353391731 353970933 354511237 355057957 355370616 355462428 356111334 356578175 357116523 357638993 358094530 358672283 359249619 359816523 360262075 360745174 361215452 361611605 362209246 362782170 363282019 363735167 364240510 364788990 365342615 365908429 366398285 366950267 367493919 368074848 368683387 369250056 369836067 370321307 370860773 371356290 371982809 372514576 372929871 373352432 373762559 374416439 374959508 375386251 375781175 376288848 376878609 377459799 378007333 378499657 379012068 379550723 380080551 380587740 381103828 381672873 382288543 382844574 383467928 384064707 384712624 385352389 386033222 386102046 386093418 386294260 386430675 386676513 386989695 387391062 387798845 388158618 388466421 388822775 389419449 389827779 390390830 390725195 391122868 391456825 391806416 392189097 392523484 392960205 393390317 393812376 394216707 394652747 395071842 395536386 395989127 396345233 396647069 397078709 397483930 397738709 398109780 398629097 398959782 399246739 399642996 400138050 400559694 400927242 401309540 401739009 402136311 402568450 403050304 403546279 404050097 404517288 404994345 405517835 406085216 405972497 405404686 404857041 404274350 403749718 403174132 402656031 402160390 401658551 401152024 400634193 400078593 399542048 399024242 398454506 397932858 397376685 396840459 396320375 395839561 395355271 395115437 395517690 396019242 396491461 396505737 396982500 397483083 397923181 398300039 398236787 398634298 399078291 399542631 400205524 399800483 399767561 400367814 400175233 400275853 400726415 400354010 400267913 399898298 399603877 400845456 402503571 404299165 405726689 407480912 409141345 412105333 413124171 414144881 415248529 416414695 417599361 418790804 420012461 421109005 422310604 423678769 424857311 426159345 427283507 428574313 429911246 431094347 432370655 433706101 434981521 436337126 437709431 438851879 440144690 441591309 442640929 443931224 445461557 446663698 448002239 449410533 450757892 452118476 453524024 455019664 456440159 458051384 459622410 461218673 462898288 464307582 465561583 466542947 467581665 468653370 469524113 470730453 471951888 473177453 474402856 475524449 476453281 477460080 478698808 479894501 481080512 482206739 483466991 484516672 485661599 486847163 487987772 489040446 490371232 491621650 492854734 493911263 495156077 496366636 497527325 498625058 499884095 501126266 502281561 503363638 504578397 505864474 506992134 508072050 509251641 510485681 511687395 512781017 514025221 515265419 516535417 517687562 518947572 520250446 521520685 522787125 524026755 525382686 526621281 527941943 529239851 530591833 532012795 533386891 534813865 536262635 537083955 537777330 538430371 539136448 540044218 540867869 541607340 542365181 543110898 543957715 544806732 545584674 546270519 547004162 547793719 548645019 549557650 550432633 551298829 552179417 553007261 553775038 554621713 555465713 556228309 557024547 557898880 558643817 559429725 560294088 561055317 561827530 562626649 563467914 564268557 565146745 565964553 566746908 567602043 568447859 569331050 570125533 571027724 571923298 572844200 573764874 574825363 576583374 578628641 580240807 581815150 583479215 585558746 587380150 589171779 590922119 592689257 594764987 596930744 599103684 601165425 603265295 605406990 607352767 609254035 610715694 612349988 613783109 614181036 614619796 614323692 615011623 614665781 614316891 613890635 613714390 613562095 613245692 613012509 613029886 613161130 612661237 611941317 611095567 610354873 609898306 609172113 608435739 607624884 606832885 605970301 605199735 604416898 603928323 603240750 602565877 602145835 601560937 600893493 600281493 599769295 599103553 598376002 597743030 597002421 596211106 595425921 594615631 593842899 593146971 592411405 591703634 591013413 590420445 589736665 589154232 588474125 587718611 586901401 586057098 585235253 584482099 583645259 582875253 581977141 581065563 580364595 579557255 578988338 578276751 577416549 576667277 575778101 575146191 574375389 573543628 572626227 571757301 570858915 570273487 569504373 568779418 568263700 567582776 566832611 566224800 565598495 564900241 564142042 563432612 562647781 561781330 560894033 559975925 559121330 558251004 557387749 556619255 555821791 555018101 554164217 553330037 552501142 551633670 550772927 549862901 548998261 548200821 547306869 546483003 545662645 544876311 544466191 544020659 543677891 543027938 542606027 542053117 541453679 540753136 540155336 539981557 539640026 539391861 539059228 538568317 538093047 537507904 537015633 536407113 535835149 535199231 534483107 533853019 533241617 532588211 531807934 531067381 530211073 529394406 528578370 527750397 526887162 526027893 525235765 524246005 523363655 522963317 522201269 521504996 520808815 520030018 519208095 518393081 518296382 517688582 517089464 516489261 515771885 514981636 514197539 513374949 512933399 512250485 511491893 510907131 510136309 509377303 508588137 507774899 507049847 506335861 506042334 505241845 504412791 503647705 503133674 502559082 501674421 500846965 500789557 500695335 502257917 502748050 503558961 503340027 503166990 502794439 502284024 501768881 501742026 502070348 502609617 502544127 502123834 502094079 502169983 501990655 502241056 502691293 503319257 503735365 504081663 504830429 504496949 504146453 503522395 503434172 502896670 502902121 504334345 505411490 506012647 506240730 506612761 506853321 507697344 509044103 511613842 513966430 516580738 518266949 520738253 522585929 524093649 525519373 526794232 528424695 530353157 532113380 532996210 533861142 534435576 534955804 535967942 536945431 537634842 538235010 538927058 539274826 539821230 539380708 540061444 540846154 541356496 542359829 543215269 544517109 545200710 546380105 547087304 547575571 547945817 548793101 549571509 550640033 551906927 552917380 553258228 553947768 554757677 555743557 556222989 557363391 559351357 560974075 562152941 563847528 565907055 566853962 567706117 567112573 566695100 566318759 566675415 567275572 567645029 568273456 568847198 569317741 569821999 570362283 570729698 571254430 571663852 572568951 573526098 574865994 575739699 576709241 578045842 578940438 579942034 581279055 582269803 583246126 584584885 585465173 586456138 588037009 589758149 591753632 593534234 594458573 595382331 596338147 597673116 598694023 599803214 600408829 601581056 602921115 603881817 605276176 606321591 607203269 608591756 609761543 611308145 612775529 614004793 615436840 616611464 617880785 619403846 621003446 622607799 624116493 625586398 626966939 629576652 631517816 631719750 631920321 632090748 632232111 632614468 632726689 632799743 632810083 632687434 632926489 633049655 633507285 633785403 634201328 634664081 635311102 635528093 635973574 636376534 636632629 637214688 637528590 637886129 638335337 639082556 639498473 639913121 640264728 640650422 641353844 641910612 642245962 642620531 643247020 643977103 644588127 645294722 646110673 646895530 647678288 648490353 649340717 650042077 650508602 650943778 651101652 651378437 651853756 652398364 652762890 653121308 653679432 654109398 654443244 655372211 655730586 656252963 656672354 657018899 657681946 658232962 658555561 658714218 658989762 659676908 660187958 660927739 661689004 662420317 663078411 663555734 664218186 664911458 665572485 665983510 666491087 667222045 668006568 668575784 669303168 670048098 670760538 671280444 671842757 672363097 672780243 673163541 673547894 674297455 676938754 679410381 681978026 684536641 685179848 685186099 685216604 684938351 685053408 684997113 685154093 685134157 685522017 686071482 686366277 686573514 686947523 687497620 687783484 687776736 687967352 688222006 688517505 688659671 688699667 688817593 688959709 689169654 689270051 689334095 689415581 689618612 689854828 690013358 690024647 690229164 690591074 691121283 691525622 691990041 692479867 692806905 692996555 693331094 693521337 694011187 694659015 695273074 695997836 696178657 696306400 696362675 696410863 696526167 696724257 696870620 696952338 697194281 697433168 697689481 697781507 697770358 698261041 698481642 698683005 698975539 699290834 699637111 699716175 699836935 700091406 700291175 700569070 700862233 701125818 701452582 701769270 702159017 702471291 702786035 703184813 703659276 704019266 704305631 704673511 704984673 705302203 705595493 705814743 706053649 706297051 706790525 707294880 707760996 708302212 708965612 709673226 710301909 710942659 711632118 712237305 712764806 713343232 714031085 714715276 715398409 716012016 716670811 717298202 717126179 716827471 716533708 716331351 716136085 716131356 716146127 716424392 716350129 716328878 716536802 716773855 716772678 716469679 716535557 716295607 716290199 716126392 715877922 715761121 715739794 715718205 715585492 715457462 715355923 715254344 715144480 715179592 715409363 715516286 715646606 715858108 716013721 715799623 715727596 715644840 715710318 715975359 716249206 716520640 716790486 716887411 716696772 716497354 716311428 716082972 715938763 715801406 715655128 715664971 715611896 715272977 715185995 715163356 715090867 715131279 715027245 714777875 714707979 714849157 715069503 715267204 715366739 715384340 715687630 715851042 715766135 715783431 716040333 716151763 716373173 716576702 716645343 716735568 716646707 716556888 716520316 716501677 716635999 716841679 717109992 717396014 717677654 717948885 718215742 718548793 718818968 718879860 719083092 719274726 719586398 719921814 720284591 720380367 720688894 721027569 721314246 721164156 720872627 720574224 720270578 719981067 719684272 719740422 719472209 719084695 718905648 718608661 718283923 718039021 717765345 717506890 717288579 717056828 716811715 716489183 716333107 716014795 715605173 715363793 715101493 714881015 714769257 714717387 714643131 714590878 714509095 714452464 714471505 714416125 714413877 714339160 714255633 714131084 714164368 714249496 714253914 714333075 714357137 714363213 714430467 714477814 714538627 714510837 714377659 714163079 713942653 713711321 713578499 713401767 713251728 713072623 712946545 712822019 712579213 712326417 712165459 712059773 711893422 711668885 711576759 711428226 711380122 711189297 711000724 711014725 711036267 710976541 710903575 710915391 711161716 711428025 711634280 712136041 712619249 712355277 712213727 712164961 712045282 712026308 712060439 712000278 712031090 712115313 712227436 712196319 712227596 712433335 712001273 711573261 711134984 710794383 710348899 709925224 709493932 709075866 708771405 708407911 708430733 708700313 708570645 708584008 708057891 707559045 707065409 706769203 707152377 708034177 707586229 707612963 707941429 708248803 708402241 708880373 708749270 708078073 707366973 706650599 706255696 706386461 706468040 706528765 706202757 706410480 706621353 706833413 706630269 706865392 707160439 707274861 707580089 707805049 707437897 707196211 706954299 706712333 706471085 706196143 706021689 706039169 706084005 706092294 705951564 705777713 705999099 706200223 705521583 705151915 704955221 705076558 704838308 704528960 704515061 704437822 704096497 703920696 703773053 703565772 703412329 703180237 703061656 702928780 702785601 702698352 702508577 702362417 702116991 701933891 701711706 701456759 701175029 700951035 700662710 700451173 700609995 700833763 701364071 701584064 701701862 701869364 702198869 702460674 702577538 702730227 702901188 703201847 703413586 703651160 703919413 704186956 704501182 704731608 705027916 705300025 705619154 705859836 706051182 706276415 706475618 706652348 706918720 707149914 707335704 707498182 707663860 707842474 708026080 708174083 708348026 708519372 708338347 707968079 707503387 707026615 706620250 706145392 705652381 705193615 704747191 704309975 703808952 703377706 702907644 702497759 702086920 701689904 701325137 700900632 700529083 700140476 699732757 699354790 698932613 698511091 698061237 697565338 697087654 696666122 696301493 695935025 695507936 695107268 694711333 694290387 693851177 693411194 693012399 692559121 692183831 691634921 691253826 690901662 690699871 690509513 690197912 690064496 689982823 689824699 689560491 689243807 688808439 688647261 688259227 687720203 687565495 687398528 686744238 686273358 686148325 686161181 686207043 686280550 686231385 686185490 686214311 686282785 686167396 686106303 685985301 685623143 685353372 685040763 684390397 684273216 684383322 684498136 684379244 683983285 683682323 683593511 683407541 683042806 683157907 683330980 683368835 683104561 683105599 682894417 682866223 682942590 683038856 683153886 683210147 683193190 683214304 683202200 683192729 683204978 683340433 683471682 683671429 683614527 683704975 683828327 683892713 683906130 683891616 683992681 684009120 683965834 683953447 683911962 683814418 683787369 683765540 683717980 683724100 683405832 683215694 682762363 682400481 681976665 681503448 680998817 680628473 680346498 680088117 679772205 679503605 679185788 678876143 678536129 678191580 677869879 677576280 677284511 676922121 676576839 676197055 675512361 674763128 674052341 673376693 672674468 672003091 671293813 670620149 670093626 669673839 669151184 668701247 668096159 667526161 666824197 666445874 666475891 666537194 666879627 667232917 667615683 667788053 667735292 667679220 667656891 668042920 668259747 668368488 668474849 668528040 668339226 668293470 668425152 668516140 668632395 668943775 669105869 669276273 669521491 669608415 669647615 669611450 669713476 669814973 669902508 669967463 670150118 670313135 670588638 670891727 671014429 671099645 671296872 671499908 671636233 671643353 671553371 671690029 671859839 671917109 671969504 671978780 671984391 671963039 671913380 671922816 671951450 671926267 671911206 671877765 672076462 672437337 672785697 673299273 673966522 674697408 675312780 675804685 676131023 676488621 676795617 677143694 677382903 677965527 678573417 679048868 679557611 679971802 680374427 680651937 681003147 681307338 681692826 682179775 682667737 683001547 683451627 683935779 684516967 685049031 685581047 686073019 686648343 687150754 687644721 688118632 688554267 688914009 689466642 689925266 690391299 690874371 691289978 691694959 692174417 692689995 693183861 693766497 694422736 695077448 695611032 695939420 696413505 696856451 697285953 697737939 698252916 698843887 699328778 699720157 700053394 700497472 701053538 701613976 702139967 702603171 702998664 703403561 703736801 704099855 704475376 704881766 705267190 705434533 705841281 706295133 706696884 707145120 707588751 707970989 708391467 708843498 709263742 709667248 710107484 710637821 711132623 710943017 710695856 710505720 710233785 710085466 709944084 709679919 709325749 709043690 708778454 708464036 708241590 707964816 707757768 707516189 707332644 707104245 706938059 706775792 706589489 706417041 706254931 705946187 705733100 705541710 705351835 705146076 704926310 704635833 704393784 704209394 704024356 703838392 703581575 703336419 703078152 702820525 702678814 702501529 702321144 702070550 701848122 701564067 701307695 701152298 700908395 700640531 700367065 700091175 699767632 699506378 699209435 698956543 698629164 698813983 698925379 699055231 698931968 698993504 699030295 699080346 698999101 698892911 698728735 698629670 698628412 698609249 698518268 698506264 698462015 698488128 698528852 698413415 698447354 698270627 698250001 697843303 697507372 697210879 697013697 696930476 696871817 696713691 696642044 696439537 696244879 696097532 695857069 695733128 695602596 695450807 695234359 695044944 695368715 695604391 695821704 696091233 696377559 696628808 696710300 696495035 696379904 696171413 695922484 695788544 695563771 695152068 694861823 694192605 693855020 693547784 693185531 692846695 692505762 691962586 691591639 691136086 690699484 690437251 690211963 689848155 689446684 688994696 688463216 688073503 687816198 687380428 687056474 686690838 686428357 686181240 685896320 685586842 685262618 685011376 684670602 684413070 684155134 683926286 683731270 683496943 683180785 682730842 682284814 681949365 681687909 681223589 680853975 680612452 680351257 680186006 679974664 679672041 679395312 679255715 679188706 678951934 678706900 678439398 678218446 677941946 677764996 677466752 677224861 676957950 676633086 676355592 676122433 675853937 675571272 675281386 675057802 674717596 674300976 673934757 673486339 673131041 672794034 672419310 672028953 671758546 671453259 671120196 670760867 670380942 670047193 669655595 669270152 668936581 668577360 668301071 667964420 667628848 667233128 666911235 666607416 666266374 665967773 665648371 665370916 665121358 664853261 664511761 664131763 663749412 663463156 663202754 662910971 662609235 662290103 661948416 661561315 661168161 660712058 660360534 659862255 659446044 659111233 658776931 658425434 658184271 657884699 657459274 657091010 656712464 656408574 656118472 655801544 655622156 655281045 654982908 654648161 654260634 653956329 653560957 653161742 652868026 652447167 652039994 651606385 651263170 650765575 650428946 650107422 649710042 649316326 648883509 648440275 648124058 647869592 647513960 647179060 646823460 646487382 646120179 645689595 645281510 644827302 644366703 643950363 643488078 643012453 642531715 642110590 641656606 641210415 640776220 640376038 639927631 639463351 638998347 638572965 638125310 637694722 637291471 636892259 636415683 635973848 635585536 635161864 634703190 634272921 633887389 633451348 633066598 632686970 632280437 631857648 631480032 631079007 630659267 630175810 629754132 629326964 628920185 628464149 627991962 627524666 627098502 626722202 626289320 625847769 625397583 624915125 624441865 624001787 623514186 623005882 622475895 621923372 621407066 620887669 620319253 619917170 619597647 619314425 618948762 618486141 617927130 617428026 616932243 616491272 616003291 615517051 615233690 614858106 614441434 614109498 613827482 613630433 613554852 613499974 612954807 612392455 612326965 612369003 612298010 612096268 611961562 611540204 611727335 613886601 616482638 616312437 615772201 615205501 614486965 613627781 613305825 613148271 612872666 612466561 612031999 611555071 611174941 610786739 610447155 610044283 609660401 609280179 608933985 609046553 609005741 608991034 608998885 609593024 609616958 609076277 608573072 608078970 607576496 607080619 606576797 606064183 605516613 605039419 604524259 604073216 603598298 603125484 602669732 602230394 601677529 601154929 600623520 600104453 599586528 599061734 598557873 597990695 597463387 596930145 596391962 595845533 595320800 594783330 594248244 593735289 593255749 592746836 592245557 591787893 591769279 591389626 590961306 591639757 592557168 592890885 593467065 593869418 594265282 594990086 596618880 598818665 600105130 600330580 600857684 601050909 600963673 600758431 600410843 600182653 599725399 599403617 600182061 602083345 604089469 606568822 607513957 608409622 608396093 608144118 607957711 612032768 615692283 619601861 622464348 625028916 627446819 629250544 628956189 628415221 630610699 633019815 635101515 637246986 639542319 641914320 644206844 646519798 648850372 651006315 652960020 655012355 656874891 658957561 661380000 663950388 666081798 668169980 670356495 672499006 674526111 676621680 678630963 680819478 682977222 684918220 687319399 689397422 691451355 693589173 695830104 698209199 700209616 702697627 704399776 706349084 707787152 709478518 711166776 712837367 714144856 715395740 716695121 718211493 719596627 720805142 722025794 723308793 725028407 726548886 728016191 729736635 731304768 732715947 734303643 735491741 736546256 737704463 738970407 740176690 741029810 742391370 743465178 744844017 746854757 748067505 749193420 750315056 751452143 752605949 753661831 754673287 755588855 756632739 757780761 758831484 759800732 760844069 762021856 762957340 763770894 764823977 766087351 767421891 768621364 769961865 771191913 772310667 773489301 775020540 776462010 778024499 779489425 780939042 782434388 783875716 785384629 786863503 788126289 789466407 790734105 791962533 793220683 794366532 795539727 796807467 797672918 798849851 799535857 800123313 800788187 801481804 802226225 802893005 803756659 804681069 805760871 806773471 807059912 807289821 807588660 807812300 809196998 810163243 810933064 811537215 812361040 812584961 812934036 813116024 813305189 813498945 813971698 815131973 817033059 816899174 816624412 816544514 818819110 819032826 818894247 818605718 819197792 821811241 822862884 823153830 823113474 823032524 823200665 823059901 822612367 822263072 821901951 824455799 824297515 824406017 824101581 824062015 824048239 823870096 823782818 823626613 823509559 823229133 822974219 822799744 822704501 822514392 822467007 822242954 822001488 821724754 821389095 821012070 820658302 820943432 821136174 821463349 821980672 822165273 822251340 822355167 822625335 823024875 823274973 823417309 823601458 823857390 824007065 824318788 824546948 824858575 825120973 825359433 825687968 825832253 826047012 826281262 826595806 826929565 827320162 827509381 827756581 828080933 828351216 828573188 828838727 829123575 829367352 829516836 829699414 829853735 830014217 830159883 830322317 830469299 830655108 830773286 830941290 830736721 830192789 829825417 829331697 828946279 828588186 828031319 827633453 827169171 826737393 826369879 825989441 825525958 825028064 824613386 824225143 823919990 823501630 823080236 822541058 822129085 821610499 821093375 820566651 820315321 820023093 819774365 819632215 819389033 818902197 818219893 817384757 817050675 816300775 815494686 814653445 813812597 813006801 812201428 811312868 810486251 809705387 808884721 807988226 807177185 806614191 805865964 805283165 804693373 804003253 803289593 802667981 801996959 801322876 800566167 799832169 798991053 798255006 797552572 796949236 796220428 795508763 794856518 794142531 793461237 792811006 792067955 791347891 790659942 789958003 789302466 788608450 787866733 787271367 786596258 785792776 785166500 784487831 783735234 782985743 782332682 781567783 780825389 780056039 779238620 778418101 777543339 777106821 776437161 775616895 774974215 774369478 773726166 773033254 772477486 771775029 771567861 771604981 772004213 772896617 772660213 772036096 771435849 770926460 770436930 769968661 769524024 768994233 768348472 767729087 767176917 766685413 766321467 765641067 764939698 764318951 763697555 762943383 762351927 761881265 761216830 760584031 760065962 759419156 758817397 758298620 757693153 757043463 756308940 755640169 754938050 754350612 753749417 753147209 752511306 751944228 751438174 750915183 750272546 749624360 749121590 748643570 747993098 747327268 746648614 746018830 745412659 744745423 744115048 743472588 742798049 742149442 741388505 740706233 739981227 739242677 738511453 737743525 737056703 736715778 736389744 736029560 735762771 735543035 735318970 735123373 734917097 734659618 734349312 733947496 733541060 733099226 732641381 732234397 731826294 731446495 731279031 731100704 730791767 730339405 729910445 729507978 729107658 728740043 728262349 727772644 727292867 726873139 726531322 726108569 725848914 725349887 724923341 724480621 724128558 723800008 723391376 722985620 722602580 722246125 721845812 721578042 721237024 720876378 720511820 720132285 719665564 719221853 718739194 718390098 717946429 717509280 717080955 716778448 716437012 716097400 715733633 715393026 715037883 714686262 714317601 714004962 713723939 713466933 713180693 712883544 712510521 712029714 711616765 711256737 710888268 710574460 710244806 709860843 709485140 709111469 708735379 708297267 707867047 707439628 707035488 706674805 706312543 705956681 705590045 705198635 704797166 704417162 704036607 703614258 703180031 702760824 702307041 701915837 701529293 701040498 700522564 700113091 699758587 699249245 698793984 698350875 697902343 697396175 696997209 696563440 696139860 695687996 695230362 694737205 694310331 693925014 693490244 692974261 692341351 691545832 690802353 690135163 689500963 688646773 687866911 687159273 686517761 685811756 685057399 684217001 683456676 682729565 681961961 681228716 680455893 679716909 679006685 678241205 677532958 676813145 676046529 675328490 674507487 673827180 673087476 672334933 671692290 671027228 670327325 669556303 668818307 668055345 667251965 666472249 665695680 664844542 664031221 663194549 662371445 661610066 660782069 660011888 659265314 658570177 657892052 657201025 656410613 655633432 654908657 654222777 653514134 652790904 652089830 651383605 650609029 649879309 649114689 648358264 647503221 646845933 646039797 645097397 644215489 643283679 642404469 641434037 640443253 639668789 638854133 637994677 637074693 636108960 636033569 635701887 635383551 635102312 634936550 634618386 633792629 632825397 631837685 630837685 629891693 629278777 628532901 627797892 627152524 626471972 625795848 625006517 624361205 623743465 623163620 622480422 621791111 621072309 620365102 619707317 619078641 618261045 617643992 617101440 616502136 615830656 615243770 614740953 614113808 613451174 612786255 612071915 611447281 610762418 610095853 609523836 608814900 608275434 607543459 606835950 606272808 605654482 604908140 604265592 603676442 603014460 602308678 601637494 601006595 600312471 599701836 599042590 598373924 597696161 596929013 596147201 595459809 594752314 594119152 593439429 592732929 592094365 591502371 590825417 590159749 589469463 588793417 588244554 587561745 586935333 586380086 585643454 584919238 584071730 583313300 582538506 581830157 581089412 580328407 579628606 578927541 578209049 577490379 576762656 576031586 575351767 574787422 574113989 573524510 572802703 571954017 571103431 570242035 569392099 568615748 567866331 567112692 566333823 565527622 564655029 563816312 563023718 562228981 561319385 560380637 559581749 558727629 557875335 557262329 556699777 555923819 555262549 554835258 554322485 553650055 552925621 552472250 552068154 551751423 551569337 551287609 550983939 550754811 550510389 550237443 550002669 549740783 549587451 549075687 548524352 547999698 547488767 547018033 546512081 546018047 545509128 545011709 544549226 544077813 543495733 542914746 542419337 541896076 541381631 540810032 540214228 539630715 539025269 538624118 538185145 537792148 537135809 536521042 536441475 536001786 535456893 534927733 534364696 533726453 532841141 532342908 532083291 531657836 531233205 530897100 530679145 530417204 530314794 530105670 530285558 530411219 530480168 530245919 530067611 529942528 529744979 529480053 529325760 529009194 528861183 528741504 528879042 528370240 528392810 528409942 528356326 528306401 528245566 528178214 528072016 527819824 527541680 527227454 526965401 526751708 526470729 526259284 526062931 525934314 525673782 525461230 525232957 525047113 524833651 524640265 524458109 524346997 524300885 524286160 524274957 524332191 524333655 524123308 523946362 523742693 523545868 523424740 523311261 523157726 522835327 522495267 522162279 521771552 521426630 521131742 520868136 520554000 520208502 519831873 519509736 519194550 518883627 518534811 518256156 517999364 517755449 517500949 517258237 516993149 516763922 516500991 516346937 516118822 515840932 515661759 515648804 515647745 515588643 515587461 515572304 515275574 515009968 514729993 514450402 514196108 513963034 513734908 513408373 513006357 512598850 512136658 511719343 511189285 510762567 510335261 509938200 509520885 509078727 508638946 508271787 507865273 507431020 506991163 506584129 506223608 505851312 505409827 504993060 504658737 504291156 503917444 503583939 503258538 502870189 502566137 502200982 501813259 501458190 501176495 500940339 500623296 500334631 500072118 499729091 499301179 498872096 498457687 498058106 497699229 497332088 496883405 496462885 496000481 495575705 495036216 494604991 494156914 493700261 493250625 492878024 492472471 492018565 491562204 491143033 490769526 490324509 489843970 489499697 489135016 488778142 488401460 488069728 487720844 487346265 487037932 486541372 485916337 485483016 485057712 484661477 484174210 483729563 483318378 482866804 482366019 481935952 481528344 481164026 480774196 480402728 480019067 479484653 478961769 478483422 477945405 477461385 477012223 476792434 476541192 476220668 475823078 475420467 475055568 474450869 473834148 473181838 472598790 471992224 471414307 470821198 470209922 469471640 468727635 468016763 467428387 466864322 466236636 465749043 465232777 464713702 464235564 463723667 463218551 462736706 462143195 461423797 460696773 459849781 459131477 458756618 458380921 457652441 456959738 456390944 455858135 455251509 454713908 454206138 453910801 453769150 453291901 452780512 452317523 452957353 453973144 454176181 453557239 452918542 452268472 451652983 451028212 450414560 449807023 449135359 448526709 453101994 459511800 466339072 473386927 479964244 486318675 493118767 500055192 507254743 512692492 512356892 511759915 511156363 510334174 509600149 508944039 512563003 517222696 521926365 526674607 531689799 537387416 542402411 547607557 553625656 560622474 565852842 569878056 573813931 578530027 582968775 587425154 592035867 596344292 600851439 605331133 610162966 614765758 619346083 623466870 628181754 632815756 637651123 642205627 646647413 651254146 655274364 660134743 664794511 669354977 673976282 679020310 683374672 688608058 693617925 698956054 704396954 709918434 715409913 720872543 726420157 729502688 733622384 738050768 743164515 750215513 757291189 756401781 755512885 754642755 753736885 752822033 751981980 751109371 750218165 749393516 748595895 747796631 746916053 746037621 745152774 744284812 743432924 742640757 741895039 741059573 744887289 749564277 753251717 759863343 766272426 770930842 774107341 778772059 783787423 788978266 793779388 799255194 803922909 808301432 812784911 817227601 821866338 826166092 830788814 835251286 839538914 844636543 849516677 852662215 856042897 859618626 863271509 866798526 870598094 874551808 877539702 881661386 886049211 890266196 893363872 896181633 898974356 902473546 906000756 909813805 913428520 916347564 919300859 923409607 928800349 934252186 939600106 944408870 948936117 955033027 961587707 967775726 971637351 978194511 982671268 988205411 993768680 998412617 998503695 998472946 998192574 998416138 998890794 999446082 1000110288 1000524970 1001061657 1001668578 1002520115 1003132431 1003591253 1004676346 1005640528 1006690191 1007247461 1007795939 1008328897 1008797128 1009603133 1010414894 1011240484 1011641635 1012021550 1012995795 1013647269 1014325379 1014978577 1015553731 1016162656 1016763375 1017423268 1018013564 1018507695 1019238839 1019883291 1020338538 1020928172 1021704884 1022585490 1023247103 1024001440 1024743622 1025389809 1026070911 1026822470 1027520755 1028044024 1028584901 1029585670 1030368008 1030983821 1031598809 1032368677 1033108335 1033978819 1034721136 1035377245 1036155153 1037243243 1038186665 1039049905 1040132872 1041202736 1042282444 1043412870 1044849997 1046443911 1047425228 1047703085 1047614538 1047623150 1047630489 1047525960 1047439699 1047751566 1047767330 1047914748 1047874746 1047850272 1048148317 1048073495 1047897405 1047829417 1047908654 1047778413 1047567781 1047516560 1047567761 1047527186 1047406538 1047421950 1047551387 1047534304 1047504461 1047409603 1047446223 1047476366 1047438772 1047528215 1047617511 1047565675 1047659567 1047675642 1047717120 1047699234 1047626986 1047649928 1048031720 1048126323 1048132653 1048240247 1048385797 1048407490 1048564655 1048641077 1048626103 1048709421 1048993587 1049338891 1049240034 1049516850 1049740815 1049892683 1050088135 1050312222 1050665505 1051244410 1051448912 1051755095 1052000124 1052271897 1052566943 1053034132 1053151329 1053188994 1053232380 1053283701 1053364332 1053432285 1053455383 1053453988 1053438945 1053504072 1053673191 1053985865 1054252459 1054537339 1054483286 1054412713 1054405172 1054321173 1054202255 1054114600 1054123689 1054240223 1054974501 1055197811 1055608547 1055842556 1056247009 1056621842 1056710461 1056771732 1056773071 1056784513 1056627219 1056544166 1056606219 1056739723 1056904348 1057039878 1057517387 1057447425 1057447915 1057512740 1057457122 1057423802 1057295906 1057273050 1057352767 1057358388 1057701431 1058378850 1058807415 1059016049 1059038228 1059374640 1059471980 1059382735 1059601279 1059768532 1060015510 1060353596 1060697693 1060750767 1060796845 1060685569 1060910159 1060995137 1060891111 1061108509 1061389384 1061657021 1061923277 1062238233 1062615385 1062888203 1063009043 1063231816 1063256911 1063379098 1063403811 1063640972 1063829341 1064060068 1064324090 1064592366 1065041916 1065278665 1065502795 1065665756 1065657499 1065659741 1065938237 1065998292 1066286030 1066580395 1066860384 1067159007 1067496639 1067741776 1067858535 1067862695 1068104024 1068064496 1068024980 1067969932 1067918204 1068056616 1068100864 1068292176 1068591074 1068831429 1069081530 1069534868 1069854466 1069981800 1070197501 1070231839 1070286577 1070363927 1070554527 1070696840 1070920789 1071174532 1071441498 1071707823 1071986810 1072338066 1072659979 1072757128 1072884412 1072902498 1073066628 1073274040 1073514984 1073701704 1073870683 1074066436 1074276713 1074490373 1074708104 1075134553 1075497637 1075641551 1075832434 1075873103 1076077708 1076290415 1076565063 1076792642 1077004890 1077201407 1077392603 1077808661 1078154332 1078477648 1078585365 1078810495 1079112990 1079658817 1080179537 1080544679 1080890210 1080995870 1081282280 1082111655 1082966753 1083502726 1083886637 1084077582 1084492022 1085186371 1085903346 1086331898 1086512393 1086871266 1087312793 1087670524 1087976734 1088353727 1088738741 1089393059 1089829575 1090388497 1090653757 1091083395 1091453125 1091851297 1092302004 1093001645 1092665181 1092374992 1091993083 1091859463 1091751467 1091536248 1091113911 1091037207 1091067022 1090609103 1090249631 1090288304 1090234654 1089980643 1089791434 1089700019 1089694595 1089760959 1089677925 1089362319 1089300894 1089930790 1090601643 1091212440 1091527137 1091841381 1092748810 1093816042 1094928827 1096023210 1097164170 1098256602 1099559018 1100748427 1102013495 1103363164 1103870913 1104092543 1104314446 1104755415 1105337969 1106288693 1106974376 1107064835 1107904718 1108981100 1109803789 1110242641 1110656710 1110920504 1111408321 1111754576 1112210319 1112558543 1113180573 1113460704 1113408561 1113352087 1113270799 1113101705 1113004261 1112908403 1112889929 1112937502 1112920951 1113066376 1113167583 1113162491 1113471805 1113950287 1114404543 1114875405 1114933528 1114981823 1115029805 1115090667 1115114705 1115159453 1115219493 1115259002 1115302585 1115271415 1115202335 1115148856 1115002120 1114884075 1114798603 1114885703 1114762175 1114787936 1114727034 1114841662 1114865357 1114731632 1114554820 1114528486 1114518723 1114402438 1114327744 1114413784 1114495863 1114411366 1114340591 1114454875 1114546599 1114499129 1114872861 1115271608 1115639399 1115971775 1116281113 1116467273 1116665805 1116854552 1117019886 1117232312 1117394153 1117570579 1117714969 1117880177 1118046691 1118173653 1118239798 1118393748 1118341437 1118408521 1118398740 1118242888 1118180679 1118238742 1118451370 1118728666 1118676921 1118750200 1118982653 1119035929 1119313253 1119520783 1119782882 1119942895 1119782545 1119757152 1119930541 1120022924 1120113482 1120195456 1120278948 1120487585 1120749726 1120994326 1121261551 1121121525 1121288919 1121551057 1121878167 1122059384 1122164235 1122290447 1122428551 1122573410 1122594762 1122577514 1122547123 1122526073 1122499042 1122501389 1122472692 1122425846 1122401917 1122295798 1122238585 1122136554 1122014208 1121974186 1121972371 1121898379 1121849109 1121869894 1121765601 1121573814 1121413461 1121440963 1121458720 1121311825 1121078502 1120848752 1120638986 1120597528 1120564996 1120470947 1120412382 1120411295 1120325345 1120321305 1120338749 1120258643 1120177859 1120126210 1120149835 1120134348 1119964551 1119938698 1120406570 1120935759 1121212580 1121311374 1121419051 1121634780 1122025490 1122139984 1122220212 1122177541 1122266913 1122162662 1122157429 1122276502 1122309057 1122276077 1122247335 1122316171 1122290497 1122323024 1122349243 1122440176 1122216901 1122064736 1122055172 1122261149 1122409158 1122587306 1122877879 1123069962 1123333187 1123809437 1124149053 1124420750 1124585455 1124819381 1125002798 1125208311 1125428408 1125573206 1125780318 1126139143 1126397682 1126720259 1127219218 1127598633 1127759509 1127939969 1128220284 1128500038 1128660929 1128824393 1129122131 1129427349 1129714030 1129903395 1130052867 1130198500 1130543706 1130664632 1131025401 1131387338 1131725896 1132073361 1132392599 1132728365 1133051249 1133511355 1134063195 1134543543 1135072770 1135474311 1136147567 1136684709 1137105817 1137440245 1137915367 1138313431 1138734681 1139192098 1139607329 1139745007 1140357391 1141088494 1142033165 1142961508 1143717355 1144474448 1145185883 1145896125 1146491533 1147017997 1147435704 1147867834 1148276468 1148861569 1149339844 1149441144 1149453033 1149464932 1149476824 1149920816 1150531208 1151141593 1151752007 1152285035 1152773405 1153044455 1152901597 1152758739 1153027412 1153421138 1153785188 1154116441 1154459210 1154811440 1155143523 1155222922 1155134460 1154745333 1154712435 1154881655 1155285227 1155490708 1155882012 1156262152 1156676575 1156979796 1157123907 1157441249 1157642153 1157790669 1158030363 1158322277 1158949205 1158906535 1159195135 1159351140 1159516227 1159663204 1159969798 1160232228 1160444577 1160652885 1160920170 1161103331 1161340942 1161629848 1161854267 1162047654 1162241103 1162479901 1162751237 1163011014 1163169869 1163404035 1163677899 1163976732 1164187013 1164260559 1164578327 1164838824 1165023120 1165301930 1165599289 1165907050 1166205161 1166455645 1166784797 1167078598 1167387585 1167604401 1167799967 1168037784 1167759471 1167275512 1166811307 1166454932 1166045272 1165644901 1165206918 1165092503 1164765639 1164400616 1163987828 1163474631 1163016301 1162563906 1162078311 1161621386 1161273433 1160905981 1160497803 1160332790 1159874933 1159499198 1159137283 1158810580 1158303570 1158058500 1157710769 1157351703 1156949705 1156475673 1156192088 1155902337 1155564231 1155120716 1154723444 1154353048 1153990868 1153605080 1153227721 1152791548 1152389290 1152005330 1151621249 1151276741 1150890638 1150274206 1149750203 1149189312 1148635400 1148229679 1147772981 1147418904 1147188889 1146908456 1146538057 1146055083 1145581853 1145094443 1144639357 1144244125 1143827155 1143404041 1142924093 1142690789 1142450015 1142171962 1141927218 1141906645 1141614343 1141279831 1140941123 1140628889 1140409367 1140184084 1139716513 1139108635 1138550013 1137951695 1137465845 1136872525 1136339483 1136007521 1135671665 1135318917 1135000242 1134603438 1134307612 1133929944 1133675767 1133064731 1132531367 1131993453 1131423720 1130965412 1130431942 1130007078 1129599066 1129070065 1128524846 1128108379 1127741982 1127321361 1126781853 1126302088 1125925580 1125473896 1125010244 1124548892 1124054244 1123577988 1123241911 1122799343 1122380223 1121970145 1121559765 1121095743 1120592874 1120061846 1119545108 1119024217 1118812641 1118421691 1118139299 1117698655 1117268975 1116825217 1116486122 1116078160 1115645181 1115223141 1114796013 1114479439 1114011692 1113635624 1113346479 1112900932 1112490247 1112048917 1111668040 1111334593 1110795318 1110313341 1110031990 1109592329 1109251945 1109049106 1108787291 1108530641 1108223744 1107887231 1107433016 1106823313 1106244671 1105671345 1105104790 1104695470 1104245393 1103899618 1103589928 1103225357 1102810205 1102344313 1101912108 1101448212 1100969077 1100503071 1100105644 1099720785 1099303062 1098969331 1098491964 1098188988 1097846320 1097490469 1097180674 1096812966 1096445697 1096114999 1095806596 1095509719 1095156800 1094893795 1094546710 1094083099 1093655166 1093358504 1092956821 1092627850 1092290801 1091860288 1091280208 1090726653 1090256490 1089859126 1089517275 1089181464 1088896211 1088354570 1087861198 1087436730 1087087490 1086730024 1086459899 1086046437 1085728551 1085329992 1084962461 1084535558 1084130928 1083684447 1083335432 1083008601 1082691458 1082495533 1082230550 1081956845 1081633520 1081282795 1081209489 1081230499 1081162181 1081262713 1080924323 1081204153 1080924325 1080796917 1080771489 1080540585 1080293969 1080473697 1080285875 1079470339 1078920830 1078575923 1078195961 1077825361 1077475753 1076875825 1076198677 1075520179 1074839945 1074155571 1073465847 1072788276 1072097593 1071407043 1070720830 1070037183 1069512011 1069042453 1068547473 1068016575 1067402451 1066965062 1066549125 1066108327 1065487667 1065075305 1064599399 1064121875 1064003261 1063876535 1064104193 1064063393 1063922767 1063397927 1062992137 1062695207 1062503036 1062604392 1062280116 1061948279 1061512700 1061146455 1060695967 1060240825 1059787385 1059584321 1060170675 1060320749 1060365952 1060178083 1059900971 1059825973 1059653649 1059560322 1059540966 1060077878 1060528140 1060597829 1060697511 1060744519 1060834708 1060890205 1060763656 1060559009 1060379036 1060344217 1060039175 1059997191 1059742733 1059643997 1059486728 1059450361 1059271577 1059162516 1058943321 1059158184 1059486905 1059784958 1059769313 1059777451 1059779134 1059865962 1059952669 1060055650 1060043808 1059938946 1059772432 1059532100 1059421750 1059294665 1059091113 1059007718 1058897918 1058726669 1058721136 1058387093 1058341331 1058267226 1058127895 1058153510 1058117352 1057942037 1057877295 1057943432 1057935120 1058493959 1058975666 1059461650 1059853911 1059757347 1059586562 1059403693 1059342933 1059349623 1059223740 1059293606 1058804821 1058856356 1058898718 1059188991 1059179645 1059110202 1059154461 1058772633 1058440343 1057913215 1057376018 1056841502 1056286094 1055685150 1055102745 1054551005 1053993404 1053318408 1052735359 1052107466 1051450635 1050778039 1050186659 1049836427 1049183495 1048498369 1047797271 1047113565 1046407779 1045862365 1045744327 1044978679 1044298203 1043730219 1043114540 1042503703 1041891793 1041259132 1040744362 1040345280 1039967135 1039544340 1039231311 1038839577 1038397848 1038001004 1037577946 1037131953 1036682424 1036250412 1035861722 1035407103 1034876381 1034348371 1033837319 1033830255 1033809051 1033805047 1033725977 1033667405 1033391557 1033013323 1032630053 1032350216 1031931243 1031651251 1031203531 1030746118 1030446956 1030212594 1029876732 1029535538 1029319832 1029057571 1028668954 1028396713 1027837227 1027036739 1026205171 1025404873 1024618581 1023832311 1023146120 1023146934 1023136346 1023051944 1022950950 1022840257 1022491081 1021968185 1021459078 1020948963 1020512669 1020000559 1019416574 1018880858 1018515228 1018420726 1018326069 1018270454 1018364553 1018460695 1018555807 1018653739 1018823461 1019298913 1019773320 1019154895 1018579001 1018105650 1017745349 1018050345 1018345973 1018593681 1018854714 1018552501 1018767661 1018342320 1017970778 1017567235 1017157657 1016552245 1016732052 1016570957 1016650184 1016642209 1016735609 1016799911 1016665939 1016615273 1016561614 1016384064 1016406917 1016400175 1016271538 1016413498 1016407681 1016426039 1016301362 1016276710 1015962741 1016069173 1015848965 1015838229 1015953059 1015316789 1015084624 1014937965 1014552644 1014423652 1014231939 1014000975 1013755951 1013459850 1012970227 1012547420 1012347850 1012084078 1011991903 1011613623 1011189660 1010594601 1010610595 1010468334 1010455767 1010310269 1010253554 1010100579 1009789713 1009331685 1009059447 1009012941 1008737548 1008421720 1008772601 1008590730 1008530433 1008285665 1008569085 1008254482 1007842140 1008172528 1008487398 1008577224 1008470338 1008097030 1007924513 1007965915 1007863111 1007976802 1008162572 1008056922 1007963242 1008016482 1007969127 1007648650 1007489434 1007596502 1007649877 1007249752 1007061366 1007035759 1007310958 1007223429 1006969045 1007282948 1007209674 1007083790 1007042863 1007412222 1007517904 1007443401 1008344737 1008360599 1009468725 1010306612 1010641765 1011905887 1012183907 1012557571 1013402332 1014463993 1014720178 1015239917 1016307199 1015957636 1015342329 1014817222 1014336570 1013809441 1013272413 1012776399 1012191651 1011523207 1010847126 1013417639 1016047865 1015328641 1014548837 1014242940 1013998466 1013990923 1013338532 1012642153 1012015143 1011438155 1010986114 1010494475 1010001044 1009445599 1008808271 1008409474 1008299620 1008027125 1007609577 1007176491 1006745879 1006218065 1005689837 1005114964 1004494416 1003956677 1003356410 1002803699 1002181044 1002307963 1002342331 1002075770 1001822810 1001554896 1001282021 1000869027 1000488603 1000042203 999523419 999053321 998666844 998242081 997771844 997283521 997038600 997214685 997667922 998117151 998527720 998884239 999404198 999937695 1000361089 1000857001 1001316258 1001754805 1001336115 1001413453 1000837331 1000321313 1000440253 999986287 999730145 999581021 999073245 999020507 998727124 998578407 998126427 997626916 997103222 996797654 997524405 997321193 997406902 998075227 999452261 1000094743 1000095214 1000093484 1000572539 1001153619 1001734703 1002315760 1002542278 1002720016 1002489849 1002120571 1001859351 1001600893 1001347502 1000937525 1000766363 1000573062 1000396750 1000196842 999959267 999774773 999605857 999425906 999189542 999023969 998868033 998719692 998152908 997508185 996849817 996196253 995538675 994857970 994184431 993569593 992970449 992284792 991594765 991026995 990406221 989821290 989312395 988795633 988212405 987531552 986955279 986373221 985826294 985404494 984851913 984369481 983817003 983215277 982608774 982016536 981379459 980899087 980275137 979660451 979196781 978587935 977986440 977372657 976718503 976097518 975469006 974834809 974219493 973660349 973061072 972448783 971888733 971297323 970639344 970056092 969483196 968856237 968258280 967662527 967079950 966480234 965890385 965301811 964699971 964108542 963523761 962935407 962342814 961750227 961160769 960583849 960006921 959430006 958994891 958361923 957886579 957171407 956795587 956261220 955579369 954851411 954118039 954204247 954794112 955345558 955867035 956481463 957111229 957623985 958162723 958807332 958564805 958268883 957814347 957596691 957116220 956619805 956059900 955559901 954924738 954291435 953697351 953177676 952652567 952146717 952111886 952526336 952756037 952558523 952360993 952164465 951967509 951936307 952198485 952508843 952979434 953271809 953342533 953469423 953210899 952957348 952489501 951698357 951557719 951453919 950883061 950213449 950125699 950061067 949850590 949611469 949385227 949385228 949385240 949385236 948893005 948131100 947515205 949396853 950574020 951677382 952803062 954041151 955245382 956462828 957704460 957275734 956649267 956836784 956988320 958221755 961002775 963572304 966538182 967155099 966427808 965700531 964973254 964205300 963454585 962703253 961952846 961189085 960426175 959675767 958925359 958173721 957581404 957031020 958080354 961154185 962583898 963291890 964099181 964822651 965613919 966416817 967259167 968450423 969478933 970311832 971092326 973317898 975167227 976116087 976921513 977818568 978697128 979479217 980241162 980794619 981144190 981492564 981902773 982253499 982604782 983007513 983442582 983789563 984193016 984827011 985268006 985789769 986186956 986588525 987010004 987356914 988013143 988778521 989531648 990270238 990887852 991885852 992574554 993186790 993962897 994557853 995437107 995902906 996533175 997018998 997803053 997744381 997661388 997695339 997597004 997498325 997388735 997647713 997751593 997681441 998248395 998564511 998644533 998980873 999001637 999026310 999092517 999028182 999673978 1000412678 1001236979 1001719267 1002292361 1002909709 1003220230 1003592066 1003953671 1004158319 1004450581 1004730773 1004973277 1005302236 1005634888 1005805430 1006106904 1006279992 1006474582 1006725262 1006026645 1005542699 1004844149 1004601854 1004050443 1003920123 1003959567 1003703910 1003616537 1003207970 1002824120 1002565138 1002693610 1002856405 1003007426 1003160915 1003342926 1003481228 1003640008 1003503631 1003503629 1003448731 1003147270 1002854751 1002776066 1002553341 1002501378 1002124499 1001913999 1001499148 1001306120 1001057390 1000960734 1000768588 1000449047 1000271018 1000080054 999942244 999646991 999326382 999063561 999145615 999481337 999655875 999943338 1000073005 1000029647 1000294417 1000224335 1000292899 1000184243 999905179 999419800 998930802 998444616 997959005 997483251 997033251 996583251 995953063 995238777 994708862 994267829 993563727 993560089 993295306 993281920 993252543 992755505 992307573 991591397 990694966 989816440 988946364 988110581 987460240 986597505 985777410 985002052 984178157 983343483 982502712 981646709 980812493 980013397 979231285 978787673 977880179 976997333 976183388 975373183 974534710 973703000 972860778 972047462 971220341 970436501 969638183 968897589 968199839 967347608 966532978 965729260 964881205 964027988 963215376 962403882 961607573 960791969 959915348 959075257 958253927 957432068 956613866 955838547 955021423 954158297 953337698 952527976 951642021 950794823 950007498 949202575 948344965 947520888 946723664 945861222 945071493 944187467 943351413 942513627 941665624 940753781 939816772 939387369 938647715 938046684 937530503 936944733 936359265 935774279 935227751 934654676 934034265 933649661 933284149 933472373 933628529 934047463 934257932 934216833 933646133 932734863 931828599 930935533 930028631 929127095 928324761 927486966 927097671 926200361 925303221 924408770 923526513 922634284 921731547 920855553 919990228 919145262 918279221 917440363 916639000 916164848 915341923 914516213 913665200 912856759 912028494 911202065 910354773 909533724 908724950 907859185 907020721 906156471 905337325 904501651 903678241 902783538 901949358 901148849 900325747 899567549 898709596 897910108 897073830 896184005 895334047 894517835 893711822 892897813 892118289 891237268 890393215 889543968 888651385 887706101 887008617 886261321 885516919 884810514 884116649 883386140 882909493 882568437 883200275 883071861 882766025 881975455 881158153 880340172 879537883 878843381 877987629 877458708 876506639 875594598 874644197 874203445 874464450 874111098 873567264 874523389 874263279 875480119 875831507 875474623 874810165 874002360 873324004 872777909 8723539