0.000000000000
c97c7dd799bf3c4f6e1d949410c5abfb7e680ba41ac2fda2ffacb663f9a4010b
1255402
4b05933924d55fa0fe5996b64ef146a015815b823eb76ee8ac771c3fafc173e9
1257542
79259df99049e2905e2712160d926b5e5563d0c8c9ed571434eec121f345e2c6
0.000000000000
1e90df63bc6fff284f6de4845571633ab7872275660543bb3319f6934078ff5d
1242336
57a43127ddfc06b259ddb2afc6c56b29f760ea7f5be86c98fa287b99d30c224e
1256751
39c2bf1687060fdda0bd3cb072d0f885e2e1c7f55649fe64e4df094cee7f70d7
1257559
05de829211a25b2348aae9d38160613da62e7ca1946e089ef114f44dc24fcb18