V:=Matrix(CC,4,12,[
    0.146956997185211 + 0.0*i,
    0.193310668474194 + 0.0*i,
    -0.216683384957583 + 0.0*i,
    -0.901933228095879 + 0.0*i,
    0.634897371486284 + 0.0*i,
    -0.697069057200933 + 0.0*i,
    0.340267665666767 + 0.0*i,
    0.731847270348901 + 0.0*i,
    -0.267035856609623 + 0.0*i,
    0.362945596461649 + 0.0*i,
    0.0347782131449966 + 0.0*i,
    0.579628981431245 + 0.0*i,
    -0.68583734653052 + 0.0*i,
    0.81775834119127 + 0.0*i,
    -0.113013858716969 + 0.0*i,
    -0.410546578233512 + 0.0*i,
    -0.360180992267891 + 0.0*i,
    0.686010058794775 + 0.0*i,
    0.131920994656125 + 0.0*i,
    -0.00788796326542732 + 0.0*i,
    -0.770727570502202 + 0.0*i,
    -0.084035615251602 + 0.0*i,
    0.678122095526878 + 0.0*i,
    0.0289782434618947 + 0.0*i,
    -0.531279465169584 + 0.0*i,
    0.32620218039958 + 0.0*i,
    -0.962221781294221 + 0.0*i,
    -0.12825258917906 + 0.0*i,
    0.423603336052687 + 0.0*i,
    0.00828888692810362 + 0.0*i,
    -0.205077284774767 + 0.0*i,
    -0.673824553839242 + 0.0*i,
    0.295350746873096 + 0.0*i,
    -0.493458046359496 + 0.0*i,
    -0.665535666915577 + 0.0*i,
    0.4687637349263 + 0.0*i,
    -0.475155663936991 + 0.0*i,
    -0.433006256731612 + 0.0*i,
    0.120022589641288 + 0.0*i,
    0.0389773334922938 + 0.0*i,
    -0.536409539599884 + 0.0*i,
    -0.208365599557327 + 0.0*i,
    -0.908161920661749 + 0.0*i,
    -0.101478192542693 + 0.0*i,
    -0.497432206108573 + 0.0*i,
    0.785943805791134 + 0.0*i,
    -0.309843792114534 + 0.0*i,
    0.66592121614256 + 0.0*i
]);