6999.4577532732619147
7000.4575892425882557
7001.4574252077891288
7002.4572611746261828
7003.4570971428292978
7004.4569331137663539
7005.4567690820194912
7006.4566050508819899
7007.4564410200373459
7008.4562769902668151
7009.4561129690882808
7010.4559489447365195
7011.4557849152342897
7012.4556208898575278
7013.4554568691683016
7014.4552928423263438
7015.4551288125558131
7016.4549647815401840
7017.4548007532348493
7018.4546367239036044
7019.4544726935228027
7020.4543086690737255
7021.4541446425982940
7022.4539806161965316
7023.4538165867434145
7024.4536525558742142
7025.4534885235652837
7026.4533244931599256
7027.4531604598014383
7028.4529964320081490
7029.4528324067778158
7030.4526683759577281
7031.4525043428666322
7032.4523403126568155
7033.4521762855474663
7034.4520122664926021
7035.4518482446555936
7036.4516842150560478
7037.4515201844797048
7038.4513561514140747
7039.4511921203493330
7040.4510280905788022
7041.4508640572448712
7042.4507000249595876
7043.4505359940421840
7044.4503719619769981
7045.4502079313033391
7046.4500438946488430
7047.4498798615341002
7048.4497158333997504
7049.4495518082421768
7050.4493877838904154
7051.4492237543399824
7052.4490597297690329
7053.4488956988507198
7054.4487316653703601
7055.4485676453878114
7056.4484036222329451
7057.4482395998829816
7058.4480755697704808
7059.4479115355079557
7060.4477475005633096
7061.4475834685708833
7062.4474194323074698
7063.4472553933346717
7064.4470913592922443
7065.4469273218810486
7066.4467632980176859
7067.4465992771083620
7068.4464352467030039
7069.4462712210579411
7070.4461071892856125
7071.4459431569275694
7072.4457791335771617
7073.4456151115691682
7074.4454510888281220
7075.4452870608884041
7076.4451230286285863
7077.4449590132835510
7078.4447949950108523
7079.4446309626528091
7080.4444669274143962
7081.4443028960813535
7082.4441388674340487
7083.4439748366621643
7084.4438108030353760
7085.4436467707746488
7086.4434827414679603
7087.4433187094273308
7088.4431546831719970
7089.4429906533277972
7090.4428266255590643
7091.4426625987662192
7092.4424985706073130
7093.4423345464756494
7094.4421705310087418
7095.4420065111244185
7096.4418424998075352
7097.4416784764325712
7098.4415144539361791
7099.4413504231652041
7100.4411863946879748
7101.4410223737786509
7102.4408583507211006
7103.4406943202666298
7104.4405303000403364
7105.4403662744925896
7106.4402022467729694
7107.4400382252533745
7108.4398741979475744
7109.4397101705453679
7110.4395461497570068
7111.4393821277008101
7112.4392181013226946
7113.4390540786553174
7114.4388900585026931
7115.4387260346638868
7116.4385620116063365
7117.4383979875474324
7118.4382339632202275
7119.4380699397233911
7120.4379059212542415
7121.4377419026877760
7122.4375778728935984
7123.4374138452949410
7124.4372498189668477
7125.4370857958110719
7126.4369217752428085
7127.4367577500124753
7128.4365937280535945
7129.4364297047022774
7130.4362656796429292
7131.4361016493357965
7132.4359376260090357
7133.4357736053198096
7134.4356095883395028
7135.4354455645006965
7136.4352815356578503
7137.4351175098172462
7138.4349534821949419
7139.4347894646534769
7140.4346254474785383
7141.4344614195142640
7142.4342973936254566
7143.4341333726179073
7144.4339693476313187
7145.4338053213277817
7146.4336412975617350
7147.4334772728925600
7148.4333132528136048
7149.4331492323181010
7150.4329852053060677
7151.4328211797337644
7152.4326571543087994
7153.4324931350347470
7154.4323291130995131
7155.4321650850861261
7156.4320010578549045
7157.4318370296459761
7158.4316730024147546
7159.4315089755245936
7160.4313449476821916
7161.4311809234768589
7162.4310169056188897
7163.4308528933988782
7164.4306888740029535
7165.4305248472101084
7166.4303608241525581
7167.4301967984583825
7168.4300327743503658
7169.4298687497548599
7170.4297047273075805
7171.4295407113286274
7172.4293766951304860
7173.4292126770760660
7174.4290486578756827
7175.4288846424087751
7176.4287206187163974
7177.4285566044218285
7178.4283925906647710
7179.4282285798362864
7180.4280645675680717
7181.4279005490743657
7182.4277365330226530
7183.4275725277111633
7184.4274085128790830
7185.4272444954840466
7186.4270804699372093
7187.4269164500037732
7188.4267524339757074
7189.4265884158730842
7190.4264244007736124
7191.4262603938259417
7192.4260963819233439
7193.4259323671649327
7194.4257683424721108
7195.4256043191699064
7196.4254403054856084
7197.4252762890428130
7198.4251122610303355
7199.4249482462719243
7200.4247842293898429
7201.4246202108233774
7202.4244561871309998
7203.4242921578970709
7204.4241281326185344
7205.4239641086087431
7206.4238000801315138
7207.4236360541935937
7208.4234720317945175
7209.4233080132526084
7210.4231439910008703
7211.4229799657459807
7212.4228159417853021
7213.4226519184339850
7214.4224878996728876
7215.4223238767608564
7216.4221598494559657
7217.4219958234207297
7218.4218318011435258
7219.4216677812346461
7220.4215037577623661
7221.4213397331177475
7222.4211757062275865
7223.4210116766525971
7224.4208476462226827
7225.4206836206021762
7226.4205195944687148
7227.4203555653084550
7228.4201915416642805
7229.4200275136518030
7230.4198634894219140
7231.4196994635085503
7232.4195354373987357
7233.4193714093371455
7234.4192073832773531
7235.4190433660287454
7236.4188793468765653
7237.4187153390994354
7238.4185513219736094
7239.4183872934236206
7240.4182232662160459
7241.4180592385446289
7242.4178952164629663
7243.4177311868879769
7244.4175671623652306
7245.4174031291531719
7246.4172390996263857
7247.4170750717848932
7248.4169110451630331
7249.4167470155880437
7250.4165829780795320
7251.4164189476250613
7252.4162549255197519
7253.4160909050979171
7254.4159268699568202
7255.4157628357443173
7256.4155988066568170
7257.4154347771791436
7258.4152707475068382
7259.4151067247175888
7260.4149426988278719
7261.4147786710345827
7262.4146146476596186
7263.4144506188413288
7264.4142865865069325
7265.4141225567855145
7266.4139585237926440
7267.4137944919721122
7268.4136304652283798
7269.4134664357015936
7270.4133024089096580
7271.4131383833864675
7272.4129743537860122
7273.4128103266275502
7274.4126462908034227
7275.4124822513422259
7276.4123182160064971
7277.4121541892627647
7278.4119901589301662
7279.4118261300636732
7280.4116621092271089
7281.4114980842896330
7282.4113340626963691
7283.4111700329258383
7284.4110060003722538
7285.4108419718713776
7286.4106779457133598
7287.4105139203857107
7288.4103498983777172
7289.4101858794201689
7290.4100218591456724
7291.4098578440452911
7292.4096938240627424
7293.4095298041784190
7294.4093657787771008
7295.4092017555976781
7296.4090377248267032
7297.4088737011579724
7298.4087096876446594
7299.4085456619259276
7300.4083816330348782
7301.4082176085858009
7302.4080535812072412
7303.4078895614202338
7304.4077255432448510
7305.4075615263627697
7306.4073975048668217
7307.4072334788070293
7308.4070694489137168
7309.4069054216579389
7310.4067414010169159
7311.4065773870388512
7312.4064133628344280
7313.4062493306473698
7314.4060852995344248
7315.4059212774773187
7316.4057572512701881
7317.4055932228911843
7318.4054291979537084
7319.4052651712836450
7320.4051011543278946
7321.4049371367136700
7322.4047731252749145
7323.4046091033887933
7324.4044450742039771
7325.4042810447754164
7326.4041170164691721
7327.4039529955598482
7328.4037889677174462
7329.4036249414375561
7330.4034609224809174
7331.4032968994233670
7332.4031328711662354
7333.4029688432265175
7334.4028048151403709
7335.4026407856863443
7336.4024767640939899
7337.4023127424025006
7338.4021487188565516
7339.4019846967994454
7340.4018206765731520
7341.4016566541504289
7342.4014926272602679
7343.4013286050076204
7344.4011645832197246
7345.4010005521067797
7346.4008365234103621
7347.4006724987902999
7348.4005084731688839
7349.4003444494283031
7350.4001804302761229
7351.4000164060953466
7352.3998523824511722
7353.3996883552199506
7354.3995243271820073
7355.3993603026601704
7356.3991962747440994
7357.3990322474637651
7358.3988682224289732
7359.3987041969057827
7360.3985401747504511
7361.3983761471035905
7362.3982121217268286
7363.3980480963991795
7364.3978840704858158
7365.3977200446452116
7366.3975560187554947
7367.3973919934769583
7368.3972279663421432
7369.3970639431136078
7370.3968999251819696
7371.3967359056878195
7372.3965718805311553
7373.3964078568633340
7374.3962438351236415
7375.3960798180214624
7376.3959158024581484
7377.3957517914095661
7378.3955877747230261
7379.3954237504685807
7380.3952597269226317
7381.3950957012775689
7382.3949316841762993
7383.3947676593115830
7384.3946036362540326
7385.3944396191282067
7386.3942755975840555
7387.3941115770157921
7388.3939475554470846
7389.3937835370024914
7390.3936195109663458
7391.3934554790967013
7392.3932914638262446
7393.3931274401820701
7394.3929634179057757
7395.3927993974593846
7396.3926353764773012
7397.3924713568849256
7398.3923073312644192
7399.3921433035447990
7400.3919792769474952
7401.3918152451260539
7402.3916512155510645
7403.3914871879769635
7404.3913231659935263
7405.3911591479154595
7406.3909951316682054
7407.3908311097575279
7408.3906670904098064
7409.3905030666683160
7410.3903390461737217
7411.3901750237755550
7412.3900110042814049
7413.3898469738269341
7414.3896829444474861
7415.3895189159466099
7416.3893548923024355
7417.3891908629466343
7418.3890268252434907
7419.3888627920550789
7420.3886987772484645
7421.3885347662981076
7422.3883707427512491
7423.3882067159838698
7424.3880426907044239
7425.3878786628383750
7426.3877146381937564
7427.3875506030526594
7428.3873865683517579
7429.3872225354807597
7430.3870585052709430
7431.3868944745236149
7432.3867304479026643
7433.3865664186687354
7434.3864023916075894
7435.3862383644491274
7436.3860743409277347
7437.3859103115473772
7438.3857462852920435
7439.3855822616242222
7440.3854182407631015
7441.3852542117001576
7442.3850901915475333
7443.3849261721516086
7444.3847621429176797
7445.3845981180047602
7446.3844340968025790
7447.3842700772347598
7448.3841060626473336
7449.3839420396625428
7450.3837780167514211
7451.3836139896902750
7452.3834499672429956
7453.3832859438189189
7454.3831219201510976
7455.3829579014627598
7456.3827938781851117
7457.3826298548592604
7458.3824658332905528
7459.3823018111597776
7460.3821377842214133
7461.3819737687299494
7462.3818097489192951
7463.3816457275943321
7464.3814817100774235
7465.3813176895337165
7466.3811536634739241
7467.3809896372667936
7468.3808256098891434
7469.3806615840967424
7470.3804975593548079
7471.3803335325628723
7472.3801695038901016
7473.3800054776347679
7474.3798414518432764
7475.3796774326174273
7476.3795134154670450
7477.3793493928733369
7478.3791853686680042
7479.3790213468309958
7480.3788573207948502
7481.3786932984939995
7482.3785292846632728
7483.3783652611173238
7484.3782012421115724
7485.3780372289402294
7486.3778732211385432
7487.3777092023765363
7488.3775451854462517
7489.3773811585315343
7490.3772171364989845
7491.3770531194459181
7492.3768890977307819
7493.3767250778464586
7494.3765610560822097
7495.3763970329264339
7496.3762330066711002
7497.3760689799028114
7498.3759049589934875
7499.3757409388645101
7500.3755769229592261
7501.3754129065655434
7502.3752488912450644
7503.3750848733870953
7504.3749208504759736
7505.3747568339113059
7506.3745928202260984
7507.3744288016605424
7508.3742647786020825
7509.3741007569115027
7510.3739367321450118
7511.3737727110155902
7512.3736086916442218
7513.3734446710759585
7514.3732806481648367
7515.3731166261568433
7516.3729526086881378
7517.3727886006427070
7518.3726245828329411
7519.3724605738116225
7520.3722965602974000
7521.3721325434398750
7522.3719685195037528
7523.3718045026698746
7524.3716404880588016
7525.3714764651467704
7526.3713124478008467
7527.3711484305777049
7528.3709844070071995
7529.3708203910036900
7530.3706563694840952
7531.3704923511859306
7532.3703283300565090
7533.3701643093181701
7534.3700002876757935
7535.3698362667664696
7536.3696722451240930
7537.3695082222129713
7538.3693441979830823
7539.3691801760969611
7540.3690161567010364
7541.3688521405510983
7542.3686881214725872
7543.3685241019538807
7544.3683600743315765
7545.3681960522253576
7546.3680320294606645
7547.3678680062566855
7548.3677039852736925
7549.3675399579924488
7550.3673759297116703
7551.3672119054817813
7552.3670478830345019
7553.3668838643461640
7554.3667198435578030
7555.3665558272377893
7556.3663918050342545
7557.3662277818784787
7558.3660637606762975
7559.3658997355432803
7560.3657357162201151
7561.3655717007786734
7562.3654076762559271
7563.3652436513430075
7564.3650796334604820
7565.3649156261717508
7566.3647516126093251
7567.3645875836928099
7568.3644235542888055
7569.3642595254214029
7570.3640954942347889
7571.3639314651718450
7572.3637674494621024
7573.3636034285518690
7574.3634394010759934
7575.3632753738684187
7576.3631113474175436
7577.3629473198197957
7578.3627832955171471
7579.3626192777073811
7580.3624552597275397
7581.3622912399650886
7582.3621272117561602
7583.3619631810333885
7584.3617991547534984
7585.3616351328191740
7586.3614711078571418
7587.3613070838964632
7588.3611430659157122
7589.3609790387572502
7590.3608150145519176
7591.3606509912506226
7592.3604869720493298
7593.3603229503096372
7594.3601589271293051
7595.3599949036324688
7596.3598308815026030
7597.3596668587615568
7598.3595028366316910
7599.3593388113768015
7600.3591747863665660
7601.3590107633817752
7602.3588467402259994
7603.3586827162653208
7604.3585186905465889
7605.3583546662439403
7606.3581906442605032
7607.3580266164181012
7608.3578625939953781
7609.3576985743547993
7610.3575345489052779
7611.3573705322423848
7612.3572065089892931
7613.3570424876888865
7614.3568784700501055
7615.3567144431845009
7616.3565504233974934
7617.3563863957506328
7618.3562223718636233
7619.3560583401640542
7620.3558943121997800
7621.3557302838944452
7622.3555662592989393
7623.3554022418065870
7624.3552382159168701
7625.3550741829976687
7626.3549101497119409
7627.3547461199905229
7628.3545820898289094
7629.3544180680892168
7630.3542540458620351
7631.3540900168964072
7632.3539259913732167
7633.3537619708540660
7634.3535979435000627
7635.3534339227371674
7636.3532698959934351
7637.3531058690541613
7638.3529418389907732
7639.3527778122470409
7640.3526137873104744
7641.3524497611279003
7642.3522857389734781
7643.3521217175511993
7644.3519576929065806
7645.3517936609878234
7646.3516296343905196
7647.3514656057914181
7648.3513015826847550
7649.3511375590414900
7650.3509735408169945
7651.3508095201268588
7652.3506455064425609
7653.3504814899024495
7654.3503174685047270
7655.3501534519391498
7656.3499894356436926
7657.3498254196401831
7658.3496614123023392
7659.3494973939559713
7660.3493333716542111
7661.3491693501100599
7662.3490053302748493
7663.3488413104878418
7664.3486772943133474
7665.3485132754785809
7666.3483492543491593
7667.3481852394934322
7668.3480212179001683
7669.3478571924260905
7670.3476931732247976
7671.3475291586864842
7672.3473651463682472
7673.3472011242874942
7674.3470371116773094
7675.3468730989688993
7676.3467090791091323
7677.3465450594685535
7678.3463810462972106
7679.3462170290731592
7680.3460530149004626
7681.3458890081001300
7682.3457249918037633
7683.3455609733100573
7684.3453969583570142
7685.3452329505798843
7686.3450689459268688
7687.3449049255787031
7688.3447409105519910
7689.3445768980636785
7690.3444128867467953
7691.3442488664968550
7692.3440848520313011
7693.3439208405925456
7694.3437568327417466
7695.3435928152011911
7696.3434288078387908
7697.3432647910540254
7698.3431007790786680
7699.3429367603166611
7700.3427727496355146
7701.3426087308735077
7702.3424447111110567
7703.3422806960597882
7704.3421166765656380
7705.3419526560219310
7706.3417886426304904
7707.3416246299229897
7708.3414606226097021
7709.3412966141731886
7710.3411325980232505
7711.3409685852911934
7712.3408045708747522
7713.3406405501846166
7714.3404765236609819
7715.3403125042641477
7716.3401484880414500
7717.3399844736004525
7718.3398204546920169
7719.3396564359554759
7720.3394924185113268
7721.3393283949408215
7722.3391643696131723
7723.3390003517788500
7724.3388363266712986
7725.3386723036373951
7726.3385082918330227
7727.3383442761714832
7728.3381802536996474
7729.3380162394532817
7730.3378522180310028
7731.3376881921903987
7732.3375241713056312
7733.3373601546427381
7734.3371961283874043
7735.3370321031325147
7736.3368680796356784
7737.3367040563580304
7738.3365400317870808
7739.3363760060683489
7740.3362119938492469
7741.3360479726215999
7742.3358839513457497
7743.3357199278243570
7744.3355559136516604
7745.3353918986986173
7746.3352278777156243
7747.3350638564879773
7748.3348998377023236
7749.3347358192577303
7750.3345717990314370
7751.3344077863239363
7752.3342437684650577
7753.3340797608343564
7754.3339157589889510
7755.3337517572654178
7756.3335877349645671
7757.3334237099297752
7758.3332596833570278
7759.3330956579557096
7760.3329316376075440
7761.3327676209446508
7762.3326036118251068
7763.3324396089055881
7764.3322755933177177
7765.3321115815861049
7766.3319475667785809
7767.3317835439165719
7768.3316195230554513
7769.3314555100059806
7770.3312914915859437
7771.3311274766811039
7772.3309634578463374
7773.3307994367414722
7774.3306354192727667
7775.3304714062232961
7776.3303073889019288
7777.3301433767310300
7778.3299793613141446
7779.3298153413807086
7780.3296513231316567
7781.3294873079585159
7782.3293232955675194
7783.3291592869363740
7784.3289952809409442
7785.3288312831227813
7786.3286672826689028
7787.3285032792855418
7788.3283392746816389
7789.3281752850652992
7790.3280112761412965
7791.3278472633846832
7792.3276832453311727
7793.3275192428745868
7794.3273552380760520
7795.3271912288100793
7796.3270272169320378
7797.3268632062254255
7798.3266992003518681
7799.3265351875706983
7800.3263711746922127
7801.3262071660119545
7802.3260431568432978
7803.3258791542166364
7804.3257151537136451
7805.3255511448869584
7806.3253871395754686
7807.3252231377300632
7808.3250591258029090
7809.3248951129735360
7810.3247310946017024
7811.3245670852875264
7812.3244030702599048
7813.3242390505465664
7814.3240750372287948
7815.3239110262047689
7816.3237470137655691
7817.3235830068424548
7818.3234189973327375
7819.3232549858448692
7820.3230909721851276
7821.3229269660923819
7822.3227629606344635
7823.3225989441671118
7824.3224349340462140
7825.3222709201672842
7826.3221069104365597
7827.3219429025130012
7828.3217788923193439
7829.3216148926712776
7830.3214508950486561
7831.3212868910550242
7832.3211228838636089
7833.3209588754516517
7834.3207948718245461
7835.3206308636081303
7836.3204668574417155
7837.3203028550105955
7838.3201388557527025
7839.3199748502947841
7840.3198108423948725
7841.3196468355945399
7842.3194828358236919
7843.3193188297309462
7844.3191548229060572
7845.3189908136155282
7846.3188268045687437
7847.3186627930817849
7848.3184987892345816
7849.3183347849962956
7850.3181707809790169
7851.3180067774246709
7852.3178427714783538
7853.3176787633101412
7854.3175147583406215
7855.3173507583505852
7856.3171867596784068
7857.3170227614937176
7858.3168587545469563
7859.3166947503577831
7860.3165307504650627
7861.3163667509870720
7862.3162027470425528
7863.3160387410962358
7864.3158747410816432
7865.3157107432880366
7866.3155467420037894
7867.3153827404512413
7868.3152187372143089
7869.3150547281684339
7870.3148907168269943
7871.3147267119793469
7872.3145627086933018
7873.3143987094845215
7874.3142347082002743
7875.3140707141665189
7876.3139067184965825
7877.3137427176025085
7878.3135787223727675
7879.3134147240180027
7880.3132507164846174
7881.3130867116851732
7882.3129227007348163
7883.3127586895652712
7884.3125946818363445
7885.3124306721801986
7886.3122666641102114
7887.3121026642902507
7888.3119386650569140
7889.3117746593543416
7890.3116106529196259
7891.3114466531251310
7892.3112826471542576
7893.3111186415744669
7894.3109546321365997
7895.3107906263130644
7896.3106266218064775
7897.3104626130289034
7898.3102986074973160
7899.3101346092153108
7900.3099706042939943
7901.3098065945396229
7902.3096425864214325
7903.3094785823295751
7904.3093145746752270
7905.3091505666288867
7906.3089865564115826
7907.3088225507335665
7908.3086585444943921
7909.3084945363507359
7910.3083305353593460
7911.3081665322206391
7912.3080025336703329
7913.3078385290418737
7914.3076745206062697
7915.3075105124626134
7916.3073465120087349
7917.3071825030110631
7918.3070184965272347
7919.3068544926800314
7920.3066904801680721
7921.3065264643601040
7922.3063624541900936
7923.3061984494888748
7924.3060344441037159
7925.3058704426248369
7926.3057064415606874
7927.3055424383474019
7928.3053784294970683
7929.3052144189859973
7930.3050504110133261
7931.3048864101929212
7932.3047224000720234
7933.3045583916118630
7934.3043943838347332
7935.3042303751053623
7936.3040663672063602
7937.3039023577448461
7938.3037383525061159
7939.3035743445825574
7940.3034103385143680
7941.3032463379868204
7942.3030823376311673
7943.3029183374210334
7944.3027543410189537
7945.3025903448115059
7946.3024263431370855
7947.3022623396072959
7948.3020983364685890
7949.3019343244195625
7950.3017703157147480
7951.3016062996621258
7952.3014422899568672
7953.3012782897712896
7954.3011142869008836
7955.3009502768290986
7956.3007862696131269
7957.3006222645699381
7958.3004582622606904
7959.3002942583889308
7960.3001302557386225
7961.2999662458623789
7962.2998022351803229
7963.2996382277933662
7964.2994742162081820
7965.2993102077234653
7966.2991461956989951
7967.2989821877263239
7968.2988181839036770
7969.2986541795444282
7970.2984901699610418
7971.2983261640383716
7972.2981621596300101
7973.2979981556854909
7974.2978341487378202
7975.2976701432799018
7976.2975061392135103
7977.2973421348533520
7978.2971781280039067
7979.2970141212517774
7980.2968501252162241
7981.2966861247869019
7982.2965221157155611
7983.2963581173362400
7984.2961941151734209
7985.2960301136208727
7986.2958661152906643
7987.2957021142747180
7988.2955381147239677
7989.2953741290621110
7990.2952101295113607
7991.2950461258105861
7992.2948821276995659
7993.2947181249510322
7994.2945541259132369
7995.2943901301941878
7996.2942261299840538
7997.2940621286516034
7998.2938981257075284