5125.0 0.0000000000 5150.0 0.0100000000 5175.0 0.0100000000 5200.0 0.0200000000 5225.0 0.0300000000 5250.0 0.0400000000 5275.0 0.0600000000 5300.0 0.1000000000 5325.0 0.1500000000 5350.0 0.2300000000 5375.0 0.3300000000 5400.0 0.4100000000 5425.0 0.4600000000 5450.0 0.4800000000 5475.0 0.5000000000 5500.0 0.5300000000 5525.0 0.5200000000 5550.0 0.4600000000 5575.0 0.3500000000 5600.0 0.2400000000 5625.0 0.1600000000 5650.0 0.1000000000 5675.0 0.0600000000 5700.0 0.0400000000 5725.0 0.0300000000 5750.0 0.0200000000 5775.0 0.0100000000 5800.0 0.0100000000 5825.0 0.0100000000 5850.0 0.0000000000