0.800000000000
b47b8437d72c52f8ece5798112b5c7c29f4ec78ed5bf2f808b424312ffceca02
552852
8f5ee0150ba7cc00a96b518a274b853f69bf4e6c35a20029862fbe7e7651dc39
886996
92f7166f911c7162e101c2a8bdfdce32dfbf503ed1365965b8fd47faf0caf6dd
1280549
ad7ee52bf21e1209284d778116aa6700414323dcd767e1f0b810e66715c0c688
0.000000000000
a93cb825d9d1f5ce3ddde37e196fa244933eb51183092be265f192d74f240438
1241521
14e0e3890ff6640b65452ea10050a4d28f23ca8f2bef48605662f91c9bb975c8
1269612
f8425d89127b9b6a810f7585f131b197b5d67d4207bac097059b663f9a234264