V:=Matrix(CC,4,16,[
    -0.760389860826277 + 0.0*i,
    -0.396073320554433 + 0.0*i,
    -0.445472244857524 + 0.0*i,
    0.132982838478574 + 0.0*i,
    -0.222777239521019 + 0.0*i,
    -0.63978842338226 + 0.0*i,
    -0.335540246827762 + 0.0*i,
    0.677690150756217 + 0.0*i,
    0.636137952670016 + 0.0*i,
    0.270108029404936 + 0.0*i,
    -0.414170428310225 + 0.0*i,
    0.7824448972684 + 0.0*i,
    0.113507941893261 + 0.0*i,
    0.97082642978972 + 0.0*i,
    0.233353695293565 + 0.0*i,
    0.276986131979242 + 0.0*i,
    -0.392013267412542 + 0.0*i,
    0.369046046254599 + 0.0*i,
    0.644988256268248 + 0.0*i,
    0.368393643910953 + 0.0*i,
    0.280952666705103 + 0.0*i,
    0.108970127139002 + 0.0*i,
    0.0724059427657982 + 0.0*i,
    0.347450325422906 + 0.0*i,
    0.438057847794499 + 0.0*i,
    0.0996362011913524 + 0.0*i,
    -0.88119087082339 + 0.0*i,
    -0.0843826711079976 + 0.0*i,
    0.548395053432283 + 0.0*i,
    -0.430174485658076 + 0.0*i,
    0.292709464424717 + 0.0*i,
    0.700940836434226 + 0.0*i,
    -0.184254873255147 + 0.0*i,
    -0.358183742761252 + 0.0*i,
    0.5604535088303 + 0.0*i,
    0.19082792342818 + 0.0*i,
    -0.934599646775964 + 0.0*i,
    0.339840251174249 + 0.0*i,
    0.853017063484331 + 0.0*i,
    0.613982968384621 + 0.0*i,
    -0.598467395919273 + 0.0*i,
    -0.714124135332011 + 0.0*i,
    0.102565258239889 + 0.0*i,
    -0.0515327617570131 + 0.0*i,
    -0.558566234724586 + 0.0*i,
    0.242416294023647 + 0.0*i,
    0.525722101936101 + 0.0*i,
    -0.133059387309943 + 0.0*i,
    0.43428134358439 + 0.0*i,
    0.741249523446486 + 0.0*i,
    -0.262983610729814 + 0.0*i,
    -0.885225177201841 + 0.0*i,
    -0.0157895400487014 + 0.0*i,
    0.687157333816579 + 0.0*i,
    0.296494624512489 + 0.0*i,
    0.136001692404925 + 0.0*i,
    0.041443448988303 + 0.0*i,
    0.613936390699217 + 0.0*i,
    0.115642839100879 + 0.0*i,
    0.608531686292087 + 0.0*i,
    -0.683973615599756 + 0.0*i,
    -0.128293386625851 + 0.0*i,
    0.775699594454687 + 0.0*i,
    0.626862587316802 + 0.0*i
]);