V:=Matrix(CC,3,16,[
    -0.993961627843416 + 0.0*i,
    0.826311450944979 + 0.0*i,
    0.782580194619408 + 0.0*i,
    0.624788305392213 + 0.0*i,
    -0.183984452360822 + 0.0*i,
    0.202790149436953 + 0.0*i,
    0.677821822732804 + 0.0*i,
    0.418811861512352 + 0.0*i,
    0.26508336730278 + 0.0*i,
    -0.541883253383831 + 0.0*i,
    -0.0214434630743137 + 0.0*i,
    0.0358116292903324 + 0.0*i,
    0.445904082781264 + 0.0*i,
    0.328683632173969 + 0.0*i,
    -0.908814215324079 + 0.0*i,
    -0.667871439233277 + 0.0*i,
    0.169005415821689 + 0.0*i,
    -0.0198984136094076 + 0.0*i,
    0.0531162252117036 + 0.0*i,
    0.539510587874276 + 0.0*i,
    0.964786657463992 + 0.0*i,
    0.279812756053196 + 0.0*i,
    -0.710451821592512 + 0.0*i,
    0.904158590447221 + 0.0*i,
    -0.347647564551514 + 0.0*i,
    -0.67385140957027 + 0.0*i,
    0.866295593812538 + 0.0*i,
    0.74860280804062 + 0.0*i,
    -0.454879643265913 + 0.0*i,
    0.170498875156195 + 0.0*i,
    -0.424531971938902 + 0.0*i,
    0.623772076991076 + 0.0*i,
    -0.0248752400662279 + 0.0*i,
    -0.553212558132569 + 0.0*i,
    0.649126718737394 + 0.0*i,
    -0.536511463198804 + 0.0*i,
    -0.119096123977295 + 0.0*i,
    0.945760671083179 + 0.0*i,
    -0.230756960034547 + 0.0*i,
    -0.0947538918193035 + 0.0*i,
    0.8888346448865 + 0.0*i,
    -0.484259059518672 + 0.0*i,
    0.51266354929603 + 0.0*i,
    -0.649039737859861 + 0.0*i,
    -0.772766358460827 + 0.0*i,
    -0.928090025476762 + 0.0*i,
    -0.0360176710551858 + 0.0*i,
    -0.414292193873447 + 0.0*i
]);