4885.0 0.0000000000
4890.0 0.0000001000
4895.0 0.0000001000
4900.0 0.0000001000
4905.0 0.0000001000
4910.0 0.0000002000
4915.0 0.0000002000
4920.0 0.0000003000
4925.0 0.0000003000
4930.0 0.0000005000
4935.0 0.0000006000
4940.0 0.0000008000
4945.0 0.0000012000
4950.0 0.0000016000
4955.0 0.0000023000
4960.0 0.0000033000
4965.0 0.0000048000
4970.0 0.0000072000
4975.0 0.0000109000
4980.0 0.0000168000
4985.0 0.0000265000
4990.0 0.0000428000
4995.0 0.0000709000
5000.0 0.0001209000
5005.0 0.0002122000
5010.0 0.0003859000
5015.0 0.0007309000
5020.0 0.0014510000
5025.0 0.0030438000
5030.0 0.0068186000
5035.0 0.0165175000
5040.0 0.0436761000
5045.0 0.1233948000
5050.0 0.3252032000
5055.0 0.6308414000
5060.0 0.8587260000
5065.0 0.9250555000
5070.0 0.9259026000
5075.0 0.9271870000
5080.0 0.9317404000
5085.0 0.9329585000
5090.0 0.9303461000
5095.0 0.9271987000
5100.0 0.9261947000
5105.0 0.9276876000
5110.0 0.9303994000
5115.0 0.9327776000
5120.0 0.9339920000
5125.0 0.9341571000
5130.0 0.9339291000
5135.0 0.9339214000
5140.0 0.9343321000
5145.0 0.9349355000
5150.0 0.9353475000
5155.0 0.9353455000
5160.0 0.9350351000
5165.0 0.9347565000
5170.0 0.9348147000
5175.0 0.9352041000
5180.0 0.9355261000
5185.0 0.9351958000
5190.0 0.9338691000
5195.0 0.9318358000
5200.0 0.9300610000
5205.0 0.9291787000
5210.0 0.9301584000
5215.0 0.9320359000
5220.0 0.9326311000
5225.0 0.9303276000
5230.0 0.9266849000
5235.0 0.9259956000
5240.0 0.9224770000
5245.0 0.8682172000
5250.0 0.6933951000
5255.0 0.4309567000
5260.0 0.2055093000
5265.0 0.0849676000
5270.0 0.0352103000
5275.0 0.0154932000
5280.0 0.0072909000
5285.0 0.0036455000
5290.0 0.0019207000
5295.0 0.0010586000
5300.0 0.0006067000
5305.0 0.0003597000
5310.0 0.0002198000
5315.0 0.0001380000
5320.0 0.0000888000
5325.0 0.0000584000
5330.0 0.0000392000
5335.0 0.0000268000
5340.0 0.0000186000
5345.0 0.0000132000
5350.0 0.0000094000
5355.0 0.0000069000
5360.0 0.0000051000
5365.0 0.0000038000
5370.0 0.0000029000
5375.0 0.0000022000
5380.0 0.0000017000
5385.0 0.0000013000
5390.0 0.0000010000
5395.0 0.0000008000
5400.0 0.0000007000
5405.0 0.0000005000
5410.0 0.0000004000
5415.0 0.0000004000
5420.0 0.0000003000
5425.0 0.0000002000
5430.0 0.0000002000
5435.0 0.0000002000
5440.0 0.0000001000
5445.0 0.0000001000
5450.0 0.0000001000
5455.0 0.0000001000
5460.0 0.0000001000
5465.0 0.0000001000
5470.0 0.0000001000
5475.0 0.0000001000
5480.0 0.0000000000