0.800000000000
603a745455b6bbc0add90528d72aa6c1f9b90a2c757589de34965059586160bf
9.000000000000
73f91b7e2d1249ad15218da33380cde53d5d2056b41d746ada0500decf2b4292
20.000000000000
ce3e575f0a034b3ddaf5127a326ab5ba336a9ec45d7e5e785ae3672c2a90d4a5
20.000000000000
ddd576015ddf8de261344174afaf7d54704406477e4c7b76b95e9674d2ff5c5d