3830.0 0.0000647256
3835.0 0.0000647256
3840.0 0.0000647256
3845.0 0.0000647256
3850.0 0.0000665236
3855.0 0.0000665236
3860.0 0.0000665236
3865.0 0.0000665236
3870.0 0.0000683215
3875.0 0.0000683215
3880.0 0.0000683215
3885.0 0.0000683215
3890.0 0.0001384409
3895.0 0.0001402388
3900.0 0.0001402388
3905.0 0.0001420368
3910.0 0.0002139541
3915.0 0.0002139541
3920.0 0.0002876694
3925.0 0.0002894673
3930.0 0.0002930632
3935.0 0.0003667785
3940.0 0.0003703744
3945.0 0.0004476855
3950.0 0.0004494834
3955.0 0.0005285925
3960.0 0.0005303905
3965.0 0.0006112975
3970.0 0.0007677177
3975.0 0.0009277338
3980.0 0.0010895479
3985.0 0.0013304710
3990.0 0.0016540991
3995.0 0.0019813231
4000.0 0.0023930499
4005.0 0.0028766941
4010.0 0.0033639342
4015.0 0.0039356771
4020.0 0.0044265131
4025.0 0.0050018519
4030.0 0.0056616936
4035.0 0.0064042402
4040.0 0.0073949018
4045.0 0.0087145852
4050.0 0.0106941100
4055.0 0.0134197780
4060.0 0.0173051130
4065.0 0.0226054220
4070.0 0.0294933060
4075.0 0.0383121720
4080.0 0.0492400130
4085.0 0.0619567990
4090.0 0.0765632140
4095.0 0.0922429940
4100.0 0.1091723400
4105.0 0.1274051900
4110.0 0.1469757000
4115.0 0.1699874500
4120.0 0.1971362500
4125.0 0.2294649000
4130.0 0.2693790300
4135.0 0.3149836200
4140.0 0.3685153000
4145.0 0.4295893200
4150.0 0.4938996100
4155.0 0.5611567200
4160.0 0.6245015200
4165.0 0.6792360200
4170.0 0.7223289000
4175.0 0.7517323100
4180.0 0.7694275700
4185.0 0.7785377000
4190.0 0.7824050600
4195.0 0.7837373300
4200.0 0.7841580500
4205.0 0.7835863000
4210.0 0.7815456500
4215.0 0.7768979900
4220.0 0.7693898200
4225.0 0.7584961400
4230.0 0.7459681300
4235.0 0.7327389400
4240.0 0.7209534800
4245.0 0.7126398300
4250.0 0.7089253000
4255.0 0.7108742600
4260.0 0.7184435600
4265.0 0.7311855200
4270.0 0.7477750600
4275.0 0.7672287000
4280.0 0.7868028100
4285.0 0.8045879700
4290.0 0.8195719500
4295.0 0.8304818100
4300.0 0.8370892200
4305.0 0.8393114600
4310.0 0.8381392100
4315.0 0.8345954800
4320.0 0.8297860100
4325.0 0.8247859600
4330.0 0.8204942900
4335.0 0.8174881400
4340.0 0.8162997100
4345.0 0.8169217900
4350.0 0.8193993500
4355.0 0.8226572000
4360.0 0.8264814100
4365.0 0.8305231600
4370.0 0.8342341000
4375.0 0.8371143900
4380.0 0.8392143700
4385.0 0.8408379100
4390.0 0.8419346500
4395.0 0.8432741100
4400.0 0.8450253000
4405.0 0.8473572200
4410.0 0.8504262900
4415.0 0.8543098300
4420.0 0.8583246100
4425.0 0.8631089200
4430.0 0.8677763500
4435.0 0.8726199900
4440.0 0.8775265500
4445.0 0.8822838800
4450.0 0.8870520000
4455.0 0.8917176400
4460.0 0.8960129000
4465.0 0.8998604800
4470.0 0.9029421400
4475.0 0.9049917800
4480.0 0.9060327900
4485.0 0.9056300500
4490.0 0.9040047200
4495.0 0.9016152600
4500.0 0.8984940500
4505.0 0.8944199300
4510.0 0.8909265500
4515.0 0.8885119200
4520.0 0.8876057600
4525.0 0.8883986500
4530.0 0.8907143900
4535.0 0.8952379900
4540.0 0.9008799100
4545.0 0.9077911700
4550.0 0.9148930000
4555.0 0.9219822600
4560.0 0.9283811000
4565.0 0.9335016200
4570.0 0.9376009100
4575.0 0.9404506300
4580.0 0.9423762200
4585.0 0.9435053200
4590.0 0.9441921300
4595.0 0.9446020600
4600.0 0.9446991500
4605.0 0.9447620800
4610.0 0.9447387100
4615.0 0.9446542000
4620.0 0.9444816000
4625.0 0.9440986400
4630.0 0.9439224400
4635.0 0.9431924800
4640.0 0.9425362400
4645.0 0.9416192900
4650.0 0.9403823100
4655.0 0.9389421700
4660.0 0.9369608400
4665.0 0.9345336300
4670.0 0.9321891300
4675.0 0.9297493300
4680.0 0.9276385600
4685.0 0.9258783800
4690.0 0.9247780500
4695.0 0.9242962000
4700.0 0.9242242800
4705.0 0.9242584400
4710.0 0.9246701700
4715.0 0.9248985100
4720.0 0.9252742700
4725.0 0.9256068900
4730.0 0.9261480700
4735.0 0.9273922400
4740.0 0.9293897500
4745.0 0.9326583900
4750.0 0.9368835300
4755.0 0.9424769100
4760.0 0.9487283200
4765.0 0.9554633800
4770.0 0.9624591400
4775.0 0.9686817900
4780.0 0.9740504200
4785.0 0.9779699200
4790.0 0.9807009800
4795.0 0.9823640700
4800.0 0.9834122600
4805.0 0.9842321200
4810.0 0.9852965000
4815.0 0.9866467500
4820.0 0.9887431400
4825.0 0.9911343900
4830.0 0.9939445600
4835.0 0.9964868400
4840.0 0.9985994100
4845.0 0.9999478600
4850.0 1.0000000000
4855.0 0.9992970100
4860.0 0.9975224500
4865.0 0.9947590200
4870.0 0.9917528800
4875.0 0.9881066700
4880.0 0.9844083200
4885.0 0.9806650200
4890.0 0.9772525400
4895.0 0.9744999000
4900.0 0.9722848500
4905.0 0.9709669600
4910.0 0.9705282700
4915.0 0.9711953000
4920.0 0.9727307400
4925.0 0.9754294400
4930.0 0.9786783000
4935.0 0.9821752800
4940.0 0.9850915300
4945.0 0.9870872400
4950.0 0.9872130900
4955.0 0.9850106300
4960.0 0.9802784600
4965.0 0.9730309900
4970.0 0.9635828500
4975.0 0.9526370300
4980.0 0.9404883900
4985.0 0.9282318800
4990.0 0.9168311800
4995.0 0.9065182300
5000.0 0.8984077500
5005.0 0.8919693500
5010.0 0.8878988300
5015.0 0.8865737500
5020.0 0.8871526800
5025.0 0.8893587500
5030.0 0.8931074400
5035.0 0.8976634100
5040.0 0.9025268200
5045.0 0.9073380900
5050.0 0.9120001300
5055.0 0.9162864000
5060.0 0.9198966500
5065.0 0.9231077600
5070.0 0.9253408000
5075.0 0.9267791500
5080.0 0.9271333400
5085.0 0.9264806900
5090.0 0.9249650300
5095.0 0.9223148800
5100.0 0.9190174700
5105.0 0.9151680900
5110.0 0.9110166600
5115.0 0.9069173700
5120.0 0.9027965100
5125.0 0.8993732400
5130.0 0.8963814800
5135.0 0.8941232700
5140.0 0.8924278200
5145.0 0.8912016300
5150.0 0.8899916200
5155.0 0.8883806700
5160.0 0.8865665600
5165.0 0.8842346400
5170.0 0.8815413300
5175.0 0.8789810700
5180.0 0.8771489800
5185.0 0.8762985600
5190.0 0.8767552300
5195.0 0.8790547900
5200.0 0.8830066500
5205.0 0.8887222800
5210.0 0.8958672700
5215.0 0.9037584000
5220.0 0.9122824100
5225.0 0.9206068400
5230.0 0.9279460000
5235.0 0.9337749100
5240.0 0.9375307900
5245.0 0.9384243600
5250.0 0.9369374700
5255.0 0.9335124100
5260.0 0.9284728000
5265.0 0.9225863600
5270.0 0.9163727000
5275.0 0.9109105800
5280.0 0.9057702900
5285.0 0.9017591000
5290.0 0.8984886600
5295.0 0.8960021100
5300.0 0.8934742200
5305.0 0.8912465800
5310.0 0.8882728000
5315.0 0.8851767500
5320.0 0.8815737000
5325.0 0.8776721800
5330.0 0.8737634700
5335.0 0.8705829300
5340.0 0.8687058800
5345.0 0.8680981800
5350.0 0.8690007400
5355.0 0.8719349700
5360.0 0.8765862300
5365.0 0.8827531400
5370.0 0.8900527500
5375.0 0.8977748800
5380.0 0.9055581300
5385.0 0.9119515900
5390.0 0.9164158500
5395.0 0.9180663600
5400.0 0.9164176500
5405.0 0.9116441400
5410.0 0.9038267200
5415.0 0.8943228400
5420.0 0.8833626400
5425.0 0.8721705000
5430.0 0.8614188600
5435.0 0.8513450300
5440.0 0.8423427800
5445.0 0.8340147500
5450.0 0.8255698600
5455.0 0.8168229100
5460.0 0.8068929200
5465.0 0.7953411900
5470.0 0.7825327100
5475.0 0.7681312600
5480.0 0.7530088400
5485.0 0.7374693000
5490.0 0.7218488500
5495.0 0.7073485200
5500.0 0.6939808800
5505.0 0.6827617700
5510.0 0.6742827100
5515.0 0.6688439600
5520.0 0.6663574200
5525.0 0.6661416700
5530.0 0.6672941500
5535.0 0.6682902000
5540.0 0.6678137500
5545.0 0.6643455300
5550.0 0.6570962600
5555.0 0.6457818700
5560.0 0.6313498500
5565.0 0.6140015900
5570.0 0.5950010200
5575.0 0.5758764000
5580.0 0.5573343100
5585.0 0.5403294500
5590.0 0.5244986500
5595.0 0.5085923300
5600.0 0.4918571600
5605.0 0.4727127600
5610.0 0.4499491200
5615.0 0.4235932100
5620.0 0.3934274700
5625.0 0.3606547400
5630.0 0.3272023800
5635.0 0.2931081600
5640.0 0.2614375600
5645.0 0.2319496400
5650.0 0.2047810700
5655.0 0.1815104100
5660.0 0.1608539500
5665.0 0.1433115100
5670.0 0.1283706800
5675.0 0.1148987600
5680.0 0.1029820500
5685.0 0.0919984750
5690.0 0.0810274830
5695.0 0.0723326750
5700.0 0.0633430060
5705.0 0.0551839830
5710.0 0.0480623670
5715.0 0.0414657480
5720.0 0.0358004580
5725.0 0.0309640160
5730.0 0.0267460630
5735.0 0.0232472840
5740.0 0.0202627140
5745.0 0.0177977470
5750.0 0.0156438220
5755.0 0.0138980280
5760.0 0.0123589970
5765.0 0.0110267280
5770.0 0.0097951434
5775.0 0.0086678389
5780.0 0.0075405344
5785.0 0.0066199923
5790.0 0.0056994502
5795.0 0.0048813903
5800.0 0.0041676106
5805.0 0.0035563131
5810.0 0.0030474978
5815.0 0.0026393668
5820.0 0.0022330338
5825.0 0.0019273850
5830.0 0.0017242185
5835.0 0.0015210520
5840.0 0.0014185698
5845.0 0.0013178855
5850.0 0.0012154033
5855.0 0.0011147190
5860.0 0.0010122367
5865.0 0.0010122367
5870.0 0.0010122367
5875.0 0.0009115524
5880.0 0.0009097545
5885.0 0.0009097545
5890.0 0.0009097545
5895.0 0.0009097545
5900.0 0.0009097545
5905.0 0.0009097545
5910.0 0.0009097545
5915.0 0.0009079566
5920.0 0.0009079566
5925.0 0.0009079566
5930.0 0.0009079566
5935.0 0.0008072723
5940.0 0.0008072723
5945.0 0.0008072723
5950.0 0.0008072723
5955.0 0.0008054744
5960.0 0.0008054744
5965.0 0.0008054744
5970.0 0.0007047901
5975.0 0.0007047901
5980.0 0.0007047901
5985.0 0.0007047901
5990.0 0.0006041058
5995.0 0.0006041058
6000.0 0.0005034215
6005.0 0.0005034215
6010.0 0.0004027372
6015.0 0.0003020529
6020.0 0.0003020529
6025.0 0.0002013686
6030.0 0.0002013686
6035.0 0.0002013686
6040.0 0.0001006843
6045.0 0.0001006843
6050.0 0.0001006843
6055.0 0.0001006843
6060.0 0.0001006843
6065.0 0.0001006843
6070.0 0.0001006843
6075.0 0.0001006843
6080.0 0.0001006843