0.2514413575525536