0.500000000000
343ff764528df20c59a16f10c6ed5d0d99a52ea9265e9a25f5cb8302ab1217dd
283472
a48eccdd1321c5beb4a61e39b9247bb8065a0560c72e5618b6145a56538bc476
0.500000000000
cdfc894e0510a71c10b3132f6ffe42a6317ef4e7afcbfd8fb0a54694c3eed764
281757
3f192a0eb0caa7b336f131b7fcda01e52a582956c876203bfe9233f8f381304f