V:=Matrix(CC,4,13,[
    0.656239085244252 + 0.0*i,
    -0.07420978449299 + 0.0*i,
    -0.397309487452774 + 0.0*i,
    0.0837827518835251 + 0.0*i,
    0.985864087069637 + 0.0*i,
    -0.567110299622529 + 0.0*i,
    0.277351585050221 + 0.0*i,
    0.362675135250536 + 0.0*i,
    -0.276437615958114 + 0.0*i,
    -0.5471828194566 + 0.0*i,
    -0.406876064609363 + 0.0*i,
    0.514081166818687 + 0.0*i,
    0.625943017600764 + 0.0*i,
    -0.220462247143209 + 0.0*i,
    0.095076837041808 + 0.0*i,
    -0.65110307412225 + 0.0*i,
    -0.294813222160997 + 0.0*i,
    0.00439755576432544 + 0.0*i,
    -0.384190616105696 + 0.0*i,
    -0.87696112423499 + 0.0*i,
    -0.115470880744494 + 0.0*i,
    -0.0275896014002267 + 0.0*i,
    0.558996476064658 + 0.0*i,
    -0.599752789338022 + 0.0*i,
    0.748132328022493 + 0.0*i,
    -0.569817385196984 + 0.0*i,
    -0.159229207768943 + 0.0*i,
    -0.440456597099644 + 0.0*i,
    0.44730772025983 + 0.0*i,
    -0.895788733794673 + 0.0*i,
    0.217438138221564 + 0.0*i,
    0.648946165785672 + 0.0*i,
    0.340319713629718 + 0.0*i,
    0.884229959006179 + 0.0*i,
    -0.496243935192637 + 0.0*i,
    -0.00854199888503044 + 0.0*i,
    -0.143338348228935 + 0.0*i,
    0.36792516284633 + 0.0*i,
    -0.516525660288051 + 0.0*i,
    0.692795670357514 + 0.0*i,
    0.895595995953211 + 0.0*i,
    -0.454792914808982 + 0.0*i,
    -0.319518667352935 + 0.0*i,
    -0.0541757479711277 + 0.0*i,
    0.316218979278023 + 0.0*i,
    0.192538877086582 + 0.0*i,
    -0.276008715768262 + 0.0*i,
    -0.841541331576548 + 0.0*i,
    0.620046532777798 + 0.0*i,
    0.669571992448614 + 0.0*i,
    0.189054424669595 + 0.0*i,
    0.0526008916985926 + 0.0*i
]);