0.000000000000
edb853a2b2c54eaec44899524b3da41a8a65c0c3b86ac64aaebd2bda41a0bde3
1246251
db054f93930d86437cdd03bb8a2f69ed83139f0e0f53cc5799c5ac21f96e15a8
1256553
f445c67f2e021b67333533e62c34483d6cde615893780b905b8b7cbf20fe7e62
1258991
cb85e71a7956dbab698ad1f692c8ff38048992ecc77768f4365b2c6b2c95128e
1261262
ec242feb111f385bbfd7168e6fcb50e9754d8455368b4ed2be1583141e3811f6
0.000000000000
41c93dc302d5fbe41a8f1fa8bf0295714dd0973fc03d9558c21b67df841b14b5
1253401
d1bd27004923d894a9b8b27e2014c6c4a2db3642c42dec6f237c3fe9763d63c3
1254276
b9e6a79069e59f6decdfc9fcda2c4a9ee234eed28a07a80c03e32c786675ff9f
1260175
f3b203d40758f639f88a94bdfaf609507f9ab358ec1c344673bb11239652740d