V:=Matrix(CC,4,13,[
    -0.611352596182434 + 0.0*i,
    0.226346731050018 + 0.0*i,
    0.105097312867926 + 0.0*i,
    0.887248303406012 + 0.0*i,
    -0.270888990492619 + 0.0*i,
    0.617054300824384 + 0.0*i,
    0.275803127649891 + 0.0*i,
    -0.066692390536248 + 0.0*i,
    0.483081525240601 + 0.0*i,
    0.323136311568693 + 0.0*i,
    -0.781172474083091 + 0.0*i,
    0.718098899949154 + 0.0*i,
    -0.187922049223741 + 0.0*i,
    0.554135321319114 + 0.0*i,
    -0.943561190969554 + 0.0*i,
    -0.601031837228723 + 0.0*i,
    -0.0863116818363174 + 0.0*i,
    -0.1310402093643 + 0.0*i,
    0.261150927886161 + 0.0*i,
    0.189213690906674 + 0.0*i,
    0.388824668806249 + 0.0*i,
    0.799192671608577 + 0.0*i,
    -0.479752313677701 + 0.0*i,
    0.267454349024202 + 0.0*i,
    0.479034927564231 + 0.0*i,
    -0.518891277043432 + 0.0*i,
    0.407471840926598 + 0.0*i,
    0.198692765630564 + 0.0*i,
    0.456988413321082 + 0.0*i,
    0.37948890737281 + 0.0*i,
    -0.203663236305794 + 0.0*i,
    -0.608771576640827 + 0.0*i,
    0.901131872640233 + 0.0*i,
    -0.826499491148366 + 0.0*i,
    0.311761821365228 + 0.0*i,
    -0.689882141823882 + 0.0*i,
    -0.0760079142196465 + 0.0*i,
    -0.341245190465808 + 0.0*i,
    -0.21442131743584 + 0.0*i,
    -0.375055306590195 + 0.0*i,
    0.115773843557798 + 0.0*i,
    -0.635359604520967 + 0.0*i,
    0.26745507683524 + 0.0*i,
    -0.935925376765679 + 0.0*i,
    0.413397269550648 + 0.0*i,
    -0.299693745390948 + 0.0*i,
    -0.407456086302119 + 0.0*i,
    0.213008541126616 + 0.0*i,
    -0.445792801441302 + 0.0*i,
    0.552635963435626 + 0.0*i,
    -0.356047895613472 + 0.0*i,
    0.806468985121225 + 0.0*i
]);