V:=Matrix(CC,4,20,[
    -0.861707310727598 + 0.0*i,
    -0.581902057202899 + 0.0*i,
    1.03315941978311 + 0.0*i,
    1.10419696047057 + 0.0*i,
    -0.197620540330681 + 0.0*i,
    0.762708990227099 + 0.0*i,
    0.152335880437018 + 0.0*i,
    0.397951923823369 + 0.0*i,
    -0.234286034750769 + 0.0*i,
    0.278338445328209 + 0.0*i,
    -0.134059840659415 + 0.0*i,
    0.0735028526035831 + 0.0*i,
    0.802826507075713 + 0.0*i,
    0.256183881706115 + 0.0*i,
    1.05931819495513 + 0.0*i,
    -0.96443549490153 + 0.0*i,
    0.248675903300329 + 0.0*i,
    0.590570901350735 + 0.0*i,
    -0.268945183140474 + 0.0*i,
    0.0245007259524368 + 0.0*i,
    -0.671156171556522 + 0.0*i,
    -1.25657240076514 + 0.0*i,
    0.00161406135832263 + 0.0*i,
    0.13029511228488 + 0.0*i,
    0.138544445099146 + 0.0*i,
    -0.738215280494309 + 0.0*i,
    0.384441847891263 + 0.0*i,
    -0.511922715504217 + 0.0*i,
    -0.147170823244596 + 0.0*i,
    0.0590424374068578 + 0.0*i,
    0.0406602178357569 + 0.0*i,
    -0.0553909188061752 + 0.0*i,
    -0.309051136016917 + 0.0*i,
    0.183423300890692 + 0.0*i,
    -0.0181041039754701 + 0.0*i,
    -0.470031529524857 + 0.0*i,
    -0.194398862827431 + 0.0*i,
    -0.804839074349182 + 0.0*i,
    1.00147423194019 + 0.0*i,
    0.243022955539063 + 0.0*i,
    0.543999168828659 + 0.0*i,
    -0.44493333205996 + 0.0*i,
    0.00366775113782741 + 0.0*i,
    0.280833083326141 + 0.0*i,
    0.10211466356301 + 0.0*i,
    0.380835862836181 + 0.0*i,
    -0.0711007553533653 + 0.0*i,
    0.457123550634106 + 0.0*i,
    -0.47550695748185 + 0.0*i,
    0.214635195109975 + 0.0*i,
    0.56990438345028 + 0.0*i,
    -0.394201684370071 + 0.0*i,
    -0.259584724845052 + 0.0*i,
    -0.228128069945443 + 0.0*i,
    -0.804203619466938 + 0.0*i,
    0.630156581211461 + 0.0*i,
    -0.33234585399072 + 0.0*i,
    -0.088486513374003 + 0.0*i,
    0.116470265693278 + 0.0*i,
    0.40196003064251 + 0.0*i,
    -0.285474951321918 + 0.0*i,
    -0.13372454928389 + 0.0*i,
    0.00102795154899184 + 0.0*i,
    -0.558729779656794 + 0.0*i,
    0.116823137834647 + 0.0*i,
    0.86265097342367 + 0.0*i,
    0.499398005313702 + 0.0*i,
    -0.331462058121668 + 0.0*i,
    -0.520728177721078 + 0.0*i,
    0.0360354233233598 + 0.0*i,
    -0.819619732208931 + 0.0*i,
    0.539934172049797 + 0.0*i,
    -0.258223577792609 + 0.0*i,
    0.538410245132967 + 0.0*i,
    -0.28977889659396 + 0.0*i,
    -0.11922261833246 + 0.0*i,
    -0.373397556175616 + 0.0*i,
    -0.0509825393475728 + 0.0*i,
    0.618049375103483 + 0.0*i,
    -0.620769666250501 + 0.0*i
]);