V:=Matrix(CC,4,13,[
    0.717777936733378 + 0.0*i,
    -0.0881932944162931 + 0.0*i,
    -0.261347487415018 + 0.0*i,
    0.475962691810174 + 0.0*i,
    -0.580200884986832 + 0.0*i,
    0.231065172698159 + 0.0*i,
    -0.582740435483106 + 0.0*i,
    -0.355820206768489 + 0.0*i,
    0.684310091030938 + 0.0*i,
    0.660135456418996 + 0.0*i,
    0.417535016574566 + 0.0*i,
    -0.0384664770862494 + 0.0*i,
    0.504460774472059 + 0.0*i,
    0.187232984755218 + 0.0*i,
    -0.278510977182391 + 0.0*i,
    0.346478428047693 + 0.0*i,
    0.80675736851617 + 0.0*i,
    -0.448515196032455 + 0.0*i,
    0.501684213517052 + 0.0*i,
    -0.57006603112592 + 0.0*i,
    0.634533824012053 + 0.0*i,
    -0.0952651569191852 + 0.0*i,
    -0.627553186063988 + 0.0*i,
    -0.1683769825878 + 0.0*i,
    0.475845136841549 + 0.0*i,
    -0.512283216825927 + 0.0*i,
    0.6230565434439 + 0.0*i,
    -0.257871326509881 + 0.0*i,
    0.698204995073134 + 0.0*i,
    0.324385641466269 + 0.0*i,
    -0.0189849929476775 + 0.0*i,
    -0.778348457264264 + 0.0*i,
    0.318336188672366 + 0.0*i,
    -0.371502988504588 + 0.0*i,
    -0.542321488420219 + 0.0*i,
    -0.00554968893576922 + 0.0*i,
    -0.848800142187186 + 0.0*i,
    0.106757814799148 + 0.0*i,
    0.829883848882272 + 0.0*i,
    -0.221193532912825 + 0.0*i,
    0.913787898089652 + 0.0*i,
    -0.529475946799606 + 0.0*i,
    -0.0700174721850939 + 0.0*i,
    -0.666080856344698 + 0.0*i,
    0.273298529089503 + 0.0*i,
    0.476533333313307 + 0.0*i,
    0.559139997828547 + 0.0*i,
    0.432121423303571 + 0.0*i,
    0.399618497061955 + 0.0*i,
    -0.262552179879437 + 0.0*i,
    0.856743701082495 + 0.0*i,
    0.152344397704796 + 0.0*i
]);