0.500000000000
ef08ff2944ca6c3a341551f184333aef864f3ac3b32eaef3c1770d383f51691b
55489
8775f48e3d4e751139f28daf31282a5bc367a6f79735b7d65cccb1533ba11ddd
92398
fdcaf0f9f2de5ca247b034bd62ed55a3fd6a32ec88f1cc382a942abec1156962
104712
e0d65f9df68acf76c1055c0e2158fb8afcb570856543d238431871703176c09a
190591
0ac80156a15768d359d622a1861f7569b435e50f4885a7dd6f86c1221c7c8884
230450
c10484e64aafb29acece7d0072728f45e2503bcd93b7b6d2e4934c8a14e5377a
331139
ff3caeac638946ebcc72075f2ec0fc874b27a1c562f99bb944e4feebe0c85823
358935
2f86b7b67f3057fe7e4eb149477a7538570d72a4069c08777d41c21375af87e1
477347
925075655447e05f91654b00b1cc505fcc27be4feb610f5d7faa9246722b9d91
0.500000000000
98c9694ee62a628f3611a730eba2fa1d45d7ff748fb1a1e840a0c772c4c7f9f4
116466
4a1f9ba96eb0bc8930ccf2c0b1832996693cee780ad8e21ac24ab455f4156912
148742
5445f8524a384a262f77e07affe42abf59b2ccbb80acac4e310a3901fc03649e
274587
f447290d0feaffd99863f4753270c76c8c68d6c747e2b88a9a1fcd3db4b8dd3d
281675
2d3fbf11c8db4a30d8d4040f9b27b5a632b5e990362e22739a9987d5c41e5807
285306
7049d5ff9bbc7cd79ddaef46f05f751d3f3da12fdaf2ab2cc6007983d295e460
293176
96fb1b4a91e7487fa09f4257d30b30cf0a3a8754ff450ce5138af743d8f38d3c
325706
fad13e224c2209c3c06e120d002920079dd2f75ff7588028babafaab4548948f
483636
d749a6685da1105f834765a249feb8ff250ca48f3e618ca4fd2f3b56c968be69
0.500000000000
30f310673cc7e73db24eca30b2d1356e4790c62100c60e8425226a2a9a593e08
107475
b43358c129d6ee6280e6b612cb684221ed3131dad5396bee0ca48068456b09cc
175767
9832c7752d1bc289e3b7dd463c246e80c2f29b24fbe73d8d487f5cd9d99bf174
214220
01ca6ff9e7913be78af9d6718efa0ab52a8016d94e288cc675b387eccfe38d10
246912
0b7071f50625ef0b7d58572cd622164a505a66608e0ec5e9742a209369db536f
321802
95bf7575e2a8dd19e2ba6d73384e97e4f39cc9cdf8aebe232db6925d76a32856
323780
4f3f81637a7873b6d5b53545e8642da6908595b80d93d36a1a769f5ab42af4f8
338991
eca53868c1af1cfd837f88ce77eb7282c10af19748f136f4da3c758d65ecc75a
479950
b997d9441b284d7e1d272bdbee406679d0d0f0ab1451bae734f83d0e4860938e