1.0000000000
            0.0000000000
            0.0000000000
           -1.0000000000
       412830.5000000000
      4747785.5000000000