0.000000000000
7f308c3954f4aa8b042cab71b1e3d15273ab18d08a7f8f63be187f8ecd4a3717
1241552
91cf8ad0d76bcc033932f4e3f9c4250343157bc3ad7116a64e1f38be1fb002cf
1247357
8eeda9c675ce38ccc516fae3845a84e822887f3250169a125cecd2d15e460a86
1250395
128f5e6ed2c7a527132852e8501b9df4eab30491e492598899771604dde3d5a4
0.000000000000
94d560074d77cd625eaabe84a43511ede4de2ab54c5be7da5bd91ab5d4c68e8e
1245549
16fb4775b13110d42a5754d73cb5fb4ac97de2d555baf27ef9de21059ce15fb4
1252295
c9030337c8261c438ded40c0a60003fec0a1ba2c40edb3426140f3d6b424dcfe
1266280
2bd59d728aef8a840cc79a40c6a1e6613ac7f56b061ddd3a54b21f397052189d