0.000000000000
e76b7f0e97f5938efb5a92034f3d8d3e55f9cf87d6f976d1e1da0ea5e0322be0
1250360
c13d7e5b7fbf114480711534d8198ca573806ef0aadb5d1a184835dc7e2e30c2
1260938
371fb28da2c94d13f39158c1df5b10887f65c281dc10f0fd369922026005ffe1
0.000000000000
76203efd05b4b43d8be10e423b4985201aed1d5946d1b925c7c75c45d12aea08
1251316
ac6cbe5d9ac1a99e2e5dd3802399c469cb4eee53711414042f46c6f6055e6684
1253926
48c2105809a84cef5c9038b473f222b80c0015f139689eb05ba820d385c91929
1255825
0bea77db31cb389feb062eea3af7a04904f57ee0852c76c22feb174d6112b0d4