0.000000000000
abf3ec68b9d99c4cc0b311e00bb974ae654253d0810e74bee37c29a3dbe41cd3
1242790
f347ace5c3bf6b55b78e6ed98de323ab79c21ecfd36f3a8144f499e388084f3a
1254219
40927afcbea1f670211aa39e75cc5fe129ca3f681c6de4149eb3e57b7e32b558
0.000000000000
c8fe8d1a3c8f8304d3ebbda882325364b46fea7b44d37f6536f4221d70170d15
1238474
a04f0fab7bad4e27f7ab90899762f9a9e10a925f324c2004fc0b9cfc94481e09
1253455
f071389187c50d21dffc9ce9cfc77f1e987ee4959066579b82dcbbdef076c4b0
0.000000000000
9cee4121c6adb7982e04f26f49b88fab302f7fb789116b4587b6e37cb56a8a53
1233963
0a021a76274817ef4c50c8b981ec41eb9e384f8a36de3941b91fb97a4462c8f5
1244651
085be5007bbe1be3ffb75a1c602386687398eea5372b582c2cf6a110e70f4443