0.000000000000000 0.000000000000000 0.2500000000000000