0.24932800284318069162403993780486216776\ 8846242459425857187959380047704731769709\ 142376383409055813350