0.000000000000
1b6b06cbf87b2e3592b95f6baea5b1af0b72303681b137c4a69b525903dd7756
1245188
c63e56f01c8dce9602fe43f4ca4394801309fce58e7fb85ea6f314e3331e8772
1258145
0bccbf5bc74c0612f0aac7af4e1cb68c538f1b5c8147f0754b2e9d32d893f84d
1258147
9f1c2b8d825626e23c6aa6fc03c3d31195a6d968325ef950e8ec2947b5855968
0.000000000000
e950b6c367d27ff4cb4bf9267fae1227071b384d0428aa8ee4bcb567f14b5094
1255914
b7cbe5a02f1f886ed423fa08cdfb529dd9d9dbe67197d19f5d90645c09767765
1258205
6dba282a6d332866cee1d3bf40717824fe5fdee20dd3dadf99bf97d2f693a19a