0.000000000000
ec577cb3de3b855644054cb5946356a9e4ac28941eef044efe6c9c3615e9e383
1252283
8db798dece1ef399e12fac96465eafc2d65b7fbb7e72891703b1f60e4805a791
1259698
c2da8d42c327e1f3890a3ba0e59786f8e50783c3b985c699772197931d62dcf4
1264954
f8dc3590d6f55e477a0eaaa22a91330ed3d0424a978990006f51e9af508956ba
0.000000000000
c716b049807dd515ab902a5f976b27bee3cfc6696d3c38b060e8b1ddc3b71c87
1256853
ae59aa4743432e0fa0fdf684ba256595bc823e35559e02c0b61cf0545558f57e
1260881
a9c5ddcf68a82c84776d63ee1ca4596e491c318ddd6632099558e5f57daf47bd
1265677
6bca8f662bca3b09f6c2e69f0b3f122eee9f8b8f65b77af53e4fb8bf439676dd