V:=Matrix(CC,4,34,[
    -0.661478977736465 + 0.0*i,
    0.446842449173303 + 0.0*i,
    0.877607357804616 + 0.0*i,
    0.0309355532595662 + 0.0*i,
    -0.404398387118738 + 0.0*i,
    -0.806857149880965 + 0.0*i,
    0.530541320250391 + 0.0*i,
    0.41459282648612 + 0.0*i,
    -0.468244462666984 + 0.0*i,
    -0.40355419616028 + 0.0*i,
    0.82394944686226 + 0.0*i,
    0.429600959485064 + 0.0*i,
    -0.397101248681668 + 0.0*i,
    -0.388178153182246 + 0.0*i,
    0.620981010871293 + 0.0*i,
    0.282071699754136 + 0.0*i,
    -0.6607961289488 + 0.0*i,
    0.496526796659359 + 0.0*i,
    0.324015599634312 + 0.0*i,
    -0.917063043145077 + 0.0*i,
    -0.152537460799362 + 0.0*i,
    -0.600008488425078 + 0.0*i,
    -0.325258835821126 + 0.0*i,
    0.168542653695027 + 0.0*i,
    0.0375336449937718 + 0.0*i,
    -0.73156455743266 + 0.0*i,
    -0.00809442192894956 + 0.0*i,
    -0.28783615832799 + 0.0*i,
    0.369959039009775 + 0.0*i,
    0.693437904653538 + 0.0*i,
    0.941406857328586 + 0.0*i,
    0.669131685667053 + 0.0*i,
    -0.21331502786245 + 0.0*i,
    0.231459237271885 + 0.0*i,
    -0.331891526945686 + 0.0*i,
    -0.86595539390636 + 0.0*i,
    -0.0180924389825207 + 0.0*i,
    -0.0638773267317728 + 0.0*i,
    -0.630307682780734 + 0.0*i,
    -0.149149803687078 + 0.0*i,
    0.67135833556285 + 0.0*i,
    -0.35054070693874 + 0.0*i,
    -0.421375412603598 + 0.0*i,
    0.782631467423408 + 0.0*i,
    0.141193076949291 + 0.0*i,
    0.578288934661047 + 0.0*i,
    -0.102590197087563 + 0.0*i,
    0.0578482591790541 + 0.0*i,
    0.495850025476338 + 0.0*i,
    0.886321619274104 + 0.0*i,
    -0.770987565890565 + 0.0*i,
    -0.73019879026265 + 0.0*i,
    -0.0919909768937569 + 0.0*i,
    0.267365099725504 + 0.0*i,
    -0.51786630162169 + 0.0*i,
    0.516576040583324 + 0.0*i,
    0.626440327642426 + 0.0*i,
    -0.934295233972463 + 0.0*i,
    0.607176798823798 + 0.0*i,
    -0.0460345922843592 + 0.0*i,
    0.704429526313196 + 0.0*i,
    0.266394084974911 + 0.0*i,
    0.500968271716179 + 0.0*i,
    -0.348631134353111 + 0.0*i,
    -0.194901426941341 + 0.0*i,
    0.0989259043358999 + 0.0*i,
    -0.651980212166926 + 0.0*i,
    -0.0915340110366864 + 0.0*i,
    0.220593171521037 + 0.0*i,
    -0.17997818620867 + 0.0*i,
    0.206554812534599 + 0.0*i,
    -0.837065760230606 + 0.0*i,
    0.343239086241356 + 0.0*i,
    -0.473462335417321 + 0.0*i,
    -0.538122043633704 + 0.0*i,
    0.796404263209575 + 0.0*i,
    -0.30806119746443 + 0.0*i,
    -0.486552814625988 + 0.0*i,
    -0.341856752823709 + 0.0*i,
    0.611936999469462 + 0.0*i,
    -0.412510172678536 + 0.0*i,
    -0.99756279136766 + 0.0*i,
    0.291429633003219 + 0.0*i,
    -0.262348050978273 + 0.0*i,
    -0.238942334436996 + 0.0*i,
    0.00394114625852757 + 0.0*i,
    -0.757970482761226 + 0.0*i,
    -0.187121867227297 + 0.0*i,
    0.0888270680472075 + 0.0*i,
    0.682457460824385 + 0.0*i,
    0.423919501915276 + 0.0*i,
    -0.0984351709321954 + 0.0*i,
    0.795493078251935 + 0.0*i,
    0.219569167132429 + 0.0*i,
    -0.688212716604479 + 0.0*i,
    -0.356417868827495 + 0.0*i,
    0.034857254433457 + 0.0*i,
    -0.0355565418642694 + 0.0*i,
    0.119306033249515 + 0.0*i,
    -0.825329975813564 + 0.0*i,
    -0.588280719339766 + 0.0*i,
    0.187382294288852 + 0.0*i,
    0.37533864143587 + 0.0*i,
    0.425276856980655 + 0.0*i,
    -0.14836546756849 + 0.0*i,
    -0.671254555954642 + 0.0*i,
    -0.62850066038039 + 0.0*i,
    -0.0851740941651203 + 0.0*i,
    0.183052501194768 + 0.0*i,
    0.290113382982775 + 0.0*i,
    -0.334589732098168 + 0.0*i,
    0.295961643694364 + 0.0*i,
    -0.501352389927461 + 0.0*i,
    0.179687514882584 + 0.0*i,
    0.0827739196521338 + 0.0*i,
    0.28096130311152 + 0.0*i,
    0.601350772891583 + 0.0*i,
    -0.172610769329834 + 0.0*i,
    0.280377997177567 + 0.0*i,
    0.284133290184529 + 0.0*i,
    0.68944431770665 + 0.0*i,
    0.387358675218598 + 0.0*i,
    -0.30318420007994 + 0.0*i,
    0.159357973616318 + 0.0*i,
    0.62620494377076 + 0.0*i,
    -0.359763538687445 + 0.0*i,
    -0.392900147874114 + 0.0*i,
    -0.646522622136226 + 0.0*i,
    -0.432510961618413 + 0.0*i,
    0.961543739352508 + 0.0*i,
    -0.851270615026061 + 0.0*i,
    0.51314179273834 + 0.0*i,
    0.373674641491901 + 0.0*i,
    0.0207462284365885 + 0.0*i,
    -0.297460923129789 + 0.0*i,
    1.0579402962011 + 0.0*i
]);