0.0000000000 0.0000000000
10.0000000000 0.0000000000
2.5000000000 4.3301270189