0.000000000000
1236dd56cc243e7239e5d1237940db6ca8df0030b444b9dd754c020e31ecbea2
1254827
869f4801eb4c306d66e7bead999ac305b34e7bac15c97a856e3a1ead0adb88aa
1265256
157855b8c0404c96f0302d3cc6ac650045e3229adc66b6bb76680d3a98283f06
1294987
d6682bf5b8cbcad4c4c8504c2b5e043f3e492373fa34d36757de0f64c9a0c900
0.000000000000
80f72b3e4ffb0d431b353d750b719f9d3c731fe54ff961ea9599a6323067ae4e
1279200
4d5a68a6cb44d8f14e79b8b3cfb98bd4d9b6ff3048d7876c6577f64a9af5ad53
1294863
d83dc16ac33d40d2f672d5259703eeeab9f5b93b2393bff9eb4a5581679bbb4f
1295152
45da3ca9925f26270cb921fed353c085aeb83ba123ddbdfcff4802d336ccffb9