1.0000000000
0.0000000000
0.0000000000
-1.0000000000
515960.5000000000
4254689.5000000000