4.000000000000
79330d1ad011fa24c772fd46a75a0b01495b5d196516af073d155ce2ff251424
66693
881af59d8f15bd3a602907f03984d8a4e2440f007d6055260d26e113fe3eeb21
206761
2a01f37d9702e8ca0cea49597246ada05509eee21380168990324db6efd621d4
274151
a84dcdecf36e57cb532786e1a21794fdc8c05aff649abf02e8ec331d8583baaa
1170951
9f69d214ffaff6505e15c8996ba459a6ac55951e64fce50f6c44bdbd68144d8f
0.000000000000
fbffa33b8756132deace2e8ab4ba20e9b883b282c16f771a6a9a216739a6d3f3
1234368
ed78b318c92ab36957e5aaeefaf95984fa5103d8b90c41aed20b8e1ec1365c6c
1247638
748112c76413a05ebc8f1c1698450cacc85f20dc359118ff392a2351b1278690
1254378
92bffddcc62fa7fc3157992c4937b920845c2c7ed57542b0d0ba50e96264d57b
1272609
1bb1d8cae42266bdee471b9817f2e93e1019d07e5482d290251fe4781e54aec6
0.000000000000
9d5a1a95d42ca1d10fc3545dd75eca5ad204afceac696c81f937191e9cc355fc
1222008
f8f59ab62ca50466ed2a70fd6b396ddc72e50d7ef5229674c3777c76cf647f74
1234281
9ee09971b875ef9f8f8e198dcb8deafa258bc4350d9f336dee59b8fb59e76a92
1245170
54e55049a448f3bc9f0fb9bcb6bba3c94f05f6e2f6508a7f2550a3200d67ef77
1264970
b8747119492f892c7f8382d4bcdf2c813c1c1570e17e94852717d8c482b98ec4