0.000000000000
cb6f72f736487cdca6ac6cdd4750d3037882a1451271549110e1df94eafb256d
1278604
16f4d92b49a83f3b7abf507727540757d1837789e5a4865f5c89f257d94c8931
1279852
6d11c1a328c28f8b1e9b8cd505a1c42284025e4faf6f411609a7080b56c9ee13
0.000000000000
c7d57d49c2eca160aecb290ffedc253e460f8d30cbafd0fe15643269811a4821
1280000
866a1fbae9da95fe3e596d08d5d557d91975fff2b3493e57dab0f3cdfc59b7b9
1280561
0f774a72c61ccd93607c713d22fdb567e7c03f0c876be542fd4362b1e6cabdf3
1281563
2dd5d79e26590a0d505e338a3c3eb1c1e4dae081d91575475b95fc373e4e91a8