0.800000000000
114fea8d021d0f3bde5e497d7febfe14c2b20c0aa9070c2eb2582819ca7f2877
243331
c0f349e89a089d5e45785ad9a1ef3ba3370c40995ade3a9539ac0c9c71f1c250
413131
b93afd4f403c2a0e9fd110b04dd0bb3ad986a7d1a4d842669cbf23eff731d676
1280503
1e3bfd9aa8e4e035fa48905739109a5f7036b8a7834979f3c8383c33e47576ad
0.000000000000
15744d1c17987c9409f959b419e8597bd8d12afeb36031ed76f81bc818d7b9be
1263348
26bdabdaa5de1f2104d81293c4f0b52509b74961129a1adb5a907a3efac6e31d