V:=Matrix(CC,4,13,[
    0.76139844802811 + 0.0*i,
    -0.560423944746551 + 0.0*i,
    0.754234015745859 + 0.0*i,
    0.42048453351969 + 0.0*i,
    0.317912091124659 + 0.0*i,
    -0.155398410242122 + 0.0*i,
    0.796146825903158 + 0.0*i,
    -0.0106428023265995 + 0.0*i,
    0.194413134515732 + 0.0*i,
    -0.170018559279356 + 0.0*i,
    -0.883119001150707 + 0.0*i,
    -0.0892159832140906 + 0.0*i,
    -0.529417301483422 + 0.0*i,
    -0.411566121813372 + 0.0*i,
    0.473128065070195 + 0.0*i,
    0.303105375700447 + 0.0*i,
    0.326471822816827 + 0.0*i,
    0.415562915030866 + 0.0*i,
    -0.898114381894244 + 0.0*i,
    0.351827826861853 + 0.0*i,
    0.155959746863365 + 0.0*i,
    -0.39177391322467 + 0.0*i,
    0.917303949106639 + 0.0*i,
    0.169267008829886 + 0.0*i,
    0.484914924495052 + 0.0*i,
    -0.6433844197718 + 0.0*i,
    0.485977478137289 + 0.0*i,
    -0.232227459081663 + 0.0*i,
    -0.51030212624076 + 0.0*i,
    0.556067817014574 + 0.0*i,
    -0.537552659916614 + 0.0*i,
    0.391679604841653 + 0.0*i,
    0.313449378536259 + 0.0*i,
    0.40282459600363 + 0.0*i,
    -0.86621287225036 + 0.0*i,
    0.324744231551116 + 0.0*i,
    0.630580889462237 + 0.0*i,
    0.21324309195442 + 0.0*i,
    -0.279710678874042 + 0.0*i,
    0.333690052410235 + 0.0*i,
    0.698071191591403 + 0.0*i,
    -0.34971785334685 + 0.0*i,
    -0.46644477293385 + 0.0*i,
    0.69277564771216 + 0.0*i,
    0.237774525457533 + 0.0*i,
    -0.168462594443524 + 0.0*i,
    0.873160744808143 + 0.0*i,
    0.0708375221760712 + 0.0*i,
    0.10424543518699 + 0.0*i,
    -0.257887571996162 + 0.0*i,
    -0.822223006017609 + 0.0*i,
    -0.332790311299594 + 0.0*i
]);