0.500000000000
42c71b584e841d5c1f709766b8c22e6b9f72aa699c1bc512fc5dfc91a387d37c
774
db08d7654b1530056a5a4a75cadd411587359f92dbbf2a5b89e17e2c3cb234eb
69417
dfdfafe985b78a11b7fdc52f4b576c69548d304ba7261baa4f436ad9a275ffa5
162425
fa22d2e54e4a0c6706fbb7c357d79b299af307911cea5b2b3afdcbb6276c4081
0.500000000000
54c6099b8d62e7a2f7d7af949d4d0cb6032f7df31c4293ec47b40b6ffc4caa57
64709
33f007bbbc95f497c11074a7f08236406997b9eaf4d5d32f9e55ba3214067f47
67588
250efe3214e7d497eebc4d006e771ea57daa6f94f4d804e2aadf9c6bab1fe6d0
154504
8875e8e73d072e25a69895a66d961a1b3b71addb21a06c9a5aa35724bce2427d