V:=Matrix(CC,4,20,[
    -1.01997103643094 + 0.0*i,
    -0.187461955003406 + 0.0*i,
    -0.702827352379431 + 0.0*i,
    0.407048971807357 + 0.0*i,
    0.535971344503998 + 0.0*i,
    -0.687670900819993 + 0.0*i,
    0.794642143358832 + 0.0*i,
    -0.10323472922131 + 0.0*i,
    0.500634611779062 + 0.0*i,
    0.544214647435309 + 0.0*i,
    0.696893841624255 + 0.0*i,
    -0.486651077601376 + 0.0*i,
    0.122761633262483 + 0.0*i,
    -0.393603290110625 + 0.0*i,
    -0.0788582839356039 + 0.0*i,
    -0.242460437718906 + 0.0*i,
    -0.756785963997889 + 0.0*i,
    0.260189745439997 + 0.0*i,
    -0.87658640995514 + 0.0*i,
    0.0380044239699279 + 0.0*i,
    -0.341944061696892 + 0.0*i,
    0.45098600490293 + 0.0*i,
    0.529334913282366 + 0.0*i,
    1.0727965134079 + 0.0*i,
    -0.678451781894095 + 0.0*i,
    0.458288243338228 + 0.0*i,
    0.139943337921653 + 0.0*i,
    -0.267076915142041 + 0.0*i,
    -0.023372535757066 + 0.0*i,
    0.169171026085256 + 0.0*i,
    0.242062407734721 + 0.0*i,
    -0.311212540689715 + 0.0*i,
    -0.596217434965599 + 0.0*i,
    0.294917093809136 + 0.0*i,
    0.0267332527204673 + 0.0*i,
    0.23583563382131 + 0.0*i,
    0.355981919418486 + 0.0*i,
    0.662904977219927 + 0.0*i,
    0.153716302385916 + 0.0*i,
    0.493301965201532 + 0.0*i,
    0.133906339672967 + 0.0*i,
    -0.354375114001529 + 0.0*i,
    -0.351541557206964 + 0.0*i,
    0.256840452153434 + 0.0*i,
    0.159026984760352 + 0.0*i,
    0.591461146150664 + 0.0*i,
    0.500296643064543 + 0.0*i,
    -1.16826083884229 + 0.0*i,
    -0.574251720562104 + 0.0*i,
    0.0343723041707936 + 0.0*i,
    0.638498435554889 + 0.0*i,
    0.780622983447456 + 0.0*i,
    -0.0976294316200489 + 0.0*i,
    0.35665909703801 + 0.0*i,
    -0.493519037924112 + 0.0*i,
    -0.102239886654043 + 0.0*i,
    0.120854369058491 + 0.0*i,
    -0.550137626895688 + 0.0*i,
    0.0485200309315249 + 0.0*i,
    0.571989749802063 + 0.0*i,
    0.0680824162562273 + 0.0*i,
    0.458027949400208 + 0.0*i,
    0.0908739624989613 + 0.0*i,
    0.288255919168964 + 0.0*i,
    0.671205981114299 + 0.0*i,
    -0.168080894072608 + 0.0*i,
    0.522544271411703 + 0.0*i,
    -0.0687747399360917 + 0.0*i,
    0.8190919144519 + 0.0*i,
    0.306852266926452 + 0.0*i,
    -0.28362160339953 + 0.0*i,
    0.273677362044797 + 0.0*i,
    -0.695252085563511 + 0.0*i,
    0.629457410490949 + 0.0*i,
    -0.913256715276645 + 0.0*i,
    0.918897958590374 + 0.0*i,
    0.347154299644425 + 0.0*i,
    0.423255650552745 + 0.0*i,
    -0.0906086251062732 + 0.0*i,
    -0.60116065295479 + 0.0*i
]);