1.0000000000
            0.0000000000
            0.0000000000
           -1.0000000000
       256750.5000000000
      4515286.5000000000