V:=Matrix(CC,4,12,[
    0.620565709083425 + 0.0*i,
    -0.128481739816339 + 0.0*i,
    -0.0775546373307318 + 0.0*i,
    0.448571486673042 + 0.0*i,
    -0.828034636990247 + 0.0*i,
    -0.232177478690682 + 0.0*i,
    -0.371695882792122 + 0.0*i,
    0.838032587727033 + 0.0*i,
    0.247651383875439 + 0.0*i,
    -0.00680463681783767 + 0.0*i,
    0.129022092559237 + 0.0*i,
    -0.826020012169224 + 0.0*i,
    0.0401608015057208 + 0.0*i,
    -0.48139205711316 + 0.0*i,
    0.662507038724122 + 0.0*i,
    0.0956076346935389 + 0.0*i,
    0.590356505620013 + 0.0*i,
    0.541326582032715 + 0.0*i,
    -0.284067200518879 + 0.0*i,
    0.336982457498469 + 0.0*i,
    0.210438738828134 + 0.0*i,
    0.209534005686248 + 0.0*i,
    0.957067864407454 + 0.0*i,
    -0.46341587882181 + 0.0*i,
    -0.753826577658248 + 0.0*i,
    0.322502299922636 + 0.0*i,
    -0.668150055396806 + 0.0*i,
    -0.530307521923902 + 0.0*i,
    0.00162851823559593 + 0.0*i,
    0.733400949386735 + 0.0*i,
    -0.859299289556796 + 0.0*i,
    0.409096442066455 + 0.0*i,
    0.180627000018925 + 0.0*i,
    -0.947694075322204 + 0.0*i,
    0.141065548836707 + 0.0*i,
    0.0484172408420495 + 0.0*i,
    0.212035621095637 + 0.0*i,
    -0.809456962340733 + 0.0*i,
    -0.320627138911905 + 0.0*i,
    -0.72977839333073 + 0.0*i,
    0.0289653645378892 + 0.0*i,
    0.321319511893143 + 0.0*i,
    -0.0326065096876499 + 0.0*i,
    0.22517482509431 + 0.0*i,
    -0.933603688130222 + 0.0*i,
    0.00854022929069869 + 0.0*i,
    0.234793288066221 + 0.0*i,
    0.316097343765716 + 0.0*i
]);