0.000000000000
0b5fb0a32c5bafdc43cc7c74a8e90a4faadb60511e5c632bb0b726e8679499d9
1225409
9220e1a6e1d0b65f1771ee30288b72fad94bbc59af3e5234673058db44ce49b9
1254767
604f9e586583cca7767d569a340237f9221d02ea205f9b87e683516e0d03e868
1256432
24e5b68e9f7c47f42b80594e2fcf6d9fc7d6c10773511dca43f17bc46ba8c35b
0.000000000000
9bf9e97c2aab9557671bbadc8d14ff0286c7dbca114c3c472bb2340c263660f0
1242438
289fdd85effab685c43ea8654680c9c32c60e50c33c7d72ea9513bc4cac7f758
1256429
64d66e1fb279e3a8d777ce51155338173bab36f65b94ba267ce6cc4b35981c72