0.000000000000
3ff7c1b4685553555cba83ac1d579ba7b1537a7a795fff2cb07e34901d1ba47c
1238286
f656dbdb9b92f363e8b1208f62e9cfd47d4516226f8f9c2975dfdf763c53d024
1238494
fba9795e96ae633280ec105a216e3c76291299b5c311b2b7cfec513968850f48
1253665
bba4a4333baa065cfaf4de727d0526e734bc7e6fbd509cc20a5e60c281c87b90
0.000000000000
c2d89c61a45d02dd6d7809c24b629694d8b35d0ce388326832786085a1f87181
1233803
e03ef82376df2d505cb7d8142ccaa5322f44d0e1cc1d4517fe77ffe7e5482e54
1235287
624ff9c93c27d6f9ecdd4310821ec31ab406d01446a44440ab4564970542de66
1255057
57a2cf4a306083081ca0af0bc11f6337993a7642350b668ca854854802d501d5