0.800000000000
25ee5bf5f23fd6f968dee6f80e47057e18b1bd30be125e9e6ea6c536410599a9
613835
d0b0360fb42a82b94f61767008c689fe50222702ea6d3709d470161fb97fb6c7
9.000000000000
bac61b07832ed75fd41c962e7e0dddab605d6aac4dd34d5910463bbff930c95e
611641
981588ab2b4c451cf975f82697e42c8d170184295c533f64d0fe51ba992d33d9
0.400000000000
ae608ae9acbfcb8b89d81b588c3b6fadf5f76a05d50796442de1b7add43d7bfb
610170
26c0693f5f1a82e4d0f5a6e64c5445d1c2dc4e07b0aac45c899ff861b654a0b6