V:=Matrix(CC,4,25,[
    0.733293342386028 + 0.0*i,
    0.136539712001582 + 0.0*i,
    -0.919007529533269 + 0.0*i,
    1.06777117471877 + 0.0*i,
    0.0544994860057785 + 0.0*i,
    -0.464574054570418 + 0.0*i,
    -0.136289062661367 + 0.0*i,
    0.352191140334165 + 0.0*i,
    -0.201073667061948 + 0.0*i,
    -0.233174662531481 + 0.0*i,
    -0.459536972503828 + 0.0*i,
    -0.0352018989429008 + 0.0*i,
    0.912795611258489 + 0.0*i,
    0.663614250773662 + 0.0*i,
    0.0911310564418489 + 0.0*i,
    0.606746208391535 + 0.0*i,
    0.475466640219175 + 0.0*i,
    -0.0879793383168927 + 0.0*i,
    0.0668295191282124 + 0.0*i,
    -1.07981238691102 + 0.0*i,
    0.356873612173879 + 0.0*i,
    0.370252699846318 + 0.0*i,
    0.975833190658455 + 0.0*i,
    -0.580996217843117 + 0.0*i,
    -0.221892193479038 + 0.0*i,
    0.683663674207832 + 0.0*i,
    -0.138210137301934 + 0.0*i,
    1.02252457141142 + 0.0*i,
    -0.766605903910397 + 0.0*i,
    -0.969795894836278 + 0.0*i,
    0.353506302123011 + 0.0*i,
    -0.262361332152912 + 0.0*i,
    -0.636505562734211 + 0.0*i,
    0.761815097627044 + 0.0*i,
    0.789006675533984 + 0.0*i,
    0.089907446822757 + 0.0*i,
    0.966693416157688 + 0.0*i,
    -0.363128866232686 + 0.0*i,
    0.799964010844171 + 0.0*i,
    -0.108306849110588 + 0.0*i,
    -0.716483882911526 + 0.0*i,
    0.129697411954524 + 0.0*i,
    -0.479252880336249 + 0.0*i,
    -0.0158988377249077 + 0.0*i,
    -0.248440152801308 + 0.0*i,
    -0.179120763728682 + 0.0*i,
    -0.453268225296322 + 0.0*i,
    -0.271055225093126 + 0.0*i,
    -0.210588694598507 + 0.0*i,
    0.161484800881256 + 0.0*i,
    -0.911616623575484 + 0.0*i,
    -0.233927214937633 + 0.0*i,
    0.709659808696795 + 0.0*i,
    0.295533411926812 + 0.0*i,
    0.264990393340317 + 0.0*i,
    0.655181022727174 + 0.0*i,
    0.249371061077476 + 0.0*i,
    0.0581623168384914 + 0.0*i,
    0.0557604783473118 + 0.0*i,
    1.18738727445005 + 0.0*i,
    -0.224504258090321 + 0.0*i,
    -0.452308092469932 + 0.0*i,
    0.0500627569034627 + 0.0*i,
    0.180949560679943 + 0.0*i,
    0.257524131675867 + 0.0*i,
    -0.176284368437225 + 0.0*i,
    0.0848821419480846 + 0.0*i,
    0.305006060173598 + 0.0*i,
    -0.413028695942653 + 0.0*i,
    -0.533708605565969 + 0.0*i,
    -0.155500659554675 + 0.0*i,
    -0.0448446379985989 + 0.0*i,
    0.0296241229581987 + 0.0*i,
    0.443737035136655 + 0.0*i,
    -0.358963387999555 + 0.0*i,
    0.0633568943216698 + 0.0*i,
    0.0841133640919221 + 0.0*i,
    -0.103864633490077 + 0.0*i,
    -0.488173364520727 + 0.0*i,
    0.00693229574243733 + 0.0*i,
    0.28034194470339 + 0.0*i,
    0.178893676077183 + 0.0*i,
    -0.02883628813945 + 0.0*i,
    0.107358855212812 + 0.0*i,
    0.459040029760213 + 0.0*i,
    0.748724955953345 + 0.0*i,
    -1.09423874151139 + 0.0*i,
    0.417582121634637 + 0.0*i,
    -0.238113799427671 + 0.0*i,
    -0.0435337707929791 + 0.0*i,
    -0.572493587808284 + 0.0*i,
    0.0147317551652893 + 0.0*i,
    -0.667979669327641 + 0.0*i,
    0.0875708534442104 + 0.0*i,
    -0.259309465127104 + 0.0*i,
    0.476677772698598 + 0.0*i,
    -0.0572338585967757 + 0.0*i,
    -0.293039233444451 + 0.0*i,
    -0.119251156425387 + 0.0*i,
    0.908668203113484 + 0.0*i
]);