V:=Matrix(CC,4,32,[
    0.630905538910842 + 0.0*i,
    -0.467375237713212 + 0.0*i,
    0.362450873251542 + 0.0*i,
    -0.477717744725912 + 0.0*i,
    0.930238909657309 + 0.0*i,
    0.670240763361328 + 0.0*i,
    -0.421248101636703 + 0.0*i,
    -0.336574154353781 + 0.0*i,
    -0.156186781037779 + 0.0*i,
    0.625858785579708 + 0.0*i,
    -0.00858796997428537 + 0.0*i,
    0.0146850333328487 + 0.0*i,
    -0.423132318444748 + 0.0*i,
    0.923074143757174 + 0.0*i,
    -0.621508792082493 + 0.0*i,
    -0.848293171235369 + 0.0*i,
    0.630176412633665 + 0.0*i,
    0.444647402590451 + 0.0*i,
    -0.407486442857133 + 0.0*i,
    0.837431698402868 + 0.0*i,
    0.305243190843318 + 0.0*i,
    0.197732417361851 + 0.0*i,
    -0.0368935788852875 + 0.0*i,
    -0.470350910822611 + 0.0*i,
    -0.611446781268962 + 0.0*i,
    0.0203979831850041 + 0.0*i,
    0.605094537408426 + 0.0*i,
    0.0558072438322293 + 0.0*i,
    0.087746391582226 + 0.0*i,
    -0.0549669837024868 + 0.0*i,
    0.417530788040984 + 0.0*i,
    0.118735426336279 + 0.0*i,
    0.707193113136286 + 0.0*i,
    0.0218771795238774 + 0.0*i,
    -0.460227351695115 + 0.0*i,
    0.557599926348148 + 0.0*i,
    -0.0866309584341741 + 0.0*i,
    0.0313335827342961 + 0.0*i,
    0.511337030322817 + 0.0*i,
    0.0872900748001531 + 0.0*i,
    -0.934265462593561 + 0.0*i,
    -0.71058229719408 + 0.0*i,
    0.88210413153627 + 0.0*i,
    -0.0436654432186665 + 0.0*i,
    0.820665287544305 + 0.0*i,
    0.0406409731249612 + 0.0*i,
    -0.596692897266764 + 0.0*i,
    -0.306396306227318 + 0.0*i,
    -0.143592115085088 + 0.0*i,
    0.0317026661517599 + 0.0*i,
    -0.497989849718283 + 0.0*i,
    -0.452622488687777 + 0.0*i,
    -0.566858267172224 + 0.0*i,
    0.584550390934166 + 0.0*i,
    -0.581672230016476 + 0.0*i,
    -0.251494924130551 + 0.0*i,
    -0.600618285781796 + 0.0*i,
    -0.00220274300967588 + 0.0*i,
    0.0878096915339564 + 0.0*i,
    0.368028115169726 + 0.0*i,
    0.47930725360904 + 0.0*i,
    -0.369635893829477 + 0.0*i,
    -0.495871502192995 + 0.0*i,
    0.895339838470684 + 0.0*i,
    -0.153271017939113 + 0.0*i,
    -0.366357874119742 + 0.0*i,
    0.744894892700327 + 0.0*i,
    -0.542657773828829 + 0.0*i,
    -0.488704687848307 + 0.0*i,
    -0.193739894535787 + 0.0*i,
    0.692843684948166 + 0.0*i,
    0.604535100030461 + 0.0*i,
    -0.344057565768736 + 0.0*i,
    -0.119172276119934 + 0.0*i,
    -0.455762324262492 + 0.0*i,
    0.734857961111052 + 0.0*i,
    0.120026666622348 + 0.0*i,
    0.274978011282723 + 0.0*i,
    -0.472733129698033 + 0.0*i,
    -0.076742968191609 + 0.0*i,
    0.0414745772027903 + 0.0*i,
    0.849304972585221 + 0.0*i,
    -0.393407233841713 + 0.0*i,
    0.215027203139973 + 0.0*i,
    -0.532516221754542 + 0.0*i,
    0.511027826250798 + 0.0*i,
    0.212037386772603 + 0.0*i,
    0.8589235845968 + 0.0*i,
    0.398498565710002 + 0.0*i,
    -0.200047366980179 + 0.0*i,
    0.644610209274419 + 0.0*i,
    -0.852338157685423 + 0.0*i,
    -0.118050353109906 + 0.0*i,
    -0.933913921482065 + 0.0*i,
    0.216954068856049 + 0.0*i,
    -0.0898945535359566 + 0.0*i,
    -0.336192871126851 + 0.0*i,
    0.82418711002145 + 0.0*i,
    0.340142598371031 + 0.0*i,
    0.378120279404913 + 0.0*i,
    0.0744533800937399 + 0.0*i,
    -0.81459589009327 + 0.0*i,
    -0.198261241219571 + 0.0*i,
    -0.746935470112876 + 0.0*i,
    -0.0735063717037704 + 0.0*i,
    -0.285326124071188 + 0.0*i,
    -0.158305187188521 + 0.0*i,
    0.655515030117402 + 0.0*i,
    -0.408130593313241 + 0.0*i,
    -0.267448894295294 + 0.0*i,
    0.0117928024207991 + 0.0*i,
    -0.362049129413578 + 0.0*i,
    0.777643187029899 + 0.0*i,
    -0.23180329705569 + 0.0*i,
    -0.621602115765581 + 0.0*i,
    0.195388502955778 + 0.0*i,
    -0.567632327556638 + 0.0*i,
    -0.613490531285198 + 0.0*i,
    0.791652481940966 + 0.0*i,
    0.224876248987119 + 0.0*i,
    -0.342125806229179 + 0.0*i,
    -0.94401407924629 + 0.0*i,
    0.405919124326411 + 0.0*i,
    0.377397884037559 + 0.0*i,
    0.87389357804292 + 0.0*i,
    -0.0397264275705491 + 0.0*i,
    -0.529423432260554 + 0.0*i,
    0.393238374437545 + 0.0*i
]);