0.000000000000
efb22bf7ed8ea6c6de3815a8d347f9add223472201293eae2e9590a2205e0880
1243941
48e144efd513e7e5ba1dc4794fb53a4433861aba9062c7c3c23b473b3070d496
1254769
a6af989ed3025b089e813127ae1630369e0baad739ef20a10c19f8b8af44c3a7
1256331
b20004ebf9bb1f32a764fcade018385aa67582c9cd1e30d35af2723e8e4db2c4
0.000000000000
8eb4897c20fb0ed69b5ef37fb2d172f9da1e616bf6507c72b0e28983fa4a0330
1240195
f5003ce54cee1fceced3d3affffaf17c50121a13c7efd8e40a671085ae39fd95
1245706
2e49ecd93a107f05d9cb87cc373d7e76288560f5f082aa68234f83f6b7c786f8
1256536
58b934f4b9d584a7e997f20f28c8294bf18656ce196cd70c8b5d3a69a6063848