0.000000000000
7ff2b1efc067ea86efc0ccebe8ac6b18cfa2fd5eec8d435f37e3e81da9cf54ff
1249338
28faa300c636b0068fe6b0255e6144167f3aee4827c174b4cfb0607a386f5ec9
1258177
9c1a859774bb5dd5b42ca03849a6c1768d8c361d65ee91495539771f83a40263
1262389
148a1897bf3b850687b0756fe23dd6c7f0af81ace307ebb36e80aa0af1c0cc00
0.000000000000
e80164345d6d9b0a099d17cbcc54d352ab386613d33a04c1eb0544e671d40e75
1247528
cc06a18efeecfa0a65e1f8a90643b6c7412f8be8da39a4fe5c9de4fa8d765fb2
1252860
723ce523979c785bed904bb68ffe8c57f4889f58b5370e0573e79cebe0a59c61
1263117
d576eeac636af6fa3d9cad350f9f3f50d833654cec3fe60cdbef63c64d88ce4d