1.0000000000
            0.0000000000
            0.0000000000
           -1.0000000000
       709959.5000000000
      4542225.5000000000