0.000000000000
1f11decea3d1660a1d73d81f23dd7b314e74c21cefda196d8d921e281d767d03
1245390
dc8432103e8c391b3715aa217d8195e378418e5e3daaaea5c55344a12de9b62d
1253005
dce16039e73d13709ccca539e18f19c2b7dc337fc87debee3228f3ecae2f1de1
0.000000000000
25533d9904f87a0fb7aa2da12e49fce167b6424cdb7149397c422e03a738c712
1257650
316ed90df5bd92282020fe1bce8c44dbd2a116cc153254940806e068bbcccbe6
1257877
9f3dde547f5b14d1bf2f0793252d37e34caf1601ecaf4fa2ba62e8d6c33908a2