0.25724983215332