0.000000000000
12efc8e13d20fff3f840ffb70b61baa0bd0df6e4b3555b5a5641a5b6e5327f79
1251670
88e8c9665bdeb9ed0a1583a5fe311333147b63c0ace87230d6eadddcfa592f75
1274745
678f7b9a91fb7930a7c1a5161d79724fd6ef641b78c8e423cb9776da66b0f27e
1274998
8f0ba1c7512714b5bfa011acb1a46f7ce7b94b4e69f57c02ce9e714fce82cf6e
0.000000000000
17d46d74e8d7202f69de695421cd2d6919584fc7a31c75b988c1fe888b5381c6
1254787
13831d8f1e8f4833e0ca34a90e6c9c38fe732947f3e8d9245add9708801a6f7a
1267003
33b8c1db3145ddb39ca7f229050f19f546cbab32157a79578ee9554fbacbbbb6
1275288
4118661cfb2e843b059544205a25a399d57f3980b149c93a86d73b6b22794120