0.000000000000
ddec933001fca9cff5465396efa77d492656601168903644d2cd72d45cccf583
1254879
b506ad0e42e0f5837640899d9fdf6bf57c42454c96c425155bcf53981fb989e6
1285543
c39d682c2a7d574779173af7178d859a98947cf70c42135128d41e8ee3776c7d
1303863
b82f9e7526193e936c4a5c39577f2c27dc69946268a0d78d0824b5514ca54caf
1303992
24f0bd8d19a42a7783a5db9dc8f40fee5c9ed68f39e4b96fdf72755a1b844ac8
0.000000000000
377f881d158d57bfd49f9f2faf7d0fdefef0133f35f8cf2d9f6f0181a110c772
1255996
d8080220e2d18bafc9ef7dba7445a278669c012b2b67c93ba7075153643f5148
1288826
29b8a475cbaf151965f6622bfb23cc82b99f8a140375075c52b4969866e20626
1292267
81c8d829493713e9e1c48d1838e57cb9a29a401654f387bb23fb00283a19b379
1305048
434c965f0d6be5bb3389af33b77929b1d202b49744c47bd3d9f44aabc48ca51b