0.000000000000
87edeb30a193bfed2f8a6567f96b6a8389911022d1cc0dc70176ab762fdc4635
1258483
dfb52da83573dec5913384104cc2753eb8fc193c2c4f02ed35d5165a1ebf0630
1272836
3e904a57d8bbab2f75bd0b48ced435d5a2faea82e7420fa1426cbcff2a7b184b
1297923
e5f31cc5ec3aafb393201143813c081c7b7e23460cf9ae049c1f65b60c3f650f
0.000000000000
94adb67c8e9d618ba0ec378f0f06d4796c7921066f3cfbdb85ed84d03b084c7d
1244837
7fe26c3aa20f20490b557c1f46232b77fc2eb44f9aa7015b241ea55369ad33f7
1283530
b88c7acf363da7587ff6d7b4fe85eaaefa917085c8afc53f17ec64690d348f12
1297933
8da5eed9c2781ae9786c26cf0254a2d49bce33d26f5bb112e2409bdf60c831b9