V:=Matrix(CC,4,15,[
    -0.323084616718651 + 0.0*i,
    -0.113773573772631 + 0.0*i,
    0.30544926091595 + 0.0*i,
    0.142051890528576 + 0.0*i,
    -0.382232911540078 + 0.0*i,
    0.955653394272379 + 0.0*i,
    -0.560546068512015 + 0.0*i,
    0.0956146373632439 + 0.0*i,
    0.0570733049011055 + 0.0*i,
    0.0637640612751957 + 0.0*i,
    -0.401127612119436 + 0.0*i,
    -0.0262457675433216 + 0.0*i,
    -0.540836896963255 + 0.0*i,
    0.830726052778156 + 0.0*i,
    -0.505996360440848 + 0.0*i,
    0.0523947216195961 + 0.0*i,
    -0.450847782138389 + 0.0*i,
    0.0120208800214632 + 0.0*i,
    0.46345517780594 + 0.0*i,
    -0.895171741884559 + 0.0*i,
    1.16630552347635 + 0.0*i,
    -0.735913670154773 + 0.0*i,
    0.368534434752963 + 0.0*i,
    0.471391287395173 + 0.0*i,
    -0.345189438235229 + 0.0*i,
    -0.0886281695786363 + 0.0*i,
    -0.299595290593929 + 0.0*i,
    -0.101681568807085 + 0.0*i,
    -0.578303315067021 + 0.0*i,
    -0.461253265968102 + 0.0*i,
    -0.176193259328493 + 0.0*i,
    0.112561909298714 + 0.0*i,
    1.23205713187932 + 0.0*i,
    0.0495565983975892 + 0.0*i,
    -0.0581965557808741 + 0.0*i,
    0.18822528666497 + 0.0*i,
    0.305869535057099 + 0.0*i,
    0.315374613188259 + 0.0*i,
    0.464518327362928 + 0.0*i,
    -0.160245442191576 + 0.0*i,
    -1.00211016572033 + 0.0*i,
    0.149197866896059 + 0.0*i,
    -0.39114237888807 + 0.0*i,
    -0.151547347483391 + 0.0*i,
    -0.549716527971226 + 0.0*i,
    0.93252360497775 + 0.0*i,
    -0.482338895671757 + 0.0*i,
    -0.0285344650905446 + 0.0*i,
    -0.423246124880397 + 0.0*i,
    -0.389396035820056 + 0.0*i,
    -0.332275125519889 + 0.0*i,
    -0.517447178990722 + 0.0*i,
    0.0564362849916289 + 0.0*i,
    -0.195161751418954 + 0.0*i,
    -0.328590904912781 + 0.0*i,
    0.816713827884847 + 0.0*i,
    0.362935846362649 + 0.0*i,
    -0.486620553785692 + 0.0*i,
    -0.20172504952811 + 0.0*i,
    -1.06908416920546 + 0.0*i
]);