0.000000000000
80d25f87d4c297b8e4aeaf29afab94086a3d8e0bd50e8a0c1b47487d2ef89ae3
1255643
fde81a5ded08cbcfbb9117adb3c9ed0c6b63d3f3dfc7f05c1f94c7768ba66dfa
1277679
8b894e6eac97e9074837fd297dd5ce2a7b381964b7aa3bc152e80eb053590ba5
1277888
5a3adde4afd3d2905910b14ba93c6a58324c8b7a4e1a5f045c34edd440096a26
0.000000000000
f5e4aff61d2237a8a0b40bac93b8ac73654d3a5a722369b0ad1c4daef1852d6d
1259685
9d293833569faceab63888ae9fc255b9add4df63b21107a4c54a8a7ee084a599
1267737
9e1bf80d71923e9ba20195c97df6a77abe19a7cf1d83745eb1a6ac1b6f4db835
1277875
3e148e2ad82c21e0fa0b9faebe949e69bd74659c9d9856e122746f3b186ba895