V:=Matrix(CC,4,16,[
    -0.571228040155375 + 0.0*i,
    -0.443794991367631 + 0.0*i,
    0.132335701795595 + 0.0*i,
    -1.01154016292694 + 0.0*i,
    0.0641266939947532 + 0.0*i,
    0.0594797216956981 + 0.0*i,
    -0.243310084918603 + 0.0*i,
    -0.508273611231184 + 0.0*i,
    0.472314409264911 + 0.0*i,
    0.298332346138737 + 0.0*i,
    0.553472905901513 + 0.0*i,
    0.655164587023649 + 0.0*i,
    -0.414537266196696 + 0.0*i,
    -0.0496066154915925 + 0.0*i,
    0.707669980476727 + 0.0*i,
    -0.616200073923716 + 0.0*i,
    0.337394788141329 + 0.0*i,
    0.129573311438533 + 0.0*i,
    -0.934203427774656 + 0.0*i,
    0.0484892164514787 + 0.0*i,
    0.585366360310199 + 0.0*i,
    0.0127251072941677 + 0.0*i,
    0.889662310184692 + 0.0*i,
    0.546372214522395 + 0.0*i,
    -0.714285069008696 + 0.0*i,
    0.390241339931738 + 0.0*i,
    0.583896947272041 + 0.0*i,
    0.647256221822678 + 0.0*i,
    -0.487767509253259 + 0.0*i,
    -0.0380377073032343 + 0.0*i,
    -0.310351765909953 + 0.0*i,
    -0.401382356391237 + 0.0*i,
    0.749895015116214 + 0.0*i,
    -0.891079470405883 + 0.0*i,
    -0.108317261565158 + 0.0*i,
    -0.0399261195993798 + 0.0*i,
    0.791404329827913 + 0.0*i,
    -0.200709999583886 + 0.0*i,
    0.153944011984599 + 0.0*i,
    0.124090408399277 + 0.0*i,
    0.524681684511485 + 0.0*i,
    -0.555404398882432 + 0.0*i,
    -0.328503849232722 + 0.0*i,
    0.0803013630831569 + 0.0*i,
    0.749109746027885 + 0.0*i,
    0.806097170037645 + 0.0*i,
    0.101823561577873 + 0.0*i,
    -0.512393986060066 + 0.0*i,
    -0.0304319828696032 + 0.0*i,
    0.0482284139596103 + 0.0*i,
    0.0914810528735913 + 0.0*i,
    -0.0115352846475236 + 0.0*i,
    0.161890247727652 + 0.0*i,
    -1.08813585014393 + 0.0*i,
    0.0242888022518303 + 0.0*i,
    0.67131476271342 + 0.0*i,
    -0.0539544539829337 + 0.0*i,
    0.662679947515516 + 0.0*i,
    -0.493938210663554 + 0.0*i,
    0.420486630684187 + 0.0*i,
    -0.0665442729516017 + 0.0*i,
    0.53124560480974 + 0.0*i,
    0.603498420862828 + 0.0*i,
    0.454214249358598 + 0.0*i
]);