6ced73678cc0ea68c4b944f831b57c762889d7c0b50e46cf471bf6a857543e2f
1.000000000000
0.008414629444
4676
44c8bc1528edf89aead81fcbb6d7f34c6d28dddf33c68dd47e3ed32c4adf6f69
7.999998757149
0.000001242851
10279
1e3bed4f0cf00c9b3defcb2dfa131348c12a2048e8a70add6241547b9a3f8baf
9.999998498415
0.000001501585
10989