4999.7860289243280931
5000.7858648550864018
5001.7857007823304230
5002.7855367146021308
5003.7853726467274100
5004.7852085716031070
5005.7850444959667584
5006.7848804166433183
5007.7847163411533984
5008.7845522659063136
5009.7843881904645968
5010.7842241152184215
5011.7840600426570745
5012.7838959693881407
5013.7837318961919664
5014.7835678247047326
5015.7834037505326705
5016.7832396779467672
5017.7830756036037201
5018.7829115284548607
5019.7827474565774537
5020.7825833825518203
5021.7824193088181346
5022.7822552309598905
5023.7820911527114731
5024.7819270788568247
5025.7817630053432367
5026.7815989287300908
5027.7814348513593359
5028.7812707781886274
5029.7811067034544976
5030.7809426320891362
5031.7807785542800048
5032.7806144776668589
5033.7804504026398718
5034.7802863290535242
5035.7801222551743194
5036.7799581803910769
5037.7797941103690391
5038.7796300359523229
5039.7794659629516900
5040.7793018892671171
5041.7791378139727385
5042.7789737337952829
5043.7788096527146990
5044.7786455712930547
5045.7784814917986296
5046.7783174143069118
5047.7781533380111796
5048.7779892659864345
5049.7778251953295694
5050.7776611200588377
5051.7774970501095595
5052.7773329776209721
5053.7771689027895263
5054.7770048275679073
5055.7768407607181871
5056.7766766878394264
5057.7765126193789911
5058.7763485444993421
5059.7761844663236843
5060.7760203876350715
5061.7758563131210394
5062.7756922427815880
5063.7755281721729261
5064.7753640938999524
5065.7752000189466344
5066.7750359439924068
5067.7748718693810588
5068.7747077836138487
5069.7745437129815400
5070.7743796354161532
5071.7742155571422700
5072.7740514826773506
5073.7738874161696003
5074.7737233521520466
5075.7735592793469550
5076.7733952027820123
5077.7732311279014539
5078.7730670576111152
5079.7729029850497682
5080.7727389143192340
5081.7725748487637247
5082.7724107743470086
5083.7722467007115483
5084.7720826339600535
5085.7719185601536083
5086.7717544853958316
5087.7715904098804458
5088.7714263356838273
5089.7712622624630967
5090.7710981894142606
5091.7709341204408702
5092.7707700516875775
5093.7706059811280284
5094.7704419100073210
5095.7702778349066648
5096.7701137665690112
5097.7699496970835753
5098.7697856225931901
5099.7696215499836399
5100.7694574788865793
5101.7692934075703306
5102.7691293355464950
5103.7689652707467758
5104.7688012076323503
5105.7686371393920126
5106.7684730672699516
5107.7683089989559448
5108.7681449329611496
5109.7679808701395814
5110.7678168054626440
5111.7676527372950659
5112.7674886662716744
5113.7673245997393678
5114.7671605321338575
5115.7669964661627091
5116.7668323983862138
5117.7666683352963446
5118.7665042729377092
5119.7663402114349083
5120.7661761503213711
5121.7660120898435707
5122.7658480275831607
5123.7656839614419368
5124.7655198941774870
5125.7653558310630615
5126.7651917748562482
5127.7650277136699515
5128.7648636542171516
5129.7646995932500431
5130.7645355292570457
5131.7643714665082371
5132.7642074005862014
5133.7640433422075148
5134.7638792789957733
5135.7637152200550190
5136.7635511656544622
5137.7633871128409737
5138.7632230476274344
5139.7630589888822215
5140.7628949276713684
5141.7627308616520168
5142.7625667920447086
5143.7624027181891506
5144.7622386486546020
5145.7620745832946341
5146.7619105173480420
5147.7617464499135167
5148.7615823826736232
5149.7614183153355043
5150.7612542530023347
5151.7610901912548798
5152.7609261279203565
5153.7607620614862753
5154.7605979951003974
5155.7604339319368592
5156.7602698665768912
5157.7601058026812098
5158.7599417307546901
5159.7597776669072118
5160.7596136048914559
5161.7594495427529182
5162.7592854743415955
5163.7591214054664306
5164.7589573357854533
5165.7587932705955609
5166.7586291998650267
5167.7584651287688757
5168.7583010602838840
5169.7581369910667490
5170.7579729291728654
5171.7578088614936860
5172.7576447944002211
5173.7574807255732594
5174.7573166551110262
5175.7571525866023876
5176.7569885162138235
5177.7568244463373048
5178.7566603768027562
5179.7564963050717779
5180.7563322319729195
5181.7561681648312515
5182.7560041016186005
5183.7558400374546181
5184.7556759728995530
5185.7555119087601270
5186.7553478405679925
5187.7551837830187651
5188.7550197232976643
5189.7548556602559984
5190.7546915973362047
5191.7545275367119757
5192.7543634677140290
5193.7541994020612037
5194.7540353327949560
5195.7538712547175237
5196.7537071763463246
5197.7535431023698038
5198.7533790289780882
5199.7532149559046957
5200.7530508854906657
5201.7528868167373730
5202.7527227497175772
5203.7525586847723389
5204.7523946176297613
5205.7522305473630695
5206.7520664725807364
5207.7519023999220735
5208.7517383305585099
5209.7515742579234939
5210.7514101886581557
5211.7512461240048651
5212.7510820549105119
5213.7509179922835756
5214.7507539217976955
5215.7505898505542064
5216.7504257750633769
5217.7502617009895403
5218.7500976274268396
5219.7499335570628318
5220.7497694858438990
5221.7496054103776260
5222.7494413382801213
5223.7492772667683312
5224.7491131936949387
5225.7489491241603901
5226.7487850532106677
5227.7486209846520069
5228.7484569116513740
5229.7482928358922436
5230.7481287606460683
5231.7479646936744757
5232.7478006226510843
5233.7476365550701303
5234.7474724853891530
5235.7473084150487921
5236.7471443438053029
5237.7469802873793014
5238.7468162288050735
5239.7466521631031355
5240.7464880911766159
5241.7463240230581505
5242.7461599542803015
5243.7459958821827968
5244.7458318105000217
5245.7456677495338226
5246.7455036788278449
5247.7453396101473118
5248.7451755445918025
5249.7450114744224265
5250.7448474044003888
5251.7446833420181065
5252.7445192719706029
5253.7443552122977053
5254.7441911477917529
5255.7440270741326458
5256.7438630132146500
5257.7436989474390430
5258.7435348749022523
5259.7433708068083433
5260.7432067317322435
5261.7430426552409699
5262.7428785832171343
5263.7427145057736197
5264.7425504255234046
5265.7423863486419577
5266.7422222740297002
5267.7420582040558656
5268.7418941291025476
5269.7417300493407311
5270.7415659721900738
5271.7414018971630867
5272.7412378200133389
5273.7410737467434956
5274.7409096694473192
5275.7407455948841744
5276.7405815223473837
5277.7404174468319979
5278.7402533738077182
5279.7400893118883687
5280.7399252546083517
5281.7397611868063905
5282.7395971151727281
5283.7394330383403940
5284.7392689656326183
5285.7391048949994001
5286.7389408175076824
5287.7387767397221978
5288.7386126622304801
5289.7384485889124335
5290.7382845203783290
5291.7381204475977938
5292.7379563725953631
5293.7377923009125880
5294.7376282344057472
5295.7374641623564457
5296.7373000859633976
5297.7371360186743914
5298.7369719433545470
5299.7368078774816240
5300.7366438041881338
5301.7364797275995443
5302.7363156535493545
5303.7361515788643374
5304.7359875095253301
5305.7358234366947727
5306.7356593710173911
5307.7354953167641725
5308.7353312541126797
5309.7351671901442387
5310.7350031223913902
5311.7348390489514713
5312.7346749857633768
5313.7345109330717605
5314.7343468685412518
5315.7341827938571441
5316.7340187258841979
5317.7338546535675050
5318.7336905788824879
5319.7335265090550820
5320.7333624372013219
5321.7331983622480038
5322.7330342882223704
5323.7328702154654820
5324.7327061457608579
5325.7325420752986247
5326.7323780066426480
5327.7322139439429520
5328.7320498746776138
5329.7318858195940265
5330.7317217634354165
5331.7315576960736507
5332.7313936222435586
5333.7312295491938130
5334.7310654794155198
5335.7309014072689024
5336.7307373341218408
5337.7305732598033501
5338.7304091906835311
5339.7302451237610512
5340.7300810569604437
5341.7299169904281371
5342.7297529173547446
5343.7295888476492109
5344.7294247716954487
5345.7292606970349880
5346.7290966290620418
5347.7289325639703748
5348.7287684962666390
5349.7286044339089131
5350.7284403763114824
5351.7282763222528956
5352.7281122643125855
5353.7279482001240467
5354.7277841250734127
5355.7276200528540357
5356.7274559862244132
5357.7272919197648662
5358.7271278572361553
5359.7269637800618511
5360.7267997031558480
5361.7266356366480977
5362.7264715602786964
5363.7263074877173494
5364.7261434157417170
5365.7259793439861824
5366.7258152682761647
5367.7256511922487334
5368.7254871180030023
5369.7253230404376154
5370.7251589641418832
5371.7249948880898955
5372.7248308139414803
5373.7246667319095650
5374.7245026535383658
5375.7243385825395308
5376.7241745066830845
5377.7240104246020564
5378.7238463458888873
5379.7236822714967275
5380.7235181907344668
5381.7233541130708545
5382.7231900375563782
5383.7230259627003761
5384.7228618900171568
5385.7226978249736931
5386.7225337598574697
5387.7223696922028466
5388.7222056282344056
5389.7220415606525421
5390.7218774922648663
5391.7217134260017701
5392.7215493587127639
5393.7213852882268839
5394.7212212161293792
5395.7210571396135492
5396.7208930640254039
5397.7207289903171841
5398.7205649141187678
5399.7204008377984792
5400.7202367659938318
5401.7200726915771156
5402.7199086146219997
5403.7197445391802830
5404.7195804580996992
5405.7194163781177849
5406.7192522969153288
5407.7190882186914678
5408.7189241357555147
5409.7187600567012851
5410.7185959803809965
5411.7184319063308067
5412.7182678297413077
5413.7181037551299596
5414.7179396844967414
5415.7177756112032512
5416.7176115374704750
5417.7174474627609015
5418.7172833816321145
5419.7171193055555705
5420.7169552291379659
5421.7167911508404359
5422.7166270791822171
5423.7164630040579141
5424.7162989300559275
5425.7161348490735691
5426.7159707701412117
5427.7158066924539526
5428.7156426164510776
5429.7154785474776872
5430.7153144742569566
5431.7151503941531701
5432.7149863162949259
5433.7148222363130117
5434.7146581649476502
5435.7144940941689129
5436.7143300188736248
5437.7141659474591506
5438.7140018810987385
5439.7138378113440922
5440.7136737501823518
5441.7135096922429511
5442.7133456244418994
5443.7131815543943958
5444.7130174904741580
5445.7128534206467521
5446.7126893553595437
5447.7125252839459790
5448.7123612186342143
5449.7121971544211192
5450.7120330880597976
5451.7118690197703472
5452.7117049500411667
5453.7115408754052623
5454.7113768017698021
5455.7112127332356977
5456.7110486644578486
5457.7108845897973879
5458.7107205199217788
5459.7105564512412457
5460.7103923813656365
5461.7102283131980585
5462.7100642426867125
5463.7099001650240098
5464.7097360902898799
5465.7095720183879166
5466.7094079488288116
5467.7092438734362077
5468.7090798015588007
5469.7089157316331693
5470.7087516633682753
5471.7085875934681098
5472.7084235276197433
5473.7082594572057133
5474.7080953925051290
5475.7079313238245959
5476.7077672556570178
5477.7076031856349800
5478.7074391158075741
5479.7072750479819661
5480.7071109796679593
5481.7069469086927711
5482.7067828401841325
5483.7066187693799293
5484.7064547003583357
5485.7062906305554861
5486.7061265618995094
5487.7059624939765854
5488.7057984257844510
5489.7056343545900745
5490.7054702862033082
5491.7053062183767906
5492.7051421451815258
5493.7049780748657213
5494.7048140024753593
5495.7046499345760822
5496.7044858649196613
5497.7043217967038800
5498.7041577390082239
5499.7039936769187989
5500.7038296127784633
5501.7036655471747508
5502.7035014841821976
5503.7033374229959009
5504.7031733582698507
5505.7030092911036263
5506.7028452249378461
5507.7026811559644557
5508.7025170881634040
5509.7023530165297416
5510.7021889528778047
5511.7020248931803508
5512.7018608235484862
5513.7016967582367215
5514.7015326935843404
5515.7013686191685338
5516.7012045429455611
5517.7010404678212581
5518.7008764005813646
5519.7007123349767426
5520.7005482653448780
5521.7003841902687782
5522.7002201173909270
5523.7000560429987672
5524.6998919677525919
5525.6997278948247185
5526.6995638191874605
5527.6993997406216295
5528.6992356652772287
5529.6990715864922095
5530.6989075151514044
5531.6987434435413888
5532.6985793732992533
5533.6984153019338919
5534.6982512269805738
5535.6980871474870582
5536.6979230742908840
5537.6977590021451761
5538.6975949330744697
5539.6974308586331972
5540.6972667783584257
5541.6971026967166836
5542.6969386209093500
5543.6967745465653934
5544.6966104764942429
5545.6964464065204083
5546.6962823293943075
5547.6961182523909883
5548.6959541785354304
5549.6957901058522111
5550.6956260337792628
5551.6954619566777183
5552.6952978770377740
5553.6951337983009580
5554.6949697223708426
5555.6948056524461208
5556.6946415751972381
5557.6944774948497070
5558.6943134223374727
5559.6941493475060270
5560.6939852717960093
5561.6938211988190233
5562.6936571243541039
5563.6934930492052445
5564.6933289761554988
5565.6931649042780919
5566.6930008290073602
5567.6928367540294857
5568.6926726878882619
5569.6925086139353880
5570.6923445412276124
5571.6921804777466605
5572.6920164122157075
5573.6918523442682272
5574.6916882748555508
5575.6915242036857308
5576.6913601351279794
5577.6911960618581361
5578.6910319895659995
5579.6908679161988402
5580.6907038448334788
5581.6905397699292735
5582.6903756957563019
5583.6902116234887217
5584.6900475562242718
5585.6898834917910790
5586.6897194265284270
5587.6895553672711685
5588.6893913045960289
5589.6892272398945352
5590.6890631767064406
5591.6888991146415719
5592.6887350434717519
5593.6885709721800595
5594.6884069016932699
5595.6882428292055920
5596.6880787568879896
5597.6879146865239818
5598.6877506216760594
5599.6875865594156494
5600.6874224903203867
5601.6872584199563789
5602.6870943453686778
5603.6869302730765412
5604.6867662042250231
5605.6866021342511885
5606.6864380735050872
5607.6862740074848261
5608.6861099440293401
5609.6859458736644228
5610.6857818124535697
5611.6856177507061147
5612.6854536914488563
5613.6852896176669674
5614.6851255447882068
5615.6849614669790753
5616.6847973978101436
5617.6846333284465800
5618.6844692483919061
5619.6843051762698451
5620.6841411007062561
5621.6839770294873233
5622.6838129592697442
5623.6836488858298253
5624.6834848156604494
5625.6833207422687337
5626.6831566683649726
5627.6829925979764084
5628.6828285246092491
5629.6826644573211524
5630.6825003947187724
5631.6823363392204556
5632.6821722653648976
5633.6820082016893139
5634.6818441299337792
5635.6816800588612750
5636.6815159922316525
5637.6813519176685077
5638.6811878417147454
5639.6810237627087190
5640.6808596862665581
5641.6806956093605550
5642.6805315409246759
5643.6803674798602515
5644.6802034231650396
5645.6800393598796290
5646.6798752943732325
5647.6797112271824517
5648.6795471577697754
5649.6793830924334543
5650.6792190245350866
5651.6790549538045525
5652.6788908892986001
5653.6787268187626978
5654.6785627530853162
5655.6783986857481068
5656.6782346161644455
5657.6780705444089108
5658.6779064752408885
5659.6777424079027696
5660.6775783386856347
5661.6774142707135979
5662.6772502062322019
5663.6770861342565695
5664.6769220607193347
5665.6767579914039743
5666.6765939183305818
5667.6764298564849014
5668.6762657898307225
5669.6761017199305570
5670.6759376496884215
5671.6757735778592178
5672.6756095069822550
5673.6754454362271645
5674.6752813675475409
5675.6751172992089778
5676.6749532290396019
5677.6747891543063815
5678.6746250827209224
5679.6744610115756586
5680.6742969414308391
5681.6741328742891710
5682.6739688093430232
5683.6738047448861835
5684.6736406796235315
5685.6734766079407564
5686.6733125363807630
5687.6731484649180857
5688.6729843942111984
5689.6728203219672650
5690.6726562522380846
5691.6724921819713927
5692.6723281183194558
5693.6721640487121476
5694.6719999766146429
5695.6718359053957101
5696.6716718297102489
5697.6715077573926465
5698.6713436827567421
5699.6711796140280057
5700.6710155510836557
5701.6708514847960032
5702.6706874243418497
5703.6705233607881382
5704.6703592927915452
5705.6701952235262070
5706.6700311537470043
5707.6698670852383657
5708.6697030184859614
5709.6695389475362390
5710.6693748792467886
5711.6692108129345797
5712.6690467404459923
5713.6688826691542999
5714.6687185978134949
5715.6685545327218279
5716.6683904654328217
5717.6682263990715001
5718.6680623335159908
5719.6678982674720828
5720.6677342028197017
5721.6675701311860394
5722.6674060603827456
5723.6672419879187146
5724.6670779211917761
5725.6669138477027445
5726.6667497768503381
5727.6665857049965780
5728.6664216373910676
5729.6662575653417662
5730.6660934923902460
5731.6659294193896130
5732.6657653596439559
5733.6656012896455650
5734.6654372279708696
5735.6652731656622564
5736.6651090942477822
5737.6649450262266328
5738.6647809515661720
5739.6646168783709072
5740.6644528080796590
5741.6642887338093715
5742.6641246635672360
5743.6639605996469982
5744.6637965303561941
5745.6636324644350680
5746.6634683964139185
5747.6633043303208979
5748.6631402688908565
5749.6629761989415783
5750.6628121263065623
5751.6626480571385400
5752.6624839871892618
5753.6623199181431119
5754.6621558581528006
5755.6619917899370193
5756.6618277324605515
5757.6616636671978995
5758.6614996033758871
5759.6613355321569543
5760.6611714682121601
5761.6610073995807397
5762.6608433314377180
5763.6606792552884144
5764.6605151827516238
5765.6603511145349330
5766.6601870468803099
5767.6600229840096290
5768.6598589208952035
5769.6596948510677976
5770.6595307786528792
5771.6593667149281828
5772.6592026462485592
5773.6590385760546269
5774.6588745165527143
5775.6587104431373518
5776.6585463669389355
5777.6583822974534996
5778.6582182313850353
5779.6580541599223579
5780.6578900918275394
5781.6577260199992452
5782.6575619561035637
5783.6573978872038424
5784.6572338200367085
5785.6570697483784897
5786.6569056730832017
5787.6567416017423966
5788.6565775330873294
5789.6564134643340367
5790.6562493923338479
5791.6560853231903820
5792.6559212520933215
5793.6557571823877879
5794.6555931122193215
5795.6554290442954880
5796.6552649729546829
5797.6551009107433856
5798.6549368437472367
5799.6547727746283272
5800.6546087057531622
5801.6544446338994021
5802.6542805654880794
5803.6541164946838762
5804.6539524228792288
5805.6537883527344093
5806.6536242868378395
5807.6534602236251885
5808.6532961546763545
5809.6531320876565587
5810.6529680175608519
5811.6528039543236446
5812.6526398847408927
5813.6524758158657278
5814.6523117408387407
5815.6521476701327629
5816.6519836051384118
5817.6518195324306362
5818.6516554669969992
5819.6514914009039785
5820.6513273326390845
5821.6511632754072707
5822.6509992109013183
5823.6508351486172614
5824.6506710813036989
5825.6505070108660220
5826.6503429430158576
5827.6501788757277609
5828.6500148036784594
5829.6498507358037386
5830.6496866712977862
5831.6495226047663891
5832.6493585407479259
5833.6491944733134005
5834.6490304073186053
5835.6488663366362744
5836.6487022722767506
5837.6485382060627671
5838.6483741382853623
5839.6482100681405427
5840.6480460011207470
5841.6478819388357806
5842.6477178672266746
5843.6475538002059693
5844.6473897346750164
5845.6472256696806653
5846.6470616117658210
5847.6468975413035878
5848.6467334725257388
5849.6465694002090459
5850.6464053302834145
5851.6462412630435210
5852.6460771956089957
5853.6459131284173054
5854.6457490549773865
5855.6455849846861383
5856.6454209177154553
5857.6452568491085913
5858.6450927781334030
5859.6449287092336817
5860.6447646390652153
5861.6446005664056429
5862.6444364948210932
5863.6442724230164458
5864.6441083494300983
5865.6439442848504768
5866.6437802209302390
5867.6436161498586443
5868.6434520834000068
5869.6432880172096702
5870.6431239463327074
5871.6429598748454737
5872.6427958045787818
5873.6426317331643077
5874.6424676622627885
5875.6423036011992735
5876.6421395336901696
5877.6419754572971215
5878.6418113853706018
5879.6416473094159301
5880.6414832357559135
5881.6413191628535060
5882.6411550935381456
5883.6409910232960101
5884.6408269532003033
5885.6406628849836125
5886.6404988134481755
5887.6403347396908430
5888.6401706722554081
5889.6400066002315725
5890.6398425349925674
5891.6396784761745948
5892.6395144019043073
5893.6393503319304727
5894.6391862584177943
5895.6390221845622364
5896.6388581104874902
5897.6386940391957978
5898.6385299691974069
5899.6383659025432280
5900.6382018377198619
5901.6380377724090067
5902.6378737042414286
5903.6377096372698361
5904.6375455722263723
5905.6373815072329307
5906.6372174472917322
5907.6370533829076521
5908.6368893174494588
5909.6367252575082603
5910.6365611932706088
5911.6363971312548529
5912.6362330784168080
5913.6360690184510531
5914.6359049550919735
5915.6357408934663908
5916.6355768328421618
5917.6354127705326391
5918.6352487089070564
5919.6350846452796759
5920.6349205846308905
5921.6347565210280663
5922.6345924627948989
5923.6344283987773451
5924.6342643321231662
5925.6341002689114248
5926.6339362059916311
5927.6337721373847671
5928.6336080614310049
5929.6334439899192148
5930.6332799172605519
5931.6331158502644030
5932.6329517813401253
5933.6327877177618575
5934.6326236560389589
5935.6324595902879082
5936.6322955246832862
5937.6321314580536637
5938.6319673863954449
5939.6318033142497370
5940.6316392434209774
5941.6314751740574138
5942.6313110989576671
5943.6311470256641769
5944.6309829514921148
5945.6308188757084281
5946.6306548033671788
5947.6304907392268433
5948.6303266762834028
5949.6301626053818836
5950.6299985306968665
5951.6298344591368732
5952.6296703840362170
5953.6295063102543281
5954.6293422350818219
5955.6291781617637753
5956.6290140880546460
5957.6288500235486936
5958.6286859577003270
5959.6285218907778471
5960.6283578240754650
5961.6281937514895617
5962.6280296886188808
5963.6278656166186920
5964.6277015469386242
5965.6275374780871061
5966.6273734061114737
5967.6272093314264566
5968.6270452562293940
5969.6268811855716194
5970.6267171177705677
5971.6265530480413872
5972.6263889809715693
5973.6262249100946065
5974.6260608441734803
5975.6258967702942755
5976.6257326948525588
5977.6255686191179848
5978.6254045512187076
5979.6252404863953416
5980.6250764122714827
5981.6249123440311450
5982.6247482696635416
5983.6245841979080069
5984.6244201274212173
5985.6242560578621124
5986.6240919906713316
5987.6239279197943688
5988.6237638483562478
5989.6235997770399990
5990.6234357075054504
5991.6232716455624541
5992.6231075915529800
5993.6229435220184314
5994.6227794520928001
5995.6226153876850731
5996.6224513231791207
5997.6222872589414692
5998.6221231953386450