0.000000000000
145ef3ecaddb6a40a0b8d8064e0788a5d1dafcac0bcc8899049181c36ca4a784
1259051
7a5a6b65980fda2cbcae5ed4ee72866eed7f6d0f3e9b3fb6e63e3f58b01d2f7c
1276353
02d5ddb66323ede51bc747f0efcf7c92d40e682c02aefdf48c3005e063560a72
1277495
f3303dc8fe9e8885747905086ae8c5c31d074184896a974f6c9febc9462bf62c
0.000000000000
2ebe17d9777c8040797a4efd893ed2112cec98cf1610555a969693fc7816455c
1253485
3c67bb13cdf20078561eebd2585351a2f01175d8ad25dcc273fb96ebbb2aaf86
1274671
3a495dfd1797fb0b84beff5daa3431afd353feae9536bce73624ba3e5c3b1223
1277545
4dc577967d125a691b1d5e036365319ce6176422046760b22333a055b72932cf