V:=Matrix(CC,4,12,[
    -0.20380659349605 + 0.0*i,
    0.304895772004258 + 0.0*i,
    -0.396014561883835 + 0.0*i,
    0.748324619371872 + 0.0*i,
    -0.255480595532682 + 0.0*i,
    0.195620804778317 + 0.0*i,
    0.201502820205392 + 0.0*i,
    0.201607398146959 + 0.0*i,
    -0.259145049914543 + 0.0*i,
    -0.703042551665577 + 0.0*i,
    0.438987777357686 + 0.0*i,
    -0.780095686423653 + 0.0*i,
    -0.214467579943565 + 0.0*i,
    0.811887691970051 + 0.0*i,
    -0.02394575839695 + 0.0*i,
    -0.034649484480145 + 0.0*i,
    -0.135980654919409 + 0.0*i,
    -0.179811772289491 + 0.0*i,
    -0.720224972995945 + 0.0*i,
    0.430860138719205 + 0.0*i,
    0.965984210995099 + 0.0*i,
    0.369743989805634 + 0.0*i,
    -0.185051005856399 + 0.0*i,
    -0.477152588549245 + 0.0*i,
    -0.661452907745858 + 0.0*i,
    -0.219396158972146 + 0.0*i,
    0.784194280535223 + 0.0*i,
    0.614002718252723 + 0.0*i,
    0.298854846660172 + 0.0*i,
    0.884239682763713 + 0.0*i,
    -0.295292154697587 + 0.0*i,
    -0.832188903407723 + 0.0*i,
    -0.494484585414446 + 0.0*i,
    -0.238879128620012 + 0.0*i,
    0.446612701098644 + 0.0*i,
    -0.299651784569669 + 0.0*i,
    0.650053868523623 + 0.0*i,
    0.439269908687017 + 0.0*i,
    0.472038104940389 + 0.0*i,
    0.159620785454416 + 0.0*i,
    -0.900247237960783 + 0.0*i,
    -0.2606201984312 + 0.0*i,
    0.580751816286719 + 0.0*i,
    0.0730582391865406 + 0.0*i,
    -0.28265799054419 + 0.0*i,
    0.556657878845675 + 0.0*i,
    0.742813093736723 + 0.0*i,
    0.248238164757604 + 0.0*i
]);