V:=Matrix(CC,4,18,[
    0.174787111975091 + 0.0*i,
    -0.518468481187551 + 0.0*i,
    -0.754350982495828 + 0.0*i,
    -0.410753567784988 + 0.0*i,
    -0.182548810914556 + 0.0*i,
    0.324833339200539 + 0.0*i,
    -0.167296511922214 + 0.0*i,
    -0.120885412018242 + 0.0*i,
    -0.492569355576617 + 0.0*i,
    -0.619451275935485 + 0.0*i,
    -0.372620887720889 + 0.0*i,
    -0.000670755049352035 + 0.0*i,
    -0.192382609990897 + 0.0*i,
    0.509487620288504 + 0.0*i,
    -0.751358477390349 + 0.0*i,
    0.752937490265638 + 0.0*i,
    -1.22981712012963 + 0.0*i,
    -0.0156131531509563 + 0.0*i,
    0.40986625043845 + 0.0*i,
    0.0183194649103133 + 0.0*i,
    0.110666312489247 + 0.0*i,
    0.358852970636312 + 0.0*i,
    -0.604711409037816 + 0.0*i,
    -0.87811773700643 + 0.0*i,
    -1.26174978763861 + 0.0*i,
    0.189118807240056 + 0.0*i,
    0.378186856311648 + 0.0*i,
    -0.672125151730875 + 0.0*i,
    -0.72784558373314 + 0.0*i,
    -0.183125389986254 + 0.0*i,
    -0.0783613115082331 + 0.0*i,
    -0.803017693591421 + 0.0*i,
    0.529310820625006 + 0.0*i,
    0.806063137786765 + 0.0*i,
    -0.318349459114315 + 0.0*i,
    -0.620474260026092 + 0.0*i,
    0.184072719198062 + 0.0*i,
    -0.794306988804772 + 0.0*i,
    0.339888640373661 + 0.0*i,
    -0.529670617421315 + 0.0*i,
    -0.62813026079125 + 0.0*i,
    -0.587670728273822 + 0.0*i,
    0.343968568239108 + 0.0*i,
    0.102966082961566 + 0.0*i,
    0.34424160238125 + 0.0*i,
    0.699645677661127 + 0.0*i,
    -0.488701212531135 + 0.0*i,
    -0.0677729192347177 + 0.0*i,
    -0.576043695332446 + 0.0*i,
    -0.265824995029771 + 0.0*i,
    0.0942727549325492 + 0.0*i,
    0.462402866467418 + 0.0*i,
    -0.160256332557877 + 0.0*i,
    0.0113661152948355 + 0.0*i,
    0.151856304524109 + 0.0*i,
    0.0249717832762316 + 0.0*i,
    0.187879640341777 + 0.0*i,
    -0.427015812151527 + 0.0*i,
    0.181654354220311 + 0.0*i,
    0.53748946356038 + 0.0*i,
    0.209446403949922 + 0.0*i,
    0.3590257222401 + 0.0*i,
    0.256498995582978 + 0.0*i,
    0.331304455296721 + 0.0*i,
    -0.193997967152417 + 0.0*i,
    -0.358556963173344 + 0.0*i,
    0.165607723126127 + 0.0*i,
    -0.729178861213803 + 0.0*i,
    1.0813795095269 + 0.0*i,
    -0.483031861405878 + 0.0*i,
    -0.387518407713865 + 0.0*i,
    -0.392997227396174 + 0.0*i
]);