V:=Matrix(CC,4,15,[
    0.268867993128772 + 0.0*i,
    -0.356210448606054 + 0.0*i,
    -0.024055220929572 + 0.0*i,
    0.749545006068286 + 0.0*i,
    0.0196672030044338 + 0.0*i,
    0.424462735362665 + 0.0*i,
    -0.262453217741181 + 0.0*i,
    0.413717579712993 + 0.0*i,
    0.732810380785596 + 0.0*i,
    -0.0234988498472282 + 0.0*i,
    -0.307429080661729 + 0.0*i,
    -0.808078812069185 + 0.0*i,
    0.617725370313542 + 0.0*i,
    -0.713676124460727 + 0.0*i,
    0.663096954607987 + 0.0*i,
    -0.739431054697861 + 0.0*i,
    -0.940022597660959 + 0.0*i,
    -0.596676659510877 + 0.0*i,
    0.100067417376379 + 0.0*i,
    -0.426330355741773 + 0.0*i,
    0.5997828235342 + 0.0*i,
    0.153527958852981 + 0.0*i,
    -0.702691306225164 + 0.0*i,
    -0.545262845785228 + 0.0*i,
    -0.0187727689830404 + 0.0*i,
    -0.61529028237216 + 0.0*i,
    0.137660171899784 + 0.0*i,
    0.53775169940809 + 0.0*i,
    0.597190163595721 + 0.0*i,
    -0.117854785832271 + 0.0*i,
    -0.505526255272377 + 0.0*i,
    0.196172834645309 + 0.0*i,
    -0.150912866961033 + 0.0*i,
    -0.218336480031134 + 0.0*i,
    -0.152812601710669 + 0.0*i,
    -0.303731592711679 + 0.0*i,
    0.443174972218112 + 0.0*i,
    0.627038728366711 + 0.0*i,
    0.141519293711443 + 0.0*i,
    -0.938023215889009 + 0.0*i,
    -0.698236553522657 + 0.0*i,
    0.49861393689483 + 0.0*i,
    -0.427299445844381 + 0.0*i,
    0.293281199221984 + 0.0*i,
    0.42004141500042 + 0.0*i,
    -0.377801444562159 + 0.0*i,
    -0.164901136495952 + 0.0*i,
    0.0912126945699058 + 0.0*i,
    0.64244866874208 + 0.0*i,
    0.969242326418645 + 0.0*i,
    0.404248671662646 + 0.0*i,
    0.860839264907476 + 0.0*i,
    0.21686174180144 + 0.0*i,
    -0.484931570368971 + 0.0*i,
    0.487976681975362 + 0.0*i,
    -0.324217331735964 + 0.0*i,
    0.296010525552262 + 0.0*i,
    -0.426419076942141 + 0.0*i,
    -0.337627560116109 + 0.0*i,
    0.63043074649619 + 0.0*i
]);