0.000000000000
a6fb6dd4e93bde3058c236bc156e463fc6b73dcc8e6bc72882ac0a0950d9ceb5
1258945
43b511852be53d6cfabebcdac3e9b0e4fdebf92d12217569abc2cf0b1d8d274f
1277410
34b88e2de0e375995bc9f656d65384a4ca85a839a6837097448b4b467bc2840b
1278253
cfed3a12b13e4e591cd96489944eba703d07e9f74c0985535b0927a71a23101f
0.000000000000
4d1b0d7909f7274efc645b780d7779a50941a2bdc0ba8a09e9101535571b5e0e
1258640
d880ea6d4cba7d997d34ed7e66f394f5fede2a22795273dfab8e488d7c845faa
1278252
b3f095384f26163971150c87ed5e209554f50a07a087e126c1797ad2674452dc