0.000000000000
c7b0a37993c73a3c1fc2677418383fb336d648eba14f650fc63d35d89aa5c3e3
1245103
7fb15a99b340cc58807d7bb07a3e95dd27d76c03ddc37ea0223718110041ae11
1259472
3066f41b434b9911178428bf118901cf4cdb4d1e68cc567d3428c299082d07a4
1265565
7eec5440d18dcb932982f655b5d5e5c13c8ebc5baf564f74d03d422f8f50539c
0.000000000000
77dea4af75cc1d4d03eb79d0a283646b13ff5c4eed9947b22f343cddae61970f
1246004
9acd28ec06b85b84556ebeda5e0e6ce59b62db351bb2094bad3d8445e13ee9af
1253501
98eb2f200e4b7247c058d82cd32a7638980f60f75620968993f4582ebaf11501
1264050
0ea30a1b7121a165aac5eab972f87fe1b4a8173ad0b1ad54330f522ece85c50a